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

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 24e4429980b3df039166c1ee6a9e530cc6f054c9
      https://github.com/llvm/llvm-project/commit/24e4429980b3df039166c1ee6a9e530cc6f054c9
  Author: Matthias Springer <me at m-sp.org>
  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 (#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