62 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=jump-threading -S %s | FileCheck %s3 4declare i1 @cond()5 6define hidden void @hoge(i1 %c1, i32 %x) {7; CHECK-LABEL: @hoge(8; CHECK-NEXT: bb:9; CHECK-NEXT: br label [[BB13:%.*]]10; CHECK: bb4:11; CHECK-NEXT: [[TMP3:%.*]] = icmp ne i32 [[TMP7:%.*]], undef12; CHECK-NEXT: br i1 [[TMP3]], label [[BB5:%.*]], label [[BB13]]13; CHECK: bb5:14; CHECK-NEXT: br label [[BB6:%.*]]15; CHECK: bb6:16; CHECK-NEXT: [[TMP7]] = phi i32 [ [[TMP7]], [[BB5]] ], [ [[X:%.*]], [[BB8:%.*]] ]17; CHECK-NEXT: [[C:%.*]] = call i1 @cond()18; CHECK-NEXT: br i1 [[C]], label [[BB4:%.*]], label [[BB8]]19; CHECK: bb8:20; CHECK-NEXT: br label [[BB6]]21; CHECK: bb13:22; CHECK-NEXT: ret void23;24bb:25 br i1 false, label %bb1, label %bb1326 27bb1: ; preds = %bb28 br label %bb229 30bb2: ; preds = %bb12, %bb131 %tmp = phi i32 [ 10, %bb1 ], [ %tmp7, %bb12 ]32 %tmp3 = icmp ne i32 %tmp, undef33 br label %bb434 35bb4: ; preds = %bb236 br i1 %tmp3, label %bb5, label %bb1337 38bb5: ; preds = %bb439 br label %bb640 41bb6: ; preds = %bb8, %bb542 %tmp7 = phi i32 [ %tmp, %bb5 ], [ %x, %bb8 ]43 %c = call i1 @cond()44 br i1 %c, label %bb9, label %bb845 46bb8: ; preds = %bb647 br label %bb648 49bb9: ; preds = %bb650 br label %bb1051 52bb10: ; preds = %bb953 br label %bb1254 55bb12: ; preds = %bb1056 br label %bb257 58bb13: ; preds = %bb459 ret void60 61}62