1 ; RUN: llc < %s -march=sparcv9 | FileCheck %s
4 ; CHECK: sdivx %o0, %o1, %o2
5 ; CHECK-NEXT: mulx %o2, %o1, %o1
7 ; CHECK-NEXT: sub %o0, %o1, %o0
9 define i64 @test1(i64 %X, i64 %Y) {
10 %tmp1 = srem i64 %X, %Y
15 ; CHECK: udivx %o0, %o1, %o2
16 ; CHECK-NEXT: mulx %o2, %o1, %o1
18 ; CHECK-NEXT: sub %o0, %o1, %o0
20 define i64 @test2(i64 %X, i64 %Y) {
21 %tmp1 = urem i64 %X, %Y
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
34 define i64 @test3(i64 %b) {
36 %mul = mul i64 %b, 2606459
37 %rem = urem i64 %mul, 1021