//TODO: MOVW DS, (R11)                  // 66418c1b or 498c1b
	//TODO: MOVW SS, DX                     // 668cd2 or 488cd2
	//TODO: MOVW DS, DX                     // 668cda or 488cda
	//TODO: MOVW SS, R11                    // 66418cd3 or 498cd3
	//TODO: MOVW DS, R11                    // 66418cdb or 498cdb
	MOVW $61731, (BX)                       // 66c70323f1
	MOVW $61731, (R11)                      // 6641c70323f1

SHA256ROUND1(63, 0xc67178f2, R9, R10, R11, R12, R13, R14, R15, R8) MOVW (0*4)(R4), REGTMP MOVW (1*4)(R4), REGTMP1 MOVW (2*4)(R4), REGTMP2 MOVW (3*4)(R4), REGTMP3 ADD REGTMP, R8 // H0 = a + H0 ADD REGTMP1, R9 // H1 = b + H1 ADD REGTMP2, R10 // H2 = c + H2 ADD REGTMP3, R11 // H3 = d + H3 MOVW R8, (0*4)(R4) MOVW R9, (1*4)(R4) MOVW R10, (2*4)(R4) MOVW R11, (3*4)(R4) MOVW (4*4)(R4), REGTMP MOVW (5*4)(R4), REGTMP1 MOVW (6*4)(R4), REGTMP2 MOVW (7*4)(R4), REGTMP3 ADD REGTMP, R12 // H4 = e + H4 ADD REGTMP1, R13...