SPIRV-Tools/test/reduce
alan-baker 05de650371
Use structural reachability in CFG checks (#4849)
Fixes https://crbug.com/oss-fuzz48578

* Adds structural reachability to basic blocks
  * calculated in same manner as reachability, but using structural
    successors
* Change structured CFG validation to use structural reachability
  instead of reachability
* Fix some invalid reducer cases
2022-07-06 17:43:32 -04:00
..
CMakeLists.txt spirv-reduce: Eliminate skeletal structured control flow construct (#4360) 2021-07-06 07:14:36 +01:00
conditional_branch_to_simple_conditional_branch_test.cpp spirv-reduce: Support reducing a specific function (#3774) 2020-09-11 06:29:43 +01:00
merge_blocks_test.cpp spirv-reduce: Allow merging unreachable blocks (#4303) 2021-06-28 23:05:30 +01:00
operand_to_constant_test.cpp spirv-reduce: Support reducing a specific function (#3774) 2020-09-11 06:29:43 +01:00
operand_to_dominating_id_test.cpp spirv-reduce: Support reducing a specific function (#3774) 2020-09-11 06:29:43 +01:00
operand_to_undef_test.cpp spirv-reduce: Support reducing a specific function (#3774) 2020-09-11 06:29:43 +01:00
reduce_test_util.cpp spirv-reduce: Eliminate skeletal structured control flow construct (#4360) 2021-07-06 07:14:36 +01:00
reduce_test_util.h reduce: miscellaneous fixes (#2494) 2019-04-08 19:37:17 +01:00
reducer_test.cpp spirv-reduce: Support reducing a specific function (#3774) 2020-09-11 06:29:43 +01:00
remove_block_test.cpp spirv-reduce: Support reducing a specific function (#3774) 2020-09-11 06:29:43 +01:00
remove_function_test.cpp spirv-reduce: Support reducing a specific function (#3774) 2020-09-11 06:29:43 +01:00
remove_selection_test.cpp spirv-reduce: Support reducing a specific function (#3774) 2020-09-11 06:29:43 +01:00
remove_unused_instruction_test.cpp spirv-reduce: Support reducing a specific function (#3774) 2020-09-11 06:29:43 +01:00
remove_unused_struct_member_test.cpp spirv-reduce: Support reducing a specific function (#3774) 2020-09-11 06:29:43 +01:00
simple_conditional_branch_to_branch_test.cpp spirv-reduce: Support reducing a specific function (#3774) 2020-09-11 06:29:43 +01:00
structured_construct_to_block_test.cpp spirv-reduce: Eliminate skeletal structured control flow construct (#4360) 2021-07-06 07:14:36 +01:00
structured_loop_to_selection_test.cpp Use structural reachability in CFG checks (#4849) 2022-07-06 17:43:32 -04:00
validation_during_reduction_test.cpp spirv-reduce: Support reducing a specific function (#3774) 2020-09-11 06:29:43 +01:00