• Home
  • Raw
  • Download

Lines Matching refs:b0

339 value formed by concatenating `b0' and `b1'.  Addition is modulo 2^128, so
346 bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 *z0Ptr, bits64 *z1Ptr )
352 *z0Ptr = a0 + b0 + ( z1 < a1 );
359 192-bit value formed by concatenating `b0', `b1', and `b2'. Addition is
370 bits64 b0,
385 z0 = a0 + b0;
397 Subtracts the 128-bit value formed by concatenating `b0' and `b1' from the
406 bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 *z0Ptr, bits64 *z1Ptr )
410 *z0Ptr = a0 - b0 - ( a1 < b1 );
416 Subtracts the 192-bit value formed by concatenating `b0', `b1', and `b2'
428 bits64 b0,
443 z0 = a0 - b0;
515 128-bit value formed by concatenating `b0' and `b1' to obtain a 256-bit
524 bits64 b0,
536 mul64To128( a1, b0, &z1, &more2 );
538 mul64To128( a0, b0, &z0, &more1 );
562 bits64 b0, b1;
566 b0 = b>>32; /* hence b0 is 32 bits wide now */
567 if ( b0<<32 <= a0 ) {
571 do_div( z, b0 );
579 add128( rem0, rem1, b0, b1, &rem0, &rem1 );
582 if ( b0<<32 <= rem0 ) {
585 do_div( rem0, b0 );
702 is equal to the 128-bit value formed by concatenating `b0' and `b1'.
706 INLINE flag eq128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
709 return ( a0 == b0 ) && ( a1 == b1 );
716 than or equal to the 128-bit value formed by concatenating `b0' and `b1'.
720 INLINE flag le128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
723 return ( a0 < b0 ) || ( ( a0 == b0 ) && ( a1 <= b1 ) );
730 than the 128-bit value formed by concatenating `b0' and `b1'. Otherwise,
734 INLINE flag lt128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
737 return ( a0 < b0 ) || ( ( a0 == b0 ) && ( a1 < b1 ) );
744 not equal to the 128-bit value formed by concatenating `b0' and `b1'.
748 INLINE flag ne128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )
751 return ( a0 != b0 ) || ( a1 != b1 );