void test_vsraQ_nu32 (void) { uint32x4_t out_uint32x4_t; uint32x4_t arg0_uint32x4_t; uint32x4_t arg1_uint32x4_t; out_uint32x4_t = vsraq_n_u32 (arg0_uint32x4_t, arg1_uint32x4_t, 1); }
static void MixColumns(void) { uint32x4_t a = vreinterpretq_u32_u8(*state); uint32x4_t b = vreinterpretq_u32_u8(xtime(*state)); uint32x4_t a3 = veorq_u32(a,b); uint32x4_t a3r = vshlq_n_u32(a3,8); a3r = vsraq_n_u32(a3r,a3,24); uint32x4_t a2 = vshlq_n_u32(a,16); a2 = vsraq_n_u32(a2,a,16); uint32x4_t a1 = vshlq_n_u32(a,24); a1 = vsraq_n_u32(a1,a,8); uint32x4_t out = veorq_u32(b,a1); out = veorq_u32(out,a2); out = veorq_u32(out,a3r); *state = vreinterpretq_u8_u32(out); }