1 /* Basic test of runtime relational comparisons using simple values that
2 are not affected by rounding. */
8 #define PASTE2(A,B) A ## B
9 #define PASTE(A,B) PASTE2(A,B)
13 #define FAILURE(OP,KIND) \
14 { printf ("failed at line %d: %s for %s values\n", __LINE__, OP, KIND); \
17 #define FAILURE(OP,KIND) abort ();
21 #error define WIDTH as decimal float size in bytes
25 #define DTYPE _Decimal32
28 #define DTYPE _Decimal64
31 #define DTYPE _Decimal128
34 /* This is for testing the test using a type known to work. */
38 #error invalid width for decimal float type
41 DTYPE m_two
= PASTE(-2.0, SUFFIX
);
42 DTYPE m_one
= PASTE(-1.0, SUFFIX
);
43 DTYPE zero
= PASTE(0.0, SUFFIX
);
44 DTYPE one
= PASTE(1.0, SUFFIX
);
45 DTYPE two
= PASTE(2.0, SUFFIX
);
54 /* Less than or equal to: comparisons against equal values. */
56 if (! (x
<= one
)) FAILURE ("<=", "equal")
57 if (! (y
<= zero
)) FAILURE ("<=", "equal")
58 if (! (z
<= m_one
)) FAILURE ("<=", "equal")
60 /* Less than or equal to: comparisons against lesser values. */
62 if (x
<= m_one
) FAILURE ("<=", "lesser")
63 if (x
<= zero
) FAILURE ("<=", "lesser")
64 if (y
<= m_one
) FAILURE ("<=", "lesser")
65 if (z
<= m_two
) FAILURE ("<=", "lesser")
67 /* Less than or equal to: comparisons against greater values. */
69 if (! (x
<= two
)) FAILURE ("<=", "greater")
70 if (! (y
<= one
)) FAILURE ("<=", "greater")
71 if (! (z
<= zero
)) FAILURE ("<=", "greater")
72 if (! (z
<= one
)) FAILURE ("<=", "greater")
74 /* Less than: comparisons against equal values. */
76 if (x
< one
) FAILURE ("<", "equal")
77 if (y
< zero
) FAILURE ("<", "equal")
78 if (z
< m_one
) FAILURE ("<", "equal")
80 /* Less than: comparisons against lesser values. */
82 if (x
< m_one
) FAILURE ("<", "lesser")
83 if (x
< zero
) FAILURE ("<", "lesser")
84 if (y
< m_one
) FAILURE ("<", "lesser")
85 if (z
< m_two
) FAILURE ("<", "lesser")
87 /* Less than: comparisons against greater values. */
89 if (! (x
< two
)) FAILURE ("<", "greater")
90 if (! (y
< one
)) FAILURE ("<", "greater")
91 if (! (z
< zero
)) FAILURE ("<", "greater")
92 if (! (z
< one
)) FAILURE ("<", "greater")
94 /* Greater than or equal to: comparisons against equal values. */
96 if (! (x
>= one
)) FAILURE (">=", "equal")
97 if (! (y
>= zero
)) FAILURE (">=", "equal")
98 if (! (z
>= m_one
)) FAILURE (">=", "equal")
100 /* Greater than or equal to: comparisons against lesser values. */
102 if (! (x
>= m_one
)) FAILURE (">=", "lesser")
103 if (! (x
>= zero
)) FAILURE (">=", "lesser")
104 if (! (y
>= m_one
)) FAILURE (">=", "lesser")
105 if (! (z
>= m_two
)) FAILURE (">=", "lesser")
107 /* Greater than or equal to: comparisons against greater values. */
109 if (x
>= two
) FAILURE (">=", "greater")
110 if (y
>= one
) FAILURE (">=", "greater")
111 if (z
>= zero
) FAILURE (">=", "greater")
112 if (z
>= one
) FAILURE (">=", "greater")
114 /* Greater than: comparisons against equal values. */
116 if (x
> one
) FAILURE (">", "equal")
117 if (y
> zero
) FAILURE (">", "equal")
118 if (z
> m_one
) FAILURE (">", "equal")
120 /* Greater than: comparisons against lesser values. */
122 if (! (x
> m_one
)) FAILURE (">", "lesser")
123 if (! (x
> zero
)) FAILURE (">", "lesser")
124 if (! (y
> m_one
)) FAILURE (">", "lesser")
125 if (! (z
> m_two
)) FAILURE (">", "lesser")
127 /* Greater than: comparisons against greater values. */
129 if (x
> two
) FAILURE (">", "greater")
130 if (y
> one
) FAILURE (">", "greater")
131 if (z
> zero
) FAILURE (">", "greater")
132 if (z
> one
) FAILURE (">", "greater")