ROSE  0.11.145.0
Public Member Functions | Protected Member Functions | List of all members
SgAsmMipsInstruction Class Reference

Description

Represents one MIPS machine instruction.

Definition at line 6618 of file binaryInstruction.C.

Inheritance diagram for SgAsmMipsInstruction:
Inheritance graph
[legend]
Collaboration diagram for SgAsmMipsInstruction:
Collaboration graph
[legend]

Public Member Functions

virtual std::string description () const override
 Return a description of this instruction. More...
 
virtual bool terminatesBasicBlock () override
 Determines if this instruction normally terminates a basic block. More...
 
virtual bool isFunctionCallFast (const std::vector< SgAsmInstruction * > &insns, rose_addr_t *target, rose_addr_t *ret) override
 Returns true if the specified basic block looks like a function call. More...
 
virtual bool isFunctionCallSlow (const std::vector< SgAsmInstruction * > &, rose_addr_t *target, rose_addr_t *ret) override
 Returns true if the specified basic block looks like a function call. More...
 
virtual bool isFunctionReturnFast (const std::vector< SgAsmInstruction * > &insns) override
 Returns true if the specified basic block looks like a function return. More...
 
virtual bool isFunctionReturnSlow (const std::vector< SgAsmInstruction * > &insns) override
 Returns true if the specified basic block looks like a function return. More...
 
virtual Rose::BinaryAnalysis::AddressSet getSuccessors (bool &complete) override
 Control flow successors for a single instruction. More...
 
virtual bool isUnknown () const override
 Returns true if this instruction is the special "unknown" instruction. More...
 
virtual Sawyer::Optional< rose_addr_t > branchTarget () override
 Obtains the virtual address for a branching instruction. More...
 
virtual unsigned get_anyKind () const override
 Returns instruction kind for any architecture. More...
 
virtual ~SgAsmMipsInstruction ()
 Destructor. More...
 
 SgAsmMipsInstruction ()
 Default constructor. More...
 
 SgAsmMipsInstruction (rose_addr_t const &address, std::string const &mnemonic, Rose::BinaryAnalysis::MipsInstructionKind const &kind)
 Constructor. More...
 
Rose::BinaryAnalysis::MipsInstructionKind const & get_kind () const
 Property: Instruction kind. More...
 
void set_kind (Rose::BinaryAnalysis::MipsInstructionKind const &)
 Property: Instruction kind. More...
 
- Public Member Functions inherited from SgAsmInstruction
void appendSources (SgAsmInstruction *instruction)
 
size_t nOperands () const
 Number of operands. More...
 
SgAsmExpressionoperand (size_t) const
 Nth operand. More...
 
bool isFirstInBlock ()
 Returns true if this instruction is the first instruction in a basic block. More...
 
bool isLastInBlock ()
 Returns true if this instruction is the last instruction in a basic block. More...
 
bool getBranchTarget (rose_addr_t *target) ROSE_DEPRECATED("use branchTarget instead")
 
virtual bool hasEffect ()
 Determines whether a single instruction has an effect. More...
 
virtual bool hasEffect (const std::vector< SgAsmInstruction * > &, bool allow_branch=false, bool relax_stack_semantics=false)
 Determine if an instruction sequence has an effect. More...
 
virtual std::vector< std::pair< size_t, size_t > > findNoopSubsequences (const std::vector< SgAsmInstruction * > &insns, bool allow_branch=false, bool relax_stack_semantics=false)
 Determines what subsequences of an instruction sequence have no cumulative effect. More...
 
virtual Rose::BinaryAnalysis::AddressSet getSuccessors (const std::vector< SgAsmInstruction * > &basicBlock, bool &complete, const Rose::BinaryAnalysis::MemoryMap::Ptr &initial_memory=Rose::BinaryAnalysis::MemoryMap::Ptr())
 Control flow successors for a basic block. More...
 
virtual size_t get_size () const
 Returns the size of an instruction in bytes. More...
 
virtual std::string toString () const
 Converts the instruction to a string. More...
 
virtual std::set< rose_addr_t > explicitConstants () const
 Explicit constants. More...
 
bool normalizeOperands ()
 Rewrite certain addressing modes for operands. More...
 
