mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-12-27 02:10:15 +00:00
b6ccd0d891
Users always want to run all the checks. The spv_validate_options_t mechanism, which provides little benefits to users, complicates the internal implementation and also makes the tests exercise different paths as users do. Right now the tests are more like integration tests instead of unit tests, which should be our next refactoring aim.
980 lines
37 KiB
C++
980 lines
37 KiB
C++
// Copyright (c) 2015-2016 The Khronos Group Inc.
|
|
//
|
|
// Permission is hereby granted, free of charge, to any person obtaining a
|
|
// copy of this software and/or associated documentation files (the
|
|
// "Materials"), to deal in the Materials without restriction, including
|
|
// without limitation the rights to use, copy, modify, merge, publish,
|
|
// distribute, sublicense, and/or sell copies of the Materials, and to
|
|
// permit persons to whom the Materials are furnished to do so, subject to
|
|
// the following conditions:
|
|
//
|
|
// The above copyright notice and this permission notice shall be included
|
|
// in all copies or substantial portions of the Materials.
|
|
//
|
|
// MODIFICATIONS TO THIS FILE MAY MEAN IT NO LONGER ACCURATELY REFLECTS
|
|
// KHRONOS STANDARDS. THE UNMODIFIED, NORMATIVE VERSIONS OF KHRONOS
|
|
// SPECIFICATIONS AND HEADER INFORMATION ARE LOCATED AT
|
|
// https://www.khronos.org/registry/
|
|
//
|
|
// THE MATERIALS ARE PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
|
|
// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
|
|
// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
|
|
// IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
|
|
// CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
|
|
// TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
|
|
// MATERIALS OR THE USE OR OTHER DEALINGS IN THE MATERIALS.
|
|
|
|
// Validation tests for Logical Layout
|
|
|
|
#include <gmock/gmock.h>
|
|
#include "UnitSPIRV.h"
|
|
#include "ValidateFixtures.h"
|
|
|
|
#include <sstream>
|
|
#include <string>
|
|
#include <tuple>
|
|
#include <utility>
|
|
|
|
namespace {
|
|
|
|
using std::pair;
|
|
using std::make_pair;
|
|
using std::stringstream;
|
|
using std::string;
|
|
using std::tuple;
|
|
using std::vector;
|
|
|
|
using testing::Combine;
|
|
using testing::Values;
|
|
using testing::ValuesIn;
|
|
|
|
using ValidateCapability =
|
|
spvtest::ValidateBase<tuple<string, pair<string, vector<string>>>>;
|
|
|
|
TEST_F(ValidateCapability, Default) {
|
|
const char str[] = R"(
|
|
OpCapability Kernel
|
|
OpCapability Matrix
|
|
OpMemoryModel Logical OpenCL
|
|
%intt = OpTypeInt 32 1
|
|
%vec3 = OpTypeVector %intt 3
|
|
%mat33 = OpTypeMatrix %vec3 3
|
|
)";
|
|
|
|
CompileSuccessfully(str);
|
|
ASSERT_EQ(SPV_SUCCESS, ValidateInstructions());
|
|
}
|
|
|
|
// clang-format off
|
|
const vector<string>& AllCapabilities() {
|
|
static const auto r = new vector<string>{
|
|
"",
|
|
"Matrix",
|
|
"Shader",
|
|
"Geometry",
|
|
"Tessellation",
|
|
"Addresses",
|
|
"Linkage",
|
|
"Kernel",
|
|
"Vector16",
|
|
"Float16Buffer",
|
|
"Float16",
|
|
"Float64",
|
|
"Int64",
|
|
"Int64Atomics",
|
|
"ImageBasic",
|
|
"ImageReadWrite",
|
|
"ImageMipmap",
|
|
"Pipes",
|
|
"Groups",
|
|
"DeviceEnqueue",
|
|
"LiteralSampler",
|
|
"AtomicStorage",
|
|
"Int16",
|
|
"TessellationPointSize",
|
|
"GeometryPointSize",
|
|
"ImageGatherExtended",
|
|
"StorageImageMultisample",
|
|
"UniformBufferArrayDynamicIndexing",
|
|
"SampledImageArrayDynamicIndexing",
|
|
"StorageBufferArrayDynamicIndexing",
|
|
"StorageImageArrayDynamicIndexing",
|
|
"ClipDistance",
|
|
"CullDistance",
|
|
"ImageCubeArray",
|
|
"SampleRateShading",
|
|
"ImageRect",
|
|
"SampledRect",
|
|
"GenericPointer",
|
|
"Int8",
|
|
"InputAttachment",
|
|
"SparseResidency",
|
|
"MinLod",
|
|
"Sampled1D",
|
|
"Image1D",
|
|
"SampledCubeArray",
|
|
"SampledBuffer",
|
|
"ImageBuffer",
|
|
"ImageMSArray",
|
|
"StorageImageExtendedFormats",
|
|
"ImageQuery",
|
|
"DerivativeControl",
|
|
"InterpolationFunction",
|
|
"TransformFeedback",
|
|
"GeometryStreams",
|
|
"StorageImageReadWithoutFormat",
|
|
"StorageImageWriteWithoutFormat",
|
|
"MultiViewport"};
|
|
return *r;
|
|
}
|
|
|
|
const vector<string>& MatrixDependencies() {
|
|
static const auto r = new vector<string>{
|
|
"Matrix",
|
|
"Shader",
|
|
"Geometry",
|
|
"Tessellation",
|
|
"AtomicStorage",
|
|
"TessellationPointSize",
|
|
"GeometryPointSize",
|
|
"ImageGatherExtended",
|
|
"StorageImageMultisample",
|
|
"UniformBufferArrayDynamicIndexing",
|
|
"SampledImageArrayDynamicIndexing",
|
|
"StorageBufferArrayDynamicIndexing",
|
|
"StorageImageArrayDynamicIndexing",
|
|
"ClipDistance",
|
|
"CullDistance",
|
|
"ImageCubeArray",
|
|
"SampleRateShading",
|
|
"ImageRect",
|
|
"SampledRect",
|
|
"InputAttachment",
|
|
"SparseResidency",
|
|
"MinLod",
|
|
"Sampled1D",
|
|
"Image1D",
|
|
"SampledCubeArray",
|
|
"SampledBuffer",
|
|
"ImageMSArray",
|
|
"ImageBuffer",
|
|
"StorageImageExtendedFormats",
|
|
"ImageQuery",
|
|
"DerivativeControl",
|
|
"InterpolationFunction",
|
|
"TransformFeedback",
|
|
"GeometryStreams",
|
|
"StorageImageReadWithoutFormat",
|
|
"StorageImageWriteWithoutFormat",
|
|
"MultiViewport"};
|
|
return *r;
|
|
}
|
|
|
|
const vector<string>& ShaderDependencies() {
|
|
static const auto r = new vector<string>{
|
|
"Shader",
|
|
"Geometry",
|
|
"Tessellation",
|
|
"AtomicStorage",
|
|
"TessellationPointSize",
|
|
"GeometryPointSize",
|
|
"ImageGatherExtended",
|
|
"StorageImageMultisample",
|
|
"UniformBufferArrayDynamicIndexing",
|
|
"SampledImageArrayDynamicIndexing",
|
|
"StorageBufferArrayDynamicIndexing",
|
|
"StorageImageArrayDynamicIndexing",
|
|
"ClipDistance",
|
|
"CullDistance",
|
|
"ImageCubeArray",
|
|
"SampleRateShading",
|
|
"ImageRect",
|
|
"SampledRect",
|
|
"InputAttachment",
|
|
"SparseResidency",
|
|
"MinLod",
|
|
"Sampled1D",
|
|
"Image1D",
|
|
"SampledCubeArray",
|
|
"SampledBuffer",
|
|
"ImageMSArray",
|
|
"ImageBuffer",
|
|
"StorageImageExtendedFormats",
|
|
"ImageQuery",
|
|
"DerivativeControl",
|
|
"InterpolationFunction",
|
|
"TransformFeedback",
|
|
"GeometryStreams",
|
|
"StorageImageReadWithoutFormat",
|
|
"StorageImageWriteWithoutFormat",
|
|
"MultiViewport"};
|
|
return *r;
|
|
}
|
|
|
|
const vector<string>& TessellationDependencies() {
|
|
static const auto r = new vector<string>{
|
|
"Tessellation",
|
|
"TessellationPointSize"};
|
|
return *r;
|
|
}
|
|
|
|
const vector<string>& GeometryDependencies() {
|
|
static const auto r = new vector<string>{
|
|
"Geometry",
|
|
"GeometryPointSize",
|
|
"GeometryStreams",
|
|
"MultiViewport"};
|
|
return *r;
|
|
}
|
|
|
|
const vector<string>& GeometryTessellationDependencies() {
|
|
static const auto r = new vector<string>{
|
|
"Tessellation",
|
|
"TessellationPointSize",
|
|
"Geometry",
|
|
"GeometryPointSize",
|
|
"GeometryStreams",
|
|
"MultiViewport"};
|
|
return *r;
|
|
}
|
|
|
|
// Returns the names of capabilities that directly depend on Kernel,
|
|
// plus itself.
|
|
const vector<string>& KernelDependencies() {
|
|
static const auto r = new vector<string>{
|
|
"Kernel",
|
|
"Vector16",
|
|
"Float16Buffer",
|
|
"ImageBasic",
|
|
"ImageReadWrite",
|
|
"ImageMipmap",
|
|
"Pipes",
|
|
"DeviceEnqueue",
|
|
"LiteralSampler",
|
|
"Int8"};
|
|
return *r;
|
|
}
|
|
|
|
const vector<string>& AddressesDependencies() {
|
|
static const auto r = new vector<string>{
|
|
"Addresses",
|
|
"GenericPointer"};
|
|
return *r;
|
|
}
|
|
|
|
const vector<string>& Sampled1DDependencies() {
|
|
static const auto r = new vector<string>{
|
|
"Sampled1D",
|
|
"Image1D"};
|
|
return *r;
|
|
}
|
|
|
|
const vector<string>& SampledRectDependencies() {
|
|
static const auto r = new vector<string>{
|
|
"SampledRect",
|
|
"ImageRect"};
|
|
return *r;
|
|
}
|
|
|
|
const vector<string>& SampledBufferDependencies() {
|
|
static const auto r = new vector<string>{
|
|
"SampledBuffer",
|
|
"ImageBuffer"};
|
|
return *r;
|
|
}
|
|
|
|
const char kOpenCLMemoryModel[] = \
|
|
" OpCapability Kernel"
|
|
" OpMemoryModel Logical OpenCL ";
|
|
|
|
const char kGLSL450MemoryModel[] = \
|
|
" OpCapability Shader"
|
|
" OpMemoryModel Logical GLSL450 ";
|
|
|
|
const char kVoidFVoid[] = \
|
|
" %void = OpTypeVoid"
|
|
" %void_f = OpTypeFunction %void"
|
|
" %func = OpFunction %void None %void_f"
|
|
" %label = OpLabel"
|
|
" OpReturn"
|
|
" OpFunctionEnd ";
|
|
|
|
INSTANTIATE_TEST_CASE_P(ExecutionModel, ValidateCapability,
|
|
Combine(
|
|
ValuesIn(AllCapabilities()),
|
|
Values(
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
" OpEntryPoint Vertex %func \"shader\"" +
|
|
string(kVoidFVoid), ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
" OpEntryPoint TessellationControl %func \"shader\"" +
|
|
string(kVoidFVoid), TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
" OpEntryPoint TessellationEvaluation %func \"shader\"" +
|
|
string(kVoidFVoid), TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
" OpEntryPoint Geometry %func \"shader\"" +
|
|
string(kVoidFVoid), GeometryDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
" OpEntryPoint Fragment %func \"shader\"" +
|
|
string(kVoidFVoid), ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
" OpEntryPoint GLCompute %func \"shader\"" +
|
|
string(kVoidFVoid), ShaderDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
" OpEntryPoint Kernel %func \"shader\"" +
|
|
string(kVoidFVoid), KernelDependencies())
|
|
)));
|
|
|
|
INSTANTIATE_TEST_CASE_P(AddressingAndMemoryModel, ValidateCapability,
|
|
Combine(
|
|
ValuesIn(AllCapabilities()),
|
|
Values(
|
|
make_pair(" OpCapability Shader"
|
|
" OpMemoryModel Logical Simple", AllCapabilities()),
|
|
make_pair(" OpCapability Shader"
|
|
" OpMemoryModel Logical GLSL450", AllCapabilities()),
|
|
make_pair(" OpCapability Kernel"
|
|
" OpMemoryModel Logical OpenCL", AllCapabilities()),
|
|
make_pair(" OpCapability Shader"
|
|
" OpMemoryModel Physical32 Simple", AddressesDependencies()),
|
|
make_pair(" OpCapability Shader"
|
|
" OpMemoryModel Physical32 GLSL450", AddressesDependencies()),
|
|
make_pair(" OpCapability Kernel"
|
|
" OpMemoryModel Physical32 OpenCL", AddressesDependencies()),
|
|
make_pair(" OpCapability Shader"
|
|
" OpMemoryModel Physical64 Simple", AddressesDependencies()),
|
|
make_pair(" OpCapability Shader"
|
|
" OpMemoryModel Physical64 GLSL450", AddressesDependencies()),
|
|
make_pair(" OpCapability Kernel"
|
|
" OpMemoryModel Physical64 OpenCL", AddressesDependencies())
|
|
)));
|
|
|
|
INSTANTIATE_TEST_CASE_P(ExecutionMode, ValidateCapability,
|
|
Combine(
|
|
ValuesIn(AllCapabilities()),
|
|
Values(
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Geometry %func \"shader\" "
|
|
"OpExecutionMode %func Invocations 42" +
|
|
string(kVoidFVoid), GeometryDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint TessellationControl %func \"shader\" "
|
|
"OpExecutionMode %func SpacingEqual" +
|
|
string(kVoidFVoid), TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint TessellationControl %func \"shader\" "
|
|
"OpExecutionMode %func SpacingFractionalEven" +
|
|
string(kVoidFVoid), TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint TessellationControl %func \"shader\" "
|
|
"OpExecutionMode %func SpacingFractionalOdd" +
|
|
string(kVoidFVoid), TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint TessellationControl %func \"shader\" "
|
|
"OpExecutionMode %func VertexOrderCw" +
|
|
string(kVoidFVoid), TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint TessellationControl %func \"shader\" "
|
|
"OpExecutionMode %func VertexOrderCcw" +
|
|
string(kVoidFVoid), TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Vertex %func \"shader\" "
|
|
"OpExecutionMode %func PixelCenterInteger" +
|
|
string(kVoidFVoid), ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Vertex %func \"shader\" "
|
|
"OpExecutionMode %func OriginUpperLeft" +
|
|
string(kVoidFVoid), ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Vertex %func \"shader\" "
|
|
"OpExecutionMode %func OriginLowerLeft" +
|
|
string(kVoidFVoid), ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Vertex %func \"shader\" "
|
|
"OpExecutionMode %func EarlyFragmentTests" +
|
|
string(kVoidFVoid), ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint TessellationControl %func \"shader\" "
|
|
"OpExecutionMode %func PointMode" +
|
|
string(kVoidFVoid), TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Vertex %func \"shader\" "
|
|
"OpExecutionMode %func Xfb" +
|
|
string(kVoidFVoid), vector<string>{"TransformFeedback"}),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Vertex %func \"shader\" "
|
|
"OpExecutionMode %func DepthReplacing" +
|
|
string(kVoidFVoid), ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Vertex %func \"shader\" "
|
|
"OpExecutionMode %func DepthGreater" +
|
|
string(kVoidFVoid), ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Vertex %func \"shader\" "
|
|
"OpExecutionMode %func DepthLess" +
|
|
string(kVoidFVoid), ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Vertex %func \"shader\" "
|
|
"OpExecutionMode %func DepthUnchanged" +
|
|
string(kVoidFVoid), ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Kernel %func \"shader\" "
|
|
"OpExecutionMode %func LocalSize 42 42 42" +
|
|
string(kVoidFVoid), AllCapabilities()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpEntryPoint Kernel %func \"shader\" "
|
|
"OpExecutionMode %func LocalSizeHint 42 42 42" +
|
|
string(kVoidFVoid), KernelDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Geometry %func \"shader\" "
|
|
"OpExecutionMode %func InputPoints" +
|
|
string(kVoidFVoid), GeometryDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Geometry %func \"shader\" "
|
|
"OpExecutionMode %func InputLines" +
|
|
string(kVoidFVoid), GeometryDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Geometry %func \"shader\" "
|
|
"OpExecutionMode %func InputLinesAdjacency" +
|
|
string(kVoidFVoid), GeometryDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Geometry %func \"shader\" "
|
|
"OpExecutionMode %func Triangles" +
|
|
string(kVoidFVoid), GeometryDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint TessellationControl %func \"shader\" "
|
|
"OpExecutionMode %func Triangles" +
|
|
string(kVoidFVoid), TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Geometry %func \"shader\" "
|
|
"OpExecutionMode %func InputTrianglesAdjacency" +
|
|
string(kVoidFVoid), GeometryDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint TessellationControl %func \"shader\" "
|
|
"OpExecutionMode %func Quads" +
|
|
string(kVoidFVoid), TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint TessellationControl %func \"shader\" "
|
|
"OpExecutionMode %func Isolines" +
|
|
string(kVoidFVoid), TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Geometry %func \"shader\" "
|
|
"OpExecutionMode %func OutputVertices 42" +
|
|
string(kVoidFVoid), GeometryDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint TessellationControl %func \"shader\" "
|
|
"OpExecutionMode %func OutputVertices 42" +
|
|
string(kVoidFVoid), TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Geometry %func \"shader\" "
|
|
"OpExecutionMode %func OutputPoints" +
|
|
string(kVoidFVoid), GeometryDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Geometry %func \"shader\" "
|
|
"OpExecutionMode %func OutputLineStrip" +
|
|
string(kVoidFVoid), GeometryDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpEntryPoint Geometry %func \"shader\" "
|
|
"OpExecutionMode %func OutputTriangleStrip" +
|
|
string(kVoidFVoid), GeometryDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpEntryPoint Kernel %func \"shader\" "
|
|
"OpExecutionMode %func VecTypeHint 2" +
|
|
string(kVoidFVoid), KernelDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpEntryPoint Kernel %func \"shader\" "
|
|
"OpExecutionMode %func ContractionOff" +
|
|
string(kVoidFVoid), KernelDependencies())
|
|
)));
|
|
|
|
INSTANTIATE_TEST_CASE_P(StorageClass, ValidateCapability,
|
|
Combine(
|
|
ValuesIn(AllCapabilities()),
|
|
Values(
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
" %intt = OpTypeInt 32 0\n"
|
|
" %ptrt = OpTypePointer UniformConstant %intt\n"
|
|
" %var = OpVariable %ptrt UniformConstant\n", AllCapabilities()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
" %intt = OpTypeInt 32 0\n"
|
|
" %ptrt = OpTypePointer Input %intt"
|
|
" %var = OpVariable %ptrt Input\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
" %intt = OpTypeInt 32 0\n"
|
|
" %ptrt = OpTypePointer Uniform %intt\n"
|
|
" %var = OpVariable %ptrt Uniform\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
" %intt = OpTypeInt 32 0\n"
|
|
" %ptrt = OpTypePointer Output %intt\n"
|
|
" %var = OpVariable %ptrt Output\n", ShaderDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
" %intt = OpTypeInt 32 0\n"
|
|
" %ptrt = OpTypePointer Workgroup %intt\n"
|
|
" %var = OpVariable %ptrt Workgroup\n", AllCapabilities()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
" %intt = OpTypeInt 32 0\n"
|
|
" %ptrt = OpTypePointer CrossWorkgroup %intt\n"
|
|
" %var = OpVariable %ptrt CrossWorkgroup\n", AllCapabilities()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
" %intt = OpTypeInt 32 0\n"
|
|
" %ptrt = OpTypePointer Private %intt\n"
|
|
" %var = OpVariable %ptrt Private\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
" %intt = OpTypeInt 32 0\n"
|
|
" %ptrt = OpTypePointer PushConstant %intt\n"
|
|
" %var = OpVariable %ptrt PushConstant\n", ShaderDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
" %intt = OpTypeInt 32 0\n"
|
|
" %ptrt = OpTypePointer AtomicCounter %intt\n"
|
|
" %var = OpVariable %ptrt AtomicCounter\n", vector<string>{"AtomicStorage"}),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
" %intt = OpTypeInt 32 0\n"
|
|
" %ptrt = OpTypePointer Image %intt\n"
|
|
" %var = OpVariable %ptrt Image\n", AllCapabilities())
|
|
)));
|
|
|
|
INSTANTIATE_TEST_CASE_P(Dim, ValidateCapability,
|
|
Combine(
|
|
ValuesIn(AllCapabilities()),
|
|
Values(
|
|
make_pair(" OpCapability ImageBasic" +
|
|
string(kOpenCLMemoryModel) +
|
|
" %voidt = OpTypeVoid"
|
|
" %imgt = OpTypeImage %voidt 1D 0 0 0 0 Unknown",
|
|
Sampled1DDependencies()),
|
|
make_pair(" OpCapability ImageBasic" +
|
|
string(kOpenCLMemoryModel) +
|
|
" %voidt = OpTypeVoid"
|
|
" %imgt = OpTypeImage %voidt 2D 0 0 0 0 Unknown",
|
|
AllCapabilities()),
|
|
make_pair(" OpCapability ImageBasic" +
|
|
string(kOpenCLMemoryModel) +
|
|
" %voidt = OpTypeVoid"
|
|
" %imgt = OpTypeImage %voidt 3D 0 0 0 0 Unknown",
|
|
AllCapabilities()),
|
|
make_pair(" OpCapability ImageBasic" +
|
|
string(kOpenCLMemoryModel) +
|
|
" %voidt = OpTypeVoid"
|
|
" %imgt = OpTypeImage %voidt Cube 0 0 0 0 Unknown",
|
|
ShaderDependencies()),
|
|
make_pair(" OpCapability ImageBasic" +
|
|
string(kOpenCLMemoryModel) +
|
|
" %voidt = OpTypeVoid"
|
|
" %imgt = OpTypeImage %voidt Rect 0 0 0 0 Unknown",
|
|
SampledRectDependencies()),
|
|
make_pair(" OpCapability ImageBasic" +
|
|
string(kOpenCLMemoryModel) +
|
|
" %voidt = OpTypeVoid"
|
|
" %imgt = OpTypeImage %voidt Buffer 0 0 0 0 Unknown",
|
|
SampledBufferDependencies()),
|
|
make_pair(" OpCapability ImageBasic" +
|
|
string(kOpenCLMemoryModel) +
|
|
" %voidt = OpTypeVoid"
|
|
" %imgt = OpTypeImage %voidt SubpassData 0 0 0 2 Unknown",
|
|
vector<string>{"InputAttachment"})
|
|
)));
|
|
|
|
// NOTE: All Sampler Address Modes require kernel capabilities but the
|
|
// OpConstantSampler requires LiteralSampler which depends on Kernel
|
|
INSTANTIATE_TEST_CASE_P(SamplerAddressingMode, ValidateCapability,
|
|
Combine(
|
|
ValuesIn(AllCapabilities()),
|
|
Values(
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
" %samplert = OpTypeSampler"
|
|
" %sampler = OpConstantSampler %samplert None 1 Nearest",
|
|
vector<string>{"LiteralSampler"}),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
" %samplert = OpTypeSampler"
|
|
" %sampler = OpConstantSampler %samplert ClampToEdge 1 Nearest",
|
|
vector<string>{"LiteralSampler"}),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
" %samplert = OpTypeSampler"
|
|
" %sampler = OpConstantSampler %samplert Clamp 1 Nearest",
|
|
vector<string>{"LiteralSampler"}),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
" %samplert = OpTypeSampler"
|
|
" %sampler = OpConstantSampler %samplert Repeat 1 Nearest",
|
|
vector<string>{"LiteralSampler"}),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
" %samplert = OpTypeSampler"
|
|
" %sampler = OpConstantSampler %samplert RepeatMirrored 1 Nearest",
|
|
vector<string>{"LiteralSampler"})
|
|
)));
|
|
|
|
//TODO(umar): Sampler Filter Mode
|
|
//TODO(umar): Image Format
|
|
//TODO(umar): Image Channel Order
|
|
//TODO(umar): Image Channel Data Type
|
|
//TODO(umar): Image Operands
|
|
//TODO(umar): FP Fast Math Mode
|
|
//TODO(umar): FP Rounding Mode
|
|
//TODO(umar): Linkage Type
|
|
//TODO(umar): Access Qualifier
|
|
//TODO(umar): Function Parameter Attribute
|
|
|
|
INSTANTIATE_TEST_CASE_P(Decoration, ValidateCapability,
|
|
Combine(
|
|
ValuesIn(AllCapabilities()),
|
|
Values(
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt RelaxedPrecision\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt SpecId 1\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Block\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BufferBlock\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt RowMajor\n"
|
|
"%intt = OpTypeInt 32 1\n", MatrixDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt ColMajor\n"
|
|
"%intt = OpTypeInt 32 1\n", MatrixDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt ArrayStride 1\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt MatrixStride 1\n"
|
|
"%intt = OpTypeInt 32 1\n", MatrixDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt GLSLShared\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt GLSLPacked\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt CPacked\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt NoPerspective\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Flat\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Patch\n"
|
|
"%intt = OpTypeInt 32 1\n", TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Centroid\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Sample\n"
|
|
"%intt = OpTypeInt 32 1\n", vector<string>{"SampleRateShading"}),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Invariant\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Restrict\n"
|
|
"%intt = OpTypeInt 32 1\n", AllCapabilities()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Aliased\n"
|
|
"%intt = OpTypeInt 32 1\n", AllCapabilities()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Volatile\n"
|
|
"%intt = OpTypeInt 32 1\n", AllCapabilities()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt Constant\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Coherent\n"
|
|
"%intt = OpTypeInt 32 1\n", AllCapabilities()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt NonWritable\n"
|
|
"%intt = OpTypeInt 32 1\n", AllCapabilities()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt NonReadable\n"
|
|
"%intt = OpTypeInt 32 1\n", AllCapabilities()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Uniform\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt SaturatedConversion\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Stream 0\n"
|
|
"%intt = OpTypeInt 32 1\n", vector<string>{"GeometryStreams"}),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Location 0\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Component 0\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Index 0\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Binding 0\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt DescriptorSet 0\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt Offset 0\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt XfbBuffer 0\n"
|
|
"%intt = OpTypeInt 32 1\n", vector<string>{"TransformFeedback"}),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt XfbStride 0\n"
|
|
"%intt = OpTypeInt 32 1\n", vector<string>{"TransformFeedback"}),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt FuncParamAttr Zext\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt FPRoundingMode RTE\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt FPFastMathMode Fast\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt LinkageAttributes \"other\" Import\n"
|
|
"%intt = OpTypeInt 32 1\n", vector<string>{"Linkage"}),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt NoContraction\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt InputAttachmentIndex 0\n"
|
|
"%intt = OpTypeInt 32 1\n", vector<string>{"InputAttachment"}),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt Alignment 4\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies())
|
|
)));
|
|
|
|
|
|
INSTANTIATE_TEST_CASE_P(BuiltIn, ValidateCapability,
|
|
Combine(
|
|
ValuesIn(AllCapabilities()),
|
|
Values(
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn Position\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn PointSize\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn ClipDistance\n"
|
|
"%intt = OpTypeInt 32 1\n", vector<string>{"ClipDistance"}),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn CullDistance\n"
|
|
"%intt = OpTypeInt 32 1\n", vector<string>{"CullDistance"}),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn VertexId\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn InstanceId\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn PrimitiveId\n"
|
|
"%intt = OpTypeInt 32 1\n", GeometryTessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn InvocationId\n"
|
|
"%intt = OpTypeInt 32 1\n", GeometryTessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn Layer\n"
|
|
"%intt = OpTypeInt 32 1\n", GeometryDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn ViewportIndex\n"
|
|
"%intt = OpTypeInt 32 1\n", vector<string>{"MultiViewport"}),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn TessLevelOuter\n"
|
|
"%intt = OpTypeInt 32 1\n", TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn TessLevelInner\n"
|
|
"%intt = OpTypeInt 32 1\n", TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn TessCoord\n"
|
|
"%intt = OpTypeInt 32 1\n", TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn PatchVertices\n"
|
|
"%intt = OpTypeInt 32 1\n", TessellationDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn FragCoord\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn PointCoord\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn FrontFacing\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn SampleId\n"
|
|
"%intt = OpTypeInt 32 1\n", vector<string>{"SampleRateShading"}),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn SamplePosition\n"
|
|
"%intt = OpTypeInt 32 1\n", vector<string>{"SampleRateShading"}),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn SampleMask\n"
|
|
"%intt = OpTypeInt 32 1\n", vector<string>{"SampleRateShading"}),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn FragDepth\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn HelperInvocation\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn VertexIndex\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn InstanceIndex\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn NumWorkgroups\n"
|
|
"%intt = OpTypeInt 32 1\n", AllCapabilities()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn WorkgroupSize\n"
|
|
"%intt = OpTypeInt 32 1\n", AllCapabilities()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn WorkgroupId\n"
|
|
"%intt = OpTypeInt 32 1\n", AllCapabilities()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn LocalInvocationId\n"
|
|
"%intt = OpTypeInt 32 1\n", AllCapabilities()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn GlobalInvocationId\n"
|
|
"%intt = OpTypeInt 32 1\n", AllCapabilities()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn LocalInvocationIndex\n"
|
|
"%intt = OpTypeInt 32 1\n", AllCapabilities()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt BuiltIn WorkDim\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt BuiltIn GlobalSize\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt BuiltIn EnqueuedWorkgroupSize\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt BuiltIn GlobalOffset\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt BuiltIn GlobalLinearId\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt BuiltIn SubgroupSize\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt BuiltIn SubgroupMaxSize\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt BuiltIn NumSubgroups\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt BuiltIn NumEnqueuedSubgroups\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt BuiltIn SubgroupId\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kGLSL450MemoryModel) +
|
|
"OpDecorate %intt BuiltIn SubgroupLocalInvocationId\n"
|
|
"%intt = OpTypeInt 32 1\n", KernelDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn VertexIndex\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies()),
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"OpDecorate %intt BuiltIn InstanceIndex\n"
|
|
"%intt = OpTypeInt 32 1\n", ShaderDependencies())
|
|
)));
|
|
|
|
// TODO(umar): Selection Control
|
|
// TODO(umar): Loop Control
|
|
// TODO(umar): Function Control
|
|
// TODO(umar): Memory Semantics
|
|
// TODO(umar): Memory Access
|
|
// TODO(umar): Scope
|
|
// TODO(umar): Group Operation
|
|
// TODO(umar): Kernel Enqueue Flags
|
|
// TODO(umar): Kernel Profiling Flags
|
|
|
|
INSTANTIATE_TEST_CASE_P(MatrixOp, ValidateCapability,
|
|
Combine(
|
|
ValuesIn(AllCapabilities()),
|
|
Values(
|
|
make_pair(string(kOpenCLMemoryModel) +
|
|
"%intt = OpTypeInt 32 1\n"
|
|
"%vec3 = OpTypeVector %intt 3\n"
|
|
"%mat33 = OpTypeMatrix %vec3 3\n", MatrixDependencies()))));
|
|
// clang-format on
|
|
|
|
// Creates assembly containing an OpImageFetch instruction using operands for
|
|
// the image-operands part. The assembly defines constants %fzero and %izero
|
|
// that can be used for operands where IDs are required. The assembly is valid,
|
|
// apart from not declaring any capabilities required by the operands.
|
|
string ImageOperandsTemplate(const string& operands) {
|
|
stringstream ss;
|
|
// clang-format off
|
|
ss << R"(
|
|
OpCapability Kernel
|
|
OpMemoryModel Logical OpenCL
|
|
|
|
%i32 = OpTypeInt 32 1
|
|
%f32 = OpTypeFloat 32
|
|
%v4i32 = OpTypeVector %i32 4
|
|
%timg = OpTypeImage %i32 2D 0 0 0 0 Unknown
|
|
%pimg = OpTypePointer UniformConstant %timg
|
|
%tfun = OpTypeFunction %i32
|
|
|
|
%vimg = OpVariable %pimg UniformConstant
|
|
%izero = OpConstant %i32 0
|
|
%fzero = OpConstant %f32 0.
|
|
|
|
%main = OpFunction %i32 None %tfun
|
|
%lbl = OpLabel
|
|
%img = OpLoad %timg %vimg
|
|
%r1 = OpImageFetch %v4i32 %img %izero )" << operands << R"(
|
|
OpReturnValue %izero
|
|
OpFunctionEnd
|
|
)";
|
|
// clang-format on
|
|
return ss.str();
|
|
}
|
|
|
|
INSTANTIATE_TEST_CASE_P(
|
|
TwoImageOperandsMask, ValidateCapability,
|
|
Combine(
|
|
ValuesIn(AllCapabilities()),
|
|
Values(make_pair(ImageOperandsTemplate("Bias|Lod %fzero %fzero"),
|
|
ShaderDependencies()),
|
|
make_pair(ImageOperandsTemplate("Lod|Offset %fzero %izero"),
|
|
vector<string>{"ImageGatherExtended"}),
|
|
make_pair(ImageOperandsTemplate("Sample|MinLod %izero %fzero"),
|
|
vector<string>{"MinLod"}),
|
|
make_pair(ImageOperandsTemplate("Lod|Sample %fzero %izero"),
|
|
AllCapabilities()))));
|
|
|
|
// TODO(umar): Instruction capability checks
|
|
|
|
TEST_P(ValidateCapability, Capability) {
|
|
string capability;
|
|
pair<string, vector<string>> operation;
|
|
std::tie(capability, operation) = GetParam();
|
|
stringstream ss;
|
|
if (!capability.empty()) {
|
|
ss << "OpCapability " + capability + " ";
|
|
}
|
|
|
|
ss << operation.first;
|
|
|
|
spv_result_t res = SPV_ERROR_INTERNAL;
|
|
auto& valid_capabilities = operation.second;
|
|
|
|
auto it =
|
|
find(begin(valid_capabilities), end(valid_capabilities), capability);
|
|
if (it != end(valid_capabilities)) {
|
|
res = SPV_SUCCESS;
|
|
} else {
|
|
res = SPV_ERROR_INVALID_CAPABILITY;
|
|
}
|
|
|
|
CompileSuccessfully(ss.str());
|
|
ASSERT_EQ(res, ValidateInstructions()) << ss.str();
|
|
}
|
|
|
|
} // namespace anonymous
|