544         dbl_overlay Res, Exp;  in check_single_guarded_arithmetic_op()  local
758 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
762 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
766 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
770 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
774 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
778 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
782 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
786 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
799 		if ((Res.layout.sign != Exp.layout.sign) ||  in check_single_guarded_arithmetic_op()
800 			(Res.layout.exp != Exp.layout.exp) ||  in check_single_guarded_arithmetic_op()
801 			(Res.layout.frac_lo != Exp.layout.frac_lo) ||  in check_single_guarded_arithmetic_op()
802 			(Res.layout.frac_hi != Exp.layout.frac_hi)) {  in check_single_guarded_arithmetic_op()
828 		printf(") = %-13a", Res.dbl);  in check_single_guarded_arithmetic_op()
836 			print_double("got", Res.dbl);  in check_single_guarded_arithmetic_op()
856 	dbl_overlay Res, Exp;  in check_double_guarded_arithmetic_op()  local
1109 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1113 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1117 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1121 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1125 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1129 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1133 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1137 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1141 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1154 		if ((Res.layout.sign != Exp.layout.sign) ||  in check_double_guarded_arithmetic_op()
1155 			(Res.layout.exp != Exp.layout.exp) ||  in check_double_guarded_arithmetic_op()
1156 			(Res.layout.frac_lo != Exp.layout.frac_lo) ||  in check_double_guarded_arithmetic_op()
1157 			(Res.layout.frac_hi != Exp.layout.frac_hi)) {  in check_double_guarded_arithmetic_op()
1169 		printf(") = %-13a", Res.dbl);  in check_double_guarded_arithmetic_op()
1177 			print_double("got", Res.dbl);  in check_double_guarded_arithmetic_op()