| /* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 4 -*- |
| * vim: set ts=8 sts=4 et sw=4 tw=99: |
| * This Source Code Form is subject to the terms of the Mozilla Public |
| * License, v. 2.0. If a copy of the MPL was not distributed with this |
| * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ |
| |
| #ifndef jit_AliasAnalysis_h |
| #define jit_AliasAnalysis_h |
| |
| #include "MIR.h" |
| #include "MIRGraph.h" |
| |
| namespace js { |
| namespace jit { |
| |
| class MIRGraph; |
| |
| typedef Vector<MDefinition *, 4, IonAllocPolicy> InstructionVector; |
| |
| class LoopAliasInfo : public TempObject { |
| private: |
| LoopAliasInfo *outer_; |
| MBasicBlock *loopHeader_; |
| InstructionVector invariantLoads_; |
| |
| public: |
| LoopAliasInfo(LoopAliasInfo *outer, MBasicBlock *loopHeader) |
| : outer_(outer), loopHeader_(loopHeader) |
| { } |
| |
| MBasicBlock *loopHeader() const { |
| return loopHeader_; |
| } |
| LoopAliasInfo *outer() const { |
| return outer_; |
| } |
| bool addInvariantLoad(MDefinition *ins) { |
| return invariantLoads_.append(ins); |
| } |
| const InstructionVector& invariantLoads() const { |
| return invariantLoads_; |
| } |
| MDefinition *firstInstruction() const { |
| return *loopHeader_->begin(); |
| } |
| }; |
| |
| class AliasAnalysis |
| { |
| MIRGenerator *mir; |
| MIRGraph &graph_; |
| LoopAliasInfo *loop_; |
| |
| public: |
| AliasAnalysis(MIRGenerator *mir, MIRGraph &graph); |
| bool analyze(); |
| }; |
| |
| } // namespace js |
| } // namespace jit |
| |
| #endif /* jit_AliasAnalysis_h */ |