2014-07-30 13:54:45 +00:00
|
|
|
// Copyright 2014 the V8 project authors. All rights reserved.
|
|
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
|
|
// found in the LICENSE file.
|
|
|
|
|
|
|
|
#ifndef V8_CCTEST_COMPILER_CODEGEN_TESTER_H_
|
|
|
|
#define V8_CCTEST_COMPILER_CODEGEN_TESTER_H_
|
|
|
|
|
|
|
|
#include "src/v8.h"
|
|
|
|
|
Add floor, ceil, round (truncate) instructions for ia32, x64 (if SSE4.1) and
add floor, ceil, round (truncate and away from zero) for arm64.
R=bmeurer@chromium.org, dcarney@chromium.org, mstarzinger@chromium.org, rodolph.perfetta@arm.com
TEST=test/mjsunit/asm/math-floor.js,test/mjsunit/asm/math-ceil.js,test/unittest/compiler/js-builtin-reducer-unittest.cc
Review URL: https://codereview.chromium.org/677433002
Cr-Commit-Position: refs/heads/master@{#25018}
git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@25018 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-30 14:15:20 +00:00
|
|
|
#include "src/compiler/instruction-selector.h"
|
2014-07-30 13:54:45 +00:00
|
|
|
#include "src/compiler/pipeline.h"
|
|
|
|
#include "src/compiler/raw-machine-assembler.h"
|
|
|
|
#include "src/simulator.h"
|
|
|
|
#include "test/cctest/compiler/call-tester.h"
|
|
|
|
|
|
|
|
namespace v8 {
|
|
|
|
namespace internal {
|
|
|
|
namespace compiler {
|
|
|
|
|
|
|
|
template <typename MachineAssembler>
|
|
|
|
class MachineAssemblerTester : public HandleAndZoneScope,
|
|
|
|
public CallHelper,
|
|
|
|
public MachineAssembler {
|
|
|
|
public:
|
2014-08-11 15:55:28 +00:00
|
|
|
MachineAssemblerTester(MachineType return_type, MachineType p0,
|
|
|
|
MachineType p1, MachineType p2, MachineType p3,
|
Add floor, ceil, round (truncate) instructions for ia32, x64 (if SSE4.1) and
add floor, ceil, round (truncate and away from zero) for arm64.
R=bmeurer@chromium.org, dcarney@chromium.org, mstarzinger@chromium.org, rodolph.perfetta@arm.com
TEST=test/mjsunit/asm/math-floor.js,test/mjsunit/asm/math-ceil.js,test/unittest/compiler/js-builtin-reducer-unittest.cc
Review URL: https://codereview.chromium.org/677433002
Cr-Commit-Position: refs/heads/master@{#25018}
git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@25018 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-30 14:15:20 +00:00
|
|
|
MachineType p4,
|
|
|
|
MachineOperatorBuilder::Flags flags =
|
|
|
|
MachineOperatorBuilder::Flag::kNoFlags)
|
2014-07-30 13:54:45 +00:00
|
|
|
: HandleAndZoneScope(),
|
2014-09-03 10:13:21 +00:00
|
|
|
CallHelper(
|
|
|
|
main_isolate(),
|
|
|
|
MakeMachineSignature(main_zone(), return_type, p0, p1, p2, p3, p4)),
|
|
|
|
MachineAssembler(
|
2015-01-23 15:19:34 +00:00
|
|
|
main_isolate(), new (main_zone()) Graph(main_zone()),
|
2014-09-03 10:13:21 +00:00
|
|
|
MakeMachineSignature(main_zone(), return_type, p0, p1, p2, p3, p4),
|
Add floor, ceil, round (truncate) instructions for ia32, x64 (if SSE4.1) and
add floor, ceil, round (truncate and away from zero) for arm64.
R=bmeurer@chromium.org, dcarney@chromium.org, mstarzinger@chromium.org, rodolph.perfetta@arm.com
TEST=test/mjsunit/asm/math-floor.js,test/mjsunit/asm/math-ceil.js,test/unittest/compiler/js-builtin-reducer-unittest.cc
Review URL: https://codereview.chromium.org/677433002
Cr-Commit-Position: refs/heads/master@{#25018}
git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@25018 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-30 14:15:20 +00:00
|
|
|
kMachPtr, flags) {}
|
2014-07-30 13:54:45 +00:00
|
|
|
|
2014-08-11 15:55:28 +00:00
|
|
|
Node* LoadFromPointer(void* address, MachineType rep, int32_t offset = 0) {
|
2014-07-30 13:54:45 +00:00
|
|
|
return this->Load(rep, this->PointerConstant(address),
|
|
|
|
this->Int32Constant(offset));
|
|
|
|
}
|
|
|
|
|
2014-08-11 15:55:28 +00:00
|
|
|
void StoreToPointer(void* address, MachineType rep, Node* node) {
|
2014-07-30 13:54:45 +00:00
|
|
|
this->Store(rep, this->PointerConstant(address), node);
|
|
|
|
}
|
|
|
|
|
|
|
|
Node* StringConstant(const char* string) {
|
|
|
|
return this->HeapConstant(
|
|
|
|
this->isolate()->factory()->InternalizeUtf8String(string));
|
|
|
|
}
|
|
|
|
|
|
|
|
void CheckNumber(double expected, Object* number) {
|
|
|
|
CHECK(this->isolate()->factory()->NewNumber(expected)->SameValue(number));
|
|
|
|
}
|
|
|
|
|
|
|
|
void CheckString(const char* expected, Object* string) {
|
|
|
|
CHECK(
|
|
|
|
this->isolate()->factory()->InternalizeUtf8String(expected)->SameValue(
|
|
|
|
string));
|
|
|
|
}
|
|
|
|
|
|
|
|
void GenerateCode() { Generate(); }
|
|
|
|
|
|
|
|
protected:
|
|
|
|
virtual byte* Generate() {
|
|
|
|
if (code_.is_null()) {
|
|
|
|
Schedule* schedule = this->Export();
|
|
|
|
CallDescriptor* call_descriptor = this->call_descriptor();
|
|
|
|
Graph* graph = this->graph();
|
2015-01-23 15:19:34 +00:00
|
|
|
code_ = Pipeline::GenerateCodeForTesting(this->isolate(), call_descriptor,
|
|
|
|
graph, schedule);
|
2014-07-30 13:54:45 +00:00
|
|
|
}
|
|
|
|
return this->code_.ToHandleChecked()->entry();
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
MaybeHandle<Code> code_;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
template <typename ReturnType>
|
|
|
|
class RawMachineAssemblerTester
|
|
|
|
: public MachineAssemblerTester<RawMachineAssembler>,
|
|
|
|
public CallHelper2<ReturnType, RawMachineAssemblerTester<ReturnType> > {
|
|
|
|
public:
|
2014-08-14 09:19:54 +00:00
|
|
|
RawMachineAssemblerTester(MachineType p0 = kMachNone,
|
|
|
|
MachineType p1 = kMachNone,
|
|
|
|
MachineType p2 = kMachNone,
|
|
|
|
MachineType p3 = kMachNone,
|
|
|
|
MachineType p4 = kMachNone)
|
2014-07-30 15:34:09 +00:00
|
|
|
: MachineAssemblerTester<RawMachineAssembler>(
|
Add floor, ceil, round (truncate) instructions for ia32, x64 (if SSE4.1) and
add floor, ceil, round (truncate and away from zero) for arm64.
R=bmeurer@chromium.org, dcarney@chromium.org, mstarzinger@chromium.org, rodolph.perfetta@arm.com
TEST=test/mjsunit/asm/math-floor.js,test/mjsunit/asm/math-ceil.js,test/unittest/compiler/js-builtin-reducer-unittest.cc
Review URL: https://codereview.chromium.org/677433002
Cr-Commit-Position: refs/heads/master@{#25018}
git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@25018 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-30 14:15:20 +00:00
|
|
|
ReturnValueTraits<ReturnType>::Representation(), p0, p1, p2, p3, p4,
|
|
|
|
InstructionSelector::SupportedMachineOperatorFlags()) {}
|
2014-07-31 07:44:29 +00:00
|
|
|
|
|
|
|
template <typename Ci, typename Fn>
|
|
|
|
void Run(const Ci& ci, const Fn& fn) {
|
|
|
|
typename Ci::const_iterator i;
|
|
|
|
for (i = ci.begin(); i != ci.end(); ++i) {
|
|
|
|
CHECK_EQ(fn(*i), this->Call(*i));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename Ci, typename Cj, typename Fn>
|
|
|
|
void Run(const Ci& ci, const Cj& cj, const Fn& fn) {
|
|
|
|
typename Ci::const_iterator i;
|
|
|
|
typename Cj::const_iterator j;
|
|
|
|
for (i = ci.begin(); i != ci.end(); ++i) {
|
|
|
|
for (j = cj.begin(); j != cj.end(); ++j) {
|
|
|
|
CHECK_EQ(fn(*i, *j), this->Call(*i, *j));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2014-07-30 13:54:45 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
static const bool USE_RESULT_BUFFER = true;
|
|
|
|
static const bool USE_RETURN_REGISTER = false;
|
2014-07-31 09:30:16 +00:00
|
|
|
static const int32_t CHECK_VALUE = 0x99BEEDCE;
|
|
|
|
|
2014-07-30 13:54:45 +00:00
|
|
|
|
|
|
|
// TODO(titzer): use the C-style calling convention, or any register-based
|
|
|
|
// calling convention for binop tests.
|
2014-08-11 15:55:28 +00:00
|
|
|
template <typename CType, MachineType rep, bool use_result_buffer>
|
2014-07-30 13:54:45 +00:00
|
|
|
class BinopTester {
|
|
|
|
public:
|
|
|
|
explicit BinopTester(RawMachineAssemblerTester<int32_t>* tester)
|
|
|
|
: T(tester),
|
|
|
|
param0(T->LoadFromPointer(&p0, rep)),
|
|
|
|
param1(T->LoadFromPointer(&p1, rep)),
|
|
|
|
p0(static_cast<CType>(0)),
|
|
|
|
p1(static_cast<CType>(0)),
|
|
|
|
result(static_cast<CType>(0)) {}
|
|
|
|
|
|
|
|
RawMachineAssemblerTester<int32_t>* T;
|
|
|
|
Node* param0;
|
|
|
|
Node* param1;
|
|
|
|
|
|
|
|
CType call(CType a0, CType a1) {
|
|
|
|
p0 = a0;
|
|
|
|
p1 = a1;
|
|
|
|
if (use_result_buffer) {
|
|
|
|
CHECK_EQ(CHECK_VALUE, T->Call());
|
|
|
|
return result;
|
|
|
|
} else {
|
2015-03-30 07:33:46 +00:00
|
|
|
return static_cast<CType>(T->Call());
|
2014-07-30 13:54:45 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void AddReturn(Node* val) {
|
|
|
|
if (use_result_buffer) {
|
|
|
|
T->Store(rep, T->PointerConstant(&result), T->Int32Constant(0), val);
|
|
|
|
T->Return(T->Int32Constant(CHECK_VALUE));
|
|
|
|
} else {
|
|
|
|
T->Return(val);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-07-31 07:44:29 +00:00
|
|
|
template <typename Ci, typename Cj, typename Fn>
|
|
|
|
void Run(const Ci& ci, const Cj& cj, const Fn& fn) {
|
|
|
|
typename Ci::const_iterator i;
|
|
|
|
typename Cj::const_iterator j;
|
|
|
|
for (i = ci.begin(); i != ci.end(); ++i) {
|
|
|
|
for (j = cj.begin(); j != cj.end(); ++j) {
|
|
|
|
CHECK_EQ(fn(*i, *j), this->call(*i, *j));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-07-30 13:54:45 +00:00
|
|
|
protected:
|
|
|
|
CType p0;
|
|
|
|
CType p1;
|
|
|
|
CType result;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
// A helper class for testing code sequences that take two int parameters and
|
|
|
|
// return an int value.
|
|
|
|
class Int32BinopTester
|
2014-08-14 09:19:54 +00:00
|
|
|
: public BinopTester<int32_t, kMachInt32, USE_RETURN_REGISTER> {
|
2014-07-30 13:54:45 +00:00
|
|
|
public:
|
|
|
|
explicit Int32BinopTester(RawMachineAssemblerTester<int32_t>* tester)
|
2014-08-14 09:19:54 +00:00
|
|
|
: BinopTester<int32_t, kMachInt32, USE_RETURN_REGISTER>(tester) {}
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
// A helper class for testing code sequences that take two uint parameters and
|
|
|
|
// return an uint value.
|
|
|
|
class Uint32BinopTester
|
|
|
|
: public BinopTester<uint32_t, kMachUint32, USE_RETURN_REGISTER> {
|
|
|
|
public:
|
|
|
|
explicit Uint32BinopTester(RawMachineAssemblerTester<int32_t>* tester)
|
|
|
|
: BinopTester<uint32_t, kMachUint32, USE_RETURN_REGISTER>(tester) {}
|
2014-07-30 13:54:45 +00:00
|
|
|
|
2014-08-14 09:19:54 +00:00
|
|
|
uint32_t call(uint32_t a0, uint32_t a1) {
|
|
|
|
p0 = a0;
|
|
|
|
p1 = a1;
|
|
|
|
return static_cast<uint32_t>(T->Call());
|
2014-07-30 13:54:45 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2015-03-30 07:33:46 +00:00
|
|
|
// A helper class for testing code sequences that take two float parameters and
|
|
|
|
// return a float value.
|
|
|
|
// TODO(titzer): figure out how to return floats correctly on ia32.
|
|
|
|
class Float32BinopTester
|
|
|
|
: public BinopTester<float, kMachFloat32, USE_RESULT_BUFFER> {
|
|
|
|
public:
|
|
|
|
explicit Float32BinopTester(RawMachineAssemblerTester<int32_t>* tester)
|
|
|
|
: BinopTester<float, kMachFloat32, USE_RESULT_BUFFER>(tester) {}
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2014-07-30 13:54:45 +00:00
|
|
|
// A helper class for testing code sequences that take two double parameters and
|
|
|
|
// return a double value.
|
|
|
|
// TODO(titzer): figure out how to return doubles correctly on ia32.
|
|
|
|
class Float64BinopTester
|
2014-08-14 09:19:54 +00:00
|
|
|
: public BinopTester<double, kMachFloat64, USE_RESULT_BUFFER> {
|
2014-07-30 13:54:45 +00:00
|
|
|
public:
|
|
|
|
explicit Float64BinopTester(RawMachineAssemblerTester<int32_t>* tester)
|
2014-08-14 09:19:54 +00:00
|
|
|
: BinopTester<double, kMachFloat64, USE_RESULT_BUFFER>(tester) {}
|
2014-07-30 13:54:45 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
// A helper class for testing code sequences that take two pointer parameters
|
|
|
|
// and return a pointer value.
|
|
|
|
// TODO(titzer): pick word size of pointers based on V8_TARGET.
|
|
|
|
template <typename Type>
|
|
|
|
class PointerBinopTester
|
2014-08-14 09:19:54 +00:00
|
|
|
: public BinopTester<Type*, kMachPtr, USE_RETURN_REGISTER> {
|
2014-07-30 13:54:45 +00:00
|
|
|
public:
|
|
|
|
explicit PointerBinopTester(RawMachineAssemblerTester<int32_t>* tester)
|
2014-08-14 09:19:54 +00:00
|
|
|
: BinopTester<Type*, kMachPtr, USE_RETURN_REGISTER>(tester) {}
|
2014-07-30 13:54:45 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
// A helper class for testing code sequences that take two tagged parameters and
|
|
|
|
// return a tagged value.
|
|
|
|
template <typename Type>
|
|
|
|
class TaggedBinopTester
|
2014-08-14 09:19:54 +00:00
|
|
|
: public BinopTester<Type*, kMachAnyTagged, USE_RETURN_REGISTER> {
|
2014-07-30 13:54:45 +00:00
|
|
|
public:
|
|
|
|
explicit TaggedBinopTester(RawMachineAssemblerTester<int32_t>* tester)
|
2014-08-14 09:19:54 +00:00
|
|
|
: BinopTester<Type*, kMachAnyTagged, USE_RETURN_REGISTER>(tester) {}
|
2014-07-30 13:54:45 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
// A helper class for testing compares. Wraps a machine opcode and provides
|
|
|
|
// evaluation routines and the operators.
|
|
|
|
class CompareWrapper {
|
|
|
|
public:
|
|
|
|
explicit CompareWrapper(IrOpcode::Value op) : opcode(op) {}
|
|
|
|
|
|
|
|
Node* MakeNode(RawMachineAssemblerTester<int32_t>* m, Node* a, Node* b) {
|
|
|
|
return m->NewNode(op(m->machine()), a, b);
|
|
|
|
}
|
|
|
|
|
2014-09-10 12:23:45 +00:00
|
|
|
const Operator* op(MachineOperatorBuilder* machine) {
|
2014-07-30 13:54:45 +00:00
|
|
|
switch (opcode) {
|
|
|
|
case IrOpcode::kWord32Equal:
|
|
|
|
return machine->Word32Equal();
|
|
|
|
case IrOpcode::kInt32LessThan:
|
|
|
|
return machine->Int32LessThan();
|
|
|
|
case IrOpcode::kInt32LessThanOrEqual:
|
|
|
|
return machine->Int32LessThanOrEqual();
|
|
|
|
case IrOpcode::kUint32LessThan:
|
|
|
|
return machine->Uint32LessThan();
|
|
|
|
case IrOpcode::kUint32LessThanOrEqual:
|
|
|
|
return machine->Uint32LessThanOrEqual();
|
|
|
|
case IrOpcode::kFloat64Equal:
|
|
|
|
return machine->Float64Equal();
|
|
|
|
case IrOpcode::kFloat64LessThan:
|
|
|
|
return machine->Float64LessThan();
|
|
|
|
case IrOpcode::kFloat64LessThanOrEqual:
|
|
|
|
return machine->Float64LessThanOrEqual();
|
|
|
|
default:
|
|
|
|
UNREACHABLE();
|
|
|
|
}
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool Int32Compare(int32_t a, int32_t b) {
|
|
|
|
switch (opcode) {
|
|
|
|
case IrOpcode::kWord32Equal:
|
|
|
|
return a == b;
|
|
|
|
case IrOpcode::kInt32LessThan:
|
|
|
|
return a < b;
|
|
|
|
case IrOpcode::kInt32LessThanOrEqual:
|
|
|
|
return a <= b;
|
|
|
|
case IrOpcode::kUint32LessThan:
|
|
|
|
return static_cast<uint32_t>(a) < static_cast<uint32_t>(b);
|
|
|
|
case IrOpcode::kUint32LessThanOrEqual:
|
|
|
|
return static_cast<uint32_t>(a) <= static_cast<uint32_t>(b);
|
|
|
|
default:
|
|
|
|
UNREACHABLE();
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool Float64Compare(double a, double b) {
|
|
|
|
switch (opcode) {
|
|
|
|
case IrOpcode::kFloat64Equal:
|
|
|
|
return a == b;
|
|
|
|
case IrOpcode::kFloat64LessThan:
|
|
|
|
return a < b;
|
|
|
|
case IrOpcode::kFloat64LessThanOrEqual:
|
|
|
|
return a <= b;
|
|
|
|
default:
|
|
|
|
UNREACHABLE();
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
IrOpcode::Value opcode;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
// A small closure class to generate code for a function of two inputs that
|
|
|
|
// produces a single output so that it can be used in many different contexts.
|
|
|
|
// The {expected()} method should compute the expected output for a given
|
|
|
|
// pair of inputs.
|
|
|
|
template <typename T>
|
|
|
|
class BinopGen {
|
|
|
|
public:
|
|
|
|
virtual void gen(RawMachineAssemblerTester<int32_t>* m, Node* a, Node* b) = 0;
|
|
|
|
virtual T expected(T a, T b) = 0;
|
|
|
|
virtual ~BinopGen() {}
|
|
|
|
};
|
|
|
|
|
|
|
|
// A helper class to generate various combination of input shape combinations
|
|
|
|
// and run the generated code to ensure it produces the correct results.
|
|
|
|
class Int32BinopInputShapeTester {
|
|
|
|
public:
|
|
|
|
explicit Int32BinopInputShapeTester(BinopGen<int32_t>* g) : gen(g) {}
|
|
|
|
|
|
|
|
void TestAllInputShapes();
|
|
|
|
|
|
|
|
private:
|
|
|
|
BinopGen<int32_t>* gen;
|
|
|
|
int32_t input_a;
|
|
|
|
int32_t input_b;
|
|
|
|
|
|
|
|
void Run(RawMachineAssemblerTester<int32_t>* m);
|
|
|
|
void RunLeft(RawMachineAssemblerTester<int32_t>* m);
|
|
|
|
void RunRight(RawMachineAssemblerTester<int32_t>* m);
|
|
|
|
};
|
2015-01-30 09:29:25 +00:00
|
|
|
|
|
|
|
// TODO(bmeurer): Drop this crap once we switch to GTest/Gmock.
|
2015-03-30 07:33:46 +00:00
|
|
|
static inline void CheckFloatEq(volatile float x, volatile float y) {
|
|
|
|
if (std::isnan(x)) {
|
|
|
|
CHECK(std::isnan(y));
|
|
|
|
} else {
|
|
|
|
CHECK(x == y);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-30 09:29:25 +00:00
|
|
|
static inline void CheckDoubleEq(volatile double x, volatile double y) {
|
|
|
|
if (std::isnan(x)) {
|
|
|
|
CHECK(std::isnan(y));
|
|
|
|
} else {
|
|
|
|
CHECK_EQ(x, y);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-07-30 13:54:45 +00:00
|
|
|
} // namespace compiler
|
|
|
|
} // namespace internal
|
|
|
|
} // namespace v8
|
|
|
|
|
|
|
|
#endif // V8_CCTEST_COMPILER_CODEGEN_TESTER_H_
|