67 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes='lower-switch,unify-loop-exits' -S | FileCheck %s3 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:%.*]], 114; CHECK-NEXT: br i1 [[PIVOT]], label [[LEAFBLOCK:%.*]], label [[LEAFBLOCK1:%.*]]15; CHECK: LeafBlock1:16; CHECK-NEXT: [[SWITCHLEAF2:%.*]] = icmp eq i32 [[VALUE]], 117; CHECK-NEXT: br i1 [[SWITCHLEAF2]], label [[D:%.*]], label [[LOOP_EXIT_GUARD:%.*]]18; CHECK: LeafBlock:19; CHECK-NEXT: [[SWITCHLEAF:%.*]] = icmp eq i32 [[VALUE]], 020; 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 void33; 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 %G39 40A:41 br label %B42 43B:44 switch i32 %Value, label %X [45 i32 0, label %C46 i32 1, label %D47 ]48 49C:50 br label %D51 52D:53 br i1 %PredD, label %A, label %Y54 55X:56 br label %exit57 58Y:59 br label %exit60 61G:62 br label %exit63 64exit:65 ret void66}67