Searched refs:recip32 (Results 1 - 12 of 12) sorted by relevance
| /seL4-test-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 40 milliseconds