2#ifndef ROSE_SgAsmInstruction_H
3#define ROSE_SgAsmInstruction_H
5#include <Cxx_GrammarDeclarations.h>
6#include <SgAsmStatement.h>
27#include <Rose/BinaryAnalysis/Address.h>
28#include <Rose/BinaryAnalysis/Architecture/BasicTypes.h>
29#include <Rose/BinaryAnalysis/MemoryMap.h>
30#include <sageContainer.h>
31#include <Sawyer/Cached.h>
33#ifdef ROSE_SgAsmInstruction_IMPL
34#include <SgAsmExprListExp.h>
35#include <SgAsmOperandList.h>
43#if !defined(DOCUMENTATION)
58#ifdef ROSE_ENABLE_BOOST_SERIALIZATION
60 friend class boost::serialization::access;
67 auto temp = architectureIdSerialize(p_architectureId);
68 s & boost::serialization::make_nvp(
"p_architectureId", temp);
69 p_architectureId = architectureIdDeserialize(temp);
71 s & BOOST_SERIALIZATION_NVP(p_rawBytes);
72 s & BOOST_SERIALIZATION_NVP(p_operandList);
73 s & BOOST_SERIALIZATION_NVP(p_delaySlot);
74 userSerializeBoost(s);
82 struct SemanticFailure {
84 SemanticFailure(): n(0) {}
86#ifdef ROSE_ENABLE_BOOST_SERIALIZATION
88 friend class boost::serialization::access;
91 s & BOOST_SERIALIZATION_NVP(n);
112 uint8_t
const& get_architectureId()
const;
116 std::string architectureIdSerialize(uint8_t
id)
const;
117 uint8_t architectureIdDeserialize(
const std::string &name)
const;
124 SgUnsignedCharList
const& get_rawBytes()
const;
125 void set_rawBytes(SgUnsignedCharList
const&);
171 SemanticFailure semanticFailure_;
178 static const int64_t INVALID_STACK_DELTA;
199 std::
string get_mnemonic() const;
202 virtual std::
string description() const final ROSE_DEPRECATED("use Architecture::Base::instructionDescription");
205 size_t nOperands() const;
213 virtual
bool terminatesBasicBlock() final ROSE_DEPRECATED("use Architecture::Base::terminatesBasicBlock");
214 virtual
bool isFunctionCallFast(const std::vector<
SgAsmInstruction*>&,
Rose::BinaryAnalysis::Address *target,
215 Rose::BinaryAnalysis::Address *ret) final
216 ROSE_DEPRECATED("use Architecture::Base::isFunctionCallFast");
217 virtual
bool isFunctionCallSlow(const std::vector<
SgAsmInstruction*>&,
Rose::BinaryAnalysis::Address *target,
218 Rose::BinaryAnalysis::Address *ret) final
219 ROSE_DEPRECATED("use Architecture::Base::isFunctionCallSlow");
220 virtual
bool isFunctionReturnFast(const std::vector<
SgAsmInstruction*>&) final
221 ROSE_DEPRECATED("use Architecture::Base::isFunctionReturnFast");
222 virtual
bool isFunctionReturnSlow(const std::vector<
SgAsmInstruction*>&) final
223 ROSE_DEPRECATED("use Architecture::Base::isFunctionReturnSlow");
224 virtual
Sawyer::Optional<
Rose::BinaryAnalysis::Address> branchTarget() final
225 ROSE_DEPRECATED("use Architecture::Base::branchTarget");
230 bool isFirstInBlock();
235 bool isLastInBlock();
371 virtual
bool hasEffect();
381 virtual
bool hasEffect(const std::vector<
SgAsmInstruction*>&,
bool allow_branch=false,
382 bool relax_stack_semantics=false);
393 virtual std::vector<std::pair<
size_t,
size_t> >
394 findNoopSubsequences(const std::vector<
SgAsmInstruction*>& insns,
bool allow_branch=false,
395 bool relax_stack_semantics=false);
398 virtual
Rose::BinaryAnalysis::AddressSet getSuccessors(
bool &complete)
399 ROSE_DEPRECATED("use Architecture::Base::getSuccessors");
400 virtual
Rose::BinaryAnalysis::AddressSet getSuccessors(const std::vector<
SgAsmInstruction*> &basicBlock,
402 const
Rose::BinaryAnalysis::MemoryMap::Ptr &initial_memory =
403 Rose::BinaryAnalysis::MemoryMap::Ptr())
404 ROSE_DEPRECATED("use Architecture::Base::getSuccessors");
411 virtual
size_t get_size() const;
414 virtual
bool isUnknown() const final ROSE_DEPRECATED("use Architecture::Base::isUnknown");
449 virtual
unsigned get_anyKind() const;
454 virtual std::
string toString() const;
459 virtual std::
string toStringNoAddr() const;
465 virtual std::set<
Rose::BinaryAnalysis::Address> explicitConstants() const;
476 size_t semanticFailure() const;
477 void semanticFailure(
size_t);
478 void incrementSemanticFailure();
489 bool normalizeOperands();
494#ifdef ROSE_ENABLE_BOOST_SERIALIZATION
497 void userSerializeBoost(S &s) {
498 s & BOOST_SERIALIZATION_NVP(semanticFailure_);
507 const SgUnsignedCharList& get_raw_bytes() const ROSE_DEPRECATED("use get_rawBytes");
508 void set_raw_bytes(const SgUnsignedCharList&) ROSE_DEPRECATED("use set_rawBytes");
520 uint8_t const& architectureId);
529 void initializeProperties();
548 virtual std::
string class_name() const override;
551 virtual VariantT variantT() const override;
556 enum { static_variant = V_SgAsmInstruction };
571 static const unsigned pool_size;
573 static std::vector<unsigned char *> pools;
578 static unsigned long initializeStorageClassArray(SgAsmInstructionStorageClass *);
581 static void clearMemoryPool();
582 static void deleteMemoryPool();
585 static void extendMemoryPoolForFileIO();
590 static SgAsmInstruction * getPointerFromGlobalIndex(AstSpecificDataManagingClass *,
unsigned long);
593 static unsigned long getNumberOfValidNodesAndSetGlobalIndexInFreepointer(
unsigned long);
595 static void resetValidFreepointers();
597 static unsigned long getNumberOfLastValidPointer();
600#if defined(INLINE_FUNCTIONS)
602 inline void *
operator new (
size_t size);
605 void *
operator new (
size_t size);
608 void operator delete (
void* pointer,
size_t size);
611 void operator delete (
void* pointer)
657#ifndef ROSE_USE_INTERNAL_FRONTEND_DEVELOPMENT
660 virtual RTIReturnType
roseRTI()
override;
674 virtual const char*
sage_class_name() const override ROSE_DEPRECATED_FUNCTION;
680 virtual int variant() const ROSE_DEPRECATED_FUNCTION;
862 friend class SgAsmInstructionStorageClass;
865 friend class AstSpecificDataManagingClass;
868 friend class AstSpecificDataManagingClassStorageClass;
900#define BUILD_ATERM_SUPPORT 0
901 #if BUILD_ATERM_SUPPORT
902 #ifdef ROSE_USE_ROSE_ATERM_SUPPORT
914 virtual ATerm generate_ATerm()
override;
917 virtual void generate_ATerm_Annotation(ATerm & term)
override;
947uint8_t p_architectureId;
951SgUnsignedCharList p_rawBytes;
Class holding static data and functions supporting File I/O.
Attribute containing a regex expression as a string.
List of expression nodes.
Base class for expressions.
Base class for machine instructions.
List of operands for an instruction.
Base class for statement-like subclasses.
Supporting class from copy mechanism within ROSE.
This class represents the base class for all IR nodes within Sage III.
virtual RTIReturnType roseRTI()
return C++ Runtime-Time-Information
virtual size_t get_numberOfTraversalSuccessors() const
return number of children in the traversal successor list
virtual std::vector< std::string > get_traversalSuccessorNamesContainer() const
container of names of variables or container indices used used in the traversal to access AST success...
virtual void debugSerializationEnd(const char *className)
Called by generated serializers.
static std::string getNodeIdString(SgNode *sgnode)
compute the NodeId for a particular SgNode*.
virtual bool isInMemoryPool()
FOR INTERNAL USE This is used in internal tests to verify that all IR nodes are allocated from the he...
int variant() const
Older version function returns enum value "NODE".
virtual void processDataMemberReferenceToPointers(ReferenceToPointerHandler *)
FOR INTERNAL USE Processes pairs of references to SgNode* and strings for use in AST tools
virtual size_t get_childIndex(SgNode *child) const
index-based access to traversal successors by child node
virtual std::vector< SgNode * > get_traversalSuccessorContainer() const
container of pointers to AST successor nodes used in the traversal overridden in every class by gener...
virtual long getChildIndex(SgNode *childNode) const
FOR INTERNAL USE Returns a unique index value for the childNode in the list of children at this IR no...
virtual void debugSerializationBegin(const char *className)
Called by generated serializers.
virtual SgNode * get_traversalSuccessorByIndex(size_t idx) const
index-based access to traversal successors by index number
static void visitRepresentativeNode(ROSE_VisitTraversal &visit)
FOR INTERNAL USE Support for type-based traversal.
virtual void checkDataMemberPointersIfInMemoryPool()
FOR INTERNAL USE This is used in internal tests to verify that all IR nodes are allocated from the he...
static size_t numberOfNodes()
Returns the total number of IR nodes of this type.
virtual void accept(ROSE_VisitorPattern &visitor)
support for the classic visitor pattern done in GoF
static void traverseMemoryPoolVisitorPattern(ROSE_VisitorPattern &visitor)
FOR INTERNAL USE Support for visitor pattern.
void executeVisitorMemberFunction(ROSE_VisitorPattern &visitor)
FOR INTERNAL USE Support for visitor pattern.
static SgNode * getNodeByNodeId(VariantT variantT, size_t poolIdx, size_t itemIdx)
Find a node by its variant type, pool index, and item index.
static size_t memoryUsage()
Returns the size in bytes of the total memory allocated for all IR nodes of this type.
static void traverseMemoryPoolNodes(ROSE_VisitTraversal &visit)
FOR INTERNAL USE Support for visitor pattern over all IR nodes by type of IR node.
virtual const char * sage_class_name() const
generates string representing the class name: (e.g. for SgNode returns "SgNode").
virtual std::vector< std::pair< SgNode *, std::string > > returnDataMemberPointers() const
FOR INTERNAL USE Returns STL vector of pairs of SgNode* and strings for use in AST tools
static SgNode * getNodeByNodeIdInternal(size_t poolIdx, size_t itemIdx)
FOR INTERNAL USE Find an SgNode from its memory pool and location therin.
SgNode * addRegExpAttribute(std::string s, AstRegExAttribute *a)
Support for AST matching using regular expression.
std::shared_ptr< const Base > BaseConstPtr
Reference counted pointer for Architecture::Base.
void serialize(std::ostream &output, Graph &graph)
Serialize a graph into a stream of bytes.
void copy(const Word *src, const BitRange &srcRange, Word *dst, const BitRange &dstRange)
Copy some bits.