Merges the bindings from source into sink. Maintains order and uniqueness within a list of bindings.

Merges consecutive divides if each instruction contains one constant operand. Does not support integer division. Cases: 2 / (x / 2) = 4 / x 4 / (2 / x

Fold multiplies succeeded by divides where each instruction contains a constant operand. Does not support integer divide. Cases: 4 / (x * 2) = 2 / x 4

Fold divides of a constant and a negation. Cases: (-x) / 2 = x / -2 2 / (-x) = -2 / x

Merges divides into subsequent multiplies if each instruction contains one constant operand. Does not support integer operations. Cases: 2 * (x / 2) =

Module scoped instructions are processed by determining if the opcode is part of the current layout section. If it is not then the next sections is ch

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

For a given block, assign nesting level to its successors.

NewTokenConverter returns an implementation of Converter backed by a token.File.

Swap the state so that the new nodes are now the previous nodes.

Validates correctness of non-uniform group instructions.

Returns SPV_SUCCESS if, for the given operand, the target environment satsifies minimum version requirements, or if the module declares an enabling ex

Given the control flow graph, calculates and returns the reverse post-order ordering of the blocks. The blocks are then disassembled in that order fo

Write each HLSL file described in `sources` in a file in `outdirPath`. Doesn't ovewrite existing files, unless `overwrite` is set to true. The created

Given a bit pattern and a type, checks if the bit pattern is compatible with the type. If so, returns the bit pattern, otherwise returns an empty bit

Given a numeric value in a null-terminated c string and the expected type of the value, parses the string and encodes it in a vector of words. If the

Parses and handles the -Oconfig flag. |prog_name| contains the name of the spirv-opt binary (used to build a new argv vector for the recursive invocat

This function is used to partially unroll the loop when the factor provided would normally lead to an illegal optimization. Instead of just unrolling

Unswitches |loop_|.

Validates correctness of pipe instructions.

Validates correctness of primitive instructions.

Reads command-line flags the file specified in |oconfig_flag|. This string is assumed to have the form "-Oconfig=FILENAME". This function parses the

Replaces fdiv where second operand is constant with fmul.

Folds redundant add and sub ops that are part of an and. Cases handled: 1 & (b + 2) = b & 1 1 & (b - 2) = b & 1

Folds redundant xor and or ops that are part of an and. Cases handled: 0b1110 & (a | 0b0001) = a & 0b1110 0b1110 & (a ^ 0b0001) = a & 0b1110 0b0110 &

Folds redundant shift ops that are part of an and. Cases handled: 1 & (b << 1) = 0 0x80000000 & (b >> 1) = 0

Remove indirect bitcasts which have no effect. uint32 x; asuint32(x) => x uint32 x; asuint32(asint32(x)) => x float32 x; asuint32(asint

Fold OpLogicalAnd instructions which have a constant true on one side. x && true = x true && x = x

Fold concurrent OpLogicalNot instructions: !!x = x

Fold OpLogicalOr instructions which have a constant false on one side. x || false = x false || x = x

Improves diagnostic messages by collecting names of IDs

Registers necessary decoration(s) for the appropriate IDs based on the instruction.

Registers |id| as an entry point with |execution_model| and |interfaces|.

Registers that the entry point declares its local size

Registers that the entry point maximum number of primitives mesh shader will ever emit

Registers that the entry point maximum number of vertices mesh shader will ever emit

Registers execution mode for the given entry point.

Parses OpExtension instruction and registers extension.