From 2a4088119cf41175457414dfa59bd4064b8f0562 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Wed, 1 Jan 2020 17:04:37 -0800 Subject: 5852 --- archive/3.transect/compiler2 | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 archive/3.transect/compiler2 (limited to 'archive/3.transect/compiler2') diff --git a/archive/3.transect/compiler2 b/archive/3.transect/compiler2 deleted file mode 100644 index 5c06cc4f..00000000 --- a/archive/3.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 -- cgit 1.4.1-2-gfad0