blob: aaa3652433273471be1dc98bb67ac58c76f4838b [file] [log] [blame]
; RUN: llc -march=hexagon < %s
; REQUIRES: asserts
target triple = "hexagon"
declare void @foo() #0
define hidden fastcc void @fred(i32 %a, i64 %b, i64 %c) unnamed_addr #1 {
entry:
%cmp17 = icmp ne i64 %c, 0
%conv19 = zext i1 %cmp17 to i64
%or = or i64 %conv19, %b
store i64 %or, i64* undef, align 8
br i1 undef, label %if.then44, label %if.end96
if.then44: ; preds = %entry
br i1 undef, label %overflow, label %lor.lhs.false
lor.lhs.false: ; preds = %if.then44
br i1 undef, label %overflow, label %if.end52
if.end52: ; preds = %lor.lhs.false
br i1 undef, label %if.then55, label %if.end96
if.then55: ; preds = %if.end52
%cmp60 = icmp slt i32 %a, 0
%or.cond = or i1 %cmp60, false
%cmp63 = icmp ule i64 %or, undef
%.cmp63 = or i1 %cmp63, %or.cond
call void @foo()
%or.cond299 = and i1 %.cmp63, undef
br i1 %or.cond299, label %if.then72, label %if.end73
if.then72: ; preds = %if.then55
unreachable
if.end73: ; preds = %if.then55
unreachable
if.end96: ; preds = %if.end52, %entry
br i1 undef, label %if.end102, label %if.then98
if.then98: ; preds = %if.end96
br label %if.end102
if.end102: ; preds = %if.then98, %if.end96
unreachable
overflow: ; preds = %lor.lhs.false, %if.then44
ret void
}
attributes #0 = { noinline norecurse nounwind }
attributes #1 = { noinline nounwind }