ModRefSummary.hpp

Go to the documentation of this file.

/*
 * Copyright 2022 Nico Reißmann <nico.reissmann@gmail.com>
 * Copyright 2025 Håvard Krogstie <krogstie.havard@gmail.com>
 * See COPYING for terms of redistribution.
 */
 
#ifndef JLM_LLVM_OPT_ALIAS_ANALYSES_MODREFSUMMARY_HPP
#define JLM_LLVM_OPT_ALIAS_ANALYSES_MODREFSUMMARY_HPP
 
#include <jlm/llvm/opt/alias-analyses/PointsToGraph.hpp>
#include <jlm/rvsdg/gamma.hpp>
#include <jlm/rvsdg/theta.hpp>
#include <jlm/util/HashSet.hpp>
 
namespace jlm::llvm::aa
{
 
class ModRefSummary
{
public:
  virtual ~ModRefSummary() noexcept = default;
 
  [[nodiscard]] virtual const PointsToGraph &
  GetPointsToGraph() const noexcept = 0;
 
  [[nodiscard]] virtual const util::HashSet<PointsToGraph::NodeIndex> &
  GetSimpleNodeModRef(const rvsdg::SimpleNode & node) const = 0;
 
  [[nodiscard]] virtual const util::HashSet<PointsToGraph::NodeIndex> &
  GetGammaEntryModRef(const rvsdg::GammaNode & gamma) const = 0;
 
  [[nodiscard]] virtual const util::HashSet<PointsToGraph::NodeIndex> &
  GetGammaExitModRef(const rvsdg::GammaNode & gamma) const = 0;
 
  [[nodiscard]] virtual const util::HashSet<PointsToGraph::NodeIndex> &
  GetThetaModRef(const rvsdg::ThetaNode & theta) const = 0;
 
  [[nodiscard]] virtual const util::HashSet<PointsToGraph::NodeIndex> &
  GetLambdaEntryModRef(const rvsdg::LambdaNode & lambda) const = 0;
 
  [[nodiscard]] virtual const util::HashSet<PointsToGraph::NodeIndex> &
  GetLambdaExitModRef(const rvsdg::LambdaNode & lambda) const = 0;
};
 
}
 
#endif // JLM_LLVM_OPT_ALIAS_ANALYSES_MODREFSUMMARY_HPP