Searched refs:recipSqrt32 (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/tools/riscv-pk/softfloat/ |
H A D | f128M_sqrt.c | 65 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 D | f64_sqrt.c | 53 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 D | extF80M_sqrt.c | 63 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 D | extF80_sqrt.c | 57 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 D | f128_sqrt.c | 53 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