[mlir] Fix signed ceildiv, loop normalization.
authorHendrik Greving <hgreving@google.com>
Tue, 30 Aug 2022 16:14:11 +0000 (09:14 -0700)
committerHendrik Greving <hgreving@google.com>
Tue, 30 Aug 2022 16:55:04 +0000 (09:55 -0700)
commit0f6a2cd2aba6a115cf468c0de648f35d6a689836
tree01e32b03ebd27410e8bfcc04abf6f5a913e65ebe
parent6a2190dffca638de2ced77c6a773067af1529c51
[mlir] Fix signed ceildiv, loop normalization.

Fixes using the signed ceildiv op instead of incorrectly assuming positive loop bounds.
Adjusts the tests for above.

Differential Revision: https://reviews.llvm.org/D132953
mlir/lib/Dialect/SCF/Utils/Utils.cpp
mlir/test/Dialect/Affine/loop-coalescing.mlir