virtual ~SgAsmInstruction ()
 Destructor. More...
 
 SgAsmInstruction ()
 Default constructor. More...
 
 SgAsmInstruction (rose_addr_t const &address, std::string const &mnemonic)
 Constructor. More...
 
std::string const & get_mnemonic () const
 Property: Instruction mnemonic string. More...
 
void set_mnemonic (std::string const &)
 Property: Instruction mnemonic string. More...
 
SgUnsignedCharList const & get_raw_bytes () const
 Property: Raw bytes of an instruction. More...
 
void set_raw_bytes (SgUnsignedCharList const &)
 Property: Raw bytes of an instruction. More...
 
SgAsmOperandList *const & get_operandList () const
 Property: AST node that holds all operands. More...
 
void set_operandList (SgAsmOperandList *const &)
 Property: AST node that holds all operands. More...
 
size_t cacheLockCount () const
 Property: Cache lock count. More...
 
void adjustCacheLockCount (int increment)
 Property: Cache lock count. More...
 
int64_t const & get_stackDeltaIn () const
 Property: Stack pointer at start of instruction relative to start of instruction's function. More...
 
void set_stackDeltaIn (int64_t const &)
 Property: Stack pointer at start of instruction relative to start of instruction's function. More...
 
SgAsmExprListExp *const & get_semantics () const
 Property: Ordered list of instruction semantics. More...
 
void set_semantics (SgAsmExprListExp *const &)
 Property: Ordered list of instruction semantics. More...
 
size_t semanticFailure () const
 Property: Whether instruction semantics failed at this location. More...
 
void semanticFailure (size_t)
 Property: Whether instruction semantics failed at this location. More...
 
void incrementSemanticFailure ()
 Property: Whether instruction semantics failed at this location. More...
 
- Public Member Functions inherited from SgAsmStatement
virtual ~SgAsmStatement ()
 Destructor. More...
 
rose_addr_t const & get_address () const
 Property: Starting virtual address. More...
 
void set_address (rose_addr_t const &)
 Property: Starting virtual address. More...
 
std::string const & get_comment () const
 Property: Commentary.
 
void set_comment (std::string const &)
 Property: Commentary.
 
- Public Member Functions inherited from SgAsmNode
virtual ~SgAsmNode ()
 Destructor. More...
 
Sawyer::Attribute::Storage const & attributes () const
 Attribute storage. More...
 
Sawyer::Attribute::Storageattributes ()
 Attribute storage. More...
 
- Public Member Functions inherited from SgNode
virtual SgNodecopy (SgCopyHelp &help) const
 This function clones the current IR node object recursively or not, depending on the argument. More...
 
virtual std::string class_name () const
 returns a string representing the class name More...
 
virtual VariantT variantT () const
 returns new style SageIII enum values More...
 
void * operator new (size_t size)
 returns pointer to newly allocated IR node
 
void operator delete (void *pointer, size_t size)
 deallocated memory for IR node (returns memory to memory pool for reuse)
 
void operator delete (void *pointer)
 
virtual std::vector< SgNode * > get_traversalSuccessorContainer ()
 container of pointers to AST successor nodes used in the traversal overridden in every class by generated implementation More...
 
virtual std::vector< std::string > get_traversalSuccessorNamesContainer ()
 container of names of variables or container indices used used in the traversal to access AST successor nodes overridden in every class by generated implementation More...
 
virtual size_t get_numberOfTraversalSuccessors ()
 return number of children in the traversal successor list
 
virtual SgNodeget_traversalSuccessorByIndex (size_t idx)
 index-based access to traversal successors by index number
 
virtual size_t get_childIndex (SgNode *child)
 index-based access to traversal successors by child node
 
virtual RTIReturnType roseRTI ()
 return C++ Runtime-Time-Information More...
 
virtual const char * sage_class_name () const ROSE_DEPRECATED_FUNCTION
 generates string representing the class name: (e.g. for SgNode returns "SgNode"). More...
 
void executeVisitorMemberFunction (ROSE_VisitorPattern &visitor)
 FOR INTERNAL USE Support for visitor pattern.
 
