[all-commits] [llvm/llvm-project] f8f424: [mlir][SCF][NFC] `ValueBoundsConstraintSet`: Simpl...

[Matthias Springer via All-commits]

  Branch: refs/heads/users/matthias-springer/value_bounds_scf_for
  Home:   https://github.com/llvm/llvm-project
  Commit: f8f4249a9ccc6da9326a2272b1c5df4ac9bd2650
      https://github.com/llvm/llvm-project/commit/f8f4249a9ccc6da9326a2272b1c5df4ac9bd2650
  Author: Matthias Springer <springerm at google.com>
  Date:   2024-04-05 (Fri, 05 Apr 2024)

  Changed paths:
    M mlir/lib/Dialect/SCF/IR/ValueBoundsOpInterfaceImpl.cpp

  Log Message:
  -----------
  [mlir][SCF][NFC] `ValueBoundsConstraintSet`: Simplify `scf.for` implementation

This commit simplifies the implementation of the `ValueBoundsOpInterface` for `scf.for` based on the newly added `ValueBoundsConstraintSet::compare` API and adds additional documentation.

Previously, the interface implementation created a new constraint set just to check if the yielded value and iter_arg are equal. This was inefficient because constraints were added multiple times (to two different constraint sets) for ops that are inside the loop.



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