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