TSTW $2863311530, R24                      // 1ff30172
	TST R2, R0                                 // 1f0002ea
	TST $7, R2                                 // 5f0840f2
	ANDS R2, R0, ZR                            // 1f0002ea
	ANDS $7, R2, ZR                            // 5f0840f2
	ANDSW $2863311530, R24, ZR                 // 1ff30172
	ANDSW $2863311530, R24, R23                // 17f30172

	MRS	CNTV_CVAL_EL0, R27                 // 5be33bd5
	MSR	R24, CNTV_CVAL_EL0                 // 58e31bd5
	MRS	CNTV_TVAL_EL0, R24                 // 18e33bd5
	MSR	R5, CNTV_TVAL_EL0                  // 05e31bd5
	MRS	CONTEXTIDR_EL1, R15                // 2fd038d5
	MSR	R27, CONTEXTIDR_EL1                // 3bd018d5
	MRS	CONTEXTIDR_EL1, R29                // 3dd038d5
	MSR	R24, CONTEXTIDR_EL1                // 38d018d5

y + z[0] ADDV R18, R7, R9 // z_lo[0] = x[0] * y + z[0] + c SGTU R18, R9, R19 ADDV R17, R19, R7 // next c MULHVU R14, R5, R24 // z_hi[1] = x[1] * y MULV R14, R5, R14 // z_lo[1] = x[1] * y ADDV R14, R10, R18 // z_lo[1] = x[1] * y + z[1] SGTU R14, R18, R19 ADDV R24, R19, R24 // z_hi[1] = x[1] * y + z[1] ADDV R18, R7, R10 // z_lo[1] = x[1] * y + z[1] + c SGTU R18, R10, R19 ADDV R24, R19, R7 // next c MULHVU R15, R5, R25 // z_hi[2] = x[2] * y MULV R15, R5, R15 // z_lo[2] = x[2] * y ADDV R15, R11, R18 //...