OpenHarmony/third_party_mesa3d
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

glsl: Add precision information to ir_variable

Browse Source 
We will need this later on when we implement proper support for
precision qualifiers in the drivers and also to do link time checks for
uniforms as indicated by the spec.

This patch also adds compile-time checks for variables without precision
information (currently, Mesa only checks that a default precision is set
for floats in fragment shaders).

As indicated by Ian, the addition of the precision information to
ir_variable has been done using a bitfield and pahole to identify an
available hole so that memory requirements for ir_variable stay the
same.

v2 (Ian):
  - Avoid if-ladders by defining arrays of supported sampler names and
    indexing
    into them with type->sampler_array + 2 * type->sampler_shadow
  - Make the code that selects the precision qualifier to use an utility
    function
  - Fix a typo

v3 (Tapani):
  - rebased
  - squashed in "Precision qualifiers are not allowed on structs"
  - fixed select_gles_precision for sampler arrays
  - fixed precision_qualifier_allowed for arrays of structs

v4 (Tapani):
  - add atomic_uint handling
  - do not allow precision qualifier on images
  (issues reported by Marta)

v5 (Tapani):
  - support precision qualifier on image types

v6 (Tapani):
  - set precision qualifier on interface block members

Reviewed-by: Samuel Iglesias Gonsálvez <siglesias@igalia.com>
This commit is contained in:
Iago Toral Quiroga
2015-11-10 08:22:07 +02:00
committed by Tapani Pälli
parent 9a00e1a69d
commit f84bc57d7d
4 changed files with 304 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

299
src/glsl/ast_to_hir.cpp
View File

