1 ; RUN: opt < %s -instcombine -S | FileCheck %s
4 ; CHECK: sdiv i32 %x, 8
5 define i32 @sdiv1(i32 %x) {
11 ; CHECK: ashr exact i32 %x, 3
12 define i32 @sdiv2(i32 %x) {
13 %y = sdiv exact i32 %x, 8
18 ; CHECK: %y = srem i32 %x, 3
19 ; CHECK: %z = sub i32 %x, %y
21 define i32 @sdiv3(i32 %x) {
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) {
46 ; CHECK: %z = sub i32 0, %x
48 define i32 @sdiv6(i32 %x) {
49 %y = sdiv exact i32 %x, 3
56 define i32 @udiv1(i32 %x, i32 %w) {
57 %y = udiv exact i32 %x, %w
63 ; CHECK: %z = lshr exact i32 %x, %w
65 define i32 @udiv2(i32 %x, i32 %w) {
67 %z = udiv exact i32 %x, %y
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: %B = icmp eq i64 %X, 0
83 define i1 @ashr_icmp(i64 %X) nounwind {
84 %A = ashr exact i64 %X, 2 ; X/4
85 %B = icmp eq i64 %A, 0
90 ; CHECK: icmp ne i64 %X, 0
91 define i1 @udiv_icmp1(i64 %X) nounwind {
92 %A = udiv exact i64 %X, 5 ; X/5
93 %B = icmp ne i64 %A, 0
98 ; CHECK: icmp eq i64 %X, 0
99 define i1 @sdiv_icmp1(i64 %X) nounwind {
100 %A = sdiv exact i64 %X, 5 ; X/5 == 0 --> x == 0
101 %B = icmp eq i64 %A, 0
106 ; CHECK: icmp eq i64 %X, 5
107 define i1 @sdiv_icmp2(i64 %X) nounwind {
108 %A = sdiv exact i64 %X, 5 ; X/5 == 1 --> x == 5
109 %B = icmp eq i64 %A, 1
114 ; CHECK: icmp eq i64 %X, -5
115 define i1 @sdiv_icmp3(i64 %X) nounwind {
116 %A = sdiv exact i64 %X, 5 ; X/5 == -1 --> x == -5
117 %B = icmp eq i64 %A, -1
122 ; CHECK: icmp eq i64 %X, 0
123 define i1 @sdiv_icmp4(i64 %X) nounwind {
124 %A = sdiv exact i64 %X, -5 ; X/-5 == 0 --> x == 0
125 %B = icmp eq i64 %A, 0
130 ; CHECK: icmp eq i64 %X, -5
131 define i1 @sdiv_icmp5(i64 %X) nounwind {
132 %A = sdiv exact i64 %X, -5 ; X/-5 == 1 --> x == -5
133 %B = icmp eq i64 %A, 1
138 ; CHECK: icmp eq i64 %X, 5
139 define i1 @sdiv_icmp6(i64 %X) nounwind {
140 %A = sdiv exact i64 %X, -5 ; X/-5 == 1 --> x == 5
141 %B = icmp eq i64 %A, -1