[all-commits] [llvm/llvm-project] 21dc4a: [MLIR][Presburger] skip IntegerPolyhedrons with Lo...

[Michel Weber via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 21dc4ad56aeee09ef36cf0ec25742be93a51a4f8
      https://github.com/llvm/llvm-project/commit/21dc4ad56aeee09ef36cf0ec25742be93a51a4f8
  Author: Michel Weber <michel.weber at inf.ethz.ch>
  Date:   2022-03-04 (Fri, 04 Mar 2022)

  Changed paths:
    M mlir/lib/Analysis/Presburger/PresburgerSet.cpp
    M mlir/unittests/Analysis/Presburger/PresburgerSetTest.cpp

  Log Message:
  -----------
  [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