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?
(gdb) apropos registers
collect -- Specify one or more data items to be collected at a tracepoint
core-file -- Use FILE as core dump for examining memory and registers
info all-registers -- List of all registers and their contents
...
The last one is the one you want.
See also this answer below.