[MLIR][Presburger] skip IntegerPolyhedrons with LocalIds in coalesce
authorMichel Weber <michel.weber@inf.ethz.ch>
Fri, 4 Mar 2022 15:04:37 +0000 (15:04 +0000)
committerArjun P <arjunpitchanathan@gmail.com>
Fri, 4 Mar 2022 16:12:04 +0000 (16:12 +0000)
commit21dc4ad56aeee09ef36cf0ec25742be93a51a4f8
tree078f5c5aa3c512c72d1e24921fb7538796ff4e19
parent8e6d2fe4d4035b5fe198e06fc08b707b58a64c68
[MLIR][Presburger] skip IntegerPolyhedrons with LocalIds in coalesce

This patch makes coalesce skip the comparison of all pairs of IntegerPolyhedrons with LocalIds rather than crash. The heuristics to handle these cases will be upstreamed later on.

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D120995
mlir/lib/Analysis/Presburger/PresburgerSet.cpp
mlir/unittests/Analysis/Presburger/PresburgerSetTest.cpp