irop_flag_highlevel flag added to Confirm and Cast

[libfirm] / ir / tv / tv.h

diff --git a/ir/tv/tv.h b/ir/tv/tv.h
index 1cb437e..aeff274 100644 (file)
--- a/ir/tv/tv.h
+++ b/ir/tv/tv.h
@@ -16,14 +16,11 @@
  *
  * Declarations for Target Values.
  */
-
 #ifndef _TV_H_
 #define _TV_H_
 
-# include "irmode.h"
-/* # include "entity.h" */
-# include "irnode.h"    /* for pnc_number enum */
-
+#include "irmode.h"
+#include "irnode.h"
 
 /****h* libfirm/tv
  *
@@ -61,7 +58,7 @@
  * SEE ALSO
  *    Techreport 1999-14
  *    irmode.h for the modes definitions
- *    irnode.h for the pnc_numbers table
+ *    irnode.h for the pn_Cmp table
  *
  *    tarval_init1 and tarval_init2 for initialization of the
  *   module
@@ -164,7 +161,7 @@ tarval *new_tarval_from_long(long l, ir_mode *mode);
 long get_tarval_long(tarval *tv);
 
 /**
- * This validates if tarval_to_long() will return a satisfying
+ * This validates if get_tarval_long() will return a satisfying
  * result. I.e. if tv is an int_number and between min, max
  * of long int (signed!)
  */
@@ -282,6 +279,7 @@ tarval *get_tarval_undefined(void);
 
 /** The mode_b tarval 'false'. */
 extern tarval *tarval_b_false;
+
 /** Returns the mode_b tarval 'false'. */
 tarval *get_tarval_b_false(void);
 
@@ -317,9 +315,12 @@ tarval *get_tarval_one(ir_mode *mode);
 tarval *get_tarval_nan(ir_mode *mode);
 
 /** Return +inf for float_number modes. */
-tarval *get_tarval_inf(ir_mode *mode);
+tarval *get_tarval_plus_inf(ir_mode *mode);
 
-/* ******************** Arithmethic operations on tarvals ******************** */
+/** Return -inf for float_number modes. */
+tarval *get_tarval_minus_inf(ir_mode *mode);
+
+/* ******************** Arithmetic operations on tarvals ******************** */
 
 typedef enum _tarval_int_overflow_mode_t {
   TV_OVERFLOW_BAD,      /**< tarval module will return tarval_bad if a overflow occurs */
@@ -340,7 +341,7 @@ tarval_int_overflow_mode_t tarval_get_integer_overflow_mode(void);
 /**
  * Compares two tarvals
  *
- * Compare a with b and return a pnc_number describing the relation
+ * Compare a with b and return a pn_Cmp describing the relation
  * between a and b.  This is either Uo, Lt, Eq, Gt, or False if a or b
  * are symbolic pointers which can not be compared at all.
  *
@@ -348,15 +349,15 @@ tarval_int_overflow_mode_t tarval_get_integer_overflow_mode(void);
  * @param b   A tarval to be compared
  *
  * @return
- *   The pnc_number best describing the relation between a and b is returned.
+ *   The pn_Cmp best describing the relation between a and b is returned.
  *   This means the mode with the least bits set is returned, e.g. if the
- *   tarvals are equal the pnc_number 'Eq' is returned, not 'Ge' which
+ *   tarvals are equal the pn_Cmp 'pn_Cmp_Eq' is returned, not 'pn_Cmp_Ge' which
  *   indicates 'greater or equal'
  *
  * @sa
- *    irnode.h for the definition of pnc_numbers
+ *    irnode.h for the definition of pn_Cmp
  */
-pnc_number tarval_cmp(tarval *a, tarval *b);
+pn_Cmp tarval_cmp(tarval *a, tarval *b);
 
 /**
  * Converts a tarval to another mode.
@@ -586,8 +587,6 @@ typedef enum _tarval_classification_t {
  */
 tarval_classification_t classify_tarval(tarval *tv);
 
-
-
 /**
  * Output of tarvals to a buffer.
  */