569 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; REQUIRES: asserts3; RUN: opt -passes=licm -ipt-expensive-asserts=true < %s -S | FileCheck %s4; RUN: opt -aa-pipeline=basic-aa -passes='require<aa>,require<target-ir>,require<scalar-evolution>,require<opt-remark-emit>,loop-mssa(licm)' -ipt-expensive-asserts=true < %s -S | FileCheck %s5 6; Hoist guard and load.7define void @test1(i1 %cond, ptr %ptr) {8; CHECK-LABEL: @test1(9; CHECK-NEXT: entry:10; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[COND:%.*]]) [ "deopt"(i32 0) ]11; CHECK-NEXT: [[VAL:%.*]] = load i32, ptr [[PTR:%.*]], align 412; CHECK-NEXT: br label [[LOOP:%.*]]13; CHECK: loop:14; CHECK-NEXT: [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_INC:%.*]], [[LOOP]] ]15; CHECK-NEXT: [[X_INC]] = add i32 [[X]], [[VAL]]16; CHECK-NEXT: br label [[LOOP]]17;18 19entry:20 br label %loop21 22loop:23 %x = phi i32 [ 0, %entry ], [ %x.inc, %loop ]24 call void (i1, ...) @llvm.experimental.guard(i1 %cond) ["deopt" (i32 0)]25 %val = load i32, ptr %ptr26 %x.inc = add i32 %x, %val27 br label %loop28}29 30; Can't hoist over a side effect, but can still promote and fold the load.31define void @test2(i1 %cond, ptr %ptr) {32; CHECK-LABEL: @test2(33; CHECK-NEXT: entry:34; CHECK-NEXT: br label [[LOOP:%.*]]35; CHECK: loop:36; CHECK-NEXT: [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_INC:%.*]], [[LOOP]] ]37; CHECK-NEXT: store i32 0, ptr [[PTR:%.*]], align 438; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[COND:%.*]]) [ "deopt"(i32 0) ]39; CHECK-NEXT: [[X_INC]] = add i32 [[X]], 040; CHECK-NEXT: br label [[LOOP]]41;42 43entry:44 br label %loop45 46loop:47 %x = phi i32 [ 0, %entry ], [ %x.inc, %loop ]48 store i32 0, ptr %ptr49 call void (i1, ...) @llvm.experimental.guard(i1 %cond) ["deopt" (i32 0)]50 %val = load i32, ptr %ptr51 %x.inc = add i32 %x, %val52 br label %loop53}54 55; Can't hoist over a side effect56define void @test2b(i1 %cond, ptr %ptr) {57; CHECK-LABEL: @test2b(58; CHECK-NEXT: entry:59; CHECK-NEXT: [[P2:%.*]] = getelementptr i32, ptr [[PTR:%.*]], i32 160; CHECK-NEXT: br label [[LOOP:%.*]]61; CHECK: loop:62; CHECK-NEXT: [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_INC:%.*]], [[LOOP]] ]63; CHECK-NEXT: store i32 [[X]], ptr [[P2]], align 464; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[COND:%.*]]) [ "deopt"(i32 0) ]65; CHECK-NEXT: [[VAL:%.*]] = load i32, ptr [[PTR]], align 466; CHECK-NEXT: [[X_INC]] = add i32 [[X]], [[VAL]]67; CHECK-NEXT: br label [[LOOP]]68;69 70entry:71 br label %loop72 73loop:74 %x = phi i32 [ 0, %entry ], [ %x.inc, %loop ]75 %p2 = getelementptr i32, ptr %ptr, i32 176 store i32 %x, ptr %p277 call void (i1, ...) @llvm.experimental.guard(i1 %cond) ["deopt" (i32 0)]78 %val = load i32, ptr %ptr79 %x.inc = add i32 %x, %val80 br label %loop81}82 83; But can hoist if the side effect is hoisted with MSSA84define void @test2b_prime(i1 %cond, ptr noalias %ptr) {85; CHECK-LABEL: @test2b_prime(86; CHECK-NEXT: entry:87; CHECK-NEXT: [[P2:%.*]] = getelementptr i32, ptr [[PTR:%.*]], i32 188; CHECK-NEXT: store i32 0, ptr [[P2]], align 489; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[COND:%.*]]) [ "deopt"(i32 0) ]90; CHECK-NEXT: [[VAL:%.*]] = load i32, ptr [[PTR]], align 491; CHECK-NEXT: br label [[LOOP:%.*]]92; CHECK: loop:93; CHECK-NEXT: [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_INC:%.*]], [[LOOP]] ]94; CHECK-NEXT: [[X_INC]] = add i32 [[X]], [[VAL]]95; CHECK-NEXT: br label [[LOOP]]96;97 98entry:99 br label %loop100 101loop:102 %x = phi i32 [ 0, %entry ], [ %x.inc, %loop ]103 %p2 = getelementptr i32, ptr %ptr, i32 1104 store i32 0, ptr %p2105 call void (i1, ...) @llvm.experimental.guard(i1 %cond) ["deopt" (i32 0)]106 %val = load i32, ptr %ptr107 %x.inc = add i32 %x, %val108 br label %loop109}110 111; Hoist guard. Cannot hoist load because of aliasing, but can promote.112define void @test3(i1 %cond, ptr %ptr) {113; CHECK-LABEL: @test3(114; CHECK-NEXT: entry:115; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[COND:%.*]]) [ "deopt"(i32 0) ]116; CHECK-NEXT: [[PTR_PROMOTED:%.*]] = load i32, ptr [[PTR:%.*]], align 4117; CHECK-NEXT: br label [[LOOP:%.*]]118; CHECK: loop:119; CHECK-NEXT: [[TMP0:%.*]] = phi i32 [ [[PTR_PROMOTED]], [[ENTRY:%.*]] ], [ 0, [[LOOP]] ]120; CHECK-NEXT: [[X:%.*]] = phi i32 [ 0, [[ENTRY]] ], [ [[X_INC:%.*]], [[LOOP]] ]121; CHECK-NEXT: store i32 0, ptr [[PTR]], align 4122; CHECK-NEXT: [[X_INC]] = add i32 [[X]], [[TMP0]]123; CHECK-NEXT: br label [[LOOP]]124;125 126entry:127 br label %loop128 129loop:130 %x = phi i32 [ 0, %entry ], [ %x.inc, %loop ]131 call void (i1, ...) @llvm.experimental.guard(i1 %cond) ["deopt" (i32 0)]132 %val = load i32, ptr %ptr133 store i32 0, ptr %ptr134 %x.inc = add i32 %x, %val135 br label %loop136}137 138; Hoist load and guard.139define void @test4(i1 %c, ptr %p) {140; CHECK-LABEL: @test4(141; CHECK-NEXT: entry:142; CHECK-NEXT: [[A:%.*]] = load i32, ptr [[P:%.*]], align 4143; CHECK-NEXT: [[INVARIANT_COND:%.*]] = icmp ne i32 [[A]], 100144; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[INVARIANT_COND]]) [ "deopt"() ]145; CHECK-NEXT: br label [[LOOP:%.*]]146; CHECK: loop:147; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[BACKEDGE:%.*]] ]148; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 1149; CHECK-NEXT: br i1 [[C:%.*]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]]150; CHECK: if.true:151; CHECK-NEXT: br label [[BACKEDGE]]152; CHECK: if.false:153; CHECK-NEXT: br label [[BACKEDGE]]154; CHECK: backedge:155; CHECK-NEXT: [[LOOP_COND:%.*]] = icmp slt i32 [[IV_NEXT]], 1000156; CHECK-NEXT: br i1 [[LOOP_COND]], label [[LOOP]], label [[EXIT:%.*]]157; CHECK: exit:158; CHECK-NEXT: ret void159;160 161entry:162 br label %loop163 164loop:165 %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]166 %iv.next = add i32 %iv, 1167 br i1 %c, label %if.true, label %if.false168 169if.true:170 br label %backedge171 172if.false:173 br label %backedge174 175backedge:176 %a = load i32, ptr %p177 %invariant_cond = icmp ne i32 %a, 100178 call void (i1, ...) @llvm.experimental.guard(i1 %invariant_cond) [ "deopt"() ]179 %loop_cond = icmp slt i32 %iv.next, 1000180 br i1 %loop_cond, label %loop, label %exit181 182exit:183 ret void184}185 186; Do not hoist across a conditionally executed side effect.187define void @test4a(i1 %c, ptr %p, ptr %q) {188; CHECK-LABEL: @test4a(189; CHECK-NEXT: entry:190; CHECK-NEXT: br label [[LOOP:%.*]]191; CHECK: loop:192; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[BACKEDGE:%.*]] ]193; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 1194; CHECK-NEXT: br i1 [[C:%.*]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]]195; CHECK: if.true:196; CHECK-NEXT: store i32 123, ptr [[Q:%.*]], align 4197; CHECK-NEXT: br label [[BACKEDGE]]198; CHECK: if.false:199; CHECK-NEXT: br label [[BACKEDGE]]200; CHECK: backedge:201; CHECK-NEXT: [[A:%.*]] = load i32, ptr [[P:%.*]], align 4202; CHECK-NEXT: [[INVARIANT_COND:%.*]] = icmp ne i32 [[A]], 100203; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[INVARIANT_COND]]) [ "deopt"() ]204; CHECK-NEXT: [[LOOP_COND:%.*]] = icmp slt i32 [[IV_NEXT]], 1000205; CHECK-NEXT: br i1 [[LOOP_COND]], label [[LOOP]], label [[EXIT:%.*]]206; CHECK: exit:207; CHECK-NEXT: ret void208;209 210entry:211 br label %loop212 213loop:214 %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]215 %iv.next = add i32 %iv, 1216 br i1 %c, label %if.true, label %if.false217 218if.true:219 store i32 123, ptr %q220 br label %backedge221 222if.false:223 br label %backedge224 225backedge:226 %a = load i32, ptr %p227 %invariant_cond = icmp ne i32 %a, 100228 call void (i1, ...) @llvm.experimental.guard(i1 %invariant_cond) [ "deopt"() ]229 %loop_cond = icmp slt i32 %iv.next, 1000230 br i1 %loop_cond, label %loop, label %exit231 232exit:233 ret void234}235 236; Do not hoist a conditionally executed guard.237define void @test4b(i1 %c, ptr %p, ptr %q) {238; CHECK-LABEL: @test4b(239; CHECK-NEXT: entry:240; CHECK-NEXT: br label [[LOOP:%.*]]241; CHECK: loop:242; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[BACKEDGE:%.*]] ]243; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 1244; CHECK-NEXT: br i1 [[C:%.*]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]]245; CHECK: if.true:246; CHECK-NEXT: [[A:%.*]] = load i32, ptr [[P:%.*]], align 4247; CHECK-NEXT: [[INVARIANT_COND:%.*]] = icmp ne i32 [[A]], 100248; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[INVARIANT_COND]]) [ "deopt"() ]249; CHECK-NEXT: br label [[BACKEDGE]]250; CHECK: if.false:251; CHECK-NEXT: br label [[BACKEDGE]]252; CHECK: backedge:253; CHECK-NEXT: [[LOOP_COND:%.*]] = icmp slt i32 [[IV_NEXT]], 1000254; CHECK-NEXT: br i1 [[LOOP_COND]], label [[LOOP]], label [[EXIT:%.*]]255; CHECK: exit:256; CHECK-NEXT: ret void257;258 259entry:260 br label %loop261 262loop:263 %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]264 %iv.next = add i32 %iv, 1265 br i1 %c, label %if.true, label %if.false266 267if.true:268 %a = load i32, ptr %p269 %invariant_cond = icmp ne i32 %a, 100270 call void (i1, ...) @llvm.experimental.guard(i1 %invariant_cond) [ "deopt"() ]271 br label %backedge272 273if.false:274 br label %backedge275 276backedge:277 %loop_cond = icmp slt i32 %iv.next, 1000278 br i1 %loop_cond, label %loop, label %exit279 280exit:281 ret void282}283 284; Hoist store, load and guard.285define void @test4c(i1 %c, ptr %p, ptr noalias %s) {286; CHECK-LABEL: @test4c(287; CHECK-NEXT: entry:288; CHECK-NEXT: store i8 0, ptr [[S:%.*]], align 1289; CHECK-NEXT: [[A:%.*]] = load i32, ptr [[P:%.*]], align 4290; CHECK-NEXT: [[INVARIANT_COND:%.*]] = icmp ne i32 [[A]], 100291; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[INVARIANT_COND]]) [ "deopt"() ]292; CHECK-NEXT: br label [[LOOP:%.*]]293; CHECK: loop:294; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[BACKEDGE:%.*]] ]295; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 1296; CHECK-NEXT: br i1 [[C:%.*]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]]297; CHECK: if.true:298; CHECK-NEXT: br label [[BACKEDGE]]299; CHECK: if.false:300; CHECK-NEXT: br label [[BACKEDGE]]301; CHECK: backedge:302; CHECK-NEXT: [[LOOP_COND:%.*]] = icmp slt i32 [[IV_NEXT]], 1000303; CHECK-NEXT: br i1 [[LOOP_COND]], label [[LOOP]], label [[EXIT:%.*]]304; CHECK: exit:305; CHECK-NEXT: ret void306;307 308entry:309 br label %loop310 311loop:312 %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]313 %iv.next = add i32 %iv, 1314 store i8 0, ptr %s315 br i1 %c, label %if.true, label %if.false316 317if.true:318 br label %backedge319 320if.false:321 br label %backedge322 323backedge:324 %a = load i32, ptr %p325 %invariant_cond = icmp ne i32 %a, 100326 call void (i1, ...) @llvm.experimental.guard(i1 %invariant_cond) [ "deopt"() ]327 %loop_cond = icmp slt i32 %iv.next, 1000328 br i1 %loop_cond, label %loop, label %exit329 330exit:331 ret void332}333 334; Check that we don't hoist across a store in a conditionally executed block.335define void @test4d(i1 %c, ptr %p, ptr noalias %s) {336; CHECK-LABEL: @test4d(337; CHECK-NEXT: entry:338; CHECK-NEXT: [[A:%.*]] = load i32, ptr [[P:%.*]], align 4339; CHECK-NEXT: [[INVARIANT_COND:%.*]] = icmp ne i32 [[A]], 100340; CHECK-NEXT: br label [[LOOP:%.*]]341; CHECK: loop:342; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[BACKEDGE:%.*]] ]343; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 1344; CHECK-NEXT: br i1 [[C:%.*]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]]345; CHECK: if.true:346; CHECK-NEXT: store i8 0, ptr [[S:%.*]], align 1347; CHECK-NEXT: br label [[BACKEDGE]]348; CHECK: if.false:349; CHECK-NEXT: br label [[BACKEDGE]]350; CHECK: backedge:351; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[INVARIANT_COND]]) [ "deopt"() ]352; CHECK-NEXT: [[LOOP_COND:%.*]] = icmp slt i32 [[IV_NEXT]], 1000353; CHECK-NEXT: br i1 [[LOOP_COND]], label [[LOOP]], label [[EXIT:%.*]]354; CHECK: exit:355; CHECK-NEXT: ret void356;357 358entry:359 br label %loop360 361loop:362 %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]363 %iv.next = add i32 %iv, 1364 br i1 %c, label %if.true, label %if.false365 366if.true:367 store i8 0, ptr %s368 br label %backedge369 370if.false:371 br label %backedge372 373backedge:374 %a = load i32, ptr %p375 %invariant_cond = icmp ne i32 %a, 100376 call void (i1, ...) @llvm.experimental.guard(i1 %invariant_cond) [ "deopt"() ]377 %loop_cond = icmp slt i32 %iv.next, 1000378 br i1 %loop_cond, label %loop, label %exit379 380exit:381 ret void382}383 384; Check that we don't hoist across a store before the guard in the backedge.385define void @test4e(i1 %c, ptr %p, ptr noalias %s) {386; CHECK-LABEL: @test4e(387; CHECK-NEXT: entry:388; CHECK-NEXT: [[A:%.*]] = load i32, ptr [[P:%.*]], align 4389; CHECK-NEXT: [[INVARIANT_COND:%.*]] = icmp ne i32 [[A]], 100390; CHECK-NEXT: store i8 0, ptr [[S:%.*]], align 1391; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[INVARIANT_COND]]) [ "deopt"() ]392; CHECK-NEXT: br label [[LOOP:%.*]]393; CHECK: loop:394; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[BACKEDGE:%.*]] ]395; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 1396; CHECK-NEXT: br i1 [[C:%.*]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]]397; CHECK: if.true:398; CHECK-NEXT: br label [[BACKEDGE]]399; CHECK: if.false:400; CHECK-NEXT: br label [[BACKEDGE]]401; CHECK: backedge:402; CHECK-NEXT: [[LOOP_COND:%.*]] = icmp slt i32 [[IV_NEXT]], 1000403; CHECK-NEXT: br i1 [[LOOP_COND]], label [[LOOP]], label [[EXIT:%.*]]404; CHECK: exit:405; CHECK-NEXT: ret void406;407 408entry:409 br label %loop410 411loop:412 %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]413 %iv.next = add i32 %iv, 1414 br i1 %c, label %if.true, label %if.false415 416if.true:417 br label %backedge418 419if.false:420 br label %backedge421 422backedge:423 %a = load i32, ptr %p424 %invariant_cond = icmp ne i32 %a, 100425 store i8 0, ptr %s426 call void (i1, ...) @llvm.experimental.guard(i1 %invariant_cond) [ "deopt"() ]427 %loop_cond = icmp slt i32 %iv.next, 1000428 br i1 %loop_cond, label %loop, label %exit429 430exit:431 ret void432}433 434; Check that we can hoist the guard in spite of store which happens after.435define void @test4f(i1 %c, ptr %p, ptr noalias %s) {436; CHECK-LABEL: @test4f(437; CHECK-NEXT: entry:438; CHECK-NEXT: [[A:%.*]] = load i32, ptr [[P:%.*]], align 4439; CHECK-NEXT: [[INVARIANT_COND:%.*]] = icmp ne i32 [[A]], 100440; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[INVARIANT_COND]]) [ "deopt"() ]441; CHECK-NEXT: store i8 0, ptr [[S:%.*]], align 1442; CHECK-NEXT: br label [[LOOP:%.*]]443; CHECK: loop:444; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[BACKEDGE:%.*]] ]445; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 1446; CHECK-NEXT: br i1 [[C:%.*]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]]447; CHECK: if.true:448; CHECK-NEXT: br label [[BACKEDGE]]449; CHECK: if.false:450; CHECK-NEXT: br label [[BACKEDGE]]451; CHECK: backedge:452; CHECK-NEXT: [[LOOP_COND:%.*]] = icmp slt i32 [[IV_NEXT]], 1000453; CHECK-NEXT: br i1 [[LOOP_COND]], label [[LOOP]], label [[EXIT:%.*]]454; CHECK: exit:455; CHECK-NEXT: ret void456;457 458entry:459 br label %loop460 461loop:462 %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]463 %iv.next = add i32 %iv, 1464 br i1 %c, label %if.true, label %if.false465 466if.true:467 br label %backedge468 469if.false:470 br label %backedge471 472backedge:473 %a = load i32, ptr %p474 %invariant_cond = icmp ne i32 %a, 100475 call void (i1, ...) @llvm.experimental.guard(i1 %invariant_cond) [ "deopt"() ]476 store i8 0, ptr %s477 %loop_cond = icmp slt i32 %iv.next, 1000478 br i1 %loop_cond, label %loop, label %exit479 480exit:481 ret void482}483 484; Do not hoist an invariant guard across a variant guard.485define void @test5(i1 %c, ptr %p, ptr %q) {486; CHECK-LABEL: @test5(487; CHECK-NEXT: entry:488; CHECK-NEXT: [[A:%.*]] = load i32, ptr [[P:%.*]], align 4489; CHECK-NEXT: [[INVARIANT_COND:%.*]] = icmp ne i32 [[A]], 100490; CHECK-NEXT: br label [[LOOP:%.*]]491; CHECK: loop:492; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[BACKEDGE:%.*]] ]493; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 1494; CHECK-NEXT: [[VARIANT_COND:%.*]] = icmp ne i32 [[A]], [[IV]]495; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[VARIANT_COND]]) [ "deopt"() ]496; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[INVARIANT_COND]]) [ "deopt"() ]497; CHECK-NEXT: br label [[BACKEDGE]]498; CHECK: backedge:499; CHECK-NEXT: [[LOOP_COND:%.*]] = icmp slt i32 [[IV_NEXT]], 1000500; CHECK-NEXT: br i1 [[LOOP_COND]], label [[LOOP]], label [[EXIT:%.*]]501; CHECK: exit:502; CHECK-NEXT: ret void503;504 505entry:506 br label %loop507 508loop:509 %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]510 %iv.next = add i32 %iv, 1511 %a = load i32, ptr %p512 %invariant_cond = icmp ne i32 %a, 100513 %variant_cond = icmp ne i32 %a, %iv514 call void (i1, ...) @llvm.experimental.guard(i1 %variant_cond) [ "deopt"() ]515 call void (i1, ...) @llvm.experimental.guard(i1 %invariant_cond) [ "deopt"() ]516 br label %backedge517 518backedge:519 %loop_cond = icmp slt i32 %iv.next, 1000520 br i1 %loop_cond, label %loop, label %exit521 522exit:523 ret void524}525 526; Hoist an invariant guard, leave the following variant guard in the loop.527define void @test5a(i1 %c, ptr %p, ptr %q) {528; CHECK-LABEL: @test5a(529; CHECK-NEXT: entry:530; CHECK-NEXT: [[A:%.*]] = load i32, ptr [[P:%.*]], align 4531; CHECK-NEXT: [[INVARIANT_COND:%.*]] = icmp ne i32 [[A]], 100532; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[INVARIANT_COND]]) [ "deopt"() ]533; CHECK-NEXT: br label [[LOOP:%.*]]534; CHECK: loop:535; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[BACKEDGE:%.*]] ]536; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 1537; CHECK-NEXT: [[VARIANT_COND:%.*]] = icmp ne i32 [[A]], [[IV]]538; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[VARIANT_COND]]) [ "deopt"() ]539; CHECK-NEXT: br label [[BACKEDGE]]540; CHECK: backedge:541; CHECK-NEXT: [[LOOP_COND:%.*]] = icmp slt i32 [[IV_NEXT]], 1000542; CHECK-NEXT: br i1 [[LOOP_COND]], label [[LOOP]], label [[EXIT:%.*]]543; CHECK: exit:544; CHECK-NEXT: ret void545;546 547entry:548 br label %loop549 550loop:551 %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]552 %iv.next = add i32 %iv, 1553 %a = load i32, ptr %p554 %invariant_cond = icmp ne i32 %a, 100555 %variant_cond = icmp ne i32 %a, %iv556 call void (i1, ...) @llvm.experimental.guard(i1 %invariant_cond) [ "deopt"() ]557 call void (i1, ...) @llvm.experimental.guard(i1 %variant_cond) [ "deopt"() ]558 br label %backedge559 560backedge:561 %loop_cond = icmp slt i32 %iv.next, 1000562 br i1 %loop_cond, label %loop, label %exit563 564exit:565 ret void566}567 568declare void @llvm.experimental.guard(i1, ...)569