Lines Matching refs:v011
271 Lib_IntVector_Intrinsics_vec128 v011 = k[8U]; in Hacl_Chacha20_Vec128_chacha20_encrypt_128() local
276 v0_1 = Lib_IntVector_Intrinsics_vec128_interleave_low32(v011, v111); in Hacl_Chacha20_Vec128_chacha20_encrypt_128()
278 v1_1 = Lib_IntVector_Intrinsics_vec128_interleave_high32(v011, v111); in Hacl_Chacha20_Vec128_chacha20_encrypt_128()
399 Lib_IntVector_Intrinsics_vec128 v011 = k[8U]; in Hacl_Chacha20_Vec128_chacha20_encrypt_128() local
404 v0_1 = Lib_IntVector_Intrinsics_vec128_interleave_low32(v011, v111); in Hacl_Chacha20_Vec128_chacha20_encrypt_128()
406 v1_1 = Lib_IntVector_Intrinsics_vec128_interleave_high32(v011, v111); in Hacl_Chacha20_Vec128_chacha20_encrypt_128()
544 Lib_IntVector_Intrinsics_vec128 v011 = k[8U]; in Hacl_Chacha20_Vec128_chacha20_decrypt_128() local
549 v0_1 = Lib_IntVector_Intrinsics_vec128_interleave_low32(v011, v111); in Hacl_Chacha20_Vec128_chacha20_decrypt_128()
551 v1_1 = Lib_IntVector_Intrinsics_vec128_interleave_high32(v011, v111); in Hacl_Chacha20_Vec128_chacha20_decrypt_128()
672 Lib_IntVector_Intrinsics_vec128 v011 = k[8U]; in Hacl_Chacha20_Vec128_chacha20_decrypt_128() local
677 v0_1 = Lib_IntVector_Intrinsics_vec128_interleave_low32(v011, v111); in Hacl_Chacha20_Vec128_chacha20_decrypt_128()
679 v1_1 = Lib_IntVector_Intrinsics_vec128_interleave_high32(v011, v111); in Hacl_Chacha20_Vec128_chacha20_decrypt_128()