projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16bf02c) | patch
[MLIR] Support checking if two FlatAffineConstraints are equal
authorArjun P <arjunpitchanathan@gmail.com>
Mon, 18 Jan 2021 15:30:21 +0000 (21:00 +0530)
committerArjun P <arjunpitchanathan@gmail.com>
Mon, 18 Jan 2021 16:16:01 +0000 (21:46 +0530)
commit9f32f1d6fbfa4f4d654876e29c1c2b84e18b1a2e
treecc0907c7eb28eafba4981c9dee5305426d5578b7tree | snapshot
parent16bf02c3a19d4e1f4a19cb243de612e17f54f5a9commit | diff
[MLIR] Support checking if two FlatAffineConstraints are equal

This patch adds support for checking if two PresburgerSets are equal. In particular, one can check if two FlatAffineConstraints are equal by constructing PrebsurgerSets from them and comparing these.

Reviewed By: ftynse

Differential Revision: https://reviews.llvm.org/D94915
mlir/include/mlir/Analysis/PresburgerSet.h diff | blob | history
mlir/lib/Analysis/PresburgerSet.cpp diff | blob | history
mlir/unittests/Analysis/PresburgerSetTest.cpp diff | blob | history
Domain: System / Toolchain;