459 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s3 4declare void @use(i1)5 6; Make sure conditions in loops are not used to simplify themselves.7 8define void @loop1(ptr %T, ptr %x, i32 %points, i32 %trigint) {9; CHECK-LABEL: @loop1(10; CHECK-NEXT: entry:11; CHECK-NEXT: [[IDX_EXT:%.*]] = sext i32 [[POINTS:%.*]] to i6412; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds float, ptr [[X:%.*]], i64 [[IDX_EXT]]13; CHECK-NEXT: [[ADD_PTR1:%.*]] = getelementptr inbounds float, ptr [[ADD_PTR]], i64 -814; CHECK-NEXT: [[SHR:%.*]] = ashr i32 [[POINTS]], 115; CHECK-NEXT: [[IDX_EXT2:%.*]] = sext i32 [[SHR]] to i6416; CHECK-NEXT: [[ADD_PTR3:%.*]] = getelementptr inbounds float, ptr [[X]], i64 [[IDX_EXT2]]17; CHECK-NEXT: [[ADD_PTR4:%.*]] = getelementptr inbounds float, ptr [[ADD_PTR3]], i64 -818; CHECK-NEXT: br label [[DO_BODY:%.*]]19; CHECK: do.body:20; CHECK-NEXT: [[X2_0:%.*]] = phi ptr [ [[ADD_PTR4]], [[ENTRY:%.*]] ], [ [[ADD_PTR106:%.*]], [[DO_BODY]] ]21; CHECK-NEXT: [[X1_0:%.*]] = phi ptr [ [[ADD_PTR1]], [[ENTRY]] ], [ [[ADD_PTR105:%.*]], [[DO_BODY]] ]22; CHECK-NEXT: [[ADD_PTR105]] = getelementptr inbounds float, ptr [[X1_0]], i64 -823; CHECK-NEXT: [[ADD_PTR106]] = getelementptr inbounds float, ptr [[X2_0]], i64 -824; CHECK-NEXT: [[CMP:%.*]] = icmp uge ptr [[ADD_PTR106]], [[X]]25; CHECK-NEXT: br i1 [[CMP]], label [[DO_BODY]], label [[DO_END:%.*]]26; CHECK: do.end:27; CHECK-NEXT: ret void28;29entry:30 %idx.ext = sext i32 %points to i6431 %add.ptr = getelementptr inbounds float, ptr %x, i64 %idx.ext32 %add.ptr1 = getelementptr inbounds float, ptr %add.ptr, i64 -833 %shr = ashr i32 %points, 134 %idx.ext2 = sext i32 %shr to i6435 %add.ptr3 = getelementptr inbounds float, ptr %x, i64 %idx.ext236 %add.ptr4 = getelementptr inbounds float, ptr %add.ptr3, i64 -837 br label %do.body38 39do.body: ; preds = %do.body, %entry40 %x2.0 = phi ptr [ %add.ptr4, %entry ], [ %add.ptr106, %do.body ]41 %x1.0 = phi ptr [ %add.ptr1, %entry ], [ %add.ptr105, %do.body ]42 %add.ptr105 = getelementptr inbounds float, ptr %x1.0, i64 -843 %add.ptr106 = getelementptr inbounds float, ptr %x2.0, i64 -844 %cmp = icmp uge ptr %add.ptr106, %x45 br i1 %cmp, label %do.body, label %do.end46 47do.end: ; preds = %do.body48 ret void49}50 51 52; Some tests with loops with conditions in the header.53 54define i32 @loop_header_dom(i32 %y, i1 %c) {55; CHECK-LABEL: @loop_header_dom(56; CHECK-NEXT: entry:57; CHECK-NEXT: br i1 [[C:%.*]], label [[LOOP_HEADER:%.*]], label [[EXIT:%.*]]58; CHECK: loop.header:59; CHECK-NEXT: [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]60; CHECK-NEXT: [[C_1:%.*]] = icmp ule i32 [[X]], 1061; CHECK-NEXT: br i1 [[C_1]], label [[LOOP_LATCH]], label [[EXIT]]62; CHECK: loop.latch:63; CHECK-NEXT: call void @use(i1 true)64; CHECK-NEXT: call void @use(i1 false)65; CHECK-NEXT: [[C_2:%.*]] = icmp ule i32 [[X]], 966; CHECK-NEXT: call void @use(i1 [[C_2]])67; CHECK-NEXT: [[C_3:%.*]] = icmp ugt i32 [[X]], 968; CHECK-NEXT: call void @use(i1 [[C_3]])69; CHECK-NEXT: [[X_NEXT]] = add i32 [[X]], 170; CHECK-NEXT: br label [[LOOP_HEADER]]71; CHECK: exit:72; CHECK-NEXT: [[C_4:%.*]] = icmp ugt i32 [[Y:%.*]], 1073; CHECK-NEXT: call void @use(i1 [[C_4]])74; CHECK-NEXT: ret i32 2075;76entry:77 br i1 %c, label %loop.header, label %exit78 79loop.header:80 %x = phi i32 [ 0, %entry ], [ %x.next, %loop.latch ]81 %c.1 = icmp ule i32 %x, 1082 br i1 %c.1, label %loop.latch, label %exit83 84loop.latch:85 %t.1 = icmp ule i32 %x, 1086 call void @use(i1 %t.1)87 %f.1 = icmp ugt i32 %x, 1088 call void @use(i1 %f.1)89 90 %c.2 = icmp ule i32 %x, 991 call void @use(i1 %c.2)92 %c.3 = icmp ugt i32 %x, 993 call void @use(i1 %c.3)94 95 %x.next = add i32 %x, 196 br label %loop.header97 98exit:99 %c.4 = icmp ugt i32 %y, 10100 call void @use(i1 %c.4)101 ret i32 20102}103 104define i32 @loop_header_dom_successors_flipped(i32 %y, i1 %c) {105; CHECK-LABEL: @loop_header_dom_successors_flipped(106; CHECK-NEXT: entry:107; CHECK-NEXT: br i1 [[C:%.*]], label [[LOOP_HEADER:%.*]], label [[EXIT:%.*]]108; CHECK: loop.header:109; CHECK-NEXT: [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]110; CHECK-NEXT: [[C_1:%.*]] = icmp ule i32 [[X]], 10111; CHECK-NEXT: br i1 [[C_1]], label [[EXIT]], label [[LOOP_LATCH]]112; CHECK: loop.latch:113; CHECK-NEXT: call void @use(i1 false)114; CHECK-NEXT: call void @use(i1 true)115; CHECK-NEXT: [[C_2:%.*]] = icmp ugt i32 [[X]], 11116; CHECK-NEXT: call void @use(i1 [[C_2]])117; CHECK-NEXT: [[C_3:%.*]] = icmp ule i32 [[X]], 11118; CHECK-NEXT: call void @use(i1 [[C_3]])119; CHECK-NEXT: [[X_NEXT]] = add i32 [[X]], 1120; CHECK-NEXT: br label [[LOOP_HEADER]]121; CHECK: exit:122; CHECK-NEXT: [[C_4:%.*]] = icmp ugt i32 [[Y:%.*]], 10123; CHECK-NEXT: call void @use(i1 [[C_4]])124; CHECK-NEXT: ret i32 20125;126entry:127 br i1 %c, label %loop.header, label %exit128 129loop.header:130 %x = phi i32 [ 0, %entry ], [ %x.next, %loop.latch ]131 %c.1 = icmp ule i32 %x, 10132 br i1 %c.1, label %exit, label %loop.latch133 134loop.latch:135 %f.1 = icmp ule i32 %x, 10136 call void @use(i1 %f.1)137 %t.1 = icmp ugt i32 %x, 10138 call void @use(i1 %t.1)139 140 %c.2 = icmp ugt i32 %x, 11141 call void @use(i1 %c.2)142 %c.3 = icmp ule i32 %x,11143 call void @use(i1 %c.3)144 145 %x.next = add i32 %x, 1146 br label %loop.header147 148exit:149 %c.4 = icmp ugt i32 %y, 10150 call void @use(i1 %c.4)151 ret i32 20152}153 154define void @loop_header_dom_or(i32 %y, i1 %c, i32 %start) {155; CHECK-LABEL: @loop_header_dom_or(156; CHECK-NEXT: entry:157; CHECK-NEXT: br i1 [[C:%.*]], label [[LOOP_HEADER:%.*]], label [[EXIT:%.*]]158; CHECK: loop.header:159; CHECK-NEXT: [[X:%.*]] = phi i32 [ [[START:%.*]], [[ENTRY:%.*]] ], [ [[X_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]160; CHECK-NEXT: [[X_1:%.*]] = icmp ule i32 [[X]], 10161; CHECK-NEXT: [[Y_1:%.*]] = icmp ugt i32 [[Y:%.*]], 99162; CHECK-NEXT: [[OR:%.*]] = or i1 [[X_1]], [[Y_1]]163; CHECK-NEXT: br i1 [[OR]], label [[EXIT]], label [[LOOP_LATCH]]164; CHECK: loop.latch:165; CHECK-NEXT: call void @use(i1 true)166; CHECK-NEXT: call void @use(i1 false)167; CHECK-NEXT: [[C_1:%.*]] = icmp ugt i32 [[X]], 11168; CHECK-NEXT: call void @use(i1 [[C_1]])169; CHECK-NEXT: [[C_2:%.*]] = icmp ule i32 [[X]], 11170; CHECK-NEXT: call void @use(i1 [[C_2]])171; CHECK-NEXT: call void @use(i1 true)172; CHECK-NEXT: call void @use(i1 false)173; CHECK-NEXT: [[C_3:%.*]] = icmp ule i32 [[Y]], 98174; CHECK-NEXT: call void @use(i1 [[C_3]])175; CHECK-NEXT: [[C_4:%.*]] = icmp ule i32 [[Y]], 98176; CHECK-NEXT: call void @use(i1 [[C_4]])177; CHECK-NEXT: [[X_NEXT]] = add i32 [[X]], 1178; CHECK-NEXT: br label [[LOOP_HEADER]]179; CHECK: exit:180; CHECK-NEXT: [[C_5:%.*]] = icmp ugt i32 [[Y]], 10181; CHECK-NEXT: call void @use(i1 [[C_5]])182; CHECK-NEXT: ret void183;184entry:185 br i1 %c, label %loop.header, label %exit186 187loop.header:188 %x = phi i32 [ %start, %entry ], [ %x.next, %loop.latch ]189 %x.1 = icmp ule i32 %x, 10190 %y.1 = icmp ugt i32 %y, 99191 %or = or i1 %x.1, %y.1192 br i1 %or, label %exit, label %loop.latch193 194loop.latch:195 %t.1 = icmp ugt i32 %x, 10196 call void @use(i1 %t.1)197 %f.1 = icmp ule i32 %x, 10198 call void @use(i1 %f.1)199 %c.1 = icmp ugt i32 %x, 11200 call void @use(i1 %c.1)201 %c.2 = icmp ule i32 %x, 11202 call void @use(i1 %c.2)203 204 205 %t.2 = icmp ule i32 %y, 99206 call void @use(i1 %t.2)207 %f.2 = icmp ugt i32 %y, 99208 call void @use(i1 %f.2)209 210 %c.3 = icmp ule i32 %y, 98211 call void @use(i1 %c.3)212 %c.4 = icmp ule i32 %y, 98213 call void @use(i1 %c.4)214 215 %x.next = add i32 %x, 1216 br label %loop.header217 218exit:219 %c.5 = icmp ugt i32 %y, 10220 call void @use(i1 %c.5)221 ret void222}223 224define void @loop_header_dom_or_successors_flipped(i32 %y, i1 %c) {225; CHECK-LABEL: @loop_header_dom_or_successors_flipped(226; CHECK-NEXT: entry:227; CHECK-NEXT: br i1 [[C:%.*]], label [[LOOP_HEADER:%.*]], label [[EXIT:%.*]]228; CHECK: loop.header:229; CHECK-NEXT: [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]230; CHECK-NEXT: [[X_1:%.*]] = icmp ule i32 [[X]], 10231; CHECK-NEXT: [[Y_1:%.*]] = icmp ugt i32 [[Y:%.*]], 99232; CHECK-NEXT: [[OR:%.*]] = or i1 [[X_1]], [[Y_1]]233; CHECK-NEXT: br i1 [[OR]], label [[LOOP_LATCH]], label [[EXIT]]234; CHECK: loop.latch:235; CHECK-NEXT: [[C_1:%.*]] = icmp ule i32 [[X]], 10236; CHECK-NEXT: call void @use(i1 [[C_1]])237; CHECK-NEXT: [[C_2:%.*]] = icmp ugt i32 [[X]], 10238; CHECK-NEXT: call void @use(i1 [[C_2]])239; CHECK-NEXT: [[C_3:%.*]] = icmp ule i32 [[X]], 9240; CHECK-NEXT: call void @use(i1 [[C_3]])241; CHECK-NEXT: [[C_4:%.*]] = icmp ugt i32 [[X]], 9242; CHECK-NEXT: call void @use(i1 [[C_4]])243; CHECK-NEXT: [[C_5:%.*]] = icmp ugt i32 [[Y]], 99244; CHECK-NEXT: call void @use(i1 [[C_5]])245; CHECK-NEXT: [[C_6:%.*]] = icmp ule i32 [[Y]], 99246; CHECK-NEXT: call void @use(i1 [[C_6]])247; CHECK-NEXT: [[C_7:%.*]] = icmp ugt i32 [[Y]], 100248; CHECK-NEXT: call void @use(i1 [[C_7]])249; CHECK-NEXT: [[C_8:%.*]] = icmp ugt i32 [[Y]], 100250; CHECK-NEXT: call void @use(i1 [[C_8]])251; CHECK-NEXT: [[X_NEXT]] = add i32 [[X]], 1252; CHECK-NEXT: br label [[LOOP_HEADER]]253; CHECK: exit:254; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i32 [[Y]], 10255; CHECK-NEXT: call void @use(i1 [[T_1]])256; CHECK-NEXT: ret void257;258entry:259 br i1 %c, label %loop.header, label %exit260 261loop.header:262 %x = phi i32 [ 0, %entry ], [ %x.next, %loop.latch ]263 %x.1 = icmp ule i32 %x, 10264 %y.1 = icmp ugt i32 %y, 99265 %or = or i1 %x.1, %y.1266 br i1 %or, label %loop.latch, label %exit267 268loop.latch:269 %c.1 = icmp ule i32 %x, 10270 call void @use(i1 %c.1)271 %c.2 = icmp ugt i32 %x, 10272 call void @use(i1 %c.2)273 %c.3 = icmp ule i32 %x, 9274 call void @use(i1 %c.3)275 %c.4 = icmp ugt i32 %x, 9276 call void @use(i1 %c.4)277 278 279 %c.5 = icmp ugt i32 %y, 99280 call void @use(i1 %c.5)281 %c.6 = icmp ule i32 %y, 99282 call void @use(i1 %c.6)283 284 %c.7 = icmp ugt i32 %y, 100285 call void @use(i1 %c.7)286 %c.8 = icmp ugt i32 %y, 100287 call void @use(i1 %c.8)288 289 %x.next = add i32 %x, 1290 br label %loop.header291 292exit:293 %t.1 = icmp ugt i32 %y, 10294 call void @use(i1 %t.1)295 ret void296}297 298 299define void @loop_header_dom_and(i32 %y, i1 %c) {300; CHECK-LABEL: @loop_header_dom_and(301; CHECK-NEXT: entry:302; CHECK-NEXT: br i1 [[C:%.*]], label [[LOOP_HEADER:%.*]], label [[EXIT:%.*]]303; CHECK: exit:304; CHECK-NEXT: [[C_5:%.*]] = icmp ugt i32 [[Y:%.*]], 10305; CHECK-NEXT: call void @use(i1 [[C_5]])306; CHECK-NEXT: ret void307; CHECK: loop.header:308; CHECK-NEXT: [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]309; CHECK-NEXT: [[X_1:%.*]] = icmp ule i32 [[X]], 10310; CHECK-NEXT: [[Y_1:%.*]] = icmp ugt i32 [[Y]], 99311; CHECK-NEXT: [[AND:%.*]] = and i1 [[X_1]], [[Y_1]]312; CHECK-NEXT: br i1 [[AND]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]313; CHECK: loop.latch:314; CHECK-NEXT: call void @use(i1 true)315; CHECK-NEXT: call void @use(i1 false)316; CHECK-NEXT: [[C_1:%.*]] = icmp ule i32 [[X]], 9317; CHECK-NEXT: call void @use(i1 [[C_1]])318; CHECK-NEXT: [[C_2:%.*]] = icmp ugt i32 [[X]], 9319; CHECK-NEXT: call void @use(i1 [[C_2]])320; CHECK-NEXT: call void @use(i1 true)321; CHECK-NEXT: call void @use(i1 false)322; CHECK-NEXT: [[C_3:%.*]] = icmp ugt i32 [[Y]], 100323; CHECK-NEXT: call void @use(i1 [[C_3]])324; CHECK-NEXT: [[C_4:%.*]] = icmp ugt i32 [[Y]], 100325; CHECK-NEXT: call void @use(i1 [[C_4]])326; CHECK-NEXT: [[X_NEXT]] = add i32 [[X]], 1327; CHECK-NEXT: br label [[LOOP_HEADER]]328; CHECK: exit.1:329; CHECK-NEXT: [[C_6:%.*]] = icmp ugt i32 [[Y]], 10330; CHECK-NEXT: call void @use(i1 [[C_6]])331; CHECK-NEXT: ret void332;333entry:334 br i1 %c, label %loop.header, label %exit335 336exit:337 %c.5 = icmp ugt i32 %y, 10338 call void @use(i1 %c.5)339 ret void340 341loop.header:342 %x = phi i32 [ 0, %entry ], [ %x.next, %loop.latch ]343 %x.1 = icmp ule i32 %x, 10344 %y.1 = icmp ugt i32 %y, 99345 %and = and i1 %x.1, %y.1346 br i1 %and, label %loop.latch, label %exit.1347 348loop.latch:349 %t.1 = icmp ule i32 %x, 10350 call void @use(i1 %t.1)351 %f.1 = icmp ugt i32 %x, 10352 call void @use(i1 %f.1)353 %c.1 = icmp ule i32 %x, 9354 call void @use(i1 %c.1)355 %c.2 = icmp ugt i32 %x, 9356 call void @use(i1 %c.2)357 358 359 %t.2 = icmp ugt i32 %y, 99360 call void @use(i1 %t.2)361 %f.2 = icmp ule i32 %y, 99362 call void @use(i1 %f.2)363 364 %c.3 = icmp ugt i32 %y, 100365 call void @use(i1 %c.3)366 %c.4 = icmp ugt i32 %y, 100367 call void @use(i1 %c.4)368 369 %x.next = add i32 %x, 1370 br label %loop.header371 372exit.1:373 %c.6 = icmp ugt i32 %y, 10374 call void @use(i1 %c.6)375 ret void376}377 378define void @loop_header_dom_and_successors_flipped(i32 %y, i1 %c) {379; CHECK-LABEL: @loop_header_dom_and_successors_flipped(380; CHECK-NEXT: entry:381; CHECK-NEXT: br i1 [[C:%.*]], label [[LOOP_HEADER:%.*]], label [[EXIT:%.*]]382; CHECK: exit:383; CHECK-NEXT: [[C_9:%.*]] = icmp ugt i32 [[Y:%.*]], 10384; CHECK-NEXT: call void @use(i1 [[C_9]])385; CHECK-NEXT: ret void386; CHECK: loop.header:387; CHECK-NEXT: [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]388; CHECK-NEXT: [[X_1:%.*]] = icmp ule i32 [[X]], 10389; CHECK-NEXT: [[Y_1:%.*]] = icmp ugt i32 [[Y]], 99390; CHECK-NEXT: [[AND:%.*]] = and i1 [[X_1]], [[Y_1]]391; CHECK-NEXT: br i1 [[AND]], label [[EXIT_1:%.*]], label [[LOOP_LATCH]]392; CHECK: loop.latch:393; CHECK-NEXT: [[C_1:%.*]] = icmp ule i32 [[X]], 10394; CHECK-NEXT: call void @use(i1 [[C_1]])395; CHECK-NEXT: [[C_2:%.*]] = icmp ugt i32 [[X]], 10396; CHECK-NEXT: call void @use(i1 [[C_2]])397; CHECK-NEXT: [[C_3:%.*]] = icmp ule i32 [[X]], 9398; CHECK-NEXT: call void @use(i1 [[C_3]])399; CHECK-NEXT: [[C_4:%.*]] = icmp ugt i32 [[X]], 9400; CHECK-NEXT: call void @use(i1 [[C_4]])401; CHECK-NEXT: [[C_5:%.*]] = icmp ugt i32 [[Y]], 99402; CHECK-NEXT: call void @use(i1 [[C_5]])403; CHECK-NEXT: [[C_6:%.*]] = icmp ule i32 [[Y]], 99404; CHECK-NEXT: call void @use(i1 [[C_6]])405; CHECK-NEXT: [[C_7:%.*]] = icmp ugt i32 [[Y]], 100406; CHECK-NEXT: call void @use(i1 [[C_7]])407; CHECK-NEXT: [[C_8:%.*]] = icmp ugt i32 [[Y]], 100408; CHECK-NEXT: call void @use(i1 [[C_8]])409; CHECK-NEXT: [[X_NEXT]] = add i32 [[X]], 1410; CHECK-NEXT: br label [[LOOP_HEADER]]411; CHECK: exit.1:412; CHECK-NEXT: call void @use(i1 true)413; CHECK-NEXT: ret void414;415entry:416 br i1 %c, label %loop.header, label %exit417 418exit:419 %c.9 = icmp ugt i32 %y, 10420 call void @use(i1 %c.9)421 ret void422 423loop.header:424 %x = phi i32 [ 0, %entry ], [ %x.next, %loop.latch ]425 %x.1 = icmp ule i32 %x, 10426 %y.1 = icmp ugt i32 %y, 99427 %and = and i1 %x.1, %y.1428 br i1 %and, label %exit.1, label %loop.latch429 430loop.latch:431 %c.1 = icmp ule i32 %x, 10432 call void @use(i1 %c.1)433 %c.2 = icmp ugt i32 %x, 10434 call void @use(i1 %c.2)435 %c.3 = icmp ule i32 %x, 9436 call void @use(i1 %c.3)437 %c.4 = icmp ugt i32 %x, 9438 call void @use(i1 %c.4)439 440 441 %c.5 = icmp ugt i32 %y, 99442 call void @use(i1 %c.5)443 %c.6 = icmp ule i32 %y, 99444 call void @use(i1 %c.6)445 446 %c.7 = icmp ugt i32 %y, 100447 call void @use(i1 %c.7)448 %c.8 = icmp ugt i32 %y, 100449 call void @use(i1 %c.8)450 451 %x.next = add i32 %x, 1452 br label %loop.header453 454exit.1:455 %t.1 = icmp ugt i32 %y, 10456 call void @use(i1 %t.1)457 ret void458}459