Return the recurrent term belonging to |loop| if it appears in the graph starting at |node| or null if it doesn't.

Given a decoration group defining instruction that is decorated with SpecId decoration, finds the spec constant defining instruction which is the real

Returns a vector of the list of successor nodes from a given node.

Return the target environment for the current context.

Returns a pointer to a value number table. If the liveness analysis is invalid, it is rebuilt first.

Returns vector binding info for all resource variables in the module.

Validates correctness of graph instructions.

Return true if this opcode has a const folding rule associtated with it.

Returns true if the instruction |inst| has a forward reference to another debug instruction. |debug_ids| contains the list of IDs belonging to debug i

Calculate the hash for the contents of a C-style data buffer @param data - pointer to buffer to be hashed @param size - number of elements in buffer @

Returns true if the operands to the OpTypeStruct instruction defining the types are the same or are layout compatible types. |type1| and |type2| must

Returns true if all decorations that affect the data layout of the struct (like Offset), are the same for the two types. |type1| and |type2| must be O

Performs SSA validation on the IDs of an instruction. The can_have_forward_declared_ids functor should return true if the instruction operand's ID ca

Some image instructions may contain an "image operands" argument. Returns the operand index for the "image operands". Returns -1 if the instruction do

Validates correctness of image instructions.

Replaces the OpCompositeInsert |inst| that inserts |construct| into the same object as |inst| with final index removed. If the resulting OpCompositeI

Validates correctness of certain special type instructions.

TODO(https://github.com/KhronosGroup/SPIRV-Tools/issues/3582): Add all opcodes that are agnostic to signedness of operands to function. This is not ex