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_00000000003881887383_1832149579.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/ID_Stage.v";
25
static int ng1[] = {0, 0};
26
static unsigned int ng2[] = {3U, 0U};
27
static unsigned int ng3[] = {7U, 0U};
28
static unsigned int ng4[] = {4U, 0U};
29
 
30
 
31
 
32
static void Cont_25_0(char *t0)
33
{
34
    char t3[8];
35
    char *t1;
36
    char *t2;
37
    char *t4;
38
    char *t5;
39
    unsigned int t6;
40
    unsigned int t7;
41
    unsigned int t8;
42
    unsigned int t9;
43
    unsigned int t10;
44
    unsigned int t11;
45
    char *t12;
46
    char *t13;
47
    char *t14;
48
    char *t15;
49
    char *t16;
50
    unsigned int t17;
51
    unsigned int t18;
52
    char *t19;
53
    unsigned int t20;
54
    unsigned int t21;
55
    char *t22;
56
    unsigned int t23;
57
    unsigned int t24;
58
    char *t25;
59
 
60
LAB0:    t1 = (t0 + 7488U);
61
    t2 = *((char **)t1);
62
    if (t2 == 0)
63
        goto LAB2;
64
 
65
LAB3:    goto *t2;
66
 
67
LAB2:    xsi_set_current_line(25, ng0);
68
    t2 = (t0 + 1048U);
69
    t4 = *((char **)t2);
70
    memset(t3, 0, 8);
71
    t2 = (t3 + 4);
72
    t5 = (t4 + 4);
73
    t6 = *((unsigned int *)t4);
74
    t7 = (t6 >> 11);
75
    *((unsigned int *)t3) = t7;
76
    t8 = *((unsigned int *)t5);
77
    t9 = (t8 >> 11);
78
    *((unsigned int *)t2) = t9;
79
    t10 = *((unsigned int *)t3);
80
    *((unsigned int *)t3) = (t10 & 31U);
81
    t11 = *((unsigned int *)t2);
82
    *((unsigned int *)t2) = (t11 & 31U);
83
    t12 = (t0 + 13696);
84
    t13 = (t12 + 56U);
85
    t14 = *((char **)t13);
86
    t15 = (t14 + 56U);
87
    t16 = *((char **)t15);
88
    memset(t16, 0, 8);
89
    t17 = 31U;
90
    t18 = t17;
91
    t19 = (t3 + 4);
92
    t20 = *((unsigned int *)t3);
93
    t17 = (t17 & t20);
94
    t21 = *((unsigned int *)t19);
95
    t18 = (t18 & t21);
96
    t22 = (t16 + 4);
97
    t23 = *((unsigned int *)t16);
98
    *((unsigned int *)t16) = (t23 | t17);
99
    t24 = *((unsigned int *)t22);
100
    *((unsigned int *)t22) = (t24 | t18);
101
    xsi_driver_vfirst_trans(t12, 0, 4);
102
    t25 = (t0 + 13264);
103
    *((int *)t25) = 1;
104
 
105
LAB1:    return;
106
}
107
 
108
static void Cont_37_1(char *t0)
109
{
110
    char t3[8];
111
    char *t1;
112
    char *t2;
113
    char *t4;
114
    char *t5;
115
    unsigned int t6;
116
    unsigned int t7;
117
    unsigned int t8;
118
    unsigned int t9;
119
    unsigned int t10;
120
    unsigned int t11;
121
    char *t12;
122
    char *t13;
123
    char *t14;
124
    char *t15;
125
    char *t16;
126
    unsigned int t17;
127
    unsigned int t18;
128
    char *t19;
129
    unsigned int t20;
130
    unsigned int t21;
131
    char *t22;
132
    unsigned int t23;
133
    unsigned int t24;
134
    char *t25;
135
 
136
LAB0:    t1 = (t0 + 7736U);
137
    t2 = *((char **)t1);
138
    if (t2 == 0)
139
        goto LAB2;
140
 
141
LAB3:    goto *t2;
142
 
143
LAB2:    xsi_set_current_line(37, ng0);
144
    t2 = (t0 + 3608U);
145
    t4 = *((char **)t2);
146
    memset(t3, 0, 8);
147
    t2 = (t3 + 4);
148
    t5 = (t4 + 4);
149
    t6 = *((unsigned int *)t4);
150
    t7 = (t6 >> 11);
151
    *((unsigned int *)t3) = t7;
152
    t8 = *((unsigned int *)t5);
153
    t9 = (t8 >> 11);
154
    *((unsigned int *)t2) = t9;
155
    t10 = *((unsigned int *)t3);
156
    *((unsigned int *)t3) = (t10 & 3U);
157
    t11 = *((unsigned int *)t2);
158
    *((unsigned int *)t2) = (t11 & 3U);
159
    t12 = (t0 + 13760);
160
    t13 = (t12 + 56U);
161
    t14 = *((char **)t13);
162
    t15 = (t14 + 56U);
163
    t16 = *((char **)t15);
164
    memset(t16, 0, 8);
165
    t17 = 3U;
166
    t18 = t17;
167
    t19 = (t3 + 4);
168
    t20 = *((unsigned int *)t3);
169
    t17 = (t17 & t20);
170
    t21 = *((unsigned int *)t19);
171
    t18 = (t18 & t21);
172
    t22 = (t16 + 4);
173
    t23 = *((unsigned int *)t16);
174
    *((unsigned int *)t16) = (t23 | t17);
175
    t24 = *((unsigned int *)t22);
176
    *((unsigned int *)t22) = (t24 | t18);
177
    xsi_driver_vfirst_trans(t12, 0, 1);
178
    t25 = (t0 + 13280);
179
    *((int *)t25) = 1;
180
 
181
LAB1:    return;
182
}
183
 
184
static void Cont_38_2(char *t0)
185
{
186
    char t3[8];
187
    char *t1;
188
    char *t2;
189
    char *t4;
190
    char *t5;
191
    unsigned int t6;
192
    unsigned int t7;
193
    unsigned int t8;
194
    unsigned int t9;
195
    unsigned int t10;
196
    unsigned int t11;
197
    char *t12;
198
    char *t13;
199
    char *t14;
200
    char *t15;
201
    char *t16;
202
    unsigned int t17;
203
    unsigned int t18;
204
    char *t19;
205
    unsigned int t20;
206
    unsigned int t21;
207
    char *t22;
208
    unsigned int t23;
209
    unsigned int t24;
210
    char *t25;
211
 
212
LAB0:    t1 = (t0 + 7984U);
213
    t2 = *((char **)t1);
214
    if (t2 == 0)
215
        goto LAB2;
216
 
217
LAB3:    goto *t2;
218
 
219
LAB2:    xsi_set_current_line(38, ng0);
220
    t2 = (t0 + 3608U);
221
    t4 = *((char **)t2);
222
    memset(t3, 0, 8);
223
    t2 = (t3 + 4);
224
    t5 = (t4 + 4);
225
    t6 = *((unsigned int *)t4);
226
    t7 = (t6 >> 9);
227
    *((unsigned int *)t3) = t7;
228
    t8 = *((unsigned int *)t5);
229
    t9 = (t8 >> 9);
230
    *((unsigned int *)t2) = t9;
231
    t10 = *((unsigned int *)t3);
232
    *((unsigned int *)t3) = (t10 & 3U);
233
    t11 = *((unsigned int *)t2);
234
    *((unsigned int *)t2) = (t11 & 3U);
235
    t12 = (t0 + 13824);
236
    t13 = (t12 + 56U);
237
    t14 = *((char **)t13);
238
    t15 = (t14 + 56U);
239
    t16 = *((char **)t15);
240
    memset(t16, 0, 8);
241
    t17 = 3U;
242
    t18 = t17;
243
    t19 = (t3 + 4);
244
    t20 = *((unsigned int *)t3);
245
    t17 = (t17 & t20);
246
    t21 = *((unsigned int *)t19);
247
    t18 = (t18 & t21);
248
    t22 = (t16 + 4);
249
    t23 = *((unsigned int *)t16);
250
    *((unsigned int *)t16) = (t23 | t17);
251
    t24 = *((unsigned int *)t22);
252
    *((unsigned int *)t22) = (t24 | t18);
253
    xsi_driver_vfirst_trans(t12, 0, 1);
254
    t25 = (t0 + 13296);
255
    *((int *)t25) = 1;
256
 
257
LAB1:    return;
258
}
259
 
260
static void Cont_39_3(char *t0)
261
{
262
    char t3[8];
263
    char *t1;
264
    char *t2;
265
    char *t4;
266
    char *t5;
267
    unsigned int t6;
268
    unsigned int t7;
269
    unsigned int t8;
270
    unsigned int t9;
271
    unsigned int t10;
272
    unsigned int t11;
273
    char *t12;
274
    char *t13;
275
    char *t14;
276
    char *t15;
277
    char *t16;
278
    unsigned int t17;
279
    unsigned int t18;
280
    char *t19;
281
    unsigned int t20;
282
    unsigned int t21;
283
    char *t22;
284
    unsigned int t23;
285
    unsigned int t24;
286
    char *t25;
287
 
288
LAB0:    t1 = (t0 + 8232U);
289
    t2 = *((char **)t1);
290
    if (t2 == 0)
291
        goto LAB2;
292
 
293
LAB3:    goto *t2;
294
 
295
LAB2:    xsi_set_current_line(39, ng0);
296
    t2 = (t0 + 3608U);
297
    t4 = *((char **)t2);
298
    memset(t3, 0, 8);
299
    t2 = (t3 + 4);
300
    t5 = (t4 + 4);
301
    t6 = *((unsigned int *)t4);
302
    t7 = (t6 >> 5);
303
    *((unsigned int *)t3) = t7;
304
    t8 = *((unsigned int *)t5);
305
    t9 = (t8 >> 5);
306
    *((unsigned int *)t2) = t9;
307
    t10 = *((unsigned int *)t3);
308
    *((unsigned int *)t3) = (t10 & 15U);
309
    t11 = *((unsigned int *)t2);
310
    *((unsigned int *)t2) = (t11 & 15U);
311
    t12 = (t0 + 13888);
312
    t13 = (t12 + 56U);
313
    t14 = *((char **)t13);
314
    t15 = (t14 + 56U);
315
    t16 = *((char **)t15);
316
    memset(t16, 0, 8);
317
    t17 = 15U;
318
    t18 = t17;
319
    t19 = (t3 + 4);
320
    t20 = *((unsigned int *)t3);
321
    t17 = (t17 & t20);
322
    t21 = *((unsigned int *)t19);
323
    t18 = (t18 & t21);
324
    t22 = (t16 + 4);
325
    t23 = *((unsigned int *)t16);
326
    *((unsigned int *)t16) = (t23 | t17);
327
    t24 = *((unsigned int *)t22);
328
    *((unsigned int *)t22) = (t24 | t18);
329
    xsi_driver_vfirst_trans(t12, 0, 3);
330
    t25 = (t0 + 13312);
331
    *((int *)t25) = 1;
332
 
333
LAB1:    return;
334
}
335
 
