2009-05-26 07:58:36 +00:00
|
|
|
// Copyright 2009 the V8 project authors. All rights reserved.
|
|
|
|
// Redistribution and use in source and binary forms, with or without
|
|
|
|
// modification, are permitted provided that the following conditions are
|
|
|
|
// met:
|
|
|
|
//
|
|
|
|
// * Redistributions of source code must retain the above copyright
|
|
|
|
// notice, this list of conditions and the following disclaimer.
|
|
|
|
// * Redistributions in binary form must reproduce the above
|
|
|
|
// copyright notice, this list of conditions and the following
|
|
|
|
// disclaimer in the documentation and/or other materials provided
|
|
|
|
// with the distribution.
|
|
|
|
// * Neither the name of Google Inc. nor the names of its
|
|
|
|
// contributors may be used to endorse or promote products derived
|
|
|
|
// from this software without specific prior written permission.
|
|
|
|
//
|
|
|
|
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
|
|
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
|
|
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
|
|
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
|
|
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
|
|
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
|
|
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
|
|
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
|
|
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
|
|
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
|
|
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
|
|
|
|
#include <stdlib.h>
|
|
|
|
|
|
|
|
#include "v8.h"
|
|
|
|
|
|
|
|
#include "macro-assembler.h"
|
|
|
|
#include "factory.h"
|
|
|
|
#include "platform.h"
|
|
|
|
#include "serialize.h"
|
|
|
|
#include "cctest.h"
|
|
|
|
|
|
|
|
using v8::internal::Assembler;
|
2011-12-05 08:58:01 +00:00
|
|
|
using v8::internal::Code;
|
2011-03-31 16:17:37 +00:00
|
|
|
using v8::internal::CodeDesc;
|
|
|
|
using v8::internal::FUNCTION_CAST;
|
2009-05-28 09:18:17 +00:00
|
|
|
using v8::internal::Immediate;
|
2011-03-31 16:17:37 +00:00
|
|
|
using v8::internal::Isolate;
|
2009-05-26 12:32:09 +00:00
|
|
|
using v8::internal::Label;
|
2011-03-31 16:17:37 +00:00
|
|
|
using v8::internal::OS;
|
|
|
|
using v8::internal::Operand;
|
|
|
|
using v8::internal::byte;
|
|
|
|
using v8::internal::greater;
|
|
|
|
using v8::internal::less_equal;
|
2011-08-30 07:36:31 +00:00
|
|
|
using v8::internal::equal;
|
2011-03-31 16:17:37 +00:00
|
|
|
using v8::internal::not_equal;
|
|
|
|
using v8::internal::r13;
|
|
|
|
using v8::internal::r15;
|
|
|
|
using v8::internal::r8;
|
|
|
|
using v8::internal::r9;
|
2009-05-26 07:58:36 +00:00
|
|
|
using v8::internal::rax;
|
2011-12-05 08:58:01 +00:00
|
|
|
using v8::internal::rbx;
|
2011-03-31 16:17:37 +00:00
|
|
|
using v8::internal::rbp;
|
2009-10-13 10:56:13 +00:00
|
|
|
using v8::internal::rcx;
|
2011-03-31 16:17:37 +00:00
|
|
|
using v8::internal::rdi;
|
2009-06-29 09:32:06 +00:00
|
|
|
using v8::internal::rdx;
|
2011-03-31 16:17:37 +00:00
|
|
|
using v8::internal::rsi;
|
2009-05-26 12:32:09 +00:00
|
|
|
using v8::internal::rsp;
|
2011-01-25 11:30:47 +00:00
|
|
|
using v8::internal::times_1;
|
2013-07-05 08:34:17 +00:00
|
|
|
using v8::internal::xmm0;
|
2011-01-25 11:30:47 +00:00
|
|
|
|
2009-05-26 07:58:36 +00:00
|
|
|
// Test the x64 assembler by compiling some simple functions into
|
|
|
|
// a buffer and executing them. These tests do not initialize the
|
|
|
|
// V8 library, create a context, or use any V8 objects.
|
2009-10-13 10:56:13 +00:00
|
|
|
// The AMD64 calling convention is used, with the first six arguments
|
|
|
|
// in RDI, RSI, RDX, RCX, R8, and R9, and floating point arguments in
|
2009-05-26 07:58:36 +00:00
|
|
|
// the XMM registers. The return value is in RAX.
|
|
|
|
// This calling convention is used on Linux, with GCC, and on Mac OS,
|
2009-10-13 10:56:13 +00:00
|
|
|
// with GCC. A different convention is used on 64-bit windows,
|
|
|
|
// where the first four integer arguments are passed in RCX, RDX, R8 and R9.
|
2009-05-26 07:58:36 +00:00
|
|
|
|
|
|
|
typedef int (*F0)();
|
2009-06-29 09:32:06 +00:00
|
|
|
typedef int (*F1)(int64_t x);
|
|
|
|
typedef int (*F2)(int64_t x, int64_t y);
|
2009-05-26 07:58:36 +00:00
|
|
|
|
2009-10-13 10:56:13 +00:00
|
|
|
#ifdef _WIN64
|
|
|
|
static const v8::internal::Register arg1 = rcx;
|
|
|
|
static const v8::internal::Register arg2 = rdx;
|
|
|
|
#else
|
|
|
|
static const v8::internal::Register arg1 = rdi;
|
|
|
|
static const v8::internal::Register arg2 = rsi;
|
|
|
|
#endif
|
|
|
|
|
2009-05-26 07:58:36 +00:00
|
|
|
#define __ assm.
|
|
|
|
|
|
|
|
|
2009-05-26 12:32:09 +00:00
|
|
|
TEST(AssemblerX64ReturnOperation) {
|
2012-01-13 13:09:52 +00:00
|
|
|
OS::SetUp();
|
2009-05-26 07:58:36 +00:00
|
|
|
// Allocate an executable page of memory.
|
|
|
|
size_t actual_size;
|
|
|
|
byte* buffer = static_cast<byte*>(OS::Allocate(Assembler::kMinimalBufferSize,
|
|
|
|
&actual_size,
|
|
|
|
true));
|
|
|
|
CHECK(buffer);
|
2011-03-31 16:17:37 +00:00
|
|
|
Assembler assm(Isolate::Current(), buffer, static_cast<int>(actual_size));
|
2009-05-26 07:58:36 +00:00
|
|
|
|
|
|
|
// Assemble a simple function that copies argument 2 and returns it.
|
2009-10-13 10:56:13 +00:00
|
|
|
__ movq(rax, arg2);
|
2009-05-26 07:58:36 +00:00
|
|
|
__ nop();
|
|
|
|
__ ret(0);
|
|
|
|
|
|
|
|
CodeDesc desc;
|
|
|
|
assm.GetCode(&desc);
|
|
|
|
// Call the function from C++.
|
|
|
|
int result = FUNCTION_CAST<F2>(buffer)(3, 2);
|
|
|
|
CHECK_EQ(2, result);
|
|
|
|
}
|
|
|
|
|
2013-07-05 09:52:11 +00:00
|
|
|
|
2009-05-26 12:32:09 +00:00
|
|
|
TEST(AssemblerX64StackOperations) {
|
2012-01-13 13:09:52 +00:00
|
|
|
OS::SetUp();
|
2009-05-26 12:32:09 +00:00
|
|
|
// Allocate an executable page of memory.
|
|
|
|
size_t actual_size;
|
|
|
|
byte* buffer = static_cast<byte*>(OS::Allocate(Assembler::kMinimalBufferSize,
|
|
|
|
&actual_size,
|
|
|
|
true));
|
|
|
|
CHECK(buffer);
|
2011-03-31 16:17:37 +00:00
|
|
|
Assembler assm(Isolate::Current(), buffer, static_cast<int>(actual_size));
|
2009-05-26 12:32:09 +00:00
|
|
|
|
|
|
|
// Assemble a simple function that copies argument 2 and returns it.
|
|
|
|
// We compile without stack frame pointers, so the gdb debugger shows
|
|
|
|
// incorrect stack frames when debugging this function (which has them).
|
|
|
|
__ push(rbp);
|
2009-05-28 09:18:17 +00:00
|
|
|
__ movq(rbp, rsp);
|
2009-10-13 10:56:13 +00:00
|
|
|
__ push(arg2); // Value at (rbp - 8)
|
|
|
|
__ push(arg2); // Value at (rbp - 16)
|
|
|
|
__ push(arg1); // Value at (rbp - 24)
|
2009-05-26 12:32:09 +00:00
|
|
|
__ pop(rax);
|
|
|
|
__ pop(rax);
|
|
|
|
__ pop(rax);
|
|
|
|
__ pop(rbp);
|
|
|
|
__ nop();
|
|
|
|
__ ret(0);
|
|
|
|
|
|
|
|
CodeDesc desc;
|
|
|
|
assm.GetCode(&desc);
|
|
|
|
// Call the function from C++.
|
|
|
|
int result = FUNCTION_CAST<F2>(buffer)(3, 2);
|
|
|
|
CHECK_EQ(2, result);
|
|
|
|
}
|
|
|
|
|
2013-07-05 09:52:11 +00:00
|
|
|
|
2009-05-26 12:32:09 +00:00
|
|
|
TEST(AssemblerX64ArithmeticOperations) {
|
2012-01-13 13:09:52 +00:00
|
|
|
OS::SetUp();
|
2009-05-26 12:32:09 +00:00
|
|
|
// Allocate an executable page of memory.
|
|
|
|
size_t actual_size;
|
|
|
|
byte* buffer = static_cast<byte*>(OS::Allocate(Assembler::kMinimalBufferSize,
|
|
|
|
&actual_size,
|
|
|
|
true));
|
|
|
|
CHECK(buffer);
|
2011-03-31 16:17:37 +00:00
|
|
|
Assembler assm(Isolate::Current(), buffer, static_cast<int>(actual_size));
|
2009-05-26 12:32:09 +00:00
|
|
|
|
2009-06-29 09:32:06 +00:00
|
|
|
// Assemble a simple function that adds arguments returning the sum.
|
2009-10-13 10:56:13 +00:00
|
|
|
__ movq(rax, arg2);
|
|
|
|
__ addq(rax, arg1);
|
2009-05-26 12:32:09 +00:00
|
|
|
__ ret(0);
|
|
|
|
|
|
|
|
CodeDesc desc;
|
|
|
|
assm.GetCode(&desc);
|
|
|
|
// Call the function from C++.
|
|
|
|
int result = FUNCTION_CAST<F2>(buffer)(3, 2);
|
|
|
|
CHECK_EQ(5, result);
|
|
|
|
}
|
|
|
|
|
2013-07-05 09:52:11 +00:00
|
|
|
|
2009-06-29 09:32:06 +00:00
|
|
|
TEST(AssemblerX64ImulOperation) {
|
2012-01-13 13:09:52 +00:00
|
|
|
OS::SetUp();
|
2009-06-29 09:32:06 +00:00
|
|
|
// Allocate an executable page of memory.
|
|
|
|
size_t actual_size;
|
|
|
|
byte* buffer = static_cast<byte*>(OS::Allocate(Assembler::kMinimalBufferSize,
|
|
|
|
&actual_size,
|
|
|
|
true));
|
|
|
|
CHECK(buffer);
|
2011-03-31 16:17:37 +00:00
|
|
|
Assembler assm(Isolate::Current(), buffer, static_cast<int>(actual_size));
|
2009-06-29 09:32:06 +00:00
|
|
|
|
|
|
|
// Assemble a simple function that multiplies arguments returning the high
|
|
|
|
// word.
|
2009-10-13 10:56:13 +00:00
|
|
|
__ movq(rax, arg2);
|
|
|
|
__ imul(arg1);
|
2009-06-29 09:32:06 +00:00
|
|
|
__ movq(rax, rdx);
|
|
|
|
__ ret(0);
|
|
|
|
|
|
|
|
CodeDesc desc;
|
|
|
|
assm.GetCode(&desc);
|
|
|
|
// Call the function from C++.
|
|
|
|
int result = FUNCTION_CAST<F2>(buffer)(3, 2);
|
|
|
|
CHECK_EQ(0, result);
|
|
|
|
result = FUNCTION_CAST<F2>(buffer)(0x100000000l, 0x100000000l);
|
|
|
|
CHECK_EQ(1, result);
|
|
|
|
result = FUNCTION_CAST<F2>(buffer)(-0x100000000l, 0x100000000l);
|
|
|
|
CHECK_EQ(-1, result);
|
|
|
|
}
|
|
|
|
|
2013-07-05 09:52:11 +00:00
|
|
|
|
2009-05-26 12:32:09 +00:00
|
|
|
TEST(AssemblerX64MemoryOperands) {
|
2012-01-13 13:09:52 +00:00
|
|
|
OS::SetUp();
|
2009-05-26 12:32:09 +00:00
|
|
|
// Allocate an executable page of memory.
|
|
|
|
size_t actual_size;
|
|
|
|
byte* buffer = static_cast<byte*>(OS::Allocate(Assembler::kMinimalBufferSize,
|
|
|
|
&actual_size,
|
|
|
|
true));
|
|
|
|
CHECK(buffer);
|
2011-03-31 16:17:37 +00:00
|
|
|
Assembler assm(Isolate::Current(), buffer, static_cast<int>(actual_size));
|
2009-05-26 12:32:09 +00:00
|
|
|
|
|
|
|
// Assemble a simple function that copies argument 2 and returns it.
|
|
|
|
__ push(rbp);
|
2009-05-28 09:18:17 +00:00
|
|
|
__ movq(rbp, rsp);
|
2009-10-13 10:56:13 +00:00
|
|
|
|
|
|
|
__ push(arg2); // Value at (rbp - 8)
|
|
|
|
__ push(arg2); // Value at (rbp - 16)
|
|
|
|
__ push(arg1); // Value at (rbp - 24)
|
|
|
|
|
2009-05-27 08:15:31 +00:00
|
|
|
const int kStackElementSize = 8;
|
2009-05-28 09:18:17 +00:00
|
|
|
__ movq(rax, Operand(rbp, -3 * kStackElementSize));
|
2009-10-13 10:56:13 +00:00
|
|
|
__ pop(arg2);
|
|
|
|
__ pop(arg2);
|
|
|
|
__ pop(arg2);
|
2009-05-26 12:32:09 +00:00
|
|
|
__ pop(rbp);
|
|
|
|
__ nop();
|
|
|
|
__ ret(0);
|
|
|
|
|
|
|
|
CodeDesc desc;
|
|
|
|
assm.GetCode(&desc);
|
|
|
|
// Call the function from C++.
|
|
|
|
int result = FUNCTION_CAST<F2>(buffer)(3, 2);
|
2009-05-27 08:15:31 +00:00
|
|
|
CHECK_EQ(3, result);
|
2009-05-26 12:32:09 +00:00
|
|
|
}
|
|
|
|
|
2013-07-05 09:52:11 +00:00
|
|
|
|
2009-05-26 12:32:09 +00:00
|
|
|
TEST(AssemblerX64ControlFlow) {
|
2012-01-13 13:09:52 +00:00
|
|
|
OS::SetUp();
|
2009-05-26 12:32:09 +00:00
|
|
|
// Allocate an executable page of memory.
|
|
|
|
size_t actual_size;
|
|
|
|
byte* buffer = static_cast<byte*>(OS::Allocate(Assembler::kMinimalBufferSize,
|
|
|
|
&actual_size,
|
|
|
|
true));
|
|
|
|
CHECK(buffer);
|
2011-03-31 16:17:37 +00:00
|
|
|
Assembler assm(Isolate::Current(), buffer, static_cast<int>(actual_size));
|
2009-05-26 12:32:09 +00:00
|
|
|
|
2009-10-13 10:56:13 +00:00
|
|
|
// Assemble a simple function that copies argument 1 and returns it.
|
2009-05-26 12:32:09 +00:00
|
|
|
__ push(rbp);
|
2009-10-13 10:56:13 +00:00
|
|
|
|
2009-05-28 09:18:17 +00:00
|
|
|
__ movq(rbp, rsp);
|
2009-10-13 10:56:13 +00:00
|
|
|
__ movq(rax, arg1);
|
2009-05-26 12:32:09 +00:00
|
|
|
Label target;
|
|
|
|
__ jmp(&target);
|
2009-10-13 10:56:13 +00:00
|
|
|
__ movq(rax, arg2);
|
2009-05-26 12:32:09 +00:00
|
|
|
__ bind(&target);
|
|
|
|
__ pop(rbp);
|
|
|
|
__ ret(0);
|
|
|
|
|
|
|
|
CodeDesc desc;
|
|
|
|
assm.GetCode(&desc);
|
|
|
|
// Call the function from C++.
|
|
|
|
int result = FUNCTION_CAST<F2>(buffer)(3, 2);
|
|
|
|
CHECK_EQ(3, result);
|
|
|
|
}
|
|
|
|
|
2013-07-05 09:52:11 +00:00
|
|
|
|
2009-05-28 09:18:17 +00:00
|
|
|
TEST(AssemblerX64LoopImmediates) {
|
2012-01-13 13:09:52 +00:00
|
|
|
OS::SetUp();
|
2009-05-28 09:18:17 +00:00
|
|
|
// Allocate an executable page of memory.
|
|
|
|
size_t actual_size;
|
|
|
|
byte* buffer = static_cast<byte*>(OS::Allocate(Assembler::kMinimalBufferSize,
|
|
|
|
&actual_size,
|
|
|
|
true));
|
|
|
|
CHECK(buffer);
|
2011-03-31 16:17:37 +00:00
|
|
|
Assembler assm(Isolate::Current(), buffer, static_cast<int>(actual_size));
|
2009-05-28 09:18:17 +00:00
|
|
|
// Assemble two loops using rax as counter, and verify the ending counts.
|
|
|
|
Label Fail;
|
|
|
|
__ movq(rax, Immediate(-3));
|
|
|
|
Label Loop1_test;
|
|
|
|
Label Loop1_body;
|
|
|
|
__ jmp(&Loop1_test);
|
|
|
|
__ bind(&Loop1_body);
|
2009-06-10 15:53:46 +00:00
|
|
|
__ addq(rax, Immediate(7));
|
2009-05-28 09:18:17 +00:00
|
|
|
__ bind(&Loop1_test);
|
2009-06-10 15:53:46 +00:00
|
|
|
__ cmpq(rax, Immediate(20));
|
2009-05-28 09:18:17 +00:00
|
|
|
__ j(less_equal, &Loop1_body);
|
|
|
|
// Did the loop terminate with the expected value?
|
2009-06-10 15:53:46 +00:00
|
|
|
__ cmpq(rax, Immediate(25));
|
2009-05-28 09:18:17 +00:00
|
|
|
__ j(not_equal, &Fail);
|
|
|
|
|
|
|
|
Label Loop2_test;
|
|
|
|
Label Loop2_body;
|
|
|
|
__ movq(rax, Immediate(0x11FEED00));
|
|
|
|
__ jmp(&Loop2_test);
|
|
|
|
__ bind(&Loop2_body);
|
2009-06-10 15:53:46 +00:00
|
|
|
__ addq(rax, Immediate(-0x1100));
|
2009-05-28 09:18:17 +00:00
|
|
|
__ bind(&Loop2_test);
|
2009-06-10 15:53:46 +00:00
|
|
|
__ cmpq(rax, Immediate(0x11FE8000));
|
2009-05-28 09:18:17 +00:00
|
|
|
__ j(greater, &Loop2_body);
|
|
|
|
// Did the loop terminate with the expected value?
|
2009-06-10 15:53:46 +00:00
|
|
|
__ cmpq(rax, Immediate(0x11FE7600));
|
2009-05-28 09:18:17 +00:00
|
|
|
__ j(not_equal, &Fail);
|
|
|
|
|
|
|
|
__ movq(rax, Immediate(1));
|
|
|
|
__ ret(0);
|
|
|
|
__ bind(&Fail);
|
|
|
|
__ movq(rax, Immediate(0));
|
|
|
|
__ ret(0);
|
|
|
|
|
|
|
|
CodeDesc desc;
|
|
|
|
assm.GetCode(&desc);
|
|
|
|
// Call the function from C++.
|
|
|
|
int result = FUNCTION_CAST<F0>(buffer)();
|
|
|
|
CHECK_EQ(1, result);
|
|
|
|
}
|
2009-06-10 09:48:15 +00:00
|
|
|
|
2011-01-25 11:30:47 +00:00
|
|
|
|
|
|
|
TEST(OperandRegisterDependency) {
|
|
|
|
int offsets[4] = {0, 1, 0xfed, 0xbeefcad};
|
|
|
|
for (int i = 0; i < 4; i++) {
|
|
|
|
int offset = offsets[i];
|
|
|
|
CHECK(Operand(rax, offset).AddressUsesRegister(rax));
|
|
|
|
CHECK(!Operand(rax, offset).AddressUsesRegister(r8));
|
|
|
|
CHECK(!Operand(rax, offset).AddressUsesRegister(rcx));
|
|
|
|
|
|
|
|
CHECK(Operand(rax, rax, times_1, offset).AddressUsesRegister(rax));
|
|
|
|
CHECK(!Operand(rax, rax, times_1, offset).AddressUsesRegister(r8));
|
|
|
|
CHECK(!Operand(rax, rax, times_1, offset).AddressUsesRegister(rcx));
|
|
|
|
|
|
|
|
CHECK(Operand(rax, rcx, times_1, offset).AddressUsesRegister(rax));
|
|
|
|
CHECK(Operand(rax, rcx, times_1, offset).AddressUsesRegister(rcx));
|
|
|
|
CHECK(!Operand(rax, rcx, times_1, offset).AddressUsesRegister(r8));
|
|
|
|
CHECK(!Operand(rax, rcx, times_1, offset).AddressUsesRegister(r9));
|
|
|
|
CHECK(!Operand(rax, rcx, times_1, offset).AddressUsesRegister(rdx));
|
|
|
|
CHECK(!Operand(rax, rcx, times_1, offset).AddressUsesRegister(rsp));
|
|
|
|
|
|
|
|
CHECK(Operand(rsp, offset).AddressUsesRegister(rsp));
|
|
|
|
CHECK(!Operand(rsp, offset).AddressUsesRegister(rax));
|
2011-03-10 10:14:24 +00:00
|
|
|
CHECK(!Operand(rsp, offset).AddressUsesRegister(r15));
|
2011-01-25 11:30:47 +00:00
|
|
|
|
|
|
|
CHECK(Operand(rbp, offset).AddressUsesRegister(rbp));
|
|
|
|
CHECK(!Operand(rbp, offset).AddressUsesRegister(rax));
|
|
|
|
CHECK(!Operand(rbp, offset).AddressUsesRegister(r13));
|
|
|
|
|
|
|
|
CHECK(Operand(rbp, rax, times_1, offset).AddressUsesRegister(rbp));
|
|
|
|
CHECK(Operand(rbp, rax, times_1, offset).AddressUsesRegister(rax));
|
|
|
|
CHECK(!Operand(rbp, rax, times_1, offset).AddressUsesRegister(rcx));
|
|
|
|
CHECK(!Operand(rbp, rax, times_1, offset).AddressUsesRegister(r13));
|
|
|
|
CHECK(!Operand(rbp, rax, times_1, offset).AddressUsesRegister(r8));
|
|
|
|
CHECK(!Operand(rbp, rax, times_1, offset).AddressUsesRegister(rsp));
|
|
|
|
|
|
|
|
CHECK(Operand(rsp, rbp, times_1, offset).AddressUsesRegister(rsp));
|
|
|
|
CHECK(Operand(rsp, rbp, times_1, offset).AddressUsesRegister(rbp));
|
|
|
|
CHECK(!Operand(rsp, rbp, times_1, offset).AddressUsesRegister(rax));
|
2011-03-10 10:14:24 +00:00
|
|
|
CHECK(!Operand(rsp, rbp, times_1, offset).AddressUsesRegister(r15));
|
2011-01-25 11:30:47 +00:00
|
|
|
CHECK(!Operand(rsp, rbp, times_1, offset).AddressUsesRegister(r13));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-08-30 07:36:31 +00:00
|
|
|
|
|
|
|
TEST(AssemblerX64LabelChaining) {
|
|
|
|
// Test chaining of label usages within instructions (issue 1644).
|
2013-04-10 08:29:39 +00:00
|
|
|
CcTest::InitializeVM();
|
|
|
|
v8::HandleScope scope(CcTest::isolate());
|
2011-08-30 07:36:31 +00:00
|
|
|
Assembler assm(Isolate::Current(), NULL, 0);
|
|
|
|
|
|
|
|
Label target;
|
|
|
|
__ j(equal, &target);
|
|
|
|
__ j(not_equal, &target);
|
|
|
|
__ bind(&target);
|
|
|
|
__ nop();
|
|
|
|
}
|
|
|
|
|
2011-12-05 08:58:01 +00:00
|
|
|
|
|
|
|
TEST(AssemblerMultiByteNop) {
|
2013-04-10 08:29:39 +00:00
|
|
|
CcTest::InitializeVM();
|
|
|
|
v8::HandleScope scope(CcTest::isolate());
|
2011-12-05 08:58:01 +00:00
|
|
|
v8::internal::byte buffer[1024];
|
2013-02-25 14:46:09 +00:00
|
|
|
Isolate* isolate = Isolate::Current();
|
|
|
|
Assembler assm(isolate, buffer, sizeof(buffer));
|
2011-12-05 08:58:01 +00:00
|
|
|
__ push(rbx);
|
|
|
|
__ push(rcx);
|
|
|
|
__ push(rdx);
|
|
|
|
__ push(rdi);
|
|
|
|
__ push(rsi);
|
|
|
|
__ movq(rax, Immediate(1));
|
|
|
|
__ movq(rbx, Immediate(2));
|
|
|
|
__ movq(rcx, Immediate(3));
|
|
|
|
__ movq(rdx, Immediate(4));
|
|
|
|
__ movq(rdi, Immediate(5));
|
|
|
|
__ movq(rsi, Immediate(6));
|
|
|
|
for (int i = 0; i < 16; i++) {
|
|
|
|
int before = assm.pc_offset();
|
|
|
|
__ Nop(i);
|
|
|
|
CHECK_EQ(assm.pc_offset() - before, i);
|
|
|
|
}
|
|
|
|
|
|
|
|
Label fail;
|
|
|
|
__ cmpq(rax, Immediate(1));
|
|
|
|
__ j(not_equal, &fail);
|
|
|
|
__ cmpq(rbx, Immediate(2));
|
|
|
|
__ j(not_equal, &fail);
|
|
|
|
__ cmpq(rcx, Immediate(3));
|
|
|
|
__ j(not_equal, &fail);
|
|
|
|
__ cmpq(rdx, Immediate(4));
|
|
|
|
__ j(not_equal, &fail);
|
|
|
|
__ cmpq(rdi, Immediate(5));
|
|
|
|
__ j(not_equal, &fail);
|
|
|
|
__ cmpq(rsi, Immediate(6));
|
|
|
|
__ j(not_equal, &fail);
|
|
|
|
__ movq(rax, Immediate(42));
|
|
|
|
__ pop(rsi);
|
|
|
|
__ pop(rdi);
|
|
|
|
__ pop(rdx);
|
|
|
|
__ pop(rcx);
|
|
|
|
__ pop(rbx);
|
|
|
|
__ ret(0);
|
|
|
|
__ bind(&fail);
|
|
|
|
__ movq(rax, Immediate(13));
|
|
|
|
__ pop(rsi);
|
|
|
|
__ pop(rdi);
|
|
|
|
__ pop(rdx);
|
|
|
|
__ pop(rcx);
|
|
|
|
__ pop(rbx);
|
|
|
|
__ ret(0);
|
|
|
|
|
|
|
|
CodeDesc desc;
|
|
|
|
assm.GetCode(&desc);
|
2013-02-25 14:46:09 +00:00
|
|
|
Code* code = Code::cast(isolate->heap()->CreateCode(
|
2011-12-05 08:58:01 +00:00
|
|
|
desc,
|
|
|
|
Code::ComputeFlags(Code::STUB),
|
2013-02-25 14:46:09 +00:00
|
|
|
v8::internal::Handle<Code>())->ToObjectChecked());
|
2011-12-05 08:58:01 +00:00
|
|
|
CHECK(code->IsCode());
|
|
|
|
|
|
|
|
F0 f = FUNCTION_CAST<F0>(code->entry());
|
|
|
|
int res = f();
|
|
|
|
CHECK_EQ(42, res);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2013-07-29 12:12:39 +00:00
|
|
|
#ifdef __GNUC__
|
2013-07-05 08:34:17 +00:00
|
|
|
#define ELEMENT_COUNT 4
|
|
|
|
|
|
|
|
void DoSSE2(const v8::FunctionCallbackInfo<v8::Value>& args) {
|
|
|
|
CcTest::InitializeVM();
|
|
|
|
v8::HandleScope scope(CcTest::isolate());
|
|
|
|
v8::internal::byte buffer[1024];
|
|
|
|
|
|
|
|
CHECK(args[0]->IsArray());
|
|
|
|
v8::Local<v8::Array> vec = v8::Local<v8::Array>::Cast(args[0]);
|
|
|
|
CHECK_EQ(ELEMENT_COUNT, vec->Length());
|
|
|
|
|
|
|
|
Isolate* isolate = Isolate::Current();
|
|
|
|
Assembler assm(isolate, buffer, sizeof(buffer));
|
|
|
|
|
|
|
|
// Remove return address from the stack for fix stack frame alignment.
|
|
|
|
__ pop(rcx);
|
|
|
|
|
|
|
|
// Store input vector on the stack.
|
|
|
|
for (int i = 0; i < ELEMENT_COUNT; i++) {
|
|
|
|
__ movl(rax, Immediate(vec->Get(i)->Int32Value()));
|
|
|
|
__ shl(rax, Immediate(0x20));
|
|
|
|
__ or_(rax, Immediate(vec->Get(++i)->Int32Value()));
|
|
|
|
__ push(rax);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Read vector into a xmm register.
|
|
|
|
__ xorps(xmm0, xmm0);
|
|
|
|
__ movdqa(xmm0, Operand(rsp, 0));
|
|
|
|
// Create mask and store it in the return register.
|
|
|
|
__ movmskps(rax, xmm0);
|
|
|
|
|
|
|
|
// Remove unused data from the stack.
|
|
|
|
__ addq(rsp, Immediate(ELEMENT_COUNT * sizeof(int32_t)));
|
|
|
|
// Restore return address.
|
|
|
|
__ push(rcx);
|
|
|
|
|
|
|
|
__ ret(0);
|
|
|
|
|
|
|
|
CodeDesc desc;
|
|
|
|
assm.GetCode(&desc);
|
|
|
|
Code* code = Code::cast(isolate->heap()->CreateCode(
|
|
|
|
desc,
|
|
|
|
Code::ComputeFlags(Code::STUB),
|
|
|
|
v8::internal::Handle<Code>())->ToObjectChecked());
|
|
|
|
CHECK(code->IsCode());
|
|
|
|
|
|
|
|
F0 f = FUNCTION_CAST<F0>(code->entry());
|
|
|
|
int res = f();
|
|
|
|
args.GetReturnValue().Set(v8::Integer::New(res));
|
|
|
|
}
|
|
|
|
|
2013-07-05 09:52:11 +00:00
|
|
|
|
2013-07-05 08:34:17 +00:00
|
|
|
TEST(StackAlignmentForSSE2) {
|
|
|
|
CHECK_EQ(0, OS::ActivationFrameAlignment() % 16);
|
|
|
|
|
|
|
|
v8::Isolate* isolate = v8::Isolate::GetCurrent();
|
|
|
|
v8::HandleScope handle_scope(isolate);
|
|
|
|
v8::Handle<v8::ObjectTemplate> global_template = v8::ObjectTemplate::New();
|
|
|
|
global_template->Set(v8_str("do_sse2"), v8::FunctionTemplate::New(DoSSE2));
|
|
|
|
|
|
|
|
LocalContext env(NULL, global_template);
|
|
|
|
CompileRun(
|
|
|
|
"function foo(vec) {"
|
|
|
|
" return do_sse2(vec);"
|
|
|
|
"}");
|
|
|
|
|
|
|
|
v8::Local<v8::Object> global_object = env->Global();
|
|
|
|
v8::Local<v8::Function> foo =
|
|
|
|
v8::Local<v8::Function>::Cast(global_object->Get(v8_str("foo")));
|
|
|
|
|
|
|
|
int32_t vec[ELEMENT_COUNT] = { -1, 1, 1, 1 };
|
|
|
|
v8::Local<v8::Array> v8_vec = v8::Array::New(ELEMENT_COUNT);
|
|
|
|
for (int i = 0; i < ELEMENT_COUNT; i++) {
|
|
|
|
v8_vec->Set(i, v8_num(vec[i]));
|
|
|
|
}
|
|
|
|
|
|
|
|
v8::Local<v8::Value> args[] = { v8_vec };
|
|
|
|
v8::Local<v8::Value> result = foo->Call(global_object, 1, args);
|
|
|
|
|
|
|
|
// The mask should be 0b1000.
|
|
|
|
CHECK_EQ(8, result->Int32Value());
|
|
|
|
}
|
|
|
|
|
|
|
|
#undef ELEMENT_COUNT
|
2013-07-29 12:12:39 +00:00
|
|
|
#endif // __GNUC__
|
2011-12-05 08:58:01 +00:00
|
|
|
|
|
|
|
|
2009-05-26 07:58:36 +00:00
|
|
|
#undef __
|