src/3rdparty/v8/test/cctest/test-disasm-x64.cc

   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
  39 using namespace v8::internal;
  40
  41 static v8::Persistent<v8::Context> env;
  42
  43 static void InitializeVM() {
  44   if (env.IsEmpty()) {
  45     env = v8::Context::New();
  46   }
  47 }
  48
  49
  50 #define __ assm.
  51
  52
  53 static void DummyStaticFunction(Object* result) {
  54 }
  55
  56
  57 TEST(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 __