I can dump the all the integer registers in gdb with just:
info registers
for the xmm registers (intel) I need a file like:
print $xmm0 print $xmm1 ... print $xmm15
and then source that file. Is there an easier way?