Validates a SPIR-V binary for correctness. Any errors will be written into
*diagnostic if diagnostic is non-null, otherwise the context’s message
consumer will be used.
Validates a SPIR-V binary for correctness. Uses the provided Validator
options. Any errors will be written into *diagnostic if diagnostic is
non-null, otherwise the context’s message consumer will be used.
Creates a Validator options object with default options. Returns a valid
options object. The object remains valid until it is passed into
spvValidatorOptionsDestroy.
Destroys the given Validator options object.
Records whether or not the validator should relax the rules because it is
expected that the optimizations will make the code legal.
Records the maximum Universal Limit that is considered valid in the given
Validator options object. argument must be a valid options object.
Records whether the validator should use “relaxed” block layout rules.
Relaxed layout rules are described by Vulkan extension
VK_KHR_relaxed_block_layout, and they affect uniform blocks, storage blocks,
and push constants.
Records whether or not the validator should relax the rules on pointer usage
in logical addressing mode.
Record whether or not the validator should relax the rules on types for
stores to structs. When relaxed, it will allow a type mismatch as long as
the types are structs with the same layout. Two structs have the same layout
if
Records whether the validator should use “scalar” block layout rules.
Scalar layout rules are more permissive than relaxed block layout.
Records whether or not the validator should skip validating standard
uniform/storage block layout.
Records whether the validator should use standard block layout rules for
uniform blocks.