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 14 GNU_FPOST_ATTR 15 16 #if CONFIG_POST & CONFIG_SYS_POST_FPU 17 fpu_post_test_math1(void)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