llvm/test/CodeGen/X86/pr32345.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -O0 -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s -check-prefix=X64-O0
   3 ; RUN: llc -O0 -mtriple=i686-unknown             < %s | FileCheck %s -check-prefix=X86-O0
   4 ; RUN: llc     -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s -check-prefix=X64
   5 ; RUN: llc     -mtriple=i686-unknown             < %s | FileCheck %s -check-prefix=X86
   6
   7 @var_22 = external dso_local global i16, align 2
   8 @var_27 = external dso_local global i16, align 2
   9
  10 define void @foo() {
  11 ; X64-O0-LABEL: foo:
  12 ; X64-O0:       # %bb.0: # %bb
  13 ; X64-O0-NEXT:    movzwl var_22, %eax
  14 ; X64-O0-NEXT:    movzwl var_27, %ecx
  15 ; X64-O0-NEXT:    xorl %ecx, %eax
  16 ; X64-O0-NEXT:    movzwl var_27, %ecx
  17 ; X64-O0-NEXT:    xorl %ecx, %eax
  18 ; X64-O0-NEXT:    cltq
  19 ; X64-O0-NEXT:    movq %rax, -{{[0-9]+}}(%rsp)
  20 ; X64-O0-NEXT:    movzwl var_22, %eax
  21 ; X64-O0-NEXT:    movzwl var_27, %ecx
  22 ; X64-O0-NEXT:    xorl %ecx, %eax
  23 ; X64-O0-NEXT:    movzwl var_27, %ecx
  24 ; X64-O0-NEXT:    xorl %ecx, %eax
  25 ; X64-O0-NEXT:    cltq
  26 ; X64-O0-NEXT:    movzwl var_27, %ecx
  27 ; X64-O0-NEXT:    subl $16610, %ecx # imm = 0x40E2
  28 ; X64-O0-NEXT:    movl %ecx, %ecx
  29 ; X64-O0-NEXT:    # kill: def $rcx killed $ecx
  30 ; X64-O0-NEXT:    # kill: def $cl killed $rcx
  31 ; X64-O0-NEXT:    sarq %cl, %rax
  32 ; X64-O0-NEXT:    movb %al, %cl
  33 ; X64-O0-NEXT:    # implicit-def: $rax
  34 ; X64-O0-NEXT:    movb %cl, (%rax)
  35 ; X64-O0-NEXT:    retq
  36 ;
  37 ; X86-O0-LABEL: foo:
  38 ; X86-O0:       # %bb.0: # %bb
  39 ; X86-O0-NEXT:    pushl %ebp
  40 ; X86-O0-NEXT:    .cfi_def_cfa_offset 8
  41 ; X86-O0-NEXT:    .cfi_offset %ebp, -8
  42 ; X86-O0-NEXT:    movl %esp, %ebp
  43 ; X86-O0-NEXT:    .cfi_def_cfa_register %ebp
  44 ; X86-O0-NEXT:    andl $-8, %esp
  45 ; X86-O0-NEXT:    subl $24, %esp
  46 ; X86-O0-NEXT:    movzwl var_22, %eax
  47 ; X86-O0-NEXT:    movl %eax, {{[0-9]+}}(%esp)
  48 ; X86-O0-NEXT:    movl $0, {{[0-9]+}}(%esp)
  49 ; X86-O0-NEXT:    movzwl var_22, %edx
  50 ; X86-O0-NEXT:    movb var_27, %cl
  51 ; X86-O0-NEXT:    addb $30, %cl
  52 ; X86-O0-NEXT:    movb %cl, {{[-0-9]+}}(%e{{[sb]}}p) # 1-byte Spill
  53 ; X86-O0-NEXT:    xorl %eax, %eax
  54 ; X86-O0-NEXT:    shrdl %cl, %eax, %edx
  55 ; X86-O0-NEXT:    movb {{[-0-9]+}}(%e{{[sb]}}p), %cl # 1-byte Reload
  56 ; X86-O0-NEXT:    movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
  57 ; X86-O0-NEXT:    testb $32, %cl
  58 ; X86-O0-NEXT:    movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
  59 ; X86-O0-NEXT:    jne .LBB0_2
  60 ; X86-O0-NEXT:  # %bb.1: # %bb
  61 ; X86-O0-NEXT:    movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
  62 ; X86-O0-NEXT:    movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
  63 ; X86-O0-NEXT:  .LBB0_2: # %bb
  64 ; X86-O0-NEXT:    movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
  65 ; X86-O0-NEXT:    movb %al, %cl
  66 ; X86-O0-NEXT:    # implicit-def: $eax
  67 ; X86-O0-NEXT:    movb %cl, (%eax)
  68 ; X86-O0-NEXT:    movl %ebp, %esp
  69 ; X86-O0-NEXT:    popl %ebp
  70 ; X86-O0-NEXT:    .cfi_def_cfa %esp, 4
  71 ; X86-O0-NEXT:    retl
  72 ;
  73 ; X64-LABEL: foo:
  74 ; X64:       # %bb.0: # %bb
  75 ; X64-NEXT:    movzbl var_27(%rip), %ecx
  76 ; X64-NEXT:    movzwl var_22(%rip), %eax
  77 ; X64-NEXT:    movq %rax, -{{[0-9]+}}(%rsp)
  78 ; X64-NEXT:    addb $30, %cl
  79 ; X64-NEXT:    shrq %cl, %rax
  80 ; X64-NEXT:    movb %al, (%rax)
  81 ; X64-NEXT:    retq
  82 ;
  83 ; X86-LABEL: foo:
  84 ; X86:       # %bb.0: # %bb
  85 ; X86-NEXT:    pushl %ebp
  86 ; X86-NEXT:    .cfi_def_cfa_offset 8
  87 ; X86-NEXT:    .cfi_offset %ebp, -8
  88 ; X86-NEXT:    movl %esp, %ebp
  89 ; X86-NEXT:    .cfi_def_cfa_register %ebp
  90 ; X86-NEXT:    andl $-8, %esp
  91 ; X86-NEXT:    subl $8, %esp
  92 ; X86-NEXT:    movzbl var_27, %ecx
  93 ; X86-NEXT:    movzwl var_22, %eax
  94 ; X86-NEXT:    movl %eax, (%esp)
  95 ; X86-NEXT:    movl $0, {{[0-9]+}}(%esp)
  96 ; X86-NEXT:    addb $30, %cl
  97 ; X86-NEXT:    xorl %edx, %edx
  98 ; X86-NEXT:    shrdl %cl, %edx, %eax
  99 ; X86-NEXT:    testb $32, %cl
 100 ; X86-NEXT:    jne .LBB0_2
 101 ; X86-NEXT:  # %bb.1: # %bb
 102 ; X86-NEXT:    movl %eax, %edx
 103 ; X86-NEXT:  .LBB0_2: # %bb
 104 ; X86-NEXT:    movb %dl, (%eax)
 105 ; X86-NEXT:    movl %ebp, %esp
 106 ; X86-NEXT:    popl %ebp
 107 ; X86-NEXT:    .cfi_def_cfa %esp, 4
 108 ; X86-NEXT:    retl
 109 bb:
 110   %tmp = alloca i64, align 8
 111   %tmp1 = load i16, ptr @var_22, align 2
 112   %tmp2 = zext i16 %tmp1 to i32
 113   %tmp3 = load i16, ptr @var_27, align 2
 114   %tmp4 = zext i16 %tmp3 to i32
 115   %tmp5 = xor i32 %tmp2, %tmp4
 116   %tmp6 = load i16, ptr @var_27, align 2
 117   %tmp7 = zext i16 %tmp6 to i32
 118   %tmp8 = xor i32 %tmp5, %tmp7
 119   %tmp9 = sext i32 %tmp8 to i64
 120   store i64 %tmp9, ptr %tmp, align 8
 121   %tmp10 = load i16, ptr @var_22, align 2
 122   %tmp11 = zext i16 %tmp10 to i32
 123   %tmp12 = load i16, ptr @var_27, align 2
 124   %tmp13 = zext i16 %tmp12 to i32
 125   %tmp14 = xor i32 %tmp11, %tmp13
 126   %tmp15 = load i16, ptr @var_27, align 2
 127   %tmp16 = zext i16 %tmp15 to i32
 128   %tmp17 = xor i32 %tmp14, %tmp16
 129   %tmp18 = sext i32 %tmp17 to i64
 130   %tmp19 = load i16, ptr @var_27, align 2
 131   %tmp20 = zext i16 %tmp19 to i32
 132   %tmp21 = sub nsw i32 %tmp20, 16610
 133   %tmp22 = zext i32 %tmp21 to i64
 134   %tmp23 = ashr i64 %tmp18, %tmp22
 135   %tmp24 = trunc i64 %tmp23 to i8
 136   store i8 %tmp24, ptr undef, align 1
 137   ret void
 138 }