mem-conv.hpp

Go to the documentation of this file.

/*
 * Copyright 2021 David Metz <david.c.metz@ntnu.no>
 * See COPYING for terms of redistribution.
 */
 
#ifndef JLM_BACKEND_HLS_RVSDG2RHLS_MEM_CONV_HPP
#define JLM_BACKEND_HLS_RVSDG2RHLS_MEM_CONV_HPP
 
#include <jlm/llvm/ir/operators/IntegerOperations.hpp>
#include <jlm/llvm/ir/operators/lambda.hpp>
#include <jlm/rvsdg/Transformation.hpp>
 
namespace jlm::hls
{
 
struct TracedPointerNodes
{
  [[nodiscard]] bool
  isEmpty() const noexcept
  {
    return loadNodes.empty() && storeNodes.empty() && decoupleNodes.empty();
  }
 
  std::vector<rvsdg::Node *> loadNodes{};
  std::vector<rvsdg::Node *> storeNodes{};
  std::vector<rvsdg::Node *> decoupleNodes{};
};
 
std::vector<TracedPointerNodes>
TracePointerArguments(const rvsdg::LambdaNode * lambda);
 
jlm::rvsdg::SimpleNode *
find_decouple_response(
    const jlm::rvsdg::LambdaNode * lambda,
    const jlm::llvm::IntegerConstantOperation * request_constant);
 
class MemoryConverter final : public rvsdg::Transformation
{
public:
  ~MemoryConverter() noexcept override;
 
  MemoryConverter();
 
  MemoryConverter(const MemoryConverter &) = delete;
 
  MemoryConverter &
  operator=(const MemoryConverter &) = delete;
 
  void
  Run(rvsdg::RvsdgModule & rvsdgModule, util::StatisticsCollector & statisticsCollector) override;
 
  static void
  CreateAndRun(rvsdg::RvsdgModule & rvsdgModule, util::StatisticsCollector & statisticsCollector)
  {
    MemoryConverter memoryConverter;
    memoryConverter.Run(rvsdgModule, statisticsCollector);
  }
};
 
} // namespace jlm::hls
 
#endif // JLM_BACKEND_HLS_RVSDG2RHLS_MEM_CONV_HPP