Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 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" |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 36 | #include "src/register-configuration.h" |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 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); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 54 | MacroAssembler assm(isolate, buffer, static_cast<int>(actual_size), |
| 55 | v8::internal::CodeObjectRequired::kYes); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 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 | |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 67 | const RegisterConfiguration* config = RegisterConfiguration::Crankshaft(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 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 = |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 74 | (config->num_allocatable_general_registers() - 1) * kPointerSize + |
| 75 | kDoubleSize; |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 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; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 81 | for (; reg_num < config->num_allocatable_general_registers(); ++reg_num) { |
| 82 | Register reg = |
| 83 | Register::from_code(config->GetAllocatableGeneralCode(reg_num)); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 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)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 91 | __ Movsd(MemOperand(rsp, 0), xmm0); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 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) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 100 | Register reg = |
| 101 | Register::from_code(config->GetAllocatableGeneralCode(reg_num)); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 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 | } |