| Index: test/cctest/compiler/test-code-assembler.cc
|
| diff --git a/test/cctest/compiler/test-code-assembler.cc b/test/cctest/compiler/test-code-assembler.cc
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..260ee534627aed4ade486d32d461993ad8382867
|
| --- /dev/null
|
| +++ b/test/cctest/compiler/test-code-assembler.cc
|
| @@ -0,0 +1,353 @@
|
| +// Copyright 2015 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 "src/compiler/code-assembler.h"
|
| +#include "src/isolate.h"
|
| +#include "test/cctest/compiler/code-assembler-tester.h"
|
| +#include "test/cctest/compiler/function-tester.h"
|
| +
|
| +namespace v8 {
|
| +namespace internal {
|
| +namespace compiler {
|
| +
|
| +typedef CodeAssemblerTesterImpl<CodeAssembler> CodeAssemblerTester;
|
| +
|
| +namespace {
|
| +
|
| +Node* SmiTag(CodeAssemblerTester& m, Node* value) {
|
| + int32_t constant_value;
|
| + if (m.ToInt32Constant(value, constant_value) &&
|
| + Smi::IsValid(constant_value)) {
|
| + return m.SmiConstant(Smi::FromInt(constant_value));
|
| + }
|
| + return m.WordShl(value, m.SmiShiftBitsConstant());
|
| +}
|
| +
|
| +Node* UndefinedConstant(CodeAssemblerTester& m) {
|
| + return m.LoadRoot(Heap::kUndefinedValueRootIndex);
|
| +}
|
| +
|
| +Node* LoadObjectField(CodeAssemblerTester& m, Node* object, int offset,
|
| + MachineType rep = MachineType::AnyTagged()) {
|
| + return m.Load(rep, object, m.IntPtrConstant(offset - kHeapObjectTag));
|
| +}
|
| +
|
| +} // namespace
|
| +
|
| +TEST(SimpleSmiReturn) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + m.Return(SmiTag(m, m.Int32Constant(37)));
|
| + Handle<Code> code = m.GenerateCode();
|
| + FunctionTester ft(descriptor, code);
|
| + MaybeHandle<Object> result = ft.Call();
|
| + CHECK_EQ(37, Handle<Smi>::cast(result.ToHandleChecked())->value());
|
| +}
|
| +
|
| +TEST(SimpleIntPtrReturn) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + int test;
|
| + m.Return(m.IntPtrConstant(reinterpret_cast<intptr_t>(&test)));
|
| + Handle<Code> code = m.GenerateCode();
|
| + FunctionTester ft(descriptor, code);
|
| + MaybeHandle<Object> result = ft.Call();
|
| + CHECK_EQ(reinterpret_cast<intptr_t>(&test),
|
| + reinterpret_cast<intptr_t>(*result.ToHandleChecked()));
|
| +}
|
| +
|
| +TEST(SimpleDoubleReturn) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + m.Return(m.NumberConstant(0.5));
|
| + Handle<Code> code = m.GenerateCode();
|
| + FunctionTester ft(descriptor, code);
|
| + MaybeHandle<Object> result = ft.Call();
|
| + CHECK_EQ(0.5, Handle<HeapNumber>::cast(result.ToHandleChecked())->value());
|
| +}
|
| +
|
| +TEST(SimpleCallRuntime1Arg) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + Node* context = m.HeapConstant(Handle<Context>(isolate->native_context()));
|
| + Node* b = SmiTag(m, m.Int32Constant(0));
|
| + m.Return(m.CallRuntime(Runtime::kNumberToSmi, context, b));
|
| + Handle<Code> code = m.GenerateCode();
|
| + FunctionTester ft(descriptor, code);
|
| + MaybeHandle<Object> result = ft.Call();
|
| + CHECK_EQ(0, Handle<Smi>::cast(result.ToHandleChecked())->value());
|
| +}
|
| +
|
| +TEST(SimpleTailCallRuntime1Arg) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + Node* context = m.HeapConstant(Handle<Context>(isolate->native_context()));
|
| + Node* b = SmiTag(m, m.Int32Constant(0));
|
| + m.TailCallRuntime(Runtime::kNumberToSmi, context, b);
|
| + Handle<Code> code = m.GenerateCode();
|
| + FunctionTester ft(descriptor, code);
|
| + MaybeHandle<Object> result = ft.Call();
|
| + CHECK_EQ(0, Handle<Smi>::cast(result.ToHandleChecked())->value());
|
| +}
|
| +
|
| +TEST(SimpleCallRuntime2Arg) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + Node* context = m.HeapConstant(Handle<Context>(isolate->native_context()));
|
| + Node* a = SmiTag(m, m.Int32Constant(2));
|
| + Node* b = SmiTag(m, m.Int32Constant(4));
|
| + m.Return(m.CallRuntime(Runtime::kMathPow, context, a, b));
|
| + Handle<Code> code = m.GenerateCode();
|
| + FunctionTester ft(descriptor, code);
|
| + MaybeHandle<Object> result = ft.Call();
|
| + CHECK_EQ(16, Handle<Smi>::cast(result.ToHandleChecked())->value());
|
| +}
|
| +
|
| +TEST(SimpleTailCallRuntime2Arg) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + Node* context = m.HeapConstant(Handle<Context>(isolate->native_context()));
|
| + Node* a = SmiTag(m, m.Int32Constant(2));
|
| + Node* b = SmiTag(m, m.Int32Constant(4));
|
| + m.TailCallRuntime(Runtime::kMathPow, context, a, b);
|
| + Handle<Code> code = m.GenerateCode();
|
| + FunctionTester ft(descriptor, code);
|
| + MaybeHandle<Object> result = ft.Call();
|
| + CHECK_EQ(16, Handle<Smi>::cast(result.ToHandleChecked())->value());
|
| +}
|
| +
|
| +TEST(VariableMerge1) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + CodeStubAssembler::Variable var1(&m, MachineRepresentation::kTagged);
|
| + CodeStubAssembler::Label l1(&m), l2(&m), merge(&m);
|
| + Node* temp = m.Int32Constant(0);
|
| + var1.Bind(temp);
|
| + m.Branch(m.Int32Constant(1), &l1, &l2);
|
| + m.Bind(&l1);
|
| + CHECK_EQ(var1.value(), temp);
|
| + m.Goto(&merge);
|
| + m.Bind(&l2);
|
| + CHECK_EQ(var1.value(), temp);
|
| + m.Goto(&merge);
|
| + m.Bind(&merge);
|
| + CHECK_EQ(var1.value(), temp);
|
| +}
|
| +
|
| +TEST(VariableMerge2) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + CodeStubAssembler::Variable var1(&m, MachineRepresentation::kTagged);
|
| + CodeStubAssembler::Label l1(&m), l2(&m), merge(&m);
|
| + Node* temp = m.Int32Constant(0);
|
| + var1.Bind(temp);
|
| + m.Branch(m.Int32Constant(1), &l1, &l2);
|
| + m.Bind(&l1);
|
| + CHECK_EQ(var1.value(), temp);
|
| + m.Goto(&merge);
|
| + m.Bind(&l2);
|
| + Node* temp2 = m.Int32Constant(2);
|
| + var1.Bind(temp2);
|
| + CHECK_EQ(var1.value(), temp2);
|
| + m.Goto(&merge);
|
| + m.Bind(&merge);
|
| + CHECK_NE(var1.value(), temp);
|
| +}
|
| +
|
| +TEST(VariableMerge3) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + CodeStubAssembler::Variable var1(&m, MachineRepresentation::kTagged);
|
| + CodeStubAssembler::Variable var2(&m, MachineRepresentation::kTagged);
|
| + CodeStubAssembler::Label l1(&m), l2(&m), merge(&m);
|
| + Node* temp = m.Int32Constant(0);
|
| + var1.Bind(temp);
|
| + var2.Bind(temp);
|
| + m.Branch(m.Int32Constant(1), &l1, &l2);
|
| + m.Bind(&l1);
|
| + CHECK_EQ(var1.value(), temp);
|
| + m.Goto(&merge);
|
| + m.Bind(&l2);
|
| + Node* temp2 = m.Int32Constant(2);
|
| + var1.Bind(temp2);
|
| + CHECK_EQ(var1.value(), temp2);
|
| + m.Goto(&merge);
|
| + m.Bind(&merge);
|
| + CHECK_NE(var1.value(), temp);
|
| + CHECK_NE(var1.value(), temp2);
|
| + CHECK_EQ(var2.value(), temp);
|
| +}
|
| +
|
| +TEST(VariableMergeBindFirst) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + CodeStubAssembler::Variable var1(&m, MachineRepresentation::kTagged);
|
| + CodeStubAssembler::Label l1(&m), l2(&m), merge(&m, &var1), end(&m);
|
| + Node* temp = m.Int32Constant(0);
|
| + var1.Bind(temp);
|
| + m.Branch(m.Int32Constant(1), &l1, &l2);
|
| + m.Bind(&l1);
|
| + CHECK_EQ(var1.value(), temp);
|
| + m.Goto(&merge);
|
| + m.Bind(&merge);
|
| + CHECK(var1.value() != temp);
|
| + CHECK(var1.value() != nullptr);
|
| + m.Goto(&end);
|
| + m.Bind(&l2);
|
| + Node* temp2 = m.Int32Constant(2);
|
| + var1.Bind(temp2);
|
| + CHECK_EQ(var1.value(), temp2);
|
| + m.Goto(&merge);
|
| + m.Bind(&end);
|
| + CHECK(var1.value() != temp);
|
| + CHECK(var1.value() != nullptr);
|
| +}
|
| +
|
| +TEST(VariableMergeSwitch) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + CodeStubAssembler::Variable var1(&m, MachineRepresentation::kTagged);
|
| + CodeStubAssembler::Label l1(&m), l2(&m), default_label(&m);
|
| + CodeStubAssembler::Label* labels[] = {&l1, &l2};
|
| + int32_t values[] = {1, 2};
|
| + Node* temp = m.Int32Constant(0);
|
| + var1.Bind(temp);
|
| + m.Switch(m.Int32Constant(2), &default_label, values, labels, 2);
|
| + m.Bind(&l1);
|
| + DCHECK_EQ(temp, var1.value());
|
| + m.Return(temp);
|
| + m.Bind(&l2);
|
| + DCHECK_EQ(temp, var1.value());
|
| + m.Return(temp);
|
| + m.Bind(&default_label);
|
| + DCHECK_EQ(temp, var1.value());
|
| + m.Return(temp);
|
| +}
|
| +
|
| +TEST(SplitEdgeBranchMerge) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + CodeStubAssembler::Label l1(&m), merge(&m);
|
| + m.Branch(m.Int32Constant(1), &l1, &merge);
|
| + m.Bind(&l1);
|
| + m.Goto(&merge);
|
| + m.Bind(&merge);
|
| + USE(m.GenerateCode());
|
| +}
|
| +
|
| +TEST(SplitEdgeSwitchMerge) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + CodeStubAssembler::Label l1(&m), l2(&m), l3(&m), default_label(&m);
|
| + CodeStubAssembler::Label* labels[] = {&l1, &l2};
|
| + int32_t values[] = {1, 2};
|
| + m.Branch(m.Int32Constant(1), &l3, &l1);
|
| + m.Bind(&l3);
|
| + m.Switch(m.Int32Constant(2), &default_label, values, labels, 2);
|
| + m.Bind(&l1);
|
| + m.Goto(&l2);
|
| + m.Bind(&l2);
|
| + m.Goto(&default_label);
|
| + m.Bind(&default_label);
|
| + USE(m.GenerateCode());
|
| +}
|
| +
|
| +TEST(TestToConstant) {
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + int32_t value32;
|
| + int64_t value64;
|
| + Node* a = m.Int32Constant(5);
|
| + CHECK(m.ToInt32Constant(a, value32));
|
| + CHECK(m.ToInt64Constant(a, value64));
|
| +
|
| + a = m.Int64Constant(static_cast<int64_t>(1) << 32);
|
| + CHECK(!m.ToInt32Constant(a, value32));
|
| + CHECK(m.ToInt64Constant(a, value64));
|
| +
|
| + a = m.Int64Constant(13);
|
| + CHECK(m.ToInt32Constant(a, value32));
|
| + CHECK(m.ToInt64Constant(a, value64));
|
| +
|
| + a = UndefinedConstant(m);
|
| + CHECK(!m.ToInt32Constant(a, value32));
|
| + CHECK(!m.ToInt64Constant(a, value64));
|
| +
|
| + a = UndefinedConstant(m);
|
| + CHECK(!m.ToInt32Constant(a, value32));
|
| + CHECK(!m.ToInt64Constant(a, value64));
|
| +}
|
| +
|
| +TEST(DeferredCodePhiHints) {
|
| + typedef compiler::Node Node;
|
| + typedef CodeStubAssembler::Label Label;
|
| + typedef CodeStubAssembler::Variable Variable;
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + Label block1(&m, Label::kDeferred);
|
| + m.Goto(&block1);
|
| + m.Bind(&block1);
|
| + {
|
| + Variable var_object(&m, MachineRepresentation::kTagged);
|
| + Label loop(&m, &var_object);
|
| + var_object.Bind(m.IntPtrConstant(0));
|
| + m.Goto(&loop);
|
| + m.Bind(&loop);
|
| + {
|
| + Node* map = LoadObjectField(m, var_object.value(), JSObject::kMapOffset);
|
| + var_object.Bind(map);
|
| + m.Goto(&loop);
|
| + }
|
| + }
|
| + CHECK(!m.GenerateCode().is_null());
|
| +}
|
| +
|
| +TEST(TestOutOfScopeVariable) {
|
| + typedef CodeStubAssembler::Label Label;
|
| + typedef CodeStubAssembler::Variable Variable;
|
| + Isolate* isolate(CcTest::InitIsolateOnce());
|
| + VoidDescriptor descriptor(isolate);
|
| + CodeAssemblerTester m(isolate, descriptor);
|
| + Label block1(&m);
|
| + Label block2(&m);
|
| + Label block3(&m);
|
| + Label block4(&m);
|
| + m.Branch(m.WordEqual(m.Parameter(0), m.IntPtrConstant(0)), &block1, &block4);
|
| + m.Bind(&block4);
|
| + {
|
| + Variable var_object(&m, MachineRepresentation::kTagged);
|
| + m.Branch(m.WordEqual(m.Parameter(0), m.IntPtrConstant(0)), &block2,
|
| + &block3);
|
| +
|
| + m.Bind(&block2);
|
| + var_object.Bind(m.IntPtrConstant(55));
|
| + m.Goto(&block1);
|
| +
|
| + m.Bind(&block3);
|
| + var_object.Bind(m.IntPtrConstant(66));
|
| + m.Goto(&block1);
|
| + }
|
| + m.Bind(&block1);
|
| + CHECK(!m.GenerateCode().is_null());
|
| +}
|
| +
|
| +} // namespace compiler
|
| +} // namespace internal
|
| +} // namespace v8
|
|
|