OpenCores
URL https://opencores.org/ocsvn/fluid_core_2/fluid_core_2/trunk

Subversion Repositories fluid_core_2

[/] [fluid_core_2/] [trunk/] [xilinx14.5 project/] [isim/] [tb_Test_Bed_isim_beh.exe.sim/] [work/] [m_00000000004105140779_2442001628.c] - Blame information for rev 4

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 4 azmathmoos 
/**********************************************************************/
2 
/*   ____  ____                                                       */
3 
/*  /   /\/   /                                                       */
4 
/* /___/  \  /                                                        */
5 
/* \   \   \/                                                       */
6 
/*  \   \        Copyright (c) 2003-2009 Xilinx, Inc.                */
7 
/*  /   /          All Right Reserved.                                 */
8 
/* /---/   /\                                                         */
9 
/* \   \  /  \                                                      */
10 
/*  \___\/\___\                                                    */
11 
/***********************************************************************/
12 
 
13 
/* This file is designed for use with ISim build 0x7708f090 */
14 
 
15 
#define XSI_HIDE_SYMBOL_SPEC true
16 
#include "xsi.h"
17 
#include <memory.h>
18 
#ifdef __GNUC__
19 
#include <stdlib.h>
20 
#else
21 
#include <malloc.h>
22 
#define alloca _alloca
23 
#endif
24 
static const char *ng0 = "C:/Users/Azmath/Documents/M Tech Project/FC2/FluidCore.v";
25 
static unsigned int ng1[] = {3U, 0U};
26 
static unsigned int ng2[] = {1U, 0U};
27 
static int ng3[] = {0, 0};
28 
 
29 
 
30 
 
31 
static void Cont_56_0(char *t0)
32 
{
33 
    char t4[8];
34 
    char *t1;
35 
    char *t2;
36 
    char *t3;
37 
    char *t5;
38 
    unsigned int t6;
39 
    unsigned int t7;
40 
    unsigned int t8;
41 
    unsigned int t9;
42 
    unsigned int t10;
43 
    unsigned int t11;
44 
    char *t12;
45 
    char *t13;
46 
    char *t14;
47 
    char *t15;
48 
    char *t16;
49 
    unsigned int t17;
50 
    unsigned int t18;
51 
    char *t19;
52 
    unsigned int t20;
53 
    unsigned int t21;
54 
    char *t22;
55 
    unsigned int t23;
56 
    unsigned int t24;
57 
    char *t25;
58 
 
59 
LAB0:    t1 = (t0 + 11968U);
60 
    t2 = *((char **)t1);
61 
    if (t2 == 0)
62 
        goto LAB2;
63 
 
64 
LAB3:    goto *t2;
65 
 
66 
LAB2:    xsi_set_current_line(56, ng0);
67 
    t2 = (t0 + 4088U);
68 
    t3 = *((char **)t2);
69 
    memset(t4, 0, 8);
70 
    t2 = (t4 + 4);
71 
    t5 = (t3 + 4);
72 
    t6 = *((unsigned int *)t3);
73 
    t7 = (t6 >> 1);
74 
    t8 = (t7 & 1);
75 
    *((unsigned int *)t4) = t8;
76 
    t9 = *((unsigned int *)t5);
77 
    t10 = (t9 >> 1);
78 
    t11 = (t10 & 1);
79 
    *((unsigned int *)t2) = t11;
80 
    t12 = (t0 + 16048);
81 
    t13 = (t12 + 56U);
82 
    t14 = *((char **)t13);
83 
    t15 = (t14 + 56U);
84 
    t16 = *((char **)t15);
85 
    memset(t16, 0, 8);
86 
    t17 = 1U;
87 
    t18 = t17;
88 
    t19 = (t4 + 4);
89 
    t20 = *((unsigned int *)t4);
90 
    t17 = (t17 & t20);
91 
    t21 = *((unsigned int *)t19);
92 
    t18 = (t18 & t21);
93 
    t22 = (t16 + 4);
94 
    t23 = *((unsigned int *)t16);
95 
    *((unsigned int *)t16) = (t23 | t17);
96 
    t24 = *((unsigned int *)t22);
97 
    *((unsigned int *)t22) = (t24 | t18);
98 
    xsi_driver_vfirst_trans(t12, 0, 0);
99 
    t25 = (t0 + 15760);
100 
    *((int *)t25) = 1;
101 
 
102 
LAB1:    return;
103 
}
104 
 
105 
static void Cont_57_1(char *t0)
106 
{
107 
    char t4[8];
108 
    char *t1;
109 
    char *t2;
110 
    char *t3;
111 
    char *t5;
112 
    unsigned int t6;
113 
    unsigned int t7;
114 
    unsigned int t8;
115 
    unsigned int t9;
116 
    unsigned int t10;
117 
    unsigned int t11;
118 
    char *t12;
119 
    char *t13;
120 
    char *t14;
121 
    char *t15;
122 
    char *t16;
123 
    unsigned int t17;
124 
    unsigned int t18;
125 
    char *t19;
126 
    unsigned int t20;
127 
    unsigned int t21;
128 
    char *t22;
129 
    unsigned int t23;
130 
    unsigned int t24;
131 
    char *t25;
132 
 
133 
LAB0:    t1 = (t0 + 12216U);
134 
    t2 = *((char **)t1);
135 
    if (t2 == 0)
136 
        goto LAB2;
137 
 
138 
LAB3:    goto *t2;
139 
 
140 
LAB2:    xsi_set_current_line(57, ng0);
141 
    t2 = (t0 + 4088U);
142 
    t3 = *((char **)t2);
143 
    memset(t4, 0, 8);
144 
    t2 = (t4 + 4);
145 
    t5 = (t3 + 4);
146 
    t6 = *((unsigned int *)t3);
147 
    t7 = (t6 >> 2);
148 
    t8 = (t7 & 1);
149 
    *((unsigned int *)t4) = t8;
150 
    t9 = *((unsigned int *)t5);
151 
    t10 = (t9 >> 2);
152 
    t11 = (t10 & 1);
153 
    *((unsigned int *)t2) = t11;
154 
    t12 = (t0 + 16112);
155 
    t13 = (t12 + 56U);
156 
    t14 = *((char **)t13);
157 
    t15 = (t14 + 56U);
158 
    t16 = *((char **)t15);
159 
    memset(t16, 0, 8);
160 
    t17 = 1U;
161 
    t18 = t17;
162 
    t19 = (t4 + 4);
163 
    t20 = *((unsigned int *)t4);
164 
    t17 = (t17 & t20);
165 
    t21 = *((unsigned int *)t19);
166 
    t18 = (t18 & t21);
167 
    t22 = (t16 + 4);
168 
    t23 = *((unsigned int *)t16);
169 
    *((unsigned int *)t16) = (t23 | t17);
170 
    t24 = *((unsigned int *)t22);
171 
    *((unsigned int *)t22) = (t24 | t18);
172 
    xsi_driver_vfirst_trans(t12, 0, 0);
173 
    t25 = (t0 + 15776);
174 
    *((int *)t25) = 1;
175 
 
176 
LAB1:    return;
177 
}
178 
 
