47 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: sed 's/ArrSize/100/g' %s | llc -mtriple=riscv32 \3; RUN: -verify-machineinstrs | FileCheck %s4; RUN: sed 's/ArrSize/100/g' %s | llc -mtriple=riscv64 \5; RUN: -verify-machineinstrs | FileCheck %s6; RUN: sed 's/ArrSize/101/g' %s | llc -mtriple=riscv32 \7; RUN: -verify-machineinstrs | FileCheck %s -check-prefix=CHECK-TOOBIG8; RUN: sed 's/ArrSize/101/g' %s | llc -mtriple=riscv64 \9; RUN: -verify-machineinstrs | FileCheck %s -check-prefix=CHECK-TOOBIG10 11; This test demonstrates that the MaxOffset is set correctly for RISC-V by12; constructing an input that is at the limit and comparing.13 14@ga1 = dso_local global [410 x i32] zeroinitializer, align 415@ga2 = dso_local global [ArrSize x i32] zeroinitializer, align 416@gi = dso_local global i32 0, align 417 18; TODO: It would be better for codesize if the final store below was19; `sw a0, 0(a2)`.20 21define void @f1(i32 %a) nounwind {22; CHECK-LABEL: f1:23; CHECK: # %bb.0:24; CHECK-NEXT: lui a1, %hi(.L_MergedGlobals)25; CHECK-NEXT: addi a1, a1, %lo(.L_MergedGlobals)26; CHECK-NEXT: sw a0, 2044(a1)27; CHECK-NEXT: sw a0, 404(a1)28; CHECK-NEXT: sw a0, 0(a1)29; CHECK-NEXT: ret30;31; CHECK-TOOBIG-LABEL: f1:32; CHECK-TOOBIG: # %bb.0:33; CHECK-TOOBIG-NEXT: lui a1, %hi(ga1+1640)34; CHECK-TOOBIG-NEXT: lui a2, %hi(.L_MergedGlobals)35; CHECK-TOOBIG-NEXT: addi a2, a2, %lo(.L_MergedGlobals)36; CHECK-TOOBIG-NEXT: sw a0, %lo(ga1+1640)(a1)37; CHECK-TOOBIG-NEXT: sw a0, 408(a2)38; CHECK-TOOBIG-NEXT: sw a0, 0(a2)39; CHECK-TOOBIG-NEXT: ret40 %ga1_end = getelementptr inbounds [410 x i32], ptr @ga1, i32 0, i64 41041 %ga2_end = getelementptr inbounds [ArrSize x i32], ptr @ga2, i32 0, i64 ArrSize42 store i32 %a, ptr %ga1_end, align 443 store i32 %a, ptr %ga2_end, align 444 store i32 %a, ptr @gi, align 445 ret void46}47