1; RUN: opt < %s -instcombine -S | not grep "a.off"
2; PR1949
3
4define i1 @test1(i32 %a) {
5  %a.off = add i32 %a, 4          ; <i32> [#uses=1]
6  %C = icmp ult i32 %a.off, 4             ; <i1> [#uses=1]
7  ret i1 %C
8}
9
10define i1 @test2(i32 %a) {
11  %a.off = sub i32 %a, 4          ; <i32> [#uses=1]
12  %C = icmp ugt i32 %a.off, -5             ; <i1> [#uses=1]
13  ret i1 %C
14}
15
16define i1 @test3(i32 %a) {
17  %a.off = add i32 %a, 4          ; <i32> [#uses=1]
18  %C = icmp slt i32 %a.off, 2147483652             ; <i1> [#uses=1]
19  ret i1 %C
20}
21