github/tfhe-rs
1
1
Fork 0
mirror of https://github.com/zama-ai/tfhe-rs.git synced 2026-01-09 14:47:56 -05:00
Code Issues Packages Projects Releases Wiki Activity

chore(tfhe): rename params

Browse Source
This commit is contained in:
Arthur Meyre
2023-06-13 17:14:51 +02:00
parent a8e8a2e555
commit b09dc1f3ca
136 changed files with 2955 additions and 2797 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
scripts/integer-tests.sh
View File

@@ -72,24 +72,24 @@ if [[ "${BIG_TESTS_INSTANCE}" != TRUE ]]; then
# block pbs are too slow for high params
# mul_crt_4_4 is extremely flaky (~80% failure)
# test_wopbs_bivariate_crt_wopbs_param_message generate tables that are too big at the moment
# test_integer_smart_mul_param_message_4_carry_4 is too slow
# test_integer_smart_mul_param_message_4_carry_4_ks_pbs is too slow
# so is test_integer_default_add_sequence_multi_thread_param_message_4_carry_4
filter_expression="""\
test(/^integer::.*${multi_bit}/) \
${not_multi_bit:+"and not test(~${not_multi_bit})"} \
and not test(/.*_block_pbs(_base)?_param_message_[34]_carry_[34]$/) \
and not test(~mul_crt_param_message_4_carry_4) \
and not test(/.*test_wopbs_bivariate_crt_wopbs_param_message_[34]_carry_[34]$/) \
and not test(/.*test_integer_smart_mul_param_message_4_carry_4$/) \
and not test(/.*test_integer_default_add_sequence_multi_thread_param_message_4_carry_4$/)"""
and not test(/.*_block_pbs(_base)?_param_message_[34]_carry_[34]_ks_pbs$/) \
and not test(~mul_crt_param_message_4_carry_4_ks_pbs) \
and not test(/.*test_wopbs_bivariate_crt_wopbs_param_message_[34]_carry_[34]_ks_pbs$/) \
and not test(/.*test_integer_smart_mul_param_message_4_carry_4_ks_pbs$/) \
and not test(/.*test_integer_default_add_sequence_multi_thread_param_message_4_carry_4_ks_pbs$/)"""
else
# test only fast default operations with only two set of parameters
filter_expression="""\
test(/^integer::.*${multi_bit}/) \
${not_multi_bit:+"and not test(~${not_multi_bit})"} \
and test(/.*_default_.*/) \
and not test(/.*_param_message_[14]_carry_[14]$/) \
and not test(/.*default_add_sequence_multi_thread_param_message_3_carry_3$/)"""
and not test(/.*_param_message_[14]_carry_[14]_ks_pbs$/) \
and not test(/.*default_add_sequence_multi_thread_param_message_3_carry_3_ks_pbs$/)"""
fi
cargo "${RUST_TOOLCHAIN}" nextest run \
@@ -114,24 +114,24 @@ else
# block pbs are too slow for high params
# mul_crt_4_4 is extremely flaky (~80% failure)
# test_wopbs_bivariate_crt_wopbs_param_message generate tables that are too big at the moment
# test_integer_smart_mul_param_message_4_carry_4 is too slow
# test_integer_smart_mul_param_message_4_carry_4_ks_pbs is too slow
# so is test_integer_default_add_sequence_multi_thread_param_message_4_carry_4
filter_expression="""\
test(/^integer::.*${multi_bit}/) \
${not_multi_bit:+"and not test(~${not_multi_bit})"} \
and not test(/.*_block_pbs(_base)?_param_message_[34]_carry_[34]$/) \
and not test(~mul_crt_param_message_4_carry_4) \
and not test(/.*test_wopbs_bivariate_crt_wopbs_param_message_[34]_carry_[34]$/) \
and not test(/.*test_integer_smart_mul_param_message_4_carry_4$/) \
and not test(/.*test_integer_default_add_sequence_multi_thread_param_message_4_carry_4$/)"""
and not test(/.*_block_pbs(_base)?_param_message_[34]_carry_[34]_ks_pbs$/) \
and not test(~mul_crt_param_message_4_carry_4_ks_pbs) \
and not test(/.*test_wopbs_bivariate_crt_wopbs_param_message_[34]_carry_[34]_ks_pbs$/) \
and not test(/.*test_integer_smart_mul_param_message_4_carry_4_ks_pbs$/) \
and not test(/.*test_integer_default_add_sequence_multi_thread_param_message_4_carry_4_ks_pbs$/)"""
else
# test only fast default operations with only two set of parameters
filter_expression="""\
test(/^integer::.*${multi_bit}/) \
${not_multi_bit:+"and not test(~${not_multi_bit})"} \
and test(/.*_default_.*/) \
and not test(/.*_param_message_[14]_carry_[14]$/) \
and not test(/.*default_add_sequence_multi_thread_param_message_3_carry_3$/)"""
and not test(/.*_param_message_[14]_carry_[14]_ks_pbs$/) \
and not test(/.*default_add_sequence_multi_thread_param_message_3_carry_3_ks_pbs$/)"""
fi
num_cpu_threads="$(${nproc_bin})"

