| blob | 171efb5400e233ecd903d9f9175946d151eebc82 |
1 # some utilities for converting numbers from hex
2 # lowercase letters only for now
4 == code
5 # instruction effective address register displacement immediate
6 # . op subop mod rm32 base index scale r32
7 # . 1-3 bytes 3 bits 2 bits 3 bits 3 bits 3 bits 2 bits 2 bits 0/1/2/4 bytes 0/1/2/4 bytes
9 hex-int?: # in: (addr slice) -> result/eax: boolean
10 # . prologue
11 55/push-ebp
12 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
13 # . save registers
14 51/push-ecx
15 52/push-edx
16 53/push-ebx
17 # ecx = s
18 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 8/disp8 . # copy *(ebp+8) to ecx
19 # edx = s->end
20 8b/copy 1/mod/*+disp8 1/rm32/ecx . . . 2/r32/edx 4/disp8 . # copy *(ecx+4) to edx
21 # var curr/ecx: (addr byte) = s->start
22 8b/copy 0/mod/indirect 1/rm32/ecx . . . 1/r32/ecx . . # copy *ecx to ecx
23 # if s is empty return false
24 b8/copy-to-eax 0/imm32/false
25 39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
26 73/jump-if-addr>= $hex-int?:end/disp8
27 # skip past leading '-'
28 # . if (*curr == '-') ++curr
29 31/xor 3/mod/direct 3/rm32/ebx . . . 3/r32/ebx . . # clear ebx
30 8a/copy-byte 0/mod/indirect 1/rm32/ecx . . . 3/r32/BL . . # copy byte at *ecx to BL
31 81 7/subop/compare 3/mod/direct 3/rm32/ebx . . . . . 0x2d/imm32/- # compare ebx
32 75/jump-if-!= $hex-int?:initial-0/disp8
33 # . ++curr
34 41/increment-ecx
35 # skip past leading '0x'
36 $hex-int?:initial-0:
37 # . if (*curr != '0') jump to loop
38 31/xor 3/mod/direct 3/rm32/ebx . . . 3/r32/ebx . . # clear ebx
39 8a/copy-byte 0/mod/indirect 1/rm32/ecx . . . 3/r32/BL . . # copy byte at *ecx to BL
40 81 7/subop/compare 3/mod/direct 3/rm32/ebx . . . . . 0x30/imm32/0 # compare ebx
41 75/jump-if-!= $hex-int?:loop/disp8
42 # . ++curr
43 41/increment-ecx
44 $hex-int?:initial-0x:
45 # . if (curr >= in->end) return true
46 39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
47 73/jump-if-addr>= $hex-int?:true/disp8
48 # . if (*curr != 'x') jump to loop # the previous '0' is still valid so doesn't need to be checked again
49 31/xor 3/mod/direct 3/rm32/ebx . . . 3/r32/ebx . . # clear ebx
50 8a/copy-byte 0/mod/indirect 1/rm32/ecx . . . 3/r32/BL . . # copy byte at *ecx to BL
51 81 7/subop/compare 3/mod/direct 3/rm32/ebx . . . . . 0x78/imm32/x # compare ebx
52 75/jump-if-!= $hex-int?:loop/disp8
53 # . ++curr
54 41/increment-ecx
55 $hex-int?:loop:
56 # if (curr >= in->end) return true
57 39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
58 73/jump-if-addr>= $hex-int?:true/disp8
59 # var eax: boolean = hex-digit?(*curr)
60 # . . push args
61 8a/copy-byte 0/mod/indirect 1/rm32/ecx . . . 0/r32/AL . . # copy byte at *ecx to AL
62 50/push-eax
63 # . . call
64 e8/call hex-digit?/disp32
65 # . . discard args
66 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
67 # if (eax == false) return false
68 3d/compare-eax-and 0/imm32/false
69 74/jump-if-= $hex-int?:end/disp8
70 # ++curr
71 41/increment-ecx
72 # loop
73 eb/jump $hex-int?:loop/disp8
74 $hex-int?:true:
75 # return true
76 b8/copy-to-eax 1/imm32/true
77 $hex-int?:end:
78 # . restore registers
79 5b/pop-to-ebx
80 5a/pop-to-edx
81 59/pop-to-ecx
82 # . epilogue
83 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
84 5d/pop-to-ebp
85 c3/return
87 test-hex-int:
88 # . prologue
89 55/push-ebp
90 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
91 # (eax..ecx) = "34"
92 b8/copy-to-eax "34"/imm32
93 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx
94 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx
95 05/add-to-eax 4/imm32
96 # var slice/ecx: slice = {eax, ecx}
97 51/push-ecx
98 50/push-eax
99 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
100 # eax = hex-int?(slice)
101 # . . push args
102 51/push-ecx
103 # . . call
104 e8/call hex-int?/disp32
105 # . . discard args
106 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
107 # check-ints-equal(eax, 1, msg)
108 # . . push args
109 68/push "F - test-hex-int"/imm32
110 68/push 1/imm32/true
111 50/push-eax
112 # . . call
113 e8/call check-ints-equal/disp32
114 # . . discard args
115 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
116 # . epilogue
117 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
118 5d/pop-to-ebp
119 c3/return
121 test-hex-int-handles-letters:
122 # . prologue
123 55/push-ebp
124 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
125 # (eax..ecx) = "34a"
126 b8/copy-to-eax "34a"/imm32
127 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx
128 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx
129 05/add-to-eax 4/imm32
130 # var slice/ecx: slice = {eax, ecx}
131 51/push-ecx
132 50/push-eax
133 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
134 # eax = hex-int?(slice)
135 # . . push args
136 51/push-ecx
137 # . . call
138 e8/call hex-int?/disp32
139 # . . discard args
140 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
141 # check-ints-equal(eax, 1, msg)
142 # . . push args
143 68/push "F - test-hex-int-handles-letters"/imm32
144 68/push 1/imm32/true
145 50/push-eax
146 # . . call
147 e8/call check-ints-equal/disp32
148 # . . discard args
149 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
150 # . epilogue
151 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
152 5d/pop-to-ebp
153 c3/return
155 test-hex-int-with-trailing-char:
156 # . prologue
157 55/push-ebp
158 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
159 # (eax..ecx) = "34q"
160 b8/copy-to-eax "34q"/imm32
161 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx
162 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx
163 05/add-to-eax 4/imm32
164 # var slice/ecx: slice = {eax, ecx}
165 51/push-ecx
166 50/push-eax
167 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
168 # eax = hex-int?(slice)
169 # . . push args
170 51/push-ecx
171 # . . call
172 e8/call hex-int?/disp32
173 # . . discard args
174 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
175 # check-ints-equal(eax, 0, msg)
176 # . . push args
177 68/push "F - test-hex-int-with-trailing-char"/imm32
178 68/push 0/imm32/false
179 50/push-eax
180 # . . call
181 e8/call check-ints-equal/disp32
182 # . . discard args
183 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
184 # . epilogue
185 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
186 5d/pop-to-ebp
187 c3/return
189 test-hex-int-with-leading-char:
190 # . prologue
191 55/push-ebp
192 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
193 # (eax..ecx) = "q34"
194 b8/copy-to-eax "q34"/imm32
195 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx
196 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx
197 05/add-to-eax 4/imm32
198 # var slice/ecx: slice = {eax, ecx}
199 51/push-ecx
200 50/push-eax
201 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
202 # eax = hex-int?(slice)
203 # . . push args
204 51/push-ecx
205 # . . call
206 e8/call hex-int?/disp32
207 # . . discard args
208 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
209 # check-ints-equal(eax, 0, msg)
210 # . . push args
211 68/push "F - test-hex-int-with-leading-char"/imm32
212 68/push 0/imm32/false
213 50/push-eax
214 # . . call
215 e8/call check-ints-equal/disp32
216 # . . discard args
217 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
218 # . epilogue
219 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
220 5d/pop-to-ebp
221 c3/return
223 test-hex-int-empty:
224 # . prologue
225 55/push-ebp
226 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
227 # var slice/ecx: slice = ""
228 68/push 0/imm32
229 68/push 0/imm32
230 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
231 # eax = hex-int?(slice)
232 # . . push args
233 51/push-ecx
234 # . . call
235 e8/call hex-int?/disp32
236 # . . discard args
237 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
238 # check-ints-equal(eax, 0, msg)
239 # . . push args
240 68/push "F - test-hex-int-empty"/imm32
241 68/push 0/imm32/false
242 50/push-eax
243 # . . call
244 e8/call check-ints-equal/disp32
245 # . . discard args
246 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
247 # . epilogue
248 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
249 5d/pop-to-ebp
250 c3/return
252 test-hex-int-handles-0x-prefix:
253 # . prologue
254 55/push-ebp
255 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
256 # (eax..ecx) = "0x3a"
257 b8/copy-to-eax "0x3a"/imm32
258 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx
259 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx
260 05/add-to-eax 4/imm32
261 # var slice/ecx: slice = {eax, ecx}
262 51/push-ecx
263 50/push-eax
264 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
265 # eax = hex-int?(slice)
266 # . . push args
267 51/push-ecx
268 # . . call
269 e8/call hex-int?/disp32
270 # . . discard args
271 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
272 # check-ints-equal(eax, 1, msg)
273 # . . push args
274 68/push "F - test-hex-int-handles-0x-prefix"/imm32
275 68/push 1/imm32/true
276 50/push-eax
277 # . . call
278 e8/call check-ints-equal/disp32
279 # . . discard args
280 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
281 # . epilogue
282 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
283 5d/pop-to-ebp
284 c3/return
286 test-hex-int-handles-negative:
287 # . prologue
288 55/push-ebp
289 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
290 # (eax..ecx) = "-34a"
291 b8/copy-to-eax "-34a"/imm32
292 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx
293 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx
294 05/add-to-eax 4/imm32
295 # var slice/ecx: slice = {eax, ecx}
296 51/push-ecx
297 50/push-eax
298 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
299 # eax = hex-int?(slice)
300 # . . push args
301 51/push-ecx
302 # . . call
303 e8/call hex-int?/disp32
304 # . . discard args
305 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
306 # check-ints-equal(eax, 1, msg)
307 # . . push args
308 68/push "F - test-hex-int-handles-negative"/imm32
309 68/push 1/imm32/true
310 50/push-eax
311 # . . call
312 e8/call check-ints-equal/disp32
313 # . . discard args
314 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
315 # . epilogue
316 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
317 5d/pop-to-ebp
318 c3/return
320 test-hex-int-handles-negative-0x-prefix:
321 # . prologue
322 55/push-ebp
323 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
324 # (eax..ecx) = "-0x3a"
325 b8/copy-to-eax "-0x3a"/imm32
326 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx
327 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx
328 05/add-to-eax 4/imm32
329 # var slice/ecx: slice = {eax, ecx}
330 51/push-ecx
331 50/push-eax
332 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
333 # eax = hex-int?(slice)
334 # . . push args
335 51/push-ecx
336 # . . call
337 e8/call hex-int?/disp32
338 # . . discard args
339 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
340 # check-ints-equal(eax, 1, msg)
341 # . . push args
342 68/push "F - test-hex-int-handles-negative-0x-prefix"/imm32
343 68/push 1/imm32/true
344 50/push-eax
345 # . . call
346 e8/call check-ints-equal/disp32
347 # . . discard args
348 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
349 # . epilogue
350 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
351 5d/pop-to-ebp
352 c3/return
354 parse-hex-int: # in: (addr array byte) -> result/eax: int
355 # . prologue
356 55/push-ebp
357 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
358 # . save registers
359 51/push-ecx
360 52/push-edx
361 # eax = in
362 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 0/r32/eax 8/disp8 . # copy *(ebp+8) to eax
363 # var curr/ecx: (addr byte) = &in->data
364 8d/copy-address 1/mod/*+disp8 0/rm32/eax . . . 1/r32/ecx 4/disp8 . # copy eax+4 to ecx
365 # var max/edx: (addr byte) = &in->data[in->size]
366 # . edx = in->size
367 8b/copy 0/mod/indirect 0/rm32/eax . . . 2/r32/edx . . # copy *eax to edx
368 # . edx = in->data + in->size
369 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 2/index/edx . 2/r32/edx 4/disp8 . # copy eax+edx+4 to edx
370 # return parse-hex-int-helper(curr, max)
371 # . . push args
372 52/push-edx
373 51/push-ecx
374 # . . call
375 e8/call parse-hex-int-helper/disp32
376 # . . discard args
377 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
378 $parse-hex-int:end:
379 # . restore registers
380 5a/pop-to-edx
381 59/pop-to-ecx
382 # . epilogue
383 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
384 5d/pop-to-ebp
385 c3/return
387 parse-hex-int-from-slice: # in: (addr slice) -> result/eax: int
388 # . prologue
389 55/push-ebp
390 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
391 # . save registers
392 51/push-ecx
393 52/push-edx
394 # ecx = in
395 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 8/disp8 . # copy *(ebp+8) to ecx
396 # var max/edx: (addr byte) = in->end
397 8b/copy 1/mod/*+disp8 1/rm32/ecx . . . 2/r32/edx 4/disp8 . # copy *(ecx+4) to edx
398 # var curr/ecx: (addr byte) = in->start
399 8b/copy 0/mod/indirect 1/rm32/ecx . . . 1/r32/ecx . . # copy *ecx to ecx
400 # return parse-hex-int-helper(curr, max)
401 # . . push args
402 52/push-edx
403 51/push-ecx
404 # . . call
405 e8/call parse-hex-int-helper/disp32
406 # . . discard args
407 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 8/imm32 # add to esp
408 $parse-hex-int-from-slice:end:
409 # . restore registers
410 5a/pop-to-edx
411 59/pop-to-ecx
412 # . epilogue
413 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
414 5d/pop-to-ebp
415 c3/return
417 parse-hex-int-helper: # start: (addr byte), end: (addr byte) -> result/eax: int
418 # . prologue
419 55/push-ebp
420 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
421 # . save registers
422 51/push-ecx
423 52/push-edx
424 53/push-ebx
425 56/push-esi
426 # var curr/ecx: (addr byte) = start
427 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 8/disp8 . # copy *(ebp+8) to ecx
428 # edx = max
429 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 2/r32/edx 0xc/disp8 . # copy *(ebp+12) to edx
430 # var result/ebx: int = 0
431 31/xor 3/mod/direct 3/rm32/ebx . . . 3/r32/ebx . . # clear ebx
432 # var negate?/esi: boolean = false
433 31/xor 3/mod/direct 6/rm32/esi . . . 6/r32/esi . . # clear esi
434 $parse-hex-int-helper:negative:
435 # if (*curr == '-') ++curr, negate = true
436 31/xor 3/mod/direct 0/rm32/eax . . . 0/r32/eax . . # clear eax
437 8a/copy-byte 0/mod/indirect 1/rm32/ecx . . . 0/r32/AL . . # copy byte at *ecx to AL
438 3d/compare-eax-and 0x2d/imm32/-
439 75/jump-if-!= $parse-hex-int-helper:initial-0/disp8
440 # . ++curr
441 41/increment-ecx
442 # . negate = true
443 be/copy-to-esi 1/imm32/true
444 $parse-hex-int-helper:initial-0:
445 # skip past leading '0x'
446 # . if (*curr != '0') jump to loop
447 8a/copy-byte 0/mod/indirect 1/rm32/ecx . . . 0/r32/AL . . # copy byte at *ecx to AL
448 3d/compare-eax-and 0x30/imm32/0
449 75/jump-if-!= $parse-hex-int-helper:loop/disp8
450 # . ++curr
451 41/increment-ecx
452 $parse-hex-int-helper:initial-0x:
453 # . if (curr >= in->end) return result
454 39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
455 73/jump-if-addr>= $parse-hex-int-helper:end/disp8
456 # . if (*curr != 'x') jump to loop # the previous '0' is still valid so doesn't need to be checked again
457 31/xor 3/mod/direct 0/rm32/eax . . . 0/r32/eax . . # clear eax
458 8a/copy-byte 0/mod/indirect 1/rm32/ecx . . . 0/r32/AL . . # copy byte at *ecx to AL
459 3d/compare-eax-and 0x78/imm32/x
460 75/jump-if-!= $parse-hex-int-helper:loop/disp8
461 # . ++curr
462 41/increment-ecx
463 $parse-hex-int-helper:loop:
464 # if (curr >= in->end) break
465 39/compare 3/mod/direct 1/rm32/ecx . . . 2/r32/edx . . # compare ecx with edx
466 73/jump-if-addr>= $parse-hex-int-helper:negate/disp8
467 # var eax: int = from-hex-char(*curr)
468 # . . copy arg to eax
469 8a/copy-byte 0/mod/indirect 1/rm32/ecx . . . 0/r32/AL . . # copy byte at *ecx to AL
470 # . . call
471 e8/call from-hex-char/disp32
472 # result = result * 16 + eax
473 c1/shift 4/subop/left 3/mod/direct 3/rm32/ebx . . . . . 4/imm8 # shift ebx left by 4 bits
474 01/add 3/mod/direct 3/rm32/ebx . . . 0/r32/eax . . # add eax to ebx
475 # ++curr
476 41/increment-ecx
477 # loop
478 eb/jump $parse-hex-int-helper:loop/disp8
479 $parse-hex-int-helper:negate:
480 # if (negate?) result = -result
481 81 7/subop/compare 3/mod/direct 6/rm32/esi . . . . . 0/imm32/false # compare esi
482 74/jump-if-= $parse-hex-int-helper:end/disp8
483 f7 3/subop/negate 3/mod/direct 3/rm32/ebx . . . . . . # negate ebx
484 $parse-hex-int-helper:end:
485 # return result
486 89/copy 3/mod/direct 0/rm32/eax . . . 3/r32/ebx . . # copy ebx to eax
487 # . restore registers
488 5e/pop-to-esi
489 5b/pop-to-ebx
490 5a/pop-to-edx
491 59/pop-to-ecx
492 # . epilogue
493 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
494 5d/pop-to-ebp
495 c3/return
497 test-parse-hex-int-from-slice-single-digit:
498 # . prologue
499 55/push-ebp
500 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
501 # (eax..ecx) = "a"
502 b8/copy-to-eax "a"/imm32
503 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx
504 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx
505 05/add-to-eax 4/imm32
506 # var slice/ecx: slice = {eax, ecx}
507 51/push-ecx
508 50/push-eax
509 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
510 # eax = parse-hex-int-from-slice(slice)
511 # . . push args
512 51/push-ecx
513 # . . call
514 e8/call parse-hex-int-from-slice/disp32
515 # . . discard args
516 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
517 # check-ints-equal(eax, 0xa, msg)
518 # . . push args
519 68/push "F - test-parse-hex-int-from-slice-single-digit"/imm32
520 68/push 0xa/imm32
521 50/push-eax
522 # . . call
523 e8/call check-ints-equal/disp32
524 # . . discard args
525 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
526 # . epilogue
527 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
528 5d/pop-to-ebp
529 c3/return
531 test-parse-hex-int-from-slice-multi-digit:
532 # . prologue
533 55/push-ebp
534 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
535 # (eax..ecx) = "34a"
536 b8/copy-to-eax "34a"/imm32
537 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx
538 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx
539 05/add-to-eax 4/imm32
540 # var slice/ecx: slice = {eax, ecx}
541 51/push-ecx
542 50/push-eax
543 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
544 # eax = parse-hex-int-from-slice(slice)
545 # . . push args
546 51/push-ecx
547 # . . call
548 e8/call parse-hex-int-from-slice/disp32
549 # . . discard args
550 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
551 # check-ints-equal(eax, 0x34a, msg)
552 # . . push args
553 68/push "F - test-parse-hex-int-from-slice-multi-digit"/imm32
554 68/push 0x34a/imm32
555 50/push-eax
556 # . . call
557 e8/call check-ints-equal/disp32
558 # . . discard args
559 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
560 # . epilogue
561 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
562 5d/pop-to-ebp
563 c3/return
565 test-parse-hex-int-from-slice-0x-prefix:
566 # . prologue
567 55/push-ebp
568 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
569 # (eax..ecx) = "0x34"
570 b8/copy-to-eax "0x34"/imm32
571 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx
572 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx
573 05/add-to-eax 4/imm32
574 # var slice/ecx: slice = {eax, ecx}
575 51/push-ecx
576 50/push-eax
577 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
578 # eax = parse-hex-int-from-slice(slice)
579 # . . push args
580 51/push-ecx
581 # . . call
582 e8/call parse-hex-int-from-slice/disp32
583 # . . discard args
584 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
585 # check-ints-equal(eax, 0x34, msg)
586 # . . push args
587 68/push "F - test-parse-hex-int-from-slice-0x-prefix"/imm32
588 68/push 0x34/imm32
589 50/push-eax
590 # . . call
591 e8/call check-ints-equal/disp32
592 # . . discard args
593 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
594 # . epilogue
595 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
596 5d/pop-to-ebp
597 c3/return
599 test-parse-hex-int-from-slice-zero:
600 # . prologue
601 55/push-ebp
602 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
603 # (eax..ecx) = "0"
604 b8/copy-to-eax "0"/imm32
605 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx
606 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx
607 05/add-to-eax 4/imm32
608 # var slice/ecx: slice = {eax, ecx}
609 51/push-ecx
610 50/push-eax
611 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
612 # eax = parse-hex-int-from-slice(slice)
613 # . . push args
614 51/push-ecx
615 # . . call
616 e8/call parse-hex-int-from-slice/disp32
617 # . . discard args
618 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
619 # check-ints-equal(eax, 0, msg)
620 # . . push args
621 68/push "F - test-parse-hex-int-from-slice-zero"/imm32
622 68/push 0/imm32
623 50/push-eax
624 # . . call
625 e8/call check-ints-equal/disp32
626 # . . discard args
627 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
628 # . epilogue
629 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
630 5d/pop-to-ebp
631 c3/return
633 test-parse-hex-int-from-slice-0-prefix:
634 # . prologue
635 55/push-ebp
636 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
637 # (eax..ecx) = "03"
638 b8/copy-to-eax "03"/imm32
639 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx
640 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx
641 05/add-to-eax 4/imm32
642 # var slice/ecx: slice = {eax, ecx}
643 51/push-ecx
644 50/push-eax
645 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
646 # eax = parse-hex-int-from-slice(slice)
647 # . . push args
648 51/push-ecx
649 # . . call
650 e8/call parse-hex-int-from-slice/disp32
651 # . . discard args
652 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
653 # check-ints-equal(eax, 0x3, msg)
654 # . . push args
655 68/push "F - test-parse-hex-int-from-slice-0-prefix"/imm32
656 68/push 0x3/imm32
657 50/push-eax
658 # . . call
659 e8/call check-ints-equal/disp32
660 # . . discard args
661 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
662 # . epilogue
663 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
664 5d/pop-to-ebp
665 c3/return
667 test-parse-hex-int-from-slice-negative:
668 # . prologue
669 55/push-ebp
670 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
671 # (eax..ecx) = "-03"
672 b8/copy-to-eax "-03"/imm32
673 8b/copy 0/mod/indirect 0/rm32/eax . . . 1/r32/ecx . . # copy *eax to ecx
674 8d/copy-address 1/mod/*+disp8 4/rm32/sib 0/base/eax 1/index/ecx . 1/r32/ecx 4/disp8 . # copy eax+ecx+4 to ecx
675 05/add-to-eax 4/imm32
676 # var slice/ecx: slice = {eax, ecx}
677 51/push-ecx
678 50/push-eax
679 89/copy 3/mod/direct 1/rm32/ecx . . . 4/r32/esp . . # copy esp to ecx
680 # eax = parse-hex-int-from-slice(slice)
681 # . . push args
682 51/push-ecx
683 # . . call
684 e8/call parse-hex-int-from-slice/disp32
685 # . . discard args
686 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
687 # check-ints-equal(eax, -3, msg)
688 # . . push args
689 68/push "F - test-parse-hex-int-from-slice-negative"/imm32
690 68/push -3/imm32
691 50/push-eax
692 # . . call
693 e8/call check-ints-equal/disp32
694 # . . discard args
695 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
696 # . epilogue
697 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
698 5d/pop-to-ebp
699 c3/return
701 hex-digit?: # c: byte -> result/eax: boolean
702 # . prologue
703 55/push-ebp
704 89/copy 3/mod/direct 5/rm32/ebp . . . 4/r32/esp . . # copy esp to ebp
705 # . save registers
706 51/push-ecx
707 # ecx = c
708 8b/copy 1/mod/*+disp8 5/rm32/ebp . . . 1/r32/ecx 8/disp8 . # copy *(ebp+8) to ecx
709 # return false if c < '0'
710 81 7/subop/compare 3/mod/direct 1/rm32/ecx . . . . . 0x30/imm32 # compare ecx
711 7c/jump-if-< $hex-digit?:false/disp8
712 # return true if c <= '9'
713 81 7/subop/compare 3/mod/direct 1/rm32/ecx . . . . . 0x39/imm32 # compare ecx
714 7e/jump-if-<= $hex-digit?:true/disp8
715 # drop case
716 25/and-eax-with 0x5f/imm32
717 # return false if c > 'f'
718 81 7/subop/compare 3/mod/direct 1/rm32/ecx . . . . . 0x66/imm32 # compare ecx
719 7f/jump-if-> $hex-digit?:false/disp8
720 # return true if c >= 'a'
721 81 7/subop/compare 3/mod/direct 1/rm32/ecx . . . . . 0x61/imm32 # compare ecx
722 7d/jump-if->= $hex-digit?:true/disp8
723 # otherwise return false
724 $hex-digit?:false:
725 b8/copy-to-eax 0/imm32/false
726 eb/jump $hex-digit?:end/disp8
727 $hex-digit?:true:
728 b8/copy-to-eax 1/imm32/true
729 $hex-digit?:end:
730 # . restore registers
731 59/pop-to-ecx
732 # . epilogue
733 89/copy 3/mod/direct 4/rm32/esp . . . 5/r32/ebp . . # copy ebp to esp
734 5d/pop-to-ebp
735 c3/return
737 test-hex-below-0:
738 # eax = hex-digit?(0x2f)
739 # . . push args
740 68/push 0x2f/imm32
741 # . . call
742 e8/call hex-digit?/disp32
743 # . . discard args
744 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
745 # check-ints-equal(eax, 0, msg)
746 # . . push args
747 68/push "F - test-hex-below-0"/imm32
748 68/push 0/imm32/false
749 50/push-eax
750 # . . call
751 e8/call check-ints-equal/disp32
752 # . . discard args
753 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
754 c3/return
756 test-hex-0-to-9:
757 # eax = hex-digit?(0x30)
758 # . . push args
759 68/push 0x30/imm32
760 # . . call
761 e8/call hex-digit?/disp32
762 # . . discard args
763 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
764 # check-ints-equal(eax, 1, msg)
765 # . . push args
766 68/push "F - test-hex-at-0"/imm32
767 68/push 1/imm32/true
768 50/push-eax
769 # . . call
770 e8/call check-ints-equal/disp32
771 # . . discard args
772 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
773 # eax = hex-digit?(0x39)
774 # . . push args
775 68/push 0x39/imm32
776 # . . call
777 e8/call hex-digit?/disp32
778 # . . discard args
779 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
780 # check-ints-equal(eax, 1, msg)
781 # . . push args
782 68/push "F - test-hex-at-9"/imm32
783 68/push 1/imm32/true
784 50/push-eax
785 # . . call
786 e8/call check-ints-equal/disp32
787 # . . discard args
788 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
789 c3/return
791 test-hex-above-9-to-a:
792 # eax = hex-digit?(0x3a)
793 # . . push args
794 68/push 0x3a/imm32
795 # . . call
796 e8/call hex-digit?/disp32
797 # . . discard args
798 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
799 # check-ints-equal(eax, 0, msg)
800 # . . push args
801 68/push "F - test-hex-above-9-to-a"/imm32
802 68/push 0/imm32/false
803 50/push-eax
804 # . . call
805 e8/call check-ints-equal/disp32
806 # . . discard args
807 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
808 c3/return
810 test-hex-a-to-f:
811 # eax = hex-digit?(0x61)
812 # . . push args
813 68/push 0x61/imm32
814 # . . call
815 e8/call hex-digit?/disp32
816 # . . discard args
817 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
818 # check-ints-equal(eax, 1, msg)
819 # . . push args
820 68/push "F - test-hex-at-a"/imm32
821 68/push 1/imm32/true
822 50/push-eax
823 # . . call
824 e8/call check-ints-equal/disp32
825 # . . discard args
826 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
827 # eax = hex-digit?(0x66)
828 # . . push args
829 68/push 0x66/imm32
830 # . . call
831 e8/call hex-digit?/disp32
832 # . . discard args
833 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
834 # check-ints-equal(eax, 1, msg)
835 # . . push args
836 68/push "F - test-hex-at-f"/imm32
837 68/push 1/imm32/true
838 50/push-eax
839 # . . call
840 e8/call check-ints-equal/disp32
841 # . . discard args
842 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
843 c3/return
845 test-hex-above-f:
846 # eax = hex-digit?(0x67)
847 # . . push args
848 68/push 0x67/imm32
849 # . . call
850 e8/call hex-digit?/disp32
851 # . . discard args
852 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 4/imm32 # add to esp
853 # check-ints-equal(eax, 0, msg)
854 # . . push args
855 68/push "F - test-hex-above-f"/imm32
856 68/push 0/imm32/false
857 50/push-eax
858 # . . call
859 e8/call check-ints-equal/disp32
860 # . . discard args
861 81 0/subop/add 3/mod/direct 4/rm32/esp . . . . . 0xc/imm32 # add to esp
862 c3/return
864 from-hex-char: # in/eax: byte -> out/eax: nibble
865 $from-hex-char:check0:
866 # if (eax < '0') goto abort
867 3d/compare-eax-with 0x30/imm32/0
868 7c/jump-if-< $from-hex-char:abort/disp8
869 $from-hex-char:check1:
870 # if (eax > 'f') goto abort
871 3d/compare-eax-with 0x66/imm32/f
872 7f/jump-if-> $from-hex-char:abort/disp8
873 $from-hex-char:check2:
874 # if (eax > '9') goto next check
875 3d/compare-eax-with 0x39/imm32/9
876 7f/jump-if-> $from-hex-char:check3/disp8
877 $from-hex-char:digit:
878 # return eax - '0'
879 2d/subtract-from-eax 0x30/imm32/0
880 c3/return
881 $from-hex-char:check3:
882 # if (eax < 'a') goto abort
883 3d/compare-eax-with 0x61/imm32/a
884 7c/jump-if-< $from-hex-char:abort/disp8
885 $from-hex-char:letter:
886 # return eax - ('a'-10)
887 2d/subtract-from-eax 0x57/imm32/a-10
888 c3/return
890 $from-hex-char:abort:
891 (abort "invalid hex char")
892 # never gets here
894 # . . vim:nowrap:textwidth=0