Fix assert in X86 backend.
[lldb.git] / 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(%f1* %P, %f1* %Q, %f1* %S) {
14         %p = load %f1, %f1* %P          ; <%f1> [#uses=1]
15         %q = load %f1, %f1* %Q          ; <%f1> [#uses=1]
16         %R = fadd %f1 %p, %q            ; <%f1> [#uses=1]
17         store %f1 %R, %f1* %S
18         ret void
19 }
20
21 define void @test_f2(%f2* %P, %f2* %Q, %f2* %S) {
22         %p = load %f2, %f2* %P          ; <%f2> [#uses=1]
23         %q = load %f2, %f2* %Q          ; <%f2> [#uses=1]
24         %R = fadd %f2 %p, %q            ; <%f2> [#uses=1]
25         store %f2 %R, %f2* %S
26         ret void
27 }
28
29 define void @test_f4(%f4* %P, %f4* %Q, %f4* %S) {
30         %p = load %f4, %f4* %P          ; <%f4> [#uses=1]
31         %q = load %f4, %f4* %Q          ; <%f4> [#uses=1]
32         %R = fadd %f4 %p, %q            ; <%f4> [#uses=1]
33         store %f4 %R, %f4* %S
34         ret void
35 }
36
37 define void @test_f8(%f8* %P, %f8* %Q, %f8* %S) {
38         %p = load %f8, %f8* %P          ; <%f8> [#uses=1]
39         %q = load %f8, %f8* %Q          ; <%f8> [#uses=1]
40         %R = fadd %f8 %p, %q            ; <%f8> [#uses=1]
41         store %f8 %R, %f8* %S
42         ret void
43 }
44
45 define void @test_fmul(%f8* %P, %f8* %Q, %f8* %S) {
46         %p = load %f8, %f8* %P          ; <%f8> [#uses=1]
47         %q = load %f8, %f8* %Q          ; <%f8> [#uses=1]
48         %R = fmul %f8 %p, %q            ; <%f8> [#uses=1]
49         store %f8 %R, %f8* %S
50         ret void
51 }
52
53 define void @test_div(%f8* %P, %f8* %Q, %f8* %S) {
54         %p = load %f8, %f8* %P          ; <%f8> [#uses=1]
55         %q = load %f8, %f8* %Q          ; <%f8> [#uses=1]
56         %R = fdiv %f8 %p, %q            ; <%f8> [#uses=1]
57         store %f8 %R, %f8* %S
58         ret void
59 }
60
61 ;;; TEST VECTOR CONSTRUCTS
62
63
64 define void @test_cst(%f4* %P, %f4* %S) {
65         %p = load %f4, %f4* %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, %f4* %S
68         ret void
69 }
70
71 define void @test_zero(%f4* %P, %f4* %S) {
72         %p = load %f4, %f4* %P          ; <%f4> [#uses=1]
73         %R = fadd %f4 %p, zeroinitializer               ; <%f4> [#uses=1]
74         store %f4 %R, %f4* %S
75         ret void
76 }
77
78 define void @test_undef(%f4* %P, %f4* %S) {
79         %p = load %f4, %f4* %P          ; <%f4> [#uses=1]
80         %R = fadd %f4 %p, undef         ; <%f4> [#uses=1]
81         store %f4 %R, %f4* %S
82         ret void
83 }
84
85 define void @test_constant_insert(%f4* %S) {
86         %R = insertelement %f4 zeroinitializer, float 1.000000e+01, i32 0               ; <%f4> [#uses=1]
87         store %f4 %R, %f4* %S
88         ret void
89 }
90
91 define void @test_variable_buildvector(float %F, %f4* %S) {
92         %R = insertelement %f4 zeroinitializer, float %F, i32 0         ; <%f4> [#uses=1]
93         store %f4 %R, %f4* %S
94         ret void
95 }
96
97 define void @test_scalar_to_vector(float %F, %f4* %S) {
98         %R = insertelement %f4 undef, float %F, i32 0           ; <%f4> [#uses=1]
99         store %f4 %R, %f4* %S
100         ret void
101 }
102
103 define float @test_extract_elt(%f8* %P) {
104         %p = load %f8, %f8* %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(%d8* %P) {
110         %p = load %d8, %d8* %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(%f4* %b, %i4* %a) {
116         %tmp = load %f4, %f4* %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, %i4* %a
121         ret void
122 }
123
124 define void @test_cast_2(%f8* %a, <8 x i32>* %b) {
125         %T = load %f8, %f8* %a          ; <%f8> [#uses=1]
126         %T2 = bitcast %f8 %T to <8 x i32>               ; <<8 x i32>> [#uses=1]
127         store <8 x i32> %T2, <8 x i32>* %b
128         ret void
129 }
130
131 ;;; TEST IMPORTANT IDIOMS
132
133 define void @splat(%f4* %P, %f4* %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, %f4* %Q          ; <%f4> [#uses=1]
139         %R = fadd %f4 %q, %tmp6         ; <%f4> [#uses=1]
140         store %f4 %R, %f4* %P
141         ret void
142 }
143
144 define void @splat_i4(%i4* %P, %i4* %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, %i4* %Q          ; <%i4> [#uses=1]
150         %R = add %i4 %q, %tmp6          ; <%i4> [#uses=1]
151         store %i4 %R, %i4* %P
152         ret void
153 }
154
155 define <2 x i32*> @vector_gep(<2 x [3 x {i32, i32}]*> %a) {
156     %w = getelementptr [3 x {i32, i32}], <2 x [3 x {i32, i32}]*> %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 i32*> %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 }