xref: /aosp_15_r20/external/llvm/test/Transforms/InstSimplify/rem.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; NOTE: Assertions have been autogenerated by update_test_checks.py
2*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -instsimplify -S | FileCheck %s
3*9880d681SAndroid Build Coastguard Worker
4*9880d681SAndroid Build Coastguard Workerdefine i32 @select1(i32 %x, i1 %b) {
5*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @select1(
6*9880d681SAndroid Build Coastguard Worker; CHECK:         ret i32 0
7*9880d681SAndroid Build Coastguard Worker;
8*9880d681SAndroid Build Coastguard Worker  %rhs = select i1 %b, i32 %x, i32 1
9*9880d681SAndroid Build Coastguard Worker  %rem = srem i32 %x, %rhs
10*9880d681SAndroid Build Coastguard Worker  ret i32 %rem
11*9880d681SAndroid Build Coastguard Worker}
12*9880d681SAndroid Build Coastguard Worker
13*9880d681SAndroid Build Coastguard Workerdefine i32 @select2(i32 %x, i1 %b) {
14*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @select2(
15*9880d681SAndroid Build Coastguard Worker; CHECK:         ret i32 0
16*9880d681SAndroid Build Coastguard Worker;
17*9880d681SAndroid Build Coastguard Worker  %rhs = select i1 %b, i32 %x, i32 1
18*9880d681SAndroid Build Coastguard Worker  %rem = urem i32 %x, %rhs
19*9880d681SAndroid Build Coastguard Worker  ret i32 %rem
20*9880d681SAndroid Build Coastguard Worker}
21*9880d681SAndroid Build Coastguard Worker
22*9880d681SAndroid Build Coastguard Workerdefine i32 @rem1(i32 %x, i32 %n) {
23*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @rem1(
24*9880d681SAndroid Build Coastguard Worker; CHECK:         [[MOD:%.*]] = srem i32 %x, %n
25*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:    ret i32 [[MOD]]
26*9880d681SAndroid Build Coastguard Worker;
27*9880d681SAndroid Build Coastguard Worker %mod = srem i32 %x, %n
28*9880d681SAndroid Build Coastguard Worker %mod1 = srem i32 %mod, %n
29*9880d681SAndroid Build Coastguard Worker ret i32 %mod1
30*9880d681SAndroid Build Coastguard Worker}
31*9880d681SAndroid Build Coastguard Worker
32*9880d681SAndroid Build Coastguard Workerdefine i32 @rem2(i32 %x, i32 %n) {
33*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @rem2(
34*9880d681SAndroid Build Coastguard Worker; CHECK:         [[MOD:%.*]] = urem i32 %x, %n
35*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:    ret i32 [[MOD]]
36*9880d681SAndroid Build Coastguard Worker;
37*9880d681SAndroid Build Coastguard Worker %mod = urem i32 %x, %n
38*9880d681SAndroid Build Coastguard Worker %mod1 = urem i32 %mod, %n
39*9880d681SAndroid Build Coastguard Worker ret i32 %mod1
40*9880d681SAndroid Build Coastguard Worker}
41*9880d681SAndroid Build Coastguard Worker
42*9880d681SAndroid Build Coastguard Workerdefine i32 @rem3(i32 %x, i32 %n) {
43*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @rem3(
44*9880d681SAndroid Build Coastguard Worker; CHECK:         [[MOD:%.*]] = srem i32 %x, %n
45*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:    [[MOD1:%.*]] = urem i32 [[MOD]], %n
46*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:    ret i32 [[MOD1]]
47*9880d681SAndroid Build Coastguard Worker;
48*9880d681SAndroid Build Coastguard Worker %mod = srem i32 %x, %n
49*9880d681SAndroid Build Coastguard Worker %mod1 = urem i32 %mod, %n
50*9880d681SAndroid Build Coastguard Worker ret i32 %mod1
51*9880d681SAndroid Build Coastguard Worker}
52