64
scripts/shortint-tests.sh
View File

@@ -75,26 +75,26 @@ if [[ "${BIG_TESTS_INSTANCE}" != TRUE ]]; then
if [[ "${FAST_TESTS}" != TRUE ]]; then
filter_expression_small_params="""\
(\
test(/^shortint::.*_param${multi_bit}_message_1_carry_1/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_2/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_3/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_4/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_5/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_6/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_1/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_2/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_3/) \
or test(/^shortint::.*_param${multi_bit}_message_3_carry_1/) \
or test(/^shortint::.*_param${multi_bit}_message_3_carry_2/) \
or test(/^shortint::.*_param${multi_bit}_message_3_carry_3/) \
test(/^shortint::.*_param${multi_bit}_message_1_carry_1_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_2_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_3_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_4_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_5_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_6_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_1_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_2_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_3_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_3_carry_1_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_3_carry_2_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_3_carry_3_ks_pbs/) \
)\
and not test(~smart_add_and_mul)""" # This test is too slow
else
filter_expression_small_params="""\
(\
test(/^shortint::.*_param${multi_bit}_message_2_carry_1/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_2/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_3/) \
test(/^shortint::.*_param${multi_bit}_message_2_carry_1_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_2_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_3_ks_pbs/) \
)\
and not test(~smart_add_and_mul)""" # This test is too slow
fi
@@ -112,7 +112,7 @@ and not test(~smart_add_and_mul)""" # This test is too slow
if [[ "${FAST_TESTS}" != TRUE ]]; then
filter_expression_big_params="""\
(\
test(/^shortint::.*_param${multi_bit}_message_4_carry_4/) \
test(/^shortint::.*_param${multi_bit}_message_4_carry_4_ks_pbs/) \
) \
and not test(~smart_add_and_mul)"""
@@ -139,27 +139,27 @@ else
if [[ "${FAST_TESTS}" != TRUE ]]; then
filter_expression="""\
(\
test(/^shortint::.*_param${multi_bit}_message_1_carry_1/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_2/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_3/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_4/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_5/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_6/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_1/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_2/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_3/) \
or test(/^shortint::.*_param${multi_bit}_message_3_carry_1/) \
or test(/^shortint::.*_param${multi_bit}_message_3_carry_2/) \
or test(/^shortint::.*_param${multi_bit}_message_3_carry_3/) \
or test(/^shortint::.*_param${multi_bit}_message_4_carry_4/) \
test(/^shortint::.*_param${multi_bit}_message_1_carry_1_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_2_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_3_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_4_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_5_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_1_carry_6_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_1_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_2_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_3_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_3_carry_1_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_3_carry_2_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_3_carry_3_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_4_carry_4_ks_pbs/) \
)\
and not test(~smart_add_and_mul)""" # This test is too slow
else
filter_expression="""\
(\
test(/^shortint::.*_param${multi_bit}_message_2_carry_1/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_2/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_3/) \
test(/^shortint::.*_param${multi_bit}_message_2_carry_1_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_2_ks_pbs/) \
or test(/^shortint::.*_param${multi_bit}_message_2_carry_3_ks_pbs/) \
)\
and not test(~smart_add_and_mul)""" # This test is too slow
fi