[all-commits] [llvm/llvm-project] 4a57f5: [MLIR] PresburgerSet: support divisions in operations

[Arjun P via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4a57f5d1e1c5eff98fd03932f9a0f8efa13c3a77
      https://github.com/llvm/llvm-project/commit/4a57f5d1e1c5eff98fd03932f9a0f8efa13c3a77
  Author: Arjun P <arjunpitchanathan at gmail.com>
  Date:   2021-09-24 (Fri, 24 Sep 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] PresburgerSet: support divisions in operations

Add support for intersecting, subtracting, complementing and checking equality of sets having divisions.

Reviewed By: bondhugula

Differential Revision: https://reviews.llvm.org/D110138