@@ -2146,10 +2146,10 @@ precision_qualifier_allowed(const glsl_type *type)
* From this, we infer that GLSL 1.30 (and later) should allow precision
* qualifiers on sampler types just like float and integer types.
*/
return type->is_float()
return (type->is_float()
|| type->is_integer()
|| type->is_record()
|| type->contains_opaque();
|| type->contains_opaque())
&& !type->without_array()->is_record();
}
const glsl_type *
@@ -2167,31 +2167,268 @@ ast_type_specifier::glsl_type(const char **name,
return type;
}
/**
* From the OpenGL ES 3.0 spec, 4.5.4 Default Precision Qualifiers:
*
* "The precision statement
*
* precision precision-qualifier type;
*
* can be used to establish a default precision qualifier. The type field can
* be either int or float or any of the sampler types, (...) If type is float,
* the directive applies to non-precision-qualified floating point type
* (scalar, vector, and matrix) declarations. If type is int, the directive
* applies to all non-precision-qualified integer type (scalar, vector, signed,
* and unsigned) declarations."
*
* We use the symbol table to keep the values of the default precisions for
* each 'type' in each scope and we use the 'type' string from the precision
* statement as key in the symbol table. When we want to retrieve the default
* precision associated with a given glsl_type we need to know the type string
* associated with it. This is what this function returns.
*/
static const char *
get_type_name_for_precision_qualifier(const glsl_type *type)
{
switch (type->base_type) {
case GLSL_TYPE_FLOAT:
return "float";
case GLSL_TYPE_UINT:
case GLSL_TYPE_INT:
return "int";
case GLSL_TYPE_ATOMIC_UINT:
return "atomic_uint";
case GLSL_TYPE_IMAGE:
/* fallthrough */
case GLSL_TYPE_SAMPLER: {
const unsigned type_idx =
type->sampler_array + 2 * type->sampler_shadow;
const unsigned offset = type->base_type == GLSL_TYPE_SAMPLER ? 0 : 4;
assert(type_idx < 4);
switch (type->sampler_type) {
case GLSL_TYPE_FLOAT:
switch (type->sampler_dimensionality) {
case GLSL_SAMPLER_DIM_1D: {
assert(type->base_type == GLSL_TYPE_SAMPLER);
static const char *const names[4] = {
"sampler1D", "sampler1DArray",
"sampler1DShadow", "sampler1DArrayShadow"
};
return names[type_idx];
}
case GLSL_SAMPLER_DIM_2D: {
static const char *const names[8] = {
"sampler2D", "sampler2DArray",
"sampler2DShadow", "sampler2DArrayShadow",
"image2D", "image2DArray", NULL, NULL
};
return names[offset + type_idx];
}
case GLSL_SAMPLER_DIM_3D: {
static const char *const names[8] = {
"sampler3D", NULL, NULL, NULL,
"image3D", NULL, NULL, NULL
};
return names[offset + type_idx];
}
case GLSL_SAMPLER_DIM_CUBE: {
static const char *const names[8] = {
"samplerCube", "samplerCubeArray",
"samplerCubeShadow", "samplerCubeArrayShadow",
"imageCube", NULL, NULL, NULL
};
return names[offset + type_idx];
}
case GLSL_SAMPLER_DIM_MS: {
assert(type->base_type == GLSL_TYPE_SAMPLER);
static const char *const names[4] = {
"sampler2DMS", "sampler2DMSArray", NULL, NULL
};
return names[type_idx];
}
case GLSL_SAMPLER_DIM_RECT: {
assert(type->base_type == GLSL_TYPE_SAMPLER);
static const char *const names[4] = {
"samplerRect", NULL, "samplerRectShadow", NULL
};
return names[type_idx];
}
case GLSL_SAMPLER_DIM_BUF: {
assert(type->base_type == GLSL_TYPE_SAMPLER);
static const char *const names[4] = {
"samplerBuffer", NULL, NULL, NULL
};
return names[type_idx];
}
case GLSL_SAMPLER_DIM_EXTERNAL: {
assert(type->base_type == GLSL_TYPE_SAMPLER);
static const char *const names[4] = {
"samplerExternalOES", NULL, NULL, NULL
};
return names[type_idx];
}
default:
unreachable("Unsupported sampler/image dimensionality");
} /* sampler/image float dimensionality */
break;
case GLSL_TYPE_INT:
switch (type->sampler_dimensionality) {
case GLSL_SAMPLER_DIM_1D: {
assert(type->base_type == GLSL_TYPE_SAMPLER);
static const char *const names[4] = {
"isampler1D", "isampler1DArray", NULL, NULL
};
return names[type_idx];
}
case GLSL_SAMPLER_DIM_2D: {
static const char *const names[8] = {
"isampler2D", "isampler2DArray", NULL, NULL,
"iimage2D", "iimage2DArray", NULL, NULL
};
return names[offset + type_idx];
}
case GLSL_SAMPLER_DIM_3D: {
static const char *const names[8] = {
"isampler3D", NULL, NULL, NULL,
"iimage3D", NULL, NULL, NULL
};
return names[offset + type_idx];
}
case GLSL_SAMPLER_DIM_CUBE: {
static const char *const names[8] = {
"isamplerCube", "isamplerCubeArray", NULL, NULL,
"iimageCube", NULL, NULL, NULL
};
return names[offset + type_idx];
}
case GLSL_SAMPLER_DIM_MS: {
assert(type->base_type == GLSL_TYPE_SAMPLER);
static const char *const names[4] = {
"isampler2DMS", "isampler2DMSArray", NULL, NULL
};
return names[type_idx];
}
case GLSL_SAMPLER_DIM_RECT: {
assert(type->base_type == GLSL_TYPE_SAMPLER);
static const char *const names[4] = {
"isamplerRect", NULL, "isamplerRectShadow", NULL
};
return names[type_idx];
}
case GLSL_SAMPLER_DIM_BUF: {
assert(type->base_type == GLSL_TYPE_SAMPLER);
static const char *const names[4] = {
"isamplerBuffer", NULL, NULL, NULL
};
return names[type_idx];
}
default:
unreachable("Unsupported isampler/iimage dimensionality");
} /* sampler/image int dimensionality */
break;
case GLSL_TYPE_UINT:
switch (type->sampler_dimensionality) {
case GLSL_SAMPLER_DIM_1D: {
assert(type->base_type == GLSL_TYPE_SAMPLER);
static const char *const names[4] = {
"usampler1D", "usampler1DArray", NULL, NULL
};
return names[type_idx];
}
case GLSL_SAMPLER_DIM_2D: {
static const char *const names[8] = {
"usampler2D", "usampler2DArray", NULL, NULL,
"uimage2D", "uimage2DArray", NULL, NULL
};
return names[offset + type_idx];
}
case GLSL_SAMPLER_DIM_3D: {
static const char *const names[8] = {
"usampler3D", NULL, NULL, NULL,
"uimage3D", NULL, NULL, NULL
};
return names[offset + type_idx];
}
case GLSL_SAMPLER_DIM_CUBE: {
static const char *const names[8] = {
"usamplerCube", "usamplerCubeArray", NULL, NULL,
"uimageCube", NULL, NULL, NULL
};
return names[offset + type_idx];
}
case GLSL_SAMPLER_DIM_MS: {
assert(type->base_type == GLSL_TYPE_SAMPLER);
static const char *const names[4] = {
"usampler2DMS", "usampler2DMSArray", NULL, NULL
};
return names[type_idx];
}
case GLSL_SAMPLER_DIM_RECT: {
assert(type->base_type == GLSL_TYPE_SAMPLER);
static const char *const names[4] = {
"usamplerRect", NULL, "usamplerRectShadow", NULL
};
return names[type_idx];
}
case GLSL_SAMPLER_DIM_BUF: {
assert(type->base_type == GLSL_TYPE_SAMPLER);
static const char *const names[4] = {
"usamplerBuffer", NULL, NULL, NULL
};
return names[type_idx];
}
default:
unreachable("Unsupported usampler/uimage dimensionality");
} /* sampler/image uint dimensionality */
break;
default:
unreachable("Unsupported sampler/image type");
} /* sampler/image type */
break;
} /* GLSL_TYPE_SAMPLER/GLSL_TYPE_IMAGE */
break;
default:
unreachable("Unsupported type");
} /* base type */
}
static unsigned
select_gles_precision(unsigned qual_precision,
const glsl_type *type,
struct _mesa_glsl_parse_state *state, YYLTYPE *loc)
{
/* Precision qualifiers do not have any meaning in Desktop GLSL.
* In GLES we take the precision from the type qualifier if present,
* otherwise, if the type of the variable allows precision qualifiers at
* all, we look for the default precision qualifier for that type in the
* current scope.
*/
assert(state->es_shader);
unsigned precision = GLSL_PRECISION_NONE;
if (qual_precision) {
precision = qual_precision;
} else if (precision_qualifier_allowed(type)) {
const char *type_name =
get_type_name_for_precision_qualifier(type->without_array());
assert(type_name != NULL);
precision =
state->symbols->get_default_precision_qualifier(type_name);
if (precision == ast_precision_none) {
_mesa_glsl_error(loc, state,
"No precision specified in this scope for type `%s'",
type->name);
}
}
return precision;
}
const glsl_type *
ast_fully_specified_type::glsl_type(const char **name,
struct _mesa_glsl_parse_state *state) const
{
const struct glsl_type *type = this->specifier->glsl_type(name, state);
if (type == NULL)
return NULL;
/* The fragment language does not define a default precision value
* for float types, so check that one is defined if the type declaration
* isn't providing one explictly.
*/
if (type->base_type == GLSL_TYPE_FLOAT
&& state->es_shader
&& state->stage == MESA_SHADER_FRAGMENT
&& this->qualifier.precision == ast_precision_none
&& state->symbols->get_default_precision_qualifier("float") == ast_precision_none) {
YYLTYPE loc = this->get_location();
_mesa_glsl_error(&loc, state,
"no precision specified this scope for type `%s'",
type->name);
}
return type;
return this->specifier->glsl_type(name, state);
}
/**
@@ -2729,6 +2966,12 @@ apply_type_qualifier_to_variable(const struct ast_type_qualifier *qual,
if (qual->flags.q.sample)
var->data.sample = 1;
/* Precision qualifiers do not hold any meaning in Desktop GLSL */
if (state->es_shader) {
var->data.precision =
select_gles_precision(qual->precision, var->type, state, loc);
}
if (state->stage == MESA_SHADER_GEOMETRY &&
qual->flags.q.out && qual->flags.q.stream) {
var->data.stream = qual->stream;
@@ -5918,6 +6161,7 @@ ast_process_structure_or_interface_block(exec_list *instructions,
fields[i].centroid = qual->flags.q.centroid ? 1 : 0;
fields[i].sample = qual->flags.q.sample ? 1 : 0;
fields[i].patch = qual->flags.q.patch ? 1 : 0;
fields[i].precision = qual->precision;
/* From Section 4.4.2.3 (Geometry Outputs) of the GLSL 4.50 spec:
*
@@ -6599,6 +6843,13 @@ ast_interface_block::hir(exec_list *instructions,
if (var_mode == ir_var_shader_in || var_mode == ir_var_uniform)
var->data.read_only = true;
/* Precision qualifiers do not have any meaning in Desktop GLSL */
if (state->es_shader) {
var->data.precision =
select_gles_precision(fields[i].precision, fields[i].type,
state, &loc);
}
if (fields[i].matrix_layout == GLSL_MATRIX_LAYOUT_INHERITED) {
var->data.matrix_layout = matrix_layout == GLSL_MATRIX_LAYOUT_INHERITED
? GLSL_MATRIX_LAYOUT_COLUMN_MAJOR : matrix_layout;

13
src/glsl/ir.h
View File

@@ -770,6 +770,19 @@ public:
*/
unsigned index:1;
/**
* Precision qualifier.
*
* In desktop GLSL we do not care about precision qualifiers at all, in
* fact, the spec says that precision qualifiers are ignored.
*
* To make things easy, we make it so that this field is always
* GLSL_PRECISION_NONE on desktop shaders. This way all the variables
* have the same precision value and the checks we add in the compiler
* for this field will never break a desktop shader compile.
*/
unsigned precision:2;
/**
* \brief Layout qualifier for gl_FragDepth.
*

4
src/glsl/nir/glsl_types.cpp
View File

@@ -162,6 +162,7 @@ glsl_type::glsl_type(const glsl_struct_field *fields, unsigned num_fields,
this->fields.structure[i].sample = fields[i].sample;
this->fields.structure[i].matrix_layout = fields[i].matrix_layout;
this->fields.structure[i].patch = fields[i].patch;
this->fields.structure[i].precision = fields[i].precision;
}
mtx_unlock(&glsl_type::mutex);
@@ -779,6 +780,9 @@ glsl_type::record_compare(const glsl_type *b) const
if (this->fields.structure[i].image_restrict
!= b->fields.structure[i].image_restrict)
return false;
if (this->fields.structure[i].precision
!= b->fields.structure[i].precision)
return false;
}
return true;

13
src/glsl/nir/glsl_types.h
View File

@@ -102,6 +102,13 @@ enum glsl_matrix_layout {
GLSL_MATRIX_LAYOUT_ROW_MAJOR
};
enum {
GLSL_PRECISION_NONE = 0,
GLSL_PRECISION_HIGH,
GLSL_PRECISION_MEDIUM,
GLSL_PRECISION_LOW
};
#ifdef __cplusplus
#include "GL/gl.h"
#include "util/ralloc.h"
@@ -320,7 +327,6 @@ struct glsl_type {
*/
unsigned count_attribute_slots() const;
/**
* Alignment in bytes of the start of this type in a std140 uniform
* block.
@@ -828,6 +834,11 @@ struct glsl_struct_field {
*/
unsigned patch:1;
/**
* Precision qualifier
*/
unsigned precision;
/**
* Image qualifiers, applicable to buffer variables defined in shader
* storage buffer objects (SSBOs)