glsl: Move is_builtin flag back to ir_function_signature.
This effectively reverts b6f15869b3
.
In desktop GLSL, defining a function with the same name as a built-in
hides that built-in function completely, so there would never be
built-in and user function signatures in the same ir_function.
However, in GLSL ES, overloading built-ins is allowed, and does not
hide the built-in signatures - so we're back to needing this.
This commit is contained in:
@@ -2279,7 +2279,7 @@ ast_function::hir(exec_list *instructions,
|
|||||||
* that the previously seen signature does not have an associated definition.
|
* that the previously seen signature does not have an associated definition.
|
||||||
*/
|
*/
|
||||||
f = state->symbols->get_function(name);
|
f = state->symbols->get_function(name);
|
||||||
if (f != NULL && !f->is_builtin) {
|
if (f != NULL && !f->has_builtin_signature()) {
|
||||||
sig = f->exact_matching_signature(&hir_parameters);
|
sig = f->exact_matching_signature(&hir_parameters);
|
||||||
if (sig != NULL) {
|
if (sig != NULL) {
|
||||||
const char *badvar = sig->qualifiers_match(&hir_parameters);
|
const char *badvar = sig->qualifiers_match(&hir_parameters);
|
||||||
|
@@ -1073,6 +1073,7 @@ ir_function_signature::ir_function_signature(const glsl_type *return_type)
|
|||||||
: return_type(return_type), is_defined(false), _function(NULL)
|
: return_type(return_type), is_defined(false), _function(NULL)
|
||||||
{
|
{
|
||||||
this->ir_type = ir_type_function_signature;
|
this->ir_type = ir_type_function_signature;
|
||||||
|
this->is_builtin = false;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@@ -1124,7 +1125,18 @@ ir_function::ir_function(const char *name)
|
|||||||
{
|
{
|
||||||
this->ir_type = ir_type_function;
|
this->ir_type = ir_type_function;
|
||||||
this->name = talloc_strdup(this, name);
|
this->name = talloc_strdup(this, name);
|
||||||
this->is_builtin = false;
|
}
|
||||||
|
|
||||||
|
|
||||||
|
bool
|
||||||
|
ir_function::has_builtin_signature()
|
||||||
|
{
|
||||||
|
foreach_list(n, &this->signatures) {
|
||||||
|
ir_function_signature *const sig = (ir_function_signature *) n;
|
||||||
|
if (sig->is_builtin)
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
return false;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
@@ -342,6 +342,9 @@ public:
|
|||||||
/** Whether or not this function has a body (which may be empty). */
|
/** Whether or not this function has a body (which may be empty). */
|
||||||
unsigned is_defined:1;
|
unsigned is_defined:1;
|
||||||
|
|
||||||
|
/** Whether or not this function signature is a built-in. */
|
||||||
|
unsigned is_builtin:1;
|
||||||
|
|
||||||
/** Body of instructions in the function. */
|
/** Body of instructions in the function. */
|
||||||
struct exec_list body;
|
struct exec_list body;
|
||||||
|
|
||||||
@@ -407,8 +410,8 @@ public:
|
|||||||
*/
|
*/
|
||||||
const char *name;
|
const char *name;
|
||||||
|
|
||||||
/** Whether or not this function is a built-in. */
|
/** Whether or not this function has a signature that is a built-in. */
|
||||||
unsigned is_builtin:1;
|
bool has_builtin_signature();
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* List of ir_function_signature for each overloaded function with this name.
|
* List of ir_function_signature for each overloaded function with this name.
|
||||||
|
@@ -250,8 +250,6 @@ ir_function::clone(void *mem_ctx, struct hash_table *ht) const
|
|||||||
{
|
{
|
||||||
ir_function *copy = new(mem_ctx) ir_function(this->name);
|
ir_function *copy = new(mem_ctx) ir_function(this->name);
|
||||||
|
|
||||||
copy->is_builtin = this->is_builtin;
|
|
||||||
|
|
||||||
foreach_list_const(node, &this->signatures) {
|
foreach_list_const(node, &this->signatures) {
|
||||||
const ir_function_signature *const sig =
|
const ir_function_signature *const sig =
|
||||||
(const ir_function_signature *const) node;
|
(const ir_function_signature *const) node;
|
||||||
@@ -274,6 +272,7 @@ ir_function_signature::clone(void *mem_ctx, struct hash_table *ht) const
|
|||||||
new(mem_ctx) ir_function_signature(this->return_type);
|
new(mem_ctx) ir_function_signature(this->return_type);
|
||||||
|
|
||||||
copy->is_defined = this->is_defined;
|
copy->is_defined = this->is_defined;
|
||||||
|
copy->is_builtin = this->is_builtin;
|
||||||
|
|
||||||
/* Clone the parameter list.
|
/* Clone the parameter list.
|
||||||
*/
|
*/
|
||||||
|
@@ -785,7 +785,7 @@ ir_call::constant_expression_value()
|
|||||||
* "Function calls to user-defined functions (non-built-in functions)
|
* "Function calls to user-defined functions (non-built-in functions)
|
||||||
* cannot be used to form constant expressions."
|
* cannot be used to form constant expressions."
|
||||||
*/
|
*/
|
||||||
if (!this->callee->function()->is_builtin)
|
if (!this->callee->is_builtin)
|
||||||
return NULL;
|
return NULL;
|
||||||
|
|
||||||
unsigned num_parameters = 0;
|
unsigned num_parameters = 0;
|
||||||
|
@@ -59,7 +59,6 @@ public:
|
|||||||
this->function = this->symbols->get_function(ir->name);
|
this->function = this->symbols->get_function(ir->name);
|
||||||
if (!this->function) {
|
if (!this->function) {
|
||||||
this->function = new(this->mem_ctx) ir_function(ir->name);
|
this->function = new(this->mem_ctx) ir_function(ir->name);
|
||||||
this->function->is_builtin = ir->is_builtin;
|
|
||||||
|
|
||||||
list->push_tail(this->function);
|
list->push_tail(this->function);
|
||||||
|
|
||||||
@@ -87,6 +86,7 @@ public:
|
|||||||
new(mem_ctx) ir_function_signature(ir->return_type);
|
new(mem_ctx) ir_function_signature(ir->return_type);
|
||||||
|
|
||||||
copy->is_defined = false;
|
copy->is_defined = false;
|
||||||
|
copy->is_builtin = ir->is_builtin;
|
||||||
|
|
||||||
/* Clone the parameter list, but NOT the body.
|
/* Clone the parameter list, but NOT the body.
|
||||||
*/
|
*/
|
||||||
|
@@ -153,15 +153,14 @@ void ir_print_visitor::visit(ir_function_signature *ir)
|
|||||||
|
|
||||||
void ir_print_visitor::visit(ir_function *ir)
|
void ir_print_visitor::visit(ir_function *ir)
|
||||||
{
|
{
|
||||||
/* Don't print built-in functions as part of the IR. */
|
|
||||||
if (ir->is_builtin)
|
|
||||||
return;
|
|
||||||
|
|
||||||
printf("(function %s\n", ir->name);
|
printf("(function %s\n", ir->name);
|
||||||
indentation++;
|
indentation++;
|
||||||
foreach_iter(exec_list_iterator, iter, *ir) {
|
foreach_iter(exec_list_iterator, iter, *ir) {
|
||||||
ir_function_signature *const sig = (ir_function_signature *) iter.get();
|
ir_function_signature *const sig = (ir_function_signature *) iter.get();
|
||||||
|
|
||||||
|
if (sig->is_builtin)
|
||||||
|
continue;
|
||||||
|
|
||||||
indent();
|
indent();
|
||||||
sig->accept(this);
|
sig->accept(this);
|
||||||
printf("\n");
|
printf("\n");
|
||||||
|
@@ -218,7 +218,6 @@ read_function(_mesa_glsl_parse_state *st, s_list *list, bool skip_body)
|
|||||||
ir_function *f = st->symbols->get_function(name->value());
|
ir_function *f = st->symbols->get_function(name->value());
|
||||||
if (f == NULL) {
|
if (f == NULL) {
|
||||||
f = new(ctx) ir_function(name->value());
|
f = new(ctx) ir_function(name->value());
|
||||||
f->is_builtin = true;
|
|
||||||
added = st->symbols->add_function(f->name, f);
|
added = st->symbols->add_function(f->name, f);
|
||||||
assert(added);
|
assert(added);
|
||||||
}
|
}
|
||||||
@@ -291,6 +290,7 @@ read_function_sig(_mesa_glsl_parse_state *st, ir_function *f, s_list *list,
|
|||||||
if (sig == NULL && skip_body) {
|
if (sig == NULL && skip_body) {
|
||||||
/* If scanning for prototypes, generate a new signature. */
|
/* If scanning for prototypes, generate a new signature. */
|
||||||
sig = new(ctx) ir_function_signature(return_type);
|
sig = new(ctx) ir_function_signature(return_type);
|
||||||
|
sig->is_builtin = true;
|
||||||
f->add_signature(sig);
|
f->add_signature(sig);
|
||||||
} else if (sig != NULL) {
|
} else if (sig != NULL) {
|
||||||
const char *badvar = sig->qualifiers_match(&hir_parameters);
|
const char *badvar = sig->qualifiers_match(&hir_parameters);
|
||||||
|
@@ -740,14 +740,14 @@ link_intrastage_shaders(GLcontext *ctx,
|
|||||||
ir_function_signature *sig =
|
ir_function_signature *sig =
|
||||||
(ir_function_signature *) iter.get();
|
(ir_function_signature *) iter.get();
|
||||||
|
|
||||||
if (!sig->is_defined || f->is_builtin)
|
if (!sig->is_defined || sig->is_builtin)
|
||||||
continue;
|
continue;
|
||||||
|
|
||||||
ir_function_signature *other_sig =
|
ir_function_signature *other_sig =
|
||||||
other->exact_matching_signature(& sig->parameters);
|
other->exact_matching_signature(& sig->parameters);
|
||||||
|
|
||||||
if ((other_sig != NULL) && other_sig->is_defined
|
if ((other_sig != NULL) && other_sig->is_defined
|
||||||
&& !other_sig->function()->is_builtin) {
|
&& !other_sig->is_builtin) {
|
||||||
linker_error_printf(prog,
|
linker_error_printf(prog,
|
||||||
"function `%s' is multiply defined",
|
"function `%s' is multiply defined",
|
||||||
f->name);
|
f->name);
|
||||||
|
Reference in New Issue
Block a user