- fixed warnings

[libfirm] / ir / tv / tv.c

diff --git a/ir/tv/tv.c b/ir/tv/tv.c
index 45f0079..cd4e53e 100644 (file)
--- a/ir/tv/tv.c
+++ b/ir/tv/tv.c
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -158,6 +158,29 @@ static int hash_val(const void *value, unsigned int length) {
        return hash;
 }
 
+static int cmp_tv(const void *p1, const void *p2, size_t n) {
+       const tarval *tv1 = p1;
+       const tarval *tv2 = p2;
+       (void) n;
+
+       assert(tv1->kind == k_tarval);
+       assert(tv2->kind == k_tarval);
+       if(tv1->mode < tv2->mode)
+               return -1;
+       if(tv1->mode > tv2->mode)
+               return 1;
+       if(tv1->length < tv2->length)
+               return -1;
+       if(tv1->length > tv2->length)
+               return 1;
+       if(tv1->value < tv2->value)
+               return -1;
+       if(tv1->value > tv2->value)
+               return 1;
+
+       return 0;
+}
+
 /** finds tarval with value/mode or creates new tarval */
 static tarval *get_tarval(const void *value, int length, ir_mode *mode) {
        tarval tv;
@@ -826,8 +849,9 @@ pn_Cmp tarval_cmp(tarval *a, tarval *b) {
                return pn_Cmp_False;
 
        case irms_float_number:
-               if (no_float)
-                       return pn_Cmp_False;
+               /* it should be safe to enable this even if other arithmetic is disabled */
+               /*if (no_float)
+                       return pn_Cmp_False;*/
                /*
                 * BEWARE: we cannot compare a == b here, because
                 * a NaN is always Unordered to any other value, even to itself!
@@ -905,7 +929,7 @@ tarval *tarval_convert_to(tarval *src, ir_mode *dst_mode) {
                                res = fc_rnd(src->value, NULL);
                                break;
                        default:
-                               assert(0);
+                               panic("Unsupported float to int conversion mode in tarval_convert_to()");
                                break;
                        }
                        buffer = alloca(sc_get_buffer_length());
@@ -1038,8 +1062,9 @@ tarval *tarval_neg(tarval *a) {
                return get_tarval_overflow(buffer, a->length, a->mode);
 
        case irms_float_number:
-               if(no_float)
-                       return tarval_bad;
+               /* it should be safe to enable this even if other arithmetic is disabled */
+               /*if (no_float)
+                       return tarval_bad;*/
 
                fc_neg(a->value, NULL);
                return get_tarval_overflow(fc_get_buffer(), fc_get_buffer_length(), a->mode);
@@ -1072,7 +1097,7 @@ tarval *tarval_add(tarval *a, tarval *b) {
                return get_tarval_overflow(buffer, a->length, a->mode);
 
        case irms_float_number:
-               if(no_float)
+               if (no_float)
                        return tarval_bad;
 
                fc_add(a->value, b->value, NULL);
@@ -1105,7 +1130,7 @@ tarval *tarval_sub(tarval *a, tarval *b) {
                return get_tarval_overflow(buffer, a->length, a->mode);
 
        case irms_float_number:
-               if(no_float)
+               if (no_float)
                        return tarval_bad;
 
                fc_sub(a->value, b->value, NULL);
@@ -1139,7 +1164,7 @@ tarval *tarval_mul(tarval *a, tarval *b) {
                return get_tarval_overflow(buffer, a->length, a->mode);
 
        case irms_float_number:
-               if(no_float)
+               if (no_float)
                        return tarval_bad;
 
                fc_mul(a->value, b->value, NULL);
@@ -1158,7 +1183,7 @@ tarval *tarval_quo(tarval *a, tarval *b) {
        assert(b);
        assert((a->mode == b->mode) && mode_is_float(a->mode));
 
-       if(no_float)
+       if (no_float)
                return tarval_bad;
 
        if (get_mode_n_vector_elems(a->mode) > 1) {
@@ -1263,8 +1288,9 @@ tarval *tarval_abs(tarval *a) {
                return a;
 
        case irms_float_number:
-               if(no_float)
-                       return tarval_bad;
+               /* it should be safe to enable this even if other arithmetic is disabled */
+               /*if (no_float)
+                       return tarval_bad;*/
 
                if (fc_comp(a->value, get_mode_null(a->mode)->value) == -1) {
                        fc_neg(a->value, NULL);
@@ -1432,9 +1458,9 @@ tarval *tarval_shrs(tarval *a, tarval *b) {
 }
 
 /*
- * bitwise rotation
+ * bitwise rotation to left
  */
-tarval *tarval_rot(tarval *a, tarval *b) {
+tarval *tarval_rotl(tarval *a, tarval *b) {
        char *temp_val = NULL;
 
        assert(a);
@@ -1454,7 +1480,7 @@ tarval *tarval_rot(tarval *a, tarval *b) {
        } else
                temp_val = (char*)b->value;
 
-       sc_rot(a->value, temp_val, get_mode_size_bits(a->mode), mode_is_signed(a->mode), NULL);
+       sc_rotl(a->value, temp_val, get_mode_size_bits(a->mode), mode_is_signed(a->mode), NULL);
        return get_tarval(sc_get_buffer(), sc_get_buffer_length(), a->mode);
 }
 
@@ -1462,6 +1488,7 @@ tarval *tarval_rot(tarval *a, tarval *b) {
  * carry flag of the last operation
  */
 int tarval_carry(void) {
+       panic("tarval_carry() requetsed: not implemented on all operations");
        return sc_had_carry();
 }
 
@@ -1655,6 +1682,30 @@ int tarval_ieee754_get_exponent(tarval *tv) {
        return fc_get_exponent(tv->value);
 }
 
+/*
+ * Check if the tarval can be converted to the given mode without
+ * precision loss.
+ */
+int tarval_ieee754_can_conv_lossless(tarval *tv, ir_mode *mode) {
+       char exp_size, mant_size;
+       switch (get_mode_size_bits(mode)) {
+       case 32:
+               exp_size = 8; mant_size = 23;
+               break;
+       case 64:
+               exp_size = 11; mant_size = 52;
+               break;
+       case 80:
+       case 96:
+               exp_size = 15; mant_size = 64;
+               break;
+       default:
+               panic("Unsupported mode in tarval_ieee754_can_conv_lossless()");
+               return 0;
+       }
+       return fc_can_lossless_conv_to(tv->value, exp_size, mant_size);
+}
+
 /* Set the immediate precision for IEEE-754 results. */
 unsigned tarval_ieee754_set_immediate_precision(unsigned bits) {
        return fc_set_immediate_precision(bits);
@@ -1730,7 +1781,7 @@ void init_tarval_1(long null_value) {
 
        /* initialize the sets holding the tarvals with a comparison function and
         * an initial size, which is the expected number of constants */
-       tarvals = new_set(memcmp, N_CONSTANTS);
+       tarvals = new_set(cmp_tv, N_CONSTANTS);
        values  = new_set(memcmp, N_CONSTANTS);
        /* init strcalc with precision of 68 to support floating point values with 64
         * bit mantissa (needs extra bits for rounding and overflow) */