klara.core.cfg.RawBasicBlock

class documentation

class RawBasicBlock(object): (source)

Known subclasses: klara.core.cfg.ParentScopeBlock, klara.core.cfg.PhiStubBlock, klara.core.cfg.TempAssignBlock

Undocumented

Class Method	`from_list`	Undocumented
Method	`__init__`	Undocumented
Method	`__repr__`	Undocumented
Method	`cleanup_code`	remove all target from var_version_list (stack). Typically used in renaming when back up of node happen. :return: None
Method	`enumerate`	Undocumented
Method	`fill_phi`	Undocumented
Method	`get_code_to_analyse`	Undocumented
Method	`get_conditions_from_prev`	Return the conditions from the immediate predecessor. A / B C Calling this method on block B will return the condition to enter B from A. Return a sets of condition.
Method	`get_num_of_parents`	Undocumented
Method	`get_phi_functions`	Undocumented
Method	`has_phi`	Undocumented
Method	`insert_doms`	insert dom_blk such that dom_blks is dominating self
Method	`insert_phi`	Insert into phi variables if it does not exist
Method	`recompute_liveout`	recompute the liveout of this block :return: True if changed, False if not changed
Method	`rename`	Undocumented
Constant	`BLOCK_IF`	Undocumented
Constant	`BLOCK_WHILE`	Undocumented
Constant	`IS_FALSE_BLOCK`	Undocumented
Constant	`IS_TRUE_BLOCK`	Undocumented
Instance Variable	`block_end_code`	Undocumented
Instance Variable	`block_end_type`	Undocumented
Instance Variable	`cond_prompt_cache`	Undocumented
Instance Variable	`cond_requirements`	Undocumented
Instance Variable	`conditions`	Undocumented
Instance Variable	`df`	Undocumented
Instance Variable	`end_line`	Undocumented
Instance Variable	`idom`	Undocumented
Instance Variable	`live_out`	Undocumented
Instance Variable	`name`	Undocumented
Instance Variable	`nxt_block_list`	Undocumented
Instance Variable	`parent_node`	Undocumented
Instance Variable	`phi`	Undocumented
Instance Variable	`prev_block_list`	Undocumented
Instance Variable	`rev_dom_list`	Undocumented
Instance Variable	`rev_idom`	Undocumented
Instance Variable	`scope`	Undocumented
Instance Variable	`ssa_code`	Undocumented
Instance Variable	`start_line`	Undocumented
Instance Variable	`ue_var`	Undocumented
Instance Variable	`var_kill`	Undocumented
Instance Variable	`_phi_repr`	Undocumented

@classmethod
def from_list(cls, lst, **kwargs): (source)

Undocumented

def __init__(self, start_line=None, end_line=None, block_end_type='', name=None, parent_node=None, scope=None, block_end_code=None): (source)

overridden in klara.core.cfg.ParentScopeBlock, klara.core.cfg.PhiStubBlock, klara.core.cfg.TempAssignBlock

Undocumented

def __repr__(self): (source)

overridden in klara.core.cfg.PhiStubBlock

Undocumented

def cleanup_code(self): (source)

remove all target from var_version_list (stack). Typically used in renaming when back up of node happen. :return: None

def enumerate(self, _=None): (source)

overridden in klara.core.cfg.ParentScopeBlock

Undocumented

def fill_phi(self): (source)

Undocumented

def get_code_to_analyse(self): (source)

overridden in klara.core.cfg.ParentScopeBlock

Undocumented

def get_conditions_from_prev(self, analyzed_blocks): (source)

Return the conditions from the immediate predecessor. A / B C Calling this method on block B will return the condition to enter B from A. Return a sets of condition.

Returns
`set`	Undocumented

def get_num_of_parents(self): (source)

Undocumented

def get_phi_functions(self): (source)

Undocumented

def has_phi(self, var): (source)

Undocumented

def insert_doms(self, dom_blks): (source)

insert dom_blk such that dom_blks is dominating self

def insert_phi(self, var): (source)

Insert into phi variables if it does not exist

def recompute_liveout(self): (source)

recompute the liveout of this block :return: True if changed, False if not changed

def rename(self): (source)

overridden in klara.core.cfg.ParentScopeBlock

Undocumented

BLOCK_IF: int = (source)

Undocumented

Value

BLOCK_WHILE: int = (source)

Undocumented

Value

IS_FALSE_BLOCK: int = (source)

Undocumented

Value

IS_TRUE_BLOCK: int = (source)

Undocumented

Value

block_end_code = (source)

Undocumented

block_end_type = (source)

Undocumented

cond_prompt_cache: dict = (source)

Undocumented

cond_requirements = (source)

Undocumented

conditions = (source)

Undocumented

df: list = (source)

Undocumented

end_line = (source)

Undocumented

idom: list = (source)

Undocumented

live_out = (source)

Undocumented

name = (source)

Undocumented

nxt_block_list: list = (source)

Undocumented

parent_node = (source)

Undocumented

phi = (source)

Undocumented

prev_block_list: list = (source)

Undocumented

rev_dom_list = (source)

overridden in klara.core.cfg.ParentScopeBlock

Undocumented

rev_idom = (source)

Undocumented

scope = (source)

Undocumented

ssa_code = (source)

Undocumented

start_line = (source)

Undocumented

ue_var = (source)

Undocumented

var_kill = (source)

Undocumented

_phi_repr = (source)

Undocumented