179 
static void Cont_58_2(char *t0)
180 
{
181 
    char t3[8];
182 
    char *t1;
183 
    char *t2;
184 
    char *t4;
185 
    char *t5;
186 
    char *t6;
187 
    unsigned int t7;
188 
    unsigned int t8;
189 
    unsigned int t9;
190 
    unsigned int t10;
191 
    unsigned int t11;
192 
    unsigned int t12;
193 
    char *t13;
194 
    char *t14;
195 
    char *t15;
196 
    char *t16;
197 
    char *t17;
198 
    unsigned int t18;
199 
    unsigned int t19;
200 
    char *t20;
201 
    unsigned int t21;
202 
    unsigned int t22;
203 
    char *t23;
204 
    unsigned int t24;
205 
    unsigned int t25;
206 
    char *t26;
207 
 
208 
LAB0:    t1 = (t0 + 12464U);
209 
    t2 = *((char **)t1);
210 
    if (t2 == 0)
211 
        goto LAB2;
212 
 
213 
LAB3:    goto *t2;
214 
 
215 
LAB2:    xsi_set_current_line(58, ng0);
216 
    t2 = (t0 + 5048U);
217 
    t4 = *((char **)t2);
218 
    memset(t3, 0, 8);
219 
    t2 = (t3 + 4);
220 
    t5 = (t4 + 24);
221 
    t6 = (t4 + 28);
222 
    t7 = *((unsigned int *)t5);
223 
    t8 = (t7 >> 21);
224 
    *((unsigned int *)t3) = t8;
225 
    t9 = *((unsigned int *)t6);
226 
    t10 = (t9 >> 21);
227 
    *((unsigned int *)t2) = t10;
228 
    t11 = *((unsigned int *)t3);
229 
    *((unsigned int *)t3) = (t11 & 3U);
230 
    t12 = *((unsigned int *)t2);
231 
    *((unsigned int *)t2) = (t12 & 3U);
232 
    t13 = (t0 + 16176);
233 
    t14 = (t13 + 56U);
234 
    t15 = *((char **)t14);
235 
    t16 = (t15 + 56U);
236 
    t17 = *((char **)t16);
237 
    memset(t17, 0, 8);
238 
    t18 = 3U;
239 
    t19 = t18;
240 
    t20 = (t3 + 4);
241 
    t21 = *((unsigned int *)t3);
242 
    t18 = (t18 & t21);
243 
    t22 = *((unsigned int *)t20);
244 
    t19 = (t19 & t22);
245 
    t23 = (t17 + 4);
246 
    t24 = *((unsigned int *)t17);
247 
    *((unsigned int *)t17) = (t24 | t18);
248 
    t25 = *((unsigned int *)t23);
249 
    *((unsigned int *)t23) = (t25 | t19);
250 
    xsi_driver_vfirst_trans(t13, 0, 1);
251 
    t26 = (t0 + 15792);
252 
    *((int *)t26) = 1;
253 
 
254 
LAB1:    return;
255 
}
256 
 
257 
static void Cont_59_3(char *t0)
258 
{
259 
    char t3[8];
260 
    char *t1;
261 
    char *t2;
262 
    char *t4;
263 
    char *t5;
264 
    char *t6;
265 
    unsigned int t7;
266 
    unsigned int t8;
267 
    unsigned int t9;
268 
    unsigned int t10;
269 
    unsigned int t11;
270 
    unsigned int t12;
271 
    char *t13;
272 
    char *t14;
273 
    char *t15;
274 
    char *t16;
275 
    char *t17;
276 
    unsigned int t18;
277 
    unsigned int t19;
278 
    char *t20;
279 
    unsigned int t21;
280 
    unsigned int t22;
281 
    char *t23;
282 
    unsigned int t24;
283 
    unsigned int t25;
284 
    char *t26;
285 
 
286 
LAB0:    t1 = (t0 + 12712U);
287 
    t2 = *((char **)t1);
288 
    if (t2 == 0)
289 
        goto LAB2;
290 
 
291 
LAB3:    goto *t2;
292 
 
293 
LAB2:    xsi_set_current_line(59, ng0);
294 
    t2 = (t0 + 5368U);
295 
    t4 = *((char **)t2);
296 
    memset(t3, 0, 8);
297 
    t2 = (t3 + 4);
298 
    t5 = (t4 + 16);
299 
    t6 = (t4 + 20);
300 
    t7 = *((unsigned int *)t5);
301 
    t8 = (t7 >> 7);
302 
    *((unsigned int *)t3) = t8;
303 
    t9 = *((unsigned int *)t6);
304 
    t10 = (t9 >> 7);
305 
    *((unsigned int *)t2) = t10;
306 
    t11 = *((unsigned int *)t3);
307 
    *((unsigned int *)t3) = (t11 & 3U);
308 
    t12 = *((unsigned int *)t2);
309 
    *((unsigned int *)t2) = (t12 & 3U);
310 
    t13 = (t0 + 16240);
311 
    t14 = (t13 + 56U);
312 
    t15 = *((char **)t14);
313 
    t16 = (t15 + 56U);
314 
    t17 = *((char **)t16);
315 
    memset(t17, 0, 8);
316 
    t18 = 3U;
317 
    t19 = t18;
318 
    t20 = (t3 + 4);
319 
    t21 = *((unsigned int *)t3);
320 
    t18 = (t18 & t21);
321 
    t22 = *((unsigned int *)t20);
322 
    t19 = (t19 & t22);
323 
    t23 = (t17 + 4);
324 
    t24 = *((unsigned int *)t17);
325 
    *((unsigned int *)t17) = (t24 | t18);
326 
    t25 = *((unsigned int *)t23);
327 
    *((unsigned int *)t23) = (t25 | t19);
328 
    xsi_driver_vfirst_trans(t13, 0, 1);
329 
    t26 = (t0 + 15808);
330 
    *((int *)t26) = 1;
331 
 
332 
LAB1:    return;
333 
}
334 
 
335 
static void Cont_60_4(char *t0)
336 
{
337 
    char t3[8];
338 
    char *t1;
339 
    char *t2;
340 
    char *t4;
341 
    char *t5;
342 
    char *t6;
343 
    unsigned int t7;
344 
    unsigned int t8;
345 
    unsigned int t9;
346 
    unsigned int t10;
347 
    unsigned int t11;
348 
    unsigned int t12;
349 
    char *t13;
350 
    char *t14;
351 
    char *t15;
352 
    char *t16;
353 
    char *t17;
354 
    unsigned int t18;
355 
    unsigned int t19;
356 
    char *t20;
357 
    unsigned int t21;
358 
    unsigned int t22;
359 
    char *t23;
360 
    unsigned int t24;
361 
    unsigned int t25;
362 
    char *t26;
363 
 
364 
LAB0:    t1 = (t0 + 12960U);
365 
    t2 = *((char **)t1);
366 
    if (t2 == 0)
367 
        goto LAB2;
368 
 
369 
LAB3:    goto *t2;
370 
 
371 
LAB2:    xsi_set_current_line(60, ng0);
372 
    t2 = (t0 + 5048U);
373 
    t4 = *((char **)t2);
374 
    memset(t3, 0, 8);
375 
    t2 = (t3 + 4);
376 
    t5 = (t4 + 24);
377 
    t6 = (t4 + 28);
378 
    t7 = *((unsigned int *)t5);
379 
    t8 = (t7 >> 9);
380 
    *((unsigned int *)t3) = t8;
381 
    t9 = *((unsigned int *)t6);
382 
    t10 = (t9 >> 9);
383 
    *((unsigned int *)t2) = t10;
384 
    t11 = *((unsigned int *)t3);
385 
    *((unsigned int *)t3) = (t11 & 31U);
386 
    t12 = *((unsigned int *)t2);
387 
    *((unsigned int *)t2) = (t12 & 31U);
388 
    t13 = (t0 + 16304);
389 
    t14 = (t13 + 56U);
390 
    t15 = *((char **)t14);
391 
    t16 = (t15 + 56U);
392 
    t17 = *((char **)t16);
393 
    memset(t17, 0, 8);
394 
    t18 = 7U;
395 
    t19 = t18;
396 
    t20 = (t3 + 4);
397 
    t21 = *((unsigned int *)t3);
398 
    t18 = (t18 & t21);
399 
    t22 = *((unsigned int *)t20);
400 
    t19 = (t19 & t22);
401 
    t23 = (t17 + 4);
402 
    t24 = *((unsigned int *)t17);
403 
    *((unsigned int *)t17) = (t24 | t18);
404 
    t25 = *((unsigned int *)t23);
405 
    *((unsigned int *)t23) = (t25 | t19);
406 
    xsi_driver_vfirst_trans(t13, 0, 2);
407 
    t26 = (t0 + 15824);
408 
    *((int *)t26) = 1;
409 
 
410 
LAB1:    return;
411 
}
412 
 
