From f555258861aea7df8af9c2241ab761227fd2f66a Mon Sep 17 00:00:00 2001
From: David Brazdil <dbrazdil@google.com>
Date: Sun, 27 Dec 2015 13:36:12 +0000
Subject: ART: Create BoundType for CheckCast early

ReferenceTypePropagation creates a BoundType for each CheckCast and
replaces all dominated uses of the casted object with it. This does
not include Phi uses on the boundary of the dominated scope, reducing
typing precision. This patch creates the BoundType in Builder, causing
SsaBuilder to replace uses of the object automatically.

Bug: 26081304

Change-Id: I083979155cccb348071ff58cb9060a896ed7d2ac
---
 compiler/optimizing/graph_checker.cc | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'compiler/optimizing/graph_checker.cc')

diff --git a/compiler/optimizing/graph_checker.cc b/compiler/optimizing/graph_checker.cc
index 3b93b2b571..6d0bdbe19b 100644
--- a/compiler/optimizing/graph_checker.cc
+++ b/compiler/optimizing/graph_checker.cc
@@ -921,4 +921,16 @@ void SSAChecker::VisitConstant(HConstant* instruction) {
   }
 }
 
+void SSAChecker::VisitBoundType(HBoundType* instruction) {
+  VisitInstruction(instruction);
+
+  ScopedObjectAccess soa(Thread::Current());
+  if (!instruction->GetUpperBound().IsValid()) {
+    AddError(StringPrintf(
+        "%s %d does not have a valid upper bound RTI.",
+        instruction->DebugName(),
+        instruction->GetId()));
+  }
+}
+
 }  // namespace art
-- 
cgit v1.2.3-59-g8ed1b