| /* |
| * Mesa 3-D graphics library |
| * Version: 6.5 |
| * |
| * Copyright (C) 2005-2006 Brian Paul All Rights Reserved. |
| * |
| * Permission is hereby granted, free of charge, to any person obtaining a |
| * copy of this software and associated documentation files (the "Software"), |
| * to deal in the Software without restriction, including without limitation |
| * the rights to use, copy, modify, merge, publish, distribute, sublicense, |
| * and/or sell copies of the Software, and to permit persons to whom the |
| * Software is furnished to do so, subject to the following conditions: |
| * |
| * The above copyright notice and this permission notice shall be included |
| * in all copies or substantial portions of the Software. |
| * |
| * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS |
| * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
| * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL |
| * BRIAN PAUL BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN |
| * AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN |
| * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. |
| */ |
| |
| /** |
| * \file slang_compile_function.c |
| * slang front-end compiler |
| * \author Michal Krol |
| */ |
| |
| #include "main/imports.h" |
| #include "slang_compile.h" |
| #include "slang_mem.h" |
| |
| |
| int |
| slang_function_construct(slang_function * func) |
| { |
| func->kind = SLANG_FUNC_ORDINARY; |
| if (!slang_variable_construct(&func->header)) |
| return 0; |
| |
| func->parameters = (slang_variable_scope *) |
| _slang_alloc(sizeof(slang_variable_scope)); |
| if (func->parameters == NULL) { |
| slang_variable_destruct(&func->header); |
| return 0; |
| } |
| |
| _slang_variable_scope_ctr(func->parameters); |
| func->param_count = 0; |
| func->body = NULL; |
| return 1; |
| } |
| |
| void |
| slang_function_destruct(slang_function * func) |
| { |
| slang_variable_destruct(&func->header); |
| slang_variable_scope_destruct(func->parameters); |
| _slang_free(func->parameters); |
| if (func->body != NULL) { |
| slang_operation_destruct(func->body); |
| _slang_free(func->body); |
| } |
| } |
| |
| |
| slang_function * |
| slang_function_new(slang_function_kind kind) |
| { |
| slang_function *fun = (slang_function *) |
| _slang_alloc(sizeof(slang_function)); |
| if (fun) { |
| slang_function_construct(fun); |
| fun->kind = kind; |
| } |
| return fun; |
| } |
| |
| |
| /* |
| * slang_function_scope |
| */ |
| |
| GLvoid |
| _slang_function_scope_ctr(slang_function_scope * self) |
| { |
| self->functions = NULL; |
| self->num_functions = 0; |
| self->outer_scope = NULL; |
| } |
| |
| void |
| slang_function_scope_destruct(slang_function_scope * scope) |
| { |
| unsigned int i; |
| |
| for (i = 0; i < scope->num_functions; i++) |
| slang_function_destruct(scope->functions + i); |
| _slang_free(scope->functions); |
| } |
| |
| |
| /** |
| * Does this function have a non-void return value? |
| */ |
| GLboolean |
| _slang_function_has_return_value(const slang_function *fun) |
| { |
| return fun->header.type.specifier.type != SLANG_SPEC_VOID; |
| } |
| |
| |
| /** |
| * Search a list of functions for a particular function by name. |
| * \param funcs the list of functions to search |
| * \param a_name the name to search for |
| * \param all_scopes if non-zero, search containing scopes too. |
| * \return pointer to found function, or NULL. |
| */ |
| int |
| slang_function_scope_find_by_name(slang_function_scope * funcs, |
| slang_atom a_name, int all_scopes) |
| { |
| unsigned int i; |
| |
| for (i = 0; i < funcs->num_functions; i++) |
| if (a_name == funcs->functions[i].header.a_name) |
| return 1; |
| if (all_scopes && funcs->outer_scope != NULL) |
| return slang_function_scope_find_by_name(funcs->outer_scope, a_name, 1); |
| return 0; |
| } |
| |
| |
| /** |
| * Search a list of functions for a particular function (for implementing |
| * function calls. Matching is done by first comparing the function's name, |
| * then the function's parameter list. |
| * |
| * \param funcs the list of functions to search |
| * \param fun the function to search for |
| * \param all_scopes if non-zero, search containing scopes too. |
| * \return pointer to found function, or NULL. |
| */ |
| slang_function * |
| slang_function_scope_find(slang_function_scope * funcs, slang_function * fun, |
| int all_scopes) |
| { |
| unsigned int i; |
| |
| for (i = 0; i < funcs->num_functions; i++) { |
| slang_function *f = &funcs->functions[i]; |
| const GLuint haveRetValue = 0; |
| #if 0 |
| = (f->header.type.specifier.type != SLANG_SPEC_VOID); |
| #endif |
| unsigned int j; |
| |
| /* |
| printf("Compare name %s to %s (ret %u, %d, %d)\n", |
| (char *) fun->header.a_name, (char *) f->header.a_name, |
| haveRetValue, |
| fun->param_count, f->param_count); |
| */ |
| |
| if (fun->header.a_name != f->header.a_name) |
| continue; |
| if (fun->param_count != f->param_count) |
| continue; |
| for (j = haveRetValue; j < fun->param_count; j++) { |
| if (!slang_type_specifier_equal |
| (&fun->parameters->variables[j]->type.specifier, |
| &f->parameters->variables[j]->type.specifier)) |
| break; |
| } |
| if (j == fun->param_count) { |
| /* |
| printf("Found match\n"); |
| */ |
| return f; |
| } |
| } |
| /* |
| printf("Not found\n"); |
| */ |
| if (all_scopes && funcs->outer_scope != NULL) |
| return slang_function_scope_find(funcs->outer_scope, fun, 1); |
| return NULL; |
| } |
| |
| |
| /** |
| * Lookup a function according to name and parameter count/types. |
| */ |
| slang_function * |
| _slang_function_locate(const slang_function_scope * funcs, slang_atom a_name, |
| slang_operation * args, GLuint num_args, |
| const slang_name_space * space, slang_atom_pool * atoms, |
| slang_info_log *log, GLboolean *error) |
| { |
| slang_typeinfo arg_ti[100]; |
| GLuint i; |
| |
| *error = GL_FALSE; |
| |
| /* determine type of each argument */ |
| assert(num_args < 100); |
| for (i = 0; i < num_args; i++) { |
| if (!slang_typeinfo_construct(&arg_ti[i])) |
| return NULL; |
| if (!_slang_typeof_operation(&args[i], space, &arg_ti[i], atoms, log)) { |
| return NULL; |
| } |
| } |
| |
| /* loop over function scopes */ |
| while (funcs) { |
| |
| /* look for function with matching name and argument/param types */ |
| for (i = 0; i < funcs->num_functions; i++) { |
| slang_function *f = &funcs->functions[i]; |
| const GLuint haveRetValue = _slang_function_has_return_value(f); |
| GLuint j; |
| |
| if (a_name != f->header.a_name) |
| continue; |
| if (f->param_count - haveRetValue != num_args) |
| continue; |
| |
| /* compare parameter / argument types */ |
| for (j = 0; j < num_args; j++) { |
| if (!slang_type_specifier_compatible(&arg_ti[j].spec, |
| &f->parameters->variables[j]->type.specifier)) { |
| /* param/arg types don't match */ |
| break; |
| } |
| |
| /* "out" and "inout" formal parameter requires the actual |
| * argument to be an l-value. |
| */ |
| if (!arg_ti[j].can_be_referenced && |
| (f->parameters->variables[j]->type.qualifier == SLANG_QUAL_OUT || |
| f->parameters->variables[j]->type.qualifier == SLANG_QUAL_INOUT)) { |
| /* param is not an lvalue! */ |
| *error = GL_TRUE; |
| return NULL; |
| } |
| } |
| |
| if (j == num_args) { |
| /* name and args match! */ |
| return f; |
| } |
| } |
| |
| funcs = funcs->outer_scope; |
| } |
| |
| return NULL; |
| } |