45 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -lowerswitch -fix-irreducible --verify-loop-info -S | FileCheck %s3; RUN: opt < %s -passes='lower-switch,fix-irreducible,verify<loops>' -S | FileCheck %s4; RUN: opt < %s -passes='lower-switch,verify<loops>,fix-irreducible,verify<loops>' -S | FileCheck %s5 6define void @loop_1(i32 %Value, i1 %PredEntry, i1 %PredD) {7; CHECK-LABEL: @loop_1(8; CHECK-NEXT: entry:9; CHECK-NEXT: [[PREDENTRY_INV:%.*]] = xor i1 [[PREDENTRY:%.*]], true10; CHECK-NEXT: br label [[IRR_GUARD:%.*]]11; CHECK: A:12; CHECK-NEXT: br label [[IRR_GUARD]]13; CHECK: B:14; CHECK-NEXT: br label [[NODEBLOCK:%.*]]15; CHECK: NodeBlock:16; CHECK-NEXT: [[PIVOT:%.*]] = icmp slt i32 [[VALUE:%.*]], 117; CHECK-NEXT: br i1 [[PIVOT]], label [[LEAFBLOCK:%.*]], label [[LEAFBLOCK1:%.*]]18; CHECK: LeafBlock1:19; CHECK-NEXT: [[SWITCHLEAF2:%.*]] = icmp eq i32 [[VALUE]], 120; CHECK-NEXT: br i1 [[SWITCHLEAF2]], label [[IRR_GUARD]], label [[EXIT:%.*]]21; CHECK: LeafBlock:22; CHECK-NEXT: [[SWITCHLEAF:%.*]] = icmp eq i32 [[VALUE]], 023; CHECK-NEXT: br i1 [[SWITCHLEAF]], label [[A:%.*]], label [[EXIT]]24; CHECK: exit:25; CHECK-NEXT: ret void26; CHECK: irr.guard:27; CHECK-NEXT: [[GUARD_B:%.*]] = phi i1 [ true, [[LEAFBLOCK1]] ], [ true, [[A]] ], [ [[PREDENTRY_INV]], [[ENTRY:%.*]] ]28; CHECK-NEXT: br i1 [[GUARD_B]], label [[B:%.*]], label [[A]]29;30entry:31 br i1 %PredEntry, label %A, label %B32 33A:34 br label %B35 36B:37 switch i32 %Value, label %exit [38 i32 0, label %A39 i32 1, label %B40 ]41 42exit:43 ret void44}45