336
static void Cont_40_4(char *t0)
337
{
338
    char t4[8];
339
    char *t1;
340
    char *t2;
341
    char *t3;
342
    char *t5;
343
    unsigned int t6;
344
    unsigned int t7;
345
    unsigned int t8;
346
    unsigned int t9;
347
    unsigned int t10;
348
    unsigned int t11;
349
    char *t12;
350
    char *t13;
351
    char *t14;
352
    char *t15;
353
    char *t16;
354
    unsigned int t17;
355
    unsigned int t18;
356
    char *t19;
357
    unsigned int t20;
358
    unsigned int t21;
359
    char *t22;
360
    unsigned int t23;
361
    unsigned int t24;
362
    char *t25;
363
 
364
LAB0:    t1 = (t0 + 8480U);
365
    t2 = *((char **)t1);
366
    if (t2 == 0)
367
        goto LAB2;
368
 
369
LAB3:    goto *t2;
370
 
371
LAB2:    xsi_set_current_line(40, ng0);
372
    t2 = (t0 + 3608U);
373
    t3 = *((char **)t2);
374
    memset(t4, 0, 8);
375
    t2 = (t4 + 4);
376
    t5 = (t3 + 4);
377
    t6 = *((unsigned int *)t3);
378
    t7 = (t6 >> 8);
379
    t8 = (t7 & 1);
380
    *((unsigned int *)t4) = t8;
381
    t9 = *((unsigned int *)t5);
382
    t10 = (t9 >> 8);
383
    t11 = (t10 & 1);
384
    *((unsigned int *)t2) = t11;
385
    t12 = (t0 + 13952);
386
    t13 = (t12 + 56U);
387
    t14 = *((char **)t13);
388
    t15 = (t14 + 56U);
389
    t16 = *((char **)t15);
390
    memset(t16, 0, 8);
391
    t17 = 1U;
392
    t18 = t17;
393
    t19 = (t4 + 4);
394
    t20 = *((unsigned int *)t4);
395
    t17 = (t17 & t20);
396
    t21 = *((unsigned int *)t19);
397
    t18 = (t18 & t21);
398
    t22 = (t16 + 4);
399
    t23 = *((unsigned int *)t16);
400
    *((unsigned int *)t16) = (t23 | t17);
401
    t24 = *((unsigned int *)t22);
402
    *((unsigned int *)t22) = (t24 | t18);
403
    xsi_driver_vfirst_trans(t12, 0, 0);
404
    t25 = (t0 + 13328);
405
    *((int *)t25) = 1;
406
 
407
LAB1:    return;
408
}
409
 
410
static void Cont_41_5(char *t0)
411
{
412
    char t4[8];
413
    char *t1;
414
    char *t2;
415
    char *t3;
416
    char *t5;
417
    unsigned int t6;
418
    unsigned int t7;
419
    unsigned int t8;
420
    unsigned int t9;
421
    unsigned int t10;
422
    unsigned int t11;
423
    char *t12;
424
    char *t13;
425
    char *t14;
426
    char *t15;
427
    char *t16;
428
    unsigned int t17;
429
    unsigned int t18;
430
    char *t19;
431
    unsigned int t20;
432
    unsigned int t21;
433
    char *t22;
434
    unsigned int t23;
435
    unsigned int t24;
436
    char *t25;
437
 
438
LAB0:    t1 = (t0 + 8728U);
439
    t2 = *((char **)t1);
440
    if (t2 == 0)
441
        goto LAB2;
442
 
443
LAB3:    goto *t2;
444
 
445
LAB2:    xsi_set_current_line(41, ng0);
446
    t2 = (t0 + 3608U);
447
    t3 = *((char **)t2);
448
    memset(t4, 0, 8);
449
    t2 = (t4 + 4);
450
    t5 = (t3 + 4);
451
    t6 = *((unsigned int *)t3);
452
    t7 = (t6 >> 7);
453
    t8 = (t7 & 1);
454
    *((unsigned int *)t4) = t8;
455
    t9 = *((unsigned int *)t5);
456
    t10 = (t9 >> 7);
457
    t11 = (t10 & 1);
458
    *((unsigned int *)t2) = t11;
459
    t12 = (t0 + 14016);
460
    t13 = (t12 + 56U);
461
    t14 = *((char **)t13);
462
    t15 = (t14 + 56U);
463
    t16 = *((char **)t15);
464
    memset(t16, 0, 8);
465
    t17 = 1U;
466
    t18 = t17;
467
    t19 = (t4 + 4);
468
    t20 = *((unsigned int *)t4);
469
    t17 = (t17 & t20);
470
    t21 = *((unsigned int *)t19);
471
    t18 = (t18 & t21);
472
    t22 = (t16 + 4);
473
    t23 = *((unsigned int *)t16);
474
    *((unsigned int *)t16) = (t23 | t17);
475
    t24 = *((unsigned int *)t22);
476
    *((unsigned int *)t22) = (t24 | t18);
477
    xsi_driver_vfirst_trans(t12, 0, 0);
478
    t25 = (t0 + 13344);
479
    *((int *)t25) = 1;
480
 
481
LAB1:    return;
482
}
483
 
484
static void Cont_42_6(char *t0)
485
{
486
    char t4[8];
487
    char *t1;
488
    char *t2;
489
    char *t3;
490
    char *t5;
491
    unsigned int t6;
492
    unsigned int t7;
493
    unsigned int t8;
494
    unsigned int t9;
495
    unsigned int t10;
496
    unsigned int t11;
497
    char *t12;
498
    char *t13;
499
    char *t14;
500
    char *t15;
501
    char *t16;
502
    unsigned int t17;
503
    unsigned int t18;
504
    char *t19;
505
    unsigned int t20;
506
    unsigned int t21;
507
    char *t22;
508
    unsigned int t23;
509
    unsigned int t24;
510
    char *t25;
511
 
512
LAB0:    t1 = (t0 + 8976U);
513
    t2 = *((char **)t1);
514
    if (t2 == 0)
515
        goto LAB2;
516
 
517
LAB3:    goto *t2;
518
 
519
LAB2:    xsi_set_current_line(42, ng0);
520
    t2 = (t0 + 3608U);
521
    t3 = *((char **)t2);
522
    memset(t4, 0, 8);
523
    t2 = (t4 + 4);
524
    t5 = (t3 + 4);
525
    t6 = *((unsigned int *)t3);
526
    t7 = (t6 >> 6);
527
    t8 = (t7 & 1);
528
    *((unsigned int *)t4) = t8;
529
    t9 = *((unsigned int *)t5);
530
    t10 = (t9 >> 6);
531
    t11 = (t10 & 1);
532
    *((unsigned int *)t2) = t11;
533
    t12 = (t0 + 14080);
534
    t13 = (t12 + 56U);
535
    t14 = *((char **)t13);
536
    t15 = (t14 + 56U);
537
    t16 = *((char **)t15);
538
    memset(t16, 0, 8);
539
    t17 = 1U;
540
    t18 = t17;
541
    t19 = (t4 + 4);
542
    t20 = *((unsigned int *)t4);
543
    t17 = (t17 & t20);
544
    t21 = *((unsigned int *)t19);
545
    t18 = (t18 & t21);
546
    t22 = (t16 + 4);
547
    t23 = *((unsigned int *)t16);
548
    *((unsigned int *)t16) = (t23 | t17);
549
    t24 = *((unsigned int *)t22);
550
    *((unsigned int *)t22) = (t24 | t18);
551
    xsi_driver_vfirst_trans(t12, 0, 0);
552
    t25 = (t0 + 13360);
553
    *((int *)t25) = 1;
554
 
555
LAB1:    return;
556
}
557
 
558
static void Cont_43_7(char *t0)
559
{
560
    char t4[8];
561
    char *t1;
562
    char *t2;
563
    char *t3;
564
    char *t5;
565
    unsigned int t6;
566
    unsigned int t7;
567
    unsigned int t8;
568
    unsigned int t9;
569
    unsigned int t10;
570
    unsigned int t11;
571
    char *t12;
572
    char *t13;
573
    char *t14;
574
    char *t15;
575
    char *t16;
576
    unsigned int t17;
577
    unsigned int t18;
578
    char *t19;
579
    unsigned int t20;
580
    unsigned int t21;
581
    char *t22;
582
    unsigned int t23;
583
    unsigned int t24;
584
    char *t25;
585
 
586
LAB0:    t1 = (t0 + 9224U);
587
    t2 = *((char **)t1);
588
    if (t2 == 0)
589
        goto LAB2;
590
 
591
LAB3:    goto *t2;
592
 
593
LAB2:    xsi_set_current_line(43, ng0);
594
    t2 = (t0 + 3608U);
595
    t3 = *((char **)t2);
596
    memset(t4, 0, 8);
597
    t2 = (t4 + 4);
598
    t5 = (t3 + 4);
599
    t6 = *((unsigned int *)t3);
600
    t7 = (t6 >> 5);
601
    t8 = (t7 & 1);
602
    *((unsigned int *)t4) = t8;
603
    t9 = *((unsigned int *)t5);
604
    t10 = (t9 >> 5);
605
    t11 = (t10 & 1);
606
    *((unsigned int *)t2) = t11;
607
    t12 = (t0 + 14144);
608
    t13 = (t12 + 56U);
609
    t14 = *((char **)t13);
610
    t15 = (t14 + 56U);
611
    t16 = *((char **)t15);
612
    memset(t16, 0, 8);
613
    t17 = 1U;
614
    t18 = t17;
615
    t19 = (t4 + 4);
616
    t20 = *((unsigned int *)t4);
617
    t17 = (t17 & t20);
618
    t21 = *((unsigned int *)t19);
619
    t18 = (t18 & t21);
620
    t22 = (t16 + 4);
621
    t23 = *((unsigned int *)t16);
622
    *((unsigned int *)t16) = (t23 | t17);
623
    t24 = *((unsigned int *)t22);
624
    *((unsigned int *)t22) = (t24 | t18);
625
    xsi_driver_vfirst_trans(t12, 0, 0);
626
    t25 = (t0 + 13376);
627
    *((int *)t25) = 1;
628
 
629
LAB1:    return;
630
}
631
 
