common-lisp/sbcl.sbcl
1
0
Fork 0
mirror of git://git.code.sf.net/p/sbcl/sbcl synced 2026-09-10 07:26:40 -04:00
Code Issues Actions 8 Packages Projects Releases Wiki Activity

arm64, struct-by-value: look at the stack when running out of GPRs

Browse source
This commit is contained in:
Stas Boukarev 2026-04-23 07:56:43 +03:00
parent 4b3abf2f8c
commit 29a23fdce1
1 changed files with 27 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

37
src/compiler/arm64/c-call.lisp
View file

@ -718,22 +718,39 @@
((multiple-value-bind (hfa-type hfa-count) (hfa-base-type type)
(when hfa-type
(let ((fp-size (if (eq hfa-type 'single-float) 4 8)))
(dotimes (i hfa-count)
(when (< fp-registers 8)
(inst str (make-tn fp-registers
(if (eq hfa-type 'single-float)
'single-reg
'double-reg))
(@ nsp-tn (+ frame-offset (* i fp-size))))
(incf fp-registers))))
(cond ((<= (+ fp-registers hfa-count) 8)
(dotimes (i hfa-count)
(inst str (make-tn fp-registers
(if (eq hfa-type 'single-float)
'single-reg
'double-reg))
(@ nsp-tn (+ frame-offset (* i fp-size))))
(incf fp-registers)))
(t
(setf fp-registers 8)
(setf stack-argument-bytes (align-up stack-argument-bytes 8))
(loop for off below struct-bytes by 8
for remaining = (- struct-bytes off)
do (cond ((>= remaining 8)
(inst ldr temp-tn (@ nsp-save-tn (+ stack-argument-bytes off)))
(inst str temp-tn (@ nsp-tn (+ frame-offset off))))
(t
(inst ldr (32-bit-reg temp-tn) (@ nsp-save-tn (+ stack-argument-bytes off)))
(inst str (32-bit-reg temp-tn) (@ nsp-tn (+ frame-offset off))))))
(incf stack-argument-bytes (align-up struct-bytes 8)))))
t)))
;; Small non-HFA struct (<=16 bytes): passed in GPRs
(t
(let ((num-regs (ceiling struct-bytes 8)))
(dotimes (i num-regs)
(let ((gpr (pop gprs)))
(when gpr
(inst str gpr (@ nsp-tn (+ frame-offset (* i 8))))))))))
(cond (gpr
(inst str gpr (@ nsp-tn (+ frame-offset (* i 8)))))
(t
(setf stack-argument-bytes (align-up stack-argument-bytes 8))
(inst ldr temp-tn (@ nsp-save-tn stack-argument-bytes))
(inst str temp-tn (@ nsp-tn (+ frame-offset (* i 8))))
(incf stack-argument-bytes 8))))))))
;; Use word-aligned size for frame offset to match Lisp side
(incf frame-offset struct-bytes-aligned)))
(t