analysis::VarInitAnalysis Class Reference

Inheritance diagram for analysis::VarInitAnalysis:

Collaboration diagram for analysis::VarInitAnalysis:

Public Member Functions
	VarInitAnalysis (const std::set< std::string > &all_vars)
std::set< std::string >	computeGenSet (size_t block_idx, const std::vector< Token > &tokens, const std::vector< CFGBlock > &cfg_blocks) override
std::set< std::string >	meetOperation (const std::vector< std::set< std::string > > &inputs) override
std::set< std::string >	transferFunction (const std::set< std::string > &in_value, const std::set< std::string > &gen_set) override
std::set< std::string >	getBoundaryValue () override
std::set< std::string >	getInitialOutValue () override
Public Member Functions inherited from analysis::ForwardDataflowAnalysis< std::set< std::string > >
	ForwardDataflowAnalysis ()=default
virtual	~ForwardDataflowAnalysis ()=default
ForwardDataflowAnalysis &	operator= (const ForwardDataflowAnalysis &)=default
std::pair< std::vector< std::set< std::string > >, std::vector< std::set< std::string > > >	analyze (const std::vector< Token > &tokens, const std::vector< CFGBlock > &cfg_blocks)

Detailed Description

Definition at line 32 of file VarInitPass.cpp.

Constructor & Destructor Documentation

VarInitAnalysis()

analysis::VarInitAnalysis::VarInitAnalysis ( const std::set< std::string > & all_vars )

inlineexplicit

Definition at line 36 of file VarInitPass.cpp.

        : all_vars(all_vars) {}

Member Function Documentation

computeGenSet()

std::set< std::string > analysis::VarInitAnalysis::computeGenSet ( size_t block_idx, const std::vector< Token > & tokens, const std::vector< CFGBlock > & cfg_blocks )

inlineoverridevirtual

Implements analysis::ForwardDataflowAnalysis< std::set< std::string > >.

Definition at line 40 of file VarInitPass.cpp.

                                                                  {
        std::set<std::string> gen_set;
        const auto& block = cfg_blocks[block_idx];
        for (int j = block.start_token_idx; j < block.end_token_idx; ++j) {
            if (tokens[j].type == TokenType::VarStore) {
                gen_set.insert(
                    std::get<TokenPayloadVar>(tokens[j].payload).name);
            } else if (tokens[j].type == TokenType::ArrayAllocStatic ||
                       tokens[j].type == TokenType::ArrayAllocDyn) {
                const auto& array_name =
                    std::get<TokenPayloadArrayOp>(tokens[j].payload).name;
                gen_set.insert(var_naming::getArrayName(array_name));
            }
        }
        return gen_set;
    }

References ArrayAllocDyn, ArrayAllocStatic, analysis::var_naming::getArrayName(), and VarStore.

getBoundaryValue()

std::set< std::string > analysis::VarInitAnalysis::getBoundaryValue ( )

inlineoverridevirtual

Implements analysis::ForwardDataflowAnalysis< std::set< std::string > >.

Definition at line 84 of file VarInitPass.cpp.

{ return {}; }

getInitialOutValue()

std::set< std::string > analysis::VarInitAnalysis::getInitialOutValue ( )

inlineoverridevirtual

Reimplemented from analysis::ForwardDataflowAnalysis< std::set< std::string > >.

Definition at line 86 of file VarInitPass.cpp.

{ return all_vars; }

meetOperation()

std::set< std::string > analysis::VarInitAnalysis::meetOperation ( const std::vector< std::set< std::string > > & inputs )

inlineoverridevirtual

Implements analysis::ForwardDataflowAnalysis< std::set< std::string > >.

Definition at line 59 of file VarInitPass.cpp.

                                                                       {
        if (inputs.empty()) {
            return {};
        }
 
        std::set<std::string> result = inputs[0];
        for (size_t i = 1; i < inputs.size(); ++i) {
            std::set<std::string> temp_intersect;
            std::set_intersection(
                result.begin(), result.end(), inputs[i].begin(),
                inputs[i].end(),
                std::inserter(temp_intersect, temp_intersect.begin()));
            result = std::move(temp_intersect);
        }
        return result;
    }

transferFunction()

std::set< std::string > analysis::VarInitAnalysis::transferFunction ( const std::set< std::string > & in_value, const std::set< std::string > & gen_set )

inlineoverridevirtual

Implements analysis::ForwardDataflowAnalysis< std::set< std::string > >.

Definition at line 77 of file VarInitPass.cpp.

                                                                {
        std::set<std::string> out_value = gen_set;
        out_value.insert(in_value.begin(), in_value.end());
        return out_value;
    }

---

The documentation for this class was generated from the following file:

• llvmexpr/analysis/passes/VarInitPass.cpp