[all-commits] [llvm/llvm-project] 92744f: [MLIR] Add flat affine constraints method to round...

[Uday Bondhugula via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 92744f624783d92a07db25bc76e181b879f17e5b
      https://github.com/llvm/llvm-project/commit/92744f624783d92a07db25bc76e181b879f17e5b
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2020-03-26 (Thu, 26 Mar 2020)

  Changed paths:
    M mlir/include/mlir/Analysis/AffineStructures.h
    M mlir/include/mlir/Analysis/Utils.h
    M mlir/lib/Analysis/AffineStructures.cpp
    M mlir/lib/Analysis/Utils.cpp
    M mlir/lib/Dialect/Affine/Transforms/SimplifyAffineStructures.cpp
    M mlir/test/Dialect/Affine/simplify-affine-structures.mlir

  Log Message:
  -----------
  [MLIR] Add flat affine constraints method to round trip integer set

- add method to get back an integer set from flat affine constraints;
  this allows a round trip
- use this to complete the simplification of integer sets in
  -simplify-affine-structures
- update FlatAffineConstraints::removeTrivialRedundancy to also do GCD
  tightening and normalize by GCD (while still keeping it linear time).

Signed-off-by: Uday Bondhugula <uday at polymagelabs.com>