/*
- * Project: libFIRM
- * File name: ir/tv/tv_t.h
- * Purpose: Representation of and static computations on target machine
- * values -- private header.
- * Author: Mathias Heil
- * Modified by:
- * Created:
- * CVS-ID: $Id$
- * Copyright: (c) 2003 Universität Karlsruhe
- * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
+ * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
+ *
+ * This file is part of libFirm.
+ *
+ * This file may be distributed and/or modified under the terms of the
+ * GNU General Public License version 2 as published by the Free Software
+ * Foundation and appearing in the file LICENSE.GPL included in the
+ * packaging of this file.
+ *
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
+ *
+ * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+ * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
*/
-#ifndef _TV_T_H_
-#define _TV_T_H_
+
+/**
+ * @file
+ * @brief Representation of and static computations on target machine
+ * values -- private header.
+ * @date 2003
+ * @author Mathias Heil
+ * @version $Id$
+ */
+#ifndef FIRM_TV_TV_T_H
+#define FIRM_TV_TV_T_H
#include "firm_config.h"
-#include "entity.h"
+
+#include <assert.h>
#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. */
+};
+
/**
* Initialization of the tarval module.
*
* Call before init_mode().
+ *
+ * @param null_value The reference mode NULL value, typical 0l
*/
-void init_tarval_1(void);
+void init_tarval_1(long null_value);
/**
* Initialization of the tarval module.
unsigned int length; /**< the length of the stored value */
};
-/** remove tarval representing an entity that is about to be destroyed */
-void free_tarval_entity(entity *ent);
-
/* inline functions */
/*
* Access routines for tarval fields ========================================
return tarval_b_true;
}
-static INLINE tarval *
-_get_tarval_P_void(void) {
- return tarval_P_void;
-}
-
#define get_tarval_mode(tv) _get_tarval_mode(tv)
#define get_tarval_bad() _get_tarval_bad()
#define get_tarval_undefined() _get_tarval_undefined()
#define get_tarval_b_true() _get_tarval_b_true()
#define get_tarval_P_void() _get_tarval_P_void()
-#endif /* _TV_T_H_ */
+#endif /* FIRM_TV_TV_T_H */