[all-commits] [llvm/llvm-project] ff5f8e: [MLIR][Presburger] removeTrivialRedundancy: skip u...

[Leonid Gorbunov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ff5f8e513c6fb854cb11b05574c593c49f6f82d9
      https://github.com/llvm/llvm-project/commit/ff5f8e513c6fb854cb11b05574c593c49f6f82d9
  Author: Leonid Gorbunov <leon.tyumen at icloud.com>
  Date:   2025-05-28 (Wed, 28 May 2025)

  Changed paths:
    M mlir/lib/Analysis/Presburger/IntegerRelation.cpp

  Log Message:
  -----------
  [MLIR][Presburger] removeTrivialRedundancy: skip unnecessary check for duplicate constraints (#138969)

`removeTrivialRedundancy` first marks duplicate rows redundant, then
when multiple rows differ only by a constant term, it removes all but
one of them. Since the latter removes all but one duplicate row as well,
it is unnecessary (redundant!) to mark duplicate rows redundant. So we
remove this step.



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