It appears this is somewhat done in IA32, but not (as far as a I can see in PPC* or in x86_64). Floating point registers are needed in core files for processes/threads that have performed floating point operations.
Enable FPR access on PPC64, but I do not provide an FP iterator for other part of frysk, such as fcore. 2006-10-13 Yao Qi <qiyaoltc@cn.ibm.com> * funit-ppc64-regs.S: Set FPRs for the check in TestRegs. 2006-10-13 Yao Qi <qiyaoltc@cn.ibm.com> * IsaPPC.java: New class PPCFPRegister. * IsaPPC64.java: Setup Register object for FPRs. * LinuxPPC32On64.java: Likewise. * TestRegs.java: Check FPR value.