1 ; RUN: opt < %s -instcombine -S | FileCheck %s
3 @G16 = internal constant [10 x i16] [i16 35, i16 82, i16 69, i16 81, i16 85,
4 i16 73, i16 82, i16 69, i16 68, i16 0]
5 @GD = internal constant [3 x double] [double 1.0, double 4.0, double -20.0]
7 define i1 @test1(i32 %X) {
8 %P = getelementptr [10 x i16]* @G16, i32 0, i32 %X
10 %R = icmp eq i16 %Q, 0
13 ; CHECK-NEXT: %R = icmp eq i32 %X, 9
14 ; CHECK-NEXT: ret i1 %R
17 define i1 @test2(i32 %X) {
18 %P = getelementptr [10 x i16]* @G16, i32 0, i32 %X
20 %R = icmp slt i16 %Q, 85
23 ; CHECK-NEXT: %R = icmp ne i32 %X, 4
24 ; CHECK-NEXT: ret i1 %R
27 define i1 @test3(i32 %X) {
28 %P = getelementptr [3 x double]* @GD, i32 0, i32 %X
30 %R = fcmp oeq double %Q, 1.0
33 ; CHECK-NEXT: %R = icmp eq i32 %X, 0
34 ; CHECK-NEXT: ret i1 %R
37 define i1 @test4(i32 %X) {
38 %P = getelementptr [10 x i16]* @G16, i32 0, i32 %X
40 %R = icmp sle i16 %Q, 73
43 ; CHECK-NEXT: lshr i32 933, %X
44 ; CHECK-NEXT: and i32 {{.*}}, 1
45 ; CHECK-NEXT: %R = icmp ne i32 {{.*}}, 0
46 ; CHECK-NEXT: ret i1 %R
49 define i1 @test5(i32 %X) {
50 %P = getelementptr [10 x i16]* @G16, i32 0, i32 %X
52 %R = icmp eq i16 %Q, 69
55 ; CHECK-NEXT: icmp eq i32 %X, 2
56 ; CHECK-NEXT: icmp eq i32 %X, 7
57 ; CHECK-NEXT: %R = or i1
58 ; CHECK-NEXT: ret i1 %R