MCMachOStreamer.cpp revision ba21957cbd7b25e3d25a3e9befe6151000242853
1fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar//===- lib/MC/MCMachOStreamer.cpp - Mach-O Object Output ------------===// 2fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar// 3fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar// The LLVM Compiler Infrastructure 4fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar// 5fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar// This file is distributed under the University of Illinois Open Source 6fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar// License. See LICENSE.TXT for details. 7fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar// 8fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar//===----------------------------------------------------------------------===// 9fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 10fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar#include "llvm/MC/MCStreamer.h" 11fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 12fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar#include "llvm/MC/MCAssembler.h" 13fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar#include "llvm/MC/MCContext.h" 144fac74950a1ff08b995b366bfb84369c1507faefDaniel Dunbar#include "llvm/MC/MCCodeEmitter.h" 158c2eebe4074ef218b30d94358f6b2e45c079605cDaniel Dunbar#include "llvm/MC/MCExpr.h" 164fac74950a1ff08b995b366bfb84369c1507faefDaniel Dunbar#include "llvm/MC/MCInst.h" 178dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar#include "llvm/MC/MCObjectStreamer.h" 18fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar#include "llvm/MC/MCSection.h" 19fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar#include "llvm/MC/MCSymbol.h" 20a6eeb6e226d7d86d04e34e3b6464f66e0a052f43Kevin Enderby#include "llvm/MC/MCMachOSymbolFlags.h" 21b07ce60981368f816af4caa3257e1e4ebf059133Kevin Enderby#include "llvm/MC/MCSectionMachO.h" 22b07ce60981368f816af4caa3257e1e4ebf059133Kevin Enderby#include "llvm/MC/MCDwarf.h" 23c095793b4ab027181605c79c9808df12afe45d63Kevin Enderby#include "llvm/Support/Dwarf.h" 24fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar#include "llvm/Support/ErrorHandling.h" 254fac74950a1ff08b995b366bfb84369c1507faefDaniel Dunbar#include "llvm/Support/raw_ostream.h" 26d8036fb0deb7daff7959b0a5407c8a45acb5e603Daniel Dunbar#include "llvm/Target/TargetAsmBackend.h" 27d8036fb0deb7daff7959b0a5407c8a45acb5e603Daniel Dunbar 28fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbarusing namespace llvm; 29fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 30fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbarnamespace { 31fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 328dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbarclass MCMachOStreamer : public MCObjectStreamer { 336aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbarprivate: 34f89671d994ba27e2816a7e49eb8bbc1b43d2a147Rafael Espindola virtual void EmitInstToFragment(const MCInst &Inst); 35f89671d994ba27e2816a7e49eb8bbc1b43d2a147Rafael Espindola virtual void EmitInstToData(const MCInst &Inst); 362ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar 37fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbarpublic: 381f3e445184e5ca2aa4295c2a77f2a4e0b957fea1Daniel Dunbar MCMachOStreamer(MCContext &Context, TargetAsmBackend &TAB, 398dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar raw_ostream &OS, MCCodeEmitter *Emitter) 4059ff3c913449402ad5447bbe3ae6338402fb84b0Rafael Espindola : MCObjectStreamer(Context, TAB, OS, Emitter, true) {} 41ac2884a717daf3ad2aa8425320795d661e8a980bDaniel Dunbar 42fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar /// @name MCStreamer Interface 43fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar /// @{ 44fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 45d80781b98b771d370730ab7c630018f23e202b57Rafael Espindola virtual void InitSections(); 46fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar virtual void EmitLabel(MCSymbol *Symbol); 47a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner virtual void EmitAssemblerFlag(MCAssemblerFlag Flag); 48ce79299f78bb04e76e1860ab119b85d69f3a19c7Jim Grosbach virtual void EmitThumbFunc(MCSymbol *Func); 49821e3334ed3390d931f497300e6a5f1dc21bcfb3Daniel Dunbar virtual void EmitAssignment(MCSymbol *Symbol, const MCExpr *Value); 50a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner virtual void EmitSymbolAttribute(MCSymbol *Symbol, MCSymbolAttr Attribute); 51fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar virtual void EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue); 529eb158d5b4cd4f6fc80912e2dd77bdf13c3ca0e7Chris Lattner virtual void EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size, 537092c7e1dcf9d05741b400dd54bbd7d3419773b2Daniel Dunbar unsigned ByteAlignment); 54b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner virtual void BeginCOFFSymbolDef(const MCSymbol *Symbol) { 55b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner assert(0 && "macho doesn't support this directive"); 56b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner } 57b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner virtual void EmitCOFFSymbolStorageClass(int StorageClass) { 58b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner assert(0 && "macho doesn't support this directive"); 59b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner } 60b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner virtual void EmitCOFFSymbolType(int Type) { 61b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner assert(0 && "macho doesn't support this directive"); 62b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner } 63b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner virtual void EndCOFFSymbolDef() { 64b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner assert(0 && "macho doesn't support this directive"); 65b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner } 6699328add833807f12a4950c7de29fb2a5df04703Chris Lattner virtual void EmitELFSize(MCSymbol *Symbol, const MCExpr *Value) { 6799328add833807f12a4950c7de29fb2a5df04703Chris Lattner assert(0 && "macho doesn't support this directive"); 6899328add833807f12a4950c7de29fb2a5df04703Chris Lattner } 699eb158d5b4cd4f6fc80912e2dd77bdf13c3ca0e7Chris Lattner virtual void EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size) { 709eb158d5b4cd4f6fc80912e2dd77bdf13c3ca0e7Chris Lattner assert(0 && "macho doesn't support this directive"); 719eb158d5b4cd4f6fc80912e2dd77bdf13c3ca0e7Chris Lattner } 728751b94ffbd9c49df8949a37f78d6bd0be87b256Daniel Dunbar virtual void EmitZerofill(const MCSection *Section, MCSymbol *Symbol = 0, 737092c7e1dcf9d05741b400dd54bbd7d3419773b2Daniel Dunbar unsigned Size = 0, unsigned ByteAlignment = 0); 74011c3f110bca748db66e437924f936a62f1969bfEric Christopher virtual void EmitTBSSSymbol(const MCSection *Section, MCSymbol *Symbol, 75011c3f110bca748db66e437924f936a62f1969bfEric Christopher uint64_t Size, unsigned ByteAlignment = 0); 76aaec205b87637cd0d59d4f11630db603686eb73dChris Lattner virtual void EmitBytes(StringRef Data, unsigned AddrSpace); 77aaec205b87637cd0d59d4f11630db603686eb73dChris Lattner virtual void EmitValue(const MCExpr *Value, unsigned Size,unsigned AddrSpace); 78718fb59801320b8cb22363d115b5fc5ec40dc1f5Chris Lattner virtual void EmitGPRel32Value(const MCExpr *Value) { 79718fb59801320b8cb22363d115b5fc5ec40dc1f5Chris Lattner assert(0 && "macho doesn't support this directive"); 80718fb59801320b8cb22363d115b5fc5ec40dc1f5Chris Lattner } 81fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar virtual void EmitValueToAlignment(unsigned ByteAlignment, int64_t Value = 0, 82fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar unsigned ValueSize = 1, 83fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar unsigned MaxBytesToEmit = 0); 846e72048add2a6464e038121c6c275da37528aa0aKevin Enderby virtual void EmitCodeAlignment(unsigned ByteAlignment, 856e72048add2a6464e038121c6c275da37528aa0aKevin Enderby unsigned MaxBytesToEmit = 0); 86821e3334ed3390d931f497300e6a5f1dc21bcfb3Daniel Dunbar virtual void EmitValueToOffset(const MCExpr *Offset, 87fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar unsigned char Value = 0); 882ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar 89a6594fc7156c0afbe6fd5a6aab9b099aaf950c53Chris Lattner virtual void EmitFileDirective(StringRef Filename) { 9096749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar // FIXME: Just ignore the .file; it isn't important enough to fail the 9196749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar // entire assembly. 9296749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar 9396749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar //report_fatal_error("unsupported directive: '.file'"); 94a6594fc7156c0afbe6fd5a6aab9b099aaf950c53Chris Lattner } 95a6594fc7156c0afbe6fd5a6aab9b099aaf950c53Chris Lattner virtual void EmitDwarfFileDirective(unsigned FileNo, StringRef Filename) { 9696749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar // FIXME: Just ignore the .file; it isn't important enough to fail the 9796749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar // entire assembly. 9896749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar 9996749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar //report_fatal_error("unsupported directive: '.file'"); 100a6594fc7156c0afbe6fd5a6aab9b099aaf950c53Chris Lattner } 1012ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar 102a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar virtual void Finish(); 103a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar 104fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar /// @} 105fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar}; 106fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 107fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} // end anonymous namespace. 108fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 109d80781b98b771d370730ab7c630018f23e202b57Rafael Espindolavoid MCMachOStreamer::InitSections() { 110d80781b98b771d370730ab7c630018f23e202b57Rafael Espindola SwitchSection(getContext().getMachOSection("__TEXT", "__text", 111d80781b98b771d370730ab7c630018f23e202b57Rafael Espindola MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS, 112d80781b98b771d370730ab7c630018f23e202b57Rafael Espindola 0, SectionKind::getText())); 113d80781b98b771d370730ab7c630018f23e202b57Rafael Espindola 114d80781b98b771d370730ab7c630018f23e202b57Rafael Espindola} 115d80781b98b771d370730ab7c630018f23e202b57Rafael Espindola 116fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbarvoid MCMachOStreamer::EmitLabel(MCSymbol *Symbol) { 1178067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // TODO: This is almost exactly the same as WinCOFFStreamer. Consider merging 1188067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // into MCObjectStreamer. 1198906ff1b9dfde28f1ff00706643ca10843b26e01Daniel Dunbar assert(Symbol->isUndefined() && "Cannot define a symbol twice!"); 120c304718fd8fa25f3f36f47f3de0e0cfe7578bc9eDaniel Dunbar assert(!Symbol->isVariable() && "Cannot emit a variable symbol!"); 121c304718fd8fa25f3f36f47f3de0e0cfe7578bc9eDaniel Dunbar assert(CurSection && "Cannot emit before setting section!"); 122fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 123a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar Symbol->setSection(*CurSection); 124071f73db4a0c3f7f00ef14d38af17f3c8d69827aDaniel Dunbar 125a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol); 126071f73db4a0c3f7f00ef14d38af17f3c8d69827aDaniel Dunbar 127a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // We have to create a new fragment if this is an atom defining symbol, 128a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // fragments cannot span atoms. 129a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar if (getAssembler().isSymbolLinkerVisible(SD.getSymbol())) 130a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar new MCDataFragment(getCurrentSectionData()); 131071f73db4a0c3f7f00ef14d38af17f3c8d69827aDaniel Dunbar 132f70f477024a23408d3a535920e6d4750478ac9aeDaniel Dunbar // FIXME: This is wasteful, we don't necessarily need to create a data 133f70f477024a23408d3a535920e6d4750478ac9aeDaniel Dunbar // fragment. Instead, we should mark the symbol as pointing into the data 134f70f477024a23408d3a535920e6d4750478ac9aeDaniel Dunbar // fragment if it exists, otherwise we should just queue the label and set its 135f70f477024a23408d3a535920e6d4750478ac9aeDaniel Dunbar // fragment pointer when we emit the next fragment. 136a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar MCDataFragment *F = getOrCreateDataFragment(); 137f3d2ef0c9712381a105118336975adcfbf733db0Daniel Dunbar assert(!SD.getFragment() && "Unexpected fragment on symbol data!"); 138f3d2ef0c9712381a105118336975adcfbf733db0Daniel Dunbar SD.setFragment(F); 139f3d2ef0c9712381a105118336975adcfbf733db0Daniel Dunbar SD.setOffset(F->getContents().size()); 1406aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 141b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // This causes the reference type flag to be cleared. Darwin 'as' was "trying" 142b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // to clear the weak reference and weak definition bits too, but the 143b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // implementation was buggy. For now we just try to match 'as', for 144b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // diffability. 145b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // 146b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // FIXME: Cleanup this code, these bits should be emitted based on semantic 147b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // properties, not on the order of definition, etc. 148b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar SD.setFlags(SD.getFlags() & ~SF_ReferenceTypeMask); 149fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 150fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 151a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattnervoid MCMachOStreamer::EmitAssemblerFlag(MCAssemblerFlag Flag) { 1526009db486e7fba448ccb28dff676c012efade8f0Daniel Dunbar switch (Flag) { 153ce79299f78bb04e76e1860ab119b85d69f3a19c7Jim Grosbach case MCAF_SyntaxUnified: return; // no-op here. 154ce79299f78bb04e76e1860ab119b85d69f3a19c7Jim Grosbach case MCAF_Code16: return; // no-op here. 155ba21957cbd7b25e3d25a3e9befe6151000242853Jim Grosbach case MCAF_Code32: return; // no-op here. 156a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCAF_SubsectionsViaSymbols: 1578dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().setSubsectionsViaSymbols(true); 1588c3eaf46a1fb69004723ce78aaa82965d6474175Daniel Dunbar return; 1595c0d472b6ebc4408b97d12e1e545cafdcbd50adfChandler Carruth default: 1605c0d472b6ebc4408b97d12e1e545cafdcbd50adfChandler Carruth llvm_unreachable("invalid assembler flag!"); 1616009db486e7fba448ccb28dff676c012efade8f0Daniel Dunbar } 162fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 163fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 164ce79299f78bb04e76e1860ab119b85d69f3a19c7Jim Grosbachvoid MCMachOStreamer::EmitThumbFunc(MCSymbol *Func) { 165ce79299f78bb04e76e1860ab119b85d69f3a19c7Jim Grosbach // FIXME: Flag the function ISA as thumb with DW_AT_APPLE_isa. 166ce79299f78bb04e76e1860ab119b85d69f3a19c7Jim Grosbach} 167ce79299f78bb04e76e1860ab119b85d69f3a19c7Jim Grosbach 168821e3334ed3390d931f497300e6a5f1dc21bcfb3Daniel Dunbarvoid MCMachOStreamer::EmitAssignment(MCSymbol *Symbol, const MCExpr *Value) { 1698067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // TODO: This is exactly the same as WinCOFFStreamer. Consider merging into 1708067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // MCObjectStreamer. 171a4d8667c870759a70aa9bea99e64b7f7e938b1a1Daniel Dunbar // FIXME: Lift context changes into super class. 1728dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().getOrCreateSymbolData(*Symbol); 17308a408a4b3224627db07eb27e174085d8e1d2426Daniel Dunbar Symbol->setVariableValue(AddValueSymbols(Value)); 174fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 175fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 176fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbarvoid MCMachOStreamer::EmitSymbolAttribute(MCSymbol *Symbol, 177a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner MCSymbolAttr Attribute) { 1780c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar // Indirect symbols are handled differently, to match how 'as' handles 1790c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar // them. This makes writing matching .o files easier. 180a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner if (Attribute == MCSA_IndirectSymbol) { 181ad7c3d55932f949e6bd428232999088a53f54a4fDaniel Dunbar // Note that we intentionally cannot use the symbol data here; this is 182ad7c3d55932f949e6bd428232999088a53f54a4fDaniel Dunbar // important for matching the string table that 'as' generates. 1830c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar IndirectSymbolData ISD; 1840c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar ISD.Symbol = Symbol; 18583b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar ISD.SectionData = getCurrentSectionData(); 1868dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().getIndirectSymbols().push_back(ISD); 1870c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar return; 1880c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar } 1890c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar 1906aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // Adding a symbol attribute always introduces the symbol, note that an 19146836a783ab29f9cb49655d8b9cb8f5538a626feDaniel Dunbar // important side effect of calling getOrCreateSymbolData here is to register 19246836a783ab29f9cb49655d8b9cb8f5538a626feDaniel Dunbar // the symbol with the assembler. 1938dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol); 1946aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 1956aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // The implementation of symbol attributes is designed to match 'as', but it 1966aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // leaves much to desired. It doesn't really make sense to arbitrarily add and 1976aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // remove flags, but 'as' allows this (in particular, see .desc). 1986aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // 1996aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // In the future it might be worth trying to make these operations more well 2006aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // defined. 2013edd9bb7a3da8526eb2f4a5dae2962a987d3d566Daniel Dunbar switch (Attribute) { 202a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Invalid: 203ed0ab15170f0f8fc4269d58757378bc8726b56a1Chris Lattner case MCSA_ELF_TypeFunction: 204ed0ab15170f0f8fc4269d58757378bc8726b56a1Chris Lattner case MCSA_ELF_TypeIndFunction: 205ed0ab15170f0f8fc4269d58757378bc8726b56a1Chris Lattner case MCSA_ELF_TypeObject: 206ed0ab15170f0f8fc4269d58757378bc8726b56a1Chris Lattner case MCSA_ELF_TypeTLS: 207ed0ab15170f0f8fc4269d58757378bc8726b56a1Chris Lattner case MCSA_ELF_TypeCommon: 208ed0ab15170f0f8fc4269d58757378bc8726b56a1Chris Lattner case MCSA_ELF_TypeNoType: 209a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_IndirectSymbol: 210a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Hidden: 211a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Internal: 212a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Protected: 213a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Weak: 214a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Local: 2156aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar assert(0 && "Invalid symbol attribute for Mach-O!"); 2166aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar break; 2173edd9bb7a3da8526eb2f4a5dae2962a987d3d566Daniel Dunbar 218a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Global: 2198f4d146c340c9423271ebd7bb3fd32b880000bc9Daniel Dunbar SD.setExternal(true); 220b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // This effectively clears the undefined lazy bit, in Darwin 'as', although 221b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // it isn't very consistent because it implements this as part of symbol 222b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // lookup. 223b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // 224b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // FIXME: Cleanup this code, these bits should be emitted based on semantic 225b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // properties, not on the order of definition, etc. 226b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar SD.setFlags(SD.getFlags() & ~SF_ReferenceTypeUndefinedLazy); 2273edd9bb7a3da8526eb2f4a5dae2962a987d3d566Daniel Dunbar break; 2286aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 229a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_LazyReference: 2306aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // FIXME: This requires -dynamic. 2316aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setFlags(SD.getFlags() | SF_NoDeadStrip); 2326aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar if (Symbol->isUndefined()) 2336aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setFlags(SD.getFlags() | SF_ReferenceTypeUndefinedLazy); 2346aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar break; 2356aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 2366aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // Since .reference sets the no dead strip bit, it is equivalent to 2376aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // .no_dead_strip in practice. 238a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Reference: 239a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_NoDeadStrip: 2406aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setFlags(SD.getFlags() | SF_NoDeadStrip); 2416aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar break; 2426aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 243a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_PrivateExtern: 2446aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setExternal(true); 2456aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setPrivateExtern(true); 2466aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar break; 2476aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 248a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_WeakReference: 2496aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // FIXME: This requires -dynamic. 2506aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar if (Symbol->isUndefined()) 2516aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setFlags(SD.getFlags() | SF_WeakReference); 2526aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar break; 2536aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 254a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_WeakDefinition: 2556aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // FIXME: 'as' enforces that this is defined and global. The manual claims 2566aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // it has to be in a coalesced section, but this isn't enforced. 2576aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setFlags(SD.getFlags() | SF_WeakDefinition); 2586aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar break; 259f59cac5ed36360b4c462781051f996b3499d7e0fKevin Enderby 260f59cac5ed36360b4c462781051f996b3499d7e0fKevin Enderby case MCSA_WeakDefAutoPrivate: 261f59cac5ed36360b4c462781051f996b3499d7e0fKevin Enderby SD.setFlags(SD.getFlags() | SF_WeakDefinition | SF_WeakReference); 262f59cac5ed36360b4c462781051f996b3499d7e0fKevin Enderby break; 2633edd9bb7a3da8526eb2f4a5dae2962a987d3d566Daniel Dunbar } 264fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 265fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 266fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbarvoid MCMachOStreamer::EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue) { 2676aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // Encode the 'desc' value into the lowest implementation defined bits. 2682ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar assert(DescValue == (DescValue & SF_DescFlagsMask) && 2696aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar "Invalid .desc value!"); 2708dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().getOrCreateSymbolData(*Symbol).setFlags( 2718dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar DescValue & SF_DescFlagsMask); 272fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 273fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 2749eb158d5b4cd4f6fc80912e2dd77bdf13c3ca0e7Chris Lattnervoid MCMachOStreamer::EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size, 2757092c7e1dcf9d05741b400dd54bbd7d3419773b2Daniel Dunbar unsigned ByteAlignment) { 2768f4d146c340c9423271ebd7bb3fd32b880000bc9Daniel Dunbar // FIXME: Darwin 'as' does appear to allow redef of a .comm by itself. 2778f4d146c340c9423271ebd7bb3fd32b880000bc9Daniel Dunbar assert(Symbol->isUndefined() && "Cannot define a symbol twice!"); 2788f4d146c340c9423271ebd7bb3fd32b880000bc9Daniel Dunbar 2798dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol); 2808f4d146c340c9423271ebd7bb3fd32b880000bc9Daniel Dunbar SD.setExternal(true); 2817092c7e1dcf9d05741b400dd54bbd7d3419773b2Daniel Dunbar SD.setCommon(Size, ByteAlignment); 282fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 283fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 2848751b94ffbd9c49df8949a37f78d6bd0be87b256Daniel Dunbarvoid MCMachOStreamer::EmitZerofill(const MCSection *Section, MCSymbol *Symbol, 2857092c7e1dcf9d05741b400dd54bbd7d3419773b2Daniel Dunbar unsigned Size, unsigned ByteAlignment) { 2868dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar MCSectionData &SectData = getAssembler().getOrCreateSectionData(*Section); 287d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 288d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar // The symbol may not be present, which only creates the section. 289d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar if (!Symbol) 290d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar return; 291d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 292d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar // FIXME: Assert that this section has the zerofill type. 293d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 294d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar assert(Symbol->isUndefined() && "Cannot define a symbol twice!"); 295d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 2968dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol); 297d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 298e73d49eda2cb4fc30b52c4a241acf69c8af98302Daniel Dunbar // Emit an align fragment if necessary. 299e73d49eda2cb4fc30b52c4a241acf69c8af98302Daniel Dunbar if (ByteAlignment != 1) 3001c15413ebc8f4a35545a381a789a718627396d03Daniel Dunbar new MCAlignFragment(ByteAlignment, 0, 0, ByteAlignment, &SectData); 301e73d49eda2cb4fc30b52c4a241acf69c8af98302Daniel Dunbar 3024e544870c4c3f81b150e4c3b38a18d629d706b74Daniel Dunbar MCFragment *F = new MCFillFragment(0, 0, Size, &SectData); 303d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar SD.setFragment(F); 304d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 305d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar Symbol->setSection(*Section); 306d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 307d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar // Update the maximum alignment on the zero fill section if necessary. 308d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar if (ByteAlignment > SectData.getAlignment()) 309d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar SectData.setAlignment(ByteAlignment); 310fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 311fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 312070c1abbc9b78fd8eef9365c5e776a13b64b9631Eric Christopher// This should always be called with the thread local bss section. Like the 313070c1abbc9b78fd8eef9365c5e776a13b64b9631Eric Christopher// .zerofill directive this doesn't actually switch sections on us. 314011c3f110bca748db66e437924f936a62f1969bfEric Christophervoid MCMachOStreamer::EmitTBSSSymbol(const MCSection *Section, MCSymbol *Symbol, 315011c3f110bca748db66e437924f936a62f1969bfEric Christopher uint64_t Size, unsigned ByteAlignment) { 316011c3f110bca748db66e437924f936a62f1969bfEric Christopher EmitZerofill(Section, Symbol, Size, ByteAlignment); 317011c3f110bca748db66e437924f936a62f1969bfEric Christopher return; 318482eba054ab3543ee0e1f453d3d6441092f4b76dEric Christopher} 319482eba054ab3543ee0e1f453d3d6441092f4b76dEric Christopher 320aaec205b87637cd0d59d4f11630db603686eb73dChris Lattnervoid MCMachOStreamer::EmitBytes(StringRef Data, unsigned AddrSpace) { 3218067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // TODO: This is exactly the same as WinCOFFStreamer. Consider merging into 3228067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // MCObjectStreamer. 323f70f477024a23408d3a535920e6d4750478ac9aeDaniel Dunbar getOrCreateDataFragment()->getContents().append(Data.begin(), Data.end()); 324fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 325fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 326aaec205b87637cd0d59d4f11630db603686eb73dChris Lattnervoid MCMachOStreamer::EmitValue(const MCExpr *Value, unsigned Size, 327aaec205b87637cd0d59d4f11630db603686eb73dChris Lattner unsigned AddrSpace) { 3288067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // TODO: This is exactly the same as WinCOFFStreamer. Consider merging into 3298067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // MCObjectStreamer. 330f70f477024a23408d3a535920e6d4750478ac9aeDaniel Dunbar MCDataFragment *DF = getOrCreateDataFragment(); 33145f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar 33245f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar // Avoid fixups when possible. 33345f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar int64_t AbsValue; 33440ebe2473a2032356daccf05d4e5ffe39f437c8dDaniel Dunbar if (AddValueSymbols(Value)->EvaluateAsAbsolute(AbsValue)) { 33545f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar // FIXME: Endianness assumption. 33645f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar for (unsigned i = 0; i != Size; ++i) 33745f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar DF->getContents().push_back(uint8_t(AbsValue >> (i * 8))); 33845f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar } else { 339c90e30aa6f3792a460202017523171f435e2ba34Daniel Dunbar DF->addFixup(MCFixup::Create(DF->getContents().size(), 340c90e30aa6f3792a460202017523171f435e2ba34Daniel Dunbar AddValueSymbols(Value), 341c90e30aa6f3792a460202017523171f435e2ba34Daniel Dunbar MCFixup::getKindForSize(Size))); 34245f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar DF->getContents().resize(DF->getContents().size() + Size, 0); 34345f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar } 344fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 345fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 346fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbarvoid MCMachOStreamer::EmitValueToAlignment(unsigned ByteAlignment, 347fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar int64_t Value, unsigned ValueSize, 348fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar unsigned MaxBytesToEmit) { 3498067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // TODO: This is exactly the same as WinCOFFStreamer. Consider merging into 3508067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // MCObjectStreamer. 351d6f761e0eb610936a6b8495360b62696dcd85164Daniel Dunbar if (MaxBytesToEmit == 0) 352d6f761e0eb610936a6b8495360b62696dcd85164Daniel Dunbar MaxBytesToEmit = ByteAlignment; 353a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar new MCAlignFragment(ByteAlignment, Value, ValueSize, MaxBytesToEmit, 354a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar getCurrentSectionData()); 3556e72048add2a6464e038121c6c275da37528aa0aKevin Enderby 3566e72048add2a6464e038121c6c275da37528aa0aKevin Enderby // Update the maximum alignment on the current section if necessary. 35783b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar if (ByteAlignment > getCurrentSectionData()->getAlignment()) 35883b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar getCurrentSectionData()->setAlignment(ByteAlignment); 3596e72048add2a6464e038121c6c275da37528aa0aKevin Enderby} 3606e72048add2a6464e038121c6c275da37528aa0aKevin Enderby 3616e72048add2a6464e038121c6c275da37528aa0aKevin Enderbyvoid MCMachOStreamer::EmitCodeAlignment(unsigned ByteAlignment, 3626e72048add2a6464e038121c6c275da37528aa0aKevin Enderby unsigned MaxBytesToEmit) { 3638067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // TODO: This is exactly the same as WinCOFFStreamer. Consider merging into 3648067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // MCObjectStreamer. 3656e72048add2a6464e038121c6c275da37528aa0aKevin Enderby if (MaxBytesToEmit == 0) 3666e72048add2a6464e038121c6c275da37528aa0aKevin Enderby MaxBytesToEmit = ByteAlignment; 3671c15413ebc8f4a35545a381a789a718627396d03Daniel Dunbar MCAlignFragment *F = new MCAlignFragment(ByteAlignment, 0, 1, MaxBytesToEmit, 36883b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar getCurrentSectionData()); 3691c15413ebc8f4a35545a381a789a718627396d03Daniel Dunbar F->setEmitNops(true); 3700705fbf52fcaade0c6b9d5d33bec163ee4c2daf4Daniel Dunbar 371f3d2ef0c9712381a105118336975adcfbf733db0Daniel Dunbar // Update the maximum alignment on the current section if necessary. 37283b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar if (ByteAlignment > getCurrentSectionData()->getAlignment()) 37383b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar getCurrentSectionData()->setAlignment(ByteAlignment); 374fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 375fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 376821e3334ed3390d931f497300e6a5f1dc21bcfb3Daniel Dunbarvoid MCMachOStreamer::EmitValueToOffset(const MCExpr *Offset, 377fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar unsigned char Value) { 378a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar new MCOrgFragment(*Offset, Value, getCurrentSectionData()); 379fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 380fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 3812ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbarvoid MCMachOStreamer::EmitInstToFragment(const MCInst &Inst) { 38283b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar MCInstFragment *IF = new MCInstFragment(Inst, getCurrentSectionData()); 3834fac74950a1ff08b995b366bfb84369c1507faefDaniel Dunbar 3842ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar // Add the fixups and data. 3852ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar // 3862ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar // FIXME: Revisit this design decision when relaxation is done, we may be 3872ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar // able to get away with not storing any extra data in the MCInst. 3882ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar SmallVector<MCFixup, 4> Fixups; 3892ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar SmallString<256> Code; 3902ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar raw_svector_ostream VecOS(Code); 3918dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().getEmitter().EncodeInstruction(Inst, VecOS, Fixups); 3922ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar VecOS.flush(); 3932ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar 3942ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar IF->getCode() = Code; 3952ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar IF->getFixups() = Fixups; 3962ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar} 397e1ec617c6abf0b9dc1eecbbfe483bda3bb2b7795Daniel Dunbar 3982ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbarvoid MCMachOStreamer::EmitInstToData(const MCInst &Inst) { 3992ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar MCDataFragment *DF = getOrCreateDataFragment(); 4003f4dcd92daef80f87919507b6baf2a97d4bfaa2eDaniel Dunbar 40173c557458c0e28899f37c557bcaf36c2b6701260Daniel Dunbar SmallVector<MCFixup, 4> Fixups; 4024fac74950a1ff08b995b366bfb84369c1507faefDaniel Dunbar SmallString<256> Code; 4034fac74950a1ff08b995b366bfb84369c1507faefDaniel Dunbar raw_svector_ostream VecOS(Code); 4048dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().getEmitter().EncodeInstruction(Inst, VecOS, Fixups); 405f6346769b344f9b134f0661e8bd2b4245f6490eaDaniel Dunbar VecOS.flush(); 406f6346769b344f9b134f0661e8bd2b4245f6490eaDaniel Dunbar 4072ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar // Add the fixups and data. 4082ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar for (unsigned i = 0, e = Fixups.size(); i != e; ++i) { 4092ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar Fixups[i].setOffset(Fixups[i].getOffset() + DF->getContents().size()); 4102ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar DF->addFixup(Fixups[i]); 4112ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar } 4122ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar DF->getContents().append(Code.begin(), Code.end()); 4132ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar} 4142ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar 415c095793b4ab027181605c79c9808df12afe45d63Kevin Enderbyvoid MCMachOStreamer::Finish() { 416c095793b4ab027181605c79c9808df12afe45d63Kevin Enderby // Dump out the dwarf file & directory tables and line tables. 4178c9aa922a94bd788ea061be7555fb5b1db3a5312Kevin Enderby if (getContext().hasDwarfFiles()) { 418c095793b4ab027181605c79c9808df12afe45d63Kevin Enderby const MCSection *DwarfLineSection = getContext().getMachOSection("__DWARF", 419c095793b4ab027181605c79c9808df12afe45d63Kevin Enderby "__debug_line", 420b07ce60981368f816af4caa3257e1e4ebf059133Kevin Enderby MCSectionMachO::S_ATTR_DEBUG, 421c095793b4ab027181605c79c9808df12afe45d63Kevin Enderby 0, SectionKind::getDataRelLocal()); 422c095793b4ab027181605c79c9808df12afe45d63Kevin Enderby MCDwarfFileTable::Emit(this, DwarfLineSection); 423b07ce60981368f816af4caa3257e1e4ebf059133Kevin Enderby } 424b07ce60981368f816af4caa3257e1e4ebf059133Kevin Enderby 425a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // We have to set the fragment atom associations so we can relax properly for 426a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // Mach-O. 427a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar 428a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // First, scan the symbol table to build a lookup table from fragments to 429a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // defining symbols. 430a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar DenseMap<const MCFragment*, MCSymbolData*> DefiningSymbolMap; 431a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar for (MCAssembler::symbol_iterator it = getAssembler().symbol_begin(), 432a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar ie = getAssembler().symbol_end(); it != ie; ++it) { 433a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar if (getAssembler().isSymbolLinkerVisible(it->getSymbol()) && 434a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar it->getFragment()) { 435a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // An atom defining symbol should never be internal to a fragment. 436a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar assert(it->getOffset() == 0 && "Invalid offset in atom defining symbol!"); 437a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar DefiningSymbolMap[it->getFragment()] = it; 438a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar } 439a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar } 440a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar 441a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // Set the fragment atom associations by tracking the last seen atom defining 442a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // symbol. 443a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar for (MCAssembler::iterator it = getAssembler().begin(), 444a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar ie = getAssembler().end(); it != ie; ++it) { 445a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar MCSymbolData *CurrentAtom = 0; 446a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar for (MCSectionData::iterator it2 = it->begin(), 447a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar ie2 = it->end(); it2 != ie2; ++it2) { 448a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar if (MCSymbolData *SD = DefiningSymbolMap.lookup(it2)) 449a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar CurrentAtom = SD; 450a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar it2->setAtom(CurrentAtom); 451a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar } 452a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar } 453a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar 454a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar this->MCObjectStreamer::Finish(); 455a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar} 456a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar 4571f3e445184e5ca2aa4295c2a77f2a4e0b957fea1Daniel DunbarMCStreamer *llvm::createMachOStreamer(MCContext &Context, TargetAsmBackend &TAB, 458ac2884a717daf3ad2aa8425320795d661e8a980bDaniel Dunbar raw_ostream &OS, MCCodeEmitter *CE, 459ac2884a717daf3ad2aa8425320795d661e8a980bDaniel Dunbar bool RelaxAll) { 460ac2884a717daf3ad2aa8425320795d661e8a980bDaniel Dunbar MCMachOStreamer *S = new MCMachOStreamer(Context, TAB, OS, CE); 461ac2884a717daf3ad2aa8425320795d661e8a980bDaniel Dunbar if (RelaxAll) 462ac2884a717daf3ad2aa8425320795d661e8a980bDaniel Dunbar S->getAssembler().setRelaxAll(true); 463ac2884a717daf3ad2aa8425320795d661e8a980bDaniel Dunbar return S; 464fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 465