vreinterpretq_u32_u8
rk32 = vreinterpretq_u32_u8(rk);
uint32x4_t prkhi32 = vreinterpretq_u32_u8(prkhi);
uint32x4_t prk32 = vreinterpretq_u32_u8(prk);
vgetq_lane_u32(vreinterpretq_u32_u8(rk),
vgetq_lane_u32(vreinterpretq_u32_u8(rk),
ctr = vreinterpretq_u32_u8(vrev32q_u8(ctr_be));
ctr = vreinterpretq_u32_u8(vrev32q_u8(ctr_be));
r0 = in0 = vreinterpretq_u32_u8(vld1q_u8(c));
r1 = in1 = vreinterpretq_u32_u8(vld1q_u8(k + 0));
r2 = in2 = vreinterpretq_u32_u8(vld1q_u8(k + 16));
r3 = in3 = vreinterpretq_u32_u8(vld1q_u8(in));
r0 = vreinterpretq_u32_u8(vld1q_u8(c));
r1 = vreinterpretq_u32_u8(vld1q_u8(k + 0));
r2 = vreinterpretq_u32_u8(vld1q_u8(k + 16));
r3 = vreinterpretq_u32_u8(vld1q_u8(in));
in0 = vreinterpretq_u32_u8(vld1q_u8(chacha_const32));
in1 = vreinterpretq_u32_u8(vld1q_u8(k + 0));
in2 = vreinterpretq_u32_u8(vld1q_u8(k + 16));
in0 = vreinterpretq_u32_u8(vld1q_u8(chacha_const32));
in1 = vreinterpretq_u32_u8(vld1q_u8(k + 0));
in2 = vreinterpretq_u32_u8(vld1q_u8(k + 16));
r0 ^= vreinterpretq_u32_u8(vld1q_u8(p + 0));
r1 ^= vreinterpretq_u32_u8(vld1q_u8(p + 16));
r2 ^= vreinterpretq_u32_u8(vld1q_u8(p + 32));
r3 ^= vreinterpretq_u32_u8(vld1q_u8(p + 48));
return vreinterpretq_u32_u8(y8);