X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firtypes.h;h=344defd2a26de8d5a77f240e2de39cf9ba4506de;hb=c386867ba33d1ad72fbd62ea3c095be220c92e1e;hp=e10eced14dbc29ec4bd2d6f40a654ddb815fcec3;hpb=7a293685ad0b3f5121327d6bee1a6b68230a4c2d;p=libfirm

diff --git a/ir/ir/irtypes.h b/ir/ir/irtypes.h
index e10eced14..344defd2a 100644
--- a/ir/ir/irtypes.h
+++ b/ir/ir/irtypes.h
@@ -26,6 +26,8 @@
 #ifndef FIRM_IR_IRDEFS_H
 #define FIRM_IR_IRDEFS_H
 
+#include <stdbool.h>
+
 #include "firm_types.h"
 #include "irdom_t.h"
 #include "irmode.h"
@@ -72,6 +74,51 @@ struct ir_op {
 	ir_op_ops ops;            /**< The operations of the this op. */
 };
 
+/** Helper values for ir_mode_sort. */
+enum ir_mode_sort_helper {
+	irmsh_is_num   = 0x10, /**< mode represents a number */
+	irmsh_is_data  = 0x20, /**< mode represents data (can be carried in registers) */
+	irmsh_is_datab = 0x40, /**< mode represents data or is internal boolean */
+	irmsh_is_dataM = 0x80, /**< mode represents data or is memory */
+};
+
+/**
+ * These values represent the different mode classes of value representations.
+ * Beware: do not change the order of these values without checking
+ * the mode_is
+ */
+typedef enum ir_mode_sort {
+	irms_control_flow     = 0, /**< Marks all control flow modes. */
+	irms_block            = 1,
+	irms_tuple            = 2,
+	irms_any              = 3,
+	irms_bad              = 4,
+	irms_memory           = 5 | irmsh_is_dataM, /**< Marks the memory mode.  Not extensible. (irm_M) */
+
+	/** Internal boolean representation.
+	     Storing to memory impossible, convert first. (irm_b) */
+	irms_internal_boolean = 6 | irmsh_is_datab,
+
+	/** A mode to represent entities.
+	    Restricted int computations can be performed */
+	irms_reference        = 7 | irmsh_is_data | irmsh_is_datab | irmsh_is_dataM,
+	/** A mode to represent int numbers.
+	    Integer computations can be performed. */
+	irms_int_number       = 8 | irmsh_is_data | irmsh_is_datab | irmsh_is_dataM | irmsh_is_num,
+	/** A mode to represent float numbers.
+	    Floating point computations can be performed. */
+	irms_float_number     = 9 | irmsh_is_data | irmsh_is_datab | irmsh_is_dataM | irmsh_is_num,
+} ir_mode_sort;
+
+/**
+ * A descriptor for an IEEE754 float value.
+ */
+typedef struct float_descriptor_t {
+	unsigned char exponent_size;    /**< size of exponent in bits */
+	unsigned char mantissa_size;    /**< size of mantissa in bits */
+	bool          explicit_one;     /**< set if the leading one is explicit */
+} float_descriptor_t;
+
 /**
  * Contains relevant information about a mode.
  *
@@ -97,18 +144,18 @@ struct ir_mode {
 	ident             *name;      /**< Name ident of this mode */
 	ir_type           *type;      /**< corresponding primitive type */
 
-	/* ----------------------------------------------------------------------- */
+	/* ---------------------------------------------------------------------- */
 	/* On changing this struct you have to evaluate the mode_are_equal function!*/
-	ir_mode_sort      sort;          /**< coarse classification of this mode:
-                                          int, float, reference ...
-                                          (see irmode.h) */
-	ir_mode_arithmetic
-	                  arithmetic;    /**< different arithmetic operations possible with a mode */
-	unsigned          size;          /**< size of the mode in Bits. */
-	unsigned          sign:1;        /**< signedness of this mode */
-	unsigned int      modulo_shift;  /**< number of bits a values of this mode will be shifted */
-
-	/* ----------------------------------------------------------------------- */
+	ir_mode_sort       sort;          /**< coarse classification of this mode:
+                                           int, float, reference ...
+                                           (see irmode.h) */
+	ir_mode_arithmetic arithmetic;    /**< different arithmetic operations possible with a mode */
+	unsigned           size;          /**< size of the mode in Bits. */
+	unsigned           sign:1;        /**< signedness of this mode */
+	unsigned int       modulo_shift;  /**< number of bits a values of this mode will be shifted */
+	float_descriptor_t float_desc;
+
+	/* ---------------------------------------------------------------------- */
 	ir_tarval         *min;         /**< the minimum value that can be expressed */
 	ir_tarval         *max;         /**< the maximum value that can be expressed */
 	ir_tarval         *null;        /**< the value 0 */
@@ -121,6 +168,18 @@ struct ir_mode {
 	const void        *tv_priv;     /**< tarval module will save private data here */
 };
 
+/* note: we use "long" here because that is the type used for Proj-Numbers */
+typedef struct ir_switch_table_entry {
+	ir_tarval *min;
+	ir_tarval *max;
+	long       pn;
+} ir_switch_table_entry;
+
+struct ir_switch_table {
+	size_t                n_entries;
+	ir_switch_table_entry entries[];
+};
+
 /* ir node attributes */
 
 /** first attribute of Bad, Block, Anchor nodes */
@@ -316,6 +375,11 @@ typedef struct proj_attr {
 	long  proj;           /**< position of tuple sub-value which is projected */
 } proj_attr;
 
+typedef struct switch_attr {
+	unsigned         n_outs;
+	ir_switch_table *table;
+} switch_attr;
+
 /** Some IR-nodes just have one attribute, these are stored here,
    some have more. Their name is 'irnodename_attr' */
 typedef union ir_attr {
@@ -346,6 +410,7 @@ typedef union ir_attr {
 	div_attr       div;           /**< For Div operation */
 	mod_attr       mod;           /**< For Mod operation */
 	asm_attr       assem;         /**< For ASM operation. */
+	switch_attr    switcha;       /**< For Switch operation. */
 } ir_attr;
 
 /**