pta.h

// This file if part of the llir-opt project.
// Licensing information can be found in the LICENSE file.
// (C) 2018 Nandor Licker. All rights reserved.
 
#pragma once
 
#include <unordered_set>
 
#include "core/analysis.h"
 
 
 
class PointsToAnalysis final : public Analysis {
public:
  static const char *kPassID;
 
  PointsToAnalysis(PassManager *passManager) : Analysis(passManager) {}
 
  bool Run(Prog &prog) override;
 
  const char *GetPassName() const override;
 
  bool IsReachable(Func *func) { return reachable_.count(func) != 0; }
 
private:
  std::unordered_set<Func *> reachable_;
};
 
template<> struct AnalysisID<PointsToAnalysis> { static char ID; };