| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -S -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s |
| |
| declare void @widget() |
| declare void @baz(i8) |
| declare void @snork() |
| declare void @spam(i8) |
| declare void @zot() |
| |
| define void @wombat(i64 %arg, i1 %arg1) { |
| ; CHECK-LABEL: @wombat( |
| ; CHECK-NEXT: bb: |
| ; CHECK-NEXT: [[COND:%.*]] = icmp eq i64 [[ARG:%.*]], 0 |
| ; CHECK-NEXT: br i1 [[COND]], label [[BB4:%.*]], label [[BB2:%.*]] |
| ; CHECK: bb2: |
| ; CHECK-NEXT: call void @widget() |
| ; CHECK-NEXT: br label [[BB4]] |
| ; CHECK: bb4: |
| ; CHECK-NEXT: [[TMP:%.*]] = phi i8 [ 0, [[BB:%.*]] ], [ 1, [[BB2]] ] |
| ; CHECK-NEXT: call void @baz(i8 [[TMP]]) |
| ; CHECK-NEXT: call void @snork() |
| ; CHECK-NEXT: call void @spam(i8 4) |
| ; CHECK-NEXT: ret void |
| ; |
| bb: |
| switch i64 %arg, label %bb2 [ |
| i64 0, label %bb3 |
| ] |
| |
| bb2: ; preds = %bb |
| call void @widget() |
| br label %bb3 |
| |
| bb3: ; preds = %bb2, %bb |
| %tmp = phi i8 [ 0, %bb ], [ 1, %bb2 ] |
| br label %bb4 |
| |
| bb4: ; preds = %bb3 |
| call void @baz(i8 %tmp) |
| %tmp5 = select i1 %arg1, i64 6, i64 3 |
| switch i64 %tmp5, label %bb7 [ |
| i64 1, label %bb6 |
| i64 0, label %bb8 |
| ] |
| |
| bb6: ; preds = %bb4 |
| call void @zot() |
| br label %bb8 |
| |
| bb7: ; preds = %bb4 |
| call void @snork() |
| br label %bb8 |
| |
| bb8: ; preds = %bb7, %bb6, %bb4 |
| %tmp9 = phi i8 [ 2, %bb4 ], [ 3, %bb6 ], [ 4, %bb7 ] |
| call void @spam(i8 %tmp9) |
| ret void |
| } |
