1// SPDX-License-Identifier: GPL-2.0+ 2/* 3 * Copyright (C) 2007 4 * Wolfgang Denk, DENX Software Engineering, wd@denx.de. 5 */ 6/* 7 * This file is originally a part of the GCC testsuite. 8 */ 9 10#include <common.h> 11 12#include <post.h> 13 14GNU_FPOST_ATTR 15 16#if CONFIG_POST & CONFIG_SYS_POST_FPU 17 18int fpu_post_test_math1 (void) 19{ 20 volatile double a; 21 double c, d; 22 volatile double b; 23 24 d = 1.0; 25 26 do 27 { 28 c = d; 29 d = c * 0.5; 30 b = 1 + d; 31 } while (b != 1.0); 32 33 a = 1.0 + c; 34 35 if (a == 1.0) { 36 post_log ("Error in FPU math1 test\n"); 37 return -1; 38 } 39 40 return 0; 41} 42 43#endif /* CONFIG_POST & CONFIG_SYS_POST_FPU */ 44