3 * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
5 * SPDX-License-Identifier: GPL-2.0+
8 * This file is originally a part of the GCC testsuite.
17 #if CONFIG_POST & CONFIG_SYS_POST_FPU
19 static float rintf (float x)
21 volatile float TWO23 = 8388608.0;
23 if (__builtin_fabs (x) < TWO23)
40 int fpu_post_test_math2 (void)
42 if (rintf (-1.5) != -2.0) {
43 post_log ("Error in FPU math2 test\n");
49 #endif /* CONFIG_POST & CONFIG_SYS_POST_FPU */