IOBarrier.hpp

Go to the documentation of this file.

/*
 * Copyright 2025 Nico Reißmann <nico.reissmann@gmail.com>
 * See COPYING for terms of redistribution.
 */
 
#ifndef JLM_LLVM_IR_OPERATORS_IOBARRIER_HPP
#define JLM_LLVM_IR_OPERATORS_IOBARRIER_HPP
 
#include <jlm/llvm/ir/types.hpp>
#include <jlm/rvsdg/operation.hpp>
#include <jlm/rvsdg/simple-node.hpp>
 
namespace jlm::llvm
{
 
class IOBarrierOperation final : public rvsdg::SimpleOperation
{
public:
  ~IOBarrierOperation() noexcept override;
 
  explicit IOBarrierOperation(const std::shared_ptr<const rvsdg::Type> & type)
      : SimpleOperation({ type, IOStateType::Create() }, { type })
  {}
 
  [[nodiscard]] const std::shared_ptr<const rvsdg::Type> &
  Type() const noexcept
  {
    return result(0);
  }
 
  bool
  operator==(const Operation & other) const noexcept override;
 
  std::string
  debug_string() const override;
 
  std::unique_ptr<Operation>
  copy() const override;
 
  [[nodiscard]] static rvsdg::Input &
  BarredInput(const rvsdg::Node & node) noexcept
  {
    JLM_ASSERT(rvsdg::is<IOBarrierOperation>(&node));
    const auto input = node.input(0);
    return *input;
  }
 
  [[nodiscard]] static rvsdg::Input &
  getIOStateInput(const rvsdg::Node & node) noexcept
  {
    JLM_ASSERT(rvsdg::is<IOBarrierOperation>(&node));
    const auto input = node.input(1);
    JLM_ASSERT(rvsdg::is<IOStateType>(input->Type()));
    return *input;
  }
 
  static rvsdg::SimpleNode &
  createNode(rvsdg::Output & value, rvsdg::Output & ioState)
  {
    return rvsdg::CreateOpNode<IOBarrierOperation>({ &value, &ioState }, value.Type());
  }
};
 
}
 
#endif // JLM_LLVM_IR_OPERATORS_IOBARRIER_HPP