413 
static void Cont_61_5(char *t0)
414 
{
415 
    char t3[8];
416 
    char *t1;
417 
    char *t2;
418 
    char *t4;
419 
    char *t5;
420 
    char *t6;
421 
    unsigned int t7;
422 
    unsigned int t8;
423 
    unsigned int t9;
424 
    unsigned int t10;
425 
    unsigned int t11;
426 
    unsigned int t12;
427 
    char *t13;
428 
    char *t14;
429 
    char *t15;
430 
    char *t16;
431 
    char *t17;
432 
    unsigned int t18;
433 
    unsigned int t19;
434 
    char *t20;
435 
    unsigned int t21;
436 
    unsigned int t22;
437 
    char *t23;
438 
    unsigned int t24;
439 
    unsigned int t25;
440 
    char *t26;
441 
 
442 
LAB0:    t1 = (t0 + 13208U);
443 
    t2 = *((char **)t1);
444 
    if (t2 == 0)
445 
        goto LAB2;
446 
 
447 
LAB3:    goto *t2;
448 
 
449 
LAB2:    xsi_set_current_line(61, ng0);
450 
    t2 = (t0 + 5368U);
451 
    t4 = *((char **)t2);
452 
    memset(t3, 0, 8);
453 
    t2 = (t3 + 4);
454 
    t5 = (t4 + 16);
455 
    t6 = (t4 + 20);
456 
    t7 = *((unsigned int *)t5);
457 
    t8 = (t7 >> 0);
458 
    *((unsigned int *)t3) = t8;
459 
    t9 = *((unsigned int *)t6);
460 
    t10 = (t9 >> 0);
461 
    *((unsigned int *)t2) = t10;
462 
    t11 = *((unsigned int *)t3);
463 
    *((unsigned int *)t3) = (t11 & 31U);
464 
    t12 = *((unsigned int *)t2);
465 
    *((unsigned int *)t2) = (t12 & 31U);
466 
    t13 = (t0 + 16368);
467 
    t14 = (t13 + 56U);
468 
    t15 = *((char **)t14);
469 
    t16 = (t15 + 56U);
470 
    t17 = *((char **)t16);
471 
    memset(t17, 0, 8);
472 
    t18 = 7U;
473 
    t19 = t18;
474 
    t20 = (t3 + 4);
475 
    t21 = *((unsigned int *)t3);
476 
    t18 = (t18 & t21);
477 
    t22 = *((unsigned int *)t20);
478 
    t19 = (t19 & t22);
479 
    t23 = (t17 + 4);
480 
    t24 = *((unsigned int *)t17);
481 
    *((unsigned int *)t17) = (t24 | t18);
482 
    t25 = *((unsigned int *)t23);
483 
    *((unsigned int *)t23) = (t25 | t19);
484 
    xsi_driver_vfirst_trans(t13, 0, 2);
485 
    t26 = (t0 + 15840);
486 
    *((int *)t26) = 1;
487 
 
488 
LAB1:    return;
489 
}
490 
 
491 
static void Cont_62_6(char *t0)
492 
{
493 
    char t3[8];
494 
    char *t1;
495 
    char *t2;
496 
    char *t4;
497 
    char *t5;
498 
    unsigned int t6;
499 
    unsigned int t7;
500 
    unsigned int t8;
501 
    unsigned int t9;
502 
    unsigned int t10;
503 
    unsigned int t11;
504 
    char *t12;
505 
    char *t13;
506 
    char *t14;
507 
    char *t15;
508 
    char *t16;
509 
    char *t17;
510 
 
511 
LAB0:    t1 = (t0 + 13456U);
512 
    t2 = *((char **)t1);
513 
    if (t2 == 0)
514 
        goto LAB2;
515 
 
516 
LAB3:    goto *t2;
517 
 
518 
LAB2:    xsi_set_current_line(62, ng0);
519 
    t2 = (t0 + 5368U);
520 
    t4 = *((char **)t2);
521 
    memset(t3, 0, 8);
522 
    t2 = (t3 + 4);
523 
    t5 = (t4 + 4);
524 
    t6 = *((unsigned int *)t4);
525 
    t7 = (t6 >> 0);
526 
    *((unsigned int *)t3) = t7;
527 
    t8 = *((unsigned int *)t5);
528 
    t9 = (t8 >> 0);
529 
    *((unsigned int *)t2) = t9;
530 
    t10 = *((unsigned int *)t3);
531 
    *((unsigned int *)t3) = (t10 & 4294967295U);
532 
    t11 = *((unsigned int *)t2);
533 
    *((unsigned int *)t2) = (t11 & 4294967295U);
534 
    t12 = (t0 + 16432);
535 
    t13 = (t12 + 56U);
536 
    t14 = *((char **)t13);
537 
    t15 = (t14 + 56U);
538 
    t16 = *((char **)t15);
539 
    memcpy(t16, t3, 8);
540 
    xsi_driver_vfirst_trans(t12, 0, 31);
541 
    t17 = (t0 + 15856);
542 
    *((int *)t17) = 1;
543 
 
544 
LAB1:    return;
545 
}
546 
 
547 
static void Cont_63_7(char *t0)
548 
{
549 
    char t3[8];
550 
    char *t1;
551 
    char *t2;
552 
    char *t4;
553 
    char *t5;
554 
    unsigned int t6;
555 
    unsigned int t7;
556 
    unsigned int t8;
557 
    unsigned int t9;
558 
    unsigned int t10;
559 
    unsigned int t11;
560 
    char *t12;
561 
    char *t13;
562 
    char *t14;
563 
    char *t15;
564 
    char *t16;
565 
    char *t17;
566 
 
567 
LAB0:    t1 = (t0 + 13704U);
568 
    t2 = *((char **)t1);
569 
    if (t2 == 0)
570 
        goto LAB2;
571 
 
572 
LAB3:    goto *t2;
573 
 
574 
LAB2:    xsi_set_current_line(63, ng0);
575 
    t2 = (t0 + 5688U);
576 
    t4 = *((char **)t2);
577 
    memset(t3, 0, 8);
578 
    t2 = (t3 + 4);
579 
    t5 = (t4 + 4);
580 
    t6 = *((unsigned int *)t4);
581 
    t7 = (t6 >> 0);
582 
    *((unsigned int *)t3) = t7;
583 
    t8 = *((unsigned int *)t5);
584 
    t9 = (t8 >> 0);
585 
    *((unsigned int *)t2) = t9;
586 
    t10 = *((unsigned int *)t3);
587 
    *((unsigned int *)t3) = (t10 & 4294967295U);
588 
    t11 = *((unsigned int *)t2);
589 
    *((unsigned int *)t2) = (t11 & 4294967295U);
590 
    t12 = (t0 + 16496);
591 
    t13 = (t12 + 56U);
592 
    t14 = *((char **)t13);
593 
    t15 = (t14 + 56U);
594 
    t16 = *((char **)t15);
595 
    memcpy(t16, t3, 8);
596 
    xsi_driver_vfirst_trans(t12, 0, 31);
597 
    t17 = (t0 + 15872);
598 
    *((int *)t17) = 1;
599 
 
600 
LAB1:    return;
601 
}
602 
 
