[all-commits] [llvm/llvm-project] 3c043a: [MLIR][Affine] Allow `<=` in IntegerSet constraints

[Kunwar Shaanjeet Singh Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3c043ab007a1ccd59ca401074b6edd6cb67a3e77
      https://github.com/llvm/llvm-project/commit/3c043ab007a1ccd59ca401074b6edd6cb67a3e77
  Author: Groverkss <groverkss at gmail.com>
  Date:   2022-07-05 (Tue, 05 Jul 2022)

  Changed paths:
    M mlir/docs/Dialects/Affine.md
    M mlir/lib/Parser/AffineParser.cpp
    M mlir/test/IR/affine-set.mlir
    M mlir/test/IR/invalid.mlir

  Log Message:
  -----------
  [MLIR][Affine] Allow `<=` in IntegerSet constraints

This patch extends the affine parser to allow affine constraints with `<=`.
This is useful in writing unittests for Presburger library and test in general.

The internal storage and printing of IntegerSet is still in the original format.

Reviewed By: bondhugula

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