blob: de1d82c0146a1d46a200a98142ac6162b71ee73e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
.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
|
