1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -unify-loop-exits -enable-new-pm=0 -S | FileCheck %s 3; RUN: opt < %s -passes='lowerswitch,unify-loop-exits' -S | FileCheck %s 4 5define void @loop_1(i32 %Value, i1 %PredEntry, i1 %PredD) { 6; CHECK-LABEL: @loop_1( 7; CHECK-NEXT: entry: 8; CHECK-NEXT: br i1 [[PREDENTRY:%.*]], label [[A:%.*]], label [[G:%.*]] 9; CHECK: A: 10; CHECK-NEXT: br label [[B:%.*]] 11; CHECK: B: 12; CHECK-NEXT: br label [[NODEBLOCK:%.*]] 13; CHECK: NodeBlock: 14; CHECK-NEXT: [[PIVOT:%.*]] = icmp slt i32 [[VALUE:%.*]], 1 15; CHECK-NEXT: br i1 [[PIVOT]], label [[LEAFBLOCK:%.*]], label [[LEAFBLOCK1:%.*]] 16; CHECK: LeafBlock1: 17; CHECK-NEXT: [[SWITCHLEAF2:%.*]] = icmp eq i32 [[VALUE]], 1 18; CHECK-NEXT: br i1 [[SWITCHLEAF2]], label [[D:%.*]], label [[LOOP_EXIT_GUARD:%.*]] 19; CHECK: LeafBlock: 20; CHECK-NEXT: [[SWITCHLEAF:%.*]] = icmp eq i32 [[VALUE]], 0 21; CHECK-NEXT: br i1 [[SWITCHLEAF]], label [[C:%.*]], label [[LOOP_EXIT_GUARD]] 22; CHECK: C: 23; CHECK-NEXT: br label [[D]] 24; CHECK: D: 25; CHECK-NEXT: br i1 [[PREDD:%.*]], label [[A]], label [[LOOP_EXIT_GUARD]] 26; CHECK: NewDefault: 27; CHECK-NEXT: br label [[X:%.*]] 28; CHECK: X: 29; CHECK-NEXT: br label [[EXIT:%.*]] 30; CHECK: Y: 31; CHECK-NEXT: br label [[EXIT]] 32; CHECK: G: 33; CHECK-NEXT: br label [[EXIT]] 34; CHECK: exit: 35; CHECK-NEXT: ret void 36; CHECK: loop.exit.guard: 37; CHECK-NEXT: [[GUARD_NEWDEFAULT:%.*]] = phi i1 [ true, [[LEAFBLOCK1]] ], [ true, [[LEAFBLOCK]] ], [ false, [[D]] ] 38; CHECK-NEXT: br i1 [[GUARD_NEWDEFAULT]], label [[NEWDEFAULT:%.*]], label [[Y:%.*]] 39; 40entry: 41 br i1 %PredEntry, label %A, label %G 42 43A: 44 br label %B 45 46B: 47 switch i32 %Value, label %X [ 48 i32 0, label %C 49 i32 1, label %D 50 ] 51 52C: 53 br label %D 54 55D: 56 br i1 %PredD, label %A, label %Y 57 58X: 59 br label %exit 60 61Y: 62 br label %exit 63 64G: 65 br label %exit 66 67exit: 68 ret void 69} 70