123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452 |
- #version 310 es
- highp float nodef3(float); // ERROR, no default precision
- precision mediump float;
- precision highp usampler2D;
- precision highp sampler2D;
- precision highp isampler2DArray;
- layout(origin_upper_left, pixel_center_integer) in vec4 gl_FragCoord; // ERROR, not supported
- layout(location = 2) in vec3 v3;
- layout(location = 2) in mat4 yi; // ERROR, locations conflict with xi
- uniform sampler2D arrayedSampler[5];
- uniform usampler2D usamp2d;
- uniform usampler2DRect samp2dr; // ERROR, reserved
- uniform isampler2DArray isamp2DA;
- in vec2 c2D;
- uniform int i;
- void main()
- {
- vec4 v = texture(arrayedSampler[i], c2D); // ERROR
- ivec2 offsets[4];
- const ivec2 constOffsets[4] = ivec2[4](ivec2(1,2), ivec2(3,4), ivec2(15,16), ivec2(-2,0));
- uvec4 uv4 = textureGatherOffsets(samp2dr, c2D, offsets, 2); // ERROR, not supported
- vec4 v4 = textureGather(arrayedSampler[0], c2D);
- ivec4 iv4 = textureGatherOffset(isamp2DA, vec3(0.1), ivec2(1), 3);
- iv4 = textureGatherOffset(isamp2DA, vec3(0.1), ivec2(1), i); // ERROR, last argument not const
- iv4 = textureGatherOffset(isamp2DA, vec3(0.1), ivec2(1), 4); // ERROR, last argument out of range
- iv4 = textureGatherOffset(isamp2DA, vec3(0.1), ivec2(1), 1+2);
- iv4 = textureGatherOffset(isamp2DA, vec3(0.1), ivec2(0.5));
- iv4 = textureGatherOffset(isamp2DA, vec3(0.1), ivec2(i)); // ERROR, offset not constant
- }
- out vec4 outp;
- void foo23()
- {
- const ivec2[3] offsets = ivec2[3](ivec2(1,2), ivec2(3,4), ivec2(15,16));
- textureProjGradOffset(usamp2d, outp, vec2(0.0), vec2(0.0), ivec2(c2D)); // ERROR, offset not constant
- textureProjGradOffset(usamp2d, outp, vec2(0.0), vec2(0.0), offsets[1]);
- textureProjGradOffset(usamp2d, outp, vec2(0.0), vec2(0.0), offsets[2]); // ERROR, offset out of range
- textureProjGradOffset(usamp2d, outp, vec2(0.0), vec2(0.0), ivec2(-10, 20)); // ERROR, offset out of range
- if (gl_HelperInvocation)
- ++outp;
- int sum = gl_MaxVertexImageUniforms +
- gl_MaxFragmentImageUniforms +
- gl_MaxComputeImageUniforms +
- gl_MaxCombinedImageUniforms +
- gl_MaxCombinedShaderOutputResources;
- bool b1, b2, b3, b;
- b1 = mix(b2, b3, b);
- uvec3 um3 = mix(uvec3(i), uvec3(i), bvec3(b));
- ivec4 im4 = mix(ivec4(i), ivec4(i), bvec4(b));
- }
- layout(binding=3) uniform sampler2D s1;
- layout(binding=3) uniform sampler2D s2; // ERROR: overlapping bindings? Don't see that in the 310 spec.
- highp layout(binding=2) uniform writeonly image2D i2D;
- layout(binding=4) uniform readonly image3D i3D; // ERROR, no default precision
- layout(binding=5) uniform imageCube iCube; // ERROR, no default precision
- layout(binding=6) uniform image2DArray i2DA; // ERROR, no default precision
- layout(binding=6) uniform coherent volatile restrict image2D i2Dqualified; // ERROR, no default precision
- layout(binding = 1) uniform bb {
- int foo;
- layout(binding = 2) float f; // ERROR
- } bbi;
- in centroid vec4 centroidIn;
- layout(location = 200000) uniform vec4 bigl; // ERROR, location too big
- layout(early_fragment_tests) in;
- layout(location = 40) out vec4 bigout1; // ERROR, too big
- layout(location = 40) out vec4 bigout2; // ERROR, overlap
- layout(location = -2) out vec4 neg; // ERROR, negative
- layout(std430) buffer b430 {
- int i;
- } b430i;
- layout(shared) uniform bshar {
- int i;
- } bshari;
- in smooth vec4 smoothIn;
- in flat int flatIn;
- uniform sampler2DMS s2dms; // ERROR, no default precision qualifier
- void foots()
- {
- highp ivec2 v2 = textureSize(s1, 2);
- highp ivec3 v3 = textureSize(isamp2DA, 3);
- v2 = textureSize(s2dms);
- v2 = imageSize(i2D);
- v3 = imageSize(i3D);
- v2 = imageSize(iCube);
- v3 = imageSize(i2DA);
- v2 = imageSize(i2Dqualified);
- }
- out bool bout; // ERROR
- highp out image2D imageOut; // ERROR
- out mat2x3 mout; // ERROR
- in bool inb; // ERROR
- in sampler2D ino; // ERROR
- in float ina[4];
- in float inaa[4][2]; // ERROR
- struct S { float f; };
- in S ins;
- in S[4] inasa; // ERROR
- in S insa[4]; // ERROR
- struct SA { float f[4]; };
- in SA inSA; // ERROR
- struct SS { float f; S s; };
- in SS inSS; // ERROR
- #ifndef GL_EXT_shader_io_blocks
- #error GL_EXT_shader_io_blocks not defined
- #endif
- #extension GL_EXT_shader_io_blocks : enable
- out outbname { int a; } outbinst; // ERROR, not out block in fragment shader
- in inbname {
- int a;
- vec4 v;
- struct { int b; } s; // ERROR, nested struct definition
- } inbinst;
- in inbname2 {
- layout(location = 12) int aAnon;
- layout(location = 13) centroid in vec4 vAnon;
- };
- in layout(location = 13) vec4 aliased; // ERROR, aliased
- in inbname2 { // ERROR, reuse of block name
- int aAnon;
- centroid in vec4 vAnon;
- };
- in badmember { // ERROR, aAnon already in global scope
- int aAnon;
- };
- int inbname; // ERROR, redefinition of block name
- vec4 vAnon; // ERROR, anon in global scope; redefinition
- in arrayed {
- float f;
- } arrayedInst[4];
- void fooIO()
- {
- vec4 v = inbinst.v + vAnon;
- v *= arrayedInst[2].f;
- v *= arrayedInst[i].f;
- }
- in vec4 gl_FragCoord;
- layout(origin_upper_left, pixel_center_integer) in vec4 gl_FragCoord; // ERROR, non-ES
- layout(early_fragment_tests) in;
- out float gl_FragDepth;
- layout(depth_any) out float gl_FragDepth; // ERROR, non-ES
- void foo_IO()
- {
- gl_FragDepth = 0.2; // ERROR, early_fragment_tests declared
- gl_Layer; // ERROR, not present
- gl_PrimitiveID; // ERROR, not present
- bool f = gl_FrontFacing;
- }
- out float gl_FragDepth;
- #extension GL_OES_geometry_shader : enable
- void foo_GS()
- {
- highp int l = gl_Layer;
- highp int p = gl_PrimitiveID;
- }
- in vec2 inf, ing;
- uniform ivec2 offsets[4];
- uniform sampler2D sArray[4];
- uniform int sIndex;
- layout(binding = 0) uniform atomic_uint auArray[2];
- uniform ubName { int i; } ubInst[4];
- buffer bbName { int i; } bbInst[4];
- highp uniform writeonly image2D iArray[5];
- const ivec2 constOffsets[4] = ivec2[4](ivec2(0.1), ivec2(0.2), ivec2(0.3), ivec2(0.4));
- void pfooBad()
- {
- precise vec2 h; // ERROR reserved
- h = fma(inf, ing, h); // ERROR, not available
- textureGatherOffset(sArray[0], vec2(0.1), ivec2(inf)); // ERROR, offset not constant
- textureGatherOffsets(sArray[0], vec2(0.1), constOffsets); // ERROR, not available
- }
- #extension GL_OES_gpu_shader5 : enable
- void pfoo()
- {
- precise vec2 h;
- h = fma(inf, ing, h);
- textureGatherOffset(sArray[0], vec2(0.1), ivec2(inf));
- textureGatherOffsets(sArray[0], vec2(0.1), constOffsets);
- textureGatherOffsets(sArray[0], vec2(0.1), offsets); // ERROR, offset not constant
- }
- #extension GL_EXT_texture_cube_map_array : enable
- precision highp imageCubeArray ;
- precision highp iimageCubeArray ;
- precision highp uimageCubeArray ;
- precision highp samplerCubeArray ;
- precision highp samplerCubeArrayShadow;
- precision highp isamplerCubeArray ;
- precision highp usamplerCubeArray ;
- uniform writeonly imageCubeArray CA1;
- uniform writeonly iimageCubeArray CA2;
- uniform writeonly uimageCubeArray CA3;
- #ifdef GL_EXT_texture_cube_map_array
- uniform samplerCubeArray CA4;
- uniform samplerCubeArrayShadow CA5;
- uniform isamplerCubeArray CA6;
- uniform usamplerCubeArray CA7;
- #endif
- void CAT()
- {
- highp vec4 b4 = texture(CA4, vec4(0.5), 0.24);
- highp ivec4 b6 = texture(CA6, vec4(0.5), 0.26);
- highp uvec4 b7 = texture(CA7, vec4(0.5), 0.27);
- }
- void badSample()
- {
- lowp int a1 = gl_SampleID; // ERROR, need extension
- mediump vec2 a2 = gl_SamplePosition; // ERROR, need extension
- highp int a3 = gl_SampleMaskIn[0]; // ERROR, need extension
- gl_SampleMask[0] = a3; // ERROR, need extension
- mediump int n = gl_NumSamples; // ERROR, need extension
- }
- #ifdef GL_OES_sample_variables
- #extension GL_OES_sample_variables : enable
- #endif
- void goodSample()
- {
- lowp int a1 = gl_SampleID;
- mediump vec2 a2 = gl_SamplePosition;
- highp int a3 = gl_SampleMaskIn[0];
- gl_SampleMask[0] = a3;
- mediump int n1 = gl_MaxSamples;
- mediump int n2 = gl_NumSamples;
- }
- uniform layout(r32f) highp image2D im2Df;
- uniform layout(r32ui) highp uimage2D im2Du;
- uniform layout(r32i) highp iimage2D im2Di;
- uniform ivec2 P;
- void badImageAtom()
- {
- float datf;
- int dati;
- uint datu;
- imageAtomicAdd( im2Di, P, dati); // ERROR, need extension
- imageAtomicAdd( im2Du, P, datu); // ERROR, need extension
- imageAtomicMin( im2Di, P, dati); // ERROR, need extension
- imageAtomicMin( im2Du, P, datu); // ERROR, need extension
- imageAtomicMax( im2Di, P, dati); // ERROR, need extension
- imageAtomicMax( im2Du, P, datu); // ERROR, need extension
- imageAtomicAnd( im2Di, P, dati); // ERROR, need extension
- imageAtomicAnd( im2Du, P, datu); // ERROR, need extension
- imageAtomicOr( im2Di, P, dati); // ERROR, need extension
- imageAtomicOr( im2Du, P, datu); // ERROR, need extension
- imageAtomicXor( im2Di, P, dati); // ERROR, need extension
- imageAtomicXor( im2Du, P, datu); // ERROR, need extension
- imageAtomicExchange(im2Di, P, dati); // ERROR, need extension
- imageAtomicExchange(im2Du, P, datu); // ERROR, need extension
- imageAtomicExchange(im2Df, P, datf); // ERROR, need extension
- imageAtomicCompSwap(im2Di, P, 3, dati); // ERROR, need extension
- imageAtomicCompSwap(im2Du, P, 5u, datu); // ERROR, need extension
- }
- #ifdef GL_OES_shader_image_atomic
- #extension GL_OES_shader_image_atomic : enable
- #endif
- uniform layout(rgba32f) highp image2D badIm2Df; // ERROR, needs readonly or writeonly
- uniform layout(rgba8ui) highp uimage2D badIm2Du; // ERROR, needs readonly or writeonly
- uniform layout(rgba16i) highp iimage2D badIm2Di; // ERROR, needs readonly or writeonly
- void goodImageAtom()
- {
- float datf;
- int dati;
- uint datu;
- imageAtomicAdd( im2Di, P, dati);
- imageAtomicAdd( im2Du, P, datu);
- imageAtomicMin( im2Di, P, dati);
- imageAtomicMin( im2Du, P, datu);
- imageAtomicMax( im2Di, P, dati);
- imageAtomicMax( im2Du, P, datu);
- imageAtomicAnd( im2Di, P, dati);
- imageAtomicAnd( im2Du, P, datu);
- imageAtomicOr( im2Di, P, dati);
- imageAtomicOr( im2Du, P, datu);
- imageAtomicXor( im2Di, P, dati);
- imageAtomicXor( im2Du, P, datu);
- imageAtomicExchange(im2Di, P, dati);
- imageAtomicExchange(im2Du, P, datu);
- imageAtomicExchange(im2Df, P, datf);
- imageAtomicCompSwap(im2Di, P, 3, dati);
- imageAtomicCompSwap(im2Du, P, 5u, datu);
- imageAtomicMax(badIm2Di, P, dati); // ERROR, not an allowed layout() on the image
- imageAtomicMax(badIm2Du, P, datu); // ERROR, not an allowed layout() on the image
- imageAtomicExchange(badIm2Df, P, datf); // ERROR, not an allowed layout() on the image
- }
- sample in vec4 colorSampInBad; // ERROR, reserved
- centroid out vec4 colorCentroidBad; // ERROR
- flat out vec4 colorBadFlat; // ERROR
- smooth out vec4 colorBadSmooth; // ERROR
- noperspective out vec4 colorBadNo; // ERROR
- flat centroid in vec2 colorfc;
- in float scalarIn;
- void badInterp()
- {
- interpolateAtCentroid(colorfc); // ERROR, need extension
- interpolateAtSample(colorfc, 1); // ERROR, need extension
- interpolateAtOffset(colorfc, vec2(0.2)); // ERROR, need extension
- }
- #if defined GL_OES_shader_multisample_interpolation
- #extension GL_OES_shader_multisample_interpolation : enable
- #endif
- sample in vec4 colorSampIn;
- sample out vec4 colorSampleBad; // ERROR
- flat sample in vec4 colorfsi;
- sample in vec3 sampInArray[4];
- void interp()
- {
- float res;
- vec2 res2;
- vec3 res3;
- vec4 res4;
- res2 = interpolateAtCentroid(colorfc);
- res4 = interpolateAtCentroid(colorSampIn);
- res4 = interpolateAtCentroid(colorfsi);
- res = interpolateAtCentroid(scalarIn);
- res3 = interpolateAtCentroid(sampInArray); // ERROR
- res3 = interpolateAtCentroid(sampInArray[2]);
- res2 = interpolateAtCentroid(sampInArray[2].xy); // ERROR
- res3 = interpolateAtSample(sampInArray, 1); // ERROR
- res3 = interpolateAtSample(sampInArray[i], 0);
- res2 = interpolateAtSample(sampInArray[2].xy, 2); // ERROR
- res = interpolateAtSample(scalarIn, 1);
- res3 = interpolateAtOffset(sampInArray, vec2(0.2)); // ERROR
- res3 = interpolateAtOffset(sampInArray[2], vec2(0.2));
- res2 = interpolateAtOffset(sampInArray[2].xy, vec2(0.2)); // ERROR, no swizzle
- res = interpolateAtOffset(scalarIn + scalarIn, vec2(0.2)); // ERROR, no binary ops other than dereference
- res = interpolateAtOffset(scalarIn, vec2(0.2));
- float f;
- res = interpolateAtCentroid(f); // ERROR, not interpolant
- res4 = interpolateAtSample(outp, 0); // ERROR, not interpolant
- }
- layout(blend_support_softlight) out; // ERROR, need extension
- #ifdef GL_KHR_blend_equation_advanced
- #extension GL_KHR_blend_equation_advanced : enable
- #endif
- layout(blend_support_multiply) out;
- layout(blend_support_screen) out;
- layout(blend_support_overlay) out;
- layout(blend_support_darken, blend_support_lighten) out;
- layout(blend_support_colordodge) layout(blend_support_colorburn) out;
- layout(blend_support_hardlight) out;
- layout(blend_support_softlight) out;
- layout(blend_support_difference) out;
- layout(blend_support_exclusion) out;
- layout(blend_support_hsl_hue) out;
- layout(blend_support_hsl_saturation) out;
- layout(blend_support_hsl_color) out;
- layout(blend_support_hsl_luminosity) out;
- layout(blend_support_all_equations) out;
- layout(blend_support_hsl_luminosity) out; // okay to repeat
- layout(blend_support_hsl_luminosity) in; // ERROR, only on "out"
- layout(blend_support_hsl_luminosity) out vec4; // ERROR, only on standalone
- layout(blend_support_hsl_luminosity) out vec4 badout; // ERROR, only on standalone
- layout(blend_support_hsl_luminosity) struct badS {int i;}; // ERROR, only on standalone
- layout(blend_support_hsl_luminosity) void blendFoo() { } // ERROR, only on standalone
- void blendFoo(layout(blend_support_hsl_luminosity) vec3 v) { } // ERROR, only on standalone
- layout(blend_support_flizbit) out; // ERROR, no flizbit
- out vec4 outAA[2][2]; // ERROR
- void devi()
- {
- gl_DeviceIndex; // ERROR, no extension
- gl_ViewIndex; // ERROR, no extension
- }
- #ifdef GL_EXT_device_group
- #extension GL_EXT_device_group : enable
- #endif
- #ifdef GL_EXT_device_group
- #extension GL_EXT_multiview : enable
- #endif
- void devie()
- {
- gl_DeviceIndex;
- gl_ViewIndex;
- }
|