liveness analysis exploiting the SSA form of the IR More...

#include "FSM_NI_SSA_liveness.hpp"
#include "Parameter.hpp"
#include "basic_block.hpp"
#include "function_behavior.hpp"
#include "op_graph.hpp"
#include "hls.hpp"
#include "hls_constraints.hpp"
#include "hls_manager.hpp"
#include "liveness.hpp"
#include "memory.hpp"
#include "state_transition_graph.hpp"
#include "state_transition_graph_manager.hpp"
#include "behavioral_helper.hpp"
#include "tree_helper.hpp"
#include "tree_manager.hpp"
#include "tree_node.hpp"
#include "dbgPrintHelper.hpp"
#include "string_manipulation.hpp"
#include <boost/foreach.hpp>
#include <boost/range/adaptor/reversed.hpp>

Include dependency graph for FSM_NI_SSA_liveness.cpp:

Go to the source code of this file.

Functions
static unsigned int	get_bb_index_from_state_info (const OpGraphConstRef data, StateInfoConstRef state_info)

static void	update_liveout_with_prev (const HLS_managerRef HLSMgr, hlsRef HLS, const StateTransitionGraphConstRef stg, const OpGraphConstRef data, vertex current_state, vertex prev_state)

Detailed Description

liveness analysis exploiting the SSA form of the IR

Author: Fabrizio Ferrandi fabri.nosp@m.zio..nosp@m.ferra.nosp@m.ndi@.nosp@m.polim.nosp@m.i.it; Pietro Fezzardi pietr.nosp@m.ofez.nosp@m.zardi.nosp@m.@gma.nosp@m.il.co.nosp@m.m $Revision$ $Date$ Last modified by $Author$

Definition in file FSM_NI_SSA_liveness.cpp.

Function Documentation

◆ get_bb_index_from_state_info()

static unsigned int get_bb_index_from_state_info	(	const OpGraphConstRef	data,
		StateInfoConstRef	state_info
	)

inlinestatic

Definition at line 99 of file FSM_NI_SSA_liveness.cpp.

References GET_BB_INDEX.

Referenced by FSM_NI_SSA_liveness::InternalExec().

Here is the caller graph for this function:

◆ update_liveout_with_prev()

static void update_liveout_with_prev	(	const HLS_managerRef	HLSMgr,
		hlsRef	HLS,
		const StateTransitionGraphConstRef	stg,
		const OpGraphConstRef	data,
		vertex	current_state,
		vertex	prev_state
	)

static

Definition at line 118 of file FSM_NI_SSA_liveness.cpp.

References DEFINITION, liveness::erase_el_live_out(), hls::Rliv, SCALAR, liveness::set_live_out(), and USE.