Rob Herring | acfe84f | 2019-06-20 15:19:38 -0600 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-or-later |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 2 | /* |
| 3 | * (C) Copyright David Gibson <dwg@au1.ibm.com>, IBM Corporation. 2005. |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 4 | */ |
Ethan Sommer | 7150286 | 2019-10-29 12:26:19 -0400 | [diff] [blame] | 5 | %locations |
| 6 | |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 7 | %{ |
David Gibson | e37ec7d | 2008-06-11 11:58:39 +1000 | [diff] [blame] | 8 | #include <stdio.h> |
Pantelis Antoniou | 20f29d8 | 2016-12-07 14:48:18 +0200 | [diff] [blame] | 9 | #include <inttypes.h> |
David Gibson | e37ec7d | 2008-06-11 11:58:39 +1000 | [diff] [blame] | 10 | |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 11 | #include "dtc.h" |
Jon Loeliger | e45e6fd | 2007-03-23 15:18:41 -0500 | [diff] [blame] | 12 | #include "srcpos.h" |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 13 | |
David Gibson | 6b8e056 | 2008-03-05 11:47:54 +1100 | [diff] [blame] | 14 | extern int yylex(void); |
Jon Loeliger | e5c8e1d | 2008-09-12 13:39:49 -0500 | [diff] [blame] | 15 | extern void yyerror(char const *s); |
David Gibson | fa3f3f0 | 2014-01-03 23:57:39 +1100 | [diff] [blame] | 16 | #define ERROR(loc, ...) \ |
| 17 | do { \ |
| 18 | srcpos_error((loc), "Error", __VA_ARGS__); \ |
| 19 | treesource_error = true; \ |
| 20 | } while (0) |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 21 | |
Ethan Sommer | 7150286 | 2019-10-29 12:26:19 -0400 | [diff] [blame] | 22 | #define YYERROR_CALL(msg) yyerror(msg) |
| 23 | |
David Gibson | 00fbb86 | 2016-05-31 11:58:42 +1000 | [diff] [blame] | 24 | extern struct dt_info *parser_output; |
David Gibson | 1762537 | 2013-10-28 21:06:53 +1100 | [diff] [blame] | 25 | extern bool treesource_error; |
Pierre-Clément Tosi | ef1978a | 2022-05-30 20:57:34 +0100 | [diff] [blame] | 26 | |
| 27 | static bool is_ref_relative(const char *ref) |
| 28 | { |
| 29 | return ref[0] != '/' && strchr(&ref[1], '/'); |
| 30 | } |
| 31 | |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 32 | %} |
| 33 | |
| 34 | %union { |
David Gibson | 9ed27a2 | 2007-11-07 11:16:19 +1100 | [diff] [blame] | 35 | char *propnodename; |
David Gibson | 9ed27a2 | 2007-11-07 11:16:19 +1100 | [diff] [blame] | 36 | char *labelref; |
David Gibson | 5335901 | 2008-06-25 13:53:07 +1000 | [diff] [blame] | 37 | uint8_t byte; |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 38 | struct data data; |
David Gibson | 9ed27a2 | 2007-11-07 11:16:19 +1100 | [diff] [blame] | 39 | |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 40 | struct { |
| 41 | struct data data; |
| 42 | int bits; |
| 43 | } array; |
| 44 | |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 45 | struct property *prop; |
| 46 | struct property *proplist; |
| 47 | struct node *node; |
| 48 | struct node *nodelist; |
David Gibson | f040d95 | 2005-10-24 18:18:38 +1000 | [diff] [blame] | 49 | struct reserve_info *re; |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 50 | uint64_t integer; |
Pantelis Antoniou | 20f29d8 | 2016-12-07 14:48:18 +0200 | [diff] [blame] | 51 | unsigned int flags; |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 52 | } |
| 53 | |
David Gibson | 9138db5 | 2007-11-07 11:17:17 +1100 | [diff] [blame] | 54 | %token DT_V1 |
Pantelis Antoniou | 20f29d8 | 2016-12-07 14:48:18 +0200 | [diff] [blame] | 55 | %token DT_PLUGIN |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 56 | %token DT_MEMRESERVE |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 57 | %token DT_LSHIFT DT_RSHIFT DT_LE DT_GE DT_EQ DT_NE DT_AND DT_OR |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 58 | %token DT_BITS |
Stephen Warren | 45013d8 | 2012-08-07 22:50:15 -0600 | [diff] [blame] | 59 | %token DT_DEL_PROP |
| 60 | %token DT_DEL_NODE |
Maxime Ripard | 4038fd9 | 2018-05-03 22:27:26 +0200 | [diff] [blame] | 61 | %token DT_OMIT_NO_REF |
David Gibson | 9ed27a2 | 2007-11-07 11:16:19 +1100 | [diff] [blame] | 62 | %token <propnodename> DT_PROPNODENAME |
David Gibson | b82b977 | 2014-01-03 20:00:01 +1100 | [diff] [blame] | 63 | %token <integer> DT_LITERAL |
David Gibson | cfc6523 | 2014-01-04 10:03:55 +1100 | [diff] [blame] | 64 | %token <integer> DT_CHAR_LITERAL |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 65 | %token <byte> DT_BYTE |
| 66 | %token <data> DT_STRING |
David Gibson | 9ed27a2 | 2007-11-07 11:16:19 +1100 | [diff] [blame] | 67 | %token <labelref> DT_LABEL |
Fredrik Markstrom | 0fcffda | 2018-09-24 13:27:27 +0200 | [diff] [blame] | 68 | %token <labelref> DT_LABEL_REF |
| 69 | %token <labelref> DT_PATH_REF |
David Gibson | e37ec7d | 2008-06-11 11:58:39 +1000 | [diff] [blame] | 70 | %token DT_INCBIN |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 71 | |
| 72 | %type <data> propdata |
David Gibson | 32da475 | 2007-02-07 16:37:50 +1100 | [diff] [blame] | 73 | %type <data> propdataprefix |
David Gibson | 1ef86ad | 2016-12-09 16:23:23 +1100 | [diff] [blame] | 74 | %type <flags> header |
| 75 | %type <flags> headers |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 76 | %type <re> memreserve |
David Gibson | f040d95 | 2005-10-24 18:18:38 +1000 | [diff] [blame] | 77 | %type <re> memreserves |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 78 | %type <array> arrayprefix |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 79 | %type <data> bytestring |
| 80 | %type <prop> propdef |
| 81 | %type <proplist> proplist |
Fredrik Markstrom | 0fcffda | 2018-09-24 13:27:27 +0200 | [diff] [blame] | 82 | %type <labelref> dt_ref |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 83 | |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 84 | %type <node> devicetree |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 85 | %type <node> nodedef |
| 86 | %type <node> subnode |
| 87 | %type <nodelist> subnodes |
David Gibson | 4102d84 | 2005-06-16 14:36:37 +1000 | [diff] [blame] | 88 | |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 89 | %type <integer> integer_prim |
| 90 | %type <integer> integer_unary |
| 91 | %type <integer> integer_mul |
| 92 | %type <integer> integer_add |
| 93 | %type <integer> integer_shift |
| 94 | %type <integer> integer_rela |
| 95 | %type <integer> integer_eq |
| 96 | %type <integer> integer_bitand |
| 97 | %type <integer> integer_bitxor |
| 98 | %type <integer> integer_bitor |
| 99 | %type <integer> integer_and |
| 100 | %type <integer> integer_or |
| 101 | %type <integer> integer_trinary |
| 102 | %type <integer> integer_expr |
| 103 | |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 104 | %% |
| 105 | |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 106 | sourcefile: |
David Gibson | 1ef86ad | 2016-12-09 16:23:23 +1100 | [diff] [blame] | 107 | headers memreserves devicetree |
David Gibson | 9138db5 | 2007-11-07 11:17:17 +1100 | [diff] [blame] | 108 | { |
David Gibson | 00fbb86 | 2016-05-31 11:58:42 +1000 | [diff] [blame] | 109 | parser_output = build_dt_info($1, $2, $3, |
| 110 | guess_boot_cpuid($3)); |
Pantelis Antoniou | 20f29d8 | 2016-12-07 14:48:18 +0200 | [diff] [blame] | 111 | } |
| 112 | ; |
| 113 | |
David Gibson | 1ef86ad | 2016-12-09 16:23:23 +1100 | [diff] [blame] | 114 | header: |
| 115 | DT_V1 ';' |
Pantelis Antoniou | 20f29d8 | 2016-12-07 14:48:18 +0200 | [diff] [blame] | 116 | { |
| 117 | $$ = DTSF_V1; |
David Gibson | 9138db5 | 2007-11-07 11:17:17 +1100 | [diff] [blame] | 118 | } |
David Gibson | 1ef86ad | 2016-12-09 16:23:23 +1100 | [diff] [blame] | 119 | | DT_V1 ';' DT_PLUGIN ';' |
| 120 | { |
| 121 | $$ = DTSF_V1 | DTSF_PLUGIN; |
| 122 | } |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 123 | ; |
| 124 | |
David Gibson | 1ef86ad | 2016-12-09 16:23:23 +1100 | [diff] [blame] | 125 | headers: |
| 126 | header |
| 127 | | header headers |
Pantelis Antoniou | 20f29d8 | 2016-12-07 14:48:18 +0200 | [diff] [blame] | 128 | { |
David Gibson | 1ef86ad | 2016-12-09 16:23:23 +1100 | [diff] [blame] | 129 | if ($2 != $1) |
| 130 | ERROR(&@2, "Header flags don't match earlier ones"); |
| 131 | $$ = $1; |
Pantelis Antoniou | 20f29d8 | 2016-12-07 14:48:18 +0200 | [diff] [blame] | 132 | } |
David Gibson | c4cb12e | 2014-06-02 15:23:40 +1000 | [diff] [blame] | 133 | ; |
| 134 | |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 135 | memreserves: |
Jon Loeliger | 5641289 | 2007-10-23 09:28:54 -0500 | [diff] [blame] | 136 | /* empty */ |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 137 | { |
David Gibson | f040d95 | 2005-10-24 18:18:38 +1000 | [diff] [blame] | 138 | $$ = NULL; |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 139 | } |
Jon Loeliger | 5641289 | 2007-10-23 09:28:54 -0500 | [diff] [blame] | 140 | | memreserve memreserves |
| 141 | { |
| 142 | $$ = chain_reserve_entry($1, $2); |
| 143 | } |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 144 | ; |
| 145 | |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 146 | memreserve: |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 147 | DT_MEMRESERVE integer_prim integer_prim ';' |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 148 | { |
David Gibson | 05898c6 | 2010-02-24 18:22:17 +1100 | [diff] [blame] | 149 | $$ = build_reserve_entry($2, $3); |
| 150 | } |
| 151 | | DT_LABEL memreserve |
| 152 | { |
| 153 | add_label(&$2->labels, $1); |
| 154 | $$ = $2; |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 155 | } |
David Gibson | 9138db5 | 2007-11-07 11:17:17 +1100 | [diff] [blame] | 156 | ; |
| 157 | |
Fredrik Markstrom | 0fcffda | 2018-09-24 13:27:27 +0200 | [diff] [blame] | 158 | dt_ref: DT_LABEL_REF | DT_PATH_REF; |
| 159 | |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 160 | devicetree: |
| 161 | '/' nodedef |
| 162 | { |
David Gibson | 05898c6 | 2010-02-24 18:22:17 +1100 | [diff] [blame] | 163 | $$ = name_node($2, ""); |
David Gibson | f0517db | 2005-07-15 17:14:24 +1000 | [diff] [blame] | 164 | } |
David Gibson | 8773e12 | 2010-09-20 16:33:34 -0600 | [diff] [blame] | 165 | | devicetree '/' nodedef |
| 166 | { |
| 167 | $$ = merge_nodes($1, $3); |
| 168 | } |
Fredrik Markstrom | 0fcffda | 2018-09-24 13:27:27 +0200 | [diff] [blame] | 169 | | dt_ref nodedef |
Grant Likely | b260c4f | 2017-11-20 17:12:18 +0000 | [diff] [blame] | 170 | { |
| 171 | /* |
| 172 | * We rely on the rule being always: |
| 173 | * versioninfo plugindecl memreserves devicetree |
| 174 | * so $-1 is what we want (plugindecl) |
| 175 | */ |
| 176 | if (!($<flags>-1 & DTSF_PLUGIN)) |
| 177 | ERROR(&@2, "Label or path %s not found", $1); |
Pierre-Clément Tosi | ef1978a | 2022-05-30 20:57:34 +0100 | [diff] [blame] | 178 | else if (is_ref_relative($1)) |
| 179 | ERROR(&@2, "Label-relative reference %s not supported in plugin", $1); |
Julia Lawall | 8e20ccf | 2018-11-16 17:29:59 +0100 | [diff] [blame] | 180 | $$ = add_orphan_node( |
| 181 | name_node(build_node(NULL, NULL, NULL), |
| 182 | ""), |
| 183 | $2, $1); |
Grant Likely | b260c4f | 2017-11-20 17:12:18 +0000 | [diff] [blame] | 184 | } |
Fredrik Markstrom | 0fcffda | 2018-09-24 13:27:27 +0200 | [diff] [blame] | 185 | | devicetree DT_LABEL dt_ref nodedef |
Nikhil Devshatwar | 3346e06 | 2015-02-23 12:29:19 +1100 | [diff] [blame] | 186 | { |
| 187 | struct node *target = get_node_by_ref($1, $3); |
| 188 | |
Pierre-Clément Tosi | ef1978a | 2022-05-30 20:57:34 +0100 | [diff] [blame] | 189 | if (($<flags>-1 & DTSF_PLUGIN) && is_ref_relative($3)) |
| 190 | ERROR(&@2, "Label-relative reference %s not supported in plugin", $3); |
| 191 | |
Stephen Boyd | 3b9c970 | 2017-01-30 14:06:17 -0800 | [diff] [blame] | 192 | if (target) { |
| 193 | add_label(&target->labels, $2); |
Nikhil Devshatwar | 3346e06 | 2015-02-23 12:29:19 +1100 | [diff] [blame] | 194 | merge_nodes(target, $4); |
Stephen Boyd | 3b9c970 | 2017-01-30 14:06:17 -0800 | [diff] [blame] | 195 | } else |
Nikhil Devshatwar | 3346e06 | 2015-02-23 12:29:19 +1100 | [diff] [blame] | 196 | ERROR(&@3, "Label or path %s not found", $3); |
| 197 | $$ = $1; |
| 198 | } |
Fredrik Markstrom | 0fcffda | 2018-09-24 13:27:27 +0200 | [diff] [blame] | 199 | | devicetree DT_PATH_REF nodedef |
David Gibson | 8773e12 | 2010-09-20 16:33:34 -0600 | [diff] [blame] | 200 | { |
David Gibson | 8f1b35f | 2018-03-06 13:27:53 +1100 | [diff] [blame] | 201 | /* |
| 202 | * We rely on the rule being always: |
| 203 | * versioninfo plugindecl memreserves devicetree |
| 204 | * so $-1 is what we want (plugindecl) |
| 205 | */ |
| 206 | if ($<flags>-1 & DTSF_PLUGIN) { |
Pierre-Clément Tosi | ef1978a | 2022-05-30 20:57:34 +0100 | [diff] [blame] | 207 | if (is_ref_relative($2)) |
| 208 | ERROR(&@2, "Label-relative reference %s not supported in plugin", $2); |
David Gibson | 8f1b35f | 2018-03-06 13:27:53 +1100 | [diff] [blame] | 209 | add_orphan_node($1, $3, $2); |
Pantelis Antoniou | 737b2df | 2017-06-14 17:53:05 +0300 | [diff] [blame] | 210 | } else { |
David Gibson | 8f1b35f | 2018-03-06 13:27:53 +1100 | [diff] [blame] | 211 | struct node *target = get_node_by_ref($1, $2); |
| 212 | |
| 213 | if (target) |
| 214 | merge_nodes(target, $3); |
Pantelis Antoniou | 737b2df | 2017-06-14 17:53:05 +0300 | [diff] [blame] | 215 | else |
| 216 | ERROR(&@2, "Label or path %s not found", $2); |
| 217 | } |
David Gibson | 8773e12 | 2010-09-20 16:33:34 -0600 | [diff] [blame] | 218 | $$ = $1; |
| 219 | } |
Fredrik Markstrom | 0fcffda | 2018-09-24 13:27:27 +0200 | [diff] [blame] | 220 | | devicetree DT_LABEL_REF nodedef |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 221 | { |
| 222 | struct node *target = get_node_by_ref($1, $2); |
| 223 | |
Pantelis Antoniou | ec29173 | 2016-12-07 12:48:22 +0800 | [diff] [blame] | 224 | if (target) { |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 225 | merge_nodes(target, $3); |
Pantelis Antoniou | ec29173 | 2016-12-07 12:48:22 +0800 | [diff] [blame] | 226 | } else { |
| 227 | /* |
| 228 | * We rely on the rule being always: |
| 229 | * versioninfo plugindecl memreserves devicetree |
| 230 | * so $-1 is what we want (plugindecl) |
| 231 | */ |
| 232 | if ($<flags>-1 & DTSF_PLUGIN) |
| 233 | add_orphan_node($1, $3, $2); |
| 234 | else |
| 235 | ERROR(&@2, "Label or path %s not found", $2); |
| 236 | } |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 237 | $$ = $1; |
| 238 | } |
Fredrik Markstrom | 0fcffda | 2018-09-24 13:27:27 +0200 | [diff] [blame] | 239 | | devicetree DT_DEL_NODE dt_ref ';' |
Stephen Warren | 45013d8 | 2012-08-07 22:50:15 -0600 | [diff] [blame] | 240 | { |
| 241 | struct node *target = get_node_by_ref($1, $3); |
| 242 | |
David Gibson | fa3f3f0 | 2014-01-03 23:57:39 +1100 | [diff] [blame] | 243 | if (target) |
Stephen Warren | 45013d8 | 2012-08-07 22:50:15 -0600 | [diff] [blame] | 244 | delete_node(target); |
David Gibson | fa3f3f0 | 2014-01-03 23:57:39 +1100 | [diff] [blame] | 245 | else |
| 246 | ERROR(&@3, "Label or path %s not found", $3); |
| 247 | |
Stephen Warren | 45013d8 | 2012-08-07 22:50:15 -0600 | [diff] [blame] | 248 | |
| 249 | $$ = $1; |
| 250 | } |
Fredrik Markstrom | 0fcffda | 2018-09-24 13:27:27 +0200 | [diff] [blame] | 251 | | devicetree DT_OMIT_NO_REF dt_ref ';' |
Maxime Ripard | 4038fd9 | 2018-05-03 22:27:26 +0200 | [diff] [blame] | 252 | { |
| 253 | struct node *target = get_node_by_ref($1, $3); |
| 254 | |
| 255 | if (target) |
| 256 | omit_node_if_unused(target); |
| 257 | else |
| 258 | ERROR(&@3, "Label or path %s not found", $3); |
| 259 | |
| 260 | |
| 261 | $$ = $1; |
| 262 | } |
Pantelis Antoniou | ec29173 | 2016-12-07 12:48:22 +0800 | [diff] [blame] | 263 | | /* empty */ |
| 264 | { |
| 265 | /* build empty node */ |
Steve Muckle | b734cfd | 2020-07-08 17:22:37 -0700 | [diff] [blame] | 266 | $$ = name_node(build_node(NULL, NULL, NULL), ""); |
Pantelis Antoniou | ec29173 | 2016-12-07 12:48:22 +0800 | [diff] [blame] | 267 | } |
David Gibson | 81f2e89 | 2005-06-16 17:04:00 +1000 | [diff] [blame] | 268 | ; |
| 269 | |
| 270 | nodedef: |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 271 | '{' proplist subnodes '}' ';' |
| 272 | { |
Julia Lawall | 8e20ccf | 2018-11-16 17:29:59 +0100 | [diff] [blame] | 273 | $$ = build_node($2, $3, &@$); |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 274 | } |
| 275 | ; |
| 276 | |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 277 | proplist: |
Jon Loeliger | 5641289 | 2007-10-23 09:28:54 -0500 | [diff] [blame] | 278 | /* empty */ |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 279 | { |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 280 | $$ = NULL; |
| 281 | } |
Jon Loeliger | 7b3fb78 | 2007-10-22 16:09:56 -0500 | [diff] [blame] | 282 | | proplist propdef |
Jon Loeliger | 5641289 | 2007-10-23 09:28:54 -0500 | [diff] [blame] | 283 | { |
Jon Loeliger | 7b3fb78 | 2007-10-22 16:09:56 -0500 | [diff] [blame] | 284 | $$ = chain_property($2, $1); |
Jon Loeliger | 5641289 | 2007-10-23 09:28:54 -0500 | [diff] [blame] | 285 | } |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 286 | ; |
| 287 | |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 288 | propdef: |
David Gibson | 05898c6 | 2010-02-24 18:22:17 +1100 | [diff] [blame] | 289 | DT_PROPNODENAME '=' propdata ';' |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 290 | { |
Julia Lawall | 8e20ccf | 2018-11-16 17:29:59 +0100 | [diff] [blame] | 291 | $$ = build_property($1, $3, &@$); |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 292 | } |
David Gibson | 05898c6 | 2010-02-24 18:22:17 +1100 | [diff] [blame] | 293 | | DT_PROPNODENAME ';' |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 294 | { |
Julia Lawall | 8e20ccf | 2018-11-16 17:29:59 +0100 | [diff] [blame] | 295 | $$ = build_property($1, empty_data, &@$); |
David Gibson | 05898c6 | 2010-02-24 18:22:17 +1100 | [diff] [blame] | 296 | } |
Stephen Warren | 45013d8 | 2012-08-07 22:50:15 -0600 | [diff] [blame] | 297 | | DT_DEL_PROP DT_PROPNODENAME ';' |
| 298 | { |
| 299 | $$ = build_property_delete($2); |
| 300 | } |
David Gibson | 05898c6 | 2010-02-24 18:22:17 +1100 | [diff] [blame] | 301 | | DT_LABEL propdef |
| 302 | { |
| 303 | add_label(&$2->labels, $1); |
| 304 | $$ = $2; |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 305 | } |
| 306 | ; |
| 307 | |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 308 | propdata: |
| 309 | propdataprefix DT_STRING |
| 310 | { |
| 311 | $$ = data_merge($1, $2); |
David Gibson | 32da475 | 2007-02-07 16:37:50 +1100 | [diff] [blame] | 312 | } |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 313 | | propdataprefix arrayprefix '>' |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 314 | { |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 315 | $$ = data_merge($1, $2.data); |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 316 | } |
| 317 | | propdataprefix '[' bytestring ']' |
| 318 | { |
| 319 | $$ = data_merge($1, $3); |
| 320 | } |
Fredrik Markstrom | 0fcffda | 2018-09-24 13:27:27 +0200 | [diff] [blame] | 321 | | propdataprefix dt_ref |
David Gibson | efbbef8 | 2007-12-05 10:43:50 +1100 | [diff] [blame] | 322 | { |
Rob Herring | ac68ff9 | 2018-07-30 21:57:35 -0600 | [diff] [blame] | 323 | $1 = data_add_marker($1, TYPE_STRING, $2); |
David Gibson | efbbef8 | 2007-12-05 10:43:50 +1100 | [diff] [blame] | 324 | $$ = data_add_marker($1, REF_PATH, $2); |
| 325 | } |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 326 | | propdataprefix DT_INCBIN '(' DT_STRING ',' integer_prim ',' integer_prim ')' |
David Gibson | e37ec7d | 2008-06-11 11:58:39 +1000 | [diff] [blame] | 327 | { |
David Gibson | d68cb36 | 2009-12-08 14:24:42 +1100 | [diff] [blame] | 328 | FILE *f = srcfile_relative_open($4.val, NULL); |
| 329 | struct data d; |
David Gibson | e37ec7d | 2008-06-11 11:58:39 +1000 | [diff] [blame] | 330 | |
| 331 | if ($6 != 0) |
David Gibson | d68cb36 | 2009-12-08 14:24:42 +1100 | [diff] [blame] | 332 | if (fseek(f, $6, SEEK_SET) != 0) |
David Gibson | 6a15eb2 | 2014-01-04 10:04:19 +1100 | [diff] [blame] | 333 | die("Couldn't seek to offset %llu in \"%s\": %s", |
| 334 | (unsigned long long)$6, $4.val, |
| 335 | strerror(errno)); |
David Gibson | e37ec7d | 2008-06-11 11:58:39 +1000 | [diff] [blame] | 336 | |
David Gibson | d68cb36 | 2009-12-08 14:24:42 +1100 | [diff] [blame] | 337 | d = data_copy_file(f, $8); |
David Gibson | e37ec7d | 2008-06-11 11:58:39 +1000 | [diff] [blame] | 338 | |
| 339 | $$ = data_merge($1, d); |
David Gibson | d68cb36 | 2009-12-08 14:24:42 +1100 | [diff] [blame] | 340 | fclose(f); |
David Gibson | e37ec7d | 2008-06-11 11:58:39 +1000 | [diff] [blame] | 341 | } |
| 342 | | propdataprefix DT_INCBIN '(' DT_STRING ')' |
| 343 | { |
David Gibson | d68cb36 | 2009-12-08 14:24:42 +1100 | [diff] [blame] | 344 | FILE *f = srcfile_relative_open($4.val, NULL); |
David Gibson | e37ec7d | 2008-06-11 11:58:39 +1000 | [diff] [blame] | 345 | struct data d = empty_data; |
| 346 | |
David Gibson | d68cb36 | 2009-12-08 14:24:42 +1100 | [diff] [blame] | 347 | d = data_copy_file(f, -1); |
David Gibson | e37ec7d | 2008-06-11 11:58:39 +1000 | [diff] [blame] | 348 | |
| 349 | $$ = data_merge($1, d); |
David Gibson | d68cb36 | 2009-12-08 14:24:42 +1100 | [diff] [blame] | 350 | fclose(f); |
David Gibson | e37ec7d | 2008-06-11 11:58:39 +1000 | [diff] [blame] | 351 | } |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 352 | | propdata DT_LABEL |
| 353 | { |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 354 | $$ = data_add_marker($1, LABEL, $2); |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 355 | } |
David Gibson | 32da475 | 2007-02-07 16:37:50 +1100 | [diff] [blame] | 356 | ; |
| 357 | |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 358 | propdataprefix: |
Jon Loeliger | 5641289 | 2007-10-23 09:28:54 -0500 | [diff] [blame] | 359 | /* empty */ |
| 360 | { |
| 361 | $$ = empty_data; |
| 362 | } |
| 363 | | propdata ',' |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 364 | { |
| 365 | $$ = $1; |
| 366 | } |
| 367 | | propdataprefix DT_LABEL |
| 368 | { |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 369 | $$ = data_add_marker($1, LABEL, $2); |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 370 | } |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 371 | ; |
| 372 | |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 373 | arrayprefix: |
| 374 | DT_BITS DT_LITERAL '<' |
Jon Loeliger | 5641289 | 2007-10-23 09:28:54 -0500 | [diff] [blame] | 375 | { |
David Gibson | b82b977 | 2014-01-03 20:00:01 +1100 | [diff] [blame] | 376 | unsigned long long bits; |
Grant Likely | 44d3efe | 2018-05-15 17:42:54 -0500 | [diff] [blame] | 377 | enum markertype type = TYPE_UINT32; |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 378 | |
David Gibson | b82b977 | 2014-01-03 20:00:01 +1100 | [diff] [blame] | 379 | bits = $2; |
| 380 | |
Grant Likely | 44d3efe | 2018-05-15 17:42:54 -0500 | [diff] [blame] | 381 | switch (bits) { |
| 382 | case 8: type = TYPE_UINT8; break; |
| 383 | case 16: type = TYPE_UINT16; break; |
| 384 | case 32: type = TYPE_UINT32; break; |
| 385 | case 64: type = TYPE_UINT64; break; |
| 386 | default: |
David Gibson | fa3f3f0 | 2014-01-03 23:57:39 +1100 | [diff] [blame] | 387 | ERROR(&@2, "Array elements must be" |
| 388 | " 8, 16, 32 or 64-bits"); |
David Gibson | b82b977 | 2014-01-03 20:00:01 +1100 | [diff] [blame] | 389 | bits = 32; |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 390 | } |
David Gibson | b82b977 | 2014-01-03 20:00:01 +1100 | [diff] [blame] | 391 | |
Grant Likely | 44d3efe | 2018-05-15 17:42:54 -0500 | [diff] [blame] | 392 | $$.data = data_add_marker(empty_data, type, NULL); |
David Gibson | b82b977 | 2014-01-03 20:00:01 +1100 | [diff] [blame] | 393 | $$.bits = bits; |
David Gibson | 9138db5 | 2007-11-07 11:17:17 +1100 | [diff] [blame] | 394 | } |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 395 | | '<' |
Anton Staaf | a4ea2fa | 2011-09-09 12:16:30 -0700 | [diff] [blame] | 396 | { |
Grant Likely | 44d3efe | 2018-05-15 17:42:54 -0500 | [diff] [blame] | 397 | $$.data = data_add_marker(empty_data, TYPE_UINT32, NULL); |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 398 | $$.bits = 32; |
| 399 | } |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 400 | | arrayprefix integer_prim |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 401 | { |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 402 | if ($1.bits < 64) { |
| 403 | uint64_t mask = (1ULL << $1.bits) - 1; |
| 404 | /* |
| 405 | * Bits above mask must either be all zero |
| 406 | * (positive within range of mask) or all one |
| 407 | * (negative and sign-extended). The second |
| 408 | * condition is true if when we set all bits |
| 409 | * within the mask to one (i.e. | in the |
| 410 | * mask), all bits are one. |
| 411 | */ |
| 412 | if (($2 > mask) && (($2 | mask) != -1ULL)) |
David Gibson | fa3f3f0 | 2014-01-03 23:57:39 +1100 | [diff] [blame] | 413 | ERROR(&@2, "Value out of range for" |
| 414 | " %d-bit array element", $1.bits); |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 415 | } |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 416 | |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 417 | $$.data = data_append_integer($1.data, $2, $1.bits); |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 418 | } |
Fredrik Markstrom | 0fcffda | 2018-09-24 13:27:27 +0200 | [diff] [blame] | 419 | | arrayprefix dt_ref |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 420 | { |
| 421 | uint64_t val = ~0ULL >> (64 - $1.bits); |
| 422 | |
| 423 | if ($1.bits == 32) |
| 424 | $1.data = data_add_marker($1.data, |
| 425 | REF_PHANDLE, |
| 426 | $2); |
| 427 | else |
David Gibson | fa3f3f0 | 2014-01-03 23:57:39 +1100 | [diff] [blame] | 428 | ERROR(&@2, "References are only allowed in " |
Anton Staaf | 033089f | 2011-10-11 10:22:29 -0700 | [diff] [blame] | 429 | "arrays with 32-bit elements."); |
| 430 | |
| 431 | $$.data = data_append_integer($1.data, val, $1.bits); |
| 432 | } |
| 433 | | arrayprefix DT_LABEL |
| 434 | { |
| 435 | $$.data = data_add_marker($1.data, LABEL, $2); |
Anton Staaf | a4ea2fa | 2011-09-09 12:16:30 -0700 | [diff] [blame] | 436 | } |
David Gibson | 9ed27a2 | 2007-11-07 11:16:19 +1100 | [diff] [blame] | 437 | ; |
| 438 | |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 439 | integer_prim: |
| 440 | DT_LITERAL |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 441 | | DT_CHAR_LITERAL |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 442 | | '(' integer_expr ')' |
| 443 | { |
| 444 | $$ = $2; |
| 445 | } |
| 446 | ; |
| 447 | |
| 448 | integer_expr: |
| 449 | integer_trinary |
| 450 | ; |
| 451 | |
| 452 | integer_trinary: |
| 453 | integer_or |
| 454 | | integer_or '?' integer_expr ':' integer_trinary { $$ = $1 ? $3 : $5; } |
| 455 | ; |
| 456 | |
| 457 | integer_or: |
| 458 | integer_and |
| 459 | | integer_or DT_OR integer_and { $$ = $1 || $3; } |
| 460 | ; |
| 461 | |
| 462 | integer_and: |
| 463 | integer_bitor |
| 464 | | integer_and DT_AND integer_bitor { $$ = $1 && $3; } |
| 465 | ; |
| 466 | |
| 467 | integer_bitor: |
| 468 | integer_bitxor |
| 469 | | integer_bitor '|' integer_bitxor { $$ = $1 | $3; } |
| 470 | ; |
| 471 | |
| 472 | integer_bitxor: |
| 473 | integer_bitand |
| 474 | | integer_bitxor '^' integer_bitand { $$ = $1 ^ $3; } |
| 475 | ; |
| 476 | |
| 477 | integer_bitand: |
| 478 | integer_eq |
| 479 | | integer_bitand '&' integer_eq { $$ = $1 & $3; } |
| 480 | ; |
| 481 | |
| 482 | integer_eq: |
| 483 | integer_rela |
| 484 | | integer_eq DT_EQ integer_rela { $$ = $1 == $3; } |
| 485 | | integer_eq DT_NE integer_rela { $$ = $1 != $3; } |
| 486 | ; |
| 487 | |
| 488 | integer_rela: |
| 489 | integer_shift |
| 490 | | integer_rela '<' integer_shift { $$ = $1 < $3; } |
| 491 | | integer_rela '>' integer_shift { $$ = $1 > $3; } |
| 492 | | integer_rela DT_LE integer_shift { $$ = $1 <= $3; } |
| 493 | | integer_rela DT_GE integer_shift { $$ = $1 >= $3; } |
| 494 | ; |
| 495 | |
| 496 | integer_shift: |
Pierre-Clément Tosi | ef1978a | 2022-05-30 20:57:34 +0100 | [diff] [blame] | 497 | integer_shift DT_LSHIFT integer_add { $$ = ($3 < 64) ? ($1 << $3) : 0; } |
| 498 | | integer_shift DT_RSHIFT integer_add { $$ = ($3 < 64) ? ($1 >> $3) : 0; } |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 499 | | integer_add |
| 500 | ; |
| 501 | |
| 502 | integer_add: |
| 503 | integer_add '+' integer_mul { $$ = $1 + $3; } |
| 504 | | integer_add '-' integer_mul { $$ = $1 - $3; } |
| 505 | | integer_mul |
| 506 | ; |
| 507 | |
| 508 | integer_mul: |
| 509 | integer_mul '*' integer_unary { $$ = $1 * $3; } |
David Gibson | 1937095 | 2016-01-03 22:27:32 +1100 | [diff] [blame] | 510 | | integer_mul '/' integer_unary |
| 511 | { |
| 512 | if ($3 != 0) { |
| 513 | $$ = $1 / $3; |
| 514 | } else { |
| 515 | ERROR(&@$, "Division by zero"); |
| 516 | $$ = 0; |
| 517 | } |
| 518 | } |
David Gibson | b06e55c | 2016-01-12 19:27:25 +1100 | [diff] [blame] | 519 | | integer_mul '%' integer_unary |
| 520 | { |
| 521 | if ($3 != 0) { |
| 522 | $$ = $1 % $3; |
| 523 | } else { |
| 524 | ERROR(&@$, "Division by zero"); |
| 525 | $$ = 0; |
| 526 | } |
| 527 | } |
Stephen Warren | 5f0c3b2 | 2012-04-03 20:56:00 -0600 | [diff] [blame] | 528 | | integer_unary |
| 529 | ; |
| 530 | |
| 531 | integer_unary: |
| 532 | integer_prim |
| 533 | | '-' integer_unary { $$ = -$2; } |
| 534 | | '~' integer_unary { $$ = ~$2; } |
| 535 | | '!' integer_unary { $$ = !$2; } |
| 536 | ; |
| 537 | |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 538 | bytestring: |
Jon Loeliger | 5641289 | 2007-10-23 09:28:54 -0500 | [diff] [blame] | 539 | /* empty */ |
| 540 | { |
Grant Likely | 44d3efe | 2018-05-15 17:42:54 -0500 | [diff] [blame] | 541 | $$ = data_add_marker(empty_data, TYPE_UINT8, NULL); |
Jon Loeliger | 5641289 | 2007-10-23 09:28:54 -0500 | [diff] [blame] | 542 | } |
| 543 | | bytestring DT_BYTE |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 544 | { |
| 545 | $$ = data_append_byte($1, $2); |
| 546 | } |
| 547 | | bytestring DT_LABEL |
| 548 | { |
David Gibson | dc94177 | 2007-11-22 14:39:23 +1100 | [diff] [blame] | 549 | $$ = data_add_marker($1, LABEL, $2); |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 550 | } |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 551 | ; |
| 552 | |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 553 | subnodes: |
Jon Loeliger | 5641289 | 2007-10-23 09:28:54 -0500 | [diff] [blame] | 554 | /* empty */ |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 555 | { |
| 556 | $$ = NULL; |
| 557 | } |
David Gibson | 05898c6 | 2010-02-24 18:22:17 +1100 | [diff] [blame] | 558 | | subnode subnodes |
Jon Loeliger | 5641289 | 2007-10-23 09:28:54 -0500 | [diff] [blame] | 559 | { |
| 560 | $$ = chain_node($1, $2); |
| 561 | } |
David Gibson | c048102 | 2007-12-05 10:27:04 +1100 | [diff] [blame] | 562 | | subnode propdef |
| 563 | { |
David Gibson | fa3f3f0 | 2014-01-03 23:57:39 +1100 | [diff] [blame] | 564 | ERROR(&@2, "Properties must precede subnodes"); |
David Gibson | c048102 | 2007-12-05 10:27:04 +1100 | [diff] [blame] | 565 | YYERROR; |
| 566 | } |
David Gibson | fc14dad | 2005-06-08 17:18:34 +1000 | [diff] [blame] | 567 | ; |
| 568 | |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 569 | subnode: |
David Gibson | 05898c6 | 2010-02-24 18:22:17 +1100 | [diff] [blame] | 570 | DT_PROPNODENAME nodedef |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 571 | { |
David Gibson | 05898c6 | 2010-02-24 18:22:17 +1100 | [diff] [blame] | 572 | $$ = name_node($2, $1); |
Jon Loeliger | 30807ca | 2007-10-18 09:42:16 -0500 | [diff] [blame] | 573 | } |
Stephen Warren | 45013d8 | 2012-08-07 22:50:15 -0600 | [diff] [blame] | 574 | | DT_DEL_NODE DT_PROPNODENAME ';' |
| 575 | { |
Julia Lawall | 8e20ccf | 2018-11-16 17:29:59 +0100 | [diff] [blame] | 576 | $$ = name_node(build_node_delete(&@$), $2); |
Stephen Warren | 45013d8 | 2012-08-07 22:50:15 -0600 | [diff] [blame] | 577 | } |
Maxime Ripard | 4038fd9 | 2018-05-03 22:27:26 +0200 | [diff] [blame] | 578 | | DT_OMIT_NO_REF subnode |
| 579 | { |
| 580 | $$ = omit_node_if_unused($2); |
John Bonesio | c0fa2e6 | 2010-10-20 14:44:58 -0700 | [diff] [blame] | 581 | } |
| 582 | | DT_LABEL subnode |
| 583 | { |
| 584 | add_label(&$2->labels, $1); |
David Gibson | 6b8e056 | 2008-03-05 11:47:54 +1100 | [diff] [blame] | 585 | $$ = $2; |
Jon Loeliger | 3948849 | 2007-02-16 09:33:54 -0600 | [diff] [blame] | 586 | } |
David Gibson | 9ed27a2 | 2007-11-07 11:16:19 +1100 | [diff] [blame] | 587 | ; |
Milton Miller | 85ab5cc | 2007-07-07 01:18:48 -0500 | [diff] [blame] | 588 | |
Jon Loeliger | 3948849 | 2007-02-16 09:33:54 -0600 | [diff] [blame] | 589 | %% |
David Gibson | 9ed27a2 | 2007-11-07 11:16:19 +1100 | [diff] [blame] | 590 | |
David Gibson | c854434 | 2014-01-03 23:23:23 +1100 | [diff] [blame] | 591 | void yyerror(char const *s) |
| 592 | { |
David Gibson | fa3f3f0 | 2014-01-03 23:57:39 +1100 | [diff] [blame] | 593 | ERROR(&yylloc, "%s", s); |
Jon Loeliger | 3948849 | 2007-02-16 09:33:54 -0600 | [diff] [blame] | 594 | } |