| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py | |
| ; RUN: opt -passes=jump-threading -S %s | FileCheck %s | |
| declare i1 @cond() | |
| define hidden void @hoge(i1 %c1, i32 %x) { | |
| ; CHECK-LABEL: @hoge( | |
| ; CHECK-NEXT: bb: | |
| ; CHECK-NEXT: br label [[BB13:%.*]] | |
| ; CHECK: bb4: | |
| ; CHECK-NEXT: [[TMP3:%.*]] = icmp ne i32 [[TMP7:%.*]], undef | |
| ; CHECK-NEXT: br i1 [[TMP3]], label [[BB5:%.*]], label [[BB13]] | |
| ; CHECK: bb5: | |
| ; CHECK-NEXT: br label [[BB6:%.*]] | |
| ; CHECK: bb6: | |
| ; CHECK-NEXT: [[TMP7]] = phi i32 [ [[TMP7]], [[BB5]] ], [ [[X:%.*]], [[BB8:%.*]] ] | |
| ; CHECK-NEXT: [[C:%.*]] = call i1 @cond() | |
| ; CHECK-NEXT: br i1 [[C]], label [[BB4:%.*]], label [[BB8]] | |
| ; CHECK: bb8: | |
| ; CHECK-NEXT: br label [[BB6]] | |
| ; CHECK: bb13: | |
| ; CHECK-NEXT: ret void | |
| ; | |
| bb: | |
| br i1 false, label %bb1, label %bb13 | |
| bb1: ; preds = %bb | |
| br label %bb2 | |
| bb2: ; preds = %bb12, %bb1 | |
| %tmp = phi i32 [ 10, %bb1 ], [ %tmp7, %bb12 ] | |
| %tmp3 = icmp ne i32 %tmp, undef | |
| br label %bb4 | |
| bb4: ; preds = %bb2 | |
| br i1 %tmp3, label %bb5, label %bb13 | |
| bb5: ; preds = %bb4 | |
| br label %bb6 | |
| bb6: ; preds = %bb8, %bb5 | |
| %tmp7 = phi i32 [ %tmp, %bb5 ], [ %x, %bb8 ] | |
| %c = call i1 @cond() | |
| br i1 %c, label %bb9, label %bb8 | |
| bb8: ; preds = %bb6 | |
| br label %bb6 | |
| bb9: ; preds = %bb6 | |
| br label %bb10 | |
| bb10: ; preds = %bb9 | |
| br label %bb12 | |
| bb12: ; preds = %bb10 | |
| br label %bb2 | |
| bb13: ; preds = %bb4 | |
| ret void | |
| } |