#define _TV_H_
# include "irmode.h"
- //# include "entity.h"
+/* # include "entity.h" */
# include "irnode.h" /* for pnc_number enum */
*/
int tarval_is_double(tarval *tv);
-/**
- * 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. Asserts if tarval does not
- * contain an entity.
-entity *get_tarval_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 ********** **/
/** Returns the mode of the tarval. */
ir_mode *get_tarval_mode (tarval *tv);
+/** Returns the contents of the 'link' field of the tarval */
+/* void *get_tarval_link (tarval*); */
+
/* Testing properties of the represented values */
/**
* Returns 1 if tv is negative
*
- * @param a the tarval
+ * @param a the tarval
*/
int tarval_is_negative(tarval *a);
/**
* Returns 1 if tv is null
*
- * @param a the tarval
+ * @param a the tarval
*/
int tarval_is_null(tarval *a);
/**
* Returns 1 if tv is the "one"
*
- * @param a the tarval
+ * @param a the tarval
*/
int tarval_is_one(tarval *a);
/* ******************** Arithmethic operations on tarvals ******************** */
+typedef enum _tarval_int_overflow_mode_t {
+ TV_OVERFLOW_BAD, /**< tarval module will return tarval_bad if a overflow occurs */
+ TV_OVERFLOW_WRAP, /**< tarval module will overflow will be ignored, wrap around occurs */
+ TV_OVERFLOW_SATURATE /**< tarval module will saturate the overflow */
+} tarval_int_overflow_mode_t;
+
+/**
+ * Sets the overflow mode for integer operations.
+ */
+void tarval_set_integer_overflow_mode(tarval_int_overflow_mode_t ov_mode);
+
+/**
+ * Get the overflow mode for integer operations.
+ */
+tarval_int_overflow_mode_t tarval_get_integer_overflow_mode(void);
+
/**
* Compares two tarvals
*
/** Rotation. */
tarval *tarval_rot(tarval *a, tarval *b);
+/** Carry flag of the last operation */
+int tarval_carry(void);
+
/* *********** Output of tarvals *********** */
/**
* However, we can do this in the tarval much simplier...
*/
typedef enum {
- TVO_NATIVE, /**< the default output mode, depends on the mode */
- TVO_HEX, /**< use hex representation, always possible */
- TVO_DECIMAL, /**< use decimal representation */
- TVO_OCTAL, /**< use octal representation */
- TVO_BINARY, /**< use binary representation */
- TVO_FLOAT, /**< use floating point representation (i.e 1.342e-2)*/
+ TVO_NATIVE, /**< the default output mode, depends on the mode */
+ TVO_HEX, /**< use hex representation, always possible */
+ TVO_DECIMAL, /**< use decimal representation */
+ TVO_OCTAL, /**< use octal representation */
+ TVO_BINARY, /**< use binary representation */
+ TVO_FLOAT, /**< use floating point representation (i.e 1.342e-2)*/
TVO_HEXFLOAT /**< use hexadecimal floating point representation (i.e 0x1.ea32p-12)*/
} tv_output_mode;
* of a tarval of a mode.
*/
typedef struct tarval_mode_info {
- tv_output_mode mode_output; /**< if != TVO_NATIVE select a special mode */
- const char *mode_prefix; /**< if set, this prefix will be printed
- before a value of this mode */
- const char *mode_suffix; /**< if set, this suffix will be printed
- after a value of this mode */
+ tv_output_mode mode_output; /**< if != TVO_NATIVE select a special mode */
+ const char *mode_prefix; /**< if set, this prefix will be printed
+ before a value of this mode */
+ const char *mode_suffix; /**< if set, this suffix will be printed
+ after a value of this mode */
} tarval_mode_info;
/**
*
* This functions stores the modinfo, so DO NOT DESTROY it.
*
- * @param mode a ir_mode that should be associated
- * @param modeinfo the output format info
+ * @param mode a ir_mode that should be associated
+ * @param modeinfo the output format info
*
* @return zero on success.
*/
*
* This functions returns the modinfo of a given mode.
*
- * @param mode a ir_mode that should be associated
+ * @param mode a ir_mode that should be associated
*
* @return the output option
*/
* - concatenation (endian dependance MUST be handled by the CALLER)
* - bitwise logical operations to select/mask bits
*
- * @param tv the tarval
- * @param byte_ofs the byte offset
+ * @param tv the tarval
+ * @param byte_ofs the byte offset
*
* @note
* The result of this funcion is undefined if the mode is neither integer nor float.
* Return values of tarval classify
*/
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 */
+ 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;
/**