988     vec_t vec_a[3];  in poly_mul_vec_aux()  local
990     vec_a[0] = a[0];  in poly_mul_vec_aux()
991     vec_a[1] = a[1];  in poly_mul_vec_aux()
992     vec_a[2] = kZero;  in poly_mul_vec_aux()
994     result[0] = vec_mul(vec_a[0], vec_get_word(b[0], 0));  in poly_mul_vec_aux()
995     result[1] = vec_mul(vec_a[1], vec_get_word(b[0], 0));  in poly_mul_vec_aux()
997     result[1] = vec_fma(result[1], vec_a[0], vec_get_word(b[1], 0));  in poly_mul_vec_aux()
998     result[2] = vec_mul(vec_a[1], vec_get_word(b[1], 0));  in poly_mul_vec_aux()
1001     vec3_rshift_word(vec_a);  in poly_mul_vec_aux()
1006         vec_fma(result[x + 0], vec_a[0], vec_get_word(b[y / 8], y % 8)); \  in poly_mul_vec_aux()
1008         vec_fma(result[x + 1], vec_a[1], vec_get_word(b[y / 8], y % 8)); \  in poly_mul_vec_aux()
1010         vec_fma(result[x + 2], vec_a[2], vec_get_word(b[y / 8], y % 8)); \  in poly_mul_vec_aux()
1016     vec3_rshift_word(vec_a);  in poly_mul_vec_aux()
1021     vec3_rshift_word(vec_a);  in poly_mul_vec_aux()
1026     vec3_rshift_word(vec_a);  in poly_mul_vec_aux()
1031     vec3_rshift_word(vec_a);  in poly_mul_vec_aux()
1036     vec3_rshift_word(vec_a);  in poly_mul_vec_aux()
1041     vec3_rshift_word(vec_a);  in poly_mul_vec_aux()
1054     vec_t vec_a[4];  in poly_mul_vec_aux()  local
1056     vec_a[0] = a[0];  in poly_mul_vec_aux()
1057     vec_a[1] = a[1];  in poly_mul_vec_aux()
1058     vec_a[2] = a[2];  in poly_mul_vec_aux()
1059     vec_a[3] = kZero;  in poly_mul_vec_aux()
1068         vec_fma(result[x + 0], vec_a[0], vec_get_word(b[y / 8], y % 8)); \  in poly_mul_vec_aux()
1070         vec_fma(result[x + 1], vec_a[1], vec_get_word(b[y / 8], y % 8)); \  in poly_mul_vec_aux()
1071     result[x + 2] = vec_mul(vec_a[2], vec_get_word(b[y / 8], y % 8));    \  in poly_mul_vec_aux()
1079     vec4_rshift_word(vec_a);  in poly_mul_vec_aux()
1084         vec_fma(result[x + 0], vec_a[0], vec_get_word(b[y / 8], y % 8)); \  in poly_mul_vec_aux()
1086         vec_fma(result[x + 1], vec_a[1], vec_get_word(b[y / 8], y % 8)); \  in poly_mul_vec_aux()
1088         vec_fma(result[x + 2], vec_a[2], vec_get_word(b[y / 8], y % 8)); \  in poly_mul_vec_aux()
1090         vec_fma(result[x + 3], vec_a[3], vec_get_word(b[y / 8], y % 8)); \  in poly_mul_vec_aux()
1097     vec4_rshift_word(vec_a);  in poly_mul_vec_aux()
1103     vec4_rshift_word(vec_a);  in poly_mul_vec_aux()
1109     vec4_rshift_word(vec_a);  in poly_mul_vec_aux()
1115     vec4_rshift_word(vec_a);  in poly_mul_vec_aux()
1121     vec4_rshift_word(vec_a);  in poly_mul_vec_aux()
1127     vec4_rshift_word(vec_a);  in poly_mul_vec_aux()