MSR	R2, CNTV_CTL_EL0                   // 22e31bd5
	MRS	CNTV_CVAL_EL0, R8                  // 48e33bd5
	MSR	R26, CNTV_CVAL_EL0                 // 5ae31bd5
	MRS	CNTV_TVAL_EL0, R6                  // 06e33bd5
	MSR	R19, CNTV_TVAL_EL0                 // 13e31bd5
	MRS	CNTKCTL_EL1, R16                   // 10e138d5
	MSR	R26, CNTKCTL_EL1                   // 1ae118d5
	MRS	CNTPCT_EL0, R9                     // 29e03bd5

	STP	(R3, R4), 0x1234567(R27)                         // ERROR "REGTMP used in large offset store"
	LDP	0x1234567(R27), (R3, R4)                         // ERROR "REGTMP used in large offset load"
	STP	(R26, R27), 700(R2)                              // ERROR "cannot use REGTMP as source"
	MOVK	$0, R10                                          // ERROR "zero shifts cannot be handled correctly"

+ z[2] ADDV R18, R7, R11 // z_lo[2] = x[2] * y + z[2] + c SGTU R18, R11, R19 ADDV R25, R19, R7 // next c MULHVU R16, R5, R26 // z_hi[3] = x[3] * y MULV R16, R5, R16 // z_lo[3] = x[3] * y ADDV R16, R12, R18 // z_lo[3] = x[3] * y + z[3] SGTU R16, R18, R19 ADDV R26, R19, R26 // z_hi[3] = x[3] * y + z[3] ADDV R18, R7, R12 // z_lo[3] = x[3] * y + z[3] + c SGTU R18, R12, R19 ADDV R26, R19, R7 // next c MOVV R9, 0*8(R4) // z[0] MOVV R10, 1*8(R4) // z[1] MOVV R11, 2*8(R4) // z[2] MOVV R12, 3*8(R4) // z[3]...