flag for strength reduction verbosity

[libfirm] / ir / tr / type.h

diff --git a/ir/tr/type.h b/ir/tr/type.h
index 4454c5d..da983e6 100644 (file)
--- a/ir/tr/type.h
+++ b/ir/tr/type.h
@@ -125,11 +125,14 @@ typedef struct type type;
 */
 void        free_type_entities(type *tp);
 
-/** Frees the memory used by the type.   Does not free the entities
-    belonging to the type, except for the array element entity.
-    Does not free if tp is "none" or "unknown".
-    Frees entities in value param subtypes of method types!!! Make sure these
-    are not referenced any more. */
+/** Frees the memory used by the type.
+ *
+ * Removes the type from the type list. Does not free the entities
+ * belonging to the type, except for the array element entity.  Does
+ * not free if tp is "none" or "unknown".  Frees entities in value
+ * param subtypes of method types!!! Make sure these are not
+ * referenced any more.  Further make sure there is no pointer type
+ * that refers to this type.                           */
 void        free_type(type *tp);
 
 tp_op*      get_type_tpop(type *tp);
@@ -177,23 +180,34 @@ ir_mode*    get_type_mode(type *tp);
  */
 void        set_type_mode(type *tp, ir_mode* m);
 
-/** Returns the size of a type. */
-int         get_type_size(type *tp);
+/** Returns the size of a type in bytes, retuns -1 if the size is NOT
+ *  a byte size, ie not dividable by 8. */
+int         get_type_size_bytes(type *tp);
 
-/** Sets the size of a type.
+/** Returns the size of a type in bits. */
+int         get_type_size_bits(type *tp);
+
+/** Sets the size of a type in bytes.
+ *
+ * For primitive, enumeration, pointer and method types the size
+ * is always fixed. This call is legal but has no effect.
+ */
+void        set_type_size_bytes(type *tp, int size);
+
+/** Sets the size of a type in bits.
  *
  * For primitive, enumeration, pointer and method types the size
  * is always fixed. This call is legal but has no effect.
  */
-void        set_type_size(type *tp, int size);
+void        set_type_size_bits(type *tp, int size);
 
 
 unsigned long get_type_visited(type *tp);
 void          set_type_visited(type *tp, unsigned long num);
 /* Sets visited field in type to type_visited. */
 void          mark_type_visited(type *tp);
-/* @@@ name clash!! bool          type_visited(type *tp); */
-bool          type_not_visited(type *tp);
+/* @@@ name clash!! int           type_visited(type *tp); */
+int           type_not_visited(type *tp);
 
 void*         get_type_link(type *tp);
 void          set_type_link(type *tp, void *l);
@@ -440,7 +454,7 @@ void set_class_dfn (type *clss, int dfn);
 int  get_class_dfn (type *clss);
 
 /** Returns true if a type is a class type. */
-bool is_class_type(type *clss);
+int is_class_type(type *clss);
 
 /** Returns true if low is subclass of high. */
 bool is_subclass_of(type *low, type *high);
@@ -487,7 +501,7 @@ void    set_struct_member   (type *strct, int pos, entity *member);
 void    remove_struct_member (type *strct, entity *member);
 
 /** Returns true if a type is a struct type. */
-bool    is_struct_type(type *strct);
+int     is_struct_type(type *strct);
 
 /**
  * @page method_type   Representation of a method type
@@ -563,7 +577,7 @@ type *get_method_param_type(type *method, int pos);
     changing the type of the corresponding entity if the representation is constructed. */
 void  set_method_param_type(type *method, int pos, type* tp);
 /** Returns an entity that represents the copied value argument.  Only necessary
-   for compounds passed by value. This information is constructed only on demand. */
+   for compounds passed by value. This information is constrnewucted only on demand. */
 entity *get_method_value_param_ent(type *method, int pos);
 /**
  * Returns a type that represents the copied value arguments.
@@ -620,7 +634,7 @@ int get_method_first_variadic_param_index(type *method);
 void set_method_first_variadic_param_index(type *method, int index);
 
 /** Returns true if a type is a method type. */
