Make each target map all inline assembly memory constraints to InlineAsm::Constraint_...
[oota-llvm.git] / lib / Target / Sparc / SparcISelLowering.h
1 //===-- SparcISelLowering.h - Sparc 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 Sparc uses to lower LLVM code into a
11 // selection DAG.
12 //
13 //===----------------------------------------------------------------------===//
14
15 #ifndef LLVM_LIB_TARGET_SPARC_SPARCISELLOWERING_H
16 #define LLVM_LIB_TARGET_SPARC_SPARCISELLOWERING_H
17
18 #include "Sparc.h"
19 #include "llvm/Target/TargetLowering.h"
20
21 namespace llvm {
22   class SparcSubtarget;
23
24   namespace SPISD {
25     enum {
26       FIRST_NUMBER = ISD::BUILTIN_OP_END,
27       CMPICC,      // Compare two GPR operands, set icc+xcc.
28       CMPFCC,      // Compare two FP operands, set fcc.
29       BRICC,       // Branch to dest on icc condition
30       BRXCC,       // Branch to dest on xcc condition (64-bit only).
31       BRFCC,       // Branch to dest on fcc condition
32       SELECT_ICC,  // Select between two values using the current ICC flags.
33       SELECT_XCC,  // Select between two values using the current XCC flags.
34       SELECT_FCC,  // Select between two values using the current FCC flags.
35
36       Hi, Lo,      // Hi/Lo operations, typically on a global address.
37
38       FTOI,        // FP to Int within a FP register.
39       ITOF,        // Int to FP within a FP register.
40       FTOX,        // FP to Int64 within a FP register.
41       XTOF,        // Int64 to FP within a FP register.
42
43       CALL,        // A call instruction.
44       RET_FLAG,    // Return with a flag operand.
45       GLOBAL_BASE_REG, // Global base reg for PIC.
46       FLUSHW,      // FLUSH register windows to stack.
47
48       TLS_ADD,     // For Thread Local Storage (TLS).
49       TLS_LD,
50       TLS_CALL
51     };
52   }
53
54   class SparcTargetLowering : public TargetLowering {
55     const SparcSubtarget *Subtarget;
56   public:
57     SparcTargetLowering(TargetMachine &TM, const SparcSubtarget &STI);
58     SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
59
60     /// computeKnownBitsForTargetNode - Determine which of the bits specified
61     /// in Mask are known to be either zero or one and return them in the
62     /// KnownZero/KnownOne bitsets.
63     void computeKnownBitsForTargetNode(const SDValue Op,
64                                        APInt &KnownZero,
65                                        APInt &KnownOne,
66                                        const SelectionDAG &DAG,
67                                        unsigned Depth = 0) const override;
68
69     MachineBasicBlock *
70       EmitInstrWithCustomInserter(MachineInstr *MI,
71                                   MachineBasicBlock *MBB) const override;
72
73     const char *getTargetNodeName(unsigned Opcode) const override;
74
75     ConstraintType getConstraintType(const std::string &Constraint) const override;
76     ConstraintWeight
77     getSingleConstraintMatchWeight(AsmOperandInfo &info,
78                                    const char *constraint) const override;
79     void LowerAsmOperandForConstraint(SDValue Op,
80                                       std::string &Constraint,
81                                       std::vector<SDValue> &Ops,
82                                       SelectionDAG &DAG) const override;
83     std::pair<unsigned, const TargetRegisterClass *>
84     getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI,
85                                  const std::string &Constraint,
86                                  MVT VT) const override;
87
88     unsigned getInlineAsmMemConstraint(
89         const std::string &ConstraintCode) const override {
90       // FIXME: Map different constraints differently.
91       return InlineAsm::Constraint_m;
92     }
93
94     bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override;
95     MVT getScalarShiftAmountTy(EVT LHSTy) const override { return MVT::i32; }
96
97     /// getSetCCResultType - Return the ISD::SETCC ValueType
98     EVT getSetCCResultType(LLVMContext &Context, EVT VT) const override;
99
100     SDValue
101       LowerFormalArguments(SDValue Chain,
102                            CallingConv::ID CallConv,
103                            bool isVarArg,
104                            const SmallVectorImpl<ISD::InputArg> &Ins,
105                            SDLoc dl, SelectionDAG &DAG,
106                            SmallVectorImpl<SDValue> &InVals) const override;
107     SDValue LowerFormalArguments_32(SDValue Chain,
108                                     CallingConv::ID CallConv,
109                                     bool isVarArg,
110                                     const SmallVectorImpl<ISD::InputArg> &Ins,
111                                     SDLoc dl, SelectionDAG &DAG,
112                                     SmallVectorImpl<SDValue> &InVals) const;
113     SDValue LowerFormalArguments_64(SDValue Chain,
114                                     CallingConv::ID CallConv,
115                                     bool isVarArg,
116                                     const SmallVectorImpl<ISD::InputArg> &Ins,
117                                     SDLoc dl, SelectionDAG &DAG,
118                                     SmallVectorImpl<SDValue> &InVals) const;
119
120     SDValue
121       LowerCall(TargetLowering::CallLoweringInfo &CLI,
122                 SmallVectorImpl<SDValue> &InVals) const override;
123     SDValue LowerCall_32(TargetLowering::CallLoweringInfo &CLI,
124                          SmallVectorImpl<SDValue> &InVals) const;
125     SDValue LowerCall_64(TargetLowering::CallLoweringInfo &CLI,
126                          SmallVectorImpl<SDValue> &InVals) const;
127
128     SDValue
129       LowerReturn(SDValue Chain,
130                   CallingConv::ID CallConv, bool isVarArg,
131                   const SmallVectorImpl<ISD::OutputArg> &Outs,
132                   const SmallVectorImpl<SDValue> &OutVals,
133                   SDLoc dl, SelectionDAG &DAG) const override;
134     SDValue LowerReturn_32(SDValue Chain,
135                            CallingConv::ID CallConv, bool IsVarArg,
136                            const SmallVectorImpl<ISD::OutputArg> &Outs,
137                            const SmallVectorImpl<SDValue> &OutVals,
138                            SDLoc DL, SelectionDAG &DAG) const;
139     SDValue LowerReturn_64(SDValue Chain,
140                            CallingConv::ID CallConv, bool IsVarArg,
141                            const SmallVectorImpl<ISD::OutputArg> &Outs,
142                            const SmallVectorImpl<SDValue> &OutVals,
143                            SDLoc DL, SelectionDAG &DAG) const;
144
145     SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
146     SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const;
147     SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const;
148     SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const;
149
150     unsigned getSRetArgSize(SelectionDAG &DAG, SDValue Callee) const;
151     SDValue withTargetFlags(SDValue Op, unsigned TF, SelectionDAG &DAG) const;
152     SDValue makeHiLoPair(SDValue Op, unsigned HiTF, unsigned LoTF,
153                          SelectionDAG &DAG) const;
154     SDValue makeAddress(SDValue Op, SelectionDAG &DAG) const;
155
156     SDValue LowerF128_LibCallArg(SDValue Chain, ArgListTy &Args,
157                                  SDValue Arg, SDLoc DL,
158                                  SelectionDAG &DAG) const;
159     SDValue LowerF128Op(SDValue Op, SelectionDAG &DAG,
160                         const char *LibFuncName,
161                         unsigned numArgs) const;
162     SDValue LowerF128Compare(SDValue LHS, SDValue RHS,
163                              unsigned &SPCC,
164                              SDLoc DL,
165                              SelectionDAG &DAG) const;
166
167     bool ShouldShrinkFPConstant(EVT VT) const override {
168       // Do not shrink FP constpool if VT == MVT::f128.
169       // (ldd, call _Q_fdtoq) is more expensive than two ldds.
170       return VT != MVT::f128;
171     }
172
173     void ReplaceNodeResults(SDNode *N,
174                                     SmallVectorImpl<SDValue>& Results,
175                                     SelectionDAG &DAG) const override;
176
177     MachineBasicBlock *expandSelectCC(MachineInstr *MI, MachineBasicBlock *BB,
178                                       unsigned BROpcode) const;
179     MachineBasicBlock *expandAtomicRMW(MachineInstr *MI,
180                                        MachineBasicBlock *BB,
181                                        unsigned Opcode,
182                                        unsigned CondCode = 0) const;
183   };
184 } // end namespace llvm
185
186 #endif    // SPARC_ISELLOWERING_H