blob: f329266a3c234012abbfb432009bddece50e50bb [file] [log] [blame]
Dan Gohmana0801592009-09-11 18:36:27 +00001; RUN: llc < %s -march=cellspu > %t1.s
Evan Cheng2e9f42b2009-03-25 20:20:11 +00002; RUN: grep and %t1.s | count 2
Scott Michel098c1132007-12-19 20:15:47 +00003; RUN: grep orc %t1.s | count 85
Kalle Raiskilaf5769c12011-09-02 10:05:01 +00004; RUN: grep ori %t1.s | count 34
Scott Michel098c1132007-12-19 20:15:47 +00005; RUN: grep orhi %t1.s | count 30
6; RUN: grep orbi %t1.s | count 15
Kalle Raiskilaf5769c12011-09-02 10:05:01 +00007; RUN: FileCheck %s < %t1.s
8
Dan Gohman198b7ff2011-11-03 21:49:52 +00009; CellSPU legalization is over-sensitive to Legalize's traversal order.
10; XFAIL: *
11
Scott Michel8d5841a2008-01-11 02:53:15 +000012target datalayout = "E-p:32:32:128-f64:64:128-f32:32:128-i64:32:128-i32:32:128-i16:16:128-i8:8:128-i1:8:128-a0:0:128-v128:128:128-s0:128:128"
13target triple = "spu"
Scott Michel098c1132007-12-19 20:15:47 +000014
15; OR instruction generation:
16define <4 x i32> @or_v4i32_1(<4 x i32> %arg1, <4 x i32> %arg2) {
17 %A = or <4 x i32> %arg1, %arg2
18 ret <4 x i32> %A
19}
20
21define <4 x i32> @or_v4i32_2(<4 x i32> %arg1, <4 x i32> %arg2) {
22 %A = or <4 x i32> %arg2, %arg1
23 ret <4 x i32> %A
24}
25
26define <8 x i16> @or_v8i16_1(<8 x i16> %arg1, <8 x i16> %arg2) {
27 %A = or <8 x i16> %arg1, %arg2
28 ret <8 x i16> %A
29}
30
31define <8 x i16> @or_v8i16_2(<8 x i16> %arg1, <8 x i16> %arg2) {
32 %A = or <8 x i16> %arg2, %arg1
33 ret <8 x i16> %A
34}
35
36define <16 x i8> @or_v16i8_1(<16 x i8> %arg1, <16 x i8> %arg2) {
37 %A = or <16 x i8> %arg2, %arg1
38 ret <16 x i8> %A
39}
40
41define <16 x i8> @or_v16i8_2(<16 x i8> %arg1, <16 x i8> %arg2) {
42 %A = or <16 x i8> %arg1, %arg2
43 ret <16 x i8> %A
44}
45
46define i32 @or_i32_1(i32 %arg1, i32 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +000047 %A = or i32 %arg2, %arg1
48 ret i32 %A
Scott Michel098c1132007-12-19 20:15:47 +000049}
50
51define i32 @or_i32_2(i32 %arg1, i32 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +000052 %A = or i32 %arg1, %arg2
53 ret i32 %A
Scott Michel098c1132007-12-19 20:15:47 +000054}
55
56define i16 @or_i16_1(i16 %arg1, i16 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +000057 %A = or i16 %arg2, %arg1
58 ret i16 %A
Scott Michel098c1132007-12-19 20:15:47 +000059}
60
61define i16 @or_i16_2(i16 %arg1, i16 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +000062 %A = or i16 %arg1, %arg2
63 ret i16 %A
Scott Michel098c1132007-12-19 20:15:47 +000064}
65
66define i8 @or_i8_1(i8 %arg1, i8 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +000067 %A = or i8 %arg2, %arg1
68 ret i8 %A
Scott Michel098c1132007-12-19 20:15:47 +000069}
70
71define i8 @or_i8_2(i8 %arg1, i8 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +000072 %A = or i8 %arg1, %arg2
73 ret i8 %A
Scott Michel098c1132007-12-19 20:15:47 +000074}
75
76; ORC instruction generation:
77define <4 x i32> @orc_v4i32_1(<4 x i32> %arg1, <4 x i32> %arg2) {
78 %A = xor <4 x i32> %arg2, < i32 -1, i32 -1, i32 -1, i32 -1 >
79 %B = or <4 x i32> %arg1, %A
80 ret <4 x i32> %B
81}
82
83define <4 x i32> @orc_v4i32_2(<4 x i32> %arg1, <4 x i32> %arg2) {
84 %A = xor <4 x i32> %arg1, < i32 -1, i32 -1, i32 -1, i32 -1 >
85 %B = or <4 x i32> %arg2, %A
86 ret <4 x i32> %B
87}
88
89define <4 x i32> @orc_v4i32_3(<4 x i32> %arg1, <4 x i32> %arg2) {
90 %A = xor <4 x i32> %arg1, < i32 -1, i32 -1, i32 -1, i32 -1 >
91 %B = or <4 x i32> %A, %arg2
92 ret <4 x i32> %B
93}
94
95define <8 x i16> @orc_v8i16_1(<8 x i16> %arg1, <8 x i16> %arg2) {
96 %A = xor <8 x i16> %arg2, < i16 -1, i16 -1, i16 -1, i16 -1,
97 i16 -1, i16 -1, i16 -1, i16 -1 >
98 %B = or <8 x i16> %arg1, %A
99 ret <8 x i16> %B
100}
101
102define <8 x i16> @orc_v8i16_2(<8 x i16> %arg1, <8 x i16> %arg2) {
103 %A = xor <8 x i16> %arg1, < i16 -1, i16 -1, i16 -1, i16 -1,
104 i16 -1, i16 -1, i16 -1, i16 -1 >
105 %B = or <8 x i16> %arg2, %A
106 ret <8 x i16> %B
107}
108
109define <16 x i8> @orc_v16i8_1(<16 x i8> %arg1, <16 x i8> %arg2) {
110 %A = xor <16 x i8> %arg1, < i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1,
111 i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1,
112 i8 -1, i8 -1, i8 -1, i8 -1 >
113 %B = or <16 x i8> %arg2, %A
114 ret <16 x i8> %B
115}
116
117define <16 x i8> @orc_v16i8_2(<16 x i8> %arg1, <16 x i8> %arg2) {
118 %A = xor <16 x i8> %arg2, < i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1,
119 i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1,
120 i8 -1, i8 -1, i8 -1, i8 -1 >
121 %B = or <16 x i8> %arg1, %A
122 ret <16 x i8> %B
123}
124
125define <16 x i8> @orc_v16i8_3(<16 x i8> %arg1, <16 x i8> %arg2) {
126 %A = xor <16 x i8> %arg2, < i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1,
127 i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1,
128 i8 -1, i8 -1, i8 -1, i8 -1 >
129 %B = or <16 x i8> %A, %arg1
130 ret <16 x i8> %B
131}
132
133define i32 @orc_i32_1(i32 %arg1, i32 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +0000134 %A = xor i32 %arg2, -1
135 %B = or i32 %A, %arg1
136 ret i32 %B
Scott Michel098c1132007-12-19 20:15:47 +0000137}
138
139define i32 @orc_i32_2(i32 %arg1, i32 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +0000140 %A = xor i32 %arg1, -1
141 %B = or i32 %A, %arg2
142 ret i32 %B
Scott Michel098c1132007-12-19 20:15:47 +0000143}
144
145define i32 @orc_i32_3(i32 %arg1, i32 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +0000146 %A = xor i32 %arg2, -1
147 %B = or i32 %arg1, %A
148 ret i32 %B
Scott Michel098c1132007-12-19 20:15:47 +0000149}
150
151define i16 @orc_i16_1(i16 %arg1, i16 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +0000152 %A = xor i16 %arg2, -1
153 %B = or i16 %A, %arg1
154 ret i16 %B
Scott Michel098c1132007-12-19 20:15:47 +0000155}
156
157define i16 @orc_i16_2(i16 %arg1, i16 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +0000158 %A = xor i16 %arg1, -1
159 %B = or i16 %A, %arg2
160 ret i16 %B
Scott Michel098c1132007-12-19 20:15:47 +0000161}
162
163define i16 @orc_i16_3(i16 %arg1, i16 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +0000164 %A = xor i16 %arg2, -1
165 %B = or i16 %arg1, %A
166 ret i16 %B
Scott Michel098c1132007-12-19 20:15:47 +0000167}
168
169define i8 @orc_i8_1(i8 %arg1, i8 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +0000170 %A = xor i8 %arg2, -1
171 %B = or i8 %A, %arg1
172 ret i8 %B
Scott Michel098c1132007-12-19 20:15:47 +0000173}
174
175define i8 @orc_i8_2(i8 %arg1, i8 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +0000176 %A = xor i8 %arg1, -1
177 %B = or i8 %A, %arg2
178 ret i8 %B
Scott Michel098c1132007-12-19 20:15:47 +0000179}
180
181define i8 @orc_i8_3(i8 %arg1, i8 %arg2) {
Scott Michel48072bf2008-03-05 23:00:19 +0000182 %A = xor i8 %arg2, -1
183 %B = or i8 %arg1, %A
184 ret i8 %B
Scott Michel098c1132007-12-19 20:15:47 +0000185}
186
187; ORI instruction generation (i32 data type):
188define <4 x i32> @ori_v4i32_1(<4 x i32> %in) {
189 %tmp2 = or <4 x i32> %in, < i32 511, i32 511, i32 511, i32 511 >
190 ret <4 x i32> %tmp2
191}
192
193define <4 x i32> @ori_v4i32_2(<4 x i32> %in) {
194 %tmp2 = or <4 x i32> %in, < i32 510, i32 510, i32 510, i32 510 >
195 ret <4 x i32> %tmp2
196}
197
198define <4 x i32> @ori_v4i32_3(<4 x i32> %in) {
199 %tmp2 = or <4 x i32> %in, < i32 -1, i32 -1, i32 -1, i32 -1 >
200 ret <4 x i32> %tmp2
201}
202
203define <4 x i32> @ori_v4i32_4(<4 x i32> %in) {
204 %tmp2 = or <4 x i32> %in, < i32 -512, i32 -512, i32 -512, i32 -512 >
205 ret <4 x i32> %tmp2
206}
207
Chris Lattnerb90ed222011-06-17 03:14:27 +0000208define zeroext i32 @ori_u32(i32 zeroext %in) {
Scott Michel098c1132007-12-19 20:15:47 +0000209 %tmp37 = or i32 %in, 37 ; <i32> [#uses=1]
210 ret i32 %tmp37
211}
212
Chris Lattnerb90ed222011-06-17 03:14:27 +0000213define signext i32 @ori_i32(i32 signext %in) {
Scott Michel098c1132007-12-19 20:15:47 +0000214 %tmp38 = or i32 %in, 37 ; <i32> [#uses=1]
215 ret i32 %tmp38
216}
217
Kalle Raiskilaf5769c12011-09-02 10:05:01 +0000218define i32 @ori_i32_600(i32 %in) {
219 ;600 does not fit into 'ori' immediate field
220 ;CHECK: ori_i32_600
221 ;CHECK: il
222 ;CHECK: ori
223 %tmp = or i32 %in, 600
224 ret i32 %tmp
225}
226
Scott Michel098c1132007-12-19 20:15:47 +0000227; ORHI instruction generation (i16 data type):
228define <8 x i16> @orhi_v8i16_1(<8 x i16> %in) {
229 %tmp2 = or <8 x i16> %in, < i16 511, i16 511, i16 511, i16 511,
230 i16 511, i16 511, i16 511, i16 511 >
231 ret <8 x i16> %tmp2
232}
233
234define <8 x i16> @orhi_v8i16_2(<8 x i16> %in) {
235 %tmp2 = or <8 x i16> %in, < i16 510, i16 510, i16 510, i16 510,
236 i16 510, i16 510, i16 510, i16 510 >
237 ret <8 x i16> %tmp2
238}
239
240define <8 x i16> @orhi_v8i16_3(<8 x i16> %in) {
241 %tmp2 = or <8 x i16> %in, < i16 -1, i16 -1, i16 -1, i16 -1, i16 -1,
242 i16 -1, i16 -1, i16 -1 >
243 ret <8 x i16> %tmp2
244}
245
246define <8 x i16> @orhi_v8i16_4(<8 x i16> %in) {
247 %tmp2 = or <8 x i16> %in, < i16 -512, i16 -512, i16 -512, i16 -512,
248 i16 -512, i16 -512, i16 -512, i16 -512 >
249 ret <8 x i16> %tmp2
250}
251
Chris Lattnerb90ed222011-06-17 03:14:27 +0000252define zeroext i16 @orhi_u16(i16 zeroext %in) {
Scott Michel098c1132007-12-19 20:15:47 +0000253 %tmp37 = or i16 %in, 37 ; <i16> [#uses=1]
254 ret i16 %tmp37
255}
256
Chris Lattnerb90ed222011-06-17 03:14:27 +0000257define signext i16 @orhi_i16(i16 signext %in) {
Scott Michel098c1132007-12-19 20:15:47 +0000258 %tmp38 = or i16 %in, 37 ; <i16> [#uses=1]
259 ret i16 %tmp38
260}
261
262; ORBI instruction generation (i8 data type):
263define <16 x i8> @orbi_v16i8(<16 x i8> %in) {
264 %tmp2 = or <16 x i8> %in, < i8 42, i8 42, i8 42, i8 42, i8 42, i8 42,
265 i8 42, i8 42, i8 42, i8 42, i8 42, i8 42,
266 i8 42, i8 42, i8 42, i8 42 >
267 ret <16 x i8> %tmp2
268}
269
Chris Lattnerb90ed222011-06-17 03:14:27 +0000270define zeroext i8 @orbi_u8(i8 zeroext %in) {
Scott Michel098c1132007-12-19 20:15:47 +0000271 %tmp37 = or i8 %in, 37 ; <i8> [#uses=1]
272 ret i8 %tmp37
273}
274
Chris Lattnerb90ed222011-06-17 03:14:27 +0000275define signext i8 @orbi_i8(i8 signext %in) {
Scott Michel098c1132007-12-19 20:15:47 +0000276 %tmp38 = or i8 %in, 37 ; <i8> [#uses=1]
277 ret i8 %tmp38
278}