603 
static void Cont_64_8(char *t0)
604 
{
605 
    char t3[8];
606 
    char t5[8];
607 
    char *t1;
608 
    char *t2;
609 
    char *t4;
610 
    char *t6;
611 
    char *t7;
612 
    unsigned int t8;
613 
    unsigned int t9;
614 
    unsigned int t10;
615 
    unsigned int t11;
616 
    unsigned int t12;
617 
    unsigned int t13;
618 
    unsigned int t14;
619 
    unsigned int t15;
620 
    unsigned int t16;
621 
    unsigned int t17;
622 
    unsigned int t18;
623 
    unsigned int t19;
624 
    char *t20;
625 
    char *t21;
626 
    unsigned int t22;
627 
    unsigned int t23;
628 
    unsigned int t24;
629 
    unsigned int t25;
630 
    unsigned int t26;
631 
    char *t27;
632 
    char *t28;
633 
    char *t29;
634 
    unsigned int t30;
635 
    unsigned int t31;
636 
    unsigned int t32;
637 
    unsigned int t33;
638 
    unsigned int t34;
639 
    unsigned int t35;
640 
    unsigned int t36;
641 
    unsigned int t37;
642 
    char *t38;
643 
    char *t39;
644 
    char *t40;
645 
    char *t41;
646 
    char *t42;
647 
    unsigned int t43;
648 
    unsigned int t44;
649 
    char *t45;
650 
    unsigned int t46;
651 
    unsigned int t47;
652 
    char *t48;
653 
    unsigned int t49;
654 
    unsigned int t50;
655 
    char *t51;
656 
 
657 
LAB0:    t1 = (t0 + 13952U);
658 
    t2 = *((char **)t1);
659 
    if (t2 == 0)
660 
        goto LAB2;
661 
 
662 
LAB3:    goto *t2;
663 
 
664 
LAB2:    xsi_set_current_line(64, ng0);
665 
    t2 = (t0 + 9848U);
666 
    t4 = *((char **)t2);
667 
    t2 = ((char*)((ng1)));
668 
    memset(t5, 0, 8);
669 
    t6 = (t4 + 4);
670 
    t7 = (t2 + 4);
671 
    t8 = *((unsigned int *)t4);
672 
    t9 = *((unsigned int *)t2);
673 
    t10 = (t8 ^ t9);
674 
    t11 = *((unsigned int *)t6);
675 
    t12 = *((unsigned int *)t7);
676 
    t13 = (t11 ^ t12);
677 
    t14 = (t10 | t13);
678 
    t15 = *((unsigned int *)t6);
679 
    t16 = *((unsigned int *)t7);
680 
    t17 = (t15 | t16);
681 
    t18 = (~(t17));
682 
    t19 = (t14 & t18);
683 
    if (t19 != 0)
684 
        goto LAB7;
685 
 
686 
LAB4:    if (t17 != 0)
687 
        goto LAB6;
688 
 
689 
LAB5:    *((unsigned int *)t5) = 1;
690 
 
691 
LAB7:    memset(t3, 0, 8);
692 
    t21 = (t5 + 4);
693 
    t22 = *((unsigned int *)t21);
694 
    t23 = (~(t22));
695 
    t24 = *((unsigned int *)t5);
696 
    t25 = (t24 & t23);
697 
    t26 = (t25 & 1U);
698 
    if (t26 != 0)
699 
        goto LAB11;
700 
 
701 
LAB9:    if (*((unsigned int *)t21) == 0)
702 
        goto LAB8;
703 
 
704 
LAB10:    t27 = (t3 + 4);
705 
    *((unsigned int *)t3) = 1;
706 
    *((unsigned int *)t27) = 1;
707 
 
708 
LAB11:    t28 = (t3 + 4);
709 
    t29 = (t5 + 4);
710 
    t30 = *((unsigned int *)t5);
711 
    t31 = (~(t30));
712 
    *((unsigned int *)t3) = t31;
713 
    *((unsigned int *)t28) = 0;
714 
    if (*((unsigned int *)t29) != 0)
715 
        goto LAB13;
716 
 
717 
LAB12:    t36 = *((unsigned int *)t3);
718 
    *((unsigned int *)t3) = (t36 & 1U);
719 
    t37 = *((unsigned int *)t28);
720 
    *((unsigned int *)t28) = (t37 & 1U);
721 
    t38 = (t0 + 16560);
722 
    t39 = (t38 + 56U);
723 
    t40 = *((char **)t39);
724 
    t41 = (t40 + 56U);
725 
    t42 = *((char **)t41);
726 
    memset(t42, 0, 8);
727 
    t43 = 1U;
728 
    t44 = t43;
729 
    t45 = (t3 + 4);
730 
    t46 = *((unsigned int *)t3);
731 
    t43 = (t43 & t46);
732 
    t47 = *((unsigned int *)t45);
733 
    t44 = (t44 & t47);
734 
    t48 = (t42 + 4);
735 
    t49 = *((unsigned int *)t42);
736 
    *((unsigned int *)t42) = (t49 | t43);
737 
    t50 = *((unsigned int *)t48);
738 
    *((unsigned int *)t48) = (t50 | t44);
739 
    xsi_driver_vfirst_trans(t38, 0, 0);
740 
    t51 = (t0 + 15888);
741 
    *((int *)t51) = 1;
742 
 
743 
LAB1:    return;
744 
LAB6:    t20 = (t5 + 4);
745 
    *((unsigned int *)t5) = 1;
746 
    *((unsigned int *)t20) = 1;
747 
    goto LAB7;
748 
 
749 
LAB8:    *((unsigned int *)t3) = 1;
750 
    goto LAB11;
751 
 
752 
LAB13:    t32 = *((unsigned int *)t3);
753 
    t33 = *((unsigned int *)t29);
754 
    *((unsigned int *)t3) = (t32 | t33);
755 
    t34 = *((unsigned int *)t28);
756 
    t35 = *((unsigned int *)t29);
757 
    *((unsigned int *)t28) = (t34 | t35);
758 
    goto LAB12;
759 
 
760 
}
761 
 
