1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc < %s -mtriple=x86_64-unknown-unknown -show-mc-encoding | FileCheck %s 3 4@d = dso_local global i8 0, align 1 5@d64 = dso_local global i64 0 6 7define i32 @test1(i32 %X, ptr %y) nounwind { 8; CHECK-LABEL: test1: 9; CHECK: # %bb.0: # %entry 10; CHECK-NEXT: cmpl $0, (%rsi) # encoding: [0x83,0x3e,0x00] 11; CHECK-NEXT: je .LBB0_2 # encoding: [0x74,A] 12; CHECK-NEXT: # fixup A - offset: 1, value: .LBB0_2-1, kind: FK_PCRel_1 13; CHECK-NEXT: # %bb.1: # %cond_true 14; CHECK-NEXT: movl $1, %eax # encoding: [0xb8,0x01,0x00,0x00,0x00] 15; CHECK-NEXT: retq # encoding: [0xc3] 16; CHECK-NEXT: .LBB0_2: # %ReturnBlock 17; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 18; CHECK-NEXT: retq # encoding: [0xc3] 19entry: 20 %tmp = load i32, ptr %y 21 %tmp.upgrd.1 = icmp eq i32 %tmp, 0 22 br i1 %tmp.upgrd.1, label %ReturnBlock, label %cond_true 23 24cond_true: 25 ret i32 1 26 27ReturnBlock: 28 ret i32 0 29} 30 31define i32 @test2(i32 %X, ptr %y) nounwind { 32; CHECK-LABEL: test2: 33; CHECK: # %bb.0: # %entry 34; CHECK-NEXT: testl $536870911, (%rsi) # encoding: [0xf7,0x06,0xff,0xff,0xff,0x1f] 35; CHECK-NEXT: # imm = 0x1FFFFFFF 36; CHECK-NEXT: je .LBB1_2 # encoding: [0x74,A] 37; CHECK-NEXT: # fixup A - offset: 1, value: .LBB1_2-1, kind: FK_PCRel_1 38; CHECK-NEXT: # %bb.1: # %cond_true 39; CHECK-NEXT: movl $1, %eax # encoding: [0xb8,0x01,0x00,0x00,0x00] 40; CHECK-NEXT: retq # encoding: [0xc3] 41; CHECK-NEXT: .LBB1_2: # %ReturnBlock 42; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 43; CHECK-NEXT: retq # encoding: [0xc3] 44entry: 45 %tmp = load i32, ptr %y 46 %tmp1 = shl i32 %tmp, 3 47 %tmp1.upgrd.2 = icmp eq i32 %tmp1, 0 48 br i1 %tmp1.upgrd.2, label %ReturnBlock, label %cond_true 49 50cond_true: 51 ret i32 1 52 53ReturnBlock: 54 ret i32 0 55} 56 57define i8 @test2b(i8 %X, ptr %y) nounwind { 58; CHECK-LABEL: test2b: 59; CHECK: # %bb.0: # %entry 60; CHECK-NEXT: testb $31, (%rsi) # encoding: [0xf6,0x06,0x1f] 61; CHECK-NEXT: je .LBB2_2 # encoding: [0x74,A] 62; CHECK-NEXT: # fixup A - offset: 1, value: .LBB2_2-1, kind: FK_PCRel_1 63; CHECK-NEXT: # %bb.1: # %cond_true 64; CHECK-NEXT: movb $1, %al # encoding: [0xb0,0x01] 65; CHECK-NEXT: retq # encoding: [0xc3] 66; CHECK-NEXT: .LBB2_2: # %ReturnBlock 67; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 68; CHECK-NEXT: retq # encoding: [0xc3] 69entry: 70 %tmp = load i8, ptr %y 71 %tmp1 = shl i8 %tmp, 3 72 %tmp1.upgrd.2 = icmp eq i8 %tmp1, 0 73 br i1 %tmp1.upgrd.2, label %ReturnBlock, label %cond_true 74 75cond_true: 76 ret i8 1 77 78ReturnBlock: 79 ret i8 0 80} 81 82define i64 @test3(i64 %x) nounwind { 83; CHECK-LABEL: test3: 84; CHECK: # %bb.0: # %entry 85; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 86; CHECK-NEXT: testq %rdi, %rdi # encoding: [0x48,0x85,0xff] 87; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 88; CHECK-NEXT: retq # encoding: [0xc3] 89entry: 90 %t = icmp eq i64 %x, 0 91 %r = zext i1 %t to i64 92 ret i64 %r 93} 94 95define i64 @test4(i64 %x) nounwind { 96; CHECK-LABEL: test4: 97; CHECK: # %bb.0: 98; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 99; CHECK-NEXT: testq %rdi, %rdi # encoding: [0x48,0x85,0xff] 100; CHECK-NEXT: setle %al # encoding: [0x0f,0x9e,0xc0] 101; CHECK-NEXT: retq # encoding: [0xc3] 102 %t = icmp slt i64 %x, 1 103 %r = zext i1 %t to i64 104 ret i64 %r 105} 106 107define i32 @test5(double %A) nounwind { 108; CHECK-LABEL: test5: 109; CHECK: # %bb.0: # %entry 110; CHECK-NEXT: ucomisd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 # encoding: [0x66,0x0f,0x2e,0x05,A,A,A,A] 111; CHECK-NEXT: # fixup A - offset: 4, value: {{\.?LCPI[0-9]+_[0-9]+}}-4, kind: reloc_riprel_4byte 112; CHECK-NEXT: ja .LBB5_3 # encoding: [0x77,A] 113; CHECK-NEXT: # fixup A - offset: 1, value: .LBB5_3-1, kind: FK_PCRel_1 114; CHECK-NEXT: # %bb.1: # %entry 115; CHECK-NEXT: ucomisd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 # encoding: [0x66,0x0f,0x2e,0x05,A,A,A,A] 116; CHECK-NEXT: # fixup A - offset: 4, value: {{\.?LCPI[0-9]+_[0-9]+}}-4, kind: reloc_riprel_4byte 117; CHECK-NEXT: jb .LBB5_3 # encoding: [0x72,A] 118; CHECK-NEXT: # fixup A - offset: 1, value: .LBB5_3-1, kind: FK_PCRel_1 119; CHECK-NEXT: # %bb.2: # %bb12 120; CHECK-NEXT: movl $32, %eax # encoding: [0xb8,0x20,0x00,0x00,0x00] 121; CHECK-NEXT: retq # encoding: [0xc3] 122; CHECK-NEXT: .LBB5_3: # %bb8 123; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 124; CHECK-NEXT: jmp foo@PLT # TAILCALL 125; CHECK-NEXT: # encoding: [0xeb,A] 126; CHECK-NEXT: # fixup A - offset: 1, value: foo@PLT-1, kind: FK_PCRel_1 127entry: 128 %tmp2 = fcmp ogt double %A, 1.500000e+02 129 %tmp5 = fcmp ult double %A, 7.500000e+01 130 %bothcond = or i1 %tmp2, %tmp5 131 br i1 %bothcond, label %bb8, label %bb12 132 133bb8: 134 %tmp9 = tail call i32 (...) @foo() nounwind 135 ret i32 %tmp9 136 137bb12: 138 ret i32 32 139} 140 141declare i32 @foo(...) 142 143define i32 @test6() nounwind align 2 { 144; CHECK-LABEL: test6: 145; CHECK: # %bb.0: # %entry 146; CHECK-NEXT: cmpq $0, -{{[0-9]+}}(%rsp) # encoding: [0x48,0x83,0x7c,0x24,0xf8,0x00] 147; CHECK-NEXT: je .LBB6_1 # encoding: [0x74,A] 148; CHECK-NEXT: # fixup A - offset: 1, value: .LBB6_1-1, kind: FK_PCRel_1 149; CHECK-NEXT: # %bb.2: # %F 150; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 151; CHECK-NEXT: retq # encoding: [0xc3] 152; CHECK-NEXT: .LBB6_1: # %T 153; CHECK-NEXT: movl $1, %eax # encoding: [0xb8,0x01,0x00,0x00,0x00] 154; CHECK-NEXT: retq # encoding: [0xc3] 155entry: 156 %A = alloca { i64, i64 }, align 8 157 %B = getelementptr inbounds { i64, i64 }, ptr %A, i64 0, i32 1 158 %C = load i64, ptr %B 159 %D = icmp eq i64 %C, 0 160 br i1 %D, label %T, label %F 161 162T: 163 ret i32 1 164 165F: 166 ret i32 0 167} 168 169define i32 @test7(i64 %res) nounwind { 170; CHECK-LABEL: test7: 171; CHECK: # %bb.0: # %entry 172; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 173; CHECK-NEXT: shrq $32, %rdi # encoding: [0x48,0xc1,0xef,0x20] 174; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 175; CHECK-NEXT: retq # encoding: [0xc3] 176entry: 177 %lnot = icmp ult i64 %res, 4294967296 178 %lnot.ext = zext i1 %lnot to i32 179 ret i32 %lnot.ext 180} 181 182define i32 @test8(i64 %res) nounwind { 183; CHECK-LABEL: test8: 184; CHECK: # %bb.0: 185; CHECK-NEXT: shrq $32, %rdi # encoding: [0x48,0xc1,0xef,0x20] 186; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 187; CHECK-NEXT: cmpl $3, %edi # encoding: [0x83,0xff,0x03] 188; CHECK-NEXT: setb %al # encoding: [0x0f,0x92,0xc0] 189; CHECK-NEXT: retq # encoding: [0xc3] 190 %lnot = icmp ult i64 %res, 12884901888 191 %lnot.ext = zext i1 %lnot to i32 192 ret i32 %lnot.ext 193} 194 195define i32 @test9(i64 %res) nounwind { 196; CHECK-LABEL: test9: 197; CHECK: # %bb.0: 198; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 199; CHECK-NEXT: shrq $33, %rdi # encoding: [0x48,0xc1,0xef,0x21] 200; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 201; CHECK-NEXT: retq # encoding: [0xc3] 202 %lnot = icmp ult i64 %res, 8589934592 203 %lnot.ext = zext i1 %lnot to i32 204 ret i32 %lnot.ext 205} 206 207define i32 @test10(i64 %res) nounwind { 208; CHECK-LABEL: test10: 209; CHECK: # %bb.0: 210; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 211; CHECK-NEXT: shrq $32, %rdi # encoding: [0x48,0xc1,0xef,0x20] 212; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 213; CHECK-NEXT: retq # encoding: [0xc3] 214 %lnot = icmp uge i64 %res, 4294967296 215 %lnot.ext = zext i1 %lnot to i32 216 ret i32 %lnot.ext 217} 218 219define i32 @test11(i64 %l) nounwind { 220; CHECK-LABEL: test11: 221; CHECK: # %bb.0: 222; CHECK-NEXT: shrq $47, %rdi # encoding: [0x48,0xc1,0xef,0x2f] 223; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 224; CHECK-NEXT: cmpl $1, %edi # encoding: [0x83,0xff,0x01] 225; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 226; CHECK-NEXT: retq # encoding: [0xc3] 227 %shr.mask = and i64 %l, -140737488355328 228 %cmp = icmp eq i64 %shr.mask, 140737488355328 229 %conv = zext i1 %cmp to i32 230 ret i32 %conv 231} 232 233define i32 @test12() ssp uwtable { 234; CHECK-LABEL: test12: 235; CHECK: # %bb.0: # %entry 236; CHECK-NEXT: pushq %rax # encoding: [0x50] 237; CHECK-NEXT: .cfi_def_cfa_offset 16 238; CHECK-NEXT: callq test12b@PLT # encoding: [0xe8,A,A,A,A] 239; CHECK-NEXT: # fixup A - offset: 1, value: test12b@PLT-4, kind: FK_PCRel_4 240; CHECK-NEXT: testb %al, %al # encoding: [0x84,0xc0] 241; CHECK-NEXT: je .LBB12_2 # encoding: [0x74,A] 242; CHECK-NEXT: # fixup A - offset: 1, value: .LBB12_2-1, kind: FK_PCRel_1 243; CHECK-NEXT: # %bb.1: # %T 244; CHECK-NEXT: movl $1, %eax # encoding: [0xb8,0x01,0x00,0x00,0x00] 245; CHECK-NEXT: popq %rcx # encoding: [0x59] 246; CHECK-NEXT: .cfi_def_cfa_offset 8 247; CHECK-NEXT: retq # encoding: [0xc3] 248; CHECK-NEXT: .LBB12_2: # %F 249; CHECK-NEXT: .cfi_def_cfa_offset 16 250; CHECK-NEXT: movl $2, %eax # encoding: [0xb8,0x02,0x00,0x00,0x00] 251; CHECK-NEXT: popq %rcx # encoding: [0x59] 252; CHECK-NEXT: .cfi_def_cfa_offset 8 253; CHECK-NEXT: retq # encoding: [0xc3] 254entry: 255 %tmp1 = call zeroext i1 @test12b() 256 br i1 %tmp1, label %T, label %F 257 258T: 259 ret i32 1 260 261F: 262 ret i32 2 263} 264 265declare zeroext i1 @test12b() 266 267define i32 @test13(i32 %mask, i32 %base, i32 %intra) { 268; CHECK-LABEL: test13: 269; CHECK: # %bb.0: 270; CHECK-NEXT: movl %esi, %eax # encoding: [0x89,0xf0] 271; CHECK-NEXT: testb $8, %dil # encoding: [0x40,0xf6,0xc7,0x08] 272; CHECK-NEXT: cmovnel %edx, %eax # encoding: [0x0f,0x45,0xc2] 273; CHECK-NEXT: retq # encoding: [0xc3] 274 %and = and i32 %mask, 8 275 %tobool = icmp ne i32 %and, 0 276 %cond = select i1 %tobool, i32 %intra, i32 %base 277 ret i32 %cond 278} 279 280define i32 @test14(i32 %mask, i32 %base, i32 %intra) { 281; CHECK-LABEL: test14: 282; CHECK: # %bb.0: 283; CHECK-NEXT: movl %esi, %eax # encoding: [0x89,0xf0] 284; CHECK-NEXT: shrl $7, %edi # encoding: [0xc1,0xef,0x07] 285; CHECK-NEXT: cmovnsl %edx, %eax # encoding: [0x0f,0x49,0xc2] 286; CHECK-NEXT: retq # encoding: [0xc3] 287 %s = lshr i32 %mask, 7 288 %tobool = icmp sgt i32 %s, -1 289 %cond = select i1 %tobool, i32 %intra, i32 %base 290 ret i32 %cond 291} 292 293; PR19964 294define zeroext i1 @test15(i32 %bf.load, i32 %n) { 295; CHECK-LABEL: test15: 296; CHECK: # %bb.0: 297; CHECK-NEXT: shrl $16, %edi # encoding: [0xc1,0xef,0x10] 298; CHECK-NEXT: sete %cl # encoding: [0x0f,0x94,0xc1] 299; CHECK-NEXT: cmpl %esi, %edi # encoding: [0x39,0xf7] 300; CHECK-NEXT: setae %al # encoding: [0x0f,0x93,0xc0] 301; CHECK-NEXT: orb %cl, %al # encoding: [0x08,0xc8] 302; CHECK-NEXT: retq # encoding: [0xc3] 303 %bf.lshr = lshr i32 %bf.load, 16 304 %cmp2 = icmp eq i32 %bf.lshr, 0 305 %cmp5 = icmp uge i32 %bf.lshr, %n 306 %.cmp5 = or i1 %cmp2, %cmp5 307 ret i1 %.cmp5 308} 309 310define i8 @signbit_i16(i16 signext %L) { 311; CHECK-LABEL: signbit_i16: 312; CHECK: # %bb.0: 313; CHECK-NEXT: testw %di, %di # encoding: [0x66,0x85,0xff] 314; CHECK-NEXT: setns %al # encoding: [0x0f,0x99,0xc0] 315; CHECK-NEXT: retq # encoding: [0xc3] 316 %lshr = lshr i16 %L, 15 317 %trunc = trunc i16 %lshr to i8 318 %not = xor i8 %trunc, 1 319 ret i8 %not 320} 321 322define i8 @signbit_i32(i32 %L) { 323; CHECK-LABEL: signbit_i32: 324; CHECK: # %bb.0: 325; CHECK-NEXT: testl %edi, %edi # encoding: [0x85,0xff] 326; CHECK-NEXT: setns %al # encoding: [0x0f,0x99,0xc0] 327; CHECK-NEXT: retq # encoding: [0xc3] 328 %lshr = lshr i32 %L, 31 329 %trunc = trunc i32 %lshr to i8 330 %not = xor i8 %trunc, 1 331 ret i8 %not 332} 333 334define i8 @signbit_i64(i64 %L) { 335; CHECK-LABEL: signbit_i64: 336; CHECK: # %bb.0: 337; CHECK-NEXT: testq %rdi, %rdi # encoding: [0x48,0x85,0xff] 338; CHECK-NEXT: setns %al # encoding: [0x0f,0x99,0xc0] 339; CHECK-NEXT: retq # encoding: [0xc3] 340 %lshr = lshr i64 %L, 63 341 %trunc = trunc i64 %lshr to i8 342 %not = xor i8 %trunc, 1 343 ret i8 %not 344} 345 346define zeroext i1 @signbit_i32_i1(i32 %L) { 347; CHECK-LABEL: signbit_i32_i1: 348; CHECK: # %bb.0: 349; CHECK-NEXT: testl %edi, %edi # encoding: [0x85,0xff] 350; CHECK-NEXT: setns %al # encoding: [0x0f,0x99,0xc0] 351; CHECK-NEXT: retq # encoding: [0xc3] 352 %lshr = lshr i32 %L, 31 353 %trunc = trunc i32 %lshr to i1 354 %not = xor i1 %trunc, true 355 ret i1 %not 356} 357 358; This test failed due to incorrect handling of "shift + icmp" sequence 359define void @test20(i32 %bf.load, i8 %x1, ptr %b_addr) { 360; CHECK-LABEL: test20: 361; CHECK: # %bb.0: 362; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 363; CHECK-NEXT: testl $16777215, %edi # encoding: [0xf7,0xc7,0xff,0xff,0xff,0x00] 364; CHECK-NEXT: # imm = 0xFFFFFF 365; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 366; CHECK-NEXT: movzbl %sil, %ecx # encoding: [0x40,0x0f,0xb6,0xce] 367; CHECK-NEXT: addl %eax, %ecx # encoding: [0x01,0xc1] 368; CHECK-NEXT: setne (%rdx) # encoding: [0x0f,0x95,0x02] 369; CHECK-NEXT: testl $16777215, %edi # encoding: [0xf7,0xc7,0xff,0xff,0xff,0x00] 370; CHECK-NEXT: # imm = 0xFFFFFF 371; CHECK-NEXT: setne d(%rip) # encoding: [0x0f,0x95,0x05,A,A,A,A] 372; CHECK-NEXT: # fixup A - offset: 3, value: d-4, kind: reloc_riprel_4byte 373; CHECK-NEXT: retq # encoding: [0xc3] 374 %bf.shl = shl i32 %bf.load, 8 375 %bf.ashr = ashr exact i32 %bf.shl, 8 376 %tobool4 = icmp ne i32 %bf.ashr, 0 377 %conv = zext i1 %tobool4 to i32 378 %conv6 = zext i8 %x1 to i32 379 %add = add nuw nsw i32 %conv, %conv6 380 %tobool7 = icmp ne i32 %add, 0 381 %frombool = zext i1 %tobool7 to i8 382 store i8 %frombool, ptr %b_addr, align 1 383 %tobool14 = icmp ne i32 %bf.shl, 0 384 %frombool15 = zext i1 %tobool14 to i8 385 store i8 %frombool15, ptr @d, align 1 386 ret void 387} 388 389define i32 @highmask_i64_simplify(i64 %val) { 390; CHECK-LABEL: highmask_i64_simplify: 391; CHECK: # %bb.0: 392; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 393; CHECK-NEXT: retq # encoding: [0xc3] 394 %and = and i64 %val, -2199023255552 395 %cmp = icmp ult i64 %and, 0 396 %ret = zext i1 %cmp to i32 397 ret i32 %ret 398} 399 400define i32 @highmask_i64_mask64(i64 %val) { 401; CHECK-LABEL: highmask_i64_mask64: 402; CHECK: # %bb.0: 403; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 404; CHECK-NEXT: shrq $41, %rdi # encoding: [0x48,0xc1,0xef,0x29] 405; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 406; CHECK-NEXT: retq # encoding: [0xc3] 407 %and = and i64 %val, -2199023255552 408 %cmp = icmp ne i64 %and, 0 409 %ret = zext i1 %cmp to i32 410 ret i32 %ret 411} 412 413define i64 @highmask_i64_mask64_extra_use(i64 %val) nounwind { 414; CHECK-LABEL: highmask_i64_mask64_extra_use: 415; CHECK: # %bb.0: 416; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 417; CHECK-NEXT: movq %rdi, %rcx # encoding: [0x48,0x89,0xf9] 418; CHECK-NEXT: shrq $41, %rcx # encoding: [0x48,0xc1,0xe9,0x29] 419; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 420; CHECK-NEXT: imulq %rdi, %rax # encoding: [0x48,0x0f,0xaf,0xc7] 421; CHECK-NEXT: retq # encoding: [0xc3] 422 %and = and i64 %val, -2199023255552 423 %cmp = icmp ne i64 %and, 0 424 %z = zext i1 %cmp to i64 425 %ret = mul i64 %z, %val 426 ret i64 %ret 427} 428 429define i32 @highmask_i64_mask32(i64 %val) { 430; CHECK-LABEL: highmask_i64_mask32: 431; CHECK: # %bb.0: 432; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 433; CHECK-NEXT: shrq $20, %rdi # encoding: [0x48,0xc1,0xef,0x14] 434; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 435; CHECK-NEXT: retq # encoding: [0xc3] 436 %and = and i64 %val, -1048576 437 %cmp = icmp eq i64 %and, 0 438 %ret = zext i1 %cmp to i32 439 ret i32 %ret 440} 441 442define i64 @highmask_i64_mask32_extra_use(i64 %val) nounwind { 443; CHECK-LABEL: highmask_i64_mask32_extra_use: 444; CHECK: # %bb.0: 445; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 446; CHECK-NEXT: testq $-1048576, %rdi # encoding: [0x48,0xf7,0xc7,0x00,0x00,0xf0,0xff] 447; CHECK-NEXT: # imm = 0xFFF00000 448; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 449; CHECK-NEXT: imulq %rdi, %rax # encoding: [0x48,0x0f,0xaf,0xc7] 450; CHECK-NEXT: retq # encoding: [0xc3] 451 %and = and i64 %val, -1048576 452 %cmp = icmp eq i64 %and, 0 453 %z = zext i1 %cmp to i64 454 %ret = mul i64 %z, %val 455 ret i64 %ret 456} 457 458define i32 @highmask_i64_mask8(i64 %val) { 459; CHECK-LABEL: highmask_i64_mask8: 460; CHECK: # %bb.0: 461; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 462; CHECK-NEXT: testq $-16, %rdi # encoding: [0x48,0xf7,0xc7,0xf0,0xff,0xff,0xff] 463; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 464; CHECK-NEXT: retq # encoding: [0xc3] 465 %and = and i64 %val, -16 466 %cmp = icmp ne i64 %and, 0 467 %ret = zext i1 %cmp to i32 468 ret i32 %ret 469} 470 471define i32 @lowmask_i64_mask64(i64 %val) { 472; CHECK-LABEL: lowmask_i64_mask64: 473; CHECK: # %bb.0: 474; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 475; CHECK-NEXT: shlq $16, %rdi # encoding: [0x48,0xc1,0xe7,0x10] 476; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 477; CHECK-NEXT: retq # encoding: [0xc3] 478 %and = and i64 %val, 281474976710655 479 %cmp = icmp eq i64 %and, 0 480 %ret = zext i1 %cmp to i32 481 ret i32 %ret 482} 483 484define i64 @lowmask_i64_mask64_extra_use(i64 %val) nounwind { 485; CHECK-LABEL: lowmask_i64_mask64_extra_use: 486; CHECK: # %bb.0: 487; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 488; CHECK-NEXT: movq %rdi, %rcx # encoding: [0x48,0x89,0xf9] 489; CHECK-NEXT: shlq $16, %rcx # encoding: [0x48,0xc1,0xe1,0x10] 490; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 491; CHECK-NEXT: imulq %rdi, %rax # encoding: [0x48,0x0f,0xaf,0xc7] 492; CHECK-NEXT: retq # encoding: [0xc3] 493 %and = and i64 %val, 281474976710655 494 %cmp = icmp eq i64 %and, 0 495 %z = zext i1 %cmp to i64 496 %ret = mul i64 %z, %val 497 ret i64 %ret 498} 499 500define i32 @lowmask_i64_mask32(i64 %val) { 501; CHECK-LABEL: lowmask_i64_mask32: 502; CHECK: # %bb.0: 503; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 504; CHECK-NEXT: shlq $44, %rdi # encoding: [0x48,0xc1,0xe7,0x2c] 505; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 506; CHECK-NEXT: retq # encoding: [0xc3] 507 %and = and i64 %val, 1048575 508 %cmp = icmp ne i64 %and, 0 509 %ret = zext i1 %cmp to i32 510 ret i32 %ret 511} 512 513define i64 @lowmask_i64_mask32_extra_use(i64 %val) nounwind { 514; CHECK-LABEL: lowmask_i64_mask32_extra_use: 515; CHECK: # %bb.0: 516; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 517; CHECK-NEXT: testl $1048575, %edi # encoding: [0xf7,0xc7,0xff,0xff,0x0f,0x00] 518; CHECK-NEXT: # imm = 0xFFFFF 519; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 520; CHECK-NEXT: imulq %rdi, %rax # encoding: [0x48,0x0f,0xaf,0xc7] 521; CHECK-NEXT: retq # encoding: [0xc3] 522 %and = and i64 %val, 1048575 523 %cmp = icmp ne i64 %and, 0 524 %z = zext i1 %cmp to i64 525 %ret = mul i64 %z, %val 526 ret i64 %ret 527} 528 529define i32 @lowmask_i64_mask8(i64 %val) { 530; CHECK-LABEL: lowmask_i64_mask8: 531; CHECK: # %bb.0: 532; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 533; CHECK-NEXT: testb $31, %dil # encoding: [0x40,0xf6,0xc7,0x1f] 534; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 535; CHECK-NEXT: retq # encoding: [0xc3] 536 %and = and i64 %val, 31 537 %cmp = icmp eq i64 %and, 0 538 %ret = zext i1 %cmp to i32 539 ret i32 %ret 540} 541 542define i32 @highmask_i32_mask32(i32 %val) { 543; CHECK-LABEL: highmask_i32_mask32: 544; CHECK: # %bb.0: 545; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 546; CHECK-NEXT: testl $-1048576, %edi # encoding: [0xf7,0xc7,0x00,0x00,0xf0,0xff] 547; CHECK-NEXT: # imm = 0xFFF00000 548; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 549; CHECK-NEXT: retq # encoding: [0xc3] 550 %and = and i32 %val, -1048576 551 %cmp = icmp ne i32 %and, 0 552 %ret = zext i1 %cmp to i32 553 ret i32 %ret 554} 555 556define i32 @highmask_i32_mask8(i32 %val) { 557; CHECK-LABEL: highmask_i32_mask8: 558; CHECK: # %bb.0: 559; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 560; CHECK-NEXT: testl $-16, %edi # encoding: [0xf7,0xc7,0xf0,0xff,0xff,0xff] 561; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 562; CHECK-NEXT: retq # encoding: [0xc3] 563 %and = and i32 %val, -16 564 %cmp = icmp eq i32 %and, 0 565 %ret = zext i1 %cmp to i32 566 ret i32 %ret 567} 568 569define i32 @lowmask_i32_mask32(i32 %val) { 570; CHECK-LABEL: lowmask_i32_mask32: 571; CHECK: # %bb.0: 572; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 573; CHECK-NEXT: testl $1048575, %edi # encoding: [0xf7,0xc7,0xff,0xff,0x0f,0x00] 574; CHECK-NEXT: # imm = 0xFFFFF 575; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 576; CHECK-NEXT: retq # encoding: [0xc3] 577 %and = and i32 %val, 1048575 578 %cmp = icmp eq i32 %and, 0 579 %ret = zext i1 %cmp to i32 580 ret i32 %ret 581} 582 583define i32 @lowmask_i32_mask8(i32 %val) { 584; CHECK-LABEL: lowmask_i32_mask8: 585; CHECK: # %bb.0: 586; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 587; CHECK-NEXT: testb $31, %dil # encoding: [0x40,0xf6,0xc7,0x1f] 588; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 589; CHECK-NEXT: retq # encoding: [0xc3] 590 %and = and i32 %val, 31 591 %cmp = icmp ne i32 %and, 0 592 %ret = zext i1 %cmp to i32 593 ret i32 %ret 594} 595 596define i1 @shifted_mask64_testb(i64 %a) { 597; CHECK-LABEL: shifted_mask64_testb: 598; CHECK: # %bb.0: 599; CHECK-NEXT: shrq $50, %rdi # encoding: [0x48,0xc1,0xef,0x32] 600; CHECK-NEXT: testb %dil, %dil # encoding: [0x40,0x84,0xff] 601; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 602; CHECK-NEXT: retq # encoding: [0xc3] 603 %v0 = and i64 %a, 287104476244869120 ; 0xff << 50 604 %v1 = icmp ne i64 %v0, 0 605 ret i1 %v1 606} 607 608define i1 @shifted_mask64_testw(i64 %a) { 609; CHECK-LABEL: shifted_mask64_testw: 610; CHECK: # %bb.0: 611; CHECK-NEXT: shrq $33, %rdi # encoding: [0x48,0xc1,0xef,0x21] 612; CHECK-NEXT: testw %di, %di # encoding: [0x66,0x85,0xff] 613; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 614; CHECK-NEXT: retq # encoding: [0xc3] 615 %v0 = and i64 %a, 562941363486720 ; 0xffff << 33 616 %v1 = icmp ne i64 %v0, 0 617 ret i1 %v1 618} 619 620define i1 @shifted_mask64_testl(i64 %a) { 621; CHECK-LABEL: shifted_mask64_testl: 622; CHECK: # %bb.0: 623; CHECK-NEXT: shrq $7, %rdi # encoding: [0x48,0xc1,0xef,0x07] 624; CHECK-NEXT: testl %edi, %edi # encoding: [0x85,0xff] 625; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 626; CHECK-NEXT: retq # encoding: [0xc3] 627 %v0 = and i64 %a, 549755813760 ; 0xffffffff << 7 628 %v1 = icmp eq i64 %v0, 0 629 ret i1 %v1 630} 631 632define i1 @shifted_mask64_extra_use_const(i64 %a) { 633; CHECK-LABEL: shifted_mask64_extra_use_const: 634; CHECK: # %bb.0: 635; CHECK-NEXT: movabsq $287104476244869120, %rcx # encoding: [0x48,0xb9,0x00,0x00,0x00,0x00,0x00,0x00,0xfc,0x03] 636; CHECK-NEXT: # imm = 0x3FC000000000000 637; CHECK-NEXT: testq %rcx, %rdi # encoding: [0x48,0x85,0xcf] 638; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 639; CHECK-NEXT: movq %rcx, d64(%rip) # encoding: [0x48,0x89,0x0d,A,A,A,A] 640; CHECK-NEXT: # fixup A - offset: 3, value: d64-4, kind: reloc_riprel_4byte 641; CHECK-NEXT: retq # encoding: [0xc3] 642 %v0 = and i64 %a, 287104476244869120 ; 0xff << 50 643 %v1 = icmp ne i64 %v0, 0 644 store i64 287104476244869120, ptr @d64 645 ret i1 %v1 646} 647 648define i1 @shifted_mask64_extra_use_and(i64 %a) { 649; CHECK-LABEL: shifted_mask64_extra_use_and: 650; CHECK: # %bb.0: 651; CHECK-NEXT: movabsq $287104476244869120, %rcx # encoding: [0x48,0xb9,0x00,0x00,0x00,0x00,0x00,0x00,0xfc,0x03] 652; CHECK-NEXT: # imm = 0x3FC000000000000 653; CHECK-NEXT: andq %rdi, %rcx # encoding: [0x48,0x21,0xf9] 654; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 655; CHECK-NEXT: movq %rcx, d64(%rip) # encoding: [0x48,0x89,0x0d,A,A,A,A] 656; CHECK-NEXT: # fixup A - offset: 3, value: d64-4, kind: reloc_riprel_4byte 657; CHECK-NEXT: retq # encoding: [0xc3] 658 %v0 = and i64 %a, 287104476244869120 ; 0xff << 50 659 %v1 = icmp ne i64 %v0, 0 660 store i64 %v0, ptr @d64 661 ret i1 %v1 662} 663 664define i1 @shifted_mask32_testl_immediate(i64 %a) { 665; CHECK-LABEL: shifted_mask32_testl_immediate: 666; CHECK: # %bb.0: 667; CHECK-NEXT: testl $66846720, %edi # encoding: [0xf7,0xc7,0x00,0x00,0xfc,0x03] 668; CHECK-NEXT: # imm = 0x3FC0000 669; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 670; CHECK-NEXT: retq # encoding: [0xc3] 671 %v0 = and i64 %a, 66846720 ; 0xff << 18 672 %v1 = icmp ne i64 %v0, 0 673 ret i1 %v1 674} 675 676define i1 @shifted_mask32_extra_use_const(i64 %a) { 677; CHECK-LABEL: shifted_mask32_extra_use_const: 678; CHECK: # %bb.0: 679; CHECK-NEXT: testl $66846720, %edi # encoding: [0xf7,0xc7,0x00,0x00,0xfc,0x03] 680; CHECK-NEXT: # imm = 0x3FC0000 681; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 682; CHECK-NEXT: movq $66846720, d64(%rip) # encoding: [0x48,0xc7,0x05,A,A,A,A,0x00,0x00,0xfc,0x03] 683; CHECK-NEXT: # fixup A - offset: 3, value: d64-8, kind: reloc_riprel_4byte 684; CHECK-NEXT: # imm = 0x3FC0000 685; CHECK-NEXT: retq # encoding: [0xc3] 686 %v0 = and i64 %a, 66846720 ; 0xff << 18 687 %v1 = icmp ne i64 %v0, 0 688 store i64 66846720, ptr @d64 689 ret i1 %v1 690} 691 692define i1 @shifted_mask32_extra_use_and(i64 %a) { 693; CHECK-LABEL: shifted_mask32_extra_use_and: 694; CHECK: # %bb.0: 695; CHECK-NEXT: andq $66846720, %rdi # encoding: [0x48,0x81,0xe7,0x00,0x00,0xfc,0x03] 696; CHECK-NEXT: # imm = 0x3FC0000 697; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 698; CHECK-NEXT: movq %rdi, d64(%rip) # encoding: [0x48,0x89,0x3d,A,A,A,A] 699; CHECK-NEXT: # fixup A - offset: 3, value: d64-4, kind: reloc_riprel_4byte 700; CHECK-NEXT: retq # encoding: [0xc3] 701 %v0 = and i64 %a, 66846720 ; 0xff << 50 702 %v1 = icmp ne i64 %v0, 0 703 store i64 %v0, ptr @d64 704 ret i1 %v1 705} 706 707define { i64, i64 } @pr39968(i64, i64, i32) { 708; CHECK-LABEL: pr39968: 709; CHECK: # %bb.0: 710; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 711; CHECK-NEXT: testb $64, %dl # encoding: [0xf6,0xc2,0x40] 712; CHECK-NEXT: cmovneq %rdi, %rsi # encoding: [0x48,0x0f,0x45,0xf7] 713; CHECK-NEXT: cmovneq %rdi, %rax # encoding: [0x48,0x0f,0x45,0xc7] 714; CHECK-NEXT: movq %rsi, %rdx # encoding: [0x48,0x89,0xf2] 715; CHECK-NEXT: retq # encoding: [0xc3] 716 %4 = and i32 %2, 64 717 %5 = icmp ne i32 %4, 0 718 %6 = select i1 %5, i64 %0, i64 %1 719 %7 = select i1 %5, i64 %0, i64 0 720 %8 = insertvalue { i64, i64 } undef, i64 %7, 0 721 %9 = insertvalue { i64, i64 } %8, i64 %6, 1 722 ret { i64, i64 } %9 723} 724 725; Make sure we use a 32-bit comparison without an extend based on the input 726; being pre-sign extended by caller. 727define i32 @pr42189(i16 signext %c) { 728; CHECK-LABEL: pr42189: 729; CHECK: # %bb.0: # %entry 730; CHECK-NEXT: cmpl $32767, %edi # encoding: [0x81,0xff,0xff,0x7f,0x00,0x00] 731; CHECK-NEXT: # imm = 0x7FFF 732; CHECK-NEXT: jne .LBB45_2 # encoding: [0x75,A] 733; CHECK-NEXT: # fixup A - offset: 1, value: .LBB45_2-1, kind: FK_PCRel_1 734; CHECK-NEXT: # %bb.1: # %if.then 735; CHECK-NEXT: jmp g@PLT # TAILCALL 736; CHECK-NEXT: # encoding: [0xeb,A] 737; CHECK-NEXT: # fixup A - offset: 1, value: g@PLT-1, kind: FK_PCRel_1 738; CHECK-NEXT: .LBB45_2: # %if.end 739; CHECK-NEXT: jmp f@PLT # TAILCALL 740; CHECK-NEXT: # encoding: [0xeb,A] 741; CHECK-NEXT: # fixup A - offset: 1, value: f@PLT-1, kind: FK_PCRel_1 742entry: 743 %cmp = icmp eq i16 %c, 32767 744 br i1 %cmp, label %if.then, label %if.end 745 746if.then: ; preds = %entry 747 %call = tail call i32 @g() 748 br label %return 749 750if.end: ; preds = %entry 751 %call2 = tail call i32 @f() 752 br label %return 753 754return: ; preds = %if.end, %if.then 755 %retval.0 = phi i32 [ %call, %if.then ], [ %call2, %if.end ] 756 ret i32 %retval.0 757} 758 759declare i32 @g() 760declare i32 @f() 761