implemented scc algorithm. Added datastructure to mark
[libfirm] / ir / ir / irmode.h
1 /* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
2 ** All rights reserved.
3 **
4 ** Authors: Christian Schaefer
5 **
6 irmode.h Modes for ir operators.
7
8 This module specifies the modes that type the firm nodes.  See
9 UKA tech report 1999-14 for more information about modes.
10
11
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.
15 */
16
17 /* $Id$ */
18
19 # ifndef _IRMODE_H_
20 # define _IRMODE_H_
21
22 #include "ident.h"
23 #include "bool.h"
24
25 # define target_bits 8
26
27 # define NUM_MODES 20
28
29 #ifndef _TARVAL_TYPEDEF_
30 #define _TARVAL_TYPEDEF_
31 typedef struct tarval tarval;
32 #endif
33
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 */
39   irm_p,
40   irm_s, irm_S,                 /* 14, 15 */
41   irm_X, irm_M, irm_R, irm_Z,
42   irm_max
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)
48   irm_C,                         // character
49   irm_P,                         // pointer
50   irm_b,                         // internal boolean
51   irm_M,                         // memory
52   irm_T,                         // tuple
53   irm_max */
54 } modecode;
55
56 typedef struct ir_mode ir_mode;
57
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 */
80
81 /* An enum for this mode */
82 modecode get_mode_modecode (ir_mode *mode);
83 /* void  set_mode_modecode (ir_mode *mode, modecode code);  */
84
85 /* The ident of this mode */
86 ident   *get_mode_ident    (ir_mode *mode);
87 /* void  set_mode_ident    (ir_mode *mode, ident *id);    */
88
89 /* The name of this mode */
90 const char *get_mode_name  (ir_mode *mode);
91 /* void  set_mode_name     (ir_mode *mode, char *name);    */
92
93 /* The size of values of the mode in bytes. */
94 int      get_mode_size     (ir_mode *mode);
95 /* void  set_mode_size     (ir_mode *mode, int size);       */
96
97 /* The alignment of values of the mode. */
98 int      get_mode_ld_align (ir_mode *mode);
99 /* void  set_mode_ld_align (ir_mode *mode, int ld_align); */
100
101 /* The smallest representable value */
102 tarval  *get_mode_min      (ir_mode *mode);
103 /* void  set_mode_min      (ir_mode *mode, tarval *min); */
104
105 /* The biggest representable value */
106 tarval  *get_mode_max      (ir_mode *mode);
107 /* void  set_mode_max      (ir_mode *mode, tarval *max); */
108
109 /* The value Zero represented in this mode */
110 tarval  *get_mode_null     (ir_mode *mode);
111 /* void  set_mode_null     (ir_mode *mode, tarval *null); */
112
113 /* Returns 1 if mode is signed, else 0. */
114 unsigned get_mode_fsigned  (ir_mode *mode);
115 /* void  set_mode_fsigned  (ir_mode *mode, unsigned fsigned); */
116
117 /* Returns 1 if mode is float, else 0. */
118 unsigned get_mode_ffloat   (ir_mode *mode);
119 /* void  set_mode_ffloat   (ir_mode *mode, unsigned ffloat); */
120
121
122 /* Test for a certain class of modes. */
123 int mode_is_signed (ir_mode *mode);
124 int mode_is_float (ir_mode *mode);
125 int mode_is_int (ir_mode *mode);
126 # define is_chilCHIL(m) ((m) <= irm_L && (m) >= irm_c) /* old */
127 int mode_is_num (ir_mode *mode);
128 int mode_is_data (ir_mode *mode);
129 int mode_is_datab (ir_mode *mode);
130 int mode_is_dataM (ir_mode *mode);
131
132 /* Returns true if sm can be converted to lm without loss
133    according to firm definiton */
134 bool smaller_mode(ir_mode *sm, ir_mode *lm);
135
136 # endif /* _IRMODE_H_ */