+/* Return the size of the mantissa in bits (including possible
+ implicit bits) for the given mode. */
+unsigned tarval_ieee754_get_mantissa_size(const ir_mode *mode) {
+ const ieee_descriptor_t *desc;
+
+ assert(get_mode_arithmetic(mode) == irma_ieee754);
+ desc = get_descriptor(mode);
+
+ return desc->mantissa_size + desc->explicit_one;
+}
+
+/* check if its the a floating point NaN */
+int tarval_is_NaN(tarval *tv) {
+ if (! mode_is_float(tv->mode))
+ return 0;
+ return fc_is_nan(tv->value);
+}
+
+/* check if its the a floating point +inf */
+int tarval_is_plus_inf(tarval *tv) {
+ if (! mode_is_float(tv->mode))
+ return 0;
+ return fc_is_inf(tv->value) && !fc_is_negative(tv->value);
+}
+
+/* check if its the a floating point -inf */
+int tarval_is_minus_inf(tarval *tv) {
+ if (! mode_is_float(tv->mode))
+ return 0;
+ return fc_is_inf(tv->value) && fc_is_negative(tv->value);
+}
+
+/* check if the tarval represents a finite value */
+int tarval_is_finite(tarval *tv) {
+ if (mode_is_float(tv->mode))
+ return !fc_is_nan(tv->value) && !fc_is_inf(tv->value);
+ return 1;
+}
+