/* Testing properties of the represented values */
-/** Returns 0 if tv is positive, else > 0.
+/**
+ * Returns 1 if tv is negative
*
- * @todo
- * not tested!
+ * @param a the tarval
*/
int tarval_is_negative(tarval *a);
+/**
+ * Returns 1 if tv is null
+ *
+ * @param a the tarval
+ */
+int tarval_is_null(tarval *a);
+
/** The 'bad' tarval. */
extern tarval *tarval_bad;
/** Returns the 'bad tarval. */
* @param mode a ir_mode that should be associated
* @param modeinfo the output format info
*
- * Returns zero on success.
+ * @return zero on success.
*/
int tarval_set_mode_output_option(ir_mode *mode, const tarval_mode_info *modeinfo);
+/**
+ * Returns the output options of one mode.
+ *
+ * This functions returns the modinfo of a given mode.
+ *
+ * @param mode a ir_mode that should be associated
+ *
+ * @return the output option
+ */
+const tarval_mode_info *tarval_get_mode_output_option(ir_mode *mode);
+
/**
* Returns Bit representation of a tarval value, as string of '0' and '1'
*
*/
void init_tarval_2(void);
-typedef int printf_func (void* , const char *, ...);
-int tarval_xprintf(printf_func *print_func, void *out, tarval *tv);
+/**
+ * Output of tarvals to a buffer.
+ */
+int tarval_snprintf(char *buf, size_t buflen, tarval *tv);
+
+/**
+ * Output of tarvals to stdio.
+ */
+int tarval_printf(tarval *tv);
#endif /* _TV_H_ */