Searched refs:recipSqrt32 (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/tools/riscv-pk/softfloat/
H A Df128M_sqrt.c65 uint32_t sig32A, recipSqrt32, sig32Z, qs[3], q; local
116 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A );
117 sig32Z = ((uint64_t) sig32A * recipSqrt32)>>32;
125 q = ((uint32_t) (rem64>>2) * (uint64_t) recipSqrt32)>>32;
146 q = ((uint32_t) (rem64>>2) * (uint64_t) recipSqrt32)>>32;
147 if ( rem64>>34 ) q += recipSqrt32;
167 q = (((uint32_t) (rem64>>2) * (uint64_t) recipSqrt32)>>32) + 2;
168 if ( rem64>>34 ) q += recipSqrt32;
H A Df64_sqrt.c53 uint32_t sig32A, recipSqrt32, sig32Z; local
99 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A );
100 sig32Z = ((uint_fast64_t) sig32A * recipSqrt32)>>32;
108 q = ((uint32_t) (rem>>2) * (uint_fast64_t) recipSqrt32)>>32;
H A DextF80M_sqrt.c63 uint32_t rem96[3], sig32A, recipSqrt32, sig32Z, q; local
105 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A );
106 sig32Z = ((uint64_t) sig32A * recipSqrt32)>>32;
115 q = ((uint32_t) (rem64>>2) * (uint64_t) recipSqrt32)>>32;
135 q = (((uint32_t) (rem64>>2) * (uint64_t) recipSqrt32)>>32) + 2;
136 if ( rem64>>34 ) q += recipSqrt32;
H A DextF80_sqrt.c57 uint_fast32_t sig32A, recipSqrt32, sig32Z; local
107 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A );
108 sig32Z = ((uint_fast64_t) sig32A * recipSqrt32)>>32;
118 q = ((uint32_t) (rem.v64>>2) * (uint_fast64_t) recipSqrt32)>>32;
134 q = (((rem.v64>>2) * recipSqrt32)>>32) + 2;
H A Df128_sqrt.c53 uint_fast32_t sig32A, recipSqrt32, sig32Z; local
105 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A );
106 sig32Z = ((uint_fast64_t) sig32A * recipSqrt32)>>32;
117 q = ((uint32_t) (rem.v64>>2) * (uint_fast64_t) recipSqrt32)>>32;
134 q = ((rem.v64>>2) * recipSqrt32)>>32;
151 q = (((rem.v64>>2) * recipSqrt32)>>32) + 2;

Completed in 84 milliseconds