]>
Commit | Line | Data |
---|---|---|
1 | (* L3 Compiler | |
2 | * Temporaries | |
3 | * Author: Kaustuv Chaudhuri <kaustuv+@cs.cmu.edu> | |
4 | * Modified: Alex Vaynberg <alv@andrew.cmu.edu> | |
5 | * Modified: Frank Pfenning <fp@cs.cmu.edu> | |
6 | *) | |
7 | ||
8 | signature TEMP = | |
9 | sig | |
10 | type temp | |
11 | ||
12 | val reset : unit -> unit (* resets temp numbering *) | |
13 | val new : string -> int -> temp (* returns a unique new temp *) | |
14 | val name : temp -> string (* returns the name of a temp *) | |
15 | val size : temp -> int (* returns the size of a temp *) | |
16 | val compare : temp * temp -> order (* comparison function *) | |
17 | val eq : temp * temp -> bool | |
18 | end | |
19 | ||
20 | structure Temp :> TEMP = | |
21 | struct | |
22 | type temp = int * string * int | |
23 | ||
24 | local | |
25 | val counter = ref 1 | |
26 | in | |
27 | (* warning: calling reset() may jeopardize uniqueness of temps! *) | |
28 | fun reset () = ( counter := 1 ) | |
29 | fun new str size = (!counter, str, size) before ( counter := !counter + 1 ) | |
30 | end | |
31 | ||
32 | fun name (t,s, sz) = "+t" ^ Int.toString t ^ "[" ^ s ^ "]" | |
33 | fun size (t, s, sz) = sz | |
34 | fun compare ((t1,_,_),(t2,_,_)) = Int.compare (t1,t2) | |
35 | ||
36 | fun eq ((t1,_,_), (t2,_,_)) = t1 = t2 | |
37 | end |