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 "src/v8.h"
31
32 #include "src/debug.h"
33 #include "src/disasm.h"
34 #include "src/disassembler.h"
35 #include "src/macro-assembler.h"
36 #include "src/serialize.h"
37 #include "src/stub-cache.h"
38 #include "test/cctest/cctest.h"
39
40 using namespace v8::internal;
41
42
43 #define __ assm.
44
45
DummyStaticFunction(Object * result)46 static void DummyStaticFunction(Object* result) {
47 }
48
49
TEST(DisasmX64)50 TEST(DisasmX64) {
51 CcTest::InitializeVM();
52 Isolate* isolate = CcTest::i_isolate();
53 HandleScope scope(isolate);
54 v8::internal::byte buffer[2048];
55 Assembler assm(isolate, buffer, sizeof buffer);
56 DummyStaticFunction(NULL); // just bloody use it (DELETE; debugging)
57
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));
64
65 // ---- This one caused crash
66 __ movq(rbx, Operand(rsp, rcx, times_2, 0)); // [rsp+rcx*4]
67
68 // ---- All instructions that I can think of
69 __ addq(rdx, rbx);
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));
80 __ nop();
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));
85 __ nop();
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));
91
92 __ nop();
93 __ addq(rbx, Immediate(12));
94 __ nop();
95 __ nop();
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));
105 __ nop();
106 __ cpuid();
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));
115
116 __ nop();
117 __ imulq(rdx, rcx);
118 __ shld(rdx, rcx);
119 __ shrd(rdx, rcx);
120 __ bts(Operand(rdx, 0), rcx);
121 __ bts(Operand(rbx, rcx, times_4, 0), rcx);
122 __ nop();
123 __ pushq(Immediate(12));
124 __ pushq(Immediate(23456));
125 __ pushq(rcx);
126 __ pushq(rsi);
127 __ pushq(Operand(rbp, JavaScriptFrameConstants::kFunctionOffset));
128 __ pushq(Operand(rbx, rcx, times_4, 0));
129 __ pushq(Operand(rbx, rcx, times_4, 0));
130 __ pushq(Operand(rbx, rcx, times_4, 10000));
131 __ popq(rdx);
132 __ popq(rax);
133 __ popq(Operand(rbx, rcx, times_4, 0));
134 __ nop();
135
136 __ addq(rdx, Operand(rsp, 16));
137 __ addq(rdx, rcx);
138 __ movb(rdx, Operand(rcx, 0));
139 __ movb(rcx, Immediate(6));
140 __ movb(Operand(rsp, 16), rdx);
141 __ movw(Operand(rsp, 16), rdx);
142 __ nop();
143 __ movsxwq(rdx, Operand(rsp, 12));
144 __ movsxbq(rdx, Operand(rsp, 12));
145 __ movsxlq(rdx, Operand(rsp, 12));
146 __ movzxwq(rdx, Operand(rsp, 12));
147 __ movzxbq(rdx, Operand(rsp, 12));
148 __ nop();
149 __ movq(rdx, Immediate(1234567));
150 __ movq(rdx, Operand(rsp, 12));
151 __ movq(Operand(rbx, rcx, times_4, 10000), Immediate(12345));
152 __ movq(Operand(rbx, rcx, times_4, 10000), rdx);
153 __ nop();
154 __ decb(rdx);
155 __ decb(Operand(rax, 10));
156 __ decb(Operand(rbx, rcx, times_4, 10000));
157 __ decq(rdx);
158 __ cdq();
159
160 __ nop();
161 __ idivq(rdx);
162 __ mul(rdx);
163 __ negq(rdx);
164 __ notq(rdx);
165 __ testq(Operand(rbx, rcx, times_4, 10000), rdx);
166
167 __ imulq(rdx, Operand(rbx, rcx, times_4, 10000));
168 __ imulq(rdx, rcx, Immediate(12));
169 __ imulq(rdx, rcx, Immediate(1000));
170
171 __ incq(rdx);
172 __ incq(Operand(rbx, rcx, times_4, 10000));
173 __ pushq(Operand(rbx, rcx, times_4, 10000));
174 __ popq(Operand(rbx, rcx, times_4, 10000));
175 // TODO(mstarzinger): The following is protected.
176 // __ jmp(Operand(rbx, rcx, times_4, 10000));
177
178 __ leaq(rdx, Operand(rbx, rcx, times_4, 10000));
179 __ orq(rdx, Immediate(12345));
180 __ orq(rdx, Operand(rbx, rcx, times_4, 10000));
181
182 __ nop();
183
184 __ rclq(rdx, Immediate(1));
185 __ rclq(rdx, Immediate(7));
186 __ rcrq(rdx, Immediate(1));
187 __ rcrq(rdx, Immediate(7));
188 __ sarq(rdx, Immediate(1));
189 __ sarq(rdx, Immediate(6));
190 __ sarq_cl(rdx);
191 __ sbbq(rdx, rbx);
192 __ shld(rdx, rbx);
193 __ shlq(rdx, Immediate(1));
194 __ shlq(rdx, Immediate(6));
195 __ shlq_cl(rdx);
196 __ shrd(rdx, rbx);
197 __ shrq(rdx, Immediate(1));
198 __ shrq(rdx, Immediate(7));
199 __ shrq_cl(rdx);
200
201
202 // Immediates
203
204 __ addq(rbx, Immediate(12));
205 __ addq(Operand(rdx, rcx, times_4, 10000), Immediate(12));
206
207 __ andq(rbx, Immediate(12345));
208
209 __ cmpq(rbx, Immediate(12345));
210 __ cmpq(rbx, Immediate(12));
211 __ cmpq(Operand(rdx, rcx, times_4, 10000), Immediate(12));
212 __ cmpb(rax, Immediate(100));
213
214 __ orq(rbx, Immediate(12345));
215
216 __ subq(rbx, Immediate(12));
217 __ subq(Operand(rdx, rcx, times_4, 10000), Immediate(12));
218
219 __ xorq(rbx, Immediate(12345));
220
221 __ imulq(rdx, rcx, Immediate(12));
222 __ imulq(rdx, rcx, Immediate(1000));
223
224 __ cld();
225
226 __ subq(rdx, Operand(rbx, rcx, times_4, 10000));
227 __ subq(rdx, rbx);
228
229 __ testq(rdx, Immediate(12345));
230 __ testq(Operand(rbx, rcx, times_8, 10000), rdx);
231 __ testb(Operand(rcx, rbx, times_2, 1000), rdx);
232 __ testb(Operand(rax, -20), Immediate(0x9A));
233 __ nop();
234
235 __ xorq(rdx, Immediate(12345));
236 __ xorq(rdx, Operand(rbx, rcx, times_8, 10000));
237 __ bts(Operand(rbx, rcx, times_8, 10000), rdx);
238 __ hlt();
239 __ int3();
240 __ ret(0);
241 __ ret(8);
242
243 // Calls
244
245 Label L1, L2;
246 __ bind(&L1);
247 __ nop();
248 __ call(&L1);
249 __ call(&L2);
250 __ nop();
251 __ bind(&L2);
252 // TODO(mstarzinger): The following is protected.
253 // __ call(Operand(rbx, rcx, times_4, 10000));
254 __ nop();
255 Handle<Code> ic(LoadIC::initialize_stub(isolate, NOT_CONTEXTUAL));
256 __ call(ic, RelocInfo::CODE_TARGET);
257 __ nop();
258 __ nop();
259
260 __ jmp(&L1);
261 // TODO(mstarzinger): The following is protected.
262 // __ jmp(Operand(rbx, rcx, times_4, 10000));
263 ExternalReference after_break_target =
264 ExternalReference::debug_after_break_target_address(isolate);
265 USE(after_break_target);
266 __ jmp(ic, RelocInfo::CODE_TARGET);
267 __ nop();
268
269
270 Label Ljcc;
271 __ nop();
272 // long jumps
273 __ j(overflow, &Ljcc);
274 __ j(no_overflow, &Ljcc);
275 __ j(below, &Ljcc);
276 __ j(above_equal, &Ljcc);
277 __ j(equal, &Ljcc);
278 __ j(not_equal, &Ljcc);
279 __ j(below_equal, &Ljcc);
280 __ j(above, &Ljcc);
281 __ j(sign, &Ljcc);
282 __ j(not_sign, &Ljcc);
283 __ j(parity_even, &Ljcc);
284 __ j(parity_odd, &Ljcc);
285 __ j(less, &Ljcc);
286 __ j(greater_equal, &Ljcc);
287 __ j(less_equal, &Ljcc);
288 __ j(greater, &Ljcc);
289 __ nop();
290 __ bind(&Ljcc);
291 // short jumps
292 __ j(overflow, &Ljcc);
293 __ j(no_overflow, &Ljcc);
294 __ j(below, &Ljcc);
295 __ j(above_equal, &Ljcc);
296 __ j(equal, &Ljcc);
297 __ j(not_equal, &Ljcc);
298 __ j(below_equal, &Ljcc);
299 __ j(above, &Ljcc);
300 __ j(sign, &Ljcc);
301 __ j(not_sign, &Ljcc);
302 __ j(parity_even, &Ljcc);
303 __ j(parity_odd, &Ljcc);
304 __ j(less, &Ljcc);
305 __ j(greater_equal, &Ljcc);
306 __ j(less_equal, &Ljcc);
307 __ j(greater, &Ljcc);
308
309 // 0xD9 instructions
310 __ nop();
311
312 __ fld(1);
313 __ fld1();
314 __ fldz();
315 __ fldpi();
316 __ fabs();
317 __ fchs();
318 __ fprem();
319 __ fprem1();
320 __ fincstp();
321 __ ftst();
322 __ fxch(3);
323 __ fld_s(Operand(rbx, rcx, times_4, 10000));
324 __ fstp_s(Operand(rbx, rcx, times_4, 10000));
325 __ ffree(3);
326 __ fld_d(Operand(rbx, rcx, times_4, 10000));
327 __ fstp_d(Operand(rbx, rcx, times_4, 10000));
328 __ nop();
329
330 __ fild_s(Operand(rbx, rcx, times_4, 10000));
331 __ fistp_s(Operand(rbx, rcx, times_4, 10000));
332 __ fild_d(Operand(rbx, rcx, times_4, 10000));
333 __ fistp_d(Operand(rbx, rcx, times_4, 10000));
334 __ fnstsw_ax();
335 __ nop();
336 __ fadd(3);
337 __ fsub(3);
338 __ fmul(3);
339 __ fdiv(3);
340
341 __ faddp(3);
342 __ fsubp(3);
343 __ fmulp(3);
344 __ fdivp(3);
345 __ fcompp();
346 __ fwait();
347 __ frndint();
348 __ fninit();
349 __ nop();
350
351 // SSE instruction
352 {
353 // Move operation
354 __ cvttss2si(rdx, Operand(rbx, rcx, times_4, 10000));
355 __ cvttss2si(rdx, xmm1);
356 __ movaps(xmm0, xmm1);
357
358 // logic operation
359 __ andps(xmm0, xmm1);
360 __ andps(xmm0, Operand(rbx, rcx, times_4, 10000));
361 __ orps(xmm0, xmm1);
362 __ orps(xmm0, Operand(rbx, rcx, times_4, 10000));
363 __ xorps(xmm0, xmm1);
364 __ xorps(xmm0, Operand(rbx, rcx, times_4, 10000));
365
366 // Arithmetic operation
367 __ addps(xmm1, xmm0);
368 __ addps(xmm1, Operand(rbx, rcx, times_4, 10000));
369 __ subps(xmm1, xmm0);
370 __ subps(xmm1, Operand(rbx, rcx, times_4, 10000));
371 __ mulps(xmm1, xmm0);
372 __ mulps(xmm1, Operand(rbx, rcx, times_4, 10000));
373 __ divps(xmm1, xmm0);
374 __ divps(xmm1, Operand(rbx, rcx, times_4, 10000));
375 }
376 // SSE 2 instructions
377 {
378 __ cvttsd2si(rdx, Operand(rbx, rcx, times_4, 10000));
379 __ cvttsd2si(rdx, xmm1);
380 __ cvttsd2siq(rdx, xmm1);
381 __ movsd(xmm1, Operand(rbx, rcx, times_4, 10000));
382 __ movsd(Operand(rbx, rcx, times_4, 10000), xmm1);
383 // 128 bit move instructions.
384 __ movdqa(xmm0, Operand(rbx, rcx, times_4, 10000));
385 __ movdqa(Operand(rbx, rcx, times_4, 10000), xmm0);
386
387 __ addsd(xmm1, xmm0);
388 __ mulsd(xmm1, xmm0);
389 __ subsd(xmm1, xmm0);
390 __ divsd(xmm1, xmm0);
391 __ ucomisd(xmm0, xmm1);
392
393 __ andpd(xmm0, xmm1);
394 }
395
396 // cmov.
397 {
398 __ cmovq(overflow, rax, Operand(rax, 0));
399 __ cmovq(no_overflow, rax, Operand(rax, 1));
400 __ cmovq(below, rax, Operand(rax, 2));
401 __ cmovq(above_equal, rax, Operand(rax, 3));
402 __ cmovq(equal, rax, Operand(rbx, 0));
403 __ cmovq(not_equal, rax, Operand(rbx, 1));
404 __ cmovq(below_equal, rax, Operand(rbx, 2));
405 __ cmovq(above, rax, Operand(rbx, 3));
406 __ cmovq(sign, rax, Operand(rcx, 0));
407 __ cmovq(not_sign, rax, Operand(rcx, 1));
408 __ cmovq(parity_even, rax, Operand(rcx, 2));
409 __ cmovq(parity_odd, rax, Operand(rcx, 3));
410 __ cmovq(less, rax, Operand(rdx, 0));
411 __ cmovq(greater_equal, rax, Operand(rdx, 1));
412 __ cmovq(less_equal, rax, Operand(rdx, 2));
413 __ cmovq(greater, rax, Operand(rdx, 3));
414 }
415
416 {
417 if (CpuFeatures::IsSupported(SSE4_1)) {
418 CpuFeatureScope scope(&assm, SSE4_1);
419 __ extractps(rax, xmm1, 0);
420 }
421 }
422
423 // Nop instructions
424 for (int i = 0; i < 16; i++) {
425 __ Nop(i);
426 }
427
428 __ ret(0);
429
430 CodeDesc desc;
431 assm.GetCode(&desc);
432 Handle<Code> code = isolate->factory()->NewCode(
433 desc, Code::ComputeFlags(Code::STUB), Handle<Code>());
434 USE(code);
435 #ifdef OBJECT_PRINT
436 code->Print();
437 byte* begin = code->instruction_start();
438 byte* end = begin + code->instruction_size();
439 disasm::Disassembler::Disassemble(stdout, begin, end);
440 #endif
441 }
442
443 #undef __
444