X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firmode.c;h=79cc1c6271c3f618f0917c9706222f169095fd66;hb=637542932dc27dcdfc7def09b58d9d5d4c34fb77;hp=95a6e55b428930c8318d60d56cc7af1a01c420f1;hpb=a94cba60b644054b5f9f1983a6bd9d3f2d6f9142;p=libfirm

diff --git a/ir/ir/irmode.c b/ir/ir/irmode.c
index 95a6e55b4..79cc1c627 100644
--- a/ir/ir/irmode.c
+++ b/ir/ir/irmode.c
@@ -26,6 +26,7 @@
 # include "ident.h"
 # include "tv.h"
 # include "obst.h"
+# include "irhooks.h"
 
 #if 0
 static long long count = 0;
@@ -266,7 +267,7 @@ ir_mode *new_ir_mode(const char *name, mode_sort sort, int bit_size, int sign,
 		     mode_arithmetic arithmetic, unsigned int modulo_shift )
 {
   ir_mode mode_tmpl;
-  ir_mode *mode;
+  ir_mode *mode = NULL;
 
   mode_tmpl.name         = new_id_from_str(name);
   mode_tmpl.sort         = sort;
@@ -279,8 +280,8 @@ ir_mode *new_ir_mode(const char *name, mode_sort sort, int bit_size, int sign,
   mode_tmpl.tv_priv      = NULL;
 
   mode = find_mode(&mode_tmpl);
-  if (mode)
-  {
+  if (mode) {
+    hook_new_mode(&mode_tmpl, mode);
     return mode;
   }
 
@@ -292,15 +293,16 @@ ir_mode *new_ir_mode(const char *name, mode_sort sort, int bit_size, int sign,
     case irms_memory:
     case irms_internal_boolean:
       assert(0 && "internal modes cannot be user defined");
-      return NULL;
+      break;
 
     case irms_float_number:
     case irms_int_number:
     case irms_reference:
     case irms_character:
-      return register_mode(&mode_tmpl);
+      mode = register_mode(&mode_tmpl);
   }
-  return NULL; /* to shut up gcc */
+  hook_new_mode(&mode_tmpl, mode);
+  return mode;
 }
 
 /*
@@ -310,7 +312,7 @@ ir_mode *new_ir_vector_mode(const char *name, mode_sort sort, int bit_size, unsi
 		     mode_arithmetic arithmetic, unsigned int modulo_shift )
 {
   ir_mode mode_tmpl;
-  ir_mode *mode;
+  ir_mode *mode = NULL;
 
   mode_tmpl.name         = new_id_from_str(name);
   mode_tmpl.sort         = sort;
@@ -323,12 +325,15 @@ ir_mode *new_ir_vector_mode(const char *name, mode_sort sort, int bit_size, unsi
   mode_tmpl.tv_priv      = NULL;
 
   mode = find_mode(&mode_tmpl);
-  if (mode)
+  if (mode) {
+    hook_new_mode(&mode_tmpl, mode);
     return mode;
+  }
 
   if (num_of_elem <= 1) {
     assert(0 && "vector modes should have at least 2 elements");
-    return NULL;
+    hook_new_mode(&mode_tmpl, mode);
+    return mode;
   }
 
   /* sanity checks */
@@ -339,21 +344,22 @@ ir_mode *new_ir_vector_mode(const char *name, mode_sort sort, int bit_size, unsi
     case irms_memory:
     case irms_internal_boolean:
       assert(0 && "internal modes cannot be user defined");
-      return NULL;
+      break;
 
     case irms_reference:
     case irms_character:
       assert(0 && "only integer and floating point modes can be vectorized");
-      return NULL;
+      break;
 
     case irms_float_number:
       assert(0 && "not yet implemented");
-      return NULL;
+      break;
 
     case irms_int_number:
-      return register_mode(&mode_tmpl);
+      mode = register_mode(&mode_tmpl);
   }
-  return NULL; /* to shut up gcc */
+  hook_new_mode(&mode_tmpl, mode);
+  return mode;
 }
 
 /* Functions for the direct access to all attributes od a ir_mode */
@@ -913,33 +919,59 @@ ir_mode *find_double_bits_int_mode(const ir_mode *mode) {
   return find_mode(&n);
 }
 
+/*
+ * Returns non-zero if the given mode honors signed zero's, i.e.,
+ * a +0 and a -0 exists and handled differently.
+ */
+int mode_honor_signed_zeros(const ir_mode *mode)
+{
+  /* for floating point, we know that IEEE 754 has +0 and -0,
+   * but always handles it identical.
+   */
+  if (mode->sort == irms_float_number)
+    return mode->arithmetic == irma_ieee754 ? 0 : 1;
+  return 0;
+}
+
+/*
+ * Returns non-zero if the given mode might overflow on unary Minus.
+ *
+ * This does NOT happen on IEEE 754.
+ */
+int mode_overflow_on_unary_Minus(const ir_mode *mode)
+{
+  if (mode->sort == irms_float_number)
+    return mode->arithmetic == irma_ieee754 ? 0 : 1;
+  return 1;
+}
+
 void finish_mode(void) {
   obstack_free(&modes, 0);
 
-  mode_T = NULL;
-  mode_X = NULL;
-  mode_M = NULL;
-  mode_BB = NULL;
+  mode_T   = NULL;
+  mode_X   = NULL;
+  mode_M   = NULL;
+  mode_BB  = NULL;
   mode_ANY = NULL;
   mode_BAD = NULL;
 
-  mode_F = NULL;
-  mode_D = NULL;
-  mode_E = NULL;
-
-  mode_Bs = NULL;
-  mode_Bu = NULL;
-  mode_Hs = NULL;
-  mode_Hu = NULL;
-  mode_Is = NULL;
-  mode_Iu = NULL;
-  mode_Ls = NULL;
-  mode_Lu = NULL;
-
-  mode_C = NULL;
-  mode_U = NULL;
-  mode_b = NULL;
-  mode_P = NULL;
+  mode_F   = NULL;
+  mode_D   = NULL;
+  mode_E   = NULL;
+
+  mode_Bs  = NULL;
+  mode_Bu  = NULL;
+  mode_Hs  = NULL;
+  mode_Hu  = NULL;
+  mode_Is  = NULL;
+  mode_Iu  = NULL;
+  mode_Ls  = NULL;
+  mode_Lu  = NULL;
+
+  mode_C   = NULL;
+  mode_U   = NULL;
+  mode_b   = NULL;
+  mode_P   = NULL;
 
   mode_P_mach = NULL;
 }