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
|
/* Test of scanf(): float conversion.
$Id: sscanf_flt-f3.c,v 1.1.2.3 2008/03/20 21:42:36 joerg_wunsch Exp $ */
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "progmem.h"
#ifdef __AVR__
# define ASSERT(expr) \
do { \
if (!(expr)) exit(__LINE__); \
} while (0)
# define EXIT(v) exit (v)
# if defined(__AVR_ATmega128__)
/* ATmega128 has enough RAM for sprintf(), print to 0x2000 in XRAM. */
# define PRINTF(f...) sprintf((char *)0x2000, f)
# else
/* small AVR */
# define PRINTF(f...)
# endif
#else
# include <assert.h>
# define ASSERT(expr) assert (expr)
# define EXIT(v) exit ((v) < 256 ? (v) : 255)
# define PRINTF(f...) printf (f)
# define sscanf_P sscanf
# define memcmp_P memcmp
#endif
/* Next variables are useful to debug the AVR. */
int vrslt = 1;
struct {
union {
long lo;
float fl;
} x[8];
} v = { {{1.0}} };
void Check (int line, int expval, int rslt)
{
vrslt = rslt;
if (rslt != expval) {
PRINTF ("\nLine %d: expect= %d, rslt= %d\n", line, expval, rslt);
EXIT (line);
}
}
/* The sscanf() is called 4 times: SRAM and FLASH format, 2 values
to fill before run. */
#define CHECK(expval, ass_expr, str, fmt, ...) \
do { \
PROGMEM static char fmt_p[] = fmt; \
char str_s[220]; \
char fmt_s[40]; \
char FILL; \
int i; \
int (* volatile vp)(const char *, const char *, ...); \
\
ASSERT (sizeof(str_s) >= sizeof(str)); \
ASSERT (sizeof(fmt_s) >= sizeof(fmt_p)); \
strcpy_P (str_s, PSTR(str)); \
strcpy_P (fmt_s, fmt_p); \
\
for (FILL = 0; FILL < 4; FILL++) { \
memset (&v, FILL, sizeof(v)); \
vp = (FILL & 1) ? sscanf_P : sscanf; \
i = vp (str_s, (FILL & 1) ? fmt_p : fmt_s, ##__VA_ARGS__); \
Check (__LINE__, expval, i); \
ASSERT (ass_expr); \
} \
} while (0)
int main ()
{
/* The smallest. */
CHECK (
2,
v.x[0].lo == 0x00000001 && v.x[1].lo == 0x00000002,
"0.0000000000000000000000000000000000000000000014 "
"0.0000000000000000000000000000000000000000000028",
"%e %e",
& v.x[0].fl, & v.x[1].fl);
CHECK (
8,
v.x[0].lo == 0x00000001 && v.x[1].lo == 0x00000001
&& v.x[2].lo == 0x00000001 && v.x[3].lo == 0x00000001
&& v.x[4].lo == 0x00000001 && v.x[5].lo == 0x00000001
&& v.x[6].lo == 0x00000001 && v.x[7].lo == 0x00000001,
"1.4012985e-45 "
"1.401298e-45 "
"1.40130e-45 "
"1.4013e-45 "
"1.401e-45 "
"1.40e-45 "
"1.4e-45 "
"1e-45",
"%e %e %e %e %e %e %e %e",
& v.x[0].fl, & v.x[1].fl,
& v.x[2].fl, & v.x[3].fl,
& v.x[4].fl, & v.x[5].fl,
& v.x[6].fl, & v.x[7].fl);
/* The biggest. */
CHECK (
1,
v.x[0].lo == 0x7f7fffff,
"340282350000000000000000000000000000000",
"%e",
& v.x[0].fl);
/* Note: it is impossible to obtain 0x7f7fffff with AVR
due to round errors. */
CHECK (
2,
v.x[0].lo == 0x7f7ffffc || v.x[1].lo == 0x7f7ffffb,
"3.4028229e+38 3.4028228e+38",
"%e %e",
& v.x[0].fl, & v.x[1].fl);
/* Underflow. */
CHECK (
4,
v.x[0].fl == -0.0 && v.x[1].fl == 0.0
&& v.x[2].fl == 0 && v.x[3].fl == -0.0,
"-0.7e-45 1e-99 "
"0.0000000000000000000000000000000000000000000007 " /* 0.7e-45 */
"-0.000000000000000000000000000000000000000000000000000000000099999 ",
"%e %e %e %e",
& v.x[0].fl, & v.x[1].fl, & v.x[2].fl, & v.x[3].fl);
/* Overflow. */
CHECK (
4,
v.x[0].fl == INFINITY && v.x[1].fl == -INFINITY
&& v.x[2].fl == -INFINITY && v.x[3].fl == INFINITY,
"3.4028236e+38 -1e99 "
"-340282360000000000000000000000000000000 "
"10000000000000000000000000000000000000000000000000000000000000000",
"%e %e %e %e",
& v.x[0].fl, & v.x[1].fl, & v.x[2].fl, & v.x[3].fl);
return 0;
}
|
