Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(35)

Side by Side Diff: test/unittests/compiler/select-lowering-unittest.cc

Issue 717473002: [turbofan] Fix select lowering. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Added TODO. REBASE Created 6 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « src/compiler/select-lowering.cc ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2014 the V8 project authors. All rights reserved. 1 // Copyright 2014 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #include "src/compiler/select-lowering.h" 5 #include "src/compiler/select-lowering.h"
6 #include "test/unittests/compiler/graph-unittest.h" 6 #include "test/unittests/compiler/graph-unittest.h"
7 #include "test/unittests/compiler/node-test-utils.h" 7 #include "test/unittests/compiler/node-test-utils.h"
8 #include "testing/gmock-support.h" 8 #include "testing/gmock-support.h"
9 9
10 using testing::AllOf; 10 using testing::AllOf;
11 using testing::Capture; 11 using testing::Capture;
12 using testing::CaptureEq; 12 using testing::CaptureEq;
13 using testing::Not;
13 14
14 namespace v8 { 15 namespace v8 {
15 namespace internal { 16 namespace internal {
16 namespace compiler { 17 namespace compiler {
17 18
18 class SelectLoweringTest : public GraphTest { 19 class SelectLoweringTest : public GraphTest {
19 public: 20 public:
20 SelectLoweringTest() : GraphTest(5), lowering_(graph(), common()) {} 21 SelectLoweringTest() : GraphTest(5), lowering_(graph(), common()) {}
21 22
22 protected: 23 protected:
23 Reduction Reduce(Node* node) { return lowering_.Reduce(node); } 24 Reduction Reduce(Node* node) { return lowering_.Reduce(node); }
24 25
25 private: 26 private:
26 SelectLowering lowering_; 27 SelectLowering lowering_;
27 }; 28 };
28 29
29 30
30 TEST_F(SelectLoweringTest, SelectWithSameConditions) { 31 TEST_F(SelectLoweringTest, SelectWithSameConditions) {
31 Node* const p0 = Parameter(0); 32 Node* const p0 = Parameter(0);
32 Node* const p1 = Parameter(1); 33 Node* const p1 = Parameter(1);
33 Node* const p2 = Parameter(2); 34 Node* const p2 = Parameter(2);
34 Node* const p3 = Parameter(3); 35 Node* const p3 = Parameter(3);
35 Node* const p4 = Parameter(4); 36 Node* const p4 = Parameter(4);
37 Node* const s0 = graph()->NewNode(common()->Select(kMachInt32), p0, p1, p2);
36 38
37 Capture<Node*> branch; 39 Capture<Node*> branch;
38 Capture<Node*> merge; 40 Capture<Node*> merge;
39 { 41 {
40 Reduction const r = 42 Reduction const r = Reduce(s0);
41 Reduce(graph()->NewNode(common()->Select(kMachInt32), p0, p1, p2));
42 ASSERT_TRUE(r.Changed()); 43 ASSERT_TRUE(r.Changed());
43 EXPECT_THAT( 44 EXPECT_THAT(
44 r.replacement(), 45 r.replacement(),
45 IsPhi( 46 IsPhi(
46 kMachInt32, p1, p2, 47 kMachInt32, p1, p2,
47 AllOf(CaptureEq(&merge), 48 AllOf(CaptureEq(&merge),
48 IsMerge(IsIfTrue(CaptureEq(&branch)), 49 IsMerge(IsIfTrue(CaptureEq(&branch)),
49 IsIfFalse(AllOf(CaptureEq(&branch), 50 IsIfFalse(AllOf(CaptureEq(&branch),
50 IsBranch(p0, graph()->start()))))))); 51 IsBranch(p0, graph()->start())))))));
51 } 52 }
52 { 53 {
53 Reduction const r = 54 Reduction const r =
54 Reduce(graph()->NewNode(common()->Select(kMachInt32), p0, p3, p4)); 55 Reduce(graph()->NewNode(common()->Select(kMachInt32), p0, p3, p4));
55 ASSERT_TRUE(r.Changed()); 56 ASSERT_TRUE(r.Changed());
56 EXPECT_THAT(r.replacement(), IsPhi(kMachInt32, p3, p4, CaptureEq(&merge))); 57 EXPECT_THAT(r.replacement(), IsPhi(kMachInt32, p3, p4, CaptureEq(&merge)));
57 } 58 }
59 {
60 // We must not reuse the diamond if it is reachable from either else/then
61 // values of the Select, because the resulting graph can not be scheduled.
62 Reduction const r =
63 Reduce(graph()->NewNode(common()->Select(kMachInt32), p0, s0, p0));
64 ASSERT_TRUE(r.Changed());
65 EXPECT_THAT(r.replacement(),
66 IsPhi(kMachInt32, s0, p0, Not(CaptureEq(&merge))));
67 }
58 } 68 }
59 69
60 } // namespace compiler 70 } // namespace compiler
61 } // namespace internal 71 } // namespace internal
62 } // namespace v8 72 } // namespace v8
OLDNEW
« no previous file with comments | « src/compiler/select-lowering.cc ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698