[all-commits] [llvm/llvm-project] 9f32f1: [MLIR] Support checking if two FlatAffineConstrain...

[Arjun P via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9f32f1d6fbfa4f4d654876e29c1c2b84e18b1a2e
      https://github.com/llvm/llvm-project/commit/9f32f1d6fbfa4f4d654876e29c1c2b84e18b1a2e
  Author: Arjun P <arjunpitchanathan at gmail.com>
  Date:   2021-01-18 (Mon, 18 Jan 2021)

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

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