OLD | NEW |
(Empty) | |
| 1 //===- subzero/src/IceTargetLowering.h - Lowering interface -----*- C++ -*-===// |
| 2 // |
| 3 // The Subzero Code Generator |
| 4 // |
| 5 // This file is distributed under the University of Illinois Open Source |
| 6 // License. See LICENSE.TXT for details. |
| 7 // |
| 8 //===----------------------------------------------------------------------===// |
| 9 // |
| 10 // This file declares the TargetLowering and LoweringContext |
| 11 // classes. TargetLowering is an abstract class used to drive the |
| 12 // translation/lowering process. LoweringContext maintains a |
| 13 // context for lowering each instruction, offering conveniences such |
| 14 // as iterating over non-deleted instructions. |
| 15 // |
| 16 //===----------------------------------------------------------------------===// |
| 17 |
| 18 #ifndef SUBZERO_SRC_ICETARGETLOWERING_H |
| 19 #define SUBZERO_SRC_ICETARGETLOWERING_H |
| 20 |
| 21 #include "IceDefs.h" |
| 22 #include "IceTypes.h" |
| 23 |
| 24 #include "IceInst.h" // for the names of the Inst subtypes |
| 25 |
| 26 namespace Ice { |
| 27 |
| 28 // LoweringContext makes it easy to iterate through non-deleted |
| 29 // instructions in a node, and insert new (lowered) instructions at |
| 30 // the current point. Along with the instruction list container and |
| 31 // associated iterators, it holds the current node, which is needed |
| 32 // when inserting new instructions in order to track whether variables |
| 33 // are used as single-block or multi-block. |
| 34 class LoweringContext { |
| 35 public: |
| 36 LoweringContext() : Node(NULL) {} |
| 37 ~LoweringContext() {} |
| 38 void init(CfgNode *Node); |
| 39 Inst *getNextInst() const { |
| 40 if (Next == End) |
| 41 return NULL; |
| 42 return *Next; |
| 43 } |
| 44 CfgNode *getNode() const { return Node; } |
| 45 bool atEnd() const { return Cur == End; } |
| 46 InstList::iterator getCur() const { return Cur; } |
| 47 InstList::iterator getEnd() const { return End; } |
| 48 void insert(Inst *Inst); |
| 49 void advanceCur() { Cur = Next; } |
| 50 void advanceNext() { advance(Next); } |
| 51 void setInsertPoint(const InstList::iterator &Position) { Next = Position; } |
| 52 |
| 53 private: |
| 54 // Node is the argument to Inst::updateVars(). |
| 55 CfgNode *Node; |
| 56 // Cur points to the current instruction being considered. It is |
| 57 // guaranteed to point to a non-deleted instruction, or to be End. |
| 58 InstList::iterator Cur; |
| 59 // Next doubles as a pointer to the next valid instruction (if any), |
| 60 // and the new-instruction insertion point. It is also updated for |
| 61 // the caller in case the lowering consumes more than one high-level |
| 62 // instruction. It is guaranteed to point to a non-deleted |
| 63 // instruction after Cur, or to be End. TODO: Consider separating |
| 64 // the notion of "next valid instruction" and "new instruction |
| 65 // insertion point", to avoid confusion when previously-deleted |
| 66 // instructions come between the two points. |
| 67 InstList::iterator Next; |
| 68 // End is a copy of Insts.end(), used if Next needs to be advanced. |
| 69 InstList::iterator End; |
| 70 |
| 71 void skipDeleted(InstList::iterator &I); |
| 72 void advance(InstList::iterator &I); |
| 73 LoweringContext(const LoweringContext &) LLVM_DELETED_FUNCTION; |
| 74 LoweringContext &operator=(const LoweringContext &) LLVM_DELETED_FUNCTION; |
| 75 }; |
| 76 |
| 77 class TargetLowering { |
| 78 public: |
| 79 static TargetLowering *createLowering(TargetArch Target, Cfg *Func); |
| 80 void translate() { |
| 81 // TODO: consider CRTP for optlevel. |
| 82 switch (Ctx->getOptLevel()) { |
| 83 case Opt_m1: |
| 84 translateOm1(); |
| 85 break; |
| 86 case Opt_0: |
| 87 translateO0(); |
| 88 break; |
| 89 case Opt_1: |
| 90 translateO1(); |
| 91 break; |
| 92 case Opt_2: |
| 93 translateO2(); |
| 94 break; |
| 95 default: |
| 96 Func->setError("Target doesn't specify lowering steps."); |
| 97 break; |
| 98 } |
| 99 } |
| 100 virtual void translateOm1() { |
| 101 Func->setError("Target doesn't specify Om1 lowering steps."); |
| 102 } |
| 103 virtual void translateO0() { |
| 104 Func->setError("Target doesn't specify O0 lowering steps."); |
| 105 } |
| 106 virtual void translateO1() { |
| 107 Func->setError("Target doesn't specify O1 lowering steps."); |
| 108 } |
| 109 virtual void translateO2() { |
| 110 Func->setError("Target doesn't specify O2 lowering steps."); |
| 111 } |
| 112 |
| 113 // Lowers a single instruction. |
| 114 void lower(); |
| 115 |
| 116 // Returns a variable pre-colored to the specified physical |
| 117 // register. This is generally used to get very direct access to |
| 118 // the register such as in the prolog or epilog or for marking |
| 119 // scratch registers as killed by a call. |
| 120 virtual Variable *getPhysicalRegister(SizeT RegNum) = 0; |
| 121 // Returns a printable name for the register. |
| 122 virtual IceString getRegName(SizeT RegNum, Type Ty) const = 0; |
| 123 |
| 124 virtual bool hasFramePointer() const { return false; } |
| 125 virtual SizeT getFrameOrStackReg() const = 0; |
| 126 virtual size_t typeWidthInBytesOnStack(Type Ty) = 0; |
| 127 bool hasComputedFrame() const { return HasComputedFrame; } |
| 128 int32_t getStackAdjustment() const { return StackAdjustment; } |
| 129 void updateStackAdjustment(int32_t Offset) { StackAdjustment += Offset; } |
| 130 void resetStackAdjustment() { StackAdjustment = 0; } |
| 131 LoweringContext &getContext() { return Context; } |
| 132 |
| 133 enum RegSet { |
| 134 RegSet_None = 0, |
| 135 RegSet_CallerSave = 1 << 0, |
| 136 RegSet_CalleeSave = 1 << 1, |
| 137 RegSet_StackPointer = 1 << 2, |
| 138 RegSet_FramePointer = 1 << 3, |
| 139 RegSet_All = ~RegSet_None |
| 140 }; |
| 141 typedef uint32_t RegSetMask; |
| 142 |
| 143 virtual llvm::SmallBitVector getRegisterSet(RegSetMask Include, |
| 144 RegSetMask Exclude) const = 0; |
| 145 virtual const llvm::SmallBitVector &getRegisterSetForType(Type Ty) const = 0; |
| 146 void regAlloc(); |
| 147 |
| 148 virtual void emitVariable(const Variable *Var, const Cfg *Func) const = 0; |
| 149 |
| 150 virtual void addProlog(CfgNode *Node) = 0; |
| 151 virtual void addEpilog(CfgNode *Node) = 0; |
| 152 |
| 153 virtual ~TargetLowering() {} |
| 154 |
| 155 protected: |
| 156 TargetLowering(Cfg *Func) |
| 157 : Func(Func), Ctx(Func->getContext()), HasComputedFrame(false), |
| 158 StackAdjustment(0) {} |
| 159 virtual void lowerAlloca(const InstAlloca *Inst) = 0; |
| 160 virtual void lowerArithmetic(const InstArithmetic *Inst) = 0; |
| 161 virtual void lowerAssign(const InstAssign *Inst) = 0; |
| 162 virtual void lowerBr(const InstBr *Inst) = 0; |
| 163 virtual void lowerCall(const InstCall *Inst) = 0; |
| 164 virtual void lowerCast(const InstCast *Inst) = 0; |
| 165 virtual void lowerFcmp(const InstFcmp *Inst) = 0; |
| 166 virtual void lowerIcmp(const InstIcmp *Inst) = 0; |
| 167 virtual void lowerLoad(const InstLoad *Inst) = 0; |
| 168 virtual void lowerPhi(const InstPhi *Inst) = 0; |
| 169 virtual void lowerRet(const InstRet *Inst) = 0; |
| 170 virtual void lowerSelect(const InstSelect *Inst) = 0; |
| 171 virtual void lowerStore(const InstStore *Inst) = 0; |
| 172 virtual void lowerSwitch(const InstSwitch *Inst) = 0; |
| 173 virtual void lowerUnreachable(const InstUnreachable *Inst) = 0; |
| 174 |
| 175 // This gives the target an opportunity to post-process the lowered |
| 176 // expansion before returning. The primary intention is to do some |
| 177 // Register Manager activity as necessary, specifically to eagerly |
| 178 // allocate registers based on affinity and other factors. The |
| 179 // simplest lowering does nothing here and leaves it all to a |
| 180 // subsequent global register allocation pass. |
| 181 virtual void postLower() {} |
| 182 |
| 183 Cfg *Func; |
| 184 GlobalContext *Ctx; |
| 185 bool HasComputedFrame; |
| 186 // StackAdjustment keeps track of the current stack offset from its |
| 187 // natural location, as arguments are pushed for a function call. |
| 188 int32_t StackAdjustment; |
| 189 LoweringContext Context; |
| 190 |
| 191 private: |
| 192 TargetLowering(const TargetLowering &) LLVM_DELETED_FUNCTION; |
| 193 TargetLowering &operator=(const TargetLowering &) LLVM_DELETED_FUNCTION; |
| 194 }; |
| 195 |
| 196 } // end of namespace Ice |
| 197 |
| 198 #endif // SUBZERO_SRC_ICETARGETLOWERING_H |
OLD | NEW |