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_math3(void)18int fpu_post_test_math3 (void) 19 { 20 volatile long double dfrom = 1.1; 21 volatile long double m1; 22 volatile long double m2; 23 volatile unsigned long mant_long; 24 25 m1 = dfrom / 2.0; 26 m2 = m1 * 4294967296.0; 27 mant_long = ((unsigned long) m2) & 0xffffffff; 28 29 if (mant_long != 0x8ccccccc) { 30 post_log ("Error in FPU math3 test\n"); 31 return -1; 32 } 33 return 0; 34 } 35 36 #endif /* CONFIG_POST & CONFIG_SYS_POST_FPU */ 37