531         dbl_overlay Res, Exp;  in check_single_guarded_arithmetic_op()  local
745 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
749 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
753 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
757 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
761 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
765 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
769 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
773 			Res.dbl = fD;  in check_single_guarded_arithmetic_op()
786 		if ((Res.layout.sign != Exp.layout.sign) ||  in check_single_guarded_arithmetic_op()
787 			(Res.layout.exp != Exp.layout.exp) ||  in check_single_guarded_arithmetic_op()
788 			(Res.layout.frac_lo != Exp.layout.frac_lo) ||  in check_single_guarded_arithmetic_op()
789 			(Res.layout.frac_hi != Exp.layout.frac_hi)) {  in check_single_guarded_arithmetic_op()
801 		printf(") = %-13a", Res.dbl);  in check_single_guarded_arithmetic_op()
809 			print_double("got", Res.dbl);  in check_single_guarded_arithmetic_op()
829 	dbl_overlay Res, Exp;  in check_double_guarded_arithmetic_op()  local
1082 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1086 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1090 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1094 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1098 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1102 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1106 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1110 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1114 			Res.dbl = fD;  in check_double_guarded_arithmetic_op()
1127 		if ((Res.layout.sign != Exp.layout.sign) ||  in check_double_guarded_arithmetic_op()
1128 			(Res.layout.exp != Exp.layout.exp) ||  in check_double_guarded_arithmetic_op()
1129 			(Res.layout.frac_lo != Exp.layout.frac_lo) ||  in check_double_guarded_arithmetic_op()
1130 			(Res.layout.frac_hi != Exp.layout.frac_hi)) {  in check_double_guarded_arithmetic_op()
1142 		printf(") = %-13a", Res.dbl);  in check_double_guarded_arithmetic_op()
1150 			print_double("got", Res.dbl);  in check_double_guarded_arithmetic_op()