CMPWU R3, $0, CR3               // CMPWU R3,CR3,$0      // 29830000
	CMPWU R3, $0x8008, CR3          // CMPWU R3,CR3,$32776  // 29838008

	CMPEQB R3,R4,CR6                // 7f0321c0
	CMPB R3,R4,R4                   // 7c6423f8

	ADD R3, R4                      // 7c841a14
	ADD R3, R4, R5                  // 7ca41a14
	ADDC R3, R4                     // 7c841814
	ADDC R3, R4, R5                 // 7ca41814

igmod/nat_amd64.s // Code generated by command: go run nat_amd64_asm.go -out ../nat_amd64.s -pkg bigmod. DO NOT EDIT. //go:build !purego // func addMulVVW1024(z *uint, x *uint, y uint) (c uint) // Requires: ADX, BMI2 TEXT 路addMulVVW1024(SB), $0-32 CMPB 路supportADX+0(SB), $0x01 JEQ adx MOVQ z+0(FP), CX MOVQ x+8(FP), BX MOVQ y+16(FP), SI XORQ DI, DI // Iteration 0 MOVQ (BX), AX MULQ SI ADDQ (CX), AX ADCQ $0x00, DX ADDQ DI, AX ADCQ $0x00, DX MOVQ DX, DI MOVQ AX, (CX) // Iteration 1 MOVQ 8(BX), AX MULQ...

igmod/nat_amd64.s // Code generated by command: go run nat_amd64_asm.go -out ../nat_amd64.s -pkg bigmod. DO NOT EDIT. //go:build !purego // func addMulVVW1024(z *uint, x *uint, y uint) (c uint) // Requires: ADX, BMI2 TEXT 路addMulVVW1024(SB), $0-32 CMPB 路supportADX+0(SB), $0x01 JEQ adx MOVQ z+0(FP), CX MOVQ x+8(FP), BX MOVQ y+16(FP), SI XORQ DI, DI // Iteration 0 MOVQ (BX), AX MULQ SI ADDQ (CX), AX ADCQ $0x00, DX ADDQ DI, AX ADCQ $0x00, DX MOVQ DX, DI MOVQ AX, (CX) // Iteration 1 MOVQ 8(BX), AX MULQ...