[all-commits] [llvm/llvm-project] 7090df: [mlir][scf]: Add value bound for the computed uppe...

[Amir Bishara via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7090dff6fe1e788517be0c49ee8c87d7cfa54b63
      https://github.com/llvm/llvm-project/commit/7090dff6fe1e788517be0c49ee8c87d7cfa54b63
  Author: Amir Bishara <139038766+amirBish at users.noreply.github.com>
  Date:   2025-02-10 (Mon, 10 Feb 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 for the computed upper bound of for loop (#126426)

Add additional bound for the induction variable of the `scf.for` such
that:
`%iv <= %lower_bound + (%trip_count - 1) * step`



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