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