27#define DEBUG_TYPE "loongarch-asmbackend"
31std::optional<MCFixupKind>
35#define ELF_RELOC(X, Y) .Case(#X, Y)
36#include "llvm/BinaryFormat/ELFRelocs/LoongArch.def"
38 .
Case(
"BFD_RELOC_NONE", ELF::R_LARCH_NONE)
39 .
Case(
"BFD_RELOC_32", ELF::R_LARCH_32)
40 .
Case(
"BFD_RELOC_64", ELF::R_LARCH_64)
58 {
"fixup_loongarch_abs_hi20", 5, 20, 0},
59 {
"fixup_loongarch_abs_lo12", 10, 12, 0},
60 {
"fixup_loongarch_abs64_lo20", 5, 20, 0},
61 {
"fixup_loongarch_abs64_hi12", 10, 12, 0},
62 {
"fixup_loongarch_tls_le_hi20", 5, 20, 0},
63 {
"fixup_loongarch_tls_le_lo12", 10, 12, 0},
64 {
"fixup_loongarch_tls_le64_lo20", 5, 20, 0},
65 {
"fixup_loongarch_tls_le64_hi12", 10, 12, 0},
70 "Not all fixup kinds added to Infos array");
92 switch (
Fixup.getTargetKind()) {
102 if (!isInt<18>(
Value))
106 return (
Value >> 2) & 0xffff;
109 if (!isInt<23>(
Value))
113 return ((
Value & 0x3fffc) << 8) | ((
Value >> 18) & 0x1f);
116 if (!isInt<28>(
Value))
120 return ((
Value & 0x3fffc) << 8) | ((
Value >> 18) & 0x3ff);
124 return (
Value >> 12) & 0xfffff;
127 return Value & 0xfff;
130 return (
Value >> 32) & 0xfffff;
133 return (
Value >> 52) & 0xfff;
172 unsigned NumBytes =
alignTo(
Info.TargetSize +
Info.TargetOffset, 8) / 8;
177 for (
unsigned I = 0;
I != NumBytes; ++
I) {
193 const unsigned MinNopLen = 4;
228 if (MCSym ==
nullptr) {
232 Asm.registerSymbol(*
Sym);
241 Asm.getWriter().recordRelocation(Asm, Layout, &AF,
Fixup,
Value, FixedValue);
252 switch (
Fixup.getTargetKind()) {
254 return STI->
hasFeature(LoongArch::FeatureRelax);
260 return !
Target.isAbsolute();
264static inline std::pair<MCFixupKind, MCFixupKind>
270 return std::make_pair(
274 return std::make_pair(
278 return std::make_pair(
282 return std::make_pair(
286 return std::make_pair(
290 return std::make_pair(
298 int64_t &
Value)
const {
301 return std::make_pair(
false,
false);
304 return std::make_pair(
true,
true);
309 bool &WasRelaxed)
const {
312 int64_t LineDelta =
DF.getLineDelta();
313 const MCExpr &AddrDelta =
DF.getAddrDelta();
316 size_t OldSize =
Data.size();
319 if (AddrDelta.evaluateAsAbsolute(
Value, Layout))
322 assert(IsAbsolute &&
"CFA with invalid expression");
331 OS << uint8_t(dwarf::DW_LNS_advance_line);
336 std::pair<MCFixupKind, MCFixupKind> FK;
342 unsigned PtrSize =
C.getAsmInfo()->getCodePointerSize();
344 OS << uint8_t(dwarf::DW_LNS_extended_op);
347 OS << uint8_t(dwarf::DW_LNE_set_address);
349 assert((PtrSize == 4 || PtrSize == 8) &&
"Unexpected pointer size");
353 OS << uint8_t(dwarf::DW_LNS_fixed_advance_pc);
359 const MCBinaryExpr &MBE = cast<MCBinaryExpr>(AddrDelta);
364 OS << uint8_t(dwarf::DW_LNS_extended_op);
366 OS << uint8_t(dwarf::DW_LNE_end_sequence);
368 OS << uint8_t(dwarf::DW_LNS_copy);
371 WasRelaxed = OldSize !=
Data.size();
377 bool &WasRelaxed)
const {
378 const MCExpr &AddrDelta =
DF.getAddrDelta();
381 size_t OldSize =
Data.size();
384 if (AddrDelta.evaluateAsAbsolute(
Value, Layout))
387 assert(IsAbsolute &&
"CFA with invalid expression");
397 "expected 1-byte alignment");
399 WasRelaxed = OldSize !=
Data.size();
403 auto AddFixups = [&Fixups,
404 &AddrDelta](
unsigned Offset,
405 std::pair<MCFixupKind, MCFixupKind> FK) {
406 const MCBinaryExpr &MBE = cast<MCBinaryExpr>(AddrDelta);
412 OS << uint8_t(dwarf::DW_CFA_advance_loc);
414 }
else if (isUInt<8>(
Value)) {
415 OS << uint8_t(dwarf::DW_CFA_advance_loc1);
418 }
else if (isUInt<16>(
Value)) {
419 OS << uint8_t(dwarf::DW_CFA_advance_loc2);
422 }
else if (isUInt<32>(
Value)) {
423 OS << uint8_t(dwarf::DW_CFA_advance_loc4);
430 WasRelaxed = OldSize !=
Data.size();
442 for (; Count >= 4; Count -= 4)
453 std::pair<MCFixupKind, MCFixupKind> FK;
477 switch (
Fixup.getKind()) {
501 Asm.getWriter().recordRelocation(Asm, Layout, &
F, FA,
A, FixedValueA);
502 Asm.getWriter().recordRelocation(Asm, Layout, &
F, FB,
B, FixedValueB);
503 FixedValue = FixedValueA - FixedValueB;
507std::unique_ptr<MCObjectTargetWriter>
510 OSABI, Is64Bit, STI.
hasFeature(LoongArch::FeatureRelax));
unsigned const MachineRegisterInfo * MRI
static uint64_t adjustFixupValue(const MCFixup &Fixup, const MCValue &Target, uint64_t Value, MCContext &Ctx, const Triple &TheTriple, bool IsResolved)
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
Analysis containing CSE Info
static RegisterPass< DebugifyFunctionPass > DF("debugify-function", "Attach debug info to a function")
static std::pair< MCFixupKind, MCFixupKind > getRelocPairForSize(unsigned Size)
static void reportOutOfRangeError(MCContext &Ctx, SMLoc Loc, unsigned N)
static void fixupLeb128(MCContext &Ctx, const MCFixup &Fixup, MutableArrayRef< char > Data, uint64_t Value)
PowerPC TLS Dynamic Call Fixup
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
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...
std::unique_ptr< MCObjectTargetWriter > createObjectTargetWriter() const override
bool relaxDwarfLineAddr(MCDwarfLineAddrFragment &DF, MCAsmLayout &Layout, bool &WasRelaxed) const override
std::optional< MCFixupKind > getFixupKind(StringRef Name) const override
Map a relocation name used in .reloc to a fixup kind.
bool handleAddSubRelocations(const MCAsmLayout &Layout, const MCFragment &F, const MCFixup &Fixup, const MCValue &Target, uint64_t &FixedValue) const override
DenseMap< MCSection *, const MCSymbolRefExpr * > & getSecToAlignSym()
bool relaxDwarfCFA(MCDwarfCallFrameFragment &DF, MCAsmLayout &Layout, bool &WasRelaxed) const override
bool shouldInsertFixupForCodeAlign(MCAssembler &Asm, const MCAsmLayout &Layout, MCAlignFragment &AF) override
Hook which indicates if the target requires a fixup to be generated when handling an align directive ...
const MCFixupKindInfo & getFixupKindInfo(MCFixupKind Kind) const override
Get information on a fixup kind.
bool shouldInsertExtraNopBytesForCodeAlign(const MCAlignFragment &AF, unsigned &Size) override
Hook to check if extra nop bytes must be inserted for alignment directive.
unsigned getNumFixupKinds() const override
Get the number of target specific fixup kinds.
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.
bool shouldForceRelocation(const MCAssembler &Asm, const MCFixup &Fixup, const MCValue &Target, const MCSubtargetInfo *STI) override
Hook to check if a relocation is needed for some target specific reason.
std::pair< bool, bool > relaxLEB128(MCLEBFragment &LF, MCAsmLayout &Layout, int64_t &Value) const override
Align getAlignment() const
unsigned getMaxBytesToEmit() const
const MCSubtargetInfo * getSubtargetInfo() const
Generic interface to target specific assembler backends.
virtual const MCFixupKindInfo & getFixupKindInfo(MCFixupKind Kind) const
Get information on a fixup kind.
unsigned getMinInstAlignment() const
Encapsulates the layout of an assembly file at a particular point in time.
MCAssembler & getAssembler() const
Get the assembler object this is a layout for.
MCContext & getContext() const
Binary assembler expressions.
const MCExpr * getLHS() const
Get the left-hand side expression of the binary operator.
const MCExpr * getRHS() const
Get the right-hand side expression of the binary operator.
static const MCConstantExpr * create(int64_t Value, MCContext &Ctx, bool PrintInHex=false, unsigned SizeInBytes=0)
Context object for machine code objects.
const MCAsmInfo * getAsmInfo() const
void reportError(SMLoc L, const Twine &Msg)
MCSymbol * createNamedTempSymbol()
Create a temporary symbol with a unique name whose name cannot be omitted in the symbol table.
SmallVectorImpl< MCFixup > & getFixups()
Base class for the full range of assembler expressions which are needed for parsing.
bool evaluateKnownAbsolute(int64_t &Res, const MCAsmLayout &Layout) const
Encode information on a single operation to perform on a byte sequence (e.g., an encoded instruction)...
static MCFixup create(uint32_t Offset, const MCExpr *Value, MCFixupKind Kind, SMLoc Loc=SMLoc())
MCSection * getParent() const
const MCExpr & getValue() const
MCRegisterInfo base class - We assume that the target defines a static array of MCRegisterDesc object...
Instances of this class represent a uniqued identifier for a section in the current translation unit.
MCSymbol * getBeginSymbol()
Generic base class for all target subtargets.
bool hasFeature(unsigned Feature) const
const Triple & getTargetTriple() const
Represent a reference to a symbol from inside an expression.
static const MCSymbolRefExpr * create(const MCSymbol *Symbol, MCContext &Ctx)
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
bool isInSection() const
isInSection - Check if this symbol is defined in some section (i.e., it is defined but not absolute).
MCSection & getSection() const
Get the section associated with a defined, non-absolute symbol.
MCFragment * getFragment(bool SetUsed=true) const
This represents an "assembler immediate".
static MCValue get(const MCSymbolRefExpr *SymA, const MCSymbolRefExpr *SymB=nullptr, int64_t Val=0, uint32_t RefKind=0)
MutableArrayRef - Represent a mutable reference to an array (0 or more elements consecutively in memo...
Represents a location in source code.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
StringRef - Represent a constant reference to a string, i.e.
A switch()-like statement whose cases are string literals.
StringSwitch & Case(StringLiteral S, T Value)
Target - Wrapper for Target specific information.
Triple - Helper class for working with autoconf configuration names.
bool isOSBinFormatELF() const
Tests whether the OS uses the ELF binary format.
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
The instances of the Type class are immutable: once they are created, they are never changed.
LLVM Value Representation.
This class implements an extremely fast bulk output stream that can only output to a stream.
raw_ostream & write_zeros(unsigned NumZeros)
write_zeros - Insert 'NumZeros' nulls.
uint64_t tell() const
tell - Return the current offset with the file.
raw_ostream & write(unsigned char C)
A raw_ostream that writes to an SmallVector or SmallString.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ C
The default llvm calling convention, compatible with C.
@ fixup_loongarch_abs64_hi12
@ fixup_loongarch_tls_le_lo12
@ fixup_loongarch_abs_hi20
@ fixup_loongarch_abs_lo12
@ fixup_loongarch_abs64_lo20
@ fixup_loongarch_tls_le64_hi12
@ fixup_loongarch_tls_le64_lo20
@ fixup_loongarch_tls_le_hi20
This is an optimization pass for GlobalISel generic memory operations.
int64_t maxIntN(int64_t N)
Gets the maximum value for a N-bit signed integer.
bool isUIntN(unsigned N, uint64_t x)
Checks if an unsigned integer fits into the given (dynamic) bit width.
std::unique_ptr< MCObjectTargetWriter > createLoongArchELFObjectWriter(uint8_t OSABI, bool Is64Bit, bool Relax)
unsigned Log2_64(uint64_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
MCAsmBackend * createLoongArchAsmBackend(const Target &T, const MCSubtargetInfo &STI, const MCRegisterInfo &MRI, const MCTargetOptions &Options)
MCFixupKind
Extensible enumeration to represent the type of a fixup.
@ FirstLiteralRelocationKind
The range [FirstLiteralRelocationKind, MaxTargetFixupKind) is used for relocations coming from ....
@ FK_Data_8
A eight-byte fixup.
@ FK_Data_1
A one-byte fixup.
@ FK_Data_4
A four-byte fixup.
@ FK_Data_leb128
A leb128 fixup.
@ FK_Data_2
A two-byte fixup.
uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
int64_t minIntN(int64_t N)
Gets the minimum value for a N-bit signed integer.
unsigned encodeSLEB128(int64_t Value, raw_ostream &OS, unsigned PadTo=0)
Utility function to encode a SLEB128 value to an output stream.
unsigned encodeULEB128(uint64_t Value, raw_ostream &OS, unsigned PadTo=0)
Utility function to encode a ULEB128 value to an output stream.
uint64_t value() const
This is a hole in the type system and should not be abused.
Target independent information on a fixup kind.
@ FKF_IsPCRel
Is this fixup kind PCrelative? This is used by the assembler backend to evaluate fixup values in a ta...