On Fri, Feb 26, 2010 at 12:07:28PM -0700, Grant Likely wrote:
> syntax:
> 
> / {
>       child {
>               label: subchild {
>               };
>       };
> };
> 
> &label {
>       prop = "value";
> };
> 
> which will result in the following tree:
> / {
>       child {
>               label: subchild {
>                       prop = "value";
>               };
>       };
> };
> 
> ---
> 
> Hi Jon and David
> 
> This patch isn't quite finished yet, but I'm getting it out there for
> feedback.  In particular, I'm don't know how best to handle errors in
> livetree.c.  The way I'm currently handling it is calling yyerror()
> from livetree.c, which results in a compile warning.

Hrm, that's a bit ugly.

> I also don't yet have a test case for referencing a label that doesn't
> exist in the main tree.

Ah, yeah.  Testcases for incorrect input are often the fiddliest.

So, here's my counter-proposal.  By rearranging the grammar a little,
and putting the labelled merge logic into dtc-parser.y itself, it
accomplishes the same thing without the warning, and with a bit less
code.

Index: dtc/dtc-lexer.l
===================================================================
--- dtc.orig/dtc-lexer.l        2010-02-09 10:26:06.840350087 +1100
+++ dtc/dtc-lexer.l     2010-03-01 14:22:26.927391539 +1100
@@ -109,7 +109,7 @@ static int pop_input_file(void);
                        return DT_LITERAL;
                }
 
-\&{LABEL}      {       /* label reference */
+<*>\&{LABEL}   {       /* label reference */
                        DPRINT("Ref: %s\n", yytext+1);
                        yylval.labelref = xstrdup(yytext+1);
                        return DT_REF;
Index: dtc/dtc-parser.y
===================================================================
--- dtc.orig/dtc-parser.y       2010-02-26 10:40:00.136001074 +1100
+++ dtc/dtc-parser.y    2010-03-01 17:15:59.779380861 +1100
@@ -74,7 +74,6 @@ static unsigned long long eval_literal(c
 %type <prop> propdef
 %type <proplist> proplist
 
-%type <node> devicetree
 %type <node> devicetrees
 %type <node> nodedef
 %type <node> subnode
@@ -121,20 +120,25 @@ addr:
          ;
 
 devicetrees:
-         devicetree
+         '/' nodedef
                {
-                       $$ = $1;
+                       $$ = name_node($2, "");
                }
-       | devicetrees devicetree
+       | devicetrees '/' nodedef
                {
-                       $$ = merge_nodes($1, $2);
+                       $$ = merge_nodes($1, $3);
                }
-       ;
-
-devicetree:
-         '/' nodedef
+       | devicetrees DT_REF nodedef
                {
-                       $$ = name_node($2, "");
+                       struct node *target;
+
+                       target = get_node_by_label($1, $2);
+                       if (target)
+                               merge_nodes(target, $3);
+                       else
+                               yyerror("label does not exist in "
+                                       " node redefinition");
+                       $$ = $1;
                }
        ;
 
Index: dtc/tests/run_tests.sh
===================================================================
--- dtc.orig/tests/run_tests.sh 2010-03-01 14:21:48.607391244 +1100
+++ dtc/tests/run_tests.sh      2010-03-01 14:22:26.931385551 +1100
@@ -301,6 +301,8 @@ dtc_tests () {
     # Check merge/overlay functionality
     run_dtc_test -I dts -O dtb -o dtc_tree1_merge.test.dtb test_tree1_merge.dts
     tree1_tests dtc_tree1_merge.test.dtb test_tree1.dtb
+    run_dtc_test -I dts -O dtb -o dtc_tree1_merge_labelled.test.dtb 
test_tree1_merge_labelled.dts
+    tree1_tests dtc_tree1_merge_labelled.test.dtb test_tree1.dtb
     run_dtc_test -I dts -O dtb -o multilabel_merge.test.dtb 
multilabel_merge.dts
     run_test references multilabel.test.dtb
     run_test dtbs_equal_ordered multilabel.test.dtb multilabel_merge.test.dtb
Index: dtc/tests/test_tree1.dts
===================================================================
--- dtc.orig/tests/test_tree1.dts       2009-11-27 08:45:46.000000000 +1100
+++ dtc/tests/test_tree1.dts    2010-03-01 14:22:26.959424732 +1100
@@ -25,7 +25,7 @@
                linux,phandle = <0x2000>;
                prop-int = <123456789>;
 
-               subsubn...@0 {
+               ssn0: subsubn...@0 {
                        phandle = <0x2001>;
                        compatible = "subsubnode2", "subsubnode";
                        prop-int = <0726746425>;
Index: dtc/tests/test_tree1_merge.dts
===================================================================
--- dtc.orig/tests/test_tree1_merge.dts 2010-02-26 10:40:00.136001074 +1100
+++ dtc/tests/test_tree1_merge.dts      2010-03-01 14:22:26.967424771 +1100
@@ -34,12 +34,10 @@
                prop-int = [deadbeef];
        };
        subn...@2 {
-               subsubn...@0 {
+               ssn0: subsubn...@0 {
                        phandle = <0x2001>;
                        compatible = "subsubnode2", "subsubnode";
                        prop-int = <0726746425>;
                };
        };
 };
-
-
Index: dtc/tests/test_tree1_merge_labelled.dts
===================================================================
--- /dev/null   1970-01-01 00:00:00.000000000 +0000
+++ dtc/tests/test_tree1_merge_labelled.dts     2010-03-01 14:22:26.967424771 
+1100
@@ -0,0 +1,41 @@
+/dts-v1/;
+
+/memreserve/ 0xdeadbeef00000000 0x100000;
+/memreserve/ 123456789 010000;
+
+/ {
+       compatible = "test_tree1";
+       prop-int = <0xdeadbeef>;
+       prop-str = "hello world";
+
+       subn...@1 {
+               compatible = "subnode1";
+               prop-int = [deadbeef];
+
+               subsubnode {
+                       compatible = "subsubnode1", "subsubnode";
+                       prop-int = <0xdeadbeef>;
+               };
+
+               ss1 {
+               };
+       };
+
+       subn...@2 {
+               linux,phandle = <0x2000>;
+               prop-int = <123456789>;
+
+               ssn0: subsubn...@0 {
+                       phandle = <0x2001>;
+                       prop-int = <0xbad>;
+               };
+
+               ss2 {
+               };
+       };
+};
+
+&ssn0 {
+       compatible = "subsubnode2", "subsubnode";
+       prop-int = <0726746425>;
+};


-- 
David Gibson                    | I'll have my music baroque, and my code
david AT gibson.dropbear.id.au  | minimalist, thank you.  NOT _the_ _other_
                                | _way_ _around_!
http://www.ozlabs.org/~dgibson
_______________________________________________
devicetree-discuss mailing list
[email protected]
https://lists.ozlabs.org/listinfo/devicetree-discuss

Reply via email to