18c11bc0cSSameer Sahasrabuddhe; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 25f6172f0SSameer Sahasrabuddhe; RUN: opt < %s -lowerswitch -fix-irreducible --verify-loop-info -S | FileCheck %s 35f6172f0SSameer Sahasrabuddhe; RUN: opt < %s -passes='lower-switch,fix-irreducible,verify<loops>' -S | FileCheck %s 4*fa4cc9ddSSameer Sahasrabuddhe; RUN: opt < %s -passes='lower-switch,verify<loops>,fix-irreducible,verify<loops>' -S | FileCheck %s 58c11bc0cSSameer Sahasrabuddhe 68c11bc0cSSameer Sahasrabuddhedefine void @loop_1(i32 %Value, i1 %PredEntry, i1 %PredD) { 78c11bc0cSSameer Sahasrabuddhe; CHECK-LABEL: @loop_1( 88c11bc0cSSameer Sahasrabuddhe; CHECK-NEXT: entry: 9*fa4cc9ddSSameer Sahasrabuddhe; CHECK-NEXT: [[PREDENTRY_INV:%.*]] = xor i1 [[PREDENTRY:%.*]], true 108c11bc0cSSameer Sahasrabuddhe; CHECK-NEXT: br label [[IRR_GUARD:%.*]] 118c11bc0cSSameer Sahasrabuddhe; CHECK: A: 128c11bc0cSSameer Sahasrabuddhe; CHECK-NEXT: br label [[IRR_GUARD]] 138c11bc0cSSameer Sahasrabuddhe; CHECK: B: 148c11bc0cSSameer Sahasrabuddhe; CHECK-NEXT: br label [[NODEBLOCK:%.*]] 158c11bc0cSSameer Sahasrabuddhe; CHECK: NodeBlock: 168c11bc0cSSameer Sahasrabuddhe; CHECK-NEXT: [[PIVOT:%.*]] = icmp slt i32 [[VALUE:%.*]], 1 178c11bc0cSSameer Sahasrabuddhe; CHECK-NEXT: br i1 [[PIVOT]], label [[LEAFBLOCK:%.*]], label [[LEAFBLOCK1:%.*]] 188c11bc0cSSameer Sahasrabuddhe; CHECK: LeafBlock1: 198c11bc0cSSameer Sahasrabuddhe; CHECK-NEXT: [[SWITCHLEAF2:%.*]] = icmp eq i32 [[VALUE]], 1 201e01f950SRuiling Song; CHECK-NEXT: br i1 [[SWITCHLEAF2]], label [[IRR_GUARD]], label [[EXIT:%.*]] 218c11bc0cSSameer Sahasrabuddhe; CHECK: LeafBlock: 228c11bc0cSSameer Sahasrabuddhe; CHECK-NEXT: [[SWITCHLEAF:%.*]] = icmp eq i32 [[VALUE]], 0 23*fa4cc9ddSSameer Sahasrabuddhe; CHECK-NEXT: br i1 [[SWITCHLEAF]], label [[A:%.*]], label [[EXIT]] 248c11bc0cSSameer Sahasrabuddhe; CHECK: exit: 258c11bc0cSSameer Sahasrabuddhe; CHECK-NEXT: ret void 268c11bc0cSSameer Sahasrabuddhe; CHECK: irr.guard: 27*fa4cc9ddSSameer Sahasrabuddhe; CHECK-NEXT: [[GUARD_B:%.*]] = phi i1 [ true, [[LEAFBLOCK1]] ], [ true, [[A]] ], [ [[PREDENTRY_INV]], [[ENTRY:%.*]] ] 28*fa4cc9ddSSameer Sahasrabuddhe; CHECK-NEXT: br i1 [[GUARD_B]], label [[B:%.*]], label [[A]] 298c11bc0cSSameer Sahasrabuddhe; 308c11bc0cSSameer Sahasrabuddheentry: 318c11bc0cSSameer Sahasrabuddhe br i1 %PredEntry, label %A, label %B 328c11bc0cSSameer Sahasrabuddhe 338c11bc0cSSameer SahasrabuddheA: 348c11bc0cSSameer Sahasrabuddhe br label %B 358c11bc0cSSameer Sahasrabuddhe 368c11bc0cSSameer SahasrabuddheB: 378c11bc0cSSameer Sahasrabuddhe switch i32 %Value, label %exit [ 388c11bc0cSSameer Sahasrabuddhe i32 0, label %A 398c11bc0cSSameer Sahasrabuddhe i32 1, label %B 408c11bc0cSSameer Sahasrabuddhe ] 418c11bc0cSSameer Sahasrabuddhe 428c11bc0cSSameer Sahasrabuddheexit: 438c11bc0cSSameer Sahasrabuddhe ret void 448c11bc0cSSameer Sahasrabuddhe} 45