LLVM 22.0.0git
CSKYISelLowering.h
Go to the documentation of this file.
1//===-- CSKYISelLowering.cpp - CSKY DAG Lowering Implementation ----------===//
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// This file defines the interfaces that CSKY uses to lower LLVM code into a
10// selection DAG.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_LIB_TARGET_CSKY_CSKYISELLOWERING_H
15#define LLVM_LIB_TARGET_CSKY_CSKYISELLOWERING_H
16
21
22namespace llvm {
23class CSKYSubtarget;
24
26 const CSKYSubtarget &Subtarget;
27
28public:
29 explicit CSKYTargetLowering(const TargetMachine &TM,
30 const CSKYSubtarget &STI);
31
32 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
33
35 EVT VT) const override;
36
37private:
38 SDValue LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv,
39 bool IsVarArg,
41 const SDLoc &DL, SelectionDAG &DAG,
42 SmallVectorImpl<SDValue> &InVals) const override;
43
44 bool CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF,
45 bool IsVarArg,
47 LLVMContext &Context, const Type *RetTy) const override;
48
49 SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool IsVarArg,
51 const SmallVectorImpl<SDValue> &OutVals, const SDLoc &DL,
52 SelectionDAG &DAG) const override;
53
55 SmallVectorImpl<SDValue> &InVals) const override;
56
57 /// If a physical register, this returns the register that receives the
58 /// exception address on entry to an EH pad.
60 getExceptionPointerRegister(const Constant *PersonalityFn) const override;
61
62 /// If a physical register, this returns the register that receives the
63 /// exception typeid on entry to a landing pad.
65 getExceptionSelectorRegister(const Constant *PersonalityFn) const override;
66
67 bool isSelectSupported(SelectSupportKind Kind) const override {
68 // CSKY does not support scalar condition selects on vectors.
69 return (Kind != ScalarCondVectorVal);
70 }
71
72 ConstraintType getConstraintType(StringRef Constraint) const override;
73
74 std::pair<unsigned, const TargetRegisterClass *>
75 getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI,
76 StringRef Constraint, MVT VT) const override;
77
79 EmitInstrWithCustomInserter(MachineInstr &MI,
80 MachineBasicBlock *BB) const override;
81
82 SDValue getTargetNode(GlobalAddressSDNode *N, SDLoc DL, EVT Ty,
83 SelectionDAG &DAG, unsigned Flags) const;
84
85 SDValue getTargetNode(ExternalSymbolSDNode *N, SDLoc DL, EVT Ty,
86 SelectionDAG &DAG, unsigned Flags) const;
87
88 SDValue getTargetNode(JumpTableSDNode *N, SDLoc DL, EVT Ty, SelectionDAG &DAG,
89 unsigned Flags) const;
90
91 SDValue getTargetNode(BlockAddressSDNode *N, SDLoc DL, EVT Ty,
92 SelectionDAG &DAG, unsigned Flags) const;
93
94 SDValue getTargetNode(ConstantPoolSDNode *N, SDLoc DL, EVT Ty,
95 SelectionDAG &DAG, unsigned Flags) const;
96
97 SDValue getTargetConstantPoolValue(GlobalAddressSDNode *N, EVT Ty,
98 SelectionDAG &DAG, unsigned Flags) const;
99
100 SDValue getTargetConstantPoolValue(ExternalSymbolSDNode *N, EVT Ty,
101 SelectionDAG &DAG, unsigned Flags) const;
102
103 SDValue getTargetConstantPoolValue(JumpTableSDNode *N, EVT Ty,
104 SelectionDAG &DAG, unsigned Flags) const;
105
106 SDValue getTargetConstantPoolValue(BlockAddressSDNode *N, EVT Ty,
107 SelectionDAG &DAG, unsigned Flags) const;
108
109 SDValue getTargetConstantPoolValue(ConstantPoolSDNode *N, EVT Ty,
110 SelectionDAG &DAG, unsigned Flags) const;
111
112 template <class NodeTy, bool IsCall = false>
113 SDValue getAddr(NodeTy *N, SelectionDAG &DAG, bool IsLocal = true) const {
114 SDLoc DL(N);
115 EVT Ty = getPointerTy(DAG.getDataLayout());
116
117 unsigned Flag = CSKYII::MO_None;
118 bool IsPIC = isPositionIndependent();
119
120 if (IsPIC)
121 Flag = IsLocal ? CSKYII::MO_GOTOFF
122 : IsCall ? CSKYII::MO_PLT32
124
125 SDValue TCPV = getTargetConstantPoolValue(N, Ty, DAG, Flag);
126 SDValue TV = getTargetNode(N, DL, Ty, DAG, Flag);
127 SDValue Addr = DAG.getNode(CSKYISD::LOAD_ADDR, DL, Ty, {TV, TCPV});
128
129 if (!IsPIC)
130 return Addr;
131
132 SDValue Result =
133 DAG.getNode(ISD::ADD, DL, Ty, {DAG.getGLOBAL_OFFSET_TABLE(Ty), Addr});
134 if (IsLocal)
135 return Result;
136
137 return DAG.getLoad(Ty, DL, DAG.getEntryNode(), Result,
139 }
140
141 SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
142 SDValue LowerExternalSymbol(SDValue Op, SelectionDAG &DAG) const;
143 SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const;
144 SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const;
145 SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const;
146 SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const;
147 SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const;
148 SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const;
149 SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const;
150
151 SDValue getStaticTLSAddr(GlobalAddressSDNode *N, SelectionDAG &DAG,
152 bool UseGOT) const;
153 SDValue getDynamicTLSAddr(GlobalAddressSDNode *N, SelectionDAG &DAG) const;
154
155 CCAssignFn *CCAssignFnForCall(CallingConv::ID CC, bool IsVarArg) const;
156 CCAssignFn *CCAssignFnForReturn(CallingConv::ID CC, bool IsVarArg) const;
157
158 bool decomposeMulByConstant(LLVMContext &Context, EVT VT,
159 SDValue C) const override;
160 bool isCheapToSpeculateCttz(Type *Ty) const override;
161 bool isCheapToSpeculateCtlz(Type *Ty) const override;
162};
163
164} // namespace llvm
165
166#endif // LLVM_LIB_TARGET_CSKY_CSKYISELLOWERING_H
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
IRTranslator LLVM IR MI
Register const TargetRegisterInfo * TRI
This file describes how to lower LLVM code to machine code.
CSKYTargetLowering(const TargetMachine &TM, const CSKYSubtarget &STI)
EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context, EVT VT) const override
Return the ValueType of the result of SETCC operations.
SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override
This callback is invoked for operations that are unsupported by the target, which are registered to u...
This is an important base class in LLVM.
Definition Constant.h:43
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
Machine Value Type.
Representation of each machine instruction.
Wrapper class representing virtual and physical registers.
Definition Register.h:19
Wrapper class for IR location info (IR ordering and DebugLoc) to be passed into SDNode creation funct...
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...
LLVM_ABI SDValue getLoad(EVT VT, const SDLoc &dl, SDValue Chain, SDValue Ptr, MachinePointerInfo PtrInfo, MaybeAlign Alignment=MaybeAlign(), MachineMemOperand::Flags MMOFlags=MachineMemOperand::MONone, const AAMDNodes &AAInfo=AAMDNodes(), const MDNode *Ranges=nullptr)
Loads are not normal binary operators: their result type is not determined by their operands,...
SDValue getGLOBAL_OFFSET_TABLE(EVT VT)
Return a GLOBAL_OFFSET_TABLE node. This does not have a useful SDLoc.
const DataLayout & getDataLayout() const
LLVM_ABI SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, ArrayRef< SDUse > Ops)
Gets or creates the specified node.
MachineFunction & getMachineFunction() const
SDValue getEntryNode() const
Return the token chain corresponding to the entry of the function.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
StringRef - Represent a constant reference to a string, i.e.
Definition StringRef.h:55
SelectSupportKind
Enum that describes what type of support for selects the target has.
virtual MVT getPointerTy(const DataLayout &DL, uint32_t AS=0) const
Return the pointer type for the given address space, defaults to the pointer type from the data layou...
bool isPositionIndependent() const
TargetLowering(const TargetLowering &)=delete
Primary interface to the complete machine description for the target machine.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:45
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
@ ADD
Simple integer binary arithmetic operators.
Definition ISDOpcodes.h:259
This is an optimization pass for GlobalISel generic memory operations.
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
static LLVM_ABI MachinePointerInfo getGOT(MachineFunction &MF)
Return a MachinePointerInfo record that refers to a GOT entry.
This structure contains all information that is necessary for lowering calls.