vreinterpretq_u8_u32
rk = vreinterpretq_u8_u32(rk32);
return vreinterpretq_u8_u32(rk32);
rk = vreinterpretq_u8_u32(
rk = vreinterpretq_u8_u32(
ctr_be = vrev32q_u8(vreinterpretq_u8_u32(ctr));
ctr_be = vrev32q_u8(vreinterpretq_u8_u32(ctr));
ctr_be = vrev32q_u8(vreinterpretq_u8_u32(ctr));
vst1q_u8(out + 0, vreinterpretq_u8_u32(vaddq_u32(r0, in0)));
vst1q_u8(out + 16, vreinterpretq_u8_u32(vaddq_u32(r1, in1)));
vst1q_u8(out + 32, vreinterpretq_u8_u32(vaddq_u32(r2, in2)));
vst1q_u8(out + 48, vreinterpretq_u8_u32(vaddq_u32(r3, in3)));
vst1q_u8(out + 0, vreinterpretq_u8_u32(r0));
vst1q_u8(out + 16, vreinterpretq_u8_u32(r3));
vst1q_u8(buf + 0, vreinterpretq_u8_u32(r0));
vst1q_u8(buf + 16, vreinterpretq_u8_u32(r1));
vst1q_u8(buf + 32, vreinterpretq_u8_u32(r2));
vst1q_u8(buf + 48, vreinterpretq_u8_u32(r3));
vst1q_u8(s + 0, vreinterpretq_u8_u32(r0));
vst1q_u8(s + 16, vreinterpretq_u8_u32(r1));
vst1q_u8(s + 32, vreinterpretq_u8_u32(r2));
vst1q_u8(s + 48, vreinterpretq_u8_u32(r3));
vst1q_u8(buf + 0, vreinterpretq_u8_u32(r0));
vst1q_u8(buf + 16, vreinterpretq_u8_u32(r1));
vst1q_u8(buf + 32, vreinterpretq_u8_u32(r2));
vst1q_u8(buf + 48, vreinterpretq_u8_u32(r3));
vst1q_u8(s + 0, vreinterpretq_u8_u32(r0));
vst1q_u8(s + 16, vreinterpretq_u8_u32(r1));
vst1q_u8(s + 32, vreinterpretq_u8_u32(r2));
vst1q_u8(s + 48, vreinterpretq_u8_u32(r3));
uint8x16_t y8, x8 = vreinterpretq_u8_u32(x);