test/Transforms/InstCombine/vec_shuffle.ll

   1 ; RUN: llvm-as < %s | opt -instcombine -disable-output &&
   2 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep vector_shuffle
   3
   4 %T = type <4 x float>
   5
   6 implementation
   7
   8 define %T %test1(%T %v1) {
   9   %v2 = shufflevector %T %v1, %T undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  10   ret %T %v2
  11 }
  12
  13 define %T %test2(%T %v1) {
  14   %v2 = shufflevector %T %v1, %T %v1, <4 x i32> <i32 0, i32 5, i32 2, i32 7>
  15   ret %T %v2
  16 }
  17
  18 define float %test3(%T %A, %T %B, float %f) {
  19         %C = insertelement %T %A, float %f, i32 0
  20         %D = shufflevector %T %C, %T %B, <4 x i32> <i32 5, i32 0, i32 2, i32 7>
  21         %E = extractelement %T %D, i32 1
  22         ret float %E
  23 }
  24
  25 define i32 %test4(<4 x i32> %X) {
  26         %tmp152.i53899.i = shufflevector <4 x i32> %X, <4 x i32> undef, <4 x i32> zeroinitializer
  27         %tmp34 = extractelement <4 x i32> %tmp152.i53899.i, i32 0
  28         ret i32 %tmp34
  29 }
  30
  31 define i32 %test5(<4 x i32> %X) {
  32         %tmp152.i53899.i = shufflevector <4 x i32> %X, <4 x i32> undef, <4 x i32> <i32 3, i32 2, i32 undef, i32 undef>
  33         %tmp34 = extractelement <4 x i32> %tmp152.i53899.i, i32 0
  34         ret i32 %tmp34
  35 }
  36
  37 define float %test6(<4 x float> %X) {
  38         %X = bitcast <4 x float> %X to <4 x i32>
  39         %tmp152.i53899.i = shufflevector <4 x i32> %X, <4 x i32> undef, <4 x i32> zeroinitializer
  40         %tmp152.i53900.i = bitcast <4 x i32> %tmp152.i53899.i to <4 x float>
  41         %tmp34 = extractelement <4 x float> %tmp152.i53900.i, i32 0
  42         ret float %tmp34
  43 }
  44