summaryrefslogtreecommitdiff
path: root/compiler/optimizing/instruction_simplifier_test.cc
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/optimizing/instruction_simplifier_test.cc')
-rw-r--r--compiler/optimizing/instruction_simplifier_test.cc254
1 files changed, 0 insertions, 254 deletions
diff --git a/compiler/optimizing/instruction_simplifier_test.cc b/compiler/optimizing/instruction_simplifier_test.cc
index 966f5b91cf..9f47995cf5 100644
--- a/compiler/optimizing/instruction_simplifier_test.cc
+++ b/compiler/optimizing/instruction_simplifier_test.cc
@@ -134,260 +134,6 @@ class InstanceOfInstructionSimplifierTestGroup
};
// // ENTRY
-// switch (param) {
-// case 1:
-// obj1 = param2; break;
-// case 2:
-// obj1 = param3; break;
-// default:
-// obj2 = new Obj();
-// }
-// val_phi = PHI[3,4,10]
-// target_phi = PHI[param2, param3, obj2]
-// return PredFieldGet[val_phi, target_phi] => PredFieldGet[val_phi, target_phi]
-TEST_F(InstructionSimplifierTest, SimplifyPredicatedFieldGetNoMerge) {
- ScopedObjectAccess soa(Thread::Current());
- VariableSizedHandleScope vshs(soa.Self());
- CreateGraph(&vshs);
- AdjacencyListGraph blks(SetupFromAdjacencyList("entry",
- "exit",
- {{"entry", "case1"},
- {"entry", "case2"},
- {"entry", "case3"},
- {"case1", "breturn"},
- {"case2", "breturn"},
- {"case3", "breturn"},
- {"breturn", "exit"}}));
-#define GET_BLOCK(name) HBasicBlock* name = blks.Get(#name)
- GET_BLOCK(entry);
- GET_BLOCK(exit);
- GET_BLOCK(case1);
- GET_BLOCK(case2);
- GET_BLOCK(case3);
- GET_BLOCK(breturn);
-#undef GET_BLOCK
-
- HInstruction* bool_value = MakeParam(DataType::Type::kInt32);
- HInstruction* obj1_param = MakeParam(DataType::Type::kReference);
- HInstruction* obj2_param = MakeParam(DataType::Type::kReference);
- HInstruction* c3 = graph_->GetIntConstant(3);
- HInstruction* c4 = graph_->GetIntConstant(4);
- HInstruction* c10 = graph_->GetIntConstant(10);
-
- HInstruction* cls = MakeClassLoad();
- HInstruction* switch_inst = new (GetAllocator()) HPackedSwitch(0, 2, bool_value);
- entry->AddInstruction(cls);
- entry->AddInstruction(switch_inst);
- ManuallyBuildEnvFor(cls, {});
-
- HInstruction* goto_c1 = new (GetAllocator()) HGoto();
- case1->AddInstruction(goto_c1);
-
- HInstruction* goto_c2 = new (GetAllocator()) HGoto();
- case2->AddInstruction(goto_c2);
-
- HInstruction* obj3 = MakeNewInstance(cls);
- HInstruction* goto_c3 = new (GetAllocator()) HGoto();
- case3->AddInstruction(obj3);
- case3->AddInstruction(goto_c3);
-
- HPhi* val_phi = MakePhi({c3, c4, c10});
- HPhi* obj_phi = MakePhi({obj1_param, obj2_param, obj3});
- HPredicatedInstanceFieldGet* read_end =
- new (GetAllocator()) HPredicatedInstanceFieldGet(obj_phi,
- nullptr,
- val_phi,
- val_phi->GetType(),
- MemberOffset(10),
- false,
- 42,
- 0,
- graph_->GetDexFile(),
- 0);
- HInstruction* return_exit = new (GetAllocator()) HReturn(read_end);
- breturn->AddPhi(val_phi);
- breturn->AddPhi(obj_phi);
- breturn->AddInstruction(read_end);
- breturn->AddInstruction(return_exit);
-
- SetupExit(exit);
-
- PerformSimplification(blks);
-
- EXPECT_INS_RETAINED(read_end);
-
- EXPECT_INS_EQ(read_end->GetTarget(), obj_phi);
- EXPECT_INS_EQ(read_end->GetDefaultValue(), val_phi);
-}
-
-// // ENTRY
-// switch (param) {
-// case 1:
-// obj1 = param2; break;
-// case 2:
-// obj1 = param3; break;
-// default:
-// obj2 = new Obj();
-// }
-// val_phi = PHI[3,3,10]
-// target_phi = PHI[param2, param3, obj2]
-// return PredFieldGet[val_phi, target_phi] => PredFieldGet[3, target_phi]
-TEST_F(InstructionSimplifierTest, SimplifyPredicatedFieldGetMerge) {
- ScopedObjectAccess soa(Thread::Current());
- VariableSizedHandleScope vshs(soa.Self());
- CreateGraph(&vshs);
- AdjacencyListGraph blks(SetupFromAdjacencyList("entry",
- "exit",
- {{"entry", "case1"},
- {"entry", "case2"},
- {"entry", "case3"},
- {"case1", "breturn"},
- {"case2", "breturn"},
- {"case3", "breturn"},
- {"breturn", "exit"}}));
-#define GET_BLOCK(name) HBasicBlock* name = blks.Get(#name)
- GET_BLOCK(entry);
- GET_BLOCK(exit);
- GET_BLOCK(case1);
- GET_BLOCK(case2);
- GET_BLOCK(case3);
- GET_BLOCK(breturn);
-#undef GET_BLOCK
-
- HInstruction* bool_value = MakeParam(DataType::Type::kInt32);
- HInstruction* obj1_param = MakeParam(DataType::Type::kReference);
- HInstruction* obj2_param = MakeParam(DataType::Type::kReference);
- HInstruction* c3 = graph_->GetIntConstant(3);
- HInstruction* c10 = graph_->GetIntConstant(10);
-
- HInstruction* cls = MakeClassLoad();
- HInstruction* switch_inst = new (GetAllocator()) HPackedSwitch(0, 2, bool_value);
- entry->AddInstruction(cls);
- entry->AddInstruction(switch_inst);
- ManuallyBuildEnvFor(cls, {});
-
- HInstruction* goto_c1 = new (GetAllocator()) HGoto();
- case1->AddInstruction(goto_c1);
-
- HInstruction* goto_c2 = new (GetAllocator()) HGoto();
- case2->AddInstruction(goto_c2);
-
- HInstruction* obj3 = MakeNewInstance(cls);
- HInstruction* goto_c3 = new (GetAllocator()) HGoto();
- case3->AddInstruction(obj3);
- case3->AddInstruction(goto_c3);
-
- HPhi* val_phi = MakePhi({c3, c3, c10});
- HPhi* obj_phi = MakePhi({obj1_param, obj2_param, obj3});
- HPredicatedInstanceFieldGet* read_end =
- new (GetAllocator()) HPredicatedInstanceFieldGet(obj_phi,
- nullptr,
- val_phi,
- val_phi->GetType(),
- MemberOffset(10),
- false,
- 42,
- 0,
- graph_->GetDexFile(),
- 0);
- HInstruction* return_exit = new (GetAllocator()) HReturn(read_end);
- breturn->AddPhi(val_phi);
- breturn->AddPhi(obj_phi);
- breturn->AddInstruction(read_end);
- breturn->AddInstruction(return_exit);
-
- SetupExit(exit);
-
- PerformSimplification(blks);
-
- EXPECT_FALSE(obj3->CanBeNull());
- EXPECT_INS_RETAINED(read_end);
-
- EXPECT_INS_EQ(read_end->GetTarget(), obj_phi);
- EXPECT_INS_EQ(read_end->GetDefaultValue(), c3);
-}
-
-// // ENTRY
-// if (param) {
-// obj1 = new Obj();
-// } else {
-// obj2 = new Obj();
-// }
-// val_phi = PHI[3,10]
-// target_phi = PHI[obj1, obj2]
-// return PredFieldGet[val_phi, target_phi] => FieldGet[target_phi]
-TEST_F(InstructionSimplifierTest, SimplifyPredicatedFieldGetNoNull) {
- ScopedObjectAccess soa(Thread::Current());
- VariableSizedHandleScope vshs(soa.Self());
- CreateGraph(&vshs);
- AdjacencyListGraph blks(SetupFromAdjacencyList("entry",
- "exit",
- {{"entry", "left"},
- {"entry", "right"},
- {"left", "breturn"},
- {"right", "breturn"},
- {"breturn", "exit"}}));
-#define GET_BLOCK(name) HBasicBlock* name = blks.Get(#name)
- GET_BLOCK(entry);
- GET_BLOCK(exit);
- GET_BLOCK(left);
- GET_BLOCK(right);
- GET_BLOCK(breturn);
-#undef GET_BLOCK
-
- HInstruction* bool_value = MakeParam(DataType::Type::kBool);
- HInstruction* c3 = graph_->GetIntConstant(3);
- HInstruction* c10 = graph_->GetIntConstant(10);
-
- HInstruction* cls = MakeClassLoad();
- HInstruction* if_inst = new (GetAllocator()) HIf(bool_value);
- entry->AddInstruction(cls);
- entry->AddInstruction(if_inst);
- ManuallyBuildEnvFor(cls, {});
-
- HInstruction* obj1 = MakeNewInstance(cls);
- HInstruction* goto_left = new (GetAllocator()) HGoto();
- left->AddInstruction(obj1);
- left->AddInstruction(goto_left);
-
- HInstruction* obj2 = MakeNewInstance(cls);
- HInstruction* goto_right = new (GetAllocator()) HGoto();
- right->AddInstruction(obj2);
- right->AddInstruction(goto_right);
-
- HPhi* val_phi = MakePhi({c3, c10});
- HPhi* obj_phi = MakePhi({obj1, obj2});
- obj_phi->SetCanBeNull(false);
- HInstruction* read_end = new (GetAllocator()) HPredicatedInstanceFieldGet(obj_phi,
- nullptr,
- val_phi,
- val_phi->GetType(),
- MemberOffset(10),
- false,
- 42,
- 0,
- graph_->GetDexFile(),
- 0);
- HInstruction* return_exit = new (GetAllocator()) HReturn(read_end);
- breturn->AddPhi(val_phi);
- breturn->AddPhi(obj_phi);
- breturn->AddInstruction(read_end);
- breturn->AddInstruction(return_exit);
-
- SetupExit(exit);
-
- PerformSimplification(blks);
-
- EXPECT_FALSE(obj1->CanBeNull());
- EXPECT_FALSE(obj2->CanBeNull());
- EXPECT_INS_REMOVED(read_end);
-
- HInstanceFieldGet* ifget = FindSingleInstruction<HInstanceFieldGet>(graph_, breturn);
- ASSERT_NE(ifget, nullptr);
- EXPECT_INS_EQ(ifget->InputAt(0), obj_phi);
-}
-
-// // ENTRY
// obj = new Obj();
// // Make sure this graph isn't broken
// if (obj instanceof <other>) {
generated by cgit v1.2.3-59-g8ed1b (git 2.39.0) at 2025-10-20 00:05:41 +0000