blob: 10afbfd2a1c12ae8c3839fb4eebdf06567b0ddb7 [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
29// Add new queue to head of global queue list
Mark Lobodzinski0c668462018-09-27 10:13:19 -060030void ObjectLifetimes::AddQueueInfo(VkDevice device, uint32_t queue_node_index, VkQueue queue) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060031 auto queueItem = queue_info_map.find(queue);
32 if (queueItem == queue_info_map.end()) {
Mark Lobodzinskiefc64392017-07-18 13:15:47 -060033 ObjTrackQueueInfo *p_queue_info = new ObjTrackQueueInfo;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060034 if (p_queue_info != NULL) {
Mark Lobodzinskiefc64392017-07-18 13:15:47 -060035 memset(p_queue_info, 0, sizeof(ObjTrackQueueInfo));
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060036 p_queue_info->queue = queue;
37 p_queue_info->queue_node_index = queue_node_index;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060038 queue_info_map[queue] = p_queue_info;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060039 } else {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060040 log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_QUEUE_EXT, HandleToUint64(queue),
41 kVUID_ObjectTracker_InternalError,
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060042 "ERROR: VK_ERROR_OUT_OF_HOST_MEMORY -- could not allocate memory for Queue Information");
43 }
44 }
45}
46
47// Destroy memRef lists and free all memory
Mark Lobodzinski0c668462018-09-27 10:13:19 -060048void ObjectLifetimes::DestroyQueueDataStructures(VkDevice device) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060049 for (auto queue_item : queue_info_map) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060050 delete queue_item.second;
51 }
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060052 queue_info_map.clear();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060053
54 // Destroy the items in the queue map
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060055 auto queue = object_map[kVulkanObjectTypeQueue].begin();
56 while (queue != object_map[kVulkanObjectTypeQueue].end()) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060057 uint32_t obj_index = queue->second->object_type;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060058 assert(num_total_objects > 0);
59 num_total_objects--;
60 assert(num_objects[obj_index] > 0);
61 num_objects[obj_index]--;
62 log_msg(report_data, VK_DEBUG_REPORT_INFORMATION_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_QUEUE_EXT, queue->second->handle,
63 kVUID_ObjectTracker_Info,
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060064 "OBJ_STAT Destroy Queue obj 0x%" PRIxLEAST64 " (%" PRIu64 " total objs remain & %" PRIu64 " Queue objs).",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060065 queue->second->handle, num_total_objects, num_objects[obj_index]);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060066 delete queue->second;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060067 queue = object_map[kVulkanObjectTypeQueue].erase(queue);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060068 }
69}
70
71// Check Queue type flags for selected queue operations
Mark Lobodzinski0c668462018-09-27 10:13:19 -060072void ObjectLifetimes::ValidateQueueFlags(VkQueue queue, const char *function) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060073 auto queue_item = queue_info_map.find(queue);
74 if (queue_item != queue_info_map.end()) {
Mark Lobodzinskiefc64392017-07-18 13:15:47 -060075 ObjTrackQueueInfo *pQueueInfo = queue_item->second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060076 if (pQueueInfo != NULL) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060077 if ((queue_family_properties[pQueueInfo->queue_node_index].queueFlags & VK_QUEUE_SPARSE_BINDING_BIT) == 0) {
78 log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_QUEUE_EXT, HandleToUint64(queue),
79 "VUID-vkQueueBindSparse-queuetype",
Mark Lobodzinski487a0d12018-03-30 10:09:03 -060080 "Attempting %s on a non-memory-management capable queue -- VK_QUEUE_SPARSE_BINDING_BIT not set.", function);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060081 }
82 }
83 }
84}
85
Mark Lobodzinski9bd81192017-11-13 09:38:23 -070086// Look for this device object in any of the instance child devices lists.
87// NOTE: This is of dubious value. In most circumstances Vulkan will die a flaming death if a dispatchable object is invalid.
88// However, if this layer is loaded first and GetProcAddress is used to make API calls, it will detect bad DOs.
Jeff Bolzfdd0d852019-02-03 21:55:12 -060089bool ObjectLifetimes::ValidateDeviceObject(uint64_t device_handle, const char *invalid_handle_code, const char *wrong_device_code) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060090 auto instance_data = GetLayerDataPtr(get_dispatch_key(instance), layer_data_map);
91 auto instance_object_lifetime_data = GetObjectLifetimeData(instance_data->object_dispatch);
92 for (auto object : instance_object_lifetime_data->object_map[kVulkanObjectTypeDevice]) {
93 if (object.second->handle == device_handle) return false;
Mark Lobodzinski9bd81192017-11-13 09:38:23 -070094 }
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060095 return log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_DEVICE_EXT, device_handle,
Mark Lobodzinski88529492018-04-01 10:38:15 -060096 invalid_handle_code, "Invalid Device Object 0x%" PRIxLEAST64 ".", device_handle);
Mark Lobodzinski9bd81192017-11-13 09:38:23 -070097}
98
Mark Lobodzinski0c668462018-09-27 10:13:19 -060099void ObjectLifetimes::AllocateCommandBuffer(VkDevice device, const VkCommandPool command_pool, const VkCommandBuffer command_buffer,
100 VkCommandBufferLevel level) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600101 log_msg(report_data, VK_DEBUG_REPORT_INFORMATION_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT,
Dave Houltonb817a872018-06-26 13:22:01 -0600102 HandleToUint64(command_buffer), kVUID_ObjectTracker_Info, "OBJ[0x%" PRIxLEAST64 "] : CREATE %s object 0x%" PRIxLEAST64,
Mark Lobodzinskib1fd9d12018-03-30 14:26:00 -0600103 object_track_index++, "VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT", HandleToUint64(command_buffer));
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600104
Mark Lobodzinskiefc64392017-07-18 13:15:47 -0600105 ObjTrackState *pNewObjNode = new ObjTrackState;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600106 pNewObjNode->object_type = kVulkanObjectTypeCommandBuffer;
107 pNewObjNode->handle = HandleToUint64(command_buffer);
108 pNewObjNode->parent_object = HandleToUint64(command_pool);
109 if (level == VK_COMMAND_BUFFER_LEVEL_SECONDARY) {
110 pNewObjNode->status = OBJSTATUS_COMMAND_BUFFER_SECONDARY;
111 } else {
112 pNewObjNode->status = OBJSTATUS_NONE;
113 }
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600114 object_map[kVulkanObjectTypeCommandBuffer][HandleToUint64(command_buffer)] = pNewObjNode;
115 num_objects[kVulkanObjectTypeCommandBuffer]++;
116 num_total_objects++;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600117}
118
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600119bool ObjectLifetimes::ValidateCommandBuffer(VkDevice device, VkCommandPool command_pool, VkCommandBuffer command_buffer) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600120 bool skip = false;
121 uint64_t object_handle = HandleToUint64(command_buffer);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600122 if (object_map[kVulkanObjectTypeCommandBuffer].find(object_handle) != object_map[kVulkanObjectTypeCommandBuffer].end()) {
123 ObjTrackState *pNode = object_map[kVulkanObjectTypeCommandBuffer][HandleToUint64(command_buffer)];
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600124
125 if (pNode->parent_object != HandleToUint64(command_pool)) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600126 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT,
Dave Houlton57ae22f2018-05-18 16:20:52 -0600127 object_handle, "VUID-vkFreeCommandBuffers-pCommandBuffers-parent",
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600128 "FreeCommandBuffers is attempting to free Command Buffer 0x%" PRIxLEAST64
Mark Lobodzinski487a0d12018-03-30 10:09:03 -0600129 " belonging to Command Pool 0x%" PRIxLEAST64 " from pool 0x%" PRIxLEAST64 ").",
130 HandleToUint64(command_buffer), pNode->parent_object, HandleToUint64(command_pool));
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600131 }
132 } else {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600133 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT, object_handle,
134 "VUID-vkFreeCommandBuffers-pCommandBuffers-00048", "Invalid %s Object 0x%" PRIxLEAST64 ".",
Mark Lobodzinski487a0d12018-03-30 10:09:03 -0600135 object_string[kVulkanObjectTypeCommandBuffer], object_handle);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600136 }
137 return skip;
138}
139
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600140void ObjectLifetimes::AllocateDescriptorSet(VkDevice device, VkDescriptorPool descriptor_pool, VkDescriptorSet descriptor_set) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600141 log_msg(report_data, VK_DEBUG_REPORT_INFORMATION_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_DESCRIPTOR_SET_EXT,
Dave Houltonb817a872018-06-26 13:22:01 -0600142 HandleToUint64(descriptor_set), kVUID_ObjectTracker_Info, "OBJ[0x%" PRIxLEAST64 "] : CREATE %s object 0x%" PRIxLEAST64,
Mark Lobodzinskib1fd9d12018-03-30 14:26:00 -0600143 object_track_index++, "VK_DEBUG_REPORT_OBJECT_TYPE_DESCRIPTOR_SET_EXT", HandleToUint64(descriptor_set));
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600144
Mark Lobodzinskiefc64392017-07-18 13:15:47 -0600145 ObjTrackState *pNewObjNode = new ObjTrackState;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600146 pNewObjNode->object_type = kVulkanObjectTypeDescriptorSet;
147 pNewObjNode->status = OBJSTATUS_NONE;
148 pNewObjNode->handle = HandleToUint64(descriptor_set);
149 pNewObjNode->parent_object = HandleToUint64(descriptor_pool);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600150 object_map[kVulkanObjectTypeDescriptorSet][HandleToUint64(descriptor_set)] = pNewObjNode;
151 num_objects[kVulkanObjectTypeDescriptorSet]++;
152 num_total_objects++;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600153
154 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptor_pool));
155 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
156 ObjTrackState *pPoolNode = itr->second;
157 pPoolNode->child_objects->insert(HandleToUint64(descriptor_set));
158 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600159}
160
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600161bool ObjectLifetimes::ValidateDescriptorSet(VkDevice device, VkDescriptorPool descriptor_pool, VkDescriptorSet descriptor_set) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600162 bool skip = false;
163 uint64_t object_handle = HandleToUint64(descriptor_set);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600164 auto dsItem = object_map[kVulkanObjectTypeDescriptorSet].find(object_handle);
165 if (dsItem != object_map[kVulkanObjectTypeDescriptorSet].end()) {
Mark Lobodzinskiefc64392017-07-18 13:15:47 -0600166 ObjTrackState *pNode = dsItem->second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600167
168 if (pNode->parent_object != HandleToUint64(descriptor_pool)) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600169 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_DESCRIPTOR_SET_EXT,
Dave Houlton57ae22f2018-05-18 16:20:52 -0600170 object_handle, "VUID-vkFreeDescriptorSets-pDescriptorSets-parent",
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600171 "FreeDescriptorSets is attempting to free descriptorSet 0x%" PRIxLEAST64
Mark Lobodzinski487a0d12018-03-30 10:09:03 -0600172 " belonging to Descriptor Pool 0x%" PRIxLEAST64 " from pool 0x%" PRIxLEAST64 ").",
173 HandleToUint64(descriptor_set), pNode->parent_object, HandleToUint64(descriptor_pool));
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600174 }
175 } else {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600176 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_DESCRIPTOR_SET_EXT, object_handle,
177 "VUID-vkFreeDescriptorSets-pDescriptorSets-00310", "Invalid %s Object 0x%" PRIxLEAST64 ".",
Mark Lobodzinski487a0d12018-03-30 10:09:03 -0600178 object_string[kVulkanObjectTypeDescriptorSet], object_handle);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600179 }
180 return skip;
181}
182
Dave Houltona9df0ce2018-02-07 10:51:23 -0700183template <typename DispObj>
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600184bool ObjectLifetimes::ValidateDescriptorWrite(DispObj disp, VkWriteDescriptorSet const *desc, bool isPush) {
Chris Forbes2c600e92017-10-20 11:13:20 -0700185 bool skip = false;
186
187 if (!isPush && desc->dstSet) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600188 skip |= ValidateObject(disp, desc->dstSet, kVulkanObjectTypeDescriptorSet, false, "VUID-VkWriteDescriptorSet-dstSet-00320",
189 "VUID-VkWriteDescriptorSet-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700190 }
191
192 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_TEXEL_BUFFER) ||
193 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_TEXEL_BUFFER)) {
194 for (uint32_t idx2 = 0; idx2 < desc->descriptorCount; ++idx2) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600195 skip |= ValidateObject(disp, desc->pTexelBufferView[idx2], kVulkanObjectTypeBufferView, false,
196 "VUID-VkWriteDescriptorSet-descriptorType-00323", "VUID-VkWriteDescriptorSet-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700197 }
198 }
199
200 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER) ||
Dave Houltona9df0ce2018-02-07 10:51:23 -0700201 (desc->descriptorType == VK_DESCRIPTOR_TYPE_SAMPLED_IMAGE) || (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_IMAGE) ||
Chris Forbes2c600e92017-10-20 11:13:20 -0700202 (desc->descriptorType == VK_DESCRIPTOR_TYPE_INPUT_ATTACHMENT)) {
203 for (uint32_t idx3 = 0; idx3 < desc->descriptorCount; ++idx3) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600204 skip |= ValidateObject(disp, desc->pImageInfo[idx3].imageView, kVulkanObjectTypeImageView, false,
205 "VUID-VkWriteDescriptorSet-descriptorType-00326", "VUID-VkDescriptorImageInfo-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700206 }
207 }
208
209 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER) ||
210 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_BUFFER) ||
211 (desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER_DYNAMIC) ||
212 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_BUFFER_DYNAMIC)) {
213 for (uint32_t idx4 = 0; idx4 < desc->descriptorCount; ++idx4) {
214 if (desc->pBufferInfo[idx4].buffer) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600215 skip |= ValidateObject(disp, desc->pBufferInfo[idx4].buffer, kVulkanObjectTypeBuffer, false,
216 "VUID-VkDescriptorBufferInfo-buffer-parameter", kVUIDUndefined);
Chris Forbes2c600e92017-10-20 11:13:20 -0700217 }
218 }
219 }
220
221 return skip;
222}
223
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600224bool ObjectLifetimes::PreCallValidateCmdPushDescriptorSetKHR(VkCommandBuffer commandBuffer, VkPipelineBindPoint pipelineBindPoint,
225 VkPipelineLayout layout, uint32_t set, uint32_t descriptorWriteCount,
226 const VkWriteDescriptorSet *pDescriptorWrites) {
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600227 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600228 skip |= ValidateObject(commandBuffer, commandBuffer, kVulkanObjectTypeCommandBuffer, false,
229 "VUID-vkCmdPushDescriptorSetKHR-commandBuffer-parameter", "VUID-vkCmdPushDescriptorSetKHR-commonparent");
230 skip |= ValidateObject(commandBuffer, layout, kVulkanObjectTypePipelineLayout, false,
231 "VUID-vkCmdPushDescriptorSetKHR-layout-parameter", "VUID-vkCmdPushDescriptorSetKHR-commonparent");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600232 if (pDescriptorWrites) {
233 for (uint32_t index0 = 0; index0 < descriptorWriteCount; ++index0) {
234 skip |= ValidateDescriptorWrite(commandBuffer, &pDescriptorWrites[index0], true);
235 }
236 }
237 return skip;
238}
239
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600240void ObjectLifetimes::CreateQueue(VkDevice device, VkQueue vkObj) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600241 log_msg(report_data, VK_DEBUG_REPORT_INFORMATION_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_QUEUE_EXT, HandleToUint64(vkObj),
242 kVUID_ObjectTracker_Info, "OBJ[0x%" PRIxLEAST64 "] : CREATE %s object 0x%" PRIxLEAST64, object_track_index++,
243 "VK_DEBUG_REPORT_OBJECT_TYPE_QUEUE_EXT", HandleToUint64(vkObj));
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600244
Mark Lobodzinskiefc64392017-07-18 13:15:47 -0600245 ObjTrackState *p_obj_node = NULL;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600246 auto queue_item = object_map[kVulkanObjectTypeQueue].find(HandleToUint64(vkObj));
247 if (queue_item == object_map[kVulkanObjectTypeQueue].end()) {
Mark Lobodzinskiefc64392017-07-18 13:15:47 -0600248 p_obj_node = new ObjTrackState;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600249 object_map[kVulkanObjectTypeQueue][HandleToUint64(vkObj)] = p_obj_node;
250 num_objects[kVulkanObjectTypeQueue]++;
251 num_total_objects++;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600252 } else {
253 p_obj_node = queue_item->second;
254 }
255 p_obj_node->object_type = kVulkanObjectTypeQueue;
256 p_obj_node->status = OBJSTATUS_NONE;
257 p_obj_node->handle = HandleToUint64(vkObj);
258}
259
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600260void ObjectLifetimes::CreateSwapchainImageObject(VkDevice dispatchable_object, VkImage swapchain_image, VkSwapchainKHR swapchain) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600261 log_msg(report_data, VK_DEBUG_REPORT_INFORMATION_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_IMAGE_EXT,
Dave Houltonb817a872018-06-26 13:22:01 -0600262 HandleToUint64(swapchain_image), kVUID_ObjectTracker_Info, "OBJ[0x%" PRIxLEAST64 "] : CREATE %s object 0x%" PRIxLEAST64,
Mark Lobodzinskib1fd9d12018-03-30 14:26:00 -0600263 object_track_index++, "SwapchainImage", HandleToUint64(swapchain_image));
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600264
Mark Lobodzinskiefc64392017-07-18 13:15:47 -0600265 ObjTrackState *pNewObjNode = new ObjTrackState;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600266 pNewObjNode->object_type = kVulkanObjectTypeImage;
267 pNewObjNode->status = OBJSTATUS_NONE;
268 pNewObjNode->handle = HandleToUint64(swapchain_image);
269 pNewObjNode->parent_object = HandleToUint64(swapchain);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600270 swapchainImageMap[HandleToUint64(swapchain_image)] = pNewObjNode;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600271}
272
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600273bool ObjectLifetimes::DeviceReportUndestroyedObjects(VkDevice device, VulkanObjectType object_type, const std::string &error_code) {
Mark Lobodzinski5183a032018-09-13 14:44:28 -0600274 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600275 for (const auto &item : object_map[object_type]) {
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000276 const ObjTrackState *object_info = item.second;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600277 skip |=
278 log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, get_debug_report_enum[object_type], object_info->handle, error_code,
279 "OBJ ERROR : For device 0x%" PRIxLEAST64 ", %s object 0x%" PRIxLEAST64 " has not been destroyed.",
280 HandleToUint64(device), object_string[object_type], object_info->handle);
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000281 }
Mark Lobodzinski5183a032018-09-13 14:44:28 -0600282 return skip;
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000283}
284
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600285void ObjectLifetimes::DeviceDestroyUndestroyedObjects(VkDevice device, VulkanObjectType object_type) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600286 while (!object_map[object_type].empty()) {
287 auto item = object_map[object_type].begin();
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000288
289 ObjTrackState *object_info = item->second;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600290 DestroyObjectSilently(object_info->handle, object_type);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600291 }
292}
293
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600294bool ObjectLifetimes::PreCallValidateDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600295 bool skip = false;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600296
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600297 // We validate here for coverage, though we'd not have made it this for with a bad instance.
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600298 skip |= ValidateObject(instance, instance, kVulkanObjectTypeInstance, true, "VUID-vkDestroyInstance-instance-parameter",
299 kVUIDUndefined);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600300
301 // Validate that child devices have been destroyed
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600302 for (const auto &iit : object_map[kVulkanObjectTypeDevice]) {
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600303 ObjTrackState *pNode = iit.second;
304
305 VkDevice device = reinterpret_cast<VkDevice>(pNode->handle);
306 VkDebugReportObjectTypeEXT debug_object_type = get_debug_report_enum[pNode->object_type];
307
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600308 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, debug_object_type, pNode->handle,
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600309 kVUID_ObjectTracker_ObjectLeak, "OBJ ERROR : %s object 0x%" PRIxLEAST64 " has not been destroyed.",
310 string_VkDebugReportObjectTypeEXT(debug_object_type), pNode->handle);
311
312 // Report any remaining objects in LL
313 skip |= ReportUndestroyedObjects(device, "VUID-vkDestroyInstance-instance-00629");
314
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600315 skip |= ValidateDestroyObject(instance, device, kVulkanObjectTypeDevice, pAllocator,
316 "VUID-vkDestroyInstance-instance-00630", "VUID-vkDestroyInstance-instance-00631");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600317 }
318
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600319 ValidateDestroyObject(instance, instance, kVulkanObjectTypeInstance, pAllocator, "VUID-vkDestroyInstance-instance-00630",
320 "VUID-vkDestroyInstance-instance-00631");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600321
322 return skip;
323}
324
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600325bool ObjectLifetimes::PreCallValidateEnumeratePhysicalDevices(VkInstance instance, uint32_t *pPhysicalDeviceCount,
326 VkPhysicalDevice *pPhysicalDevices) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600327 bool skip = ValidateObject(instance, instance, kVulkanObjectTypeInstance, false,
328 "VUID-vkEnumeratePhysicalDevices-instance-parameter", kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600329 return skip;
330}
331
332void ObjectLifetimes::PostCallRecordEnumeratePhysicalDevices(VkInstance instance, uint32_t *pPhysicalDeviceCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700333 VkPhysicalDevice *pPhysicalDevices, VkResult result) {
334 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600335 if (pPhysicalDevices) {
336 for (uint32_t i = 0; i < *pPhysicalDeviceCount; i++) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600337 CreateObject(instance, pPhysicalDevices[i], kVulkanObjectTypePhysicalDevice, nullptr);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600338 }
339 }
340}
341
342void ObjectLifetimes::PreCallRecordDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600343 // Destroy physical devices
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600344 for (auto iit = object_map[kVulkanObjectTypePhysicalDevice].begin();
345 iit != object_map[kVulkanObjectTypePhysicalDevice].end();) {
Mark Lobodzinskiefc64392017-07-18 13:15:47 -0600346 ObjTrackState *pNode = iit->second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600347 VkPhysicalDevice physical_device = reinterpret_cast<VkPhysicalDevice>(pNode->handle);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600348 RecordDestroyObject(instance, physical_device, kVulkanObjectTypePhysicalDevice);
349 iit = object_map[kVulkanObjectTypePhysicalDevice].begin();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600350 }
351
Mark Lobodzinski9bd81192017-11-13 09:38:23 -0700352 // Destroy child devices
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600353 for (auto iit = object_map[kVulkanObjectTypeDevice].begin(); iit != object_map[kVulkanObjectTypeDevice].end();) {
Mark Lobodzinskiefc64392017-07-18 13:15:47 -0600354 ObjTrackState *pNode = iit->second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600355 VkDevice device = reinterpret_cast<VkDevice>(pNode->handle);
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000356 DestroyUndestroyedObjects(device);
Mark Lobodzinski9bd81192017-11-13 09:38:23 -0700357
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600358 RecordDestroyObject(instance, device, kVulkanObjectTypeDevice);
359 iit = object_map[kVulkanObjectTypeDevice].begin();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600360 }
Mark Lobodzinski9bd81192017-11-13 09:38:23 -0700361
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600362 object_map[kVulkanObjectTypeDevice].clear();
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600363}
364
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600365void ObjectLifetimes::PostCallRecordDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600366 RecordDestroyObject(instance, instance, kVulkanObjectTypeInstance);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600367}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600368
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600369bool ObjectLifetimes::PreCallValidateDestroyDevice(VkDevice device, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600370 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600371 skip |= ValidateObject(device, device, kVulkanObjectTypeDevice, true, "VUID-vkDestroyDevice-device-parameter", kVUIDUndefined);
372 skip |= ValidateDestroyObject(physical_device, device, kVulkanObjectTypeDevice, pAllocator, "VUID-vkDestroyDevice-device-00379",
373 "VUID-vkDestroyDevice-device-00380");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600374 // Report any remaining objects associated with this VkDevice object in LL
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600375 skip |= ReportUndestroyedObjects(device, "VUID-vkDestroyDevice-device-00378");
376
377 return skip;
378}
379
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600380void ObjectLifetimes::PreCallRecordDestroyDevice(VkDevice device, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski52db2352018-12-28 09:41:15 -0700381 auto instance_data = GetLayerDataPtr(get_dispatch_key(physical_device), layer_data_map);
382 ValidationObject *validation_data = GetValidationObject(instance_data->object_dispatch, LayerObjectTypeObjectTracker);
383 ObjectLifetimes *object_lifetimes = static_cast<ObjectLifetimes *>(validation_data);
384 object_lifetimes->RecordDestroyObject(physical_device, device, kVulkanObjectTypeDevice);
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000385 DestroyUndestroyedObjects(device);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600386
387 // Clean up Queue's MemRef Linked Lists
388 DestroyQueueDataStructures(device);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600389}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600390
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600391bool ObjectLifetimes::PreCallValidateGetDeviceQueue(VkDevice device, uint32_t queueFamilyIndex, uint32_t queueIndex,
392 VkQueue *pQueue) {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600393 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600394 skip |=
395 ValidateObject(device, device, kVulkanObjectTypeDevice, false, "VUID-vkGetDeviceQueue-device-parameter", kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600396 return skip;
397}
Mark Lobodzinski439645a2017-07-19 15:18:15 -0600398
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600399void ObjectLifetimes::PostCallRecordGetDeviceQueue(VkDevice device, uint32_t queueFamilyIndex, uint32_t queueIndex,
400 VkQueue *pQueue) {
Mark Lobodzinski439645a2017-07-19 15:18:15 -0600401 CreateQueue(device, *pQueue);
402 AddQueueInfo(device, queueFamilyIndex, *pQueue);
403}
404
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600405bool ObjectLifetimes::PreCallValidateGetDeviceQueue2(VkDevice device, const VkDeviceQueueInfo2 *pQueueInfo, VkQueue *pQueue) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600406 return ValidateObject(device, device, kVulkanObjectTypeDevice, false, "VUID-vkGetDeviceQueue2-device-parameter",
407 kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600408}
409
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600410void ObjectLifetimes::PostCallRecordGetDeviceQueue2(VkDevice device, const VkDeviceQueueInfo2 *pQueueInfo, VkQueue *pQueue) {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600411 CreateQueue(device, *pQueue);
412 AddQueueInfo(device, pQueueInfo->queueFamilyIndex, *pQueue);
413}
414
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600415bool ObjectLifetimes::PreCallValidateUpdateDescriptorSets(VkDevice device, uint32_t descriptorWriteCount,
416 const VkWriteDescriptorSet *pDescriptorWrites,
417 uint32_t descriptorCopyCount,
418 const VkCopyDescriptorSet *pDescriptorCopies) {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600419 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600420 skip |= ValidateObject(device, device, kVulkanObjectTypeDevice, false, "VUID-vkUpdateDescriptorSets-device-parameter",
421 kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600422 if (pDescriptorCopies) {
423 for (uint32_t idx0 = 0; idx0 < descriptorCopyCount; ++idx0) {
424 if (pDescriptorCopies[idx0].dstSet) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600425 skip |= ValidateObject(device, pDescriptorCopies[idx0].dstSet, kVulkanObjectTypeDescriptorSet, false,
426 "VUID-VkCopyDescriptorSet-dstSet-parameter", "VUID-VkCopyDescriptorSet-commonparent");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600427 }
428 if (pDescriptorCopies[idx0].srcSet) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600429 skip |= ValidateObject(device, pDescriptorCopies[idx0].srcSet, kVulkanObjectTypeDescriptorSet, false,
430 "VUID-VkCopyDescriptorSet-srcSet-parameter", "VUID-VkCopyDescriptorSet-commonparent");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600431 }
432 }
433 }
434 if (pDescriptorWrites) {
435 for (uint32_t idx1 = 0; idx1 < descriptorWriteCount; ++idx1) {
436 skip |= ValidateDescriptorWrite(device, &pDescriptorWrites[idx1], false);
437 }
438 }
439 return skip;
440}
441
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600442bool ObjectLifetimes::PreCallValidateResetDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
443 VkDescriptorPoolResetFlags flags) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600444 bool skip = false;
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600445
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600446 skip |= ValidateObject(device, device, kVulkanObjectTypeDevice, false, "VUID-vkResetDescriptorPool-device-parameter",
447 kVUIDUndefined);
448 skip |=
449 ValidateObject(device, descriptorPool, kVulkanObjectTypeDescriptorPool, false,
450 "VUID-vkResetDescriptorPool-descriptorPool-parameter", "VUID-vkResetDescriptorPool-descriptorPool-parent");
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600451
452 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
453 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
454 ObjTrackState *pPoolNode = itr->second;
455 for (auto set : *pPoolNode->child_objects) {
456 skip |= ValidateDestroyObject(device, (VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined,
457 kVUIDUndefined);
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600458 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600459 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600460 return skip;
461}
462
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600463void ObjectLifetimes::PreCallRecordResetDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
464 VkDescriptorPoolResetFlags flags) {
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600465 // A DescriptorPool's descriptor sets are implicitly deleted when the pool is reset. Remove this pool's descriptor sets from
466 // our descriptorSet map.
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600467 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
468 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
469 ObjTrackState *pPoolNode = itr->second;
470 for (auto set : *pPoolNode->child_objects) {
471 RecordDestroyObject(device, (VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600472 }
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600473 pPoolNode->child_objects->clear();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600474 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600475}
476
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600477bool ObjectLifetimes::PreCallValidateBeginCommandBuffer(VkCommandBuffer command_buffer,
478 const VkCommandBufferBeginInfo *begin_info) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600479 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600480 skip |= ValidateObject(command_buffer, command_buffer, kVulkanObjectTypeCommandBuffer, false,
481 "VUID-vkBeginCommandBuffer-commandBuffer-parameter", kVUIDUndefined);
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600482 if (begin_info) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600483 ObjTrackState *pNode = object_map[kVulkanObjectTypeCommandBuffer][HandleToUint64(command_buffer)];
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600484 if ((begin_info->pInheritanceInfo) && (pNode->status & OBJSTATUS_COMMAND_BUFFER_SECONDARY) &&
485 (begin_info->flags & VK_COMMAND_BUFFER_USAGE_RENDER_PASS_CONTINUE_BIT)) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600486 skip |= ValidateObject(command_buffer, begin_info->pInheritanceInfo->framebuffer, kVulkanObjectTypeFramebuffer, true,
487 "VUID-VkCommandBufferBeginInfo-flags-00055", "VUID-VkCommandBufferInheritanceInfo-commonparent");
488 skip |= ValidateObject(command_buffer, begin_info->pInheritanceInfo->renderPass, kVulkanObjectTypeRenderPass, false,
489 "VUID-VkCommandBufferBeginInfo-flags-00053", "VUID-VkCommandBufferInheritanceInfo-commonparent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600490 }
491 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600492 return skip;
493}
494
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600495bool ObjectLifetimes::PreCallValidateGetSwapchainImagesKHR(VkDevice device, VkSwapchainKHR swapchain,
496 uint32_t *pSwapchainImageCount, VkImage *pSwapchainImages) {
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600497 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600498 skip |= ValidateObject(device, device, kVulkanObjectTypeDevice, false, "VUID-vkGetSwapchainImagesKHR-device-parameter",
499 "VUID-vkGetSwapchainImagesKHR-commonparent");
500 skip |= ValidateObject(device, swapchain, kVulkanObjectTypeSwapchainKHR, false,
501 "VUID-vkGetSwapchainImagesKHR-swapchain-parameter", "VUID-vkGetSwapchainImagesKHR-commonparent");
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600502 return skip;
503}
504
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600505void ObjectLifetimes::PostCallRecordGetSwapchainImagesKHR(VkDevice device, VkSwapchainKHR swapchain, uint32_t *pSwapchainImageCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700506 VkImage *pSwapchainImages, VkResult result) {
507 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600508 if (pSwapchainImages != NULL) {
509 for (uint32_t i = 0; i < *pSwapchainImageCount; i++) {
510 CreateSwapchainImageObject(device, pSwapchainImages[i], swapchain);
511 }
512 }
513}
514
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600515bool ObjectLifetimes::PreCallValidateCreateDescriptorSetLayout(VkDevice device, const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
516 const VkAllocationCallbacks *pAllocator,
517 VkDescriptorSetLayout *pSetLayout) {
Petr Kraus42f6f8d2017-12-17 17:37:33 +0100518 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600519 skip |= ValidateObject(device, device, kVulkanObjectTypeDevice, false, "VUID-vkCreateDescriptorSetLayout-device-parameter",
520 kVUIDUndefined);
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600521 if (pCreateInfo) {
522 if (pCreateInfo->pBindings) {
523 for (uint32_t binding_index = 0; binding_index < pCreateInfo->bindingCount; ++binding_index) {
524 const VkDescriptorSetLayoutBinding &binding = pCreateInfo->pBindings[binding_index];
525 const bool is_sampler_type = binding.descriptorType == VK_DESCRIPTOR_TYPE_SAMPLER ||
526 binding.descriptorType == VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER;
527 if (binding.pImmutableSamplers && is_sampler_type) {
528 for (uint32_t index2 = 0; index2 < binding.descriptorCount; ++index2) {
529 const VkSampler sampler = binding.pImmutableSamplers[index2];
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600530 skip |= ValidateObject(device, sampler, kVulkanObjectTypeSampler, false,
531 "VUID-VkDescriptorSetLayoutBinding-descriptorType-00282", kVUIDUndefined);
Petr Kraus42f6f8d2017-12-17 17:37:33 +0100532 }
533 }
534 }
535 }
536 }
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600537 return skip;
538}
539
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600540void ObjectLifetimes::PostCallRecordCreateDescriptorSetLayout(VkDevice device, const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
541 const VkAllocationCallbacks *pAllocator,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700542 VkDescriptorSetLayout *pSetLayout, VkResult result) {
543 if (result != VK_SUCCESS) return;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600544 CreateObject(device, *pSetLayout, kVulkanObjectTypeDescriptorSetLayout, pAllocator);
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600545}
546
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600547bool ObjectLifetimes::ValidateSamplerObjects(VkDevice device, const VkDescriptorSetLayoutCreateInfo *pCreateInfo) {
Mark Lobodzinski88a1a662018-07-02 14:09:39 -0600548 bool skip = false;
549 if (pCreateInfo->pBindings) {
550 for (uint32_t index1 = 0; index1 < pCreateInfo->bindingCount; ++index1) {
551 for (uint32_t index2 = 0; index2 < pCreateInfo->pBindings[index1].descriptorCount; ++index2) {
552 if (pCreateInfo->pBindings[index1].pImmutableSamplers) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600553 skip |=
554 ValidateObject(device, pCreateInfo->pBindings[index1].pImmutableSamplers[index2], kVulkanObjectTypeSampler,
555 true, "VUID-VkDescriptorSetLayoutBinding-descriptorType-00282", kVUIDUndefined);
Mark Lobodzinski88a1a662018-07-02 14:09:39 -0600556 }
557 }
558 }
559 }
560 return skip;
561}
562
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600563bool ObjectLifetimes::PreCallValidateGetDescriptorSetLayoutSupport(VkDevice device,
564 const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
565 VkDescriptorSetLayoutSupport *pSupport) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600566 bool skip = ValidateObject(device, device, kVulkanObjectTypeDevice, false,
567 "VUID-vkGetDescriptorSetLayoutSupport-device-parameter", kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600568 if (pCreateInfo) {
569 skip |= ValidateSamplerObjects(device, pCreateInfo);
570 }
571 return skip;
572}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600573bool ObjectLifetimes::PreCallValidateGetDescriptorSetLayoutSupportKHR(VkDevice device,
574 const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
575 VkDescriptorSetLayoutSupport *pSupport) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600576 bool skip = ValidateObject(device, device, kVulkanObjectTypeDevice, false,
577 "VUID-vkGetDescriptorSetLayoutSupportKHR-device-parameter", kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600578 if (pCreateInfo) {
579 skip |= ValidateSamplerObjects(device, pCreateInfo);
580 }
581 return skip;
582}
583
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600584bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties(VkPhysicalDevice physicalDevice,
585 uint32_t *pQueueFamilyPropertyCount,
586 VkQueueFamilyProperties *pQueueFamilyProperties) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600587 return ValidateObject(physicalDevice, physicalDevice, kVulkanObjectTypePhysicalDevice, false,
588 "VUID-vkGetPhysicalDeviceQueueFamilyProperties-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600589}
Mark Lobodzinski63902f02018-09-21 10:36:44 -0600590
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600591void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties(VkPhysicalDevice physicalDevice,
592 uint32_t *pQueueFamilyPropertyCount,
593 VkQueueFamilyProperties *pQueueFamilyProperties) {
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600594 if (pQueueFamilyProperties != NULL) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600595 if (queue_family_properties.size() < *pQueueFamilyPropertyCount) {
596 queue_family_properties.resize(*pQueueFamilyPropertyCount);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600597 }
598 for (uint32_t i = 0; i < *pQueueFamilyPropertyCount; i++) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600599 queue_family_properties[i] = pQueueFamilyProperties[i];
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600600 }
601 }
602}
603
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600604void ObjectLifetimes::PostCallRecordCreateInstance(const VkInstanceCreateInfo *pCreateInfo, const VkAllocationCallbacks *pAllocator,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700605 VkInstance *pInstance, VkResult result) {
606 if (result != VK_SUCCESS) return;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600607 CreateObject(*pInstance, *pInstance, kVulkanObjectTypeInstance, pAllocator);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600608}
609
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600610bool ObjectLifetimes::PreCallValidateAllocateCommandBuffers(VkDevice device, const VkCommandBufferAllocateInfo *pAllocateInfo,
611 VkCommandBuffer *pCommandBuffers) {
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600612 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600613 skip |= ValidateObject(device, device, kVulkanObjectTypeDevice, false, "VUID-vkAllocateCommandBuffers-device-parameter",
614 kVUIDUndefined);
615 skip |= ValidateObject(device, pAllocateInfo->commandPool, kVulkanObjectTypeCommandPool, false,
616 "VUID-VkCommandBufferAllocateInfo-commandPool-parameter", kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600617 return skip;
618}
619
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600620void ObjectLifetimes::PostCallRecordAllocateCommandBuffers(VkDevice device, const VkCommandBufferAllocateInfo *pAllocateInfo,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700621 VkCommandBuffer *pCommandBuffers, VkResult result) {
622 if (result != VK_SUCCESS) return;
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600623 for (uint32_t i = 0; i < pAllocateInfo->commandBufferCount; i++) {
624 AllocateCommandBuffer(device, pAllocateInfo->commandPool, pCommandBuffers[i], pAllocateInfo->level);
625 }
626}
627
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600628bool ObjectLifetimes::PreCallValidateAllocateDescriptorSets(VkDevice device, const VkDescriptorSetAllocateInfo *pAllocateInfo,
629 VkDescriptorSet *pDescriptorSets) {
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600630 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600631 skip |= ValidateObject(device, device, kVulkanObjectTypeDevice, false, "VUID-vkAllocateDescriptorSets-device-parameter",
632 kVUIDUndefined);
633 skip |= ValidateObject(device, pAllocateInfo->descriptorPool, kVulkanObjectTypeDescriptorPool, false,
634 "VUID-VkDescriptorSetAllocateInfo-descriptorPool-parameter",
635 "VUID-VkDescriptorSetAllocateInfo-commonparent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600636 for (uint32_t i = 0; i < pAllocateInfo->descriptorSetCount; i++) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600637 skip |= ValidateObject(device, pAllocateInfo->pSetLayouts[i], kVulkanObjectTypeDescriptorSetLayout, false,
638 "VUID-VkDescriptorSetAllocateInfo-pSetLayouts-parameter",
639 "VUID-VkDescriptorSetAllocateInfo-commonparent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600640 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600641 return skip;
642}
643
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600644void ObjectLifetimes::PostCallRecordAllocateDescriptorSets(VkDevice device, const VkDescriptorSetAllocateInfo *pAllocateInfo,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700645 VkDescriptorSet *pDescriptorSets, VkResult result) {
646 if (result != VK_SUCCESS) return;
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600647 for (uint32_t i = 0; i < pAllocateInfo->descriptorSetCount; i++) {
648 AllocateDescriptorSet(device, pAllocateInfo->descriptorPool, pDescriptorSets[i]);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600649 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600650}
651
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600652bool ObjectLifetimes::PreCallValidateFreeCommandBuffers(VkDevice device, VkCommandPool commandPool, uint32_t commandBufferCount,
653 const VkCommandBuffer *pCommandBuffers) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600654 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600655 skip |= ValidateObject(device, device, kVulkanObjectTypeDevice, false, "VUID-vkFreeCommandBuffers-device-parameter",
656 kVUIDUndefined);
657 skip |= ValidateObject(device, commandPool, kVulkanObjectTypeCommandPool, false,
658 "VUID-vkFreeCommandBuffers-commandPool-parameter", "VUID-vkFreeCommandBuffers-commandPool-parent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600659 for (uint32_t i = 0; i < commandBufferCount; i++) {
660 if (pCommandBuffers[i] != VK_NULL_HANDLE) {
661 skip |= ValidateCommandBuffer(device, commandPool, pCommandBuffers[i]);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600662 skip |= ValidateDestroyObject(device, pCommandBuffers[i], kVulkanObjectTypeCommandBuffer, nullptr, kVUIDUndefined,
663 kVUIDUndefined);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600664 }
665 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600666 return skip;
667}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600668
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600669void ObjectLifetimes::PreCallRecordFreeCommandBuffers(VkDevice device, VkCommandPool commandPool, uint32_t commandBufferCount,
670 const VkCommandBuffer *pCommandBuffers) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600671 for (uint32_t i = 0; i < commandBufferCount; i++) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600672 RecordDestroyObject(device, pCommandBuffers[i], kVulkanObjectTypeCommandBuffer);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600673 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600674}
675
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600676bool ObjectLifetimes::PreCallValidateDestroySwapchainKHR(VkDevice device, VkSwapchainKHR swapchain,
677 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600678 return ValidateDestroyObject(device, swapchain, kVulkanObjectTypeSwapchainKHR, pAllocator,
679 "VUID-vkDestroySwapchainKHR-swapchain-01283", "VUID-vkDestroySwapchainKHR-swapchain-01284");
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600680}
681
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600682void ObjectLifetimes::PreCallRecordDestroySwapchainKHR(VkDevice device, VkSwapchainKHR swapchain,
683 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600684 RecordDestroyObject(device, swapchain, kVulkanObjectTypeSwapchainKHR);
685 std::unordered_map<uint64_t, ObjTrackState *>::iterator itr = swapchainImageMap.begin();
686 while (itr != swapchainImageMap.end()) {
Mark Lobodzinskiefc64392017-07-18 13:15:47 -0600687 ObjTrackState *pNode = (*itr).second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600688 if (pNode->parent_object == HandleToUint64(swapchain)) {
689 delete pNode;
690 auto delete_item = itr++;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600691 swapchainImageMap.erase(delete_item);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600692 } else {
693 ++itr;
694 }
695 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600696}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600697
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600698bool ObjectLifetimes::PreCallValidateFreeDescriptorSets(VkDevice device, VkDescriptorPool descriptorPool,
699 uint32_t descriptorSetCount, const VkDescriptorSet *pDescriptorSets) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600700 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600701 skip |= ValidateObject(device, device, kVulkanObjectTypeDevice, false, "VUID-vkFreeDescriptorSets-device-parameter",
702 kVUIDUndefined);
703 skip |= ValidateObject(device, descriptorPool, kVulkanObjectTypeDescriptorPool, false,
704 "VUID-vkFreeDescriptorSets-descriptorPool-parameter", "VUID-vkFreeDescriptorSets-descriptorPool-parent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600705 for (uint32_t i = 0; i < descriptorSetCount; i++) {
706 if (pDescriptorSets[i] != VK_NULL_HANDLE) {
707 skip |= ValidateDescriptorSet(device, descriptorPool, pDescriptorSets[i]);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600708 skip |= ValidateDestroyObject(device, pDescriptorSets[i], kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined,
709 kVUIDUndefined);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600710 }
711 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600712 return skip;
713}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600714void ObjectLifetimes::PreCallRecordFreeDescriptorSets(VkDevice device, VkDescriptorPool descriptorPool, uint32_t descriptorSetCount,
715 const VkDescriptorSet *pDescriptorSets) {
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600716 ObjTrackState *pPoolNode = nullptr;
717 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
718 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
719 pPoolNode = itr->second;
720 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600721 for (uint32_t i = 0; i < descriptorSetCount; i++) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600722 RecordDestroyObject(device, pDescriptorSets[i], kVulkanObjectTypeDescriptorSet);
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600723 if (pPoolNode) {
724 pPoolNode->child_objects->erase(HandleToUint64(pDescriptorSets[i]));
725 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600726 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600727}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600728
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600729bool ObjectLifetimes::PreCallValidateDestroyDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
730 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600731 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600732 skip |= ValidateObject(device, device, kVulkanObjectTypeDevice, false, "VUID-vkDestroyDescriptorPool-device-parameter",
733 kVUIDUndefined);
734 skip |= ValidateObject(device, descriptorPool, kVulkanObjectTypeDescriptorPool, true,
735 "VUID-vkDestroyDescriptorPool-descriptorPool-parameter",
736 "VUID-vkDestroyDescriptorPool-descriptorPool-parent");
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600737
738 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
739 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
740 ObjTrackState *pPoolNode = itr->second;
741 for (auto set : *pPoolNode->child_objects) {
742 skip |= ValidateDestroyObject(device, (VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined,
743 kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600744 }
745 }
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600746 skip |= ValidateDestroyObject(device, descriptorPool, kVulkanObjectTypeDescriptorPool, pAllocator,
747 "VUID-vkDestroyDescriptorPool-descriptorPool-00304",
748 "VUID-vkDestroyDescriptorPool-descriptorPool-00305");
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600749 return skip;
750}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600751void ObjectLifetimes::PreCallRecordDestroyDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
752 const VkAllocationCallbacks *pAllocator) {
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600753 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
754 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
755 ObjTrackState *pPoolNode = itr->second;
756 for (auto set : *pPoolNode->child_objects) {
757 RecordDestroyObject(device, (VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600758 }
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600759 pPoolNode->child_objects->clear();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600760 }
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600761 RecordDestroyObject(device, descriptorPool, kVulkanObjectTypeDescriptorPool);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600762}
763
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600764bool ObjectLifetimes::PreCallValidateDestroyCommandPool(VkDevice device, VkCommandPool commandPool,
765 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600766 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600767 skip |= ValidateObject(device, device, kVulkanObjectTypeDevice, false, "VUID-vkDestroyCommandPool-device-parameter",
768 kVUIDUndefined);
769 skip |= ValidateObject(device, commandPool, kVulkanObjectTypeCommandPool, true,
770 "VUID-vkDestroyCommandPool-commandPool-parameter", "VUID-vkDestroyCommandPool-commandPool-parent");
771 auto itr = object_map[kVulkanObjectTypeCommandBuffer].begin();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600772 auto del_itr = itr;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600773 while (itr != object_map[kVulkanObjectTypeCommandBuffer].end()) {
Mark Lobodzinskiefc64392017-07-18 13:15:47 -0600774 ObjTrackState *pNode = (*itr).second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600775 del_itr = itr++;
776 if (pNode->parent_object == HandleToUint64(commandPool)) {
777 skip |= ValidateCommandBuffer(device, commandPool, reinterpret_cast<VkCommandBuffer>((*del_itr).first));
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600778 skip |= ValidateDestroyObject(device, reinterpret_cast<VkCommandBuffer>((*del_itr).first),
779 kVulkanObjectTypeCommandBuffer, nullptr, kVUIDUndefined, kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600780 }
781 }
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600782 skip |= ValidateDestroyObject(device, commandPool, kVulkanObjectTypeCommandPool, pAllocator,
783 "VUID-vkDestroyCommandPool-commandPool-00042", "VUID-vkDestroyCommandPool-commandPool-00043");
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600784 return skip;
785}
786
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600787void ObjectLifetimes::PreCallRecordDestroyCommandPool(VkDevice device, VkCommandPool commandPool,
788 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600789 auto itr = object_map[kVulkanObjectTypeCommandBuffer].begin();
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600790 auto del_itr = itr;
791 // A CommandPool's cmd buffers are implicitly deleted when pool is deleted. Remove this pool's cmdBuffers from cmd buffer map.
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600792 while (itr != object_map[kVulkanObjectTypeCommandBuffer].end()) {
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600793 ObjTrackState *pNode = (*itr).second;
794 del_itr = itr++;
795 if (pNode->parent_object == HandleToUint64(commandPool)) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600796 RecordDestroyObject(device, reinterpret_cast<VkCommandBuffer>((*del_itr).first), kVulkanObjectTypeCommandBuffer);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600797 }
798 }
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600799 RecordDestroyObject(device, commandPool, kVulkanObjectTypeCommandPool);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600800}
801
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600802bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties2(VkPhysicalDevice physicalDevice,
803 uint32_t *pQueueFamilyPropertyCount,
804 VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600805 return ValidateObject(physicalDevice, physicalDevice, kVulkanObjectTypePhysicalDevice, false,
806 "VUID-vkGetPhysicalDeviceQueueFamilyProperties2-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600807}
808
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600809bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties2KHR(VkPhysicalDevice physicalDevice,
810 uint32_t *pQueueFamilyPropertyCount,
811 VkQueueFamilyProperties2 *pQueueFamilyProperties) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600812 return ValidateObject(physicalDevice, physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Shannon McPherson3ea65132018-12-05 10:37:39 -0700813 "VUID-vkGetPhysicalDeviceQueueFamilyProperties2-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600814}
815
816void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties2(VkPhysicalDevice physicalDevice,
817 uint32_t *pQueueFamilyPropertyCount,
818 VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600819 if (pQueueFamilyProperties != NULL) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600820 if (queue_family_properties.size() < *pQueueFamilyPropertyCount) {
821 queue_family_properties.resize(*pQueueFamilyPropertyCount);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600822 }
823 for (uint32_t i = 0; i < *pQueueFamilyPropertyCount; i++) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600824 queue_family_properties[i] = pQueueFamilyProperties[i].queueFamilyProperties;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600825 }
826 }
827}
828
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600829void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties2KHR(
830 VkPhysicalDevice physicalDevice, uint32_t *pQueueFamilyPropertyCount, VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600831 if (pQueueFamilyProperties != NULL) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600832 if (queue_family_properties.size() < *pQueueFamilyPropertyCount) {
833 queue_family_properties.resize(*pQueueFamilyPropertyCount);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600834 }
835 for (uint32_t i = 0; i < *pQueueFamilyPropertyCount; i++) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600836 queue_family_properties[i] = pQueueFamilyProperties[i].queueFamilyProperties;
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600837 }
838 }
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600839}
840
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600841bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceDisplayPropertiesKHR(VkPhysicalDevice physicalDevice,
842 uint32_t *pPropertyCount,
843 VkDisplayPropertiesKHR *pProperties) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600844 return ValidateObject(physicalDevice, physicalDevice, kVulkanObjectTypePhysicalDevice, false,
845 "VUID-vkGetPhysicalDeviceDisplayPropertiesKHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600846}
847
848void ObjectLifetimes::PostCallRecordGetPhysicalDeviceDisplayPropertiesKHR(VkPhysicalDevice physicalDevice, uint32_t *pPropertyCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700849 VkDisplayPropertiesKHR *pProperties, VkResult result) {
850 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600851 if (pProperties) {
852 for (uint32_t i = 0; i < *pPropertyCount; ++i) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600853 CreateObject(physicalDevice, pProperties[i].display, kVulkanObjectTypeDisplayKHR, nullptr);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600854 }
855 }
856}
857
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600858bool ObjectLifetimes::PreCallValidateGetDisplayModePropertiesKHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
859 uint32_t *pPropertyCount,
860 VkDisplayModePropertiesKHR *pProperties) {
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600861 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600862 skip |= ValidateObject(physicalDevice, physicalDevice, kVulkanObjectTypePhysicalDevice, false,
863 "VUID-vkGetDisplayModePropertiesKHR-physicalDevice-parameter", kVUIDUndefined);
864 skip |= ValidateObject(physicalDevice, display, kVulkanObjectTypeDisplayKHR, false,
865 "VUID-vkGetDisplayModePropertiesKHR-display-parameter", kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600866
867 return skip;
868}
869
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600870void ObjectLifetimes::PostCallRecordGetDisplayModePropertiesKHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700871 uint32_t *pPropertyCount, VkDisplayModePropertiesKHR *pProperties,
872 VkResult result) {
873 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600874 if (pProperties) {
Tony-LunarGcd0c6b02018-10-26 14:56:44 -0600875 for (uint32_t i = 0; i < *pPropertyCount; ++i) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600876 CreateObject(physicalDevice, pProperties[i].displayMode, kVulkanObjectTypeDisplayModeKHR, nullptr);
Shannon McPherson9d5167f2018-05-02 15:24:37 -0600877 }
878 }
Shannon McPherson9d5167f2018-05-02 15:24:37 -0600879}
880
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600881bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceDisplayProperties2KHR(VkPhysicalDevice physicalDevice,
882 uint32_t *pPropertyCount,
883 VkDisplayProperties2KHR *pProperties) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600884 return ValidateObject(physicalDevice, physicalDevice, kVulkanObjectTypePhysicalDevice, false,
885 "VUID-vkGetPhysicalDeviceDisplayProperties2KHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600886}
887
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600888void ObjectLifetimes::PostCallRecordGetPhysicalDeviceDisplayProperties2KHR(VkPhysicalDevice physicalDevice,
889 uint32_t *pPropertyCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700890 VkDisplayProperties2KHR *pProperties, VkResult result) {
891 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600892 for (uint32_t index = 0; index < *pPropertyCount; ++index) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600893 CreateObject(physicalDevice, pProperties[index].displayProperties.display, kVulkanObjectTypeDisplayKHR, nullptr);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600894 }
895}
896
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600897bool ObjectLifetimes::PreCallValidateGetDisplayModeProperties2KHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
898 uint32_t *pPropertyCount,
899 VkDisplayModeProperties2KHR *pProperties) {
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600900 bool skip = false;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600901 skip |= ValidateObject(physicalDevice, physicalDevice, kVulkanObjectTypePhysicalDevice, false,
902 "VUID-vkGetDisplayModeProperties2KHR-physicalDevice-parameter", kVUIDUndefined);
903 skip |= ValidateObject(physicalDevice, display, kVulkanObjectTypeDisplayKHR, false,
904 "VUID-vkGetDisplayModeProperties2KHR-display-parameter", kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600905
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600906 return skip;
907}
908
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600909void ObjectLifetimes::PostCallRecordGetDisplayModeProperties2KHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700910 uint32_t *pPropertyCount, VkDisplayModeProperties2KHR *pProperties,
911 VkResult result) {
912 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600913 for (uint32_t index = 0; index < *pPropertyCount; ++index) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600914 CreateObject(physicalDevice, pProperties[index].displayModeProperties.displayMode, kVulkanObjectTypeDisplayModeKHR,
915 nullptr);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600916 }
917}