| /seL4-test-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;
|