1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
|
/*
* Copyright (c) 2020-2025 The Khronos Group Inc.
* Copyright (c) 2020-2025 Valve Corporation
* Copyright (c) 2020-2025 LunarG, Inc.
* Copyright (c) 2020-2025 Google, Inc.
* Copyright (c) 2023-2025 NVIDIA Corporation
*
* 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
*/
#include "../framework/layer_validation_tests.h"
#include "../framework/pipeline_helper.h"
#include "../framework/descriptor_helper.h"
class NegativeGpuAVCooperativeVector : public GpuAVTest {
public:
void RunTest(const char *expected_error, const char *shaderBody);
};
void NegativeGpuAVCooperativeVector::RunTest(const char *expected_error, const char *shaderBody) {
TEST_DESCRIPTION("GPU AV negative tests for CooperativeVector");
SetTargetApiVersion(VK_API_VERSION_1_3);
AddRequiredExtensions(VK_NV_COOPERATIVE_VECTOR_EXTENSION_NAME);
AddRequiredExtensions(VK_EXT_SHADER_REPLICATED_COMPOSITES_EXTENSION_NAME);
AddRequiredExtensions(VK_KHR_BUFFER_DEVICE_ADDRESS_EXTENSION_NAME);
RETURN_IF_SKIP(InitGpuAvFramework());
AddRequiredFeature(vkt::Feature::shaderReplicatedComposites);
AddRequiredFeature(vkt::Feature::bufferDeviceAddress);
AddRequiredFeature(vkt::Feature::cooperativeVector);
RETURN_IF_SKIP(InitState());
vkt::Buffer buffer(*m_device, 4096, VK_BUFFER_USAGE_STORAGE_BUFFER_BIT, vkt::device_address);
std::string shader_source = std::string(R"(
#version 450
#extension GL_NV_cooperative_vector : enable
#extension GL_KHR_shader_subgroup_basic : enable
#extension GL_KHR_memory_scope_semantics : enable
#extension GL_EXT_shader_explicit_arithmetic_types : enable
layout(set = 0, binding = 0) buffer foo {
uint8_t x[];
} b;
void main() {
)") + std::string(shaderBody) +
std::string(R"(
}
)");
CreateComputePipelineHelper pipe(*this);
pipe.dsl_bindings_ = {{0, VK_DESCRIPTOR_TYPE_STORAGE_BUFFER, 1, VK_SHADER_STAGE_ALL, nullptr}};
pipe.cs_ = VkShaderObj(this, shader_source.c_str(), VK_SHADER_STAGE_COMPUTE_BIT, SPV_ENV_VULKAN_1_2);
pipe.CreateComputePipeline();
pipe.descriptor_set_.WriteDescriptorBufferInfo(0, buffer, 0, VK_WHOLE_SIZE, VK_DESCRIPTOR_TYPE_STORAGE_BUFFER);
pipe.descriptor_set_.UpdateDescriptorSets();
m_command_buffer.Begin();
vk::CmdBindPipeline(m_command_buffer, VK_PIPELINE_BIND_POINT_COMPUTE, pipe);
vk::CmdBindDescriptorSets(m_command_buffer, VK_PIPELINE_BIND_POINT_COMPUTE, pipe.pipeline_layout_, 0, 1,
&pipe.descriptor_set_.set_, 0, nullptr);
vk::CmdDispatch(m_command_buffer, 1, 1, 1);
m_command_buffer.End();
m_errorMonitor->SetDesiredError(expected_error);
m_default_queue->SubmitAndWait(m_command_buffer);
m_errorMonitor->VerifyFound();
}
TEST_F(NegativeGpuAVCooperativeVector, DISABLED_UnalignedLoadOffset) {
RunTest("VUID-RuntimeSpirv-OpCooperativeVectorLoadNV-10099",
R"(
coopvecNV<float16_t, 8> v;
coopVecLoadNV(v, b.x, 8);
coopVecStoreNV(v, b.x, 0);
)");
}
TEST_F(NegativeGpuAVCooperativeVector, DISABLED_UnalignedStoreOffset) {
RunTest("VUID-RuntimeSpirv-OpCooperativeVectorLoadNV-10099",
R"(
coopvecNV<float16_t, 8> v;
coopVecLoadNV(v, b.x, 0);
coopVecStoreNV(v, b.x, 8);
)");
}
TEST_F(NegativeGpuAVCooperativeVector, DISABLED_UnalignedMatrix) {
RunTest("VUID-RuntimeSpirv-OpCooperativeVectorMatrixMulNV-10097",
R"(
coopvecNV<float16_t, 8> v;
coopVecLoadNV(v, b.x, 0);
coopVecMatMulNV(v, v, gl_ComponentTypeFloat16NV, b.x, 32, gl_ComponentTypeFloat16NV, 8, 8, gl_CooperativeVectorMatrixLayoutInferencingOptimalNV, false, 0);
coopVecStoreNV(v, b.x, 0);
)");
}
TEST_F(NegativeGpuAVCooperativeVector, DISABLED_UnalignedBias) {
RunTest("VUID-RuntimeSpirv-OpCooperativeVectorMatrixMulAddNV-10098",
R"(
coopvecNV<float16_t, 8> v;
coopVecLoadNV(v, b.x, 0);
coopVecMatMulAddNV(v, v, gl_ComponentTypeFloat16NV, b.x, 64, gl_ComponentTypeFloat16NV, b.x, 32, gl_ComponentTypeFloat16NV, 8, 8, gl_CooperativeVectorMatrixLayoutInferencingOptimalNV, false, 0);
coopVecStoreNV(v, b.x, 0);
)");
}
TEST_F(NegativeGpuAVCooperativeVector, DISABLED_UnalignedStride) {
RunTest("VUID-RuntimeSpirv-OpCooperativeVectorMatrixMulNV-10096",
R"(
coopvecNV<float16_t, 8> v;
coopVecLoadNV(v, b.x, 0);
coopVecMatMulAddNV(v, v, gl_ComponentTypeFloat16NV, b.x, 64, gl_ComponentTypeFloat16NV, b.x, 64, gl_ComponentTypeFloat16NV, 8, 8, gl_CooperativeVectorMatrixLayoutRowMajorNV, false, 8);
coopVecStoreNV(v, b.x, 0);
)");
}
TEST_F(NegativeGpuAVCooperativeVector, DISABLED_ReduceSumUnalignedOffset) {
RunTest("VUID-RuntimeSpirv-OpCooperativeVectorReduceSumAccumulateNV-10100",
R"(
coopvecNV<float16_t, 8> v;
coopVecLoadNV(v, b.x, 0);
coopVecReduceSumAccumulateNV(v, b.x, 8);
)");
}
TEST_F(NegativeGpuAVCooperativeVector, DISABLED_OuterProductUnalignedOffset) {
RunTest("VUID-RuntimeSpirv-OpCooperativeVectorOuterProductAccumulateNV-10101",
R"(
coopvecNV<float16_t, 8> v;
coopVecLoadNV(v, b.x, 0);
coopVecOuterProductAccumulateNV(v, v, b.x, 32, 0, gl_CooperativeVectorMatrixLayoutTrainingOptimalNV, gl_ComponentTypeFloat16NV);
)");
}
|
