ConstPropPass.hpp

Go to the documentation of this file.

 
#ifndef LLVMEXPR_ANALYSIS_CONST_PROP_PASS_HPP
#define LLVMEXPR_ANALYSIS_CONST_PROP_PASS_HPP
 
#include "../framework/Pass.hpp"
 
#include <optional>
#include <vector>
 
namespace analysis {
 
struct ConstPropResult {
    std::vector<std::vector<std::optional<double>>> const_stack_in;
    std::vector<std::vector<std::optional<double>>> const_stack_out;
};
/*
    Performs forward dataflow analysis to track compile-time constant values on the stack through the CFG. 
    Depends on: BlockAnalysisPass
*/
class ConstPropPass : public AnalysisPass<ConstPropPass, ConstPropResult> {
  public:
    using Result = ConstPropResult;
 
    [[nodiscard]] const char* getName() const override {
        return "Constant Propagation Pass";
    }
 
    Result run(const std::vector<Token>& tokens, AnalysisManager& am) override;
};
 
} // namespace analysis
 
#endif // LLVMEXPR_ANALYSIS_CONST_PROP_PASS_HPP