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#include <stdlib.h>
29
30#include "v8.h"
31
32#include "debug.h"
33#include "disasm.h"
34#include "disassembler.h"
35#include "macro-assembler.h"
36#include "serialize.h"
37#include "cctest.h"
38
39using namespace v8::internal;
40
41static v8::Persistent<v8::Context> env;
42
43static void InitializeVM() {
44  if (env.IsEmpty()) {
45    env = v8::Context::New();
46  }
47}
48
49
50#define __ assm.
51
52
53static void DummyStaticFunction(Object* result) {
54}
55
56
57TEST(DisasmX64) {
58  InitializeVM();
59  v8::HandleScope scope;
60  v8::internal::byte buffer[2048];
61  Assembler assm(Isolate::Current(), buffer, sizeof buffer);
62  DummyStaticFunction(NULL);  // just bloody use it (DELETE; debugging)
63
64  // Short immediate instructions
65  __ addq(rax, Immediate(12345678));
66  __ or_(rax, Immediate(12345678));
67  __ subq(rax, Immediate(12345678));
68  __ xor_(rax, Immediate(12345678));
69  __ and_(rax, Immediate(12345678));
70
71  // ---- This one caused crash
72  __ movq(rbx,  Operand(rsp, rcx, times_2, 0));  // [rsp+rcx*4]
73
74  // ---- All instructions that I can think of
75  __ addq(rdx, rbx);
76  __ addq(rdx, Operand(rbx, 0));
77  __ addq(rdx, Operand(rbx, 16));
78  __ addq(rdx, Operand(rbx, 1999));
79  __ addq(rdx, Operand(rsp, 0));
80  __ addq(rdx, Operand(rsp, 16));
81  __ addq(rdx, Operand(rsp, 1999));
82  __ nop();
83  __ addq(rdi, Operand(rbp, rcx, times_4, 0));
84  __ addq(rdi, Operand(rbp, rcx, times_4, 12));
85  __ addq(Operand(rbp, rcx, times_4, 12), Immediate(12));
86
87  __ nop();
88  __ addq(rbx, Immediate(12));
89  __ nop();
90  __ nop();
91  __ and_(rdx, Immediate(3));
92  __ and_(rdx, Operand(rsp, 4));
93  __ cmpq(rdx, Immediate(3));
94  __ cmpq(rdx, Operand(rsp, 4));
95  __ cmpq(Operand(rbp, rcx, times_4, 0), Immediate(1000));
96  __ cmpb(rbx, Operand(rbp, rcx, times_2, 0));
97  __ cmpb(Operand(rbp, rcx, times_2, 0), rbx);
98  __ or_(rdx, Immediate(3));
99  __ xor_(rdx, Immediate(3));
100  __ nop();
101  {
102    CHECK(CpuFeatures::IsSupported(CPUID));
103    CpuFeatures::Scope fscope(CPUID);
104    __ cpuid();
105  }
106  {
107    CHECK(CpuFeatures::IsSupported(RDTSC));
108    CpuFeatures::Scope fscope(RDTSC);
109    __ rdtsc();
110  }
111  __ movsxbq(rdx, Operand(rcx, 0));
112  __ movsxwq(rdx, Operand(rcx, 0));
113  __ movzxbl(rdx, Operand(rcx, 0));
114  __ movzxwl(rdx, Operand(rcx, 0));
115  __ movzxbq(rdx, Operand(rcx, 0));
116  __ movzxwq(rdx, Operand(rcx, 0));
117
118  __ nop();
119  __ imul(rdx, rcx);
120  __ shld(rdx, rcx);
121  __ shrd(rdx, rcx);
122  __ bts(Operand(rdx, 0), rcx);
123  __ bts(Operand(rbx, rcx, times_4, 0), rcx);
124  __ nop();
125  __ push(Immediate(12));
126  __ push(Immediate(23456));
127  __ push(rcx);
128  __ push(rsi);
129  __ push(Operand(rbp, JavaScriptFrameConstants::kFunctionOffset));
130  __ push(Operand(rbx, rcx, times_4, 0));
131  __ push(Operand(rbx, rcx, times_4, 0));
132  __ push(Operand(rbx, rcx, times_4, 10000));
133  __ pop(rdx);
134  __ pop(rax);
135  __ pop(Operand(rbx, rcx, times_4, 0));
136  __ nop();
137
138  __ addq(rdx, Operand(rsp, 16));
139  __ addq(rdx, rcx);
140  __ movb(rdx, Operand(rcx, 0));
141  __ movb(rcx, Immediate(6));
142  __ movb(Operand(rsp, 16), rdx);
143  __ movw(Operand(rsp, 16), rdx);
144  __ nop();
145  __ movsxwq(rdx, Operand(rsp, 12));
146  __ movsxbq(rdx, Operand(rsp, 12));
147  __ movsxlq(rdx, Operand(rsp, 12));
148  __ movzxwq(rdx, Operand(rsp, 12));
149  __ movzxbq(rdx, Operand(rsp, 12));
150  __ nop();
151  __ movq(rdx, Immediate(1234567));
152  __ movq(rdx, Operand(rsp, 12));
153  __ movq(Operand(rbx, rcx, times_4, 10000), Immediate(12345));
154  __ movq(Operand(rbx, rcx, times_4, 10000), rdx);
155  __ nop();
156  __ decb(rdx);
157  __ decb(Operand(rax, 10));
158  __ decb(Operand(rbx, rcx, times_4, 10000));
159  __ decq(rdx);
160  __ cdq();
161
162  __ nop();
163  __ idivq(rdx);
164  __ mul(rdx);
165  __ neg(rdx);
166  __ not_(rdx);
167  __ testq(Operand(rbx, rcx, times_4, 10000), rdx);
168
169  __ imul(rdx, Operand(rbx, rcx, times_4, 10000));
170  __ imul(rdx, rcx, Immediate(12));
171  __ imul(rdx, rcx, Immediate(1000));
172
173  __ incq(rdx);
174  __ incq(Operand(rbx, rcx, times_4, 10000));
175  __ push(Operand(rbx, rcx, times_4, 10000));
176  __ pop(Operand(rbx, rcx, times_4, 10000));
177  __ jmp(Operand(rbx, rcx, times_4, 10000));
178
179  __ lea(rdx, Operand(rbx, rcx, times_4, 10000));
180  __ or_(rdx, Immediate(12345));
181  __ or_(rdx, Operand(rbx, rcx, times_4, 10000));
182
183  __ nop();
184
185  __ rcl(rdx, Immediate(1));
186  __ rcl(rdx, Immediate(7));
187  __ rcr(rdx, Immediate(1));
188  __ rcr(rdx, Immediate(7));
189  __ sar(rdx, Immediate(1));
190  __ sar(rdx, Immediate(6));
191  __ sar_cl(rdx);
192  __ sbbq(rdx, rbx);
193  __ shld(rdx, rbx);
194  __ shl(rdx, Immediate(1));
195  __ shl(rdx, Immediate(6));
196  __ shl_cl(rdx);
197  __ shrd(rdx, rbx);
198  __ shr(rdx, Immediate(1));
199  __ shr(rdx, Immediate(7));
200  __ shr_cl(rdx);
201
202
203  // Immediates
204
205  __ addq(rbx, Immediate(12));
206  __ addq(Operand(rdx, rcx, times_4, 10000), Immediate(12));
207
208  __ and_(rbx, Immediate(12345));
209
210  __ cmpq(rbx, Immediate(12345));
211  __ cmpq(rbx, Immediate(12));
212  __ cmpq(Operand(rdx, rcx, times_4, 10000), Immediate(12));
213  __ cmpb(rax, Immediate(100));
214
215  __ or_(rbx, Immediate(12345));
216
217  __ subq(rbx, Immediate(12));
218  __ subq(Operand(rdx, rcx, times_4, 10000), Immediate(12));
219
220  __ xor_(rbx, Immediate(12345));
221
222  __ imul(rdx, rcx, Immediate(12));
223  __ imul(rdx, rcx, Immediate(1000));
224
225  __ cld();
226
227  __ subq(rdx, Operand(rbx, rcx, times_4, 10000));
228  __ subq(rdx, rbx);
229
230  __ testq(rdx, Immediate(12345));
231  __ testq(Operand(rbx, rcx, times_8, 10000), rdx);
232  __ testb(Operand(rcx, rbx, times_2, 1000), rdx);
233  __ testb(Operand(rax, -20), Immediate(0x9A));
234  __ nop();
235
236  __ xor_(rdx, Immediate(12345));
237  __ xor_(rdx, Operand(rbx, rcx, times_8, 10000));
238  __ bts(Operand(rbx, rcx, times_8, 10000), rdx);
239  __ hlt();
240  __ int3();
241  __ ret(0);
242  __ ret(8);
243
244  // Calls
245
246  Label L1, L2;
247  __ bind(&L1);
248  __ nop();
249  __ call(&L1);
250  __ call(&L2);
251  __ nop();
252  __ bind(&L2);
253  __ call(Operand(rbx, rcx, times_4, 10000));
254  __ nop();
255  Handle<Code> ic(Isolate::Current()->builtins()->builtin(
256      Builtins::kLoadIC_Initialize));
257  __ call(ic, RelocInfo::CODE_TARGET);
258  __ nop();
259  __ nop();
260
261  __ jmp(&L1);
262  __ jmp(Operand(rbx, rcx, times_4, 10000));
263#ifdef ENABLE_DEBUGGER_SUPPORT
264  ExternalReference after_break_target =
265      ExternalReference(Debug_Address::AfterBreakTarget(),
266                        assm.isolate());
267#endif  // ENABLE_DEBUGGER_SUPPORT
268  __ jmp(ic, RelocInfo::CODE_TARGET);
269  __ nop();
270
271
272  Label Ljcc;
273  __ nop();
274  // long jumps
275  __ j(overflow, &Ljcc);
276  __ j(no_overflow, &Ljcc);
277  __ j(below, &Ljcc);
278  __ j(above_equal, &Ljcc);
279  __ j(equal, &Ljcc);
280  __ j(not_equal, &Ljcc);
281  __ j(below_equal, &Ljcc);
282  __ j(above, &Ljcc);
283  __ j(sign, &Ljcc);
284  __ j(not_sign, &Ljcc);
285  __ j(parity_even, &Ljcc);
286  __ j(parity_odd, &Ljcc);
287  __ j(less, &Ljcc);
288  __ j(greater_equal, &Ljcc);
289  __ j(less_equal, &Ljcc);
290  __ j(greater, &Ljcc);
291  __ nop();
292  __ bind(&Ljcc);
293  // short jumps
294  __ j(overflow, &Ljcc);
295  __ j(no_overflow, &Ljcc);
296  __ j(below, &Ljcc);
297  __ j(above_equal, &Ljcc);
298  __ j(equal, &Ljcc);
299  __ j(not_equal, &Ljcc);
300  __ j(below_equal, &Ljcc);
301  __ j(above, &Ljcc);
302  __ j(sign, &Ljcc);
303  __ j(not_sign, &Ljcc);
304  __ j(parity_even, &Ljcc);
305  __ j(parity_odd, &Ljcc);
306  __ j(less, &Ljcc);
307  __ j(greater_equal, &Ljcc);
308  __ j(less_equal, &Ljcc);
309  __ j(greater, &Ljcc);
310
311  // 0xD9 instructions
312  __ nop();
313
314  __ fld(1);
315  __ fld1();
316  __ fldz();
317  __ fldpi();
318  __ fabs();
319  __ fchs();
320  __ fprem();
321  __ fprem1();
322  __ fincstp();
323  __ ftst();
324  __ fxch(3);
325  __ fld_s(Operand(rbx, rcx, times_4, 10000));
326  __ fstp_s(Operand(rbx, rcx, times_4, 10000));
327  __ ffree(3);
328  __ fld_d(Operand(rbx, rcx, times_4, 10000));
329  __ fstp_d(Operand(rbx, rcx, times_4, 10000));
330  __ nop();
331
332  __ fild_s(Operand(rbx, rcx, times_4, 10000));
333  __ fistp_s(Operand(rbx, rcx, times_4, 10000));
334  __ fild_d(Operand(rbx, rcx, times_4, 10000));
335  __ fistp_d(Operand(rbx, rcx, times_4, 10000));
336  __ fnstsw_ax();
337  __ nop();
338  __ fadd(3);
339  __ fsub(3);
340  __ fmul(3);
341  __ fdiv(3);
342
343  __ faddp(3);
344  __ fsubp(3);
345  __ fmulp(3);
346  __ fdivp(3);
347  __ fcompp();
348  __ fwait();
349  __ nop();
350  {
351    if (CpuFeatures::IsSupported(SSE2)) {
352      CpuFeatures::Scope fscope(SSE2);
353      __ cvttss2si(rdx, Operand(rbx, rcx, times_4, 10000));
354      __ cvttss2si(rdx, xmm1);
355      __ cvttsd2si(rdx, Operand(rbx, rcx, times_4, 10000));
356      __ cvttsd2si(rdx, xmm1);
357      __ cvttsd2siq(rdx, xmm1);
358      __ addsd(xmm1, xmm0);
359      __ mulsd(xmm1, xmm0);
360      __ subsd(xmm1, xmm0);
361      __ divsd(xmm1, xmm0);
362      __ movsd(xmm1, Operand(rbx, rcx, times_4, 10000));
363      __ movsd(Operand(rbx, rcx, times_4, 10000), xmm1);
364      __ ucomisd(xmm0, xmm1);
365
366      // 128 bit move instructions.
367      __ movdqa(xmm0, Operand(rbx, rcx, times_4, 10000));
368      __ movdqa(Operand(rbx, rcx, times_4, 10000), xmm0);
369    }
370  }
371
372  // cmov.
373  {
374    if (CpuFeatures::IsSupported(CMOV)) {
375      CpuFeatures::Scope use_cmov(CMOV);
376      __ cmovq(overflow, rax, Operand(rax, 0));
377      __ cmovq(no_overflow, rax, Operand(rax, 1));
378      __ cmovq(below, rax, Operand(rax, 2));
379      __ cmovq(above_equal, rax, Operand(rax, 3));
380      __ cmovq(equal, rax, Operand(rbx, 0));
381      __ cmovq(not_equal, rax, Operand(rbx, 1));
382      __ cmovq(below_equal, rax, Operand(rbx, 2));
383      __ cmovq(above, rax, Operand(rbx, 3));
384      __ cmovq(sign, rax, Operand(rcx, 0));
385      __ cmovq(not_sign, rax, Operand(rcx, 1));
386      __ cmovq(parity_even, rax, Operand(rcx, 2));
387      __ cmovq(parity_odd, rax, Operand(rcx, 3));
388      __ cmovq(less, rax, Operand(rdx, 0));
389      __ cmovq(greater_equal, rax, Operand(rdx, 1));
390      __ cmovq(less_equal, rax, Operand(rdx, 2));
391      __ cmovq(greater, rax, Operand(rdx, 3));
392    }
393  }
394
395  // andpd, etc.
396  {
397    if (CpuFeatures::IsSupported(SSE2)) {
398      CpuFeatures::Scope fscope(SSE2);
399      __ andpd(xmm0, xmm1);
400      __ andpd(xmm1, xmm2);
401
402      __ movaps(xmm0, xmm1);
403      __ movaps(xmm1, xmm2);
404    }
405  }
406
407  // Nop instructions
408  for (int i = 0; i < 16; i++) {
409    __ Nop(i);
410  }
411
412  __ ret(0);
413
414  CodeDesc desc;
415  assm.GetCode(&desc);
416  Object* code = HEAP->CreateCode(
417      desc,
418      Code::ComputeFlags(Code::STUB),
419      Handle<Object>(HEAP->undefined_value()))->ToObjectChecked();
420  CHECK(code->IsCode());
421#ifdef OBJECT_PRINT
422  Code::cast(code)->Print();
423  byte* begin = Code::cast(code)->instruction_start();
424  byte* end = begin + Code::cast(code)->instruction_size();
425  disasm::Disassembler::Disassemble(stdout, begin, end);
426#endif
427}
428
429#undef __
430