test/CodeGen/PowerPC/vector.ll

   1 ; Test that vectors are scalarized/lowered correctly.
   2 ; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -mcpu=g5 > %t
   3 ; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -mcpu=g3 >> %t
   4
   5 %d8 = type <8 x double>
   6 %f1 = type <1 x float>
   7 %f2 = type <2 x float>
   8 %f4 = type <4 x float>
   9 %f8 = type <8 x float>
  10 %i4 = type <4 x i32>
  11
  12 ;;; TEST HANDLING OF VARIOUS VECTOR SIZES
  13
  14 define void @test_f1(%f1* %P, %f1* %Q, %f1* %S) {
  15         %p = load %f1, %f1* %P               ; <%f1> [#uses=1]
  16         %q = load %f1, %f1* %Q               ; <%f1> [#uses=1]
  17         %R = fadd %f1 %p, %q             ; <%f1> [#uses=1]
  18         store %f1 %R, %f1* %S
  19         ret void
  20 }
  21
  22 define void @test_f2(%f2* %P, %f2* %Q, %f2* %S) {
  23         %p = load %f2, %f2* %P               ; <%f2> [#uses=1]
  24         %q = load %f2, %f2* %Q               ; <%f2> [#uses=1]
  25         %R = fadd %f2 %p, %q             ; <%f2> [#uses=1]
  26         store %f2 %R, %f2* %S
  27         ret void
  28 }
  29
  30 define void @test_f4(%f4* %P, %f4* %Q, %f4* %S) {
  31         %p = load %f4, %f4* %P               ; <%f4> [#uses=1]
  32         %q = load %f4, %f4* %Q               ; <%f4> [#uses=1]
  33         %R = fadd %f4 %p, %q             ; <%f4> [#uses=1]
  34         store %f4 %R, %f4* %S
  35         ret void
  36 }
  37
  38 define void @test_f8(%f8* %P, %f8* %Q, %f8* %S) {
  39         %p = load %f8, %f8* %P               ; <%f8> [#uses=1]
  40         %q = load %f8, %f8* %Q               ; <%f8> [#uses=1]
  41         %R = fadd %f8 %p, %q             ; <%f8> [#uses=1]
  42         store %f8 %R, %f8* %S
  43         ret void
  44 }
  45
  46 define void @test_fmul(%f8* %P, %f8* %Q, %f8* %S) {
  47         %p = load %f8, %f8* %P               ; <%f8> [#uses=1]
  48         %q = load %f8, %f8* %Q               ; <%f8> [#uses=1]
  49         %R = fmul %f8 %p, %q             ; <%f8> [#uses=1]
  50         store %f8 %R, %f8* %S
  51         ret void
  52 }
  53
  54 define void @test_div(%f8* %P, %f8* %Q, %f8* %S) {
  55         %p = load %f8, %f8* %P               ; <%f8> [#uses=1]
  56         %q = load %f8, %f8* %Q               ; <%f8> [#uses=1]
  57         %R = fdiv %f8 %p, %q            ; <%f8> [#uses=1]
  58         store %f8 %R, %f8* %S
  59         ret void
  60 }
  61
  62 define void @test_rem(%f8* %P, %f8* %Q, %f8* %S) {
  63         %p = load %f8, %f8* %P               ; <%f8> [#uses=1]
  64         %q = load %f8, %f8* %Q               ; <%f8> [#uses=1]
  65         %R = frem %f8 %p, %q            ; <%f8> [#uses=1]
  66         store %f8 %R, %f8* %S
  67         ret void
  68 }
  69
  70 ;;; TEST VECTOR CONSTRUCTS
  71
  72 define void @test_cst(%f4* %P, %f4* %S) {
  73         %p = load %f4, %f4* %P               ; <%f4> [#uses=1]
  74         %R = fadd %f4 %p, < float 0x3FB99999A0000000, float 1.000000e+00, float
  75  2.000000e+00, float 4.500000e+00 >             ; <%f4> [#uses=1]
  76         store %f4 %R, %f4* %S
  77         ret void
  78 }
  79
  80 define void @test_zero(%f4* %P, %f4* %S) {
  81         %p = load %f4, %f4* %P               ; <%f4> [#uses=1]
  82         %R = fadd %f4 %p, zeroinitializer                ; <%f4> [#uses=1]
  83         store %f4 %R, %f4* %S
  84         ret void
  85 }
  86
  87 define void @test_undef(%f4* %P, %f4* %S) {
  88         %p = load %f4, %f4* %P               ; <%f4> [#uses=1]
  89         %R = fadd %f4 %p, undef          ; <%f4> [#uses=1]
  90         store %f4 %R, %f4* %S
  91         ret void
  92 }
  93
  94 define void @test_constant_insert(%f4* %S) {
  95         %R = insertelement %f4 zeroinitializer, float 1.000000e+01, i32 0
  96                 ; <%f4> [#uses=1]
  97         store %f4 %R, %f4* %S
  98         ret void
  99 }
 100
 101 define void @test_variable_buildvector(float %F, %f4* %S) {
 102         %R = insertelement %f4 zeroinitializer, float %F, i32 0
 103         store %f4 %R, %f4* %S
 104         ret void
 105 }
 106
 107 define void @test_scalar_to_vector(float %F, %f4* %S) {
 108         %R = insertelement %f4 undef, float %F, i32 0
 109         store %f4 %R, %f4* %S
 110         ret void
 111 }
 112
 113 define float @test_extract_elt(%f8* %P) {
 114         %p = load %f8, %f8* %P               ; <%f8> [#uses=1]
 115         %R = extractelement %f8 %p, i32 3               ; <float> [#uses=1]
 116         ret float %R
 117 }
 118
 119 define double @test_extract_elt2(%d8* %P) {
 120         %p = load %d8, %d8* %P               ; <%d8> [#uses=1]
 121         %R = extractelement %d8 %p, i32 3               ; <double> [#uses=1]
 122         ret double %R
 123 }
 124
 125 define void @test_cast_1(%f4* %b, %i4* %a) {
 126         %tmp = load %f4, %f4* %b             ; <%f4> [#uses=1]
 127         %tmp2 = fadd %f4 %tmp, < float 1.000000e+00, float 2.000000e+00, float
 128 3.000000e+00, float 4.000000e+00 >              ; <%f4> [#uses=1]
 129         %tmp3 = bitcast %f4 %tmp2 to %i4                ; <%i4> [#uses=1]
 130         %tmp4 = add %i4 %tmp3, < i32 1, i32 2, i32 3, i32 4 >
 131         store %i4 %tmp4, %i4* %a
 132         ret void
 133 }
 134
 135 define void @test_cast_2(%f8* %a, <8 x i32>* %b) {
 136         %T = load %f8, %f8* %a               ; <%f8> [#uses=1]
 137         %T2 = bitcast %f8 %T to <8 x i32>
 138         store <8 x i32> %T2, <8 x i32>* %b
 139         ret void
 140 }
 141
 142
 143 ;;; TEST IMPORTANT IDIOMS
 144
 145 define void @splat(%f4* %P, %f4* %Q, float %X) {
 146         %tmp = insertelement %f4 undef, float %X, i32 0
 147         %tmp2 = insertelement %f4 %tmp, float %X, i32 1
 148         %tmp4 = insertelement %f4 %tmp2, float %X, i32 2
 149         %tmp6 = insertelement %f4 %tmp4, float %X, i32 3
 150         %q = load %f4, %f4* %Q               ; <%f4> [#uses=1]
 151         %R = fadd %f4 %q, %tmp6          ; <%f4> [#uses=1]
 152         store %f4 %R, %f4* %P
 153         ret void
 154 }
 155
 156 define void @splat_i4(%i4* %P, %i4* %Q, i32 %X) {
 157         %tmp = insertelement %i4 undef, i32 %X, i32 0
 158         %tmp2 = insertelement %i4 %tmp, i32 %X, i32 1
 159         %tmp4 = insertelement %i4 %tmp2, i32 %X, i32 2
 160         %tmp6 = insertelement %i4 %tmp4, i32 %X, i32 3
 161         %q = load %i4, %i4* %Q               ; <%i4> [#uses=1]
 162         %R = add %i4 %q, %tmp6          ; <%i4> [#uses=1]
 163         store %i4 %R, %i4* %P
 164         ret void
 165 }
 166