// SPDX-License-Identifier: GPL-2.0+ /* * Copyright (C) 2007 * Wolfgang Denk, DENX Software Engineering, wd@denx.de. */ /* * This file is originally a part of the GCC testsuite. */ #include #include GNU_FPOST_ATTR #if CFG_POST & CFG_SYS_POST_FPU int fpu_post_test_math4 (void) { volatile float reale = 1.0f; volatile float oneplus; int i; if (sizeof (float) != 4) return 0; for (i = 0; ; i++) { oneplus = 1.0f + reale; if (oneplus == 1.0f) break; reale = reale / 2.0f; } /* Assumes ieee754 accurate arithmetic above. */ if (i != 24) { post_log ("Error in FPU math4 test\n"); return -1; } return 0; } #endif /* CFG_POST & CFG_SYS_POST_FPU */