* Returns non-zero if a given (integer) tarval has only one single bit
* set.
*/
-int is_single_bit_tarval(tarval *tv);
+int tarval_is_single_bit(tarval *tv);
/**
* Output of tarvals to a buffer.
*/
int tarval_printf(tarval *tv);
+/**
+ * Returns non-zero if the mantissa of a floating point IEEE-754
+ * tarval is zero (i.e. 1.0Exxx)
+ */
+int tarval_ieee754_zero_mantissa(tarval *tv);
+
+/**
+ * Returns the exponent of a floating point IEEE-754
+ * tarval.
+ */
+int tarval_ieee754_get_exponent(tarval *tv);
+
+/**
+ * Set the immediate precision for IEEE-754 results. Set this to
+ * 0 to get the same precision as the operands.
+ * For x87 compatibility, set this to 80.
+ *
+ * @return the old setting
+ */
+unsigned tarval_ieee754_set_immediate_precision(unsigned bits);
+
+/**
+ * Returns non-zero if the result of the last IEEE-754 operation was exact.
+ */
+unsigned tarval_ieee754_get_exact(void);
+
+/**
+ * Enable/Disable floating point constant folding.
+ */
+int tarval_enable_fp_ops(int enable);
+
#endif /* FIRM_TV_TV_H */