[all-commits] [llvm/llvm-project] 69c1a3: [MLIR][Presburger][Simplex] moveRowUnknownToColumn...

Arjun P via All-commits all-commits at lists.llvm.org
Fri Apr 15 12:15:15 PDT 2022

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 69c1a354885134303a17bac9e36a913cee92996c
  Author: Arjun P <arjunpitchanathan at gmail.com>
  Date:   2022-04-15 (Fri, 15 Apr 2022)

  Changed paths:
    M mlir/include/mlir/Analysis/Presburger/Simplex.h
    M mlir/lib/Analysis/Presburger/Simplex.cpp

  Log Message:
  [MLIR][Presburger][Simplex] moveRowUnknownToColumn: support the row sample value being zero

When the sample value is zero, everything is the same except that failure to
pivot does not imply emptiness. So, leave it to the user to mark as empty if
necessary, if they know the sample value is strictly negative. This is needed
for an upcoming symbolic lexmin heuristic.

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D123604

More information about the All-commits mailing list