[llvm] 57606bb - [ConstraintElim] Improve debug test to show removed constraints (NFC).

[Florian Hahn via llvm-commits]

Author: Florian Hahn
Date: 2023-02-10T16:26:38Z
New Revision: 57606bb356199dbb51c20f28bd57f6c34c521abf

URL: https://github.com/llvm/llvm-project/commit/57606bb356199dbb51c20f28bd57f6c34c521abf
DIFF: https://github.com/llvm/llvm-project/commit/57606bb356199dbb51c20f28bd57f6c34c521abf.diff

LOG: [ConstraintElim] Improve debug test to show removed constraints (NFC).

The current checks show incorrect debug output.

Added: 
    

Modified: 
    llvm/test/Transforms/ConstraintElimination/debug.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/ConstraintElimination/debug.ll b/llvm/test/Transforms/ConstraintElimination/debug.ll
index 2e8a41da51dcf..62f0ed2e1b9f2 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