[all-commits] [llvm/llvm-project] 788390: Make scf.for and affine.for conditionally speculat...

[Sanjoy Das via All-commits]

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

  Changed paths:
    M mlir/include/mlir/Dialect/Affine/IR/AffineOps.td
    M mlir/include/mlir/Dialect/SCF/IR/SCFOps.td
    M mlir/lib/Dialect/Affine/IR/AffineOps.cpp
    M mlir/lib/Dialect/SCF/IR/SCF.cpp
    M mlir/test/Transforms/loop-invariant-code-motion.mlir

  Log Message:
  -----------
  Make scf.for and affine.for conditionally speculatable

for (I = Start; I < End; I += 1) always terminates so mark
{scf|affine}.for as RecursivelySpeculatable when step is known to be
1.

Reviewed By: chelini

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