[all-commits] [llvm/llvm-project] 4a3c86: [mlir] Fix arith verifier for tensor with encoding

[Thomas via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4a3c865d8ed2fc60170495bc6e6e2a9356e5faf2
      https://github.com/llvm/llvm-project/commit/4a3c865d8ed2fc60170495bc6e6e2a9356e5faf2
  Author: Thomas Raoux <thomas.raoux at openai.com>
  Date:   2023-07-28 (Fri, 28 Jul 2023)

  Changed paths:
    M mlir/lib/Dialect/Arith/IR/ArithOps.cpp
    M mlir/test/Dialect/Arith/invalid.mlir
    M mlir/test/Dialect/Arith/ops.mlir

  Log Message:
  -----------
  [mlir] Fix arith verifier for tensor with encoding

The verifier for some arith ops were not considering that ranked
tensor types can have encodings.

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