Home | History | Annotate | Download | only in bits64

Lines Matching refs:b0

341 value formed by concatenating `b0' and `b1'.  Addition is modulo 2^128, so
348      bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 *z0Ptr, bits64 *z1Ptr )
354     *z0Ptr = a0 + b0 + ( z1 < a1 );
361 192-bit value formed by concatenating `b0', `b1', and `b2'.  Addition is
372      bits64 b0,
387     z0 = a0 + b0;
399 Subtracts the 128-bit value formed by concatenating `b0' and `b1' from the
408      bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 *z0Ptr, bits64 *z1Ptr )
412     *z0Ptr = a0 - b0 - ( a1 < b1 );
418 Subtracts the 192-bit value formed by concatenating `b0', `b1', and `b2'
430      bits64 b0,
445     z0 = a0 - b0;
517 128-bit value formed by concatenating `b0' and `b1' to obtain a 256-bit
526      bits64 b0,
538     mul64To128( a1, b0, &z1, &more2 );
540     mul64To128( a0, b0, &z0, &more1 );
564     bits64 b0, b1;
569     b0 = b>>32;
570     z = ( b0<<32 <= a0 ) ? LIT64( 0xFFFFFFFF00000000 ) : ( a0 / b0 )<<32;
576         add128( rem0, rem1, b0, b1, &rem0, &rem1 );
579     z |= ( b0<<32 <= rem0 ) ? 0xFFFFFFFF : rem0 / b0;
693 is equal to the 128-bit value formed by concatenating `b0' and `b1'.
697 INLINE flag eq128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
700     return ( a0 == b0 ) && ( a1 == b1 );
707 than or equal to the 128-bit value formed by concatenating `b0' and `b1'.
711 INLINE flag le128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
714     return ( a0 < b0 ) || ( ( a0 == b0 ) && ( a1 <= b1 ) );
721 than the 128-bit value formed by concatenating `b0' and `b1'.  Otherwise,
725 INLINE flag lt128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
728     return ( a0 < b0 ) || ( ( a0 == b0 ) && ( a1 < b1 ) );
735 not equal to the 128-bit value formed by concatenating `b0' and `b1'.
739 INLINE flag ne128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
742     return ( a0 != b0 ) || ( a1 != b1 );