graph.hpp

Go to the documentation of this file.

/*
 * Copyright 2010 2011 2012 2013 2014 Helge Bahmann <hcb@chaoticmind.net>
 * Copyright 2011 2012 2013 2014 2015 2016 Nico Reißmann <nico.reissmann@gmail.com>
 * See COPYING for terms of redistribution.
 */
 
#ifndef JLM_RVSDG_GRAPH_HPP
#define JLM_RVSDG_GRAPH_HPP
 
#include <jlm/rvsdg/node.hpp>
#include <jlm/rvsdg/region.hpp>
 
namespace jlm::rvsdg
{
 
class GraphImport : public RegionArgument
{
public:
  GraphImport(Graph & graph, std::shared_ptr<const rvsdg::Type> type, std::string name);
 
  [[nodiscard]] const std::string &
  Name() const noexcept
  {
    return Name_;
  }
 
  [[nodiscard]] std::string
  debug_string() const override;
 
  GraphImport &
  Copy(Region & region, StructuralInput * input) const override;
 
  static GraphImport &
  Create(Graph & graph, std::shared_ptr<const rvsdg::Type> type, std::string name);
 
private:
  std::string Name_;
};
 
class GraphExport : public RegionResult
{
protected:
  GraphExport(Output & origin, std::string name);
 
public:
  [[nodiscard]] const std::string &
  Name() const noexcept
  {
    return Name_;
  }
 
  [[nodiscard]] std::string
  debug_string() const override;
 
  GraphExport &
  Copy(Output & origin, StructuralOutput * output) const override;
 
  static GraphExport &
  Create(Output & origin, std::string name);
 
private:
  std::string Name_;
};
 
class Graph final
{
public:
  ~Graph() noexcept;
 
  Graph();
 
  [[nodiscard]] Region::Id
  generateRegionId() noexcept
  {
    const auto regionId = nextRegionId_;
    nextRegionId_++;
    return regionId;
  }
 
  [[nodiscard]] Region &
  GetRootRegion() const noexcept
  {
    return *RootRegion_;
  }
 
  [[nodiscard]] std::unique_ptr<Graph>
  Copy() const;
 
  void
  PruneNodes()
  {
    GetRootRegion().prune(true);
  }
 
  static std::vector<Node *>
  ExtractTailNodes(const Graph & rvsdg);
 
private:
  Region::Id nextRegionId_;
  std::unique_ptr<Region> RootRegion_;
};
 
}
 
#endif