about summary refs log tree commit diff stats
path: root/html/display.mu.html
blob: 04daf6deff1e36a4dae099811fc7bfb55cae181b (plain) (blame)
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
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - display.mu</title>
<meta name="Generator" content="Vim/7.4">
<meta name="plugin-version" content="vim7.4_v1">
<meta name="syntax" content="none">
<meta name="settings" content="use_css,pre_wrap,no_foldcolumn,expand_tabs,prevent_copy=">
<meta name="colorscheme" content="minimal">
<style type="text/css">
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
body { font-family: monospace; color: #eeeeee; background-color: #080808; }
* { font-size: 1.05em; }
.CommentedCode { color: #6c6c6c; }
.Comment { color: #9090ff; }
.Constant { color: #00a0a0; }
.Special { color: #ff6060; }
.muRecipe { color: #ff8700; }
-->
</style>

<script type='text/javascript'>
<!--

-->
</script>
</head>
<body>
<pre id='vimCodeElement'>
<span class="Comment"># example program: managing the display</span>

<span class="muRecipe">recipe</span> main [
  open-console
  print-character-to-display <span class="Constant">97:literal</span>, <span class="Constant">1:literal/red</span>, <span class="Constant">2:literal/green</span>
  1:number/<span class="Special">raw</span>, 2:number/<span class="Special">raw &lt;- </span>cursor-position-on-display
  wait-for-some-interaction
  clear-display
  move-cursor-on-display <span class="Constant">0:literal</span>, <span class="Constant">4:literal</span>
  print-character-to-display <span class="Constant">98:literal</span>
  wait-for-some-interaction
  move-cursor-on-display <span class="Constant">0:literal</span>, <span class="Constant">0:literal</span>
  clear-line-on-display
  wait-for-some-interaction
  move-cursor-down-on-display
  wait-for-some-interaction
  move-cursor-right-on-display
  wait-for-some-interaction
  move-cursor-left-on-display
  wait-for-some-interaction
  move-cursor-up-on-display
  wait-for-some-interaction
<span class="CommentedCode">#?   $print [aaa] #? 1</span>
  close-console
]
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->
553'>553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - 128subx-words.subx</title>
<meta name="Generator" content="Vim/8.1">
<meta name="plugin-version" content="vim8.1_v1">
<meta name="syntax" content="none">
<meta name="settings" content="number_lines,use_css,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
<meta name="colorscheme" content="minimal-light">
<style type="text/css">
<!--
pre { font-family: monospace; color: #000000; background-color: #c6c6c6; }
body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; }
a { color:inherit; }
* { font-size:12pt; font-size: 1em; }
.subxComment { color: #005faf; }
.subxS2Comment { color: #8a8a8a; }
.subxTest { color: #5f8700; }
.subxFunction { color: #af5f00; text-decoration: underline; }
.LineNr { }
.subxS1Comment { color: #0000af; }
.Normal { color: #000000; background-color: #c6c6c6; padding-bottom: 1px; }
.Constant { color: #008787; }
-->
</style>

<script type='text/javascript'>
<!--

/* function to open any folds containing a jumped-to line before jumping to it */
function JumpToLine()
{
  var lineNum;
  lineNum = window.location.hash;
  lineNum = lineNum.substr(1); /* strip off '#' */

  if (lineNum.indexOf('L') == -1) {
    lineNum = 'L'+lineNum;
  }
  var lineElem = document.getElementById(lineNum);
  /* Always jump to new location even if the line was hidden inside a fold, or
   * we corrected the raw number to a line ID.
   */
  if (lineElem) {
    lineElem.scrollIntoView(true);
  }
  return true;
}
if ('onhashchange' in window) {
  window.onhashchange = JumpToLine;
}

-->
</script>
</head>
<body onload='JumpToLine();'>
<a href='https://github.com/akkartik/mu/blob/master/128subx-words.subx'>https://github.com/akkartik/mu/blob/master/128subx-words.subx</a>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr">  1 </span><span class="subxComment"># Helpers for parsing SubX words, with their rules for hex, labels and metadata.</span>
<span id="L2" class="LineNr">  2 </span>
<span id="L3" class="LineNr">  3 </span>== code
<span id="L4" class="LineNr">  4 </span><span class="subxComment">#   instruction                     effective address                                                   register    displacement    immediate</span>
<span id="L5" class="LineNr">  5 </span><span class="subxS1Comment"># . op          subop               mod             rm32          base        index         scale       r32</span>
<span id="L6" class="LineNr">  6 </span><span class="subxS1Comment"># . 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</span>
<span id="L7" class="LineNr">  7 </span>
<span id="L8" class="LineNr">  8 </span><span class="subxFunction">has-metadata?</span>:  <span class="subxComment"># word: (addr slice), s: (addr string) -&gt; result/eax: boolean</span>
<span id="L9" class="LineNr">  9 </span>    <span class="subxComment"># pseudocode:</span>
<span id="L10" class="LineNr"> 10 </span>    <span class="subxComment">#   var twig: &amp;slice = next-token-from-slice(word-&gt;start, word-&gt;end, '/')  # skip name</span>
<span id="L11" class="LineNr"> 11 </span>    <span class="subxComment">#   curr = twig-&gt;end</span>
<span id="L12" class="LineNr"> 12 </span>    <span class="subxComment">#   while true</span>
<span id="L13" class="LineNr"> 13 </span>    <span class="subxComment">#     twig = next-token-from-slice(curr, word-&gt;end, '/')</span>
<span id="L14" class="LineNr"> 14 </span>    <span class="subxComment">#     if (twig.empty()) break</span>
<span id="L15" class="LineNr"> 15 </span>    <span class="subxComment">#     if (slice-equal?(twig, s)) return true</span>
<span id="L16" class="LineNr"> 16 </span>    <span class="subxComment">#     curr = twig-&gt;end</span>
<span id="L17" class="LineNr"> 17 </span>    <span class="subxComment">#   return false</span>
<span id="L18" class="LineNr"> 18 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L19" class="LineNr"> 19 </span>    55/push-ebp
<span id="L20" class="LineNr"> 20 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L21" class="LineNr"> 21 </span>    <span class="subxS1Comment"># . save registers</span>
<span id="L22" class="LineNr"> 22 </span>    51/push-ecx
<span id="L23" class="LineNr"> 23 </span>    52/push-edx
<span id="L24" class="LineNr"> 24 </span>    56/push-esi
<span id="L25" class="LineNr"> 25 </span>    57/push-edi
<span id="L26" class="LineNr"> 26 </span>    <span class="subxComment"># esi = word</span>
<span id="L27" class="LineNr"> 27 </span>    8b/copy                         1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          6/r32/esi   8/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy *(ebp+8) to esi</span>
<span id="L28" class="LineNr"> 28 </span>    <span class="subxComment"># var edx: (addr byte) = word-&gt;end</span>
<span id="L29" class="LineNr"> 29 </span>    8b/copy                         1/mod/*+disp8   6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          2/r32/edx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy *(esi+4) to edx</span>
<span id="L30" class="LineNr"> 30 </span>    <span class="subxComment"># var twig/edi: slice</span>
<span id="L31" class="LineNr"> 31 </span>    68/push  0/imm32/end
<span id="L32" class="LineNr"> 32 </span>    68/push  0/imm32/start
<span id="L33" class="LineNr"> 33 </span>    89/copy                         3/mod/direct    7/rm32/edi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to edi</span>
<span id="L34" class="LineNr"> 34 </span>    <span class="subxComment"># next-token-from-slice(word-&gt;start, word-&gt;end, '/', twig)</span>
<span id="L35" class="LineNr"> 35 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L36" class="LineNr"> 36 </span>    57/push-edi
<span id="L37" class="LineNr"> 37 </span>    68/push  0x2f/imm32/slash
<span id="L38" class="LineNr"> 38 </span>    52/push-edx
<span id="L39" class="LineNr"> 39 </span>    ff          6/subop/push        0/mod/indirect  6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># push *esi</span>
<span id="L40" class="LineNr"> 40 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L41" class="LineNr"> 41 </span>    e8/call  <a href='124next-token.subx.html#L163'>next-token-from-slice</a>/disp32
<span id="L42" class="LineNr"> 42 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L43" class="LineNr"> 43 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0x10/imm32        <span class="subxComment"># add to esp</span>
<span id="L44" class="LineNr"> 44 </span><span class="Constant">$has-metadata?:loop</span>:
<span id="L45" class="LineNr"> 45 </span>    <span class="subxComment"># next-token-from-slice(curr, word-&gt;end, '/', twig)</span>
<span id="L46" class="LineNr"> 46 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L47" class="LineNr"> 47 </span>    57/push-edi
<span id="L48" class="LineNr"> 48 </span>    68/push  0x2f/imm32/slash
<span id="L49" class="LineNr"> 49 </span>    52/push-edx
<span id="L50" class="LineNr"> 50 </span>    ff          6/subop/push        1/mod/*+disp8   7/rm32/edi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># push *(edi+4)</span>
<span id="L51" class="LineNr"> 51 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L52" class="LineNr"> 52 </span>    e8/call  <a href='124next-token.subx.html#L163'>next-token-from-slice</a>/disp32
<span id="L53" class="LineNr"> 53 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L54" class="LineNr"> 54 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0x10/imm32        <span class="subxComment"># add to esp</span>
<span id="L55" class="LineNr"> 55 </span>    <span class="subxComment"># if (slice-empty?(twig)) return false</span>
<span id="L56" class="LineNr"> 56 </span>    <span class="subxS1Comment"># . eax = slice-empty?(twig)</span>
<span id="L57" class="LineNr"> 57 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L58" class="LineNr"> 58 </span>    57/push-edi
<span id="L59" class="LineNr"> 59 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L60" class="LineNr"> 60 </span>    e8/call  <a href='123slice.subx.html#L9'>slice-empty?</a>/disp32
<span id="L61" class="LineNr"> 61 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L62" class="LineNr"> 62 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L63" class="LineNr"> 63 </span>    <span class="subxS1Comment"># . if (eax != false) return false</span>
<span id="L64" class="LineNr"> 64 </span>    3d/compare-eax-and  0/imm32/false
<span id="L65" class="LineNr"> 65 </span>    75/jump-if-!=  $has-metadata?:false/disp8
<span id="L66" class="LineNr"> 66 </span>    <span class="subxComment"># if (slice-equal?(twig, s)) return true</span>
<span id="L67" class="LineNr"> 67 </span>    <span class="subxS1Comment"># . eax = slice-equal?(twig, s)</span>
<span id="L68" class="LineNr"> 68 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L69" class="LineNr"> 69 </span>    ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>          0xc/disp8      <span class="Normal"> . </span>                <span class="subxComment"># push *(ebp+12)</span>
<span id="L70" class="LineNr"> 70 </span>    57/push-edi
<span id="L71" class="LineNr"> 71 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L72" class="LineNr"> 72 </span>    e8/call  <a href='123slice.subx.html#L120'>slice-equal?</a>/disp32
<span id="L73" class="LineNr"> 73 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L74" class="LineNr"> 74 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L75" class="LineNr"> 75 </span>    <span class="subxS1Comment"># . if (eax != false) return true</span>
<span id="L76" class="LineNr"> 76 </span>    3d/compare-eax-and  0/imm32/false
<span id="L77" class="LineNr"> 77 </span>    <span class="subxComment"># eax already contains true</span>
<span id="L78" class="LineNr"> 78 </span>    75/jump-if-!=  $has-metadata?:end/disp8
<span id="L79" class="LineNr"> 79 </span>    eb/jump  $has-metadata?:<span class="Constant">loop</span>/disp8
<span id="L80" class="LineNr"> 80 </span><span class="Constant">$has-metadata?:false</span>:
<span id="L81" class="LineNr"> 81 </span>    b8/copy-to-eax  0/imm32/false
<span id="L82" class="LineNr"> 82 </span><span class="Constant">$has-metadata?:end</span>:
<span id="L83" class="LineNr"> 83 </span>    <span class="subxS1Comment"># . reclaim locals</span>
<span id="L84" class="LineNr"> 84 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L85" class="LineNr"> 85 </span>    <span class="subxS1Comment"># . restore registers</span>
<span id="L86" class="LineNr"> 86 </span>    5f/pop-to-edi
<span id="L87" class="LineNr"> 87 </span>    5e/pop-to-esi
<span id="L88" class="LineNr"> 88 </span>    5a/pop-to-edx
<span id="L89" class="LineNr"> 89 </span>    59/pop-to-ecx
<span id="L90" class="LineNr"> 90 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L91" class="LineNr"> 91 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L92" class="LineNr"> 92 </span>    5d/pop-to-ebp
<span id="L93" class="LineNr"> 93 </span>    c3/return
<span id="L94" class="LineNr"> 94 </span>
<span id="L95" class="LineNr"> 95 </span><span class="subxTest">test-has-metadata-true</span>:
<span id="L96" class="LineNr"> 96 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L97" class="LineNr"> 97 </span>    55/push-ebp
<span id="L98" class="LineNr"> 98 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L99" class="LineNr"> 99 </span>    <span class="subxComment"># (eax..ecx) = &quot;ab/imm32&quot;</span>
<span id="L100" class="LineNr">100 </span>    b8/copy-to-eax  <span class="Constant">&quot;ab/imm32&quot;</span>/imm32
<span id="L101" class="LineNr">101 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L102" class="LineNr">102 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L103" class="LineNr">103 </span>    05/add-to-eax  4/imm32
<span id="L104" class="LineNr">104 </span>    <span class="subxComment"># var in/esi: slice = {eax, ecx}</span>
<span id="L105" class="LineNr">105 </span>    51/push-ecx
<span id="L106" class="LineNr">106 </span>    50/push-eax
<span id="L107" class="LineNr">107 </span>    89/copy                         3/mod/direct    6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to esi</span>
<span id="L108" class="LineNr">108 </span>    <span class="subxComment"># eax = has-metadata?(esi, &quot;imm32&quot;)</span>
<span id="L109" class="LineNr">109 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L110" class="LineNr">110 </span>    68/push  <span class="Constant">&quot;imm32&quot;</span>/imm32
<span id="L111" class="LineNr">111 </span>    56/push-esi
<span id="L112" class="LineNr">112 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L113" class="LineNr">113 </span>    e8/call  <a href='128subx-words.subx.html#L8'>has-metadata?</a>/disp32
<span id="L114" class="LineNr">114 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L115" class="LineNr">115 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L116" class="LineNr">116 </span>    <span class="subxComment"># check-ints-equal(eax, 1, msg)</span>
<span id="L117" class="LineNr">117 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L118" class="LineNr">118 </span>    68/push  <span class="Constant">&quot;F - test-has-metadata-true&quot;</span>/imm32
<span id="L119" class="LineNr">119 </span>    68/push  1/imm32/true
<span id="L120" class="LineNr">120 </span>    50/push-eax
<span id="L121" class="LineNr">121 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L122" class="LineNr">122 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L123" class="LineNr">123 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L124" class="LineNr">124 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L125" class="LineNr">125 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L126" class="LineNr">126 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L127" class="LineNr">127 </span>    5d/pop-to-ebp
<span id="L128" class="LineNr">128 </span>    c3/return
<span id="L129" class="LineNr">129 </span>
<span id="L130" class="LineNr">130 </span><span class="subxTest">test-has-metadata-false</span>:
<span id="L131" class="LineNr">131 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L132" class="LineNr">132 </span>    55/push-ebp
<span id="L133" class="LineNr">133 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L134" class="LineNr">134 </span>    <span class="subxComment"># (eax..ecx) = &quot;ab/c&quot;</span>
<span id="L135" class="LineNr">135 </span>    b8/copy-to-eax  <span class="Constant">&quot;ab/c&quot;</span>/imm32
<span id="L136" class="LineNr">136 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L137" class="LineNr">137 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L138" class="LineNr">138 </span>    05/add-to-eax  4/imm32
<span id="L139" class="LineNr">139 </span>    <span class="subxComment"># var in/esi: slice = {eax, ecx}</span>
<span id="L140" class="LineNr">140 </span>    51/push-ecx
<span id="L141" class="LineNr">141 </span>    50/push-eax
<span id="L142" class="LineNr">142 </span>    89/copy                         3/mod/direct    6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to esi</span>
<span id="L143" class="LineNr">143 </span>    <span class="subxComment"># eax = has-metadata?(esi, &quot;d&quot;)</span>
<span id="L144" class="LineNr">144 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L145" class="LineNr">145 </span>    68/push  <span class="Constant">&quot;d&quot;</span>/imm32
<span id="L146" class="LineNr">146 </span>    56/push-esi
<span id="L147" class="LineNr">147 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L148" class="LineNr">148 </span>    e8/call  <a href='128subx-words.subx.html#L8'>has-metadata?</a>/disp32
<span id="L149" class="LineNr">149 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L150" class="LineNr">150 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L151" class="LineNr">151 </span>    <span class="subxComment"># check-ints-equal(eax, 0, msg)</span>
<span id="L152" class="LineNr">152 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L153" class="LineNr">153 </span>    68/push  <span class="Constant">&quot;F - test-has-metadata-false&quot;</span>/imm32
<span id="L154" class="LineNr">154 </span>    68/push  0/imm32/false
<span id="L155" class="LineNr">155 </span>    50/push-eax
<span id="L156" class="LineNr">156 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L157" class="LineNr">157 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L158" class="LineNr">158 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L159" class="LineNr">159 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L160" class="LineNr">160 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L161" class="LineNr">161 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L162" class="LineNr">162 </span>    5d/pop-to-ebp
<span id="L163" class="LineNr">163 </span>    c3/return
<span id="L164" class="LineNr">164 </span>
<span id="L165" class="LineNr">165 </span><span class="subxTest">test-has-metadata-ignore-name</span>:
<span id="L166" class="LineNr">166 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L167" class="LineNr">167 </span>    55/push-ebp
<span id="L168" class="LineNr">168 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L169" class="LineNr">169 </span>    <span class="subxComment"># (eax..ecx) = &quot;a/b&quot;</span>
<span id="L170" class="LineNr">170 </span>    b8/copy-to-eax  <span class="Constant">&quot;a/b&quot;</span>/imm32
<span id="L171" class="LineNr">171 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L172" class="LineNr">172 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L173" class="LineNr">173 </span>    05/add-to-eax  4/imm32
<span id="L174" class="LineNr">174 </span>    <span class="subxComment"># var in/esi: slice = {eax, ecx}</span>
<span id="L175" class="LineNr">175 </span>    51/push-ecx
<span id="L176" class="LineNr">176 </span>    50/push-eax
<span id="L177" class="LineNr">177 </span>    89/copy                         3/mod/direct    6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to esi</span>
<span id="L178" class="LineNr">178 </span>    <span class="subxComment"># eax = has-metadata?(esi, &quot;a&quot;)</span>
<span id="L179" class="LineNr">179 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L180" class="LineNr">180 </span>    68/push  <span class="Constant">&quot;a&quot;</span>/imm32
<span id="L181" class="LineNr">181 </span>    56/push-esi
<span id="L182" class="LineNr">182 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L183" class="LineNr">183 </span>    e8/call  <a href='128subx-words.subx.html#L8'>has-metadata?</a>/disp32
<span id="L184" class="LineNr">184 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L185" class="LineNr">185 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L186" class="LineNr">186 </span>    <span class="subxComment"># check-ints-equal(eax, 0, msg)</span>
<span id="L187" class="LineNr">187 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L188" class="LineNr">188 </span>    68/push  <span class="Constant">&quot;F - test-has-metadata-ignore-name&quot;</span>/imm32
<span id="L189" class="LineNr">189 </span>    68/push  0/imm32/false
<span id="L190" class="LineNr">190 </span>    50/push-eax
<span id="L191" class="LineNr">191 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L192" class="LineNr">192 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L193" class="LineNr">193 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L194" class="LineNr">194 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L195" class="LineNr">195 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L196" class="LineNr">196 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L197" class="LineNr">197 </span>    5d/pop-to-ebp
<span id="L198" class="LineNr">198 </span>    c3/return
<span id="L199" class="LineNr">199 </span>
<span id="L200" class="LineNr">200 </span><span class="subxTest">test-has-metadata-multiple-true</span>:
<span id="L201" class="LineNr">201 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L202" class="LineNr">202 </span>    55/push-ebp
<span id="L203" class="LineNr">203 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L204" class="LineNr">204 </span>    <span class="subxComment"># (eax..ecx) = &quot;a/b/c&quot;</span>
<span id="L205" class="LineNr">205 </span>    b8/copy-to-eax  <span class="Constant">&quot;a/b/c&quot;</span>/imm32
<span id="L206" class="LineNr">206 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L207" class="LineNr">207 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L208" class="LineNr">208 </span>    05/add-to-eax  4/imm32
<span id="L209" class="LineNr">209 </span>    <span class="subxComment"># var in/esi: slice = {eax, ecx}</span>
<span id="L210" class="LineNr">210 </span>    51/push-ecx
<span id="L211" class="LineNr">211 </span>    50/push-eax
<span id="L212" class="LineNr">212 </span>    89/copy                         3/mod/direct    6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to esi</span>
<span id="L213" class="LineNr">213 </span>    <span class="subxComment"># eax = has-metadata?(esi, &quot;c&quot;)</span>
<span id="L214" class="LineNr">214 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L215" class="LineNr">215 </span>    68/push  <span class="Constant">&quot;c&quot;</span>/imm32
<span id="L216" class="LineNr">216 </span>    56/push-esi
<span id="L217" class="LineNr">217 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L218" class="LineNr">218 </span>    e8/call  <a href='128subx-words.subx.html#L8'>has-metadata?</a>/disp32
<span id="L219" class="LineNr">219 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L220" class="LineNr">220 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L221" class="LineNr">221 </span>    <span class="subxComment"># check-ints-equal(eax, 1, msg)</span>
<span id="L222" class="LineNr">222 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L223" class="LineNr">223 </span>    68/push  <span class="Constant">&quot;F - test-has-metadata-multiple-true&quot;</span>/imm32
<span id="L224" class="LineNr">224 </span>    68/push  1/imm32/true
<span id="L225" class="LineNr">225 </span>    50/push-eax
<span id="L226" class="LineNr">226 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L227" class="LineNr">227 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L228" class="LineNr">228 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L229" class="LineNr">229 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L230" class="LineNr">230 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L231" class="LineNr">231 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L232" class="LineNr">232 </span>    5d/pop-to-ebp
<span id="L233" class="LineNr">233 </span>    c3/return
<span id="L234" class="LineNr">234 </span>
<span id="L235" class="LineNr">235 </span><span class="subxTest">test-has-metadata-multiple-false</span>:
<span id="L236" class="LineNr">236 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L237" class="LineNr">237 </span>    55/push-ebp
<span id="L238" class="LineNr">238 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L239" class="LineNr">239 </span>    <span class="subxComment"># (eax..ecx) = &quot;a/b/c&quot;</span>
<span id="L240" class="LineNr">240 </span>    b8/copy-to-eax  <span class="Constant">&quot;a/b/c&quot;</span>/imm32
<span id="L241" class="LineNr">241 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L242" class="LineNr">242 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L243" class="LineNr">243 </span>    05/add-to-eax  4/imm32
<span id="L244" class="LineNr">244 </span>    <span class="subxComment"># var in/esi: slice = {eax, ecx}</span>
<span id="L245" class="LineNr">245 </span>    51/push-ecx
<span id="L246" class="LineNr">246 </span>    50/push-eax
<span id="L247" class="LineNr">247 </span>    89/copy                         3/mod/direct    6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to esi</span>
<span id="L248" class="LineNr">248 </span>    <span class="subxComment"># eax = has-metadata?(esi, &quot;d&quot;)</span>
<span id="L249" class="LineNr">249 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L250" class="LineNr">250 </span>    68/push  <span class="Constant">&quot;d&quot;</span>/imm32
<span id="L251" class="LineNr">251 </span>    56/push-esi
<span id="L252" class="LineNr">252 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L253" class="LineNr">253 </span>    e8/call  <a href='128subx-words.subx.html#L8'>has-metadata?</a>/disp32
<span id="L254" class="LineNr">254 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L255" class="LineNr">255 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L256" class="LineNr">256 </span>    <span class="subxComment"># check-ints-equal(eax, 0, msg)</span>
<span id="L257" class="LineNr">257 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L258" class="LineNr">258 </span>    68/push  <span class="Constant">&quot;F - test-has-metadata-multiple-false&quot;</span>/imm32
<span id="L259" class="LineNr">259 </span>    68/push  0/imm32/false
<span id="L260" class="LineNr">260 </span>    50/push-eax
<span id="L261" class="LineNr">261 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L262" class="LineNr">262 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L263" class="LineNr">263 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L264" class="LineNr">264 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L265" class="LineNr">265 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L266" class="LineNr">266 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L267" class="LineNr">267 </span>    5d/pop-to-ebp
<span id="L268" class="LineNr">268 </span>    c3/return
<span id="L269" class="LineNr">269 </span>
<span id="L270" class="LineNr">270 </span><span class="subxComment"># conditions for 'valid' names that are not at risk of looking like hex numbers</span>
<span id="L271" class="LineNr">271 </span><span class="subxComment"># keep in sync with the rules in labels.cc</span>
<span id="L272" class="LineNr">272 </span><span class="subxComment">#: - if it starts with a digit, it's treated as a number. If it can't be</span>
<span id="L273" class="LineNr">273 </span><span class="subxComment">#:   parsed as hex it will raise an error.</span>
<span id="L274" class="LineNr">274 </span><span class="subxComment">#: - if it starts with '-' it's treated as a number.</span>
<span id="L275" class="LineNr">275 </span><span class="subxComment">#: - if it starts with '0x' it's treated as a number. (redundant)</span>
<span id="L276" class="LineNr">276 </span><span class="subxComment">#: - if it's two characters long, it can't be a name. Either it's a hex</span>
<span id="L277" class="LineNr">277 </span><span class="subxComment">#:   byte, or it raises an error.</span>
<span id="L278" class="LineNr">278 </span><span class="subxFunction">is-valid-name?</span>:  <span class="subxComment"># in: (addr slice) -&gt; result/eax: boolean</span>
<span id="L279" class="LineNr">279 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L280" class="LineNr">280 </span>    55/push-ebp
<span id="L281" class="LineNr">281 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L282" class="LineNr">282 </span>    <span class="subxS1Comment"># . save registers</span>
<span id="L283" class="LineNr">283 </span>    51/push-ecx
<span id="L284" class="LineNr">284 </span>    56/push-esi
<span id="L285" class="LineNr">285 </span>    <span class="subxComment"># esi = in</span>
<span id="L286" class="LineNr">286 </span>    8b/copy                         1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          6/r32/esi   8/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy *(ebp+8) to esi</span>
<span id="L287" class="LineNr">287 </span>    <span class="subxComment"># var start/ecx: (addr byte) = in-&gt;start</span>
<span id="L288" class="LineNr">288 </span>    8b/copy                         0/mod/indirect  6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *esi to ecx</span>
<span id="L289" class="LineNr">289 </span><span class="Constant">$is-valid-name?:check0</span>:
<span id="L290" class="LineNr">290 </span>    <span class="subxComment"># if (start &gt;= in-&gt;end) return false</span>
<span id="L291" class="LineNr">291 </span>    3b/compare                      1/mod/*+disp8   6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># compare ecx with *(esi+4)</span>
<span id="L292" class="LineNr">292 </span>    73/jump-if-addr&gt;=  $is-valid-name?:false/disp8
<span id="L293" class="LineNr">293 </span><span class="Constant">$is-valid-name?:check1</span>:
<span id="L294" class="LineNr">294 </span>    <span class="subxComment"># var len/eax: int = in-&gt;end - start</span>
<span id="L295" class="LineNr">295 </span>    8b/copy                         1/mod/*+disp8   6/rm32/esi   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          0/r32/eax   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy *(esi+4) to eax</span>
<span id="L296" class="LineNr">296 </span>    29/subtract                     3/mod/direct    0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># subtract ecx from eax</span>
<span id="L297" class="LineNr">297 </span>    <span class="subxComment"># if (eax == 2) return false</span>
<span id="L298" class="LineNr">298 </span>    3d/compare-eax-and  2/imm32
<span id="L299" class="LineNr">299 </span>    74/jump-if-=  $is-valid-name?:false/disp8
<span id="L300" class="LineNr">300 </span><span class="Constant">$is-valid-name?:check2</span>:
<span id="L301" class="LineNr">301 </span>    <span class="subxComment"># var c/eax: (addr byte) = *start</span>
<span id="L302" class="LineNr">302 </span>    31/xor                          3/mod/direct    0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          0/r32/eax  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># clear eax</span>
<span id="L303" class="LineNr">303 </span>    8a/copy-byte                    0/mod/indirect  1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          0/r32/AL   <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy byte at *ecx to AL</span>
<span id="L304" class="LineNr">304 </span>    <span class="subxComment"># if (c == &quot;-&quot;) return false</span>
<span id="L305" class="LineNr">305 </span>    3d/compare-eax-and  2d/imm32/-
<span id="L306" class="LineNr">306 </span>    74/jump-if-=  $is-valid-name?:false/disp8
<span id="L307" class="LineNr">307 </span><span class="Constant">$is-valid-name?:check3a</span>:
<span id="L308" class="LineNr">308 </span>    <span class="subxComment"># if (c &lt; &quot;0&quot;) return true</span>
<span id="L309" class="LineNr">309 </span>    3d/compare-eax-with  30/imm32/0
<span id="L310" class="LineNr">310 </span>    7c/jump-if-&lt;  $is-valid-name?:true/disp8
<span id="L311" class="LineNr">311 </span><span class="Constant">$is-valid-name?:check3b</span>:
<span id="L312" class="LineNr">312 </span>    <span class="subxComment"># if (c &gt; &quot;9&quot;) return true</span>
<span id="L313" class="LineNr">313 </span>    3d/compare-eax-with  39/imm32/9
<span id="L314" class="LineNr">314 </span>    7f/jump-if-&gt;  $is-valid-name?:true/disp8
<span id="L315" class="LineNr">315 </span><span class="Constant">$is-valid-name?:false</span>:
<span id="L316" class="LineNr">316 </span>    <span class="subxComment"># return false</span>
<span id="L317" class="LineNr">317 </span>    b8/copy-to-eax  0/imm32/false
<span id="L318" class="LineNr">318 </span>    eb/jump  $is-valid-name?:end/disp8
<span id="L319" class="LineNr">319 </span><span class="Constant">$is-valid-name?:true</span>:
<span id="L320" class="LineNr">320 </span>    <span class="subxComment"># return true</span>
<span id="L321" class="LineNr">321 </span>    b8/copy-to-eax  1/imm32/true
<span id="L322" class="LineNr">322 </span><span class="Constant">$is-valid-name?:end</span>:
<span id="L323" class="LineNr">323 </span>    <span class="subxS1Comment"># . restore registers</span>
<span id="L324" class="LineNr">324 </span>    5e/pop-to-esi
<span id="L325" class="LineNr">325 </span>    59/pop-to-ecx
<span id="L326" class="LineNr">326 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L327" class="LineNr">327 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L328" class="LineNr">328 </span>    5d/pop-to-ebp
<span id="L329" class="LineNr">329 </span>    c3/return
<span id="L330" class="LineNr">330 </span>
<span id="L331" class="LineNr">331 </span><span class="subxTest">test-is-valid-name-digit-prefix</span>:
<span id="L332" class="LineNr">332 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L333" class="LineNr">333 </span>    55/push-ebp
<span id="L334" class="LineNr">334 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L335" class="LineNr">335 </span>    <span class="subxComment"># (eax..ecx) = &quot;34&quot;</span>
<span id="L336" class="LineNr">336 </span>    b8/copy-to-eax  <span class="Constant">&quot;34&quot;</span>/imm32
<span id="L337" class="LineNr">337 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L338" class="LineNr">338 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L339" class="LineNr">339 </span>    05/add-to-eax  4/imm32
<span id="L340" class="LineNr">340 </span>    <span class="subxComment"># var slice/ecx: slice = {eax, ecx}</span>
<span id="L341" class="LineNr">341 </span>    51/push-ecx
<span id="L342" class="LineNr">342 </span>    50/push-eax
<span id="L343" class="LineNr">343 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
<span id="L344" class="LineNr">344 </span>    <span class="subxComment"># eax = is-valid-name?(slice)</span>
<span id="L345" class="LineNr">345 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L346" class="LineNr">346 </span>    51/push-ecx
<span id="L347" class="LineNr">347 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L348" class="LineNr">348 </span>    e8/call  <a href='128subx-words.subx.html#L278'>is-valid-name?</a>/disp32
<span id="L349" class="LineNr">349 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L350" class="LineNr">350 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L351" class="LineNr">351 </span>    <span class="subxComment"># check-ints-equal(eax, 0, msg)</span>
<span id="L352" class="LineNr">352 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L353" class="LineNr">353 </span>    68/push  <span class="Constant">&quot;F - test-is-valid-name-digit-prefix&quot;</span>/imm32
<span id="L354" class="LineNr">354 </span>    68/push  0/imm32/false
<span id="L355" class="LineNr">355 </span>    50/push-eax
<span id="L356" class="LineNr">356 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L357" class="LineNr">357 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L358" class="LineNr">358 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L359" class="LineNr">359 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L360" class="LineNr">360 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L361" class="LineNr">361 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L362" class="LineNr">362 </span>    5d/pop-to-ebp
<span id="L363" class="LineNr">363 </span>    c3/return
<span id="L364" class="LineNr">364 </span>
<span id="L365" class="LineNr">365 </span><span class="subxTest">test-is-valid-name-negative-prefix</span>:
<span id="L366" class="LineNr">366 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L367" class="LineNr">367 </span>    55/push-ebp
<span id="L368" class="LineNr">368 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L369" class="LineNr">369 </span>    <span class="subxComment"># (eax..ecx) = &quot;-0x34&quot;</span>
<span id="L370" class="LineNr">370 </span>    b8/copy-to-eax  <span class="Constant">&quot;-0x34&quot;</span>/imm32
<span id="L371" class="LineNr">371 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L372" class="LineNr">372 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L373" class="LineNr">373 </span>    05/add-to-eax  4/imm32
<span id="L374" class="LineNr">374 </span>    <span class="subxComment"># var slice/ecx: slice = {eax, ecx}</span>
<span id="L375" class="LineNr">375 </span>    51/push-ecx
<span id="L376" class="LineNr">376 </span>    50/push-eax
<span id="L377" class="LineNr">377 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
<span id="L378" class="LineNr">378 </span>    <span class="subxComment"># eax = is-valid-name?(slice)</span>
<span id="L379" class="LineNr">379 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L380" class="LineNr">380 </span>    51/push-ecx
<span id="L381" class="LineNr">381 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L382" class="LineNr">382 </span>    e8/call  <a href='128subx-words.subx.html#L278'>is-valid-name?</a>/disp32
<span id="L383" class="LineNr">383 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L384" class="LineNr">384 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L385" class="LineNr">385 </span>    <span class="subxComment"># check-ints-equal(eax, 0, msg)</span>
<span id="L386" class="LineNr">386 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L387" class="LineNr">387 </span>    68/push  <span class="Constant">&quot;F - test-is-valid-name-negative-prefix&quot;</span>/imm32
<span id="L388" class="LineNr">388 </span>    68/push  0/imm32/false
<span id="L389" class="LineNr">389 </span>    50/push-eax
<span id="L390" class="LineNr">390 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L391" class="LineNr">391 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L392" class="LineNr">392 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L393" class="LineNr">393 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L394" class="LineNr">394 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L395" class="LineNr">395 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L396" class="LineNr">396 </span>    5d/pop-to-ebp
<span id="L397" class="LineNr">397 </span>    c3/return
<span id="L398" class="LineNr">398 </span>
<span id="L399" class="LineNr">399 </span><span class="subxTest">test-is-valid-name-0x-prefix</span>:
<span id="L400" class="LineNr">400 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L401" class="LineNr">401 </span>    55/push-ebp
<span id="L402" class="LineNr">402 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L403" class="LineNr">403 </span>    <span class="subxComment"># (eax..ecx) = &quot;0x34&quot;</span>
<span id="L404" class="LineNr">404 </span>    b8/copy-to-eax  <span class="Constant">&quot;0x34&quot;</span>/imm32
<span id="L405" class="LineNr">405 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L406" class="LineNr">406 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L407" class="LineNr">407 </span>    05/add-to-eax  4/imm32
<span id="L408" class="LineNr">408 </span>    <span class="subxComment"># var slice/ecx: slice = {eax, ecx}</span>
<span id="L409" class="LineNr">409 </span>    51/push-ecx
<span id="L410" class="LineNr">410 </span>    50/push-eax
<span id="L411" class="LineNr">411 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
<span id="L412" class="LineNr">412 </span>    <span class="subxComment"># eax = is-valid-name?(slice)</span>
<span id="L413" class="LineNr">413 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L414" class="LineNr">414 </span>    51/push-ecx
<span id="L415" class="LineNr">415 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L416" class="LineNr">416 </span>    e8/call  <a href='128subx-words.subx.html#L278'>is-valid-name?</a>/disp32
<span id="L417" class="LineNr">417 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L418" class="LineNr">418 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L419" class="LineNr">419 </span>    <span class="subxComment"># check-ints-equal(eax, 0, msg)</span>
<span id="L420" class="LineNr">420 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L421" class="LineNr">421 </span>    68/push  <span class="Constant">&quot;F - test-is-valid-name-0x-prefix&quot;</span>/imm32
<span id="L422" class="LineNr">422 </span>    68/push  0/imm32/false
<span id="L423" class="LineNr">423 </span>    50/push-eax
<span id="L424" class="LineNr">424 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L425" class="LineNr">425 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L426" class="LineNr">426 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L427" class="LineNr">427 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L428" class="LineNr">428 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L429" class="LineNr">429 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L430" class="LineNr">430 </span>    5d/pop-to-ebp
<span id="L431" class="LineNr">431 </span>    c3/return
<span id="L432" class="LineNr">432 </span>
<span id="L433" class="LineNr">433 </span><span class="subxTest">test-is-valid-name-starts-with-pre-digit</span>:
<span id="L434" class="LineNr">434 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L435" class="LineNr">435 </span>    55/push-ebp
<span id="L436" class="LineNr">436 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L437" class="LineNr">437 </span>    <span class="subxComment"># (eax..ecx) = &quot;/03&quot;</span>
<span id="L438" class="LineNr">438 </span>    b8/copy-to-eax  <span class="Constant">&quot;/03&quot;</span>/imm32
<span id="L439" class="LineNr">439 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L440" class="LineNr">440 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L441" class="LineNr">441 </span>    05/add-to-eax  4/imm32
<span id="L442" class="LineNr">442 </span>    <span class="subxComment"># var slice/ecx: slice = {eax, ecx}</span>
<span id="L443" class="LineNr">443 </span>    51/push-ecx
<span id="L444" class="LineNr">444 </span>    50/push-eax
<span id="L445" class="LineNr">445 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
<span id="L446" class="LineNr">446 </span>    <span class="subxComment"># eax = is-valid-name?(slice)</span>
<span id="L447" class="LineNr">447 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L448" class="LineNr">448 </span>    51/push-ecx
<span id="L449" class="LineNr">449 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L450" class="LineNr">450 </span>    e8/call  <a href='128subx-words.subx.html#L278'>is-valid-name?</a>/disp32
<span id="L451" class="LineNr">451 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L452" class="LineNr">452 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L453" class="LineNr">453 </span>    <span class="subxComment"># check-ints-equal(eax, 1, msg)</span>
<span id="L454" class="LineNr">454 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L455" class="LineNr">455 </span>    68/push  <span class="Constant">&quot;F - test-is-valid-name-starts-with-pre-digit&quot;</span>/imm32
<span id="L456" class="LineNr">456 </span>    68/push  1/imm32/true
<span id="L457" class="LineNr">457 </span>    50/push-eax
<span id="L458" class="LineNr">458 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L459" class="LineNr">459 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L460" class="LineNr">460 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L461" class="LineNr">461 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L462" class="LineNr">462 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L463" class="LineNr">463 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L464" class="LineNr">464 </span>    5d/pop-to-ebp
<span id="L465" class="LineNr">465 </span>    c3/return
<span id="L466" class="LineNr">466 </span>
<span id="L467" class="LineNr">467 </span><span class="subxTest">test-is-valid-name-starts-with-post-digit</span>:
<span id="L468" class="LineNr">468 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L469" class="LineNr">469 </span>    55/push-ebp
<span id="L470" class="LineNr">470 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L471" class="LineNr">471 </span>    <span class="subxComment"># (eax..ecx) = &quot;q34&quot;</span>
<span id="L472" class="LineNr">472 </span>    b8/copy-to-eax  <span class="Constant">&quot;q34&quot;</span>/imm32
<span id="L473" class="LineNr">473 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L474" class="LineNr">474 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L475" class="LineNr">475 </span>    05/add-to-eax  4/imm32
<span id="L476" class="LineNr">476 </span>    <span class="subxComment"># var slice/ecx: slice = {eax, ecx}</span>
<span id="L477" class="LineNr">477 </span>    51/push-ecx
<span id="L478" class="LineNr">478 </span>    50/push-eax
<span id="L479" class="LineNr">479 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
<span id="L480" class="LineNr">480 </span>    <span class="subxComment"># eax = is-valid-name?(slice)</span>
<span id="L481" class="LineNr">481 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L482" class="LineNr">482 </span>    51/push-ecx
<span id="L483" class="LineNr">483 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L484" class="LineNr">484 </span>    e8/call  <a href='128subx-words.subx.html#L278'>is-valid-name?</a>/disp32
<span id="L485" class="LineNr">485 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L486" class="LineNr">486 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L487" class="LineNr">487 </span>    <span class="subxComment"># check-ints-equal(eax, 1, msg)</span>
<span id="L488" class="LineNr">488 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L489" class="LineNr">489 </span>    68/push  <span class="Constant">&quot;F - test-is-valid-name-starts-with-post-digit&quot;</span>/imm32
<span id="L490" class="LineNr">490 </span>    68/push  1/imm32/true
<span id="L491" class="LineNr">491 </span>    50/push-eax
<span id="L492" class="LineNr">492 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L493" class="LineNr">493 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L494" class="LineNr">494 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L495" class="LineNr">495 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L496" class="LineNr">496 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L497" class="LineNr">497 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L498" class="LineNr">498 </span>    5d/pop-to-ebp
<span id="L499" class="LineNr">499 </span>    c3/return
<span id="L500" class="LineNr">500 </span>
<span id="L501" class="LineNr">501 </span><span class="subxTest">test-is-valid-name-starts-with-digit</span>:
<span id="L502" class="LineNr">502 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L503" class="LineNr">503 </span>    55/push-ebp
<span id="L504" class="LineNr">504 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L505" class="LineNr">505 </span>    <span class="subxComment"># (eax..ecx) = &quot;0x34&quot;</span>
<span id="L506" class="LineNr">506 </span>    b8/copy-to-eax  <span class="Constant">&quot;0x34&quot;</span>/imm32
<span id="L507" class="LineNr">507 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L508" class="LineNr">508 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L509" class="LineNr">509 </span>    05/add-to-eax  4/imm32
<span id="L510" class="LineNr">510 </span>    <span class="subxComment"># var slice/ecx: slice = {eax, ecx}</span>
<span id="L511" class="LineNr">511 </span>    51/push-ecx
<span id="L512" class="LineNr">512 </span>    50/push-eax
<span id="L513" class="LineNr">513 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
<span id="L514" class="LineNr">514 </span>    <span class="subxComment"># eax = is-valid-name?(slice)</span>
<span id="L515" class="LineNr">515 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L516" class="LineNr">516 </span>    51/push-ecx
<span id="L517" class="LineNr">517 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L518" class="LineNr">518 </span>    e8/call  <a href='128subx-words.subx.html#L278'>is-valid-name?</a>/disp32
<span id="L519" class="LineNr">519 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L520" class="LineNr">520 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L521" class="LineNr">521 </span>    <span class="subxComment"># check-ints-equal(eax, 0, msg)</span>
<span id="L522" class="LineNr">522 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L523" class="LineNr">523 </span>    68/push  <span class="Constant">&quot;F - test-is-valid-name-starts-with-digit&quot;</span>/imm32
<span id="L524" class="LineNr">524 </span>    68/push  0/imm32/false
<span id="L525" class="LineNr">525 </span>    50/push-eax
<span id="L526" class="LineNr">526 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L527" class="LineNr">527 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L528" class="LineNr">528 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L529" class="LineNr">529 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L530" class="LineNr">530 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L531" class="LineNr">531 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L532" class="LineNr">532 </span>    5d/pop-to-ebp
<span id="L533" class="LineNr">533 </span>    c3/return
<span id="L534" class="LineNr">534 </span>
<span id="L535" class="LineNr">535 </span><span class="subxFunction">is-label?</span>: <span class="subxComment"># word: (addr slice) -&gt; result/eax: boolean</span>
<span id="L536" class="LineNr">536 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L537" class="LineNr">537 </span>    55/push-ebp
<span id="L538" class="LineNr">538 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L539" class="LineNr">539 </span>    <span class="subxS1Comment"># . save registers</span>
<span id="L540" class="LineNr">540 </span>    51/push-ecx
<span id="L541" class="LineNr">541 </span>    <span class="subxComment"># ecx = word</span>
<span id="L542" class="LineNr">542 </span>    8b/copy                         1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx   8/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy *(ebp+8) to ecx</span>
<span id="L543" class="LineNr">543 </span>    <span class="subxComment"># var end/ecx: (addr byte) = word-&gt;end</span>
<span id="L544" class="LineNr">544 </span>    8b/copy                         1/mod/*+disp8   1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy *(ecx+4) to ecx</span>
<span id="L545" class="LineNr">545 </span>    <span class="subxComment"># return *(end - 1) == ':'</span>
<span id="L546" class="LineNr">546 </span>    <span class="subxS1Comment"># . eax = *(end-1)</span>
<span id="L547" class="LineNr">547 </span>    31/xor                          3/mod/direct    0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          0/r32/eax  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># clear eax</span>
<span id="L548" class="LineNr">548 </span>    8a/copy-byte                    1/mod/*+disp8   1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          0/r32/AL    -1/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy byte at *(ecx-1) to AL</span>
<span id="L549" class="LineNr">549 </span>    <span class="subxS1Comment"># . return (eax == ':')</span>
<span id="L550" class="LineNr">550 </span>    3d/compare-eax-and  0x3a/imm32/colon
<span id="L551" class="LineNr">551 </span>    b8/copy-to-eax  1/imm32/true
<span id="L552" class="LineNr">552 </span>    74/jump-if-=  $is-label?:end/disp8
<span id="L553" class="LineNr">553 </span>    b8/copy-to-eax  0/imm32/false
<span id="L554" class="LineNr">554 </span><span class="Constant">$is-label?:end</span>:
<span id="L555" class="LineNr">555 </span>    <span class="subxS1Comment"># . restore registers</span>
<span id="L556" class="LineNr">556 </span>    59/pop-to-ecx
<span id="L557" class="LineNr">557 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L558" class="LineNr">558 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L559" class="LineNr">559 </span>    5d/pop-to-ebp
<span id="L560" class="LineNr">560 </span>    c3/return
<span id="L561" class="LineNr">561 </span>
<span id="L562" class="LineNr">562 </span><span class="subxTest">test-is-label?</span>:
<span id="L563" class="LineNr">563 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L564" class="LineNr">564 </span>    55/push-ebp
<span id="L565" class="LineNr">565 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L566" class="LineNr">566 </span><span class="Constant">$test-is-label?:true</span>:
<span id="L567" class="LineNr">567 </span>    <span class="subxComment"># (eax..ecx) = &quot;AAA:&quot;</span>
<span id="L568" class="LineNr">568 </span>    b8/copy-to-eax  <span class="Constant">&quot;AAA:&quot;</span>/imm32
<span id="L569" class="LineNr">569 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L570" class="LineNr">570 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L571" class="LineNr">571 </span>    05/add-to-eax  4/imm32
<span id="L572" class="LineNr">572 </span>    <span class="subxComment"># var slice/ecx: slice = {eax, ecx}</span>
<span id="L573" class="LineNr">573 </span>    51/push-ecx
<span id="L574" class="LineNr">574 </span>    50/push-eax
<span id="L575" class="LineNr">575 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
<span id="L576" class="LineNr">576 </span>    <span class="subxComment"># is-label?(slice/ecx)</span>
<span id="L577" class="LineNr">577 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L578" class="LineNr">578 </span>    51/push-ecx
<span id="L579" class="LineNr">579 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L580" class="LineNr">580 </span>    e8/call  <a href='128subx-words.subx.html#L535'>is-label?</a>/disp32
<span id="L581" class="LineNr">581 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L582" class="LineNr">582 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L583" class="LineNr">583 </span>    <span class="subxComment"># check-ints-equal(eax, 1, msg)</span>
<span id="L584" class="LineNr">584 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L585" class="LineNr">585 </span>    68/push  <span class="Constant">&quot;F - <a href='128subx-words.subx.html#L562'>test-is-label?</a>:true&quot;</span>/imm32
<span id="L586" class="LineNr">586 </span>    68/push  1/imm32
<span id="L587" class="LineNr">587 </span>    50/push-eax
<span id="L588" class="LineNr">588 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L589" class="LineNr">589 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L590" class="LineNr">590 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L591" class="LineNr">591 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L592" class="LineNr">592 </span><span class="Constant">$test-is-label?:false</span>:
<span id="L593" class="LineNr">593 </span>    <span class="subxComment"># (eax..ecx) = &quot;AAA&quot;</span>
<span id="L594" class="LineNr">594 </span>    b8/copy-to-eax  <span class="Constant">&quot;AAA&quot;</span>/imm32
<span id="L595" class="LineNr">595 </span>    8b/copy                         0/mod/indirect  0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *eax to ecx</span>
<span id="L596" class="LineNr">596 </span>    8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx  <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy eax+ecx+4 to ecx</span>
<span id="L597" class="LineNr">597 </span>    05/add-to-eax  4/imm32
<span id="L598" class="LineNr">598 </span>    <span class="subxComment"># var slice/ecx: slice = {eax, ecx}</span>
<span id="L599" class="LineNr">599 </span>    51/push-ecx
<span id="L600" class="LineNr">600 </span>    50/push-eax
<span id="L601" class="LineNr">601 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
<span id="L602" class="LineNr">602 </span>    <span class="subxComment"># is-label?(slice/ecx)</span>
<span id="L603" class="LineNr">603 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L604" class="LineNr">604 </span>    51/push-ecx
<span id="L605" class="LineNr">605 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L606" class="LineNr">606 </span>    e8/call  <a href='128subx-words.subx.html#L535'>is-label?</a>/disp32
<span id="L607" class="LineNr">607 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L608" class="LineNr">608 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L609" class="LineNr">609 </span>    <span class="subxComment"># check-ints-equal(eax, 0, msg)</span>
<span id="L610" class="LineNr">610 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L611" class="LineNr">611 </span>    68/push  <span class="Constant">&quot;F - <a href='128subx-words.subx.html#L562'>test-is-label?</a>:false&quot;</span>/imm32
<span id="L612" class="LineNr">612 </span>    68/push  0/imm32
<span id="L613" class="LineNr">613 </span>    50/push-eax
<span id="L614" class="LineNr">614 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L615" class="LineNr">615 </span>    e8/call  <a href='102test.subx.html#L23'>check-ints-equal</a>/disp32
<span id="L616" class="LineNr">616 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L617" class="LineNr">617 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L618" class="LineNr">618 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L619" class="LineNr">619 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L620" class="LineNr">620 </span>    5d/pop-to-ebp
<span id="L621" class="LineNr">621 </span>    c3/return
<span id="L622" class="LineNr">622 </span>
<span id="L623" class="LineNr">623 </span><span class="subxS2Comment"># . . vim&#0058;nowrap:textwidth=0</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->