Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are met:
- * Redistributions of source code must retain the above copyright notice,
- this list of conditions and the following disclaimer.
- * Redistributions in binary form must reproduce the above copyright
- notice, this list of conditions and the following disclaimer in the
- documentation and/or other materials provided with the distribution.
+ * Redistributions of source code must retain the above copyright notice,
+ this list of conditions and the following disclaimer.
+ * Redistributions in binary form must reproduce the above copyright
+ notice, this list of conditions and the following disclaimer in the
+ documentation and/or other materials provided with the distribution.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-*******************************************************************************/
+ *******************************************************************************/
-#ifdef HAVE_CONFIG_H
-# include "config.h"
-#else
-# include "php_config.h"
-#endif
+#include "php_psi_stdinc.h"
+#include "data.h"
-#include <stdlib.h>
-#include <stdio.h>
-#include <string.h>
#include <assert.h>
-#include "data.h"
-
-decl_struct* init_decl_struct(const char* name, decl_args* args) {
- decl_struct* s = calloc(1, sizeof(*s));
+struct psi_decl_struct* psi_decl_struct_init(const char *name,
+ struct psi_plist *args)
+{
+ struct psi_decl_struct *s = calloc(1, sizeof(*s));
s->name = strdup(name);
s->args = args;
return s;
}
-void free_decl_struct(decl_struct* s) {
- if (s->token) {
- free(s->token);
- }
- if (s->args) {
- free_decl_args(s->args);
- }
- if (s->engine.type && s->engine.dtor) {
- s->engine.dtor(s->engine.type);
+void psi_decl_struct_free(struct psi_decl_struct **s_ptr)
+{
+ if (*s_ptr) {
+ struct psi_decl_struct *s = *s_ptr;
+
+ *s_ptr = NULL;
+ if (s->token) {
+ free(s->token);
+ }
+ if (s->args) {
+ psi_plist_free(s->args);
+ }
+ if (s->engine.type && s->engine.dtor) {
+ s->engine.dtor(s->engine.type);
+ }
+ free(s->name);
+ free(s);
}
- free(s->name);
- free(s);
}
-void dump_decl_struct(int fd, decl_struct *strct) {
- dprintf(fd, "struct %s::(%zu, %zu)", strct->name, strct->align, strct->size);
- if (strct->args && strct->args->count) {
- dump_decl_args_with_layout(fd, strct->args, 0);
+void psi_decl_struct_dump(int fd, struct psi_decl_struct *strct)
+{
+ dprintf(fd, "struct %s::(%zu, %zu)", strct->name, strct->align,
+ strct->size);
+ if (psi_plist_count(strct->args)) {
+ psi_decl_type_dump_args_with_layout(fd, strct->args, 0);
} else {
dprintf(fd, ";");
}
}
-decl_arg *locate_decl_struct_member(decl_struct *s, decl_var *var) {
+struct psi_decl_arg *psi_decl_struct_get_arg(struct psi_decl_struct *s,
+ struct psi_decl_var *var)
+{
if (s->args) {
- return locate_decl_var_arg(var, s->args, NULL);
+ return psi_decl_arg_get_by_var(var, s->args, NULL);
}
return NULL;
}
-int validate_decl_struct(struct psi_data *data, decl_struct *s) {
+bool psi_decl_struct_validate(struct psi_data *data, struct psi_decl_struct *s,
+ struct psi_validate_stack *type_stack)
+{
size_t i, pos, len, size, align;
+ struct psi_decl_arg *darg, *prev_arg;
- if (!s->size && !s->args->count) {
+ if (psi_validate_stack_has_struct(type_stack, s->name)) {
+ return true;
+ }
+ psi_validate_stack_add_struct(type_stack, s->name, s);
+
+ if (!s->size && !psi_plist_count(s->args)) {
data->error(data, s->token, PSI_WARNING,
- "Cannot compute size of empty struct '%s'",
- s->name);
- return 0;
+ "Cannot compute size of empty struct '%s'", s->name);
+ return false;
}
- for (i = 0; i < s->args->count; ++i) {
- decl_arg *darg = s->args->args[i];
+ for (i = 0; psi_plist_get(s->args, i, &darg); ++i) {
+ darg->var->arg = darg;
- if (!validate_decl_arg(data, darg)) {
- return 0;
+ if (!psi_decl_arg_validate(data, darg, type_stack)) {
+ return false;
}
- assert(!darg->var->arg || darg->var->arg == darg);
-
- darg->var->arg = darg;
-
- if (!validate_decl_arg_args(data, darg, s)) {
- return 0;
- } else if (darg->layout) {
+ if (darg->layout && darg->layout->len) {
pos = darg->layout->pos;
+ align = psi_decl_arg_align(darg, &pos, &len);
- align = align_decl_arg(darg, &pos, &len);
+ if (!align) {
+ data->error(data, darg->token, PSI_WARNING,
+ "Computed zero alignment of %s.%s of type '%s'",
+ len, s->name, darg->var->name, darg->type->name);
+ return false;
+ }
if (darg->layout->len != len) {
data->error(data, darg->token, PSI_WARNING,
" pre-defined offset %zu",
pos, s->name, darg->var->name, darg->layout->pos);
}
- } else {
+ } else {
if (i) {
- pos = s->args->args[i-1]->layout->pos +
- s->args->args[i-1]->layout->len;
+ if (prev_arg->layout && prev_arg->layout->bfw && darg->layout && darg->layout->bfw) {
+ struct psi_decl_type *real = NULL;
+ size_t max_bfw = 8 * psi_decl_type_get_size(prev_arg->type, &real);
+
+ switch (real->type) {
+ case PSI_T_INT8:
+ case PSI_T_UINT8:
+ case PSI_T_INT16:
+ case PSI_T_UINT16:
+ case PSI_T_INT32:
+ case PSI_T_UINT32:
+ case PSI_T_INT64:
+ case PSI_T_UINT64:
+ break;
+ default:
+ data->error(data, darg->token, PSI_WARNING,
+ "Unsupported type for bit field: %s", real->name);
+ return false;
+ }
+ darg->layout->bfw->pos = prev_arg->layout->bfw->pos + prev_arg->layout->bfw->len;
+ if (max_bfw >= darg->layout->bfw->pos + darg->layout->bfw->len) {
+ pos = prev_arg->layout->pos;
+ } else {
+ darg->layout->bfw->pos = 0;
+ pos = prev_arg->layout->pos + prev_arg->layout->len;
+ }
+ } else {
+ pos = prev_arg->layout->pos + prev_arg->layout->len;
+ }
} else {
pos = 0;
}
- align = align_decl_arg(darg, &pos, &len);
- darg->layout = init_decl_struct_layout(pos, len);
+ align = psi_decl_arg_align(darg, &pos, &len);
+
+ if (darg->layout) {
+ if (darg->layout->pos != pos) {
+ data->error(data, darg->token, PSI_WARNING,
+ "Computed offset %zu of %s.%s does not match"
+ " pre-defined offset %zu",
+ pos, s->name, darg->var->name, darg->layout->pos);
+ }
+ darg->layout->pos = pos;
+ darg->layout->len = len;
+ } else {
+ darg->layout = psi_layout_init(pos, len, NULL);
+ }
}
if (align > s->align) {
s->align = align;
}
+ prev_arg = darg;
}
- sort_decl_args(s->args);
-
- if (s->args->count) {
- decl_arg *darg = s->args->args[s->args->count-1];
+ if (psi_plist_count(s->args)) {
+ psi_plist_sort(s->args, psi_layout_sort_cmp, NULL);
+ psi_plist_get(s->args, psi_plist_count(s->args) - 1, &darg);
size = darg->layout->pos + darg->layout->len;
if (s->size < size) {
}
}
- return 1;
+ return true;
}
-size_t alignof_decl_struct(decl_struct *s) {
+size_t psi_decl_struct_get_align(struct psi_decl_struct *s)
+{
if (!s->align) {
- s->align = alignof_decl_args(s->args);
+ s->align = psi_decl_type_get_args_align(s->args);
}
return s->align;
}
projects / m6w6 / ext-psi / blobdiff