blob: 4e46709cfc0909c7aa36d08591fe7925df530c56 [file] [log] [blame]
Chris Lattner0a1762e2008-03-17 03:21:36 +00001//===-- 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
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000015#ifndef LLVM_LIB_TARGET_SPARC_SPARCISELLOWERING_H
16#define LLVM_LIB_TARGET_SPARC_SPARCISELLOWERING_H
Chris Lattner0a1762e2008-03-17 03:21:36 +000017
Chris Lattner0a1762e2008-03-17 03:21:36 +000018#include "Sparc.h"
Craig Topperb25fda92012-03-17 18:46:09 +000019#include "llvm/Target/TargetLowering.h"
Chris Lattner0a1762e2008-03-17 03:21:36 +000020
21namespace llvm {
Jakob Stoklund Olesen5ad3b352013-04-02 04:08:54 +000022 class SparcSubtarget;
23
Chris Lattner0a1762e2008-03-17 03:21:36 +000024 namespace SPISD {
Matthias Braund04893f2015-05-07 21:33:59 +000025 enum NodeType : unsigned {
Dan Gohmaned1cf1a2008-09-23 18:42:32 +000026 FIRST_NUMBER = ISD::BUILTIN_OP_END,
Jakob Stoklund Olesend9bbdfd2013-04-03 04:41:44 +000027 CMPICC, // Compare two GPR operands, set icc+xcc.
Chris Lattner0a1762e2008-03-17 03:21:36 +000028 CMPFCC, // Compare two FP operands, set fcc.
29 BRICC, // Branch to dest on icc condition
Jakob Stoklund Olesend9bbdfd2013-04-03 04:41:44 +000030 BRXCC, // Branch to dest on xcc condition (64-bit only).
Chris Lattner0a1762e2008-03-17 03:21:36 +000031 BRFCC, // Branch to dest on fcc condition
32 SELECT_ICC, // Select between two values using the current ICC flags.
Jakob Stoklund Olesen8cfaffa2013-04-04 03:08:00 +000033 SELECT_XCC, // Select between two values using the current XCC flags.
Chris Lattner0a1762e2008-03-17 03:21:36 +000034 SELECT_FCC, // Select between two values using the current FCC flags.
Anton Korobeynikov281cf242008-10-10 20:28:10 +000035
Chris Lattner0a1762e2008-03-17 03:21:36 +000036 Hi, Lo, // Hi/Lo operations, typically on a global address.
Anton Korobeynikov281cf242008-10-10 20:28:10 +000037
Chris Lattner0a1762e2008-03-17 03:21:36 +000038 FTOI, // FP to Int within a FP register.
39 ITOF, // Int to FP within a FP register.
Venkatraman Govindaraju5ae77f72013-11-03 12:28:40 +000040 FTOX, // FP to Int64 within a FP register.
41 XTOF, // Int64 to FP within a FP register.
Anton Korobeynikov281cf242008-10-10 20:28:10 +000042
Chris Lattner0a1762e2008-03-17 03:21:36 +000043 CALL, // A call instruction.
Chris Lattner840c7002009-09-15 17:46:24 +000044 RET_FLAG, // Return with a flag operand.
Venkatraman Govindarajucb1dca62013-09-22 06:48:52 +000045 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
Chris Lattner0a1762e2008-03-17 03:21:36 +000051 };
Alexander Kornienkof00654e2015-06-23 09:49:53 +000052 }
Anton Korobeynikov281cf242008-10-10 20:28:10 +000053
Chris Lattner0a1762e2008-03-17 03:21:36 +000054 class SparcTargetLowering : public TargetLowering {
Jakob Stoklund Olesen5ad3b352013-04-02 04:08:54 +000055 const SparcSubtarget *Subtarget;
Chris Lattner0a1762e2008-03-17 03:21:36 +000056 public:
Eric Christopherf5e94062015-01-30 23:46:43 +000057 SparcTargetLowering(TargetMachine &TM, const SparcSubtarget &STI);
Craig Topperb0c941b2014-04-29 07:57:13 +000058 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
Anton Korobeynikov281cf242008-10-10 20:28:10 +000059
Jay Foada0653a32014-05-14 21:14:37 +000060 /// computeKnownBitsForTargetNode - Determine which of the bits specified
Anton Korobeynikov281cf242008-10-10 20:28:10 +000061 /// in Mask are known to be either zero or one and return them in the
Chris Lattner0a1762e2008-03-17 03:21:36 +000062 /// KnownZero/KnownOne bitsets.
Jay Foada0653a32014-05-14 21:14:37 +000063 void computeKnownBitsForTargetNode(const SDValue Op,
64 APInt &KnownZero,
65 APInt &KnownOne,
66 const SelectionDAG &DAG,
67 unsigned Depth = 0) const override;
Anton Korobeynikov281cf242008-10-10 20:28:10 +000068
Craig Topperb0c941b2014-04-29 07:57:13 +000069 MachineBasicBlock *
Dan Gohman25c16532010-05-01 00:01:06 +000070 EmitInstrWithCustomInserter(MachineInstr *MI,
Craig Topperb0c941b2014-04-29 07:57:13 +000071 MachineBasicBlock *MBB) const override;
Anton Korobeynikov281cf242008-10-10 20:28:10 +000072
Craig Topperb0c941b2014-04-29 07:57:13 +000073 const char *getTargetNodeName(unsigned Opcode) const override;
Anton Korobeynikov281cf242008-10-10 20:28:10 +000074
Benjamin Kramer9bfb6272015-07-05 19:29:18 +000075 ConstraintType getConstraintType(StringRef Constraint) const override;
Venkatraman Govindaraju407e4422014-01-22 01:29:51 +000076 ConstraintWeight
77 getSingleConstraintMatchWeight(AsmOperandInfo &info,
Craig Topperb0c941b2014-04-29 07:57:13 +000078 const char *constraint) const override;
Venkatraman Govindaraju407e4422014-01-22 01:29:51 +000079 void LowerAsmOperandForConstraint(SDValue Op,
80 std::string &Constraint,
81 std::vector<SDValue> &Ops,
Craig Topperb0c941b2014-04-29 07:57:13 +000082 SelectionDAG &DAG) const override;
Eric Christopher11e4df72015-02-26 22:38:43 +000083 std::pair<unsigned, const TargetRegisterClass *>
84 getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI,
Benjamin Kramer9bfb6272015-07-05 19:29:18 +000085 StringRef Constraint, MVT VT) const override;
Dan Gohman2fe6bee2008-10-18 02:06:02 +000086
Craig Topperb0c941b2014-04-29 07:57:13 +000087 bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override;
Mehdi Aminieaabc512015-07-09 15:12:23 +000088 MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override {
Mehdi Amini9639d652015-07-09 02:09:20 +000089 return MVT::i32;
90 }
Bill Wendling31ceb1b2009-06-30 22:38:32 +000091
Joseph Tremouletf748c892015-11-07 01:11:31 +000092 /// If a physical register, this returns the register that receives the
93 /// exception address on entry to an EH pad.
94 unsigned
95 getExceptionPointerRegister(const Constant *PersonalityFn) const override {
96 return SP::I0;
97 }
98
99 /// If a physical register, this returns the register that receives the
100 /// exception typeid on entry to a landing pad.
101 unsigned
102 getExceptionSelectorRegister(const Constant *PersonalityFn) const override {
103 return SP::I1;
104 }
105
Venkatraman Govindarajuf6c8fe92013-12-09 04:02:15 +0000106 /// getSetCCResultType - Return the ISD::SETCC ValueType
Mehdi Amini44ede332015-07-09 02:09:04 +0000107 EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context,
108 EVT VT) const override;
Venkatraman Govindarajuf6c8fe92013-12-09 04:02:15 +0000109
Craig Topperb0c941b2014-04-29 07:57:13 +0000110 SDValue
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000111 LowerFormalArguments(SDValue Chain,
Sandeep Patel68c5f472009-09-02 08:44:58 +0000112 CallingConv::ID CallConv,
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000113 bool isVarArg,
114 const SmallVectorImpl<ISD::InputArg> &Ins,
Andrew Trickef9de2a2013-05-25 02:42:55 +0000115 SDLoc dl, SelectionDAG &DAG,
Craig Topperb0c941b2014-04-29 07:57:13 +0000116 SmallVectorImpl<SDValue> &InVals) const override;
Jakob Stoklund Olesen0b21f352013-04-02 04:09:02 +0000117 SDValue LowerFormalArguments_32(SDValue Chain,
118 CallingConv::ID CallConv,
119 bool isVarArg,
120 const SmallVectorImpl<ISD::InputArg> &Ins,
Andrew Trickef9de2a2013-05-25 02:42:55 +0000121 SDLoc dl, SelectionDAG &DAG,
Jakob Stoklund Olesen0b21f352013-04-02 04:09:02 +0000122 SmallVectorImpl<SDValue> &InVals) const;
123 SDValue LowerFormalArguments_64(SDValue Chain,
124 CallingConv::ID CallConv,
125 bool isVarArg,
126 const SmallVectorImpl<ISD::InputArg> &Ins,
Andrew Trickef9de2a2013-05-25 02:42:55 +0000127 SDLoc dl, SelectionDAG &DAG,
Jakob Stoklund Olesen0b21f352013-04-02 04:09:02 +0000128 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000129
Craig Topperb0c941b2014-04-29 07:57:13 +0000130 SDValue
Justin Holewinskiaa583972012-05-25 16:35:28 +0000131 LowerCall(TargetLowering::CallLoweringInfo &CLI,
Craig Topperb0c941b2014-04-29 07:57:13 +0000132 SmallVectorImpl<SDValue> &InVals) const override;
Jakob Stoklund Olesena30f4832013-04-07 19:10:57 +0000133 SDValue LowerCall_32(TargetLowering::CallLoweringInfo &CLI,
134 SmallVectorImpl<SDValue> &InVals) const;
135 SDValue LowerCall_64(TargetLowering::CallLoweringInfo &CLI,
136 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000137
Craig Topperb0c941b2014-04-29 07:57:13 +0000138 SDValue
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000139 LowerReturn(SDValue Chain,
Sandeep Patel68c5f472009-09-02 08:44:58 +0000140 CallingConv::ID CallConv, bool isVarArg,
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000141 const SmallVectorImpl<ISD::OutputArg> &Outs,
Dan Gohmanfe7532a2010-07-07 15:54:55 +0000142 const SmallVectorImpl<SDValue> &OutVals,
Craig Topperb0c941b2014-04-29 07:57:13 +0000143 SDLoc dl, SelectionDAG &DAG) const override;
Jakob Stoklund Olesenedaf66b2013-04-06 23:57:33 +0000144 SDValue LowerReturn_32(SDValue Chain,
145 CallingConv::ID CallConv, bool IsVarArg,
146 const SmallVectorImpl<ISD::OutputArg> &Outs,
147 const SmallVectorImpl<SDValue> &OutVals,
Andrew Trickef9de2a2013-05-25 02:42:55 +0000148 SDLoc DL, SelectionDAG &DAG) const;
Jakob Stoklund Olesenedaf66b2013-04-06 23:57:33 +0000149 SDValue LowerReturn_64(SDValue Chain,
150 CallingConv::ID CallConv, bool IsVarArg,
151 const SmallVectorImpl<ISD::OutputArg> &Outs,
152 const SmallVectorImpl<SDValue> &OutVals,
Andrew Trickef9de2a2013-05-25 02:42:55 +0000153 SDLoc DL, SelectionDAG &DAG) const;
Chris Lattner840c7002009-09-15 17:46:24 +0000154
Dan Gohman21cea8a2010-04-17 15:26:15 +0000155 SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
Venkatraman Govindarajucb1dca62013-09-22 06:48:52 +0000156 SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const;
Dan Gohman21cea8a2010-04-17 15:26:15 +0000157 SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const;
Venkatraman Govindarajuf80d72f2013-06-03 05:58:33 +0000158 SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const;
Venkatraman Govindarajua82203f2011-02-21 03:42:44 +0000159
160 unsigned getSRetArgSize(SelectionDAG &DAG, SDValue Callee) const;
Jakob Stoklund Olesen1fb08a82013-04-14 01:33:32 +0000161 SDValue withTargetFlags(SDValue Op, unsigned TF, SelectionDAG &DAG) const;
162 SDValue makeHiLoPair(SDValue Op, unsigned HiTF, unsigned LoTF,
163 SelectionDAG &DAG) const;
Jakob Stoklund Olesene0fc8322013-04-14 04:35:16 +0000164 SDValue makeAddress(SDValue Op, SelectionDAG &DAG) const;
Venkatraman Govindaraju59039dc2013-09-03 04:11:59 +0000165
166 SDValue LowerF128_LibCallArg(SDValue Chain, ArgListTy &Args,
167 SDValue Arg, SDLoc DL,
168 SelectionDAG &DAG) const;
169 SDValue LowerF128Op(SDValue Op, SelectionDAG &DAG,
170 const char *LibFuncName,
171 unsigned numArgs) const;
172 SDValue LowerF128Compare(SDValue LHS, SDValue RHS,
173 unsigned &SPCC,
174 SDLoc DL,
175 SelectionDAG &DAG) const;
176
Craig Topperb0c941b2014-04-29 07:57:13 +0000177 bool ShouldShrinkFPConstant(EVT VT) const override {
Venkatraman Govindaraju59039dc2013-09-03 04:11:59 +0000178 // Do not shrink FP constpool if VT == MVT::f128.
179 // (ldd, call _Q_fdtoq) is more expensive than two ldds.
180 return VT != MVT::f128;
181 }
Venkatraman Govindaraju5ae77f72013-11-03 12:28:40 +0000182
Craig Topperb0c941b2014-04-29 07:57:13 +0000183 void ReplaceNodeResults(SDNode *N,
James Y Knight3994be82015-08-10 19:11:39 +0000184 SmallVectorImpl<SDValue>& Results,
185 SelectionDAG &DAG) const override;
Jakob Stoklund Olesen05ae2d62014-01-24 06:23:31 +0000186
187 MachineBasicBlock *expandSelectCC(MachineInstr *MI, MachineBasicBlock *BB,
188 unsigned BROpcode) const;
189 MachineBasicBlock *expandAtomicRMW(MachineInstr *MI,
190 MachineBasicBlock *BB,
191 unsigned Opcode,
192 unsigned CondCode = 0) const;
Chris Lattner0a1762e2008-03-17 03:21:36 +0000193 };
194} // end namespace llvm
195
196#endif // SPARC_ISELLOWERING_H