blob: 061ba8c9c5e832654024c9c36b286cab8a02a9be [file] [log] [blame]
Rob Herringacfe84f2019-06-20 15:19:38 -06001// SPDX-License-Identifier: GPL-2.0-or-later
David Gibsonfc14dad2005-06-08 17:18:34 +10002/*
3 * (C) Copyright David Gibson <dwg@au1.ibm.com>, IBM Corporation. 2005.
David Gibsonfc14dad2005-06-08 17:18:34 +10004 */
5
6#include "dtc.h"
Jon Loeligere45e6fd2007-03-23 15:18:41 -05007#include "srcpos.h"
David Gibsonfc14dad2005-06-08 17:18:34 +10008
David Gibsonfc14dad2005-06-08 17:18:34 +10009extern FILE *yyin;
10extern int yyparse(void);
Horst Kronstorfera6e6c602012-02-07 10:02:53 +010011extern YYLTYPE yylloc;
David Gibsonfc14dad2005-06-08 17:18:34 +100012
David Gibson00fbb862016-05-31 11:58:42 +100013struct dt_info *parser_output;
David Gibson17625372013-10-28 21:06:53 +110014bool treesource_error;
David Gibsonf0517db2005-07-15 17:14:24 +100015
David Gibson00fbb862016-05-31 11:58:42 +100016struct dt_info *dt_from_source(const char *fname)
David Gibsonf0517db2005-07-15 17:14:24 +100017{
David Gibson00fbb862016-05-31 11:58:42 +100018 parser_output = NULL;
David Gibson17625372013-10-28 21:06:53 +110019 treesource_error = false;
David Gibsonf0517db2005-07-15 17:14:24 +100020
David Gibsond68cb362009-12-08 14:24:42 +110021 srcfile_push(fname);
22 yyin = current_srcfile->f;
Horst Kronstorfera6e6c602012-02-07 10:02:53 +010023 yylloc.file = current_srcfile;
Jon Loeligere45e6fd2007-03-23 15:18:41 -050024
David Gibsonfc14dad2005-06-08 17:18:34 +100025 if (yyparse() != 0)
David Gibson35aa1a22008-05-16 13:21:51 +100026 die("Unable to parse input tree\n");
David Gibsonfc14dad2005-06-08 17:18:34 +100027
David Gibson35aa1a22008-05-16 13:21:51 +100028 if (treesource_error)
29 die("Syntax error parsing input tree\n");
30
David Gibson00fbb862016-05-31 11:58:42 +100031 return parser_output;
David Gibsonfc14dad2005-06-08 17:18:34 +100032}
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
David Gibson17625372013-10-28 21:06:53 +110042static bool isstring(char c)
David Gibson5a98ddd2007-10-17 12:39:10 +100043{
Serge Lamikhov-Center17119ab2013-12-25 15:26:03 +110044 return (isprint((unsigned char)c)
David Gibson5a98ddd2007-10-17 12:39:10 +100045 || (c == '\0')
46 || strchr("\a\b\t\n\v\f\r", c));
47}
48
Grant Likely32b9c612018-06-28 15:37:01 -060049static void write_propval_string(FILE *f, const char *s, size_t len)
David Gibson5a98ddd2007-10-17 12:39:10 +100050{
Grant Likely32b9c612018-06-28 15:37:01 -060051 const char *end = s + len - 1;
Rob Herring522d81d2018-09-26 14:27:08 -050052
53 if (!len)
54 return;
55
Grant Likely32b9c612018-06-28 15:37:01 -060056 assert(*end == '\0');
David Gibson5a98ddd2007-10-17 12:39:10 +100057
David Gibsonc623fe52009-09-09 14:38:30 +100058 fprintf(f, "\"");
Grant Likely32b9c612018-06-28 15:37:01 -060059 while (s < end) {
60 char c = *s++;
David Gibson5a98ddd2007-10-17 12:39:10 +100061 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':
Grant Likely32b9c612018-06-28 15:37:01 -060090 fprintf(f, "\\0");
David Gibson5a98ddd2007-10-17 12:39:10 +100091 break;
92 default:
Serge Lamikhov-Center17119ab2013-12-25 15:26:03 +110093 if (isprint((unsigned char)c))
David Gibson5a98ddd2007-10-17 12:39:10 +100094 fprintf(f, "%c", c);
95 else
Grant Likely32b9c612018-06-28 15:37:01 -060096 fprintf(f, "\\x%02"PRIx8, c);
David Gibson5a98ddd2007-10-17 12:39:10 +100097 }
98 }
David Gibsoned01ae42007-11-07 10:21:20 +110099 fprintf(f, "\"");
David Gibson5a98ddd2007-10-17 12:39:10 +1000100}
101
Grant Likely32b9c612018-06-28 15:37:01 -0600102static void write_propval_int(FILE *f, const char *p, size_t len, size_t width)
David Gibson5a98ddd2007-10-17 12:39:10 +1000103{
Grant Likely32b9c612018-06-28 15:37:01 -0600104 const char *end = p + len;
105 assert(len % width == 0);
David Gibson5a98ddd2007-10-17 12:39:10 +1000106
Grant Likely32b9c612018-06-28 15:37:01 -0600107 for (; p < end; p += width) {
108 switch (width) {
109 case 1:
Rob Herringd448f9a2018-09-14 13:39:06 -0500110 fprintf(f, "%02"PRIx8, *(const uint8_t*)p);
David Gibson5a98ddd2007-10-17 12:39:10 +1000111 break;
Grant Likely32b9c612018-06-28 15:37:01 -0600112 case 2:
David Gibsonb28464a2020-04-14 15:02:51 +1000113 fprintf(f, "0x%02"PRIx16, dtb_ld16(p));
Grant Likely32b9c612018-06-28 15:37:01 -0600114 break;
115 case 4:
David Gibsonb28464a2020-04-14 15:02:51 +1000116 fprintf(f, "0x%02"PRIx32, dtb_ld32(p));
Grant Likely32b9c612018-06-28 15:37:01 -0600117 break;
118 case 8:
David Gibsonb28464a2020-04-14 15:02:51 +1000119 fprintf(f, "0x%02"PRIx64, dtb_ld64(p));
Grant Likely32b9c612018-06-28 15:37:01 -0600120 break;
121 }
Rob Herringd448f9a2018-09-14 13:39:06 -0500122 if (p + width < end)
123 fputc(' ', f);
David Gibson5a98ddd2007-10-17 12:39:10 +1000124 }
David Gibson5a98ddd2007-10-17 12:39:10 +1000125}
126
Greg Kurz9619c862018-08-30 12:01:59 +0200127static bool has_data_type_information(struct marker *m)
128{
129 return m->type >= TYPE_UINT8;
130}
131
Grant Likely32b9c612018-06-28 15:37:01 -0600132static struct marker *next_type_marker(struct marker *m)
David Gibson5a98ddd2007-10-17 12:39:10 +1000133{
Greg Kurz9619c862018-08-30 12:01:59 +0200134 while (m && !has_data_type_information(m))
Grant Likely32b9c612018-06-28 15:37:01 -0600135 m = m->next;
136 return m;
David Gibsoned01ae42007-11-07 10:21:20 +1100137}
138
Rob Herring361b5e72018-09-11 15:41:30 -0500139size_t type_marker_length(struct marker *m)
Grant Likely32b9c612018-06-28 15:37:01 -0600140{
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 Herringd448f9a2018-09-14 13:39:06 -0500156 [TYPE_UINT8] = "]",
157 [TYPE_UINT16] = ">",
158 [TYPE_UINT32] = ">",
159 [TYPE_UINT64] = ">",
Grant Likely32b9c612018-06-28 15:37:01 -0600160 [TYPE_STRING] = "",
161};
162
163static enum markertype guess_value_type(struct property *prop)
David Gibsoned01ae42007-11-07 10:21:20 +1100164{
165 int len = prop->val.len;
David Gibson92cb9a22007-12-04 14:26:15 +1100166 const char *p = prop->val.val;
David Gibsondc941772007-11-22 14:39:23 +1100167 struct marker *m = prop->val.markers;
David Gibsoned01ae42007-11-07 10:21:20 +1100168 int nnotstring = 0, nnul = 0;
David Gibsond3ea6e52007-11-07 10:22:25 +1100169 int nnotstringlbl = 0, nnotcelllbl = 0;
David Gibsoned01ae42007-11-07 10:21:20 +1100170 int i;
171
David Gibsoned01ae42007-11-07 10:21:20 +1100172 for (i = 0; i < len; i++) {
173 if (! isstring(p[i]))
174 nnotstring++;
175 if (p[i] == '\0')
176 nnul++;
177 }
178
David Gibsondc941772007-11-22 14:39:23 +1100179 for_each_marker_of_type(m, LABEL) {
180 if ((m->offset > 0) && (prop->val.val[m->offset - 1] != '\0'))
David Gibsond3ea6e52007-11-07 10:22:25 +1100181 nnotstringlbl++;
David Gibsondc941772007-11-22 14:39:23 +1100182 if ((m->offset % sizeof(cell_t)) != 0)
David Gibsond3ea6e52007-11-07 10:22:25 +1100183 nnotcelllbl++;
184 }
David Gibsoned01ae42007-11-07 10:21:20 +1100185
Geert Uytterhoeven9d7888c2020-06-23 11:43:43 +0200186 if ((p[len-1] == '\0') && (nnotstring == 0) && (nnul <= (len-nnul))
David Gibsond3ea6e52007-11-07 10:22:25 +1100187 && (nnotstringlbl == 0)) {
Grant Likely32b9c612018-06-28 15:37:01 -0600188 return TYPE_STRING;
David Gibsond3ea6e52007-11-07 10:22:25 +1100189 } else if (((len % sizeof(cell_t)) == 0) && (nnotcelllbl == 0)) {
Grant Likely32b9c612018-06-28 15:37:01 -0600190 return TYPE_UINT32;
David Gibsoned01ae42007-11-07 10:21:20 +1100191 }
David Gibsond3ea6e52007-11-07 10:22:25 +1100192
Grant Likely32b9c612018-06-28 15:37:01 -0600193 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;
Julia Lawall5667e7e2018-11-16 17:30:00 +0100202 char *srcstr;
Grant Likely32b9c612018-06-28 15:37:01 -0600203
204 if (len == 0) {
Julia Lawall5667e7e2018-11-16 17:30:00 +0100205 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");
Grant Likely32b9c612018-06-28 15:37:01 -0600214 return;
215 }
216
Grant Likely8c59a972018-09-14 14:01:09 +0100217 fprintf(f, " =");
Grant Likely32b9c612018-06-28 15:37:01 -0600218
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
Grant Likely32b9c612018-06-28 15:37:01 -0600228 for_each_marker(m) {
Grant Likely8c59a972018-09-14 14:01:09 +0100229 size_t chunk_len = (m->next ? m->next->offset : len) - m->offset;
230 size_t data_len = type_marker_length(m) ? : len - m->offset;
Grant Likely32b9c612018-06-28 15:37:01 -0600231 const char *p = &prop->val.val[m->offset];
232
Grant Likely8c59a972018-09-14 14:01:09 +0100233 if (has_data_type_information(m)) {
234 emit_type = m->type;
235 fprintf(f, " %s", delim_start[emit_type]);
Rob Herringda2b6912018-10-10 10:19:30 -0500236 } else if (m->type == LABEL)
Grant Likely8c59a972018-09-14 14:01:09 +0100237 fprintf(f, " %s:", m->ref);
Rob Herringda2b6912018-10-10 10:19:30 -0500238 else if (m->offset)
239 fputc(' ', f);
Grant Likely32b9c612018-06-28 15:37:01 -0600240
Grant Likely8c59a972018-09-14 14:01:09 +0100241 if (emit_type == TYPE_NONE) {
242 assert(chunk_len == 0);
Grant Likely32b9c612018-06-28 15:37:01 -0600243 continue;
Grant Likely8c59a972018-09-14 14:01:09 +0100244 }
Grant Likely32b9c612018-06-28 15:37:01 -0600245
246 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 }
Grant Likely32b9c612018-06-28 15:37:01 -0600262
Grant Likely8c59a972018-09-14 14:01:09 +0100263 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 }
Grant Likely32b9c612018-06-28 15:37:01 -0600269 }
Julia Lawall5667e7e2018-11-16 17:30:00 +0100270 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 Gibson5a98ddd2007-10-17 12:39:10 +1000279}
David Gibsonf0517db2005-07-15 17:14:24 +1000280
David Gibson230f2532005-08-29 12:48:02 +1000281static void write_tree_source_node(FILE *f, struct node *tree, int level)
David Gibsonfc14dad2005-06-08 17:18:34 +1000282{
283 struct property *prop;
284 struct node *child;
David Gibson05898c62010-02-24 18:22:17 +1100285 struct label *l;
Julia Lawall5667e7e2018-11-16 17:30:00 +0100286 char *srcstr;
David Gibsonfc14dad2005-06-08 17:18:34 +1000287
288 write_prefix(f, level);
David Gibson05898c62010-02-24 18:22:17 +1100289 for_each_label(tree->labels, l)
290 fprintf(f, "%s: ", l->label);
David Gibsonfc14dad2005-06-08 17:18:34 +1000291 if (tree->name && (*tree->name))
Julia Lawall5667e7e2018-11-16 17:30:00 +0100292 fprintf(f, "%s {", tree->name);
David Gibsonfc14dad2005-06-08 17:18:34 +1000293 else
Julia Lawall5667e7e2018-11-16 17:30:00 +0100294 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 Gibsonfc14dad2005-06-08 17:18:34 +1000304
305 for_each_property(tree, prop) {
David Gibson02563ad2007-11-02 16:10:30 +1100306 write_prefix(f, level+1);
David Gibson05898c62010-02-24 18:22:17 +1100307 for_each_label(prop->labels, l)
308 fprintf(f, "%s: ", l->label);
David Gibson02563ad2007-11-02 16:10:30 +1100309 fprintf(f, "%s", prop->name);
David Gibsoned01ae42007-11-07 10:21:20 +1100310 write_propval(f, prop);
David Gibsonfc14dad2005-06-08 17:18:34 +1000311 }
312 for_each_child(tree, child) {
313 fprintf(f, "\n");
David Gibsonf0517db2005-07-15 17:14:24 +1000314 write_tree_source_node(f, child, level+1);
David Gibsonfc14dad2005-06-08 17:18:34 +1000315 }
316 write_prefix(f, level);
Julia Lawall5667e7e2018-11-16 17:30:00 +0100317 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 Gibsonfc14dad2005-06-08 17:18:34 +1000326}
David Gibsonf0517db2005-07-15 17:14:24 +1000327
David Gibson00fbb862016-05-31 11:58:42 +1000328void dt_to_source(FILE *f, struct dt_info *dti)
David Gibsonf0517db2005-07-15 17:14:24 +1000329{
David Gibsonf040d952005-10-24 18:18:38 +1000330 struct reserve_info *re;
David Gibsonf0517db2005-07-15 17:14:24 +1000331
David Gibson91967ac2007-11-07 11:17:37 +1100332 fprintf(f, "/dts-v1/;\n\n");
333
David Gibson00fbb862016-05-31 11:58:42 +1000334 for (re = dti->reservelist; re; re = re->next) {
David Gibson05898c62010-02-24 18:22:17 +1100335 struct label *l;
336
337 for_each_label(re->labels, l)
338 fprintf(f, "%s: ", l->label);
David Gibson91967ac2007-11-07 11:17:37 +1100339 fprintf(f, "/memreserve/\t0x%016llx 0x%016llx;\n",
David Gibson49300f22017-03-06 12:04:45 +1100340 (unsigned long long)re->address,
341 (unsigned long long)re->size);
David Gibsonf0517db2005-07-15 17:14:24 +1000342 }
343
David Gibson00fbb862016-05-31 11:58:42 +1000344 write_tree_source_node(f, dti->dt, 0);
David Gibsonf0517db2005-07-15 17:14:24 +1000345}