blob: 4fe01071563da841bf0f08171a2c8d0f67409472 [file] [log] [blame]
Jia Liu31d157a2012-02-18 12:03:15 +00001//===-- HexagonISelLowering.h - Hexagon DAG Lowering Interface --*- C++ -*-===//
Tony Linthicumb4b54152011-12-12 21:14:40 +00002//
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 Hexagon uses to lower LLVM code into a
11// selection DAG.
12//
13//===----------------------------------------------------------------------===//
14
15#ifndef Hexagon_ISELLOWERING_H
16#define Hexagon_ISELLOWERING_H
17
Craig Topper79aa3412012-03-17 18:46:09 +000018#include "Hexagon.h"
Tony Linthicumb4b54152011-12-12 21:14:40 +000019#include "llvm/CodeGen/CallingConvLower.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000020#include "llvm/IR/CallingConv.h"
Chandler Carrutha1514e22012-12-04 07:12:27 +000021#include "llvm/Target/TargetLowering.h"
Tony Linthicumb4b54152011-12-12 21:14:40 +000022
23namespace llvm {
24 namespace HexagonISD {
25 enum {
26 FIRST_NUMBER = ISD::BUILTIN_OP_END,
27
28 CONST32,
29 CONST32_GP, // For marking data present in GP.
Jyotsna Vermab6716182013-03-07 19:10:28 +000030 CONST32_Int_Real,
Sirish Pande7517bbc2012-05-10 20:20:25 +000031 FCONST32,
Tony Linthicumb4b54152011-12-12 21:14:40 +000032 SETCC,
33 ADJDYNALLOC,
34 ARGEXTEND,
35
36 CMPICC, // Compare two GPR operands, set icc.
37 CMPFCC, // Compare two FP operands, set fcc.
38 BRICC, // Branch to dest on icc condition
39 BRFCC, // Branch to dest on fcc condition
40 SELECT_ICC, // Select between two values using the current ICC flags.
41 SELECT_FCC, // Select between two values using the current FCC flags.
42
43 Hi, Lo, // Hi/Lo operations, typically on a global address.
44
45 FTOI, // FP to Int within a FP register.
46 ITOF, // Int to FP within a FP register.
47
48 CALL, // A call instruction.
49 RET_FLAG, // Return with a flag operand.
50 BR_JT, // Jump table.
51 BARRIER, // Memory barrier.
52 WrapperJT,
Sirish Pande7517bbc2012-05-10 20:20:25 +000053 WrapperCP,
Jyotsna Verma4b3aafb2012-12-04 18:05:01 +000054 WrapperCombineII,
55 WrapperCombineRR,
Jyotsna Verma3e1635d2013-02-04 15:52:56 +000056 WrapperCombineRI_V4,
57 WrapperCombineIR_V4,
Jyotsna Verma4b3aafb2012-12-04 18:05:01 +000058 WrapperPackhl,
59 WrapperSplatB,
60 WrapperSplatH,
61 WrapperShuffEB,
62 WrapperShuffEH,
63 WrapperShuffOB,
64 WrapperShuffOH,
Jyotsna Verma6ea706e2013-05-01 21:37:34 +000065 TC_RETURN,
66 EH_RETURN
Tony Linthicumb4b54152011-12-12 21:14:40 +000067 };
68 }
69
70 class HexagonTargetLowering : public TargetLowering {
71 int VarArgsFrameOffset; // Frame offset to start of varargs area.
72
73 bool CanReturnSmallStruct(const Function* CalleeFn,
74 unsigned& RetSize) const;
75
76 public:
77 HexagonTargetMachine &TM;
78 explicit HexagonTargetLowering(HexagonTargetMachine &targetmachine);
79
80 /// IsEligibleForTailCallOptimization - Check whether the call is eligible
81 /// for tail call optimization. Targets which want to do tail call
82 /// optimization should implement this function.
83 bool
84 IsEligibleForTailCallOptimization(SDValue Callee,
85 CallingConv::ID CalleeCC,
86 bool isVarArg,
87 bool isCalleeStructRet,
88 bool isCallerStructRet,
89 const
90 SmallVectorImpl<ISD::OutputArg> &Outs,
91 const SmallVectorImpl<SDValue> &OutVals,
92 const SmallVectorImpl<ISD::InputArg> &Ins,
93 SelectionDAG& DAG) const;
94
95 virtual bool isTruncateFree(Type *Ty1, Type *Ty2) const;
96 virtual bool isTruncateFree(EVT VT1, EVT VT2) const;
97
Tim Northoverd1134482013-08-06 09:12:35 +000098 virtual bool allowTruncateForTailCall(Type *Ty1, Type *Ty2) const;
99
Tony Linthicumb4b54152011-12-12 21:14:40 +0000100 virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const;
101
102 virtual const char *getTargetNodeName(unsigned Opcode) const;
103 SDValue LowerBR_JT(SDValue Op, SelectionDAG &DAG) const;
104 SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) const;
105 SDValue LowerINLINEASM(SDValue Op, SelectionDAG &DAG) const;
106 SDValue LowerEH_LABEL(SDValue Op, SelectionDAG &DAG) const;
Jyotsna Verma6ea706e2013-05-01 21:37:34 +0000107 SDValue LowerEH_RETURN(SDValue Op, SelectionDAG &DAG) const;
Tony Linthicumb4b54152011-12-12 21:14:40 +0000108 SDValue LowerFormalArguments(SDValue Chain,
109 CallingConv::ID CallConv, bool isVarArg,
110 const SmallVectorImpl<ISD::InputArg> &Ins,
Andrew Trickac6d9be2013-05-25 02:42:55 +0000111 SDLoc dl, SelectionDAG &DAG,
Tony Linthicumb4b54152011-12-12 21:14:40 +0000112 SmallVectorImpl<SDValue> &InVals) const;
113 SDValue LowerGLOBALADDRESS(SDValue Op, SelectionDAG &DAG) const;
Jyotsna Vermab6716182013-03-07 19:10:28 +0000114 SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const;
Tony Linthicumb4b54152011-12-12 21:14:40 +0000115
Justin Holewinskid2ea0e12012-05-25 16:35:28 +0000116 SDValue LowerCall(TargetLowering::CallLoweringInfo &CLI,
Tony Linthicumb4b54152011-12-12 21:14:40 +0000117 SmallVectorImpl<SDValue> &InVals) const;
118
119 SDValue LowerCallResult(SDValue Chain, SDValue InFlag,
120 CallingConv::ID CallConv, bool isVarArg,
121 const SmallVectorImpl<ISD::InputArg> &Ins,
Andrew Trickac6d9be2013-05-25 02:42:55 +0000122 SDLoc dl, SelectionDAG &DAG,
Tony Linthicumb4b54152011-12-12 21:14:40 +0000123 SmallVectorImpl<SDValue> &InVals,
124 const SmallVectorImpl<SDValue> &OutVals,
125 SDValue Callee) const;
126
127 SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const;
128 SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const;
Tony Linthicumb4b54152011-12-12 21:14:40 +0000129 SDValue LowerATOMIC_FENCE(SDValue Op, SelectionDAG& DAG) const;
130 SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const;
131
132 SDValue LowerReturn(SDValue Chain,
133 CallingConv::ID CallConv, bool isVarArg,
134 const SmallVectorImpl<ISD::OutputArg> &Outs,
135 const SmallVectorImpl<SDValue> &OutVals,
Andrew Trickac6d9be2013-05-25 02:42:55 +0000136 SDLoc dl, SelectionDAG &DAG) const;
Tony Linthicumb4b54152011-12-12 21:14:40 +0000137
138 virtual MachineBasicBlock
139 *EmitInstrWithCustomInserter(MachineInstr *MI,
140 MachineBasicBlock *BB) const;
141
142 SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const;
Sirish Pande7517bbc2012-05-10 20:20:25 +0000143 SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const;
Matt Arsenault225ed702013-05-18 00:21:46 +0000144 virtual EVT getSetCCResultType(LLVMContext &, EVT) const {
Tony Linthicumb4b54152011-12-12 21:14:40 +0000145 return MVT::i1;
146 }
147
148 virtual bool getPostIndexedAddressParts(SDNode *N, SDNode *Op,
149 SDValue &Base, SDValue &Offset,
150 ISD::MemIndexedMode &AM,
151 SelectionDAG &DAG) const;
152
153 std::pair<unsigned, const TargetRegisterClass*>
154 getRegForInlineAsmConstraint(const std::string &Constraint,
Chad Rosier5b3fca52013-06-22 18:37:38 +0000155 MVT VT) const;
Tony Linthicumb4b54152011-12-12 21:14:40 +0000156
157 // Intrinsics
158 virtual SDValue LowerINTRINSIC_WO_CHAIN(SDValue Op,
159 SelectionDAG &DAG) const;
160 /// isLegalAddressingMode - Return true if the addressing mode represented
161 /// by AM is legal for this target, for a load/store of the specified type.
162 /// The type may be VoidTy, in which case only return true if the addressing
163 /// mode is legal for a load/store of any legal type.
164 /// TODO: Handle pre/postinc as well.
165 virtual bool isLegalAddressingMode(const AddrMode &AM, Type *Ty) const;
Sirish Pande7517bbc2012-05-10 20:20:25 +0000166 virtual bool isFPImmLegal(const APFloat &Imm, EVT VT) const;
Tony Linthicumb4b54152011-12-12 21:14:40 +0000167
168 /// isLegalICmpImmediate - Return true if the specified immediate is legal
169 /// icmp immediate, that is the target has icmp instructions which can
170 /// compare a register against the immediate without having to materialize
171 /// the immediate into a register.
172 virtual bool isLegalICmpImmediate(int64_t Imm) const;
173 };
174} // end namespace llvm
175
176#endif // Hexagon_ISELLOWERING_H