632
static void Cont_44_8(char *t0)
633
{
634
    char t3[8];
635
    char *t1;
636
    char *t2;
637
    char *t4;
638
    char *t5;
639
    unsigned int t6;
640
    unsigned int t7;
641
    unsigned int t8;
642
    unsigned int t9;
643
    unsigned int t10;
644
    unsigned int t11;
645
    char *t12;
646
    char *t13;
647
    char *t14;
648
    char *t15;
649
    char *t16;
650
    unsigned int t17;
651
    unsigned int t18;
652
    char *t19;
653
    unsigned int t20;
654
    unsigned int t21;
655
    char *t22;
656
    unsigned int t23;
657
    unsigned int t24;
658
    char *t25;
659
 
660
LAB0:    t1 = (t0 + 9472U);
661
    t2 = *((char **)t1);
662
    if (t2 == 0)
663
        goto LAB2;
664
 
665
LAB3:    goto *t2;
666
 
667
LAB2:    xsi_set_current_line(44, ng0);
668
    t2 = (t0 + 3608U);
669
    t4 = *((char **)t2);
670
    memset(t3, 0, 8);
671
    t2 = (t3 + 4);
672
    t5 = (t4 + 4);
673
    t6 = *((unsigned int *)t4);
674
    t7 = (t6 >> 3);
675
    *((unsigned int *)t3) = t7;
676
    t8 = *((unsigned int *)t5);
677
    t9 = (t8 >> 3);
678
    *((unsigned int *)t2) = t9;
679
    t10 = *((unsigned int *)t3);
680
    *((unsigned int *)t3) = (t10 & 3U);
681
    t11 = *((unsigned int *)t2);
682
    *((unsigned int *)t2) = (t11 & 3U);
683
    t12 = (t0 + 14208);
684
    t13 = (t12 + 56U);
685
    t14 = *((char **)t13);
686
    t15 = (t14 + 56U);
687
    t16 = *((char **)t15);
688
    memset(t16, 0, 8);
689
    t17 = 3U;
690
    t18 = t17;
691
    t19 = (t3 + 4);
692
    t20 = *((unsigned int *)t3);
693
    t17 = (t17 & t20);
694
    t21 = *((unsigned int *)t19);
695
    t18 = (t18 & t21);
696
    t22 = (t16 + 4);
697
    t23 = *((unsigned int *)t16);
698
    *((unsigned int *)t16) = (t23 | t17);
699
    t24 = *((unsigned int *)t22);
700
    *((unsigned int *)t22) = (t24 | t18);
701
    xsi_driver_vfirst_trans(t12, 0, 1);
702
    t25 = (t0 + 13392);
703
    *((int *)t25) = 1;
704
 
705
LAB1:    return;
706
}
707
 
708
static void Cont_45_9(char *t0)
709
{
710
    char t3[8];
711
    char *t1;
712
    char *t2;
713
    char *t4;
714
    char *t5;
715
    unsigned int t6;
716
    unsigned int t7;
717
    unsigned int t8;
718
    unsigned int t9;
719
    unsigned int t10;
720
    unsigned int t11;
721
    char *t12;
722
    char *t13;
723
    char *t14;
724
    char *t15;
725
    char *t16;
726
    unsigned int t17;
727
    unsigned int t18;
728
    char *t19;
729
    unsigned int t20;
730
    unsigned int t21;
731
    char *t22;
732
    unsigned int t23;
733
    unsigned int t24;
734
    char *t25;
735
 
736
LAB0:    t1 = (t0 + 9720U);
737
    t2 = *((char **)t1);
738
    if (t2 == 0)
739
        goto LAB2;
740
 
741
LAB3:    goto *t2;
742
 
743
LAB2:    xsi_set_current_line(45, ng0);
744
    t2 = (t0 + 3608U);
745
    t4 = *((char **)t2);
746
    memset(t3, 0, 8);
747
    t2 = (t3 + 4);
748
    t5 = (t4 + 4);
749
    t6 = *((unsigned int *)t4);
750
    t7 = (t6 >> 0);
751
    *((unsigned int *)t3) = t7;
752
    t8 = *((unsigned int *)t5);
753
    t9 = (t8 >> 0);
754
    *((unsigned int *)t2) = t9;
755
    t10 = *((unsigned int *)t3);
756
    *((unsigned int *)t3) = (t10 & 7U);
757
    t11 = *((unsigned int *)t2);
758
    *((unsigned int *)t2) = (t11 & 7U);
759
    t12 = (t0 + 14272);
760
    t13 = (t12 + 56U);
761
    t14 = *((char **)t13);
762
    t15 = (t14 + 56U);
763
    t16 = *((char **)t15);
764
    memset(t16, 0, 8);
765
    t17 = 7U;
766
    t18 = t17;
767
    t19 = (t3 + 4);
768
    t20 = *((unsigned int *)t3);
769
    t17 = (t17 & t20);
770
    t21 = *((unsigned int *)t19);
771
    t18 = (t18 & t21);
772
    t22 = (t16 + 4);
773
    t23 = *((unsigned int *)t16);
774
    *((unsigned int *)t16) = (t23 | t17);
775
    t24 = *((unsigned int *)t22);
776
    *((unsigned int *)t22) = (t24 | t18);
777
    xsi_driver_vfirst_trans(t12, 0, 2);
778
    t25 = (t0 + 13408);
779
    *((int *)t25) = 1;
780
 
781
LAB1:    return;
782
}
783
 
784
static void Cont_49_10(char *t0)
785
{
786
    char t3[8];
787
    char *t1;
788
    char *t2;
789
    char *t4;
790
    char *t5;
791
    unsigned int t6;
792
    unsigned int t7;
793
    unsigned int t8;
794
    unsigned int t9;
795
    unsigned int t10;
796
    unsigned int t11;
797
    char *t12;
798
    char *t13;
799
    char *t14;
800
    char *t15;
801
    char *t16;
802
    unsigned int t17;
803
    unsigned int t18;
804
    char *t19;
805
    unsigned int t20;
806
    unsigned int t21;
807
    char *t22;
808
    unsigned int t23;
809
    unsigned int t24;
810
    char *t25;
811
 
812
LAB0:    t1 = (t0 + 9968U);
813
    t2 = *((char **)t1);
814
    if (t2 == 0)
815
        goto LAB2;
816
 
817
LAB3:    goto *t2;
818
 
819
LAB2:    xsi_set_current_line(49, ng0);
820
    t2 = (t0 + 1048U);
821
    t4 = *((char **)t2);
822
    memset(t3, 0, 8);
823
    t2 = (t3 + 4);
824
    t5 = (t4 + 4);
825
    t6 = *((unsigned int *)t4);
826
    t7 = (t6 >> 0);
827
    *((unsigned int *)t3) = t7;
828
    t8 = *((unsigned int *)t5);
829
    t9 = (t8 >> 0);
830
    *((unsigned int *)t2) = t9;
831
    t10 = *((unsigned int *)t3);
832
    *((unsigned int *)t3) = (t10 & 2047U);
833
    t11 = *((unsigned int *)t2);
834
    *((unsigned int *)t2) = (t11 & 2047U);
835
    t12 = (t0 + 14336);
836
    t13 = (t12 + 56U);
837
    t14 = *((char **)t13);
838
    t15 = (t14 + 56U);
839
    t16 = *((char **)t15);
840
    memset(t16, 0, 8);
841
    t17 = 2047U;
842
    t18 = t17;
843
    t19 = (t3 + 4);
844
    t20 = *((unsigned int *)t3);
845
    t17 = (t17 & t20);
846
    t21 = *((unsigned int *)t19);
847
    t18 = (t18 & t21);
848
    t22 = (t16 + 4);
849
    t23 = *((unsigned int *)t16);
850
    *((unsigned int *)t16) = (t23 | t17);
851
    t24 = *((unsigned int *)t22);
852
    *((unsigned int *)t22) = (t24 | t18);
853
    xsi_driver_vfirst_trans(t12, 0, 10);
854
    t25 = (t0 + 13424);
855
    *((int *)t25) = 1;
856
 
857
LAB1:    return;
858
}
859
 
860
static void Cont_55_11(char *t0)
861
{
862
    char t3[8];
863
    char *t1;
864
    char *t2;
865
    char *t4;
866
    char *t5;
867
    unsigned int t6;
868
    unsigned int t7;
869
    unsigned int t8;
870
    unsigned int t9;
871
    unsigned int t10;
872
    unsigned int t11;
873
    char *t12;
874
    char *t13;
875
    char *t14;
876
    char *t15;
877
    char *t16;
878
    unsigned int t17;
879
    unsigned int t18;
880
    char *t19;
881
    unsigned int t20;
882
    unsigned int t21;
883
    char *t22;
884
    unsigned int t23;
885
    unsigned int t24;
886
    char *t25;
887
 
888
LAB0:    t1 = (t0 + 10216U);
889
    t2 = *((char **)t1);
890
    if (t2 == 0)
891
        goto LAB2;
892
 
893
LAB3:    goto *t2;
894
 
895
LAB2:    xsi_set_current_line(55, ng0);
896
    t2 = (t0 + 5208U);
897
    t4 = *((char **)t2);
898
    memset(t3, 0, 8);
899
    t2 = (t3 + 4);
900
    t5 = (t4 + 4);
901
    t6 = *((unsigned int *)t4);
902
    t7 = (t6 >> 6);
903
    *((unsigned int *)t3) = t7;
904
    t8 = *((unsigned int *)t5);
905
    t9 = (t8 >> 6);
906
    *((unsigned int *)t2) = t9;
907
    t10 = *((unsigned int *)t3);
908
    *((unsigned int *)t3) = (t10 & 31U);
909
    t11 = *((unsigned int *)t2);
910
    *((unsigned int *)t2) = (t11 & 31U);
911
    t12 = (t0 + 14400);
912
    t13 = (t12 + 56U);
913
    t14 = *((char **)t13);
914
    t15 = (t14 + 56U);
915
    t16 = *((char **)t15);
916
    memset(t16, 0, 8);
917
    t17 = 31U;
918
    t18 = t17;
919
    t19 = (t3 + 4);
920
    t20 = *((unsigned int *)t3);
921
    t17 = (t17 & t20);
922
    t21 = *((unsigned int *)t19);
923
    t18 = (t18 & t21);
924
    t22 = (t16 + 4);
925
    t23 = *((unsigned int *)t16);
926
    *((unsigned int *)t16) = (t23 | t17);
927
    t24 = *((unsigned int *)t22);
928
    *((unsigned int *)t22) = (t24 | t18);
929
    xsi_driver_vfirst_trans(t12, 0, 4);
930
    t25 = (t0 + 13440);
931
    *((int *)t25) = 1;
932
 
933
LAB1:    return;
934
}
935
 
