Question

我在基于C ++的Vulkan项目中使用glslang来推断有关用于帮助自动构建描述符集和描述符集布局的着色器的信息。我已经说过需要支持未定义大小/运行时定义的数组（请参见https://www.khronos.org/opengl/wiki/Data_Type_(GLSL)#Arrays_of_arrays）。

glslang库适当地编译了着色器，当查看SPIRV时，确实表明我正在生成TypeRuntimeArray。

但是，当挖掘反射时，除了最简单的情况以外，所有其他情况都不会反射。

我已采取措施确保反射没有被优化或隐藏。我尝试过手动启用数组扩展数组，并尝试了顶点，计算和片段着色器阶段。着色器使用#version 450进行编译。我尝试查看std430和140是否提供不同的结果，但无济于事。

我还确保在索引到未调整大小的数组时，我不会使用常量进行索引。我尝试从内置类型（例如gl_VertexIndex）以及push_constant块或单独的统一块中提供索引

以下面的示例为例：

layout(std430) buffer Buffer1
{
    float[] unsizedArray; 
} myBuffer1;

可以从TProgram.dumpReflection（）获得unsizeArray的反射，并获取反射并进行处理。

但是，它仅适用于这种简单情况。如果我们尝试

layout(std430) buffer Buffer1
{
    float[][10] unsizedArray; 
} myBuffer1;

或

struct MyType{
    vec4 thingy;
    int otherThingy;
}
layout(std430) buffer Buffer1
{
    MyType[] unsizedArray; 
} myBuffer1;

未提供内部未调整大小的数组的反射。我们可以从第一个失败的示例中获得对外部数组的反射，或者可以从MyType中获得对变量的反射，但是似乎没有任何方法可以获取内部数组信息。据我所知，无法从反射变量中“爬升”树。

除了自己解析spirv之外，还有什么方法可以说服glslang反映未调整大小的数组？

编辑：提供更多信息的示例

#version 450

struct MyStruct{
    float z;
};

layout(binding = 5,std430) buffer StorageBlock{
    float[] myArray;
} storage;

layout(push_constant, std430) uniform Constant{
    int index;
} ps;

void main() {
    float test = storage.myArray[ps.index];
}

// A simple function I I built just to show this. There are quite a few other functions provided
// by both the reflection and glsl::TProgram object, but I haven't found anyway to get the inner array.

function parseUniform(glslang::TObjectReflection& reflection){
    reflection->dump(); // This just outputs a string to stdout
    auto type = reflection.getType();
    if( type->isArray() ) {
        bool isUnsizedArray = type->isUnsizedArray();
        bool containsUnsizedArray = type->containsUnsizedArray();
        bool isArrayOfArrays = type->isArrayOfArrays();
        bool isSizedArray = type->isSizedArray();

        auto arraySizes = (glslang::TArraySizes*)type->getArraySizes();
        bool isInnerUnsized = arraySizes->isInnerUnsized();
        bool hasUnsized = arraySizes->hasUnsized();
        int  numDims = arraySizes->getNumDims();
        bool isVariablyIndexed = arraySizes->isVariablyIndexed();

        std::cout << "isUnsizedArray(): " << isUnsizedArray << "\n";
        std::cout << "containsUnsizedArray(): " << containsUnsizedArray << "\n";
        std::cout << "isArrayOfArrays(): " << isArrayOfArrays << "\n";
        std::cout << "isSizedArray(): " << isSizedArray << "\n";
        std::cout << "isInnerUnsized(): " << isInnerUnsized << "\n";
        std::cout << "numDims: " << numDims << "\n";
        std::cout << "isVariablyIndexed(): " << isVariablyIndexed << "\n";
        std::cout << "hasUnsized(): " << hasUnsized << "\n";
    }
}

如果我们使用上面的函数在定义为这样的存储块上查询反射数据

layout(binding = 5,std430) buffer StorageBlock{
    float[] myArray;
} storage;

输出为

StorageBlock.myArray: offset 0, type 1406, size 0, index 0, binding -1, stages 32, arrayStride 4, topLevelArrayStride 4  
isUnsizedArray(): 1  
containsUnsizedArray(): 1  
isArrayOfArrays(): 0  
isSizedArray(): 0  
isInnerUnsized(): 0  
numDims: 1  
isVariablyIndexed(): 1  
hasUnsized(): 1

如果我们调用一个简单的多维数组：

    layout(binding = 5,std430) buffer StorageBlock{
       float[][5] myArray;
    } storage;

The singular reflected uniform that is provided outputs   
StorageBlock.myArray: offset 0, type 1406, size 1, index 0, binding -1, stages 32, arrayStride 4, topLevelArrayStride 40  
isUnsizedArray(): 0  
containsUnsizedArray(): 0  
isArrayOfArrays(): 0  
isSizedArray(): 1  
isInnerUnsized(): 0  
numDims: 1  
isVariablyIndexed(): 0  
hasUnsized(): 0

如果我们使用结构调用，只会得到：

    layout(binding = 5,std430) buffer StorageBlock{
       MyStruct[] myArray;
    } storage;

我们得到：

StorageBlock.myArray.z: offset 0, type 1406, size 1, index 0, binding -1, stages 32, topLevelArrayStride 4

因为.z当然是单个浮点数而不是数组，所以我们无法获取任何数组信息。在所有这些测试中，只有一件制服被“反射”了

Answer 1

您可以使用Vulkan SDK附带的SPIRV-cross实用程序为SPIR-V着色器生成JSON反射数据。另外，如果要构建SPIRV-cross库并直接使用反射数据，则可以链接使用SPIRV-cross库。

我如何说服glslang给我有关无尺寸多维数组的反射信息？

1 个答案: