X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firmode.c;h=35924f6d63a5773e72d7d5a1800c5bf389ac1844;hb=2ece936daec565575739be72f568a241207a5083;hp=55108bbea22429309914366061558393f770a2bf;hpb=1e7ccff032250868e233a0e9c843ba0be9c763fa;p=libfirm

diff --git a/ir/ir/irmode.c b/ir/ir/irmode.c
index 55108bbea..35924f6d6 100644
--- a/ir/ir/irmode.c
+++ b/ir/ir/irmode.c
@@ -23,27 +23,22 @@
  * @author   Martin Trapp, Christian Schaefer, Goetz Lindenmaier, Mathias Heil
  * @version  $Id$
  */
-#ifdef HAVE_CONFIG_H
-# include "config.h"
-#endif
+#include "config.h"
 
-#ifdef HAVE_STDLIB_H
-# include <stdlib.h>
-#endif
-#ifdef HAVE_STRING_H
-# include <string.h>
-#endif
+#include <stdlib.h>
+#include <string.h>
 
-# include <stddef.h>
+#include <stddef.h>
 
-# include "irprog_t.h"
-# include "irmode_t.h"
-# include "ident.h"
-# include "tv_t.h"
-# include "obst.h"
-# include "irhooks.h"
-# include "irtools.h"
-# include "array.h"
+#include "irprog_t.h"
+#include "irmode_t.h"
+#include "ident.h"
+#include "tv_t.h"
+#include "obst.h"
+#include "irhooks.h"
+#include "irtools.h"
+#include "array.h"
+#include "error.h"
 
 /** Obstack to hold all modes. */
 static struct obstack modes;
@@ -54,13 +49,29 @@ static int num_modes = 0;
 /** The list of all currently existing modes. */
 static ir_mode **mode_list;
 
+const char *get_mode_arithmetic_name(ir_mode_arithmetic ari)
+{
+#define X(a)    case a: return #a
+	switch (ari) {
+		X(irma_uninitialized);
+		X(irma_none);
+		X(irma_twos_complement);
+		X(irma_ones_complement);
+		X(irma_int_BCD);
+		X(irma_ieee754);
+		X(irma_float_BCD);
+		default: return "<unknown>";
+	}
+#undef X
+}
+
 /**
  * Compare modes that don't need to have their code field
  * correctly set
  *
  * TODO: Add other fields
  **/
-static INLINE int modes_are_equal(const ir_mode *m, const ir_mode *n) {
+static inline int modes_are_equal(const ir_mode *m, const ir_mode *n) {
 	if (m == n) return 1;
 	if (m->sort         == n->sort &&
 		m->arithmetic   == n->arithmetic &&
@@ -292,14 +303,15 @@ ir_mode *new_ir_mode(const char *name, ir_mode_sort sort, int bit_size, int sign
 	case irms_control_flow:
 	case irms_memory:
 	case irms_internal_boolean:
-		assert(0 && "internal modes cannot be user defined");
-		break;
+		panic("internal modes cannot be user defined");
 
 	case irms_float_number:
 	case irms_int_number:
 	case irms_reference:
 		mode = register_mode(&mode_tmpl);
+		break;
 	}
+	assert(mode != NULL);
 	return mode;
 }
 
@@ -339,20 +351,18 @@ ir_mode *new_ir_vector_mode(const char *name, ir_mode_sort sort, int bit_size, u
 	case irms_control_flow:
 	case irms_memory:
 	case irms_internal_boolean:
-		assert(0 && "internal modes cannot be user defined");
-		break;
+		panic("internal modes cannot be user defined");
 
 	case irms_reference:
-		assert(0 && "only integer and floating point modes can be vectorized");
-		break;
+		panic("only integer and floating point modes can be vectorized");
 
 	case irms_float_number:
-		assert(0 && "not yet implemented");
-		break;
+		panic("not yet implemented");
 
 	case irms_int_number:
 		mode = register_mode(&mode_tmpl);
 	}
+	assert(mode != NULL);
 	return mode;
 }
 
@@ -473,7 +483,7 @@ tarval *get_mode_NAN(ir_mode *mode) {
 	return get_tarval_nan(mode);
 }
 
-int is_mode(void *thing) {
+int is_mode(const void *thing) {
 	if (get_kind(thing) == k_ir_mode)
 		return 1;
 	else
@@ -592,6 +602,37 @@ int smaller_mode(const ir_mode *sm, const ir_mode *lm) {
 	return 0;
 }
 
+/* Returns true if a value of mode sm can be converted into mode lm
+   and backwards without loss. */
+int values_in_mode(const ir_mode *sm, const ir_mode *lm) {
+	int sm_bits, lm_bits;
+	ir_mode_arithmetic arith;
+
+	assert(sm);
+	assert(lm);
+
+	if (sm == lm) return 1;
+
+	if (sm == mode_b)
+		return mode_is_int(lm);
+
+	sm_bits = get_mode_size_bits(sm);
+	lm_bits = get_mode_size_bits(lm);
+
+	arith = get_mode_arithmetic(sm);
+	if (arith != get_mode_arithmetic(lm))
+		return 0;
+
+	switch (arith) {
+		case irma_twos_complement:
+		case irma_ieee754:
+			return get_mode_size_bits(sm) <= get_mode_size_bits(lm);
+
+		default:
+			return 0;
+	}
+}
+
 /* Return the signed integer equivalent mode for an reference mode. */
 ir_mode *get_reference_mode_signed_eq(ir_mode *mode) {
 	assert(mode_is_reference(mode));
@@ -720,7 +761,9 @@ void init_mode(void) {
 	newmode.name    = new_id_from_chars("E", 1);
 	newmode.code    = irm_E;
 	newmode.sign    = 1;
-	newmode.size    = 80;
+	/* note that the tarval module is calculating with 80 bits, but we use
+	 * 96 bits, as that is what will be stored to memory by most hardware */
+	newmode.size    = 96;
 
 	mode_E = register_mode(&newmode);