| Mark Lobodzinski | d42e4d2 | 2017-01-17 14:14:22 -0700 | [diff] [blame] | 1 | /* Copyright (c) 2015-2017 The Khronos Group Inc. |
| 2 | * Copyright (c) 2015-2017 Valve Corporation |
| 3 | * Copyright (c) 2015-2017 LunarG, Inc. |
| 4 | * Copyright (C) 2015-2017 Google Inc. |
| 5 | * |
| 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 | * Mark Lobodzinski <mark@lunarg.com> |
| 19 | */ |
| 20 | #ifndef CORE_VALIDATION_BUFFER_VALIDATION_H_ |
| 21 | #define CORE_VALIDATION_BUFFER_VALIDATION_H_ |
| 22 | |
| 23 | #include "core_validation_types.h" |
| Mark Lobodzinski | 90224de | 2017-01-26 15:23:11 -0700 | [diff] [blame] | 24 | #include "core_validation_error_enums.h" |
| Chris Forbes | 6ca0d29 | 2017-09-01 17:03:21 -0700 | [diff] [blame] | 25 | #include "descriptor_sets.h" |
| Mark Lobodzinski | d42e4d2 | 2017-01-17 14:14:22 -0700 | [diff] [blame] | 26 | #include "vulkan/vk_layer.h" |
| Mark Lobodzinski | ab9ea3e | 2017-02-15 12:59:00 -0700 | [diff] [blame] | 27 | #include <limits.h> |
| Mark Lobodzinski | d42e4d2 | 2017-01-17 14:14:22 -0700 | [diff] [blame] | 28 | #include <memory> |
| 29 | #include <unordered_map> |
| 30 | #include <vector> |
| Mark Lobodzinski | 9ef5d56 | 2017-01-27 12:28:30 -0700 | [diff] [blame] | 31 | #include <utility> |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 32 | #include <algorithm> |
| Mark Lobodzinski | ab9ea3e | 2017-02-15 12:59:00 -0700 | [diff] [blame] | 33 | #include <bitset> |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 34 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 35 | using core_validation::layer_data; |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 36 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 37 | bool PreCallValidateCreateImage(layer_data *device_data, const VkImageCreateInfo *pCreateInfo, |
| Mark Lobodzinski | 90224de | 2017-01-26 15:23:11 -0700 | [diff] [blame] | 38 | const VkAllocationCallbacks *pAllocator, VkImage *pImage); |
| 39 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 40 | void PostCallRecordCreateImage(layer_data *device_data, const VkImageCreateInfo *pCreateInfo, VkImage *pImage); |
| Mark Lobodzinski | 42fe5f7 | 2017-01-11 11:36:16 -0700 | [diff] [blame] | 41 | |
| John Zulauf | fca05c1 | 2018-04-26 16:30:39 -0600 | [diff] [blame] | 42 | void PreCallRecordDestroyImage(layer_data *device_data, VkImage image, IMAGE_STATE *image_state, VK_OBJECT obj_struct); |
| Mark Lobodzinski | 9ef5d56 | 2017-01-27 12:28:30 -0700 | [diff] [blame] | 43 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 44 | bool PreCallValidateDestroyImage(layer_data *device_data, VkImage image, IMAGE_STATE **image_state, VK_OBJECT *obj_struct); |
| Mark Lobodzinski | 9ef5d56 | 2017-01-27 12:28:30 -0700 | [diff] [blame] | 45 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 46 | bool ValidateImageAttributes(layer_data *device_data, IMAGE_STATE *image_state, VkImageSubresourceRange range); |
| Mark Lobodzinski | c409a58 | 2017-01-27 15:16:01 -0700 | [diff] [blame] | 47 | |
| Mark Lobodzinski | 903e5ff | 2017-03-23 09:43:35 -0600 | [diff] [blame] | 48 | uint32_t ResolveRemainingLevels(const VkImageSubresourceRange *range, uint32_t mip_levels); |
| Mark Lobodzinski | d81d101 | 2017-02-01 09:03:06 -0700 | [diff] [blame] | 49 | |
| Mark Lobodzinski | 903e5ff | 2017-03-23 09:43:35 -0600 | [diff] [blame] | 50 | uint32_t ResolveRemainingLayers(const VkImageSubresourceRange *range, uint32_t layers); |
| Mark Lobodzinski | d81d101 | 2017-02-01 09:03:06 -0700 | [diff] [blame] | 51 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 52 | bool VerifyClearImageLayout(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *image_state, |
| Mark Lobodzinski | d81d101 | 2017-02-01 09:03:06 -0700 | [diff] [blame] | 53 | VkImageSubresourceRange range, VkImageLayout dest_image_layout, const char *func_name); |
| 54 | |
| Tobin Ehlis | c826645 | 2017-04-07 12:20:30 -0600 | [diff] [blame] | 55 | bool VerifyImageLayout(layer_data const *device_data, GLOBAL_CB_NODE const *cb_node, IMAGE_STATE *image_state, |
| Tobin Ehlis | e35b66a | 2017-03-15 12:18:31 -0600 | [diff] [blame] | 56 | VkImageSubresourceLayers subLayers, VkImageLayout explicit_layout, VkImageLayout optimal_layout, |
| Cort Stratton | 7df3096 | 2018-05-17 19:45:57 -0700 | [diff] [blame] | 57 | const char *caller, const std::string &layout_invalid_msg_code, const std::string &layout_mismatch_msg_code, |
| 58 | bool *error); |
| Tobin Ehlis | e35b66a | 2017-03-15 12:18:31 -0600 | [diff] [blame] | 59 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 60 | void RecordClearImageLayout(layer_data *dev_data, GLOBAL_CB_NODE *cb_node, VkImage image, VkImageSubresourceRange range, |
| 61 | VkImageLayout dest_image_layout); |
| Mark Lobodzinski | d81d101 | 2017-02-01 09:03:06 -0700 | [diff] [blame] | 62 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 63 | bool PreCallValidateCmdClearColorImage(layer_data *dev_data, VkCommandBuffer commandBuffer, VkImage image, |
| Mark Lobodzinski | d81d101 | 2017-02-01 09:03:06 -0700 | [diff] [blame] | 64 | VkImageLayout imageLayout, uint32_t rangeCount, const VkImageSubresourceRange *pRanges); |
| 65 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 66 | void PreCallRecordCmdClearImage(layer_data *dev_data, VkCommandBuffer commandBuffer, VkImage image, VkImageLayout imageLayout, |
| Chris Forbes | 38c2e79 | 2017-06-16 16:42:35 -0700 | [diff] [blame] | 67 | uint32_t rangeCount, const VkImageSubresourceRange *pRanges); |
| Mark Lobodzinski | d81d101 | 2017-02-01 09:03:06 -0700 | [diff] [blame] | 68 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 69 | bool PreCallValidateCmdClearDepthStencilImage(layer_data *dev_data, VkCommandBuffer commandBuffer, VkImage image, |
| Mark Lobodzinski | d81d101 | 2017-02-01 09:03:06 -0700 | [diff] [blame] | 70 | VkImageLayout imageLayout, uint32_t rangeCount, |
| 71 | const VkImageSubresourceRange *pRanges); |
| 72 | |
| Tobin Ehlis | c826645 | 2017-04-07 12:20:30 -0600 | [diff] [blame] | 73 | bool FindLayoutVerifyNode(layer_data const *device_data, GLOBAL_CB_NODE const *pCB, ImageSubresourcePair imgpair, |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 74 | IMAGE_CMD_BUF_LAYOUT_NODE &node, const VkImageAspectFlags aspectMask); |
| 75 | |
| Tobin Ehlis | c826645 | 2017-04-07 12:20:30 -0600 | [diff] [blame] | 76 | bool FindLayoutVerifyLayout(layer_data const *device_data, ImageSubresourcePair imgpair, VkImageLayout &layout, |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 77 | const VkImageAspectFlags aspectMask); |
| 78 | |
| Tobin Ehlis | c826645 | 2017-04-07 12:20:30 -0600 | [diff] [blame] | 79 | bool FindCmdBufLayout(layer_data const *device_data, GLOBAL_CB_NODE const *pCB, VkImage image, VkImageSubresource range, |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 80 | IMAGE_CMD_BUF_LAYOUT_NODE &node); |
| 81 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 82 | bool FindGlobalLayout(layer_data *device_data, ImageSubresourcePair imgpair, VkImageLayout &layout); |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 83 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 84 | bool FindLayouts(layer_data *device_data, VkImage image, std::vector<VkImageLayout> &layouts); |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 85 | |
| Tony Barbour | e0c5cc9 | 2017-02-08 13:53:39 -0700 | [diff] [blame] | 86 | bool FindLayout(const std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap, ImageSubresourcePair imgpair, |
| 87 | VkImageLayout &layout, const VkImageAspectFlags aspectMask); |
| Tony Barbour | df013b9 | 2017-01-25 12:53:48 -0700 | [diff] [blame] | 88 | |
| Dave Houlton | b3f4b28 | 2018-02-22 16:25:16 -0700 | [diff] [blame] | 89 | bool FindLayout(layer_data *device_data, const std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap, |
| 90 | ImageSubresourcePair imgpair, VkImageLayout &layout); |
| Tony Barbour | df013b9 | 2017-01-25 12:53:48 -0700 | [diff] [blame] | 91 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 92 | void SetGlobalLayout(layer_data *device_data, ImageSubresourcePair imgpair, const VkImageLayout &layout); |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 93 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 94 | void SetLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, ImageSubresourcePair imgpair, const IMAGE_CMD_BUF_LAYOUT_NODE &node); |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 95 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 96 | void SetLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, ImageSubresourcePair imgpair, const VkImageLayout &layout); |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 97 | |
| Tony Barbour | e0c5cc9 | 2017-02-08 13:53:39 -0700 | [diff] [blame] | 98 | void SetLayout(std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap, ImageSubresourcePair imgpair, |
| 99 | VkImageLayout layout); |
| Tony Barbour | df013b9 | 2017-01-25 12:53:48 -0700 | [diff] [blame] | 100 | |
| Dave Houlton | a9df0ce | 2018-02-07 10:51:23 -0700 | [diff] [blame] | 101 | void SetImageViewLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, VkImageView imageView, const VkImageLayout &layout); |
| John Zulauf | 4ccf5c0 | 2018-09-21 11:46:18 -0600 | [diff] [blame^] | 102 | void SetImageViewLayout(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_VIEW_STATE *view_state, |
| 103 | const VkImageLayout &layout); |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 104 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 105 | bool VerifyFramebufferAndRenderPassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin, |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 106 | const FRAMEBUFFER_STATE *framebuffer_state); |
| 107 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 108 | void TransitionAttachmentRefLayout(layer_data *dev_data, GLOBAL_CB_NODE *pCB, FRAMEBUFFER_STATE *pFramebuffer, |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 109 | VkAttachmentReference ref); |
| 110 | |
| Tobin Ehlis | 0d4274b | 2017-02-17 15:17:04 -0700 | [diff] [blame] | 111 | void TransitionSubpassLayouts(layer_data *, GLOBAL_CB_NODE *, const RENDER_PASS_STATE *, const int, FRAMEBUFFER_STATE *); |
| 112 | |
| 113 | void TransitionBeginRenderPassLayouts(layer_data *, GLOBAL_CB_NODE *, const RENDER_PASS_STATE *, FRAMEBUFFER_STATE *); |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 114 | |
| Mark Lobodzinski | 6b6c50a | 2017-02-27 12:56:14 -0700 | [diff] [blame] | 115 | bool ValidateImageAspectLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, const VkImageMemoryBarrier *mem_barrier, |
| 116 | uint32_t level, uint32_t layer, VkImageAspectFlags aspect); |
| 117 | |
| 118 | void TransitionImageAspectLayout(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkImageMemoryBarrier *mem_barrier, uint32_t level, |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 119 | uint32_t layer, VkImageAspectFlags aspect); |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 120 | |
| Mike Weiblen | 62d08a3 | 2017-03-07 22:18:27 -0700 | [diff] [blame] | 121 | bool ValidateBarrierLayoutToImageUsage(layer_data *device_data, const VkImageMemoryBarrier *img_barrier, bool new_not_old, |
| 122 | VkImageUsageFlags usage, const char *func_name); |
| 123 | |
| Tobin Ehlis | 9c0df96 | 2017-07-17 10:14:27 -0600 | [diff] [blame] | 124 | bool ValidateBarriersToImages(layer_data *device_data, GLOBAL_CB_NODE const *cb_state, uint32_t imageMemoryBarrierCount, |
| Mike Weiblen | 62d08a3 | 2017-03-07 22:18:27 -0700 | [diff] [blame] | 125 | const VkImageMemoryBarrier *pImageMemoryBarriers, const char *func_name); |
| Mark Lobodzinski | 6b6c50a | 2017-02-27 12:56:14 -0700 | [diff] [blame] | 126 | |
| John Zulauf | 6b4aae8 | 2018-05-09 13:03:36 -0600 | [diff] [blame] | 127 | bool ValidateBarriersQFOTransferUniqueness(layer_data *device_data, const char *func_name, GLOBAL_CB_NODE *cb_state, |
| 128 | uint32_t bufferBarrierCount, const VkBufferMemoryBarrier *pBufferMemBarriers, |
| 129 | uint32_t imageMemBarrierCount, const VkImageMemoryBarrier *pImageMemBarriers); |
| 130 | |
| 131 | void RecordBarriersQFOTransfers(layer_data *device_data, const char *func_name, GLOBAL_CB_NODE *cb_state, |
| 132 | uint32_t bufferBarrierCount, const VkBufferMemoryBarrier *pBufferMemBarriers, |
| 133 | uint32_t imageMemBarrierCount, const VkImageMemoryBarrier *pImageMemBarriers); |
| 134 | |
| 135 | bool ValidateQueuedQFOTransfers(layer_data *dev_data, GLOBAL_CB_NODE *pCB, |
| 136 | QFOTransferCBScoreboards<VkImageMemoryBarrier> *qfo_image_scoreboards, |
| 137 | QFOTransferCBScoreboards<VkBufferMemoryBarrier> *qfo_buffer_scoreboards); |
| 138 | |
| 139 | void RecordQueuedQFOTransfers(layer_data *dev_data, GLOBAL_CB_NODE *pCB); |
| 140 | void EraseQFOImageRelaseBarriers(layer_data *device_data, const VkImage &image); |
| 141 | |
| Chris Forbes | 399a678 | 2017-08-18 15:00:48 -0700 | [diff] [blame] | 142 | void TransitionImageLayouts(layer_data *device_data, GLOBAL_CB_NODE *cb_state, uint32_t memBarrierCount, |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 143 | const VkImageMemoryBarrier *pImgMemBarriers); |
| 144 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 145 | bool VerifySourceImageLayout(layer_data *dev_data, GLOBAL_CB_NODE *cb_node, VkImage srcImage, VkImageSubresourceLayers subLayers, |
| Dave Houlton | e096928 | 2018-05-23 15:54:31 -0600 | [diff] [blame] | 146 | VkImageLayout srcImageLayout, const std::string &msgCode); |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 147 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 148 | bool VerifyDestImageLayout(layer_data *dev_data, GLOBAL_CB_NODE *cb_node, VkImage destImage, VkImageSubresourceLayers subLayers, |
| Dave Houlton | e096928 | 2018-05-23 15:54:31 -0600 | [diff] [blame] | 149 | VkImageLayout destImageLayout, const std::string &msgCode); |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 150 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 151 | void TransitionFinalSubpassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin, |
| 152 | FRAMEBUFFER_STATE *framebuffer_state); |
| Mark Lobodzinski | 3c0f636 | 2017-02-01 13:35:48 -0700 | [diff] [blame] | 153 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 154 | bool PreCallValidateCmdCopyImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state, |
| Mark Lobodzinski | ab9be28 | 2017-02-09 12:01:27 -0700 | [diff] [blame] | 155 | IMAGE_STATE *dst_image_state, uint32_t region_count, const VkImageCopy *regions, |
| 156 | VkImageLayout src_image_layout, VkImageLayout dst_image_layout); |
| Mark Lobodzinski | b39d2ec | 2017-02-02 14:38:47 -0700 | [diff] [blame] | 157 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 158 | bool PreCallValidateCmdClearAttachments(layer_data *device_data, VkCommandBuffer commandBuffer, uint32_t attachmentCount, |
| 159 | const VkClearAttachment *pAttachments, uint32_t rectCount, const VkClearRect *pRects); |
| Mark Lobodzinski | 2def2bf | 2017-02-02 15:22:50 -0700 | [diff] [blame] | 160 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 161 | bool PreCallValidateCmdResolveImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state, |
| Cort Stratton | 7df3096 | 2018-05-17 19:45:57 -0700 | [diff] [blame] | 162 | VkImageLayout src_image_layout, IMAGE_STATE *dst_image_state, VkImageLayout dst_image_layout, |
| 163 | uint32_t regionCount, const VkImageResolve *pRegions); |
| Mark Lobodzinski | 8e0c0bf | 2017-02-06 11:06:26 -0700 | [diff] [blame] | 164 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 165 | void PreCallRecordCmdResolveImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state, |
| 166 | IMAGE_STATE *dst_image_state); |
| Mark Lobodzinski | 8e0c0bf | 2017-02-06 11:06:26 -0700 | [diff] [blame] | 167 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 168 | bool PreCallValidateCmdBlitImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state, |
| Norbert Garnys | 7bd4c2c | 2017-11-16 10:58:04 +0100 | [diff] [blame] | 169 | IMAGE_STATE *dst_image_state, uint32_t region_count, const VkImageBlit *regions, |
| 170 | VkImageLayout src_image_layout, VkImageLayout dst_image_layout, VkFilter filter); |
| Mark Lobodzinski | 8e0c0bf | 2017-02-06 11:06:26 -0700 | [diff] [blame] | 171 | |
| Tobin Ehlis | 58c884f | 2017-02-08 12:15:27 -0700 | [diff] [blame] | 172 | void PreCallRecordCmdBlitImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state, |
| Norbert Garnys | 7bd4c2c | 2017-11-16 10:58:04 +0100 | [diff] [blame] | 173 | IMAGE_STATE *dst_image_state, uint32_t region_count, const VkImageBlit *regions, |
| 174 | VkImageLayout src_image_layout, VkImageLayout dst_image_layout); |
| Mark Lobodzinski | 8e0c0bf | 2017-02-06 11:06:26 -0700 | [diff] [blame] | 175 | |
| Tony Barbour | e0c5cc9 | 2017-02-08 13:53:39 -0700 | [diff] [blame] | 176 | bool ValidateCmdBufImageLayouts(layer_data *device_data, GLOBAL_CB_NODE *pCB, |
| Chris Forbes | f9d7acd | 2017-06-26 17:57:39 -0700 | [diff] [blame] | 177 | std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> const &globalImageLayoutMap, |
| 178 | std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &overlayLayoutMap); |
| Tony Barbour | df013b9 | 2017-01-25 12:53:48 -0700 | [diff] [blame] | 179 | |
| 180 | void UpdateCmdBufImageLayouts(layer_data *device_data, GLOBAL_CB_NODE *pCB); |
| Mark Lobodzinski | 8e0c0bf | 2017-02-06 11:06:26 -0700 | [diff] [blame] | 181 | |
| Mark Lobodzinski | 9a8d40f | 2017-02-07 17:00:12 -0700 | [diff] [blame] | 182 | bool ValidateMaskBitsFromLayouts(core_validation::layer_data *device_data, VkCommandBuffer cmdBuffer, |
| 183 | const VkAccessFlags &accessMask, const VkImageLayout &layout, const char *type); |
| Mark Lobodzinski | b3829a5 | 2017-02-07 16:55:53 -0700 | [diff] [blame] | 184 | |
| Mark Lobodzinski | c679b03 | 2017-02-07 17:11:55 -0700 | [diff] [blame] | 185 | bool ValidateLayoutVsAttachmentDescription(const debug_report_data *report_data, const VkImageLayout first_layout, |
| 186 | const uint32_t attachment, const VkAttachmentDescription &attachment_description); |
| 187 | |
| John Zulauf | 7ec577a | 2018-06-08 17:00:13 -0600 | [diff] [blame] | 188 | bool ValidateLayouts(const core_validation::layer_data *dev_data, VkDevice device, const VkRenderPassCreateInfo *pCreateInfo); |
| Mark Lobodzinski | c679b03 | 2017-02-07 17:11:55 -0700 | [diff] [blame] | 189 | |
| Mark Lobodzinski | 08f14fa | 2017-02-07 17:20:06 -0700 | [diff] [blame] | 190 | bool ValidateMapImageLayouts(core_validation::layer_data *dev_data, VkDevice device, DEVICE_MEM_INFO const *mem_info, |
| 191 | VkDeviceSize offset, VkDeviceSize end_offset); |
| 192 | |
| Chris Forbes | 8fdba30 | 2017-04-24 18:34:28 -0700 | [diff] [blame] | 193 | bool ValidateImageUsageFlags(layer_data *dev_data, IMAGE_STATE const *image_state, VkFlags desired, bool strict, |
| Dave Houlton | e096928 | 2018-05-23 15:54:31 -0600 | [diff] [blame] | 194 | const std::string &msgCode, char const *func_name, char const *usage_string); |
| Mark Lobodzinski | 9621074 | 2017-02-09 10:33:46 -0700 | [diff] [blame] | 195 | |
| Cort Stratton | 186b1a2 | 2018-05-01 20:18:06 -0400 | [diff] [blame] | 196 | bool ValidateImageFormatFeatureFlags(layer_data *dev_data, IMAGE_STATE const *image_state, VkFormatFeatureFlags desired, |
| Dave Houlton | e096928 | 2018-05-23 15:54:31 -0600 | [diff] [blame] | 197 | char const *func_name, const std::string &linear_vuid, const std::string &optimal_vuid); |
| Cort Stratton | 186b1a2 | 2018-05-01 20:18:06 -0400 | [diff] [blame] | 198 | |
| Cort Stratton | d619a30 | 2018-05-17 19:46:32 -0700 | [diff] [blame] | 199 | bool ValidateImageSubresourceLayers(layer_data *dev_data, const GLOBAL_CB_NODE *cb_node, |
| 200 | const VkImageSubresourceLayers *subresource_layers, char const *func_name, char const *member, |
| 201 | uint32_t i); |
| 202 | |
| Shannon McPherson | a84241a | 2018-06-18 15:34:46 -0600 | [diff] [blame] | 203 | bool ValidateBufferUsageFlags(const layer_data *dev_data, BUFFER_STATE const *buffer_state, VkFlags desired, bool strict, |
| Dave Houlton | e096928 | 2018-05-23 15:54:31 -0600 | [diff] [blame] | 204 | const std::string &msgCode, char const *func_name, char const *usage_string); |
| Mark Lobodzinski | 9621074 | 2017-02-09 10:33:46 -0700 | [diff] [blame] | 205 | |
| 206 | bool PreCallValidateCreateBuffer(layer_data *dev_data, const VkBufferCreateInfo *pCreateInfo); |
| 207 | |
| 208 | void PostCallRecordCreateBuffer(layer_data *device_data, const VkBufferCreateInfo *pCreateInfo, VkBuffer *pBuffer); |
| 209 | |
| Shannon McPherson | a84241a | 2018-06-18 15:34:46 -0600 | [diff] [blame] | 210 | bool PreCallValidateCreateBufferView(const layer_data *dev_data, const VkBufferViewCreateInfo *pCreateInfo); |
| Mark Lobodzinski | 9621074 | 2017-02-09 10:33:46 -0700 | [diff] [blame] | 211 | |
| 212 | void PostCallRecordCreateBufferView(layer_data *device_data, const VkBufferViewCreateInfo *pCreateInfo, VkBufferView *pView); |
| 213 | |
| Mark Lobodzinski | 602de98 | 2017-02-09 11:01:33 -0700 | [diff] [blame] | 214 | bool ValidateImageAspectMask(layer_data *device_data, VkImage image, VkFormat format, VkImageAspectFlags aspect_mask, |
| 215 | const char *func_name); |
| 216 | |
| Petr Kraus | ffa94af | 2017-08-08 21:46:02 +0200 | [diff] [blame] | 217 | bool ValidateCreateImageViewSubresourceRange(const layer_data *device_data, const IMAGE_STATE *image_state, |
| 218 | bool is_imageview_2d_type, const VkImageSubresourceRange &subresourceRange); |
| 219 | |
| 220 | bool ValidateCmdClearColorSubresourceRange(const layer_data *device_data, const IMAGE_STATE *image_state, |
| 221 | const VkImageSubresourceRange &subresourceRange, const char *param_name); |
| 222 | |
| 223 | bool ValidateCmdClearDepthSubresourceRange(const layer_data *device_data, const IMAGE_STATE *image_state, |
| 224 | const VkImageSubresourceRange &subresourceRange, const char *param_name); |
| 225 | |
| 226 | bool ValidateImageBarrierSubresourceRange(const layer_data *device_data, const IMAGE_STATE *image_state, |
| 227 | const VkImageSubresourceRange &subresourceRange, const char *cmd_name, |
| 228 | const char *param_name); |
| Mark Lobodzinski | 602de98 | 2017-02-09 11:01:33 -0700 | [diff] [blame] | 229 | |
| 230 | bool PreCallValidateCreateImageView(layer_data *device_data, const VkImageViewCreateInfo *create_info); |
| 231 | |
| 232 | void PostCallRecordCreateImageView(layer_data *device_data, const VkImageViewCreateInfo *create_info, VkImageView view); |
| 233 | |
| Mark Lobodzinski | ab9be28 | 2017-02-09 12:01:27 -0700 | [diff] [blame] | 234 | bool ValidateCopyBufferImageTransferGranularityRequirements(layer_data *device_data, const GLOBAL_CB_NODE *cb_node, |
| 235 | const IMAGE_STATE *img, const VkBufferImageCopy *region, |
| Dave Houlton | e096928 | 2018-05-23 15:54:31 -0600 | [diff] [blame] | 236 | const uint32_t i, const char *function, const std::string &vuid); |
| Mark Lobodzinski | ab9be28 | 2017-02-09 12:01:27 -0700 | [diff] [blame] | 237 | |
| Cort Stratton | ff1542a | 2018-05-27 10:49:28 -0700 | [diff] [blame] | 238 | bool ValidateImageMipLevel(layer_data *device_data, const GLOBAL_CB_NODE *cb_node, const IMAGE_STATE *img, uint32_t mip_level, |
| 239 | const uint32_t i, const char *function, const char *member, const std::string &vuid); |
| 240 | |
| 241 | bool ValidateImageArrayLayerRange(layer_data *device_data, const GLOBAL_CB_NODE *cb_node, const IMAGE_STATE *img, |
| 242 | const uint32_t base_layer, const uint32_t layer_count, const uint32_t i, const char *function, |
| 243 | const char *member, const std::string &vuid); |
| 244 | |
| Mark Lobodzinski | ab9be28 | 2017-02-09 12:01:27 -0700 | [diff] [blame] | 245 | void PreCallRecordCmdCopyImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state, |
| Tobin Ehlis | e35b66a | 2017-03-15 12:18:31 -0600 | [diff] [blame] | 246 | IMAGE_STATE *dst_image_state, uint32_t region_count, const VkImageCopy *regions, |
| 247 | VkImageLayout src_image_layout, VkImageLayout dst_image_layout); |
| Mark Lobodzinski | ab9be28 | 2017-02-09 12:01:27 -0700 | [diff] [blame] | 248 | |
| Mark Lobodzinski | 680421d | 2017-02-09 13:06:56 -0700 | [diff] [blame] | 249 | bool PreCallValidateCmdCopyBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *src_buffer_state, |
| 250 | BUFFER_STATE *dst_buffer_state); |
| 251 | |
| 252 | void PreCallRecordCmdCopyBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *src_buffer_state, |
| 253 | BUFFER_STATE *dst_buffer_state); |
| 254 | |
| Mark Lobodzinski | 306441e | 2017-02-10 13:48:38 -0700 | [diff] [blame] | 255 | bool PreCallValidateDestroyImageView(layer_data *device_data, VkImageView image_view, IMAGE_VIEW_STATE **image_view_state, |
| 256 | VK_OBJECT *obj_struct); |
| 257 | |
| John Zulauf | fca05c1 | 2018-04-26 16:30:39 -0600 | [diff] [blame] | 258 | void PreCallRecordDestroyImageView(layer_data *device_data, VkImageView image_view, IMAGE_VIEW_STATE *image_view_state, |
| 259 | VK_OBJECT obj_struct); |
| Mark Lobodzinski | 306441e | 2017-02-10 13:48:38 -0700 | [diff] [blame] | 260 | |
| 261 | bool PreCallValidateDestroyBuffer(layer_data *device_data, VkBuffer buffer, BUFFER_STATE **buffer_state, VK_OBJECT *obj_struct); |
| 262 | |
| John Zulauf | fca05c1 | 2018-04-26 16:30:39 -0600 | [diff] [blame] | 263 | void PreCallRecordDestroyBuffer(layer_data *device_data, VkBuffer buffer, BUFFER_STATE *buffer_state, VK_OBJECT obj_struct); |
| Mark Lobodzinski | 306441e | 2017-02-10 13:48:38 -0700 | [diff] [blame] | 264 | |
| 265 | bool PreCallValidateDestroyBufferView(layer_data *device_data, VkBufferView buffer_view, BUFFER_VIEW_STATE **buffer_view_state, |
| 266 | VK_OBJECT *obj_struct); |
| 267 | |
| John Zulauf | fca05c1 | 2018-04-26 16:30:39 -0600 | [diff] [blame] | 268 | void PreCallRecordDestroyBufferView(layer_data *device_data, VkBufferView buffer_view, BUFFER_VIEW_STATE *buffer_view_state, |
| 269 | VK_OBJECT obj_struct); |
| Mark Lobodzinski | 306441e | 2017-02-10 13:48:38 -0700 | [diff] [blame] | 270 | |
| Mark Lobodzinski | df0acbf | 2017-02-10 14:01:27 -0700 | [diff] [blame] | 271 | bool PreCallValidateCmdFillBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *buffer_state); |
| 272 | |
| 273 | void PreCallRecordCmdFillBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *buffer_state); |
| 274 | |
| Mark Lobodzinski | d2b2f61 | 2017-02-15 13:45:18 -0700 | [diff] [blame] | 275 | bool PreCallValidateCmdCopyImageToBuffer(layer_data *device_data, VkImageLayout srcImageLayout, GLOBAL_CB_NODE *cb_node, |
| 276 | IMAGE_STATE *src_image_state, BUFFER_STATE *dst_buff_state, uint32_t regionCount, |
| Mark Lobodzinski | ab9ea3e | 2017-02-15 12:59:00 -0700 | [diff] [blame] | 277 | const VkBufferImageCopy *pRegions, const char *func_name); |
| 278 | |
| Mark Lobodzinski | 033c90b | 2017-02-15 13:58:23 -0700 | [diff] [blame] | 279 | void PreCallRecordCmdCopyImageToBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state, |
| Tobin Ehlis | e35b66a | 2017-03-15 12:18:31 -0600 | [diff] [blame] | 280 | BUFFER_STATE *dst_buff_state, uint32_t region_count, const VkBufferImageCopy *regions, |
| 281 | VkImageLayout src_image_layout); |
| Mark Lobodzinski | 033c90b | 2017-02-15 13:58:23 -0700 | [diff] [blame] | 282 | |
| Mark Lobodzinski | d2b2f61 | 2017-02-15 13:45:18 -0700 | [diff] [blame] | 283 | bool PreCallValidateCmdCopyBufferToImage(layer_data *dev_data, VkImageLayout dstImageLayout, GLOBAL_CB_NODE *cb_node, |
| 284 | BUFFER_STATE *src_buff_state, IMAGE_STATE *dst_image_state, uint32_t regionCount, |
| Mark Lobodzinski | ab9ea3e | 2017-02-15 12:59:00 -0700 | [diff] [blame] | 285 | const VkBufferImageCopy *pRegions, const char *func_name); |
| 286 | |
| Mark Lobodzinski | 033c90b | 2017-02-15 13:58:23 -0700 | [diff] [blame] | 287 | void PreCallRecordCmdCopyBufferToImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *src_buff_state, |
| Tobin Ehlis | e35b66a | 2017-03-15 12:18:31 -0600 | [diff] [blame] | 288 | IMAGE_STATE *dst_image_state, uint32_t region_count, const VkBufferImageCopy *regions, |
| 289 | VkImageLayout dst_image_layout); |
| Mark Lobodzinski | 033c90b | 2017-02-15 13:58:23 -0700 | [diff] [blame] | 290 | |
| Mike Weiblen | 672b58b | 2017-02-21 14:32:53 -0700 | [diff] [blame] | 291 | bool PreCallValidateGetImageSubresourceLayout(layer_data *device_data, VkImage image, const VkImageSubresource *pSubresource); |
| 292 | |
| Mark Lobodzinski | 64318ba | 2017-01-26 13:34:13 -0700 | [diff] [blame] | 293 | #endif // CORE_VALIDATION_BUFFER_VALIDATION_H_ |