blob: 151c28f4c77c37b9fd4821d2cfa3be6e6a97c5aa [file] [log] [blame]
Jia Liub22310f2012-02-18 12:03:15 +00001//===-- HexagonISelLowering.h - Hexagon DAG Lowering Interface --*- C++ -*-===//
Tony Linthicum1213a7a2011-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
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000015#ifndef LLVM_LIB_TARGET_HEXAGON_HEXAGONISELLOWERING_H
16#define LLVM_LIB_TARGET_HEXAGON_HEXAGONISELLOWERING_H
Tony Linthicum1213a7a2011-12-12 21:14:40 +000017
Craig Topperb25fda92012-03-17 18:46:09 +000018#include "Hexagon.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000019#include "llvm/CodeGen/CallingConvLower.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/CallingConv.h"
Chandler Carruth802d7552012-12-04 07:12:27 +000021#include "llvm/Target/TargetLowering.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000022
23namespace llvm {
Colin LeMahieu025f8602014-12-08 21:19:18 +000024
25// Return true when the given node fits in a positive half word.
26bool isPositiveHalfWord(SDNode *N);
27
Tony Linthicum1213a7a2011-12-12 21:14:40 +000028 namespace HexagonISD {
29 enum {
30 FIRST_NUMBER = ISD::BUILTIN_OP_END,
31
32 CONST32,
33 CONST32_GP, // For marking data present in GP.
Jyotsna Verma2ba0c0b2013-03-07 19:10:28 +000034 CONST32_Int_Real,
Sirish Pande69295b82012-05-10 20:20:25 +000035 FCONST32,
Tony Linthicum1213a7a2011-12-12 21:14:40 +000036 SETCC,
37 ADJDYNALLOC,
38 ARGEXTEND,
39
40 CMPICC, // Compare two GPR operands, set icc.
41 CMPFCC, // Compare two FP operands, set fcc.
42 BRICC, // Branch to dest on icc condition
43 BRFCC, // Branch to dest on fcc condition
44 SELECT_ICC, // Select between two values using the current ICC flags.
45 SELECT_FCC, // Select between two values using the current FCC flags.
46
47 Hi, Lo, // Hi/Lo operations, typically on a global address.
48
49 FTOI, // FP to Int within a FP register.
50 ITOF, // Int to FP within a FP register.
51
Colin LeMahieu2e3a26d2015-01-16 17:05:27 +000052 CALLv3, // A V3+ call instruction.
53 CALLv3nr, // A V3+ call instruction that doesn't return.
54 CALLR,
55
Tony Linthicum1213a7a2011-12-12 21:14:40 +000056 RET_FLAG, // Return with a flag operand.
57 BR_JT, // Jump table.
Colin LeMahieu777abcb2015-01-07 20:07:28 +000058 BARRIER, // Memory barrier
59 POPCOUNT,
Colin LeMahieu383c36e2014-12-05 18:24:06 +000060 COMBINE,
Tony Linthicum1213a7a2011-12-12 21:14:40 +000061 WrapperJT,
Sirish Pande69295b82012-05-10 20:20:25 +000062 WrapperCP,
Jyotsna Vermadfd779e2012-12-04 18:05:01 +000063 WrapperCombineII,
64 WrapperCombineRR,
Jyotsna Verma7ab68fb2013-02-04 15:52:56 +000065 WrapperCombineRI_V4,
66 WrapperCombineIR_V4,
Jyotsna Vermadfd779e2012-12-04 18:05:01 +000067 WrapperPackhl,
68 WrapperSplatB,
69 WrapperSplatH,
70 WrapperShuffEB,
71 WrapperShuffEH,
72 WrapperShuffOB,
73 WrapperShuffOH,
Jyotsna Verma5ed51812013-05-01 21:37:34 +000074 TC_RETURN,
Colin LeMahieu68b2e052015-01-06 19:03:20 +000075 EH_RETURN,
76 DCFETCH
Tony Linthicum1213a7a2011-12-12 21:14:40 +000077 };
78 }
79
Eric Christopherd737b762015-02-02 22:11:36 +000080 class HexagonSubtarget;
81
Tony Linthicum1213a7a2011-12-12 21:14:40 +000082 class HexagonTargetLowering : public TargetLowering {
83 int VarArgsFrameOffset; // Frame offset to start of varargs area.
84
85 bool CanReturnSmallStruct(const Function* CalleeFn,
86 unsigned& RetSize) const;
87
88 public:
Eric Christopherd737b762015-02-02 22:11:36 +000089 const HexagonSubtarget *Subtarget;
90 explicit HexagonTargetLowering(const TargetMachine &TM,
91 const HexagonSubtarget &Subtarget);
Tony Linthicum1213a7a2011-12-12 21:14:40 +000092
93 /// IsEligibleForTailCallOptimization - Check whether the call is eligible
94 /// for tail call optimization. Targets which want to do tail call
95 /// optimization should implement this function.
96 bool
97 IsEligibleForTailCallOptimization(SDValue Callee,
98 CallingConv::ID CalleeCC,
99 bool isVarArg,
100 bool isCalleeStructRet,
101 bool isCallerStructRet,
102 const
103 SmallVectorImpl<ISD::OutputArg> &Outs,
104 const SmallVectorImpl<SDValue> &OutVals,
105 const SmallVectorImpl<ISD::InputArg> &Ins,
106 SelectionDAG& DAG) const;
107
Craig Topper906c2cd2014-04-29 07:58:16 +0000108 bool isTruncateFree(Type *Ty1, Type *Ty2) const override;
109 bool isTruncateFree(EVT VT1, EVT VT2) const override;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000110
Craig Topper906c2cd2014-04-29 07:58:16 +0000111 bool allowTruncateForTailCall(Type *Ty1, Type *Ty2) const override;
Tim Northovera4415852013-08-06 09:12:35 +0000112
Craig Topper906c2cd2014-04-29 07:58:16 +0000113 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000114
Craig Topper906c2cd2014-04-29 07:58:16 +0000115 const char *getTargetNodeName(unsigned Opcode) const override;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000116 SDValue LowerBR_JT(SDValue Op, SelectionDAG &DAG) const;
117 SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) const;
118 SDValue LowerINLINEASM(SDValue Op, SelectionDAG &DAG) const;
119 SDValue LowerEH_LABEL(SDValue Op, SelectionDAG &DAG) const;
Jyotsna Verma5ed51812013-05-01 21:37:34 +0000120 SDValue LowerEH_RETURN(SDValue Op, SelectionDAG &DAG) const;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000121 SDValue LowerFormalArguments(SDValue Chain,
122 CallingConv::ID CallConv, bool isVarArg,
123 const SmallVectorImpl<ISD::InputArg> &Ins,
Andrew Trickef9de2a2013-05-25 02:42:55 +0000124 SDLoc dl, SelectionDAG &DAG,
Craig Topper906c2cd2014-04-29 07:58:16 +0000125 SmallVectorImpl<SDValue> &InVals) const override;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000126 SDValue LowerGLOBALADDRESS(SDValue Op, SelectionDAG &DAG) const;
Jyotsna Verma2ba0c0b2013-03-07 19:10:28 +0000127 SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000128
Justin Holewinskiaa583972012-05-25 16:35:28 +0000129 SDValue LowerCall(TargetLowering::CallLoweringInfo &CLI,
Craig Topper906c2cd2014-04-29 07:58:16 +0000130 SmallVectorImpl<SDValue> &InVals) const override;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000131
132 SDValue LowerCallResult(SDValue Chain, SDValue InFlag,
133 CallingConv::ID CallConv, bool isVarArg,
134 const SmallVectorImpl<ISD::InputArg> &Ins,
Andrew Trickef9de2a2013-05-25 02:42:55 +0000135 SDLoc dl, SelectionDAG &DAG,
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000136 SmallVectorImpl<SDValue> &InVals,
137 const SmallVectorImpl<SDValue> &OutVals,
138 SDValue Callee) const;
139
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000140 SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000141 SDValue LowerATOMIC_FENCE(SDValue Op, SelectionDAG& DAG) const;
142 SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const;
143
144 SDValue LowerReturn(SDValue Chain,
145 CallingConv::ID CallConv, bool isVarArg,
146 const SmallVectorImpl<ISD::OutputArg> &Outs,
147 const SmallVectorImpl<SDValue> &OutVals,
Craig Topper906c2cd2014-04-29 07:58:16 +0000148 SDLoc dl, SelectionDAG &DAG) const override;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000149
Craig Topper906c2cd2014-04-29 07:58:16 +0000150 MachineBasicBlock *
151 EmitInstrWithCustomInserter(MachineInstr *MI,
152 MachineBasicBlock *BB) const override;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000153
154 SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const;
Sirish Pande69295b82012-05-10 20:20:25 +0000155 SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const;
Craig Topper906c2cd2014-04-29 07:58:16 +0000156 EVT getSetCCResultType(LLVMContext &C, EVT VT) const override {
Juergen Ributzka34c652d2013-11-13 01:57:54 +0000157 if (!VT.isVector())
158 return MVT::i1;
159 else
160 return EVT::getVectorVT(C, MVT::i1, VT.getVectorNumElements());
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000161 }
162
Craig Topper906c2cd2014-04-29 07:58:16 +0000163 bool getPostIndexedAddressParts(SDNode *N, SDNode *Op,
164 SDValue &Base, SDValue &Offset,
165 ISD::MemIndexedMode &AM,
166 SelectionDAG &DAG) const override;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000167
Eric Christopher11e4df72015-02-26 22:38:43 +0000168 std::pair<unsigned, const TargetRegisterClass *>
169 getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI,
170 const std::string &Constraint,
Craig Topper906c2cd2014-04-29 07:58:16 +0000171 MVT VT) const override;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000172
173 // Intrinsics
Craig Topper906c2cd2014-04-29 07:58:16 +0000174 SDValue LowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG) const;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000175 /// isLegalAddressingMode - Return true if the addressing mode represented
176 /// by AM is legal for this target, for a load/store of the specified type.
177 /// The type may be VoidTy, in which case only return true if the addressing
178 /// mode is legal for a load/store of any legal type.
179 /// TODO: Handle pre/postinc as well.
Craig Topper906c2cd2014-04-29 07:58:16 +0000180 bool isLegalAddressingMode(const AddrMode &AM, Type *Ty) const override;
181 bool isFPImmLegal(const APFloat &Imm, EVT VT) const override;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000182
183 /// isLegalICmpImmediate - Return true if the specified immediate is legal
184 /// icmp immediate, that is the target has icmp instructions which can
185 /// compare a register against the immediate without having to materialize
186 /// the immediate into a register.
Craig Topper906c2cd2014-04-29 07:58:16 +0000187 bool isLegalICmpImmediate(int64_t Imm) const override;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000188 };
189} // end namespace llvm
190
191#endif // Hexagon_ISELLOWERING_H