FP_RM
#define float_round_down FP_RM
| (3 << (FP_RM*2)) /* round to negative infinity */ \
__CTASSERT(__SHIFTOUT(VFP_FPSCR_RM, VFP_FPSCR_RMODE) == FP_RM);
__CTASSERT(__SHIFTOUT(VFP_FPSCR_RM, VFP_FPSCR_RMODE) == FP_RM);
#define float_round_down FP_RM
#define float_round_down FP_RM
#define float_round_down FP_RM
| (3 << (FP_RM * 2)); /* round to negative infinity */
#define float_round_down FP_RM
#define float_round_down FP_RM
| (3 << (FP_RM * 2)); /* round to negative infinity */
#define float_round_down FP_RM
#define float_round_down FP_RM
float_round_down = FP_RM,
return FP_RM;
case FP_RM:
float_round_down = FP_RM,
{ "RM", FP_RM, 3 },
fpsetround(FP_RM);
ATF_CHECK_EQ_MSG(fpgetround(), FP_RM,
(int)fpgetround(), (int)FP_RM);