Implementation notes: amd64, alder, crypto_sign/falcon1024dyn

Namespace violations

codec.o falcon1024dyn_avx2_comp_decode T
codec.o falcon1024dyn_avx2_comp_encode T
codec.o falcon1024dyn_avx2_max_FG_bits R
codec.o falcon1024dyn_avx2_max_fg_bits R
codec.o falcon1024dyn_avx2_max_sig_bits R
codec.o falcon1024dyn_avx2_modq_decode T
codec.o falcon1024dyn_avx2_modq_encode T
codec.o falcon1024dyn_avx2_trim_i16_decode T
codec.o falcon1024dyn_avx2_trim_i16_encode T
codec.o falcon1024dyn_avx2_trim_i8_decode T
codec.o falcon1024dyn_avx2_trim_i8_encode T
common.o falcon1024dyn_avx2_hash_to_point_ct T
common.o falcon1024dyn_avx2_hash_to_point_vartime T
common.o falcon1024dyn_avx2_is_short T
common.o falcon1024dyn_avx2_is_short_half T
fft.o falcon1024dyn_avx2_FFT T
fft.o falcon1024dyn_avx2_iFFT T
fft.o falcon1024dyn_avx2_poly_LDL_fft T
fft.o falcon1024dyn_avx2_poly_LDLmv_fft T
fft.o falcon1024dyn_avx2_poly_add T
fft.o falcon1024dyn_avx2_poly_add_muladj_fft T
fft.o falcon1024dyn_avx2_poly_adj_fft T
fft.o falcon1024dyn_avx2_poly_div_autoadj_fft T
fft.o falcon1024dyn_avx2_poly_div_fft T
fft.o falcon1024dyn_avx2_poly_invnorm2_fft T
fft.o falcon1024dyn_avx2_poly_merge_fft T
fft.o falcon1024dyn_avx2_poly_mul_autoadj_fft T
fft.o falcon1024dyn_avx2_poly_mul_fft T
fft.o falcon1024dyn_avx2_poly_muladj_fft T
fft.o falcon1024dyn_avx2_poly_mulconst T
fft.o falcon1024dyn_avx2_poly_mulselfadj_fft T
fft.o falcon1024dyn_avx2_poly_neg T
fft.o falcon1024dyn_avx2_poly_split_fft T
fft.o falcon1024dyn_avx2_poly_sub T
fpr.o falcon1024dyn_avx2_fpr_gm_tab R
fpr.o falcon1024dyn_avx2_fpr_p2_tab R
keygen.o falcon1024dyn_avx2_keygen T
rng.o falcon1024dyn_avx2_get_seed T
rng.o falcon1024dyn_avx2_prng_get_bytes T
rng.o falcon1024dyn_avx2_prng_init T
rng.o falcon1024dyn_avx2_prng_refill T
shake.o falcon1024dyn_avx2_i_shake256_extract T
shake.o falcon1024dyn_avx2_i_shake256_flip T
shake.o falcon1024dyn_avx2_i_shake256_init T
shake.o falcon1024dyn_avx2_i_shake256_inject T
sign.o falcon1024dyn_avx2_expand_privkey T
sign.o falcon1024dyn_avx2_gaussian0_sampler T
sign.o falcon1024dyn_avx2_sampler T
sign.o falcon1024dyn_avx2_sign_dyn T
sign.o falcon1024dyn_avx2_sign_tree T
vrfy.o falcon1024dyn_avx2_complete_private T
vrfy.o falcon1024dyn_avx2_compute_public T
vrfy.o falcon1024dyn_avx2_count_nttzero T
vrfy.o falcon1024dyn_avx2_is_invertible T
vrfy.o falcon1024dyn_avx2_to_ntt_monty T
vrfy.o falcon1024dyn_avx2_verify_raw T
vrfy.o falcon1024dyn_avx2_verify_recover T

Namespace violations

