Как мне убедить glslang дать мне информацию об отражении в многомерных массивах? - PullRequest
Новая
       23

Как мне убедить glslang дать мне информацию об отражении в многомерных массивах?

3 голосов
/ 08 апреля 2019

Я использую glslang в своем проекте Vulkan на C ++ для получения информации о шейдерах, которые я использую для автоматической сборки моих наборов дескрипторов и макетов наборов дескрипторов.Я пришел к выводу, что мне нужно поддерживать неопределенные / определенные во время выполнения массивы (см. 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;

Отражение для unsizedArray доступно как из TProgram.dumpReflection (), так и для получения отражения и игры с ним.

Однако, это будет работать только для этого простого случая.Если мы попытаемся либо 

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 - это, конечно, одиночное число с плавающей точкой, а не массив, мы не получаем никакой информации о массиве.Во всех этих тестах «отражается» только одна форма

1 Ответ

0 голосов
/ 08 апреля 2019

Вы можете использовать утилиту SPIRV-cross, входящую в состав Vulkan SDK, для генерации данных отражения JSON для шейдеров SPIR-V. В качестве альтернативы, вы можете связать использование библиотек SPIRV-кросса, если хотите создать их и использовать данные отражения напрямую.

...