936
static void Cont_59_12(char *t0)
937
{
938
    char t3[8];
939
    char t4[8];
940
    char t16[8];
941
    char t30[8];
942
    char t31[8];
943
    char t44[8];
944
    char *t1;
945
    char *t2;
946
    char *t5;
947
    unsigned int t6;
948
    unsigned int t7;
949
    unsigned int t8;
950
    unsigned int t9;
951
    unsigned int t10;
952
    char *t11;
953
    char *t12;
954
    unsigned int t13;
955
    unsigned int t14;
956
    unsigned int t15;
957
    char *t17;
958
    char *t18;
959
    char *t19;
960
    unsigned int t20;
961
    unsigned int t21;
962
    unsigned int t22;
963
    unsigned int t23;
964
    unsigned int t24;
965
    unsigned int t25;
966
    unsigned int t26;
967
    unsigned int t27;
968
    unsigned int t28;
969
    unsigned int t29;
970
    char *t32;
971
    char *t33;
972
    unsigned int t34;
973
    unsigned int t35;
974
    unsigned int t36;
975
    unsigned int t37;
976
    unsigned int t38;
977
    char *t39;
978
    char *t40;
979
    unsigned int t41;
980
    unsigned int t42;
981
    unsigned int t43;
982
    char *t45;
983
    char *t46;
984
    char *t47;
985
    unsigned int t48;
986
    unsigned int t49;
987
    unsigned int t50;
988
    unsigned int t51;
989
    unsigned int t52;
990
    unsigned int t53;
991
    unsigned int t54;
992
    unsigned int t55;
993
    unsigned int t56;
994
    unsigned int t57;
995
    char *t58;
996
    char *t59;
997
    char *t60;
998
    char *t61;
999
    char *t62;
1000
    char *t63;
1001
    unsigned int t64;
1002
    unsigned int t65;
1003
    char *t66;
1004
    unsigned int t67;
1005
    unsigned int t68;
1006
    char *t69;
1007
    unsigned int t70;
1008
    unsigned int t71;
1009
    char *t72;
1010
 
1011
LAB0:    t1 = (t0 + 10464U);
1012
    t2 = *((char **)t1);
1013
    if (t2 == 0)
1014
        goto LAB2;
1015
 
1016
LAB3:    goto *t2;
1017
 
1018
LAB2:    xsi_set_current_line(59, ng0);
1019
    t2 = (t0 + 4568U);
1020
    t5 = *((char **)t2);
1021
    memset(t4, 0, 8);
1022
    t2 = (t5 + 4);
1023
    t6 = *((unsigned int *)t2);
1024
    t7 = (~(t6));
1025
    t8 = *((unsigned int *)t5);
1026
    t9 = (t8 & t7);
1027
    t10 = (t9 & 1U);
1028
    if (t10 != 0)
1029
        goto LAB4;
1030
 
1031
LAB5:    if (*((unsigned int *)t2) != 0)
1032
        goto LAB6;
1033
 
1034
LAB7:    t12 = (t4 + 4);
1035
    t13 = *((unsigned int *)t4);
1036
    t14 = *((unsigned int *)t12);
1037
    t15 = (t13 || t14);
1038
    if (t15 > 0)
1039
        goto LAB8;
1040
 
1041
LAB9:    t26 = *((unsigned int *)t4);
1042
    t27 = (~(t26));
1043
    t28 = *((unsigned int *)t12);
1044
    t29 = (t27 || t28);
1045
    if (t29 > 0)
1046
        goto LAB10;
1047
 
1048
LAB11:    if (*((unsigned int *)t12) > 0)
1049
        goto LAB12;
1050
 
1051
LAB13:    if (*((unsigned int *)t4) > 0)
1052
        goto LAB14;
1053
 
1054
LAB15:    memcpy(t3, t30, 8);
1055
 
1056
LAB16:    t59 = (t0 + 14464);
1057
    t60 = (t59 + 56U);
1058
    t61 = *((char **)t60);
1059
    t62 = (t61 + 56U);
1060
    t63 = *((char **)t62);
1061
    memset(t63, 0, 8);
1062
    t64 = 7U;
1063
    t65 = t64;
1064
    t66 = (t3 + 4);
1065
    t67 = *((unsigned int *)t3);
1066
    t64 = (t64 & t67);
1067
    t68 = *((unsigned int *)t66);
1068
    t65 = (t65 & t68);
1069
    t69 = (t63 + 4);
1070
    t70 = *((unsigned int *)t63);
1071
    *((unsigned int *)t63) = (t70 | t64);
1072
    t71 = *((unsigned int *)t69);
1073
    *((unsigned int *)t69) = (t71 | t65);
1074
    xsi_driver_vfirst_trans(t59, 0, 2);
1075
    t72 = (t0 + 13456);
1076
    *((int *)t72) = 1;
1077
 
1078
LAB1:    return;
1079
LAB4:    *((unsigned int *)t4) = 1;
1080
    goto LAB7;
1081
 
1082
LAB6:    t11 = (t4 + 4);
1083
    *((unsigned int *)t4) = 1;
1084
    *((unsigned int *)t11) = 1;
1085
    goto LAB7;
1086
 
1087
LAB8:    t17 = (t0 + 6008U);
1088
    t18 = *((char **)t17);
1089
    memset(t16, 0, 8);
1090
    t17 = (t16 + 4);
1091
    t19 = (t18 + 4);
1092
    t20 = *((unsigned int *)t18);
1093
    t21 = (t20 >> 0);
1094
    *((unsigned int *)t16) = t21;
1095
    t22 = *((unsigned int *)t19);
1096
    t23 = (t22 >> 0);
1097
    *((unsigned int *)t17) = t23;
1098
    t24 = *((unsigned int *)t16);
1099
    *((unsigned int *)t16) = (t24 & 15U);
1100
    t25 = *((unsigned int *)t17);
1101
    *((unsigned int *)t17) = (t25 & 15U);
1102
    goto LAB9;
1103
 
1104
LAB10:    t32 = (t0 + 4888U);
1105
    t33 = *((char **)t32);
1106
    memset(t31, 0, 8);
1107
    t32 = (t33 + 4);
1108
    t34 = *((unsigned int *)t32);
1109
    t35 = (~(t34));
1110
    t36 = *((unsigned int *)t33);
1111
    t37 = (t36 & t35);
1112
    t38 = (t37 & 1U);
1113
    if (t38 != 0)
1114
        goto LAB17;
1115
 
1116
LAB18:    if (*((unsigned int *)t32) != 0)
1117
        goto LAB19;
1118
 
1119
LAB20:    t40 = (t31 + 4);
1120
    t41 = *((unsigned int *)t31);
1121
    t42 = *((unsigned int *)t40);
1122
    t43 = (t41 || t42);
1123
    if (t43 > 0)
1124
        goto LAB21;
1125
 
1126
LAB22:    t54 = *((unsigned int *)t31);
1127
    t55 = (~(t54));
1128
    t56 = *((unsigned int *)t40);
1129
    t57 = (t55 || t56);
1130
    if (t57 > 0)
1131
        goto LAB23;
1132
 
1133
LAB24:    if (*((unsigned int *)t40) > 0)
1134
        goto LAB25;
1135
 
1136
LAB26:    if (*((unsigned int *)t31) > 0)
1137
        goto LAB27;
1138
 
1139
LAB28:    memcpy(t30, t58, 8);
1140
 
1141
LAB29:    goto LAB11;
1142
 
1143
LAB12:    xsi_vlog_unsigned_bit_combine(t3, 32, t16, 32, t30, 32);
1144
    goto LAB16;
1145
 
1146
LAB14:    memcpy(t3, t16, 8);
1147
    goto LAB16;
1148
 
1149
LAB17:    *((unsigned int *)t31) = 1;
1150
    goto LAB20;
1151
 
1152
LAB19:    t39 = (t31 + 4);
1153
    *((unsigned int *)t31) = 1;
1154
    *((unsigned int *)t39) = 1;
1155
    goto LAB20;
1156
 
1157
LAB21:    t45 = (t0 + 5208U);
1158
    t46 = *((char **)t45);
1159
    memset(t44, 0, 8);
1160
    t45 = (t44 + 4);
1161
    t47 = (t46 + 4);
1162
    t48 = *((unsigned int *)t46);
1163
    t49 = (t48 >> 0);
1164
    *((unsigned int *)t44) = t49;
1165
    t50 = *((unsigned int *)t47);
1166
    t51 = (t50 >> 0);
1167
    *((unsigned int *)t45) = t51;
1168
    t52 = *((unsigned int *)t44);
1169
    *((unsigned int *)t44) = (t52 & 7U);
1170
    t53 = *((unsigned int *)t45);
1171
    *((unsigned int *)t45) = (t53 & 7U);
1172
    goto LAB22;
1173
 
1174
LAB23:    t58 = ((char*)((ng1)));
1175
    goto LAB24;
1176
 
1177
LAB25:    xsi_vlog_unsigned_bit_combine(t30, 32, t44, 32, t58, 32);
1178
    goto LAB29;
1179
 
1180
LAB27:    memcpy(t30, t44, 8);
1181
    goto LAB29;
1182
 
1183
}
1184
 
