1 // SPDX-License-Identifier: GPL-2.0+
4 * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
7 * This file is originally a part of the GCC testsuite.
16 #if CONFIG_POST & CONFIG_SYS_POST_FPU
18 int fpu_post_test_math4 (void)
20 volatile float reale = 1.0f;
21 volatile float oneplus;
24 if (sizeof (float) != 4)
29 oneplus = 1.0f + reale;
34 /* Assumes ieee754 accurate arithmetic above. */
36 post_log ("Error in FPU math4 test\n");
42 #endif /* CONFIG_POST & CONFIG_SYS_POST_FPU */