2 * Copyright © 2014 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 DEALINGS
24 * Connor Abbott (cwabbott0@gmail.com)
28 #include "nir_types.h"
29 #include "compiler/glsl/ir.h"
32 glsl_get_type_name(const glsl_type
*type
)
38 glsl_get_array_element(const glsl_type
* type
)
40 if (type
->is_matrix())
41 return type
->column_type();
42 else if (type
->is_vector())
43 return type
->get_scalar_type();
44 return type
->fields
.array
;
48 glsl_without_array(const glsl_type
*type
)
50 return type
->without_array();
54 glsl_without_array_or_matrix(const glsl_type
*type
)
56 type
= type
->without_array();
57 if (type
->is_matrix())
58 type
= type
->column_type();
63 glsl_get_bare_type(const glsl_type
*type
)
65 return type
->get_bare_type();
69 glsl_get_struct_field(const glsl_type
*type
, unsigned index
)
71 return type
->fields
.structure
[index
].type
;
75 glsl_get_struct_field_offset(const struct glsl_type
*type
,
78 return type
->fields
.structure
[index
].offset
;
81 const struct glsl_struct_field
*
82 glsl_get_struct_field_data(const struct glsl_type
*type
, unsigned index
)
84 assert(type
->is_struct() || type
->is_interface());
85 assert(index
< type
->length
);
86 return &type
->fields
.structure
[index
];
90 glsl_get_explicit_stride(const struct glsl_type
*type
)
92 return type
->explicit_stride
;
96 glsl_get_function_return_type(const glsl_type
*type
)
98 return type
->fields
.parameters
[0].type
;
101 const glsl_function_param
*
102 glsl_get_function_param(const glsl_type
*type
, unsigned index
)
104 return &type
->fields
.parameters
[index
+ 1];
107 const struct glsl_type
*
108 glsl_get_column_type(const struct glsl_type
*type
)
110 return type
->column_type();
114 glsl_get_gl_type(const struct glsl_type
*type
)
116 return type
->gl_type
;
120 glsl_get_base_type(const struct glsl_type
*type
)
122 return type
->base_type
;
126 glsl_get_vector_elements(const struct glsl_type
*type
)
128 return type
->vector_elements
;
132 glsl_get_components(const struct glsl_type
*type
)
134 return type
->components();
138 glsl_get_matrix_columns(const struct glsl_type
*type
)
140 return type
->matrix_columns
;
144 glsl_get_length(const struct glsl_type
*type
)
146 return type
->is_matrix() ? type
->matrix_columns
: type
->length
;
150 glsl_get_aoa_size(const struct glsl_type
*type
)
152 return type
->arrays_of_arrays_size();
156 glsl_count_vec4_slots(const struct glsl_type
*type
,
157 bool is_gl_vertex_input
, bool is_bindless
)
159 return type
->count_vec4_slots(is_gl_vertex_input
, is_bindless
);
163 glsl_count_dword_slots(const struct glsl_type
*type
, bool is_bindless
)
165 return type
->count_dword_slots(is_bindless
);
169 glsl_count_attribute_slots(const struct glsl_type
*type
,
170 bool is_gl_vertex_input
)
172 return type
->count_attribute_slots(is_gl_vertex_input
);
176 glsl_get_component_slots(const struct glsl_type
*type
)
178 return type
->component_slots();
182 glsl_varying_count(const struct glsl_type
*type
)
184 return type
->varying_count();
188 glsl_get_struct_elem_name(const struct glsl_type
*type
, unsigned index
)
190 return type
->fields
.structure
[index
].name
;
194 glsl_get_sampler_dim(const struct glsl_type
*type
)
196 assert(glsl_type_is_sampler(type
) || glsl_type_is_image(type
));
197 return (glsl_sampler_dim
)type
->sampler_dimensionality
;
201 glsl_get_sampler_result_type(const struct glsl_type
*type
)
203 assert(glsl_type_is_sampler(type
) || glsl_type_is_image(type
));
204 return (glsl_base_type
)type
->sampled_type
;
208 glsl_get_sampler_target(const struct glsl_type
*type
)
210 assert(glsl_type_is_sampler(type
));
211 return type
->sampler_index();
215 glsl_get_sampler_coordinate_components(const struct glsl_type
*type
)
217 assert(glsl_type_is_sampler(type
) || glsl_type_is_image(type
));
218 return type
->coordinate_components();
222 glsl_get_struct_location_offset(const struct glsl_type
*type
,
225 return type
->struct_location_offset(length
);
229 glsl_type_is_16bit(const glsl_type
*type
)
231 return type
->is_16bit();
235 glsl_type_is_32bit(const glsl_type
*type
)
237 return type
->is_32bit();
241 glsl_type_is_64bit(const glsl_type
*type
)
243 return type
->is_64bit();
247 glsl_type_is_void(const glsl_type
*type
)
249 return type
->is_void();
253 glsl_type_is_error(const glsl_type
*type
)
255 return type
->is_error();
259 glsl_type_is_vector(const struct glsl_type
*type
)
261 return type
->is_vector();
265 glsl_type_is_scalar(const struct glsl_type
*type
)
267 return type
->is_scalar();
271 glsl_type_is_vector_or_scalar(const struct glsl_type
*type
)
273 return type
->is_vector() || type
->is_scalar();
277 glsl_type_is_matrix(const struct glsl_type
*type
)
279 return type
->is_matrix();
283 glsl_matrix_type_is_row_major(const struct glsl_type
*type
)
285 assert(type
->is_matrix() && type
->explicit_stride
);
286 return type
->interface_row_major
;
290 glsl_type_is_array(const struct glsl_type
*type
)
292 return type
->is_array();
296 glsl_type_is_unsized_array(const struct glsl_type
*type
)
298 return type
->is_unsized_array();
302 glsl_type_is_array_of_arrays(const struct glsl_type
*type
)
304 return type
->is_array_of_arrays();
308 glsl_type_is_array_or_matrix(const struct glsl_type
*type
)
310 return type
->is_array() || type
->is_matrix();
314 glsl_type_is_struct(const struct glsl_type
*type
)
316 return type
->is_struct();
320 glsl_type_is_interface(const struct glsl_type
*type
)
322 return type
->is_interface();
326 glsl_type_is_struct_or_ifc(const struct glsl_type
*type
)
328 return type
->is_struct() || type
->is_interface();
332 glsl_type_is_sampler(const struct glsl_type
*type
)
334 return type
->is_sampler();
338 glsl_type_is_image(const struct glsl_type
*type
)
340 return type
->is_image();
344 glsl_sampler_type_is_shadow(const struct glsl_type
*type
)
346 assert(glsl_type_is_sampler(type
));
347 return type
->sampler_shadow
;
351 glsl_sampler_type_is_array(const struct glsl_type
*type
)
353 assert(glsl_type_is_sampler(type
) || glsl_type_is_image(type
));
354 return type
->sampler_array
;
358 glsl_type_is_dual_slot(const struct glsl_type
*type
)
360 return type
->is_dual_slot();
364 glsl_type_is_numeric(const struct glsl_type
*type
)
366 return type
->is_numeric();
370 glsl_type_is_boolean(const struct glsl_type
*type
)
372 return type
->is_boolean();
375 glsl_type_is_integer(const struct glsl_type
*type
)
377 return type
->is_integer();
381 glsl_type_contains_64bit(const struct glsl_type
*type
)
383 return type
->contains_64bit();
389 return glsl_type::void_type
;
393 glsl_float_type(void)
395 return glsl_type::float_type
;
399 glsl_double_type(void)
401 return glsl_type::double_type
;
405 glsl_float16_t_type(void)
407 return glsl_type::float16_t_type
;
411 glsl_vec_type(unsigned n
)
413 return glsl_type::vec(n
);
417 glsl_dvec_type(unsigned n
)
419 return glsl_type::dvec(n
);
425 return glsl_type::vec4_type
;
429 glsl_uvec4_type(void)
431 return glsl_type::uvec4_type
;
437 return glsl_type::int_type
;
443 return glsl_type::uint_type
;
447 glsl_int64_t_type(void)
449 return glsl_type::int64_t_type
;
453 glsl_uint64_t_type(void)
455 return glsl_type::uint64_t_type
;
459 glsl_int16_t_type(void)
461 return glsl_type::int16_t_type
;
465 glsl_uint16_t_type(void)
467 return glsl_type::uint16_t_type
;
471 glsl_int8_t_type(void)
473 return glsl_type::int8_t_type
;
477 glsl_uint8_t_type(void)
479 return glsl_type::uint8_t_type
;
485 return glsl_type::bool_type
;
489 glsl_scalar_type(enum glsl_base_type base_type
)
491 return glsl_type::get_instance(base_type
, 1, 1);
495 glsl_vector_type(enum glsl_base_type base_type
, unsigned components
)
497 const glsl_type
*t
= glsl_type::get_instance(base_type
, components
, 1);
498 assert(t
!= glsl_type::error_type
);
503 glsl_matrix_type(enum glsl_base_type base_type
, unsigned rows
, unsigned columns
)
505 const glsl_type
*t
= glsl_type::get_instance(base_type
, rows
, columns
);
506 assert(t
!= glsl_type::error_type
);
511 glsl_explicit_matrix_type(const glsl_type
*mat
,
512 unsigned stride
, bool row_major
)
515 const glsl_type
*t
= glsl_type::get_instance(mat
->base_type
,
516 mat
->vector_elements
,
519 assert(t
!= glsl_type::error_type
);
524 glsl_array_type(const glsl_type
*base
, unsigned elements
,
525 unsigned explicit_stride
)
527 return glsl_type::get_array_instance(base
, elements
, explicit_stride
);
531 glsl_replace_vector_type(const glsl_type
*t
, unsigned components
)
533 if (glsl_type_is_array(t
)) {
534 return glsl_array_type(
535 glsl_replace_vector_type(t
->fields
.array
, components
), t
->length
,
537 } else if (glsl_type_is_vector_or_scalar(t
)) {
538 return glsl_vector_type(t
->base_type
, components
);
540 unreachable("Unhandled base type glsl_replace_vector_type()");
545 glsl_struct_type(const glsl_struct_field
*fields
,
546 unsigned num_fields
, const char *name
,
549 return glsl_type::get_struct_instance(fields
, num_fields
, name
, packed
);
553 glsl_interface_type(const glsl_struct_field
*fields
,
555 enum glsl_interface_packing packing
,
557 const char *block_name
)
559 return glsl_type::get_interface_instance(fields
, num_fields
, packing
,
560 row_major
, block_name
);
563 const struct glsl_type
*
564 glsl_sampler_type(enum glsl_sampler_dim dim
, bool is_shadow
, bool is_array
,
565 enum glsl_base_type base_type
)
567 return glsl_type::get_sampler_instance(dim
, is_shadow
, is_array
, base_type
);
570 const struct glsl_type
*
571 glsl_bare_sampler_type()
573 return glsl_type::sampler_type
;
576 const struct glsl_type
*
577 glsl_image_type(enum glsl_sampler_dim dim
, bool is_array
,
578 enum glsl_base_type base_type
)
580 return glsl_type::get_image_instance(dim
, is_array
, base_type
);
584 glsl_function_type(const glsl_type
*return_type
,
585 const glsl_function_param
*params
, unsigned num_params
)
587 return glsl_type::get_function_instance(return_type
, params
, num_params
);
591 glsl_transposed_type(const struct glsl_type
*type
)
593 assert(glsl_type_is_matrix(type
));
594 return glsl_type::get_instance(type
->base_type
, type
->matrix_columns
,
595 type
->vector_elements
);
599 glsl_channel_type(const glsl_type
*t
)
601 switch (t
->base_type
) {
602 case GLSL_TYPE_ARRAY
:
603 return glsl_array_type(glsl_channel_type(t
->fields
.array
), t
->length
,
607 case GLSL_TYPE_FLOAT
:
608 case GLSL_TYPE_FLOAT16
:
609 case GLSL_TYPE_DOUBLE
:
610 case GLSL_TYPE_UINT8
:
612 case GLSL_TYPE_UINT16
:
613 case GLSL_TYPE_INT16
:
614 case GLSL_TYPE_UINT64
:
615 case GLSL_TYPE_INT64
:
617 return glsl_type::get_instance(t
->base_type
, 1, 1);
619 unreachable("Unhandled base type glsl_channel_type()");
624 glsl_float16_type(const struct glsl_type
*type
)
626 return type
->get_float16_type();
630 glsl_get_natural_size_align_bytes(const struct glsl_type
*type
,
631 unsigned *size
, unsigned *align
)
633 switch (type
->base_type
) {
635 /* We special-case Booleans to 32 bits to not cause heartburn for
636 * drivers that suddenly get an 8-bit load.
638 *size
= 4 * type
->components();
642 case GLSL_TYPE_UINT8
:
644 case GLSL_TYPE_UINT16
:
645 case GLSL_TYPE_INT16
:
646 case GLSL_TYPE_FLOAT16
:
649 case GLSL_TYPE_FLOAT
:
650 case GLSL_TYPE_DOUBLE
:
651 case GLSL_TYPE_UINT64
:
652 case GLSL_TYPE_INT64
: {
653 unsigned N
= glsl_get_bit_size(type
) / 8;
654 *size
= N
* type
->components();
659 case GLSL_TYPE_ARRAY
: {
660 unsigned elem_size
= 0, elem_align
= 0;
661 glsl_get_natural_size_align_bytes(type
->fields
.array
,
662 &elem_size
, &elem_align
);
664 *size
= type
->length
* ALIGN_POT(elem_size
, elem_align
);
668 case GLSL_TYPE_STRUCT
:
671 for (unsigned i
= 0; i
< type
->length
; i
++) {
672 unsigned elem_size
= 0, elem_align
= 0;
673 glsl_get_natural_size_align_bytes(type
->fields
.structure
[i
].type
,
674 &elem_size
, &elem_align
);
675 *align
= MAX2(*align
, elem_align
);
676 *size
= ALIGN_POT(*size
, elem_align
) + elem_size
;
680 case GLSL_TYPE_SAMPLER
:
681 case GLSL_TYPE_IMAGE
:
682 /* Bindless samplers and images. */
687 case GLSL_TYPE_ATOMIC_UINT
:
688 case GLSL_TYPE_SUBROUTINE
:
690 case GLSL_TYPE_ERROR
:
691 case GLSL_TYPE_INTERFACE
:
692 case GLSL_TYPE_FUNCTION
:
693 unreachable("type does not have a natural size");
698 glsl_atomic_uint_type(void)
700 return glsl_type::atomic_uint_type
;
704 glsl_atomic_size(const struct glsl_type
*type
)
706 return type
->atomic_size();
710 glsl_contains_atomic(const struct glsl_type
*type
)
712 return type
->contains_atomic();
716 glsl_contains_opaque(const struct glsl_type
*type
)
718 return type
->contains_opaque();
722 glsl_get_cl_size(const struct glsl_type
*type
)
724 return type
->cl_size();
728 glsl_get_cl_alignment(const struct glsl_type
*type
)
730 return type
->cl_alignment();
734 glsl_type_get_sampler_count(const struct glsl_type
*type
)
736 if (glsl_type_is_array(type
)) {
737 return (glsl_get_aoa_size(type
) *
738 glsl_type_get_sampler_count(glsl_without_array(type
)));
741 if (glsl_type_is_struct_or_ifc(type
)) {
743 for (unsigned i
= 0; i
< glsl_get_length(type
); i
++)
744 count
+= glsl_type_get_sampler_count(glsl_get_struct_field(type
, i
));
748 if (glsl_type_is_sampler(type
))
755 glsl_type_get_image_count(const struct glsl_type
*type
)
757 if (glsl_type_is_array(type
)) {
758 return (glsl_get_aoa_size(type
) *
759 glsl_type_get_image_count(glsl_without_array(type
)));
762 if (glsl_type_is_struct_or_ifc(type
)) {
764 for (unsigned i
= 0; i
< glsl_get_length(type
); i
++)
765 count
+= glsl_type_get_image_count(glsl_get_struct_field(type
, i
));
769 if (glsl_type_is_image(type
))
775 const enum glsl_interface_packing
776 glsl_get_internal_ifc_packing(const struct glsl_type
*type
,
777 bool std430_supported
)
779 return type
->get_internal_ifc_packing(std430_supported
);
783 glsl_get_std140_base_alignment(const struct glsl_type
*type
, bool row_major
)
785 return type
->std140_base_alignment(row_major
);
789 glsl_get_std140_size(const struct glsl_type
*type
, bool row_major
)
791 return type
->std140_size(row_major
);
795 glsl_get_explicit_size(const struct glsl_type
*type
, bool align_to_stride
)
797 return type
->explicit_size(align_to_stride
);
801 glsl_type_is_leaf(const struct glsl_type
*type
)
803 if (glsl_type_is_struct_or_ifc(type
) ||
804 (glsl_type_is_array(type
) &&
805 (glsl_type_is_array(glsl_get_array_element(type
)) ||
806 glsl_type_is_struct_or_ifc(glsl_get_array_element(type
))))) {
813 const struct glsl_type
*
814 glsl_get_explicit_type_for_size_align(const struct glsl_type
*type
,
815 glsl_type_size_align_func type_info
,
816 unsigned *size
, unsigned *align
)
818 return type
->get_explicit_type_for_size_align(type_info
, size
, align
);