blob: 94815bc679aa15c1a6931633b3d0c4f795266ab7 [file] [log] [blame]
Mark Lobodzinskid42e4d22017-01-17 14:14:22 -07001/* 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 Lobodzinski90224de2017-01-26 15:23:11 -070024#include "core_validation_error_enums.h"
Mark Lobodzinskid42e4d22017-01-17 14:14:22 -070025#include "vulkan/vk_layer.h"
Mark Lobodzinskiab9ea3e2017-02-15 12:59:00 -070026#include <limits.h>
Mark Lobodzinskid42e4d22017-01-17 14:14:22 -070027#include <memory>
28#include <unordered_map>
29#include <vector>
Mark Lobodzinski9ef5d562017-01-27 12:28:30 -070030#include <utility>
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070031#include <algorithm>
Mark Lobodzinskiab9ea3e2017-02-15 12:59:00 -070032#include <bitset>
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070033
Tobin Ehlis58c884f2017-02-08 12:15:27 -070034using core_validation::layer_data;
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070035
Tobin Ehlis58c884f2017-02-08 12:15:27 -070036bool PreCallValidateCreateImage(layer_data *device_data, const VkImageCreateInfo *pCreateInfo,
Mark Lobodzinski90224de2017-01-26 15:23:11 -070037 const VkAllocationCallbacks *pAllocator, VkImage *pImage);
38
Tobin Ehlis58c884f2017-02-08 12:15:27 -070039void PostCallRecordCreateImage(layer_data *device_data, const VkImageCreateInfo *pCreateInfo, VkImage *pImage);
Mark Lobodzinski42fe5f72017-01-11 11:36:16 -070040
Tobin Ehlis58c884f2017-02-08 12:15:27 -070041void PostCallRecordDestroyImage(layer_data *device_data, VkImage image, IMAGE_STATE *image_state, VK_OBJECT obj_struct);
Mark Lobodzinski9ef5d562017-01-27 12:28:30 -070042
Tobin Ehlis58c884f2017-02-08 12:15:27 -070043bool PreCallValidateDestroyImage(layer_data *device_data, VkImage image, IMAGE_STATE **image_state, VK_OBJECT *obj_struct);
Mark Lobodzinski9ef5d562017-01-27 12:28:30 -070044
Tobin Ehlis58c884f2017-02-08 12:15:27 -070045bool ValidateImageAttributes(layer_data *device_data, IMAGE_STATE *image_state, VkImageSubresourceRange range);
Mark Lobodzinskic409a582017-01-27 15:16:01 -070046
Tobin Ehlis58c884f2017-02-08 12:15:27 -070047void ResolveRemainingLevelsLayers(layer_data *dev_data, VkImageSubresourceRange *range, IMAGE_STATE *image_state);
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070048
Tobin Ehlis58c884f2017-02-08 12:15:27 -070049void ResolveRemainingLevelsLayers(layer_data *dev_data, uint32_t *levels, uint32_t *layers, VkImageSubresourceRange range,
50 IMAGE_STATE *image_state);
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070051
Tobin Ehlis58c884f2017-02-08 12:15:27 -070052bool VerifyClearImageLayout(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *image_state,
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070053 VkImageSubresourceRange range, VkImageLayout dest_image_layout, const char *func_name);
54
Tobin Ehlis58c884f2017-02-08 12:15:27 -070055void RecordClearImageLayout(layer_data *dev_data, GLOBAL_CB_NODE *cb_node, VkImage image, VkImageSubresourceRange range,
56 VkImageLayout dest_image_layout);
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070057
Tobin Ehlis58c884f2017-02-08 12:15:27 -070058bool PreCallValidateCmdClearColorImage(layer_data *dev_data, VkCommandBuffer commandBuffer, VkImage image,
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070059 VkImageLayout imageLayout, uint32_t rangeCount, const VkImageSubresourceRange *pRanges);
60
Tobin Ehlis58c884f2017-02-08 12:15:27 -070061void PreCallRecordCmdClearImage(layer_data *dev_data, VkCommandBuffer commandBuffer, VkImage image, VkImageLayout imageLayout,
62 uint32_t rangeCount, const VkImageSubresourceRange *pRanges, CMD_TYPE cmd_type);
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070063
Tobin Ehlis58c884f2017-02-08 12:15:27 -070064bool PreCallValidateCmdClearDepthStencilImage(layer_data *dev_data, VkCommandBuffer commandBuffer, VkImage image,
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070065 VkImageLayout imageLayout, uint32_t rangeCount,
66 const VkImageSubresourceRange *pRanges);
67
Tobin Ehlis58c884f2017-02-08 12:15:27 -070068bool FindLayoutVerifyNode(layer_data *device_data, GLOBAL_CB_NODE *pCB, ImageSubresourcePair imgpair,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070069 IMAGE_CMD_BUF_LAYOUT_NODE &node, const VkImageAspectFlags aspectMask);
70
Tobin Ehlis58c884f2017-02-08 12:15:27 -070071bool FindLayoutVerifyLayout(layer_data *device_data, ImageSubresourcePair imgpair, VkImageLayout &layout,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070072 const VkImageAspectFlags aspectMask);
73
Tobin Ehlis58c884f2017-02-08 12:15:27 -070074bool FindCmdBufLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, VkImage image, VkImageSubresource range,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070075 IMAGE_CMD_BUF_LAYOUT_NODE &node);
76
Tobin Ehlis58c884f2017-02-08 12:15:27 -070077bool FindGlobalLayout(layer_data *device_data, ImageSubresourcePair imgpair, VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070078
Tobin Ehlis58c884f2017-02-08 12:15:27 -070079bool FindLayouts(layer_data *device_data, VkImage image, std::vector<VkImageLayout> &layouts);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070080
Tony Barboure0c5cc92017-02-08 13:53:39 -070081bool FindLayout(const std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap, ImageSubresourcePair imgpair,
82 VkImageLayout &layout, const VkImageAspectFlags aspectMask);
Tony Barbourdf013b92017-01-25 12:53:48 -070083
Tony Barboure0c5cc92017-02-08 13:53:39 -070084bool FindLayout(const std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap, ImageSubresourcePair imgpair,
85 VkImageLayout &layout);
Tony Barbourdf013b92017-01-25 12:53:48 -070086
Tobin Ehlis58c884f2017-02-08 12:15:27 -070087void SetGlobalLayout(layer_data *device_data, ImageSubresourcePair imgpair, const VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070088
Tobin Ehlis58c884f2017-02-08 12:15:27 -070089void SetLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, ImageSubresourcePair imgpair, const IMAGE_CMD_BUF_LAYOUT_NODE &node);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070090
Tobin Ehlis58c884f2017-02-08 12:15:27 -070091void SetLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, ImageSubresourcePair imgpair, const VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070092
Tony Barboure0c5cc92017-02-08 13:53:39 -070093void SetLayout(std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap, ImageSubresourcePair imgpair,
94 VkImageLayout layout);
Tony Barbourdf013b92017-01-25 12:53:48 -070095
96void SetImageViewLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, VkImageView imageView,
97 const VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070098
Tobin Ehlis58c884f2017-02-08 12:15:27 -070099bool VerifyFramebufferAndRenderPassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700100 const FRAMEBUFFER_STATE *framebuffer_state);
101
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700102void TransitionAttachmentRefLayout(layer_data *dev_data, GLOBAL_CB_NODE *pCB, FRAMEBUFFER_STATE *pFramebuffer,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700103 VkAttachmentReference ref);
104
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700105void TransitionSubpassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin,
106 const int subpass_index, FRAMEBUFFER_STATE *framebuffer_state);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700107
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700108bool TransitionImageAspectLayout(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkImageMemoryBarrier *mem_barrier, uint32_t level,
109 uint32_t layer, VkImageAspectFlags aspect);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700110
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700111bool TransitionImageLayouts(layer_data *device_data, VkCommandBuffer cmdBuffer, uint32_t memBarrierCount,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700112 const VkImageMemoryBarrier *pImgMemBarriers);
113
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700114bool VerifySourceImageLayout(layer_data *dev_data, GLOBAL_CB_NODE *cb_node, VkImage srcImage, VkImageSubresourceLayers subLayers,
115 VkImageLayout srcImageLayout, UNIQUE_VALIDATION_ERROR_CODE msgCode);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700116
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700117bool VerifyDestImageLayout(layer_data *dev_data, GLOBAL_CB_NODE *cb_node, VkImage destImage, VkImageSubresourceLayers subLayers,
118 VkImageLayout destImageLayout, UNIQUE_VALIDATION_ERROR_CODE msgCode);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700119
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700120void TransitionFinalSubpassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin,
121 FRAMEBUFFER_STATE *framebuffer_state);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700122
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700123bool PreCallValidateCmdCopyImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
Mark Lobodzinskiab9be282017-02-09 12:01:27 -0700124 IMAGE_STATE *dst_image_state, uint32_t region_count, const VkImageCopy *regions,
125 VkImageLayout src_image_layout, VkImageLayout dst_image_layout);
Mark Lobodzinskib39d2ec2017-02-02 14:38:47 -0700126
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700127bool PreCallValidateCmdClearAttachments(layer_data *device_data, VkCommandBuffer commandBuffer, uint32_t attachmentCount,
128 const VkClearAttachment *pAttachments, uint32_t rectCount, const VkClearRect *pRects);
Mark Lobodzinski2def2bf2017-02-02 15:22:50 -0700129
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700130bool PreCallValidateCmdResolveImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
131 IMAGE_STATE *dst_image_state, uint32_t regionCount, const VkImageResolve *pRegions);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700132
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700133void PreCallRecordCmdResolveImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
134 IMAGE_STATE *dst_image_state);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700135
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700136bool PreCallValidateCmdBlitImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
137 IMAGE_STATE *dst_image_state, uint32_t regionCount, const VkImageBlit *pRegions, VkFilter filter);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700138
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700139void PreCallRecordCmdBlitImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
140 IMAGE_STATE *dst_image_state);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700141
Tony Barboure0c5cc92017-02-08 13:53:39 -0700142bool ValidateCmdBufImageLayouts(layer_data *device_data, GLOBAL_CB_NODE *pCB,
143 std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap);
Tony Barbourdf013b92017-01-25 12:53:48 -0700144
145void UpdateCmdBufImageLayouts(layer_data *device_data, GLOBAL_CB_NODE *pCB);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700146
Mark Lobodzinski9a8d40f2017-02-07 17:00:12 -0700147bool ValidateMaskBitsFromLayouts(core_validation::layer_data *device_data, VkCommandBuffer cmdBuffer,
148 const VkAccessFlags &accessMask, const VkImageLayout &layout, const char *type);
Mark Lobodzinskib3829a52017-02-07 16:55:53 -0700149
Mark Lobodzinskic679b032017-02-07 17:11:55 -0700150bool ValidateLayoutVsAttachmentDescription(const debug_report_data *report_data, const VkImageLayout first_layout,
151 const uint32_t attachment, const VkAttachmentDescription &attachment_description);
152
153bool ValidateLayouts(core_validation::layer_data *dev_data, VkDevice device, const VkRenderPassCreateInfo *pCreateInfo);
154
Mark Lobodzinski08f14fa2017-02-07 17:20:06 -0700155bool ValidateMapImageLayouts(core_validation::layer_data *dev_data, VkDevice device, DEVICE_MEM_INFO const *mem_info,
156 VkDeviceSize offset, VkDeviceSize end_offset);
157
Mark Lobodzinski96210742017-02-09 10:33:46 -0700158bool ValidateImageUsageFlags(layer_data *dev_data, IMAGE_STATE const *image_state, VkFlags desired, VkBool32 strict,
159 int32_t const msgCode, char const *func_name, char const *usage_string);
160
161bool ValidateBufferUsageFlags(layer_data *dev_data, BUFFER_STATE const *buffer_state, VkFlags desired, VkBool32 strict,
162 int32_t const msgCode, char const *func_name, char const *usage_string);
163
164bool PreCallValidateCreateBuffer(layer_data *dev_data, const VkBufferCreateInfo *pCreateInfo);
165
166void PostCallRecordCreateBuffer(layer_data *device_data, const VkBufferCreateInfo *pCreateInfo, VkBuffer *pBuffer);
167
168bool PreCallValidateCreateBufferView(layer_data *dev_data, const VkBufferViewCreateInfo *pCreateInfo);
169
170void PostCallRecordCreateBufferView(layer_data *device_data, const VkBufferViewCreateInfo *pCreateInfo, VkBufferView *pView);
171
Mark Lobodzinski602de982017-02-09 11:01:33 -0700172bool ValidateImageAspectMask(layer_data *device_data, VkImage image, VkFormat format, VkImageAspectFlags aspect_mask,
173 const char *func_name);
174
175bool ValidateImageSubrangeLevelLayerCounts(layer_data *device_data, const VkImageSubresourceRange &subresourceRange,
176 const char *func_name);
177
178bool PreCallValidateCreateImageView(layer_data *device_data, const VkImageViewCreateInfo *create_info);
179
180void PostCallRecordCreateImageView(layer_data *device_data, const VkImageViewCreateInfo *create_info, VkImageView view);
181
Mark Lobodzinskiab9be282017-02-09 12:01:27 -0700182bool ValidateCopyBufferImageTransferGranularityRequirements(layer_data *device_data, const GLOBAL_CB_NODE *cb_node,
183 const IMAGE_STATE *img, const VkBufferImageCopy *region,
184 const uint32_t i, const char *function);
185
186void PreCallRecordCmdCopyImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
187 IMAGE_STATE *dst_image_state);
188
Mark Lobodzinski680421d2017-02-09 13:06:56 -0700189bool PreCallValidateCmdCopyBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *src_buffer_state,
190 BUFFER_STATE *dst_buffer_state);
191
192void PreCallRecordCmdCopyBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *src_buffer_state,
193 BUFFER_STATE *dst_buffer_state);
194
Mark Lobodzinski306441e2017-02-10 13:48:38 -0700195bool PreCallValidateDestroyImageView(layer_data *device_data, VkImageView image_view, IMAGE_VIEW_STATE **image_view_state,
196 VK_OBJECT *obj_struct);
197
198void PostCallRecordDestroyImageView(layer_data *device_data, VkImageView image_view, IMAGE_VIEW_STATE *image_view_state,
199 VK_OBJECT obj_struct);
200
201bool PreCallValidateDestroyBuffer(layer_data *device_data, VkBuffer buffer, BUFFER_STATE **buffer_state, VK_OBJECT *obj_struct);
202
203void PostCallRecordDestroyBuffer(layer_data *device_data, VkBuffer buffer, BUFFER_STATE *buffer_state, VK_OBJECT obj_struct);
204
205bool PreCallValidateDestroyBufferView(layer_data *device_data, VkBufferView buffer_view, BUFFER_VIEW_STATE **buffer_view_state,
206 VK_OBJECT *obj_struct);
207
208void PostCallRecordDestroyBufferView(layer_data *device_data, VkBufferView buffer_view, BUFFER_VIEW_STATE *buffer_view_state,
209 VK_OBJECT obj_struct);
210
Mark Lobodzinskidf0acbf2017-02-10 14:01:27 -0700211bool PreCallValidateCmdFillBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *buffer_state);
212
213void PreCallRecordCmdFillBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *buffer_state);
214
Mark Lobodzinskiab9ea3e2017-02-15 12:59:00 -0700215bool PreCallValidateCmdCopyImageToBuffer(layer_data *dev_data, VkImage srcImage, uint32_t regionCount,
216 const VkBufferImageCopy *pRegions, const char *func_name);
217
218bool PreCallValidateCmdCopyBufferToImage(layer_data *dev_data, VkImage dstImage, uint32_t regionCount,
219 const VkBufferImageCopy *pRegions, const char *func_name);
220
Mark Lobodzinski64318ba2017-01-26 13:34:13 -0700221#endif // CORE_VALIDATION_BUFFER_VALIDATION_H_