510 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4; https://bugs.llvm.org/show_bug.cgi?id=67735 6; Pattern:7; (x | ~m) & (y & m)8; Should be transformed into:9; (x & m) | (y & ~m)10; And then into:11; ((x ^ y) & m) ^ y12 13; ============================================================================ ;14; Most basic positive tests15; ============================================================================ ;16 17define i32 @p(i32 %x, i32 %y, i32 %m) {18; CHECK-LABEL: @p(19; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -120; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]21; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], [[M]]22; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]23; CHECK-NEXT: ret i32 [[RET]]24;25 %neg = xor i32 %m, -126 %or = or i32 %neg, %x27 %or1 = or i32 %y, %m28 %ret = and i32 %or, %or129 ret i32 %ret30}31 32define <2 x i32> @p_splatvec(<2 x i32> %x, <2 x i32> %y, <2 x i32> %m) {33; CHECK-LABEL: @p_splatvec(34; CHECK-NEXT: [[NEG:%.*]] = xor <2 x i32> [[M:%.*]], splat (i32 -1)35; CHECK-NEXT: [[OR:%.*]] = or <2 x i32> [[X:%.*]], [[NEG]]36; CHECK-NEXT: [[OR1:%.*]] = or <2 x i32> [[Y:%.*]], [[M]]37; CHECK-NEXT: [[RET:%.*]] = and <2 x i32> [[OR]], [[OR1]]38; CHECK-NEXT: ret <2 x i32> [[RET]]39;40 %neg = xor <2 x i32> %m, <i32 -1, i32 -1>41 %or = or <2 x i32> %neg, %x42 %or1 = or <2 x i32> %y, %m43 %ret = and <2 x i32> %or, %or144 ret <2 x i32> %ret45}46 47define <3 x i32> @p_vec_undef(<3 x i32> %x, <3 x i32> %y, <3 x i32> %m) {48; CHECK-LABEL: @p_vec_undef(49; CHECK-NEXT: [[NEG:%.*]] = xor <3 x i32> [[M:%.*]], <i32 -1, i32 undef, i32 -1>50; CHECK-NEXT: [[OR:%.*]] = or <3 x i32> [[NEG]], [[X:%.*]]51; CHECK-NEXT: [[OR1:%.*]] = or <3 x i32> [[Y:%.*]], [[M]]52; CHECK-NEXT: [[RET:%.*]] = and <3 x i32> [[OR]], [[OR1]]53; CHECK-NEXT: ret <3 x i32> [[RET]]54;55 %neg = xor <3 x i32> %m, <i32 -1, i32 undef, i32 -1>56 %or = or <3 x i32> %neg, %x57 %or1 = or <3 x i32> %y, %m58 %ret = and <3 x i32> %or, %or159 ret <3 x i32> %ret60}61 62; ============================================================================ ;63; Constant mask.64; ============================================================================ ;65 66define i32 @p_constmask(i32 %x, i32 %y) {67; CHECK-LABEL: @p_constmask(68; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], -6528169; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], 6528070; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]71; CHECK-NEXT: ret i32 [[RET]]72;73 %or = or i32 %x, -6528174 %or1 = or i32 %y, 6528075 %ret = and i32 %or, %or176 ret i32 %ret77}78 79define <2 x i32> @p_constmask_splatvec(<2 x i32> %x, <2 x i32> %y) {80; CHECK-LABEL: @p_constmask_splatvec(81; CHECK-NEXT: [[OR:%.*]] = or <2 x i32> [[X:%.*]], splat (i32 -65281)82; CHECK-NEXT: [[OR1:%.*]] = or <2 x i32> [[Y:%.*]], splat (i32 65280)83; CHECK-NEXT: [[RET:%.*]] = and <2 x i32> [[OR]], [[OR1]]84; CHECK-NEXT: ret <2 x i32> [[RET]]85;86 %or = or <2 x i32> %x, <i32 -65281, i32 -65281>87 %or1 = or <2 x i32> %y, <i32 65280, i32 65280>88 %ret = and <2 x i32> %or, %or189 ret <2 x i32> %ret90}91 92define <2 x i32> @p_constmask_vec(<2 x i32> %x, <2 x i32> %y) {93; CHECK-LABEL: @p_constmask_vec(94; CHECK-NEXT: [[OR:%.*]] = or <2 x i32> [[X:%.*]], <i32 -65281, i32 -16776961>95; CHECK-NEXT: [[OR1:%.*]] = or <2 x i32> [[Y:%.*]], <i32 65280, i32 16776960>96; CHECK-NEXT: [[RET:%.*]] = and <2 x i32> [[OR]], [[OR1]]97; CHECK-NEXT: ret <2 x i32> [[RET]]98;99 %or = or <2 x i32> %x, <i32 -65281, i32 -16776961>100 %or1 = or <2 x i32> %y, <i32 65280, i32 16776960>101 %ret = and <2 x i32> %or, %or1102 ret <2 x i32> %ret103}104 105define <3 x i32> @p_constmask_vec_undef(<3 x i32> %x, <3 x i32> %y) {106; CHECK-LABEL: @p_constmask_vec_undef(107; CHECK-NEXT: [[OR:%.*]] = or <3 x i32> [[X:%.*]], <i32 -65281, i32 undef, i32 -65281>108; CHECK-NEXT: [[OR1:%.*]] = or <3 x i32> [[Y:%.*]], <i32 65280, i32 undef, i32 65280>109; CHECK-NEXT: [[RET:%.*]] = and <3 x i32> [[OR]], [[OR1]]110; CHECK-NEXT: ret <3 x i32> [[RET]]111;112 %or = or <3 x i32> %x, <i32 -65281, i32 undef, i32 -65281>113 %or1 = or <3 x i32> %y, <i32 65280, i32 undef, i32 65280>114 %ret = and <3 x i32> %or, %or1115 ret <3 x i32> %ret116}117 118; ============================================================================ ;119; Commutativity.120; ============================================================================ ;121 122; Used to make sure that the IR complexity sorting does not interfere.123declare i32 @gen32()124 125define i32 @p_commutative0(i32 %x, i32 %y, i32 %m) {126; CHECK-LABEL: @p_commutative0(127; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1128; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]129; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], [[M]]130; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]131; CHECK-NEXT: ret i32 [[RET]]132;133 %neg = xor i32 %m, -1134 %or = or i32 %x, %neg ; swapped order135 %or1 = or i32 %y, %m136 %ret = and i32 %or, %or1137 ret i32 %ret138}139 140define i32 @p_commutative1(i32 %x, i32 %m) {141; CHECK-LABEL: @p_commutative1(142; CHECK-NEXT: [[Y:%.*]] = call i32 @gen32()143; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1144; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]145; CHECK-NEXT: [[OR1:%.*]] = or i32 [[M]], [[Y]]146; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]147; CHECK-NEXT: ret i32 [[RET]]148;149 %y = call i32 @gen32()150 %neg = xor i32 %m, -1151 %or = or i32 %neg, %x152 %or1 = or i32 %m, %y; swapped order153 %ret = and i32 %or, %or1154 ret i32 %ret155}156 157define i32 @p_commutative2(i32 %x, i32 %y, i32 %m) {158; CHECK-LABEL: @p_commutative2(159; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1160; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]161; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], [[M]]162; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR1]], [[OR]]163; CHECK-NEXT: ret i32 [[RET]]164;165 %neg = xor i32 %m, -1166 %or = or i32 %neg, %x167 %or1 = or i32 %y, %m168 %ret = and i32 %or1, %or ; swapped order169 ret i32 %ret170}171 172define i32 @p_commutative3(i32 %x, i32 %m) {173; CHECK-LABEL: @p_commutative3(174; CHECK-NEXT: [[Y:%.*]] = call i32 @gen32()175; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1176; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]177; CHECK-NEXT: [[OR1:%.*]] = or i32 [[M]], [[Y]]178; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]179; CHECK-NEXT: ret i32 [[RET]]180;181 %y = call i32 @gen32()182 %neg = xor i32 %m, -1183 %or = or i32 %x, %neg ; swapped order184 %or1 = or i32 %m, %y; swapped order185 %ret = and i32 %or, %or1186 ret i32 %ret187}188 189define i32 @p_commutative4(i32 %x, i32 %y, i32 %m) {190; CHECK-LABEL: @p_commutative4(191; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1192; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]193; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], [[M]]194; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR1]], [[OR]]195; CHECK-NEXT: ret i32 [[RET]]196;197 %neg = xor i32 %m, -1198 %or = or i32 %x, %neg ; swapped order199 %or1 = or i32 %y, %m200 %ret = and i32 %or1, %or ; swapped order201 ret i32 %ret202}203 204define i32 @p_commutative5(i32 %x, i32 %m) {205; CHECK-LABEL: @p_commutative5(206; CHECK-NEXT: [[Y:%.*]] = call i32 @gen32()207; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1208; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]209; CHECK-NEXT: [[OR1:%.*]] = or i32 [[M]], [[Y]]210; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR1]], [[OR]]211; CHECK-NEXT: ret i32 [[RET]]212;213 %y = call i32 @gen32()214 %neg = xor i32 %m, -1215 %or = or i32 %neg, %x216 %or1 = or i32 %m, %y; swapped order217 %ret = and i32 %or1, %or ; swapped order218 ret i32 %ret219}220 221define i32 @p_commutative6(i32 %x, i32 %m) {222; CHECK-LABEL: @p_commutative6(223; CHECK-NEXT: [[Y:%.*]] = call i32 @gen32()224; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1225; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]226; CHECK-NEXT: [[OR1:%.*]] = or i32 [[M]], [[Y]]227; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR1]], [[OR]]228; CHECK-NEXT: ret i32 [[RET]]229;230 %y = call i32 @gen32()231 %neg = xor i32 %m, -1232 %or = or i32 %x, %neg ; swapped order233 %or1 = or i32 %m, %y; swapped order234 %ret = and i32 %or1, %or ; swapped order235 ret i32 %ret236}237 238define i32 @p_constmask_commutative(i32 %x, i32 %y) {239; CHECK-LABEL: @p_constmask_commutative(240; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], -65281241; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], 65280242; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR1]], [[OR]]243; CHECK-NEXT: ret i32 [[RET]]244;245 %or = or i32 %x, -65281246 %or1 = or i32 %y, 65280247 %ret = and i32 %or1, %or ; swapped order248 ret i32 %ret249}250 251; ============================================================================ ;252; Negative tests. Should not be folded.253; ============================================================================ ;254 255; One use only.256 257declare void @use32(i32)258 259define i32 @n0_oneuse_of_neg_is_ok_0(i32 %x, i32 %y, i32 %m) {260; CHECK-LABEL: @n0_oneuse_of_neg_is_ok_0(261; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1262; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]263; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], [[M]]264; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]265; CHECK-NEXT: call void @use32(i32 [[NEG]])266; CHECK-NEXT: ret i32 [[RET]]267;268 %neg = xor i32 %m, -1269 %or = or i32 %neg, %x270 %or1 = or i32 %y, %m271 %ret = and i32 %or, %or1272 call void @use32(i32 %neg)273 ret i32 %ret274}275 276define i32 @n0_oneuse_1(i32 %x, i32 %y, i32 %m) {277; CHECK-LABEL: @n0_oneuse_1(278; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1279; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]280; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], [[M]]281; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]282; CHECK-NEXT: call void @use32(i32 [[OR]])283; CHECK-NEXT: ret i32 [[RET]]284;285 %neg = xor i32 %m, -1286 %or = or i32 %neg, %x287 %or1 = or i32 %y, %m288 %ret = and i32 %or, %or1289 call void @use32(i32 %or)290 ret i32 %ret291}292 293define i32 @n0_oneuse_2(i32 %x, i32 %y, i32 %m) {294; CHECK-LABEL: @n0_oneuse_2(295; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1296; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]297; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], [[M]]298; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]299; CHECK-NEXT: call void @use32(i32 [[OR1]])300; CHECK-NEXT: ret i32 [[RET]]301;302 %neg = xor i32 %m, -1303 %or = or i32 %neg, %x304 %or1 = or i32 %y, %m305 %ret = and i32 %or, %or1306 call void @use32(i32 %or1)307 ret i32 %ret308}309 310define i32 @n0_oneuse_3(i32 %x, i32 %y, i32 %m) {311; CHECK-LABEL: @n0_oneuse_3(312; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1313; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]314; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], [[M]]315; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]316; CHECK-NEXT: call void @use32(i32 [[NEG]])317; CHECK-NEXT: call void @use32(i32 [[OR]])318; CHECK-NEXT: ret i32 [[RET]]319;320 %neg = xor i32 %m, -1321 %or = or i32 %neg, %x322 %or1 = or i32 %y, %m323 %ret = and i32 %or, %or1324 call void @use32(i32 %neg)325 call void @use32(i32 %or)326 ret i32 %ret327}328 329define i32 @n0_oneuse_4(i32 %x, i32 %y, i32 %m) {330; CHECK-LABEL: @n0_oneuse_4(331; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1332; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]333; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], [[M]]334; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]335; CHECK-NEXT: call void @use32(i32 [[NEG]])336; CHECK-NEXT: call void @use32(i32 [[OR1]])337; CHECK-NEXT: ret i32 [[RET]]338;339 %neg = xor i32 %m, -1340 %or = or i32 %neg, %x341 %or1 = or i32 %y, %m342 %ret = and i32 %or, %or1343 call void @use32(i32 %neg)344 call void @use32(i32 %or1)345 ret i32 %ret346}347 348define i32 @n0_oneuse_5(i32 %x, i32 %y, i32 %m) {349; CHECK-LABEL: @n0_oneuse_5(350; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1351; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]352; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], [[M]]353; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]354; CHECK-NEXT: call void @use32(i32 [[NEG]])355; CHECK-NEXT: call void @use32(i32 [[OR]])356; CHECK-NEXT: call void @use32(i32 [[OR1]])357; CHECK-NEXT: ret i32 [[RET]]358;359 %neg = xor i32 %m, -1360 %or = or i32 %neg, %x361 %or1 = or i32 %y, %m362 %ret = and i32 %or, %or1363 call void @use32(i32 %neg)364 call void @use32(i32 %or)365 call void @use32(i32 %or1)366 ret i32 %ret367}368 369define i32 @n0_oneuse_6(i32 %x, i32 %y, i32 %m) {370; CHECK-LABEL: @n0_oneuse_6(371; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], -1372; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]373; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], [[M]]374; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]375; CHECK-NEXT: call void @use32(i32 [[OR]])376; CHECK-NEXT: call void @use32(i32 [[OR1]])377; CHECK-NEXT: ret i32 [[RET]]378;379 %neg = xor i32 %m, -1380 %or = or i32 %neg, %x381 %or1 = or i32 %y, %m382 %ret = and i32 %or, %or1383 call void @use32(i32 %or)384 call void @use32(i32 %or1)385 ret i32 %ret386}387 388; One-use with constant mask389 390define i32 @n0_constmask_oneuse_0(i32 %x, i32 %y) {391; CHECK-LABEL: @n0_constmask_oneuse_0(392; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], -65281393; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], 65280394; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]395; CHECK-NEXT: call void @use32(i32 [[OR]])396; CHECK-NEXT: ret i32 [[RET]]397;398 %or = or i32 %x, -65281399 %or1 = or i32 %y, 65280400 %ret = and i32 %or, %or1401 call void @use32(i32 %or)402 ret i32 %ret403}404 405define i32 @n0_constmask_oneuse_1(i32 %x, i32 %y) {406; CHECK-LABEL: @n0_constmask_oneuse_1(407; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], -65281408; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], 65280409; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]410; CHECK-NEXT: call void @use32(i32 [[OR1]])411; CHECK-NEXT: ret i32 [[RET]]412;413 %or = or i32 %x, -65281414 %or1 = or i32 %y, 65280415 %ret = and i32 %or, %or1416 call void @use32(i32 %or1)417 ret i32 %ret418}419 420define i32 @n0_constmask_oneuse_2(i32 %x, i32 %y) {421; CHECK-LABEL: @n0_constmask_oneuse_2(422; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], -65281423; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], 65280424; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]425; CHECK-NEXT: call void @use32(i32 [[OR]])426; CHECK-NEXT: call void @use32(i32 [[OR1]])427; CHECK-NEXT: ret i32 [[RET]]428;429 %or = or i32 %x, -65281430 %or1 = or i32 %y, 65280431 %ret = and i32 %or, %or1432 call void @use32(i32 %or)433 call void @use32(i32 %or1)434 ret i32 %ret435}436 437; Bad xor constant438 439define i32 @n1_badxor(i32 %x, i32 %y, i32 %m) {440; CHECK-LABEL: @n1_badxor(441; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M:%.*]], 1442; CHECK-NEXT: [[OR:%.*]] = or i32 [[NEG]], [[X:%.*]]443; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], [[M]]444; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]445; CHECK-NEXT: ret i32 [[RET]]446;447 %neg = xor i32 %m, 1 ; not -1448 %or = or i32 %neg, %x449 %or1 = or i32 %y, %m450 %ret = and i32 %or, %or1451 ret i32 %ret452}453 454; Different mask is used455 456define i32 @n2_badmask(i32 %x, i32 %y, i32 %m1, i32 %m2) {457; CHECK-LABEL: @n2_badmask(458; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[M2:%.*]], -1459; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[NEG]]460; CHECK-NEXT: [[OR1:%.*]] = or i32 [[M1:%.*]], [[Y:%.*]]461; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]462; CHECK-NEXT: ret i32 [[RET]]463;464 %neg = xor i32 %m2, -1 ; different mask, not %m1465 %or = or i32 %neg, %x466 %or1 = or i32 %m1, %y467 %ret = and i32 %or, %or1468 ret i32 %ret469}470 471; Different const mask is used472 473define i32 @n3_constmask_badmask_set(i32 %x, i32 %y) {474; CHECK-LABEL: @n3_constmask_badmask_set(475; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], -65281476; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], 65281477; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]478; CHECK-NEXT: ret i32 [[RET]]479;480 %or = or i32 %x, -65281481 %or1 = or i32 %y, 65281 ; not 65280, so they have one common bit482 %ret = and i32 %or, %or1483 ret i32 %ret484}485 486define i32 @n3_constmask_badmask_unset(i32 %x, i32 %y) {487; CHECK-LABEL: @n3_constmask_badmask_unset(488; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], -65281489; CHECK-NEXT: [[OR1:%.*]] = or i32 [[Y:%.*]], 65024490; CHECK-NEXT: [[RET:%.*]] = and i32 [[OR]], [[OR1]]491; CHECK-NEXT: ret i32 [[RET]]492;493 %or = or i32 %x, -65281494 %or1 = or i32 %y, 65024 ; not 65280, so they have one common unset bit495 %ret = and i32 %or, %or1496 ret i32 %ret497}498 499define i32 @n3_constmask_samemask(i32 %x, i32 %y) {500; CHECK-LABEL: @n3_constmask_samemask(501; CHECK-NEXT: [[OR2:%.*]] = and i32 [[X:%.*]], [[Y:%.*]]502; CHECK-NEXT: [[RET:%.*]] = or i32 [[OR2]], -65281503; CHECK-NEXT: ret i32 [[RET]]504;505 %or = or i32 %x, -65281506 %or1 = or i32 %y, -65281 ; both masks are the same507 %ret = and i32 %or, %or1508 ret i32 %ret509}510