blob: 37ff54bc399ea3f75973cae10aee1a61e4f57cd1 [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 Barboure0c5cc92017-02-08 13:53:39 -070079bool FindLayout(const std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap, ImageSubresourcePair imgpair,
80 VkImageLayout &layout, const VkImageAspectFlags aspectMask);
Tony Barbourdf013b92017-01-25 12:53:48 -070081
Tony Barboure0c5cc92017-02-08 13:53:39 -070082bool FindLayout(const std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap, ImageSubresourcePair imgpair,
83 VkImageLayout &layout);
Tony Barbourdf013b92017-01-25 12:53:48 -070084
Tobin Ehlis58c884f2017-02-08 12:15:27 -070085void SetGlobalLayout(layer_data *device_data, ImageSubresourcePair imgpair, const VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070086
Tobin Ehlis58c884f2017-02-08 12:15:27 -070087void 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 -070088
Tobin Ehlis58c884f2017-02-08 12:15:27 -070089void SetLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, ImageSubresourcePair imgpair, const VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070090
Tony Barboure0c5cc92017-02-08 13:53:39 -070091void SetLayout(std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap, ImageSubresourcePair imgpair,
92 VkImageLayout layout);
Tony Barbourdf013b92017-01-25 12:53:48 -070093
94void SetImageViewLayout(layer_data *device_data, GLOBAL_CB_NODE *pCB, VkImageView imageView,
95 const VkImageLayout &layout);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070096
Tobin Ehlis58c884f2017-02-08 12:15:27 -070097bool VerifyFramebufferAndRenderPassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -070098 const FRAMEBUFFER_STATE *framebuffer_state);
99
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700100void TransitionAttachmentRefLayout(layer_data *dev_data, GLOBAL_CB_NODE *pCB, FRAMEBUFFER_STATE *pFramebuffer,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700101 VkAttachmentReference ref);
102
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700103void TransitionSubpassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin,
104 const int subpass_index, FRAMEBUFFER_STATE *framebuffer_state);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700105
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700106bool TransitionImageAspectLayout(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkImageMemoryBarrier *mem_barrier, uint32_t level,
107 uint32_t layer, VkImageAspectFlags aspect);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700108
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700109bool TransitionImageLayouts(layer_data *device_data, VkCommandBuffer cmdBuffer, uint32_t memBarrierCount,
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700110 const VkImageMemoryBarrier *pImgMemBarriers);
111
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700112bool VerifySourceImageLayout(layer_data *dev_data, GLOBAL_CB_NODE *cb_node, VkImage srcImage, VkImageSubresourceLayers subLayers,
113 VkImageLayout srcImageLayout, UNIQUE_VALIDATION_ERROR_CODE msgCode);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700114
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700115bool VerifyDestImageLayout(layer_data *dev_data, GLOBAL_CB_NODE *cb_node, VkImage destImage, VkImageSubresourceLayers subLayers,
116 VkImageLayout destImageLayout, UNIQUE_VALIDATION_ERROR_CODE msgCode);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700117
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700118void TransitionFinalSubpassLayouts(layer_data *dev_data, GLOBAL_CB_NODE *pCB, const VkRenderPassBeginInfo *pRenderPassBegin,
119 FRAMEBUFFER_STATE *framebuffer_state);
Mark Lobodzinski3c0f6362017-02-01 13:35:48 -0700120
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700121bool PreCallValidateCmdCopyImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
Mark Lobodzinskiab9be282017-02-09 12:01:27 -0700122 IMAGE_STATE *dst_image_state, uint32_t region_count, const VkImageCopy *regions,
123 VkImageLayout src_image_layout, VkImageLayout dst_image_layout);
Mark Lobodzinskib39d2ec2017-02-02 14:38:47 -0700124
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700125bool PreCallValidateCmdClearAttachments(layer_data *device_data, VkCommandBuffer commandBuffer, uint32_t attachmentCount,
126 const VkClearAttachment *pAttachments, uint32_t rectCount, const VkClearRect *pRects);
Mark Lobodzinski2def2bf2017-02-02 15:22:50 -0700127
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700128bool PreCallValidateCmdResolveImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
129 IMAGE_STATE *dst_image_state, uint32_t regionCount, const VkImageResolve *pRegions);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700130
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700131void PreCallRecordCmdResolveImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
132 IMAGE_STATE *dst_image_state);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700133
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700134bool PreCallValidateCmdBlitImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
135 IMAGE_STATE *dst_image_state, uint32_t regionCount, const VkImageBlit *pRegions, VkFilter filter);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700136
Tobin Ehlis58c884f2017-02-08 12:15:27 -0700137void PreCallRecordCmdBlitImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
138 IMAGE_STATE *dst_image_state);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700139
Tony Barboure0c5cc92017-02-08 13:53:39 -0700140bool ValidateCmdBufImageLayouts(layer_data *device_data, GLOBAL_CB_NODE *pCB,
141 std::unordered_map<ImageSubresourcePair, IMAGE_LAYOUT_NODE> &imageLayoutMap);
Tony Barbourdf013b92017-01-25 12:53:48 -0700142
143void UpdateCmdBufImageLayouts(layer_data *device_data, GLOBAL_CB_NODE *pCB);
Mark Lobodzinski8e0c0bf2017-02-06 11:06:26 -0700144
Mark Lobodzinski9a8d40f2017-02-07 17:00:12 -0700145bool ValidateMaskBitsFromLayouts(core_validation::layer_data *device_data, VkCommandBuffer cmdBuffer,
146 const VkAccessFlags &accessMask, const VkImageLayout &layout, const char *type);
Mark Lobodzinskib3829a52017-02-07 16:55:53 -0700147
Mark Lobodzinskic679b032017-02-07 17:11:55 -0700148bool ValidateLayoutVsAttachmentDescription(const debug_report_data *report_data, const VkImageLayout first_layout,
149 const uint32_t attachment, const VkAttachmentDescription &attachment_description);
150
151bool ValidateLayouts(core_validation::layer_data *dev_data, VkDevice device, const VkRenderPassCreateInfo *pCreateInfo);
152
Mark Lobodzinski08f14fa2017-02-07 17:20:06 -0700153bool ValidateMapImageLayouts(core_validation::layer_data *dev_data, VkDevice device, DEVICE_MEM_INFO const *mem_info,
154 VkDeviceSize offset, VkDeviceSize end_offset);
155
Mark Lobodzinski96210742017-02-09 10:33:46 -0700156bool ValidateImageUsageFlags(layer_data *dev_data, IMAGE_STATE const *image_state, VkFlags desired, VkBool32 strict,
157 int32_t const msgCode, char const *func_name, char const *usage_string);
158
159bool ValidateBufferUsageFlags(layer_data *dev_data, BUFFER_STATE const *buffer_state, VkFlags desired, VkBool32 strict,
160 int32_t const msgCode, char const *func_name, char const *usage_string);
161
162bool PreCallValidateCreateBuffer(layer_data *dev_data, const VkBufferCreateInfo *pCreateInfo);
163
164void PostCallRecordCreateBuffer(layer_data *device_data, const VkBufferCreateInfo *pCreateInfo, VkBuffer *pBuffer);
165
166bool PreCallValidateCreateBufferView(layer_data *dev_data, const VkBufferViewCreateInfo *pCreateInfo);
167
168void PostCallRecordCreateBufferView(layer_data *device_data, const VkBufferViewCreateInfo *pCreateInfo, VkBufferView *pView);
169
Mark Lobodzinski602de982017-02-09 11:01:33 -0700170bool ValidateImageAspectMask(layer_data *device_data, VkImage image, VkFormat format, VkImageAspectFlags aspect_mask,
171 const char *func_name);
172
173bool ValidateImageSubrangeLevelLayerCounts(layer_data *device_data, const VkImageSubresourceRange &subresourceRange,
174 const char *func_name);
175
176bool PreCallValidateCreateImageView(layer_data *device_data, const VkImageViewCreateInfo *create_info);
177
178void PostCallRecordCreateImageView(layer_data *device_data, const VkImageViewCreateInfo *create_info, VkImageView view);
179
Mark Lobodzinskiab9be282017-02-09 12:01:27 -0700180bool ValidateCopyBufferImageTransferGranularityRequirements(layer_data *device_data, const GLOBAL_CB_NODE *cb_node,
181 const IMAGE_STATE *img, const VkBufferImageCopy *region,
182 const uint32_t i, const char *function);
183
184void PreCallRecordCmdCopyImage(layer_data *device_data, GLOBAL_CB_NODE *cb_node, IMAGE_STATE *src_image_state,
185 IMAGE_STATE *dst_image_state);
186
Mark Lobodzinski680421d2017-02-09 13:06:56 -0700187bool PreCallValidateCmdCopyBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *src_buffer_state,
188 BUFFER_STATE *dst_buffer_state);
189
190void PreCallRecordCmdCopyBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *src_buffer_state,
191 BUFFER_STATE *dst_buffer_state);
192
Mark Lobodzinski306441e2017-02-10 13:48:38 -0700193bool PreCallValidateDestroyImageView(layer_data *device_data, VkImageView image_view, IMAGE_VIEW_STATE **image_view_state,
194 VK_OBJECT *obj_struct);
195
196void PostCallRecordDestroyImageView(layer_data *device_data, VkImageView image_view, IMAGE_VIEW_STATE *image_view_state,
197 VK_OBJECT obj_struct);
198
199bool PreCallValidateDestroyBuffer(layer_data *device_data, VkBuffer buffer, BUFFER_STATE **buffer_state, VK_OBJECT *obj_struct);
200
201void PostCallRecordDestroyBuffer(layer_data *device_data, VkBuffer buffer, BUFFER_STATE *buffer_state, VK_OBJECT obj_struct);
202
203bool PreCallValidateDestroyBufferView(layer_data *device_data, VkBufferView buffer_view, BUFFER_VIEW_STATE **buffer_view_state,
204 VK_OBJECT *obj_struct);
205
206void PostCallRecordDestroyBufferView(layer_data *device_data, VkBufferView buffer_view, BUFFER_VIEW_STATE *buffer_view_state,
207 VK_OBJECT obj_struct);
208
Mark Lobodzinskidf0acbf2017-02-10 14:01:27 -0700209bool PreCallValidateCmdFillBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *buffer_state);
210
211void PreCallRecordCmdFillBuffer(layer_data *device_data, GLOBAL_CB_NODE *cb_node, BUFFER_STATE *buffer_state);
212
Mark Lobodzinski64318ba2017-01-26 13:34:13 -0700213#endif // CORE_VALIDATION_BUFFER_VALIDATION_H_