123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404 |
- // Copyright (c) 2017 Pierre Moreau
- //
- // 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 "gmock/gmock.h"
- #include "test/link/linker_fixture.h"
- namespace spvtools {
- namespace {
- using ::testing::HasSubstr;
- using MatchingImportsToExports = spvtest::LinkerTest;
- TEST_F(MatchingImportsToExports, Default) {
- const std::string body1 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Import
- %2 = OpTypeFloat 32
- %1 = OpVariable %2 Uniform
- %3 = OpVariable %2 Input
- )";
- const std::string body2 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Export
- %2 = OpTypeFloat 32
- %3 = OpConstant %2 42
- %1 = OpVariable %2 Uniform %3
- )";
- spvtest::Binary linked_binary;
- EXPECT_EQ(SPV_SUCCESS, AssembleAndLink({body1, body2}, &linked_binary))
- << GetErrorMessage();
- const std::string expected_res =
- R"(OpModuleProcessed "Linked by SPIR-V Tools Linker"
- %1 = OpTypeFloat 32
- %2 = OpVariable %1 Input
- %3 = OpConstant %1 42
- %4 = OpVariable %1 Uniform %3
- )";
- std::string res_body;
- SetDisassembleOptions(SPV_BINARY_TO_TEXT_OPTION_NO_HEADER);
- EXPECT_EQ(SPV_SUCCESS, Disassemble(linked_binary, &res_body))
- << GetErrorMessage();
- EXPECT_EQ(expected_res, res_body);
- }
- TEST_F(MatchingImportsToExports, NotALibraryExtraExports) {
- const std::string body = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Export
- %2 = OpTypeFloat 32
- %1 = OpVariable %2 Uniform
- )";
- spvtest::Binary linked_binary;
- EXPECT_EQ(SPV_SUCCESS, AssembleAndLink({body}, &linked_binary))
- << GetErrorMessage();
- const std::string expected_res =
- R"(OpModuleProcessed "Linked by SPIR-V Tools Linker"
- %1 = OpTypeFloat 32
- %2 = OpVariable %1 Uniform
- )";
- std::string res_body;
- SetDisassembleOptions(SPV_BINARY_TO_TEXT_OPTION_NO_HEADER);
- EXPECT_EQ(SPV_SUCCESS, Disassemble(linked_binary, &res_body))
- << GetErrorMessage();
- EXPECT_EQ(expected_res, res_body);
- }
- TEST_F(MatchingImportsToExports, LibraryExtraExports) {
- const std::string body = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Export
- %2 = OpTypeFloat 32
- %1 = OpVariable %2 Uniform
- )";
- spvtest::Binary linked_binary;
- LinkerOptions options;
- options.SetCreateLibrary(true);
- EXPECT_EQ(SPV_SUCCESS, AssembleAndLink({body}, &linked_binary, options))
- << GetErrorMessage();
- const std::string expected_res = R"(OpCapability Linkage
- OpModuleProcessed "Linked by SPIR-V Tools Linker"
- OpDecorate %1 LinkageAttributes "foo" Export
- %2 = OpTypeFloat 32
- %1 = OpVariable %2 Uniform
- )";
- std::string res_body;
- SetDisassembleOptions(SPV_BINARY_TO_TEXT_OPTION_NO_HEADER);
- EXPECT_EQ(SPV_SUCCESS, Disassemble(linked_binary, &res_body))
- << GetErrorMessage();
- EXPECT_EQ(expected_res, res_body);
- }
- TEST_F(MatchingImportsToExports, UnresolvedImports) {
- const std::string body1 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Import
- %2 = OpTypeFloat 32
- %1 = OpVariable %2 Uniform
- )";
- const std::string body2 = R"()";
- spvtest::Binary linked_binary;
- EXPECT_EQ(SPV_ERROR_INVALID_BINARY,
- AssembleAndLink({body1, body2}, &linked_binary));
- EXPECT_THAT(GetErrorMessage(),
- HasSubstr("Unresolved external reference to \"foo\"."));
- }
- TEST_F(MatchingImportsToExports, TypeMismatch) {
- const std::string body1 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Import
- %2 = OpTypeFloat 32
- %1 = OpVariable %2 Uniform
- %3 = OpVariable %2 Input
- )";
- const std::string body2 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Export
- %2 = OpTypeInt 32 0
- %3 = OpConstant %2 42
- %1 = OpVariable %2 Uniform %3
- )";
- spvtest::Binary linked_binary;
- EXPECT_EQ(SPV_ERROR_INVALID_BINARY,
- AssembleAndLink({body1, body2}, &linked_binary))
- << GetErrorMessage();
- EXPECT_THAT(
- GetErrorMessage(),
- HasSubstr("Type mismatch on symbol \"foo\" between imported "
- "variable/function %1 and exported variable/function %4"));
- }
- TEST_F(MatchingImportsToExports, MultipleDefinitions) {
- const std::string body1 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Import
- %2 = OpTypeFloat 32
- %1 = OpVariable %2 Uniform
- %3 = OpVariable %2 Input
- )";
- const std::string body2 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Export
- %2 = OpTypeFloat 32
- %3 = OpConstant %2 42
- %1 = OpVariable %2 Uniform %3
- )";
- const std::string body3 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Export
- %2 = OpTypeFloat 32
- %3 = OpConstant %2 -1
- %1 = OpVariable %2 Uniform %3
- )";
- spvtest::Binary linked_binary;
- EXPECT_EQ(SPV_ERROR_INVALID_BINARY,
- AssembleAndLink({body1, body2, body3}, &linked_binary))
- << GetErrorMessage();
- EXPECT_THAT(GetErrorMessage(),
- HasSubstr("Too many external references, 2, were found "
- "for \"foo\"."));
- }
- TEST_F(MatchingImportsToExports, SameNameDifferentTypes) {
- const std::string body1 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Import
- %2 = OpTypeFloat 32
- %1 = OpVariable %2 Uniform
- %3 = OpVariable %2 Input
- )";
- const std::string body2 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Export
- %2 = OpTypeInt 32 0
- %3 = OpConstant %2 42
- %1 = OpVariable %2 Uniform %3
- )";
- const std::string body3 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Export
- %2 = OpTypeFloat 32
- %3 = OpConstant %2 12
- %1 = OpVariable %2 Uniform %3
- )";
- spvtest::Binary linked_binary;
- EXPECT_EQ(SPV_ERROR_INVALID_BINARY,
- AssembleAndLink({body1, body2, body3}, &linked_binary))
- << GetErrorMessage();
- EXPECT_THAT(GetErrorMessage(),
- HasSubstr("Too many external references, 2, were found "
- "for \"foo\"."));
- }
- TEST_F(MatchingImportsToExports, DecorationMismatch) {
- const std::string body1 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Import
- OpDecorate %2 Constant
- %2 = OpTypeFloat 32
- %1 = OpVariable %2 Uniform
- %3 = OpVariable %2 Input
- )";
- const std::string body2 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Export
- %2 = OpTypeFloat 32
- %3 = OpConstant %2 42
- %1 = OpVariable %2 Uniform %3
- )";
- spvtest::Binary linked_binary;
- EXPECT_EQ(SPV_ERROR_INVALID_BINARY,
- AssembleAndLink({body1, body2}, &linked_binary))
- << GetErrorMessage();
- EXPECT_THAT(
- GetErrorMessage(),
- HasSubstr("Type mismatch on symbol \"foo\" between imported "
- "variable/function %1 and exported variable/function %4"));
- }
- TEST_F(MatchingImportsToExports,
- FuncParamAttrDifferButStillMatchExportToImport) {
- const std::string body1 = R"(
- OpCapability Kernel
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Import
- OpDecorate %2 FuncParamAttr Zext
- %3 = OpTypeVoid
- %4 = OpTypeInt 32 0
- %5 = OpTypeFunction %3 %4
- %1 = OpFunction %3 None %5
- %2 = OpFunctionParameter %4
- OpFunctionEnd
- )";
- const std::string body2 = R"(
- OpCapability Kernel
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Export
- OpDecorate %2 FuncParamAttr Sext
- %3 = OpTypeVoid
- %4 = OpTypeInt 32 0
- %5 = OpTypeFunction %3 %4
- %1 = OpFunction %3 None %5
- %2 = OpFunctionParameter %4
- %6 = OpLabel
- OpReturn
- OpFunctionEnd
- )";
- spvtest::Binary linked_binary;
- EXPECT_EQ(SPV_SUCCESS, AssembleAndLink({body1, body2}, &linked_binary))
- << GetErrorMessage();
- const std::string expected_res = R"(OpCapability Kernel
- OpModuleProcessed "Linked by SPIR-V Tools Linker"
- OpDecorate %1 FuncParamAttr Sext
- %2 = OpTypeVoid
- %3 = OpTypeInt 32 0
- %4 = OpTypeFunction %2 %3
- %5 = OpFunction %2 None %4
- %1 = OpFunctionParameter %3
- %6 = OpLabel
- OpReturn
- OpFunctionEnd
- )";
- std::string res_body;
- SetDisassembleOptions(SPV_BINARY_TO_TEXT_OPTION_NO_HEADER);
- EXPECT_EQ(SPV_SUCCESS, Disassemble(linked_binary, &res_body))
- << GetErrorMessage();
- EXPECT_EQ(expected_res, res_body);
- }
- TEST_F(MatchingImportsToExports, FunctionCtrl) {
- const std::string body1 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Import
- %2 = OpTypeVoid
- %3 = OpTypeFunction %2
- %4 = OpTypeFloat 32
- %5 = OpVariable %4 Uniform
- %1 = OpFunction %2 None %3
- OpFunctionEnd
- )";
- const std::string body2 = R"(
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Export
- %2 = OpTypeVoid
- %3 = OpTypeFunction %2
- %1 = OpFunction %2 Inline %3
- %4 = OpLabel
- OpReturn
- OpFunctionEnd
- )";
- spvtest::Binary linked_binary;
- EXPECT_EQ(SPV_SUCCESS, AssembleAndLink({body1, body2}, &linked_binary))
- << GetErrorMessage();
- const std::string expected_res =
- R"(OpModuleProcessed "Linked by SPIR-V Tools Linker"
- %1 = OpTypeVoid
- %2 = OpTypeFunction %1
- %3 = OpTypeFloat 32
- %4 = OpVariable %3 Uniform
- %5 = OpFunction %1 Inline %2
- %6 = OpLabel
- OpReturn
- OpFunctionEnd
- )";
- std::string res_body;
- SetDisassembleOptions(SPV_BINARY_TO_TEXT_OPTION_NO_HEADER);
- EXPECT_EQ(SPV_SUCCESS, Disassemble(linked_binary, &res_body))
- << GetErrorMessage();
- EXPECT_EQ(expected_res, res_body);
- }
- TEST_F(MatchingImportsToExports, UseExportedFuncParamAttr) {
- const std::string body1 = R"(
- OpCapability Kernel
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Import
- OpDecorate %2 FuncParamAttr Zext
- %2 = OpDecorationGroup
- OpGroupDecorate %2 %3 %4
- %5 = OpTypeVoid
- %6 = OpTypeInt 32 0
- %7 = OpTypeFunction %5 %6
- %1 = OpFunction %5 None %7
- %3 = OpFunctionParameter %6
- OpFunctionEnd
- %8 = OpFunction %5 None %7
- %4 = OpFunctionParameter %6
- OpFunctionEnd
- )";
- const std::string body2 = R"(
- OpCapability Kernel
- OpCapability Linkage
- OpDecorate %1 LinkageAttributes "foo" Export
- OpDecorate %2 FuncParamAttr Sext
- %3 = OpTypeVoid
- %4 = OpTypeInt 32 0
- %5 = OpTypeFunction %3 %4
- %1 = OpFunction %3 None %5
- %2 = OpFunctionParameter %4
- %6 = OpLabel
- OpReturn
- OpFunctionEnd
- )";
- spvtest::Binary linked_binary;
- EXPECT_EQ(SPV_SUCCESS, AssembleAndLink({body1, body2}, &linked_binary))
- << GetErrorMessage();
- const std::string expected_res = R"(OpCapability Kernel
- OpModuleProcessed "Linked by SPIR-V Tools Linker"
- OpDecorate %1 FuncParamAttr Zext
- %1 = OpDecorationGroup
- OpGroupDecorate %1 %2
- OpDecorate %3 FuncParamAttr Sext
- %4 = OpTypeVoid
- %5 = OpTypeInt 32 0
- %6 = OpTypeFunction %4 %5
- %7 = OpFunction %4 None %6
- %2 = OpFunctionParameter %5
- OpFunctionEnd
- %8 = OpFunction %4 None %6
- %3 = OpFunctionParameter %5
- %9 = OpLabel
- OpReturn
- OpFunctionEnd
- )";
- std::string res_body;
- SetDisassembleOptions(SPV_BINARY_TO_TEXT_OPTION_NO_HEADER);
- EXPECT_EQ(SPV_SUCCESS, Disassemble(linked_binary, &res_body))
- << GetErrorMessage();
- EXPECT_EQ(expected_res, res_body);
- }
- } // namespace
- } // namespace spvtools
|