spirv: Add support for using derefs for UBO/SSBO access
[mesa.git] / src / amd / vulkan / radv_shader.c
index 7589d9c88a56d000d783e1514838eaa8e6c3ec19..cc4bd1684f86254db3098b2ee0e1d6bb5b57b598 100644 (file)
 #include "radv_debug.h"
 #include "radv_private.h"
 #include "radv_shader.h"
+#include "radv_shader_helper.h"
 #include "nir/nir.h"
 #include "nir/nir_builder.h"
 #include "spirv/nir_spirv.h"
 
 #include <llvm-c/Core.h>
 #include <llvm-c/TargetMachine.h>
+#include <llvm-c/Support.h>
 
 #include "sid.h"
 #include "gfx9d.h"
@@ -69,7 +71,6 @@ static const struct nir_shader_compiler_options nir_options = {
        .lower_extract_word = true,
        .lower_ffma = true,
        .lower_fpow = true,
-       .vs_inputs_dual_locations = true,
        .max_unroll_iterations = 32
 };
 
@@ -89,7 +90,7 @@ VkResult radv_CreateShaderModule(
                             sizeof(*module) + pCreateInfo->codeSize, 8,
                             VK_SYSTEM_ALLOCATION_SCOPE_OBJECT);
        if (module == NULL)
-               return vk_error(VK_ERROR_OUT_OF_HOST_MEMORY);
+               return vk_error(device->instance, VK_ERROR_OUT_OF_HOST_MEMORY);
 
        module->nir = NULL;
        module->size = pCreateInfo->codeSize;
@@ -117,15 +118,32 @@ void radv_DestroyShaderModule(
 }
 
 void
