From 28b25a489338f31f291832e8dc94174619387e95 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Thu, 16 Jul 2020 22:34:57 -0700 Subject: 6657 --- mu_instructions | 16 ---------------- 1 file changed, 16 deletions(-) (limited to 'mu_instructions') diff --git a/mu_instructions b/mu_instructions index 69999444..e28edfff 100644 --- a/mu_instructions +++ b/mu_instructions @@ -238,22 +238,6 @@ var/reg: (addr T_f) <- get var2: T, f # Handles for safe access to the heap -copy-handle-to dest: (handle T), src: (handle T) - => "50/push-eax" - "8b/-> *(ebp+" src.stack-offset ") 0/r32/eax" - "89/<- *(ebp+" dest.stack-offset ") 0/r32/eax" - "8b/-> *(ebp+" src.stack-offset+4 ") 0/r32/eax" - "89/<- *(ebp+" dest.stack-offset+4 ") 0/r32/eax" - "58/pop-to-eax" - -copy-handle-to *dest/reg: (addr handle T), src: (handle T) - => "50/push-eax" - "8b/-> *(ebp+" src.stack-offset ") 0/r32/eax" - "89/<- *" reg " 0/r32/eax" - "8b/-> *(ebp+" src.stack-offset+4 ") 0/r32/eax" - "89/<- *(" reg "+4) 0/r32/eax" - "58/pop-to-eax" - out/reg: (addr T) <- lookup in: (handle T) => # payload_allocid = in->address->allocid "8b/-> *(epb+" (in.stack-offset+4) ") " reg "/r32" -- cgit 1.4.1-2-gfad0