Commit | Line | Data |
---|---|---|
1 | module type S = sig | |
2 | type t | |
3 | ||
4 | type access | |
5 | ||
6 | val word_size : | |
7 | int | |
8 | ||
9 | val pointer : | |
10 | Tiger_temp.Temp.t | |
11 | ||
12 | val make : | |
13 | name:Tiger_temp.Label.t -> formals:bool list -> t | |
14 | ||
15 | val name : | |
16 | t -> Tiger_temp.Label.t | |
17 | ||
18 | val formals : | |
19 | t -> access list | |
20 | ||
21 | val alloc_local : | |
22 | t -> escapes:bool -> access | |
23 | ||
24 | val exp : | |
25 | access:access -> pointer:Tiger_tree.exp -> Tiger_tree.exp | |
26 | end |