24 lines · plain
1; RUN: llc -mtriple=hexagon < %s2; REQUIRES: asserts3 4; Test that the compiler does not assert because the DAG is not correct.5; CHECK: call foo6 7%returntype = type { i1, i32 }8 9define i32 @test(ptr %a0, ptr %a1, ptr %a2) #0 {10b3:11 br i1 undef, label %b6, label %b412 13b4: ; preds = %b314 %v5 = call %returntype @foo(ptr nonnull undef, ptr %a2, ptr %a0) #015 ret i32 116 17b6: ; preds = %b318 unreachable19}20 21declare %returntype @foo(ptr, ptr, ptr) #022 23attributes #0 = { nounwind }24