git.m6w6.name Git - m6w6/ext-psi/blob - src/types/decl_struct.c

   1 /*******************************************************************************
   2  Copyright (c) 2016, Michael Wallner <mike@php.net>.
   3  All rights reserved.
   4
   5  Redistribution and use in source and binary forms, with or without
   6  modification, are permitted provided that the following conditions are met:
   7
   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.
  13
  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  *******************************************************************************/
  25
  26 #include "php_psi_stdinc.h"
  27 #include "data.h"
  28
  29 #include <assert.h>
  30
  31 struct psi_decl_struct* psi_decl_struct_init(const char *name,
  32                 struct psi_plist *args)
  33 {
  34         struct psi_decl_struct *s = calloc(1, sizeof(*s));
  35         s->name = strdup(name);
  36         s->args = args;
  37         return s;
  38 }
  39
  40 void psi_decl_struct_free(struct psi_decl_struct **s_ptr)
  41 {
  42         if (*s_ptr) {
  43                 struct psi_decl_struct *s = *s_ptr;
  44
  45                 *s_ptr = NULL;
  46                 if (s->token) {
  47                         free(s->token);
  48                 }
  49                 if (s->args) {
  50                         psi_plist_free(s->args);
  51                 }
  52                 if (s->engine.type && s->engine.dtor) {
  53                         s->engine.dtor(s->engine.type);
  54                 }
  55                 free(s->name);
  56                 free(s);
  57         }
  58 }
  59
  60 void psi_decl_struct_dump(int fd, struct psi_decl_struct *strct)
  61 {
  62         dprintf(fd, "struct %s::(%zu, %zu)", strct->name, strct->align,
  63                         strct->size);
  64         if (psi_plist_count(strct->args)) {
  65                 psi_decl_type_dump_args_with_layout(fd, strct->args, 0);
  66         } else {
  67                 dprintf(fd, ";");
  68         }
  69 }
  70
  71 struct psi_decl_arg *psi_decl_struct_get_arg(struct psi_decl_struct *s,
  72                 struct psi_decl_var *var)
  73 {
  74         if (s->args) {
  75                 return psi_decl_arg_get_by_var(var, s->args, NULL);
  76         }
  77
  78         return NULL;
  79 }
  80
  81 bool psi_decl_struct_validate(struct psi_data *data, struct psi_decl_struct *s,
  82                 struct psi_validate_stack *type_stack)
  83 {
  84         size_t i, pos, len, size, align;
  85         struct psi_decl_arg *darg, *prev_arg;
  86
  87         if (psi_validate_stack_has_struct(type_stack, s->name)) {
  88                 return true;
  89         }
  90         psi_validate_stack_add_struct(type_stack, s->name, s);
  91
  92         if (!s->size && !psi_plist_count(s->args)) {
  93                 data->error(data, s->token, PSI_WARNING,
  94                                 "Cannot compute size of empty struct '%s'", s->name);
  95                 return false;
  96         }
  97
  98         for (i = 0; psi_plist_get(s->args, i, &darg); ++i) {
  99                 darg->var->arg = darg;
 100
 101                 if (!psi_decl_arg_validate(data, darg, type_stack)) {
 102                         return false;
 103                 }
 104
 105                 if (darg->layout && darg->layout->len) {
 106                         pos = darg->layout->pos;
 107                         align = psi_decl_arg_align(darg, &pos, &len);
 108
 109                         if (!align) {
 110                                 data->error(data, darg->token, PSI_WARNING,
 111                                                 "Computed zero alignment of %s.%s of type '%s'",
 112                                                 len, s->name, darg->var->name, darg->type->name);
 113                                 return false;
 114                         }
 115
 116                         if (darg->layout->len != len) {
 117                                 data->error(data, darg->token, PSI_WARNING,
 118                                                 "Computed size %zu of %s.%s does not match"
 119                                                 " pre-defined size %zu of type '%s'",
 120                                                 len, s->name, darg->var->name, darg->layout->len,
 121                                                 darg->type->name);
 122                         }
 123                         if (darg->layout->pos != pos) {
 124                                 data->error(data, darg->token, PSI_WARNING,
 125                                                 "Computed offset %zu of %s.%s does not match"
 126                                                 " pre-defined offset %zu",
 127                                                 pos, s->name, darg->var->name, darg->layout->pos);
 128                         }
 129                 } else {
 130                         if (i) {
 131                                 if (prev_arg->layout && prev_arg->layout->bfw && darg->layout && darg->layout->bfw) {
 132                                         struct psi_decl_type *real = NULL;
 133                                         size_t max_bfw = 8 * psi_decl_type_get_size(prev_arg->type, &real);
 134
 135                                         switch (real->type) {
 136                                         case PSI_T_INT8:
 137                                         case PSI_T_UINT8:
 138                                         case PSI_T_INT16:
 139                                         case PSI_T_UINT16:
 140                                         case PSI_T_INT32:
 141                                         case PSI_T_UINT32:
 142                                         case PSI_T_INT64:
 143                                         case PSI_T_UINT64:
 144                                                 break;
 145                                         default:
 146                                                 data->error(data, darg->token, PSI_WARNING,
 147                                                                 "Unsupported type for bit field: %s", real->name);
 148                                                 return false;
 149                                         }
 150                                         darg->layout->bfw->pos = prev_arg->layout->bfw->pos + prev_arg->layout->bfw->len;
 151                                         if (max_bfw >= darg->layout->bfw->pos + darg->layout->bfw->len) {
 152                                                 pos = prev_arg->layout->pos;
 153                                         } else {
 154                                                 darg->layout->bfw->pos = 0;
 155                                                 pos = prev_arg->layout->pos + prev_arg->layout->len;
 156                                         }
 157                                 } else {
 158                                         pos = prev_arg->layout->pos + prev_arg->layout->len;
 159                                 }
 160                         } else {
 161                                 pos = 0;
 162                         }
 163
 164                         align = psi_decl_arg_align(darg, &pos, &len);
 165
 166                         if (darg->layout) {
 167                                 if (darg->layout->pos != pos) {
 168                                         data->error(data, darg->token, PSI_WARNING,
 169                                                         "Computed offset %zu of %s.%s does not match"
 170                                                         " pre-defined offset %zu",
 171                                                         pos, s->name, darg->var->name, darg->layout->pos);
 172                                 }
 173                                 darg->layout->pos = pos;
 174                                 darg->layout->len = len;
 175                         } else {
 176                                 darg->layout = psi_layout_init(pos, len, NULL);
 177                         }
 178                 }
 179
 180                 if (align > s->align) {
 181                         s->align = align;
 182                 }
 183                 prev_arg = darg;
 184         }
 185
 186         if (psi_plist_count(s->args)) {
 187                 psi_plist_sort(s->args, psi_layout_sort_cmp, NULL);
 188                 psi_plist_get(s->args, psi_plist_count(s->args) - 1, &darg);
 189
 190                 size = darg->layout->pos + darg->layout->len;
 191                 if (s->size < size) {
 192                         s->size = psi_align(size, s->align);
 193                 }
 194         }
 195
 196         return true;
 197 }
 198
 199 size_t psi_decl_struct_get_align(struct psi_decl_struct *s)
 200 {
 201         if (!s->align) {
 202                 s->align = psi_decl_type_get_args_align(s->args);
 203         }
 204         return s->align;
 205 }