From 0e4885b56968a9958d7e2e2ff15fe972cefea84c Mon Sep 17 00:00:00 2001
From: John Schanck <jschanck@uwaterloo.ca>
Date: Wed, 3 Mar 2021 12:32:22 -0500
Subject: [PATCH] test_constant_time: Suppression files for AVX McEliece [skip
 ci] (#931)

---
 .../constant_time/kem/passes/mceliece-348864  | 26 +++++++++++++++
 .../constant_time/kem/passes/mceliece-348864f | 33 +++++++++++++++++++
 .../constant_time/kem/passes/mceliece-460896  | 26 +++++++++++++++
 .../constant_time/kem/passes/mceliece-460896f | 33 +++++++++++++++++++
 .../constant_time/kem/passes/mceliece-6688128 | 26 +++++++++++++++
 .../kem/passes/mceliece-6688128f              | 33 +++++++++++++++++++
 .../constant_time/kem/passes/mceliece-6960119 | 26 +++++++++++++++
 .../kem/passes/mceliece-6960119f              | 33 +++++++++++++++++++
 .../constant_time/kem/passes/mceliece-8192128 | 19 +++++++++++
 .../kem/passes/mceliece-8192128f              | 26 +++++++++++++++
 .../constant_time/kem/passes/mceliece-sk_gen  | 19 +++++++++++
 11 files changed, 300 insertions(+)

diff --git a/tests/constant_time/kem/passes/mceliece-348864 b/tests/constant_time/kem/passes/mceliece-348864
index ac98bf3d4..82bb60984 100644
--- a/tests/constant_time/kem/passes/mceliece-348864
+++ b/tests/constant_time/kem/passes/mceliece-348864
@@ -1,3 +1,5 @@
+# VEC implementation
+
 {
    Rejection sampling for uniform indices
    Memcheck:Cond
@@ -19,3 +21,27 @@
    # fun:PQCLEAN_MCELIECE348864_VEC_pk_gen
    fun:PQCLEAN_MCELIECE348864_VEC_crypto_kem_keypair
 }
+
+# AVX implementation
+
+{
+   Rejection sampling for uniform indices
+   Memcheck:Cond
+   src:encrypt.c:43
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE348864_AVX_encrypt
+}
+{
+   Rejection sampling for unique indices
+   Memcheck:Cond
+   src:encrypt.c:58
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE348864_AVX_encrypt
+}
+{
+   Rejection sampling for systematic form matrix
+   Memcheck:Cond
+   src:pk_gen.c:193
+   # fun:PQCLEAN_MCELIECE348864_AVX_pk_gen
+   fun:PQCLEAN_MCELIECE348864_AVX_crypto_kem_keypair
+}
diff --git a/tests/constant_time/kem/passes/mceliece-348864f b/tests/constant_time/kem/passes/mceliece-348864f
index 965760cfa..a60122ae9 100644
--- a/tests/constant_time/kem/passes/mceliece-348864f
+++ b/tests/constant_time/kem/passes/mceliece-348864f
@@ -1,3 +1,5 @@
+# VEC implementation
+
 {
    Rejection sampling for uniform indices
    Memcheck:Cond
@@ -26,3 +28,34 @@
    # fun:PQCLEAN_MCELIECE348864F_VEC_pk_gen
    fun:PQCLEAN_MCELIECE348864F_VEC_crypto_kem_keypair
 }
+
+# AVX implementation
+
+{
+   Rejection sampling for uniform indices
+   Memcheck:Cond
+   src:encrypt.c:43
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE348864F_AVX_encrypt
+}
+{
+   Rejection sampling for unique indices
+   Memcheck:Cond
+   src:encrypt.c:58
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE348864F_AVX_encrypt
+}
+{
+   Rejection sampling for full rank matrix
+   Memcheck:Cond
+   src:pk_gen.c:120
+   # fun:mov_columns
+   fun:PQCLEAN_MCELIECE348864F_AVX_pk_gen
+}
+{
+   Rejection sampling for systematic form matrix
+   Memcheck:Cond
+   src:pk_gen.c:289
+   # fun:PQCLEAN_MCELIECE348864F_AVX_pk_gen
+   fun:PQCLEAN_MCELIECE348864F_AVX_crypto_kem_keypair
+}
diff --git a/tests/constant_time/kem/passes/mceliece-460896 b/tests/constant_time/kem/passes/mceliece-460896
index 265ee15ae..4221b2e7c 100644
--- a/tests/constant_time/kem/passes/mceliece-460896
+++ b/tests/constant_time/kem/passes/mceliece-460896
@@ -1,3 +1,5 @@
+# VEC implementation
+
 {
    Rejection sampling for uniform indices
    Memcheck:Cond
@@ -19,3 +21,27 @@
    # fun:PQCLEAN_MCELIECE460896_VEC_pk_gen
    fun:PQCLEAN_MCELIECE460896_VEC_crypto_kem_keypair
 }
+
+# AVX implementation
+
+{
+   Rejection sampling for uniform indices
+   Memcheck:Cond
+   src:encrypt.c:45
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE460896_AVX_encrypt
+}
+{
+   Rejection sampling for unique indices
+   Memcheck:Cond
+   src:encrypt.c:60
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE460896_AVX_encrypt
+}
+{
+   Rejection sampling for systematic form matrix
+   Memcheck:Cond
+   src:pk_gen.c:200
+   # fun:PQCLEAN_MCELIECE460896_AVX_pk_gen
+   fun:PQCLEAN_MCELIECE460896_AVX_crypto_kem_keypair
+}
diff --git a/tests/constant_time/kem/passes/mceliece-460896f b/tests/constant_time/kem/passes/mceliece-460896f
index 02c621fed..16f149bbc 100644
--- a/tests/constant_time/kem/passes/mceliece-460896f
+++ b/tests/constant_time/kem/passes/mceliece-460896f
@@ -1,3 +1,5 @@
+# VEC implementation
+
 {
    Rejection sampling for uniform indices
    Memcheck:Cond
@@ -26,3 +28,34 @@
    # fun:PQCLEAN_MCELIECE460896F_VEC_pk_gen
    fun:PQCLEAN_MCELIECE460896F_VEC_crypto_kem_keypair
 }
+
+# AVX implementation
+
+{
+   Rejection sampling for uniform indices
+   Memcheck:Cond
+   src:encrypt.c:45
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE460896F_AVX_encrypt
+}
+{
+   Rejection sampling for unique indices
+   Memcheck:Cond
+   src:encrypt.c:60
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE460896F_AVX_encrypt
+}
+{
+   Rejection sampling for full rank matrix
+   Memcheck:Cond
+   src:pk_gen.c:150
+   # fun:mov_columns
+   fun:PQCLEAN_MCELIECE460896F_AVX_pk_gen
+}
+{
+   Rejection sampling for systematic form matrix
+   Memcheck:Cond
+   src:pk_gen.c:319
+   # fun:PQCLEAN_MCELIECE460896F_AVX_pk_gen
+   fun:PQCLEAN_MCELIECE460896F_AVX_crypto_kem_keypair
+}
diff --git a/tests/constant_time/kem/passes/mceliece-6688128 b/tests/constant_time/kem/passes/mceliece-6688128
index 7f3c51b3b..fd595c402 100644
--- a/tests/constant_time/kem/passes/mceliece-6688128
+++ b/tests/constant_time/kem/passes/mceliece-6688128
@@ -1,3 +1,5 @@
+# VEC implementation
+
 {
    Rejection sampling for uniform indices
    Memcheck:Cond
@@ -19,3 +21,27 @@
    # fun:PQCLEAN_MCELIECE6688128_VEC_pk_gen
    fun:PQCLEAN_MCELIECE6688128_VEC_crypto_kem_keypair
 }
+
+# AVX implementation
+
+{
+   Rejection sampling for uniform indices
+   Memcheck:Cond
+   src:encrypt.c:45
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE6688128_AVX_encrypt
+}
+{
+   Rejection sampling for unique indices
+   Memcheck:Cond
+   src:encrypt.c:60
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE6688128_AVX_encrypt
+}
+{
+   Rejection sampling for systematic form matrix
+   Memcheck:Cond
+   src:pk_gen.c:199
+   # fun:PQCLEAN_MCELIECE6688128_AVX_pk_gen
+   fun:PQCLEAN_MCELIECE6688128_AVX_crypto_kem_keypair
+}
diff --git a/tests/constant_time/kem/passes/mceliece-6688128f b/tests/constant_time/kem/passes/mceliece-6688128f
index 00dfaf8b1..0f8bac9b1 100644
--- a/tests/constant_time/kem/passes/mceliece-6688128f
+++ b/tests/constant_time/kem/passes/mceliece-6688128f
@@ -1,3 +1,5 @@
+# VEC implementation
+
 {
    Rejection sampling for uniform indices
    Memcheck:Cond
@@ -26,3 +28,34 @@
    # fun:mov_columns
    fun:PQCLEAN_MCELIECE6688128F_VEC_pk_gen
 }
+
+# AVX implementation
+
+{
+   Rejection sampling for uniform indices
+   Memcheck:Cond
+   src:encrypt.c:45
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE6688128F_AVX_encrypt
+}
+{
+   Rejection sampling for unique indices
+   Memcheck:Cond
+   src:encrypt.c:60
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE6688128F_AVX_encrypt
+}
+{
+   Rejection sampling for systematic form matrix
+   Memcheck:Cond
+   src:pk_gen.c:320
+   # fun:PQCLEAN_MCELIECE6688128F_AVX_pk_gen
+   fun:PQCLEAN_MCELIECE6688128F_AVX_crypto_kem_keypair
+}
+{
+   Rejection sampling for full rank matrix
+   Memcheck:Cond
+   src:pk_gen.c:151
+   # fun:mov_columns
+   fun:PQCLEAN_MCELIECE6688128F_AVX_pk_gen
+}
diff --git a/tests/constant_time/kem/passes/mceliece-6960119 b/tests/constant_time/kem/passes/mceliece-6960119
index 91691df27..685b1a17e 100644
--- a/tests/constant_time/kem/passes/mceliece-6960119
+++ b/tests/constant_time/kem/passes/mceliece-6960119
@@ -1,3 +1,5 @@
+# VEC implementation
+
 {
    Rejection sampling for uniform indices
    Memcheck:Cond
@@ -19,3 +21,27 @@
    # fun:PQCLEAN_MCELIECE6960119_VEC_pk_gen
    fun:PQCLEAN_MCELIECE6960119_VEC_crypto_kem_keypair
 }
+
+# AVX implementation
+
+{
+   Rejection sampling for uniform indices
+   Memcheck:Cond
+   src:encrypt.c:45
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE6960119_AVX_encrypt
+}
+{
+   Rejection sampling for unique indices
+   Memcheck:Cond
+   src:encrypt.c:60
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE6960119_AVX_encrypt
+}
+{
+   Rejection sampling for systematic form matrix
+   Memcheck:Cond
+   src:pk_gen.c:200
+   # fun:PQCLEAN_MCELIECE6960119_AVX_pk_gen
+   fun:PQCLEAN_MCELIECE6960119_AVX_crypto_kem_keypair
+}
diff --git a/tests/constant_time/kem/passes/mceliece-6960119f b/tests/constant_time/kem/passes/mceliece-6960119f
index 9ce577fb6..ab19f1bee 100644
--- a/tests/constant_time/kem/passes/mceliece-6960119f
+++ b/tests/constant_time/kem/passes/mceliece-6960119f
@@ -1,3 +1,5 @@
+# VEC implementation
+
 {
    Rejection sampling for uniform indices
    Memcheck:Cond
@@ -26,3 +28,34 @@
    # fun:mov_columns
    fun:PQCLEAN_MCELIECE6960119F_VEC_pk_gen
 }
+
+# AVX implementation
+
+{
+   Rejection sampling for uniform indices
+   Memcheck:Cond
+   src:encrypt.c:45
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE6960119F_AVX_encrypt
+}
+{
+   Rejection sampling for unique indices
+   Memcheck:Cond
+   src:encrypt.c:60
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE6960119F_AVX_encrypt
+}
+{
+   Rejection sampling for systematic form matrix
+   Memcheck:Cond
+   src:pk_gen.c:324
+   # fun:PQCLEAN_MCELIECE6960119F_AVX_pk_gen
+   fun:PQCLEAN_MCELIECE6960119F_AVX_crypto_kem_keypair
+}
+{
+   Rejection sampling for full rank matrix
+   Memcheck:Cond
+   src:pk_gen.c:152
+   # fun:mov_columns
+   fun:PQCLEAN_MCELIECE6960119F_AVX_pk_gen
+}
diff --git a/tests/constant_time/kem/passes/mceliece-8192128 b/tests/constant_time/kem/passes/mceliece-8192128
index c5968b971..1a798de0d 100644
--- a/tests/constant_time/kem/passes/mceliece-8192128
+++ b/tests/constant_time/kem/passes/mceliece-8192128
@@ -1,3 +1,5 @@
+# VEC implementation
+
 {
    Rejection sampling for unique indices
    Memcheck:Cond
@@ -12,3 +14,20 @@
    # fun:PQCLEAN_MCELIECE8192128_VEC_pk_gen
    fun:PQCLEAN_MCELIECE8192128_VEC_crypto_kem_keypair
 }
+
+# AVX implementation
+
+{
+   Rejection sampling for unique indices
+   Memcheck:Cond
+   src:encrypt.c:42
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE8192128_AVX_encrypt
+}
+{
+   Rejection sampling for systematic form matrix
+   Memcheck:Cond
+   src:pk_gen.c:196
+   # fun:PQCLEAN_MCELIECE8192128_AVX_pk_gen
+   fun:PQCLEAN_MCELIECE8192128_AVX_crypto_kem_keypair
+}
diff --git a/tests/constant_time/kem/passes/mceliece-8192128f b/tests/constant_time/kem/passes/mceliece-8192128f
index 0da4dd9a8..e11ec7eb2 100644
--- a/tests/constant_time/kem/passes/mceliece-8192128f
+++ b/tests/constant_time/kem/passes/mceliece-8192128f
@@ -1,3 +1,5 @@
+# VEC implementation
+
 {
    Rejection sampling for unique indices
    Memcheck:Cond
@@ -19,3 +21,27 @@
    # fun:mov_columns
    fun:PQCLEAN_MCELIECE8192128F_VEC_pk_gen
 }
+
+# AVX implementation
+
+{
+   Rejection sampling for unique indices
+   Memcheck:Cond
+   src:encrypt.c:42
+   # fun:gen_e
+   fun:PQCLEAN_MCELIECE8192128F_AVX_encrypt
+}
+{
+   Rejection sampling for systematic form matrix
+   Memcheck:Cond
+   src:pk_gen.c:319
+   # fun:PQCLEAN_MCELIECE8192128F_AVX_pk_gen
+   fun:PQCLEAN_MCELIECE8192128F_AVX_crypto_kem_keypair
+}
+{
+   Rejection sampling for full rank matrix
+   Memcheck:Cond
+   src:pk_gen.c:151
+   # fun:mov_columns
+   fun:PQCLEAN_MCELIECE8192128F_AVX_pk_gen
+}
diff --git a/tests/constant_time/kem/passes/mceliece-sk_gen b/tests/constant_time/kem/passes/mceliece-sk_gen
index b0685ee78..96e01a1dc 100644
--- a/tests/constant_time/kem/passes/mceliece-sk_gen
+++ b/tests/constant_time/kem/passes/mceliece-sk_gen
@@ -1,3 +1,5 @@
+# VEC implementation
+
 {
    Rejection sampling for systematic form matrix
    Memcheck:Cond
@@ -12,3 +14,20 @@
    # fun:PQCLEAN_MCELIECE*_VEC_perm_check
    fun:PQCLEAN_MCELIECE*_VEC_crypto_kem_keypair
 }
+
+# AVX implementation
+
+{
+   Rejection sampling for systematic form matrix
+   Memcheck:Cond
+   src:sk_gen.c:49
+   # fun:PQCLEAN_MCELIECE*_AVX_genpoly_gen
+   fun:PQCLEAN_MCELIECE*_AVX_crypto_kem_keypair
+}
+{
+   Rejection sampling for permutation
+   Memcheck:Cond
+   src:sk_gen.c:91
+   # fun:PQCLEAN_MCELIECE*_AVX_perm_check
+   fun:PQCLEAN_MCELIECE*_AVX_crypto_kem_keypair
+}