95
|
1 ; RUN: llc -mtriple=aarch64-apple-darwin -fast-isel=0 -verify-machineinstrs < %s | FileCheck %s
|
|
2 ; RUN: llc -mtriple=aarch64-apple-darwin -fast-isel=1 -fast-isel-abort=1 -verify-machineinstrs < %s | FileCheck %s
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 ; AND
|
83
|
5 define zeroext i1 @and_rr_i1(i1 signext %a, i1 signext %b) {
|
|
6 ; CHECK-LABEL: and_rr_i1
|
|
7 ; CHECK: and [[REG:w[0-9]+]], w0, w1
|
|
8 %1 = and i1 %a, %b
|
|
9 ret i1 %1
|
|
10 }
|
|
11
|
|
12 define zeroext i8 @and_rr_i8(i8 signext %a, i8 signext %b) {
|
|
13 ; CHECK-LABEL: and_rr_i8
|
|
14 ; CHECK: and [[REG:w[0-9]+]], w0, w1
|
|
15 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], #0xff
|
|
16 %1 = and i8 %a, %b
|
|
17 ret i8 %1
|
|
18 }
|
|
19
|
|
20 define zeroext i16 @and_rr_i16(i16 signext %a, i16 signext %b) {
|
|
21 ; CHECK-LABEL: and_rr_i16
|
|
22 ; CHECK: and [[REG:w[0-9]+]], w0, w1
|
|
23 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], #0xffff
|
|
24 %1 = and i16 %a, %b
|
|
25 ret i16 %1
|
|
26 }
|
|
27
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
28 define i32 @and_rr_i32(i32 %a, i32 %b) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
29 ; CHECK-LABEL: and_rr_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
30 ; CHECK: and w0, w0, w1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
31 %1 = and i32 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
32 ret i32 %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
33 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
34
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
35 define i64 @and_rr_i64(i64 %a, i64 %b) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
36 ; CHECK-LABEL: and_rr_i64
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
37 ; CHECK: and x0, x0, x1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
38 %1 = and i64 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
39 ret i64 %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
40 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
41
|
83
|
42 define zeroext i1 @and_ri_i1(i1 signext %a) {
|
|
43 ; CHECK-LABEL: and_ri_i1
|
|
44 ; CHECK: and {{w[0-9]+}}, w0, #0x1
|
|
45 %1 = and i1 %a, 1
|
|
46 ret i1 %1
|
|
47 }
|
|
48
|
|
49 define zeroext i8 @and_ri_i8(i8 signext %a) {
|
|
50 ; CHECK-LABEL: and_ri_i8
|
|
51 ; CHECK: and {{w[0-9]+}}, w0, #0xf
|
|
52 %1 = and i8 %a, 15
|
|
53 ret i8 %1
|
|
54 }
|
|
55
|
|
56 define zeroext i16 @and_ri_i16(i16 signext %a) {
|
|
57 ; CHECK-LABEL: and_ri_i16
|
|
58 ; CHECK: and {{w[0-9]+}}, w0, #0xff
|
|
59 %1 = and i16 %a, 255
|
|
60 ret i16 %1
|
|
61 }
|
|
62
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
63 define i32 @and_ri_i32(i32 %a) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
64 ; CHECK-LABEL: and_ri_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
65 ; CHECK: and w0, w0, #0xff
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
66 %1 = and i32 %a, 255
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
67 ret i32 %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
68 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
69
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
70 define i64 @and_ri_i64(i64 %a) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
71 ; CHECK-LABEL: and_ri_i64
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
72 ; CHECK: and x0, x0, #0xff
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
73 %1 = and i64 %a, 255
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
74 ret i64 %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
75 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
76
|
83
|
77 define zeroext i8 @and_rs_i8(i8 signext %a, i8 signext %b) {
|
|
78 ; CHECK-LABEL: and_rs_i8
|
|
79 ; CHECK: and [[REG:w[0-9]+]], w0, w1, lsl #4
|
|
80 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], {{#0xff|#0xf0}}
|
|
81 %1 = shl i8 %b, 4
|
|
82 %2 = and i8 %a, %1
|
|
83 ret i8 %2
|
|
84 }
|
|
85
|
|
86 define zeroext i16 @and_rs_i16(i16 signext %a, i16 signext %b) {
|
|
87 ; CHECK-LABEL: and_rs_i16
|
|
88 ; CHECK: and [[REG:w[0-9]+]], w0, w1, lsl #8
|
|
89 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], {{#0xffff|#0xff00}}
|
|
90 %1 = shl i16 %b, 8
|
|
91 %2 = and i16 %a, %1
|
|
92 ret i16 %2
|
|
93 }
|
|
94
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
95 define i32 @and_rs_i32(i32 %a, i32 %b) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
96 ; CHECK-LABEL: and_rs_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
97 ; CHECK: and w0, w0, w1, lsl #8
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
98 %1 = shl i32 %b, 8
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
99 %2 = and i32 %a, %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
100 ret i32 %2
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
101 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
102
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
103 define i64 @and_rs_i64(i64 %a, i64 %b) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
104 ; CHECK-LABEL: and_rs_i64
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
105 ; CHECK: and x0, x0, x1, lsl #8
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
106 %1 = shl i64 %b, 8
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
107 %2 = and i64 %a, %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
108 ret i64 %2
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
109 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
110
|
83
|
111 define i32 @and_mul_i32(i32 %a, i32 %b) {
|
|
112 ; CHECK-LABEL: and_mul_i32
|
|
113 ; CHECK: and w0, w0, w1, lsl #2
|
|
114 %1 = mul i32 %b, 4
|
|
115 %2 = and i32 %a, %1
|
|
116 ret i32 %2
|
|
117 }
|
|
118
|
|
119 define i64 @and_mul_i64(i64 %a, i64 %b) {
|
|
120 ; CHECK-LABEL: and_mul_i64
|
|
121 ; CHECK: and x0, x0, x1, lsl #2
|
|
122 %1 = mul i64 %b, 4
|
|
123 %2 = and i64 %a, %1
|
|
124 ret i64 %2
|
|
125 }
|
|
126
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
127 ; OR
|
83
|
128 define zeroext i1 @or_rr_i1(i1 signext %a, i1 signext %b) {
|
|
129 ; CHECK-LABEL: or_rr_i1
|
|
130 ; CHECK: orr [[REG:w[0-9]+]], w0, w1
|
|
131 %1 = or i1 %a, %b
|
|
132 ret i1 %1
|
|
133 }
|
|
134
|
|
135 define zeroext i8 @or_rr_i8(i8 signext %a, i8 signext %b) {
|
|
136 ; CHECK-LABEL: or_rr_i8
|
|
137 ; CHECK: orr [[REG:w[0-9]+]], w0, w1
|
|
138 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], #0xff
|
|
139 %1 = or i8 %a, %b
|
|
140 ret i8 %1
|
|
141 }
|
|
142
|
|
143 define zeroext i16 @or_rr_i16(i16 signext %a, i16 signext %b) {
|
|
144 ; CHECK-LABEL: or_rr_i16
|
|
145 ; CHECK: orr [[REG:w[0-9]+]], w0, w1
|
|
146 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], #0xffff
|
|
147 %1 = or i16 %a, %b
|
|
148 ret i16 %1
|
|
149 }
|
|
150
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
151 define i32 @or_rr_i32(i32 %a, i32 %b) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
152 ; CHECK-LABEL: or_rr_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
153 ; CHECK: orr w0, w0, w1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
154 %1 = or i32 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
155 ret i32 %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
156 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
157
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
158 define i64 @or_rr_i64(i64 %a, i64 %b) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
159 ; CHECK-LABEL: or_rr_i64
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
160 ; CHECK: orr x0, x0, x1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
161 %1 = or i64 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
162 ret i64 %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
163 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
164
|
83
|
165 define zeroext i8 @or_ri_i8(i8 %a) {
|
|
166 ; CHECK-LABEL: or_ri_i8
|
|
167 ; CHECK: orr [[REG:w[0-9]+]], w0, #0xf
|
|
168 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], #0xff
|
|
169 %1 = or i8 %a, 15
|
|
170 ret i8 %1
|
|
171 }
|
|
172
|
|
173 define zeroext i16 @or_ri_i16(i16 %a) {
|
|
174 ; CHECK-LABEL: or_ri_i16
|
|
175 ; CHECK: orr [[REG:w[0-9]+]], w0, #0xff
|
|
176 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], #0xffff
|
|
177 %1 = or i16 %a, 255
|
|
178 ret i16 %1
|
|
179 }
|
|
180
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
181 define i32 @or_ri_i32(i32 %a) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
182 ; CHECK-LABEL: or_ri_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
183 ; CHECK: orr w0, w0, #0xff
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
184 %1 = or i32 %a, 255
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
185 ret i32 %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
186 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
187
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
188 define i64 @or_ri_i64(i64 %a) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
189 ; CHECK-LABEL: or_ri_i64
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
190 ; CHECK: orr x0, x0, #0xff
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
191 %1 = or i64 %a, 255
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
192 ret i64 %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
193 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
194
|
83
|
195 define zeroext i8 @or_rs_i8(i8 signext %a, i8 signext %b) {
|
|
196 ; CHECK-LABEL: or_rs_i8
|
|
197 ; CHECK: orr [[REG:w[0-9]+]], w0, w1, lsl #4
|
|
198 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], {{#0xff|#0xf0}}
|
|
199 %1 = shl i8 %b, 4
|
|
200 %2 = or i8 %a, %1
|
|
201 ret i8 %2
|
|
202 }
|
|
203
|
|
204 define zeroext i16 @or_rs_i16(i16 signext %a, i16 signext %b) {
|
|
205 ; CHECK-LABEL: or_rs_i16
|
|
206 ; CHECK: orr [[REG:w[0-9]+]], w0, w1, lsl #8
|
|
207 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], {{#0xffff|#0xff00}}
|
|
208 %1 = shl i16 %b, 8
|
|
209 %2 = or i16 %a, %1
|
|
210 ret i16 %2
|
|
211 }
|
|
212
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
213 define i32 @or_rs_i32(i32 %a, i32 %b) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
214 ; CHECK-LABEL: or_rs_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
215 ; CHECK: orr w0, w0, w1, lsl #8
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
216 %1 = shl i32 %b, 8
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
217 %2 = or i32 %a, %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
218 ret i32 %2
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
219 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
220
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
221 define i64 @or_rs_i64(i64 %a, i64 %b) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
222 ; CHECK-LABEL: or_rs_i64
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
223 ; CHECK: orr x0, x0, x1, lsl #8
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
224 %1 = shl i64 %b, 8
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
225 %2 = or i64 %a, %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
226 ret i64 %2
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
227 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
228
|
83
|
229 define i32 @or_mul_i32(i32 %a, i32 %b) {
|
|
230 ; CHECK-LABEL: or_mul_i32
|
|
231 ; CHECK: orr w0, w0, w1, lsl #2
|
|
232 %1 = mul i32 %b, 4
|
|
233 %2 = or i32 %a, %1
|
|
234 ret i32 %2
|
|
235 }
|
|
236
|
|
237 define i64 @or_mul_i64(i64 %a, i64 %b) {
|
|
238 ; CHECK-LABEL: or_mul_i64
|
|
239 ; CHECK: orr x0, x0, x1, lsl #2
|
|
240 %1 = mul i64 %b, 4
|
|
241 %2 = or i64 %a, %1
|
|
242 ret i64 %2
|
|
243 }
|
|
244
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
245 ; XOR
|
83
|
246 define zeroext i1 @xor_rr_i1(i1 signext %a, i1 signext %b) {
|
|
247 ; CHECK-LABEL: xor_rr_i1
|
|
248 ; CHECK: eor [[REG:w[0-9]+]], w0, w1
|
|
249 %1 = xor i1 %a, %b
|
|
250 ret i1 %1
|
|
251 }
|
|
252
|
|
253 define zeroext i8 @xor_rr_i8(i8 signext %a, i8 signext %b) {
|
|
254 ; CHECK-LABEL: xor_rr_i8
|
|
255 ; CHECK: eor [[REG:w[0-9]+]], w0, w1
|
|
256 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], #0xff
|
|
257 %1 = xor i8 %a, %b
|
|
258 ret i8 %1
|
|
259 }
|
|
260
|
|
261 define zeroext i16 @xor_rr_i16(i16 signext %a, i16 signext %b) {
|
|
262 ; CHECK-LABEL: xor_rr_i16
|
|
263 ; CHECK: eor [[REG:w[0-9]+]], w0, w1
|
|
264 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], #0xffff
|
|
265 %1 = xor i16 %a, %b
|
|
266 ret i16 %1
|
|
267 }
|
|
268
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
269 define i32 @xor_rr_i32(i32 %a, i32 %b) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
270 ; CHECK-LABEL: xor_rr_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
271 ; CHECK: eor w0, w0, w1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
272 %1 = xor i32 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
273 ret i32 %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
274 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
275
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
276 define i64 @xor_rr_i64(i64 %a, i64 %b) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
277 ; CHECK-LABEL: xor_rr_i64
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
278 ; CHECK: eor x0, x0, x1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
279 %1 = xor i64 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
280 ret i64 %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
281 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
282
|
83
|
283 define zeroext i8 @xor_ri_i8(i8 signext %a) {
|
|
284 ; CHECK-LABEL: xor_ri_i8
|
|
285 ; CHECK: eor [[REG:w[0-9]+]], w0, #0xf
|
|
286 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], #0xff
|
|
287 %1 = xor i8 %a, 15
|
|
288 ret i8 %1
|
|
289 }
|
|
290
|
|
291 define zeroext i16 @xor_ri_i16(i16 signext %a) {
|
|
292 ; CHECK-LABEL: xor_ri_i16
|
|
293 ; CHECK: eor [[REG:w[0-9]+]], w0, #0xff
|
|
294 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], #0xffff
|
|
295 %1 = xor i16 %a, 255
|
|
296 ret i16 %1
|
|
297 }
|
|
298
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
299 define i32 @xor_ri_i32(i32 %a) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
300 ; CHECK-LABEL: xor_ri_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
301 ; CHECK: eor w0, w0, #0xff
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
302 %1 = xor i32 %a, 255
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
303 ret i32 %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
304 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
305
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
306 define i64 @xor_ri_i64(i64 %a) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
307 ; CHECK-LABEL: xor_ri_i64
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
308 ; CHECK: eor x0, x0, #0xff
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
309 %1 = xor i64 %a, 255
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
310 ret i64 %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
311 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
312
|
83
|
313 define zeroext i8 @xor_rs_i8(i8 %a, i8 %b) {
|
|
314 ; CHECK-LABEL: xor_rs_i8
|
|
315 ; CHECK: eor [[REG:w[0-9]+]], w0, w1, lsl #4
|
|
316 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], {{#0xff|#0xf0}}
|
|
317 %1 = shl i8 %b, 4
|
|
318 %2 = xor i8 %a, %1
|
|
319 ret i8 %2
|
|
320 }
|
|
321
|
|
322 define zeroext i16 @xor_rs_i16(i16 %a, i16 %b) {
|
|
323 ; CHECK-LABEL: xor_rs_i16
|
|
324 ; CHECK: eor [[REG:w[0-9]+]], w0, w1, lsl #8
|
|
325 ; CHECK-NEXT: and {{w[0-9]+}}, [[REG]], {{#0xffff|#0xff00}}
|
|
326 %1 = shl i16 %b, 8
|
|
327 %2 = xor i16 %a, %1
|
|
328 ret i16 %2
|
|
329 }
|
|
330
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
331 define i32 @xor_rs_i32(i32 %a, i32 %b) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
332 ; CHECK-LABEL: xor_rs_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
333 ; CHECK: eor w0, w0, w1, lsl #8
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
334 %1 = shl i32 %b, 8
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
335 %2 = xor i32 %a, %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
336 ret i32 %2
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
337 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
338
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
339 define i64 @xor_rs_i64(i64 %a, i64 %b) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
340 ; CHECK-LABEL: xor_rs_i64
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
341 ; CHECK: eor x0, x0, x1, lsl #8
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
342 %1 = shl i64 %b, 8
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
343 %2 = xor i64 %a, %1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
344 ret i64 %2
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
345 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
346
|
83
|
347 define i32 @xor_mul_i32(i32 %a, i32 %b) {
|
|
348 ; CHECK-LABEL: xor_mul_i32
|
|
349 ; CHECK: eor w0, w0, w1, lsl #2
|
|
350 %1 = mul i32 %b, 4
|
|
351 %2 = xor i32 %a, %1
|
|
352 ret i32 %2
|
|
353 }
|
|
354
|
|
355 define i64 @xor_mul_i64(i64 %a, i64 %b) {
|
|
356 ; CHECK-LABEL: xor_mul_i64
|
|
357 ; CHECK: eor x0, x0, x1, lsl #2
|
|
358 %1 = mul i64 %b, 4
|
|
359 %2 = xor i64 %a, %1
|
|
360 ret i64 %2
|
|
361 }
|
|
362
|