Lines Matching refs:vec

795  Hacl_Impl_Chacha20_Vec128_State_state_to_key_block(uint8_t *stream_block, vec *k)
801      vec k0 = k[0U];
802      vec k1 = k[1U];
803      vec k2 = k[2U];
804      vec k3 = k[3U];
818  Hacl_Impl_Chacha20_Vec128_State_state_setup(vec *st, uint8_t *k, uint8_t *n1, uint32_t c)
820 +    vec k0;
821 +    vec k1;
827 +    vec v1;
833 -    vec k0 = vec_load128_le(k);
834 -    vec k1 = vec_load128_le(k + (uint32_t)16U);
844 -    vec v1 = vec_load_32x4(c, n0, n10, n2);
855      vec sd0 = st[3U];
856      vec sa10 = vec_add(sa, sb0);
857      vec sd10 = vec_rotate_left(vec_xor(sd0, sa10), (uint32_t)16U);
858 +    vec sa0;
859 +    vec sb1;
860 +    vec sd2;
861 +    vec sa11;
862 +    vec sd11;
863 +    vec sa2;
864 +    vec sb2;
865 +    vec sd3;
866 +    vec sa12;
867 +    vec sd12;
868 +    vec sa3;
869 +    vec sb;
870 +    vec sd;
871 +    vec sa1;
872 +    vec sd1;
875 -    vec sa0 = st[2U];
876 -    vec sb1 = st[3U];
877 -    vec sd2 = st[1U];
878 -    vec sa11 = vec_add(sa0, sb1);
879 -    vec sd11 = vec_rotate_left(vec_xor(sd2, sa11), (uint32_t)12U);
887 -    vec sa2 = st[0U];
888 -    vec sb2 = st[1U];
889 -    vec sd3 = st[3U];
890 -    vec sa12 = vec_add(sa2, sb2);
891 -    vec sd12 = vec_rotate_left(vec_xor(sd3, sa12), (uint32_t)8U);
899 -    vec sa3 = st[2U];
900 -    vec sb = st[3U];
901 -    vec sd = st[1U];
902 -    vec sa1 = vec_add(sa3, sb);
903 -    vec sd1 = vec_rotate_left(vec_xor(sd, sa1), (uint32_t)7U);
914  Hacl_Impl_Chacha20_Vec128_double_round(vec *st)
916 +    vec r1;
917 +    vec r20;
918 +    vec r30;
919 +    vec r10;
920 +    vec r2;
921 +    vec r3;
923 -    vec r1 = st[1U];
924 -    vec r20 = st[2U];
925 -    vec r30 = st[3U];
933 -    vec r10 = st[1U];
934 -    vec r2 = st[2U];
935 -    vec r3 = st[3U];
944  Hacl_Impl_Chacha20_Vec128_chacha20_core(vec *k, vec *st)
955  Hacl_Impl_Chacha20_Vec128_chacha20_core3(vec *k0, vec *k1, vec *k2, vec *st)
966  Hacl_Impl_Chacha20_Vec128_chacha20_block(uint8_t *stream_block, vec *st)
969      vec k[4U];
978  Hacl_Impl_Chacha20_Vec128_update_last(uint8_t *output, uint8_t *plain, uint32_t len, vec *st)
993  Hacl_Impl_Chacha20_Vec128_update(uint8_t *output, uint8_t *plain, vec *st)
996      vec k[4U];
1006  Hacl_Impl_Chacha20_Vec128_update3(uint8_t *output, uint8_t *plain, vec *st)
1009      vec k0[4U];
1012 +    vec k1[4U];
1013 +    vec k2[4U];
1024 -    vec k1[4U];
1029 -    vec k2[4U];
1051      vec *st)
1064      vec buf[4U];
1067 +    vec *st;
1071 -    vec *st = buf;