Skip to content

Commit

Permalink
Removed unsupported gpu-verify tests
Browse files Browse the repository at this point in the history
  • Loading branch information
Natalia Gavrilenko committed Jun 6, 2024
1 parent 0cd8c87 commit bfd85bb
Show file tree
Hide file tree
Showing 197 changed files with 0 additions and 25,114 deletions.
215 changes: 0 additions & 215 deletions dartagnan/src/test/java/com/dat3m/dartagnan/spirv/gpuverify/SpirvChecksTest.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -130,221 +130,6 @@ public static Iterable<Object[]> data() throws IOException {
{"global_size/local_size_fail_divide_global_size.spv.dis", 1, PASS},
{"global_size/mismatch_dims.spv.dis", 1, PASS},
{"global_size/num_groups_and_global_size.spv.dis", 1, PASS},

// Unsupported large array (4K elements) leading to OOM
// {"misc/fail/2d_array_race.spv.dis", 1, PASS},

// Unsupported null as a pointer
// {"null_pointers/atomic_null.spv.dis", 1, PASS},

// Unsupported cuda warps
// {"warpsync/intragroup_scan.spv.dis", 1, PASS},
// {"warpsync/scan_warp.spv.dis", 1, PASS},

// Unsupported barriers in a loop
// {"barrier_intervals/test3.spv.dis", 1, PASS},
// {"barrier_intervals/test4.spv.dis", 1, PASS},
// {"misc/pass/misc12.spv.dis", 1, PASS},
// {"skeletonbinomialoptions.spv.dis", 1, PASS},

// Unsupported non-constant tags
// {"inter_group_and_barrier_flag_tests/fail/bad_read_then_write.spv.dis", 1, PASS},
// {"inter_group_and_barrier_flag_tests/fail/bad_write_then_read.spv.dis", 1, PASS},
// {"inter_group_and_barrier_flag_tests/pass/read_then_write.spv.dis", 1, PASS},
// {"inter_group_and_barrier_flag_tests/pass/write_then_read.spv.dis", 1, PASS},

// Unsupported vector registers
// {"annotation_tests/test_axiom.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test13.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test7.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test8.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test9.spv.dis", 1, PASS},
// {"induction_variable.spv.dis", 1, PASS},
// {"inter_group_and_barrier_flag_tests/fail/missing_global_barrier_flag.spv.dis", 1, PASS},
// {"inter_group_and_barrier_flag_tests/fail/sync_within_group_wrong_flag.spv.dis", 1, PASS},
// {"inter_group_and_barrier_flag_tests/pass/global_barrier.spv.dis", 1, PASS},
// {"inter_group_and_barrier_flag_tests/pass/sync_within_group.spv.dis", 1, PASS},
// {"k-induction/amazingreduction.spv.dis", 1, PASS},
// {"reducedstrength_generalised.spv.dis", 1, PASS},
// {"test_2d_local_index_inference.spv.dis", 1, PASS},
// {"test_global_id_inference.spv.dis", 1, PASS},
// {"test_line_number_problem.spv.dis", 1, PASS},
// {"test_mod_invariants/local_reduce_strength.spv.dis", 1, PASS},

// Unsupported control flow
// {"test_for_ssa_bug.spv.dis", 1, PASS},
// {"transitiveclosuresimplified.spv.dis", 1, PASS},

// Unsupported spir-v ops
// {"alignment/int3int4.spv.dis", 1, PASS},
// {"alignment/race_location.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test1.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test10.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test14.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test15.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test16.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test17.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test18.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test2.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test4.spv.dis", 1, PASS},
// {"async_work_group_copy/fail/test5.spv.dis", 1, PASS},
// {"async_work_group_copy/pass/test1.spv.dis", 1, PASS},
// {"async_work_group_copy/pass/test2.spv.dis", 1, PASS},
// {"async_work_group_copy/pass/test3.spv.dis", 1, PASS},
// {"async_work_group_copy/pass/test4.spv.dis", 1, PASS},
// {"async_work_group_copy/pass/test5.spv.dis", 1, PASS},
// {"async_work_group_copy/pass/test6.spv.dis", 1, PASS},
// {"async_work_group_copy/pass/test7.spv.dis", 1, PASS},
// {"async_work_group_copy/pass/test8.spv.dis", 1, PASS},
// {"async_work_group_copy/pass/test9.spv.dis", 1, PASS},
// {"atomics/definitions_atom_int.spv.dis", 1, PASS},
// {"atomics/definitions_float.spv.dis", 1, PASS},
// {"atomics/definitions_int.spv.dis", 1, PASS},
// {"atomics/definitions_long.spv.dis", 1, PASS},
// {"atomics/displaced.spv.dis", 1, PASS},
// {"atomics/mismatched_types/int_add_with_float.spv.dis", 1, PASS},
// {"atomics/mismatched_types/int_add_with_long.spv.dis", 1, PASS},
// {"atomics/mismatched_types/int_add_with_short.spv.dis", 1, PASS},
// {"atomics/pointers.spv.dis", 1, PASS},
// {"atomics/refined_atomic_abstraction/many_accesses.spv.dis", 1, PASS},
// {"atomics/refined_atomic_abstraction/one_access.spv.dis", 1, PASS},
// {"atomics/refined_atomic_abstraction/predication.spv.dis", 1, PASS},
// {"barrierconditionalkernelparam.spv.dis", 1, PASS},
// {"benign_race_tests/fail/writetiddiv64_offbyone.spv.dis", 1, PASS},
// {"benign_race_tests/fail/writewritearray_adversarial.spv.dis", 1, PASS},
// {"benign_race_tests/pass/writeinloop.spv.dis", 1, PASS},
// {"ceil.spv.dis", 1, PASS},
// {"constantnotparam.spv.dis", 1, PASS},
// {"derivedfrombinomialoptions.spv.dis", 1, PASS},
// {"floatcastrequired.spv.dis", 1, PASS},
// {"get_global_id.spv.dis", 1, PASS},
// {"globalarray/fail.spv.dis", 1, PASS},
// {"globalarray/pass.spv.dis", 1, PASS},
// {"imagetests/fail2dimagecopy.spv.dis", 1, PASS},
// {"imagetests/test2dimagecopy.spv.dis", 1, PASS},
// {"imagetests/testsampler.spv.dis", 1, PASS},
// {"imagetests/testsampler2.spv.dis", 1, PASS},
// {"misc/fail/4d_array_of_vectors_race.spv.dis", 1, PASS},
// {"misc/fail/miscfail9.spv.dis", 1, PASS},
// {"misc/fail/vector_element_race.spv.dis", 1, PASS},
// {"misc/pass/misc15.spv.dis", 1, PASS},
// {"misc/pass/misc16.spv.dis", 1, PASS},
// {"misc/pass/misc7.spv.dis", 1, PASS},
// {"misc/pass/misc8.spv.dis", 1, PASS},
// {"noraceduetoreturn.spv.dis", 1, PASS},
// {"null_pointers/store_to_null_and_non_null.spv.dis", 1, PASS},
// {"pointeranalysistests/manyprocedures.spv.dis", 1, PASS},
// {"pointeranalysistests/manyproceduresinlined.spv.dis", 1, PASS},
// {"pointeranalysistests/testbasicaliasing.spv.dis", 1, PASS},
// {"pointeranalysistests/testbasicaliasing2.spv.dis", 1, PASS},
// {"pointeranalysistests/testbasicpointerarithmetic.spv.dis", 1, PASS},
// {"pointeranalysistests/testbasicpointerarithmetic2.spv.dis", 1, PASS},
// {"pointeranalysistests/testinterprocedural.spv.dis", 1, PASS},
// {"pointertests/test_copy_between_memory_spaces2.spv.dis", 1, PASS},
// {"pow2/64bit_loopcounter.spv.dis", 1, PASS},
// {"pow2/64bit_relational.spv.dis", 1, PASS},
// {"saturate/uadd.spv.dis", 1, PASS},
// {"saturate/usub.spv.dis", 1, PASS},
// {"shuffle/shuffle.spv.dis", 1, PASS},
// {"simplebinomialoptions.spv.dis", 1, PASS},
// {"sourcelocation_tests/races/fail/write_write/elem_width_16.spv.dis", 1, PASS},
// {"ternarytest.spv.dis", 1, PASS},
// {"ternarytest2.spv.dis", 1, PASS},
// {"test_for_get_group_id.spv.dis", 1, PASS},
// {"vectortests/float4arrayaccess.spv.dis", 1, PASS},
// {"vectortests/int3arrayaccess.spv.dis", 1, PASS},
// {"vectortests/test_paren.spv.dis", 1, PASS},
// {"warpsync/2d.spv.dis", 1, PASS},
// {"warpsync/broken_shuffle.spv.dis", 1, PASS},
// {"warpsync/shuffle.spv.dis", 1, PASS},

// Compiler eliminated reads of unused value
// {"misc/fail/miscfail8.spv.dis", 1, PASS},
// {"pointertests/test_copy_between_memory_spaces.spv.dis", 1, PASS},
// {"sourcelocation_tests/race_from_call.spv.dis", 1, PASS},
// {"sourcelocation_tests/race_from_call_in_loop.spv.dis", 1, PASS},
// {"sourcelocation_tests/races_from_indirect_calls.spv.dis", 1, PASS},

// Compiler eliminated the whole main function
// {"addressofinit.spv.dis", 1, PASS},
// {"array_bounds_tests/array_in_array.spv.dis", 1, PASS},
// {"array_bounds_tests/array_in_array_2.spv.dis", 1, PASS},
// {"array_bounds_tests/array_in_array_param.spv.dis", 1, PASS},
// {"array_bounds_tests/multi_dim_array.spv.dis", 1, PASS},
// {"array_bounds_tests/multi_dim_array_fail_upper.spv.dis", 1, PASS},
// {"array_bounds_tests/negative_index_multi_dim.spv.dis", 1, PASS},
// {"array_bounds_tests/negative_index_multi_dim_fail.spv.dis", 1, PASS},
// {"array_bounds_tests/private_array.spv.dis", 1, PASS},
// {"array_bounds_tests/realign_simple.spv.dis", 1, PASS},
// {"array_bounds_tests/realign_simple_fail.spv.dis", 1, PASS},
// {"array_bounds_tests/simple_array.spv.dis", 1, PASS},
// {"array_bounds_tests/simple_array_fail_lower.spv.dis", 1, PASS},
// {"array_bounds_tests/simple_array_fail_upper.spv.dis", 1, PASS},
// {"array_bounds_tests/simple_array_fail_var.spv.dis", 1, PASS},
// {"basic1.spv.dis", 1, PASS},
// {"benign_race_tests/pass/writeafterread.spv.dis", 1, PASS},
// {"bitand.spv.dis", 1, PASS},
// {"bitnot.spv.dis", 1, PASS},
// {"bitor.spv.dis", 1, PASS},
// {"bitxor.spv.dis", 1, PASS},
// {"bool_bv_test.spv.dis", 1, PASS},
// {"casttofloat.spv.dis", 1, PASS},
// {"checkarrays/fail/arraydoesnotexist1.spv.dis", 1, PASS},
// {"checkarrays/fail/arraydoesnotexist2.spv.dis", 1, PASS},
// {"conditional_int_test.spv.dis", 1, PASS},
// {"derived_from_uniformity_analysis_bug.spv.dis", 1, PASS},
// {"derivedfrombinomialoptions2.spv.dis", 1, PASS},
// {"fail_equality_and_adversarial.spv.dis", 1, PASS},
// {"float_constant_test2.spv.dis", 1, PASS},
// {"floatrelationalop.spv.dis", 1, PASS},
// {"leftshiftequals.spv.dis", 1, PASS},
// {"localmultidimarraydecl.spv.dis", 1, PASS},
// {"misc/fail/4d_array_of_structs_race.spv.dis", 1, PASS},
// {"misc/fail/4d_array_race.spv.dis", 1, PASS},
// {"misc/fail/4d_array_with_casting.spv.dis", 1, PASS},
// {"misc/fail/miscfail10.spv.dis", 1, PASS},
// {"misc/pass/misc3.spv.dis", 1, PASS},
// {"misc/pass/misc4.spv.dis", 1, PASS},
// {"modifyparam.spv.dis", 1, PASS},
// {"multidimarrays/test1.spv.dis", 1, PASS},
// {"multidimarrays/test2.spv.dis", 1, PASS},
// {"multidimarrays/test3.spv.dis", 1, PASS},
// {"multidimarrays/test4.spv.dis", 1, PASS},
// {"multiplelocals.spv.dis", 1, PASS},
// {"multiplelocals2.spv.dis", 1, PASS},
// {"notunaryoptest.spv.dis", 1, PASS},
// {"null_pointers/load_from_null.spv.dis", 1, PASS},
// {"null_statement.spv.dis", 1, PASS},
// {"pointertests/param_addressof.spv.dis", 1, PASS},
// {"pointertests/pointerarith.spv.dis", 1, PASS},
// {"pointertests/test_derived_from_binomial_opts.spv.dis", 1, PASS},
// {"pointertests/test_opencl_local_array.spv.dis", 1, PASS},
// {"pointertests/test_opencl_local_param.spv.dis", 1, PASS},
// {"pointertests/test_pass_value_from_array.spv.dis", 1, PASS},
// {"predicated_undef.spv.dis", 1, PASS},
// {"reducedstrengthnonloopbug.spv.dis", 1, PASS},
// {"return_tests/id_dependent_return.spv.dis", 1, PASS},
// {"return_tests/multiloop_return.spv.dis", 1, PASS},
// {"return_tests/multiloop_return_simplified.spv.dis", 1, PASS},
// {"return_tests/simple_return.spv.dis", 1, PASS},
// {"rightshiftequals.spv.dis", 1, PASS},
// {"shared_int.spv.dis", 1, PASS},
// {"simpleparampassing.spv.dis", 1, PASS},
// {"simpleprocedurecall.spv.dis", 1, PASS},
// {"simplereturn.spv.dis", 1, PASS},
// {"test_address_of_bug.spv.dis", 1, PASS},
// {"test_float_neq.spv.dis", 1, PASS},
// {"test_structs/store_array_element.spv.dis", 1, PASS},
// {"test_structs/store_element.spv.dis", 1, PASS},
// {"test_structs/store_struct_element.spv.dis", 1, PASS},
// {"unusedreturn.spv.dis", 1, PASS},
// {"vectortests/addressofvector.spv.dis", 1, PASS},
// {"vectortests/double2simpleaccess.spv.dis", 1, PASS},
// {"vectortests/double4simpleaccess.spv.dis", 1, PASS},
// {"vectortests/float2simpleaccess.spv.dis", 1, PASS},
// {"vectortests/float4simpleaccess.spv.dis", 1, PASS},
// {"vectortests/vectorsplat.spv.dis", 1, PASS},
// {"vectortests/vectorswizzle.spv.dis", 1, PASS},
});
}

Expand Down
Loading

0 comments on commit bfd85bb

Please sign in to comment.