llvm/test/CodeGen/X86/vecloadextract.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ;RUN: llc < %s -mtriple=i686 -mattr=sse4.1 -stop-after=finalize-isel 2>&1 | FileCheck %s
   3
   4 ; This test makes sure we discard pointer info when we combine a vector load
   5 ; and a variable extractelement into a scalar load using an index. There's also
   6 ; a test to ensure we don't discard it for the constant index case.
   7
   8 ; CHECK: name: const_index
   9 ; CHECK:  bb.0 (%ir-block.0):
  10 ; CHECK:    [[POINTER:%[0-9]+]]:gr32 = MOV32rm %fixed-stack.0, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.0)
  11 ; CHECK:    [[LOAD:%[0-9]+]]:gr32 = MOV32rm killed [[POINTER]], 1, $noreg, 4, $noreg :: (load (s32) from %ir.v + 4)
  12 ; CHECK:    $eax = COPY [[LOAD]]
  13 ; CHECK:    RET 0, $eax
  14 define i32 @const_index(ptr %v) {
  15   %a = load <8 x i32>, ptr %v
  16   %b = extractelement <8 x i32> %a, i32 1
  17   ret i32 %b
  18 }
  19
  20 ; CHECK: name: variable_index
  21 ; CHECK:  bb.0 (%ir-block.0):
  22 ; CHECK:    [[INDEX:%[0-9]+]]:gr32 = MOV32rm %fixed-stack.0, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.0)
  23 ; CHECK:    [[MASKED_INDEX:%[0-9]+]]:gr32_nosp = AND32ri [[INDEX]], 7, implicit-def dead $eflags
  24 ; CHECK:    [[POINTER:%[0-9]+]]:gr32 = MOV32rm %fixed-stack.1, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.1)
  25 ; CHECK:    [[LOAD:%[0-9]+]]:gr32 = MOV32rm killed [[POINTER]], 4, killed [[MASKED_INDEX]], 0, $noreg :: (load (s32))
  26 ; CHECK:    $eax = COPY [[LOAD]]
  27 ; CHECK:    RET 0, $eax
  28 define i32 @variable_index(ptr %v, i32 %i) {
  29   %a = load <8 x i32>, ptr %v
  30   %b = extractelement <8 x i32> %a, i32 %i
  31   ret i32 %b
  32 }
  33
  34 ; CHECK: name: variable_index_with_addrspace
  35 ; CHECK:  bb.0 (%ir-block.0):
  36 ; CHECK:    [[INDEX:%[0-9]+]]:gr32 = MOV32rm %fixed-stack.0, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.0)
  37 ; CHECK:    [[MASKED_INDEX:%[0-9]+]]:gr32_nosp = AND32ri [[INDEX]], 7, implicit-def dead $eflags
  38 ; CHECK:    [[POINTER:%[0-9]+]]:gr32 = MOV32rm %fixed-stack.1, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.1)
  39 ; CHECK:    [[LOAD:%[0-9]+]]:gr32 = MOV32rm killed [[POINTER]], 4, killed [[MASKED_INDEX]], 0, $noreg :: (load (s32), addrspace 1)
  40 ; CHECK:    $eax = COPY [[LOAD]]
  41 ; CHECK:    RET 0, $eax
  42 define i32 @variable_index_with_addrspace(ptr addrspace(1) %v, i32 %i) {
  43   %a = load <8 x i32>, ptr addrspace(1) %v
  44   %b = extractelement <8 x i32> %a, i32 %i
  45   ret i32 %b
  46 }