@ttsc/win32-arm64 0.33.0 → 0.34.0

package/bin/go/src/crypto/internal/fips140/nistec/_asm/p256_asm.go

@@ -52,8 +52,6 @@ func main() {
 	p256FromMont()
 	p256Select()
 	p256SelectAffine()
-	p256OrdMul()
-	p256OrdSqr()
 	p256SubInternal()
 	p256MulInternal()
 	p256SqrInternal()
@@ -832,583 +830,6 @@ func p256SelectAffine() {
 	RET()
 }
 
-// Implements:
-//
-//	func p256OrdMul(res, in1, in2 *p256OrdElement)
-func p256OrdMul() {
-	Implement("p256OrdMul")
-	Attributes(NOSPLIT)
-
-	Load(Param("res"), res_ptr)
-	Load(Param("in1"), x_ptr)
-	Load(Param("in2"), y_ptr)
-
-	Comment("x * y[0]")
-	MOVQ(Mem{Base: y_ptr}.Offset(8*0), t0_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*0), RAX)
-	MULQ(t0_v1)
-	MOVQ(RAX, acc0_v1)
-	MOVQ(RDX, acc1_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*1), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc1_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, acc2_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*2), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc2_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, acc3_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*3), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, acc4_v1)
-	XORQ(acc5_v1, acc5_v1)
-
-	Comment("First reduction step")
-	MOVQ(acc0_v1, RAX)
-	p256ordK0 := p256ordK0_DATA()
-	MULQ(p256ordK0)
-	MOVQ(RAX, t0_v1)
-
-	p256ord := p256ord_DATA()
-	MOVQ(p256ord.Offset(0x00), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc0_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x08), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc1_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc1_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x10), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc2_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc2_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x18), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc3_v1)
-	ADCQ(RDX, acc4_v1)
-	ADCQ(Imm(0), acc5_v1)
-
-	Comment("x * y[1]")
-	MOVQ(Mem{Base: y_ptr}.Offset(8*1), t0_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*0), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc1_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*1), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc2_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc2_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*2), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*3), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc4_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc4_v1)
-	ADCQ(RDX, acc5_v1)
-	ADCQ(Imm(0), acc0_v1)
-
-	Comment("Second reduction step")
-	MOVQ(acc1_v1, RAX)
-	MULQ(p256ordK0)
-	MOVQ(RAX, t0_v1)
-
-	MOVQ(p256ord.Offset(0x00), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc1_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x08), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc2_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc2_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x10), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x18), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc4_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc4_v1)
-	ADCQ(RDX, acc5_v1)
-	ADCQ(Imm(0), acc0_v1)
-
-	Comment("x * y[2]")
-	MOVQ(Mem{Base: y_ptr}.Offset(8*2), t0_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*0), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc2_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*1), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*2), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc4_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc4_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*3), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc5_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc5_v1)
-	ADCQ(RDX, acc0_v1)
-	ADCQ(Imm(0), acc1_v1)
-
-	Comment("Third reduction step")
-	MOVQ(acc2_v1, RAX)
-	MULQ(p256ordK0)
-	MOVQ(RAX, t0_v1)
-
-	MOVQ(p256ord.Offset(0x00), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc2_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x08), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x10), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc4_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc4_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x18), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc5_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc5_v1)
-	ADCQ(RDX, acc0_v1)
-	ADCQ(Imm(0), acc1_v1)
-
-	Comment("x * y[3]")
-	MOVQ(Mem{Base: y_ptr}.Offset(8*3), t0_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*0), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*1), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc4_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc4_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*2), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc5_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc5_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*3), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc0_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc0_v1)
-	ADCQ(RDX, acc1_v1)
-	ADCQ(Imm(0), acc2_v1)
-
-	Comment("Last reduction step")
-	MOVQ(acc3_v1, RAX)
-	MULQ(p256ordK0)
-	MOVQ(RAX, t0_v1)
-
-	MOVQ(p256ord.Offset(0x00), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x08), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc4_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc4_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x10), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc5_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc5_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x18), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc0_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc0_v1)
-	ADCQ(RDX, acc1_v1)
-	ADCQ(Imm(0), acc2_v1)
-
-	Comment("Copy result [255:0]")
-	MOVQ(acc4_v1, x_ptr)
-	MOVQ(acc5_v1, acc3_v1)
-	MOVQ(acc0_v1, t0_v1)
-	MOVQ(acc1_v1, t1_v1)
-
-	Comment("Subtract p256")
-	SUBQ(p256ord.Offset(0x00), acc4_v1)
-	SBBQ(p256ord.Offset(0x08), acc5_v1)
-	SBBQ(p256ord.Offset(0x10), acc0_v1)
-	SBBQ(p256ord.Offset(0x18), acc1_v1)
-	SBBQ(Imm(0), acc2_v1)
-
-	CMOVQCS(x_ptr, acc4_v1)
-	CMOVQCS(acc3_v1, acc5_v1)
-	CMOVQCS(t0_v1, acc0_v1)
-	CMOVQCS(t1_v1, acc1_v1)
-
-	MOVQ(acc4_v1, Mem{Base: res_ptr}.Offset(8*0))
-	MOVQ(acc5_v1, Mem{Base: res_ptr}.Offset(8*1))
-	MOVQ(acc0_v1, Mem{Base: res_ptr}.Offset(8*2))
-	MOVQ(acc1_v1, Mem{Base: res_ptr}.Offset(8*3))
-
-	RET()
-}
-
-// Implements:
-//
-//	func p256OrdSqr(res, in *p256OrdElement, n int)
-func p256OrdSqr() {
-	Implement("p256OrdSqr")
-	Attributes(NOSPLIT)
-
-	Load(Param("res"), res_ptr)
-	Load(Param("in"), x_ptr)
-	Load(Param("n"), RBX)
-
-	Label("ordSqrLoop")
-
-	Comment("y[1:] * y[0]")
-	MOVQ(Mem{Base: x_ptr}.Offset(8*0), t0_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*1), RAX)
-	MULQ(t0_v1)
-	MOVQ(RAX, acc1_v1)
-	MOVQ(RDX, acc2_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*2), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc2_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, acc3_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*3), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, acc4_v1)
-
-	Comment("y[2:] * y[1]")
-	MOVQ(Mem{Base: x_ptr}.Offset(8*1), t0_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*2), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*3), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc4_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc4_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, acc5_v1)
-
-	Comment("y[3] * y[2]")
-	MOVQ(Mem{Base: x_ptr}.Offset(8*2), t0_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*3), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc5_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, y_ptr)
-	XORQ(t1_v1, t1_v1)
-
-	Comment("*2")
-	ADDQ(acc1_v1, acc1_v1)
-	ADCQ(acc2_v1, acc2_v1)
-	ADCQ(acc3_v1, acc3_v1)
-	ADCQ(acc4_v1, acc4_v1)
-	ADCQ(acc5_v1, acc5_v1)
-	ADCQ(y_ptr, y_ptr)
-	ADCQ(Imm(0), t1_v1)
-
-	Comment("Missing products")
-	MOVQ(Mem{Base: x_ptr}.Offset(8*0), RAX)
-	MULQ(RAX)
-	MOVQ(RAX, acc0_v1)
-	MOVQ(RDX, t0_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*1), RAX)
-	MULQ(RAX)
-	ADDQ(t0_v1, acc1_v1)
-	ADCQ(RAX, acc2_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t0_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*2), RAX)
-	MULQ(RAX)
-	ADDQ(t0_v1, acc3_v1)
-	ADCQ(RAX, acc4_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t0_v1)
-
-	MOVQ(Mem{Base: x_ptr}.Offset(8*3), RAX)
-	MULQ(RAX)
-	ADDQ(t0_v1, acc5_v1)
-	ADCQ(RAX, y_ptr)
-	ADCQ(RDX, t1_v1)
-	MOVQ(t1_v1, x_ptr)
-
-	Comment("First reduction step")
-	MOVQ(acc0_v1, RAX)
-	p256ordK0 := p256ordK0_DATA()
-	MULQ(p256ordK0)
-	MOVQ(RAX, t0_v1)
-
-	p256ord := p256ord_DATA()
-	MOVQ(p256ord.Offset(0x00), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc0_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x08), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc1_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc1_v1)
-
-	MOVQ(t0_v1, t1_v1)
-	ADCQ(RDX, acc2_v1)
-	ADCQ(Imm(0), t1_v1)
-	SUBQ(t0_v1, acc2_v1)
-	SBBQ(Imm(0), t1_v1)
-
-	MOVQ(t0_v1, RAX)
-	MOVQ(t0_v1, RDX)
-	MOVQ(t0_v1, acc0_v1)
-	SHLQ(Imm(32), RAX)
-	SHRQ(Imm(32), RDX)
-
-	ADDQ(t1_v1, acc3_v1)
-	ADCQ(Imm(0), acc0_v1)
-	SUBQ(RAX, acc3_v1)
-	SBBQ(RDX, acc0_v1)
-
-	Comment("Second reduction step")
-	MOVQ(acc1_v1, RAX)
-	MULQ(p256ordK0)
-	MOVQ(RAX, t0_v1)
-
-	MOVQ(p256ord.Offset(0x00), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc1_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x08), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc2_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc2_v1)
-
-	MOVQ(t0_v1, t1_v1)
-	ADCQ(RDX, acc3_v1)
-	ADCQ(Imm(0), t1_v1)
-	SUBQ(t0_v1, acc3_v1)
-	SBBQ(Imm(0), t1_v1)
-
-	MOVQ(t0_v1, RAX)
-	MOVQ(t0_v1, RDX)
-	MOVQ(t0_v1, acc1_v1)
-	SHLQ(Imm(32), RAX)
-	SHRQ(Imm(32), RDX)
-
-	ADDQ(t1_v1, acc0_v1)
-	ADCQ(Imm(0), acc1_v1)
-	SUBQ(RAX, acc0_v1)
-	SBBQ(RDX, acc1_v1)
-
-	Comment("Third reduction step")
-	MOVQ(acc2_v1, RAX)
-	MULQ(p256ordK0)
-	MOVQ(RAX, t0_v1)
-
-	MOVQ(p256ord.Offset(0x00), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc2_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x08), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc3_v1)
-
-	MOVQ(t0_v1, t1_v1)
-	ADCQ(RDX, acc0_v1)
-	ADCQ(Imm(0), t1_v1)
-	SUBQ(t0_v1, acc0_v1)
-	SBBQ(Imm(0), t1_v1)
-
-	MOVQ(t0_v1, RAX)
-	MOVQ(t0_v1, RDX)
-	MOVQ(t0_v1, acc2_v1)
-	SHLQ(Imm(32), RAX)
-	SHRQ(Imm(32), RDX)
-
-	ADDQ(t1_v1, acc1_v1)
-	ADCQ(Imm(0), acc2_v1)
-	SUBQ(RAX, acc1_v1)
-	SBBQ(RDX, acc2_v1)
-
-	Comment("Last reduction step")
-	MOVQ(acc3_v1, RAX)
-	MULQ(p256ordK0)
-	MOVQ(RAX, t0_v1)
-
-	MOVQ(p256ord.Offset(0x00), RAX)
-	MULQ(t0_v1)
-	ADDQ(RAX, acc3_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(p256ord.Offset(0x08), RAX)
-	MULQ(t0_v1)
-	ADDQ(t1_v1, acc0_v1)
-	ADCQ(Imm(0), RDX)
-	ADDQ(RAX, acc0_v1)
-	ADCQ(Imm(0), RDX)
-	MOVQ(RDX, t1_v1)
-
-	MOVQ(t0_v1, t1_v1)
-	ADCQ(RDX, acc1_v1)
-	ADCQ(Imm(0), t1_v1)
-	SUBQ(t0_v1, acc1_v1)
-	SBBQ(Imm(0), t1_v1)
-
-	MOVQ(t0_v1, RAX)
-	MOVQ(t0_v1, RDX)
-	MOVQ(t0_v1, acc3_v1)
-	SHLQ(Imm(32), RAX)
-	SHRQ(Imm(32), RDX)
-
-	ADDQ(t1_v1, acc2_v1)
-	ADCQ(Imm(0), acc3_v1)
-	SUBQ(RAX, acc2_v1)
-	SBBQ(RDX, acc3_v1)
-	XORQ(t0_v1, t0_v1)
-
-	Comment("Add bits [511:256] of the sqr result")
-	ADCQ(acc4_v1, acc0_v1)
-	ADCQ(acc5_v1, acc1_v1)
-	ADCQ(y_ptr, acc2_v1)
-	ADCQ(x_ptr, acc3_v1)
-	ADCQ(Imm(0), t0_v1)
-
-	MOVQ(acc0_v1, acc4_v1)
-	MOVQ(acc1_v1, acc5_v1)
-	MOVQ(acc2_v1, y_ptr)
-	MOVQ(acc3_v1, t1_v1)
-
-	Comment("Subtract p256")
-	SUBQ(p256ord.Offset(0x00), acc0_v1)
-	SBBQ(p256ord.Offset(0x08), acc1_v1)
-	SBBQ(p256ord.Offset(0x10), acc2_v1)
-	SBBQ(p256ord.Offset(0x18), acc3_v1)
-	SBBQ(Imm(0), t0_v1)
-
-	CMOVQCS(acc4_v1, acc0_v1)
-	CMOVQCS(acc5_v1, acc1_v1)
-	CMOVQCS(y_ptr, acc2_v1)
-	CMOVQCS(t1_v1, acc3_v1)
-
-	MOVQ(acc0_v1, Mem{Base: res_ptr}.Offset(8*0))
-	MOVQ(acc1_v1, Mem{Base: res_ptr}.Offset(8*1))
-	MOVQ(acc2_v1, Mem{Base: res_ptr}.Offset(8*2))
-	MOVQ(acc3_v1, Mem{Base: res_ptr}.Offset(8*3))
-	MOVQ(res_ptr, x_ptr)
-	DECQ(RBX)
-	JNE(LabelRef("ordSqrLoop"))
-
-	RET()
-}
-
 // These variables have been versioned as they get redfined in the reference implementation.
 // This is done to produce a minimal semantic diff.
 var (
@@ -2595,7 +2016,7 @@ func p256PointDoubleAsm() {
 // #----------------------------DATA SECTION-----------------------------------##
 
 // Pointers for memoizing Data section symbols
-var p256const0_ptr, p256const1_ptr, p256ordK0_ptr, p256ord_ptr, p256one_ptr *Mem
+var p256const0_ptr, p256const1_ptr, p256one_ptr *Mem
 
 func p256const0_DATA() Mem {
 	if p256const0_ptr != nil {
@@ -2619,39 +2040,6 @@ func p256const1_DATA() Mem {
 	return p256const1
 }
 
-func p256ordK0_DATA() Mem {
-	if p256ordK0_ptr != nil {
-		return *p256ordK0_ptr
-	}
-
-	p256ordK0 := GLOBL("p256ordK0", 8)
-	p256ordK0_ptr = &p256ordK0
-	DATA(0, U64(0xccd1c8aaee00bc4f))
-	return p256ordK0
-}
-
-var p256ordConstants = [4]uint64{
-	0xf3b9cac2fc632551,
-	0xbce6faada7179e84,
-	0xffffffffffffffff,
-	0xffffffff00000000,
-}
-
-func p256ord_DATA() Mem {
-	if p256ord_ptr != nil {
-		return *p256ord_ptr
-	}
-
-	p256ord := GLOBL("p256ord", 8)
-	p256ord_ptr = &p256ord
-
-	for i, k := range p256ordConstants {
-		DATA(i*8, U64(k))
-	}
-
-	return p256ord
-}
-
 var p256oneConstants = [4]uint64{
 	0x0000000000000001,
 	0xffffffff00000000,

package/bin/go/src/crypto/internal/fips140/nistec/p256.go

@@ -392,8 +392,8 @@ func (q *P256Point) Select(p1, p2 *P256Point, cond int) *P256Point {
 	return q
 }
 
-// p256OrdElement is a P-256 scalar field element in [0, ord(G)-1] in the
-// Montgomery domain (with R 2²⁵⁶) as four uint64 limbs in little-endian order.
+// p256OrdElement is a P-256 scalar field element in [0, ord(G)-1]
+// as four uint64 limbs in little-endian order.
 type p256OrdElement [4]uint64
 
 // SetBytes sets s to the big-endian value of x, reducing it as necessary.

package/bin/go/src/crypto/internal/fips140/nistec/p256_asm.go

@@ -76,9 +76,10 @@ const p256CompressedLength = 1 + p256ElementLength
 // the curve, it returns nil and an error, and the receiver is unchanged.
 // Otherwise, it returns p.
 func (p *P256Point) SetBytes(b []byte) (*P256Point, error) {
-	// p256Mul operates in the Montgomery domain with R = 2²⁵⁶ mod p. Thus rr
-	// here is R in the Montgomery domain, or R×R mod p. See comment in
-	// P256OrdInverse about how this is used.
+	// This implementation operates in the Montgomery domain with R = 2²⁵⁶ mod
+	// p. Elements in the Montgomery domain take the form a×R and p256Mul
+	// calculates (a × b × R⁻¹) mod p. rr is R in the domain, or R×R mod p, thus
+	// p256Mul(e, RR) gives e×R, i.e. converts e into the Montgomery domain.
 	rr := p256Element{0x0000000000000003, 0xfffffffbffffffff,
 		0xfffffffffffffffe, 0x00000004fffffffd}
 
@@ -282,7 +283,7 @@ func p256Mul(res, in1, in2 *p256Element)
 //go:noescape
 func p256Sqr(res, in *p256Element, n int)
 
-// Montgomery multiplication by R⁻¹, or 1 outside the domain.
+// Montgomery multiplication by R⁻¹, or 1 outside the domain, as R⁻¹×R = 1.
 // Sets res = in * R⁻¹, bringing res out of the Montgomery domain.
 //
 //go:noescape
@@ -365,8 +366,8 @@ func p256PointAddAsm(res, in1, in2 *P256Point) int
 //go:noescape
 func p256PointDoubleAsm(res, in *P256Point)
 
-// p256OrdElement is a P-256 scalar field element in [0, ord(G)-1] in the
-// Montgomery domain (with R 2²⁵⁶) as four uint64 limbs in little-endian order.
+// p256OrdElement is a P-256 scalar field element in [0, ord(G)-1]
+// as four uint64 limbs in little-endian order.
 type p256OrdElement [4]uint64
 
 // p256OrdReduce ensures s is in the range [0, ord(G)-1].