762 
static void Cont_65_9(char *t0)
763 
{
764 
    char t3[8];
765 
    char t5[8];
766 
    char *t1;
767 
    char *t2;
768 
    char *t4;
769 
    char *t6;
770 
    char *t7;
771 
    unsigned int t8;
772 
    unsigned int t9;
773 
    unsigned int t10;
774 
    unsigned int t11;
775 
    unsigned int t12;
776 
    unsigned int t13;
777 
    unsigned int t14;
778 
    unsigned int t15;
779 
    unsigned int t16;
780 
    unsigned int t17;
781 
    unsigned int t18;
782 
    unsigned int t19;
783 
    char *t20;
784 
    char *t21;
785 
    unsigned int t22;
786 
    unsigned int t23;
787 
    unsigned int t24;
788 
    unsigned int t25;
789 
    unsigned int t26;
790 
    char *t27;
791 
    char *t28;
792 
    char *t29;
793 
    unsigned int t30;
794 
    unsigned int t31;
795 
    unsigned int t32;
796 
    unsigned int t33;
797 
    unsigned int t34;
798 
    unsigned int t35;
799 
    unsigned int t36;
800 
    unsigned int t37;
801 
    char *t38;
802 
    char *t39;
803 
    char *t40;
804 
    char *t41;
805 
    char *t42;
806 
    unsigned int t43;
807 
    unsigned int t44;
808 
    char *t45;
809 
    unsigned int t46;
810 
    unsigned int t47;
811 
    char *t48;
812 
    unsigned int t49;
813 
    unsigned int t50;
814 
    char *t51;
815 
 
816 
LAB0:    t1 = (t0 + 14200U);
817 
    t2 = *((char **)t1);
818 
    if (t2 == 0)
819 
        goto LAB2;
820 
 
821 
LAB3:    goto *t2;
822 
 
823 
LAB2:    xsi_set_current_line(65, ng0);
824 
    t2 = (t0 + 10008U);
825 
    t4 = *((char **)t2);
826 
    t2 = ((char*)((ng1)));
827 
    memset(t5, 0, 8);
828 
    t6 = (t4 + 4);
829 
    t7 = (t2 + 4);
830 
    t8 = *((unsigned int *)t4);
831 
    t9 = *((unsigned int *)t2);
832 
    t10 = (t8 ^ t9);
833 
    t11 = *((unsigned int *)t6);
834 
    t12 = *((unsigned int *)t7);
835 
    t13 = (t11 ^ t12);
836 
    t14 = (t10 | t13);
837 
    t15 = *((unsigned int *)t6);
838 
    t16 = *((unsigned int *)t7);
839 
    t17 = (t15 | t16);
840 
    t18 = (~(t17));
841 
    t19 = (t14 & t18);
842 
    if (t19 != 0)
843 
        goto LAB7;
844 
 
845 
LAB4:    if (t17 != 0)
846 
        goto LAB6;
847 
 
848 
LAB5:    *((unsigned int *)t5) = 1;
849 
 
850 
LAB7:    memset(t3, 0, 8);
851 
    t21 = (t5 + 4);
852 
    t22 = *((unsigned int *)t21);
853 
    t23 = (~(t22));
854 
    t24 = *((unsigned int *)t5);
855 
    t25 = (t24 & t23);
856 
    t26 = (t25 & 1U);
857 
    if (t26 != 0)
858 
        goto LAB11;
859 
 
860 
LAB9:    if (*((unsigned int *)t21) == 0)
861 
        goto LAB8;
862 
 
863 
LAB10:    t27 = (t3 + 4);
864 
    *((unsigned int *)t3) = 1;
865 
    *((unsigned int *)t27) = 1;
866 
 
867 
LAB11:    t28 = (t3 + 4);
868 
    t29 = (t5 + 4);
869 
    t30 = *((unsigned int *)t5);
870 
    t31 = (~(t30));
871 
    *((unsigned int *)t3) = t31;
872 
    *((unsigned int *)t28) = 0;
873 
    if (*((unsigned int *)t29) != 0)
874 
        goto LAB13;
875 
 
876 
LAB12:    t36 = *((unsigned int *)t3);
877 
    *((unsigned int *)t3) = (t36 & 1U);
878 
    t37 = *((unsigned int *)t28);
879 
    *((unsigned int *)t28) = (t37 & 1U);
880 
    t38 = (t0 + 16624);
881 
    t39 = (t38 + 56U);
882 
    t40 = *((char **)t39);
883 
    t41 = (t40 + 56U);
884 
    t42 = *((char **)t41);
885 
    memset(t42, 0, 8);
886 
    t43 = 1U;
887 
    t44 = t43;
888 
    t45 = (t3 + 4);
889 
    t46 = *((unsigned int *)t3);
890 
    t43 = (t43 & t46);
891 
    t47 = *((unsigned int *)t45);
892 
    t44 = (t44 & t47);
893 
    t48 = (t42 + 4);
894 
    t49 = *((unsigned int *)t42);
895 
    *((unsigned int *)t42) = (t49 | t43);
896 
    t50 = *((unsigned int *)t48);
897 
    *((unsigned int *)t48) = (t50 | t44);
898 
    xsi_driver_vfirst_trans(t38, 0, 0);
899 
    t51 = (t0 + 15904);
900 
    *((int *)t51) = 1;
901 
 
902 
LAB1:    return;
903 
LAB6:    t20 = (t5 + 4);
904 
    *((unsigned int *)t5) = 1;
905 
    *((unsigned int *)t20) = 1;
906 
    goto LAB7;
907 
 
908 
LAB8:    *((unsigned int *)t3) = 1;
909 
    goto LAB11;
910 
 
911 
LAB13:    t32 = *((unsigned int *)t3);
912 
    t33 = *((unsigned int *)t29);
913 
    *((unsigned int *)t3) = (t32 | t33);
914 
    t34 = *((unsigned int *)t28);
915 
    t35 = *((unsigned int *)t29);
916 
    *((unsigned int *)t28) = (t34 | t35);
917 
    goto LAB12;
918 
 
919 
}
920 
 
921 
static void Cont_66_10(char *t0)
922 
{
923 
    char t4[8];
924 
    char *t1;
925 
    char *t2;
926 
    char *t3;
927 
    char *t5;
928 
    char *t6;
929 
    unsigned int t7;
930 
    unsigned int t8;
931 
    unsigned int t9;
932 
    unsigned int t10;
933 
    unsigned int t11;
934 
    unsigned int t12;
935 
    unsigned int t13;
936 
    unsigned int t14;
937 
    unsigned int t15;
938 
    unsigned int t16;
939 
    unsigned int t17;
940 
    unsigned int t18;
941 
    char *t19;
942 
    char *t20;
943 
    char *t21;
944 
    char *t22;
945 
    char *t23;
946 
    char *t24;
947 
    unsigned int t25;
948 
    unsigned int t26;
949 
    char *t27;
950 
    unsigned int t28;
951 
    unsigned int t29;
952 
    char *t30;
953 
    unsigned int t31;
954 
    unsigned int t32;
955 
    char *t33;
956 
 
957 
LAB0:    t1 = (t0 + 14448U);
958 
    t2 = *((char **)t1);
959 
    if (t2 == 0)
960 
        goto LAB2;
961 
 
962 
LAB3:    goto *t2;
963 
 
964 
LAB2:    xsi_set_current_line(66, ng0);
965 
    t2 = (t0 + 9848U);
966 
    t3 = *((char **)t2);
967 
    t2 = ((char*)((ng2)));
968 
    memset(t4, 0, 8);
969 
    t5 = (t3 + 4);
970 
    t6 = (t2 + 4);
971 
    t7 = *((unsigned int *)t3);
972 
    t8 = *((unsigned int *)t2);
973 
    t9 = (t7 ^ t8);
974 
    t10 = *((unsigned int *)t5);
975 
    t11 = *((unsigned int *)t6);
976 
    t12 = (t10 ^ t11);
977 
    t13 = (t9 | t12);
978 
    t14 = *((unsigned int *)t5);
979 
    t15 = *((unsigned int *)t6);
980 
    t16 = (t14 | t15);
981 
    t17 = (~(t16));
982 
    t18 = (t13 & t17);
983 
    if (t18 != 0)
984 
        goto LAB7;
985 
 
986 
LAB4:    if (t16 != 0)
987 
        goto LAB6;
988 
 
989 
LAB5:    *((unsigned int *)t4) = 1;
990 
 
991 
LAB7:    t20 = (t0 + 16688);
992 
    t21 = (t20 + 56U);
993 
    t22 = *((char **)t21);
994 
    t23 = (t22 + 56U);
995 
    t24 = *((char **)t23);
996 
    memset(t24, 0, 8);
997 
    t25 = 1U;
998 
    t26 = t25;
999 
    t27 = (t4 + 4);
1000 
    t28 = *((unsigned int *)t4);
1001 
    t25 = (t25 & t28);
1002 
    t29 = *((unsigned int *)t27);
1003 
    t26 = (t26 & t29);
1004 
    t30 = (t24 + 4);
1005 
    t31 = *((unsigned int *)t24);
1006 
    *((unsigned int *)t24) = (t31 | t25);
1007 
    t32 = *((unsigned int *)t30);
1008 
    *((unsigned int *)t30) = (t32 | t26);
1009 
    xsi_driver_vfirst_trans(t20, 0, 0);
1010 
    t33 = (t0 + 15920);
1011 
    *((int *)t33) = 1;
1012 
 
1013 
LAB1:    return;
1014 
LAB6:    t19 = (t4 + 4);
1015 
    *((unsigned int *)t4) = 1;
1016 
    *((unsigned int *)t19) = 1;
1017 
    goto LAB7;
1018 
 
1019 
}
1020 
 
