433 | value formed by concatenating `b0' and `b1'.  Addition is modulo 2^128, so
438 static inline void add128(uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1,  in add128()  argument
443     *z0Ptr = uadd64_carry(a0, b0, &c);  in add128()
448 | 192-bit value formed by concatenating `b0', `b1', and `b2'.  Addition is
455                           uint64_t b0, uint64_t b1, uint64_t b2,  in add192()  argument
461     *z0Ptr = uadd64_carry(a0, b0, &c);  in add192()
465 | Subtracts the 128-bit value formed by concatenating `b0' and `b1' from the
472 static inline void sub128(uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1,  in sub128()  argument
477     *z0Ptr = usub64_borrow(a0, b0, &c);  in sub128()
481 | Subtracts the 192-bit value formed by concatenating `b0', `b1', and `b2'
489                           uint64_t b0, uint64_t b1, uint64_t b2,  in sub192()  argument
495     *z0Ptr = usub64_borrow(a0, b0, &c);  in sub192()
530 | 128-bit value formed by concatenating `b0' and `b1' to obtain a 256-bit
536                                uint64_t b0, uint64_t b1,  in mul128To256()  argument
543     mul64To128(a1, b0, &m1, &m2);  in mul128To256()
546     mul64To128(a0, b0, &z0, &z1);  in mul128To256()
563     uint64_t b0, b1;  in estimateDiv128To64()  local
568     b0 = b>>32;  in estimateDiv128To64()
569     z = ( b0<<32 <= a0 ) ? UINT64_C(0xFFFFFFFF00000000) : ( a0 / b0 )<<32;  in estimateDiv128To64()
575         add128( rem0, rem1, b0, b1, &rem0, &rem1 );  in estimateDiv128To64()
578     z |= ( b0<<32 <= rem0 ) ? 0xFFFFFFFF : rem0 / b0;  in estimateDiv128To64()
624 | is equal to the 128-bit value formed by concatenating `b0' and `b1'.
628 static inline bool eq128(uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1)  in eq128()  argument
630     return a0 == b0 && a1 == b1;  in eq128()
635 | than or equal to the 128-bit value formed by concatenating `b0' and `b1'.
639 static inline bool le128(uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1)  in le128()  argument
641     return a0 < b0 || (a0 == b0 && a1 <= b1);  in le128()
646 | than the 128-bit value formed by concatenating `b0' and `b1'.  Otherwise,
650 static inline bool lt128(uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1)  in lt128()  argument
652     return a0 < b0 || (a0 == b0 && a1 < b1);  in lt128()
657 | not equal to the 128-bit value formed by concatenating `b0' and `b1'.
661 static inline bool ne128(uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1)  in ne128()  argument
663     return a0 != b0 || a1 != b1;  in ne128()
671                          uint64_t b0, uint64_t b1, uint64_t b2)  in eq192()  argument
673     return ((a0 ^ b0) | (a1 ^ b1) | (a2 ^ b2)) == 0;  in eq192()
677                          uint64_t b0, uint64_t b1, uint64_t b2)  in le192()  argument
679     if (a0 != b0) {  in le192()
680         return a0 < b0;  in le192()
689                          uint64_t b0, uint64_t b1, uint64_t b2)  in lt192()  argument
691     if (a0 != b0) {  in lt192()
692         return a0 < b0;  in lt192()