Searched refs:q64 (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/tools/riscv-pk/softfloat/
H A Df128M_div.c71 uint64_t q64; local
124 q64 = (uint64_t) y[indexWordHi( 4 )] * recip32;
125 q = (q64 + 0x80000000)>>32;
155 q64 = (uint64_t) q<<28;
156 y[indexWord( 5, 0 )] = q64;
157 q64 = ((uint64_t) qs[0]<<25) + (q64>>32);
158 y[indexWord( 5, 1 )] = q64;
159 q64 = ((uint64_t) qs[1]<<22) + (q64>>3
[all...]
H A Df128M_rem.c66 uint64_t q64; local
118 q64 = (uint64_t) remPtr[indexWordHi( 4 )] * recip32;
120 q = (q64 + 0x80000000)>>32;
130 q = (uint32_t) (q64>>32)>>(~expDiff & 31);
H A Df64_rem.c59 uint_fast64_t q64; local
134 q64 = (uint32_t) (rem>>32) * (uint_fast64_t) recip32;
136 q = (q64 + 0x80000000)>>32;
149 q = (uint32_t) (q64>>32)>>(~expDiff & 31);
H A DextF80_rem.c61 uint_fast64_t q64; local
144 q64 = (uint_fast64_t) (uint32_t) (rem.v64>>2) * recip32;
146 q = (q64 + 0x80000000)>>32;
160 q = (uint32_t) (q64>>32)>>(~expDiff & 31);
H A Df128_rem.c59 uint_fast64_t q64; local
130 q64 = (uint_fast64_t) (uint32_t) (rem.v64>>19) * recip32;
132 q = (q64 + 0x80000000)>>32;
144 q = (uint32_t) (q64>>32)>>(~expDiff & 31);
H A DextF80_div.c65 uint_fast64_t q64; local
136 q64 = (uint_fast64_t) (uint32_t) (rem.v64>>2) * recip32;
137 q = (q64 + 0x80000000)>>32;
H A Df128_div.c62 uint_fast64_t q64; local
132 q64 = (uint_fast64_t) (uint32_t) (rem.v64>>19) * recip32;
133 q = (q64 + 0x80000000)>>32;

Completed in 205 milliseconds