aaronghost / glslsmith Goto Github PK

Upgrade the install script to match with the different updates especially with the choice of the shader embedding language

• For each UB suppression where we have the ability to check whether it was necessary (loop limiter, array bounds clamp, safe math wrapper, but I guess not the evaluation order suppressions), have a way to associate a unique id with it

• Implement a mode where each check will write a boolean to an SSBO array index to indicate whether the check was needed. For wrappers this will require more parameter passing (or generation of a separate wrapper per wrapper call site)

https://github.com/DRMacIver/structureshrink

This should be lower priority than adding support for Picire.

Have a command line option to control whether this is enabled - it's interesting to be able to evaluate how well it works.

It would be useful to be able to generate AmberScript and run the Amber binary instead of ShaderTrap.

This would require:

• Having an option to request that SSBOs are homogeneous - i.e., so that they don't mix different data types (all float data, all int data or all uint data)
• Generating the GLSL code in a comment (lines start with #) and have the SPIR-V assembly be used as the actual shader text
• Invoking Amber in the right way so that it dumps the relevant SSBOs into files

Clearly generation and reduction should still take place at the GLSL source level.

https://github.com/renatahodovan/picire

The Mali compiler correctly complains about parameter passing of qualifiers such as coherent.

It would be good to:

• File a glslang issue related to this, as it would probably be good for glslang to give an error or warning here
• Disable the generation of these qualifiers in GLSLsmith, or have the option for them to be disabled