lib/Target/PIC16/PIC16ISelLowering.h

   1 //===-- PIC16ISelLowering.h - PIC16 DAG Lowering Interface ------*- C++ -*-===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   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 defines the interfaces that PIC16 uses to lower LLVM code into a
  11 // selection DAG.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #ifndef PIC16ISELLOWERING_H
  16 #define PIC16ISELLOWERING_H
  17
  18 #include "PIC16.h"
  19 #include "PIC16Subtarget.h"
  20 #include "llvm/CodeGen/SelectionDAG.h"
  21 #include "llvm/Target/TargetLowering.h"
  22 #include <map>
  23
  24 namespace llvm {
  25   namespace PIC16ISD {
  26     enum NodeType {
  27       // Start the numbering from where ISD NodeType finishes.
  28       FIRST_NUMBER = ISD::BUILTIN_OP_END,
  29
  30       Lo,            // Low 8-bits of GlobalAddress.
  31       Hi,            // High 8-bits of GlobalAddress.
  32       PIC16Load,
  33       PIC16LdArg,   // This is replica of PIC16Load but used to load function
  34                     // arguments and is being used for facilitating for some
  35                     // store removal optimizations.
  36
  37       PIC16LdWF,
  38       PIC16Store,
  39       PIC16StWF,
  40       Banksel,
  41       MTLO,          // Move to low part of FSR
  42       MTHI,          // Move to high part of FSR
  43       MTPCLATH,      // Move to PCLATCH
  44       PIC16Connect,  // General connector for PIC16 nodes
  45       BCF,
  46       LSLF,          // PIC16 Logical shift left
  47       LRLF,          // PIC16 Logical shift right
  48       RLF,           // Rotate left through carry
  49       RRF,           // Rotate right through carry
  50       CALL,          // PIC16 Call instruction
  51       CALLW,         // PIC16 CALLW instruction
  52       SUBCC,         // Compare for equality or inequality.
  53       SELECT_ICC,    // Psuedo to be caught in schedular and expanded to brcond.
  54       BRCOND,        // Conditional branch.
  55       RET,           // Return.
  56       Dummy
  57     };
  58
  59     // Keep track of different address spaces.
  60     enum AddressSpace {
  61       RAM_SPACE = 0,   // RAM address space
  62       ROM_SPACE = 1    // ROM address space number is 1
  63     };
  64     enum PIC16Libcall {
  65       MUL_I8 = RTLIB::UNKNOWN_LIBCALL + 1,
  66       SRA_I8,
  67       SLL_I8,
  68       SRL_I8,
  69       PIC16UnknownCall
  70     };
  71   }
  72
  73
  74   //===--------------------------------------------------------------------===//
  75   // TargetLowering Implementation
  76   //===--------------------------------------------------------------------===//
  77   class PIC16TargetLowering : public TargetLowering {
  78   public:
  79     explicit PIC16TargetLowering(PIC16TargetMachine &TM);
  80
  81     /// getTargetNodeName - This method returns the name of a target specific
  82     /// DAG node.
  83     virtual const char *getTargetNodeName(unsigned Opcode) const;
  84     /// getSetCCResultType - Return the ISD::SETCC ValueType
  85     virtual MVT::SimpleValueType getSetCCResultType(EVT ValType) const;
  86     virtual MVT::SimpleValueType getCmpLibcallReturnType() const;
  87     SDValue LowerShift(SDValue Op, SelectionDAG &DAG) const;
  88     SDValue LowerMUL(SDValue Op, SelectionDAG &DAG) const;
  89     SDValue LowerADD(SDValue Op, SelectionDAG &DAG) const;
  90     SDValue LowerSUB(SDValue Op, SelectionDAG &DAG) const;
  91     SDValue LowerBinOp(SDValue Op, SelectionDAG &DAG) const;
  92     // Call returns
  93     SDValue
  94     LowerDirectCallReturn(SDValue RetLabel, SDValue Chain, SDValue InFlag,
  95                           const SmallVectorImpl<ISD::InputArg> &Ins,
  96                           DebugLoc dl, SelectionDAG &DAG,
  97                           SmallVectorImpl<SDValue> &InVals) const;
  98     SDValue
  99     LowerIndirectCallReturn(SDValue Chain, SDValue InFlag,
 100                              SDValue DataAddr_Lo, SDValue DataAddr_Hi,
 101                             const SmallVectorImpl<ISD::InputArg> &Ins,
 102                             DebugLoc dl, SelectionDAG &DAG,
 103                             SmallVectorImpl<SDValue> &InVals) const;
 104
 105     // Call arguments
 106     SDValue
 107     LowerDirectCallArguments(SDValue ArgLabel, SDValue Chain, SDValue InFlag,
 108                              const SmallVectorImpl<ISD::OutputArg> &Outs,
 109                              DebugLoc dl, SelectionDAG &DAG) const;
 110
 111     SDValue
 112     LowerIndirectCallArguments(SDValue Chain, SDValue InFlag,
 113                                SDValue DataAddr_Lo, SDValue DataAddr_Hi,
 114                                const SmallVectorImpl<ISD::OutputArg> &Outs,
 115                                const SmallVectorImpl<ISD::InputArg> &Ins,
 116                                DebugLoc dl, SelectionDAG &DAG) const;
 117
 118     SDValue LowerBR_CC(SDValue Op, SelectionDAG &DAG) const;
 119     SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const;
 120     SDValue getPIC16Cmp(SDValue LHS, SDValue RHS, unsigned OrigCC, SDValue &CC,
 121                         SelectionDAG &DAG, DebugLoc dl) const;
 122     virtual MachineBasicBlock *
 123       EmitInstrWithCustomInserter(MachineInstr *MI,
 124                                   MachineBasicBlock *MBB) const;
 125
 126     virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const;
 127     virtual void ReplaceNodeResults(SDNode *N,
 128                                     SmallVectorImpl<SDValue> &Results,
 129                                     SelectionDAG &DAG) const;
 130     virtual void LowerOperationWrapper(SDNode *N,
 131                                        SmallVectorImpl<SDValue> &Results,
 132                                        SelectionDAG &DAG) const;
 133
 134     virtual SDValue
 135     LowerFormalArguments(SDValue Chain,
 136                          CallingConv::ID CallConv,
 137                          bool isVarArg,
 138                          const SmallVectorImpl<ISD::InputArg> &Ins,
 139                          DebugLoc dl, SelectionDAG &DAG,
 140                          SmallVectorImpl<SDValue> &InVals) const;
 141
 142     virtual SDValue
 143       LowerCall(SDValue Chain, SDValue Callee,
 144                 CallingConv::ID CallConv, bool isVarArg, bool &isTailCall,
 145                 const SmallVectorImpl<ISD::OutputArg> &Outs,
 146                 const SmallVectorImpl<ISD::InputArg> &Ins,
 147                 DebugLoc dl, SelectionDAG &DAG,
 148                 SmallVectorImpl<SDValue> &InVals) const;
 149
 150     virtual SDValue
 151       LowerReturn(SDValue Chain,
 152                   CallingConv::ID CallConv, bool isVarArg,
 153                   const SmallVectorImpl<ISD::OutputArg> &Outs,
 154                   DebugLoc dl, SelectionDAG &DAG) const;
 155
 156     SDValue ExpandStore(SDNode *N, SelectionDAG &DAG) const;
 157     SDValue ExpandLoad(SDNode *N, SelectionDAG &DAG) const;
 158     SDValue ExpandGlobalAddress(SDNode *N, SelectionDAG &DAG) const;
 159     SDValue ExpandExternalSymbol(SDNode *N, SelectionDAG &DAG) const;
 160     SDValue ExpandFrameIndex(SDNode *N, SelectionDAG &DAG) const;
 161
 162     SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const;
 163     SDValue PerformPIC16LoadCombine(SDNode *N, DAGCombinerInfo &DCI) const;
 164     SDValue PerformStoreCombine(SDNode *N, DAGCombinerInfo &DCI) const;
 165
 166     // This function returns the Tmp Offset for FrameIndex. If any TmpOffset
 167     // already exists for the FI then it returns the same else it creates the
 168     // new offset and returns.
 169     unsigned GetTmpOffsetForFI(unsigned FI, unsigned slot_size,
 170                                MachineFunction &MF) const;
 171     void ResetTmpOffsetMap(SelectionDAG &DAG) const;
 172     void InitReservedFrameCount(const Function *F,
 173                                 SelectionDAG &DAG) const;
 174
 175     /// getFunctionAlignment - Return the Log2 alignment of this function.
 176     virtual unsigned getFunctionAlignment(const Function *) const {
 177       // FIXME: The function never seems to be aligned.
 178       return 1;
 179     }
 180   private:
 181     // If the Node is a BUILD_PAIR representing a direct Address,
 182     // then this function will return true.
 183     bool isDirectAddress(const SDValue &Op) const;
 184
 185     // If the Node is a DirectAddress in ROM_SPACE then this
 186     // function will return true
 187     bool isRomAddress(const SDValue &Op) const;
 188
 189     // Extract the Lo and Hi component of Op.
 190     void GetExpandedParts(SDValue Op, SelectionDAG &DAG, SDValue &Lo,
 191                           SDValue &Hi) const;
 192
 193
 194     // Load pointer can be a direct or indirect address. In PIC16 direct
 195     // addresses need Banksel and Indirect addresses need to be loaded to
 196     // FSR first. Handle address specific cases here.
 197     void LegalizeAddress(SDValue Ptr, SelectionDAG &DAG, SDValue &Chain,
 198                          SDValue &NewPtr, unsigned &Offset, DebugLoc dl) const;
 199
 200     // FrameIndex should be broken down into ExternalSymbol and FrameOffset.
 201     void LegalizeFrameIndex(SDValue Op, SelectionDAG &DAG, SDValue &ES,
 202                             int &Offset) const;
 203
 204     // For indirect calls data address of the callee frame need to be
 205     // extracted. This function fills the arguments DataAddr_Lo and
 206     // DataAddr_Hi with the address of the callee frame.
 207     void GetDataAddress(DebugLoc dl, SDValue Callee, SDValue &Chain,
 208                         SDValue &DataAddr_Lo, SDValue &DataAddr_Hi,
 209                         SelectionDAG &DAG) const;
 210
 211     // We can not have both operands of a binary operation in W.
 212     // This function is used to put one operand on stack and generate a load.
 213     SDValue ConvertToMemOperand(SDValue Op, SelectionDAG &DAG,
 214                                 DebugLoc dl) const;
 215
 216     // This function checks if we need to put an operand of an operation on
 217     // stack and generate a load or not.
 218     // DAG parameter is required to access DAG information during
 219     // analysis.
 220     bool NeedToConvertToMemOp(SDValue Op, unsigned &MemOp,
 221                               SelectionDAG &DAG) const;
 222
 223     /// Subtarget - Keep a pointer to the PIC16Subtarget around so that we can
 224     /// make the right decision when generating code for different targets.
 225     const PIC16Subtarget *Subtarget;
 226
 227
 228     // Extending the LIB Call framework of LLVM
 229     // to hold the names of PIC16Libcalls.
 230     const char *PIC16LibcallNames[PIC16ISD::PIC16UnknownCall];
 231
 232     // To set and retrieve the lib call names.
 233     void setPIC16LibcallName(PIC16ISD::PIC16Libcall Call, const char *Name);
 234     const char *getPIC16LibcallName(PIC16ISD::PIC16Libcall Call) const;
 235
 236     // Make PIC16 Libcall.
 237     SDValue MakePIC16Libcall(PIC16ISD::PIC16Libcall Call, EVT RetVT,
 238                              const SDValue *Ops, unsigned NumOps, bool isSigned,
 239                              SelectionDAG &DAG, DebugLoc dl) const;
 240
 241     // Check if operation has a direct load operand.
 242     inline bool isDirectLoad(const SDValue Op) const;
 243   };
 244 } // namespace llvm
 245
 246 #endif // PIC16ISELLOWERING_H