reduction.hpp

Go to the documentation of this file.

/*
 * Copyright 2018 Nico Reißmann <nico.reissmann@gmail.com>
 * See COPYING for terms of redistribution.
 */
 
#ifndef JLM_LLVM_OPT_REDUCTION_HPP
#define JLM_LLVM_OPT_REDUCTION_HPP
 
#include <jlm/rvsdg/simple-node.hpp>
#include <jlm/rvsdg/Transformation.hpp>
#include <jlm/util/Statistics.hpp>
 
#include <optional>
 
namespace jlm::rvsdg
{
class Graph;
class Node;
class Region;
class Output;
class StructuralNode;
}
 
namespace jlm::llvm
{
 
class CallExitMemoryStateSplitOperation;
class LambdaEntryMemoryStateSplitOperation;
class LambdaExitMemoryStateMergeOperation;
class LoadNonVolatileOperation;
class MemoryStateJoinOperation;
class MemoryStateMergeOperation;
class MemoryStateSplitOperation;
class StoreNonVolatileOperation;
 
class NodeReduction final : public rvsdg::Transformation
{
public:
  class Statistics;
 
  ~NodeReduction() noexcept override;
 
  NodeReduction();
 
  NodeReduction(const NodeReduction &) = delete;
 
  NodeReduction(NodeReduction &&) = delete;
 
  NodeReduction &
  operator=(const NodeReduction &) = delete;
 
  NodeReduction &
  operator=(NodeReduction &&) = delete;
 
  void
  Run(rvsdg::RvsdgModule & rvsdgModule, util::StatisticsCollector & statisticsCollector) override;
 
private:
  void
  ReduceNodesInRegion(rvsdg::Region & region);
 
  [[nodiscard]] bool
  ReduceStructuralNode(rvsdg::StructuralNode & structuralNode);
 
  [[nodiscard]] static bool
  ReduceGammaNode(rvsdg::StructuralNode & gammaNode);
 
  [[nodiscard]] static bool
  ReduceSimpleNode(rvsdg::SimpleNode & simpleNode);
 
  [[nodiscard]] static bool
  ReduceLoadNode(rvsdg::SimpleNode & simpleNode);
 
  [[nodiscard]] static bool
  ReduceStoreNode(rvsdg::SimpleNode & simpleNode);
 
  [[nodiscard]] static bool
  ReduceMemoryStateMergeNode(rvsdg::SimpleNode & simpleNode);
 
  [[nodiscard]] static bool
  ReduceMemoryStateSplitNode(rvsdg::SimpleNode & simpleNode);
 
  [[nodiscard]] static bool
  ReduceLambdaExitMemoryStateMergeNode(rvsdg::SimpleNode & simpleNode);
 
  [[nodiscard]] static bool
  ReduceBinaryNode(rvsdg::SimpleNode & simpleNode);
 
  static std::optional<std::vector<rvsdg::Output *>>
  NormalizeLoadNode(
      const LoadNonVolatileOperation & operation,
      const std::vector<rvsdg::Output *> & operands);
 
  static std::optional<std::vector<rvsdg::Output *>>
  NormalizeStoreNode(
      const StoreNonVolatileOperation & operation,
      const std::vector<rvsdg::Output *> & operands);
 
  static std::optional<std::vector<rvsdg::Output *>>
  NormalizeMemoryStateMergeNode(
      const MemoryStateMergeOperation & operation,
      const std::vector<rvsdg::Output *> & operands);
 
  static std::optional<std::vector<rvsdg::Output *>>
  NormalizeMemoryStateJoinNode(
      const MemoryStateJoinOperation & operation,
      const std::vector<rvsdg::Output *> & operands);
 
  static std::optional<std::vector<rvsdg::Output *>>
  NormalizeMemoryStateSplitNode(
      const MemoryStateSplitOperation & operation,
      const std::vector<rvsdg::Output *> & operands);
 
  static std::optional<std::vector<rvsdg::Output *>>
  NormalizeLambdaExitMemoryStateMergeNode(
      const LambdaExitMemoryStateMergeOperation & operation,
      const std::vector<rvsdg::Output *> & operands);
 
  std::unique_ptr<Statistics> Statistics_;
};
 
class NodeReduction::Statistics final : public util::Statistics
{
public:
  ~Statistics() noexcept override = default;
 
  explicit Statistics(const util::FilePath & sourceFile)
      : util::Statistics(Id::ReduceNodes, sourceFile)
  {}
 
  void
  Start(const rvsdg::Graph & graph) noexcept;
 
  void
  End(const rvsdg::Graph & graph) noexcept;
 
  bool
  AddIteration(const rvsdg::Region & region, size_t numIterations);
 
  std::optional<size_t>
  GetNumIterations(const rvsdg::Region & region) const noexcept;
 
  static std::unique_ptr<Statistics>
  Create(const util::FilePath & sourceFile)
  {
    return std::make_unique<Statistics>(sourceFile);
  }
 
private:
  std::unordered_map<const rvsdg::Region *, size_t> NumIterations_;
};
 
}
 
#endif