some fixes for xml dumper / still buggy.

[libfirm] / ir / tv / tv.h

diff --git a/ir/tv/tv.h b/ir/tv/tv.h
index 787b1f0..7fc684c 100644 (file)
--- a/ir/tv/tv.h
+++ b/ir/tv/tv.h
@@ -280,22 +280,24 @@ int tarval_is_entity(tarval *tv);
  */
 
 /** Returns the mode of the tarval. */
-#ifdef TARVAL_ACCESS_DEFINES
-#  include "tv_t.h"
-#  define get_tarval_mode(tv) (tv)->mode
-#else
 ir_mode *get_tarval_mode (tarval *tv);
-#endif
 
 /* 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. */
@@ -445,7 +447,7 @@ tarval *tarval_abs(tarval *a);
 tarval *tarval_and(tarval *a, tarval *b);
 
 /** Bitwise or. */
-tarval *tarval_or (tarval *a, tarval *b);
+tarval *tarval_or(tarval *a, tarval *b);
 
 /** Bitwise exclusive or. */
 tarval *tarval_eor(tarval *a, tarval *b);
@@ -464,6 +466,58 @@ tarval *tarval_rot(tarval *a, tarval *b);
 
 /* *********** Output of tarvals *********** */
 
+/**
+ * The output mode for tarval values.
+ *
+ * Some modes allow more that one representation, for instance integers
+ * can be represented hex or decimal. Of course it would be enough to have
+ * one and let every backend convert it into the 'right' one.
+ * 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 */
+} tv_output_mode;
+
+/**
+ * This structure contains helper information to format the output
+ * of a tarval of an 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 */
+} tarval_mode_info;
+
+/**
+ * Specify the output options of one mode.
+ *
+ * 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
+ *
+ * @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'
  *
@@ -490,9 +544,31 @@ tarval *tarval_rot(tarval *a, tarval *b);
 char *tarval_bitpattern(tarval *tv);
 
 /**
- * Returns bitpattern [from, to[.
+ * Returns the bitpattern of the bytes_ofs byte.
+ *
+ * This function succeeds even if the mode of the tarval uses lesser bits
+ * than requested, in that case the bitpattern is filled with zero bits.
+ *
+ * To query a 32bit value the following code can be used:
+ *
+ * val0 = tarval_sub_bits(tv, 0);
+ * val1 = tarval_sub_bits(tv, 1);
+ * val2 = tarval_sub_bits(tv, 2);
+ * val3 = tarval_sub_bits(tv, 3);
+ *
+ * Because this is the bit representation of the target machine, only the following
+ * operations are legal on the result:
+ *
+ * - 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
+ *
+ * @note
+ *   The result of this funcion is undefined if the mode is neither integer nor float.
  */
-char *tarval_sub_bitpattern(tarval *tv, int from, int to);
+unsigned char tarval_sub_bits(tarval *tv, unsigned byte_ofs);
 
 /**
  * Identifying some tarvals ???
@@ -523,4 +599,14 @@ void init_tarval_1(void);
  */
 void init_tarval_2(void);
 
+/**
+ * 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_ */