diff options
Diffstat (limited to 'html/subx/031check_operands.cc.html')
| -rw-r--r-- | html/subx/031check_operands.cc.html | 78 |
1 files changed, 39 insertions, 39 deletions
diff --git a/html/subx/031check_operands.cc.html b/html/subx/031check_operands.cc.html index d53cc447..34ce47b6 100644 --- a/html/subx/031check_operands.cc.html +++ b/html/subx/031check_operands.cc.html @@ -80,7 +80,7 @@ if ('onhashchange' in window) { <span id="L16" class="LineNr"> 16 </span> <span id="L17" class="LineNr"> 17 </span><span class="Delimiter">:(code)</span> <span id="L18" class="LineNr"> 18 </span><span class="Normal">void</span> check_operands<span class="Delimiter">(</span><span class="Normal">const</span> segment& <a href='031check_operands.cc.html#L14'>code</a><span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L19" class="LineNr"> 19 </span> <a href='003trace.cc.html#L204'>trace</a><span class="Delimiter">(</span><span class="Constant">99</span><span class="Delimiter">,</span> <span class="Constant">"transform"</span><span class="Delimiter">)</span> << <span class="Constant">"-- check operands"</span> << <a href='003trace.cc.html#L230'>end</a><span class="Delimiter">();</span> +<span id="L19" class="LineNr"> 19 </span> <a href='003trace.cc.html#L204'>trace</a><span class="Delimiter">(</span><span class="Constant">99</span><span class="Delimiter">,</span> <span class="Constant">"transform"</span><span class="Delimiter">)</span> << <span class="Constant">"-- check operands"</span> << end<span class="Delimiter">();</span> <span id="L20" class="LineNr"> 20 </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 < <a href='001help.cc.html#L157'>SIZE</a><span class="Delimiter">(</span><a href='031check_operands.cc.html#L14'>code</a><span class="Delimiter">.</span><a href='011run.cc.html#L109'>lines</a><span class="Delimiter">);</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L21" class="LineNr"> 21 </span> check_operands<span class="Delimiter">(</span><a href='031check_operands.cc.html#L14'>code</a><span class="Delimiter">.</span><a href='011run.cc.html#L109'>lines</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">));</span> <span id="L22" class="LineNr"> 22 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='003trace.cc.html#L225'>trace_contains_errors</a><span class="Delimiter">())</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// stop at the first mal-formed instruction</span> @@ -89,11 +89,11 @@ if ('onhashchange' in window) { <span id="L25" class="LineNr"> 25 </span> <span id="L26" class="LineNr"> 26 </span><span class="Normal">void</span> check_operands<span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L27" class="LineNr"> 27 </span> <a href='011run.cc.html#L123'>word</a> op = <a href='031check_operands.cc.html#L39'>preprocess_op</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span> -<span id="L28" class="LineNr"> 28 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a> == <span class="Constant">"0f"</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> +<span id="L28" class="LineNr"> 28 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>op<span class="Delimiter">.</span>data == <span class="Constant">"0f"</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L29" class="LineNr"> 29 </span> <a href='031check_operands.cc.html#L504'>check_operands_0f</a><span class="Delimiter">(</span>inst<span class="Delimiter">);</span> <span id="L30" class="LineNr"> 30 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L31" class="LineNr"> 31 </span> <span class="Delimiter">}</span> -<span id="L32" class="LineNr"> 32 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a> == <span class="Constant">"f3"</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> +<span id="L32" class="LineNr"> 32 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>op<span class="Delimiter">.</span>data == <span class="Constant">"f3"</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L33" class="LineNr"> 33 </span> <a href='031check_operands.cc.html#L472'>check_operands_f3</a><span class="Delimiter">(</span>inst<span class="Delimiter">);</span> <span id="L34" class="LineNr"> 34 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L35" class="LineNr"> 35 </span> <span class="Delimiter">}</span> @@ -101,19 +101,19 @@ if ('onhashchange' in window) { <span id="L37" class="LineNr"> 37 </span><span class="Delimiter">}</span> <span id="L38" class="LineNr"> 38 </span> <span id="L39" class="LineNr"> 39 </span><a href='011run.cc.html#L123'>word</a> <a href='031check_operands.cc.html#L39'>preprocess_op</a><span class="Delimiter">(</span><a href='011run.cc.html#L123'>word</a><span class="Comment">/*</span><span class="Comment">copy</span><span class="Comment">*/</span> op<span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L40" class="LineNr"> 40 </span> op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a> = <a href='031check_operands.cc.html#L529'>tolower</a><span class="Delimiter">(</span>op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">.</span>c_str<span class="Delimiter">());</span> +<span id="L40" class="LineNr"> 40 </span> op<span class="Delimiter">.</span>data = <a href='031check_operands.cc.html#L529'>tolower</a><span class="Delimiter">(</span>op<span class="Delimiter">.</span>data<span class="Delimiter">.</span>c_str<span class="Delimiter">());</span> <span id="L41" class="LineNr"> 41 </span> <span class="Comment">// opcodes can't be negative</span> -<span id="L42" class="LineNr"> 42 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L93'>starts_with</a><span class="Delimiter">(</span>op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">,</span> <span class="Constant">"0x"</span><span class="Delimiter">))</span> -<span id="L43" class="LineNr"> 43 </span> op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a> = op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">.</span>substr<span class="Delimiter">(</span><span class="Constant">2</span><span class="Delimiter">);</span> -<span id="L44" class="LineNr"> 44 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L157'>SIZE</a><span class="Delimiter">(</span>op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">)</span> == <span class="Constant">1</span><span class="Delimiter">)</span> -<span id="L45" class="LineNr"> 45 </span> op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a> = string<span class="Delimiter">(</span><span class="Constant">"0"</span><span class="Delimiter">)</span>+op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">;</span> +<span id="L42" class="LineNr"> 42 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L93'>starts_with</a><span class="Delimiter">(</span>op<span class="Delimiter">.</span>data<span class="Delimiter">,</span> <span class="Constant">"0x"</span><span class="Delimiter">))</span> +<span id="L43" class="LineNr"> 43 </span> op<span class="Delimiter">.</span>data = op<span class="Delimiter">.</span>data<span class="Delimiter">.</span>substr<span class="Delimiter">(</span><span class="Constant">2</span><span class="Delimiter">);</span> +<span id="L44" class="LineNr"> 44 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L157'>SIZE</a><span class="Delimiter">(</span>op<span class="Delimiter">.</span>data<span class="Delimiter">)</span> == <span class="Constant">1</span><span class="Delimiter">)</span> +<span id="L45" class="LineNr"> 45 </span> op<span class="Delimiter">.</span>data = string<span class="Delimiter">(</span><span class="Constant">"0"</span><span class="Delimiter">)</span>+op<span class="Delimiter">.</span>data<span class="Delimiter">;</span> <span id="L46" class="LineNr"> 46 </span> <span class="Identifier">return</span> op<span class="Delimiter">;</span> <span id="L47" class="LineNr"> 47 </span><span class="Delimiter">}</span> <span id="L48" class="LineNr"> 48 </span> <span id="L49" class="LineNr"> 49 </span><span class="Normal">void</span> <a href='031check_operands.cc.html#L49'>test_preprocess_op</a><span class="Delimiter">()</span> <span class="Delimiter">{</span> -<span id="L50" class="LineNr"> 50 </span> <a href='011run.cc.html#L123'>word</a> w1<span class="Delimiter">;</span> w1<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a> = <span class="Constant">"0xf"</span><span class="Delimiter">;</span> -<span id="L51" class="LineNr"> 51 </span> <a href='011run.cc.html#L123'>word</a> w2<span class="Delimiter">;</span> w2<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a> = <span class="Constant">"0f"</span><span class="Delimiter">;</span> -<span id="L52" class="LineNr"> 52 </span> <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='031check_operands.cc.html#L39'>preprocess_op</a><span class="Delimiter">(</span>w1<span class="Delimiter">).</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">,</span> <a href='031check_operands.cc.html#L39'>preprocess_op</a><span class="Delimiter">(</span>w2<span class="Delimiter">).</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">);</span> +<span id="L50" class="LineNr"> 50 </span> <a href='011run.cc.html#L123'>word</a> w1<span class="Delimiter">;</span> w1<span class="Delimiter">.</span>data = <span class="Constant">"0xf"</span><span class="Delimiter">;</span> +<span id="L51" class="LineNr"> 51 </span> <a href='011run.cc.html#L123'>word</a> w2<span class="Delimiter">;</span> w2<span class="Delimiter">.</span>data = <span class="Constant">"0f"</span><span class="Delimiter">;</span> +<span id="L52" class="LineNr"> 52 </span> <a href='002test.cc.html#L31'>CHECK_EQ</a><span class="Delimiter">(</span><a href='031check_operands.cc.html#L39'>preprocess_op</a><span class="Delimiter">(</span>w1<span class="Delimiter">).</span>data<span class="Delimiter">,</span> <a href='031check_operands.cc.html#L39'>preprocess_op</a><span class="Delimiter">(</span>w2<span class="Delimiter">).</span>data<span class="Delimiter">);</span> <span id="L53" class="LineNr"> 53 </span><span class="Delimiter">}</span> <span id="L54" class="LineNr"> 54 </span> <span id="L55" class="LineNr"> 55 </span><span class="Comment">//: To check the operands for an opcode, we'll track the permitted operands</span> @@ -309,7 +309,7 @@ if ('onhashchange' in window) { <span id="L245" class="LineNr">245 </span> <span id="L246" class="LineNr">246 </span><span class="Normal">void</span> check_operands<span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">,</span> <span class="Normal">const</span> word& op<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L247" class="LineNr">247 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!is_hex_byte<span class="Delimiter">(</span>op<span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span> -<span id="L248" class="LineNr">248 </span> <span class="Normal">uint8_t</span> expected_bitvector = get<span class="Delimiter">(</span><a href='031check_operands.cc.html#L92'>Permitted_operands</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">);</span> +<span id="L248" class="LineNr">248 </span> <span class="Normal">uint8_t</span> expected_bitvector = get<span class="Delimiter">(</span><a href='031check_operands.cc.html#L92'>Permitted_operands</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span>data<span class="Delimiter">);</span> <span id="L249" class="LineNr">249 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>HAS<span class="Delimiter">(</span>expected_bitvector<span class="Delimiter">,</span> <a href='031check_operands.cc.html#L62'>MODRM</a><span class="Delimiter">))</span> <span class="Delimiter">{</span> <span id="L250" class="LineNr">250 </span> <a href='031check_operands.cc.html#L342'>check_operands_modrm</a><span class="Delimiter">(</span>inst<span class="Delimiter">,</span> op<span class="Delimiter">);</span> <span id="L251" class="LineNr">251 </span> <a href='031check_operands.cc.html#L369'>compare_bitvector_modrm</a><span class="Delimiter">(</span>inst<span class="Delimiter">,</span> expected_bitvector<span class="Delimiter">,</span> op<span class="Delimiter">);</span> @@ -322,7 +322,7 @@ if ('onhashchange' in window) { <span id="L258" class="LineNr">258 </span><span class="Comment">//: Many instructions can be checked just by comparing bitvectors.</span> <span id="L259" class="LineNr">259 </span> <span id="L260" class="LineNr">260 </span><span class="Normal">void</span> <a href='031check_operands.cc.html#L260'>compare_bitvector</a><span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">,</span> <span class="Normal">uint8_t</span> expected<span class="Delimiter">,</span> <span class="Normal">const</span> word& op<span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L261" class="LineNr">261 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>all_hex_bytes<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> && <a href='031check_operands.cc.html#L293'>has_operands</a><span class="Delimiter">(</span>inst<span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// deliberately programming in raw hex; we'll raise a warning elsewhere</span> +<span id="L261" class="LineNr">261 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='030---operands.cc.html#L377'>all_hex_bytes</a><span class="Delimiter">(</span>inst<span class="Delimiter">)</span> && <a href='031check_operands.cc.html#L293'>has_operands</a><span class="Delimiter">(</span>inst<span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// deliberately programming in raw hex; we'll raise a warning elsewhere</span> <span id="L262" class="LineNr">262 </span> <span class="Normal">uint8_t</span> bitvector = <a href='031check_operands.cc.html#L284'>compute_operand_bitvector</a><span class="Delimiter">(</span>inst<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#L225'>trace_contains_errors</a><span class="Delimiter">())</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// duplicate operand type</span> <span id="L264" class="LineNr">264 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>bitvector == expected<span class="Delimiter">)</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// all good with this instruction</span> @@ -331,9 +331,9 @@ if ('onhashchange' in window) { <span id="L267" class="LineNr">267 </span> <span class="Normal">if</span> <span class="Delimiter">((</span>bitvector & <span class="Constant">0x1</span><span class="Delimiter">)</span> == <span class="Delimiter">(</span>expected & <span class="Constant">0x1</span><span class="Delimiter">))</span> <span class="Identifier">continue</span><span class="Delimiter">;</span> <span class="Comment">// all good with this operand</span> <span id="L268" class="LineNr">268 </span> <span class="Normal">const</span> string& optype = <a href='031check_operands.cc.html#L72'>Operand_type_name</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">);</span> <span id="L269" class="LineNr">269 </span> <span class="Normal">if</span> <span class="Delimiter">((</span>bitvector & <span class="Constant">0x1</span><span class="Delimiter">)</span> > <span class="Delimiter">(</span>expected & <span class="Constant">0x1</span><span class="Delimiter">))</span> -<span id="L270" class="LineNr">270 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"'"</span> << <a href='031check_operands.cc.html#L278'>maybe_name</a><span class="Delimiter">(</span>op<span class="Delimiter">)</span> << <span class="Constant">": unexpected "</span> << optype << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << <a href='003trace.cc.html#L230'>end</a><span class="Delimiter">();</span> +<span id="L270" class="LineNr">270 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"'"</span> << <a href='031check_operands.cc.html#L278'>maybe_name</a><span class="Delimiter">(</span>op<span class="Delimiter">)</span> << <span class="Constant">": unexpected "</span> << optype << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << end<span class="Delimiter">();</span> <span id="L271" class="LineNr">271 </span> <span class="Normal">else</span> -<span id="L272" class="LineNr">272 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"'"</span> << <a href='031check_operands.cc.html#L278'>maybe_name</a><span class="Delimiter">(</span>op<span class="Delimiter">)</span> << <span class="Constant">": missing "</span> << optype << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << <a href='003trace.cc.html#L230'>end</a><span class="Delimiter">();</span> +<span id="L272" class="LineNr">272 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"'"</span> << <a href='031check_operands.cc.html#L278'>maybe_name</a><span class="Delimiter">(</span>op<span class="Delimiter">)</span> << <span class="Constant">": missing "</span> << optype << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << end<span class="Delimiter">();</span> <span id="L273" class="LineNr">273 </span> <span class="Comment">// continue giving all errors for a single instruction</span> <span id="L274" class="LineNr">274 </span> <span class="Delimiter">}</span> <span id="L275" class="LineNr">275 </span> <span class="Comment">// ignore settings in any unused bits</span> @@ -341,8 +341,8 @@ if ('onhashchange' in window) { <span id="L277" class="LineNr">277 </span> <span id="L278" class="LineNr">278 </span>string <a href='031check_operands.cc.html#L278'>maybe_name</a><span class="Delimiter">(</span><span class="Normal">const</span> word& op<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L279" class="LineNr">279 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!is_hex_byte<span class="Delimiter">(</span>op<span class="Delimiter">))</span> <span class="Identifier">return</span> <span class="Constant">""</span><span class="Delimiter">;</span> -<span id="L280" class="LineNr">280 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!contains_key<span class="Delimiter">(</span><a href='010---vm.cc.html#L228'>name</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">))</span> <span class="Identifier">return</span> <span class="Constant">""</span><span class="Delimiter">;</span> -<span id="L281" class="LineNr">281 </span> <span class="Identifier">return</span> <span class="Constant">" ("</span>+get<span class="Delimiter">(</span><a href='010---vm.cc.html#L228'>name</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">)</span>+<span class="Constant">')'</span><span class="Delimiter">;</span> +<span id="L280" class="LineNr">280 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!contains_key<span class="Delimiter">(</span><a href='010---vm.cc.html#L336'>name</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span>data<span class="Delimiter">))</span> <span class="Identifier">return</span> <span class="Constant">""</span><span class="Delimiter">;</span> +<span id="L281" class="LineNr">281 </span> <span class="Identifier">return</span> <span class="Constant">" ("</span>+get<span class="Delimiter">(</span><a href='010---vm.cc.html#L336'>name</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span>data<span class="Delimiter">)</span>+<span class="Constant">')'</span><span class="Delimiter">;</span> <span id="L282" class="LineNr">282 </span><span class="Delimiter">}</span> <span id="L283" class="LineNr">283 </span> <span id="L284" class="LineNr">284 </span><span class="Normal">uint32_t</span> <a href='031check_operands.cc.html#L284'>compute_operand_bitvector</a><span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">)</span> <span class="Delimiter">{</span> @@ -359,9 +359,9 @@ if ('onhashchange' in window) { <span id="L295" class="LineNr">295 </span><span class="Delimiter">}</span> <span id="L296" class="LineNr">296 </span> <span id="L297" class="LineNr">297 </span><span class="Normal">int</span> <a href='031check_operands.cc.html#L297'>first_operand</a><span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L298" class="LineNr">298 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span><a href='011run.cc.html#L125'>data</a> == <span class="Constant">"0f"</span><span class="Delimiter">)</span> <span class="Identifier">return</span> <span class="Constant">2</span><span class="Delimiter">;</span> -<span id="L299" class="LineNr">299 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span><a href='011run.cc.html#L125'>data</a> == <span class="Constant">"f2"</span> || inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span><a href='011run.cc.html#L125'>data</a> == <span class="Constant">"f3"</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L300" class="LineNr">300 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span><a href='011run.cc.html#L125'>data</a> == <span class="Constant">"0f"</span><span class="Delimiter">)</span> +<span id="L298" class="LineNr">298 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>data == <span class="Constant">"0f"</span><span class="Delimiter">)</span> <span class="Identifier">return</span> <span class="Constant">2</span><span class="Delimiter">;</span> +<span id="L299" class="LineNr">299 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>data == <span class="Constant">"f2"</span> || inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>data == <span class="Constant">"f3"</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> +<span id="L300" class="LineNr">300 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>data == <span class="Constant">"0f"</span><span class="Delimiter">)</span> <span id="L301" class="LineNr">301 </span> <span class="Identifier">return</span> <span class="Constant">3</span><span class="Delimiter">;</span> <span id="L302" class="LineNr">302 </span> <span class="Normal">else</span> <span id="L303" class="LineNr">303 </span> <span class="Identifier">return</span> <span class="Constant">2</span><span class="Delimiter">;</span> @@ -378,7 +378,7 @@ if ('onhashchange' in window) { <span id="L314" class="LineNr">314 </span> <span class="Normal">const</span> string& curr = w<span class="Delimiter">.</span>metadata<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">);</span> <span id="L315" class="LineNr">315 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!contains_key<span class="Delimiter">(</span><a href='031check_operands.cc.html#L73'>Operand_type</a><span class="Delimiter">,</span> curr<span class="Delimiter">))</span> <span class="Identifier">continue</span><span class="Delimiter">;</span> <span class="Comment">// ignore unrecognized metadata</span> <span id="L316" class="LineNr">316 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>found<span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L317" class="LineNr">317 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << w<span class="Delimiter">.</span>original << <span class="Constant">"' has conflicting operand types; it should have only one</span><span class="cSpecial">\n</span><span class="Constant">"</span> << <a href='003trace.cc.html#L230'>end</a><span class="Delimiter">();</span> +<span id="L317" class="LineNr">317 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << w<span class="Delimiter">.</span>original << <span class="Constant">"' has conflicting operand types; it should have only one</span><span class="cSpecial">\n</span><span class="Constant">"</span> << end<span class="Delimiter">();</span> <span id="L318" class="LineNr">318 </span> <span class="Identifier">return</span> <a href='031check_operands.cc.html#L93'>INVALID_OPERANDS</a><span class="Delimiter">;</span> <span id="L319" class="LineNr">319 </span> <span class="Delimiter">}</span> <span id="L320" class="LineNr">320 </span> bv = <span class="Delimiter">(</span><span class="Constant">1</span> << get<span class="Delimiter">(</span><a href='031check_operands.cc.html#L73'>Operand_type</a><span class="Delimiter">,</span> curr<span class="Delimiter">));</span> @@ -404,18 +404,18 @@ if ('onhashchange' in window) { <span id="L340" class="LineNr">340 </span> <span id="L341" class="LineNr">341 </span><span class="Delimiter">:(code)</span> <span id="L342" class="LineNr">342 </span><span class="Normal">void</span> <a href='031check_operands.cc.html#L342'>check_operands_modrm</a><span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">,</span> <span class="Normal">const</span> word& op<span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L343" class="LineNr">343 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>all_hex_bytes<span class="Delimiter">(</span>inst<span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// deliberately programming in raw hex; we'll raise a warning elsewhere</span> +<span id="L343" class="LineNr">343 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='030---operands.cc.html#L377'>all_hex_bytes</a><span class="Delimiter">(</span>inst<span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// deliberately programming in raw hex; we'll raise a warning elsewhere</span> <span id="L344" class="LineNr">344 </span> <a href='031check_operands.cc.html#L389'>check_operand_metadata_present</a><span class="Delimiter">(</span>inst<span class="Delimiter">,</span> <span class="Constant">"mod"</span><span class="Delimiter">,</span> op<span class="Delimiter">);</span> <span id="L345" class="LineNr">345 </span> <a href='031check_operands.cc.html#L389'>check_operand_metadata_present</a><span class="Delimiter">(</span>inst<span class="Delimiter">,</span> <span class="Constant">"rm32"</span><span class="Delimiter">,</span> op<span class="Delimiter">);</span> <span id="L346" class="LineNr">346 </span> <span class="Comment">// no check for r32; some instructions don't use it; just assume it's 0 if missing</span> -<span id="L347" class="LineNr">347 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a> == <span class="Constant">"81"</span> || op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a> == <span class="Constant">"8f"</span> || op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a> == <span class="Constant">"ff"</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span class="Comment">// keep sync'd with 'help subop'</span> +<span id="L347" class="LineNr">347 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>op<span class="Delimiter">.</span>data == <span class="Constant">"81"</span> || op<span class="Delimiter">.</span>data == <span class="Constant">"8f"</span> || op<span class="Delimiter">.</span>data == <span class="Constant">"ff"</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span class="Comment">// keep sync'd with 'help subop'</span> <span id="L348" class="LineNr">348 </span> <a href='031check_operands.cc.html#L389'>check_operand_metadata_present</a><span class="Delimiter">(</span>inst<span class="Delimiter">,</span> <span class="Constant">"subop"</span><span class="Delimiter">,</span> op<span class="Delimiter">);</span> <span id="L349" class="LineNr">349 </span> <a href='031check_operands.cc.html#L394'>check_operand_metadata_absent</a><span class="Delimiter">(</span>inst<span class="Delimiter">,</span> <span class="Constant">"r32"</span><span class="Delimiter">,</span> op<span class="Delimiter">,</span> <span class="Constant">"should be replaced by subop"</span><span class="Delimiter">);</span> <span id="L350" class="LineNr">350 </span> <span class="Delimiter">}</span> <span id="L351" class="LineNr">351 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='003trace.cc.html#L225'>trace_contains_errors</a><span class="Delimiter">())</span> <span class="Identifier">return</span><span class="Delimiter">;</span> -<span id="L352" class="LineNr">352 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>metadata<span class="Delimiter">(</span>inst<span class="Delimiter">,</span> <span class="Constant">"rm32"</span><span class="Delimiter">).</span><a href='011run.cc.html#L125'>data</a> != <span class="Constant">"4"</span><span class="Delimiter">)</span> <span class="Identifier">return</span><span class="Delimiter">;</span> +<span id="L352" class="LineNr">352 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>metadata<span class="Delimiter">(</span>inst<span class="Delimiter">,</span> <span class="Constant">"rm32"</span><span class="Delimiter">).</span>data != <span class="Constant">"4"</span><span class="Delimiter">)</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L353" class="LineNr">353 </span> <span class="Comment">// SIB byte checks</span> -<span id="L354" class="LineNr">354 </span> <span class="Normal">uint8_t</span> mod = <a href='011run.cc.html#L245'>hex_byte</a><span class="Delimiter">(</span>metadata<span class="Delimiter">(</span>inst<span class="Delimiter">,</span> <span class="Constant">"mod"</span><span class="Delimiter">).</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">);</span> +<span id="L354" class="LineNr">354 </span> <span class="Normal">uint8_t</span> mod = <a href='011run.cc.html#L273'>hex_byte</a><span class="Delimiter">(</span>metadata<span class="Delimiter">(</span>inst<span class="Delimiter">,</span> <span class="Constant">"mod"</span><span class="Delimiter">).</span>data<span class="Delimiter">);</span> <span id="L355" class="LineNr">355 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>mod != <span class="Comment">/*</span><span class="Comment">direct</span><span class="Comment">*/</span><span class="Constant">3</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L356" class="LineNr">356 </span> <a href='031check_operands.cc.html#L389'>check_operand_metadata_present</a><span class="Delimiter">(</span>inst<span class="Delimiter">,</span> <span class="Constant">"base"</span><span class="Delimiter">,</span> op<span class="Delimiter">);</span> <span id="L357" class="LineNr">357 </span> <a href='031check_operands.cc.html#L389'>check_operand_metadata_present</a><span class="Delimiter">(</span>inst<span class="Delimiter">,</span> <span class="Constant">"index"</span><span class="Delimiter">,</span> op<span class="Delimiter">);</span> <span class="Comment">// otherwise why go to SIB?</span> @@ -431,7 +431,7 @@ if ('onhashchange' in window) { <span id="L367" class="LineNr">367 </span><span class="Comment">// exception 1: ignore modrm bit since we already checked it above</span> <span id="L368" class="LineNr">368 </span><span class="Comment">// exception 2: modrm instructions can use a displacement on occasion</span> <span id="L369" class="LineNr">369 </span><span class="Normal">void</span> <a href='031check_operands.cc.html#L369'>compare_bitvector_modrm</a><span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">,</span> <span class="Normal">uint8_t</span> expected<span class="Delimiter">,</span> <span class="Normal">const</span> word& op<span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L370" class="LineNr">370 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>all_hex_bytes<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> && <a href='031check_operands.cc.html#L293'>has_operands</a><span class="Delimiter">(</span>inst<span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// deliberately programming in raw hex; we'll raise a warning elsewhere</span> +<span id="L370" class="LineNr">370 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='030---operands.cc.html#L377'>all_hex_bytes</a><span class="Delimiter">(</span>inst<span class="Delimiter">)</span> && <a href='031check_operands.cc.html#L293'>has_operands</a><span class="Delimiter">(</span>inst<span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// deliberately programming in raw hex; we'll raise a warning elsewhere</span> <span id="L371" class="LineNr">371 </span> <span class="Normal">uint8_t</span> bitvector = <a href='031check_operands.cc.html#L284'>compute_operand_bitvector</a><span class="Delimiter">(</span>inst<span class="Delimiter">);</span> <span id="L372" class="LineNr">372 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='003trace.cc.html#L225'>trace_contains_errors</a><span class="Delimiter">())</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// duplicate operand type</span> <span id="L373" class="LineNr">373 </span> expected = CLEAR<span class="Delimiter">(</span>expected<span class="Delimiter">,</span> <a href='031check_operands.cc.html#L62'>MODRM</a><span class="Delimiter">);</span> <span class="Comment">// exception 1</span> @@ -442,9 +442,9 @@ if ('onhashchange' in window) { <span id="L378" class="LineNr">378 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>i == <a href='031check_operands.cc.html#L64'>DISP8</a> || i == <a href='031check_operands.cc.html#L66'>DISP32</a><span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span> <span class="Comment">// exception 2</span> <span id="L379" class="LineNr">379 </span> <span class="Normal">const</span> string& optype = <a href='031check_operands.cc.html#L72'>Operand_type_name</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">);</span> <span id="L380" class="LineNr">380 </span> <span class="Normal">if</span> <span class="Delimiter">((</span>bitvector & <span class="Constant">0x1</span><span class="Delimiter">)</span> > <span class="Delimiter">(</span>expected & <span class="Constant">0x1</span><span class="Delimiter">))</span> -<span id="L381" class="LineNr">381 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"'"</span> << <a href='031check_operands.cc.html#L278'>maybe_name</a><span class="Delimiter">(</span>op<span class="Delimiter">)</span> << <span class="Constant">": unexpected "</span> << optype << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << <a href='003trace.cc.html#L230'>end</a><span class="Delimiter">();</span> +<span id="L381" class="LineNr">381 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"'"</span> << <a href='031check_operands.cc.html#L278'>maybe_name</a><span class="Delimiter">(</span>op<span class="Delimiter">)</span> << <span class="Constant">": unexpected "</span> << optype << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << end<span class="Delimiter">();</span> <span id="L382" class="LineNr">382 </span> <span class="Normal">else</span> -<span id="L383" class="LineNr">383 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"'"</span> << <a href='031check_operands.cc.html#L278'>maybe_name</a><span class="Delimiter">(</span>op<span class="Delimiter">)</span> << <span class="Constant">": missing "</span> << optype << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << <a href='003trace.cc.html#L230'>end</a><span class="Delimiter">();</span> +<span id="L383" class="LineNr">383 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"'"</span> << <a href='031check_operands.cc.html#L278'>maybe_name</a><span class="Delimiter">(</span>op<span class="Delimiter">)</span> << <span class="Constant">": missing "</span> << optype << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << end<span class="Delimiter">();</span> <span id="L384" class="LineNr">384 </span> <span class="Comment">// continue giving all errors for a single instruction</span> <span id="L385" class="LineNr">385 </span> <span class="Delimiter">}</span> <span id="L386" class="LineNr">386 </span> <span class="Comment">// ignore settings in any unused bits</span> @@ -452,12 +452,12 @@ if ('onhashchange' in window) { <span id="L388" class="LineNr">388 </span> <span id="L389" class="LineNr">389 </span><span class="Normal">void</span> <a href='031check_operands.cc.html#L389'>check_operand_metadata_present</a><span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">,</span> <span class="Normal">const</span> string& type<span class="Delimiter">,</span> <span class="Normal">const</span> word& op<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L390" class="LineNr">390 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!has_operand_metadata<span class="Delimiter">(</span>inst<span class="Delimiter">,</span> type<span class="Delimiter">))</span> -<span id="L391" class="LineNr">391 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"' ("</span> << get<span class="Delimiter">(</span><a href='010---vm.cc.html#L228'>name</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">)</span> << <span class="Constant">"): missing "</span> << type << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << <a href='003trace.cc.html#L230'>end</a><span class="Delimiter">();</span> +<span id="L391" class="LineNr">391 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"' ("</span> << get<span class="Delimiter">(</span><a href='010---vm.cc.html#L336'>name</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span>data<span class="Delimiter">)</span> << <span class="Constant">"): missing "</span> << type << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << end<span class="Delimiter">();</span> <span id="L392" class="LineNr">392 </span><span class="Delimiter">}</span> <span id="L393" class="LineNr">393 </span> <span id="L394" class="LineNr">394 </span><span class="Normal">void</span> <a href='031check_operands.cc.html#L394'>check_operand_metadata_absent</a><span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">,</span> <span class="Normal">const</span> string& type<span class="Delimiter">,</span> <span class="Normal">const</span> word& op<span class="Delimiter">,</span> <span class="Normal">const</span> string& msg<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L395" class="LineNr">395 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>has_operand_metadata<span class="Delimiter">(</span>inst<span class="Delimiter">,</span> type<span class="Delimiter">))</span> -<span id="L396" class="LineNr">396 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"' ("</span> << get<span class="Delimiter">(</span><a href='010---vm.cc.html#L228'>name</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">)</span> << <span class="Constant">"): unexpected "</span> << type << <span class="Constant">" operand ("</span> << msg << <span class="Constant">")</span><span class="cSpecial">\n</span><span class="Constant">"</span> << <a href='003trace.cc.html#L230'>end</a><span class="Delimiter">();</span> +<span id="L396" class="LineNr">396 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"' ("</span> << get<span class="Delimiter">(</span><a href='010---vm.cc.html#L336'>name</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span>data<span class="Delimiter">)</span> << <span class="Constant">"): unexpected "</span> << type << <span class="Constant">" operand ("</span> << msg << <span class="Constant">")</span><span class="cSpecial">\n</span><span class="Constant">"</span> << end<span class="Delimiter">();</span> <span id="L397" class="LineNr">397 </span><span class="Delimiter">}</span> <span id="L398" class="LineNr">398 </span> <span id="L399" class="LineNr">399 </span><span class="Delimiter">:(scenarios transform)</span> @@ -520,21 +520,21 @@ if ('onhashchange' in window) { <span id="L456" class="LineNr">456 </span> <span id="L457" class="LineNr">457 </span><span class="Delimiter">:(code)</span> <span id="L458" class="LineNr">458 </span><span class="Normal">void</span> <a href='031check_operands.cc.html#L504'>check_operands_0f</a><span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L459" class="LineNr">459 </span> assert<span class="Delimiter">(</span>inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span><a href='011run.cc.html#L125'>data</a> == <span class="Constant">"0f"</span><span class="Delimiter">);</span> +<span id="L459" class="LineNr">459 </span> assert<span class="Delimiter">(</span>inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>data == <span class="Constant">"0f"</span><span class="Delimiter">);</span> <span id="L460" class="LineNr">460 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L157'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">)</span> == <span class="Constant">1</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L461" class="LineNr">461 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"opcode '0f' requires a second opcode</span><span class="cSpecial">\n</span><span class="Constant">"</span> << <a href='003trace.cc.html#L230'>end</a><span class="Delimiter">();</span> +<span id="L461" class="LineNr">461 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"opcode '0f' requires a second opcode</span><span class="cSpecial">\n</span><span class="Constant">"</span> << end<span class="Delimiter">();</span> <span id="L462" class="LineNr">462 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L463" class="LineNr">463 </span> <span class="Delimiter">}</span> <span id="L464" class="LineNr">464 </span> <a href='011run.cc.html#L123'>word</a> op = <a href='031check_operands.cc.html#L39'>preprocess_op</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span><a href='011run.cc.html#L118'>words</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">));</span> -<span id="L465" class="LineNr">465 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!contains_key<span class="Delimiter">(</span><a href='010---vm.cc.html#L229'>name_0f</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">))</span> <span class="Delimiter">{</span> -<span id="L466" class="LineNr">466 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"unknown 2-byte opcode '0f "</span> << op<span class="Delimiter">.</span>data << <span class="Constant">"'</span><span class="cSpecial">\n</span><span class="Constant">"</span> << <a href='003trace.cc.html#L230'>end</a><span class="Delimiter">();</span> +<span id="L465" class="LineNr">465 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!contains_key<span class="Delimiter">(</span><a href='010---vm.cc.html#L337'>name_0f</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span>data<span class="Delimiter">))</span> <span class="Delimiter">{</span> +<span id="L466" class="LineNr">466 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"unknown 2-byte opcode '0f "</span> << op<span class="Delimiter">.</span>data << <span class="Constant">"'</span><span class="cSpecial">\n</span><span class="Constant">"</span> << end<span class="Delimiter">();</span> <span id="L467" class="LineNr">467 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L468" class="LineNr">468 </span> <span class="Delimiter">}</span> <span id="L469" class="LineNr">469 </span> <a href='031check_operands.cc.html#L504'>check_operands_0f</a><span class="Delimiter">(</span>inst<span class="Delimiter">,</span> op<span class="Delimiter">);</span> <span id="L470" class="LineNr">470 </span><span class="Delimiter">}</span> <span id="L471" class="LineNr">471 </span> <span id="L472" class="LineNr">472 </span><span class="Normal">void</span> <a href='031check_operands.cc.html#L472'>check_operands_f3</a><span class="Delimiter">(</span><span class="Normal">const</span> line& <span class="Comment">/*</span><span class="Comment">unused</span><span class="Comment">*/</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L473" class="LineNr">473 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"no supported opcodes starting with f3</span><span class="cSpecial">\n</span><span class="Constant">"</span> << <a href='003trace.cc.html#L230'>end</a><span class="Delimiter">();</span> +<span id="L473" class="LineNr">473 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"no supported opcodes starting with f3</span><span class="cSpecial">\n</span><span class="Constant">"</span> << end<span class="Delimiter">();</span> <span id="L474" class="LineNr">474 </span><span class="Delimiter">}</span> <span id="L475" class="LineNr">475 </span> <span id="L476" class="LineNr">476 </span><span class="Delimiter">:(scenario check_missing_disp16_operand)</span> @@ -566,14 +566,14 @@ if ('onhashchange' in window) { <span id="L502" class="LineNr">502 </span> <span id="L503" class="LineNr">503 </span><span class="Delimiter">:(code)</span> <span id="L504" class="LineNr">504 </span><span class="Normal">void</span> <a href='031check_operands.cc.html#L504'>check_operands_0f</a><span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">,</span> <span class="Normal">const</span> word& op<span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L505" class="LineNr">505 </span> <span class="Normal">uint8_t</span> expected_bitvector = get<span class="Delimiter">(</span><a href='031check_operands.cc.html#L486'>Permitted_operands_0f</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">);</span> +<span id="L505" class="LineNr">505 </span> <span class="Normal">uint8_t</span> expected_bitvector = get<span class="Delimiter">(</span><a href='031check_operands.cc.html#L486'>Permitted_operands_0f</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span>data<span class="Delimiter">);</span> <span id="L506" class="LineNr">506 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>HAS<span class="Delimiter">(</span>expected_bitvector<span class="Delimiter">,</span> <a href='031check_operands.cc.html#L62'>MODRM</a><span class="Delimiter">))</span> <span id="L507" class="LineNr">507 </span> <a href='031check_operands.cc.html#L342'>check_operands_modrm</a><span class="Delimiter">(</span>inst<span class="Delimiter">,</span> op<span class="Delimiter">);</span> <span id="L508" class="LineNr">508 </span> <a href='031check_operands.cc.html#L511'>compare_bitvector_0f</a><span class="Delimiter">(</span>inst<span class="Delimiter">,</span> CLEAR<span class="Delimiter">(</span>expected_bitvector<span class="Delimiter">,</span> <a href='031check_operands.cc.html#L62'>MODRM</a><span class="Delimiter">),</span> op<span class="Delimiter">);</span> <span id="L509" class="LineNr">509 </span><span class="Delimiter">}</span> <span id="L510" class="LineNr">510 </span> <span id="L511" class="LineNr">511 </span><span class="Normal">void</span> <a href='031check_operands.cc.html#L511'>compare_bitvector_0f</a><span class="Delimiter">(</span><span class="Normal">const</span> line& inst<span class="Delimiter">,</span> <span class="Normal">uint8_t</span> expected<span class="Delimiter">,</span> <span class="Normal">const</span> word& op<span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L512" class="LineNr">512 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>all_hex_bytes<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> && <a href='031check_operands.cc.html#L293'>has_operands</a><span class="Delimiter">(</span>inst<span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// deliberately programming in raw hex; we'll raise a warning elsewhere</span> +<span id="L512" class="LineNr">512 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='030---operands.cc.html#L377'>all_hex_bytes</a><span class="Delimiter">(</span>inst<span class="Delimiter">)</span> && <a href='031check_operands.cc.html#L293'>has_operands</a><span class="Delimiter">(</span>inst<span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// deliberately programming in raw hex; we'll raise a warning elsewhere</span> <span id="L513" class="LineNr">513 </span> <span class="Normal">uint8_t</span> bitvector = <a href='031check_operands.cc.html#L284'>compute_operand_bitvector</a><span class="Delimiter">(</span>inst<span class="Delimiter">);</span> <span id="L514" class="LineNr">514 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='003trace.cc.html#L225'>trace_contains_errors</a><span class="Delimiter">())</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// duplicate operand type</span> <span id="L515" class="LineNr">515 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>bitvector == expected<span class="Delimiter">)</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// all good with this instruction</span> @@ -582,9 +582,9 @@ if ('onhashchange' in window) { <span id="L518" class="LineNr">518 </span> <span class="Normal">if</span> <span class="Delimiter">((</span>bitvector & <span class="Constant">0x1</span><span class="Delimiter">)</span> == <span class="Delimiter">(</span>expected & <span class="Constant">0x1</span><span class="Delimiter">))</span> <span class="Identifier">continue</span><span class="Delimiter">;</span> <span class="Comment">// all good with this operand</span> <span id="L519" class="LineNr">519 </span> <span class="Normal">const</span> string& optype = <a href='031check_operands.cc.html#L72'>Operand_type_name</a><span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">);</span> <span id="L520" class="LineNr">520 </span> <span class="Normal">if</span> <span class="Delimiter">((</span>bitvector & <span class="Constant">0x1</span><span class="Delimiter">)</span> > <span class="Delimiter">(</span>expected & <span class="Constant">0x1</span><span class="Delimiter">))</span> -<span id="L521" class="LineNr">521 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"' ("</span> << get<span class="Delimiter">(</span><a href='010---vm.cc.html#L229'>name_0f</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">)</span> << <span class="Constant">"): unexpected "</span> << optype << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << <a href='003trace.cc.html#L230'>end</a><span class="Delimiter">();</span> +<span id="L521" class="LineNr">521 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"' ("</span> << get<span class="Delimiter">(</span><a href='010---vm.cc.html#L337'>name_0f</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span>data<span class="Delimiter">)</span> << <span class="Constant">"): unexpected "</span> << optype << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << end<span class="Delimiter">();</span> <span id="L522" class="LineNr">522 </span> <span class="Normal">else</span> -<span id="L523" class="LineNr">523 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"' ("</span> << get<span class="Delimiter">(</span><a href='010---vm.cc.html#L229'>name_0f</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span><a href='011run.cc.html#L125'>data</a><span class="Delimiter">)</span> << <span class="Constant">"): missing "</span> << optype << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << <a href='003trace.cc.html#L230'>end</a><span class="Delimiter">();</span> +<span id="L523" class="LineNr">523 </span> <a href='003trace.cc.html#L211'>raise</a> << <span class="Constant">"'"</span> << to_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> << <span class="Constant">"' ("</span> << get<span class="Delimiter">(</span><a href='010---vm.cc.html#L337'>name_0f</a><span class="Delimiter">,</span> op<span class="Delimiter">.</span>data<span class="Delimiter">)</span> << <span class="Constant">"): missing "</span> << optype << <span class="Constant">" operand</span><span class="cSpecial">\n</span><span class="Constant">"</span> << end<span class="Delimiter">();</span> <span id="L524" class="LineNr">524 </span> <span class="Comment">// continue giving all errors for a single instruction</span> <span id="L525" class="LineNr">525 </span> <span class="Delimiter">}</span> <span id="L526" class="LineNr">526 </span> <span class="Comment">// ignore settings in any unused bits</span> |