StoreValueForwarding.hpp

Go to the documentation of this file.

/*
 * Copyright 2026 Håvard Krogstie <krogstie.havard@gmail.com>
 * See COPYING for terms of redistribution.
 */
 
#ifndef JLM_LLVM_OPT_STOREVALUEFORWARDING_HPP
#define JLM_LLVM_OPT_STOREVALUEFORWARDING_HPP
 
#include <jlm/llvm/opt/alias-analyses/AliasAnalysis.hpp>
#include <jlm/rvsdg/simple-node.hpp>
#include <jlm/rvsdg/Transformation.hpp>
 
namespace jlm::rvsdg
{
class Region;
}
 
namespace jlm::llvm
{
 
struct StoreValueOrigin;
class LoadTracingInfo;
 
class StoreValueForwarding final : public rvsdg::Transformation
{
  class Statistics;
  struct Context;
 
public:
  ~StoreValueForwarding() noexcept override;
 
  StoreValueForwarding();
 
  StoreValueForwarding(const StoreValueForwarding &) = delete;
 
  StoreValueForwarding(StoreValueForwarding &&) = delete;
 
  StoreValueForwarding &
  operator=(const StoreValueForwarding &) = delete;
 
  StoreValueForwarding &
  operator=(StoreValueForwarding &&) = delete;
 
  void
  Run(rvsdg::RvsdgModule & module, util::StatisticsCollector & statisticsCollector) override;
 
private:
  void
  traverseInterProceduralRegion(rvsdg::Region & region);
 
  void
  traverseIntraProceduralRegion(rvsdg::Region & region);
 
  void
  processLoadNode(rvsdg::SimpleNode & loadNode);
 
  void
  forwardStoredValues(LoadTracingInfo & tracingInfo);
 
  rvsdg::Output &
  getStoredValueOrigin(
      StoreValueOrigin storeValueOrigin,
      rvsdg::Region & targetRegion,
      LoadTracingInfo & tracingInfo);
 
  void
  connectUnroutedLoopPosts(LoadTracingInfo & tracingInfo);
 
  rvsdg::Output &
  routeOutputToRegion(rvsdg::Output & output, rvsdg::Region & region);
 
  std::unique_ptr<Context> context_;
};
 
}
 
#endif