| Index: runtime/vm/intermediate_language_test.cc
|
| diff --git a/runtime/vm/intermediate_language_test.cc b/runtime/vm/intermediate_language_test.cc
|
| index f6b5b870e2ce10a92ddafb71a013f2daa9882125..2f7d5ae5f313877d6bff2d42d67c44659ecfc695 100644
|
| --- a/runtime/vm/intermediate_language_test.cc
|
| +++ b/runtime/vm/intermediate_language_test.cc
|
| @@ -17,4 +17,28 @@ TEST_CASE(InstructionTests) {
|
| EXPECT(!bind_instr->IsBlockEntry());
|
| }
|
|
|
| +TEST_CASE(DefUseTests) {
|
| + Definition* def1 = new PhiInstr(0);
|
| + Definition* def2 = new PhiInstr(0);
|
| + EXPECT(def1->use_list() == NULL);
|
| + EXPECT(def2->use_list() == NULL);
|
| + UseVal* use1 = new UseVal(def1);
|
| + EXPECT(def1->use_list() == use1);
|
| + EXPECT(def1->use_list()->next_use() == NULL);
|
| + UseVal* use2 = new UseVal(def1);
|
| + EXPECT(def1->use_list()->next_use()->next_use() == NULL);
|
| + UseVal* use3 = new UseVal(def1);
|
| + EXPECT(def1->use_list()->next_use()->next_use()->next_use() == NULL);
|
| + use1->RemoveFromUseList();
|
| + EXPECT(def1->use_list()->next_use()->next_use() == NULL);
|
| + use3->SetDefinition(def2);
|
| + EXPECT(def1->use_list() == use2);
|
| + EXPECT(def1->use_list()->next_use() == NULL);
|
| + EXPECT(def2->use_list() == use3);
|
| + EXPECT(def2->use_list()->next_use() == NULL);
|
| + BindInstr* bind = new BindInstr(BindInstr::kUsed, use2);
|
| + bind->RemoveInputUses();
|
| + EXPECT(def1->use_list() == NULL);
|
| +}
|
| +
|
| } // namespace dart
|
|
|