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

/seL4-camkes-master/tools/riscv-pk/softfloat/
H A Df64_to_i64.c55 uint32_t extSig[3]; local
81 extSig[indexWord( 3, 0 )] = 0;
85 extSig[indexWord( 3, 2 )] = sig>>32;
86 extSig[indexWord( 3, 1 )] = sig;
88 extSig[indexWord( 3, 2 )] = sig>>32;
89 extSig[indexWord( 3, 1 )] = sig;
90 softfloat_shiftRightJam96M( extSig, shiftDist, extSig );
92 return softfloat_roundMToI64( sign, extSig, roundingMode, exact );
H A Df64_to_ui64.c55 uint32_t extSig[3]; local
81 extSig[indexWord( 3, 0 )] = 0;
85 extSig[indexWord( 3, 2 )] = sig>>32;
86 extSig[indexWord( 3, 1 )] = sig;
88 extSig[indexWord( 3, 2 )] = sig>>32;
89 extSig[indexWord( 3, 1 )] = sig;
90 softfloat_shiftRightJam96M( extSig, shiftDist, extSig );
92 return softfloat_roundMToUI64( sign, extSig, roundingMode, exact );
H A DextF80M_to_i64.c67 uint32_t extSig[3]; local
88 extSig[indexWord( 3, 2 )] = sig>>32;
89 extSig[indexWord( 3, 1 )] = sig;
90 extSig[indexWord( 3, 0 )] = 0;
91 if ( shiftDist ) softfloat_shiftRightJam96M( extSig, shiftDist, extSig );
92 return softfloat_roundMToI64( sign, extSig, roundingMode, exact );
H A DextF80M_to_ui64.c67 uint32_t extSig[3]; local
88 extSig[indexWord( 3, 2 )] = sig>>32;
89 extSig[indexWord( 3, 1 )] = sig;
90 extSig[indexWord( 3, 0 )] = 0;
91 if ( shiftDist ) softfloat_shiftRightJam96M( extSig, shiftDist, extSig );
92 return softfloat_roundMToUI64( sign, extSig, roundingMode, exact );
H A Df32_to_i64.c56 uint32_t extSig[3]; local
88 extSig[indexWord( 3, 2 )] = sig<<8;
89 extSig[indexWord( 3, 1 )] = 0;
90 extSig[indexWord( 3, 0 )] = 0;
91 if ( shiftDist ) softfloat_shiftRightJam96M( extSig, shiftDist, extSig );
92 return softfloat_roundMToI64( sign, extSig, roundingMode, exact );
H A Df32_to_ui64.c56 uint32_t extSig[3]; local
88 extSig[indexWord( 3, 2 )] = sig<<8;
89 extSig[indexWord( 3, 1 )] = 0;
90 extSig[indexWord( 3, 0 )] = 0;
91 if ( shiftDist ) softfloat_shiftRightJam96M( extSig, shiftDist, extSig );
92 return softfloat_roundMToUI64( sign, extSig, roundingMode, exact );
H A Df16_to_ui64.c54 uint32_t extSig[3]; local
89 extSig[indexWord( 3, 2 )] = 0;
90 extSig[indexWord( 3, 1 )] = sig32>>12;
91 extSig[indexWord( 3, 0 )] = sig32<<20;
92 return softfloat_roundMToUI64( sign, extSig, roundingMode, exact );

Completed in 47 milliseconds