X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=lib%2FMC%2FMCAsmStreamer.cpp;h=373df4b2bf72daaa52879a58af8946b95e2773d2;hb=674101e6bb3742ae743e21e9b9ebec5946b1d273;hp=d1ea3c904407b7b225931d4e97046f42c8fd6183;hpb=5ba89837d7cba1719ab069ac558c8a06aa26b9a6;p=oota-llvm.git diff --git a/lib/MC/MCAsmStreamer.cpp b/lib/MC/MCAsmStreamer.cpp index d1ea3c90440..373df4b2bf7 100644 --- a/lib/MC/MCAsmStreamer.cpp +++ b/lib/MC/MCAsmStreamer.cpp @@ -15,8 +15,12 @@ #include "llvm/MC/MCFixupKindInfo.h" #include "llvm/MC/MCInst.h" #include "llvm/MC/MCInstPrinter.h" +#include "llvm/MC/MCObjectFileInfo.h" +#include "llvm/MC/MCRegisterInfo.h" +#include "llvm/MC/MCSectionCOFF.h" #include "llvm/MC/MCSectionMachO.h" #include "llvm/MC/MCSymbol.h" +#include "llvm/MC/MCAsmBackend.h" #include "llvm/ADT/OwningPtr.h" #include "llvm/ADT/SmallString.h" #include "llvm/ADT/StringExtras.h" @@ -25,9 +29,7 @@ #include "llvm/Support/MathExtras.h" #include "llvm/Support/Format.h" #include "llvm/Support/FormattedStream.h" -#include "llvm/Target/TargetAsmBackend.h" -#include "llvm/Target/TargetAsmInfo.h" -#include "llvm/Target/TargetLoweringObjectFile.h" +#include "llvm/Support/PathV2.h" #include using namespace llvm; @@ -40,7 +42,7 @@ protected: private: OwningPtr InstPrinter; OwningPtr Emitter; - OwningPtr AsmBackend; + OwningPtr AsmBackend; SmallString<128> CommentToEmit; raw_svector_ostream CommentStream; @@ -49,6 +51,7 @@ private: unsigned ShowInst : 1; unsigned UseLoc : 1; unsigned UseCFI : 1; + unsigned UseDwarfDirectory : 1; enum EHSymbolFlags { EHGlobal = 1, EHWeakDefinition = 1 << 1, @@ -58,17 +61,21 @@ private: bool needsSet(const MCExpr *Value); void EmitRegisterName(int64_t Register); + virtual void EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame); + virtual void EmitCFIEndProcImpl(MCDwarfFrameInfo &Frame); public: MCAsmStreamer(MCContext &Context, formatted_raw_ostream &os, bool isVerboseAsm, bool useLoc, bool useCFI, + bool useDwarfDirectory, MCInstPrinter *printer, MCCodeEmitter *emitter, - TargetAsmBackend *asmbackend, + MCAsmBackend *asmbackend, bool showInst) : MCStreamer(Context), OS(os), MAI(Context.getAsmInfo()), InstPrinter(printer), Emitter(emitter), AsmBackend(asmbackend), CommentStream(CommentToEmit), IsVerboseAsm(isVerboseAsm), - ShowInst(showInst), UseLoc(useLoc), UseCFI(useCFI) { + ShowInst(showInst), UseLoc(useLoc), UseCFI(useCFI), + UseDwarfDirectory(useDwarfDirectory) { if (InstPrinter && IsVerboseAsm) InstPrinter->setCommentStream(CommentStream); } @@ -131,13 +138,15 @@ public: virtual void EmitEHSymAttributes(const MCSymbol *Symbol, MCSymbol *EHSymbol); virtual void EmitAssemblerFlag(MCAssemblerFlag Flag); + virtual void EmitDataRegion(MCDataRegionType Kind); virtual void EmitThumbFunc(MCSymbol *Func); virtual void EmitAssignment(MCSymbol *Symbol, const MCExpr *Value); virtual void EmitWeakReference(MCSymbol *Alias, const MCSymbol *Symbol); virtual void EmitDwarfAdvanceLineAddr(int64_t LineDelta, const MCSymbol *LastLabel, - const MCSymbol *Label); + const MCSymbol *Label, + unsigned PointerSize); virtual void EmitDwarfAdvanceFrameAddr(const MCSymbol *LastLabel, const MCSymbol *Label); @@ -148,6 +157,7 @@ public: virtual void EmitCOFFSymbolStorageClass(int StorageClass); virtual void EmitCOFFSymbolType(int Type); virtual void EndCOFFSymbolDef(); + virtual void EmitCOFFSecRel32(MCSymbol const *Symbol); virtual void EmitELFSize(MCSymbol *Symbol, const MCExpr *Value); virtual void EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size, unsigned ByteAlignment); @@ -156,10 +166,12 @@ public: /// /// @param Symbol - The common symbol to emit. /// @param Size - The size of the common symbol. - virtual void EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size); + /// @param Size - The alignment of the common symbol in bytes. + virtual void EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size, + unsigned ByteAlignment); virtual void EmitZerofill(const MCSection *Section, MCSymbol *Symbol = 0, - unsigned Size = 0, unsigned ByteAlignment = 0); + uint64_t Size = 0, unsigned ByteAlignment = 0); virtual void EmitTBSSSymbol (const MCSection *Section, MCSymbol *Symbol, uint64_t Size, unsigned ByteAlignment = 0); @@ -175,6 +187,8 @@ public: virtual void EmitSLEB128Value(const MCExpr *Value); + virtual void EmitGPRel64Value(const MCExpr *Value); + virtual void EmitGPRel32Value(const MCExpr *Value); @@ -188,19 +202,18 @@ public: virtual void EmitCodeAlignment(unsigned ByteAlignment, unsigned MaxBytesToEmit = 0); - virtual void EmitValueToOffset(const MCExpr *Offset, + virtual bool EmitValueToOffset(const MCExpr *Offset, unsigned char Value = 0); virtual void EmitFileDirective(StringRef Filename); - virtual bool EmitDwarfFileDirective(unsigned FileNo, StringRef Filename); + virtual bool EmitDwarfFileDirective(unsigned FileNo, StringRef Directory, + StringRef Filename); virtual void EmitDwarfLocDirective(unsigned FileNo, unsigned Line, unsigned Column, unsigned Flags, unsigned Isa, unsigned Discriminator, StringRef FileName); virtual void EmitCFISections(bool EH, bool Debug); - virtual void EmitCFIStartProc(); - virtual void EmitCFIEndProc(); virtual void EmitCFIDefCfa(int64_t Register, int64_t Offset); virtual void EmitCFIDefCfaOffset(int64_t Offset); virtual void EmitCFIDefCfaRegister(int64_t Register); @@ -212,6 +225,7 @@ public: virtual void EmitCFISameValue(int64_t Register); virtual void EmitCFIRelOffset(int64_t Register, int64_t Offset); virtual void EmitCFIAdjustCfaOffset(int64_t Adjustment); + virtual void EmitCFISignalFrame(); virtual void EmitWin64EHStartProc(const MCSymbol *Symbol); virtual void EmitWin64EHEndProc(); @@ -245,7 +259,7 @@ public: /// indicated by the hasRawTextSupport() predicate. virtual void EmitRawText(StringRef String); - virtual void Finish(); + virtual void FinishImpl(); /// @} }; @@ -330,11 +344,26 @@ void MCAsmStreamer::EmitLabel(MCSymbol *Symbol) { void MCAsmStreamer::EmitAssemblerFlag(MCAssemblerFlag Flag) { switch (Flag) { - default: assert(0 && "Invalid flag!"); case MCAF_SyntaxUnified: OS << "\t.syntax unified"; break; case MCAF_SubsectionsViaSymbols: OS << ".subsections_via_symbols"; break; - case MCAF_Code16: OS << "\t.code\t16"; break; - case MCAF_Code32: OS << "\t.code\t32"; break; + case MCAF_Code16: OS << '\t'<< MAI.getCode16Directive(); break; + case MCAF_Code32: OS << '\t'<< MAI.getCode32Directive(); break; + case MCAF_Code64: OS << '\t'<< MAI.getCode64Directive(); break; + } + EmitEOL(); +} + +void MCAsmStreamer::EmitDataRegion(MCDataRegionType Kind) { + MCContext &Ctx = getContext(); + const MCAsmInfo &MAI = Ctx.getAsmInfo(); + if (!MAI.doesSupportDataRegionDirectives()) + return; + switch (Kind) { + case MCDR_DataRegion: OS << "\t.data_region"; break; + case MCDR_DataRegionJT8: OS << "\t.data_region jt8"; break; + case MCDR_DataRegionJT16: OS << "\t.data_region jt16"; break; + case MCDR_DataRegionJT32: OS << "\t.data_region jt32"; break; + case MCDR_DataRegionEnd: OS << "\t.end_data_region"; break; } EmitEOL(); } @@ -364,9 +393,9 @@ void MCAsmStreamer::EmitWeakReference(MCSymbol *Alias, const MCSymbol *Symbol) { void MCAsmStreamer::EmitDwarfAdvanceLineAddr(int64_t LineDelta, const MCSymbol *LastLabel, - const MCSymbol *Label) { - EmitDwarfSetLineAddr(LineDelta, Label, - getContext().getTargetAsmInfo().getPointerSize()); + const MCSymbol *Label, + unsigned PointerSize) { + EmitDwarfSetLineAddr(LineDelta, Label, PointerSize); } void MCAsmStreamer::EmitDwarfAdvanceFrameAddr(const MCSymbol *LastLabel, @@ -381,7 +410,7 @@ void MCAsmStreamer::EmitDwarfAdvanceFrameAddr(const MCSymbol *LastLabel, void MCAsmStreamer::EmitSymbolAttribute(MCSymbol *Symbol, MCSymbolAttr Attribute) { switch (Attribute) { - case MCSA_Invalid: assert(0 && "Invalid symbol attribute"); + case MCSA_Invalid: llvm_unreachable("Invalid symbol attribute"); case MCSA_ELF_TypeFunction: /// .type _foo, STT_FUNC # aka @function case MCSA_ELF_TypeIndFunction: /// .type _foo, STT_GNU_IFUNC case MCSA_ELF_TypeObject: /// .type _foo, STT_OBJECT # aka @object @@ -393,7 +422,7 @@ void MCAsmStreamer::EmitSymbolAttribute(MCSymbol *Symbol, OS << "\t.type\t" << *Symbol << ',' << ((MAI.getCommentString()[0] != '@') ? '@' : '%'); switch (Attribute) { - default: assert(0 && "Unknown ELF .type"); + default: llvm_unreachable("Unknown ELF .type"); case MCSA_ELF_TypeFunction: OS << "function"; break; case MCSA_ELF_TypeIndFunction: OS << "gnu_indirect_function"; break; case MCSA_ELF_TypeObject: OS << "object"; break; @@ -460,6 +489,11 @@ void MCAsmStreamer::EndCOFFSymbolDef() { EmitEOL(); } +void MCAsmStreamer::EmitCOFFSecRel32(MCSymbol const *Symbol) { + OS << "\t.secrel32\t" << *Symbol << '\n'; + EmitEOL(); +} + void MCAsmStreamer::EmitELFSize(MCSymbol *Symbol, const MCExpr *Value) { assert(MAI.hasDotTypeDotSizeDirective()); OS << "\t.size\t" << *Symbol << ", " << *Value << '\n'; @@ -481,14 +515,21 @@ void MCAsmStreamer::EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size, /// /// @param Symbol - The common symbol to emit. /// @param Size - The size of the common symbol. -void MCAsmStreamer::EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size) { - assert(MAI.hasLCOMMDirective() && "Doesn't have .lcomm, can't emit it!"); +void MCAsmStreamer::EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size, + unsigned ByteAlign) { + assert(MAI.getLCOMMDirectiveType() != LCOMM::None && + "Doesn't have .lcomm, can't emit it!"); OS << "\t.lcomm\t" << *Symbol << ',' << Size; + if (ByteAlign > 1) { + assert(MAI.getLCOMMDirectiveType() == LCOMM::ByteAlignment && + "Alignment not supported on .lcomm!"); + OS << ',' << ByteAlign; + } EmitEOL(); } void MCAsmStreamer::EmitZerofill(const MCSection *Section, MCSymbol *Symbol, - unsigned Size, unsigned ByteAlignment) { + uint64_t Size, unsigned ByteAlignment) { // Note: a .zerofill directive does not switch sections. OS << ".zerofill "; @@ -603,7 +644,7 @@ void MCAsmStreamer::EmitValueImpl(const MCExpr *Value, unsigned Size, int64_t IntValue; if (!Value->EvaluateAsAbsolute(IntValue)) report_fatal_error("Don't know how to emit this value."); - if (getContext().getTargetAsmInfo().isLittleEndian()) { + if (getContext().getAsmInfo().isLittleEndian()) { EmitIntValue((uint32_t)(IntValue >> 0 ), 4, AddrSpace); EmitIntValue((uint32_t)(IntValue >> 32), 4, AddrSpace); } else { @@ -640,6 +681,12 @@ void MCAsmStreamer::EmitSLEB128Value(const MCExpr *Value) { EmitEOL(); } +void MCAsmStreamer::EmitGPRel64Value(const MCExpr *Value) { + assert(MAI.getGPRel64Directive() != 0); + OS << MAI.getGPRel64Directive() << *Value; + EmitEOL(); +} + void MCAsmStreamer::EmitGPRel32Value(const MCExpr *Value) { assert(MAI.getGPRel32Directive() != 0); OS << MAI.getGPRel32Directive() << *Value; @@ -721,11 +768,12 @@ void MCAsmStreamer::EmitCodeAlignment(unsigned ByteAlignment, 1, MaxBytesToEmit); } -void MCAsmStreamer::EmitValueToOffset(const MCExpr *Offset, +bool MCAsmStreamer::EmitValueToOffset(const MCExpr *Offset, unsigned char Value) { // FIXME: Verify that Offset is associated with the current section. OS << ".org " << *Offset << ", " << (unsigned) Value; EmitEOL(); + return false; } @@ -736,13 +784,27 @@ void MCAsmStreamer::EmitFileDirective(StringRef Filename) { EmitEOL(); } -bool MCAsmStreamer::EmitDwarfFileDirective(unsigned FileNo, StringRef Filename){ +bool MCAsmStreamer::EmitDwarfFileDirective(unsigned FileNo, StringRef Directory, + StringRef Filename) { + if (!UseDwarfDirectory && !Directory.empty()) { + if (sys::path::is_absolute(Filename)) + return EmitDwarfFileDirective(FileNo, "", Filename); + + SmallString<128> FullPathName = Directory; + sys::path::append(FullPathName, Filename); + return EmitDwarfFileDirective(FileNo, "", FullPathName); + } + if (UseLoc) { OS << "\t.file\t" << FileNo << ' '; + if (!Directory.empty()) { + PrintQuotedString(Directory, OS); + OS << ' '; + } PrintQuotedString(Filename, OS); EmitEOL(); } - return this->MCStreamer::EmitDwarfFileDirective(FileNo, Filename); + return this->MCStreamer::EmitDwarfFileDirective(FileNo, Directory, Filename); } void MCAsmStreamer::EmitDwarfLocDirective(unsigned FileNo, unsigned Line, @@ -780,7 +842,7 @@ void MCAsmStreamer::EmitDwarfLocDirective(unsigned FileNo, unsigned Line, if (IsVerboseAsm) { OS.PadToColumn(MAI.getCommentColumn()); - OS << MAI.getCommentString() << ' ' << FileName << ':' + OS << MAI.getCommentString() << ' ' << FileName << ':' << Line << ':' << Column; } EmitEOL(); @@ -804,30 +866,34 @@ void MCAsmStreamer::EmitCFISections(bool EH, bool Debug) { EmitEOL(); } -void MCAsmStreamer::EmitCFIStartProc() { - MCStreamer::EmitCFIStartProc(); - - if (!UseCFI) +void MCAsmStreamer::EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame) { + if (!UseCFI) { + RecordProcStart(Frame); return; + } OS << "\t.cfi_startproc"; EmitEOL(); } -void MCAsmStreamer::EmitCFIEndProc() { - MCStreamer::EmitCFIEndProc(); - - if (!UseCFI) +void MCAsmStreamer::EmitCFIEndProcImpl(MCDwarfFrameInfo &Frame) { + if (!UseCFI) { + RecordProcEnd(Frame); return; + } + + // Put a dummy non-null value in Frame.End to mark that this frame has been + // closed. + Frame.End = (MCSymbol *) 1; OS << "\t.cfi_endproc"; EmitEOL(); } void MCAsmStreamer::EmitRegisterName(int64_t Register) { - if (InstPrinter) { - const TargetAsmInfo &asmInfo = getContext().getTargetAsmInfo(); - unsigned LLVMRegister = asmInfo.getLLVMRegNum(Register, true); + if (InstPrinter && !MAI.useDwarfRegNumForCFI()) { + const MCRegisterInfo &MRI = getContext().getRegisterInfo(); + unsigned LLVMRegister = MRI.getLLVMRegNum(Register, true); InstPrinter->printRegName(OS, LLVMRegister); } else { OS << Register; @@ -953,6 +1019,16 @@ void MCAsmStreamer::EmitCFIAdjustCfaOffset(int64_t Adjustment) { EmitEOL(); } +void MCAsmStreamer::EmitCFISignalFrame() { + MCStreamer::EmitCFISignalFrame(); + + if (!UseCFI) + return; + + OS << "\t.cfi_signal_frame"; + EmitEOL(); +} + void MCAsmStreamer::EmitWin64EHStartProc(const MCSymbol *Symbol) { MCStreamer::EmitWin64EHStartProc(Symbol); @@ -993,6 +1069,19 @@ void MCAsmStreamer::EmitWin64EHHandler(const MCSymbol *Sym, bool Unwind, EmitEOL(); } +static const MCSection *getWin64EHTableSection(StringRef suffix, + MCContext &context) { + // FIXME: This doesn't belong in MCObjectFileInfo. However, + /// this duplicate code in MCWin64EH.cpp. + if (suffix == "") + return context.getObjectFileInfo()->getXDataSection(); + return context.getCOFFSection((".xdata"+suffix).str(), + COFF::IMAGE_SCN_CNT_INITIALIZED_DATA | + COFF::IMAGE_SCN_MEM_READ | + COFF::IMAGE_SCN_MEM_WRITE, + SectionKind::getDataRel()); +} + void MCAsmStreamer::EmitWin64EHHandlerData() { MCStreamer::EmitWin64EHHandlerData(); @@ -1002,8 +1091,7 @@ void MCAsmStreamer::EmitWin64EHHandlerData() { // data block is visible. MCWin64EHUnwindInfo *CurFrame = getCurrentW64UnwindInfo(); StringRef suffix=MCWin64EHUnwindEmitter::GetSectionSuffix(CurFrame->Function); - const MCSection *xdataSect = - getContext().getTargetAsmInfo().getWin64EHTableSection(suffix); + const MCSection *xdataSect = getWin64EHTableSection(suffix, getContext()); if (xdataSect) SwitchSectionNoChange(xdataSect); @@ -1088,7 +1176,7 @@ void MCAsmStreamer::AddEncodingComment(const MCInst &Inst) { } } - // FIXME: Node the fixup comments for Thumb2 are completely bogus since the + // FIXME: Note the fixup comments for Thumb2 are completely bogus since the // high order halfword of a 32-bit Thumb2 instruction is emitted first. OS << "encoding: ["; for (unsigned i = 0, e = Code.size(); i != e; ++i) { @@ -1123,7 +1211,7 @@ void MCAsmStreamer::AddEncodingComment(const MCInst &Inst) { unsigned Bit = (Code[i] >> j) & 1; unsigned FixupBit; - if (getContext().getTargetAsmInfo().isLittleEndian()) + if (getContext().getAsmInfo().isLittleEndian()) FixupBit = i * 8 + j; else FixupBit = i * 8 + (7-j); @@ -1220,7 +1308,7 @@ void MCAsmStreamer::EmitInstruction(const MCInst &Inst) { // If we have an AsmPrinter, use that to print, otherwise print the MCInst. if (InstPrinter) - InstPrinter->printInst(&Inst, OS); + InstPrinter->printInst(&Inst, OS, ""); else Inst.print(OS, &MAI); EmitEOL(); @@ -1236,379 +1324,26 @@ void MCAsmStreamer::EmitRawText(StringRef String) { EmitEOL(); } -void MCAsmStreamer::Finish() { +void MCAsmStreamer::FinishImpl() { + // FIXME: This header is duplicated with MCObjectStreamer // Dump out the dwarf file & directory tables and line tables. + const MCSymbol *LineSectionSymbol = NULL; if (getContext().hasDwarfFiles() && !UseLoc) - MCDwarfFileTable::Emit(this); + LineSectionSymbol = MCDwarfFileTable::Emit(this); + + // If we are generating dwarf for assembly source files dump out the sections. + if (getContext().getGenDwarfForAssembly()) + MCGenDwarfInfo::Emit(this, LineSectionSymbol); if (!UseCFI) EmitFrames(false); } - -//===----------------------------------------------------------------------===// -/// MCLSDADecoderAsmStreamer - This is identical to the MCAsmStreamer, but -/// outputs a description of the LSDA in a human readable format. -/// -namespace { - -class MCLSDADecoderAsmStreamer : public MCAsmStreamer { - const MCSymbol *PersonalitySymbol; - const MCSymbol *LSDASymbol; - bool InLSDA; - bool ReadingULEB128; - - uint64_t BytesRead; - uint64_t ActionTableBytes; - uint64_t LSDASize; - - SmallVector ULEB128Value; - std::vector LSDAEncoding; - std::vector Assignments; - - /// GetULEB128Value - A helper function to convert the value in the - /// ULEB128Value vector into a uint64_t. - uint64_t GetULEB128Value(SmallVectorImpl &ULEB128Value) { - uint64_t Val = 0; - for (unsigned i = 0, e = ULEB128Value.size(); i != e; ++i) - Val |= (ULEB128Value[i] & 0x7F) << (7 * i); - return Val; - } - - /// ResetState - Reset the state variables. - void ResetState() { - PersonalitySymbol = 0; - LSDASymbol = 0; - LSDASize = 0; - BytesRead = 0; - ActionTableBytes = 0; - InLSDA = false; - ReadingULEB128 = false; - ULEB128Value.clear(); - LSDAEncoding.clear(); - Assignments.clear(); - } - - void EmitEHTableDescription(); - - const char *DecodeDWARFEncoding(unsigned Encoding) { - switch (Encoding) { - case dwarf::DW_EH_PE_absptr: return "absptr"; - case dwarf::DW_EH_PE_omit: return "omit"; - case dwarf::DW_EH_PE_pcrel: return "pcrel"; - case dwarf::DW_EH_PE_udata4: return "udata4"; - case dwarf::DW_EH_PE_udata8: return "udata8"; - case dwarf::DW_EH_PE_sdata4: return "sdata4"; - case dwarf::DW_EH_PE_sdata8: return "sdata8"; - case dwarf::DW_EH_PE_pcrel|dwarf::DW_EH_PE_udata4: return "pcrel udata4"; - case dwarf::DW_EH_PE_pcrel|dwarf::DW_EH_PE_sdata4: return "pcrel sdata4"; - case dwarf::DW_EH_PE_pcrel|dwarf::DW_EH_PE_udata8: return "pcrel udata8"; - case dwarf::DW_EH_PE_pcrel|dwarf::DW_EH_PE_sdata8: return "pcrel sdata8"; - case dwarf::DW_EH_PE_indirect|dwarf::DW_EH_PE_pcrel|dwarf::DW_EH_PE_udata4: - return "indirect pcrel udata4"; - case dwarf::DW_EH_PE_indirect|dwarf::DW_EH_PE_pcrel|dwarf::DW_EH_PE_sdata4: - return "indirect pcrel sdata4"; - case dwarf::DW_EH_PE_indirect|dwarf::DW_EH_PE_pcrel|dwarf::DW_EH_PE_udata8: - return "indirect pcrel udata8"; - case dwarf::DW_EH_PE_indirect|dwarf::DW_EH_PE_pcrel|dwarf::DW_EH_PE_sdata8: - return "indirect pcrel sdata8"; - } - - return ""; - } -public: - MCLSDADecoderAsmStreamer(MCContext &Context, formatted_raw_ostream &os, - bool isVerboseAsm, bool useLoc, bool useCFI, - MCInstPrinter *printer, MCCodeEmitter *emitter, - TargetAsmBackend *asmbackend, - bool showInst) - : MCAsmStreamer(Context, os, isVerboseAsm, useLoc, useCFI, - printer, emitter, asmbackend, showInst) { - ResetState(); - } - ~MCLSDADecoderAsmStreamer() {} - - virtual void Finish() { - ResetState(); - MCAsmStreamer::Finish(); - } - - virtual void EmitLabel(MCSymbol *Symbol) { - if (Symbol == LSDASymbol) - InLSDA = true; - MCAsmStreamer::EmitLabel(Symbol); - } - virtual void EmitAssignment(MCSymbol *Symbol, const MCExpr *Value) { - if (InLSDA) - Assignments.push_back(Value); - MCAsmStreamer::EmitAssignment(Symbol, Value); - } - virtual void EmitIntValue(uint64_t Value, unsigned Size, - unsigned AddrSpace = 0); - virtual void EmitValueImpl(const MCExpr *Value, unsigned Size, - unsigned AddrSpace); - virtual void EmitFill(uint64_t NumBytes, uint8_t FillValue, - unsigned AddrSpace); - virtual void EmitCFIPersonality(const MCSymbol *Sym, unsigned Encoding) { - PersonalitySymbol = Sym; - MCAsmStreamer::EmitCFIPersonality(Sym, Encoding); - } - virtual void EmitCFILsda(const MCSymbol *Sym, unsigned Encoding) { - LSDASymbol = Sym; - MCAsmStreamer::EmitCFILsda(Sym, Encoding); - } -}; - -} // end anonymous namespace - -void MCLSDADecoderAsmStreamer::EmitIntValue(uint64_t Value, unsigned Size, - unsigned AddrSpace) { - if (!InLSDA) - return MCAsmStreamer::EmitIntValue(Value, Size, AddrSpace); - - BytesRead += Size; - - // We place the LSDA into the LSDAEncoding vector for later analysis. If we - // have a ULEB128, we read that in separate iterations through here and then - // get its value. - if (!ReadingULEB128) { - LSDAEncoding.push_back(Value); - int EncodingSize = LSDAEncoding.size(); - - if (EncodingSize == 1 || EncodingSize == 3) { - // The LPStart and TType encodings. - if (Value != dwarf::DW_EH_PE_omit) { - // The encoding is next and is a ULEB128 value. - ReadingULEB128 = true; - ULEB128Value.clear(); - } else { - // The encoding was omitted. Put a 0 here as a placeholder. - LSDAEncoding.push_back(0); - } - } else if (EncodingSize == 5) { - // The next value is a ULEB128 value that tells us how long the call site - // table is -- where the start of the action tab - ReadingULEB128 = true; - ULEB128Value.clear(); - } - - InLSDA = (LSDASize == 0 || BytesRead < LSDASize); - } else { - // We're reading a ULEB128. Make it so! - assert(Size == 1 && "Non-byte representation of a ULEB128?"); - ULEB128Value.push_back(Value); - - if ((Value & 0x80) == 0) { - uint64_t Val = GetULEB128Value(ULEB128Value); - LSDAEncoding.push_back(Val); - ULEB128Value.clear(); - ReadingULEB128 = false; - - if (LSDAEncoding.size() == 4) - // The fourth value tells us where the bottom of the type table is. - LSDASize = BytesRead + LSDAEncoding[3]; - else if (LSDAEncoding.size() == 6) - // The sixth value tells us where the start of the action table is. - ActionTableBytes = BytesRead; - } - } - - MCAsmStreamer::EmitValueImpl(MCConstantExpr::Create(Value, getContext()), - Size, AddrSpace); - - if (LSDASize != 0 && !InLSDA) - EmitEHTableDescription(); -} - -void MCLSDADecoderAsmStreamer::EmitValueImpl(const MCExpr *Value, - unsigned Size, - unsigned AddrSpace) { - if (InLSDA && LSDASize != 0) { - assert(BytesRead + Size <= LSDASize && "EH table too small!"); - - if (BytesRead > uint64_t(LSDAEncoding[5]) + ActionTableBytes) - // Insert the type values. - Assignments.push_back(Value); - - LSDAEncoding.push_back(Assignments.size()); - BytesRead += Size; - InLSDA = (LSDASize == 0 || BytesRead < LSDASize); - } - - MCAsmStreamer::EmitValueImpl(Value, Size, AddrSpace); - - if (LSDASize != 0 && !InLSDA) - EmitEHTableDescription(); -} - -void MCLSDADecoderAsmStreamer::EmitFill(uint64_t NumBytes, uint8_t FillValue, - unsigned AddrSpace) { - if (InLSDA && ReadingULEB128) { - for (uint64_t I = NumBytes; I != 0; --I) - ULEB128Value.push_back(FillValue); - - BytesRead += NumBytes; - - if ((FillValue & 0x80) == 0) { - uint64_t Val = GetULEB128Value(ULEB128Value); - LSDAEncoding.push_back(Val); - ULEB128Value.clear(); - ReadingULEB128 = false; - - if (LSDAEncoding.size() == 4) - // The fourth value tells us where the bottom of the type table is. - LSDASize = BytesRead + LSDAEncoding[3]; - else if (LSDAEncoding.size() == 6) - // The sixth value tells us where the start of the action table is. - ActionTableBytes = BytesRead; - } - } - - MCAsmStreamer::EmitFill(NumBytes, FillValue, AddrSpace); -} - -/// EmitEHTableDescription - Emit a human readable version of the LSDA. -void MCLSDADecoderAsmStreamer::EmitEHTableDescription() { - assert(LSDAEncoding.size() > 6 && "Invalid LSDA!"); - - // Emit header information. - StringRef C = MAI.getCommentString(); -#define CMT OS << C << ' ' - CMT << "Exception Handling Table: " << LSDASymbol->getName() << "\n"; - CMT << " @LPStart Encoding: " << DecodeDWARFEncoding(LSDAEncoding[0]) << "\n"; - if (LSDAEncoding[1]) - CMT << "@LPStart: 0x" << LSDAEncoding[1] << "\n"; - CMT << " @TType Encoding: " << DecodeDWARFEncoding(LSDAEncoding[2]) << "\n"; - CMT << " @TType Base: " << LSDAEncoding[3] << " bytes\n"; - CMT << "@CallSite Encoding: " << DecodeDWARFEncoding(LSDAEncoding[4]) << "\n"; - CMT << "@Action Table Size: " << LSDAEncoding[5] << " bytes\n\n"; - - bool isSjLjEH = (MAI.getExceptionHandlingType() == ExceptionHandling::SjLj); - - int64_t CallSiteTableSize = LSDAEncoding[5]; - unsigned CallSiteEntrySize; - if (!isSjLjEH) - CallSiteEntrySize = 4 + // Region start. - 4 + // Region end. - 4 + // Landing pad. - 1; // TType index. - else - CallSiteEntrySize = 1 + // Call index. - 1; // TType index. - - unsigned NumEntries = CallSiteTableSize / CallSiteEntrySize; - assert(CallSiteTableSize % CallSiteEntrySize == 0 && - "The action table size is not a multiple of what it should be!"); - unsigned TTypeIdx = 5 + // Action table size index. - (isSjLjEH ? 2 : 4) * NumEntries + // Action table entries. - 1; // Just because. - - // Emit the action table. - unsigned Action = 1; - for (unsigned I = 6; I < TTypeIdx; ) { - CMT << "Action " << Action++ << ":\n"; - - // The beginning of the throwing region. - uint64_t Idx = LSDAEncoding[I++]; - - if (!isSjLjEH) { - CMT << " A throw between " - << *cast(Assignments[Idx - 1])->getLHS() << " and "; - - // The end of the throwing region. - Idx = LSDAEncoding[I++]; - OS << *cast(Assignments[Idx - 1])->getLHS(); - - // The landing pad. - Idx = LSDAEncoding[I++]; - if (Idx) { - OS << " jumps to " - << *cast(Assignments[Idx - 1])->getLHS() - << " on an exception.\n"; - } else { - OS << " does not have a landing pad.\n"; - ++I; - continue; - } - } else { - CMT << " A throw from call " << Idx << "\n"; - } - - // The index into the action table. - Idx = LSDAEncoding[I++]; - if (!Idx) { - CMT << " :cleanup:\n"; - continue; - } - - // A semi-graphical representation of what the different indexes are in the - // loop below. - // - // Idx - Index into the action table. - // Action - Index into the type table from the type table base. - // Next - Offset from Idx to the next action type. - // - // Idx---. - // | - // v - // [call site table] _1 _2 _3 - // TTypeIdx--> ......................... - // [action 1] _1 _2 - // [action 2] _1 _2 - // ... - // [action n] _1 _2 - // [type m] ^ - // ... | - // [type 1] `---Next - // - - int Action = LSDAEncoding[TTypeIdx + Idx - 1]; - if ((Action & 0x40) != 0) - // Ignore exception specifications. - continue; - - // Emit the types that are caught by this exception. - CMT << " For type(s): "; - for (;;) { - if ((Action & 0x40) != 0) - // Ignore exception specifications. - break; - - if (uint64_t Ty = LSDAEncoding[LSDAEncoding.size() - Action]) { - OS << " " << *Assignments[Ty - 1]; - - // Types can be chained together. Typically, it's a negative offset from - // the current type to a different one in the type table. - int Next = LSDAEncoding[TTypeIdx + Idx]; - if (Next == 0) - break; - if ((Next & 0x40) != 0) - Next = (int)(signed char)(Next | 0x80); - Idx += Next + 1; - Action = LSDAEncoding[TTypeIdx + Idx - 1]; - continue; - } else { - OS << " :catchall:"; - } - break; - } - - OS << "\n"; - } - - OS << "\n"; - ResetState(); -} - MCStreamer *llvm::createAsmStreamer(MCContext &Context, formatted_raw_ostream &OS, bool isVerboseAsm, bool useLoc, - bool useCFI, MCInstPrinter *IP, - MCCodeEmitter *CE, TargetAsmBackend *TAB, - bool ShowInst) { - if (isVerboseAsm) - return new MCLSDADecoderAsmStreamer(Context, OS, isVerboseAsm, useLoc, - useCFI, IP, CE, TAB, ShowInst); - + bool useCFI, bool useDwarfDirectory, + MCInstPrinter *IP, MCCodeEmitter *CE, + MCAsmBackend *MAB, bool ShowInst) { return new MCAsmStreamer(Context, OS, isVerboseAsm, useLoc, useCFI, - IP, CE, TAB, ShowInst); + useDwarfDirectory, IP, CE, MAB, ShowInst); }