[all-commits] [llvm/llvm-project] 8a3481: [mlir] Add AllOfType and ConfinedType constraints

[Jeff Niu via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8a3481b958744aef8f23ade8d5d9b3e4b3230f58
      https://github.com/llvm/llvm-project/commit/8a3481b958744aef8f23ade8d5d9b3e4b3230f58
  Author: Jeff Niu <jeff at modular.com>
  Date:   2022-08-12 (Fri, 12 Aug 2022)

  Changed paths:
    M mlir/include/mlir/IR/OpBase.td

  Log Message:
  -----------
  [mlir] Add AllOfType and ConfinedType constraints

`AllOfType` is a type constraint that satisfies all given type
constraints and `ConfinedType` is a type that satisfies additional
predicates. These shorthands simplify type constraint definition mostly
by removing the need to deal with `myType.predicate` manipulation.

Reviewed By: jpienaar

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