1 ; RUN: opt < %s -instcombine -S | FileCheck %s
4 ; CHECK: sdiv i32 %x, 8
5 define i32 @sdiv1(i32 %x) {
10 ; CHECK-LABEL: @sdiv2(
11 ; CHECK: ashr exact i32 %x, 3
12 define i32 @sdiv2(i32 %x) {
13 %y = sdiv exact i32 %x, 8
17 ; CHECK-LABEL: @sdiv3(
18 ; CHECK: %y = srem i32 %x, 3
19 ; CHECK: %z = sub i32 %x, %y
21 define i32 @sdiv3(i32 %x) {
27 ; CHECK-LABEL: @sdiv4(
29 define i32 @sdiv4(i32 %x) {
30 %y = sdiv exact i32 %x, 3
36 ; CHECK: %y = srem i32 %x, 3
37 ; CHECK: %z = sub i32 %y, %x
39 define i32 @sdiv5(i32 %x) {
45 ; CHECK-LABEL: @sdiv6(
46 ; CHECK: %z = sub i32 0, %x
48 define i32 @sdiv6(i32 %x) {
49 %y = sdiv exact i32 %x, 3
54 ; CHECK-LABEL: @udiv1(
56 define i32 @udiv1(i32 %x, i32 %w) {
57 %y = udiv exact i32 %x, %w
62 ; CHECK-LABEL: @udiv2(
63 ; CHECK: %z = lshr exact i32 %x, %w
65 define i32 @udiv2(i32 %x, i32 %w) {
67 %z = udiv exact i32 %x, %y
71 ; CHECK-LABEL: @ashr1(
72 ; CHECK: %B = ashr exact i64 %A, 2
74 define i64 @ashr1(i64 %X) nounwind {
76 %B = ashr i64 %A, 2 ; X/4
81 ; CHECK-LABEL: @ashr_icmp1(
82 ; CHECK: %B = icmp eq i64 %X, 0
84 define i1 @ashr_icmp1(i64 %X) nounwind {
85 %A = ashr exact i64 %X, 2 ; X/4
86 %B = icmp eq i64 %A, 0
90 ; CHECK-LABEL: @ashr_icmp2(
91 ; CHECK: %Z = icmp slt i64 %X, 16
93 define i1 @ashr_icmp2(i64 %X) nounwind {
94 %Y = ashr exact i64 %X, 2 ; x / 4
95 %Z = icmp slt i64 %Y, 4 ; x < 16
100 ; Make sure we don't transform the ashr here into an sdiv
101 ; CHECK-LABEL: @pr9998(
102 ; CHECK: [[BIT:%[A-Za-z0-9.]+]] = and i32 %V, 1
103 ; CHECK-NEXT: [[CMP:%[A-Za-z0-9.]+]] = icmp ne i32 [[BIT]], 0
104 ; CHECK-NEXT: ret i1 [[CMP]]
105 define i1 @pr9998(i32 %V) nounwind {
108 %X = ashr exact i32 %W, 31
109 %Y = sext i32 %X to i64
110 %Z = icmp ugt i64 %Y, 7297771788697658747
116 ; CHECK-LABEL: @udiv_icmp1(
117 ; CHECK: icmp ne i64 %X, 0
118 define i1 @udiv_icmp1(i64 %X) nounwind {
119 %A = udiv exact i64 %X, 5 ; X/5
120 %B = icmp ne i64 %A, 0
124 ; CHECK-LABEL: @sdiv_icmp1(
125 ; CHECK: icmp eq i64 %X, 0
126 define i1 @sdiv_icmp1(i64 %X) nounwind {
127 %A = sdiv exact i64 %X, 5 ; X/5 == 0 --> x == 0
128 %B = icmp eq i64 %A, 0
132 ; CHECK-LABEL: @sdiv_icmp2(
133 ; CHECK: icmp eq i64 %X, 5
134 define i1 @sdiv_icmp2(i64 %X) nounwind {
135 %A = sdiv exact i64 %X, 5 ; X/5 == 1 --> x == 5
136 %B = icmp eq i64 %A, 1
140 ; CHECK-LABEL: @sdiv_icmp3(
141 ; CHECK: icmp eq i64 %X, -5
142 define i1 @sdiv_icmp3(i64 %X) nounwind {
143 %A = sdiv exact i64 %X, 5 ; X/5 == -1 --> x == -5
144 %B = icmp eq i64 %A, -1
148 ; CHECK-LABEL: @sdiv_icmp4(
149 ; CHECK: icmp eq i64 %X, 0
150 define i1 @sdiv_icmp4(i64 %X) nounwind {
151 %A = sdiv exact i64 %X, -5 ; X/-5 == 0 --> x == 0
152 %B = icmp eq i64 %A, 0
156 ; CHECK-LABEL: @sdiv_icmp5(
157 ; CHECK: icmp eq i64 %X, -5
158 define i1 @sdiv_icmp5(i64 %X) nounwind {
159 %A = sdiv exact i64 %X, -5 ; X/-5 == 1 --> x == -5
160 %B = icmp eq i64 %A, 1
164 ; CHECK-LABEL: @sdiv_icmp6(
165 ; CHECK: icmp eq i64 %X, 5
166 define i1 @sdiv_icmp6(i64 %X) nounwind {
167 %A = sdiv exact i64 %X, -5 ; X/-5 == 1 --> x == 5
168 %B = icmp eq i64 %A, -1