Searched refs:sig32A (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/tools/riscv-pk/softfloat/
H A Df64_sqrt.c53 uint32_t sig32A, recipSqrt32, sig32Z; local
92 | `sig32A', which makes `sig32Z' also a lower bound on the square root of
98 sig32A = sigA>>21;
99 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A );
100 sig32Z = ((uint_fast64_t) sig32A * recipSqrt32)>>32;
H A Df128M_sqrt.c65 uint32_t sig32A, recipSqrt32, sig32Z, qs[3], q; local
101 | `sig32A', which makes `sig32Z' also a lower bound on the square root of
112 sig32A = rem64>>29;
114 sig32A = rem64>>30;
116 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A );
117 sig32Z = ((uint64_t) sig32A * recipSqrt32)>>32;
H A Df16_div.c63 uint_fast32_t sig32A; local
126 sig32A = (uint_fast32_t) sigA<<15;
128 sig32A = (uint_fast32_t) sigA<<14;
130 sigZ = sig32A / sigB;
131 if ( ! (sigZ & 7) ) sigZ |= ((uint_fast32_t) sigB * sigZ != sig32A);
H A DextF80M_sqrt.c63 uint32_t rem96[3], sig32A, recipSqrt32, sig32Z, q; local
104 sig32A = rem64>>32;
105 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A );
106 sig32Z = ((uint64_t) sig32A * recipSqrt32)>>32;
H A DextF80_sqrt.c57 uint_fast32_t sig32A, recipSqrt32, sig32Z; local
101 | `sig32A', which makes `sig32Z' also a lower bound on the square root of
106 sig32A = sigA>>32;
107 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A );
108 sig32Z = ((uint_fast64_t) sig32A * recipSqrt32)>>32;
H A Df128_sqrt.c53 uint_fast32_t sig32A, recipSqrt32, sig32Z; local
98 | `sig32A', which makes `sig32Z' also a lower bound on the square root of
104 sig32A = sigA.v64>>17;
105 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A );
106 sig32Z = ((uint_fast64_t) sig32A * recipSqrt32)>>32;

Completed in 35 milliseconds