blob: 59617b39f0856048425a49793581343595a44333 [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"
26#include <memory>
27#include <unordered_map>
28#include <vector>
Mark Lobodzinski9ef5d562017-01-27 12:28:30 -070029#include <utility>
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070030#include <algorithm>
31
Tobin Ehlis58c884f2017-02-08 12:15:27 -070032using core_validation::layer_data;
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070033
Tobin Ehlis58c884f2017-02-08 12:15:27 -070034bool PreCallValidateCreateImage(layer_data *device_data, const VkImageCreateInfo *pCreateInfo,
Mark Lobodzinski90224de2017-01-26 15:23:11 -070035 const VkAllocationCallbacks *pAllocator, VkImage *pImage);
36
Tobin Ehlis58c884f2017-02-08 12:15:27 -070037void PostCallRecordCreateImage(layer_data *device_data, const VkImageCreateInfo *pCreateInfo, VkImage *pImage);
Mark Lobodzinski42fe5f72017-01-11 11:36:16 -070038
Tobin Ehlis58c884f2017-02-08 12:15:27 -070039void PostCallRecordDestroyImage(layer_data *device_data, VkImage image, IMAGE_STATE *image_state, VK_OBJECT obj_struct);
Mark Lobodzinski9ef5d562017-01-27 12:28:30 -070040
Tobin Ehlis58c884f2017-02-08 12:15:27 -070041bool PreCallValidateDestroyImage(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 ValidateImageAttributes(layer_data *device_data, IMAGE_STATE *image_state, VkImageSubresourceRange range);
Mark Lobodzinskic409a582017-01-27 15:16:01 -070044
Tobin Ehlis58c884f2017-02-08 12:15:27 -070045void ResolveRemainingLevelsLayers(layer_data *dev_data, VkImageSubresourceRange *range, IMAGE_STATE *image_state);
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070046
Tobin Ehlis58c884f2017-02-08 12:15:27 -070047void ResolveRemainingLevelsLayers(layer_data *dev_data, uint32_t *levels, uint32_t *layers, VkImageSubresourceRange range,
48 IMAGE_STATE *image_state);
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070049
Tobin Ehlis58c884f2017-02-08 12:15:27 -070050bool VerifyClearImageLayout(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *image_state,
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070051 VkImageSubresourceRange range, VkImageLayout dest_image_layout, const char *func_name);
52
Tobin Ehlis58c884f2017-02-08 12:15:27 -070053void RecordClearImageLayout(layer_data *dev_data, GLOBAL_CB_NODE *cb_node, VkImage image, VkImageSubresourceRange range,
54 VkImageLayout dest_image_layout);
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070055
Tobin Ehlis58c884f2017-02-08 12:15:27 -070056bool PreCallValidateCmdClearColorImage(layer_data *dev_data, VkCommandBuffer commandBuffer, VkImage image,
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070057 VkImageLayout imageLayout, uint32_t rangeCount, const VkImageSubresourceRange *pRanges);
58
Tobin Ehlis58c884f2017-02-08 12:15:27 -070059void PreCallRecordCmdClearImage(layer_data *dev_data, VkCommandBuffer commandBuffer, VkImage image, VkImageLayout imageLayout,
60 uint32_t rangeCount, const VkImageSubresourceRange *pRanges, CMD_TYPE cmd_type);
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070061
Tobin Ehlis58c884f2017-02-08 12:15:27 -070062bool PreCallValidateCmdClearDepthStencilImage(layer_data *dev_data, VkCommandBuffer commandBuffer, VkImage image,
Mark Lobodzinskid81d1012017-02-01 09:03:06 -070063 VkImageLayout imageLayout, uint32_t rangeCount,
64 const VkImageSubresourceRange *pRanges);
65
Tobin Ehlis58c884f2017-02-08 12:15:27 -070066bool FindLayoutVerifyNode(layer_data *device_data, GLOBAL_CB_NODE *pCB, ImageSubresourcePair imgpair,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070067 IMAGE_CMD_BUF_LAYOUT_NODE &node, const VkImageAspectFlags aspectMask);
68
Tobin Ehlis58c884f2017-02-08 12:15:27 -070069bool FindLayoutVerifyLayout(layer_data *device_data, ImageSubresourcePair imgpair, VkImageLayout &layout,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070070 const VkImageAspectFlags aspectMask);
71
Tobin Ehlis58c884f2017-02-08 12:15:27 -070072bool FindCmdBufLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, VkImage image, VkImageSubresource range,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070073 IMAGE_CMD_BUF_LAYOUT_NODE &node);
74
Tobin Ehlis58c884f2017-02-08 12:15:27 -070075bool FindGlobalLayout(layer_data *device_data, ImageSubresourcePair imgpair, VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070076
Tobin Ehlis58c884f2017-02-08 12:15:27 -070077bool FindLayouts(layer_data *device_data, VkImage image, std::vector<VkImageLayout> &layouts);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070078
Tobin Ehlis58c884f2017-02-08 12:15:27 -070079void SetGlobalLayout(layer_data *device_data, ImageSubresourcePair imgpair, const VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070080
Tobin Ehlis58c884f2017-02-08 12:15:27 -070081void 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 -070082
Tobin Ehlis58c884f2017-02-08 12:15:27 -070083void SetLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, ImageSubresourcePair imgpair, const VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070084
Tobin Ehlis58c884f2017-02-08 12:15:27 -070085void SetImageViewLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, VkImageView imageView, const VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070086
Tobin Ehlis58c884f2017-02-08 12:15:27 -070087bool VerifyFramebufferAndRenderPassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070088 const FRAMEBUFFER_STATE *framebuffer_state);
89
Tobin Ehlis58c884f2017-02-08 12:15:27 -070090void TransitionAttachmentRefLayout(layer_data *dev_data, GLOBAL_CB_NODE *pCB, FRAMEBUFFER_STATE *pFramebuffer,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070091 VkAttachmentReference ref);
92
Tobin Ehlis58c884f2017-02-08 12:15:27 -070093void TransitionSubpassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin,
94 const int subpass_index, FRAMEBUFFER_STATE *framebuffer_state);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070095
Tobin Ehlis58c884f2017-02-08 12:15:27 -070096bool TransitionImageAspectLayout(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkImageMemoryBarrier *mem_barrier, uint32_t level,
97 uint32_t layer, VkImageAspectFlags aspect);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070098
Tobin Ehlis58c884f2017-02-08 12:15:27 -070099bool TransitionImageLayouts(layer_data *device_data, VkCommandBuffer cmdBuffer, uint32_t memBarrierCount,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700100 const VkImageMemoryBarrier *pImgMemBarriers);
101
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700102bool VerifySourceImageLayout(layer_data *dev_data, GLOBAL_CB_NODE *cb_node, VkImage srcImage, VkImageSubresourceLayers subLayers,
103 VkImageLayout srcImageLayout, UNIQUE_VALIDATION_ERROR_CODE msgCode);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700104
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700105bool VerifyDestImageLayout(layer_data *dev_data, GLOBAL_CB_NODE *cb_node, VkImage destImage, VkImageSubresourceLayers subLayers,
106 VkImageLayout destImageLayout, UNIQUE_VALIDATION_ERROR_CODE msgCode);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700107
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700108void TransitionFinalSubpassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin,
109 FRAMEBUFFER_STATE *framebuffer_state);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700110
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700111bool PreCallValidateCmdCopyImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
Mark Lobodzinskiab9be282017-02-09 12:01:27 -0700112 IMAGE_STATE *dst_image_state, uint32_t region_count, const VkImageCopy *regions,
113 VkImageLayout src_image_layout, VkImageLayout dst_image_layout);
Mark Lobodzinskib39d2ec2017-02-02 14:38:47 -0700114
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700115bool PreCallValidateCmdClearAttachments(layer_data *device_data, VkCommandBuffer commandBuffer, uint32_t attachmentCount,
116 const VkClearAttachment *pAttachments, uint32_t rectCount, const VkClearRect *pRects);
Mark Lobodzinski2def2bf2017-02-02 15:22:50 -0700117
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700118bool PreCallValidateCmdResolveImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
119 IMAGE_STATE *dst_image_state, uint32_t regionCount, const VkImageResolve *pRegions);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700120
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700121void PreCallRecordCmdResolveImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
122 IMAGE_STATE *dst_image_state);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700123
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700124bool PreCallValidateCmdBlitImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
125 IMAGE_STATE *dst_image_state, uint32_t regionCount, const VkImageBlit *pRegions, VkFilter filter);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700126
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700127void PreCallRecordCmdBlitImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
128 IMAGE_STATE *dst_image_state);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700129
Mark Lobodzinski4a3065e2017-02-07 16:36:03 -0700130bool ValidateCmdBufImageLayouts(core_validation::layer_data *dev_data, GLOBAL_CB_NODE *pCB);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700131
Mark Lobodzinski9a8d40f2017-02-07 17:00:12 -0700132bool ValidateMaskBitsFromLayouts(core_validation::layer_data *device_data, VkCommandBuffer cmdBuffer,
133 const VkAccessFlags &accessMask, const VkImageLayout &layout, const char *type);
Mark Lobodzinskib3829a52017-02-07 16:55:53 -0700134
Mark Lobodzinskic679b032017-02-07 17:11:55 -0700135bool ValidateLayoutVsAttachmentDescription(const debug_report_data *report_data, const VkImageLayout first_layout,
136 const uint32_t attachment, const VkAttachmentDescription &attachment_description);
137
138bool ValidateLayouts(core_validation::layer_data *dev_data, VkDevice device, const VkRenderPassCreateInfo *pCreateInfo);
139
Mark Lobodzinski08f14fa2017-02-07 17:20:06 -0700140bool ValidateMapImageLayouts(core_validation::layer_data *dev_data, VkDevice device, DEVICE_MEM_INFO const *mem_info,
141 VkDeviceSize offset, VkDeviceSize end_offset);
142
Mark Lobodzinski96210742017-02-09 10:33:46 -0700143bool ValidateImageUsageFlags(layer_data *dev_data, IMAGE_STATE const *image_state, VkFlags desired, VkBool32 strict,
144 int32_t const msgCode, char const *func_name, char const *usage_string);
145
146bool ValidateBufferUsageFlags(layer_data *dev_data, BUFFER_STATE const *buffer_state, VkFlags desired, VkBool32 strict,
147 int32_t const msgCode, char const *func_name, char const *usage_string);
148
149bool PreCallValidateCreateBuffer(layer_data *dev_data, const VkBufferCreateInfo *pCreateInfo);
150
151void PostCallRecordCreateBuffer(layer_data *device_data, const VkBufferCreateInfo *pCreateInfo, VkBuffer *pBuffer);
152
153bool PreCallValidateCreateBufferView(layer_data *dev_data, const VkBufferViewCreateInfo *pCreateInfo);
154
155void PostCallRecordCreateBufferView(layer_data *device_data, const VkBufferViewCreateInfo *pCreateInfo, VkBufferView *pView);
156
Mark Lobodzinski602de982017-02-09 11:01:33 -0700157bool ValidateImageAspectMask(layer_data *device_data, VkImage image, VkFormat format, VkImageAspectFlags aspect_mask,
158 const char *func_name);
159
160bool ValidateImageSubrangeLevelLayerCounts(layer_data *device_data, const VkImageSubresourceRange &subresourceRange,
161 const char *func_name);
162
163bool PreCallValidateCreateImageView(layer_data *device_data, const VkImageViewCreateInfo *create_info);
164
165void PostCallRecordCreateImageView(layer_data *device_data, const VkImageViewCreateInfo *create_info, VkImageView view);
166
Mark Lobodzinskiab9be282017-02-09 12:01:27 -0700167bool ValidateCopyBufferImageTransferGranularityRequirements(layer_data *device_data, const GLOBAL_CB_NODE *cb_node,
168 const IMAGE_STATE *img, const VkBufferImageCopy *region,
169 const uint32_t i, const char *function);
170
171void PreCallRecordCmdCopyImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
172 IMAGE_STATE *dst_image_state);
173
Mark Lobodzinski680421d2017-02-09 13:06:56 -0700174bool PreCallValidateCmdCopyBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *src_buffer_state,
175 BUFFER_STATE *dst_buffer_state);
176
177void PreCallRecordCmdCopyBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *src_buffer_state,
178 BUFFER_STATE *dst_buffer_state);
179
Mark Lobodzinski306441e2017-02-10 13:48:38 -0700180bool PreCallValidateDestroyImageView(layer_data *device_data, VkImageView image_view, IMAGE_VIEW_STATE **image_view_state,
181 VK_OBJECT *obj_struct);
182
183void PostCallRecordDestroyImageView(layer_data *device_data, VkImageView image_view, IMAGE_VIEW_STATE *image_view_state,
184 VK_OBJECT obj_struct);
185
186bool PreCallValidateDestroyBuffer(layer_data *device_data, VkBuffer buffer, BUFFER_STATE **buffer_state, VK_OBJECT *obj_struct);
187
188void PostCallRecordDestroyBuffer(layer_data *device_data, VkBuffer buffer, BUFFER_STATE *buffer_state, VK_OBJECT obj_struct);
189
190bool PreCallValidateDestroyBufferView(layer_data *device_data, VkBufferView buffer_view, BUFFER_VIEW_STATE **buffer_view_state,
191 VK_OBJECT *obj_struct);
192
193void PostCallRecordDestroyBufferView(layer_data *device_data, VkBufferView buffer_view, BUFFER_VIEW_STATE *buffer_view_state,
194 VK_OBJECT obj_struct);
195
Mark Lobodzinskidf0acbf2017-02-10 14:01:27 -0700196bool PreCallValidateCmdFillBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *buffer_state);
197
198void PreCallRecordCmdFillBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *buffer_state);
199
Mark Lobodzinski64318ba2017-01-26 13:34:13 -0700200#endif // CORE_VALIDATION_BUFFER_VALIDATION_H_