blob: 859a85a14101d921dc7696207621ce46deb1b1e3 [file] [log] [blame]
Reid Spencer0659c452007-05-01 02:56:15 +00001; Test that vectors are scalarized/lowered correctly.
Dan Gohmanc8054d92009-09-09 00:09:15 +00002; RUN: llc < %s -march=ppc32 -mcpu=g5 > %t
NAKAMURA Takumi5b304432011-07-11 16:21:52 +00003; RUN: llc < %s -march=ppc32 -mcpu=g3 >> %t
Reid Spencer0659c452007-05-01 02:56:15 +00004
Tanya Lattnera99d8b52008-02-19 08:07:33 +00005%d8 = type <8 x double>
Reid Spencer0659c452007-05-01 02:56:15 +00006%f1 = type <1 x float>
7%f2 = type <2 x float>
8%f4 = type <4 x float>
Reid Spencer0659c452007-05-01 02:56:15 +00009%f8 = type <8 x float>
Tanya Lattnera99d8b52008-02-19 08:07:33 +000010%i4 = type <4 x i32>
Reid Spencer0659c452007-05-01 02:56:15 +000011
12;;; TEST HANDLING OF VARIOUS VECTOR SIZES
13
Tanya Lattnera99d8b52008-02-19 08:07:33 +000014define 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]
Dan Gohmana5b96452009-06-04 22:49:04 +000017 %R = fadd %f1 %p, %q ; <%f1> [#uses=1]
Tanya Lattnera99d8b52008-02-19 08:07:33 +000018 store %f1 %R, %f1* %S
19 ret void
Reid Spencer0659c452007-05-01 02:56:15 +000020}
21
Tanya Lattnera99d8b52008-02-19 08:07:33 +000022define 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]
Dan Gohmana5b96452009-06-04 22:49:04 +000025 %R = fadd %f2 %p, %q ; <%f2> [#uses=1]
Tanya Lattnera99d8b52008-02-19 08:07:33 +000026 store %f2 %R, %f2* %S
27 ret void
Reid Spencer0659c452007-05-01 02:56:15 +000028}
29
Tanya Lattnera99d8b52008-02-19 08:07:33 +000030define 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]
Dan Gohmana5b96452009-06-04 22:49:04 +000033 %R = fadd %f4 %p, %q ; <%f4> [#uses=1]
Tanya Lattnera99d8b52008-02-19 08:07:33 +000034 store %f4 %R, %f4* %S
35 ret void
Reid Spencer0659c452007-05-01 02:56:15 +000036}
37
Tanya Lattnera99d8b52008-02-19 08:07:33 +000038define 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]
Dan Gohmana5b96452009-06-04 22:49:04 +000041 %R = fadd %f8 %p, %q ; <%f8> [#uses=1]
Tanya Lattnera99d8b52008-02-19 08:07:33 +000042 store %f8 %R, %f8* %S
43 ret void
Reid Spencer0659c452007-05-01 02:56:15 +000044}
45
Tanya Lattnera99d8b52008-02-19 08:07:33 +000046define 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]
Dan Gohmana5b96452009-06-04 22:49:04 +000049 %R = fmul %f8 %p, %q ; <%f8> [#uses=1]
Tanya Lattnera99d8b52008-02-19 08:07:33 +000050 store %f8 %R, %f8* %S
51 ret void
Reid Spencer0659c452007-05-01 02:56:15 +000052}
53
Tanya Lattnera99d8b52008-02-19 08:07:33 +000054define 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
Reid Spencer0659c452007-05-01 02:56:15 +000060}
61
Hal Finkele3930222013-07-08 17:30:25 +000062define 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
Reid Spencer0659c452007-05-01 02:56:15 +000070;;; TEST VECTOR CONSTRUCTS
71
Tanya Lattnera99d8b52008-02-19 08:07:33 +000072define void @test_cst(%f4* %P, %f4* %S) {
73 %p = load %f4* %P ; <%f4> [#uses=1]
Dan Gohmana5b96452009-06-04 22:49:04 +000074 %R = fadd %f4 %p, < float 0x3FB99999A0000000, float 1.000000e+00, float
Tanya Lattnera99d8b52008-02-19 08:07:33 +000075 2.000000e+00, float 4.500000e+00 > ; <%f4> [#uses=1]
76 store %f4 %R, %f4* %S
77 ret void
Reid Spencer0659c452007-05-01 02:56:15 +000078}
79
Tanya Lattnera99d8b52008-02-19 08:07:33 +000080define void @test_zero(%f4* %P, %f4* %S) {
81 %p = load %f4* %P ; <%f4> [#uses=1]
Dan Gohmana5b96452009-06-04 22:49:04 +000082 %R = fadd %f4 %p, zeroinitializer ; <%f4> [#uses=1]
Tanya Lattnera99d8b52008-02-19 08:07:33 +000083 store %f4 %R, %f4* %S
84 ret void
Reid Spencer0659c452007-05-01 02:56:15 +000085}
86
Tanya Lattnera99d8b52008-02-19 08:07:33 +000087define void @test_undef(%f4* %P, %f4* %S) {
88 %p = load %f4* %P ; <%f4> [#uses=1]
Dan Gohmana5b96452009-06-04 22:49:04 +000089 %R = fadd %f4 %p, undef ; <%f4> [#uses=1]
Tanya Lattnera99d8b52008-02-19 08:07:33 +000090 store %f4 %R, %f4* %S
91 ret void
Reid Spencer0659c452007-05-01 02:56:15 +000092}
93
Tanya Lattnera99d8b52008-02-19 08:07:33 +000094define 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
Reid Spencer0659c452007-05-01 02:56:15 +000099}
100
Tanya Lattnera99d8b52008-02-19 08:07:33 +0000101define 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
Reid Spencer0659c452007-05-01 02:56:15 +0000105}
106
Tanya Lattnera99d8b52008-02-19 08:07:33 +0000107define 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
Reid Spencer0659c452007-05-01 02:56:15 +0000111}
112
Tanya Lattnera99d8b52008-02-19 08:07:33 +0000113define 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
Reid Spencer0659c452007-05-01 02:56:15 +0000117}
118
Tanya Lattnera99d8b52008-02-19 08:07:33 +0000119define 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
Reid Spencer0659c452007-05-01 02:56:15 +0000123}
124
Tanya Lattnera99d8b52008-02-19 08:07:33 +0000125define void @test_cast_1(%f4* %b, %i4* %a) {
126 %tmp = load %f4* %b ; <%f4> [#uses=1]
Dan Gohmana5b96452009-06-04 22:49:04 +0000127 %tmp2 = fadd %f4 %tmp, < float 1.000000e+00, float 2.000000e+00, float
Tanya Lattnera99d8b52008-02-19 08:07:33 +00001283.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
Reid Spencer0659c452007-05-01 02:56:15 +0000133}
134
Tanya Lattnera99d8b52008-02-19 08:07:33 +0000135define 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
Reid Spencer0659c452007-05-01 02:56:15 +0000140}
141
142
143;;; TEST IMPORTANT IDIOMS
144
Tanya Lattnera99d8b52008-02-19 08:07:33 +0000145define 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]
Dan Gohmana5b96452009-06-04 22:49:04 +0000151 %R = fadd %f4 %q, %tmp6 ; <%f4> [#uses=1]
Reid Spencer0659c452007-05-01 02:56:15 +0000152 store %f4 %R, %f4* %P
153 ret void
154}
155
Tanya Lattnera99d8b52008-02-19 08:07:33 +0000156define 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]
Reid Spencer0659c452007-05-01 02:56:15 +0000163 store %i4 %R, %i4* %P
164 ret void
165}
166