// 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. #include "test/cctest/cctest.h" #include "test/cctest/compiler/codegen-tester.h" #include "test/cctest/compiler/value-helper.h" using namespace v8::internal; using namespace v8::internal::compiler; TEST(CompareWrapper) { // Who tests the testers? // If CompareWrapper is broken, then test expectations will be broken. CompareWrapper wWord32Equal(IrOpcode::kWord32Equal); CompareWrapper wInt32LessThan(IrOpcode::kInt32LessThan); CompareWrapper wInt32LessThanOrEqual(IrOpcode::kInt32LessThanOrEqual); CompareWrapper wUint32LessThan(IrOpcode::kUint32LessThan); CompareWrapper wUint32LessThanOrEqual(IrOpcode::kUint32LessThanOrEqual); { FOR_INT32_INPUTS(pl) { FOR_INT32_INPUTS(pr) { int32_t a = *pl; int32_t b = *pr; CHECK_EQ(a == b, wWord32Equal.Int32Compare(a, b)); CHECK_EQ(a < b, wInt32LessThan.Int32Compare(a, b)); CHECK_EQ(a <= b, wInt32LessThanOrEqual.Int32Compare(a, b)); } } } { FOR_UINT32_INPUTS(pl) { FOR_UINT32_INPUTS(pr) { uint32_t a = *pl; uint32_t b = *pr; CHECK_EQ(a == b, wWord32Equal.Int32Compare(a, b)); CHECK_EQ(a < b, wUint32LessThan.Int32Compare(a, b)); CHECK_EQ(a <= b, wUint32LessThanOrEqual.Int32Compare(a, b)); } } } CHECK_EQ(true, wWord32Equal.Int32Compare(0, 0)); CHECK_EQ(true, wWord32Equal.Int32Compare(257, 257)); CHECK_EQ(true, wWord32Equal.Int32Compare(65539, 65539)); CHECK_EQ(true, wWord32Equal.Int32Compare(-1, -1)); CHECK_EQ(true, wWord32Equal.Int32Compare(0xffffffff, 0xffffffff)); CHECK_EQ(false, wWord32Equal.Int32Compare(0, 1)); CHECK_EQ(false, wWord32Equal.Int32Compare(257, 256)); CHECK_EQ(false, wWord32Equal.Int32Compare(65539, 65537)); CHECK_EQ(false, wWord32Equal.Int32Compare(-1, -2)); CHECK_EQ(false, wWord32Equal.Int32Compare(0xffffffff, 0xfffffffe)); CHECK_EQ(false, wInt32LessThan.Int32Compare(0, 0)); CHECK_EQ(false, wInt32LessThan.Int32Compare(357, 357)); CHECK_EQ(false, wInt32LessThan.Int32Compare(75539, 75539)); CHECK_EQ(false, wInt32LessThan.Int32Compare(-1, -1)); CHECK_EQ(false, wInt32LessThan.Int32Compare(0xffffffff, 0xffffffff)); CHECK_EQ(true, wInt32LessThan.Int32Compare(0, 1)); CHECK_EQ(true, wInt32LessThan.Int32Compare(456, 457)); CHECK_EQ(true, wInt32LessThan.Int32Compare(85537, 85539)); CHECK_EQ(true, wInt32LessThan.Int32Compare(-2, -1)); CHECK_EQ(true, wInt32LessThan.Int32Compare(0xfffffffe, 0xffffffff)); CHECK_EQ(false, wInt32LessThan.Int32Compare(1, 0)); CHECK_EQ(false, wInt32LessThan.Int32Compare(457, 456)); CHECK_EQ(false, wInt32LessThan.Int32Compare(85539, 85537)); CHECK_EQ(false, wInt32LessThan.Int32Compare(-1, -2)); CHECK_EQ(false, wInt32LessThan.Int32Compare(0xffffffff, 0xfffffffe)); CHECK_EQ(true, wInt32LessThanOrEqual.Int32Compare(0, 0)); CHECK_EQ(true, wInt32LessThanOrEqual.Int32Compare(357, 357)); CHECK_EQ(true, wInt32LessThanOrEqual.Int32Compare(75539, 75539)); CHECK_EQ(true, wInt32LessThanOrEqual.Int32Compare(-1, -1)); CHECK_EQ(true, wInt32LessThanOrEqual.Int32Compare(0xffffffff, 0xffffffff)); CHECK_EQ(true, wInt32LessThanOrEqual.Int32Compare(0, 1)); CHECK_EQ(true, wInt32LessThanOrEqual.Int32Compare(456, 457)); CHECK_EQ(true, wInt32LessThanOrEqual.Int32Compare(85537, 85539)); CHECK_EQ(true, wInt32LessThanOrEqual.Int32Compare(-2, -1)); CHECK_EQ(true, wInt32LessThanOrEqual.Int32Compare(0xfffffffe, 0xffffffff)); CHECK_EQ(false, wInt32LessThanOrEqual.Int32Compare(1, 0)); CHECK_EQ(false, wInt32LessThanOrEqual.Int32Compare(457, 456)); CHECK_EQ(false, wInt32LessThanOrEqual.Int32Compare(85539, 85537)); CHECK_EQ(false, wInt32LessThanOrEqual.Int32Compare(-1, -2)); CHECK_EQ(false, wInt32LessThanOrEqual.Int32Compare(0xffffffff, 0xfffffffe)); // Unsigned comparisons. CHECK_EQ(false, wUint32LessThan.Int32Compare(0, 0)); CHECK_EQ(false, wUint32LessThan.Int32Compare(357, 357)); CHECK_EQ(false, wUint32LessThan.Int32Compare(75539, 75539)); CHECK_EQ(false, wUint32LessThan.Int32Compare(-1, -1)); CHECK_EQ(false, wUint32LessThan.Int32Compare(0xffffffff, 0xffffffff)); CHECK_EQ(false, wUint32LessThan.Int32Compare(0xffffffff, 0)); CHECK_EQ(false, wUint32LessThan.Int32Compare(-2999, 0)); CHECK_EQ(true, wUint32LessThan.Int32Compare(0, 1)); CHECK_EQ(true, wUint32LessThan.Int32Compare(456, 457)); CHECK_EQ(true, wUint32LessThan.Int32Compare(85537, 85539)); CHECK_EQ(true, wUint32LessThan.Int32Compare(-11, -10)); CHECK_EQ(true, wUint32LessThan.Int32Compare(0xfffffffe, 0xffffffff)); CHECK_EQ(true, wUint32LessThan.Int32Compare(0, 0xffffffff)); CHECK_EQ(true, wUint32LessThan.Int32Compare(0, -2996)); CHECK_EQ(false, wUint32LessThan.Int32Compare(1, 0)); CHECK_EQ(false, wUint32LessThan.Int32Compare(457, 456)); CHECK_EQ(false, wUint32LessThan.Int32Compare(85539, 85537)); CHECK_EQ(false, wUint32LessThan.Int32Compare(-10, -21)); CHECK_EQ(false, wUint32LessThan.Int32Compare(0xffffffff, 0xfffffffe)); CHECK_EQ(true, wUint32LessThanOrEqual.Int32Compare(0, 0)); CHECK_EQ(true, wUint32LessThanOrEqual.Int32Compare(357, 357)); CHECK_EQ(true, wUint32LessThanOrEqual.Int32Compare(75539, 75539)); CHECK_EQ(true, wUint32LessThanOrEqual.Int32Compare(-1, -1)); CHECK_EQ(true, wUint32LessThanOrEqual.Int32Compare(0xffffffff, 0xffffffff)); CHECK_EQ(true, wUint32LessThanOrEqual.Int32Compare(0, 1)); CHECK_EQ(true, wUint32LessThanOrEqual.Int32Compare(456, 457)); CHECK_EQ(true, wUint32LessThanOrEqual.Int32Compare(85537, 85539)); CHECK_EQ(true, wUint32LessThanOrEqual.Int32Compare(-300, -299)); CHECK_EQ(true, wUint32LessThanOrEqual.Int32Compare(-300, -300)); CHECK_EQ(true, wUint32LessThanOrEqual.Int32Compare(0xfffffffe, 0xffffffff)); CHECK_EQ(true, wUint32LessThanOrEqual.Int32Compare(0, -2995)); CHECK_EQ(false, wUint32LessThanOrEqual.Int32Compare(1, 0)); CHECK_EQ(false, wUint32LessThanOrEqual.Int32Compare(457, 456)); CHECK_EQ(false, wUint32LessThanOrEqual.Int32Compare(85539, 85537)); CHECK_EQ(false, wUint32LessThanOrEqual.Int32Compare(-130, -170)); CHECK_EQ(false, wUint32LessThanOrEqual.Int32Compare(0xffffffff, 0xfffffffe)); CHECK_EQ(false, wUint32LessThanOrEqual.Int32Compare(-2997, 0)); CompareWrapper wFloat64Equal(IrOpcode::kFloat64Equal); CompareWrapper wFloat64LessThan(IrOpcode::kFloat64LessThan); CompareWrapper wFloat64LessThanOrEqual(IrOpcode::kFloat64LessThanOrEqual); // Check NaN handling. double nan = std::numeric_limits<double>::quiet_NaN(); double inf = V8_INFINITY; CHECK_EQ(false, wFloat64Equal.Float64Compare(nan, 0.0)); CHECK_EQ(false, wFloat64Equal.Float64Compare(nan, 1.0)); CHECK_EQ(false, wFloat64Equal.Float64Compare(nan, inf)); CHECK_EQ(false, wFloat64Equal.Float64Compare(nan, -inf)); CHECK_EQ(false, wFloat64Equal.Float64Compare(nan, nan)); CHECK_EQ(false, wFloat64Equal.Float64Compare(0.0, nan)); CHECK_EQ(false, wFloat64Equal.Float64Compare(1.0, nan)); CHECK_EQ(false, wFloat64Equal.Float64Compare(inf, nan)); CHECK_EQ(false, wFloat64Equal.Float64Compare(-inf, nan)); CHECK_EQ(false, wFloat64Equal.Float64Compare(nan, nan)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(nan, 0.0)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(nan, 1.0)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(nan, inf)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(nan, -inf)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(nan, nan)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(0.0, nan)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(1.0, nan)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(inf, nan)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(-inf, nan)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(nan, nan)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(nan, 0.0)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(nan, 1.0)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(nan, inf)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(nan, -inf)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(nan, nan)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(0.0, nan)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(1.0, nan)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(inf, nan)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(-inf, nan)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(nan, nan)); // Check inf handling. CHECK_EQ(false, wFloat64Equal.Float64Compare(inf, 0.0)); CHECK_EQ(false, wFloat64Equal.Float64Compare(inf, 1.0)); CHECK_EQ(true, wFloat64Equal.Float64Compare(inf, inf)); CHECK_EQ(false, wFloat64Equal.Float64Compare(inf, -inf)); CHECK_EQ(false, wFloat64Equal.Float64Compare(0.0, inf)); CHECK_EQ(false, wFloat64Equal.Float64Compare(1.0, inf)); CHECK_EQ(true, wFloat64Equal.Float64Compare(inf, inf)); CHECK_EQ(false, wFloat64Equal.Float64Compare(-inf, inf)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(inf, 0.0)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(inf, 1.0)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(inf, inf)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(inf, -inf)); CHECK_EQ(true, wFloat64LessThan.Float64Compare(0.0, inf)); CHECK_EQ(true, wFloat64LessThan.Float64Compare(1.0, inf)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(inf, inf)); CHECK_EQ(true, wFloat64LessThan.Float64Compare(-inf, inf)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(inf, 0.0)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(inf, 1.0)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(inf, inf)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(inf, -inf)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(0.0, inf)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(1.0, inf)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(inf, inf)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(-inf, inf)); // Check -inf handling. CHECK_EQ(false, wFloat64Equal.Float64Compare(-inf, 0.0)); CHECK_EQ(false, wFloat64Equal.Float64Compare(-inf, 1.0)); CHECK_EQ(false, wFloat64Equal.Float64Compare(-inf, inf)); CHECK_EQ(true, wFloat64Equal.Float64Compare(-inf, -inf)); CHECK_EQ(false, wFloat64Equal.Float64Compare(0.0, -inf)); CHECK_EQ(false, wFloat64Equal.Float64Compare(1.0, -inf)); CHECK_EQ(false, wFloat64Equal.Float64Compare(inf, -inf)); CHECK_EQ(true, wFloat64Equal.Float64Compare(-inf, -inf)); CHECK_EQ(true, wFloat64LessThan.Float64Compare(-inf, 0.0)); CHECK_EQ(true, wFloat64LessThan.Float64Compare(-inf, 1.0)); CHECK_EQ(true, wFloat64LessThan.Float64Compare(-inf, inf)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(-inf, -inf)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(0.0, -inf)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(1.0, -inf)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(inf, -inf)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(-inf, -inf)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(-inf, 0.0)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(-inf, 1.0)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(-inf, inf)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(-inf, -inf)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(0.0, -inf)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(1.0, -inf)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(inf, -inf)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(-inf, -inf)); // Check basic values. CHECK_EQ(true, wFloat64Equal.Float64Compare(0, 0)); CHECK_EQ(true, wFloat64Equal.Float64Compare(257.1, 257.1)); CHECK_EQ(true, wFloat64Equal.Float64Compare(65539.1, 65539.1)); CHECK_EQ(true, wFloat64Equal.Float64Compare(-1.1, -1.1)); CHECK_EQ(false, wFloat64Equal.Float64Compare(0, 1)); CHECK_EQ(false, wFloat64Equal.Float64Compare(257.2, 256.2)); CHECK_EQ(false, wFloat64Equal.Float64Compare(65539.2, 65537.2)); CHECK_EQ(false, wFloat64Equal.Float64Compare(-1.2, -2.2)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(0, 0)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(357.3, 357.3)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(75539.3, 75539.3)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(-1.3, -1.3)); CHECK_EQ(true, wFloat64LessThan.Float64Compare(0, 1)); CHECK_EQ(true, wFloat64LessThan.Float64Compare(456.4, 457.4)); CHECK_EQ(true, wFloat64LessThan.Float64Compare(85537.4, 85539.4)); CHECK_EQ(true, wFloat64LessThan.Float64Compare(-2.4, -1.4)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(1, 0)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(457.5, 456.5)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(85539.5, 85537.5)); CHECK_EQ(false, wFloat64LessThan.Float64Compare(-1.5, -2.5)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(0, 0)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(357.6, 357.6)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(75539.6, 75539.6)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(-1.6, -1.6)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(0, 1)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(456.7, 457.7)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(85537.7, 85539.7)); CHECK_EQ(true, wFloat64LessThanOrEqual.Float64Compare(-2.7, -1.7)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(1, 0)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(457.8, 456.8)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(85539.8, 85537.8)); CHECK_EQ(false, wFloat64LessThanOrEqual.Float64Compare(-1.8, -2.8)); } void Int32BinopInputShapeTester::TestAllInputShapes() { std::vector<int32_t> inputs = ValueHelper::int32_vector(); int num_int_inputs = static_cast<int>(inputs.size()); if (num_int_inputs > 16) num_int_inputs = 16; // limit to 16 inputs for (int i = -2; i < num_int_inputs; i++) { // for all left shapes for (int j = -2; j < num_int_inputs; j++) { // for all right shapes if (i >= 0 && j >= 0) break; // No constant/constant combos RawMachineAssemblerTester<int32_t> m(kMachInt32, kMachInt32); Node* p0 = m.Parameter(0); Node* p1 = m.Parameter(1); Node* n0; Node* n1; // left = Parameter | Load | Constant if (i == -2) { n0 = p0; } else if (i == -1) { n0 = m.LoadFromPointer(&input_a, kMachInt32); } else { n0 = m.Int32Constant(inputs[i]); } // right = Parameter | Load | Constant if (j == -2) { n1 = p1; } else if (j == -1) { n1 = m.LoadFromPointer(&input_b, kMachInt32); } else { n1 = m.Int32Constant(inputs[j]); } gen->gen(&m, n0, n1); if (false) printf("Int32BinopInputShapeTester i=%d, j=%d\n", i, j); if (i >= 0) { input_a = inputs[i]; RunRight(&m); } else if (j >= 0) { input_b = inputs[j]; RunLeft(&m); } else { Run(&m); } } } } void Int32BinopInputShapeTester::Run(RawMachineAssemblerTester<int32_t>* m) { FOR_INT32_INPUTS(pl) { FOR_INT32_INPUTS(pr) { input_a = *pl; input_b = *pr; int32_t expect = gen->expected(input_a, input_b); if (false) printf(" cmp(a=%d, b=%d) ?== %d\n", input_a, input_b, expect); CHECK_EQ(expect, m->Call(input_a, input_b)); } } } void Int32BinopInputShapeTester::RunLeft( RawMachineAssemblerTester<int32_t>* m) { FOR_UINT32_INPUTS(i) { input_a = *i; int32_t expect = gen->expected(input_a, input_b); if (false) printf(" cmp(a=%d, b=%d) ?== %d\n", input_a, input_b, expect); CHECK_EQ(expect, m->Call(input_a, input_b)); } } void Int32BinopInputShapeTester::RunRight( RawMachineAssemblerTester<int32_t>* m) { FOR_UINT32_INPUTS(i) { input_b = *i; int32_t expect = gen->expected(input_a, input_b); if (false) printf(" cmp(a=%d, b=%d) ?== %d\n", input_a, input_b, expect); CHECK_EQ(expect, m->Call(input_a, input_b)); } } TEST(ParametersEqual) { RawMachineAssemblerTester<int32_t> m(kMachInt32, kMachInt32); Node* p1 = m.Parameter(1); CHECK(p1); Node* p0 = m.Parameter(0); CHECK(p0); CHECK_EQ(p0, m.Parameter(0)); CHECK_EQ(p1, m.Parameter(1)); } void RunSmiConstant(int32_t v) { // TODO(dcarney): on x64 Smis are generated with the SmiConstantRegister #if !V8_TARGET_ARCH_X64 if (Smi::IsValid(v)) { RawMachineAssemblerTester<Object*> m; m.Return(m.NumberConstant(v)); CHECK_EQ(Smi::FromInt(v), m.Call()); } #endif } void RunNumberConstant(double v) { RawMachineAssemblerTester<Object*> m; #if V8_TARGET_ARCH_X64 // TODO(dcarney): on x64 Smis are generated with the SmiConstantRegister Handle<Object> number = m.isolate()->factory()->NewNumber(v); if (number->IsSmi()) return; #endif m.Return(m.NumberConstant(v)); Object* result = m.Call(); m.CheckNumber(v, result); } TEST(RunEmpty) { RawMachineAssemblerTester<int32_t> m; m.Return(m.Int32Constant(0)); CHECK_EQ(0, m.Call()); } TEST(RunInt32Constants) { FOR_INT32_INPUTS(i) { RawMachineAssemblerTester<int32_t> m; m.Return(m.Int32Constant(*i)); CHECK_EQ(*i, m.Call()); } } TEST(RunSmiConstants) { for (int32_t i = 1; i < Smi::kMaxValue && i != 0; i = i << 1) { RunSmiConstant(i); RunSmiConstant(3 * i); RunSmiConstant(5 * i); RunSmiConstant(-i); RunSmiConstant(i | 1); RunSmiConstant(i | 3); } RunSmiConstant(Smi::kMaxValue); RunSmiConstant(Smi::kMaxValue - 1); RunSmiConstant(Smi::kMinValue); RunSmiConstant(Smi::kMinValue + 1); FOR_INT32_INPUTS(i) { RunSmiConstant(*i); } } TEST(RunNumberConstants) { { FOR_FLOAT64_INPUTS(i) { RunNumberConstant(*i); } } { FOR_INT32_INPUTS(i) { RunNumberConstant(*i); } } for (int32_t i = 1; i < Smi::kMaxValue && i != 0; i = i << 1) { RunNumberConstant(i); RunNumberConstant(-i); RunNumberConstant(i | 1); RunNumberConstant(i | 3); } RunNumberConstant(Smi::kMaxValue); RunNumberConstant(Smi::kMaxValue - 1); RunNumberConstant(Smi::kMinValue); RunNumberConstant(Smi::kMinValue + 1); } TEST(RunEmptyString) { RawMachineAssemblerTester<Object*> m; m.Return(m.StringConstant("empty")); m.CheckString("empty", m.Call()); } TEST(RunHeapConstant) { RawMachineAssemblerTester<Object*> m; m.Return(m.StringConstant("empty")); m.CheckString("empty", m.Call()); } TEST(RunHeapNumberConstant) { RawMachineAssemblerTester<HeapObject*> m; Handle<HeapObject> number = m.isolate()->factory()->NewHeapNumber(100.5); m.Return(m.HeapConstant(number)); HeapObject* result = m.Call(); CHECK_EQ(result, *number); } TEST(RunParam1) { RawMachineAssemblerTester<int32_t> m(kMachInt32); m.Return(m.Parameter(0)); FOR_INT32_INPUTS(i) { int32_t result = m.Call(*i); CHECK_EQ(*i, result); } } TEST(RunParam2_1) { RawMachineAssemblerTester<int32_t> m(kMachInt32, kMachInt32); Node* p0 = m.Parameter(0); Node* p1 = m.Parameter(1); m.Return(p0); USE(p1); FOR_INT32_INPUTS(i) { int32_t result = m.Call(*i, -9999); CHECK_EQ(*i, result); } } TEST(RunParam2_2) { RawMachineAssemblerTester<int32_t> m(kMachInt32, kMachInt32); Node* p0 = m.Parameter(0); Node* p1 = m.Parameter(1); m.Return(p1); USE(p0); FOR_INT32_INPUTS(i) { int32_t result = m.Call(-7777, *i); CHECK_EQ(*i, result); } } TEST(RunParam3) { for (int i = 0; i < 3; i++) { RawMachineAssemblerTester<int32_t> m(kMachInt32, kMachInt32, kMachInt32); Node* nodes[] = {m.Parameter(0), m.Parameter(1), m.Parameter(2)}; m.Return(nodes[i]); int p[] = {-99, -77, -88}; FOR_INT32_INPUTS(j) { p[i] = *j; int32_t result = m.Call(p[0], p[1], p[2]); CHECK_EQ(*j, result); } } } TEST(RunBinopTester) { { RawMachineAssemblerTester<int32_t> m; Int32BinopTester bt(&m); bt.AddReturn(bt.param0); FOR_INT32_INPUTS(i) { CHECK_EQ(*i, bt.call(*i, 777)); } } { RawMachineAssemblerTester<int32_t> m; Int32BinopTester bt(&m); bt.AddReturn(bt.param1); FOR_INT32_INPUTS(i) { CHECK_EQ(*i, bt.call(666, *i)); } } { RawMachineAssemblerTester<int32_t> m; Float64BinopTester bt(&m); bt.AddReturn(bt.param0); FOR_FLOAT64_INPUTS(i) { CheckDoubleEq(*i, bt.call(*i, 9.0)); } } { RawMachineAssemblerTester<int32_t> m; Float64BinopTester bt(&m); bt.AddReturn(bt.param1); FOR_FLOAT64_INPUTS(i) { CheckDoubleEq(*i, bt.call(-11.25, *i)); } } }