raising the head after a three-weeks refactoring
[m6w6/ext-psi] / src / types / decl_arg.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 <assert.h>
28
29 #include "data.h"
30
31 struct psi_decl_arg *psi_decl_arg_init(struct psi_decl_type *type,
32 struct psi_decl_var *var)
33 {
34 struct psi_decl_arg *arg = calloc(1, sizeof(*arg));
35 arg->token = var->token;
36 arg->type = type;
37 arg->var = var;
38 var->arg = arg;
39 return arg;
40 }
41
42 void psi_decl_arg_free(struct psi_decl_arg **arg_ptr)
43 {
44 if (*arg_ptr) {
45 struct psi_decl_arg *arg = *arg_ptr;
46
47 *arg_ptr = NULL;
48 if (arg->token && arg->token != arg->var->token) {
49 free(arg->token);
50 }
51 psi_decl_type_free(&arg->type);
52 psi_decl_var_free(&arg->var);
53 if (arg->layout) {
54 psi_layout_free(&arg->layout);
55 }
56 free(arg);
57 }
58 }
59
60 void psi_decl_arg_dump(int fd, struct psi_decl_arg *arg, unsigned level)
61 {
62 if (arg->type->type == PSI_T_FUNCTION) {
63 psi_decl_type_dump(fd, arg->type->real.func->func->type, level);
64 dprintf(fd, " (*");
65 psi_decl_var_dump(fd, arg->var);
66 dprintf(fd, ")(");
67 if (arg->type->real.func->args) {
68 size_t j = 0;
69 struct psi_decl_arg *farg;
70
71 ++level;
72 while (psi_plist_get(arg->type->real.func->args, j++, &farg)) {
73 if (j > 1) {
74 dprintf(fd, ", ");
75 }
76 psi_decl_arg_dump(fd, farg, level);
77 }
78 --level;
79 if (arg->type->real.func->varargs) {
80 dprintf(fd, ", ...");
81 }
82 }
83 dprintf(fd, ")");
84 } else {
85 psi_decl_type_dump(fd, arg->type, level);
86 dprintf(fd, " ");
87 psi_decl_var_dump(fd, arg->var);
88 }
89 }
90
91 bool psi_decl_arg_validate(struct psi_data *data, struct psi_decl_arg *arg)
92 {
93 if (!psi_decl_type_validate(data, arg->type, NULL)) {
94 data->error(data, arg->type->token, PSI_WARNING,
95 "Cannot use '%s' as type for '%s': %s", arg->type->name,
96 arg->var->name, data->last_error);
97 return false;
98 }
99 return true;
100 }
101
102 bool psi_decl_arg_validate_typedef(struct psi_data *data, struct psi_decl_arg *def)
103 {
104 if (!psi_decl_type_validate(data, def->type, def)) {
105 const char *pre;
106
107 switch (def->type->type) {
108 case PSI_T_STRUCT:
109 pre = "struct ";
110 break;
111 case PSI_T_UNION:
112 pre = "union ";
113 break;
114 case PSI_T_ENUM:
115 pre = "enum ";
116 break;
117 default:
118 pre = "";
119 break;
120 }
121 data->error(data, def->token, PSI_WARNING,
122 "Type '%s' cannot be aliased to '%s%s': %s", def->var->name, pre,
123 def->type->name, data->last_error);
124 return false;
125 }
126 if (def->type->type == PSI_T_VOID) {
127 if (def->var->pointer_level) {
128 def->type->type = PSI_T_POINTER;
129 } else {
130 data->error(data, def->token, PSI_WARNING,
131 "Type '%s' cannot be aliased to 'void'", def->type->name);
132 return false;
133 }
134 }
135
136 return true;
137 }
138
139 size_t psi_decl_arg_align(struct psi_decl_arg *darg, size_t *pos, size_t *len)
140 {
141 size_t align = psi_decl_arg_get_align(darg);
142
143 assert(align > 0);
144
145 *len = psi_decl_arg_get_size(darg);
146 *pos = psi_align(align, *pos);
147
148 return align;
149 }
150
151 size_t psi_decl_arg_get_align(struct psi_decl_arg *darg)
152 {
153 size_t align;
154
155 if (darg->var->pointer_level
156 && (!darg->var->array_size || darg->var->pointer_level > 2)) {
157 align = psi_t_alignment(PSI_T_POINTER);
158 } else {
159 align = psi_decl_type_get_align(darg->type);
160 }
161
162 return align;
163 }
164
165 size_t psi_decl_arg_get_size(struct psi_decl_arg *darg)
166 {
167 size_t size;
168 struct psi_decl_type *real = psi_decl_type_get_real(darg->type);
169
170 if (darg->var->array_size) {
171 if (darg->var->pointer_level > 2) {
172 size = psi_t_size(PSI_T_POINTER) * darg->var->array_size;
173 } else {
174 size = psi_t_size(real->type) * darg->var->array_size;
175 }
176 } else if (darg->var->pointer_level) {
177 size = psi_t_size(PSI_T_POINTER);
178 } else {
179 switch (real->type) {
180 case PSI_T_UNION:
181 size = real->real.unn->size;
182 break;
183 case PSI_T_STRUCT:
184 size = real->real.strct->size;
185 break;
186 case PSI_T_ENUM:
187 default:
188 size = psi_t_size(real->type);
189 break;
190 }
191 }
192
193 return size;
194 }
195
196 struct psi_decl_arg *psi_decl_arg_get_by_name(struct psi_plist *args,
197 const char *name)
198 {
199 size_t i = 0;
200 struct psi_decl_arg *arg;
201
202 if (args)
203 while (psi_plist_get(args, i++, &arg)) {
204 if (!strcmp(name, arg->var->name)) {
205 return arg;
206 }
207 }
208
209 return NULL;
210 }
211
212 struct psi_decl_arg *psi_decl_arg_get_by_var(struct psi_decl_var *var,
213 struct psi_plist *args, struct psi_decl_arg *func)
214 {
215 struct psi_decl_arg *arg = psi_decl_arg_get_by_name(args, var->name);
216
217 if (arg) {
218 assert(!var->arg || var->arg == arg);
219
220 return var->arg = arg;
221 }
222
223 if (func && !strcmp(var->name, func->var->name)) {
224 return var->arg = func;
225 }
226
227 return NULL;
228 }