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

The current checks show incorrect debug output.
llvm · Feb 10, 2023 · 57606bb · 57606bb
1 parent 81a79ee
commit 57606bb
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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