Returns whether or not a function<id> is the target of OpFunctionCall.

Signed or Unsigned Integer Format

Returns true if the type is a scalar integer type.

Returns true if the operand holds a literal number

Returns true if allowing localsizeid, either because the environment always allows it, or because it is enabled from the command-line.

Returns true if it is an OpenCL.DebugInfo.100 instruction.

Is the ID the type of a pointer to a storage buffer: BufferBlock-decorated struct in uniform storage class, or Block-decorated struct in StorageBuffer

Is the ID the type of a pointer to a storage image? That is, the pointee type is an image type which is known to not use a sampler.

Is the ID the type of a pointer to a tensor? That is, the pointee type is a tensor type.

Is the ID the type of a pointer to a uniform block: Block-decorated struct in uniform storage class? The result is only valid after internal method Ch

Return true if |val| is a power of 2.

Returns true if using relaxed block layout, equivalent to VK_KHR_relaxed_block_layout.

IsResult returns true if k is used to store the result of an instruction.

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

Returns true if the struct type with the given Id has a BuiltIn member.

Vulkan 1.4 only added required features.

True if instruction defines a type that can have a null value, as defined by the SPIR-V spec. Tracks composite-type components through module to chec

Returns true if the type is unknown.

A helper function to check the type for component wise operations. Returns true if the type: 1) is bool type; 2) is 32-bit int type; 3) is vector of b

Checks that the Resuld <id> is within the valid bound.

Ensure the number of variables of the given class does not exceed the limit.

Checks that the number of OpTypeStruct members is within the limit.

Checks that the number of (literal, label) pairs in OpSwitch is within the limit.

Validates that literal numbers are represented according to the spec

Validates correctness of logical instructions.

For a given instruction, extracts its opcode, type id and operand words as an array of keys, looks up the trie to find a result id which is stored wit

Records a new mapping between |inst| and |const_value|. This updates the two mappings |id_to_const_val_| and |const_val_to_id_|.

Records a mapping between |inst| and the constant value generated by it. It returns true if a new Constant was successfully mapped, false if |inst| ge

Marks this phi candidate as a trivial copy of |orig_id|.

Marks this phi candidate as incomplete.

Mark this loop to be removed later by a call to LoopDescriptor::PostModificationCleanup.