allow storage type of block to be remapped at compile time

Traverse the provided deref chain, including the base, and - build a full reflection-granularity name, array size, etc. entry out of it, if it goes do

similar to blowUpActiveAggregate, but with simpler rules and no dereferences to follow.

Track any required attribute reflection, such as compute shader numthreads.

build counter block index associations for buffers

Recursively generate mangled names.

in/out symbol and uniform symbol are stored in the same resourceSlotMap, the storage key is used to identify each type of symbol. We use stage and sto

build Shader Stages mask for all uniforms

Do additional checking of built-in function calls that is not caught by normal semantic checks on argument type, extension tagging, etc. Assumes ther

Get the stream of tokens from the scanner, but skip all syntactic/semantic processing.

Check if mesh perviewNV attributes have a view dimension and resize it to gl_MaxMeshViewCountNV when implicitly sized.

See which functions are reachable from the entry point and which have bodies. Reachable ones with missing bodies are errors. Unreachable bodies are de

See if the call graph contains any static recursion, which is disallowed by the specification.

Checks the equality of |expected| and |real|. If they are not equal, write |real| to the given file named as |fname| if update mode is on.

Check if extension is used with correct shader stage.

Returns true if at least one of the extensions in the extensions parameter is requested. Otherwise, returns false. Warns appropriately if the requeste

Ensure index is in bounds, correct if necessary. Give an error if not.

If there has been an input primitive declaration (geometry shader) or an output number of vertices declaration(tessellation shader), make sure all inp

See if the operation is being done in an illegal location.

In case we need to new an intermediate, which costs too much

Compare a new (the passed in) 'range' against the existing set, and see if there are any collisions. Returns < 0 if no collision, >= 0 if collision a

Policy and error check for needing a runtime sized array.

Potentially not the opposite of hasUniform(), as if some characteristic is ever used for more than one thing (e.g., uniform or input), hasUniform() sh

Clear out all IO/Uniform stuff, so this has nothing to do with being an IO interface.

Turn the described access chain in 'accessChain' into an instruction(s) computing its address. This *cannot* include complex swizzles, which must be

Walk over all linker objects to create a map for payload and callable data linker objects and their location to be used during codegen for OpTraceKHR

Runs a command in a directory and returns its return value. Captures the standard error stream.

Generate code from the given parse tree

Compiles and links the given source |code| of the given shader |stage| into the target under the semantics specified via |controls|. Returns a Glslang

Compiles and links the given source |code| of the given shader |stage| into the target under the semantics specified via |controls|. Returns a Glslang

Helper function to compile shader and get SPIR-V disassembly.

Helper function to compile shader and check for specific error message.

Compile a GLSL compute shader with NonSemantic debug info enabled, targeting Vulkan 1.1 / SPIR-V 1.3, and return the disassembly.

"The operation of a built-in function can have a different precision qualification than the precision qualification of the resulting value. These two

used to flatten the sampler type space into a single dimension correlates with the declaration of defaultSamplerPrecision[]

used to flatten the sampler type space into a single dimension correlates with the declaration of defaultSamplerPrecision[]

Recursively figure out how many locations are used up by an input or output type. Return the size of type, as measured by "locations".

Same as computeTypeLocationSize but for uniforms

External function to call for loop check.

Both test, and if necessary spit out an error, to see if the node is really a constant.

This function tests for the type of the parameters to the structure or array constructor. Raises an error message if the expected type does not match

This function tests for the type of the parameters to the structure or array constructor. Raises an error message if the expected type does not match

Function for constructor implementation. Calls addUnaryMath with appropriate EOp value for the parameter to the constructor (passed to this function).

Function for constructor implementation. Calls addUnaryMath with appropriate EOp value for the parameter to the constructor (passed to this function).

Make sure there is enough data and not too many arguments provided to the constructor to build something of the type of the constructor. Also returns

Make sure there is enough data and not too many arguments provided to the constructor to build something of the type of the constructor. Also returns

Verify all the correct semantics for constructing a combined texture/sampler. Return true if the semantics are incorrect.

return true if a comment was actually consumed

read past any white space

skip whitespace, then skip a comment, rinse, repeat

Helper function to check if the given SPIR-V string contains a specific pattern.

return true if the type is a pointer to PhysicalStorageBufferEXT or an contains such a pointer. These require restrict/aliased decorations.

Helper function to check if the given SPIR-V string contains a UConvert instruction.

Convert the array in node to the requested type, which is also an array. Returns nullptr on failure, otherwise returns aggregate holding the list of e

Do full recursive conversion of a glslang structure (or block) type to a SPIR-V Id. explicitLayout can be kept the same throughout the hierarchical re

Convert from a glslang type to an SPV type, by calling into a recursive version of this function. This establishes the inherited layout state rooted f

Reprocess any initializer-list (the "{ ... }" syntax) parts of the initializer. Need to hierarchically assign correct types and implicit conversions

Reprocess any initializer-list { ... } parts of the initializer. Need to hierarchically assign correct types and implicit conversions. Will do this mi

Convert a glslang AST swizzle node to a swizzle vector for building SPIR-V.

Make the IO decorations etc. be appropriate only for an input interface.

Make the IO decorations etc. be appropriate only for an output interface.

Make the IO decorations etc. be appropriate only for uniform type interfaces.

count the total number of leaf members from iterating out of a block type

Comments in header

Utility method for creating a new block and setting the insert point to be in it. This is useful for flow-control operations that need a "dummy" block

For glslang ops that map to SPV atomic opCodes

Translate AST matrix operation to SPV operation, already having SPV-based operands/types. These can be any of: matrix * scalar scalar * matrix matrix

Translate AST operation to SPV operation, already having SPV-based operands/types.

OpCompositeConstruct

Comments in header

For converting integers where both the bitwidth and the signedness could change, but only do the width change here. The caller is still responsible fo

When inverting a swizzle with a parent op, this function will apply the swizzle operation to a completed parent operation.

Create group invocation operations.

Comments in header

Handle creation of mat*mat specially, since it doesn't fall conveniently out of the generic prototype creation code below.