[all-commits] [llvm/llvm-project] f8b279: [mlir][scf]: Add value bound between scf for loop ...

[Aviad Cohen via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f8b27949a8c4fa8d8e15f9858e2ed38d7267f7dd
      https://github.com/llvm/llvm-project/commit/f8b27949a8c4fa8d8e15f9858e2ed38d7267f7dd
  Author: Aviad Cohen <aviadcohen7 at gmail.com>
  Date:   2025-01-19 (Sun, 19 Jan 2025)

  Changed paths:
    M mlir/lib/Dialect/SCF/IR/ValueBoundsOpInterfaceImpl.cpp
    M mlir/test/Dialect/SCF/value-bounds-op-interface-impl.mlir

  Log Message:
  -----------
  [mlir][scf]: Add value bound between scf for loop yield and result (#123200)

We can prove that:
%result == %init_arg + trip_count * (%yielded_value - %iter_arg). Where
trip_count is (ub - lb) / step.



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