| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 1 | /* | 
|  | 2 | * (C) Copyright David Gibson <dwg@au1.ibm.com>, IBM Corporation.  2005. | 
|  | 3 | * | 
|  | 4 | * | 
|  | 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. | 
|  | 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 | 
|  | 19 | */ | 
|  | 20 |  | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 21 | %option noyywrap nounput noinput never-interactive | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 22 |  | 
|  | 23 | %x INCLUDE | 
|  | 24 | %x BYTESTRING | 
|  | 25 | %x PROPNODENAME | 
|  | 26 | %s V1 | 
|  | 27 |  | 
|  | 28 | PROPNODECHAR	[a-zA-Z0-9,._+*#?@-] | 
|  | 29 | PATHCHAR	({PROPNODECHAR}|[/]) | 
|  | 30 | LABEL		[a-zA-Z_][a-zA-Z0-9_]* | 
| David Gibson | ed95d74 | 2008-08-07 12:24:17 +1000 | [diff] [blame] | 31 | STRING		\"([^\\"]|\\.)*\" | 
|  | 32 | WS		[[:space:]] | 
|  | 33 | COMMENT		"/*"([^*]|\*+[^*/])*\*+"/" | 
|  | 34 | LINECOMMENT	"//".*\n | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 35 |  | 
|  | 36 | %{ | 
|  | 37 | #include "dtc.h" | 
|  | 38 | #include "srcpos.h" | 
|  | 39 | #include "dtc-parser.tab.h" | 
|  | 40 |  | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 41 | YYLTYPE yylloc; | 
|  | 42 |  | 
|  | 43 | /* CAUTION: this will stop working if we ever use yyless() or yyunput() */ | 
|  | 44 | #define	YY_USER_ACTION \ | 
|  | 45 | { \ | 
|  | 46 | srcpos_update(&yylloc, yytext, yyleng); \ | 
|  | 47 | } | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 48 |  | 
|  | 49 | /*#define LEXDEBUG	1*/ | 
|  | 50 |  | 
|  | 51 | #ifdef LEXDEBUG | 
|  | 52 | #define DPRINT(fmt, ...)	fprintf(stderr, fmt, ##__VA_ARGS__) | 
|  | 53 | #else | 
|  | 54 | #define DPRINT(fmt, ...)	do { } while (0) | 
|  | 55 | #endif | 
|  | 56 |  | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 57 | static int dts_version = 1; | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 58 |  | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 59 | #define BEGIN_DEFAULT()		DPRINT("<V1>\n"); \ | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 60 | BEGIN(V1); \ | 
| David Gibson | ed95d74 | 2008-08-07 12:24:17 +1000 | [diff] [blame] | 61 |  | 
|  | 62 | static void push_input_file(const char *filename); | 
|  | 63 | static int pop_input_file(void); | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 64 | %} | 
|  | 65 |  | 
|  | 66 | %% | 
| David Gibson | ed95d74 | 2008-08-07 12:24:17 +1000 | [diff] [blame] | 67 | <*>"/include/"{WS}*{STRING} { | 
|  | 68 | char *name = strchr(yytext, '\"') + 1; | 
|  | 69 | yytext[yyleng-1] = '\0'; | 
|  | 70 | push_input_file(name); | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 71 | } | 
|  | 72 |  | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 73 | <*><<EOF>>		{ | 
|  | 74 | if (!pop_input_file()) { | 
|  | 75 | yyterminate(); | 
|  | 76 | } | 
|  | 77 | } | 
|  | 78 |  | 
| David Gibson | ed95d74 | 2008-08-07 12:24:17 +1000 | [diff] [blame] | 79 | <*>{STRING}	{ | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 80 | DPRINT("String: %s\n", yytext); | 
|  | 81 | yylval.data = data_copy_escape_string(yytext+1, | 
|  | 82 | yyleng-2); | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 83 | return DT_STRING; | 
|  | 84 | } | 
|  | 85 |  | 
|  | 86 | <*>"/dts-v1/"	{ | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 87 | DPRINT("Keyword: /dts-v1/\n"); | 
|  | 88 | dts_version = 1; | 
|  | 89 | BEGIN_DEFAULT(); | 
|  | 90 | return DT_V1; | 
|  | 91 | } | 
|  | 92 |  | 
|  | 93 | <*>"/memreserve/"	{ | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 94 | DPRINT("Keyword: /memreserve/\n"); | 
|  | 95 | BEGIN_DEFAULT(); | 
|  | 96 | return DT_MEMRESERVE; | 
|  | 97 | } | 
|  | 98 |  | 
|  | 99 | <*>{LABEL}:	{ | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 100 | DPRINT("Label: %s\n", yytext); | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 101 | yylval.labelref = xstrdup(yytext); | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 102 | yylval.labelref[yyleng-1] = '\0'; | 
|  | 103 | return DT_LABEL; | 
|  | 104 | } | 
|  | 105 |  | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 106 | <V1>[0-9]+|0[xX][0-9a-fA-F]+      { | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 107 | yylval.literal = xstrdup(yytext); | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 108 | DPRINT("Literal: '%s'\n", yylval.literal); | 
|  | 109 | return DT_LITERAL; | 
|  | 110 | } | 
|  | 111 |  | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 112 | <*>\&{LABEL}	{	/* label reference */ | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 113 | DPRINT("Ref: %s\n", yytext+1); | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 114 | yylval.labelref = xstrdup(yytext+1); | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 115 | return DT_REF; | 
|  | 116 | } | 
|  | 117 |  | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 118 | <*>"&{/"{PATHCHAR}+\}	{	/* new-style path reference */ | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 119 | yytext[yyleng-1] = '\0'; | 
|  | 120 | DPRINT("Ref: %s\n", yytext+2); | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 121 | yylval.labelref = xstrdup(yytext+2); | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 122 | return DT_REF; | 
|  | 123 | } | 
|  | 124 |  | 
|  | 125 | <BYTESTRING>[0-9a-fA-F]{2} { | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 126 | yylval.byte = strtol(yytext, NULL, 16); | 
|  | 127 | DPRINT("Byte: %02x\n", (int)yylval.byte); | 
|  | 128 | return DT_BYTE; | 
|  | 129 | } | 
|  | 130 |  | 
|  | 131 | <BYTESTRING>"]"	{ | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 132 | DPRINT("/BYTESTRING\n"); | 
|  | 133 | BEGIN_DEFAULT(); | 
|  | 134 | return ']'; | 
|  | 135 | } | 
|  | 136 |  | 
|  | 137 | <PROPNODENAME>{PROPNODECHAR}+ { | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 138 | DPRINT("PropNodeName: %s\n", yytext); | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 139 | yylval.propnodename = xstrdup(yytext); | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 140 | BEGIN_DEFAULT(); | 
|  | 141 | return DT_PROPNODENAME; | 
|  | 142 | } | 
|  | 143 |  | 
| David Gibson | ed95d74 | 2008-08-07 12:24:17 +1000 | [diff] [blame] | 144 | "/incbin/"	{ | 
| David Gibson | ed95d74 | 2008-08-07 12:24:17 +1000 | [diff] [blame] | 145 | DPRINT("Binary Include\n"); | 
|  | 146 | return DT_INCBIN; | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 147 | } | 
|  | 148 |  | 
| David Gibson | ed95d74 | 2008-08-07 12:24:17 +1000 | [diff] [blame] | 149 | <*>{WS}+	/* eat whitespace */ | 
|  | 150 | <*>{COMMENT}+	/* eat C-style comments */ | 
|  | 151 | <*>{LINECOMMENT}+ /* eat C++-style comments */ | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 152 |  | 
|  | 153 | <*>.		{ | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 154 | DPRINT("Char: %c (\\x%02x)\n", yytext[0], | 
|  | 155 | (unsigned)yytext[0]); | 
|  | 156 | if (yytext[0] == '[') { | 
|  | 157 | DPRINT("<BYTESTRING>\n"); | 
|  | 158 | BEGIN(BYTESTRING); | 
|  | 159 | } | 
|  | 160 | if ((yytext[0] == '{') | 
|  | 161 | || (yytext[0] == ';')) { | 
|  | 162 | DPRINT("<PROPNODENAME>\n"); | 
|  | 163 | BEGIN(PROPNODENAME); | 
|  | 164 | } | 
|  | 165 | return yytext[0]; | 
|  | 166 | } | 
|  | 167 |  | 
|  | 168 | %% | 
|  | 169 |  | 
| David Gibson | ed95d74 | 2008-08-07 12:24:17 +1000 | [diff] [blame] | 170 | static void push_input_file(const char *filename) | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 171 | { | 
| David Gibson | ed95d74 | 2008-08-07 12:24:17 +1000 | [diff] [blame] | 172 | assert(filename); | 
|  | 173 |  | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 174 | srcfile_push(filename); | 
| David Gibson | ed95d74 | 2008-08-07 12:24:17 +1000 | [diff] [blame] | 175 |  | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 176 | yyin = current_srcfile->f; | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 177 |  | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 178 | yypush_buffer_state(yy_create_buffer(yyin, YY_BUF_SIZE)); | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 179 | } | 
|  | 180 |  | 
|  | 181 |  | 
| David Gibson | ed95d74 | 2008-08-07 12:24:17 +1000 | [diff] [blame] | 182 | static int pop_input_file(void) | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 183 | { | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 184 | if (srcfile_pop() == 0) | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 185 | return 0; | 
|  | 186 |  | 
| John Bonesio | 658f29a | 2010-11-17 15:28:20 -0800 | [diff] [blame] | 187 | yypop_buffer_state(); | 
|  | 188 | yyin = current_srcfile->f; | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 189 |  | 
| David Gibson | a4da2e3 | 2007-12-18 15:06:42 +1100 | [diff] [blame] | 190 | return 1; | 
|  | 191 | } |