| /seL4-test-master/tools/riscv-pk/softfloat/ |
| H A D | f16_le.c | 49 bool signA, signB; local
59 signA = signF16UI( uiA );
62 (signA != signB) ? signA || ! (uint16_t) ((uiA | uiB)<<1)
63 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
| H A D | f16_lt.c | 49 bool signA, signB; local
59 signA = signF16UI( uiA );
62 (signA != signB) ? signA && ((uint16_t) ((uiA | uiB)<<1) != 0)
63 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
| H A D | f32_le.c | 49 bool signA, signB; local
59 signA = signF32UI( uiA );
62 (signA != signB) ? signA || ! (uint32_t) ((uiA | uiB)<<1)
63 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
| H A D | f32_lt.c | 49 bool signA, signB; local
59 signA = signF32UI( uiA );
62 (signA != signB) ? signA && ((uint32_t) ((uiA | uiB)<<1) != 0)
63 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
| H A D | f64_le.c | 49 bool signA, signB; local
59 signA = signF64UI( uiA );
62 (signA != signB)
63 ? signA || ! ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
64 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
| H A D | f64_lt.c | 49 bool signA, signB; local
59 signA = signF64UI( uiA );
62 (signA != signB)
63 ? signA && ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
64 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
| H A D | f64_add.c | 47 bool signA; local
57 signA = signF64UI( uiA );
62 if ( signA == signB ) {
63 return softfloat_addMagsF64( uiA, uiB, signA );
65 return softfloat_subMagsF64( uiA, uiB, signA );
69 (signA == signB) ? softfloat_addMagsF64 : softfloat_subMagsF64;
70 return (*magsFuncPtr)( uiA, uiB, signA );
|
| H A D | f64_sub.c | 47 bool signA; local
57 signA = signF64UI( uiA );
62 if ( signA == signB ) {
63 return softfloat_subMagsF64( uiA, uiB, signA );
65 return softfloat_addMagsF64( uiA, uiB, signA );
69 (signA == signB) ? softfloat_subMagsF64 : softfloat_addMagsF64;
70 return (*magsFuncPtr)( uiA, uiB, signA );
|
| H A D | f128_le.c | 49 bool signA, signB; local
61 signA = signF128UI64( uiA64 );
64 (signA != signB)
65 ? signA
69 || (signA ^ softfloat_lt128( uiA64, uiA0, uiB64, uiB0 ));
|
| H A D | f128_lt.c | 49 bool signA, signB; local
61 signA = signF128UI64( uiA64 );
64 (signA != signB)
65 ? signA
69 && (signA ^ softfloat_lt128( uiA64, uiA0, uiB64, uiB0 ));
|
| H A D | f16_le_quiet.c | 50 bool signA, signB; local
64 signA = signF16UI( uiA );
67 (signA != signB) ? signA || ! (uint16_t) ((uiA | uiB)<<1)
68 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
| H A D | f16_lt_quiet.c | 50 bool signA, signB; local
64 signA = signF16UI( uiA );
67 (signA != signB) ? signA && ((uint16_t) ((uiA | uiB)<<1) != 0)
68 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
| H A D | f32_le_quiet.c | 50 bool signA, signB; local
64 signA = signF32UI( uiA );
67 (signA != signB) ? signA || ! (uint32_t) ((uiA | uiB)<<1)
68 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
| H A D | f32_lt_quiet.c | 50 bool signA, signB; local
64 signA = signF32UI( uiA );
67 (signA != signB) ? signA && ((uint32_t) ((uiA | uiB)<<1) != 0)
68 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
| H A D | f64_le_quiet.c | 50 bool signA, signB; local
64 signA = signF64UI( uiA );
67 (signA != signB)
68 ? signA || ! ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
69 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
| H A D | f64_lt_quiet.c | 50 bool signA, signB; local
64 signA = signF64UI( uiA );
67 (signA != signB)
68 ? signA && ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
69 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
| H A D | extF80M_add.c | 51 bool signA; local
65 signA = signExtF80UI64( uiA64 );
70 if ( signA == signB ) {
71 *zPtr = softfloat_addMagsExtF80( uiA64, uiA0, uiB64, uiB0, signA );
73 *zPtr = softfloat_subMagsExtF80( uiA64, uiA0, uiB64, uiB0, signA );
77 (signA == signB) ? softfloat_addMagsExtF80 : softfloat_subMagsExtF80;
78 *zPtr = (*magsFuncPtr)( uiA64, uiA0, uiB64, uiB0, signA );
|
| H A D | extF80M_sub.c | 51 bool signA; local
65 signA = signExtF80UI64( uiA64 );
70 if ( signA == signB ) {
71 *zPtr = softfloat_subMagsExtF80( uiA64, uiA0, uiB64, uiB0, signA );
73 *zPtr = softfloat_addMagsExtF80( uiA64, uiA0, uiB64, uiB0, signA );
77 (signA == signB) ? softfloat_subMagsExtF80 : softfloat_addMagsExtF80;
78 *zPtr = (*magsFuncPtr)( uiA64, uiA0, uiB64, uiB0, signA );
|
| H A D | extF80_add.c | 48 bool signA; local
62 signA = signExtF80UI64( uiA64 );
68 if ( signA == signB ) {
69 return softfloat_addMagsExtF80( uiA64, uiA0, uiB64, uiB0, signA );
71 return softfloat_subMagsExtF80( uiA64, uiA0, uiB64, uiB0, signA );
75 (signA == signB) ? softfloat_addMagsExtF80 : softfloat_subMagsExtF80;
76 return (*magsFuncPtr)( uiA64, uiA0, uiB64, uiB0, signA );
|
| H A D | extF80_sub.c | 48 bool signA; local
62 signA = signExtF80UI64( uiA64 );
68 if ( signA == signB ) {
69 return softfloat_subMagsExtF80( uiA64, uiA0, uiB64, uiB0, signA );
71 return softfloat_addMagsExtF80( uiA64, uiA0, uiB64, uiB0, signA );
75 (signA == signB) ? softfloat_subMagsExtF80 : softfloat_addMagsExtF80;
76 return (*magsFuncPtr)( uiA64, uiA0, uiB64, uiB0, signA );
|
| H A D | f128M_add.c | 50 bool signA; local
63 signA = signF128UI64( uiA64 );
68 if ( signA == signB ) {
69 *zPtr = softfloat_addMagsF128( uiA64, uiA0, uiB64, uiB0, signA );
71 *zPtr = softfloat_subMagsF128( uiA64, uiA0, uiB64, uiB0, signA );
75 (signA == signB) ? softfloat_addMagsF128 : softfloat_subMagsF128;
76 *zPtr = (*magsFuncPtr)( uiA64, uiA0, uiB64, uiB0, signA );
|
| H A D | f128M_sub.c | 50 bool signA; local
63 signA = signF128UI64( uiA64 );
68 if ( signA == signB ) {
69 *zPtr = softfloat_subMagsF128( uiA64, uiA0, uiB64, uiB0, signA );
71 *zPtr = softfloat_addMagsF128( uiA64, uiA0, uiB64, uiB0, signA );
75 (signA == signB) ? softfloat_subMagsF128 : softfloat_addMagsF128;
76 *zPtr = (*magsFuncPtr)( uiA64, uiA0, uiB64, uiB0, signA );
|
| H A D | f128_add.c | 47 bool signA; local
60 signA = signF128UI64( uiA64 );
66 if ( signA == signB ) {
67 return softfloat_addMagsF128( uiA64, uiA0, uiB64, uiB0, signA );
69 return softfloat_subMagsF128( uiA64, uiA0, uiB64, uiB0, signA );
73 (signA == signB) ? softfloat_addMagsF128 : softfloat_subMagsF128;
74 return (*magsFuncPtr)( uiA64, uiA0, uiB64, uiB0, signA );
|
| H A D | f128_sub.c | 47 bool signA; local
60 signA = signF128UI64( uiA64 );
66 if ( signA == signB ) {
67 return softfloat_subMagsF128( uiA64, uiA0, uiB64, uiB0, signA );
69 return softfloat_addMagsF128( uiA64, uiA0, uiB64, uiB0, signA );
73 (signA == signB) ? softfloat_subMagsF128 : softfloat_addMagsF128;
74 return (*magsFuncPtr)( uiA64, uiA0, uiB64, uiB0, signA );
|
| H A D | extF80_le.c | 52 bool signA, signB; local
64 signA = signExtF80UI64( uiA64 );
67 (signA != signB)
68 ? signA || ! (((uiA64 | uiB64) & 0x7FFF) | uiA0 | uiB0)
70 || (signA ^ softfloat_lt128( uiA64, uiA0, uiB64, uiB0 ));
|