[all-commits] [llvm/llvm-project] ef8b2a: [MLIR][Presburger] addSymbolicCut: fix the integra...

[Arjun P via All-commits]

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

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

  Log Message:
  -----------
  [MLIR][Presburger] addSymbolicCut: fix the integral symbols heuristic to match the docs

Previously this checked if the entire symbolic numerator was divisible by the
denominator, which is never the case when this function is called. Fixed this to
check only the non-const coefficients in the numerator, which was what was
intended and documented.

Reviewed By: Groverkss

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