analysis::BlockAnalysisPass Class Reference

#include <llvmexpr/analysis/passes/BlockAnalysisPass.hpp>

Inheritance diagram for analysis::BlockAnalysisPass:

Collaboration diagram for analysis::BlockAnalysisPass:

Public Types
using	Result = BlockAnalysisResult
Public Types inherited from analysis::AnalysisPass< BlockAnalysisPass, BlockAnalysisResult >
using	Result

Public Member Functions
const char *	getName () const override
Result	run (const std::vector< Token > &tokens, AnalysisManager &am) override
Public Member Functions inherited from analysis::Pass
	Pass ()=default
virtual	~Pass ()=default
	Pass (const Pass &)=delete
Pass &	operator= (const Pass &)=delete
	Pass (Pass &&)=delete
Pass &	operator= (Pass &&)=delete

Detailed Description

Computes per-block properties Responsibilities:

• Calculate stack_effect for each block
• Calculate min_stack_needed for each block
• These are local properties that don't depend on other blocks. Depends on: BuildCFGPass

Definition at line 41 of file BlockAnalysisPass.hpp.

Member Typedef Documentation

Result

using analysis::BlockAnalysisPass::Result = BlockAnalysisResult

Definition at line 44 of file BlockAnalysisPass.hpp.

Member Function Documentation

getName()

const char * analysis::BlockAnalysisPass::getName ( ) const

inlinenodiscardoverridevirtual

Implements analysis::Pass.

Definition at line 46 of file BlockAnalysisPass.hpp.

                                                       {
        return "Block Analysis Pass";
    }

run()

BlockAnalysisPass::Result analysis::BlockAnalysisPass::run ( const std::vector< Token > & tokens, AnalysisManager & am )

overridevirtual

Implements analysis::AnalysisPass< BlockAnalysisPass, BlockAnalysisResult >.

Definition at line 30 of file BlockAnalysisPass.cpp.

                                                                          {
    const auto& cfg_result = am.getResult<BuildCFGPass>();
 
    Result result;
    result.cfg_blocks = cfg_result.cfg_blocks;
 
    for (auto& block : result.cfg_blocks) {
        int current_stack = 0;
        int min_stack_in_block = 0;
 
        for (int j = block.start_token_idx; j < block.end_token_idx; ++j) {
            const auto& token = tokens[j];
            const auto behavior = get_token_behavior(token);
 
            int items_needed = behavior.arity;
            if (current_stack < items_needed) {
                min_stack_in_block =
                    std::max(min_stack_in_block, items_needed - current_stack);
            }
 
            current_stack += behavior.stack_effect;
        }
 
        block.stack_effect = current_stack;
        block.min_stack_needed = min_stack_in_block;
    }
 
    return result;
}

References get_token_behavior(), and analysis::AnalysisManager::getResult().

---

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

• llvmexpr/analysis/passes/BlockAnalysisPass.hpp
• llvmexpr/analysis/passes/BlockAnalysisPass.cpp