/Users/buildslave/jenkins/workspace/clang-stage2-coverage-R/llvm/lib/Target/Mips/MipsInstrInfo.h
Line | Count | Source |
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 | | |
20 | | #include "MCTargetDesc/MipsMCTargetDesc.h" |
21 | | #include "Mips.h" |
22 | | #include "MipsRegisterInfo.h" |
23 | | #include "llvm/ADT/ArrayRef.h" |
24 | | #include "llvm/CodeGen/MachineBasicBlock.h" |
25 | | #include "llvm/CodeGen/MachineInstrBuilder.h" |
26 | | #include "llvm/CodeGen/MachineMemOperand.h" |
27 | | #include "llvm/CodeGen/TargetInstrInfo.h" |
28 | | #include <cstdint> |
29 | | |
30 | | #define GET_INSTRINFO_HEADER |
31 | | #include "MipsGenInstrInfo.inc" |
32 | | |
33 | | namespace llvm { |
34 | | |
35 | | class MachineInstr; |
36 | | class MachineOperand; |
37 | | class MipsSubtarget; |
38 | | class TargetRegisterClass; |
39 | | class TargetRegisterInfo; |
40 | | |
41 | | class MipsInstrInfo : public MipsGenInstrInfo { |
42 | | virtual void anchor(); |
43 | | |
44 | | protected: |
45 | | const MipsSubtarget &Subtarget; |
46 | | unsigned UncondBrOpc; |
47 | | |
48 | | public: |
49 | | enum BranchType { |
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 |
63 | | bool analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, |
64 | | MachineBasicBlock *&FBB, |
65 | | SmallVectorImpl<MachineOperand> &Cond, |
66 | | bool AllowModify) const override; |
67 | | |
68 | | unsigned removeBranch(MachineBasicBlock &MBB, |
69 | | int *BytesRemoved = nullptr) const override; |
70 | | |
71 | | unsigned insertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB, |
72 | | MachineBasicBlock *FBB, ArrayRef<MachineOperand> Cond, |
73 | | const DebugLoc &DL, |
74 | | int *BytesAdded = nullptr) const override; |
75 | | |
76 | | bool |
77 | | reverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const override; |
78 | | |
79 | | BranchType analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, |
80 | | MachineBasicBlock *&FBB, |
81 | | SmallVectorImpl<MachineOperand> &Cond, |
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. |
86 | | unsigned getEquivalentCompactForm(const MachineBasicBlock::iterator I) const; |
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 has a forbidden slot. |
96 | | bool HasForbiddenSlot(const MachineInstr &MI) const; |
97 | | |
98 | | /// Insert nop instruction when hazard condition is found |
99 | | void insertNoop(MachineBasicBlock &MBB, |
100 | | MachineBasicBlock::iterator MI) const override; |
101 | | |
102 | | /// getRegisterInfo - TargetInstrInfo is a superset of MRegister info. As |
103 | | /// such, whenever a client has an instance of instruction info, it should |
104 | | /// always be able to get register info as well (through this method). |
105 | | virtual const MipsRegisterInfo &getRegisterInfo() const = 0; |
106 | | |
107 | | virtual unsigned getOppositeBranchOpc(unsigned Opc) const = 0; |
108 | | |
109 | | /// Return the number of bytes of code the specified instruction may be. |
110 | | unsigned getInstSizeInBytes(const MachineInstr &MI) const override; |
111 | | |
112 | | void storeRegToStackSlot(MachineBasicBlock &MBB, |
113 | | MachineBasicBlock::iterator MBBI, |
114 | | unsigned SrcReg, bool isKill, int FrameIndex, |
115 | | const TargetRegisterClass *RC, |
116 | 4.71k | const TargetRegisterInfo *TRI) const override { |
117 | 4.71k | storeRegToStack(MBB, MBBI, SrcReg, isKill, FrameIndex, RC, TRI, 0); |
118 | 4.71k | } |
119 | | |
120 | | void loadRegFromStackSlot(MachineBasicBlock &MBB, |
121 | | MachineBasicBlock::iterator MBBI, |
122 | | unsigned DestReg, int FrameIndex, |
123 | | const TargetRegisterClass *RC, |
124 | 4.93k | const TargetRegisterInfo *TRI) const override { |
125 | 4.93k | loadRegFromStack(MBB, MBBI, DestReg, FrameIndex, RC, TRI, 0); |
126 | 4.93k | } |
127 | | |
128 | | virtual void storeRegToStack(MachineBasicBlock &MBB, |
129 | | MachineBasicBlock::iterator MI, |
130 | | unsigned SrcReg, bool isKill, int FrameIndex, |
131 | | const TargetRegisterClass *RC, |
132 | | const TargetRegisterInfo *TRI, |
133 | | int64_t Offset) const = 0; |
134 | | |
135 | | virtual void loadRegFromStack(MachineBasicBlock &MBB, |
136 | | MachineBasicBlock::iterator MI, |
137 | | unsigned DestReg, int FrameIndex, |
138 | | const TargetRegisterClass *RC, |
139 | | const TargetRegisterInfo *TRI, |
140 | | int64_t Offset) const = 0; |
141 | | |
142 | | virtual void adjustStackPtr(unsigned SP, int64_t Amount, |
143 | | MachineBasicBlock &MBB, |
144 | | MachineBasicBlock::iterator I) const = 0; |
145 | | |
146 | | /// Create an instruction which has the same operands and memory operands |
147 | | /// as MI but has a new opcode. |
148 | | MachineInstrBuilder genInstrWithNewOpc(unsigned NewOpc, |
149 | | MachineBasicBlock::iterator I) const; |
150 | | |
151 | | bool findCommutedOpIndices(MachineInstr &MI, unsigned &SrcOpIdx1, |
152 | | unsigned &SrcOpIdx2) const override; |
153 | | |
154 | | /// Perform target specific instruction verification. |
155 | | bool verifyInstruction(const MachineInstr &MI, |
156 | | StringRef &ErrInfo) const override; |
157 | | |
158 | | std::pair<unsigned, unsigned> |
159 | | decomposeMachineOperandsTargetFlags(unsigned TF) const override; |
160 | | |
161 | | ArrayRef<std::pair<unsigned, const char *>> |
162 | | getSerializableDirectMachineOperandTargetFlags() const override; |
163 | | |
164 | | protected: |
165 | | bool isZeroImm(const MachineOperand &op) const; |
166 | | |
167 | | MachineMemOperand *GetMemOperand(MachineBasicBlock &MBB, int FI, |
168 | | MachineMemOperand::Flags Flags) const; |
169 | | |
170 | | private: |
171 | | virtual unsigned getAnalyzableBrOpc(unsigned Opc) const = 0; |
172 | | |
173 | | void AnalyzeCondBr(const MachineInstr *Inst, unsigned Opc, |
174 | | MachineBasicBlock *&BB, |
175 | | SmallVectorImpl<MachineOperand> &Cond) const; |
176 | | |
177 | | void BuildCondBr(MachineBasicBlock &MBB, MachineBasicBlock *TBB, |
178 | | const DebugLoc &DL, ArrayRef<MachineOperand> Cond) const; |
179 | | }; |
180 | | |
181 | | /// Create MipsInstrInfo objects. |
182 | | const MipsInstrInfo *createMips16InstrInfo(const MipsSubtarget &STI); |
183 | | const MipsInstrInfo *createMipsSEInstrInfo(const MipsSubtarget &STI); |
184 | | |
185 | | } // end namespace llvm |
186 | | |
187 | | #endif // LLVM_LIB_TARGET_MIPS_MIPSINSTRINFO_H |