Posted: Sat Apr 15, 2017 8:30 pm Post subject: Reading cetrace file for processing (esp. FPU/XMM registers)
Hello DB,
Can I get the FPU and XMM register values from CETRACE files?
The text file version of the cetrace only contains register/instruction,
and I can't seem to decipher the larger binary file format.
I'm assuming the larger version has all the FPU/XMM registers,
and maybe other things like stack.
Ran it through xxd but can't seem to read anything useful.
There is a program that passes some floating values from one FPU to
another xmm to memory etc. endlessly without doing anything for a while.
I've given up manually trying to follow it and am thinking of writing a
trace replayer for cetrace file to automatically track variables through various
registers. Any help on extracting full information from cetrace file would be
much appreciated.
I'm looking for a way to convert a floating point number to the
byte sequence that's pushed into FPU stack when fld is called.
(I am unsure but I think the conversion is called extended double or
80bit floating format.)
e.g. 0x3F800000 (1.0 in float) in memory gets loaded into FPU with fld as
00 00 00 00 00 00 00 80 FF 3F 00 00 00 00 00 00.
I guess I'm looking for a way to return that byte sequence with something
like
00 00 00 00 00 00 00 80 FF 3F 00 00 00 00 00 00 = convertToExtendedDouble(0.1)
Thanks!
========== Edit: Since I can't double post yet =========
You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum You cannot attach files in this forum You can download files in this forum