1 /*******************************************************************************
2 Copyright (c) 2016, Michael Wallner <mike@php.net>.
5 Redistribution and use in source and binary forms, with or without
6 modification, are permitted provided that the following conditions are met:
8 * Redistributions of source code must retain the above copyright notice,
9 this list of conditions and the following disclaimer.
10 * Redistributions in binary form must reproduce the above copyright
11 notice, this list of conditions and the following disclaimer in the
12 documentation and/or other materials provided with the distribution.
14 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
15 AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16 IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
17 DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
18 FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19 DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
20 SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
21 CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
22 OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
24 *******************************************************************************/
26 #include "php_psi_stdinc.h"
31 #include "php_psi_posix.h"
33 struct psi_decl_type
*psi_decl_type_init(token_t type
, const char *name
)
35 struct psi_decl_type
*t
= calloc(1, sizeof(*t
));
37 t
->name
= strdup(name
);
41 void psi_decl_type_free(struct psi_decl_type
**type_ptr
)
44 struct psi_decl_type
*type
= *type_ptr
;
50 if (type
->type
== PSI_T_FUNCTION
) {
51 psi_decl_free(&type
->real
.func
);
58 struct psi_decl_type
*psi_decl_type_copy(struct psi_decl_type
*src
)
60 struct psi_decl_type
*dst
= calloc(1, sizeof(*dst
));
62 dst
->type
= src
->type
;
64 dst
->name
= strdup(src
->name
);
67 dst
->token
= psi_token_copy(src
->token
);
72 struct psi_plist
*psi_decl_type_get_args(struct psi_decl_type
*dtyp
,
73 struct psi_decl_type
**real_typ_ptr
)
75 struct psi_decl_type
*var_typ
;
77 var_typ
= psi_decl_type_get_real(dtyp
);
79 *real_typ_ptr
= var_typ
;
82 switch (var_typ
->type
) {
84 return var_typ
->real
.strct
->args
;
86 return var_typ
->real
.unn
->args
;
92 size_t psi_decl_type_get_size(struct psi_decl_type
*dtyp
,
93 struct psi_decl_type
**real_typ_ptr
)
95 struct psi_decl_type
*var_typ
;
97 var_typ
= psi_decl_type_get_real(dtyp
);
99 *real_typ_ptr
= var_typ
;
102 switch (var_typ
->type
) {
104 return var_typ
->real
.strct
->size
;
106 return var_typ
->real
.unn
->size
;
108 return psi_t_size(var_typ
->type
);
112 bool psi_decl_type_get_alias(struct psi_decl_type
*type
, struct psi_plist
*defs
)
115 struct psi_std_type
*stdtyp
;
116 struct psi_decl_arg
*def
;
118 if (type
->real
.def
) {
122 while (psi_plist_get(defs
, i
++, &def
)) {
123 if (def
->type
->type
!= type
->type
124 && !strcmp(def
->var
->name
, type
->name
)) {
125 type
->real
.def
= def
;
129 for (stdtyp
= &psi_std_types
[0]; stdtyp
->type_tag
; ++stdtyp
) {
130 if (!strcmp(type
->name
, stdtyp
->alias
?: stdtyp
->type_name
)) {
131 type
->type
= stdtyp
->type_tag
;
139 bool psi_decl_type_get_struct(struct psi_decl_type
*type
, struct psi_plist
*structs
)
142 struct psi_decl_struct
*s
;
144 if (type
->real
.strct
) {
148 while (psi_plist_get(structs
, i
++, &s
)) {
149 if (!strcmp(s
->name
, type
->name
)) {
150 type
->real
.strct
= s
;
158 bool psi_decl_type_get_union(struct psi_decl_type
*type
, struct psi_plist
*unions
)
161 struct psi_decl_union
*u
;
163 if (type
->real
.unn
) {
167 while (psi_plist_get(unions
, i
++, &u
)) {
168 if (!strcmp(u
->name
, type
->name
)) {
177 bool psi_decl_type_get_enum(struct psi_decl_type
*type
, struct psi_plist
*enums
)
180 struct psi_decl_enum
*e
;
182 if (type
->real
.enm
) {
186 while (psi_plist_get(enums
, i
++, &e
)) {
187 if (!strcmp(e
->name
, type
->name
)) {
196 bool psi_decl_type_get_decl(struct psi_decl_type
*type
, struct psi_plist
*decls
)
199 struct psi_decl
*decl
;
201 if (type
->real
.func
) {
205 while (psi_plist_get(decls
, i
++, &decl
)) {
206 if (!strcmp(decl
->func
->var
->name
, type
->name
)) {
207 type
->real
.func
= decl
;
215 bool psi_decl_type_validate(struct psi_data
*data
, struct psi_decl_type
*type
,
216 struct psi_validate_stack
*type_stack
)
218 if (psi_decl_type_is_weak(type
)) {
219 if (!psi_decl_type_get_alias(type
, data
->types
)) {
220 if (!psi_validate_stack_has_type(type_stack
, type
->name
)) {
223 type
->real
.def
= psi_validate_stack_get_type(type_stack
, type
->name
);
225 if (type
->real
.def
) {
226 return psi_decl_type_validate(data
, type
->real
.def
->type
,
232 switch (type
->type
) {
234 if (!psi_decl_type_get_struct(type
, data
->structs
)) {
235 if (psi_validate_stack_has_struct(type_stack
, type
->name
)) {
236 type
->real
.strct
= psi_validate_stack_get_struct(type_stack
, type
->name
);
238 data
->error(data
, type
->token
, PSI_WARNING
,
239 "Unknown struct '%s'", type
->name
);
243 if (!psi_decl_struct_validate(data
, type
->real
.strct
, type_stack
)) {
248 if (!psi_decl_type_get_union(type
, data
->unions
)) {
249 if (psi_validate_stack_has_union(type_stack
, type
->name
)) {
250 type
->real
.unn
= psi_validate_stack_get_union(type_stack
, type
->name
);
252 data
->error(data
, type
->token
, PSI_WARNING
,
253 "Unknown union '%s'", type
->name
);
257 if (!psi_decl_union_validate(data
, type
->real
.unn
, type_stack
)) {
262 if (!psi_decl_type_get_enum(type
, data
->enums
)) {
263 data
->error(data
, type
->token
, PSI_WARNING
,
264 "Unknown enum '%s'", type
->name
);
269 if (!psi_decl_type_get_decl(type
, data
->decls
)) {
270 data
->error(data
, type
->token
, PSI_WARNING
,
271 "Unknown decl '%s'", type
->name
);
274 if (!psi_decl_validate_nodl(data
, type
->real
.func
, type_stack
)) {
285 void psi_decl_type_dump_args_with_layout(int fd
, struct psi_plist
*args
,
292 struct psi_decl_arg
*sarg
;
295 while (psi_plist_get(args
, i
++, &sarg
)) {
296 dprintf(fd
, "%s", psi_t_indent(level
));
297 psi_decl_arg_dump(fd
, sarg
, level
);
298 if (sarg
->layout
->bfw
) {
299 dprintf(fd
, ":%zu", sarg
->layout
->bfw
->len
);
301 dprintf(fd
, "::(%zu, %zu);\n", sarg
->layout
->pos
,
306 dprintf(fd
, "%s", psi_t_indent(level
));
310 void psi_decl_type_dump(int fd
, struct psi_decl_type
*t
, unsigned level
)
314 dprintf(fd
, "%s *", t
->name
);
318 dprintf(fd
, "enum ");
319 if (psi_decl_type_is_anon(t
->name
, "enum")) {
320 size_t i
= 0, c
= psi_plist_count(t
->real
.enm
->items
);
321 struct psi_decl_enum_item
*item
;
325 while (psi_plist_get(t
->real
.enm
->items
, i
++, &item
)) {
326 dprintf(fd
, "%s", psi_t_indent(level
));
327 psi_decl_enum_item_dump(fd
, item
);
329 dprintf(fd
, "%s\n", i
< c
? "," : "");
333 dprintf(fd
, "%s} ", psi_t_indent(level
));
339 dprintf(fd
, "struct ");
340 if (psi_decl_type_is_anon(t
->name
, "struct")) {
341 psi_decl_type_dump_args_with_layout(fd
, t
->real
.strct
->args
, level
);
347 dprintf(fd
, "union ");
348 if (psi_decl_type_is_anon(t
->name
, "union")) {
349 psi_decl_type_dump_args_with_layout(fd
, t
->real
.unn
->args
, level
);
354 dprintf(fd
, "%s", t
->name
);
357 int psi_decl_type_is_weak(struct psi_decl_type
*type
)
359 switch (type
->type
) {
373 struct psi_decl_type
*psi_decl_type_get_real(struct psi_decl_type
*type
)
375 while (psi_decl_type_is_weak(type
) && type
->real
.def
) {
376 type
= type
->real
.def
->type
;
381 size_t psi_decl_type_get_align(struct psi_decl_type
*t
)
383 struct psi_decl_type
*real
= psi_decl_type_get_real(t
);
386 switch (real
->type
) {
388 align
= psi_decl_struct_get_align(real
->real
.strct
);
391 align
= psi_decl_union_get_align(real
->real
.unn
);
395 align
= psi_t_alignment(real
->type
);
401 size_t psi_decl_type_get_args_align(struct psi_plist
*args
)
403 size_t i
= 0, maxalign
= 0;
404 struct psi_decl_arg
*darg
;
406 while (psi_plist_get(args
, i
++, &darg
)) {
407 size_t align
= psi_decl_arg_get_align(darg
);
409 if (align
> maxalign
) {