posso scaricare i tutti i registri interi in gdb con appena:Come scaricare tutti i registri XMM in gdb?
info registers
per i registri XMM (Intel) Ho bisogno di un file del tipo:
print $xmm0
print $xmm1
...
print $xmm15
e quindi fonte quel file. C'è un modo più semplice?
Correlato: http://stackoverflow.com/questions/5429137/how-to-print-register-values-in-gdb –