[all-commits] [llvm/llvm-project] 6ed2d3: [mlir][tosa] Add verifier for tosa.reverse (#70500)

[Felix Schneider via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6ed2d30d2f944824efeadb67721b57bfcf5b473b
      https://github.com/llvm/llvm-project/commit/6ed2d30d2f944824efeadb67721b57bfcf5b473b
  Author: Felix Schneider <fx.schn at gmail.com>
  Date:   2023-10-28 (Sat, 28 Oct 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Tosa/IR/TosaOps.td
    M mlir/lib/Dialect/Tosa/IR/TosaOps.cpp
    M mlir/test/Dialect/Tosa/canonicalize.mlir
    M mlir/test/Dialect/Tosa/invalid.mlir

  Log Message:
  -----------
  [mlir][tosa] Add verifier for tosa.reverse (#70500)

This patch adds a verifier to tosa.reverse which checks the axis
argument and input/output tensor ranks for validity. We allow a special
case where `axis == 0 && rank == 0`.