about summary refs log blame commit diff stats
path: root/html/subx/011run.cc.html
blob: 5affa67f81257f9a09f122b9c4386e53bb0a125a (plain) (tree)
106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181




                                                                                          
                                         


                                                                                                               
                                                 

                       

                                                                                                 
                    
                                     
                             

                             




                                                                           
                                   
































                                                                                 
                                                                                                                                 





                                                                                                                                                  
                                                                                                                                             
                                                                                                                                                                                                                                                                                                      

                                                                                                                                                                                                    


                                                                                                                                                                 
                                                                                                                                                               
                                                                                       
                                                                                                                                                                                                         

                                                                                                   
                                                                                                                                                   
                                                                                                                                  

                                                                                                                                                                         






                                                                                                                                                                          
                                                                                       
                                                                                                                                         
                                                                                                                                                                




                                                                                                                                                 




















































































                                                                                                                                                                                                                                                                                                                                                          
                                                                                                         












































































                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       


                                                                            




                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 

                                                                          




















                                                                                                                                                                                                                                         
                                          
























































































                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      
                                          































                                                                                                                                                                                                                                                                                                                                                                                                                                                                             
                                          
























































                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    



                                     
<!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 - subx/011run.cc</title>
<meta name="Generator" content="Vim/8.0">
<meta name="plugin-version" content="vim7.4_v2">
<meta name="syntax" content="cpp">
<meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
<meta name="colorscheme" content="minimal-light">
<style type="text/css">
<!--
pre { white-space: pre-wrap; 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; }
.cSpecial { color: #008000; }
.LineNr { }
.Constant { color: #008787; }
.Delimiter { color: #c000c0; }
.Special { color: #d70000; }
.Identifier { color: #af5f00; }
.Normal { color: #000000; background-color: #c6c6c6; padding-bottom: 1px; }
.Comment { color: #005faf; }
.SalientComment { color: #0000af; }
-->
</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;
  }
  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/subx/011run.cc'>https://github.com/akkartik/mu/blob/master/subx/011run.cc</a>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr">  1 </span><span class="Comment">//: Running SubX programs on the VM.</span>
<span id="L2" class="LineNr">  2 </span>
<span id="L3" class="LineNr">  3 </span><span class="Comment">//: (Not to be confused with the 'run' subcommand for running ELF binaries on</span>
<span id="L4" class="LineNr">  4 </span><span class="Comment">//: the VM. That comes later.)</span>
<span id="L5" class="LineNr">  5 </span>
<span id="L6" class="LineNr">  6 </span><span class="Delimiter">:(before &quot;End <a href='001help.cc.html#L53'>Help</a> Texts&quot;)</span>
<span id="L7" class="LineNr">  7 </span><a href='001help.cc.html#L262'>put_new</a><span class="Delimiter">(</span><span class="Special"><a href='001help.cc.html#L53'>Help</a></span><span class="Delimiter">,</span> <span class="Constant">&quot;syntax&quot;</span><span class="Delimiter">,</span>
<span id="L8" class="LineNr">  8 </span>  <span class="Constant">&quot;SubX programs consist of <a href='011run.cc.html#L103'>segments</a>, each segment in turn consisting of lines.\n&quot;</span>
<span id="L9" class="LineNr">  9 </span>  <span class="Constant">&quot;Line-endings are significant; each <a href='011run.cc.html#L120'>line</a> should contain a single\n&quot;</span>
<span id="L10" class="LineNr"> 10 </span>  <span class="Constant">&quot;instruction, macro or directive.\n&quot;</span>
<span id="L11" class="LineNr"> 11 </span>  <span class="Constant">&quot;\n&quot;</span>
<span id="L12" class="LineNr"> 12 </span>  <span class="Constant">&quot;Comments start with the '#' character. It should be at the start of a word\n&quot;</span>
<span id="L13" class="LineNr"> 13 </span>  <span class="Constant">&quot;(start of <a href='011run.cc.html#L120'>line</a>, or following a space).\n&quot;</span>
<span id="L14" class="LineNr"> 14 </span>  <span class="Constant">&quot;\n&quot;</span>
<span id="L15" class="LineNr"> 15 </span>  <span class="Constant">&quot;Each segment starts with a header <a href='011run.cc.html#L120'>line</a>: a '==' delimiter followed by the name of\n&quot;</span>
<span id="L16" class="LineNr"> 16 </span>  <span class="Constant">&quot;the segment.\n&quot;</span>
<span id="L17" class="LineNr"> 17 </span>  <span class="Constant">&quot;\n&quot;</span>
<span id="L18" class="LineNr"> 18 </span>  <span class="Constant">&quot;The first segment contains code and should be called 'code'.\n&quot;</span>
<span id="L19" class="LineNr"> 19 </span>  <span class="Constant">&quot;The second segment should be called 'data'.\n&quot;</span>
<span id="L20" class="LineNr"> 20 </span>  <span class="Constant">&quot;The resulting binary starts running from the start of the code segment by default.\n&quot;</span>
<span id="L21" class="LineNr"> 21 </span>  <span class="Constant">&quot;To start elsewhere in the code segment, define a special label called 'Entry'.\n&quot;</span>
<span id="L22" class="LineNr"> 22 </span>  <span class="Constant">&quot;\n&quot;</span>
<span id="L23" class="LineNr"> 23 </span>  <span class="Constant">&quot;Segments with the same name get merged together. This rule helps keep functions and\n&quot;</span>
<span id="L24" class="LineNr"> 24 </span>  <span class="Constant">&quot;their data close together in .subx files.\n&quot;</span>
<span id="L25" class="LineNr"> 25 </span>  <span class="Constant">&quot;\n&quot;</span>
<span id="L26" class="LineNr"> 26 </span>  <span class="Constant">&quot;Lines consist of a series of words. Words can contain arbitrary metadata\n&quot;</span>
<span id="L27" class="LineNr"> 27 </span>  <span class="Constant">&quot;after a '/', but they can never contain whitespace. Metadata has no effect\n&quot;</span>
<span id="L28" class="LineNr"> 28 </span>  <span class="Constant">&quot;at runtime, but can be handy when rewriting macros.\n&quot;</span>
<span id="L29" class="LineNr"> 29 </span>  <span class="Constant">&quot;\n&quot;</span>
<span id="L30" class="LineNr"> 30 </span>  <span class="Constant">&quot;Check out the examples in the examples/ directory.\n&quot;</span>
<span id="L31" class="LineNr"> 31 </span>  <span class="Constant">&quot;Programming in machine code can be annoying, but let's see if we can make\n&quot;</span>
<span id="L32" class="LineNr"> 32 </span>  <span class="Constant">&quot;it nice enough to be able to write a compiler in it.\n&quot;</span>
<span id="L33" class="LineNr"> 33 </span><span class="Delimiter">);</span>
<span id="L34" class="LineNr"> 34 </span><span class="Delimiter">:(before &quot;End <a href='001help.cc.html#L53'>Help</a> Contents&quot;)</span>
<span id="L35" class="LineNr"> 35 </span>cerr &lt;&lt; <span class="Constant">&quot;  syntax\n&quot;</span><span class="Delimiter">;</span>
<span id="L36" class="LineNr"> 36 </span>
<span id="L37" class="LineNr"> 37 </span><span class="Delimiter">:(code)</span>
<span id="L38" class="LineNr"> 38 </span><span class="Normal">void</span> <a href='011run.cc.html#L38'>test_add_imm32_to_eax</a><span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L39" class="LineNr"> 39 </span>  <span class="Comment">// At the lowest level, SubX programs are a series of hex bytes, each</span>
<span id="L40" class="LineNr"> 40 </span>  <span class="Comment">// (variable-length) instruction on one line.</span>
<span id="L41" class="LineNr"> 41 </span>  <a href='011run.cc.html#L86'>run</a><span class="Delimiter">(</span>
<span id="L42" class="LineNr"> 42 </span>      <span class="Comment">// Comments start with '#' and are ignored.</span>
<span id="L43" class="LineNr"> 43 </span>      <span class="Constant">&quot;# comment\n&quot;</span>
<span id="L44" class="LineNr"> 44 </span>      <span class="Comment">// Segment headers start with '==' and a name or starting hex address.</span>
<span id="L45" class="LineNr"> 45 </span>      <span class="Comment">// There's usually one code and one data segment. The code segment</span>
<span id="L46" class="LineNr"> 46 </span>      <span class="Comment">// always comes first.</span>
<span id="L47" class="LineNr"> 47 </span>      <span class="Constant">&quot;== 0x1\n&quot;</span>  <span class="Comment">// code segment</span>
<span id="L48" class="LineNr"> 48 </span>
<span id="L49" class="LineNr"> 49 </span>      <span class="Comment">// After the header, each segment consists of lines, and each line</span>
<span id="L50" class="LineNr"> 50 </span>      <span class="Comment">// consists of words separated by whitespace.</span>
<span id="L51" class="LineNr"> 51 </span>      <span class="Comment">//</span>
<span id="L52" class="LineNr"> 52 </span>      <span class="Comment">// All words can have metadata after a '/'. No spaces allowed in</span>
<span id="L53" class="LineNr"> 53 </span>      <span class="Comment">// metadata, of course.</span>
<span id="L54" class="LineNr"> 54 </span>      <span class="Comment">// Unrecognized metadata never causes errors, so you can use it for</span>
<span id="L55" class="LineNr"> 55 </span>      <span class="Comment">// documentation.</span>
<span id="L56" class="LineNr"> 56 </span>      <span class="Comment">//</span>
<span id="L57" class="LineNr"> 57 </span>      <span class="Comment">// Within the code segment in particular, x86 instructions consist of</span>
<span id="L58" class="LineNr"> 58 </span>      <span class="Comment">// some number of the following parts and sub-parts (see the Readme and</span>
<span id="L59" class="LineNr"> 59 </span>      <span class="Comment">// cheatsheet.pdf for details):</span>
<span id="L60" class="LineNr"> 60 </span>      <span class="Comment">//   opcodes: 1-3 bytes</span>
<span id="L61" class="LineNr"> 61 </span>      <span class="Comment">//   ModR/M byte</span>
<span id="L62" class="LineNr"> 62 </span>      <span class="Comment">//   SIB byte</span>
<span id="L63" class="LineNr"> 63 </span>      <span class="Comment">//   displacement: 0/1/2/4 bytes</span>
<span id="L64" class="LineNr"> 64 </span>      <span class="Comment">//   immediate: 0/1/2/4 bytes</span>
<span id="L65" class="LineNr"> 65 </span>      <span class="Comment">// opcode        ModR/M                    SIB                   displacement    immediate</span>
<span id="L66" class="LineNr"> 66 </span>      <span class="Comment">// instruction   mod, reg, Reg/Mem bits    scale, index, base</span>
<span id="L67" class="LineNr"> 67 </span>      <span class="Comment">// 1-3 bytes     0/1 byte                  0/1 byte              0/1/2/4 bytes   0/1/2/4 bytes</span>
<span id="L68" class="LineNr"> 68 </span>      <span class="Constant">&quot;  05            .                         .                     .               0a 0b 0c 0d\n&quot;</span>  <span class="Comment">// add 0x0d0c0b0a to EAX</span>
<span id="L69" class="LineNr"> 69 </span>      <span class="Comment">// The periods are just to help the eye track long gaps between columns,</span>
<span id="L70" class="LineNr"> 70 </span>      <span class="Comment">// and are otherwise ignored.</span>
<span id="L71" class="LineNr"> 71 </span>  <span class="Delimiter">);</span>
<span id="L72" class="LineNr"> 72 </span>  <span class="Comment">// This program, when run, causes the following events in the trace:</span>
<span id="L73" class="LineNr"> 73 </span>  <a href='003trace.cc.html#L266'>CHECK_TRACE_CONTENTS</a><span class="Delimiter">(</span>
<span id="L74" class="LineNr"> 74 </span>      <span class="Constant">&quot;load: 0x00000001 -&gt; 05\n&quot;</span>
<span id="L75" class="LineNr"> 75 </span>      <span class="Constant">&quot;load: 0x00000002 -&gt; 0a\n&quot;</span>
<span id="L76" class="LineNr"> 76 </span>      <span class="Constant">&quot;load: 0x00000003 -&gt; 0b\n&quot;</span>
<span id="L77" class="LineNr"> 77 </span>      <span class="Constant">&quot;load: 0x00000004 -&gt; 0c\n&quot;</span>
<span id="L78" class="LineNr"> 78 </span>      <span class="Constant">&quot;load: 0x00000005 -&gt; 0d\n&quot;</span>
<span id="L79" class="LineNr"> 79 </span>      <span class="Constant">&quot;run: add <a href='037heap.cc.html#L23'>imm32</a> 0x0d0c0b0a to <a href='010---vm.cc.html#L23'>reg</a> EAX\n&quot;</span>
<span id="L80" class="LineNr"> 80 </span>      <span class="Constant">&quot;run: storing 0x0d0c0b0a\n&quot;</span>
<span id="L81" class="LineNr"> 81 </span>  <span class="Delimiter">);</span>
<span id="L82" class="LineNr"> 82 </span><span class="Delimiter">}</span>
<span id="L83" class="LineNr"> 83 </span>
<span id="L84" class="LineNr"> 84 </span><span class="Comment">// top-level helper for scenarios: parse the input, transform any macros, load</span>
<span id="L85" class="LineNr"> 85 </span><span class="Comment">// the final hex bytes into memory, run it</span>
<span id="L86" class="LineNr"> 86 </span><span class="Normal">void</span> <a href='011run.cc.html#L86'>run</a><span class="Delimiter">(</span><span class="Normal">const</span> string&amp; text_bytes<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L87" class="LineNr"> 87 </span>  <a href='011run.cc.html#L102'>program</a> p<span class="Delimiter">;</span>
<span id="L88" class="LineNr"> 88 </span>  istringstream in<span class="Delimiter">(</span>text_bytes<span class="Delimiter">);</span>
<span id="L89" class="LineNr"> 89 </span>  parse<span class="Delimiter">(</span>in<span class="Delimiter">,</span> p<span class="Delimiter">);</span>
<span id="L90" class="LineNr"> 90 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='003trace.cc.html#L238'>trace_contains_errors</a><span class="Delimiter">())</span> <span class="Identifier">return</span><span class="Delimiter">;</span>  <span class="Comment">// if any stage raises errors, stop immediately</span>
<span id="L91" class="LineNr"> 91 </span>  transform<span class="Delimiter">(</span>p<span class="Delimiter">);</span>
<span id="L92" class="LineNr"> 92 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='003trace.cc.html#L238'>trace_contains_errors</a><span class="Delimiter">())</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L93" class="LineNr"> 93 </span>  <a href='011run.cc.html#L245'>load</a><span class="Delimiter">(</span>p<span class="Delimiter">);</span>
<span id="L94" class="LineNr"> 94 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='003trace.cc.html#L238'>trace_contains_errors</a><span class="Delimiter">())</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L95" class="LineNr"> 95 </span>  <span class="Normal">while</span> <span class="Delimiter">(</span>EIP &lt; <span class="Special"><a href='010---vm.cc.html#L194'>End_of_program</a></span><span class="Delimiter">)</span>
<span id="L96" class="LineNr"> 96 </span>    <a href='010---vm.cc.html#L296'>run_one_instruction</a><span class="Delimiter">();</span>
<span id="L97" class="LineNr"> 97 </span><span class="Delimiter">}</span>
<span id="L98" class="LineNr"> 98 </span>
<span id="L99" class="LineNr"> 99 </span><span class="SalientComment">//:: core data structures</span>
<span id="L100" class="LineNr">100 </span>
<span id="L101" class="LineNr">101 </span><span class="Delimiter">:(before &quot;End Types&quot;)</span>
<span id="L102" class="LineNr">102 </span><span class="Normal">struct</span> <a href='011run.cc.html#L102'>program</a> <span class="Delimiter">{</span>
<span id="L103" class="LineNr">103 </span>  vector&lt;segment&gt; <a href='011run.cc.html#L103'>segments</a><span class="Delimiter">;</span>
<span id="L104" class="LineNr">104 </span>  <span class="Comment">// random ideas for other things we may eventually need</span>
<span id="L105" class="LineNr">105 </span>  <span class="Comment">//map&lt;name, address&gt; globals;</span>
<span id="L106" class="LineNr">106 </span>  <span class="Comment">//vector&lt;recipe&gt; recipes;</span>
<span id="L107" class="LineNr">107 </span>  <span class="Comment">//map&lt;string, type_info&gt; types;</span>
<span id="L108" class="LineNr">108 </span><span class="Delimiter">};</span>
<span id="L109" class="LineNr">109 </span><span class="Delimiter">:(before &quot;struct program&quot;)</span>
<span id="L110" class="LineNr">110 </span><span class="Normal">struct</span> segment <span class="Delimiter">{</span>
<span id="L111" class="LineNr">111 </span>  <span class="Normal">uint32_t</span> start<span class="Delimiter">;</span>
<span id="L112" class="LineNr">112 </span>  vector&lt;line&gt; <a href='011run.cc.html#L112'>lines</a><span class="Delimiter">;</span>
<span id="L113" class="LineNr">113 </span>  <span class="Comment">// End segment Fields</span>
<span id="L114" class="LineNr">114 </span>  segment<span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L115" class="LineNr">115 </span>    start = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L116" class="LineNr">116 </span>    <span class="Comment">// End segment Constructor</span>
<span id="L117" class="LineNr">117 </span>  <span class="Delimiter">}</span>
<span id="L118" class="LineNr">118 </span><span class="Delimiter">};</span>
<span id="L119" class="LineNr">119 </span><span class="Delimiter">:(before &quot;struct segment&quot;)</span>
<span id="L120" class="LineNr">120 </span><span class="Normal">struct</span> <a href='011run.cc.html#L120'>line</a> <span class="Delimiter">{</span>
<span id="L121" class="LineNr">121 </span>  vector&lt;word&gt; <a href='011run.cc.html#L121'>words</a><span class="Delimiter">;</span>
<span id="L122" class="LineNr">122 </span>  vector&lt;string&gt; metadata<span class="Delimiter">;</span>
<span id="L123" class="LineNr">123 </span>  string original<span class="Delimiter">;</span>
<span id="L124" class="LineNr">124 </span><span class="Delimiter">};</span>
<span id="L125" class="LineNr">125 </span><span class="Delimiter">:(before &quot;struct line&quot;)</span>
<span id="L126" class="LineNr">126 </span><span class="Normal">struct</span> <a href='011run.cc.html#L126'>word</a> <span class="Delimiter">{</span>
<span id="L127" class="LineNr">127 </span>  string original<span class="Delimiter">;</span>
<span id="L128" class="LineNr">128 </span>  string data<span class="Delimiter">;</span>
<span id="L129" class="LineNr">129 </span>  vector&lt;string&gt; metadata<span class="Delimiter">;</span>
<span id="L130" class="LineNr">130 </span><span class="Delimiter">};</span>
<span id="L131" class="LineNr">131 </span>
<span id="L132" class="LineNr">132 </span><span class="SalientComment">//:: parse</span>
<span id="L133" class="LineNr">133 </span>
<span id="L134" class="LineNr">134 </span><span class="Delimiter">:(code)</span>
<span id="L135" class="LineNr">135 </span><span class="Normal">void</span> parse<span class="Delimiter">(</span>istream&amp; fin<span class="Delimiter">,</span> program&amp; out<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L136" class="LineNr">136 </span>  vector&lt;line&gt; l<span class="Delimiter">;</span>
<span id="L137" class="LineNr">137 </span>  <span class="Normal">while</span> <span class="Delimiter">(</span><a href='001help.cc.html#L274'>has_data</a><span class="Delimiter">(</span>fin<span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L138" class="LineNr">138 </span>    string line_data<span class="Delimiter">;</span>
<span id="L139" class="LineNr">139 </span>    <a href='011run.cc.html#L120'>line</a> curr<span class="Delimiter">;</span>
<span id="L140" class="LineNr">140 </span>    getline<span class="Delimiter">(</span>fin<span class="Delimiter">,</span> line_data<span class="Delimiter">);</span>
<span id="L141" class="LineNr">141 </span>    curr<span class="Delimiter">.</span>original = line_data<span class="Delimiter">;</span>
<span id="L142" class="LineNr">142 </span>    <a href='003trace.cc.html#L96'>trace</a><span class="Delimiter">(</span><span class="Constant">99</span><span class="Delimiter">,</span> <span class="Constant">&quot;parse&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;line: &quot;</span> &lt;&lt; line_data &lt;&lt; end<span class="Delimiter">();</span>
<span id="L143" class="LineNr">143 </span>    <span class="Comment">// End Line Parsing Special-cases(line_data -&gt; l)</span>
<span id="L144" class="LineNr">144 </span>    istringstream lin<span class="Delimiter">(</span>line_data<span class="Delimiter">);</span>
<span id="L145" class="LineNr">145 </span>    <span class="Normal">while</span> <span class="Delimiter">(</span><a href='001help.cc.html#L274'>has_data</a><span class="Delimiter">(</span>lin<span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L146" class="LineNr">146 </span>      string word_data<span class="Delimiter">;</span>
<span id="L147" class="LineNr">147 </span>      lin &gt;&gt; word_data<span class="Delimiter">;</span>
<span id="L148" class="LineNr">148 </span>      <span class="Normal">if</span> <span class="Delimiter">(</span>word_data<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>
<span id="L149" class="LineNr">149 </span>      <span class="Normal">if</span> <span class="Delimiter">(</span>word_data[<span class="Constant">0</span>] == <span class="Constant">'#'</span><span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span>  <span class="Comment">// comment</span>
<span id="L150" class="LineNr">150 </span>      <span class="Normal">if</span> <span class="Delimiter">(</span>word_data == <span class="Constant">&quot;.&quot;</span><span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>  <span class="Comment">// comment token</span>
<span id="L151" class="LineNr">151 </span>      <span class="Normal">if</span> <span class="Delimiter">(</span>word_data == <span class="Constant">&quot;==&quot;</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L152" class="LineNr">152 </span>        <a href='011run.cc.html#L182'>flush</a><span class="Delimiter">(</span>out<span class="Delimiter">,</span> l<span class="Delimiter">);</span>
<span id="L153" class="LineNr">153 </span>        string segment_title<span class="Delimiter">;</span>
<span id="L154" class="LineNr">154 </span>        lin &gt;&gt; segment_title<span class="Delimiter">;</span>
<span id="L155" class="LineNr">155 </span>        <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L102'>starts_with</a><span class="Delimiter">(</span>segment_title<span class="Delimiter">,</span> <span class="Constant">&quot;0x&quot;</span><span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L156" class="LineNr">156 </span>          segment s<span class="Delimiter">;</span>
<span id="L157" class="LineNr">157 </span>          s<span class="Delimiter">.</span>start = <a href='011run.cc.html#L382'>parse_int</a><span class="Delimiter">(</span>segment_title<span class="Delimiter">);</span>
<span id="L158" class="LineNr">158 </span>          <a href='011run.cc.html#L203'>sanity_check_program_segment</a><span class="Delimiter">(</span>out<span class="Delimiter">,</span> s<span class="Delimiter">.</span>start<span class="Delimiter">);</span>
<span id="L159" class="LineNr">159 </span>          <span class="Normal">if</span> <span class="Delimiter">(</span><a href='003trace.cc.html#L238'>trace_contains_errors</a><span class="Delimiter">())</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>
<span id="L160" class="LineNr">160 </span>          <a href='003trace.cc.html#L96'>trace</a><span class="Delimiter">(</span><span class="Constant">3</span><span class="Delimiter">,</span> <span class="Constant">&quot;parse&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;new segment from 0x&quot;</span> &lt;&lt; <a href='010---vm.cc.html#L440'>HEXWORD</a> &lt;&lt; s<span class="Delimiter">.</span>start &lt;&lt; end<span class="Delimiter">();</span>
<span id="L161" class="LineNr">161 </span>          out<span class="Delimiter">.</span><a href='011run.cc.html#L103'>segments</a><span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>s<span class="Delimiter">);</span>
<span id="L162" class="LineNr">162 </span>        <span class="Delimiter">}</span>
<span id="L163" class="LineNr">163 </span>        <span class="Comment">// End Segment Parsing Special-cases(segment_title)</span>
<span id="L164" class="LineNr">164 </span>        <span class="Comment">// todo: segment segment metadata</span>
<span id="L165" class="LineNr">165 </span>        <span class="Identifier">break</span><span class="Delimiter">;</span>  <span class="Comment">// skip rest of line</span>
<span id="L166" class="LineNr">166 </span>      <span class="Delimiter">}</span>
<span id="L167" class="LineNr">167 </span>      <span class="Normal">if</span> <span class="Delimiter">(</span>word_data[<span class="Constant">0</span>] == <span class="Constant">':'</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L168" class="LineNr">168 </span>        <span class="Comment">// todo: line metadata</span>
<span id="L169" class="LineNr">169 </span>        <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L170" class="LineNr">170 </span>      <span class="Delimiter">}</span>
<span id="L171" class="LineNr">171 </span>      curr<span class="Delimiter">.</span><a href='011run.cc.html#L121'>words</a><span class="Delimiter">.</span>push_back<span class="Delimiter">(</span><a href='011run.cc.html#L126'>word</a><span class="Delimiter">());</span>
<span id="L172" class="LineNr">172 </span>      <a href='011run.cc.html#L193'>parse_word</a><span class="Delimiter">(</span>word_data<span class="Delimiter">,</span> curr<span class="Delimiter">.</span><a href='011run.cc.html#L121'>words</a><span class="Delimiter">.</span>back<span class="Delimiter">());</span>
<span id="L173" class="LineNr">173 </span>      <a href='003trace.cc.html#L96'>trace</a><span class="Delimiter">(</span><span class="Constant">99</span><span class="Delimiter">,</span> <span class="Constant">&quot;parse&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;word: &quot;</span> &lt;&lt; to_string<span class="Delimiter">(</span>curr<span class="Delimiter">.</span><a href='011run.cc.html#L121'>words</a><span class="Delimiter">.</span>back<span class="Delimiter">());</span>
<span id="L174" class="LineNr">174 </span>    <span class="Delimiter">}</span>
<span id="L175" class="LineNr">175 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>!curr<span class="Delimiter">.</span><a href='011run.cc.html#L121'>words</a><span class="Delimiter">.</span>empty<span class="Delimiter">())</span>
<span id="L176" class="LineNr">176 </span>      l<span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>curr<span class="Delimiter">);</span>
<span id="L177" class="LineNr">177 </span>  <span class="Delimiter">}</span>
<span id="L178" class="LineNr">178 </span>  <a href='011run.cc.html#L182'>flush</a><span class="Delimiter">(</span>out<span class="Delimiter">,</span> l<span class="Delimiter">);</span>
<span id="L179" class="LineNr">179 </span>  <a href='003trace.cc.html#L96'>trace</a><span class="Delimiter">(</span><span class="Constant">99</span><span class="Delimiter">,</span> <span class="Constant">&quot;parse&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;done&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L180" class="LineNr">180 </span><span class="Delimiter">}</span>
<span id="L181" class="LineNr">181 </span>
<span id="L182" class="LineNr">182 </span><span class="Normal">void</span> <a href='011run.cc.html#L182'>flush</a><span class="Delimiter">(</span>program&amp; p<span class="Delimiter">,</span> vector&lt;line&gt;&amp; <a href='011run.cc.html#L112'>lines</a><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L183" class="LineNr">183 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='011run.cc.html#L112'>lines</a><span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L184" class="LineNr">184 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>p<span class="Delimiter">.</span><a href='011run.cc.html#L103'>segments</a><span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L185" class="LineNr">185 </span>    <a href='003trace.cc.html#L202'>raise</a> &lt;&lt; <span class="Constant">&quot;input does not start with a '==' section header\n&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L186" class="LineNr">186 </span>    <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L187" class="LineNr">187 </span>  <span class="Delimiter">}</span>
<span id="L188" class="LineNr">188 </span>  <span class="Comment">// End flush(p, lines) Special-cases</span>
<span id="L189" class="LineNr">189 </span>  <a href='003trace.cc.html#L96'>trace</a><span class="Delimiter">(</span><span class="Constant">99</span><span class="Delimiter">,</span> <span class="Constant">&quot;parse&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;flushing segment&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L190" class="LineNr">190 </span>  p<span class="Delimiter">.</span><a href='011run.cc.html#L103'>segments</a><span class="Delimiter">.</span>back<span class="Delimiter">().</span><a href='011run.cc.html#L112'>lines</a><span class="Delimiter">.</span>swap<span class="Delimiter">(</span><a href='011run.cc.html#L112'>lines</a><span class="Delimiter">);</span>
<span id="L191" class="LineNr">191 </span><span class="Delimiter">}</span>
<span id="L192" class="LineNr">192 </span>
<span id="L193" class="LineNr">193 </span><span class="Normal">void</span> <a href='011run.cc.html#L193'>parse_word</a><span class="Delimiter">(</span><span class="Normal">const</span> string&amp; data<span class="Delimiter">,</span> word&amp; out<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L194" class="LineNr">194 </span>  out<span class="Delimiter">.</span>original = data<span class="Delimiter">;</span>
<span id="L195" class="LineNr">195 </span>  istringstream win<span class="Delimiter">(</span>data<span class="Delimiter">);</span>
<span id="L196" class="LineNr">196 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>getline<span class="Delimiter">(</span>win<span class="Delimiter">,</span> out<span class="Delimiter">.</span>data<span class="Delimiter">,</span> <span class="Constant">'/'</span><span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L197" class="LineNr">197 </span>    string m<span class="Delimiter">;</span>
<span id="L198" class="LineNr">198 </span>    <span class="Normal">while</span> <span class="Delimiter">(</span>getline<span class="Delimiter">(</span>win<span class="Delimiter">,</span> m<span class="Delimiter">,</span> <span class="Constant">'/'</span><span class="Delimiter">))</span>
<span id="L199" class="LineNr">199 </span>      out<span class="Delimiter">.</span>metadata<span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>m<span class="Delimiter">);</span>
<span id="L200" class="LineNr">200 </span>  <span class="Delimiter">}</span>
<span id="L201" class="LineNr">201 </span><span class="Delimiter">}</span>
<span id="L202" class="LineNr">202 </span>
<span id="L203" class="LineNr">203 </span><span class="Normal">void</span> <a href='011run.cc.html#L203'>sanity_check_program_segment</a><span class="Delimiter">(</span><span class="Normal">const</span> program&amp; p<span class="Delimiter">,</span> <span class="Normal">uint32_t</span> addr<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L204" class="LineNr">204 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span>  i &lt; <a href='001help.cc.html#L166'>SIZE</a><span class="Delimiter">(</span>p<span class="Delimiter">.</span><a href='011run.cc.html#L103'>segments</a><span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L205" class="LineNr">205 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>p<span class="Delimiter">.</span><a href='011run.cc.html#L103'>segments</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>start == addr<span class="Delimiter">)</span>
<span id="L206" class="LineNr">206 </span>      <a href='003trace.cc.html#L202'>raise</a> &lt;&lt; <span class="Constant">&quot;can't have multiple segments starting at address 0x&quot;</span> &lt;&lt; HEXWORD &lt;&lt; addr &lt;&lt; <span class="cSpecial">'\n'</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L207" class="LineNr">207 </span>  <span class="Delimiter">}</span>
<span id="L208" class="LineNr">208 </span><span class="Delimiter">}</span>
<span id="L209" class="LineNr">209 </span>
<span id="L210" class="LineNr">210 </span><span class="Comment">// helper for tests</span>
<span id="L211" class="LineNr">211 </span><span class="Normal">void</span> parse<span class="Delimiter">(</span><span class="Normal">const</span> string&amp; text_bytes<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L212" class="LineNr">212 </span>  <a href='011run.cc.html#L102'>program</a> p<span class="Delimiter">;</span>
<span id="L213" class="LineNr">213 </span>  istringstream in<span class="Delimiter">(</span>text_bytes<span class="Delimiter">);</span>
<span id="L214" class="LineNr">214 </span>  parse<span class="Delimiter">(</span>in<span class="Delimiter">,</span> p<span class="Delimiter">);</span>
<span id="L215" class="LineNr">215 </span><span class="Delimiter">}</span>
<span id="L216" class="LineNr">216 </span>
<span id="L217" class="LineNr">217 </span><span class="Normal">void</span> <a href='011run.cc.html#L217'>test_detect_duplicate_segments</a><span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L218" class="LineNr">218 </span>  <span class="Special">Hide_errors</span> = <span class="Constant">true</span><span class="Delimiter">;</span>
<span id="L219" class="LineNr">219 </span>  parse<span class="Delimiter">(</span>
<span id="L220" class="LineNr">220 </span>      <span class="Constant">&quot;== 0xee\n&quot;</span>
<span id="L221" class="LineNr">221 </span>      <span class="Constant">&quot;ab\n&quot;</span>
<span id="L222" class="LineNr">222 </span>      <span class="Constant">&quot;== 0xee\n&quot;</span>
<span id="L223" class="LineNr">223 </span>      <span class="Constant">&quot;cd\n&quot;</span>
<span id="L224" class="LineNr">224 </span>  <span class="Delimiter">);</span>
<span id="L225" class="LineNr">225 </span>  <a href='003trace.cc.html#L266'>CHECK_TRACE_CONTENTS</a><span class="Delimiter">(</span>
<span id="L226" class="LineNr">226 </span>      <span class="Constant">&quot;error: can't have multiple segments starting at address 0x000000ee\n&quot;</span>
<span id="L227" class="LineNr">227 </span>  <span class="Delimiter">);</span>
<span id="L228" class="LineNr">228 </span><span class="Delimiter">}</span>
<span id="L229" class="LineNr">229 </span>
<span id="L230" class="LineNr">230 </span><span class="SalientComment">//:: transform</span>
<span id="L231" class="LineNr">231 </span>
<span id="L232" class="LineNr">232 </span><span class="Delimiter">:(before &quot;End Types&quot;)</span>
<span id="L233" class="LineNr">233 </span><span class="Normal">typedef</span> <span class="Normal">void</span> <span class="Delimiter">(</span>*transform_fn<span class="Delimiter">)(</span>program&amp;<span class="Delimiter">);</span>
<span id="L234" class="LineNr">234 </span><span class="Delimiter">:(before &quot;End Globals&quot;)</span>
<span id="L235" class="LineNr">235 </span>vector&lt;transform_fn&gt; <span class="Special"><a href='011run.cc.html#L235'>Transform</a></span><span class="Delimiter">;</span>
<span id="L236" class="LineNr">236 </span>
<span id="L237" class="LineNr">237 </span><span class="Delimiter">:(code)</span>
<span id="L238" class="LineNr">238 </span><span class="Normal">void</span> transform<span class="Delimiter">(</span>program&amp; p<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L239" class="LineNr">239 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> t = <span class="Constant">0</span><span class="Delimiter">;</span>  t &lt; <a href='001help.cc.html#L166'>SIZE</a><span class="Delimiter">(</span><span class="Special"><a href='011run.cc.html#L235'>Transform</a></span><span class="Delimiter">);</span>  ++t<span class="Delimiter">)</span>
<span id="L240" class="LineNr">240 </span>    <span class="Delimiter">(</span>*<span class="Special"><a href='011run.cc.html#L235'>Transform</a></span><span class="Delimiter">.</span>at<span class="Delimiter">(</span>t<span class="Delimiter">))(</span>p<span class="Delimiter">);</span>
<span id="L241" class="LineNr">241 </span><span class="Delimiter">}</span>
<span id="L242" class="LineNr">242 </span>
<span id="L243" class="LineNr">243 </span><span class="SalientComment">//:: load</span>
<span id="L244" class="LineNr">244 </span>
<span id="L245" class="LineNr">245 </span><span class="Normal">void</span> <a href='011run.cc.html#L245'>load</a><span class="Delimiter">(</span><span class="Normal">const</span> program&amp; p<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L246" class="LineNr">246 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>p<span class="Delimiter">.</span><a href='011run.cc.html#L103'>segments</a><span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L247" class="LineNr">247 </span>    <a href='003trace.cc.html#L202'>raise</a> &lt;&lt; <span class="Constant">&quot;no code to run\n&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L248" class="LineNr">248 </span>    <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L249" class="LineNr">249 </span>  <span class="Delimiter">}</span>
<span id="L250" class="LineNr">250 </span>  <span class="Comment">// Ensure segments are disjoint.</span>
<span id="L251" class="LineNr">251 </span>  set&lt;<span class="Normal">uint32_t</span>&gt; overlap<span class="Delimiter">;</span>
<span id="L252" class="LineNr">252 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span>   i &lt; <a href='001help.cc.html#L166'>SIZE</a><span class="Delimiter">(</span>p<span class="Delimiter">.</span><a href='011run.cc.html#L103'>segments</a><span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L253" class="LineNr">253 </span>    <span class="Normal">const</span> segment&amp; seg = p<span class="Delimiter">.</span><a href='011run.cc.html#L103'>segments</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">);</span>
<span id="L254" class="LineNr">254 </span>    <span class="Normal">uint32_t</span> addr = seg<span class="Delimiter">.</span>start<span class="Delimiter">;</span>
<span id="L255" class="LineNr">255 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>!already_allocated<span class="Delimiter">(</span>addr<span class="Delimiter">))</span>
<span id="L256" class="LineNr">256 </span>      <span class="Special"><a href='010---vm.cc.html#L180'>Mem</a></span><span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>vma<span class="Delimiter">(</span>seg<span class="Delimiter">.</span>start<span class="Delimiter">));</span>
<span id="L257" class="LineNr">257 </span>    <a href='003trace.cc.html#L96'>trace</a><span class="Delimiter">(</span><span class="Constant">99</span><span class="Delimiter">,</span> <span class="Constant">&quot;load&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;loading segment &quot;</span> &lt;&lt; i &lt;&lt; <span class="Constant">&quot; from &quot;</span> &lt;&lt; <a href='010---vm.cc.html#L440'>HEXWORD</a> &lt;&lt; addr &lt;&lt; end<span class="Delimiter">();</span>
<span id="L258" class="LineNr">258 </span>    <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> j = <span class="Constant">0</span><span class="Delimiter">;</span>  j &lt; <a href='001help.cc.html#L166'>SIZE</a><span class="Delimiter">(</span>seg<span class="Delimiter">.</span><a href='011run.cc.html#L112'>lines</a><span class="Delimiter">);</span>  ++j<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L259" class="LineNr">259 </span>      <span class="Normal">const</span> line&amp; l = seg<span class="Delimiter">.</span><a href='011run.cc.html#L112'>lines</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span>j<span class="Delimiter">);</span>
<span id="L260" class="LineNr">260 </span>      <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> k = <span class="Constant">0</span><span class="Delimiter">;</span>  k &lt; <a href='001help.cc.html#L166'>SIZE</a><span class="Delimiter">(</span>l<span class="Delimiter">.</span><a href='011run.cc.html#L121'>words</a><span class="Delimiter">);</span>  ++k<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L261" class="LineNr">261 </span>        <span class="Normal">const</span> word&amp; w = l<span class="Delimiter">.</span><a href='011run.cc.html#L121'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span>k<span class="Delimiter">);</span>
<span id="L262" class="LineNr">262 </span>        <span class="Normal">uint8_t</span> val = <a href='011run.cc.html#L277'>hex_byte</a><span class="Delimiter">(</span>w<span class="Delimiter">.</span>data<span class="Delimiter">);</span>
<span id="L263" class="LineNr">263 </span>        <span class="Normal">if</span> <span class="Delimiter">(</span><a href='003trace.cc.html#L238'>trace_contains_errors</a><span class="Delimiter">())</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L264" class="LineNr">264 </span>        assert<span class="Delimiter">(</span>overlap<span class="Delimiter">.</span>find<span class="Delimiter">(</span>addr<span class="Delimiter">)</span> == overlap<span class="Delimiter">.</span>end<span class="Delimiter">());</span>
<span id="L265" class="LineNr">265 </span>        <a href='010---vm.cc.html#L263'>write_mem_u8</a><span class="Delimiter">(</span>addr<span class="Delimiter">,</span> val<span class="Delimiter">);</span>
<span id="L266" class="LineNr">266 </span>        overlap<span class="Delimiter">.</span>insert<span class="Delimiter">(</span>addr<span class="Delimiter">);</span>
<span id="L267" class="LineNr">267 </span>        <a href='003trace.cc.html#L96'>trace</a><span class="Delimiter">(</span><span class="Constant">99</span><span class="Delimiter">,</span> <span class="Constant">&quot;load&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;0x&quot;</span> &lt;&lt; <a href='010---vm.cc.html#L440'>HEXWORD</a> &lt;&lt; addr &lt;&lt; <span class="Constant">&quot; -&gt; &quot;</span> &lt;&lt; <a href='010---vm.cc.html#L439'>HEXBYTE</a> &lt;&lt; <a href='010---vm.cc.html#L442'>NUM</a><span class="Delimiter">(</span><a href='010---vm.cc.html#L202'>read_mem_u8</a><span class="Delimiter">(</span>addr<span class="Delimiter">))</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L268" class="LineNr">268 </span>        ++addr<span class="Delimiter">;</span>
<span id="L269" class="LineNr">269 </span>      <span class="Delimiter">}</span>
<span id="L270" class="LineNr">270 </span>    <span class="Delimiter">}</span>
<span id="L271" class="LineNr">271 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>i == <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Special"><a href='010---vm.cc.html#L194'>End_of_program</a></span> = addr<span class="Delimiter">;</span>
<span id="L272" class="LineNr">272 </span>  <span class="Delimiter">}</span>
<span id="L273" class="LineNr">273 </span>  EIP = p<span class="Delimiter">.</span><a href='011run.cc.html#L103'>segments</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>start<span class="Delimiter">;</span>
<span id="L274" class="LineNr">274 </span>  <span class="Comment">// End Initialize EIP</span>
<span id="L275" class="LineNr">275 </span><span class="Delimiter">}</span>
<span id="L276" class="LineNr">276 </span>
<span id="L277" class="LineNr">277 </span><span class="Normal">uint8_t</span> <a href='011run.cc.html#L277'>hex_byte</a><span class="Delimiter">(</span><span class="Normal">const</span> string&amp; s<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L278" class="LineNr">278 </span>  istringstream in<span class="Delimiter">(</span>s<span class="Delimiter">);</span>
<span id="L279" class="LineNr">279 </span>  <span class="Normal">int</span> result = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L280" class="LineNr">280 </span>  in &gt;&gt; std::hex &gt;&gt; result<span class="Delimiter">;</span>
<span id="L281" class="LineNr">281 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!in || !in<span class="Delimiter">.</span>eof<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L282" class="LineNr">282 </span>    <a href='003trace.cc.html#L202'>raise</a> &lt;&lt; <span class="Constant">&quot;token '&quot;</span> &lt;&lt; s &lt;&lt; <span class="Constant">&quot;' is not a hex byte\n&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L283" class="LineNr">283 </span>    <span class="Identifier">return</span> <span class="cSpecial">'\0'</span><span class="Delimiter">;</span>
<span id="L284" class="LineNr">284 </span>  <span class="Delimiter">}</span>
<span id="L285" class="LineNr">285 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>result &gt; <span class="Constant">0xff</span> || result &lt; -<span class="Constant">0x8f</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L286" class="LineNr">286 </span>    <a href='003trace.cc.html#L202'>raise</a> &lt;&lt; <span class="Constant">&quot;token '&quot;</span> &lt;&lt; s &lt;&lt; <span class="Constant">&quot;' is not a hex byte\n&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L287" class="LineNr">287 </span>    <span class="Identifier">return</span> <span class="cSpecial">'\0'</span><span class="Delimiter">;</span>
<span id="L288" class="LineNr">288 </span>  <span class="Delimiter">}</span>
<span id="L289" class="LineNr">289 </span>  <span class="Identifier">return</span> <span class="Normal">static_cast</span>&lt;<span class="Normal">uint8_t</span>&gt;<span class="Delimiter">(</span>result<span class="Delimiter">);</span>
<span id="L290" class="LineNr">290 </span><span class="Delimiter">}</span>
<span id="L291" class="LineNr">291 </span>
<span id="L292" class="LineNr">292 </span><span class="Normal">void</span> <a href='011run.cc.html#L292'>test_number_too_large</a><span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L293" class="LineNr">293 </span>  <span class="Special">Hide_errors</span> = <span class="Constant">true</span><span class="Delimiter">;</span>
<span id="L294" class="LineNr">294 </span>  <a href='011run.cc.html#L342'>parse_and_load</a><span class="Delimiter">(</span>
<span id="L295" class="LineNr">295 </span>      <span class="Constant">&quot;== 0x1\n&quot;</span>
<span id="L296" class="LineNr">296 </span>      <span class="Constant">&quot;05 cab\n&quot;</span>
<span id="L297" class="LineNr">297 </span>  <span class="Delimiter">);</span>
<span id="L298" class="LineNr">298 </span>  <a href='003trace.cc.html#L266'>CHECK_TRACE_CONTENTS</a><span class="Delimiter">(</span>
<span id="L299" class="LineNr">299 </span>      <span class="Constant">&quot;error: token 'cab' is not a hex byte\n&quot;</span>
<span id="L300" class="LineNr">300 </span>  <span class="Delimiter">);</span>
<span id="L301" class="LineNr">301 </span><span class="Delimiter">}</span>
<span id="L302" class="LineNr">302 </span>
<span id="L303" class="LineNr">303 </span><span class="Normal">void</span> <a href='011run.cc.html#L303'>test_invalid_hex</a><span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L304" class="LineNr">304 </span>  <span class="Special">Hide_errors</span> = <span class="Constant">true</span><span class="Delimiter">;</span>
<span id="L305" class="LineNr">305 </span>  <a href='011run.cc.html#L342'>parse_and_load</a><span class="Delimiter">(</span>
<span id="L306" class="LineNr">306 </span>      <span class="Constant">&quot;== 0x1\n&quot;</span>
<span id="L307" class="LineNr">307 </span>      <span class="Constant">&quot;05 cx\n&quot;</span>
<span id="L308" class="LineNr">308 </span>  <span class="Delimiter">);</span>
<span id="L309" class="LineNr">309 </span>  <a href='003trace.cc.html#L266'>CHECK_TRACE_CONTENTS</a><span class="Delimiter">(</span>
<span id="L310" class="LineNr">310 </span>      <span class="Constant">&quot;error: token 'cx' is not a hex byte\n&quot;</span>
<span id="L311" class="LineNr">311 </span>  <span class="Delimiter">);</span>
<span id="L312" class="LineNr">312 </span><span class="Delimiter">}</span>
<span id="L313" class="LineNr">313 </span>
<span id="L314" class="LineNr">314 </span><span class="Normal">void</span> <a href='011run.cc.html#L314'>test_negative_number</a><span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L315" class="LineNr">315 </span>  <a href='011run.cc.html#L342'>parse_and_load</a><span class="Delimiter">(</span>
<span id="L316" class="LineNr">316 </span>      <span class="Constant">&quot;== 0x1\n&quot;</span>
<span id="L317" class="LineNr">317 </span>      <span class="Constant">&quot;05 -12\n&quot;</span>
<span id="L318" class="LineNr">318 </span>  <span class="Delimiter">);</span>
<span id="L319" class="LineNr">319 </span>  <a href='003trace.cc.html#L270'>CHECK_TRACE_COUNT</a><span class="Delimiter">(</span><span class="Constant">&quot;error&quot;</span><span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L320" class="LineNr">320 </span><span class="Delimiter">}</span>
<span id="L321" class="LineNr">321 </span>
<span id="L322" class="LineNr">322 </span><span class="Normal">void</span> <a href='011run.cc.html#L322'>test_negative_number_too_small</a><span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L323" class="LineNr">323 </span>  <span class="Special">Hide_errors</span> = <span class="Constant">true</span><span class="Delimiter">;</span>
<span id="L324" class="LineNr">324 </span>  <a href='011run.cc.html#L342'>parse_and_load</a><span class="Delimiter">(</span>
<span id="L325" class="LineNr">325 </span>      <span class="Constant">&quot;== 0x1\n&quot;</span>
<span id="L326" class="LineNr">326 </span>      <span class="Constant">&quot;05 -12345\n&quot;</span>
<span id="L327" class="LineNr">327 </span>  <span class="Delimiter">);</span>
<span id="L328" class="LineNr">328 </span>  <a href='003trace.cc.html#L266'>CHECK_TRACE_CONTENTS</a><span class="Delimiter">(</span>
<span id="L329" class="LineNr">329 </span>      <span class="Constant">&quot;error: token '-12345' is not a hex byte\n&quot;</span>
<span id="L330" class="LineNr">330 </span>  <span class="Delimiter">);</span>
<span id="L331" class="LineNr">331 </span><span class="Delimiter">}</span>
<span id="L332" class="LineNr">332 </span>
<span id="L333" class="LineNr">333 </span><span class="Normal">void</span> <a href='011run.cc.html#L333'>test_hex_prefix</a><span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L334" class="LineNr">334 </span>  <a href='011run.cc.html#L342'>parse_and_load</a><span class="Delimiter">(</span>
<span id="L335" class="LineNr">335 </span>      <span class="Constant">&quot;== 0x1\n&quot;</span>
<span id="L336" class="LineNr">336 </span>      <span class="Constant">&quot;0x05 -0x12\n&quot;</span>
<span id="L337" class="LineNr">337 </span>  <span class="Delimiter">);</span>
<span id="L338" class="LineNr">338 </span>  <a href='003trace.cc.html#L270'>CHECK_TRACE_COUNT</a><span class="Delimiter">(</span><span class="Constant">&quot;error&quot;</span><span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L339" class="LineNr">339 </span><span class="Delimiter">}</span>
<span id="L340" class="LineNr">340 </span>
<span id="L341" class="LineNr">341 </span><span class="Comment">//: helper for tests</span>
<span id="L342" class="LineNr">342 </span><span class="Normal">void</span> <a href='011run.cc.html#L342'>parse_and_load</a><span class="Delimiter">(</span><span class="Normal">const</span> string&amp; text_bytes<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L343" class="LineNr">343 </span>  <a href='011run.cc.html#L102'>program</a> p<span class="Delimiter">;</span>
<span id="L344" class="LineNr">344 </span>  istringstream in<span class="Delimiter">(</span>text_bytes<span class="Delimiter">);</span>
<span id="L345" class="LineNr">345 </span>  parse<span class="Delimiter">(</span>in<span class="Delimiter">,</span> p<span class="Delimiter">);</span>
<span id="L346" class="LineNr">346 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='003trace.cc.html#L238'>trace_contains_errors</a><span class="Delimiter">())</span> <span class="Identifier">return</span><span class="Delimiter">;</span>  <span class="Comment">// if any stage raises errors, stop immediately</span>
<span id="L347" class="LineNr">347 </span>  <a href='011run.cc.html#L245'>load</a><span class="Delimiter">(</span>p<span class="Delimiter">);</span>
<span id="L348" class="LineNr">348 </span><span class="Delimiter">}</span>
<span id="L349" class="LineNr">349 </span>
<span id="L350" class="LineNr">350 </span><span class="SalientComment">//:: run</span>
<span id="L351" class="LineNr">351 </span>
<span id="L352" class="LineNr">352 </span><span class="Delimiter">:(before &quot;End Initialize Op Names&quot;)</span>
<span id="L353" class="LineNr">353 </span><a href='001help.cc.html#L262'>put_new</a><span class="Delimiter">(</span><span class="Special"><a href='010---vm.cc.html#L387'>Name</a></span><span class="Delimiter">,</span> <span class="Constant">&quot;05&quot;</span><span class="Delimiter">,</span> <span class="Constant">&quot;add <a href='037heap.cc.html#L23'>imm32</a> to <a href='010---vm.cc.html#L13'>EAX</a> (add)&quot;</span><span class="Delimiter">);</span>
<span id="L354" class="LineNr">354 </span>
<span id="L355" class="LineNr">355 </span><span class="Comment">//: our first opcode</span>
<span id="L356" class="LineNr">356 </span><span class="Delimiter">:(before &quot;End Single-Byte Opcodes&quot;)</span>
<span id="L357" class="LineNr">357 </span><span class="Normal">case</span> <span class="Constant">0x05</span>: <span class="Delimiter">{</span>  <span class="Comment">// add imm32 to EAX</span>
<span id="L358" class="LineNr">358 </span>  <span class="Normal">int32_t</span> arg2 = <a href='011run.cc.html#L366'>next32</a><span class="Delimiter">();</span>
<span id="L359" class="LineNr">359 </span>  <a href='003trace.cc.html#L96'>trace</a><span class="Delimiter">(</span><span class="Special">Callstack_depth</span>+<span class="Constant">1</span><span class="Delimiter">,</span> <span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;add <a href='037heap.cc.html#L23'>imm32</a> 0x&quot;</span> &lt;&lt; <a href='010---vm.cc.html#L440'>HEXWORD</a> &lt;&lt; arg2 &lt;&lt; <span class="Constant">&quot; to <a href='010---vm.cc.html#L23'>reg</a> EAX&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L360" class="LineNr">360 </span>  <a href='010---vm.cc.html#L91'>BINARY_ARITHMETIC_OP</a><span class="Delimiter">(</span>+<span class="Delimiter">,</span> <span class="Special"><a href='010---vm.cc.html#L28'>Reg</a></span>[EAX]<span class="Delimiter">.</span>i<span class="Delimiter">,</span> arg2<span class="Delimiter">);</span>
<span id="L361" class="LineNr">361 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L362" class="LineNr">362 </span><span class="Delimiter">}</span>
<span id="L363" class="LineNr">363 </span>
<span id="L364" class="LineNr">364 </span><span class="Delimiter">:(code)</span>
<span id="L365" class="LineNr">365 </span><span class="Comment">// read a 32-bit int in little-endian order from the instruction stream</span>
<span id="L366" class="LineNr">366 </span><span class="Normal">int32_t</span> <a href='011run.cc.html#L366'>next32</a><span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L367" class="LineNr">367 </span>  <span class="Normal">int32_t</span> result = <a href='010---vm.cc.html#L213'>read_mem_i32</a><span class="Delimiter">(</span>EIP<span class="Delimiter">);</span>
<span id="L368" class="LineNr">368 </span>  EIP+=<span class="Constant">4</span><span class="Delimiter">;</span>
<span id="L369" class="LineNr">369 </span>  <span class="Identifier">return</span> result<span class="Delimiter">;</span>
<span id="L370" class="LineNr">370 </span><span class="Delimiter">}</span>
<span id="L371" class="LineNr">371 </span>
<span id="L372" class="LineNr">372 </span><span class="SalientComment">//:: helpers</span>
<span id="L373" class="LineNr">373 </span>
<span id="L374" class="LineNr">374 </span>string to_string<span class="Delimiter">(</span><span class="Normal">const</span> word&amp; w<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L375" class="LineNr">375 </span>  ostringstream out<span class="Delimiter">;</span>
<span id="L376" class="LineNr">376 </span>  out &lt;&lt; w<span class="Delimiter">.</span>data<span class="Delimiter">;</span>
<span id="L377" class="LineNr">377 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span>  i &lt; <a href='001help.cc.html#L166'>SIZE</a><span class="Delimiter">(</span>w<span class="Delimiter">.</span>metadata<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span>
<span id="L378" class="LineNr">378 </span>    out &lt;&lt; <span class="Constant">&quot; /&quot;</span> &lt;&lt; w<span class="Delimiter">.</span>metadata<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">);</span>
<span id="L379" class="LineNr">379 </span>  <span class="Identifier">return</span> out<span class="Delimiter">.</span>str<span class="Delimiter">();</span>
<span id="L380" class="LineNr">380 </span><span class="Delimiter">}</span>
<span id="L381" class="LineNr">381 </span>
<span id="L382" class="LineNr">382 </span><span class="Normal">int32_t</span> <a href='011run.cc.html#L382'>parse_int</a><span class="Delimiter">(</span><span class="Normal">const</span> string&amp; s<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L383" class="LineNr">383 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>s<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Identifier">return</span> <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L384" class="LineNr">384 </span>  istringstream in<span class="Delimiter">(</span>s<span class="Delimiter">);</span>
<span id="L385" class="LineNr">385 </span>  in &gt;&gt; std::hex<span class="Delimiter">;</span>
<span id="L386" class="LineNr">386 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>s<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)</span> == <span class="Constant">'-'</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L387" class="LineNr">387 </span>    <span class="Normal">int32_t</span> result = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L388" class="LineNr">388 </span>    in &gt;&gt; result<span class="Delimiter">;</span>
<span id="L389" class="LineNr">389 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>!in || !in<span class="Delimiter">.</span>eof<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L390" class="LineNr">390 </span>      <a href='003trace.cc.html#L202'>raise</a> &lt;&lt; <span class="Constant">&quot;not a number: &quot;</span> &lt;&lt; s &lt;&lt; <span class="cSpecial">'\n'</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L391" class="LineNr">391 </span>      <span class="Identifier">return</span> <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L392" class="LineNr">392 </span>    <span class="Delimiter">}</span>
<span id="L393" class="LineNr">393 </span>    <span class="Identifier">return</span> result<span class="Delimiter">;</span>
<span id="L394" class="LineNr">394 </span>  <span class="Delimiter">}</span>
<span id="L395" class="LineNr">395 </span>  <span class="Normal">uint32_t</span> uresult = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L396" class="LineNr">396 </span>  in &gt;&gt; uresult<span class="Delimiter">;</span>
<span id="L397" class="LineNr">397 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!in || !in<span class="Delimiter">.</span>eof<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L398" class="LineNr">398 </span>    <a href='003trace.cc.html#L202'>raise</a> &lt;&lt; <span class="Constant">&quot;not a number: &quot;</span> &lt;&lt; s &lt;&lt; <span class="cSpecial">'\n'</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L399" class="LineNr">399 </span>    <span class="Identifier">return</span> <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L400" class="LineNr">400 </span>  <span class="Delimiter">}</span>
<span id="L401" class="LineNr">401 </span>  <span class="Identifier">return</span> <span class="Normal">static_cast</span>&lt;<span class="Normal">int32_t</span>&gt;<span class="Delimiter">(</span>uresult<span class="Delimiter">);</span>
<span id="L402" class="LineNr">402 </span><span class="Delimiter">}</span>
<span id="L403" class="LineNr">403 </span><span class="Delimiter">:(before &quot;End Unit Tests&quot;)</span>
<span id="L404" class="LineNr">404 </span><span class="Normal">void</span> <a href='011run.cc.html#L404'>test_parse_int</a><span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L405" class="LineNr">405 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">,</span> <a href='011run.cc.html#L382'>parse_int</a><span class="Delimiter">(</span><span class="Constant">&quot;0&quot;</span><span class="Delimiter">));</span>
<span id="L406" class="LineNr">406 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">,</span> <a href='011run.cc.html#L382'>parse_int</a><span class="Delimiter">(</span><span class="Constant">&quot;0x0&quot;</span><span class="Delimiter">));</span>
<span id="L407" class="LineNr">407 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">,</span> <a href='011run.cc.html#L382'>parse_int</a><span class="Delimiter">(</span><span class="Constant">&quot;0x0&quot;</span><span class="Delimiter">));</span>
<span id="L408" class="LineNr">408 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><span class="Constant">16</span><span class="Delimiter">,</span> <a href='011run.cc.html#L382'>parse_int</a><span class="Delimiter">(</span><span class="Constant">&quot;10&quot;</span><span class="Delimiter">));</span>  <span class="Comment">// hex always</span>
<span id="L409" class="LineNr">409 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span>-<span class="Constant">1</span><span class="Delimiter">,</span> <a href='011run.cc.html#L382'>parse_int</a><span class="Delimiter">(</span><span class="Constant">&quot;-1&quot;</span><span class="Delimiter">));</span>
<span id="L410" class="LineNr">410 </span>  <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span>-<span class="Constant">1</span><span class="Delimiter">,</span> <a href='011run.cc.html#L382'>parse_int</a><span class="Delimiter">(</span><span class="Constant">&quot;0xffffffff&quot;</span><span class="Delimiter">));</span>
<span id="L411" class="LineNr">411 </span><span class="Delimiter">}</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->