[ConstraintElimination] Extend test coverage.
authorFlorian Hahn <flo@fhahn.com>
Thu, 28 Jan 2021 16:34:09 +0000 (16:34 +0000)
committerFlorian Hahn <flo@fhahn.com>
Sat, 6 Feb 2021 21:21:48 +0000 (21:21 +0000)
commit14da287e18846ea86e45b421dc47f78ecc5aa7cb
treec0b412441053a716cf203e50726c0b67f59c37a8
parente6810cab09fcbc87b6e5e4d226de0810e2f2ea38
[ConstraintElimination] Extend test coverage.

This patch adds a lot of additional tests, focusing on loops and GEP
arithmetic. Some of the tests expose existing problems, which will be
fixed soon.
15 files changed:
llvm/test/Transforms/ConstraintElimination/add-nuw.ll
llvm/test/Transforms/ConstraintElimination/add.ll
llvm/test/Transforms/ConstraintElimination/and.ll
llvm/test/Transforms/ConstraintElimination/gep-arithmetic.ll [new file with mode: 0644]
llvm/test/Transforms/ConstraintElimination/geps.ll
llvm/test/Transforms/ConstraintElimination/loops-bottom-tested-base.ll [new file with mode: 0644]
llvm/test/Transforms/ConstraintElimination/loops-bottom-tested-pointer-cmps.ll [new file with mode: 0644]
llvm/test/Transforms/ConstraintElimination/loops-header-tested-base.ll [new file with mode: 0644]
llvm/test/Transforms/ConstraintElimination/loops-header-tested-pointer-cmps.ll [new file with mode: 0644]
llvm/test/Transforms/ConstraintElimination/loops-header-tested-pointer-iv.ll [new file with mode: 0644]
llvm/test/Transforms/ConstraintElimination/loops.ll
llvm/test/Transforms/ConstraintElimination/sub-nuw.ll
llvm/test/Transforms/ConstraintElimination/sub.ll
llvm/test/Transforms/ConstraintElimination/vector-compares.ll [new file with mode: 0644]
llvm/test/Transforms/ConstraintElimination/wrapping-math.ll [new file with mode: 0644]