[all-commits] [llvm/llvm-project] 1295a3: [mlir][irdl] Support variadicity check in operations

[Fehr Mathieu via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1295a351bd971a437d05c340436ab711daf09152
      https://github.com/llvm/llvm-project/commit/1295a351bd971a437d05c340436ab711daf09152
  Author: Mathieu Fehr <mathieu.fehr at gmail.com>
  Date:   2023-08-20 (Sun, 20 Aug 2023)

  Changed paths:
    M mlir/lib/Dialect/IRDL/IRDLLoading.cpp
    M mlir/test/Dialect/IRDL/variadics.irdl.mlir
    A mlir/test/Dialect/IRDL/variadics.mlir

  Log Message:
  -----------
  [mlir][irdl] Support variadicity check in operations

This patch adds support for loading IRDL operations that are
using optional or variadics operands and results.

If an operation declares more than one optional/variadic operand
or result, then it requires the segment sizes in the attribute
dictionary, and otherwise it is computed using the number of
operands or results.

Currently, a variadic operand or result definiton expects all
operands and results in that definition to have the same type.
This restriction will be removed in a following patch.

Depends on D153983

Reviewed By: Mogball, unterumarmung

Differential Revision: https://reviews.llvm.org/D154073