[all-commits] [llvm/llvm-project] 1ba604: [MLIR][Presburger] Refactor subtraction in prepara...

[Arjun P via All-commits]

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

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

  Log Message:
  -----------
  [MLIR][Presburger] Refactor subtraction in preparation for making it iterative

Refactor the operation of subtraction by
- removing the usage of SimplexRollbackScopeExit since this
  can't be used in the iterative version
- reducing the number of stack variables to make the
  iterative version easier to follow

Reviewed By: Groverkss

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