blob: ad5d959707cda5d91260b015a92d2a0073a8b5fe [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
Tony Barbourdf013b92017-01-25 12:53:48 -070079bool FindLayout(const std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap, ImageSubresourcePair imgpair, VkImageLayout &layout,
80 const VkImageAspectFlags aspectMask);
81
82bool FindLayout(const std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap, ImageSubresourcePair imgpair, VkImageLayout &layout);
83
Tobin Ehlis58c884f2017-02-08 12:15:27 -070084void SetGlobalLayout(layer_data *device_data, ImageSubresourcePair imgpair, const VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070085
Tobin Ehlis58c884f2017-02-08 12:15:27 -070086void 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 -070087
Tobin Ehlis58c884f2017-02-08 12:15:27 -070088void SetLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, ImageSubresourcePair imgpair, const VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070089
Tony Barbourdf013b92017-01-25 12:53:48 -070090void SetLayout(std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap, ImageSubresourcePair imgpair, VkImageLayout layout);
91
92void SetImageViewLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, VkImageView imageView,
93 const VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070094
Tobin Ehlis58c884f2017-02-08 12:15:27 -070095bool VerifyFramebufferAndRenderPassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070096 const FRAMEBUFFER_STATE *framebuffer_state);
97
Tobin Ehlis58c884f2017-02-08 12:15:27 -070098void TransitionAttachmentRefLayout(layer_data *dev_data, GLOBAL_CB_NODE *pCB, FRAMEBUFFER_STATE *pFramebuffer,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070099 VkAttachmentReference ref);
100
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700101void TransitionSubpassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin,
102 const int subpass_index, FRAMEBUFFER_STATE *framebuffer_state);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700103
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700104bool TransitionImageAspectLayout(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkImageMemoryBarrier *mem_barrier, uint32_t level,
105 uint32_t layer, VkImageAspectFlags aspect);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700106
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700107bool TransitionImageLayouts(layer_data *device_data, VkCommandBuffer cmdBuffer, uint32_t memBarrierCount,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700108 const VkImageMemoryBarrier *pImgMemBarriers);
109
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700110bool VerifySourceImageLayout(layer_data *dev_data, GLOBAL_CB_NODE *cb_node, VkImage srcImage, VkImageSubresourceLayers subLayers,
111 VkImageLayout srcImageLayout, UNIQUE_VALIDATION_ERROR_CODE msgCode);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700112
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700113bool VerifyDestImageLayout(layer_data *dev_data, GLOBAL_CB_NODE *cb_node, VkImage destImage, VkImageSubresourceLayers subLayers,
114 VkImageLayout destImageLayout, UNIQUE_VALIDATION_ERROR_CODE msgCode);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700115
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700116void TransitionFinalSubpassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin,
117 FRAMEBUFFER_STATE *framebuffer_state);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700118
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700119bool PreCallValidateCmdCopyImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
Mark Lobodzinskiab9be282017-02-09 12:01:27 -0700120 IMAGE_STATE *dst_image_state, uint32_t region_count, const VkImageCopy *regions,
121 VkImageLayout src_image_layout, VkImageLayout dst_image_layout);
Mark Lobodzinskib39d2ec2017-02-02 14:38:47 -0700122
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700123bool PreCallValidateCmdClearAttachments(layer_data *device_data, VkCommandBuffer commandBuffer, uint32_t attachmentCount,
124 const VkClearAttachment *pAttachments, uint32_t rectCount, const VkClearRect *pRects);
Mark Lobodzinski2def2bf2017-02-02 15:22:50 -0700125
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700126bool PreCallValidateCmdResolveImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
127 IMAGE_STATE *dst_image_state, uint32_t regionCount, const VkImageResolve *pRegions);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700128
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700129void PreCallRecordCmdResolveImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
130 IMAGE_STATE *dst_image_state);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700131
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700132bool PreCallValidateCmdBlitImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
133 IMAGE_STATE *dst_image_state, uint32_t regionCount, const VkImageBlit *pRegions, VkFilter filter);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700134
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700135void PreCallRecordCmdBlitImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
136 IMAGE_STATE *dst_image_state);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700137
Tony Barbourdf013b92017-01-25 12:53:48 -0700138bool ValidateCmdBufImageLayouts(layer_data *device_data, GLOBAL_CB_NODE *pCB, std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap);
139
140void UpdateCmdBufImageLayouts(layer_data *device_data, GLOBAL_CB_NODE *pCB);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700141
Mark Lobodzinski9a8d40f2017-02-07 17:00:12 -0700142bool ValidateMaskBitsFromLayouts(core_validation::layer_data *device_data, VkCommandBuffer cmdBuffer,
143 const VkAccessFlags &accessMask, const VkImageLayout &layout, const char *type);
Mark Lobodzinskib3829a52017-02-07 16:55:53 -0700144
Mark Lobodzinskic679b032017-02-07 17:11:55 -0700145bool ValidateLayoutVsAttachmentDescription(const debug_report_data *report_data, const VkImageLayout first_layout,
146 const uint32_t attachment, const VkAttachmentDescription &attachment_description);
147
148bool ValidateLayouts(core_validation::layer_data *dev_data, VkDevice device, const VkRenderPassCreateInfo *pCreateInfo);
149
Mark Lobodzinski08f14fa2017-02-07 17:20:06 -0700150bool ValidateMapImageLayouts(core_validation::layer_data *dev_data, VkDevice device, DEVICE_MEM_INFO const *mem_info,
151 VkDeviceSize offset, VkDeviceSize end_offset);
152
Mark Lobodzinski96210742017-02-09 10:33:46 -0700153bool ValidateImageUsageFlags(layer_data *dev_data, IMAGE_STATE const *image_state, VkFlags desired, VkBool32 strict,
154 int32_t const msgCode, char const *func_name, char const *usage_string);
155
156bool ValidateBufferUsageFlags(layer_data *dev_data, BUFFER_STATE const *buffer_state, VkFlags desired, VkBool32 strict,
157 int32_t const msgCode, char const *func_name, char const *usage_string);
158
159bool PreCallValidateCreateBuffer(layer_data *dev_data, const VkBufferCreateInfo *pCreateInfo);
160
161void PostCallRecordCreateBuffer(layer_data *device_data, const VkBufferCreateInfo *pCreateInfo, VkBuffer *pBuffer);
162
163bool PreCallValidateCreateBufferView(layer_data *dev_data, const VkBufferViewCreateInfo *pCreateInfo);
164
165void PostCallRecordCreateBufferView(layer_data *device_data, const VkBufferViewCreateInfo *pCreateInfo, VkBufferView *pView);
166
Mark Lobodzinski602de982017-02-09 11:01:33 -0700167bool ValidateImageAspectMask(layer_data *device_data, VkImage image, VkFormat format, VkImageAspectFlags aspect_mask,
168 const char *func_name);
169
170bool ValidateImageSubrangeLevelLayerCounts(layer_data *device_data, const VkImageSubresourceRange &subresourceRange,
171 const char *func_name);
172
173bool PreCallValidateCreateImageView(layer_data *device_data, const VkImageViewCreateInfo *create_info);
174
175void PostCallRecordCreateImageView(layer_data *device_data, const VkImageViewCreateInfo *create_info, VkImageView view);
176
Mark Lobodzinskiab9be282017-02-09 12:01:27 -0700177bool ValidateCopyBufferImageTransferGranularityRequirements(layer_data *device_data, const GLOBAL_CB_NODE *cb_node,
178 const IMAGE_STATE *img, const VkBufferImageCopy *region,
179 const uint32_t i, const char *function);
180
181void PreCallRecordCmdCopyImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
182 IMAGE_STATE *dst_image_state);
183
Mark Lobodzinski680421d2017-02-09 13:06:56 -0700184bool PreCallValidateCmdCopyBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *src_buffer_state,
185 BUFFER_STATE *dst_buffer_state);
186
187void PreCallRecordCmdCopyBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *src_buffer_state,
188 BUFFER_STATE *dst_buffer_state);
189
Mark Lobodzinski306441e2017-02-10 13:48:38 -0700190bool PreCallValidateDestroyImageView(layer_data *device_data, VkImageView image_view, IMAGE_VIEW_STATE **image_view_state,
191 VK_OBJECT *obj_struct);
192
193void PostCallRecordDestroyImageView(layer_data *device_data, VkImageView image_view, IMAGE_VIEW_STATE *image_view_state,
194 VK_OBJECT obj_struct);
195
196bool PreCallValidateDestroyBuffer(layer_data *device_data, VkBuffer buffer, BUFFER_STATE **buffer_state, VK_OBJECT *obj_struct);
197
198void PostCallRecordDestroyBuffer(layer_data *device_data, VkBuffer buffer, BUFFER_STATE *buffer_state, VK_OBJECT obj_struct);
199
200bool PreCallValidateDestroyBufferView(layer_data *device_data, VkBufferView buffer_view, BUFFER_VIEW_STATE **buffer_view_state,
201 VK_OBJECT *obj_struct);
202
203void PostCallRecordDestroyBufferView(layer_data *device_data, VkBufferView buffer_view, BUFFER_VIEW_STATE *buffer_view_state,
204 VK_OBJECT obj_struct);
205
Mark Lobodzinskidf0acbf2017-02-10 14:01:27 -0700206bool PreCallValidateCmdFillBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *buffer_state);
207
208void PreCallRecordCmdFillBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *buffer_state);
209
Mark Lobodzinski64318ba2017-01-26 13:34:13 -0700210#endif // CORE_VALIDATION_BUFFER_VALIDATION_H_