1
; Test that vectors are scalarized/lowered correctly.
5
%d8 = type <8 x double>
12
;;; TEST HANDLING OF VARIOUS VECTOR SIZES
14
define 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]
22
define 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]
30
define 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]
38
define 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]
46
define 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]
54
define 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]
62
;;; TEST VECTOR CONSTRUCTS
65
define void @test_cst(%f4* %P, %f4* %S) {
66
%p = load %f4* %P ; <%f4> [#uses=1]
67
%R = fadd %f4 %p, < float 0x3FB99999A0000000, float 1.000000e+00, float 2.000000e+00, float 4.500000e+00 > ; <%f4> [#uses=1]
72
define void @test_zero(%f4* %P, %f4* %S) {
73
%p = load %f4* %P ; <%f4> [#uses=1]
74
%R = fadd %f4 %p, zeroinitializer ; <%f4> [#uses=1]
79
define void @test_undef(%f4* %P, %f4* %S) {
80
%p = load %f4* %P ; <%f4> [#uses=1]
81
%R = fadd %f4 %p, undef ; <%f4> [#uses=1]
86
define void @test_constant_insert(%f4* %S) {
87
%R = insertelement %f4 zeroinitializer, float 1.000000e+01, i32 0 ; <%f4> [#uses=1]
92
define void @test_variable_buildvector(float %F, %f4* %S) {
93
%R = insertelement %f4 zeroinitializer, float %F, i32 0 ; <%f4> [#uses=1]
98
define void @test_scalar_to_vector(float %F, %f4* %S) {
99
%R = insertelement %f4 undef, float %F, i32 0 ; <%f4> [#uses=1]
100
store %f4 %R, %f4* %S
104
define float @test_extract_elt(%f8* %P) {
105
%p = load %f8* %P ; <%f8> [#uses=1]
106
%R = extractelement %f8 %p, i32 3 ; <float> [#uses=1]
110
define double @test_extract_elt2(%d8* %P) {
111
%p = load %d8* %P ; <%d8> [#uses=1]
112
%R = extractelement %d8 %p, i32 3 ; <double> [#uses=1]
116
define void @test_cast_1(%f4* %b, %i4* %a) {
117
%tmp = load %f4* %b ; <%f4> [#uses=1]
118
%tmp2 = fadd %f4 %tmp, < float 1.000000e+00, float 2.000000e+00, float 3.000000e+00, float 4.000000e+00 > ; <%f4> [#uses=1]
119
%tmp3 = bitcast %f4 %tmp2 to %i4 ; <%i4> [#uses=1]
120
%tmp4 = add %i4 %tmp3, < i32 1, i32 2, i32 3, i32 4 > ; <%i4> [#uses=1]
121
store %i4 %tmp4, %i4* %a
125
define void @test_cast_2(%f8* %a, <8 x i32>* %b) {
126
%T = load %f8* %a ; <%f8> [#uses=1]
127
%T2 = bitcast %f8 %T to <8 x i32> ; <<8 x i32>> [#uses=1]
128
store <8 x i32> %T2, <8 x i32>* %b
132
;;; TEST IMPORTANT IDIOMS
134
define void @splat(%f4* %P, %f4* %Q, float %X) {
135
%tmp = insertelement %f4 undef, float %X, i32 0 ; <%f4> [#uses=1]
136
%tmp2 = insertelement %f4 %tmp, float %X, i32 1 ; <%f4> [#uses=1]
137
%tmp4 = insertelement %f4 %tmp2, float %X, i32 2 ; <%f4> [#uses=1]
138
%tmp6 = insertelement %f4 %tmp4, float %X, i32 3 ; <%f4> [#uses=1]
139
%q = load %f4* %Q ; <%f4> [#uses=1]
140
%R = fadd %f4 %q, %tmp6 ; <%f4> [#uses=1]
141
store %f4 %R, %f4* %P
145
define void @splat_i4(%i4* %P, %i4* %Q, i32 %X) {
146
%tmp = insertelement %i4 undef, i32 %X, i32 0 ; <%i4> [#uses=1]
147
%tmp2 = insertelement %i4 %tmp, i32 %X, i32 1 ; <%i4> [#uses=1]
148
%tmp4 = insertelement %i4 %tmp2, i32 %X, i32 2 ; <%i4> [#uses=1]
149
%tmp6 = insertelement %i4 %tmp4, i32 %X, i32 3 ; <%i4> [#uses=1]
150
%q = load %i4* %Q ; <%i4> [#uses=1]
151
%R = add %i4 %q, %tmp6 ; <%i4> [#uses=1]
152
store %i4 %R, %i4* %P