Searched refs:recip32 (Results 1 - 12 of 12) sorted by relevance
/seL4-camkes-master/tools/riscv-pk/softfloat/ |
H A D | f64_div.c | 59 uint32_t recip32, sig32Z, doubleTerm; local 123 recip32 = softfloat_approxRecip32_1( sigB>>32 ) - 2; 124 sig32Z = ((uint32_t) (sigA>>32) * (uint_fast64_t) recip32)>>32; 129 q = (((uint32_t) (rem>>32) * (uint_fast64_t) recip32)>>32) + 4;
|
H A D | f16_rem.c | 59 uint32_t recip32, q32; local 117 recip32 = softfloat_approxRecip32_1( (uint_fast32_t) sigB<<21 ); 131 q32 = (rem * (uint_fast64_t) recip32)>>16;
|
H A D | f32_rem.c | 58 uint32_t q, recip32, altRem, meanRem; local 115 recip32 = softfloat_approxRecip32_1( sigB<<8 ); 129 q = (rem * (uint_fast64_t) recip32)>>32;
|
H A D | extF80M_div.c | 71 uint32_t y[3], recip32, sigB[3]; local 126 recip32 = softfloat_approxRecip32_1( x64>>32 ); 133 x64 = (uint64_t) y[indexWordHi( 3 )] * recip32;
|
H A D | extF80M_rem.c | 69 uint32_t rem[3], x[3], sig32B, q, recip32, rem2[3], *remPtr, *altRemPtr; local 135 recip32 = softfloat_approxRecip32_1( sig32B ); 138 x64 = (uint64_t) rem[indexWordHi( 3 )] * recip32;
|
H A D | f128M_div.c | 69 uint32_t recip32; local 117 recip32 = 124 q64 = (uint64_t) y[indexWordHi( 4 )] * recip32;
|
H A D | f128M_rem.c | 65 uint32_t q, recip32; local 111 recip32 = 118 q64 = (uint64_t) remPtr[indexWordHi( 4 )] * recip32;
|
H A D | f64_rem.c | 58 uint32_t q, recip32; local 120 recip32 = softfloat_approxRecip32_1( sigB>>21 ); 134 q64 = (uint32_t) (rem>>32) * (uint_fast64_t) recip32;
|
H A D | extF80_div.c | 62 uint_fast32_t recip32; local 132 recip32 = softfloat_approxRecip32_1( sigB>>32 ); 136 q64 = (uint_fast64_t) (uint32_t) (rem.v64>>2) * recip32;
|
H A D | extF80_rem.c | 60 uint_fast32_t q, recip32; local 141 recip32 = softfloat_approxRecip32_1( sigB>>32 ); 144 q64 = (uint_fast64_t) (uint32_t) (rem.v64>>2) * recip32;
|
H A D | f128_div.c | 60 uint_fast32_t recip32; local 129 recip32 = softfloat_approxRecip32_1( sigB.v64>>17 ); 132 q64 = (uint_fast64_t) (uint32_t) (rem.v64>>19) * recip32;
|
H A D | f128_rem.c | 58 uint_fast32_t q, recip32; local 127 recip32 = softfloat_approxRecip32_1( sigB.v64>>17 ); 130 q64 = (uint_fast64_t) (uint32_t) (rem.v64>>19) * recip32;
|
Completed in 89 milliseconds