[all-commits] [llvm/llvm-project] d71a8b: [MLIR][Affine] Allow affine-expr on RHS in IntegerSet

[Kunwar Shaanjeet Singh Grover via All-commits]

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

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

  Log Message:
  -----------
  [MLIR][Affine] Allow affine-expr on RHS in IntegerSet

Currently, the parser for IntegerSet, only allows constraints like:

```
affine-constraint ::= affine-expr `>=` `0`
                    | affine-expr `==` `0`
```

This form is sometimes unreadable and painful to use when writing unittests
for Presburger library and tests in general.

This patch extends the parser to allow affine constraints with affine-expr on
the RHS:

```
affine-constraint ::= affine-expr `>=` `affine-expr`
                    | affine-expr `==` `affine-expr`
```

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

Reviewed By: bondhugula

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