123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208 |
- #pragma once
- #ifdef __GNUC__
- #pragma GCC diagnostic push
- #pragma GCC diagnostic ignored "-Wunused-parameter"
- #endif
- //===- llvm/MC/MCDisassembler.h - Disassembler interface --------*- C++ -*-===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- #ifndef LLVM_MC_MCDISASSEMBLER_MCDISASSEMBLER_H
- #define LLVM_MC_MCDISASSEMBLER_MCDISASSEMBLER_H
- #include "llvm/ADT/Optional.h"
- #include "llvm/ADT/StringRef.h"
- #include "llvm/BinaryFormat/XCOFF.h"
- #include "llvm/MC/MCDisassembler/MCSymbolizer.h"
- #include <cstdint>
- #include <memory>
- #include <vector>
- namespace llvm {
- struct XCOFFSymbolInfo {
- Optional<XCOFF::StorageMappingClass> StorageMappingClass;
- Optional<uint32_t> Index;
- bool IsLabel;
- XCOFFSymbolInfo(Optional<XCOFF::StorageMappingClass> Smc,
- Optional<uint32_t> Idx, bool Label)
- : StorageMappingClass(Smc), Index(Idx), IsLabel(Label) {}
- bool operator<(const XCOFFSymbolInfo &SymInfo) const;
- };
- struct SymbolInfoTy {
- uint64_t Addr;
- StringRef Name;
- union {
- uint8_t Type;
- XCOFFSymbolInfo XCOFFSymInfo;
- };
- private:
- bool IsXCOFF;
- public:
- SymbolInfoTy(uint64_t Addr, StringRef Name,
- Optional<XCOFF::StorageMappingClass> Smc, Optional<uint32_t> Idx,
- bool Label)
- : Addr(Addr), Name(Name), XCOFFSymInfo(Smc, Idx, Label), IsXCOFF(true) {}
- SymbolInfoTy(uint64_t Addr, StringRef Name, uint8_t Type)
- : Addr(Addr), Name(Name), Type(Type), IsXCOFF(false) {}
- bool isXCOFF() const { return IsXCOFF; }
- private:
- friend bool operator<(const SymbolInfoTy &P1, const SymbolInfoTy &P2) {
- assert(P1.IsXCOFF == P2.IsXCOFF &&
- "P1.IsXCOFF should be equal to P2.IsXCOFF.");
- if (P1.IsXCOFF)
- return std::tie(P1.Addr, P1.XCOFFSymInfo, P1.Name) <
- std::tie(P2.Addr, P2.XCOFFSymInfo, P2.Name);
- return std::tie(P1.Addr, P1.Name, P1.Type) <
- std::tie(P2.Addr, P2.Name, P2.Type);
- }
- };
- using SectionSymbolsTy = std::vector<SymbolInfoTy>;
- template <typename T> class ArrayRef;
- class MCContext;
- class MCInst;
- class MCSubtargetInfo;
- class raw_ostream;
- /// Superclass for all disassemblers. Consumes a memory region and provides an
- /// array of assembly instructions.
- class MCDisassembler {
- public:
- /// Ternary decode status. Most backends will just use Fail and
- /// Success, however some have a concept of an instruction with
- /// understandable semantics but which is architecturally
- /// incorrect. An example of this is ARM UNPREDICTABLE instructions
- /// which are disassemblable but cause undefined behaviour.
- ///
- /// Because it makes sense to disassemble these instructions, there
- /// is a "soft fail" failure mode that indicates the MCInst& is
- /// valid but architecturally incorrect.
- ///
- /// The enum numbers are deliberately chosen such that reduction
- /// from Success->SoftFail ->Fail can be done with a simple
- /// bitwise-AND:
- ///
- /// LEFT & TOP = | Success Unpredictable Fail
- /// --------------+-----------------------------------
- /// Success | Success Unpredictable Fail
- /// Unpredictable | Unpredictable Unpredictable Fail
- /// Fail | Fail Fail Fail
- ///
- /// An easy way of encoding this is as 0b11, 0b01, 0b00 for
- /// Success, SoftFail, Fail respectively.
- enum DecodeStatus {
- Fail = 0,
- SoftFail = 1,
- Success = 3
- };
- MCDisassembler(const MCSubtargetInfo &STI, MCContext &Ctx)
- : Ctx(Ctx), STI(STI) {}
- virtual ~MCDisassembler();
- /// Returns the disassembly of a single instruction.
- ///
- /// \param Instr - An MCInst to populate with the contents of the
- /// instruction.
- /// \param Size - A value to populate with the size of the instruction, or
- /// the number of bytes consumed while attempting to decode
- /// an invalid instruction.
- /// \param Address - The address, in the memory space of region, of the first
- /// byte of the instruction.
- /// \param Bytes - A reference to the actual bytes of the instruction.
- /// \param CStream - The stream to print comments and annotations on.
- /// \return - MCDisassembler::Success if the instruction is valid,
- /// MCDisassembler::SoftFail if the instruction was
- /// disassemblable but invalid,
- /// MCDisassembler::Fail if the instruction was invalid.
- virtual DecodeStatus getInstruction(MCInst &Instr, uint64_t &Size,
- ArrayRef<uint8_t> Bytes, uint64_t Address,
- raw_ostream &CStream) const = 0;
- /// Used to perform separate target specific disassembly for a particular
- /// symbol. May parse any prelude that precedes instructions after the
- /// start of a symbol, or the entire symbol.
- /// This is used for example by WebAssembly to decode preludes.
- ///
- /// Base implementation returns None. So all targets by default ignore to
- /// treat symbols separately.
- ///
- /// \param Symbol - The symbol.
- /// \param Size - The number of bytes consumed.
- /// \param Address - The address, in the memory space of region, of the first
- /// byte of the symbol.
- /// \param Bytes - A reference to the actual bytes at the symbol location.
- /// \param CStream - The stream to print comments and annotations on.
- /// \return - MCDisassembler::Success if bytes are decoded
- /// successfully. Size must hold the number of bytes that
- /// were decoded.
- /// - MCDisassembler::Fail if the bytes are invalid. Size
- /// must hold the number of bytes that were decoded before
- /// failing. The target must print nothing. This can be
- /// done by buffering the output if needed.
- /// - None if the target doesn't want to handle the symbol
- /// separately. Value of Size is ignored in this case.
- virtual Optional<DecodeStatus>
- onSymbolStart(SymbolInfoTy &Symbol, uint64_t &Size, ArrayRef<uint8_t> Bytes,
- uint64_t Address, raw_ostream &CStream) const;
- // TODO:
- // Implement similar hooks that can be used at other points during
- // disassembly. Something along the following lines:
- // - onBeforeInstructionDecode()
- // - onAfterInstructionDecode()
- // - onSymbolEnd()
- // It should help move much of the target specific code from llvm-objdump to
- // respective target disassemblers.
- private:
- MCContext &Ctx;
- protected:
- // Subtarget information, for instruction decoding predicates if required.
- const MCSubtargetInfo &STI;
- std::unique_ptr<MCSymbolizer> Symbolizer;
- public:
- // Helpers around MCSymbolizer
- bool tryAddingSymbolicOperand(MCInst &Inst,
- int64_t Value,
- uint64_t Address, bool IsBranch,
- uint64_t Offset, uint64_t InstSize) const;
- void tryAddingPcLoadReferenceComment(int64_t Value, uint64_t Address) const;
- /// Set \p Symzer as the current symbolizer.
- /// This takes ownership of \p Symzer, and deletes the previously set one.
- void setSymbolizer(std::unique_ptr<MCSymbolizer> Symzer);
- MCContext& getContext() const { return Ctx; }
- const MCSubtargetInfo& getSubtargetInfo() const { return STI; }
- // Marked mutable because we cache it inside the disassembler, rather than
- // having to pass it around as an argument through all the autogenerated code.
- mutable raw_ostream *CommentStream = nullptr;
- };
- } // end namespace llvm
- #endif // LLVM_MC_MCDISASSEMBLER_MCDISASSEMBLER_H
- #ifdef __GNUC__
- #pragma GCC diagnostic pop
- #endif
|