1 /* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
4 * Authors: Christian Schaefer
6 irmode.h Modes for ir operators.
8 This module specifies the modes that type the firm nodes. See
9 UKA tech report 1999-14 for more information about modes.
12 @@@ This file is at the level of the original fiasco. It needs to be ported
13 to the version of the tech report!!! This will be done with the
14 reimplementation of the tarval module.
25 # define target_bits 8
29 #ifndef _TARVAL_TYPEDEF_
30 #define _TARVAL_TYPEDEF_
31 typedef struct tarval tarval;
34 typedef enum { /* irm is short for `ir mode' */
35 /* according to tech report 1999-14: */
36 irm_BB, irm_X, // basic block, execution
37 irm_F, irm_D, irm_E, // float(32), double(64), extended(80)
38 irm_Bs, irm_Bu, irm_Hs, irm_Hu, irm_Is, irm_Iu, irm_Ls, irm_Lu,
39 // byte(8), short(16), int(32), long(64)
42 irm_b, // internal boolean
45 irm_U, // unicode character
49 typedef struct ir_mode ir_mode;
51 extern ir_mode *mode_T; /* tuple (none) */
52 extern ir_mode *mode_F; /* signed float(32) */
53 extern ir_mode *mode_D; /* signed double(64) */
54 extern ir_mode *mode_E; /* signed extended(80) */
55 extern ir_mode *mode_Bs; /* signed byte (former char) */
56 extern ir_mode *mode_Bu; /* unsigned byte (former char) */
57 extern ir_mode *mode_Hs; /* signed short integer */
58 extern ir_mode *mode_Hu; /* unsigened short integer */
59 extern ir_mode *mode_Is; /* signed integer */
60 extern ir_mode *mode_Iu; /* unsigned integer */
61 extern ir_mode *mode_Ls; /* signed long integer */
62 extern ir_mode *mode_Lu; /* unsigned long integer */
63 extern ir_mode *mode_C; /* char */
64 extern ir_mode *mode_U; /* unicode char */
65 extern ir_mode *mode_P; /* pointer */
66 extern ir_mode *mode_b; /* internal boolean */
67 extern ir_mode *mode_X; /* execution */
68 extern ir_mode *mode_M; /* memory */
69 extern ir_mode *mode_BB; /* block */
71 /* Access routines for JNI Interface */
76 ir_mode *get_modeBs();
77 ir_mode *get_modeBu();
78 ir_mode *get_modeHs();
79 ir_mode *get_modeHu();
80 ir_mode *get_modeIs();
81 ir_mode *get_modeIu();
82 ir_mode *get_modeLs();
83 ir_mode *get_modeLu();
90 ir_mode *get_modeBB();
92 /* An enum for this mode */
93 modecode get_mode_modecode (ir_mode *mode);
94 /* void set_mode_modecode (ir_mode *mode, modecode code); */
96 /* The ident of this mode */
97 ident *get_mode_ident (ir_mode *mode);
98 /* void set_mode_ident (ir_mode *mode, ident *id); */
100 /* The name of this mode */
101 const char *get_mode_name (ir_mode *mode);
102 /* void set_mode_name (ir_mode *mode, char *name); */
104 /* The size of values of the mode in bytes. */
105 int get_mode_size (ir_mode *mode);
106 /* void set_mode_size (ir_mode *mode, int size); */
108 /* The alignment of values of the mode. */
109 int get_mode_ld_align (ir_mode *mode);
110 /* void set_mode_ld_align (ir_mode *mode, int ld_align); */
112 /* The smallest representable value */
113 tarval *get_mode_min (ir_mode *mode);
114 /* void set_mode_min (ir_mode *mode, tarval *min); */
116 /* The biggest representable value */
117 tarval *get_mode_max (ir_mode *mode);
118 /* void set_mode_max (ir_mode *mode, tarval *max); */
120 /* The value Zero represented in this mode */
121 tarval *get_mode_null (ir_mode *mode);
122 /* void set_mode_null (ir_mode *mode, tarval *null); */
124 /* Returns 1 if mode is signed, else 0. */
125 unsigned get_mode_fsigned (ir_mode *mode);
126 /* void set_mode_fsigned (ir_mode *mode, unsigned fsigned); */
128 /* Returns 1 if mode is float, else 0. */
129 unsigned get_mode_ffloat (ir_mode *mode);
130 /* void set_mode_ffloat (ir_mode *mode, unsigned ffloat); */
132 /* Functions to check, whether a modecode is signed, float, int, num, data,
133 datab or dataM. For more exact definitions read the corresponding pages
134 in the firm documentation or the followingenumeration
136 The set of "float" is defined as:
137 ---------------------------------
138 float = {irm_F, irm_D, irm_E}
140 The set of "int" is defined as:
141 -------------------------------
142 int = {irm_Bs, irm_Bu, irm_Hs, irm_Hu, irm_Is, irm_Iu, irm_Ls, irm_Lu}
144 The set of "num" is defined as:
145 -------------------------------
146 num = {irm_F, irm_D, irm_E, irm_Bs, irm_Bu, irm_Hs, irm_Hu,
147 irm_Is, irm_Iu, irm_Ls, irm_Lu}
150 The set of "data" is defined as:
151 -------------------------------
152 data = {irm_F, irm_D, irm_E irm_Bs, irm_Bu, irm_Hs, irm_Hu,
153 irm_Is, irm_Iu, irm_Ls, irm_Lu, irm_C, irm_U, irm_P}
154 = {num || irm_C || irm_P}
156 The set of "datab" is defined as:
157 ---------------------------------
158 datab = {irm_F, irm_D, irm_E, irm_Bs, irm_Bu, irm_Hs, irm_Hu,
159 irm_Is, irm_Iu, irm_Ls, irm_Lu, irm_C, irm_U, irm_P, irm_b}
162 The set of "dataM" is defined as:
163 ---------------------------------
164 dataM = {irm_F, irm_D, irm_E, irm_Bs, irm_Bu, irm_Hs, irm_Hu,
165 irm_Is, irm_Iu, irm_Ls, irm_Lu, irm_C, irm_U, irm_P, irm_M}
169 /* Test for a certain class of modes. */
170 int mode_is_signed (ir_mode *mode);
171 int mode_is_float (ir_mode *mode);
172 int mode_is_int (ir_mode *mode);
173 int mode_is_num (ir_mode *mode);
174 int mode_is_data (ir_mode *mode);
175 int mode_is_datab (ir_mode *mode);
176 int mode_is_dataM (ir_mode *mode);
178 /* Returns true if sm can be converted to lm without loss
179 according to firm definiton */
180 bool smaller_mode(ir_mode *sm, ir_mode *lm);
182 # endif /* _IRMODE_H_ */