instruction_simplifier_arm64.cc revision e6dbf48d7a549e58a3d798bbbdc391e4d091b432
144b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames/* 244b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames * Copyright (C) 2015 The Android Open Source Project 344b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames * 444b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames * Licensed under the Apache License, Version 2.0 (the "License"); 544b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames * you may not use this file except in compliance with the License. 644b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames * You may obtain a copy of the License at 744b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames * 844b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames * http://www.apache.org/licenses/LICENSE-2.0 944b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames * 1044b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames * Unless required by applicable law or agreed to in writing, software 1144b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames * distributed under the License is distributed on an "AS IS" BASIS, 1244b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 1344b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames * See the License for the specific language governing permissions and 1444b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames * limitations under the License. 1544b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames */ 1644b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames 1744b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames#include "instruction_simplifier_arm64.h" 1844b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames 19e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames#include "mirror/array-inl.h" 20e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames 2144b9cf937836bb33139123e15ca8b586b5853268Alexandre Ramesnamespace art { 2244b9cf937836bb33139123e15ca8b586b5853268Alexandre Ramesnamespace arm64 { 2344b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames 24e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Ramesvoid InstructionSimplifierArm64Visitor::TryExtractArrayAccessAddress(HInstruction* access, 25e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames HInstruction* array, 26e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames HInstruction* index, 27e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames int access_size) { 28e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames if (index->IsConstant() || 29e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames (index->IsBoundsCheck() && index->AsBoundsCheck()->GetIndex()->IsConstant())) { 30e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // When the index is a constant all the addressing can be fitted in the 31e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // memory access instruction, so do not split the access. 32e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames return; 33e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames } 34e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames if (access->IsArraySet() && 35e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames access->AsArraySet()->GetValue()->GetType() == Primitive::kPrimNot) { 36e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // The access may require a runtime call or the original array pointer. 37e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames return; 38e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames } 39e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames 40e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // Proceed to extract the base address computation. 41e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames ArenaAllocator* arena = GetGraph()->GetArena(); 42e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames 43e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames HIntConstant* offset = 44e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames GetGraph()->GetIntConstant(mirror::Array::DataOffset(access_size).Uint32Value()); 45e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames HArm64IntermediateAddress* address = 46e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames new (arena) HArm64IntermediateAddress(array, offset, kNoDexPc); 47e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames access->GetBlock()->InsertInstructionBefore(address, access); 48e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames access->ReplaceInput(address, 0); 49e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // Both instructions must depend on GC to prevent any instruction that can 50e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // trigger GC to be inserted between the two. 51e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames access->AddSideEffects(SideEffects::DependsOnGC()); 52e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames DCHECK(address->GetSideEffects().Includes(SideEffects::DependsOnGC())); 53e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames DCHECK(access->GetSideEffects().Includes(SideEffects::DependsOnGC())); 54e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // TODO: Code generation for HArrayGet and HArraySet will check whether the input address 55e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // is an HArm64IntermediateAddress and generate appropriate code. 56e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // We would like to replace the `HArrayGet` and `HArraySet` with custom instructions (maybe 57e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // `HArm64Load` and `HArm64Store`). We defer these changes because these new instructions would 58e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // not bring any advantages yet. 59e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // Also see the comments in 60e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // `InstructionCodeGeneratorARM64::VisitArrayGet()` and 61e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames // `InstructionCodeGeneratorARM64::VisitArraySet()`. 62e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames RecordSimplification(); 63e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames} 64e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames 65e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Ramesvoid InstructionSimplifierArm64Visitor::VisitArrayGet(HArrayGet* instruction) { 66e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames TryExtractArrayAccessAddress(instruction, 67e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames instruction->GetArray(), 68e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames instruction->GetIndex(), 69e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames Primitive::ComponentSize(instruction->GetType())); 70e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames} 71e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames 72e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Ramesvoid InstructionSimplifierArm64Visitor::VisitArraySet(HArraySet* instruction) { 73e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames TryExtractArrayAccessAddress(instruction, 74e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames instruction->GetArray(), 75e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames instruction->GetIndex(), 76e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames Primitive::ComponentSize(instruction->GetComponentType())); 77e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames} 78e6dbf48d7a549e58a3d798bbbdc391e4d091b432Alexandre Rames 7944b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames} // namespace arm64 8044b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames} // namespace art 81