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
****************************************************************************/
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!
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);