StaticAllocReachabilityPass.hpp

Go to the documentation of this file.

 
#ifndef LLVMEXPR_ANALYSIS_STATIC_ALLOC_REACHABILITY_PASS_HPP
#define LLVMEXPR_ANALYSIS_STATIC_ALLOC_REACHABILITY_PASS_HPP
 
#include "../framework/Pass.hpp"
 
#include <set>
#include <string>
#include <vector>
 
namespace analysis {
 
struct StaticAllocReachabilityResult {
    std::vector<std::set<std::string>> static_alloc_in;
    std::vector<std::set<std::string>> static_alloc_out;
};

class StaticAllocReachabilityPass
    : public AnalysisPass<StaticAllocReachabilityPass,
                          StaticAllocReachabilityResult> {
  public:
    using Result = StaticAllocReachabilityResult;
 
    [[nodiscard]] const char* getName() const override {
        return "Static Allocation Reachability Pass";
    }
 
    Result run(const std::vector<Token>& tokens, AnalysisManager& am) override;
};
 
} // namespace analysis
 
#endif // LLVMEXPR_ANALYSIS_STATIC_ALLOC_REACHABILITY_PASS_HPP