606 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 6define i1 @test_and_ule(i4 %x, i4 %y, i4 %z, i4 %a) {7; CHECK-LABEL: @test_and_ule(8; CHECK-NEXT: entry:9; CHECK-NEXT: [[C_1:%.*]] = icmp ule i4 [[X:%.*]], [[Y:%.*]]10; CHECK-NEXT: [[C_2:%.*]] = icmp ule i4 [[Y]], [[Z:%.*]]11; CHECK-NEXT: [[AND:%.*]] = and i1 [[C_1]], [[C_2]]12; CHECK-NEXT: br i1 [[AND]], label [[BB1:%.*]], label [[EXIT:%.*]]13; CHECK: bb1:14; CHECK-NEXT: [[R_1:%.*]] = xor i1 true, true15; CHECK-NEXT: [[R_2:%.*]] = xor i1 [[R_1]], true16; CHECK-NEXT: [[C_3:%.*]] = icmp ule i4 [[X]], [[A:%.*]]17; CHECK-NEXT: [[R_3:%.*]] = xor i1 [[R_2]], [[C_3]]18; CHECK-NEXT: ret i1 [[R_3]]19; CHECK: exit:20; CHECK-NEXT: [[C_4:%.*]] = icmp ule i4 [[X]], [[Z]]21; CHECK-NEXT: [[C_5:%.*]] = icmp ule i4 [[X]], [[A]]22; CHECK-NEXT: [[R_4:%.*]] = xor i1 [[C_4]], [[C_5]]23; CHECK-NEXT: [[C_6:%.*]] = icmp ule i4 [[X]], [[Y]]24; CHECK-NEXT: [[R_5:%.*]] = xor i1 [[R_4]], [[C_6]]25; CHECK-NEXT: [[C_7:%.*]] = icmp ule i4 [[Y]], [[Z]]26; CHECK-NEXT: [[R_6:%.*]] = xor i1 [[R_5]], [[C_7]]27; CHECK-NEXT: ret i1 [[R_6]]28;29entry:30 %c.1 = icmp ule i4 %x, %y31 %c.2 = icmp ule i4 %y, %z32 %and = and i1 %c.1, %c.233 br i1 %and, label %bb1, label %exit34 35bb1:36 %t.1 = icmp ule i4 %x, %z37 %t.2 = icmp ule i4 %x, %y38 %r.1 = xor i1 %t.1, %t.239 40 %t.3 = icmp ule i4 %y, %z41 %r.2 = xor i1 %r.1, %t.342 43 44 %c.3 = icmp ule i4 %x, %a45 %r.3 = xor i1 %r.2, %c.346 47 ret i1 %r.348 49exit:50 %c.4 = icmp ule i4 %x, %z51 %c.5 = icmp ule i4 %x, %a52 %r.4 = xor i1 %c.4, %c.553 54 %c.6 = icmp ule i4 %x, %y55 %r.5 = xor i1 %r.4, %c.656 57 %c.7 = icmp ule i4 %y, %z58 %r.6 = xor i1 %r.5, %c.759 60 ret i1 %r.661}62 63; The result of test_and_ule and test_and_select_ule should be same64define i1 @test_and_select_ule(i4 %x, i4 %y, i4 %z, i4 %a) {65; CHECK-LABEL: @test_and_select_ule(66; CHECK-NEXT: entry:67; CHECK-NEXT: [[C_1:%.*]] = icmp ule i4 [[X:%.*]], [[Y:%.*]]68; CHECK-NEXT: [[C_2:%.*]] = icmp ule i4 [[Y]], [[Z:%.*]]69; CHECK-NEXT: [[AND:%.*]] = select i1 [[C_1]], i1 [[C_2]], i1 false70; CHECK-NEXT: br i1 [[AND]], label [[BB1:%.*]], label [[EXIT:%.*]]71; CHECK: bb1:72; CHECK-NEXT: [[R_1:%.*]] = xor i1 true, true73; CHECK-NEXT: [[R_2:%.*]] = xor i1 [[R_1]], true74; CHECK-NEXT: [[C_3:%.*]] = icmp ule i4 [[X]], [[A:%.*]]75; CHECK-NEXT: [[R_3:%.*]] = xor i1 [[R_2]], [[C_3]]76; CHECK-NEXT: ret i1 [[R_3]]77; CHECK: exit:78; CHECK-NEXT: [[C_4:%.*]] = icmp ule i4 [[X]], [[Z]]79; CHECK-NEXT: [[C_5:%.*]] = icmp ule i4 [[X]], [[A]]80; CHECK-NEXT: [[R_4:%.*]] = xor i1 [[C_4]], [[C_5]]81; CHECK-NEXT: [[C_6:%.*]] = icmp ule i4 [[X]], [[Y]]82; CHECK-NEXT: [[R_5:%.*]] = xor i1 [[R_4]], [[C_6]]83; CHECK-NEXT: [[C_7:%.*]] = icmp ule i4 [[Y]], [[Z]]84; CHECK-NEXT: [[R_6:%.*]] = xor i1 [[R_5]], [[C_7]]85; CHECK-NEXT: ret i1 [[R_6]]86;87entry:88 %c.1 = icmp ule i4 %x, %y89 %c.2 = icmp ule i4 %y, %z90 %and = select i1 %c.1, i1 %c.2, i1 false91 br i1 %and, label %bb1, label %exit92 93bb1:94 %t.1 = icmp ule i4 %x, %z95 %t.2 = icmp ule i4 %x, %y96 %r.1 = xor i1 %t.1, %t.297 98 %t.3 = icmp ule i4 %y, %z99 %r.2 = xor i1 %r.1, %t.3100 101 %c.3 = icmp ule i4 %x, %a102 %r.3 = xor i1 %r.2, %c.3103 ret i1 %r.3104 105exit:106 %c.4 = icmp ule i4 %x, %z107 %c.5 = icmp ule i4 %x, %a108 %r.4 = xor i1 %c.4, %c.5109 110 %c.6 = icmp ule i4 %x, %y111 %r.5 = xor i1 %r.4, %c.6112 113 %c.7 = icmp ule i4 %y, %z114 %r.6 = xor i1 %r.5, %c.7115 ret i1 %r.6116}117 118define i4 @and_compare_undef(i4 %N, i4 %step) {119; CHECK-LABEL: @and_compare_undef(120; CHECK-NEXT: step.check:121; CHECK-NEXT: [[B1:%.*]] = add i4 undef, -1122; CHECK-NEXT: [[STEP_ULT_N:%.*]] = icmp ult i4 [[B1]], [[N:%.*]]123; CHECK-NEXT: [[AND_STEP:%.*]] = and i1 true, [[STEP_ULT_N]]124; CHECK-NEXT: br i1 [[AND_STEP]], label [[PTR_CHECK:%.*]], label [[EXIT:%.*]]125; CHECK: ptr.check:126; CHECK-NEXT: br label [[EXIT]]127; CHECK: exit:128; CHECK-NEXT: ret i4 3129;130step.check:131 %step.pos = icmp uge i4 %step, 0132 %B1 = add i4 undef, -1133 %step.ult.N = icmp ult i4 %B1, %N134 %and.step = and i1 %step.pos, %step.ult.N135 br i1 %and.step, label %ptr.check, label %exit136 137ptr.check:138 br label %exit139 140exit:141 ret i4 3142}143 144define i1 @test_and_condition_trivially_false(i1 %c, ptr %ptr.1, i8 %idx, ptr %ptr.2) {145; CHECK-LABEL: @test_and_condition_trivially_false(146; CHECK-NEXT: entry:147; CHECK-NEXT: br i1 [[C:%.*]], label [[THEN:%.*]], label [[EXIT_3:%.*]]148; CHECK: then:149; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i8 [[IDX:%.*]] to i16150; CHECK-NEXT: [[GEP_IDX_EXT:%.*]] = getelementptr inbounds i8, ptr [[PTR_1:%.*]], i16 [[IDX_EXT]]151; CHECK-NEXT: [[CMP_2:%.*]] = icmp ult ptr [[PTR_2:%.*]], [[GEP_IDX_EXT]]152; CHECK-NEXT: [[AND:%.*]] = and i1 false, [[CMP_2]]153; CHECK-NEXT: br i1 [[AND]], label [[EXIT_1:%.*]], label [[EXIT_2:%.*]]154; CHECK: exit.1:155; CHECK-NEXT: ret i1 true156; CHECK: exit.2:157; CHECK-NEXT: ret i1 false158; CHECK: exit.3:159; CHECK-NEXT: [[CMP_3:%.*]] = icmp ne i8 [[IDX]], 0160; CHECK-NEXT: ret i1 [[CMP_3]]161;162entry:163 br i1 %c, label %then, label %exit.3164 165then:166 %cmp.1 = icmp ugt ptr %ptr.2, %ptr.2167 %idx.ext = zext i8 %idx to i16168 %gep.idx.ext = getelementptr inbounds i8, ptr %ptr.1, i16 %idx.ext169 %cmp.2 = icmp ult ptr %ptr.2, %gep.idx.ext170 %and = and i1 %cmp.1, %cmp.2171 br i1 %and, label %exit.1, label %exit.2172 173exit.1:174 ret i1 true175 176exit.2:177 ret i1 false178 179exit.3:180 %cmp.3 = icmp ne i8 %idx, 0181 ret i1 %cmp.3182}183 184define i1 @test_and_chain_ule_1(i4 %x, i4 %y, i4 %z, i4 %a) {185; CHECK-LABEL: @test_and_chain_ule_1(186; CHECK-NEXT: entry:187; CHECK-NEXT: [[C_1:%.*]] = icmp ule i4 [[X:%.*]], [[Y:%.*]]188; CHECK-NEXT: [[C_2:%.*]] = icmp ule i4 [[Y]], [[Z:%.*]]189; CHECK-NEXT: [[C_3:%.*]] = icmp ule i4 3, [[X]]190; CHECK-NEXT: [[C_4:%.*]] = icmp ule i4 3, [[A:%.*]]191; CHECK-NEXT: [[AND_1:%.*]] = and i1 [[C_1]], [[C_2]]192; CHECK-NEXT: [[AND_2:%.*]] = and i1 [[AND_1]], [[C_3]]193; CHECK-NEXT: [[AND_3:%.*]] = and i1 [[C_4]], [[AND_2]]194; CHECK-NEXT: br i1 [[AND_3]], label [[BB1:%.*]], label [[EXIT:%.*]]195; CHECK: bb1:196; CHECK-NEXT: [[R_1:%.*]] = xor i1 true, true197; CHECK-NEXT: [[R_2:%.*]] = xor i1 [[R_1]], true198; CHECK-NEXT: [[R_3:%.*]] = xor i1 [[R_2]], true199; CHECK-NEXT: [[R_4:%.*]] = xor i1 [[R_3]], true200; CHECK-NEXT: [[C_5:%.*]] = icmp ule i4 [[X]], [[A]]201; CHECK-NEXT: [[R_5:%.*]] = xor i1 [[R_4]], [[C_5]]202; CHECK-NEXT: ret i1 [[R_5]]203; CHECK: exit:204; CHECK-NEXT: [[C_6:%.*]] = icmp ule i4 [[X]], [[Z]]205; CHECK-NEXT: [[C_7:%.*]] = icmp ule i4 [[X]], [[A]]206; CHECK-NEXT: [[R_6:%.*]] = xor i1 [[C_6]], [[C_7]]207; CHECK-NEXT: [[C_8:%.*]] = icmp ule i4 [[X]], [[Y]]208; CHECK-NEXT: [[R_7:%.*]] = xor i1 [[R_6]], [[C_8]]209; CHECK-NEXT: [[C_9:%.*]] = icmp ule i4 [[Y]], [[Z]]210; CHECK-NEXT: [[R_8:%.*]] = xor i1 [[R_7]], [[C_9]]211; CHECK-NEXT: [[C_10:%.*]] = icmp ule i4 3, [[X]]212; CHECK-NEXT: [[R_9:%.*]] = xor i1 [[R_8]], [[C_10]]213; CHECK-NEXT: [[C_11:%.*]] = icmp ule i4 3, [[A]]214; CHECK-NEXT: [[R_10:%.*]] = xor i1 [[R_9]], [[C_11]]215; CHECK-NEXT: ret i1 [[R_10]]216;217entry:218 %c.1 = icmp ule i4 %x, %y219 %c.2 = icmp ule i4 %y, %z220 %c.3 = icmp ule i4 3, %x221 %c.4 = icmp ule i4 3, %a222 %and.1 = and i1 %c.1, %c.2223 %and.2 = and i1 %and.1, %c.3224 %and.3 = and i1 %c.4, %and.2225 br i1 %and.3, label %bb1, label %exit226 227bb1:228 %t.1 = icmp ule i4 %x, %z229 %t.2 = icmp ule i4 %x, %y230 %r.1 = xor i1 %t.1, %t.2231 232 %t.3 = icmp ule i4 %y, %z233 %r.2 = xor i1 %r.1, %t.3234 235 %t.4 = icmp ule i4 3, %x236 %r.3 = xor i1 %r.2, %t.4237 238 %t.5 = icmp ule i4 3, %a239 %r.4 = xor i1 %r.3, %t.5240 241 %c.5 = icmp ule i4 %x, %a242 %r.5 = xor i1 %r.4, %c.5243 244 ret i1 %r.5245 246exit:247 %c.6 = icmp ule i4 %x, %z248 %c.7 = icmp ule i4 %x, %a249 %r.6 = xor i1 %c.6, %c.7250 251 %c.8 = icmp ule i4 %x, %y252 %r.7 = xor i1 %r.6, %c.8253 254 %c.9 = icmp ule i4 %y, %z255 %r.8 = xor i1 %r.7, %c.9256 257 %c.10 = icmp ule i4 3, %x258 %r.9 = xor i1 %r.8, %c.10259 260 %c.11 = icmp ule i4 3, %a261 %r.10 = xor i1 %r.9, %c.11262 263 ret i1 %r.10264}265 266; Same as @test_and_chain_ule_1 but with `and`s reordered.267define i1 @test_and_chain_ule_2(i4 %x, i4 %y, i4 %z, i4 %a) {268; CHECK-LABEL: @test_and_chain_ule_2(269; CHECK-NEXT: entry:270; CHECK-NEXT: [[C_1:%.*]] = icmp ule i4 [[X:%.*]], [[Y:%.*]]271; CHECK-NEXT: [[C_2:%.*]] = icmp ule i4 [[Y]], [[Z:%.*]]272; CHECK-NEXT: [[C_3:%.*]] = icmp ule i4 3, [[X]]273; CHECK-NEXT: [[C_4:%.*]] = icmp ule i4 3, [[A:%.*]]274; CHECK-NEXT: [[AND_1:%.*]] = and i1 [[C_1]], [[C_2]]275; CHECK-NEXT: [[AND_2:%.*]] = and i1 [[C_3]], [[C_4]]276; CHECK-NEXT: [[AND_3:%.*]] = and i1 [[AND_1]], [[AND_2]]277; CHECK-NEXT: br i1 [[AND_3]], label [[BB1:%.*]], label [[EXIT:%.*]]278; CHECK: bb1:279; CHECK-NEXT: [[R_1:%.*]] = xor i1 true, true280; CHECK-NEXT: [[R_2:%.*]] = xor i1 [[R_1]], true281; CHECK-NEXT: [[R_3:%.*]] = xor i1 [[R_2]], true282; CHECK-NEXT: [[R_4:%.*]] = xor i1 [[R_3]], true283; CHECK-NEXT: [[C_5:%.*]] = icmp ule i4 [[X]], [[A]]284; CHECK-NEXT: [[R_5:%.*]] = xor i1 [[R_4]], [[C_5]]285; CHECK-NEXT: ret i1 [[R_5]]286; CHECK: exit:287; CHECK-NEXT: [[C_6:%.*]] = icmp ule i4 [[X]], [[Z]]288; CHECK-NEXT: [[C_7:%.*]] = icmp ule i4 [[X]], [[A]]289; CHECK-NEXT: [[R_6:%.*]] = xor i1 [[C_6]], [[C_7]]290; CHECK-NEXT: [[C_8:%.*]] = icmp ule i4 [[X]], [[Y]]291; CHECK-NEXT: [[R_7:%.*]] = xor i1 [[R_6]], [[C_8]]292; CHECK-NEXT: [[C_9:%.*]] = icmp ule i4 [[Y]], [[Z]]293; CHECK-NEXT: [[R_8:%.*]] = xor i1 [[R_7]], [[C_9]]294; CHECK-NEXT: [[C_10:%.*]] = icmp ule i4 3, [[X]]295; CHECK-NEXT: [[R_9:%.*]] = xor i1 [[R_8]], [[C_10]]296; CHECK-NEXT: [[C_11:%.*]] = icmp ule i4 3, [[A]]297; CHECK-NEXT: [[R_10:%.*]] = xor i1 [[R_9]], [[C_11]]298; CHECK-NEXT: ret i1 [[R_10]]299;300entry:301 %c.1 = icmp ule i4 %x, %y302 %c.2 = icmp ule i4 %y, %z303 %c.3 = icmp ule i4 3, %x304 %c.4 = icmp ule i4 3, %a305 %and.1 = and i1 %c.1, %c.2306 %and.2 = and i1 %c.3, %c.4307 %and.3 = and i1 %and.1, %and.2308 br i1 %and.3, label %bb1, label %exit309 310bb1:311 %t.1 = icmp ule i4 %x, %z312 %t.2 = icmp ule i4 %x, %y313 %r.1 = xor i1 %t.1, %t.2314 315 %t.3 = icmp ule i4 %y, %z316 %r.2 = xor i1 %r.1, %t.3317 318 %t.4 = icmp ule i4 3, %x319 %r.3 = xor i1 %r.2, %t.4320 321 %t.5 = icmp ule i4 3, %a322 %r.4 = xor i1 %r.3, %t.5323 324 %c.5 = icmp ule i4 %x, %a325 %r.5 = xor i1 %r.4, %c.5326 327 ret i1 %r.5328 329exit:330 %c.6 = icmp ule i4 %x, %z331 %c.7 = icmp ule i4 %x, %a332 %r.6 = xor i1 %c.6, %c.7333 334 %c.8 = icmp ule i4 %x, %y335 %r.7 = xor i1 %r.6, %c.8336 337 %c.9 = icmp ule i4 %y, %z338 %r.8 = xor i1 %r.7, %c.9339 340 %c.10 = icmp ule i4 3, %x341 %r.9 = xor i1 %r.8, %c.10342 343 %c.11 = icmp ule i4 3, %a344 %r.10 = xor i1 %r.9, %c.11345 346 ret i1 %r.10347}348 349 350declare i1 @cond() readnone351 352define i1 @test_and_chain_with_other_insts_ule(i4 %x, i4 %y, i4 %z, i4 %a, i1 %arg.c) {353; CHECK-LABEL: @test_and_chain_with_other_insts_ule(354; CHECK-NEXT: entry:355; CHECK-NEXT: [[C_1:%.*]] = icmp ule i4 [[X:%.*]], [[Y:%.*]]356; CHECK-NEXT: [[C_2:%.*]] = icmp ule i4 [[Y]], [[Z:%.*]]357; CHECK-NEXT: [[C_3:%.*]] = call i1 @cond()358; CHECK-NEXT: [[AND_1:%.*]] = and i1 [[C_1]], [[C_2]]359; CHECK-NEXT: [[AND_2:%.*]] = and i1 [[C_3]], [[ARG_C:%.*]]360; CHECK-NEXT: [[AND_3:%.*]] = and i1 [[AND_1]], [[AND_2]]361; CHECK-NEXT: br i1 [[AND_3]], label [[BB1:%.*]], label [[EXIT:%.*]]362; CHECK: bb1:363; CHECK-NEXT: [[R_1:%.*]] = xor i1 true, true364; CHECK-NEXT: [[R_2:%.*]] = xor i1 [[R_1]], true365; CHECK-NEXT: [[C_4:%.*]] = icmp ule i4 3, [[X]]366; CHECK-NEXT: [[R_3:%.*]] = xor i1 [[R_2]], [[C_4]]367; CHECK-NEXT: [[C_5:%.*]] = icmp ule i4 3, [[A:%.*]]368; CHECK-NEXT: [[R_4:%.*]] = xor i1 [[R_3]], [[C_5]]369; CHECK-NEXT: [[C_6:%.*]] = icmp ule i4 [[X]], [[A]]370; CHECK-NEXT: [[R_5:%.*]] = xor i1 [[R_4]], [[C_6]]371; CHECK-NEXT: ret i1 [[R_5]]372; CHECK: exit:373; CHECK-NEXT: [[C_8:%.*]] = icmp ule i4 [[X]], [[Z]]374; CHECK-NEXT: [[C_9:%.*]] = icmp ule i4 [[X]], [[A]]375; CHECK-NEXT: [[R_6:%.*]] = xor i1 [[C_8]], [[C_9]]376; CHECK-NEXT: [[C_10:%.*]] = icmp ule i4 [[X]], [[Y]]377; CHECK-NEXT: [[R_7:%.*]] = xor i1 [[R_6]], [[C_10]]378; CHECK-NEXT: [[C_11:%.*]] = icmp ule i4 [[Y]], [[Z]]379; CHECK-NEXT: [[R_8:%.*]] = xor i1 [[R_7]], [[C_11]]380; CHECK-NEXT: [[C_12:%.*]] = icmp ule i4 3, [[X]]381; CHECK-NEXT: [[R_9:%.*]] = xor i1 [[R_8]], [[C_12]]382; CHECK-NEXT: [[C_13:%.*]] = icmp ule i4 3, [[A]]383; CHECK-NEXT: [[R_10:%.*]] = xor i1 [[R_9]], [[C_13]]384; CHECK-NEXT: ret i1 [[R_10]]385;386entry:387 %c.1 = icmp ule i4 %x, %y388 %c.2 = icmp ule i4 %y, %z389 %c.3 = call i1 @cond()390 %and.1 = and i1 %c.1, %c.2391 %and.2 = and i1 %c.3, %arg.c392 %and.3 = and i1 %and.1, %and.2393 br i1 %and.3, label %bb1, label %exit394 395bb1:396 %t.1 = icmp ule i4 %x, %z397 %t.2 = icmp ule i4 %x, %y398 %r.1 = xor i1 %t.1, %t.2399 400 %t.3 = icmp ule i4 %y, %z401 %r.2 = xor i1 %r.1, %t.3402 403 %c.4 = icmp ule i4 3, %x404 %r.3 = xor i1 %r.2, %c.4405 406 %c.5 = icmp ule i4 3, %a407 %r.4 = xor i1 %r.3, %c.5408 409 %c.6 = icmp ule i4 %x, %a410 %r.5 = xor i1 %r.4, %c.6411 412 ret i1 %r.5413 414exit:415 %c.8 = icmp ule i4 %x, %z416 %c.9 = icmp ule i4 %x, %a417 %r.6 = xor i1 %c.8, %c.9418 419 %c.10 = icmp ule i4 %x, %y420 %r.7 = xor i1 %r.6, %c.10421 422 %c.11 = icmp ule i4 %y, %z423 %r.8 = xor i1 %r.7, %c.11424 425 %c.12 = icmp ule i4 3, %x426 %r.9 = xor i1 %r.8, %c.12427 428 %c.13 = icmp ule i4 3, %a429 %r.10 = xor i1 %r.9, %c.13430 431 ret i1 %r.10432}433 434define i1 @test_and_chain_select_ule(i4 %x, i4 %y, i4 %z, i4 %a) {435; CHECK-LABEL: @test_and_chain_select_ule(436; CHECK-NEXT: entry:437; CHECK-NEXT: [[C_1:%.*]] = icmp ule i4 [[X:%.*]], [[Y:%.*]]438; CHECK-NEXT: [[C_2:%.*]] = icmp ule i4 [[Y]], [[Z:%.*]]439; CHECK-NEXT: [[C_3:%.*]] = icmp ule i4 3, [[X]]440; CHECK-NEXT: [[C_4:%.*]] = icmp ule i4 3, [[A:%.*]]441; CHECK-NEXT: [[AND_1:%.*]] = select i1 [[C_1]], i1 [[C_1]], i1 false442; CHECK-NEXT: [[AND_2:%.*]] = select i1 [[AND_1]], i1 [[C_3]], i1 false443; CHECK-NEXT: [[AND_3:%.*]] = select i1 [[C_4]], i1 [[AND_2]], i1 false444; CHECK-NEXT: br i1 [[AND_3]], label [[BB1:%.*]], label [[EXIT:%.*]]445; CHECK: bb1:446; CHECK-NEXT: [[T_1:%.*]] = icmp ule i4 [[X]], [[Z]]447; CHECK-NEXT: [[R_1:%.*]] = xor i1 [[T_1]], true448; CHECK-NEXT: [[T_3:%.*]] = icmp ule i4 [[Y]], [[Z]]449; CHECK-NEXT: [[R_2:%.*]] = xor i1 [[R_1]], [[T_3]]450; CHECK-NEXT: [[R_3:%.*]] = xor i1 [[R_2]], true451; CHECK-NEXT: [[R_4:%.*]] = xor i1 [[R_3]], true452; CHECK-NEXT: [[C_5:%.*]] = icmp ule i4 [[X]], [[A]]453; CHECK-NEXT: [[R_5:%.*]] = xor i1 [[R_4]], [[C_5]]454; CHECK-NEXT: ret i1 [[R_5]]455; CHECK: exit:456; CHECK-NEXT: [[C_6:%.*]] = icmp ule i4 [[X]], [[Z]]457; CHECK-NEXT: [[C_7:%.*]] = icmp ule i4 [[X]], [[A]]458; CHECK-NEXT: [[R_6:%.*]] = xor i1 [[C_6]], [[C_7]]459; CHECK-NEXT: [[C_8:%.*]] = icmp ule i4 [[X]], [[Y]]460; CHECK-NEXT: [[R_7:%.*]] = xor i1 [[R_6]], [[C_8]]461; CHECK-NEXT: [[C_9:%.*]] = icmp ule i4 [[Y]], [[Z]]462; CHECK-NEXT: [[R_8:%.*]] = xor i1 [[R_7]], [[C_9]]463; CHECK-NEXT: [[C_10:%.*]] = icmp ule i4 3, [[X]]464; CHECK-NEXT: [[R_9:%.*]] = xor i1 [[R_8]], [[C_10]]465; CHECK-NEXT: [[C_11:%.*]] = icmp ule i4 3, [[A]]466; CHECK-NEXT: [[R_10:%.*]] = xor i1 [[R_9]], [[C_11]]467; CHECK-NEXT: ret i1 [[R_10]]468;469entry:470 %c.1 = icmp ule i4 %x, %y471 %c.2 = icmp ule i4 %y, %z472 %c.3 = icmp ule i4 3, %x473 %c.4 = icmp ule i4 3, %a474 %and.1 = select i1 %c.1, i1 %c.1, i1 false475 %and.2 = select i1 %and.1, i1 %c.3, i1 false476 %and.3 = select i1 %c.4, i1 %and.2, i1 false477 br i1 %and.3, label %bb1, label %exit478 479bb1:480 %t.1 = icmp ule i4 %x, %z481 %t.2 = icmp ule i4 %x, %y482 %r.1 = xor i1 %t.1, %t.2483 484 %t.3 = icmp ule i4 %y, %z485 %r.2 = xor i1 %r.1, %t.3486 487 %t.4 = icmp ule i4 3, %x488 %r.3 = xor i1 %r.2, %t.4489 490 %t.5 = icmp ule i4 3, %a491 %r.4 = xor i1 %r.3, %t.5492 493 %c.5 = icmp ule i4 %x, %a494 %r.5 = xor i1 %r.4, %c.5495 496 ret i1 %r.5497 498exit:499 %c.6 = icmp ule i4 %x, %z500 %c.7 = icmp ule i4 %x, %a501 %r.6 = xor i1 %c.6, %c.7502 503 %c.8 = icmp ule i4 %x, %y504 %r.7 = xor i1 %r.6, %c.8505 506 %c.9 = icmp ule i4 %y, %z507 %r.8 = xor i1 %r.7, %c.9508 509 %c.10 = icmp ule i4 3, %x510 %r.9 = xor i1 %r.8, %c.10511 512 %c.11 = icmp ule i4 3, %a513 %r.10 = xor i1 %r.9, %c.11514 515 ret i1 %r.10516}517 518define i1 @test_and_chain_select_ule_logical_or(i4 %x, i4 %y, i4 %z, i4 %a) {519; CHECK-LABEL: @test_and_chain_select_ule_logical_or(520; CHECK-NEXT: entry:521; CHECK-NEXT: [[C_1:%.*]] = icmp ule i4 [[X:%.*]], [[Y:%.*]]522; CHECK-NEXT: [[C_2:%.*]] = icmp ule i4 [[Y]], [[Z:%.*]]523; CHECK-NEXT: [[C_3:%.*]] = icmp ule i4 3, [[X]]524; CHECK-NEXT: [[C_4:%.*]] = icmp ule i4 3, [[A:%.*]]525; CHECK-NEXT: [[AND_1:%.*]] = select i1 [[C_1]], i1 [[C_1]], i1 false526; CHECK-NEXT: [[AND_2:%.*]] = select i1 [[AND_1]], i1 [[C_3]], i1 false527; CHECK-NEXT: [[AND_3:%.*]] = select i1 [[C_4]], i1 [[AND_2]], i1 false528; CHECK-NEXT: [[AND_4:%.*]] = select i1 [[AND_3]], i1 true, i1 false529; CHECK-NEXT: br i1 [[AND_4]], label [[BB1:%.*]], label [[EXIT:%.*]]530; CHECK: bb1:531; CHECK-NEXT: [[T_1:%.*]] = icmp ule i4 [[X]], [[Z]]532; CHECK-NEXT: [[T_2:%.*]] = icmp ule i4 [[X]], [[Y]]533; CHECK-NEXT: [[R_1:%.*]] = xor i1 [[T_1]], [[T_2]]534; CHECK-NEXT: [[T_3:%.*]] = icmp ule i4 [[Y]], [[Z]]535; CHECK-NEXT: [[R_2:%.*]] = xor i1 [[R_1]], [[T_3]]536; CHECK-NEXT: [[T_4:%.*]] = icmp ule i4 3, [[X]]537; CHECK-NEXT: [[R_3:%.*]] = xor i1 [[R_2]], [[T_4]]538; CHECK-NEXT: [[T_5:%.*]] = icmp ule i4 3, [[A]]539; CHECK-NEXT: [[R_4:%.*]] = xor i1 [[R_3]], [[T_5]]540; CHECK-NEXT: [[C_5:%.*]] = icmp ule i4 [[X]], [[A]]541; CHECK-NEXT: [[R_5:%.*]] = xor i1 [[R_4]], [[C_5]]542; CHECK-NEXT: ret i1 [[R_5]]543; CHECK: exit:544; CHECK-NEXT: [[C_6:%.*]] = icmp ule i4 [[X]], [[Z]]545; CHECK-NEXT: [[C_7:%.*]] = icmp ule i4 [[X]], [[A]]546; CHECK-NEXT: [[R_6:%.*]] = xor i1 [[C_6]], [[C_7]]547; CHECK-NEXT: [[C_8:%.*]] = icmp ule i4 [[X]], [[Y]]548; CHECK-NEXT: [[R_7:%.*]] = xor i1 [[R_6]], [[C_8]]549; CHECK-NEXT: [[C_9:%.*]] = icmp ule i4 [[Y]], [[Z]]550; CHECK-NEXT: [[R_8:%.*]] = xor i1 [[R_7]], [[C_9]]551; CHECK-NEXT: [[C_10:%.*]] = icmp ule i4 3, [[X]]552; CHECK-NEXT: [[R_9:%.*]] = xor i1 [[R_8]], [[C_10]]553; CHECK-NEXT: [[C_11:%.*]] = icmp ule i4 3, [[A]]554; CHECK-NEXT: [[R_10:%.*]] = xor i1 [[R_9]], [[C_11]]555; CHECK-NEXT: ret i1 [[R_10]]556;557entry:558 %c.1 = icmp ule i4 %x, %y559 %c.2 = icmp ule i4 %y, %z560 %c.3 = icmp ule i4 3, %x561 %c.4 = icmp ule i4 3, %a562 %and.1 = select i1 %c.1, i1 %c.1, i1 false563 %and.2 = select i1 %and.1, i1 %c.3, i1 false564 %and.3 = select i1 %c.4, i1 %and.2, i1 false565 %and.4 = select i1 %and.3, i1 true, i1 false566 br i1 %and.4, label %bb1, label %exit567 568bb1:569 %t.1 = icmp ule i4 %x, %z570 %t.2 = icmp ule i4 %x, %y571 %r.1 = xor i1 %t.1, %t.2572 573 %t.3 = icmp ule i4 %y, %z574 %r.2 = xor i1 %r.1, %t.3575 576 %t.4 = icmp ule i4 3, %x577 %r.3 = xor i1 %r.2, %t.4578 579 %t.5 = icmp ule i4 3, %a580 %r.4 = xor i1 %r.3, %t.5581 582 %c.5 = icmp ule i4 %x, %a583 %r.5 = xor i1 %r.4, %c.5584 585 ret i1 %r.5586 587exit:588 %c.6 = icmp ule i4 %x, %z589 %c.7 = icmp ule i4 %x, %a590 %r.6 = xor i1 %c.6, %c.7591 592 %c.8 = icmp ule i4 %x, %y593 %r.7 = xor i1 %r.6, %c.8594 595 %c.9 = icmp ule i4 %y, %z596 %r.8 = xor i1 %r.7, %c.9597 598 %c.10 = icmp ule i4 3, %x599 %r.9 = xor i1 %r.8, %c.10600 601 %c.11 = icmp ule i4 3, %a602 %r.10 = xor i1 %r.9, %c.11603 604 ret i1 %r.10605}606