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 = 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: # %entry 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] 101entry: 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 {{.*}}(%rip), %xmm0 # encoding: [0x66,0x0f,0x2e,0x05,A,A,A,A] 111; CHECK-NEXT: # fixup A - offset: 4, value: {{\.LCPI.*}}-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 {{.*}}(%rip), %xmm0 # encoding: [0x66,0x0f,0x2e,0x05,A,A,A,A] 116; CHECK-NEXT: # fixup A - offset: 4, value: {{\.LCPI.*}}-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 # TAILCALL 125; CHECK-NEXT: # encoding: [0xeb,A] 126; CHECK-NEXT: # fixup A - offset: 1, value: foo-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 }, { i64, i64 }* %A, i64 0, i32 1 158 %C = load i64, i64* %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: # %entry 185; CHECK-NEXT: shrq $32, %rdi # encoding: [0x48,0xc1,0xef,0x20] 186; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 187; CHECK-NEXT: cmpq $3, %rdi # encoding: [0x48,0x83,0xff,0x03] 188; CHECK-NEXT: setb %al # encoding: [0x0f,0x92,0xc0] 189; CHECK-NEXT: retq # encoding: [0xc3] 190entry: 191 %lnot = icmp ult i64 %res, 12884901888 192 %lnot.ext = zext i1 %lnot to i32 193 ret i32 %lnot.ext 194} 195 196define i32 @test9(i64 %res) nounwind { 197; CHECK-LABEL: test9: 198; CHECK: # BB#0: # %entry 199; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 200; CHECK-NEXT: shrq $33, %rdi # encoding: [0x48,0xc1,0xef,0x21] 201; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 202; CHECK-NEXT: retq # encoding: [0xc3] 203entry: 204 %lnot = icmp ult i64 %res, 8589934592 205 %lnot.ext = zext i1 %lnot to i32 206 ret i32 %lnot.ext 207} 208 209define i32 @test10(i64 %res) nounwind { 210; CHECK-LABEL: test10: 211; CHECK: # BB#0: # %entry 212; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 213; CHECK-NEXT: shrq $32, %rdi # encoding: [0x48,0xc1,0xef,0x20] 214; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 215; CHECK-NEXT: retq # encoding: [0xc3] 216entry: 217 %lnot = icmp uge i64 %res, 4294967296 218 %lnot.ext = zext i1 %lnot to i32 219 ret i32 %lnot.ext 220} 221 222define i32 @test11(i64 %l) nounwind { 223; CHECK-LABEL: test11: 224; CHECK: # BB#0: # %entry 225; CHECK-NEXT: shrq $47, %rdi # encoding: [0x48,0xc1,0xef,0x2f] 226; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 227; CHECK-NEXT: cmpq $1, %rdi # encoding: [0x48,0x83,0xff,0x01] 228; CHECK-NEXT: sete %al # encoding: [0x0f,0x94,0xc0] 229; CHECK-NEXT: retq # encoding: [0xc3] 230entry: 231 %shr.mask = and i64 %l, -140737488355328 232 %cmp = icmp eq i64 %shr.mask, 140737488355328 233 %conv = zext i1 %cmp to i32 234 ret i32 %conv 235} 236 237define i32 @test12() ssp uwtable { 238; CHECK-LABEL: test12: 239; CHECK: # BB#0: # %entry 240; CHECK-NEXT: pushq %rax # encoding: [0x50] 241; CHECK-NEXT: .Lcfi0: 242; CHECK-NEXT: .cfi_def_cfa_offset 16 243; CHECK-NEXT: callq test12b # encoding: [0xe8,A,A,A,A] 244; CHECK-NEXT: # fixup A - offset: 1, value: test12b-4, kind: FK_PCRel_4 245; CHECK-NEXT: testb %al, %al # encoding: [0x84,0xc0] 246; CHECK-NEXT: je .LBB12_2 # encoding: [0x74,A] 247; CHECK-NEXT: # fixup A - offset: 1, value: .LBB12_2-1, kind: FK_PCRel_1 248; CHECK-NEXT: # BB#1: # %T 249; CHECK-NEXT: movl $1, %eax # encoding: [0xb8,0x01,0x00,0x00,0x00] 250; CHECK-NEXT: popq %rcx # encoding: [0x59] 251; CHECK-NEXT: retq # encoding: [0xc3] 252; CHECK-NEXT: .LBB12_2: # %F 253; CHECK-NEXT: movl $2, %eax # encoding: [0xb8,0x02,0x00,0x00,0x00] 254; CHECK-NEXT: popq %rcx # encoding: [0x59] 255; CHECK-NEXT: retq # encoding: [0xc3] 256entry: 257 %tmp1 = call zeroext i1 @test12b() 258 br i1 %tmp1, label %T, label %F 259 260T: 261 ret i32 1 262 263F: 264 ret i32 2 265} 266 267declare zeroext i1 @test12b() 268 269define i32 @test13(i32 %mask, i32 %base, i32 %intra) { 270; CHECK-LABEL: test13: 271; CHECK: # BB#0: # %entry 272; CHECK-NEXT: testb $8, %dil # encoding: [0x40,0xf6,0xc7,0x08] 273; CHECK-NEXT: cmovnel %edx, %esi # encoding: [0x0f,0x45,0xf2] 274; CHECK-NEXT: movl %esi, %eax # encoding: [0x89,0xf0] 275; CHECK-NEXT: retq # encoding: [0xc3] 276entry: 277 %and = and i32 %mask, 8 278 %tobool = icmp ne i32 %and, 0 279 %cond = select i1 %tobool, i32 %intra, i32 %base 280 ret i32 %cond 281 282} 283 284define i32 @test14(i32 %mask, i32 %base, i32 %intra) { 285; CHECK-LABEL: test14: 286; CHECK: # BB#0: # %entry 287; CHECK-NEXT: shrl $7, %edi # encoding: [0xc1,0xef,0x07] 288; CHECK-NEXT: cmovnsl %edx, %esi # encoding: [0x0f,0x49,0xf2] 289; CHECK-NEXT: movl %esi, %eax # encoding: [0x89,0xf0] 290; CHECK-NEXT: retq # encoding: [0xc3] 291entry: 292 %s = lshr i32 %mask, 7 293 %tobool = icmp sgt i32 %s, -1 294 %cond = select i1 %tobool, i32 %intra, i32 %base 295 ret i32 %cond 296 297} 298 299; PR19964 300define zeroext i1 @test15(i32 %bf.load, i32 %n) { 301; CHECK-LABEL: test15: 302; CHECK: # BB#0: # %entry 303; CHECK-NEXT: shrl $16, %edi # encoding: [0xc1,0xef,0x10] 304; CHECK-NEXT: sete %cl # encoding: [0x0f,0x94,0xc1] 305; CHECK-NEXT: cmpl %esi, %edi # encoding: [0x39,0xf7] 306; CHECK-NEXT: setae %al # encoding: [0x0f,0x93,0xc0] 307; CHECK-NEXT: orb %cl, %al # encoding: [0x08,0xc8] 308; CHECK-NEXT: retq # encoding: [0xc3] 309entry: 310 %bf.lshr = lshr i32 %bf.load, 16 311 %cmp2 = icmp eq i32 %bf.lshr, 0 312 %cmp5 = icmp uge i32 %bf.lshr, %n 313 %.cmp5 = or i1 %cmp2, %cmp5 314 ret i1 %.cmp5 315 316} 317 318define i8 @test16(i16 signext %L) { 319; CHECK-LABEL: test16: 320; CHECK: # BB#0: # %entry 321; CHECK-NEXT: testw %di, %di # encoding: [0x66,0x85,0xff] 322; CHECK-NEXT: setns %al # encoding: [0x0f,0x99,0xc0] 323; CHECK-NEXT: retq # encoding: [0xc3] 324entry: 325 %lshr = lshr i16 %L, 15 326 %trunc = trunc i16 %lshr to i8 327 %not = xor i8 %trunc, 1 328 ret i8 %not 329 330} 331 332define i8 @test17(i32 %L) { 333; CHECK-LABEL: test17: 334; CHECK: # BB#0: # %entry 335; CHECK-NEXT: testl %edi, %edi # encoding: [0x85,0xff] 336; CHECK-NEXT: setns %al # encoding: [0x0f,0x99,0xc0] 337; CHECK-NEXT: retq # encoding: [0xc3] 338entry: 339 %lshr = lshr i32 %L, 31 340 %trunc = trunc i32 %lshr to i8 341 %not = xor i8 %trunc, 1 342 ret i8 %not 343 344} 345 346define i8 @test18(i64 %L) { 347; CHECK-LABEL: test18: 348; CHECK: # BB#0: # %entry 349; CHECK-NEXT: testq %rdi, %rdi # encoding: [0x48,0x85,0xff] 350; CHECK-NEXT: setns %al # encoding: [0x0f,0x99,0xc0] 351; CHECK-NEXT: retq # encoding: [0xc3] 352entry: 353 %lshr = lshr i64 %L, 63 354 %trunc = trunc i64 %lshr to i8 355 %not = xor i8 %trunc, 1 356 ret i8 %not 357 358} 359 360define zeroext i1 @test19(i32 %L) { 361; CHECK-LABEL: test19: 362; CHECK: # BB#0: # %entry 363; CHECK-NEXT: testl %edi, %edi # encoding: [0x85,0xff] 364; CHECK-NEXT: setns %al # encoding: [0x0f,0x99,0xc0] 365; CHECK-NEXT: retq # encoding: [0xc3] 366entry: 367 %lshr = lshr i32 %L, 31 368 %trunc = trunc i32 %lshr to i1 369 %not = xor i1 %trunc, true 370 ret i1 %not 371 372} 373 374; This test failed due to incorrect handling of "shift + icmp" sequence 375define void @test20(i32 %bf.load, i8 %x1, i8* %b_addr) { 376; CHECK-LABEL: test20: 377; CHECK: # BB#0: # %entry 378; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 379; CHECK-NEXT: testl $16777215, %edi # encoding: [0xf7,0xc7,0xff,0xff,0xff,0x00] 380; CHECK-NEXT: # imm = 0xFFFFFF 381; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 382; CHECK-NEXT: movzbl %sil, %ecx # encoding: [0x40,0x0f,0xb6,0xce] 383; CHECK-NEXT: addl %eax, %ecx # encoding: [0x01,0xc1] 384; CHECK-NEXT: setne (%rdx) # encoding: [0x0f,0x95,0x02] 385; CHECK-NEXT: testl $16777215, %edi # encoding: [0xf7,0xc7,0xff,0xff,0xff,0x00] 386; CHECK-NEXT: # imm = 0xFFFFFF 387; CHECK-NEXT: setne {{.*}}(%rip) # encoding: [0x0f,0x95,0x05,A,A,A,A] 388; CHECK-NEXT: # fixup A - offset: 3, value: d-4, kind: reloc_riprel_4byte 389; CHECK-NEXT: retq # encoding: [0xc3] 390entry: 391 %bf.shl = shl i32 %bf.load, 8 392 %bf.ashr = ashr exact i32 %bf.shl, 8 393 %tobool4 = icmp ne i32 %bf.ashr, 0 394 %conv = zext i1 %tobool4 to i32 395 %conv6 = zext i8 %x1 to i32 396 %add = add nuw nsw i32 %conv, %conv6 397 %tobool7 = icmp ne i32 %add, 0 398 %frombool = zext i1 %tobool7 to i8 399 store i8 %frombool, i8* %b_addr, align 1 400 %tobool14 = icmp ne i32 %bf.shl, 0 401 %frombool15 = zext i1 %tobool14 to i8 402 store i8 %frombool15, i8* @d, align 1 403 ret void 404 405} 406 407define i32 @test21(i64 %val) { 408; CHECK-LABEL: test21: 409; CHECK: # BB#0: # %entry 410; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 411; CHECK-NEXT: shrq $41, %rdi # encoding: [0x48,0xc1,0xef,0x29] 412; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 413; CHECK-NEXT: retq # encoding: [0xc3] 414entry: 415 %and = and i64 %val, -2199023255552 416 %cmp = icmp ne i64 %and, 0 417 %ret = zext i1 %cmp to i32 418 ret i32 %ret 419 420} 421 422; AND-to-SHR transformation is enabled for eq/ne condition codes only. 423define i32 @test22(i64 %val) { 424; CHECK-LABEL: test22: 425; CHECK: # BB#0: # %entry 426; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 427; CHECK-NEXT: retq # encoding: [0xc3] 428entry: 429 %and = and i64 %val, -2199023255552 430 %cmp = icmp ult i64 %and, 0 431 %ret = zext i1 %cmp to i32 432 ret i32 %ret 433 434} 435 436define i32 @test23(i64 %val) { 437; CHECK-LABEL: test23: 438; CHECK: # BB#0: # %entry 439; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 440; CHECK-NEXT: testq $-1048576, %rdi # encoding: [0x48,0xf7,0xc7,0x00,0x00,0xf0,0xff] 441; CHECK-NEXT: # imm = 0xFFF00000 442; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 443; CHECK-NEXT: retq # encoding: [0xc3] 444entry: 445 %and = and i64 %val, -1048576 446 %cmp = icmp ne i64 %and, 0 447 %ret = zext i1 %cmp to i32 448 ret i32 %ret 449 450} 451 452define i32 @test24(i64 %val) { 453; CHECK-LABEL: test24: 454; CHECK: # BB#0: # %entry 455; CHECK-NEXT: xorl %eax, %eax # encoding: [0x31,0xc0] 456; CHECK-NEXT: shlq $16, %rdi # encoding: [0x48,0xc1,0xe7,0x10] 457; CHECK-NEXT: setne %al # encoding: [0x0f,0x95,0xc0] 458; CHECK-NEXT: retq # encoding: [0xc3] 459entry: 460 %and = and i64 %val, 281474976710655 461 %cmp = icmp ne i64 %and, 0 462 %ret = zext i1 %cmp to i32 463 ret i32 %ret 464 465} 466