commit c8f677d33efe37bada41b155072c1f03ea14a470
author Xiaokang Qian <xiaokang.qian@arm.com> Thu May 18 03:04:26 2023 +0000
committer Xiaokang Qian <xiaokang.qian@arm.com> Thu May 18 03:41:31 2023 +0000
tree d53d34b241a7d627ab7d9eff289d17ed2dc326c6
parent c1f5e54d2df0432add739dc79238303781d8f70d

Both compare the least significant limb 1 and the left limbs 0

Signed-off-by: Xiaokang Qian <xiaokang.qian@arm.com>

tests/suites/test_suite_ecp.function

diff --git a/tests/suites/test_suite_ecp.function b/tests/suites/test_suite_ecp.function
index 02afecd..e5dddc4 100644
--- a/tests/suites/test_suite_ecp.function
+++ b/tests/suites/test_suite_ecp.function
@@ -1563,7 +1563,7 @@
     mbedtls_mpi_uint *A_inverse = NULL;
     mbedtls_mpi_uint *A = NULL;
     mbedtls_mpi_uint *bufx = NULL;
-    const mbedtls_mpi_uint one[2] = {1, 0};
+    const mbedtls_mpi_uint one[1] = { 1 };
 
     mbedtls_mpi_mod_modulus_init(&m);
 
@@ -1582,15 +1582,19 @@
     TEST_EQUAL(0, mbedtls_mpi_mod_residue_setup(&rX, &m, rX_raw, limbs));
 
     /* Get inverse of A mode m, and multiply it with itself,
-        * to see whether the result equal to '1' */
+     * to see whether the result equal to '1' */
     TEST_EQUAL(0, mbedtls_mpi_mod_inv(&rA_inverse, &rA, &m));
     TEST_EQUAL(mbedtls_mpi_mod_mul(&rX, &rA, &rA_inverse, &m), 0);
 
     ASSERT_ALLOC(bufx, limbs);
     TEST_EQUAL(mbedtls_mpi_mod_write(&rX, &m, (unsigned char *) bufx,
-                                        limbs * sizeof(mbedtls_mpi_uint),
-                                        MBEDTLS_MPI_MOD_EXT_REP_LE), 0);
-    ASSERT_COMPARE(bufx, 2, one, 2);
+                                     limbs * ciL,
+                                     MBEDTLS_MPI_MOD_EXT_REP_LE), 0);
+
+    ASSERT_COMPARE(bufx, ciL, one, ciL);
+    /*Borrow the buffer of A to compare the left lims with 0 */
+    memset(A, 0, limbs * ciL);
+    ASSERT_COMPARE(&bufx[1], (limbs - 1) * ciL, A, (limbs - 1) * ciL);
 
 
 exit: