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

blob: c4f9a0ef6e0f825b959412f0688c6debe7614c91 (plain) (tree)

672e3e50 ^

d009e158 ^

a654e4ec ^

672e3e50 ^

a654e4ec ^

672e3e50 ^

a654e4ec ^

e6056999 ^

a654e4ec ^

4690ce81 ^

76755b28 ^

4690ce81 ^

a654e4ec ^

672e3e50 ^

a654e4ec ^

672e3e50 ^

a654e4ec ^

672e3e50 ^

4690ce81 ^

f344b250 ^

672e3e50 ^

4690ce81 ^

f344b250 ^

672e3e50 ^

4690ce81 ^

f344b250 ^

672e3e50 ^

76755b28 ^

672e3e50 ^

76755b28 ^

672e3e50 ^

d5d908dd ^

672e3e50 ^

76755b28 ^

672e3e50 ^

4690ce81 ^

76755b28 ^

generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-17 15:33:35 +0000

id="L204" class="LineNr">204 205 :(before "End Initialize Op Names") 206 <a href='001help.cc.html#L237'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "5c", "subtract floats (subss)"); 207 208 :(code) 209 void <a href='022float.cc.html#L209'>test_subss</a>() { 210 Xmm[0] = 3.0; 211 Xmm[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 " << Xname[dest] << end(); 230 const float* src = <a href='022float.cc.html#L468'>effective_address_float</a>(modrm); 231 Xmm[dest] -= *src; 232 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << Xname[dest] << " is now " << Xmm[dest] << end(); 233 break; 234 } 235 236 //:: multiply 237 238 :(before "End Initialize Op Names") 239 <a href='001help.cc.html#L237'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "59", "multiply floats (mulss)"); 240 241 :(code) 242 void <a href='022float.cc.html#L242'>test_mulss</a>() { 243 Xmm[0] = 3.0; 244 Xmm[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 " << Xname[dest] << " by x/m32" << end(); 263 const float* src = <a href='022float.cc.html#L468'>effective_address_float</a>(modrm); 264 Xmm[dest] *= *src; 265 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << Xname[dest] << " is now " << Xmm[dest] << end(); 266 break; 267 } 268 269 //:: divide 270 271 :(before "End Initialize Op Names") 272 <a href='001help.cc.html#L237'>put_new</a>(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, "5e", "divide floats (divss)"); 273 274 :(code) 275 void <a href='022float.cc.html#L275'>test_divss</a>() { 276 Xmm[0] = 3.0; 277 Xmm[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 " << Xname[dest] << " by x/m32" << end(); 296 const float* src = <a href='022float.cc.html#L468'>effective_address_float</a>(modrm); 297 Xmm[dest] /= *src; 298 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << Xname[dest] << " is now " << Xmm[dest] << end(); 299 break; 300 } 301 302 //:: min 303 304 :(before "End Initialize Op Names") 305 <a href='001help.cc.html#L237'>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='022float.cc.html#L308'>test_minss</a>() { 309 Xmm[0] = 3.0; 310 Xmm[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 " << Xname[dest] << " and x/m32" << end(); 329 const float* src = <a href='022float.cc.html#L468'>effective_address_float</a>(modrm); 330 Xmm[dest] = min(Xmm[dest], *src); 331 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << Xname[dest] << " is now " << Xmm[dest] << end(); 332 break; 333 } 334 335 //:: max 336 337 :(before "End Initialize Op Names") 338 <a href='001help.cc.html#L237'>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='022float.cc.html#L341'>test_maxss</a>() { 342 Xmm[0] = 3.0; 343 Xmm[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 " << Xname[dest] << " and x/m32" << end(); 362 const float* src = <a href='022float.cc.html#L468'>effective_address_float</a>(modrm); 363 Xmm[dest] = max(Xmm[dest], *src); 364 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << Xname[dest] << " is now " << Xmm[dest] << end(); 365 break; 366 } 367 368 //:: reciprocal 369 370 :(before "End Initialize Op Names") 371 <a href='001help.cc.html#L237'>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='022float.cc.html#L374'>test_rcpss</a>() { 375 Xmm[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 " << Xname[dest] << end(); 394 const float* src = <a href='022float.cc.html#L468'>effective_address_float</a>(modrm); 395 Xmm[dest] = 1.0 / *src; 396 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << Xname[dest] << " is now " << Xmm[dest] << end(); 397 break; 398 } 399 400 //:: square root 401 402 :(before "End Initialize Op Names") 403 <a href='001help.cc.html#L237'>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='022float.cc.html#L406'>test_sqrtss</a>() { 407 Xmm[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 " << Xname[dest] << end(); 426 const float* src = <a href='022float.cc.html#L468'>effective_address_float</a>(modrm); 427 Xmm[dest] = sqrt(*src); 428 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << Xname[dest] << " is now " << Xmm[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#L237'>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='022float.cc.html#L441'>test_rsqrtss</a>() { 442 Xmm[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 " << Xname[dest] << end(); 461 const float* src = <a href='022float.cc.html#L468'>effective_address_float</a>(modrm); 462 Xmm[dest] = 1.0 / sqrt(*src); 463 <a href='003trace.cc.html#L96'>trace</a>(Callstack_depth+1, "run") << Xname[dest] << " is now " << Xmm[dest] << end(); 464 break; 465 } 466 467 :(code) 468 float* <a href='022float.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 " << Xname[rm] << end(); 475 return &Xmm[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#L237'>put_new</a>(<a href='010vm.cc.html#L356'>Name_0f</a>, "2f", "compare: set <a href='010vm.cc.html#L90'>CF</a> if x32 < xm32 (comiss)"); 486 487 :(code) 488 void <a href='022float.cc.html#L488'>test_compare_x32_with_mem_at_rm32</a>() { 489 Reg[EAX].i = 0x2000; 490 Xmm[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 CF 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 " << Xname[reg1] << " with x/m32" << end(); 511 const float* arg2 = <a href='022float.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 (Xmm[reg1] == *arg2) <a href='010vm.cc.html#L89'>ZF</a> = true; 516 if (Xmm[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>