diff options
Diffstat (limited to 'test/Transforms/InstCombine/icmp.ll')
| -rw-r--r-- | test/Transforms/InstCombine/icmp.ll | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/icmp.ll b/test/Transforms/InstCombine/icmp.ll index f469dd4..79fa220 100644 --- a/test/Transforms/InstCombine/icmp.ll +++ b/test/Transforms/InstCombine/icmp.ll @@ -69,6 +69,7 @@ entry: %a = add i32 %x, -1 %b = icmp ult i32 %a, %x ret i1 %b +; CHECK: @test7 ; CHECK: %b = icmp ne i32 %x, 0 ; CHECK: ret i1 %b } @@ -78,6 +79,7 @@ entry: %a = add i32 %x, -1 %b = icmp eq i32 %a, %x ret i1 %b +; CHECK: @test8 ; CHECK: ret i1 false } @@ -86,6 +88,7 @@ entry: %a = add i32 %x, -2 %b = icmp ugt i32 %x, %a ret i1 %b +; CHECK: @test9 ; CHECK: icmp ugt i32 %x, 1 ; CHECK: ret i1 %b } @@ -96,6 +99,16 @@ entry: %b = icmp slt i32 %a, %x ret i1 %b +; CHECK: @test10 ; CHECK: %b = icmp ne i32 %x, -2147483648 ; CHECK: ret i1 %b } + +define i1 @test11(i32 %x) { + %a = add nsw i32 %x, 8 + %b = icmp slt i32 %x, %a + ret i1 %b +; CHECK: @test11 +; CHECK: ret i1 true +} + |