gyoji-analysis.hpp

#pragma once
#include <gyoji-mir.hpp>
#include <gyoji-context.hpp>
 
namespace Gyoji::analysis {
 
    class AnalysisPass {
    public:
    AnalysisPass(Gyoji::context::CompilerContext & _compiler_context, std::string _name);
    ~AnalysisPass();
    virtual void check(const Gyoji::mir::MIR & mir) const = 0;
    
    Gyoji::context::CompilerContext & get_compiler_context() const;
    const std::string & get_name() const;
    private:
    Gyoji::context::CompilerContext & compiler_context;
    std::string name;
    };
 
    class AnalysisPassTypeResolution : public AnalysisPass {
    public:
    AnalysisPassTypeResolution(Gyoji::context::CompilerContext & _compiler_context);
    ~AnalysisPassTypeResolution();
    
    virtual void check(const Gyoji::mir::MIR & mir) const;
    private:
    void check_type(const Gyoji::mir::Type & type) const;
    };
 
    class AnalysisPassUnreachable : public AnalysisPass {
    public:
    AnalysisPassUnreachable(Gyoji::context::CompilerContext & _compiler_context);
    ~AnalysisPassUnreachable();
    
    virtual void check(const Gyoji::mir::MIR & mir) const;
    private:
    void check(const Gyoji::mir::Function & function) const;
    };
 
    class AnalysisPassBorrowChecker : public AnalysisPass {
    public:
    AnalysisPassBorrowChecker(Gyoji::context::CompilerContext & _compiler_context);
    ~AnalysisPassBorrowChecker();
    virtual void check(const Gyoji::mir::MIR & mir) const;
    private:
    void check(const Gyoji::mir::Function & function) const;
    };
 
    class AnalysisPassReturnValues : public AnalysisPass {
    public:
    AnalysisPassReturnValues();
    ~AnalysisPassReturnValues();
    virtual void check(const Gyoji::mir::MIR & mir) const;
    };
 
    class AnalysisPassVariableScopePairing : public AnalysisPass {
    public:
    AnalysisPassVariableScopePairing();
    ~AnalysisPassVariableScopePairing();
    virtual void check(const Gyoji::mir::MIR & mir) const;
    };
    
};