1 //
2 // Copyright (C) 2002-2005 3Dlabs Inc. Ltd.
3 // Copyright (C) 2013 LunarG, Inc.
4 // Copyright (C) 2017 ARM Limited.
5 // Copyright (C) 2020 Google, Inc.
6 // Modifications Copyright (C) 2020 Advanced Micro Devices, Inc. All rights reserved.
7 //
8 // All rights reserved.
9 //
10 // Redistribution and use in source and binary forms, with or without
11 // modification, are permitted provided that the following conditions
12 // are met:
13 //
14 // Redistributions of source code must retain the above copyright
15 // notice, this list of conditions and the following disclaimer.
16 //
17 // Redistributions in binary form must reproduce the above
18 // copyright notice, this list of conditions and the following
19 // disclaimer in the documentation and/or other materials provided
20 // with the distribution.
21 //
22 // Neither the name of 3Dlabs Inc. Ltd. nor the names of its
23 // contributors may be used to endorse or promote products derived
24 // from this software without specific prior written permission.
25 //
26 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
27 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
28 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
29 // FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
30 // COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
31 // INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
32 // BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
33 // LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
34 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
35 // LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
36 // ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
37 // POSSIBILITY OF SUCH DAMAGE.
38 //
39
40 //
41 // GLSL scanning, leveraging the scanning done by the preprocessor.
42 //
43
44 #include <cstring>
45 #include <unordered_map>
46 #include <unordered_set>
47
48 #include "../Include/Types.h"
49 #include "SymbolTable.h"
50 #include "ParseHelper.h"
51 #include "attribute.h"
52 #include "glslang_tab.cpp.h"
53 #include "ScanContext.h"
54 #include "Scan.h"
55
56 // preprocessor includes
57 #include "preprocessor/PpContext.h"
58 #include "preprocessor/PpTokens.h"
59
60 // Required to avoid missing prototype warnings for some compilers
61 int yylex(YYSTYPE*, glslang::TParseContext&);
62
63 namespace glslang {
64
65 // read past any white space
consumeWhiteSpace(bool & foundNonSpaceTab)66 void TInputScanner::consumeWhiteSpace(bool& foundNonSpaceTab)
67 {
68 int c = peek(); // don't accidentally consume anything other than whitespace
69 while (c == ' ' || c == '\t' || c == '\r' || c == '\n') {
70 if (c == '\r' || c == '\n')
71 foundNonSpaceTab = true;
72 get();
73 c = peek();
74 }
75 }
76
77 // return true if a comment was actually consumed
consumeComment()78 bool TInputScanner::consumeComment()
79 {
80 if (peek() != '/')
81 return false;
82
83 get(); // consume the '/'
84 int c = peek();
85 if (c == '/') {
86
87 // a '//' style comment
88 get(); // consume the second '/'
89 c = get();
90 do {
91 while (c != EndOfInput && c != '\\' && c != '\r' && c != '\n')
92 c = get();
93
94 if (c == EndOfInput || c == '\r' || c == '\n') {
95 while (c == '\r' || c == '\n')
96 c = get();
97
98 // we reached the end of the comment
99 break;
100 } else {
101 // it's a '\', so we need to keep going, after skipping what's escaped
102
103 // read the skipped character
104 c = get();
105
106 // if it's a two-character newline, skip both characters
107 if (c == '\r' && peek() == '\n')
108 get();
109 c = get();
110 }
111 } while (true);
112
113 // put back the last non-comment character
114 if (c != EndOfInput)
115 unget();
116
117 return true;
118 } else if (c == '*') {
119
120 // a '/*' style comment
121 get(); // consume the '*'
122 c = get();
123 do {
124 while (c != EndOfInput && c != '*')
125 c = get();
126 if (c == '*') {
127 c = get();
128 if (c == '/')
129 break; // end of comment
130 // not end of comment
131 } else // end of input
132 break;
133 } while (true);
134
135 return true;
136 } else {
137 // it's not a comment, put the '/' back
138 unget();
139
140 return false;
141 }
142 }
143
144 // skip whitespace, then skip a comment, rinse, repeat
consumeWhitespaceComment(bool & foundNonSpaceTab)145 void TInputScanner::consumeWhitespaceComment(bool& foundNonSpaceTab)
146 {
147 do {
148 consumeWhiteSpace(foundNonSpaceTab);
149
150 // if not starting a comment now, then done
151 int c = peek();
152 if (c != '/' || c == EndOfInput)
153 return;
154
155 // skip potential comment
156 foundNonSpaceTab = true;
157 if (! consumeComment())
158 return;
159
160 } while (true);
161 }
162
163 // Returns true if there was non-white space (e.g., a comment, newline) before the #version
164 // or no #version was found; otherwise, returns false. There is no error case, it always
165 // succeeds, but will leave version == 0 if no #version was found.
166 //
167 // Sets notFirstToken based on whether tokens (beyond white space and comments)
168 // appeared before the #version.
169 //
170 // N.B. does not attempt to leave input in any particular known state. The assumption
171 // is that scanning will start anew, following the rules for the chosen version/profile,
172 // and with a corresponding parsing context.
173 //
scanVersion(int & version,EProfile & profile,bool & notFirstToken)174 bool TInputScanner::scanVersion(int& version, EProfile& profile, bool& notFirstToken)
175 {
176 // This function doesn't have to get all the semantics correct,
177 // just find the #version if there is a correct one present.
178 // The preprocessor will have the responsibility of getting all the semantics right.
179
180 bool versionNotFirst = false; // means not first WRT comments and white space, nothing more
181 notFirstToken = false; // means not first WRT to real tokens
182 version = 0; // means not found
183 profile = ENoProfile;
184
185 bool foundNonSpaceTab = false;
186 bool lookingInMiddle = false;
187 int c;
188 do {
189 if (lookingInMiddle) {
190 notFirstToken = true;
191 // make forward progress by finishing off the current line plus extra new lines
192 if (peek() != '\n' && peek() != '\r') {
193 do {
194 c = get();
195 } while (c != EndOfInput && c != '\n' && c != '\r');
196 }
197 while (peek() == '\n' || peek() == '\r')
198 get();
199 if (peek() == EndOfInput)
200 return true;
201 }
202 lookingInMiddle = true;
203
204 // Nominal start, skipping the desktop allowed comments and white space, but tracking if
205 // something else was found for ES:
206 consumeWhitespaceComment(foundNonSpaceTab);
207 if (foundNonSpaceTab)
208 versionNotFirst = true;
209
210 // "#"
211 if (get() != '#') {
212 versionNotFirst = true;
213 continue;
214 }
215
216 // whitespace
217 do {
218 c = get();
219 } while (c == ' ' || c == '\t');
220
221 // "version"
222 if ( c != 'v' ||
223 get() != 'e' ||
224 get() != 'r' ||
225 get() != 's' ||
226 get() != 'i' ||
227 get() != 'o' ||
228 get() != 'n') {
229 versionNotFirst = true;
230 continue;
231 }
232
233 // whitespace
234 do {
235 c = get();
236 } while (c == ' ' || c == '\t');
237
238 // version number
239 while (c >= '0' && c <= '9') {
240 version = 10 * version + (c - '0');
241 c = get();
242 }
243 if (version == 0) {
244 versionNotFirst = true;
245 continue;
246 }
247
248 // whitespace
249 while (c == ' ' || c == '\t')
250 c = get();
251
252 // profile
253 const int maxProfileLength = 13; // not including any 0
254 char profileString[maxProfileLength];
255 int profileLength;
256 for (profileLength = 0; profileLength < maxProfileLength; ++profileLength) {
257 if (c == EndOfInput || c == ' ' || c == '\t' || c == '\n' || c == '\r')
258 break;
259 profileString[profileLength] = (char)c;
260 c = get();
261 }
262 if (c != EndOfInput && c != ' ' && c != '\t' && c != '\n' && c != '\r') {
263 versionNotFirst = true;
264 continue;
265 }
266
267 if (profileLength == 2 && strncmp(profileString, "es", profileLength) == 0)
268 profile = EEsProfile;
269 else if (profileLength == 4 && strncmp(profileString, "core", profileLength) == 0)
270 profile = ECoreProfile;
271 else if (profileLength == 13 && strncmp(profileString, "compatibility", profileLength) == 0)
272 profile = ECompatibilityProfile;
273
274 return versionNotFirst;
275 } while (true);
276 }
277
278 // Fill this in when doing glslang-level scanning, to hand back to the parser.
279 class TParserToken {
280 public:
TParserToken(YYSTYPE & b)281 explicit TParserToken(YYSTYPE& b) : sType(b) { }
282
283 YYSTYPE& sType;
284 protected:
285 TParserToken(TParserToken&);
286 TParserToken& operator=(TParserToken&);
287 };
288
289 } // end namespace glslang
290
291 // This is the function the glslang parser (i.e., bison) calls to get its next token
yylex(YYSTYPE * glslangTokenDesc,glslang::TParseContext & parseContext)292 int yylex(YYSTYPE* glslangTokenDesc, glslang::TParseContext& parseContext)
293 {
294 glslang::TParserToken token(*glslangTokenDesc);
295
296 return parseContext.getScanContext()->tokenize(parseContext.getPpContext(), token);
297 }
298
299 namespace {
300
301 struct str_eq
302 {
operator ()__anon228f58180111::str_eq303 bool operator()(const char* lhs, const char* rhs) const
304 {
305 return strcmp(lhs, rhs) == 0;
306 }
307 };
308
309 struct str_hash
310 {
operator ()__anon228f58180111::str_hash311 size_t operator()(const char* str) const
312 {
313 // djb2
314 unsigned long hash = 5381;
315 int c;
316
317 while ((c = *str++) != 0)
318 hash = ((hash << 5) + hash) + c;
319
320 return hash;
321 }
322 };
323
324 // A single global usable by all threads, by all versions, by all languages.
325 // After a single process-level initialization, this is read only and thread safe
326 std::unordered_map<const char*, int, str_hash, str_eq>* KeywordMap = nullptr;
327 std::unordered_set<const char*, str_hash, str_eq>* ReservedSet = nullptr;
328
329 }
330
331 namespace glslang {
332
fillInKeywordMap()333 void TScanContext::fillInKeywordMap()
334 {
335 if (KeywordMap != nullptr) {
336 // this is really an error, as this should called only once per process
337 // but, the only risk is if two threads called simultaneously
338 return;
339 }
340 KeywordMap = new std::unordered_map<const char*, int, str_hash, str_eq>;
341
342 (*KeywordMap)["const"] = CONST;
343 (*KeywordMap)["uniform"] = UNIFORM;
344 (*KeywordMap)["tileImageEXT"] = TILEIMAGEEXT;
345 (*KeywordMap)["buffer"] = BUFFER;
346 (*KeywordMap)["in"] = IN;
347 (*KeywordMap)["out"] = OUT;
348 (*KeywordMap)["smooth"] = SMOOTH;
349 (*KeywordMap)["flat"] = FLAT;
350 (*KeywordMap)["centroid"] = CENTROID;
351 (*KeywordMap)["invariant"] = INVARIANT;
352 (*KeywordMap)["packed"] = PACKED;
353 (*KeywordMap)["resource"] = RESOURCE;
354 (*KeywordMap)["inout"] = INOUT;
355 (*KeywordMap)["struct"] = STRUCT;
356 (*KeywordMap)["break"] = BREAK;
357 (*KeywordMap)["continue"] = CONTINUE;
358 (*KeywordMap)["do"] = DO;
359 (*KeywordMap)["for"] = FOR;
360 (*KeywordMap)["while"] = WHILE;
361 (*KeywordMap)["switch"] = SWITCH;
362 (*KeywordMap)["case"] = CASE;
363 (*KeywordMap)["default"] = DEFAULT;
364 (*KeywordMap)["if"] = IF;
365 (*KeywordMap)["else"] = ELSE;
366 (*KeywordMap)["discard"] = DISCARD;
367 (*KeywordMap)["terminateInvocation"] = TERMINATE_INVOCATION;
368 (*KeywordMap)["terminateRayEXT"] = TERMINATE_RAY;
369 (*KeywordMap)["ignoreIntersectionEXT"] = IGNORE_INTERSECTION;
370 (*KeywordMap)["return"] = RETURN;
371 (*KeywordMap)["void"] = VOID;
372 (*KeywordMap)["bool"] = BOOL;
373 (*KeywordMap)["float"] = FLOAT;
374 (*KeywordMap)["int"] = INT;
375 (*KeywordMap)["bvec2"] = BVEC2;
376 (*KeywordMap)["bvec3"] = BVEC3;
377 (*KeywordMap)["bvec4"] = BVEC4;
378 (*KeywordMap)["vec2"] = VEC2;
379 (*KeywordMap)["vec3"] = VEC3;
380 (*KeywordMap)["vec4"] = VEC4;
381 (*KeywordMap)["ivec2"] = IVEC2;
382 (*KeywordMap)["ivec3"] = IVEC3;
383 (*KeywordMap)["ivec4"] = IVEC4;
384 (*KeywordMap)["mat2"] = MAT2;
385 (*KeywordMap)["mat3"] = MAT3;
386 (*KeywordMap)["mat4"] = MAT4;
387 (*KeywordMap)["true"] = BOOLCONSTANT;
388 (*KeywordMap)["false"] = BOOLCONSTANT;
389 (*KeywordMap)["layout"] = LAYOUT;
390 (*KeywordMap)["shared"] = SHARED;
391 (*KeywordMap)["highp"] = HIGH_PRECISION;
392 (*KeywordMap)["mediump"] = MEDIUM_PRECISION;
393 (*KeywordMap)["lowp"] = LOW_PRECISION;
394 (*KeywordMap)["superp"] = SUPERP;
395 (*KeywordMap)["precision"] = PRECISION;
396 (*KeywordMap)["mat2x2"] = MAT2X2;
397 (*KeywordMap)["mat2x3"] = MAT2X3;
398 (*KeywordMap)["mat2x4"] = MAT2X4;
399 (*KeywordMap)["mat3x2"] = MAT3X2;
400 (*KeywordMap)["mat3x3"] = MAT3X3;
401 (*KeywordMap)["mat3x4"] = MAT3X4;
402 (*KeywordMap)["mat4x2"] = MAT4X2;
403 (*KeywordMap)["mat4x3"] = MAT4X3;
404 (*KeywordMap)["mat4x4"] = MAT4X4;
405 (*KeywordMap)["uint"] = UINT;
406 (*KeywordMap)["uvec2"] = UVEC2;
407 (*KeywordMap)["uvec3"] = UVEC3;
408 (*KeywordMap)["uvec4"] = UVEC4;
409
410 (*KeywordMap)["nonuniformEXT"] = NONUNIFORM;
411 (*KeywordMap)["demote"] = DEMOTE;
412 (*KeywordMap)["attribute"] = ATTRIBUTE;
413 (*KeywordMap)["varying"] = VARYING;
414 (*KeywordMap)["noperspective"] = NOPERSPECTIVE;
415 (*KeywordMap)["coherent"] = COHERENT;
416 (*KeywordMap)["devicecoherent"] = DEVICECOHERENT;
417 (*KeywordMap)["queuefamilycoherent"] = QUEUEFAMILYCOHERENT;
418 (*KeywordMap)["workgroupcoherent"] = WORKGROUPCOHERENT;
419 (*KeywordMap)["subgroupcoherent"] = SUBGROUPCOHERENT;
420 (*KeywordMap)["shadercallcoherent"] = SHADERCALLCOHERENT;
421 (*KeywordMap)["nonprivate"] = NONPRIVATE;
422 (*KeywordMap)["restrict"] = RESTRICT;
423 (*KeywordMap)["readonly"] = READONLY;
424 (*KeywordMap)["writeonly"] = WRITEONLY;
425 (*KeywordMap)["atomic_uint"] = ATOMIC_UINT;
426 (*KeywordMap)["volatile"] = VOLATILE;
427 (*KeywordMap)["patch"] = PATCH;
428 (*KeywordMap)["sample"] = SAMPLE;
429 (*KeywordMap)["subroutine"] = SUBROUTINE;
430 (*KeywordMap)["dmat2"] = DMAT2;
431 (*KeywordMap)["dmat3"] = DMAT3;
432 (*KeywordMap)["dmat4"] = DMAT4;
433 (*KeywordMap)["dmat2x2"] = DMAT2X2;
434 (*KeywordMap)["dmat2x3"] = DMAT2X3;
435 (*KeywordMap)["dmat2x4"] = DMAT2X4;
436 (*KeywordMap)["dmat3x2"] = DMAT3X2;
437 (*KeywordMap)["dmat3x3"] = DMAT3X3;
438 (*KeywordMap)["dmat3x4"] = DMAT3X4;
439 (*KeywordMap)["dmat4x2"] = DMAT4X2;
440 (*KeywordMap)["dmat4x3"] = DMAT4X3;
441 (*KeywordMap)["dmat4x4"] = DMAT4X4;
442 (*KeywordMap)["image1D"] = IMAGE1D;
443 (*KeywordMap)["iimage1D"] = IIMAGE1D;
444 (*KeywordMap)["uimage1D"] = UIMAGE1D;
445 (*KeywordMap)["image2D"] = IMAGE2D;
446 (*KeywordMap)["iimage2D"] = IIMAGE2D;
447 (*KeywordMap)["uimage2D"] = UIMAGE2D;
448 (*KeywordMap)["image3D"] = IMAGE3D;
449 (*KeywordMap)["iimage3D"] = IIMAGE3D;
450 (*KeywordMap)["uimage3D"] = UIMAGE3D;
451 (*KeywordMap)["image2DRect"] = IMAGE2DRECT;
452 (*KeywordMap)["iimage2DRect"] = IIMAGE2DRECT;
453 (*KeywordMap)["uimage2DRect"] = UIMAGE2DRECT;
454 (*KeywordMap)["imageCube"] = IMAGECUBE;
455 (*KeywordMap)["iimageCube"] = IIMAGECUBE;
456 (*KeywordMap)["uimageCube"] = UIMAGECUBE;
457 (*KeywordMap)["imageBuffer"] = IMAGEBUFFER;
458 (*KeywordMap)["iimageBuffer"] = IIMAGEBUFFER;
459 (*KeywordMap)["uimageBuffer"] = UIMAGEBUFFER;
460 (*KeywordMap)["image1DArray"] = IMAGE1DARRAY;
461 (*KeywordMap)["iimage1DArray"] = IIMAGE1DARRAY;
462 (*KeywordMap)["uimage1DArray"] = UIMAGE1DARRAY;
463 (*KeywordMap)["image2DArray"] = IMAGE2DARRAY;
464 (*KeywordMap)["iimage2DArray"] = IIMAGE2DARRAY;
465 (*KeywordMap)["uimage2DArray"] = UIMAGE2DARRAY;
466 (*KeywordMap)["imageCubeArray"] = IMAGECUBEARRAY;
467 (*KeywordMap)["iimageCubeArray"] = IIMAGECUBEARRAY;
468 (*KeywordMap)["uimageCubeArray"] = UIMAGECUBEARRAY;
469 (*KeywordMap)["image2DMS"] = IMAGE2DMS;
470 (*KeywordMap)["iimage2DMS"] = IIMAGE2DMS;
471 (*KeywordMap)["uimage2DMS"] = UIMAGE2DMS;
472 (*KeywordMap)["image2DMSArray"] = IMAGE2DMSARRAY;
473 (*KeywordMap)["iimage2DMSArray"] = IIMAGE2DMSARRAY;
474 (*KeywordMap)["uimage2DMSArray"] = UIMAGE2DMSARRAY;
475 (*KeywordMap)["i64image1D"] = I64IMAGE1D;
476 (*KeywordMap)["u64image1D"] = U64IMAGE1D;
477 (*KeywordMap)["i64image2D"] = I64IMAGE2D;
478 (*KeywordMap)["u64image2D"] = U64IMAGE2D;
479 (*KeywordMap)["i64image3D"] = I64IMAGE3D;
480 (*KeywordMap)["u64image3D"] = U64IMAGE3D;
481 (*KeywordMap)["i64image2DRect"] = I64IMAGE2DRECT;
482 (*KeywordMap)["u64image2DRect"] = U64IMAGE2DRECT;
483 (*KeywordMap)["i64imageCube"] = I64IMAGECUBE;
484 (*KeywordMap)["u64imageCube"] = U64IMAGECUBE;
485 (*KeywordMap)["i64imageBuffer"] = I64IMAGEBUFFER;
486 (*KeywordMap)["u64imageBuffer"] = U64IMAGEBUFFER;
487 (*KeywordMap)["i64image1DArray"] = I64IMAGE1DARRAY;
488 (*KeywordMap)["u64image1DArray"] = U64IMAGE1DARRAY;
489 (*KeywordMap)["i64image2DArray"] = I64IMAGE2DARRAY;
490 (*KeywordMap)["u64image2DArray"] = U64IMAGE2DARRAY;
491 (*KeywordMap)["i64imageCubeArray"] = I64IMAGECUBEARRAY;
492 (*KeywordMap)["u64imageCubeArray"] = U64IMAGECUBEARRAY;
493 (*KeywordMap)["i64image2DMS"] = I64IMAGE2DMS;
494 (*KeywordMap)["u64image2DMS"] = U64IMAGE2DMS;
495 (*KeywordMap)["i64image2DMSArray"] = I64IMAGE2DMSARRAY;
496 (*KeywordMap)["u64image2DMSArray"] = U64IMAGE2DMSARRAY;
497 (*KeywordMap)["double"] = DOUBLE;
498 (*KeywordMap)["dvec2"] = DVEC2;
499 (*KeywordMap)["dvec3"] = DVEC3;
500 (*KeywordMap)["dvec4"] = DVEC4;
501 (*KeywordMap)["int64_t"] = INT64_T;
502 (*KeywordMap)["uint64_t"] = UINT64_T;
503 (*KeywordMap)["i64vec2"] = I64VEC2;
504 (*KeywordMap)["i64vec3"] = I64VEC3;
505 (*KeywordMap)["i64vec4"] = I64VEC4;
506 (*KeywordMap)["u64vec2"] = U64VEC2;
507 (*KeywordMap)["u64vec3"] = U64VEC3;
508 (*KeywordMap)["u64vec4"] = U64VEC4;
509
510 // GL_EXT_shader_explicit_arithmetic_types
511 (*KeywordMap)["int8_t"] = INT8_T;
512 (*KeywordMap)["i8vec2"] = I8VEC2;
513 (*KeywordMap)["i8vec3"] = I8VEC3;
514 (*KeywordMap)["i8vec4"] = I8VEC4;
515 (*KeywordMap)["uint8_t"] = UINT8_T;
516 (*KeywordMap)["u8vec2"] = U8VEC2;
517 (*KeywordMap)["u8vec3"] = U8VEC3;
518 (*KeywordMap)["u8vec4"] = U8VEC4;
519
520 (*KeywordMap)["int16_t"] = INT16_T;
521 (*KeywordMap)["i16vec2"] = I16VEC2;
522 (*KeywordMap)["i16vec3"] = I16VEC3;
523 (*KeywordMap)["i16vec4"] = I16VEC4;
524 (*KeywordMap)["uint16_t"] = UINT16_T;
525 (*KeywordMap)["u16vec2"] = U16VEC2;
526 (*KeywordMap)["u16vec3"] = U16VEC3;
527 (*KeywordMap)["u16vec4"] = U16VEC4;
528
529 (*KeywordMap)["int32_t"] = INT32_T;
530 (*KeywordMap)["i32vec2"] = I32VEC2;
531 (*KeywordMap)["i32vec3"] = I32VEC3;
532 (*KeywordMap)["i32vec4"] = I32VEC4;
533 (*KeywordMap)["uint32_t"] = UINT32_T;
534 (*KeywordMap)["u32vec2"] = U32VEC2;
535 (*KeywordMap)["u32vec3"] = U32VEC3;
536 (*KeywordMap)["u32vec4"] = U32VEC4;
537
538 (*KeywordMap)["float16_t"] = FLOAT16_T;
539 (*KeywordMap)["f16vec2"] = F16VEC2;
540 (*KeywordMap)["f16vec3"] = F16VEC3;
541 (*KeywordMap)["f16vec4"] = F16VEC4;
542 (*KeywordMap)["f16mat2"] = F16MAT2;
543 (*KeywordMap)["f16mat3"] = F16MAT3;
544 (*KeywordMap)["f16mat4"] = F16MAT4;
545 (*KeywordMap)["f16mat2x2"] = F16MAT2X2;
546 (*KeywordMap)["f16mat2x3"] = F16MAT2X3;
547 (*KeywordMap)["f16mat2x4"] = F16MAT2X4;
548 (*KeywordMap)["f16mat3x2"] = F16MAT3X2;
549 (*KeywordMap)["f16mat3x3"] = F16MAT3X3;
550 (*KeywordMap)["f16mat3x4"] = F16MAT3X4;
551 (*KeywordMap)["f16mat4x2"] = F16MAT4X2;
552 (*KeywordMap)["f16mat4x3"] = F16MAT4X3;
553 (*KeywordMap)["f16mat4x4"] = F16MAT4X4;
554
555 (*KeywordMap)["float32_t"] = FLOAT32_T;
556 (*KeywordMap)["f32vec2"] = F32VEC2;
557 (*KeywordMap)["f32vec3"] = F32VEC3;
558 (*KeywordMap)["f32vec4"] = F32VEC4;
559 (*KeywordMap)["f32mat2"] = F32MAT2;
560 (*KeywordMap)["f32mat3"] = F32MAT3;
561 (*KeywordMap)["f32mat4"] = F32MAT4;
562 (*KeywordMap)["f32mat2x2"] = F32MAT2X2;
563 (*KeywordMap)["f32mat2x3"] = F32MAT2X3;
564 (*KeywordMap)["f32mat2x4"] = F32MAT2X4;
565 (*KeywordMap)["f32mat3x2"] = F32MAT3X2;
566 (*KeywordMap)["f32mat3x3"] = F32MAT3X3;
567 (*KeywordMap)["f32mat3x4"] = F32MAT3X4;
568 (*KeywordMap)["f32mat4x2"] = F32MAT4X2;
569 (*KeywordMap)["f32mat4x3"] = F32MAT4X3;
570 (*KeywordMap)["f32mat4x4"] = F32MAT4X4;
571 (*KeywordMap)["float64_t"] = FLOAT64_T;
572 (*KeywordMap)["f64vec2"] = F64VEC2;
573 (*KeywordMap)["f64vec3"] = F64VEC3;
574 (*KeywordMap)["f64vec4"] = F64VEC4;
575 (*KeywordMap)["f64mat2"] = F64MAT2;
576 (*KeywordMap)["f64mat3"] = F64MAT3;
577 (*KeywordMap)["f64mat4"] = F64MAT4;
578 (*KeywordMap)["f64mat2x2"] = F64MAT2X2;
579 (*KeywordMap)["f64mat2x3"] = F64MAT2X3;
580 (*KeywordMap)["f64mat2x4"] = F64MAT2X4;
581 (*KeywordMap)["f64mat3x2"] = F64MAT3X2;
582 (*KeywordMap)["f64mat3x3"] = F64MAT3X3;
583 (*KeywordMap)["f64mat3x4"] = F64MAT3X4;
584 (*KeywordMap)["f64mat4x2"] = F64MAT4X2;
585 (*KeywordMap)["f64mat4x3"] = F64MAT4X3;
586 (*KeywordMap)["f64mat4x4"] = F64MAT4X4;
587
588 // GL_EXT_spirv_intrinsics
589 (*KeywordMap)["spirv_instruction"] = SPIRV_INSTRUCTION;
590 (*KeywordMap)["spirv_execution_mode"] = SPIRV_EXECUTION_MODE;
591 (*KeywordMap)["spirv_execution_mode_id"] = SPIRV_EXECUTION_MODE_ID;
592 (*KeywordMap)["spirv_decorate"] = SPIRV_DECORATE;
593 (*KeywordMap)["spirv_decorate_id"] = SPIRV_DECORATE_ID;
594 (*KeywordMap)["spirv_decorate_string"] = SPIRV_DECORATE_STRING;
595 (*KeywordMap)["spirv_type"] = SPIRV_TYPE;
596 (*KeywordMap)["spirv_storage_class"] = SPIRV_STORAGE_CLASS;
597 (*KeywordMap)["spirv_by_reference"] = SPIRV_BY_REFERENCE;
598 (*KeywordMap)["spirv_literal"] = SPIRV_LITERAL;
599
600 (*KeywordMap)["sampler2D"] = SAMPLER2D;
601 (*KeywordMap)["samplerCube"] = SAMPLERCUBE;
602 (*KeywordMap)["samplerCubeShadow"] = SAMPLERCUBESHADOW;
603 (*KeywordMap)["sampler2DArray"] = SAMPLER2DARRAY;
604 (*KeywordMap)["sampler2DArrayShadow"] = SAMPLER2DARRAYSHADOW;
605 (*KeywordMap)["isampler2D"] = ISAMPLER2D;
606 (*KeywordMap)["isampler3D"] = ISAMPLER3D;
607 (*KeywordMap)["isamplerCube"] = ISAMPLERCUBE;
608 (*KeywordMap)["isampler2DArray"] = ISAMPLER2DARRAY;
609 (*KeywordMap)["usampler2D"] = USAMPLER2D;
610 (*KeywordMap)["usampler3D"] = USAMPLER3D;
611 (*KeywordMap)["usamplerCube"] = USAMPLERCUBE;
612 (*KeywordMap)["usampler2DArray"] = USAMPLER2DARRAY;
613 (*KeywordMap)["sampler3D"] = SAMPLER3D;
614 (*KeywordMap)["sampler2DShadow"] = SAMPLER2DSHADOW;
615
616 (*KeywordMap)["texture2D"] = TEXTURE2D;
617 (*KeywordMap)["textureCube"] = TEXTURECUBE;
618 (*KeywordMap)["texture2DArray"] = TEXTURE2DARRAY;
619 (*KeywordMap)["itexture2D"] = ITEXTURE2D;
620 (*KeywordMap)["itexture3D"] = ITEXTURE3D;
621 (*KeywordMap)["itextureCube"] = ITEXTURECUBE;
622 (*KeywordMap)["itexture2DArray"] = ITEXTURE2DARRAY;
623 (*KeywordMap)["utexture2D"] = UTEXTURE2D;
624 (*KeywordMap)["utexture3D"] = UTEXTURE3D;
625 (*KeywordMap)["utextureCube"] = UTEXTURECUBE;
626 (*KeywordMap)["utexture2DArray"] = UTEXTURE2DARRAY;
627 (*KeywordMap)["texture3D"] = TEXTURE3D;
628
629 (*KeywordMap)["sampler"] = SAMPLER;
630 (*KeywordMap)["samplerShadow"] = SAMPLERSHADOW;
631
632 (*KeywordMap)["textureCubeArray"] = TEXTURECUBEARRAY;
633 (*KeywordMap)["itextureCubeArray"] = ITEXTURECUBEARRAY;
634 (*KeywordMap)["utextureCubeArray"] = UTEXTURECUBEARRAY;
635 (*KeywordMap)["samplerCubeArray"] = SAMPLERCUBEARRAY;
636 (*KeywordMap)["samplerCubeArrayShadow"] = SAMPLERCUBEARRAYSHADOW;
637 (*KeywordMap)["isamplerCubeArray"] = ISAMPLERCUBEARRAY;
638 (*KeywordMap)["usamplerCubeArray"] = USAMPLERCUBEARRAY;
639 (*KeywordMap)["sampler1DArrayShadow"] = SAMPLER1DARRAYSHADOW;
640 (*KeywordMap)["isampler1DArray"] = ISAMPLER1DARRAY;
641 (*KeywordMap)["usampler1D"] = USAMPLER1D;
642 (*KeywordMap)["isampler1D"] = ISAMPLER1D;
643 (*KeywordMap)["usampler1DArray"] = USAMPLER1DARRAY;
644 (*KeywordMap)["samplerBuffer"] = SAMPLERBUFFER;
645 (*KeywordMap)["isampler2DRect"] = ISAMPLER2DRECT;
646 (*KeywordMap)["usampler2DRect"] = USAMPLER2DRECT;
647 (*KeywordMap)["isamplerBuffer"] = ISAMPLERBUFFER;
648 (*KeywordMap)["usamplerBuffer"] = USAMPLERBUFFER;
649 (*KeywordMap)["sampler2DMS"] = SAMPLER2DMS;
650 (*KeywordMap)["isampler2DMS"] = ISAMPLER2DMS;
651 (*KeywordMap)["usampler2DMS"] = USAMPLER2DMS;
652 (*KeywordMap)["sampler2DMSArray"] = SAMPLER2DMSARRAY;
653 (*KeywordMap)["isampler2DMSArray"] = ISAMPLER2DMSARRAY;
654 (*KeywordMap)["usampler2DMSArray"] = USAMPLER2DMSARRAY;
655 (*KeywordMap)["sampler1D"] = SAMPLER1D;
656 (*KeywordMap)["sampler1DShadow"] = SAMPLER1DSHADOW;
657 (*KeywordMap)["sampler2DRect"] = SAMPLER2DRECT;
658 (*KeywordMap)["sampler2DRectShadow"] = SAMPLER2DRECTSHADOW;
659 (*KeywordMap)["sampler1DArray"] = SAMPLER1DARRAY;
660
661 (*KeywordMap)["samplerExternalOES"] = SAMPLEREXTERNALOES; // GL_OES_EGL_image_external
662
663 (*KeywordMap)["__samplerExternal2DY2YEXT"] = SAMPLEREXTERNAL2DY2YEXT; // GL_EXT_YUV_target
664
665 (*KeywordMap)["itexture1DArray"] = ITEXTURE1DARRAY;
666 (*KeywordMap)["utexture1D"] = UTEXTURE1D;
667 (*KeywordMap)["itexture1D"] = ITEXTURE1D;
668 (*KeywordMap)["utexture1DArray"] = UTEXTURE1DARRAY;
669 (*KeywordMap)["textureBuffer"] = TEXTUREBUFFER;
670 (*KeywordMap)["itexture2DRect"] = ITEXTURE2DRECT;
671 (*KeywordMap)["utexture2DRect"] = UTEXTURE2DRECT;
672 (*KeywordMap)["itextureBuffer"] = ITEXTUREBUFFER;
673 (*KeywordMap)["utextureBuffer"] = UTEXTUREBUFFER;
674 (*KeywordMap)["texture2DMS"] = TEXTURE2DMS;
675 (*KeywordMap)["itexture2DMS"] = ITEXTURE2DMS;
676 (*KeywordMap)["utexture2DMS"] = UTEXTURE2DMS;
677 (*KeywordMap)["texture2DMSArray"] = TEXTURE2DMSARRAY;
678 (*KeywordMap)["itexture2DMSArray"] = ITEXTURE2DMSARRAY;
679 (*KeywordMap)["utexture2DMSArray"] = UTEXTURE2DMSARRAY;
680 (*KeywordMap)["texture1D"] = TEXTURE1D;
681 (*KeywordMap)["texture2DRect"] = TEXTURE2DRECT;
682 (*KeywordMap)["texture1DArray"] = TEXTURE1DARRAY;
683
684 (*KeywordMap)["attachmentEXT"] = ATTACHMENTEXT;
685 (*KeywordMap)["iattachmentEXT"] = IATTACHMENTEXT;
686 (*KeywordMap)["uattachmentEXT"] = UATTACHMENTEXT;
687
688 (*KeywordMap)["subpassInput"] = SUBPASSINPUT;
689 (*KeywordMap)["subpassInputMS"] = SUBPASSINPUTMS;
690 (*KeywordMap)["isubpassInput"] = ISUBPASSINPUT;
691 (*KeywordMap)["isubpassInputMS"] = ISUBPASSINPUTMS;
692 (*KeywordMap)["usubpassInput"] = USUBPASSINPUT;
693 (*KeywordMap)["usubpassInputMS"] = USUBPASSINPUTMS;
694
695 (*KeywordMap)["f16sampler1D"] = F16SAMPLER1D;
696 (*KeywordMap)["f16sampler2D"] = F16SAMPLER2D;
697 (*KeywordMap)["f16sampler3D"] = F16SAMPLER3D;
698 (*KeywordMap)["f16sampler2DRect"] = F16SAMPLER2DRECT;
699 (*KeywordMap)["f16samplerCube"] = F16SAMPLERCUBE;
700 (*KeywordMap)["f16sampler1DArray"] = F16SAMPLER1DARRAY;
701 (*KeywordMap)["f16sampler2DArray"] = F16SAMPLER2DARRAY;
702 (*KeywordMap)["f16samplerCubeArray"] = F16SAMPLERCUBEARRAY;
703 (*KeywordMap)["f16samplerBuffer"] = F16SAMPLERBUFFER;
704 (*KeywordMap)["f16sampler2DMS"] = F16SAMPLER2DMS;
705 (*KeywordMap)["f16sampler2DMSArray"] = F16SAMPLER2DMSARRAY;
706 (*KeywordMap)["f16sampler1DShadow"] = F16SAMPLER1DSHADOW;
707 (*KeywordMap)["f16sampler2DShadow"] = F16SAMPLER2DSHADOW;
708 (*KeywordMap)["f16sampler2DRectShadow"] = F16SAMPLER2DRECTSHADOW;
709 (*KeywordMap)["f16samplerCubeShadow"] = F16SAMPLERCUBESHADOW;
710 (*KeywordMap)["f16sampler1DArrayShadow"] = F16SAMPLER1DARRAYSHADOW;
711 (*KeywordMap)["f16sampler2DArrayShadow"] = F16SAMPLER2DARRAYSHADOW;
712 (*KeywordMap)["f16samplerCubeArrayShadow"] = F16SAMPLERCUBEARRAYSHADOW;
713
714 (*KeywordMap)["f16image1D"] = F16IMAGE1D;
715 (*KeywordMap)["f16image2D"] = F16IMAGE2D;
716 (*KeywordMap)["f16image3D"] = F16IMAGE3D;
717 (*KeywordMap)["f16image2DRect"] = F16IMAGE2DRECT;
718 (*KeywordMap)["f16imageCube"] = F16IMAGECUBE;
719 (*KeywordMap)["f16image1DArray"] = F16IMAGE1DARRAY;
720 (*KeywordMap)["f16image2DArray"] = F16IMAGE2DARRAY;
721 (*KeywordMap)["f16imageCubeArray"] = F16IMAGECUBEARRAY;
722 (*KeywordMap)["f16imageBuffer"] = F16IMAGEBUFFER;
723 (*KeywordMap)["f16image2DMS"] = F16IMAGE2DMS;
724 (*KeywordMap)["f16image2DMSArray"] = F16IMAGE2DMSARRAY;
725
726 (*KeywordMap)["f16texture1D"] = F16TEXTURE1D;
727 (*KeywordMap)["f16texture2D"] = F16TEXTURE2D;
728 (*KeywordMap)["f16texture3D"] = F16TEXTURE3D;
729 (*KeywordMap)["f16texture2DRect"] = F16TEXTURE2DRECT;
730 (*KeywordMap)["f16textureCube"] = F16TEXTURECUBE;
731 (*KeywordMap)["f16texture1DArray"] = F16TEXTURE1DARRAY;
732 (*KeywordMap)["f16texture2DArray"] = F16TEXTURE2DARRAY;
733 (*KeywordMap)["f16textureCubeArray"] = F16TEXTURECUBEARRAY;
734 (*KeywordMap)["f16textureBuffer"] = F16TEXTUREBUFFER;
735 (*KeywordMap)["f16texture2DMS"] = F16TEXTURE2DMS;
736 (*KeywordMap)["f16texture2DMSArray"] = F16TEXTURE2DMSARRAY;
737
738 (*KeywordMap)["f16subpassInput"] = F16SUBPASSINPUT;
739 (*KeywordMap)["f16subpassInputMS"] = F16SUBPASSINPUTMS;
740 (*KeywordMap)["__explicitInterpAMD"] = EXPLICITINTERPAMD;
741 (*KeywordMap)["pervertexNV"] = PERVERTEXNV;
742 (*KeywordMap)["pervertexEXT"] = PERVERTEXEXT;
743 (*KeywordMap)["precise"] = PRECISE;
744
745 (*KeywordMap)["rayPayloadNV"] = PAYLOADNV;
746 (*KeywordMap)["rayPayloadEXT"] = PAYLOADEXT;
747 (*KeywordMap)["rayPayloadInNV"] = PAYLOADINNV;
748 (*KeywordMap)["rayPayloadInEXT"] = PAYLOADINEXT;
749 (*KeywordMap)["hitAttributeNV"] = HITATTRNV;
750 (*KeywordMap)["hitAttributeEXT"] = HITATTREXT;
751 (*KeywordMap)["callableDataNV"] = CALLDATANV;
752 (*KeywordMap)["callableDataEXT"] = CALLDATAEXT;
753 (*KeywordMap)["callableDataInNV"] = CALLDATAINNV;
754 (*KeywordMap)["callableDataInEXT"] = CALLDATAINEXT;
755 (*KeywordMap)["accelerationStructureNV"] = ACCSTRUCTNV;
756 (*KeywordMap)["accelerationStructureEXT"] = ACCSTRUCTEXT;
757 (*KeywordMap)["rayQueryEXT"] = RAYQUERYEXT;
758 (*KeywordMap)["perprimitiveNV"] = PERPRIMITIVENV;
759 (*KeywordMap)["perviewNV"] = PERVIEWNV;
760 (*KeywordMap)["taskNV"] = PERTASKNV;
761 (*KeywordMap)["perprimitiveEXT"] = PERPRIMITIVEEXT;
762 (*KeywordMap)["taskPayloadSharedEXT"] = TASKPAYLOADWORKGROUPEXT;
763
764 (*KeywordMap)["fcoopmatNV"] = FCOOPMATNV;
765 (*KeywordMap)["icoopmatNV"] = ICOOPMATNV;
766 (*KeywordMap)["ucoopmatNV"] = UCOOPMATNV;
767
768 (*KeywordMap)["coopmat"] = COOPMAT;
769
770 (*KeywordMap)["hitObjectNV"] = HITOBJECTNV;
771 (*KeywordMap)["hitObjectAttributeNV"] = HITOBJECTATTRNV;
772
773 ReservedSet = new std::unordered_set<const char*, str_hash, str_eq>;
774
775 ReservedSet->insert("common");
776 ReservedSet->insert("partition");
777 ReservedSet->insert("active");
778 ReservedSet->insert("asm");
779 ReservedSet->insert("class");
780 ReservedSet->insert("union");
781 ReservedSet->insert("enum");
782 ReservedSet->insert("typedef");
783 ReservedSet->insert("template");
784 ReservedSet->insert("this");
785 ReservedSet->insert("goto");
786 ReservedSet->insert("inline");
787 ReservedSet->insert("noinline");
788 ReservedSet->insert("public");
789 ReservedSet->insert("static");
790 ReservedSet->insert("extern");
791 ReservedSet->insert("external");
792 ReservedSet->insert("interface");
793 ReservedSet->insert("long");
794 ReservedSet->insert("short");
795 ReservedSet->insert("half");
796 ReservedSet->insert("fixed");
797 ReservedSet->insert("unsigned");
798 ReservedSet->insert("input");
799 ReservedSet->insert("output");
800 ReservedSet->insert("hvec2");
801 ReservedSet->insert("hvec3");
802 ReservedSet->insert("hvec4");
803 ReservedSet->insert("fvec2");
804 ReservedSet->insert("fvec3");
805 ReservedSet->insert("fvec4");
806 ReservedSet->insert("sampler3DRect");
807 ReservedSet->insert("filter");
808 ReservedSet->insert("sizeof");
809 ReservedSet->insert("cast");
810 ReservedSet->insert("namespace");
811 ReservedSet->insert("using");
812 }
813
deleteKeywordMap()814 void TScanContext::deleteKeywordMap()
815 {
816 delete KeywordMap;
817 KeywordMap = nullptr;
818 delete ReservedSet;
819 ReservedSet = nullptr;
820 }
821
822 // Called by yylex to get the next token.
823 // Returning 0 implies end of input.
tokenize(TPpContext * pp,TParserToken & token)824 int TScanContext::tokenize(TPpContext* pp, TParserToken& token)
825 {
826 do {
827 parserToken = &token;
828 TPpToken ppToken;
829 int token = pp->tokenize(ppToken);
830 if (token == EndOfInput)
831 return 0;
832
833 tokenText = ppToken.name;
834 loc = ppToken.loc;
835 parserToken->sType.lex.loc = loc;
836 switch (token) {
837 case ';': afterType = false; afterBuffer = false; return SEMICOLON;
838 case ',': afterType = false; return COMMA;
839 case ':': return COLON;
840 case '=': afterType = false; return EQUAL;
841 case '(': afterType = false; return LEFT_PAREN;
842 case ')': afterType = false; return RIGHT_PAREN;
843 case '.': field = true; return DOT;
844 case '!': return BANG;
845 case '-': return DASH;
846 case '~': return TILDE;
847 case '+': return PLUS;
848 case '*': return STAR;
849 case '/': return SLASH;
850 case '%': return PERCENT;
851 case '<': return LEFT_ANGLE;
852 case '>': return RIGHT_ANGLE;
853 case '|': return VERTICAL_BAR;
854 case '^': return CARET;
855 case '&': return AMPERSAND;
856 case '?': return QUESTION;
857 case '[': return LEFT_BRACKET;
858 case ']': return RIGHT_BRACKET;
859 case '{': afterStruct = false; afterBuffer = false; return LEFT_BRACE;
860 case '}': return RIGHT_BRACE;
861 case '\\':
862 parseContext.error(loc, "illegal use of escape character", "\\", "");
863 break;
864
865 case PPAtomAddAssign: return ADD_ASSIGN;
866 case PPAtomSubAssign: return SUB_ASSIGN;
867 case PPAtomMulAssign: return MUL_ASSIGN;
868 case PPAtomDivAssign: return DIV_ASSIGN;
869 case PPAtomModAssign: return MOD_ASSIGN;
870
871 case PpAtomRight: return RIGHT_OP;
872 case PpAtomLeft: return LEFT_OP;
873
874 case PpAtomRightAssign: return RIGHT_ASSIGN;
875 case PpAtomLeftAssign: return LEFT_ASSIGN;
876 case PpAtomAndAssign: return AND_ASSIGN;
877 case PpAtomOrAssign: return OR_ASSIGN;
878 case PpAtomXorAssign: return XOR_ASSIGN;
879
880 case PpAtomAnd: return AND_OP;
881 case PpAtomOr: return OR_OP;
882 case PpAtomXor: return XOR_OP;
883
884 case PpAtomEQ: return EQ_OP;
885 case PpAtomGE: return GE_OP;
886 case PpAtomNE: return NE_OP;
887 case PpAtomLE: return LE_OP;
888
889 case PpAtomDecrement: return DEC_OP;
890 case PpAtomIncrement: return INC_OP;
891
892 case PpAtomColonColon:
893 parseContext.error(loc, "not supported", "::", "");
894 break;
895
896 case PpAtomConstString: parserToken->sType.lex.string = NewPoolTString(tokenText); return STRING_LITERAL;
897 case PpAtomConstInt: parserToken->sType.lex.i = ppToken.ival; return INTCONSTANT;
898 case PpAtomConstUint: parserToken->sType.lex.i = ppToken.ival; return UINTCONSTANT;
899 case PpAtomConstFloat: parserToken->sType.lex.d = ppToken.dval; return FLOATCONSTANT;
900 case PpAtomConstInt16: parserToken->sType.lex.i = ppToken.ival; return INT16CONSTANT;
901 case PpAtomConstUint16: parserToken->sType.lex.i = ppToken.ival; return UINT16CONSTANT;
902 case PpAtomConstInt64: parserToken->sType.lex.i64 = ppToken.i64val; return INT64CONSTANT;
903 case PpAtomConstUint64: parserToken->sType.lex.i64 = ppToken.i64val; return UINT64CONSTANT;
904 case PpAtomConstDouble: parserToken->sType.lex.d = ppToken.dval; return DOUBLECONSTANT;
905 case PpAtomConstFloat16: parserToken->sType.lex.d = ppToken.dval; return FLOAT16CONSTANT;
906 case PpAtomIdentifier:
907 {
908 int token = tokenizeIdentifier();
909 field = false;
910 return token;
911 }
912
913 case EndOfInput: return 0;
914
915 default:
916 char buf[2];
917 buf[0] = (char)token;
918 buf[1] = 0;
919 parseContext.error(loc, "unexpected token", buf, "");
920 break;
921 }
922 } while (true);
923 }
924
tokenizeIdentifier()925 int TScanContext::tokenizeIdentifier()
926 {
927 if (ReservedSet->find(tokenText) != ReservedSet->end())
928 return reservedWord();
929
930 auto it = KeywordMap->find(tokenText);
931 if (it == KeywordMap->end()) {
932 // Should have an identifier of some sort
933 return identifierOrType();
934 }
935 keyword = it->second;
936
937 switch (keyword) {
938 case CONST:
939 case UNIFORM:
940 case TILEIMAGEEXT:
941 case IN:
942 case OUT:
943 case INOUT:
944 case BREAK:
945 case CONTINUE:
946 case DO:
947 case FOR:
948 case WHILE:
949 case IF:
950 case ELSE:
951 case DISCARD:
952 case RETURN:
953 case CASE:
954 return keyword;
955
956 case TERMINATE_INVOCATION:
957 if (!parseContext.extensionTurnedOn(E_GL_EXT_terminate_invocation))
958 return identifierOrType();
959 return keyword;
960
961 case TERMINATE_RAY:
962 case IGNORE_INTERSECTION:
963 if (!parseContext.extensionTurnedOn(E_GL_EXT_ray_tracing))
964 return identifierOrType();
965 return keyword;
966
967 case BUFFER:
968 afterBuffer = true;
969 if ((parseContext.isEsProfile() && parseContext.version < 310) ||
970 (!parseContext.isEsProfile() && (parseContext.version < 430 &&
971 !parseContext.extensionTurnedOn(E_GL_ARB_shader_storage_buffer_object))))
972 return identifierOrType();
973 return keyword;
974
975 case STRUCT:
976 afterStruct = true;
977 return keyword;
978
979 case SWITCH:
980 case DEFAULT:
981 if ((parseContext.isEsProfile() && parseContext.version < 300) ||
982 (!parseContext.isEsProfile() && parseContext.version < 130))
983 reservedWord();
984 return keyword;
985
986 case VOID:
987 case BOOL:
988 case FLOAT:
989 case INT:
990 case BVEC2:
991 case BVEC3:
992 case BVEC4:
993 case VEC2:
994 case VEC3:
995 case VEC4:
996 case IVEC2:
997 case IVEC3:
998 case IVEC4:
999 case MAT2:
1000 case MAT3:
1001 case MAT4:
1002 case SAMPLER2D:
1003 case SAMPLERCUBE:
1004 afterType = true;
1005 return keyword;
1006
1007 case BOOLCONSTANT:
1008 if (strcmp("true", tokenText) == 0)
1009 parserToken->sType.lex.b = true;
1010 else
1011 parserToken->sType.lex.b = false;
1012 return keyword;
1013
1014 case SMOOTH:
1015 if ((parseContext.isEsProfile() && parseContext.version < 300) ||
1016 (!parseContext.isEsProfile() && parseContext.version < 130))
1017 return identifierOrType();
1018 return keyword;
1019 case FLAT:
1020 if (parseContext.isEsProfile() && parseContext.version < 300)
1021 reservedWord();
1022 else if (!parseContext.isEsProfile() && parseContext.version < 130)
1023 return identifierOrType();
1024 return keyword;
1025 case CENTROID:
1026 if (parseContext.version < 120)
1027 return identifierOrType();
1028 return keyword;
1029 case INVARIANT:
1030 if (!parseContext.isEsProfile() && parseContext.version < 120)
1031 return identifierOrType();
1032 return keyword;
1033 case PACKED:
1034 if ((parseContext.isEsProfile() && parseContext.version < 300) ||
1035 (!parseContext.isEsProfile() && parseContext.version < 140))
1036 return reservedWord();
1037 return identifierOrType();
1038
1039 case RESOURCE:
1040 {
1041 bool reserved = (parseContext.isEsProfile() && parseContext.version >= 300) ||
1042 (!parseContext.isEsProfile() && parseContext.version >= 420);
1043 return identifierOrReserved(reserved);
1044 }
1045 case SUPERP:
1046 {
1047 bool reserved = parseContext.isEsProfile() || parseContext.version >= 130;
1048 return identifierOrReserved(reserved);
1049 }
1050
1051 case NOPERSPECTIVE:
1052 if (parseContext.extensionTurnedOn(E_GL_NV_shader_noperspective_interpolation))
1053 return keyword;
1054 return es30ReservedFromGLSL(130);
1055
1056 case NONUNIFORM:
1057 if (parseContext.extensionTurnedOn(E_GL_EXT_nonuniform_qualifier))
1058 return keyword;
1059 else
1060 return identifierOrType();
1061 case ATTRIBUTE:
1062 case VARYING:
1063 if (parseContext.isEsProfile() && parseContext.version >= 300)
1064 reservedWord();
1065 return keyword;
1066 case PAYLOADNV:
1067 case PAYLOADINNV:
1068 case HITATTRNV:
1069 case CALLDATANV:
1070 case CALLDATAINNV:
1071 case ACCSTRUCTNV:
1072 if (parseContext.symbolTable.atBuiltInLevel() ||
1073 parseContext.extensionTurnedOn(E_GL_NV_ray_tracing))
1074 return keyword;
1075 return identifierOrType();
1076 case ACCSTRUCTEXT:
1077 if (parseContext.symbolTable.atBuiltInLevel() ||
1078 parseContext.extensionTurnedOn(E_GL_EXT_ray_tracing) ||
1079 parseContext.extensionTurnedOn(E_GL_EXT_ray_query) ||
1080 parseContext.extensionTurnedOn(E_GL_NV_displacement_micromap))
1081 return keyword;
1082 return identifierOrType();
1083 case PAYLOADEXT:
1084 case PAYLOADINEXT:
1085 case HITATTREXT:
1086 case CALLDATAEXT:
1087 case CALLDATAINEXT:
1088 if (parseContext.symbolTable.atBuiltInLevel() ||
1089 parseContext.extensionTurnedOn(E_GL_EXT_ray_tracing) ||
1090 parseContext.extensionTurnedOn(E_GL_EXT_ray_query))
1091 return keyword;
1092 return identifierOrType();
1093 case RAYQUERYEXT:
1094 if (parseContext.symbolTable.atBuiltInLevel() ||
1095 (!parseContext.isEsProfile() && parseContext.version >= 460
1096 && parseContext.extensionTurnedOn(E_GL_EXT_ray_query)))
1097 return keyword;
1098 return identifierOrType();
1099 case ATOMIC_UINT:
1100 if ((parseContext.isEsProfile() && parseContext.version >= 310) ||
1101 parseContext.extensionTurnedOn(E_GL_ARB_shader_atomic_counters))
1102 return keyword;
1103 return es30ReservedFromGLSL(420);
1104
1105 case COHERENT:
1106 case DEVICECOHERENT:
1107 case QUEUEFAMILYCOHERENT:
1108 case WORKGROUPCOHERENT:
1109 case SUBGROUPCOHERENT:
1110 case SHADERCALLCOHERENT:
1111 case NONPRIVATE:
1112 case RESTRICT:
1113 case READONLY:
1114 case WRITEONLY:
1115 if (parseContext.isEsProfile() && parseContext.version >= 310)
1116 return keyword;
1117 return es30ReservedFromGLSL(parseContext.extensionTurnedOn(E_GL_ARB_shader_image_load_store) ? 130 : 420);
1118 case VOLATILE:
1119 if (parseContext.isEsProfile() && parseContext.version >= 310)
1120 return keyword;
1121 if (! parseContext.symbolTable.atBuiltInLevel() && (parseContext.isEsProfile() ||
1122 (parseContext.version < 420 && ! parseContext.extensionTurnedOn(E_GL_ARB_shader_image_load_store))))
1123 reservedWord();
1124 return keyword;
1125 case PATCH:
1126 if (parseContext.symbolTable.atBuiltInLevel() ||
1127 (parseContext.isEsProfile() &&
1128 (parseContext.version >= 320 ||
1129 parseContext.extensionsTurnedOn(Num_AEP_tessellation_shader, AEP_tessellation_shader))) ||
1130 (!parseContext.isEsProfile() && parseContext.extensionTurnedOn(E_GL_ARB_tessellation_shader)))
1131 return keyword;
1132
1133 return es30ReservedFromGLSL(400);
1134
1135 case SAMPLE:
1136 if ((parseContext.isEsProfile() && parseContext.version >= 320) ||
1137 parseContext.extensionsTurnedOn(1, &E_GL_OES_shader_multisample_interpolation))
1138 return keyword;
1139 return es30ReservedFromGLSL(400);
1140
1141 case SUBROUTINE:
1142 return es30ReservedFromGLSL(400);
1143
1144 case SHARED:
1145 if ((parseContext.isEsProfile() && parseContext.version < 300) ||
1146 (!parseContext.isEsProfile() && parseContext.version < 140))
1147 return identifierOrType();
1148 return keyword;
1149 case LAYOUT:
1150 {
1151 const int numLayoutExts = 2;
1152 const char* layoutExts[numLayoutExts] = { E_GL_ARB_shading_language_420pack,
1153 E_GL_ARB_explicit_attrib_location };
1154 if ((parseContext.isEsProfile() && parseContext.version < 300) ||
1155 (!parseContext.isEsProfile() && parseContext.version < 140 &&
1156 ! parseContext.extensionsTurnedOn(numLayoutExts, layoutExts)))
1157 return identifierOrType();
1158 return keyword;
1159 }
1160
1161 case HIGH_PRECISION:
1162 case MEDIUM_PRECISION:
1163 case LOW_PRECISION:
1164 case PRECISION:
1165 return precisionKeyword();
1166
1167 case MAT2X2:
1168 case MAT2X3:
1169 case MAT2X4:
1170 case MAT3X2:
1171 case MAT3X3:
1172 case MAT3X4:
1173 case MAT4X2:
1174 case MAT4X3:
1175 case MAT4X4:
1176 return matNxM();
1177
1178 case DMAT2:
1179 case DMAT3:
1180 case DMAT4:
1181 case DMAT2X2:
1182 case DMAT2X3:
1183 case DMAT2X4:
1184 case DMAT3X2:
1185 case DMAT3X3:
1186 case DMAT3X4:
1187 case DMAT4X2:
1188 case DMAT4X3:
1189 case DMAT4X4:
1190 return dMat();
1191
1192 case IMAGE1D:
1193 case IIMAGE1D:
1194 case UIMAGE1D:
1195 case IMAGE1DARRAY:
1196 case IIMAGE1DARRAY:
1197 case UIMAGE1DARRAY:
1198 case IMAGE2DRECT:
1199 case IIMAGE2DRECT:
1200 case UIMAGE2DRECT:
1201 afterType = true;
1202 return firstGenerationImage(false);
1203
1204 case I64IMAGE1D:
1205 case U64IMAGE1D:
1206 case I64IMAGE1DARRAY:
1207 case U64IMAGE1DARRAY:
1208 case I64IMAGE2DRECT:
1209 case U64IMAGE2DRECT:
1210 afterType = true;
1211 if (parseContext.symbolTable.atBuiltInLevel() ||
1212 parseContext.extensionTurnedOn(E_GL_EXT_shader_image_int64)) {
1213 return firstGenerationImage(false);
1214 }
1215 return identifierOrType();
1216
1217 case IMAGEBUFFER:
1218 case IIMAGEBUFFER:
1219 case UIMAGEBUFFER:
1220 afterType = true;
1221 if ((parseContext.isEsProfile() && parseContext.version >= 320) ||
1222 parseContext.extensionsTurnedOn(Num_AEP_texture_buffer, AEP_texture_buffer))
1223 return keyword;
1224 return firstGenerationImage(false);
1225
1226 case I64IMAGEBUFFER:
1227 case U64IMAGEBUFFER:
1228 afterType = true;
1229 if (parseContext.symbolTable.atBuiltInLevel() ||
1230 parseContext.extensionTurnedOn(E_GL_EXT_shader_image_int64)) {
1231 if ((parseContext.isEsProfile() && parseContext.version >= 320) ||
1232 parseContext.extensionsTurnedOn(Num_AEP_texture_buffer, AEP_texture_buffer))
1233 return keyword;
1234 return firstGenerationImage(false);
1235 }
1236 return identifierOrType();
1237
1238 case IMAGE2D:
1239 case IIMAGE2D:
1240 case UIMAGE2D:
1241 case IMAGE3D:
1242 case IIMAGE3D:
1243 case UIMAGE3D:
1244 case IMAGECUBE:
1245 case IIMAGECUBE:
1246 case UIMAGECUBE:
1247 case IMAGE2DARRAY:
1248 case IIMAGE2DARRAY:
1249 case UIMAGE2DARRAY:
1250 afterType = true;
1251 return firstGenerationImage(true);
1252
1253 case I64IMAGE2D:
1254 case U64IMAGE2D:
1255 case I64IMAGE3D:
1256 case U64IMAGE3D:
1257 case I64IMAGECUBE:
1258 case U64IMAGECUBE:
1259 case I64IMAGE2DARRAY:
1260 case U64IMAGE2DARRAY:
1261 afterType = true;
1262 if (parseContext.symbolTable.atBuiltInLevel() ||
1263 parseContext.extensionTurnedOn(E_GL_EXT_shader_image_int64))
1264 return firstGenerationImage(true);
1265 return identifierOrType();
1266
1267 case IMAGECUBEARRAY:
1268 case IIMAGECUBEARRAY:
1269 case UIMAGECUBEARRAY:
1270 afterType = true;
1271 if ((parseContext.isEsProfile() && parseContext.version >= 320) ||
1272 parseContext.extensionsTurnedOn(Num_AEP_texture_cube_map_array, AEP_texture_cube_map_array))
1273 return keyword;
1274 return secondGenerationImage();
1275
1276 case I64IMAGECUBEARRAY:
1277 case U64IMAGECUBEARRAY:
1278 afterType = true;
1279 if (parseContext.symbolTable.atBuiltInLevel() ||
1280 parseContext.extensionTurnedOn(E_GL_EXT_shader_image_int64)) {
1281 if ((parseContext.isEsProfile() && parseContext.version >= 320) ||
1282 parseContext.extensionsTurnedOn(Num_AEP_texture_cube_map_array, AEP_texture_cube_map_array))
1283 return keyword;
1284 return secondGenerationImage();
1285 }
1286 return identifierOrType();
1287
1288 case IMAGE2DMS:
1289 case IIMAGE2DMS:
1290 case UIMAGE2DMS:
1291 case IMAGE2DMSARRAY:
1292 case IIMAGE2DMSARRAY:
1293 case UIMAGE2DMSARRAY:
1294 afterType = true;
1295 return secondGenerationImage();
1296
1297 case I64IMAGE2DMS:
1298 case U64IMAGE2DMS:
1299 case I64IMAGE2DMSARRAY:
1300 case U64IMAGE2DMSARRAY:
1301 afterType = true;
1302 if (parseContext.symbolTable.atBuiltInLevel() ||
1303 parseContext.extensionTurnedOn(E_GL_EXT_shader_image_int64)) {
1304 return secondGenerationImage();
1305 }
1306 return identifierOrType();
1307
1308 case DOUBLE:
1309 case DVEC2:
1310 case DVEC3:
1311 case DVEC4:
1312 afterType = true;
1313 if (parseContext.isEsProfile() || parseContext.version < 150 ||
1314 (!parseContext.symbolTable.atBuiltInLevel() &&
1315 (parseContext.version < 400 && !parseContext.extensionTurnedOn(E_GL_ARB_gpu_shader_fp64) &&
1316 (parseContext.version < 410 && !parseContext.extensionTurnedOn(E_GL_ARB_vertex_attrib_64bit)))))
1317 reservedWord();
1318 return keyword;
1319
1320 case INT64_T:
1321 case UINT64_T:
1322 case I64VEC2:
1323 case I64VEC3:
1324 case I64VEC4:
1325 case U64VEC2:
1326 case U64VEC3:
1327 case U64VEC4:
1328 afterType = true;
1329 if (parseContext.symbolTable.atBuiltInLevel() ||
1330 parseContext.extensionTurnedOn(E_GL_ARB_gpu_shader_int64) ||
1331 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types) ||
1332 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types_int64))
1333 return keyword;
1334 return identifierOrType();
1335
1336 case INT8_T:
1337 case UINT8_T:
1338 case I8VEC2:
1339 case I8VEC3:
1340 case I8VEC4:
1341 case U8VEC2:
1342 case U8VEC3:
1343 case U8VEC4:
1344 afterType = true;
1345 if (parseContext.symbolTable.atBuiltInLevel() ||
1346 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types) ||
1347 parseContext.extensionTurnedOn(E_GL_EXT_shader_8bit_storage) ||
1348 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types_int8))
1349 return keyword;
1350 return identifierOrType();
1351
1352 case INT16_T:
1353 case UINT16_T:
1354 case I16VEC2:
1355 case I16VEC3:
1356 case I16VEC4:
1357 case U16VEC2:
1358 case U16VEC3:
1359 case U16VEC4:
1360 afterType = true;
1361 if (parseContext.symbolTable.atBuiltInLevel() ||
1362 parseContext.extensionTurnedOn(E_GL_AMD_gpu_shader_int16) ||
1363 parseContext.extensionTurnedOn(E_GL_EXT_shader_16bit_storage) ||
1364 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types) ||
1365 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types_int16))
1366 return keyword;
1367 return identifierOrType();
1368 case INT32_T:
1369 case UINT32_T:
1370 case I32VEC2:
1371 case I32VEC3:
1372 case I32VEC4:
1373 case U32VEC2:
1374 case U32VEC3:
1375 case U32VEC4:
1376 afterType = true;
1377 if (parseContext.symbolTable.atBuiltInLevel() ||
1378 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types) ||
1379 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types_int32))
1380 return keyword;
1381 return identifierOrType();
1382 case FLOAT32_T:
1383 case F32VEC2:
1384 case F32VEC3:
1385 case F32VEC4:
1386 case F32MAT2:
1387 case F32MAT3:
1388 case F32MAT4:
1389 case F32MAT2X2:
1390 case F32MAT2X3:
1391 case F32MAT2X4:
1392 case F32MAT3X2:
1393 case F32MAT3X3:
1394 case F32MAT3X4:
1395 case F32MAT4X2:
1396 case F32MAT4X3:
1397 case F32MAT4X4:
1398 afterType = true;
1399 if (parseContext.symbolTable.atBuiltInLevel() ||
1400 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types) ||
1401 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types_float32))
1402 return keyword;
1403 return identifierOrType();
1404
1405 case FLOAT64_T:
1406 case F64VEC2:
1407 case F64VEC3:
1408 case F64VEC4:
1409 case F64MAT2:
1410 case F64MAT3:
1411 case F64MAT4:
1412 case F64MAT2X2:
1413 case F64MAT2X3:
1414 case F64MAT2X4:
1415 case F64MAT3X2:
1416 case F64MAT3X3:
1417 case F64MAT3X4:
1418 case F64MAT4X2:
1419 case F64MAT4X3:
1420 case F64MAT4X4:
1421 afterType = true;
1422 if (parseContext.symbolTable.atBuiltInLevel() ||
1423 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types) ||
1424 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types_float64))
1425 return keyword;
1426 return identifierOrType();
1427
1428 case FLOAT16_T:
1429 case F16VEC2:
1430 case F16VEC3:
1431 case F16VEC4:
1432 afterType = true;
1433 if (parseContext.symbolTable.atBuiltInLevel() ||
1434 parseContext.extensionTurnedOn(E_GL_AMD_gpu_shader_half_float) ||
1435 parseContext.extensionTurnedOn(E_GL_EXT_shader_16bit_storage) ||
1436 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types) ||
1437 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types_float16))
1438 return keyword;
1439
1440 return identifierOrType();
1441
1442 case F16MAT2:
1443 case F16MAT3:
1444 case F16MAT4:
1445 case F16MAT2X2:
1446 case F16MAT2X3:
1447 case F16MAT2X4:
1448 case F16MAT3X2:
1449 case F16MAT3X3:
1450 case F16MAT3X4:
1451 case F16MAT4X2:
1452 case F16MAT4X3:
1453 case F16MAT4X4:
1454 afterType = true;
1455 if (parseContext.symbolTable.atBuiltInLevel() ||
1456 parseContext.extensionTurnedOn(E_GL_AMD_gpu_shader_half_float) ||
1457 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types) ||
1458 parseContext.extensionTurnedOn(E_GL_EXT_shader_explicit_arithmetic_types_float16))
1459 return keyword;
1460
1461 return identifierOrType();
1462
1463 case SAMPLERCUBEARRAY:
1464 case SAMPLERCUBEARRAYSHADOW:
1465 case ISAMPLERCUBEARRAY:
1466 case USAMPLERCUBEARRAY:
1467 afterType = true;
1468 if ((parseContext.isEsProfile() && parseContext.version >= 320) ||
1469 parseContext.extensionsTurnedOn(Num_AEP_texture_cube_map_array, AEP_texture_cube_map_array))
1470 return keyword;
1471 if (parseContext.isEsProfile() || (parseContext.version < 400 && ! parseContext.extensionTurnedOn(E_GL_ARB_texture_cube_map_array)))
1472 reservedWord();
1473 return keyword;
1474
1475 case TEXTURECUBEARRAY:
1476 case ITEXTURECUBEARRAY:
1477 case UTEXTURECUBEARRAY:
1478 if (parseContext.spvVersion.vulkan > 0)
1479 return keyword;
1480 else
1481 return identifierOrType();
1482
1483 case UINT:
1484 case UVEC2:
1485 case UVEC3:
1486 case UVEC4:
1487 case SAMPLERCUBESHADOW:
1488 case SAMPLER2DARRAY:
1489 case SAMPLER2DARRAYSHADOW:
1490 case ISAMPLER2D:
1491 case ISAMPLER3D:
1492 case ISAMPLERCUBE:
1493 case ISAMPLER2DARRAY:
1494 case USAMPLER2D:
1495 case USAMPLER3D:
1496 case USAMPLERCUBE:
1497 case USAMPLER2DARRAY:
1498 afterType = true;
1499 if (keyword == SAMPLER2DARRAY || keyword == SAMPLER2DARRAYSHADOW) {
1500 if (!parseContext.isEsProfile() &&
1501 (parseContext.extensionTurnedOn(E_GL_EXT_texture_array) || parseContext.symbolTable.atBuiltInLevel())) {
1502 return keyword;
1503 }
1504 }
1505 return nonreservedKeyword(300, 130);
1506
1507 case SAMPLER3D:
1508 afterType = true;
1509 if (parseContext.isEsProfile() && parseContext.version < 300) {
1510 if (!parseContext.extensionTurnedOn(E_GL_OES_texture_3D))
1511 reservedWord();
1512 }
1513 return keyword;
1514
1515 case SAMPLER2DSHADOW:
1516 afterType = true;
1517 if (parseContext.isEsProfile() && parseContext.version < 300) {
1518 if (!parseContext.extensionTurnedOn(E_GL_EXT_shadow_samplers))
1519 reservedWord();
1520 }
1521 return keyword;
1522
1523 case TEXTURE2D:
1524 case TEXTURECUBE:
1525 case TEXTURE2DARRAY:
1526 case ITEXTURE2D:
1527 case ITEXTURE3D:
1528 case ITEXTURECUBE:
1529 case ITEXTURE2DARRAY:
1530 case UTEXTURE2D:
1531 case UTEXTURE3D:
1532 case UTEXTURECUBE:
1533 case UTEXTURE2DARRAY:
1534 case TEXTURE3D:
1535 case SAMPLER:
1536 case SAMPLERSHADOW:
1537 if (parseContext.spvVersion.vulkan > 0)
1538 return keyword;
1539 else
1540 return identifierOrType();
1541
1542 case ISAMPLER1D:
1543 case ISAMPLER1DARRAY:
1544 case SAMPLER1DARRAYSHADOW:
1545 case USAMPLER1D:
1546 case USAMPLER1DARRAY:
1547 afterType = true;
1548 if (keyword == SAMPLER1DARRAYSHADOW) {
1549 if (!parseContext.isEsProfile() &&
1550 (parseContext.extensionTurnedOn(E_GL_EXT_texture_array) || parseContext.symbolTable.atBuiltInLevel())) {
1551 return keyword;
1552 }
1553 }
1554 return es30ReservedFromGLSL(130);
1555 case ISAMPLER2DRECT:
1556 case USAMPLER2DRECT:
1557 afterType = true;
1558 return es30ReservedFromGLSL(140);
1559
1560 case SAMPLERBUFFER:
1561 afterType = true;
1562 if ((parseContext.isEsProfile() && parseContext.version >= 320) ||
1563 parseContext.extensionsTurnedOn(Num_AEP_texture_buffer, AEP_texture_buffer))
1564 return keyword;
1565 return es30ReservedFromGLSL(130);
1566
1567 case ISAMPLERBUFFER:
1568 case USAMPLERBUFFER:
1569 afterType = true;
1570 if ((parseContext.isEsProfile() && parseContext.version >= 320) ||
1571 parseContext.extensionsTurnedOn(Num_AEP_texture_buffer, AEP_texture_buffer))
1572 return keyword;
1573 return es30ReservedFromGLSL(140);
1574
1575 case SAMPLER2DMS:
1576 case ISAMPLER2DMS:
1577 case USAMPLER2DMS:
1578 afterType = true;
1579 if (parseContext.isEsProfile() && parseContext.version >= 310)
1580 return keyword;
1581 if (!parseContext.isEsProfile() && (parseContext.version > 140 ||
1582 (parseContext.version == 140 && parseContext.extensionsTurnedOn(1, &E_GL_ARB_texture_multisample))))
1583 return keyword;
1584 return es30ReservedFromGLSL(150);
1585
1586 case SAMPLER2DMSARRAY:
1587 case ISAMPLER2DMSARRAY:
1588 case USAMPLER2DMSARRAY:
1589 afterType = true;
1590 if ((parseContext.isEsProfile() && parseContext.version >= 320) ||
1591 parseContext.extensionsTurnedOn(1, &E_GL_OES_texture_storage_multisample_2d_array))
1592 return keyword;
1593 if (!parseContext.isEsProfile() && (parseContext.version > 140 ||
1594 (parseContext.version == 140 && parseContext.extensionsTurnedOn(1, &E_GL_ARB_texture_multisample))))
1595 return keyword;
1596 return es30ReservedFromGLSL(150);
1597
1598 case SAMPLER1D:
1599 case SAMPLER1DSHADOW:
1600 afterType = true;
1601 if (parseContext.isEsProfile())
1602 reservedWord();
1603 return keyword;
1604
1605 case SAMPLER2DRECT:
1606 case SAMPLER2DRECTSHADOW:
1607 afterType = true;
1608 if (parseContext.isEsProfile())
1609 reservedWord();
1610 else if (parseContext.version < 140 && ! parseContext.symbolTable.atBuiltInLevel() && ! parseContext.extensionTurnedOn(E_GL_ARB_texture_rectangle)) {
1611 if (parseContext.relaxedErrors())
1612 parseContext.requireExtensions(loc, 1, &E_GL_ARB_texture_rectangle, "texture-rectangle sampler keyword");
1613 else
1614 reservedWord();
1615 }
1616 return keyword;
1617
1618 case SAMPLER1DARRAY:
1619 afterType = true;
1620 if (parseContext.isEsProfile() && parseContext.version == 300)
1621 reservedWord();
1622 else if ((parseContext.isEsProfile() && parseContext.version < 300) ||
1623 ((!parseContext.isEsProfile() && parseContext.version < 130) &&
1624 !parseContext.symbolTable.atBuiltInLevel() &&
1625 !parseContext.extensionTurnedOn(E_GL_EXT_texture_array)))
1626 return identifierOrType();
1627 return keyword;
1628
1629 case SAMPLEREXTERNALOES:
1630 afterType = true;
1631 if (parseContext.symbolTable.atBuiltInLevel() ||
1632 parseContext.extensionTurnedOn(E_GL_OES_EGL_image_external) ||
1633 parseContext.extensionTurnedOn(E_GL_OES_EGL_image_external_essl3))
1634 return keyword;
1635 return identifierOrType();
1636
1637 case SAMPLEREXTERNAL2DY2YEXT:
1638 afterType = true;
1639 if (parseContext.symbolTable.atBuiltInLevel() ||
1640 parseContext.extensionTurnedOn(E_GL_EXT_YUV_target))
1641 return keyword;
1642 return identifierOrType();
1643
1644 case ITEXTURE1DARRAY:
1645 case UTEXTURE1D:
1646 case ITEXTURE1D:
1647 case UTEXTURE1DARRAY:
1648 case TEXTUREBUFFER:
1649 case ITEXTURE2DRECT:
1650 case UTEXTURE2DRECT:
1651 case ITEXTUREBUFFER:
1652 case UTEXTUREBUFFER:
1653 case TEXTURE2DMS:
1654 case ITEXTURE2DMS:
1655 case UTEXTURE2DMS:
1656 case TEXTURE2DMSARRAY:
1657 case ITEXTURE2DMSARRAY:
1658 case UTEXTURE2DMSARRAY:
1659 case TEXTURE1D:
1660 case TEXTURE2DRECT:
1661 case TEXTURE1DARRAY:
1662 if (parseContext.spvVersion.vulkan > 0)
1663 return keyword;
1664 else
1665 return identifierOrType();
1666
1667 case SUBPASSINPUT:
1668 case SUBPASSINPUTMS:
1669 case ISUBPASSINPUT:
1670 case ISUBPASSINPUTMS:
1671 case USUBPASSINPUT:
1672 case USUBPASSINPUTMS:
1673 case ATTACHMENTEXT:
1674 case IATTACHMENTEXT:
1675 case UATTACHMENTEXT:
1676 if (parseContext.spvVersion.vulkan > 0)
1677 return keyword;
1678 else
1679 return identifierOrType();
1680
1681 case F16SAMPLER1D:
1682 case F16SAMPLER2D:
1683 case F16SAMPLER3D:
1684 case F16SAMPLER2DRECT:
1685 case F16SAMPLERCUBE:
1686 case F16SAMPLER1DARRAY:
1687 case F16SAMPLER2DARRAY:
1688 case F16SAMPLERCUBEARRAY:
1689 case F16SAMPLERBUFFER:
1690 case F16SAMPLER2DMS:
1691 case F16SAMPLER2DMSARRAY:
1692 case F16SAMPLER1DSHADOW:
1693 case F16SAMPLER2DSHADOW:
1694 case F16SAMPLER1DARRAYSHADOW:
1695 case F16SAMPLER2DARRAYSHADOW:
1696 case F16SAMPLER2DRECTSHADOW:
1697 case F16SAMPLERCUBESHADOW:
1698 case F16SAMPLERCUBEARRAYSHADOW:
1699
1700 case F16IMAGE1D:
1701 case F16IMAGE2D:
1702 case F16IMAGE3D:
1703 case F16IMAGE2DRECT:
1704 case F16IMAGECUBE:
1705 case F16IMAGE1DARRAY:
1706 case F16IMAGE2DARRAY:
1707 case F16IMAGECUBEARRAY:
1708 case F16IMAGEBUFFER:
1709 case F16IMAGE2DMS:
1710 case F16IMAGE2DMSARRAY:
1711
1712 case F16TEXTURE1D:
1713 case F16TEXTURE2D:
1714 case F16TEXTURE3D:
1715 case F16TEXTURE2DRECT:
1716 case F16TEXTURECUBE:
1717 case F16TEXTURE1DARRAY:
1718 case F16TEXTURE2DARRAY:
1719 case F16TEXTURECUBEARRAY:
1720 case F16TEXTUREBUFFER:
1721 case F16TEXTURE2DMS:
1722 case F16TEXTURE2DMSARRAY:
1723
1724 case F16SUBPASSINPUT:
1725 case F16SUBPASSINPUTMS:
1726 afterType = true;
1727 if (parseContext.symbolTable.atBuiltInLevel() ||
1728 parseContext.extensionTurnedOn(E_GL_AMD_gpu_shader_half_float_fetch))
1729 return keyword;
1730 return identifierOrType();
1731
1732 case EXPLICITINTERPAMD:
1733 if (parseContext.extensionTurnedOn(E_GL_AMD_shader_explicit_vertex_parameter))
1734 return keyword;
1735 return identifierOrType();
1736
1737 case PERVERTEXNV:
1738 if ((!parseContext.isEsProfile() && parseContext.version >= 450) ||
1739 parseContext.extensionTurnedOn(E_GL_NV_fragment_shader_barycentric))
1740 return keyword;
1741 return identifierOrType();
1742
1743 case PERVERTEXEXT:
1744 if ((!parseContext.isEsProfile() && parseContext.version >= 450) ||
1745 parseContext.extensionTurnedOn(E_GL_EXT_fragment_shader_barycentric))
1746 return keyword;
1747 return identifierOrType();
1748
1749 case PRECISE:
1750 if ((parseContext.isEsProfile() &&
1751 (parseContext.version >= 320 || parseContext.extensionsTurnedOn(Num_AEP_gpu_shader5, AEP_gpu_shader5))) ||
1752 (!parseContext.isEsProfile() && parseContext.version >= 400))
1753 return keyword;
1754 if (parseContext.isEsProfile() && parseContext.version == 310) {
1755 reservedWord();
1756 return keyword;
1757 }
1758 return identifierOrType();
1759
1760 case PERPRIMITIVENV:
1761 case PERVIEWNV:
1762 case PERTASKNV:
1763 if (parseContext.symbolTable.atBuiltInLevel() ||
1764 parseContext.extensionTurnedOn(E_GL_NV_mesh_shader))
1765 return keyword;
1766 return identifierOrType();
1767
1768 case PERPRIMITIVEEXT:
1769 case TASKPAYLOADWORKGROUPEXT:
1770 if (parseContext.symbolTable.atBuiltInLevel() ||
1771 parseContext.extensionTurnedOn(E_GL_EXT_mesh_shader))
1772 return keyword;
1773 return identifierOrType();
1774
1775 case FCOOPMATNV:
1776 afterType = true;
1777 if (parseContext.symbolTable.atBuiltInLevel() ||
1778 parseContext.extensionTurnedOn(E_GL_NV_cooperative_matrix))
1779 return keyword;
1780 return identifierOrType();
1781
1782 case UCOOPMATNV:
1783 case ICOOPMATNV:
1784 afterType = true;
1785 if (parseContext.symbolTable.atBuiltInLevel() ||
1786 parseContext.extensionTurnedOn(E_GL_NV_integer_cooperative_matrix))
1787 return keyword;
1788 return identifierOrType();
1789
1790 case COOPMAT:
1791 afterType = true;
1792 if (parseContext.symbolTable.atBuiltInLevel() ||
1793 parseContext.extensionTurnedOn(E_GL_KHR_cooperative_matrix))
1794 return keyword;
1795 return identifierOrType();
1796
1797 case DEMOTE:
1798 if (parseContext.extensionTurnedOn(E_GL_EXT_demote_to_helper_invocation))
1799 return keyword;
1800 else
1801 return identifierOrType();
1802
1803 case SPIRV_INSTRUCTION:
1804 case SPIRV_EXECUTION_MODE:
1805 case SPIRV_EXECUTION_MODE_ID:
1806 case SPIRV_DECORATE:
1807 case SPIRV_DECORATE_ID:
1808 case SPIRV_DECORATE_STRING:
1809 case SPIRV_TYPE:
1810 case SPIRV_STORAGE_CLASS:
1811 case SPIRV_BY_REFERENCE:
1812 case SPIRV_LITERAL:
1813 if (parseContext.symbolTable.atBuiltInLevel() ||
1814 parseContext.extensionTurnedOn(E_GL_EXT_spirv_intrinsics))
1815 return keyword;
1816 return identifierOrType();
1817
1818 case HITOBJECTNV:
1819 if (parseContext.symbolTable.atBuiltInLevel() ||
1820 (!parseContext.isEsProfile() && parseContext.version >= 460
1821 && parseContext.extensionTurnedOn(E_GL_NV_shader_invocation_reorder)))
1822 return keyword;
1823 return identifierOrType();
1824
1825 case HITOBJECTATTRNV:
1826 if (parseContext.symbolTable.atBuiltInLevel() ||
1827 (!parseContext.isEsProfile() && parseContext.version >= 460
1828 && parseContext.extensionTurnedOn(E_GL_NV_shader_invocation_reorder)))
1829 return keyword;
1830 return identifierOrType();
1831
1832 default:
1833 parseContext.infoSink.info.message(EPrefixInternalError, "Unknown glslang keyword", loc);
1834 return 0;
1835 }
1836 }
1837
identifierOrType()1838 int TScanContext::identifierOrType()
1839 {
1840 parserToken->sType.lex.string = NewPoolTString(tokenText);
1841 if (field)
1842 return IDENTIFIER;
1843
1844 parserToken->sType.lex.symbol = parseContext.symbolTable.find(*parserToken->sType.lex.string);
1845 if ((afterType == false && afterStruct == false) && parserToken->sType.lex.symbol != nullptr) {
1846 if (const TVariable* variable = parserToken->sType.lex.symbol->getAsVariable()) {
1847 if (variable->isUserType() &&
1848 // treat redeclaration of forward-declared buffer/uniform reference as an identifier
1849 !(variable->getType().isReference() && afterBuffer)) {
1850 afterType = true;
1851
1852 return TYPE_NAME;
1853 }
1854 }
1855 }
1856
1857 return IDENTIFIER;
1858 }
1859
1860 // Give an error for use of a reserved symbol.
1861 // However, allow built-in declarations to use reserved words, to allow
1862 // extension support before the extension is enabled.
reservedWord()1863 int TScanContext::reservedWord()
1864 {
1865 if (! parseContext.symbolTable.atBuiltInLevel())
1866 parseContext.error(loc, "Reserved word.", tokenText, "", "");
1867
1868 return 0;
1869 }
1870
identifierOrReserved(bool reserved)1871 int TScanContext::identifierOrReserved(bool reserved)
1872 {
1873 if (reserved) {
1874 reservedWord();
1875
1876 return 0;
1877 }
1878
1879 if (parseContext.isForwardCompatible())
1880 parseContext.warn(loc, "using future reserved keyword", tokenText, "");
1881
1882 return identifierOrType();
1883 }
1884
1885 // For keywords that suddenly showed up on non-ES (not previously reserved)
1886 // but then got reserved by ES 3.0.
es30ReservedFromGLSL(int version)1887 int TScanContext::es30ReservedFromGLSL(int version)
1888 {
1889 if (parseContext.symbolTable.atBuiltInLevel())
1890 return keyword;
1891
1892 if ((parseContext.isEsProfile() && parseContext.version < 300) ||
1893 (!parseContext.isEsProfile() && parseContext.version < version)) {
1894 if (parseContext.isForwardCompatible())
1895 parseContext.warn(loc, "future reserved word in ES 300 and keyword in GLSL", tokenText, "");
1896
1897 return identifierOrType();
1898 } else if (parseContext.isEsProfile() && parseContext.version >= 300)
1899 reservedWord();
1900
1901 return keyword;
1902 }
1903
1904 // For a keyword that was never reserved, until it suddenly
1905 // showed up, both in an es version and a non-ES version.
nonreservedKeyword(int esVersion,int nonEsVersion)1906 int TScanContext::nonreservedKeyword(int esVersion, int nonEsVersion)
1907 {
1908 if ((parseContext.isEsProfile() && parseContext.version < esVersion) ||
1909 (!parseContext.isEsProfile() && parseContext.version < nonEsVersion)) {
1910 if (parseContext.isForwardCompatible())
1911 parseContext.warn(loc, "using future keyword", tokenText, "");
1912
1913 return identifierOrType();
1914 }
1915
1916 return keyword;
1917 }
1918
precisionKeyword()1919 int TScanContext::precisionKeyword()
1920 {
1921 if (parseContext.isEsProfile() || parseContext.version >= 130)
1922 return keyword;
1923
1924 if (parseContext.isForwardCompatible())
1925 parseContext.warn(loc, "using ES precision qualifier keyword", tokenText, "");
1926
1927 return identifierOrType();
1928 }
1929
matNxM()1930 int TScanContext::matNxM()
1931 {
1932 afterType = true;
1933
1934 if (parseContext.version > 110)
1935 return keyword;
1936
1937 if (parseContext.isForwardCompatible())
1938 parseContext.warn(loc, "using future non-square matrix type keyword", tokenText, "");
1939
1940 return identifierOrType();
1941 }
1942
dMat()1943 int TScanContext::dMat()
1944 {
1945 afterType = true;
1946
1947 if (parseContext.isEsProfile() && parseContext.version >= 300) {
1948 reservedWord();
1949
1950 return keyword;
1951 }
1952
1953 if (!parseContext.isEsProfile() && (parseContext.version >= 400 ||
1954 parseContext.symbolTable.atBuiltInLevel() ||
1955 (parseContext.version >= 150 && parseContext.extensionTurnedOn(E_GL_ARB_gpu_shader_fp64)) ||
1956 (parseContext.version >= 150 && parseContext.extensionTurnedOn(E_GL_ARB_vertex_attrib_64bit)
1957 && parseContext.language == EShLangVertex)))
1958 return keyword;
1959
1960 if (parseContext.isForwardCompatible())
1961 parseContext.warn(loc, "using future type keyword", tokenText, "");
1962
1963 return identifierOrType();
1964 }
1965
firstGenerationImage(bool inEs310)1966 int TScanContext::firstGenerationImage(bool inEs310)
1967 {
1968 if (parseContext.symbolTable.atBuiltInLevel() ||
1969 (!parseContext.isEsProfile() && (parseContext.version >= 420 ||
1970 parseContext.extensionTurnedOn(E_GL_ARB_shader_image_load_store))) ||
1971 (inEs310 && parseContext.isEsProfile() && parseContext.version >= 310))
1972 return keyword;
1973
1974 if ((parseContext.isEsProfile() && parseContext.version >= 300) ||
1975 (!parseContext.isEsProfile() && parseContext.version >= 130)) {
1976 reservedWord();
1977
1978 return keyword;
1979 }
1980
1981 if (parseContext.isForwardCompatible())
1982 parseContext.warn(loc, "using future type keyword", tokenText, "");
1983
1984 return identifierOrType();
1985 }
1986
secondGenerationImage()1987 int TScanContext::secondGenerationImage()
1988 {
1989 if (parseContext.isEsProfile() && parseContext.version >= 310) {
1990 reservedWord();
1991 return keyword;
1992 }
1993
1994 if (parseContext.symbolTable.atBuiltInLevel() ||
1995 (!parseContext.isEsProfile() &&
1996 (parseContext.version >= 420 || parseContext.extensionTurnedOn(E_GL_ARB_shader_image_load_store))))
1997 return keyword;
1998
1999 if (parseContext.isForwardCompatible())
2000 parseContext.warn(loc, "using future type keyword", tokenText, "");
2001
2002 return identifierOrType();
2003 }
2004
2005 } // end namespace glslang
2006