[all-commits] [llvm/llvm-project] c6a8be: [MLIR][FlatAffineConstraints] Add support for extr...

[Kunwar Shaanjeet Singh Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c6a8bec4c578a7c12e4458b161fce7b1704804a2
      https://github.com/llvm/llvm-project/commit/c6a8bec4c578a7c12e4458b161fce7b1704804a2
  Author: Groverkss <groverkss at gmail.com>
  Date:   2021-12-11 (Sat, 11 Dec 2021)

  Changed paths:
    M mlir/lib/Analysis/AffineStructures.cpp
    M mlir/unittests/Analysis/AffineStructuresTest.cpp

  Log Message:
  -----------
  [MLIR][FlatAffineConstraints] Add support for extracting divisions with tighter bounds

This patch adds support for extracting divisions when the set contains bounds
which are tighter than the division bounds. For example:

```
     3q - i + 2 >= 0                       <-- Lower bound for 'q'
    -3q + i - 1 >= 0                       <-- Tighter upper bound for 'q'
```

Here, the actual upper bound for division for `q` would be `-3q + i >= 0`, but
since this actual upper bound is implied by a tighter upper bound, which awe can still
extract the divison.

Reviewed By: arjunp

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