/src/llvm-project/llvm/lib/Target/ARM/MCTargetDesc/ARMMCTargetDesc.cpp
Line | Count | Source (jump to first uncovered line) |
1 | | //===-- ARMMCTargetDesc.cpp - ARM Target Descriptions ---------------------===// |
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 provides ARM specific target descriptions. |
10 | | // |
11 | | //===----------------------------------------------------------------------===// |
12 | | |
13 | | #include "ARMMCTargetDesc.h" |
14 | | #include "ARMAddressingModes.h" |
15 | | #include "ARMBaseInfo.h" |
16 | | #include "ARMInstPrinter.h" |
17 | | #include "ARMMCAsmInfo.h" |
18 | | #include "TargetInfo/ARMTargetInfo.h" |
19 | | #include "llvm/DebugInfo/CodeView/CodeView.h" |
20 | | #include "llvm/MC/MCAsmBackend.h" |
21 | | #include "llvm/MC/MCCodeEmitter.h" |
22 | | #include "llvm/MC/MCELFStreamer.h" |
23 | | #include "llvm/MC/MCInstrAnalysis.h" |
24 | | #include "llvm/MC/MCInstrInfo.h" |
25 | | #include "llvm/MC/MCObjectWriter.h" |
26 | | #include "llvm/MC/MCRegisterInfo.h" |
27 | | #include "llvm/MC/MCStreamer.h" |
28 | | #include "llvm/MC/MCSubtargetInfo.h" |
29 | | #include "llvm/MC/TargetRegistry.h" |
30 | | #include "llvm/Support/ErrorHandling.h" |
31 | | #include "llvm/TargetParser/Triple.h" |
32 | | |
33 | | using namespace llvm; |
34 | | |
35 | | #define GET_REGINFO_MC_DESC |
36 | | #include "ARMGenRegisterInfo.inc" |
37 | | |
38 | | static bool getMCRDeprecationInfo(MCInst &MI, const MCSubtargetInfo &STI, |
39 | 0 | std::string &Info) { |
40 | 0 | if (STI.hasFeature(llvm::ARM::HasV7Ops) && |
41 | 0 | (MI.getOperand(0).isImm() && MI.getOperand(0).getImm() == 15) && |
42 | 0 | (MI.getOperand(1).isImm() && MI.getOperand(1).getImm() == 0) && |
43 | | // Checks for the deprecated CP15ISB encoding: |
44 | | // mcr p15, #0, rX, c7, c5, #4 |
45 | 0 | (MI.getOperand(3).isImm() && MI.getOperand(3).getImm() == 7)) { |
46 | 0 | if ((MI.getOperand(5).isImm() && MI.getOperand(5).getImm() == 4)) { |
47 | 0 | if (MI.getOperand(4).isImm() && MI.getOperand(4).getImm() == 5) { |
48 | 0 | Info = "deprecated since v7, use 'isb'"; |
49 | 0 | return true; |
50 | 0 | } |
51 | | |
52 | | // Checks for the deprecated CP15DSB encoding: |
53 | | // mcr p15, #0, rX, c7, c10, #4 |
54 | 0 | if (MI.getOperand(4).isImm() && MI.getOperand(4).getImm() == 10) { |
55 | 0 | Info = "deprecated since v7, use 'dsb'"; |
56 | 0 | return true; |
57 | 0 | } |
58 | 0 | } |
59 | | // Checks for the deprecated CP15DMB encoding: |
60 | | // mcr p15, #0, rX, c7, c10, #5 |
61 | 0 | if (MI.getOperand(4).isImm() && MI.getOperand(4).getImm() == 10 && |
62 | 0 | (MI.getOperand(5).isImm() && MI.getOperand(5).getImm() == 5)) { |
63 | 0 | Info = "deprecated since v7, use 'dmb'"; |
64 | 0 | return true; |
65 | 0 | } |
66 | 0 | } |
67 | 0 | if (STI.hasFeature(llvm::ARM::HasV7Ops) && |
68 | 0 | ((MI.getOperand(0).isImm() && MI.getOperand(0).getImm() == 10) || |
69 | 0 | (MI.getOperand(0).isImm() && MI.getOperand(0).getImm() == 11))) { |
70 | 0 | Info = "since v7, cp10 and cp11 are reserved for advanced SIMD or floating " |
71 | 0 | "point instructions"; |
72 | 0 | return true; |
73 | 0 | } |
74 | 0 | return false; |
75 | 0 | } |
76 | | |
77 | | static bool getMRCDeprecationInfo(MCInst &MI, const MCSubtargetInfo &STI, |
78 | 0 | std::string &Info) { |
79 | 0 | if (STI.hasFeature(llvm::ARM::HasV7Ops) && |
80 | 0 | ((MI.getOperand(0).isImm() && MI.getOperand(0).getImm() == 10) || |
81 | 0 | (MI.getOperand(0).isImm() && MI.getOperand(0).getImm() == 11))) { |
82 | 0 | Info = "since v7, cp10 and cp11 are reserved for advanced SIMD or floating " |
83 | 0 | "point instructions"; |
84 | 0 | return true; |
85 | 0 | } |
86 | 0 | return false; |
87 | 0 | } |
88 | | |
89 | | static bool getARMStoreDeprecationInfo(MCInst &MI, const MCSubtargetInfo &STI, |
90 | 0 | std::string &Info) { |
91 | 0 | assert(!STI.hasFeature(llvm::ARM::ModeThumb) && |
92 | 0 | "cannot predicate thumb instructions"); |
93 | | |
94 | 0 | assert(MI.getNumOperands() >= 4 && "expected >= 4 arguments"); |
95 | 0 | for (unsigned OI = 4, OE = MI.getNumOperands(); OI < OE; ++OI) { |
96 | 0 | assert(MI.getOperand(OI).isReg() && "expected register"); |
97 | 0 | if (MI.getOperand(OI).getReg() == ARM::PC) { |
98 | 0 | Info = "use of PC in the list is deprecated"; |
99 | 0 | return true; |
100 | 0 | } |
101 | 0 | } |
102 | 0 | return false; |
103 | 0 | } |
104 | | |
105 | | static bool getARMLoadDeprecationInfo(MCInst &MI, const MCSubtargetInfo &STI, |
106 | 0 | std::string &Info) { |
107 | 0 | assert(!STI.hasFeature(llvm::ARM::ModeThumb) && |
108 | 0 | "cannot predicate thumb instructions"); |
109 | | |
110 | 0 | assert(MI.getNumOperands() >= 4 && "expected >= 4 arguments"); |
111 | 0 | bool ListContainsPC = false, ListContainsLR = false; |
112 | 0 | for (unsigned OI = 4, OE = MI.getNumOperands(); OI < OE; ++OI) { |
113 | 0 | assert(MI.getOperand(OI).isReg() && "expected register"); |
114 | 0 | switch (MI.getOperand(OI).getReg()) { |
115 | 0 | default: |
116 | 0 | break; |
117 | 0 | case ARM::LR: |
118 | 0 | ListContainsLR = true; |
119 | 0 | break; |
120 | 0 | case ARM::PC: |
121 | 0 | ListContainsPC = true; |
122 | 0 | break; |
123 | 0 | } |
124 | 0 | } |
125 | | |
126 | 0 | if (ListContainsPC && ListContainsLR) { |
127 | 0 | Info = "use of LR and PC simultaneously in the list is deprecated"; |
128 | 0 | return true; |
129 | 0 | } |
130 | | |
131 | 0 | return false; |
132 | 0 | } |
133 | | |
134 | | #define GET_INSTRINFO_MC_DESC |
135 | | #define ENABLE_INSTR_PREDICATE_VERIFIER |
136 | | #include "ARMGenInstrInfo.inc" |
137 | | |
138 | | #define GET_SUBTARGETINFO_MC_DESC |
139 | | #include "ARMGenSubtargetInfo.inc" |
140 | | |
141 | 4.95k | std::string ARM_MC::ParseARMTriple(const Triple &TT, StringRef CPU) { |
142 | 4.95k | std::string ARMArchFeature; |
143 | | |
144 | 4.95k | ARM::ArchKind ArchID = ARM::parseArch(TT.getArchName()); |
145 | 4.95k | if (ArchID != ARM::ArchKind::INVALID && (CPU.empty() || CPU == "generic")) |
146 | 0 | ARMArchFeature = (ARMArchFeature + "+" + ARM::getArchName(ArchID)).str(); |
147 | | |
148 | 4.95k | if (TT.isThumb()) { |
149 | 0 | if (!ARMArchFeature.empty()) |
150 | 0 | ARMArchFeature += ","; |
151 | 0 | ARMArchFeature += "+thumb-mode,+v4t"; |
152 | 0 | } |
153 | | |
154 | 4.95k | if (TT.isOSNaCl()) { |
155 | 0 | if (!ARMArchFeature.empty()) |
156 | 0 | ARMArchFeature += ","; |
157 | 0 | ARMArchFeature += "+nacl-trap"; |
158 | 0 | } |
159 | | |
160 | 4.95k | if (TT.isOSWindows()) { |
161 | 0 | if (!ARMArchFeature.empty()) |
162 | 0 | ARMArchFeature += ","; |
163 | 0 | ARMArchFeature += "+noarm"; |
164 | 0 | } |
165 | | |
166 | 4.95k | return ARMArchFeature; |
167 | 4.95k | } |
168 | | |
169 | 0 | bool ARM_MC::isPredicated(const MCInst &MI, const MCInstrInfo *MCII) { |
170 | 0 | const MCInstrDesc &Desc = MCII->get(MI.getOpcode()); |
171 | 0 | int PredOpIdx = Desc.findFirstPredOperandIdx(); |
172 | 0 | return PredOpIdx != -1 && MI.getOperand(PredOpIdx).getImm() != ARMCC::AL; |
173 | 0 | } |
174 | | |
175 | 0 | bool ARM_MC::isCPSRDefined(const MCInst &MI, const MCInstrInfo *MCII) { |
176 | 0 | const MCInstrDesc &Desc = MCII->get(MI.getOpcode()); |
177 | 0 | for (unsigned I = 0; I < MI.getNumOperands(); ++I) { |
178 | 0 | const MCOperand &MO = MI.getOperand(I); |
179 | 0 | if (MO.isReg() && MO.getReg() == ARM::CPSR && |
180 | 0 | Desc.operands()[I].isOptionalDef()) |
181 | 0 | return true; |
182 | 0 | } |
183 | 0 | return false; |
184 | 0 | } |
185 | | |
186 | | uint64_t ARM_MC::evaluateBranchTarget(const MCInstrDesc &InstDesc, |
187 | 0 | uint64_t Addr, int64_t Imm) { |
188 | | // For ARM instructions the PC offset is 8 bytes, for Thumb instructions it |
189 | | // is 4 bytes. |
190 | 0 | uint64_t Offset = |
191 | 0 | ((InstDesc.TSFlags & ARMII::FormMask) == ARMII::ThumbFrm) ? 4 : 8; |
192 | | |
193 | | // A Thumb instruction BLX(i) can be 16-bit aligned while targets Arm code |
194 | | // which is 32-bit aligned. The target address for the case is calculated as |
195 | | // targetAddress = Align(PC,4) + imm32; |
196 | | // where |
197 | | // Align(x, y) = y * (x DIV y); |
198 | 0 | if (InstDesc.getOpcode() == ARM::tBLXi) |
199 | 0 | Addr &= ~0x3; |
200 | |
|
201 | 0 | return Addr + Imm + Offset; |
202 | 0 | } |
203 | | |
204 | | MCSubtargetInfo *ARM_MC::createARMMCSubtargetInfo(const Triple &TT, |
205 | 2 | StringRef CPU, StringRef FS) { |
206 | 2 | std::string ArchFS = ARM_MC::ParseARMTriple(TT, CPU); |
207 | 2 | if (!FS.empty()) { |
208 | 0 | if (!ArchFS.empty()) |
209 | 0 | ArchFS = (Twine(ArchFS) + "," + FS).str(); |
210 | 0 | else |
211 | 0 | ArchFS = std::string(FS); |
212 | 0 | } |
213 | | |
214 | 2 | return createARMMCSubtargetInfoImpl(TT, CPU, /*TuneCPU*/ CPU, ArchFS); |
215 | 2 | } |
216 | | |
217 | 2 | static MCInstrInfo *createARMMCInstrInfo() { |
218 | 2 | MCInstrInfo *X = new MCInstrInfo(); |
219 | 2 | InitARMMCInstrInfo(X); |
220 | 2 | return X; |
221 | 2 | } |
222 | | |
223 | 2.48k | void ARM_MC::initLLVMToCVRegMapping(MCRegisterInfo *MRI) { |
224 | | // Mapping from CodeView to MC register id. |
225 | 2.48k | static const struct { |
226 | 2.48k | codeview::RegisterId CVReg; |
227 | 2.48k | MCPhysReg Reg; |
228 | 2.48k | } RegMap[] = { |
229 | 2.48k | {codeview::RegisterId::ARM_R0, ARM::R0}, |
230 | 2.48k | {codeview::RegisterId::ARM_R1, ARM::R1}, |
231 | 2.48k | {codeview::RegisterId::ARM_R2, ARM::R2}, |
232 | 2.48k | {codeview::RegisterId::ARM_R3, ARM::R3}, |
233 | 2.48k | {codeview::RegisterId::ARM_R4, ARM::R4}, |
234 | 2.48k | {codeview::RegisterId::ARM_R5, ARM::R5}, |
235 | 2.48k | {codeview::RegisterId::ARM_R6, ARM::R6}, |
236 | 2.48k | {codeview::RegisterId::ARM_R7, ARM::R7}, |
237 | 2.48k | {codeview::RegisterId::ARM_R8, ARM::R8}, |
238 | 2.48k | {codeview::RegisterId::ARM_R9, ARM::R9}, |
239 | 2.48k | {codeview::RegisterId::ARM_R10, ARM::R10}, |
240 | 2.48k | {codeview::RegisterId::ARM_R11, ARM::R11}, |
241 | 2.48k | {codeview::RegisterId::ARM_R12, ARM::R12}, |
242 | 2.48k | {codeview::RegisterId::ARM_SP, ARM::SP}, |
243 | 2.48k | {codeview::RegisterId::ARM_LR, ARM::LR}, |
244 | 2.48k | {codeview::RegisterId::ARM_PC, ARM::PC}, |
245 | 2.48k | {codeview::RegisterId::ARM_CPSR, ARM::CPSR}, |
246 | 2.48k | {codeview::RegisterId::ARM_FPSCR, ARM::FPSCR}, |
247 | 2.48k | {codeview::RegisterId::ARM_FPEXC, ARM::FPEXC}, |
248 | 2.48k | {codeview::RegisterId::ARM_FS0, ARM::S0}, |
249 | 2.48k | {codeview::RegisterId::ARM_FS1, ARM::S1}, |
250 | 2.48k | {codeview::RegisterId::ARM_FS2, ARM::S2}, |
251 | 2.48k | {codeview::RegisterId::ARM_FS3, ARM::S3}, |
252 | 2.48k | {codeview::RegisterId::ARM_FS4, ARM::S4}, |
253 | 2.48k | {codeview::RegisterId::ARM_FS5, ARM::S5}, |
254 | 2.48k | {codeview::RegisterId::ARM_FS6, ARM::S6}, |
255 | 2.48k | {codeview::RegisterId::ARM_FS7, ARM::S7}, |
256 | 2.48k | {codeview::RegisterId::ARM_FS8, ARM::S8}, |
257 | 2.48k | {codeview::RegisterId::ARM_FS9, ARM::S9}, |
258 | 2.48k | {codeview::RegisterId::ARM_FS10, ARM::S10}, |
259 | 2.48k | {codeview::RegisterId::ARM_FS11, ARM::S11}, |
260 | 2.48k | {codeview::RegisterId::ARM_FS12, ARM::S12}, |
261 | 2.48k | {codeview::RegisterId::ARM_FS13, ARM::S13}, |
262 | 2.48k | {codeview::RegisterId::ARM_FS14, ARM::S14}, |
263 | 2.48k | {codeview::RegisterId::ARM_FS15, ARM::S15}, |
264 | 2.48k | {codeview::RegisterId::ARM_FS16, ARM::S16}, |
265 | 2.48k | {codeview::RegisterId::ARM_FS17, ARM::S17}, |
266 | 2.48k | {codeview::RegisterId::ARM_FS18, ARM::S18}, |
267 | 2.48k | {codeview::RegisterId::ARM_FS19, ARM::S19}, |
268 | 2.48k | {codeview::RegisterId::ARM_FS20, ARM::S20}, |
269 | 2.48k | {codeview::RegisterId::ARM_FS21, ARM::S21}, |
270 | 2.48k | {codeview::RegisterId::ARM_FS22, ARM::S22}, |
271 | 2.48k | {codeview::RegisterId::ARM_FS23, ARM::S23}, |
272 | 2.48k | {codeview::RegisterId::ARM_FS24, ARM::S24}, |
273 | 2.48k | {codeview::RegisterId::ARM_FS25, ARM::S25}, |
274 | 2.48k | {codeview::RegisterId::ARM_FS26, ARM::S26}, |
275 | 2.48k | {codeview::RegisterId::ARM_FS27, ARM::S27}, |
276 | 2.48k | {codeview::RegisterId::ARM_FS28, ARM::S28}, |
277 | 2.48k | {codeview::RegisterId::ARM_FS29, ARM::S29}, |
278 | 2.48k | {codeview::RegisterId::ARM_FS30, ARM::S30}, |
279 | 2.48k | {codeview::RegisterId::ARM_FS31, ARM::S31}, |
280 | 2.48k | {codeview::RegisterId::ARM_ND0, ARM::D0}, |
281 | 2.48k | {codeview::RegisterId::ARM_ND1, ARM::D1}, |
282 | 2.48k | {codeview::RegisterId::ARM_ND2, ARM::D2}, |
283 | 2.48k | {codeview::RegisterId::ARM_ND3, ARM::D3}, |
284 | 2.48k | {codeview::RegisterId::ARM_ND4, ARM::D4}, |
285 | 2.48k | {codeview::RegisterId::ARM_ND5, ARM::D5}, |
286 | 2.48k | {codeview::RegisterId::ARM_ND6, ARM::D6}, |
287 | 2.48k | {codeview::RegisterId::ARM_ND7, ARM::D7}, |
288 | 2.48k | {codeview::RegisterId::ARM_ND8, ARM::D8}, |
289 | 2.48k | {codeview::RegisterId::ARM_ND9, ARM::D9}, |
290 | 2.48k | {codeview::RegisterId::ARM_ND10, ARM::D10}, |
291 | 2.48k | {codeview::RegisterId::ARM_ND11, ARM::D11}, |
292 | 2.48k | {codeview::RegisterId::ARM_ND12, ARM::D12}, |
293 | 2.48k | {codeview::RegisterId::ARM_ND13, ARM::D13}, |
294 | 2.48k | {codeview::RegisterId::ARM_ND14, ARM::D14}, |
295 | 2.48k | {codeview::RegisterId::ARM_ND15, ARM::D15}, |
296 | 2.48k | {codeview::RegisterId::ARM_ND16, ARM::D16}, |
297 | 2.48k | {codeview::RegisterId::ARM_ND17, ARM::D17}, |
298 | 2.48k | {codeview::RegisterId::ARM_ND18, ARM::D18}, |
299 | 2.48k | {codeview::RegisterId::ARM_ND19, ARM::D19}, |
300 | 2.48k | {codeview::RegisterId::ARM_ND20, ARM::D20}, |
301 | 2.48k | {codeview::RegisterId::ARM_ND21, ARM::D21}, |
302 | 2.48k | {codeview::RegisterId::ARM_ND22, ARM::D22}, |
303 | 2.48k | {codeview::RegisterId::ARM_ND23, ARM::D23}, |
304 | 2.48k | {codeview::RegisterId::ARM_ND24, ARM::D24}, |
305 | 2.48k | {codeview::RegisterId::ARM_ND25, ARM::D25}, |
306 | 2.48k | {codeview::RegisterId::ARM_ND26, ARM::D26}, |
307 | 2.48k | {codeview::RegisterId::ARM_ND27, ARM::D27}, |
308 | 2.48k | {codeview::RegisterId::ARM_ND28, ARM::D28}, |
309 | 2.48k | {codeview::RegisterId::ARM_ND29, ARM::D29}, |
310 | 2.48k | {codeview::RegisterId::ARM_ND30, ARM::D30}, |
311 | 2.48k | {codeview::RegisterId::ARM_ND31, ARM::D31}, |
312 | 2.48k | {codeview::RegisterId::ARM_NQ0, ARM::Q0}, |
313 | 2.48k | {codeview::RegisterId::ARM_NQ1, ARM::Q1}, |
314 | 2.48k | {codeview::RegisterId::ARM_NQ2, ARM::Q2}, |
315 | 2.48k | {codeview::RegisterId::ARM_NQ3, ARM::Q3}, |
316 | 2.48k | {codeview::RegisterId::ARM_NQ4, ARM::Q4}, |
317 | 2.48k | {codeview::RegisterId::ARM_NQ5, ARM::Q5}, |
318 | 2.48k | {codeview::RegisterId::ARM_NQ6, ARM::Q6}, |
319 | 2.48k | {codeview::RegisterId::ARM_NQ7, ARM::Q7}, |
320 | 2.48k | {codeview::RegisterId::ARM_NQ8, ARM::Q8}, |
321 | 2.48k | {codeview::RegisterId::ARM_NQ9, ARM::Q9}, |
322 | 2.48k | {codeview::RegisterId::ARM_NQ10, ARM::Q10}, |
323 | 2.48k | {codeview::RegisterId::ARM_NQ11, ARM::Q11}, |
324 | 2.48k | {codeview::RegisterId::ARM_NQ12, ARM::Q12}, |
325 | 2.48k | {codeview::RegisterId::ARM_NQ13, ARM::Q13}, |
326 | 2.48k | {codeview::RegisterId::ARM_NQ14, ARM::Q14}, |
327 | 2.48k | {codeview::RegisterId::ARM_NQ15, ARM::Q15}, |
328 | 2.48k | }; |
329 | 2.48k | for (const auto &I : RegMap) |
330 | 245k | MRI->mapLLVMRegToCVReg(I.Reg, static_cast<int>(I.CVReg)); |
331 | 2.48k | } |
332 | | |
333 | 2 | static MCRegisterInfo *createARMMCRegisterInfo(const Triple &Triple) { |
334 | 2 | MCRegisterInfo *X = new MCRegisterInfo(); |
335 | 2 | InitARMMCRegisterInfo(X, ARM::LR, 0, 0, ARM::PC); |
336 | 2 | ARM_MC::initLLVMToCVRegMapping(X); |
337 | 2 | return X; |
338 | 2 | } |
339 | | |
340 | | static MCAsmInfo *createARMMCAsmInfo(const MCRegisterInfo &MRI, |
341 | | const Triple &TheTriple, |
342 | 2 | const MCTargetOptions &Options) { |
343 | 2 | MCAsmInfo *MAI; |
344 | 2 | if (TheTriple.isOSDarwin() || TheTriple.isOSBinFormatMachO()) |
345 | 0 | MAI = new ARMMCAsmInfoDarwin(TheTriple); |
346 | 2 | else if (TheTriple.isWindowsMSVCEnvironment()) |
347 | 0 | MAI = new ARMCOFFMCAsmInfoMicrosoft(); |
348 | 2 | else if (TheTriple.isOSWindows()) |
349 | 0 | MAI = new ARMCOFFMCAsmInfoGNU(); |
350 | 2 | else |
351 | 2 | MAI = new ARMELFMCAsmInfo(TheTriple); |
352 | | |
353 | 2 | unsigned Reg = MRI.getDwarfRegNum(ARM::SP, true); |
354 | 2 | MAI->addInitialFrameState(MCCFIInstruction::cfiDefCfa(nullptr, Reg, 0)); |
355 | | |
356 | 2 | return MAI; |
357 | 2 | } |
358 | | |
359 | | static MCStreamer *createELFStreamer(const Triple &T, MCContext &Ctx, |
360 | | std::unique_ptr<MCAsmBackend> &&MAB, |
361 | | std::unique_ptr<MCObjectWriter> &&OW, |
362 | | std::unique_ptr<MCCodeEmitter> &&Emitter, |
363 | 0 | bool RelaxAll) { |
364 | 0 | return createARMELFStreamer( |
365 | 0 | Ctx, std::move(MAB), std::move(OW), std::move(Emitter), false, |
366 | 0 | (T.getArch() == Triple::thumb || T.getArch() == Triple::thumbeb), |
367 | 0 | T.isAndroid()); |
368 | 0 | } |
369 | | |
370 | | static MCStreamer * |
371 | | createARMMachOStreamer(MCContext &Ctx, std::unique_ptr<MCAsmBackend> &&MAB, |
372 | | std::unique_ptr<MCObjectWriter> &&OW, |
373 | | std::unique_ptr<MCCodeEmitter> &&Emitter, bool RelaxAll, |
374 | 0 | bool DWARFMustBeAtTheEnd) { |
375 | 0 | return createMachOStreamer(Ctx, std::move(MAB), std::move(OW), |
376 | 0 | std::move(Emitter), false, DWARFMustBeAtTheEnd); |
377 | 0 | } |
378 | | |
379 | | static MCInstPrinter *createARMMCInstPrinter(const Triple &T, |
380 | | unsigned SyntaxVariant, |
381 | | const MCAsmInfo &MAI, |
382 | | const MCInstrInfo &MII, |
383 | 0 | const MCRegisterInfo &MRI) { |
384 | 0 | if (SyntaxVariant == 0) |
385 | 0 | return new ARMInstPrinter(MAI, MII, MRI); |
386 | 0 | return nullptr; |
387 | 0 | } |
388 | | |
389 | | static MCRelocationInfo *createARMMCRelocationInfo(const Triple &TT, |
390 | 0 | MCContext &Ctx) { |
391 | 0 | if (TT.isOSBinFormatMachO()) |
392 | 0 | return createARMMachORelocationInfo(Ctx); |
393 | | // Default to the stock relocation info. |
394 | 0 | return llvm::createMCRelocationInfo(TT, Ctx); |
395 | 0 | } |
396 | | |
397 | | namespace { |
398 | | |
399 | | class ARMMCInstrAnalysis : public MCInstrAnalysis { |
400 | | public: |
401 | 0 | ARMMCInstrAnalysis(const MCInstrInfo *Info) : MCInstrAnalysis(Info) {} |
402 | | |
403 | 0 | bool isUnconditionalBranch(const MCInst &Inst) const override { |
404 | | // BCCs with the "always" predicate are unconditional branches. |
405 | 0 | if (Inst.getOpcode() == ARM::Bcc && Inst.getOperand(1).getImm()==ARMCC::AL) |
406 | 0 | return true; |
407 | 0 | return MCInstrAnalysis::isUnconditionalBranch(Inst); |
408 | 0 | } |
409 | | |
410 | 0 | bool isConditionalBranch(const MCInst &Inst) const override { |
411 | | // BCCs with the "always" predicate are unconditional branches. |
412 | 0 | if (Inst.getOpcode() == ARM::Bcc && Inst.getOperand(1).getImm()==ARMCC::AL) |
413 | 0 | return false; |
414 | 0 | return MCInstrAnalysis::isConditionalBranch(Inst); |
415 | 0 | } |
416 | | |
417 | | bool evaluateBranch(const MCInst &Inst, uint64_t Addr, uint64_t Size, |
418 | 0 | uint64_t &Target) const override { |
419 | 0 | const MCInstrDesc &Desc = Info->get(Inst.getOpcode()); |
420 | | |
421 | | // Find the PC-relative immediate operand in the instruction. |
422 | 0 | for (unsigned OpNum = 0; OpNum < Desc.getNumOperands(); ++OpNum) { |
423 | 0 | if (Inst.getOperand(OpNum).isImm() && |
424 | 0 | Desc.operands()[OpNum].OperandType == MCOI::OPERAND_PCREL) { |
425 | 0 | int64_t Imm = Inst.getOperand(OpNum).getImm(); |
426 | 0 | Target = ARM_MC::evaluateBranchTarget(Desc, Addr, Imm); |
427 | 0 | return true; |
428 | 0 | } |
429 | 0 | } |
430 | 0 | return false; |
431 | 0 | } |
432 | | |
433 | | std::optional<uint64_t> |
434 | | evaluateMemoryOperandAddress(const MCInst &Inst, const MCSubtargetInfo *STI, |
435 | | uint64_t Addr, uint64_t Size) const override; |
436 | | }; |
437 | | |
438 | | } // namespace |
439 | | |
440 | | static std::optional<uint64_t> |
441 | | // NOLINTNEXTLINE(readability-identifier-naming) |
442 | | evaluateMemOpAddrForAddrMode_i12(const MCInst &Inst, const MCInstrDesc &Desc, |
443 | 0 | unsigned MemOpIndex, uint64_t Addr) { |
444 | 0 | if (MemOpIndex + 1 >= Desc.getNumOperands()) |
445 | 0 | return std::nullopt; |
446 | | |
447 | 0 | const MCOperand &MO1 = Inst.getOperand(MemOpIndex); |
448 | 0 | const MCOperand &MO2 = Inst.getOperand(MemOpIndex + 1); |
449 | 0 | if (!MO1.isReg() || MO1.getReg() != ARM::PC || !MO2.isImm()) |
450 | 0 | return std::nullopt; |
451 | | |
452 | 0 | int32_t OffImm = (int32_t)MO2.getImm(); |
453 | | // Special value for #-0. All others are normal. |
454 | 0 | if (OffImm == INT32_MIN) |
455 | 0 | OffImm = 0; |
456 | 0 | return Addr + OffImm; |
457 | 0 | } |
458 | | |
459 | | static std::optional<uint64_t> |
460 | | evaluateMemOpAddrForAddrMode3(const MCInst &Inst, const MCInstrDesc &Desc, |
461 | 0 | unsigned MemOpIndex, uint64_t Addr) { |
462 | 0 | if (MemOpIndex + 2 >= Desc.getNumOperands()) |
463 | 0 | return std::nullopt; |
464 | | |
465 | 0 | const MCOperand &MO1 = Inst.getOperand(MemOpIndex); |
466 | 0 | const MCOperand &MO2 = Inst.getOperand(MemOpIndex + 1); |
467 | 0 | const MCOperand &MO3 = Inst.getOperand(MemOpIndex + 2); |
468 | 0 | if (!MO1.isReg() || MO1.getReg() != ARM::PC || MO2.getReg() || !MO3.isImm()) |
469 | 0 | return std::nullopt; |
470 | | |
471 | 0 | unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm()); |
472 | 0 | ARM_AM::AddrOpc Op = ARM_AM::getAM3Op(MO3.getImm()); |
473 | |
|
474 | 0 | if (Op == ARM_AM::sub) |
475 | 0 | return Addr - ImmOffs; |
476 | 0 | return Addr + ImmOffs; |
477 | 0 | } |
478 | | |
479 | | static std::optional<uint64_t> |
480 | | evaluateMemOpAddrForAddrMode5(const MCInst &Inst, const MCInstrDesc &Desc, |
481 | 0 | unsigned MemOpIndex, uint64_t Addr) { |
482 | 0 | if (MemOpIndex + 1 >= Desc.getNumOperands()) |
483 | 0 | return std::nullopt; |
484 | | |
485 | 0 | const MCOperand &MO1 = Inst.getOperand(MemOpIndex); |
486 | 0 | const MCOperand &MO2 = Inst.getOperand(MemOpIndex + 1); |
487 | 0 | if (!MO1.isReg() || MO1.getReg() != ARM::PC || !MO2.isImm()) |
488 | 0 | return std::nullopt; |
489 | | |
490 | 0 | unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm()); |
491 | 0 | ARM_AM::AddrOpc Op = ARM_AM::getAM5Op(MO2.getImm()); |
492 | |
|
493 | 0 | if (Op == ARM_AM::sub) |
494 | 0 | return Addr - ImmOffs * 4; |
495 | 0 | return Addr + ImmOffs * 4; |
496 | 0 | } |
497 | | |
498 | | static std::optional<uint64_t> |
499 | | evaluateMemOpAddrForAddrMode5FP16(const MCInst &Inst, const MCInstrDesc &Desc, |
500 | 0 | unsigned MemOpIndex, uint64_t Addr) { |
501 | 0 | if (MemOpIndex + 1 >= Desc.getNumOperands()) |
502 | 0 | return std::nullopt; |
503 | | |
504 | 0 | const MCOperand &MO1 = Inst.getOperand(MemOpIndex); |
505 | 0 | const MCOperand &MO2 = Inst.getOperand(MemOpIndex + 1); |
506 | 0 | if (!MO1.isReg() || MO1.getReg() != ARM::PC || !MO2.isImm()) |
507 | 0 | return std::nullopt; |
508 | | |
509 | 0 | unsigned ImmOffs = ARM_AM::getAM5FP16Offset(MO2.getImm()); |
510 | 0 | ARM_AM::AddrOpc Op = ARM_AM::getAM5FP16Op(MO2.getImm()); |
511 | |
|
512 | 0 | if (Op == ARM_AM::sub) |
513 | 0 | return Addr - ImmOffs * 2; |
514 | 0 | return Addr + ImmOffs * 2; |
515 | 0 | } |
516 | | |
517 | | static std::optional<uint64_t> |
518 | | // NOLINTNEXTLINE(readability-identifier-naming) |
519 | | evaluateMemOpAddrForAddrModeT2_i8s4(const MCInst &Inst, const MCInstrDesc &Desc, |
520 | 0 | unsigned MemOpIndex, uint64_t Addr) { |
521 | 0 | if (MemOpIndex + 1 >= Desc.getNumOperands()) |
522 | 0 | return std::nullopt; |
523 | | |
524 | 0 | const MCOperand &MO1 = Inst.getOperand(MemOpIndex); |
525 | 0 | const MCOperand &MO2 = Inst.getOperand(MemOpIndex + 1); |
526 | 0 | if (!MO1.isReg() || MO1.getReg() != ARM::PC || !MO2.isImm()) |
527 | 0 | return std::nullopt; |
528 | | |
529 | 0 | int32_t OffImm = (int32_t)MO2.getImm(); |
530 | 0 | assert(((OffImm & 0x3) == 0) && "Not a valid immediate!"); |
531 | | |
532 | | // Special value for #-0. All others are normal. |
533 | 0 | if (OffImm == INT32_MIN) |
534 | 0 | OffImm = 0; |
535 | 0 | return Addr + OffImm; |
536 | 0 | } |
537 | | |
538 | | static std::optional<uint64_t> |
539 | | // NOLINTNEXTLINE(readability-identifier-naming) |
540 | | evaluateMemOpAddrForAddrModeT2_pc(const MCInst &Inst, const MCInstrDesc &Desc, |
541 | 0 | unsigned MemOpIndex, uint64_t Addr) { |
542 | 0 | const MCOperand &MO1 = Inst.getOperand(MemOpIndex); |
543 | 0 | if (!MO1.isImm()) |
544 | 0 | return std::nullopt; |
545 | | |
546 | 0 | int32_t OffImm = (int32_t)MO1.getImm(); |
547 | | |
548 | | // Special value for #-0. All others are normal. |
549 | 0 | if (OffImm == INT32_MIN) |
550 | 0 | OffImm = 0; |
551 | 0 | return Addr + OffImm; |
552 | 0 | } |
553 | | |
554 | | static std::optional<uint64_t> |
555 | | // NOLINTNEXTLINE(readability-identifier-naming) |
556 | | evaluateMemOpAddrForAddrModeT1_s(const MCInst &Inst, const MCInstrDesc &Desc, |
557 | 0 | unsigned MemOpIndex, uint64_t Addr) { |
558 | 0 | return evaluateMemOpAddrForAddrModeT2_pc(Inst, Desc, MemOpIndex, Addr); |
559 | 0 | } |
560 | | |
561 | | std::optional<uint64_t> ARMMCInstrAnalysis::evaluateMemoryOperandAddress( |
562 | | const MCInst &Inst, const MCSubtargetInfo *STI, uint64_t Addr, |
563 | 0 | uint64_t Size) const { |
564 | 0 | const MCInstrDesc &Desc = Info->get(Inst.getOpcode()); |
565 | | |
566 | | // Only load instructions can have PC-relative memory addressing. |
567 | 0 | if (!Desc.mayLoad()) |
568 | 0 | return std::nullopt; |
569 | | |
570 | | // PC-relative addressing does not update the base register. |
571 | 0 | uint64_t TSFlags = Desc.TSFlags; |
572 | 0 | unsigned IndexMode = |
573 | 0 | (TSFlags & ARMII::IndexModeMask) >> ARMII::IndexModeShift; |
574 | 0 | if (IndexMode != ARMII::IndexModeNone) |
575 | 0 | return std::nullopt; |
576 | | |
577 | | // Find the memory addressing operand in the instruction. |
578 | 0 | unsigned OpIndex = Desc.NumDefs; |
579 | 0 | while (OpIndex < Desc.getNumOperands() && |
580 | 0 | Desc.operands()[OpIndex].OperandType != MCOI::OPERAND_MEMORY) |
581 | 0 | ++OpIndex; |
582 | 0 | if (OpIndex == Desc.getNumOperands()) |
583 | 0 | return std::nullopt; |
584 | | |
585 | | // Base address for PC-relative addressing is always 32-bit aligned. |
586 | 0 | Addr &= ~0x3; |
587 | | |
588 | | // For ARM instructions the PC offset is 8 bytes, for Thumb instructions it |
589 | | // is 4 bytes. |
590 | 0 | switch (Desc.TSFlags & ARMII::FormMask) { |
591 | 0 | default: |
592 | 0 | Addr += 8; |
593 | 0 | break; |
594 | 0 | case ARMII::ThumbFrm: |
595 | 0 | Addr += 4; |
596 | 0 | break; |
597 | | // VLDR* instructions share the same opcode (and thus the same form) for Arm |
598 | | // and Thumb. Use a bit longer route through STI in that case. |
599 | 0 | case ARMII::VFPLdStFrm: |
600 | 0 | Addr += STI->hasFeature(ARM::ModeThumb) ? 4 : 8; |
601 | 0 | break; |
602 | 0 | } |
603 | | |
604 | | // Eveluate the address depending on the addressing mode |
605 | 0 | unsigned AddrMode = (TSFlags & ARMII::AddrModeMask); |
606 | 0 | switch (AddrMode) { |
607 | 0 | default: |
608 | 0 | return std::nullopt; |
609 | 0 | case ARMII::AddrMode_i12: |
610 | 0 | return evaluateMemOpAddrForAddrMode_i12(Inst, Desc, OpIndex, Addr); |
611 | 0 | case ARMII::AddrMode3: |
612 | 0 | return evaluateMemOpAddrForAddrMode3(Inst, Desc, OpIndex, Addr); |
613 | 0 | case ARMII::AddrMode5: |
614 | 0 | return evaluateMemOpAddrForAddrMode5(Inst, Desc, OpIndex, Addr); |
615 | 0 | case ARMII::AddrMode5FP16: |
616 | 0 | return evaluateMemOpAddrForAddrMode5FP16(Inst, Desc, OpIndex, Addr); |
617 | 0 | case ARMII::AddrModeT2_i8s4: |
618 | 0 | return evaluateMemOpAddrForAddrModeT2_i8s4(Inst, Desc, OpIndex, Addr); |
619 | 0 | case ARMII::AddrModeT2_pc: |
620 | 0 | return evaluateMemOpAddrForAddrModeT2_pc(Inst, Desc, OpIndex, Addr); |
621 | 0 | case ARMII::AddrModeT1_s: |
622 | 0 | return evaluateMemOpAddrForAddrModeT1_s(Inst, Desc, OpIndex, Addr); |
623 | 0 | } |
624 | 0 | } |
625 | | |
626 | 0 | static MCInstrAnalysis *createARMMCInstrAnalysis(const MCInstrInfo *Info) { |
627 | 0 | return new ARMMCInstrAnalysis(Info); |
628 | 0 | } |
629 | | |
630 | 0 | bool ARM::isCDECoproc(size_t Coproc, const MCSubtargetInfo &STI) { |
631 | | // Unfortunately we don't have ARMTargetInfo in the disassembler, so we have |
632 | | // to rely on feature bits. |
633 | 0 | if (Coproc >= 8) |
634 | 0 | return false; |
635 | 0 | return STI.getFeatureBits()[ARM::FeatureCoprocCDE0 + Coproc]; |
636 | 0 | } |
637 | | |
638 | | // Force static initialization. |
639 | 62 | extern "C" LLVM_EXTERNAL_VISIBILITY void LLVMInitializeARMTargetMC() { |
640 | 62 | for (Target *T : {&getTheARMLETarget(), &getTheARMBETarget(), |
641 | 248 | &getTheThumbLETarget(), &getTheThumbBETarget()}) { |
642 | | // Register the MC asm info. |
643 | 248 | RegisterMCAsmInfoFn X(*T, createARMMCAsmInfo); |
644 | | |
645 | | // Register the MC instruction info. |
646 | 248 | TargetRegistry::RegisterMCInstrInfo(*T, createARMMCInstrInfo); |
647 | | |
648 | | // Register the MC register info. |
649 | 248 | TargetRegistry::RegisterMCRegInfo(*T, createARMMCRegisterInfo); |
650 | | |
651 | | // Register the MC subtarget info. |
652 | 248 | TargetRegistry::RegisterMCSubtargetInfo(*T, |
653 | 248 | ARM_MC::createARMMCSubtargetInfo); |
654 | | |
655 | 248 | TargetRegistry::RegisterELFStreamer(*T, createELFStreamer); |
656 | 248 | TargetRegistry::RegisterCOFFStreamer(*T, createARMWinCOFFStreamer); |
657 | 248 | TargetRegistry::RegisterMachOStreamer(*T, createARMMachOStreamer); |
658 | | |
659 | | // Register the obj target streamer. |
660 | 248 | TargetRegistry::RegisterObjectTargetStreamer(*T, |
661 | 248 | createARMObjectTargetStreamer); |
662 | | |
663 | | // Register the asm streamer. |
664 | 248 | TargetRegistry::RegisterAsmTargetStreamer(*T, createARMTargetAsmStreamer); |
665 | | |
666 | | // Register the null TargetStreamer. |
667 | 248 | TargetRegistry::RegisterNullTargetStreamer(*T, createARMNullTargetStreamer); |
668 | | |
669 | | // Register the MCInstPrinter. |
670 | 248 | TargetRegistry::RegisterMCInstPrinter(*T, createARMMCInstPrinter); |
671 | | |
672 | | // Register the MC relocation info. |
673 | 248 | TargetRegistry::RegisterMCRelocationInfo(*T, createARMMCRelocationInfo); |
674 | 248 | } |
675 | | |
676 | | // Register the MC instruction analyzer. |
677 | 62 | for (Target *T : {&getTheARMLETarget(), &getTheARMBETarget(), |
678 | 62 | &getTheThumbLETarget(), &getTheThumbBETarget()}) |
679 | 248 | TargetRegistry::RegisterMCInstrAnalysis(*T, createARMMCInstrAnalysis); |
680 | | |
681 | 124 | for (Target *T : {&getTheARMLETarget(), &getTheThumbLETarget()}) { |
682 | 124 | TargetRegistry::RegisterMCCodeEmitter(*T, createARMLEMCCodeEmitter); |
683 | 124 | TargetRegistry::RegisterMCAsmBackend(*T, createARMLEAsmBackend); |
684 | 124 | } |
685 | 124 | for (Target *T : {&getTheARMBETarget(), &getTheThumbBETarget()}) { |
686 | 124 | TargetRegistry::RegisterMCCodeEmitter(*T, createARMBEMCCodeEmitter); |
687 | 124 | TargetRegistry::RegisterMCAsmBackend(*T, createARMBEAsmBackend); |
688 | 124 | } |
689 | 62 | } |