about summary refs log tree commit diff stats
path: root/html/084emit-hex-array.subx.html
blob: 22af54c8fb6f7cce9dd0d1149b98e55f185f4ed0 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
<!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 - 084emit-hex-array.subx</title>
<meta name="Generator" content="Vim/8.1">
<meta name="plugin-version" content="vim8.1_v1">
<meta name="syntax" content="none">
<meta name="settings" content="number_lines,use_css,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
<meta name="colorscheme" content="minimal-light">
<style type="text/css">
<!--
pre { font-family: monospace; color: #000000; background-color: #c6c6c6; }
body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; }
a { color:inherit; }
* { font-size:12pt; font-size: 1em; }
.subxComment { color: #005faf; }
.subxS2Comment { color: #8a8a8a; }
.LineNr { }
.subxS1Comment { color: #0000af; }
.subxFunction { color: #af5f00; text-decoration: underline; }
.Normal { color: #000000; background-color: #c6c6c6; padding-bottom: 1px; }
.Folded { color: #080808; background-color: #949494; }
.Constant { color: #008787; }
.subxTest { color: #5f8700; }
-->
</style>

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

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

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

-->
</script>
</head>
<body onload='JumpToLine();'>
<a href='https://github.com/akkartik/mu/blob/master/084emit-hex-array.subx'>https://github.com/akkartik/mu/blob/master/084emit-hex-array.subx</a>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr">  1 </span>== code
<span id="L2" class="LineNr">  2 </span><span class="subxComment">#   instruction                     effective address                                                   register    displacement    immediate</span>
<span id="L3" class="LineNr">  3 </span><span class="subxS1Comment"># . op          subop               mod             rm32          base        index         scale       r32</span>
<span id="L4" class="LineNr">  4 </span><span class="subxS1Comment"># . 1-3 bytes   3 bits              2 bits          3 bits        3 bits      3 bits        2 bits      2 bits      0/1/2/4 bytes   0/1/2/4 bytes</span>
<span id="L5" class="LineNr">  5 </span>
<span id="L6" class="LineNr">  6 </span><span class="subxComment"># print 'arr' in hex with a space after every byte</span>
<span id="L7" class="LineNr">  7 </span><span class="subxFunction">emit-hex-array</span>:  <span class="subxComment"># out: (addr buffered-file), arr: (addr array byte)</span>
<span id="L8" class="LineNr">  8 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L9" class="LineNr">  9 </span>    55/push-ebp
<span id="L10" class="LineNr"> 10 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L11" class="LineNr"> 11 </span>    <span class="subxS1Comment"># . save registers</span>
<span id="L12" class="LineNr"> 12 </span>    50/push-eax
<span id="L13" class="LineNr"> 13 </span>    51/push-ecx
<span id="L14" class="LineNr"> 14 </span>    52/push-edx
<span id="L15" class="LineNr"> 15 </span>    57/push-edi
<span id="L16" class="LineNr"> 16 </span>    <span class="subxComment"># edi = out</span>
<span id="L17" class="LineNr"> 17 </span>    8b/copy                         1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          7/r32/edi   8/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy *(ebp+8) to edi</span>
<span id="L18" class="LineNr"> 18 </span>    <span class="subxComment"># edx = arr</span>
<span id="L19" class="LineNr"> 19 </span>    8b/copy                         1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          2/r32/edx   0xc/disp8      <span class="Normal"> . </span>                <span class="subxComment"># copy *(ebp+12) to edx</span>
<span id="L20" class="LineNr"> 20 </span>    <span class="subxComment"># var curr/ecx: (addr byte) = arr-&gt;data</span>
<span id="L21" class="LineNr"> 21 </span>    8d/copy-address                 1/mod/*+disp8   2/rm32/edx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx   4/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy edx+4 to ecx</span>
<span id="L22" class="LineNr"> 22 </span>    <span class="subxComment"># var max/edx: (addr byte) = &amp;arr-&gt;data[arr-&gt;length]</span>
<span id="L23" class="LineNr"> 23 </span>    8b/copy                         0/mod/indirect  2/rm32/edx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          2/r32/edx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy *edx to edx</span>
<span id="L24" class="LineNr"> 24 </span>    01/add                          3/mod/direct    2/rm32/edx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          1/r32/ecx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># add ecx to edx</span>
<span id="L25" class="LineNr"> 25 </span>    <span class="subxComment"># var c/eax: byte = 0</span>
<span id="L26" class="LineNr"> 26 </span>    31/xor                          3/mod/direct    0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          0/r32/eax  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># clear eax</span>
<span id="L27" class="LineNr"> 27 </span><span class="Constant">$emit-hex-array:loop</span>:
<span id="L28" class="LineNr"> 28 </span>    <span class="subxComment"># if (curr &gt;= width) break</span>
<span id="L29" class="LineNr"> 29 </span>    39/compare                      3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          2/r32/edx  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># compare ecx with edx</span>
<span id="L30" class="LineNr"> 30 </span>    73/jump-if-addr&gt;=  $emit-hex-array:end/disp8
<span id="L31" class="LineNr"> 31 </span>    <span class="subxComment"># emit-hex(out, c = *curr, width=1)</span>
<span id="L32" class="LineNr"> 32 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L33" class="LineNr"> 33 </span>    68/push  1/imm32/width
<span id="L34" class="LineNr"> 34 </span>    8a/copy-byte                    0/mod/indirect  1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          0/r32/AL   <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy byte at *ecx to AL</span>
<span id="L35" class="LineNr"> 35 </span>    50/push-eax
<span id="L36" class="LineNr"> 36 </span>    57/push-edi
<span id="L37" class="LineNr"> 37 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L38" class="LineNr"> 38 </span>    e8/call  <a href='078emit-hex.subx.html#L7'>emit-hex</a>/disp32
<span id="L39" class="LineNr"> 39 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L40" class="LineNr"> 40 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L41" class="LineNr"> 41 </span>    <span class="subxComment"># ++curr</span>
<span id="L42" class="LineNr"> 42 </span>    41/increment-ecx
<span id="L43" class="LineNr"> 43 </span>    eb/jump  $emit-hex-array:<span class="Constant">loop</span>/disp8
<span id="L44" class="LineNr"> 44 </span><span class="Constant">$emit-hex-array:end</span>:
<span id="L45" class="LineNr"> 45 </span>    <span class="subxS1Comment"># . restore registers</span>
<span id="L46" class="LineNr"> 46 </span>    5f/pop-to-edi
<span id="L47" class="LineNr"> 47 </span>    5a/pop-to-edx
<span id="L48" class="LineNr"> 48 </span>    59/pop-to-ecx
<span id="L49" class="LineNr"> 49 </span>    58/pop-to-eax
<span id="L50" class="LineNr"> 50 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L51" class="LineNr"> 51 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L52" class="LineNr"> 52 </span>    5d/pop-to-ebp
<span id="L53" class="LineNr"> 53 </span>    c3/return
<span id="L54" class="LineNr"> 54 </span>
<span id="L55" class="LineNr"> 55 </span><span class="subxTest">test-emit-hex-array</span>:
<span id="L56" class="LineNr"> 56 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L57" class="LineNr"> 57 </span>    55/push-ebp
<span id="L58" class="LineNr"> 58 </span>    89/copy                         3/mod/direct    5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ebp</span>
<span id="L59" class="LineNr"> 59 </span>    <span class="subxComment"># setup</span>
<span id="L60" class="LineNr"> 60 </span>    <span class="subxS1Comment"># . clear-stream(_test-output-stream)</span>
<span id="L61" class="LineNr"> 61 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L62" class="LineNr"> 62 </span>    68/push  <a href='064write-byte.subx.html#L286'>_test-output-stream</a>/imm32
<span id="L63" class="LineNr"> 63 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L64" class="LineNr"> 64 </span>    e8/call  <a href='055stream.subx.html#L17'>clear-stream</a>/disp32
<span id="L65" class="LineNr"> 65 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L66" class="LineNr"> 66 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L67" class="LineNr"> 67 </span>    <span class="subxS1Comment"># . clear-stream($_test-output-buffered-file-&gt;buffer)</span>
<span id="L68" class="LineNr"> 68 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L69" class="LineNr"> 69 </span>    68/push  $_test-output-buffered-file-&gt;buffer/imm32
<span id="L70" class="LineNr"> 70 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L71" class="LineNr"> 71 </span>    e8/call  <a href='055stream.subx.html#L17'>clear-stream</a>/disp32
<span id="L72" class="LineNr"> 72 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L73" class="LineNr"> 73 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L74" class="LineNr"> 74 </span>    <span class="subxComment"># var arr/ecx (array byte) = [01, 02, 03]</span>
<span id="L75" class="LineNr"> 75 </span>    68/push  0x00030201/imm32  <span class="subxComment"># bytes 01 02 03</span>
<span id="L76" class="LineNr"> 76 </span>    68/push  3/imm32/length
<span id="L77" class="LineNr"> 77 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
<span id="L78" class="LineNr"> 78 </span>    <span class="subxComment"># emit-hex-array(_test-output-buffered-file, arr)</span>
<span id="L79" class="LineNr"> 79 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L80" class="LineNr"> 80 </span>    51/push-ecx
<span id="L81" class="LineNr"> 81 </span>    68/push  <a href='064write-byte.subx.html#L360'>_test-output-buffered-file</a>/imm32
<span id="L82" class="LineNr"> 82 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L83" class="LineNr"> 83 </span>    e8/call  <a href='084emit-hex-array.subx.html#L7'>emit-hex-array</a>/disp32
<span id="L84" class="LineNr"> 84 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L85" class="LineNr"> 85 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># add to esp</span>
<span id="L86" class="LineNr"> 86 </span>    <span class="subxS1Comment"># . flush(_test-output-buffered-file)</span>
<span id="L87" class="LineNr"> 87 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L88" class="LineNr"> 88 </span>    68/push  <a href='064write-byte.subx.html#L360'>_test-output-buffered-file</a>/imm32
<span id="L89" class="LineNr"> 89 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L90" class="LineNr"> 90 </span>    e8/call  <a href='064write-byte.subx.html#L81'>flush</a>/disp32
<span id="L91" class="LineNr"> 91 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L92" class="LineNr"> 92 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              4/imm32           <span class="subxComment"># add to esp</span>
<span id="L93" class="Folded"> 93 </span><span class="Folded">+-- 33 lines: #?     # dump output ------------------------------------------------------------------------------------------------------------------------------------------------------</span>
<span id="L126" class="LineNr">126 </span>    <span class="subxComment"># check-next-stream-line-equal(_test-output-stream, &quot;01 02 03 &quot;, msg)</span>
<span id="L127" class="LineNr">127 </span>    <span class="subxS2Comment"># . . push args</span>
<span id="L128" class="LineNr">128 </span>    68/push  <span class="Constant">&quot;F - test-emit-hex-array&quot;</span>/imm32
<span id="L129" class="LineNr">129 </span>    68/push  <span class="Constant">&quot;01 02 03 &quot;</span>/imm32
<span id="L130" class="LineNr">130 </span>    68/push  <a href='064write-byte.subx.html#L286'>_test-output-stream</a>/imm32
<span id="L131" class="LineNr">131 </span>    <span class="subxS2Comment"># . . call</span>
<span id="L132" class="LineNr">132 </span>    e8/call  <a href='058stream-equal.subx.html#L565'>check-next-stream-line-equal</a>/disp32
<span id="L133" class="LineNr">133 </span>    <span class="subxS2Comment"># . . discard args</span>
<span id="L134" class="LineNr">134 </span>    81          0/subop/add         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0xc/imm32         <span class="subxComment"># add to esp</span>
<span id="L135" class="LineNr">135 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L136" class="LineNr">136 </span>    89/copy                         3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          5/r32/ebp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy ebp to esp</span>
<span id="L137" class="LineNr">137 </span>    5d/pop-to-ebp
<span id="L138" class="LineNr">138 </span>    c3/return
<span id="L139" class="LineNr">139 </span>
<span id="L140" class="LineNr">140 </span><span class="subxS2Comment"># . . vim&#0058;nowrap:textwidth=0</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->
n class="s">" ); } :(before "End Op 81 Subops") case 6: { trace(Callstack_depth+1, "run") << "subop xor" << end(); BINARY_BITWISE_OP(^, *arg1, arg2); break; } :(code) void test_xor_imm32_with_r32() { Reg[EBX].i = 0xd0c0b0a0; run( "== 0x1\n" // code segment // op ModR/M SIB displacement immediate " 81 f3 0a 0b 0c 0d \n" // xor 0x0d0c0b0a with EBX // ModR/M in binary: 11 (direct mode) 110 (xor imm32) 011 (dest EBX) ); CHECK_TRACE_CONTENTS( "run: combine imm32 with r/m32\n" "run: r/m32 is EBX\n" "run: imm32 is 0x0d0c0b0a\n" "run: subop xor\n" "run: storing 0xddccbbaa\n" ); } //:: compare (cmp) :(before "End Initialize Op Names") put_new(Name, "3d", "compare: set SF if EAX < imm32 (cmp)"); :(code) void test_compare_imm32_with_eax_greater() { Reg[EAX].i = 0x0d0c0b0a; run( "== 0x1\n" // code segment // op ModR/M SIB displacement immediate " 3d 07 0b 0c 0d \n" // compare 0x0d0c0b07 with EAX ); CHECK_TRACE_CONTENTS( "run: compare EAX and imm32 0x0d0c0b07\n" "run: SF=0; ZF=0; OF=0\n" ); } :(before "End Single-Byte Opcodes") case 0x3d: { // compare EAX with imm32 const int32_t arg1 = Reg[EAX].i; const int32_t arg2 = next32(); trace(Callstack_depth+1, "run") << "compare EAX and imm32 0x" << HEXWORD << arg2 << end(); const int32_t tmp1 = arg1 - arg2; SF = (tmp1 < 0); ZF = (tmp1 == 0); const int64_t tmp2 = arg1 - arg2; OF = (tmp1 != tmp2); trace(Callstack_depth+1, "run") << "SF=" << SF << "; ZF=" << ZF << "; OF=" << OF << end(); break; } :(code) void test_compare_imm32_with_eax_lesser() { Reg[EAX].i = 0x0d0c0b07; run( "== 0x1\n" // code segment // op ModR/M SIB displacement immediate " 3d 0a 0b 0c 0d \n" // compare 0x0d0c0b0a with EAX ); CHECK_TRACE_CONTENTS( "run: compare EAX and imm32 0x0d0c0b0a\n" "run: SF=1; ZF=0; OF=0\n" ); } :(code) void test_compare_imm32_with_eax_equal() { Reg[EAX].i = 0x0d0c0b0a; run( "== 0x1\n" // code segment // op ModR/M SIB displacement immediate " 3d 0a 0b 0c 0d \n" // compare 0x0d0c0b0a with EAX ); CHECK_TRACE_CONTENTS( "run: compare EAX and imm32 0x0d0c0b0a\n" "run: SF=0; ZF=1; OF=0\n" ); } //: :(code) void test_compare_imm32_with_r32_greater() { Reg[EBX].i = 0x0d0c0b0a; run( "== 0x1\n" // code segment // op ModR/M SIB displacement immediate " 81 fb 07 0b 0c 0d \n" // compare 0x0d0c0b07 with EBX // ModR/M in binary: 11 (direct mode) 111 (compare imm32) 011 (dest EBX) ); CHECK_TRACE_CONTENTS( "run: combine imm32 with r/m32\n" "run: r/m32 is EBX\n" "run: imm32 is 0x0d0c0b07\n" "run: SF=0; ZF=0; OF=0\n" ); } :(before "End Op 81 Subops") case 7: { trace(Callstack_depth+1, "run") << "subop compare" << end(); const int32_t tmp1 = *arg1 - arg2; SF = (tmp1 < 0); ZF = (tmp1 == 0); const int64_t tmp2 = *arg1 - arg2; OF = (tmp1 != tmp2); trace(Callstack_depth+1, "run") << "SF=" << SF << "; ZF=" << ZF << "; OF=" << OF << end(); break; } :(code) void test_compare_imm32_with_r32_lesser() { Reg[EBX].i = 0x0d0c0b07; run( "== 0x1\n" // code segment // op ModR/M SIB displacement immediate " 81 fb 0a 0b 0c 0d \n" // compare 0x0d0c0b0a with EBX // ModR/M in binary: 11 (direct mode) 111 (compare imm32) 011 (dest EBX) ); CHECK_TRACE_CONTENTS( "run: combine imm32 with r/m32\n" "run: r/m32 is EBX\n" "run: imm32 is 0x0d0c0b0a\n" "run: SF=1; ZF=0; OF=0\n" ); } :(code) void test_compare_imm32_with_r32_equal() { Reg[EBX].i = 0x0d0c0b0a; run( "== 0x1\n" // code segment // op ModR/M SIB displacement immediate " 81 fb 0a 0b 0c 0d \n" // compare 0x0d0c0b0a with EBX // ModR/M in binary: 11 (direct mode) 111 (compare imm32) 011 (dest EBX) ); CHECK_TRACE_CONTENTS( "run: combine imm32 with r/m32\n" "run: r/m32 is EBX\n" "run: imm32 is 0x0d0c0b0a\n" "run: SF=0; ZF=1; OF=0\n" ); } :(code) void test_compare_imm32_with_mem_at_r32_greater() { Reg[EBX].i = 0x2000; run( "== 0x1\n" // code segment // op ModR/M SIB displacement immediate " 81 3b 07 0b 0c 0d \n" // compare 0x0d0c0b07 with *EBX // ModR/M in binary: 00 (indirect mode) 111 (compare imm32) 011 (dest EBX) "== 0x2000\n" // data segment "0a 0b 0c 0d\n" // 0x0d0c0b0a ); CHECK_TRACE_CONTENTS( "run: combine imm32 with r/m32\n" "run: effective address is 0x00002000 (EBX)\n" "run: imm32 is 0x0d0c0b07\n" "run: SF=0; ZF=0; OF=0\n" ); } :(code) void test_compare_imm32_with_mem_at_r32_lesser() { Reg[EBX].i = 0x2000; run( "== 0x1\n" // code segment // op ModR/M SIB displacement immediate " 81 3b 0a 0b 0c 0d \n" // compare 0x0d0c0b0a with *EBX // ModR/M in binary: 00 (indirect mode) 111 (compare imm32) 011 (dest EBX) "== 0x2000\n" // data segment "07 0b 0c 0d\n" // 0x0d0c0b07 ); CHECK_TRACE_CONTENTS( "run: combine imm32 with r/m32\n" "run: effective address is 0x00002000 (EBX)\n" "run: imm32 is 0x0d0c0b0a\n" "run: SF=1; ZF=0; OF=0\n" ); } :(code) void test_compare_imm32_with_mem_at_r32_equal() { Reg[EBX].i = 0x0d0c0b0a; Reg[EBX].i = 0x2000; run( "== 0x1\n" // code segment // op ModR/M SIB displacement immediate " 81 3b 0a 0b 0c 0d \n" // compare 0x0d0c0b0a with *EBX // ModR/M in binary: 00 (indirect mode) 111 (compare imm32) 011 (dest EBX) "== 0x2000\n" // data segment "0a 0b 0c 0d\n" // 0x0d0c0b0a ); CHECK_TRACE_CONTENTS( "run: combine imm32 with r/m32\n" "run: effective address is 0x00002000 (EBX)\n" "run: imm32 is 0x0d0c0b0a\n" "run: SF=0; ZF=1; OF=0\n" ); } //:: copy (mov) :(before "End Initialize Op Names") put_new(Name, "b8", "copy imm32 to EAX (mov)"); put_new(Name, "b9", "copy imm32 to ECX (mov)"); put_new(Name, "ba", "copy imm32 to EDX (mov)"); put_new(Name, "bb", "copy imm32 to EBX (mov)"); put_new(Name, "bc", "copy imm32 to ESP (mov)"); put_new(Name, "bd", "copy imm32 to EBP (mov)"); put_new(Name, "be", "copy imm32 to ESI (mov)"); put_new(Name, "bf", "copy imm32 to EDI (mov)"); :(code) void test_copy_imm32_to_r32() { run( "== 0x1\n" // code segment // op ModR/M SIB displacement immediate " bb 0a 0b 0c 0d \n" // copy 0x0d0c0b0a to EBX ); CHECK_TRACE_CONTENTS( "run: copy imm32 0x0d0c0b0a to EBX\n" ); } :(before "End Single-Byte Opcodes") case 0xb8: case 0xb9: case 0xba: case 0xbb: case 0xbc: case 0xbd: case 0xbe: case 0xbf: { // copy imm32 to r32 const uint8_t rdest = op & 0x7; const int32_t src = next32(); trace(Callstack_depth+1, "run") << "copy imm32 0x" << HEXWORD << src << " to " << rname(rdest) << end(); Reg[rdest].i = src; break; } //: :(before "End Initialize Op Names") put_new(Name, "c7", "copy imm32 to rm32 (mov)"); :(code) void test_copy_imm32_to_mem_at_r32() { Reg[EBX].i = 0x60; run( "== 0x1\n" // code segment // op ModR/M SIB displacement immediate " c7 03 0a 0b 0c 0d \n" // copy 0x0d0c0b0a to *EBX // ModR/M in binary: 00 (indirect mode) 000 (unused) 011 (dest EBX) ); CHECK_TRACE_CONTENTS( "run: copy imm32 to r/m32\n" "run: effective address is 0x00000060 (EBX)\n" "run: imm32 is 0x0d0c0b0a\n" ); } :(before "End Single-Byte Opcodes") case 0xc7: { // copy imm32 to r32 const uint8_t modrm = next(); trace(Callstack_depth+1, "run") << "copy imm32 to r/m32" << end(); const uint8_t subop = (modrm>>3)&0x7; // middle 3 'reg opcode' bits if (subop != 0) { cerr << "unrecognized subop for opcode c7: " << NUM(subop) << " (only 0/copy currently implemented)\n"; exit(1); } int32_t* dest = effective_address(modrm); const int32_t src = next32(); trace(Callstack_depth+1, "run") << "imm32 is 0x" << HEXWORD << src << end(); *dest = src; break; } //:: push :(before "End Initialize Op Names") put_new(Name, "68", "push imm32 to stack (push)"); :(code) void test_push_imm32() { Reg[ESP].u = 0x14; run( "== 0x1\n" // code segment // op ModR/M SIB displacement immediate " 68 af 00 00 00 \n" // push *EAX to stack ); CHECK_TRACE_CONTENTS( "run: push imm32 0x000000af\n" "run: ESP is now 0x00000010\n" "run: contents at ESP: 0x000000af\n" ); } :(before "End Single-Byte Opcodes") case 0x68: { const uint32_t val = static_cast<uint32_t>(next32()); trace(Callstack_depth+1, "run") << "push imm32 0x" << HEXWORD << val << end(); //? cerr << "push: " << val << " => " << Reg[ESP].u << '\n'; push(val); trace(Callstack_depth+1, "run") << "ESP is now 0x" << HEXWORD << Reg[ESP].u << end(); trace(Callstack_depth+1, "run") << "contents at ESP: 0x" << HEXWORD << read_mem_u32(Reg[ESP].u) << end(); break; }