Combines IDs using OpSpecConstantOp with the operation defined by cmp_op. Returns the ID of the final result. If there are no IDs, returns 0. If ther

Emits the given name as an named operand token

Returns the representative of the equivalence class of |value|, which must already be known to the equivalence relation. This is the 'Find' operation

Add the created node into the cache of nodes. If it already exists return it.

Returns the %name[id], where `name` is the first name associated with the given id, or just %id if one is not found.

Returns true if the block |id| exists in the control dependence graph. This can be false even if the block exists in the function when it is part of a

Requires that |value1| and |value2| are already registered in the equivalence relation. Merges the equivalence classes associated with |value1| and |

Returns the number of instruction words taken up by a memory access argument and its implied operands.

Returns a minimal shader module with the given capability instruction.

Negates |c|. Returns the id of the defining instruction.

Helper to deal with nesting and non-existing ids / previously-assigned levels. It assigns a given nesting level `level` to the block identified by `i

Converts a floating point string so that the exponent prefix is 'e', and the exponent value does not have leading zeros. The Microsoft runtime library

Gets the number of SPIR-V words occupied by all logical operands.

Remove the |index|-th operand

Assembles the given |shader| text, and then runs the fuzzer |num_runs| times, using successive seeds starting from |initial_seed|. Checks that the bi

Returns the inner most loop that contains the basic block |bb|.

Returns a decoration used to make it explicit

Helper to deal with DFS traversal and non-existing ids

Gets the object filename for the given source file.

Returns the predecessors of the BasicBlock

Checks that the given SPIR-V binary file has correct preamble.

Returns a generator of common Vulkan environment values to be tested.

Annotate ID with ConditionalINTEL decoration