OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 #include "vm/intermediate_language.h" | 5 #include "vm/intermediate_language.h" |
6 #include "vm/unit_test.h" | 6 #include "vm/unit_test.h" |
7 | 7 |
8 namespace dart { | 8 namespace dart { |
9 | 9 |
10 TEST_CASE(InstructionTests) { | 10 TEST_CASE(InstructionTests) { |
11 TargetEntryInstr* target_instr = | 11 TargetEntryInstr* target_instr = new TargetEntryInstr( |
12 new TargetEntryInstr(1, CatchClauseNode::kInvalidTryIndex); | 12 1, CatchClauseNode::kInvalidTryIndex, Thread::kNoDeoptId); |
13 EXPECT(target_instr->IsBlockEntry()); | 13 EXPECT(target_instr->IsBlockEntry()); |
14 EXPECT(!target_instr->IsDefinition()); | 14 EXPECT(!target_instr->IsDefinition()); |
15 CurrentContextInstr* context = new CurrentContextInstr(); | 15 CurrentContextInstr* context = new CurrentContextInstr(Thread::kNoDeoptId); |
16 EXPECT(context->IsDefinition()); | 16 EXPECT(context->IsDefinition()); |
17 EXPECT(!context->IsBlockEntry()); | 17 EXPECT(!context->IsBlockEntry()); |
18 } | 18 } |
19 | 19 |
20 | 20 |
21 TEST_CASE(OptimizationTests) { | 21 TEST_CASE(OptimizationTests) { |
22 JoinEntryInstr* join = | 22 JoinEntryInstr* join = new JoinEntryInstr( |
23 new JoinEntryInstr(1, CatchClauseNode::kInvalidTryIndex); | 23 1, CatchClauseNode::kInvalidTryIndex, Thread::kNoDeoptId); |
24 | 24 |
25 Definition* def1 = new PhiInstr(join, 0); | 25 Definition* def1 = new PhiInstr(join, 0); |
26 Definition* def2 = new PhiInstr(join, 0); | 26 Definition* def2 = new PhiInstr(join, 0); |
27 Value* use1a = new Value(def1); | 27 Value* use1a = new Value(def1); |
28 Value* use1b = new Value(def1); | 28 Value* use1b = new Value(def1); |
29 EXPECT(use1a->Equals(use1b)); | 29 EXPECT(use1a->Equals(use1b)); |
30 Value* use2 = new Value(def2); | 30 Value* use2 = new Value(def2); |
31 EXPECT(!use2->Equals(use1a)); | 31 EXPECT(!use2->Equals(use1a)); |
32 | 32 |
33 ConstantInstr* c1 = new ConstantInstr(Bool::True()); | 33 ConstantInstr* c1 = new ConstantInstr(Bool::True()); |
34 ConstantInstr* c2 = new ConstantInstr(Bool::True()); | 34 ConstantInstr* c2 = new ConstantInstr(Bool::True()); |
35 EXPECT(c1->Equals(c2)); | 35 EXPECT(c1->Equals(c2)); |
36 ConstantInstr* c3 = new ConstantInstr(Object::ZoneHandle()); | 36 ConstantInstr* c3 = new ConstantInstr(Object::ZoneHandle()); |
37 ConstantInstr* c4 = new ConstantInstr(Object::ZoneHandle()); | 37 ConstantInstr* c4 = new ConstantInstr(Object::ZoneHandle()); |
38 EXPECT(c3->Equals(c4)); | 38 EXPECT(c3->Equals(c4)); |
39 EXPECT(!c3->Equals(c1)); | 39 EXPECT(!c3->Equals(c1)); |
40 } | 40 } |
41 | 41 |
42 | 42 |
43 } // namespace dart | 43 } // namespace dart |
OLD | NEW |