Lines Matching defs:doubleZSig0
4037 bits64 aSig0, aSig1, zSig0, zSig1, doubleZSig0;
4065 doubleZSig0 = zSig0<<1;
4070 doubleZSig0 -= 2;
4071 add128( rem0, rem1, zSig0>>63, doubleZSig0 | 1, &rem0, &rem1 );
4073 zSig1 = estimateDiv128To64( rem1, 0, doubleZSig0 );
4076 mul64To128( doubleZSig0, zSig1, &term1, &term2 );
4084 term2 |= doubleZSig0;
4090 zSig0 |= doubleZSig0;
5236 bits64 aSig0, aSig1, zSig0, zSig1, zSig2, doubleZSig0;
5266 doubleZSig0 = zSig0<<1;
5271 doubleZSig0 -= 2;
5272 add128( rem0, rem1, zSig0>>63, doubleZSig0 | 1, &rem0, &rem1 );
5274 zSig1 = estimateDiv128To64( rem1, 0, doubleZSig0 );
5277 mul64To128( doubleZSig0, zSig1, &term1, &term2 );
5285 term2 |= doubleZSig0;