diff options
| author | Arjun P <arjunpitchanathan@gmail.com> | 2021-12-11 03:45:59 +0530 |
|---|---|---|
| committer | Arjun P <arjunpitchanathan@gmail.com> | 2021-12-11 03:48:40 +0530 |
| commit | d6f9bb0321e78ae1c920d10da0a369a11dfac6aa (patch) | |
| tree | a8adc53c42838c7608cfe99f7da6d6f718774331 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | 98db55f108a25953ea743629a874ced3da0058da (diff) | |
[MLIR] FlatAffineConstraints::isIntegerEmpty: fix bug in computation of duals
The method that was previously used for computing dual variables was incorrect.
This was used in the integer emptiness check algorithm, where this bug could lead to much longer running times. (Due to the way it is used, this never results in an incorrect emptiness check result.)
This patch fixes the dual computation and adds some additional asserts that catch this bug, along with regression test cases that trigger the asserts when the incorrect dual computation is used.
Reviewed By: Groverkss
Differential Revision: https://reviews.llvm.org/D113803
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions