LLVM 22.0.0git
M68kISelLowering.h
Go to the documentation of this file.
1//===-- M68kISelLowering.h - M68k DAG Lowering Interface --------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8///
9/// \file
10/// This file defines the interfaces that M68k uses to lower LLVM code into a
11/// selection DAG.
12///
13//===----------------------------------------------------------------------===//
14
15#ifndef LLVM_LIB_TARGET_M68K_M68KISELLOWERING_H
16#define LLVM_LIB_TARGET_M68K_M68KISELLOWERING_H
17
18#include "M68k.h"
19
23#include "llvm/IR/Function.h"
24
25#include <deque>
26
27namespace llvm {
28
29/// Define some predicates that are used for node matching.
30namespace M68k {
31
32/// Determines whether the callee is required to pop its
33/// own arguments. Callee pop is necessary to support tail calls.
34bool isCalleePop(CallingConv::ID CallingConv, bool IsVarArg, bool GuaranteeTCO);
35
36} // end namespace M68k
37
38//===--------------------------------------------------------------------===//
39// TargetLowering Implementation
40//===--------------------------------------------------------------------===//
41
42class M68kMachineFunctionInfo;
43class M68kSubtarget;
44
46 const M68kSubtarget &Subtarget;
47 const M68kTargetMachine &TM;
48
49public:
50 explicit M68kTargetLowering(const M68kTargetMachine &TM,
51 const M68kSubtarget &STI);
52
54 const M68kSubtarget &STI);
55
56 /// Return the value type to use for ISD::SETCC.
58 EVT VT) const override;
59
60 /// EVT is not used in-tree, but is used by out-of-tree target.
61 virtual MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override;
62
63 /// Provide custom lowering hooks for some operations.
64 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
65
66 /// Return the entry encoding for a jump table in the current function.
67 /// The returned value is a member of the MachineJumpTableInfo::JTEntryKind
68 /// enum.
69 unsigned getJumpTableEncoding() const override;
70
73 unsigned uid,
74 MCContext &Ctx) const override;
75
76 /// Returns relocation base for the given PIC jumptable.
78 SelectionDAG &DAG) const override;
79
80 /// This returns the relocation base for the given PIC jumptable,
81 /// the same as getPICJumpTableRelocBase, but as an MCExpr.
83 unsigned JTI,
84 MCContext &Ctx) const override;
85
86 ConstraintType getConstraintType(StringRef ConstraintStr) const override;
87
88 std::pair<unsigned, const TargetRegisterClass *>
90 StringRef Constraint, MVT VT) const override;
91
92 // Lower operand with C_Immediate and C_Other constraint type
94 std::vector<SDValue> &Ops,
95 SelectionDAG &DAG) const override;
96
99 MachineBasicBlock *MBB) const override;
100
102 bool IsVarArg) const;
103
105 shouldExpandAtomicRMWInIR(AtomicRMWInst *RMW) const override;
106
107 /// If a physical register, this returns the register that receives the
108 /// exception address on entry to an EH pad.
110 getExceptionPointerRegister(const Constant *PersonalityFn) const override;
111
112 /// If a physical register, this returns the register that receives the
113 /// exception typeid on entry to a landing pad.
115 getExceptionSelectorRegister(const Constant *PersonalityFn) const override;
116
118 getInlineAsmMemConstraint(StringRef ConstraintCode) const override;
119
120 // We need this for DAGCombiner to eliminate as many ISD::SELECT as possible.
121 // Otherwise we might end up with M68kISD::CMOV.
122 bool convertSelectOfConstantsToMath(EVT VT) const override { return true; }
123
124private:
125 unsigned GetAlignedArgumentStackSize(unsigned StackSize,
126 SelectionDAG &DAG) const;
127
128 bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override {
129 // In many cases, `GA` doesn't give the correct offset to fold. It's
130 // hard to know if the real offset actually fits into the displacement
131 // of the perspective addressing mode.
132 // Thus, we disable offset folding altogether and leave that to ISel
133 // patterns.
134 return false;
135 }
136
137 SDValue getReturnAddressFrameIndex(SelectionDAG &DAG) const;
138
139 /// Emit a load of return address if tail call
140 /// optimization is performed and it is required.
141 SDValue EmitTailCallLoadRetAddr(SelectionDAG &DAG, SDValue &OutRetAddr,
142 SDValue Chain, bool IsTailCall, int FPDiff,
143 const SDLoc &DL) const;
144
145 /// Emit a store of the return address if tail call
146 /// optimization is performed and it is required (FPDiff!=0).
147 SDValue EmitTailCallStoreRetAddr(SelectionDAG &DAG, MachineFunction &MF,
148 SDValue Chain, SDValue RetAddrFrIdx,
149 EVT PtrVT, unsigned SlotSize, int FPDiff,
150 const SDLoc &DL) const;
151
152 SDValue LowerMemArgument(SDValue Chain, CallingConv::ID CallConv,
153 const SmallVectorImpl<ISD::InputArg> &ArgInfo,
154 const SDLoc &DL, SelectionDAG &DAG,
155 const CCValAssign &VA, MachineFrameInfo &MFI,
156 unsigned ArgIdx) const;
157
158 SDValue LowerMemOpCallTo(SDValue Chain, SDValue StackPtr, SDValue Arg,
159 const SDLoc &DL, SelectionDAG &DAG,
160 const CCValAssign &VA, ISD::ArgFlagsTy Flags) const;
161
162 SDValue LowerXALUO(SDValue Op, SelectionDAG &DAG) const;
163 SDValue LowerToBTST(SDValue And, ISD::CondCode CC, const SDLoc &DL,
164 SelectionDAG &DAG) const;
165 SDValue LowerSETCC(SDValue Op, SelectionDAG &DAG) const;
166 SDValue LowerSETCCCARRY(SDValue Op, SelectionDAG &DAG) const;
167 SDValue LowerSELECT(SDValue Op, SelectionDAG &DAG) const;
168 SDValue LowerBRCOND(SDValue Op, SelectionDAG &DAG) const;
169 SDValue LowerADDC_ADDE_SUBC_SUBE(SDValue Op, SelectionDAG &DAG) const;
170 SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const;
171 SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const;
172 SDValue LowerExternalSymbol(SDValue Op, SelectionDAG &DAG) const;
173 SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const;
174 SDValue LowerGlobalAddress(const GlobalValue *GV, const SDLoc &DL,
175 int64_t Offset, SelectionDAG &DAG) const;
176 SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
177 SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const;
178 SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) const;
179 SDValue LowerShiftLeftParts(SDValue Op, SelectionDAG &DAG) const;
180 SDValue LowerShiftRightParts(SDValue Op, SelectionDAG &DAG, bool IsSRA) const;
181
182 SDValue LowerATOMICFENCE(SDValue Op, SelectionDAG &DAG) const;
183
184 SDValue LowerCallResult(SDValue Chain, SDValue InGlue,
185 CallingConv::ID CallConv, bool IsVarArg,
186 const SmallVectorImpl<ISD::InputArg> &Ins,
187 const SDLoc &DL, SelectionDAG &DAG,
188 SmallVectorImpl<SDValue> &InVals) const;
189 SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const;
190
191 /// LowerFormalArguments - transform physical registers into virtual
192 /// registers and generate load operations for arguments places on the stack.
193 SDValue LowerFormalArguments(SDValue Chain, CallingConv::ID CCID,
194 bool IsVarArg,
195 const SmallVectorImpl<ISD::InputArg> &Ins,
196 const SDLoc &DL, SelectionDAG &DAG,
197 SmallVectorImpl<SDValue> &InVals) const override;
198
199 SDValue LowerCall(CallLoweringInfo &CLI,
200 SmallVectorImpl<SDValue> &InVals) const override;
201
202 bool CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF,
203 bool isVarArg,
204 const SmallVectorImpl<ISD::OutputArg> &Outs,
205 LLVMContext &Context, const Type *RetTy) const override;
206
207 /// Lower the result values of a call into the
208 /// appropriate copies out of appropriate physical registers.
209 SDValue LowerReturn(SDValue Chain, CallingConv::ID CCID, bool IsVarArg,
210 const SmallVectorImpl<ISD::OutputArg> &Outs,
211 const SmallVectorImpl<SDValue> &OutVals, const SDLoc &DL,
212 SelectionDAG &DAG) const override;
213
214 SDValue LowerExternalSymbolCall(SelectionDAG &DAG, SDLoc loc,
215 llvm::StringRef SymbolName,
216 ArgListTy &&ArgList) const;
217 SDValue getTLSGetAddr(GlobalAddressSDNode *GA, SelectionDAG &DAG,
218 unsigned TargetFlags) const;
219 SDValue getM68kReadTp(SDLoc Loc, SelectionDAG &DAG) const;
220
221 SDValue LowerTLSGeneralDynamic(GlobalAddressSDNode *GA,
222 SelectionDAG &DAG) const;
223 SDValue LowerTLSLocalDynamic(GlobalAddressSDNode *GA,
224 SelectionDAG &DAG) const;
225 SDValue LowerTLSInitialExec(GlobalAddressSDNode *GA, SelectionDAG &DAG) const;
226 SDValue LowerTLSLocalExec(GlobalAddressSDNode *GA, SelectionDAG &DAG) const;
227
228 bool decomposeMulByConstant(LLVMContext &Context, EVT VT,
229 SDValue C) const override;
230
231 MachineBasicBlock *EmitLoweredSelect(MachineInstr &I,
232 MachineBasicBlock *MBB) const;
233 MachineBasicBlock *EmitLoweredSegAlloca(MachineInstr &MI,
234 MachineBasicBlock *BB) const;
235
236 /// Emit nodes that will be selected as "test Op0,Op0", or something
237 /// equivalent, for use with the given M68k condition code.
238 SDValue EmitTest(SDValue Op0, unsigned M68kCC, const SDLoc &dl,
239 SelectionDAG &DAG) const;
240
241 /// Emit nodes that will be selected as "cmp Op0,Op1", or something
242 /// equivalent, for use with the given M68k condition code.
243 SDValue EmitCmp(SDValue Op0, SDValue Op1, unsigned M68kCC, const SDLoc &dl,
244 SelectionDAG &DAG) const;
245
246 /// Check whether the call is eligible for tail call optimization. Targets
247 /// that want to do tail call optimization should implement this function.
248 bool IsEligibleForTailCallOptimization(
249 SDValue Callee, CallingConv::ID CalleeCC, bool IsVarArg,
250 bool IsCalleeStructRet, bool IsCallerStructRet, Type *RetTy,
251 const SmallVectorImpl<ISD::OutputArg> &Outs,
252 const SmallVectorImpl<SDValue> &OutVals,
253 const SmallVectorImpl<ISD::InputArg> &Ins, SelectionDAG &DAG) const;
254
255 SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override;
256};
257} // namespace llvm
258
259#endif // LLVM_LIB_TARGET_M68K_M68KISELLOWERING_H
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
return RetTy
IRTranslator LLVM IR MI
This file contains the entry points for global functions defined in the M68k target library,...
#define I(x, y, z)
Definition: MD5.cpp:58
Register const TargetRegisterInfo * TRI
This file describes how to lower LLVM code to machine code.
an instruction that atomically reads a memory location, combines it with another value,...
Definition: Instructions.h:709
This is an important base class in LLVM.
Definition: Constant.h:43
This class represents an Operation in the Expression.
A parsed version of the target data layout string in and methods for querying it.
Definition: DataLayout.h:63
This is an important class for using LLVM in a threaded context.
Definition: LLVMContext.h:68
ConstraintType getConstraintType(StringRef ConstraintStr) const override
Given a constraint, return the type of constraint it is for this target.
void LowerAsmOperandForConstraint(SDValue Op, StringRef Constraint, std::vector< SDValue > &Ops, SelectionDAG &DAG) const override
Lower the specified operand into the Ops vector.
MachineBasicBlock * EmitInstrWithCustomInserter(MachineInstr &MI, MachineBasicBlock *MBB) const override
This method should be implemented by targets that mark instructions with the 'usesCustomInserter' fla...
virtual MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override
EVT is not used in-tree, but is used by out-of-tree target.
const MCExpr * LowerCustomJumpTableEntry(const MachineJumpTableInfo *MJTI, const MachineBasicBlock *MBB, unsigned uid, MCContext &Ctx) const override
SDValue getPICJumpTableRelocBase(SDValue Table, SelectionDAG &DAG) const override
Returns relocation base for the given PIC jumptable.
const MCExpr * getPICJumpTableRelocBaseExpr(const MachineFunction *MF, unsigned JTI, MCContext &Ctx) const override
This returns the relocation base for the given PIC jumptable, the same as getPICJumpTableRelocBase,...
bool convertSelectOfConstantsToMath(EVT VT) const override
Return true if a select of constants (select Cond, C1, C2) should be transformed into simple math ops...
AtomicExpansionKind shouldExpandAtomicRMWInIR(AtomicRMWInst *RMW) const override
Returns how the IR-level AtomicExpand pass should expand the given AtomicRMW, if at all.
Register getExceptionPointerRegister(const Constant *PersonalityFn) const override
If a physical register, this returns the register that receives the exception address on entry to an ...
CCAssignFn * getCCAssignFn(CallingConv::ID CC, bool Return, bool IsVarArg) const
static const M68kTargetLowering * create(const M68kTargetMachine &TM, const M68kSubtarget &STI)
InlineAsm::ConstraintCode getInlineAsmMemConstraint(StringRef ConstraintCode) const override
SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override
Provide custom lowering hooks for some operations.
EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context, EVT VT) const override
Return the value type to use for ISD::SETCC.
unsigned getJumpTableEncoding() const override
Return the entry encoding for a jump table in the current function.
std::pair< unsigned, const TargetRegisterClass * > getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI, StringRef Constraint, MVT VT) const override
Given a physical register constraint (e.g.
Register getExceptionSelectorRegister(const Constant *PersonalityFn) const override
If a physical register, this returns the register that receives the exception typeid on entry to a la...
Context object for machine code objects.
Definition: MCContext.h:83
Base class for the full range of assembler expressions which are needed for parsing.
Definition: MCExpr.h:34
Machine Value Type.
Representation of each machine instruction.
Definition: MachineInstr.h:72
Wrapper class representing virtual and physical registers.
Definition: Register.h:19
Unlike LLVM values, Selection DAG nodes may return multiple values as the result of a computation.
This is used to represent a portion of an LLVM function in a low-level Data Dependence DAG representa...
Definition: SelectionDAG.h:229
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:55
AtomicExpansionKind
Enum that specifies what an atomic load/AtomicRMWInst is expanded to, if at all.
std::vector< ArgListEntry > ArgListTy
This class defines information used to lower LLVM code to legal SelectionDAG operators that the targe...
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition: CallingConv.h:24
@ C
The default llvm calling convention, compatible with C.
Definition: CallingConv.h:34
CondCode
ISD::CondCode enum - These are ordered carefully to make the bitfields below work out,...
Definition: ISDOpcodes.h:1685
bool isCalleePop(CallingConv::ID CallingConv, bool IsVarArg, bool GuaranteeTCO)
Determines whether the callee is required to pop its own arguments.
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
@ Offset
Definition: DWP.cpp:477
bool CCAssignFn(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, Type *OrigTy, CCState &State)
CCAssignFn - This function assigns a location for Val, updating State to reflect the change.
DWARFExpression::Operation Op
#define N
Extended Value Type.
Definition: ValueTypes.h:35