suckless/dwm - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	use sel instead of seeking the list	Anselm R Garbe	2008-06-19	1	-7/+5
\|
*	resize should apply if !banned	Anselm R Garbe	2008-06-19	1	-3/+2
\|
*	applied Gottox patch	Anselm R Garbe	2008-06-19	1	-25/+21
\|
*	untested monocle	Anselm R Garbe	2008-06-19	4	-45/+55
\|
*	non-zero	Anselm R Garbe	2008-06-19	2	-3/+11
\|
*	Added tag 5.0 for changeset 06eb9644e2da	Anselm R Garbe	2008-06-18	1	-0/+1
\|
*	branch merge 5.0	Anselm R Garbe	2008-06-17	1	-1/+1
\|\
\| *	s/tags ref/tags mask/	arg@suckless.org	2008-06-15	1	-1/+1
\| \|
* \|	tiled layout resizehints should be respected by default	Anselm R Garbe	2008-06-17	2	-5/+5
\| \|
* \|	restored y-coordinate fixing of client windows	Anselm R Garbe	2008-06-17	1	-1/+2
\|/
*	updated man page regarding Mod1-m	Anselm R Garbe	2008-06-15	1	-1/+1
\|
*	minor fixes towards 5.0	Anselm R Garbe	2008-06-15	1	-6/+8
\|
*	removed explicit warp in movemouse	Anselm R Garbe	2008-06-14	1	-5/+0
\|
*	removed scroll-wheel based focussing on window title clicks	Anselm R Garbe	2008-06-14	1	-2/+0
\|
*	fix of swapped focusstack mouse buttons	Anselm R Garbe	2008-06-14	1	-2/+2
\|
*	removed the ButtonPressMask for root windows as well	Anselm R Garbe	2008-06-14	1	-1/+1
\|
*	removed root window click handling	Anselm R Garbe	2008-06-14	2	-3/+2
\|
*	removed font and color definitions	Anselm R Garbe	2008-06-14	2	-28/+29
\|
*	minor fix	Anselm R Garbe	2008-06-13	1	-2/+0
\|
*	fixed tag click handling, however ClkRootWin doesn't work for me	Anselm R Garbe	2008-06-12	1	-6/+7
\|
*	update	Anselm R Garbe	2008-06-12	1	-1/+1
\|
*	some bugfixes of the patch application yesterday	Anselm R Garbe	2008-06-12	1	-12/+12
\|
*	integrated yiyus mouse.diff (though the bar click handling is slightly ↵	Anselm R Garbe	2008-06-11	2	-74/+111
\| \| \| \|	broken, I'm to tired to debug it now, yiyus could you please?)
*	made Xinerama screen index customizable	Anselm R Garbe	2008-06-11	2	-8/+12
\|
*	removed trailing spaces reported by Soleen	Anselm R Garbe	2008-06-11	2	-12/+12
\|
*	crash fix	Anselm R Garbe	2008-06-11	1	-1/+1
\|
*	made lt visible again in config.def.h	Anselm R Garbe	2008-06-11	1	-3/+2
\|
*	added nsz' patch	Anselm R Garbe	2008-06-11	2	-1/+3
\|
*	added SHCMD support for pipe-based commands due the new spawn() versio	Anselm R Garbe	2008-06-11	1	-0/+1
\|
*	using foo layout during cleanup (suggested by Gottox), add Arg->v handling ↵	Anselm R Garbe	2008-06-11	1	-1/+1
\| \| \| \|	for togglelayout() suggested by anydot
*	lt will point to a foo-layout during cleanup now (Gottox' suggestion), and ↵	Anselm R Garbe	2008-06-11	1	-1/+6
\| \| \| \|	togglelayout respects Arg->v
*	integrated Peter Hartlich's patch, removed const char *c from union, ↵	Anselm R Garbe	2008-06-11	2	-26/+9
\| \| \| \|	simplified togglelayout
*	applied anydot's patchset.diff	Anselm R Garbe	2008-06-11	3	-211/+206
\|
*	final version -- Gottox verified it using the test driver	arg@suckless.org	2008-06-09	1	-1/+1
\|
*	revert of introduced problem	arg@suckless.org	2008-06-09	1	-1/+1
\|
*	applied nsz' textnw patch thank you	arg@suckless.org	2008-06-09	1	-4/+6
\|
*	updated the for-loop with Gottox' proposal	arg@suckless.org	2008-06-09	1	-1/+1
\|
*	minor change	arg@suckless.org	2008-06-06	1	-2/+1
\|
*	applied nsz's patches (many thanks!)	arg@suckless.org	2008-06-04	1	-7/+4
\|
*	small change to drawtext	arg@suckless.org	2008-06-02	1	-4/+3
\|
*	fixed the tile() issue with xpdf	Anselm R Garbe	2008-06-01	1	-2/+2
\|
*	using anydot's memcpy-approach in drawtext, however it still looks awkward to me	Anselm R Garbe	2008-06-01	1	-1/+1
\|
*	Gottox' drawtext simplification	Anselm R Garbe	2008-06-01	2	-9/+3
\|
*	applied noviewprev.diff, fix.diff and unusedflags.diff	Anselm R Garbe	2008-06-01	2	-24/+17
\|
*	fix	Anselm R Garbe	2008-05-31	1	-1/+1
\|
*	lt->arrange in mfact	Anselm R Garbe	2008-05-31	1	-1/+1
\|
*	isfixed implies isfloating	Anselm R Garbe	2008-05-30	1	-1/+1
\|
*	applied nibbles fixes, slightly modified	Anselm R Garbe	2008-05-29	1	-2/+2
\|
*	applied yiyus tip patch from tue	Anselm R Garbe	2008-05-29	1	-24/+24
\|
*	core dump fix in cleanup	Anselm R Garbe	2008-05-28	1	-1/+1
\|

<!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 - 013direct_addressing.cc</title> <meta name="Generator" content="Vim/8.1"> <meta name="plugin-version" content="vim8.1_v1"> <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">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <a href='https://github.com/akkartik/mu/blob/master/013direct_addressing.cc'>https://github.com/akkartik/mu/blob/master/013direct_addressing.cc</a> <pre id='vimCodeElement'> 1 //: operating directly on a register 2 3 :(before "End Initialize Op Names") 4 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "01", "add r32 to rm32 (add)"); 5 6 :(code) 7 void <a href='013direct_addressing.cc.html#L7'>test_add_r32_to_r32</a>() { 8 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0x10; 9 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 1; 10 <a href='011run.cc.html#L83'>run</a>( 11 "== code 0x1\n" // code segment 12 // op ModR/M SIB displacement immediate 13 " 01 d8 \n" // add EBX to EAX 14 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 15 ); 16 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 17 "run: add <a href='010---vm.cc.html#L16'>EBX</a> to r/m32\n" 18 "run: r/m32 is EAX\n" 19 "run: storing 0x00000011\n" 20 ); 21 } 22 23 :(before "End Single-Byte Opcodes") 24 case 0x01: { // add r32 to r/m32 25 uint8_t modrm = <a href='010---vm.cc.html#L328'>next</a>(); 26 uint8_t arg2 = (modrm>>3)&0x7; 27 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "add " << <a href='013direct_addressing.cc.html#L136'>rname</a>(arg2) << " to r/m32" << end(); 28 int32_t* signed_arg1 = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 29 int32_t signed_result = *signed_arg1 + <a href='010---vm.cc.html#L28'>Reg</a>[arg2].i; 30 SF = (signed_result < 0); 31 <a href='010---vm.cc.html#L83'>ZF</a> = (signed_result == 0); 32 int64_t signed_full_result = static_cast<int64_t>(*signed_arg1) + <a href='010---vm.cc.html#L28'>Reg</a>[arg2].i; 33 <a href='010---vm.cc.html#L85'>OF</a> = (signed_result != signed_full_result); 34 // set CF 35 uint32_t unsigned_arg1 = static_cast<uint32_t>(*signed_arg1); 36 uint32_t unsigned_result = unsigned_arg1 + <a href='010---vm.cc.html#L28'>Reg</a>[arg2].u; 37 uint64_t unsigned_full_result = static_cast<uint64_t>(unsigned_arg1) + <a href='010---vm.cc.html#L28'>Reg</a>[arg2].u; 38 <a href='010---vm.cc.html#L84'>CF</a> = (unsigned_result != unsigned_full_result); 39 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "SF=" << SF << "; ZF=" << <a href='010---vm.cc.html#L83'>ZF</a> << "; CF=" << <a href='010---vm.cc.html#L84'>CF</a> << "; OF=" << <a href='010---vm.cc.html#L85'>OF</a> << end(); 40 *signed_arg1 = signed_result; 41 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *signed_arg1 << end(); 42 break; 43 } 44 45 :(code) 46 void <a href='013direct_addressing.cc.html#L46'>test_add_r32_to_r32_signed_overflow</a>() { 47 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0x7fffffff; // largest positive signed integer 48 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 1; 49 <a href='011run.cc.html#L83'>run</a>( 50 "== code 0x1\n" // code segment 51 // op ModR/M SIB displacement immediate 52 " 01 d8 \n" // add EBX to EAX 53 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 54 ); 55 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 56 "run: add <a href='010---vm.cc.html#L16'>EBX</a> to r/m32\n" 57 "run: r/m32 is EAX\n" 58 "run: SF=1; ZF=0; CF=0; OF=1\n" 59 "run: storing 0x80000000\n" 60 ); 61 } 62 63 void <a href='013direct_addressing.cc.html#L63'>test_add_r32_to_r32_unsigned_overflow</a>() { 64 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].u = 0xffffffff; // largest unsigned number 65 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].u = 1; 66 <a href='011run.cc.html#L83'>run</a>( 67 "== code 0x1\n" // code segment 68 // op ModR/M SIB displacement immediate 69 " 01 d8 \n" // add EBX to EAX 70 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 71 ); 72 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 73 "run: add <a href='010---vm.cc.html#L16'>EBX</a> to r/m32\n" 74 "run: r/m32 is EAX\n" 75 "run: SF=0; ZF=1; CF=1; OF=0\n" 76 "run: storing 0x00000000\n" 77 ); 78 } 79 80 void <a href='013direct_addressing.cc.html#L80'>test_add_r32_to_r32_unsigned_and_signed_overflow</a>() { 81 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].u = <a href='010---vm.cc.html#L28'>Reg</a>[EBX].u = 0x80000000; // smallest negative signed integer 82 <a href='011run.cc.html#L83'>run</a>( 83 "== code 0x1\n" // code segment 84 // op ModR/M SIB displacement immediate 85 " 01 d8 \n" // add EBX to EAX 86 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 87 ); 88 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 89 "run: add <a href='010---vm.cc.html#L16'>EBX</a> to r/m32\n" 90 "run: r/m32 is EAX\n" 91 "run: SF=0; ZF=1; CF=1; OF=1\n" 92 "run: storing 0x00000000\n" 93 ); 94 } 95 96 :(code) 97 // Implement tables 2-2 and 2-3 in the Intel manual, Volume 2. 98 // We return a pointer so that instructions can write to multiple bytes in 99 // 'Mem' at once. 100 // beware: will eventually have side-effects 101 int32_t* <a href='013direct_addressing.cc.html#L101'>effective_address</a>(uint8_t modrm) { 102 const uint8_t mod = (modrm>>6); 103 // ignore middle 3 'reg opcode' bits 104 const uint8_t rm = modrm & 0x7; 105 if (mod == 3) { 106 // mod 3 is just register direct addressing 107 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "r/m32 is " << <a href='013direct_addressing.cc.html#L136'>rname</a>(rm) << end(); 108 return &<a href='010---vm.cc.html#L28'>Reg</a>[rm].i; 109 } 110 uint32_t addr = <a href='013direct_addressing.cc.html#L116'>effective_address_number</a>(modrm); 111 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "effective address contains " << <a href='010---vm.cc.html#L179'>read_mem_i32</a>(addr) << end(); 112 return <a href='010---vm.cc.html#L219'>mem_addr_i32</a>(addr); 113 } 114 115 // beware: will eventually have side-effects 116 uint32_t <a href='013direct_addressing.cc.html#L116'>effective_address_number</a>(uint8_t modrm) { 117 const uint8_t mod = (modrm>>6); 118 // ignore middle 3 'reg opcode' bits 119 const uint8_t rm = modrm & 0x7; 120 uint32_t addr = 0; 121 switch (mod) { 122 case 3: 123 // mod 3 is just register direct addressing 124 <a href='003trace.cc.html#L226'>raise</a> << "unexpected direct addressing mode\n" << end(); 125 return 0; 126 // End Mod Special-cases(addr) 127 default: 128 cerr << "unrecognized mod bits: " << <a href='010---vm.cc.html#L400'>NUM</a>(mod) << '\n'; 129 exit(1); 130 } 131 //: other mods are indirect, and they'll set addr appropriately 132 // Found effective_address(addr) 133 return addr; 134 } 135 136 string <a href='013direct_addressing.cc.html#L136'>rname</a>(uint8_t r) { 137 switch (r) { 138 case 0: return "EAX"; 139 case 1: return "ECX"; 140 case 2: return "EDX"; 141 case 3: return "EBX"; 142 case 4: return "ESP"; 143 case 5: return "EBP"; 144 case 6: return "ESI"; 145 case 7: return "EDI"; 146 default: <a href='003trace.cc.html#L226'>raise</a> << "invalid register " << r << '\n' << end(); return ""; 147 } 148 } 149 150 //:: subtract 151 152 :(before "End Initialize Op Names") 153 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "29", "subtract r32 from rm32 (sub)"); 154 155 :(code) 156 void <a href='013direct_addressing.cc.html#L156'>test_subtract_r32_from_r32</a>() { 157 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 10; 158 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 1; 159 <a href='011run.cc.html#L83'>run</a>( 160 "== code 0x1\n" // code segment 161 // op ModR/M SIB displacement immediate 162 " 29 d8 \n" // subtract EBX from EAX 163 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 164 ); 165 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 166 "run: subtract <a href='010---vm.cc.html#L16'>EBX</a> from r/m32\n" 167 "run: r/m32 is EAX\n" 168 "run: storing 0x00000009\n" 169 ); 170 } 171 172 :(before "End Single-Byte Opcodes") 173 case 0x29: { // subtract r32 from r/m32 174 const uint8_t modrm = <a href='010---vm.cc.html#L328'>next</a>(); 175 const uint8_t arg2 = (modrm>>3)&0x7; 176 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "subtract " << <a href='013direct_addressing.cc.html#L136'>rname</a>(arg2) << " from r/m32" << end(); 177 int32_t* signed_arg1 = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 178 int32_t signed_result = *signed_arg1 - <a href='010---vm.cc.html#L28'>Reg</a>[arg2].i; 179 SF = (signed_result < 0); 180 <a href='010---vm.cc.html#L83'>ZF</a> = (signed_result == 0); 181 int64_t signed_full_result = static_cast<int64_t>(*signed_arg1) - <a href='010---vm.cc.html#L28'>Reg</a>[arg2].i; 182 <a href='010---vm.cc.html#L85'>OF</a> = (signed_result != signed_full_result); 183 // set CF 184 uint32_t unsigned_arg1 = static_cast<uint32_t>(*signed_arg1); 185 uint32_t unsigned_result = unsigned_arg1 - <a href='010---vm.cc.html#L28'>Reg</a>[arg2].u; 186 uint64_t unsigned_full_result = static_cast<uint64_t>(unsigned_arg1) - <a href='010---vm.cc.html#L28'>Reg</a>[arg2].u; 187 <a href='010---vm.cc.html#L84'>CF</a> = (unsigned_result != unsigned_full_result); 188 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "SF=" << SF << "; ZF=" << <a href='010---vm.cc.html#L83'>ZF</a> << "; CF=" << <a href='010---vm.cc.html#L84'>CF</a> << "; OF=" << <a href='010---vm.cc.html#L85'>OF</a> << end(); 189 *signed_arg1 = signed_result; 190 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *signed_arg1 << end(); 191 break; 192 } 193 194 :(code) 195 void <a href='013direct_addressing.cc.html#L195'>test_subtract_r32_from_r32_signed_overflow</a>() { 196 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0x80000000; // smallest negative signed integer 197 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0x7fffffff; // largest positive signed integer 198 <a href='011run.cc.html#L83'>run</a>( 199 "== code 0x1\n" // code segment 200 // op ModR/M SIB displacement immediate 201 " 29 d8 \n" // subtract EBX from EAX 202 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 203 ); 204 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 205 "run: subtract <a href='010---vm.cc.html#L16'>EBX</a> from r/m32\n" 206 "run: r/m32 is EAX\n" 207 "run: SF=0; ZF=0; CF=0; OF=1\n" 208 "run: storing 0x00000001\n" 209 ); 210 } 211 212 void <a href='013direct_addressing.cc.html#L212'>test_subtract_r32_from_r32_unsigned_overflow</a>() { 213 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0; 214 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 1; 215 <a href='011run.cc.html#L83'>run</a>( 216 "== code 0x1\n" // code segment 217 // op ModR/M SIB displacement immediate 218 " 29 d8 \n" // subtract EBX from EAX 219 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 220 ); 221 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 222 "run: subtract <a href='010---vm.cc.html#L16'>EBX</a> from r/m32\n" 223 "run: r/m32 is EAX\n" 224 "run: SF=1; ZF=0; CF=1; OF=0\n" 225 "run: storing 0xffffffff\n" 226 ); 227 } 228 229 void <a href='013direct_addressing.cc.html#L229'>test_subtract_r32_from_r32_signed_and_unsigned_overflow</a>() { 230 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0; 231 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0x80000000; // smallest negative signed integer 232 <a href='011run.cc.html#L83'>run</a>( 233 "== code 0x1\n" // code segment 234 // op ModR/M SIB displacement immediate 235 " 29 d8 \n" // subtract EBX from EAX 236 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 237 ); 238 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 239 "run: subtract <a href='010---vm.cc.html#L16'>EBX</a> from r/m32\n" 240 "run: r/m32 is EAX\n" 241 "run: SF=1; ZF=0; CF=1; OF=1\n" 242 "run: storing 0x80000000\n" 243 ); 244 } 245 246 //:: multiply 247 248 :(before "End Initialize Op Names") 249 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "f7", "negate/multiply/divide rm32 (with <a href='010---vm.cc.html#L13'>EAX</a> and <a href='010---vm.cc.html#L15'>EDX</a> if necessary) depending on subop (neg/mul/idiv)"); 250 251 :(code) 252 void <a href='013direct_addressing.cc.html#L252'>test_multiply_EAX_by_r32</a>() { 253 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 4; 254 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].i = 3; 255 <a href='011run.cc.html#L83'>run</a>( 256 "== code 0x1\n" // code segment 257 // op ModR/M SIB displacement immediate 258 " f7 e1 \n" // multiply EAX by ECX 259 // ModR/M in binary: 11 (direct mode) 100 (subop mul) 001 (src ECX) 260 ); 261 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 262 "run: operate on r/m32\n" 263 "run: r/m32 is ECX\n" 264 "run: subop: multiply <a href='010---vm.cc.html#L13'>EAX</a> by r/m32\n" 265 "run: storing 0x0000000c\n" 266 ); 267 } 268 269 :(before "End Single-Byte Opcodes") 270 case 0xf7: { 271 const uint8_t modrm = <a href='010---vm.cc.html#L328'>next</a>(); 272 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "operate on r/m32" << end(); 273 int32_t* arg1 = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 274 const uint8_t subop = (modrm>>3)&0x7; // middle 3 'reg opcode' bits 275 switch (subop) { 276 case 4: { // mul unsigned EAX by r/m32 277 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "subop: multiply <a href='010---vm.cc.html#L13'>EAX</a> by r/m32" << end(); 278 const uint64_t result = static_cast<uint64_t>(<a href='010---vm.cc.html#L28'>Reg</a>[EAX].u) * static_cast<uint32_t>(*arg1); 279 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].u = result & 0xffffffff; 280 <a href='010---vm.cc.html#L28'>Reg</a>[EDX].u = result >> 32; 281 <a href='010---vm.cc.html#L85'>OF</a> = (<a href='010---vm.cc.html#L28'>Reg</a>[EDX].u != 0); 282 <a href='010---vm.cc.html#L84'>CF</a> = <a href='010---vm.cc.html#L85'>OF</a>; 283 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "SF=" << SF << "; ZF=" << <a href='010---vm.cc.html#L83'>ZF</a> << "; CF=" << <a href='010---vm.cc.html#L84'>CF</a> << "; OF=" << <a href='010---vm.cc.html#L85'>OF</a> << end(); 284 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << <a href='010---vm.cc.html#L28'>Reg</a>[EAX].u << end(); 285 break; 286 } 287 // End Op f7 Subops 288 default: 289 cerr << "unrecognized subop for opcode f7: " << <a href='010---vm.cc.html#L400'>NUM</a>(subop) << '\n'; 290 exit(1); 291 } 292 break; 293 } 294 295 //: 296 297 :(before "End Initialize Op Names") 298 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L346'>Name_0f</a>, "af", "multiply rm32 into r32 (imul)"); 299 300 :(code) 301 void <a href='013direct_addressing.cc.html#L301'>test_multiply_r32_into_r32</a>() { 302 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 4; 303 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 2; 304 <a href='011run.cc.html#L83'>run</a>( 305 "== code 0x1\n" // code segment 306 // op ModR/M SIB displacement immediate 307 " 0f af d8 \n" // subtract EBX into EAX 308 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 309 ); 310 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 311 "run: multiply <a href='010---vm.cc.html#L16'>EBX</a> by r/m32\n" 312 "run: r/m32 is EAX\n" 313 "run: storing 0x00000008\n" 314 ); 315 } 316 317 :(before "End Two-Byte Opcodes Starting With 0f") 318 case 0xaf: { // multiply r32 by r/m32 319 const uint8_t modrm = <a href='010---vm.cc.html#L328'>next</a>(); 320 const uint8_t arg1 = (modrm>>3)&0x7; 321 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "multiply " << <a href='013direct_addressing.cc.html#L136'>rname</a>(arg1) << " by r/m32" << end(); 322 const int32_t* arg2 = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 323 int32_t result = <a href='010---vm.cc.html#L28'>Reg</a>[arg1].i * (*arg2); 324 SF = (<a href='010---vm.cc.html#L28'>Reg</a>[arg1].i < 0); 325 <a href='010---vm.cc.html#L83'>ZF</a> = (<a href='010---vm.cc.html#L28'>Reg</a>[arg1].i == 0); 326 int64_t full_result = static_cast<int64_t>(<a href='010---vm.cc.html#L28'>Reg</a>[arg1].i) * (*arg2); 327 <a href='010---vm.cc.html#L85'>OF</a> = (<a href='010---vm.cc.html#L28'>Reg</a>[arg1].i != full_result); 328 <a href='010---vm.cc.html#L84'>CF</a> = <a href='010---vm.cc.html#L85'>OF</a>; 329 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "SF=" << SF << "; ZF=" << <a href='010---vm.cc.html#L83'>ZF</a> << "; CF=" << <a href='010---vm.cc.html#L84'>CF</a> << "; OF=" << <a href='010---vm.cc.html#L85'>OF</a> << end(); 330 <a href='010---vm.cc.html#L28'>Reg</a>[arg1].i = result; 331 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << <a href='010---vm.cc.html#L28'>Reg</a>[arg1].i << end(); 332 break; 333 } 334 335 //:: negate 336 337 :(code) 338 void <a href='013direct_addressing.cc.html#L338'>test_negate_r32</a>() { 339 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 1; 340 <a href='011run.cc.html#L83'>run</a>( 341 "== code 0x1\n" // code segment 342 // op ModR/M SIB displacement immediate 343 " f7 db \n" // negate EBX 344 // ModR/M in binary: 11 (direct mode) 011 (subop negate) 011 (dest EBX) 345 ); 346 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 347 "run: operate on r/m32\n" 348 "run: r/m32 is EBX\n" 349 "run: subop: negate\n" 350 "run: storing 0xffffffff\n" 351 ); 352 } 353 354 :(before "End Op f7 Subops") 355 case 3: { // negate r/m32 356 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "subop: negate" << end(); 357 // one case that can overflow 358 if (static_cast<uint32_t>(*arg1) == 0x80000000) { 359 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "overflow" << end(); 360 SF = true; 361 <a href='010---vm.cc.html#L83'>ZF</a> = false; 362 <a href='010---vm.cc.html#L85'>OF</a> = true; 363 break; 364 } 365 int32_t result = -(*arg1); 366 SF = (result >> 31); 367 <a href='010---vm.cc.html#L83'>ZF</a> = (result == 0); 368 <a href='010---vm.cc.html#L85'>OF</a> = false; 369 <a href='010---vm.cc.html#L84'>CF</a> = (*arg1 != 0); 370 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "SF=" << SF << "; ZF=" << <a href='010---vm.cc.html#L83'>ZF</a> << "; CF=" << <a href='010---vm.cc.html#L84'>CF</a> << "; OF=" << <a href='010---vm.cc.html#L85'>OF</a> << end(); 371 *arg1 = result; 372 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *arg1 << end(); 373 break; 374 } 375 376 :(code) 377 // negate can overflow in exactly one situation 378 void <a href='013direct_addressing.cc.html#L378'>test_negate_can_overflow</a>() { 379 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0x80000000; // INT_MIN 380 <a href='011run.cc.html#L83'>run</a>( 381 "== code 0x1\n" // code segment 382 // op ModR/M SIB displacement immediate 383 " f7 db \n" // negate EBX 384 // ModR/M in binary: 11 (direct mode) 011 (subop negate) 011 (dest EBX) 385 ); 386 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 387 "run: operate on r/m32\n" 388 "run: r/m32 is EBX\n" 389 "run: subop: negate\n" 390 "run: overflow\n" 391 ); 392 } 393 394 //:: divide with remainder 395 396 void <a href='013direct_addressing.cc.html#L396'>test_divide_EAX_by_rm32</a>() { 397 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].u = 7; 398 <a href='010---vm.cc.html#L28'>Reg</a>[EDX].u = 0; 399 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].i = 3; 400 <a href='011run.cc.html#L83'>run</a>( 401 "== code 0x1\n" // code segment 402 // op ModR/M SIB displacement immediate 403 " f7 f9 \n" // multiply EAX by ECX 404 // ModR/M in binary: 11 (direct mode) 111 (subop idiv) 001 (divisor ECX) 405 ); 406 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 407 "run: operate on r/m32\n" 408 "run: r/m32 is ECX\n" 409 "run: subop: divide <a href='010---vm.cc.html#L15'>EDX</a>:<a href='010---vm.cc.html#L13'>EAX</a> by r/m32, storing quotient in <a href='010---vm.cc.html#L13'>EAX</a> and remainder in EDX\n" 410 "run: quotient: 0x00000002\n" 411 "run: remainder: 0x00000001\n" 412 ); 413 } 414 415 :(before "End Op f7 Subops") 416 case 7: { // divide EDX:EAX by r/m32, storing quotient in EAX and remainder in EDX 417 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "subop: divide <a href='010---vm.cc.html#L15'>EDX</a>:<a href='010---vm.cc.html#L13'>EAX</a> by r/m32, storing quotient in <a href='010---vm.cc.html#L13'>EAX</a> and remainder in EDX" << end(); 418 int64_t dividend = static_cast<int64_t>((static_cast<uint64_t>(<a href='010---vm.cc.html#L28'>Reg</a>[EDX].u) << 32) | <a href='010---vm.cc.html#L28'>Reg</a>[EAX].u); 419 int32_t divisor = *arg1; 420 assert(divisor != 0); 421 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = dividend/divisor; // quotient 422 <a href='010---vm.cc.html#L28'>Reg</a>[EDX].i = dividend%divisor; // remainder 423 // flag state undefined 424 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "quotient: 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i << end(); 425 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "remainder: 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << <a href='010---vm.cc.html#L28'>Reg</a>[EDX].i << end(); 426 break; 427 } 428 429 :(code) 430 void <a href='013direct_addressing.cc.html#L430'>test_divide_EAX_by_negative_rm32</a>() { 431 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].u = 7; 432 <a href='010---vm.cc.html#L28'>Reg</a>[EDX].u = 0; 433 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].i = -3; 434 <a href='011run.cc.html#L83'>run</a>( 435 "== code 0x1\n" // code segment 436 // op ModR/M SIB displacement immediate 437 " f7 f9 \n" // multiply EAX by ECX 438 // ModR/M in binary: 11 (direct mode) 111 (subop idiv) 001 (divisor ECX) 439 ); 440 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 441 "run: operate on r/m32\n" 442 "run: r/m32 is ECX\n" 443 "run: subop: divide <a href='010---vm.cc.html#L15'>EDX</a>:<a href='010---vm.cc.html#L13'>EAX</a> by r/m32, storing quotient in <a href='010---vm.cc.html#L13'>EAX</a> and remainder in EDX\n" 444 "run: quotient: 0xfffffffe\n" // -2 445 "run: remainder: 0x00000001\n" 446 ); 447 } 448 449 void <a href='013direct_addressing.cc.html#L449'>test_divide_negative_EAX_by_rm32</a>() { 450 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = -7; 451 <a href='010---vm.cc.html#L28'>Reg</a>[EDX].i = -1; // sign extend 452 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].i = 3; 453 <a href='011run.cc.html#L83'>run</a>( 454 "== code 0x1\n" // code segment 455 // op ModR/M SIB displacement immediate 456 " f7 f9 \n" // multiply EAX by ECX 457 // ModR/M in binary: 11 (direct mode) 111 (subop idiv) 001 (divisor ECX) 458 ); 459 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 460 "run: operate on r/m32\n" 461 "run: r/m32 is ECX\n" 462 "run: subop: divide <a href='010---vm.cc.html#L15'>EDX</a>:<a href='010---vm.cc.html#L13'>EAX</a> by r/m32, storing quotient in <a href='010---vm.cc.html#L13'>EAX</a> and remainder in EDX\n" 463 "run: quotient: 0xfffffffe\n" // -2 464 "run: remainder: 0xffffffff\n" // -1, same sign as divident (EDX:EAX) 465 ); 466 } 467 468 void <a href='013direct_addressing.cc.html#L468'>test_divide_negative_EDX_EAX_by_rm32</a>() { 469 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0; // lower 32 bits are clear 470 <a href='010---vm.cc.html#L28'>Reg</a>[EDX].i = -7; 471 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].i = 0x40000000; // 2^30 (largest positive power of 2) 472 <a href='011run.cc.html#L83'>run</a>( 473 "== code 0x1\n" // code segment 474 // op ModR/M SIB displacement immediate 475 " f7 f9 \n" // multiply EAX by ECX 476 // ModR/M in binary: 11 (direct mode) 111 (subop idiv) 001 (divisor ECX) 477 ); 478 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 479 "run: operate on r/m32\n" 480 "run: r/m32 is ECX\n" 481 "run: subop: divide <a href='010---vm.cc.html#L15'>EDX</a>:<a href='010---vm.cc.html#L13'>EAX</a> by r/m32, storing quotient in <a href='010---vm.cc.html#L13'>EAX</a> and remainder in EDX\n" 482 "run: quotient: 0xffffffe4\n" // (-7 << 32) / (1 << 30) = -7 << 2 = -28 483 "run: remainder: 0x00000000\n" 484 ); 485 } 486 487 //:: shift left 488 489 :(before "End Initialize Op Names") 490 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "d3", "shift rm32 by CL bits depending on subop (sal/sar/shl/shr)"); 491 492 :(code) 493 void <a href='013direct_addressing.cc.html#L493'>test_shift_left_r32_with_cl</a>() { 494 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 13; 495 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].i = 1; 496 <a href='011run.cc.html#L83'>run</a>( 497 "== code 0x1\n" // code segment 498 // op ModR/M SIB displacement immediate 499 " d3 e3 \n" // shift EBX left by CL bits 500 // ModR/M in binary: 11 (direct mode) 100 (subop shift left) 011 (dest EBX) 501 ); 502 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 503 "run: operate on r/m32\n" 504 "run: r/m32 is EBX\n" 505 "run: subop: shift left by CL bits\n" 506 "run: storing 0x0000001a\n" 507 ); 508 } 509 510 :(before "End Single-Byte Opcodes") 511 case 0xd3: { 512 const uint8_t modrm = <a href='010---vm.cc.html#L328'>next</a>(); 513 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "operate on r/m32" << end(); 514 int32_t* arg1 = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 515 const uint8_t subop = (modrm>>3)&0x7; // middle 3 'reg opcode' bits 516 switch (subop) { 517 case 4: { // shift left r/m32 by CL 518 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "subop: shift left by CL bits" << end(); 519 uint8_t count = <a href='010---vm.cc.html#L28'>Reg</a>[ECX].u & 0x1f; 520 // OF is only defined if count is 1 521 if (count == 1) { 522 bool msb = (*arg1 & 0x80000000) >> 1; 523 bool pnsb = (*arg1 & 0x40000000); 524 <a href='010---vm.cc.html#L85'>OF</a> = (msb != pnsb); 525 } 526 int32_t result = (*arg1 << count); 527 <a href='010---vm.cc.html#L83'>ZF</a> = (result == 0); 528 SF = (result < 0); 529 <a href='010---vm.cc.html#L84'>CF</a> = (*arg1 << (count-1)) & 0x80000000; 530 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "SF=" << SF << "; ZF=" << <a href='010---vm.cc.html#L83'>ZF</a> << "; CF=" << <a href='010---vm.cc.html#L84'>CF</a> << "; OF=" << <a href='010---vm.cc.html#L85'>OF</a> << end(); 531 *arg1 = result; 532 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *arg1 << end(); 533 break; 534 } 535 // End Op d3 Subops 536 default: 537 cerr << "unrecognized subop for opcode d3: " << <a href='010---vm.cc.html#L400'>NUM</a>(subop) << '\n'; 538 exit(1); 539 } 540 break; 541 } 542 543 //:: shift right arithmetic 544 545 :(code) 546 void <a href='013direct_addressing.cc.html#L546'>test_shift_right_arithmetic_r32_with_cl</a>() { 547 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 26; 548 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].i = 1; 549 <a href='011run.cc.html#L83'>run</a>( 550 "== code 0x1\n" // code segment 551 // op ModR/M SIB displacement immediate 552 " d3 fb \n" // shift EBX right by CL bits, while preserving sign 553 // ModR/M in binary: 11 (direct mode) 111 (subop shift right arithmetic) 011 (dest EBX) 554 ); 555 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 556 "run: operate on r/m32\n" 557 "run: r/m32 is EBX\n" 558 "run: subop: shift right by CL bits, while preserving sign\n" 559 "run: storing 0x0000000d\n" 560 ); 561 } 562 563 :(before "End Op d3 Subops") 564 case 7: { // shift right r/m32 by CL, preserving sign 565 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "subop: shift right by CL bits, while preserving sign" << end(); 566 uint8_t count = <a href='010---vm.cc.html#L28'>Reg</a>[ECX].u & 0x1f; 567 *arg1 = (*arg1 >> count); 568 <a href='010---vm.cc.html#L83'>ZF</a> = (*arg1 == 0); 569 SF = (*arg1 < 0); 570 // OF is only defined if count is 1 571 if (count == 1) <a href='010---vm.cc.html#L85'>OF</a> = false; 572 // CF undefined 573 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *arg1 << end(); 574 break; 575 } 576 577 :(code) 578 void <a href='013direct_addressing.cc.html#L578'>test_shift_right_arithmetic_odd_r32_with_cl</a>() { 579 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 27; 580 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].i = 1; 581 <a href='011run.cc.html#L83'>run</a>( 582 "== code 0x1\n" // code segment 583 // op ModR/M SIB displacement immediate 584 " d3 fb \n" // shift EBX right by CL bits, while preserving sign 585 // ModR/M in binary: 11 (direct mode) 111 (subop shift right arithmetic) 011 (dest EBX) 586 ); 587 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 588 "run: operate on r/m32\n" 589 "run: r/m32 is EBX\n" 590 "run: subop: shift right by CL bits, while preserving sign\n" 591 // result: 13 592 "run: storing 0x0000000d\n" 593 ); 594 } 595 596 void <a href='013direct_addressing.cc.html#L596'>test_shift_right_arithmetic_negative_r32_with_cl</a>() { 597 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0xfffffffd; // -3 598 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].i = 1; 599 <a href='011run.cc.html#L83'>run</a>( 600 "== code 0x1\n" // code segment 601 // op ModR/M SIB displacement immediate 602 " d3 fb \n" // shift EBX right by CL bits, while preserving sign 603 // ModR/M in binary: 11 (direct mode) 111 (subop shift right arithmetic) 011 (dest EBX) 604 ); 605 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 606 "run: operate on r/m32\n" 607 "run: r/m32 is EBX\n" 608 "run: subop: shift right by CL bits, while preserving sign\n" 609 // result: -2 610 "run: storing 0xfffffffe\n" 611 ); 612 } 613 614 //:: shift right logical 615 616 :(code) 617 void <a href='013direct_addressing.cc.html#L617'>test_shift_right_logical_r32_with_cl</a>() { 618 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 26; 619 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].i = 1; 620 <a href='011run.cc.html#L83'>run</a>( 621 "== code 0x1\n" // code segment 622 // op ModR/M SIB displacement immediate 623 " d3 eb \n" // shift EBX right by CL bits, while padding zeroes 624 // ModR/M in binary: 11 (direct mode) 101 (subop shift right logical) 011 (dest EBX) 625 ); 626 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 627 "run: operate on r/m32\n" 628 "run: r/m32 is EBX\n" 629 "run: subop: shift right by CL bits, while padding zeroes\n" 630 // result: 13 631 "run: storing 0x0000000d\n" 632 ); 633 } 634 635 :(before "End Op d3 Subops") 636 case 5: { // shift right r/m32 by CL, padding zeroes 637 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "subop: shift right by CL bits, while padding zeroes" << end(); 638 uint8_t count = <a href='010---vm.cc.html#L28'>Reg</a>[ECX].u & 0x1f; 639 // OF is only defined if count is 1 640 if (count == 1) { 641 bool msb = (*arg1 & 0x80000000) >> 1; 642 bool pnsb = (*arg1 & 0x40000000); 643 <a href='010---vm.cc.html#L85'>OF</a> = (msb != pnsb); 644 } 645 uint32_t* uarg1 = reinterpret_cast<uint32_t*>(arg1); 646 *uarg1 = (*uarg1 >> count); 647 <a href='010---vm.cc.html#L83'>ZF</a> = (*uarg1 == 0); 648 // result is always positive by definition 649 SF = false; 650 // CF undefined 651 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *arg1 << end(); 652 break; 653 } 654 655 :(code) 656 void <a href='013direct_addressing.cc.html#L656'>test_shift_right_logical_odd_r32_with_cl</a>() { 657 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 27; 658 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].i = 1; 659 <a href='011run.cc.html#L83'>run</a>( 660 "== code 0x1\n" // code segment 661 // op ModR/M SIB displacement immediate 662 " d3 eb \n" // shift EBX right by CL bits, while padding zeroes 663 // ModR/M in binary: 11 (direct mode) 101 (subop shift right logical) 011 (dest EBX) 664 ); 665 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 666 "run: operate on r/m32\n" 667 "run: r/m32 is EBX\n" 668 "run: subop: shift right by CL bits, while padding zeroes\n" 669 // result: 13 670 "run: storing 0x0000000d\n" 671 ); 672 } 673 674 void <a href='013direct_addressing.cc.html#L674'>test_shift_right_logical_negative_r32_with_cl</a>() { 675 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0xfffffffd; 676 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].i = 1; 677 <a href='011run.cc.html#L83'>run</a>( 678 "== code 0x1\n" // code segment 679 // op ModR/M SIB displacement immediate 680 " d3 eb \n" // shift EBX right by CL bits, while padding zeroes 681 // ModR/M in binary: 11 (direct mode) 101 (subop shift right logical) 011 (dest EBX) 682 ); 683 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 684 "run: operate on r/m32\n" 685 "run: r/m32 is EBX\n" 686 "run: subop: shift right by CL bits, while padding zeroes\n" 687 "run: storing 0x7ffffffe\n" 688 ); 689 } 690 691 //:: and 692 693 :(before "End Initialize Op Names") 694 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "21", "rm32 = bitwise AND of r32 with rm32 (and)"); 695 696 :(code) 697 void <a href='013direct_addressing.cc.html#L697'>test_and_r32_with_r32</a>() { 698 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0x0a0b0c0d; 699 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0x000000ff; 700 <a href='011run.cc.html#L83'>run</a>( 701 "== code 0x1\n" // code segment 702 // op ModR/M SIB displacement immediate 703 " 21 d8 \n" // and EBX with destination EAX 704 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 705 ); 706 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 707 "run: and <a href='010---vm.cc.html#L16'>EBX</a> with r/m32\n" 708 "run: r/m32 is EAX\n" 709 "run: storing 0x0000000d\n" 710 ); 711 } 712 713 :(before "End Single-Byte Opcodes") 714 case 0x21: { // and r32 with r/m32 715 const uint8_t modrm = <a href='010---vm.cc.html#L328'>next</a>(); 716 const uint8_t arg2 = (modrm>>3)&0x7; 717 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "and " << <a href='013direct_addressing.cc.html#L136'>rname</a>(arg2) << " with r/m32" << end(); 718 // bitwise ops technically operate on unsigned numbers, but it makes no 719 // difference 720 int32_t* signed_arg1 = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 721 *signed_arg1 &= <a href='010---vm.cc.html#L28'>Reg</a>[arg2].i; 722 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *signed_arg1 << end(); 723 SF = (*signed_arg1 >> 31); 724 <a href='010---vm.cc.html#L83'>ZF</a> = (*signed_arg1 == 0); 725 <a href='010---vm.cc.html#L84'>CF</a> = false; 726 <a href='010---vm.cc.html#L85'>OF</a> = false; 727 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "SF=" << SF << "; ZF=" << <a href='010---vm.cc.html#L83'>ZF</a> << "; CF=" << <a href='010---vm.cc.html#L84'>CF</a> << "; OF=" << <a href='010---vm.cc.html#L85'>OF</a> << end(); 728 break; 729 } 730 731 //:: or 732 733 :(before "End Initialize Op Names") 734 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "09", "rm32 = bitwise OR of r32 with rm32 (or)"); 735 736 :(code) 737 void <a href='013direct_addressing.cc.html#L737'>test_or_r32_with_r32</a>() { 738 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0x0a0b0c0d; 739 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0xa0b0c0d0; 740 <a href='011run.cc.html#L83'>run</a>( 741 "== code 0x1\n" // code segment 742 // op ModR/M SIB displacement immediate 743 " 09 d8 \n" // or EBX with destination EAX 744 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 745 ); 746 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 747 "run: or <a href='010---vm.cc.html#L16'>EBX</a> with r/m32\n" 748 "run: r/m32 is EAX\n" 749 "run: storing 0xaabbccdd\n" 750 ); 751 } 752 753 :(before "End Single-Byte Opcodes") 754 case 0x09: { // or r32 with r/m32 755 const uint8_t modrm = <a href='010---vm.cc.html#L328'>next</a>(); 756 const uint8_t arg2 = (modrm>>3)&0x7; 757 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "or " << <a href='013direct_addressing.cc.html#L136'>rname</a>(arg2) << " with r/m32" << end(); 758 // bitwise ops technically operate on unsigned numbers, but it makes no 759 // difference 760 int32_t* signed_arg1 = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 761 *signed_arg1 |= <a href='010---vm.cc.html#L28'>Reg</a>[arg2].i; 762 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *signed_arg1 << end(); 763 SF = (*signed_arg1 >> 31); 764 <a href='010---vm.cc.html#L83'>ZF</a> = (*signed_arg1 == 0); 765 <a href='010---vm.cc.html#L84'>CF</a> = false; 766 <a href='010---vm.cc.html#L85'>OF</a> = false; 767 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "SF=" << SF << "; ZF=" << <a href='010---vm.cc.html#L83'>ZF</a> << "; CF=" << <a href='010---vm.cc.html#L84'>CF</a> << "; OF=" << <a href='010---vm.cc.html#L85'>OF</a> << end(); 768 break; 769 } 770 771 //:: xor 772 773 :(before "End Initialize Op Names") 774 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "31", "rm32 = bitwise XOR of r32 with rm32 (xor)"); 775 776 :(code) 777 void <a href='013direct_addressing.cc.html#L777'>test_xor_r32_with_r32</a>() { 778 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0x0a0b0c0d; 779 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0xaabbc0d0; 780 <a href='011run.cc.html#L83'>run</a>( 781 "== code 0x1\n" // code segment 782 // op ModR/M SIB displacement immediate 783 " 31 d8 \n" // xor EBX with destination EAX 784 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 785 ); 786 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 787 "run: xor <a href='010---vm.cc.html#L16'>EBX</a> with r/m32\n" 788 "run: r/m32 is EAX\n" 789 "run: storing 0xa0b0ccdd\n" 790 ); 791 } 792 793 :(before "End Single-Byte Opcodes") 794 case 0x31: { // xor r32 with r/m32 795 const uint8_t modrm = <a href='010---vm.cc.html#L328'>next</a>(); 796 const uint8_t arg2 = (modrm>>3)&0x7; 797 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "xor " << <a href='013direct_addressing.cc.html#L136'>rname</a>(arg2) << " with r/m32" << end(); 798 // bitwise ops technically operate on unsigned numbers, but it makes no 799 // difference 800 int32_t* signed_arg1 = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 801 *signed_arg1 ^= <a href='010---vm.cc.html#L28'>Reg</a>[arg2].i; 802 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *signed_arg1 << end(); 803 SF = (*signed_arg1 >> 31); 804 <a href='010---vm.cc.html#L83'>ZF</a> = (*signed_arg1 == 0); 805 <a href='010---vm.cc.html#L84'>CF</a> = false; 806 <a href='010---vm.cc.html#L85'>OF</a> = false; 807 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "SF=" << SF << "; ZF=" << <a href='010---vm.cc.html#L83'>ZF</a> << "; CF=" << <a href='010---vm.cc.html#L84'>CF</a> << "; OF=" << <a href='010---vm.cc.html#L85'>OF</a> << end(); 808 break; 809 } 810 811 //:: not 812 813 :(code) 814 void <a href='013direct_addressing.cc.html#L814'>test_not_r32</a>() { 815 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0x0f0f00ff; 816 <a href='011run.cc.html#L83'>run</a>( 817 "== code 0x1\n" // code segment 818 // op ModR/M SIB displacement immediate 819 " f7 d3 \n" // not EBX 820 // ModR/M in binary: 11 (direct mode) 010 (subop not) 011 (dest EBX) 821 ); 822 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 823 "run: operate on r/m32\n" 824 "run: r/m32 is EBX\n" 825 "run: subop: not\n" 826 "run: storing 0xf0f0ff00\n" 827 ); 828 } 829 830 :(before "End Op f7 Subops") 831 case 2: { // not r/m32 832 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "subop: not" << end(); 833 *arg1 = ~(*arg1); 834 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *arg1 << end(); 835 // no flags affected 836 break; 837 } 838 839 //:: compare (cmp) 840 841 :(before "End Initialize Op Names") 842 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "39", "compare: set SF if rm32 < r32 (cmp)"); 843 844 :(code) 845 void <a href='013direct_addressing.cc.html#L845'>test_compare_r32_with_r32_greater</a>() { 846 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0x0a0b0c0d; 847 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0x0a0b0c07; 848 <a href='011run.cc.html#L83'>run</a>( 849 "== code 0x1\n" // code segment 850 // op ModR/M SIB displacement immediate 851 " 39 d8 \n" // compare EAX with EBX 852 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 853 ); 854 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 855 "run: compare r/m32 with EBX\n" 856 "run: r/m32 is EAX\n" 857 "run: SF=0; ZF=0; CF=0; OF=0\n" 858 ); 859 } 860 861 :(before "End Single-Byte Opcodes") 862 case 0x39: { // set SF if r/m32 < r32 863 const uint8_t modrm = <a href='010---vm.cc.html#L328'>next</a>(); 864 const uint8_t reg2 = (modrm>>3)&0x7; 865 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "compare r/m32 with " << <a href='013direct_addressing.cc.html#L136'>rname</a>(reg2) << end(); 866 const int32_t* signed_arg1 = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 867 const int32_t signed_difference = *signed_arg1 - <a href='010---vm.cc.html#L28'>Reg</a>[reg2].i; 868 SF = (signed_difference < 0); 869 <a href='010---vm.cc.html#L83'>ZF</a> = (signed_difference == 0); 870 const int64_t signed_full_difference = static_cast<int64_t>(*signed_arg1) - <a href='010---vm.cc.html#L28'>Reg</a>[reg2].i; 871 <a href='010---vm.cc.html#L85'>OF</a> = (signed_difference != signed_full_difference); 872 // set CF 873 const uint32_t unsigned_arg1 = static_cast<uint32_t>(*signed_arg1); 874 const uint32_t unsigned_difference = unsigned_arg1 - <a href='010---vm.cc.html#L28'>Reg</a>[reg2].u; 875 const uint64_t unsigned_full_difference = static_cast<uint64_t>(unsigned_arg1) - <a href='010---vm.cc.html#L28'>Reg</a>[reg2].u; 876 <a href='010---vm.cc.html#L84'>CF</a> = (unsigned_difference != unsigned_full_difference); 877 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "SF=" << SF << "; ZF=" << <a href='010---vm.cc.html#L83'>ZF</a> << "; CF=" << <a href='010---vm.cc.html#L84'>CF</a> << "; OF=" << <a href='010---vm.cc.html#L85'>OF</a> << end(); 878 break; 879 } 880 881 :(code) 882 void <a href='013direct_addressing.cc.html#L882'>test_compare_r32_with_r32_lesser_unsigned_and_signed</a>() { 883 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0x0a0b0c07; 884 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0x0a0b0c0d; 885 <a href='011run.cc.html#L83'>run</a>( 886 "== code 0x1\n" // code segment 887 // op ModR/M SIB displacement immediate 888 " 39 d8 \n" // compare EAX with EBX 889 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 890 ); 891 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 892 "run: compare r/m32 with EBX\n" 893 "run: r/m32 is EAX\n" 894 "run: SF=1; ZF=0; CF=1; OF=0\n" 895 ); 896 } 897 898 void <a href='013direct_addressing.cc.html#L898'>test_compare_r32_with_r32_lesser_unsigned_and_signed_due_to_overflow</a>() { 899 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0x7fffffff; // largest positive signed integer 900 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0x80000000; // smallest negative signed integer 901 <a href='011run.cc.html#L83'>run</a>( 902 "== code 0x1\n" // code segment 903 // op ModR/M SIB displacement immediate 904 " 39 d8 \n" // compare EAX with EBX 905 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 906 ); 907 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 908 "run: compare r/m32 with EBX\n" 909 "run: r/m32 is EAX\n" 910 "run: SF=1; ZF=0; CF=1; OF=1\n" 911 ); 912 } 913 914 void <a href='013direct_addressing.cc.html#L914'>test_compare_r32_with_r32_lesser_signed</a>() { 915 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0xffffffff; // -1 916 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0x00000001; // 1 917 <a href='011run.cc.html#L83'>run</a>( 918 "== code 0x1\n" // code segment 919 // op ModR/M SIB displacement immediate 920 " 39 d8 \n" // compare EAX with EBX 921 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 922 ); 923 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 924 "run: compare r/m32 with EBX\n" 925 "run: r/m32 is EAX\n" 926 "run: SF=1; ZF=0; CF=0; OF=0\n" 927 ); 928 } 929 930 void <a href='013direct_addressing.cc.html#L930'>test_compare_r32_with_r32_lesser_unsigned</a>() { 931 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0x00000001; // 1 932 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0xffffffff; // -1 933 <a href='011run.cc.html#L83'>run</a>( 934 "== code 0x1\n" // code segment 935 // op ModR/M SIB displacement immediate 936 " 39 d8 \n" // compare EAX with EBX 937 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 938 ); 939 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 940 "run: compare r/m32 with EBX\n" 941 "run: r/m32 is EAX\n" 942 "run: SF=0; ZF=0; CF=1; OF=0\n" 943 ); 944 } 945 946 void <a href='013direct_addressing.cc.html#L946'>test_compare_r32_with_r32_equal</a>() { 947 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0x0a0b0c0d; 948 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0x0a0b0c0d; 949 <a href='011run.cc.html#L83'>run</a>( 950 "== code 0x1\n" // code segment 951 // op ModR/M SIB displacement immediate 952 " 39 d8 \n" // compare EAX and EBX 953 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 954 ); 955 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 956 "run: compare r/m32 with EBX\n" 957 "run: r/m32 is EAX\n" 958 "run: SF=0; ZF=1; CF=0; OF=0\n" 959 ); 960 } 961 962 //:: copy (mov) 963 964 :(before "End Initialize Op Names") 965 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "89", "copy r32 to rm32 (mov)"); 966 967 :(code) 968 void <a href='013direct_addressing.cc.html#L968'>test_copy_r32_to_r32</a>() { 969 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0xaf; 970 <a href='011run.cc.html#L83'>run</a>( 971 "== code 0x1\n" // code segment 972 // op ModR/M SIB displacement immediate 973 " 89 d8 \n" // copy EBX to EAX 974 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 975 ); 976 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 977 "run: copy <a href='010---vm.cc.html#L16'>EBX</a> to r/m32\n" 978 "run: r/m32 is EAX\n" 979 "run: storing 0x000000af\n" 980 ); 981 } 982 983 :(before "End Single-Byte Opcodes") 984 case 0x89: { // copy r32 to r/m32 985 const uint8_t modrm = <a href='010---vm.cc.html#L328'>next</a>(); 986 const uint8_t rsrc = (modrm>>3)&0x7; 987 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "copy " << <a href='013direct_addressing.cc.html#L136'>rname</a>(rsrc) << " to r/m32" << end(); 988 int32_t* dest = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 989 *dest = <a href='010---vm.cc.html#L28'>Reg</a>[rsrc].i; 990 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *dest << end(); 991 break; 992 } 993 994 //:: xchg 995 996 :(before "End Initialize Op Names") 997 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "87", "swap the <a href='003trace.cc.html#L117'>contents</a> of r32 and rm32 (xchg)"); 998 999 :(code) 1000 void <a href='013direct_addressing.cc.html#L1000'>test_xchg_r32_with_r32</a>() { 1001 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0xaf; 1002 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].i = 0x2e; 1003 <a href='011run.cc.html#L83'>run</a>( 1004 "== code 0x1\n" // code segment 1005 // op ModR/M SIB displacement immediate 1006 " 87 d8 \n" // exchange EBX with EAX 1007 // ModR/M in binary: 11 (direct mode) 011 (src EBX) 000 (dest EAX) 1008 ); 1009 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 1010 "run: exchange <a href='010---vm.cc.html#L16'>EBX</a> with r/m32\n" 1011 "run: r/m32 is EAX\n" 1012 "run: storing 0x000000af in r/m32\n" 1013 "run: storing 0x0000002e in EBX\n" 1014 ); 1015 } 1016 1017 :(before "End Single-Byte Opcodes") 1018 case 0x87: { // exchange r32 with r/m32 1019 const uint8_t modrm = <a href='010---vm.cc.html#L328'>next</a>(); 1020 const uint8_t reg2 = (modrm>>3)&0x7; 1021 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "exchange " << <a href='013direct_addressing.cc.html#L136'>rname</a>(reg2) << " with r/m32" << end(); 1022 int32_t* arg1 = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 1023 const int32_t tmp = *arg1; 1024 *arg1 = <a href='010---vm.cc.html#L28'>Reg</a>[reg2].i; 1025 <a href='010---vm.cc.html#L28'>Reg</a>[reg2].i = tmp; 1026 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *arg1 << " in r/m32" << end(); 1027 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << <a href='010---vm.cc.html#L28'>Reg</a>[reg2].i << " in " << <a href='013direct_addressing.cc.html#L136'>rname</a>(reg2) << end(); 1028 break; 1029 } 1030 1031 //:: increment 1032 1033 :(before "End Initialize Op Names") 1034 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "40", "increment <a href='010---vm.cc.html#L13'>EAX</a> (inc)"); 1035 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "41", "increment <a href='010---vm.cc.html#L14'>ECX</a> (inc)"); 1036 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "42", "increment <a href='010---vm.cc.html#L15'>EDX</a> (inc)"); 1037 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "43", "increment <a href='010---vm.cc.html#L16'>EBX</a> (inc)"); 1038 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "44", "increment <a href='010---vm.cc.html#L17'>ESP</a> (inc)"); 1039 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "45", "increment <a href='010---vm.cc.html#L18'>EBP</a> (inc)"); 1040 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "46", "increment <a href='010---vm.cc.html#L19'>ESI</a> (inc)"); 1041 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "47", "increment <a href='010---vm.cc.html#L20'>EDI</a> (inc)"); 1042 1043 :(code) 1044 void <a href='013direct_addressing.cc.html#L1044'>test_increment_r32</a>() { 1045 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].u = 0x1f; 1046 <a href='011run.cc.html#L83'>run</a>( 1047 "== code 0x1\n" // code segment 1048 // op ModR/M SIB displacement immediate 1049 " 41 \n" // increment ECX 1050 ); 1051 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 1052 "run: increment ECX\n" 1053 "run: storing value 0x00000020\n" 1054 ); 1055 } 1056 1057 :(before "End Single-Byte Opcodes") 1058 case 0x40: 1059 case 0x41: 1060 case 0x42: 1061 case 0x43: 1062 case 0x44: 1063 case 0x45: 1064 case 0x46: 1065 case 0x47: { // increment r32 1066 const uint8_t <a href='010---vm.cc.html#L23'>reg</a> = op & 0x7; 1067 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "increment " << <a href='013direct_addressing.cc.html#L136'>rname</a>(<a href='010---vm.cc.html#L23'>reg</a>) << end(); 1068 ++<a href='010---vm.cc.html#L28'>Reg</a>[reg].u; 1069 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing value 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << <a href='010---vm.cc.html#L28'>Reg</a>[reg].u << end(); 1070 break; 1071 } 1072 1073 :(before "End Initialize Op Names") 1074 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "ff", "increment/decrement/jump/push/call rm32 based on subop (inc/dec/jmp/push/call)"); 1075 1076 :(code) 1077 void <a href='013direct_addressing.cc.html#L1077'>test_increment_rm32</a>() { 1078 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].u = 0x20; 1079 <a href='011run.cc.html#L83'>run</a>( 1080 "== code 0x1\n" // code segment 1081 // op ModR/M SIB displacement immediate 1082 " ff c0 \n" // increment EAX 1083 // ModR/M in binary: 11 (direct mode) 000 (subop inc) 000 (EAX) 1084 ); 1085 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 1086 "run: increment r/m32\n" 1087 "run: r/m32 is EAX\n" 1088 "run: storing value 0x00000021\n" 1089 ); 1090 } 1091 1092 :(before "End Single-Byte Opcodes") 1093 case 0xff: { 1094 const uint8_t modrm = <a href='010---vm.cc.html#L328'>next</a>(); 1095 const uint8_t subop = (modrm>>3)&0x7; // middle 3 'reg opcode' bits 1096 switch (subop) { 1097 case 0: { // increment r/m32 1098 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "increment r/m32" << end(); 1099 int32_t* <a href='001help.cc.html#L15'>arg</a> = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 1100 ++*arg; 1101 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing value 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *arg << end(); 1102 break; 1103 } 1104 default: 1105 cerr << "unrecognized subop for ff: " << <a href='010---vm.cc.html#L397'>HEXBYTE</a> << <a href='010---vm.cc.html#L400'>NUM</a>(subop) << '\n'; 1106 exit(1); 1107 // End Op ff Subops 1108 } 1109 break; 1110 } 1111 1112 //:: decrement 1113 1114 :(before "End Initialize Op Names") 1115 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "48", "decrement <a href='010---vm.cc.html#L13'>EAX</a> (dec)"); 1116 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "49", "decrement <a href='010---vm.cc.html#L14'>ECX</a> (dec)"); 1117 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "4a", "decrement <a href='010---vm.cc.html#L15'>EDX</a> (dec)"); 1118 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "4b", "decrement <a href='010---vm.cc.html#L16'>EBX</a> (dec)"); 1119 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "4c", "decrement <a href='010---vm.cc.html#L17'>ESP</a> (dec)"); 1120 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "4d", "decrement <a href='010---vm.cc.html#L18'>EBP</a> (dec)"); 1121 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "4e", "decrement <a href='010---vm.cc.html#L19'>ESI</a> (dec)"); 1122 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "4f", "decrement <a href='010---vm.cc.html#L20'>EDI</a> (dec)"); 1123 1124 :(code) 1125 void <a href='013direct_addressing.cc.html#L1125'>test_decrement_r32</a>() { 1126 <a href='010---vm.cc.html#L28'>Reg</a>[ECX].u = 0x1f; 1127 <a href='011run.cc.html#L83'>run</a>( 1128 "== code 0x1\n" // code segment 1129 // op ModR/M SIB displacement immediate 1130 " 49 \n" // decrement ECX 1131 ); 1132 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 1133 "run: decrement ECX\n" 1134 "run: storing value 0x0000001e\n" 1135 ); 1136 } 1137 1138 :(before "End Single-Byte Opcodes") 1139 case 0x48: 1140 case 0x49: 1141 case 0x4a: 1142 case 0x4b: 1143 case 0x4c: 1144 case 0x4d: 1145 case 0x4e: 1146 case 0x4f: { // decrement r32 1147 const uint8_t <a href='010---vm.cc.html#L23'>reg</a> = op & 0x7; 1148 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "decrement " << <a href='013direct_addressing.cc.html#L136'>rname</a>(<a href='010---vm.cc.html#L23'>reg</a>) << end(); 1149 --<a href='010---vm.cc.html#L28'>Reg</a>[reg].u; 1150 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing value 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << <a href='010---vm.cc.html#L28'>Reg</a>[reg].u << end(); 1151 break; 1152 } 1153 1154 :(code) 1155 void <a href='013direct_addressing.cc.html#L1155'>test_decrement_rm32</a>() { 1156 <a href='010---vm.cc.html#L28'>Reg</a>[EAX].u = 0x20; 1157 <a href='011run.cc.html#L83'>run</a>( 1158 "== code 0x1\n" // code segment 1159 // op ModR/M SIB displacement immediate 1160 " ff c8 \n" // decrement EAX 1161 // ModR/M in binary: 11 (direct mode) 001 (subop inc) 000 (EAX) 1162 ); 1163 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 1164 "run: decrement r/m32\n" 1165 "run: r/m32 is EAX\n" 1166 "run: storing value 0x0000001f\n" 1167 ); 1168 } 1169 1170 :(before "End Op ff Subops") 1171 case 1: { // decrement r/m32 1172 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "decrement r/m32" << end(); 1173 int32_t* <a href='001help.cc.html#L15'>arg</a> = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 1174 --*arg; 1175 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing value 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << *arg << end(); 1176 break; 1177 } 1178 1179 //:: push 1180 1181 :(before "End Initialize Op Names") 1182 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "50", "push <a href='010---vm.cc.html#L13'>EAX</a> to stack (push)"); 1183 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "51", "push <a href='010---vm.cc.html#L14'>ECX</a> to stack (push)"); 1184 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "52", "push <a href='010---vm.cc.html#L15'>EDX</a> to stack (push)"); 1185 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "53", "push <a href='010---vm.cc.html#L16'>EBX</a> to stack (push)"); 1186 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "54", "push <a href='010---vm.cc.html#L17'>ESP</a> to stack (push)"); 1187 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "55", "push <a href='010---vm.cc.html#L18'>EBP</a> to stack (push)"); 1188 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "56", "push <a href='010---vm.cc.html#L19'>ESI</a> to stack (push)"); 1189 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "57", "push <a href='010---vm.cc.html#L20'>EDI</a> to stack (push)"); 1190 1191 :(code) 1192 void <a href='013direct_addressing.cc.html#L1192'>test_push_r32</a>() { 1193 <a href='010---vm.cc.html#L157'>Mem</a>.push_back(vma(0xbd000000)); // manually allocate memory 1194 <a href='010---vm.cc.html#L28'>Reg</a>[ESP].u = 0xbd000008; 1195 <a href='010---vm.cc.html#L28'>Reg</a>[EBX].i = 0x0000000a; 1196 <a href='011run.cc.html#L83'>run</a>( 1197 "== code 0x1\n" // code segment 1198 // op ModR/M SIB displacement immediate 1199 " 53 \n" // push EBX to stack 1200 ); 1201 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 1202 "run: <a href='012elf.cc.html#L91'>push</a> EBX\n" 1203 "run: decrementing <a href='010---vm.cc.html#L17'>ESP</a> to 0xbd000004\n" 1204 "run: pushing value 0x0000000a\n" 1205 ); 1206 } 1207 1208 :(before "End Single-Byte Opcodes") 1209 case 0x50: 1210 case 0x51: 1211 case 0x52: 1212 case 0x53: 1213 case 0x54: 1214 case 0x55: 1215 case 0x56: 1216 case 0x57: { // push r32 to stack 1217 uint8_t <a href='010---vm.cc.html#L23'>reg</a> = op & 0x7; 1218 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "push " << <a href='013direct_addressing.cc.html#L136'>rname</a>(<a href='010---vm.cc.html#L23'>reg</a>) << end(); 1219 //? cerr << "push: " << NUM(reg) << ": " << Reg[reg].u << " => " << Reg[ESP].u << '\n'; 1220 <a href='012elf.cc.html#L91'>push</a>(<a href='010---vm.cc.html#L28'>Reg</a>[reg].u); 1221 break; 1222 } 1223 1224 //:: pop 1225 1226 :(before "End Initialize Op Names") 1227 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "58", "pop top of stack to <a href='010---vm.cc.html#L13'>EAX</a> (pop)"); 1228 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "59", "pop top of stack to <a href='010---vm.cc.html#L14'>ECX</a> (pop)"); 1229 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "5a", "pop top of stack to <a href='010---vm.cc.html#L15'>EDX</a> (pop)"); 1230 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "5b", "pop top of stack to <a href='010---vm.cc.html#L16'>EBX</a> (pop)"); 1231 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "5c", "pop top of stack to <a href='010---vm.cc.html#L17'>ESP</a> (pop)"); 1232 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "5d", "pop top of stack to <a href='010---vm.cc.html#L18'>EBP</a> (pop)"); 1233 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "5e", "pop top of stack to <a href='010---vm.cc.html#L19'>ESI</a> (pop)"); 1234 <a href='001help.cc.html#L260'>put_new</a>(<a href='010---vm.cc.html#L345'>Name</a>, "5f", "pop top of stack to <a href='010---vm.cc.html#L20'>EDI</a> (pop)"); 1235 1236 :(code) 1237 void <a href='013direct_addressing.cc.html#L1237'>test_pop_r32</a>() { 1238 <a href='010---vm.cc.html#L157'>Mem</a>.push_back(vma(0xbd000000)); // manually allocate memory 1239 <a href='010---vm.cc.html#L28'>Reg</a>[ESP].u = 0xbd000008; 1240 <a href='010---vm.cc.html#L246'>write_mem_i32</a>(0xbd000008, 0x0000000a); // ..before this write 1241 <a href='011run.cc.html#L83'>run</a>( 1242 "== code 0x1\n" // code segment 1243 // op ModR/M SIB displacement immediate 1244 " 5b \n" // pop stack to EBX 1245 "== data 0x2000\n" // data segment 1246 "0a 00 00 00\n" // 0x0000000a 1247 ); 1248 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 1249 "run: <a href='013direct_addressing.cc.html#L1272'>pop</a> into EBX\n" 1250 "run: popping value 0x0000000a\n" 1251 "run: incrementing <a href='010---vm.cc.html#L17'>ESP</a> to 0xbd00000c\n" 1252 ); 1253 } 1254 1255 :(before "End Single-Byte Opcodes") 1256 case 0x58: 1257 case 0x59: 1258 case 0x5a: 1259 case 0x5b: 1260 case 0x5c: 1261 case 0x5d: 1262 case 0x5e: 1263 case 0x5f: { // pop stack into r32 1264 const uint8_t <a href='010---vm.cc.html#L23'>reg</a> = op & 0x7; 1265 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "pop into " << <a href='013direct_addressing.cc.html#L136'>rname</a>(<a href='010---vm.cc.html#L23'>reg</a>) << end(); 1266 //? cerr << "pop from " << Reg[ESP].u << '\n'; 1267 <a href='010---vm.cc.html#L28'>Reg</a>[reg].u = <a href='013direct_addressing.cc.html#L1272'>pop</a>(); 1268 //? cerr << "=> " << NUM(reg) << ": " << Reg[reg].u << '\n'; 1269 break; 1270 } 1271 :(code) 1272 uint32_t <a href='013direct_addressing.cc.html#L1272'>pop</a>() { 1273 const uint32_t result = <a href='010---vm.cc.html#L175'>read_mem_u32</a>(<a href='010---vm.cc.html#L28'>Reg</a>[ESP].u); 1274 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "popping value 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << result << end(); 1275 <a href='010---vm.cc.html#L28'>Reg</a>[ESP].u += 4; 1276 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "incrementing <a href='010---vm.cc.html#L17'>ESP</a> to 0x" << <a href='010---vm.cc.html#L398'>HEXWORD</a> << <a href='010---vm.cc.html#L28'>Reg</a>[ESP].u << end(); 1277 assert(<a href='010---vm.cc.html#L28'>Reg</a>[ESP].u < <a href='012elf.cc.html#L150'>AFTER_STACK</a>); 1278 return result; 1279 } </pre> </body> </html>