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