1 /* Declarations for Target Values.
2 Copyright (C) 1995, 1996 Christian von Roques
8 Discussion of new interface, proposals by Prof. Waite:
10 > 1. You say that you plan to replace the tv module. That replacement is
11 > absolutely essential for an ANSI C translator: Section 6.1.3.2 of the
12 > standard says that the representation of an integer_constant depends
13 > upon its value as well as any suffixes that are attached to it. The
14 > possible Firm modes for such a constant are i, I, l, and L. The
15 > current tv module provides only one integer conversion routine, and
16 > that requires conversion by the client. Since the type of the value
17 > argument is long, this may preclude the representation of an unsigned
20 > There is a similar problem with floating constants. Floating
21 > constants can be suffixed in C, and the mode depends upon the suffix.
22 > It can indicate that the constant is of type long double, which your
23 > current tv module is incapable of representing.
25 > Your tv module interface accepts two kinds of information: modes and
26 > values. Values obtained from the program text might be uninterpreted
27 > strings, strings interpreted as integers, and strings interpreted as
28 > reals. Values provided by the compiler are usually integers. Modes are
29 > always Firm modes. It seems to me that the tv module should provide
30 > tarval* constructors for three of the four kinds of values. Each of these
31 > constructors should have an ir_mode parameter and one or more parameters
32 > appropriate for the kind of value. As is currently the case, one
33 > constructor should be provided for both compiler-generated integers and
34 > source strings interpreted as integers. (This avoids problems of
35 > different conversion radices -- the client does the conversion.) For
36 > symmetry, the constructor for source strings interpreted as reals should
37 > accept a long double parameter and require the client to do the
49 #ifndef _TARVAL_TYPEDEF_
50 #define _TARVAL_TYPEDEF_
51 typedef struct tarval tarval;
54 /* how to represent target types on host */
55 typedef float tarval_F;
56 typedef double tarval_D;
57 typedef long double tarval_E;
58 typedef long tarval_sInt;
59 typedef unsigned long tarval_uInt;
60 typedef char tarval_C;
61 typedef unsigned short tarval_U; /* 16 bit ?! wchar could be defined as char... */
63 /** if ent then xname is missing or mangled from ent,
64 else if xname then xname is a linker symbol that is not mangled
66 else this is tarval_p_void.
67 if this tarval describes a symbolic address of another tarval, tv points
76 tarval_F F; /**< float */
77 tarval_D D; /**< double */
78 tarval_E E; /**< extended */
79 tarval_sInt sInt; /**< signed integral */
80 tarval_uInt uInt; /**< unsigned integral */
81 tarval_C C; /**< character */
82 tarval_U U; /**< unicode character */
83 tarval_P P; /**< pointer */
84 bool b; /**< boolean */
90 extern tarval *tarval_bad; tarval *get_tarval_bad();
91 /* We should have a tarval_undefined */
92 extern tarval *tarval_b_false; tarval *get_tarval_b_false ();
93 extern tarval *tarval_b_true; tarval *get_tarval_b_true ();
94 extern tarval *tarval_D_NaN; tarval *get_tarval_D_NaN ();
95 extern tarval *tarval_D_Inf; tarval *get_tarval_D_Inf ();
96 extern tarval *tarval_P_void; tarval *get_tarval_P_void ();
97 extern tarval *tarval_mode_null[]; tarval *get_tarval_mode_null(ir_mode *mode);
98 /* @@@ These are not initialized!! Don't use. */
99 extern tarval *tarval_mode_min[]; tarval *get_tarval_mode_min (ir_mode *mode);
100 extern tarval *tarval_mode_max[]; tarval *get_tarval_mode_max (ir_mode *mode);
102 void tarval_init_1 (void);
103 void tarval_init_2 (void);
105 /* ************************ Constructors for tarvals ************************ */
106 tarval *tarval_F_from_str (const char *s, size_t len);
107 tarval *tarval_D_from_str (const char *s, size_t len);
108 tarval *tarval_int_from_str (const char *s, size_t len, int base, ir_mode *m);
109 tarval *tarval_from_long (ir_mode *m, long val);
111 tarval *tarval_P_from_str (const char *xname);
112 /* The tarval represents the address of the entity. As the address must
113 be constant the entity must have as owner the global type. */
114 tarval *tarval_P_from_entity (entity *ent);
116 tarval *tarval_convert_to (tarval *src, ir_mode *m);
118 /* Building an irm_C, irm_s, irm_S or irm_B target value step by step. */
119 void tarval_start (void);
120 void tarval_append (const char *p, size_t n);
121 void tarval_append1 (char ch);
122 tarval *tarval_finish_as (ir_mode *m);
123 tarval *tarval_cancel (void); /* returns tarval_bad */
125 /* The flags for projecting a comparison result */
127 irpn_False=0, /**< 0000 false */
128 irpn_Eq, /**< 0001 equal */
129 irpn_Lt, /**< 0010 less */
130 irpn_Le, /**< 0011 less or equal */
131 irpn_Gt, /**< 0100 greater */
132 irpn_Ge, /**< 0101 greater of equal */
133 irpn_Lg, /**< 0110 less or greater */
134 irpn_Leg, /**< 0111 less, equal or greater = ordered */
135 irpn_Uo, /**< 1000 unordered */
136 irpn_Ue, /**< 1001 unordered or equal */
137 irpn_Ul, /**< 1010 unordered or less */
138 irpn_Ule, /**< 1011 unordered, less or equal */
139 irpn_Ug, /**< 1100 unordered or greater */
140 irpn_Uge, /**< 1101 unordered, greater or equal */
141 irpn_Ne, /**< 1110 unordered, less or greater = not equal */
142 irpn_True /**< 1111 true */
143 /*irpn_notmask = irpn_Leg @@@ removed for JNI builder */
145 #define irpn_notmask irpn_Leg
147 /* ******************** Arithmethic operations on tarvals ******************** */
148 /* Compare a with b and return an ir_pncmp describing the relation
149 between a and b. This is either Uo, Lt, Eq, Gt, or False if a or b
150 are symbolic pointers which can not be compared at all. */
151 ir_pncmp tarval_comp (tarval *a, tarval *b);
153 tarval *tarval_neg (tarval *a);
154 tarval *tarval_add (tarval *a, tarval *b);
155 tarval *tarval_sub (tarval *a, tarval *b);
156 tarval *tarval_mul (tarval *a, tarval *b);
157 tarval *tarval_quo (tarval *a, tarval *b);
158 tarval *tarval_div (tarval *a, tarval *b);
159 tarval *tarval_mod (tarval *a, tarval *b);
160 tarval *tarval_abs (tarval *a);
161 tarval *tarval_and (tarval *a, tarval *b);
162 tarval *tarval_or (tarval *a, tarval *b);
163 tarval *tarval_eor (tarval *a, tarval *b);
164 tarval *tarval_shl (tarval *a, tarval *b);
165 tarval *tarval_shr (tarval *a, tarval *b);
167 /* Identifying some tarvals */
168 long tarval_classify (tarval *tv);
169 long tarval_ord (tarval *tv, int *fail);
171 /* return a mode-specific value */
172 tarval_F tv_val_F (tarval *tv);
173 tarval_D tv_val_D (tarval *tv);
174 tarval_sInt tv_val_sInt (tarval *tv);
175 tarval_uInt tv_val_uInt (tarval *tv);
176 /* @@@ temporarily removed.
177 jni builder can not deal with the return value.
178 All definitions of types are interpreted as pointer values until
179 type analysis exists for crecoder.
180 tarval_p tv_val_p (tarval *tv);
182 bool tv_val_b (tarval *tv);
184 ir_mode *get_tv_mode (tarval *tv);
185 /* Returns the entity if the tv is a pointer to an entity, else
187 entity *get_tv_entity(tarval *tv);
189 /* Returns 0 if tv is positive, else > 0. @@@ not tested! */
190 int tv_is_negative(tarval *a);