/* Copyright (c) 2015-2024 The Khronos Group Inc. * Copyright (c) 2015-2024 Valve Corporation * Copyright (c) 2015-2024 LunarG, Inc. * Copyright (C) 2015-2024 Google Inc. * Modifications Copyright (C) 2020-2022 Advanced Micro Devices, Inc. All rights reserved. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ #include <string> #include <sstream> #include <vector> #include "core_validation.h" #include "cc_vuid_maps.h" #include "error_message/error_strings.h" #include <vulkan/vk_enum_string_helper.h> #include "generated/chassis.h" #include "state_tracker/image_state.h" #include "state_tracker/buffer_state.h" #include "state_tracker/device_state.h" struct ImageRegionIntersection { … }; // Returns true if source area of first vkImageCopy/vkImageCopy2KHR region intersects dest area of second region // It is assumed that these are copy regions within a single image (otherwise no possibility of collision) template <typename RegionType> static ImageRegionIntersection GetRegionIntersection(const RegionType ®ion0, const RegionType ®ion1, VkImageType type, bool is_multiplane) { … } // Returns true if source area of first vkImageCopy/vkImageCopy2KHR region intersects dest area of second region // It is assumed that these are copy regions within a single image (otherwise no possibility of collision) template <typename RegionType> static bool RegionIntersects(const RegionType *region0, const RegionType *region1, VkImageType type, bool is_multiplane) { … } template <typename RegionType> static bool RegionIntersectsBlit(const RegionType *region0, const RegionType *region1, VkImageType type, bool is_multiplane) { … } // Test if the extent argument has all dimensions set to 0. static inline bool IsExtentAllZeroes(const VkExtent3D &extent) { … } // Returns the image transfer granularity for a specific image scaled by compressed block size if necessary. VkExtent3D CoreChecks::GetScaledItg(const vvl::CommandBuffer &cb_state, const vvl::Image &image_state) const { … } // Test elements of a VkExtent3D structure against alignment constraints contained in another VkExtent3D structure static inline bool IsExtentAligned(const VkExtent3D &extent, const VkExtent3D &granularity) { … } // Check elements of a VkOffset3D structure against a queue family's Image Transfer Granularity values bool CoreChecks::CheckItgOffset(const LogObjectList &objlist, const VkOffset3D &offset, const VkExtent3D &granularity, const Location &offset_loc, const char *vuid) const { … } // Test if two VkExtent3D structs are equivalent static inline bool IsExtentEqual(const VkExtent3D &extent, const VkExtent3D &other_extent) { … } // Check elements of a VkExtent3D structure against a queue family's Image Transfer Granularity values bool CoreChecks::CheckItgExtent(const LogObjectList &objlist, const VkExtent3D &extent, const VkOffset3D &offset, const VkExtent3D &granularity, const VkExtent3D &subresource_extent, const VkImageType image_type, const Location &extent_loc, const char *vuid) const { … } template <typename HandleT> bool CoreChecks::ValidateImageMipLevel(const HandleT handle, const vvl::Image &image_state, uint32_t mip_level, const Location &subresource_loc) const { … } template <typename HandleT> bool CoreChecks::ValidateImageArrayLayerRange(const HandleT handle, const vvl::Image &image_state, const uint32_t base_layer, const uint32_t layer_count, const Location &subresource_loc) const { … } bool VerifyAspectsPresent(VkImageAspectFlags aspect_mask, VkFormat format) { … } template <typename T> uint32_t GetRowLength(T data) { … } template <> uint32_t GetRowLength<VkMemoryToImageCopyEXT>(VkMemoryToImageCopyEXT data) { … } template <> uint32_t GetRowLength<VkImageToMemoryCopyEXT>(VkImageToMemoryCopyEXT data) { … } template <typename T> uint32_t GetImageHeight(T data) { … } template <> uint32_t GetImageHeight<VkMemoryToImageCopyEXT>(VkMemoryToImageCopyEXT data) { … } template <> uint32_t GetImageHeight<VkImageToMemoryCopyEXT>(VkImageToMemoryCopyEXT data) { … } template <typename HandleT, typename RegionType> bool CoreChecks::ValidateHeterogeneousCopyData(const HandleT handle, uint32_t regionCount, const RegionType *pRegions, const vvl::Image &image_state, const Location &loc) const { … } template <typename RegionType> bool CoreChecks::ValidateBufferImageCopyData(const vvl::CommandBuffer &cb_state, uint32_t regionCount, const RegionType *pRegions, const vvl::Image &image_state, const Location &loc) const { … } template <typename RegionType> bool CoreChecks::ValidateCmdCopyBufferBounds(VkCommandBuffer cb, const vvl::Buffer &src_buffer_state, const vvl::Buffer &dst_buffer_state, uint32_t regionCount, const RegionType *pRegions, const Location &loc) const { … } template <typename RegionType> bool CoreChecks::ValidateCmdCopyBuffer(VkCommandBuffer commandBuffer, VkBuffer srcBuffer, VkBuffer dstBuffer, uint32_t regionCount, const RegionType *pRegions, const Location &loc) const { … } bool CoreChecks::PreCallValidateCmdCopyBuffer(VkCommandBuffer commandBuffer, VkBuffer srcBuffer, VkBuffer dstBuffer, uint32_t regionCount, const VkBufferCopy *pRegions, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdCopyBuffer2KHR(VkCommandBuffer commandBuffer, const VkCopyBufferInfo2KHR *pCopyBufferInfo, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdCopyBuffer2(VkCommandBuffer commandBuffer, const VkCopyBufferInfo2 *pCopyBufferInfo, const ErrorObject &error_obj) const { … } // Check valid usage Image Transfer Granularity requirements for elements of a VkBufferImageCopy/VkBufferImageCopy2 structure template <typename RegionType> bool CoreChecks::ValidateCopyBufferImageTransferGranularityRequirements(const vvl::CommandBuffer &cb_state, const vvl::Image &image_state, const RegionType *region, const Location ®ion_loc, const char *vuid) const { … } template <typename HandleT> bool CoreChecks::ValidateImageSubresourceLayers(HandleT handle, const VkImageSubresourceLayers *subresource_layers, const Location &subresource_loc) const { … } // Check valid usage Image Transfer Granularity requirements for elements of a VkImageCopy/VkImageCopy2KHR structure template <typename RegionType> bool CoreChecks::ValidateCopyImageTransferGranularityRequirements(const vvl::CommandBuffer &cb_state, const vvl::Image &src_image_state, const vvl::Image &dst_image_state, const RegionType *region, const Location ®ion_loc) const { … } // Validate contents of a VkImageCopy or VkImageCopy2KHR struct template <typename HandleT, typename RegionType> bool CoreChecks::ValidateImageCopyData(const HandleT handle, const uint32_t regionCount, const RegionType *pRegions, const vvl::Image &src_image_state, const vvl::Image &dst_image_state, bool is_host, const Location &loc) const { … } // Returns non-zero if offset and extent exceed image extents static constexpr uint32_t kXBit = …; static constexpr uint32_t kYBit = …; static constexpr uint32_t kZBit = …; static uint32_t ExceedsBounds(const VkOffset3D *offset, const VkExtent3D *extent, const VkExtent3D *image_extent) { … } template <typename HandleT, typename RegionType> bool CoreChecks::ValidateCopyImageCommon(HandleT handle, const vvl::Image &src_image_state, const vvl::Image &dst_image_state, uint32_t regionCount, const RegionType *pRegions, const Location &loc) const { … } template <typename RegionType> bool CoreChecks::ValidateCmdCopyImage(VkCommandBuffer commandBuffer, VkImage srcImage, VkImageLayout srcImageLayout, VkImage dstImage, VkImageLayout dstImageLayout, uint32_t regionCount, const RegionType *pRegions, const Location &loc) const { … } bool CoreChecks::PreCallValidateCmdCopyImage(VkCommandBuffer commandBuffer, VkImage srcImage, VkImageLayout srcImageLayout, VkImage dstImage, VkImageLayout dstImageLayout, uint32_t regionCount, const VkImageCopy *pRegions, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdCopyImage2KHR(VkCommandBuffer commandBuffer, const VkCopyImageInfo2KHR *pCopyImageInfo, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdCopyImage2(VkCommandBuffer commandBuffer, const VkCopyImageInfo2 *pCopyImageInfo, const ErrorObject &error_obj) const { … } void CoreChecks::PostCallRecordCmdCopyImage(VkCommandBuffer commandBuffer, VkImage srcImage, VkImageLayout srcImageLayout, VkImage dstImage, VkImageLayout dstImageLayout, uint32_t regionCount, const VkImageCopy *pRegions, const RecordObject &record_obj) { … } void CoreChecks::PostCallRecordCmdCopyImage2KHR(VkCommandBuffer commandBuffer, const VkCopyImageInfo2KHR *pCopyImageInfo, const RecordObject &record_obj) { … } void CoreChecks::PostCallRecordCmdCopyImage2(VkCommandBuffer commandBuffer, const VkCopyImageInfo2 *pCopyImageInfo, const RecordObject &record_obj) { … } template <typename RegionType> void CoreChecks::RecordCmdCopyBuffer(VkCommandBuffer commandBuffer, VkBuffer srcBuffer, VkBuffer dstBuffer, uint32_t regionCount, const RegionType *pRegions, const Location &loc) { … } void CoreChecks::PostCallRecordCmdCopyBuffer(VkCommandBuffer commandBuffer, VkBuffer srcBuffer, VkBuffer dstBuffer, uint32_t regionCount, const VkBufferCopy *pRegions, const RecordObject &record_obj) { … } void CoreChecks::PostCallRecordCmdCopyBuffer2KHR(VkCommandBuffer commandBuffer, const VkCopyBufferInfo2KHR *pCopyBufferInfo, const RecordObject &record_obj) { … } void CoreChecks::PostCallRecordCmdCopyBuffer2(VkCommandBuffer commandBuffer, const VkCopyBufferInfo2 *pCopyBufferInfo, const RecordObject &record_obj) { … } template <typename T> VkImageSubresourceLayers GetImageSubresource(T data, bool is_src) { … } template <> VkImageSubresourceLayers GetImageSubresource<VkImageCopy2>(VkImageCopy2 data, bool is_src) { … } template <typename T> VkOffset3D GetOffset(T data, bool is_src) { … } template <> VkOffset3D GetOffset<VkImageCopy2>(VkImageCopy2 data, bool is_src) { … } template <typename T> VkExtent3D GetExtent(T data) { … } template <> VkExtent3D GetExtent<VkImageCopy2>(VkImageCopy2 data) { … } template <typename HandleT, typename RegionType> bool CoreChecks::ValidateImageBounds(const HandleT handle, const vvl::Image &image_state, const uint32_t regionCount, const RegionType *pRegions, const Location &loc, const char *vuid, bool is_src) const { … } template <typename RegionType> bool CoreChecks::ValidateBufferBounds(VkCommandBuffer cb, const vvl::Image &image_state, const vvl::Buffer &buff_state, uint32_t regionCount, const RegionType *pRegions, const Location &loc, const char *vuid) const { … } template <typename HandleT> // Validate that an image's sampleCount matches the requirement for a specific API call bool CoreChecks::ValidateImageSampleCount(const HandleT handle, const vvl::Image &image_state, VkSampleCountFlagBits sample_count, const Location &loc, const std::string &vuid) const { … } template <typename RegionType> bool CoreChecks::ValidateImageBufferCopyMemoryOverlap(const vvl::CommandBuffer &cb_state, uint32_t regionCount, const RegionType *pRegions, const vvl::Image &image_state, const vvl::Buffer &buffer_state, const Location &loc, bool image_to_buffer, bool is_2) const { … } template <typename RegionType> bool CoreChecks::ValidateCmdCopyImageToBuffer(VkCommandBuffer commandBuffer, VkImage srcImage, VkImageLayout srcImageLayout, VkBuffer dstBuffer, uint32_t regionCount, const RegionType *pRegions, const Location &loc) const { … } bool CoreChecks::PreCallValidateCmdCopyImageToBuffer(VkCommandBuffer commandBuffer, VkImage srcImage, VkImageLayout srcImageLayout, VkBuffer dstBuffer, uint32_t regionCount, const VkBufferImageCopy *pRegions, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdCopyImageToBuffer2KHR(VkCommandBuffer commandBuffer, const VkCopyImageToBufferInfo2KHR *pCopyImageToBufferInfo, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdCopyImageToBuffer2(VkCommandBuffer commandBuffer, const VkCopyImageToBufferInfo2 *pCopyImageToBufferInfo, const ErrorObject &error_obj) const { … } void CoreChecks::PostCallRecordCmdCopyImageToBuffer(VkCommandBuffer commandBuffer, VkImage srcImage, VkImageLayout srcImageLayout, VkBuffer dstBuffer, uint32_t regionCount, const VkBufferImageCopy *pRegions, const RecordObject &record_obj) { … } void CoreChecks::PostCallRecordCmdCopyImageToBuffer2KHR(VkCommandBuffer commandBuffer, const VkCopyImageToBufferInfo2KHR *pCopyImageToBufferInfo, const RecordObject &record_obj) { … } void CoreChecks::PostCallRecordCmdCopyImageToBuffer2(VkCommandBuffer commandBuffer, const VkCopyImageToBufferInfo2 *pCopyImageToBufferInfo, const RecordObject &record_obj) { … } template <typename RegionType> bool CoreChecks::ValidateCmdCopyBufferToImage(VkCommandBuffer commandBuffer, VkBuffer srcBuffer, VkImage dstImage, VkImageLayout dstImageLayout, uint32_t regionCount, const RegionType *pRegions, const Location &loc) const { … } bool CoreChecks::PreCallValidateCmdCopyBufferToImage(VkCommandBuffer commandBuffer, VkBuffer srcBuffer, VkImage dstImage, VkImageLayout dstImageLayout, uint32_t regionCount, const VkBufferImageCopy *pRegions, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdCopyBufferToImage2KHR(VkCommandBuffer commandBuffer, const VkCopyBufferToImageInfo2KHR *pCopyBufferToImageInfo, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdCopyBufferToImage2(VkCommandBuffer commandBuffer, const VkCopyBufferToImageInfo2 *pCopyBufferToImageInfo, const ErrorObject &error_obj) const { … } void CoreChecks::PostCallRecordCmdCopyBufferToImage(VkCommandBuffer commandBuffer, VkBuffer srcBuffer, VkImage dstImage, VkImageLayout dstImageLayout, uint32_t regionCount, const VkBufferImageCopy *pRegions, const RecordObject &record_obj) { … } void CoreChecks::PostCallRecordCmdCopyBufferToImage2KHR(VkCommandBuffer commandBuffer, const VkCopyBufferToImageInfo2KHR *pCopyBufferToImageInfo2KHR, const RecordObject &record_obj) { … } void CoreChecks::PostCallRecordCmdCopyBufferToImage2(VkCommandBuffer commandBuffer, const VkCopyBufferToImageInfo2 *pCopyBufferToImageInfo, const RecordObject &record_obj) { … } bool CoreChecks::UsageHostTransferCheck(const vvl::Image &image_state, bool has_stencil, bool has_non_stencil, const char *vuid_09111, const char *vuid_09112, const char *vuid_09113, const Location &loc) const { … } template <typename T> VkImageLayout GetImageLayout(T data) { … } template <> VkImageLayout GetImageLayout<VkCopyMemoryToImageInfoEXT>(VkCopyMemoryToImageInfoEXT data) { … } template <> VkImageLayout GetImageLayout<VkCopyImageToMemoryInfoEXT>(VkCopyImageToMemoryInfoEXT data) { … } template <typename T> VkImage GetImage(T data) { … } template <> VkImage GetImage<VkCopyMemoryToImageInfoEXT>(VkCopyMemoryToImageInfoEXT data) { … } template <> VkImage GetImage<VkCopyImageToMemoryInfoEXT>(VkCopyImageToMemoryInfoEXT data) { … } template <typename InfoPointer> bool CoreChecks::ValidateMemoryImageCopyCommon(InfoPointer info_ptr, const Location &loc) const { … } bool CoreChecks::ValidateHostCopyImageCreateInfos(const vvl::Image &src_image_state, const vvl::Image &dst_image_state, const Location &loc) const { … } bool CoreChecks::ValidateHostCopyImageLayout(const VkImage image, const uint32_t layout_count, const VkImageLayout *supported_image_layouts, const VkImageLayout image_layout, const Location &loc, vvl::Field supported_name, const char *vuid) const { … } bool CoreChecks::PreCallValidateCopyMemoryToImageEXT(VkDevice device, const VkCopyMemoryToImageInfoEXT *pCopyMemoryToImageInfo, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCopyImageToMemoryEXT(VkDevice device, const VkCopyImageToMemoryInfoEXT *pCopyImageToMemoryInfo, const ErrorObject &error_obj) const { … } bool CoreChecks::ValidateMemcpyExtents(const VkImageCopy2 region, const vvl::Image &image_state, bool is_src, const Location ®ion_loc) const { … } bool CoreChecks::ValidateHostCopyMultiplane(VkImageCopy2 region, const vvl::Image &image_state, bool is_src, const Location ®ion_loc) const { … } bool CoreChecks::PreCallValidateCopyImageToImageEXT(VkDevice device, const VkCopyImageToImageInfoEXT *pCopyImageToImageInfo, const ErrorObject &error_obj) const { … } template <typename RegionType> bool CoreChecks::ValidateCmdBlitImage(VkCommandBuffer commandBuffer, VkImage srcImage, VkImageLayout srcImageLayout, VkImage dstImage, VkImageLayout dstImageLayout, uint32_t regionCount, const RegionType *pRegions, VkFilter filter, const Location &loc) const { … } bool CoreChecks::PreCallValidateCmdBlitImage(VkCommandBuffer commandBuffer, VkImage srcImage, VkImageLayout srcImageLayout, VkImage dstImage, VkImageLayout dstImageLayout, uint32_t regionCount, const VkImageBlit *pRegions, VkFilter filter, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdBlitImage2KHR(VkCommandBuffer commandBuffer, const VkBlitImageInfo2KHR *pBlitImageInfo, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdBlitImage2(VkCommandBuffer commandBuffer, const VkBlitImageInfo2 *pBlitImageInfo, const ErrorObject &error_obj) const { … } template <typename RegionType> void CoreChecks::RecordCmdBlitImage(VkCommandBuffer commandBuffer, VkImage srcImage, VkImageLayout srcImageLayout, VkImage dstImage, VkImageLayout dstImageLayout, uint32_t regionCount, const RegionType *pRegions, VkFilter filter) { … } void CoreChecks::PostCallRecordCmdBlitImage(VkCommandBuffer commandBuffer, VkImage srcImage, VkImageLayout srcImageLayout, VkImage dstImage, VkImageLayout dstImageLayout, uint32_t regionCount, const VkImageBlit *pRegions, VkFilter filter, const RecordObject &record_obj) { … } void CoreChecks::PostCallRecordCmdBlitImage2KHR(VkCommandBuffer commandBuffer, const VkBlitImageInfo2KHR *pBlitImageInfo, const RecordObject &record_obj) { … } void CoreChecks::PostCallRecordCmdBlitImage2(VkCommandBuffer commandBuffer, const VkBlitImageInfo2KHR *pBlitImageInfo, const RecordObject &record_obj) { … } template <typename RegionType> bool CoreChecks::ValidateCmdResolveImage(VkCommandBuffer commandBuffer, VkImage srcImage, VkImageLayout srcImageLayout, VkImage dstImage, VkImageLayout dstImageLayout, uint32_t regionCount, const RegionType *pRegions, const Location &loc) const { … } bool CoreChecks::PreCallValidateCmdResolveImage(VkCommandBuffer commandBuffer, VkImage srcImage, VkImageLayout srcImageLayout, VkImage dstImage, VkImageLayout dstImageLayout, uint32_t regionCount, const VkImageResolve *pRegions, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdResolveImage2KHR(VkCommandBuffer commandBuffer, const VkResolveImageInfo2KHR *pResolveImageInfo, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdResolveImage2(VkCommandBuffer commandBuffer, const VkResolveImageInfo2 *pResolveImageInfo, const ErrorObject &error_obj) const { … }
Codebase Browser
chromium