Something went wrong. Try again.
Linux kernel mirror (for testing) git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600// SPDX-License-Identifier: GPL-2.0-or-later/* * (C) Copyright David Gibson <dwg@au1.ibm.com>, IBM Corporation. 2005. */%locations
%{#include <stdio.h>#include <inttypes.h>
#include "dtc.h"#include "srcpos.h"
extern int yylex(void);extern void yyerror(char const *s);#define ERROR(loc, ...) \ do { \ srcpos_error((loc), "Error", __VA_ARGS__); \ treesource_error = true; \ } while (0)
#define YYERROR_CALL(msg) yyerror(msg)
extern struct dt_info *parser_output;extern bool treesource_error;
static bool is_ref_relative(const char *ref){ return ref[0] != '/' && strchr(&ref[1], '/');}
%}
%union { char *propnodename; char *labelref; uint8_t byte; struct data data;
struct { struct data data; int bits; } array;
struct property *prop; struct property *proplist; struct node *node; struct node *nodelist; struct reserve_info *re; uint64_t integer; unsigned int flags;}
%token DT_V1%token DT_PLUGIN%token DT_MEMRESERVE%token DT_LSHIFT DT_RSHIFT DT_LE DT_GE DT_EQ DT_NE DT_AND DT_OR%token DT_BITS%token DT_DEL_PROP%token DT_DEL_NODE%token DT_OMIT_NO_REF%token <propnodename> DT_PROPNODENAME%token <integer> DT_LITERAL%token <integer> DT_CHAR_LITERAL%token <byte> DT_BYTE%token <data> DT_STRING%token <labelref> DT_LABEL%token <labelref> DT_LABEL_REF%token <labelref> DT_PATH_REF%token DT_INCBIN
%type <data> propdata%type <data> propdataprefix%type <flags> header%type <flags> headers%type <re> memreserve%type <re> memreserves%type <array> arrayprefix%type <data> bytestring%type <prop> propdef%type <proplist> proplist%type <labelref> dt_ref
%type <node> devicetree%type <node> nodedef%type <node> subnode%type <nodelist> subnodes
%type <integer> integer_prim%type <integer> integer_unary%type <integer> integer_mul%type <integer> integer_add%type <integer> integer_shift%type <integer> integer_rela%type <integer> integer_eq%type <integer> integer_bitand%type <integer> integer_bitxor%type <integer> integer_bitor%type <integer> integer_and%type <integer> integer_or%type <integer> integer_trinary%type <integer> integer_expr
%%
sourcefile: headers memreserves devicetree { parser_output = build_dt_info($1, $2, $3, guess_boot_cpuid($3)); } ;
header: DT_V1 ';' { $$ = DTSF_V1; } | DT_V1 ';' DT_PLUGIN ';' { $$ = DTSF_V1 | DTSF_PLUGIN; } ;
headers: header | header headers { if ($2 != $1) ERROR(&@2, "Header flags don't match earlier ones"); $$ = $1; } ;
memreserves: /* empty */ { $$ = NULL; } | memreserve memreserves { $$ = chain_reserve_entry($1, $2); } ;
memreserve: DT_MEMRESERVE integer_prim integer_prim ';' { $$ = build_reserve_entry($2, $3); } | DT_LABEL memreserve { add_label(&$2->labels, $1); $$ = $2; } ;
dt_ref: DT_LABEL_REF | DT_PATH_REF;
devicetree: '/' nodedef { $$ = name_node($2, ""); } | devicetree '/' nodedef { $$ = merge_nodes($1, $3); } | dt_ref nodedef { /* * We rely on the rule being always: * versioninfo plugindecl memreserves devicetree * so $-1 is what we want (plugindecl) */ if (!($<flags>-1 & DTSF_PLUGIN)) ERROR(&@2, "Label or path %s not found", $1); else if (is_ref_relative($1)) ERROR(&@2, "Label-relative reference %s not supported in plugin", $1); $$ = add_orphan_node( name_node(build_node(NULL, NULL, NULL), ""), $2, $1); } | devicetree DT_LABEL dt_ref nodedef { struct node *target = get_node_by_ref($1, $3);
if (($<flags>-1 & DTSF_PLUGIN) && is_ref_relative($3)) ERROR(&@2, "Label-relative reference %s not supported in plugin", $3);
if (target) { add_label(&target->labels, $2); merge_nodes(target, $4); } else ERROR(&@3, "Label or path %s not found", $3); $$ = $1; } | devicetree DT_PATH_REF nodedef { /* * We rely on the rule being always: * versioninfo plugindecl memreserves devicetree * so $-1 is what we want (plugindecl) */ if ($<flags>-1 & DTSF_PLUGIN) { if (is_ref_relative($2)) ERROR(&@2, "Label-relative reference %s not supported in plugin", $2); add_orphan_node($1, $3, $2); } else { struct node *target = get_node_by_ref($1, $2);
if (target) merge_nodes(target, $3); else ERROR(&@2, "Label or path %s not found", $2); } $$ = $1; } | devicetree DT_LABEL_REF nodedef { struct node *target = get_node_by_ref($1, $2);
if (target) { merge_nodes(target, $3); } else { /* * We rely on the rule being always: * versioninfo plugindecl memreserves devicetree * so $-1 is what we want (plugindecl) */ if ($<flags>-1 & DTSF_PLUGIN) add_orphan_node($1, $3, $2); else ERROR(&@2, "Label or path %s not found", $2); } $$ = $1; } | devicetree DT_DEL_NODE dt_ref ';' { struct node *target = get_node_by_ref($1, $3);
if (target) delete_node(target); else ERROR(&@3, "Label or path %s not found", $3);
$$ = $1; } | devicetree DT_OMIT_NO_REF dt_ref ';' { struct node *target = get_node_by_ref($1, $3);
if (target) omit_node_if_unused(target); else ERROR(&@3, "Label or path %s not found", $3);
$$ = $1; } ;
nodedef: '{' proplist subnodes '}' ';' { $$ = build_node($2, $3, &@$); } ;
proplist: /* empty */ { $$ = NULL; } | proplist propdef { $$ = chain_property($2, $1); } ;
propdef: DT_PROPNODENAME '=' propdata ';' { $$ = build_property($1, $3, &@$); free($1); } | DT_PROPNODENAME ';' { $$ = build_property($1, empty_data, &@$); free($1); } | DT_DEL_PROP DT_PROPNODENAME ';' { $$ = build_property_delete($2); free($2); } | DT_LABEL propdef { add_label(&$2->labels, $1); $$ = $2; } ;
propdata: propdataprefix DT_STRING { $$ = data_merge($1, $2); } | propdataprefix arrayprefix '>' { $$ = data_merge($1, $2.data); } | propdataprefix '[' bytestring ']' { $$ = data_merge($1, $3); } | propdataprefix dt_ref { $1 = data_add_marker($1, TYPE_STRING, $2); $$ = data_add_marker($1, REF_PATH, $2); } | propdataprefix DT_INCBIN '(' DT_STRING ',' integer_prim ',' integer_prim ')' { FILE *f = srcfile_relative_open($4.val, NULL); struct data d;
if ($6 != 0) if (fseek(f, $6, SEEK_SET) != 0) die("Couldn't seek to offset %llu in \"%s\": %s", (unsigned long long)$6, $4.val, strerror(errno));
d = data_copy_file(f, $8);
$$ = data_merge($1, d); fclose(f); } | propdataprefix DT_INCBIN '(' DT_STRING ')' { FILE *f = srcfile_relative_open($4.val, NULL); struct data d = empty_data;
d = data_copy_file(f, -1);
$$ = data_merge($1, d); fclose(f); } | propdata DT_LABEL { $$ = data_add_marker($1, LABEL, $2); } ;
propdataprefix: /* empty */ { $$ = empty_data; } | propdata ',' { $$ = $1; } | propdataprefix DT_LABEL { $$ = data_add_marker($1, LABEL, $2); } ;
arrayprefix: DT_BITS DT_LITERAL '<' { unsigned long long bits; enum markertype type = TYPE_UINT32;
bits = $2;
switch (bits) { case 8: type = TYPE_UINT8; break; case 16: type = TYPE_UINT16; break; case 32: type = TYPE_UINT32; break; case 64: type = TYPE_UINT64; break; default: ERROR(&@2, "Array elements must be" " 8, 16, 32 or 64-bits"); bits = 32; }
$$.data = data_add_marker(empty_data, type, NULL); $$.bits = bits; } | '<' { $$.data = data_add_marker(empty_data, TYPE_UINT32, NULL); $$.bits = 32; } | arrayprefix integer_prim { if ($1.bits < 64) { uint64_t mask = (1ULL << $1.bits) - 1; /* * Bits above mask must either be all zero * (positive within range of mask) or all one * (negative and sign-extended). The second * condition is true if when we set all bits * within the mask to one (i.e. | in the * mask), all bits are one. */ if (($2 > mask) && (($2 | mask) != -1ULL)) { char *loc = srcpos_string(&@2); fprintf(stderr, "WARNING: %s: Value 0x%016" PRIx64 " truncated to 0x%0*" PRIx64 "\n", loc, $2, $1.bits / 4, ($2 & mask)); free(loc); } }
$$.data = data_append_integer($1.data, $2, $1.bits); } | arrayprefix dt_ref { uint64_t val = ~0ULL >> (64 - $1.bits);
if ($1.bits == 32) $1.data = data_add_marker($1.data, REF_PHANDLE, $2); else ERROR(&@2, "References are only allowed in " "arrays with 32-bit elements.");
$$.data = data_append_integer($1.data, val, $1.bits); } | arrayprefix DT_LABEL { $$.data = data_add_marker($1.data, LABEL, $2); } ;
integer_prim: DT_LITERAL | DT_CHAR_LITERAL | '(' integer_expr ')' { $$ = $2; } ;
integer_expr: integer_trinary ;
integer_trinary: integer_or | integer_or '?' integer_expr ':' integer_trinary { $$ = $1 ? $3 : $5; } ;
integer_or: integer_and | integer_or DT_OR integer_and { $$ = $1 || $3; } ;
integer_and: integer_bitor | integer_and DT_AND integer_bitor { $$ = $1 && $3; } ;
integer_bitor: integer_bitxor | integer_bitor '|' integer_bitxor { $$ = $1 | $3; } ;
integer_bitxor: integer_bitand | integer_bitxor '^' integer_bitand { $$ = $1 ^ $3; } ;
integer_bitand: integer_eq | integer_bitand '&' integer_eq { $$ = $1 & $3; } ;
integer_eq: integer_rela | integer_eq DT_EQ integer_rela { $$ = $1 == $3; } | integer_eq DT_NE integer_rela { $$ = $1 != $3; } ;
integer_rela: integer_shift | integer_rela '<' integer_shift { $$ = $1 < $3; } | integer_rela '>' integer_shift { $$ = $1 > $3; } | integer_rela DT_LE integer_shift { $$ = $1 <= $3; } | integer_rela DT_GE integer_shift { $$ = $1 >= $3; } ;
integer_shift: integer_shift DT_LSHIFT integer_add { $$ = ($3 < 64) ? ($1 << $3) : 0; } | integer_shift DT_RSHIFT integer_add { $$ = ($3 < 64) ? ($1 >> $3) : 0; } | integer_add ;
integer_add: integer_add '+' integer_mul { $$ = $1 + $3; } | integer_add '-' integer_mul { $$ = $1 - $3; } | integer_mul ;
integer_mul: integer_mul '*' integer_unary { $$ = $1 * $3; } | integer_mul '/' integer_unary { if ($3 != 0) { $$ = $1 / $3; } else { ERROR(&@$, "Division by zero"); $$ = 0; } } | integer_mul '%' integer_unary { if ($3 != 0) { $$ = $1 % $3; } else { ERROR(&@$, "Division by zero"); $$ = 0; } } | integer_unary ;
integer_unary: integer_prim | '-' integer_unary { $$ = -$2; } | '~' integer_unary { $$ = ~$2; } | '!' integer_unary { $$ = !$2; } ;
bytestring: /* empty */ { $$ = data_add_marker(empty_data, TYPE_UINT8, NULL); } | bytestring DT_BYTE { $$ = data_append_byte($1, $2); } | bytestring DT_LABEL { $$ = data_add_marker($1, LABEL, $2); } ;
subnodes: /* empty */ { $$ = NULL; } | subnode subnodes { $$ = chain_node($1, $2); } | subnode propdef { ERROR(&@2, "Properties must precede subnodes"); YYERROR; } ;
subnode: DT_PROPNODENAME nodedef { $$ = name_node($2, $1); free($1); } | DT_DEL_NODE DT_PROPNODENAME ';' { $$ = name_node(build_node_delete(&@$), $2); free($2); } | DT_OMIT_NO_REF subnode { $$ = omit_node_if_unused($2); } | DT_LABEL subnode { add_label(&$2->labels, $1); $$ = $2; } ;
%%
void yyerror(char const *s){ ERROR(&yylloc, "%s", s);}