MCMachOStreamer.cpp revision 8c9aa922a94bd788ea061be7555fb5b1db3a5312
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: 342ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar void EmitInstToFragment(const MCInst &Inst); 352ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar 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); 48821e3334ed3390d931f497300e6a5f1dc21bcfb3Daniel Dunbar virtual void EmitAssignment(MCSymbol *Symbol, const MCExpr *Value); 49a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner virtual void EmitSymbolAttribute(MCSymbol *Symbol, MCSymbolAttr Attribute); 50fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar virtual void EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue); 519eb158d5b4cd4f6fc80912e2dd77bdf13c3ca0e7Chris Lattner virtual void EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size, 527092c7e1dcf9d05741b400dd54bbd7d3419773b2Daniel Dunbar unsigned ByteAlignment); 53b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner virtual void BeginCOFFSymbolDef(const MCSymbol *Symbol) { 54b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner assert(0 && "macho doesn't support this directive"); 55b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner } 56b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner virtual void EmitCOFFSymbolStorageClass(int StorageClass) { 57b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner assert(0 && "macho doesn't support this directive"); 58b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner } 59b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner virtual void EmitCOFFSymbolType(int Type) { 60b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner assert(0 && "macho doesn't support this directive"); 61b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner } 62b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner virtual void EndCOFFSymbolDef() { 63b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner assert(0 && "macho doesn't support this directive"); 64b54b9ddaaf2d258767d360583642ed1b91075fc9Chris Lattner } 6599328add833807f12a4950c7de29fb2a5df04703Chris Lattner virtual void EmitELFSize(MCSymbol *Symbol, const MCExpr *Value) { 6699328add833807f12a4950c7de29fb2a5df04703Chris Lattner assert(0 && "macho doesn't support this directive"); 6799328add833807f12a4950c7de29fb2a5df04703Chris Lattner } 689eb158d5b4cd4f6fc80912e2dd77bdf13c3ca0e7Chris Lattner virtual void EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size) { 699eb158d5b4cd4f6fc80912e2dd77bdf13c3ca0e7Chris Lattner assert(0 && "macho doesn't support this directive"); 709eb158d5b4cd4f6fc80912e2dd77bdf13c3ca0e7Chris Lattner } 718751b94ffbd9c49df8949a37f78d6bd0be87b256Daniel Dunbar virtual void EmitZerofill(const MCSection *Section, MCSymbol *Symbol = 0, 727092c7e1dcf9d05741b400dd54bbd7d3419773b2Daniel Dunbar unsigned Size = 0, unsigned ByteAlignment = 0); 73011c3f110bca748db66e437924f936a62f1969bfEric Christopher virtual void EmitTBSSSymbol(const MCSection *Section, MCSymbol *Symbol, 74011c3f110bca748db66e437924f936a62f1969bfEric Christopher uint64_t Size, unsigned ByteAlignment = 0); 75aaec205b87637cd0d59d4f11630db603686eb73dChris Lattner virtual void EmitBytes(StringRef Data, unsigned AddrSpace); 76aaec205b87637cd0d59d4f11630db603686eb73dChris Lattner virtual void EmitValue(const MCExpr *Value, unsigned Size,unsigned AddrSpace); 77718fb59801320b8cb22363d115b5fc5ec40dc1f5Chris Lattner virtual void EmitGPRel32Value(const MCExpr *Value) { 78718fb59801320b8cb22363d115b5fc5ec40dc1f5Chris Lattner assert(0 && "macho doesn't support this directive"); 79718fb59801320b8cb22363d115b5fc5ec40dc1f5Chris Lattner } 80fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar virtual void EmitValueToAlignment(unsigned ByteAlignment, int64_t Value = 0, 81fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar unsigned ValueSize = 1, 82fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar unsigned MaxBytesToEmit = 0); 836e72048add2a6464e038121c6c275da37528aa0aKevin Enderby virtual void EmitCodeAlignment(unsigned ByteAlignment, 846e72048add2a6464e038121c6c275da37528aa0aKevin Enderby unsigned MaxBytesToEmit = 0); 85821e3334ed3390d931f497300e6a5f1dc21bcfb3Daniel Dunbar virtual void EmitValueToOffset(const MCExpr *Offset, 86fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar unsigned char Value = 0); 872ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar 88a6594fc7156c0afbe6fd5a6aab9b099aaf950c53Chris Lattner virtual void EmitFileDirective(StringRef Filename) { 8996749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar // FIXME: Just ignore the .file; it isn't important enough to fail the 9096749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar // entire assembly. 9196749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar 9296749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar //report_fatal_error("unsupported directive: '.file'"); 93a6594fc7156c0afbe6fd5a6aab9b099aaf950c53Chris Lattner } 94a6594fc7156c0afbe6fd5a6aab9b099aaf950c53Chris Lattner virtual void EmitDwarfFileDirective(unsigned FileNo, StringRef Filename) { 9596749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar // FIXME: Just ignore the .file; it isn't important enough to fail the 9696749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar // entire assembly. 9796749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar 9896749678c9d4cf73d8cbc108a2f2f4872e4e4413Daniel Dunbar //report_fatal_error("unsupported directive: '.file'"); 99a6594fc7156c0afbe6fd5a6aab9b099aaf950c53Chris Lattner } 1002ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar 101fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar virtual void EmitInstruction(const MCInst &Inst); 102fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 103a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar virtual void Finish(); 104a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar 105fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar /// @} 106fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar}; 107fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 108fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} // end anonymous namespace. 109fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 110d80781b98b771d370730ab7c630018f23e202b57Rafael Espindolavoid MCMachOStreamer::InitSections() { 111d80781b98b771d370730ab7c630018f23e202b57Rafael Espindola SwitchSection(getContext().getMachOSection("__TEXT", "__text", 112d80781b98b771d370730ab7c630018f23e202b57Rafael Espindola MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS, 113d80781b98b771d370730ab7c630018f23e202b57Rafael Espindola 0, SectionKind::getText())); 114d80781b98b771d370730ab7c630018f23e202b57Rafael Espindola 115d80781b98b771d370730ab7c630018f23e202b57Rafael Espindola} 116d80781b98b771d370730ab7c630018f23e202b57Rafael Espindola 117fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbarvoid MCMachOStreamer::EmitLabel(MCSymbol *Symbol) { 1188067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // TODO: This is almost exactly the same as WinCOFFStreamer. Consider merging 1198067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // into MCObjectStreamer. 1208906ff1b9dfde28f1ff00706643ca10843b26e01Daniel Dunbar assert(Symbol->isUndefined() && "Cannot define a symbol twice!"); 121c304718fd8fa25f3f36f47f3de0e0cfe7578bc9eDaniel Dunbar assert(!Symbol->isVariable() && "Cannot emit a variable symbol!"); 122c304718fd8fa25f3f36f47f3de0e0cfe7578bc9eDaniel Dunbar assert(CurSection && "Cannot emit before setting section!"); 123fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 124a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar Symbol->setSection(*CurSection); 125071f73db4a0c3f7f00ef14d38af17f3c8d69827aDaniel Dunbar 126a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol); 127071f73db4a0c3f7f00ef14d38af17f3c8d69827aDaniel Dunbar 128a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // We have to create a new fragment if this is an atom defining symbol, 129a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // fragments cannot span atoms. 130a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar if (getAssembler().isSymbolLinkerVisible(SD.getSymbol())) 131a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar new MCDataFragment(getCurrentSectionData()); 132071f73db4a0c3f7f00ef14d38af17f3c8d69827aDaniel Dunbar 133f70f477024a23408d3a535920e6d4750478ac9aeDaniel Dunbar // FIXME: This is wasteful, we don't necessarily need to create a data 134f70f477024a23408d3a535920e6d4750478ac9aeDaniel Dunbar // fragment. Instead, we should mark the symbol as pointing into the data 135f70f477024a23408d3a535920e6d4750478ac9aeDaniel Dunbar // fragment if it exists, otherwise we should just queue the label and set its 136f70f477024a23408d3a535920e6d4750478ac9aeDaniel Dunbar // fragment pointer when we emit the next fragment. 137a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar MCDataFragment *F = getOrCreateDataFragment(); 138f3d2ef0c9712381a105118336975adcfbf733db0Daniel Dunbar assert(!SD.getFragment() && "Unexpected fragment on symbol data!"); 139f3d2ef0c9712381a105118336975adcfbf733db0Daniel Dunbar SD.setFragment(F); 140f3d2ef0c9712381a105118336975adcfbf733db0Daniel Dunbar SD.setOffset(F->getContents().size()); 1416aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 142b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // This causes the reference type flag to be cleared. Darwin 'as' was "trying" 143b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // to clear the weak reference and weak definition bits too, but the 144b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // implementation was buggy. For now we just try to match 'as', for 145b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // diffability. 146b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // 147b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // FIXME: Cleanup this code, these bits should be emitted based on semantic 148b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // properties, not on the order of definition, etc. 149b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar SD.setFlags(SD.getFlags() & ~SF_ReferenceTypeMask); 150fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 151fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 152a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattnervoid MCMachOStreamer::EmitAssemblerFlag(MCAssemblerFlag Flag) { 1536009db486e7fba448ccb28dff676c012efade8f0Daniel Dunbar switch (Flag) { 154a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCAF_SubsectionsViaSymbols: 1558dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().setSubsectionsViaSymbols(true); 1568c3eaf46a1fb69004723ce78aaa82965d6474175Daniel Dunbar return; 1575c0d472b6ebc4408b97d12e1e545cafdcbd50adfChandler Carruth default: 1585c0d472b6ebc4408b97d12e1e545cafdcbd50adfChandler Carruth llvm_unreachable("invalid assembler flag!"); 1596009db486e7fba448ccb28dff676c012efade8f0Daniel Dunbar } 160fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 161fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 162821e3334ed3390d931f497300e6a5f1dc21bcfb3Daniel Dunbarvoid MCMachOStreamer::EmitAssignment(MCSymbol *Symbol, const MCExpr *Value) { 1638067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // TODO: This is exactly the same as WinCOFFStreamer. Consider merging into 1648067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // MCObjectStreamer. 165a4d8667c870759a70aa9bea99e64b7f7e938b1a1Daniel Dunbar // FIXME: Lift context changes into super class. 1668dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().getOrCreateSymbolData(*Symbol); 16708a408a4b3224627db07eb27e174085d8e1d2426Daniel Dunbar Symbol->setVariableValue(AddValueSymbols(Value)); 168fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 169fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 170fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbarvoid MCMachOStreamer::EmitSymbolAttribute(MCSymbol *Symbol, 171a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner MCSymbolAttr Attribute) { 1720c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar // Indirect symbols are handled differently, to match how 'as' handles 1730c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar // them. This makes writing matching .o files easier. 174a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner if (Attribute == MCSA_IndirectSymbol) { 175ad7c3d55932f949e6bd428232999088a53f54a4fDaniel Dunbar // Note that we intentionally cannot use the symbol data here; this is 176ad7c3d55932f949e6bd428232999088a53f54a4fDaniel Dunbar // important for matching the string table that 'as' generates. 1770c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar IndirectSymbolData ISD; 1780c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar ISD.Symbol = Symbol; 17983b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar ISD.SectionData = getCurrentSectionData(); 1808dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().getIndirectSymbols().push_back(ISD); 1810c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar return; 1820c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar } 1830c7761b3f98fee270d73f5b9c440fe15e82af263Daniel Dunbar 1846aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // Adding a symbol attribute always introduces the symbol, note that an 18546836a783ab29f9cb49655d8b9cb8f5538a626feDaniel Dunbar // important side effect of calling getOrCreateSymbolData here is to register 18646836a783ab29f9cb49655d8b9cb8f5538a626feDaniel Dunbar // the symbol with the assembler. 1878dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol); 1886aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 1896aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // The implementation of symbol attributes is designed to match 'as', but it 1906aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // leaves much to desired. It doesn't really make sense to arbitrarily add and 1916aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // remove flags, but 'as' allows this (in particular, see .desc). 1926aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // 1936aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // In the future it might be worth trying to make these operations more well 1946aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // defined. 1953edd9bb7a3da8526eb2f4a5dae2962a987d3d566Daniel Dunbar switch (Attribute) { 196a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Invalid: 197ed0ab15170f0f8fc4269d58757378bc8726b56a1Chris Lattner case MCSA_ELF_TypeFunction: 198ed0ab15170f0f8fc4269d58757378bc8726b56a1Chris Lattner case MCSA_ELF_TypeIndFunction: 199ed0ab15170f0f8fc4269d58757378bc8726b56a1Chris Lattner case MCSA_ELF_TypeObject: 200ed0ab15170f0f8fc4269d58757378bc8726b56a1Chris Lattner case MCSA_ELF_TypeTLS: 201ed0ab15170f0f8fc4269d58757378bc8726b56a1Chris Lattner case MCSA_ELF_TypeCommon: 202ed0ab15170f0f8fc4269d58757378bc8726b56a1Chris Lattner case MCSA_ELF_TypeNoType: 203a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_IndirectSymbol: 204a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Hidden: 205a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Internal: 206a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Protected: 207a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Weak: 208a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Local: 2096aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar assert(0 && "Invalid symbol attribute for Mach-O!"); 2106aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar break; 2113edd9bb7a3da8526eb2f4a5dae2962a987d3d566Daniel Dunbar 212a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Global: 2138f4d146c340c9423271ebd7bb3fd32b880000bc9Daniel Dunbar SD.setExternal(true); 214b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // This effectively clears the undefined lazy bit, in Darwin 'as', although 215b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // it isn't very consistent because it implements this as part of symbol 216b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // lookup. 217b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // 218b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // FIXME: Cleanup this code, these bits should be emitted based on semantic 219b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar // properties, not on the order of definition, etc. 220b18d2dd115d8ff3fd75bbaa90849473266236dc3Daniel Dunbar SD.setFlags(SD.getFlags() & ~SF_ReferenceTypeUndefinedLazy); 2213edd9bb7a3da8526eb2f4a5dae2962a987d3d566Daniel Dunbar break; 2226aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 223a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_LazyReference: 2246aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // FIXME: This requires -dynamic. 2256aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setFlags(SD.getFlags() | SF_NoDeadStrip); 2266aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar if (Symbol->isUndefined()) 2276aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setFlags(SD.getFlags() | SF_ReferenceTypeUndefinedLazy); 2286aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar break; 2296aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 2306aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // Since .reference sets the no dead strip bit, it is equivalent to 2316aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // .no_dead_strip in practice. 232a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_Reference: 233a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_NoDeadStrip: 2346aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setFlags(SD.getFlags() | SF_NoDeadStrip); 2356aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar break; 2366aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 237a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_PrivateExtern: 2386aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setExternal(true); 2396aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setPrivateExtern(true); 2406aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar break; 2416aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 242a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_WeakReference: 2436aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // FIXME: This requires -dynamic. 2446aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar if (Symbol->isUndefined()) 2456aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setFlags(SD.getFlags() | SF_WeakReference); 2466aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar break; 2476aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar 248a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner case MCSA_WeakDefinition: 2496aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // FIXME: 'as' enforces that this is defined and global. The manual claims 2506aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // it has to be in a coalesced section, but this isn't enforced. 2516aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar SD.setFlags(SD.getFlags() | SF_WeakDefinition); 2526aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar break; 253f59cac5ed36360b4c462781051f996b3499d7e0fKevin Enderby 254f59cac5ed36360b4c462781051f996b3499d7e0fKevin Enderby case MCSA_WeakDefAutoPrivate: 255f59cac5ed36360b4c462781051f996b3499d7e0fKevin Enderby SD.setFlags(SD.getFlags() | SF_WeakDefinition | SF_WeakReference); 256f59cac5ed36360b4c462781051f996b3499d7e0fKevin Enderby break; 2573edd9bb7a3da8526eb2f4a5dae2962a987d3d566Daniel Dunbar } 258fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 259fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 260fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbarvoid MCMachOStreamer::EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue) { 2616aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar // Encode the 'desc' value into the lowest implementation defined bits. 2622ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar assert(DescValue == (DescValue & SF_DescFlagsMask) && 2636aff2fbd56d4bc2d6029f7c9bd49a97f6dc01213Daniel Dunbar "Invalid .desc value!"); 2648dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().getOrCreateSymbolData(*Symbol).setFlags( 2658dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar DescValue & SF_DescFlagsMask); 266fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 267fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 2689eb158d5b4cd4f6fc80912e2dd77bdf13c3ca0e7Chris Lattnervoid MCMachOStreamer::EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size, 2697092c7e1dcf9d05741b400dd54bbd7d3419773b2Daniel Dunbar unsigned ByteAlignment) { 2708f4d146c340c9423271ebd7bb3fd32b880000bc9Daniel Dunbar // FIXME: Darwin 'as' does appear to allow redef of a .comm by itself. 2718f4d146c340c9423271ebd7bb3fd32b880000bc9Daniel Dunbar assert(Symbol->isUndefined() && "Cannot define a symbol twice!"); 2728f4d146c340c9423271ebd7bb3fd32b880000bc9Daniel Dunbar 2738dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol); 2748f4d146c340c9423271ebd7bb3fd32b880000bc9Daniel Dunbar SD.setExternal(true); 2757092c7e1dcf9d05741b400dd54bbd7d3419773b2Daniel Dunbar SD.setCommon(Size, ByteAlignment); 276fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 277fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 2788751b94ffbd9c49df8949a37f78d6bd0be87b256Daniel Dunbarvoid MCMachOStreamer::EmitZerofill(const MCSection *Section, MCSymbol *Symbol, 2797092c7e1dcf9d05741b400dd54bbd7d3419773b2Daniel Dunbar unsigned Size, unsigned ByteAlignment) { 2808dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar MCSectionData &SectData = getAssembler().getOrCreateSectionData(*Section); 281d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 282d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar // The symbol may not be present, which only creates the section. 283d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar if (!Symbol) 284d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar return; 285d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 286d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar // FIXME: Assert that this section has the zerofill type. 287d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 288d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar assert(Symbol->isUndefined() && "Cannot define a symbol twice!"); 289d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 2908dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol); 291d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 292e73d49eda2cb4fc30b52c4a241acf69c8af98302Daniel Dunbar // Emit an align fragment if necessary. 293e73d49eda2cb4fc30b52c4a241acf69c8af98302Daniel Dunbar if (ByteAlignment != 1) 2941c15413ebc8f4a35545a381a789a718627396d03Daniel Dunbar new MCAlignFragment(ByteAlignment, 0, 0, ByteAlignment, &SectData); 295e73d49eda2cb4fc30b52c4a241acf69c8af98302Daniel Dunbar 2964e544870c4c3f81b150e4c3b38a18d629d706b74Daniel Dunbar MCFragment *F = new MCFillFragment(0, 0, Size, &SectData); 297d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar SD.setFragment(F); 298d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 299d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar Symbol->setSection(*Section); 300d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar 301d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar // Update the maximum alignment on the zero fill section if necessary. 302d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar if (ByteAlignment > SectData.getAlignment()) 303d5a8e98ef627a35284c9b5989664514f8f163968Daniel Dunbar SectData.setAlignment(ByteAlignment); 304fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 305fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 306070c1abbc9b78fd8eef9365c5e776a13b64b9631Eric Christopher// This should always be called with the thread local bss section. Like the 307070c1abbc9b78fd8eef9365c5e776a13b64b9631Eric Christopher// .zerofill directive this doesn't actually switch sections on us. 308011c3f110bca748db66e437924f936a62f1969bfEric Christophervoid MCMachOStreamer::EmitTBSSSymbol(const MCSection *Section, MCSymbol *Symbol, 309011c3f110bca748db66e437924f936a62f1969bfEric Christopher uint64_t Size, unsigned ByteAlignment) { 310011c3f110bca748db66e437924f936a62f1969bfEric Christopher EmitZerofill(Section, Symbol, Size, ByteAlignment); 311011c3f110bca748db66e437924f936a62f1969bfEric Christopher return; 312482eba054ab3543ee0e1f453d3d6441092f4b76dEric Christopher} 313482eba054ab3543ee0e1f453d3d6441092f4b76dEric Christopher 314aaec205b87637cd0d59d4f11630db603686eb73dChris Lattnervoid MCMachOStreamer::EmitBytes(StringRef Data, unsigned AddrSpace) { 3158067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // TODO: This is exactly the same as WinCOFFStreamer. Consider merging into 3168067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // MCObjectStreamer. 317f70f477024a23408d3a535920e6d4750478ac9aeDaniel Dunbar getOrCreateDataFragment()->getContents().append(Data.begin(), Data.end()); 318fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 319fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 320aaec205b87637cd0d59d4f11630db603686eb73dChris Lattnervoid MCMachOStreamer::EmitValue(const MCExpr *Value, unsigned Size, 321aaec205b87637cd0d59d4f11630db603686eb73dChris Lattner unsigned AddrSpace) { 3228067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // TODO: This is exactly the same as WinCOFFStreamer. Consider merging into 3238067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // MCObjectStreamer. 324f70f477024a23408d3a535920e6d4750478ac9aeDaniel Dunbar MCDataFragment *DF = getOrCreateDataFragment(); 32545f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar 32645f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar // Avoid fixups when possible. 32745f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar int64_t AbsValue; 32840ebe2473a2032356daccf05d4e5ffe39f437c8dDaniel Dunbar if (AddValueSymbols(Value)->EvaluateAsAbsolute(AbsValue)) { 32945f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar // FIXME: Endianness assumption. 33045f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar for (unsigned i = 0; i != Size; ++i) 33145f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar DF->getContents().push_back(uint8_t(AbsValue >> (i * 8))); 33245f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar } else { 333c90e30aa6f3792a460202017523171f435e2ba34Daniel Dunbar DF->addFixup(MCFixup::Create(DF->getContents().size(), 334c90e30aa6f3792a460202017523171f435e2ba34Daniel Dunbar AddValueSymbols(Value), 335c90e30aa6f3792a460202017523171f435e2ba34Daniel Dunbar MCFixup::getKindForSize(Size))); 33645f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar DF->getContents().resize(DF->getContents().size() + Size, 0); 33745f48746110f5e6f7e65af7de239333dbd45d1d1Daniel Dunbar } 338fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 339fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 340fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbarvoid MCMachOStreamer::EmitValueToAlignment(unsigned ByteAlignment, 341fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar int64_t Value, unsigned ValueSize, 342fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar unsigned MaxBytesToEmit) { 3438067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // TODO: This is exactly the same as WinCOFFStreamer. Consider merging into 3448067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // MCObjectStreamer. 345d6f761e0eb610936a6b8495360b62696dcd85164Daniel Dunbar if (MaxBytesToEmit == 0) 346d6f761e0eb610936a6b8495360b62696dcd85164Daniel Dunbar MaxBytesToEmit = ByteAlignment; 347a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar new MCAlignFragment(ByteAlignment, Value, ValueSize, MaxBytesToEmit, 348a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar getCurrentSectionData()); 3496e72048add2a6464e038121c6c275da37528aa0aKevin Enderby 3506e72048add2a6464e038121c6c275da37528aa0aKevin Enderby // Update the maximum alignment on the current section if necessary. 35183b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar if (ByteAlignment > getCurrentSectionData()->getAlignment()) 35283b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar getCurrentSectionData()->setAlignment(ByteAlignment); 3536e72048add2a6464e038121c6c275da37528aa0aKevin Enderby} 3546e72048add2a6464e038121c6c275da37528aa0aKevin Enderby 3556e72048add2a6464e038121c6c275da37528aa0aKevin Enderbyvoid MCMachOStreamer::EmitCodeAlignment(unsigned ByteAlignment, 3566e72048add2a6464e038121c6c275da37528aa0aKevin Enderby unsigned MaxBytesToEmit) { 3578067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // TODO: This is exactly the same as WinCOFFStreamer. Consider merging into 3588067adc271d7ccfcd28a238d73942b21a5e2bc62Michael J. Spencer // MCObjectStreamer. 3596e72048add2a6464e038121c6c275da37528aa0aKevin Enderby if (MaxBytesToEmit == 0) 3606e72048add2a6464e038121c6c275da37528aa0aKevin Enderby MaxBytesToEmit = ByteAlignment; 3611c15413ebc8f4a35545a381a789a718627396d03Daniel Dunbar MCAlignFragment *F = new MCAlignFragment(ByteAlignment, 0, 1, MaxBytesToEmit, 36283b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar getCurrentSectionData()); 3631c15413ebc8f4a35545a381a789a718627396d03Daniel Dunbar F->setEmitNops(true); 3640705fbf52fcaade0c6b9d5d33bec163ee4c2daf4Daniel Dunbar 365f3d2ef0c9712381a105118336975adcfbf733db0Daniel Dunbar // Update the maximum alignment on the current section if necessary. 36683b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar if (ByteAlignment > getCurrentSectionData()->getAlignment()) 36783b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar getCurrentSectionData()->setAlignment(ByteAlignment); 368fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 369fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 370821e3334ed3390d931f497300e6a5f1dc21bcfb3Daniel Dunbarvoid MCMachOStreamer::EmitValueToOffset(const MCExpr *Offset, 371fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar unsigned char Value) { 372a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar new MCOrgFragment(*Offset, Value, getCurrentSectionData()); 373fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 374fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 3752ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbarvoid MCMachOStreamer::EmitInstToFragment(const MCInst &Inst) { 37683b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar MCInstFragment *IF = new MCInstFragment(Inst, getCurrentSectionData()); 3774fac74950a1ff08b995b366bfb84369c1507faefDaniel Dunbar 3782ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar // Add the fixups and data. 3792ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar // 3802ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar // FIXME: Revisit this design decision when relaxation is done, we may be 3812ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar // able to get away with not storing any extra data in the MCInst. 3822ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar SmallVector<MCFixup, 4> Fixups; 3832ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar SmallString<256> Code; 3842ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar raw_svector_ostream VecOS(Code); 3858dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().getEmitter().EncodeInstruction(Inst, VecOS, Fixups); 3862ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar VecOS.flush(); 3872ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar 3882ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar IF->getCode() = Code; 3892ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar IF->getFixups() = Fixups; 3902ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar} 391e1ec617c6abf0b9dc1eecbbfe483bda3bb2b7795Daniel Dunbar 3922ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbarvoid MCMachOStreamer::EmitInstToData(const MCInst &Inst) { 3932ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar MCDataFragment *DF = getOrCreateDataFragment(); 3943f4dcd92daef80f87919507b6baf2a97d4bfaa2eDaniel Dunbar 39573c557458c0e28899f37c557bcaf36c2b6701260Daniel Dunbar SmallVector<MCFixup, 4> Fixups; 3964fac74950a1ff08b995b366bfb84369c1507faefDaniel Dunbar SmallString<256> Code; 3974fac74950a1ff08b995b366bfb84369c1507faefDaniel Dunbar raw_svector_ostream VecOS(Code); 3988dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().getEmitter().EncodeInstruction(Inst, VecOS, Fixups); 399f6346769b344f9b134f0661e8bd2b4245f6490eaDaniel Dunbar VecOS.flush(); 400f6346769b344f9b134f0661e8bd2b4245f6490eaDaniel Dunbar 4012ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar // Add the fixups and data. 4022ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar for (unsigned i = 0, e = Fixups.size(); i != e; ++i) { 4032ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar Fixups[i].setOffset(Fixups[i].getOffset() + DF->getContents().size()); 4042ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar DF->addFixup(Fixups[i]); 4052ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar } 4062ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar DF->getContents().append(Code.begin(), Code.end()); 4072ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar} 4082ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar 4092ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbarvoid MCMachOStreamer::EmitInstruction(const MCInst &Inst) { 4102ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar // Scan for values. 4112ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar for (unsigned i = Inst.getNumOperands(); i--; ) 4122ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar if (Inst.getOperand(i).isExpr()) 4132ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar AddValueSymbols(Inst.getOperand(i).getExpr()); 4142ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar 41583b467178a8295048f3ee7b44ff9c7ea244a96ccDaniel Dunbar getCurrentSectionData()->setHasInstructions(true); 4162ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar 417232ab949d5ed04c4ab45c763e0597fc3fc3fa5bcKevin Enderby // Now that a machine instruction has been assembled into this section, make 418232ab949d5ed04c4ab45c763e0597fc3fc3fa5bcKevin Enderby // a line entry for any .loc directive that has been seen. 419c095793b4ab027181605c79c9808df12afe45d63Kevin Enderby MCLineEntry::Make(this, getCurrentSection()); 420232ab949d5ed04c4ab45c763e0597fc3fc3fa5bcKevin Enderby 42183194de76a34e240927cf45c0debf12efe845c9bDaniel Dunbar // If this instruction doesn't need relaxation, just emit it as data. 4228dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar if (!getAssembler().getBackend().MayNeedRelaxation(Inst)) { 4232ac0c453b2de1029f35d9ccb933c1ef303be00a2Daniel Dunbar EmitInstToData(Inst); 42483194de76a34e240927cf45c0debf12efe845c9bDaniel Dunbar return; 42583194de76a34e240927cf45c0debf12efe845c9bDaniel Dunbar } 42683194de76a34e240927cf45c0debf12efe845c9bDaniel Dunbar 42783194de76a34e240927cf45c0debf12efe845c9bDaniel Dunbar // Otherwise, if we are relaxing everything, relax the instruction as much as 42883194de76a34e240927cf45c0debf12efe845c9bDaniel Dunbar // possible and emit it as data. 4298dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar if (getAssembler().getRelaxAll()) { 43083194de76a34e240927cf45c0debf12efe845c9bDaniel Dunbar MCInst Relaxed; 4318dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().getBackend().RelaxInstruction(Inst, Relaxed); 4328dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar while (getAssembler().getBackend().MayNeedRelaxation(Relaxed)) 4338dc68ab931e0f0a7c5caf9cd341b2ec855733863Daniel Dunbar getAssembler().getBackend().RelaxInstruction(Relaxed, Relaxed); 43483194de76a34e240927cf45c0debf12efe845c9bDaniel Dunbar EmitInstToData(Relaxed); 43583194de76a34e240927cf45c0debf12efe845c9bDaniel Dunbar return; 43683194de76a34e240927cf45c0debf12efe845c9bDaniel Dunbar } 43783194de76a34e240927cf45c0debf12efe845c9bDaniel Dunbar 43883194de76a34e240927cf45c0debf12efe845c9bDaniel Dunbar // Otherwise emit to a separate fragment. 43983194de76a34e240927cf45c0debf12efe845c9bDaniel Dunbar EmitInstToFragment(Inst); 440fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 441fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar 442c095793b4ab027181605c79c9808df12afe45d63Kevin Enderbyvoid MCMachOStreamer::Finish() { 443c095793b4ab027181605c79c9808df12afe45d63Kevin Enderby // Dump out the dwarf file & directory tables and line tables. 4448c9aa922a94bd788ea061be7555fb5b1db3a5312Kevin Enderby if (getContext().hasDwarfFiles()) { 445c095793b4ab027181605c79c9808df12afe45d63Kevin Enderby const MCSection *DwarfLineSection = getContext().getMachOSection("__DWARF", 446c095793b4ab027181605c79c9808df12afe45d63Kevin Enderby "__debug_line", 447b07ce60981368f816af4caa3257e1e4ebf059133Kevin Enderby MCSectionMachO::S_ATTR_DEBUG, 448c095793b4ab027181605c79c9808df12afe45d63Kevin Enderby 0, SectionKind::getDataRelLocal()); 449c095793b4ab027181605c79c9808df12afe45d63Kevin Enderby MCDwarfFileTable::Emit(this, DwarfLineSection); 450b07ce60981368f816af4caa3257e1e4ebf059133Kevin Enderby } 451b07ce60981368f816af4caa3257e1e4ebf059133Kevin Enderby 452a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // We have to set the fragment atom associations so we can relax properly for 453a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // Mach-O. 454a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar 455a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // First, scan the symbol table to build a lookup table from fragments to 456a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // defining symbols. 457a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar DenseMap<const MCFragment*, MCSymbolData*> DefiningSymbolMap; 458a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar for (MCAssembler::symbol_iterator it = getAssembler().symbol_begin(), 459a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar ie = getAssembler().symbol_end(); it != ie; ++it) { 460a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar if (getAssembler().isSymbolLinkerVisible(it->getSymbol()) && 461a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar it->getFragment()) { 462a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // An atom defining symbol should never be internal to a fragment. 463a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar assert(it->getOffset() == 0 && "Invalid offset in atom defining symbol!"); 464a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar DefiningSymbolMap[it->getFragment()] = it; 465a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar } 466a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar } 467a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar 468a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // Set the fragment atom associations by tracking the last seen atom defining 469a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar // symbol. 470a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar for (MCAssembler::iterator it = getAssembler().begin(), 471a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar ie = getAssembler().end(); it != ie; ++it) { 472a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar MCSymbolData *CurrentAtom = 0; 473a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar for (MCSectionData::iterator it2 = it->begin(), 474a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar ie2 = it->end(); it2 != ie2; ++it2) { 475a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar if (MCSymbolData *SD = DefiningSymbolMap.lookup(it2)) 476a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar CurrentAtom = SD; 477a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar it2->setAtom(CurrentAtom); 478a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar } 479a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar } 480a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar 481a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar this->MCObjectStreamer::Finish(); 482a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar} 483a86de1050889b61df2cd42cdc2acc5f9796b7f0cDaniel Dunbar 4841f3e445184e5ca2aa4295c2a77f2a4e0b957fea1Daniel DunbarMCStreamer *llvm::createMachOStreamer(MCContext &Context, TargetAsmBackend &TAB, 485ac2884a717daf3ad2aa8425320795d661e8a980bDaniel Dunbar raw_ostream &OS, MCCodeEmitter *CE, 486ac2884a717daf3ad2aa8425320795d661e8a980bDaniel Dunbar bool RelaxAll) { 487ac2884a717daf3ad2aa8425320795d661e8a980bDaniel Dunbar MCMachOStreamer *S = new MCMachOStreamer(Context, TAB, OS, CE); 488ac2884a717daf3ad2aa8425320795d661e8a980bDaniel Dunbar if (RelaxAll) 489ac2884a717daf3ad2aa8425320795d661e8a980bDaniel Dunbar S->getAssembler().setRelaxAll(true); 490ac2884a717daf3ad2aa8425320795d661e8a980bDaniel Dunbar return S; 491fb4a6b397665df011348ade24a8e38d2219f095aDaniel Dunbar} 492