Lines Matching refs:b1
326 | value formed by concatenating `b0' and `b1'. Addition is modulo 2^128, so
333 bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 *z0Ptr, bits64 *z1Ptr )
337 z1 = a1 + b1;
345 | 192-bit value formed by concatenating `b0', `b1', and `b2'. Addition is
357 bits64 b1,
369 z1 = a1 + b1;
382 | Subtracts the 128-bit value formed by concatenating `b0' and `b1' from the
391 bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 *z0Ptr, bits64 *z1Ptr )
394 *z1Ptr = a1 - b1;
395 *z0Ptr = a0 - b0 - ( a1 < b1 );
400 | Subtracts the 192-bit value formed by concatenating `b0', `b1', and `b2'
413 bits64 b1,
425 z1 = a1 - b1;
426 borrow0 = ( a1 < b1 );
496 b1' to obtain a 256-bit
506 bits64 b1,
516 mul64To128( a1, b1, &z2, &z3 );
521 mul64To128( a0, b1, &more1, &more2 );
542 bits64 b0, b1;
553 b1 = b<<32;
554 add128( rem0, rem1, b0, b1, &rem0, &rem1 );
667 | is equal to the 128-bit value formed by concatenating `b0' and `b1'.
671 INLINE flag eq128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
674 return ( a0 == b0 ) && ( a1 == b1 );
680 | than or equal to the 128-bit value formed by concatenating `b0' and `b1'.
684 INLINE flag le128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
687 return ( a0 < b0 ) || ( ( a0 == b0 ) && ( a1 <= b1 ) );
693 | than the 128-bit value formed by concatenating `b0' and `b1'. Otherwise,
697 INLINE flag lt128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
700 return ( a0 < b0 ) || ( ( a0 == b0 ) && ( a1 < b1 ) );
706 | not equal to the 128-bit value formed by concatenating `b0' and `b1'.
710 INLINE flag ne128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
713 return ( a0 != b0 ) || ( a1 != b1 );