David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 1 | /* |
| 2 | * (C) Copyright David Gibson <dwg@au1.ibm.com>, IBM Corporation. 2005. |
| 3 | * |
David Gibson | 63dc9c7 | 2007-09-18 11:44:04 +1000 | [diff] [blame] | 4 | * |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 5 | * This program is free software; you can redistribute it and/or |
| 6 | * modify it under the terms of the GNU General Public License as |
| 7 | * published by the Free Software Foundation; either version 2 of the |
| 8 | * License, or (at your option) any later version. |
| 9 | * |
| 10 | * This program is distributed in the hope that it will be useful, |
| 11 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 12 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 13 | * General Public License for more details. |
David Gibson | 63dc9c7 | 2007-09-18 11:44:04 +1000 | [diff] [blame] | 14 | * |
| 15 | * You should have received a copy of the GNU General Public License |
| 16 | * along with this program; if not, write to the Free Software |
| 17 | * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 |
| 18 | * USA |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 19 | */ |
| 20 | |
| 21 | #include "dtc.h" |
Jon Loeliger | e45e6fd | 2007-03-23 15:18:41 -0500 | [diff] [blame] | 22 | #include "srcpos.h" |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 23 | |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 24 | extern FILE *yyin; |
| 25 | extern int yyparse(void); |
| 26 | |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 27 | struct boot_info *the_boot_info; |
Scott Wood | ad4f54a | 2008-01-03 17:43:33 -0600 | [diff] [blame] | 28 | int treesource_error; |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 29 | |
Jon Loeliger | e45e6fd | 2007-03-23 15:18:41 -0500 | [diff] [blame] | 30 | struct boot_info *dt_from_source(const char *fname) |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 31 | { |
| 32 | the_boot_info = NULL; |
Scott Wood | ad4f54a | 2008-01-03 17:43:33 -0600 | [diff] [blame] | 33 | treesource_error = 0; |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 34 | |
David Gibson | 8a88ad8 | 2008-03-06 12:45:41 +1100 | [diff] [blame^] | 35 | srcpos_file = dtc_open_file(fname, NULL); |
| 36 | yyin = srcpos_file->file; |
Jon Loeliger | e45e6fd | 2007-03-23 15:18:41 -0500 | [diff] [blame] | 37 | |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 38 | if (yyparse() != 0) |
| 39 | return NULL; |
| 40 | |
Scott Wood | ad4f54a | 2008-01-03 17:43:33 -0600 | [diff] [blame] | 41 | the_boot_info->error = treesource_error; |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 42 | return the_boot_info; |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 43 | } |
| 44 | |
| 45 | static void write_prefix(FILE *f, int level) |
| 46 | { |
| 47 | int i; |
| 48 | |
| 49 | for (i = 0; i < level; i++) |
| 50 | fputc('\t', f); |
| 51 | } |
| 52 | |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 53 | int isstring(char c) |
| 54 | { |
| 55 | return (isprint(c) |
| 56 | || (c == '\0') |
| 57 | || strchr("\a\b\t\n\v\f\r", c)); |
| 58 | } |
| 59 | |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 60 | static void write_propval_string(FILE *f, struct data val) |
| 61 | { |
David Gibson | 92cb9a2 | 2007-12-04 14:26:15 +1100 | [diff] [blame] | 62 | const char *str = val.val; |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 63 | int i; |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 64 | int newchunk = 1; |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 65 | struct marker *m = val.markers; |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 66 | |
| 67 | assert(str[val.len-1] == '\0'); |
| 68 | |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 69 | for (i = 0; i < (val.len-1); i++) { |
| 70 | char c = str[i]; |
| 71 | |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 72 | if (newchunk) { |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 73 | while (m && (m->offset <= i)) { |
| 74 | if (m->type == LABEL) { |
| 75 | assert(m->offset == i); |
| 76 | fprintf(f, "%s: ", m->ref); |
| 77 | } |
| 78 | m = m->next; |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 79 | } |
| 80 | fprintf(f, "\""); |
| 81 | newchunk = 0; |
| 82 | } |
| 83 | |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 84 | switch (c) { |
| 85 | case '\a': |
| 86 | fprintf(f, "\\a"); |
| 87 | break; |
| 88 | case '\b': |
| 89 | fprintf(f, "\\b"); |
| 90 | break; |
| 91 | case '\t': |
| 92 | fprintf(f, "\\t"); |
| 93 | break; |
| 94 | case '\n': |
| 95 | fprintf(f, "\\n"); |
| 96 | break; |
| 97 | case '\v': |
| 98 | fprintf(f, "\\v"); |
| 99 | break; |
| 100 | case '\f': |
| 101 | fprintf(f, "\\f"); |
| 102 | break; |
| 103 | case '\r': |
| 104 | fprintf(f, "\\r"); |
| 105 | break; |
| 106 | case '\\': |
| 107 | fprintf(f, "\\\\"); |
| 108 | break; |
| 109 | case '\"': |
| 110 | fprintf(f, "\\\""); |
| 111 | break; |
| 112 | case '\0': |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 113 | fprintf(f, "\", "); |
| 114 | newchunk = 1; |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 115 | break; |
| 116 | default: |
| 117 | if (isprint(c)) |
| 118 | fprintf(f, "%c", c); |
| 119 | else |
| 120 | fprintf(f, "\\x%02hhx", c); |
| 121 | } |
| 122 | } |
David Gibson | ed01ae4 | 2007-11-07 10:21:20 +1100 | [diff] [blame] | 123 | fprintf(f, "\""); |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 124 | |
| 125 | /* Wrap up any labels at the end of the value */ |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 126 | for_each_marker_of_type(m, LABEL) { |
| 127 | assert (m->offset == val.len); |
| 128 | fprintf(f, " %s:", m->ref); |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 129 | } |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 130 | } |
| 131 | |
| 132 | static void write_propval_cells(FILE *f, struct data val) |
| 133 | { |
| 134 | void *propend = val.val + val.len; |
| 135 | cell_t *cp = (cell_t *)val.val; |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 136 | struct marker *m = val.markers; |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 137 | |
David Gibson | ed01ae4 | 2007-11-07 10:21:20 +1100 | [diff] [blame] | 138 | fprintf(f, "<"); |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 139 | for (;;) { |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 140 | while (m && (m->offset <= ((char *)cp - val.val))) { |
| 141 | if (m->type == LABEL) { |
| 142 | assert(m->offset == ((char *)cp - val.val)); |
| 143 | fprintf(f, "%s: ", m->ref); |
| 144 | } |
| 145 | m = m->next; |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 146 | } |
| 147 | |
David Gibson | 91967ac | 2007-11-07 11:17:37 +1100 | [diff] [blame] | 148 | fprintf(f, "0x%x", be32_to_cpu(*cp++)); |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 149 | if ((void *)cp >= propend) |
| 150 | break; |
| 151 | fprintf(f, " "); |
| 152 | } |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 153 | |
| 154 | /* Wrap up any labels at the end of the value */ |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 155 | for_each_marker_of_type(m, LABEL) { |
| 156 | assert (m->offset == val.len); |
| 157 | fprintf(f, " %s:", m->ref); |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 158 | } |
David Gibson | ed01ae4 | 2007-11-07 10:21:20 +1100 | [diff] [blame] | 159 | fprintf(f, ">"); |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 160 | } |
| 161 | |
| 162 | static void write_propval_bytes(FILE *f, struct data val) |
| 163 | { |
| 164 | void *propend = val.val + val.len; |
David Gibson | 92cb9a2 | 2007-12-04 14:26:15 +1100 | [diff] [blame] | 165 | const char *bp = val.val; |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 166 | struct marker *m = val.markers; |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 167 | |
David Gibson | ed01ae4 | 2007-11-07 10:21:20 +1100 | [diff] [blame] | 168 | fprintf(f, "["); |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 169 | for (;;) { |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 170 | while (m && (m->offset == (bp-val.val))) { |
| 171 | if (m->type == LABEL) |
| 172 | fprintf(f, "%s: ", m->ref); |
| 173 | m = m->next; |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 174 | } |
| 175 | |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 176 | fprintf(f, "%02hhx", *bp++); |
| 177 | if ((void *)bp >= propend) |
| 178 | break; |
| 179 | fprintf(f, " "); |
| 180 | } |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 181 | |
| 182 | /* Wrap up any labels at the end of the value */ |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 183 | for_each_marker_of_type(m, LABEL) { |
| 184 | assert (m->offset == val.len); |
| 185 | fprintf(f, " %s:", m->ref); |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 186 | } |
David Gibson | ed01ae4 | 2007-11-07 10:21:20 +1100 | [diff] [blame] | 187 | fprintf(f, "]"); |
| 188 | } |
| 189 | |
| 190 | static void write_propval(FILE *f, struct property *prop) |
| 191 | { |
| 192 | int len = prop->val.len; |
David Gibson | 92cb9a2 | 2007-12-04 14:26:15 +1100 | [diff] [blame] | 193 | const char *p = prop->val.val; |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 194 | struct marker *m = prop->val.markers; |
David Gibson | ed01ae4 | 2007-11-07 10:21:20 +1100 | [diff] [blame] | 195 | int nnotstring = 0, nnul = 0; |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 196 | int nnotstringlbl = 0, nnotcelllbl = 0; |
David Gibson | ed01ae4 | 2007-11-07 10:21:20 +1100 | [diff] [blame] | 197 | int i; |
| 198 | |
| 199 | if (len == 0) { |
| 200 | fprintf(f, ";\n"); |
| 201 | return; |
| 202 | } |
| 203 | |
| 204 | for (i = 0; i < len; i++) { |
| 205 | if (! isstring(p[i])) |
| 206 | nnotstring++; |
| 207 | if (p[i] == '\0') |
| 208 | nnul++; |
| 209 | } |
| 210 | |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 211 | for_each_marker_of_type(m, LABEL) { |
| 212 | if ((m->offset > 0) && (prop->val.val[m->offset - 1] != '\0')) |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 213 | nnotstringlbl++; |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 214 | if ((m->offset % sizeof(cell_t)) != 0) |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 215 | nnotcelllbl++; |
| 216 | } |
David Gibson | ed01ae4 | 2007-11-07 10:21:20 +1100 | [diff] [blame] | 217 | |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 218 | fprintf(f, " = "); |
| 219 | if ((p[len-1] == '\0') && (nnotstring == 0) && (nnul < (len-nnul)) |
| 220 | && (nnotstringlbl == 0)) { |
David Gibson | ed01ae4 | 2007-11-07 10:21:20 +1100 | [diff] [blame] | 221 | write_propval_string(f, prop->val); |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 222 | } else if (((len % sizeof(cell_t)) == 0) && (nnotcelllbl == 0)) { |
David Gibson | ed01ae4 | 2007-11-07 10:21:20 +1100 | [diff] [blame] | 223 | write_propval_cells(f, prop->val); |
| 224 | } else { |
| 225 | write_propval_bytes(f, prop->val); |
| 226 | } |
David Gibson | d3ea6e5 | 2007-11-07 10:22:25 +1100 | [diff] [blame] | 227 | |
David Gibson | ed01ae4 | 2007-11-07 10:21:20 +1100 | [diff] [blame] | 228 | fprintf(f, ";\n"); |
David Gibson | 5a98ddd | 2007-10-17 12:39:10 +1000 | [diff] [blame] | 229 | } |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 230 | |
David Gibson | 230f253 | 2005-08-29 12:48:02 +1000 | [diff] [blame] | 231 | static void write_tree_source_node(FILE *f, struct node *tree, int level) |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 232 | { |
| 233 | struct property *prop; |
| 234 | struct node *child; |
| 235 | |
| 236 | write_prefix(f, level); |
David Gibson | 02563ad | 2007-11-02 16:10:30 +1100 | [diff] [blame] | 237 | if (tree->label) |
| 238 | fprintf(f, "%s: ", tree->label); |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 239 | if (tree->name && (*tree->name)) |
| 240 | fprintf(f, "%s {\n", tree->name); |
| 241 | else |
| 242 | fprintf(f, "/ {\n"); |
| 243 | |
| 244 | for_each_property(tree, prop) { |
David Gibson | 02563ad | 2007-11-02 16:10:30 +1100 | [diff] [blame] | 245 | write_prefix(f, level+1); |
| 246 | if (prop->label) |
| 247 | fprintf(f, "%s: ", prop->label); |
| 248 | fprintf(f, "%s", prop->name); |
David Gibson | ed01ae4 | 2007-11-07 10:21:20 +1100 | [diff] [blame] | 249 | write_propval(f, prop); |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 250 | } |
| 251 | for_each_child(tree, child) { |
| 252 | fprintf(f, "\n"); |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 253 | write_tree_source_node(f, child, level+1); |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 254 | } |
| 255 | write_prefix(f, level); |
| 256 | fprintf(f, "};\n"); |
| 257 | } |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 258 | |
| 259 | |
David Gibson | 712e52e | 2005-10-26 16:56:26 +1000 | [diff] [blame] | 260 | void dt_to_source(FILE *f, struct boot_info *bi) |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 261 | { |
David Gibson | f040d95 | 2005-10-24 18:18:38 +1000 | [diff] [blame] | 262 | struct reserve_info *re; |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 263 | |
David Gibson | 91967ac | 2007-11-07 11:17:37 +1100 | [diff] [blame] | 264 | fprintf(f, "/dts-v1/;\n\n"); |
| 265 | |
David Gibson | f040d95 | 2005-10-24 18:18:38 +1000 | [diff] [blame] | 266 | for (re = bi->reservelist; re; re = re->next) { |
David Gibson | 02563ad | 2007-11-02 16:10:30 +1100 | [diff] [blame] | 267 | if (re->label) |
| 268 | fprintf(f, "%s: ", re->label); |
David Gibson | 91967ac | 2007-11-07 11:17:37 +1100 | [diff] [blame] | 269 | fprintf(f, "/memreserve/\t0x%016llx 0x%016llx;\n", |
David Gibson | f040d95 | 2005-10-24 18:18:38 +1000 | [diff] [blame] | 270 | (unsigned long long)re->re.address, |
David Gibson | 91967ac | 2007-11-07 11:17:37 +1100 | [diff] [blame] | 271 | (unsigned long long)re->re.size); |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 272 | } |
| 273 | |
| 274 | write_tree_source_node(f, bi->dt, 0); |
| 275 | } |
| 276 | |