virtual void accept (ROSE_VisitorPattern &visitor)
 support for the classic visitor pattern done in GoF
 
virtual bool isInMemoryPool ()
 FOR INTERNAL USE This is used in internal tests to verify that all IR nodes are allocated from the heap. More...
 
virtual void checkDataMemberPointersIfInMemoryPool ()
 FOR INTERNAL USE This is used in internal tests to verify that all IR nodes are allocated from the heap. More...
 
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 More...
 
virtual void processDataMemberReferenceToPointers (ReferenceToPointerHandler *)
 FOR INTERNAL USE Processes pairs of references to SgNode* and strings for use in AST tools More...
 
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 node. More...
 
 SgNode (const SgNodeStorageClass &source)
 IR node constructor to support AST File I/O.
 
SgNodeaddRegExpAttribute (std::string s, AstRegExAttribute *a)
 Support for AST matching using regular expression. More...
 
void set_isModified (bool isModified)
 All nodes in the AST contain a isModified flag used to track changes to the AST. More...
 
void set_containsTransformation (bool containsTransformation)
 Many nodes can hide other AST nodes and we need to track when outer nodes contain modified nodes even if they are not themselves modified. More...
 
bool get_isModified () const
 Acess function for isModified flag. More...
 
bool get_containsTransformation () const
 Acess function for containsTransformation flag. More...
 
void set_parent (SgNode *parent)
 All nodes in the AST contain a reference to a parent node. More...
 
SgNodeget_parent () const
 Access function for parent node. More...
 
SgNodeget_raw_parent () const
 Access function for direct access to uncomputed value of parent node.
 
bool isChild (SgNode *node) const
 Query function for if the input IR nodes is a child of the current IR node.
 
virtual std::string unparseToString (SgUnparse_Info *info) const
 This function unparses the AST node (excluding comments and unnecessary white space)
 
std::string unparseToString () const
 
std::string unparseToCompleteString ()
 This function unparses the AST node (including comments and white space) More...
 
int variant () const ROSE_DEPRECATED_FUNCTION
 Older version function returns enum value "NODE". More...
 
virtual void addNewAttribute (std::string s, AstAttribute *a)
 Add a new attribute represented by the named string.
 
virtual AstAttributegetAttribute (std::string s) const
 Returns attribute of name 's'.
 
virtual void updateAttribute (std::string s, AstAttribute *a)
 Replace existing attribute of name 's' with new AstAttribute.
 
virtual void setAttribute (std::string s, AstAttribute *a)
 This is a wrapper function with the following semantics: if no attribute of name 's' exists then addNewAttribute(s,a); is called, otherwise updateAttribute(s,a); is called.
 
virtual void removeAttribute (std::string s)
 Remove attribute of name 's' if present.
 
virtual bool attributeExists (std::string s) const
 Tests if attribute of name 's' is present.
 
virtual int numberOfAttributes () const
 Returns the number of attributes on this IR node.
 
virtual AstAttributeMechanismget_attributeMechanism () const
 FOR INTERNAL USE Access function; if an attribute exists then a pointer to it is returned, else error. More...
 
virtual void set_attributeMechanism (AstAttributeMechanism *a)
 FOR INTERNAL USE Access function; sets poiner to value AstAttributeMechanism. More...
 
virtual void fixupCopy (SgNode *copy, SgCopyHelp &help) const
 
virtual Sg_File_Infoget_file_info (void) const
 File information containing filename, line number, column number, and if the SgNode is a part of a new transformation, etc.
 
virtual Sg_File_Infoget_startOfConstruct (void) const
 New function interface for Sg_File_Info data stores starting location of contruct (typically the opening brace or first letter of keyword).
 
virtual Sg_File_Infoget_endOfConstruct (void) const
 New function interface for Sg_File_Info data stores ending location of contruct (typically the closing brace).
 
VirtualCFG::CFGNode cfgForBeginning ()
 Returns the CFG node for just before this AST node.
 
VirtualCFG::CFGNode cfgForEnd ()
 Returns the CFG node for just after this AST node.
 
virtual unsigned int cfgIndexForEnd () const
 Determine the CFG index for the end of this construct.
 
