请问F28335中断时FPU寄存器的情况是什么样的？

datasheet里面没有提到FPU寄存器会自动保存，但是有一个地方这么写的

All of the floating-point registers except the repeat block register are shadowed. This shadowing can be used in high priority interrupts for fast context save and restore of the floating-point registers.
是不是说，fpu的寄存器其实还是要手工保存的，汇编里面也有一个save 和 restore的命令，是不是这样就可以了呢？