Return to size.sml CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / cps

Annotation of researchv10no/cmd/sml/src/cps/size.sml, revision 1.1.1.1

1.1       root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
                      2: structure CPSsize =
                      3: struct
                      4: local open CPS
                      5: 
                      6: fun cells_list (l : 'a list) = 2 * length l
                      7: fun descriptors_list (l : 'a list) = length l
                      8: 
                      9: val rec cells =
                     10:   fn RECORD(vl,w,ce) => 2 + 3 + cells_list vl + cells ce
                     11:    | SELECT(i,v,w,ce) => 2 + 4 + cells ce
                     12:    | OFFSET(i,v,w,ce) => 2 + 4 + cells ce
                     13:    | APP(v,vl) => 2 + 2 + cells_list vl
                     14:    | FIX(l,ce) => 2 + 2 + cells_list l + cells ce
                     15:                + fold (fn((f,vl,e),b) => 3 + cells_list vl + cells e + b) l 0
                     16:    | SWITCH(v,l) => 2 + 2 + cells_list l + fold (fn(a,b) => cells a + b) l 0
                     17:    | PRIMOP(_,vl,wl,ce) => 
                     18:        2 + 4 + cells_list vl + cells_list wl + cells_list ce
                     19:                 + fold (fn(a,b) => cells a + b) ce 0
                     20: 
                     21: val rec descriptors =
                     22:   fn RECORD(vl,w,ce) => 2 + descriptors_list vl + descriptors ce
                     23:    | SELECT(i,v,w,ce) => 2 + descriptors ce
                     24:    | OFFSET(i,v,w,ce) => 2 + descriptors ce
                     25:    | APP(v,vl) => 2 + descriptors_list vl
                     26:    | FIX(l,ce) => 2 + descriptors_list l + descriptors ce
                     27:                + fold (fn((f,vl,e),b) => 1 + descriptors_list vl
                     28:                        + descriptors e + b) l 0
                     29:    | SWITCH(v,l) => 2 + descriptors_list l
                     30:                        + fold (fn(a,b) => descriptors a + b) l 0
                     31:    | PRIMOP(_,vl,wl,ce) => 
                     32:        2 + descriptors_list vl + descriptors_list wl + descriptors_list ce
                     33:                 + fold (fn(a,b) => descriptors a + b) ce 0
                     34: in
                     35: fun printsize ce =
                     36:   let val c = cells ce
                     37:       val d = descriptors ce
                     38:   in  print "CPSsize: #cells="; print c; print "; #descriptors="; print d;
                     39:       print "\n"; ()
                     40:   end
                     41: end
                     42: 
                     43: end

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.