analysis::StaticAllocReachabilityAnalysis Class Reference

Inheritance diagram for analysis::StaticAllocReachabilityAnalysis:

Collaboration diagram for analysis::StaticAllocReachabilityAnalysis:

Public Member Functions
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
Public Member Functions inherited from analysis::ForwardDataflowAnalysis< std::set< std::string > >
	ForwardDataflowAnalysis ()=default
virtual	~ForwardDataflowAnalysis ()=default
ForwardDataflowAnalysis &	operator= (const ForwardDataflowAnalysis &)=default
virtual std::set< std::string >	getInitialOutValue ()
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 28 of file StaticAllocReachabilityPass.cpp.

Member Function Documentation

computeGenSet()

std::set< std::string > analysis::StaticAllocReachabilityAnalysis::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 32 of file StaticAllocReachabilityPass.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::ArrayAllocStatic) {
                const auto& array_name =
                    std::get<TokenPayloadArrayOp>(tokens[j].payload).name;
                gen_set.insert(var_naming::getArrayName(array_name));
            }
        }
        return gen_set;
    }

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

getBoundaryValue()

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

inlineoverridevirtual

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

Definition at line 66 of file StaticAllocReachabilityPass.cpp.

                                                  {
        // Entry block starts with no statically allocated arrays
        return std::set<std::string>{};
    }

meetOperation()

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

inlineoverridevirtual

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

Definition at line 48 of file StaticAllocReachabilityPass.cpp.

                                                                       {
        // Union: an array is statically allocated if allocated on ANY path
        std::set<std::string> result;
        for (const auto& input : inputs) {
            result.insert(input.begin(), input.end());
        }
        return result;
    }

transferFunction()

std::set< std::string > analysis::StaticAllocReachabilityAnalysis::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 58 of file StaticAllocReachabilityPass.cpp.

                                                                {
        // OUT = GEN U IN
        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/StaticAllocReachabilityPass.cpp