SPIRV-Tools/source/val
Ryan Harrison 981763ec74
Ensure correct Addressing and Memory model set for WebGPU (#2093)
Adding validation that the addressing declared by OpMemoryModel is
Logical and the memory model declared is VulkanKHR. Updating a bunch
of tests that were broken by this.

Fixes #2060
2018-11-21 16:41:59 -05:00
..
basic_block.cpp Cleanup includes. (#1795) 2018-08-03 15:06:09 -04:00
basic_block.h Cleanup includes. (#1795) 2018-08-03 15:06:09 -04:00
construct.cpp Fix bug in construct block calculation (#1964) 2018-10-10 11:14:01 -04:00
construct.h Cleanup includes. (#1795) 2018-08-03 15:06:09 -04:00
decoration.h Cleanup includes. (#1795) 2018-08-03 15:06:09 -04:00
function.cpp Cleanup includes. (#1795) 2018-08-03 15:06:09 -04:00
function.h Cleanup includes. (#1795) 2018-08-03 15:06:09 -04:00
instruction.cpp Cleanup includes. (#1795) 2018-08-03 15:06:09 -04:00
instruction.h Cleanup includes. (#1795) 2018-08-03 15:06:09 -04:00
validate_adjacency.cpp Add passes to propagate and eliminate redundant line instructions (#2027). (#2039) 2018-11-15 14:06:17 -05:00
validate_annotation.cpp Check forbidden Annotation instructions for WebGPU env (#2090) 2018-11-20 16:40:38 -05:00
validate_arithmetics.cpp Cleanup includes. (#1795) 2018-08-03 15:06:09 -04:00
validate_atomics.cpp Vulkan memory model: semantics validation 2018-11-19 11:44:20 -05:00
validate_barriers.cpp Vulkan memory model: semantics validation 2018-11-19 11:44:20 -05:00
validate_bitwise.cpp Update diag() usage in validate_bitwise. (#1757) 2018-08-01 09:19:37 -04:00
validate_builtins.cpp Allow InstanceId for NV ray tracing (#2049) 2018-11-14 15:03:40 -05:00
validate_capability.cpp Add support for VK_EXT_Transform_feedback capabilities (#2088) 2018-11-20 12:41:03 -05:00
validate_cfg.cpp Catch branch condition being a type 2018-11-16 16:40:39 -05:00
validate_composites.cpp Validate component literals for OpVectorShuffle in WebGPU environment (#2077) 2018-11-19 14:32:18 -05:00
validate_constants.cpp Moving constant opcode validation into a new file 2018-08-21 17:30:26 -04:00
validate_conversion.cpp Catch invalid input type to OpConvertUToPtr (#2078) 2018-11-19 15:08:38 -05:00
validate_datarules.cpp Update diag() calls in validate_datarules. (#1763) 2018-08-01 10:35:19 -04:00
validate_debug.cpp Validate that debugging instructions are not present for WebGPU (#2089) 2018-11-20 16:12:28 -05:00
validate_decorations.cpp Validator: Support VK_EXT_scalar_block_layout 2018-11-16 15:55:30 -05:00
validate_derivatives.cpp Add support for Nvidia Turing extensions 2018-09-19 20:46:14 -04:00
validate_execution_limitations.cpp Split function opcode validation into new files. 2018-08-13 17:04:57 -04:00
validate_ext_inst.cpp Refactor where opcodes are validated 2018-08-07 10:29:30 -04:00
validate_function.cpp Validate correct opcode uses of OpFunction 2018-08-14 10:13:06 -04:00
validate_id.cpp Change handling of unknown extentions in validtor. (#1951) 2018-10-03 15:59:40 -04:00
validate_image.cpp Validating for new image operands 2018-10-11 17:47:18 -04:00
validate_instruction.cpp Ensure correct Addressing and Memory model set for WebGPU (#2093) 2018-11-21 16:41:59 -05:00
validate_interfaces.cpp Fixing instances of iteration over unordered containers 2018-08-23 14:49:10 -04:00
validate_layout.cpp Update diag() calls in validate_layout. (#1770) 2018-08-01 12:01:35 -04:00
validate_literals.cpp Update diag() calls in validate_literals. (#1771) 2018-08-01 12:41:46 -04:00
validate_logicals.cpp Update diag() calls in validate_logicals. (#1772) 2018-08-01 12:41:57 -04:00
validate_memory.cpp Ensure for OpVariable that result type and storage class operand agree (#2052) 2018-11-16 11:22:11 -05:00
validate_mode_setting.cpp Validator: TaskNV can use LocalSize or LocalSizeId (#1970) 2018-10-12 08:54:52 -04:00
validate_non_uniform.cpp Validator: OpGroupNonUniformBallotBitCount validation (#1486) 2018-09-26 15:52:39 -04:00
validate_primitives.cpp Refactor where opcodes are validated 2018-08-07 10:29:30 -04:00
validate_type.cpp Add validation check for arrays of void type. (#1880) 2018-09-10 09:21:32 -04:00
validate.cpp Validate the id bound. (#2031) 2018-11-06 11:30:19 -05:00
validate.h Change handling of unknown extentions in validtor. (#1951) 2018-10-03 15:59:40 -04:00
validation_state.cpp Vulkan memory model: semantics validation 2018-11-19 11:44:20 -05:00
validation_state.h Validator: Support VK_EXT_scalar_block_layout 2018-11-16 15:55:30 -05:00