shieldtail/scratch2 at master · dansusman/shieldtail · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
jmp near $lam_1_end
align 16
$lam_1_start:
  push RBP
  mov RBP, RSP
  push QWORD 0
  push QWORD 0
  push QWORD 0
  push QWORD 0
  push QWORD 0
  mov R11, [RBP+16] ;   \ load self ptr
  sub R11, 0x5 ;        / and untag
  mov RAX, [R11+24] ;   \ load free var: x
  mov [RBP+8], RAX ;    / into its correct slot
  mov RAX, [R11+32] ;   \ load free var: z
  mov [RBP+16], RAX ;   / into its correct slot
  mov RAX, [RBP+8]
  and RAX, 0x1
  mov R11, [RBP+8]
  cmp RAX, 0
  jne near ?err_arith_not_num
  mov RAX, [RBP+24]
  and RAX, 0x1
  mov R11, [RBP+24]
  cmp RAX, 0
  jne near ?err_arith_not_num
  mov RAX, [RBP+8]
  mov R11, [RBP+24]
  add RAX, R11
  jo near ?err_overflow
  mov [RBP-24], RAX ; binding binop_4 at tag 1
  mov RAX, [RBP-24]
  and RAX, 0x1
  mov R11, [RBP-24]
  cmp RAX, 0
  jne near ?err_arith_not_num
  mov RAX, [RBP+16]
  and RAX, 0x1
  mov R11, [RBP+16]
  cmp RAX, 0
  jne near ?err_arith_not_num
  mov RAX, [RBP-24]
  mov R11, [RBP+16]
  add RAX, R11
  jo near ?err_overflow
  mov RSP, RBP
  pop RBP
  ret
align 16
$lam_1_end:
  mov RAX, [?HEAP_END] ; Reserving 6 words
  sub RAX, 48
  cmp RAX, R15
  jge near $memcheck_1
  push R10
  push R12
  push R13
  push R14
  push RBX
  push RSI
  push RDI
  push RCX
  push RDX
  push R8
  push R9
  mov QWORD RDI, QWORD R15
  mov QWORD RSI, QWORD 48
  mov QWORD RDX, QWORD RBP
  mov QWORD RCX, QWORD RSP
  call ?try_gc
  pop R9
  pop R8
  pop RDX
  pop RCX
  pop RDI
  pop RSI
  pop RBX
  pop R14
  pop R13
  pop R12
  pop R10
  mov R15, RAX ; assume gc success if returning here, so RAX holds the new heap_reg value
align 16
$memcheck_1:
  mov QWORD [R15+0], 1 ; load arity
  mov QWORD R11, $lam_1_start ;         \ load code ptr
  mov QWORD [R15+8], R11 ;      /
  mov QWORD [R15+16], 2 ; # of fvs (2)
  mov RAX, [RBP+8] ;    \ copy x from arg
  mov [R15+24], RAX ;   / into closure
  mov RAX, [RBP+16] ;   \ copy z from arg
  mov [R15+32], RAX ;   / into closure
  mov RAX, R15
  add RAX, 0x5
  add R15, 48