[llvm-branch-commits] [mlir] 14056df - [MLIR] Add support for extracting an integer sample point (if one exists) from an unbounded FlatAffineConstraints.

2021-01-22 Thread Arjun P via llvm-branch-commits
Author: Arjun P Date: 2021-01-22T22:28:38+05:30 New Revision: 14056dfb4dc7b289fbd12c3bc82f68485bf9377c URL: https://github.com/llvm/llvm-project/commit/14056dfb4dc7b289fbd12c3bc82f68485bf9377c DIFF: https://github.com/llvm/llvm-project/commit/14056dfb4dc7b289fbd12c3bc82f68485bf9377c.diff LOG:

[llvm-branch-commits] [mlir] fa9851e - [MLIR] NFC: simplify PresburgerSet::isEqual

2021-01-18 Thread Arjun P via llvm-branch-commits
Author: Arjun P Date: 2021-01-18T22:47:25+05:30 New Revision: fa9851ebfee48014a1c48a7e7d625d9ecff3ebad URL: https://github.com/llvm/llvm-project/commit/fa9851ebfee48014a1c48a7e7d625d9ecff3ebad DIFF: https://github.com/llvm/llvm-project/commit/fa9851ebfee48014a1c48a7e7d625d9ecff3ebad.diff LOG:

[llvm-branch-commits] [mlir] 9f32f1d - [MLIR] Support checking if two FlatAffineConstraints are equal

2021-01-18 Thread Arjun P via llvm-branch-commits
Author: Arjun P Date: 2021-01-18T21:46:01+05:30 New Revision: 9f32f1d6fbfa4f4d654876e29c1c2b84e18b1a2e URL: https://github.com/llvm/llvm-project/commit/9f32f1d6fbfa4f4d654876e29c1c2b84e18b1a2e DIFF: https://github.com/llvm/llvm-project/commit/9f32f1d6fbfa4f4d654876e29c1c2b84e18b1a2e.diff LOG: