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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
|
# value stacks encode the result of a program at a single point in time
# they are typically rendered vertically
type value-stack {
data: (handle array value)
top: int
}
fn initialize-value-stack _self: (addr value-stack), n: int {
var self/esi: (addr value-stack) <- copy _self
var d/edi: (addr handle array value) <- get self, data
populate d, n
var top/eax: (addr int) <- get self, top
copy-to *top, 0
}
fn clear-value-stack _self: (addr value-stack) {
var self/esi: (addr value-stack) <- copy _self
var top/eax: (addr int) <- get self, top
copy-to *top, 0
}
fn push-number-to-value-stack _self: (addr value-stack), _val: float {
var self/esi: (addr value-stack) <- copy _self
var top-addr/ecx: (addr int) <- get self, top
var data-ah/edx: (addr handle array value) <- get self, data
var data/eax: (addr array value) <- lookup *data-ah
var top/edx: int <- copy *top-addr
var dest-offset/edx: (offset value) <- compute-offset data, top
var dest-addr/edx: (addr value) <- index data, dest-offset
var dest-addr2/eax: (addr float) <- get dest-addr, number-data
var val/xmm0: float <- copy _val
copy-to *dest-addr2, val
increment *top-addr
var type-addr/eax: (addr int) <- get dest-addr, type
copy-to *type-addr, 0/number
}
fn push-string-to-value-stack _self: (addr value-stack), val: (handle array byte) {
var self/esi: (addr value-stack) <- copy _self
var top-addr/ecx: (addr int) <- get self, top
var data-ah/edx: (addr handle array value) <- get self, data
var data/eax: (addr array value) <- lookup *data-ah
var top/edx: int <- copy *top-addr
var dest-offset/edx: (offset value) <- compute-offset data, top
var dest-addr/edx: (addr value) <- index data, dest-offset
var dest-addr2/eax: (addr handle array byte) <- get dest-addr, text-data
copy-handle val, dest-addr2
var dest-addr3/eax: (addr int) <- get dest-addr, type
copy-to *dest-addr3, 1/string
increment *top-addr
}
fn push-array-to-value-stack _self: (addr value-stack), val: (handle array value) {
var self/esi: (addr value-stack) <- copy _self
var top-addr/ecx: (addr int) <- get self, top
var data-ah/edx: (addr handle array value) <- get self, data
var data/eax: (addr array value) <- lookup *data-ah
var top/edx: int <- copy *top-addr
var dest-offset/edx: (offset value) <- compute-offset data, top
var dest-addr/edx: (addr value) <- index data, dest-offset
var dest-addr2/eax: (addr handle array value) <- get dest-addr, array-data
copy-handle val, dest-addr2
# update type
var dest-addr3/eax: (addr int) <- get dest-addr, type
copy-to *dest-addr3, 2/array
increment *top-addr
}
fn push-boolean-to-value-stack _self: (addr value-stack), _val: boolean {
var self/esi: (addr value-stack) <- copy _self
var top-addr/ecx: (addr int) <- get self, top
var data-ah/edx: (addr handle array value) <- get self, data
var data/eax: (addr array value) <- lookup *data-ah
var top/edx: int <- copy *top-addr
var dest-offset/edx: (offset value) <- compute-offset data, top
var dest-addr/edx: (addr value) <- index data, dest-offset
var dest-addr2/eax: (addr boolean) <- get dest-addr, boolean-data
var val/esi: boolean <- copy _val
copy-to *dest-addr2, val
increment *top-addr
var type-addr/eax: (addr int) <- get dest-addr, type
copy-to *type-addr, 3/boolean
}
fn push-value-stack _self: (addr value-stack), val: (addr value) {
var self/esi: (addr value-stack) <- copy _self
var top-addr/ecx: (addr int) <- get self, top
var data-ah/edx: (addr handle array value) <- get self, data
var data/eax: (addr array value) <- lookup *data-ah
var top/edx: int <- copy *top-addr
var dest-offset/edx: (offset value) <- compute-offset data, top
var dest-addr/edx: (addr value) <- index data, dest-offset
copy-object val, dest-addr
increment *top-addr
}
fn pop-number-from-value-stack _self: (addr value-stack) -> _/xmm0: float {
var self/esi: (addr value-stack) <- copy _self
var top-addr/ecx: (addr int) <- get self, top
{
compare *top-addr, 0
break-if->
abort "pop number: empty stack"
}
decrement *top-addr
var data-ah/edx: (addr handle array value) <- get self, data
var data/eax: (addr array value) <- lookup *data-ah
var top/edx: int <- copy *top-addr
var dest-offset/edx: (offset value) <- compute-offset data, top
var result-addr/eax: (addr value) <- index data, dest-offset
var result-addr2/eax: (addr float) <- get result-addr, number-data
return *result-addr2
}
fn pop-boolean-from-value-stack _self: (addr value-stack) -> _/eax: boolean {
var self/esi: (addr value-stack) <- copy _self
var top-addr/ecx: (addr int) <- get self, top
{
compare *top-addr, 0
break-if->
abort "pop boolean: empty stack"
}
decrement *top-addr
var data-ah/edx: (addr handle array value) <- get self, data
var data/eax: (addr array value) <- lookup *data-ah
var top/edx: int <- copy *top-addr
var dest-offset/edx: (offset value) <- compute-offset data, top
var result-addr/eax: (addr value) <- index data, dest-offset
var result-addr2/eax: (addr boolean) <- get result-addr, boolean-data
return *result-addr2
}
fn value-stack-empty? _self: (addr value-stack) -> _/eax: boolean {
var self/esi: (addr value-stack) <- copy _self
var top/eax: (addr int) <- get self, top
compare *top, 0
{
break-if-!=
return 1/true
}
return 0/false
}
fn value-stack-length _self: (addr value-stack) -> _/eax: int {
var self/esi: (addr value-stack) <- copy _self
var top-addr/eax: (addr int) <- get self, top
return *top-addr
}
fn save-lines in-h: (handle array (handle array byte)), _out-ah: (addr handle array value) {
var _in/eax: (addr array (handle array byte)) <- lookup in-h
var in/esi: (addr array (handle array byte)) <- copy _in
var len/ecx: int <- length in
var out-ah/edi: (addr handle array value) <- copy _out-ah
populate out-ah, len
var out/eax: (addr array value) <- lookup *out-ah
# copy in into out
var i/ebx: int <- copy 0
{
compare i, len
break-if->=
var src/ecx: (addr handle array byte) <- index in, i
var dest-offset/edx: (offset value) <- compute-offset out, i
var dest-val/edx: (addr value) <- index out, dest-offset
var dest/eax: (addr handle array byte) <- get dest-val, text-data
copy-object src, dest
var type/edx: (addr int) <- get dest-val, type
copy-to *type, 1/string
i <- increment
loop
}
}
fn test-boolean {
var stack-storage: value-stack
var stack/esi: (addr value-stack) <- address stack-storage
push-boolean-to-value-stack stack, 0/false
var result/eax: boolean <- pop-boolean-from-value-stack stack
check-not result, "F - test-boolean/false"
push-boolean-to-value-stack stack, 1/true
var result/eax: boolean <- pop-boolean-from-value-stack stack
check result, "F - test-boolean/true"
}
|