| Index: test/cctest/compiler/test-changes-lowering.cc
|
| diff --git a/test/cctest/compiler/test-changes-lowering.cc b/test/cctest/compiler/test-changes-lowering.cc
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..6a39cb03d6e4864777d8d3a138d62eb3de2eb403
|
| --- /dev/null
|
| +++ b/test/cctest/compiler/test-changes-lowering.cc
|
| @@ -0,0 +1,183 @@
|
| +// 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 <limits>
|
| +
|
| +#include "src/ast/scopes.h"
|
| +#include "src/compiler/change-lowering.h"
|
| +#include "src/compiler/control-builders.h"
|
| +#include "src/compiler/js-graph.h"
|
| +#include "src/compiler/node-properties.h"
|
| +#include "src/compiler/pipeline.h"
|
| +#include "src/compiler/select-lowering.h"
|
| +#include "src/compiler/simplified-lowering.h"
|
| +#include "src/compiler/typer.h"
|
| +#include "src/compiler/verifier.h"
|
| +#include "src/execution.h"
|
| +#include "src/globals.h"
|
| +#include "src/parsing/parser.h"
|
| +#include "src/parsing/rewriter.h"
|
| +#include "test/cctest/cctest.h"
|
| +#include "test/cctest/compiler/codegen-tester.h"
|
| +#include "test/cctest/compiler/function-tester.h"
|
| +#include "test/cctest/compiler/graph-builder-tester.h"
|
| +#include "test/cctest/compiler/value-helper.h"
|
| +
|
| +namespace v8 {
|
| +namespace internal {
|
| +namespace compiler {
|
| +
|
| +template <typename ReturnType>
|
| +class ChangesLoweringTester : public GraphBuilderTester<ReturnType> {
|
| + public:
|
| + explicit ChangesLoweringTester(MachineType p0 = MachineType::None())
|
| + : GraphBuilderTester<ReturnType>(p0),
|
| + javascript(this->zone()),
|
| + jsgraph(this->isolate(), this->graph(), this->common(), &javascript,
|
| + nullptr, this->machine()),
|
| + function(Handle<JSFunction>::null()) {}
|
| +
|
| + JSOperatorBuilder javascript;
|
| + JSGraph jsgraph;
|
| + Handle<JSFunction> function;
|
| +
|
| + Node* start() { return this->graph()->start(); }
|
| +
|
| + template <typename T>
|
| + T* CallWithPotentialGC() {
|
| + // TODO(titzer): we wrap the code in a JSFunction here to reuse the
|
| + // JSEntryStub; that could be done with a special prologue or other stub.
|
| + if (function.is_null()) {
|
| + function = FunctionTester::ForMachineGraph(this->graph());
|
| + }
|
| + Handle<Object>* args = NULL;
|
| + MaybeHandle<Object> result =
|
| + Execution::Call(this->isolate(), function, factory()->undefined_value(),
|
| + 0, args, false);
|
| + return T::cast(*result.ToHandleChecked());
|
| + }
|
| +
|
| + void StoreFloat64(Node* node, double* ptr) {
|
| + Node* ptr_node = this->PointerConstant(ptr);
|
| + this->Store(MachineType::Float64(), ptr_node, node);
|
| + }
|
| +
|
| + Node* LoadInt32(int32_t* ptr) {
|
| + Node* ptr_node = this->PointerConstant(ptr);
|
| + return this->Load(MachineType::Int32(), ptr_node);
|
| + }
|
| +
|
| + Node* LoadUint32(uint32_t* ptr) {
|
| + Node* ptr_node = this->PointerConstant(ptr);
|
| + return this->Load(MachineType::Uint32(), ptr_node);
|
| + }
|
| +
|
| + Node* LoadFloat64(double* ptr) {
|
| + Node* ptr_node = this->PointerConstant(ptr);
|
| + return this->Load(MachineType::Float64(), ptr_node);
|
| + }
|
| +
|
| + void CheckNumber(double expected, Object* number) {
|
| + CHECK(this->isolate()->factory()->NewNumber(expected)->SameValue(number));
|
| + }
|
| +
|
| + void BuildAndLower(const Operator* op) {
|
| + // We build a graph by hand here, because the raw machine assembler
|
| + // does not add the correct control and effect nodes.
|
| + Node* p0 = this->Parameter(0);
|
| + Node* change = this->graph()->NewNode(op, p0);
|
| + Node* ret = this->graph()->NewNode(this->common()->Return(), change,
|
| + this->start(), this->start());
|
| + Node* end = this->graph()->NewNode(this->common()->End(1), ret);
|
| + this->graph()->SetEnd(end);
|
| + LowerChange(change);
|
| + }
|
| +
|
| + void BuildStoreAndLower(const Operator* op, const Operator* store_op,
|
| + void* location) {
|
| + // We build a graph by hand here, because the raw machine assembler
|
| + // does not add the correct control and effect nodes.
|
| + Node* p0 = this->Parameter(0);
|
| + Node* change = this->graph()->NewNode(op, p0);
|
| + Node* store = this->graph()->NewNode(
|
| + store_op, this->PointerConstant(location), this->Int32Constant(0),
|
| + change, this->start(), this->start());
|
| + Node* ret = this->graph()->NewNode(
|
| + this->common()->Return(), this->Int32Constant(0), store, this->start());
|
| + Node* end = this->graph()->NewNode(this->common()->End(1), ret);
|
| + this->graph()->SetEnd(end);
|
| + LowerChange(change);
|
| + }
|
| +
|
| + void BuildLoadAndLower(const Operator* op, const Operator* load_op,
|
| + void* location) {
|
| + // We build a graph by hand here, because the raw machine assembler
|
| + // does not add the correct control and effect nodes.
|
| + Node* load = this->graph()->NewNode(
|
| + load_op, this->PointerConstant(location), this->Int32Constant(0),
|
| + this->start(), this->start());
|
| + Node* change = this->graph()->NewNode(op, load);
|
| + Node* ret = this->graph()->NewNode(this->common()->Return(), change,
|
| + this->start(), this->start());
|
| + Node* end = this->graph()->NewNode(this->common()->End(1), ret);
|
| + this->graph()->SetEnd(end);
|
| + LowerChange(change);
|
| + }
|
| +
|
| + void LowerChange(Node* change) {
|
| + // Run the graph reducer with changes lowering on a single node.
|
| + Typer typer(this->isolate(), this->graph());
|
| + typer.Run();
|
| + ChangeLowering change_lowering(&jsgraph);
|
| + SelectLowering select_lowering(this->graph(), this->common());
|
| + GraphReducer reducer(this->zone(), this->graph());
|
| + reducer.AddReducer(&change_lowering);
|
| + reducer.AddReducer(&select_lowering);
|
| + reducer.ReduceNode(change);
|
| + Verifier::Run(this->graph(), Verifier::UNTYPED);
|
| + }
|
| +
|
| + Factory* factory() { return this->isolate()->factory(); }
|
| + Heap* heap() { return this->isolate()->heap(); }
|
| +};
|
| +
|
| +
|
| +TEST(RunChangeBoolToBit) {
|
| + ChangesLoweringTester<int32_t> t(MachineType::AnyTagged());
|
| + t.BuildAndLower(t.simplified()->ChangeBoolToBit());
|
| +
|
| + {
|
| + Object* true_obj = t.heap()->true_value();
|
| + int32_t result = t.Call(true_obj);
|
| + CHECK_EQ(1, result);
|
| + }
|
| +
|
| + {
|
| + Object* false_obj = t.heap()->false_value();
|
| + int32_t result = t.Call(false_obj);
|
| + CHECK_EQ(0, result);
|
| + }
|
| +}
|
| +
|
| +
|
| +TEST(RunChangeBitToBool) {
|
| + ChangesLoweringTester<Object*> t(MachineType::Int32());
|
| + t.BuildAndLower(t.simplified()->ChangeBitToBool());
|
| +
|
| + {
|
| + Object* result = t.Call(1);
|
| + Object* true_obj = t.heap()->true_value();
|
| + CHECK_EQ(true_obj, result);
|
| + }
|
| +
|
| + {
|
| + Object* result = t.Call(0);
|
| + Object* false_obj = t.heap()->false_value();
|
| + CHECK_EQ(false_obj, result);
|
| + }
|
| +}
|
| +
|
| +} // namespace compiler
|
| +} // namespace internal
|
| +} // namespace v8
|
|
|