| 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 = |
| 12 new TargetEntryInstr(CatchClauseNode::kInvalidTryIndex); | 12 new TargetEntryInstr(CatchClauseNode::kInvalidTryIndex); |
| 13 EXPECT(target_instr->IsBlockEntry()); | 13 EXPECT(target_instr->IsBlockEntry()); |
| 14 EXPECT(!target_instr->IsBind()); | 14 EXPECT(!target_instr->IsBind()); |
| 15 BindInstr* bind_instr = | 15 BindInstr* bind_instr = |
| 16 new BindInstr(BindInstr::kUnused, new CurrentContextComp()); | 16 new BindInstr(BindInstr::kUnused, new CurrentContextComp()); |
| 17 EXPECT(bind_instr->IsBind()); | 17 EXPECT(bind_instr->IsBind()); |
| 18 EXPECT(!bind_instr->IsBlockEntry()); | 18 EXPECT(!bind_instr->IsBlockEntry()); |
| 19 } | 19 } |
| 20 | 20 |
| 21 | 21 |
| 22 TEST_CASE(OptimizationTests) { | 22 TEST_CASE(OptimizationTests) { |
| 23 Definition* def1 = new PhiInstr(0); | 23 JoinEntryInstr* join = |
| 24 Definition* def2 = new PhiInstr(0); | 24 new JoinEntryInstr(CatchClauseNode::kInvalidTryIndex); |
| 25 |
| 26 Definition* def1 = new PhiInstr(join, 0); |
| 27 Definition* def2 = new PhiInstr(join, 0); |
| 25 Value* use1a = new Value(def1); | 28 Value* use1a = new Value(def1); |
| 26 Value* use1b = new Value(def1); | 29 Value* use1b = new Value(def1); |
| 27 EXPECT(use1a->Equals(use1b)); | 30 EXPECT(use1a->Equals(use1b)); |
| 28 Value* use2 = new Value(def2); | 31 Value* use2 = new Value(def2); |
| 29 EXPECT(!use2->Equals(use1a)); | 32 EXPECT(!use2->Equals(use1a)); |
| 30 | 33 |
| 31 ConstantComp* c1 = new ConstantComp(Bool::ZoneHandle(Bool::True())); | 34 ConstantComp* c1 = new ConstantComp(Bool::ZoneHandle(Bool::True())); |
| 32 ConstantComp* c2 = new ConstantComp(Bool::ZoneHandle(Bool::True())); | 35 ConstantComp* c2 = new ConstantComp(Bool::ZoneHandle(Bool::True())); |
| 33 EXPECT(c1->Equals(c2)); | 36 EXPECT(c1->Equals(c2)); |
| 34 ConstantComp* c3 = new ConstantComp(Object::ZoneHandle()); | 37 ConstantComp* c3 = new ConstantComp(Object::ZoneHandle()); |
| 35 ConstantComp* c4 = new ConstantComp(Object::ZoneHandle()); | 38 ConstantComp* c4 = new ConstantComp(Object::ZoneHandle()); |
| 36 EXPECT(c3->Equals(c4)); | 39 EXPECT(c3->Equals(c4)); |
| 37 EXPECT(!c3->Equals(c1)); | 40 EXPECT(!c3->Equals(c1)); |
| 38 } | 41 } |
| 39 | 42 |
| 40 } // namespace dart | 43 } // namespace dart |
| OLD | NEW |