diff options
Diffstat (limited to 'exit_123.s')
| -rw-r--r-- | exit_123.s | 28 |
1 files changed, 4 insertions, 24 deletions
@@ -5,30 +5,10 @@ # || -> cont .thunkcode main - # push a new integer - pushq $100 - pushq $INT_code - mov %rsp, %r11 # backup first arg - - # push another new integer - pushq $23 - pushq $INT_code - mov %rsp, %r12 # backup second arg - - # push the plus - push %r12 - push %r11 - pushq $2 - pushq $plus - mov %rsp, %r13 # backup plus - - # push a cont thunk for main_exit - push %rsi - pushq $1 - pushq $main_exit - - # evaluate into main_exit - mov %rsp, %rsi + thunkto %r11, $INT_code, $100 + thunkto %r12, $INT_code, $23 + thunkto %r13, $plus, $2, %r11, %r12 + thunkto %rsi, $main_exit, $1 enter %r13 .include "include/main_exit.s" |