Method ValidateVariables

layers/stateless/sl_spirv.cpp:422–459

}

bool SpirvValidator::ValidateVariables(const spirv::Module& module_state, const Location& loc) const {
    bool skip = false;

    for (const spirv::Instruction* insn : module_state.static_data_.explicit_memory_inst) {
        const uint32_t opcode = insn->Opcode();
        if (opcode == spv::OpVariable || opcode == spv::OpUntypedVariableKHR) {
            const uint32_t storage_class = insn->StorageClass();
            if (storage_class == spv::StorageClassWorkgroup) {
                // If Workgroup variable is initalized, make sure the feature is enabled
                const bool untyped = opcode == spv::OpUntypedVariableKHR;
                const bool has_initializer = insn->Length() > (untyped ? 5u : 4u);
                if (has_initializer && !enabled_features.shaderZeroInitializeWorkgroupMemory) {
                    skip |= LogError("VUID-RuntimeSpirv-shaderZeroInitializeWorkgroupMemory-06372", module_state.handle(), loc,
                                     "SPIR-V contains an %s with Workgroup Storage Class with an Initializer operand, but "
                                     "shaderZeroInitializeWorkgroupMemory was not enabled.\n%s\n.",
                                     string_SpvOpcode(opcode), insn->Describe().c_str());
                }
            }

            // Checks based off shaderStorageImage(Read|Write)WithoutFormat are
            // disabled if VK_KHR_format_feature_flags2 is supported.
            //
            //   https://github.com/KhronosGroup/Vulkan-Docs/blob/6177645341afc/appendices/spirvenv.txt#L553
            //
            // The other checks need to take into account the format features and so
            // we apply that in the descriptor set matching validation code (see
            // descriptor_sets.cpp).
            if (!special_supported.vk_khr_format_feature_flags2) {
                skip |= ValidateShaderStorageImageFormatsVariables(module_state, *insn, loc);
            }
        }

        // These check occur both when we see a OpVariable, but also during an OpLoad/OpStore pointing to an OpUntypedVariableKHR
        skip |= Validate8And16BitStorage(module_state, *insn, loc);
    }

    return skip;
}

// This is to validate the VK_KHR_8bit_storage and VK_KHR_16bit_storage extensions
bool SpirvValidator::Validate8And16BitStorage(const spirv::Module& module_state, const spirv::Instruction& insn,