/local/lecs/lecs/risc_v0.4.0/sources/build/risc_v0.4.0/src/static_analysis/cthread_analyzer.h

Go to the documentation of this file.

#ifndef CTHREAD_ANALYZER_H_INCLUDED_
#define CTHREAD_ANALYZER_H_INCLUDED_

#include "rose.h"

#include <vector>
#include <set>
#include <utility>

namespace risc
{

class Module;
class CThread;
class Port;

typedef std::vector<CThread*> CThreadVector;

namespace sa
{

typedef std::pair<Port*, SgBoolValExp*> ResetSignal;


typedef std::pair<CThread*, std::set<SgVariableSymbol*> >
            CThreadUninitializedVariables;
typedef std::set<CThreadUninitializedVariables>
            CThreadUninitializedVariablesSet;

typedef std::pair<ResetSignal*, CThreadVector> ResetSignalSensitiveCThreads;
typedef std::set<ResetSignalSensitiveCThreads> ResetSignalSensitiveCThreadsSet;

typedef std::pair<ResetSignal*, std::set<SgVariableSymbol*> >
            ResetSignalUninitializedVariables;
typedef std::set<ResetSignalUninitializedVariables>
            ResetSignalUninitializedVariablesSet;


typedef std::pair<CThread*, ResetSignal*>
            CThreadResetSignalPair;
typedef std::pair<CThreadResetSignalPair, std::vector<SgExpression*> >
            CThreadResetSignalExpressions;
typedef std::vector<CThreadResetSignalExpressions>
            CThreadResetSignalExpressionsVector;

SgFunctionCallExp* find_first_wait_stmt(SgFunctionDefinition *func_def);


std::set<SgFunctionCallExp*>
traverse_for_non_nested_func_calls(SgFunctionDefinition *func_def);


void
collect_non_nested_expressions(SgFunctionDefinition *func_def,
    std::vector<SgExpression*> &before_wait,
    std::vector<SgExpression*> &after_wait);

CThreadUninitializedVariablesSet
most_pessimistic_analysis(risc::Module &module);

CThreadUninitializedVariablesSet
inter_thread_analysis(Module &module, CThreadVector *subset_of_cthreads = NULL);

ResetSignalUninitializedVariablesSet
inter_reset_cthread_analysis(Module &module);

ResetSignalUninitializedVariablesSet
inter_async_reset_cthread_analysis(Module &module);

CThreadResetSignalExpressionsVector
get_cthread_reset_signal_expressions(Module &module);

CThreadResetSignalExpressionsVector
get_cthread_async_reset_signal_expressions(Module &module);

void
member_variable_filter(risc::Module &module, std::vector<SgNode*> variable);

void
get_recursivly_nested_expressions_in_function(
    SgFunctionDefinition *root_function,
    std::vector<SgExpression*> &expressions);

std::set<SgFunctionDefinition*>
get_called_functions_and_expressions(SgFunctionDefinition *root_function,
    std::vector<SgExpression*> &expressions);

} // end namesapce sa

} // end namespace risc

#endif /* CTHREAD_ANALYZER_H_INCLUDED_ */

/* ex: set softtabstop=2 tabstop=2 shiftwidth=2 expandtab: */

---