C-Breeze
C Compiler Infrastructure

[ Project home page]

precisionAnalyzer Class Reference

#include <precision.h>

Inheritance diagram for precisionAnalyzer:

analysisProblem List of all members.

Public Member Functions

 precisionAnalyzer ()
 Create a new precision analyzer object.
virtual string name ()
 Name of the analysis.
virtual void at_field_access (stmtLocation *current, operandNode *operand, pointerValue &operand_value, pointerValue &result)
 At each field access.
virtual void at_dereference (stmtLocation *current, operandNode *operand, pointerValue &operand_value, pointerValue &result)
 At each dereference.
virtual void at_index (stmtLocation *current, operandNode *operand, pointerValue &left, pointerValue &right, pointerValue &result)
 At an array index.
void report (ostream &out)
 Report.
Direction direction () const
 Get the direction.
virtual bool compare_property_value (Location *where, memoryBlock *property_block, procedureInfo *callee)
 Compare current property value against the last input to callee.
virtual void record_input_to_value (procedureInfo *callee, memoryBlock *property_block, stmtLocation *callsite)
 Record the value of a property when it is used as an input_to/external_input value to a call to callee at a call site.
Transfer functions
The rest of these functions are hooks for the pointer analyzer to call at various points in the analysis. They serve as the transfer functions for the dataflow analysis problem.

virtual void at_id (stmtLocation *current, idNode *id, pointerValue &result)
virtual void at_unary (stmtLocation *current, threeAddrNode *r, pointerValue &operand, pointerValue &result)
virtual void at_sizeof (stmtLocation *current, threeAddrNode *r, pointerValue &operand, pointerValue &result)
virtual void at_binary (stmtLocation *current, stmtNode *r, pointerValue &left, pointerValue &right, pointerValue &result)
virtual void at_cast (stmtLocation *current, operandNode *operand, pointerValue &operand_value, pointerValue &result)
virtual void at_const (stmtLocation *current, constNode *cons, pointerValue &result)
virtual void at_call (stmtLocation *current, operandNode *call, pointerValue &call_target, procNode *callee, pointervalue_list &arguments, pointerValue &return_val)
virtual void at_address (stmtLocation *current, operandNode *operand, pointerValue &operand_value, pointerValue &result)
virtual void at_assignment (stmtLocation *current, pointerValue &left, pointerValue &right, pointerValue &result, memoryblock_set &changes)
virtual void at_parameter_pass (Location *current, stmtLocation *parameter_callsite, pointerValue &left, pointerValue &right, memoryblock_set &changes)
virtual void at_self_assignment (Location *source, Location *target, memoryBlock *block, memoryblock_set &changes, bool is_input)
virtual void at_return (Location *current, pointerValue &left, pointerValue &right, memoryblock_set &changes)
virtual void at_threeAddr (stmtLocation *stmt, threeAddrNode *threeaddr, pointerValue &result)
virtual void at_conditiongoto (stmtLocation *stmt, conditiongotoNode *c, pointerValue &left, pointerValue &right, pointerValue &result)
virtual void at_allocation (stmtLocation *stmt, pointervalue_list &arguments, memoryBlock *block, memoryblock_set &changes)
virtual void at_deallocation (stmtLocation *stmt, pointerValue &to_deallocate, memoryblock_set &changes)
virtual void at_merge (Location *where, memoryBlock *block, memoryuse_list &phi_uses, pointerValue &result, memoryblock_set &changes)
virtual void at_basicblock_entry (basicblockLocation *block, procedureInfo *info, pointerValue &initial)
virtual void at_stmt_entry (stmtLocation *stmt, pointerValue &result)
virtual void at_stmt_exit (stmtLocation *stmt, pointerValue &result)
virtual void at_basicblock_exit (basicblockLocation *block, procedureInfo *info, pointerValue &final)
virtual void at_conservative_procedure_call (stmtLocation *current, operandNode *call, operand_list &args, pointerValue &call_target, pointervalue_list &arguments, memoryblock_set &reachable_blocks, pointerValue &return_val, memoryblock_set &changes)
virtual void at_procedure_entry (procLocation *proc, procedureInfo *info, pointerValue &return_val)
virtual void at_procedure_exit (procLocation *proc, procedureInfo *info, pointerValue &return_val)

Protected Attributes

Direction _direction

Private Types

typedef pair< stmtLocation *,
memoryBlock * > 
stmt_pointer_pair
typedef map< stmt_pointer_pair,
memoryblock_set
pointer_targets_map
typedef pointer_targets_map::iterator pointer_targets_map_p

