| ; RUN: llc < %s -march=sparcv9 | FileCheck %s |
| |
| ; CHECK-LABEL: test1: |
| ; CHECK: sdivx %o0, %o1, %o2 |
| ; CHECK-NEXT: mulx %o2, %o1, %o1 |
| ; CHECK-NEXT: retl |
| ; CHECK-NEXT: sub %o0, %o1, %o0 |
| |
| define i64 @test1(i64 %X, i64 %Y) { |
| %tmp1 = srem i64 %X, %Y |
| ret i64 %tmp1 |
| } |
| |
| ; CHECK-LABEL: test2: |
| ; CHECK: udivx %o0, %o1, %o2 |
| ; CHECK-NEXT: mulx %o2, %o1, %o1 |
| ; CHECK-NEXT: retl |
| ; CHECK-NEXT: sub %o0, %o1, %o0 |
| |
| define i64 @test2(i64 %X, i64 %Y) { |
| %tmp1 = urem i64 %X, %Y |
| ret i64 %tmp1 |
| } |
| |
| ; PR18150 |
| ; CHECK-LABEL: test3 |
| ; CHECK: sethi 2545, [[R0:%[gilo][0-7]]] |
| ; CHECK: or [[R0]], 379, [[R1:%[gilo][0-7]]] |
| ; CHECK: mulx %o0, [[R1]], [[R2:%[gilo][0-7]]] |
| ; CHECK: udivx [[R2]], 1021, [[R3:%[gilo][0-7]]] |
| ; CHECK: mulx [[R3]], 1021, [[R4:%[gilo][0-7]]] |
| ; CHECK: sub [[R2]], [[R4]], %o0 |
| |
| define i64 @test3(i64 %b) { |
| entry: |
| %mul = mul i64 %b, 2606459 |
| %rem = urem i64 %mul, 1021 |
| ret i64 %rem |
| } |