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

[Fehr Mathieu via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 62b2b399924cc98c349979a84f1e375b97ee924c
      https://github.com/llvm/llvm-project/commit/62b2b399924cc98c349979a84f1e375b97ee924c
  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