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

/seL4-camkes-master/tools/riscv-pk/softfloat/
H A Ds_roundToUI32.c48 uint_fast16_t roundIncrement, roundBits; local
53 roundIncrement = 0x800;
58 roundIncrement = 0;
66 if ( roundingMode == softfloat_round_max ) roundIncrement = 0xFFF;
70 sig += roundIncrement;
H A Ds_roundPackToF16.c48 uint_fast8_t roundIncrement, roundBits; local
57 roundIncrement = 0x8;
59 roundIncrement =
74 || (exp < -1) || (sig + roundIncrement < 0x8000);
81 } else if ( (0x1D < exp) || (0x8000 <= sig + roundIncrement) ) {
86 uiZ = packToF16UI( sign, 0x1F, 0 ) - ! roundIncrement;
92 sig = (sig + roundIncrement)>>4;
H A Ds_roundPackToF32.c48 uint_fast8_t roundIncrement, roundBits; local
57 roundIncrement = 0x40;
59 roundIncrement =
74 || (exp < -1) || (sig + roundIncrement < 0x80000000);
81 } else if ( (0xFD < exp) || (0x80000000 <= sig + roundIncrement) ) {
86 uiZ = packToF32UI( sign, 0xFF, 0 ) - ! roundIncrement;
92 sig = (sig + roundIncrement)>>7;
H A Ds_roundPackToF64.c48 uint_fast16_t roundIncrement, roundBits; local
57 roundIncrement = 0x200;
59 roundIncrement =
75 || (sig + roundIncrement < UINT64_C( 0x8000000000000000 ));
84 || (UINT64_C( 0x8000000000000000 ) <= sig + roundIncrement)
90 uiZ = packToF64UI( sign, 0x7FF, 0 ) - ! roundIncrement;
96 sig = (sig + roundIncrement)>>10;
H A Ds_roundPackMToExtF80M.c54 uint64_t sig, roundIncrement, roundMask, roundBits; local
68 roundIncrement = UINT64_C( 0x0000000000000400 );
71 roundIncrement = UINT64_C( 0x0000008000000000 );
80 roundIncrement =
97 || (sig <= (uint64_t) (sig + roundIncrement));
109 sig += roundIncrement;
111 roundIncrement = roundMask + 1;
112 if ( roundNearEven && (roundBits<<1 == roundIncrement) ) {
113 roundMask |= roundIncrement;
120 || ((exp == 0x7FFE) && ((uint64_t) (sig + roundIncrement) < si
[all...]
H A Ds_roundPackToExtF80.c54 uint_fast64_t roundIncrement, roundMask, roundBits; local
65 roundIncrement = UINT64_C( 0x0000000000000400 );
68 roundIncrement = UINT64_C( 0x0000008000000000 );
75 roundIncrement =
92 || (sig <= (uint64_t) (sig + roundIncrement));
104 sig += roundIncrement;
106 roundIncrement = roundMask + 1;
107 if ( roundNearEven && (roundBits<<1 == roundIncrement) ) {
108 roundMask |= roundIncrement;
115 || ((exp == 0x7FFE) && ((uint64_t) (sig + roundIncrement) < si
[all...]
H A Ds_roundToI32.c48 uint_fast16_t roundIncrement, roundBits; local
55 roundIncrement = 0x800;
60 roundIncrement = 0;
69 roundIncrement = 0xFFF;
73 sig += roundIncrement;

Completed in 37 milliseconds