121 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=riscv32 -verify-machineinstrs < %s \3; RUN: | FileCheck -check-prefixes=CHECK,RV32I %s4; RUN: llc -mtriple=riscv64 -verify-machineinstrs < %s \5; RUN: | FileCheck -check-prefixes=CHECK,RV64I %s6 7define i32 @fold_urem_constants(i32 %v0) nounwind {8; RV32I-LABEL: fold_urem_constants:9; RV32I: # %bb.0:10; RV32I-NEXT: li a1, 511; RV32I-NEXT: tail __umodsi312;13; RV64I-LABEL: fold_urem_constants:14; RV64I: # %bb.0:15; RV64I-NEXT: addi sp, sp, -1616; RV64I-NEXT: sd ra, 8(sp) # 8-byte Folded Spill17; RV64I-NEXT: slli a0, a0, 3218; RV64I-NEXT: srli a0, a0, 3219; RV64I-NEXT: li a1, 520; RV64I-NEXT: call __umoddi321; RV64I-NEXT: ld ra, 8(sp) # 8-byte Folded Reload22; RV64I-NEXT: addi sp, sp, 1623; RV64I-NEXT: ret24 %v1 = urem i32 %v0, 2525 %v2 = urem i32 %v1, 526 ret i32 %v227}28 29define i32 @dont_fold_urem_constants(i32 %v0) nounwind {30; RV32I-LABEL: dont_fold_urem_constants:31; RV32I: # %bb.0:32; RV32I-NEXT: addi sp, sp, -1633; RV32I-NEXT: sw ra, 12(sp) # 4-byte Folded Spill34; RV32I-NEXT: li a1, 2535; RV32I-NEXT: call __umodsi336; RV32I-NEXT: li a1, 337; RV32I-NEXT: lw ra, 12(sp) # 4-byte Folded Reload38; RV32I-NEXT: addi sp, sp, 1639; RV32I-NEXT: tail __umodsi340;41; RV64I-LABEL: dont_fold_urem_constants:42; RV64I: # %bb.0:43; RV64I-NEXT: addi sp, sp, -1644; RV64I-NEXT: sd ra, 8(sp) # 8-byte Folded Spill45; RV64I-NEXT: slli a0, a0, 3246; RV64I-NEXT: srli a0, a0, 3247; RV64I-NEXT: li a1, 2548; RV64I-NEXT: call __umoddi349; RV64I-NEXT: li a1, 350; RV64I-NEXT: call __umoddi351; RV64I-NEXT: ld ra, 8(sp) # 8-byte Folded Reload52; RV64I-NEXT: addi sp, sp, 1653; RV64I-NEXT: ret54 %v1 = urem i32 %v0, 2555 %v2 = urem i32 %v1, 356 ret i32 %v257}58 59define i32 @dont_fold_urem_srem_mixed_constants(i32 %v0) nounwind {60; RV32I-LABEL: dont_fold_urem_srem_mixed_constants:61; RV32I: # %bb.0:62; RV32I-NEXT: addi sp, sp, -1663; RV32I-NEXT: sw ra, 12(sp) # 4-byte Folded Spill64; RV32I-NEXT: li a1, 2565; RV32I-NEXT: call __umodsi366; RV32I-NEXT: li a1, 367; RV32I-NEXT: lw ra, 12(sp) # 4-byte Folded Reload68; RV32I-NEXT: addi sp, sp, 1669; RV32I-NEXT: tail __umodsi370;71; RV64I-LABEL: dont_fold_urem_srem_mixed_constants:72; RV64I: # %bb.0:73; RV64I-NEXT: addi sp, sp, -1674; RV64I-NEXT: sd ra, 8(sp) # 8-byte Folded Spill75; RV64I-NEXT: slli a0, a0, 3276; RV64I-NEXT: srli a0, a0, 3277; RV64I-NEXT: li a1, 2578; RV64I-NEXT: call __umoddi379; RV64I-NEXT: li a1, 380; RV64I-NEXT: call __umoddi381; RV64I-NEXT: ld ra, 8(sp) # 8-byte Folded Reload82; RV64I-NEXT: addi sp, sp, 1683; RV64I-NEXT: ret84 %v1 = urem i32 %v0, 2585 %v2 = srem i32 %v1, 386 ret i32 %v287}88 89define i32 @dont_fold_srem_urem_mixed_constants(i32 %v0) nounwind {90; RV32I-LABEL: dont_fold_srem_urem_mixed_constants:91; RV32I: # %bb.0:92; RV32I-NEXT: addi sp, sp, -1693; RV32I-NEXT: sw ra, 12(sp) # 4-byte Folded Spill94; RV32I-NEXT: li a1, 2595; RV32I-NEXT: call __modsi396; RV32I-NEXT: li a1, 397; RV32I-NEXT: lw ra, 12(sp) # 4-byte Folded Reload98; RV32I-NEXT: addi sp, sp, 1699; RV32I-NEXT: tail __umodsi3100;101; RV64I-LABEL: dont_fold_srem_urem_mixed_constants:102; RV64I: # %bb.0:103; RV64I-NEXT: addi sp, sp, -16104; RV64I-NEXT: sd ra, 8(sp) # 8-byte Folded Spill105; RV64I-NEXT: sext.w a0, a0106; RV64I-NEXT: li a1, 25107; RV64I-NEXT: call __moddi3108; RV64I-NEXT: slli a0, a0, 32109; RV64I-NEXT: srli a0, a0, 32110; RV64I-NEXT: li a1, 3111; RV64I-NEXT: call __umoddi3112; RV64I-NEXT: ld ra, 8(sp) # 8-byte Folded Reload113; RV64I-NEXT: addi sp, sp, 16114; RV64I-NEXT: ret115 %v1 = srem i32 %v0, 25116 %v2 = urem i32 %v1, 3117 ret i32 %v2118}119;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:120; CHECK: {{.*}}121