1021 
static void Cont_67_11(char *t0)
1022 
{
1023 
    char t5[8];
1024 
    char t38[8];
1025 
    char *t1;
1026 
    char *t2;
1027 
    char *t3;
1028 
    char *t4;
1029 
    unsigned int t6;
1030 
    unsigned int t7;
1031 
    unsigned int t8;
1032 
    char *t9;
1033 
    char *t10;
1034 
    unsigned int t11;
1035 
    unsigned int t12;
1036 
    unsigned int t13;
1037 
    unsigned int t14;
1038 
    unsigned int t15;
1039 
    unsigned int t16;
1040 
    unsigned int t17;
1041 
    char *t18;
1042 
    char *t19;
1043 
    unsigned int t20;
1044 
    unsigned int t21;
1045 
    unsigned int t22;
1046 
    unsigned int t23;
1047 
    unsigned int t24;
1048 
    unsigned int t25;
1049 
    unsigned int t26;
1050 
    unsigned int t27;
1051 
    int t28;
1052 
    int t29;
1053 
    unsigned int t30;
1054 
    unsigned int t31;
1055 
    unsigned int t32;
1056 
    unsigned int t33;
1057 
    unsigned int t34;
1058 
    unsigned int t35;
1059 
    char *t36;
1060 
    char *t37;
1061 
    unsigned int t39;
1062 
    unsigned int t40;
1063 
    unsigned int t41;
1064 
    char *t42;
1065 
    char *t43;
1066 
    unsigned int t44;
1067 
    unsigned int t45;
1068 
    unsigned int t46;
1069 
    unsigned int t47;
1070 
    unsigned int t48;
1071 
    unsigned int t49;
1072 
    unsigned int t50;
1073 
    char *t51;
1074 
    char *t52;
1075 
    unsigned int t53;
1076 
    unsigned int t54;
1077 
    unsigned int t55;
1078 
    unsigned int t56;
1079 
    unsigned int t57;
1080 
    unsigned int t58;
1081 
    unsigned int t59;
1082 
    unsigned int t60;
1083 
    int t61;
1084 
    int t62;
1085 
    unsigned int t63;
1086 
    unsigned int t64;
1087 
    unsigned int t65;
1088 
    unsigned int t66;
1089 
    unsigned int t67;
1090 
    unsigned int t68;
1091 
    char *t69;
1092 
    char *t70;
1093 
    char *t71;
1094 
    char *t72;
1095 
    char *t73;
1096 
    unsigned int t74;
1097 
    unsigned int t75;
1098 
    char *t76;
1099 
    unsigned int t77;
1100 
    unsigned int t78;
1101 
    char *t79;
1102 
    unsigned int t80;
1103 
    unsigned int t81;
1104 
    char *t82;
1105 
 
1106 
LAB0:    t1 = (t0 + 14696U);
1107 
    t2 = *((char **)t1);
1108 
    if (t2 == 0)
1109 
        goto LAB2;
1110 
 
1111 
LAB3:    goto *t2;
1112 
 
1113 
LAB2:    xsi_set_current_line(67, ng0);
1114 
    t2 = (t0 + 7288U);
1115 
    t3 = *((char **)t2);
1116 
    t2 = (t0 + 8248U);
1117 
    t4 = *((char **)t2);
1118 
    t6 = *((unsigned int *)t3);
1119 
    t7 = *((unsigned int *)t4);
1120 
    t8 = (t6 & t7);
1121 
    *((unsigned int *)t5) = t8;
1122 
    t2 = (t3 + 4);
1123 
    t9 = (t4 + 4);
1124 
    t10 = (t5 + 4);
1125 
    t11 = *((unsigned int *)t2);
1126 
    t12 = *((unsigned int *)t9);
1127 
    t13 = (t11 | t12);
1128 
    *((unsigned int *)t10) = t13;
1129 
    t14 = *((unsigned int *)t10);
1130 
    t15 = (t14 != 0);
1131 
    if (t15 == 1)
1132 
        goto LAB4;
1133 
 
1134 
LAB5:
1135 
LAB6:    t36 = (t0 + 7768U);
1136 
    t37 = *((char **)t36);
1137 
    t39 = *((unsigned int *)t5);
1138 
    t40 = *((unsigned int *)t37);
1139 
    t41 = (t39 & t40);
1140 
    *((unsigned int *)t38) = t41;
1141 
    t36 = (t5 + 4);
1142 
    t42 = (t37 + 4);
1143 
    t43 = (t38 + 4);
1144 
    t44 = *((unsigned int *)t36);
1145 
    t45 = *((unsigned int *)t42);
1146 
    t46 = (t44 | t45);
1147 
    *((unsigned int *)t43) = t46;
1148 
    t47 = *((unsigned int *)t43);
1149 
    t48 = (t47 != 0);
1150 
    if (t48 == 1)
1151 
        goto LAB7;
1152 
 
1153 
LAB8:
1154 
LAB9:    t69 = (t0 + 16752);
1155 
    t70 = (t69 + 56U);
1156 
    t71 = *((char **)t70);
1157 
    t72 = (t71 + 56U);
1158 
    t73 = *((char **)t72);
1159 
    memset(t73, 0, 8);
1160 
    t74 = 1U;
1161 
    t75 = t74;
1162 
    t76 = (t38 + 4);
1163 
    t77 = *((unsigned int *)t38);
1164 
    t74 = (t74 & t77);
1165 
    t78 = *((unsigned int *)t76);
1166 
    t75 = (t75 & t78);
1167 
    t79 = (t73 + 4);
1168 
    t80 = *((unsigned int *)t73);
1169 
    *((unsigned int *)t73) = (t80 | t74);
1170 
    t81 = *((unsigned int *)t79);
1171 
    *((unsigned int *)t79) = (t81 | t75);
1172 
    xsi_driver_vfirst_trans(t69, 0, 0);
1173 
    t82 = (t0 + 15936);
1174 
    *((int *)t82) = 1;
1175 
 
1176 
LAB1:    return;
1177 
LAB4:    t16 = *((unsigned int *)t5);
1178 
    t17 = *((unsigned int *)t10);
1179 
    *((unsigned int *)t5) = (t16 | t17);
1180 
    t18 = (t3 + 4);
1181 
    t19 = (t4 + 4);
1182 
    t20 = *((unsigned int *)t3);
1183 
    t21 = (~(t20));
1184 
    t22 = *((unsigned int *)t18);
1185 
    t23 = (~(t22));
1186 
    t24 = *((unsigned int *)t4);
1187 
    t25 = (~(t24));
1188 
    t26 = *((unsigned int *)t19);
1189 
    t27 = (~(t26));
1190 
    t28 = (t21 & t23);
1191 
    t29 = (t25 & t27);
1192 
    t30 = (~(t28));
1193 
    t31 = (~(t29));
1194 
    t32 = *((unsigned int *)t10);
1195 
    *((unsigned int *)t10) = (t32 & t30);
1196 
    t33 = *((unsigned int *)t10);
1197 
    *((unsigned int *)t10) = (t33 & t31);
1198 
    t34 = *((unsigned int *)t5);
1199 
    *((unsigned int *)t5) = (t34 & t30);
1200 
    t35 = *((unsigned int *)t5);
1201 
    *((unsigned int *)t5) = (t35 & t31);
1202 
    goto LAB6;
1203 
 
1204 
LAB7:    t49 = *((unsigned int *)t38);
1205 
    t50 = *((unsigned int *)t43);
1206 
    *((unsigned int *)t38) = (t49 | t50);
1207 
    t51 = (t5 + 4);
1208 
    t52 = (t37 + 4);
1209 
    t53 = *((unsigned int *)t5);
1210 
    t54 = (~(t53));
1211 
    t55 = *((unsigned int *)t51);
1212 
    t56 = (~(t55));
1213 
    t57 = *((unsigned int *)t37);
1214 
    t58 = (~(t57));
1215 
    t59 = *((unsigned int *)t52);
1216 
    t60 = (~(t59));
1217 
    t61 = (t54 & t56);
1218 
    t62 = (t58 & t60);
1219 
    t63 = (~(t61));
1220 
    t64 = (~(t62));
1221 
    t65 = *((unsigned int *)t43);
1222 
    *((unsigned int *)t43) = (t65 & t63);
1223 
    t66 = *((unsigned int *)t43);
1224 
    *((unsigned int *)t43) = (t66 & t64);
1225 
    t67 = *((unsigned int *)t38);
1226 
    *((unsigned int *)t38) = (t67 & t63);
1227 
    t68 = *((unsigned int *)t38);
1228 
    *((unsigned int *)t38) = (t68 & t64);
1229 
    goto LAB9;
1230 
 
1231 
}
1232 
 
