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

Returns a NameMapper which maps ids to the friendly names parsed from the module provided to the constructor.

Return the basic block that |instr| belongs to.

Returns the DominatorTreeNode associated with the basic block |bb|. If the |bb| is unknown to the dominator tree, it returns null.

Returns the owning variable that the memory object is contained in.

Returns true if |c| has a zero element.

Returns true if |offset| satsifies an alignment to |alignment|. In the case of |alignment| of zero, the |offset| must also be zero.

Returns true if |inst| is negation op and is safe to fold.

Returns true if inst is a variable pointer. Caches the result in variable_pointers.

Merges multiplies / divisions of two negations. Cases: (-x) * (-y) = x * y (-x) / (-y) = x / y

Moves the nodes in |list| to the list that |this| points to. The positions of the nodes will be immediately before the element pointed to by the iter

NewURI returns a span URI for the string. It will attempt to detect if the string is a file path or uri.

Constructs an instance with the given target |env|, which is used to decode the binaries to be optimized later. The instance will have an empty messa

Invokes AssemblyContext::advance() on text, asserts success, and returns AssemblyContext::position().

Begin and end iterators for operands.

Returns the raw data.

Returns the label instruction for the block, or nullptr if not set.

Traverse the dominator tree in a depth first post-order. The pseudo-block is ignored.

Sets the type of the BasicBlock

Appends a word to an instruction, without checking for overflow.

Returns the successors of the BasicBlock

Creates a new conditional instruction and the associated selection merge instruction if requested. The id |cond_id| is the id of the condition instruc

Creates an OpILessThan or OpULessThen instruction depending on the sign of |op1|. The id |op1| is the left hand side of the operation. The id |op2| is

Creates an N-ary instruction of |opcode|. |typid| must be the id of the instruction's type. |operands| must be a sequence of operand ids. Use |result|

Class to gather some metrics about a region of interest.

Yields the Interesting instance method wrapped in a function object.

Returns a literal integer operand as a uint64_t

Returns SPIR-V assembly fragment representing a function call, the end of the callee body, and the preamble and body of the called function with the g

Returns whether instruction can be shared between variant modules and combined using spec constants (such as conditional capabilities).