1185
static void Cont_60_13(char *t0)
1186
{
1187
    char t3[8];
1188
    char t4[8];
1189
    char *t1;
1190
    char *t2;
1191
    char *t5;
1192
    unsigned int t6;
1193
    unsigned int t7;
1194
    unsigned int t8;
1195
    unsigned int t9;
1196
    unsigned int t10;
1197
    char *t11;
1198
    char *t12;
1199
    unsigned int t13;
1200
    unsigned int t14;
1201
    unsigned int t15;
1202
    char *t16;
1203
    char *t17;
1204
    char *t18;
1205
    unsigned int t19;
1206
    unsigned int t20;
1207
    unsigned int t21;
1208
    unsigned int t22;
1209
    char *t23;
1210
    char *t24;
1211
    char *t25;
1212
    char *t26;
1213
    char *t27;
1214
    char *t28;
1215
    char *t29;
1216
 
1217
LAB0:    t1 = (t0 + 10712U);
1218
    t2 = *((char **)t1);
1219
    if (t2 == 0)
1220
        goto LAB2;
1221
 
1222
LAB3:    goto *t2;
1223
 
1224
LAB2:    xsi_set_current_line(60, ng0);
1225
    t2 = (t0 + 4568U);
1226
    t5 = *((char **)t2);
1227
    memset(t4, 0, 8);
1228
    t2 = (t5 + 4);
1229
    t6 = *((unsigned int *)t2);
1230
    t7 = (~(t6));
1231
    t8 = *((unsigned int *)t5);
1232
    t9 = (t8 & t7);
1233
    t10 = (t9 & 1U);
1234
    if (t10 != 0)
1235
        goto LAB4;
1236
 
1237
LAB5:    if (*((unsigned int *)t2) != 0)
1238
        goto LAB6;
1239
 
1240
LAB7:    t12 = (t4 + 4);
1241
    t13 = *((unsigned int *)t4);
1242
    t14 = *((unsigned int *)t12);
1243
    t15 = (t13 || t14);
1244
    if (t15 > 0)
1245
        goto LAB8;
1246
 
1247
LAB9:    t19 = *((unsigned int *)t4);
1248
    t20 = (~(t19));
1249
    t21 = *((unsigned int *)t12);
1250
    t22 = (t20 || t21);
1251
    if (t22 > 0)
1252
        goto LAB10;
1253
 
1254
LAB11:    if (*((unsigned int *)t12) > 0)
1255
        goto LAB12;
1256
 
1257
LAB13:    if (*((unsigned int *)t4) > 0)
1258
        goto LAB14;
1259
 
1260
LAB15:    memcpy(t3, t23, 8);
1261
 
1262
LAB16:    t24 = (t0 + 14528);
1263
    t25 = (t24 + 56U);
1264
    t26 = *((char **)t25);
1265
    t27 = (t26 + 56U);
1266
    t28 = *((char **)t27);
1267
    memcpy(t28, t3, 8);
1268
    xsi_driver_vfirst_trans(t24, 0, 31);
1269
    t29 = (t0 + 13472);
1270
    *((int *)t29) = 1;
1271
 
1272
LAB1:    return;
1273
LAB4:    *((unsigned int *)t4) = 1;
1274
    goto LAB7;
1275
 
1276
LAB6:    t11 = (t4 + 4);
1277
    *((unsigned int *)t4) = 1;
1278
    *((unsigned int *)t11) = 1;
1279
    goto LAB7;
1280
 
1281
LAB8:    t16 = (t0 + 6408);
1282
    t17 = (t16 + 56U);
1283
    t18 = *((char **)t17);
1284
    goto LAB9;
1285
 
1286
LAB10:    t23 = ((char*)((ng1)));
1287
    goto LAB11;
1288
 
1289
LAB12:    xsi_vlog_unsigned_bit_combine(t3, 32, t18, 32, t23, 32);
1290
    goto LAB16;
1291
 
1292
LAB14:    memcpy(t3, t18, 8);
1293
    goto LAB16;
1294
 
1295
}
1296
 
1297
static void Cont_62_14(char *t0)
1298
{
1299
    char t3[8];
1300
    char t4[8];
1301
    char t16[8];
1302
    char *t1;
1303
    char *t2;
1304
    char *t5;
1305
    unsigned int t6;
1306
    unsigned int t7;
1307
    unsigned int t8;
1308
    unsigned int t9;
1309
    unsigned int t10;
1310
    char *t11;
1311
    char *t12;
1312
    unsigned int t13;
1313
    unsigned int t14;
1314
    unsigned int t15;
1315
    char *t17;
1316
    char *t18;
1317
    char *t19;
1318
    unsigned int t20;
1319
    unsigned int t21;
1320
    unsigned int t22;
1321
    unsigned int t23;
1322
    unsigned int t24;
1323
    unsigned int t25;
1324
    unsigned int t26;
1325
    unsigned int t27;
1326
    unsigned int t28;
1327
    unsigned int t29;
1328
    char *t30;
1329
    char *t31;
1330
    char *t32;
1331
    char *t33;
1332
    char *t34;
1333
    char *t35;
1334
    unsigned int t36;
1335
    unsigned int t37;
1336
    char *t38;
1337
    unsigned int t39;
1338
    unsigned int t40;
1339
    char *t41;
1340
    unsigned int t42;
1341
    unsigned int t43;
1342
    char *t44;
1343
 
1344
LAB0:    t1 = (t0 + 10960U);
1345
    t2 = *((char **)t1);
1346
    if (t2 == 0)
1347
        goto LAB2;
1348
 
1349
LAB3:    goto *t2;
1350
 
1351
LAB2:    xsi_set_current_line(62, ng0);
1352
    t2 = (t0 + 4728U);
1353
    t5 = *((char **)t2);
1354
    memset(t4, 0, 8);
1355
    t2 = (t5 + 4);
1356
    t6 = *((unsigned int *)t2);
1357
    t7 = (~(t6));
1358
    t8 = *((unsigned int *)t5);
1359
    t9 = (t8 & t7);
1360
    t10 = (t9 & 1U);
1361
    if (t10 != 0)
1362
        goto LAB4;
1363
 
1364
LAB5:    if (*((unsigned int *)t2) != 0)
1365
        goto LAB6;
1366
 
1367
LAB7:    t12 = (t4 + 4);
1368
    t13 = *((unsigned int *)t4);
1369
    t14 = *((unsigned int *)t12);
1370
    t15 = (t13 || t14);
1371
    if (t15 > 0)
1372
        goto LAB8;
1373
 
1374
LAB9:    t26 = *((unsigned int *)t4);
1375
    t27 = (~(t26));
1376
    t28 = *((unsigned int *)t12);
1377
    t29 = (t27 || t28);
1378
    if (t29 > 0)
1379
        goto LAB10;
1380
 
1381
LAB11:    if (*((unsigned int *)t12) > 0)
1382
        goto LAB12;
1383
 
1384
LAB13:    if (*((unsigned int *)t4) > 0)
1385
        goto LAB14;
1386
 
1387
LAB15:    memcpy(t3, t30, 8);
1388
 
1389
LAB16:    t31 = (t0 + 14592);
1390
    t32 = (t31 + 56U);
1391
    t33 = *((char **)t32);
1392
    t34 = (t33 + 56U);
1393
    t35 = *((char **)t34);
1394
    memset(t35, 0, 8);
1395
    t36 = 7U;
1396
    t37 = t36;
1397
    t38 = (t3 + 4);
1398
    t39 = *((unsigned int *)t3);
1399
    t36 = (t36 & t39);
1400
    t40 = *((unsigned int *)t38);
1401
    t37 = (t37 & t40);
1402
    t41 = (t35 + 4);
1403
    t42 = *((unsigned int *)t35);
1404
    *((unsigned int *)t35) = (t42 | t36);
1405
    t43 = *((unsigned int *)t41);
1406
    *((unsigned int *)t41) = (t43 | t37);
1407
    xsi_driver_vfirst_trans(t31, 0, 2);
1408
    t44 = (t0 + 13488);
1409
    *((int *)t44) = 1;
1410
 
1411
LAB1:    return;
1412
LAB4:    *((unsigned int *)t4) = 1;
1413
    goto LAB7;
1414
 
1415
LAB6:    t11 = (t4 + 4);
1416
    *((unsigned int *)t4) = 1;
1417
    *((unsigned int *)t11) = 1;
1418
    goto LAB7;
1419
 
1420
LAB8:    t17 = (t0 + 5208U);
1421
    t18 = *((char **)t17);
1422
    memset(t16, 0, 8);
1423
    t17 = (t16 + 4);
1424
    t19 = (t18 + 4);
1425
    t20 = *((unsigned int *)t18);
1426
    t21 = (t20 >> 3);
1427
    *((unsigned int *)t16) = t21;
1428
    t22 = *((unsigned int *)t19);
1429
    t23 = (t22 >> 3);
1430
    *((unsigned int *)t17) = t23;
1431
    t24 = *((unsigned int *)t16);
1432
    *((unsigned int *)t16) = (t24 & 7U);
1433
    t25 = *((unsigned int *)t17);
1434
    *((unsigned int *)t17) = (t25 & 7U);
1435
    goto LAB9;
1436
 
1437
LAB10:    t30 = ((char*)((ng1)));
1438
    goto LAB11;
1439
 
1440
LAB12:    xsi_vlog_unsigned_bit_combine(t3, 32, t16, 32, t30, 32);
1441
    goto LAB16;
1442
 
1443
LAB14:    memcpy(t3, t16, 8);
1444
    goto LAB16;
1445
 
1446
}
1447
 
1448
static void Cont_63_15(char *t0)
1449
{
1450
    char t3[8];
1451
    char t4[8];
1452
    char *t1;
1453
    char *t2;
1454
    char *t5;
1455
    unsigned int t6;
1456
    unsigned int t7;
1457
    unsigned int t8;
1458
    unsigned int t9;
1459
    unsigned int t10;
1460
    char *t11;
1461
    char *t12;
1462
    unsigned int t13;
1463
    unsigned int t14;
1464
    unsigned int t15;
1465
    char *t16;
1466
    char *t17;
1467
    char *t18;
1468
    unsigned int t19;
1469
    unsigned int t20;
1470
    unsigned int t21;
1471
    unsigned int t22;
1472
    char *t23;
1473
    char *t24;
1474
    char *t25;
1475
    char *t26;
1476
    char *t27;
1477
    char *t28;
1478
    char *t29;
1479
 
1480
LAB0:    t1 = (t0 + 11208U);
1481
    t2 = *((char **)t1);
1482
    if (t2 == 0)
1483
        goto LAB2;
1484
 
1485
LAB3:    goto *t2;
1486
 
1487
LAB2:    xsi_set_current_line(63, ng0);
1488
    t2 = (t0 + 4728U);
1489
    t5 = *((char **)t2);
1490
    memset(t4, 0, 8);
1491
    t2 = (t5 + 4);
1492
    t6 = *((unsigned int *)t2);
1493
    t7 = (~(t6));
1494
    t8 = *((unsigned int *)t5);
1495
    t9 = (t8 & t7);
1496
    t10 = (t9 & 1U);
1497
    if (t10 != 0)
1498
        goto LAB4;
1499
 
1500
LAB5:    if (*((unsigned int *)t2) != 0)
1501
        goto LAB6;
1502
 
1503
LAB7:    t12 = (t4 + 4);
1504
    t13 = *((unsigned int *)t4);
1505
    t14 = *((unsigned int *)t12);
1506
    t15 = (t13 || t14);
1507
    if (t15 > 0)
1508
        goto LAB8;
1509
 
1510
LAB9:    t19 = *((unsigned int *)t4);
1511
    t20 = (~(t19));
1512
    t21 = *((unsigned int *)t12);
1513
    t22 = (t20 || t21);
1514
    if (t22 > 0)
1515
        goto LAB10;
1516
 
1517
LAB11:    if (*((unsigned int *)t12) > 0)
1518
        goto LAB12;
1519
 
1520
LAB13:    if (*((unsigned int *)t4) > 0)
1521
        goto LAB14;
1522
 
1523
LAB15:    memcpy(t3, t23, 8);
1524
 
1525
LAB16:    t24 = (t0 + 14656);
1526
    t25 = (t24 + 56U);
1527
    t26 = *((char **)t25);
1528
    t27 = (t26 + 56U);
1529
    t28 = *((char **)t27);
1530
    memcpy(t28, t3, 8);
1531
    xsi_driver_vfirst_trans(t24, 0, 31);
1532
    t29 = (t0 + 13504);
1533
    *((int *)t29) = 1;
1534
 
1535
LAB1:    return;
1536
LAB4:    *((unsigned int *)t4) = 1;
1537
    goto LAB7;
1538
 
1539
LAB6:    t11 = (t4 + 4);
1540
    *((unsigned int *)t4) = 1;
1541
    *((unsigned int *)t11) = 1;
1542
    goto LAB7;
1543
 
1544
LAB8:    t16 = (t0 + 6568);
1545
    t17 = (t16 + 56U);
1546
    t18 = *((char **)t17);
1547
    goto LAB9;
1548
 
1549
LAB10:    t23 = ((char*)((ng1)));
1550
    goto LAB11;
1551
 
1552
LAB12:    xsi_vlog_unsigned_bit_combine(t3, 32, t18, 32, t23, 32);
1553
    goto LAB16;
1554
 
1555
LAB14:    memcpy(t3, t18, 8);
1556
    goto LAB16;
1557
 
1558
}
1559
 
