commit 72a5eb5d6784b318750c36e0da25c7338557ce44
author Guillaume "Vermeille" Sanchez <guillaumesa@google.com> Tue Jun 02 17:39:45 2015 +0100
committer Guillaume "Vermeille" Sanchez <guillaumesa@google.com> Mon Jun 15 12:31:56 2015 +0100
tree d76567c0c761c7f4c63e7ad5b36cfe43f4f0e9b2
parent ae09d2d244cf2f506822b3e14731b81c3b278f9d

Bring ReferenceTypePropagation to ArrayGet

Change-Id: I602b494c4e18bd78313ce9711ff363c31570a57c

compiler/optimizing/reference_type_propagation.cc

diff --git a/compiler/optimizing/reference_type_propagation.cc b/compiler/optimizing/reference_type_propagation.cc
index c3db551..a048c85 100644
--- a/compiler/optimizing/reference_type_propagation.cc
+++ b/compiler/optimizing/reference_type_propagation.cc
@@ -37,6 +37,7 @@
   void VisitInstanceFieldGet(HInstanceFieldGet* instr) OVERRIDE;
   void VisitStaticFieldGet(HStaticFieldGet* instr) OVERRIDE;
   void VisitInvoke(HInvoke* instr) OVERRIDE;
+  void VisitArrayGet(HArrayGet* instr) OVERRIDE;
   void UpdateReferenceTypeInfo(HInstruction* instr,
                                uint16_t type_idx,
                                const DexFile& dex_file,
@@ -327,6 +328,19 @@
   SetClassAsTypeInfo(instr, klass, /* is_exact */ false);
 }
 
+void RTPVisitor::VisitArrayGet(HArrayGet* instr) {
+  if (instr->GetType() != Primitive::kPrimNot) {
+    return;
+  }
+
+  HInstruction* parent = instr->InputAt(0);
+  ScopedObjectAccess soa(Thread::Current());
+  Handle<mirror::Class> handle = parent->GetReferenceTypeInfo().GetTypeHandle();
+  if (handle.GetReference() != nullptr && handle->IsObjectArrayClass()) {
+    SetClassAsTypeInfo(instr, handle->GetComponentType(), /* is_exact */ false);
+  }
+}
+
 void ReferenceTypePropagation::UpdateBoundType(HBoundType* instr) {
   ReferenceTypeInfo new_rti = instr->InputAt(0)->GetReferenceTypeInfo();
   // Be sure that we don't go over the bounded type.