Returns true if all nested loops have been marked for removal.

Validates correctness of arithmetic instructions.

Returns true if |decoration| cannot be applied to the same id more than once.

Returns true if |decoration| cannot be applied to the same member more than once.

Validates correctness of atomic instructions.

Validates correctness of barrier instructions.

Emits the graph preamble.

Validates correctness of bitwise instructions.

Creates a mapping of all definitions to their users (except OpConstant). OpConstants are skipped because they cannot be disassembled in isolation.

Returns an OpCompositeConstruct instruction that build an object with |type_id| out of the values in |values_inserted|. Each value will be placed at

Rebuild the |node| eliminating, if it exists, the recurrent term which belongs to the |loop|.

Returns true if the given instruction's result id could have a SpecId decoration.

Returns true if the loop can be unswitched. Can be unswitch if: - The loop has no instructions that prevents it (such as barrier); - The loop has one

Canonicalize the flag in |argv[argi]| of the form '--pass arg' into '--pass=arg'. The optimizer only accepts arguments to pass names that use the form

Returns SPV_ERROR_INVALID_CAPABILITY and emits a diagnostic if the instruction is invalid because the required capability isn't declared in the module

Validates that capability declarations use operands allowed in the current context.

Performs compile time check that all spv::ImageOperandsMask::XXX cases are handled in this module. If spv::ImageOperandsMask::XXX list changes, this f

Returns SPV_SUCCESS if validation rules are satisfied for the Block decoration. Otherwise emits a diagnostic and returns something other than SPV_SUC

Checks whether a builtin variable is valid.

Returns SPV_SUCCESS if validation rules are satisfied for the Component decoration. Otherwise emits a diagnostic and returns something other than SPV

Check rules for decorations where we start from the decoration rather than the decorated object. Assumes each decoration on a group have been propaga

Checks whether proper decorations have been applied to the entry points.

Returns SPV_SUCCESS if validation rules are satisfied for FPRoundingMode decorations. Otherwise emits a diagnostic and returns something other than S

This function checks all ID definitions dominate their use in the CFG. This function will iterate over all ID definitions that are defined in the fun

Parses OpExtension instruction and logs warnings if unsuccessful.

Checks whether an imported variable is initialized by this module.

Returns SPV_SUCCESS if validation rules are satisfied for NoSignedWrap or NoUnsignedWrap decorations. Otherwise emits a diagnostic and returns somethi

Returns SPV_SUCCESS if validation rules are satisfied for the NonReadable or NonWritable decoration. Otherwise emits a diagnostic and returns somethi

Returns SPV_SUCCESS if validation rules are satisfied for Uniform or UniformId decorations. Otherwise emits a diagnostic and returns something other t

Removes decorations on this type. For struct types, also removes element decorations.

anonymous namespace Validates correctness of composite instructions.

Computes the register liveness for |function_| and then estimate the register usage. The liveness algorithm works in 2 steps: - First, compute the liv

Generates tables for extended instructions Args: self extinsts: a list of extinst objects

Creates declarations for instruction tables. Populates self.header_ignore_decls, self.body_decls. Params: insts:

Generates the tables that the instruction and operand tables point to. The tables are: - the string table - t

Returns the string for the C definitions of the operand kind tables. An operand kind such as ImageOperands also has an associated

Contains returns true if p is in r.

If |skip_builtin| is true, returns true if |storage| contains bool within it and no storage that contains the bool is builtin. If |skip_builtin| is fa

Validates correctness of conversion instructions.

Count the number of trailing zeros in the binary representation of |constVal|.