[all-commits] [llvm/llvm-project] ac06f7: [mlir] Add attribute constraints for sorted order.

[Adrian Kuegel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ac06f7169fb0951026fb772a16dc13a08df5be86
      https://github.com/llvm/llvm-project/commit/ac06f7169fb0951026fb772a16dc13a08df5be86
  Author: Adrian Kuegel <akuegel at google.com>
  Date:   2022-10-05 (Wed, 05 Oct 2022)

  Changed paths:
    M mlir/include/mlir/IR/OpBase.td
    M mlir/test/IR/attribute.mlir
    M mlir/test/lib/Dialect/Test/TestOps.td

  Log Message:
  -----------
  [mlir] Add attribute constraints for sorted order.

We often have constraints for array attributes that they are sorted
non-decreasing or strictly increasing. This change adds AttrConstraint classes
that support DenseArrayAttr for integer types.

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