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
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.
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.
32 #include "src/debug.h"
33 #include "src/disasm.h"
34 #include "src/disassembler.h"
35 #include "src/ic/ic.h"
36 #include "src/macro-assembler.h"
37 #include "src/serialize.h"
38 #include "test/cctest/cctest.h"
40 using namespace v8::internal;
46 static void DummyStaticFunction(Object* result) {
51 CcTest::InitializeVM();
52 Isolate* isolate = CcTest::i_isolate();
53 HandleScope scope(isolate);
54 v8::internal::byte buffer[4096];
55 Assembler assm(isolate, buffer, sizeof buffer);
56 DummyStaticFunction(NULL); // just bloody use it (DELETE; debugging)
58 // Short immediate instructions
59 __ addq(rax, Immediate(12345678));
60 __ orq(rax, Immediate(12345678));
61 __ subq(rax, Immediate(12345678));
62 __ xorq(rax, Immediate(12345678));
63 __ andq(rax, Immediate(12345678));
65 // ---- This one caused crash
66 __ movq(rbx, Operand(rsp, rcx, times_2, 0)); // [rsp+rcx*4]
68 // ---- All instructions that I can think of
70 __ addq(rdx, Operand(rbx, 0));
71 __ addq(rdx, Operand(rbx, 16));
72 __ addq(rdx, Operand(rbx, 1999));
73 __ addq(rdx, Operand(rbx, -4));
74 __ addq(rdx, Operand(rbx, -1999));
75 __ addq(rdx, Operand(rsp, 0));
76 __ addq(rdx, Operand(rsp, 16));
77 __ addq(rdx, Operand(rsp, 1999));
78 __ addq(rdx, Operand(rsp, -4));
79 __ addq(rdx, Operand(rsp, -1999));
81 __ addq(rsi, Operand(rcx, times_4, 0));
82 __ addq(rsi, Operand(rcx, times_4, 24));
83 __ addq(rsi, Operand(rcx, times_4, -4));
84 __ addq(rsi, Operand(rcx, times_4, -1999));
86 __ addq(rdi, Operand(rbp, rcx, times_4, 0));
87 __ addq(rdi, Operand(rbp, rcx, times_4, 12));
88 __ addq(rdi, Operand(rbp, rcx, times_4, -8));
89 __ addq(rdi, Operand(rbp, rcx, times_4, -3999));
90 __ addq(Operand(rbp, rcx, times_4, 12), Immediate(12));
93 __ addq(rbx, Immediate(12));
96 __ andq(rdx, Immediate(3));
97 __ andq(rdx, Operand(rsp, 4));
98 __ cmpq(rdx, Immediate(3));
99 __ cmpq(rdx, Operand(rsp, 4));
100 __ cmpq(Operand(rbp, rcx, times_4, 0), Immediate(1000));
101 __ cmpb(rbx, Operand(rbp, rcx, times_2, 0));
102 __ cmpb(Operand(rbp, rcx, times_2, 0), rbx);
103 __ orq(rdx, Immediate(3));
104 __ xorq(rdx, Immediate(3));
107 __ movsxbl(rdx, Operand(rcx, 0));
108 __ movsxbq(rdx, Operand(rcx, 0));
109 __ movsxwl(rdx, Operand(rcx, 0));
110 __ movsxwq(rdx, Operand(rcx, 0));
111 __ movzxbl(rdx, Operand(rcx, 0));
112 __ movzxwl(rdx, Operand(rcx, 0));
113 __ movzxbq(rdx, Operand(rcx, 0));
114 __ movzxwq(rdx, Operand(rcx, 0));
120 __ shlq(Operand(rdi, rax, times_4, 100), Immediate(1));
121 __ shlq(Operand(rdi, rax, times_4, 100), Immediate(6));
122 __ shlq(Operand(r15, 0), Immediate(1));
123 __ shlq(Operand(r15, 0), Immediate(6));
124 __ shlq_cl(Operand(r15, 0));
125 __ shlq_cl(Operand(r15, 0));
126 __ shlq_cl(Operand(rdi, rax, times_4, 100));
127 __ shlq_cl(Operand(rdi, rax, times_4, 100));
128 __ shlq(rdx, Immediate(1));
129 __ shlq(rdx, Immediate(6));
130 __ shll(Operand(rdi, rax, times_4, 100), Immediate(1));
131 __ shll(Operand(rdi, rax, times_4, 100), Immediate(6));
132 __ shll(Operand(r15, 0), Immediate(1));
133 __ shll(Operand(r15, 0), Immediate(6));
134 __ shll_cl(Operand(r15, 0));
135 __ shll_cl(Operand(r15, 0));
136 __ shll_cl(Operand(rdi, rax, times_4, 100));
137 __ shll_cl(Operand(rdi, rax, times_4, 100));
138 __ shll(rdx, Immediate(1));
139 __ shll(rdx, Immediate(6));
140 __ bts(Operand(rdx, 0), rcx);
141 __ bts(Operand(rbx, rcx, times_4, 0), rcx);
143 __ pushq(Immediate(12));
144 __ pushq(Immediate(23456));
147 __ pushq(Operand(rbp, JavaScriptFrameConstants::kFunctionOffset));
148 __ pushq(Operand(rbx, rcx, times_4, 0));
149 __ pushq(Operand(rbx, rcx, times_4, 0));
150 __ pushq(Operand(rbx, rcx, times_4, 10000));
153 __ popq(Operand(rbx, rcx, times_4, 0));
156 __ addq(rdx, Operand(rsp, 16));
158 __ movb(rdx, Operand(rcx, 0));
159 __ movb(rcx, Immediate(6));
160 __ movb(Operand(rsp, 16), rdx);
161 __ movw(Operand(rsp, 16), rdx);
163 __ movsxwq(rdx, Operand(rsp, 12));
164 __ movsxbq(rdx, Operand(rsp, 12));
165 __ movsxlq(rdx, Operand(rsp, 12));
166 __ movzxwq(rdx, Operand(rsp, 12));
167 __ movzxbq(rdx, Operand(rsp, 12));
169 __ movq(rdx, Immediate(1234567));
170 __ movq(rdx, Operand(rsp, 12));
171 __ movq(Operand(rbx, rcx, times_4, 10000), Immediate(12345));
172 __ movq(Operand(rbx, rcx, times_4, 10000), rdx);
175 __ decb(Operand(rax, 10));
176 __ decb(Operand(rbx, rcx, times_4, 10000));
186 __ testq(Operand(rbx, rcx, times_4, 10000), rdx);
188 __ imulq(rdx, rcx, Immediate(12));
189 __ imulq(rdx, rcx, Immediate(1000));
190 __ imulq(rdx, Operand(rbx, rcx, times_4, 10000));
191 __ imulq(rdx, Operand(rbx, rcx, times_4, 10000), Immediate(12));
192 __ imulq(rdx, Operand(rbx, rcx, times_4, 10000), Immediate(1000));
193 __ imull(r15, rcx, Immediate(12));
194 __ imull(r15, rcx, Immediate(1000));
195 __ imull(r15, Operand(rbx, rcx, times_4, 10000));
196 __ imull(r15, Operand(rbx, rcx, times_4, 10000), Immediate(12));
197 __ imull(r15, Operand(rbx, rcx, times_4, 10000), Immediate(1000));
200 __ incq(Operand(rbx, rcx, times_4, 10000));
201 __ pushq(Operand(rbx, rcx, times_4, 10000));
202 __ popq(Operand(rbx, rcx, times_4, 10000));
203 // TODO(mstarzinger): The following is protected.
204 // __ jmp(Operand(rbx, rcx, times_4, 10000));
206 __ leaq(rdx, Operand(rbx, rcx, times_4, 10000));
207 __ orq(rdx, Immediate(12345));
208 __ orq(rdx, Operand(rbx, rcx, times_4, 10000));
212 __ rclq(rdx, Immediate(1));
213 __ rclq(rdx, Immediate(7));
214 __ rcrq(rdx, Immediate(1));
215 __ rcrq(rdx, Immediate(7));
216 __ sarq(rdx, Immediate(1));
217 __ sarq(rdx, Immediate(6));
221 __ shlq(rdx, Immediate(1));
222 __ shlq(rdx, Immediate(6));
225 __ shrq(rdx, Immediate(1));
226 __ shrq(rdx, Immediate(7));
232 __ addq(rbx, Immediate(12));
233 __ addq(Operand(rdx, rcx, times_4, 10000), Immediate(12));
235 __ andq(rbx, Immediate(12345));
237 __ cmpq(rbx, Immediate(12345));
238 __ cmpq(rbx, Immediate(12));
239 __ cmpq(Operand(rdx, rcx, times_4, 10000), Immediate(12));
240 __ cmpb(rax, Immediate(100));
242 __ orq(rbx, Immediate(12345));
244 __ subq(rbx, Immediate(12));
245 __ subq(Operand(rdx, rcx, times_4, 10000), Immediate(12));
247 __ xorq(rbx, Immediate(12345));
249 __ imulq(rdx, rcx, Immediate(12));
250 __ imulq(rdx, rcx, Immediate(1000));
254 __ subq(rdx, Operand(rbx, rcx, times_4, 10000));
257 __ testq(rdx, Immediate(12345));
258 __ testq(Operand(rbx, rcx, times_8, 10000), rdx);
259 __ testb(Operand(rcx, rbx, times_2, 1000), rdx);
260 __ testb(Operand(rax, -20), Immediate(0x9A));
263 __ xorq(rdx, Immediate(12345));
264 __ xorq(rdx, Operand(rbx, rcx, times_8, 10000));
265 __ bts(Operand(rbx, rcx, times_8, 10000), rdx);
280 // TODO(mstarzinger): The following is protected.
281 // __ call(Operand(rbx, rcx, times_4, 10000));
283 Handle<Code> ic(LoadIC::initialize_stub(isolate, NOT_CONTEXTUAL));
284 __ call(ic, RelocInfo::CODE_TARGET);
289 // TODO(mstarzinger): The following is protected.
290 // __ jmp(Operand(rbx, rcx, times_4, 10000));
291 ExternalReference after_break_target =
292 ExternalReference::debug_after_break_target_address(isolate);
293 USE(after_break_target);
294 __ jmp(ic, RelocInfo::CODE_TARGET);
301 __ j(overflow, &Ljcc);
302 __ j(no_overflow, &Ljcc);
304 __ j(above_equal, &Ljcc);
306 __ j(not_equal, &Ljcc);
307 __ j(below_equal, &Ljcc);
310 __ j(not_sign, &Ljcc);
311 __ j(parity_even, &Ljcc);
312 __ j(parity_odd, &Ljcc);
314 __ j(greater_equal, &Ljcc);
315 __ j(less_equal, &Ljcc);
316 __ j(greater, &Ljcc);
320 __ j(overflow, &Ljcc);
321 __ j(no_overflow, &Ljcc);
323 __ j(above_equal, &Ljcc);
325 __ j(not_equal, &Ljcc);
326 __ j(below_equal, &Ljcc);
329 __ j(not_sign, &Ljcc);
330 __ j(parity_even, &Ljcc);
331 __ j(parity_odd, &Ljcc);
333 __ j(greater_equal, &Ljcc);
334 __ j(less_equal, &Ljcc);
335 __ j(greater, &Ljcc);
351 __ fld_s(Operand(rbx, rcx, times_4, 10000));
352 __ fstp_s(Operand(rbx, rcx, times_4, 10000));
354 __ fld_d(Operand(rbx, rcx, times_4, 10000));
355 __ fstp_d(Operand(rbx, rcx, times_4, 10000));
358 __ fild_s(Operand(rbx, rcx, times_4, 10000));
359 __ fistp_s(Operand(rbx, rcx, times_4, 10000));
360 __ fild_d(Operand(rbx, rcx, times_4, 10000));
361 __ fistp_d(Operand(rbx, rcx, times_4, 10000));
382 __ cvttss2si(rdx, Operand(rbx, rcx, times_4, 10000));
383 __ cvttss2si(rdx, xmm1);
384 __ cvtsd2ss(xmm0, xmm1);
385 __ cvtsd2ss(xmm0, Operand(rbx, rcx, times_4, 10000));
386 __ movaps(xmm0, xmm1);
389 __ andps(xmm0, xmm1);
390 __ andps(xmm0, Operand(rbx, rcx, times_4, 10000));
392 __ orps(xmm0, Operand(rbx, rcx, times_4, 10000));
393 __ xorps(xmm0, xmm1);
394 __ xorps(xmm0, Operand(rbx, rcx, times_4, 10000));
396 // Arithmetic operation
397 __ addss(xmm1, xmm0);
398 __ addss(xmm1, Operand(rbx, rcx, times_4, 10000));
399 __ mulss(xmm1, xmm0);
400 __ mulss(xmm1, Operand(rbx, rcx, times_4, 10000));
401 __ subss(xmm1, xmm0);
402 __ subss(xmm1, Operand(rbx, rcx, times_4, 10000));
403 __ divss(xmm1, xmm0);
404 __ divss(xmm1, Operand(rbx, rcx, times_4, 10000));
405 __ addps(xmm1, xmm0);
406 __ addps(xmm1, Operand(rbx, rcx, times_4, 10000));
407 __ subps(xmm1, xmm0);
408 __ subps(xmm1, Operand(rbx, rcx, times_4, 10000));
409 __ mulps(xmm1, xmm0);
410 __ mulps(xmm1, Operand(rbx, rcx, times_4, 10000));
411 __ divps(xmm1, xmm0);
412 __ divps(xmm1, Operand(rbx, rcx, times_4, 10000));
414 __ ucomiss(xmm0, xmm1);
415 __ ucomiss(xmm0, Operand(rbx, rcx, times_4, 10000));
417 // SSE 2 instructions
419 __ cvttsd2si(rdx, Operand(rbx, rcx, times_4, 10000));
420 __ cvttsd2si(rdx, xmm1);
421 __ cvttsd2siq(rdx, xmm1);
422 __ cvttsd2siq(rdx, Operand(rbx, rcx, times_4, 10000));
423 __ cvtqsi2sd(xmm1, Operand(rbx, rcx, times_4, 10000));
424 __ cvtqsi2sd(xmm1, rdx);
425 __ movsd(xmm1, Operand(rbx, rcx, times_4, 10000));
426 __ movsd(Operand(rbx, rcx, times_4, 10000), xmm1);
427 // 128 bit move instructions.
428 __ movdqa(xmm0, Operand(rbx, rcx, times_4, 10000));
429 __ movdqa(Operand(rbx, rcx, times_4, 10000), xmm0);
431 __ addsd(xmm1, xmm0);
432 __ addsd(xmm1, Operand(rbx, rcx, times_4, 10000));
433 __ mulsd(xmm1, xmm0);
434 __ mulsd(xmm1, Operand(rbx, rcx, times_4, 10000));
435 __ subsd(xmm1, xmm0);
436 __ subsd(xmm1, Operand(rbx, rcx, times_4, 10000));
437 __ divsd(xmm1, xmm0);
438 __ divsd(xmm1, Operand(rbx, rcx, times_4, 10000));
439 __ ucomisd(xmm0, xmm1);
441 __ andpd(xmm0, xmm1);
448 __ pcmpeqd(xmm1, xmm0);
453 __ cmovq(overflow, rax, Operand(rax, 0));
454 __ cmovq(no_overflow, rax, Operand(rax, 1));
455 __ cmovq(below, rax, Operand(rax, 2));
456 __ cmovq(above_equal, rax, Operand(rax, 3));
457 __ cmovq(equal, rax, Operand(rbx, 0));
458 __ cmovq(not_equal, rax, Operand(rbx, 1));
459 __ cmovq(below_equal, rax, Operand(rbx, 2));
460 __ cmovq(above, rax, Operand(rbx, 3));
461 __ cmovq(sign, rax, Operand(rcx, 0));
462 __ cmovq(not_sign, rax, Operand(rcx, 1));
463 __ cmovq(parity_even, rax, Operand(rcx, 2));
464 __ cmovq(parity_odd, rax, Operand(rcx, 3));
465 __ cmovq(less, rax, Operand(rdx, 0));
466 __ cmovq(greater_equal, rax, Operand(rdx, 1));
467 __ cmovq(less_equal, rax, Operand(rdx, 2));
468 __ cmovq(greater, rax, Operand(rdx, 3));
472 if (CpuFeatures::IsSupported(SSE4_1)) {
473 CpuFeatureScope scope(&assm, SSE4_1);
474 __ extractps(rax, xmm1, 0);
480 if (CpuFeatures::IsSupported(AVX)) {
481 CpuFeatureScope scope(&assm, AVX);
482 __ vaddsd(xmm0, xmm1, xmm2);
483 __ vaddsd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
484 __ vmulsd(xmm0, xmm1, xmm2);
485 __ vmulsd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
486 __ vsubsd(xmm0, xmm1, xmm2);
487 __ vsubsd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
488 __ vdivsd(xmm0, xmm1, xmm2);
489 __ vdivsd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
495 if (CpuFeatures::IsSupported(FMA3)) {
496 CpuFeatureScope scope(&assm, FMA3);
497 __ vfmadd132sd(xmm0, xmm1, xmm2);
498 __ vfmadd132sd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
499 __ vfmadd213sd(xmm0, xmm1, xmm2);
500 __ vfmadd213sd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
501 __ vfmadd231sd(xmm0, xmm1, xmm2);
502 __ vfmadd231sd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
504 __ vfmadd132sd(xmm9, xmm10, xmm11);
505 __ vfmadd132sd(xmm9, xmm10, Operand(r9, r11, times_4, 10000));
506 __ vfmadd213sd(xmm9, xmm10, xmm11);
507 __ vfmadd213sd(xmm9, xmm10, Operand(r9, r11, times_4, 10000));
508 __ vfmadd231sd(xmm9, xmm10, xmm11);
509 __ vfmadd231sd(xmm9, xmm10, Operand(r9, r11, times_4, 10000));
511 __ vfmsub132sd(xmm0, xmm1, xmm2);
512 __ vfmsub132sd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
513 __ vfmsub213sd(xmm0, xmm1, xmm2);
514 __ vfmsub213sd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
515 __ vfmsub231sd(xmm0, xmm1, xmm2);
516 __ vfmsub231sd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
518 __ vfnmadd132sd(xmm0, xmm1, xmm2);
519 __ vfnmadd132sd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
520 __ vfnmadd213sd(xmm0, xmm1, xmm2);
521 __ vfnmadd213sd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
522 __ vfnmadd231sd(xmm0, xmm1, xmm2);
523 __ vfnmadd231sd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
525 __ vfnmsub132sd(xmm0, xmm1, xmm2);
526 __ vfnmsub132sd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
527 __ vfnmsub213sd(xmm0, xmm1, xmm2);
528 __ vfnmsub213sd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
529 __ vfnmsub231sd(xmm0, xmm1, xmm2);
530 __ vfnmsub231sd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
532 __ vfmadd132ss(xmm0, xmm1, xmm2);
533 __ vfmadd132ss(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
534 __ vfmadd213ss(xmm0, xmm1, xmm2);
535 __ vfmadd213ss(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
536 __ vfmadd231ss(xmm0, xmm1, xmm2);
537 __ vfmadd231ss(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
539 __ vfmsub132ss(xmm0, xmm1, xmm2);
540 __ vfmsub132ss(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
541 __ vfmsub213ss(xmm0, xmm1, xmm2);
542 __ vfmsub213ss(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
543 __ vfmsub231ss(xmm0, xmm1, xmm2);
544 __ vfmsub231ss(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
546 __ vfnmadd132ss(xmm0, xmm1, xmm2);
547 __ vfnmadd132ss(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
548 __ vfnmadd213ss(xmm0, xmm1, xmm2);
549 __ vfnmadd213ss(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
550 __ vfnmadd231ss(xmm0, xmm1, xmm2);
551 __ vfnmadd231ss(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
553 __ vfnmsub132ss(xmm0, xmm1, xmm2);
554 __ vfnmsub132ss(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
555 __ vfnmsub213ss(xmm0, xmm1, xmm2);
556 __ vfnmsub213ss(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
557 __ vfnmsub231ss(xmm0, xmm1, xmm2);
558 __ vfnmsub231ss(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
566 __ xchgq(rbx, Operand(rsp, 12));
570 for (int i = 0; i < 16; i++) {
578 Handle<Code> code = isolate->factory()->NewCode(
579 desc, Code::ComputeFlags(Code::STUB), Handle<Code>());
584 byte* begin = code->instruction_start();
585 byte* end = begin + code->instruction_size();
586 disasm::Disassembler::Disassemble(stdout, begin, end);