projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df46fb4) | patch
[MLIR][Presburger] Update equality and subset checks asserts in IntegerRelation
authorGroverkss <groverkss@gmail.com>
Sat, 21 May 2022 19:50:50 +0000 (01:20 +0530)
committerGroverkss <groverkss@gmail.com>
Sat, 21 May 2022 19:56:41 +0000 (01:26 +0530)
commit8eebb47f9706b2016f2f6b772955066bf07249d7
tree3dcbccd2b51987e5e3fc3cb9487ad141505866datree | snapshot
parentdf46fb40557a14807dd508af32251ceb1cab8b86commit | diff
[MLIR][Presburger] Update equality and subset checks asserts in IntegerRelation

This patch updates asserts in IntegerRelation::isEqual and
IntegerRelation::isCompatible to allow these functions when number of
local identifiers are different. This change is done to reflect the
algorithmic changes done before this patch.
mlir/lib/Analysis/Presburger/IntegerRelation.cpp diff | blob | history
Domain: System / Toolchain;