LLVM 22.0.0git
HexagonMCCodeEmitter.cpp
Go to the documentation of this file.
1//===- HexagonMCCodeEmitter.cpp - Hexagon 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#include "MCTargetDesc/HexagonMCCodeEmitter.h"
10#include "MCTargetDesc/HexagonBaseInfo.h"
11#include "MCTargetDesc/HexagonFixupKinds.h"
12#include "MCTargetDesc/HexagonMCExpr.h"
13#include "MCTargetDesc/HexagonMCInstrInfo.h"
14#include "MCTargetDesc/HexagonMCTargetDesc.h"
15#include "llvm/ADT/Statistic.h"
16#include "llvm/MC/MCContext.h"
17#include "llvm/MC/MCExpr.h"
18#include "llvm/MC/MCFixup.h"
19#include "llvm/MC/MCInst.h"
20#include "llvm/MC/MCInstrDesc.h"
21#include "llvm/MC/MCInstrInfo.h"
22#include "llvm/MC/MCRegisterInfo.h"
23#include "llvm/MC/MCSubtargetInfo.h"
24#include "llvm/Support/Casting.h"
25#include "llvm/Support/Compiler.h"
26#include "llvm/Support/Debug.h"
27#include "llvm/Support/EndianStream.h"
28#include "llvm/Support/raw_ostream.h"
29#include <cassert>
30#include <cstddef>
31#include <cstdint>
32#include <map>
33#include <string>
34#include <vector>
35
36#define DEBUG_TYPE "mccodeemitter"
37
38using namespace llvm;
39using namespace Hexagon;
40
41STATISTIC(MCNumEmitted, "Number of MC instructions emitted");
42
43static const unsigned fixup_Invalid = ~0u;
44
45// clang-format off
46#define _ fixup_Invalid
47#define P(x) Hexagon::fixup_Hexagon##x
48static const std::map<unsigned, std::vector<unsigned>> ExtFixups = {
49 { HexagonMCExpr::VK_DTPREL,
50 { _, _, _, _,
51 _, _, P(_DTPREL_16_X), P(_DTPREL_11_X),
52 P(_DTPREL_11_X), P(_9_X), _, P(_DTPREL_11_X),
53 P(_DTPREL_16_X), _, _, _,
54 P(_DTPREL_16_X), _, _, _,
55 _, _, _, _,
56 _, _, _, _,
57 _, _, _, _,
58 P(_DTPREL_32_6_X) }},
59 { HexagonMCExpr::VK_GOT,
60 { _, _, _, _,
61 _, _, P(_GOT_11_X), _ /* [1] */,
62 _ /* [1] */, P(_9_X), _, P(_GOT_11_X),
63 P(_GOT_16_X), _, _, _,
64 P(_GOT_16_X), _, _, _,
65 _, _, _, _,
66 _, _, _, _,
67 _, _, _, _,
68 P(_GOT_32_6_X) }},
69 { HexagonMCExpr::VK_GOTREL,
70 { _, _, _, _,
71 _, _, P(_GOTREL_11_X), P(_GOTREL_11_X),
72 P(_GOTREL_11_X), P(_9_X), _, P(_GOTREL_11_X),
73 P(_GOTREL_16_X), _, _, _,
74 P(_GOTREL_16_X), _, _, _,
75 _, _, _, _,
76 _, _, _, _,
77 _, _, _, _,
78 P(_GOTREL_32_6_X) }},
79 { HexagonMCExpr::VK_TPREL,
80 { _, _, _, _,
81 _, _, P(_TPREL_16_X), P(_TPREL_11_X),
82 P(_TPREL_11_X), P(_9_X), _, P(_TPREL_11_X),
83 P(_TPREL_16_X), _, _, _,
84 P(_TPREL_16_X), _, _, _,
85 _, _, _, _,
86 _, _, _, _,
87 _, _, _, _,
88 P(_TPREL_32_6_X) }},
89 { HexagonMCExpr::VK_GD_GOT,
90 { _, _, _, _,
91 _, _, P(_GD_GOT_16_X), P(_GD_GOT_11_X),
92 P(_GD_GOT_11_X), P(_9_X), _, P(_GD_GOT_11_X),
93 P(_GD_GOT_16_X), _, _, _,
94 P(_GD_GOT_16_X), _, _, _,
95 _, _, _, _,
96 _, _, _, _,
97 _, _, _, _,
98 P(_GD_GOT_32_6_X) }},
99 { HexagonMCExpr::VK_GD_PLT,
100 { _, _, _, _,
101 _, _, _, _,
102 _, P(_9_X), _, P(_GD_PLT_B22_PCREL_X),
103 _, _, _, _,
104 _, _, _, _,
105 _, _, P(_GD_PLT_B22_PCREL_X), _,
106 _, _, _, _,
107 _, _, _, _,
108 _ }},
109 { HexagonMCExpr::VK_IE,
110 { _, _, _, _,
111 _, _, P(_IE_16_X), _,
112 _, P(_9_X), _, _,
113 P(_IE_16_X), _, _, _,
114 P(_IE_16_X), _, _, _,
115 _, _, _, _,
116 _, _, _, _,
117 _, _, _, _,
118 P(_IE_32_6_X) }},
119 { HexagonMCExpr::VK_IE_GOT,
120 { _, _, _, _,
121 _, _, P(_IE_GOT_11_X), P(_IE_GOT_11_X),
122 P(_IE_GOT_11_X), P(_9_X), _, P(_IE_GOT_11_X),
123 P(_IE_GOT_16_X), _, _, _,
124 P(_IE_GOT_16_X), _, _, _,
125 _, _, _, _,
126 _, _, _, _,
127 _, _, _, _,
128 P(_IE_GOT_32_6_X) }},
129 { HexagonMCExpr::VK_LD_GOT,
130 { _, _, _, _,
131 _, _, P(_LD_GOT_11_X), P(_LD_GOT_11_X),
132 P(_LD_GOT_11_X), P(_9_X), _, P(_LD_GOT_11_X),
133 P(_LD_GOT_16_X), _, _, _,
134 P(_LD_GOT_16_X), _, _, _,
135 _, _, _, _,
136 _, _, _, _,
137 _, _, _, _,
138 P(_LD_GOT_32_6_X) }},
139 { HexagonMCExpr::VK_LD_PLT,
140 { _, _, _, _,
141 _, _, _, _,
142 _, P(_9_X), _, P(_LD_PLT_B22_PCREL_X),
143 _, _, _, _,
144 _, _, _, _,
145 _, _, P(_LD_PLT_B22_PCREL_X), _,
146 _, _, _, _,
147 _, _, _, _,
148 _ }},
149 { HexagonMCExpr::VK_PCREL,
150 { _, _, _, _,
151 _, _, P(_6_PCREL_X), _,
152 _, P(_9_X), _, _,
153 _, _, _, _,
154 _, _, _, _,
155 _, _, _, _,
156 _, _, _, _,
157 _, _, _, _,
158 P(_32_PCREL) }},
159 { HexagonMCExpr::VK_None,
160 { _, _, _, _,
161 _, _, P(_6_X), P(_8_X),
162 P(_8_X), P(_9_X), P(_10_X), P(_11_X),
163 P(_12_X), P(_B13_PCREL), _, P(_B15_PCREL_X),
164 P(_16_X), _, _, _,
165 _, _, P(_B22_PCREL_X), _,
166 _, _, _, _,
167 _, _, _, _,
168 P(_32_6_X) }},
169};
170// [1] The fixup is GOT_16_X for signed values and GOT_11_X for unsigned.
171
172static const std::map<unsigned, std::vector<unsigned>> StdFixups = {
173 { HexagonMCExpr::VK_DTPREL,
174 { _, _, _, _,
175 _, _, _, _,
176 _, _, _, _,
177 _, _, _, _,
178 P(_DTPREL_16), _, _, _,
179 _, _, _, _,
180 _, _, _, _,
181 _, _, _, _,
182 P(_DTPREL_32) }},
183 { HexagonMCExpr::VK_GOT,
184 { _, _, _, _,
185 _, _, _, _,
186 _, _, _, _,
187 _, _, _, _,
188 _, _, _, _,
189 _, _, _, _,
190 _, _, _, _,
191 _, _, _, _,
192 P(_GOT_32) }},
193 { HexagonMCExpr::VK_GOTREL,
194 { _, _, _, _,
195 _, _, _, _,
196 _, _, _, _,
197 _, _, _, _,
198 _ /* [2] */, _, _, _,
199 _, _, _, _,
200 _, _, _, _,
201 _, _, _, _,
202 P(_GOTREL_32) }},
203 { HexagonMCExpr::VK_PLT,
204 { _, _, _, _,
205 _, _, _, _,
206 _, _, _, _,
207 _, _, _, _,
208 _, _, _, _,
209 _, _, P(_PLT_B22_PCREL), _,
210 _, _, _, _,
211 _, _, _, _,
212 _ }},
213 { HexagonMCExpr::VK_TPREL,
214 { _, _, _, _,
215 _, _, _, _,
216 _, _, _, P(_TPREL_11_X),
217 _, _, _, _,
218 P(_TPREL_16), _, _, _,
219 _, _, _, _,
220 _, _, _, _,
221 _, _, _, _,
222 P(_TPREL_32) }},
223 { HexagonMCExpr::VK_GD_GOT,
224 { _, _, _, _,
225 _, _, _, _,
226 _, _, _, _,
227 _, _, _, _,
228 P(_GD_GOT_16), _, _, _,
229 _, _, _, _,
230 _, _, _, _,
231 _, _, _, _,
232 P(_GD_GOT_32) }},
233 { HexagonMCExpr::VK_GD_PLT,
234 { _, _, _, _,
235 _, _, _, _,
236 _, _, _, _,
237 _, _, _, _,
238 _, _, _, _,
239 _, _, P(_GD_PLT_B22_PCREL), _,
240 _, _, _, _,
241 _, _, _, _,
242 _ }},
243 { HexagonMCExpr::VK_GPREL,
244 { _, _, _, _,
245 _, _, _, _,
246 _, _, _, _,
247 _, _, _, _,
248 P(_GPREL16_0), _, _, _,
249 _, _, _, _,
250 _, _, _, _,
251 _, _, _, _,
252 _ }},
253 { HexagonMCExpr::VK_HI16,
254 { _, _, _, _,
255 _, _, _, _,
256 _, _, _, _,
257 _, _, _, _,
258 P(_HI16), _, _, _,
259 _, _, _, _,
260 _, _, _, _,
261 _, _, _, _,
262 _ }},
263 { HexagonMCExpr::VK_IE,
264 { _, _, _, _,
265 _, _, _, _,
266 _, _, _, _,
267 _, _, _, _,
268 _, _, _, _,
269 _, _, _, _,
270 _, _, _, _,
271 _, _, _, _,
272 P(_IE_32) }},
273 { HexagonMCExpr::VK_IE_GOT,
274 { _, _, _, _,
275 _, _, _, _,
276 _, _, _, _,
277 _, _, _, _,
278 P(_IE_GOT_16), _, _, _,
279 _, _, _, _,
280 _, _, _, _,
281 _, _, _, _,
282 P(_IE_GOT_32) }},
283 { HexagonMCExpr::VK_LD_GOT,
284 { _, _, _, _,
285 _, _, _, _,
286 _, _, _, _,
287 _, _, _, _,
288 P(_LD_GOT_16), _, _, _,
289 _, _, _, _,
290 _, _, _, _,
291 _, _, _, _,
292 P(_LD_GOT_32) }},
293 { HexagonMCExpr::VK_LD_PLT,
294 { _, _, _, _,
295 _, _, _, _,
296 _, _, _, _,
297 _, _, _, _,
298 _, _, _, _,
299 _, _, P(_LD_PLT_B22_PCREL), _,
300 _, _, _, _,
301 _, _, _, _,
302 _ }},
303 { HexagonMCExpr::VK_LO16,
304 { _, _, _, _,
305 _, _, _, _,
306 _, _, _, _,
307 _, _, _, _,
308 P(_LO16), _, _, _,
309 _, _, _, _,
310 _, _, _, _,
311 _, _, _, _,
312 _ }},
313 { HexagonMCExpr::VK_PCREL,
314 { _, _, _, _,
315 _, _, _, _,
316 _, _, _, _,
317 _, _, _, _,
318 _, _, _, _,
319 _, _, _, _,
320 _, _, _, _,
321 _, _, _, _,
322 P(_32_PCREL) }},
323 { HexagonMCExpr::VK_None,
324 { _, _, _, _,
325 _, _, _, _,
326 _, _, _, _,
327 _, P(_B13_PCREL), _, P(_B15_PCREL),
328 _, _, _, _,
329 _, _, P(_B22_PCREL), _,
330 _, _, _, _,
331 _, _, _, _,
332 P(_32) }},
333};
334// clang-format on
335// [2] The actual fixup is LO16 or HI16, depending on the instruction.
336#undef P
337#undef _
338
367
368uint32_t HexagonMCCodeEmitter::parseBits(size_t Last, MCInst const &MCB,
369 MCInst const &MCI) const {
370 bool Duplex = HexagonMCInstrInfo::isDuplex(MCII, MCI);
371 if (State.Index == 0) {
372 if (HexagonMCInstrInfo::isInnerLoop(MCB)) {
373 assert(!Duplex);
374 assert(State.Index != Last);
375 return HexagonII::INST_PARSE_LOOP_END;
376 }
377 }
378 if (State.Index == 1) {
379 if (HexagonMCInstrInfo::isOuterLoop(MCB)) {
380 assert(!Duplex);
381 assert(State.Index != Last);
382 return HexagonII::INST_PARSE_LOOP_END;
383 }
384 }
385 if (Duplex) {
386 assert(State.Index == Last);
387 return HexagonII::INST_PARSE_DUPLEX;
388 }
389 if (State.Index == Last)
390 return HexagonII::INST_PARSE_PACKET_END;
391 return HexagonII::INST_PARSE_NOT_END;
392}
393
394/// Emit the bundle.
395void HexagonMCCodeEmitter::encodeInstruction(const MCInst &MI,
396 SmallVectorImpl<char> &CB,
397 SmallVectorImpl<MCFixup> &Fixups,
398 const MCSubtargetInfo &STI) const {
399 MCInst &HMB = const_cast<MCInst &>(MI);
400
401 assert(HexagonMCInstrInfo::isBundle(HMB));
402 LLVM_DEBUG(dbgs() << "Encoding bundle\n";);
403 State.Addend = 0;
404 State.Extended = false;
405 State.Bundle = &MI;
406 State.Index = 0;
407 size_t Last = HexagonMCInstrInfo::bundleSize(HMB) - 1;
408
409 for (auto &I : HexagonMCInstrInfo::bundleInstructions(HMB)) {
410 MCInst &HMI = const_cast<MCInst &>(*I.getInst());
411
412 encodeSingleInstruction(HMI, CB, Fixups, STI, parseBits(Last, HMB, HMI));
413 State.Extended = HexagonMCInstrInfo::isImmext(HMI);
414 State.Addend += HEXAGON_INSTR_SIZE;
415 ++State.Index;
416 }
417}
418
419static bool RegisterMatches(MCRegister Consumer, MCRegister Producer,
420 MCRegister Producer2) {
421 return (Consumer == Producer) || (Consumer == Producer2) ||
422 HexagonMCInstrInfo::IsSingleConsumerRefPairProducer(Producer,
423 Consumer);
424}
425
426void HexagonMCCodeEmitter::encodeSingleInstruction(
427 const MCInst &MI, SmallVectorImpl<char> &CB,
428 SmallVectorImpl<MCFixup> &Fixups, const MCSubtargetInfo &STI,
429 uint32_t Parse) const {
430 assert(!HexagonMCInstrInfo::isBundle(MI));
431 uint64_t Binary;
432
433 // Pseudo instructions don't get encoded and shouldn't be here
434 // in the first place!
435 assert(!HexagonMCInstrInfo::getDesc(MCII, MI).isPseudo() &&
436 "pseudo-instruction found");
437 LLVM_DEBUG(dbgs() << "Encoding insn `"
438 << HexagonMCInstrInfo::getName(MCII, MI) << "'\n");
439
440 Binary = getBinaryCodeForInstr(MI, Fixups, STI);
441 unsigned Opc = MI.getOpcode();
442
443 // Check for unimplemented instructions. Immediate extenders
444 // are encoded as zero, so they need to be accounted for.
445 if (!Binary && Opc != DuplexIClass0 && Opc != A4_ext) {
446 LLVM_DEBUG(dbgs() << "Unimplemented inst `"
447 << HexagonMCInstrInfo::getName(MCII, MI) << "'\n");
448 llvm_unreachable("Unimplemented Instruction");
449 }
450 Binary |= Parse;
451
452 // if we need to emit a duplexed instruction
453 if (Opc >= Hexagon::DuplexIClass0 && Opc <= Hexagon::DuplexIClassF) {
454 assert(Parse == HexagonII::INST_PARSE_DUPLEX &&
455 "Emitting duplex without duplex parse bits");
456 unsigned DupIClass = MI.getOpcode() - Hexagon::DuplexIClass0;
457 // 29 is the bit position.
458 // 0b1110 =0xE bits are masked off and down shifted by 1 bit.
459 // Last bit is moved to bit position 13
460 Binary = ((DupIClass & 0xE) << (29 - 1)) | ((DupIClass & 0x1) << 13);
461
462 const MCInst *Sub0 = MI.getOperand(0).getInst();
463 const MCInst *Sub1 = MI.getOperand(1).getInst();
464
465 // Get subinstruction slot 0.
466 unsigned SubBits0 = getBinaryCodeForInstr(*Sub0, Fixups, STI);
467 // Get subinstruction slot 1.
468 State.SubInst1 = true;
469 unsigned SubBits1 = getBinaryCodeForInstr(*Sub1, Fixups, STI);
470 State.SubInst1 = false;
471
472 Binary |= SubBits0 | (SubBits1 << 16);
473 }
474 support::endian::write<uint32_t>(CB, Binary, llvm::endianness::little);
475 ++MCNumEmitted;
476}
477
478[[noreturn]] static void raise_relocation_error(unsigned Width, unsigned Kind) {
479 std::string Text;
480 raw_string_ostream Stream(Text);
481 Stream << "Unrecognized relocation combination: width=" << Width
482 << " kind=" << Kind;
483 report_fatal_error(Twine(Stream.str()));
484}
485
486/// Some insns are not extended and thus have no bits. These cases require
487/// a more brute force method for determining the correct relocation.
488Hexagon::Fixups
489HexagonMCCodeEmitter::getFixupNoBits(MCInstrInfo const &MCII, const MCInst &MI,
490 const MCOperand &MO,
491 HexagonMCExpr::VariantKind VarKind) const {
492 const MCInstrDesc &MCID = HexagonMCInstrInfo::getDesc(MCII, MI);
493 unsigned InsnType = HexagonMCInstrInfo::getType(MCII, MI);
494 using namespace Hexagon;
495
496 if (InsnType == HexagonII::TypeEXTENDER) {
497 if (VarKind == HexagonMCExpr::VK_None) {
498 auto Instrs = HexagonMCInstrInfo::bundleInstructions(*State.Bundle);
499 for (auto I = Instrs.begin(), N = Instrs.end(); I != N; ++I) {
500 if (I->getInst() != &MI)
501 continue;
502 assert(I+1 != N && "Extender cannot be last in packet");
503 const MCInst &NextI = *(I+1)->getInst();
504 const MCInstrDesc &NextD = HexagonMCInstrInfo::getDesc(MCII, NextI);
505 if (NextD.isBranch() || NextD.isCall() ||
506 HexagonMCInstrInfo::getType(MCII, NextI) == HexagonII::TypeCR)
507 return fixup_Hexagon_B32_PCREL_X;
508 return fixup_Hexagon_32_6_X;
509 }
510 }
511
512 static const std::map<unsigned, unsigned> Relocs = {
513 {HexagonMCExpr::VK_GOTREL, fixup_Hexagon_GOTREL_32_6_X},
514 {HexagonMCExpr::VK_GOT, fixup_Hexagon_GOT_32_6_X},
515 {HexagonMCExpr::VK_TPREL, fixup_Hexagon_TPREL_32_6_X},
516 {HexagonMCExpr::VK_DTPREL, fixup_Hexagon_DTPREL_32_6_X},
517 {HexagonMCExpr::VK_GD_GOT, fixup_Hexagon_GD_GOT_32_6_X},
518 {HexagonMCExpr::VK_LD_GOT, fixup_Hexagon_LD_GOT_32_6_X},
519 {HexagonMCExpr::VK_IE, fixup_Hexagon_IE_32_6_X},
520 {HexagonMCExpr::VK_IE_GOT, fixup_Hexagon_IE_GOT_32_6_X},
521 {HexagonMCExpr::VK_PCREL, fixup_Hexagon_B32_PCREL_X},
522 {HexagonMCExpr::VK_GD_PLT, fixup_Hexagon_GD_PLT_B32_PCREL_X},
523 {HexagonMCExpr::VK_LD_PLT, fixup_Hexagon_LD_PLT_B32_PCREL_X},
524 };
525
526 auto F = Relocs.find(VarKind);
527 if (F != Relocs.end())
528 return Hexagon::Fixups(F->second);
529 raise_relocation_error(0, VarKind);
530 }
531
532 if (MCID.isBranch())
533 return fixup_Hexagon_B13_PCREL;
534
535 static const std::map<unsigned, unsigned> RelocsLo = {
536 {HexagonMCExpr::VK_GOT, fixup_Hexagon_GOT_LO16},
537 {HexagonMCExpr::VK_GOTREL, fixup_Hexagon_GOTREL_LO16},
538 {HexagonMCExpr::VK_GD_GOT, fixup_Hexagon_GD_GOT_LO16},
539 {HexagonMCExpr::VK_LD_GOT, fixup_Hexagon_LD_GOT_LO16},
540 {HexagonMCExpr::VK_IE, fixup_Hexagon_IE_LO16},
541 {HexagonMCExpr::VK_IE_GOT, fixup_Hexagon_IE_GOT_LO16},
542 {HexagonMCExpr::VK_TPREL, fixup_Hexagon_TPREL_LO16},
543 {HexagonMCExpr::VK_DTPREL, fixup_Hexagon_DTPREL_LO16},
544 {HexagonMCExpr::VK_None, fixup_Hexagon_LO16},
545 };
546
547 static const std::map<unsigned, unsigned> RelocsHi = {
548 {HexagonMCExpr::VK_GOT, fixup_Hexagon_GOT_HI16},
549 {HexagonMCExpr::VK_GOTREL, fixup_Hexagon_GOTREL_HI16},
550 {HexagonMCExpr::VK_GD_GOT, fixup_Hexagon_GD_GOT_HI16},
551 {HexagonMCExpr::VK_LD_GOT, fixup_Hexagon_LD_GOT_HI16},
552 {HexagonMCExpr::VK_IE, fixup_Hexagon_IE_HI16},
553 {HexagonMCExpr::VK_IE_GOT, fixup_Hexagon_IE_GOT_HI16},
554 {HexagonMCExpr::VK_TPREL, fixup_Hexagon_TPREL_HI16},
555 {HexagonMCExpr::VK_DTPREL, fixup_Hexagon_DTPREL_HI16},
556 {HexagonMCExpr::VK_None, fixup_Hexagon_HI16},
557 };
558
559 switch (MCID.getOpcode()) {
560 case Hexagon::LO:
561 case Hexagon::A2_tfril: {
562 auto F = RelocsLo.find(VarKind);
563 if (F != RelocsLo.end())
564 return Hexagon::Fixups(F->second);
565 break;
566 }
567 case Hexagon::HI:
568 case Hexagon::A2_tfrih: {
569 auto F = RelocsHi.find(VarKind);
570 if (F != RelocsHi.end())
571 return Hexagon::Fixups(F->second);
572 break;
573 }
574 }
575
576 raise_relocation_error(0, VarKind);
577}
578
604
605unsigned HexagonMCCodeEmitter::getExprOpValue(const MCInst &MI,
606 const MCOperand &MO, const MCExpr *ME, SmallVectorImpl<MCFixup> &Fixups,
607 const MCSubtargetInfo &STI) const {
608 if (isa<HexagonMCExpr>(ME))
609 ME = &HexagonMCInstrInfo::getExpr(*ME);
610 int64_t Value;
611 if (ME->evaluateAsAbsolute(Value)) {
612 bool InstExtendable = HexagonMCInstrInfo::isExtendable(MCII, MI) ||
613 HexagonMCInstrInfo::isExtended(MCII, MI);
614 // Only sub-instruction #1 can be extended in a duplex. If MI is a
615 // sub-instruction #0, it is not extended even if Extended is true
616 // (it can be true for the duplex as a whole).
617 bool IsSub0 = HexagonMCInstrInfo::isSubInstruction(MI) && !State.SubInst1;
618 if (State.Extended && InstExtendable && !IsSub0) {
619 unsigned OpIdx = ~0u;
620 for (unsigned I = 0, E = MI.getNumOperands(); I != E; ++I) {
621 if (&MO != &MI.getOperand(I))
622 continue;
623 OpIdx = I;
624 break;
625 }
626 assert(OpIdx != ~0u);
627 if (OpIdx == HexagonMCInstrInfo::getExtendableOp(MCII, MI)) {
628 unsigned Shift = HexagonMCInstrInfo::getExtentAlignment(MCII, MI);
629 Value = (Value & 0x3f) << Shift;
630 }
631 }
632 return Value;
633 }
634 assert(ME->getKind() == MCExpr::SymbolRef ||
635 ME->getKind() == MCExpr::Binary);
636 if (ME->getKind() == MCExpr::Binary) {
637 MCBinaryExpr const *Binary = cast<MCBinaryExpr>(ME);
638 getExprOpValue(MI, MO, Binary->getLHS(), Fixups, STI);
639 getExprOpValue(MI, MO, Binary->getRHS(), Fixups, STI);
640 return 0;
641 }
642
643 unsigned FixupKind = fixup_Invalid;
644 const MCSymbolRefExpr *MCSRE = static_cast<const MCSymbolRefExpr *>(ME);
645 const MCInstrDesc &MCID = HexagonMCInstrInfo::getDesc(MCII, MI);
646 unsigned FixupWidth = HexagonMCInstrInfo::getExtentBits(MCII, MI) -
647 HexagonMCInstrInfo::getExtentAlignment(MCII, MI);
648 auto VarKind = HexagonMCExpr::VariantKind(MCSRE->getSpecifier());
649 unsigned Opc = MCID.getOpcode();
650 unsigned IType = HexagonMCInstrInfo::getType(MCII, MI);
651
652 LLVM_DEBUG(dbgs() << "----------------------------------------\n"
653 << "Opcode Name: " << HexagonMCInstrInfo::getName(MCII, MI)
654 << "\nOpcode: " << Opc << "\nRelocation bits: "
655 << FixupWidth << "\nAddend: " << State.Addend
656 << "\nVariant: " << unsigned(VarKind)
657 << "\n----------------------------------------\n");
658
659 // Pick the applicable fixup kind for the symbol.
660 // Handle special cases first, the rest will be looked up in the tables.
661
662 if (FixupWidth == 16 && !State.Extended) {
663 if (VarKind == HexagonMCExpr::VK_None) {
664 if (HexagonMCInstrInfo::s27_2_reloc(*MO.getExpr())) {
665 // A2_iconst.
666 FixupKind = Hexagon::fixup_Hexagon_27_REG;
667 } else {
668 // Look for GP-relative fixups.
669 unsigned Shift = HexagonMCInstrInfo::getExtentAlignment(MCII, MI);
670 static const Hexagon::Fixups GPRelFixups[] = {
671 Hexagon::fixup_Hexagon_GPREL16_0, Hexagon::fixup_Hexagon_GPREL16_1,
672 Hexagon::fixup_Hexagon_GPREL16_2, Hexagon::fixup_Hexagon_GPREL16_3
673 };
674 assert(Shift < std::size(GPRelFixups));
675 auto UsesGP = [](const MCInstrDesc &D) {
676 return is_contained(D.implicit_uses(), Hexagon::GP);
677 };
678 if (UsesGP(MCID))
679 FixupKind = GPRelFixups[Shift];
680 }
681 } else if (VarKind == HexagonMCExpr::VK_GOTREL) {
682 // Select between LO/HI.
683 if (Opc == Hexagon::LO)
684 FixupKind = Hexagon::fixup_Hexagon_GOTREL_LO16;
685 else if (Opc == Hexagon::HI)
686 FixupKind = Hexagon::fixup_Hexagon_GOTREL_HI16;
687 }
688 } else {
689 bool BranchOrCR = MCID.isBranch() || IType == HexagonII::TypeCR;
690 switch (FixupWidth) {
691 case 9:
692 if (BranchOrCR)
693 FixupKind = State.Extended ? Hexagon::fixup_Hexagon_B9_PCREL_X
694 : Hexagon::fixup_Hexagon_B9_PCREL;
695 break;
696 case 8:
697 case 7:
698 if (State.Extended && VarKind == HexagonMCExpr::VK_GOT)
699 FixupKind = HexagonMCInstrInfo::isExtentSigned(MCII, MI)
700 ? Hexagon::fixup_Hexagon_GOT_16_X
701 : Hexagon::fixup_Hexagon_GOT_11_X;
702 else if (FixupWidth == 7 && BranchOrCR)
703 FixupKind = State.Extended ? Hexagon::fixup_Hexagon_B7_PCREL_X
704 : Hexagon::fixup_Hexagon_B7_PCREL;
705 break;
706 case 0:
707 FixupKind = getFixupNoBits(MCII, MI, MO, VarKind);
708 break;
709 }
710 }
711
712 if (FixupKind == fixup_Invalid) {
713 const auto &FixupTable = State.Extended ? ExtFixups : StdFixups;
714
715 auto FindVK = FixupTable.find(VarKind);
716 if (FindVK != FixupTable.end())
717 FixupKind = FindVK->second[FixupWidth];
718 }
719
720 if (FixupKind == fixup_Invalid)
721 raise_relocation_error(FixupWidth, VarKind);
722
723 const MCExpr *FixupExpr = MO.getExpr();
724 if (State.Addend != 0 && isPCRel(FixupKind)) {
725 const MCExpr *C = MCConstantExpr::create(State.Addend, MCT);
726 FixupExpr = MCBinaryExpr::createAdd(FixupExpr, C, MCT);
727 }
728
729 addFixup(Fixups, State.Addend, FixupExpr, FixupKind);
730 return 0;
731}
732
733unsigned
734HexagonMCCodeEmitter::getMachineOpValue(MCInst const &MI, MCOperand const &MO,
735 SmallVectorImpl<MCFixup> &Fixups,
736 MCSubtargetInfo const &STI) const {
737 size_t OperandNumber = ~0U;
738 for (unsigned i = 0, n = MI.getNumOperands(); i < n; ++i)
739 if (&MI.getOperand(i) == &MO) {
740 OperandNumber = i;
741 break;
742 }
743 assert((OperandNumber != ~0U) && "Operand not found");
744
745 if (HexagonMCInstrInfo::isNewValue(MCII, MI) &&
746 &MO == &HexagonMCInstrInfo::getNewValueOperand(MCII, MI)) {
747 // Calculate the new value distance to the associated producer
748 unsigned SOffset = 0;
749 unsigned VOffset = 0;
750 MCRegister UseReg = MO.getReg();
751 MCRegister DefReg1;
752 MCRegister DefReg2;
753
754 auto Instrs = HexagonMCInstrInfo::bundleInstructions(*State.Bundle);
755 const MCOperand *I = Instrs.begin() + State.Index - 1;
756
757 for (;; --I) {
758 assert(I != Instrs.begin() - 1 && "Couldn't find producer");
759 MCInst const &Inst = *I->getInst();
760 if (HexagonMCInstrInfo::isImmext(Inst))
761 continue;
762
763 DefReg1 = MCRegister();
764 DefReg2 = MCRegister();
765 ++SOffset;
766 if (HexagonMCInstrInfo::isVector(MCII, Inst)) {
767 // Vector instructions don't count scalars.
768 ++VOffset;
769 }
770 if (HexagonMCInstrInfo::hasNewValue(MCII, Inst))
771 DefReg1 = HexagonMCInstrInfo::getNewValueOperand(MCII, Inst).getReg();
772 if (HexagonMCInstrInfo::hasNewValue2(MCII, Inst))
773 DefReg2 = HexagonMCInstrInfo::getNewValueOperand2(MCII, Inst).getReg();
774 if (!RegisterMatches(UseReg, DefReg1, DefReg2)) {
775 // This isn't the register we're looking for
776 continue;
777 }
778 if (!HexagonMCInstrInfo::isPredicated(MCII, Inst)) {
779 // Producer is unpredicated
780 break;
781 }
782 assert(HexagonMCInstrInfo::isPredicated(MCII, MI) &&
783 "Unpredicated consumer depending on predicated producer");
784 if (HexagonMCInstrInfo::isPredicatedTrue(MCII, Inst) ==
785 HexagonMCInstrInfo::isPredicatedTrue(MCII, MI))
786 // Producer predicate sense matched ours.
787 break;
788 }
789 // Hexagon PRM 10.11 Construct Nt from distance
790 unsigned Offset = HexagonMCInstrInfo::isVector(MCII, MI) ? VOffset
791 : SOffset;
792 Offset <<= 1;
793 Offset |= HexagonMCInstrInfo::SubregisterBit(UseReg, DefReg1, DefReg2);
794 return Offset;
795 }
796
797 assert(!MO.isImm());
798 if (MO.isReg()) {
799 MCRegister Reg = MO.getReg();
800 switch (HexagonMCInstrInfo::getDesc(MCII, MI)
801 .operands()[OperandNumber]
802 .RegClass) {
803 case GeneralSubRegsRegClassID:
804 case GeneralDoubleLow8RegsRegClassID:
805 return HexagonMCInstrInfo::getDuplexRegisterNumbering(Reg);
806 default:
807 break;
808 }
809 return MCT.getRegisterInfo()->getEncodingValue(Reg);
810 }
811
812 return getExprOpValue(MI, MO, MO.getExpr(), Fixups, STI);
813}
814
815MCCodeEmitter *llvm::createHexagonMCCodeEmitter(MCInstrInfo const &MII,
816 MCContext &MCT) {
817 return new HexagonMCCodeEmitter(MII, MCT);
818}
819
820#include "HexagonGenMCCodeEmitter.inc"
assert
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
D
static GCRegistry::Add< StatepointGC > D("statepoint-example", "an example strategy for statepoint")
E
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
UseReg
static Register UseReg(const MachineOperand &MO)
Definition HexagonCopyToCombine.cpp:245
ExtFixups
static const std::map< unsigned, std::vector< unsigned > > ExtFixups
Definition HexagonMCCodeEmitter.cpp:48
P
#define P(x)
Definition HexagonMCCodeEmitter.cpp:47
RegisterMatches
static bool RegisterMatches(MCRegister Consumer, MCRegister Producer, MCRegister Producer2)
Definition HexagonMCCodeEmitter.cpp:419
fixup_Invalid
static const unsigned fixup_Invalid
Definition HexagonMCCodeEmitter.cpp:43
raise_relocation_error
static void raise_relocation_error(unsigned Width, unsigned Kind)
Definition HexagonMCCodeEmitter.cpp:478
isPCRel
static bool isPCRel(unsigned Kind)
Definition HexagonMCCodeEmitter.cpp:579
StdFixups
static const std::map< unsigned, std::vector< unsigned > > StdFixups
Definition HexagonMCCodeEmitter.cpp:172
_
#define _
Definition HexagonMCCodeEmitter.cpp:46
HexagonMCCodeEmitter.h
Definition for classes that emit Hexagon machine code from MCInsts.
HEXAGON_INSTR_SIZE
#define HEXAGON_INSTR_SIZE
Definition HexagonMCTargetDesc.h:32
MI
IRTranslator LLVM IR MI
Definition IRTranslator.cpp:110
F
#define F(x, y, z)
Definition MD5.cpp:55
I
#define I(x, y, z)
Definition MD5.cpp:58
OpIdx
MachineInstr unsigned OpIdx
Definition NVPTXPrologEpilogPass.cpp:56
Statistic.h
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
STATISTIC
#define STATISTIC(VARNAME, DESC)
Definition Statistic.h:171
LLVM_DEBUG
#define LLVM_DEBUG(...)
Definition Debug.h:114
llvm::HexagonMCCodeEmitter::encodeSingleInstruction
void encodeSingleInstruction(const MCInst &MI, SmallVectorImpl< char > &CB, SmallVectorImpl< MCFixup > &Fixups, const MCSubtargetInfo &STI, uint32_t Parse) const
Definition HexagonMCCodeEmitter.cpp:426
llvm::HexagonMCCodeEmitter::getMachineOpValue
unsigned getMachineOpValue(MCInst const &MI, MCOperand const &MO, SmallVectorImpl< MCFixup > &Fixups, MCSubtargetInfo const &STI) const
Return binary encoding of operand.
Definition HexagonMCCodeEmitter.cpp:734
llvm::HexagonMCCodeEmitter::getBinaryCodeForInstr
uint64_t getBinaryCodeForInstr(MCInst const &MI, SmallVectorImpl< MCFixup > &Fixups, MCSubtargetInfo const &STI) const
llvm::HexagonMCCodeEmitter::encodeInstruction
void encodeInstruction(MCInst const &MI, SmallVectorImpl< char > &CB, SmallVectorImpl< MCFixup > &Fixups, MCSubtargetInfo const &STI) const override
Emit the bundle.
Definition HexagonMCCodeEmitter.cpp:395
llvm::MCBinaryExpr::createAdd
static const MCBinaryExpr * createAdd(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx, SMLoc Loc=SMLoc())
Definition MCExpr.h:343
llvm::MCCodeEmitter
MCCodeEmitter - Generic instruction encoding interface.
Definition MCCodeEmitter.h:22
llvm::MCConstantExpr::create
static LLVM_ABI const MCConstantExpr * create(int64_t Value, MCContext &Ctx, bool PrintInHex=false, unsigned SizeInBytes=0)
Definition MCExpr.cpp:212
llvm::MCContext
Context object for machine code objects.
Definition MCContext.h:83
llvm::MCExpr
Base class for the full range of assembler expressions which are needed for parsing.
Definition MCExpr.h:34
llvm::MCExpr::SymbolRef
@ SymbolRef
References to labels and assigned expressions.
Definition MCExpr.h:43
llvm::MCExpr::Binary
@ Binary
Binary expressions.
Definition MCExpr.h:41
llvm::MCExpr::getKind
ExprKind getKind() const
Definition MCExpr.h:85
llvm::MCFixup::create
static MCFixup create(uint32_t Offset, const MCExpr *Value, MCFixupKind Kind, bool PCRel=false)
Consider bit fields if we need more flags.
Definition MCFixup.h:86
llvm::MCInst
Instances of this class represent a single low-level machine instruction.
Definition MCInst.h:188
llvm::MCInstrDesc::isBranch
bool isBranch() const
Returns true if this is a conditional, unconditional, or indirect branch.
Definition MCInstrDesc.h:319
llvm::MCInstrDesc::isCall
bool isCall() const
Return true if the instruction is a call.
Definition MCInstrDesc.h:300
llvm::MCInstrDesc::getOpcode
unsigned getOpcode() const
Return the opcode number for this descriptor.
Definition MCInstrDesc.h:242
llvm::MCInstrInfo
Interface to description of machine instruction set.
Definition MCInstrInfo.h:27
llvm::MCOperand
Instances of this class represent operands of the MCInst class.
Definition MCInst.h:40
llvm::MCOperand::isImm
bool isImm() const
Definition MCInst.h:66
llvm::MCOperand::isReg
bool isReg() const
Definition MCInst.h:65
llvm::MCOperand::getReg
MCRegister getReg() const
Returns the register number.
Definition MCInst.h:73
llvm::MCOperand::getExpr
const MCExpr * getExpr() const
Definition MCInst.h:118
llvm::MCRegister
Wrapper class representing physical registers. Should be passed by value.
Definition MCRegister.h:33
llvm::MCSubtargetInfo
Generic base class for all target subtargets.
Definition MCSubtargetInfo.h:77
llvm::MCSymbolRefExpr::getSpecifier
uint16_t getSpecifier() const
Definition MCExpr.h:233
llvm::SmallVectorImpl
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition SmallVector.h:575
llvm::Twine
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition Twine.h:82
llvm::Value
LLVM Value Representation.
Definition Value.h:75
llvm::raw_string_ostream
A raw_ostream that writes to an std::string.
Definition raw_ostream.h:662
llvm::raw_string_ostream::str
std::string & str()
Returns the string's reference.
Definition raw_ostream.h:680
uint16_t
uint32_t
uint64_t
llvm_unreachable
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
Definition ErrorHandling.h:164
llvm::CallingConv::C
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
llvm::HexagonMCInstrInfo::isExtentSigned
bool isExtentSigned(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:346
llvm::HexagonMCInstrInfo::isOuterLoop
bool isOuterLoop(MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:688
llvm::HexagonMCInstrInfo::bundleSize
size_t bundleSize(MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:116
llvm::HexagonMCInstrInfo::isDuplex
bool isDuplex(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:624
llvm::HexagonMCInstrInfo::IsSingleConsumerRefPairProducer
bool IsSingleConsumerRefPairProducer(MCRegister Producer, MCRegister Consumer)
Definition HexagonMCInstrInfo.cpp:720
llvm::HexagonMCInstrInfo::getExtentBits
unsigned getExtentBits(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:340
llvm::HexagonMCInstrInfo::isNewValue
bool isNewValue(MCInstrInfo const &MCII, MCInst const &MCI)
Return whether the insn expects newly produced value.
Definition HexagonMCInstrInfo.cpp:670
llvm::HexagonMCInstrInfo::getExtendableOp
unsigned short getExtendableOp(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:316
llvm::HexagonMCInstrInfo::getDesc
MCInstrDesc const & getDesc(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:255
llvm::HexagonMCInstrInfo::bundleInstructions
iterator_range< Hexagon::PacketIterator > bundleInstructions(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:103
llvm::HexagonMCInstrInfo::isBundle
bool isBundle(MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:539
llvm::HexagonMCInstrInfo::getExpr
MCExpr const & getExpr(MCExpr const &Expr)
Definition HexagonMCInstrInfo.cpp:310
llvm::HexagonMCInstrInfo::isExtendable
bool isExtendable(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:628
llvm::HexagonMCInstrInfo::getType
unsigned getType(MCInstrInfo const &MCII, MCInst const &MCI)
Return the Hexagon ISA class for the insn.
Definition HexagonMCInstrInfo.cpp:423
llvm::HexagonMCInstrInfo::isImmext
bool isImmext(MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:650
llvm::HexagonMCInstrInfo::getNewValueOperand
MCOperand const & getNewValueOperand(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:385
llvm::HexagonMCInstrInfo::isPredicated
bool isPredicated(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:733
llvm::HexagonMCInstrInfo::SubregisterBit
unsigned SubregisterBit(MCRegister Consumer, MCRegister Producer, MCRegister Producer2)
Definition HexagonMCInstrInfo.cpp:1034
llvm::HexagonMCInstrInfo::s27_2_reloc
bool s27_2_reloc(MCExpr const &Expr)
Definition HexagonMCInstrInfo.cpp:910
llvm::HexagonMCInstrInfo::isInnerLoop
bool isInnerLoop(MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:654
llvm::HexagonMCInstrInfo::hasNewValue2
bool hasNewValue2(MCInstrInfo const &MCII, MCInst const &MCI)
Return whether the insn produces a second value.
Definition HexagonMCInstrInfo.cpp:520
llvm::HexagonMCInstrInfo::getExtentAlignment
unsigned getExtentAlignment(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:334
llvm::HexagonMCInstrInfo::getName
StringRef getName(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:374
llvm::HexagonMCInstrInfo::isPredicatedTrue
bool isPredicatedTrue(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:756
llvm::HexagonMCInstrInfo::isVector
bool isVector(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:869
llvm::HexagonMCInstrInfo::isSubInstruction
bool isSubInstruction(MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:809
llvm::HexagonMCInstrInfo::getNewValueOperand2
MCOperand const & getNewValueOperand2(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:411
llvm::HexagonMCInstrInfo::getDuplexRegisterNumbering
unsigned getDuplexRegisterNumbering(MCRegister Reg)
Definition HexagonMCInstrInfo.cpp:260
llvm::HexagonMCInstrInfo::isExtended
bool isExtended(MCInstrInfo const &MCII, MCInst const &MCI)
Definition HexagonMCInstrInfo.cpp:634
llvm::HexagonMCInstrInfo::hasNewValue
bool hasNewValue(MCInstrInfo const &MCII, MCInst const &MCI)
Return whether the insn produces a value.
Definition HexagonMCInstrInfo.cpp:513
llvm::support::endian::write
void write(void *memory, value_type value, endianness endian)
Write a value to memory with a particular endianness.
Definition Endian.h:92
llvm
This is an optimization pass for GlobalISel generic memory operations.
Definition AddressRanges.h:18
llvm::Offset
@ Offset
Definition DWP.cpp:477
llvm::Value
FunctionAddr VTableAddr Value
Definition InstrProf.h:137
llvm::createHexagonMCCodeEmitter
MCCodeEmitter * createHexagonMCCodeEmitter(const MCInstrInfo &MCII, MCContext &MCT)
Definition HexagonMCCodeEmitter.cpp:815
llvm::dbgs
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:207
llvm::FixupKind
static Lanai::Fixups FixupKind(const MCExpr *Expr)
Definition LanaiMCCodeEmitter.cpp:89
llvm::report_fatal_error
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
Definition Error.cpp:167
llvm::isa
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
Definition Casting.h:548
llvm::addFixup
static void addFixup(SmallVectorImpl< MCFixup > &Fixups, uint32_t Offset, const MCExpr *Value, uint16_t Kind)
Definition AVRMCCodeEmitter.cpp:38
llvm::cast
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:565
llvm::is_contained
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition STLExtras.h:1877
raw_ostream.h
N
#define N
Generated on for LLVM by doxygen 1.14.0