test/Transforms/InstCombine/vec_extract_elt.ll

   1 ; RUN: opt < %s -instcombine -S | not grep extractelement
   2
   3 define i32 @test(float %f) {
   4         %tmp7 = insertelement <4 x float> undef, float %f, i32 0                ; <<4 x float>> [#uses=1]
   5         %tmp17 = bitcast <4 x float> %tmp7 to <4 x i32>         ; <<4 x i32>> [#uses=1]
   6         %tmp19 = extractelement <4 x i32> %tmp17, i32 0         ; <i32> [#uses=1]
   7         ret i32 %tmp19
   8 }
   9
  10 define i64 @test2(i64 %in) {
  11   %vec = insertelement <8 x i64> undef, i64 %in, i32 0
  12   %splat = shufflevector <8 x i64> %vec, <8 x i64> undef, <8 x i32> zeroinitializer
  13   %add = add <8 x i64> %splat, <i64 0, i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7>
  14   %scl1 = extractelement <8 x i64> %add, i32 0
  15   %scl2 = extractelement <8 x i64> %add, i32 0
  16   %r = add i64 %scl1, %scl2
  17   ret i64 %r
  18 }
  19