74 	int sign_save, jumpsize;  in dbl_fmpyfadd()  local
586 			jumpsize = Dbl_hiddenhigh3mantissa(resultp1);  in dbl_fmpyfadd()
587 			if (jumpsize <= 7) switch(jumpsize) {  in dbl_fmpyfadd()
733 	int sign_save, jumpsize;  local
1246 			jumpsize = Dbl_hiddenhigh3mantissa(resultp1);
1247 			if (jumpsize <= 7) switch(jumpsize) {
1391 	int sign_save, jumpsize;  local
1895 			jumpsize = Sgl_hiddenhigh3mantissa(resultp1);
1896 			if (jumpsize <= 7) switch(jumpsize) {
2032 	int sign_save, jumpsize;  local
2537 			jumpsize = Sgl_hiddenhigh3mantissa(resultp1);
2538 			if (jumpsize <= 7) switch(jumpsize) {