diff options
| -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 |