AuroraMiddleware/v8
1
0
Fork 0
Code Issues 2 Pull Requests Releases Wiki Activity
46db2f9b80
v8/test/unittests/compiler/graph-unittest.h

183 lines
8.6 KiB
C
Raw Normal View History

Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +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.
Move unit tests to test/unittests. As per discussion on the V8 team, this is the place we want them to live, not following the Chrome Style Guide for this. BUG=v8:3489 LOG=y R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/615393002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24350 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-01 08:34:25 +00:00
#ifndef V8_UNITTESTS_COMPILER_GRAPH_UNITTEST_H_
#define V8_UNITTESTS_COMPILER_GRAPH_UNITTEST_H_
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
[turbofan] Merge compiler unit tests into src. BUG=v8:3489 LOG=n R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/530693002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23551 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-01 10:26:12 +00:00
#include "src/compiler/common-operator.h"
Refactor ChangeLowering class to avoid template specialization. Also refactor the unit tests and add support to easily match DAGs using CaptureEq() matcher. TEST=compiler-unittests BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/480863002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23140 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-18 06:54:07 +00:00
#include "src/compiler/graph.h"
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
#include "src/compiler/machine-operator.h"
Move unit tests to test/unittests. As per discussion on the V8 team, this is the place we want them to live, not following the Chrome Style Guide for this. BUG=v8:3489 LOG=y R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/615393002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24350 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-01 08:34:25 +00:00
#include "test/unittests/test-utils.h"
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
#include "testing/gmock/include/gmock/gmock.h"
namespace v8 {
namespace internal {
// Forward declarations.
[turbofan] Fix lowering of typed loads/stores. Only JSLoadProperty/JSStoreProperty nodes with external typed arrays can be lowered to LoadElement/StoreElement, because lowering of non-external typed arrays would require a map check. TEST=cctest,unittests,mjsunit R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/631093003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24426 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-07 07:36:21 +00:00
template <class T>
class Handle;
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
class HeapObject;
template <class T>
Remove deprecated PrintableUnique. R=bmeurer@chromium.org Review URL: https://codereview.chromium.org/543743002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23697 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-04 13:45:05 +00:00
class Unique;
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
namespace compiler {
[turbofan] Fix lowering of typed loads/stores. Only JSLoadProperty/JSStoreProperty nodes with external typed arrays can be lowered to LoadElement/StoreElement, because lowering of non-external typed arrays would require a map check. TEST=cctest,unittests,mjsunit R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/631093003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24426 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-07 07:36:21 +00:00
// Forward declarations.
struct ElementAccess;
struct FieldAccess;
[turbofan] Initial import of SimplifiedOperatorReducer. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/479793004 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23289 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-22 04:47:55 +00:00
using ::testing::Matcher;
Refactor common unit test code. TEST=compiler-unittests BUG=v8:3489 LOG=n R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/540823002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23673 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-04 08:44:03 +00:00
class GraphTest : public TestWithContext, public TestWithZone {
Refactor ChangeLowering class to avoid template specialization. Also refactor the unit tests and add support to easily match DAGs using CaptureEq() matcher. TEST=compiler-unittests BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/480863002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23140 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-18 06:54:07 +00:00
public:
explicit GraphTest(int parameters = 1);
virtual ~GraphTest();
protected:
[turbofan] Initial import of SimplifiedOperatorReducer. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/479793004 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23289 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-22 04:47:55 +00:00
Node* Parameter(int32_t index);
[turbofan] Add operators for float32 support. This adds Float32Constant, ChangeFloat32ToFloat64 and TruncateFloat64ToFloat32 operators. TEST=compiler-unittests BUG=v8:3589 LOG=n R=titzer@chromium.org Review URL: https://codereview.chromium.org/594493002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24112 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-22 11:42:10 +00:00
Node* Float32Constant(volatile float value);
Node* Float64Constant(volatile double value);
[turbofan] Initial import of SimplifiedOperatorReducer. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/479793004 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23289 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-22 04:47:55 +00:00
Node* Int32Constant(int32_t value);
[turbofan] Eliminate redundant masking operations for word8/word16 stores. There's no need to apply 0xff when storing 8-bit values or 0xffff when storing 16-bit values. TEST=unittests R=titzer@chromium.org Review URL: https://codereview.chromium.org/642033002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24492 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-09 12:20:45 +00:00
Node* Uint32Constant(uint32_t value) {
return Int32Constant(bit_cast<int32_t>(value));
}
[turbofan] Add support for change/truncate to MachineOperatorReducer. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/470633006 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23293 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-22 07:54:09 +00:00
Node* Int64Constant(int64_t value);
[turbofan] Add operators for float32 support. This adds Float32Constant, ChangeFloat32ToFloat64 and TruncateFloat64ToFloat32 operators. TEST=compiler-unittests BUG=v8:3589 LOG=n R=titzer@chromium.org Review URL: https://codereview.chromium.org/594493002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24112 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-22 11:42:10 +00:00
Node* NumberConstant(volatile double value);
[turbofan] Fix lowering of typed loads/stores. Only JSLoadProperty/JSStoreProperty nodes with external typed arrays can be lowered to LoadElement/StoreElement, because lowering of non-external typed arrays would require a map check. TEST=cctest,unittests,mjsunit R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/631093003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24426 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-07 07:36:21 +00:00
Node* HeapConstant(const Handle<HeapObject>& value);
Remove deprecated PrintableUnique. R=bmeurer@chromium.org Review URL: https://codereview.chromium.org/543743002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23697 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-04 13:45:05 +00:00
Node* HeapConstant(const Unique<HeapObject>& value);
[turbofan] Initial import of SimplifiedOperatorReducer. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/479793004 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23289 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-22 04:47:55 +00:00
Node* FalseConstant();
Node* TrueConstant();
[turbofan] Fix lowering of typed loads/stores. Only JSLoadProperty/JSStoreProperty nodes with external typed arrays can be lowered to LoadElement/StoreElement, because lowering of non-external typed arrays would require a map check. TEST=cctest,unittests,mjsunit R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/631093003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24426 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-07 07:36:21 +00:00
Node* UndefinedConstant();
[turbofan] Initial import of SimplifiedOperatorReducer. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/479793004 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23289 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-22 04:47:55 +00:00
Matcher<Node*> IsFalseConstant();
Matcher<Node*> IsTrueConstant();
[turbofan] Merge compiler unit tests into src. BUG=v8:3489 LOG=n R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/530693002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23551 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-01 10:26:12 +00:00
CommonOperatorBuilder* common() { return &common_; }
Refactor ChangeLowering class to avoid template specialization. Also refactor the unit tests and add support to easily match DAGs using CaptureEq() matcher. TEST=compiler-unittests BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/480863002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23140 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-18 06:54:07 +00:00
Graph* graph() { return &graph_; }
private:
[turbofan] Merge compiler unit tests into src. BUG=v8:3489 LOG=n R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/530693002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23551 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-01 10:26:12 +00:00
CommonOperatorBuilder common_;
Refactor ChangeLowering class to avoid template specialization. Also refactor the unit tests and add support to easily match DAGs using CaptureEq() matcher. TEST=compiler-unittests BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/480863002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23140 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-18 06:54:07 +00:00
Graph graph_;
};
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
Matcher<Node*> IsBranch(const Matcher<Node*>& value_matcher,
const Matcher<Node*>& control_matcher);
Refactor ChangeLowering class to avoid template specialization. Also refactor the unit tests and add support to easily match DAGs using CaptureEq() matcher. TEST=compiler-unittests BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/480863002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23140 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-18 06:54:07 +00:00
Matcher<Node*> IsMerge(const Matcher<Node*>& control0_matcher,
const Matcher<Node*>& control1_matcher);
Matcher<Node*> IsIfTrue(const Matcher<Node*>& control_matcher);
Matcher<Node*> IsIfFalse(const Matcher<Node*>& control_matcher);
[turbofan] Support lowering of ChangeFloat64ToTagged/ChangeTaggedToInt32. Adds new ValueEffect operator to ensure proper scheduling of AllocateHeapNumber call nodes. Also includes some refactoring to reduce code duplication. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/481903002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23175 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-19 04:54:06 +00:00
Matcher<Node*> IsValueEffect(const Matcher<Node*>& value_matcher);
[turbofan] Add new ControlEffect and Finish operators. Fix the ChangeLowering to properly use ControlEffect nodes to turn the control output of IfTrue nodes into an effect input for the Load nodes, and to properly use Finish nodes to ensure that allocation and store were both performed prior to actually using the allocated heap number. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/479163002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23149 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-18 11:36:06 +00:00
Matcher<Node*> IsFinish(const Matcher<Node*>& value_matcher,
const Matcher<Node*>& effect_matcher);
Matcher<Node*> IsExternalConstant(
const Matcher<ExternalReference>& value_matcher);
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
Matcher<Node*> IsHeapConstant(
Remove deprecated PrintableUnique. R=bmeurer@chromium.org Review URL: https://codereview.chromium.org/543743002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23697 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-04 13:45:05 +00:00
const Matcher<Unique<HeapObject> >& value_matcher);
[turbofan] Add operators for float32 support. This adds Float32Constant, ChangeFloat32ToFloat64 and TruncateFloat64ToFloat32 operators. TEST=compiler-unittests BUG=v8:3589 LOG=n R=titzer@chromium.org Review URL: https://codereview.chromium.org/594493002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24112 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-22 11:42:10 +00:00
Matcher<Node*> IsFloat32Constant(const Matcher<float>& value_matcher);
[turbofan] Initial import of SimplifiedOperatorReducer. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/479793004 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23289 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-22 04:47:55 +00:00
Matcher<Node*> IsFloat64Constant(const Matcher<double>& value_matcher);
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
Matcher<Node*> IsInt32Constant(const Matcher<int32_t>& value_matcher);
[turbofan] Add support for change/truncate to MachineOperatorReducer. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/470633006 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23293 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-22 07:54:09 +00:00
Matcher<Node*> IsInt64Constant(const Matcher<int64_t>& value_matcher);
[turbofan] Add new ControlEffect and Finish operators. Fix the ChangeLowering to properly use ControlEffect nodes to turn the control output of IfTrue nodes into an effect input for the Load nodes, and to properly use Finish nodes to ensure that allocation and store were both performed prior to actually using the allocated heap number. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/479163002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23149 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-18 11:36:06 +00:00
Matcher<Node*> IsNumberConstant(const Matcher<double>& value_matcher);
[turbofan] Add MachineType to Phi. TEST=cctest,compiler-unittests,mjsunit R=mstarzinger@chromium.org, titzer@chromium.org Review URL: https://codereview.chromium.org/545153002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23728 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-05 11:44:31 +00:00
Matcher<Node*> IsPhi(const Matcher<MachineType>& type_matcher,
const Matcher<Node*>& value0_matcher,
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
const Matcher<Node*>& value1_matcher,
const Matcher<Node*>& merge_matcher);
[turbofan] Fix Projection operator parameter type. R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/549063002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23764 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-08 06:49:17 +00:00
Matcher<Node*> IsProjection(const Matcher<size_t>& index_matcher,
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
const Matcher<Node*>& base_matcher);
[turbofan] Add new ControlEffect and Finish operators. Fix the ChangeLowering to properly use ControlEffect nodes to turn the control output of IfTrue nodes into an effect input for the Load nodes, and to properly use Finish nodes to ensure that allocation and store were both performed prior to actually using the allocated heap number. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/479163002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23149 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-18 11:36:06 +00:00
Matcher<Node*> IsCall(const Matcher<CallDescriptor*>& descriptor_matcher,
const Matcher<Node*>& value0_matcher,
const Matcher<Node*>& value1_matcher,
const Matcher<Node*>& value2_matcher,
const Matcher<Node*>& value3_matcher,
const Matcher<Node*>& effect_matcher,
const Matcher<Node*>& control_matcher);
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
Move test for reduction of Math.max to unittest. R=bmeurer@chromium.org TEST=compiler-unittests/JSBuiltinReducerTest.MathMax Review URL: https://codereview.chromium.org/598523002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24147 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-23 11:40:00 +00:00
Matcher<Node*> IsNumberLessThan(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
Extend JSBuiltinReducer to cover Math.abs as well. R=titzer@chromium.org TEST=compiler-unittests/JSBuiltinReducerTest.MathAbs Review URL: https://codereview.chromium.org/605123004 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24255 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-26 14:06:56 +00:00
Matcher<Node*> IsNumberSubtract(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
[turbofan] Fix lowering of typed loads/stores. Only JSLoadProperty/JSStoreProperty nodes with external typed arrays can be lowered to LoadElement/StoreElement, because lowering of non-external typed arrays would require a map check. TEST=cctest,unittests,mjsunit R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/631093003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24426 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-07 07:36:21 +00:00
Matcher<Node*> IsLoadField(const Matcher<FieldAccess>& access_matcher,
const Matcher<Node*>& base_matcher,
const Matcher<Node*>& effect_matcher);
Matcher<Node*> IsLoadElement(const Matcher<ElementAccess>& access_matcher,
const Matcher<Node*>& base_matcher,
const Matcher<Node*>& index_matcher,
const Matcher<Node*>& length_matcher,
const Matcher<Node*>& effect_matcher,
const Matcher<Node*>& control_matcher);
Matcher<Node*> IsStoreElement(const Matcher<ElementAccess>& access_matcher,
const Matcher<Node*>& base_matcher,
const Matcher<Node*>& index_matcher,
const Matcher<Node*>& length_matcher,
const Matcher<Node*>& value_matcher,
const Matcher<Node*>& effect_matcher,
const Matcher<Node*>& control_matcher);
Move test for reduction of Math.max to unittest. R=bmeurer@chromium.org TEST=compiler-unittests/JSBuiltinReducerTest.MathMax Review URL: https://codereview.chromium.org/598523002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24147 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-23 11:40:00 +00:00
[turbofan] Machine operators are globally shared singletons. TEST=compiler-unittests,cctest R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/547233003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23864 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-11 10:37:49 +00:00
Matcher<Node*> IsLoad(const Matcher<LoadRepresentation>& rep_matcher,
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
const Matcher<Node*>& base_matcher,
const Matcher<Node*>& index_matcher,
[turbofan] Add control input to Load and LoadElements. Also remove the now obsolete ControlEffect operator. TEST=cctest,mjsunit,unittests R=mstarzinger@chromium.org Review URL: https://codereview.chromium.org/620803003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24359 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-01 11:08:37 +00:00
const Matcher<Node*>& effect_matcher,
const Matcher<Node*>& control_matcher);
[turbofan] Eliminate redundant masking operations for word8/word16 stores. There's no need to apply 0xff when storing 8-bit values or 0xffff when storing 16-bit values. TEST=unittests R=titzer@chromium.org Review URL: https://codereview.chromium.org/642033002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24492 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-09 12:20:45 +00:00
Matcher<Node*> IsStore(const Matcher<StoreRepresentation>& rep_matcher,
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
const Matcher<Node*>& base_matcher,
const Matcher<Node*>& index_matcher,
const Matcher<Node*>& value_matcher,
const Matcher<Node*>& effect_matcher,
const Matcher<Node*>& control_matcher);
Matcher<Node*> IsWord32And(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
Matcher<Node*> IsWord32Sar(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
[turbofan] Add support for ChangeUint32ToTagged in ChangeLowering. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/491433002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23215 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-20 04:01:36 +00:00
Matcher<Node*> IsWord32Shl(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
[turbofan] Optimize division/modulus by constant. TEST=cctest,mjsunit,unittests R=dcarney@chromium.org, svenpanne@chromium.org Review URL: https://codereview.chromium.org/654833002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24595 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-14 11:57:06 +00:00
Matcher<Node*> IsWord32Shr(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
[turbofan] Introduce WordRor machine operator. Move recognition of rotate-right operations to the MachineOperatorReducer, so we don't need to repeat that in the InstructionSelector for every backend. TEST=base-unittests,compiler-unittests,cctests R=jarin@chromium.org Review URL: https://codereview.chromium.org/469213002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23121 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-14 09:07:58 +00:00
Matcher<Node*> IsWord32Ror(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
Matcher<Node*> IsWord32Equal(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
Matcher<Node*> IsWord64And(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
Matcher<Node*> IsWord64Shl(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
Matcher<Node*> IsWord64Sar(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
Matcher<Node*> IsWord64Equal(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
Matcher<Node*> IsInt32AddWithOverflow(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
[turbofan] Optimize division/modulus by constant. TEST=cctest,mjsunit,unittests R=dcarney@chromium.org, svenpanne@chromium.org Review URL: https://codereview.chromium.org/654833002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24595 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-14 11:57:06 +00:00
Matcher<Node*> IsInt32Add(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
[turbofan] Optimize Int32Mod by power-of-two. TEST=mjsunit/asm/int32-tmod,unittests R=dcarney@chromium.org Review URL: https://codereview.chromium.org/649083005 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24554 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-13 11:09:32 +00:00
Matcher<Node*> IsInt32Sub(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
Move test for reduction of Math.imul to unittest. R=bmeurer@chromium.org TEST=compiler-unittests/JSBuiltinReducerTest.MathImul Review URL: https://codereview.chromium.org/591373003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24144 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-23 11:26:49 +00:00
Matcher<Node*> IsInt32Mul(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
[turbofan] Optimize division/modulus by constant. TEST=cctest,mjsunit,unittests R=dcarney@chromium.org, svenpanne@chromium.org Review URL: https://codereview.chromium.org/654833002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24595 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-14 11:57:06 +00:00
Matcher<Node*> IsInt32MulHigh(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
[turbofan] Optimize Int32Mod by power-of-two. TEST=mjsunit/asm/int32-tmod,unittests R=dcarney@chromium.org Review URL: https://codereview.chromium.org/649083005 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24554 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-13 11:09:32 +00:00
Matcher<Node*> IsInt32LessThan(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
[turbofan] Optimize Uint32LessThan with Word32Sar. TEST=unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/648663002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24520 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-10 10:23:04 +00:00
Matcher<Node*> IsUint32LessThan(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
[turbofan] Add support for ChangeUint32ToTagged in ChangeLowering. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/491433002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23215 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-20 04:01:36 +00:00
Matcher<Node*> IsUint32LessThanOrEqual(const Matcher<Node*>& lhs_matcher,
const Matcher<Node*>& rhs_matcher);
[turbofan] Support lowering of ChangeFloat64ToTagged/ChangeTaggedToInt32. Adds new ValueEffect operator to ensure proper scheduling of AllocateHeapNumber call nodes. Also includes some refactoring to reduce code duplication. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/481903002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23175 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-19 04:54:06 +00:00
Matcher<Node*> IsChangeFloat64ToInt32(const Matcher<Node*>& input_matcher);
Fix expectations of lowering tests. R=mstarzinger@chromium.org BUG= Review URL: https://codereview.chromium.org/513803002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23462 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-27 14:47:50 +00:00
Matcher<Node*> IsChangeFloat64ToUint32(const Matcher<Node*>& input_matcher);
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
Matcher<Node*> IsChangeInt32ToFloat64(const Matcher<Node*>& input_matcher);
[turbofan] Add proper conversion operators for int32<->int64. This affects arm64 and x64. Note that we do not yet optimize these conversions. Later we will add support for merging these conversion operators into other operations during instruction selection. TEST=cctest,compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/487723002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23184 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-19 08:48:41 +00:00
Matcher<Node*> IsChangeInt32ToInt64(const Matcher<Node*>& input_matcher);
[turbofan] Add support for ChangeUint32ToTagged in ChangeLowering. TEST=compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/491433002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23215 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-20 04:01:36 +00:00
Matcher<Node*> IsChangeUint32ToFloat64(const Matcher<Node*>& input_matcher);
[turbofan] Add proper conversion operators for int32<->int64. This affects arm64 and x64. Note that we do not yet optimize these conversions. Later we will add support for merging these conversion operators into other operations during instruction selection. TEST=cctest,compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/487723002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23184 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-19 08:48:41 +00:00
Matcher<Node*> IsChangeUint32ToUint64(const Matcher<Node*>& input_matcher);
Extend JSBuiltinReducer to cover Math.fround as well. R=bmeurer@chromium.org TEST=compiler-unittests/JSBuiltinReducerTest.MathFround Review URL: https://codereview.chromium.org/594183004 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24187 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-24 14:55:13 +00:00
Matcher<Node*> IsTruncateFloat64ToFloat32(const Matcher<Node*>& input_matcher);
[turbofan] Add TruncateFloat64ToInt32 machine operator. Fix ChangeLowering to use TruncateFloat64ToInt32. TEST=cctest,compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/484103002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23214 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-20 04:01:00 +00:00
Matcher<Node*> IsTruncateFloat64ToInt32(const Matcher<Node*>& input_matcher);
[turbofan] Add proper conversion operators for int32<->int64. This affects arm64 and x64. Note that we do not yet optimize these conversions. Later we will add support for merging these conversion operators into other operations during instruction selection. TEST=cctest,compiler-unittests R=jarin@chromium.org Review URL: https://codereview.chromium.org/487723002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23184 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-19 08:48:41 +00:00
Matcher<Node*> IsTruncateInt64ToInt32(const Matcher<Node*>& input_matcher);
Extend JSBuiltinReducer to cover Math.sqrt as well. R=bmeurer@chromium.org TEST=compiler-unittests/JSBuiltinReducerTest.MathSqrt Review URL: https://codereview.chromium.org/595963002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24177 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-09-24 10:24:19 +00:00
Matcher<Node*> IsFloat64Sqrt(const Matcher<Node*>& input_matcher);
Initial import of ChangeLowering. ChangeLowering is a Reducer to lower simplified change operators to machine subgraphs. This initial version supports ChangeBitToBool, ChangeBoolToBit, ChangeTaggedToFloat64 and ChangeInt32ToTagged. TEST=compiler-unittests/change-lowering-unittest BUG=v8:3489 LOG=n R=jarin@chromium.org Review URL: https://codereview.chromium.org/460593003 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23068 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-08-12 08:24:20 +00:00
} // namespace compiler
} // namespace internal
} // namespace v8
Move unit tests to test/unittests. As per discussion on the V8 team, this is the place we want them to live, not following the Chrome Style Guide for this. BUG=v8:3489 LOG=y R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/615393002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24350 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-10-01 08:34:25 +00:00
#endif // V8_UNITTESTS_COMPILER_GRAPH_UNITTEST_H_
Reference in New Issue Copy Permalink