Bug Summary

File:lib/libfoamlib/al/bool.c
Warning:line 277, column 9
Value stored to 'l1' is never read

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple x86_64-unknown-linux-gnu -analyze -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name bool.c -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 2 -pic-is-pie -mframe-pointer=none -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -fdebug-compilation-dir=/home/kfp/aldor/aldor/aldor/lib/libfoamlib -fcoverage-compilation-dir=/home/kfp/aldor/aldor/aldor/lib/libfoamlib -resource-dir /usr/local/lib/clang/18 -D PACKAGE_NAME="aldor" -D PACKAGE_TARNAME="aldor" -D PACKAGE_VERSION="1.4.0" -D PACKAGE_STRING="aldor 1.4.0" -D PACKAGE_BUGREPORT="aldor@xinutec.org" -D PACKAGE_URL="" -D PACKAGE="aldor" -D VERSION="1.4.0" -D YYTEXT_POINTER=1 -D HAVE_STDIO_H=1 -D HAVE_STDLIB_H=1 -D HAVE_STRING_H=1 -D HAVE_INTTYPES_H=1 -D HAVE_STDINT_H=1 -D HAVE_STRINGS_H=1 -D HAVE_SYS_STAT_H=1 -D HAVE_SYS_TYPES_H=1 -D HAVE_UNISTD_H=1 -D STDC_HEADERS=1 -D HAVE_LIBREADLINE=1 -D HAVE_READLINE_READLINE_H=1 -D HAVE_READLINE_HISTORY=1 -D HAVE_READLINE_HISTORY_H=1 -D USE_GLOOP_SHELL=1 -D GENERATOR_COROUTINES=0 -D HAVE_DLFCN_H=1 -D LT_OBJDIR=".libs/" -I . -I /home/kfp/aldor/aldor/aldor/src -internal-isystem /usr/local/lib/clang/18/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/14/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O2 -Wno-builtin-declaration-mismatch -Wno-incompatible-pointer-types -Wno-deprecated-non-prototype -ferror-limit 19 -fgnuc-version=4.2.1 -fskip-odr-check-in-gmf -vectorize-loops -vectorize-slp -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/scan-build-2026-01-15-223856-845667-1 -x c al/bool.c
1/*
2 * C code generated by Aldor from file "bool.ao".
3 */
4
5#include "foam_c.h"
6
7typedef struct Fmt5 *PFmt5;
8typedef struct Fmt6 *PFmt6;
9typedef struct Fmt7 *PFmt7;
10typedef struct Fmt8 *PFmt8;
11typedef struct Fmt9 *PFmt9;
12typedef struct Fmt10 *PFmt10;
13typedef struct Fmt11 *PFmt11;
14struct Fmt5 {
15 FiSInt X0_size;
16 FiSInt X1_nsize;
17 FiWord X2_values;
18};
19struct Fmt6 {
20 FiPtr X0_empty;
21};
22struct Fmt7 {
23 FiWord X0_x;
24};
25struct Fmt8 {
26 FiClos X0_xor;
27 FiClos X1_case;
28 FiClos X2_hash;
29 FiClos X3__LT__LT_;
30 FiClos X4__LT__LT_;
31 FiClos X5_test;
32 FiClos X6_fromJava;
33 FiClos X7_toJava;
34 FiClos X8__BSLSH__SLASH_;
35 FiClos X9__SLASH__BSLSH_;
36 FiClos X10__TILDE_;
37 FiClos X11_max;
38 FiClos X12_min;
39 FiClos X13__GT__EQ_;
40 FiClos X14__LT__EQ_;
41 FiClos X15__LT_;
42 FiClos X16__GT_;
43 FiClos X17__TILDE__EQ_;
44 FiClos X18__EQ_;
45 FiWord X19_Rep;
46 FiSInt X20;
47};
48struct Fmt9 {
49 FiPtr X0_empty;
50};
51struct Fmt10 {
52 FiWord X0_Boolean;
53 FiWord X1_Machine;
54 FiWord X2_OrderedFinite;
55 FiWord X3_Conditional;
56 FiWord X4_Logic;
57 FiWord X5_Bool;
58 FiWord X6_dom;
59 FiBool X7;
60 FiBool X8;
61 FiBool X9;
62};
63struct Fmt11 {
64 FiClos X0;
65 FiClos X1;
66 FiClos X2;
67};
68static FiProg C0_bool;
69static void CF0_bool(FiEnv e1);
70static FiProg C1_addLevel0;
71static FiClos CF1_addLevel0(FiEnv e1, FiWord P0_domain);
72static FiProg C2_addLevel1;
73static FiWord CF2_addLevel1(FiEnv e1, FiWord P0_domain, FiWord P1_hashcode);
74static FiProg C3_bool;
75static void CF3_bool(FiEnv e1, FiWord P0_self, FiWord P1_dom);
76static FiProg C4__EQ_;
77static FiWord CF4__EQ_(FiEnv e1, FiWord P0_a, FiWord P1_b);
78static FiProg C5__TILDE__EQ_;
79static FiWord CF5__TILDE__EQ_(FiEnv e1, FiWord P0_a, FiWord P1_b);
80static FiProg C6__GT_;
81static FiWord CF6__GT_(FiEnv e1, FiWord P0_a, FiWord P1_b);
82static FiProg C7__LT_;
83static FiWord CF7__LT_(FiEnv e1, FiWord P0_a, FiWord P1_b);
84static FiProg C8__LT__EQ_;
85static FiWord CF8__LT__EQ_(FiEnv e1, FiWord P0_a, FiWord P1_b);
86static FiProg C9__GT__EQ_;
87static FiWord CF9__GT__EQ_(FiEnv e1, FiWord P0_a, FiWord P1_b);
88static FiProg C10__TILDE_;
89static FiWord CF10__TILDE_(FiEnv e1, FiWord P0_a);
90static FiProg C11__SLASH__BSLSH_;
91static FiWord CF11__SLASH__BSLSH_(FiEnv e1, FiWord P0_a, FiWord P1_b);
92static FiProg C12__BSLSH__SLASH_;
93static FiWord CF12__BSLSH__SLASH_(FiEnv e1, FiWord P0_a, FiWord P1_b);
94static FiProg C13_max;
95static FiWord CF13_max(FiEnv e1, FiWord P0_a, FiWord P1_b);
96static FiProg C14_min;
97static FiWord CF14_min(FiEnv e1, FiWord P0_a, FiWord P1_b);
98static FiProg C15_toJava;
99static FiBool CF15_toJava(FiEnv e1, FiWord P0_i);
100static FiProg C16_fromJava;
101static FiWord CF16_fromJava(FiEnv e1, FiBool P0_i);
102static FiProg C17_test;
103static FiWord CF17_test(FiEnv e1, FiWord P0_b);
104static FiProg C18__LT__LT_;
105static FiWord CF18__LT__LT_(FiEnv e1, FiWord P0_p, FiWord P1_b);
106static FiProg C19_hash;
107static FiWord CF19_hash(FiEnv e1, FiWord P0_x);
108static FiProg C20__LT__LT_;
109static FiClos CF20__LT__LT_(FiEnv e1, FiWord P0_x);
110static FiProg C21__LT__LT_;
111static FiWord CF21__LT__LT_(FiEnv e1, FiWord P0_p);
112static FiProg C22_case;
113static FiWord CF22_case(FiEnv e1, FiWord P0_x, FiWord P1_y);
114static FiProg C23_xor;
115static FiWord CF23_xor(FiEnv e1, FiWord P0_x, FiWord P1_y);
116static FiProg C24_extend0;
117static FiClos CF24_extend0(FiEnv e1, FiWord P0_domain);
118static FiProg C25_machine_MINUS_init;
119static FiWord CF25_machine_MINUS_init(FiEnv e1, FiSInt P0_idx);
120static FiProg C26_basic_MINUS_init;
121static FiWord CF26_basic_MINUS_init(FiEnv e1, FiSInt P0_idx);
122static FiProg C27_foamcat_MINUS_init;
123static FiWord CF27_foamcat_MINUS_init(FiEnv e1, FiSInt P0_idx);
124extern FiClos G_AVAF5_bool;
125static FiClos *pG_NQYQM_noOperation;
126extern FiWord G_CHHEJ_bool__Boolean__1866426;
127extern FiWord G_WPSNL_bool__Boolean__1111000;
128static FiClos *pG_XIPRL_runtime;
129static FiClos *pG_Z2868_rtConstNameFn;
130static FiClos *pG_CSVBL_domainAddNameFn_BANG_;
131static FiClos *pG_XS55O_domainAddHash_BANG_;
132static FiClos *pG_PA5R2_domainAddExports;
133static FiClos *pG_IJHFC_domainMakeDispatch;
134static FiClos *pG_JP87X_rtConstSIntFn;
135static FiClos *pG_WXLY5_categoryAddExports;
136static FiWord *pG_7CR7Y_foamcat__Conditional;
137static FiClos *pG_NOX7X_rtLazyCatFrInit;
138static FiWord *pG_OZCWT_foamcat__Logic__68840;
139static FiWord *pG_JWK7S_foamcat__OrderedFinit;
140static FiClos *pG_YXGL3_categoryAddParents;
141static FiWord *pG_1B0E6_machine__Machine__915;
142static FiClos *pG_KK8CX_rtLazyDomFrInit;
143static FiClos *pG_1X2RM_domainGetExport_BANG_;
144static FiClos *pG_GOVLL_categoryMake;
145static FiClos *pG_V9SO_domainAddDefaults;
146static FiClos *pG_BEY7_domainMakeDummy;
147static FiClos *pG_AK1EB_domainFill_BANG_;
148static FiWord *pG_AEIW8_basic__String__641272;
149static FiWord *pG_SH2SP_basic__TextWriter__36;
150static FiWord *pG_8QOPO_basic__MachineInteger;
151static FiWord *pG_U7T4R_basic__Integer__11769;
152static FiWord *pG_OT2IM_basic__Boolean__72774;
153static FiClos *pG_6L1ZC_domainMake;
154static FiClos *pG_G3BWN_extendFill_BANG_;
155static FiClos *pG_FZLG1_extendMake;
156static FiClos *pG_822GM_rtAddStrings;
157static FiClos *pG_JNB1W_machine;
158static FiClos *pG_NO017_basic;
159static FiClos *pG_H8TZ5_foamcat;
160static FiBInt GB0;
161
162static long GA0 = 0x2;
163
164
165static void
166CF0_bool(FiEnv e1)
167{
168 PFmt5 T5, T6;
169 FiWord *T3, *T4;
170 FiClos T0, T1, T2;
171 PFmt10 l0;
172 FiEnv e0;
173 l0 = fi0New(struct Fmt10 , CENSUS_EnvLevel)((struct Fmt10 *) fi0Alloc(sizeof(struct Fmt10), (19)));
174 e0 = fiEnvPush(l0, e1)fiEnvPushFun((FiPtr) (l0), e1);
175 fiBINT_FR_INT(GB0, FiBInt, GA0)((GB0) = (FiBInt) fiBIntFrInt(GA0));
176 fiCCall0(void, (*pG_XIPRL_runtime))((*((void (*)())((*pG_XIPRL_runtime))->prog->fun))(((*pG_XIPRL_runtime
))->env));
177 G_AVAF5_bool = (FiClos) (*pG_NQYQM_noOperation);
178 T0 = fiClosMake(e0, C27_foamcat_MINUS_init)fiClosMakeFun(e0, (FiProg) (C27_foamcat_MINUS_init));
179 T1 = fiClosMake(e0, C25_machine_MINUS_init)fiClosMakeFun(e0, (FiProg) (C25_machine_MINUS_init));
180 T2 = fiClosMake(e0, C26_basic_MINUS_init)fiClosMakeFun(e0, (FiProg) (C26_basic_MINUS_init));
181 G_CHHEJ_bool__Boolean__1866426 = fiCCall1(FiWord, (*((*((FiWord (*)())((* pG_6L1ZC_domainMake))->prog->fun)
)(((* pG_6L1ZC_domainMake))->env,fiClosMakeFun(e0, (FiProg
) (C1_addLevel0))))
182 pG_6L1ZC_domainMake), fiClosMake(e0, C1_addLevel0))((*((FiWord (*)())((* pG_6L1ZC_domainMake))->prog->fun)
)(((* pG_6L1ZC_domainMake))->env,fiClosMakeFun(e0, (FiProg
) (C1_addLevel0))));
183 G_WPSNL_bool__Boolean__1111000 = fiCCall1(FiWord, (*((*((FiWord (*)())((* pG_FZLG1_extendMake))->prog->fun)
)(((* pG_FZLG1_extendMake))->env,fiClosMakeFun(e0, (FiProg
) (C24_extend0))))
184 pG_FZLG1_extendMake), fiClosMake(e0, C24_extend0))((*((FiWord (*)())((* pG_FZLG1_extendMake))->prog->fun)
)(((* pG_FZLG1_extendMake))->env,fiClosMakeFun(e0, (FiProg
) (C24_extend0))));
185 l0->X7 = 0L;
186 l0->X8 = 0L;
187 l0->X9 = 0L;
188 fiARRNEW_Word(T3, FiWord*, 23L)((T3) = (FiWord*) fiArrNew_Word(23L));
189 fiARRNEW_Word(T4, FiWord*, 23L)((T4) = (FiWord*) fiArrNew_Word(23L));
190 T3[0L] = (FiWord) 317608340L;
191 T4[0L] = (FiWord) "xor";
192 T3[1L] = (FiWord) 51492427L;
193 T4[1L] = (FiWord) "<=";
194 T3[2L] = (FiWord) 200102L;
195 T4[2L] = (FiWord) "=";
196 T3[3L] = (FiWord) 445790171L;
197 T4[3L] = (FiWord) "toJava";
198 T3[4L] = (FiWord) 200103L;
199 T4[4L] = (FiWord) ">";
200 T3[5L] = (FiWord) 51509389L;
201 T4[5L] = (FiWord) "~=";
202 T3[6L] = (FiWord) 200076L;
203 T4[6L] = (FiWord) "#";
204 T3[7L] = (FiWord) 200167L;
205 T4[7L] = (FiWord) "~";
206 T3[8L] = (FiWord) 316169058L;
207 T4[8L] = (FiWord) "Rep";
208 T3[9L] = (FiWord) 13900568L;
209 T4[9L] = (FiWord) "false";
210 T3[10L] = (FiWord) 318461825L;
211 T4[10L] = (FiWord) "max";
212 T3[11L] = (FiWord) 51492941L;
213 T4[11L] = (FiWord) ">=";
214 T3[12L] = (FiWord) 255806968L;
215 T4[12L] = (FiWord) "sample";
216 T3[13L] = (FiWord) 318459775L;
217 T4[13L] = (FiWord) "min";
218 T3[14L] = (FiWord) 864625472L;
219 T4[14L] = (FiWord) "case";
220 T3[15L] = (FiWord) 5509732L;
221 T4[15L] = (FiWord) "test";
222 T3[16L] = (FiWord) 11137124L;
223 T4[16L] = (FiWord) "true";
224 T3[17L] = (FiWord) 51487581L;
225 T4[17L] = (FiWord) "/\\";
226 T3[18L] = (FiWord) 51492426L;
227 T4[18L] = (FiWord) "<<";
228 T3[19L] = (FiWord) 746853960L;
229 T4[19L] = (FiWord) "hash";
230 T3[20L] = (FiWord) 484454270L;
231 T4[20L] = (FiWord) "fromJava";
232 T3[21L] = (FiWord) 51500637L;
233 T4[21L] = (FiWord) "\\/";
234 T3[22L] = (FiWord) 200101L;
235 T4[22L] = (FiWord) "<";
236 T5 = fi0RecNew(struct Fmt5 , CENSUS_Rec)((struct Fmt5 *) fi0RecAlloc(sizeof(struct Fmt5), ( 5)));
237 T5->X0_size = 23L;
238 T5->X1_nsize = 23L;
239 T5->X2_values = (FiWord) T3;
240 T6 = fi0RecNew(struct Fmt5 , CENSUS_Rec)((struct Fmt5 *) fi0RecAlloc(sizeof(struct Fmt5), ( 5)));
241 T6->X0_size = 23L;
242 T6->X1_nsize = 23L;
243 T6->X2_values = (FiWord) T4;
244 fiCCall2(void, (*pG_822GM_rtAddStrings), (FiWord) T5, (FiWord) T6)((*((void (*)())((*pG_822GM_rtAddStrings))->prog->fun))
(((*pG_822GM_rtAddStrings))->env,(FiWord) T5,(FiWord) T6));
245 l0->X3_Conditional = fiCCall2(FiWord, (*pG_NOX7X_rtLazyCatFrInit),((*((FiWord (*)())((*pG_NOX7X_rtLazyCatFrInit))->prog->
fun))(((*pG_NOX7X_rtLazyCatFrInit))->env,T0,0L))
246 T0, 0L)((*((FiWord (*)())((*pG_NOX7X_rtLazyCatFrInit))->prog->
fun))(((*pG_NOX7X_rtLazyCatFrInit))->env,T0,0L));
247 l0->X4_Logic = fiCCall2(FiWord, (*pG_NOX7X_rtLazyCatFrInit), T0,((*((FiWord (*)())((*pG_NOX7X_rtLazyCatFrInit))->prog->
fun))(((*pG_NOX7X_rtLazyCatFrInit))->env,T0,1L))
248 1L)((*((FiWord (*)())((*pG_NOX7X_rtLazyCatFrInit))->prog->
fun))(((*pG_NOX7X_rtLazyCatFrInit))->env,T0,1L));
249 l0->X2_OrderedFinite = fiCCall2(FiWord, (*((*((FiWord (*)())((* pG_NOX7X_rtLazyCatFrInit))->prog->
fun))(((* pG_NOX7X_rtLazyCatFrInit))->env,T0,2L))
250 pG_NOX7X_rtLazyCatFrInit), T0, 2L)((*((FiWord (*)())((* pG_NOX7X_rtLazyCatFrInit))->prog->
fun))(((* pG_NOX7X_rtLazyCatFrInit))->env,T0,2L));
251 l0->X1_Machine = fiCCall2(FiWord, (*pG_KK8CX_rtLazyDomFrInit),((*((FiWord (*)())((*pG_KK8CX_rtLazyDomFrInit))->prog->
fun))(((*pG_KK8CX_rtLazyDomFrInit))->env,T1,0L))
252 T1, 0L)((*((FiWord (*)())((*pG_KK8CX_rtLazyDomFrInit))->prog->
fun))(((*pG_KK8CX_rtLazyDomFrInit))->env,T1,0L));
253 l0->X6_dom = l0->X1_Machine;
254 l0->X5_Bool = fiCCall3(FiWord, (*pG_1X2RM_domainGetExport_BANG_),((*((FiWord (*)())((*pG_1X2RM_domainGetExport_BANG_))->prog
->fun))(((*pG_1X2RM_domainGetExport_BANG_))->env,l0->
X6_dom,988818480L,547382598L))
255 l0->X6_dom, 988818480L, 547382598L)((*((FiWord (*)())((*pG_1X2RM_domainGetExport_BANG_))->prog
->fun))(((*pG_1X2RM_domainGetExport_BANG_))->env,l0->
X6_dom,988818480L,547382598L));
256 l0->X0_Boolean = fiCCall2(FiWord, (*pG_KK8CX_rtLazyDomFrInit),((*((FiWord (*)())((*pG_KK8CX_rtLazyDomFrInit))->prog->
fun))(((*pG_KK8CX_rtLazyDomFrInit))->env,T2,4L))
257 T2, 4L)((*((FiWord (*)())((*pG_KK8CX_rtLazyDomFrInit))->prog->
fun))(((*pG_KK8CX_rtLazyDomFrInit))->env,T2,4L));
258 return ;
259}
260
261static struct _FiProg tmp0_bool = {
262 (FiFun) CF0_bool,
263 0L,
264 0L,
265 0L,
266 0L
267};
268
269
270static FiClos
271CF1_addLevel0(FiEnv e1, FiWord P0_domain)
272{
273 FiWord T0;
274 FiEnv e0;
275 PFmt10 l1;
276 e0 = fiEnvPush(fiNil, e1)fiEnvPushFun((FiPtr) (((Ptr) 0)), e1);
277 l1 = (PFmt10) fiEnvLevel(e1)((FiEnv) (e1)->level);
Value stored to 'l1' is never read
278 T0 = fiCCall1(FiWord, (*pG_Z2868_rtConstNameFn), "Boolean")((*((FiWord (*)())((*pG_Z2868_rtConstNameFn))->prog->fun
))(((*pG_Z2868_rtConstNameFn))->env,"Boolean"));
279 fiCCall2(FiWord, (*pG_CSVBL_domainAddNameFn_BANG_), P0_domain, T0)((*((FiWord (*)())((*pG_CSVBL_domainAddNameFn_BANG_))->prog
->fun))(((*pG_CSVBL_domainAddNameFn_BANG_))->env,P0_domain
,T0));
280 fiCCall2(FiWord, (*pG_XS55O_domainAddHash_BANG_), P0_domain,((*((FiWord (*)())((*pG_XS55O_domainAddHash_BANG_))->prog->
fun))(((*pG_XS55O_domainAddHash_BANG_))->env,P0_domain,740244383L
))
281 740244383L)((*((FiWord (*)())((*pG_XS55O_domainAddHash_BANG_))->prog->
fun))(((*pG_XS55O_domainAddHash_BANG_))->env,P0_domain,740244383L
));
282 return fiClosMake(e0, C2_addLevel1)fiClosMakeFun(e0, (FiProg) (C2_addLevel1));
283}
284
285static struct _FiProg tmp1_addLevel0 = {
286 (FiFun) CF1_addLevel0,
287 0L,
288 0L,
289 0L,
290 0L
291};
292
293
294static FiWord
295CF2_addLevel1(FiEnv e1, FiWord P0_domain, FiWord P1_hashcode)
296{
297 FiWord *T0, *T1, *T2, T6, T7, T17;
298 FiClos T16;
299 FiSInt T8, T9, T10, T11, T12, T13, T14, T15;
300 PFmt5 T3, T4, T5;
301 PFmt8 l0;
302 FiEnv e2, e0;
303 PFmt10 l2;
304 l0 = fi0New(struct Fmt8 , CENSUS_EnvLevel)((struct Fmt8 *) fi0Alloc(sizeof(struct Fmt8), (19)));
305 e0 = fiEnvPush(l0, e1)fiEnvPushFun((FiPtr) (l0), e1);
306 e2 = fiEnvNext(e1)((FiEnv) (e1)->next);
307 l2 = (PFmt10) fiEnvLevel(e2)((FiEnv) (e2)->level);
308 fiARRNEW_Word(T0, FiWord*, 26L)((T0) = (FiWord*) fiArrNew_Word(26L));
309 fiARRNEW_Word(T1, FiWord*, 26L)((T1) = (FiWord*) fiArrNew_Word(26L));
310 fiARRNEW_Word(T2, FiWord*, 26L)((T2) = (FiWord*) fiArrNew_Word(26L));
311 T6 = fiCCall1(FiWord, (*pG_IJHFC_domainMakeDispatch), P0_domain)((*((FiWord (*)())((*pG_IJHFC_domainMakeDispatch))->prog->
fun))(((*pG_IJHFC_domainMakeDispatch))->env,P0_domain));
312 l0->X20 = (FiSInt) P1_hashcode;
313 l0->X18__EQ_ = fiClosMake(e0, C4__EQ_)fiClosMakeFun(e0, (FiProg) (C4__EQ_));
314 l0->X17__TILDE__EQ_ = fiClosMake(e0, C5__TILDE__EQ_)fiClosMakeFun(e0, (FiProg) (C5__TILDE__EQ_));
315 l0->X16__GT_ = fiClosMake(e0, C6__GT_)fiClosMakeFun(e0, (FiProg) (C6__GT_));
316 l0->X15__LT_ = fiClosMake(e0, C7__LT_)fiClosMakeFun(e0, (FiProg) (C7__LT_));
317 l0->X14__LT__EQ_ = fiClosMake(e0, C8__LT__EQ_)fiClosMakeFun(e0, (FiProg) (C8__LT__EQ_));
318 l0->X13__GT__EQ_ = fiClosMake(e0, C9__GT__EQ_)fiClosMakeFun(e0, (FiProg) (C9__GT__EQ_));
319 l0->X10__TILDE_ = fiClosMake(e0, C10__TILDE_)fiClosMakeFun(e0, (FiProg) (C10__TILDE_));
320 l0->X9__SLASH__BSLSH_ = fiClosMake(e0, C11__SLASH__BSLSH_)fiClosMakeFun(e0, (FiProg) (C11__SLASH__BSLSH_));
321 l0->X8__BSLSH__SLASH_ = fiClosMake(e0, C12__BSLSH__SLASH_)fiClosMakeFun(e0, (FiProg) (C12__BSLSH__SLASH_));
322 l0->X11_max = fiClosMake(e0, C13_max)fiClosMakeFun(e0, (FiProg) (C13_max));
323 l0->X12_min = fiClosMake(e0, C14_min)fiClosMakeFun(e0, (FiProg) (C14_min));
324 l0->X7_toJava = fiClosMake(e0, C15_toJava)fiClosMakeFun(e0, (FiProg) (C15_toJava));
325 l0->X6_fromJava = fiClosMake(e0, C16_fromJava)fiClosMakeFun(e0, (FiProg) (C16_fromJava));
326 l0->X5_test = fiClosMake(e0, C17_test)fiClosMakeFun(e0, (FiProg) (C17_test));
327 l0->X3__LT__LT_ = fiClosMake(e0, C18__LT__LT_)fiClosMakeFun(e0, (FiProg) (C18__LT__LT_));
328 l0->X2_hash = fiClosMake(e0, C19_hash)fiClosMakeFun(e0, (FiProg) (C19_hash));
329 l0->X4__LT__LT_ = fiClosMake(e0, C20__LT__LT_)fiClosMakeFun(e0, (FiProg) (C20__LT__LT_));
330 l0->X1_case = fiClosMake(e0, C22_case)fiClosMakeFun(e0, (FiProg) (C22_case));
331 l0->X0_xor = fiClosMake(e0, C23_xor)fiClosMakeFun(e0, (FiProg) (C23_xor));
332 fiSINT_HASHCOMBINE(T14, FiSInt, l0->X20, 51489085L)((T14) = (FiSInt) fiSIntHashCombine(l0->X20, 51489085L));
333 fiSINT_HASHCOMBINE(T8, FiSInt, 740244383L, fiSIntHashCombine((FiSInt)((T8) = (FiSInt) fiSIntHashCombine(740244383L, fiSIntHashCombine
((FiSInt) 32236L, (FiSInt) fiSIntHashCombine((FiSInt) l0->
X20, ( FiSInt) T14))))
334 32236L, (FiSInt) fiSIntHashCombine((FiSInt) l0->X20, (((T8) = (FiSInt) fiSIntHashCombine(740244383L, fiSIntHashCombine
((FiSInt) 32236L, (FiSInt) fiSIntHashCombine((FiSInt) l0->
X20, ( FiSInt) T14))))
335 FiSInt) T14)))((T8) = (FiSInt) fiSIntHashCombine(740244383L, fiSIntHashCombine
((FiSInt) 32236L, (FiSInt) fiSIntHashCombine((FiSInt) l0->
X20, ( FiSInt) T14))));
336 fiSINT_HASHCOMBINE(T15, FiSInt, 32236L, T14)((T15) = (FiSInt) fiSIntHashCombine(32236L, T14));
337 fiSINT_HASHCOMBINE(T9, FiSInt, l0->X20, T15)((T9) = (FiSInt) fiSIntHashCombine(l0->X20, T15));
338 fiSINT_HASHCOMBINE(T10, FiSInt, 182752316L, fiSIntHashCombine((FiSInt)((T10) = (FiSInt) fiSIntHashCombine(182752316L, fiSIntHashCombine
((FiSInt) 32236L, (FiSInt) fiSIntHashCombine((FiSInt) l0->
X20, ( FiSInt) 102896482L))))
339 32236L, (FiSInt) fiSIntHashCombine((FiSInt) l0->X20, (((T10) = (FiSInt) fiSIntHashCombine(182752316L, fiSIntHashCombine
((FiSInt) 32236L, (FiSInt) fiSIntHashCombine((FiSInt) l0->
X20, ( FiSInt) 102896482L))))
340 FiSInt) 102896482L)))((T10) = (FiSInt) fiSIntHashCombine(182752316L, fiSIntHashCombine
((FiSInt) 32236L, (FiSInt) fiSIntHashCombine((FiSInt) l0->
X20, ( FiSInt) 102896482L))));
341 fiSINT_HASHCOMBINE(T11, FiSInt, 33717313L, T15)((T11) = (FiSInt) fiSIntHashCombine(33717313L, T15));
342 fiSINT_HASHCOMBINE(T12, FiSInt, 755420535L, T15)((T12) = (FiSInt) fiSIntHashCombine(755420535L, T15));
343 T13 = l0->X20;
344 T3 = fi0RecNew(struct Fmt5 , CENSUS_Rec)((struct Fmt5 *) fi0RecAlloc(sizeof(struct Fmt5), ( 5)));
345 T3->X0_size = 26L;
346 T3->X1_nsize = 26L;
347 T3->X2_values = (FiWord) T0;
348 T4 = fi0RecNew(struct Fmt5 , CENSUS_Rec)((struct Fmt5 *) fi0RecAlloc(sizeof(struct Fmt5), ( 5)));
349 T4->X0_size = 26L;
350 T4->X1_nsize = 26L;
351 T4->X2_values = (FiWord) T1;
352 T5 = fi0RecNew(struct Fmt5 , CENSUS_Rec)((struct Fmt5 *) fi0RecAlloc(sizeof(struct Fmt5), ( 5)));
353 T5->X0_size = 26L;
354 T5->X1_nsize = 26L;
355 T5->X2_values = (FiWord) T2;
356 fiCCall4(void, (*pG_PA5R2_domainAddExports), P0_domain, T3, T4, T5)((*((void (*)())((*pG_PA5R2_domainAddExports))->prog->fun
))(((*pG_PA5R2_domainAddExports))->env,P0_domain,T3,T4,T5)
);
357 T16 = fiCCall1(FiClos, (*pG_JP87X_rtConstSIntFn), 740244383L)((*((FiClos (*)())((*pG_JP87X_rtConstSIntFn))->prog->fun
))(((*pG_JP87X_rtConstSIntFn))->env,740244383L));
358 T17 = fiCCall1(FiWord, (*pG_Z2868_rtConstNameFn), "Boolean")((*((FiWord (*)())((*pG_Z2868_rtConstNameFn))->prog->fun
))(((*pG_Z2868_rtConstNameFn))->env,"Boolean"));
359 T17 = fiCCall3(FiWord, (*pG_GOVLL_categoryMake), fiClosMake(e0,((*((FiWord (*)())((*pG_GOVLL_categoryMake))->prog->fun
))(((*pG_GOVLL_categoryMake))->env,fiClosMakeFun(e0, (FiProg
) (C3_bool)),T16,T17))
360 C3_bool), T16, T17)((*((FiWord (*)())((*pG_GOVLL_categoryMake))->prog->fun
))(((*pG_GOVLL_categoryMake))->env,fiClosMakeFun(e0, (FiProg
) (C3_bool)),T16,T17));
361 fiCCall3(FiWord, (*pG_V9SO_domainAddDefaults), P0_domain, T17, T6)((*((FiWord (*)())((*pG_V9SO_domainAddDefaults))->prog->
fun))(((*pG_V9SO_domainAddDefaults))->env,P0_domain,T17,T6
));
362 l0->X19_Rep = fiCCall0(FiWord, (*pG_BEY7_domainMakeDummy))((*((FiWord (*)())((*pG_BEY7_domainMakeDummy))->prog->fun
))(((*pG_BEY7_domainMakeDummy))->env));
363 T7 = l0->X19_Rep;
364 l0->X19_Rep = l2->X5_Bool;
365 fiCCall2(void, (*pG_AK1EB_domainFill_BANG_), T7, l0->X19_Rep)((*((void (*)())((*pG_AK1EB_domainFill_BANG_))->prog->fun
))(((*pG_AK1EB_domainFill_BANG_))->env,T7,l0->X19_Rep));
366 l0->X19_Rep = T7;
367 T0[0L] = (FiWord) 316169058L;
368 T1[0L] = (FiWord) 547382598L;
369 T2[0L] = l0->X19_Rep;
370 T0[1L] = (FiWord) 200102L;
371 T1[1L] = (FiWord) T8;
372 T2[1L] = (FiWord) l0->X18__EQ_;
373 T0[2L] = (FiWord) 51509389L;
374 T1[2L] = (FiWord) T8;
375 T2[2L] = (FiWord) l0->X17__TILDE__EQ_;
376 T0[3L] = (FiWord) 200103L;
377 T1[3L] = (FiWord) T8;
378 T2[3L] = (FiWord) l0->X16__GT_;
379 T0[4L] = (FiWord) 200101L;
380 T1[4L] = (FiWord) T8;
381 T2[4L] = (FiWord) l0->X15__LT_;
382 T0[5L] = (FiWord) 51492427L;
383 T1[5L] = (FiWord) T8;
384 T2[5L] = (FiWord) l0->X14__LT__EQ_;
385 T0[6L] = (FiWord) 51492941L;
386 T1[6L] = (FiWord) T8;
387 T2[6L] = (FiWord) l0->X13__GT__EQ_;
388 T0[7L] = (FiWord) 200167L;
389 T1[7L] = (FiWord) T9;
390 T2[7L] = (FiWord) l0->X10__TILDE_;
391 T0[8L] = (FiWord) 51487581L;
392 T1[8L] = (FiWord) T8;
393 T2[8L] = (FiWord) l0->X9__SLASH__BSLSH_;
394 T0[9L] = (FiWord) 51500637L;
395 T1[9L] = (FiWord) T8;
396 T2[9L] = (FiWord) l0->X8__BSLSH__SLASH_;
397 T0[10L] = (FiWord) 318461825L;
398 T1[10L] = (FiWord) T8;
399 T2[10L] = (FiWord) l0->X11_max;
400 T0[11L] = (FiWord) 318459775L;
401 T1[11L] = (FiWord) T8;
402 T2[11L] = (FiWord) l0->X12_min;
403 T0[12L] = (FiWord) 445790171L;
404 fiSINT_HASHCOMBINE(T1[12L], FiWord, 988818480L, fiSIntHashCombine((((T1[12L]) = (FiWord) fiSIntHashCombine(988818480L, fiSIntHashCombine
(( FiSInt) 32236L, (FiSInt) fiSIntHashCombine((FiSInt) l0->
X20, ( FiSInt) 51489085L))))
405 FiSInt) 32236L, (FiSInt) fiSIntHashCombine((FiSInt) l0->X20, (((T1[12L]) = (FiWord) fiSIntHashCombine(988818480L, fiSIntHashCombine
(( FiSInt) 32236L, (FiSInt) fiSIntHashCombine((FiSInt) l0->
X20, ( FiSInt) 51489085L))))
406 FiSInt) 51489085L)))((T1[12L]) = (FiWord) fiSIntHashCombine(988818480L, fiSIntHashCombine
(( FiSInt) 32236L, (FiSInt) fiSIntHashCombine((FiSInt) l0->
X20, ( FiSInt) 51489085L))));
407 T2[12L] = (FiWord) l0->X7_toJava;
408 T0[13L] = (FiWord) 484454270L;
409 fiSINT_HASHCOMBINE(T1[13L], FiWord, l0->X20, 896235851L)((T1[13L]) = (FiWord) fiSIntHashCombine(l0->X20, 896235851L
));
410 T2[13L] = (FiWord) l0->X6_fromJava;
411 T0[14L] = (FiWord) 5509732L;
412 T1[14L] = (FiWord) T9;
413 T2[14L] = (FiWord) l0->X5_test;
414 T0[15L] = (FiWord) 51492426L;
415 T1[15L] = (FiWord) T10;
416 T2[15L] = (FiWord) l0->X3__LT__LT_;
417 T0[16L] = (FiWord) 746853960L;
418 T1[16L] = (FiWord) T11;
419 T2[16L] = (FiWord) l0->X2_hash;
420 T0[17L] = (FiWord) 51492426L;
421 T1[17L] = (FiWord) T12;
422 T2[17L] = (FiWord) l0->X4__LT__LT_;
423 T0[18L] = (FiWord) 864625472L;
424 T1[18L] = (FiWord) T8;
425 T2[18L] = (FiWord) l0->X1_case;
426 T0[19L] = (FiWord) 317608340L;
427 T1[19L] = (FiWord) T8;
428 T2[19L] = (FiWord) l0->X0_xor;
429 T0[20L] = (FiWord) 200076L;
430 T1[20L] = (FiWord) 484208045L;
431 T2[20L] = (FiWord) GB0;
432 T0[21L] = (FiWord) 318459775L;
433 T1[21L] = (FiWord) T13;
434 T2[21L] = (FiWord) 0L;
435 T0[22L] = (FiWord) 318461825L;
436 T1[22L] = (FiWord) T13;
437 T2[22L] = (FiWord) 1L;
438 T0[23L] = (FiWord) 13900568L;
439 T1[23L] = (FiWord) T13;
440 T2[23L] = (FiWord) 0L;
441 T0[24L] = (FiWord) 11137124L;
442 T1[24L] = (FiWord) T13;
443 T2[24L] = (FiWord) 1L;
444 T0[25L] = (FiWord) 255806968L;
445 T1[25L] = (FiWord) T13;
446 T2[25L] = (FiWord) 1L;
447 return P0_domain;
448}
449
450static struct _FiProg tmp2_addLevel1 = {
451 (FiFun) CF2_addLevel1,
452 0L,
453 0L,
454 0L,
455 0L
456};
457
458
459static void
460CF3_bool(FiEnv e1, FiWord P0_self, FiWord P1_dom)
461{
462 PFmt5 T3, T4, T5, T7;
463 FiWord *T0, *T1, *T2, *T6;
464 FiEnv e3, e2;
465 PFmt10 l3;
466 e2 = fiEnvNext(e1)((FiEnv) (e1)->next);
467 e3 = fiEnvNext(e2)((FiEnv) (e2)->next);
468 l3 = (PFmt10) fiEnvLevel(e3)((FiEnv) (e3)->level);
469 fiARRNEW_Word(T0, FiWord*, 0L)((T0) = (FiWord*) fiArrNew_Word(0L));
470 fiARRNEW_Word(T1, FiWord*, 0L)((T1) = (FiWord*) fiArrNew_Word(0L));
471 fiARRNEW_Word(T2, FiWord*, 0L)((T2) = (FiWord*) fiArrNew_Word(0L));
472 fiARRNEW_Word(T6, FiWord*, 3L)((T6) = (FiWord*) fiArrNew_Word(3L));
473 T3 = fi0RecNew(struct Fmt5 , CENSUS_Rec)((struct Fmt5 *) fi0RecAlloc(sizeof(struct Fmt5), ( 5)));
474 T3->X0_size = 0L;
475 T3->X1_nsize = 0L;
476 T3->X2_values = (FiWord) T0;
477 T4 = fi0RecNew(struct Fmt5 , CENSUS_Rec)((struct Fmt5 *) fi0RecAlloc(sizeof(struct Fmt5), ( 5)));
478 T4->X0_size = 0L;
479 T4->X1_nsize = 0L;
480 T4->X2_values = (FiWord) T1;
481 T5 = fi0RecNew(struct Fmt5 , CENSUS_Rec)((struct Fmt5 *) fi0RecAlloc(sizeof(struct Fmt5), ( 5)));
482 T5->X0_size = 0L;
483 T5->X1_nsize = 0L;
484 T5->X2_values = (FiWord) T2;
485 fiCCall4(void, (*pG_WXLY5_categoryAddExports), P0_self, T3, T4, T5)((*((void (*)())((*pG_WXLY5_categoryAddExports))->prog->
fun))(((*pG_WXLY5_categoryAddExports))->env,P0_self,T3,T4,
T5));
486 T6[0L] = l3->X3_Conditional;
487 T6[1L] = l3->X4_Logic;
488 T6[2L] = l3->X2_OrderedFinite;
489 T7 = fi0RecNew(struct Fmt5 , CENSUS_Rec)((struct Fmt5 *) fi0RecAlloc(sizeof(struct Fmt5), ( 5)));
490 T7->X0_size = 3L;
491 T7->X1_nsize = 3L;
492 T7->X2_values = (FiWord) T6;
493 fiCCall3(FiWord, (*pG_YXGL3_categoryAddParents), P0_self, T7, P1_dom)((*((FiWord (*)())((*pG_YXGL3_categoryAddParents))->prog->
fun))(((*pG_YXGL3_categoryAddParents))->env,P0_self,T7,P1_dom
));
494 return ;
495}
496
497static struct _FiProg tmp3_bool = {
498 (FiFun) CF3_bool,
499 0L,
500 0L,
501 0L,
502 0L
503};
504
505
506static FiWord
507CF4__EQ_(FiEnv e1, FiWord P0_a, FiWord P1_b)
508{
509 return (FiWord) ((FiBool) P0_a == (FiBool) P1_b);
510}
511
512static struct _FiProg tmp4__EQ_ = {
513 (FiFun) CF4__EQ_,
514 0L,
515 0L,
516 0L,
517 0L
518};
519
520
521static FiWord
522CF5__TILDE__EQ_(FiEnv e1, FiWord P0_a, FiWord P1_b)
523{
524 return (FiWord) ((FiBool) P0_a != (FiBool) P1_b);
525}
526
527static struct _FiProg tmp5__TILDE__EQ_ = {
528 (FiFun) CF5__TILDE__EQ_,
529 0L,
530 0L,
531 0L,
532 0L
533};
534
535
536static FiWord
537CF6__GT_(FiEnv e1, FiWord P0_a, FiWord P1_b)
538{
539 return (FiWord) ((FiBool) P0_a & !(FiBool) P1_b);
540}
541
542static struct _FiProg tmp6__GT_ = {
543 (FiFun) CF6__GT_,
544 0L,
545 0L,
546 0L,
547 0L
548};
549
550
551static FiWord
552CF7__LT_(FiEnv e1, FiWord P0_a, FiWord P1_b)
553{
554 return (FiWord) (!(FiBool) P0_a & (FiBool) P1_b);
555}
556
557static struct _FiProg tmp7__LT_ = {
558 (FiFun) CF7__LT_,
559 0L,
560 0L,
561 0L,
562 0L
563};
564
565
566static FiWord
567CF8__LT__EQ_(FiEnv e1, FiWord P0_a, FiWord P1_b)
568{
569 return (FiWord) (!(FiBool) P0_a | (FiBool) P1_b);
570}
571
572static struct _FiProg tmp8__LT__EQ_ = {
573 (FiFun) CF8__LT__EQ_,
574 0L,
575 0L,
576 0L,
577 0L
578};
579
580
581static FiWord
582CF9__GT__EQ_(FiEnv e1, FiWord P0_a, FiWord P1_b)
583{
584 return (FiWord) ((FiBool) P0_a | !(FiBool) P1_b);
585}
586
587static struct _FiProg tmp9__GT__EQ_ = {
588 (FiFun) CF9__GT__EQ_,
589 0L,
590 0L,
591 0L,
592 0L
593};
594
595
596static FiWord
597CF10__TILDE_(FiEnv e1, FiWord P0_a)
598{
599 return (FiWord) !(FiBool) P0_a;
600}
601
602static struct _FiProg tmp10__TILDE_ = {
603 (FiFun) CF10__TILDE_,
604 0L,
605 0L,
606 0L,
607 0L
608};
609
610
611static FiWord
612CF11__SLASH__BSLSH_(FiEnv e1, FiWord P0_a, FiWord P1_b)
613{
614 return (FiWord) ((FiBool) P0_a & (FiBool) P1_b);
615}
616
617static struct _FiProg tmp11__SLASH__BSLSH_ = {
618 (FiFun) CF11__SLASH__BSLSH_,
619 0L,
620 0L,
621 0L,
622 0L
623};
624
625
626static FiWord
627CF12__BSLSH__SLASH_(FiEnv e1, FiWord P0_a, FiWord P1_b)
628{
629 return (FiWord) ((FiBool) P0_a | (FiBool) P1_b);
630}
631
632static struct _FiProg tmp12__BSLSH__SLASH_ = {
633 (FiFun) CF12__BSLSH__SLASH_,
634 0L,
635 0L,
636 0L,
637 0L
638};
639
640
641static FiWord
642CF13_max(FiEnv e1, FiWord P0_a, FiWord P1_b)
643{
644 return (FiWord) ((FiBool) P0_a | (FiBool) P1_b);
645}
646
647static struct _FiProg tmp13_max = {
648 (FiFun) CF13_max,
649 0L,
650 0L,
651 0L,
652 0L
653};
654
655
656static FiWord
657CF14_min(FiEnv e1, FiWord P0_a, FiWord P1_b)
658{
659 return (FiWord) ((FiBool) P0_a & (FiBool) P1_b);
660}
661
662static struct _FiProg tmp14_min = {
663 (FiFun) CF14_min,
664 0L,
665 0L,
666 0L,
667 0L
668};
669
670
671static FiBool
672CF15_toJava(FiEnv e1, FiWord P0_i)
673{
674 return (FiBool) P0_i;
675}
676
677static struct _FiProg tmp15_toJava = {
678 (FiFun) CF15_toJava,
679 0L,
680 0L,
681 0L,
682 0L
683};
684
685
686static FiWord
687CF16_fromJava(FiEnv e1, FiBool P0_i)
688{
689 return (FiWord) P0_i;
690}
691
692static struct _FiProg tmp16_fromJava = {
693 (FiFun) CF16_fromJava,
694 0L,
695 0L,
696 0L,
697 0L
698};
699
700
701static FiWord
702CF17_test(FiEnv e1, FiWord P0_b)
703{
704 return P0_b;
705}
706
707static struct _FiProg tmp17_test = {
708 (FiFun) CF17_test,
709 0L,
710 0L,
711 0L,
712 0L
713};
714
715
716static FiWord
717CF18__LT__LT_(FiEnv e1, FiWord P0_p, FiWord P1_b)
718{
719 FiClos T1, T2, T3;
720 FiWord T0;
721 if ((FiBool) P1_b) goto L0;
722 T0 = (FiWord) "false";
723L1: ((void(*)(FiEnv , FiClos* , FiClos* , FiClos* )) fiRawCProg((((( FiClos) P0_p)->prog->fun)
724 FiClos) P0_p)((( FiClos) P0_p)->prog->fun))(((FiClos) P0_p)->env, &T1, &T2, &T3);
725 fiCCall3(FiWord, T2, T0, (FiWord) 1L, (FiWord) 0L)((*((FiWord (*)())(T2)->prog->fun))((T2)->env,T0,(FiWord
) 1L,(FiWord) 0L));
726 return P0_p;
727L0: T0 = (FiWord) "true";
728 goto L1;
729}
730
731static struct _FiProg tmp18__LT__LT_ = {
732 (FiFun) CF18__LT__LT_,
733 0L,
734 0L,
735 0L,
736 0L
737};
738
739
740static FiWord
741CF19_hash(FiEnv e1, FiWord P0_x)
742{
743 return (FiWord) 0L;
744}
745
746static struct _FiProg tmp19_hash = {
747 (FiFun) CF19_hash,
748 0L,
749 0L,
750 0L,
751 0L
752};
753
754
755static FiClos
756CF20__LT__LT_(FiEnv e1, FiWord P0_x)
757{
758 PFmt7 l0;
759 FiEnv e0;
760 l0 = fi0New(struct Fmt7 , CENSUS_EnvLevel)((struct Fmt7 *) fi0Alloc(sizeof(struct Fmt7), (19)));
761 e0 = fiEnvPush(l0, e1)fiEnvPushFun((FiPtr) (l0), e1);
762 l0->X0_x = P0_x;
763 return fiClosMake(e0, C21__LT__LT_)fiClosMakeFun(e0, (FiProg) (C21__LT__LT_));
764}
765
766static struct _FiProg tmp20__LT__LT_ = {
767 (FiFun) CF20__LT__LT_,
768 0L,
769 0L,
770 0L,
771 0L
772};
773
774
775static FiWord
776CF21__LT__LT_(FiEnv e1, FiWord P0_p)
777{
778 FiBool T4;
779 FiClos T1, T2, T3;
780 FiWord T0;
781 PFmt7 l1;
782 l1 = (PFmt7) fiEnvLevel(e1)((FiEnv) (e1)->level);
783 T4 = (FiBool) l1->X0_x;
784 if (T4) goto L0;
785 T0 = (FiWord) "false";
786L1: ((void(*)(FiEnv , FiClos* , FiClos* , FiClos* )) fiRawCProg((((( FiClos) P0_p)->prog->fun)
787 FiClos) P0_p)((( FiClos) P0_p)->prog->fun))(((FiClos) P0_p)->env, &T1, &T2, &T3);
788 fiCCall3(FiWord, T2, T0, (FiWord) 1L, (FiWord) 0L)((*((FiWord (*)())(T2)->prog->fun))((T2)->env,T0,(FiWord
) 1L,(FiWord) 0L));
789 return P0_p;
790L0: T0 = (FiWord) "true";
791 goto L1;
792}
793
794static struct _FiProg tmp21__LT__LT_ = {
795 (FiFun) CF21__LT__LT_,
796 0L,
797 0L,
798 0L,
799 0L
800};
801
802
803static FiWord
804CF22_case(FiEnv e1, FiWord P0_x, FiWord P1_y)
805{
806 return (FiWord) ((FiBool) P0_x == (FiBool) P1_y);
807}
808
809static struct _FiProg tmp22_case = {
810 (FiFun) CF22_case,
811 0L,
812 0L,
813 0L,
814 0L
815};
816
817
818static FiWord
819CF23_xor(FiEnv e1, FiWord P0_x, FiWord P1_y)
820{
821 FiBool T0;
822 T0 = (FiBool) P0_x & !(FiBool) P1_y;
823 return (FiWord) (T0 | !(FiBool) P0_x & (FiBool) P1_y);
824}
825
826static struct _FiProg tmp23_xor = {
827 (FiFun) CF23_xor,
828 0L,
829 0L,
830 0L,
831 0L
832};
833
834
835static FiClos
836CF24_extend0(FiEnv e1, FiWord P0_domain)
837{
838 PFmt5 T1;
839 FiWord *T0;
840 PFmt10 l1;
841 l1 = (PFmt10) fiEnvLevel(e1)((FiEnv) (e1)->level);
842 fiARRNEW_Word(T0, FiWord*, 2L)((T0) = (FiWord*) fiArrNew_Word(2L));
843 T0[1L] = l1->X0_Boolean;
844 T0[0L] = (FiWord) G_CHHEJ_bool__Boolean__1866426;
845 T1 = fi0RecNew(struct Fmt5 , CENSUS_Rec)((struct Fmt5 *) fi0RecAlloc(sizeof(struct Fmt5), ( 5)));
846 T1->X0_size = 2L;
847 T1->X1_nsize = 2L;
848 T1->X2_values = (FiWord) T0;
849 fiCCall2(FiWord, (*pG_G3BWN_extendFill_BANG_), P0_domain, T1)((*((FiWord (*)())((*pG_G3BWN_extendFill_BANG_))->prog->
fun))(((*pG_G3BWN_extendFill_BANG_))->env,P0_domain,T1));
850 return (FiClos) fiNil((Ptr) 0);
851}
852
853static struct _FiProg tmp24_extend0 = {
854 (FiFun) CF24_extend0,
855 0L,
856 0L,
857 0L,
858 0L
859};
860
861
862static FiWord
863CF25_machine_MINUS_init(FiEnv e1, FiSInt P0_idx)
864{
865 PFmt10 l1;
866 l1 = (PFmt10) fiEnvLevel(e1)((FiEnv) (e1)->level);
867 if (l1->X7) goto L0;
868 l1->X7 = 1L;
869 fiCCall0(void, (*pG_JNB1W_machine))((*((void (*)())((*pG_JNB1W_machine))->prog->fun))(((*pG_JNB1W_machine
))->env));
870L0: return (FiWord) (*pG_1B0E6_machine__Machine__915);
871}
872
873static struct _FiProg tmp25_machine_MINUS_init = {
874 (FiFun) CF25_machine_MINUS_init,
875 0L,
876 0L,
877 0L,
878 0L
879};
880
881
882static FiWord
883CF26_basic_MINUS_init(FiEnv e1, FiSInt P0_idx)
884{
885 PFmt10 l1;
886 l1 = (PFmt10) fiEnvLevel(e1)((FiEnv) (e1)->level);
887 if (l1->X8) goto L0;
888 l1->X8 = 1L;
889 fiCCall0(void, (*pG_NO017_basic))((*((void (*)())((*pG_NO017_basic))->prog->fun))(((*pG_NO017_basic
))->env));
890L0: if (P0_idx != 4L) goto L1;
891 return (FiWord) (*pG_OT2IM_basic__Boolean__72774);
892L1: if (P0_idx != 3L) goto L2;
893 return (FiWord) (*pG_U7T4R_basic__Integer__11769);
894L2: if (P0_idx != 2L) goto L3;
895 return (FiWord) (*pG_8QOPO_basic__MachineInteger);
896L3: if (P0_idx != 1L) goto L4;
897 return (FiWord) (*pG_SH2SP_basic__TextWriter__36);
898L4: return (FiWord) (*pG_AEIW8_basic__String__641272);
899}
900
901static struct _FiProg tmp26_basic_MINUS_init = {
902 (FiFun) CF26_basic_MINUS_init,
903 0L,
904 0L,
905 0L,
906 0L
907};
908
909
910static FiWord
911CF27_foamcat_MINUS_init(FiEnv e1, FiSInt P0_idx)
912{
913 PFmt10 l1;
914 l1 = (PFmt10) fiEnvLevel(e1)((FiEnv) (e1)->level);
915 if (l1->X9) goto L0;
916 l1->X9 = 1L;
917 fiCCall0(void, (*pG_H8TZ5_foamcat))((*((void (*)())((*pG_H8TZ5_foamcat))->prog->fun))(((*pG_H8TZ5_foamcat
))->env));
918L0: if (P0_idx != 2L) goto L1;
919 return (FiWord) (*pG_JWK7S_foamcat__OrderedFinit);
920L1: if (P0_idx != 1L) goto L2;
921 return (FiWord) (*pG_OZCWT_foamcat__Logic__68840);
922L2: return (FiWord) (*pG_7CR7Y_foamcat__Conditional);
923}
924
925static struct _FiProg tmp27_foamcat_MINUS_init = {
926 (FiFun) CF27_foamcat_MINUS_init,
927 0L,
928 0L,
929 0L,
930 0L
931};
932
933extern int
934INIT__0_bool()
935{
936
937 extern int INIT__0_rtexns();
938 extern int INIT__0_foamcat();
939 extern int INIT__0_basic();
940 extern int INIT__0_machine();
941 extern int INIT__0_runtime();
942 static int initialized = 0;
943 if (initialized)
944 return 0L;
945 else
946 initialized = 1;
947 C1_addLevel0 = &tmp1_addLevel0;
948 C2_addLevel1 = &tmp2_addLevel1;
949 C3_bool = &tmp3_bool;
950 C4__EQ_ = &tmp4__EQ_;
951 C5__TILDE__EQ_ = &tmp5__TILDE__EQ_;
952 C6__GT_ = &tmp6__GT_;
953 C7__LT_ = &tmp7__LT_;
954 C8__LT__EQ_ = &tmp8__LT__EQ_;
955 C9__GT__EQ_ = &tmp9__GT__EQ_;
956 C10__TILDE_ = &tmp10__TILDE_;
957 C11__SLASH__BSLSH_ = &tmp11__SLASH__BSLSH_;
958 C12__BSLSH__SLASH_ = &tmp12__BSLSH__SLASH_;
959 C13_max = &tmp13_max;
960 C14_min = &tmp14_min;
961 C15_toJava = &tmp15_toJava;
962 C16_fromJava = &tmp16_fromJava;
963 C17_test = &tmp17_test;
964 C18__LT__LT_ = &tmp18__LT__LT_;
965 C19_hash = &tmp19_hash;
966 C20__LT__LT_ = &tmp20__LT__LT_;
967 C21__LT__LT_ = &tmp21__LT__LT_;
968 C22_case = &tmp22_case;
969 C23_xor = &tmp23_xor;
970 C24_extend0 = &tmp24_extend0;
971 C25_machine_MINUS_init = &tmp25_machine_MINUS_init;
972 C26_basic_MINUS_init = &tmp26_basic_MINUS_init;
973 C27_foamcat_MINUS_init = &tmp27_foamcat_MINUS_init;
974 C0_bool = &tmp0_bool;
975 fiExportGlobal("G_AVAF5_bool", G_AVAF5_bool)fiExportGlobalFun("G_AVAF5_bool", (Ptr) &G_AVAF5_bool, sizeof
(G_AVAF5_bool));
976 fiExportGlobal("G_CHHEJ_bool__Boolean__1866426",fiExportGlobalFun("G_CHHEJ_bool__Boolean__1866426", (Ptr) &
G_CHHEJ_bool__Boolean__1866426, sizeof(G_CHHEJ_bool__Boolean__1866426
))
977 G_CHHEJ_bool__Boolean__1866426)fiExportGlobalFun("G_CHHEJ_bool__Boolean__1866426", (Ptr) &
G_CHHEJ_bool__Boolean__1866426, sizeof(G_CHHEJ_bool__Boolean__1866426
));
978 fiExportGlobal("G_WPSNL_bool__Boolean__1111000",fiExportGlobalFun("G_WPSNL_bool__Boolean__1111000", (Ptr) &
G_WPSNL_bool__Boolean__1111000, sizeof(G_WPSNL_bool__Boolean__1111000
))
979 G_WPSNL_bool__Boolean__1111000)fiExportGlobalFun("G_WPSNL_bool__Boolean__1111000", (Ptr) &
G_WPSNL_bool__Boolean__1111000, sizeof(G_WPSNL_bool__Boolean__1111000
));
980 fiImportGlobal("G_NQYQM_noOperation", pG_NQYQM_noOperation)fiImportGlobalFun("G_NQYQM_noOperation", (Ptr *) &pG_NQYQM_noOperation
);
981 fiImportGlobal("G_XIPRL_runtime", pG_XIPRL_runtime)fiImportGlobalFun("G_XIPRL_runtime", (Ptr *) &pG_XIPRL_runtime
);
982 fiImportGlobal("G_Z2868_rtConstNameFn", pG_Z2868_rtConstNameFn)fiImportGlobalFun("G_Z2868_rtConstNameFn", (Ptr *) &pG_Z2868_rtConstNameFn
);
983 fiImportGlobal("G_CSVBL_domainAddNameFn_BANG_",fiImportGlobalFun("G_CSVBL_domainAddNameFn_BANG_", (Ptr *) &
pG_CSVBL_domainAddNameFn_BANG_)
984 pG_CSVBL_domainAddNameFn_BANG_)fiImportGlobalFun("G_CSVBL_domainAddNameFn_BANG_", (Ptr *) &
pG_CSVBL_domainAddNameFn_BANG_);
985 fiImportGlobal("G_XS55O_domainAddHash_BANG_",fiImportGlobalFun("G_XS55O_domainAddHash_BANG_", (Ptr *) &
pG_XS55O_domainAddHash_BANG_)
986 pG_XS55O_domainAddHash_BANG_)fiImportGlobalFun("G_XS55O_domainAddHash_BANG_", (Ptr *) &
pG_XS55O_domainAddHash_BANG_);
987 fiImportGlobal("G_PA5R2_domainAddExports_BANG_",fiImportGlobalFun("G_PA5R2_domainAddExports_BANG_", (Ptr *) &
pG_PA5R2_domainAddExports)
988 pG_PA5R2_domainAddExports)fiImportGlobalFun("G_PA5R2_domainAddExports_BANG_", (Ptr *) &
pG_PA5R2_domainAddExports);
989 fiImportGlobal("G_IJHFC_domainMakeDispatch",fiImportGlobalFun("G_IJHFC_domainMakeDispatch", (Ptr *) &
pG_IJHFC_domainMakeDispatch)
990 pG_IJHFC_domainMakeDispatch)fiImportGlobalFun("G_IJHFC_domainMakeDispatch", (Ptr *) &
pG_IJHFC_domainMakeDispatch);
991 fiImportGlobal("G_JP87X_rtConstSIntFn", pG_JP87X_rtConstSIntFn)fiImportGlobalFun("G_JP87X_rtConstSIntFn", (Ptr *) &pG_JP87X_rtConstSIntFn
);
992 fiImportGlobal("G_WXLY5_categoryAddExports",fiImportGlobalFun("G_WXLY5_categoryAddExports", (Ptr *) &
pG_WXLY5_categoryAddExports)
993 pG_WXLY5_categoryAddExports)fiImportGlobalFun("G_WXLY5_categoryAddExports", (Ptr *) &
pG_WXLY5_categoryAddExports);
994 fiImportGlobal("G_7CR7Y_foamcat__Conditional__",fiImportGlobalFun("G_7CR7Y_foamcat__Conditional__", (Ptr *) &
pG_7CR7Y_foamcat__Conditional)
995 pG_7CR7Y_foamcat__Conditional)fiImportGlobalFun("G_7CR7Y_foamcat__Conditional__", (Ptr *) &
pG_7CR7Y_foamcat__Conditional);
996 fiImportGlobal("G_NOX7X_rtLazyCatFrInit", pG_NOX7X_rtLazyCatFrInit)fiImportGlobalFun("G_NOX7X_rtLazyCatFrInit", (Ptr *) &pG_NOX7X_rtLazyCatFrInit
);
997 fiImportGlobal("G_OZCWT_foamcat__Logic__688403",fiImportGlobalFun("G_OZCWT_foamcat__Logic__688403", (Ptr *) &
pG_OZCWT_foamcat__Logic__68840)
998 pG_OZCWT_foamcat__Logic__68840)fiImportGlobalFun("G_OZCWT_foamcat__Logic__688403", (Ptr *) &
pG_OZCWT_foamcat__Logic__68840);
999 fiImportGlobal("G_JWK7S_foamcat__OrderedFinite",fiImportGlobalFun("G_JWK7S_foamcat__OrderedFinite", (Ptr *) &
pG_JWK7S_foamcat__OrderedFinit)
1000 pG_JWK7S_foamcat__OrderedFinit)fiImportGlobalFun("G_JWK7S_foamcat__OrderedFinite", (Ptr *) &
pG_JWK7S_foamcat__OrderedFinit);
1001 fiImportGlobal("G_YXGL3_categoryAddParents",fiImportGlobalFun("G_YXGL3_categoryAddParents", (Ptr *) &
pG_YXGL3_categoryAddParents)
1002 pG_YXGL3_categoryAddParents)fiImportGlobalFun("G_YXGL3_categoryAddParents", (Ptr *) &
pG_YXGL3_categoryAddParents);
1003 fiImportGlobal("G_1B0E6_machine__Machine__9157",fiImportGlobalFun("G_1B0E6_machine__Machine__9157", (Ptr *) &
pG_1B0E6_machine__Machine__915)
1004 pG_1B0E6_machine__Machine__915)fiImportGlobalFun("G_1B0E6_machine__Machine__9157", (Ptr *) &
pG_1B0E6_machine__Machine__915);
1005 fiImportGlobal("G_KK8CX_rtLazyDomFrInit", pG_KK8CX_rtLazyDomFrInit)fiImportGlobalFun("G_KK8CX_rtLazyDomFrInit", (Ptr *) &pG_KK8CX_rtLazyDomFrInit
);
1006 fiImportGlobal("G_1X2RM_domainGetExport_BANG_",fiImportGlobalFun("G_1X2RM_domainGetExport_BANG_", (Ptr *) &
pG_1X2RM_domainGetExport_BANG_)
1007 pG_1X2RM_domainGetExport_BANG_)fiImportGlobalFun("G_1X2RM_domainGetExport_BANG_", (Ptr *) &
pG_1X2RM_domainGetExport_BANG_);
1008 fiImportGlobal("G_GOVLL_categoryMake", pG_GOVLL_categoryMake)fiImportGlobalFun("G_GOVLL_categoryMake", (Ptr *) &pG_GOVLL_categoryMake
);
1009 fiImportGlobal("G_V9SO_domainAddDefaults_BANG_",fiImportGlobalFun("G_V9SO_domainAddDefaults_BANG_", (Ptr *) &
pG_V9SO_domainAddDefaults)
1010 pG_V9SO_domainAddDefaults)fiImportGlobalFun("G_V9SO_domainAddDefaults_BANG_", (Ptr *) &
pG_V9SO_domainAddDefaults);
1011 fiImportGlobal("G_BEY7_domainMakeDummy", pG_BEY7_domainMakeDummy)fiImportGlobalFun("G_BEY7_domainMakeDummy", (Ptr *) &pG_BEY7_domainMakeDummy
);
1012 fiImportGlobal("G_AK1EB_domainFill_BANG_", pG_AK1EB_domainFill_BANG_)fiImportGlobalFun("G_AK1EB_domainFill_BANG_", (Ptr *) &pG_AK1EB_domainFill_BANG_
);
1013 fiImportGlobal("G_AEIW8_basic__String__6412721",fiImportGlobalFun("G_AEIW8_basic__String__6412721", (Ptr *) &
pG_AEIW8_basic__String__641272)
1014 pG_AEIW8_basic__String__641272)fiImportGlobalFun("G_AEIW8_basic__String__6412721", (Ptr *) &
pG_AEIW8_basic__String__641272);
1015 fiImportGlobal("G_SH2SP_basic__TextWriter__360",fiImportGlobalFun("G_SH2SP_basic__TextWriter__360", (Ptr *) &
pG_SH2SP_basic__TextWriter__36)
1016 pG_SH2SP_basic__TextWriter__36)fiImportGlobalFun("G_SH2SP_basic__TextWriter__360", (Ptr *) &
pG_SH2SP_basic__TextWriter__36);
1017 fiImportGlobal("G_8QOPO_basic__MachineInteger",fiImportGlobalFun("G_8QOPO_basic__MachineInteger", (Ptr *) &
pG_8QOPO_basic__MachineInteger)
1018 pG_8QOPO_basic__MachineInteger)fiImportGlobalFun("G_8QOPO_basic__MachineInteger", (Ptr *) &
pG_8QOPO_basic__MachineInteger);
1019 fiImportGlobal("G_U7T4R_basic__Integer__117694",fiImportGlobalFun("G_U7T4R_basic__Integer__117694", (Ptr *) &
pG_U7T4R_basic__Integer__11769)
1020 pG_U7T4R_basic__Integer__11769)fiImportGlobalFun("G_U7T4R_basic__Integer__117694", (Ptr *) &
pG_U7T4R_basic__Integer__11769);
1021 fiImportGlobal("G_OT2IM_basic__Boolean__727749",fiImportGlobalFun("G_OT2IM_basic__Boolean__727749", (Ptr *) &
pG_OT2IM_basic__Boolean__72774)
1022 pG_OT2IM_basic__Boolean__72774)fiImportGlobalFun("G_OT2IM_basic__Boolean__727749", (Ptr *) &
pG_OT2IM_basic__Boolean__72774);
1023 fiImportGlobal("G_6L1ZC_domainMake", pG_6L1ZC_domainMake)fiImportGlobalFun("G_6L1ZC_domainMake", (Ptr *) &pG_6L1ZC_domainMake
);
1024 fiImportGlobal("G_G3BWN_extendFill_BANG_", pG_G3BWN_extendFill_BANG_)fiImportGlobalFun("G_G3BWN_extendFill_BANG_", (Ptr *) &pG_G3BWN_extendFill_BANG_
);
1025 fiImportGlobal("G_FZLG1_extendMake", pG_FZLG1_extendMake)fiImportGlobalFun("G_FZLG1_extendMake", (Ptr *) &pG_FZLG1_extendMake
);
1026 fiImportGlobal("G_822GM_rtAddStrings", pG_822GM_rtAddStrings)fiImportGlobalFun("G_822GM_rtAddStrings", (Ptr *) &pG_822GM_rtAddStrings
);
1027 fiImportGlobal("G_JNB1W_machine", pG_JNB1W_machine)fiImportGlobalFun("G_JNB1W_machine", (Ptr *) &pG_JNB1W_machine
);
1028 fiImportGlobal("G_NO017_basic", pG_NO017_basic)fiImportGlobalFun("G_NO017_basic", (Ptr *) &pG_NO017_basic
);
1029 fiImportGlobal("G_H8TZ5_foamcat", pG_H8TZ5_foamcat)fiImportGlobalFun("G_H8TZ5_foamcat", (Ptr *) &pG_H8TZ5_foamcat
);
1030 if (fiFileInitializer) {
1031 fiFileInitializer("rtexns");
1032 fiFileInitializer("foamcat");
1033 fiFileInitializer("basic");
1034 fiFileInitializer("machine");
1035 fiFileInitializer("runtime");
1036 }
1037 else {
1038 INIT__0_rtexns();
1039 INIT__0_foamcat();
1040 INIT__0_basic();
1041 INIT__0_machine();
1042 INIT__0_runtime();
1043 }
1044 /* "---------------------------" */
1045 return 0L;
1046}
1047
1048FiWord G_WPSNL_bool__Boolean__1111000;
1049FiWord G_CHHEJ_bool__Boolean__1866426;
1050
1051static struct _FiClos tmpClos0_bool = {
1052 0L,
1053 (FiProg) &tmp0_bool
1054};
1055FiClos G_AVAF5_bool = &tmpClos0_bool;