fixed format for debug printing x87 numbers

This commit is contained in:
Stanislav Shwartsman 2014-11-05 18:29:35 +00:00
parent d70ee1e99b
commit 9219c2c20b

View File

@ -597,7 +597,7 @@ void BX_CPU_C::print_state_FPU(void)
f *= fp.fraction*scale_factor; f *= fp.fraction*scale_factor;
#endif #endif
float_class_t f_class = floatx80_class(fp); float_class_t f_class = floatx80_class(fp);
fprintf(stderr, "%sFP%d ST%d(%c): raw 0x%04x:%08lx%08lx (%.10f) (%s)\n", fprintf(stderr, "%sFP%d ST%d(%c): raw 0x%04x:%08x%08x (%.10f) (%s)\n",
i==tos?"=>":" ", i, (i-tos)&7, i==tos?"=>":" ", i, (i-tos)&7,
"v0se"[tag], "v0se"[tag],
fp.exp & 0xffff, GET32H(fp.fraction), GET32L(fp.fraction), fp.exp & 0xffff, GET32H(fp.fraction), GET32L(fp.fraction),