PointsToAnalysisStateEncoder.hpp

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.
 */
 
#ifndef JLM_LLVM_OPT_ALIAS_ANALYSES_POINTSTOANALYSISSTATEENCODER_HPP
#define JLM_LLVM_OPT_ALIAS_ANALYSES_POINTSTOANALYSISSTATEENCODER_HPP
 
#include <jlm/llvm/opt/alias-analyses/ModRefSummarizer.hpp>
#include <jlm/llvm/opt/alias-analyses/PointsToAnalysis.hpp>
#include <jlm/rvsdg/Transformation.hpp>
 
#include <type_traits>
 
namespace jlm::llvm::aa
{
 
template<typename TPointsToAnalysis, typename TModRefSummarizer>
class PointsToAnalysisStateEncoder final : public rvsdg::Transformation
{
  static_assert(std::is_base_of_v<PointsToAnalysis, TPointsToAnalysis>);
  static_assert(std::is_base_of_v<ModRefSummarizer, TModRefSummarizer>);
 
public:
  ~PointsToAnalysisStateEncoder() noexcept override;
 
  PointsToAnalysisStateEncoder()
      : Transformation("PointsToAnalysisStateEncoder")
  {}
 
  void
  Run(rvsdg::RvsdgModule & rvsdgModule, util::StatisticsCollector & statisticsCollector) override;
};
 
}
 
#endif