HomePhabricator

[MLIR] Add support for extracting an integer sample point (if one exists) from…

Authored by arjunp on Jan 22 2021, 7:34 AM.

Description

[MLIR] Add support for extracting an integer sample point (if one exists) from an unbounded FlatAffineConstraints.

With this, we have complete support for finding integer sample points in FlatAffineConstraints.

Reviewed By: ftynse

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