klara.core.cfg.ModuleLabel

Method	__init__	Undocumented
Instance Variable	path	Undocumented

Inherited from ParentScopeBlock:

Method	apply_transform	Undocumented
Method	enumerate	Undocumented
Method	fill_conditions	Fill all the block with a list of conditions to reach. Solve for backward simple data flow equation: cond(n) = (&=cond(m)) | split_edge(m) where m is pred(n)
Method	fill_df	Undocumented
Method	fill_dominates	solving the data flow equations Dom(n) = {n} | (&=Dom(m)) where m = preds(n)
Method	fill_idom	fill `idom` and `rev_idom` of all blocks. This essentially build the dominator tree.
Method	get_code_to_analyse	Undocumented
Method	rename	Undocumented
Instance Variable	ast_node	Undocumented
Instance Variable	blocks	Undocumented
Instance Variable	counter	Undocumented
Instance Variable	locals	Undocumented
Instance Variable	phi_stub_block	Undocumented
Instance Variable	rev_dom_list	Undocumented
Instance Variable	scope_name	Undocumented
Instance Variable	var_version_list	Undocumented

Inherited from RawBasicBlock (via ParentScopeBlock):

Class Method	from_list	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	fill_phi	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
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_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