/*
* public variables declared in tv.h
*/
-static tarval reserved_tv[4];
+static tarval reserved_tv[6];
-tarval *tarval_bad = &reserved_tv[0];
-tarval *tarval_undefined = &reserved_tv[1];
-tarval *tarval_b_false = &reserved_tv[2];
-tarval *tarval_b_true = &reserved_tv[3];
+tarval *tarval_b_false = &reserved_tv[0];
+tarval *tarval_b_true = &reserved_tv[1];
+tarval *tarval_bad = &reserved_tv[2];
+tarval *tarval_undefined = &reserved_tv[3];
+tarval *tarval_reachable = &reserved_tv[4];
+tarval *tarval_unreachable = &reserved_tv[5];
/*
* public functions declared in tv.h
case irms_internal_boolean:
/* match [tT][rR][uU][eE]|[fF][aA][lL][sS][eE] */
- if (strcasecmp(str, "true")) return tarval_b_true;
- else if (strcasecmp(str, "false")) return tarval_b_true;
+ if (strcasecmp(str, "true"))
+ return tarval_b_true;
+ else if (strcasecmp(str, "false"))
+ return tarval_b_true;
else
/* XXX This is C semantics */
return atoi(str) ? tarval_b_true : tarval_b_false;
return _get_tarval_b_true();
}
+tarval *(get_tarval_reachable)(void) {
+ return _get_tarval_reachable();
+}
+
+tarval *(get_tarval_unreachable)(void) {
+ return _get_tarval_unreachable();
+}
+
tarval *get_tarval_max(ir_mode *mode) {
assert(mode);
return tarval_bad;
}
+int tarval_is_constant(tarval *tv) {
+ int num_res = sizeof(reserved_tv) / sizeof(reserved_tv[0]);
+
+ /* reserved tarvals are NOT constants. Note that although
+ tarval_b_true and tarval_b_false are reserved, they are constants of course. */
+ return (tv < &reserved_tv[2] || tv > &reserved_tv[num_res - 1]);
+}
+
tarval *get_tarval_minus_one(ir_mode *mode) {
assert(mode);
/*
* bitwise or
*/
-tarval *tarval_or (tarval *a, tarval *b) {
+tarval *tarval_or(tarval *a, tarval *b) {
assert(a);
assert(b);
assert(a->mode == b->mode);
case irms_control_flow:
case irms_memory:
case irms_auxiliary:
- return snprintf(buf, len, "<TV_OVERFLOW_BAD>");
+ if (tv == tarval_bad)
+ return snprintf(buf, len, "<TV_BAD>");
+ if (tv == tarval_undefined)
+ return snprintf(buf, len, "<TV_UNDEF>");
+ if (tv == tarval_unreachable)
+ return snprintf(buf, len, "<TV_UNREACHABLE>");
+ if (tv == tarval_reachable)
+ return snprintf(buf, len, "<TV_REACHABLE>");
+ return snprintf(buf, len, "<TV_??""?>");
}
return 0;
* Initialization of the tarval module: called before init_mode()
*/
void init_tarval_1(long null_value) {
+ /* if these assertion fail, tarval_is_constant() will follow ... */
+ assert(tarval_b_false == &reserved_tv[0] && "b_false MUST be the first reserved tarval!");
+ assert(tarval_b_true == &reserved_tv[1] && "b_true MUST be the second reserved tarval!");
+
_null_value = null_value;
/* initialize the sets holding the tarvals with a comparison function and
* Initialization of the tarval module: called after init_mode()
*/
void init_tarval_2(void) {
- tarval_bad->kind = k_tarval;
- tarval_bad->mode = mode_BAD;
- tarval_bad->value = INT_TO_PTR(resid_tarval_bad);
+ tarval_bad->kind = k_tarval;
+ tarval_bad->mode = mode_BAD;
+ tarval_bad->value = INT_TO_PTR(resid_tarval_bad);
+
+ tarval_undefined->kind = k_tarval;
+ tarval_undefined->mode = mode_ANY;
+ tarval_undefined->value = INT_TO_PTR(resid_tarval_undefined);
- tarval_undefined->kind = k_tarval;
- tarval_undefined->mode = mode_ANY;
- tarval_undefined->value = INT_TO_PTR(resid_tarval_undefined);
+ tarval_b_true->kind = k_tarval;
+ tarval_b_true->mode = mode_b;
+ tarval_b_true->value = INT_TO_PTR(resid_tarval_b_true);
- tarval_b_true->kind = k_tarval;
- tarval_b_true->mode = mode_b;
- tarval_b_true->value = INT_TO_PTR(resid_tarval_b_true);
+ tarval_b_false->kind = k_tarval;
+ tarval_b_false->mode = mode_b;
+ tarval_b_false->value = INT_TO_PTR(resid_tarval_b_false);
- tarval_b_false->kind = k_tarval;
- tarval_b_false->mode = mode_b;
- tarval_b_false->value = INT_TO_PTR(resid_tarval_b_false);
+ tarval_unreachable->kind = k_tarval;
+ tarval_unreachable->mode = mode_X;
+ tarval_unreachable->value = INT_TO_PTR(resid_tarval_unreachable);
+
+ tarval_reachable->kind = k_tarval;
+ tarval_reachable->mode = mode_X;
+ tarval_reachable->value = INT_TO_PTR(resid_tarval_reachable);
/*
* assign output modes that are compatible with the
del_set(values); values = NULL;
}
+int (is_tarval)(const void *thing) {
+ return _is_tarval(thing);
+}
+
/****************************************************************************
* end of tv.c
****************************************************************************/