]>
Commit | Line | Data |
---|---|---|
b4489621 SP |
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 | ||
b4489621 SP |
29 | #include <post.h> |
30 | ||
6d0f6bcf | 31 | #if CONFIG_POST & CONFIG_SYS_POST_FPU |
b4489621 | 32 | |
ce82ff05 YT |
33 | GNU_FPOST_ATTR |
34 | ||
b4489621 SP |
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 | ||
6d0f6bcf | 65 | #endif /* CONFIG_POST & CONFIG_SYS_POST_FPU */ |