virtual bool cfgIsIndexInteresting (unsigned int index) const
 Determine whether a particular CFG node index is "interesting" for this kind of node.
 
virtual unsigned int cfgFindChildIndex (SgNode *n)
 Find the index of n in this node's CFG children.
 
virtual unsigned int cfgFindNextChildIndex (SgNode *n)
 Find the index just after n in this node's CFG children.
 
virtual std::vector< VirtualCFG::CFGEdgecfgOutEdges (unsigned int index=false)
 Find the out edges of a CFG node – internal version.
 
virtual std::vector< VirtualCFG::CFGEdgecfgInEdges (unsigned int index=false)
 Find the in edges of a CFG node – internal version.
 
int numberOfNodesInSubtree ()
 Computes the number of nodes in the defined subtree of the AST. More...
 
int depthOfSubtree ()
 Computes the depth of the current defined subtree of the AST. More...
 
template<class T >
T * initParentPointer (T *child, SgNode *parent)
 Generated for tree edge data member initializations. More...
 
SgNodeget_freepointer () const
 
void set_freepointer (SgNode *freepointer)
 
virtual ~SgNode ()
 This is the destructor. More...
 
 SgNode ()
 This is the constructor. More...
 
bool get_isVisited () const ROSE_DEPRECATED_FUNCTION
 DOCS IN HEADER: Access function for p_isVisited flag used previously by the AST traversals. More...
 
void set_isVisited (bool isVisited) ROSE_DEPRECATED_FUNCTION
 Access function for p_isVisited flag used previously by the AST traversals. More...
 
template<class T >
std::enable_if< std::is_pointer< T >::value, void >::type changeChildPointer (T &edge, T const &child)
 Set a child edge in a tree to point to a specific child. More...
 
template<class T >
std::enable_if< !std::is_pointer< T >::value, void >::type changeChildPointer (T &edge, T const &child)
 Set a child edge in a tree to point to a specific child. More...
 

Protected Member Functions

void initializeProperties ()
 Initialize all properties that have explicit initial values. More...
 
- Protected Member Functions inherited from SgAsmInstruction
void initializeProperties ()
 Initialize all properties that have explicit initial values. More...
 
- Protected Member Functions inherited from SgAsmStatement
 SgAsmStatement ()
 Default constructor. More...
 
 SgAsmStatement (rose_addr_t const &address)
 Constructor. More...
 
void initializeProperties ()
 Initialize all properties that have explicit initial values. More...
 
- Protected Member Functions inherited from SgAsmNode
 SgAsmNode ()
 Default constructor. More...
 
void initializeProperties ()
 Initialize all properties that have explicit initial values. More...
 
- Protected Member Functions inherited from SgNode
virtual void post_construction_initialization ()
 Final initialization for constructors This function is called at the end of generated constructors to allow the specification writer to add special initialization functions or tests. Default is to do nothing. Otherwise it should be overridden in the spec file, in NewHeaderCode/NewOutlinedCode.
 
virtual void destructorHelper ()
 This gets called by all Rosebud-generated destructors. More...
 
virtual void debugSerializationBegin (const char *className)
 Called by generated serializers. More...
 
virtual void debugSerializationEnd (const char *className)
 Called by generated serializers. More...
 

Additional Inherited Members

- Public Types inherited from SgNode
enum  { static_variant = V_SgNode }
 static variant value
 
- Static Public Member Functions inherited from SgNode
static void deleteMemoryPool ()
 
static size_t numberOfNodes ()
 Returns the total number of IR nodes of this type.
 
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.
 
static void traverseMemoryPoolVisitorPattern (ROSE_VisitorPattern &visitor)
 FOR INTERNAL USE Support for visitor pattern.
 
static void visitRepresentativeNode (ROSE_VisitTraversal &visit)
 FOR INTERNAL USE Support for type-based traversal.
 
static SgNodegetNodeByNodeId (VariantT variantT, size_t poolIdx, size_t itemIdx)
 Find a node by its variant type, pool index, and item index.
 
static SgNodegetNodeByNodeIdInternal (size_t poolIdx, size_t itemIdx)
 FOR INTERNAL USE Find an SgNode from its memory pool and location therin.
 
