Edit
IABSD.fr/xenocara/lib/mesa/src/vulkan/runtime/vk_nir.c
jsg
- lib/mesa/src/vulkan/runtime/vk_nir.c
-
/* * Copyright © 2015 Intel Corporation * Copyright © 2022 Collabora, LTD * * 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 (including the next * paragraph) 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 * THE AUTHORS OR COPYRIGHT HOLDERS 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. */ #include "vk_nir.h" #include "compiler/nir/nir_xfb_info.h" #include "compiler/spirv/nir_spirv.h" #include "vk_device.h" #include "vk_log.h" #include "vk_physical_device.h" #include "vk_util.h" #define SPIR_V_MAGIC_NUMBER 0x07230203 uint32_t vk_spirv_version(const uint32_t *spirv_data, size_t spirv_size_B) { assert(spirv_size_B >= 8); assert(spirv_data[0] == SPIR_V_MAGIC_NUMBER); return spirv_data[1]; } static void spirv_nir_debug(void *private_data, enum nir_spirv_debug_level level, size_t spirv_offset, const char *message) { const struct vk_object_base *log_obj = private_data; switch (level) { case NIR_SPIRV_DEBUG_LEVEL_INFO: //vk_logi(VK_LOG_OBJS(log_obj), "SPIR-V offset %lu: %s", // (unsigned long) spirv_offset, message); break; case NIR_SPIRV_DEBUG_LEVEL_WARNING: vk_logw(VK_LOG_OBJS(log_obj), "SPIR-V offset %lu: %s", (unsigned long) spirv_offset, message); break; case NIR_SPIRV_DEBUG_LEVEL_ERROR: vk_loge(VK_LOG_OBJS(log_obj), "SPIR-V offset %lu: %s", (unsigned long) spirv_offset, message); break; default: break; } } bool nir_vk_is_not_xfb_output(nir_variable *var, void *data) { if (var->data.mode != nir_var_shader_out) return true; /* From the Vulkan 1.3.259 spec: * * VUID-StandaloneSpirv-Offset-04716 * * "Only variables or block members in the output interface decorated * with Offset can be captured for transform feedback, and those * variables or block members must also be decorated with XfbBuffer * and XfbStride, or inherit XfbBuffer and XfbStride decorations from * a block containing them" * * glslang generates gl_PerVertex builtins when they are not declared, * enabled XFB should not prevent them from being DCE'd. * * The logic should match nir_gather_xfb_info_with_varyings */ if (!var->data.explicit_xfb_buffer) return true; bool is_array_block = var->interface_type != NULL && glsl_type_is_array(var->type) && glsl_without_array(var->type) == var->interface_type; if (!is_array_block) { return !var->data.explicit_offset; } else { /* For array of blocks we have to check each element */ unsigned aoa_size = glsl_get_aoa_size(var->type); const struct glsl_type *itype = var->interface_type; unsigned nfields = glsl_get_length(itype); for (unsigned b = 0; b < aoa_size; b++) { for (unsigned f = 0; f < nfields; f++) { if (glsl_get_struct_field_offset(itype, f) >= 0) return false; } } return true; } } nir_shader * vk_spirv_to_nir(struct vk_device *device, const uint32_t *spirv_data, size_t spirv_size_B, gl_shader_stage stage, const char *entrypoint_name, enum gl_subgroup_size subgroup_size, const VkSpecializationInfo *spec_info, const struct spirv_to_nir_options *spirv_options, const struct nir_shader_compiler_options *nir_options, bool internal, void *mem_ctx) { assert(spirv_size_B >= 4 && spirv_size_B % 4 == 0); assert(spirv_data[0] == SPIR_V_MAGIC_NUMBER); const struct spirv_capabilities spirv_caps = vk_physical_device_get_spirv_capabilities(device->physical); struct spirv_to_nir_options spirv_options_local = *spirv_options; spirv_options_local.capabilities = &spirv_caps; spirv_options_local.debug.func = spirv_nir_debug; spirv_options_local.debug.private_data = (void *)device; spirv_options_local.subgroup_size = subgroup_size; uint32_t num_spec_entries = 0; struct nir_spirv_specialization *spec_entries = vk_spec_info_to_nir_spirv(spec_info, &num_spec_entries); nir_shader *nir = spirv_to_nir(spirv_data, spirv_size_B / 4, spec_entries, num_spec_entries, stage, entrypoint_name, &spirv_options_local, nir_options); free(spec_entries); if (nir == NULL) return NULL; assert(nir->info.stage == stage); nir_validate_shader(nir, "after spirv_to_nir"); if (mem_ctx != NULL) ralloc_steal(mem_ctx, nir); nir->info.internal = internal; /* We have to lower away local constant initializers right before we * inline functions. That way they get properly initialized at the top * of the function and not at the top of its caller. */ NIR_PASS_V(nir, nir_lower_variable_initializers, nir_var_function_temp); NIR_PASS_V(nir, nir_lower_returns); NIR_PASS_V(nir, nir_inline_functions); NIR_PASS_V(nir, nir_copy_prop); NIR_PASS_V(nir, nir_opt_deref); /* Pick off the single entrypoint that we want */ nir_remove_non_entrypoints(nir); /* Now that we've deleted all but the main function, we can go ahead and * lower the rest of the constant initializers. We do this here so that * nir_remove_dead_variables and split_per_member_structs below see the * corresponding stores. */ NIR_PASS_V(nir, nir_lower_variable_initializers, ~0); /* Split member structs. We do this before lower_io_to_temporaries so that * it doesn't lower system values to temporaries by accident. */ NIR_PASS_V(nir, nir_split_var_copies); NIR_PASS_V(nir, nir_split_per_member_structs); nir_remove_dead_variables_options dead_vars_opts = { .can_remove_var = nir_vk_is_not_xfb_output, }; NIR_PASS_V(nir, nir_remove_dead_variables, nir_var_shader_in | nir_var_shader_out | nir_var_system_value | nir_var_shader_call_data | nir_var_ray_hit_attrib, &dead_vars_opts); /* This needs to happen after remove_dead_vars because GLSLang likes to * insert dead clip/cull vars and we don't want to clip/cull based on * uninitialized garbage. */ NIR_PASS_V(nir, nir_lower_clip_cull_distance_arrays); if (nir->info.stage == MESA_SHADER_VERTEX || nir->info.stage == MESA_SHADER_TESS_EVAL || nir->info.stage == MESA_SHADER_GEOMETRY) NIR_PASS_V(nir, nir_shader_gather_xfb_info); NIR_PASS_V(nir, nir_propagate_invariant, false); return nir; }