blob: bcaac76aa8ba9240ddd1eb6457b46c8cc78db5a5 (
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
52
|
use "types.use"
pkg std =
type valist
const vastart : (args : ...# -> valist)
generic vanext : (ap : valist -> (@a, valist))
;;
type valist = byte#
/*
* a valist is really just a pointer to the varargs.
* we assume that these sit on the stack nicely,
* and don't need special handling to get to.
*
* This will be a problem when we switch to a
* register based convention. We might want to
* force varargs onto the stack regardless.
*/
const vastart = {args
-> args castto(valist)
}
generic vanext = {ap -> (@a, valist)
var v : @a
var align
var p
/*
Assumptions about the ABI:
* all types smaller than a word are
* aligned to their own size. Larger
* types are aligned to word size.
*/
if sizeof(@a) > 8
align = 8
else
align = sizeof(@a)
;;
/* apply the alignment to the arg pointer */
p = ap castto(intptr)
p = (p + align - 1) & ~(align - 1)
ap = p castto(valist)
v = (ap castto(@a#))#
/* only move on after we read through the value */
ap = ((p castto(intptr)) + sizeof(@a)) castto(valist)
-> (v, ap)
}
|
