http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53975
--- Comment #4 from Steven Bosscher <steven at gcc dot gnu.org> 2012-07-15 22:52:31 UTC --- Ah, of course the "move branch register" instruction faults if the NaT bit of the source register is set. So the recovery code is irrelevant, and this could be a GCC bug. Need a test case to investigate, though...