OLD | NEW |
---|---|
(Empty) | |
1 ; Tests if we can read select instrutions. | |
2 | |
3 ; RUN: llvm-as < %s | pnacl-freeze \ | |
4 ; RUN: | %llvm2ice -notranslate -verbose=inst -build-on-read \ | |
5 ; RUN: -allow-pnacl-reader-error-recovery \ | |
6 ; RUN: | FileCheck %s | |
7 | |
8 define void @Seli1(i32 %p) { | |
9 %vc = trunc i32 %p to i1 | |
10 %vt = trunc i32 %p to i1 | |
11 %ve = trunc i32 %p to i1 | |
12 %r = select i1 %vc, i1 %vt, i1 %ve | |
13 ret void | |
14 } | |
15 | |
16 ; CHECK: define void @Seli1(i32 %__0) { | |
17 ; CHECK-NEXT: __0: | |
18 ; CHECK-NEXT: %__1 = trunc i32 %__0 to i1 | |
19 ; CHECK-NEXT: %__2 = trunc i32 %__0 to i1 | |
20 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
21 ; CHECK-NEXT: %__4 = select i1 %__1, i1 %__2, i1 %__3 | |
22 ; CHECK-NEXT: ret void | |
23 ; CHECK-NEXT: } | |
24 | |
25 define void @Seli8(i32 %p) { | |
26 %vc = trunc i32 %p to i1 | |
27 %vt = trunc i32 %p to i8 | |
28 %ve = trunc i32 %p to i8 | |
29 %r = select i1 %vc, i8 %vt, i8 %ve | |
30 ret void | |
31 } | |
32 | |
33 ; CHECK-NEXT: define void @Seli8(i32 %__0) { | |
34 ; CHECK-NEXT: __0: | |
35 ; CHECK-NEXT: %__1 = trunc i32 %__0 to i1 | |
36 ; CHECK-NEXT: %__2 = trunc i32 %__0 to i8 | |
37 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i8 | |
38 ; CHECK-NEXT: %__4 = select i1 %__1, i8 %__2, i8 %__3 | |
39 ; CHECK-NEXT: ret void | |
40 ; CHECK-NEXT: } | |
41 | |
42 define void @Seli16(i32 %p) { | |
43 %vc = trunc i32 %p to i1 | |
44 %vt = trunc i32 %p to i16 | |
45 %ve = trunc i32 %p to i16 | |
46 %r = select i1 %vc, i16 %vt, i16 %ve | |
47 ret void | |
48 } | |
49 | |
50 ; CHECK-NEXT: define void @Seli16(i32 %__0) { | |
51 ; CHECK-NEXT: __0: | |
52 ; CHECK-NEXT: %__1 = trunc i32 %__0 to i1 | |
53 ; CHECK-NEXT: %__2 = trunc i32 %__0 to i16 | |
54 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i16 | |
55 ; CHECK-NEXT: %__4 = select i1 %__1, i16 %__2, i16 %__3 | |
56 ; CHECK-NEXT: ret void | |
57 ; CHECK-NEXT: } | |
58 | |
59 define void @Seli32(i32 %pc, i32 %pt, i32 %pe) { | |
60 %vc = trunc i32 %pc to i1 | |
61 %r = select i1 %vc, i32 %pt, i32 %pe | |
62 ret void | |
63 } | |
64 | |
65 ; CHECK-NEXT: define void @Seli32(i32 %__0, i32 %__1, i32 %__2) { | |
66 ; CHECK-NEXT: __0: | |
67 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
68 ; CHECK-NEXT: %__4 = select i1 %__3, i32 %__1, i32 %__2 | |
69 ; CHECK-NEXT: ret void | |
70 ; CHECK-NEXT: } | |
71 | |
72 define void @Seli64(i64 %pc, i64 %pt, i64 %pe) { | |
73 %vc = trunc i64 %pc to i1 | |
74 %r = select i1 %vc, i64 %pt, i64 %pe | |
75 ret void | |
76 } | |
77 | |
78 ; CHECK-NEXT: define void @Seli64(i64 %__0, i64 %__1, i64 %__2) { | |
79 ; CHECK-NEXT: __0: | |
80 ; CHECK-NEXT: %__3 = trunc i64 %__0 to i1 | |
81 ; CHECK-NEXT: %__4 = select i1 %__3, i64 %__1, i64 %__2 | |
82 ; CHECK-NEXT: ret void | |
83 ; CHECK-NEXT: } | |
84 | |
85 | |
86 define void @SelFloat(i32 %pc, float %pt, float %pe) { | |
87 %vc = trunc i32 %pc to i1 | |
88 %r = select i1 %vc, float %pt, float %pe | |
89 ret void | |
90 } | |
91 | |
92 ; CHECK-NEXT: define void @SelFloat(i32 %__0, float %__1, float %__2) { | |
93 ; CHECK-NEXT: __0: | |
94 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
95 ; CHECK-NEXT: %__4 = select i1 %__3, float %__1, float %__2 | |
96 ; CHECK-NEXT: ret void | |
97 ; CHECK-NEXT: } | |
98 | |
99 define void @SelDouble(i32 %pc, double %pt, double %pe) { | |
100 %vc = trunc i32 %pc to i1 | |
101 %r = select i1 %vc, double %pt, double %pe | |
102 ret void | |
103 } | |
104 | |
105 ; CHECK-NEXT: define void @SelDouble(i32 %__0, double %__1, double %__2) { | |
106 ; CHECK-NEXT: __0: | |
107 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
108 ; CHECK-NEXT: %__4 = select i1 %__3, double %__1, double %__2 | |
109 ; CHECK-NEXT: ret void | |
110 ; CHECK-NEXT: } | |
111 | |
112 ; Note: Only showing tests for vectors <16 x i8>, <4 x i32> and <4 x float>. | |
113 | |
114 define void @SelV16x8(i32 %pc, <16 x i8> %pt, <16 x i8> %pe) { | |
115 %vc = trunc i32 %pc to i1 | |
116 %r = select i1 %vc, <16 x i8> %pt, <16 x i8> %pe | |
117 ret void | |
118 } | |
119 | |
120 ; CHECK-NEXT: define void @SelV16x8(i32 %__0, <16 x i8> %__1, <16 x i8> %__2) { | |
121 ; CHECK-NEXT: __0: | |
122 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
123 ; CHECK-NEXT: %__4 = select i1 %__3, <16 x i8> %__1, <16 x i8> %__2 | |
124 ; CHECK-NEXT: ret void | |
125 ; CHECK-NEXT: } | |
126 | |
127 define void @SelV4x32(i32 %pc, <4 x i32> %pt, <4 x i32> %pe) { | |
128 %vc = trunc i32 %pc to i1 | |
129 %r = select i1 %vc, <4 x i32> %pt, <4 x i32> %pe | |
130 ret void | |
131 } | |
132 | |
133 ; CHECK-NEXT: define void @SelV4x32(i32 %__0, <4 x i32> %__1, <4 x i32> %__2) { | |
134 ; CHECK-NEXT: __0: | |
135 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
136 ; CHECK-NEXT: %__4 = select i1 %__3, <4 x i32> %__1, <4 x i32> %__2 | |
137 ; CHECK-NEXT: ret void | |
138 ; CHECK-NEXT: } | |
139 | |
140 define void @SelV4xfloat(i32 %pc, <4 x float> %pt, <4 x float> %pe) { | |
141 %vc = trunc i32 %pc to i1 | |
142 %r = select i1 %vc, <4 x float> %pt, <4 x float> %pe | |
143 ret void | |
144 } | |
145 | |
146 ; CHECK-NEXT: define void @SelV4xfloat(i32 %__0, <4 x float> %__1, <4 x float> % __2) { | |
147 ; CHECK-NEXT: __0: | |
148 ; CHECK-NEXT: %__3 = trunc i32 %__0 to i1 | |
149 ; CHECK-NEXT: %__4 = select i1 %__3, <4 x float> %__1, <4 x float> %__2 | |
150 ; CHECK-NEXT: ret void | |
151 ; CHECK-NEXT: } | |
152 | |
Jim Stichnoth
2014/09/02 22:34:01
Single blank line (here and once below) for consis
Karl
2014/09/03 17:16:08
Done.
| |
153 | |
154 define void @SelV16x8Vcond(<16 x i1> %pc, <16 x i8> %pt, <16 x i8> %pe) { | |
155 %r = select <16 x i1> %pc, <16 x i8> %pt, <16 x i8> %pe | |
156 ret void | |
157 } | |
158 | |
159 ; CHECK-NEXT: define void @SelV16x8Vcond(<16 x i1> %__0, <16 x i8> %__1, <16 x i 8> %__2) { | |
160 ; CHECK-NEXT: __0: | |
161 ; CHECK-NEXT: %__3 = select <16 x i1> %__0, <16 x i8> %__1, <16 x i8> %__2 | |
162 ; CHECK-NEXT: ret void | |
163 ; CHECK-NEXT: } | |
164 | |
165 | |
166 define void @SelV4x32Vcond(<4 x i1> %pc, <4 x i32> %pt, <4 x i32> %pe) { | |
167 %r = select <4 x i1> %pc, <4 x i32> %pt, <4 x i32> %pe | |
168 ret void | |
169 } | |
170 | |
171 ; CHECK-NEXT: define void @SelV4x32Vcond(<4 x i1> %__0, <4 x i32> %__1, <4 x i32 > %__2) { | |
172 ; CHECK-NEXT: __0: | |
173 ; CHECK-NEXT: %__3 = select <4 x i1> %__0, <4 x i32> %__1, <4 x i32> %__2 | |
174 ; CHECK-NEXT: ret void | |
175 ; CHECK-NEXT: } | |
176 | |
177 define void @SelV4xfloatVcond(<4 x i1> %pc, <4 x float> %pt, <4 x float> %pe) { | |
Jim Stichnoth
2014/09/02 22:34:01
For completeness, include some missing combos:
(<
Karl
2014/09/03 17:16:08
Done.
Jim Stichnoth
2014/09/03 18:08:22
Still missing one:
(<8 x i1> %cond, <8 x i16> %arg
| |
178 %r = select <4 x i1> %pc, <4 x float> %pt, <4 x float> %pe | |
179 ret void | |
180 } | |
181 | |
182 ; CHECK-NEXT: define void @SelV4xfloatVcond(<4 x i1> %__0, <4 x float> %__1, <4 x float> %__2) { | |
183 ; CHECK-NEXT: __0: | |
184 ; CHECK-NEXT: %__3 = select <4 x i1> %__0, <4 x float> %__1, <4 x float> %__2 | |
185 ; CHECK-NEXT: ret void | |
186 ; CHECK-NEXT: } | |
OLD | NEW |