100     bits64 z0, z1;  in shift64ExtraRightJamming()  local
104         z1 = a1;  in shift64ExtraRightJamming()
108         z1 = ( a0<<negCount ) | ( a1 != 0 );  in shift64ExtraRightJamming()
113             z1 = a0 | ( a1 != 0 );  in shift64ExtraRightJamming()
116             z1 = ( ( a0 | a1 ) != 0 );  in shift64ExtraRightJamming()
120     *z1Ptr = z1;  in shift64ExtraRightJamming()
137     bits64 z0, z1;  in shift128Right()  local
141         z1 = a1;  in shift128Right()
145         z1 = ( a0<<negCount ) | ( a1>>count );  in shift128Right()
149         z1 = ( count < 128 ) ? ( a0>>( count & 63 ) ) : 0;  in shift128Right()
152     *z1Ptr = z1;  in shift128Right()
172     bits64 z0, z1;  in shift128RightJamming()  local
176         z1 = a1;  in shift128RightJamming()
180         z1 = ( a0<<negCount ) | ( a1>>count ) | ( ( a1<<negCount ) != 0 );  in shift128RightJamming()
185             z1 = a0 | ( a1 != 0 );  in shift128RightJamming()
188             z1 = ( a0>>( count & 63 ) ) | ( ( ( a0<<negCount ) | a1 ) != 0 );  in shift128RightJamming()
191             z1 = ( ( a0 | a1 ) != 0 );  in shift128RightJamming()
195     *z1Ptr = z1;  in shift128RightJamming()
230     bits64 z0, z1, z2;  in shift128ExtraRightJamming()  local
235         z1 = a1;  in shift128ExtraRightJamming()
241             z1 = ( a0<<negCount ) | ( a1>>count );  in shift128ExtraRightJamming()
247                 z1 = a0;  in shift128ExtraRightJamming()
253                     z1 = a0>>( count & 63 );  in shift128ExtraRightJamming()
257                     z1 = 0;  in shift128ExtraRightJamming()
265     *z1Ptr = z1;  in shift128ExtraRightJamming()
307     bits64 z0, z1, z2;  in shortShift192Left()  local
311     z1 = a1<<count;  in shortShift192Left()
315         z1 |= a2>>negCount;  in shortShift192Left()
319     *z1Ptr = z1;  in shortShift192Left()
335     bits64 z1;  in add128()  local
337     z1 = a1 + b1;  in add128()
338     *z1Ptr = z1;  in add128()
339     *z0Ptr = a0 + b0 + ( z1 < a1 );  in add128()
364     bits64 z0, z1, z2;  in add192()  local
369     z1 = a1 + b1;  in add192()
370     carry0 = ( z1 < a1 );  in add192()
372     z1 += carry1;  in add192()
373     z0 += ( z1 < carry1 );  in add192()
376     *z1Ptr = z1;  in add192()
420     bits64 z0, z1, z2;  in sub192()  local
425     z1 = a1 - b1;  in sub192()
428     z0 -= ( z1 < borrow1 );  in sub192()
429     z1 -= borrow1;  in sub192()
432     *z1Ptr = z1;  in sub192()
446     bits64 z0, zMiddleA, zMiddleB, z1;  in mul64To128()  local
452     z1 = ( (bits64) aLow ) * bLow;  in mul64To128()
459     z1 += zMiddleA;  in mul64To128()
460     z0 += ( z1 < zMiddleA );  in mul64To128()
461     *z1Ptr = z1;  in mul64To128()
483     bits64 z0, z1, z2, more1;  in mul128By64To192()  local
485     mul64To128( a1, b, &z1, &z2 );  in mul128By64To192()
487     add128( z0, more1, 0, z1, &z0, &z1 );  in mul128By64To192()
489     *z1Ptr = z1;  in mul128By64To192()
513     bits64 z0, z1, z2, z3;  in mul128To256()  local
517     mul64To128( a1, b0, &z1, &more2 );  in mul128To256()
518     add128( z1, more2, 0, z2, &z1, &z2 );  in mul128To256()
520     add128( z0, more1, 0, z1, &z0, &z1 );  in mul128To256()
523     add128( z0, z1, 0, more1, &z0, &z1 );  in mul128To256()
526     *z1Ptr = z1;  in mul128To256()