1560
static void Cont_66_16(char *t0)
1561
{
1562
    char t3[8];
1563
    char t4[8];
1564
    char t16[8];
1565
    char t30[8];
1566
    char *t1;
1567
    char *t2;
1568
    char *t5;
1569
    unsigned int t6;
1570
    unsigned int t7;
1571
    unsigned int t8;
1572
    unsigned int t9;
1573
    unsigned int t10;
1574
    char *t11;
1575
    char *t12;
1576
    unsigned int t13;
1577
    unsigned int t14;
1578
    unsigned int t15;
1579
    char *t17;
1580
    char *t18;
1581
    char *t19;
1582
    unsigned int t20;
1583
    unsigned int t21;
1584
    unsigned int t22;
1585
    unsigned int t23;
1586
    unsigned int t24;
1587
    unsigned int t25;
1588
    unsigned int t26;
1589
    unsigned int t27;
1590
    unsigned int t28;
1591
    unsigned int t29;
1592
    char *t31;
1593
    char *t32;
1594
    char *t33;
1595
    unsigned int t34;
1596
    unsigned int t35;
1597
    unsigned int t36;
1598
    unsigned int t37;
1599
    unsigned int t38;
1600
    unsigned int t39;
1601
    char *t40;
1602
    char *t41;
1603
    char *t42;
1604
    char *t43;
1605
    char *t44;
1606
    char *t45;
1607
 
1608
LAB0:    t1 = (t0 + 11456U);
1609
    t2 = *((char **)t1);
1610
    if (t2 == 0)
1611
        goto LAB2;
1612
 
1613
LAB3:    goto *t2;
1614
 
1615
LAB2:    xsi_set_current_line(66, ng0);
1616
    t2 = (t0 + 5048U);
1617
    t5 = *((char **)t2);
1618
    memset(t4, 0, 8);
1619
    t2 = (t5 + 4);
1620
    t6 = *((unsigned int *)t2);
1621
    t7 = (~(t6));
1622
    t8 = *((unsigned int *)t5);
1623
    t9 = (t8 & t7);
1624
    t10 = (t9 & 1U);
1625
    if (t10 != 0)
1626
        goto LAB4;
1627
 
1628
LAB5:    if (*((unsigned int *)t2) != 0)
1629
        goto LAB6;
1630
 
1631
LAB7:    t12 = (t4 + 4);
1632
    t13 = *((unsigned int *)t4);
1633
    t14 = *((unsigned int *)t12);
1634
    t15 = (t13 || t14);
1635
    if (t15 > 0)
1636
        goto LAB8;
1637
 
1638
LAB9:    t26 = *((unsigned int *)t4);
1639
    t27 = (~(t26));
1640
    t28 = *((unsigned int *)t12);
1641
    t29 = (t27 || t28);
1642
    if (t29 > 0)
1643
        goto LAB10;
1644
 
1645
LAB11:    if (*((unsigned int *)t12) > 0)
1646
        goto LAB12;
1647
 
1648
LAB13:    if (*((unsigned int *)t4) > 0)
1649
        goto LAB14;
1650
 
1651
LAB15:    memcpy(t3, t30, 8);
1652
 
1653
LAB16:    t40 = (t0 + 14720);
1654
    t41 = (t40 + 56U);
1655
    t42 = *((char **)t41);
1656
    t43 = (t42 + 56U);
1657
    t44 = *((char **)t43);
1658
    memcpy(t44, t3, 8);
1659
    xsi_driver_vfirst_trans(t40, 0, 31);
1660
    t45 = (t0 + 13520);
1661
    *((int *)t45) = 1;
1662
 
1663
LAB1:    return;
1664
LAB4:    *((unsigned int *)t4) = 1;
1665
    goto LAB7;
1666
 
1667
LAB6:    t11 = (t4 + 4);
1668
    *((unsigned int *)t4) = 1;
1669
    *((unsigned int *)t11) = 1;
1670
    goto LAB7;
1671
 
1672
LAB8:    t17 = (t0 + 5208U);
1673
    t18 = *((char **)t17);
1674
    memset(t16, 0, 8);
1675
    t17 = (t16 + 4);
1676
    t19 = (t18 + 4);
1677
    t20 = *((unsigned int *)t18);
1678
    t21 = (t20 >> 0);
1679
    *((unsigned int *)t16) = t21;
1680
    t22 = *((unsigned int *)t19);
1681
    t23 = (t22 >> 0);
1682
    *((unsigned int *)t17) = t23;
1683
    t24 = *((unsigned int *)t16);
1684
    *((unsigned int *)t16) = (t24 & 63U);
1685
    t25 = *((unsigned int *)t17);
1686
    *((unsigned int *)t17) = (t25 & 63U);
1687
    goto LAB9;
1688
 
1689
LAB10:    t31 = (t0 + 5208U);
1690
    t32 = *((char **)t31);
1691
    memset(t30, 0, 8);
1692
    t31 = (t30 + 4);
1693
    t33 = (t32 + 4);
1694
    t34 = *((unsigned int *)t32);
1695
    t35 = (t34 >> 0);
1696
    *((unsigned int *)t30) = t35;
1697
    t36 = *((unsigned int *)t33);
1698
    t37 = (t36 >> 0);
1699
    *((unsigned int *)t31) = t37;
1700
    t38 = *((unsigned int *)t30);
1701
    *((unsigned int *)t30) = (t38 & 7U);
1702
    t39 = *((unsigned int *)t31);
1703
    *((unsigned int *)t31) = (t39 & 7U);
1704
    goto LAB11;
1705
 
1706
LAB12:    xsi_vlog_unsigned_bit_combine(t3, 32, t16, 32, t30, 32);
1707
    goto LAB16;
1708
 
1709
LAB14:    memcpy(t3, t16, 8);
1710
    goto LAB16;
1711
 
1712
}
1713
 
1714
static void Cont_67_17(char *t0)
1715
{
1716
    char t3[8];
1717
    char t4[8];
1718
    char *t1;
1719
    char *t2;
1720
    char *t5;
1721
    unsigned int t6;
1722
    unsigned int t7;
1723
    unsigned int t8;
1724
    unsigned int t9;
1725
    unsigned int t10;
1726
    char *t11;
1727
    char *t12;
1728
    unsigned int t13;
1729
    unsigned int t14;
1730
    unsigned int t15;
1731
    char *t16;
1732
    char *t17;
1733
    char *t18;
1734
    unsigned int t19;
1735
    unsigned int t20;
1736
    unsigned int t21;
1737
    unsigned int t22;
1738
    char *t23;
1739
    char *t24;
1740
    char *t25;
1741
    char *t26;
1742
    char *t27;
1743
    char *t28;
1744
    char *t29;
1745
 
1746
LAB0:    t1 = (t0 + 11704U);
1747
    t2 = *((char **)t1);
1748
    if (t2 == 0)
1749
        goto LAB2;
1750
 
1751
LAB3:    goto *t2;
1752
 
1753
LAB2:    xsi_set_current_line(67, ng0);
1754
    t2 = (t0 + 4888U);
1755
    t5 = *((char **)t2);
1756
    memset(t4, 0, 8);
1757
    t2 = (t5 + 4);
1758
    t6 = *((unsigned int *)t2);
1759
    t7 = (~(t6));
1760
    t8 = *((unsigned int *)t5);
1761
    t9 = (t8 & t7);
1762
    t10 = (t9 & 1U);
1763
    if (t10 != 0)
1764
        goto LAB4;
1765
 
1766
LAB5:    if (*((unsigned int *)t2) != 0)
1767
        goto LAB6;
1768
 
1769
LAB7:    t12 = (t4 + 4);
1770
    t13 = *((unsigned int *)t4);
1771
    t14 = *((unsigned int *)t12);
1772
    t15 = (t13 || t14);
1773
    if (t15 > 0)
1774
        goto LAB8;
1775
 
1776
LAB9:    t19 = *((unsigned int *)t4);
1777
    t20 = (~(t19));
1778
    t21 = *((unsigned int *)t12);
1779
    t22 = (t20 || t21);
1780
    if (t22 > 0)
1781
        goto LAB10;
1782
 
1783
LAB11:    if (*((unsigned int *)t12) > 0)
1784
        goto LAB12;
1785
 
1786
LAB13:    if (*((unsigned int *)t4) > 0)
1787
        goto LAB14;
1788
 
1789
LAB15:    memcpy(t3, t24, 8);
1790
 
1791
LAB16:    t23 = (t0 + 14784);
1792
    t25 = (t23 + 56U);
1793
    t26 = *((char **)t25);
1794
    t27 = (t26 + 56U);
1795
    t28 = *((char **)t27);
1796
    memcpy(t28, t3, 8);
1797
    xsi_driver_vfirst_trans(t23, 0, 31);
1798
    t29 = (t0 + 13536);
1799
    *((int *)t29) = 1;
1800
 
1801
LAB1:    return;
1802
LAB4:    *((unsigned int *)t4) = 1;
1803
    goto LAB7;
1804
 
1805
LAB6:    t11 = (t4 + 4);
1806
    *((unsigned int *)t4) = 1;
1807
    *((unsigned int *)t11) = 1;
1808
    goto LAB7;
1809
 
1810
LAB8:    t16 = (t0 + 6408);
1811
    t17 = (t16 + 56U);
1812
    t18 = *((char **)t17);
1813
    goto LAB9;
1814
 
1815
LAB10:    t23 = (t0 + 5848U);
1816
    t24 = *((char **)t23);
1817
    goto LAB11;
1818
 
1819
LAB12:    xsi_vlog_unsigned_bit_combine(t3, 32, t18, 32, t24, 32);
1820
    goto LAB16;
1821
 
1822
LAB14:    memcpy(t3, t18, 8);
1823
    goto LAB16;
1824
 
1825
}
1826
 
