1 // SPDX-License-Identifier: GPL-2.0+
7  * Test for correctness of composite floating-point comparisons.
36 static void iuneq (float x, float y, int ok)  in iuneq()  argument
38 	TEST (UNEQ (x, y));  in iuneq()
39 	TEST (!LTGT (x, y));  in iuneq()
40 	TEST (UNLE (x, y) && UNGE (x,y));  in iuneq()
43 static void ieq (float x, float y, int ok)  in ieq()  argument
45 	TEST (ORD (x, y) && UNEQ (x, y));  in ieq()
48 static void iltgt (float x, float y, int ok)  in iltgt()  argument
50 	TEST (!UNEQ (x, y)); /* Not optimizable. */  in iltgt()
51 	TEST (LTGT (x, y)); /* Same, __builtin_islessgreater does not trap. */  in iltgt()
52 	TEST (ORD (x, y) && (UNLT (x, y) || UNGT (x,y)));  in iltgt()
55 static void ine (float x, float y, int ok)  in ine()  argument
57 	TEST (UNLT (x, y) || UNGT (x, y));  in ine()
60 static void iunlt (float x, float y, int ok)  in iunlt()  argument
62 	TEST (UNLT (x, y));  in iunlt()
63 	TEST (UNORD (x, y) || (x < y));  in iunlt()
66 static void ilt (float x, float y, int ok)  in ilt()  argument
68 	TEST (ORD (x, y) && UNLT (x, y)); /* Not optimized */  in ilt()
69 	TEST ((x <= y) && (x != y));  in ilt()
70 	TEST ((x <= y) && (y != x));  in ilt()
71 	TEST ((x != y) && (x <= y)); /* Not optimized */  in ilt()
72 	TEST ((y != x) && (x <= y)); /* Not optimized */  in ilt()
75 static void iunle (float x, float y, int ok)  in iunle()  argument
77 	TEST (UNLE (x, y));  in iunle()
78 	TEST (UNORD (x, y) || (x <= y));  in iunle()
81 static void ile (float x, float y, int ok)  in ile()  argument
83 	TEST (ORD (x, y) && UNLE (x, y)); /* Not optimized */  in ile()
84 	TEST ((x < y) || (x == y));  in ile()
85 	TEST ((y > x) || (x == y));  in ile()
86 	TEST ((x == y) || (x < y)); /* Not optimized */  in ile()
87 	TEST ((y == x) || (x < y)); /* Not optimized */  in ile()
90 static void iungt (float x, float y, int ok)  in iungt()  argument
92 	TEST (UNGT (x, y));  in iungt()
93 	TEST (UNORD (x, y) || (x > y));  in iungt()
96 static void igt (float x, float y, int ok)  in igt()  argument
98 	TEST (ORD (x, y) && UNGT (x, y)); /* Not optimized */  in igt()
99 	TEST ((x >= y) && (x != y));  in igt()
100 	TEST ((x >= y) && (y != x));  in igt()
101 	TEST ((x != y) && (x >= y)); /* Not optimized */  in igt()
102 	TEST ((y != x) && (x >= y)); /* Not optimized */  in igt()
105 static void iunge (float x, float y, int ok)  in iunge()  argument
107 	TEST (UNGE (x, y));  in iunge()
108 	TEST (UNORD (x, y) || (x >= y));  in iunge()
111 static void ige (float x, float y, int ok)  in ige()  argument
113 	TEST (ORD (x, y) && UNGE (x, y)); /* Not optimized */  in ige()
114 	TEST ((x > y) || (x == y));  in ige()
115 	TEST ((y < x) || (x == y));  in ige()
116 	TEST ((x == y) || (x > y)); /* Not optimized */  in ige()
117 	TEST ((y == x) || (x > y)); /* Not optimized */  in ige()
123 	ninf = -__builtin_inf ();  in fpu_post_test_math6()
202 		return -1;  in fpu_post_test_math6()