SCM Repository
Diff of /sml/trunk/src/compiler/FLINT/opt/collect.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 184, Sun Nov 8 21:18:20 1998 UTC | revision 185, Tue Nov 10 21:01:05 1998 UTC | |
|---|---|---|
| # | Line 3 | Line 3 |
| 3 | ||
| 4 | signature COLLECT = | signature COLLECT = |
| 5 | sig | sig |
| 6 | type info | |
| 7 | ||
| 8 | (* Collect information about variables and function uses. | (* Collect information about variables and function uses. |
| 9 | * The info is accumulated in the map `m' *) | * The info is accumulated in the map `m' *) |
| 10 | val collect : FLINT.fundec -> FLINT.fundec | val collect : FLINT.fundec -> FLINT.fundec |
| 11 | ||
| 12 | (* val get : FLINT.lvar -> info *) | |
| 13 | ||
| 14 | (* query functions *) | (* query functions *) |
| 15 | val escaping : FLINT.lvar -> bool (* non-call uses *) | val escaping : FLINT.lvar -> bool (* non-call uses *) |
| 16 | val called : FLINT.lvar -> bool (* known call uses *) | val called : FLINT.lvar -> bool (* known call uses *) |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
