/local/lecs/lecs/risc_v0.2.1/sources/build/risc_v0.2.1/src/static_analysis/read_write_analysis.h

Go to the documentation of this file.

#ifndef READ_WRITE_ANALYSIS_H_INCLUDED_
#define READ_WRITE_ANALYSIS_H_INCLUDED_

#include <rose.h>

#include <vector>
#include <cassert>

#include "../internal_representation/variable.h"

namespace risc
{

namespace sa
{

void
collect_write_variables(SgExpression *expr, std::vector<SgNode*> &write_var);

void
collect_read_variables( SgExpression *expr, std::vector<SgNode*> &read_var);

void
read_write_analysis(
    std::vector<SgExpression*> expressions,
    std::set<SgVariableSymbol*> &read_only_var,
    std::set<SgVariableSymbol*> &write_only_var,
    std::vector<SgNode*> &read_write);

bool
is_member_variable_symbol(SgNode *given_variable,
    risc::VariableVector &member_variables);

std::vector<SgNode*>::iterator
delete_if_is_not_member_variable(
    std::vector<SgNode*> &given_variables,
    VariableVector &member_variables);



std::set<SgVariableSymbol*>::iterator
delete_if_is_not_member_symbol(
    std::set<SgVariableSymbol*> &given_variables,
    VariableVector &member_variables);




} // end namesapce sa

} // end namespace risc

#endif /* READ_WRITE_ANALYSIS_H_INCLUDED_ */

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

---