glcpp: Implicitly resolve version after the first non-space/hash token.
authorKenneth Graunke <kenneth@whitecape.org>
Sat, 5 Mar 2016 02:26:00 +0000 (18:26 -0800)
committerKenneth Graunke <kenneth@whitecape.org>
Tue, 8 Mar 2016 07:01:43 +0000 (23:01 -0800)
commit07ec67d85ca652b76fb91abd68b6ad98e56a49df
treedc4005bdbd1674e5dca342dc89c881fab2bb550a
parent90f9df3210b5b66585007ec4836bfca498fd45f0
glcpp: Implicitly resolve version after the first non-space/hash token.

We resolved the implicit version directive when processing control lines,
such as #ifdef, to ensure any built-in macros exist.  However, we failed
to resolve it when handling ordinary text.

For example,

        int x = __VERSION__;

should resolve __VERSION__ to 110, but since we never resolved the implicit
version, none of the built-in macros exist, so it was left as is.

This also meant we allowed the following shader to slop through:

        123
        #version 120

Nothing would cause the implicit version to take effect, so when we saw
the #version directive, we thought everything was peachy.

This patch makes the lexer's per-token action resolve the implicit
version on the first non-space/newline/hash token that isn't part of
a #version directive, fulfilling the GLSL language spec:

"The #version directive must occur in a shader before anything else,
 except for comments and white space."

Because we emit #version as HASH_TOKEN then VERSION_TOKEN, we have to
allow HASH_TOKEN to slop through as well, so we don't resolve the
implicit version as soon as we see the # character.  However, this is
fine, because the parser's HASH_TOKEN NEWLINE rule does resolve the
version, disallowing cases like:

        #
        #version 120

This patch also adds the above shaders as new glcpp tests.

Fixes dEQP-GLES2.functional.shaders.preprocessor.predefined_macros.
{gl_es_1_vertex,gl_es_1_fragment}.

Signed-off-by: Kenneth Graunke <kenneth@whitecape.org>
Reviewed-by: Ian Romanick <ian.d.romanick@intel.com>
src/compiler/glsl/glcpp/glcpp-lex.l
src/compiler/glsl/glcpp/glcpp.h
src/compiler/glsl/glcpp/tests/144-implicit-version.c [new file with mode: 0644]
src/compiler/glsl/glcpp/tests/144-implicit-version.c.expected [new file with mode: 0644]
src/compiler/glsl/glcpp/tests/145-version-first.c [new file with mode: 0644]
src/compiler/glsl/glcpp/tests/145-version-first.c.expected [new file with mode: 0644]
src/compiler/glsl/glcpp/tests/146-version-first-hash.c [new file with mode: 0644]
src/compiler/glsl/glcpp/tests/146-version-first-hash.c.expected [new file with mode: 0644]