1; RUN: llc -mtriple=thumbv7-apple-none-macho < %s | FileCheck %s 2; RUN: llc -mtriple=thumbv6m-apple-none-macho -disable-fp-elim < %s | FileCheck %s --check-prefix=CHECK-T1 3; RUN: llc -mtriple=thumbv7-apple-darwin-ios -disable-fp-elim < %s | FileCheck %s --check-prefix=CHECK-IOS 4 5 6declare void @bar(i8*) 7 8%bigVec = type [2 x double] 9 10@var = global %bigVec zeroinitializer 11 12define void @check_simple() minsize { 13; CHECK-LABEL: check_simple: 14; CHECK: push {r3, r4, r5, r6, r7, lr} 15; CHECK-NOT: sub sp, sp, 16; ... 17; CHECK-NOT: add sp, sp, 18; CHECK: pop {r0, r1, r2, r3, r7, pc} 19 20; CHECK-T1-LABEL: check_simple: 21; CHECK-T1: push {r3, r4, r5, r6, r7, lr} 22; CHECK-T1: add r7, sp, #16 23; CHECK-T1-NOT: sub sp, sp, 24; ... 25; CHECK-T1-NOT: add sp, sp, 26; CHECK-T1: pop {r0, r1, r2, r3, r7, pc} 27 28 ; iOS always has a frame pointer and messing with the push affects 29 ; how it's set in the prologue. Make sure we get that right. 30; CHECK-IOS-LABEL: check_simple: 31; CHECK-IOS: push {r3, r4, r5, r6, r7, lr} 32; CHECK-NOT: sub sp, 33; CHECK-IOS: add r7, sp, #16 34; CHECK-NOT: sub sp, 35; ... 36; CHECK-NOT: add sp, 37; CHEC: pop {r3, r4, r5, r6, r7, pc} 38 39 %var = alloca i8, i32 16 40 call void @bar(i8* %var) 41 ret void 42} 43 44define void @check_simple_too_big() minsize { 45; CHECK-LABEL: check_simple_too_big: 46; CHECK: push {r7, lr} 47; CHECK: sub sp, 48; ... 49; CHECK: add sp, 50; CHECK: pop {r7, pc} 51 %var = alloca i8, i32 64 52 call void @bar(i8* %var) 53 ret void 54} 55 56define void @check_vfp_fold() minsize { 57; CHECK-LABEL: check_vfp_fold: 58; CHECK: push {r[[GLOBREG:[0-9]+]], lr} 59; CHECK: vpush {d6, d7, d8, d9} 60; CHECK-NOT: sub sp, 61; ... 62; CHECK: vldmia r[[GLOBREG]], {d8, d9} 63; ... 64; CHECK-NOT: add sp, 65; CHECK: vpop {d6, d7, d8, d9} 66; CHECKL pop {r[[GLOBREG]], pc} 67 68 ; iOS uses aligned NEON stores here, which is convenient since we 69 ; want to make sure that works too. 70; CHECK-IOS-LABEL: check_vfp_fold: 71; CHECK-IOS: push {r0, r1, r2, r3, r4, r7, lr} 72; CHECK-IOS: sub.w r4, sp, #16 73; CHECK-IOS: bic r4, r4, #15 74; CHECK-IOS: mov sp, r4 75; CHECK-IOS: vst1.64 {d8, d9}, [r4:128] 76; ... 77; CHECK-IOS: add r4, sp, #16 78; CHECK-IOS: vld1.64 {d8, d9}, [r4:128] 79; CHECK-IOS: mov sp, r4 80; CHECK-IOS: pop {r4, r7, pc} 81 82 %var = alloca i8, i32 16 83 84 %tmp = load %bigVec* @var 85 call void @bar(i8* %var) 86 store %bigVec %tmp, %bigVec* @var 87 88 ret void 89} 90 91; This function should use just enough space that the "add sp, sp, ..." could be 92; folded in except that doing so would clobber the value being returned. 93define i64 @check_no_return_clobber() minsize { 94; CHECK-LABEL: check_no_return_clobber: 95; CHECK: push {r1, r2, r3, r4, r5, r6, r7, lr} 96; CHECK-NOT: sub sp, 97; ... 98; CHECK: add sp, #24 99; CHECK: pop {r7, pc} 100 101 ; Just to keep iOS FileCheck within previous function: 102; CHECK-IOS-LABEL: check_no_return_clobber: 103 104 %var = alloca i8, i32 20 105 call void @bar(i8* %var) 106 ret i64 0 107} 108 109define arm_aapcs_vfpcc double @check_vfp_no_return_clobber() minsize { 110; CHECK-LABEL: check_vfp_no_return_clobber: 111; CHECK: push {r[[GLOBREG:[0-9]+]], lr} 112; CHECK: vpush {d0, d1, d2, d3, d4, d5, d6, d7, d8, d9} 113; CHECK-NOT: sub sp, 114; ... 115; CHECK: add sp, #64 116; CHECK: vpop {d8, d9} 117; CHECK: pop {r[[GLOBREG]], pc} 118 119 %var = alloca i8, i32 64 120 121 %tmp = load %bigVec* @var 122 call void @bar(i8* %var) 123 store %bigVec %tmp, %bigVec* @var 124 125 ret double 1.0 126} 127 128@dbl = global double 0.0 129 130; PR18136: there was a bug determining where the first eligible pop in a 131; basic-block was when the entire block was epilogue code. 132define void @test_fold_point(i1 %tst) minsize { 133; CHECK-LABEL: test_fold_point: 134 135 ; Important to check for beginning of basic block, because if it gets 136 ; if-converted the test is probably no longer checking what it should. 137; CHECK: {{LBB[0-9]+_2}}: 138; CHECK-NEXT: vpop {d7, d8} 139; CHECK-NEXT: pop {r4, pc} 140 141 ; With a guaranteed frame-pointer, we want to make sure that its offset in the 142 ; push block is correct, even if a few registers have been tacked onto a later 143 ; vpush (PR18160). 144; CHECK-IOS-LABEL: test_fold_point: 145; CHECK-IOS: push {r4, r7, lr} 146; CHECK-IOS-NEXT: add r7, sp, #4 147; CHECK-IOS-NEXT: vpush {d7, d8} 148 149 ; We want some memory so there's a stack adjustment to fold... 150 %var = alloca i8, i32 8 151 152 ; We want a long-lived floating register so that a callee-saved dN is used and 153 ; there's both a vpop and a pop. 154 %live_val = load double* @dbl 155 br i1 %tst, label %true, label %end 156true: 157 call void @bar(i8* %var) 158 store double %live_val, double* @dbl 159 br label %end 160end: 161 ; We want the epilogue to be the only thing in a basic block so that we hit 162 ; the correct edge-case (first inst in block is correct one to adjust). 163 ret void 164} 165 166define void @test_varsize(...) minsize { 167; CHECK-T1-LABEL: test_varsize: 168; CHECK-T1: sub sp, #16 169; CHECK-T1: push {r2, r3, r4, r5, r7, lr} 170; ... 171; CHECK-T1: pop {r2, r3, r4, r5, r7} 172; CHECK-T1: pop {r3} 173; CHECK-T1: add sp, #16 174; CHECK-T1: bx r3 175 176; CHECK-LABEL: test_varsize: 177; CHECK: sub sp, #16 178; CHECK: push {r5, r6, r7, lr} 179; ... 180; CHECK: pop.w {r2, r3, r7, lr} 181; CHECK: add sp, #16 182; CHECK: bx lr 183 184 %var = alloca i8, i32 8 185 call void @bar(i8* %var) 186 ret void 187} 188