2 * Copyright © 2010 Intel Corporation
4 * Permission is hereby granted, free of charge, to any person obtaining a
5 * copy of this software and associated documentation files (the "Software"),
6 * to deal in the Software without restriction, including without limitation
7 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8 * and/or sell copies of the Software, and to permit persons to whom the
9 * Software is furnished to do so, subject to the following conditions:
11 * The above copyright notice and this permission notice (including the next
12 * paragraph) shall be included in all copies or substantial portions of the
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
18 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
21 * DEALINGS IN THE SOFTWARE.
24 #include "glsl_types.h"
28 type_compare(const glsl_type
*a
, const glsl_type
*b
)
30 /* If the types are the same, they trivially match.
35 switch (a
->base_type
) {
40 if ((a
->vector_elements
!= b
->vector_elements
)
41 || (a
->matrix_columns
!= b
->matrix_columns
))
44 /* There is no implicit conversion to or from bool.
46 if ((a
->base_type
== GLSL_TYPE_BOOL
)
47 || (b
->base_type
== GLSL_TYPE_BOOL
))
52 case GLSL_TYPE_SAMPLER
:
53 case GLSL_TYPE_STRUCT
:
54 /* Samplers and structures must match exactly.
59 if ((b
->base_type
!= GLSL_TYPE_ARRAY
)
60 || (a
->length
!= b
->length
))
63 /* From GLSL 1.50 spec, page 27 (page 33 of the PDF):
64 * "There are no implicit array or structure conversions."
66 * If the comparison of the array element types detects that a conversion
67 * would be required, the array types do not match.
69 return (type_compare(a
->fields
.array
, b
->fields
.array
) == 0) ? 0 : -1;
71 case GLSL_TYPE_FUNCTION
:
75 /* These are all error conditions. It is invalid for a parameter to
76 * a function to be declared as error, void, or a function.
81 /* This point should be unreachable.
88 parameter_lists_match(exec_list
*list_a
, exec_list
*list_b
)
90 exec_list_iterator iter_a
= list_a
->iterator();
91 exec_list_iterator iter_b
= list_b
->iterator();
94 for (/* empty */ ; iter_a
.has_next(); iter_a
.next(), iter_b
.next()) {
95 /* If all of the parameters from the other parameter list have been
96 * exhausted, the lists have different length and, by definition,
99 if (!iter_b
.has_next())
103 const ir_variable
*const param
= (ir_variable
*) iter_a
.get();
104 const ir_instruction
*const actual
= (ir_instruction
*) iter_b
.get();
106 /* Determine whether or not the types match. If the types are an
107 * exact match, the match score is zero. If the types don't match
108 * but the actual parameter can be coerced to the type of the declared
109 * parameter, the match score is one.
112 switch ((enum ir_variable_mode
)(param
->mode
)) {
115 /* These are all error conditions. It is invalid for a parameter to
116 * a function to be declared as auto (not in, out, or inout) or
123 score
= type_compare(param
->type
, actual
->type
);
127 /* FINISHME: Make sure that actual is a valid lvalue. */
128 score
= type_compare(actual
->type
, param
->type
);
132 /* FINISHME: Make sure that actual is a valid lvalue. */
134 /* Since there are no bi-directional automatic conversions (e.g.,
135 * there is int -> float but no float -> int), inout parameters must
138 score
= (type_compare(actual
->type
, param
->type
) == 0) ? 0 : -1;
145 total_score
+= score
;
148 /* If all of the parameters from the other parameter list have been
149 * exhausted, the lists have different length and, by definition, do not
152 if (iter_b
.has_next())
159 const ir_function_signature
*
160 ir_function::matching_signature(exec_list
*actual_parameters
)
162 ir_function_signature
*match
= NULL
;
164 foreach_iter(exec_list_iterator
, iter
, signatures
) {
165 ir_function_signature
*const sig
=
166 (ir_function_signature
*) iter
.get();
168 const int score
= parameter_lists_match(& sig
->parameters
,