aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/layout.ml
Commit message (Collapse)AuthorAgeFilesLines
* Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare2010-07-271-3/+3
| | | | | | | - Remove redundant uses of 'resolve' and 'referent' in semant. - Use defn, defn_id, lval, lval_base more consistently. - Make associated query functions more consistent. - Closes #127.
* Clean up nomenclature in the Abi constants brigade. Purge magic GEP numbers ↵Roy Frostig2010-07-161-1/+1
| | | | in trans. Adjust obj_closure_rty (and its consumers) to be more explicit about the fact that it is a box.
* Begin moving closure-or-obj pointer out to front of call args by changing ↵Roy Frostig2010-07-151-1/+2
| | | | the order within the call-arg tup referent type. This breaks the world quite a bit, since it remains to fix custom call paths: glue, upcalls, natives.
* Minimize pointless logging during walk.Graydon Hoare2010-07-141-1/+2
|
* Implement STMT_init_box in trans, clean up some of the semant table-accessors.Graydon Hoare2010-07-011-1/+1
|
* Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵Graydon Hoare2010-06-301-2/+2
| | | | keep MEM_interior for describing interior-parts-of-allocations)
* Populate tree.Graydon Hoare2010-06-231-0/+470