contrib/llvm/lib/Target/CellSPU/SPUISelLowering.h

   1 //===-- SPUISelLowering.h - Cell SPU 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 Cell SPU uses to lower LLVM code into
  11 // a selection DAG.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #ifndef SPU_ISELLOWERING_H
  16 #define SPU_ISELLOWERING_H
  17
  18 #include "SPU.h"
  19 #include "llvm/Target/TargetLowering.h"
  20 #include "llvm/CodeGen/SelectionDAG.h"
  21
  22 namespace llvm {
  23   namespace SPUISD {
  24     enum NodeType {
  25       // Start the numbering where the builting ops and target ops leave off.
  26       FIRST_NUMBER = ISD::BUILTIN_OP_END,
  27
  28       // Pseudo instructions:
  29       RET_FLAG,                 ///< Return with flag, matched by bi instruction
  30
  31       Hi,                       ///< High address component (upper 16)
  32       Lo,                       ///< Low address component (lower 16)
  33       PCRelAddr,                ///< Program counter relative address
  34       AFormAddr,                ///< A-form address (local store)
  35       IndirectAddr,             ///< D-Form "imm($r)" and X-form "$r($r)"
  36
  37       LDRESULT,                 ///< Load result (value, chain)
  38       CALL,                     ///< CALL instruction
  39       SHUFB,                    ///< Vector shuffle (permute)
  40       SHUFFLE_MASK,             ///< Shuffle mask
  41       CNTB,                     ///< Count leading ones in bytes
  42       PREFSLOT2VEC,             ///< Promote scalar->vector
  43       VEC2PREFSLOT,             ///< Extract element 0
  44       SHL_BITS,                 ///< Shift quad left, by bits
  45       SHL_BYTES,                ///< Shift quad left, by bytes
  46       SRL_BYTES,                ///< Shift quad right, by bytes. Insert zeros.
  47       VEC_ROTL,                 ///< Vector rotate left
  48       VEC_ROTR,                 ///< Vector rotate right
  49       ROTBYTES_LEFT,            ///< Rotate bytes (loads -> ROTQBYI)
  50       ROTBYTES_LEFT_BITS,       ///< Rotate bytes left by bit shift count
  51       SELECT_MASK,              ///< Select Mask (FSM, FSMB, FSMH, FSMBI)
  52       SELB,                     ///< Select bits -> (b & mask) | (a & ~mask)
  53       // Markers: These aren't used to generate target-dependent nodes, but
  54       // are used during instruction selection.
  55       ADD64_MARKER,             ///< i64 addition marker
  56       SUB64_MARKER,             ///< i64 subtraction marker
  57       MUL64_MARKER,             ///< i64 multiply marker
  58       LAST_SPUISD               ///< Last user-defined instruction
  59     };
  60   }
  61
  62   //! Utility functions specific to CellSPU:
  63   namespace SPU {
  64     SDValue get_vec_u18imm(SDNode *N, SelectionDAG &DAG,
  65                              EVT ValueType);
  66     SDValue get_vec_i16imm(SDNode *N, SelectionDAG &DAG,
  67                              EVT ValueType);
  68     SDValue get_vec_i10imm(SDNode *N, SelectionDAG &DAG,
  69                              EVT ValueType);
  70     SDValue get_vec_i8imm(SDNode *N, SelectionDAG &DAG,
  71                             EVT ValueType);
  72     SDValue get_ILHUvec_imm(SDNode *N, SelectionDAG &DAG,
  73                               EVT ValueType);
  74     SDValue get_v4i32_imm(SDNode *N, SelectionDAG &DAG);
  75     SDValue get_v2i64_imm(SDNode *N, SelectionDAG &DAG);
  76
  77     SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG,
  78                               const SPUTargetMachine &TM);
  79     //! Simplify a EVT::v2i64 constant splat to CellSPU-ready form
  80     SDValue LowerV2I64Splat(EVT OpVT, SelectionDAG &DAG, uint64_t splat,
  81                              DebugLoc dl);
  82   }
  83
  84   class SPUTargetMachine;            // forward dec'l.
  85
  86   class SPUTargetLowering :
  87     public TargetLowering
  88   {
  89     SPUTargetMachine &SPUTM;
  90
  91   public:
  92     //! The venerable constructor
  93     /*!
  94      This is where the CellSPU backend sets operation handling (i.e., legal,
  95      custom, expand or promote.)
  96      */
  97     SPUTargetLowering(SPUTargetMachine &TM);
  98
  99     //! Get the target machine
 100     SPUTargetMachine &getSPUTargetMachine() {
 101       return SPUTM;
 102     }
 103
 104     /// getTargetNodeName() - This method returns the name of a target specific
 105     /// DAG node.
 106     virtual const char *getTargetNodeName(unsigned Opcode) const;
 107
 108     /// getSetCCResultType - Return the ValueType for ISD::SETCC
 109     virtual EVT getSetCCResultType(EVT VT) const;
 110
 111     virtual MVT getShiftAmountTy(EVT LHSTy) const { return MVT::i32; }
 112
 113     //! Custom lowering hooks
 114     virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const;
 115
 116     //! Custom lowering hook for nodes with illegal result types.
 117     virtual void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue>&Results,
 118                                     SelectionDAG &DAG) const;
 119
 120     virtual SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const;
 121
 122     virtual void computeMaskedBitsForTargetNode(const SDValue Op,
 123                                                 APInt &KnownZero,
 124                                                 APInt &KnownOne,
 125                                                 const SelectionDAG &DAG,
 126                                                 unsigned Depth = 0) const;
 127
 128     virtual unsigned ComputeNumSignBitsForTargetNode(SDValue Op,
 129                                                    unsigned Depth = 0) const;
 130
 131     ConstraintType getConstraintType(const std::string &ConstraintLetter) const;
 132
 133     /// Examine constraint string and operand type and determine a weight value.
 134     /// The operand object must already have been set up with the operand type.
 135     ConstraintWeight getSingleConstraintMatchWeight(
 136       AsmOperandInfo &info, const char *constraint) const;
 137
 138     std::pair<unsigned, const TargetRegisterClass*>
 139       getRegForInlineAsmConstraint(const std::string &Constraint,
 140                                    EVT VT) const;
 141
 142     void LowerAsmOperandForConstraint(SDValue Op, std::string &Constraint,
 143                                       std::vector<SDValue> &Ops,
 144                                       SelectionDAG &DAG) const;
 145
 146     /// isLegalAddressImmediate - Return true if the integer value can be used
 147     /// as the offset of the target addressing mode.
 148     virtual bool isLegalAddressImmediate(int64_t V, Type *Ty) const;
 149     virtual bool isLegalAddressImmediate(GlobalValue *) const;
 150
 151     virtual bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const;
 152
 153     virtual SDValue
 154       LowerFormalArguments(SDValue Chain,
 155                            CallingConv::ID CallConv, bool isVarArg,
 156                            const SmallVectorImpl<ISD::InputArg> &Ins,
 157                            DebugLoc dl, SelectionDAG &DAG,
 158                            SmallVectorImpl<SDValue> &InVals) const;
 159
 160     virtual SDValue
 161       LowerCall(TargetLowering::CallLoweringInfo &CLI,
 162                 SmallVectorImpl<SDValue> &InVals) const;
 163
 164     virtual SDValue
 165       LowerReturn(SDValue Chain,
 166                   CallingConv::ID CallConv, bool isVarArg,
 167                   const SmallVectorImpl<ISD::OutputArg> &Outs,
 168                   const SmallVectorImpl<SDValue> &OutVals,
 169                   DebugLoc dl, SelectionDAG &DAG) const;
 170
 171     virtual bool isLegalICmpImmediate(int64_t Imm) const;
 172
 173     virtual bool isLegalAddressingMode(const AddrMode &AM,
 174                                        Type *Ty) const;
 175   };
 176 }
 177
 178 #endif