| ; RUN: llc -march=hexagon < %s | FileCheck %s | |
| ; REQUIRES: asserts | |
| ; Check that we don't crash. | |
| ; CHECK: call bar | |
| target triple = "hexagon" | |
| @debug = external hidden unnamed_addr global i1, align 4 | |
| ; Function Attrs: nounwind | |
| define void @foo() local_unnamed_addr #0 { | |
| entry: | |
| br label %if.end5 | |
| if.end5: ; preds = %entry | |
| br i1 undef, label %if.then12, label %if.end13 | |
| if.then12: ; preds = %if.end5 | |
| unreachable | |
| if.end13: ; preds = %if.end5 | |
| br label %for.cond | |
| for.cond: ; preds = %if.end13 | |
| %or.cond288 = or i1 undef, undef | |
| br i1 undef, label %if.then44, label %if.end51 | |
| if.then44: ; preds = %for.cond | |
| tail call void @bar() #0 | |
| br label %if.end51 | |
| if.end51: ; preds = %if.then44, %for.cond | |
| %.b433 = load i1, i1* @debug, align 4 | |
| %or.cond290 = and i1 %or.cond288, %.b433 | |
| br i1 %or.cond290, label %if.then55, label %if.end63 | |
| if.then55: ; preds = %if.end51 | |
| unreachable | |
| if.end63: ; preds = %if.end51 | |
| unreachable | |
| } | |
| declare void @bar() local_unnamed_addr #0 | |
| attributes #0 = { nounwind } |