1233 
static void Cont_68_12(char *t0)
1234 
{
1235 
    char t5[8];
1236 
    char t38[8];
1237 
    char *t1;
1238 
    char *t2;
1239 
    char *t3;
1240 
    char *t4;
1241 
    unsigned int t6;
1242 
    unsigned int t7;
1243 
    unsigned int t8;
1244 
    char *t9;
1245 
    char *t10;
1246 
    unsigned int t11;
1247 
    unsigned int t12;
1248 
    unsigned int t13;
1249 
    unsigned int t14;
1250 
    unsigned int t15;
1251 
    unsigned int t16;
1252 
    unsigned int t17;
1253 
    char *t18;
1254 
    char *t19;
1255 
    unsigned int t20;
1256 
    unsigned int t21;
1257 
    unsigned int t22;
1258 
    unsigned int t23;
1259 
    unsigned int t24;
1260 
    unsigned int t25;
1261 
    unsigned int t26;
1262 
    unsigned int t27;
1263 
    int t28;
1264 
    int t29;
1265 
    unsigned int t30;
1266 
    unsigned int t31;
1267 
    unsigned int t32;
1268 
    unsigned int t33;
1269 
    unsigned int t34;
1270 
    unsigned int t35;
1271 
    char *t36;
1272 
    char *t37;
1273 
    unsigned int t39;
1274 
    unsigned int t40;
1275 
    unsigned int t41;
1276 
    char *t42;
1277 
    char *t43;
1278 
    unsigned int t44;
1279 
    unsigned int t45;
1280 
    unsigned int t46;
1281 
    unsigned int t47;
1282 
    unsigned int t48;
1283 
    unsigned int t49;
1284 
    unsigned int t50;
1285 
    char *t51;
1286 
    char *t52;
1287 
    unsigned int t53;
1288 
    unsigned int t54;
1289 
    unsigned int t55;
1290 
    unsigned int t56;
1291 
    unsigned int t57;
1292 
    unsigned int t58;
1293 
    unsigned int t59;
1294 
    unsigned int t60;
1295 
    int t61;
1296 
    int t62;
1297 
    unsigned int t63;
1298 
    unsigned int t64;
1299 
    unsigned int t65;
1300 
    unsigned int t66;
1301 
    unsigned int t67;
1302 
    unsigned int t68;
1303 
    char *t69;
1304 
    char *t70;
1305 
    char *t71;
1306 
    char *t72;
1307 
    char *t73;
1308 
    unsigned int t74;
1309 
    unsigned int t75;
1310 
    char *t76;
1311 
    unsigned int t77;
1312 
    unsigned int t78;
1313 
    char *t79;
1314 
    unsigned int t80;
1315 
    unsigned int t81;
1316 
    char *t82;
1317 
 
1318 
LAB0:    t1 = (t0 + 14944U);
1319 
    t2 = *((char **)t1);
1320 
    if (t2 == 0)
1321 
        goto LAB2;
1322 
 
1323 
LAB3:    goto *t2;
1324 
 
1325 
LAB2:    xsi_set_current_line(68, ng0);
1326 
    t2 = (t0 + 7128U);
1327 
    t3 = *((char **)t2);
1328 
    t2 = (t0 + 8248U);
1329 
    t4 = *((char **)t2);
1330 
    t6 = *((unsigned int *)t3);
1331 
    t7 = *((unsigned int *)t4);
1332 
    t8 = (t6 & t7);
1333 
    *((unsigned int *)t5) = t8;
1334 
    t2 = (t3 + 4);
1335 
    t9 = (t4 + 4);
1336 
    t10 = (t5 + 4);
1337 
    t11 = *((unsigned int *)t2);
1338 
    t12 = *((unsigned int *)t9);
1339 
    t13 = (t11 | t12);
1340 
    *((unsigned int *)t10) = t13;
1341 
    t14 = *((unsigned int *)t10);
1342 
    t15 = (t14 != 0);
1343 
    if (t15 == 1)
1344 
        goto LAB4;
1345 
 
1346 
LAB5:
1347 
LAB6:    t36 = (t0 + 7928U);
1348 
    t37 = *((char **)t36);
1349 
    t39 = *((unsigned int *)t5);
1350 
    t40 = *((unsigned int *)t37);
1351 
    t41 = (t39 & t40);
1352 
    *((unsigned int *)t38) = t41;
1353 
    t36 = (t5 + 4);
1354 
    t42 = (t37 + 4);
1355 
    t43 = (t38 + 4);
1356 
    t44 = *((unsigned int *)t36);
1357 
    t45 = *((unsigned int *)t42);
1358 
    t46 = (t44 | t45);
1359 
    *((unsigned int *)t43) = t46;
1360 
    t47 = *((unsigned int *)t43);
1361 
    t48 = (t47 != 0);
1362 
    if (t48 == 1)
1363 
        goto LAB7;
1364 
 
1365 
LAB8:
1366 
LAB9:    t69 = (t0 + 16816);
1367 
    t70 = (t69 + 56U);
1368 
    t71 = *((char **)t70);
1369 
    t72 = (t71 + 56U);
1370 
    t73 = *((char **)t72);
1371 
    memset(t73, 0, 8);
1372 
    t74 = 1U;
1373 
    t75 = t74;
1374 
    t76 = (t38 + 4);
1375 
    t77 = *((unsigned int *)t38);
1376 
    t74 = (t74 & t77);
1377 
    t78 = *((unsigned int *)t76);
1378 
    t75 = (t75 & t78);
1379 
    t79 = (t73 + 4);
1380 
    t80 = *((unsigned int *)t73);
1381 
    *((unsigned int *)t73) = (t80 | t74);
1382 
    t81 = *((unsigned int *)t79);
1383 
    *((unsigned int *)t79) = (t81 | t75);
1384 
    xsi_driver_vfirst_trans(t69, 0, 0);
1385 
    t82 = (t0 + 15952);
1386 
    *((int *)t82) = 1;
1387 
 
1388 
LAB1:    return;
1389 
LAB4:    t16 = *((unsigned int *)t5);
1390 
    t17 = *((unsigned int *)t10);
1391 
    *((unsigned int *)t5) = (t16 | t17);
1392 
    t18 = (t3 + 4);
1393 
    t19 = (t4 + 4);
1394 
    t20 = *((unsigned int *)t3);
1395 
    t21 = (~(t20));
1396 
    t22 = *((unsigned int *)t18);
1397 
    t23 = (~(t22));
1398 
    t24 = *((unsigned int *)t4);
1399 
    t25 = (~(t24));
1400 
    t26 = *((unsigned int *)t19);
1401 
    t27 = (~(t26));
1402 
    t28 = (t21 & t23);
1403 
    t29 = (t25 & t27);
1404 
    t30 = (~(t28));
1405 
    t31 = (~(t29));
1406 
    t32 = *((unsigned int *)t10);
1407 
    *((unsigned int *)t10) = (t32 & t30);
1408 
    t33 = *((unsigned int *)t10);
1409 
    *((unsigned int *)t10) = (t33 & t31);
1410 
    t34 = *((unsigned int *)t5);
1411 
    *((unsigned int *)t5) = (t34 & t30);
1412 
    t35 = *((unsigned int *)t5);
1413 
    *((unsigned int *)t5) = (t35 & t31);
1414 
    goto LAB6;
1415 
 
1416 
LAB7:    t49 = *((unsigned int *)t38);
1417 
    t50 = *((unsigned int *)t43);
1418 
    *((unsigned int *)t38) = (t49 | t50);
1419 
    t51 = (t5 + 4);
1420 
    t52 = (t37 + 4);
1421 
    t53 = *((unsigned int *)t5);
1422 
    t54 = (~(t53));
1423 
    t55 = *((unsigned int *)t51);
1424 
    t56 = (~(t55));
1425 
    t57 = *((unsigned int *)t37);
1426 
    t58 = (~(t57));
1427 
    t59 = *((unsigned int *)t52);
1428 
    t60 = (~(t59));
1429 
    t61 = (t54 & t56);
1430 
    t62 = (t58 & t60);
1431 
    t63 = (~(t61));
1432 
    t64 = (~(t62));
1433 
    t65 = *((unsigned int *)t43);
1434 
    *((unsigned int *)t43) = (t65 & t63);
1435 
    t66 = *((unsigned int *)t43);
1436 
    *((unsigned int *)t43) = (t66 & t64);
1437 
    t67 = *((unsigned int *)t38);
1438 
    *((unsigned int *)t38) = (t67 & t63);
1439 
    t68 = *((unsigned int *)t38);
1440 
    *((unsigned int *)t38) = (t68 & t64);
1441 
    goto LAB9;
1442 
 
1443 
}
1444 
 
