LLVM 19.0.0git
MSP430InstrInfo.cpp
Go to the documentation of this file.
1//===-- MSP430InstrInfo.cpp - MSP430 Instruction Information --------------===//
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 MSP430 implementation of the TargetInstrInfo class.
10//
11//===----------------------------------------------------------------------===//
12
13#include "MSP430InstrInfo.h"
14#include "MSP430.h"
16#include "MSP430TargetMachine.h"
20#include "llvm/IR/Function.h"
23
24using namespace llvm;
25
26#define GET_INSTRINFO_CTOR_DTOR
27#include "MSP430GenInstrInfo.inc"
28
29// Pin the vtable to this file.
30void MSP430InstrInfo::anchor() {}
31
33 : MSP430GenInstrInfo(MSP430::ADJCALLSTACKDOWN, MSP430::ADJCALLSTACKUP),
34 RI() {}
35
38 bool isKill, int FrameIdx, const TargetRegisterClass *RC,
39 const TargetRegisterInfo *TRI, Register VReg) const {
41 if (MI != MBB.end()) DL = MI->getDebugLoc();
44
48 MFI.getObjectAlign(FrameIdx));
49
50 if (RC == &MSP430::GR16RegClass)
51 BuildMI(MBB, MI, DL, get(MSP430::MOV16mr))
52 .addFrameIndex(FrameIdx).addImm(0)
53 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
54 else if (RC == &MSP430::GR8RegClass)
55 BuildMI(MBB, MI, DL, get(MSP430::MOV8mr))
56 .addFrameIndex(FrameIdx).addImm(0)
57 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
58 else
59 llvm_unreachable("Cannot store this register to stack slot!");
60}
61
64 Register DestReg, int FrameIdx,
65 const TargetRegisterClass *RC,
67 Register VReg) const {
69 if (MI != MBB.end()) DL = MI->getDebugLoc();
72
76 MFI.getObjectAlign(FrameIdx));
77
78 if (RC == &MSP430::GR16RegClass)
79 BuildMI(MBB, MI, DL, get(MSP430::MOV16rm))
80 .addReg(DestReg, getDefRegState(true)).addFrameIndex(FrameIdx)
81 .addImm(0).addMemOperand(MMO);
82 else if (RC == &MSP430::GR8RegClass)
83 BuildMI(MBB, MI, DL, get(MSP430::MOV8rm))
84 .addReg(DestReg, getDefRegState(true)).addFrameIndex(FrameIdx)
85 .addImm(0).addMemOperand(MMO);
86 else
87 llvm_unreachable("Cannot store this register to stack slot!");
88}
89
92 const DebugLoc &DL, MCRegister DestReg,
93 MCRegister SrcReg, bool KillSrc) const {
94 unsigned Opc;
95 if (MSP430::GR16RegClass.contains(DestReg, SrcReg))
96 Opc = MSP430::MOV16rr;
97 else if (MSP430::GR8RegClass.contains(DestReg, SrcReg))
98 Opc = MSP430::MOV8rr;
99 else
100 llvm_unreachable("Impossible reg-to-reg copy");
101
102 BuildMI(MBB, I, DL, get(Opc), DestReg)
103 .addReg(SrcReg, getKillRegState(KillSrc));
104}
105
107 int *BytesRemoved) const {
108 assert(!BytesRemoved && "code size not handled");
109
111 unsigned Count = 0;
112
113 while (I != MBB.begin()) {
114 --I;
115 if (I->isDebugInstr())
116 continue;
117 if (I->getOpcode() != MSP430::JMP &&
118 I->getOpcode() != MSP430::JCC &&
119 I->getOpcode() != MSP430::Bi &&
120 I->getOpcode() != MSP430::Br &&
121 I->getOpcode() != MSP430::Bm)
122 break;
123 // Remove the branch.
124 I->eraseFromParent();
125 I = MBB.end();
126 ++Count;
127 }
128
129 return Count;
130}
131
134 assert(Cond.size() == 1 && "Invalid Xbranch condition!");
135
136 MSP430CC::CondCodes CC = static_cast<MSP430CC::CondCodes>(Cond[0].getImm());
137
138 switch (CC) {
139 default: llvm_unreachable("Invalid branch condition!");
140 case MSP430CC::COND_E:
142 break;
145 break;
146 case MSP430CC::COND_L:
148 break;
151 break;
154 break;
157 break;
158 }
159
160 Cond[0].setImm(CC);
161 return false;
162}
163
166 MachineBasicBlock *&FBB,
168 bool AllowModify) const {
169 // Start from the bottom of the block and work up, examining the
170 // terminator instructions.
172 while (I != MBB.begin()) {
173 --I;
174 if (I->isDebugInstr())
175 continue;
176
177 // Working from the bottom, when we see a non-terminator
178 // instruction, we're done.
179 if (!isUnpredicatedTerminator(*I))
180 break;
181
182 // A terminator that isn't a branch can't easily be handled
183 // by this analysis.
184 if (!I->isBranch())
185 return true;
186
187 // Cannot handle indirect branches.
188 if (I->getOpcode() == MSP430::Br ||
189 I->getOpcode() == MSP430::Bm)
190 return true;
191
192 // Handle unconditional branches.
193 if (I->getOpcode() == MSP430::JMP || I->getOpcode() == MSP430::Bi) {
194 if (!AllowModify) {
195 TBB = I->getOperand(0).getMBB();
196 continue;
197 }
198
199 // If the block has any instructions after a JMP, delete them.
200 MBB.erase(std::next(I), MBB.end());
201 Cond.clear();
202 FBB = nullptr;
203
204 // Delete the JMP if it's equivalent to a fall-through.
205 if (MBB.isLayoutSuccessor(I->getOperand(0).getMBB())) {
206 TBB = nullptr;
207 I->eraseFromParent();
208 I = MBB.end();
209 continue;
210 }
211
212 // TBB is used to indicate the unconditinal destination.
213 TBB = I->getOperand(0).getMBB();
214 continue;
215 }
216
217 // Handle conditional branches.
218 assert(I->getOpcode() == MSP430::JCC && "Invalid conditional branch");
219 MSP430CC::CondCodes BranchCode =
220 static_cast<MSP430CC::CondCodes>(I->getOperand(1).getImm());
221 if (BranchCode == MSP430CC::COND_INVALID)
222 return true; // Can't handle weird stuff.
223
224 // Working from the bottom, handle the first conditional branch.
225 if (Cond.empty()) {
226 FBB = TBB;
227 TBB = I->getOperand(0).getMBB();
228 Cond.push_back(MachineOperand::CreateImm(BranchCode));
229 continue;
230 }
231
232 // Handle subsequent conditional branches. Only handle the case where all
233 // conditional branches branch to the same destination.
234 assert(Cond.size() == 1);
235 assert(TBB);
236
237 // Only handle the case where all conditional branches branch to
238 // the same destination.
239 if (TBB != I->getOperand(0).getMBB())
240 return true;
241
242 MSP430CC::CondCodes OldBranchCode = (MSP430CC::CondCodes)Cond[0].getImm();
243 // If the conditions are the same, we can leave them alone.
244 if (OldBranchCode == BranchCode)
245 continue;
246
247 return true;
248 }
249
250 return false;
251}
252
257 const DebugLoc &DL,
258 int *BytesAdded) const {
259 // Shouldn't be a fall through.
260 assert(TBB && "insertBranch must not be told to insert a fallthrough");
261 assert((Cond.size() == 1 || Cond.size() == 0) &&
262 "MSP430 branch conditions have one component!");
263 assert(!BytesAdded && "code size not handled");
264
265 if (Cond.empty()) {
266 // Unconditional branch?
267 assert(!FBB && "Unconditional branch with multiple successors!");
268 BuildMI(&MBB, DL, get(MSP430::JMP)).addMBB(TBB);
269 return 1;
270 }
271
272 // Conditional branch.
273 unsigned Count = 0;
274 BuildMI(&MBB, DL, get(MSP430::JCC)).addMBB(TBB).addImm(Cond[0].getImm());
275 ++Count;
276
277 if (FBB) {
278 // Two-way Conditional branch. Insert the second branch.
279 BuildMI(&MBB, DL, get(MSP430::JMP)).addMBB(FBB);
280 ++Count;
281 }
282 return Count;
283}
284
285/// GetInstSize - Return the number of bytes of code the specified
286/// instruction may be. This returns the maximum number of bytes.
287///
289 const MCInstrDesc &Desc = MI.getDesc();
290
291 switch (Desc.getOpcode()) {
292 case TargetOpcode::CFI_INSTRUCTION:
293 case TargetOpcode::EH_LABEL:
294 case TargetOpcode::IMPLICIT_DEF:
295 case TargetOpcode::KILL:
296 case TargetOpcode::DBG_VALUE:
297 return 0;
298 case TargetOpcode::INLINEASM:
299 case TargetOpcode::INLINEASM_BR: {
300 const MachineFunction *MF = MI.getParent()->getParent();
302 return TII.getInlineAsmLength(MI.getOperand(0).getSymbolName(),
303 *MF->getTarget().getMCAsmInfo());
304 }
305 }
306
307 return Desc.getSize();
308}
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
const HexagonInstrInfo * TII
IRTranslator LLVM IR MI
#define I(x, y, z)
Definition: MD5.cpp:58
unsigned const TargetRegisterInfo * TRI
const SmallVectorImpl< MachineOperand > MachineBasicBlock * TBB
const SmallVectorImpl< MachineOperand > & Cond
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
static bool contains(SmallPtrSetImpl< ConstantExpr * > &Cache, ConstantExpr *Expr, Constant *C)
Definition: Value.cpp:469
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
unsigned getInlineAsmLength(const char *Str, const MCAsmInfo &MAI, const TargetSubtargetInfo *STI=nullptr) const override
Measure the specified inline asm to determine an approximation of its length.
Describe properties that are true of each instruction in the target description file.
Definition: MCInstrDesc.h:198
Wrapper class representing physical registers. Should be passed by value.
Definition: MCRegister.h:33
void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, const DebugLoc &DL, MCRegister DestReg, MCRegister SrcReg, bool KillSrc) const override
unsigned insertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB, MachineBasicBlock *FBB, ArrayRef< MachineOperand > Cond, const DebugLoc &DL, int *BytesAdded=nullptr) const override
bool reverseBranchCondition(SmallVectorImpl< MachineOperand > &Cond) const override
MSP430InstrInfo(MSP430Subtarget &STI)
void loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, Register DestReg, int FrameIdx, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg) const override
unsigned getInstSizeInBytes(const MachineInstr &MI) const override
GetInstSize - Return the number of bytes of code the specified instruction may be.
bool analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, MachineBasicBlock *&FBB, SmallVectorImpl< MachineOperand > &Cond, bool AllowModify) const override
void storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, Register SrcReg, bool isKill, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg) const override
unsigned removeBranch(MachineBasicBlock &MBB, int *BytesRemoved=nullptr) const override
bool isLayoutSuccessor(const MachineBasicBlock *MBB) const
Return true if the specified MBB will be emitted immediately after this block, such that if this bloc...
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
instr_iterator erase(instr_iterator I)
Remove an instruction from the instruction list and delete it.
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
Align getObjectAlign(int ObjectIdx) const
Return the alignment of the specified stack object.
int64_t getObjectSize(int ObjectIdx) const
Return the size of the specified object.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
MachineMemOperand * getMachineMemOperand(MachinePointerInfo PtrInfo, MachineMemOperand::Flags f, LLT MemTy, Align base_alignment, const AAMDNodes &AAInfo=AAMDNodes(), const MDNode *Ranges=nullptr, SyncScope::ID SSID=SyncScope::System, AtomicOrdering Ordering=AtomicOrdering::NotAtomic, AtomicOrdering FailureOrdering=AtomicOrdering::NotAtomic)
getMachineMemOperand - Allocate a new MachineMemOperand.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
const LLVMTargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
const MachineInstrBuilder & addFrameIndex(int Idx) const
const MachineInstrBuilder & addReg(Register RegNo, unsigned flags=0, unsigned SubReg=0) const
Add a new virtual register operand.
const MachineInstrBuilder & addMBB(MachineBasicBlock *MBB, unsigned TargetFlags=0) const
const MachineInstrBuilder & addMemOperand(MachineMemOperand *MMO) const
Representation of each machine instruction.
Definition: MachineInstr.h:69
A description of a memory reference used in the backend.
@ MOLoad
The memory access reads data.
@ MOStore
The memory access writes data.
static MachineOperand CreateImm(int64_t Val)
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:586
TargetInstrInfo - Interface to description of machine instruction set.
const MCAsmInfo * getMCAsmInfo() const
Return target specific asm information.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
virtual const TargetInstrInfo * getInstrInfo() const
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
CondCodes
Definition: MSP430.h:22
@ COND_LO
Definition: MSP430.h:26
@ COND_L
Definition: MSP430.h:28
@ COND_INVALID
Definition: MSP430.h:32
@ COND_E
Definition: MSP430.h:23
@ COND_GE
Definition: MSP430.h:27
@ COND_NE
Definition: MSP430.h:24
@ COND_HS
Definition: MSP430.h:25
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
decltype(auto) get(const PointerIntPair< PointerTy, IntBits, IntType, PtrTraits, Info > &Pair)
unsigned getDefRegState(bool B)
unsigned getKillRegState(bool B)
Description of the encoding of one expression Op.
static MachinePointerInfo getFixedStack(MachineFunction &MF, int FI, int64_t Offset=0)
Return a MachinePointerInfo record that refers to the specified FrameIndex.