223 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 @nested(i1 %PredB3, i1 %PredB4, i1 %PredA4, i1 %PredA3, i32 %X, i32 %Y, i32 %Z) {5; CHECK-LABEL: @nested(6; CHECK-NEXT: entry:7; CHECK-NEXT: br label [[A1:%.*]]8; CHECK: A1:9; CHECK-NEXT: br label [[B1:%.*]]10; CHECK: B1:11; CHECK-NEXT: br label [[B2:%.*]]12; CHECK: B2:13; CHECK-NEXT: [[X_INC:%.*]] = add i32 [[X:%.*]], 114; CHECK-NEXT: br label [[B3:%.*]]15; CHECK: B3:16; CHECK-NEXT: br i1 [[PREDB3:%.*]], label [[B4:%.*]], label [[LOOP_EXIT_GUARD1:%.*]]17; CHECK: B4:18; CHECK-NEXT: br i1 [[PREDB4:%.*]], label [[B1]], label [[LOOP_EXIT_GUARD1]]19; CHECK: A2:20; CHECK-NEXT: br label [[A4:%.*]]21; CHECK: A3:22; CHECK-NEXT: br label [[A4]]23; CHECK: A4:24; CHECK-NEXT: [[A4_PHI:%.*]] = phi i32 [ [[Y:%.*]], [[A3:%.*]] ], [ [[X_INC_MOVED:%.*]], [[A2:%.*]] ]25; CHECK-NEXT: br i1 [[PREDA4:%.*]], label [[LOOP_EXIT_GUARD:%.*]], label [[A5:%.*]]26; CHECK: A5:27; CHECK-NEXT: br i1 [[PREDA3:%.*]], label [[LOOP_EXIT_GUARD]], label [[A1]]28; CHECK: C:29; CHECK-NEXT: br label [[EXIT:%.*]]30; CHECK: exit:31; CHECK-NEXT: [[EXIT_PHI:%.*]] = phi i32 [ [[Z:%.*]], [[C:%.*]] ], [ [[EXIT_PHI_MOVED:%.*]], [[LOOP_EXIT_GUARD]] ]32; CHECK-NEXT: ret void33; CHECK: loop.exit.guard:34; CHECK-NEXT: [[EXIT_PHI_MOVED]] = phi i32 [ poison, [[A4]] ], [ [[A4_PHI]], [[A5]] ]35; CHECK-NEXT: [[GUARD_C:%.*]] = phi i1 [ true, [[A4]] ], [ false, [[A5]] ]36; CHECK-NEXT: br i1 [[GUARD_C]], label [[C]], label [[EXIT]]37; CHECK: loop.exit.guard1:38; CHECK-NEXT: [[X_INC_MOVED]] = phi i32 [ [[X_INC]], [[B3]] ], [ [[X_INC]], [[B4]] ]39; CHECK-NEXT: [[GUARD_A3:%.*]] = phi i1 [ true, [[B3]] ], [ false, [[B4]] ]40; CHECK-NEXT: br i1 [[GUARD_A3]], label [[A3]], label [[A2]]41;42entry:43 br label %A144 45A1:46 br label %B147 48B1:49 br label %B250 51B2:52 %X.inc = add i32 %X, 153 br label %B354 55B3:56 br i1 %PredB3, label %B4, label %A357 58B4:59 br i1 %PredB4, label %B1, label %A260 61A2:62 br label %A463 64A3:65 br label %A466 67A4:68 %A4.phi = phi i32 [%Y, %A3], [%X.inc, %A2]69 br i1 %PredA4, label %C, label %A570 71A5:72 br i1 %PredA3, label %exit, label %A173 74C:75 br label %exit76 77exit:78 %exit.phi = phi i32 [%A4.phi, %A5], [%Z, %C]79 ret void80}81 82define void @nested_callbr(i1 %PredB3, i1 %PredB4, i1 %PredA4, i1 %PredA3, i32 %X, i32 %Y, i32 %Z) {83; CHECK-LABEL: @nested_callbr(84; CHECK-NEXT: entry:85; CHECK-NEXT: br label [[A1:%.*]]86; CHECK: A1:87; CHECK-NEXT: br label [[B1:%.*]]88; CHECK: B1:89; CHECK-NEXT: br label [[B2:%.*]]90; CHECK: B2:91; CHECK-NEXT: [[X_INC:%.*]] = add i32 [[X:%.*]], 192; CHECK-NEXT: br label [[B3:%.*]]93; CHECK: B3:94; CHECK-NEXT: callbr void asm "", "r,!i"(i1 [[PREDB3:%.*]])95; CHECK-NEXT: to label [[B4:%.*]] [label %B3.target.A3]96; CHECK: B4:97; CHECK-NEXT: callbr void asm "", "r,!i"(i1 [[PREDB4:%.*]])98; CHECK-NEXT: to label [[B1]] [label %B4.target.A2]99; CHECK: A2:100; CHECK-NEXT: br label [[A4:%.*]]101; CHECK: A3:102; CHECK-NEXT: br label [[A4]]103; CHECK: A4:104; CHECK-NEXT: [[A4_PHI:%.*]] = phi i32 [ [[Y:%.*]], [[A3:%.*]] ], [ [[X_INC_MOVED:%.*]], [[A2:%.*]] ]105; CHECK-NEXT: callbr void asm "", "r,!i"(i1 [[PREDA4:%.*]])106; CHECK-NEXT: to label [[A4_TARGET_C:%.*]] [label %A5]107; CHECK: A5:108; CHECK-NEXT: callbr void asm "", "r,!i"(i1 [[PREDA3:%.*]])109; CHECK-NEXT: to label [[A5_TARGET_EXIT:%.*]] [label %A1]110; CHECK: C:111; CHECK-NEXT: br label [[EXIT:%.*]]112; CHECK: exit:113; CHECK-NEXT: [[EXIT_PHI:%.*]] = phi i32 [ [[Z:%.*]], [[C:%.*]] ], [ [[EXIT_PHI_MOVED:%.*]], [[LOOP_EXIT_GUARD:%.*]] ]114; CHECK-NEXT: ret void115; CHECK: A4.target.C:116; CHECK-NEXT: br label [[LOOP_EXIT_GUARD]]117; CHECK: A5.target.exit:118; CHECK-NEXT: br label [[LOOP_EXIT_GUARD]]119; CHECK: loop.exit.guard:120; CHECK-NEXT: [[EXIT_PHI_MOVED]] = phi i32 [ poison, [[A4_TARGET_C]] ], [ [[A4_PHI]], [[A5_TARGET_EXIT]] ]121; CHECK-NEXT: [[GUARD_C:%.*]] = phi i1 [ true, [[A4_TARGET_C]] ], [ false, [[A5_TARGET_EXIT]] ]122; CHECK-NEXT: br i1 [[GUARD_C]], label [[C]], label [[EXIT]]123; CHECK: B3.target.A3:124; CHECK-NEXT: br label [[LOOP_EXIT_GUARD1:%.*]]125; CHECK: B4.target.A2:126; CHECK-NEXT: br label [[LOOP_EXIT_GUARD1]]127; CHECK: loop.exit.guard1:128; CHECK-NEXT: [[X_INC_MOVED]] = phi i32 [ [[X_INC]], [[B3_TARGET_A3:%.*]] ], [ [[X_INC]], [[B4_TARGET_A2:%.*]] ]129; CHECK-NEXT: [[GUARD_A3:%.*]] = phi i1 [ true, [[B3_TARGET_A3]] ], [ false, [[B4_TARGET_A2]] ]130; CHECK-NEXT: br i1 [[GUARD_A3]], label [[A3]], label [[A2]]131;132entry:133 br label %A1134 135A1:136 br label %B1137 138B1:139 br label %B2140 141B2:142 %X.inc = add i32 %X, 1143 br label %B3144 145B3:146 callbr void asm "", "r,!i"(i1 %PredB3) to label %B4 [label %A3]147 148B4:149 callbr void asm "", "r,!i"(i1 %PredB4) to label %B1 [label %A2]150 151A2:152 br label %A4153 154A3:155 br label %A4156 157A4:158 %A4.phi = phi i32 [%Y, %A3], [%X.inc, %A2]159 callbr void asm "", "r,!i"(i1 %PredA4) to label %C [label %A5]160 161A5:162 callbr void asm "", "r,!i"(i1 %PredA3) to label %exit [label %A1]163 164C:165 br label %exit166 167exit:168 %exit.phi = phi i32 [%A4.phi, %A5], [%Z, %C]169 ret void170}171 172; Here, the newly created target loop that connects b to r1 needs to be part of173; the parent loop (the outer loop b participates in). Otherwise, it will be174; regarded as an additional loop entry point to this outer loop.175define void @nested_callbr_multiple_exits() {176; CHECK-LABEL: @nested_callbr_multiple_exits(177; CHECK-NEXT: br label [[A:%.*]]178; CHECK: a:179; CHECK-NEXT: callbr void asm "", ""()180; CHECK-NEXT: to label [[B:%.*]] []181; CHECK: b:182; CHECK-NEXT: callbr void asm "", "!i"()183; CHECK-NEXT: to label [[C:%.*]] [label %b.target.b.target.r1]184; CHECK: c:185; CHECK-NEXT: callbr void asm "", "!i"()186; CHECK-NEXT: to label [[C_TARGET_E:%.*]] [label %b]187; CHECK: e:188; CHECK-NEXT: callbr void asm "", "!i"()189; CHECK-NEXT: to label [[A]] [label %e.target.r2]190; CHECK: r1:191; CHECK-NEXT: ret void192; CHECK: r2:193; CHECK-NEXT: ret void194; CHECK: b.target.r1:195; CHECK-NEXT: br label [[LOOP_EXIT_GUARD:%.*]]196; CHECK: e.target.r2:197; CHECK-NEXT: br label [[LOOP_EXIT_GUARD]]198; CHECK: loop.exit.guard:199; CHECK-NEXT: [[GUARD_R1:%.*]] = phi i1 [ true, [[B_TARGET_R1:%.*]] ], [ false, [[E_TARGET_R2:%.*]] ]200; CHECK-NEXT: br i1 [[GUARD_R1]], label [[R1:%.*]], label [[R2:%.*]]201; CHECK: b.target.b.target.r1:202; CHECK-NEXT: br label [[LOOP_EXIT_GUARD1:%.*]]203; CHECK: c.target.e:204; CHECK-NEXT: br label [[LOOP_EXIT_GUARD1]]205; CHECK: loop.exit.guard1:206; CHECK-NEXT: [[GUARD_B_TARGET_R1:%.*]] = phi i1 [ true, [[B_TARGET_B_TARGET_R1:%.*]] ], [ false, [[C_TARGET_E]] ]207; CHECK-NEXT: br i1 [[GUARD_B_TARGET_R1]], label [[B_TARGET_R1]], label [[E:%.*]]208;209 br label %a210a:211 callbr void asm "", ""() to label %b []212b:213 callbr void asm "", "!i"() to label %c [label %r1]214c:215 callbr void asm "", "!i"() to label %e [label %b]216e:217 callbr void asm "", "!i"() to label %a [label %r2]218r1:219 ret void220r2:221 ret void222}223