diff options
Diffstat (limited to 'transect/compiler2')
-rw-r--r-- | transect/compiler2 | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/transect/compiler2 b/transect/compiler2 deleted file mode 100644 index 5c06cc4f..00000000 --- a/transect/compiler2 +++ /dev/null @@ -1,27 +0,0 @@ -to dereference a heap allocation - copy handle to stack - perform lookup to stack - -lookup x in *(ESP+4) of type (handle T) - - reg <- copy *(ESP+5) : (address T stack) - payload alloc id <- copy *reg - address alloc id <- copy *(ESP+4) - compare payload alloc id, address alloc id - jump if not equal to print stack trace and panic - address <- add reg, 1 - -types: - - address T reg - address T stack - address T heap - address T global - -copy down this spectrum is not permitted, but up is. - -addresses aren't allowed in types, globals and on the heap. Only handles. -addresses are only for temporary manipulations. - - -*(address T) <- copy T |