analysis::RelAccessAnalysisPass Class Reference

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

Inheritance diagram for analysis::RelAccessAnalysisPass:

Collaboration diagram for analysis::RelAccessAnalysisPass:

Public Member Functions
RelAccessAnalysisResult	run (const std::vector< Token > &tokens, AnalysisManager &am) override
const char *	getName () const 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

Additional Inherited Members
Public Types inherited from analysis::AnalysisPass< RelAccessAnalysisPass, RelAccessAnalysisResult >
using	Result

Detailed Description

Analyzes the expression to identify all relative clip accesses. Collects:

• All unique relative y-accesses and their mirroring modes.
• The minimum and maximum relative x-accesses across the expression. This information is used by the IR generator to optimize memory access patterns. Depends on: None

Definition at line 43 of file RelAccessAnalysisPass.hpp.

Member Function Documentation

getName()

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

inlinenodiscardoverridevirtual

Implements analysis::Pass.

Definition at line 49 of file RelAccessAnalysisPass.hpp.

                                                       {
        return "RelAccessAnalysisPass";
    }

run()

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

overridevirtual

Implements analysis::AnalysisPass< RelAccessAnalysisPass, RelAccessAnalysisResult >.

Definition at line 29 of file RelAccessAnalysisPass.cpp.

                                                {
    RelAccessAnalysisResult result;
    result.mirror_boundary = am.getMirrorBoundary();
 
    std::set<RelYAccess> seen;
    for (const auto& token : tokens) {
        if (token.type == TokenType::ClipRel) {
            const auto& payload =
                std::get<TokenPayloadClipAccess>(token.payload);
            bool use_mirror =
                payload.has_mode ? payload.use_mirror : result.mirror_boundary;
            RelYAccess access{.clip_idx = payload.clip_idx,
                              .rel_y = payload.rel_y,
                              .use_mirror = use_mirror};
            if (!seen.contains(access)) {
                seen.insert(access);
                result.unique_rel_y_accesses.push_back(access);
            }
            result.min_rel_x = std::min(result.min_rel_x, payload.rel_x);
            result.max_rel_x = std::max(result.max_rel_x, payload.rel_x);
        } else if (token.type == TokenType::ClipCur) {
            const auto& payload =
                std::get<TokenPayloadClipAccess>(token.payload);
            RelYAccess access{.clip_idx = payload.clip_idx,
                              .rel_y = 0,
                              .use_mirror = result.mirror_boundary};
            if (!seen.contains(access)) {
                seen.insert(access);
                result.unique_rel_y_accesses.push_back(access);
            }
        }
    }
    return result;
}

References ClipCur, ClipRel, analysis::AnalysisManager::getMirrorBoundary(), analysis::RelAccessAnalysisResult::max_rel_x, analysis::RelAccessAnalysisResult::min_rel_x, analysis::RelAccessAnalysisResult::mirror_boundary, and analysis::RelAccessAnalysisResult::unique_rel_y_accesses.

---

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

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