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 __ 430