static std::string getNodeIdString (SgNode *sgnode)
 compute the NodeId for a particular SgNode*.
 
static std::string getNodeIdStringInternal (SgNode *sgnode)
 
static std::vector< std::string > buildCommandLineToSubstituteTransformationFile (const std::vector< std::string > &argv, std::string newFileName)
 Command line support for this compilation The command line is saved as a static variable so that it will be available to support the rewrite mechanism. More...
 
static std::vector< VariantT > getClassHierarchySubTreeFunction (VariantT v)
 
static void getClassHierarchySubTreeFunction (VariantT v, std::vector< VariantT > &)
 
static std::map< SgNode *, std::string > & get_globalMangledNameMap ()
 Access function for performance optimizing global mangled name map. More...
 
static void clearGlobalMangledNameMap ()
 Support to clear the performance optimizing global mangled name map.
 
static std::map< std::string, int > & get_shortMangledNameCache ()
 Access function for lower level optimizing of global mangled name map. More...
 
static std::map< SgNode *, std::string > & get_globalQualifiedNameMapForNames ()
 Access function for name qualification support (for names). More...
 
static void set_globalQualifiedNameMapForNames (const std::map< SgNode *, std::string > &X)
 Access function for name qualification support (for names). More...
 
static std::map< SgNode *, std::string > & get_globalQualifiedNameMapForTypes ()
 Access function for name qualification support (for type). More...
 
static void set_globalQualifiedNameMapForTypes (const std::map< SgNode *, std::string > &X)
 Access function for name qualification support (for type). More...
 
static std::map< SgNode *, std::map< SgNode *, std::string > > & get_globalQualifiedNameMapForMapsOfTypes ()
 Access function for name qualification support (for maps of types). More...
 
static void set_globalQualifiedNameMapForMapsOfTypes (const std::map< SgNode *, std::map< SgNode *, std::string > > &X)
 Access function for name qualification support (for maps of types). More...
 
static std::map< SgNode *, std::string > & get_globalQualifiedNameMapForTemplateHeaders ()
 Access function for name qualification support (for template headers in template declarations). More...
 
static void set_globalQualifiedNameMapForTemplateHeaders (const std::map< SgNode *, std::string > &X)
 Access function for name qualification support (for template headers in template declarations). More...
 
static std::map< SgNode *, std::string > & get_globalTypeNameMap ()
 Access function for name qualification support (for names of types). More...
 
static void set_globalTypeNameMap (const std::map< SgNode *, std::string > &X)
 Access function for name qualification support (for names of types). More...
 
static SgFunctionTypeTableget_globalFunctionTypeTable ()
 Access function for symbol table specific to function types.
 
static void set_globalFunctionTypeTable (SgFunctionTypeTable *globalFunctionTypeTable)
 Access function for symbol table specific to function types.
 
static SgTypeTableget_globalTypeTable ()
 Access function for symbol table specific to non-function types.
 
static void set_globalTypeTable (SgTypeTable *globalTypeTable)
 Access function for symbol table specific to non-function types.
 
static VariantT variantFromPool (SgNode const *n)
 
template<class T >
static std::enable_if< std::is_base_of< SgNode, T >::value, T * >::type createAndParent (SgNode *parent)
 Allocate and return a new node after setting its parent. More...
 
- Static Public Attributes inherited from SgAsmInstruction
static const int64_t INVALID_STACK_DELTA
 Represents an invalid stack delta. More...
 
- Protected Attributes inherited from SgNode
SgNodep_parent
 This is the pointer to the parent IR node in the AST. More...
 
bool p_isModified
 Records if IR node has been modified (data members reset). More...
 
bool p_containsTransformation
 
SgNodep_freepointer
 This is the pointer to the chain of previously freed objects.
 
- Static Protected Attributes inherited from SgNode
static std::vector< std::tuple< unsigned char *, unsigned, VariantT > > all_pools
 
static SgFunctionTypeTablep_globalFunctionTypeTable
 Pointer to symbol table specific to function types.
 
static SgTypeTablep_globalTypeTable
 
static std::map< SgNode *, std::string > p_globalMangledNameMap
 Cache of mangled names to avoid regeneration of previously build mangled names or parts of mangled names. This is a performance optimization.
 
