Skip to content

[Arith] Optional rewriting and simplification into AND of ORs #12972

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
csullivan merged 9 commits into from
Oct 13, 2022
Merged

[Arith] Optional rewriting and simplification into AND of ORs #12972

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
3c45fb3
[Arith][UnitTest] Unittests displaying desired behavior
Lunderberg Oct 3, 2022
a90e88e
[Arith] Optional rewriting and simplification into AND of ORs
Lunderberg Oct 7, 2022
ff3fb0c
Corrected example in analyzer.h
Lunderberg Oct 12, 2022
c4bc25b
Added underscore for private members
Lunderberg Oct 12, 2022
0650dff
Rename Cleanup() to RemoveTrueFalse()
Lunderberg Oct 12, 2022
c3a2b2d
Added comments for conversion to internal representation
Lunderberg Oct 12, 2022
3d22be1
Updated comment in test case
Lunderberg Oct 12, 2022
64e49ed
Preferntially order clauses according to first occurrence
Lunderberg Oct 12, 2022
c58bbc2
Added more unit tests
Lunderberg Oct 12, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions include/tvm/arith/analyzer.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -297,6 +297,14 @@ class RewriteSimplifier {
* if_then_else(i<j && j<k, i<k, false) => if_then_else(i<j && j<k, true, false)
*/
kTransitivelyProveInequalities = (1 << 0),

/* When simplifying a boolean expression, convert to an AND of ORs
* (conjunctive normal form).
*
* Example:
* (a && b) || c => (a || c) && (b || c)
*/
kConvertBooleanToAndOfOrs = (1 << 1),
};

/*! \brief Enable an optional extension or extensions
Expand Down
Loading