InvariantValueRedirection.hpp

Go to the documentation of this file.

/*
 * Copyright 2017 Nico Reißmann <nico.reissmann@gmail.com>
 * See COPYING for terms of redistribution.
 */
 
#ifndef JLM_LLVM_OPT_INVARIANTVALUEREDIRECTION_HPP
#define JLM_LLVM_OPT_INVARIANTVALUEREDIRECTION_HPP
 
#include <jlm/rvsdg/Transformation.hpp>
 
namespace jlm::rvsdg
{
class GammaNode;
class Graph;
class Region;
class StructuralNode;
class ThetaNode;
class SimpleNode;
}
 
namespace jlm::llvm
{
 
class ThetaGammaPredicateCorrelation;
 
class InvariantValueRedirection final : public rvsdg::Transformation
{
  class Statistics;
 
public:
  struct Configuration
  {
    bool enableGammaOutputRedirection = true;
    bool enableThetaOutputRedirection = true;
    bool enableThetaGammaCorrelationRedirection = true;
    bool enableCallOutputRedirection = true;
    bool enableLoadMemoryStateRedirection = true;
  };
 
  ~InvariantValueRedirection() override;
 
  explicit InvariantValueRedirection(Configuration configuration)
      : Transformation("InvariantValueRedirection"),
        configuration_(std::move(configuration))
  {}
 
  void
  Run(rvsdg::RvsdgModule & module, util::StatisticsCollector & statisticsCollector) override;
 
  static void
  createAndRun(rvsdg::RvsdgModule & rvsdgModule, Configuration configuration);
 
private:
  void
  redirectInRootRegion(rvsdg::Graph & rvsdg);
 
  void
  redirectInRegion(rvsdg::Region & region);
 
  void
  redirectInSubregions(rvsdg::StructuralNode & structuralNode);
 
  static void
  redirectGammaOutputs(rvsdg::GammaNode & gammaNode);
 
  static void
  redirectThetaOutputs(rvsdg::ThetaNode & thetaNode);
 
  static void
  redirectThetaGammaOutputs(rvsdg::ThetaNode & thetaNode);
 
  static void
  redirectCallOutputs(rvsdg::SimpleNode & callNode);
 
  static void
  redirectLoadMemoryStates(rvsdg::SimpleNode & loadNode);
 
  Configuration configuration_{};
};
 
}
 
#endif