[all-commits] [llvm/llvm-project] adabce: Correctly model undefined behavior in {tensor|memr...

[Sanjoy Das via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: adabce41185910227ca276a1cfd22e76443dd238
      https://github.com/llvm/llvm-project/commit/adabce41185910227ca276a1cfd22e76443dd238
  Author: Sanjoy Das <sanjoy.das at getcruise.com>
  Date:   2022-10-12 (Wed, 12 Oct 2022)

  Changed paths:
    M mlir/include/mlir/Dialect/MemRef/IR/MemRefOps.td
    M mlir/include/mlir/Dialect/Tensor/IR/TensorOps.td
    M mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp
    M mlir/lib/Dialect/Tensor/IR/TensorOps.cpp
    M mlir/test/Transforms/loop-invariant-code-motion.mlir

  Log Message:
  -----------
  Correctly model undefined behavior in {tensor|memref}.dim

These operations have undefined behavior if the index is not less than the rank of the source tensor / memref, so they cannot be freely speculated like they were before this patch.  After this patch we speculate them only if we can prove that they don't have UB.

Depends on D135505.

Reviewed By: mravishankar

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