projects
/
platform
/
upstream
/
llvm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
81a79ee
)
[ConstraintElim] Improve debug test to show removed constraints (NFC).
author
Florian Hahn
<flo@fhahn.com>
Fri, 10 Feb 2023 16:26:38 +0000
(16:26 +0000)
committer
Florian 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
patch
|
blob
|
history
diff --git
a/llvm/test/Transforms/ConstraintElimination/debug.ll
b/llvm/test/Transforms/ConstraintElimination/debug.ll
index
2e8a41d
..
62f0ed2
100644
(file)
--- 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