[ConstraintElim] Improve debug test to show removed constraints (NFC).
authorFlorian Hahn <flo@fhahn.com>
Fri, 10 Feb 2023 16:26:38 +0000 (16:26 +0000)
committerFlorian Hahn <flo@fhahn.com>
Fri, 10 Feb 2023 16:26:38 +0000 (16:26 +0000)
The current checks show incorrect debug output.

llvm/test/Transforms/ConstraintElimination/debug.ll

index 2e8a41d..62f0ed2 100644 (file)
@@ -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