- added mapper for hyperbolic functions
[libfirm] / include / libfirm / tv.h
index b031a8e..a92175d 100644 (file)
@@ -250,6 +250,13 @@ int tarval_is_null(tarval *a);
  */
 int tarval_is_one(tarval *a);
 
+/**
+ * Returns 1 if tv is the "minus one"
+ *
+ * @param a the tarval
+ */
+int tarval_is_minus_one(tarval *a);
+
 /*
  * returns non-zero if all bits in the tarval are set
  */
@@ -608,4 +615,24 @@ unsigned tarval_ieee754_get_exact(void);
  */
 int tarval_enable_fp_ops(int enable);
 
+/**
+ * Check if its the a floating point NaN.
+ */
+int tarval_is_NaN(tarval *tv);
+
+/**
+ * Check if its the a floating point +inf.
+ */
+int tarval_is_plus_inf(tarval *tv);
+
+/**
+ * Check if its the a floating point -inf.
+ */
+int tarval_is_minus_inf(tarval *tv);
+
+/**
+ * Check if the tarval represents a finite value, ie neither NaN nor inf.
+ */
+int tarval_is_finite(tarval *tv);
+
 #endif  /* FIRM_TV_TV_H */