ExpressionAnalyzer.cpp

Go to the documentation of this file.

 
#include "ExpressionAnalyzer.hpp"
#include "framework/AnalysisError.hpp"
#include "llvmexpr/analysis/passes/StackSafetyPass.hpp"
#include "llvmexpr/analysis/passes/ValidationPass.hpp"
#include "passes/CoordinateUsagePass.hpp"
#include "passes/PropWriteTypeSafetyPass.hpp"
#include "passes/RelAccessAnalysisPass.hpp"
#include "passes/StructurizeCFGPass.hpp"
#include "passes/VariableUsagePass.hpp"
 
namespace analysis {
 
void ExpressionAnalyzer::analyze() {
    if (manager.getTokens().empty()) {
        if (manager.getExpectedFinalDepth() != 0) {
            throw AnalysisError("Expression cannot be empty.");
        }
    }
 
    manager.getResult<ValidationPass>();
    manager.getResult<StackSafetyPass>();
    manager.getResult<RelAccessAnalysisPass>();
    manager.getResult<CoordinateUsagePass>();
    manager.getResult<VariableUsagePass>();
    manager.getResult<StructurizeCFGPass>(); // TODO: Only run for VkExpr.
    manager.getResult<PropWriteTypeSafetyPass>();
}
 
} // namespace analysis