static std::map< std::string, int > p_shortMangledNameCache
 STL map used as a cache to shorten generated mangled names. This is mostly a space optimization ofr mangled names of templates.
 
static std::map< SgNode *, std::string > p_globalQualifiedNameMapForNames
 
static std::map< SgNode *, std::string > p_globalQualifiedNameMapForTypes
 
static std::map< SgNode *, std::string > p_globalQualifiedNameMapForTemplateHeaders
 
static std::map< SgNode *, std::string > p_globalTypeNameMap
 
static std::map< SgNode *, std::map< SgNode *, std::string > > p_globalQualifiedNameMapForMapsOfTypes
 

Constructor & Destructor Documentation

virtual SgAsmMipsInstruction::~SgAsmMipsInstruction ( )
virtual

Destructor.

SgAsmMipsInstruction::SgAsmMipsInstruction ( )

Default constructor.

SgAsmMipsInstruction::SgAsmMipsInstruction ( rose_addr_t const &  address,
std::string const &  mnemonic,
Rose::BinaryAnalysis::MipsInstructionKind const &  kind 
)

Constructor.

Member Function Documentation

Rose::BinaryAnalysis::MipsInstructionKind const& SgAsmMipsInstruction::get_kind ( ) const

Property: Instruction kind.

Returns an enum constant describing the MIPS instruction. These enum constants correspond roughly 1:1 with instruction mnemonics. Each architecture has its own set of enum constants. See also, getAnyKind.

void SgAsmMipsInstruction::set_kind ( Rose::BinaryAnalysis::MipsInstructionKind const &  )

Property: Instruction kind.

Returns an enum constant describing the MIPS instruction. These enum constants correspond roughly 1:1 with instruction mnemonics. Each architecture has its own set of enum constants. See also, getAnyKind.

virtual std::string SgAsmMipsInstruction::description ( ) const
overridevirtual

Return a description of this instruction.

Descriptions are useful for generating comments in the disassembly listing to say what each instruction does when the audience is not well versed in that instruction set architecture. The base implementation always returns an empty string.

Reimplemented from SgAsmInstruction.

virtual bool SgAsmMipsInstruction::terminatesBasicBlock ( )
overridevirtual

Determines if this instruction normally terminates a basic block.

The analysis only looks at the individual instruction and therefore is not very sophisticated. For instance, a conditional branch will always terminate a basic block by this method even if its condition is opaque. The base class implementation always aborts; architecture-specific subclasses should override this to do something useful (pure virtual is not possible due to ROSETTA).

Reimplemented from SgAsmInstruction.

virtual bool SgAsmMipsInstruction::isFunctionCallFast ( const std::vector< SgAsmInstruction * > &  ,
rose_addr_t *  target,
rose_addr_t *  ret 
)
overridevirtual

Returns true if the specified basic block looks like a function call.

This instruction object is only used to select the appropriate virtual method; the basic block to be analyzed is the first argument to the function. If the basic block looks like a function call then this method returns true. If (and only if) the target address is known (i.e., the address of the called function) then target is set to this address (otherwise target is unmodified). If the return address is known or can be guessed, then return_va is initialized to the return address, which is normally the fall-through address of the last instruction; otherwise the return_va is unmodified.

The "fast" and "slow" versions differ only in what kind of anlysis they do. The "fast" version typically looks only at instruction patterns while the slow version might incur more expense by looking at instruction semantics.

Reimplemented from SgAsmInstruction.

virtual bool SgAsmMipsInstruction::isFunctionCallSlow ( const std::vector< SgAsmInstruction * > &  ,
rose_addr_t *  target,
rose_addr_t *  ret 
)
overridevirtual

Returns true if the specified basic block looks like a function call.

This instruction object is only used to select the appropriate virtual method; the basic block to be analyzed is the first argument to the function. If the basic block looks like a function call then this method returns true. If (and only if) the target address is known (i.e., the address of the called function) then target is set to this address (otherwise target is unmodified). If the return address is known or can be guessed, then return_va is initialized to the return address, which is normally the fall-through address of the last instruction; otherwise the return_va is unmodified.

