global_value_numbering.cc revision 55fff044d3a4f7196098e25bab1dad106d9b54a2
195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko/* 295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko * Copyright (C) 2014 The Android Open Source Project 395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko * 495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko * Licensed under the Apache License, Version 2.0 (the "License"); 595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko * you may not use this file except in compliance with the License. 695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko * You may obtain a copy of the License at 795a059793c4c194f026afc74c713cc295d75d91aVladimir Marko * 895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko * http://www.apache.org/licenses/LICENSE-2.0 995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko * 1095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko * Unless required by applicable law or agreed to in writing, software 1195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko * distributed under the License is distributed on an "AS IS" BASIS, 1295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 1395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko * See the License for the specific language governing permissions and 1495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko * limitations under the License. 1595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko */ 1695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko 1795a059793c4c194f026afc74c713cc295d75d91aVladimir Marko#include "global_value_numbering.h" 1895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko 1995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko#include "local_value_numbering.h" 2095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko 2195a059793c4c194f026afc74c713cc295d75d91aVladimir Markonamespace art { 2295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko 2395a059793c4c194f026afc74c713cc295d75d91aVladimir MarkoGlobalValueNumbering::GlobalValueNumbering(CompilationUnit* cu, ScopedArenaAllocator* allocator) 2495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko : cu_(cu), 2555fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko mir_graph_(cu->mir_graph.get()), 2695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko allocator_(allocator), 2755fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko bbs_processed_(0u), 2855fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko max_bbs_to_process_(kMaxBbsToProcessMultiplyFactor * mir_graph_->GetNumReachableBlocks()), 2995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko last_value_(0u), 3095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko modifications_allowed_(false), 3195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko global_value_map_(std::less<uint64_t>(), allocator->Adapter()), 3295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko field_index_map_(FieldReferenceComparator(), allocator->Adapter()), 3395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko field_index_reverse_map_(allocator->Adapter()), 3495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko array_location_map_(ArrayLocationComparator(), allocator->Adapter()), 3595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko array_location_reverse_map_(allocator->Adapter()), 3695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko ref_set_map_(std::less<ValueNameSet>(), allocator->Adapter()), 3755fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko lvns_(mir_graph_->GetNumBlocks(), nullptr, allocator->Adapter()), 3895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko work_lvn_(nullptr), 3995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko merge_lvns_(allocator->Adapter()) { 4095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko} 4195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko 4295a059793c4c194f026afc74c713cc295d75d91aVladimir MarkoGlobalValueNumbering::~GlobalValueNumbering() { 4395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko STLDeleteElements(&lvns_); 4495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko} 4595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko 4695a059793c4c194f026afc74c713cc295d75d91aVladimir MarkoLocalValueNumbering* GlobalValueNumbering::PrepareBasicBlock(BasicBlock* bb) { 4795a059793c4c194f026afc74c713cc295d75d91aVladimir Marko if (UNLIKELY(!Good())) { 4895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return nullptr; 4995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 5055fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko if (UNLIKELY(bb->data_flow_info == nullptr)) { 5195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return nullptr; 5295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 5355fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko if (UNLIKELY(bb->block_type == kExitBlock)) { 5495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko DCHECK(bb->first_mir_insn == nullptr); 5595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return nullptr; 5695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 5755fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko if (UNLIKELY(bbs_processed_ == max_bbs_to_process_)) { 5855fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko last_value_ = kNoValue; // Make bad. 5995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return nullptr; 6095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 6195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko DCHECK(work_lvn_.get() == nullptr); 6295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko work_lvn_.reset(new (allocator_) LocalValueNumbering(this, bb->id)); 6395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko if (bb->block_type == kEntryBlock) { 6495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko if ((cu_->access_flags & kAccStatic) == 0) { 6595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko // If non-static method, mark "this" as non-null 6695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko int this_reg = cu_->num_dalvik_registers - cu_->num_ins; 6795a059793c4c194f026afc74c713cc295d75d91aVladimir Marko work_lvn_->SetSRegNullChecked(this_reg); 6895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 6995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } else { 7095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko // To avoid repeated allocation on the ArenaStack, reuse a single vector kept as a member. 7195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko DCHECK(merge_lvns_.empty()); 7255fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko // If we're running the full GVN, the RepeatingTopologicalSortIterator keeps the loop 7355fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko // head stack in the MIRGraph up to date and for a loop head we need to check whether 7455fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko // we're making the initial computation and need to merge only preceding blocks in the 7555fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko // topological order, or we're recalculating a loop head and need to merge all incoming 7655fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko // LVNs. When we're not at a loop head (including having an empty loop head stack) all 7755fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko // predecessors should be preceding blocks and we shall merge all of them anyway. 7855fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko // 7955fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko // If we're running the modification phase of the full GVN, the loop head stack will be 8055fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko // empty and we need to merge all incoming LVNs. If we're running just a simple LVN, 8155fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko // the loop head stack will also be empty and there will be nothing to merge anyway. 8255fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko bool use_all_predecessors = true; 8355fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko uint16_t loop_head_idx = 0u; // Used only if !use_all_predecessors. 8455fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko if (mir_graph_->GetTopologicalSortOrderLoopHeadStack()->Size() != 0) { 8555fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko // Full GVN inside a loop, see if we're at the loop head for the first time. 8655fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko auto top = mir_graph_->GetTopologicalSortOrderLoopHeadStack()->Peek(); 8755fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko loop_head_idx = top.first; 8855fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko bool recalculating = top.second; 8955fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko use_all_predecessors = recalculating || 9055fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko loop_head_idx != mir_graph_->GetTopologicalSortOrderIndexes()->Get(bb->id); 9155fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko } 9295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko GrowableArray<BasicBlockId>::Iterator iter(bb->predecessors); 9355fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko for (BasicBlock* pred_bb = mir_graph_->GetBasicBlock(iter.Next()); 9455fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko pred_bb != nullptr; pred_bb = mir_graph_->GetBasicBlock(iter.Next())) { 9555fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko if (lvns_[pred_bb->id] != nullptr && 9655fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko (use_all_predecessors || 9755fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko mir_graph_->GetTopologicalSortOrderIndexes()->Get(pred_bb->id) < loop_head_idx)) { 9895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko merge_lvns_.push_back(lvns_[pred_bb->id]); 9995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 10095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 10195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko // Determine merge type. 10295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko LocalValueNumbering::MergeType merge_type = LocalValueNumbering::kNormalMerge; 10395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko if (bb->catch_entry) { 10495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko merge_type = LocalValueNumbering::kCatchMerge; 10595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } else if (bb->last_mir_insn != nullptr && 10655fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko (bb->last_mir_insn->dalvikInsn.opcode == Instruction::RETURN_VOID || 10755fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko bb->last_mir_insn->dalvikInsn.opcode == Instruction::RETURN || 10895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko bb->last_mir_insn->dalvikInsn.opcode == Instruction::RETURN_OBJECT || 10995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko bb->last_mir_insn->dalvikInsn.opcode == Instruction::RETURN_WIDE) && 11095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko (bb->first_mir_insn == bb->last_mir_insn || 11155fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko (static_cast<int>(bb->first_mir_insn->dalvikInsn.opcode) == kMirOpPhi && 11255fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko (bb->first_mir_insn->next == bb->last_mir_insn || 11355fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko (static_cast<int>(bb->first_mir_insn->next->dalvikInsn.opcode) == kMirOpPhi && 11455fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko bb->first_mir_insn->next->next == bb->last_mir_insn))))) { 11595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko merge_type = LocalValueNumbering::kReturnMerge; 11695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 11795a059793c4c194f026afc74c713cc295d75d91aVladimir Marko // At least one predecessor must have been processed before this bb. 11895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko CHECK(!merge_lvns_.empty()); 11995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko if (merge_lvns_.size() == 1u) { 12095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko work_lvn_->MergeOne(*merge_lvns_[0], merge_type); 12155fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko BasicBlock* pred_bb = mir_graph_->GetBasicBlock(merge_lvns_[0]->Id()); 12295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko if (HasNullCheckLastInsn(pred_bb, bb->id)) { 12395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko work_lvn_->SetSRegNullChecked(pred_bb->last_mir_insn->ssa_rep->uses[0]); 12495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 12595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } else { 12695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko work_lvn_->Merge(merge_type); 12795a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 12895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 12995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return work_lvn_.get(); 13095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko} 13195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko 13295a059793c4c194f026afc74c713cc295d75d91aVladimir Markobool GlobalValueNumbering::FinishBasicBlock(BasicBlock* bb) { 13395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko DCHECK(work_lvn_ != nullptr); 13455fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko DCHECK_EQ(bb->id, work_lvn_->Id()); 13555fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko ++bbs_processed_; 13695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko merge_lvns_.clear(); 13795a059793c4c194f026afc74c713cc295d75d91aVladimir Marko 13895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko std::unique_ptr<const LocalValueNumbering> old_lvn(lvns_[bb->id]); 13995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko lvns_[bb->id] = work_lvn_.release(); 14055fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko return (old_lvn == nullptr) || !old_lvn->Equals(*lvns_[bb->id]); 14195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko} 14295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko 14395a059793c4c194f026afc74c713cc295d75d91aVladimir Markouint16_t GlobalValueNumbering::GetFieldId(const MirFieldInfo& field_info, uint16_t type) { 14495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko FieldReference key = { field_info.DeclaringDexFile(), field_info.DeclaringFieldIndex(), type }; 14595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko auto lb = field_index_map_.lower_bound(key); 14695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko if (lb != field_index_map_.end() && !field_index_map_.key_comp()(key, lb->first)) { 14795a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return lb->second; 14895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 14995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko DCHECK_LT(field_index_map_.size(), kNoValue); 15095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko uint16_t id = field_index_map_.size(); 15195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko auto it = field_index_map_.PutBefore(lb, key, id); 15295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko field_index_reverse_map_.push_back(&*it); 15395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return id; 15495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko} 15595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko 15695a059793c4c194f026afc74c713cc295d75d91aVladimir Markouint16_t GlobalValueNumbering::GetArrayLocation(uint16_t base, uint16_t index) { 15795a059793c4c194f026afc74c713cc295d75d91aVladimir Marko auto cmp = array_location_map_.key_comp(); 15895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko ArrayLocation key = { base, index }; 15995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko auto lb = array_location_map_.lower_bound(key); 16095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko if (lb != array_location_map_.end() && !cmp(key, lb->first)) { 16195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return lb->second; 16295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 16395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko uint16_t location = static_cast<uint16_t>(array_location_reverse_map_.size()); 16495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko DCHECK_EQ(location, array_location_reverse_map_.size()); // No overflow. 16595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko auto it = array_location_map_.PutBefore(lb, key, location); 16695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko array_location_reverse_map_.push_back(&*it); 16795a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return location; 16895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko} 16995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko 17095a059793c4c194f026afc74c713cc295d75d91aVladimir Markobool GlobalValueNumbering::HasNullCheckLastInsn(const BasicBlock* pred_bb, 17195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko BasicBlockId succ_id) { 17295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko if (pred_bb->block_type != kDalvikByteCode || pred_bb->last_mir_insn == nullptr) { 17395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return false; 17495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 17595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko Instruction::Code last_opcode = pred_bb->last_mir_insn->dalvikInsn.opcode; 17695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return ((last_opcode == Instruction::IF_EQZ && pred_bb->fall_through == succ_id) || 17795a059793c4c194f026afc74c713cc295d75d91aVladimir Marko (last_opcode == Instruction::IF_NEZ && pred_bb->taken == succ_id)); 17895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko} 17995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko 18095a059793c4c194f026afc74c713cc295d75d91aVladimir Markobool GlobalValueNumbering::NullCheckedInAllPredecessors( 18195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko const ScopedArenaVector<uint16_t>& merge_names) const { 18295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko // Implicit parameters: 18395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko // - *work_lvn: the LVN for which we're checking predecessors. 18495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko // - merge_lvns_: the predecessor LVNs. 18595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko DCHECK_EQ(merge_lvns_.size(), merge_names.size()); 18695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko for (size_t i = 0, size = merge_lvns_.size(); i != size; ++i) { 18795a059793c4c194f026afc74c713cc295d75d91aVladimir Marko const LocalValueNumbering* pred_lvn = merge_lvns_[i]; 18895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko uint16_t value_name = merge_names[i]; 18995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko if (!pred_lvn->IsValueNullChecked(value_name)) { 19095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko // Check if the predecessor has an IF_EQZ/IF_NEZ as the last insn. 19155fff044d3a4f7196098e25bab1dad106d9b54a2Vladimir Marko const BasicBlock* pred_bb = mir_graph_->GetBasicBlock(pred_lvn->Id()); 19295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko if (!HasNullCheckLastInsn(pred_bb, work_lvn_->Id())) { 19395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return false; 19495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 19595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko // IF_EQZ/IF_NEZ checks some sreg, see if that sreg contains the value_name. 19695a059793c4c194f026afc74c713cc295d75d91aVladimir Marko int s_reg = pred_bb->last_mir_insn->ssa_rep->uses[0]; 19795a059793c4c194f026afc74c713cc295d75d91aVladimir Marko if (!pred_lvn->IsSregValue(s_reg, value_name)) { 19895a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return false; 19995a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 20095a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 20195a059793c4c194f026afc74c713cc295d75d91aVladimir Marko } 20295a059793c4c194f026afc74c713cc295d75d91aVladimir Marko return true; 20395a059793c4c194f026afc74c713cc295d75d91aVladimir Marko} 20495a059793c4c194f026afc74c713cc295d75d91aVladimir Marko 20595a059793c4c194f026afc74c713cc295d75d91aVladimir Marko} // namespace art 206