OpInterfaces.td

Go to the documentation of this file.

//===-- OpInterfaces.td ------------------------------------*- tablegen -*-===//
//
// Part of the LLZK Project, under the Apache License v2.0.
// See LICENSE.txt for license information.
// Copyright 2025 Veridise Inc.
// SPDX-License-Identifier: Apache-2.0
//
//===----------------------------------------------------------------------===//
 
#ifndef LLZK_STRUCT_OP_INTERFACES
#define LLZK_STRUCT_OP_INTERFACES
 
include "llzk/Dialect/Struct/IR/Types.td"
 
def FieldRefOpInterface : OpInterface<"FieldRefOpInterface"> {
  let description = [{
    Common interface for operations that read or write from a field.
  }];
  let cppNamespace = "::llzk::component";
 
  let methods = [
      // Requires implementors to have a '$val' argument.
      InterfaceMethod<
          [{Gets the SSA Value that holds the read/write data for the FieldRefOp.}],
          "::mlir::Value", "getVal", (ins)>,
      // Requires implementors to have a '$component' argument.
      InterfaceMethod<
          [{Gets the SSA value with the target component from the FieldRefOp.}],
          "::mlir::TypedValue<::llzk::component::StructType>", "getComponent",
          (ins)>,
      // Requires implementors to have a '$field_name' argument.
      InterfaceMethod<
          [{Gets the field name attribute value from the FieldRefOp.}],
          "::llvm::StringRef", "getFieldName", (ins)>,
      InterfaceMethod<[{Gets the field name attribute from the FieldRefOp.}],
                      "::mlir::FlatSymbolRefAttr", "getFieldNameAttr", (ins)>,
      // Requires the '$component' argument type to be LLZK_StructType.
      InterfaceMethod<
          [{Gets the struct type of the target component.}],
          "::llzk::component::StructType", "getStructType", (ins),
          /*methodBody=*/[{ return $_op.getComponent().getType(); }]>,
      InterfaceMethod<
          [{Return `true` if the op is a read, `false` if it's a write.}],
          "bool", "isRead", (ins)>,
  ];
 
  let extraClassDeclaration = [{
    /// Gets the definition for the `field` referenced in this op.
    ::mlir::FailureOr<SymbolLookupResult<FieldDefOp>> getFieldDefOp(::mlir::SymbolTableCollection &tables);
  }];
}
 
#endif // LLZK_STRUCT_OP_INTERFACES