1827
static void Always_70_18(char *t0)
1828
{
1829
    char t4[8];
1830
    char *t1;
1831
    char *t2;
1832
    char *t3;
1833
    char *t5;
1834
    char *t6;
1835
    unsigned int t7;
1836
    unsigned int t8;
1837
    unsigned int t9;
1838
    unsigned int t10;
1839
    unsigned int t11;
1840
    char *t12;
1841
    char *t13;
1842
    char *t14;
1843
    unsigned int t15;
1844
    unsigned int t16;
1845
    unsigned int t17;
1846
    unsigned int t18;
1847
    unsigned int t19;
1848
    unsigned int t20;
1849
    unsigned int t21;
1850
    unsigned int t22;
1851
    char *t23;
1852
    unsigned int t24;
1853
    unsigned int t25;
1854
    unsigned int t26;
1855
    unsigned int t27;
1856
    unsigned int t28;
1857
    char *t29;
1858
    char *t30;
1859
 
1860
LAB0:    t1 = (t0 + 11952U);
1861
    t2 = *((char **)t1);
1862
    if (t2 == 0)
1863
        goto LAB2;
1864
 
1865
LAB3:    goto *t2;
1866
 
1867
LAB2:    xsi_set_current_line(70, ng0);
1868
    t2 = (t0 + 13552);
1869
    *((int *)t2) = 1;
1870
    t3 = (t0 + 11984);
1871
    *((char **)t3) = t2;
1872
    *((char **)t1) = &&LAB4;
1873
 
1874
LAB1:    return;
1875
LAB4:    xsi_set_current_line(70, ng0);
1876
 
1877
LAB5:    xsi_set_current_line(71, ng0);
1878
    t5 = (t0 + 1208U);
1879
    t6 = *((char **)t5);
1880
    memset(t4, 0, 8);
1881
    t5 = (t6 + 4);
1882
    t7 = *((unsigned int *)t5);
1883
    t8 = (~(t7));
1884
    t9 = *((unsigned int *)t6);
1885
    t10 = (t9 & t8);
1886
    t11 = (t10 & 1U);
1887
    if (t11 != 0)
1888
        goto LAB9;
1889
 
1890
LAB7:    if (*((unsigned int *)t5) == 0)
1891
        goto LAB6;
1892
 
1893
LAB8:    t12 = (t4 + 4);
1894
    *((unsigned int *)t4) = 1;
1895
    *((unsigned int *)t12) = 1;
1896
 
1897
LAB9:    t13 = (t4 + 4);
1898
    t14 = (t6 + 4);
1899
    t15 = *((unsigned int *)t6);
1900
    t16 = (~(t15));
1901
    *((unsigned int *)t4) = t16;
1902
    *((unsigned int *)t13) = 0;
1903
    if (*((unsigned int *)t14) != 0)
1904
        goto LAB11;
1905
 
1906
LAB10:    t21 = *((unsigned int *)t4);
1907
    *((unsigned int *)t4) = (t21 & 1U);
1908
    t22 = *((unsigned int *)t13);
1909
    *((unsigned int *)t13) = (t22 & 1U);
1910
    t23 = (t4 + 4);
1911
    t24 = *((unsigned int *)t23);
1912
    t25 = (~(t24));
1913
    t26 = *((unsigned int *)t4);
1914
    t27 = (t26 & t25);
1915
    t28 = (t27 != 0);
1916
    if (t28 > 0)
1917
        goto LAB12;
1918
 
1919
LAB13:
1920
LAB14:    goto LAB2;
1921
 
1922
LAB6:    *((unsigned int *)t4) = 1;
1923
    goto LAB9;
1924
 
1925
LAB11:    t17 = *((unsigned int *)t4);
1926
    t18 = *((unsigned int *)t14);
1927
    *((unsigned int *)t4) = (t17 | t18);
1928
    t19 = *((unsigned int *)t13);
1929
    t20 = *((unsigned int *)t14);
1930
    *((unsigned int *)t13) = (t19 | t20);
1931
    goto LAB10;
1932
 
1933
LAB12:    xsi_set_current_line(71, ng0);
1934
 
1935
LAB15:    xsi_set_current_line(72, ng0);
1936
    t29 = (t0 + 1848U);
1937
    t30 = *((char **)t29);
1938
    t29 = (t0 + 6408);
1939
    xsi_vlogvar_wait_assign_value(t29, t30, 0, 0, 32, 0LL);
1940
    xsi_set_current_line(73, ng0);
1941
    t2 = (t0 + 2008U);
1942
    t3 = *((char **)t2);
1943
    t2 = (t0 + 6568);
1944
    xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 32, 0LL);
1945
    goto LAB14;
1946
 
1947
}
1948
 
1949
static void Cont_78_19(char *t0)
1950
{
1951
    char t3[8];
1952
    char t5[8];
1953
    char *t1;
1954
    char *t2;
1955
    char *t4;
1956
    unsigned int t6;
1957
    unsigned int t7;
1958
    unsigned int t8;
1959
    char *t9;
1960
    char *t10;
1961
    char *t11;
1962
    unsigned int t12;
1963
    unsigned int t13;
1964
    unsigned int t14;
1965
    unsigned int t15;
1966
    unsigned int t16;
1967
    unsigned int t17;
1968
    unsigned int t18;
1969
    char *t19;
1970
    unsigned int t20;
1971
    unsigned int t21;
1972
    unsigned int t22;
1973
    unsigned int t23;
1974
    unsigned int t24;
1975
    char *t25;
1976
    char *t26;
1977
    char *t27;
1978
    char *t28;
1979
    char *t29;
1980
    char *t30;
1981
    unsigned int t31;
1982
    unsigned int t32;
1983
    char *t33;
1984
    unsigned int t34;
1985
    unsigned int t35;
1986
    char *t36;
1987
    unsigned int t37;
1988
    unsigned int t38;
1989
    char *t39;
1990
 
1991
LAB0:    t1 = (t0 + 12200U);
1992
    t2 = *((char **)t1);
1993
    if (t2 == 0)
1994
        goto LAB2;
1995
 
1996
LAB3:    goto *t2;
1997
 
1998
LAB2:    xsi_set_current_line(78, ng0);
1999
    t2 = (t0 + 3928U);
2000
    t4 = *((char **)t2);
2001
    t2 = ((char*)((ng2)));
2002
    t6 = *((unsigned int *)t4);
2003
    t7 = *((unsigned int *)t2);
2004
    t8 = (t6 ^ t7);
2005
    *((unsigned int *)t5) = t8;
2006
    t9 = (t4 + 4);
2007
    t10 = (t2 + 4);
2008
    t11 = (t5 + 4);
2009
    t12 = *((unsigned int *)t9);
2010
    t13 = *((unsigned int *)t10);
2011
    t14 = (t12 | t13);
2012
    *((unsigned int *)t11) = t14;
2013
    t15 = *((unsigned int *)t11);
2014
    t16 = (t15 != 0);
2015
    if (t16 == 1)
2016
        goto LAB4;
2017
 
2018
LAB5:
2019
LAB6:    memset(t3, 0, 8);
2020
    t19 = (t5 + 4);
2021
    t20 = *((unsigned int *)t19);
2022
    t21 = (~(t20));
2023
    t22 = *((unsigned int *)t5);
2024
    t23 = (t22 & t21);
2025
    t24 = (t23 & 3U);
2026
    if (t24 != 0)
2027
        goto LAB7;
2028
 
2029
LAB8:    if (*((unsigned int *)t19) != 0)
2030
        goto LAB9;
2031
 
2032
LAB10:    t26 = (t0 + 14848);
2033
    t27 = (t26 + 56U);
2034
    t28 = *((char **)t27);
2035
    t29 = (t28 + 56U);
2036
    t30 = *((char **)t29);
2037
    memset(t30, 0, 8);
2038
    t31 = 1U;
2039
    t32 = t31;
2040
    t33 = (t3 + 4);
2041
    t34 = *((unsigned int *)t3);
2042
    t31 = (t31 & t34);
2043
    t35 = *((unsigned int *)t33);
2044
    t32 = (t32 & t35);
2045
    t36 = (t30 + 4);
2046
    t37 = *((unsigned int *)t30);
2047
    *((unsigned int *)t30) = (t37 | t31);
2048
    t38 = *((unsigned int *)t36);
2049
    *((unsigned int *)t36) = (t38 | t32);
2050
    xsi_driver_vfirst_trans(t26, 0, 0);
2051
    t39 = (t0 + 13568);
2052
    *((int *)t39) = 1;
2053
 
2054
LAB1:    return;
2055
LAB4:    t17 = *((unsigned int *)t5);
2056
    t18 = *((unsigned int *)t11);
2057
    *((unsigned int *)t5) = (t17 | t18);
2058
    goto LAB6;
2059
 
2060
LAB7:    *((unsigned int *)t3) = 1;
2061
    goto LAB10;
2062
 
2063
LAB9:    t25 = (t3 + 4);
2064
    *((unsigned int *)t3) = 1;
2065
    *((unsigned int *)t25) = 1;
2066
    goto LAB10;
2067
 
2068
}
2069
 
