1 ; RUN: opt < %s -instsimplify -S | FileCheck %s
3 define i64 @pow2(i32 %x) {
6 %x2 = and i32 %x, %negx
7 %e = zext i32 %x2 to i64
9 %e2 = and i64 %e, %nege
14 define i64 @pow2b(i32 %x) {
15 ; CHECK-LABEL: @pow2b(
17 %e = zext i32 %sh to i64
19 %e2 = and i64 %e, %nege
24 define i32 @sub_neg_nuw(i32 %x, i32 %y) {
25 ; CHECK-LABEL: @sub_neg_nuw(
26 %neg = sub nuw i32 0, %y
27 %sub = sub i32 %x, %neg
32 define i1 @and_of_icmps0(i32 %b) {
33 ; CHECK-LABEL: @and_of_icmps0(
35 %2 = icmp ult i32 %1, 4
36 %cmp3 = icmp sgt i32 %b, 2
37 %cmp = and i1 %2, %cmp3
42 define i1 @and_of_icmps1(i32 %b) {
43 ; CHECK-LABEL: @and_of_icmps1(
44 %1 = add nsw i32 %b, 2
45 %2 = icmp slt i32 %1, 4
46 %cmp3 = icmp sgt i32 %b, 2
47 %cmp = and i1 %2, %cmp3
52 define i1 @and_of_icmps2(i32 %b) {
53 ; CHECK-LABEL: @and_of_icmps2(
55 %2 = icmp ule i32 %1, 3
56 %cmp3 = icmp sgt i32 %b, 2
57 %cmp = and i1 %2, %cmp3
62 define i1 @and_of_icmps3(i32 %b) {
63 ; CHECK-LABEL: @and_of_icmps3(
64 %1 = add nsw i32 %b, 2
65 %2 = icmp sle i32 %1, 3
66 %cmp3 = icmp sgt i32 %b, 2
67 %cmp = and i1 %2, %cmp3
72 define i1 @and_of_icmps4(i32 %b) {
73 ; CHECK-LABEL: @and_of_icmps4(
74 %1 = add nuw i32 %b, 2
75 %2 = icmp ult i32 %1, 4
76 %cmp3 = icmp ugt i32 %b, 2
77 %cmp = and i1 %2, %cmp3
82 define i1 @and_of_icmps5(i32 %b) {
83 ; CHECK-LABEL: @and_of_icmps5(
84 %1 = add nuw i32 %b, 2
85 %2 = icmp ule i32 %1, 3
86 %cmp3 = icmp ugt i32 %b, 2
87 %cmp = and i1 %2, %cmp3
92 define i1 @or_of_icmps0(i32 %b) {
93 ; CHECK-LABEL: @or_of_icmps0(
95 %2 = icmp uge i32 %1, 4
96 %cmp3 = icmp sle i32 %b, 2
97 %cmp = or i1 %2, %cmp3
102 define i1 @or_of_icmps1(i32 %b) {
103 ; CHECK-LABEL: @or_of_icmps1(
104 %1 = add nsw i32 %b, 2
105 %2 = icmp sge i32 %1, 4
106 %cmp3 = icmp sle i32 %b, 2
107 %cmp = or i1 %2, %cmp3
112 define i1 @or_of_icmps2(i32 %b) {
113 ; CHECK-LABEL: @or_of_icmps2(
115 %2 = icmp ugt i32 %1, 3
116 %cmp3 = icmp sle i32 %b, 2
117 %cmp = or i1 %2, %cmp3
122 define i1 @or_of_icmps3(i32 %b) {
123 ; CHECK-LABEL: @or_of_icmps3(
124 %1 = add nsw i32 %b, 2
125 %2 = icmp sgt i32 %1, 3
126 %cmp3 = icmp sle i32 %b, 2
127 %cmp = or i1 %2, %cmp3
132 define i1 @or_of_icmps4(i32 %b) {
133 ; CHECK-LABEL: @or_of_icmps4(
134 %1 = add nuw i32 %b, 2
135 %2 = icmp uge i32 %1, 4
136 %cmp3 = icmp ule i32 %b, 2
137 %cmp = or i1 %2, %cmp3
142 define i1 @or_of_icmps5(i32 %b) {
143 ; CHECK-LABEL: @or_of_icmps5(
144 %1 = add nuw i32 %b, 2
145 %2 = icmp ugt i32 %1, 3
146 %cmp3 = icmp ule i32 %b, 2
147 %cmp = or i1 %2, %cmp3
152 define i32 @neg_nuw(i32 %x) {
153 ; CHECK-LABEL: @neg_nuw(
154 %neg = sub nuw i32 0, %x
159 define i1 @and_icmp1(i32 %x, i32 %y) {
160 %1 = icmp ult i32 %x, %y
161 %2 = icmp ne i32 %y, 0
165 ; CHECK-LABEL: @and_icmp1(
166 ; CHECK: %[[cmp:.*]] = icmp ult i32 %x, %y
167 ; CHECK: ret i1 %[[cmp]]
169 define i1 @and_icmp2(i32 %x, i32 %y) {
170 %1 = icmp ult i32 %x, %y
171 %2 = icmp eq i32 %y, 0
175 ; CHECK-LABEL: @and_icmp2(
176 ; CHECK: ret i1 false
178 define i1 @or_icmp1(i32 %x, i32 %y) {
179 %1 = icmp ult i32 %x, %y
180 %2 = icmp ne i32 %y, 0
184 ; CHECK-LABEL: @or_icmp1(
185 ; CHECK: %[[cmp:.*]] = icmp ne i32 %y, 0
186 ; CHECK: ret i1 %[[cmp]]
188 define i1 @or_icmp2(i32 %x, i32 %y) {
189 %1 = icmp uge i32 %x, %y
190 %2 = icmp ne i32 %y, 0
194 ; CHECK-LABEL: @or_icmp2(
197 define i1 @or_icmp3(i32 %x, i32 %y) {
198 %1 = icmp uge i32 %x, %y
199 %2 = icmp eq i32 %y, 0
203 ; CHECK-LABEL: @or_icmp3(
204 ; CHECK: %[[cmp:.*]] = icmp uge i32 %x, %y
205 ; CHECK: ret i1 %[[cmp]]