From 37c8f4c6098be6e256d0aef36b615d1747958114 Mon Sep 17 00:00:00 2001 From: Ilia Mirkin Date: Fri, 13 May 2016 00:26:44 -0400 Subject: glsl: be more strict when validating shader inputs interpolateAt* can only take input variables or an element of an input variable array. No structs. Further, GLSL 4.40 relaxes the requirement to allow swizzles, so enable that as well. This fixes the following dEQP tests: dEQP-GLES31.functional.shaders.multisample_interpolation.interpolate_at_sample.negative.interpolate_struct_member dEQP-GLES31.functional.shaders.multisample_interpolation.interpolate_at_centroid.negative.interpolate_struct_member dEQP-GLES31.functional.shaders.multisample_interpolation.interpolate_at_offset.negative.interpolate_struct_member Signed-off-by: Ilia Mirkin Reviewed-by: Chris Forbes Reviewed-by: Jason Ekstrand --- src/compiler/glsl/ast_function.cpp | 26 ++++++++++++++++++-------- 1 file changed, 18 insertions(+), 8 deletions(-) diff --git a/src/compiler/glsl/ast_function.cpp b/src/compiler/glsl/ast_function.cpp index 4db3dd0384b..6c12565b084 100644 --- a/src/compiler/glsl/ast_function.cpp +++ b/src/compiler/glsl/ast_function.cpp @@ -208,17 +208,27 @@ verify_parameter_modes(_mesa_glsl_parse_state *state, /* Verify that shader_in parameters are shader inputs */ if (formal->data.must_be_shader_input) { - ir_variable *var = actual->variable_referenced(); - if (!var || var->data.mode != ir_var_shader_in) { - _mesa_glsl_error(&loc, state, - "parameter `%s` must be a shader input", - formal->name); - return false; + const ir_rvalue *val = actual; + + // GLSL 4.40 allows swizzles, while earlier GLSL versions do not. + if (val->ir_type == ir_type_swizzle) { + if (!state->is_version(440, 0)) { + _mesa_glsl_error(&loc, state, + "parameter `%s` must not be swizzled", + formal->name); + return false; + } + val = ((ir_swizzle *)val)->val; + } + + while (val->ir_type == ir_type_dereference_array) { + val = ((ir_dereference_array *)val)->array; } - if (actual->ir_type == ir_type_swizzle) { + if (!val->as_dereference_variable() || + val->variable_referenced()->data.mode != ir_var_shader_in) { _mesa_glsl_error(&loc, state, - "parameter `%s` must not be swizzled", + "parameter `%s` must be a shader input", formal->name); return false; } -- cgit v1.2.3