The "fast" and "slow" versions differ only in what kind of anlysis they do. The "fast" version typically looks only at instruction patterns while the slow version might incur more expense by looking at instruction semantics.

Reimplemented from SgAsmInstruction.

virtual bool SgAsmMipsInstruction::isFunctionReturnFast ( const std::vector< SgAsmInstruction * > &  )
overridevirtual

Returns true if the specified basic block looks like a function return.

This instruction object is only used to select the appropriate virtual method; the basic block to be analyzed is the first argument to the function.

The "fast" and "slow" versions differ only in what kind of anlysis they do. The "fast" version typically looks only at instruction patterns while the slow version might incur more expense by looking at instruction semantics.

Reimplemented from SgAsmInstruction.

virtual bool SgAsmMipsInstruction::isFunctionReturnSlow ( const std::vector< SgAsmInstruction * > &  )
overridevirtual

Returns true if the specified basic block looks like a function return.

This instruction object is only used to select the appropriate virtual method; the basic block to be analyzed is the first argument to the function.

The "fast" and "slow" versions differ only in what kind of anlysis they do. The "fast" version typically looks only at instruction patterns while the slow version might incur more expense by looking at instruction semantics.

Reimplemented from SgAsmInstruction.

virtual Rose::BinaryAnalysis::AddressSet SgAsmMipsInstruction::getSuccessors ( bool &  complete)
overridevirtual

Control flow successors for a single instruction.

The return value does not consider neighboring instructions, and therefore is quite naive. It returns only the information it can glean from this single instruction. If the returned set of virtual instructions is fully known then the complete argument will be set to true, otherwise false. The base class implementation always aborts()–it must be defined in an architecture-specific subclass (pure virtual is not possible due to ROSETTA).

Reimplemented from SgAsmInstruction.

virtual bool SgAsmMipsInstruction::isUnknown ( ) const
overridevirtual

Returns true if this instruction is the special "unknown" instruction.

Each instruction architecture in ROSE defines an "unknown" instruction to be used when the disassembler is unable to create a real instruction. This can happen, for instance, if the bit pattern does not represent a valid instruction for the architecture.

Reimplemented from SgAsmInstruction.

virtual Sawyer::Optional<rose_addr_t> SgAsmMipsInstruction::branchTarget ( )
overridevirtual

Obtains the virtual address for a branching instruction.

Returns the branch target address if this instruction is a branching instruction and the target is known; otherwise returns nothing.

Reimplemented from SgAsmInstruction.

virtual unsigned SgAsmMipsInstruction::get_anyKind ( ) const
overridevirtual

Returns instruction kind for any architecture.

Instruction kinds are specific to the architecture so it doesn't make sense to compare an instruction kind from x86 with an instruction kind from m68k. However, this virtual function exists so that we don't need to implement switch statements every time we want to compare two instructions from the same architecture. For instance, instead of code like this:

bool areSame(SgAsmInstruction *a, SgAsmInstruction *b) {
if (a->variantT() != b->variantT())
return false;
if (SgAsmM68kInstruction *aa = isSgAsmM68kInstruction(a)) {
SgAsmM68kInstruction *bb = isSgAsmM68kInstruction(b);
return aa->get_kind() == bb->get_kind();
}
if (SgAsmMipsInstruction *aa = isSgAsmMipsInstruction(a)) {
SgAsmMipsInstruction *bb = isSgAsmMipsInstruction(b);
return aa->get_kind() == bb->get_kind();
}
...
... // and many others
...
ASSERT_not_reachable("architecture is not implemented yet");
}

we can write future-proof code:

bool areSame(SgAsmInstruction *a, SgAsmInstruction *b) {
return a->variantT()==b->variantT() && a->get_anyKind()==b->get_anyKind();
}

Reimplemented from SgAsmInstruction.

void SgAsmMipsInstruction::initializeProperties ( )
protected

Initialize all properties that have explicit initial values.

This function is mostly for use in user-defined constructors where the user desires to initialize all the properties but does not know the names of the data members that store the property values. This function initializes the properties that have explicit initializations within this class, but does not recursively initialize base classes.


The documentation for this class was generated from the following file: