LLVM 20.0.0git
MipsInstrInfo.h
Go to the documentation of this file.
1//===- MipsInstrInfo.h - Mips Instruction Information -----------*- 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 contains the Mips implementation of the TargetInstrInfo class.
10//
11// FIXME: We need to override TargetInstrInfo::getInlineAsmLength method in
12// order for MipsLongBranch pass to work correctly when the code has inline
13// assembly. The returned value doesn't have to be the asm instruction's exact
14// size in bytes; MipsLongBranch only expects it to be the correct upper bound.
15//===----------------------------------------------------------------------===//
16
17#ifndef LLVM_LIB_TARGET_MIPS_MIPSINSTRINFO_H
18#define LLVM_LIB_TARGET_MIPS_MIPSINSTRINFO_H
19
21#include "Mips.h"
22#include "MipsRegisterInfo.h"
23#include "llvm/ADT/ArrayRef.h"
28#include <cstdint>
29
30#define GET_INSTRINFO_HEADER
31#include "MipsGenInstrInfo.inc"
32
33namespace llvm {
34
35class MachineInstr;
36class MachineOperand;
37class MipsSubtarget;
38class TargetRegisterClass;
39class TargetRegisterInfo;
40
42 virtual void anchor();
43
44protected:
46 unsigned UncondBrOpc;
47
48public:
50 BT_None, // Couldn't analyze branch.
51 BT_NoBranch, // No branches found.
52 BT_Uncond, // One unconditional branch.
53 BT_Cond, // One conditional branch.
54 BT_CondUncond, // A conditional branch followed by an unconditional branch.
55 BT_Indirect // One indirct branch.
56 };
57
58 explicit MipsInstrInfo(const MipsSubtarget &STI, unsigned UncondBrOpc);
59
60 static const MipsInstrInfo *create(MipsSubtarget &STI);
61
62 /// Branch Analysis
66 bool AllowModify) const override;
67
69 int *BytesRemoved = nullptr) const override;
70
73 const DebugLoc &DL,
74 int *BytesAdded = nullptr) const override;
75
76 bool
78
82 bool AllowModify,
83 SmallVectorImpl<MachineInstr *> &BranchInstrs) const;
84
85 /// Determine the opcode of a non-delay slot form for a branch if one exists.
87
88 /// Determine if the branch target is in range.
89 bool isBranchOffsetInRange(unsigned BranchOpc,
90 int64_t BrOffset) const override;
91
92 /// Predicate to determine if an instruction can go in a forbidden slot.
93 bool SafeInForbiddenSlot(const MachineInstr &MI) const;
94
95 /// Predicate to determine if an instruction can go in an FPU delay slot.
96 bool SafeInFPUDelaySlot(const MachineInstr &MIInSlot,
97 const MachineInstr &FPUMI) const;
98
99 /// Predicate to determine if an instruction can go in a load delay slot.
100 bool SafeInLoadDelaySlot(const MachineInstr &MIInSlot,
101 const MachineInstr &LoadMI) const;
102
103 /// Predicate to determine if an instruction has a forbidden slot.
104 bool HasForbiddenSlot(const MachineInstr &MI) const;
105
106 /// Predicate to determine if an instruction has an FPU delay slot.
107 bool HasFPUDelaySlot(const MachineInstr &MI) const;
108
109 /// Predicate to determine if an instruction has a load delay slot.
110 bool HasLoadDelaySlot(const MachineInstr &MI) const;
111
112 /// Insert nop instruction when hazard condition is found
114 MachineBasicBlock::iterator MI) const override;
115
116 /// Insert an ISA appropriate `nop`.
117 // FIXME: Add support for MIPS16e.
120 DebugLoc DL) const;
121
122 /// getRegisterInfo - TargetInstrInfo is a superset of MRegister info. As
123 /// such, whenever a client has an instance of instruction info, it should
124 /// always be able to get register info as well (through this method).
125 virtual const MipsRegisterInfo &getRegisterInfo() const = 0;
126
127 virtual unsigned getOppositeBranchOpc(unsigned Opc) const = 0;
128
129 virtual bool isBranchWithImm(unsigned Opc) const {
130 return false;
131 }
132
133 /// Return the number of bytes of code the specified instruction may be.
134 unsigned getInstSizeInBytes(const MachineInstr &MI) const override;
135
138 bool isKill, int FrameIndex,
139 const TargetRegisterClass *RC,
140 const TargetRegisterInfo *TRI,
141 Register VReg) const override {
142 storeRegToStack(MBB, MBBI, SrcReg, isKill, FrameIndex, RC, TRI, 0);
143 }
144
147 int FrameIndex, const TargetRegisterClass *RC,
148 const TargetRegisterInfo *TRI,
149 Register VReg) const override {
150 loadRegFromStack(MBB, MBBI, DestReg, FrameIndex, RC, TRI, 0);
151 }
152
155 Register SrcReg, bool isKill, int FrameIndex,
156 const TargetRegisterClass *RC,
157 const TargetRegisterInfo *TRI,
158 int64_t Offset) const = 0;
159
162 Register DestReg, int FrameIndex,
163 const TargetRegisterClass *RC,
164 const TargetRegisterInfo *TRI,
165 int64_t Offset) const = 0;
166
167 virtual void adjustStackPtr(unsigned SP, int64_t Amount,
170
171 /// Create an instruction which has the same operands and memory operands
172 /// as MI but has a new opcode.
175
176 bool findCommutedOpIndices(const MachineInstr &MI, unsigned &SrcOpIdx1,
177 unsigned &SrcOpIdx2) const override;
178
179 /// Perform target specific instruction verification.
181 StringRef &ErrInfo) const override;
182
183 std::pair<unsigned, unsigned>
184 decomposeMachineOperandsTargetFlags(unsigned TF) const override;
185
188
189 std::optional<RegImmPair> isAddImmediate(const MachineInstr &MI,
190 Register Reg) const override;
191
192 std::optional<ParamLoadedValue>
193 describeLoadedValue(const MachineInstr &MI, Register Reg) const override;
194
195protected:
196 bool isZeroImm(const MachineOperand &op) const;
197
199 MachineMemOperand::Flags Flags) const;
200
201private:
202 virtual unsigned getAnalyzableBrOpc(unsigned Opc) const = 0;
203
204 void AnalyzeCondBr(const MachineInstr *Inst, unsigned Opc,
207
208 void BuildCondBr(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
210};
211
212/// Create MipsInstrInfo objects.
215
216} // end namespace llvm
217
218#endif // LLVM_LIB_TARGET_MIPS_MIPSINSTRINFO_H
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
#define op(i)
IRTranslator LLVM IR MI
#define I(x, y, z)
Definition: MD5.cpp:58
unsigned const TargetRegisterInfo * TRI
unsigned Reg
const SmallVectorImpl< MachineOperand > MachineBasicBlock * TBB
const SmallVectorImpl< MachineOperand > & Cond
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
A debug info location.
Definition: DebugLoc.h:33
Representation of each machine instruction.
Definition: MachineInstr.h:69
A description of a memory reference used in the backend.
Flags
Flags values. These may be or'd together.
MachineOperand class - Representation of each machine instruction operand.
ArrayRef< std::pair< unsigned, const char * > > getSerializableDirectMachineOperandTargetFlags() const override
bool SafeInForbiddenSlot(const MachineInstr &MI) const
Predicate to determine if an instruction can go in a forbidden slot.
unsigned getInstSizeInBytes(const MachineInstr &MI) const override
Return the number of bytes of code the specified instruction may be.
MachineInstrBuilder insertNop(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, DebugLoc DL) const
Insert an ISA appropriate nop.
bool isBranchOffsetInRange(unsigned BranchOpc, int64_t BrOffset) const override
Determine if the branch target is in range.
bool analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, MachineBasicBlock *&FBB, SmallVectorImpl< MachineOperand > &Cond, bool AllowModify) const override
Branch Analysis.
const MipsSubtarget & Subtarget
Definition: MipsInstrInfo.h:45
MachineMemOperand * GetMemOperand(MachineBasicBlock &MBB, int FI, MachineMemOperand::Flags Flags) const
MachineInstrBuilder genInstrWithNewOpc(unsigned NewOpc, MachineBasicBlock::iterator I) const
Create an instruction which has the same operands and memory operands as MI but has a new opcode.
virtual bool isBranchWithImm(unsigned Opc) const
bool HasForbiddenSlot(const MachineInstr &MI) const
Predicate to determine if an instruction has a forbidden slot.
bool SafeInFPUDelaySlot(const MachineInstr &MIInSlot, const MachineInstr &FPUMI) const
Predicate to determine if an instruction can go in an FPU delay slot.
bool isZeroImm(const MachineOperand &op) const
unsigned getEquivalentCompactForm(const MachineBasicBlock::iterator I) const
Determine the opcode of a non-delay slot form for a branch if one exists.
bool SafeInLoadDelaySlot(const MachineInstr &MIInSlot, const MachineInstr &LoadMI) const
Predicate to determine if an instruction can go in a load delay slot.
bool reverseBranchCondition(SmallVectorImpl< MachineOperand > &Cond) const override
reverseBranchCondition - Return the inverse opcode of the specified Branch instruction.
unsigned insertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB, MachineBasicBlock *FBB, ArrayRef< MachineOperand > Cond, const DebugLoc &DL, int *BytesAdded=nullptr) const override
void storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register SrcReg, bool isKill, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg) const override
std::optional< RegImmPair > isAddImmediate(const MachineInstr &MI, Register Reg) const override
virtual void loadRegFromStack(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, Register DestReg, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, int64_t Offset) const =0
bool HasFPUDelaySlot(const MachineInstr &MI) const
Predicate to determine if an instruction has an FPU delay slot.
virtual const MipsRegisterInfo & getRegisterInfo() const =0
getRegisterInfo - TargetInstrInfo is a superset of MRegister info.
bool verifyInstruction(const MachineInstr &MI, StringRef &ErrInfo) const override
Perform target specific instruction verification.
std::pair< unsigned, unsigned > decomposeMachineOperandsTargetFlags(unsigned TF) const override
virtual void adjustStackPtr(unsigned SP, int64_t Amount, MachineBasicBlock &MBB, MachineBasicBlock::iterator I) const =0
static const MipsInstrInfo * create(MipsSubtarget &STI)
bool findCommutedOpIndices(const MachineInstr &MI, unsigned &SrcOpIdx1, unsigned &SrcOpIdx2) const override
std::optional< ParamLoadedValue > describeLoadedValue(const MachineInstr &MI, Register Reg) const override
void loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register DestReg, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg) const override
virtual unsigned getOppositeBranchOpc(unsigned Opc) const =0
bool HasLoadDelaySlot(const MachineInstr &MI) const
Predicate to determine if an instruction has a load delay slot.
virtual void storeRegToStack(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, Register SrcReg, bool isKill, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, int64_t Offset) const =0
unsigned removeBranch(MachineBasicBlock &MBB, int *BytesRemoved=nullptr) const override
void insertNoop(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI) const override
Insert nop instruction when hazard condition is found.
Wrapper class representing virtual and physical registers.
Definition: Register.h:19
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: SmallVector.h:587
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
@ Offset
Definition: DWP.cpp:480
const MipsInstrInfo * createMipsSEInstrInfo(const MipsSubtarget &STI)
const MipsInstrInfo * createMips16InstrInfo(const MipsSubtarget &STI)
Create MipsInstrInfo objects.