[all-commits] [llvm/llvm-project] db175d: [mlir][Tensor] Reject empty expand_shape reassocia...

[Akun via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: db175d4e22935a0b8992801d3e4be276c0a69794
      https://github.com/llvm/llvm-project/commit/db175d4e22935a0b8992801d3e4be276c0a69794
  Author: Akun <cubehan3 at gmail.com>
  Date:   2026-09-24 (Thu, 24 Sep 2026)

  Changed paths:
    M mlir/include/mlir/Dialect/Utils/ReshapeOpsUtils.h
    M mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp
    M mlir/lib/Dialect/Tensor/IR/TensorOps.cpp
    M mlir/test/Dialect/Tensor/invalid.mlir

  Log Message:
  -----------
  [mlir][Tensor] Reject empty expand_shape reassociation groups (#222648)

`tensor.expand_shape` with an empty reassociation group (e.g. `[[]]`)
used to abort the compiler: ExpandShapeOp::verify forwarded the group to
getSymbolLessAffineMaps, which asserts on missing affine expressions.
The sibling `tensor.collapse_shape` already rejects this input with a
clean diagnostic.

Extract the empty-group check into a helper shared by both tensor
reshape verifiers, invoke it from `ExpandShapeOp::verify`, and add an
invalid.mlir regression test that used to SIGABRT.

Fixes: #222602



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