On 12/28/2013 01:49 PM, Peter Maydell wrote: > + uint64_t vlo = float64_val(env->vfp.regs[i * 2]); > + uint64_t vhi = float64_val(env->vfp.regs[(i * 2) + 1]); > + cpu_fprintf(f, "q%02d.0=%016" PRIx64 ":%016" PRIx64 " ", > + i, vlo, vhi);
Why print them lo:hi instead of, what would seem to me, the more natural hi:lo. And what's that .0 qualifier doing on the end of an integer print field? r~
