test/CodeGen/X86/pr32282.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mcpu=skx | FileCheck %s --check-prefix=X86
   3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=skx | FileCheck %s --check-prefix=X64
   4
   5 ; Check for assert in foldMaskAndShiftToScale due to out of range mask scaling.
   6
   7 @b = common global i8 zeroinitializer, align 1
   8 @c = common global i8 zeroinitializer, align 1
   9 @d = common global i64 zeroinitializer, align 8
  10 @e = common global i64 zeroinitializer, align 8
  11
  12 define void @foo(i64 %x) nounwind {
  13 ; X86-LABEL: foo:
  14 ; X86:       # %bb.0:
  15 ; X86-NEXT:    pushl %eax
  16 ; X86-NEXT:    movl d, %eax
  17 ; X86-NEXT:    notl %eax
  18 ; X86-NEXT:    movl d+4, %ecx
  19 ; X86-NEXT:    notl %ecx
  20 ; X86-NEXT:    andl $701685459, %ecx # imm = 0x29D2DED3
  21 ; X86-NEXT:    andl $-564453154, %eax # imm = 0xDE5B20DE
  22 ; X86-NEXT:    shrdl $21, %ecx, %eax
  23 ; X86-NEXT:    shrl $21, %ecx
  24 ; X86-NEXT:    andl $-2, %eax
  25 ; X86-NEXT:    addl $7, %eax
  26 ; X86-NEXT:    adcl $0, %ecx
  27 ; X86-NEXT:    pushl %ecx
  28 ; X86-NEXT:    pushl %eax
  29 ; X86-NEXT:    pushl {{[0-9]+}}(%esp)
  30 ; X86-NEXT:    pushl {{[0-9]+}}(%esp)
  31 ; X86-NEXT:    calll __divdi3
  32 ; X86-NEXT:    addl $16, %esp
  33 ; X86-NEXT:    orl %eax, %edx
  34 ; X86-NEXT:    setne {{[0-9]+}}(%esp)
  35 ; X86-NEXT:    popl %eax
  36 ; X86-NEXT:    retl
  37 ;
  38 ; X64-LABEL: foo:
  39 ; X64:       # %bb.0:
  40 ; X64-NEXT:    movq %rdi, %rax
  41 ; X64-NEXT:    movq {{.*}}(%rip), %rcx
  42 ; X64-NEXT:    movabsq $3013716102212485120, %rdx # imm = 0x29D2DED3DE400000
  43 ; X64-NEXT:    andnq %rdx, %rcx, %rcx
  44 ; X64-NEXT:    shrq $21, %rcx
  45 ; X64-NEXT:    addq $7, %rcx
  46 ; X64-NEXT:    movq %rdi, %rdx
  47 ; X64-NEXT:    orq %rcx, %rdx
  48 ; X64-NEXT:    shrq $32, %rdx
  49 ; X64-NEXT:    je .LBB0_1
  50 ; X64-NEXT:  # %bb.2:
  51 ; X64-NEXT:    cqto
  52 ; X64-NEXT:    idivq %rcx
  53 ; X64-NEXT:    jmp .LBB0_3
  54 ; X64-NEXT:  .LBB0_1:
  55 ; X64-NEXT:    # kill: def $eax killed $eax killed $rax
  56 ; X64-NEXT:    xorl %edx, %edx
  57 ; X64-NEXT:    divl %ecx
  58 ; X64-NEXT:    # kill: def $eax killed $eax def $rax
  59 ; X64-NEXT:  .LBB0_3:
  60 ; X64-NEXT:    testq %rax, %rax
  61 ; X64-NEXT:    setne -{{[0-9]+}}(%rsp)
  62 ; X64-NEXT:    retq
  63   %1 = alloca i8, align 1
  64   %2 = load i64, i64* @d, align 8
  65   %3 = or i64 -3013716102214263007, %2
  66   %4 = xor i64 %3, -1
  67   %5 = load i64, i64* @e, align 8
  68   %6 = load i8, i8* @b, align 1
  69   %7 = trunc i8 %6 to i1
  70   %8 = zext i1 %7 to i64
  71   %9 = xor i64 %5, %8
  72   %10 = load i8, i8* @c, align 1
  73   %11 = trunc i8 %10 to i1
  74   %12 = zext i1 %11 to i32
  75   %13 = or i32 551409149, %12
  76   %14 = sub nsw i32 %13, 551409131
  77   %15 = zext i32 %14 to i64
  78   %16 = shl i64 %9, %15
  79   %17 = sub nsw i64 %16, 223084523
  80   %18 = ashr i64 %4, %17
  81   %19 = and i64 %18, 9223372036854775806
  82   %20 = add nsw i64 7, %19
  83   %21 = sdiv i64 %x, %20
  84   %22 = icmp ne i64 %21, 0
  85   %23 = zext i1 %22 to i8
  86   store i8 %23, i8* %1, align 1
  87   ret void
  88 }