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  * Check that certain subnormal numbers (formerly known as denormalized
26  * numbers) are rounded to within 0.5 ulp.  PR other/14354.
27  */
28 
29 #include <common.h>
30 
31 #include <post.h>
32 
33 #if CONFIG_POST & CONFIG_SYS_POST_FPU
34 
35 GNU_FPOST_ATTR
36 
37 union uf
38 {
39 	unsigned int u;
40 	float f;
41 };
42 
43 static float
44 u2f (unsigned int v)
45 {
46 	union uf u;
47 	u.u = v;
48 	return u.f;
49 }
50 
51 static unsigned int
52 f2u (float v)
53 {
54 	union uf u;
55 	u.f = v;
56 	return u.u;
57 }
58 
59 static int ok = 1;
60 
61 static void
62 tstmul (unsigned int ux, unsigned int uy, unsigned int ur)
63 {
64 	float x = u2f (ux);
65 	float y = u2f (uy);
66 
67 	if (f2u (x * y) != ur)
68 	/* Set a variable rather than aborting here, to simplify tracing when
69 	   several computations are wrong.  */
70 		ok = 0;
71 }
72 
73 /* We don't want to make this const and static, or else we risk inlining
74    causing the test to fold as constants at compile-time.  */
75 struct
76 {
77   unsigned int p1, p2, res;
78 } static volatile expected[] =
79 {
80 	{0xfff, 0x3f800400, 0xfff},
81 	{0xf, 0x3fc88888, 0x17},
82 	{0xf, 0x3f844444, 0xf}
83 };
84 
85 int fpu_post_test_math7 (void)
86 {
87 	unsigned int i;
88 
89 	for (i = 0; i < sizeof (expected) / sizeof (expected[0]); i++)
90 	{
91 		tstmul (expected[i].p1, expected[i].p2, expected[i].res);
92 		tstmul (expected[i].p2, expected[i].p1, expected[i].res);
93 	}
94 
95 	if (!ok) {
96 		post_log ("Error in FPU math7 test\n");
97 		return -1;
98 	}
99 	return 0;
100 }
101 
102 #endif /* CONFIG_POST & CONFIG_SYS_POST_FPU */
103