154 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-prefix=RV32I-FPELIM %s4; RUN: llc -mtriple=riscv32 -verify-machineinstrs -frame-pointer=all < %s \5; RUN: | FileCheck -check-prefix=RV32I-WITHFP %s6 7; TODO: the quality of the generated code is poor8 9define void @test() {10; RV32I-FPELIM-LABEL: test:11; RV32I-FPELIM: # %bb.0:12; RV32I-FPELIM-NEXT: lui a0, 7456513; RV32I-FPELIM-NEXT: addi a0, a0, 166414; RV32I-FPELIM-NEXT: sub sp, sp, a015; RV32I-FPELIM-NEXT: .cfi_def_cfa_offset 30541990416; RV32I-FPELIM-NEXT: lui a0, 7456517; RV32I-FPELIM-NEXT: addi a0, a0, 166418; RV32I-FPELIM-NEXT: add sp, sp, a019; RV32I-FPELIM-NEXT: .cfi_def_cfa_offset 020; RV32I-FPELIM-NEXT: ret21;22; RV32I-WITHFP-LABEL: test:23; RV32I-WITHFP: # %bb.0:24; RV32I-WITHFP-NEXT: addi sp, sp, -203225; RV32I-WITHFP-NEXT: .cfi_def_cfa_offset 203226; RV32I-WITHFP-NEXT: sw ra, 2028(sp) # 4-byte Folded Spill27; RV32I-WITHFP-NEXT: sw s0, 2024(sp) # 4-byte Folded Spill28; RV32I-WITHFP-NEXT: .cfi_offset ra, -429; RV32I-WITHFP-NEXT: .cfi_offset s0, -830; RV32I-WITHFP-NEXT: addi s0, sp, 203231; RV32I-WITHFP-NEXT: .cfi_def_cfa s0, 032; RV32I-WITHFP-NEXT: lui a0, 7456533; RV32I-WITHFP-NEXT: addi a0, a0, -35234; RV32I-WITHFP-NEXT: sub sp, sp, a035; RV32I-WITHFP-NEXT: lui a0, 7456536; RV32I-WITHFP-NEXT: addi a0, a0, -35237; RV32I-WITHFP-NEXT: add sp, sp, a038; RV32I-WITHFP-NEXT: .cfi_def_cfa sp, 203239; RV32I-WITHFP-NEXT: lw ra, 2028(sp) # 4-byte Folded Reload40; RV32I-WITHFP-NEXT: lw s0, 2024(sp) # 4-byte Folded Reload41; RV32I-WITHFP-NEXT: .cfi_restore ra42; RV32I-WITHFP-NEXT: .cfi_restore s043; RV32I-WITHFP-NEXT: addi sp, sp, 203244; RV32I-WITHFP-NEXT: .cfi_def_cfa_offset 045; RV32I-WITHFP-NEXT: ret46 %tmp = alloca [ 305419896 x i8 ] , align 447 ret void48}49 50; This test case artificially produces register pressure which should force51; use of the emergency spill slot.52 53define void @test_emergency_spill_slot(i32 %a) {54; RV32I-FPELIM-LABEL: test_emergency_spill_slot:55; RV32I-FPELIM: # %bb.0:56; RV32I-FPELIM-NEXT: addi sp, sp, -203257; RV32I-FPELIM-NEXT: .cfi_def_cfa_offset 203258; RV32I-FPELIM-NEXT: sw s0, 2028(sp) # 4-byte Folded Spill59; RV32I-FPELIM-NEXT: sw s1, 2024(sp) # 4-byte Folded Spill60; RV32I-FPELIM-NEXT: .cfi_offset s0, -461; RV32I-FPELIM-NEXT: .cfi_offset s1, -862; RV32I-FPELIM-NEXT: lui a1, 9763; RV32I-FPELIM-NEXT: addi a1, a1, 67264; RV32I-FPELIM-NEXT: sub sp, sp, a165; RV32I-FPELIM-NEXT: .cfi_def_cfa_offset 40001666; RV32I-FPELIM-NEXT: lui a1, 7867; RV32I-FPELIM-NEXT: addi a2, sp, 868; RV32I-FPELIM-NEXT: add a1, a2, a169; RV32I-FPELIM-NEXT: #APP70; RV32I-FPELIM-NEXT: nop71; RV32I-FPELIM-NEXT: #NO_APP72; RV32I-FPELIM-NEXT: sw a0, 512(a1)73; RV32I-FPELIM-NEXT: #APP74; RV32I-FPELIM-NEXT: nop75; RV32I-FPELIM-NEXT: #NO_APP76; RV32I-FPELIM-NEXT: lui a0, 9777; RV32I-FPELIM-NEXT: addi a0, a0, 67278; RV32I-FPELIM-NEXT: add sp, sp, a079; RV32I-FPELIM-NEXT: .cfi_def_cfa_offset 203280; RV32I-FPELIM-NEXT: lw s0, 2028(sp) # 4-byte Folded Reload81; RV32I-FPELIM-NEXT: lw s1, 2024(sp) # 4-byte Folded Reload82; RV32I-FPELIM-NEXT: .cfi_restore s083; RV32I-FPELIM-NEXT: .cfi_restore s184; RV32I-FPELIM-NEXT: addi sp, sp, 203285; RV32I-FPELIM-NEXT: .cfi_def_cfa_offset 086; RV32I-FPELIM-NEXT: ret87;88; RV32I-WITHFP-LABEL: test_emergency_spill_slot:89; RV32I-WITHFP: # %bb.0:90; RV32I-WITHFP-NEXT: addi sp, sp, -203291; RV32I-WITHFP-NEXT: .cfi_def_cfa_offset 203292; RV32I-WITHFP-NEXT: sw ra, 2028(sp) # 4-byte Folded Spill93; RV32I-WITHFP-NEXT: sw s0, 2024(sp) # 4-byte Folded Spill94; RV32I-WITHFP-NEXT: sw s1, 2020(sp) # 4-byte Folded Spill95; RV32I-WITHFP-NEXT: sw s2, 2016(sp) # 4-byte Folded Spill96; RV32I-WITHFP-NEXT: .cfi_offset ra, -497; RV32I-WITHFP-NEXT: .cfi_offset s0, -898; RV32I-WITHFP-NEXT: .cfi_offset s1, -1299; RV32I-WITHFP-NEXT: .cfi_offset s2, -16100; RV32I-WITHFP-NEXT: addi s0, sp, 2032101; RV32I-WITHFP-NEXT: .cfi_def_cfa s0, 0102; RV32I-WITHFP-NEXT: lui a1, 97103; RV32I-WITHFP-NEXT: addi a1, a1, 688104; RV32I-WITHFP-NEXT: sub sp, sp, a1105; RV32I-WITHFP-NEXT: lui a1, 78106; RV32I-WITHFP-NEXT: lui a2, 98107; RV32I-WITHFP-NEXT: addi a2, a2, -1388108; RV32I-WITHFP-NEXT: sub a2, s0, a2109; RV32I-WITHFP-NEXT: add a1, a2, a1110; RV32I-WITHFP-NEXT: #APP111; RV32I-WITHFP-NEXT: nop112; RV32I-WITHFP-NEXT: #NO_APP113; RV32I-WITHFP-NEXT: sw a0, 512(a1)114; RV32I-WITHFP-NEXT: #APP115; RV32I-WITHFP-NEXT: nop116; RV32I-WITHFP-NEXT: #NO_APP117; RV32I-WITHFP-NEXT: lui a0, 97118; RV32I-WITHFP-NEXT: addi a0, a0, 688119; RV32I-WITHFP-NEXT: add sp, sp, a0120; RV32I-WITHFP-NEXT: .cfi_def_cfa sp, 2032121; RV32I-WITHFP-NEXT: lw ra, 2028(sp) # 4-byte Folded Reload122; RV32I-WITHFP-NEXT: lw s0, 2024(sp) # 4-byte Folded Reload123; RV32I-WITHFP-NEXT: lw s1, 2020(sp) # 4-byte Folded Reload124; RV32I-WITHFP-NEXT: lw s2, 2016(sp) # 4-byte Folded Reload125; RV32I-WITHFP-NEXT: .cfi_restore ra126; RV32I-WITHFP-NEXT: .cfi_restore s0127; RV32I-WITHFP-NEXT: .cfi_restore s1128; RV32I-WITHFP-NEXT: .cfi_restore s2129; RV32I-WITHFP-NEXT: addi sp, sp, 2032130; RV32I-WITHFP-NEXT: .cfi_def_cfa_offset 0131; RV32I-WITHFP-NEXT: ret132 %data = alloca [ 100000 x i32 ] , align 4133 %ptr = getelementptr inbounds [100000 x i32], ptr %data, i32 0, i32 80000134 %1 = tail call { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } asm sideeffect "nop", "=r,=r,=r,=r,=r,=r,=r,=r,=r,=r,=r,=r,=r,=r,=r"()135 %asmresult0 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 0136 %asmresult1 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 1137 %asmresult2 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 2138 %asmresult3 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 3139 %asmresult4 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 4140 %asmresult5 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 5141 %asmresult6 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 6142 %asmresult7 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 7143 %asmresult8 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 8144 %asmresult9 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 9145 %asmresult10 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 10146 %asmresult11 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 11147 %asmresult12 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 12148 %asmresult13 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 13149 %asmresult14 = extractvalue { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } %1, 14150 store volatile i32 %a, ptr %ptr151 tail call void asm sideeffect "nop", "r,r,r,r,r,r,r,r,r,r,r,r,r,r,r"(i32 %asmresult0, i32 %asmresult1, i32 %asmresult2, i32 %asmresult3, i32 %asmresult4, i32 %asmresult5, i32 %asmresult6, i32 %asmresult7, i32 %asmresult8, i32 %asmresult9, i32 %asmresult10, i32 %asmresult11, i32 %asmresult12, i32 %asmresult13, i32 %asmresult14)152 ret void153}154