[all-commits] [llvm/llvm-project] 86ef03: [MLIR][Affine] Fix affine memory op verifiers to c...

[Uday Bondhugula via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 86ef031b64fae51666b677ee3a700ecb1c428edd
      https://github.com/llvm/llvm-project/commit/86ef031b64fae51666b677ee3a700ecb1c428edd
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2025-02-22 (Sat, 22 Feb 2025)

  Changed paths:
    M mlir/lib/Dialect/Affine/IR/AffineOps.cpp
    M mlir/test/Conversion/FuncToSPIRV/func-ops-to-spirv.mlir
    M mlir/test/Dialect/Affine/invalid.mlir
    M mlir/test/Dialect/Affine/load-store-invalid.mlir

  Log Message:
  -----------
  [MLIR][Affine] Fix affine memory op verifiers to check valid dim/symbols properly (#127375)

The checks only checked if the operands were either valid dims and
symbols without checking which ones should be valid dims and which
should be valid symbols. The necessary methods to check already existed.

With this fix, for some existing tests, it leads to a more accurate
error message. In other cases, invalid IRs are caught as shown in the
test case added.

Related to: https://github.com/llvm/llvm-project/issues/120189



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