diff options
| -rw-r--r-- | llvm/test/Transforms/InstSimplify/implies.ll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/test/Transforms/InstSimplify/implies.ll b/llvm/test/Transforms/InstSimplify/implies.ll index 2375965e59d..56e1e6a29c4 100644 --- a/llvm/test/Transforms/InstSimplify/implies.ll +++ b/llvm/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 |
