| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt < %s -fix-irreducible -enable-new-pm=0 -S | FileCheck %s |
| |
| define void @loop_1(i32 %Value, i1 %PredEntry, i1 %PredD) { |
| ; CHECK-LABEL: @loop_1( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: br label [[IRR_GUARD:%.*]] |
| ; CHECK: A: |
| ; CHECK-NEXT: br label [[IRR_GUARD]] |
| ; CHECK: B: |
| ; CHECK-NEXT: br label [[NODEBLOCK:%.*]] |
| ; CHECK: NodeBlock: |
| ; CHECK-NEXT: [[PIVOT:%.*]] = icmp slt i32 [[VALUE:%.*]], 1 |
| ; CHECK-NEXT: br i1 [[PIVOT]], label [[LEAFBLOCK:%.*]], label [[LEAFBLOCK1:%.*]] |
| ; CHECK: LeafBlock1: |
| ; CHECK-NEXT: [[SWITCHLEAF2:%.*]] = icmp eq i32 [[VALUE]], 1 |
| ; CHECK-NEXT: br i1 [[SWITCHLEAF2]], label [[IRR_GUARD]], label [[NEWDEFAULT:%.*]] |
| ; CHECK: LeafBlock: |
| ; CHECK-NEXT: [[SWITCHLEAF:%.*]] = icmp eq i32 [[VALUE]], 0 |
| ; CHECK-NEXT: br i1 [[SWITCHLEAF]], label [[IRR_GUARD]], label [[NEWDEFAULT]] |
| ; CHECK: NewDefault: |
| ; CHECK-NEXT: br label [[EXIT:%.*]] |
| ; CHECK: exit: |
| ; CHECK-NEXT: ret void |
| ; CHECK: irr.guard: |
| ; CHECK-NEXT: [[GUARD_A:%.*]] = phi i1 [ true, [[LEAFBLOCK]] ], [ [[PREDENTRY:%.*]], [[ENTRY:%.*]] ], [ false, [[LEAFBLOCK1]] ], [ false, [[A:%.*]] ] |
| ; CHECK-NEXT: br i1 [[GUARD_A]], label [[A]], label [[B:%.*]] |
| ; |
| entry: |
| br i1 %PredEntry, label %A, label %B |
| |
| A: |
| br label %B |
| |
| B: |
| switch i32 %Value, label %exit [ |
| i32 0, label %A |
| i32 1, label %B |
| ] |
| |
| exit: |
| ret void |
| } |