1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
/* Copyright (c) 2023-2025 The Khronos Group Inc.
* Copyright (c) 2023-2025 Valve Corporation
* Copyright (c) 2023-2025 LunarG, Inc.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#pragma once
#include <vulkan/vulkan.h>
#include "error_message/error_location.h"
namespace spirv {
struct ResourceInterfaceVariable;
} // namespace spirv
namespace vvl {
struct DrawDispatchVuid;
class DescriptorBinding;
class DeviceProxy;
class BufferDescriptor;
class ImageDescriptor;
class ImageSamplerDescriptor;
class TexelDescriptor;
class AccelerationStructureDescriptor;
class SamplerDescriptor;
class CommandBuffer;
class Sampler;
class DescriptorSet;
class DescriptorValidator : public Logger {
public:
DescriptorValidator(DeviceProxy& dev, vvl::CommandBuffer& cb_state, vvl::DescriptorSet& descriptor_set, uint32_t set_index,
VkFramebuffer framebuffer, const VulkanTypedHandle* shader_handle, const Location& loc);
// Used with normal validation where we know which descriptors are accessed.
bool ValidateBindingStatic(const spirv::ResourceInterfaceVariable& binding_info, const vvl::DescriptorBinding& binding) const;
// Used with GPU-AV when we need to run the GPU to know which descriptors are accessed.
// The main reason we can't combine is one function needs to be const and the other is non-const.
bool ValidateBindingDynamic(const spirv::ResourceInterfaceVariable& binding_info, DescriptorBinding& binding,
const uint32_t index);
void SetSetIndexForGpuAv(uint32_t set_index) { this->set_index = set_index; }
void SetShaderHandleForGpuAv(const VulkanTypedHandle* shader_handle) { this->shader_handle = shader_handle; }
void SetLocationForGpuAv(const Location& loc) { this->loc = LocationCapture(loc); }
private:
template <typename T>
bool ValidateDescriptorsStatic(const spirv::ResourceInterfaceVariable& binding_info, const T& binding) const;
template <typename T>
bool ValidateDescriptorsDynamic(const spirv::ResourceInterfaceVariable& binding_info, const T& binding, const uint32_t index);
bool ValidateDescriptor(const spirv::ResourceInterfaceVariable& binding_info, const uint32_t index,
VkDescriptorType descriptor_type, const vvl::BufferDescriptor& descriptor) const;
bool ValidateDescriptor(const spirv::ResourceInterfaceVariable& binding_info, const uint32_t index,
VkDescriptorType descriptor_type, const vvl::ImageDescriptor& descriptor) const;
bool ValidateDescriptor(const spirv::ResourceInterfaceVariable& binding_info, const uint32_t index,
VkDescriptorType descriptor_type, const vvl::ImageSamplerDescriptor& descriptor) const;
bool ValidateDescriptor(const spirv::ResourceInterfaceVariable& binding_info, const uint32_t index,
VkDescriptorType descriptor_type, const vvl::TexelDescriptor& descriptor) const;
bool ValidateDescriptor(const spirv::ResourceInterfaceVariable& binding_info, const uint32_t index,
VkDescriptorType descriptor_type, const vvl::AccelerationStructureDescriptor& descriptor) const;
bool ValidateDescriptor(const spirv::ResourceInterfaceVariable& binding_info, const uint32_t index,
VkDescriptorType descriptor_type, const vvl::SamplerDescriptor& descriptor) const;
// helper for the common parts of ImageSamplerDescriptor and SamplerDescriptor validation
bool ValidateSamplerDescriptor(const spirv::ResourceInterfaceVariable& binding_info, uint32_t index, VkSampler sampler,
bool is_immutable, const vvl::Sampler* sampler_state) const;
std::string DescribeDescriptor(const spirv::ResourceInterfaceVariable& binding_info, uint32_t index,
VkDescriptorType type) const;
vvl::DeviceProxy& dev_proxy;
vvl::CommandBuffer& cb_state;
vvl::DescriptorSet& descriptor_set;
const VkFramebuffer framebuffer;
LocationCapture loc;
const DrawDispatchVuid& vuids;
// For GPU-AV, these can become aliased and need to be mutable between descriptor accesses
uint32_t set_index;
// A descriptor set might be used between multiple shaders and need to adjust which one was found
const VulkanTypedHandle* shader_handle; // VkPipeline or VkShaderObject
};
} // namespace vvl
|
