Package bap :: Module bir :: Class Phi
[hide private]
[frames] | no frames]

Class Phi

source code

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