blob: da85eb933e6830b5ddaa19430fbbc888813c3f5d [file] [log] [blame]
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001// 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 __