Lines Matching refs:b0
332 | value formed by concatenating `b0' and `b1'. Addition is modulo 2^128, so
339 bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 *z0Ptr, bits64 *z1Ptr )
345 *z0Ptr = a0 + b0 + ( z1 < a1 );
351 | 192-bit value formed by concatenating `b0', `b1', and `b2'. Addition is
362 bits64 b0,
377 z0 = a0 + b0;
388 | Subtracts the 128-bit value formed by concatenating `b0' and `b1' from the
397 bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 *z0Ptr, bits64 *z1Ptr )
401 *z0Ptr = a0 - b0 - ( a1 < b1 );
406 | Subtracts the 192-bit value formed by concatenating `b0', `b1', and `b2'
418 bits64 b0,
433 z0 = a0 - b0;
502 | 128-bit value formed by concatenating `b0' and `b1' to obtain a 256-bit
511 bits64 b0,
523 mul64To128( a1, b0, &z1, &more2 );
525 mul64To128( a0, b0, &z0, &more1 );
548 bits64 b0, b1;
553 b0 = b>>32;
554 z = ( b0<<32 <= a0 ) ? LIT64( 0xFFFFFFFF00000000 ) : ( a0 / b0 )<<32;
560 add128( rem0, rem1, b0, b1, &rem0, &rem1 );
563 z |= ( b0<<32 <= rem0 ) ? 0xFFFFFFFF : rem0 / b0;
671 | is equal to the 128-bit value formed by concatenating `b0' and `b1'.
675 INLINE flag eq128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
678 return ( a0 == b0 ) && ( a1 == b1 );
684 | than or equal to the 128-bit value formed by concatenating `b0' and `b1'.
688 INLINE flag le128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
691 return ( a0 < b0 ) || ( ( a0 == b0 ) && ( a1 <= b1 ) );
697 | than the 128-bit value formed by concatenating `b0' and `b1'. Otherwise,
701 INLINE flag lt128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
704 return ( a0 < b0 ) || ( ( a0 == b0 ) && ( a1 < b1 ) );
710 | not equal to the 128-bit value formed by concatenating `b0' and `b1'.
714 INLINE flag ne128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
717 return ( a0 != b0 ) || ( a1 != b1 );
