#define _TV_H_
# include "irmode.h"
-# include "entity.h"
+/* # include "entity.h" */
# include "irnode.h" /* for pnc_number enum */
*/
tarval *new_tarval_from_long(long l, ir_mode *mode);
-/**
+/** Return value as long if possible.
+ *
* This returns a long int with the value represented value, or
* gibberish, depending on the size of long int and the size of the
* stored value. It works for e.g. 1 as mode_Ls, but might not work for
* get_mode_max(mode_Ls).
* This will overflow silently, so use only if you know what
* you are doing! (better check with tarval_is_long()...)
+ * Works only for int modes, even not for character modes!
*/
-long tarval_to_long(tarval *tv);
+long get_tarval_long(tarval *tv);
/**
* This validates if tarval_to_long() will return a satisfying
* This will overflow silently, so use only if you know what
* you are doing! (better check with tarval_is_long...)
*/
-long double tarval_to_double(tarval *tv);
+long double get_tarval_double(tarval *tv);
/**
* This validates if tarval_to_double() will return a satisfying
* Construct a tarval that represents the address of the entity.
*
* The address must be constant, the entity must have as owner the global type.
- */
+ * We no more support this function: Use the new SymConst instead.
tarval *new_tarval_from_entity (entity *ent, ir_mode *mode);
+ */
/**
- * Returns the associated entity of a tarval.
+ * Returns the associated entity of a tarval. Asserts if tarval does not
+ * contain an entity.
+entity *get_tarval_entity(tarval *tv);
*/
-entity *tarval_to_entity(tarval *tv);
/**
* Returns non-zero if a the given tarval represents an entity.
- */
int tarval_is_entity(tarval *tv);
+ */
/** ********** Access routines for tarval fields ********** **/
*/
int tarval_is_null(tarval *a);
+/**
+ * Returns 1 if tv is the "one"
+ *
+ * @param a the tarval
+ */
+int tarval_is_one(tarval *a);
+
/** The 'bad' tarval. */
extern tarval *tarval_bad;
/** Returns the 'bad tarval. */
* The sort member of the struct mode defines which operations are valid
*/
-/** Negation of a tarval. */
+/** bitwise Negation of a tarval. */
+tarval *tarval_not(tarval *a);
+
+/** arithmetic Negation of a tarval. */
tarval *tarval_neg(tarval *a);
/** Addition of two tarvals. */
/**
* This structure contains helper information to format the output
- * of a tarval of an mode.
+ * of a tarval of a mode.
*/
typedef struct tarval_mode_info {
tv_output_mode mode_output; /**< if != TVO_NATIVE select a special mode */
*
* @return zero on success.
*/
-int tarval_set_mode_output_option(ir_mode *mode, const tarval_mode_info *modeinfo);
+int set_tarval_mode_output_option(ir_mode *mode, const tarval_mode_info *modeinfo);
/**
* Returns the output options of one mode.
*
* @return the output option
*/
-const tarval_mode_info *tarval_get_mode_output_option(ir_mode *mode);
+const tarval_mode_info *get_tarval_mode_output_option(ir_mode *mode);
/**
* Returns Bit representation of a tarval value, as string of '0' and '1'
* irmode.h for the definition of the ir_mode struct
* the size member of aforementioned struct
*/
-char *tarval_bitpattern(tarval *tv);
+char *get_tarval_bitpattern(tarval *tv);
/**
* Returns the bitpattern of the bytes_ofs byte.
* @note
* The result of this funcion is undefined if the mode is neither integer nor float.
*/
-unsigned char tarval_sub_bits(tarval *tv, unsigned byte_ofs);
+unsigned char get_tarval_sub_bits(tarval *tv, unsigned byte_ofs);
/**
- * Identifying some tarvals ???
- *
- * @return
- * - 0 for additive neutral,
- * - +1 for multiplicative neutral,
- * - -1 for bitwise-and neutral
- * - 2 else
- *
- * @deprecated
- * This function is deprecated and its use strongly discouraged.
- * Implemented for completeness.
+ * Return values of tarval classify
*/
-long tarval_classify(tarval *tv);
+typedef enum _tarval_classification_t {
+ TV_CLASSIFY_NULL = 0, /**< the tarval represents the additive neutral element */
+ TV_CLASSIFY_ONE = +1, /**< the tarval represents the multiplicative neutral element */
+ TV_CLASSIFY_ALL_ONE = -1, /**< the tarval represents the bitwise-and neutral element */
+ TV_CLASSIFY_OTHER = 2 /**< all other tarvals */
+} tarval_classification_t;
/**
- * Initialization of the tarval module.
- *
- * Call before init_mode().
+ * Identifying tarvals values for algebraic simplifications.
+ * @param tv
+ * @return
+ * - TV_CLASSIFY_NULL for additive neutral,
+ * - TV_CLASSIFY_ONE for multiplicative neutral,
+ * - TV_CLASSIFY_ALL_ONE for bitwise-and neutral
+ * - TV_CLASSIFY_OTHER else
*/
-void init_tarval_1(void);
+tarval_classification_t classify_tarval(tarval *tv);
+
-/**
- * Initialization of the tarval module.
- *
- * Call after init_mode().
- */
-void init_tarval_2(void);
/**
* Output of tarvals to a buffer.