+/* Return non-zero if a given value can be converted lossless into another precision */
+int fc_can_lossless_conv_to(const fp_value *value, const ieee_descriptor_t *desc) {
+ int v;
+ int exp_bias;
+
+ /* handle some special cases first */
+ switch (value->desc.clss) {
+ case ZERO:
+ case INF:
+ case NAN:
+ return 1;
+ default:
+ break;
+ }
+
+ /* check if the exponent can be encoded: note, 0 and all ones are reserved for the exponent */
+ exp_bias = (1 << (desc->exponent_size - 1)) - 1;
+ v = fc_get_exponent(value) + exp_bias;
+ if (0 < v && v < (1 << desc->exponent_size) - 1) {
+ /* exponent can be encoded, now check the mantissa */
+ v = value->desc.mantissa_size + ROUNDING_BITS - sc_get_lowest_set_bit(_mant(value));
+ return v < desc->mantissa_size;
+ }
+ return 0;
+}
+