LLVM 17.0.0git
BPFISelLowering.h
Go to the documentation of this file.
1//===-- BPFISelLowering.h - BPF 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// This file defines the interfaces that BPF uses to lower LLVM code into a
10// selection DAG.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_LIB_TARGET_BPF_BPFISELLOWERING_H
15#define LLVM_LIB_TARGET_BPF_BPFISELLOWERING_H
16
17#include "BPF.h"
20
21namespace llvm {
22class BPFSubtarget;
23namespace BPFISD {
24enum NodeType : unsigned {
31 MEMCPY
32};
33}
34
36public:
37 explicit BPFTargetLowering(const TargetMachine &TM, const BPFSubtarget &STI);
38
39 // Provide custom lowering hooks for some operations.
40 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
41
42 // This method returns the name of a target specific DAG node.
43 const char *getTargetNodeName(unsigned Opcode) const override;
44
45 // This method decides whether folding a constant offset
46 // with the given GlobalAddress is legal.
47 bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override;
48
50 getConstraintType(StringRef Constraint) const override;
51
52 std::pair<unsigned, const TargetRegisterClass *>
54 StringRef Constraint, MVT VT) const override;
55
58 MachineBasicBlock *BB) const override;
59
60 bool getHasAlu32() const { return HasAlu32; }
61 bool getHasJmp32() const { return HasJmp32; }
62 bool getHasJmpExt() const { return HasJmpExt; }
63
65 EVT VT) const override;
66
67 MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override;
68
69private:
70 // Control Instruction Selection Features
71 bool HasAlu32;
72 bool HasJmp32;
73 bool HasJmpExt;
74
75 SDValue LowerBR_CC(SDValue Op, SelectionDAG &DAG) const;
76 SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const;
77 SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
78
79 // Lower the result values of a call, copying them out of physregs into vregs
80 SDValue LowerCallResult(SDValue Chain, SDValue InFlag,
81 CallingConv::ID CallConv, bool IsVarArg,
83 const SDLoc &DL, SelectionDAG &DAG,
84 SmallVectorImpl<SDValue> &InVals) const;
85
86 // Maximum number of arguments to a call
87 static const unsigned MaxArgs;
88
89 // Lower a call into CALLSEQ_START - BPFISD:CALL - CALLSEQ_END chain
91 SmallVectorImpl<SDValue> &InVals) const override;
92
93 // Lower incoming arguments, copy physregs into vregs
94 SDValue LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv,
95 bool IsVarArg,
97 const SDLoc &DL, SelectionDAG &DAG,
98 SmallVectorImpl<SDValue> &InVals) const override;
99
100 SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool IsVarArg,
102 const SmallVectorImpl<SDValue> &OutVals, const SDLoc &DL,
103 SelectionDAG &DAG) const override;
104
105 void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue> &Results,
106 SelectionDAG &DAG) const override;
107
108 EVT getOptimalMemOpType(const MemOp &Op,
109 const AttributeList &FuncAttributes) const override {
110 return Op.size() >= 8 ? MVT::i64 : MVT::i32;
111 }
112
113 bool isIntDivCheap(EVT VT, AttributeList Attr) const override { return true; }
114
115 bool shouldConvertConstantLoadToIntImm(const APInt &Imm,
116 Type *Ty) const override {
117 return true;
118 }
119
120 // Prevent reducing load width during SelectionDag phase.
121 // Otherwise, we may transform the following
122 // ctx = ctx + reloc_offset
123 // ... (*(u32 *)ctx) & 0x8000...
124 // to
125 // ctx = ctx + reloc_offset
126 // ... (*(u8 *)(ctx + 1)) & 0x80 ...
127 // which will be rejected by the verifier.
128 bool shouldReduceLoadWidth(SDNode *Load, ISD::LoadExtType ExtTy,
129 EVT NewVT) const override {
130 return false;
131 }
132
133 bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM,
134 Type *Ty, unsigned AS,
135 Instruction *I = nullptr) const override;
136
137 // isTruncateFree - Return true if it's free to truncate a value of
138 // type Ty1 to type Ty2. e.g. On BPF at alu32 mode, it's free to truncate
139 // a i64 value in register R1 to i32 by referencing its sub-register W1.
140 bool isTruncateFree(Type *Ty1, Type *Ty2) const override;
141 bool isTruncateFree(EVT VT1, EVT VT2) const override;
142
143 // For 32bit ALU result zext to 64bit is free.
144 bool isZExtFree(Type *Ty1, Type *Ty2) const override;
145 bool isZExtFree(EVT VT1, EVT VT2) const override;
146
147 unsigned EmitSubregExt(MachineInstr &MI, MachineBasicBlock *BB, unsigned Reg,
148 bool isSigned) const;
149
150 MachineBasicBlock * EmitInstrWithCustomInserterMemcpy(MachineInstr &MI,
151 MachineBasicBlock *BB)
152 const;
153
154};
155}
156
157#endif
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
Function Alias Analysis Results
static bool isSigned(unsigned int Opcode)
IRTranslator LLVM IR MI
#define I(x, y, z)
Definition: MD5.cpp:58
unsigned const TargetRegisterInfo * TRI
unsigned Reg
const char LLVMTargetMachineRef TM
This file describes how to lower LLVM code to machine code.
BPFTargetLowering::ConstraintType getConstraintType(StringRef Constraint) const override
Given a constraint, return the type of constraint it is for this target.
const char * getTargetNodeName(unsigned Opcode) const override
This method returns the name of a target specific DAG node.
bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override
Return true if folding a constant offset with the given GlobalAddress is legal.
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...
MachineBasicBlock * EmitInstrWithCustomInserter(MachineInstr &MI, MachineBasicBlock *BB) const override
This method should be implemented by targets that mark instructions with the 'usesCustomInserter' fla...
MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override
Return the type to use for a scalar shift opcode, given the shifted amount type.
std::pair< unsigned, const TargetRegisterClass * > getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI, StringRef Constraint, MVT VT) const override
Given a physical register constraint (e.g.
A parsed version of the target data layout string in and methods for querying it.
Definition: DataLayout.h:110
This is an important class for using LLVM in a threaded context.
Definition: LLVMContext.h:67
Machine Value Type.
Representation of each machine instruction.
Definition: MachineInstr.h:68
Wrapper class for IR location info (IR ordering and DebugLoc) to be passed into SDNode creation funct...
Represents one node in the SelectionDAG.
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:225
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: SmallVector.h:577
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
This class defines information used to lower LLVM code to legal SelectionDAG operators that the targe...
Primary interface to the complete machine description for the target machine.
Definition: TargetMachine.h:78
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
@ BUILTIN_OP_END
BUILTIN_OP_END - This must be the last enum value in this list.
Definition: ISDOpcodes.h:1324
LoadExtType
LoadExtType enum - This enum defines the three variants of LOADEXT (load with extension).
Definition: ISDOpcodes.h:1427
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
#define N
Extended Value Type.
Definition: ValueTypes.h:34
This structure contains all information that is necessary for lowering calls.