llvm/test/CodeGen/Generic/vector.ll

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