Searched refs:sigZExtra (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/tools/riscv-pk/softfloat/
H A Ds_addMagsExtF80.c59 uint_fast64_t uiZ0, sigZ, sigZExtra; local
85 sigZExtra = 0;
107 sigZExtra = 0;
112 sigZExtra = sig64Extra.extra;
123 sigZExtra = 0;
128 sigZExtra = sig64Extra.extra;
136 sig64Extra = softfloat_shortShiftRightJam64Extra( sigZ, sigZExtra, 1 );
138 sigZExtra = sig64Extra.extra;
143 signZ, expZ, sigZ, sigZExtra, extF80_roundingPrecision );
H A Ds_addExtF80M.c64 uint32_t extSigX[3], sigZExtra; local
123 sigZExtra = extSigX[indexWordLo( 3 )];
124 if ( sigZExtra ) {
126 sigZExtra = -sigZExtra;
131 sigZ = sigZ<<1 | sigZExtra>>31;
132 sigZExtra <<= 1;
140 sigZExtra = (uint32_t) sigZ<<31 | (extSigX[indexWordLo( 3 )] != 0);
146 sigZExtra = 0;
164 sigZExtra
[all...]
H A Ds_addMagsF128.c59 uint_fast64_t sigZExtra; local
85 sigZExtra = 0;
100 sigZExtra = 0;
106 sigZExtra = sig128Extra.extra;
119 sigZExtra = 0;
125 sigZExtra = sig128Extra.extra;
141 sigZ.v64, sigZ.v0, sigZExtra, 1 );
143 sigZExtra = sig128Extra.extra;
146 softfloat_roundPackToF128( signZ, expZ, sigZ.v64, sigZ.v0, sigZExtra );
H A DextF80_sqrt.c61 uint_fast64_t sigZExtra; local
137 sigZExtra = (uint64_t) (q<<39);
142 sigZExtra = (uint64_t) (q<<39);
149 if ( ! sigZExtra ) --sigZ;
150 --sigZExtra;
152 if ( rem.v64 | rem.v0 ) sigZExtra |= 1;
157 0, expZ, sigZ, sigZExtra, extF80_roundingPrecision );
H A Df128_sqrt.c59 uint_fast64_t sigZExtra; local
152 sigZExtra = (uint64_t) ((uint_fast64_t) q<<59);
163 sigZExtra = (uint64_t) ((uint_fast64_t) q<<59);
165 y.v0 |= sigZExtra>>58;
177 sigZExtra |= 1;
180 if ( sigZExtra ) {
181 --sigZExtra;
184 sigZExtra = ~0;
189 return softfloat_roundPackToF128( 0, expZ, sigZ.v64, sigZ.v0, sigZExtra );
H A Ds_mulAddF128.c75 uint_fast64_t sigZExtra, sig256Z0; local
222 sigZExtra =
224 if ( sigZExtra ) {
269 sigZExtra = sig256Z[indexWord( 4, 1 )];
272 if ( sig256Z0 ) sigZExtra |= 1;
276 sigZ.v0 = sigZExtra;
277 sigZExtra = sig256Z0;
281 sigZ.v0 = sigZExtra;
282 sigZExtra = 0;
297 x128 = softfloat_shortShiftLeft128( 0, sigZExtra, shiftDis
[all...]
H A Df128_mul.c61 uint_fast64_t sigZExtra; local
120 sigZExtra = sig256Z[indexWord( 4, 1 )] | (sig256Z[indexWord( 4, 0 )] != 0);
130 sigZ.v64, sigZ.v0, sigZExtra, 1 );
132 sigZExtra = sig128Extra.extra;
135 softfloat_roundPackToF128( signZ, expZ, sigZ.v64, sigZ.v0, sigZExtra );
H A DextF80_div.c68 uint_fast64_t sigZExtra; local
168 sigZExtra = (uint64_t) ((uint_fast64_t) q<<41);
171 signZ, expZ, sigZ, sigZExtra, extF80_roundingPrecision );
H A Df128_div.c66 uint_fast64_t sigZExtra; local
162 sigZExtra = (uint64_t) ((uint_fast64_t) q<<60);
170 softfloat_roundPackToF128( signZ, expZ, sigZ.v64, sigZ.v0, sigZExtra );

Completed in 97 milliseconds