1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
|
/* Test of float comparison, finite values.
$Id: cmp-01.c,v 1.1 2007/02/05 21:35:58 dmix Exp $
*/
#include <stdio.h>
#include <stdlib.h>
#include "progmem.h"
union lofl_u {
long lo;
float fl;
};
PROGMEM const struct { /* Table of test cases. */
union lofl_u x, y;
unsigned char ne; /* x != y */
unsigned char lt; /* x < y */
unsigned char le; /* x <= y */
unsigned char eq; /* x == y */
unsigned char ge; /* x >= y */
unsigned char gt; /* x > y */
} t[] = {
/* 0.0 and 0.0 */
{ { 0x00000000 }, { 0x00000000 }, 0, 0, 1, 1, 1, 0 },
{ { 0x00000000 }, { 0x80000000 }, 0, 0, 1, 1, 1, 0 },
{ { 0x80000000 }, { 0x00000000 }, 0, 0, 1, 1, 1, 0 },
{ { 0x80000000 }, { 0x80000000 }, 0, 0, 1, 1, 1, 0 },
/* 0.0 and nonzero */
{ { 0x00000000 }, { 0x00000001 }, 1, 1, 1, 0, 0, 0 },
{ { 0x00000000 }, { 0x007fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x00000000 }, { 0x00800000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x00000000 }, { 0x7f7fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x00000000 }, { 0x80000001 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00000000 }, { 0x807fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x00000000 }, { 0x80800000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00000000 }, { 0xff7fffff }, 1, 0, 0, 0, 1, 1 },
/* -0.0 and nonzero */
{ { 0x80000000 }, { 0x00000001 }, 1, 1, 1, 0, 0, 0 },
{ { 0x80000000 }, { 0x007fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x80000000 }, { 0x00800000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x80000000 }, { 0x7f7fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x80000000 }, { 0x80000001 }, 1, 0, 0, 0, 1, 1 },
{ { 0x80000000 }, { 0x807fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x80000000 }, { 0x80800000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x80000000 }, { 0xff7fffff }, 1, 0, 0, 0, 1, 1 },
/* nonzero and 0.0 */
{ { 0x00000001 }, { 0x00000000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x007fffff }, { 0x00000000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00800000 }, { 0x00000000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x7f7fffff }, { 0x00000000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x80000001 }, { 0x00000000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x807fffff }, { 0x00000000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x80800000 }, { 0x00000000 }, 1, 1, 1, 0, 0, 0 },
{ { 0xff7fffff }, { 0x00000000 }, 1, 1, 1, 0, 0, 0 },
/* nonzero and -0.0 */
{ { 0x00000001 }, { 0x80000000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x007fffff }, { 0x80000000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00800000 }, { 0x80000000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x7f7fffff }, { 0x80000000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x80000001 }, { 0x80000000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x807fffff }, { 0x80000000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x80800000 }, { 0x80000000 }, 1, 1, 1, 0, 0, 0 },
{ { 0xff7fffff }, { 0x80000000 }, 1, 1, 1, 0, 0, 0 },
/* equal */
{ { 0x00000001 }, { 0x00000001 }, 0, 0, 1, 1, 1, 0 },
{ { 0x007fffff }, { 0x007fffff }, 0, 0, 1, 1, 1, 0 },
{ { 0x00800000 }, { 0x00800000 }, 0, 0, 1, 1, 1, 0 },
{ { 0x7f7fffff }, { 0x7f7fffff }, 0, 0, 1, 1, 1, 0 },
{ { 0x80000001 }, { 0x80000001 }, 0, 0, 1, 1, 1, 0 },
{ { 0x807fffff }, { 0x807fffff }, 0, 0, 1, 1, 1, 0 },
{ { 0x80800000 }, { 0x80800000 }, 0, 0, 1, 1, 1, 0 },
{ { 0xff7fffff }, { 0xff7fffff }, 0, 0, 1, 1, 1, 0 },
/* different signs */
{ { 0x00000001 }, { 0x80000001 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00000100 }, { 0x80000100 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00010000 }, { 0x80010000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00800000 }, { 0x80800000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x7f000000 }, { 0xff000000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x7f7fffff }, { 0xff7fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x80000001 }, { 0x00000001 }, 1, 1, 1, 0, 0, 0 },
{ { 0x80000100 }, { 0x00000100 }, 1, 1, 1, 0, 0, 0 },
{ { 0x80010000 }, { 0x00010000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x80800000 }, { 0x00800000 }, 1, 1, 1, 0, 0, 0 },
{ { 0xff000000 }, { 0x7f000000 }, 1, 1, 1, 0, 0, 0 },
{ { 0xff7fffff }, { 0x7f7fffff }, 1, 1, 1, 0, 0, 0 },
/* slitely diffirent values */
{ { 0x00000003 }, { 0x00000001 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00000300 }, { 0x00000100 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00030000 }, { 0x00010000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00c00000 }, { 0x00800000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x03000000 }, { 0x01000000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x60000000 }, { 0x20000000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00000001 }, { 0x00000003 }, 1, 1, 1, 0, 0, 0 },
{ { 0x00000100 }, { 0x00000300 }, 1, 1, 1, 0, 0, 0 },
{ { 0x00010000 }, { 0x00030000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x00800000 }, { 0x00c00000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x01000000 }, { 0x03000000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x20000000 }, { 0x60000000 }, 1, 1, 1, 0, 0, 0 },
/* x < y */
{ { 0xff7fffff }, { 0xff7ffffe }, 1, 1, 1, 0, 0, 0 },
{ { 0xff7fffff }, { 0x80800000 }, 1, 1, 1, 0, 0, 0 },
{ { 0xff7fffff }, { 0x807fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0xff7fffff }, { 0x80000001 }, 1, 1, 1, 0, 0, 0 },
{ { 0xff7fffff }, { 0x00000001 }, 1, 1, 1, 0, 0, 0 },
{ { 0xff7fffff }, { 0x007fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0xff7fffff }, { 0x00800000 }, 1, 1, 1, 0, 0, 0 },
{ { 0xff7fffff }, { 0x7f7fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x80800000 }, { 0x807fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x80800000 }, { 0x80000001 }, 1, 1, 1, 0, 0, 0 },
{ { 0x80800000 }, { 0x00000001 }, 1, 1, 1, 0, 0, 0 },
{ { 0x80800000 }, { 0x007fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x80800000 }, { 0x00800000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x80800000 }, { 0x7f7fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x807fffff }, { 0x807ffffe }, 1, 1, 1, 0, 0, 0 },
{ { 0x807fffff }, { 0x80000001 }, 1, 1, 1, 0, 0, 0 },
{ { 0x807fffff }, { 0x00000001 }, 1, 1, 1, 0, 0, 0 },
{ { 0x807fffff }, { 0x007fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x807fffff }, { 0x00800000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x807fffff }, { 0x7f7fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x80000001 }, { 0x00000001 }, 1, 1, 1, 0, 0, 0 },
{ { 0x80000001 }, { 0x007fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x80000001 }, { 0x00800000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x80000001 }, { 0x7f7fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x00000001 }, { 0x00000002 }, 1, 1, 1, 0, 0, 0 },
{ { 0x00000001 }, { 0x007fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x00000001 }, { 0x00800000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x00000001 }, { 0x7f7fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x007fffff }, { 0x00800000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x007fffff }, { 0x7f7fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x00800000 }, { 0x00800001 }, 1, 1, 1, 0, 0, 0 },
{ { 0x00800000 }, { 0x7f7fffff }, 1, 1, 1, 0, 0, 0 },
{ { 0x7f7ffffe }, { 0x7f7fffff }, 1, 1, 1, 0, 0, 0 },
/* x > y */
{ { 0xff7ffffe }, { 0xff7fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x80800000 }, { 0xff7fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x807fffff }, { 0xff7fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x80000001 }, { 0xff7fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x00000001 }, { 0xff7fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x007fffff }, { 0xff7fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x00800000 }, { 0xff7fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x7f7fffff }, { 0xff7fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x807fffff }, { 0x80800000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x80000001 }, { 0x80800000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00000001 }, { 0x80800000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x007fffff }, { 0x80800000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00800000 }, { 0x80800000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x7f7fffff }, { 0x80800000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x807ffffe }, { 0x807fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x80000001 }, { 0x807fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x00000001 }, { 0x807fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x007fffff }, { 0x807fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x00800000 }, { 0x807fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x7f7fffff }, { 0x807fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x00000001 }, { 0x80000001 }, 1, 0, 0, 0, 1, 1 },
{ { 0x007fffff }, { 0x80000001 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00800000 }, { 0x80000001 }, 1, 0, 0, 0, 1, 1 },
{ { 0x7f7fffff }, { 0x80000001 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00000002 }, { 0x00000001 }, 1, 0, 0, 0, 1, 1 },
{ { 0x007fffff }, { 0x00000001 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00800000 }, { 0x00000001 }, 1, 0, 0, 0, 1, 1 },
{ { 0x7f7fffff }, { 0x00000001 }, 1, 0, 0, 0, 1, 1 },
{ { 0x00800000 }, { 0x007fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x7f7fffff }, { 0x007fffff }, 1, 0, 0, 0, 1, 1 },
{ { 0x00800001 }, { 0x00800000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x7f7fffff }, { 0x00800000 }, 1, 0, 0, 0, 1, 1 },
{ { 0x7f7fffff }, { 0x7f7ffffe }, 1, 0, 0, 0, 1, 1 },
/* others */
{ { 0x000000ff }, { 0x00000100 }, 1, 1, 1, 0, 0, 0 },
{ { 0x0000ffff }, { 0x00010000 }, 1, 1, 1, 0, 0, 0 },
{ { 0x000000ff }, { 0x000000fe }, 1, 0, 0, 0, 1, 1 },
{ { 0x0000ffff }, { 0x0000fffe }, 1, 0, 0, 0, 1, 1 },
};
unsigned char cmpno = 255; /* to debug */
void x_exit (int index, unsigned char no)
{
#ifndef __AVR__
fprintf (stderr, "t[%d]: no= %d\n", index - 1, no);
#endif
cmpno = no;
exit (index ? index : -1);
}
volatile union lofl_u x, y;
int main ()
{
int i;
for (i = 0; i < (int) (sizeof(t) / sizeof(t[0])); i++) {
x.lo = pgm_read_dword (& t[i].x);
y.lo = pgm_read_dword (& t[i].y);
if ((x.fl != y.fl) != pgm_read_byte (& t[i].ne))
x_exit (i+1, 1);
if ((x.fl < y.fl) != pgm_read_byte (& t[i].lt))
x_exit (i+1, 2);
if ((x.fl <= y.fl) != pgm_read_byte (& t[i].le))
x_exit (i+1, 3);
if ((x.fl == y.fl) != pgm_read_byte (& t[i].eq))
x_exit (i+1, 4);
if ((x.fl >= y.fl) != pgm_read_byte (& t[i].ge))
x_exit (i+1, 5);
if ((x.fl > y.fl) != pgm_read_byte (& t[i].gt))
x_exit (i+1, 6);
}
return 0;
}
|
