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
|
/** bit-precise bit-fields
*/
#include <testfwk.h>
#include <stdbool.h>
// clang 11 supports bit-precise types, but deviates a bit from C23.
#if __clang_major__ == 11
#define __SDCC_BITINT_MAXWIDTH 128
#define _BitInt _ExtInt
#endif
#if __SDCC_BITINT_MAXWIDTH >= 4 // TODO: When we can regression-test in --std-c23 mode, use the standard macro from limits.h instead!
struct {
unsigned _BitInt(3) b3 : 3;
unsigned _BitInt(4) b4 : 4;
bool b : 1;
} ubf = {5, 6, false};
struct {
signed _BitInt(3) b3 : 3;
signed _BitInt(4) b4 : 4;
signed int b : 1;
} sbf = {-2, 2, -1};
struct {
_BitInt(3) b3 : 3;
_BitInt(4) b4 : 4;
unsigned int b : 1;
} bf = {-2, 2, 1};
struct {
unsigned _BitInt(3) b2 : 2;
unsigned _BitInt(4) b3 : 3;
unsigned _BitInt(4) b4 : 4;
} ubf2 = {2, 2, 5};
#endif
void testBitIntBitField(void)
{
#if __SDCC_BITINT_MAXWIDTH >= 4 // TODO: When we can regression-test in --std-c23 mode, use the standard macro from limits.h instead!
ASSERT (ubf.b3 == 5);
ASSERT (ubf.b4 == 6);
ASSERT (ubf.b == false);
ASSERT (sbf.b3 == -2);
ASSERT (sbf.b4 == 2);
ASSERT (sbf.b == -1);
ASSERT (bf.b3 == -2);
ASSERT (bf.b4 == 2);
ASSERT (bf.b == 1);
ASSERT (_Generic(ubf2.b2, unsigned _BitInt(3): 1, default: 0) == 1);
ASSERT (ubf2.b2 == 2);
ASSERT (ubf2.b3 == 2);
ASSERT (ubf2.b4 == 5);
ubf2.b3 = 7;
ASSERT (ubf2.b2 == 2);
ASSERT (ubf2.b3 == 7);
ASSERT (ubf2.b4 == 5);
sbf.b3 = -1;
sbf.b4 = 0;
sbf.b = -1;
ASSERT (sbf.b3 == -1);
ASSERT (sbf.b4 == 0);
ASSERT (sbf.b == -1);
#endif
}
|
