| 6 |
7u83 |
1 |
/*
|
|
|
2 |
* Copyright (c) 2002-2006 The TenDRA Project <http://www.tendra.org/>.
|
|
|
3 |
* All rights reserved.
|
|
|
4 |
*
|
|
|
5 |
* Redistribution and use in source and binary forms, with or without
|
|
|
6 |
* modification, are permitted provided that the following conditions are met:
|
|
|
7 |
*
|
|
|
8 |
* 1. Redistributions of source code must retain the above copyright notice,
|
|
|
9 |
* this list of conditions and the following disclaimer.
|
|
|
10 |
* 2. Redistributions in binary form must reproduce the above copyright notice,
|
|
|
11 |
* this list of conditions and the following disclaimer in the documentation
|
|
|
12 |
* and/or other materials provided with the distribution.
|
|
|
13 |
* 3. Neither the name of The TenDRA Project nor the names of its contributors
|
|
|
14 |
* may be used to endorse or promote products derived from this software
|
|
|
15 |
* without specific, prior written permission.
|
|
|
16 |
*
|
|
|
17 |
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS ``AS
|
|
|
18 |
* IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
|
|
|
19 |
* THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
|
|
|
20 |
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR
|
|
|
21 |
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
|
|
|
22 |
* EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
|
|
|
23 |
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
|
|
|
24 |
* OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
|
|
|
25 |
* WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
|
|
|
26 |
* OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
|
|
|
27 |
* ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
28 |
*
|
|
|
29 |
* $Id$
|
|
|
30 |
*/
|
|
|
31 |
/*
|
|
|
32 |
Crown Copyright (c) 1997
|
|
|
33 |
|
|
|
34 |
This TenDRA(r) Computer Program is subject to Copyright
|
|
|
35 |
owned by the United Kingdom Secretary of State for Defence
|
|
|
36 |
acting through the Defence Evaluation and Research Agency
|
|
|
37 |
(DERA). It is made available to Recipients with a
|
|
|
38 |
royalty-free licence for its use, reproduction, transfer
|
|
|
39 |
to other parties and amendment for any purpose not excluding
|
|
|
40 |
product development provided that any such use et cetera
|
|
|
41 |
shall be deemed to be acceptance of the following conditions:-
|
|
|
42 |
|
|
|
43 |
(1) Its Recipients shall ensure that this Notice is
|
|
|
44 |
reproduced upon any copies or amended versions of it;
|
|
|
45 |
|
|
|
46 |
(2) Any amended version of it shall be clearly marked to
|
|
|
47 |
show both the nature of and the organisation responsible
|
|
|
48 |
for the relevant amendment or amendments;
|
|
|
49 |
|
|
|
50 |
(3) Its onward transfer from a recipient to another
|
|
|
51 |
party shall be deemed to be that party's acceptance of
|
|
|
52 |
these conditions;
|
|
|
53 |
|
|
|
54 |
(4) DERA gives no warranty or assurance as to its
|
|
|
55 |
quality or suitability for any purpose and DERA accepts
|
|
|
56 |
no liability whatsoever in relation to any use to which
|
|
|
57 |
it may be put.
|
|
|
58 |
*/
|
|
|
59 |
|
|
|
60 |
|
|
|
61 |
#ifndef CONSFILE_INCLUDED
|
|
|
62 |
#define CONSFILE_INCLUDED
|
|
|
63 |
|
|
|
64 |
|
|
|
65 |
/* AUTOMATICALLY GENERATED BY make_tdf VERSION 2.0 FROM TDF 4.0 */
|
|
|
66 |
|
|
|
67 |
#include "defs.h"
|
|
|
68 |
extern Constructs constructs[];
|
|
|
69 |
extern void c_add_accesses(void); /* 0 */
|
|
|
70 |
extern void c_constant(void); /* 1 */
|
|
|
71 |
extern void c_long_jump_access(void); /* 2 */
|
|
|
72 |
extern void c_no_other_read(void); /* 3 */
|
|
|
73 |
extern void c_no_other_write(void); /* 4 */
|
|
|
74 |
extern void c_out_par(void); /* 5 */
|
|
|
75 |
extern void c_preserve(void); /* 6 */
|
|
|
76 |
extern void c_register(void); /* 7 */
|
|
|
77 |
extern void c_standard_access(void); /* 8 */
|
|
|
78 |
extern void c_used_as_volatile(void); /* 9 */
|
|
|
79 |
extern void c_visible(void); /* 10 */
|
|
|
80 |
extern void c_alignment(void); /* 11 */
|
|
|
81 |
extern void c_alloca_alignment(void); /* 12 */
|
|
|
82 |
extern void c_callees_alignment(void); /* 13 */
|
|
|
83 |
extern void c_callers_alignment(void); /* 14 */
|
|
|
84 |
extern void c_code_alignment(void); /* 15 */
|
|
|
85 |
extern void c_locals_alignment(void); /* 16 */
|
|
|
86 |
extern void c_parameter_alignment(void); /* 17 */
|
|
|
87 |
extern void c_unite_alignments(void); /* 18 */
|
|
|
88 |
extern void c_var_param_alignment(void); /* 19 */
|
|
|
89 |
extern void c_bfvar_bits(void); /* 20 */
|
|
|
90 |
extern void c_false(void); /* 21 */
|
|
|
91 |
extern void c_true(void); /* 22 */
|
|
|
92 |
extern void c_nil_access(void); /* 23 */
|
|
|
93 |
extern void c_overflow(void); /* 24 */
|
|
|
94 |
extern void c_stack_overflow(void); /* 25 */
|
|
|
95 |
extern void c_continue(void); /* 26 */
|
|
|
96 |
extern void c_trap(void); /* 27 */
|
|
|
97 |
extern void c_wrap(void); /* 28 */
|
|
|
98 |
extern void c_impossible(void); /* 29 */
|
|
|
99 |
extern void c_abs(void); /* 30 */
|
|
|
100 |
extern void c_add_to_ptr(void); /* 31 */
|
|
|
101 |
extern void c_and(void); /* 32 */
|
|
|
102 |
extern void c_assign(void); /* 33 */
|
|
|
103 |
extern void c_assign_with_mode(void); /* 34 */
|
|
|
104 |
extern void c_bitfield_assign(void); /* 35 */
|
|
|
105 |
extern void c_bitfield_assign_with_mode(void); /* 36 */
|
|
|
106 |
extern void c_bitfield_contents(void); /* 37 */
|
|
|
107 |
extern void c_bitfield_contents_with_mode(void); /* 38 */
|
|
|
108 |
extern void c_change_bitfield_to_int(void); /* 39 */
|
|
|
109 |
extern void c_change_floating_variety(void); /* 40 */
|
|
|
110 |
extern void c_change_variety(void); /* 41 */
|
|
|
111 |
extern void c_change_int_to_bitfield(void); /* 42 */
|
|
|
112 |
extern void c_complex_conjugate(void); /* 43 */
|
|
|
113 |
extern void c_component(void); /* 44 */
|
|
|
114 |
extern void c_concat_nof(void); /* 45 */
|
|
|
115 |
extern void c_conditional(void); /* 46 */
|
|
|
116 |
extern void c_contents(void); /* 47 */
|
|
|
117 |
extern void c_contents_with_mode(void); /* 48 */
|
|
|
118 |
extern void c_current_env(void); /* 49 */
|
|
|
119 |
extern void c_div0(void); /* 50 */
|
|
|
120 |
extern void c_div1(void); /* 51 */
|
|
|
121 |
extern void c_div2(void); /* 52 */
|
|
|
122 |
extern void c_env_offset(void); /* 53 */
|
|
|
123 |
extern void c_env_size(void); /* 54 */
|
|
|
124 |
extern void c_fail_installer(void); /* 55 */
|
|
|
125 |
extern void c_float_int(void); /* 56 */
|
|
|
126 |
extern void c_floating_abs(void); /* 57 */
|
|
|
127 |
extern void c_floating_div(void); /* 58 */
|
|
|
128 |
extern void c_floating_minus(void); /* 59 */
|
|
|
129 |
extern void c_floating_maximum(void); /* 60 */
|
|
|
130 |
extern void c_floating_minimum(void); /* 61 */
|
|
|
131 |
extern void c_floating_mult(void); /* 62 */
|
|
|
132 |
extern void c_floating_negate(void); /* 63 */
|
|
|
133 |
extern void c_floating_plus(void); /* 64 */
|
|
|
134 |
extern void c_floating_power(void); /* 65 */
|
|
|
135 |
extern void c_floating_test(void); /* 66 */
|
|
|
136 |
extern void c_goto(void); /* 67 */
|
|
|
137 |
extern void c_goto_local_lv(void); /* 68 */
|
|
|
138 |
extern void c_ignorable(void); /* 69 */
|
|
|
139 |
extern void c_imaginary_part(void); /* 70 */
|
|
|
140 |
extern void c_initial_value(void); /* 71 */
|
|
|
141 |
extern void c_integer_test(void); /* 72 */
|
|
|
142 |
extern void c_last_local(void); /* 73 */
|
|
|
143 |
extern void c_local_alloc(void); /* 74 */
|
|
|
144 |
extern void c_local_alloc_check(void); /* 75 */
|
|
|
145 |
extern void c_local_free(void); /* 76 */
|
|
|
146 |
extern void c_local_free_all(void); /* 77 */
|
|
|
147 |
extern void c_long_jump(void); /* 78 */
|
|
|
148 |
extern void c_make_complex(void); /* 79 */
|
|
|
149 |
extern void c_make_compound(void); /* 80 */
|
|
|
150 |
extern void c_make_local_lv(void); /* 81 */
|
|
|
151 |
extern void c_make_nof(void); /* 82 */
|
|
|
152 |
extern void c_make_nof_int(void); /* 83 */
|
|
|
153 |
extern void c_make_null_local_lv(void); /* 84 */
|
|
|
154 |
extern void c_make_null_proc(void); /* 85 */
|
|
|
155 |
extern void c_make_null_ptr(void); /* 86 */
|
|
|
156 |
extern void c_make_stack_limit(void); /* 87 */
|
|
|
157 |
extern void c_make_top(void); /* 88 */
|
|
|
158 |
extern void c_make_value(void); /* 89 */
|
|
|
159 |
extern void c_maximum(void); /* 90 */
|
|
|
160 |
extern void c_minimum(void); /* 91 */
|
|
|
161 |
extern void c_minus(void); /* 92 */
|
|
|
162 |
extern void c_move_some(void); /* 93 */
|
|
|
163 |
extern void c_mult(void); /* 94 */
|
|
|
164 |
extern void c_n_copies(void); /* 95 */
|
|
|
165 |
extern void c_negate(void); /* 96 */
|
|
|
166 |
extern void c_not(void); /* 97 */
|
|
|
167 |
extern void c_offset_add(void); /* 98 */
|
|
|
168 |
extern void c_offset_div(void); /* 99 */
|
|
|
169 |
extern void c_offset_div_by_int(void); /* 100 */
|
|
|
170 |
extern void c_offset_max(void); /* 101 */
|
|
|
171 |
extern void c_offset_mult(void); /* 102 */
|
|
|
172 |
extern void c_offset_negate(void); /* 103 */
|
|
|
173 |
extern void c_offset_pad(void); /* 104 */
|
|
|
174 |
extern void c_offset_subtract(void); /* 105 */
|
|
|
175 |
extern void c_offset_test(void); /* 106 */
|
|
|
176 |
extern void c_offset_zero(void); /* 107 */
|
|
|
177 |
extern void c_or(void); /* 108 */
|
|
|
178 |
extern void c_plus(void); /* 109 */
|
|
|
179 |
extern void c_pointer_test(void); /* 110 */
|
|
|
180 |
extern void c_power(void); /* 111 */
|
|
|
181 |
extern void c_proc_test(void); /* 112 */
|
|
|
182 |
extern void c_profile(void); /* 113 */
|
|
|
183 |
extern void c_real_part(void); /* 114 */
|
|
|
184 |
extern void c_rem0(void); /* 115 */
|
|
|
185 |
extern void c_rem1(void); /* 116 */
|
|
|
186 |
extern void c_rem2(void); /* 117 */
|
|
|
187 |
extern void c_repeat(void); /* 118 */
|
|
|
188 |
extern void c_return(void); /* 119 */
|
|
|
189 |
extern void c_return_to_label(void); /* 120 */
|
|
|
190 |
extern void c_round_with_mode(void); /* 121 */
|
|
|
191 |
extern void c_rotate_left(void); /* 122 */
|
|
|
192 |
extern void c_rotate_right(void); /* 123 */
|
|
|
193 |
extern void c_set_stack_limit(void); /* 124 */
|
|
|
194 |
extern void c_shape_offset(void); /* 125 */
|
|
|
195 |
extern void c_shift_left(void); /* 126 */
|
|
|
196 |
extern void c_shift_right(void); /* 127 */
|
|
|
197 |
extern void c_subtract_ptrs(void); /* 128 */
|
|
|
198 |
extern void c_untidy_return(void); /* 129 */
|
|
|
199 |
extern void c_xor(void); /* 130 */
|
|
|
200 |
extern void c_flvar_parms(void); /* 131 */
|
|
|
201 |
extern void c_complex_parms(void); /* 132 */
|
|
|
202 |
extern void c_float_of_complex(void); /* 133 */
|
|
|
203 |
extern void c_complex_of_float(void); /* 134 */
|
|
|
204 |
extern void c_computed_nat(void); /* 135 */
|
|
|
205 |
extern void c_error_val(void); /* 136 */
|
|
|
206 |
extern void c_equal(void); /* 137 */
|
|
|
207 |
extern void c_greater_than(void); /* 138 */
|
|
|
208 |
extern void c_greater_than_or_equal(void); /* 139 */
|
|
|
209 |
extern void c_less_than(void); /* 140 */
|
|
|
210 |
extern void c_less_than_or_equal(void); /* 141 */
|
|
|
211 |
extern void c_not_equal(void); /* 142 */
|
|
|
212 |
extern void c_not_greater_than(void); /* 143 */
|
|
|
213 |
extern void c_not_greater_than_or_equal(void); /* 144 */
|
|
|
214 |
extern void c_not_less_than(void); /* 145 */
|
|
|
215 |
extern void c_not_less_than_or_equal(void); /* 146 */
|
|
|
216 |
extern void c_less_than_or_greater_than(void); /* 147 */
|
|
|
217 |
extern void c_not_less_than_and_not_greater_than(void); /* 148 */
|
|
|
218 |
extern void c_comparable(void); /* 149 */
|
|
|
219 |
extern void c_not_comparable(void); /* 150 */
|
|
|
220 |
extern void c_round_as_state(void); /* 151 */
|
|
|
221 |
extern void c_to_nearest(void); /* 152 */
|
|
|
222 |
extern void c_toward_larger(void); /* 153 */
|
|
|
223 |
extern void c_toward_smaller(void); /* 154 */
|
|
|
224 |
extern void c_toward_zero(void); /* 155 */
|
|
|
225 |
extern void c_bitfield(void); /* 156 */
|
|
|
226 |
extern void c_bottom(void); /* 157 */
|
|
|
227 |
extern void c_compound(void); /* 158 */
|
|
|
228 |
extern void c_floating(void); /* 159 */
|
|
|
229 |
extern void c_integer(void); /* 160 */
|
|
|
230 |
extern void c_nof(void); /* 161 */
|
|
|
231 |
extern void c_offset(void); /* 162 */
|
|
|
232 |
extern void c_pointer(void); /* 163 */
|
|
|
233 |
extern void c_proc(void); /* 164 */
|
|
|
234 |
extern void c_top(void); /* 165 */
|
|
|
235 |
extern void c_computed_signed_nat(void); /* 166 */
|
|
|
236 |
extern void c_make_signed_nat(void); /* 167 */
|
|
|
237 |
extern void c_snat_from_nat(void); /* 168 */
|
|
|
238 |
extern void c_add_modes(void); /* 169 */
|
|
|
239 |
extern void c_overlap(void); /* 170 */
|
|
|
240 |
extern void c_standard_transfer_mode(void); /* 171 */
|
|
|
241 |
extern void c_trap_on_nil(void); /* 172 */
|
|
|
242 |
extern void c_volatile(void); /* 173 */
|
|
|
243 |
extern void c_complete(void); /* 174 */
|
|
|
244 |
extern void c_var_limits(void); /* 175 */
|
|
|
245 |
extern void c_var_width(void); /* 176 */
|
|
|
246 |
|
|
|
247 |
#define no_of_cons 177
|
|
|
248 |
|
|
|
249 |
|
|
|
250 |
#endif
|