diff options
| author | Rafael Espindola <rafael.espindola@gmail.com> | 2013-06-06 19:15:23 +0000 |
|---|---|---|
| committer | Rafael Espindola <rafael.espindola@gmail.com> | 2013-06-06 19:15:23 +0000 |
| commit | ab9ba5321db14781eb62cb353ec88363f6b72b40 (patch) | |
| tree | 06456d4c47475efd07ea7e55e0f7e15f62d2afb4 /test | |
| parent | f1f6dcefa8c445fa6bd2bba3d72a3e6adff16ca1 (diff) | |
| download | external_llvm-ab9ba5321db14781eb62cb353ec88363f6b72b40.zip external_llvm-ab9ba5321db14781eb62cb353ec88363f6b72b40.tar.gz external_llvm-ab9ba5321db14781eb62cb353ec88363f6b72b40.tar.bz2 | |
Add a testcase from pr16244.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@183433 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/InstCombine/icmp.ll | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/icmp.ll b/test/Transforms/InstCombine/icmp.ll index ed1cd1e..5248a89 100644 --- a/test/Transforms/InstCombine/icmp.ll +++ b/test/Transforms/InstCombine/icmp.ll @@ -988,3 +988,13 @@ define i1 @icmp_add_and_shr_ne_0(i32 %X) { %tobool = icmp ne i32 %add, 0 ret i1 %tobool } + +; PR16244 +; CHECK: define i1 @test71 +; CHECK-NEXT: ret i1 false +define i1 @test71(i8* %x) { + %a = getelementptr i8* %x, i64 8 + %b = getelementptr inbounds i8* %x, i64 8 + %c = icmp ugt i8* %a, %b + ret i1 %c +} |