/seL4-camkes-master/tools/riscv-pk/softfloat/ |
H A D | ui32_to_extF80.c | 44 uint_fast16_t uiZ64; local 48 uiZ64 = 0; 51 uiZ64 = 0x401E - shiftDist; 54 uZ.s.signExp = uiZ64;
|
H A D | ui32_to_f128.c | 44 uint_fast64_t uiZ64; local 48 uiZ64 = 0; 51 uiZ64 = 55 uZ.ui.v64 = uiZ64;
|
H A D | ui64_to_extF80.c | 44 uint_fast16_t uiZ64; local 48 uiZ64 = 0; 51 uiZ64 = 0x403E - shiftDist; 54 uZ.s.signExp = uiZ64;
|
H A D | i32_to_extF80.c | 45 uint_fast16_t uiZ64; local 51 uiZ64 = 0; 57 uiZ64 = packToExtF80UI64( sign, 0x401E - shiftDist ); 60 uZ.s.signExp = uiZ64;
|
H A D | i32_to_f128.c | 44 uint_fast64_t uiZ64; local 50 uiZ64 = 0; 55 uiZ64 = 59 uZ.ui.v64 = uiZ64;
|
H A D | i64_to_extF80.c | 45 uint_fast16_t uiZ64; local 51 uiZ64 = 0; 57 uiZ64 = packToExtF80UI64( sign, 0x403E - shiftDist ); 60 uZ.s.signExp = uiZ64;
|
H A D | ui32_to_extF80M.c | 56 uint_fast16_t uiZ64; local 61 uiZ64 = 0; 65 uiZ64 = packToExtF80UI64( 0, 0x401E - shiftDist ); 68 zSPtr->signExp = uiZ64;
|
H A D | ui32_to_f128M.c | 55 uint32_t *zWPtr, uiZ96, uiZ64; local 61 uiZ64 = 0; 66 uiZ64 = normA; 69 zWPtr[indexWord( 4, 2 )] = uiZ64;
|
H A D | ui64_to_extF80M.c | 56 uint_fast16_t uiZ64; local 61 uiZ64 = 0; 65 uiZ64 = packToExtF80UI64( 0, 0x403E - shiftDist ); 68 zSPtr->signExp = uiZ64;
|
H A D | ui64_to_f128.c | 44 uint_fast64_t uiZ64, uiZ0; local 50 uiZ64 = 0; 60 uiZ64 = packToF128UI64( 0, 0x406E - shiftDist, zSig.v64 ); 63 uZ.ui.v64 = uiZ64;
|
H A D | i32_to_extF80M.c | 56 uint_fast16_t uiZ64; local 63 uiZ64 = 0; 69 uiZ64 = packToExtF80UI64( sign, 0x401E - shiftDist ); 72 zSPtr->signExp = uiZ64;
|
H A D | i32_to_f128M.c | 56 uint32_t uiZ96, uiZ64; local 64 uiZ64 = 0; 71 uiZ64 = normAbsA; 74 zWPtr[indexWord( 4, 2 )] = uiZ64;
|
H A D | i64_to_extF80M.c | 56 uint_fast16_t uiZ64; local 63 uiZ64 = 0; 69 uiZ64 = packToExtF80UI64( sign, 0x403E - shiftDist ); 72 zSPtr->signExp = uiZ64;
|
H A D | i64_to_f128.c | 44 uint_fast64_t uiZ64, uiZ0; local 52 uiZ64 = 0; 64 uiZ64 = packToF128UI64( sign, 0x406E - shiftDist, zSig.v64 ); 67 uZ.ui.v64 = uiZ64;
|
H A D | ui64_to_f128M.c | 55 uint32_t *zWPtr, uiZ96, uiZ64; local 61 uiZ64 = 0; 78 uiZ64 = a; 81 zWPtr[indexWord( 4, 2 )] = uiZ64;
|
H A D | f16_to_extF80.c | 53 uint_fast16_t uiZ64; local 71 uiZ64 = uiZ.v64; 74 uiZ64 = packToExtF80UI64( sign, 0x7FFF ); 83 uiZ64 = packToExtF80UI64( sign, 0 ); 93 uiZ64 = packToExtF80UI64( sign, exp + 0x3FF0 ); 96 uZ.s.signExp = uiZ64;
|
H A D | f32_to_extF80.c | 53 uint_fast16_t uiZ64; local 71 uiZ64 = uiZ.v64; 74 uiZ64 = packToExtF80UI64( sign, 0x7FFF ); 83 uiZ64 = packToExtF80UI64( sign, 0 ); 93 uiZ64 = packToExtF80UI64( sign, exp + 0x3F80 ); 96 uZ.s.signExp = uiZ64;
|
H A D | f64_to_extF80.c | 53 uint_fast16_t uiZ64; local 71 uiZ64 = uiZ.v64; 74 uiZ64 = packToExtF80UI64( sign, 0x7FFF ); 83 uiZ64 = packToExtF80UI64( sign, 0 ); 93 uiZ64 = packToExtF80UI64( sign, exp + 0x3C00 ); 96 uZ.s.signExp = uiZ64;
|
H A D | extF80_roundToInt.c | 51 uint_fast16_t uiZ64; local 69 uiZ64 = signUI64; 83 uiZ64 = uiZ.v64; 91 uiZ64 = signUI64 | exp; 113 uiZ64 = signUI64; 117 uiZ64 = signUI64 | 0x3FFF; 123 uiZ64 = signUI64 | exp; 139 ++uiZ64; 149 uZ.s.signExp = uiZ64;
|
H A D | f16_to_extF80M.c | 64 uint_fast16_t uiZ64; local 84 uiZ64 = packToExtF80UI64( sign, 0x7FFF ); 92 uiZ64 = packToExtF80UI64( sign, 0 ); 102 uiZ64 = packToExtF80UI64( sign, exp + 0x3FF0 ); 105 zSPtr->signExp = uiZ64;
|
H A D | f32_to_extF80M.c | 64 uint_fast16_t uiZ64; local 84 uiZ64 = packToExtF80UI64( sign, 0x7FFF ); 92 uiZ64 = packToExtF80UI64( sign, 0 ); 102 uiZ64 = packToExtF80UI64( sign, exp + 0x3F80 ); 105 zSPtr->signExp = uiZ64;
|
H A D | f64_to_extF80M.c | 64 uint_fast16_t uiZ64; local 84 uiZ64 = packToExtF80UI64( sign, 0x7FFF ); 92 uiZ64 = packToExtF80UI64( sign, 0 ); 102 uiZ64 = packToExtF80UI64( sign, exp + 0x3C00 ); 105 zSPtr->signExp = uiZ64;
|
H A D | extF80M_roundToInt.c | 74 uint_fast16_t uiZ64; local 91 uiZ64 = signUI64; 118 uiZ64 = signUI64; 122 uiZ64 = signUI64 | 0x3FFF; 138 uiZ64 = signUI64 | exp; 143 uiZ64 = signUI64 | exp; 159 ++uiZ64; 169 zSPtr->signExp = uiZ64;
|
H A D | f32_to_f128M.c | 62 uint32_t frac, uiZ64; local 80 uiZ64 = 0; 105 uiZ64 = frac64; 108 zWPtr[indexWord( 4, 2 )] = uiZ64;
|
H A D | i64_to_f128M.c | 56 uint32_t uiZ96, uiZ64; local 64 uiZ64 = 0; 84 uiZ64 = absA; 87 zWPtr[indexWord( 4, 2 )] = uiZ64;
|