[all-commits] [llvm/llvm-project] 69db59: [mlir][arith] Disallow zero ranked tensors for sel...

[Manas via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 69db592f762ade86508826a7b3c9d5434c4837e2
      https://github.com/llvm/llvm-project/commit/69db592f762ade86508826a7b3c9d5434c4837e2
  Author: Manas <manas18244 at iiitd.ac.in>
  Date:   2023-06-01 (Thu, 01 Jun 2023)

  Changed paths:
    M mlir/docs/Bufferization.md
    M mlir/include/mlir/Dialect/Arith/IR/ArithOps.td
    M mlir/include/mlir/IR/OpBase.td
    M mlir/test/Dialect/Arith/invalid.mlir
    M mlir/test/IR/invalid-ops.mlir

  Log Message:
  -----------
  [mlir][arith] Disallow zero ranked tensors for select's condition

Zero ranked tensor (say tensor<i1>) when used for arith.select's condition,
crashes optimizer during bufferization. This patch puts a constraint on
condition to be either scalar or of matching shape as to its result.

Reviewed By: mehdi_amini

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