728   const size_t low_len = n / 2;  in poly3_mul_aux()  local
729   const size_t high_len = n - low_len;  in poly3_mul_aux()
730   const struct poly3_span a_high = {&a->s[low_len], &a->a[low_len]};  in poly3_mul_aux()
731   const struct poly3_span b_high = {&b->s[low_len], &b->a[low_len]};  in poly3_mul_aux()
737   poly3_span_add(&a_cross_sum, a, &a_high, low_len);  in poly3_mul_aux()
738   poly3_span_add(&b_cross_sum, b, &b_high, low_len);  in poly3_mul_aux()
739   if (high_len != low_len) {  in poly3_mul_aux()
740     a_cross_sum.s[low_len] = a_high.s[low_len];  in poly3_mul_aux()
741     a_cross_sum.a[low_len] = a_high.a[low_len];  in poly3_mul_aux()
742     b_cross_sum.s[low_len] = b_high.s[low_len];  in poly3_mul_aux()
743     b_cross_sum.a[low_len] = b_high.a[low_len];  in poly3_mul_aux()
748   const struct poly3_span out_mid = {&out->s[low_len], &out->a[low_len]};  in poly3_mul_aux()
749   const struct poly3_span out_high = {&out->s[2 * low_len],  in poly3_mul_aux()
750                                       &out->a[2 * low_len]};  in poly3_mul_aux()
757   poly3_mul_aux(out, &child_scratch, a, b, low_len);  in poly3_mul_aux()
760   poly3_span_sub(scratch, out, low_len * 2);  in poly3_mul_aux()
1245   const size_t low_len = n / 2;  in poly_mul_vec_aux()  local
1246   const size_t high_len = n - low_len;  in poly_mul_vec_aux()
1247   const vec_t *a_high = &a[low_len];  in poly_mul_vec_aux()
1248   const vec_t *b_high = &b[low_len];  in poly_mul_vec_aux()
1252   for (size_t i = 0; i < low_len; i++) {  in poly_mul_vec_aux()
1256   if (high_len != low_len) {  in poly_mul_vec_aux()
1257     out[low_len] = a_high[low_len];  in poly_mul_vec_aux()
1258     out[high_len + low_len] = b_high[low_len];  in poly_mul_vec_aux()
1265   poly_mul_vec_aux(&out[low_len * 2], child_scratch, a_high, b_high, high_len);  in poly_mul_vec_aux()
1267   poly_mul_vec_aux(out, child_scratch, a, b, low_len);  in poly_mul_vec_aux()
1270   for (size_t i = 0; i < low_len * 2; i++) {  in poly_mul_vec_aux()
1271     scratch[i] = vec_sub(scratch[i], vec_add(out[i], out[low_len * 2 + i]));  in poly_mul_vec_aux()
1273   if (low_len != high_len) {  in poly_mul_vec_aux()
1274     scratch[low_len * 2] = vec_sub(scratch[low_len * 2], out[low_len * 4]);  in poly_mul_vec_aux()
1275     scratch[low_len * 2 + 1] =  in poly_mul_vec_aux()
1276         vec_sub(scratch[low_len * 2 + 1], out[low_len * 4 + 1]);  in poly_mul_vec_aux()
1281     out[low_len + i] = vec_add(out[low_len + i], scratch[i]);  in poly_mul_vec_aux()
1341   const size_t low_len = n / 2;  in poly_mul_novec_aux()  local
1342   const size_t high_len = n - low_len;  in poly_mul_novec_aux()
1343   const uint16_t *const a_high = &a[low_len];  in poly_mul_novec_aux()
1344   const uint16_t *const b_high = &b[low_len];  in poly_mul_novec_aux()
1346   for (size_t i = 0; i < low_len; i++) {  in poly_mul_novec_aux()
1350   if (high_len != low_len) {  in poly_mul_novec_aux()
1351     out[low_len] = a_high[low_len];  in poly_mul_novec_aux()
1352     out[high_len + low_len] = b_high[low_len];  in poly_mul_novec_aux()
1357   poly_mul_novec_aux(&out[low_len * 2], child_scratch, a_high, b_high,  in poly_mul_novec_aux()
1359   poly_mul_novec_aux(out, child_scratch, a, b, low_len);  in poly_mul_novec_aux()
1361   for (size_t i = 0; i < low_len * 2; i++) {  in poly_mul_novec_aux()
1362     scratch[i] -= out[i] + out[low_len * 2 + i];  in poly_mul_novec_aux()
1364   if (low_len != high_len) {  in poly_mul_novec_aux()
1365     scratch[low_len * 2] -= out[low_len * 4];  in poly_mul_novec_aux()
1366     assert(out[low_len * 4 + 1] == 0);  in poly_mul_novec_aux()
1370     out[low_len + i] += scratch[i];  in poly_mul_novec_aux()