1*83d290c5STom Rini // SPDX-License-Identifier: GPL-2.0+
2a47a12beSStefan Roese /*
3a47a12beSStefan Roese * Copyright (C) 2007
4a47a12beSStefan Roese * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
5a47a12beSStefan Roese */
6a47a12beSStefan Roese /*
7a47a12beSStefan Roese * Test for correctness of composite floating-point comparisons.
8a47a12beSStefan Roese * Written by Paolo Bonzini, 26th May 2004.
9a47a12beSStefan Roese * This file is originally a part of the GCC testsuite.
10a47a12beSStefan Roese */
11a47a12beSStefan Roese
12a47a12beSStefan Roese #include <common.h>
13a47a12beSStefan Roese
14a47a12beSStefan Roese #include <post.h>
15a47a12beSStefan Roese
16a47a12beSStefan Roese GNU_FPOST_ATTR
17a47a12beSStefan Roese
18e009cdebSKumar Gala #if CONFIG_POST & CONFIG_SYS_POST_FPU
19e009cdebSKumar Gala
20a47a12beSStefan Roese static int failed;
21a47a12beSStefan Roese
22a47a12beSStefan Roese #define TEST(c) if ((c) != ok) failed++
23a47a12beSStefan Roese #define ORD(a, b) (!__builtin_isunordered ((a), (b)))
24a47a12beSStefan Roese #define UNORD(a, b) (__builtin_isunordered ((a), (b)))
25a47a12beSStefan Roese #define UNEQ(a, b) (__builtin_isunordered ((a), (b)) || ((a) == (b)))
26a47a12beSStefan Roese #define UNLT(a, b) (__builtin_isunordered ((a), (b)) || ((a) < (b)))
27a47a12beSStefan Roese #define UNLE(a, b) (__builtin_isunordered ((a), (b)) || ((a) <= (b)))
28a47a12beSStefan Roese #define UNGT(a, b) (__builtin_isunordered ((a), (b)) || ((a) > (b)))
29a47a12beSStefan Roese #define UNGE(a, b) (__builtin_isunordered ((a), (b)) || ((a) >= (b)))
30a47a12beSStefan Roese #define LTGT(a, b) (__builtin_islessgreater ((a), (b)))
31a47a12beSStefan Roese
32a47a12beSStefan Roese static float pinf;
33a47a12beSStefan Roese static float ninf;
34a47a12beSStefan Roese static float NaN;
35a47a12beSStefan Roese
iuneq(float x,float y,int ok)36a47a12beSStefan Roese static void iuneq (float x, float y, int ok)
37a47a12beSStefan Roese {
38a47a12beSStefan Roese TEST (UNEQ (x, y));
39a47a12beSStefan Roese TEST (!LTGT (x, y));
40a47a12beSStefan Roese TEST (UNLE (x, y) && UNGE (x,y));
41a47a12beSStefan Roese }
42a47a12beSStefan Roese
ieq(float x,float y,int ok)43a47a12beSStefan Roese static void ieq (float x, float y, int ok)
44a47a12beSStefan Roese {
45a47a12beSStefan Roese TEST (ORD (x, y) && UNEQ (x, y));
46a47a12beSStefan Roese }
47a47a12beSStefan Roese
iltgt(float x,float y,int ok)48a47a12beSStefan Roese static void iltgt (float x, float y, int ok)
49a47a12beSStefan Roese {
50a47a12beSStefan Roese TEST (!UNEQ (x, y)); /* Not optimizable. */
51a47a12beSStefan Roese TEST (LTGT (x, y)); /* Same, __builtin_islessgreater does not trap. */
52a47a12beSStefan Roese TEST (ORD (x, y) && (UNLT (x, y) || UNGT (x,y)));
53a47a12beSStefan Roese }
54a47a12beSStefan Roese
ine(float x,float y,int ok)55a47a12beSStefan Roese static void ine (float x, float y, int ok)
56a47a12beSStefan Roese {
57a47a12beSStefan Roese TEST (UNLT (x, y) || UNGT (x, y));
58a47a12beSStefan Roese }
59a47a12beSStefan Roese
iunlt(float x,float y,int ok)60a47a12beSStefan Roese static void iunlt (float x, float y, int ok)
61a47a12beSStefan Roese {
62a47a12beSStefan Roese TEST (UNLT (x, y));
63a47a12beSStefan Roese TEST (UNORD (x, y) || (x < y));
64a47a12beSStefan Roese }
65a47a12beSStefan Roese
ilt(float x,float y,int ok)66a47a12beSStefan Roese static void ilt (float x, float y, int ok)
67a47a12beSStefan Roese {
68a47a12beSStefan Roese TEST (ORD (x, y) && UNLT (x, y)); /* Not optimized */
69a47a12beSStefan Roese TEST ((x <= y) && (x != y));
70a47a12beSStefan Roese TEST ((x <= y) && (y != x));
71a47a12beSStefan Roese TEST ((x != y) && (x <= y)); /* Not optimized */
72a47a12beSStefan Roese TEST ((y != x) && (x <= y)); /* Not optimized */
73a47a12beSStefan Roese }
74a47a12beSStefan Roese
iunle(float x,float y,int ok)75a47a12beSStefan Roese static void iunle (float x, float y, int ok)
76a47a12beSStefan Roese {
77a47a12beSStefan Roese TEST (UNLE (x, y));
78a47a12beSStefan Roese TEST (UNORD (x, y) || (x <= y));
79a47a12beSStefan Roese }
80a47a12beSStefan Roese
ile(float x,float y,int ok)81a47a12beSStefan Roese static void ile (float x, float y, int ok)
82a47a12beSStefan Roese {
83a47a12beSStefan Roese TEST (ORD (x, y) && UNLE (x, y)); /* Not optimized */
84a47a12beSStefan Roese TEST ((x < y) || (x == y));
85a47a12beSStefan Roese TEST ((y > x) || (x == y));
86a47a12beSStefan Roese TEST ((x == y) || (x < y)); /* Not optimized */
87a47a12beSStefan Roese TEST ((y == x) || (x < y)); /* Not optimized */
88a47a12beSStefan Roese }
89a47a12beSStefan Roese
iungt(float x,float y,int ok)90a47a12beSStefan Roese static void iungt (float x, float y, int ok)
91a47a12beSStefan Roese {
92a47a12beSStefan Roese TEST (UNGT (x, y));
93a47a12beSStefan Roese TEST (UNORD (x, y) || (x > y));
94a47a12beSStefan Roese }
95a47a12beSStefan Roese
igt(float x,float y,int ok)96a47a12beSStefan Roese static void igt (float x, float y, int ok)
97a47a12beSStefan Roese {
98a47a12beSStefan Roese TEST (ORD (x, y) && UNGT (x, y)); /* Not optimized */
99a47a12beSStefan Roese TEST ((x >= y) && (x != y));
100a47a12beSStefan Roese TEST ((x >= y) && (y != x));
101a47a12beSStefan Roese TEST ((x != y) && (x >= y)); /* Not optimized */
102a47a12beSStefan Roese TEST ((y != x) && (x >= y)); /* Not optimized */
103a47a12beSStefan Roese }
104a47a12beSStefan Roese
iunge(float x,float y,int ok)105a47a12beSStefan Roese static void iunge (float x, float y, int ok)
106a47a12beSStefan Roese {
107a47a12beSStefan Roese TEST (UNGE (x, y));
108a47a12beSStefan Roese TEST (UNORD (x, y) || (x >= y));
109a47a12beSStefan Roese }
110a47a12beSStefan Roese
ige(float x,float y,int ok)111a47a12beSStefan Roese static void ige (float x, float y, int ok)
112a47a12beSStefan Roese {
113a47a12beSStefan Roese TEST (ORD (x, y) && UNGE (x, y)); /* Not optimized */
114a47a12beSStefan Roese TEST ((x > y) || (x == y));
115a47a12beSStefan Roese TEST ((y < x) || (x == y));
116a47a12beSStefan Roese TEST ((x == y) || (x > y)); /* Not optimized */
117a47a12beSStefan Roese TEST ((y == x) || (x > y)); /* Not optimized */
118a47a12beSStefan Roese }
119a47a12beSStefan Roese
fpu_post_test_math6(void)120a47a12beSStefan Roese int fpu_post_test_math6 (void)
121a47a12beSStefan Roese {
122a47a12beSStefan Roese pinf = __builtin_inf ();
123a47a12beSStefan Roese ninf = -__builtin_inf ();
124a47a12beSStefan Roese NaN = __builtin_nan ("");
125a47a12beSStefan Roese
126a47a12beSStefan Roese iuneq (ninf, pinf, 0);
127a47a12beSStefan Roese iuneq (NaN, NaN, 1);
128a47a12beSStefan Roese iuneq (pinf, ninf, 0);
129a47a12beSStefan Roese iuneq (1, 4, 0);
130a47a12beSStefan Roese iuneq (3, 3, 1);
131a47a12beSStefan Roese iuneq (5, 2, 0);
132a47a12beSStefan Roese
133a47a12beSStefan Roese ieq (1, 4, 0);
134a47a12beSStefan Roese ieq (3, 3, 1);
135a47a12beSStefan Roese ieq (5, 2, 0);
136a47a12beSStefan Roese
137a47a12beSStefan Roese iltgt (ninf, pinf, 1);
138a47a12beSStefan Roese iltgt (NaN, NaN, 0);
139a47a12beSStefan Roese iltgt (pinf, ninf, 1);
140a47a12beSStefan Roese iltgt (1, 4, 1);
141a47a12beSStefan Roese iltgt (3, 3, 0);
142a47a12beSStefan Roese iltgt (5, 2, 1);
143a47a12beSStefan Roese
144a47a12beSStefan Roese ine (1, 4, 1);
145a47a12beSStefan Roese ine (3, 3, 0);
146a47a12beSStefan Roese ine (5, 2, 1);
147a47a12beSStefan Roese
148a47a12beSStefan Roese iunlt (NaN, ninf, 1);
149a47a12beSStefan Roese iunlt (pinf, NaN, 1);
150a47a12beSStefan Roese iunlt (pinf, ninf, 0);
151a47a12beSStefan Roese iunlt (pinf, pinf, 0);
152a47a12beSStefan Roese iunlt (ninf, ninf, 0);
153a47a12beSStefan Roese iunlt (1, 4, 1);
154a47a12beSStefan Roese iunlt (3, 3, 0);
155a47a12beSStefan Roese iunlt (5, 2, 0);
156a47a12beSStefan Roese
157a47a12beSStefan Roese ilt (1, 4, 1);
158a47a12beSStefan Roese ilt (3, 3, 0);
159a47a12beSStefan Roese ilt (5, 2, 0);
160a47a12beSStefan Roese
161a47a12beSStefan Roese iunle (NaN, ninf, 1);
162a47a12beSStefan Roese iunle (pinf, NaN, 1);
163a47a12beSStefan Roese iunle (pinf, ninf, 0);
164a47a12beSStefan Roese iunle (pinf, pinf, 1);
165a47a12beSStefan Roese iunle (ninf, ninf, 1);
166a47a12beSStefan Roese iunle (1, 4, 1);
167a47a12beSStefan Roese iunle (3, 3, 1);
168a47a12beSStefan Roese iunle (5, 2, 0);
169a47a12beSStefan Roese
170a47a12beSStefan Roese ile (1, 4, 1);
171a47a12beSStefan Roese ile (3, 3, 1);
172a47a12beSStefan Roese ile (5, 2, 0);
173a47a12beSStefan Roese
174a47a12beSStefan Roese iungt (NaN, ninf, 1);
175a47a12beSStefan Roese iungt (pinf, NaN, 1);
176a47a12beSStefan Roese iungt (pinf, ninf, 1);
177a47a12beSStefan Roese iungt (pinf, pinf, 0);
178a47a12beSStefan Roese iungt (ninf, ninf, 0);
179a47a12beSStefan Roese iungt (1, 4, 0);
180a47a12beSStefan Roese iungt (3, 3, 0);
181a47a12beSStefan Roese iungt (5, 2, 1);
182a47a12beSStefan Roese
183a47a12beSStefan Roese igt (1, 4, 0);
184a47a12beSStefan Roese igt (3, 3, 0);
185a47a12beSStefan Roese igt (5, 2, 1);
186a47a12beSStefan Roese
187a47a12beSStefan Roese iunge (NaN, ninf, 1);
188a47a12beSStefan Roese iunge (pinf, NaN, 1);
189a47a12beSStefan Roese iunge (ninf, pinf, 0);
190a47a12beSStefan Roese iunge (pinf, pinf, 1);
191a47a12beSStefan Roese iunge (ninf, ninf, 1);
192a47a12beSStefan Roese iunge (1, 4, 0);
193a47a12beSStefan Roese iunge (3, 3, 1);
194a47a12beSStefan Roese iunge (5, 2, 1);
195a47a12beSStefan Roese
196a47a12beSStefan Roese ige (1, 4, 0);
197a47a12beSStefan Roese ige (3, 3, 1);
198a47a12beSStefan Roese ige (5, 2, 1);
199a47a12beSStefan Roese
200a47a12beSStefan Roese if (failed) {
201a47a12beSStefan Roese post_log ("Error in FPU math6 test\n");
202a47a12beSStefan Roese return -1;
203a47a12beSStefan Roese }
204a47a12beSStefan Roese return 0;
205a47a12beSStefan Roese }
206a47a12beSStefan Roese
207a47a12beSStefan Roese #endif /* CONFIG_POST & CONFIG_SYS_POST_FPU */
208