Package bap :: Module bir :: Class Phi

Class Phi

object --+        
         |        
   adt.ADT --+    
             |    
          Term --+
                 |
                Phi

Phi(id,attrs,lhs,Values(b1,..,bM))) a term whose value depends on chosen control flow path

Instance Methods

[hide private]

Inherited from adt.ADT: __cmp__, __init__, __repr__

Inherited from object: __delattr__, __format__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __setattr__, __sizeof__, __str__, __subclasshook__

Properties

[hide private]

lhs
defined variable

value
a mapping from the tid of the preceeding block to an expression that defines a value of phi-node

Inherited from Term: attrs, id

Inherited from object: __class__

Property Details

[hide private]

lhs

defined variable

Get Method:: unreachable.lhs(self) - defined variable

value

a mapping from the tid of the preceeding block to an expression that defines a value of phi-node

Get Method:: unreachable.value(self) - a mapping from the tid of the preceeding block to an expression that defines a value of phi-node