LLVM  8.0.1
MCAsmBackend.cpp
Go to the documentation of this file.
1 //===- MCAsmBackend.cpp - Target MC Assembly Backend ----------------------===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #include "llvm/MC/MCAsmBackend.h"
11 #include "llvm/ADT/None.h"
12 #include "llvm/ADT/STLExtras.h"
13 #include "llvm/MC/MCCodePadder.h"
17 #include "llvm/MC/MCObjectWriter.h"
20 #include <cassert>
21 #include <cstddef>
22 #include <cstdint>
23 
24 using namespace llvm;
25 
27  : CodePadder(new MCCodePadder()), Endian(Endian) {}
28 
29 MCAsmBackend::~MCAsmBackend() = default;
30 
31 std::unique_ptr<MCObjectWriter>
33  auto TW = createObjectTargetWriter();
34  switch (TW->getFormat()) {
35  case Triple::ELF:
36  return createELFObjectWriter(cast<MCELFObjectTargetWriter>(std::move(TW)), OS,
38  case Triple::MachO:
39  return createMachObjectWriter(cast<MCMachObjectTargetWriter>(std::move(TW)),
40  OS, Endian == support::little);
41  case Triple::COFF:
43  cast<MCWinCOFFObjectTargetWriter>(std::move(TW)), OS);
44  case Triple::Wasm:
45  return createWasmObjectWriter(cast<MCWasmObjectTargetWriter>(std::move(TW)),
46  OS);
47  default:
48  llvm_unreachable("unexpected object format");
49  }
50 }
51 
52 std::unique_ptr<MCObjectWriter>
54  raw_pwrite_stream &DwoOS) const {
55  auto TW = createObjectTargetWriter();
56  if (TW->getFormat() != Triple::ELF)
57  report_fatal_error("dwo only supported with ELF");
58  return createELFDwoObjectWriter(cast<MCELFObjectTargetWriter>(std::move(TW)),
59  OS, DwoOS, Endian == support::little);
60 }
61 
63  return None;
64 }
65 
67  static const MCFixupKindInfo Builtins[] = {
68  {"FK_Data_1", 0, 8, 0},
69  {"FK_Data_2", 0, 16, 0},
70  {"FK_Data_4", 0, 32, 0},
71  {"FK_Data_8", 0, 64, 0},
72  {"FK_PCRel_1", 0, 8, MCFixupKindInfo::FKF_IsPCRel},
73  {"FK_PCRel_2", 0, 16, MCFixupKindInfo::FKF_IsPCRel},
74  {"FK_PCRel_4", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
75  {"FK_PCRel_8", 0, 64, MCFixupKindInfo::FKF_IsPCRel},
76  {"FK_GPRel_1", 0, 8, 0},
77  {"FK_GPRel_2", 0, 16, 0},
78  {"FK_GPRel_4", 0, 32, 0},
79  {"FK_GPRel_8", 0, 64, 0},
80  {"FK_DTPRel_4", 0, 32, 0},
81  {"FK_DTPRel_8", 0, 64, 0},
82  {"FK_TPRel_4", 0, 32, 0},
83  {"FK_TPRel_8", 0, 64, 0},
84  {"FK_SecRel_1", 0, 8, 0},
85  {"FK_SecRel_2", 0, 16, 0},
86  {"FK_SecRel_4", 0, 32, 0},
87  {"FK_SecRel_8", 0, 64, 0},
88  {"FK_Data_Add_1", 0, 8, 0},
89  {"FK_Data_Add_2", 0, 16, 0},
90  {"FK_Data_Add_4", 0, 32, 0},
91  {"FK_Data_Add_8", 0, 64, 0},
92  {"FK_Data_Sub_1", 0, 8, 0},
93  {"FK_Data_Sub_2", 0, 16, 0},
94  {"FK_Data_Sub_4", 0, 32, 0},
95  {"FK_Data_Sub_8", 0, 64, 0}};
96 
97  assert((size_t)Kind <= array_lengthof(Builtins) && "Unknown fixup kind");
98  return Builtins[Kind];
99 }
100 
102  const MCFixup &Fixup, bool Resolved, uint64_t Value,
103  const MCRelaxableFragment *DF, const MCAsmLayout &Layout,
104  const bool WasForced) const {
105  if (!Resolved)
106  return true;
107  return fixupNeedsRelaxation(Fixup, Value, DF, Layout);
108 }
109 
112  CodePadder->handleBasicBlockStart(OS, Context);
113 }
114 
116  const MCCodePaddingContext &Context) {
117  CodePadder->handleBasicBlockEnd(Context);
118 }
119 
121  CodePadder->handleInstructionBegin(Inst);
122 }
123 
125  CodePadder->handleInstructionEnd(Inst);
126 }
127 
129  return CodePadder->relaxFragment(PF, Layout);
130 }
Fragment for adding required padding.
Definition: MCFragment.h:341
void handleCodePaddingBasicBlockEnd(const MCCodePaddingContext &Context)
Handles all target related code padding after writing a block to an object file.
LLVMContext & Context
LLVM_ATTRIBUTE_NORETURN void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
Definition: Error.cpp:140
This class represents lattice values for constants.
Definition: AllocatorList.h:24
const support::endianness Endian
Definition: MCAsmBackend.h:53
virtual const MCFixupKindInfo & getFixupKindInfo(MCFixupKind Kind) const
Get information on a fixup kind.
virtual ~MCAsmBackend()
virtual std::unique_ptr< MCObjectTargetWriter > createObjectTargetWriter() const =0
void handleCodePaddingInstructionEnd(const MCInst &Inst)
Handles all target related code padding after writing an instruction to an object file...
virtual bool fixupNeedsRelaxation(const MCFixup &Fixup, uint64_t Value, const MCRelaxableFragment *DF, const MCAsmLayout &Layout) const =0
Simple predicate for targets where !Resolved implies requiring relaxation.
Target-independent base class incharge of all code padding decisions for a target.
Definition: MCCodePadder.h:39
std::unique_ptr< MCObjectWriter > createDwoObjectWriter(raw_pwrite_stream &OS, raw_pwrite_stream &DwoOS) const
Create an MCObjectWriter that writes two object files: a .o file which is linked into the final progr...
Encode information on a single operation to perform on a byte sequence (e.g., an encoded instruction)...
Definition: MCFixup.h:74
Is this fixup kind PCrelative? This is used by the assembler backend to evaluate fixup values in a ta...
amdgpu Simplify well known AMD library false Value Value const Twine & Name
Encapsulates the layout of an assembly file at a particular point in time.
Definition: MCAsmLayout.h:29
virtual bool fixupNeedsRelaxationAdvanced(const MCFixup &Fixup, bool Resolved, uint64_t Value, const MCRelaxableFragment *DF, const MCAsmLayout &Layout, const bool WasForced) const
Target specific predicate for whether a given fixup requires the associated instruction to be relaxed...
Streaming object file generation interface.
std::unique_ptr< MCObjectWriter > createELFObjectWriter(std::unique_ptr< MCELFObjectTargetWriter > MOTW, raw_pwrite_stream &OS, bool IsLittleEndian)
Construct a new ELF writer instance.
Instances of this class represent a single low-level machine instruction.
Definition: MCInst.h:161
A relaxable fragment holds on to its MCInst, since it may need to be relaxed during the assembler lay...
Definition: MCFragment.h:271
MCFixupKind
Extensible enumeration to represent the type of a fixup.
Definition: MCFixup.h:23
std::unique_ptr< MCObjectWriter > createWasmObjectWriter(std::unique_ptr< MCWasmObjectTargetWriter > MOTW, raw_pwrite_stream &OS)
Construct a new Wasm writer instance.
void handleCodePaddingInstructionBegin(const MCInst &Inst)
Handles all target related code padding before writing a new instruction to an object file...
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
std::unique_ptr< MCObjectWriter > createWinCOFFObjectWriter(std::unique_ptr< MCWinCOFFObjectTargetWriter > MOTW, raw_pwrite_stream &OS)
Construct a new Win COFF writer instance.
PowerPC TLS Dynamic Call Fixup
void handleCodePaddingBasicBlockStart(MCObjectStreamer *OS, const MCCodePaddingContext &Context)
Handles all target related code padding when starting to write a new basic block to an object file...
std::unique_ptr< MCObjectWriter > createELFDwoObjectWriter(std::unique_ptr< MCELFObjectTargetWriter > MOTW, raw_pwrite_stream &OS, raw_pwrite_stream &DwoOS, bool IsLittleEndian)
constexpr size_t array_lengthof(T(&)[N])
Find the length of an array.
Definition: STLExtras.h:1044
virtual Optional< MCFixupKind > getFixupKind(StringRef Name) const
Map a relocation name used in .reloc to a fixup kind.
std::unique_ptr< MCObjectWriter > createObjectWriter(raw_pwrite_stream &OS) const
Create a new MCObjectWriter instance for use by the assembler backend to emit the final object file...
std::unique_ptr< MCObjectWriter > createMachObjectWriter(std::unique_ptr< MCMachObjectTargetWriter > MOTW, raw_pwrite_stream &OS, bool IsLittleEndian)
Construct a new Mach-O writer instance.
Target independent information on a fixup kind.
An abstract base class for streams implementations that also support a pwrite operation.
Definition: raw_ostream.h:341
bool relaxFragment(MCPaddingFragment *PF, MCAsmLayout &Layout)
Relaxes a fragment (changes the size of the padding) according to target requirements.
const unsigned Kind
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
LLVM Value Representation.
Definition: Value.h:73
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:49
MCAsmBackend(support::endianness Endian)