Symbol: ieee_swcr_to_fpcr