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

diff --git a/ir/ir/irmode.h b/ir/ir/irmode.h
index 5d4992186..17a3a677e 100644
--- a/ir/ir/irmode.h
+++ b/ir/ir/irmode.h
@@ -39,12 +39,12 @@
 /**
  * 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.
@@ -274,10 +274,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 +321,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 +362,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.
+ * Sets the machine specific pointer mode for code addresses.
  * If not set, the predefined mode mode_P will be used.
  */
-void set_modeP_mach(ir_mode *p);
+void set_modeP_code(ir_mode *p);
+
+/**
+ * Sets the machine specific pointer mode for data addresses.
+ * If not set, the predefined mode mode_P will be used.
+ */
+void set_modeP_data(ir_mode *p);
 
 /**
    Functions to check, whether a modecode is signed, float, int, character,
@@ -444,4 +464,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_ */