-bool  is_method_type     (type *method);
+int   is_method_type     (type *method);
 
 /**
  *   @page union_type  Representation of a union type.
@@ -655,7 +669,7 @@ void    set_union_member (type *uni, int pos, entity *member);
 void    remove_union_member (type *uni, entity *member);
 
 /** Returns true if a type is a union type. */
-bool    is_union_type          (type *uni);
+int     is_union_type          (type *uni);
 
 /**
  * @page array_type    Representation of an array type
@@ -691,6 +705,7 @@ type *new_type_array         (ident *name, int n_dimensions,
  * Initializes order to the order of the dimensions.
  * The entity for array elements is built automatically.
  * Set dimension sizes after call to constructor with set_* routines.
+ * A legal array type must have at least one dimension set.
  */
 type *new_d_type_array         (ident *name, int n_dimensions,
                              type *element_type, dbg_info* db);
@@ -709,11 +724,16 @@ void  set_array_lower_bound  (type *array, int dimension, ir_node *lower_bound);
 void  set_array_lower_bound_int (type *array, int dimension, int lower_bound);
 void  set_array_upper_bound  (type *array, int dimension, ir_node *upper_bound);
 void  set_array_upper_bound_int (type *array, int dimension, int lower_bound);
-/* returns true if lower bound != Unknown */
-int       has_array_lower_bound  (type *array, int dimension);
-ir_node * get_array_lower_bound  (type *array, int dimension);
-int       has_array_upper_bound  (type *array, int dimension);
-ir_node * get_array_upper_bound  (type *array, int dimension);
+/** returns true if lower bound != Unknown */
+int       has_array_lower_bound     (type *array, int dimension);
+ir_node * get_array_lower_bound     (type *array, int dimension);
+/** Works only if bound is Const node with tarval that can be converted to long. */
+long      get_array_lower_bound_int (type *array, int dimension);
+/** returns true if lower bound != Unknown */
+int       has_array_upper_bound     (type *array, int dimension);
+ir_node * get_array_upper_bound     (type *array, int dimension);
+/** Works only if bound is Const node with tarval that can be converted to long. */
+long      get_array_upper_bound_int (type *array, int dimension);
 
 void set_array_order (type *array, int dimension, int order);
 int  get_array_order (type *array, int dimension);
@@ -725,7 +745,7 @@ void  set_array_element_entity (type *array, entity *ent);
 entity *get_array_element_entity (type *array);
 
 /** Returns true if a type is an array type. */
-bool   is_array_type         (type *array);
+int    is_array_type(type *array);
 
 /**
  * @page enumeration_type      Representation of an enumeration type
@@ -766,7 +786,7 @@ ident  *get_enumeration_nameid  (type *enumeration, int pos);
 const char *get_enumeration_name(type *enumeration, int pos);
 
 /** Returns true if a type is a enumeration type. */
-bool    is_enumeration_type     (type *enumeration);
+int     is_enumeration_type     (type *enumeration);
 
 /**
  * @page pointer_type  Representation of a pointer type
@@ -795,7 +815,7 @@ void  set_pointer_points_to_type (type *pointer, type *tp);
 type *get_pointer_points_to_type (type *pointer);
 
 /** Returns true if a type is a pointer type. */
-bool  is_pointer_type            (type *pointer);
+int   is_pointer_type            (type *pointer);
 
 /** Returns the first pointer type that has as points_to tp.
  *  Not efficient: O(#types).
@@ -816,7 +836,7 @@ type *new_type_primitive (ident *name, ir_mode *mode);
 type *new_d_type_primitive (ident *name, ir_mode *mode, dbg_info* db);
 
 /** Returns true if a type is a primitive type. */
-bool  is_primitive_type  (type *primitive);
+int  is_primitive_type  (type *primitive);
 
 
 /**
@@ -920,11 +940,6 @@ long get_type_nr(type *tp);
 /*******************************************************************/
 
 
-/** Write the type and all its attributes to stdout.
- *
- *  Writes the type and all its attributes to stdout if DEBUG_libfirm
- *  is set.  Else does nothing. */
-void    dump_type (type *tp);
 
 
 # endif /* _TYPE_H_ */