{
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_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_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
#include "irmode.h"
#include "tv.h"
-/** Debugging aid for the firmEvaluator: Marks for reserved tarvals values. */
-enum reserved_id {
- resid_tarval_bad = 1, /**< tarval_bad marker. */
- resid_tarval_undefined = 2, /**< tarval_undefined marker. */
- resid_tarval_b_false = 3, /**< tarval_b_false marker. */
- resid_tarval_b_true = 4, /**< tarval_b_true marker. */
- resid_tarval_unreachable = 5, /**< tarval_unreachable marker. */
- resid_tarval_reachable = 6 /**< tarval_reachable marker. */
-};
-
/**
* Initialization of the tarval module.
*