Private Member Functions

void record (stmtLocation *current, pointerValue &operand, pointerValue &result)

Private Attributes

pointer_targets_map _pointer_targets
 Pointer targets.
long int _derefs
 Dereference count.

Member Typedef Documentation

typedef map< stmt_pointer_pair, memoryblock_set > precisionAnalyzer::pointer_targets_map [private]
 

Definition at line 49 of file precision.h.

typedef pointer_targets_map::iterator precisionAnalyzer::pointer_targets_map_p [private]
 

Definition at line 50 of file precision.h.

typedef pair< stmtLocation *, memoryBlock * > precisionAnalyzer::stmt_pointer_pair [private]
 

Definition at line 47 of file precision.h.


Constructor & Destructor Documentation

precisionAnalyzer::precisionAnalyzer  ) 
 

Create a new precision analyzer object.


Member Function Documentation

virtual void analysisProblem::at_address stmtLocation current,
operandNode operand,
pointerValue operand_value,
pointerValue result
[inline, virtual, inherited]
 

Definition at line 151 of file ipanalysis.h.

virtual void analysisProblem::at_allocation stmtLocation stmt,
pointervalue_list arguments,
memoryBlock block,
memoryblock_set changes
[inline, virtual, inherited]
 

Reimplemented in livenessAnalyzer.

Definition at line 208 of file ipanalysis.h.

virtual void analysisProblem::at_assignment stmtLocation current,
pointerValue left,
pointerValue right,
pointerValue result,
memoryblock_set changes
[inline, virtual, inherited]
 

Reimplemented in livenessAnalyzer.

Definition at line 166 of file ipanalysis.h.

virtual void analysisProblem::at_basicblock_entry basicblockLocation block,
procedureInfo info,
pointerValue initial
[inline, virtual, inherited]
 

Reimplemented in livenessAnalyzer.

Definition at line 230 of file ipanalysis.h.

virtual void analysisProblem::at_basicblock_exit basicblockLocation block,
procedureInfo info,
pointerValue final
[inline, virtual, inherited]
 

Definition at line 243 of file ipanalysis.h.

virtual void analysisProblem::at_binary stmtLocation current,
stmtNode r,
pointerValue left,
pointerValue right,
pointerValue result
[inline, virtual, inherited]
 

Definition at line 112 of file ipanalysis.h.

virtual void analysisProblem::at_call stmtLocation current,
operandNode call,
pointerValue call_target,
procNode callee,
pointervalue_list arguments,
pointerValue return_val
[inline, virtual, inherited]
 

Reimplemented in livenessAnalyzer.

Definition at line 130 of file ipanalysis.h.

virtual void analysisProblem::at_cast stmtLocation current,
operandNode operand,
pointerValue operand_value,
pointerValue result
[inline, virtual, inherited]
 

Definition at line 119 of file ipanalysis.h.

virtual void analysisProblem::at_conditiongoto stmtLocation stmt,
conditiongotoNode c,
pointerValue left,
pointerValue right,
pointerValue result
[inline, virtual, inherited]
 

Reimplemented in livenessAnalyzer.

Definition at line 200 of file ipanalysis.h.

virtual void analysisProblem::at_conservative_procedure_call stmtLocation current,
operandNode call,
operand_list args,
pointerValue call_target,
pointervalue_list arguments,
memoryblock_set reachable_blocks,
pointerValue return_val,
memoryblock_set changes
[inline, virtual, inherited]
 

Definition at line 250 of file ipanalysis.h.

virtual void analysisProblem::at_const stmtLocation current,
constNode cons,
pointerValue result
[inline, virtual, inherited]
 

Definition at line 124 of file ipanalysis.h.

virtual void analysisProblem::at_deallocation stmtLocation stmt,
pointerValue to_deallocate,
memoryblock_set changes
[inline, virtual, inherited]
 

Reimplemented in livenessAnalyzer.

Definition at line 214 of file ipanalysis.h.

virtual void precisionAnalyzer::at_dereference stmtLocation current,
operandNode operand,
pointerValue operand_value,
pointerValue result
[virtual]
 

At each dereference.

Count the number of targets and store it in the deref map.

Reimplemented from analysisProblem.

virtual void precisionAnalyzer::at_field_access stmtLocation current,
operandNode operand,
pointerValue operand_value,
pointerValue result
[virtual]
 

At each field access.

Count the number of targets if this is an -> operator.

Reimplemented from analysisProblem.

virtual void analysisProblem::at_id stmtLocation current,
idNode id,
pointerValue result
[inline, virtual, inherited]
 

