Registers |id| as a graph entry point.

Save the ID of a pointer to a storage buffer.

Save the ID of a pointer to a storage image.

Save the ID of a pointer to a tensor.

Save the ID of a pointer to uniform block.

Save the ID of a struct of a storage buffer.

Save the ID of a struct of a uniform block.

Records that the structure type has a member decorated with a built-in.

A helper to return a transformation sequence identical to |transformations|, except that a chunk of size |chunk_size| starting from |chunk_index| x |c

Remove the dominator tree of |f| from the cache.

Remove |node| from the |mul| chain (of the form A * ... * |node| * ... * Z), if |node| is not in the chain, returns the original chain.

Removes duplicate ids from the interface list of an OpEntryPoint instruction.

Remove all edges that leave |bb|.

Replace |inst| opcode with OpExtInstWithForwardRefsKHR or OpExtInst if required to comply with forward references.

Returns SPV_ERROR_INVALID_BINARY and emits a diagnostic if the instruction is explicitly reserved in the SPIR-V core spec. Otherwise return SPV_SUCCE

Resolves conflicts within this binding list, so the binding number on an item is at least one more than the binding number on the previous item. When

Rewrites the use of |def_insn_| by the instruction |user| at the index |operand_index| in terms of phi instruction. This recursively builds new phi in

Run blocks until the connection is terminated, and returns any error that caused the termination. It must be called exactly once for each Conn. It ret

Sets the ostream for debug information for the analysis.

Sets whether extra OpLine instructions should be injected to better track line information.

Sets whether to handle, rather than reject, unrecognized content: unknown opcodes, unknown extended instruction numbers in semantic sets, and known op

Records the has a nested block/bufferblock decorated struct for a given struct ID

Populates a binary stream's |header|. The target environment is specified via |env| and Id bound is via |bound|.

Sets the message consumer to the given |consumer|.

Sets the fields in the module's header to the given parameters.

Sets the result id stored in this node.

Sets the trailing debug line info to |dbg_line_info|.

Adds synonym facts to the fact manager.

Constructs an instance targeting the given environment |env|. The constructed instance will have an empty message consumer, which just ignores all me

If we cannot get a resource usage because of failures, it sets -1 for the resource usage.

If we are storing an undef, then we can remove the store. TODO: We can do something similar for OpImageWrite, but checking for volatile is complicate

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

Validates correctness of tensor instructions.

ToPosition converts from an offset to a line:column pair.

Traces the variable pointer inst backwards, but only unmodified pointers. checker is called on each visited instruction.

Returns to the constant that results from tranposing |matrix|. The result will have type |result_type|, and |matrix| must exist in |context|. The resu

Update the continue construct's exit blocks once the backedge blocks are identified in the CFG.