OLD | NEW |
1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2011 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
(...skipping 51 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
62 "%s\n" | 62 "%s\n" |
63 "disassembled: \n" | 63 "disassembled: \n" |
64 "%s\n\n", | 64 "%s\n\n", |
65 compare_string, disasm_buffer.start()); | 65 compare_string, disasm_buffer.start()); |
66 return false; | 66 return false; |
67 } | 67 } |
68 return true; | 68 return true; |
69 } | 69 } |
70 | 70 |
71 | 71 |
72 // Setup V8 to a state where we can at least run the assembler and | 72 // Set up V8 to a state where we can at least run the assembler and |
73 // disassembler. Declare the variables and allocate the data structures used | 73 // disassembler. Declare the variables and allocate the data structures used |
74 // in the rest of the macros. | 74 // in the rest of the macros. |
75 #define SETUP() \ | 75 #define SET_UP() \ |
76 InitializeVM(); \ | 76 InitializeVM(); \ |
77 v8::HandleScope scope; \ | 77 v8::HandleScope scope; \ |
78 byte *buffer = reinterpret_cast<byte*>(malloc(4*1024)); \ | 78 byte *buffer = reinterpret_cast<byte*>(malloc(4*1024)); \ |
79 Assembler assm(Isolate::Current(), buffer, 4*1024); \ | 79 Assembler assm(Isolate::Current(), buffer, 4*1024); \ |
80 bool failure = false; | 80 bool failure = false; |
81 | 81 |
82 | 82 |
83 // This macro assembles one instruction using the preallocated assembler and | 83 // This macro assembles one instruction using the preallocated assembler and |
84 // disassembles the generated instruction, comparing the output to the expected | 84 // disassembles the generated instruction, comparing the output to the expected |
85 // value. If the comparison fails an error message is printed, but the test | 85 // value. If the comparison fails an error message is printed, but the test |
86 // continues to run until the end. | 86 // continues to run until the end. |
87 #define COMPARE(asm_, compare_string) \ | 87 #define COMPARE(asm_, compare_string) \ |
88 { \ | 88 { \ |
89 int pc_offset = assm.pc_offset(); \ | 89 int pc_offset = assm.pc_offset(); \ |
90 byte *progcounter = &buffer[pc_offset]; \ | 90 byte *progcounter = &buffer[pc_offset]; \ |
91 assm.asm_; \ | 91 assm.asm_; \ |
92 if (!DisassembleAndCompare(progcounter, compare_string)) failure = true; \ | 92 if (!DisassembleAndCompare(progcounter, compare_string)) failure = true; \ |
93 } | 93 } |
94 | 94 |
95 | 95 |
96 // Verify that all invocations of the COMPARE macro passed successfully. | 96 // Verify that all invocations of the COMPARE macro passed successfully. |
97 // Exit with a failure if at least one of the tests failed. | 97 // Exit with a failure if at least one of the tests failed. |
98 #define VERIFY_RUN() \ | 98 #define VERIFY_RUN() \ |
99 if (failure) { \ | 99 if (failure) { \ |
100 V8_Fatal(__FILE__, __LINE__, "ARM Disassembler tests failed.\n"); \ | 100 V8_Fatal(__FILE__, __LINE__, "ARM Disassembler tests failed.\n"); \ |
101 } | 101 } |
102 | 102 |
103 | 103 |
104 TEST(Type0) { | 104 TEST(Type0) { |
105 SETUP(); | 105 SET_UP(); |
106 | 106 |
107 COMPARE(and_(r0, r1, Operand(r2)), | 107 COMPARE(and_(r0, r1, Operand(r2)), |
108 "e0010002 and r0, r1, r2"); | 108 "e0010002 and r0, r1, r2"); |
109 COMPARE(and_(r1, r2, Operand(r3), LeaveCC), | 109 COMPARE(and_(r1, r2, Operand(r3), LeaveCC), |
110 "e0021003 and r1, r2, r3"); | 110 "e0021003 and r1, r2, r3"); |
111 COMPARE(and_(r2, r3, Operand(r4), SetCC), | 111 COMPARE(and_(r2, r3, Operand(r4), SetCC), |
112 "e0132004 ands r2, r3, r4"); | 112 "e0132004 ands r2, r3, r4"); |
113 COMPARE(and_(r3, r4, Operand(r5), LeaveCC, eq), | 113 COMPARE(and_(r3, r4, Operand(r5), LeaveCC, eq), |
114 "00043005 andeq r3, r4, r5"); | 114 "00043005 andeq r3, r4, r5"); |
115 | 115 |
(...skipping 206 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
322 COMPARE(bkpt(0xffff), | 322 COMPARE(bkpt(0xffff), |
323 "e12fff7f bkpt 65535"); | 323 "e12fff7f bkpt 65535"); |
324 COMPARE(clz(r6, r7), | 324 COMPARE(clz(r6, r7), |
325 "e16f6f17 clz r6, r7"); | 325 "e16f6f17 clz r6, r7"); |
326 | 326 |
327 VERIFY_RUN(); | 327 VERIFY_RUN(); |
328 } | 328 } |
329 | 329 |
330 | 330 |
331 TEST(Type1) { | 331 TEST(Type1) { |
332 SETUP(); | 332 SET_UP(); |
333 | 333 |
334 COMPARE(and_(r0, r1, Operand(0x00000000)), | 334 COMPARE(and_(r0, r1, Operand(0x00000000)), |
335 "e2010000 and r0, r1, #0"); | 335 "e2010000 and r0, r1, #0"); |
336 COMPARE(and_(r1, r2, Operand(0x00000001), LeaveCC), | 336 COMPARE(and_(r1, r2, Operand(0x00000001), LeaveCC), |
337 "e2021001 and r1, r2, #1"); | 337 "e2021001 and r1, r2, #1"); |
338 COMPARE(and_(r2, r3, Operand(0x00000010), SetCC), | 338 COMPARE(and_(r2, r3, Operand(0x00000010), SetCC), |
339 "e2132010 ands r2, r3, #16"); | 339 "e2132010 ands r2, r3, #16"); |
340 COMPARE(and_(r3, r4, Operand(0x00000100), LeaveCC, eq), | 340 COMPARE(and_(r3, r4, Operand(0x00000100), LeaveCC, eq), |
341 "02043c01 andeq r3, r4, #256"); | 341 "02043c01 andeq r3, r4, #256"); |
342 COMPARE(and_(r4, r5, Operand(0x00001000), SetCC, ne), | 342 COMPARE(and_(r4, r5, Operand(0x00001000), SetCC, ne), |
343 "12154a01 andnes r4, r5, #4096"); | 343 "12154a01 andnes r4, r5, #4096"); |
344 | 344 |
345 COMPARE(eor(r4, r5, Operand(0x00001000)), | 345 COMPARE(eor(r4, r5, Operand(0x00001000)), |
346 "e2254a01 eor r4, r5, #4096"); | 346 "e2254a01 eor r4, r5, #4096"); |
347 COMPARE(eor(r4, r4, Operand(0x00010000), LeaveCC), | 347 COMPARE(eor(r4, r4, Operand(0x00010000), LeaveCC), |
348 "e2244801 eor r4, r4, #65536"); | 348 "e2244801 eor r4, r4, #65536"); |
349 COMPARE(eor(r4, r3, Operand(0x00100000), SetCC), | 349 COMPARE(eor(r4, r3, Operand(0x00100000), SetCC), |
350 "e2334601 eors r4, r3, #1048576"); | 350 "e2334601 eors r4, r3, #1048576"); |
351 COMPARE(eor(r4, r2, Operand(0x01000000), LeaveCC, cs), | 351 COMPARE(eor(r4, r2, Operand(0x01000000), LeaveCC, cs), |
352 "22224401 eorcs r4, r2, #16777216"); | 352 "22224401 eorcs r4, r2, #16777216"); |
353 COMPARE(eor(r4, r1, Operand(0x10000000), SetCC, cc), | 353 COMPARE(eor(r4, r1, Operand(0x10000000), SetCC, cc), |
354 "32314201 eorccs r4, r1, #268435456"); | 354 "32314201 eorccs r4, r1, #268435456"); |
355 | 355 |
356 VERIFY_RUN(); | 356 VERIFY_RUN(); |
357 } | 357 } |
358 | 358 |
359 | 359 |
360 TEST(Type3) { | 360 TEST(Type3) { |
361 SETUP(); | 361 SET_UP(); |
362 | 362 |
363 if (CpuFeatures::IsSupported(ARMv7)) { | 363 if (CpuFeatures::IsSupported(ARMv7)) { |
364 COMPARE(ubfx(r0, r1, 5, 10), | 364 COMPARE(ubfx(r0, r1, 5, 10), |
365 "e7e902d1 ubfx r0, r1, #5, #10"); | 365 "e7e902d1 ubfx r0, r1, #5, #10"); |
366 COMPARE(ubfx(r1, r0, 5, 10), | 366 COMPARE(ubfx(r1, r0, 5, 10), |
367 "e7e912d0 ubfx r1, r0, #5, #10"); | 367 "e7e912d0 ubfx r1, r0, #5, #10"); |
368 COMPARE(ubfx(r0, r1, 31, 1), | 368 COMPARE(ubfx(r0, r1, 31, 1), |
369 "e7e00fd1 ubfx r0, r1, #31, #1"); | 369 "e7e00fd1 ubfx r0, r1, #31, #1"); |
370 COMPARE(ubfx(r1, r0, 31, 1), | 370 COMPARE(ubfx(r1, r0, 31, 1), |
371 "e7e01fd0 ubfx r1, r0, #31, #1"); | 371 "e7e01fd0 ubfx r1, r0, #31, #1"); |
(...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
406 COMPARE(usat(r8, 0, Operand(r5, ASR, 17)), | 406 COMPARE(usat(r8, 0, Operand(r5, ASR, 17)), |
407 "e6e088d5 usat r8, #0, r5, asr #17"); | 407 "e6e088d5 usat r8, #0, r5, asr #17"); |
408 } | 408 } |
409 | 409 |
410 VERIFY_RUN(); | 410 VERIFY_RUN(); |
411 } | 411 } |
412 | 412 |
413 | 413 |
414 | 414 |
415 TEST(Vfp) { | 415 TEST(Vfp) { |
416 SETUP(); | 416 SET_UP(); |
417 | 417 |
418 if (CpuFeatures::IsSupported(VFP3)) { | 418 if (CpuFeatures::IsSupported(VFP3)) { |
419 CpuFeatures::Scope scope(VFP3); | 419 CpuFeatures::Scope scope(VFP3); |
420 COMPARE(vmov(d0, d1), | 420 COMPARE(vmov(d0, d1), |
421 "eeb00b41 vmov.f64 d0, d1"); | 421 "eeb00b41 vmov.f64 d0, d1"); |
422 COMPARE(vmov(d3, d3, eq), | 422 COMPARE(vmov(d3, d3, eq), |
423 "0eb03b43 vmov.f64eq d3, d3"); | 423 "0eb03b43 vmov.f64eq d3, d3"); |
424 | 424 |
425 COMPARE(vmov(s0, s31), | 425 COMPARE(vmov(s0, s31), |
426 "eeb00a6f vmov.f32 s0, s31"); | 426 "eeb00a6f vmov.f32 s0, s31"); |
(...skipping 112 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
539 "ec860a20 vstmia r6, {s0-s31}"); | 539 "ec860a20 vstmia r6, {s0-s31}"); |
540 COMPARE(vldm(ia, r7, s0, s31), | 540 COMPARE(vldm(ia, r7, s0, s31), |
541 "ec970a20 vldmia r7, {s0-s31}"); | 541 "ec970a20 vldmia r7, {s0-s31}"); |
542 } | 542 } |
543 | 543 |
544 VERIFY_RUN(); | 544 VERIFY_RUN(); |
545 } | 545 } |
546 | 546 |
547 | 547 |
548 TEST(LoadStore) { | 548 TEST(LoadStore) { |
549 SETUP(); | 549 SET_UP(); |
550 | 550 |
551 COMPARE(ldrb(r0, MemOperand(r1)), | 551 COMPARE(ldrb(r0, MemOperand(r1)), |
552 "e5d10000 ldrb r0, [r1, #+0]"); | 552 "e5d10000 ldrb r0, [r1, #+0]"); |
553 COMPARE(ldrb(r2, MemOperand(r3, 42)), | 553 COMPARE(ldrb(r2, MemOperand(r3, 42)), |
554 "e5d3202a ldrb r2, [r3, #+42]"); | 554 "e5d3202a ldrb r2, [r3, #+42]"); |
555 COMPARE(ldrb(r4, MemOperand(r5, -42)), | 555 COMPARE(ldrb(r4, MemOperand(r5, -42)), |
556 "e555402a ldrb r4, [r5, #-42]"); | 556 "e555402a ldrb r4, [r5, #-42]"); |
557 COMPARE(ldrb(r6, MemOperand(r7, 42, PostIndex)), | 557 COMPARE(ldrb(r6, MemOperand(r7, 42, PostIndex)), |
558 "e4d7602a ldrb r6, [r7], #+42"); | 558 "e4d7602a ldrb r6, [r7], #+42"); |
559 COMPARE(ldrb(r8, MemOperand(r9, -42, PostIndex)), | 559 COMPARE(ldrb(r8, MemOperand(r9, -42, PostIndex)), |
(...skipping 179 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
739 "e04987ff strd r8, [r9], #-127"); | 739 "e04987ff strd r8, [r9], #-127"); |
740 COMPARE(strd(r10, fp, MemOperand(fp, 127, PreIndex)), | 740 COMPARE(strd(r10, fp, MemOperand(fp, 127, PreIndex)), |
741 "e1eba7ff strd r10, [fp, #+127]!"); | 741 "e1eba7ff strd r10, [fp, #+127]!"); |
742 COMPARE(strd(ip, sp, MemOperand(sp, -127, PreIndex)), | 742 COMPARE(strd(ip, sp, MemOperand(sp, -127, PreIndex)), |
743 "e16dc7ff strd ip, [sp, #-127]!"); | 743 "e16dc7ff strd ip, [sp, #-127]!"); |
744 } | 744 } |
745 | 745 |
746 VERIFY_RUN(); | 746 VERIFY_RUN(); |
747 } | 747 } |
748 | 748 |
OLD | NEW |