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

[Matthias Springer via All-commits]

  Branch: refs/heads/users/matthias-springer/value_bounds_scf_for2
  Home:   https://github.com/llvm/llvm-project
  Commit: b382d8a6ff7969fbc8de789c1b2846aaf7b9ad23
      https://github.com/llvm/llvm-project/commit/b382d8a6ff7969fbc8de789c1b2846aaf7b9ad23
  Author: Matthias Springer <me at m-sp.org>
  Date:   2024-04-06 (Sat, 06 Apr 2024)

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

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

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