static struct set *values = NULL; /* container for values */
static tarval_int_overflow_mode_t int_overflow_mode = TV_OVERFLOW_WRAP;
+#define no_float 0
+
/****************************************************************************
* private functions
****************************************************************************/
if (sort != irms_int_number && sort != irms_character) return 0;
- if (get_mode_size_bits(tv->mode) > (sizeof(long) << 3)) {
+ if (get_mode_size_bits(tv->mode) > (int) (sizeof(long) << 3)) {
/* the value might be too big to fit in a long */
sc_max_from_bits(sizeof(long) << 3, 0, NULL);
if (sc_comp(sc_get_buffer(), tv->value) == -1) {
return pn_Cmp_False;
case irms_float_number:
+ 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!
case irms_character:
buffer = alloca(sc_get_buffer_length());
memcpy(buffer, src->value, sc_get_buffer_length());
- sign_extend(buffer, src->mode);
+ sign_extend(buffer, m);
return get_tarval_overflow(buffer, src->length, m);
case irms_internal_boolean:
break;
case irms_reference:
+ switch(get_mode_sort(m)) {
+ case irms_int_number:
+ buffer = alloca(sc_get_buffer_length());
+ memcpy(buffer, src->value, sc_get_buffer_length());
+ sign_extend(buffer, src->mode);
+ return get_tarval_overflow(buffer, src->length, m);
+ default:
+ break;
+ }
+
break;
}
return get_tarval_overflow(buffer, a->length, a->mode);
case irms_float_number:
+ 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)
+ return tarval_bad;
+
fc_add(a->value, b->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)
+ return tarval_bad;
+
fc_sub(a->value, b->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)
+ return tarval_bad;
+
fc_mul(a->value, b->value, NULL);
return get_tarval_overflow(fc_get_buffer(), fc_get_buffer_length(), a->mode);
assert(b);
assert((a->mode == b->mode) && mode_is_float(a->mode));
+ if(no_float)
+ return tarval_bad;
+
if (get_mode_n_vector_elems(a->mode) > 1) {
/* vector arithmetic not implemented yet */
return tarval_bad;
return a;
case irms_float_number:
+ if(no_float)
+ return tarval_bad;
+
if (fc_comp(a->value, get_mode_null(a->mode)->value) == -1) {
fc_neg(a->value, NULL);
return get_tarval_overflow(fc_get_buffer(), fc_get_buffer_length(), a->mode);
int res;
res = tarval_snprintf(buf, sizeof(buf), tv);
- assert(res < sizeof(buf) && "buffer to small for tarval_snprintf");
+ assert(res < (int) sizeof(buf) && "buffer to small for tarval_snprintf");
printf(buf);
return res;
}