404     int64_t t1 = extract64(r1, 0, 32);  in helper_add_suov()
405     int64_t t2 = extract64(r2, 0, 32);  in helper_add_suov()
559     int64_t t1 = extract64(r1, 0, 32);  in helper_sub_suov()
560     int64_t t2 = extract64(r2, 0, 32);  in helper_sub_suov()
587     int64_t t1 = extract64(r1, 0, 32);  in helper_mul_suov()
588     int64_t t2 = extract64(r2, 0, 32);  in helper_mul_suov()
685     uint64_t t1 = extract64(r1, 0, 32);  in helper_madd32_suov()
686     uint64_t t2 = extract64(r2, 0, 32);  in helper_madd32_suov()
687     uint64_t t3 = extract64(r3, 0, 32);  in helper_madd32_suov()
856     uint64_t t1 = extract64(r1, 0, 32);  in helper_madd64_suov()
857     uint64_t t3 = extract64(r3, 0, 32);  in helper_madd64_suov()
892     uint64_t t1 = extract64(r1, 0, 32);  in helper_msub32_suov()
893     uint64_t t2 = extract64(r2, 0, 32);  in helper_msub32_suov()
894     uint64_t t3 = extract64(r3, 0, 32);  in helper_msub32_suov()
952     uint64_t t1 = extract64(r1, 0, 32);  in helper_msub64_suov()
953     uint64_t t3 = extract64(r3, 0, 32);  in helper_msub64_suov()
1696         ret |= extract64(r1, 0, 16) << 16;                    \
1698         ret |= extract64(r2, 16, 16) << 32;                   \
1699         ret |= extract64(r1 + 1, 0, 16) << 16;                \
1712     r2l = extract64(r2, 0, 16);                               \
1713     r2h = extract64(r2, 16, 16);                              \
1714     r1hl = extract64(r1, 32, 16);                             \
1718         ret |= extract64(r1, 0, 16) << 16;                    \
1720         ret |= extract64(r2, 16, 16) << 32;                   \
1721         ret |= extract64(r1 + 1, 0, 16) << 16;                \
2120     int32_t dividend_sign = extract64(r1, 63, 1);  in helper_dvstep()
2152     int32_t dividend_quotient = extract64(r1, 0, 32);  in helper_dvstep_u()
2153     int64_t remainder = extract64(r1, 32, 32);  in helper_dvstep_u()