1; RUN: llc < %s -march=sparcv9 | FileCheck %s
2
3; CHECK-LABEL: test1:
4; CHECK:        sdivx %o0, %o1, %o2
5; CHECK-NEXT:   mulx %o2, %o1, %o1
6; CHECK-NEXT:   retl
7; CHECK-NEXT:   sub %o0, %o1, %o0
8
9define i64 @test1(i64 %X, i64 %Y) {
10        %tmp1 = srem i64 %X, %Y
11        ret i64 %tmp1
12}
13
14; CHECK-LABEL: test2:
15; CHECK:        udivx %o0, %o1, %o2
16; CHECK-NEXT:   mulx %o2, %o1, %o1
17; CHECK-NEXT:   retl
18; CHECK-NEXT:   sub %o0, %o1, %o0
19
20define i64 @test2(i64 %X, i64 %Y) {
21        %tmp1 = urem i64 %X, %Y
22        ret i64 %tmp1
23}
24
25; PR18150
26; CHECK-LABEL: test3
27; CHECK:       sethi 2545, [[R0:%[gilo][0-7]]]
28; CHECK:       or    [[R0]], 379, [[R1:%[gilo][0-7]]]
29; CHECK:       mulx  %o0, [[R1]], [[R2:%[gilo][0-7]]]
30; CHECK:       udivx [[R2]], 1021, [[R3:%[gilo][0-7]]]
31; CHECK:       mulx  [[R3]], 1021, [[R4:%[gilo][0-7]]]
32; CHECK:       sub   [[R2]], [[R4]], %o0
33
34define i64 @test3(i64 %b) {
35entry:
36  %mul = mul i64 %b, 2606459
37  %rem = urem i64 %mul, 1021
38  ret i64 %rem
39}
40