1a47a12beSStefan Roese /*
2a47a12beSStefan Roese * Copyright (C) 2007
3a47a12beSStefan Roese * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
4a47a12beSStefan Roese *
5*1a459660SWolfgang Denk * SPDX-License-Identifier: GPL-2.0+
6a47a12beSStefan Roese */
7a47a12beSStefan Roese /*
8a47a12beSStefan Roese * This file is originally a part of the GCC testsuite.
9a47a12beSStefan Roese * Check that certain subnormal numbers (formerly known as denormalized
10a47a12beSStefan Roese * numbers) are rounded to within 0.5 ulp. PR other/14354.
11a47a12beSStefan Roese */
12a47a12beSStefan Roese
13a47a12beSStefan Roese #include <common.h>
14a47a12beSStefan Roese
15a47a12beSStefan Roese #include <post.h>
16a47a12beSStefan Roese
17a47a12beSStefan Roese GNU_FPOST_ATTR
18a47a12beSStefan Roese
19e009cdebSKumar Gala #if CONFIG_POST & CONFIG_SYS_POST_FPU
20e009cdebSKumar Gala
21a47a12beSStefan Roese union uf
22a47a12beSStefan Roese {
23a47a12beSStefan Roese unsigned int u;
24a47a12beSStefan Roese float f;
25a47a12beSStefan Roese };
26a47a12beSStefan Roese
27a47a12beSStefan Roese static float
u2f(unsigned int v)28a47a12beSStefan Roese u2f (unsigned int v)
29a47a12beSStefan Roese {
30a47a12beSStefan Roese union uf u;
31a47a12beSStefan Roese u.u = v;
32a47a12beSStefan Roese return u.f;
33a47a12beSStefan Roese }
34a47a12beSStefan Roese
35a47a12beSStefan Roese static unsigned int
f2u(float v)36a47a12beSStefan Roese f2u (float v)
37a47a12beSStefan Roese {
38a47a12beSStefan Roese union uf u;
39a47a12beSStefan Roese u.f = v;
40a47a12beSStefan Roese return u.u;
41a47a12beSStefan Roese }
42a47a12beSStefan Roese
43a47a12beSStefan Roese static int ok = 1;
44a47a12beSStefan Roese
45a47a12beSStefan Roese static void
tstmul(unsigned int ux,unsigned int uy,unsigned int ur)46a47a12beSStefan Roese tstmul (unsigned int ux, unsigned int uy, unsigned int ur)
47a47a12beSStefan Roese {
48a47a12beSStefan Roese float x = u2f (ux);
49a47a12beSStefan Roese float y = u2f (uy);
50a47a12beSStefan Roese
51a47a12beSStefan Roese if (f2u (x * y) != ur)
52a47a12beSStefan Roese /* Set a variable rather than aborting here, to simplify tracing when
53a47a12beSStefan Roese several computations are wrong. */
54a47a12beSStefan Roese ok = 0;
55a47a12beSStefan Roese }
56a47a12beSStefan Roese
57a47a12beSStefan Roese /* We don't want to make this const and static, or else we risk inlining
58a47a12beSStefan Roese causing the test to fold as constants at compile-time. */
59a47a12beSStefan Roese struct
60a47a12beSStefan Roese {
61a47a12beSStefan Roese unsigned int p1, p2, res;
62a47a12beSStefan Roese } static volatile expected[] =
63a47a12beSStefan Roese {
64a47a12beSStefan Roese {0xfff, 0x3f800400, 0xfff},
65a47a12beSStefan Roese {0xf, 0x3fc88888, 0x17},
66a47a12beSStefan Roese {0xf, 0x3f844444, 0xf}
67a47a12beSStefan Roese };
68a47a12beSStefan Roese
fpu_post_test_math7(void)69a47a12beSStefan Roese int fpu_post_test_math7 (void)
70a47a12beSStefan Roese {
71a47a12beSStefan Roese unsigned int i;
72a47a12beSStefan Roese
73d2397817SMike Frysinger for (i = 0; i < ARRAY_SIZE(expected); i++)
74a47a12beSStefan Roese {
75a47a12beSStefan Roese tstmul (expected[i].p1, expected[i].p2, expected[i].res);
76a47a12beSStefan Roese tstmul (expected[i].p2, expected[i].p1, expected[i].res);
77a47a12beSStefan Roese }
78a47a12beSStefan Roese
79a47a12beSStefan Roese if (!ok) {
80a47a12beSStefan Roese post_log ("Error in FPU math7 test\n");
81a47a12beSStefan Roese return -1;
82a47a12beSStefan Roese }
83a47a12beSStefan Roese return 0;
84a47a12beSStefan Roese }
85a47a12beSStefan Roese
86a47a12beSStefan Roese #endif /* CONFIG_POST & CONFIG_SYS_POST_FPU */
87