blob: c9d980c8abfc4928bf9227bae3d5e16ce9c2ff85 [file] [log] [blame]
Thomas Gleixner1a59d1b82019-05-27 08:55:05 +02001// SPDX-License-Identifier: GPL-2.0-or-later
David Gibsona4da2e32007-12-18 15:06:42 +11002/*
3 * (C) Copyright David Gibson <dwg@au1.ibm.com>, IBM Corporation. 2005.
David Gibsona4da2e32007-12-18 15:06:42 +11004 */
5
6#include "dtc.h"
7#include "srcpos.h"
8
9extern FILE *yyin;
10extern int yyparse(void);
Stephen Warrencd296722012-09-28 21:25:59 +000011extern YYLTYPE yylloc;
David Gibsona4da2e32007-12-18 15:06:42 +110012
Rob Herring6f05afc2017-01-04 10:45:20 -060013struct dt_info *parser_output;
Rob Herring47605972015-04-29 16:00:05 -050014bool treesource_error;
David Gibsona4da2e32007-12-18 15:06:42 +110015
Rob Herring6f05afc2017-01-04 10:45:20 -060016struct dt_info *dt_from_source(const char *fname)
David Gibsona4da2e32007-12-18 15:06:42 +110017{
Rob Herring6f05afc2017-01-04 10:45:20 -060018 parser_output = NULL;
Rob Herring47605972015-04-29 16:00:05 -050019 treesource_error = false;
David Gibsona4da2e32007-12-18 15:06:42 +110020
John Bonesio658f29a2010-11-17 15:28:20 -080021 srcfile_push(fname);
22 yyin = current_srcfile->f;
Stephen Warrencd296722012-09-28 21:25:59 +000023 yylloc.file = current_srcfile;
David Gibsona4da2e32007-12-18 15:06:42 +110024
25 if (yyparse() != 0)
David Gibsoned95d742008-08-07 12:24:17 +100026 die("Unable to parse input tree\n");
David Gibsona4da2e32007-12-18 15:06:42 +110027
David Gibsoned95d742008-08-07 12:24:17 +100028 if (treesource_error)
29 die("Syntax error parsing input tree\n");
David Gibsona4da2e32007-12-18 15:06:42 +110030
Rob Herring6f05afc2017-01-04 10:45:20 -060031 return parser_output;
David Gibsona4da2e32007-12-18 15:06:42 +110032}
33
34static void write_prefix(FILE *f, int level)
35{
36 int i;
37
38 for (i = 0; i < level; i++)
39 fputc('\t', f);
40}
41
Rob Herring47605972015-04-29 16:00:05 -050042static bool isstring(char c)
David Gibsona4da2e32007-12-18 15:06:42 +110043{
Rob Herring47605972015-04-29 16:00:05 -050044 return (isprint((unsigned char)c)
David Gibsona4da2e32007-12-18 15:06:42 +110045 || (c == '\0')
46 || strchr("\a\b\t\n\v\f\r", c));
47}
48
Rob Herringf8589272018-09-13 08:59:25 -050049static void write_propval_string(FILE *f, const char *s, size_t len)
David Gibsona4da2e32007-12-18 15:06:42 +110050{
Rob Herringf8589272018-09-13 08:59:25 -050051 const char *end = s + len - 1;
Rob Herringc2e70752018-11-28 18:37:35 -060052
53 if (!len)
54 return;
55
Rob Herringf8589272018-09-13 08:59:25 -050056 assert(*end == '\0');
David Gibsona4da2e32007-12-18 15:06:42 +110057
John Bonesio658f29a2010-11-17 15:28:20 -080058 fprintf(f, "\"");
Rob Herringf8589272018-09-13 08:59:25 -050059 while (s < end) {
60 char c = *s++;
David Gibsona4da2e32007-12-18 15:06:42 +110061 switch (c) {
62 case '\a':
63 fprintf(f, "\\a");
64 break;
65 case '\b':
66 fprintf(f, "\\b");
67 break;
68 case '\t':
69 fprintf(f, "\\t");
70 break;
71 case '\n':
72 fprintf(f, "\\n");
73 break;
74 case '\v':
75 fprintf(f, "\\v");
76 break;
77 case '\f':
78 fprintf(f, "\\f");
79 break;
80 case '\r':
81 fprintf(f, "\\r");
82 break;
83 case '\\':
84 fprintf(f, "\\\\");
85 break;
86 case '\"':
87 fprintf(f, "\\\"");
88 break;
89 case '\0':
Rob Herringf8589272018-09-13 08:59:25 -050090 fprintf(f, "\\0");
David Gibsona4da2e32007-12-18 15:06:42 +110091 break;
92 default:
Rob Herring47605972015-04-29 16:00:05 -050093 if (isprint((unsigned char)c))
David Gibsona4da2e32007-12-18 15:06:42 +110094 fprintf(f, "%c", c);
95 else
Rob Herringf8589272018-09-13 08:59:25 -050096 fprintf(f, "\\x%02"PRIx8, c);
David Gibsona4da2e32007-12-18 15:06:42 +110097 }
98 }
99 fprintf(f, "\"");
David Gibsona4da2e32007-12-18 15:06:42 +1100100}
101
Rob Herringf8589272018-09-13 08:59:25 -0500102static void write_propval_int(FILE *f, const char *p, size_t len, size_t width)
David Gibsona4da2e32007-12-18 15:06:42 +1100103{
Rob Herringf8589272018-09-13 08:59:25 -0500104 const char *end = p + len;
105 assert(len % width == 0);
David Gibsona4da2e32007-12-18 15:06:42 +1100106
Rob Herringf8589272018-09-13 08:59:25 -0500107 for (; p < end; p += width) {
108 switch (width) {
109 case 1:
Rob Herringc2e70752018-11-28 18:37:35 -0600110 fprintf(f, "%02"PRIx8, *(const uint8_t*)p);
David Gibsona4da2e32007-12-18 15:06:42 +1100111 break;
Rob Herringf8589272018-09-13 08:59:25 -0500112 case 2:
Rob Herringc2e70752018-11-28 18:37:35 -0600113 fprintf(f, "0x%02"PRIx16, fdt16_to_cpu(*(const fdt16_t*)p));
Rob Herringf8589272018-09-13 08:59:25 -0500114 break;
115 case 4:
Rob Herringc2e70752018-11-28 18:37:35 -0600116 fprintf(f, "0x%02"PRIx32, fdt32_to_cpu(*(const fdt32_t*)p));
Rob Herringf8589272018-09-13 08:59:25 -0500117 break;
118 case 8:
Rob Herringc2e70752018-11-28 18:37:35 -0600119 fprintf(f, "0x%02"PRIx64, fdt64_to_cpu(*(const fdt64_t*)p));
Rob Herringf8589272018-09-13 08:59:25 -0500120 break;
121 }
Rob Herringc2e70752018-11-28 18:37:35 -0600122 if (p + width < end)
123 fputc(' ', f);
David Gibsona4da2e32007-12-18 15:06:42 +1100124 }
David Gibsona4da2e32007-12-18 15:06:42 +1100125}
126
Rob Herringf8589272018-09-13 08:59:25 -0500127static bool has_data_type_information(struct marker *m)
David Gibsona4da2e32007-12-18 15:06:42 +1100128{
Rob Herringf8589272018-09-13 08:59:25 -0500129 return m->type >= TYPE_UINT8;
David Gibsona4da2e32007-12-18 15:06:42 +1100130}
131
Rob Herringf8589272018-09-13 08:59:25 -0500132static struct marker *next_type_marker(struct marker *m)
133{
134 while (m && !has_data_type_information(m))
135 m = m->next;
136 return m;
137}
138
139size_t type_marker_length(struct marker *m)
140{
141 struct marker *next = next_type_marker(m->next);
142
143 if (next)
144 return next->offset - m->offset;
145 return 0;
146}
147
148static const char *delim_start[] = {
149 [TYPE_UINT8] = "[",
150 [TYPE_UINT16] = "/bits/ 16 <",
151 [TYPE_UINT32] = "<",
152 [TYPE_UINT64] = "/bits/ 64 <",
153 [TYPE_STRING] = "",
154};
155static const char *delim_end[] = {
Rob Herringc2e70752018-11-28 18:37:35 -0600156 [TYPE_UINT8] = "]",
157 [TYPE_UINT16] = ">",
158 [TYPE_UINT32] = ">",
159 [TYPE_UINT64] = ">",
Rob Herringf8589272018-09-13 08:59:25 -0500160 [TYPE_STRING] = "",
161};
162
163static enum markertype guess_value_type(struct property *prop)
David Gibsona4da2e32007-12-18 15:06:42 +1100164{
165 int len = prop->val.len;
166 const char *p = prop->val.val;
167 struct marker *m = prop->val.markers;
168 int nnotstring = 0, nnul = 0;
169 int nnotstringlbl = 0, nnotcelllbl = 0;
170 int i;
171
David Gibsona4da2e32007-12-18 15:06:42 +1100172 for (i = 0; i < len; i++) {
173 if (! isstring(p[i]))
174 nnotstring++;
175 if (p[i] == '\0')
176 nnul++;
177 }
178
179 for_each_marker_of_type(m, LABEL) {
180 if ((m->offset > 0) && (prop->val.val[m->offset - 1] != '\0'))
181 nnotstringlbl++;
182 if ((m->offset % sizeof(cell_t)) != 0)
183 nnotcelllbl++;
184 }
185
David Gibsona4da2e32007-12-18 15:06:42 +1100186 if ((p[len-1] == '\0') && (nnotstring == 0) && (nnul < (len-nnul))
187 && (nnotstringlbl == 0)) {
Rob Herringf8589272018-09-13 08:59:25 -0500188 return TYPE_STRING;
David Gibsona4da2e32007-12-18 15:06:42 +1100189 } else if (((len % sizeof(cell_t)) == 0) && (nnotcelllbl == 0)) {
Rob Herringf8589272018-09-13 08:59:25 -0500190 return TYPE_UINT32;
David Gibsona4da2e32007-12-18 15:06:42 +1100191 }
192
Rob Herringf8589272018-09-13 08:59:25 -0500193 return TYPE_UINT8;
194}
195
196static void write_propval(FILE *f, struct property *prop)
197{
198 size_t len = prop->val.len;
199 struct marker *m = prop->val.markers;
200 struct marker dummy_marker;
201 enum markertype emit_type = TYPE_NONE;
Rob Herringc2e70752018-11-28 18:37:35 -0600202 char *srcstr;
Rob Herringf8589272018-09-13 08:59:25 -0500203
204 if (len == 0) {
Rob Herringc2e70752018-11-28 18:37:35 -0600205 fprintf(f, ";");
206 if (annotate) {
207 srcstr = srcpos_string_first(prop->srcpos, annotate);
208 if (srcstr) {
209 fprintf(f, " /* %s */", srcstr);
210 free(srcstr);
211 }
212 }
213 fprintf(f, "\n");
Rob Herringf8589272018-09-13 08:59:25 -0500214 return;
215 }
216
Rob Herringc2e70752018-11-28 18:37:35 -0600217 fprintf(f, " =");
Rob Herringf8589272018-09-13 08:59:25 -0500218
219 if (!next_type_marker(m)) {
220 /* data type information missing, need to guess */
221 dummy_marker.type = guess_value_type(prop);
222 dummy_marker.next = prop->val.markers;
223 dummy_marker.offset = 0;
224 dummy_marker.ref = NULL;
225 m = &dummy_marker;
226 }
227
Rob Herringf8589272018-09-13 08:59:25 -0500228 for_each_marker(m) {
Rob Herringc2e70752018-11-28 18:37:35 -0600229 size_t chunk_len = (m->next ? m->next->offset : len) - m->offset;
230 size_t data_len = type_marker_length(m) ? : len - m->offset;
Rob Herringf8589272018-09-13 08:59:25 -0500231 const char *p = &prop->val.val[m->offset];
232
Rob Herringc2e70752018-11-28 18:37:35 -0600233 if (has_data_type_information(m)) {
234 emit_type = m->type;
235 fprintf(f, " %s", delim_start[emit_type]);
236 } else if (m->type == LABEL)
237 fprintf(f, " %s:", m->ref);
238 else if (m->offset)
239 fputc(' ', f);
240
241 if (emit_type == TYPE_NONE) {
242 assert(chunk_len == 0);
Rob Herringf8589272018-09-13 08:59:25 -0500243 continue;
Rob Herringf8589272018-09-13 08:59:25 -0500244 }
245
Rob Herringf8589272018-09-13 08:59:25 -0500246 switch(emit_type) {
247 case TYPE_UINT16:
248 write_propval_int(f, p, chunk_len, 2);
249 break;
250 case TYPE_UINT32:
251 write_propval_int(f, p, chunk_len, 4);
252 break;
253 case TYPE_UINT64:
254 write_propval_int(f, p, chunk_len, 8);
255 break;
256 case TYPE_STRING:
257 write_propval_string(f, p, chunk_len);
258 break;
259 default:
260 write_propval_int(f, p, chunk_len, 1);
261 }
Rob Herringf8589272018-09-13 08:59:25 -0500262
Rob Herringc2e70752018-11-28 18:37:35 -0600263 if (chunk_len == data_len) {
264 size_t pos = m->offset + chunk_len;
265 fprintf(f, pos == len ? "%s" : "%s,",
266 delim_end[emit_type] ? : "");
267 emit_type = TYPE_NONE;
268 }
Rob Herringf8589272018-09-13 08:59:25 -0500269 }
Rob Herringc2e70752018-11-28 18:37:35 -0600270 fprintf(f, ";");
271 if (annotate) {
272 srcstr = srcpos_string_first(prop->srcpos, annotate);
273 if (srcstr) {
274 fprintf(f, " /* %s */", srcstr);
275 free(srcstr);
276 }
277 }
278 fprintf(f, "\n");
David Gibsona4da2e32007-12-18 15:06:42 +1100279}
280
281static void write_tree_source_node(FILE *f, struct node *tree, int level)
282{
283 struct property *prop;
284 struct node *child;
John Bonesio658f29a2010-11-17 15:28:20 -0800285 struct label *l;
Rob Herringc2e70752018-11-28 18:37:35 -0600286 char *srcstr;
David Gibsona4da2e32007-12-18 15:06:42 +1100287
288 write_prefix(f, level);
John Bonesio658f29a2010-11-17 15:28:20 -0800289 for_each_label(tree->labels, l)
290 fprintf(f, "%s: ", l->label);
David Gibsona4da2e32007-12-18 15:06:42 +1100291 if (tree->name && (*tree->name))
Rob Herringc2e70752018-11-28 18:37:35 -0600292 fprintf(f, "%s {", tree->name);
David Gibsona4da2e32007-12-18 15:06:42 +1100293 else
Rob Herringc2e70752018-11-28 18:37:35 -0600294 fprintf(f, "/ {");
295
296 if (annotate) {
297 srcstr = srcpos_string_first(tree->srcpos, annotate);
298 if (srcstr) {
299 fprintf(f, " /* %s */", srcstr);
300 free(srcstr);
301 }
302 }
303 fprintf(f, "\n");
David Gibsona4da2e32007-12-18 15:06:42 +1100304
305 for_each_property(tree, prop) {
306 write_prefix(f, level+1);
John Bonesio658f29a2010-11-17 15:28:20 -0800307 for_each_label(prop->labels, l)
308 fprintf(f, "%s: ", l->label);
David Gibsona4da2e32007-12-18 15:06:42 +1100309 fprintf(f, "%s", prop->name);
310 write_propval(f, prop);
311 }
312 for_each_child(tree, child) {
313 fprintf(f, "\n");
314 write_tree_source_node(f, child, level+1);
315 }
316 write_prefix(f, level);
Rob Herringc2e70752018-11-28 18:37:35 -0600317 fprintf(f, "};");
318 if (annotate) {
319 srcstr = srcpos_string_last(tree->srcpos, annotate);
320 if (srcstr) {
321 fprintf(f, " /* %s */", srcstr);
322 free(srcstr);
323 }
324 }
325 fprintf(f, "\n");
David Gibsona4da2e32007-12-18 15:06:42 +1100326}
327
Rob Herring6f05afc2017-01-04 10:45:20 -0600328void dt_to_source(FILE *f, struct dt_info *dti)
David Gibsona4da2e32007-12-18 15:06:42 +1100329{
330 struct reserve_info *re;
331
332 fprintf(f, "/dts-v1/;\n\n");
333
Rob Herring6f05afc2017-01-04 10:45:20 -0600334 for (re = dti->reservelist; re; re = re->next) {
John Bonesio658f29a2010-11-17 15:28:20 -0800335 struct label *l;
336
337 for_each_label(re->labels, l)
338 fprintf(f, "%s: ", l->label);
David Gibsona4da2e32007-12-18 15:06:42 +1100339 fprintf(f, "/memreserve/\t0x%016llx 0x%016llx;\n",
Rob Herring89d12312017-03-21 09:01:08 -0500340 (unsigned long long)re->address,
341 (unsigned long long)re->size);
David Gibsona4da2e32007-12-18 15:06:42 +1100342 }
343
Rob Herring6f05afc2017-01-04 10:45:20 -0600344 write_tree_source_node(f, dti->dt, 0);
David Gibsona4da2e32007-12-18 15:06:42 +1100345}