1 ; Test saving and restoring of call-saved FPRs. 2 ; 3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s 4 5 ; This function should require all FPRs, but no other spill slots. 6 ; We need to save and restore 8 of the 16 FPRs, so the frame size 7 ; should be exactly 160 + 8 * 8 = 224. The CFA offset is 160 8 ; (the caller-allocated part of the frame) + 224. 9 define void @f1(float *%ptr) { 10 ; CHECK-LABEL: f1: 11 ; CHECK: aghi %r15, -224 12 ; CHECK: .cfi_def_cfa_offset 384 13 ; CHECK: std %f8, 216(%r15) 14 ; CHECK: std %f9, 208(%r15) 15 ; CHECK: std %f10, 200(%r15) 16 ; CHECK: std %f11, 192(%r15) 17 ; CHECK: std %f12, 184(%r15) 18 ; CHECK: std %f13, 176(%r15) 19 ; CHECK: std %f14, 168(%r15) 20 ; CHECK: std %f15, 160(%r15) 21 ; CHECK: .cfi_offset %f8, -168 22 ; CHECK: .cfi_offset %f9, -176 23 ; CHECK: .cfi_offset %f10, -184 24 ; CHECK: .cfi_offset %f11, -192 25 ; CHECK: .cfi_offset %f12, -200 26 ; CHECK: .cfi_offset %f13, -208 27 ; CHECK: .cfi_offset %f14, -216 28 ; CHECK: .cfi_offset %f15, -224 29 ; ...main function body... 30 ; CHECK: ld %f8, 216(%r15) 31 ; CHECK: ld %f9, 208(%r15) 32 ; CHECK: ld %f10, 200(%r15) 33 ; CHECK: ld %f11, 192(%r15) 34 ; CHECK: ld %f12, 184(%r15) 35 ; CHECK: ld %f13, 176(%r15) 36 ; CHECK: ld %f14, 168(%r15) 37 ; CHECK: ld %f15, 160(%r15) 38 ; CHECK: aghi %r15, 224 39 ; CHECK: br %r14 40 %l0 = load volatile float , float *%ptr 41 %l1 = load volatile float , float *%ptr 42 %l2 = load volatile float , float *%ptr 43 %l3 = load volatile float , float *%ptr 44 %l4 = load volatile float , float *%ptr 45 %l5 = load volatile float , float *%ptr 46 %l6 = load volatile float , float *%ptr 47 %l7 = load volatile float , float *%ptr 48 %l8 = load volatile float , float *%ptr 49 %l9 = load volatile float , float *%ptr 50 %l10 = load volatile float , float *%ptr 51 %l11 = load volatile float , float *%ptr 52 %l12 = load volatile float , float *%ptr 53 %l13 = load volatile float , float *%ptr 54 %l14 = load volatile float , float *%ptr 55 %l15 = load volatile float , float *%ptr 56 %add0 = fadd float %l0, %l0 57 %add1 = fadd float %l1, %add0 58 %add2 = fadd float %l2, %add1 59 %add3 = fadd float %l3, %add2 60 %add4 = fadd float %l4, %add3 61 %add5 = fadd float %l5, %add4 62 %add6 = fadd float %l6, %add5 63 %add7 = fadd float %l7, %add6 64 %add8 = fadd float %l8, %add7 65 %add9 = fadd float %l9, %add8 66 %add10 = fadd float %l10, %add9 67 %add11 = fadd float %l11, %add10 68 %add12 = fadd float %l12, %add11 69 %add13 = fadd float %l13, %add12 70 %add14 = fadd float %l14, %add13 71 %add15 = fadd float %l15, %add14 72 store volatile float %add0, float *%ptr 73 store volatile float %add1, float *%ptr 74 store volatile float %add2, float *%ptr 75 store volatile float %add3, float *%ptr 76 store volatile float %add4, float *%ptr 77 store volatile float %add5, float *%ptr 78 store volatile float %add6, float *%ptr 79 store volatile float %add7, float *%ptr 80 store volatile float %add8, float *%ptr 81 store volatile float %add9, float *%ptr 82 store volatile float %add10, float *%ptr 83 store volatile float %add11, float *%ptr 84 store volatile float %add12, float *%ptr 85 store volatile float %add13, float *%ptr 86 store volatile float %add14, float *%ptr 87 store volatile float %add15, float *%ptr 88 ret void 89 } 90 91 ; Like f1, but requires one fewer FPR. We allocate in numerical order, 92 ; so %f15 is the one that gets dropped. 93 define void @f2(float *%ptr) { 94 ; CHECK-LABEL: f2: 95 ; CHECK: aghi %r15, -216 96 ; CHECK: .cfi_def_cfa_offset 376 97 ; CHECK: std %f8, 208(%r15) 98 ; CHECK: std %f9, 200(%r15) 99 ; CHECK: std %f10, 192(%r15) 100 ; CHECK: std %f11, 184(%r15) 101 ; CHECK: std %f12, 176(%r15) 102 ; CHECK: std %f13, 168(%r15) 103 ; CHECK: std %f14, 160(%r15) 104 ; CHECK: .cfi_offset %f8, -168 105 ; CHECK: .cfi_offset %f9, -176 106 ; CHECK: .cfi_offset %f10, -184 107 ; CHECK: .cfi_offset %f11, -192 108 ; CHECK: .cfi_offset %f12, -200 109 ; CHECK: .cfi_offset %f13, -208 110 ; CHECK: .cfi_offset %f14, -216 111 ; CHECK-NOT: %f15 112 ; ...main function body... 113 ; CHECK: ld %f8, 208(%r15) 114 ; CHECK: ld %f9, 200(%r15) 115 ; CHECK: ld %f10, 192(%r15) 116 ; CHECK: ld %f11, 184(%r15) 117 ; CHECK: ld %f12, 176(%r15) 118 ; CHECK: ld %f13, 168(%r15) 119 ; CHECK: ld %f14, 160(%r15) 120 ; CHECK: aghi %r15, 216 121 ; CHECK: br %r14 122 %l0 = load volatile float , float *%ptr 123 %l1 = load volatile float , float *%ptr 124 %l2 = load volatile float , float *%ptr 125 %l3 = load volatile float , float *%ptr 126 %l4 = load volatile float , float *%ptr 127 %l5 = load volatile float , float *%ptr 128 %l6 = load volatile float , float *%ptr 129 %l7 = load volatile float , float *%ptr 130 %l8 = load volatile float , float *%ptr 131 %l9 = load volatile float , float *%ptr 132 %l10 = load volatile float , float *%ptr 133 %l11 = load volatile float , float *%ptr 134 %l12 = load volatile float , float *%ptr 135 %l13 = load volatile float , float *%ptr 136 %l14 = load volatile float , float *%ptr 137 %add0 = fadd float %l0, %l0 138 %add1 = fadd float %l1, %add0 139 %add2 = fadd float %l2, %add1 140 %add3 = fadd float %l3, %add2 141 %add4 = fadd float %l4, %add3 142 %add5 = fadd float %l5, %add4 143 %add6 = fadd float %l6, %add5 144 %add7 = fadd float %l7, %add6 145 %add8 = fadd float %l8, %add7 146 %add9 = fadd float %l9, %add8 147 %add10 = fadd float %l10, %add9 148 %add11 = fadd float %l11, %add10 149 %add12 = fadd float %l12, %add11 150 %add13 = fadd float %l13, %add12 151 %add14 = fadd float %l14, %add13 152 store volatile float %add0, float *%ptr 153 store volatile float %add1, float *%ptr 154 store volatile float %add2, float *%ptr 155 store volatile float %add3, float *%ptr 156 store volatile float %add4, float *%ptr 157 store volatile float %add5, float *%ptr 158 store volatile float %add6, float *%ptr 159 store volatile float %add7, float *%ptr 160 store volatile float %add8, float *%ptr 161 store volatile float %add9, float *%ptr 162 store volatile float %add10, float *%ptr 163 store volatile float %add11, float *%ptr 164 store volatile float %add12, float *%ptr 165 store volatile float %add13, float *%ptr 166 store volatile float %add14, float *%ptr 167 ret void 168 } 169 170 ; Like f1, but should require only one call-saved FPR. 171 define void @f3(float *%ptr) { 172 ; CHECK-LABEL: f3: 173 ; CHECK: aghi %r15, -168 174 ; CHECK: .cfi_def_cfa_offset 328 175 ; CHECK: std %f8, 160(%r15) 176 ; CHECK: .cfi_offset %f8, -168 177 ; CHECK-NOT: %f9 178 ; CHECK-NOT: %f10 179 ; CHECK-NOT: %f11 180 ; CHECK-NOT: %f12 181 ; CHECK-NOT: %f13 182 ; CHECK-NOT: %f14 183 ; CHECK-NOT: %f15 184 ; ...main function body... 185 ; CHECK: ld %f8, 160(%r15) 186 ; CHECK: aghi %r15, 168 187 ; CHECK: br %r14 188 %l0 = load volatile float , float *%ptr 189 %l1 = load volatile float , float *%ptr 190 %l2 = load volatile float , float *%ptr 191 %l3 = load volatile float , float *%ptr 192 %l4 = load volatile float , float *%ptr 193 %l5 = load volatile float , float *%ptr 194 %l6 = load volatile float , float *%ptr 195 %l7 = load volatile float , float *%ptr 196 %l8 = load volatile float , float *%ptr 197 %add0 = fadd float %l0, %l0 198 %add1 = fadd float %l1, %add0 199 %add2 = fadd float %l2, %add1 200 %add3 = fadd float %l3, %add2 201 %add4 = fadd float %l4, %add3 202 %add5 = fadd float %l5, %add4 203 %add6 = fadd float %l6, %add5 204 %add7 = fadd float %l7, %add6 205 %add8 = fadd float %l8, %add7 206 store volatile float %add0, float *%ptr 207 store volatile float %add1, float *%ptr 208 store volatile float %add2, float *%ptr 209 store volatile float %add3, float *%ptr 210 store volatile float %add4, float *%ptr 211 store volatile float %add5, float *%ptr 212 store volatile float %add6, float *%ptr 213 store volatile float %add7, float *%ptr 214 store volatile float %add8, float *%ptr 215 ret void 216 } 217 218 ; This function should use all call-clobbered FPRs but no call-saved ones. 219 ; It shouldn't need to create a frame. 220 define void @f4(float *%ptr) { 221 ; CHECK-LABEL: f4: 222 ; CHECK-NOT: %r15 223 ; CHECK-NOT: %f8 224 ; CHECK-NOT: %f9 225 ; CHECK-NOT: %f10 226 ; CHECK-NOT: %f11 227 ; CHECK-NOT: %f12 228 ; CHECK-NOT: %f13 229 ; CHECK-NOT: %f14 230 ; CHECK-NOT: %f15 231 ; CHECK: br %r14 232 %l0 = load volatile float , float *%ptr 233 %l1 = load volatile float , float *%ptr 234 %l2 = load volatile float , float *%ptr 235 %l3 = load volatile float , float *%ptr 236 %l4 = load volatile float , float *%ptr 237 %l5 = load volatile float , float *%ptr 238 %l6 = load volatile float , float *%ptr 239 %l7 = load volatile float , float *%ptr 240 %add0 = fadd float %l0, %l0 241 %add1 = fadd float %l1, %add0 242 %add2 = fadd float %l2, %add1 243 %add3 = fadd float %l3, %add2 244 %add4 = fadd float %l4, %add3 245 %add5 = fadd float %l5, %add4 246 %add6 = fadd float %l6, %add5 247 %add7 = fadd float %l7, %add6 248 store volatile float %add0, float *%ptr 249 store volatile float %add1, float *%ptr 250 store volatile float %add2, float *%ptr 251 store volatile float %add3, float *%ptr 252 store volatile float %add4, float *%ptr 253 store volatile float %add5, float *%ptr 254 store volatile float %add6, float *%ptr 255 store volatile float %add7, float *%ptr 256 ret void 257 } 258
