src/v8/test/cctest/test-disasm-ia32.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 "stub-cache.h"
  38 #include "cctest.h"
  39
  40 using namespace v8::internal;
  41
  42
  43 #define __ assm.
  44
  45
  46 static void DummyStaticFunction(Object* result) {
  47 }
  48
  49
  50 TEST(DisasmIa320) {
  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   __ adc(eax, 12345678);
  60   __ add(eax, Immediate(12345678));
  61   __ or_(eax, 12345678);
  62   __ sub(eax, Immediate(12345678));
  63   __ xor_(eax, 12345678);
  64   __ and_(eax, 12345678);
  65   Handle<FixedArray> foo = isolate->factory()->NewFixedArray(10, TENURED);
  66   __ cmp(eax, foo);
  67
  68   // ---- This one caused crash
  69   __ mov(ebx,  Operand(esp, ecx, times_2, 0));  // [esp+ecx*4]
  70
  71   // ---- All instructions that I can think of
  72   __ add(edx, ebx);
  73   __ add(edx, Operand(12, RelocInfo::NONE32));
  74   __ add(edx, Operand(ebx, 0));
  75   __ add(edx, Operand(ebx, 16));
  76   __ add(edx, Operand(ebx, 1999));
  77   __ add(edx, Operand(ebx, -4));
  78   __ add(edx, Operand(ebx, -1999));
  79   __ add(edx, Operand(esp, 0));
  80   __ add(edx, Operand(esp, 16));
  81   __ add(edx, Operand(esp, 1999));
  82   __ add(edx, Operand(esp, -4));
  83   __ add(edx, Operand(esp, -1999));
  84   __ nop();
  85   __ add(esi, Operand(ecx, times_4, 0));
  86   __ add(esi, Operand(ecx, times_4, 24));
  87   __ add(esi, Operand(ecx, times_4, -4));
  88   __ add(esi, Operand(ecx, times_4, -1999));
  89   __ nop();
  90   __ add(edi, Operand(ebp, ecx, times_4, 0));
  91   __ add(edi, Operand(ebp, ecx, times_4, 12));
  92   __ add(edi, Operand(ebp, ecx, times_4, -8));
  93   __ add(edi, Operand(ebp, ecx, times_4, -3999));
  94   __ add(Operand(ebp, ecx, times_4, 12), Immediate(12));
  95
  96   __ nop();
  97   __ add(ebx, Immediate(12));
  98   __ nop();
  99   __ adc(ecx, 12);
 100   __ adc(ecx, 1000);
 101   __ nop();
 102   __ and_(edx, 3);
 103   __ and_(edx, Operand(esp, 4));
 104   __ cmp(edx, 3);
 105   __ cmp(edx, Operand(esp, 4));
 106   __ cmp(Operand(ebp, ecx, times_4, 0), Immediate(1000));
 107   Handle<FixedArray> foo2 = isolate->factory()->NewFixedArray(10, TENURED);
 108   __ cmp(ebx, foo2);
 109   __ cmpb(ebx, Operand(ebp, ecx, times_2, 0));
 110   __ cmpb(Operand(ebp, ecx, times_2, 0), ebx);
 111   __ or_(edx, 3);
 112   __ xor_(edx, 3);
 113   __ nop();
 114   __ cpuid();
 115   __ movsx_b(edx, ecx);
 116   __ movsx_w(edx, ecx);
 117   __ movzx_b(edx, ecx);
 118   __ movzx_w(edx, ecx);
 119
 120   __ nop();
 121   __ imul(edx, ecx);
 122   __ shld(edx, ecx);
 123   __ shrd(edx, ecx);
 124   __ bts(edx, ecx);
 125   __ bts(Operand(ebx, ecx, times_4, 0), ecx);
 126   __ nop();
 127   __ pushad();
 128   __ popad();
 129   __ pushfd();
 130   __ popfd();
 131   __ push(Immediate(12));
 132   __ push(Immediate(23456));
 133   __ push(ecx);
 134   __ push(esi);
 135   __ push(Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
 136   __ push(Operand(ebx, ecx, times_4, 0));
 137   __ push(Operand(ebx, ecx, times_4, 0));
 138   __ push(Operand(ebx, ecx, times_4, 10000));
 139   __ pop(edx);
 140   __ pop(eax);
 141   __ pop(Operand(ebx, ecx, times_4, 0));
 142   __ nop();
 143
 144   __ add(edx, Operand(esp, 16));
 145   __ add(edx, ecx);
 146   __ mov_b(edx, ecx);
 147   __ mov_b(ecx, 6);
 148   __ mov_b(Operand(ebx, ecx, times_4, 10000), 6);
 149   __ mov_b(Operand(esp, 16), edx);
 150   __ mov_w(edx, Operand(esp, 16));
 151   __ mov_w(Operand(esp, 16), edx);
 152   __ nop();
 153   __ movsx_w(edx, Operand(esp, 12));
 154   __ movsx_b(edx, Operand(esp, 12));
 155   __ movzx_w(edx, Operand(esp, 12));
 156   __ movzx_b(edx, Operand(esp, 12));
 157   __ nop();
 158   __ mov(edx, 1234567);
 159   __ mov(edx, Operand(esp, 12));
 160   __ mov(Operand(ebx, ecx, times_4, 10000), Immediate(12345));
 161   __ mov(Operand(ebx, ecx, times_4, 10000), edx);
 162   __ nop();
 163   __ dec_b(edx);
 164   __ dec_b(Operand(eax, 10));
 165   __ dec_b(Operand(ebx, ecx, times_4, 10000));
 166   __ dec(edx);
 167   __ cdq();
 168
 169   __ nop();
 170   __ idiv(edx);
 171   __ mul(edx);
 172   __ neg(edx);
 173   __ not_(edx);
 174   __ test(Operand(ebx, ecx, times_4, 10000), Immediate(123456));
 175
 176   __ imul(edx, Operand(ebx, ecx, times_4, 10000));
 177   __ imul(edx, ecx, 12);
 178   __ imul(edx, ecx, 1000);
 179
 180   __ inc(edx);
 181   __ inc(Operand(ebx, ecx, times_4, 10000));
 182   __ push(Operand(ebx, ecx, times_4, 10000));
 183   __ pop(Operand(ebx, ecx, times_4, 10000));
 184   __ call(Operand(ebx, ecx, times_4, 10000));
 185   __ jmp(Operand(ebx, ecx, times_4, 10000));
 186
 187   __ lea(edx, Operand(ebx, ecx, times_4, 10000));
 188   __ or_(edx, 12345);
 189   __ or_(edx, Operand(ebx, ecx, times_4, 10000));
 190
 191   __ nop();
 192
 193   __ rcl(edx, 1);
 194   __ rcl(edx, 7);
 195   __ rcr(edx, 1);
 196   __ rcr(edx, 7);
 197   __ sar(edx, 1);
 198   __ sar(edx, 6);
 199   __ sar_cl(edx);
 200   __ sbb(edx, Operand(ebx, ecx, times_4, 10000));
 201   __ shld(edx, Operand(ebx, ecx, times_4, 10000));
 202   __ shl(edx, 1);
 203   __ shl(edx, 6);
 204   __ shl_cl(edx);
 205   __ shrd(edx, Operand(ebx, ecx, times_4, 10000));
 206   __ shr(edx, 1);
 207   __ shr(edx, 7);
 208   __ shr_cl(edx);
 209
 210
 211   // Immediates
 212
 213   __ adc(edx, 12345);
 214
 215   __ add(ebx, Immediate(12));
 216   __ add(Operand(edx, ecx, times_4, 10000), Immediate(12));
 217
 218   __ and_(ebx, 12345);
 219
 220   __ cmp(ebx, 12345);
 221   __ cmp(ebx, Immediate(12));
 222   __ cmp(Operand(edx, ecx, times_4, 10000), Immediate(12));
 223   __ cmpb(eax, 100);
 224
 225   __ or_(ebx, 12345);
 226
 227   __ sub(ebx, Immediate(12));
 228   __ sub(Operand(edx, ecx, times_4, 10000), Immediate(12));
 229
 230   __ xor_(ebx, 12345);
 231
 232   __ imul(edx, ecx, 12);
 233   __ imul(edx, ecx, 1000);
 234
 235   __ cld();
 236   __ rep_movs();
 237   __ rep_stos();
 238   __ stos();
 239
 240   __ sub(edx, Operand(ebx, ecx, times_4, 10000));
 241   __ sub(edx, ebx);
 242
 243   __ test(edx, Immediate(12345));
 244   __ test(edx, Operand(ebx, ecx, times_8, 10000));
 245   __ test(Operand(esi, edi, times_1, -20000000), Immediate(300000000));
 246   __ test_b(edx, Operand(ecx, ebx, times_2, 1000));
 247   __ test_b(Operand(eax, -20), 0x9A);
 248   __ nop();
 249
 250   __ xor_(edx, 12345);
 251   __ xor_(edx, Operand(ebx, ecx, times_8, 10000));
 252   __ bts(Operand(ebx, ecx, times_8, 10000), edx);
 253   __ hlt();
 254   __ int3();
 255   __ ret(0);
 256   __ ret(8);
 257
 258   // Calls
 259
 260   Label L1, L2;
 261   __ bind(&L1);
 262   __ nop();
 263   __ call(&L1);
 264   __ call(&L2);
 265   __ nop();
 266   __ bind(&L2);
 267   __ call(Operand(ebx, ecx, times_4, 10000));
 268   __ nop();
 269   Handle<Code> ic(LoadIC::initialize_stub(isolate, NOT_CONTEXTUAL));
 270   __ call(ic, RelocInfo::CODE_TARGET);
 271   __ nop();
 272   __ call(FUNCTION_ADDR(DummyStaticFunction), RelocInfo::RUNTIME_ENTRY);
 273   __ nop();
 274
 275   __ jmp(&L1);
 276   __ jmp(Operand(ebx, ecx, times_4, 10000));
 277   ExternalReference after_break_target =
 278       ExternalReference(Debug_Address::AfterBreakTarget(), isolate);
 279   __ jmp(Operand::StaticVariable(after_break_target));
 280   __ jmp(ic, RelocInfo::CODE_TARGET);
 281   __ nop();
 282
 283
 284   Label Ljcc;
 285   __ nop();
 286   // long jumps
 287   __ j(overflow, &Ljcc);
 288   __ j(no_overflow, &Ljcc);
 289   __ j(below, &Ljcc);
 290   __ j(above_equal, &Ljcc);
 291   __ j(equal, &Ljcc);
 292   __ j(not_equal, &Ljcc);
 293   __ j(below_equal, &Ljcc);
 294   __ j(above, &Ljcc);
 295   __ j(sign, &Ljcc);
 296   __ j(not_sign, &Ljcc);
 297   __ j(parity_even, &Ljcc);
 298   __ j(parity_odd, &Ljcc);
 299   __ j(less, &Ljcc);
 300   __ j(greater_equal, &Ljcc);
 301   __ j(less_equal, &Ljcc);
 302   __ j(greater, &Ljcc);
 303   __ nop();
 304   __ bind(&Ljcc);
 305   // short jumps
 306   __ j(overflow, &Ljcc);
 307   __ j(no_overflow, &Ljcc);
 308   __ j(below, &Ljcc);
 309   __ j(above_equal, &Ljcc);
 310   __ j(equal, &Ljcc);
 311   __ j(not_equal, &Ljcc);
 312   __ j(below_equal, &Ljcc);
 313   __ j(above, &Ljcc);
 314   __ j(sign, &Ljcc);
 315   __ j(not_sign, &Ljcc);
 316   __ j(parity_even, &Ljcc);
 317   __ j(parity_odd, &Ljcc);
 318   __ j(less, &Ljcc);
 319   __ j(greater_equal, &Ljcc);
 320   __ j(less_equal, &Ljcc);
 321   __ j(greater, &Ljcc);
 322
 323   // 0xD9 instructions
 324   __ nop();
 325
 326   __ fld(1);
 327   __ fld1();
 328   __ fldz();
 329   __ fldpi();
 330   __ fabs();
 331   __ fchs();
 332   __ fprem();
 333   __ fprem1();
 334   __ fincstp();
 335   __ ftst();
 336   __ fxch(3);
 337   __ fld_s(Operand(ebx, ecx, times_4, 10000));
 338   __ fstp_s(Operand(ebx, ecx, times_4, 10000));
 339   __ ffree(3);
 340   __ fld_d(Operand(ebx, ecx, times_4, 10000));
 341   __ fstp_d(Operand(ebx, ecx, times_4, 10000));
 342   __ nop();
 343
 344   __ fild_s(Operand(ebx, ecx, times_4, 10000));
 345   __ fistp_s(Operand(ebx, ecx, times_4, 10000));
 346   __ fild_d(Operand(ebx, ecx, times_4, 10000));
 347   __ fistp_d(Operand(ebx, ecx, times_4, 10000));
 348   __ fnstsw_ax();
 349   __ nop();
 350   __ fadd(3);
 351   __ fsub(3);
 352   __ fmul(3);
 353   __ fdiv(3);
 354
 355   __ faddp(3);
 356   __ fsubp(3);
 357   __ fmulp(3);
 358   __ fdivp(3);
 359   __ fcompp();
 360   __ fwait();
 361   __ frndint();
 362   __ fninit();
 363   __ nop();
 364
 365   // SSE instruction
 366   {
 367     if (CpuFeatures::IsSupported(SSE2)) {
 368       CpuFeatureScope fscope(&assm, SSE2);
 369       // Move operation
 370       __ movaps(xmm0, xmm1);
 371       __ shufps(xmm0, xmm0, 0x0);
 372
 373       // logic operation
 374       __ andps(xmm0, xmm1);
 375       __ andps(xmm0, Operand(ebx, ecx, times_4, 10000));
 376       __ orps(xmm0, xmm1);
 377       __ orps(xmm0, Operand(ebx, ecx, times_4, 10000));
 378       __ xorps(xmm0, xmm1);
 379       __ xorps(xmm0, Operand(ebx, ecx, times_4, 10000));
 380
 381       // Arithmetic operation
 382       __ addps(xmm1, xmm0);
 383       __ addps(xmm1, Operand(ebx, ecx, times_4, 10000));
 384       __ subps(xmm1, xmm0);
 385       __ subps(xmm1, Operand(ebx, ecx, times_4, 10000));
 386       __ mulps(xmm1, xmm0);
 387       __ mulps(xmm1, Operand(ebx, ecx, times_4, 10000));
 388       __ divps(xmm1, xmm0);
 389       __ divps(xmm1, Operand(ebx, ecx, times_4, 10000));
 390     }
 391   }
 392   {
 393     if (CpuFeatures::IsSupported(SSE2)) {
 394       CpuFeatureScope fscope(&assm, SSE2);
 395       __ cvttss2si(edx, Operand(ebx, ecx, times_4, 10000));
 396       __ cvtsi2sd(xmm1, Operand(ebx, ecx, times_4, 10000));
 397       __ movsd(xmm1, Operand(ebx, ecx, times_4, 10000));
 398       __ movsd(Operand(ebx, ecx, times_4, 10000), xmm1);
 399       // 128 bit move instructions.
 400       __ movdqa(xmm0, Operand(ebx, ecx, times_4, 10000));
 401       __ movdqa(Operand(ebx, ecx, times_4, 10000), xmm0);
 402       __ movdqu(xmm0, Operand(ebx, ecx, times_4, 10000));
 403       __ movdqu(Operand(ebx, ecx, times_4, 10000), xmm0);
 404
 405       __ addsd(xmm1, xmm0);
 406       __ mulsd(xmm1, xmm0);
 407       __ subsd(xmm1, xmm0);
 408       __ divsd(xmm1, xmm0);
 409       __ ucomisd(xmm0, xmm1);
 410       __ cmpltsd(xmm0, xmm1);
 411
 412       __ andpd(xmm0, xmm1);
 413       __ psllq(xmm0, 17);
 414       __ psllq(xmm0, xmm1);
 415       __ psrlq(xmm0, 17);
 416       __ psrlq(xmm0, xmm1);
 417       __ por(xmm0, xmm1);
 418
 419      // new instruction introduced by SIMD
 420       __ cvtdq2ps(xmm1, Operand(ebx, ecx, times_4, 10000));
 421       __ cvtdq2ps(xmm1, xmm0);
 422       __ cvtps2dq(xmm1, Operand(ebx, ecx, times_4, 10000));
 423       __ cvtps2dq(xmm1, xmm0);
 424       __ paddd(xmm1, Operand(ebx, ecx, times_4, 10000));
 425       __ paddd(xmm1, xmm0);
 426       __ psubd(xmm1, Operand(ebx, ecx, times_4, 10000));
 427       __ psubd(xmm1, xmm0);
 428       __ pmuludq(xmm1, Operand(ebx, ecx, times_4, 10000));
 429       __ pmuludq(xmm1, xmm0);
 430       __ punpackldq(xmm1, Operand(ebx, ecx, times_4, 10000));
 431       __ punpackldq(xmm1, xmm0);
 432       {
 433          __ shufps(xmm1, xmm1, 0x0);
 434          __ movups(xmm1, Operand(ebx, ecx, times_4, 10000));
 435          __ movups(Operand(ebx, ecx, times_4, 10000), xmm1);
 436
 437          __ andps(xmm1, Operand(ebx, ecx, times_4, 10000));
 438          __ andps(xmm1, xmm0);
 439          __ xorps(xmm1, Operand(ebx, ecx, times_4, 10000));
 440          __ xorps(xmm1, xmm0);
 441          __ orps(xmm1, Operand(ebx, ecx, times_4, 10000));
 442          __ orps(xmm1, xmm0);
 443
 444          __ addps(xmm1, Operand(ebx, ecx, times_4, 10000));
 445          __ addps(xmm1, xmm0);
 446          __ subps(xmm1, Operand(ebx, ecx, times_4, 10000));
 447          __ subps(xmm1, xmm0);
 448          __ mulps(xmm1, Operand(ebx, ecx, times_4, 10000));
 449          __ mulps(xmm1, xmm0);
 450          __ divps(xmm1, Operand(ebx, ecx, times_4, 10000));
 451          __ divps(xmm1, xmm0);
 452          __ minps(xmm1, Operand(ebx, ecx, times_4, 10000));
 453          __ minps(xmm1, xmm0);
 454          __ maxps(xmm1, Operand(ebx, ecx, times_4, 10000));
 455          __ maxps(xmm1, xmm0);
 456          __ rcpps(xmm1, Operand(ebx, ecx, times_4, 10000));
 457          __ rcpps(xmm1, xmm0);
 458          __ rsqrtps(xmm1, Operand(ebx, ecx, times_4, 10000));
 459          __ rsqrtps(xmm1, xmm0);
 460          __ sqrtps(xmm1, Operand(ebx, ecx, times_4, 10000));
 461          __ sqrtps(xmm1, xmm0);
 462
 463          __ cmpeqps(xmm1, xmm0);
 464          __ cmpltps(xmm1, xmm0);
 465          __ cmpleps(xmm1, xmm0);
 466          __ cmpneqps(xmm1, xmm0);
 467          __ cmpnltps(xmm1, xmm0);
 468          __ cmpnleps(xmm1, xmm0);
 469       }
 470     }
 471   }
 472
 473   // cmov.
 474   {
 475     if (CpuFeatures::IsSupported(CMOV)) {
 476       CpuFeatureScope use_cmov(&assm, CMOV);
 477       __ cmov(overflow, eax, Operand(eax, 0));
 478       __ cmov(no_overflow, eax, Operand(eax, 1));
 479       __ cmov(below, eax, Operand(eax, 2));
 480       __ cmov(above_equal, eax, Operand(eax, 3));
 481       __ cmov(equal, eax, Operand(ebx, 0));
 482       __ cmov(not_equal, eax, Operand(ebx, 1));
 483       __ cmov(below_equal, eax, Operand(ebx, 2));
 484       __ cmov(above, eax, Operand(ebx, 3));
 485       __ cmov(sign, eax, Operand(ecx, 0));
 486       __ cmov(not_sign, eax, Operand(ecx, 1));
 487       __ cmov(parity_even, eax, Operand(ecx, 2));
 488       __ cmov(parity_odd, eax, Operand(ecx, 3));
 489       __ cmov(less, eax, Operand(edx, 0));
 490       __ cmov(greater_equal, eax, Operand(edx, 1));
 491       __ cmov(less_equal, eax, Operand(edx, 2));
 492       __ cmov(greater, eax, Operand(edx, 3));
 493     }
 494   }
 495
 496   {
 497     if (CpuFeatures::IsSupported(SSE2) &&
 498         CpuFeatures::IsSupported(SSE4_1)) {
 499       CpuFeatureScope scope(&assm, SSE4_1);
 500       __ pextrd(eax, xmm0, 1);
 501       __ pinsrd(xmm1, eax, 0);
 502       __ extractps(eax, xmm1, 0);
 503       __ insertps(xmm1, xmm0, 0);
 504       __ pmulld(xmm1, Operand(ebx, ecx, times_4, 10000));
 505       __ pmulld(xmm1, xmm0);
 506     }
 507   }
 508
 509   // Nop instructions
 510   for (int i = 0; i < 16; i++) {
 511     __ Nop(i);
 512   }
 513
 514   __ ret(0);
 515
 516   CodeDesc desc;
 517   assm.GetCode(&desc);
 518   Handle<Code> code = isolate->factory()->NewCode(
 519       desc, Code::ComputeFlags(Code::STUB), Handle<Code>());
 520   USE(code);
 521 #ifdef OBJECT_PRINT
 522   code->Print();
 523   byte* begin = code->instruction_start();
 524   byte* end = begin + code->instruction_size();
 525   disasm::Disassembler::Disassemble(stdout, begin, end);
 526 #endif
 527 }
 528
 529 #undef __