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 6define i32 @test1(i32 %X, i32* %y) nounwind { 7; CHECK-LABEL: test1: 8; CHECK: # %bb.0: # %entry 9; CHECK-NEXT: cmpl $0, (%rsi) # encoding: [0x83,0x3e,0x00] 10; CHECK-NEXT: je .LBB0_2 # encoding: [0x74,A] 11; CHECK-NEXT: # fixup A - offset: 1, value: .LBB0_2-1, kind: FK_PCRel_1 12; CHECK-NEXT: # %bb.1: # %cond_true 13; CHECK-NEXT: movl $1, %eax # encoding: [0xb8,0x01,0x00,0x00,0x00] 14; CHECK-NEXT: retq # encoding: [0xc3] 15; CHECK-NEXT: .LBB0_2: # %ReturnBlock 16; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 17; CHECK-NEXT: retq # encoding: [0xc3] 18entry: 19 %tmp = load i32, i32* %y 20 %tmp.upgrd.1 = icmp eq i32 %tmp, 0 21 br i1 %tmp.upgrd.1, label %ReturnBlock, label %cond_true 22 23cond_true: 24 ret i32 1 25 26ReturnBlock: 27 ret i32 0 28} 29 30define i32 @test2(i32 %X, i32* %y) nounwind { 31; CHECK-LABEL: test2: 32; CHECK: # %bb.0: # %entry 33; CHECK-NEXT: testl $536870911, (%rsi) # encoding: [0xf7,0x06,0xff,0xff,0xff,0x1f] 34; CHECK-NEXT: # imm = 0x1FFFFFFF 35; CHECK-NEXT: je .LBB1_2 # encoding: [0x74,A] 36; CHECK-NEXT: # fixup A - offset: 1, value: .LBB1_2-1, kind: FK_PCRel_1 37; CHECK-NEXT: # %bb.1: # %cond_true 38; CHECK-NEXT: movl $1, %eax # encoding: [0xb8,0x01,0x00,0x00,0x00] 39; CHECK-NEXT: retq # encoding: [0xc3] 40; CHECK-NEXT: .LBB1_2: # %ReturnBlock 41; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 42; CHECK-NEXT: retq # encoding: [0xc3] 43entry: 44 %tmp = load i32, i32* %y 45 %tmp1 = shl i32 %tmp, 3 46 %tmp1.upgrd.2 = icmp eq i32 %tmp1, 0 47 br i1 %tmp1.upgrd.2, label %ReturnBlock, label %cond_true 48 49cond_true: 50 ret i32 1 51 52ReturnBlock: 53 ret i32 0 54} 55 56define i8 @test2b(i8 %X, i8* %y) nounwind { 57; CHECK-LABEL: test2b: 58; CHECK: # %bb.0: # %entry 59; CHECK-NEXT: testb $31, (%rsi) # encoding: [0xf6,0x06,0x1f] 60; CHECK-NEXT: je .LBB2_2 # encoding: [0x74,A] 61; CHECK-NEXT: # fixup A - offset: 1, value: .LBB2_2-1, kind: FK_PCRel_1 62; CHECK-NEXT: # %bb.1: # %cond_true 63; CHECK-NEXT: movb $1, %al # encoding: [0xb0,0x01] 64; CHECK-NEXT: retq # encoding: [0xc3] 65; CHECK-NEXT: .LBB2_2: # %ReturnBlock 66; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 67; CHECK-NEXT: retq # encoding: [0xc3] 68entry: 69 %tmp = load i8, i8* %y 70 %tmp1 = shl i8 %tmp, 3 71 %tmp1.upgrd.2 = icmp eq i8 %tmp1, 0 72 br i1 %tmp1.upgrd.2, label %ReturnBlock, label %cond_true 73 74cond_true: 75 ret i8 1 76 77ReturnBlock: 78 ret i8 0 79} 80 81define i64 @test3(i64 %x) nounwind { 82; CHECK-LABEL: test3: 83; CHECK: # %bb.0: # %entry 84; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 85; CHECK-NEXT: testq %rdi, %rdi # encoding: [0x48,0x85,0xff] 86; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 87; CHECK-NEXT: retq # encoding: [0xc3] 88entry: 89 %t = icmp eq i64 %x, 0 90 %r = zext i1 %t to i64 91 ret i64 %r 92} 93 94define i64 @test4(i64 %x) nounwind { 95; CHECK-LABEL: test4: 96; CHECK: # %bb.0: 97; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 98; CHECK-NEXT: testq %rdi, %rdi # encoding: [0x48,0x85,0xff] 99; CHECK-NEXT: setle %al # encoding: [0x0f,0x9e,0xc0] 100; CHECK-NEXT: retq # encoding: [0xc3] 101 %t = icmp slt i64 %x, 1 102 %r = zext i1 %t to i64 103 ret i64 %r 104} 105 106define i32 @test5(double %A) nounwind { 107; CHECK-LABEL: test5: 108; CHECK: # %bb.0: # %entry 109; CHECK-NEXT: ucomisd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 # encoding: [0x66,0x0f,0x2e,0x05,A,A,A,A] 110; CHECK-NEXT: # fixup A - offset: 4, value: {{\.?LCPI[0-9]+_[0-9]+}}-4, kind: reloc_riprel_4byte 111; CHECK-NEXT: ja .LBB5_3 # encoding: [0x77,A] 112; CHECK-NEXT: # fixup A - offset: 1, value: .LBB5_3-1, kind: FK_PCRel_1 113; CHECK-NEXT: # %bb.1: # %entry 114; CHECK-NEXT: ucomisd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 # encoding: [0x66,0x0f,0x2e,0x05,A,A,A,A] 115; CHECK-NEXT: # fixup A - offset: 4, value: {{\.?LCPI[0-9]+_[0-9]+}}-4, kind: reloc_riprel_4byte 116; CHECK-NEXT: jb .LBB5_3 # encoding: [0x72,A] 117; CHECK-NEXT: # fixup A - offset: 1, value: .LBB5_3-1, kind: FK_PCRel_1 118; CHECK-NEXT: # %bb.2: # %bb12 119; CHECK-NEXT: movl $32, %eax # encoding: [0xb8,0x20,0x00,0x00,0x00] 120; CHECK-NEXT: retq # encoding: [0xc3] 121; CHECK-NEXT: .LBB5_3: # %bb8 122; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 123; CHECK-NEXT: jmp foo@PLT # TAILCALL 124; CHECK-NEXT: # encoding: [0xeb,A] 125; CHECK-NEXT: # fixup A - offset: 1, value: foo@PLT-1, kind: FK_PCRel_1 126entry: 127 %tmp2 = fcmp ogt double %A, 1.500000e+02 128 %tmp5 = fcmp ult double %A, 7.500000e+01 129 %bothcond = or i1 %tmp2, %tmp5 130 br i1 %bothcond, label %bb8, label %bb12 131 132bb8: 133 %tmp9 = tail call i32 (...) @foo() nounwind 134 ret i32 %tmp9 135 136bb12: 137 ret i32 32 138} 139 140declare i32 @foo(...) 141 142define i32 @test6() nounwind align 2 { 143; CHECK-LABEL: test6: 144; CHECK: # %bb.0: # %entry 145; CHECK-NEXT: cmpq $0, -{{[0-9]+}}(%rsp) # encoding: [0x48,0x83,0x7c,0x24,0xf8,0x00] 146; CHECK-NEXT: je .LBB6_1 # encoding: [0x74,A] 147; CHECK-NEXT: # fixup A - offset: 1, value: .LBB6_1-1, kind: FK_PCRel_1 148; CHECK-NEXT: # %bb.2: # %F 149; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 150; CHECK-NEXT: retq # encoding: [0xc3] 151; CHECK-NEXT: .LBB6_1: # %T 152; CHECK-NEXT: movl $1, %eax # encoding: [0xb8,0x01,0x00,0x00,0x00] 153; CHECK-NEXT: retq # encoding: [0xc3] 154entry: 155 %A = alloca { i64, i64 }, align 8 156 %B = getelementptr inbounds { i64, i64 }, { i64, i64 }* %A, i64 0, i32 1 157 %C = load i64, i64* %B 158 %D = icmp eq i64 %C, 0 159 br i1 %D, label %T, label %F 160 161T: 162 ret i32 1 163 164F: 165 ret i32 0 166} 167 168define i32 @test7(i64 %res) nounwind { 169; CHECK-LABEL: test7: 170; CHECK: # %bb.0: # %entry 171; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 172; CHECK-NEXT: shrq $32, %rdi # encoding: [0x48,0xc1,0xef,0x20] 173; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 174; CHECK-NEXT: retq # encoding: [0xc3] 175entry: 176 %lnot = icmp ult i64 %res, 4294967296 177 %lnot.ext = zext i1 %lnot to i32 178 ret i32 %lnot.ext 179} 180 181define i32 @test8(i64 %res) nounwind { 182; CHECK-LABEL: test8: 183; CHECK: # %bb.0: 184; CHECK-NEXT: shrq $32, %rdi # encoding: [0x48,0xc1,0xef,0x20] 185; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 186; CHECK-NEXT: cmpl $3, %edi # encoding: [0x83,0xff,0x03] 187; CHECK-NEXT: setb %al # encoding: [0x0f,0x92,0xc0] 188; CHECK-NEXT: retq # encoding: [0xc3] 189 %lnot = icmp ult i64 %res, 12884901888 190 %lnot.ext = zext i1 %lnot to i32 191 ret i32 %lnot.ext 192} 193 194define i32 @test9(i64 %res) nounwind { 195; CHECK-LABEL: test9: 196; CHECK: # %bb.0: 197; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 198; CHECK-NEXT: shrq $33, %rdi # encoding: [0x48,0xc1,0xef,0x21] 199; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 200; CHECK-NEXT: retq # encoding: [0xc3] 201 %lnot = icmp ult i64 %res, 8589934592 202 %lnot.ext = zext i1 %lnot to i32 203 ret i32 %lnot.ext 204} 205 206define i32 @test10(i64 %res) nounwind { 207; CHECK-LABEL: test10: 208; CHECK: # %bb.0: 209; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 210; CHECK-NEXT: shrq $32, %rdi # encoding: [0x48,0xc1,0xef,0x20] 211; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 212; CHECK-NEXT: retq # encoding: [0xc3] 213 %lnot = icmp uge i64 %res, 4294967296 214 %lnot.ext = zext i1 %lnot to i32 215 ret i32 %lnot.ext 216} 217 218define i32 @test11(i64 %l) nounwind { 219; CHECK-LABEL: test11: 220; CHECK: # %bb.0: 221; CHECK-NEXT: shrq $47, %rdi # encoding: [0x48,0xc1,0xef,0x2f] 222; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 223; CHECK-NEXT: cmpl $1, %edi # encoding: [0x83,0xff,0x01] 224; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 225; CHECK-NEXT: retq # encoding: [0xc3] 226 %shr.mask = and i64 %l, -140737488355328 227 %cmp = icmp eq i64 %shr.mask, 140737488355328 228 %conv = zext i1 %cmp to i32 229 ret i32 %conv 230} 231 232define i32 @test12() ssp uwtable { 233; CHECK-LABEL: test12: 234; CHECK: # %bb.0: # %entry 235; CHECK-NEXT: pushq %rax # encoding: [0x50] 236; CHECK-NEXT: .cfi_def_cfa_offset 16 237; CHECK-NEXT: callq test12b@PLT # encoding: [0xe8,A,A,A,A] 238; CHECK-NEXT: # fixup A - offset: 1, value: test12b@PLT-4, kind: FK_PCRel_4 239; CHECK-NEXT: testb %al, %al # encoding: [0x84,0xc0] 240; CHECK-NEXT: je .LBB12_2 # encoding: [0x74,A] 241; CHECK-NEXT: # fixup A - offset: 1, value: .LBB12_2-1, kind: FK_PCRel_1 242; CHECK-NEXT: # %bb.1: # %T 243; CHECK-NEXT: movl $1, %eax # encoding: [0xb8,0x01,0x00,0x00,0x00] 244; CHECK-NEXT: popq %rcx # encoding: [0x59] 245; CHECK-NEXT: .cfi_def_cfa_offset 8 246; CHECK-NEXT: retq # encoding: [0xc3] 247; CHECK-NEXT: .LBB12_2: # %F 248; CHECK-NEXT: .cfi_def_cfa_offset 16 249; CHECK-NEXT: movl $2, %eax # encoding: [0xb8,0x02,0x00,0x00,0x00] 250; CHECK-NEXT: popq %rcx # encoding: [0x59] 251; CHECK-NEXT: .cfi_def_cfa_offset 8 252; CHECK-NEXT: retq # encoding: [0xc3] 253entry: 254 %tmp1 = call zeroext i1 @test12b() 255 br i1 %tmp1, label %T, label %F 256 257T: 258 ret i32 1 259 260F: 261 ret i32 2 262} 263 264declare zeroext i1 @test12b() 265 266define i32 @test13(i32 %mask, i32 %base, i32 %intra) { 267; CHECK-LABEL: test13: 268; CHECK: # %bb.0: 269; CHECK-NEXT: movl %esi, %eax # encoding: [0x89,0xf0] 270; CHECK-NEXT: testb $8, %dil # encoding: [0x40,0xf6,0xc7,0x08] 271; CHECK-NEXT: cmovnel %edx, %eax # encoding: [0x0f,0x45,0xc2] 272; CHECK-NEXT: retq # encoding: [0xc3] 273 %and = and i32 %mask, 8 274 %tobool = icmp ne i32 %and, 0 275 %cond = select i1 %tobool, i32 %intra, i32 %base 276 ret i32 %cond 277} 278 279define i32 @test14(i32 %mask, i32 %base, i32 %intra) { 280; CHECK-LABEL: test14: 281; CHECK: # %bb.0: 282; CHECK-NEXT: movl %esi, %eax # encoding: [0x89,0xf0] 283; CHECK-NEXT: shrl $7, %edi # encoding: [0xc1,0xef,0x07] 284; CHECK-NEXT: cmovnsl %edx, %eax # encoding: [0x0f,0x49,0xc2] 285; CHECK-NEXT: retq # encoding: [0xc3] 286 %s = lshr i32 %mask, 7 287 %tobool = icmp sgt i32 %s, -1 288 %cond = select i1 %tobool, i32 %intra, i32 %base 289 ret i32 %cond 290} 291 292; PR19964 293define zeroext i1 @test15(i32 %bf.load, i32 %n) { 294; CHECK-LABEL: test15: 295; CHECK: # %bb.0: 296; CHECK-NEXT: shrl $16, %edi # encoding: [0xc1,0xef,0x10] 297; CHECK-NEXT: sete %cl # encoding: [0x0f,0x94,0xc1] 298; CHECK-NEXT: cmpl %esi, %edi # encoding: [0x39,0xf7] 299; CHECK-NEXT: setae %al # encoding: [0x0f,0x93,0xc0] 300; CHECK-NEXT: orb %cl, %al # encoding: [0x08,0xc8] 301; CHECK-NEXT: retq # encoding: [0xc3] 302 %bf.lshr = lshr i32 %bf.load, 16 303 %cmp2 = icmp eq i32 %bf.lshr, 0 304 %cmp5 = icmp uge i32 %bf.lshr, %n 305 %.cmp5 = or i1 %cmp2, %cmp5 306 ret i1 %.cmp5 307} 308 309define i8 @signbit_i16(i16 signext %L) { 310; CHECK-LABEL: signbit_i16: 311; CHECK: # %bb.0: 312; CHECK-NEXT: testw %di, %di # encoding: [0x66,0x85,0xff] 313; CHECK-NEXT: setns %al # encoding: [0x0f,0x99,0xc0] 314; CHECK-NEXT: retq # encoding: [0xc3] 315 %lshr = lshr i16 %L, 15 316 %trunc = trunc i16 %lshr to i8 317 %not = xor i8 %trunc, 1 318 ret i8 %not 319} 320 321define i8 @signbit_i32(i32 %L) { 322; CHECK-LABEL: signbit_i32: 323; CHECK: # %bb.0: 324; CHECK-NEXT: testl %edi, %edi # encoding: [0x85,0xff] 325; CHECK-NEXT: setns %al # encoding: [0x0f,0x99,0xc0] 326; CHECK-NEXT: retq # encoding: [0xc3] 327 %lshr = lshr i32 %L, 31 328 %trunc = trunc i32 %lshr to i8 329 %not = xor i8 %trunc, 1 330 ret i8 %not 331} 332 333define i8 @signbit_i64(i64 %L) { 334; CHECK-LABEL: signbit_i64: 335; CHECK: # %bb.0: 336; CHECK-NEXT: testq %rdi, %rdi # encoding: [0x48,0x85,0xff] 337; CHECK-NEXT: setns %al # encoding: [0x0f,0x99,0xc0] 338; CHECK-NEXT: retq # encoding: [0xc3] 339 %lshr = lshr i64 %L, 63 340 %trunc = trunc i64 %lshr to i8 341 %not = xor i8 %trunc, 1 342 ret i8 %not 343} 344 345define zeroext i1 @signbit_i32_i1(i32 %L) { 346; CHECK-LABEL: signbit_i32_i1: 347; CHECK: # %bb.0: 348; CHECK-NEXT: testl %edi, %edi # encoding: [0x85,0xff] 349; CHECK-NEXT: setns %al # encoding: [0x0f,0x99,0xc0] 350; CHECK-NEXT: retq # encoding: [0xc3] 351 %lshr = lshr i32 %L, 31 352 %trunc = trunc i32 %lshr to i1 353 %not = xor i1 %trunc, true 354 ret i1 %not 355} 356 357; This test failed due to incorrect handling of "shift + icmp" sequence 358define void @test20(i32 %bf.load, i8 %x1, i8* %b_addr) { 359; CHECK-LABEL: test20: 360; CHECK: # %bb.0: 361; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 362; CHECK-NEXT: testl $16777215, %edi # encoding: [0xf7,0xc7,0xff,0xff,0xff,0x00] 363; CHECK-NEXT: # imm = 0xFFFFFF 364; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 365; CHECK-NEXT: movzbl %sil, %ecx # encoding: [0x40,0x0f,0xb6,0xce] 366; CHECK-NEXT: addl %eax, %ecx # encoding: [0x01,0xc1] 367; CHECK-NEXT: setne (%rdx) # encoding: [0x0f,0x95,0x02] 368; CHECK-NEXT: testl $16777215, %edi # encoding: [0xf7,0xc7,0xff,0xff,0xff,0x00] 369; CHECK-NEXT: # imm = 0xFFFFFF 370; CHECK-NEXT: setne d(%rip) # encoding: [0x0f,0x95,0x05,A,A,A,A] 371; CHECK-NEXT: # fixup A - offset: 3, value: d-4, kind: reloc_riprel_4byte 372; CHECK-NEXT: retq # encoding: [0xc3] 373 %bf.shl = shl i32 %bf.load, 8 374 %bf.ashr = ashr exact i32 %bf.shl, 8 375 %tobool4 = icmp ne i32 %bf.ashr, 0 376 %conv = zext i1 %tobool4 to i32 377 %conv6 = zext i8 %x1 to i32 378 %add = add nuw nsw i32 %conv, %conv6 379 %tobool7 = icmp ne i32 %add, 0 380 %frombool = zext i1 %tobool7 to i8 381 store i8 %frombool, i8* %b_addr, align 1 382 %tobool14 = icmp ne i32 %bf.shl, 0 383 %frombool15 = zext i1 %tobool14 to i8 384 store i8 %frombool15, i8* @d, align 1 385 ret void 386} 387 388define i32 @highmask_i64_simplify(i64 %val) { 389; CHECK-LABEL: highmask_i64_simplify: 390; CHECK: # %bb.0: 391; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 392; CHECK-NEXT: retq # encoding: [0xc3] 393 %and = and i64 %val, -2199023255552 394 %cmp = icmp ult i64 %and, 0 395 %ret = zext i1 %cmp to i32 396 ret i32 %ret 397} 398 399define i32 @highmask_i64_mask64(i64 %val) { 400; CHECK-LABEL: highmask_i64_mask64: 401; CHECK: # %bb.0: 402; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 403; CHECK-NEXT: shrq $41, %rdi # encoding: [0x48,0xc1,0xef,0x29] 404; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 405; CHECK-NEXT: retq # encoding: [0xc3] 406 %and = and i64 %val, -2199023255552 407 %cmp = icmp ne i64 %and, 0 408 %ret = zext i1 %cmp to i32 409 ret i32 %ret 410} 411 412define i32 @highmask_i64_mask32(i64 %val) { 413; CHECK-LABEL: highmask_i64_mask32: 414; CHECK: # %bb.0: 415; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 416; CHECK-NEXT: testq $-1048576, %rdi # encoding: [0x48,0xf7,0xc7,0x00,0x00,0xf0,0xff] 417; CHECK-NEXT: # imm = 0xFFF00000 418; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 419; CHECK-NEXT: retq # encoding: [0xc3] 420 %and = and i64 %val, -1048576 421 %cmp = icmp eq i64 %and, 0 422 %ret = zext i1 %cmp to i32 423 ret i32 %ret 424} 425 426define i32 @highmask_i64_mask8(i64 %val) { 427; CHECK-LABEL: highmask_i64_mask8: 428; CHECK: # %bb.0: 429; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 430; CHECK-NEXT: testq $-16, %rdi # encoding: [0x48,0xf7,0xc7,0xf0,0xff,0xff,0xff] 431; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 432; CHECK-NEXT: retq # encoding: [0xc3] 433 %and = and i64 %val, -16 434 %cmp = icmp ne i64 %and, 0 435 %ret = zext i1 %cmp to i32 436 ret i32 %ret 437} 438 439define i32 @lowmask_i64_mask64(i64 %val) { 440; CHECK-LABEL: lowmask_i64_mask64: 441; CHECK: # %bb.0: 442; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 443; CHECK-NEXT: shlq $16, %rdi # encoding: [0x48,0xc1,0xe7,0x10] 444; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 445; CHECK-NEXT: retq # encoding: [0xc3] 446 %and = and i64 %val, 281474976710655 447 %cmp = icmp eq i64 %and, 0 448 %ret = zext i1 %cmp to i32 449 ret i32 %ret 450} 451 452define i32 @lowmask_i64_mask32(i64 %val) { 453; CHECK-LABEL: lowmask_i64_mask32: 454; CHECK: # %bb.0: 455; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 456; CHECK-NEXT: testl $1048575, %edi # encoding: [0xf7,0xc7,0xff,0xff,0x0f,0x00] 457; CHECK-NEXT: # imm = 0xFFFFF 458; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 459; CHECK-NEXT: retq # encoding: [0xc3] 460 %and = and i64 %val, 1048575 461 %cmp = icmp ne i64 %and, 0 462 %ret = zext i1 %cmp to i32 463 ret i32 %ret 464} 465 466define i32 @lowmask_i64_mask8(i64 %val) { 467; CHECK-LABEL: lowmask_i64_mask8: 468; CHECK: # %bb.0: 469; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 470; CHECK-NEXT: testb $31, %dil # encoding: [0x40,0xf6,0xc7,0x1f] 471; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 472; CHECK-NEXT: retq # encoding: [0xc3] 473 %and = and i64 %val, 31 474 %cmp = icmp eq i64 %and, 0 475 %ret = zext i1 %cmp to i32 476 ret i32 %ret 477} 478 479define i32 @highmask_i32_mask32(i32 %val) { 480; CHECK-LABEL: highmask_i32_mask32: 481; CHECK: # %bb.0: 482; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 483; CHECK-NEXT: testl $-1048576, %edi # encoding: [0xf7,0xc7,0x00,0x00,0xf0,0xff] 484; CHECK-NEXT: # imm = 0xFFF00000 485; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 486; CHECK-NEXT: retq # encoding: [0xc3] 487 %and = and i32 %val, -1048576 488 %cmp = icmp ne i32 %and, 0 489 %ret = zext i1 %cmp to i32 490 ret i32 %ret 491} 492 493define i32 @highmask_i32_mask8(i32 %val) { 494; CHECK-LABEL: highmask_i32_mask8: 495; CHECK: # %bb.0: 496; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 497; CHECK-NEXT: testl $-16, %edi # encoding: [0xf7,0xc7,0xf0,0xff,0xff,0xff] 498; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 499; CHECK-NEXT: retq # encoding: [0xc3] 500 %and = and i32 %val, -16 501 %cmp = icmp eq i32 %and, 0 502 %ret = zext i1 %cmp to i32 503 ret i32 %ret 504} 505 506define i32 @lowmask_i32_mask32(i32 %val) { 507; CHECK-LABEL: lowmask_i32_mask32: 508; CHECK: # %bb.0: 509; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 510; CHECK-NEXT: testl $1048575, %edi # encoding: [0xf7,0xc7,0xff,0xff,0x0f,0x00] 511; CHECK-NEXT: # imm = 0xFFFFF 512; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 513; CHECK-NEXT: retq # encoding: [0xc3] 514 %and = and i32 %val, 1048575 515 %cmp = icmp eq i32 %and, 0 516 %ret = zext i1 %cmp to i32 517 ret i32 %ret 518} 519 520define i32 @lowmask_i32_mask8(i32 %val) { 521; CHECK-LABEL: lowmask_i32_mask8: 522; CHECK: # %bb.0: 523; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 524; CHECK-NEXT: testb $31, %dil # encoding: [0x40,0xf6,0xc7,0x1f] 525; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 526; CHECK-NEXT: retq # encoding: [0xc3] 527 %and = and i32 %val, 31 528 %cmp = icmp ne i32 %and, 0 529 %ret = zext i1 %cmp to i32 530 ret i32 %ret 531} 532 533define { i64, i64 } @pr39968(i64, i64, i32) { 534; CHECK-LABEL: pr39968: 535; CHECK: # %bb.0: 536; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 537; CHECK-NEXT: testb $64, %dl # encoding: [0xf6,0xc2,0x40] 538; CHECK-NEXT: cmovneq %rdi, %rsi # encoding: [0x48,0x0f,0x45,0xf7] 539; CHECK-NEXT: cmovneq %rdi, %rax # encoding: [0x48,0x0f,0x45,0xc7] 540; CHECK-NEXT: movq %rsi, %rdx # encoding: [0x48,0x89,0xf2] 541; CHECK-NEXT: retq # encoding: [0xc3] 542 %4 = and i32 %2, 64 543 %5 = icmp ne i32 %4, 0 544 %6 = select i1 %5, i64 %0, i64 %1 545 %7 = select i1 %5, i64 %0, i64 0 546 %8 = insertvalue { i64, i64 } undef, i64 %7, 0 547 %9 = insertvalue { i64, i64 } %8, i64 %6, 1 548 ret { i64, i64 } %9 549} 550 551; Make sure we use a 32-bit comparison without an extend based on the input 552; being pre-sign extended by caller. 553define i32 @pr42189(i16 signext %c) { 554; CHECK-LABEL: pr42189: 555; CHECK: # %bb.0: # %entry 556; CHECK-NEXT: cmpl $32767, %edi # encoding: [0x81,0xff,0xff,0x7f,0x00,0x00] 557; CHECK-NEXT: # imm = 0x7FFF 558; CHECK-NEXT: jne .LBB33_2 # encoding: [0x75,A] 559; CHECK-NEXT: # fixup A - offset: 1, value: .LBB33_2-1, kind: FK_PCRel_1 560; CHECK-NEXT: # %bb.1: # %if.then 561; CHECK-NEXT: jmp g@PLT # TAILCALL 562; CHECK-NEXT: # encoding: [0xeb,A] 563; CHECK-NEXT: # fixup A - offset: 1, value: g@PLT-1, kind: FK_PCRel_1 564; CHECK-NEXT: .LBB33_2: # %if.end 565; CHECK-NEXT: jmp f@PLT # TAILCALL 566; CHECK-NEXT: # encoding: [0xeb,A] 567; CHECK-NEXT: # fixup A - offset: 1, value: f@PLT-1, kind: FK_PCRel_1 568entry: 569 %cmp = icmp eq i16 %c, 32767 570 br i1 %cmp, label %if.then, label %if.end 571 572if.then: ; preds = %entry 573 %call = tail call i32 @g() 574 br label %return 575 576if.end: ; preds = %entry 577 %call2 = tail call i32 @f() 578 br label %return 579 580return: ; preds = %if.end, %if.then 581 %retval.0 = phi i32 [ %call, %if.then ], [ %call2, %if.end ] 582 ret i32 %retval.0 583} 584 585declare i32 @g() 586declare i32 @f() 587