Allow targets to specify a the type of the RHS of a shift parameterized on the type...
[oota-llvm.git] / lib / Target / SystemZ / SystemZISelLowering.h
1 //==-- SystemZISelLowering.h - SystemZ 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 SystemZ uses to lower LLVM code into a
11 // selection DAG.
12 //
13 //===----------------------------------------------------------------------===//
14
15 #ifndef LLVM_TARGET_SystemZ_ISELLOWERING_H
16 #define LLVM_TARGET_SystemZ_ISELLOWERING_H
17
18 #include "SystemZ.h"
19 #include "SystemZRegisterInfo.h"
20 #include "llvm/CodeGen/SelectionDAG.h"
21 #include "llvm/Target/TargetLowering.h"
22
23 namespace llvm {
24   namespace SystemZISD {
25     enum {
26       FIRST_NUMBER = ISD::BUILTIN_OP_END,
27
28       /// Return with a flag operand. Operand 0 is the chain operand.
29       RET_FLAG,
30
31       /// CALL - These operations represent an abstract call
32       /// instruction, which includes a bunch of information.
33       CALL,
34
35       /// PCRelativeWrapper - PC relative address
36       PCRelativeWrapper,
37
38       /// CMP, UCMP - Compare instruction
39       CMP,
40       UCMP,
41
42       /// BRCOND - Conditional branch. Operand 0 is chain operand, operand 1 is
43       /// the block to branch if condition is true, operand 2 is condition code
44       /// and operand 3 is the flag operand produced by a CMP instruction.
45       BRCOND,
46
47       /// SELECT - Operands 0 and 1 are selection variables, operand 2 is
48       /// condition code and operand 3 is the flag operand.
49       SELECT
50     };
51   }
52
53   class SystemZSubtarget;
54   class SystemZTargetMachine;
55
56   class SystemZTargetLowering : public TargetLowering {
57   public:
58     explicit SystemZTargetLowering(SystemZTargetMachine &TM);
59
60     virtual MVT getShiftAmountTy(EVT LHSTy) const { return MVT::i64; }
61
62     /// LowerOperation - Provide custom lowering hooks for some operations.
63     virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const;
64
65     /// getTargetNodeName - This method returns the name of a target specific
66     /// DAG node.
67     virtual const char *getTargetNodeName(unsigned Opcode) const;
68
69     /// getFunctionAlignment - Return the Log2 alignment of this function.
70     virtual unsigned getFunctionAlignment(const Function *F) const {
71       return 1;
72     }
73
74     std::pair<unsigned, const TargetRegisterClass*>
75     getRegForInlineAsmConstraint(const std::string &Constraint, EVT VT) const;
76     TargetLowering::ConstraintType
77     getConstraintType(const std::string &Constraint) const;
78
79     SDValue LowerBR_CC(SDValue Op, SelectionDAG &DAG) const;
80     SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const;
81     SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
82     SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const;
83     SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const;
84
85     SDValue EmitCmp(SDValue LHS, SDValue RHS,
86                     ISD::CondCode CC, SDValue &SystemZCC,
87                     SelectionDAG &DAG) const;
88
89
90     MachineBasicBlock* EmitInstrWithCustomInserter(MachineInstr *MI,
91                                                    MachineBasicBlock *BB) const;
92
93     /// isFPImmLegal - Returns true if the target can instruction select the
94     /// specified FP immediate natively. If false, the legalizer will
95     /// materialize the FP immediate as a load from a constant pool.
96     virtual bool isFPImmLegal(const APFloat &Imm, EVT VT) const;
97
98   private:
99     SDValue LowerCCCCallTo(SDValue Chain, SDValue Callee,
100                            CallingConv::ID CallConv, bool isVarArg,
101                            bool isTailCall,
102                            const SmallVectorImpl<ISD::OutputArg> &Outs,
103                            const SmallVectorImpl<SDValue> &OutVals,
104                            const SmallVectorImpl<ISD::InputArg> &Ins,
105                            DebugLoc dl, SelectionDAG &DAG,
106                            SmallVectorImpl<SDValue> &InVals) const;
107
108     SDValue LowerCCCArguments(SDValue Chain,
109                               CallingConv::ID CallConv,
110                               bool isVarArg,
111                               const SmallVectorImpl<ISD::InputArg> &Ins,
112                               DebugLoc dl,
113                               SelectionDAG &DAG,
114                               SmallVectorImpl<SDValue> &InVals) const;
115
116     SDValue LowerCallResult(SDValue Chain, SDValue InFlag,
117                             CallingConv::ID CallConv, bool isVarArg,
118                             const SmallVectorImpl<ISD::InputArg> &Ins,
119                             DebugLoc dl, SelectionDAG &DAG,
120                             SmallVectorImpl<SDValue> &InVals) const;
121
122     virtual SDValue
123       LowerFormalArguments(SDValue Chain,
124                            CallingConv::ID CallConv, bool isVarArg,
125                            const SmallVectorImpl<ISD::InputArg> &Ins,
126                            DebugLoc dl, SelectionDAG &DAG,
127                            SmallVectorImpl<SDValue> &InVals) const;
128     virtual SDValue
129       LowerCall(SDValue Chain, SDValue Callee,
130                 CallingConv::ID CallConv, bool isVarArg, bool &isTailCall,
131                 const SmallVectorImpl<ISD::OutputArg> &Outs,
132                 const SmallVectorImpl<SDValue> &OutVals,
133                 const SmallVectorImpl<ISD::InputArg> &Ins,
134                 DebugLoc dl, SelectionDAG &DAG,
135                 SmallVectorImpl<SDValue> &InVals) const;
136
137     virtual SDValue
138       LowerReturn(SDValue Chain,
139                   CallingConv::ID CallConv, bool isVarArg,
140                   const SmallVectorImpl<ISD::OutputArg> &Outs,
141                   const SmallVectorImpl<SDValue> &OutVals,
142                   DebugLoc dl, SelectionDAG &DAG) const;
143
144     const SystemZSubtarget &Subtarget;
145     const SystemZTargetMachine &TM;
146     const SystemZRegisterInfo *RegInfo;
147   };
148 } // namespace llvm
149
150 #endif // LLVM_TARGET_SystemZ_ISELLOWERING_H