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