-radv_optimize_nir(struct nir_shader *shader, bool optimize_conservatively)
+radv_optimize_nir(struct nir_shader *shader, bool optimize_conservatively,
+                  bool allow_copies)
 {
         bool progress;
 
         do {
                 progress = false;
 
+               NIR_PASS(progress, shader, nir_split_array_vars, nir_var_local);
+               NIR_PASS(progress, shader, nir_shrink_vec_array_vars, nir_var_local);
+
                 NIR_PASS_V(shader, nir_lower_vars_to_ssa);
                NIR_PASS_V(shader, nir_lower_pack);
+
+               if (allow_copies) {
+                       /* Only run this pass in the first call to
+                        * radv_optimize_nir.  Later calls assume that we've
+                        * lowered away any copy_deref instructions and we
+                        *  don't want to introduce any more.
+                       */
+                       NIR_PASS(progress, shader, nir_opt_find_array_copies);
+               }
+
+               NIR_PASS(progress, shader, nir_opt_copy_prop_vars);
+               NIR_PASS(progress, shader, nir_opt_dead_write_vars);
+
                 NIR_PASS_V(shader, nir_lower_alu_to_scalar);
                 NIR_PASS_V(shader, nir_lower_phis_to_scalar);
 
@@ -141,7 +159,7 @@ radv_optimize_nir(struct nir_shader *shader, bool optimize_conservatively)
                 NIR_PASS(progress, shader, nir_opt_if);
                 NIR_PASS(progress, shader, nir_opt_dead_cf);
                 NIR_PASS(progress, shader, nir_opt_cse);
-                NIR_PASS(progress, shader, nir_opt_peephole_select, 8);
+                NIR_PASS(progress, shader, nir_opt_peephole_select, 8, true, true);
                 NIR_PASS(progress, shader, nir_opt_algebraic);
                 NIR_PASS(progress, shader, nir_opt_constant_folding);
                 NIR_PASS(progress, shader, nir_opt_undef);
@@ -171,7 +189,7 @@ radv_shader_compile_to_nir(struct radv_device *device,
                 * and just use the NIR shader */
                nir = module->nir;
                nir->options = &nir_options;
-               nir_validate_shader(nir);
+               nir_validate_shader(nir, "in internal shader");
 
                assert(exec_list_length(&nir->functions) == 1);
                struct exec_node *node = exec_list_get_head(&nir->functions);
@@ -201,6 +219,7 @@ radv_shader_compile_to_nir(struct radv_device *device,
                        }
                }
                const struct spirv_to_nir_options spirv_options = {
+                       .lower_ubo_ssbo_access_to_offsets = true,
                        .caps = {
                                .device_group = true,
                                .draw_parameters = true,
@@ -209,7 +228,9 @@ radv_shader_compile_to_nir(struct radv_device *device,
                                .image_write_without_format = true,
                                .tessellation = true,
                                .int64 = true,
+                               .int16 = true,
                                .multiview = true,
+                               .subgroup_arithmetic = true,
                                .subgroup_ballot = true,
                                .subgroup_basic = true,
                                .subgroup_quad = true,
@@ -221,7 +242,16 @@ radv_shader_compile_to_nir(struct radv_device *device,
                                .shader_viewport_index_layer = true,
                                .descriptor_array_dynamic_indexing = true,
                                .runtime_descriptor_array = true,
+                               .stencil_export = true,
+                               .storage_16bit = true,
+                               .geometry_streams = true,
+                               .transform_feedback = true,
+                               .storage_image_ms = true,
                        },
+                       .ubo_ptr_type = glsl_vector_type(GLSL_TYPE_UINT, 2),
+                       .ssbo_ptr_type = glsl_vector_type(GLSL_TYPE_UINT, 2),
+                       .push_const_ptr_type = glsl_uint_type(),
+                       .shared_ptr_type = glsl_uint_type(),
                };
                entry_point = spirv_to_nir(spirv, module->size / 4,
                                           spec_entries, num_spec_entries,
@@ -229,7 +259,7 @@ radv_shader_compile_to_nir(struct radv_device *device,
                                           &spirv_options, &nir_options);
                nir = entry_point->shader;
                assert(nir->info.stage == stage);
-               nir_validate_shader(nir);
+               nir_validate_shader(nir, "after spirv_to_nir");
 
                free(spec_entries);
 
@@ -240,6 +270,7 @@ radv_shader_compile_to_nir(struct radv_device *device,
                NIR_PASS_V(nir, nir_lower_constant_initializers, nir_var_local);
                NIR_PASS_V(nir, nir_lower_returns);
                NIR_PASS_V(nir, nir_inline_functions);
+               NIR_PASS_V(nir, nir_opt_deref);
 
                /* Pick off the single entrypoint that we want */
                foreach_list_typed_safe(nir_function, func, node, &nir->functions) {
@@ -254,13 +285,20 @@ radv_shader_compile_to_nir(struct radv_device *device,
                 */
                NIR_PASS_V(nir, nir_lower_constant_initializers, nir_var_shader_out);
 
-               NIR_PASS_V(nir, nir_remove_dead_variables,
-                          nir_var_shader_in | nir_var_shader_out | nir_var_system_value);
-
                /* Now that we've deleted all but the main function, we can go ahead and
                 * lower the rest of the constant initializers.
                 */
                NIR_PASS_V(nir, nir_lower_constant_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_PASS_V(nir, nir_remove_dead_variables,
+                          nir_var_shader_in | nir_var_shader_out | nir_var_system_value);
+
                NIR_PASS_V(nir, nir_lower_system_values);
                NIR_PASS_V(nir, nir_lower_clip_cull_distance_arrays);
        }
@@ -277,7 +315,19 @@ radv_shader_compile_to_nir(struct radv_device *device,
        nir_lower_tex(nir, &tex_options);
 
        nir_lower_vars_to_ssa(nir);
-       nir_lower_var_copies(nir);
+
+       if (nir->info.stage == MESA_SHADER_VERTEX ||
+           nir->info.stage == MESA_SHADER_GEOMETRY) {
+               NIR_PASS_V(nir, nir_lower_io_to_temporaries,
+                          nir_shader_get_entrypoint(nir), true, true);
+       } else if (nir->info.stage == MESA_SHADER_TESS_EVAL||
+                  nir->info.stage == MESA_SHADER_FRAGMENT) {
+               NIR_PASS_V(nir, nir_lower_io_to_temporaries,
+                          nir_shader_get_entrypoint(nir), true, false);
+       }
+
+       nir_split_var_copies(nir);
+
        nir_lower_global_vars_to_local(nir);
        nir_remove_dead_variables(nir, nir_var_local);
        nir_lower_subgroups(nir, &(struct nir_lower_subgroups_options) {
@@ -290,8 +340,15 @@ radv_shader_compile_to_nir(struct radv_device *device,
                        .lower_vote_eq_to_ballot = 1,
                });
 
+       nir_lower_load_const_to_scalar(nir);
+
        if (!(flags & VK_PIPELINE_CREATE_DISABLE_OPTIMIZATION_BIT))
-               radv_optimize_nir(nir, false);
+               radv_optimize_nir(nir, false, true);
+
+       /* We call nir_lower_var_copies() after the first radv_optimize_nir()
+        * to remove any copies introduced by nir_opt_find_array_copies().
+        */
+       nir_lower_var_copies(nir);
 
        /* Indirect lowering must be called after the radv_optimize_nir() loop
         * has been called at least once. Otherwise indirect lowering can
@@ -299,7 +356,7 @@ radv_shader_compile_to_nir(struct radv_device *device,
         * considered too large for unrolling.
         */
        ac_lower_indirect_derefs(nir, device->physical_device->rad_info.chip_class);
-       radv_optimize_nir(nir, flags & VK_PIPELINE_CREATE_DISABLE_OPTIMIZATION_BIT);
+       radv_optimize_nir(nir, flags & VK_PIPELINE_CREATE_DISABLE_OPTIMIZATION_BIT, false);
 
        return nir;
 }
@@ -337,8 +394,8 @@ radv_alloc_shader_memory(struct radv_device *device,
        slab->bo = device->ws->buffer_create(device->ws, slab->size, 256,
                                             RADEON_DOMAIN_VRAM,
                                             RADEON_FLAG_NO_INTERPROCESS_SHARING |
-                                            device->physical_device->cpdma_prefetch_writes_memory ?
-                                                    0 : RADEON_FLAG_READ_ONLY);
+                                            (device->physical_device->cpdma_prefetch_writes_memory ?
+                                                    0 : RADEON_FLAG_READ_ONLY));
        slab->ptr = (char*)device->ws->buffer_map(slab->bo);
        list_inithead(&slab->shaders);
 
@@ -362,6 +419,16 @@ radv_destroy_shader_slabs(struct radv_device *device)
        mtx_destroy(&device->shader_slab_mutex);
 }
 
+/* For the UMR disassembler. */
+#define DEBUGGER_END_OF_CODE_MARKER    0xbf9f0000 /* invalid instruction */
+#define DEBUGGER_NUM_MARKERS           5
+
+static unsigned
+radv_get_shader_binary_size(struct ac_shader_binary *binary)
+{
+       return binary->code_size + DEBUGGER_NUM_MARKERS * 4;
+}
+
 static void
 radv_fill_shader_variant(struct radv_device *device,
                         struct radv_shader_variant *variant,
@@ -372,9 +439,15 @@ radv_fill_shader_variant(struct radv_device *device,
        struct radv_shader_info *info = &variant->info.info;
        unsigned vgpr_comp_cnt = 0;
 
-       variant->code_size = binary->code_size;
+       variant->code_size = radv_get_shader_binary_size(binary);
        variant->rsrc2 = S_00B12C_USER_SGPR(variant->info.num_user_sgprs) |
-                        S_00B12C_SCRATCH_EN(scratch_enabled);
+                        S_00B12C_USER_SGPR_MSB(variant->info.num_user_sgprs >> 5) |
+                        S_00B12C_SCRATCH_EN(scratch_enabled) |
+                        S_00B12C_SO_BASE0_EN(!!info->so.strides[0]) |
+                        S_00B12C_SO_BASE1_EN(!!info->so.strides[1]) |
+                        S_00B12C_SO_BASE2_EN(!!info->so.strides[2]) |
+                        S_00B12C_SO_BASE3_EN(!!info->so.strides[3]) |
+                        S_00B12C_SO_EN(!!info->so.num_outputs);
 
        variant->rsrc1 = S_00B848_VGPRS((variant->config.num_vgprs - 1) / 4) |
                S_00B848_SGPRS((variant->config.num_sgprs - 1) / 8) |
@@ -452,6 +525,51 @@ radv_fill_shader_variant(struct radv_device *device,
 
        void *ptr = radv_alloc_shader_memory(device, variant);
        memcpy(ptr, binary->code, binary->code_size);
+
+       /* Add end-of-code markers for the UMR disassembler. */
+       uint32_t *ptr32 = (uint32_t *)ptr + binary->code_size / 4;
+       for (unsigned i = 0; i < DEBUGGER_NUM_MARKERS; i++)
+               ptr32[i] = DEBUGGER_END_OF_CODE_MARKER;
+
+}
+
+static void radv_init_llvm_target()
+{
+       LLVMInitializeAMDGPUTargetInfo();
+       LLVMInitializeAMDGPUTarget();
+       LLVMInitializeAMDGPUTargetMC();
+       LLVMInitializeAMDGPUAsmPrinter();
+
+       /* For inline assembly. */
+       LLVMInitializeAMDGPUAsmParser();
+
+       /* Workaround for bug in llvm 4.0 that causes image intrinsics
+        * to disappear.
+        * https://reviews.llvm.org/D26348
+        *
+        * Workaround for bug in llvm that causes the GPU to hang in presence
+        * of nested loops because there is an exec mask issue. The proper
+        * solution is to fix LLVM but this might require a bunch of work.
+        * https://bugs.llvm.org/show_bug.cgi?id=37744
+        *
+        * "mesa" is the prefix for error messages.
+        */
+       if (HAVE_LLVM >= 0x0800) {
+               const char *argv[2] = { "mesa", "-simplifycfg-sink-common=false" };
+               LLVMParseCommandLineOptions(2, argv, NULL);
+
+       } else {
+               const char *argv[3] = { "mesa", "-simplifycfg-sink-common=false",
+                                       "-amdgpu-skip-threshold=1" };
+               LLVMParseCommandLineOptions(3, argv, NULL);
+       }
+}
+
+static once_flag radv_init_llvm_target_once_flag = ONCE_FLAG_INIT;
+
+static void radv_init_llvm_once(void)
+{
+       call_once(&radv_init_llvm_target_once_flag, radv_init_llvm_target);
 }
 
 static struct radv_shader_variant *
@@ -469,8 +587,8 @@ shader_variant_create(struct radv_device *device,
        enum ac_target_machine_options tm_options = 0;
        struct radv_shader_variant *variant;
        struct ac_shader_binary binary;
-       LLVMTargetMachineRef tm;
-
+       struct ac_llvm_compiler ac_llvm;
+       bool thread_compiler;
        variant = calloc(1, sizeof(struct radv_shader_variant));
        if (!variant)
                return NULL;
@@ -481,26 +599,34 @@ shader_variant_create(struct radv_device *device,
        options->dump_preoptir = options->dump_shader &&
                                 device->instance->debug_flags & RADV_DEBUG_PREOPTIR;
        options->record_llvm_ir = device->keep_shader_info;
+       options->check_ir = device->instance->debug_flags & RADV_DEBUG_CHECKIR;
        options->tess_offchip_block_dw_size = device->tess_offchip_block_dw_size;
+       options->address32_hi = device->physical_device->rad_info.address32_hi;
 
        if (options->supports_spill)
                tm_options |= AC_TM_SUPPORTS_SPILL;
        if (device->instance->perftest_flags & RADV_PERFTEST_SISCHED)
                tm_options |= AC_TM_SISCHED;
-       tm = ac_create_target_machine(chip_family, tm_options, NULL);
-
+       if (options->check_ir)
+               tm_options |= AC_TM_CHECK_IR;
+
+       thread_compiler = !(device->instance->debug_flags & RADV_DEBUG_NOTHREADLLVM);
+       radv_init_llvm_once();
+       radv_init_llvm_compiler(&ac_llvm,
+                               thread_compiler,
+                               chip_family, tm_options);
        if (gs_copy_shader) {
                assert(shader_count == 1);
-               radv_compile_gs_copy_shader(tm, *shaders, &binary,
+               radv_compile_gs_copy_shader(&ac_llvm, *shaders, &binary,
                                            &variant->config, &variant->info,
                                            options);
        } else {
-               radv_compile_nir_shader(tm, &binary, &variant->config,
+               radv_compile_nir_shader(&ac_llvm, &binary, &variant->config,
                                        &variant->info, shaders, shader_count,
                                        options);
        }
 
-       LLVMDisposeTargetMachine(tm);
+       radv_destroy_llvm_compiler(&ac_llvm, thread_compiler);
 
        radv_fill_shader_variant(device, variant, &binary, stage);
 
@@ -696,7 +822,7 @@ radv_GetShaderInfoAMD(VkDevice _device,
        /* Spec doesn't indicate what to do if the stage is invalid, so just
         * return no info for this. */
        if (!variant)
-               return vk_error(VK_ERROR_FEATURE_NOT_PRESENT);
+               return vk_error(device->instance, VK_ERROR_FEATURE_NOT_PRESENT);
 
        switch (infoType) {
        case VK_SHADER_INFO_TYPE_STATISTICS_AMD:
@@ -717,7 +843,7 @@ radv_GetShaderInfoAMD(VkDevice _device,
                                unsigned workgroup_size = local_size[0] * local_size[1] * local_size[2];
 
                                statistics.numAvailableVgprs = statistics.numPhysicalVgprs /
-                                                              ceil(workgroup_size / statistics.numPhysicalVgprs);
+                                                              ceil((double)workgroup_size / statistics.numPhysicalVgprs);
 
                                statistics.computeWorkGroupSize[0] = local_size[0];
                                statistics.computeWorkGroupSize[1] = local_size[1];
@@ -746,6 +872,7 @@ radv_GetShaderInfoAMD(VkDevice _device,
                buf = _mesa_string_buffer_create(NULL, 1024);
 
                _mesa_string_buffer_printf(buf, "%s:\n", radv_get_shader_name(variant, stage));
+               _mesa_string_buffer_printf(buf, "%s\n\n", variant->llvm_ir_string);
                _mesa_string_buffer_printf(buf, "%s\n\n", variant->disasm_string);
                generate_shader_stats(device, variant, stage, buf);