blob: 61cb41accff9e071514e940670ad56e342d0acce [file] [log] [blame]
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -07001/* Copyright (c) 2015-2019 The Khronos Group Inc.
2 * Copyright (c) 2015-2019 Valve Corporation
3 * Copyright (c) 2015-2019 LunarG, Inc.
4 * Copyright (C) 2015-2019 Google Inc.
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -06005 *
6 * Licensed under the Apache License, Version 2.0 (the "License");
7 * you may not use this file except in compliance with the License.
8 * You may obtain a copy of the License at
9 *
10 * http://www.apache.org/licenses/LICENSE-2.0
11 *
12 * Unless required by applicable law or agreed to in writing, software
13 * distributed under the License is distributed on an "AS IS" BASIS,
14 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 * See the License for the specific language governing permissions and
16 * limitations under the License.
17 *
18 * Author: Mark Lobodzinski <mark@lunarg.com>
19 * Author: Jon Ashburn <jon@lunarg.com>
20 * Author: Tobin Ehlis <tobin@lunarg.com>
21 */
22
Mark Lobodzinski0c668462018-09-27 10:13:19 -060023#include "chassis.h"
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060024
Mark Lobodzinski63902f02018-09-21 10:36:44 -060025#include "object_lifetime_validation.h"
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060026
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060027uint64_t object_track_index = 0;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060028
John Zulauf1c3844a2019-04-01 17:39:48 -060029VulkanTypedHandle ObjTrackStateTypedHandle(const ObjTrackState &track_state) {
30 // TODO: Unify Typed Handle representation (i.e. VulkanTypedHandle everywhere there are handle/type pairs)
31 VulkanTypedHandle typed_handle;
32 typed_handle.handle = track_state.handle;
33 typed_handle.type = track_state.object_type;
34 return typed_handle;
35}
36
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060037// Destroy memRef lists and free all memory
Mark Lobodzinski0c668462018-09-27 10:13:19 -060038void ObjectLifetimes::DestroyQueueDataStructures(VkDevice device) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060039 // Destroy the items in the queue map
Jeff Bolzfd3bb242019-08-22 06:10:49 -050040 auto snapshot = object_map[kVulkanObjectTypeQueue].snapshot();
41 for (const auto &queue : snapshot) {
42 uint32_t obj_index = queue.second->object_type;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060043 assert(num_total_objects > 0);
44 num_total_objects--;
45 assert(num_objects[obj_index] > 0);
46 num_objects[obj_index]--;
Jeff Bolzfd3bb242019-08-22 06:10:49 -050047 object_map[kVulkanObjectTypeQueue].erase(queue.first);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060048 }
49}
50
Mark Lobodzinskic763f582019-09-11 11:35:43 -060051void ObjectLifetimes::DestroyUndestroyedObjects(VulkanObjectType object_type) {
52 auto snapshot = object_map[object_type].snapshot();
53 for (const auto &item : snapshot) {
54 auto object_info = item.second;
55 DestroyObjectSilently(object_info->handle, object_type);
56 }
57}
58
Mark Lobodzinski9bd81192017-11-13 09:38:23 -070059// Look for this device object in any of the instance child devices lists.
60// NOTE: This is of dubious value. In most circumstances Vulkan will die a flaming death if a dispatchable object is invalid.
61// However, if this layer is loaded first and GetProcAddress is used to make API calls, it will detect bad DOs.
John Zulauf1c3844a2019-04-01 17:39:48 -060062bool ObjectLifetimes::ValidateDeviceObject(const VulkanTypedHandle &device_typed, const char *invalid_handle_code,
63 const char *wrong_device_code) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060064 auto instance_data = GetLayerDataPtr(get_dispatch_key(instance), layer_data_map);
65 auto instance_object_lifetime_data = GetObjectLifetimeData(instance_data->object_dispatch);
Jeff Bolzfd3bb242019-08-22 06:10:49 -050066 if (instance_object_lifetime_data->object_map[kVulkanObjectTypeDevice].contains(device_typed.handle)) {
67 return false;
Mark Lobodzinski9bd81192017-11-13 09:38:23 -070068 }
John Zulauf1c3844a2019-04-01 17:39:48 -060069 return log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_DEVICE_EXT, device_typed.handle,
locke-lunarg9edc2812019-06-17 23:18:52 -060070 invalid_handle_code, "Invalid %s.", report_data->FormatHandle(device_typed).c_str());
Mark Lobodzinski9bd81192017-11-13 09:38:23 -070071}
72
Mark Lobodzinski0c668462018-09-27 10:13:19 -060073void ObjectLifetimes::AllocateCommandBuffer(VkDevice device, const VkCommandPool command_pool, const VkCommandBuffer command_buffer,
74 VkCommandBufferLevel level) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -050075 auto pNewObjNode = std::make_shared<ObjTrackState>();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060076 pNewObjNode->object_type = kVulkanObjectTypeCommandBuffer;
77 pNewObjNode->handle = HandleToUint64(command_buffer);
78 pNewObjNode->parent_object = HandleToUint64(command_pool);
79 if (level == VK_COMMAND_BUFFER_LEVEL_SECONDARY) {
80 pNewObjNode->status = OBJSTATUS_COMMAND_BUFFER_SECONDARY;
81 } else {
82 pNewObjNode->status = OBJSTATUS_NONE;
83 }
Jeff Bolzfd3bb242019-08-22 06:10:49 -050084 InsertObject(object_map[kVulkanObjectTypeCommandBuffer], HandleToUint64(command_buffer), kVulkanObjectTypeCommandBuffer,
85 pNewObjNode);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060086 num_objects[kVulkanObjectTypeCommandBuffer]++;
87 num_total_objects++;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060088}
89
Mark Lobodzinski0c668462018-09-27 10:13:19 -060090bool ObjectLifetimes::ValidateCommandBuffer(VkDevice device, VkCommandPool command_pool, VkCommandBuffer command_buffer) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060091 bool skip = false;
92 uint64_t object_handle = HandleToUint64(command_buffer);
Jeff Bolzfd3bb242019-08-22 06:10:49 -050093 auto iter = object_map[kVulkanObjectTypeCommandBuffer].find(object_handle);
94 if (iter != object_map[kVulkanObjectTypeCommandBuffer].end()) {
95 auto pNode = iter->second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060096
97 if (pNode->parent_object != HandleToUint64(command_pool)) {
John Zulauf1c3844a2019-04-01 17:39:48 -060098 // We know that the parent *must* be a command pool
99 const auto parent_pool = CastFromUint64<VkCommandPool>(pNode->parent_object);
locke-lunarg9edc2812019-06-17 23:18:52 -0600100 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT,
101 object_handle, "VUID-vkFreeCommandBuffers-pCommandBuffers-parent",
102 "FreeCommandBuffers is attempting to free %s belonging to %s from %s).",
103 report_data->FormatHandle(command_buffer).c_str(), report_data->FormatHandle(parent_pool).c_str(),
104 report_data->FormatHandle(command_pool).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600105 }
106 } else {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600107 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT, object_handle,
locke-lunarg9edc2812019-06-17 23:18:52 -0600108 "VUID-vkFreeCommandBuffers-pCommandBuffers-00048", "Invalid %s.",
109 report_data->FormatHandle(command_buffer).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600110 }
111 return skip;
112}
113
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600114void ObjectLifetimes::AllocateDescriptorSet(VkDevice device, VkDescriptorPool descriptor_pool, VkDescriptorSet descriptor_set) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500115 auto pNewObjNode = std::make_shared<ObjTrackState>();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600116 pNewObjNode->object_type = kVulkanObjectTypeDescriptorSet;
117 pNewObjNode->status = OBJSTATUS_NONE;
118 pNewObjNode->handle = HandleToUint64(descriptor_set);
119 pNewObjNode->parent_object = HandleToUint64(descriptor_pool);
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500120 InsertObject(object_map[kVulkanObjectTypeDescriptorSet], HandleToUint64(descriptor_set), kVulkanObjectTypeDescriptorSet,
121 pNewObjNode);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600122 num_objects[kVulkanObjectTypeDescriptorSet]++;
123 num_total_objects++;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600124
125 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptor_pool));
126 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500127 itr->second->child_objects->insert(HandleToUint64(descriptor_set));
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600128 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600129}
130
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600131bool ObjectLifetimes::ValidateDescriptorSet(VkDevice device, VkDescriptorPool descriptor_pool, VkDescriptorSet descriptor_set) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600132 bool skip = false;
133 uint64_t object_handle = HandleToUint64(descriptor_set);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600134 auto dsItem = object_map[kVulkanObjectTypeDescriptorSet].find(object_handle);
135 if (dsItem != object_map[kVulkanObjectTypeDescriptorSet].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500136 if (dsItem->second->parent_object != HandleToUint64(descriptor_pool)) {
John Zulauf1c3844a2019-04-01 17:39:48 -0600137 // We know that the parent *must* be a descriptor pool
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500138 const auto parent_pool = CastFromUint64<VkDescriptorPool>(dsItem->second->parent_object);
John Zulauf1c3844a2019-04-01 17:39:48 -0600139 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_DESCRIPTOR_SET_EXT,
140 object_handle, "VUID-vkFreeDescriptorSets-pDescriptorSets-parent",
locke-lunarg9edc2812019-06-17 23:18:52 -0600141 "FreeDescriptorSets is attempting to free %s"
142 " belonging to %s from %s).",
John Zulauf1c3844a2019-04-01 17:39:48 -0600143 report_data->FormatHandle(descriptor_set).c_str(), report_data->FormatHandle(parent_pool).c_str(),
144 report_data->FormatHandle(descriptor_pool).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600145 }
146 } else {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600147 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_DESCRIPTOR_SET_EXT, object_handle,
locke-lunarg9edc2812019-06-17 23:18:52 -0600148 "VUID-vkFreeDescriptorSets-pDescriptorSets-00310", "Invalid %s.",
149 report_data->FormatHandle(descriptor_set).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600150 }
151 return skip;
152}
153
Dave Houltona9df0ce2018-02-07 10:51:23 -0700154template <typename DispObj>
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600155bool ObjectLifetimes::ValidateDescriptorWrite(DispObj disp, VkWriteDescriptorSet const *desc, bool isPush) {
Chris Forbes2c600e92017-10-20 11:13:20 -0700156 bool skip = false;
157
158 if (!isPush && desc->dstSet) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600159 skip |= ValidateObject(desc->dstSet, kVulkanObjectTypeDescriptorSet, false, "VUID-VkWriteDescriptorSet-dstSet-00320",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600160 "VUID-VkWriteDescriptorSet-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700161 }
162
163 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_TEXEL_BUFFER) ||
164 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_TEXEL_BUFFER)) {
165 for (uint32_t idx2 = 0; idx2 < desc->descriptorCount; ++idx2) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600166 skip |= ValidateObject(desc->pTexelBufferView[idx2], kVulkanObjectTypeBufferView, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600167 "VUID-VkWriteDescriptorSet-descriptorType-00323", "VUID-VkWriteDescriptorSet-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700168 }
169 }
170
171 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER) ||
Dave Houltona9df0ce2018-02-07 10:51:23 -0700172 (desc->descriptorType == VK_DESCRIPTOR_TYPE_SAMPLED_IMAGE) || (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_IMAGE) ||
Chris Forbes2c600e92017-10-20 11:13:20 -0700173 (desc->descriptorType == VK_DESCRIPTOR_TYPE_INPUT_ATTACHMENT)) {
174 for (uint32_t idx3 = 0; idx3 < desc->descriptorCount; ++idx3) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600175 skip |= ValidateObject(desc->pImageInfo[idx3].imageView, kVulkanObjectTypeImageView, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600176 "VUID-VkWriteDescriptorSet-descriptorType-00326", "VUID-VkDescriptorImageInfo-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700177 }
178 }
179
180 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER) ||
181 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_BUFFER) ||
182 (desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER_DYNAMIC) ||
183 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_BUFFER_DYNAMIC)) {
184 for (uint32_t idx4 = 0; idx4 < desc->descriptorCount; ++idx4) {
185 if (desc->pBufferInfo[idx4].buffer) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600186 skip |= ValidateObject(desc->pBufferInfo[idx4].buffer, kVulkanObjectTypeBuffer, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600187 "VUID-VkDescriptorBufferInfo-buffer-parameter", kVUIDUndefined);
Chris Forbes2c600e92017-10-20 11:13:20 -0700188 }
189 }
190 }
191
192 return skip;
193}
194
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600195bool ObjectLifetimes::PreCallValidateCmdPushDescriptorSetKHR(VkCommandBuffer commandBuffer, VkPipelineBindPoint pipelineBindPoint,
196 VkPipelineLayout layout, uint32_t set, uint32_t descriptorWriteCount,
197 const VkWriteDescriptorSet *pDescriptorWrites) {
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600198 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600199 skip |= ValidateObject(commandBuffer, kVulkanObjectTypeCommandBuffer, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600200 "VUID-vkCmdPushDescriptorSetKHR-commandBuffer-parameter", "VUID-vkCmdPushDescriptorSetKHR-commonparent");
Mark Lobodzinski39965742019-09-11 11:03:51 -0600201 skip |= ValidateObject(layout, kVulkanObjectTypePipelineLayout, false, "VUID-vkCmdPushDescriptorSetKHR-layout-parameter",
202 "VUID-vkCmdPushDescriptorSetKHR-commonparent");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600203 if (pDescriptorWrites) {
204 for (uint32_t index0 = 0; index0 < descriptorWriteCount; ++index0) {
205 skip |= ValidateDescriptorWrite(commandBuffer, &pDescriptorWrites[index0], true);
206 }
207 }
208 return skip;
209}
210
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600211void ObjectLifetimes::CreateQueue(VkDevice device, VkQueue vkObj) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500212 std::shared_ptr<ObjTrackState> p_obj_node = NULL;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600213 auto queue_item = object_map[kVulkanObjectTypeQueue].find(HandleToUint64(vkObj));
214 if (queue_item == object_map[kVulkanObjectTypeQueue].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500215 p_obj_node = std::make_shared<ObjTrackState>();
216 InsertObject(object_map[kVulkanObjectTypeQueue], HandleToUint64(vkObj), kVulkanObjectTypeQueue, p_obj_node);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600217 num_objects[kVulkanObjectTypeQueue]++;
218 num_total_objects++;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600219 } else {
220 p_obj_node = queue_item->second;
221 }
222 p_obj_node->object_type = kVulkanObjectTypeQueue;
223 p_obj_node->status = OBJSTATUS_NONE;
224 p_obj_node->handle = HandleToUint64(vkObj);
225}
226
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600227void ObjectLifetimes::CreateSwapchainImageObject(VkDevice dispatchable_object, VkImage swapchain_image, VkSwapchainKHR swapchain) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500228 if (!swapchainImageMap.contains(HandleToUint64(swapchain_image))) {
229 auto pNewObjNode = std::make_shared<ObjTrackState>();
230 pNewObjNode->object_type = kVulkanObjectTypeImage;
231 pNewObjNode->status = OBJSTATUS_NONE;
232 pNewObjNode->handle = HandleToUint64(swapchain_image);
233 pNewObjNode->parent_object = HandleToUint64(swapchain);
234 InsertObject(swapchainImageMap, HandleToUint64(swapchain_image), kVulkanObjectTypeImage, pNewObjNode);
235 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600236}
237
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600238bool ObjectLifetimes::ReportLeakedInstanceObjects(VkInstance instance, VulkanObjectType object_type,
239 const std::string &error_code) {
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600240 bool skip = false;
241
242 auto snapshot = object_map[object_type].snapshot();
243 for (const auto &item : snapshot) {
244 const auto object_info = item.second;
245 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, get_debug_report_enum[object_type], object_info->handle,
246 error_code, "OBJ ERROR : For %s, %s has not been destroyed.", report_data->FormatHandle(instance).c_str(),
247 report_data->FormatHandle(ObjTrackStateTypedHandle(*object_info)).c_str());
248 }
249 return skip;
250}
251
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600252bool ObjectLifetimes::ReportLeakedDeviceObjects(VkDevice device, VulkanObjectType object_type, const std::string &error_code) {
Mark Lobodzinski5183a032018-09-13 14:44:28 -0600253 bool skip = false;
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500254
255 auto snapshot = object_map[object_type].snapshot();
256 for (const auto &item : snapshot) {
257 const auto object_info = item.second;
locke-lunarg9edc2812019-06-17 23:18:52 -0600258 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, get_debug_report_enum[object_type], object_info->handle,
259 error_code, "OBJ ERROR : For %s, %s has not been destroyed.", report_data->FormatHandle(device).c_str(),
260 report_data->FormatHandle(ObjTrackStateTypedHandle(*object_info)).c_str());
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000261 }
Mark Lobodzinski5183a032018-09-13 14:44:28 -0600262 return skip;
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000263}
264
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600265bool ObjectLifetimes::PreCallValidateDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600266 bool skip = false;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600267
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600268 // We validate here for coverage, though we'd not have made it this for with a bad instance.
Mark Lobodzinski39965742019-09-11 11:03:51 -0600269 skip |= ValidateObject(instance, kVulkanObjectTypeInstance, true, "VUID-vkDestroyInstance-instance-parameter", kVUIDUndefined);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600270
271 // Validate that child devices have been destroyed
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500272 auto snapshot = object_map[kVulkanObjectTypeDevice].snapshot();
273 for (const auto &iit : snapshot) {
274 auto pNode = iit.second;
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600275
276 VkDevice device = reinterpret_cast<VkDevice>(pNode->handle);
277 VkDebugReportObjectTypeEXT debug_object_type = get_debug_report_enum[pNode->object_type];
278
John Zulauf1c3844a2019-04-01 17:39:48 -0600279 skip |=
280 log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, debug_object_type, pNode->handle, kVUID_ObjectTracker_ObjectLeak,
281 "OBJ ERROR : %s object %s has not been destroyed.", string_VkDebugReportObjectTypeEXT(debug_object_type),
282 report_data->FormatHandle(ObjTrackStateTypedHandle(*pNode)).c_str());
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600283
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600284 // Throw errors if any device objects belonging to this instance have not been destroyed
285 skip |= ReportUndestroyedDeviceObjects(device, "VUID-vkDestroyDevice-device-00378");
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600286 DestroyLeakedDeviceObjects(device);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600287
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600288 skip |= ValidateDestroyObject(device, kVulkanObjectTypeDevice, pAllocator, "VUID-vkDestroyInstance-instance-00630",
289 "VUID-vkDestroyInstance-instance-00631");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600290 }
291
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600292 // Throw errors if any instance objects created on this instance have not been destroyed
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600293 ValidateDestroyObject(instance, kVulkanObjectTypeInstance, pAllocator, "VUID-vkDestroyInstance-instance-00630",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600294 "VUID-vkDestroyInstance-instance-00631");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600295
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600296 // Report any remaining instance objects
297 skip |= ReportUndestroyedInstanceObjects(instance, "VUID-vkDestroyInstance-instance-00629");
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600298 DestroyLeakedInstanceObjects(instance);
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600299
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600300 return skip;
301}
302
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600303bool ObjectLifetimes::PreCallValidateEnumeratePhysicalDevices(VkInstance instance, uint32_t *pPhysicalDeviceCount,
304 VkPhysicalDevice *pPhysicalDevices) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600305 bool skip = ValidateObject(instance, kVulkanObjectTypeInstance, false, "VUID-vkEnumeratePhysicalDevices-instance-parameter",
306 kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600307 return skip;
308}
309
310void ObjectLifetimes::PostCallRecordEnumeratePhysicalDevices(VkInstance instance, uint32_t *pPhysicalDeviceCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700311 VkPhysicalDevice *pPhysicalDevices, VkResult result) {
312 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600313 if (pPhysicalDevices) {
314 for (uint32_t i = 0; i < *pPhysicalDeviceCount; i++) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600315 CreateObject(pPhysicalDevices[i], kVulkanObjectTypePhysicalDevice, nullptr);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600316 }
317 }
318}
319
320void ObjectLifetimes::PreCallRecordDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600321 // Destroy physical devices
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500322 auto snapshot = object_map[kVulkanObjectTypePhysicalDevice].snapshot();
323 for (const auto &iit : snapshot) {
324 auto pNode = iit.second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600325 VkPhysicalDevice physical_device = reinterpret_cast<VkPhysicalDevice>(pNode->handle);
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600326 RecordDestroyObject(physical_device, kVulkanObjectTypePhysicalDevice);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600327 }
328
Mark Lobodzinski9bd81192017-11-13 09:38:23 -0700329 // Destroy child devices
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500330 auto snapshot2 = object_map[kVulkanObjectTypeDevice].snapshot();
331 for (const auto &iit : snapshot2) {
332 auto pNode = iit.second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600333 VkDevice device = reinterpret_cast<VkDevice>(pNode->handle);
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600334 DestroyLeakedInstanceObjects(instance);
Mark Lobodzinski9bd81192017-11-13 09:38:23 -0700335
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600336 RecordDestroyObject(device, kVulkanObjectTypeDevice);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600337 }
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600338}
339
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600340void ObjectLifetimes::PostCallRecordDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600341 RecordDestroyObject(instance, kVulkanObjectTypeInstance);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600342}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600343
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600344bool ObjectLifetimes::PreCallValidateDestroyDevice(VkDevice device, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600345 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600346 skip |= ValidateObject(device, kVulkanObjectTypeDevice, true, "VUID-vkDestroyDevice-device-parameter", kVUIDUndefined);
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600347 skip |= ValidateDestroyObject(device, kVulkanObjectTypeDevice, pAllocator, "VUID-vkDestroyDevice-device-00379",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600348 "VUID-vkDestroyDevice-device-00380");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600349 // Report any remaining objects associated with this VkDevice object in LL
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600350 skip |= ReportUndestroyedDeviceObjects(device, "VUID-vkDestroyDevice-device-00378");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600351
352 return skip;
353}
354
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600355void ObjectLifetimes::PreCallRecordDestroyDevice(VkDevice device, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski52db2352018-12-28 09:41:15 -0700356 auto instance_data = GetLayerDataPtr(get_dispatch_key(physical_device), layer_data_map);
357 ValidationObject *validation_data = GetValidationObject(instance_data->object_dispatch, LayerObjectTypeObjectTracker);
358 ObjectLifetimes *object_lifetimes = static_cast<ObjectLifetimes *>(validation_data);
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600359 object_lifetimes->RecordDestroyObject(device, kVulkanObjectTypeDevice);
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600360 DestroyLeakedDeviceObjects(device);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600361
362 // Clean up Queue's MemRef Linked Lists
363 DestroyQueueDataStructures(device);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600364}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600365
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600366bool ObjectLifetimes::PreCallValidateGetDeviceQueue(VkDevice device, uint32_t queueFamilyIndex, uint32_t queueIndex,
367 VkQueue *pQueue) {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600368 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600369 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDeviceQueue-device-parameter", kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600370 return skip;
371}
Mark Lobodzinski439645a2017-07-19 15:18:15 -0600372
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600373void ObjectLifetimes::PostCallRecordGetDeviceQueue(VkDevice device, uint32_t queueFamilyIndex, uint32_t queueIndex,
374 VkQueue *pQueue) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500375 auto lock = write_shared_lock();
Mark Lobodzinski439645a2017-07-19 15:18:15 -0600376 CreateQueue(device, *pQueue);
Mark Lobodzinski439645a2017-07-19 15:18:15 -0600377}
378
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600379bool ObjectLifetimes::PreCallValidateGetDeviceQueue2(VkDevice device, const VkDeviceQueueInfo2 *pQueueInfo, VkQueue *pQueue) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600380 return ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDeviceQueue2-device-parameter", kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600381}
382
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600383void ObjectLifetimes::PostCallRecordGetDeviceQueue2(VkDevice device, const VkDeviceQueueInfo2 *pQueueInfo, VkQueue *pQueue) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500384 auto lock = write_shared_lock();
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600385 CreateQueue(device, *pQueue);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600386}
387
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600388bool ObjectLifetimes::PreCallValidateUpdateDescriptorSets(VkDevice device, uint32_t descriptorWriteCount,
389 const VkWriteDescriptorSet *pDescriptorWrites,
390 uint32_t descriptorCopyCount,
391 const VkCopyDescriptorSet *pDescriptorCopies) {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600392 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600393 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkUpdateDescriptorSets-device-parameter", kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600394 if (pDescriptorCopies) {
395 for (uint32_t idx0 = 0; idx0 < descriptorCopyCount; ++idx0) {
396 if (pDescriptorCopies[idx0].dstSet) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600397 skip |= ValidateObject(pDescriptorCopies[idx0].dstSet, kVulkanObjectTypeDescriptorSet, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600398 "VUID-VkCopyDescriptorSet-dstSet-parameter", "VUID-VkCopyDescriptorSet-commonparent");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600399 }
400 if (pDescriptorCopies[idx0].srcSet) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600401 skip |= ValidateObject(pDescriptorCopies[idx0].srcSet, kVulkanObjectTypeDescriptorSet, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600402 "VUID-VkCopyDescriptorSet-srcSet-parameter", "VUID-VkCopyDescriptorSet-commonparent");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600403 }
404 }
405 }
406 if (pDescriptorWrites) {
407 for (uint32_t idx1 = 0; idx1 < descriptorWriteCount; ++idx1) {
408 skip |= ValidateDescriptorWrite(device, &pDescriptorWrites[idx1], false);
409 }
410 }
411 return skip;
412}
413
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600414bool ObjectLifetimes::PreCallValidateResetDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
415 VkDescriptorPoolResetFlags flags) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600416 bool skip = false;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500417 auto lock = read_shared_lock();
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600418
Mark Lobodzinski39965742019-09-11 11:03:51 -0600419 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkResetDescriptorPool-device-parameter", kVUIDUndefined);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600420 skip |=
Mark Lobodzinski39965742019-09-11 11:03:51 -0600421 ValidateObject(descriptorPool, kVulkanObjectTypeDescriptorPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600422 "VUID-vkResetDescriptorPool-descriptorPool-parameter", "VUID-vkResetDescriptorPool-descriptorPool-parent");
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600423
424 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
425 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500426 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600427 for (auto set : *pPoolNode->child_objects) {
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600428 skip |= ValidateDestroyObject((VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined,
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600429 kVUIDUndefined);
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600430 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600431 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600432 return skip;
433}
434
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600435void ObjectLifetimes::PreCallRecordResetDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
436 VkDescriptorPoolResetFlags flags) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500437 auto lock = write_shared_lock();
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600438 // A DescriptorPool's descriptor sets are implicitly deleted when the pool is reset. Remove this pool's descriptor sets from
439 // our descriptorSet map.
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600440 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
441 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500442 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600443 for (auto set : *pPoolNode->child_objects) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600444 RecordDestroyObject((VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600445 }
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600446 pPoolNode->child_objects->clear();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600447 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600448}
449
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600450bool ObjectLifetimes::PreCallValidateBeginCommandBuffer(VkCommandBuffer command_buffer,
451 const VkCommandBufferBeginInfo *begin_info) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600452 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600453 skip |= ValidateObject(command_buffer, kVulkanObjectTypeCommandBuffer, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600454 "VUID-vkBeginCommandBuffer-commandBuffer-parameter", kVUIDUndefined);
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600455 if (begin_info) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500456 auto iter = object_map[kVulkanObjectTypeCommandBuffer].find(HandleToUint64(command_buffer));
457 if (iter != object_map[kVulkanObjectTypeCommandBuffer].end()) {
458 auto pNode = iter->second;
459 if ((begin_info->pInheritanceInfo) && (pNode->status & OBJSTATUS_COMMAND_BUFFER_SECONDARY) &&
460 (begin_info->flags & VK_COMMAND_BUFFER_USAGE_RENDER_PASS_CONTINUE_BIT)) {
461 skip |=
Mark Lobodzinski39965742019-09-11 11:03:51 -0600462 ValidateObject(begin_info->pInheritanceInfo->framebuffer, kVulkanObjectTypeFramebuffer, true,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600463 "VUID-VkCommandBufferBeginInfo-flags-00055", "VUID-VkCommandBufferInheritanceInfo-commonparent");
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500464 skip |=
Mark Lobodzinski39965742019-09-11 11:03:51 -0600465 ValidateObject(begin_info->pInheritanceInfo->renderPass, kVulkanObjectTypeRenderPass, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600466 "VUID-VkCommandBufferBeginInfo-flags-00053", "VUID-VkCommandBufferInheritanceInfo-commonparent");
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500467 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600468 }
469 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600470 return skip;
471}
472
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600473bool ObjectLifetimes::PreCallValidateGetSwapchainImagesKHR(VkDevice device, VkSwapchainKHR swapchain,
474 uint32_t *pSwapchainImageCount, VkImage *pSwapchainImages) {
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600475 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600476 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetSwapchainImagesKHR-device-parameter",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600477 "VUID-vkGetSwapchainImagesKHR-commonparent");
Mark Lobodzinski39965742019-09-11 11:03:51 -0600478 skip |= ValidateObject(swapchain, kVulkanObjectTypeSwapchainKHR, false, "VUID-vkGetSwapchainImagesKHR-swapchain-parameter",
479 "VUID-vkGetSwapchainImagesKHR-commonparent");
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600480 return skip;
481}
482
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600483void ObjectLifetimes::PostCallRecordGetSwapchainImagesKHR(VkDevice device, VkSwapchainKHR swapchain, uint32_t *pSwapchainImageCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700484 VkImage *pSwapchainImages, VkResult result) {
485 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500486 auto lock = write_shared_lock();
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600487 if (pSwapchainImages != NULL) {
488 for (uint32_t i = 0; i < *pSwapchainImageCount; i++) {
489 CreateSwapchainImageObject(device, pSwapchainImages[i], swapchain);
490 }
491 }
492}
493
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600494bool ObjectLifetimes::PreCallValidateCreateDescriptorSetLayout(VkDevice device, const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
495 const VkAllocationCallbacks *pAllocator,
496 VkDescriptorSetLayout *pSetLayout) {
Petr Kraus42f6f8d2017-12-17 17:37:33 +0100497 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600498 skip |=
499 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkCreateDescriptorSetLayout-device-parameter", kVUIDUndefined);
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600500 if (pCreateInfo) {
501 if (pCreateInfo->pBindings) {
502 for (uint32_t binding_index = 0; binding_index < pCreateInfo->bindingCount; ++binding_index) {
503 const VkDescriptorSetLayoutBinding &binding = pCreateInfo->pBindings[binding_index];
504 const bool is_sampler_type = binding.descriptorType == VK_DESCRIPTOR_TYPE_SAMPLER ||
505 binding.descriptorType == VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER;
506 if (binding.pImmutableSamplers && is_sampler_type) {
507 for (uint32_t index2 = 0; index2 < binding.descriptorCount; ++index2) {
508 const VkSampler sampler = binding.pImmutableSamplers[index2];
Mark Lobodzinski39965742019-09-11 11:03:51 -0600509 skip |= ValidateObject(sampler, kVulkanObjectTypeSampler, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600510 "VUID-VkDescriptorSetLayoutBinding-descriptorType-00282", kVUIDUndefined);
Petr Kraus42f6f8d2017-12-17 17:37:33 +0100511 }
512 }
513 }
514 }
515 }
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600516 return skip;
517}
518
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600519void ObjectLifetimes::PostCallRecordCreateDescriptorSetLayout(VkDevice device, const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
520 const VkAllocationCallbacks *pAllocator,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700521 VkDescriptorSetLayout *pSetLayout, VkResult result) {
522 if (result != VK_SUCCESS) return;
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600523 CreateObject(*pSetLayout, kVulkanObjectTypeDescriptorSetLayout, pAllocator);
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600524}
525
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600526bool ObjectLifetimes::ValidateSamplerObjects(VkDevice device, const VkDescriptorSetLayoutCreateInfo *pCreateInfo) {
Mark Lobodzinski88a1a662018-07-02 14:09:39 -0600527 bool skip = false;
528 if (pCreateInfo->pBindings) {
529 for (uint32_t index1 = 0; index1 < pCreateInfo->bindingCount; ++index1) {
530 for (uint32_t index2 = 0; index2 < pCreateInfo->pBindings[index1].descriptorCount; ++index2) {
531 if (pCreateInfo->pBindings[index1].pImmutableSamplers) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600532 skip |= ValidateObject(pCreateInfo->pBindings[index1].pImmutableSamplers[index2], kVulkanObjectTypeSampler,
533 true, "VUID-VkDescriptorSetLayoutBinding-descriptorType-00282", kVUIDUndefined);
Mark Lobodzinski88a1a662018-07-02 14:09:39 -0600534 }
535 }
536 }
537 }
538 return skip;
539}
540
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600541bool ObjectLifetimes::PreCallValidateGetDescriptorSetLayoutSupport(VkDevice device,
542 const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
543 VkDescriptorSetLayoutSupport *pSupport) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600544 bool skip = ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDescriptorSetLayoutSupport-device-parameter",
545 kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600546 if (pCreateInfo) {
547 skip |= ValidateSamplerObjects(device, pCreateInfo);
548 }
549 return skip;
550}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600551bool ObjectLifetimes::PreCallValidateGetDescriptorSetLayoutSupportKHR(VkDevice device,
552 const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
553 VkDescriptorSetLayoutSupport *pSupport) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600554 bool skip = ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDescriptorSetLayoutSupportKHR-device-parameter",
555 kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600556 if (pCreateInfo) {
557 skip |= ValidateSamplerObjects(device, pCreateInfo);
558 }
559 return skip;
560}
561
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600562bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties(VkPhysicalDevice physicalDevice,
563 uint32_t *pQueueFamilyPropertyCount,
564 VkQueueFamilyProperties *pQueueFamilyProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600565 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600566 "VUID-vkGetPhysicalDeviceQueueFamilyProperties-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600567}
Mark Lobodzinski63902f02018-09-21 10:36:44 -0600568
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600569void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties(VkPhysicalDevice physicalDevice,
570 uint32_t *pQueueFamilyPropertyCount,
Jeff Bolz6d243112019-08-21 13:24:11 -0500571 VkQueueFamilyProperties *pQueueFamilyProperties) {}
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600572
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600573void ObjectLifetimes::PostCallRecordCreateInstance(const VkInstanceCreateInfo *pCreateInfo, const VkAllocationCallbacks *pAllocator,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700574 VkInstance *pInstance, VkResult result) {
575 if (result != VK_SUCCESS) return;
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600576 CreateObject(*pInstance, kVulkanObjectTypeInstance, pAllocator);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600577}
578
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600579bool ObjectLifetimes::PreCallValidateAllocateCommandBuffers(VkDevice device, const VkCommandBufferAllocateInfo *pAllocateInfo,
580 VkCommandBuffer *pCommandBuffers) {
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600581 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600582 skip |=
583 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkAllocateCommandBuffers-device-parameter", kVUIDUndefined);
584 skip |= ValidateObject(pAllocateInfo->commandPool, kVulkanObjectTypeCommandPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600585 "VUID-VkCommandBufferAllocateInfo-commandPool-parameter", kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600586 return skip;
587}
588
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600589void ObjectLifetimes::PostCallRecordAllocateCommandBuffers(VkDevice device, const VkCommandBufferAllocateInfo *pAllocateInfo,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700590 VkCommandBuffer *pCommandBuffers, VkResult result) {
591 if (result != VK_SUCCESS) return;
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600592 for (uint32_t i = 0; i < pAllocateInfo->commandBufferCount; i++) {
593 AllocateCommandBuffer(device, pAllocateInfo->commandPool, pCommandBuffers[i], pAllocateInfo->level);
594 }
595}
596
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600597bool ObjectLifetimes::PreCallValidateAllocateDescriptorSets(VkDevice device, const VkDescriptorSetAllocateInfo *pAllocateInfo,
598 VkDescriptorSet *pDescriptorSets) {
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600599 bool skip = false;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500600 auto lock = read_shared_lock();
Mark Lobodzinski39965742019-09-11 11:03:51 -0600601 skip |=
602 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkAllocateDescriptorSets-device-parameter", kVUIDUndefined);
603 skip |= ValidateObject(pAllocateInfo->descriptorPool, kVulkanObjectTypeDescriptorPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600604 "VUID-VkDescriptorSetAllocateInfo-descriptorPool-parameter",
605 "VUID-VkDescriptorSetAllocateInfo-commonparent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600606 for (uint32_t i = 0; i < pAllocateInfo->descriptorSetCount; i++) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600607 skip |= ValidateObject(pAllocateInfo->pSetLayouts[i], kVulkanObjectTypeDescriptorSetLayout, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600608 "VUID-VkDescriptorSetAllocateInfo-pSetLayouts-parameter",
609 "VUID-VkDescriptorSetAllocateInfo-commonparent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600610 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600611 return skip;
612}
613
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600614void ObjectLifetimes::PostCallRecordAllocateDescriptorSets(VkDevice device, const VkDescriptorSetAllocateInfo *pAllocateInfo,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700615 VkDescriptorSet *pDescriptorSets, VkResult result) {
616 if (result != VK_SUCCESS) return;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500617 auto lock = write_shared_lock();
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600618 for (uint32_t i = 0; i < pAllocateInfo->descriptorSetCount; i++) {
619 AllocateDescriptorSet(device, pAllocateInfo->descriptorPool, pDescriptorSets[i]);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600620 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600621}
622
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600623bool ObjectLifetimes::PreCallValidateFreeCommandBuffers(VkDevice device, VkCommandPool commandPool, uint32_t commandBufferCount,
624 const VkCommandBuffer *pCommandBuffers) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600625 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600626 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkFreeCommandBuffers-device-parameter", kVUIDUndefined);
627 skip |= ValidateObject(commandPool, kVulkanObjectTypeCommandPool, false, "VUID-vkFreeCommandBuffers-commandPool-parameter",
628 "VUID-vkFreeCommandBuffers-commandPool-parent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600629 for (uint32_t i = 0; i < commandBufferCount; i++) {
630 if (pCommandBuffers[i] != VK_NULL_HANDLE) {
631 skip |= ValidateCommandBuffer(device, commandPool, pCommandBuffers[i]);
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600632 skip |=
633 ValidateDestroyObject(pCommandBuffers[i], kVulkanObjectTypeCommandBuffer, nullptr, kVUIDUndefined, kVUIDUndefined);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600634 }
635 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600636 return skip;
637}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600638
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600639void ObjectLifetimes::PreCallRecordFreeCommandBuffers(VkDevice device, VkCommandPool commandPool, uint32_t commandBufferCount,
640 const VkCommandBuffer *pCommandBuffers) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600641 for (uint32_t i = 0; i < commandBufferCount; i++) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600642 RecordDestroyObject(pCommandBuffers[i], kVulkanObjectTypeCommandBuffer);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600643 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600644}
645
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600646bool ObjectLifetimes::PreCallValidateDestroySwapchainKHR(VkDevice device, VkSwapchainKHR swapchain,
647 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600648 return ValidateDestroyObject(swapchain, kVulkanObjectTypeSwapchainKHR, pAllocator, "VUID-vkDestroySwapchainKHR-swapchain-01283",
649 "VUID-vkDestroySwapchainKHR-swapchain-01284");
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600650}
651
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600652void ObjectLifetimes::PreCallRecordDestroySwapchainKHR(VkDevice device, VkSwapchainKHR swapchain,
653 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600654 RecordDestroyObject(swapchain, kVulkanObjectTypeSwapchainKHR);
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500655
656 auto snapshot = swapchainImageMap.snapshot(
657 [swapchain](std::shared_ptr<ObjTrackState> pNode) { return pNode->parent_object == HandleToUint64(swapchain); });
658 for (const auto &itr : snapshot) {
659 swapchainImageMap.erase(itr.first);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600660 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600661}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600662
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600663bool ObjectLifetimes::PreCallValidateFreeDescriptorSets(VkDevice device, VkDescriptorPool descriptorPool,
664 uint32_t descriptorSetCount, const VkDescriptorSet *pDescriptorSets) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500665 auto lock = read_shared_lock();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600666 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600667 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkFreeDescriptorSets-device-parameter", kVUIDUndefined);
668 skip |= ValidateObject(descriptorPool, kVulkanObjectTypeDescriptorPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600669 "VUID-vkFreeDescriptorSets-descriptorPool-parameter", "VUID-vkFreeDescriptorSets-descriptorPool-parent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600670 for (uint32_t i = 0; i < descriptorSetCount; i++) {
671 if (pDescriptorSets[i] != VK_NULL_HANDLE) {
672 skip |= ValidateDescriptorSet(device, descriptorPool, pDescriptorSets[i]);
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600673 skip |=
674 ValidateDestroyObject(pDescriptorSets[i], kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined, kVUIDUndefined);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600675 }
676 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600677 return skip;
678}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600679void ObjectLifetimes::PreCallRecordFreeDescriptorSets(VkDevice device, VkDescriptorPool descriptorPool, uint32_t descriptorSetCount,
680 const VkDescriptorSet *pDescriptorSets) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500681 auto lock = write_shared_lock();
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500682 std::shared_ptr<ObjTrackState> pPoolNode = nullptr;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600683 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
684 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
685 pPoolNode = itr->second;
686 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600687 for (uint32_t i = 0; i < descriptorSetCount; i++) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600688 RecordDestroyObject(pDescriptorSets[i], kVulkanObjectTypeDescriptorSet);
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600689 if (pPoolNode) {
690 pPoolNode->child_objects->erase(HandleToUint64(pDescriptorSets[i]));
691 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600692 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600693}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600694
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600695bool ObjectLifetimes::PreCallValidateDestroyDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
696 const VkAllocationCallbacks *pAllocator) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500697 auto lock = read_shared_lock();
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600698 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600699 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkDestroyDescriptorPool-device-parameter", kVUIDUndefined);
700 skip |= ValidateObject(descriptorPool, kVulkanObjectTypeDescriptorPool, true,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600701 "VUID-vkDestroyDescriptorPool-descriptorPool-parameter",
702 "VUID-vkDestroyDescriptorPool-descriptorPool-parent");
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600703
704 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
705 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500706 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600707 for (auto set : *pPoolNode->child_objects) {
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600708 skip |= ValidateDestroyObject((VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined,
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600709 kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600710 }
711 }
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600712 skip |= ValidateDestroyObject(descriptorPool, kVulkanObjectTypeDescriptorPool, pAllocator,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600713 "VUID-vkDestroyDescriptorPool-descriptorPool-00304",
714 "VUID-vkDestroyDescriptorPool-descriptorPool-00305");
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600715 return skip;
716}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600717void ObjectLifetimes::PreCallRecordDestroyDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
718 const VkAllocationCallbacks *pAllocator) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500719 auto lock = write_shared_lock();
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600720 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
721 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500722 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600723 for (auto set : *pPoolNode->child_objects) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600724 RecordDestroyObject((VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600725 }
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600726 pPoolNode->child_objects->clear();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600727 }
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600728 RecordDestroyObject(descriptorPool, kVulkanObjectTypeDescriptorPool);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600729}
730
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600731bool ObjectLifetimes::PreCallValidateDestroyCommandPool(VkDevice device, VkCommandPool commandPool,
732 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600733 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600734 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkDestroyCommandPool-device-parameter", kVUIDUndefined);
735 skip |= ValidateObject(commandPool, kVulkanObjectTypeCommandPool, true, "VUID-vkDestroyCommandPool-commandPool-parameter",
736 "VUID-vkDestroyCommandPool-commandPool-parent");
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500737
738 auto snapshot = object_map[kVulkanObjectTypeCommandBuffer].snapshot(
739 [commandPool](std::shared_ptr<ObjTrackState> pNode) { return pNode->parent_object == HandleToUint64(commandPool); });
740 for (const auto &itr : snapshot) {
741 auto pNode = itr.second;
742 skip |= ValidateCommandBuffer(device, commandPool, reinterpret_cast<VkCommandBuffer>(itr.first));
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600743 skip |= ValidateDestroyObject(reinterpret_cast<VkCommandBuffer>(itr.first), kVulkanObjectTypeCommandBuffer, nullptr,
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500744 kVUIDUndefined, kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600745 }
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600746 skip |= ValidateDestroyObject(commandPool, kVulkanObjectTypeCommandPool, pAllocator,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600747 "VUID-vkDestroyCommandPool-commandPool-00042", "VUID-vkDestroyCommandPool-commandPool-00043");
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600748 return skip;
749}
750
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600751void ObjectLifetimes::PreCallRecordDestroyCommandPool(VkDevice device, VkCommandPool commandPool,
752 const VkAllocationCallbacks *pAllocator) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500753 auto snapshot = object_map[kVulkanObjectTypeCommandBuffer].snapshot(
754 [commandPool](std::shared_ptr<ObjTrackState> pNode) { return pNode->parent_object == HandleToUint64(commandPool); });
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600755 // A CommandPool's cmd buffers are implicitly deleted when pool is deleted. Remove this pool's cmdBuffers from cmd buffer map.
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500756 for (const auto &itr : snapshot) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600757 RecordDestroyObject(reinterpret_cast<VkCommandBuffer>(itr.first), kVulkanObjectTypeCommandBuffer);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600758 }
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600759 RecordDestroyObject(commandPool, kVulkanObjectTypeCommandPool);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600760}
761
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600762bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties2(VkPhysicalDevice physicalDevice,
763 uint32_t *pQueueFamilyPropertyCount,
764 VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600765 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600766 "VUID-vkGetPhysicalDeviceQueueFamilyProperties2-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600767}
768
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600769bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties2KHR(VkPhysicalDevice physicalDevice,
770 uint32_t *pQueueFamilyPropertyCount,
771 VkQueueFamilyProperties2 *pQueueFamilyProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600772 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Shannon McPherson3ea65132018-12-05 10:37:39 -0700773 "VUID-vkGetPhysicalDeviceQueueFamilyProperties2-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600774}
775
776void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties2(VkPhysicalDevice physicalDevice,
777 uint32_t *pQueueFamilyPropertyCount,
Jeff Bolz6d243112019-08-21 13:24:11 -0500778 VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {}
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600779
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600780void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties2KHR(
Jeff Bolz6d243112019-08-21 13:24:11 -0500781 VkPhysicalDevice physicalDevice, uint32_t *pQueueFamilyPropertyCount, VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {}
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600782
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600783bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceDisplayPropertiesKHR(VkPhysicalDevice physicalDevice,
784 uint32_t *pPropertyCount,
785 VkDisplayPropertiesKHR *pProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600786 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600787 "VUID-vkGetPhysicalDeviceDisplayPropertiesKHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600788}
789
790void ObjectLifetimes::PostCallRecordGetPhysicalDeviceDisplayPropertiesKHR(VkPhysicalDevice physicalDevice, uint32_t *pPropertyCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700791 VkDisplayPropertiesKHR *pProperties, VkResult result) {
792 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600793 if (pProperties) {
794 for (uint32_t i = 0; i < *pPropertyCount; ++i) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600795 CreateObject(pProperties[i].display, kVulkanObjectTypeDisplayKHR, nullptr);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600796 }
797 }
798}
799
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600800bool ObjectLifetimes::PreCallValidateGetDisplayModePropertiesKHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
801 uint32_t *pPropertyCount,
802 VkDisplayModePropertiesKHR *pProperties) {
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600803 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600804 skip |= ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600805 "VUID-vkGetDisplayModePropertiesKHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski39965742019-09-11 11:03:51 -0600806 skip |= ValidateObject(display, kVulkanObjectTypeDisplayKHR, false, "VUID-vkGetDisplayModePropertiesKHR-display-parameter",
807 kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600808
809 return skip;
810}
811
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600812void ObjectLifetimes::PostCallRecordGetDisplayModePropertiesKHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700813 uint32_t *pPropertyCount, VkDisplayModePropertiesKHR *pProperties,
814 VkResult result) {
815 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600816 if (pProperties) {
Tony-LunarGcd0c6b02018-10-26 14:56:44 -0600817 for (uint32_t i = 0; i < *pPropertyCount; ++i) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600818 CreateObject(pProperties[i].displayMode, kVulkanObjectTypeDisplayModeKHR, nullptr);
Shannon McPherson9d5167f2018-05-02 15:24:37 -0600819 }
820 }
Shannon McPherson9d5167f2018-05-02 15:24:37 -0600821}
822
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600823bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceDisplayProperties2KHR(VkPhysicalDevice physicalDevice,
824 uint32_t *pPropertyCount,
825 VkDisplayProperties2KHR *pProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600826 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600827 "VUID-vkGetPhysicalDeviceDisplayProperties2KHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600828}
829
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600830void ObjectLifetimes::PostCallRecordGetPhysicalDeviceDisplayProperties2KHR(VkPhysicalDevice physicalDevice,
831 uint32_t *pPropertyCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700832 VkDisplayProperties2KHR *pProperties, VkResult result) {
833 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600834 for (uint32_t index = 0; index < *pPropertyCount; ++index) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600835 CreateObject(pProperties[index].displayProperties.display, kVulkanObjectTypeDisplayKHR, nullptr);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600836 }
837}
838
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600839bool ObjectLifetimes::PreCallValidateGetDisplayModeProperties2KHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
840 uint32_t *pPropertyCount,
841 VkDisplayModeProperties2KHR *pProperties) {
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600842 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600843 skip |= ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600844 "VUID-vkGetDisplayModeProperties2KHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski39965742019-09-11 11:03:51 -0600845 skip |= ValidateObject(display, kVulkanObjectTypeDisplayKHR, false, "VUID-vkGetDisplayModeProperties2KHR-display-parameter",
846 kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600847
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600848 return skip;
849}
850
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600851void ObjectLifetimes::PostCallRecordGetDisplayModeProperties2KHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700852 uint32_t *pPropertyCount, VkDisplayModeProperties2KHR *pProperties,
853 VkResult result) {
854 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600855 for (uint32_t index = 0; index < *pPropertyCount; ++index) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600856 CreateObject(pProperties[index].displayModeProperties.displayMode, kVulkanObjectTypeDisplayModeKHR, nullptr);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600857 }
858}
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600859
860bool ObjectLifetimes::PreCallValidateAcquirePerformanceConfigurationINTEL(
861 VkDevice device, const VkPerformanceConfigurationAcquireInfoINTEL *pAcquireInfo,
862 VkPerformanceConfigurationINTEL *pConfiguration) {
863 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600864 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkAcquirePerformanceConfigurationINTEL-device-parameter",
865 kVUIDUndefined);
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600866
867 return skip;
868}
869
870bool ObjectLifetimes::PreCallValidateReleasePerformanceConfigurationINTEL(VkDevice device,
871 VkPerformanceConfigurationINTEL configuration) {
872 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600873 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkReleasePerformanceConfigurationINTEL-device-parameter",
874 kVUIDUndefined);
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600875
876 return skip;
877}
878
879bool ObjectLifetimes::PreCallValidateQueueSetPerformanceConfigurationINTEL(VkQueue queue,
880 VkPerformanceConfigurationINTEL configuration) {
881 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600882 skip |= ValidateObject(queue, kVulkanObjectTypeQueue, false, "VUID-vkQueueSetPerformanceConfigurationINTEL-queue-parameter",
883 "VUID-vkQueueSetPerformanceConfigurationINTEL-commonparent");
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600884
885 return skip;
886}
Tobias Hectorc9057422019-07-23 12:15:52 +0100887
888bool ObjectLifetimes::PreCallValidateCreateFramebuffer(VkDevice device, const VkFramebufferCreateInfo *pCreateInfo,
889 const VkAllocationCallbacks *pAllocator, VkFramebuffer *pFramebuffer) {
890 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600891 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkCreateFramebuffer-device-parameter", kVUIDUndefined);
Tobias Hectorc9057422019-07-23 12:15:52 +0100892 if (pCreateInfo) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600893 skip |= ValidateObject(pCreateInfo->renderPass, kVulkanObjectTypeRenderPass, false,
Tobias Hectorc9057422019-07-23 12:15:52 +0100894 "VUID-VkFramebufferCreateInfo-renderPass-parameter", "VUID-VkFramebufferCreateInfo-commonparent");
895 if ((pCreateInfo->flags & VK_FRAMEBUFFER_CREATE_IMAGELESS_BIT_KHR) == 0) {
896 for (uint32_t index1 = 0; index1 < pCreateInfo->attachmentCount; ++index1) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600897 skip |= ValidateObject(pCreateInfo->pAttachments[index1], kVulkanObjectTypeImageView, true, kVUIDUndefined,
Tobias Hectorc9057422019-07-23 12:15:52 +0100898 "VUID-VkFramebufferCreateInfo-commonparent");
899 }
900 }
901 }
902
903 return skip;
904}
905
906void ObjectLifetimes::PostCallRecordCreateFramebuffer(VkDevice device, const VkFramebufferCreateInfo *pCreateInfo,
907 const VkAllocationCallbacks *pAllocator, VkFramebuffer *pFramebuffer,
908 VkResult result) {
909 if (result != VK_SUCCESS) return;
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600910 CreateObject(*pFramebuffer, kVulkanObjectTypeFramebuffer, pAllocator);
Tobias Hectorc9057422019-07-23 12:15:52 +0100911}