34 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes2; RUN: opt -O2 -S < %s | FileCheck %s3 4declare void @g()5 6define internal i32 @h1(i32 %a, i32 %b) {7 %c = add i32 %a, %b8 %c2 = add i32 2, %c9 ret i32 %c210}11 12define internal i32 @h2(i32 %a, i32 %b) {13 %c = add i32 %a, %b14 %c2 = add i32 2, %c15 ret i32 %c216}17 18define void @f(i32 %a, i32 %b) noinline {19; CHECK: Function Attrs: mustprogress nofree noinline norecurse nosync nounwind willreturn memory(none)20; CHECK-LABEL: @f(21; CHECK-NEXT: end:22; CHECK-NEXT: ret void23;24 %c = call i32 @h1(i32 %a, i32 %b)25 %d = call i32 @h2(i32 %a, i32 %b)26 %i = icmp eq i32 %c, %d27 br i1 %i, label %end, label %dead28dead:29 call void @g()30 br label %end31end:32 ret void33}34