Check if node is affine, ie in the form: a0*i0 + a1*i1 + ... an*in + c and contains only the following types of nodes: SERecurrentNode, SEAddNode and

Returns whether or not this loop has been marked for removal.

Returns true if |id| is the merge target of a merge instruction.

Returns true if this tree is a post dominator tree.

Check if instruction 'id' is a consumer of a texture decorated with a QCOM image processing decoration

Returns true if this Phi candidate is ready to be emitted.

Returns true if the given char is ':', '\0' or considered as blank space (i.e.: '\n', '\r', '\v', '\t', '\f' and ' ').

Returns true if opcode is *ImageSparse*, false otherwise.

Vulkan 1.3 only added required features.

Either a 32 bit 2-component uint vector or a 64 bit uint scalar

Returns true if all transformations should be compatible with WGSL.

Generate a fresh id in this mapping's domain.

Returns a parsed operand for a literal unsigned integer value at the given word offset within an instruction.

Returns a parsed operand for a literal string value at the given word offset within an instruction.

Returns the assembly for a SPIR-V module with a struct declaration with the given number of members.

Make the set |blocks| closed SSA. The set is closed SSA if all the uses outside the set are phi instructions in exiting basic block set (hold by |lcss

Marks this phi candidate as complete.

Folds addition of an addition where each operation has a constant operand. Cases: (x + 2) + 2 = x + 4 (2 + x) + 2 = x + 4 2 + (x + 2) = x + 4 2 + (2 +

Folds addition, where one side is a negation. (-x) + y = y - x y + (-x) = y - x

Folds addition of a subtraction where each operation has a constant operand. Cases: (x - 2) + 2 = x + 0 (2 - x) + 2 = 4 - x 2 + (x - 2) = x + 0 2 + (2

Folds addition of a subtraction where the subtrahend is equal to the other addend. Return a copy of the minuend. Accepts generic (const and non-const)

Helper function for MergeGenericAddSubArithmetic. If |addend| and subtrahend of |sub| is the same, merge to copy of minuend of |sub|.

Merges consecutive multiplies where each contains one constant operand. Cases: 2 * (x * 2) = x * 4 2 * (2 * x) = x * 4 (x * 2) * 2 = x * 4 (2 * x) * 2

Merges multiply of constant and negation. Cases: (-x) * 2 = x * -2 2 * (-x) = x * -2

Merges negate into a add or sub operation if that operation contains a constant operand. Cases: -(x + 2) = -2 - x -(2 + x) = -2 - x -(x - 2) = 2 - x -

Elides consecutive negate instructions.

Merges negate into a mul or div operation if that operation contains a constant operand. Cases: -(x * 2) = x * -2 -(2 * x) = x * -2 -(x / 2) = x / -2

Folds subtraction of an addition where each operand has a constant operand. Cases: (x + 2) - 2 = x + 0 (2 + x) - 2 = x + 0 2 - (x + 2) = 0 - x 2 - (2

Folds subtraction, where one side is a negation. Cases: (-x) - 2 = -2 - x y - (-x) = x + y

Folds subtraction of a subtraction where each operand has a constant operand. Cases: (x - 2) - 2 = x - 4 (2 - x) - 2 = 0 - x 2 - (x - 2) = 4 - x 2 - (

Returns a constants with the value |-val| of the given type. Only works for 32-bit and 64-bit float point types. Returns |nullptr| if an error occur

Returns the negation of |c|. |c| must be a 32 or 64 bit floating point constant.

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

Returns the number of components consumed by types that support a component decoration.

This function assumes a base location has been determined already. As such any further location decorations are invalid. TODO: if this code turns out

Parallel indicates that the system is now allowed to process other requests in parallel with this one. It is safe to call any number of times, but mus

Parses a CSV source string for the purpose of this extension. Required columns must be known in advance and supplied as the required_cols argument --

Parses command-line flags. |argc| contains the number of command-line flags. |argv| points to an array of strings holding the flags. |optimizer| is th

Reads characters starting from |str| until it meets a separator. Parses a number from the characters and stores it into |number|. Returns the pointer

Performs |input1| |opcode| |input2| and returns the merged constant result id. Returns 0 if the result is not a valid value. The input types must be F

Performs |input1| |opcode| |input2| and returns the merged constant result id. Returns 0 if the result is not a valid value. The input types must be I

Change |this| to now represent the first enclosing object to which it belongs. (Remove the last element off the access_chain). It is invalid to call

Add and remove loops which have been marked for addition and removal to maintain the state of the loop descriptor class.

Returns the initial part of the assembly text for a valid SPIR-V module, including instructions prior to decorations.

Returns true if the basic block |a| is reachable by this tree. A node would be unreachable if it cannot be reached by traversal from the start node or

Reassociate floating point mul/div instructions, which have mul/div inputs, both of which contain a constant. e.g: (a * C0) / (C1 / b) = (C0 / C1) *

(a == true) = a (a == false) = !a (a != true) = !a (a != false) = a

This rule handles divisions by 1 or vector 1 (a / 1 => a).

This rule handles modulo from division by 1 or vector 1 (a % 1 => 0).

Registers the decoration for the given <id>

Remove the child loop form this loop.

Replaces load instructions with composite construct instructions in all the users of the loads. |loads_to_composites| is the mapping from each load to

Response is called near the start of processing any response.

Sets the associated context for this module