ValueCopy.h

Go to the documentation of this file.

//===-- ValueCopy.h - Mutable value-copy materialization --------*- C++ -*-===//
//
// Part of the LLZK Project, under the Apache License v2.0.
// See LICENSE.txt for license information.
// Copyright 2026 Project LLZK
// SPDX-License-Identifier: Apache-2.0
//
//===----------------------------------------------------------------------===//
 
#pragma once
 
#include <mlir/IR/Builders.h>
#include <mlir/IR/DialectInterface.h>
#include <mlir/Support/LLVM.h>
 
#include <string>
 
namespace llzk {

class ValueCopyDialectInterface : public mlir::DialectInterface::Base<ValueCopyDialectInterface> {
public:
  using Base::Base;

  virtual bool canMaterializeValueCopy(mlir::Type type) const = 0;

  virtual std::string getValueCopyFailureReason(mlir::Type type) const;

  virtual mlir::FailureOr<mlir::Value>
  materializeValueCopy(mlir::OpBuilder &builder, mlir::Location loc, mlir::Value source) const = 0;
};

bool requiresValueCopy(mlir::Type type);

bool canMaterializeValueCopy(mlir::Type type);

inline bool requiresUnsupportedValueCopy(mlir::Type type) {
  return requiresValueCopy(type) && !canMaterializeValueCopy(type);
}

std::string getValueCopyFailureReason(mlir::Type type);

mlir::FailureOr<mlir::Value>
materializeValueCopy(mlir::OpBuilder &builder, mlir::Location loc, mlir::Value source);
 
} // namespace llzk