OSDN Git Service
(root)
/
android-x86
/
external-llvm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
31068d5
)
[ValueTracking] Correct lit test comments. NFC.
author
Chad Rosier
<mcrosier@codeaurora.org>
Mon, 18 Apr 2016 19:11:45 +0000
(19:11 +0000)
committer
Chad Rosier
<mcrosier@codeaurora.org>
Mon, 18 Apr 2016 19:11:45 +0000
(19:11 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@266657
91177308
-0d34-0410-b5e6-
96231b3b80d8
test/Transforms/InstSimplify/implies.ll
patch
|
blob
|
history
diff --git
a/test/Transforms/InstSimplify/implies.ll
b/test/Transforms/InstSimplify/implies.ll
index
2375965
..
56e1e6a
100644
(file)
--- a/
test/Transforms/InstSimplify/implies.ll
+++ b/
test/Transforms/InstSimplify/implies.ll
@@
-128,7
+128,7
@@
define i1 @test7(i32 %length.i, i32 %i) {
ret i1 %res
}
-; i +_{nuw} 1 <
s
L ==> i < L +_{nuw} 1
+; i +_{nuw} 1 <
u
L ==> i < L +_{nuw} 1
define i1 @test8(i32 %length.i, i32 %i) {
; CHECK-LABEL: @test8(
; CHECK: ret i1 true
@@
-141,7
+141,7
@@
define i1 @test8(i32 %length.i, i32 %i) {
ret i1 %res
}
-; i +_{nuw} C <
s
L ==> i < L, even if C is negative
+; i +_{nuw} C <
u
L ==> i < L, even if C is negative
define i1 @test9(i32 %length.i, i32 %i) {
; CHECK-LABEL: @test9(
; CHECK: ret i1 true