codec.o falcon1024dyn_fpu_comp_decode T
codec.o falcon1024dyn_fpu_comp_encode T
codec.o falcon1024dyn_fpu_max_FG_bits R
codec.o falcon1024dyn_fpu_max_fg_bits R
codec.o falcon1024dyn_fpu_max_sig_bits R
codec.o falcon1024dyn_fpu_modq_decode T
codec.o falcon1024dyn_fpu_modq_encode T
codec.o falcon1024dyn_fpu_trim_i16_decode T
codec.o falcon1024dyn_fpu_trim_i16_encode T
codec.o falcon1024dyn_fpu_trim_i8_decode T
codec.o falcon1024dyn_fpu_trim_i8_encode T
common.o falcon1024dyn_fpu_hash_to_point_ct T
common.o falcon1024dyn_fpu_hash_to_point_vartime T
common.o falcon1024dyn_fpu_is_short T
common.o falcon1024dyn_fpu_is_short_half T
fft.o falcon1024dyn_fpu_FFT T
fft.o falcon1024dyn_fpu_iFFT T
fft.o falcon1024dyn_fpu_poly_LDL_fft T
fft.o falcon1024dyn_fpu_poly_LDLmv_fft T
fft.o falcon1024dyn_fpu_poly_add T
fft.o falcon1024dyn_fpu_poly_add_muladj_fft T
fft.o falcon1024dyn_fpu_poly_adj_fft T
fft.o falcon1024dyn_fpu_poly_div_autoadj_fft T
fft.o falcon1024dyn_fpu_poly_div_fft T
fft.o falcon1024dyn_fpu_poly_invnorm2_fft T
fft.o falcon1024dyn_fpu_poly_merge_fft T
fft.o falcon1024dyn_fpu_poly_mul_autoadj_fft T
fft.o falcon1024dyn_fpu_poly_mul_fft T
fft.o falcon1024dyn_fpu_poly_muladj_fft T
fft.o falcon1024dyn_fpu_poly_mulconst T
fft.o falcon1024dyn_fpu_poly_mulselfadj_fft T
fft.o falcon1024dyn_fpu_poly_neg T
fft.o falcon1024dyn_fpu_poly_split_fft T
fft.o falcon1024dyn_fpu_poly_sub T
fpr.o falcon1024dyn_fpu_fpr_gm_tab R
fpr.o falcon1024dyn_fpu_fpr_p2_tab R
keygen.o falcon1024dyn_fpu_keygen T
rng.o falcon1024dyn_fpu_get_seed T
rng.o falcon1024dyn_fpu_prng_get_bytes T
rng.o falcon1024dyn_fpu_prng_init T
rng.o falcon1024dyn_fpu_prng_refill T
shake.o falcon1024dyn_fpu_i_shake256_extract T
shake.o falcon1024dyn_fpu_i_shake256_flip T
shake.o falcon1024dyn_fpu_i_shake256_init T
shake.o falcon1024dyn_fpu_i_shake256_inject T
sign.o falcon1024dyn_fpu_expand_privkey T
sign.o falcon1024dyn_fpu_gaussian0_sampler T
sign.o falcon1024dyn_fpu_sampler T
sign.o falcon1024dyn_fpu_sign_dyn T
sign.o falcon1024dyn_fpu_sign_tree T
vrfy.o falcon1024dyn_fpu_complete_private T
vrfy.o falcon1024dyn_fpu_compute_public T
vrfy.o falcon1024dyn_fpu_count_nttzero T
vrfy.o falcon1024dyn_fpu_is_invertible T
vrfy.o falcon1024dyn_fpu_to_ntt_monty T
vrfy.o falcon1024dyn_fpu_verify_raw T
vrfy.o falcon1024dyn_fpu_verify_recover T

Namespace violations

