diff options
| author | Florian Hahn <flo@fhahn.com> | 2023-02-10 16:26:38 +0000 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2023-02-10 16:26:38 +0000 |
| commit | 57606bb356199dbb51c20f28bd57f6c34c521abf (patch) | |
| tree | 6adbca3d17ad81b0ed73230dc81bbe4483d8691d /llvm/test/Transforms/ConstraintElimination/debug.ll | |
| parent | 81a79ee446fe499e217144ae1cd505ede9021712 (diff) | |
| download | llvm-57606bb356199dbb51c20f28bd57f6c34c521abf.zip llvm-57606bb356199dbb51c20f28bd57f6c34c521abf.tar.gz llvm-57606bb356199dbb51c20f28bd57f6c34c521abf.tar.bz2 | |
[ConstraintElim] Improve debug test to show removed constraints (NFC).
The current checks show incorrect debug output.
Diffstat (limited to 'llvm/test/Transforms/ConstraintElimination/debug.ll')
| -rw-r--r-- | llvm/test/Transforms/ConstraintElimination/debug.ll | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/llvm/test/Transforms/ConstraintElimination/debug.ll b/llvm/test/Transforms/ConstraintElimination/debug.ll index 2e8a41d..62f0ed2 100644 --- a/llvm/test/Transforms/ConstraintElimination/debug.ll +++ b/llvm/test/Transforms/ConstraintElimination/debug.ll @@ -16,6 +16,9 @@ define i1 @test_and_ule(i4 %x, i4 %y, i4 %z) { ; CHECK: Checking %t.1 = icmp ule i4 %x, %z ; CHECK: Condition %t.1 = icmp ule i4 %x, %z implied by dominating constraints +; CHECK: Removing %x + -1 * %y <= 0 +; CHECK: Removing %x + -1 * %y <= 0 + entry: %c.1 = icmp ule i4 %x, %y %c.2 = icmp ule i4 %y, %z |