| // Copyright (c) 2017 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 |
| // |
| // 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 <sstream> |
| #include <string> |
| |
| #include "gmock/gmock.h" |
| #include "unit_spirv.h" |
| #include "val_fixtures.h" |
| |
| namespace { |
| |
| using ::testing::HasSubstr; |
| using ::testing::Not; |
| |
| using ValidatePrimitives = spvtest::ValidateBase<bool>; |
| |
| std::string GenerateShaderCode( |
| const std::string& body, |
| const std::string& capabilities_and_extensions = "", |
| const std::string& execution_model = "Geometry") { |
| std::ostringstream ss; |
| ss << R"( |
| OpCapability Geometry |
| OpCapability GeometryStreams |
| )"; |
| |
| ss << capabilities_and_extensions; |
| ss << "OpMemoryModel Logical GLSL450\n"; |
| ss << "OpEntryPoint " << execution_model << " %main \"main\"\n"; |
| |
| ss << R"( |
| %void = OpTypeVoid |
| %func = OpTypeFunction %void |
| %f32 = OpTypeFloat 32 |
| %u32 = OpTypeInt 32 0 |
| %u32vec4 = OpTypeVector %u32 4 |
| |
| %f32_0 = OpConstant %f32 0 |
| %u32_0 = OpConstant %u32 0 |
| %u32_1 = OpConstant %u32 1 |
| %u32_2 = OpConstant %u32 2 |
| %u32_3 = OpConstant %u32 3 |
| %u32vec4_0123 = OpConstantComposite %u32vec4 %u32_0 %u32_1 %u32_2 %u32_3 |
| |
| %main = OpFunction %void None %func |
| %main_entry = OpLabel |
| )"; |
| |
| ss << body; |
| |
| ss << R"( |
| OpReturn |
| OpFunctionEnd)"; |
| |
| return ss.str(); |
| } |
| |
| TEST_F(ValidatePrimitives, EmitStreamVertexSuccess) { |
| const std::string body = R"( |
| OpEmitStreamVertex %u32_0 |
| )"; |
| |
| CompileSuccessfully(GenerateShaderCode(body).c_str()); |
| ASSERT_EQ(SPV_SUCCESS, ValidateInstructions()); |
| } |
| |
| TEST_F(ValidatePrimitives, EmitStreamVertexNonInt) { |
| const std::string body = R"( |
| OpEmitStreamVertex %f32_0 |
| )"; |
| |
| CompileSuccessfully(GenerateShaderCode(body).c_str()); |
| ASSERT_EQ(SPV_ERROR_INVALID_DATA, ValidateInstructions()); |
| EXPECT_THAT(getDiagnosticString(), |
| HasSubstr("EmitStreamVertex: " |
| "expected Stream to be int scalar")); |
| } |
| |
| TEST_F(ValidatePrimitives, EmitStreamVertexNonScalar) { |
| const std::string body = R"( |
| OpEmitStreamVertex %u32vec4_0123 |
| )"; |
| |
| CompileSuccessfully(GenerateShaderCode(body).c_str()); |
| ASSERT_EQ(SPV_ERROR_INVALID_DATA, ValidateInstructions()); |
| EXPECT_THAT(getDiagnosticString(), |
| HasSubstr("EmitStreamVertex: " |
| "expected Stream to be int scalar")); |
| } |
| |
| TEST_F(ValidatePrimitives, EmitStreamVertexNonConstant) { |
| const std::string body = R"( |
| %val1 = OpIAdd %u32 %u32_0 %u32_1 |
| OpEmitStreamVertex %val1 |
| )"; |
| |
| CompileSuccessfully(GenerateShaderCode(body).c_str()); |
| ASSERT_EQ(SPV_ERROR_INVALID_DATA, ValidateInstructions()); |
| EXPECT_THAT(getDiagnosticString(), |
| HasSubstr("EmitStreamVertex: " |
| "expected Stream to be constant instruction")); |
| } |
| |
| TEST_F(ValidatePrimitives, EndStreamPrimitiveSuccess) { |
| const std::string body = R"( |
| OpEndStreamPrimitive %u32_0 |
| )"; |
| |
| CompileSuccessfully(GenerateShaderCode(body).c_str()); |
| ASSERT_EQ(SPV_SUCCESS, ValidateInstructions()); |
| } |
| |
| TEST_F(ValidatePrimitives, EndStreamPrimitiveNonInt) { |
| const std::string body = R"( |
| OpEndStreamPrimitive %f32_0 |
| )"; |
| |
| CompileSuccessfully(GenerateShaderCode(body).c_str()); |
| ASSERT_EQ(SPV_ERROR_INVALID_DATA, ValidateInstructions()); |
| EXPECT_THAT(getDiagnosticString(), |
| HasSubstr("EndStreamPrimitive: " |
| "expected Stream to be int scalar")); |
| } |
| |
| TEST_F(ValidatePrimitives, EndStreamPrimitiveNonScalar) { |
| const std::string body = R"( |
| OpEndStreamPrimitive %u32vec4_0123 |
| )"; |
| |
| CompileSuccessfully(GenerateShaderCode(body).c_str()); |
| ASSERT_EQ(SPV_ERROR_INVALID_DATA, ValidateInstructions()); |
| EXPECT_THAT(getDiagnosticString(), |
| HasSubstr("EndStreamPrimitive: " |
| "expected Stream to be int scalar")); |
| } |
| |
| TEST_F(ValidatePrimitives, EndStreamPrimitiveNonConstant) { |
| const std::string body = R"( |
| %val1 = OpIAdd %u32 %u32_0 %u32_1 |
| OpEndStreamPrimitive %val1 |
| )"; |
| |
| CompileSuccessfully(GenerateShaderCode(body).c_str()); |
| ASSERT_EQ(SPV_ERROR_INVALID_DATA, ValidateInstructions()); |
| EXPECT_THAT(getDiagnosticString(), |
| HasSubstr("EndStreamPrimitive: " |
| "expected Stream to be constant instruction")); |
| } |
| |
| } // anonymous namespace |