1 //===-- XCoreISelLowering.h - XCore 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 XCore uses to lower LLVM code into a 11 // selection DAG. 12 // 13 //===----------------------------------------------------------------------===// 14 15 #ifndef LLVM_LIB_TARGET_XCORE_XCOREISELLOWERING_H 16 #define LLVM_LIB_TARGET_XCORE_XCOREISELLOWERING_H 17 18 #include "XCore.h" 19 #include "llvm/CodeGen/SelectionDAG.h" 20 #include "llvm/Target/TargetLowering.h" 21 22 namespace llvm { 23 24 // Forward delcarations 25 class XCoreSubtarget; 26 class XCoreTargetMachine; 27 28 namespace XCoreISD { 29 enum NodeType : unsigned { 30 // Start the numbering where the builtin ops and target ops leave off. 31 FIRST_NUMBER = ISD::BUILTIN_OP_END, 32 33 // Branch and link (call) 34 BL, 35 36 // pc relative address 37 PCRelativeWrapper, 38 39 // dp relative address 40 DPRelativeWrapper, 41 42 // cp relative address 43 CPRelativeWrapper, 44 45 // Load word from stack 46 LDWSP, 47 48 // Store word to stack 49 STWSP, 50 51 // Corresponds to retsp instruction 52 RETSP, 53 54 // Corresponds to LADD instruction 55 LADD, 56 57 // Corresponds to LSUB instruction 58 LSUB, 59 60 // Corresponds to LMUL instruction 61 LMUL, 62 63 // Corresponds to MACCU instruction 64 MACCU, 65 66 // Corresponds to MACCS instruction 67 MACCS, 68 69 // Corresponds to CRC8 instruction 70 CRC8, 71 72 // Jumptable branch. 73 BR_JT, 74 75 // Jumptable branch using long branches for each entry. 76 BR_JT32, 77 78 // Offset from frame pointer to the first (possible) on-stack argument 79 FRAME_TO_ARGS_OFFSET, 80 81 // Exception handler return. The stack is restored to the first 82 // followed by a jump to the second argument. 83 EH_RETURN, 84 85 // Memory barrier. 86 MEMBARRIER 87 }; 88 } 89 90 //===--------------------------------------------------------------------===// 91 // TargetLowering Implementation 92 //===--------------------------------------------------------------------===// 93 class XCoreTargetLowering : public TargetLowering 94 { 95 public: 96 explicit XCoreTargetLowering(const TargetMachine &TM, 97 const XCoreSubtarget &Subtarget); 98 99 using TargetLowering::isZExtFree; 100 bool isZExtFree(SDValue Val, EVT VT2) const override; 101 102 103 unsigned getJumpTableEncoding() const override; getScalarShiftAmountTy(const DataLayout & DL,EVT)104 MVT getScalarShiftAmountTy(const DataLayout &DL, EVT) const override { 105 return MVT::i32; 106 } 107 108 /// LowerOperation - Provide custom lowering hooks for some operations. 109 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override; 110 111 /// ReplaceNodeResults - Replace the results of node with an illegal result 112 /// type with new values built out of custom code. 113 /// 114 void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue>&Results, 115 SelectionDAG &DAG) const override; 116 117 /// getTargetNodeName - This method returns the name of a target specific 118 // DAG node. 119 const char *getTargetNodeName(unsigned Opcode) const override; 120 121 MachineBasicBlock * 122 EmitInstrWithCustomInserter(MachineInstr &MI, 123 MachineBasicBlock *MBB) const override; 124 125 bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM, 126 Type *Ty, unsigned AS) const override; 127 128 /// If a physical register, this returns the register that receives the 129 /// exception address on entry to an EH pad. 130 unsigned getExceptionPointerRegister(const Constant * PersonalityFn)131 getExceptionPointerRegister(const Constant *PersonalityFn) const override { 132 return XCore::R0; 133 } 134 135 /// If a physical register, this returns the register that receives the 136 /// exception typeid on entry to a landing pad. 137 unsigned getExceptionSelectorRegister(const Constant * PersonalityFn)138 getExceptionSelectorRegister(const Constant *PersonalityFn) const override { 139 return XCore::R1; 140 } 141 142 private: 143 const TargetMachine &TM; 144 const XCoreSubtarget &Subtarget; 145 146 // Lower Operand helpers 147 SDValue LowerCCCArguments(SDValue Chain, CallingConv::ID CallConv, 148 bool isVarArg, 149 const SmallVectorImpl<ISD::InputArg> &Ins, 150 const SDLoc &dl, SelectionDAG &DAG, 151 SmallVectorImpl<SDValue> &InVals) const; 152 SDValue LowerCCCCallTo(SDValue Chain, SDValue Callee, 153 CallingConv::ID CallConv, bool isVarArg, 154 bool isTailCall, 155 const SmallVectorImpl<ISD::OutputArg> &Outs, 156 const SmallVectorImpl<SDValue> &OutVals, 157 const SmallVectorImpl<ISD::InputArg> &Ins, 158 const SDLoc &dl, SelectionDAG &DAG, 159 SmallVectorImpl<SDValue> &InVals) const; 160 SDValue getReturnAddressFrameIndex(SelectionDAG &DAG) const; 161 SDValue getGlobalAddressWrapper(SDValue GA, const GlobalValue *GV, 162 SelectionDAG &DAG) const; 163 SDValue lowerLoadWordFromAlignedBasePlusOffset(const SDLoc &DL, 164 SDValue Chain, SDValue Base, 165 int64_t Offset, 166 SelectionDAG &DAG) const; 167 168 // Lower Operand specifics 169 SDValue LowerLOAD(SDValue Op, SelectionDAG &DAG) const; 170 SDValue LowerSTORE(SDValue Op, SelectionDAG &DAG) const; 171 SDValue LowerEH_RETURN(SDValue Op, SelectionDAG &DAG) const; 172 SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const; 173 SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const; 174 SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const; 175 SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const; 176 SDValue LowerBR_JT(SDValue Op, SelectionDAG &DAG) const; 177 SDValue LowerVAARG(SDValue Op, SelectionDAG &DAG) const; 178 SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const; 179 SDValue LowerUMUL_LOHI(SDValue Op, SelectionDAG &DAG) const; 180 SDValue LowerSMUL_LOHI(SDValue Op, SelectionDAG &DAG) const; 181 SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const; 182 SDValue LowerFRAME_TO_ARGS_OFFSET(SDValue Op, SelectionDAG &DAG) const; 183 SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const; 184 SDValue LowerINIT_TRAMPOLINE(SDValue Op, SelectionDAG &DAG) const; 185 SDValue LowerADJUST_TRAMPOLINE(SDValue Op, SelectionDAG &DAG) const; 186 SDValue LowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG) const; 187 SDValue LowerATOMIC_FENCE(SDValue Op, SelectionDAG &DAG) const; 188 SDValue LowerATOMIC_LOAD(SDValue Op, SelectionDAG &DAG) const; 189 SDValue LowerATOMIC_STORE(SDValue Op, SelectionDAG &DAG) const; 190 191 // Inline asm support 192 std::pair<unsigned, const TargetRegisterClass *> 193 getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI, 194 StringRef Constraint, MVT VT) const override; 195 196 // Expand specifics 197 SDValue TryExpandADDWithMul(SDNode *Op, SelectionDAG &DAG) const; 198 SDValue ExpandADDSUB(SDNode *Op, SelectionDAG &DAG) const; 199 200 SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override; 201 202 void computeKnownBitsForTargetNode(const SDValue Op, 203 APInt &KnownZero, 204 APInt &KnownOne, 205 const SelectionDAG &DAG, 206 unsigned Depth = 0) const override; 207 208 SDValue 209 LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv, bool isVarArg, 210 const SmallVectorImpl<ISD::InputArg> &Ins, 211 const SDLoc &dl, SelectionDAG &DAG, 212 SmallVectorImpl<SDValue> &InVals) const override; 213 214 SDValue 215 LowerCall(TargetLowering::CallLoweringInfo &CLI, 216 SmallVectorImpl<SDValue> &InVals) const override; 217 218 SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool isVarArg, 219 const SmallVectorImpl<ISD::OutputArg> &Outs, 220 const SmallVectorImpl<SDValue> &OutVals, 221 const SDLoc &dl, SelectionDAG &DAG) const override; 222 223 bool 224 CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF, 225 bool isVarArg, 226 const SmallVectorImpl<ISD::OutputArg> &ArgsFlags, 227 LLVMContext &Context) const override; shouldInsertFencesForAtomic(const Instruction * I)228 bool shouldInsertFencesForAtomic(const Instruction *I) const override { 229 return true; 230 } 231 }; 232 } 233 234 #endif 235