1//===-- HexagonAsmBackend.cpp - Hexagon Assembler Backend -----------------===//
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 "HexagonFixupKinds.h"
10#include "MCTargetDesc/HexagonBaseInfo.h"
11#include "MCTargetDesc/HexagonMCChecker.h"
12#include "MCTargetDesc/HexagonMCCodeEmitter.h"
13#include "MCTargetDesc/HexagonMCInstrInfo.h"
14#include "MCTargetDesc/HexagonMCShuffler.h"
15#include "MCTargetDesc/HexagonMCTargetDesc.h"
16#include "llvm/MC/MCAsmBackend.h"
17#include "llvm/MC/MCAssembler.h"
18#include "llvm/MC/MCContext.h"
19#include "llvm/MC/MCELFObjectWriter.h"
20#include "llvm/MC/MCInstrInfo.h"
21#include "llvm/MC/MCObjectWriter.h"
22#include "llvm/MC/MCSubtargetInfo.h"
23#include "llvm/MC/TargetRegistry.h"
24#include "llvm/Support/Debug.h"
25#include "llvm/Support/EndianStream.h"
26
27#include <sstream>
28
29using namespace llvm;
30using namespace Hexagon;
31
32#define DEBUG_TYPE "hexagon-asm-backend"
33
34static cl::opt<bool> DisableFixup
35 ("mno-fixup", cl::desc("Disable fixing up resolved relocations for Hexagon"));
36
37namespace {
38
39class HexagonAsmBackend : public MCAsmBackend {
40 uint8_t OSABI;
41 StringRef CPU;
42 mutable uint64_t relaxedCnt;
43 mutable MCInst RelaxedMCB;
44 std::unique_ptr <MCInstrInfo> MCII;
45 std::unique_ptr <MCInst *> RelaxTarget;
46 MCInst * Extender;
47 unsigned MaxPacketSize;
48
49 void ReplaceInstruction(MCCodeEmitter &E, MCFragment &RF, MCInst &HMB) const {
50 SmallVector<MCFixup, 4> Fixups;
51 SmallString<256> Code;
52 E.encodeInstruction(Inst: HMB, CB&: Code, Fixups, STI: *RF.getSubtargetInfo());
53
54 // Update the fragment.
55 RF.setInst(HMB);
56 RF.setVarContents(Code);
57 RF.setVarFixups(Fixups);
58 }
59
60public:
61 HexagonAsmBackend(const Target &T, const Triple &TT, uint8_t OSABI,
62 StringRef CPU)
63 : MCAsmBackend(llvm::endianness::little), OSABI(OSABI), CPU(CPU),
64 relaxedCnt(0), MCII(T.createMCInstrInfo()), RelaxTarget(new MCInst *),
65 Extender(nullptr), MaxPacketSize(HexagonMCInstrInfo::packetSize(CPU)) {}
66
67 std::unique_ptr<MCObjectTargetWriter>
68 createObjectTargetWriter() const override {
69 return createHexagonELFObjectWriter(OSABI, CPU);
70 }
71
72 void setExtender(MCContext &Context) const {
73 if (Extender == nullptr)
74 const_cast<HexagonAsmBackend *>(this)->Extender = Context.createMCInst();
75 }
76
77 MCInst *takeExtender() const {
78 assert(Extender != nullptr);
79 MCInst * Result = Extender;
80 const_cast<HexagonAsmBackend *>(this)->Extender = nullptr;
81 return Result;
82 }
83
84 MCFixupKindInfo getFixupKindInfo(MCFixupKind Kind) const override {
85 // clang-format off
86 const static MCFixupKindInfo Infos[Hexagon::NumTargetFixupKinds] = {
87 // This table *must* be in same the order of fixup_* kinds in
88 // HexagonFixupKinds.h.
89 //
90 // namei offset bits flags
91 { .Name: "fixup_Hexagon_B22_PCREL", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
92 { .Name: "fixup_Hexagon_B15_PCREL", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
93 { .Name: "fixup_Hexagon_B7_PCREL", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
94 { .Name: "fixup_Hexagon_LO16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
95 { .Name: "fixup_Hexagon_HI16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
96 { .Name: "fixup_Hexagon_32", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
97 { .Name: "fixup_Hexagon_16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
98 { .Name: "fixup_Hexagon_8", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
99 { .Name: "fixup_Hexagon_GPREL16_0", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
100 { .Name: "fixup_Hexagon_GPREL16_1", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
101 { .Name: "fixup_Hexagon_GPREL16_2", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
102 { .Name: "fixup_Hexagon_GPREL16_3", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
103 { .Name: "fixup_Hexagon_HL16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
104 { .Name: "fixup_Hexagon_B13_PCREL", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
105 { .Name: "fixup_Hexagon_B9_PCREL", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
106 { .Name: "fixup_Hexagon_B32_PCREL_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
107 { .Name: "fixup_Hexagon_32_6_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
108 { .Name: "fixup_Hexagon_B22_PCREL_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
109 { .Name: "fixup_Hexagon_B15_PCREL_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
110 { .Name: "fixup_Hexagon_B13_PCREL_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
111 { .Name: "fixup_Hexagon_B9_PCREL_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
112 { .Name: "fixup_Hexagon_B7_PCREL_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
113 { .Name: "fixup_Hexagon_16_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
114 { .Name: "fixup_Hexagon_12_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
115 { .Name: "fixup_Hexagon_11_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
116 { .Name: "fixup_Hexagon_10_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
117 { .Name: "fixup_Hexagon_9_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
118 { .Name: "fixup_Hexagon_8_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
119 { .Name: "fixup_Hexagon_7_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
120 { .Name: "fixup_Hexagon_6_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
121 { .Name: "fixup_Hexagon_32_PCREL", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
122 { .Name: "fixup_Hexagon_COPY", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
123 { .Name: "fixup_Hexagon_GLOB_DAT", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
124 { .Name: "fixup_Hexagon_JMP_SLOT", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
125 { .Name: "fixup_Hexagon_RELATIVE", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
126 { .Name: "fixup_Hexagon_PLT_B22_PCREL", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
127 { .Name: "fixup_Hexagon_GOTREL_LO16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
128 { .Name: "fixup_Hexagon_GOTREL_HI16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
129 { .Name: "fixup_Hexagon_GOTREL_32", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
130 { .Name: "fixup_Hexagon_GOT_LO16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
131 { .Name: "fixup_Hexagon_GOT_HI16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
132 { .Name: "fixup_Hexagon_GOT_32", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
133 { .Name: "fixup_Hexagon_GOT_16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
134 { .Name: "fixup_Hexagon_DTPMOD_32", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
135 { .Name: "fixup_Hexagon_DTPREL_LO16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
136 { .Name: "fixup_Hexagon_DTPREL_HI16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
137 { .Name: "fixup_Hexagon_DTPREL_32", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
138 { .Name: "fixup_Hexagon_DTPREL_16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
139 { .Name: "fixup_Hexagon_GD_PLT_B22_PCREL",.TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
140 { .Name: "fixup_Hexagon_LD_PLT_B22_PCREL",.TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
141 { .Name: "fixup_Hexagon_GD_GOT_LO16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
142 { .Name: "fixup_Hexagon_GD_GOT_HI16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
143 { .Name: "fixup_Hexagon_GD_GOT_32", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
144 { .Name: "fixup_Hexagon_GD_GOT_16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
145 { .Name: "fixup_Hexagon_LD_GOT_LO16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
146 { .Name: "fixup_Hexagon_LD_GOT_HI16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
147 { .Name: "fixup_Hexagon_LD_GOT_32", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
148 { .Name: "fixup_Hexagon_LD_GOT_16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
149 { .Name: "fixup_Hexagon_IE_LO16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
150 { .Name: "fixup_Hexagon_IE_HI16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
151 { .Name: "fixup_Hexagon_IE_32", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
152 { .Name: "fixup_Hexagon_IE_16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
153 { .Name: "fixup_Hexagon_IE_GOT_LO16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
154 { .Name: "fixup_Hexagon_IE_GOT_HI16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
155 { .Name: "fixup_Hexagon_IE_GOT_32", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
156 { .Name: "fixup_Hexagon_IE_GOT_16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
157 { .Name: "fixup_Hexagon_TPREL_LO16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
158 { .Name: "fixup_Hexagon_TPREL_HI16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
159 { .Name: "fixup_Hexagon_TPREL_32", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
160 { .Name: "fixup_Hexagon_TPREL_16", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
161 { .Name: "fixup_Hexagon_6_PCREL_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
162 { .Name: "fixup_Hexagon_GOTREL_32_6_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
163 { .Name: "fixup_Hexagon_GOTREL_16_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
164 { .Name: "fixup_Hexagon_GOTREL_11_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
165 { .Name: "fixup_Hexagon_GOT_32_6_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
166 { .Name: "fixup_Hexagon_GOT_16_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
167 { .Name: "fixup_Hexagon_GOT_11_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
168 { .Name: "fixup_Hexagon_DTPREL_32_6_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
169 { .Name: "fixup_Hexagon_DTPREL_16_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
170 { .Name: "fixup_Hexagon_DTPREL_11_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
171 { .Name: "fixup_Hexagon_GD_GOT_32_6_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
172 { .Name: "fixup_Hexagon_GD_GOT_16_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
173 { .Name: "fixup_Hexagon_GD_GOT_11_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
174 { .Name: "fixup_Hexagon_LD_GOT_32_6_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
175 { .Name: "fixup_Hexagon_LD_GOT_16_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
176 { .Name: "fixup_Hexagon_LD_GOT_11_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
177 { .Name: "fixup_Hexagon_IE_32_6_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
178 { .Name: "fixup_Hexagon_IE_16_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
179 { .Name: "fixup_Hexagon_IE_GOT_32_6_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
180 { .Name: "fixup_Hexagon_IE_GOT_16_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
181 { .Name: "fixup_Hexagon_IE_GOT_11_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
182 { .Name: "fixup_Hexagon_TPREL_32_6_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
183 { .Name: "fixup_Hexagon_TPREL_16_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
184 { .Name: "fixup_Hexagon_TPREL_11_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
185 { .Name: "fixup_Hexagon_GD_PLT_B22_PCREL_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
186 { .Name: "fixup_Hexagon_GD_PLT_B32_PCREL_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
187 { .Name: "fixup_Hexagon_LD_PLT_B22_PCREL_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
188 { .Name: "fixup_Hexagon_LD_PLT_B32_PCREL_X", .TargetOffset: 0, .TargetSize: 32, .Flags: 0 },
189 };
190 // clang-format on
191
192 if (Kind < FirstTargetFixupKind)
193 return MCAsmBackend::getFixupKindInfo(Kind);
194
195 assert(unsigned(Kind - FirstTargetFixupKind) <
196 Hexagon::NumTargetFixupKinds &&
197 "Invalid kind!");
198 return Infos[Kind - FirstTargetFixupKind];
199 }
200
201 bool shouldForceRelocation(const MCFixup &Fixup) {
202 switch(Fixup.getKind()) {
203 default:
204 llvm_unreachable("Unknown Fixup Kind!");
205
206 case fixup_Hexagon_LO16:
207 case fixup_Hexagon_HI16:
208 case fixup_Hexagon_16:
209 case fixup_Hexagon_8:
210 case fixup_Hexagon_GPREL16_0:
211 case fixup_Hexagon_GPREL16_1:
212 case fixup_Hexagon_GPREL16_2:
213 case fixup_Hexagon_GPREL16_3:
214 case fixup_Hexagon_HL16:
215 case fixup_Hexagon_32_6_X:
216 case fixup_Hexagon_16_X:
217 case fixup_Hexagon_12_X:
218 case fixup_Hexagon_11_X:
219 case fixup_Hexagon_10_X:
220 case fixup_Hexagon_9_X:
221 case fixup_Hexagon_8_X:
222 case fixup_Hexagon_7_X:
223 case fixup_Hexagon_6_X:
224 case fixup_Hexagon_COPY:
225 case fixup_Hexagon_GLOB_DAT:
226 case fixup_Hexagon_JMP_SLOT:
227 case fixup_Hexagon_RELATIVE:
228 case fixup_Hexagon_PLT_B22_PCREL:
229 case fixup_Hexagon_GOTREL_LO16:
230 case fixup_Hexagon_GOTREL_HI16:
231 case fixup_Hexagon_GOTREL_32:
232 case fixup_Hexagon_GOT_LO16:
233 case fixup_Hexagon_GOT_HI16:
234 case fixup_Hexagon_GOT_32:
235 case fixup_Hexagon_GOT_16:
236 case fixup_Hexagon_DTPMOD_32:
237 case fixup_Hexagon_DTPREL_LO16:
238 case fixup_Hexagon_DTPREL_HI16:
239 case fixup_Hexagon_DTPREL_32:
240 case fixup_Hexagon_DTPREL_16:
241 case fixup_Hexagon_GD_PLT_B22_PCREL:
242 case fixup_Hexagon_LD_PLT_B22_PCREL:
243 case fixup_Hexagon_GD_GOT_LO16:
244 case fixup_Hexagon_GD_GOT_HI16:
245 case fixup_Hexagon_GD_GOT_32:
246 case fixup_Hexagon_GD_GOT_16:
247 case fixup_Hexagon_LD_GOT_LO16:
248 case fixup_Hexagon_LD_GOT_HI16:
249 case fixup_Hexagon_LD_GOT_32:
250 case fixup_Hexagon_LD_GOT_16:
251 case fixup_Hexagon_IE_LO16:
252 case fixup_Hexagon_IE_HI16:
253 case fixup_Hexagon_IE_32:
254 case fixup_Hexagon_IE_16:
255 case fixup_Hexagon_IE_GOT_LO16:
256 case fixup_Hexagon_IE_GOT_HI16:
257 case fixup_Hexagon_IE_GOT_32:
258 case fixup_Hexagon_IE_GOT_16:
259 case fixup_Hexagon_TPREL_LO16:
260 case fixup_Hexagon_TPREL_HI16:
261 case fixup_Hexagon_TPREL_32:
262 case fixup_Hexagon_TPREL_16:
263 case fixup_Hexagon_GOTREL_32_6_X:
264 case fixup_Hexagon_GOTREL_16_X:
265 case fixup_Hexagon_GOTREL_11_X:
266 case fixup_Hexagon_GOT_32_6_X:
267 case fixup_Hexagon_GOT_16_X:
268 case fixup_Hexagon_GOT_11_X:
269 case fixup_Hexagon_DTPREL_32_6_X:
270 case fixup_Hexagon_DTPREL_16_X:
271 case fixup_Hexagon_DTPREL_11_X:
272 case fixup_Hexagon_GD_GOT_32_6_X:
273 case fixup_Hexagon_GD_GOT_16_X:
274 case fixup_Hexagon_GD_GOT_11_X:
275 case fixup_Hexagon_LD_GOT_32_6_X:
276 case fixup_Hexagon_LD_GOT_16_X:
277 case fixup_Hexagon_LD_GOT_11_X:
278 case fixup_Hexagon_IE_32_6_X:
279 case fixup_Hexagon_IE_16_X:
280 case fixup_Hexagon_IE_GOT_32_6_X:
281 case fixup_Hexagon_IE_GOT_16_X:
282 case fixup_Hexagon_IE_GOT_11_X:
283 case fixup_Hexagon_TPREL_32_6_X:
284 case fixup_Hexagon_TPREL_16_X:
285 case fixup_Hexagon_TPREL_11_X:
286 case fixup_Hexagon_32_PCREL:
287 case fixup_Hexagon_6_PCREL_X:
288 case fixup_Hexagon_23_REG:
289 case fixup_Hexagon_27_REG:
290 case fixup_Hexagon_GD_PLT_B22_PCREL_X:
291 case fixup_Hexagon_GD_PLT_B32_PCREL_X:
292 case fixup_Hexagon_LD_PLT_B22_PCREL_X:
293 case fixup_Hexagon_LD_PLT_B32_PCREL_X:
294 // These relocations should always have a relocation recorded
295 return true;
296
297 case fixup_Hexagon_B22_PCREL:
298 //IsResolved = false;
299 break;
300
301 case fixup_Hexagon_B13_PCREL:
302 case fixup_Hexagon_B13_PCREL_X:
303 case fixup_Hexagon_B32_PCREL_X:
304 case fixup_Hexagon_B22_PCREL_X:
305 case fixup_Hexagon_B15_PCREL:
306 case fixup_Hexagon_B15_PCREL_X:
307 case fixup_Hexagon_B9_PCREL:
308 case fixup_Hexagon_B9_PCREL_X:
309 case fixup_Hexagon_B7_PCREL:
310 case fixup_Hexagon_B7_PCREL_X:
311 if (DisableFixup)
312 return true;
313 break;
314
315 case FK_Data_1:
316 case FK_Data_2:
317 case FK_Data_4:
318 case fixup_Hexagon_32:
319 // Leave these relocations alone as they are used for EH.
320 return false;
321 }
322 return false;
323 }
324
325 /// getFixupKindNumBytes - The number of bytes the fixup may change.
326 static unsigned getFixupKindNumBytes(unsigned Kind) {
327 switch (Kind) {
328 default:
329 return 0;
330
331 case FK_Data_1:
332 return 1;
333 case FK_Data_2:
334 return 2;
335 case FK_Data_4: // this later gets mapped to R_HEX_32 or R_HEX_32_PCREL
336 case fixup_Hexagon_32:
337 case fixup_Hexagon_B32_PCREL_X:
338 case fixup_Hexagon_B22_PCREL:
339 case fixup_Hexagon_B22_PCREL_X:
340 case fixup_Hexagon_B15_PCREL:
341 case fixup_Hexagon_B15_PCREL_X:
342 case fixup_Hexagon_B13_PCREL:
343 case fixup_Hexagon_B13_PCREL_X:
344 case fixup_Hexagon_B9_PCREL:
345 case fixup_Hexagon_B9_PCREL_X:
346 case fixup_Hexagon_B7_PCREL:
347 case fixup_Hexagon_B7_PCREL_X:
348 case fixup_Hexagon_GD_PLT_B32_PCREL_X:
349 case fixup_Hexagon_LD_PLT_B32_PCREL_X:
350 return 4;
351 }
352 }
353
354 // Make up for left shift when encoding the operand.
355 static uint64_t adjustFixupValue(MCFixupKind Kind, uint64_t Value) {
356 switch((unsigned)Kind) {
357 default:
358 break;
359
360 case fixup_Hexagon_B7_PCREL:
361 case fixup_Hexagon_B9_PCREL:
362 case fixup_Hexagon_B13_PCREL:
363 case fixup_Hexagon_B15_PCREL:
364 case fixup_Hexagon_B22_PCREL:
365 Value >>= 2;
366 break;
367
368 case fixup_Hexagon_B7_PCREL_X:
369 case fixup_Hexagon_B9_PCREL_X:
370 case fixup_Hexagon_B13_PCREL_X:
371 case fixup_Hexagon_B15_PCREL_X:
372 case fixup_Hexagon_B22_PCREL_X:
373 Value &= 0x3f;
374 break;
375
376 case fixup_Hexagon_B32_PCREL_X:
377 case fixup_Hexagon_GD_PLT_B32_PCREL_X:
378 case fixup_Hexagon_LD_PLT_B32_PCREL_X:
379 Value >>= 6;
380 break;
381 }
382 return (Value);
383 }
384
385 void HandleFixupError(const int bits, const int align_bits,
386 const int64_t FixupValue, const char *fixupStr) const {
387 // Error: value 1124 out of range: -1024-1023 when resolving
388 // symbol in file xprtsock.S
389 const APInt IntMin = APInt::getSignedMinValue(numBits: bits+align_bits);
390 const APInt IntMax = APInt::getSignedMaxValue(numBits: bits+align_bits);
391 std::stringstream errStr;
392 errStr << "\nError: value " <<
393 FixupValue <<
394 " out of range: " <<
395 IntMin.getSExtValue() <<
396 "-" <<
397 IntMax.getSExtValue() <<
398 " when resolving " <<
399 fixupStr <<
400 " fixup\n";
401 llvm_unreachable(errStr.str().c_str());
402 }
403
404 void applyFixup(const MCFragment &, const MCFixup &, const MCValue &,
405 uint8_t *Data, uint64_t FixupValue, bool IsResolved) override;
406
407 bool isInstRelaxable(MCInst const &HMI) const {
408 const MCInstrDesc &MCID = HexagonMCInstrInfo::getDesc(MCII: *MCII, MCI: HMI);
409 bool Relaxable = false;
410 // Branches and loop-setup insns are handled as necessary by relaxation.
411 if (llvm::HexagonMCInstrInfo::getType(MCII: *MCII, MCI: HMI) == HexagonII::TypeJ ||
412 (llvm::HexagonMCInstrInfo::getType(MCII: *MCII, MCI: HMI) == HexagonII::TypeCJ &&
413 MCID.isBranch()) ||
414 (llvm::HexagonMCInstrInfo::getType(MCII: *MCII, MCI: HMI) == HexagonII::TypeNCJ &&
415 MCID.isBranch()) ||
416 (llvm::HexagonMCInstrInfo::getType(MCII: *MCII, MCI: HMI) == HexagonII::TypeCR &&
417 HMI.getOpcode() != Hexagon::C4_addipc))
418 if (HexagonMCInstrInfo::isExtendable(MCII: *MCII, MCI: HMI)) {
419 Relaxable = true;
420 MCOperand const &Operand =
421 HMI.getOperand(i: HexagonMCInstrInfo::getExtendableOp(MCII: *MCII, MCI: HMI));
422 if (HexagonMCInstrInfo::mustNotExtend(Expr: *Operand.getExpr()))
423 Relaxable = false;
424 }
425
426 return Relaxable;
427 }
428
429 bool mayNeedRelaxation(unsigned Opcode, ArrayRef<MCOperand> Operands,
430 const MCSubtargetInfo &STI) const override {
431 RelaxedMCB.clear();
432 RelaxedMCB.setOpcode(Opcode);
433 RelaxedMCB.setOperands(Operands);
434 return true;
435 }
436
437 /// fixupNeedsRelaxation - Target specific predicate for whether a given
438 /// fixup requires the associated instruction to be relaxed.
439 bool fixupNeedsRelaxationAdvanced(const MCFragment &F, const MCFixup &Fixup,
440 const MCValue &, uint64_t Value,
441 bool Resolved) const override {
442 MCInst const &MCB = RelaxedMCB;
443 assert(HexagonMCInstrInfo::isBundle(MCB));
444
445 *RelaxTarget = nullptr;
446 MCInst &MCI = const_cast<MCInst &>(HexagonMCInstrInfo::instruction(
447 MCB, Index: (Fixup.getOffset() - F.getFixedSize()) / HEXAGON_INSTR_SIZE));
448 bool Relaxable = isInstRelaxable(HMI: MCI);
449 if (Relaxable == false)
450 return false;
451 // If we cannot resolve the fixup value, it requires relaxation.
452 if (!Resolved) {
453 switch (Fixup.getKind()) {
454 case fixup_Hexagon_B22_PCREL:
455 // GetFixupCount assumes B22 won't relax
456 [[fallthrough]];
457 default:
458 return false;
459 break;
460 case fixup_Hexagon_B13_PCREL:
461 case fixup_Hexagon_B15_PCREL:
462 case fixup_Hexagon_B9_PCREL:
463 case fixup_Hexagon_B7_PCREL: {
464 if (HexagonMCInstrInfo::bundleSize(MCI: MCB) < HEXAGON_PACKET_SIZE) {
465 ++relaxedCnt;
466 *RelaxTarget = &MCI;
467 setExtender(getContext());
468 return true;
469 } else {
470 return false;
471 }
472 break;
473 }
474 }
475 }
476
477 MCFixupKind Kind = Fixup.getKind();
478 int64_t sValue = Value;
479 int64_t maxValue;
480
481 switch ((unsigned)Kind) {
482 case fixup_Hexagon_B7_PCREL:
483 maxValue = 1 << 8;
484 break;
485 case fixup_Hexagon_B9_PCREL:
486 maxValue = 1 << 10;
487 break;
488 case fixup_Hexagon_B15_PCREL:
489 maxValue = 1 << 16;
490 break;
491 case fixup_Hexagon_B22_PCREL:
492 maxValue = 1 << 23;
493 break;
494 default:
495 maxValue = INT64_MAX;
496 break;
497 }
498
499 bool isFarAway = -maxValue > sValue || sValue > maxValue - 1;
500
501 if (isFarAway) {
502 if (HexagonMCInstrInfo::bundleSize(MCI: MCB) < HEXAGON_PACKET_SIZE) {
503 ++relaxedCnt;
504 *RelaxTarget = &MCI;
505 setExtender(getContext());
506 return true;
507 }
508 }
509
510 return false;
511 }
512
513 void relaxInstruction(MCInst &Inst,
514 const MCSubtargetInfo &STI) const override {
515 assert(HexagonMCInstrInfo::isBundle(Inst) &&
516 "Hexagon relaxInstruction only works on bundles");
517
518 MCInst Res;
519 Res.setOpcode(Hexagon::BUNDLE);
520 Res.addOperand(Op: MCOperand::createImm(Val: Inst.getOperand(i: 0).getImm()));
521 // Copy the results into the bundle.
522 bool Update = false;
523 for (auto &I : HexagonMCInstrInfo::bundleInstructions(MCI: Inst)) {
524 MCInst &CrntHMI = const_cast<MCInst &>(*I.getInst());
525
526 // if immediate extender needed, add it in
527 if (*RelaxTarget == &CrntHMI) {
528 Update = true;
529 assert((HexagonMCInstrInfo::bundleSize(Res) < HEXAGON_PACKET_SIZE) &&
530 "No room to insert extender for relaxation");
531
532 MCInst *HMIx = takeExtender();
533 *HMIx = HexagonMCInstrInfo::deriveExtender(
534 MCII: *MCII, Inst: CrntHMI,
535 MO: HexagonMCInstrInfo::getExtendableOperand(MCII: *MCII, MCI: CrntHMI));
536 Res.addOperand(Op: MCOperand::createInst(Val: HMIx));
537 *RelaxTarget = nullptr;
538 }
539 // now copy over the original instruction(the one we may have extended)
540 Res.addOperand(Op: MCOperand::createInst(Val: I.getInst()));
541 }
542
543 Inst = std::move(Res);
544 (void)Update;
545 assert(Update && "Didn't find relaxation target");
546 }
547
548 bool writeNopData(raw_ostream &OS, uint64_t Count,
549 const MCSubtargetInfo *STI) const override {
550 static const uint32_t Nopcode = 0x7f000000, // Hard-coded NOP.
551 ParseIn = 0x00004000, // In packet parse-bits.
552 ParseEnd = 0x0000c000; // End of packet parse-bits.
553
554 while (Count % HEXAGON_INSTR_SIZE) {
555 LLVM_DEBUG(dbgs() << "Alignment not a multiple of the instruction size:"
556 << Count % HEXAGON_INSTR_SIZE << "/"
557 << HEXAGON_INSTR_SIZE << "\n");
558 --Count;
559 OS << '\0';
560 }
561
562 while (Count) {
563 Count -= HEXAGON_INSTR_SIZE;
564 // Close the packet whenever a multiple of the maximum packet size remains
565 uint32_t ParseBits = (Count % (MaxPacketSize * HEXAGON_INSTR_SIZE)) ?
566 ParseIn : ParseEnd;
567 support::endian::write<uint32_t>(os&: OS, value: Nopcode | ParseBits, endian: Endian);
568 }
569 return true;
570 }
571
572 bool finishLayout() const override {
573 SmallVector<MCFragment *> Frags;
574 for (MCSection &Sec : *Asm) {
575 Frags.clear();
576 for (MCFragment &F : Sec)
577 Frags.push_back(Elt: &F);
578 for (size_t J = 0, E = Frags.size(); J != E; ++J) {
579 switch (Frags[J]->getKind()) {
580 default:
581 break;
582 case MCFragment::FT_Align: {
583 auto Size = Asm->computeFragmentSize(F: *Frags[J]);
584 for (auto K = J; K != 0 && Size >= HEXAGON_PACKET_SIZE;) {
585 --K;
586 switch (Frags[K]->getKind()) {
587 default:
588 break;
589 case MCFragment::FT_Align: {
590 // Don't pad before other alignments
591 Size = 0;
592 break;
593 }
594 case MCFragment::FT_Relaxable: {
595 MCContext &Context = getContext();
596 auto &RF = *Frags[K];
597 MCInst Inst = RF.getInst();
598
599 // Don't add nops to packets that have fixups, as reshuffling can
600 // invalidate fixup offsets.
601 if (!RF.getVarFixups().empty()) {
602 Size = 0;
603 break;
604 }
605
606 const bool WouldTraverseLabel = llvm::any_of(
607 Range: Asm->symbols(), P: [&RF, &Inst, Asm = Asm](MCSymbol const &sym) {
608 uint64_t Offset = 0;
609 const bool HasOffset = Asm->getSymbolOffset(S: sym, Val&: Offset);
610 const unsigned PacketSizeBytes =
611 HexagonMCInstrInfo::bundleSize(MCI: Inst) *
612 HEXAGON_INSTR_SIZE;
613 const bool OffsetPastSym =
614 Offset <= Asm->getFragmentOffset(F: RF) + PacketSizeBytes;
615 return !sym.isVariable() && Offset != 0 && HasOffset &&
616 OffsetPastSym;
617 });
618 if (WouldTraverseLabel) {
619 Size = 0;
620 break;
621 }
622
623 while (Size > 0 &&
624 HexagonMCInstrInfo::bundleSize(MCI: Inst) < MaxPacketSize) {
625 MCInst *Nop = Context.createMCInst();
626 Nop->setOpcode(Hexagon::A2_nop);
627 Inst.addOperand(Op: MCOperand::createInst(Val: Nop));
628 Size -= 4;
629 if (!HexagonMCChecker(
630 Context, *MCII, *RF.getSubtargetInfo(), Inst,
631 *Context.getRegisterInfo(), false)
632 .check()) {
633 Inst.erase(I: Inst.end() - 1);
634 Size = 0;
635 }
636 }
637 bool Error = HexagonMCShuffle(Context, ReportErrors: true, MCII: *MCII,
638 STI: *RF.getSubtargetInfo(), MCB&: Inst);
639 //assert(!Error);
640 (void)Error;
641 ReplaceInstruction(E&: Asm->getEmitter(), RF, HMB&: Inst);
642 Size = 0; // Only look back one instruction
643 break;
644 }
645 }
646 }
647 }
648 }
649 }
650 }
651 return true;
652 }
653}; // class HexagonAsmBackend
654
655} // namespace
656
657void HexagonAsmBackend::applyFixup(const MCFragment &F, const MCFixup &Fixup,
658 const MCValue &Target, uint8_t *InstAddr,
659 uint64_t FixupValue, bool IsResolved) {
660 if (IsResolved && shouldForceRelocation(Fixup))
661 IsResolved = false;
662 maybeAddReloc(F, Fixup, Target, Value&: FixupValue, IsResolved);
663 // When FixupValue is 0 the relocation is external and there
664 // is nothing for us to do.
665 if (!FixupValue)
666 return;
667
668 MCFixupKind Kind = Fixup.getKind();
669 uint64_t Value;
670 uint32_t InstMask;
671 uint32_t Reloc;
672
673 // LLVM gives us an encoded value, we have to convert it back
674 // to a real offset before we can use it.
675 unsigned NumBytes = getFixupKindNumBytes(Kind);
676 assert(Fixup.getOffset() + NumBytes <= F.getSize() &&
677 "Invalid fixup offset!");
678
679 Value = adjustFixupValue(Kind, Value: FixupValue);
680 if (!Value)
681 return;
682 int sValue = (int)Value;
683
684 switch ((unsigned)Kind) {
685 default:
686 return;
687
688 case fixup_Hexagon_B7_PCREL:
689 if (!(isIntN(N: 7, x: sValue)))
690 HandleFixupError(bits: 7, align_bits: 2, FixupValue: (int64_t)FixupValue, fixupStr: "B7_PCREL");
691 [[fallthrough]];
692 case fixup_Hexagon_B7_PCREL_X:
693 InstMask = 0x00001f18; // Word32_B7
694 Reloc = (((Value >> 2) & 0x1f) << 8) | // Value 6-2 = Target 12-8
695 ((Value & 0x3) << 3); // Value 1-0 = Target 4-3
696 break;
697
698 case fixup_Hexagon_B9_PCREL:
699 if (!(isIntN(N: 9, x: sValue)))
700 HandleFixupError(bits: 9, align_bits: 2, FixupValue: (int64_t)FixupValue, fixupStr: "B9_PCREL");
701 [[fallthrough]];
702 case fixup_Hexagon_B9_PCREL_X:
703 InstMask = 0x003000fe; // Word32_B9
704 Reloc = (((Value >> 7) & 0x3) << 20) | // Value 8-7 = Target 21-20
705 ((Value & 0x7f) << 1); // Value 6-0 = Target 7-1
706 break;
707
708 // Since the existing branches that use this relocation cannot be
709 // extended, they should only be fixed up if the target is within range.
710 case fixup_Hexagon_B13_PCREL:
711 if (!(isIntN(N: 13, x: sValue)))
712 HandleFixupError(bits: 13, align_bits: 2, FixupValue: (int64_t)FixupValue, fixupStr: "B13_PCREL");
713 [[fallthrough]];
714 case fixup_Hexagon_B13_PCREL_X:
715 InstMask = 0x00202ffe; // Word32_B13
716 Reloc = (((Value >> 12) & 0x1) << 21) | // Value 12 = Target 21
717 (((Value >> 11) & 0x1) << 13) | // Value 11 = Target 13
718 ((Value & 0x7ff) << 1); // Value 10-0 = Target 11-1
719 break;
720
721 case fixup_Hexagon_B15_PCREL:
722 if (!(isIntN(N: 15, x: sValue)))
723 HandleFixupError(bits: 15, align_bits: 2, FixupValue: (int64_t)FixupValue, fixupStr: "B15_PCREL");
724 [[fallthrough]];
725 case fixup_Hexagon_B15_PCREL_X:
726 InstMask = 0x00df20fe; // Word32_B15
727 Reloc = (((Value >> 13) & 0x3) << 22) | // Value 14-13 = Target 23-22
728 (((Value >> 8) & 0x1f) << 16) | // Value 12-8 = Target 20-16
729 (((Value >> 7) & 0x1) << 13) | // Value 7 = Target 13
730 ((Value & 0x7f) << 1); // Value 6-0 = Target 7-1
731 break;
732
733 case fixup_Hexagon_B22_PCREL:
734 if (!(isIntN(N: 22, x: sValue)))
735 HandleFixupError(bits: 22, align_bits: 2, FixupValue: (int64_t)FixupValue, fixupStr: "B22_PCREL");
736 [[fallthrough]];
737 case fixup_Hexagon_B22_PCREL_X:
738 InstMask = 0x01ff3ffe; // Word32_B22
739 Reloc = (((Value >> 13) & 0x1ff) << 16) | // Value 21-13 = Target 24-16
740 ((Value & 0x1fff) << 1); // Value 12-0 = Target 13-1
741 break;
742
743 case fixup_Hexagon_B32_PCREL_X:
744 InstMask = 0x0fff3fff; // Word32_X26
745 Reloc = (((Value >> 14) & 0xfff) << 16) | // Value 25-14 = Target 27-16
746 (Value & 0x3fff); // Value 13-0 = Target 13-0
747 break;
748
749 case FK_Data_1:
750 case FK_Data_2:
751 case FK_Data_4:
752 case fixup_Hexagon_32:
753 InstMask = 0xffffffff; // Word32
754 Reloc = Value;
755 break;
756 }
757
758 LLVM_DEBUG(dbgs() << "Name=" << getFixupKindInfo(Kind).Name << "("
759 << (unsigned)Kind << ")\n");
760 LLVM_DEBUG(
761 uint32_t OldData = 0; for (unsigned i = 0; i < NumBytes; i++) OldData |=
762 (InstAddr[i] << (i * 8)) & (0xff << (i * 8));
763 dbgs() << "\tBValue=0x"; dbgs().write_hex(Value) << ": AValue=0x";
764 dbgs().write_hex(FixupValue) << ": Offset=" << Fixup.getOffset()
765 << ": Size=" << F.getSize() << ": OInst=0x";
766 dbgs().write_hex(OldData) << ": Reloc=0x"; dbgs().write_hex(Reloc););
767
768 // For each byte of the fragment that the fixup touches, mask in the
769 // bits from the fixup value. The Value has been "split up" into the
770 // appropriate bitfields above.
771 for (unsigned i = 0; i < NumBytes; i++) {
772 InstAddr[i] &= uint8_t(~InstMask >> (i * 8)) & 0xff; // Clear reloc bits
773 InstAddr[i] |= uint8_t(Reloc >> (i * 8)) & 0xff; // Apply new reloc
774 }
775
776 LLVM_DEBUG(uint32_t NewData = 0;
777 for (unsigned i = 0; i < NumBytes; i++) NewData |=
778 (InstAddr[i] << (i * 8)) & (0xff << (i * 8));
779 dbgs() << ": NInst=0x"; dbgs().write_hex(NewData) << "\n";);
780}
781
782// MCAsmBackend
783MCAsmBackend *llvm::createHexagonAsmBackend(Target const &T,
784 const MCSubtargetInfo &STI,
785 MCRegisterInfo const & /*MRI*/,
786 const MCTargetOptions &Options) {
787 const Triple &TT = STI.getTargetTriple();
788 uint8_t OSABI = MCELFObjectTargetWriter::getOSABI(OSType: TT.getOS());
789
790 StringRef CPUString = Hexagon_MC::selectHexagonCPU(CPU: STI.getCPU());
791 return new HexagonAsmBackend(T, TT, OSABI, CPUString);
792}
793