PointsToAnalysisStateEncoder.cpp

Go to the documentation of this file.

/*
 * Copyright 2021 Nico Reißmann <nico.reissmann@gmail.com>
 * Copyright 2023 Håvard Krogstie <krogstie.havard@gmail.com>
 * See COPYING for terms of redistribution.
 */
 
#include <jlm/llvm/opt/alias-analyses/AgnosticModRefSummarizer.hpp>
#include <jlm/llvm/opt/alias-analyses/AliasAnalysisPrecisionEvaluator.hpp>
#include <jlm/llvm/opt/alias-analyses/Andersen.hpp>
#include <jlm/llvm/opt/alias-analyses/LocalAliasAnalysis.hpp>
#include <jlm/llvm/opt/alias-analyses/MemoryStateEncoder.hpp>
#include <jlm/llvm/opt/alias-analyses/PointsToAnalysisStateEncoder.hpp>
#include <jlm/llvm/opt/alias-analyses/PointsToGraphAliasAnalysis.hpp>
#include <jlm/llvm/opt/alias-analyses/RegionAwareModRefSummarizer.hpp>
 
namespace jlm::llvm::aa
{
 
template<typename TPointsToAnalysis, typename TModRefSummarizer>
PointsToAnalysisStateEncoder<TPointsToAnalysis, TModRefSummarizer>::
    ~PointsToAnalysisStateEncoder() noexcept = default;
 
template<typename TPointsToAnalysis, typename TModRefSummarizer>
void
PointsToAnalysisStateEncoder<TPointsToAnalysis, TModRefSummarizer>::Run(
    rvsdg::RvsdgModule & rvsdgModule,
    util::StatisticsCollector & statisticsCollector)
{
  TPointsToAnalysis ptaPass;
  std::shared_ptr<PointsToGraph> pointsToGraph = ptaPass.Analyze(rvsdgModule, statisticsCollector);
 
  if (statisticsCollector.IsDemanded(util::Statistics::Id::AliasAnalysisPrecisionEvaluation))
  {
    AliasAnalysisPrecisionEvaluator precisionEvaluator;
 
    // Use different alias analyses, and their combination
    auto localAA = std::make_shared<LocalAliasAnalysis>();
    auto ptgAA = std::make_shared<PointsToGraphAliasAnalysis>(pointsToGraph);
    ChainedAliasAnalysis ptgPlusLocalAA(ptgAA, localAA);
 
    precisionEvaluator.EvaluateAliasAnalysisClient(rvsdgModule, *localAA, statisticsCollector);
    precisionEvaluator.EvaluateAliasAnalysisClient(rvsdgModule, *ptgAA, statisticsCollector);
    precisionEvaluator.EvaluateAliasAnalysisClient(
        rvsdgModule,
        ptgPlusLocalAA,
        statisticsCollector);
  }
 
  auto modRefSummary = TModRefSummarizer::Create(rvsdgModule, *pointsToGraph, statisticsCollector);
 
  MemoryStateEncoder encoder;
  encoder.Encode(rvsdgModule, *modRefSummary, statisticsCollector);
}
 
// Explicitly instantiate combinations
template class PointsToAnalysisStateEncoder<Andersen, AgnosticModRefSummarizer>;
template class PointsToAnalysisStateEncoder<Andersen, RegionAwareModRefSummarizer>;
 
}