267     int64_t t1 = sextract64(r1, 0, 32);  in helper_add_ssov()
268     int64_t t2 = sextract64(r2, 0, 32);  in helper_add_ssov()
311     int64_t mul_res0 = sextract64(r1, 0, 32);  in helper_addr_h_ssov()
312     int64_t mul_res1 = sextract64(r1, 32, 32);  in helper_addr_h_ssov()
313     int64_t r2_low = sextract64(r2_l, 0, 32);  in helper_addr_h_ssov()
314     int64_t r2_high = sextract64(r2_h, 0, 32);  in helper_addr_h_ssov()
357     int64_t mul_res0 = sextract64(r1, 0, 32);  in helper_addsur_h_ssov()
358     int64_t mul_res1 = sextract64(r1, 32, 32);  in helper_addsur_h_ssov()
359     int64_t r2_low = sextract64(r2_l, 0, 32);  in helper_addsur_h_ssov()
360     int64_t r2_high = sextract64(r2_h, 0, 32);  in helper_addsur_h_ssov()
423     int64_t t1 = sextract64(r1, 0, 32);  in helper_sub_ssov()
424     int64_t t2 = sextract64(r2, 0, 32);  in helper_sub_ssov()
467     int64_t mul_res0 = sextract64(r1, 0, 32);  in helper_subr_h_ssov()
468     int64_t mul_res1 = sextract64(r1, 32, 32);  in helper_subr_h_ssov()
469     int64_t r2_low = sextract64(r2_l, 0, 32);  in helper_subr_h_ssov()
470     int64_t r2_high = sextract64(r2_h, 0, 32);  in helper_subr_h_ssov()
513     int64_t mul_res0 = sextract64(r1, 0, 32);  in helper_subadr_h_ssov()
514     int64_t mul_res1 = sextract64(r1, 32, 32);  in helper_subadr_h_ssov()
515     int64_t r2_low = sextract64(r2_l, 0, 32);  in helper_subadr_h_ssov()
516     int64_t r2_high = sextract64(r2_h, 0, 32);  in helper_subadr_h_ssov()
578     int64_t t1 = sextract64(r1, 0, 32);  in helper_mul_ssov()
579     int64_t t2 = sextract64(r2, 0, 32);  in helper_mul_ssov()
597     int64_t t1 = sextract64(r1, 0, 32);  in helper_sha_ssov()
598     int32_t t2 = sextract64(r2, 0, 6);  in helper_sha_ssov()
633     int64_t t1 = sextract64(r1, 0, 32);  in helper_absdif_ssov()
634     int64_t t2 = sextract64(r2, 0, 32);  in helper_absdif_ssov()
673     int64_t t1 = sextract64(r1, 0, 32);  in helper_madd32_ssov()
674     int64_t t2 = sextract64(r2, 0, 32);  in helper_madd32_ssov()
675     int64_t t3 = sextract64(r3, 0, 32);  in helper_madd32_ssov()
698     int64_t t1 = sextract64(r1, 0, 32);  in helper_madd64_ssov()
699     int64_t t3 = sextract64(r3, 0, 32);  in helper_madd64_ssov()
772     int64_t t2 = sextract64(r2, 0, 32);  in helper_madd64_q_ssov()
773     int64_t t3 = sextract64(r3, 0, 32);  in helper_madd64_q_ssov()
822     int64_t t1 = sextract64(r1, 0, 32);  in helper_maddr_q_ssov()
823     int64_t t2 = sextract64(r2, 0, 32);  in helper_maddr_q_ssov()
824     int64_t t3 = sextract64(r3, 0, 32);  in helper_maddr_q_ssov()
880     int64_t t1 = sextract64(r1, 0, 32);  in helper_msub32_ssov()
881     int64_t t2 = sextract64(r2, 0, 32);  in helper_msub32_ssov()
882     int64_t t3 = sextract64(r3, 0, 32);  in helper_msub32_ssov()
920     int64_t t1 = sextract64(r1, 0, 32);  in helper_msub64_ssov()
921     int64_t t3 = sextract64(r3, 0, 32);  in helper_msub64_ssov()
1020     int64_t t2 = sextract64(r2, 0, 32);  in helper_msub64_q_ssov()
1021     int64_t t3 = sextract64(r3, 0, 32);  in helper_msub64_q_ssov()
1071     int64_t t1 = sextract64(r1, 0, 32);  in helper_msubr_q_ssov()
1072     int64_t t2 = sextract64(r2, 0, 32);  in helper_msubr_q_ssov()
1073     int64_t t3 = sextract64(r3, 0, 32);  in helper_msubr_q_ssov()
1199     int64_t mul_res0 = sextract64(r1, 0, 32);  in helper_addr_h()
1200     int64_t mul_res1 = sextract64(r1, 32, 32);  in helper_addr_h()
1201     int64_t r2_low = sextract64(r2_l, 0, 32);  in helper_addr_h()
1202     int64_t r2_high = sextract64(r2_h, 0, 32);  in helper_addr_h()
1237     int64_t mul_res0 = sextract64(r1, 0, 32);  in helper_addsur_h()
1238     int64_t mul_res1 = sextract64(r1, 32, 32);  in helper_addsur_h()
1239     int64_t r2_low = sextract64(r2_l, 0, 32);  in helper_addsur_h()
1240     int64_t r2_high = sextract64(r2_h, 0, 32);  in helper_addsur_h()
1275     int64_t t1 = sextract64(r1, 0, 32);  in helper_maddr_q()
1276     int64_t t2 = sextract64(r2, 0, 32);  in helper_maddr_q()
1277     int64_t t3 = sextract64(r3, 0, 32);  in helper_maddr_q()
1354     int64_t mul_res0 = sextract64(r1, 0, 32);  in helper_subr_h()
1355     int64_t mul_res1 = sextract64(r1, 32, 32);  in helper_subr_h()
1356     int64_t r2_low = sextract64(r2_l, 0, 32);  in helper_subr_h()
1357     int64_t r2_high = sextract64(r2_h, 0, 32);  in helper_subr_h()
1392     int64_t mul_res0 = sextract64(r1, 0, 32);  in helper_subadr_h()
1393     int64_t mul_res1 = sextract64(r1, 32, 32);  in helper_subadr_h()
1394     int64_t r2_low = sextract64(r2_l, 0, 32);  in helper_subadr_h()
1395     int64_t r2_high = sextract64(r2_h, 0, 32);  in helper_subadr_h()
1430     int64_t t1 = sextract64(r1, 0, 32);  in helper_msubr_q()
1431     int64_t t2 = sextract64(r2, 0, 32);  in helper_msubr_q()
1432     int64_t t3 = sextract64(r3, 0, 32);  in helper_msubr_q()
1690     r2l = sextract64(r2, 0, 16);                              \
1691     r2h = sextract64(r2, 16, 16);                             \
1692     r1hl = sextract64(r1, 32, 16);                            \