1; Test that vectors are scalarized/lowered correctly.
2; RUN: llc < %s -march=ppc32 -mcpu=g5 > %t
3; RUN: llc < %s -march=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
14define void @test_f1(%f1* %P, %f1* %Q, %f1* %S) {
15        %p = load %f1* %P               ; <%f1> [#uses=1]
16        %q = load %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
22define void @test_f2(%f2* %P, %f2* %Q, %f2* %S) {
23        %p = load %f2* %P               ; <%f2> [#uses=1]
24        %q = load %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
30define void @test_f4(%f4* %P, %f4* %Q, %f4* %S) {
31        %p = load %f4* %P               ; <%f4> [#uses=1]
32        %q = load %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
38define void @test_f8(%f8* %P, %f8* %Q, %f8* %S) {
39        %p = load %f8* %P               ; <%f8> [#uses=1]
40        %q = load %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
46define void @test_fmul(%f8* %P, %f8* %Q, %f8* %S) {
47        %p = load %f8* %P               ; <%f8> [#uses=1]
48        %q = load %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
54define void @test_div(%f8* %P, %f8* %Q, %f8* %S) {
55        %p = load %f8* %P               ; <%f8> [#uses=1]
56        %q = load %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
62define void @test_rem(%f8* %P, %f8* %Q, %f8* %S) {
63        %p = load %f8* %P               ; <%f8> [#uses=1]
64        %q = load %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
72define void @test_cst(%f4* %P, %f4* %S) {
73        %p = load %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
80define void @test_zero(%f4* %P, %f4* %S) {
81        %p = load %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
87define void @test_undef(%f4* %P, %f4* %S) {
88        %p = load %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
94define 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
101define 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
107define 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
113define float @test_extract_elt(%f8* %P) {
114        %p = load %f8* %P               ; <%f8> [#uses=1]
115        %R = extractelement %f8 %p, i32 3               ; <float> [#uses=1]
116        ret float %R
117}
118
119define double @test_extract_elt2(%d8* %P) {
120        %p = load %d8* %P               ; <%d8> [#uses=1]
121        %R = extractelement %d8 %p, i32 3               ; <double> [#uses=1]
122        ret double %R
123}
124
125define void @test_cast_1(%f4* %b, %i4* %a) {
126        %tmp = load %f4* %b             ; <%f4> [#uses=1]
127        %tmp2 = fadd %f4 %tmp, < float 1.000000e+00, float 2.000000e+00, float
1283.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
135define void @test_cast_2(%f8* %a, <8 x i32>* %b) {
136        %T = load %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
145define 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* %Q               ; <%f4> [#uses=1]
151        %R = fadd %f4 %q, %tmp6          ; <%f4> [#uses=1]
152        store %f4 %R, %f4* %P
153        ret void
154}
155
156define 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* %Q               ; <%i4> [#uses=1]
162        %R = add %i4 %q, %tmp6          ; <%i4> [#uses=1]
163        store %i4 %R, %i4* %P
164        ret void
165}
166
167