From 4aca5dee4125a2ac0ea079f67c62c81e6c3169ad Mon Sep 17 00:00:00 2001
From: Thom Wiggers <thom@thomwiggers.nl>
Date: Tue, 22 Sep 2020 08:44:17 +0200
Subject: [PATCH] Fix boolean operation in assignment

---
 crypto_kem/kyber1024-90s/avx2/verify.c | 2 +-
 crypto_kem/kyber1024/avx2/verify.c     | 2 +-
 crypto_kem/kyber512-90s/avx2/verify.c  | 2 +-
 crypto_kem/kyber512/avx2/verify.c      | 2 +-
 crypto_kem/kyber768-90s/avx2/verify.c  | 2 +-
 crypto_kem/kyber768/avx2/verify.c      | 2 +-
 6 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/crypto_kem/kyber1024-90s/avx2/verify.c b/crypto_kem/kyber1024-90s/avx2/verify.c
index 836771e8..0390d14d 100644
--- a/crypto_kem/kyber1024-90s/avx2/verify.c
+++ b/crypto_kem/kyber1024-90s/avx2/verify.c
@@ -26,7 +26,7 @@ int PQCLEAN_KYBER102490S_AVX2_verify(const uint8_t *a, const uint8_t *b, size_t
         avec = _mm256_xor_si256(avec, bvec);
         cvec = _mm256_or_si256(cvec, avec);
     }
-    r = !_mm256_testz_si256(cvec, cvec);
+    r = 1 - _mm256_testz_si256(cvec, cvec);
 
     if (pos < len) {
         avec = _mm256_loadu_si256((__m256i *)&a[pos]);
diff --git a/crypto_kem/kyber1024/avx2/verify.c b/crypto_kem/kyber1024/avx2/verify.c
index 2f8abd6e..50569a32 100644
--- a/crypto_kem/kyber1024/avx2/verify.c
+++ b/crypto_kem/kyber1024/avx2/verify.c
@@ -26,7 +26,7 @@ int PQCLEAN_KYBER1024_AVX2_verify(const uint8_t *a, const uint8_t *b, size_t len
         avec = _mm256_xor_si256(avec, bvec);
         cvec = _mm256_or_si256(cvec, avec);
     }
-    r = !_mm256_testz_si256(cvec, cvec);
+    r = 1 - _mm256_testz_si256(cvec, cvec);
 
     if (pos < len) {
         avec = _mm256_loadu_si256((__m256i *)&a[pos]);
diff --git a/crypto_kem/kyber512-90s/avx2/verify.c b/crypto_kem/kyber512-90s/avx2/verify.c
index af690208..92e0f317 100644
--- a/crypto_kem/kyber512-90s/avx2/verify.c
+++ b/crypto_kem/kyber512-90s/avx2/verify.c
@@ -26,7 +26,7 @@ int PQCLEAN_KYBER51290S_AVX2_verify(const uint8_t *a, const uint8_t *b, size_t l
         avec = _mm256_xor_si256(avec, bvec);
         cvec = _mm256_or_si256(cvec, avec);
     }
-    r = !_mm256_testz_si256(cvec, cvec);
+    r = 1 - _mm256_testz_si256(cvec, cvec);
 
     if (pos < len) {
         avec = _mm256_loadu_si256((__m256i *)&a[pos]);
diff --git a/crypto_kem/kyber512/avx2/verify.c b/crypto_kem/kyber512/avx2/verify.c
index 0f009974..f1658093 100644
--- a/crypto_kem/kyber512/avx2/verify.c
+++ b/crypto_kem/kyber512/avx2/verify.c
@@ -26,7 +26,7 @@ int PQCLEAN_KYBER512_AVX2_verify(const uint8_t *a, const uint8_t *b, size_t len)
         avec = _mm256_xor_si256(avec, bvec);
         cvec = _mm256_or_si256(cvec, avec);
     }
-    r = !_mm256_testz_si256(cvec, cvec);
+    r = 1 - _mm256_testz_si256(cvec, cvec);
 
     if (pos < len) {
         avec = _mm256_loadu_si256((__m256i *)&a[pos]);
diff --git a/crypto_kem/kyber768-90s/avx2/verify.c b/crypto_kem/kyber768-90s/avx2/verify.c
index b80bf8a9..41469aed 100644
--- a/crypto_kem/kyber768-90s/avx2/verify.c
+++ b/crypto_kem/kyber768-90s/avx2/verify.c
@@ -26,7 +26,7 @@ int PQCLEAN_KYBER76890S_AVX2_verify(const uint8_t *a, const uint8_t *b, size_t l
         avec = _mm256_xor_si256(avec, bvec);
         cvec = _mm256_or_si256(cvec, avec);
     }
-    r = !_mm256_testz_si256(cvec, cvec);
+    r = 1 - _mm256_testz_si256(cvec, cvec);
 
     if (pos < len) {
         avec = _mm256_loadu_si256((__m256i *)&a[pos]);
diff --git a/crypto_kem/kyber768/avx2/verify.c b/crypto_kem/kyber768/avx2/verify.c
index 7fd33147..de7be324 100644
--- a/crypto_kem/kyber768/avx2/verify.c
+++ b/crypto_kem/kyber768/avx2/verify.c
@@ -26,7 +26,7 @@ int PQCLEAN_KYBER768_AVX2_verify(const uint8_t *a, const uint8_t *b, size_t len)
         avec = _mm256_xor_si256(avec, bvec);
         cvec = _mm256_or_si256(cvec, avec);
     }
-    r = !_mm256_testz_si256(cvec, cvec);
+    r = 1 - _mm256_testz_si256(cvec, cvec);
 
     if (pos < len) {
         avec = _mm256_loadu_si256((__m256i *)&a[pos]);