reference_type_propagation.h revision 958857d0f9686770a3b1117166d5fa700b39704a
1/* 2 * Copyright (C) 2015 The Android Open Source Project 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17#ifndef ART_COMPILER_OPTIMIZING_REFERENCE_TYPE_PROPAGATION_H_ 18#define ART_COMPILER_OPTIMIZING_REFERENCE_TYPE_PROPAGATION_H_ 19 20#include "driver/dex_compilation_unit.h" 21#include "handle_scope-inl.h" 22#include "nodes.h" 23#include "optimization.h" 24#include "optimizing_compiler_stats.h" 25 26namespace art { 27 28/** 29 * Propagates reference types to instructions. 30 */ 31class ReferenceTypePropagation : public HOptimization { 32 public: 33 ReferenceTypePropagation(HGraph* graph, StackHandleScopeCollection* handles) 34 : HOptimization(graph, true, kReferenceTypePropagationPassName), 35 handles_(handles), 36 worklist_(graph->GetArena(), kDefaultWorklistSize) {} 37 38 void Run() OVERRIDE; 39 40 static constexpr const char* kReferenceTypePropagationPassName = "reference_type_propagation"; 41 42 private: 43 void VisitNewInstance(HNewInstance* new_instance); 44 void VisitLoadClass(HLoadClass* load_class); 45 void VisitNewArray(HNewArray* instr); 46 void VisitPhi(HPhi* phi); 47 void VisitBasicBlock(HBasicBlock* block); 48 void UpdateFieldAccessTypeInfo(HInstruction* instr, const FieldInfo& info); 49 void SetClassAsTypeInfo(HInstruction* instr, mirror::Class* klass, bool is_exact); 50 51 void UpdateBoundType(HBoundType* bound_type) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); 52 void UpdatePhi(HPhi* phi) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); 53 54 void BoundTypeForIfNotNull(HBasicBlock* block); 55 void BoundTypeForIfInstanceOf(HBasicBlock* block); 56 void UpdateReferenceTypeInfo(HInstruction* instr, 57 uint16_t type_idx, 58 const DexFile& dex_file, 59 bool is_exact); 60 void VisitInstanceFieldGet(HInstanceFieldGet* instr); 61 void VisitStaticFieldGet(HStaticFieldGet* instr); 62 63 void ProcessWorklist(); 64 void AddToWorklist(HInstruction* instr); 65 void AddDependentInstructionsToWorklist(HInstruction* instr); 66 67 bool UpdateNullability(HInstruction* instr); 68 bool UpdateReferenceTypeInfo(HInstruction* instr); 69 70 ReferenceTypeInfo MergeTypes(const ReferenceTypeInfo& a, const ReferenceTypeInfo& b) 71 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); 72 73 StackHandleScopeCollection* handles_; 74 75 GrowableArray<HInstruction*> worklist_; 76 77 static constexpr size_t kDefaultWorklistSize = 8; 78 79 DISALLOW_COPY_AND_ASSIGN(ReferenceTypePropagation); 80}; 81 82} // namespace art 83 84#endif // ART_COMPILER_OPTIMIZING_REFERENCE_TYPE_PROPAGATION_H_ 85