CMP	R1, R2                 // b9200012
	CMP	R3, $32767             // a73f7fff
	CMP	R3, $32768             // c23c00008000
	CMP	R3, $-2147483648       // c23c80000000
	CMPU	R4, R5                 // b9210045
	CMPU	R6, $4294967295        // c26effffffff
	CMPW	R7, R8                 // 1978
	CMPW	R9, $-32768            // a79e8000
	CMPW	R9, $-32769            // c29dffff7fff
	CMPW	R9, $-2147483648       // c29d80000000

	ADD $65536, R6                  // 3cc60001
	ADD $65536, R6, R7              // 3ce60001
	ADD $-32767, R5                 // 38a58001
	ADD $-32767, R5, R4             // 38858001
	ADD $-32768, R6                 // 38c68000
	ADD $-32768, R6, R5             // 38a68000
	// Hex constant 0xFFFFFFFE00000000

	MOVWP	R5, -32768(R4)			// 1efcff13de931000c5038025
	MOVWP	R5, 32768(R4)			// 1e000010de931000c5038025
	MOVWP	R5, 65536(R4)			// 1e040010de931000c5030025
	MOVWP	R5, 1048576(R4)			// 1e400010de931000c5030025
	MOVVP	R5, -32768(R4)			// 1efcff13de931000c5038027
	MOVVP	R5, 65536(R4)			// 1e040010de931000c5030027
	MOVVP	R5, 1048576(R4)			// 1e400010de931000c5030027
	MOVWP	-32768(R5), R4			// 1efcff13de971000c4038024

type uint64 uint64

// int8 is the set of all signed 8-bit integers.
// Range: -128 through 127.
type int8 int8

// int16 is the set of all signed 16-bit integers.
// Range: -32768 through 32767.
type int16 int16

// int32 is the set of all signed 32-bit integers.
// Range: -2147483648 through 2147483647.
type int32 int32

// int64 is the set of all signed 64-bit integers.

	CMN R6->17, R3                             // 7f4486ab
	CMNW $(2<<12), R5                          // CMNW $8192, R5                // bf084031
	CMN $(8<<12), R12                          // CMN $32768, R12               // 9f2140b1
	CMN R6->0, R3                              // 7f0086ab
	CMN R6, R3                                 // 7f0006ab
	CMNW R30, R5                               // bf001e2b

	MSR	R13, ZCR_EL1                       // 0d1218d5
	MRS	ZCR_EL1, R23                       // 171238d5
	MSR	R17, ZCR_EL1                       // 111218d5
	SYS	$32768, R1                         // 018008d5
	SYS	$32768                             // 1f8008d5
	MSR	$1, DIT                            // 5f4103d5

// TLBI instruction
	TLBI	VMALLE1IS                          // 1f8308d5

uint64      the set of all unsigned 64-bit integers (0 to 18446744073709551615)

int8        the set of all signed  8-bit integers (-128 to 127)
int16       the set of all signed 16-bit integers (-32768 to 32767)
int32       the set of all signed 32-bit integers (-2147483648 to 2147483647)
int64       the set of all signed 64-bit integers (-9223372036854775808 to 9223372036854775807)

	MOVV    R4, FCC0		// 80d81401

	// LDPTR.{W/D} and STPTR.{W/D} instructions
	MOVWP	R5, 32764(R4)		// 85fc7f25
	MOVWP	R5, 32(R4)		// 85200025
	MOVWP	R5, 4(R4)		// 85040025
	MOVWP	R5, (R4)		// 85000025
	MOVVP	R5, 32764(R4)		// 85fc7f27
	MOVVP	R5, 32(R4)		// 85200027
	MOVVP	R5, 4(R4)		// 85040027
	MOVVP	R5, (R4)		// 85000027
	MOVWP	32764(R5), R4		// a4fc7f24
	MOVWP	32(R5), R4		// a4200024
	MOVWP	4(R5), R4		// a4040024

8 + off)(RSP) #define s2(off) (32*1 + 8 + off)(RSP) #define z1sqr(off) (32*2 + 8 + off)(RSP) #define h(off) (32*3 + 8 + off)(RSP) #define r(off) (32*4 + 8 + off)(RSP) #define hsqr(off) (32*5 + 8 + off)(RSP) #define rsqr(off) (32*6 + 8 + off)(RSP) #define hcub(off) (32*7 + 8 + off)(RSP) #define z2sqr(off) (32*8 + 8 + off)(RSP) #define s1(off) (32*9 + 8 + off)(RSP) #define u1(off) (32*10 + 8 + off)(RSP) #define u2(off) (32*11 + 8 + off)(RSP) // func p256PointAddAffineAs(res, in1 *P256Point, in2 *p256AffinePoint,...

8 + off)(RSP) #define s2(off) (32*1 + 8 + off)(RSP) #define z1sqr(off) (32*2 + 8 + off)(RSP) #define h(off) (32*3 + 8 + off)(RSP) #define r(off) (32*4 + 8 + off)(RSP) #define hsqr(off) (32*5 + 8 + off)(RSP) #define rsqr(off) (32*6 + 8 + off)(RSP) #define hcub(off) (32*7 + 8 + off)(RSP) #define z2sqr(off) (32*8 + 8 + off)(RSP) #define s1(off) (32*9 + 8 + off)(RSP) #define u1(off) (32*10 + 8 + off)(RSP) #define u2(off) (32*11 + 8 + off)(RSP) // func p256PointAddAffineAs(res, in1 *P256Point, in2 *p256AffinePoint,...