[all-commits] [llvm/llvm-project] ac646b: [mlir][vector] Verify non-unit strides on `masked/...

[Federico Bruzzone via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ac646b5be0d7764a1dbeb86e4f8d54df2d4fd3eb
      https://github.com/llvm/llvm-project/commit/ac646b5be0d7764a1dbeb86e4f8d54df2d4fd3eb
  Author: Federico Bruzzone <federico.bruzzone.i at gmail.com>
  Date:   2026-08-07 (Fri, 07 Aug 2026)

  Changed paths:
    M mlir/lib/Dialect/Vector/IR/VectorOps.cpp
    M mlir/test/Dialect/Vector/invalid.mlir

  Log Message:
  -----------
  [mlir][vector] Verify non-unit strides on `masked/expand/compress` ops  (#210952)

Closes the stride-verification gap left open by #204611 and #205869.

`vector.maskedload`/`maskedstore`/`expandload`/`compressstore` lower to
LLVM masked intrinsics that read/write N *consecutive* elements from a
single pointer (see [LangRef](https://llvm.org/docs/LangRef.htm)), but
none of them verified the memref's minor-dim stride, so `strided<[2]>`
verified successfully and silently miscompiled.

This PR rejects statically-known non-unit and dynamic strides.

**Stacked on #211004**

---------

Signed-off-by: Federico Bruzzone <federico.bruzzone.i at gmail.com>



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