/*
- * 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.
*
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;
case irms_reference:
/* addresses always wrap around */
temp = alloca(sc_get_buffer_length());
- memcpy(temp, sc_get_buffer(), sc_get_buffer_length());
+ memcpy(temp, value, sc_get_buffer_length());
sc_truncate(get_mode_size_bits(mode), temp);
/* the sc_ module expects that all bits are set ... */
sign_extend(temp, mode);
return get_mode_max(mode);
case TV_OVERFLOW_WRAP:
temp = alloca(sc_get_buffer_length());
- memcpy(temp, sc_get_buffer(), sc_get_buffer_length());
+ memcpy(temp, value, sc_get_buffer_length());
sc_truncate(get_mode_size_bits(mode), temp);
/* the sc_ module expects that all bits are set ... */
sign_extend(temp, mode);
return get_mode_min(mode);
case TV_OVERFLOW_WRAP: {
char *temp = alloca(sc_get_buffer_length());
- memcpy(temp, sc_get_buffer(), sc_get_buffer_length());
+ memcpy(temp, value, sc_get_buffer_length());
sc_truncate(get_mode_size_bits(mode), temp);
return get_tarval(temp, length, mode);
}
case irms_float_number:
if (SWITCH_NOINFINITY && fc_is_inf(value)) {
- return fc_is_negative(value)?get_mode_min(mode):get_mode_max(mode);
+ /* clip infinity to maximum value */
+ return fc_is_negative(value) ? get_mode_min(mode) : get_mode_max(mode);
}
if (SWITCH_NODENORMALS && fc_is_subnormal(value)) {
+ /* clip denormals to zero */
return get_mode_null(mode);
}
break;
fc_val_from_str(str, len, 11, 52, NULL);
break;
case 80:
+ case 96:
fc_val_from_str(str, len, 15, 64, NULL);
break;
+ default:
+ panic("Unsupported mode in new_tarval_from_str()");
}
return get_tarval(fc_get_buffer(), fc_get_buffer_length(), mode);
fc_val_from_ieee754(d, 11, 52, NULL);
break;
case 80:
+ case 96:
fc_val_from_ieee754(d, 15, 64, NULL);
break;
+ default:
+ panic("Unsupported mode in new_tarval_from_double()");
}
return get_tarval(fc_get_buffer(), fc_get_buffer_length(), mode);
}
fc_get_max(11, 52, NULL);
break;
case 80:
+ case 96:
fc_get_max(15, 64, NULL);
break;
+ default:
+ panic("Unsupported mode in get_tarval_max()");
}
return get_tarval(fc_get_buffer(), fc_get_buffer_length(), mode);
fc_get_min(11, 52, NULL);
break;
case 80:
+ case 96:
fc_get_min(15, 64, NULL);
break;
+ default:
+ panic("Unsupported mode in get_tarval_min()");
}
return get_tarval(fc_get_buffer(), fc_get_buffer_length(), mode);
fc_get_qnan(11, 52, NULL);
break;
case 80:
+ case 96:
fc_get_qnan(15, 64, NULL);
break;
+ default:
+ panic("Unsupported mode in get_tarval_nan()");
}
return get_tarval(fc_get_buffer(), fc_get_buffer_length(), mode);
} else {
fc_get_plusinf(11, 52, NULL);
break;
case 80:
+ case 96:
fc_get_plusinf(15, 64, NULL);
break;
+ default:
+ panic("Unsupported mode in get_tarval_plus_inf()");
}
return get_tarval(fc_get_buffer(), fc_get_buffer_length(), mode);
} else {
fc_get_minusinf(11, 52, NULL);
break;
case 80:
+ case 96:
fc_get_minusinf(15, 64, NULL);
break;
+ default:
+ panic("Unsupported mode in get_tarval_minus_inf()");
}
return get_tarval(fc_get_buffer(), fc_get_buffer_length(), mode);
} else {
return sc_comp(a->value, get_mode_null(a->mode)->value) == -1 ? 1 : 0;
case irms_float_number:
- return fc_comp(a->value, get_mode_null(a->mode)->value) == -1 ? 1 : 0;
+ return fc_is_negative(a->value);
default:
assert(0 && "not implemented");
int tarval_is_null(tarval *a) {
return
a != tarval_bad &&
- a == get_tarval_null(get_tarval_mode(a));
+ a == get_mode_null(get_tarval_mode(a));
}
/*
int tarval_is_one(tarval *a) {
return
a != tarval_bad &&
- a == get_tarval_one(get_tarval_mode(a));
+ a == get_mode_one(get_tarval_mode(a));
}
int tarval_is_all_one(tarval *tv) {
tv == get_mode_all_one(get_tarval_mode(tv));
}
+/*
+ * test if one, 1 means 'yes'
+ */
+int tarval_is_minus_one(tarval *a) {
+ return
+ a != tarval_bad &&
+ a == get_mode_minus_one(get_tarval_mode(a));
+}
+
/*
* comparison
*/
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!
fc_cast(src->value, 11, 52, NULL);
break;
case 80:
+ case 96:
fc_cast(src->value, 15, 64, NULL);
break;
default:
- break;
+ panic("Unsupported mode in tarval_convert_to()");
}
return get_tarval(fc_get_buffer(), fc_get_buffer_length(), dst_mode);
res = fc_rnd(src->value, NULL);
break;
default:
- assert(0);
+ panic("Unsupported float to int conversion mode in tarval_convert_to()");
break;
}
- if (! fc_flt2int(res, sc_get_buffer(), dst_mode))
+ buffer = alloca(sc_get_buffer_length());
+ if (! fc_flt2int(res, buffer, dst_mode))
return tarval_bad;
- return get_tarval(sc_get_buffer(), sc_get_buffer_length(), dst_mode);
+ return get_tarval(buffer, sc_get_buffer_length(), dst_mode);
default:
/* the rest can't be converted */
fc_val_from_str(buffer, 0, 11, 52, NULL);
break;
case 80:
+ case 96:
fc_val_from_str(buffer, 0, 15, 64, NULL);
break;
+ default:
+ panic("Unsupported mode in tarval_convert_to()");
}
return get_tarval(fc_get_buffer(), fc_get_buffer_length(), dst_mode);
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);
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);
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);
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);
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) {
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);
}
/*
- * 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);
} 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);
}
* carry flag of the last operation
*/
int tarval_carry(void) {
+ panic("tarval_carry() requetsed: not implemented on all operations");
return sc_had_carry();
}
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);
return fc_is_exact();
}
+/* check if its the a floating point NaN */
+int tarval_is_NaN(tarval *tv) {
+ if (! mode_is_float(tv->mode))
+ return 0;
+ return fc_is_nan(tv->value);
+}
+
+/* check if its the a floating point +inf */
+int tarval_is_plus_inf(tarval *tv) {
+ if (! mode_is_float(tv->mode))
+ return 0;
+ return fc_is_inf(tv->value) && !fc_is_negative(tv->value);
+}
+
+/* check if its the a floating point -inf */
+int tarval_is_minus_inf(tarval *tv) {
+ if (! mode_is_float(tv->mode))
+ return 0;
+ return fc_is_inf(tv->value) && fc_is_negative(tv->value);
+}
+
+/* check if the tarval represents a finite value */
+int tarval_is_finite(tarval *tv) {
+ if (mode_is_float(tv->mode))
+ return !fc_is_nan(tv->value) && !fc_is_inf(tv->value);
+ return 1;
+}
+
/*
* Sets the overflow mode for integer operations.
*/
/* 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) */
projects / libfirm / blobdiff