LLVM 20.0.0git
XtensaAsmBackend.cpp
Go to the documentation of this file.
1//===-- XtensaMCAsmBackend.cpp - Xtensa assembler backend -----------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
6// See https://llvm.org/LICENSE.txt for license information.
7// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
8//
9//===----------------------------------------------------------------------===//
10
14#include "llvm/MC/MCAssembler.h"
15#include "llvm/MC/MCContext.h"
18#include "llvm/MC/MCInst.h"
22
23using namespace llvm;
24
25namespace llvm {
28 uint8_t OSABI;
29 bool IsLittleEndian;
30
31public:
32 XtensaMCAsmBackend(uint8_t osABI, bool isLE)
33 : MCAsmBackend(llvm::endianness::little), OSABI(osABI),
34 IsLittleEndian(isLE) {}
35
36 unsigned getNumFixupKinds() const override {
38 }
39 const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const override;
40 void applyFixup(const MCAssembler &Asm, const MCFixup &Fixup,
42 uint64_t Value, bool IsResolved,
43 const MCSubtargetInfo *STI) const override;
44 bool mayNeedRelaxation(const MCInst &Inst,
45 const MCSubtargetInfo &STI) const override;
46 void relaxInstruction(MCInst &Inst,
47 const MCSubtargetInfo &STI) const override;
49 const MCSubtargetInfo *STI) const override;
50
51 std::unique_ptr<MCObjectTargetWriter> createObjectTargetWriter() const override {
52 return createXtensaObjectWriter(OSABI, IsLittleEndian);
53 }
54};
55} // namespace llvm
56
57const MCFixupKindInfo &
59 const static MCFixupKindInfo Infos[Xtensa::NumTargetFixupKinds] = {
60 // name offset bits flags
61 {"fixup_xtensa_branch_6", 0, 16, MCFixupKindInfo::FKF_IsPCRel},
62 {"fixup_xtensa_branch_8", 16, 8, MCFixupKindInfo::FKF_IsPCRel},
63 {"fixup_xtensa_branch_12", 12, 12, MCFixupKindInfo::FKF_IsPCRel},
64 {"fixup_xtensa_jump_18", 6, 18, MCFixupKindInfo::FKF_IsPCRel},
65 {"fixup_xtensa_call_18", 6, 18,
68 {"fixup_xtensa_l32r_16", 8, 16,
71
72 if (Kind < FirstTargetFixupKind)
74 assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() &&
75 "Invalid kind!");
76 return Infos[Kind - FirstTargetFixupKind];
77}
78
80 MCContext &Ctx) {
81 unsigned Kind = Fixup.getKind();
82 switch (Kind) {
83 default:
84 llvm_unreachable("Unknown fixup kind!");
85 case FK_Data_1:
86 case FK_Data_2:
87 case FK_Data_4:
88 case FK_Data_8:
89 return Value;
91 if (!Value)
92 return 0;
93 Value -= 4;
94 if (!isUInt<6>(Value))
95 Ctx.reportError(Fixup.getLoc(), "fixup value out of range");
96 unsigned Hi2 = (Value >> 4) & 0x3;
97 unsigned Lo4 = Value & 0xf;
98 return (Hi2 << 4) | (Lo4 << 12);
99 }
101 Value -= 4;
102 if (!isInt<8>(Value))
103 Ctx.reportError(Fixup.getLoc(), "fixup value out of range");
104 return (Value & 0xff);
106 Value -= 4;
107 if (!isInt<12>(Value))
108 Ctx.reportError(Fixup.getLoc(), "fixup value out of range");
109 return (Value & 0xfff);
111 Value -= 4;
112 if (!isInt<18>(Value))
113 Ctx.reportError(Fixup.getLoc(), "fixup value out of range");
114 return (Value & 0x3ffff);
116 Value -= 4;
117 if (!isInt<20>(Value))
118 Ctx.reportError(Fixup.getLoc(), "fixup value out of range");
119 if (Value & 0x3)
120 Ctx.reportError(Fixup.getLoc(), "fixup value must be 4-byte aligned");
121 return (Value & 0xffffc) >> 2;
123 unsigned Offset = Fixup.getOffset();
124 if (Offset & 0x3)
125 Value -= 4;
126 if (!isInt<18>(Value) && (Value & 0x20000))
127 Ctx.reportError(Fixup.getLoc(), "fixup value out of range");
128 if (Value & 0x3)
129 Ctx.reportError(Fixup.getLoc(), "fixup value must be 4-byte aligned");
130 return (Value & 0x3fffc) >> 2;
131 }
132}
133
134static unsigned getSize(unsigned Kind) {
135 switch (Kind) {
136 default:
137 return 3;
139 return 4;
141 return 2;
142 }
143}
144
146 const MCFixup &Fixup, const MCValue &Target,
148 bool IsResolved,
149 const MCSubtargetInfo *STI) const {
150 MCContext &Ctx = Asm.getContext();
152
154
155 // Shift the value into position.
156 Value <<= Info.TargetOffset;
157
158 if (!Value)
159 return; // Doesn't change encoding.
160
161 unsigned Offset = Fixup.getOffset();
162 unsigned FullSize = getSize(Fixup.getKind());
163
164 for (unsigned i = 0; i != FullSize; ++i) {
165 Data[Offset + i] |= uint8_t((Value >> (i * 8)) & 0xff);
166 }
167}
168
170 const MCSubtargetInfo &STI) const {
171 return false;
172}
173
175 const MCSubtargetInfo &STI) const {}
176
178 const MCSubtargetInfo *STI) const {
179 uint64_t NumNops24b = Count / 3;
180
181 for (uint64_t i = 0; i != NumNops24b; ++i) {
182 // Currently just little-endian machine supported,
183 // but probably big-endian will be also implemented in future
184 if (IsLittleEndian) {
185 OS.write("\xf0", 1);
186 OS.write("\x20", 1);
187 OS.write("\0x00", 1);
188 } else {
189 report_fatal_error("Big-endian mode currently is not supported!");
190 }
191 Count -= 3;
192 }
193
194 // TODO maybe function should return error if (Count > 0)
195 switch (Count) {
196 default:
197 break;
198 case 1:
199 OS.write("\0", 1);
200 break;
201 case 2:
202 // NOP.N instruction
203 OS.write("\x3d", 1);
204 OS.write("\xf0", 1);
205 break;
206 }
207
208 return true;
209}
210
212 const MCSubtargetInfo &STI,
213 const MCRegisterInfo &MRI,
214 const MCTargetOptions &Options) {
215 uint8_t OSABI =
217 return new llvm::XtensaMCAsmBackend(OSABI, true);
218}
unsigned const MachineRegisterInfo * MRI
static uint64_t adjustFixupValue(const MCFixup &Fixup, const MCValue &Target, uint64_t Value, MCContext &Ctx, const Triple &TheTriple, bool IsResolved)
Analysis containing CSE Info
Definition: CSEInfo.cpp:27
static LVOptions Options
Definition: LVOptions.cpp:25
PowerPC TLS Dynamic Call Fixup
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
raw_pwrite_stream & OS
static unsigned getSize(unsigned Kind)
Generic interface to target specific assembler backends.
Definition: MCAsmBackend.h:42
virtual const MCFixupKindInfo & getFixupKindInfo(MCFixupKind Kind) const
Get information on a fixup kind.
Context object for machine code objects.
Definition: MCContext.h:83
void reportError(SMLoc L, const Twine &Msg)
Definition: MCContext.cpp:1072
Encode information on a single operation to perform on a byte sequence (e.g., an encoded instruction)...
Definition: MCFixup.h:71
Instances of this class represent a single low-level machine instruction.
Definition: MCInst.h:185
Base class for classes that define behaviour that is specific to both the target and the object forma...
MCRegisterInfo base class - We assume that the target defines a static array of MCRegisterDesc object...
Generic base class for all target subtargets.
const Triple & getTargetTriple() const
This represents an "assembler immediate".
Definition: MCValue.h:36
MutableArrayRef - Represent a mutable reference to an array (0 or more elements consecutively in memo...
Definition: ArrayRef.h:310
Target - Wrapper for Target specific information.
OSType getOS() const
Get the parsed operating system type of this triple.
Definition: Triple.h:392
LLVM Value Representation.
Definition: Value.h:74
const MCFixupKindInfo & getFixupKindInfo(MCFixupKind Kind) const override
Get information on a fixup kind.
void applyFixup(const MCAssembler &Asm, const MCFixup &Fixup, const MCValue &Target, MutableArrayRef< char > Data, uint64_t Value, bool IsResolved, const MCSubtargetInfo *STI) const override
Apply the Value for given Fixup into the provided data fragment, at the offset specified by the fixup...
XtensaMCAsmBackend(uint8_t osABI, bool isLE)
std::unique_ptr< MCObjectTargetWriter > createObjectTargetWriter() const override
bool writeNopData(raw_ostream &OS, uint64_t Count, const MCSubtargetInfo *STI) const override
Write an (optimal) nop sequence of Count bytes to the given output.
unsigned getNumFixupKinds() const override
Get the number of target specific fixup kinds.
bool mayNeedRelaxation(const MCInst &Inst, const MCSubtargetInfo &STI) const override
Check whether the given instruction may need relaxation.
void relaxInstruction(MCInst &Inst, const MCSubtargetInfo &STI) const override
Relax the instruction in the given fragment to the next wider instruction.
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition: raw_ostream.h:52
raw_ostream & write(unsigned char C)
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
@ Offset
Definition: DWP.cpp:480
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
Definition: Error.cpp:167
MCFixupKind
Extensible enumeration to represent the type of a fixup.
Definition: MCFixup.h:21
@ FirstTargetFixupKind
Definition: MCFixup.h:45
@ FK_Data_8
A eight-byte fixup.
Definition: MCFixup.h:26
@ FK_Data_1
A one-byte fixup.
Definition: MCFixup.h:23
@ FK_Data_4
A four-byte fixup.
Definition: MCFixup.h:25
@ FK_Data_2
A two-byte fixup.
Definition: MCFixup.h:24
std::unique_ptr< MCObjectTargetWriter > createXtensaObjectWriter(uint8_t OSABI, bool IsLittleEndian)
endianness
Definition: bit.h:70
MCAsmBackend * createXtensaMCAsmBackend(const Target &T, const MCSubtargetInfo &STI, const MCRegisterInfo &MRI, const MCTargetOptions &Options)
Target independent information on a fixup kind.
@ FKF_IsAlignedDownTo32Bits
Should this fixup kind force a 4-byte aligned effective PC value?
@ FKF_IsPCRel
Is this fixup kind PCrelative? This is used by the assembler backend to evaluate fixup values in a ta...