PandA-2024.02
NI_SSA_liveness.cpp File Reference

Non-Iterative liveness analysis for SSA based gimple descriptions. More...

#include "NI_SSA_liveness.hpp"
#include "application_manager.hpp"
#include "behavioral_helper.hpp"
#include "function_behavior.hpp"
#include "Parameter.hpp"
#include <fstream>
#include "dbgPrintHelper.hpp"
#include "string_manipulation.hpp"
#include "tree_basic_block.hpp"
#include "tree_helper.hpp"
#include "tree_manager.hpp"
#include "tree_reindex.hpp"
Include dependency graph for NI_SSA_liveness.cpp:

Go to the source code of this file.

Detailed Description

Non-Iterative liveness analysis for SSA based gimple descriptions.

Compute the liveness sets by exploring paths from variable use (Algorithm 4 and 5). Details of the algorithm can be found in the following technical report:

Definition in file NI_SSA_liveness.cpp.


Generated on Mon Feb 12 2024 13:03:20 for PandA-2024.02 by doxygen 1.8.13