1; NOTE: Assertions have been autogenerated by update_test_checks.py
2; RUN: opt < %s -instsimplify -S | FileCheck %s
3
4define i32 @select1(i32 %x, i1 %b) {
5; CHECK-LABEL: @select1(
6; CHECK:         ret i32 0
7;
8  %rhs = select i1 %b, i32 %x, i32 1
9  %rem = srem i32 %x, %rhs
10  ret i32 %rem
11}
12
13define i32 @select2(i32 %x, i1 %b) {
14; CHECK-LABEL: @select2(
15; CHECK:         ret i32 0
16;
17  %rhs = select i1 %b, i32 %x, i32 1
18  %rem = urem i32 %x, %rhs
19  ret i32 %rem
20}
21
22define i32 @rem1(i32 %x, i32 %n) {
23; CHECK-LABEL: @rem1(
24; CHECK:         [[MOD:%.*]] = srem i32 %x, %n
25; CHECK-NEXT:    ret i32 [[MOD]]
26;
27 %mod = srem i32 %x, %n
28 %mod1 = srem i32 %mod, %n
29 ret i32 %mod1
30}
31
32define i32 @rem2(i32 %x, i32 %n) {
33; CHECK-LABEL: @rem2(
34; CHECK:         [[MOD:%.*]] = urem i32 %x, %n
35; CHECK-NEXT:    ret i32 [[MOD]]
36;
37 %mod = urem i32 %x, %n
38 %mod1 = urem i32 %mod, %n
39 ret i32 %mod1
40}
41
42define i32 @rem3(i32 %x, i32 %n) {
43; CHECK-LABEL: @rem3(
44; CHECK:         [[MOD:%.*]] = srem i32 %x, %n
45; CHECK-NEXT:    [[MOD1:%.*]] = urem i32 [[MOD]], %n
46; CHECK-NEXT:    ret i32 [[MOD1]]
47;
48 %mod = srem i32 %x, %n
49 %mod1 = urem i32 %mod, %n
50 ret i32 %mod1
51}
52
53declare i32 @external()
54
55define i32 @rem4() {
56; CHECK-LABEL: @rem4(
57; CHECK:         [[CALL:%.*]] = call i32 @external(), !range !0
58; CHECK-NEXT:    ret i32 [[CALL]]
59;
60  %call = call i32 @external(), !range !0
61  %urem = urem i32 %call, 3
62  ret i32 %urem
63}
64
65!0 = !{i32 0, i32 3}
66