blob: 1c8ba67db8cdd7c7f642a9e639b5f4a877f751a0 [file] [log] [blame]
/*
* Copyright (c) 2020-2022 The Khronos Group Inc.
* Copyright (c) 2020-2022 Valve Corporation
* Copyright (c) 2020-2022 LunarG, Inc.
*
* 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
*
* Author: Nathaniel Cesario <nathaniel@lunarg.com>
*/
#include "cast_utils.h"
#include "layer_validation_tests.h"
#include "core_validation_error_enums.h"
class VkPortabilitySubsetTest : public VkLayerTest {
public:
void InitPortabilitySubsetFramework() {
// VK_KHR_portability_subset extension dependencies
instance_extensions_.emplace_back(VK_KHR_GET_PHYSICAL_DEVICE_PROPERTIES_2_EXTENSION_NAME);
InitFramework(m_errorMonitor, nullptr);
}
};
TEST_F(VkPortabilitySubsetTest, ValidatePortabilityCreateDevice) {
TEST_DESCRIPTION("Portability: CreateDevice called and VK_KHR_portability_subset not enabled");
ASSERT_NO_FATAL_FAILURE(InitPortabilitySubsetFramework());
bool portability_supported = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
if (!portability_supported) {
printf("%s Test requires VK_KHR_portability_subset, skipping\n", kSkipPrefix);
return;
}
vk_testing::PhysicalDevice phys_device(gpu());
// request all queues
const std::vector<VkQueueFamilyProperties> queue_props = phys_device.queue_properties();
vk_testing::QueueCreateInfoArray queue_info(phys_device.queue_properties());
// Only request creation with queuefamilies that have at least one queue
std::vector<VkDeviceQueueCreateInfo> create_queue_infos;
auto qci = queue_info.data();
for (uint32_t j = 0; j < queue_info.size(); ++j) {
if (qci[j].queueCount) {
create_queue_infos.push_back(qci[j]);
}
}
VkDeviceCreateInfo dev_info = LvlInitStruct<VkDeviceCreateInfo>();
dev_info.queueCreateInfoCount = create_queue_infos.size();
dev_info.pQueueCreateInfos = create_queue_infos.data();
dev_info.enabledLayerCount = 0;
dev_info.ppEnabledLayerNames = NULL;
dev_info.enabledExtensionCount = 0;
dev_info.ppEnabledExtensionNames =
nullptr; // VK_KHR_portability_subset not included in enabled extensions should trigger 04451
m_errorMonitor->SetDesiredFailureMsg(kErrorBit, "VUID-VkDeviceCreateInfo-pProperties-04451");
VkDevice device;
vk::CreateDevice(gpu(), &dev_info, nullptr, &device);
m_errorMonitor->VerifyFound();
}
TEST_F(VkPortabilitySubsetTest, PortabilityCreateEvent) {
TEST_DESCRIPTION("Portability: CreateEvent when not supported");
ASSERT_NO_FATAL_FAILURE(InitPortabilitySubsetFramework());
bool portability_supported = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
if (!portability_supported) {
printf("%s Test requires VK_KHR_portability_subset, skipping\n", kSkipPrefix);
return;
}
m_device_extension_names.push_back(VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
auto portability_feature = LvlInitStruct<VkPhysicalDevicePortabilitySubsetFeaturesKHR>();
auto features2 = LvlInitStruct<VkPhysicalDeviceFeatures2KHR>(&portability_feature);
vk::GetPhysicalDeviceFeatures2(gpu(), &features2);
portability_feature.events = VK_FALSE; // Make sure events are disabled
ASSERT_NO_FATAL_FAILURE(InitState(nullptr, &features2));
m_errorMonitor->SetDesiredFailureMsg(kErrorBit, "VUID-vkCreateEvent-events-04468");
VkEventCreateInfo eci = LvlInitStruct<VkEventCreateInfo>();
VkEvent event;
vk::CreateEvent(m_device->device(), &eci, nullptr, &event);
m_errorMonitor->VerifyFound();
}
TEST_F(VkPortabilitySubsetTest, CreateImage) {
TEST_DESCRIPTION("Portability: CreateImage - VUIDs 04459, 04460");
ASSERT_NO_FATAL_FAILURE(InitPortabilitySubsetFramework());
bool portability_supported = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
if (!portability_supported) {
printf("%s Test requires VK_KHR_portability_subset, skipping\n", kSkipPrefix);
return;
}
m_device_extension_names.push_back(VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
auto portability_feature = LvlInitStruct<VkPhysicalDevicePortabilitySubsetFeaturesKHR>();
auto features2 = LvlInitStruct<VkPhysicalDeviceFeatures2KHR>(&portability_feature);
vk::GetPhysicalDeviceFeatures2(gpu(), &features2);
// Make sure image features are disabled via portability extension
portability_feature.imageView2DOn3DImage = VK_FALSE;
portability_feature.multisampleArrayImage = VK_FALSE;
ASSERT_NO_FATAL_FAILURE(InitState(nullptr, &features2));
VkImageCreateInfo ci = LvlInitStruct<VkImageCreateInfo>();
ci.flags = VK_IMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT;
ci.imageType = VK_IMAGE_TYPE_3D;
ci.format = VK_FORMAT_R8G8B8A8_UNORM;
ci.extent.width = 512;
ci.extent.height = 64;
ci.extent.depth = 1;
ci.mipLevels = 1;
ci.arrayLayers = 1;
ci.samples = VK_SAMPLE_COUNT_1_BIT;
ci.tiling = VK_IMAGE_TILING_OPTIMAL;
ci.usage = VK_IMAGE_USAGE_TRANSFER_SRC_BIT;
ci.sharingMode = VK_SHARING_MODE_EXCLUSIVE;
ci.queueFamilyIndexCount = 0;
ci.pQueueFamilyIndices = nullptr;
ci.initialLayout = VK_IMAGE_LAYOUT_PREINITIALIZED;
CreateImageTest(*this, &ci, "VUID-VkImageCreateInfo-imageView2DOn3DImage-04459");
ci.imageType = VK_IMAGE_TYPE_2D;
ci.flags = 0;
ci.samples = VK_SAMPLE_COUNT_2_BIT;
ci.arrayLayers = 2;
CreateImageTest(*this, &ci, "VUID-VkImageCreateInfo-multisampleArrayImage-04460");
}
TEST_F(VkPortabilitySubsetTest, CreateImageView) {
TEST_DESCRIPTION("Portability: CreateImageView - VUIDs 04465, 04466");
ASSERT_NO_FATAL_FAILURE(InitPortabilitySubsetFramework());
bool portability_supported = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
if (!portability_supported) {
printf("%s Test requires VK_KHR_portability_subset, skipping\n", kSkipPrefix);
return;
}
m_device_extension_names.push_back(VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
const bool test_bits_per_comp = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_SAMPLER_YCBCR_CONVERSION_EXTENSION_NAME);
if (test_bits_per_comp) {
m_device_extension_names.push_back(VK_KHR_SAMPLER_YCBCR_CONVERSION_EXTENSION_NAME);
}
auto portability_feature = LvlInitStruct<VkPhysicalDevicePortabilitySubsetFeaturesKHR>();
auto features2 = LvlInitStruct<VkPhysicalDeviceFeatures2KHR>(&portability_feature);
vk::GetPhysicalDeviceFeatures2(gpu(), &features2);
// Make sure image features are disabled via portability extension
portability_feature.imageViewFormatSwizzle = VK_FALSE;
portability_feature.imageViewFormatReinterpretation = VK_FALSE;
ASSERT_NO_FATAL_FAILURE(InitState(nullptr, &features2));
VkImageCreateInfo imageCI = LvlInitStruct<VkImageCreateInfo>();
imageCI.flags = VK_IMAGE_CREATE_MUTABLE_FORMAT_BIT;
imageCI.imageType = VK_IMAGE_TYPE_2D;
imageCI.format = VK_FORMAT_R4G4B4A4_UNORM_PACK16;
imageCI.extent.width = 512;
imageCI.extent.height = 64;
imageCI.extent.depth = 1;
imageCI.mipLevels = 1;
imageCI.arrayLayers = 1;
imageCI.samples = VK_SAMPLE_COUNT_1_BIT;
imageCI.tiling = VK_IMAGE_TILING_OPTIMAL;
imageCI.usage = VK_IMAGE_USAGE_SAMPLED_BIT;
imageCI.sharingMode = VK_SHARING_MODE_EXCLUSIVE;
imageCI.queueFamilyIndexCount = 0;
imageCI.pQueueFamilyIndices = nullptr;
imageCI.initialLayout = VK_IMAGE_LAYOUT_PREINITIALIZED;
VkImageObj image(m_device);
image.init(&imageCI);
VkImageViewCreateInfo ci = LvlInitStruct<VkImageViewCreateInfo>();
ci.flags = 0;
ci.image = image.image();
ci.viewType = VK_IMAGE_VIEW_TYPE_2D;
ci.format = VK_FORMAT_R4G4B4A4_UNORM_PACK16;
// Incorrect swizzling due to portability
ci.components.r = VK_COMPONENT_SWIZZLE_G;
ci.components.g = VK_COMPONENT_SWIZZLE_G;
ci.components.b = VK_COMPONENT_SWIZZLE_R;
ci.components.a = VK_COMPONENT_SWIZZLE_IDENTITY;
ci.subresourceRange.aspectMask = VK_IMAGE_ASPECT_COLOR_BIT;
ci.subresourceRange.baseMipLevel = 0;
ci.subresourceRange.levelCount = 1;
ci.subresourceRange.baseArrayLayer = 0;
ci.subresourceRange.layerCount = 1;
CreateImageViewTest(*this, &ci, "VUID-VkImageViewCreateInfo-imageViewFormatSwizzle-04465");
// Verify using VK_COMPONENT_SWIZZLE_R/G/B/A works when imageViewFormatSwizzle == VK_FALSE
ci.components.r = VK_COMPONENT_SWIZZLE_R;
ci.components.g = VK_COMPONENT_SWIZZLE_G;
ci.components.b = VK_COMPONENT_SWIZZLE_B;
ci.components.a = VK_COMPONENT_SWIZZLE_A;
CreateImageViewTest(*this, &ci);
ci.components.r = VK_COMPONENT_SWIZZLE_IDENTITY;
ci.components.g = VK_COMPONENT_SWIZZLE_IDENTITY;
ci.components.b = VK_COMPONENT_SWIZZLE_IDENTITY;
ci.components.a = VK_COMPONENT_SWIZZLE_IDENTITY;
ci.format = VK_FORMAT_R5G6B5_UNORM_PACK16; // Wrong number of components
CreateImageViewTest(*this, &ci, "VUID-VkImageViewCreateInfo-imageViewFormatReinterpretation-04466");
if (test_bits_per_comp) {
ci.format = VK_FORMAT_R12X4G12X4_UNORM_2PACK16_KHR; // Wrong number of bits per component
CreateImageViewTest(*this, &ci, "VUID-VkImageViewCreateInfo-imageViewFormatReinterpretation-04466");
}
}
TEST_F(VkPortabilitySubsetTest, CreateSampler) {
TEST_DESCRIPTION("Portability: CreateSampler - VUID 04467");
ASSERT_NO_FATAL_FAILURE(InitPortabilitySubsetFramework());
bool portability_supported = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
if (!portability_supported) {
printf("%s Test requires VK_KHR_portability_subset, skipping\n", kSkipPrefix);
return;
}
m_device_extension_names.push_back(VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
auto portability_feature = LvlInitStruct<VkPhysicalDevicePortabilitySubsetFeaturesKHR>();
auto features2 = LvlInitStruct<VkPhysicalDeviceFeatures2KHR>(&portability_feature);
vk::GetPhysicalDeviceFeatures2(gpu(), &features2);
// Make sure image features are disabled via portability extension
portability_feature.samplerMipLodBias = VK_FALSE;
ASSERT_NO_FATAL_FAILURE(InitState(nullptr, &features2));
VkSamplerCreateInfo sampler_info = SafeSaneSamplerCreateInfo();
sampler_info.mipLodBias = 1.0f;
CreateSamplerTest(*this, &sampler_info, "VUID-VkSamplerCreateInfo-samplerMipLodBias-04467");
}
TEST_F(VkPortabilitySubsetTest, CreateGraphicsPipelinesTriangleFans) {
TEST_DESCRIPTION("Portability: CreateGraphicsPipelines - VUID 04452");
ASSERT_NO_FATAL_FAILURE(InitPortabilitySubsetFramework());
bool portability_supported = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
if (!portability_supported) {
printf("%s Test requires VK_KHR_portability_subset, skipping\n", kSkipPrefix);
return;
}
m_device_extension_names.push_back(VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
auto portability_feature = LvlInitStruct<VkPhysicalDevicePortabilitySubsetFeaturesKHR>();
auto features2 = LvlInitStruct<VkPhysicalDeviceFeatures2KHR>(&portability_feature);
vk::GetPhysicalDeviceFeatures2(gpu(), &features2);
// Make sure image features are disabled via portability extension
portability_feature.triangleFans = VK_FALSE;
ASSERT_NO_FATAL_FAILURE(InitState(nullptr, &features2));
m_depth_stencil_fmt = FindSupportedDepthStencilFormat(gpu());
ASSERT_TRUE(m_depth_stencil_fmt != 0);
m_depthStencil->Init(m_device, static_cast<int32_t>(m_width), static_cast<int32_t>(m_height), m_depth_stencil_fmt);
ASSERT_NO_FATAL_FAILURE(InitRenderTarget(m_depthStencil->BindInfo()));
CreatePipelineHelper pipe(*this);
pipe.InitInfo();
pipe.ia_ci_ = VkPipelineInputAssemblyStateCreateInfo{VK_STRUCTURE_TYPE_PIPELINE_INPUT_ASSEMBLY_STATE_CREATE_INFO, nullptr, 0,
VK_PRIMITIVE_TOPOLOGY_TRIANGLE_FAN, VK_FALSE};
pipe.rs_state_ci_.rasterizerDiscardEnable = VK_TRUE;
pipe.InitState();
m_errorMonitor->SetDesiredFailureMsg(kErrorBit, "VUID-VkPipelineInputAssemblyStateCreateInfo-triangleFans-04452");
pipe.CreateGraphicsPipeline();
m_errorMonitor->VerifyFound();
}
TEST_F(VkPortabilitySubsetTest, CreateGraphicsPipelinesVertexInputStride) {
TEST_DESCRIPTION("Portability: CreateGraphicsPipelines - VUID 04456");
ASSERT_NO_FATAL_FAILURE(InitPortabilitySubsetFramework());
bool portability_supported = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
if (!portability_supported) {
printf("%s Test requires VK_KHR_portability_subset, skipping\n", kSkipPrefix);
return;
}
m_device_extension_names.push_back(VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
auto portability_feature = LvlInitStruct<VkPhysicalDevicePortabilitySubsetFeaturesKHR>();
auto features2 = LvlInitStruct<VkPhysicalDeviceFeatures2KHR>(&portability_feature);
vk::GetPhysicalDeviceFeatures2(gpu(), &features2);
ASSERT_NO_FATAL_FAILURE(InitState(nullptr, &features2));
PFN_vkGetPhysicalDeviceProperties2KHR vkGetPhysicalDeviceProperties2KHR =
(PFN_vkGetPhysicalDeviceProperties2KHR)vk::GetInstanceProcAddr(instance(), "vkGetPhysicalDeviceProperties2KHR");
ASSERT_TRUE(vkGetPhysicalDeviceProperties2KHR != nullptr);
// Get the current vertex stride to ensure we pass an incorrect value when creating the graphics pipeline
auto portability_properties = LvlInitStruct<VkPhysicalDevicePortabilitySubsetPropertiesKHR>();
auto prop2 = LvlInitStruct<VkPhysicalDeviceProperties2KHR>(&portability_properties);
vkGetPhysicalDeviceProperties2KHR(gpu(), &prop2);
ASSERT_TRUE(portability_properties.minVertexInputBindingStrideAlignment > 0);
auto vertex_stride = portability_properties.minVertexInputBindingStrideAlignment - 1;
m_depth_stencil_fmt = FindSupportedDepthStencilFormat(gpu());
ASSERT_TRUE(m_depth_stencil_fmt != 0);
m_depthStencil->Init(m_device, static_cast<int32_t>(m_width), static_cast<int32_t>(m_height), m_depth_stencil_fmt);
ASSERT_NO_FATAL_FAILURE(InitRenderTarget(m_depthStencil->BindInfo()));
CreatePipelineHelper pipe(*this);
pipe.InitInfo();
VkVertexInputBindingDescription vertex_desc{
0, // binding
vertex_stride, // stride
VK_VERTEX_INPUT_RATE_VERTEX, // inputRate
};
pipe.vi_ci_ = VkPipelineVertexInputStateCreateInfo{
VK_STRUCTURE_TYPE_PIPELINE_VERTEX_INPUT_STATE_CREATE_INFO, nullptr, 0, 1, &vertex_desc, 0, nullptr};
pipe.ia_ci_ = VkPipelineInputAssemblyStateCreateInfo{VK_STRUCTURE_TYPE_PIPELINE_INPUT_ASSEMBLY_STATE_CREATE_INFO, nullptr, 0,
VK_PRIMITIVE_TOPOLOGY_TRIANGLE_LIST, VK_FALSE};
pipe.rs_state_ci_.rasterizerDiscardEnable = VK_TRUE;
pipe.InitState();
m_errorMonitor->SetDesiredFailureMsg(kErrorBit, "VUID-VkVertexInputBindingDescription-stride-04456");
pipe.CreateGraphicsPipeline();
m_errorMonitor->VerifyFound();
}
TEST_F(VkPortabilitySubsetTest, CreateGraphicsPipelinesVertexAttributes) {
TEST_DESCRIPTION("Portability: CreateGraphicsPipelines - VUID 04457");
ASSERT_NO_FATAL_FAILURE(InitPortabilitySubsetFramework());
bool portability_supported = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
if (!portability_supported) {
printf("%s Test requires VK_KHR_portability_subset, skipping\n", kSkipPrefix);
return;
}
m_device_extension_names.push_back(VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
auto portability_feature = LvlInitStruct<VkPhysicalDevicePortabilitySubsetFeaturesKHR>();
auto features2 = LvlInitStruct<VkPhysicalDeviceFeatures2KHR>(&portability_feature);
vk::GetPhysicalDeviceFeatures2(gpu(), &features2);
// Make sure image features are disabled via portability extension
portability_feature.vertexAttributeAccessBeyondStride = VK_FALSE;
ASSERT_NO_FATAL_FAILURE(InitState(nullptr, &features2));
m_depth_stencil_fmt = FindSupportedDepthStencilFormat(gpu());
ASSERT_TRUE(m_depth_stencil_fmt != 0);
m_depthStencil->Init(m_device, static_cast<int32_t>(m_width), static_cast<int32_t>(m_height), m_depth_stencil_fmt);
ASSERT_NO_FATAL_FAILURE(InitRenderTarget(m_depthStencil->BindInfo()));
CreatePipelineHelper pipe(*this);
pipe.InitInfo();
VkVertexInputBindingDescription vertex_desc{
0, // binding
4, // stride
VK_VERTEX_INPUT_RATE_VERTEX, // inputRate
};
VkVertexInputAttributeDescription vertex_attrib{
0, // location
0, // binding
VK_FORMAT_R32_SFLOAT, // format; size == 4
4, // offset; size(format) + offset > description.stride, so this should trigger 04457
};
pipe.vi_ci_ = VkPipelineVertexInputStateCreateInfo{
VK_STRUCTURE_TYPE_PIPELINE_VERTEX_INPUT_STATE_CREATE_INFO, nullptr, 0, 1, &vertex_desc, 1, &vertex_attrib};
pipe.rs_state_ci_.rasterizerDiscardEnable = VK_TRUE;
pipe.InitState();
m_errorMonitor->SetDesiredFailureMsg(kErrorBit,
"VUID-VkVertexInputAttributeDescription-vertexAttributeAccessBeyondStride-04457");
pipe.CreateGraphicsPipeline();
m_errorMonitor->VerifyFound();
}
TEST_F(VkPortabilitySubsetTest, CreateGraphicsPipelinesRasterizationState) {
TEST_DESCRIPTION("Portability: CreateGraphicsPipelines - VUID 04458");
ASSERT_NO_FATAL_FAILURE(InitPortabilitySubsetFramework());
bool portability_supported = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
if (!portability_supported) {
printf("%s Test requires VK_KHR_portability_subset, skipping\n", kSkipPrefix);
return;
}
m_device_extension_names.push_back(VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
auto portability_feature = LvlInitStruct<VkPhysicalDevicePortabilitySubsetFeaturesKHR>();
auto features2 = LvlInitStruct<VkPhysicalDeviceFeatures2KHR>(&portability_feature);
vk::GetPhysicalDeviceFeatures2(gpu(), &features2);
// Make sure point polygons are disabled
portability_feature.pointPolygons = VK_FALSE;
ASSERT_NO_FATAL_FAILURE(InitState(nullptr, &features2));
VkAttachmentDescription attachment{};
attachment.samples = VK_SAMPLE_COUNT_1_BIT;
attachment.loadOp = VK_ATTACHMENT_LOAD_OP_CLEAR;
attachment.storeOp = VK_ATTACHMENT_STORE_OP_DONT_CARE;
attachment.format = VK_FORMAT_B8G8R8A8_SRGB;
VkAttachmentReference color_ref{};
color_ref.attachment = 0;
color_ref.layout = VK_IMAGE_LAYOUT_COLOR_ATTACHMENT_OPTIMAL;
VkSubpassDescription subpass{};
subpass.colorAttachmentCount = 1;
subpass.pColorAttachments = &color_ref;
subpass.pipelineBindPoint = VK_PIPELINE_BIND_POINT_GRAPHICS;
VkRenderPassCreateInfo rp_info = LvlInitStruct<VkRenderPassCreateInfo>();
rp_info.attachmentCount = 1;
rp_info.pAttachments = &attachment;
rp_info.subpassCount = 1;
rp_info.pSubpasses = &subpass;
vk::CreateRenderPass(device(), &rp_info, nullptr, &m_renderPass);
m_renderPass_info = rp_info;
CreatePipelineHelper pipe(*this);
pipe.InitInfo();
pipe.rs_state_ci_.polygonMode = VK_POLYGON_MODE_POINT;
pipe.InitState();
m_errorMonitor->SetDesiredFailureMsg(kErrorBit, "VUID-VkPipelineRasterizationStateCreateInfo-pointPolygons-04458");
pipe.CreateGraphicsPipeline();
m_errorMonitor->VerifyFound();
}
TEST_F(VkPortabilitySubsetTest, CreateGraphicsPipelinesDepthStencilState) {
TEST_DESCRIPTION("Portability: CreateGraphicsPipelines - VUID 04453");
ASSERT_NO_FATAL_FAILURE(InitPortabilitySubsetFramework());
bool portability_supported = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
if (!portability_supported) {
printf("%s Test requires VK_KHR_portability_subset, skipping\n", kSkipPrefix);
return;
}
m_device_extension_names.push_back(VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
auto portability_feature = LvlInitStruct<VkPhysicalDevicePortabilitySubsetFeaturesKHR>();
auto features2 = LvlInitStruct<VkPhysicalDeviceFeatures2KHR>(&portability_feature);
vk::GetPhysicalDeviceFeatures2(gpu(), &features2);
portability_feature.separateStencilMaskRef = VK_FALSE;
ASSERT_NO_FATAL_FAILURE(InitState(nullptr, &features2));
m_depth_stencil_fmt = FindSupportedDepthStencilFormat(gpu());
ASSERT_TRUE(m_depth_stencil_fmt != 0);
m_depthStencil->Init(m_device, static_cast<int32_t>(m_width), static_cast<int32_t>(m_height), m_depth_stencil_fmt);
ASSERT_NO_FATAL_FAILURE(InitRenderTarget(m_depthStencil->BindInfo()));
auto depth_stencil_ci = LvlInitStruct<VkPipelineDepthStencilStateCreateInfo>();
depth_stencil_ci.stencilTestEnable = VK_TRUE;
depth_stencil_ci.front.reference = 1;
depth_stencil_ci.back.reference = depth_stencil_ci.front.reference + 1;
// front.reference != back.reference should trigger 04453
CreatePipelineHelper pipe(*this);
pipe.InitInfo();
pipe.gp_ci_.pDepthStencilState = &depth_stencil_ci;
pipe.rs_state_ci_.cullMode = VK_CULL_MODE_NONE;
pipe.InitState();
m_errorMonitor->SetDesiredFailureMsg(kErrorBit, "VUID-VkPipelineDepthStencilStateCreateInfo-separateStencilMaskRef-04453");
pipe.CreateGraphicsPipeline();
m_errorMonitor->VerifyFound();
// Ensure using without depth-stencil works
m_errorMonitor->ExpectSuccess();
pipe.rs_state_ci_.rasterizerDiscardEnable = VK_TRUE;
// pDepthStencilState should be ignored if rasterization is disabled or if the referenced subpass does not use a depth/stencil
// attachment
pipe.gp_ci_.pDepthStencilState = nullptr;
pipe.CreateGraphicsPipeline();
m_errorMonitor->VerifyNotFound();
}
TEST_F(VkPortabilitySubsetTest, CreateGraphicsPipelinesColorBlendAttachmentState) {
TEST_DESCRIPTION("Portability: CreateGraphicsPipelines - VUIDs 04454, 04455");
ASSERT_NO_FATAL_FAILURE(InitPortabilitySubsetFramework());
bool portability_supported = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
if (!portability_supported) {
printf("%s Test requires VK_KHR_portability_subset, skipping\n", kSkipPrefix);
return;
}
m_device_extension_names.push_back(VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
auto portability_feature = LvlInitStruct<VkPhysicalDevicePortabilitySubsetFeaturesKHR>();
auto features2 = LvlInitStruct<VkPhysicalDeviceFeatures2KHR>(&portability_feature);
vk::GetPhysicalDeviceFeatures2(gpu(), &features2);
portability_feature.constantAlphaColorBlendFactors = VK_FALSE;
ASSERT_NO_FATAL_FAILURE(InitState(nullptr, &features2));
m_depth_stencil_fmt = FindSupportedDepthStencilFormat(gpu());
ASSERT_TRUE(m_depth_stencil_fmt != 0);
m_depthStencil->Init(m_device, static_cast<int32_t>(m_width), static_cast<int32_t>(m_height), m_depth_stencil_fmt);
ASSERT_NO_FATAL_FAILURE(InitRenderTarget(m_depthStencil->BindInfo()));
CreatePipelineHelper pipe(*this);
pipe.InitInfo();
pipe.cb_attachments_[0].srcColorBlendFactor = VK_BLEND_FACTOR_CONSTANT_ALPHA;
pipe.rs_state_ci_.rasterizerDiscardEnable = VK_TRUE;
pipe.InitState();
m_errorMonitor->SetDesiredFailureMsg(kErrorBit,
"VUID-VkPipelineColorBlendAttachmentState-constantAlphaColorBlendFactors-04454");
pipe.CreateGraphicsPipeline();
m_errorMonitor->VerifyFound();
pipe.cb_attachments_[0].srcColorBlendFactor = VK_BLEND_FACTOR_ONE_MINUS_CONSTANT_ALPHA;
m_errorMonitor->SetDesiredFailureMsg(kErrorBit,
"VUID-VkPipelineColorBlendAttachmentState-constantAlphaColorBlendFactors-04454");
pipe.CreateGraphicsPipeline();
m_errorMonitor->VerifyFound();
pipe.cb_attachments_[0].srcColorBlendFactor = VK_BLEND_FACTOR_ONE;
pipe.cb_attachments_[0].dstColorBlendFactor = VK_BLEND_FACTOR_CONSTANT_ALPHA;
m_errorMonitor->SetDesiredFailureMsg(kErrorBit,
"VUID-VkPipelineColorBlendAttachmentState-constantAlphaColorBlendFactors-04455");
pipe.CreateGraphicsPipeline();
m_errorMonitor->VerifyFound();
pipe.cb_attachments_[0].dstColorBlendFactor = VK_BLEND_FACTOR_ONE_MINUS_CONSTANT_ALPHA;
m_errorMonitor->SetDesiredFailureMsg(kErrorBit,
"VUID-VkPipelineColorBlendAttachmentState-constantAlphaColorBlendFactors-04455");
pipe.CreateGraphicsPipeline();
m_errorMonitor->VerifyFound();
}
TEST_F(VkPortabilitySubsetTest, UpdateDescriptorSets) {
TEST_DESCRIPTION("Portability: UpdateDescriptorSets - VUID 04450");
ASSERT_NO_FATAL_FAILURE(InitPortabilitySubsetFramework());
bool portability_supported = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
if (!portability_supported) {
printf("%s Test requires VK_KHR_portability_subset, skipping\n", kSkipPrefix);
return;
}
m_device_extension_names.push_back(VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
auto portability_feature = LvlInitStruct<VkPhysicalDevicePortabilitySubsetFeaturesKHR>();
auto features2 = LvlInitStruct<VkPhysicalDeviceFeatures2KHR>(&portability_feature);
vk::GetPhysicalDeviceFeatures2(gpu(), &features2);
// Make sure image features are disabled via portability extension
portability_feature.mutableComparisonSamplers = VK_FALSE;
ASSERT_NO_FATAL_FAILURE(InitState(nullptr, &features2));
ASSERT_NO_FATAL_FAILURE(InitViewport());
ASSERT_NO_FATAL_FAILURE(InitRenderTarget());
VkSampler sampler;
VkSamplerCreateInfo sampler_info = SafeSaneSamplerCreateInfo();
sampler_info.compareEnable = VK_TRUE; // Incompatible with portability setting
vk::CreateSampler(m_device->device(), &sampler_info, NULL, &sampler);
VkImageObj image(m_device);
image.Init(32, 32, 1, VK_FORMAT_B4G4R4A4_UNORM_PACK16, VK_IMAGE_USAGE_SAMPLED_BIT, VK_IMAGE_TILING_OPTIMAL, 0);
image.Layout(VK_IMAGE_LAYOUT_SHADER_READ_ONLY_OPTIMAL);
OneOffDescriptorSet descriptor_set(m_device,
{
{0, VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER, 1, VK_SHADER_STAGE_ALL, nullptr},
});
const VkPipelineLayoutObj pipeline_layout(m_device, {&descriptor_set.layout_});
vk_testing::ImageView view;
auto image_view_create_info = SafeSaneImageViewCreateInfo(image, VK_FORMAT_B4G4R4A4_UNORM_PACK16, VK_IMAGE_ASPECT_COLOR_BIT);
view.init(*m_device, image_view_create_info);
VkDescriptorImageInfo img_info = {};
img_info.sampler = sampler;
img_info.imageView = view.handle();
img_info.imageLayout = VK_IMAGE_LAYOUT_SHADER_READ_ONLY_OPTIMAL;
VkWriteDescriptorSet descriptor_writes[2] = {};
descriptor_writes[0] = LvlInitStruct<VkWriteDescriptorSet>();
descriptor_writes[0].dstSet = descriptor_set.set_;
descriptor_writes[0].dstBinding = 0;
descriptor_writes[0].descriptorCount = 1;
descriptor_writes[0].descriptorType = VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER;
descriptor_writes[0].pImageInfo = &img_info;
m_errorMonitor->SetDesiredFailureMsg(kErrorBit, "VUID-VkDescriptorImageInfo-mutableComparisonSamplers-04450");
vk::UpdateDescriptorSets(m_device->device(), 1, descriptor_writes, 0, NULL);
m_errorMonitor->VerifyFound();
vk::DestroySampler(m_device->device(), sampler, nullptr);
}
TEST_F(VkPortabilitySubsetTest, ShaderValidation) {
TEST_DESCRIPTION("Attempt to use shader features that are not supported via portability");
ASSERT_NO_FATAL_FAILURE(InitPortabilitySubsetFramework());
bool portability_supported = DeviceExtensionSupported(gpu(), nullptr, VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
if (!portability_supported) {
printf("%s Test requires VK_KHR_portability_subset, skipping\n", kSkipPrefix);
return;
}
m_device_extension_names.push_back(VK_KHR_PORTABILITY_SUBSET_EXTENSION_NAME);
auto portability_feature = LvlInitStruct<VkPhysicalDevicePortabilitySubsetFeaturesKHR>();
auto features2 = LvlInitStruct<VkPhysicalDeviceFeatures2KHR>(&portability_feature);
vk::GetPhysicalDeviceFeatures2(gpu(), &features2);
portability_feature.tessellationIsolines = VK_FALSE; // Make sure IsoLines are disabled
portability_feature.tessellationPointMode = VK_FALSE; // Make sure PointMode is disabled
portability_feature.shaderSampleRateInterpolationFunctions = VK_FALSE; // Make sure interpolation functions are disabled
ASSERT_NO_FATAL_FAILURE(InitState(nullptr, &features2));
ASSERT_NO_FATAL_FAILURE(InitViewport());
ASSERT_NO_FATAL_FAILURE(InitRenderTarget());
VkShaderObj tsc_obj(this, bindStateTscShaderText, VK_SHADER_STAGE_TESSELLATION_CONTROL_BIT);
VkPipelineInputAssemblyStateCreateInfo iasci{VK_STRUCTURE_TYPE_PIPELINE_INPUT_ASSEMBLY_STATE_CREATE_INFO, nullptr, 0,
VK_PRIMITIVE_TOPOLOGY_PATCH_LIST, VK_FALSE};
VkPipelineTessellationStateCreateInfo tsci{VK_STRUCTURE_TYPE_PIPELINE_TESSELLATION_STATE_CREATE_INFO, nullptr, 0, 3};
CreatePipelineHelper pipe(*this);
pipe.InitInfo();
pipe.ia_ci_ = iasci;
pipe.rs_state_ci_.rasterizerDiscardEnable = VK_TRUE;
pipe.tess_ci_ = tsci;
pipe.shader_stages_.emplace_back(tsc_obj.GetStageCreateInfo());
pipe.InitState();
// Attempt to use isolines in the TES shader when not available
{
static const char *tes_source = R"glsl(
#version 450
layout(isolines, equal_spacing, cw) in;
void main() {
gl_Position = vec4(1);
}
)glsl";
VkShaderObj tes_obj(this, tes_source, VK_SHADER_STAGE_TESSELLATION_EVALUATION_BIT);
pipe.shader_stages_.emplace_back(tes_obj.GetStageCreateInfo());
m_errorMonitor->SetDesiredFailureMsg(kErrorBit, "VUID-RuntimeSpirv-tessellationShader-06326");
pipe.CreateGraphicsPipeline();
m_errorMonitor->VerifyFound();
}
// Attempt to use point_mode in the TES shader when not available
{
static const char *tes_source = R"glsl(
#version 450
layout(triangles, point_mode) in;
void main() {
gl_Position = vec4(1);
}
)glsl";
// Reset TES shader stage
pipe.InitShaderInfo();
pipe.shader_stages_.emplace_back(tsc_obj.GetStageCreateInfo());
VkShaderObj tes_obj(this, tes_source, VK_SHADER_STAGE_TESSELLATION_EVALUATION_BIT);
pipe.shader_stages_.emplace_back(tes_obj.GetStageCreateInfo());
m_errorMonitor->SetDesiredFailureMsg(kErrorBit, "VUID-RuntimeSpirv-tessellationShader-06327");
pipe.CreateGraphicsPipeline();
m_errorMonitor->VerifyFound();
}
// Attempt to use interpolation functions when not supported
{
static const char *vs_source = R"glsl(
#version 450
layout(location = 0) out vec4 c;
void main() {
c = vec4(1);
gl_Position = vec4(1);
}
)glsl";
static const char *fs_source = R"glsl(
#version 450
layout(location = 0) in vec4 c;
layout(location = 0) out vec4 frag_out;
void main() {
frag_out = interpolateAtCentroid(c);
}
)glsl";
// Reset shader stages
pipe.shader_stages_.clear();
VkShaderObj vs_obj(this, vs_source, VK_SHADER_STAGE_VERTEX_BIT);
pipe.shader_stages_.emplace_back(vs_obj.GetStageCreateInfo());
VkShaderObj fs_obj(this, fs_source, VK_SHADER_STAGE_FRAGMENT_BIT);
pipe.shader_stages_.emplace_back(fs_obj.GetStageCreateInfo());
iasci.topology = VK_PRIMITIVE_TOPOLOGY_TRIANGLE_LIST;
pipe.ia_ci_ = iasci;
m_errorMonitor->SetDesiredFailureMsg(kErrorBit, "VUID-RuntimeSpirv-shaderSampleRateInterpolationFunctions-06325");
pipe.CreateGraphicsPipeline();
m_errorMonitor->VerifyFound();
}
}