mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-11-25 13:00:04 +00:00
d35a78db57
Fixes #4960 * Switches to using enum classes with an underlying type to avoid undefined behaviour
817 lines
37 KiB
C++
817 lines
37 KiB
C++
// Copyright (c) 2017 Google 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 <string>
|
|
#include <vector>
|
|
|
|
#include "DebugInfo.h"
|
|
#include "gmock/gmock.h"
|
|
#include "source/util/string_utils.h"
|
|
#include "test/test_fixture.h"
|
|
#include "test/unit_spirv.h"
|
|
|
|
// This file tests the correctness of encoding and decoding of instructions
|
|
// involving the DebugInfo extended instruction set.
|
|
// Semantic correctness should be the responsibility of validator.
|
|
//
|
|
// See https://www.khronos.org/registry/spir-v/specs/1.0/DebugInfo.html
|
|
|
|
namespace spvtools {
|
|
namespace {
|
|
|
|
using spvtest::Concatenate;
|
|
using spvtest::MakeInstruction;
|
|
using utils::MakeVector;
|
|
using testing::Eq;
|
|
|
|
struct InstructionCase {
|
|
uint32_t opcode;
|
|
std::string name;
|
|
std::string operands;
|
|
std::vector<uint32_t> expected_operands;
|
|
};
|
|
|
|
using ExtInstDebugInfoRoundTripTest =
|
|
spvtest::TextToBinaryTestBase<::testing::TestWithParam<InstructionCase>>;
|
|
using ExtInstDebugInfoRoundTripTestExplicit = spvtest::TextToBinaryTest;
|
|
|
|
TEST_P(ExtInstDebugInfoRoundTripTest, ParameterizedExtInst) {
|
|
const std::string input =
|
|
"%1 = OpExtInstImport \"DebugInfo\"\n"
|
|
"%3 = OpExtInst %2 %1 " +
|
|
GetParam().name + GetParam().operands + "\n";
|
|
// First make sure it assembles correctly.
|
|
EXPECT_THAT(CompiledInstructions(input),
|
|
Eq(Concatenate({MakeInstruction(spv::Op::OpExtInstImport, {1},
|
|
MakeVector("DebugInfo")),
|
|
MakeInstruction(spv::Op::OpExtInst,
|
|
{2, 3, 1, GetParam().opcode},
|
|
GetParam().expected_operands)})))
|
|
<< input;
|
|
// Now check the round trip through the disassembler.
|
|
EXPECT_THAT(EncodeAndDecodeSuccessfully(input), input) << input;
|
|
}
|
|
|
|
#define CASE_0(Enum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, "", {} \
|
|
}
|
|
|
|
#define CASE_ILL(Enum, L0, L1) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 " #L0 " " #L1, { \
|
|
4, L0, L1 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IL(Enum, L0) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 " #L0, { 4, L0 } \
|
|
}
|
|
|
|
#define CASE_I(Enum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4", { 4 } \
|
|
}
|
|
|
|
#define CASE_II(Enum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 %5", { 4, 5 } \
|
|
}
|
|
|
|
#define CASE_III(Enum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 %5 %6", { 4, 5, 6 } \
|
|
}
|
|
|
|
#define CASE_IIII(Enum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 %5 %6 %7", { \
|
|
4, 5, 6, 7 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIIII(Enum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 %5 %6 %7 %8", { \
|
|
4, 5, 6, 7, 8 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIIIII(Enum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 %5 %6 %7 %8 %9", { \
|
|
4, 5, 6, 7, 8, 9 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIIIIII(Enum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 %5 %6 %7 %8 %9 %10", { \
|
|
4, 5, 6, 7, 8, 9, 10 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIILLI(Enum, L0, L1) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 %6 " #L0 " " #L1 " %7", { \
|
|
4, 5, 6, L0, L1, 7 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIILLIL(Enum, L0, L1, L2) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 %6 " #L0 " " #L1 " %7 " #L2, { \
|
|
4, 5, 6, L0, L1, 7, L2 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IE(Enum, E0) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 " #E0, { \
|
|
4, uint32_t(DebugInfo##E0) \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIE(Enum, E0) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 %5 " #E0, { \
|
|
4, 5, uint32_t(DebugInfo##E0) \
|
|
} \
|
|
}
|
|
|
|
#define CASE_ISF(Enum, S0, Fstr, Fnum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 " #S0 " " Fstr, { \
|
|
4, uint32_t(spv::StorageClass::S0), Fnum \
|
|
} \
|
|
}
|
|
|
|
#define CASE_LII(Enum, L0) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " " #L0 " %4 %5", { \
|
|
L0, 4, 5 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_ILI(Enum, L0) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 " #L0 " %5", { \
|
|
4, L0, 5 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_ILII(Enum, L0) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 " #L0 " %5 %6", { \
|
|
4, L0, 5, 6 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_ILLII(Enum, L0, L1) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 " #L0 " " #L1 " %5 %6", { \
|
|
4, L0, L1, 5, 6 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIILLIIF(Enum, L0, L1, Fstr, Fnum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 %6 " #L0 " " #L1 " %7 %8 " Fstr, { \
|
|
4, 5, 6, L0, L1, 7, 8, Fnum \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIILLIIFII(Enum, L0, L1, Fstr, Fnum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 %6 " #L0 " " #L1 " %7 %8 " Fstr " %9 %10", { \
|
|
4, 5, 6, L0, L1, 7, 8, Fnum, 9, 10 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIILLIIFIIII(Enum, L0, L1, Fstr, Fnum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 %6 " #L0 " " #L1 " %7 %8 " Fstr " %9 %10 %11 %12", { \
|
|
4, 5, 6, L0, L1, 7, 8, Fnum, 9, 10, 11, 12 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIILLIIFIIIIII(Enum, L0, L1, Fstr, Fnum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 %6 " #L0 " " #L1 " %7 %8 " Fstr " %9 %10 %11 %12 %13 %14", { \
|
|
4, 5, 6, L0, L1, 7, 8, Fnum, 9, 10, 11, 12, 13, 14 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IEILLIIF(Enum, E0, L0, L1, Fstr, Fnum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 " #E0 " %5 " #L0 " " #L1 " %6 %7 " Fstr, { \
|
|
4, uint32_t(DebugInfo##E0), 5, L0, L1, 6, 7, Fnum \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IEILLIIFI(Enum, E0, L0, L1, Fstr, Fnum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 " #E0 " %5 " #L0 " " #L1 " %6 %7 " Fstr " %8", { \
|
|
4, uint32_t(DebugInfo##E0), 5, L0, L1, 6, 7, Fnum, 8 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IEILLIIFII(Enum, E0, L0, L1, Fstr, Fnum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 " #E0 " %5 " #L0 " " #L1 " %6 %7 " Fstr " %8 %9", { \
|
|
4, uint32_t(DebugInfo##E0), 5, L0, L1, 6, 7, Fnum, 8, 9 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IEILLIIFIII(Enum, E0, L0, L1, Fstr, Fnum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 " #E0 " %5 " #L0 " " #L1 " %6 %7 " Fstr " %8 %9 %10", { \
|
|
4, uint32_t(DebugInfo##E0), 5, L0, L1, 6, 7, Fnum, 8, 9, 10 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IEILLIIFIIII(Enum, E0, L0, L1, Fstr, Fnum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 " #E0 " %5 " #L0 " " #L1 " %6 %7 " Fstr " %8 %9 %10 %11", { \
|
|
4, uint32_t(DebugInfo##E0), 5, L0, L1, 6, 7, Fnum, 8, 9, 10, 11 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIILLIIIF(Enum, L0, L1, Fstr, Fnum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 %6 " #L0 " " #L1 " %7 %8 %9 " Fstr, { \
|
|
4, 5, 6, L0, L1, 7, 8, 9, Fnum \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIILLIIIFI(Enum, L0, L1, Fstr, Fnum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 %6 " #L0 " " #L1 " %7 %8 %9 " Fstr " %10", { \
|
|
4, 5, 6, L0, L1, 7, 8, 9, Fnum, 10 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIIIF(Enum, Fstr, Fnum) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 %5 %6 %7 " Fstr, { \
|
|
4, 5, 6, 7, Fnum \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIILL(Enum, L0, L1) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " %4 %5 %6 " #L0 " " #L1, { \
|
|
4, 5, 6, L0, L1 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIIILL(Enum, L0, L1) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 %6 %7 " #L0 " " #L1, { \
|
|
4, 5, 6, 7, L0, L1 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IILLI(Enum, L0, L1) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 " #L0 " " #L1 " %6", { \
|
|
4, 5, L0, L1, 6 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IILLII(Enum, L0, L1) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 " #L0 " " #L1 " %6 %7", { \
|
|
4, 5, L0, L1, 6, 7 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IILLIII(Enum, L0, L1) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 " #L0 " " #L1 " %6 %7 %8", { \
|
|
4, 5, L0, L1, 6, 7, 8 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IILLIIII(Enum, L0, L1) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 " #L0 " " #L1 " %6 %7 %8 %9", { \
|
|
4, 5, L0, L1, 6, 7, 8, 9 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIILLIIFLI(Enum, L0, L1, Fstr, Fnum, L2) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 %6 " #L0 " " #L1 " %7 %8 " Fstr " " #L2 " %9", { \
|
|
4, 5, 6, L0, L1, 7, 8, Fnum, L2, 9 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_IIILLIIFLII(Enum, L0, L1, Fstr, Fnum, L2) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, \
|
|
" %4 %5 %6 " #L0 " " #L1 " %7 %8 " Fstr " " #L2 " %9 %10", { \
|
|
4, 5, 6, L0, L1, 7, 8, Fnum, L2, 9, 10 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_E(Enum, E0) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " " #E0, { \
|
|
uint32_t(DebugInfo##E0) \
|
|
} \
|
|
}
|
|
|
|
#define CASE_EL(Enum, E0, L0) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " " #E0 " " #L0, { \
|
|
uint32_t(DebugInfo##E0), L0 \
|
|
} \
|
|
}
|
|
|
|
#define CASE_ELL(Enum, E0, L0, L1) \
|
|
{ \
|
|
uint32_t(DebugInfoDebug##Enum), "Debug" #Enum, " " #E0 " " #L0 " " #L1, { \
|
|
uint32_t(DebugInfo##E0), L0, L1 \
|
|
} \
|
|
}
|
|
|
|
// DebugInfo 4.1 Absent Debugging Information
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugInfoNone, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_0(InfoNone), // enum value 0
|
|
})));
|
|
|
|
// DebugInfo 4.2 Compilation Unit
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugCompilationUnit,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_ILL(CompilationUnit, 100, 42),
|
|
})));
|
|
|
|
// DebugInfo 4.3 Type instructions
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugTypeBasic, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IIE(TypeBasic, Unspecified),
|
|
CASE_IIE(TypeBasic, Address),
|
|
CASE_IIE(TypeBasic, Boolean),
|
|
CASE_IIE(TypeBasic, Float),
|
|
CASE_IIE(TypeBasic, Signed),
|
|
CASE_IIE(TypeBasic, SignedChar),
|
|
CASE_IIE(TypeBasic, Unsigned),
|
|
CASE_IIE(TypeBasic, UnsignedChar),
|
|
})));
|
|
|
|
// The FlagIsPublic is value is (1 << 0) | (1 << 2) which is the same
|
|
// as the bitwise-OR of FlagIsProtected and FlagIsPrivate.
|
|
// The disassembler will emit the compound expression instead.
|
|
// There is no simple fix for this. This enum is not really a mask
|
|
// for the bottom two bits.
|
|
TEST_F(ExtInstDebugInfoRoundTripTestExplicit, FlagIsPublic) {
|
|
const std::string prefix =
|
|
"%1 = OpExtInstImport \"DebugInfo\"\n"
|
|
"%3 = OpExtInst %2 %1 DebugTypePointer %4 Private ";
|
|
const std::string input = prefix + "FlagIsPublic\n";
|
|
const std::string expected = prefix + "FlagIsProtected|FlagIsPrivate\n";
|
|
// First make sure it assembles correctly.
|
|
EXPECT_THAT(
|
|
CompiledInstructions(input),
|
|
Eq(Concatenate({MakeInstruction(spv::Op::OpExtInstImport, {1},
|
|
MakeVector("DebugInfo")),
|
|
MakeInstruction(spv::Op::OpExtInst,
|
|
{2, 3, 1, DebugInfoDebugTypePointer, 4,
|
|
uint32_t(spv::StorageClass::Private),
|
|
DebugInfoFlagIsPublic})})))
|
|
<< input;
|
|
// Now check the round trip through the disassembler.
|
|
EXPECT_THAT(EncodeAndDecodeSuccessfully(input), Eq(expected)) << input;
|
|
}
|
|
|
|
INSTANTIATE_TEST_SUITE_P(
|
|
DebugInfoDebugTypePointer, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
|
|
//// Use each flag independently.
|
|
CASE_ISF(TypePointer, Private, "FlagIsProtected",
|
|
uint32_t(DebugInfoFlagIsProtected)),
|
|
CASE_ISF(TypePointer, Private, "FlagIsPrivate",
|
|
uint32_t(DebugInfoFlagIsPrivate)),
|
|
|
|
// FlagIsPublic is tested above.
|
|
|
|
CASE_ISF(TypePointer, Private, "FlagIsLocal",
|
|
uint32_t(DebugInfoFlagIsLocal)),
|
|
CASE_ISF(TypePointer, Private, "FlagIsDefinition",
|
|
uint32_t(DebugInfoFlagIsDefinition)),
|
|
CASE_ISF(TypePointer, Private, "FlagFwdDecl",
|
|
uint32_t(DebugInfoFlagFwdDecl)),
|
|
CASE_ISF(TypePointer, Private, "FlagArtificial",
|
|
uint32_t(DebugInfoFlagArtificial)),
|
|
CASE_ISF(TypePointer, Private, "FlagExplicit",
|
|
uint32_t(DebugInfoFlagExplicit)),
|
|
CASE_ISF(TypePointer, Private, "FlagPrototyped",
|
|
uint32_t(DebugInfoFlagPrototyped)),
|
|
CASE_ISF(TypePointer, Private, "FlagObjectPointer",
|
|
uint32_t(DebugInfoFlagObjectPointer)),
|
|
CASE_ISF(TypePointer, Private, "FlagStaticMember",
|
|
uint32_t(DebugInfoFlagStaticMember)),
|
|
CASE_ISF(TypePointer, Private, "FlagIndirectVariable",
|
|
uint32_t(DebugInfoFlagIndirectVariable)),
|
|
CASE_ISF(TypePointer, Private, "FlagLValueReference",
|
|
uint32_t(DebugInfoFlagLValueReference)),
|
|
CASE_ISF(TypePointer, Private, "FlagIsOptimized",
|
|
uint32_t(DebugInfoFlagIsOptimized)),
|
|
|
|
//// Use flags in combination, and try different storage classes.
|
|
CASE_ISF(TypePointer, Function, "FlagIsProtected|FlagIsPrivate",
|
|
uint32_t(DebugInfoFlagIsProtected) |
|
|
uint32_t(DebugInfoFlagIsPrivate)),
|
|
CASE_ISF(
|
|
TypePointer, Workgroup,
|
|
"FlagIsPrivate|FlagFwdDecl|FlagIndirectVariable|FlagIsOptimized",
|
|
uint32_t(DebugInfoFlagIsPrivate) | uint32_t(DebugInfoFlagFwdDecl) |
|
|
uint32_t(DebugInfoFlagIndirectVariable) |
|
|
uint32_t(DebugInfoFlagIsOptimized)),
|
|
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugTypeQualifier,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IE(TypeQualifier, ConstType),
|
|
CASE_IE(TypeQualifier, VolatileType),
|
|
CASE_IE(TypeQualifier, RestrictType),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugTypeArray, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_II(TypeArray),
|
|
CASE_III(TypeArray),
|
|
CASE_IIII(TypeArray),
|
|
CASE_IIIII(TypeArray),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugTypeVector,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IL(TypeVector, 2),
|
|
CASE_IL(TypeVector, 3),
|
|
CASE_IL(TypeVector, 4),
|
|
CASE_IL(TypeVector, 16),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugTypedef, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IIILLI(Typedef, 12, 13),
|
|
CASE_IIILLI(Typedef, 14, 99),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugTypeFunction,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_I(TypeFunction),
|
|
CASE_II(TypeFunction),
|
|
CASE_III(TypeFunction),
|
|
CASE_IIII(TypeFunction),
|
|
CASE_IIIII(TypeFunction),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(
|
|
DebugInfoDebugTypeEnum, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IIILLIIFII(
|
|
TypeEnum, 12, 13,
|
|
"FlagIsPrivate|FlagFwdDecl|FlagIndirectVariable|FlagIsOptimized",
|
|
uint32_t(DebugInfoFlagIsPrivate) | uint32_t(DebugInfoFlagFwdDecl) |
|
|
uint32_t(DebugInfoFlagIndirectVariable) |
|
|
uint32_t(DebugInfoFlagIsOptimized)),
|
|
CASE_IIILLIIFIIII(TypeEnum, 17, 18, "FlagStaticMember",
|
|
uint32_t(DebugInfoFlagStaticMember)),
|
|
CASE_IIILLIIFIIIIII(TypeEnum, 99, 1, "FlagStaticMember",
|
|
uint32_t(DebugInfoFlagStaticMember)),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(
|
|
DebugInfoDebugTypeComposite, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IEILLIIF(
|
|
TypeComposite, Class, 12, 13,
|
|
"FlagIsPrivate|FlagFwdDecl|FlagIndirectVariable|FlagIsOptimized",
|
|
uint32_t(DebugInfoFlagIsPrivate) | uint32_t(DebugInfoFlagFwdDecl) |
|
|
uint32_t(DebugInfoFlagIndirectVariable) |
|
|
uint32_t(DebugInfoFlagIsOptimized)),
|
|
// Cover all tag values: Class, Structure, Union
|
|
CASE_IEILLIIF(TypeComposite, Class, 12, 13, "FlagIsPrivate",
|
|
uint32_t(DebugInfoFlagIsPrivate)),
|
|
CASE_IEILLIIF(TypeComposite, Structure, 12, 13, "FlagIsPrivate",
|
|
uint32_t(DebugInfoFlagIsPrivate)),
|
|
CASE_IEILLIIF(TypeComposite, Union, 12, 13, "FlagIsPrivate",
|
|
uint32_t(DebugInfoFlagIsPrivate)),
|
|
// Now add members
|
|
CASE_IEILLIIFI(TypeComposite, Class, 9, 10, "FlagIsPrivate",
|
|
uint32_t(DebugInfoFlagIsPrivate)),
|
|
CASE_IEILLIIFII(TypeComposite, Class, 9, 10, "FlagIsPrivate",
|
|
uint32_t(DebugInfoFlagIsPrivate)),
|
|
CASE_IEILLIIFIII(TypeComposite, Class, 9, 10, "FlagIsPrivate",
|
|
uint32_t(DebugInfoFlagIsPrivate)),
|
|
CASE_IEILLIIFIIII(TypeComposite, Class, 9, 10, "FlagIsPrivate",
|
|
uint32_t(DebugInfoFlagIsPrivate)),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(
|
|
DebugInfoDebugTypeMember, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IIILLIIIF(TypeMember, 12, 13, "FlagIsPrivate",
|
|
uint32_t(DebugInfoFlagIsPrivate)),
|
|
CASE_IIILLIIIF(TypeMember, 99, 100, "FlagIsPrivate|FlagFwdDecl",
|
|
uint32_t(DebugInfoFlagIsPrivate) |
|
|
uint32_t(DebugInfoFlagFwdDecl)),
|
|
// Add the optional Id argument.
|
|
CASE_IIILLIIIFI(TypeMember, 12, 13, "FlagIsPrivate",
|
|
uint32_t(DebugInfoFlagIsPrivate)),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(
|
|
DebugInfoDebugTypeInheritance, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IIIIF(TypeInheritance, "FlagIsPrivate",
|
|
uint32_t(DebugInfoFlagIsPrivate)),
|
|
CASE_IIIIF(TypeInheritance, "FlagIsPrivate|FlagFwdDecl",
|
|
uint32_t(DebugInfoFlagIsPrivate) |
|
|
uint32_t(DebugInfoFlagFwdDecl)),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugTypePtrToMember,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_II(TypePtrToMember),
|
|
})));
|
|
|
|
// DebugInfo 4.4 Templates
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugTypeTemplate,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_II(TypeTemplate),
|
|
CASE_III(TypeTemplate),
|
|
CASE_IIII(TypeTemplate),
|
|
CASE_IIIII(TypeTemplate),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugTypeTemplateParameter,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IIIILL(TypeTemplateParameter, 1, 2),
|
|
CASE_IIIILL(TypeTemplateParameter, 99, 102),
|
|
CASE_IIIILL(TypeTemplateParameter, 10, 7),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugTypeTemplateTemplateParameter,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IIILL(TypeTemplateTemplateParameter, 1, 2),
|
|
CASE_IIILL(TypeTemplateTemplateParameter, 99, 102),
|
|
CASE_IIILL(TypeTemplateTemplateParameter, 10, 7),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugTypeTemplateParameterPack,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IILLI(TypeTemplateParameterPack, 1, 2),
|
|
CASE_IILLII(TypeTemplateParameterPack, 99, 102),
|
|
CASE_IILLIII(TypeTemplateParameterPack, 10, 7),
|
|
CASE_IILLIIII(TypeTemplateParameterPack, 10, 7),
|
|
})));
|
|
|
|
// DebugInfo 4.5 Global Variables
|
|
|
|
INSTANTIATE_TEST_SUITE_P(
|
|
DebugInfoDebugGlobalVariable, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IIILLIIIF(GlobalVariable, 1, 2, "FlagIsOptimized",
|
|
uint32_t(DebugInfoFlagIsOptimized)),
|
|
CASE_IIILLIIIF(GlobalVariable, 42, 43, "FlagIsOptimized",
|
|
uint32_t(DebugInfoFlagIsOptimized)),
|
|
CASE_IIILLIIIFI(GlobalVariable, 1, 2, "FlagIsOptimized",
|
|
uint32_t(DebugInfoFlagIsOptimized)),
|
|
CASE_IIILLIIIFI(GlobalVariable, 42, 43, "FlagIsOptimized",
|
|
uint32_t(DebugInfoFlagIsOptimized)),
|
|
})));
|
|
|
|
// DebugInfo 4.6 Functions
|
|
|
|
INSTANTIATE_TEST_SUITE_P(
|
|
DebugInfoDebugFunctionDeclaration, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IIILLIIF(FunctionDeclaration, 1, 2, "FlagIsOptimized",
|
|
uint32_t(DebugInfoFlagIsOptimized)),
|
|
CASE_IIILLIIF(FunctionDeclaration, 42, 43, "FlagFwdDecl",
|
|
uint32_t(DebugInfoFlagFwdDecl)),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(
|
|
DebugInfoDebugFunction, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IIILLIIFLI(Function, 1, 2, "FlagIsOptimized",
|
|
uint32_t(DebugInfoFlagIsOptimized), 3),
|
|
CASE_IIILLIIFLI(Function, 42, 43, "FlagFwdDecl",
|
|
uint32_t(DebugInfoFlagFwdDecl), 44),
|
|
// Add the optional declaration Id.
|
|
CASE_IIILLIIFLII(Function, 1, 2, "FlagIsOptimized",
|
|
uint32_t(DebugInfoFlagIsOptimized), 3),
|
|
CASE_IIILLIIFLII(Function, 42, 43, "FlagFwdDecl",
|
|
uint32_t(DebugInfoFlagFwdDecl), 44),
|
|
})));
|
|
|
|
// DebugInfo 4.7 Local Information
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugLexicalBlock,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_ILLII(LexicalBlock, 1, 2),
|
|
CASE_ILLII(LexicalBlock, 42, 43),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugLexicalBlockDiscriminator,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_ILI(LexicalBlockDiscriminator, 1),
|
|
CASE_ILI(LexicalBlockDiscriminator, 42),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugScope, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_I(Scope),
|
|
CASE_II(Scope),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugNoScope, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_0(NoScope),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugInlinedAt, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_LII(InlinedAt, 1),
|
|
CASE_LII(InlinedAt, 42),
|
|
})));
|
|
|
|
// DebugInfo 4.8 Local Variables
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugLocalVariable,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_IIILLI(LocalVariable, 1, 2),
|
|
CASE_IIILLI(LocalVariable, 42, 43),
|
|
CASE_IIILLIL(LocalVariable, 1, 2, 3),
|
|
CASE_IIILLIL(LocalVariable, 42, 43, 44),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugInlinedVariable,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_II(InlinedVariable),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugDebugDeclare,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_III(Declare),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(
|
|
DebugInfoDebugDebugValue, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_III(Value),
|
|
CASE_IIII(Value),
|
|
CASE_IIIII(Value),
|
|
CASE_IIIIII(Value),
|
|
// Test up to 4 id parameters. We can always try more.
|
|
CASE_IIIIIII(Value),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugDebugOperation,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_E(Operation, Deref),
|
|
CASE_E(Operation, Plus),
|
|
CASE_E(Operation, Minus),
|
|
CASE_EL(Operation, PlusUconst, 1),
|
|
CASE_EL(Operation, PlusUconst, 42),
|
|
CASE_ELL(Operation, BitPiece, 1, 2),
|
|
CASE_ELL(Operation, BitPiece, 4, 5),
|
|
CASE_E(Operation, Swap),
|
|
CASE_E(Operation, Xderef),
|
|
CASE_E(Operation, StackValue),
|
|
CASE_EL(Operation, Constu, 1),
|
|
CASE_EL(Operation, Constu, 42),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugDebugExpression,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_0(Expression),
|
|
CASE_I(Expression),
|
|
CASE_II(Expression),
|
|
CASE_III(Expression),
|
|
CASE_IIII(Expression),
|
|
CASE_IIIII(Expression),
|
|
CASE_IIIIII(Expression),
|
|
CASE_IIIIIII(Expression),
|
|
})));
|
|
|
|
// DebugInfo 4.9 Macros
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugMacroDef, ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_ILI(MacroDef, 1),
|
|
CASE_ILI(MacroDef, 42),
|
|
CASE_ILII(MacroDef, 1),
|
|
CASE_ILII(MacroDef, 42),
|
|
})));
|
|
|
|
INSTANTIATE_TEST_SUITE_P(DebugInfoDebugMacroUndef,
|
|
ExtInstDebugInfoRoundTripTest,
|
|
::testing::ValuesIn(std::vector<InstructionCase>({
|
|
CASE_ILI(MacroUndef, 1),
|
|
CASE_ILI(MacroUndef, 42),
|
|
})));
|
|
|
|
#undef CASE_0
|
|
#undef CASE_ILL
|
|
#undef CASE_IL
|
|
#undef CASE_I
|
|
#undef CASE_II
|
|
#undef CASE_III
|
|
#undef CASE_IIII
|
|
#undef CASE_IIIII
|
|
#undef CASE_IIIIII
|
|
#undef CASE_IIIIIII
|
|
#undef CASE_IIILLI
|
|
#undef CASE_IIILLIL
|
|
#undef CASE_IE
|
|
#undef CASE_IIE
|
|
#undef CASE_ISF
|
|
#undef CASE_LII
|
|
#undef CASE_ILI
|
|
#undef CASE_ILII
|
|
#undef CASE_ILLII
|
|
#undef CASE_IIILLIIF
|
|
#undef CASE_IIILLIIFII
|
|
#undef CASE_IIILLIIFIIII
|
|
#undef CASE_IIILLIIFIIIIII
|
|
#undef CASE_IEILLIIF
|
|
#undef CASE_IEILLIIFI
|
|
#undef CASE_IEILLIIFII
|
|
#undef CASE_IEILLIIFIII
|
|
#undef CASE_IEILLIIFIIII
|
|
#undef CASE_IIILLIIIF
|
|
#undef CASE_IIILLIIIFI
|
|
#undef CASE_IIIIF
|
|
#undef CASE_IIILL
|
|
#undef CASE_IIIILL
|
|
#undef CASE_IILLI
|
|
#undef CASE_IILLII
|
|
#undef CASE_IILLIII
|
|
#undef CASE_IILLIIII
|
|
#undef CASE_IIILLIIFLI
|
|
#undef CASE_IIILLIIFLII
|
|
#undef CASE_E
|
|
#undef CASE_EL
|
|
#undef CASE_ELL
|
|
|
|
} // namespace
|
|
} // namespace spvtools
|