projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb1a1f4) | patch
[MLIR][Presburger][Simplex] addSymbolicCut: don't add symbol div if denom is 1
authorArjun P <arjunpitchanathan@gmail.com>
Mon, 11 Apr 2022 20:21:34 +0000 (21:21 +0100)
committerArjun P <arjunpitchanathan@gmail.com>
Tue, 12 Apr 2022 11:27:27 +0000 (12:27 +0100)
commit4aeb2a57f4699de4118e0b2508918235daaf408d
treedeca32cebb915f2f5fe418a428e69a0ec634085atree | snapshot
parentbb1a1f42db190ab2daefb52b0db1ae6a76ce8f63commit | diff
[MLIR][Presburger][Simplex] addSymbolicCut: don't add symbol div if denom is 1

This is unncessary, so we remove it as an optimization.

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D123540
mlir/lib/Analysis/Presburger/Simplex.cpp diff | blob | history
Domain: System / Toolchain;