mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-05-19 11:10:25 +02:00
60c1c545fc
*include/lightning.h, lib/lightning.c: Add the new jit_live code to explicitly mark a register as live. It is required to avoid assuming functions always return a value in the gpr and fpr return register, and to avoid the need of some very specialized codes that vary too much from backend to backend, to instruct the optimization code the return register is live. * lib/jit_arm.c, lib/jit_mips.c, lib/jit_ppc.c, lib/jit_print.c, lib/jit_x86.c: Update for the new jit_live code. * check/ret.ok, check/ret.tst: New files implementing a simple test case that would previously fail at least in ix86/x86_64. * check/Makefile.am: Update for new "ret" test case.
51 lines
917 B
Scilab
51 lines
917 B
Scilab
.data 16
|
|
ok:
|
|
.c "ok"
|
|
|
|
.code
|
|
jmpi main
|
|
|
|
/*
|
|
* very simple test on purpose because otherwise it would not trigger
|
|
* the bug where the retr %r0 or retr_d %f0 would be omitted because
|
|
* the argument was already the return register, but the register end
|
|
* clobbered by another instruction, like the div*, and the wrong
|
|
* value returned because the retr* was removed and this way, lost
|
|
* information that the register was live at function exit.
|
|
*/
|
|
|
|
check_r0:
|
|
prolog
|
|
movi %r0 1
|
|
movi %r2 10
|
|
// on x86 this changes %rax on other arches could use %r0 as temporary
|
|
divi %r1 %r2 3
|
|
// %r0 must still be 1
|
|
retr %r0
|
|
epilog
|
|
|
|
check_f0:
|
|
prolog
|
|
movi_d %f0 0.5
|
|
movi_d %f2 10
|
|
divi_d %f1 %f2 3
|
|
retr_d %f0
|
|
epilog
|
|
|
|
main:
|
|
prolog
|
|
calli check_r0
|
|
retval %r1
|
|
beqi r0_ok %r1 1
|
|
calli @abort
|
|
r0_ok:
|
|
calli check_f0
|
|
retval_d %f1
|
|
beqi_d f0_ok %f1 0.5
|
|
calli @abort
|
|
f0_ok:
|
|
prepare
|
|
pushargi ok
|
|
finishi @puts
|
|
ret
|
|
epilog
|