[all-commits] [llvm/llvm-project] 4e4226: [mlir][vector] Clarify OOB semantics for `gather` ...

[Jakub Kuderski via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4e4226dc362f851ab57b8169041b722128e23a66
      https://github.com/llvm/llvm-project/commit/4e4226dc362f851ab57b8169041b722128e23a66
  Author: Jakub Kuderski <kubak at google.com>
  Date:   2023-03-13 (Mon, 13 Mar 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Vector/IR/VectorOps.td

  Log Message:
  -----------
  [mlir][vector] Clarify OOB semantics for `gather` and `scatter`

Reword the vector gather and scatter op description to make it
well-defined to have out-of-bounds indices when the corresponding mask
bits are false.

Update the code sample to avoid relying on C UB semantics to provide
informal semantics for vector.gather.

This change should be consistent with the existing interpretation of the
semantics in the codebase.

Issue: https://github.com/llvm/llvm-project/issues/60905

Reviewed By: dcaballe

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