1 /* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
2 ** All rights reserved.
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 irm_T, /* former irm_N */
36 irm_f, irm_d, /* 1, 2 */
37 irm_c, irm_C, irm_h, irm_H, irm_i, irm_I, irm_l, irm_L, /* 3 .. 10 */
38 irm_B, irm_b, /* 11, 12 */
40 irm_s, irm_S, /* 14, 15 */
41 irm_X, irm_M, irm_R, irm_Z,
43 /* according to tech report 1999-14:
44 irm_BB, irm_X, // basic block, execution
45 irm_F, irm_D, irm_E, // float, double, extended
46 irm_B, irm_Bu, irm_H, irm_Hu, irm_I, irm_Iu, irm_L, irm_Lu,
47 // byte(8), short(16), int(32), long(64)
50 irm_b, // internal boolean
56 typedef struct ir_mode ir_mode;
58 extern ir_mode *mode_T; /* tuple (none) */
59 extern ir_mode *mode_f; /* signed float */
60 extern ir_mode *mode_d; /* signed double */
61 /* extern ir_mode *mode_e; * signed extended */
62 extern ir_mode *mode_c; /* signed byte (former char) */
63 extern ir_mode *mode_C; /* unsigned byte (former char) */
64 extern ir_mode *mode_h; /* signed short integer */
65 extern ir_mode *mode_H; /* unsigened short integer */
66 extern ir_mode *mode_i; /* signed integer */
67 extern ir_mode *mode_I; /* unsigned integer */
68 extern ir_mode *mode_l; /* signed long integer */
69 extern ir_mode *mode_L; /* unsigned long integer */
70 extern ir_mode *mode_B; /* bits */ /* oblivious */
71 /* extern ir_mode *mode_c; * char */
72 extern ir_mode *mode_p; /* pointer */
73 extern ir_mode *mode_b; /* internal boolean */
74 extern ir_mode *mode_s; /* oblivious */
75 extern ir_mode *mode_S; /* oblivious */
76 extern ir_mode *mode_X; /* execution */
77 extern ir_mode *mode_M; /* memory */
78 extern ir_mode *mode_R; /* block */
79 extern ir_mode *mode_Z; /* infinit integers */ /* oblivious */
81 /* Access routines for JNI Interface */
100 ir_mode *get_modeR();
101 ir_mode *get_modeZ();
103 /* An enum for this mode */
104 modecode get_mode_modecode (ir_mode *mode);
105 /* void set_mode_modecode (ir_mode *mode, modecode code); */
107 /* The ident of this mode */
108 ident *get_mode_ident (ir_mode *mode);
109 /* void set_mode_ident (ir_mode *mode, ident *id); */
111 /* The name of this mode */
112 const char *get_mode_name (ir_mode *mode);
113 /* void set_mode_name (ir_mode *mode, char *name); */
115 /* The size of values of the mode in bytes. */
116 int get_mode_size (ir_mode *mode);
117 /* void set_mode_size (ir_mode *mode, int size); */
119 /* The alignment of values of the mode. */
120 int get_mode_ld_align (ir_mode *mode);
121 /* void set_mode_ld_align (ir_mode *mode, int ld_align); */
123 /* The smallest representable value */
124 tarval *get_mode_min (ir_mode *mode);
125 /* void set_mode_min (ir_mode *mode, tarval *min); */
127 /* The biggest representable value */
128 tarval *get_mode_max (ir_mode *mode);
129 /* void set_mode_max (ir_mode *mode, tarval *max); */
131 /* The value Zero represented in this mode */
132 tarval *get_mode_null (ir_mode *mode);
133 /* void set_mode_null (ir_mode *mode, tarval *null); */
135 /* Returns 1 if mode is signed, else 0. */
136 unsigned get_mode_fsigned (ir_mode *mode);
137 /* void set_mode_fsigned (ir_mode *mode, unsigned fsigned); */
139 /* Returns 1 if mode is float, else 0. */
140 unsigned get_mode_ffloat (ir_mode *mode);
141 /* void set_mode_ffloat (ir_mode *mode, unsigned ffloat); */
144 /* Test for a certain class of modes. */
145 int mode_is_signed (ir_mode *mode);
146 int mode_is_float (ir_mode *mode);
147 int mode_is_int (ir_mode *mode);
148 int mode_is_num (ir_mode *mode);
149 int mode_is_data (ir_mode *mode);
150 int mode_is_datab (ir_mode *mode);
151 int mode_is_dataM (ir_mode *mode);
153 /* Returns true if sm can be converted to lm without loss
154 according to firm definiton */
155 bool smaller_mode(ir_mode *sm, ir_mode *lm);
157 # endif /* _IRMODE_H_ */