1445 
static void implSig1_execute(char *t0)
1446 
{
1447 
    char t5[8];
1448 
    char *t1;
1449 
    char *t2;
1450 
    char *t3;
1451 
    char *t4;
1452 
    unsigned int t6;
1453 
    unsigned int t7;
1454 
    unsigned int t8;
1455 
    char *t9;
1456 
    char *t10;
1457 
    unsigned int t11;
1458 
    unsigned int t12;
1459 
    unsigned int t13;
1460 
    unsigned int t14;
1461 
    unsigned int t15;
1462 
    unsigned int t16;
1463 
    unsigned int t17;
1464 
    char *t18;
1465 
    char *t19;
1466 
    unsigned int t20;
1467 
    unsigned int t21;
1468 
    unsigned int t22;
1469 
    int t23;
1470 
    unsigned int t24;
1471 
    unsigned int t25;
1472 
    unsigned int t26;
1473 
    int t27;
1474 
    unsigned int t28;
1475 
    unsigned int t29;
1476 
    unsigned int t30;
1477 
    unsigned int t31;
1478 
    char *t32;
1479 
    char *t33;
1480 
    char *t34;
1481 
    char *t35;
1482 
    char *t36;
1483 
    unsigned int t37;
1484 
    unsigned int t38;
1485 
    char *t39;
1486 
    unsigned int t40;
1487 
    unsigned int t41;
1488 
    char *t42;
1489 
    unsigned int t43;
1490 
    unsigned int t44;
1491 
    char *t45;
1492 
 
1493 
LAB0:    t1 = (t0 + 15192U);
1494 
    t2 = *((char **)t1);
1495 
    if (t2 == 0)
1496 
        goto LAB2;
1497 
 
1498 
LAB3:    goto *t2;
1499 
 
1500 
LAB2:    t2 = (t0 + 3448U);
1501 
    t3 = *((char **)t2);
1502 
    t2 = (t0 + 2488U);
1503 
    t4 = *((char **)t2);
1504 
    t6 = *((unsigned int *)t3);
1505 
    t7 = *((unsigned int *)t4);
1506 
    t8 = (t6 | t7);
1507 
    *((unsigned int *)t5) = t8;
1508 
    t2 = (t3 + 4);
1509 
    t9 = (t4 + 4);
1510 
    t10 = (t5 + 4);
1511 
    t11 = *((unsigned int *)t2);
1512 
    t12 = *((unsigned int *)t9);
1513 
    t13 = (t11 | t12);
1514 
    *((unsigned int *)t10) = t13;
1515 
    t14 = *((unsigned int *)t10);
1516 
    t15 = (t14 != 0);
1517 
    if (t15 == 1)
1518 
        goto LAB4;
1519 
 
1520 
LAB5:
1521 
LAB6:    t32 = (t0 + 16880);
1522 
    t33 = (t32 + 56U);
1523 
    t34 = *((char **)t33);
1524 
    t35 = (t34 + 56U);
1525 
    t36 = *((char **)t35);
1526 
    memset(t36, 0, 8);
1527 
    t37 = 1U;
1528 
    t38 = t37;
1529 
    t39 = (t5 + 4);
1530 
    t40 = *((unsigned int *)t5);
1531 
    t37 = (t37 & t40);
1532 
    t41 = *((unsigned int *)t39);
1533 
    t38 = (t38 & t41);
1534 
    t42 = (t36 + 4);
1535 
    t43 = *((unsigned int *)t36);
1536 
    *((unsigned int *)t36) = (t43 | t37);
1537 
    t44 = *((unsigned int *)t42);
1538 
    *((unsigned int *)t42) = (t44 | t38);
1539 
    xsi_driver_vfirst_trans(t32, 0, 0);
1540 
    t45 = (t0 + 15968);
1541 
    *((int *)t45) = 1;
1542 
 
1543 
LAB1:    return;
1544 
LAB4:    t16 = *((unsigned int *)t5);
1545 
    t17 = *((unsigned int *)t10);
1546 
    *((unsigned int *)t5) = (t16 | t17);
1547 
    t18 = (t3 + 4);
1548 
    t19 = (t4 + 4);
1549 
    t20 = *((unsigned int *)t18);
1550 
    t21 = (~(t20));
1551 
    t22 = *((unsigned int *)t3);
1552 
    t23 = (t22 & t21);
1553 
    t24 = *((unsigned int *)t19);
1554 
    t25 = (~(t24));
1555 
    t26 = *((unsigned int *)t4);
1556 
    t27 = (t26 & t25);
1557 
    t28 = (~(t23));
1558 
    t29 = (~(t27));
1559 
    t30 = *((unsigned int *)t10);
1560 
    *((unsigned int *)t10) = (t30 & t28);
1561 
    t31 = *((unsigned int *)t10);
1562 
    *((unsigned int *)t10) = (t31 & t29);
1563 
    goto LAB6;
1564 
 
1565 
}
1566 
 
1567 
static void implSig2_execute(char *t0)
1568 
{
1569 
    char *t1;
1570 
    char *t2;
1571 
    char *t3;
1572 
    char *t4;
1573 
    char *t5;
1574 
    char *t6;
1575 
    char *t7;
1576 
 
1577 
LAB0:    t1 = (t0 + 15440U);
1578 
    t2 = *((char **)t1);
1579 
    if (t2 == 0)
1580 
        goto LAB2;
1581 
 
1582 
LAB3:    goto *t2;
1583 
 
1584 
LAB2:    t2 = ((char*)((ng3)));
1585 
    t3 = (t0 + 16944);
1586 
    t4 = (t3 + 56U);
1587 
    t5 = *((char **)t4);
1588 
    t6 = (t5 + 56U);
1589 
    t7 = *((char **)t6);
1590 
    memcpy(t7, t2, 8);
1591 
    xsi_driver_vfirst_trans(t3, 0, 31);
1592 
 
1593 
LAB1:    return;
1594 
}
1595 
 
1596 
 
1597 
extern void work_m_00000000004105140779_2442001628_init()
1598 
{
1599 
        static char *pe[] = {(void *)Cont_56_0,(void *)Cont_57_1,(void *)Cont_58_2,(void *)Cont_59_3,(void *)Cont_60_4,(void *)Cont_61_5,(void *)Cont_62_6,(void *)Cont_63_7,(void *)Cont_64_8,(void *)Cont_65_9,(void *)Cont_66_10,(void *)Cont_67_11,(void *)Cont_68_12,(void *)implSig1_execute,(void *)implSig2_execute};
1600 
        xsi_register_didat("work_m_00000000004105140779_2442001628", "isim/tb_Test_Bed_isim_beh.exe.sim/work/m_00000000004105140779_2442001628.didat");
1601 
        xsi_register_executes(pe);
1602 
}

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.