SPIRV-Tools/test/fuzz
Alastair Donaldson 88faf63ad3
spirv-fuzz: Clamp statically out-of-bounds accesses in code donation (#3315)
It has been resolved that statically out-of-bounds accesses are not
invalid in SPIR-V (they lead to undefind behaviour at runtime but
should not cause a module to be rejected during validation).  This
change tolerates such accesses in donated code, clamping them in-bound
as part of making a function live-safe.
2020-04-27 14:24:54 +01:00
..
CMakeLists.txt spirv-fuzz: Make handling of synonym facts more efficient (#3301) 2020-04-20 19:02:49 +01:00
data_synonym_transformation_test.cpp spirv-fuzz: Make handling of synonym facts more efficient (#3301) 2020-04-20 19:02:49 +01:00
equivalence_relation_test.cpp spirv-fuzz: Improve the handling of equation facts (#3281) 2020-04-07 17:38:27 +01:00
fact_manager_test.cpp spirv-fuzz: Make handling of synonym facts more efficient (#3301) 2020-04-20 19:02:49 +01:00
fuzz_test_util.cpp spirv-fuzz: add dead blocks (#3135) 2020-01-13 22:04:01 +00:00
fuzz_test_util.h spirv-fuzz: Improve debugging facilities (#3074) 2019-11-27 18:05:56 +00:00
fuzzer_pass_add_useful_constructs_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
fuzzer_pass_construct_composites_test.cpp spirv-fuzz: Handle isomorphic types property in composite construction (#3262) 2020-04-02 18:33:19 +01:00
fuzzer_pass_donate_modules_test.cpp spirv-fuzz: Handle image storage class in donation (#3290) 2020-04-14 20:21:33 +01:00
fuzzer_replayer_test.cpp spirv-fuzz: Respect rules for OpSampledImage (#3287) 2020-04-14 20:17:42 +01:00
fuzzer_shrinker_test.cpp spirv-fuzz: Add validator options (#3254) 2020-04-02 14:37:59 +01:00
instruction_descriptor_test.cpp spirv-fuzz: fuzzer pass to adjust memory access operands (#2968) 2019-10-22 18:05:35 +01:00
transformation_access_chain_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_constant_boolean_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_constant_composite_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_constant_null_test.cpp spirv-fuzz: Transformation to add OpConstantNull (#3273) 2020-04-02 19:25:30 +01:00
transformation_add_constant_scalar_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_dead_block_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_dead_break_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_dead_continue_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_function_test.cpp spirv-fuzz: Clamp statically out-of-bounds accesses in code donation (#3315) 2020-04-27 14:24:54 +01:00
transformation_add_global_undef_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_global_variable_test.cpp spirv-fuzz: Improve support for compute shaders in donation (#3277) 2020-04-06 16:08:14 +01:00
transformation_add_local_variable_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_no_contraction_decoration_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_type_array_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_type_boolean_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_type_float_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_type_function_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_type_int_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_type_matrix_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_type_pointer_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_type_struct_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_add_type_vector_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_composite_construct_test.cpp spirv-fuzz: Make handling of synonym facts more efficient (#3301) 2020-04-20 19:02:49 +01:00
transformation_composite_extract_test.cpp spirv-fuzz: Make handling of synonym facts more efficient (#3301) 2020-04-20 19:02:49 +01:00
transformation_compute_data_synonym_fact_closure_test.cpp spirv-fuzz: Make handling of synonym facts more efficient (#3301) 2020-04-20 19:02:49 +01:00
transformation_copy_object_test.cpp spirv-fuzz: Make handling of synonym facts more efficient (#3301) 2020-04-20 19:02:49 +01:00
transformation_equation_instruction_test.cpp spirv-fuzz: Make handling of synonym facts more efficient (#3301) 2020-04-20 19:02:49 +01:00
transformation_function_call_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_load_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_merge_blocks_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_move_block_down_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_outline_function_test.cpp spirv-fuzz: Fix to outliner (#3302) 2020-04-15 11:39:33 +01:00
transformation_permute_function_parameters_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_replace_boolean_constant_with_constant_binary_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_replace_constant_with_uniform_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_replace_id_with_synonym_test.cpp spirv-fuzz: Do not replace the Sample argument in OpImageTexelPointer (#3311) 2020-04-27 14:23:11 +01:00
transformation_set_function_control_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_set_loop_control_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_set_memory_operands_mask_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_set_selection_control_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_split_block_test.cpp spirv-fuzz: Respect rules for OpSampledImage (#3287) 2020-04-14 20:17:42 +01:00
transformation_store_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_swap_commutable_operands_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_toggle_access_chain_instruction_test.cpp spirv-fuzz: Introduce TransformationContext (#3272) 2020-04-02 15:54:46 +01:00
transformation_vector_shuffle_test.cpp spirv-fuzz: Make handling of synonym facts more efficient (#3301) 2020-04-20 19:02:49 +01:00
uniform_buffer_element_descriptor_test.cpp Represent uniform facts via descriptor set and binding. (#2681) 2019-06-19 20:45:14 +01:00