1 /*
2  * Copyright (C) 2007
3  * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
4  *
5  * See file CREDITS for list of people who contributed to this
6  * project.
7  *
8  * This program is free software; you can redistribute it and/or
9  * modify it under the terms of the GNU General Public License as
10  * published by the Free Software Foundation; either version 2 of
11  * the License, or (at your option) any later version.
12  *
13  * This program is distributed in the hope that it will be useful,
14  * but WITHOUT ANY WARRANTY; without even the implied warranty of
15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16  * GNU General Public License for more details.
17  *
18  * You should have received a copy of the GNU General Public License
19  * along with this program; if not, write to the Free Software
20  * Foundation, Inc., 59 Temple Place, Suite 330, Boston,
21  * MA 02111-1307 USA
22  */
23 /*
24  * This file is originally a part of the GCC testsuite.
25  */
26 
27 #include <common.h>
28 
29 #include <post.h>
30 
31 #if CONFIG_POST & CONFIG_SYS_POST_FPU
32 
33 GNU_FPOST_ATTR
34 
35 static float rintf (float x)
36 {
37 	volatile float TWO23 = 8388608.0;
38 
39 	if (__builtin_fabs (x) < TWO23)
40 	{
41 		if (x > 0.0)
42 		{
43 			x += TWO23;
44 			x -= TWO23;
45 		}
46 		else if (x < 0.0)
47 		{
48 			x = TWO23 - x;
49 			x = -(x - TWO23);
50 		}
51 	}
52 
53 	return x;
54 }
55 
56 int fpu_post_test_math2 (void)
57 {
58 	if (rintf (-1.5) != -2.0) {
59 		post_log ("Error in FPU math2 test\n");
60 		return -1;
61 	}
62 	return 0;
63 }
64 
65 #endif /* CONFIG_POST & CONFIG_SYS_POST_FPU */
66