| /seL4-test-master/tools/riscv-pk/softfloat/ |
| H A D | s_addMagsF32.c | 52 int_fast16_t expZ; local
78 expZ = expA;
80 if ( ! (sigZ & 1) && (expZ < 0xFE) ) {
81 uiZ = packToF32UI( signZ, expZ, sigZ>>1 );
97 expZ = expB;
106 expZ = expA;
112 --expZ;
116 return softfloat_roundPackToF32( signZ, expZ, sigZ );
|
| H A D | s_subMagsF32.c | 55 int_fast16_t expZ; local
91 expZ = expA - shiftDist;
92 if ( expZ < 0 ) {
94 expZ = 0;
96 uiZ = packToF32UI( signZ, expZ, sigDiff<<shiftDist );
113 expZ = expB - 1;
125 expZ = expA - 1;
131 signZ, expZ, sigX - softfloat_shiftRightJam32( sigY, expDiff )
|
| H A D | s_subMagsF64.c | 55 int_fast16_t expZ; local
90 expZ = expA - shiftDist;
91 if ( expZ < 0 ) {
93 expZ = 0;
95 uiZ = packToF64UI( signZ, expZ, sigDiff<<shiftDist );
114 expZ = expB;
127 expZ = expA;
130 return softfloat_normRoundPackToF64( signZ, expZ - 1, sigZ );
|
| H A D | s_subMagsF16.c | 54 int_fast8_t shiftDist, expZ; local
92 expZ = expA - shiftDist;
93 if ( expZ < 0 ) {
95 expZ = 0;
117 expZ = expA + 19;
133 expZ = expB + 19;
140 expZ -= shiftDist;
145 if ( ! (sigZ & 0xF) && ((unsigned int) expZ < 0x1E) ) {
150 return softfloat_roundPackToF16( signZ, expZ, sigZ );
181 uiZ = packToF16UI( signZ, expZ, sig
[all...] |
| H A D | s_addMagsF16.c | 53 int_fast8_t expZ; local
83 expZ = expA;
85 if ( ! (sigZ & 1) && (expZ < 0x1E) ) {
107 expZ = expB;
123 expZ = expA;
131 --expZ;
138 if ( ! (sigZ & 0xF) && (expZ < 0x1E) ) {
144 return softfloat_roundPackToF16( signZ, expZ, sigZ );
177 uiZ = packToF16UI( signZ, expZ, sigZ );
|
| H A D | s_addMagsF64.c | 52 int_fast16_t expZ; local
77 expZ = expA;
91 expZ = expB;
104 expZ = expA;
114 --expZ;
118 return softfloat_roundPackToF64( signZ, expZ, sigZ );
|
| H A D | s_addMagsExtF80.c | 61 int_fast32_t expZ; local
88 expZ = normExpSig.exp + 1;
92 expZ = expA;
104 expZ = expB;
120 expZ = expA;
139 ++expZ;
143 signZ, expZ, sigZ, sigZExtra, extF80_roundingPrecision );
|
| H A D | s_subMagsExtF80.c | 60 int_fast32_t expZ; local
87 expZ = expA;
88 if ( ! expZ ) expZ = 1;
114 expZ = expB;
137 expZ = expA;
145 signZ, expZ, sig128.v64, sig128.v0, extF80_roundingPrecision );
|
| H A D | s_mulAddF16.c | 63 int_fast8_t expZ; local
129 expZ = expProd - 1;
145 expZ = expC;
148 expZ = expProd;
156 --expZ;
165 expZ = expC;
168 expZ = expProd;
176 expZ = expProd;
180 expZ -= shiftDist;
191 return softfloat_roundPackToF16( signZ, expZ, sig
[all...] |
| H A D | s_mulAddF32.c | 63 int_fast16_t expZ; local
129 expZ = expProd - 1;
145 expZ = expC;
148 expZ = expProd;
156 --expZ;
165 expZ = expC;
168 expZ = expProd;
176 expZ = expProd;
180 expZ -= shiftDist;
189 return softfloat_roundPackToF32( signZ, expZ, sig
[all...] |
| H A D | f32_mul.c | 59 int_fast16_t expZ; local
104 expZ = expA + expB - 0x7F;
109 --expZ;
112 return softfloat_roundPackToF32( signZ, expZ, sigZ );
|
| H A D | f32_sqrt.c | 52 int_fast16_t expZ; local
90 expZ = ((expA - 0x7F)>>1) + 0x7E;
110 return softfloat_roundPackToF32( 0, expZ, sigZ );
|
| H A D | f32_div.c | 58 int_fast16_t expZ; local
116 expZ = expA - expB + 0x7E;
121 --expZ;
130 --expZ;
154 return softfloat_roundPackToF32( signZ, expZ, sigZ );
|
| H A D | s_mulAddF64.c | 62 int_fast16_t expZ; local
118 expZ = expA + expB - 0x3FE;
123 --expZ;
130 --expZ;
141 expDiff = expZ - expC;
143 expZ = expC;
167 --expZ;
191 expZ -= 64;
196 expZ -= shiftDist;
208 return softfloat_roundPackToF64( signZ, expZ, sig
262 int_fast16_t expZ; local
[all...] |
| H A D | s_addMagsF128.c | 58 int_fast32_t expZ; local
83 expZ = expA;
95 expZ = expB;
114 expZ = expA;
135 --expZ;
137 ++expZ;
146 softfloat_roundPackToF128( signZ, expZ, sigZ.v64, sigZ.v0, sigZExtra );
|
| H A D | s_subMagsF128.c | 57 int_fast32_t expDiff, expZ; local
79 expZ = expA;
80 if ( ! expZ ) expZ = 1;
105 expZ = expB;
126 expZ = expA;
131 return softfloat_normRoundPackToF128( signZ, expZ - 5, sigZ.v64, sigZ.v0 );
|
| H A D | f16_sqrt.c | 55 int_fast8_t expZ; local
97 expZ = ((expA - 0xF)>>1) + 0xE;
125 return softfloat_roundPackToF16( 0, expZ, sigZ );
|
| H A D | f64_sqrt.c | 52 int_fast16_t expZ; local
95 expZ = ((expA - 0x3FF)>>1) + 0x3FE;
122 return softfloat_roundPackToF64( 0, expZ, sigZ );
|
| H A D | extF80M_mul.c | 70 int32_t expZ; local
116 expZ = expA + expB - 0x3FFE;
121 --expZ;
125 signZ, expZ, extSigZPtr, extF80_roundingPrecision, zSPtr );
|
| H A D | f128M_mul.c | 70 int32_t expZ; local
128 expZ = expA + expB - 0x4000;
139 ++expZ;
143 softfloat_roundPackMToF128M( signZ, expZ, extSigZPtr, zWPtr );
|
| H A D | f16_mul.c | 59 int_fast8_t expZ; local
105 expZ = expA + expB - 0xF;
112 --expZ;
115 return softfloat_roundPackToF16( signZ, expZ, sigZ );
|
| H A D | f64_div.c | 58 int_fast16_t expZ; local
113 expZ = expA - expB + 0x3FE;
117 --expZ;
146 return softfloat_roundPackToF64( signZ, expZ, sigZ );
|
| H A D | f64_mul.c | 59 int_fast16_t expZ; local
109 expZ = expA + expB - 0x3FF;
122 --expZ;
125 return softfloat_roundPackToF64( signZ, expZ, sigZ );
|
| H A D | f16_div.c | 61 int_fast8_t expZ; local
120 expZ = expA - expB + 0xE;
125 --expZ;
134 --expZ;
160 return softfloat_roundPackToF16( signZ, expZ, sigZ );
|
| H A D | s_mulAddF128.c | 68 int_fast32_t expZ; local
135 expZ = expA + expB - 0x3FFE;
145 --expZ;
161 expDiff = expZ - expC;
163 expZ = expC;
211 ++expZ;
228 --expZ;
259 --expZ;
274 expZ -= 64;
279 expZ
[all...] |