analysis::ForwardDataflowAnalysis< DomainT > Class Template Reference

#include <llvmexpr/analysis/framework/ForwardDataflowAnalysis.hpp>

Public Member Functions
	ForwardDataflowAnalysis ()=default
virtual	~ForwardDataflowAnalysis ()=default
	ForwardDataflowAnalysis (const ForwardDataflowAnalysis &)=default
ForwardDataflowAnalysis &	operator= (const ForwardDataflowAnalysis &)=default
	ForwardDataflowAnalysis (ForwardDataflowAnalysis &&)=default
ForwardDataflowAnalysis &	operator= (ForwardDataflowAnalysis &&)=default
virtual DomainT	computeGenSet (size_t block_idx, const std::vector< Token > &tokens, const std::vector< CFGBlock > &cfg_blocks)=0
virtual DomainT	meetOperation (const std::vector< DomainT > &inputs)=0
virtual DomainT	transferFunction (const DomainT &in_value, const DomainT &gen_set)=0
virtual DomainT	getBoundaryValue ()=0
virtual DomainT	getInitialOutValue ()
std::pair< std::vector< DomainT >, std::vector< DomainT > >	analyze (const std::vector< Token > &tokens, const std::vector< CFGBlock > &cfg_blocks)

Detailed Description

template<typename DomainT>
class analysis::ForwardDataflowAnalysis< DomainT >

Definition at line 32 of file ForwardDataflowAnalysis.hpp.

Constructor & Destructor Documentation

ForwardDataflowAnalysis() [1/3]

template<typename DomainT>

analysis::ForwardDataflowAnalysis< DomainT >::ForwardDataflowAnalysis ( )

default

Referenced by ForwardDataflowAnalysis(), ForwardDataflowAnalysis(), operator=(), and operator=().

~ForwardDataflowAnalysis()

template<typename DomainT>

virtual analysis::ForwardDataflowAnalysis< DomainT >::~ForwardDataflowAnalysis ( )

virtualdefault

ForwardDataflowAnalysis() [2/3]

template<typename DomainT>

analysis::ForwardDataflowAnalysis< DomainT >::ForwardDataflowAnalysis ( const ForwardDataflowAnalysis< DomainT > & )

default

References ForwardDataflowAnalysis().

ForwardDataflowAnalysis() [3/3]

template<typename DomainT>

analysis::ForwardDataflowAnalysis< DomainT >::ForwardDataflowAnalysis ( ForwardDataflowAnalysis< DomainT > && )

default

References ForwardDataflowAnalysis().

Member Function Documentation

analyze()

template<typename DomainT>

std::pair< std::vector< DomainT >, std::vector< DomainT > > analysis::ForwardDataflowAnalysis< DomainT >::analyze ( const std::vector< Token > & tokens, const std::vector< CFGBlock > & cfg_blocks )

inline

Definition at line 56 of file ForwardDataflowAnalysis.hpp.

                                                   {
        const size_t num_blocks = cfg_blocks.size();
 
        std::vector<DomainT> gen_sets(num_blocks);
        for (size_t i = 0; i < num_blocks; ++i) {
            gen_sets[i] = computeGenSet(i, tokens, cfg_blocks);
        }
 
        std::vector<DomainT> in_sets(num_blocks);
        std::vector<DomainT> out_sets(num_blocks, getInitialOutValue());
 
        if (!cfg_blocks.empty()) {
            in_sets[0] = getBoundaryValue();
        }
 
        bool changed = true;
        while (changed) {
            changed = false;
 
            for (size_t i = 0; i < num_blocks; ++i) {
                DomainT new_in;
                if (i == 0 || cfg_blocks[i].predecessors.empty()) {
                    new_in = getBoundaryValue();
                } else {
                    std::vector<DomainT> pred_outs;
                    pred_outs.reserve(cfg_blocks[i].predecessors.size());
                    std::transform(cfg_blocks[i].predecessors.begin(),
                                   cfg_blocks[i].predecessors.end(),
                                   std::back_inserter(pred_outs),
                                   [&out_sets](int pred_idx) {
                                       return out_sets[pred_idx];
                                   });
                    new_in = meetOperation(pred_outs);
                }
 
                if (new_in != in_sets[i]) {
                    in_sets[i] = std::move(new_in);
                }
 
                DomainT new_out = transferFunction(in_sets[i], gen_sets[i]);
 
                if (new_out != out_sets[i]) {
                    out_sets[i] = std::move(new_out);
                    changed = true;
                }
            }
        }
 
        return {std::move(in_sets), std::move(out_sets)};
    }

References computeGenSet(), getBoundaryValue(), getInitialOutValue(), meetOperation(), and transferFunction().

computeGenSet()

template<typename DomainT>

virtual DomainT analysis::ForwardDataflowAnalysis< DomainT >::computeGenSet ( size_t block_idx, const std::vector< Token > & tokens, const std::vector< CFGBlock > & cfg_blocks )

pure virtual

Implemented in analysis::StaticAllocReachabilityAnalysis, and analysis::VarInitAnalysis.

Referenced by analyze().

getBoundaryValue()

template<typename DomainT>

virtual DomainT analysis::ForwardDataflowAnalysis< DomainT >::getBoundaryValue ( )

pure virtual

Implemented in analysis::StaticAllocReachabilityAnalysis, and analysis::VarInitAnalysis.

Referenced by analyze().

getInitialOutValue()

template<typename DomainT>

virtual DomainT analysis::ForwardDataflowAnalysis< DomainT >::getInitialOutValue ( )

inlinevirtual

Reimplemented in analysis::VarInitAnalysis.

Definition at line 53 of file ForwardDataflowAnalysis.hpp.

{ return DomainT{}; }

Referenced by analyze().

meetOperation()

template<typename DomainT>

virtual DomainT analysis::ForwardDataflowAnalysis< DomainT >::meetOperation ( const std::vector< DomainT > & inputs )

pure virtual

Implemented in analysis::StaticAllocReachabilityAnalysis, and analysis::VarInitAnalysis.

Referenced by analyze().

operator=() [1/2]

template<typename DomainT>

ForwardDataflowAnalysis & analysis::ForwardDataflowAnalysis< DomainT >::operator= ( const ForwardDataflowAnalysis< DomainT > & )

default

References ForwardDataflowAnalysis().

operator=() [2/2]

template<typename DomainT>

ForwardDataflowAnalysis & analysis::ForwardDataflowAnalysis< DomainT >::operator= ( ForwardDataflowAnalysis< DomainT > && )

default

References ForwardDataflowAnalysis().

transferFunction()

template<typename DomainT>

virtual DomainT analysis::ForwardDataflowAnalysis< DomainT >::transferFunction ( const DomainT & in_value, const DomainT & gen_set )

pure virtual

Implemented in analysis::StaticAllocReachabilityAnalysis, and analysis::VarInitAnalysis.

Referenced by analyze().

---

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

• llvmexpr/analysis/framework/ForwardDataflowAnalysis.hpp