Home | History | Annotate | Download | only in cctest 
      1 // Copyright 2013 the V8 project authors. All rights reserved.
      2 // Rrdistribution and use in source and binary forms, with or without
      3 // modification, are permitted provided that the following conditions are
      4 // met:
      5 //
      6 //     * Rrdistributions of source code must retain the above copyright
      7 //       notice, this list of conditions and the following disclaimer.
      8 //     * Rrdistributions 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/base/platform/platform.h"
     33 #include "src/code-stubs.h"
     34 #include "src/factory.h"
     35 #include "src/macro-assembler.h"
     36 #include "src/register-configuration.h"
     37 #include "test/cctest/cctest.h"
     38 #include "test/cctest/test-code-stubs.h"
     39 
     40 using namespace v8::internal;
     41 
     42 
     43 #define __ assm.
     44 
     45 ConvertDToIFunc MakeConvertDToIFuncTrampoline(Isolate* isolate,
     46                                               Register source_reg,
     47                                               Register destination_reg) {
     48   // Allocate an executable page of memory.
     49   size_t actual_size;
     50   byte* buffer = static_cast<byte*>(v8::base::OS::Allocate(
     51       Assembler::kMinimalBufferSize, &actual_size, true));
     52   CHECK(buffer);
     53   HandleScope handles(isolate);
     54   MacroAssembler assm(isolate, buffer, static_cast<int>(actual_size),
     55                       v8::internal::CodeObjectRequired::kYes);
     56   int offset =
     57     source_reg.is(rsp) ? 0 : (HeapNumber::kValueOffset - kSmiTagSize);
     58   DoubleToIStub stub(isolate, source_reg, destination_reg, offset, true);
     59   byte* start = stub.GetCode()->instruction_start();
     60 
     61   __ pushq(rbx);
     62   __ pushq(rcx);
     63   __ pushq(rdx);
     64   __ pushq(rsi);
     65   __ pushq(rdi);
     66 
     67   const RegisterConfiguration* config = RegisterConfiguration::Crankshaft();
     68   if (!source_reg.is(rsp)) {
     69     // The argument we pass to the stub is not a heap number, but instead
     70     // stack-allocated and offset-wise made to look like a heap number for
     71     // the stub.  We create that "heap number" after pushing all allocatable
     72     // registers.
     73     int double_argument_slot =
     74         (config->num_allocatable_general_registers() - 1) * kPointerSize +
     75         kDoubleSize;
     76     __ leaq(source_reg, MemOperand(rsp, -double_argument_slot - offset));
     77   }
     78 
     79   // Save registers make sure they don't get clobbered.
     80   int reg_num = 0;
     81   for (; reg_num < config->num_allocatable_general_registers(); ++reg_num) {
     82     Register reg =
     83         Register::from_code(config->GetAllocatableGeneralCode(reg_num));
     84     if (!reg.is(rsp) && !reg.is(rbp) && !reg.is(destination_reg)) {
     85       __ pushq(reg);
     86     }
     87   }
     88 
     89   // Put the double argument into the designated double argument slot.
     90   __ subq(rsp, Immediate(kDoubleSize));
     91   __ Movsd(MemOperand(rsp, 0), xmm0);
     92 
     93   // Call through to the actual stub
     94   __ Call(start, RelocInfo::EXTERNAL_REFERENCE);
     95 
     96   __ addq(rsp, Immediate(kDoubleSize));
     97 
     98   // Make sure no registers have been unexpectedly clobbered
     99   for (--reg_num; reg_num >= 0; --reg_num) {
    100     Register reg =
    101         Register::from_code(config->GetAllocatableGeneralCode(reg_num));
    102     if (!reg.is(rsp) && !reg.is(rbp) && !reg.is(destination_reg)) {
    103       __ cmpq(reg, MemOperand(rsp, 0));
    104       __ Assert(equal, kRegisterWasClobbered);
    105       __ addq(rsp, Immediate(kPointerSize));
    106     }
    107   }
    108 
    109   __ movq(rax, destination_reg);
    110 
    111   __ popq(rdi);
    112   __ popq(rsi);
    113   __ popq(rdx);
    114   __ popq(rcx);
    115   __ popq(rbx);
    116 
    117   __ ret(0);
    118 
    119   CodeDesc desc;
    120   assm.GetCode(&desc);
    121   return reinterpret_cast<ConvertDToIFunc>(
    122       reinterpret_cast<intptr_t>(buffer));
    123 }
    124 
    125 #undef __
    126 
    127 
    128 static Isolate* GetIsolateFrom(LocalContext* context) {
    129   return reinterpret_cast<Isolate*>((*context)->GetIsolate());
    130 }
    131 
    132 
    133 TEST(ConvertDToI) {
    134   CcTest::InitializeVM();
    135   LocalContext context;
    136   Isolate* isolate = GetIsolateFrom(&context);
    137   HandleScope scope(isolate);
    138 
    139 #if DEBUG
    140   // Verify that the tests actually work with the C version. In the release
    141   // code, the compiler optimizes it away because it's all constant, but does it
    142   // wrong, triggering an assert on gcc.
    143   RunAllTruncationTests(&ConvertDToICVersion);
    144 #endif
    145 
    146   Register source_registers[] = {rsp, rax, rbx, rcx, rdx, rsi, rdi, r8, r9};
    147   Register dest_registers[] = {rax, rbx, rcx, rdx, rsi, rdi, r8, r9};
    148 
    149   for (size_t s = 0; s < sizeof(source_registers) / sizeof(Register); s++) {
    150     for (size_t d = 0; d < sizeof(dest_registers) / sizeof(Register); d++) {
    151       RunAllTruncationTests(
    152           MakeConvertDToIFuncTrampoline(isolate,
    153                                         source_registers[s],
    154                                         dest_registers[d]));
    155     }
    156   }
    157 }
    158