| //===---- LiveRangeEdit.h - Basic tools for split and spill -----*- C++ -*-===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // The LiveRangeEdit class represents changes done to a virtual register when it |
| // is spilled or split. |
| // |
| // The parent register is never changed. Instead, a number of new virtual |
| // registers are created and added to the newRegs vector. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef LLVM_CODEGEN_LIVERANGEEDIT_H |
| #define LLVM_CODEGEN_LIVERANGEEDIT_H |
| |
| #include "llvm/ADT/ArrayRef.h" |
| #include "llvm/ADT/SmallPtrSet.h" |
| #include "llvm/CodeGen/LiveInterval.h" |
| |
| namespace llvm { |
| |
| class AliasAnalysis; |
| class LiveIntervals; |
| class MachineLoopInfo; |
| class MachineRegisterInfo; |
| class VirtRegMap; |
| |
| class LiveRangeEdit { |
| public: |
| /// Callback methods for LiveRangeEdit owners. |
| struct Delegate { |
| /// Called immediately before erasing a dead machine instruction. |
| virtual void LRE_WillEraseInstruction(MachineInstr *MI) {} |
| |
| /// Called when a virtual register is no longer used. Return false to defer |
| /// its deletion from LiveIntervals. |
| virtual bool LRE_CanEraseVirtReg(unsigned) { return true; } |
| |
| /// Called before shrinking the live range of a virtual register. |
| virtual void LRE_WillShrinkVirtReg(unsigned) {} |
| |
| /// Called after cloning a virtual register. |
| /// This is used for new registers representing connected components of Old. |
| virtual void LRE_DidCloneVirtReg(unsigned New, unsigned Old) {} |
| |
| virtual ~Delegate() {} |
| }; |
| |
| private: |
| LiveInterval &parent_; |
| SmallVectorImpl<LiveInterval*> &newRegs_; |
| Delegate *const delegate_; |
| const SmallVectorImpl<LiveInterval*> *uselessRegs_; |
| |
| /// firstNew_ - Index of the first register added to newRegs_. |
| const unsigned firstNew_; |
| |
| /// scannedRemattable_ - true when remattable values have been identified. |
| bool scannedRemattable_; |
| |
| /// remattable_ - Values defined by remattable instructions as identified by |
| /// tii.isTriviallyReMaterializable(). |
| SmallPtrSet<const VNInfo*,4> remattable_; |
| |
| /// rematted_ - Values that were actually rematted, and so need to have their |
| /// live range trimmed or entirely removed. |
| SmallPtrSet<const VNInfo*,4> rematted_; |
| |
| /// scanRemattable - Identify the parent_ values that may rematerialize. |
| void scanRemattable(LiveIntervals &lis, |
| const TargetInstrInfo &tii, |
| AliasAnalysis *aa); |
| |
| /// allUsesAvailableAt - Return true if all registers used by OrigMI at |
| /// OrigIdx are also available with the same value at UseIdx. |
| bool allUsesAvailableAt(const MachineInstr *OrigMI, SlotIndex OrigIdx, |
| SlotIndex UseIdx, LiveIntervals &lis); |
| |
| /// foldAsLoad - If LI has a single use and a single def that can be folded as |
| /// a load, eliminate the register by folding the def into the use. |
| bool foldAsLoad(LiveInterval *LI, SmallVectorImpl<MachineInstr*> &Dead, |
| MachineRegisterInfo&, LiveIntervals&, const TargetInstrInfo&); |
| |
| public: |
| /// Create a LiveRangeEdit for breaking down parent into smaller pieces. |
| /// @param parent The register being spilled or split. |
| /// @param newRegs List to receive any new registers created. This needn't be |
| /// empty initially, any existing registers are ignored. |
| /// @param uselessRegs List of registers that can't be used when |
| /// rematerializing values because they are about to be removed. |
| LiveRangeEdit(LiveInterval &parent, |
| SmallVectorImpl<LiveInterval*> &newRegs, |
| Delegate *delegate = 0, |
| const SmallVectorImpl<LiveInterval*> *uselessRegs = 0) |
| : parent_(parent), newRegs_(newRegs), |
| delegate_(delegate), |
| uselessRegs_(uselessRegs), |
| firstNew_(newRegs.size()), |
| scannedRemattable_(false) {} |
| |
| LiveInterval &getParent() const { return parent_; } |
| unsigned getReg() const { return parent_.reg; } |
| |
| /// Iterator for accessing the new registers added by this edit. |
| typedef SmallVectorImpl<LiveInterval*>::const_iterator iterator; |
| iterator begin() const { return newRegs_.begin()+firstNew_; } |
| iterator end() const { return newRegs_.end(); } |
| unsigned size() const { return newRegs_.size()-firstNew_; } |
| bool empty() const { return size() == 0; } |
| LiveInterval *get(unsigned idx) const { return newRegs_[idx+firstNew_]; } |
| |
| ArrayRef<LiveInterval*> regs() const { |
| return makeArrayRef(newRegs_).slice(firstNew_); |
| } |
| |
| /// FIXME: Temporary accessors until we can get rid of |
| /// LiveIntervals::AddIntervalsForSpills |
| SmallVectorImpl<LiveInterval*> *getNewVRegs() { return &newRegs_; } |
| const SmallVectorImpl<LiveInterval*> *getUselessVRegs() { |
| return uselessRegs_; |
| } |
| |
| /// createFrom - Create a new virtual register based on OldReg. |
| LiveInterval &createFrom(unsigned OldReg, LiveIntervals&, VirtRegMap&); |
| |
| /// create - Create a new register with the same class and original slot as |
| /// parent. |
| LiveInterval &create(LiveIntervals &LIS, VirtRegMap &VRM) { |
| return createFrom(getReg(), LIS, VRM); |
| } |
| |
| /// anyRematerializable - Return true if any parent values may be |
| /// rematerializable. |
| /// This function must be called before any rematerialization is attempted. |
| bool anyRematerializable(LiveIntervals&, const TargetInstrInfo&, |
| AliasAnalysis*); |
| |
| /// checkRematerializable - Manually add VNI to the list of rematerializable |
| /// values if DefMI may be rematerializable. |
| bool checkRematerializable(VNInfo *VNI, const MachineInstr *DefMI, |
| const TargetInstrInfo&, AliasAnalysis*); |
| |
| /// Remat - Information needed to rematerialize at a specific location. |
| struct Remat { |
| VNInfo *ParentVNI; // parent_'s value at the remat location. |
| MachineInstr *OrigMI; // Instruction defining ParentVNI. |
| explicit Remat(VNInfo *ParentVNI) : ParentVNI(ParentVNI), OrigMI(0) {} |
| }; |
| |
| /// canRematerializeAt - Determine if ParentVNI can be rematerialized at |
| /// UseIdx. It is assumed that parent_.getVNINfoAt(UseIdx) == ParentVNI. |
| /// When cheapAsAMove is set, only cheap remats are allowed. |
| bool canRematerializeAt(Remat &RM, |
| SlotIndex UseIdx, |
| bool cheapAsAMove, |
| LiveIntervals &lis); |
| |
| /// rematerializeAt - Rematerialize RM.ParentVNI into DestReg by inserting an |
| /// instruction into MBB before MI. The new instruction is mapped, but |
| /// liveness is not updated. |
| /// Return the SlotIndex of the new instruction. |
| SlotIndex rematerializeAt(MachineBasicBlock &MBB, |
| MachineBasicBlock::iterator MI, |
| unsigned DestReg, |
| const Remat &RM, |
| LiveIntervals&, |
| const TargetInstrInfo&, |
| const TargetRegisterInfo&, |
| bool Late = false); |
| |
| /// markRematerialized - explicitly mark a value as rematerialized after doing |
| /// it manually. |
| void markRematerialized(const VNInfo *ParentVNI) { |
| rematted_.insert(ParentVNI); |
| } |
| |
| /// didRematerialize - Return true if ParentVNI was rematerialized anywhere. |
| bool didRematerialize(const VNInfo *ParentVNI) const { |
| return rematted_.count(ParentVNI); |
| } |
| |
| /// eraseVirtReg - Notify the delegate that Reg is no longer in use, and try |
| /// to erase it from LIS. |
| void eraseVirtReg(unsigned Reg, LiveIntervals &LIS); |
| |
| /// eliminateDeadDefs - Try to delete machine instructions that are now dead |
| /// (allDefsAreDead returns true). This may cause live intervals to be trimmed |
| /// and further dead efs to be eliminated. |
| void eliminateDeadDefs(SmallVectorImpl<MachineInstr*> &Dead, |
| LiveIntervals&, VirtRegMap&, |
| const TargetInstrInfo&); |
| |
| /// calculateRegClassAndHint - Recompute register class and hint for each new |
| /// register. |
| void calculateRegClassAndHint(MachineFunction&, LiveIntervals&, |
| const MachineLoopInfo&); |
| }; |
| |
| } |
| |
| #endif |