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
|
enum typequalifier {
QUALNONE,
QUALCONST = 1<<1,
QUALRESTRICT = 1<<2,
QUALVOLATILE = 1<<3,
QUALATOMIC = 1<<4,
};
enum typekind {
TYPENONE,
TYPEQUALIFIED,
TYPEVOID,
TYPEBASIC,
TYPEPOINTER,
TYPEARRAY,
TYPEFUNC,
TYPESTRUCT,
TYPEUNION,
};
enum typeproperty {
PROPNONE,
PROPOBJECT = 1<<0,
PROPCHAR = 1<<1,
PROPINT = 1<<2,
PROPREAL = 1<<3,
PROPARITH = 1<<4,
PROPSCALAR = 1<<5,
PROPAGGR = 1<<6,
PROPDERIVED = 1<<7,
PROPFLOAT = 1<<8,
};
struct parameter {
char *name;
struct type *type;
struct value *value;
struct parameter *next;
};
struct member {
char *name;
struct type *type;
uint64_t offset;
struct member *next;
};
struct type {
enum typekind kind;
int align;
uint64_t size;
struct representation *repr;
union {
struct type *base;
struct list link; /* used only during construction of type */
};
_Bool incomplete;
union {
struct {
enum typequalifier kind;
} qualified;
struct {
enum {
BASICBOOL,
BASICCHAR,
BASICSHORT,
BASICINT,
BASICLONG,
BASICLONGLONG,
BASICFLOAT,
BASICDOUBLE,
BASICLONGDOUBLE,
} kind;
_Bool issigned, iscomplex;
} basic;
struct {
uint64_t length;
} array;
struct {
_Bool isprototype, isvararg, isnoreturn;
struct parameter *params;
} func;
struct {
char *tag;
struct member *members;
} structunion;
};
};
struct type *mktype(enum typekind, struct type *base);
struct type *mkqualifiedtype(struct type *, enum typequalifier);
struct type *mkpointertype(struct type *);
struct type *mkarraytype(struct type *, uint64_t);
_Bool typecompatible(struct type *, struct type *);
_Bool typesame(struct type *, struct type *);
struct type *typecomposite(struct type *, struct type *);
struct type *typeunqual(struct type *, enum typequalifier *);
struct type *typecommonreal(struct type *, struct type *);
struct type *typeargpromote(struct type *);
struct type *typeintpromote(struct type *);
enum typeproperty typeprop(struct type *);
struct type *typemember(struct type *, const char *, uint64_t *);
struct parameter *mkparam(char *, struct type *);
extern struct type typevoid;
extern struct type typebool;
extern struct type typechar, typeschar, typeuchar;
extern struct type typeshort, typeushort;
extern struct type typeint, typeuint;
extern struct type typelong, typeulong;
extern struct type typellong, typeullong;
extern struct type typefloat, typedouble, typelongdouble;
extern struct type typevalist, typevalistptr;
|
