blob: 6a91b09954a65b6963b2ea9fb4cc68916db0f186 [file] [log] [blame]
Carl Worth3a37b872010-05-10 11:44:09 -07001%{
2/*
3 * Copyright © 2010 Intel Corporation
4 *
5 * Permission is hereby granted, free of charge, to any person obtaining a
6 * copy of this software and associated documentation files (the "Software"),
7 * to deal in the Software without restriction, including without limitation
8 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
9 * and/or sell copies of the Software, and to permit persons to whom the
10 * Software is furnished to do so, subject to the following conditions:
11 *
12 * The above copyright notice and this permission notice (including the next
13 * paragraph) shall be included in all copies or substantial portions of the
14 * Software.
15 *
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
21 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
22 * DEALINGS IN THE SOFTWARE.
23 */
24
25#include <stdio.h>
26#include <string.h>
Kenneth Graunke7e908a62010-07-02 15:31:26 -070027#include <ctype.h>
Carl Worth3a37b872010-05-10 11:44:09 -070028
Carl Wortha1e32bc2010-05-10 13:17:25 -070029#include "glcpp.h"
Carl Worth3a37b872010-05-10 11:44:09 -070030#include "glcpp-parse.h"
Kenneth Graunkedb938102010-06-16 17:41:12 -070031
32#define YY_USER_ACTION \
33 do { \
34 yylloc->source = 0; \
35 yylloc->first_column = yycolumn + 1; \
Kenneth Graunke8f322212010-06-18 15:23:50 -070036 yylloc->first_line = yylineno; \
Kenneth Graunkedb938102010-06-16 17:41:12 -070037 yycolumn += yyleng; \
38 } while(0);
Carl Worth3a37b872010-05-10 11:44:09 -070039%}
40
Kenneth Graunke465e03e2010-06-16 16:35:57 -070041%option bison-bridge bison-locations reentrant noyywrap
Carl Worth5070a202010-05-12 12:45:33 -070042%option extra-type="glcpp_parser_t *"
Kenneth Graunke254a4852010-06-16 11:51:43 -070043%option prefix="glcpp_"
Kenneth Graunkedb938102010-06-16 17:41:12 -070044%option stack
Carl Worth3a37b872010-05-10 11:44:09 -070045
Kenneth Graunkedb938102010-06-16 17:41:12 -070046%x DONE COMMENT
Kenneth Graunkef82d6732010-06-16 12:53:19 -070047
Carl Worth0b27b5f2010-05-10 16:16:06 -070048SPACE [[:space:]]
49NONSPACE [^[:space:]]
Carl Worth33cc4002010-05-12 12:17:10 -070050NEWLINE [\n]
Carl Worth0b27b5f2010-05-10 16:16:06 -070051HSPACE [ \t]
Carl Worthe36a4d52010-05-14 17:29:24 -070052HASH ^{HSPACE}*#{HSPACE}*
Carl Worth0b27b5f2010-05-10 16:16:06 -070053IDENTIFIER [_a-zA-Z][_a-zA-Z0-9]*
Carl Worth63101692010-05-29 05:07:24 -070054PUNCTUATION [][(){}.&*~!/%<>^|;,=+-]
Carl Worth3ff81672010-05-25 13:09:03 -070055OTHER [^][(){}.&*~!/%<>^|;,=#[:space:]+-]+
Carl Worth33cc4002010-05-12 12:17:10 -070056
Carl Worth03f6d5d2010-05-24 11:29:02 -070057DECIMAL_INTEGER [1-9][0-9]*[uU]?
58OCTAL_INTEGER 0[0-7]*[uU]?
59HEXADECIMAL_INTEGER 0[xX][0-9a-fA-F]+[uU]?
60
Carl Worth3a37b872010-05-10 11:44:09 -070061%%
62
Carl Worth25714152010-06-01 12:18:43 -070063 /* Single-line comments */
Kenneth Graunkee6ae7af2010-06-21 15:11:01 -070064"//"[^\n]*\n {
Kenneth Graunkedb938102010-06-16 17:41:12 -070065 yylineno++;
66 yycolumn = 0;
Carl Worth25714152010-06-01 12:18:43 -070067 return NEWLINE;
68}
69
70 /* Multi-line comments */
Kenneth Graunkedb938102010-06-16 17:41:12 -070071"/*" { yy_push_state(COMMENT, yyscanner); }
72<COMMENT>[^*\n]*
73<COMMENT>[^*\n]*\n { yylineno++; yycolumn = 0; }
74<COMMENT>"*"+[^*/\n]*
75<COMMENT>"*"+[^*/\n]*\n { yylineno++; yycolumn = 0; }
76<COMMENT>"*"+"/" {
77 yy_pop_state(yyscanner);
Carl Worth25714152010-06-01 12:18:43 -070078 if (yyextra->space_tokens)
79 return SPACE;
80}
81
Kenneth Graunke3b73ea32010-06-16 12:21:17 -070082 /* glcpp doesn't handle #extension, #version, or #pragma directives.
83 * Simply pass them through to the main compiler's lexer/parser. */
Kenneth Graunke03ee3382010-06-18 15:41:00 -070084{HASH}(extension|version|pragma)[^\n]+ {
Kenneth Graunkee0e429f2010-06-16 16:26:28 -070085 yylval->str = xtalloc_strdup (yyextra, yytext);
Kenneth Graunke8f322212010-06-18 15:23:50 -070086 yylineno++;
87 yycolumn = 0;
Kenneth Graunke3b73ea32010-06-16 12:21:17 -070088 return OTHER;
89}
90
Kenneth Graunke77260fc2010-06-17 14:36:34 -070091{HASH}ifdef/.*\n {
92 yyextra->space_tokens = 0;
93 return HASH_IFDEF;
94}
95
96{HASH}ifndef/.*\n {
97 yyextra->space_tokens = 0;
98 return HASH_IFNDEF;
99}
100
Kenneth Graunke12a820c2010-06-21 15:15:34 -0700101{HASH}if{HSPACE}/.*\n {
Carl Wortha771a402010-06-01 11:20:18 -0700102 yyextra->lexing_if = 1;
103 yyextra->space_tokens = 0;
104 return HASH_IF;
105}
106
107{HASH}elif/.*\n {
108 yyextra->lexing_if = 1;
109 yyextra->space_tokens = 0;
110 return HASH_ELIF;
111}
112
113{HASH}else/.*\n {
114 yyextra->space_tokens = 0;
115 return HASH_ELSE;
116}
117
118{HASH}endif/.*\n {
119 yyextra->space_tokens = 0;
120 return HASH_ENDIF;
121}
122
123 /* When skipping (due to an #if 0 or similar) consume anything
124 * up to a newline. We do this less priroty than any
125 * #if-related directive (#if, #elif, #else, #endif), but with
126 * more priority than any other directive or token to avoid
127 * any side-effects from skipped content.
128 *
129 * We use the lexing_if flag to avoid skipping any part of an
130 * if conditional expression. */
131[^\n]+/\n {
Kenneth Graunke8f322212010-06-18 15:23:50 -0700132 /* Since this rule always matches, YY_USER_ACTION gets called for it,
133 * wrongly incrementing yycolumn. We undo that effect here. */
134 yycolumn -= yyleng;
Carl Wortha771a402010-06-01 11:20:18 -0700135 if (yyextra->lexing_if ||
136 yyextra->skip_stack == NULL ||
137 yyextra->skip_stack->type == SKIP_NO_SKIP)
138 {
139 REJECT;
140 }
141}
142
Kenneth Graunke7e908a62010-07-02 15:31:26 -0700143{HASH}error.* {
144 char *p;
145 for (p = yytext; !isalpha(p[0]); p++); /* skip " # " */
146 p += 5; /* skip "error" */
147 glcpp_error(yylloc, yyextra, "#error%s", p);
148}
149
Carl Worth3ff81672010-05-25 13:09:03 -0700150{HASH}define{HSPACE}+/{IDENTIFIER}"(" {
Carl Worthf34a0002010-05-25 16:59:02 -0700151 yyextra->space_tokens = 0;
Carl Worth3ff81672010-05-25 13:09:03 -0700152 return HASH_DEFINE_FUNC;
Carl Worthb20d33c2010-05-20 22:27:07 -0700153}
154
Carl Worth3ff81672010-05-25 13:09:03 -0700155{HASH}define {
Carl Worthf34a0002010-05-25 16:59:02 -0700156 yyextra->space_tokens = 0;
Carl Worth3ff81672010-05-25 13:09:03 -0700157 return HASH_DEFINE_OBJ;
Carl Worthb20d33c2010-05-20 22:27:07 -0700158}
159
Carl Worth3ff81672010-05-25 13:09:03 -0700160{HASH}undef {
Carl Worthf34a0002010-05-25 16:59:02 -0700161 yyextra->space_tokens = 0;
Carl Worth3ff81672010-05-25 13:09:03 -0700162 return HASH_UNDEF;
Carl Worth03f6d5d2010-05-24 11:29:02 -0700163}
164
Carl Worth3ff81672010-05-25 13:09:03 -0700165{HASH} {
Carl Worthf34a0002010-05-25 16:59:02 -0700166 yyextra->space_tokens = 0;
Carl Worth3ff81672010-05-25 13:09:03 -0700167 return HASH;
Carl Worth81f01432010-05-14 17:08:45 -0700168}
169
Carl Worth8fed1cd2010-05-26 09:32:12 -0700170{DECIMAL_INTEGER} {
Kenneth Graunkee0e429f2010-06-16 16:26:28 -0700171 yylval->str = xtalloc_strdup (yyextra, yytext);
Carl Worth050e3de2010-05-27 14:36:29 -0700172 return INTEGER_STRING;
Carl Worth8fed1cd2010-05-26 09:32:12 -0700173}
174
175{OCTAL_INTEGER} {
Kenneth Graunkee0e429f2010-06-16 16:26:28 -0700176 yylval->str = xtalloc_strdup (yyextra, yytext);
Carl Worth050e3de2010-05-27 14:36:29 -0700177 return INTEGER_STRING;
Carl Worth8fed1cd2010-05-26 09:32:12 -0700178}
179
180{HEXADECIMAL_INTEGER} {
Kenneth Graunkee0e429f2010-06-16 16:26:28 -0700181 yylval->str = xtalloc_strdup (yyextra, yytext);
Carl Worth050e3de2010-05-27 14:36:29 -0700182 return INTEGER_STRING;
Carl Worth8fed1cd2010-05-26 09:32:12 -0700183}
184
Carl Worthf34a0002010-05-25 16:59:02 -0700185"<<" {
186 return LEFT_SHIFT;
Carl Worthb1854fd2010-05-25 16:28:26 -0700187}
188
Carl Worthf34a0002010-05-25 16:59:02 -0700189">>" {
190 return RIGHT_SHIFT;
Carl Worthb1854fd2010-05-25 16:28:26 -0700191}
192
Carl Worthf34a0002010-05-25 16:59:02 -0700193"<=" {
194 return LESS_OR_EQUAL;
195}
196
197">=" {
198 return GREATER_OR_EQUAL;
199}
200
201"==" {
202 return EQUAL;
203}
204
205"!=" {
206 return NOT_EQUAL;
207}
208
209"&&" {
210 return AND;
211}
212
213"||" {
214 return OR;
215}
216
217"##" {
218 return PASTE;
219}
220
Carl Worth8fed1cd2010-05-26 09:32:12 -0700221"defined" {
222 return DEFINED;
223}
224
Carl Worth16c1e982010-05-26 09:35:34 -0700225{IDENTIFIER} {
Kenneth Graunkee0e429f2010-06-16 16:26:28 -0700226 yylval->str = xtalloc_strdup (yyextra, yytext);
Carl Worth16c1e982010-05-26 09:35:34 -0700227 return IDENTIFIER;
228}
229
Carl Worthf34a0002010-05-25 16:59:02 -0700230{PUNCTUATION} {
231 return yytext[0];
Carl Worthb1854fd2010-05-25 16:28:26 -0700232}
233
Carl Worth9fb8b7a2010-05-25 15:04:32 -0700234{OTHER}+ {
Kenneth Graunkee0e429f2010-06-16 16:26:28 -0700235 yylval->str = xtalloc_strdup (yyextra, yytext);
Carl Worth9fb8b7a2010-05-25 15:04:32 -0700236 return OTHER;
Carl Worth3ff81672010-05-25 13:09:03 -0700237}
238
Carl Worth9fb8b7a2010-05-25 15:04:32 -0700239{HSPACE}+ {
Carl Worthf34a0002010-05-25 16:59:02 -0700240 if (yyextra->space_tokens) {
Carl Worthf34a0002010-05-25 16:59:02 -0700241 return SPACE;
242 }
Carl Worth0a93cbb2010-05-13 10:29:07 -0700243}
Carl Worthfcbbb462010-05-13 09:36:23 -0700244
Carl Worth3ff81672010-05-25 13:09:03 -0700245\n {
Carl Wortha771a402010-06-01 11:20:18 -0700246 yyextra->lexing_if = 0;
Kenneth Graunkedb938102010-06-16 17:41:12 -0700247 yylineno++;
248 yycolumn = 0;
Carl Worth3ff81672010-05-25 13:09:03 -0700249 return NEWLINE;
Carl Worth33cc4002010-05-12 12:17:10 -0700250}
Carl Worth3a37b872010-05-10 11:44:09 -0700251
Kenneth Graunkef82d6732010-06-16 12:53:19 -0700252 /* Handle missing newline at EOF. */
253<INITIAL><<EOF>> {
254 BEGIN DONE; /* Don't keep matching this rule forever. */
255 yyextra->lexing_if = 0;
256 return NEWLINE;
257}
258
Carl Worth3a37b872010-05-10 11:44:09 -0700259%%
Kenneth Graunke1b1f43e2010-06-16 12:01:17 -0700260
261void
262glcpp_lex_set_source_string(glcpp_parser_t *parser, const char *shader)
263{
264 yy_scan_string(shader, parser->scanner);
265}