176 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc --mtriple=loongarch64 -mattr=+d,-lsx < %s | FileCheck %s --check-prefixes=CHECK,NOLSX3; RUN: llc --mtriple=loongarch64 -mattr=+d,+lsx < %s | FileCheck %s --check-prefixes=CHECK,LSX4 5%struct.key_t = type { i32, [16 x i8] }6 7declare void @llvm.memset.p0.i64(ptr, i8, i64, i1)8declare void @test1(ptr)9 10define i32 @test() nounwind {11; NOLSX-LABEL: test:12; NOLSX: # %bb.0:13; NOLSX-NEXT: addi.d $sp, $sp, -3214; NOLSX-NEXT: st.d $ra, $sp, 24 # 8-byte Folded Spill15; NOLSX-NEXT: st.w $zero, $sp, 1616; NOLSX-NEXT: st.d $zero, $sp, 817; NOLSX-NEXT: st.d $zero, $sp, 018; NOLSX-NEXT: addi.d $a0, $sp, 419; NOLSX-NEXT: pcaddu18i $ra, %call36(test1)20; NOLSX-NEXT: jirl $ra, $ra, 021; NOLSX-NEXT: move $a0, $zero22; NOLSX-NEXT: ld.d $ra, $sp, 24 # 8-byte Folded Reload23; NOLSX-NEXT: addi.d $sp, $sp, 3224; NOLSX-NEXT: ret25;26; LSX-LABEL: test:27; LSX: # %bb.0:28; LSX-NEXT: addi.d $sp, $sp, -3229; LSX-NEXT: st.d $ra, $sp, 24 # 8-byte Folded Spill30; LSX-NEXT: st.w $zero, $sp, 1631; LSX-NEXT: vrepli.b $vr0, 032; LSX-NEXT: vst $vr0, $sp, 033; LSX-NEXT: addi.d $a0, $sp, 434; LSX-NEXT: pcaddu18i $ra, %call36(test1)35; LSX-NEXT: jirl $ra, $ra, 036; LSX-NEXT: move $a0, $zero37; LSX-NEXT: ld.d $ra, $sp, 24 # 8-byte Folded Reload38; LSX-NEXT: addi.d $sp, $sp, 3239; LSX-NEXT: ret40 %key = alloca %struct.key_t, align 441 call void @llvm.memset.p0.i64(ptr %key, i8 0, i64 20, i1 false)42 %1 = getelementptr inbounds %struct.key_t, ptr %key, i64 0, i32 1, i64 043 call void @test1(ptr %1)44 ret i32 045}46 47;; Note: will create an emergency spill slot, if (!isInt<11>(StackSize)).48;; Should involve only one SP-adjusting addi per adjustment.49define void @test_large_frame_size_2032() {50; CHECK-LABEL: test_large_frame_size_2032:51; CHECK: # %bb.0:52; CHECK-NEXT: addi.d $sp, $sp, -203253; CHECK-NEXT: .cfi_def_cfa_offset 203254; CHECK-NEXT: addi.d $sp, $sp, 203255; CHECK-NEXT: ret56 %1 = alloca i8, i32 2016 ; + 16(emergency slot) = 203257 ret void58}59 60;; Should involve two SP-adjusting addi's when adjusting SP up, but only one61;; when adjusting down.62define void @test_large_frame_size_2048() {63; CHECK-LABEL: test_large_frame_size_2048:64; CHECK: # %bb.0:65; CHECK-NEXT: addi.d $sp, $sp, -204866; CHECK-NEXT: .cfi_def_cfa_offset 204867; CHECK-NEXT: addi.d $sp, $sp, 203268; CHECK-NEXT: addi.d $sp, $sp, 1669; CHECK-NEXT: ret70 %1 = alloca i8, i32 2032 ; + 16(emergency slot) = 204871 ret void72}73 74;; Should involve two SP-adjusting addi's per adjustment.75define void @test_large_frame_size_2064() {76; CHECK-LABEL: test_large_frame_size_2064:77; CHECK: # %bb.0:78; CHECK-NEXT: addi.d $sp, $sp, -204879; CHECK-NEXT: addi.d $sp, $sp, -1680; CHECK-NEXT: .cfi_def_cfa_offset 206481; CHECK-NEXT: addi.d $sp, $sp, 203282; CHECK-NEXT: addi.d $sp, $sp, 3283; CHECK-NEXT: ret84 %1 = alloca i8, i32 2048 ; + 16(emergency slot) = 206485 ret void86}87 88;; NOTE: Due to the problem with the emegency spill slot, the scratch register89;; will not be used when the fp is eliminated. To make this test valid, add the90;; attribute "frame-pointer=all".91 92;; SP should be adjusted with help of a scratch register.93define void @test_large_frame_size_1234576() "frame-pointer"="all" {94; CHECK-LABEL: test_large_frame_size_1234576:95; CHECK: # %bb.0:96; CHECK-NEXT: addi.d $sp, $sp, -203297; CHECK-NEXT: .cfi_def_cfa_offset 203298; CHECK-NEXT: st.d $ra, $sp, 2024 # 8-byte Folded Spill99; CHECK-NEXT: st.d $fp, $sp, 2016 # 8-byte Folded Spill100; CHECK-NEXT: .cfi_offset 1, -8101; CHECK-NEXT: .cfi_offset 22, -16102; CHECK-NEXT: addi.d $fp, $sp, 2032103; CHECK-NEXT: .cfi_def_cfa 22, 0104; CHECK-NEXT: lu12i.w $a0, 300105; CHECK-NEXT: ori $a0, $a0, 3760106; CHECK-NEXT: sub.d $sp, $sp, $a0107; CHECK-NEXT: lu12i.w $a0, 300108; CHECK-NEXT: ori $a0, $a0, 3760109; CHECK-NEXT: add.d $sp, $sp, $a0110; CHECK-NEXT: ld.d $fp, $sp, 2016 # 8-byte Folded Reload111; CHECK-NEXT: ld.d $ra, $sp, 2024 # 8-byte Folded Reload112; CHECK-NEXT: addi.d $sp, $sp, 2032113; CHECK-NEXT: ret114 %1 = alloca i8, i32 1234567115 ret void116}117 118;; Note: will create an emergency spill slot, if (!isInt<7>(StackSize)).119;; Should involve only one SP-adjusting addi per adjustment.120;; LSX 112 + 16(emergency solt) = 128121define void @test_frame_size_112() {122; NOLSX-LABEL: test_frame_size_112:123; NOLSX: # %bb.0:124; NOLSX-NEXT: addi.d $sp, $sp, -112125; NOLSX-NEXT: .cfi_def_cfa_offset 112126; NOLSX-NEXT: addi.d $sp, $sp, 112127; NOLSX-NEXT: ret128;129; LSX-LABEL: test_frame_size_112:130; LSX: # %bb.0:131; LSX-NEXT: addi.d $sp, $sp, -128132; LSX-NEXT: .cfi_def_cfa_offset 128133; LSX-NEXT: addi.d $sp, $sp, 128134; LSX-NEXT: ret135 %1 = alloca i8, i32 112136 ret void137}138 139;; LSX 128 + 16(emergency solt) = 144140define void @test_frame_size_128() {141; NOLSX-LABEL: test_frame_size_128:142; NOLSX: # %bb.0:143; NOLSX-NEXT: addi.d $sp, $sp, -128144; NOLSX-NEXT: .cfi_def_cfa_offset 128145; NOLSX-NEXT: addi.d $sp, $sp, 128146; NOLSX-NEXT: ret147;148; LSX-LABEL: test_frame_size_128:149; LSX: # %bb.0:150; LSX-NEXT: addi.d $sp, $sp, -144151; LSX-NEXT: .cfi_def_cfa_offset 144152; LSX-NEXT: addi.d $sp, $sp, 144153; LSX-NEXT: ret154 %1 = alloca i8, i32 128155 ret void156}157 158;; LSX 144 + 16(emergency solt) = 160159define void @test_frame_size_144() {160; NOLSX-LABEL: test_frame_size_144:161; NOLSX: # %bb.0:162; NOLSX-NEXT: addi.d $sp, $sp, -144163; NOLSX-NEXT: .cfi_def_cfa_offset 144164; NOLSX-NEXT: addi.d $sp, $sp, 144165; NOLSX-NEXT: ret166;167; LSX-LABEL: test_frame_size_144:168; LSX: # %bb.0:169; LSX-NEXT: addi.d $sp, $sp, -160170; LSX-NEXT: .cfi_def_cfa_offset 160171; LSX-NEXT: addi.d $sp, $sp, 160172; LSX-NEXT: ret173 %1 = alloca i8, i32 144174 ret void175}176