023float.cc.html « html - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: fbc8f34fbcbdfd9bd76303e97a34296a23be7abc (plain) (tree)

d3a9db3a ^

1
2
3
pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */
.highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */
.highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */
.highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */
.highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */
.highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */
.highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */
.highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */
.highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #336699 } /* Name.Variable.Class */
.highlight .vg { color: #dd7700 } /* Name.Variable.Global */
.highlight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */# Contributing to Profanity

## Coding style
Follow the style already present ;-)

## Pull Requests
Before submitting a Pull Request please run valgrind and the clang static code analyzer.

### valgrind
We provide a suppressions file `prof.supp`. It is a combination of the suppressions for shipped with glib2, python and custom rules.

`G_DEBUG=gc-friendly G_SLICE=always-malloc valgrind --tool=memcheck --track-origins=yes --leak-check=full --leak-resolution=high --num-callers=30 --show-leak-kinds=definite --log-file=profval --suppressions=prof.supp ./profanity`

### clang

Running the clang static code analyzer helps improving the quality too.

```
make clean
scan-build make
scan-view ...
```

<!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 - 023float.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/023float.cc'>https://github.com/akkartik/mu/blob/master/023float.cc</a> <pre id='vimCodeElement'> 1 //: floating-point operations 2 3 //:: copy 4 5 :(before "End Initialize Op Names") 6 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "10", "copy xm32 to x32 (movss)"); 7 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "11", "copy x32 to xm32 (movss)"); 8 9 :(code) 10 void <a href='023float.cc.html#L10'>test_copy_x32_to_x32</a>() { 11 <a href='010vm.cc.html#L33'>Xmm</a>[3] = 0.5; 12 <a href='011run.cc.html#L82'>run</a>( 13 "== code 0x1\n" // code segment 14 // op ModR/M SIB displacement immediate 15 "f3 0f 11 d8 \n" // copy XMM3 to XMM0 16 // ModR/M in binary: 11 (direct mode) 011 (src XMM3) 000 (dest XMM0) 17 ); 18 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 19 "run: copy XMM3 to x/m32\n" 20 "run: x/m32 is XMM0\n" 21 "run: storing 0.5\n" 22 ); 23 } 24 25 :(before "End Three-Byte Opcodes Starting With f3 0f") 26 case 0x10: { // copy x/m32 to x32 27 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 28 const uint8_t rdest = (modrm>>3)&0x7; 29 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "copy x/m32 to " << <a href='010vm.cc.html#L34'>Xname</a>[rdest] << end(); 30 float* src = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 31 <a href='010vm.cc.html#L33'>Xmm</a>[rdest] = *src; // Write multiple elements of vector<uint8_t> at once. Assumes sizeof(float) == 4 on the host as well. 32 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing " << <a href='010vm.cc.html#L33'>Xmm</a>[rdest] << end(); 33 break; 34 } 35 case 0x11: { // copy x32 to x/m32 36 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 37 const uint8_t rsrc = (modrm>>3)&0x7; 38 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "copy " << <a href='010vm.cc.html#L34'>Xname</a>[rsrc] << " to x/m32" << end(); 39 float* dest = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 40 *dest = <a href='010vm.cc.html#L33'>Xmm</a>[rsrc]; // Write multiple elements of vector<uint8_t> at once. Assumes sizeof(float) == 4 on the host as well. 41 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "storing " << *dest << end(); 42 break; 43 } 44 45 :(code) 46 void <a href='023float.cc.html#L46'>test_copy_x32_to_mem_at_xm32</a>() { 47 <a href='010vm.cc.html#L33'>Xmm</a>[3] = 0.5; 48 <a href='010vm.cc.html#L25'>Reg</a>[EAX].i = 0x60; 49 <a href='011run.cc.html#L82'>run</a>( 50 "== code 0x1\n" 51 // op ModR/M SIB displacement immediate 52 "f3 0f 11 18 \n" // copy XMM3 to *EAX 53 // ModR/M in binary: 00 (indirect mode) 011 (src XMM3) 000 (dest EAX) 54 ); 55 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 56 "run: copy XMM3 to x/m32\n" 57 "run: effective address is 0x00000060 (<a href='010vm.cc.html#L10'>EAX</a>)\n" 58 "run: storing 0.5\n" 59 ); 60 } 61 62 void <a href='023float.cc.html#L62'>test_copy_mem_at_xm32_to_x32</a>() { 63 <a href='010vm.cc.html#L25'>Reg</a>[EAX].i = 0x2000; 64 <a href='011run.cc.html#L82'>run</a>( 65 "== code 0x1\n" 66 // op ModR/M SIB displacement immediate 67 "f3 0f 10 18 \n" // copy *EAX to XMM3 68 "== data 0x2000\n" 69 "00 00 00 3f\n" // 0x3f000000 = 0.5 70 ); 71 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 72 "run: copy x/m32 to XMM3\n" 73 "run: effective address is 0x00002000 (<a href='010vm.cc.html#L10'>EAX</a>)\n" 74 "run: storing 0.5\n" 75 ); 76 } 77 78 //:: convert to floating point 79 80 :(before "End Initialize Op Names") 81 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "2a", "convert integer to floating-point (cvtsi2ss)"); 82 83 :(code) 84 void <a href='023float.cc.html#L84'>test_cvtsi2ss</a>() { 85 <a href='010vm.cc.html#L25'>Reg</a>[EAX].i = 10; 86 <a href='011run.cc.html#L82'>run</a>( 87 "== code 0x1\n" 88 // op ModR/M SIB displacement immediate 89 "f3 0f 2a c0 \n" 90 // ModR/M in binary: 11 (direct mode) 000 (XMM0) 000 (EAX) 91 ); 92 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 93 "run: convert r/m32 to XMM0\n" 94 "run: r/m32 is EAX\n" 95 "run: XMM0 is now 10\n" 96 ); 97 } 98 99 :(before "End Three-Byte Opcodes Starting With f3 0f") 100 case 0x2a: { // convert integer to float 101 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 102 const uint8_t dest = (modrm>>3)&0x7; 103 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "convert r/m32 to " << <a href='010vm.cc.html#L34'>Xname</a>[dest] << end(); 104 const int32_t* src = <a href='013direct_addressing.cc.html#L101'>effective_address</a>(modrm); 105 <a href='010vm.cc.html#L33'>Xmm</a>[dest] = *src; 106 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " is now " << <a href='010vm.cc.html#L33'>Xmm</a>[dest] << end(); 107 break; 108 } 109 110 //:: convert floating point to int 111 112 :(before "End Initialize Op Names") 113 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "2d", "convert floating-point to int (cvtss2si)"); 114 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "2c", "truncate floating-point to int (cvttss2si)"); 115 116 :(code) 117 void <a href='023float.cc.html#L117'>test_cvtss2si</a>() { 118 <a href='010vm.cc.html#L33'>Xmm</a>[0] = 9.8; 119 <a href='011run.cc.html#L82'>run</a>( 120 "== code 0x1\n" 121 // op ModR/M SIB displacement immediate 122 "f3 0f 2d c0 \n" 123 // ModR/M in binary: 11 (direct mode) 000 (EAX) 000 (XMM0) 124 ); 125 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 126 "run: convert x/m32 to EAX\n" 127 "run: x/m32 is XMM0\n" 128 "run: <a href='010vm.cc.html#L10'>EAX</a> is now 0x0000000a\n" 129 ); 130 } 131 132 :(before "End Three-Byte Opcodes Starting With f3 0f") 133 case 0x2d: { // convert float to integer 134 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 135 const uint8_t dest = (modrm>>3)&0x7; 136 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "convert x/m32 to " << <a href='013direct_addressing.cc.html#L136'>rname</a>(dest) << end(); 137 const float* src = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 138 <a href='010vm.cc.html#L25'>Reg</a>[dest].i = round(*src); 139 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << <a href='013direct_addressing.cc.html#L136'>rname</a>(dest) << " is now 0x" << <a href='010vm.cc.html#L408'>HEXWORD</a> << <a href='010vm.cc.html#L25'>Reg</a>[dest].i << end(); 140 break; 141 } 142 143 :(code) 144 void <a href='023float.cc.html#L144'>test_cvttss2si</a>() { 145 <a href='010vm.cc.html#L33'>Xmm</a>[0] = 9.8; 146 <a href='011run.cc.html#L82'>run</a>( 147 "== code 0x1\n" 148 // op ModR/M SIB displacement immediate 149 "f3 0f 2c c0 \n" 150 // ModR/M in binary: 11 (direct mode) 000 (EAX) 000 (XMM0) 151 ); 152 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 153 "run: truncate x/m32 to EAX\n" 154 "run: x/m32 is XMM0\n" 155 "run: <a href='010vm.cc.html#L10'>EAX</a> is now 0x00000009\n" 156 ); 157 } 158 159 :(before "End Three-Byte Opcodes Starting With f3 0f") 160 case 0x2c: { // truncate float to integer 161 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 162 const uint8_t dest = (modrm>>3)&0x7; 163 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "truncate x/m32 to " << <a href='013direct_addressing.cc.html#L136'>rname</a>(dest) << end(); 164 const float* src = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 165 <a href='010vm.cc.html#L25'>Reg</a>[dest].i = trunc(*src); 166 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << <a href='013direct_addressing.cc.html#L136'>rname</a>(dest) << " is now 0x" << <a href='010vm.cc.html#L408'>HEXWORD</a> << <a href='010vm.cc.html#L25'>Reg</a>[dest].i << end(); 167 break; 168 } 169 170 //:: add 171 172 :(before "End Initialize Op Names") 173 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "58", "add floats (addss)"); 174 175 :(code) 176 void <a href='023float.cc.html#L176'>test_addss</a>() { 177 <a href='010vm.cc.html#L33'>Xmm</a>[0] = 3.0; 178 <a href='010vm.cc.html#L33'>Xmm</a>[1] = 2.0; 179 <a href='011run.cc.html#L82'>run</a>( 180 "== code 0x1\n" 181 // op ModR/M SIB displacement immediate 182 "f3 0f 58 c1 \n" 183 // ModR/M in binary: 11 (direct mode) 000 (XMM0) 001 (XMM1) 184 ); 185 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 186 "run: add x/m32 to XMM0\n" 187 "run: x/m32 is XMM1\n" 188 "run: XMM0 is now 5\n" 189 ); 190 } 191 192 :(before "End Three-Byte Opcodes Starting With f3 0f") 193 case 0x58: { // add x/m32 to x32 194 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 195 const uint8_t dest = (modrm>>3)&0x7; 196 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "add x/m32 to " << <a href='010vm.cc.html#L34'>Xname</a>[dest] << end(); 197 const float* src = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 198 <a href='010vm.cc.html#L33'>Xmm</a>[dest] += *src; 199 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " is now " << <a href='010vm.cc.html#L33'>Xmm</a>[dest] << end(); 200 break; 201 } 202 203 //:: subtract 204 205 :(before "End Initialize Op Names") 206 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "5c", "subtract floats (subss)"); 207 208 :(code) 209 void <a href='023float.cc.html#L209'>test_subss</a>() { 210 <a href='010vm.cc.html#L33'>Xmm</a>[0] = 3.0; 211 <a href='010vm.cc.html#L33'>Xmm</a>[1] = 2.0; 212 <a href='011run.cc.html#L82'>run</a>( 213 "== code 0x1\n" 214 // op ModR/M SIB displacement immediate 215 "f3 0f 5c c1 \n" 216 // ModR/M in binary: 11 (direct mode) 000 (XMM0) 001 (XMM1) 217 ); 218 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 219 "run: subtract x/m32 from XMM0\n" 220 "run: x/m32 is XMM1\n" 221 "run: XMM0 is now 1\n" 222 ); 223 } 224 225 :(before "End Three-Byte Opcodes Starting With f3 0f") 226 case 0x5c: { // subtract x/m32 from x32 227 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 228 const uint8_t dest = (modrm>>3)&0x7; 229 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "subtract x/m32 from " << <a href='010vm.cc.html#L34'>Xname</a>[dest] << end(); 230 const float* src = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 231 <a href='010vm.cc.html#L33'>Xmm</a>[dest] -= *src; 232 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " is now " << <a href='010vm.cc.html#L33'>Xmm</a>[dest] << end(); 233 break; 234 } 235 236 //:: multiply 237 238 :(before "End Initialize Op Names") 239 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "59", "multiply floats (mulss)"); 240 241 :(code) 242 void <a href='023float.cc.html#L242'>test_mulss</a>() { 243 <a href='010vm.cc.html#L33'>Xmm</a>[0] = 3.0; 244 <a href='010vm.cc.html#L33'>Xmm</a>[1] = 2.0; 245 <a href='011run.cc.html#L82'>run</a>( 246 "== code 0x1\n" 247 // op ModR/M SIB displacement immediate 248 "f3 0f 59 c1 \n" 249 // ModR/M in binary: 11 (direct mode) 000 (XMM0) 001 (XMM1) 250 ); 251 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 252 "run: multiply XMM0 by x/m32\n" 253 "run: x/m32 is XMM1\n" 254 "run: XMM0 is now 6\n" 255 ); 256 } 257 258 :(before "End Three-Byte Opcodes Starting With f3 0f") 259 case 0x59: { // multiply x32 by x/m32 260 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 261 const uint8_t dest = (modrm>>3)&0x7; 262 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "multiply " << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " by x/m32" << end(); 263 const float* src = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 264 <a href='010vm.cc.html#L33'>Xmm</a>[dest] *= *src; 265 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " is now " << <a href='010vm.cc.html#L33'>Xmm</a>[dest] << end(); 266 break; 267 } 268 269 //:: divide 270 271 :(before "End Initialize Op Names") 272 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "5e", "divide floats (divss)"); 273 274 :(code) 275 void <a href='023float.cc.html#L275'>test_divss</a>() { 276 <a href='010vm.cc.html#L33'>Xmm</a>[0] = 3.0; 277 <a href='010vm.cc.html#L33'>Xmm</a>[1] = 2.0; 278 <a href='011run.cc.html#L82'>run</a>( 279 "== code 0x1\n" 280 // op ModR/M SIB displacement immediate 281 "f3 0f 5e c1 \n" 282 // ModR/M in binary: 11 (direct mode) 000 (XMM0) 001 (XMM1) 283 ); 284 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 285 "run: divide XMM0 by x/m32\n" 286 "run: x/m32 is XMM1\n" 287 "run: XMM0 is now 1.5\n" 288 ); 289 } 290 291 :(before "End Three-Byte Opcodes Starting With f3 0f") 292 case 0x5e: { // divide x32 by x/m32 293 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 294 const uint8_t dest = (modrm>>3)&0x7; 295 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "divide " << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " by x/m32" << end(); 296 const float* src = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 297 <a href='010vm.cc.html#L33'>Xmm</a>[dest] /= *src; 298 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " is now " << <a href='010vm.cc.html#L33'>Xmm</a>[dest] << end(); 299 break; 300 } 301 302 //:: min 303 304 :(before "End Initialize Op Names") 305 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "5d", "minimum of two floats (minss)"); 306 307 :(code) 308 void <a href='023float.cc.html#L308'>test_minss</a>() { 309 <a href='010vm.cc.html#L33'>Xmm</a>[0] = 3.0; 310 <a href='010vm.cc.html#L33'>Xmm</a>[1] = 2.0; 311 <a href='011run.cc.html#L82'>run</a>( 312 "== code 0x1\n" 313 // op ModR/M SIB displacement immediate 314 "f3 0f 5d c1 \n" 315 // ModR/M in binary: 11 (direct mode) 000 (XMM0) 001 (XMM1) 316 ); 317 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 318 "run: minimum of XMM0 and x/m32\n" 319 "run: x/m32 is XMM1\n" 320 "run: XMM0 is now 2\n" 321 ); 322 } 323 324 :(before "End Three-Byte Opcodes Starting With f3 0f") 325 case 0x5d: { // minimum of x32, x/m32 326 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 327 const uint8_t dest = (modrm>>3)&0x7; 328 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "minimum of " << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " and x/m32" << end(); 329 const float* src = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 330 <a href='010vm.cc.html#L33'>Xmm</a>[dest] = min(<a href='010vm.cc.html#L33'>Xmm</a>[dest], *src); 331 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " is now " << <a href='010vm.cc.html#L33'>Xmm</a>[dest] << end(); 332 break; 333 } 334 335 //:: max 336 337 :(before "End Initialize Op Names") 338 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "5f", "maximum of two floats (maxss)"); 339 340 :(code) 341 void <a href='023float.cc.html#L341'>test_maxss</a>() { 342 <a href='010vm.cc.html#L33'>Xmm</a>[0] = 3.0; 343 <a href='010vm.cc.html#L33'>Xmm</a>[1] = 2.0; 344 <a href='011run.cc.html#L82'>run</a>( 345 "== code 0x1\n" 346 // op ModR/M SIB displacement immediate 347 "f3 0f 5f c1 \n" 348 // ModR/M in binary: 11 (direct mode) 000 (XMM0) 001 (XMM1) 349 ); 350 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 351 "run: maximum of XMM0 and x/m32\n" 352 "run: x/m32 is XMM1\n" 353 "run: XMM0 is now 3\n" 354 ); 355 } 356 357 :(before "End Three-Byte Opcodes Starting With f3 0f") 358 case 0x5f: { // maximum of x32, x/m32 359 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 360 const uint8_t dest = (modrm>>3)&0x7; 361 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "maximum of " << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " and x/m32" << end(); 362 const float* src = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 363 <a href='010vm.cc.html#L33'>Xmm</a>[dest] = max(<a href='010vm.cc.html#L33'>Xmm</a>[dest], *src); 364 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " is now " << <a href='010vm.cc.html#L33'>Xmm</a>[dest] << end(); 365 break; 366 } 367 368 //:: reciprocal 369 370 :(before "End Initialize Op Names") 371 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "53", "reciprocal of float (rcpss)"); 372 373 :(code) 374 void <a href='023float.cc.html#L374'>test_rcpss</a>() { 375 <a href='010vm.cc.html#L33'>Xmm</a>[1] = 2.0; 376 <a href='011run.cc.html#L82'>run</a>( 377 "== code 0x1\n" 378 // op ModR/M SIB displacement immediate 379 "f3 0f 53 c1 \n" 380 // ModR/M in binary: 11 (direct mode) 000 (XMM0) 001 (XMM1) 381 ); 382 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 383 "run: reciprocal of x/m32 into XMM0\n" 384 "run: x/m32 is XMM1\n" 385 "run: XMM0 is now 0.5\n" 386 ); 387 } 388 389 :(before "End Three-Byte Opcodes Starting With f3 0f") 390 case 0x53: { // reciprocal of x/m32 into x32 391 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 392 const uint8_t dest = (modrm>>3)&0x7; 393 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "reciprocal of x/m32 into " << <a href='010vm.cc.html#L34'>Xname</a>[dest] << end(); 394 const float* src = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 395 <a href='010vm.cc.html#L33'>Xmm</a>[dest] = 1.0 / *src; 396 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " is now " << <a href='010vm.cc.html#L33'>Xmm</a>[dest] << end(); 397 break; 398 } 399 400 //:: square root 401 402 :(before "End Initialize Op Names") 403 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "51", "square root of float (sqrtss)"); 404 405 :(code) 406 void <a href='023float.cc.html#L406'>test_sqrtss</a>() { 407 <a href='010vm.cc.html#L33'>Xmm</a>[1] = 2.0; 408 <a href='011run.cc.html#L82'>run</a>( 409 "== code 0x1\n" 410 // op ModR/M SIB displacement immediate 411 "f3 0f 51 c1 \n" 412 // ModR/M in binary: 11 (direct mode) 000 (XMM0) 001 (XMM1) 413 ); 414 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 415 "run: square root of x/m32 into XMM0\n" 416 "run: x/m32 is XMM1\n" 417 "run: XMM0 is now 1.41421\n" 418 ); 419 } 420 421 :(before "End Three-Byte Opcodes Starting With f3 0f") 422 case 0x51: { // square root of x/m32 into x32 423 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 424 const uint8_t dest = (modrm>>3)&0x7; 425 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "square root of x/m32 into " << <a href='010vm.cc.html#L34'>Xname</a>[dest] << end(); 426 const float* src = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 427 <a href='010vm.cc.html#L33'>Xmm</a>[dest] = sqrt(*src); 428 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " is now " << <a href='010vm.cc.html#L33'>Xmm</a>[dest] << end(); 429 break; 430 } 431 432 :(before "End Includes") 433 #include <math.h> 434 435 //:: inverse square root 436 437 :(before "End Initialize Op Names") 438 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "52", "inverse square root of float (rsqrtss)"); 439 440 :(code) 441 void <a href='023float.cc.html#L441'>test_rsqrtss</a>() { 442 <a href='010vm.cc.html#L33'>Xmm</a>[1] = 0.01; 443 <a href='011run.cc.html#L82'>run</a>( 444 "== code 0x1\n" 445 // op ModR/M SIB displacement immediate 446 "f3 0f 52 c1 \n" 447 // ModR/M in binary: 11 (direct mode) 000 (XMM0) 001 (XMM1) 448 ); 449 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 450 "run: inverse square root of x/m32 into XMM0\n" 451 "run: x/m32 is XMM1\n" 452 "run: XMM0 is now 10\n" 453 ); 454 } 455 456 :(before "End Three-Byte Opcodes Starting With f3 0f") 457 case 0x52: { // inverse square root of x/m32 into x32 458 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 459 const uint8_t dest = (modrm>>3)&0x7; 460 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "inverse square root of x/m32 into " << <a href='010vm.cc.html#L34'>Xname</a>[dest] << end(); 461 const float* src = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 462 <a href='010vm.cc.html#L33'>Xmm</a>[dest] = 1.0 / sqrt(*src); 463 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << <a href='010vm.cc.html#L34'>Xname</a>[dest] << " is now " << <a href='010vm.cc.html#L33'>Xmm</a>[dest] << end(); 464 break; 465 } 466 467 :(code) 468 float* <a href='023float.cc.html#L468'>effective_address_float</a>(uint8_t modrm) { 469 const uint8_t mod = (modrm>>6); 470 // ignore middle 3 'reg opcode' bits 471 const uint8_t rm = modrm & 0x7; 472 if (mod == 3) { 473 // mod 3 is just register direct addressing 474 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "x/m32 is " << <a href='010vm.cc.html#L34'>Xname</a>[rm] << end(); 475 return &<a href='010vm.cc.html#L33'>Xmm</a>[rm]; 476 } 477 uint32_t addr = <a href='013direct_addressing.cc.html#L116'>effective_address_number</a>(modrm); 478 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "effective address contains " << <a href='010vm.cc.html#L188'>read_mem_f32</a>(addr) << end(); 479 return <a href='010vm.cc.html#L230'>mem_addr_f32</a>(addr); 480 } 481 482 //: compare 483 484 :(before "End Initialize Op Names") 485 <a href='001help.cc.html#L235'>put_new</a>(<a href='010vm.cc.html#L356'>Name_0f</a>, "2f", "compare: set SF if x32 < xm32 (comiss)"); 486 487 :(code) 488 void <a href='023float.cc.html#L488'>test_compare_x32_with_mem_at_rm32</a>() { 489 <a href='010vm.cc.html#L25'>Reg</a>[EAX].i = 0x2000; 490 <a href='010vm.cc.html#L33'>Xmm</a>[3] = 0.5; 491 <a href='011run.cc.html#L82'>run</a>( 492 "== code 0x1\n" 493 // op ModR/M SIB displacement immediate 494 " 0f 2f 18 \n" // compare XMM3 with *EAX 495 // ModR/M in binary: 00 (indirect mode) 011 (lhs XMM3) 000 (rhs EAX) 496 "== data 0x2000\n" 497 "00 00 00 00\n" // 0x00000000 = 0.0 498 ); 499 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 500 "run: compare XMM3 with x/m32\n" 501 "run: effective address is 0x00002000 (<a href='010vm.cc.html#L10'>EAX</a>)\n" 502 "run: SF=0; ZF=0; CF=0; OF=0\n" 503 ); 504 } 505 506 :(before "End Two-Byte Opcodes Starting With 0f") 507 case 0x2f: { // set SF if x32 < x/m32 508 const uint8_t modrm = <a href='010vm.cc.html#L338'>next</a>(); 509 const uint8_t reg1 = (modrm>>3)&0x7; 510 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "compare " << <a href='010vm.cc.html#L34'>Xname</a>[reg1] << " with x/m32" << end(); 511 const float* arg2 = <a href='023float.cc.html#L468'>effective_address_float</a>(modrm); 512 // Flag settings carefully copied from the Intel manual. 513 // See also <a href="https://stackoverflow.com/questions/7057501/x86-assembler-floating-point-compare/7057771#7057771">https://stackoverflow.com/questions/7057501/x86-assembler-floating-point-compare/7057771#7057771</a> 514 SF = <a href='010vm.cc.html#L89'>ZF</a> = <a href='010vm.cc.html#L90'>CF</a> = <a href='010vm.cc.html#L91'>OF</a> = false; 515 if (<a href='010vm.cc.html#L33'>Xmm</a>[reg1] == *arg2) <a href='010vm.cc.html#L89'>ZF</a> = true; 516 if (<a href='010vm.cc.html#L33'>Xmm</a>[reg1] < *arg2) <a href='010vm.cc.html#L90'>CF</a> = true; 517 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << "SF=" << SF << "; ZF=" << <a href='010vm.cc.html#L89'>ZF</a> << "; CF=" << <a href='010vm.cc.html#L90'>CF</a> << "; OF=" << <a href='010vm.cc.html#L91'>OF</a> << end(); 518 break; 519 } </pre> </body> </html>