1 // Copyright 2011 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are
4 // met:
5 //
6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided
11 // with the distribution.
12 // * Neither the name of Google Inc. nor the names of its
13 // contributors may be used to endorse or promote products derived
14 // from this software without specific prior written permission.
15 //
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 //
28
29 #include <stdlib.h>
30
31 #include "v8.h"
32
33 #include "debug.h"
34 #include "disasm.h"
35 #include "disassembler.h"
36 #include "macro-assembler.h"
37 #include "serialize.h"
38 #include "cctest.h"
39
40 using namespace v8::internal;
41
42
DisassembleAndCompare(byte * pc,const char * compare_string)43 bool DisassembleAndCompare(byte* pc, const char* compare_string) {
44 disasm::NameConverter converter;
45 disasm::Disassembler disasm(converter);
46 EmbeddedVector<char, 128> disasm_buffer;
47
48 disasm.InstructionDecode(disasm_buffer, pc);
49
50 if (strcmp(compare_string, disasm_buffer.start()) != 0) {
51 fprintf(stderr,
52 "expected: \n"
53 "%s\n"
54 "disassembled: \n"
55 "%s\n\n",
56 compare_string, disasm_buffer.start());
57 return false;
58 }
59 return true;
60 }
61
62
63 // Set up V8 to a state where we can at least run the assembler and
64 // disassembler. Declare the variables and allocate the data structures used
65 // in the rest of the macros.
66 #define SET_UP() \
67 CcTest::InitializeVM(); \
68 Isolate* isolate = CcTest::i_isolate(); \
69 HandleScope scope(isolate); \
70 byte *buffer = reinterpret_cast<byte*>(malloc(4*1024)); \
71 Assembler assm(isolate, buffer, 4*1024); \
72 bool failure = false;
73
74
75 // This macro assembles one instruction using the preallocated assembler and
76 // disassembles the generated instruction, comparing the output to the expected
77 // value. If the comparison fails an error message is printed, but the test
78 // continues to run until the end.
79 #define COMPARE(asm_, compare_string) \
80 { \
81 int pc_offset = assm.pc_offset(); \
82 byte *progcounter = &buffer[pc_offset]; \
83 assm.asm_; \
84 if (!DisassembleAndCompare(progcounter, compare_string)) failure = true; \
85 }
86
87 // Force emission of any pending literals into a pool.
88 #define EMIT_PENDING_LITERALS() \
89 assm.CheckConstPool(true, false)
90
91
92 // Verify that all invocations of the COMPARE macro passed successfully.
93 // Exit with a failure if at least one of the tests failed.
94 #define VERIFY_RUN() \
95 if (failure) { \
96 V8_Fatal(__FILE__, __LINE__, "ARM Disassembler tests failed.\n"); \
97 }
98
99
TEST(Type0)100 TEST(Type0) {
101 SET_UP();
102
103 COMPARE(and_(r0, r1, Operand(r2)),
104 "e0010002 and r0, r1, r2");
105 COMPARE(and_(r1, r2, Operand(r3), LeaveCC),
106 "e0021003 and r1, r2, r3");
107 COMPARE(and_(r2, r3, Operand(r4), SetCC),
108 "e0132004 ands r2, r3, r4");
109 COMPARE(and_(r3, r4, Operand(r5), LeaveCC, eq),
110 "00043005 andeq r3, r4, r5");
111
112 COMPARE(eor(r4, r5, Operand(r6, LSL, 0)),
113 "e0254006 eor r4, r5, r6");
114 COMPARE(eor(r4, r5, Operand(r7, LSL, 1), SetCC),
115 "e0354087 eors r4, r5, r7, lsl #1");
116 COMPARE(eor(r4, r5, Operand(r8, LSL, 2), LeaveCC, ne),
117 "10254108 eorne r4, r5, r8, lsl #2");
118 COMPARE(eor(r4, r5, Operand(r9, LSL, 3), SetCC, cs),
119 "20354189 eorcss r4, r5, r9, lsl #3");
120
121 COMPARE(sub(r5, r6, Operand(r10, LSL, 31), LeaveCC, hs),
122 "20465f8a subcs r5, r6, r10, lsl #31");
123 COMPARE(sub(r5, r6, Operand(r10, LSL, 30), SetCC, cc),
124 "30565f0a subccs r5, r6, r10, lsl #30");
125 COMPARE(sub(r5, r6, Operand(r10, LSL, 24), LeaveCC, lo),
126 "30465c0a subcc r5, r6, r10, lsl #24");
127 COMPARE(sub(r5, r6, Operand(r10, LSL, 16), SetCC, mi),
128 "4056580a submis r5, r6, r10, lsl #16");
129
130 COMPARE(rsb(r6, r7, Operand(fp)),
131 "e067600b rsb r6, r7, fp");
132 COMPARE(rsb(r6, r7, Operand(fp, LSR, 1)),
133 "e06760ab rsb r6, r7, fp, lsr #1");
134 COMPARE(rsb(r6, r7, Operand(fp, LSR, 0), SetCC),
135 "e077602b rsbs r6, r7, fp, lsr #32");
136 COMPARE(rsb(r6, r7, Operand(fp, LSR, 31), LeaveCC, pl),
137 "50676fab rsbpl r6, r7, fp, lsr #31");
138
139 COMPARE(add(r7, r8, Operand(ip, ASR, 1)),
140 "e08870cc add r7, r8, ip, asr #1");
141 COMPARE(add(r7, r8, Operand(ip, ASR, 0)),
142 "e088704c add r7, r8, ip, asr #32");
143 COMPARE(add(r7, r8, Operand(ip), SetCC),
144 "e098700c adds r7, r8, ip");
145 COMPARE(add(r7, r8, Operand(ip, ASR, 31), SetCC, vs),
146 "60987fcc addvss r7, r8, ip, asr #31");
147
148 COMPARE(adc(r7, fp, Operand(ip, ASR, 5)),
149 "e0ab72cc adc r7, fp, ip, asr #5");
150 COMPARE(adc(r4, ip, Operand(ip, ASR, 1), LeaveCC, vc),
151 "70ac40cc adcvc r4, ip, ip, asr #1");
152 COMPARE(adc(r5, sp, Operand(ip), SetCC),
153 "e0bd500c adcs r5, sp, ip");
154 COMPARE(adc(r8, lr, Operand(ip, ASR, 31), SetCC, vc),
155 "70be8fcc adcvcs r8, lr, ip, asr #31");
156
157 COMPARE(sbc(r7, r1, Operand(ip, ROR, 1), LeaveCC, hi),
158 "80c170ec sbchi r7, r1, ip, ror #1");
159 COMPARE(sbc(r7, r9, Operand(ip, ROR, 4)),
160 "e0c9726c sbc r7, r9, ip, ror #4");
161 COMPARE(sbc(r7, r10, Operand(ip), SetCC),
162 "e0da700c sbcs r7, r10, ip");
163 COMPARE(sbc(r7, ip, Operand(ip, ROR, 31), SetCC, hi),
164 "80dc7fec sbchis r7, ip, ip, ror #31");
165
166 COMPARE(rsc(r7, r8, Operand(ip, LSL, r0)),
167 "e0e8701c rsc r7, r8, ip, lsl r0");
168 COMPARE(rsc(r7, r8, Operand(ip, LSL, r1)),
169 "e0e8711c rsc r7, r8, ip, lsl r1");
170 COMPARE(rsc(r7, r8, Operand(ip), SetCC),
171 "e0f8700c rscs r7, r8, ip");
172 COMPARE(rsc(r7, r8, Operand(ip, LSL, r3), SetCC, ls),
173 "90f8731c rsclss r7, r8, ip, lsl r3");
174
175 COMPARE(tst(r7, Operand(r5, ASR, ip), ge),
176 "a1170c55 tstge r7, r5, asr ip");
177 COMPARE(tst(r7, Operand(r6, ASR, sp)),
178 "e1170d56 tst r7, r6, asr sp");
179 COMPARE(tst(r7, Operand(r7), ge),
180 "a1170007 tstge r7, r7");
181 COMPARE(tst(r7, Operand(r8, ASR, fp), ge),
182 "a1170b58 tstge r7, r8, asr fp");
183
184 COMPARE(teq(r7, Operand(r5, ROR, r0), lt),
185 "b1370075 teqlt r7, r5, ror r0");
186 COMPARE(teq(r7, Operand(r6, ROR, lr)),
187 "e1370e76 teq r7, r6, ror lr");
188 COMPARE(teq(r7, Operand(r7), lt),
189 "b1370007 teqlt r7, r7");
190 COMPARE(teq(r7, Operand(r8, ROR, r1)),
191 "e1370178 teq r7, r8, ror r1");
192
193 COMPARE(cmp(r7, Operand(r4)),
194 "e1570004 cmp r7, r4");
195 COMPARE(cmp(r7, Operand(r6, LSL, 1), gt),
196 "c1570086 cmpgt r7, r6, lsl #1");
197 COMPARE(cmp(r7, Operand(r8, LSR, 3), gt),
198 "c15701a8 cmpgt r7, r8, lsr #3");
199 COMPARE(cmp(r7, Operand(r8, ASR, 19)),
200 "e15709c8 cmp r7, r8, asr #19");
201
202 COMPARE(cmn(r0, Operand(r4)),
203 "e1700004 cmn r0, r4");
204 COMPARE(cmn(r1, Operand(r6, ROR, 1)),
205 "e17100e6 cmn r1, r6, ror #1");
206 COMPARE(cmn(r2, Operand(r8)),
207 "e1720008 cmn r2, r8");
208 COMPARE(cmn(r3, Operand(fp), le),
209 "d173000b cmnle r3, fp");
210
211 COMPARE(orr(r7, r8, Operand(lr), LeaveCC, al),
212 "e188700e orr r7, r8, lr");
213 COMPARE(orr(r7, r8, Operand(fp)),
214 "e188700b orr r7, r8, fp");
215 COMPARE(orr(r7, r8, Operand(sp), SetCC),
216 "e198700d orrs r7, r8, sp");
217 COMPARE(orr(r7, r8, Operand(ip), SetCC, al),
218 "e198700c orrs r7, r8, ip");
219
220 COMPARE(mov(r0, Operand(r1), LeaveCC, eq),
221 "01a00001 moveq r0, r1");
222 COMPARE(mov(r0, Operand(r2)),
223 "e1a00002 mov r0, r2");
224 COMPARE(mov(r0, Operand(r3), SetCC),
225 "e1b00003 movs r0, r3");
226 COMPARE(mov(r0, Operand(r4), SetCC, pl),
227 "51b00004 movpls r0, r4");
228
229 COMPARE(bic(r0, lr, Operand(r1), LeaveCC, vs),
230 "61ce0001 bicvs r0, lr, r1");
231 COMPARE(bic(r0, r9, Operand(r2), LeaveCC, vc),
232 "71c90002 bicvc r0, r9, r2");
233 COMPARE(bic(r0, r5, Operand(r3), SetCC),
234 "e1d50003 bics r0, r5, r3");
235 COMPARE(bic(r0, r1, Operand(r4), SetCC, pl),
236 "51d10004 bicpls r0, r1, r4");
237
238 COMPARE(mvn(r10, Operand(r1)),
239 "e1e0a001 mvn r10, r1");
240 COMPARE(mvn(r9, Operand(r2)),
241 "e1e09002 mvn r9, r2");
242 COMPARE(mvn(r0, Operand(r3), SetCC),
243 "e1f00003 mvns r0, r3");
244 COMPARE(mvn(r5, Operand(r4), SetCC, cc),
245 "31f05004 mvnccs r5, r4");
246
247 // Instructions autotransformed by the assembler.
248 // mov -> mvn.
249 COMPARE(mov(r3, Operand(-1), LeaveCC, al),
250 "e3e03000 mvn r3, #0");
251 COMPARE(mov(r4, Operand(-2), SetCC, al),
252 "e3f04001 mvns r4, #1");
253 COMPARE(mov(r5, Operand(0x0ffffff0), SetCC, ne),
254 "13f052ff mvnnes r5, #-268435441");
255 COMPARE(mov(r6, Operand(-1), LeaveCC, ne),
256 "13e06000 mvnne r6, #0");
257
258 // mvn -> mov.
259 COMPARE(mvn(r3, Operand(-1), LeaveCC, al),
260 "e3a03000 mov r3, #0");
261 COMPARE(mvn(r4, Operand(-2), SetCC, al),
262 "e3b04001 movs r4, #1");
263 COMPARE(mvn(r5, Operand(0x0ffffff0), SetCC, ne),
264 "13b052ff movnes r5, #-268435441");
265 COMPARE(mvn(r6, Operand(-1), LeaveCC, ne),
266 "13a06000 movne r6, #0");
267
268 // mov -> movw.
269 if (CpuFeatures::IsSupported(ARMv7)) {
270 COMPARE(mov(r5, Operand(0x01234), LeaveCC, ne),
271 "13015234 movwne r5, #4660");
272 // We only disassemble one instruction so the eor instruction is not here.
273 COMPARE(eor(r5, r4, Operand(0x1234), LeaveCC, ne),
274 "1301c234 movwne ip, #4660");
275 // Movw can't do setcc so we don't get that here. Mov immediate with setcc
276 // is pretty strange anyway.
277 COMPARE(mov(r5, Operand(0x01234), SetCC, ne),
278 "159fc000 ldrne ip, [pc, #+0]");
279 // Emit a literal pool now, otherwise this could be dumped later, in the
280 // middle of a different test.
281 EMIT_PENDING_LITERALS();
282
283 // We only disassemble one instruction so the eor instruction is not here.
284 // The eor does the setcc so we get a movw here.
285 COMPARE(eor(r5, r4, Operand(0x1234), SetCC, ne),
286 "1301c234 movwne ip, #4660");
287
288 COMPARE(movt(r5, 0x4321, ne),
289 "13445321 movtne r5, #17185");
290 COMPARE(movw(r5, 0xabcd, eq),
291 "030a5bcd movweq r5, #43981");
292 }
293
294 // Eor doesn't have an eor-negative variant, but we can do an mvn followed by
295 // an eor to get the same effect.
296 COMPARE(eor(r5, r4, Operand(0xffffff34), SetCC, ne),
297 "13e0c0cb mvnne ip, #203");
298
299 // and <-> bic.
300 COMPARE(and_(r3, r5, Operand(0xfc03ffff)),
301 "e3c537ff bic r3, r5, #66846720");
302 COMPARE(bic(r3, r5, Operand(0xfc03ffff)),
303 "e20537ff and r3, r5, #66846720");
304
305 // sub <-> add.
306 COMPARE(add(r3, r5, Operand(-1024)),
307 "e2453b01 sub r3, r5, #1024");
308 COMPARE(sub(r3, r5, Operand(-1024)),
309 "e2853b01 add r3, r5, #1024");
310
311 // cmp <-> cmn.
312 COMPARE(cmp(r3, Operand(-1024)),
313 "e3730b01 cmn r3, #1024");
314 COMPARE(cmn(r3, Operand(-1024)),
315 "e3530b01 cmp r3, #1024");
316
317 // Miscellaneous instructions encoded as type 0.
318 COMPARE(blx(ip),
319 "e12fff3c blx ip");
320 COMPARE(bkpt(0),
321 "e1200070 bkpt 0");
322 COMPARE(bkpt(0xffff),
323 "e12fff7f bkpt 65535");
324 COMPARE(clz(r6, r7),
325 "e16f6f17 clz r6, r7");
326
327 VERIFY_RUN();
328 }
329
330
TEST(Type1)331 TEST(Type1) {
332 SET_UP();
333
334 COMPARE(and_(r0, r1, Operand(0x00000000)),
335 "e2010000 and r0, r1, #0");
336 COMPARE(and_(r1, r2, Operand(0x00000001), LeaveCC),
337 "e2021001 and r1, r2, #1");
338 COMPARE(and_(r2, r3, Operand(0x00000010), SetCC),
339 "e2132010 ands r2, r3, #16");
340 COMPARE(and_(r3, r4, Operand(0x00000100), LeaveCC, eq),
341 "02043c01 andeq r3, r4, #256");
342 COMPARE(and_(r4, r5, Operand(0x00001000), SetCC, ne),
343 "12154a01 andnes r4, r5, #4096");
344
345 COMPARE(eor(r4, r5, Operand(0x00001000)),
346 "e2254a01 eor r4, r5, #4096");
347 COMPARE(eor(r4, r4, Operand(0x00010000), LeaveCC),
348 "e2244801 eor r4, r4, #65536");
349 COMPARE(eor(r4, r3, Operand(0x00100000), SetCC),
350 "e2334601 eors r4, r3, #1048576");
351 COMPARE(eor(r4, r2, Operand(0x01000000), LeaveCC, cs),
352 "22224401 eorcs r4, r2, #16777216");
353 COMPARE(eor(r4, r1, Operand(0x10000000), SetCC, cc),
354 "32314201 eorccs r4, r1, #268435456");
355
356 VERIFY_RUN();
357 }
358
359
TEST(Type3)360 TEST(Type3) {
361 SET_UP();
362
363 if (CpuFeatures::IsSupported(ARMv7)) {
364 COMPARE(ubfx(r0, r1, 5, 10),
365 "e7e902d1 ubfx r0, r1, #5, #10");
366 COMPARE(ubfx(r1, r0, 5, 10),
367 "e7e912d0 ubfx r1, r0, #5, #10");
368 COMPARE(ubfx(r0, r1, 31, 1),
369 "e7e00fd1 ubfx r0, r1, #31, #1");
370 COMPARE(ubfx(r1, r0, 31, 1),
371 "e7e01fd0 ubfx r1, r0, #31, #1");
372
373 COMPARE(sbfx(r0, r1, 5, 10),
374 "e7a902d1 sbfx r0, r1, #5, #10");
375 COMPARE(sbfx(r1, r0, 5, 10),
376 "e7a912d0 sbfx r1, r0, #5, #10");
377 COMPARE(sbfx(r0, r1, 31, 1),
378 "e7a00fd1 sbfx r0, r1, #31, #1");
379 COMPARE(sbfx(r1, r0, 31, 1),
380 "e7a01fd0 sbfx r1, r0, #31, #1");
381
382 COMPARE(bfc(r0, 5, 10),
383 "e7ce029f bfc r0, #5, #10");
384 COMPARE(bfc(r1, 5, 10),
385 "e7ce129f bfc r1, #5, #10");
386 COMPARE(bfc(r0, 31, 1),
387 "e7df0f9f bfc r0, #31, #1");
388 COMPARE(bfc(r1, 31, 1),
389 "e7df1f9f bfc r1, #31, #1");
390
391 COMPARE(bfi(r0, r1, 5, 10),
392 "e7ce0291 bfi r0, r1, #5, #10");
393 COMPARE(bfi(r1, r0, 5, 10),
394 "e7ce1290 bfi r1, r0, #5, #10");
395 COMPARE(bfi(r0, r1, 31, 1),
396 "e7df0f91 bfi r0, r1, #31, #1");
397 COMPARE(bfi(r1, r0, 31, 1),
398 "e7df1f90 bfi r1, r0, #31, #1");
399
400 COMPARE(usat(r0, 1, Operand(r1)),
401 "e6e10011 usat r0, #1, r1");
402 COMPARE(usat(r2, 7, Operand(lr)),
403 "e6e7201e usat r2, #7, lr");
404 COMPARE(usat(r3, 31, Operand(r4, LSL, 31)),
405 "e6ff3f94 usat r3, #31, r4, lsl #31");
406 COMPARE(usat(r8, 0, Operand(r5, ASR, 17)),
407 "e6e088d5 usat r8, #0, r5, asr #17");
408
409 COMPARE(pkhbt(r3, r4, Operand(r5, LSL, 17)),
410 "e6843895 pkhbt r3, r4, r5, lsl #17");
411 COMPARE(pkhtb(r3, r4, Operand(r5, ASR, 17)),
412 "e68438d5 pkhtb r3, r4, r5, asr #17");
413 COMPARE(uxtb(r3, Operand(r4, ROR, 8)),
414 "e6ef3474 uxtb r3, r4, ror #8");
415 COMPARE(uxtab(r3, r4, Operand(r5, ROR, 8)),
416 "e6e43475 uxtab r3, r4, r5, ror #8");
417 COMPARE(uxtb16(r3, Operand(r4, ROR, 8)),
418 "e6cf3474 uxtb16 r3, r4, ror #8");
419 }
420
421 VERIFY_RUN();
422 }
423
424
425
TEST(Vfp)426 TEST(Vfp) {
427 SET_UP();
428
429 if (CpuFeatures::IsSupported(VFP3)) {
430 CpuFeatureScope scope(&assm, VFP3);
431 COMPARE(vmov(d0, r2, r3),
432 "ec432b10 vmov d0, r2, r3");
433 COMPARE(vmov(r2, r3, d0),
434 "ec532b10 vmov r2, r3, d0");
435 COMPARE(vmov(d0, d1),
436 "eeb00b41 vmov.f64 d0, d1");
437 COMPARE(vmov(d3, d3, eq),
438 "0eb03b43 vmoveq.f64 d3, d3");
439
440 COMPARE(vmov(s0, s31),
441 "eeb00a6f vmov.f32 s0, s31");
442 COMPARE(vmov(s31, s0),
443 "eef0fa40 vmov.f32 s31, s0");
444 COMPARE(vmov(r0, s0),
445 "ee100a10 vmov r0, s0");
446 COMPARE(vmov(r10, s31),
447 "ee1faa90 vmov r10, s31");
448 COMPARE(vmov(s0, r0),
449 "ee000a10 vmov s0, r0");
450 COMPARE(vmov(s31, r10),
451 "ee0faa90 vmov s31, r10");
452
453 COMPARE(vabs(d0, d1),
454 "eeb00bc1 vabs.f64 d0, d1");
455 COMPARE(vabs(d3, d4, mi),
456 "4eb03bc4 vabsmi.f64 d3, d4");
457
458 COMPARE(vneg(d0, d1),
459 "eeb10b41 vneg.f64 d0, d1");
460 COMPARE(vneg(d3, d4, mi),
461 "4eb13b44 vnegmi.f64 d3, d4");
462
463 COMPARE(vadd(d0, d1, d2),
464 "ee310b02 vadd.f64 d0, d1, d2");
465 COMPARE(vadd(d3, d4, d5, mi),
466 "4e343b05 vaddmi.f64 d3, d4, d5");
467
468 COMPARE(vsub(d0, d1, d2),
469 "ee310b42 vsub.f64 d0, d1, d2");
470 COMPARE(vsub(d3, d4, d5, ne),
471 "1e343b45 vsubne.f64 d3, d4, d5");
472
473 COMPARE(vmul(d2, d1, d0),
474 "ee212b00 vmul.f64 d2, d1, d0");
475 COMPARE(vmul(d6, d4, d5, cc),
476 "3e246b05 vmulcc.f64 d6, d4, d5");
477
478 COMPARE(vdiv(d2, d2, d2),
479 "ee822b02 vdiv.f64 d2, d2, d2");
480 COMPARE(vdiv(d6, d7, d7, hi),
481 "8e876b07 vdivhi.f64 d6, d7, d7");
482
483 COMPARE(vcmp(d0, d1),
484 "eeb40b41 vcmp.f64 d0, d1");
485 COMPARE(vcmp(d0, 0.0),
486 "eeb50b40 vcmp.f64 d0, #0.0");
487
488 COMPARE(vsqrt(d0, d0),
489 "eeb10bc0 vsqrt.f64 d0, d0");
490 COMPARE(vsqrt(d2, d3, ne),
491 "1eb12bc3 vsqrtne.f64 d2, d3");
492
493 COMPARE(vmov(d0, 1.0),
494 "eeb70b00 vmov.f64 d0, #1");
495 COMPARE(vmov(d2, -13.0),
496 "eeba2b0a vmov.f64 d2, #-13");
497
498 COMPARE(vmov(d0, VmovIndexLo, r0),
499 "ee000b10 vmov.32 d0[0], r0");
500 COMPARE(vmov(d0, VmovIndexHi, r0),
501 "ee200b10 vmov.32 d0[1], r0");
502
503 COMPARE(vmov(r2, VmovIndexLo, d15),
504 "ee1f2b10 vmov.32 r2, d15[0]");
505 COMPARE(vmov(r3, VmovIndexHi, d14),
506 "ee3e3b10 vmov.32 r3, d14[1]");
507
508 COMPARE(vldr(s0, r0, 0),
509 "ed900a00 vldr s0, [r0 + 4*0]");
510 COMPARE(vldr(s1, r1, 4),
511 "edd10a01 vldr s1, [r1 + 4*1]");
512 COMPARE(vldr(s15, r4, 16),
513 "edd47a04 vldr s15, [r4 + 4*4]");
514 COMPARE(vldr(s16, r5, 20),
515 "ed958a05 vldr s16, [r5 + 4*5]");
516 COMPARE(vldr(s31, r10, 1020),
517 "eddafaff vldr s31, [r10 + 4*255]");
518
519 COMPARE(vstr(s0, r0, 0),
520 "ed800a00 vstr s0, [r0 + 4*0]");
521 COMPARE(vstr(s1, r1, 4),
522 "edc10a01 vstr s1, [r1 + 4*1]");
523 COMPARE(vstr(s15, r8, 8),
524 "edc87a02 vstr s15, [r8 + 4*2]");
525 COMPARE(vstr(s16, r9, 12),
526 "ed898a03 vstr s16, [r9 + 4*3]");
527 COMPARE(vstr(s31, r10, 1020),
528 "edcafaff vstr s31, [r10 + 4*255]");
529
530 COMPARE(vldr(d0, r0, 0),
531 "ed900b00 vldr d0, [r0 + 4*0]");
532 COMPARE(vldr(d1, r1, 4),
533 "ed911b01 vldr d1, [r1 + 4*1]");
534 COMPARE(vldr(d15, r10, 1020),
535 "ed9afbff vldr d15, [r10 + 4*255]");
536 COMPARE(vstr(d0, r0, 0),
537 "ed800b00 vstr d0, [r0 + 4*0]");
538 COMPARE(vstr(d1, r1, 4),
539 "ed811b01 vstr d1, [r1 + 4*1]");
540 COMPARE(vstr(d15, r10, 1020),
541 "ed8afbff vstr d15, [r10 + 4*255]");
542
543 COMPARE(vmsr(r5),
544 "eee15a10 vmsr FPSCR, r5");
545 COMPARE(vmsr(r10, pl),
546 "5ee1aa10 vmsrpl FPSCR, r10");
547 COMPARE(vmsr(pc),
548 "eee1fa10 vmsr FPSCR, APSR");
549 COMPARE(vmrs(r5),
550 "eef15a10 vmrs r5, FPSCR");
551 COMPARE(vmrs(r10, ge),
552 "aef1aa10 vmrsge r10, FPSCR");
553 COMPARE(vmrs(pc),
554 "eef1fa10 vmrs APSR, FPSCR");
555
556 COMPARE(vstm(ia, r0, d1, d3),
557 "ec801b06 vstmia r0, {d1-d3}");
558 COMPARE(vldm(ia, r1, d2, d5),
559 "ec912b08 vldmia r1, {d2-d5}");
560 COMPARE(vstm(ia, r2, d0, d15),
561 "ec820b20 vstmia r2, {d0-d15}");
562 COMPARE(vldm(ia, r3, d0, d15),
563 "ec930b20 vldmia r3, {d0-d15}");
564 COMPARE(vstm(ia, r4, s1, s3),
565 "ecc40a03 vstmia r4, {s1-s3}");
566 COMPARE(vldm(ia, r5, s2, s5),
567 "ec951a04 vldmia r5, {s2-s5}");
568 COMPARE(vstm(ia, r6, s0, s31),
569 "ec860a20 vstmia r6, {s0-s31}");
570 COMPARE(vldm(ia, r7, s0, s31),
571 "ec970a20 vldmia r7, {s0-s31}");
572
573 COMPARE(vmla(d2, d1, d0),
574 "ee012b00 vmla.f64 d2, d1, d0");
575 COMPARE(vmla(d6, d4, d5, cc),
576 "3e046b05 vmlacc.f64 d6, d4, d5");
577
578 COMPARE(vmls(d2, d1, d0),
579 "ee012b40 vmls.f64 d2, d1, d0");
580 COMPARE(vmls(d6, d4, d5, cc),
581 "3e046b45 vmlscc.f64 d6, d4, d5");
582
583 COMPARE(vcvt_u32_f64(s0, d0),
584 "eebc0bc0 vcvt.u32.f64 s0, d0");
585 COMPARE(vcvt_s32_f64(s0, d0),
586 "eebd0bc0 vcvt.s32.f64 s0, d0");
587 COMPARE(vcvt_f64_u32(d0, s1),
588 "eeb80b60 vcvt.f64.u32 d0, s1");
589 COMPARE(vcvt_f64_s32(d0, s1),
590 "eeb80be0 vcvt.f64.s32 d0, s1");
591 COMPARE(vcvt_f32_s32(s0, s2),
592 "eeb80ac1 vcvt.f32.s32 s0, s2");
593 COMPARE(vcvt_f64_s32(d0, 1),
594 "eeba0bef vcvt.f64.s32 d0, d0, #1");
595
596 if (CpuFeatures::IsSupported(VFP32DREGS)) {
597 COMPARE(vmov(d3, d27),
598 "eeb03b6b vmov.f64 d3, d27");
599 COMPARE(vmov(d18, d7),
600 "eef02b47 vmov.f64 d18, d7");
601 COMPARE(vmov(d18, r2, r3),
602 "ec432b32 vmov d18, r2, r3");
603 COMPARE(vmov(r2, r3, d18),
604 "ec532b32 vmov r2, r3, d18");
605 COMPARE(vmov(d20, d31),
606 "eef04b6f vmov.f64 d20, d31");
607
608 COMPARE(vabs(d16, d31),
609 "eef00bef vabs.f64 d16, d31");
610
611 COMPARE(vneg(d16, d31),
612 "eef10b6f vneg.f64 d16, d31");
613
614 COMPARE(vadd(d16, d17, d18),
615 "ee710ba2 vadd.f64 d16, d17, d18");
616
617 COMPARE(vsub(d16, d17, d18),
618 "ee710be2 vsub.f64 d16, d17, d18");
619
620 COMPARE(vmul(d16, d17, d18),
621 "ee610ba2 vmul.f64 d16, d17, d18");
622
623 COMPARE(vdiv(d16, d17, d18),
624 "eec10ba2 vdiv.f64 d16, d17, d18");
625
626 COMPARE(vcmp(d16, d17),
627 "eef40b61 vcmp.f64 d16, d17");
628 COMPARE(vcmp(d16, 0.0),
629 "eef50b40 vcmp.f64 d16, #0.0");
630
631 COMPARE(vsqrt(d16, d17),
632 "eef10be1 vsqrt.f64 d16, d17");
633
634 COMPARE(vmov(d30, 16.0),
635 "eef3eb00 vmov.f64 d30, #16");
636
637 COMPARE(vmov(d31, VmovIndexLo, r7),
638 "ee0f7b90 vmov.32 d31[0], r7");
639 COMPARE(vmov(d31, VmovIndexHi, r7),
640 "ee2f7b90 vmov.32 d31[1], r7");
641
642 COMPARE(vldr(d25, r0, 0),
643 "edd09b00 vldr d25, [r0 + 4*0]");
644 COMPARE(vldr(d26, r1, 4),
645 "edd1ab01 vldr d26, [r1 + 4*1]");
646 COMPARE(vldr(d31, r10, 1020),
647 "eddafbff vldr d31, [r10 + 4*255]");
648
649 COMPARE(vstr(d16, r0, 0),
650 "edc00b00 vstr d16, [r0 + 4*0]");
651 COMPARE(vstr(d17, r1, 4),
652 "edc11b01 vstr d17, [r1 + 4*1]");
653 COMPARE(vstr(d31, r10, 1020),
654 "edcafbff vstr d31, [r10 + 4*255]");
655
656 COMPARE(vstm(ia, r0, d16, d31),
657 "ecc00b20 vstmia r0, {d16-d31}");
658 COMPARE(vldm(ia, r3, d16, d31),
659 "ecd30b20 vldmia r3, {d16-d31}");
660 COMPARE(vstm(ia, r0, d23, d27),
661 "ecc07b0a vstmia r0, {d23-d27}");
662 COMPARE(vldm(ia, r3, d23, d27),
663 "ecd37b0a vldmia r3, {d23-d27}");
664
665 COMPARE(vmla(d16, d17, d18),
666 "ee410ba2 vmla.f64 d16, d17, d18");
667
668 COMPARE(vcvt_u32_f64(s0, d16),
669 "eebc0be0 vcvt.u32.f64 s0, d16");
670 COMPARE(vcvt_s32_f64(s0, d16),
671 "eebd0be0 vcvt.s32.f64 s0, d16");
672 COMPARE(vcvt_f64_u32(d16, s1),
673 "eef80b60 vcvt.f64.u32 d16, s1");
674 }
675 }
676
677 VERIFY_RUN();
678 }
679
680
TEST(Neon)681 TEST(Neon) {
682 SET_UP();
683
684 if (CpuFeatures::IsSupported(NEON)) {
685 CpuFeatureScope scope(&assm, NEON);
686 COMPARE(vld1(Neon8, NeonListOperand(d4, 4), NeonMemOperand(r1)),
687 "f421420f vld1.8 {d4, d5, d6, d7}, [r1]");
688 COMPARE(vst1(Neon16, NeonListOperand(d17, 4), NeonMemOperand(r9)),
689 "f449124f vst1.16 {d17, d18, d19, d20}, [r9]");
690 COMPARE(vmovl(NeonU8, q4, d2),
691 "f3884a12 vmovl.u8 q4, d2");
692 }
693
694 VERIFY_RUN();
695 }
696
697
TEST(LoadStore)698 TEST(LoadStore) {
699 SET_UP();
700
701 COMPARE(ldrb(r0, MemOperand(r1)),
702 "e5d10000 ldrb r0, [r1, #+0]");
703 COMPARE(ldrb(r2, MemOperand(r3, 42)),
704 "e5d3202a ldrb r2, [r3, #+42]");
705 COMPARE(ldrb(r4, MemOperand(r5, -42)),
706 "e555402a ldrb r4, [r5, #-42]");
707 COMPARE(ldrb(r6, MemOperand(r7, 42, PostIndex)),
708 "e4d7602a ldrb r6, [r7], #+42");
709 COMPARE(ldrb(r8, MemOperand(r9, -42, PostIndex)),
710 "e459802a ldrb r8, [r9], #-42");
711 COMPARE(ldrb(r10, MemOperand(fp, 42, PreIndex)),
712 "e5fba02a ldrb r10, [fp, #+42]!");
713 COMPARE(ldrb(ip, MemOperand(sp, -42, PreIndex)),
714 "e57dc02a ldrb ip, [sp, #-42]!");
715 COMPARE(ldrb(r0, MemOperand(r1, r2)),
716 "e7d10002 ldrb r0, [r1, +r2]");
717 COMPARE(ldrb(r0, MemOperand(r1, r2, NegOffset)),
718 "e7510002 ldrb r0, [r1, -r2]");
719 COMPARE(ldrb(r0, MemOperand(r1, r2, PostIndex)),
720 "e6d10002 ldrb r0, [r1], +r2");
721 COMPARE(ldrb(r0, MemOperand(r1, r2, NegPostIndex)),
722 "e6510002 ldrb r0, [r1], -r2");
723 COMPARE(ldrb(r0, MemOperand(r1, r2, PreIndex)),
724 "e7f10002 ldrb r0, [r1, +r2]!");
725 COMPARE(ldrb(r0, MemOperand(r1, r2, NegPreIndex)),
726 "e7710002 ldrb r0, [r1, -r2]!");
727
728 COMPARE(strb(r0, MemOperand(r1)),
729 "e5c10000 strb r0, [r1, #+0]");
730 COMPARE(strb(r2, MemOperand(r3, 42)),
731 "e5c3202a strb r2, [r3, #+42]");
732 COMPARE(strb(r4, MemOperand(r5, -42)),
733 "e545402a strb r4, [r5, #-42]");
734 COMPARE(strb(r6, MemOperand(r7, 42, PostIndex)),
735 "e4c7602a strb r6, [r7], #+42");
736 COMPARE(strb(r8, MemOperand(r9, -42, PostIndex)),
737 "e449802a strb r8, [r9], #-42");
738 COMPARE(strb(r10, MemOperand(fp, 42, PreIndex)),
739 "e5eba02a strb r10, [fp, #+42]!");
740 COMPARE(strb(ip, MemOperand(sp, -42, PreIndex)),
741 "e56dc02a strb ip, [sp, #-42]!");
742 COMPARE(strb(r0, MemOperand(r1, r2)),
743 "e7c10002 strb r0, [r1, +r2]");
744 COMPARE(strb(r0, MemOperand(r1, r2, NegOffset)),
745 "e7410002 strb r0, [r1, -r2]");
746 COMPARE(strb(r0, MemOperand(r1, r2, PostIndex)),
747 "e6c10002 strb r0, [r1], +r2");
748 COMPARE(strb(r0, MemOperand(r1, r2, NegPostIndex)),
749 "e6410002 strb r0, [r1], -r2");
750 COMPARE(strb(r0, MemOperand(r1, r2, PreIndex)),
751 "e7e10002 strb r0, [r1, +r2]!");
752 COMPARE(strb(r0, MemOperand(r1, r2, NegPreIndex)),
753 "e7610002 strb r0, [r1, -r2]!");
754
755 COMPARE(ldrh(r0, MemOperand(r1)),
756 "e1d100b0 ldrh r0, [r1, #+0]");
757 COMPARE(ldrh(r2, MemOperand(r3, 42)),
758 "e1d322ba ldrh r2, [r3, #+42]");
759 COMPARE(ldrh(r4, MemOperand(r5, -42)),
760 "e15542ba ldrh r4, [r5, #-42]");
761 COMPARE(ldrh(r6, MemOperand(r7, 42, PostIndex)),
762 "e0d762ba ldrh r6, [r7], #+42");
763 COMPARE(ldrh(r8, MemOperand(r9, -42, PostIndex)),
764 "e05982ba ldrh r8, [r9], #-42");
765 COMPARE(ldrh(r10, MemOperand(fp, 42, PreIndex)),
766 "e1fba2ba ldrh r10, [fp, #+42]!");
767 COMPARE(ldrh(ip, MemOperand(sp, -42, PreIndex)),
768 "e17dc2ba ldrh ip, [sp, #-42]!");
769 COMPARE(ldrh(r0, MemOperand(r1, r2)),
770 "e19100b2 ldrh r0, [r1, +r2]");
771 COMPARE(ldrh(r0, MemOperand(r1, r2, NegOffset)),
772 "e11100b2 ldrh r0, [r1, -r2]");
773 COMPARE(ldrh(r0, MemOperand(r1, r2, PostIndex)),
774 "e09100b2 ldrh r0, [r1], +r2");
775 COMPARE(ldrh(r0, MemOperand(r1, r2, NegPostIndex)),
776 "e01100b2 ldrh r0, [r1], -r2");
777 COMPARE(ldrh(r0, MemOperand(r1, r2, PreIndex)),
778 "e1b100b2 ldrh r0, [r1, +r2]!");
779 COMPARE(ldrh(r0, MemOperand(r1, r2, NegPreIndex)),
780 "e13100b2 ldrh r0, [r1, -r2]!");
781
782 COMPARE(strh(r0, MemOperand(r1)),
783 "e1c100b0 strh r0, [r1, #+0]");
784 COMPARE(strh(r2, MemOperand(r3, 42)),
785 "e1c322ba strh r2, [r3, #+42]");
786 COMPARE(strh(r4, MemOperand(r5, -42)),
787 "e14542ba strh r4, [r5, #-42]");
788 COMPARE(strh(r6, MemOperand(r7, 42, PostIndex)),
789 "e0c762ba strh r6, [r7], #+42");
790 COMPARE(strh(r8, MemOperand(r9, -42, PostIndex)),
791 "e04982ba strh r8, [r9], #-42");
792 COMPARE(strh(r10, MemOperand(fp, 42, PreIndex)),
793 "e1eba2ba strh r10, [fp, #+42]!");
794 COMPARE(strh(ip, MemOperand(sp, -42, PreIndex)),
795 "e16dc2ba strh ip, [sp, #-42]!");
796 COMPARE(strh(r0, MemOperand(r1, r2)),
797 "e18100b2 strh r0, [r1, +r2]");
798 COMPARE(strh(r0, MemOperand(r1, r2, NegOffset)),
799 "e10100b2 strh r0, [r1, -r2]");
800 COMPARE(strh(r0, MemOperand(r1, r2, PostIndex)),
801 "e08100b2 strh r0, [r1], +r2");
802 COMPARE(strh(r0, MemOperand(r1, r2, NegPostIndex)),
803 "e00100b2 strh r0, [r1], -r2");
804 COMPARE(strh(r0, MemOperand(r1, r2, PreIndex)),
805 "e1a100b2 strh r0, [r1, +r2]!");
806 COMPARE(strh(r0, MemOperand(r1, r2, NegPreIndex)),
807 "e12100b2 strh r0, [r1, -r2]!");
808
809 COMPARE(ldr(r0, MemOperand(r1)),
810 "e5910000 ldr r0, [r1, #+0]");
811 COMPARE(ldr(r2, MemOperand(r3, 42)),
812 "e593202a ldr r2, [r3, #+42]");
813 COMPARE(ldr(r4, MemOperand(r5, -42)),
814 "e515402a ldr r4, [r5, #-42]");
815 COMPARE(ldr(r6, MemOperand(r7, 42, PostIndex)),
816 "e497602a ldr r6, [r7], #+42");
817 COMPARE(ldr(r8, MemOperand(r9, -42, PostIndex)),
818 "e419802a ldr r8, [r9], #-42");
819 COMPARE(ldr(r10, MemOperand(fp, 42, PreIndex)),
820 "e5bba02a ldr r10, [fp, #+42]!");
821 COMPARE(ldr(ip, MemOperand(sp, -42, PreIndex)),
822 "e53dc02a ldr ip, [sp, #-42]!");
823 COMPARE(ldr(r0, MemOperand(r1, r2)),
824 "e7910002 ldr r0, [r1, +r2]");
825 COMPARE(ldr(r0, MemOperand(r1, r2, NegOffset)),
826 "e7110002 ldr r0, [r1, -r2]");
827 COMPARE(ldr(r0, MemOperand(r1, r2, PostIndex)),
828 "e6910002 ldr r0, [r1], +r2");
829 COMPARE(ldr(r0, MemOperand(r1, r2, NegPostIndex)),
830 "e6110002 ldr r0, [r1], -r2");
831 COMPARE(ldr(r0, MemOperand(r1, r2, PreIndex)),
832 "e7b10002 ldr r0, [r1, +r2]!");
833 COMPARE(ldr(r0, MemOperand(r1, r2, NegPreIndex)),
834 "e7310002 ldr r0, [r1, -r2]!");
835
836 COMPARE(str(r0, MemOperand(r1)),
837 "e5810000 str r0, [r1, #+0]");
838 COMPARE(str(r2, MemOperand(r3, 42)),
839 "e583202a str r2, [r3, #+42]");
840 COMPARE(str(r4, MemOperand(r5, -42)),
841 "e505402a str r4, [r5, #-42]");
842 COMPARE(str(r6, MemOperand(r7, 42, PostIndex)),
843 "e487602a str r6, [r7], #+42");
844 COMPARE(str(r8, MemOperand(r9, -42, PostIndex)),
845 "e409802a str r8, [r9], #-42");
846 COMPARE(str(r10, MemOperand(fp, 42, PreIndex)),
847 "e5aba02a str r10, [fp, #+42]!");
848 COMPARE(str(ip, MemOperand(sp, -42, PreIndex)),
849 "e52dc02a str ip, [sp, #-42]!");
850 COMPARE(str(r0, MemOperand(r1, r2)),
851 "e7810002 str r0, [r1, +r2]");
852 COMPARE(str(r0, MemOperand(r1, r2, NegOffset)),
853 "e7010002 str r0, [r1, -r2]");
854 COMPARE(str(r0, MemOperand(r1, r2, PostIndex)),
855 "e6810002 str r0, [r1], +r2");
856 COMPARE(str(r0, MemOperand(r1, r2, NegPostIndex)),
857 "e6010002 str r0, [r1], -r2");
858 COMPARE(str(r0, MemOperand(r1, r2, PreIndex)),
859 "e7a10002 str r0, [r1, +r2]!");
860 COMPARE(str(r0, MemOperand(r1, r2, NegPreIndex)),
861 "e7210002 str r0, [r1, -r2]!");
862
863 if (CpuFeatures::IsSupported(ARMv7)) {
864 CpuFeatureScope scope(&assm, ARMv7);
865 COMPARE(ldrd(r0, r1, MemOperand(r1)),
866 "e1c100d0 ldrd r0, [r1, #+0]");
867 COMPARE(ldrd(r2, r3, MemOperand(r3, 127)),
868 "e1c327df ldrd r2, [r3, #+127]");
869 COMPARE(ldrd(r4, r5, MemOperand(r5, -127)),
870 "e14547df ldrd r4, [r5, #-127]");
871 COMPARE(ldrd(r6, r7, MemOperand(r7, 127, PostIndex)),
872 "e0c767df ldrd r6, [r7], #+127");
873 COMPARE(ldrd(r8, r9, MemOperand(r9, -127, PostIndex)),
874 "e04987df ldrd r8, [r9], #-127");
875 COMPARE(ldrd(r10, fp, MemOperand(fp, 127, PreIndex)),
876 "e1eba7df ldrd r10, [fp, #+127]!");
877 COMPARE(ldrd(ip, sp, MemOperand(sp, -127, PreIndex)),
878 "e16dc7df ldrd ip, [sp, #-127]!");
879
880 COMPARE(strd(r0, r1, MemOperand(r1)),
881 "e1c100f0 strd r0, [r1, #+0]");
882 COMPARE(strd(r2, r3, MemOperand(r3, 127)),
883 "e1c327ff strd r2, [r3, #+127]");
884 COMPARE(strd(r4, r5, MemOperand(r5, -127)),
885 "e14547ff strd r4, [r5, #-127]");
886 COMPARE(strd(r6, r7, MemOperand(r7, 127, PostIndex)),
887 "e0c767ff strd r6, [r7], #+127");
888 COMPARE(strd(r8, r9, MemOperand(r9, -127, PostIndex)),
889 "e04987ff strd r8, [r9], #-127");
890 COMPARE(strd(r10, fp, MemOperand(fp, 127, PreIndex)),
891 "e1eba7ff strd r10, [fp, #+127]!");
892 COMPARE(strd(ip, sp, MemOperand(sp, -127, PreIndex)),
893 "e16dc7ff strd ip, [sp, #-127]!");
894
895 COMPARE(pld(MemOperand(r1, 0)),
896 "f5d1f000 pld [r1]");
897 COMPARE(pld(MemOperand(r2, 128)),
898 "f5d2f080 pld [r2, #+128]");
899 }
900
901 VERIFY_RUN();
902 }
903