[all-commits] [llvm/llvm-project] 15e50b: [mlir][IR] Clean up type constraints around `Value...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 15e50b1736002b730cbbe1bba74f05dfda4c8aaf
      https://github.com/llvm/llvm-project/commit/15e50b1736002b730cbbe1bba74f05dfda4c8aaf
  Author: Matthias Springer <me at m-sp.org>
  Date:   2025-02-07 (Fri, 07 Feb 2025)

  Changed paths:
    M mlir/include/mlir/Dialect/Arith/IR/ArithOps.td
    M mlir/include/mlir/Dialect/Polynomial/IR/PolynomialTypes.td
    M mlir/include/mlir/IR/CommonTypeConstraints.td

  Log Message:
  -----------
  [mlir][IR] Clean up type constraints around `ValueSemanticsContainerOf` (#126075)

* Remove duplicate `TypeOrContainer`. There is an identical class with
the same name: `TypeOrValueSemanticsContainer`.
* Remove `TypeOrContainerOfAnyRank` and use
`TypeOrValueSemanticsContainer` instead. `TypeOrContainerOfAnyRank` is
inconsistent with the other classes because it explicitly checks for
`VectorType` and `TensorType` instead of utilizing the value semantics
type trait.
* Remove `SignlessIntegerOrIndexLikeOfAnyRank` etc. and use
`SignlessIntegerOrIndexLike` instead. `SignlessIntegerOrIndexLike` etc.
already allow 0-d vectors, so there is no difference with
`SignlessIntegerOrIndexLikeOfAnyRank`.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications