PointsToGraphAliasAnalysis.hpp

Go to the documentation of this file.

/*
 * Copyright 2025 Håvard Krogstie <krogstie.havard@gmail.com>
 * See COPYING for terms of redistribution.
 */
 
#ifndef JLM_LLVM_OPT_ALIAS_ANALYSES_POINTSTOGRAPHALIASANALYSIS_HPP
#define JLM_LLVM_OPT_ALIAS_ANALYSES_POINTSTOGRAPHALIASANALYSIS_HPP
 
#include <jlm/llvm/opt/alias-analyses/AliasAnalysis.hpp>
#include <jlm/llvm/opt/alias-analyses/PointsToGraph.hpp>
 
#include <string>
 
namespace jlm::llvm::aa
{
 
class PointsToGraphAliasAnalysis : public AliasAnalysis
{
public:
  explicit PointsToGraphAliasAnalysis(std::shared_ptr<const PointsToGraph> pointsToGraph);
 
  ~PointsToGraphAliasAnalysis() noexcept override;
 
  [[nodiscard]] std::string
  ToString() const override;
 
  AliasQueryResponse
  Query(const rvsdg::Output & p1, size_t s1, const rvsdg::Output & p2, size_t s2) override;
 
private:
  [[nodiscard]] std::optional<PointsToGraph::NodeIndex>
  TryGetSingleTarget(PointsToGraph::NodeIndex node, size_t size) const;
 
  [[nodiscard]] bool
  IsRepresentingSingleMemoryLocation(PointsToGraph::NodeIndex node) const;
 
  std::shared_ptr<const PointsToGraph> pointsToGraph_;
};
 
} // namespace jlm::llvm::aa
 
#endif // JLM_LLVM_OPT_ALIAS_ANALYSES_POINTSTOGRAPHALIASANALYSIS_HPP