添加三个及以上输出后OpenGL shader二进制文件链接失败问题咨询

问题根因 #

该链接错误是Intel OpenGL驱动的GLSL编译器兼容性问题导致，Nvidia驱动对非规范语法做了额外兼容所以可以正常运行，触发原因有两个：

1. 片段着色器中同编号的输入、输出变量声明顺序错误：你在片段着色器中先声明了location=0的输出变量gbuffer0，再声明了location=0的输入变量fragmentPosition。虽然GLSL规范中同一着色器阶段的输入、输出location属于独立命名空间，但Intel驱动编译器会错误判定为location冲突。
2. 顶点着色器存在输入、输出变量交叉声明的问题：你将顶点属性输入和片段插值输出的声明交叉编写（in location0 -> out location0 -> out location1 -> in location1），Intel驱动的前端解析器对这种写法的支持存在缺陷。
   添加第三个输出时触发问题是因为此时输出变量的数量刚好触发了编译器的location校验逻辑，暴露了上述语法不规范的问题。

修复方案 #

调整两个着色器的变量声明顺序，所有输入变量统一放在输出变量之前：

调整后顶点着色器 #

#version 450

layout(binding = 0, std140) uniform EngineUbo
{
    mat4 proj;
    mat4 view;
    mat4 model;
} ubo;

// 所有输入变量放在最前
layout(location = 0) in vec3 vertexPosition;
layout(location = 1) in vec3 vertexNormal;
layout(location = 2) in vec3 vertexTangent;
layout(location = 3) in vec2 vertexTexCoord0;

// 所有输出变量放在输入之后
layout(location = 0) out vec3 fragmentPosition;
layout(location = 1) out vec3 fragmentNormal;
layout(location = 2) out vec3 fragmentTangent;
layout(location = 3) out vec2 fragmentTexCoord0;

void main()
{
    vec4 posVec4 = ubo.model * vec4(vertexPosition, 1.0);
    gl_Position = (ubo.proj * ubo.view) * posVec4;
    fragmentPosition = posVec4.xyz;
    fragmentNormal = vertexNormal;
    fragmentTangent = vertexTangent;
    fragmentTexCoord0 = vertexTexCoord0;
}

调整后片段着色器 #

#version 450

layout(binding = 1, std140) uniform MaterialUbo
{
    vec4 color;
} materialUbo;

layout(binding = 2) uniform sampler2D albedoTexture;
layout(binding = 3) uniform sampler2D normalTexture;
layout(binding = 4) uniform sampler2D metalnessTexture;
layout(binding = 5) uniform sampler2D roughnessTexture;

// 所有输入变量放在最前
layout(location = 0) in vec3 fragmentPosition;
layout(location = 1) in vec3 fragmentNormal;
layout(location = 2) in vec3 fragmentTangent;
layout(location = 3) in vec2 fragmentTexCoord0;

// 所有输出变量放在输入之后
layout(location = 0) out vec4 gbuffer0;
layout(location = 1) out vec4 gbuffer1;
layout(location = 2) out vec4 gbuffer2;

vec3 TransformNormalToWorldSpace(vec3 vertexNormalValue, vec3 normalTextureSample, vec3 vertexTangentValue)
{
    vec3 bumpMapNormal = normalTextureSample;
    if (all(equal(normalTextureSample, vec3(0.0))))
    {
        return vertexNormalValue;
    }
    vec3 newNormal = normalize(vertexNormalValue);
    vec3 newTangent = normalize(vertexTangentValue);
    newTangent = normalize(newTangent - (newNormal * dot(newTangent, newNormal)));
    vec3 bitangent = cross(newTangent, newNormal);
    bumpMapNormal = (bumpMapNormal * 2.0) - vec3(1.0);
    bumpMapNormal = vec3(-bumpMapNormal.xy, bumpMapNormal.z);
    mat3 tangentBitangentNormalMatrix = mat3(vec3(newTangent), vec3(bitangent), vec3(newNormal));
    return normalize(tangentBitangentNormalMatrix * bumpMapNormal);
}

void main()
{
    vec4 albedo = materialUbo.color * texture(albedoTexture, fragmentTexCoord0);
    vec3 textureSpaceNormal = texture(normalTexture, fragmentTexCoord0).xyz;
    float metalness = texture(metalnessTexture, fragmentTexCoord0).x;
    float roughness = texture(roughnessTexture, fragmentTexCoord0).x;
    vec3 specular = mix(vec3(0.039999999105930328369140625), albedo.xyz, vec3(metalness));
    vec3 param = fragmentNormal;
    vec3 param_1 = textureSpaceNormal;
    vec3 param_2 = fragmentTangent;
    vec3 worldSpaceNormal = TransformNormalToWorldSpace(param, param_1, param_2);
    gbuffer0 = vec4(fragmentPosition, 1.0);
    gbuffer1 = vec4(worldSpaceNormal, 1.0);
    gbuffer2 = albedo;
}

如果是通过spirv-cross自动生成GLSL代码，可以添加--glsl-separate-shader-objects参数，让生成的代码自动将输入输出变量分开声明，避免交叉。

同类问题排查方法 #

• 优先保证着色器语法严格符合GLSL规范，不要依赖厂商驱动的宽松兼容：同一阶段的输入变量统一放在输出变量之前，不要交叉声明；不要在同阶段的同类型变量（同是输入或同是输出）上重复使用location编号。
• 链接失败时主动调用glGetProgramInfoLog获取完整链接日志，很多驱动的详细错误信息不会输出到调试回调中，需要主动查询。
• 跨驱动兼容问题可以采用最小复现法：逐步注释着色器代码直到链接成功，定位到触发问题的具体代码段。
• 针对Intel核显的特殊问题，可以优先参考Intel官方的驱动兼容性说明，其GLSL编译器存在多个已知的location解析类bug。

内容的提问来源于stack exchange，提问作者Karim Abdel Hamid