From cd7ebde7def0b8a8b1c92f6bb9b73ac8843a72a8 Mon Sep 17 00:00:00 2001
From: Sun Yimin <emmansun@users.noreply.github.com>
Date: Thu, 9 Oct 2025 10:17:43 +0800
Subject: [PATCH] =?UTF-8?q?Updated=20sm2=5Fz256=5Floong64.S=20=E4=BB=A3?=
 =?UTF-8?q?=E7=A0=81=E5=88=86=E6=9E=90=20(markdown)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 sm2_z256_loong64.S-代码分析.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/sm2_z256_loong64.S-代码分析.md b/sm2_z256_loong64.S-代码分析.md
index f33565c..ffd56bb 100644
--- a/sm2_z256_loong64.S-代码分析.md
+++ b/sm2_z256_loong64.S-代码分析.md
@@ -71,8 +71,9 @@ $T_2=T_1 \ast P=t_0 \ast P= t_0 \ast (2^{256}-(2^{32} \ast 2^{192} + 0 \ast 2^{1
 $T_2=(t_0-t_0>>32) \ast 2^{256}+(0 - t_0<<32) \ast 2^{192} + (0 - t_0>>32) \ast 2^{128} + (t_0 - t_0<<32) \ast 2^{64} - t_0$  
 $T_3=T + T_2=(t_4+t_0-t_0>>32) \ast 2^{256}+(t_3 - t_0<<32) \ast 2^{192} + (t_2 - t_0>>32) \ast 2^{128} + (t_1 + t_0 - t_0<<32) \ast 2^{64}  $  
 注释：这里 $t_0<<32$ 是  $t_0 \ast 2^{32}$  的低64位， $t_0>>32$ 是  $t_0 \ast 2^{32}$  的高64位。
-它这里先计算T的系数(WORD)，再计算 $T_2$ 的系数。
-
+它这里先计算T的系数(WORD)，再计算 $T_2$ 的系数。 
+1. 几个**no carry**判断的准确性：
+    1. https://github.com/DengJianbo-loongson/GmSSL/blob/2497946ac6458ae1fb6931b66804dbc62cfffe44/src/sm2_z256_loong64.S#L268 `add.d	$t5, $a1, $t5`，这里`$a1`是可能的进位，这一点是不一定成立的。但是，如果把它和261行`add.d	$t5, $t5, $s2`交换以下顺序，则成立，因为两个64位字的乘法产生的高64位字，不可能是 $2^64-1$ 。