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
13define 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
21define 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
29define 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
37define 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
45define 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
53define 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
64define 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
71define 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
78define 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
85define 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
91define 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
97define 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
103define 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
109define 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
115define 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
124define 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
133define 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
144define 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
155define <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
160define 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}
165