ART: Remove some compile-time info points
Remove no longer needed compile-time info points in the verifier. Only
check-casts are still reliant on support for elision.
This reduces the number of pre-populated register lines in a large
app by 70%, and the number of instructions executed during verification
by about 2%.
Bug: 110852609
Test: m test-art-host
Change-Id: Iefa8253749b1a2750f57360e08ddfb502d0478b1
diff --git a/compiler/dex/verified_method.cc b/compiler/dex/verified_method.cc
index 54f216a..172ec6b 100644
--- a/compiler/dex/verified_method.cc
+++ b/compiler/dex/verified_method.cc
@@ -76,6 +76,7 @@
continue;
}
const verifier::RegisterLine* line = method_verifier->GetRegLine(dex_pc);
+ DCHECK(line != nullptr) << "Did not have line for dex pc 0x" << std::hex << dex_pc;
const verifier::RegType& reg_type(line->GetRegisterType(method_verifier,
inst.VRegA_21c()));
const verifier::RegType& cast_type =