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 [6 x double]
6 [double -10.0, double 1.0, double 4.0, double 2.0, double -20.0, double -40.0]
8 define i1 @test1(i32 %X) {
9 %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X
11 %R = icmp eq i16 %Q, 0
14 ; CHECK-NEXT: %R = icmp eq i32 %X, 9
15 ; CHECK-NEXT: ret i1 %R
18 define i1 @test2(i32 %X) {
19 %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X
21 %R = icmp slt i16 %Q, 85
24 ; CHECK-NEXT: %R = icmp ne i32 %X, 4
25 ; CHECK-NEXT: ret i1 %R
28 define i1 @test3(i32 %X) {
29 %P = getelementptr inbounds [6 x double]* @GD, i32 0, i32 %X
31 %R = fcmp oeq double %Q, 1.0
34 ; CHECK-NEXT: %R = icmp eq i32 %X, 1
35 ; CHECK-NEXT: ret i1 %R
38 define i1 @test4(i32 %X) {
39 %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X
41 %R = icmp sle i16 %Q, 73
44 ; CHECK-NEXT: lshr i32 933, %X
45 ; CHECK-NEXT: and i32 {{.*}}, 1
46 ; CHECK-NEXT: %R = icmp ne i32 {{.*}}, 0
47 ; CHECK-NEXT: ret i1 %R
50 define i1 @test4_i16(i16 %X) {
51 %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i16 %X
53 %R = icmp sle i16 %Q, 73
56 ; CHECK-NEXT: lshr i16 933, %X
57 ; CHECK-NEXT: and i16 {{.*}}, 1
58 ; CHECK-NEXT: %R = icmp ne i16 {{.*}}, 0
59 ; CHECK-NEXT: ret i1 %R
62 define i1 @test5(i32 %X) {
63 %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X
65 %R = icmp eq i16 %Q, 69
68 ; CHECK-NEXT: icmp eq i32 %X, 2
69 ; CHECK-NEXT: icmp eq i32 %X, 7
70 ; CHECK-NEXT: %R = or i1
71 ; CHECK-NEXT: ret i1 %R
74 define i1 @test6(i32 %X) {
75 %P = getelementptr inbounds [6 x double]* @GD, i32 0, i32 %X
77 %R = fcmp ogt double %Q, 0.0
80 ; CHECK-NEXT: add i32 %X, -1
81 ; CHECK-NEXT: %R = icmp ult i32 {{.*}}, 3
82 ; CHECK-NEXT: ret i1 %R
85 define i1 @test7(i32 %X) {
86 %P = getelementptr inbounds [6 x double]* @GD, i32 0, i32 %X
88 %R = fcmp olt double %Q, 0.0
91 ; CHECK-NEXT: add i32 %X, -1
92 ; CHECK-NEXT: %R = icmp ugt i32 {{.*}}, 2
93 ; CHECK-NEXT: ret i1 %R
96 define i1 @test8(i32 %X) {
97 %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X
100 %S = icmp eq i16 %R, 0
103 ; CHECK-NEXT: and i32 %X, -2
104 ; CHECK-NEXT: icmp eq i32 {{.*}}, 8
108 @GA = internal constant [4 x { i32, i32 } ] [
109 { i32, i32 } { i32 1, i32 0 },
110 { i32, i32 } { i32 2, i32 1 },
111 { i32, i32 } { i32 3, i32 1 },
112 { i32, i32 } { i32 4, i32 0 }
115 define i1 @test9(i32 %X) {
116 %P = getelementptr inbounds [4 x { i32, i32 } ]* @GA, i32 0, i32 %X, i32 1
118 %R = icmp eq i32 %Q, 1
121 ; CHECK-NEXT: add i32 %X, -1
122 ; CHECK-NEXT: icmp ult i32 {{.*}}, 2