|
ROSE
0.9.6a
|
|
ROSE
0.9.6a
|
#include <Cxx_Grammar.h>
Public Types | |
| enum | { static_variant = V_SgAsmx86Instruction } |
| static variant value More... | |
| typedef SgAsmInstruction | base_node_type |
 Public Types inherited from SgAsmInstruction | |
| enum | { static_variant = V_SgAsmInstruction } |
| static variant value More... | |
| typedef SgAsmStatement | base_node_type |
| Public Types inherited from SgAsmStatement | |
| enum | { static_variant = V_SgAsmStatement } |
| static variant value More... | |
| typedef SgAsmNode | base_node_type |
| Public Types inherited from SgAsmNode | |
| enum | { static_variant = V_SgAsmNode } |
| static variant value More... | |
| typedef SgNode | base_node_type |
| Public Types inherited from SgNode | |
| enum | { static_variant = V_SgNode } |
| static variant value More... | |
Public Member Functions | |
| virtual SgNode * | copy (SgCopyHelp &help) const |
| This function clones the current IR node object recursively or not, depending on the argument. More... | |
| virtual bool | terminates_basic_block () |
| Determines if an instruction can terminate a basic block. More... | |
| virtual bool | is_function_call (const std::vector< SgAsmInstruction * > &, rose_addr_t *target, rose_addr_t *ret) |
| Returns true if the specified basic block looks like a function call. More... | |
| virtual bool | is_function_return (const std::vector< SgAsmInstruction * > &) |
True if insns ends with a RET instruction. More... | |
| virtual bool | get_branch_target (rose_addr_t *target) |
| Obtains the virtual address for a branching instruction. More... | |
| virtual bool | has_effect () |
| Determines whether a single instruction has an effect other than advancing the instruction pointer. More... | |
| virtual bool | has_effect (const std::vector< SgAsmInstruction * > &, bool allow_branch=false, bool relax_stack_semantics=false) |
| Determines whether a sequence of instructions has an effect besides advancing the flow of control. More... | |
| virtual std::vector< std::pair < size_t, size_t > > | find_noop_subsequences (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 std::set< rose_addr_t > | get_successors (bool *complete) |
| Return control flow successors. More... | |
| virtual std::set< rose_addr_t > | get_successors (const std::vector< SgAsmInstruction * > &, bool *complete, MemoryMap *initial_memory=NULL) |
| Return control flow successors. More... | |
| virtual bool | is_unknown () const |
| Determines whether this instruction is the special x86 "unknown" instruction. More... | |
| virtual std::string | class_name () const |
| Copies AST (whole subtree, depending on the SgCopyHelp class. 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 More... | |
| void | operator delete (void *pointer, size_t size) |
| deallocated memory for IR node (returns memory to memory pool for reuse) More... | |
| void | operator delete (void *pointer) |
| virtual std::vector< SgNode * > | get_traversalSuccessorContainer () |
| FOR INTERNAL USE within ROSE traverals mechanism only. More... | |
| virtual std::vector< std::string > | get_traversalSuccessorNamesContainer () |
| FOR INTERNAL USE within ROSE traverals mechanism only. More... | |
| virtual size_t | get_numberOfTraversalSuccessors () |
| virtual SgNode * | get_traversalSuccessorByIndex (size_t idx) |
| virtual size_t | get_childIndex (SgNode *child) |
| virtual RTIReturnType | roseRTI () |
| FOR INTERNAL USE Access to Runtime Type Information (RTI) for this IR nodes. More... | |
| virtual const char * | sage_class_name () const ROSE_DEPRECATED_FUNCTION |
| void | executeVisitorMemberFunction (ROSE_VisitorPattern &visitor) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| virtual void | accept (ROSE_VisitorPattern &visitor) |
| DXN (08/09/2010): support for the classic visitor pattern done in GoF. More... | |
| 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... | |
| SgAsmx86Instruction (const SgAsmx86InstructionStorageClass &source) | |
| SgAsmx86Instruction * | addRegExpAttribute (std::string s, AstRegExAttribute *a) |
| Support for AST matching using regular expression. More... | |
| X86InstructionKind | get_kind () const |
| void | set_kind (X86InstructionKind kind) |
| X86InstructionSize | get_baseSize () const |
| void | set_baseSize (X86InstructionSize baseSize) |
| X86InstructionSize | get_operandSize () const |
| void | set_operandSize (X86InstructionSize operandSize) |
| X86InstructionSize | get_addressSize () const |
| void | set_addressSize (X86InstructionSize addressSize) |
| bool | get_lockPrefix () const |
| void | set_lockPrefix (bool lockPrefix) |
| X86RepeatPrefix | get_repeatPrefix () const |
| void | set_repeatPrefix (X86RepeatPrefix repeatPrefix) |
| X86BranchPrediction | get_branchPrediction () const |
| void | set_branchPrediction (X86BranchPrediction branchPrediction) |
| X86SegmentRegister | get_segmentOverride () const |
| void | set_segmentOverride (X86SegmentRegister segmentOverride) |
| virtual | ~SgAsmx86Instruction () |
| SgAsmx86Instruction (rose_addr_t address=0, std::string mnemonic="", X86InstructionKind kind=x86_unknown_instruction, X86InstructionSize baseSize=x86_insnsize_none, X86InstructionSize operandSize=x86_insnsize_none, X86InstructionSize addressSize=x86_insnsize_none) | |
| Public Member Functions inherited from SgAsmInstruction | |
| SgAsmInstruction * | cfgBinFlowOutEdge (const VirtualBinCFG::AuxiliaryInformation *info) |
| std::vector < VirtualBinCFG::CFGEdge > | cfgBinOutEdges (const VirtualBinCFG::AuxiliaryInformation *info) |
| std::vector < VirtualBinCFG::CFGEdge > | cfgBinInEdges (const VirtualBinCFG::AuxiliaryInformation *info) |
| void | append_sources (SgAsmInstruction *instruction) |
| bool | is_first_in_block () |
| Returns true if this instruction is the first instruction in a basic block. More... | |
| bool | is_last_in_block () |
| Returns true if this instruction is the last instruction in a basic block. More... | |
| virtual size_t | get_size () const |
| Returns the size of an instruction in bytes. More... | |
| void * | operator new (size_t size) |
| returns pointer to newly allocated IR node More... | |
| void | operator delete (void *pointer, size_t size) |
| deallocated memory for IR node (returns memory to memory pool for reuse) More... | |
| void | operator delete (void *pointer) |
| void | executeVisitorMemberFunction (ROSE_VisitorPattern &visitor) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| SgAsmInstruction (const SgAsmInstructionStorageClass &source) | |
| SgAsmInstruction * | addRegExpAttribute (std::string s, AstRegExAttribute *a) |
| Support for AST matching using regular expression. More... | |
| std::string | get_mnemonic () const |
| void | set_mnemonic (std::string mnemonic) |
| SgUnsignedCharList | get_raw_bytes () const |
| void | set_raw_bytes (SgUnsignedCharList raw_bytes) |
| SgAsmOperandList * | get_operandList () const |
| void | set_operandList (SgAsmOperandList *operandList) |
| SgAsmStatementPtrList | get_sources () const |
| void | set_sources (SgAsmStatementPtrList sources) |
| virtual | ~SgAsmInstruction () |
| SgAsmInstruction (rose_addr_t address=0, std::string mnemonic="") | |
| Public Member Functions inherited from SgAsmStatement | |
| void * | operator new (size_t size) |
| returns pointer to newly allocated IR node More... | |
| void | operator delete (void *pointer, size_t size) |
| deallocated memory for IR node (returns memory to memory pool for reuse) More... | |
| void | operator delete (void *pointer) |
| void | executeVisitorMemberFunction (ROSE_VisitorPattern &visitor) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| SgAsmStatement (const SgAsmStatementStorageClass &source) | |
| SgAsmStatement * | addRegExpAttribute (std::string s, AstRegExAttribute *a) |
| Support for AST matching using regular expression. More... | |
| rose_addr_t | get_address () const |
| void | set_address (rose_addr_t address) |
| std::string | get_comment () const |
| void | set_comment (std::string comment) |
| virtual | ~SgAsmStatement () |
| SgAsmStatement (rose_addr_t address=0) | |
| Public Member Functions inherited from SgAsmNode | |
| SgAsmNode (const SgAsmNode &X) | |
| virtual void | addNewAttribute (std::string s, AstAttribute *a) |
| Add a new attribute represented by the named string. More... | |
| virtual AstAttribute * | getAttribute (std::string s) const |
| Returns attribute of name 's'. More... | |
| virtual void | updateAttribute (std::string s, AstAttribute *a) |
| Replace existing attribute of name 's' with new AstAttribute. More... | |
| 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. More... | |
| virtual void | removeAttribute (std::string s) |
| Remove attribute of name 's' if present. More... | |
| virtual bool | attributeExists (std::string s) const |
| Tests if attribute of name 's' is present. More... | |
| virtual int | numberOfAttributes () const |
| Returns the number of attributes on this IR node. More... | |
| void * | operator new (size_t size) |
| returns pointer to newly allocated IR node More... | |
| void | operator delete (void *pointer, size_t size) |
| deallocated memory for IR node (returns memory to memory pool for reuse) More... | |
| void | operator delete (void *pointer) |
| void | executeVisitorMemberFunction (ROSE_VisitorPattern &visitor) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| SgAsmNode (const SgAsmNodeStorageClass &source) | |
| SgAsmNode * | addRegExpAttribute (std::string s, AstRegExAttribute *a) |
| Support for AST matching using regular expression. More... | |
| AttachedPreprocessingInfoType * | get_attachedPreprocessingInfoPtr () const |
| void | set_attachedPreprocessingInfoPtr (AttachedPreprocessingInfoType *attachedPreprocessingInfoPtr) |
| AstAttributeMechanism * | get_asmAttributeMechanism () const |
| void | set_asmAttributeMechanism (AstAttributeMechanism *asmAttributeMechanism) |
| AstAttributeMechanism * | get_attributeMechanism () const |
| FOR INTERNAL USE Access function; if an attribute exists then a pointer to it is returned, else error. More... | |
| void | set_attributeMechanism (AstAttributeMechanism *attributeMechanism) |
| FOR INTERNAL USE Access function; sets poiner to value AstAttributeMechanism. More... | |
| virtual | ~SgAsmNode () |
| SgAsmNode () | |
| Public Member Functions inherited from SgNode | |
| void * | operator new (size_t size) |
| returns pointer to newly allocated IR node More... | |
| void | operator delete (void *pointer, size_t size) |
| deallocated memory for IR node (returns memory to memory pool for reuse) More... | |
| void | operator delete (void *pointer) |
| void | executeVisitorMemberFunction (ROSE_VisitorPattern &visitor) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| SgNode (const SgNodeStorageClass &source) | |
| SgNode * | addRegExpAttribute (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... | |
| bool | get_isModified () const |
| Acess function for isModified flag This flag records if the current IR node has been modified. It is set to false after and ROSE front-end processing. More... | |
| void | set_parent (SgNode *parent) |
| All nodes in the AST contain a reference to a parent node. More... | |
| SgNode * | get_parent () const |
| Access function for parent node. More... | |
| bool | isChild (SgNode *node) const |
| Query function for if the input IR nodes is a child of the current IR node. More... | |
| virtual std::string | unparseToString (SgUnparse_Info *info) const |
| This function unparses the AST node (excluding comments and unnecessary white space) More... | |
| 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 | fixupCopy (SgNode *copy, SgCopyHelp &help) const |
| virtual Sg_File_Info * | get_file_info (void) const |
| File information containing filename, line number, column number, and if the SgNode is a part of a new transformation, etc. More... | |
| virtual Sg_File_Info * | get_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). More... | |
| virtual Sg_File_Info * | get_endOfConstruct (void) const |
| New function interface for Sg_File_Info data stores ending location of contruct (typically the closing brace). More... | |
| VirtualCFG::CFGNode | cfgForBeginning () |
| Returns the CFG node for just before this AST node. More... | |
| VirtualCFG::CFGNode | cfgForEnd () |
| Returns the CFG node for just after this AST node. More... | |
| virtual unsigned int | cfgIndexForEnd () const |
| Determine the CFG index for the end of this construct. More... | |
| virtual bool | cfgIsIndexInteresting (unsigned int index) const |
| Determine whether a particular CFG node index is "interesting" for this kind of node. More... | |
| virtual unsigned int | cfgFindChildIndex (SgNode *n) |
| Find the index of n in this node's CFG children. More... | |
| virtual unsigned int | cfgFindNextChildIndex (SgNode *n) |
| Find the index just after n in this node's CFG children. More... | |
| virtual std::vector < VirtualCFG::CFGEdge > | cfgOutEdges (unsigned int index=false) |
| Find the out edges of a CFG node – internal version. More... | |
| virtual std::vector < VirtualCFG::CFGEdge > | cfgInEdges (unsigned int index=false) |
| Find the in edges of a CFG node – internal version. More... | |
| 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... | |
| SgNode * | get_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... | |
Static Public Member Functions | |
| static size_t | numberOfNodes () |
| Returns the total number of IR nodes of this type. More... | |
| static size_t | memoryUsage () |
| Returns the size in bytes of the total memory allocated for all IR nodes of this type. More... | |
| static void | traverseMemoryPoolNodes (ROSE_VisitTraversal &visit) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| static void | traverseMemoryPoolVisitorPattern (ROSE_VisitorPattern &visitor) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| static void | visitRepresentativeNode (ROSE_VisitTraversal &visit) |
| FOR INTERNAL USE Support for type-based traversal. More... | |
| Static Public Member Functions inherited from SgAsmInstruction | |
| static size_t | numberOfNodes () |
| Returns the total number of IR nodes of this type. More... | |
| static size_t | memoryUsage () |
| Returns the size in bytes of the total memory allocated for all IR nodes of this type. More... | |
| static void | traverseMemoryPoolNodes (ROSE_VisitTraversal &visit) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| static void | traverseMemoryPoolVisitorPattern (ROSE_VisitorPattern &visitor) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| static void | visitRepresentativeNode (ROSE_VisitTraversal &visit) |
| FOR INTERNAL USE Support for type-based traversal. More... | |
| Static Public Member Functions inherited from SgAsmStatement | |
| static size_t | numberOfNodes () |
| Returns the total number of IR nodes of this type. More... | |
| static size_t | memoryUsage () |
| Returns the size in bytes of the total memory allocated for all IR nodes of this type. More... | |
| static void | traverseMemoryPoolNodes (ROSE_VisitTraversal &visit) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| static void | traverseMemoryPoolVisitorPattern (ROSE_VisitorPattern &visitor) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| static void | visitRepresentativeNode (ROSE_VisitTraversal &visit) |
| FOR INTERNAL USE Support for type-based traversal. More... | |
| Static Public Member Functions inherited from SgAsmNode | |
| static size_t | numberOfNodes () |
| Returns the total number of IR nodes of this type. More... | |
| static size_t | memoryUsage () |
| Returns the size in bytes of the total memory allocated for all IR nodes of this type. More... | |
| static void | traverseMemoryPoolNodes (ROSE_VisitTraversal &visit) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| static void | traverseMemoryPoolVisitorPattern (ROSE_VisitorPattern &visitor) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| static void | visitRepresentativeNode (ROSE_VisitTraversal &visit) |
| FOR INTERNAL USE Support for type-based traversal. More... | |
| Static Public Member Functions inherited from SgNode | |
| static size_t | numberOfNodes () |
| Returns the total number of IR nodes of this type. More... | |
| static size_t | memoryUsage () |
| Returns the size in bytes of the total memory allocated for all IR nodes of this type. More... | |
| static void | traverseMemoryPoolNodes (ROSE_VisitTraversal &visit) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| static void | traverseMemoryPoolVisitorPattern (ROSE_VisitorPattern &visitor) |
| FOR INTERNAL USE Support for visitor pattern. More... | |
| static void | visitRepresentativeNode (ROSE_VisitTraversal &visit) |
| FOR INTERNAL USE Support for type-based traversal. More... | |
| 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. More... | |
| 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::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 SgFunctionTypeTable * | get_globalFunctionTypeTable () |
| Access function for symbol table specific to function types. More... | |
| static void | set_globalFunctionTypeTable (SgFunctionTypeTable *globalFunctionTypeTable) |
| Access function for symbol table specific to function types. More... | |
| static SgTypeTable * | get_globalTypeTable () |
| Access function for symbol table specific to non-function types. More... | |
| static void | set_globalTypeTable (SgTypeTable *globalTypeTable) |
| Access function for symbol table specific to non-function types. More... | |
Additional Inherited Members | |
| 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. More... | |
| Static Protected Attributes inherited from SgNode | |
| static SgFunctionTypeTable * | p_globalFunctionTypeTable |
| Pointer to symbol table specific to function types. More... | |
| static SgTypeTable * | p_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. More... | |
| 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. More... | |
| static std::map< SgNode *, std::string > | p_globalQualifiedNameMapForNames |
| static std::map< SgNode *, std::string > | p_globalQualifiedNameMapForTypes |
| static std::map< SgNode *, std::string > | p_globalTypeNameMap |
Definition at line 255579 of file Cxx_Grammar.h.
Definition at line 255945 of file Cxx_Grammar.h.
| anonymous enum |
| SgAsmx86Instruction::SgAsmx86Instruction | ( | const SgAsmx86InstructionStorageClass & | source) |
|
virtual |
| SgAsmx86Instruction::SgAsmx86Instruction | ( | rose_addr_t | address = 0, |
| std::string | mnemonic = "", |
||
| X86InstructionKind | kind = x86_unknown_instruction, |
||
| X86InstructionSize | baseSize = x86_insnsize_none, |
||
| X86InstructionSize | operandSize = x86_insnsize_none, |
||
| X86InstructionSize | addressSize = x86_insnsize_none |
||
| ) |
|
virtual |
This function clones the current IR node object recursively or not, depending on the argument.
This function performs a copy based on the specification of the input parameter. The input parameter is used to determin which data members are copied by reference and which are copied by value.
| help | - If this argument is of type SgTreeCopy, then the IR node is cloned recursively. If its of type SgShallowCopy only the first level of the IR node is copied, everything else is left pointing to the the original IR node's object's data members. |
It appears the the copy functions don't set the parents of anything that they do a deep copy of! This can cause AST tests to fail. In particular some functions that require the parent pointers to be valid will return NULL pointers (e.g. SgInitializedName::get_declaration()). It might be that we should allow this to be done as part of the SgCopyHelp::clone function or perhaps another member function of SgCopyHelp would be useful for this support. It is not serious if the AST post processing is done since that will set any NULL pointers that are found within its traversal.
| none | No exceptions are thrown by this function. |
Reimplemented from SgAsmInstruction.
|
virtual |
Determines if an instruction can terminate 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 constant. 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.
Definition at line 14 of file SgAsmX86Instruction.C.
References get_kind(), and x86_unknown_instruction.
|
virtual |
Returns true if the specified basic block looks like a function call.
This instruction object is only used to select the appropriate virtual is_function_call(); the basic block to be analyzed is the first argument to the function. If the basic block looks like a function call then is_function_call() 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.
Reimplemented from SgAsmInstruction.
Definition at line 22 of file SgAsmX86Instruction.C.
References RegisterDictionary::dictionary_for_isa(), RegisterDictionary::dictionary_pentium4(), SgAsmStatement::get_address(), get_branch_target(), SgAsmFunction::get_entry_va(), SgAsmInterpretation::get_instruction_map(), get_kind(), SgAsmInstruction::get_size(), isSgAsmx86Instruction, x86_call, and x86_farcall.
|
virtual |
True if insns ends with a RET instruction.
Eventually this could do something more sophisticated.
Reimplemented from SgAsmInstruction.
Definition at line 138 of file SgAsmX86Instruction.C.
References get_kind(), isSgAsmx86Instruction, x86_ret, and x86_retf.
|
virtual |
Obtains the virtual address for a branching instruction.
Returns true if this instruction is a branching instruction and the target address is known; otherwise, returns false and target is not modified.
Reimplemented from SgAsmInstruction.
Definition at line 244 of file SgAsmX86Instruction.C.
References SgAsmIntegerValueExpression::get_absolute_value(), get_kind(), SgAsmInstruction::get_operandList(), SgAsmOperandList::get_operands(), isSgAsmIntegerValueExpression(), x86_call, x86_farcall, x86_ja, x86_jae, x86_jb, x86_jbe, x86_jcxz, x86_je, x86_jecxz, x86_jg, x86_jge, x86_jl, x86_jle, x86_jmp, x86_jne, x86_jno, x86_jns, x86_jo, x86_jpe, x86_jpo, x86_jrcxz, x86_js, x86_loop, x86_loopnz, and x86_loopz.
Referenced by VirtualBinCFG::AuxiliaryInformation::AuxiliaryInformation(), get_successors(), and is_function_call().
|
virtual |
Determines whether a single instruction has an effect other than advancing the instruction pointer.
Instructions that have no effect are called "no-ops". The NOP instruction is an example of a no-op, but there are others also. The following information is largely from Cory Cohen at CERT. In the discussion that follows, we are careful to distinguish between NOP (the mneumonic for instructions 90, and 0f1f) and "no-op" (any instruction whose only effect is to advance the instruction pointer).
Reimplemented from SgAsmInstruction.
Definition at line 503 of file SgAsmX86Instruction.C.
|
virtual |
Determines whether a sequence of instructions has an effect besides advancing the flow of control.
The specified list of instructions should be (part of) a basic block and the instructions are given in the order they would be executed. This function does not check that the instructions are actualy executed sequentially as specified, it just evaluates the machine state as if they had been executed sequentially. This can be useful when a basic block was built from control-flow information that is not available to this function.
An empty sequence of instructions has no effect (i.e., return value is false).
If the final instruction of the sequence results in an undetermined instruction pointer then the sequence is considered to have an effect (this situation usually results from a conditional jump). If the final instruction results in a known value for the instruction pointer, and the known value is the fall-through address then the final instruction is considered to have no effect. If the final instruction results in a known instruction pointer that is not the fall-through address then the final instruction has an effect only if allow_branch is false.
If relax_stack_semantics is true then each time the stack pointer is increased the memory locations below the new stack value are discarded. Typically, well behaved programs do not read stack data that is below the stack pointer.
"this" is only used to select the virtual function; the operation is performed on the specified instruction vector.
Reimplemented from SgAsmInstruction.
Definition at line 532 of file SgAsmX86Instruction.C.
References isSgAsmx86Instruction.
|
virtual |
Determines what subsequences of an instruction sequence have no cumulative effect.
The return value is a vector of pairs where each pair is the starting index and length of subsequence. The algorithm we use is to compute the machine state after each instruction and then look for pairs of states that are identical except for the instruction pointer. Like the vector version of has_effect(), the control-flow from the final instruction is treated specially depending on the allow_branch value, which defaults to false.
It is more efficient to call this function to find sequences than to call the vector version of has_effect() with various vectors. First, one doesn't have to construct all the different subsequences; second, the semantic analysis is performed only one time.
"this" is only used to select the virtual function; the operation is performed over the specified instruction vector.
Reimplemented from SgAsmInstruction.
Definition at line 582 of file SgAsmX86Instruction.C.
References isSgAsmx86Instruction.
|
virtual |
Return control flow successors.
See base class for full documentation.
Reimplemented from SgAsmInstruction.
Definition at line 158 of file SgAsmX86Instruction.C.
References SgAsmStatement::get_address(), get_branch_target(), get_kind(), SgAsmInstruction::get_size(), x86_call, x86_farcall, x86_farjmp, x86_hlt, x86_int1, x86_int3, x86_into, x86_iret, x86_ja, x86_jae, x86_jb, x86_jbe, x86_jcxz, x86_je, x86_jecxz, x86_jg, x86_jge, x86_jl, x86_jle, x86_jmp, x86_jne, x86_jno, x86_jns, x86_jo, x86_jpe, x86_jpo, x86_jrcxz, x86_js, x86_loop, x86_loopnz, x86_loopz, x86_ret, x86_retf, x86_rsm, x86_ud2, and x86_unknown_instruction.
Referenced by DisassemblerX86::disassembleOne().
|
virtual |
Return control flow successors.
See base class for full documentation.
Reimplemented from SgAsmInstruction.
Definition at line 289 of file SgAsmX86Instruction.C.
References StringUtility::addrToString(), SgAsmInstruction::get_successors(), and isSgAsmx86Instruction.
|
virtual |
Determines whether this instruction is the special x86 "unknown" instruction.
Reimplemented from SgAsmInstruction.
Definition at line 151 of file SgAsmX86Instruction.C.
References get_kind(), and x86_unknown_instruction.
|
virtual |
Copies AST (whole subtree, depending on the SgCopyHelp class.
returns a string representing the class name
Reimplemented from SgAsmInstruction.
|
virtual |
returns new style SageIII enum values
Reimplemented from SgAsmInstruction.
| void* SgAsmx86Instruction::operator new | ( | size_t | size) |
returns pointer to newly allocated IR node
| void SgAsmx86Instruction::operator delete | ( | void * | pointer, |
| size_t | size | ||
| ) |
deallocated memory for IR node (returns memory to memory pool for reuse)
| void SgAsmx86Instruction::operator delete | ( | void * | pointer) |
|
static |
Returns the total number of IR nodes of this type.
|
static |
Returns the size in bytes of the total memory allocated for all IR nodes of this type.
|
virtual |
FOR INTERNAL USE within ROSE traverals mechanism only.
This function builds and returns a copy of ordered container holding pointers to children of this node in a traversal. It is associated with the definition of a tree that is travered by the AST traversal mechanism; a tree that is embeded in the AST (which is a more general graph). This function is used within the implementation of the AST traversal and has a semantics may change in subtle ways that makes it difficult to use in user code. It can return unexpected data members and thus the order and the number of elements is unpredicable and subject to change.
Reimplemented from SgAsmInstruction.
|
virtual |
FOR INTERNAL USE within ROSE traverals mechanism only.
This function builds and returns a copy of ordered container holding strings used to name data members that are traversed in the IR node. It is associated with the definition of a tree that is travered by the AST traversal mechanism; a tree that is embeded in the AST (which is a more general graph). This function is used within the implementation of the AST traversal and has a semantics may change in subtle ways that makes it difficult to use in user code. It can return unexpected data members and thus the order and the number of elements is unpredicable and subject to change.
Each string is a name of a member variable holding a pointer to a child in the AST. The names are the same as used in the generated enums for accessing attributes in a traversal. The order is the same in which they are traversed and the same in which the access enums are defined. Therefore this method can be used to get the corresponding name (string) of an access enum which allows to produce more meaningful messages for attribute computations.
Reimplemented from SgAsmInstruction.
|
virtual |
Reimplemented from SgAsmInstruction.
|
virtual |
Reimplemented from SgAsmInstruction.
|
virtual |
Reimplemented from SgAsmInstruction.
|
virtual |
FOR INTERNAL USE Access to Runtime Type Information (RTI) for this IR nodes.
This function provides runtime type information for accessing the
structure of the current node. It is useful for generating code which would dump out or rebuild IR nodes.
Reimplemented from SgAsmInstruction.
|
virtual |
returns a C style string (char*) representing the class name
Reimplemented from SgAsmInstruction.
| void SgAsmx86Instruction::executeVisitorMemberFunction | ( | ROSE_VisitorPattern & | visitor) |
FOR INTERNAL USE Support for visitor pattern.
|
virtual |
DXN (08/09/2010): support for the classic visitor pattern done in GoF.
Reimplemented from SgAsmInstruction.
|
static |
FOR INTERNAL USE Support for visitor pattern.
|
static |
FOR INTERNAL USE Support for visitor pattern.
|
static |
FOR INTERNAL USE Support for type-based traversal.
|
virtual |
FOR INTERNAL USE This is used in internal tests to verify that all IR nodes are allocated from the heap.
The AST File I/O depends upon the allocation of IR nodes being from the heap, stack based or global IR nodes should not appear in the AST if it will be written out to a file and read back in. To enforce this concept, this function implements a test to verify that the IR node can be found on the heap and is part of a larger test of the whole AST. This test must pass before the AST can be written out to a file. This is part of a compromise in the design of the AST File I/O to support binary streaming of data to files; for performance. It is also rather difficult, but possible, to build a useful AST with IR nodes allocated on the stack or frm global scope, this test filters out such cased from being used with the AST File I/O mechanism.
Reimplemented from SgAsmInstruction.
|
virtual |
FOR INTERNAL USE This is used in internal tests to verify that all IR nodes are allocated from the heap.
The AST File I/O depends upon the allocation of IR nodes being from the heap, stack based or global IR nodes should not appear in the AST if it will be written out to a file and read back in. To enforce this concept, this function implements a test to verify that the IR node can be found on the heap and is part of a larger test of the whole AST. This test must pass before the AST can be written out to a file. This is part of a compromise in the design of the AST File I/O to support binary streaming of data to files; for performance. It is also rather difficult, but possible, to build a useful AST with IR nodes allocated on the stack or frm global scope, this test filters out such cased from being used with the AST File I/O mechanism.
Reimplemented from SgAsmInstruction.
|
virtual |
FOR INTERNAL USE Returns STL vector of pairs of SgNode* and strings for use in AST tools
This functions is part of general support for many possible tools to operate on the AST. The forms a list of ALL IR node pointers used by each IR node, and is a supperset of the get_traversalSuccessorContainer(). It is (I think) less than the set of pointers used by the AST file I/O. This is part of work implemented by Andreas, and support tools such as the AST graph generation.
Reimplemented from SgAsmInstruction.
|
virtual |
FOR INTERNAL USE Processes pairs of references to SgNode* and strings for use in AST tools
This functions similar to returnDataMemberPointers() except that it passes references to a handler object. As a result there is FAR more damage that can be done by using this function, but it is type-safe. This is provided for support of internal tools that operate on the AST, e.g the AST Merge mechanism.
Reimplemented from SgAsmInstruction.
|
virtual |
FOR INTERNAL USE Returns a unique index value for the childNode in the list of children at this IR node.
This function returns a unique value for the input childNode in set of children at this IR node. Note that a negative value indicates that the input node is not a child. This is the basis for the implementation of the isChild(SgNode*) member function. Data members that are NULL in the IR node are counted internally (so that this function returns value that could be statically defined, and so are not dynamically determined).
Reimplemented from SgAsmInstruction.
| SgAsmx86Instruction* SgAsmx86Instruction::addRegExpAttribute | ( | std::string | s, |
| AstRegExAttribute * | a | ||
| ) |
Support for AST matching using regular expression.
This support is incomplete and the subject of current research to define RegEx trees to support inexact matching.
| X86InstructionKind SgAsmx86Instruction::get_kind | ( | ) | const |
Referenced by VirtualBinCFG::AuxiliaryInformation::AuxiliaryInformation(), Partitioner::detach_thunk(), Partitioner::detectBasicBlocks(), get_branch_target(), get_successors(), is_function_call(), is_function_return(), Partitioner::is_pe_dynlink_thunk(), Partitioner::is_thunk(), is_unknown(), Partitioner::name_import_entries(), Partitioner::FindInsnPadding::operator()(), Partitioner::FindThunks::operator()(), Partitioner::FindThunkTables::operator()(), Partitioner::pattern1(), Partitioner::pops_return_address(), and terminates_basic_block().
| void SgAsmx86Instruction::set_kind | ( | X86InstructionKind | kind) |
| X86InstructionSize SgAsmx86Instruction::get_baseSize | ( | ) | const |
Referenced by DisassemblerX86::startInstruction().
| void SgAsmx86Instruction::set_baseSize | ( | X86InstructionSize | baseSize) |
| X86InstructionSize SgAsmx86Instruction::get_operandSize | ( | ) | const |
| void SgAsmx86Instruction::set_operandSize | ( | X86InstructionSize | operandSize) |
| X86InstructionSize SgAsmx86Instruction::get_addressSize | ( | ) | const |
| void SgAsmx86Instruction::set_addressSize | ( | X86InstructionSize | addressSize) |
| bool SgAsmx86Instruction::get_lockPrefix | ( | ) | const |
Referenced by DisassemblerX86::startInstruction().
| void SgAsmx86Instruction::set_lockPrefix | ( | bool | lockPrefix) |
Referenced by DisassemblerX86::makeInstruction().
| X86RepeatPrefix SgAsmx86Instruction::get_repeatPrefix | ( | ) | const |
| void SgAsmx86Instruction::set_repeatPrefix | ( | X86RepeatPrefix | repeatPrefix) |
Referenced by DisassemblerX86::makeInstruction().
| X86BranchPrediction SgAsmx86Instruction::get_branchPrediction | ( | ) | const |
Referenced by DisassemblerX86::startInstruction().
| void SgAsmx86Instruction::set_branchPrediction | ( | X86BranchPrediction | branchPrediction) |
Referenced by DisassemblerX86::makeInstruction().
| X86SegmentRegister SgAsmx86Instruction::get_segmentOverride | ( | ) | const |
Referenced by DisassemblerX86::startInstruction().
| void SgAsmx86Instruction::set_segmentOverride | ( | X86SegmentRegister | segmentOverride) |
Referenced by DisassemblerX86::makeInstruction().
|
friend |
Definition at line 255904 of file Cxx_Grammar.h.
|
friend |
Definition at line 255905 of file Cxx_Grammar.h.
|
friend |
Definition at line 255906 of file Cxx_Grammar.h.
|
friend |
Definition at line 255907 of file Cxx_Grammar.h.
|
friend |
Casts pointer from base class to derived class.
Referenced by find_noop_subsequences(), get_successors(), has_effect(), is_function_call(), and is_function_return().
|
friend |
Casts pointer from base class to derived class (for const pointers)
|
friend |
Constructor for use by AST File I/O Mechanism.
This constructor permits the IR node to be rebuilt from the contiguously arranged data in memory which obtained via fast binary file I/O from disk.
Typedef used for low level memory access.
Typedef used to hold memory addresses as values.
Methods to find the pointer to a global and local index
|
friend |
Get the size of the memory pool.
It actually returns the size of the whole blocks allocated, no matter they contain valid pointers or not.
|
friend |
|
friend |
|
friend |
|
friend |
|
protected |
Definition at line 255992 of file Cxx_Grammar.h.
|
protected |
Definition at line 255996 of file Cxx_Grammar.h.
|
protected |
Definition at line 256000 of file Cxx_Grammar.h.
|
protected |
Definition at line 256004 of file Cxx_Grammar.h.
|
protected |
Definition at line 256008 of file Cxx_Grammar.h.
|
protected |
Definition at line 256012 of file Cxx_Grammar.h.
|
protected |
Definition at line 256016 of file Cxx_Grammar.h.
|
protected |
Definition at line 256020 of file Cxx_Grammar.h.
1.8.4 
