X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firmode.h;h=f6e3e6ee20e6744fdffea5657bb94892abc7e538;hb=d904350bc3a4b3b9c77a71d683be6c44b041a33d;hp=5d4992186ae00bc9c13a24acd66a08a1fcd4bee5;hpb=b21734bbba9abdee1c02cf530e0d4873d703377a;p=libfirm

diff --git a/ir/ir/irmode.h b/ir/ir/irmode.h
index 5d4992186..f6e3e6ee2 100644
--- a/ir/ir/irmode.h
+++ b/ir/ir/irmode.h
@@ -29,22 +29,18 @@
 #ifndef _IRMODE_H_
 #define _IRMODE_H_
 
+#include "firm_types.h"
 #include "ident.h"
 
-#ifndef _TARVAL_TYPEDEF_
-#define _TARVAL_TYPEDEF_
-  typedef struct tarval tarval;
-#endif
-
 /**
  * Contains relevant information about a mode.
  *
- * Neccessary information about a mode is stored in this struct
+ * Necessary information about a mode is stored in this struct
  * which is used by the tarval module to perform calculations
  * and comparisons of values of a such described mode.
  *
  * ATTRIBUTES:
- *  -  modecode code:           An unambigous int (enum) for the mode
+ *  -  modecode code:           An unambiguous int (enum) for the mode
  *  -  ident *name:             Name of this mode. Two modes are different if the name is different.
  *  -  mode_sort sort:          sort of mode specifying possible usage categories
  *  -  int    size:             size of the mode in Bits.
@@ -57,7 +53,10 @@
  *    The tech report 1999-44 describing FIRM and predefined modes
  *    tarval.h
  */
+#ifndef _IR_MODE_TYPEDEF_
+#define _IR_MODE_TYPEDEF_
 typedef struct ir_mode ir_mode;
+#endif
 
 /* ********** Predefined modes ********** */
 
@@ -274,10 +273,18 @@ tarval *get_mode_null(ir_mode *mode);
  *
  * One, being the multiplicative neutral element,
  * is defined only for modes allowing multiplication,
- * i.e. ints and op_pin_state_floats.
+ * i.e. ints and floats.
  */
 tarval *get_mode_one(ir_mode *mode);
 
+/**
+ * Returns the value Minus One, represented in this mode.
+ *
+ * Minus One is defined only for modes allowing
+ * multiplication with signed values, i.e. signed ints and floats.
+ */
+tarval *get_mode_minus_one(ir_mode *mode);
+
 /**
  * Returns the positive infinite value of a mode.
  *
@@ -313,8 +320,11 @@ extern ir_mode *mode_C;  /**< 8 bit char */
 extern ir_mode *mode_U;  /**< 16 bit unicode char */
 
 extern ir_mode *mode_P;  /**< pointer */
-extern ir_mode *mode_P_mach; /**< A pointer mode that is set by the client of libfirm.  This mode
-			       represents the pointer size of the target machine. Is initialized
+extern ir_mode *mode_P_code; /**< A pointer mode that is set by the client of libfirm.  This mode
+			       represents the pointer size of the target machine code addresses. Is initialized
+			       to mode_P. */
+extern ir_mode *mode_P_data; /**< A pointer mode that is set by the client of libfirm.  This mode
+			       represents the pointer size of the target machine data addresses. Is initialized
 			       to mode_P. */
 
 /* -- Auxiliary modes necessary for the Firm representation -- */
@@ -351,14 +361,23 @@ ir_mode *get_modeT(void);
 ir_mode *get_modeANY(void);
 ir_mode *get_modeBAD(void);
 
-/** Returns the machine specific pointer mode. */
-ir_mode *get_modeP_mach(void);
+/** Returns the machine specific pointer mode for code addresses. */
+ir_mode *get_modeP_code(void);
+
+/** Returns the machine specific pointer mode for data addresses. */
+ir_mode *get_modeP_data(void);
+
+/**
+ * Sets the machine specific pointer mode for code addresses.
+ * If not set, the predefined mode mode_P will be used.
+ */
+void set_modeP_code(ir_mode *p);
 
 /**
- * Sets the machine specific pointer mode.
+ * Sets the machine specific pointer mode for data addresses.
  * If not set, the predefined mode mode_P will be used.
  */
-void set_modeP_mach(ir_mode *p);
+void set_modeP_data(ir_mode *p);
 
 /**
    Functions to check, whether a modecode is signed, float, int, character,
@@ -444,4 +463,12 @@ int mode_honor_signed_zeros(const ir_mode *mode);
  */
 int mode_overflow_on_unary_Minus(const ir_mode *mode);
 
+/**
+ * Returns non-zero if the mode has a reversed wrap-aound
+ * logic, especially (a + x) - x == a.
+ * This is normally true for integer modes, not for floating
+ * point modes.
+ */
+int mode_wrap_around(const ir_mode *mode);
+
 #endif /* _IRMODE_H_ */