2070
static void Cont_79_20(char *t0)
2071
{
2072
    char t4[8];
2073
    char *t1;
2074
    char *t2;
2075
    char *t3;
2076
    char *t5;
2077
    char *t6;
2078
    unsigned int t7;
2079
    unsigned int t8;
2080
    unsigned int t9;
2081
    unsigned int t10;
2082
    unsigned int t11;
2083
    unsigned int t12;
2084
    unsigned int t13;
2085
    unsigned int t14;
2086
    unsigned int t15;
2087
    unsigned int t16;
2088
    unsigned int t17;
2089
    unsigned int t18;
2090
    char *t19;
2091
    char *t20;
2092
    char *t21;
2093
    char *t22;
2094
    char *t23;
2095
    char *t24;
2096
    unsigned int t25;
2097
    unsigned int t26;
2098
    char *t27;
2099
    unsigned int t28;
2100
    unsigned int t29;
2101
    char *t30;
2102
    unsigned int t31;
2103
    unsigned int t32;
2104
    char *t33;
2105
 
2106
LAB0:    t1 = (t0 + 12448U);
2107
    t2 = *((char **)t1);
2108
    if (t2 == 0)
2109
        goto LAB2;
2110
 
2111
LAB3:    goto *t2;
2112
 
2113
LAB2:    xsi_set_current_line(79, ng0);
2114
    t2 = (t0 + 3768U);
2115
    t3 = *((char **)t2);
2116
    t2 = ((char*)((ng3)));
2117
    memset(t4, 0, 8);
2118
    t5 = (t3 + 4);
2119
    t6 = (t2 + 4);
2120
    t7 = *((unsigned int *)t3);
2121
    t8 = *((unsigned int *)t2);
2122
    t9 = (t7 ^ t8);
2123
    t10 = *((unsigned int *)t5);
2124
    t11 = *((unsigned int *)t6);
2125
    t12 = (t10 ^ t11);
2126
    t13 = (t9 | t12);
2127
    t14 = *((unsigned int *)t5);
2128
    t15 = *((unsigned int *)t6);
2129
    t16 = (t14 | t15);
2130
    t17 = (~(t16));
2131
    t18 = (t13 & t17);
2132
    if (t18 != 0)
2133
        goto LAB7;
2134
 
2135
LAB4:    if (t16 != 0)
2136
        goto LAB6;
2137
 
2138
LAB5:    *((unsigned int *)t4) = 1;
2139
 
2140
LAB7:    t20 = (t0 + 14912);
2141
    t21 = (t20 + 56U);
2142
    t22 = *((char **)t21);
2143
    t23 = (t22 + 56U);
2144
    t24 = *((char **)t23);
2145
    memset(t24, 0, 8);
2146
    t25 = 1U;
2147
    t26 = t25;
2148
    t27 = (t4 + 4);
2149
    t28 = *((unsigned int *)t4);
2150
    t25 = (t25 & t28);
2151
    t29 = *((unsigned int *)t27);
2152
    t26 = (t26 & t29);
2153
    t30 = (t24 + 4);
2154
    t31 = *((unsigned int *)t24);
2155
    *((unsigned int *)t24) = (t31 | t25);
2156
    t32 = *((unsigned int *)t30);
2157
    *((unsigned int *)t30) = (t32 | t26);
2158
    xsi_driver_vfirst_trans(t20, 0, 0);
2159
    t33 = (t0 + 13584);
2160
    *((int *)t33) = 1;
2161
 
2162
LAB1:    return;
2163
LAB6:    t19 = (t4 + 4);
2164
    *((unsigned int *)t4) = 1;
2165
    *((unsigned int *)t19) = 1;
2166
    goto LAB7;
2167
 
2168
}
2169
 
2170
static void Cont_80_21(char *t0)
2171
{
2172
    char t4[8];
2173
    char *t1;
2174
    char *t2;
2175
    char *t3;
2176
    char *t5;
2177
    char *t6;
2178
    unsigned int t7;
2179
    unsigned int t8;
2180
    unsigned int t9;
2181
    unsigned int t10;
2182
    unsigned int t11;
2183
    unsigned int t12;
2184
    unsigned int t13;
2185
    unsigned int t14;
2186
    unsigned int t15;
2187
    unsigned int t16;
2188
    unsigned int t17;
2189
    unsigned int t18;
2190
    char *t19;
2191
    char *t20;
2192
    char *t21;
2193
    char *t22;
2194
    char *t23;
2195
    char *t24;
2196
    unsigned int t25;
2197
    unsigned int t26;
2198
    char *t27;
2199
    unsigned int t28;
2200
    unsigned int t29;
2201
    char *t30;
2202
    unsigned int t31;
2203
    unsigned int t32;
2204
    char *t33;
2205
 
2206
LAB0:    t1 = (t0 + 12696U);
2207
    t2 = *((char **)t1);
2208
    if (t2 == 0)
2209
        goto LAB2;
2210
 
2211
LAB3:    goto *t2;
2212
 
2213
LAB2:    xsi_set_current_line(80, ng0);
2214
    t2 = (t0 + 3768U);
2215
    t3 = *((char **)t2);
2216
    t2 = ((char*)((ng4)));
2217
    memset(t4, 0, 8);
2218
    t5 = (t3 + 4);
2219
    t6 = (t2 + 4);
2220
    t7 = *((unsigned int *)t3);
2221
    t8 = *((unsigned int *)t2);
2222
    t9 = (t7 ^ t8);
2223
    t10 = *((unsigned int *)t5);
2224
    t11 = *((unsigned int *)t6);
2225
    t12 = (t10 ^ t11);
2226
    t13 = (t9 | t12);
2227
    t14 = *((unsigned int *)t5);
2228
    t15 = *((unsigned int *)t6);
2229
    t16 = (t14 | t15);
2230
    t17 = (~(t16));
2231
    t18 = (t13 & t17);
2232
    if (t18 != 0)
2233
        goto LAB7;
2234
 
2235
LAB4:    if (t16 != 0)
2236
        goto LAB6;
2237
 
2238
LAB5:    *((unsigned int *)t4) = 1;
2239
 
2240
LAB7:    t20 = (t0 + 14976);
2241
    t21 = (t20 + 56U);
2242
    t22 = *((char **)t21);
2243
    t23 = (t22 + 56U);
2244
    t24 = *((char **)t23);
2245
    memset(t24, 0, 8);
2246
    t25 = 1U;
2247
    t26 = t25;
2248
    t27 = (t4 + 4);
2249
    t28 = *((unsigned int *)t4);
2250
    t25 = (t25 & t28);
2251
    t29 = *((unsigned int *)t27);
2252
    t26 = (t26 & t29);
2253
    t30 = (t24 + 4);
2254
    t31 = *((unsigned int *)t24);
2255
    *((unsigned int *)t24) = (t31 | t25);
2256
    t32 = *((unsigned int *)t30);
2257
    *((unsigned int *)t30) = (t32 | t26);
2258
    xsi_driver_vfirst_trans(t20, 0, 0);
2259
    t33 = (t0 + 13600);
2260
    *((int *)t33) = 1;
2261
 
2262
LAB1:    return;
2263
LAB6:    t19 = (t4 + 4);
2264
    *((unsigned int *)t4) = 1;
2265
    *((unsigned int *)t19) = 1;
2266
    goto LAB7;
2267
 
2268
}
2269
 
2270
static void Cont_83_22(char *t0)
2271
{
2272
    char t3[32];
2273
    char *t1;
2274
    char *t2;
2275
    char *t4;
2276
    char *t5;
2277
    char *t6;
2278
    char *t7;
2279
    char *t8;
2280
    char *t9;
2281
    char *t10;
2282
    char *t11;
2283
    char *t12;
2284
    char *t13;
2285
    char *t14;
2286
    char *t15;
2287
    char *t16;
2288
    char *t17;
2289
    char *t18;
2290
    char *t19;
2291
    char *t20;
2292
 
2293
LAB0:    t1 = (t0 + 12944U);
2294
    t2 = *((char **)t1);
2295
    if (t2 == 0)
2296
        goto LAB2;
2297
 
2298
LAB3:    goto *t2;
2299
 
2300
LAB2:    xsi_set_current_line(83, ng0);
2301
    t2 = (t0 + 2808U);
2302
    t4 = *((char **)t2);
2303
    t2 = (t0 + 2648U);
2304
    t5 = *((char **)t2);
2305
    t2 = (t0 + 2488U);
2306
    t6 = *((char **)t2);
2307
    t2 = (t0 + 2328U);
2308
    t7 = *((char **)t2);
2309
    t2 = (t0 + 5688U);
2310
    t8 = *((char **)t2);
2311
    t2 = (t0 + 5528U);
2312
    t9 = *((char **)t2);
2313
    t2 = (t0 + 5368U);
2314
    t10 = *((char **)t2);
2315
    t2 = (t0 + 6008U);
2316
    t11 = *((char **)t2);
2317
    t2 = (t0 + 4408U);
2318
    t12 = *((char **)t2);
2319
    t2 = (t0 + 4248U);
2320
    t13 = *((char **)t2);
2321
    t2 = (t0 + 4088U);
2322
    t14 = *((char **)t2);
2323
    t2 = (t0 + 3928U);
2324
    t15 = *((char **)t2);
2325
    xsi_vlogtype_concat(t3, 119, 119, 12U, t15, 2, t14, 2, t13, 2, t12, 3, t11, 5, t10, 32, t9, 32, t8, 32, t7, 2, t6, 2, t5, 2, t4, 3);
2326
    t2 = (t0 + 15040);
2327
    t16 = (t2 + 56U);
2328
    t17 = *((char **)t16);
2329
    t18 = (t17 + 56U);
2330
    t19 = *((char **)t18);
2331
    xsi_vlog_bit_copy(t19, 0, t3, 0, 119);
2332
    xsi_driver_vfirst_trans(t2, 0, 118);
2333
    t20 = (t0 + 13616);
2334
    *((int *)t20) = 1;
2335
 
2336
LAB1:    return;
2337
}
2338
 
2339
 
2340
extern void work_m_00000000003881887383_1832149579_init()
2341
{
2342
        static char *pe[] = {(void *)Cont_25_0,(void *)Cont_37_1,(void *)Cont_38_2,(void *)Cont_39_3,(void *)Cont_40_4,(void *)Cont_41_5,(void *)Cont_42_6,(void *)Cont_43_7,(void *)Cont_44_8,(void *)Cont_45_9,(void *)Cont_49_10,(void *)Cont_55_11,(void *)Cont_59_12,(void *)Cont_60_13,(void *)Cont_62_14,(void *)Cont_63_15,(void *)Cont_66_16,(void *)Cont_67_17,(void *)Always_70_18,(void *)Cont_78_19,(void *)Cont_79_20,(void *)Cont_80_21,(void *)Cont_83_22};
2343
        xsi_register_didat("work_m_00000000003881887383_1832149579", "isim/tb_Test_Bed_isim_beh.exe.sim/work/m_00000000003881887383_1832149579.didat");
2344
        xsi_register_executes(pe);
2345
}

powered by: WebSVN 2.1.0

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