diff --git a/test/Transforms/InstCombine/icmp.ll b/test/Transforms/InstCombine/icmp.ll index ed1cd1e5a4c..5248a899b3b 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 +}