blob: 82776e5885138ad0ba1af26f82a9176cdaf71445 [file] [log] [blame]
// Copyright 2020 The Tint Authors.
//
// 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 "gmock/gmock.h"
#include "src/tint/lang/spirv/reader/ast_parser/helper_test.h"
#include "src/tint/lang/spirv/reader/ast_parser/spirv_tools_helpers_test.h"
namespace tint::spirv::reader::ast_parser {
namespace {
using ::testing::ElementsAre;
using ::testing::Eq;
using ::testing::HasSubstr;
using ::testing::Not;
using ::testing::UnorderedElementsAre;
using SpvParserImportTest = SpirvASTParserTest;
TEST_F(SpvParserImportTest, Import_NoImport) {
auto p = parser(test::Assemble("%1 = OpTypeVoid"));
EXPECT_TRUE(p->BuildAndParseInternalModule());
EXPECT_TRUE(p->error().empty());
const auto program_ast = test::ToString(p->program());
EXPECT_THAT(program_ast, Not(HasSubstr("Import")));
p->DeliberatelyInvalidSpirv();
}
TEST_F(SpvParserImportTest, Import_ImportGlslStd450) {
auto p = parser(test::Assemble(R"(%1 = OpExtInstImport "GLSL.std.450")"));
EXPECT_TRUE(p->BuildAndParseInternalModule());
EXPECT_TRUE(p->error().empty());
EXPECT_THAT(p->glsl_std_450_imports(), ElementsAre(1));
p->DeliberatelyInvalidSpirv();
}
TEST_F(SpvParserImportTest, Import_NonSemantic_IgnoredImport) {
auto p = parser(test::Assemble(R"(%40 = OpExtInstImport "NonSemantic.ClspvReflection.1")"));
EXPECT_TRUE(p->BuildAndParseInternalModule());
EXPECT_TRUE(p->error().empty());
p->DeliberatelyInvalidSpirv();
}
TEST_F(SpvParserImportTest, DISABLED_Import_NonSemantic_IgnoredExtInsts) {
// TODO(crbug.com/tint/1789): The NonSemantic.ClspvReflection.1 instruction
// set grammar has changed
// but the corresponding feature in Clspv has not yet landed.
// See:
// https://github.com/KhronosGroup/SPIRV-Headers/pull/308
// https://github.com/google/clspv/pull/925
// Disable this test until upstream has settled.
// This is the clspv-compiled output of this OpenCL C:
// kernel void foo(global int*A) { A=A; }
// It emits NonSemantic.ClspvReflection.1 extended instructions.
// But *tweaked*:
// - to remove gl_WorkgroupSize
// - to add LocalSize execution mode
// - to move one of the ExtInsts into the globals-and-constants
// section
// - to move one of the ExtInsts into the function body.
auto p = parser(test::Assemble(R"(
OpCapability Shader
OpExtension "SPV_KHR_storage_buffer_storage_class"
OpExtension "SPV_KHR_non_semantic_info"
%20 = OpExtInstImport "NonSemantic.ClspvReflection.1"
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %15 "foo"
OpExecutionMode %15 LocalSize 1 1 1
OpSource OpenCL_C 120
%21 = OpString "foo"
%23 = OpString "A"
OpDecorate %_runtimearr_uint ArrayStride 4
OpMemberDecorate %_struct_3 0 Offset 0
OpDecorate %_struct_3 Block
OpDecorate %12 DescriptorSet 0
OpDecorate %12 Binding 0
OpDecorate %7 SpecId 0
OpDecorate %8 SpecId 1
OpDecorate %9 SpecId 2
%void = OpTypeVoid
%24 = OpExtInst %void %20 ArgumentInfo %23
%uint = OpTypeInt 32 0
%_runtimearr_uint = OpTypeRuntimeArray %uint
%_struct_3 = OpTypeStruct %_runtimearr_uint
%_ptr_StorageBuffer__struct_3 = OpTypePointer StorageBuffer %_struct_3
%v3uint = OpTypeVector %uint 3
%_ptr_Private_v3uint = OpTypePointer Private %v3uint
%7 = OpSpecConstant %uint 1
%8 = OpSpecConstant %uint 1
%9 = OpSpecConstant %uint 1
%14 = OpTypeFunction %void
%_ptr_StorageBuffer_uint = OpTypePointer StorageBuffer %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%12 = OpVariable %_ptr_StorageBuffer__struct_3 StorageBuffer
%15 = OpFunction %void Const %14
%16 = OpLabel
%19 = OpAccessChain %_ptr_StorageBuffer_uint %12 %uint_0 %uint_0
%22 = OpExtInst %void %20 Kernel %15 %21
OpReturn
OpFunctionEnd
%25 = OpExtInst %void %20 ArgumentStorageBuffer %22 %uint_0 %uint_0 %uint_0 %24
%28 = OpExtInst %void %20 SpecConstantWorkgroupSize %uint_0 %uint_1 %uint_2
)"));
EXPECT_TRUE(p->BuildAndParseInternalModule());
EXPECT_TRUE(p->error().empty());
p->SkipDumpingPending("crbug.com/tint/1041 track access mode in spirv-reader parser type");
}
// TODO(dneto): We don't currently support other kinds of extended instruction
// imports.
} // namespace
} // namespace tint::spirv::reader::ast_parser