test/CodeGen/X86/extractelement-load.ll

   1 ; RUN: llc < %s -march=x86 -mattr=+sse2 -mcpu=yonah | FileCheck %s
   2 ; RUN: llc < %s -march=x86-64 -mattr=+sse2 -mcpu=core2 | FileCheck %s
   3
   4 define i32 @t(<2 x i64>* %val) nounwind  {
   5 ; CHECK: t:
   6 ; CHECK-NOT: movd
   7 ; CHECK: movl 8(
   8 ; CHECK-NEXT: ret
   9         %tmp2 = load <2 x i64>* %val, align 16          ; <<2 x i64>> [#uses=1]
  10         %tmp3 = bitcast <2 x i64> %tmp2 to <4 x i32>            ; <<4 x i32>> [#uses=1]
  11         %tmp4 = extractelement <4 x i32> %tmp3, i32 2           ; <i32> [#uses=1]
  12         ret i32 %tmp4
  13 }
  14
  15 ; Case where extractelement of load ends up as undef.
  16 ; (Making sure this doesn't crash.)
  17 define i32 @t2(<8 x i32>* %xp) {
  18 ; CHECK: t2:
  19 ; CHECK: ret
  20   %x = load <8 x i32>* %xp
  21   %Shuff68 = shufflevector <8 x i32> %x, <8 x i32> undef, <8 x i32> <i32
  22 undef, i32 7, i32 9, i32 undef, i32 13, i32 15, i32 1, i32 3>
  23   %y = extractelement <8 x i32> %Shuff68, i32 0
  24   ret i32 %y
  25 }