codec.o falcon1024dyn_ref_comp_decode T
codec.o falcon1024dyn_ref_comp_encode T
codec.o falcon1024dyn_ref_max_FG_bits R
codec.o falcon1024dyn_ref_max_fg_bits R
codec.o falcon1024dyn_ref_max_sig_bits R
codec.o falcon1024dyn_ref_modq_decode T
codec.o falcon1024dyn_ref_modq_encode T
codec.o falcon1024dyn_ref_trim_i16_decode T
codec.o falcon1024dyn_ref_trim_i16_encode T
codec.o falcon1024dyn_ref_trim_i8_decode T
codec.o falcon1024dyn_ref_trim_i8_encode T
common.o falcon1024dyn_ref_hash_to_point_ct T
common.o falcon1024dyn_ref_hash_to_point_vartime T
common.o falcon1024dyn_ref_is_short T
common.o falcon1024dyn_ref_is_short_half T
fft.o falcon1024dyn_ref_FFT T
fft.o falcon1024dyn_ref_iFFT T
fft.o falcon1024dyn_ref_poly_LDL_fft T
fft.o falcon1024dyn_ref_poly_LDLmv_fft T
fft.o falcon1024dyn_ref_poly_add T
fft.o falcon1024dyn_ref_poly_add_muladj_fft T
fft.o falcon1024dyn_ref_poly_adj_fft T
fft.o falcon1024dyn_ref_poly_div_autoadj_fft T
fft.o falcon1024dyn_ref_poly_div_fft T
fft.o falcon1024dyn_ref_poly_invnorm2_fft T
fft.o falcon1024dyn_ref_poly_merge_fft T
fft.o falcon1024dyn_ref_poly_mul_autoadj_fft T
fft.o falcon1024dyn_ref_poly_mul_fft T
fft.o falcon1024dyn_ref_poly_muladj_fft T
fft.o falcon1024dyn_ref_poly_mulconst T
fft.o falcon1024dyn_ref_poly_mulselfadj_fft T
fft.o falcon1024dyn_ref_poly_neg T
fft.o falcon1024dyn_ref_poly_split_fft T
fft.o falcon1024dyn_ref_poly_sub T
fpr.o falcon1024dyn_ref_fpr_add T
fpr.o falcon1024dyn_ref_fpr_div T
fpr.o falcon1024dyn_ref_fpr_expm_p63 T
fpr.o falcon1024dyn_ref_fpr_gm_tab R
fpr.o falcon1024dyn_ref_fpr_mul T
fpr.o falcon1024dyn_ref_fpr_p2_tab R
fpr.o falcon1024dyn_ref_fpr_scaled T
fpr.o falcon1024dyn_ref_fpr_sqrt T
keygen.o falcon1024dyn_ref_keygen T
rng.o falcon1024dyn_ref_get_seed T
rng.o falcon1024dyn_ref_prng_get_bytes T
rng.o falcon1024dyn_ref_prng_init T
rng.o falcon1024dyn_ref_prng_refill T
shake.o falcon1024dyn_ref_i_shake256_extract T
shake.o falcon1024dyn_ref_i_shake256_flip T
shake.o falcon1024dyn_ref_i_shake256_init T
shake.o falcon1024dyn_ref_i_shake256_inject T
sign.o falcon1024dyn_ref_expand_privkey T
sign.o falcon1024dyn_ref_gaussian0_sampler T
sign.o falcon1024dyn_ref_sampler T
sign.o falcon1024dyn_ref_sign_dyn T
sign.o falcon1024dyn_ref_sign_tree T
vrfy.o falcon1024dyn_ref_complete_private T
vrfy.o falcon1024dyn_ref_compute_public T
vrfy.o falcon1024dyn_ref_count_nttzero T
vrfy.o falcon1024dyn_ref_is_invertible T
vrfy.o falcon1024dyn_ref_to_ntt_monty T
vrfy.o falcon1024dyn_ref_verify_raw T
vrfy.o falcon1024dyn_ref_verify_recover T