Definition at line 96 of file ipanalysis.h.

virtual void precisionAnalyzer::at_index stmtLocation current,
operandNode operand,
pointerValue left,
pointerValue right,
pointerValue result
[virtual]
 

At an array index.

Array index is a dereference.

Reimplemented from analysisProblem.

virtual void analysisProblem::at_merge Location where,
memoryBlock block,
memoryuse_list phi_uses,
pointerValue result,
memoryblock_set changes
[inline, virtual, inherited]
 

Reimplemented in livenessAnalyzer.

Definition at line 221 of file ipanalysis.h.

virtual void analysisProblem::at_parameter_pass Location current,
stmtLocation parameter_callsite,
pointerValue left,
pointerValue right,
memoryblock_set changes
[inline, virtual, inherited]
 

Definition at line 173 of file ipanalysis.h.

virtual void analysisProblem::at_procedure_entry procLocation proc,
procedureInfo info,
pointerValue return_val
[inline, virtual, inherited]
 

Reimplemented in livenessAnalyzer.

Definition at line 260 of file ipanalysis.h.

virtual void analysisProblem::at_procedure_exit procLocation proc,
procedureInfo info,
pointerValue return_val
[inline, virtual, inherited]
 

Reimplemented in livenessAnalyzer.

Definition at line 265 of file ipanalysis.h.

virtual void analysisProblem::at_return Location current,
pointerValue left,
pointerValue right,
memoryblock_set changes
[inline, virtual, inherited]
 

Definition at line 189 of file ipanalysis.h.

virtual void analysisProblem::at_self_assignment Location source,
Location target,
memoryBlock block,
memoryblock_set changes,
bool  is_input
[inline, virtual, inherited]
 

Definition at line 180 of file ipanalysis.h.

virtual void analysisProblem::at_sizeof stmtLocation current,
threeAddrNode r,
pointerValue operand,
pointerValue result
[inline, virtual, inherited]
 

Definition at line 106 of file ipanalysis.h.

virtual void analysisProblem::at_stmt_entry stmtLocation stmt,
pointerValue result
[inline, virtual, inherited]
 

Definition at line 235 of file ipanalysis.h.

virtual void analysisProblem::at_stmt_exit stmtLocation stmt,
pointerValue result
[inline, virtual, inherited]
 

Reimplemented in livenessAnalyzer.

Definition at line 239 of file ipanalysis.h.

virtual void analysisProblem::at_threeAddr stmtLocation stmt,
threeAddrNode threeaddr,
pointerValue result
[inline, virtual, inherited]
 

Reimplemented in livenessAnalyzer.

Definition at line 196 of file ipanalysis.h.

virtual void analysisProblem::at_unary stmtLocation current,
threeAddrNode r,
pointerValue operand,
pointerValue result
[inline, virtual, inherited]
 

Definition at line 100 of file ipanalysis.h.

virtual bool analysisProblem::compare_property_value Location where,
memoryBlock property_block,
procedureInfo callee
[inline, virtual, inherited]
 

Compare current property value against the last input to callee.

Returns true if equal.

Definition at line 275 of file ipanalysis.h.

Direction analysisProblem::direction  )  const [inline, inherited]
 

Get the direction.

Definition at line 78 of file ipanalysis.h.

References analysisProblem::_direction.

virtual string precisionAnalyzer::name  )  [inline, virtual]
 

Name of the analysis.

Just for debug purposes.

Implements analysisProblem.

Definition at line 74 of file precision.h.

void precisionAnalyzer::record stmtLocation current,
pointerValue operand,
pointerValue result
[private]
 

virtual void analysisProblem::record_input_to_value procedureInfo callee,
memoryBlock property_block,
stmtLocation callsite
[inline, virtual, inherited]
 

Record the value of a property when it is used as an input_to/external_input value to a call to callee at a call site.

Definition at line 282 of file ipanalysis.h.

void precisionAnalyzer::report ostream &  out  ) 
 

Report.

Print the results of the precision analysis.


Member Data Documentation

long int precisionAnalyzer::_derefs [private]
 

Dereference count.

Definition at line 62 of file precision.h.

Direction analysisProblem::_direction [protected, inherited]
 

Definition at line 64 of file ipanalysis.h.

Referenced by analysisProblem::direction().

pointer_targets_map precisionAnalyzer::_pointer_targets [private]
 

Pointer targets.

For each dereference, store the targets of the pointer according to the pointer variable itself and location.

Definition at line 57 of file precision.h.


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

Generated on February 1, 2006
Back to the C-Breeze home page