diff options
Diffstat (limited to 'compiler/optimizing/graph_checker.cc')
| -rw-r--r-- | compiler/optimizing/graph_checker.cc | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/compiler/optimizing/graph_checker.cc b/compiler/optimizing/graph_checker.cc index d7e6bd8161..9679d0ab70 100644 --- a/compiler/optimizing/graph_checker.cc +++ b/compiler/optimizing/graph_checker.cc @@ -257,6 +257,7 @@ void GraphChecker::VisitInvokeStaticOrDirect(HInvokeStaticOrDirect* invoke) { } void GraphChecker::VisitReturn(HReturn* ret) { + VisitInstruction(ret); if (!ret->GetBlock()->GetSingleSuccessor()->IsExitBlock()) { AddError(StringPrintf("%s:%d does not jump to the exit block.", ret->DebugName(), @@ -265,6 +266,7 @@ void GraphChecker::VisitReturn(HReturn* ret) { } void GraphChecker::VisitReturnVoid(HReturnVoid* ret) { + VisitInstruction(ret); if (!ret->GetBlock()->GetSingleSuccessor()->IsExitBlock()) { AddError(StringPrintf("%s:%d does not jump to the exit block.", ret->DebugName(), @@ -272,6 +274,30 @@ void GraphChecker::VisitReturnVoid(HReturnVoid* ret) { } } +void GraphChecker::VisitCheckCast(HCheckCast* check) { + VisitInstruction(check); + HInstruction* input = check->InputAt(1); + if (!input->IsLoadClass()) { + AddError(StringPrintf("%s:%d expects a HLoadClass as second input, not %s:%d.", + check->DebugName(), + check->GetId(), + input->DebugName(), + input->GetId())); + } +} + +void GraphChecker::VisitInstanceOf(HInstanceOf* instruction) { + VisitInstruction(instruction); + HInstruction* input = instruction->InputAt(1); + if (!input->IsLoadClass()) { + AddError(StringPrintf("%s:%d expects a HLoadClass as second input, not %s:%d.", + instruction->DebugName(), + instruction->GetId(), + input->DebugName(), + input->GetId())); + } +} + void SSAChecker::VisitBasicBlock(HBasicBlock* block) { super_type::VisitBasicBlock(block); |