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_00000000002117167501_3908322909.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/interrupt_unit.v";
25
static int ng1[] = {1, 0};
26
static int ng2[] = {0, 0};
27
static int ng3[] = {3, 0};
28
static unsigned int ng4[] = {0U, 4294967295U};
29
 
30
 
31
 
32
static int sp_log2(char *t1, char *t2)
33
{
34
    char t7[8];
35
    char t18[8];
36
    int t0;
37
    char *t3;
38
    char *t4;
39
    char *t5;
40
    char *t6;
41
    char *t8;
42
    unsigned int t9;
43
    unsigned int t10;
44
    unsigned int t11;
45
    unsigned int t12;
46
    unsigned int t13;
47
    char *t14;
48
    char *t15;
49
    char *t16;
50
    char *t17;
51
    char *t19;
52
 
53
LAB0:    t0 = 1;
54
    xsi_set_current_line(48, ng0);
55
 
56
LAB2:    xsi_set_current_line(49, ng0);
57
    t3 = (t1 + 3960);
58
    t4 = (t3 + 56U);
59
    t5 = *((char **)t4);
60
    t6 = ((char*)((ng1)));
61
    memset(t7, 0, 8);
62
    xsi_vlog_signed_minus(t7, 32, t5, 32, t6, 32);
63
    t8 = (t1 + 3960);
64
    xsi_vlogvar_assign_value(t8, t7, 0, 0, 32);
65
    xsi_set_current_line(50, ng0);
66
    xsi_set_current_line(50, ng0);
67
    t3 = ((char*)((ng2)));
68
    t4 = (t1 + 3800);
69
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 32);
70
 
71
LAB3:    t3 = (t1 + 3960);
72
    t4 = (t3 + 56U);
73
    t5 = *((char **)t4);
74
    t6 = ((char*)((ng2)));
75
    memset(t7, 0, 8);
76
    xsi_vlog_signed_greater(t7, 32, t5, 32, t6, 32);
77
    t8 = (t7 + 4);
78
    t9 = *((unsigned int *)t8);
79
    t10 = (~(t9));
80
    t11 = *((unsigned int *)t7);
81
    t12 = (t11 & t10);
82
    t13 = (t12 != 0);
83
    if (t13 > 0)
84
        goto LAB4;
85
 
86
LAB5:    t0 = 0;
87
 
88
LAB1:    return t0;
89
LAB4:    xsi_set_current_line(51, ng0);
90
    t14 = (t1 + 3960);
91
    t15 = (t14 + 56U);
92
    t16 = *((char **)t15);
93
    t17 = ((char*)((ng1)));
94
    memset(t18, 0, 8);
95
    xsi_vlog_signed_rshift(t18, 32, t16, 32, t17, 32);
96
    t19 = (t1 + 3960);
97
    xsi_vlogvar_assign_value(t19, t18, 0, 0, 32);
98
    xsi_set_current_line(50, ng0);
99
    t3 = (t1 + 3800);
100
    t4 = (t3 + 56U);
101
    t5 = *((char **)t4);
102
    t6 = ((char*)((ng1)));
103
    memset(t7, 0, 8);
104
    xsi_vlog_signed_add(t7, 32, t5, 32, t6, 32);
105
    t8 = (t1 + 3800);
106
    xsi_vlogvar_assign_value(t8, t7, 0, 0, 32);
107
    goto LAB3;
108
 
109
}
110
 
111
static void Always_20_0(char *t0)
112
{
113
    char t6[8];
114
    char t15[8];
115
    char t22[8];
116
    char *t1;
117
    char *t2;
118
    char *t3;
119
    char *t4;
120
    char *t5;
121
    char *t7;
122
    unsigned int t8;
123
    unsigned int t9;
124
    unsigned int t10;
125
    unsigned int t11;
126
    unsigned int t12;
127
    char *t13;
128
    char *t14;
129
    char *t16;
130
    char *t17;
131
    char *t18;
132
    char *t19;
133
    char *t20;
134
    char *t21;
135
    char *t23;
136
    char *t24;
137
    unsigned int t25;
138
    unsigned int t26;
139
    unsigned int t27;
140
    unsigned int t28;
141
    unsigned int t29;
142
    unsigned int t30;
143
    unsigned int t31;
144
    unsigned int t32;
145
    unsigned int t33;
146
    unsigned int t34;
147
    unsigned int t35;
148
    unsigned int t36;
149
    char *t37;
150
    char *t38;
151
    unsigned int t39;
152
    unsigned int t40;
153
    unsigned int t41;
154
    unsigned int t42;
155
    unsigned int t43;
156
    char *t44;
157
    char *t45;
158
    char *t46;
159
    char *t47;
160
 
161
LAB0:    t1 = (t0 + 4880U);
162
    t2 = *((char **)t1);
163
    if (t2 == 0)
164
        goto LAB2;
165
 
166
LAB3:    goto *t2;
167
 
168
LAB2:    xsi_set_current_line(20, ng0);
169
    t2 = (t0 + 6192);
170
    *((int *)t2) = 1;
171
    t3 = (t0 + 4912);
172
    *((char **)t3) = t2;
173
    *((char **)t1) = &&LAB4;
174
 
175
LAB1:    return;
176
LAB4:    xsi_set_current_line(20, ng0);
177
 
178
LAB5:    xsi_set_current_line(21, ng0);
179
    xsi_set_current_line(21, ng0);
180
    t4 = ((char*)((ng3)));
181
    t5 = (t0 + 3640);
182
    xsi_vlogvar_assign_value(t5, t4, 0, 0, 32);
183
 
184
LAB6:    t2 = (t0 + 3640);
185
    t3 = (t2 + 56U);
186
    t4 = *((char **)t3);
187
    t5 = ((char*)((ng2)));
188
    memset(t6, 0, 8);
189
    xsi_vlog_signed_greatereq(t6, 32, t4, 32, t5, 32);
190
    t7 = (t6 + 4);
191
    t8 = *((unsigned int *)t7);
192
    t9 = (~(t8));
193
    t10 = *((unsigned int *)t6);
194
    t11 = (t10 & t9);
195
    t12 = (t11 != 0);
196
    if (t12 > 0)
197
        goto LAB7;
198
 
199
LAB8:    goto LAB2;
200
 
201
LAB7:    xsi_set_current_line(21, ng0);
202
 
203
LAB9:    xsi_set_current_line(22, ng0);
204
    t13 = (t0 + 1640U);
205
    t14 = *((char **)t13);
206
    t13 = (t0 + 1600U);
207
    t16 = (t13 + 72U);
208
    t17 = *((char **)t16);
209
    t18 = (t0 + 3640);
210
    t19 = (t18 + 56U);
211
    t20 = *((char **)t19);
212
    xsi_vlog_generic_get_index_select_value(t15, 32, t14, t17, 2, t20, 32, 1);
213
    t21 = ((char*)((ng1)));
214
    memset(t22, 0, 8);
215
    t23 = (t15 + 4);
216
    t24 = (t21 + 4);
217
    t25 = *((unsigned int *)t15);
218
    t26 = *((unsigned int *)t21);
219
    t27 = (t25 ^ t26);
220
    t28 = *((unsigned int *)t23);
221
    t29 = *((unsigned int *)t24);
222
    t30 = (t28 ^ t29);
223
    t31 = (t27 | t30);
224
    t32 = *((unsigned int *)t23);
225
    t33 = *((unsigned int *)t24);
226
    t34 = (t32 | t33);
227
    t35 = (~(t34));
228
    t36 = (t31 & t35);
229
    if (t36 != 0)
230
        goto LAB13;
231
 
232
LAB10:    if (t34 != 0)
233
        goto LAB12;
234
 
235
LAB11:    *((unsigned int *)t22) = 1;
236
 
237
LAB13:    t38 = (t22 + 4);
238
    t39 = *((unsigned int *)t38);
239
    t40 = (~(t39));
240
    t41 = *((unsigned int *)t22);
241
    t42 = (t41 & t40);
242
    t43 = (t42 != 0);
243
    if (t43 > 0)
244
        goto LAB14;
245
 
246
LAB15:
247
LAB16:    xsi_set_current_line(21, ng0);
248
    t2 = (t0 + 3640);
249
    t3 = (t2 + 56U);
250
    t4 = *((char **)t3);
251
    t5 = ((char*)((ng1)));
252
    memset(t6, 0, 8);
253
    xsi_vlog_signed_minus(t6, 32, t4, 32, t5, 32);
254
    t7 = (t0 + 3640);
255
    xsi_vlogvar_assign_value(t7, t6, 0, 0, 32);
256
    goto LAB6;
257
 
258
LAB12:    t37 = (t22 + 4);
259
    *((unsigned int *)t22) = 1;
260
    *((unsigned int *)t37) = 1;
261
    goto LAB13;
262
 
263
LAB14:    xsi_set_current_line(22, ng0);
264
 
265
LAB17:    xsi_set_current_line(23, ng0);
266
    t44 = (t0 + 3640);
267
    t45 = (t44 + 56U);
268
    t46 = *((char **)t45);
269
    t47 = (t0 + 3480);
270
    xsi_vlogvar_wait_assign_value(t47, t46, 0, 0, 2, 0LL);
271
    goto LAB16;
272
 
273
}
274
 
275
static void Initial_27_1(char *t0)
276
{
277
    char *t1;
278
    char *t2;
279
 
280
LAB0:    xsi_set_current_line(27, ng0);
281
 
282
LAB2:    xsi_set_current_line(28, ng0);
283
    t1 = ((char*)((ng1)));
284
    t2 = (t0 + 3320);
285
    xsi_vlogvar_wait_assign_value(t2, t1, 0, 0, 1, 0LL);
286
 
287
LAB1:    return;
288
}
289
 
290
static void Cont_30_2(char *t0)
291
{
292
    char t3[8];
293
    char t8[8];
294
    char t49[8];
295
    char *t1;
296
    char *t2;
297
    char *t4;
298
    char *t5;
299
    char *t6;
300
    char *t7;
301
    unsigned int t9;
302
    unsigned int t10;
303
    unsigned int t11;
304
    char *t12;
305
    char *t13;
306
    unsigned int t14;
307
    unsigned int t15;
308
    unsigned int t16;
309
    unsigned int t17;
310
    unsigned int t18;
311
    unsigned int t19;
312
    unsigned int t20;
313
    char *t21;
314
    char *t22;
315
    unsigned int t23;
316
    unsigned int t24;
317
    unsigned int t25;
318
    unsigned int t26;
319
    unsigned int t27;
320
    unsigned int t28;
321
    unsigned int t29;
322
    unsigned int t30;
323
    int t31;
324
    int t32;
325
    unsigned int t33;
326
    unsigned int t34;
327
    unsigned int t35;
328
    unsigned int t36;
329
    unsigned int t37;
330
    unsigned int t38;
331
    char *t39;
332
    unsigned int t40;
333
    unsigned int t41;
334
    unsigned int t42;
335
    unsigned int t43;
336
    unsigned int t44;
337
    char *t45;
338
    char *t46;
339
    char *t47;
340
    char *t48;
341
    unsigned int t50;
342
    unsigned int t51;
343
    unsigned int t52;
344
    char *t53;
345
    char *t54;
346
    char *t55;
347
    unsigned int t56;
348
    unsigned int t57;
349
    unsigned int t58;
350
    unsigned int t59;
351
    unsigned int t60;
352
    unsigned int t61;
353
    unsigned int t62;
354
    char *t63;
355
    char *t64;
356
    unsigned int t65;
357
    unsigned int t66;
358
    unsigned int t67;
359
    unsigned int t68;
360
    unsigned int t69;
361
    unsigned int t70;
362
    unsigned int t71;
363
    unsigned int t72;
364
    int t73;
365
    int t74;
366
    unsigned int t75;
367
    unsigned int t76;
368
    unsigned int t77;
369
    unsigned int t78;
370
    unsigned int t79;
371
    unsigned int t80;
372
    char *t81;
373
    char *t82;
374
    char *t83;
375
    char *t84;
376
    char *t85;
377
    unsigned int t86;
378
    unsigned int t87;
379
    char *t88;
380
    unsigned int t89;
381
    unsigned int t90;
382
    char *t91;
383
    unsigned int t92;
384
    unsigned int t93;
385
    char *t94;
386
 
387
LAB0:    t1 = (t0 + 5376U);
388
    t2 = *((char **)t1);
389
    if (t2 == 0)
390
        goto LAB2;
391
 
392
LAB3:    goto *t2;
393
 
394
LAB2:    xsi_set_current_line(30, ng0);
395
    t2 = (t0 + 3160);
396
    t4 = (t2 + 56U);
397
    t5 = *((char **)t4);
398
    t6 = (t0 + 1640U);
399
    t7 = *((char **)t6);
400
    t9 = *((unsigned int *)t5);
401
    t10 = *((unsigned int *)t7);
402
    t11 = (t9 & t10);
403
    *((unsigned int *)t8) = t11;
404
    t6 = (t5 + 4);
405
    t12 = (t7 + 4);
406
    t13 = (t8 + 4);
407
    t14 = *((unsigned int *)t6);
408
    t15 = *((unsigned int *)t12);
409
    t16 = (t14 | t15);
410
    *((unsigned int *)t13) = t16;
411
    t17 = *((unsigned int *)t13);
412
    t18 = (t17 != 0);
413
    if (t18 == 1)
414
        goto LAB4;
415
 
416
LAB5:
417
LAB6:    memset(t3, 0, 8);
418
    t39 = (t8 + 4);
419
    t40 = *((unsigned int *)t39);
420
    t41 = (~(t40));
421
    t42 = *((unsigned int *)t8);
422
    t43 = (t42 & t41);
423
    t44 = (t43 & 15U);
424
    if (t44 != 0)
425
        goto LAB7;
426
 
427
LAB8:    if (*((unsigned int *)t39) != 0)
428
        goto LAB9;
429
 
430
LAB10:    t46 = (t0 + 3320);
431
    t47 = (t46 + 56U);
432
    t48 = *((char **)t47);
433
    t50 = *((unsigned int *)t3);
434
    t51 = *((unsigned int *)t48);
435
    t52 = (t50 & t51);
436
    *((unsigned int *)t49) = t52;
437
    t53 = (t3 + 4);
438
    t54 = (t48 + 4);
439
    t55 = (t49 + 4);
440
    t56 = *((unsigned int *)t53);
441
    t57 = *((unsigned int *)t54);
442
    t58 = (t56 | t57);
443
    *((unsigned int *)t55) = t58;
444
    t59 = *((unsigned int *)t55);
445
    t60 = (t59 != 0);
446
    if (t60 == 1)
447
        goto LAB11;
448
 
449
LAB12:
450
LAB13:    t81 = (t0 + 6320);
451
    t82 = (t81 + 56U);
452
    t83 = *((char **)t82);
453
    t84 = (t83 + 56U);
454
    t85 = *((char **)t84);
455
    memset(t85, 0, 8);
456
    t86 = 1U;
457
    t87 = t86;
458
    t88 = (t49 + 4);
459
    t89 = *((unsigned int *)t49);
460
    t86 = (t86 & t89);
461
    t90 = *((unsigned int *)t88);
462
    t87 = (t87 & t90);
463
    t91 = (t85 + 4);
464
    t92 = *((unsigned int *)t85);
465
    *((unsigned int *)t85) = (t92 | t86);
466
    t93 = *((unsigned int *)t91);
467
    *((unsigned int *)t91) = (t93 | t87);
468
    xsi_driver_vfirst_trans(t81, 0, 0);
469
    t94 = (t0 + 6208);
470
    *((int *)t94) = 1;
471
 
472
LAB1:    return;
473
LAB4:    t19 = *((unsigned int *)t8);
474
    t20 = *((unsigned int *)t13);
475
    *((unsigned int *)t8) = (t19 | t20);
476
    t21 = (t5 + 4);
477
    t22 = (t7 + 4);
478
    t23 = *((unsigned int *)t5);
479
    t24 = (~(t23));
480
    t25 = *((unsigned int *)t21);
481
    t26 = (~(t25));
482
    t27 = *((unsigned int *)t7);
483
    t28 = (~(t27));
484
    t29 = *((unsigned int *)t22);
485
    t30 = (~(t29));
486
    t31 = (t24 & t26);
487
    t32 = (t28 & t30);
488
    t33 = (~(t31));
489
    t34 = (~(t32));
490
    t35 = *((unsigned int *)t13);
491
    *((unsigned int *)t13) = (t35 & t33);
492
    t36 = *((unsigned int *)t13);
493
    *((unsigned int *)t13) = (t36 & t34);
494
    t37 = *((unsigned int *)t8);
495
    *((unsigned int *)t8) = (t37 & t33);
496
    t38 = *((unsigned int *)t8);
497
    *((unsigned int *)t8) = (t38 & t34);
498
    goto LAB6;
499
 
500
LAB7:    *((unsigned int *)t3) = 1;
501
    goto LAB10;
502
 
503
LAB9:    t45 = (t3 + 4);
504
    *((unsigned int *)t3) = 1;
505
    *((unsigned int *)t45) = 1;
506
    goto LAB10;
507
 
508
LAB11:    t61 = *((unsigned int *)t49);
509
    t62 = *((unsigned int *)t55);
510
    *((unsigned int *)t49) = (t61 | t62);
511
    t63 = (t3 + 4);
512
    t64 = (t48 + 4);
513
    t65 = *((unsigned int *)t3);
514
    t66 = (~(t65));
515
    t67 = *((unsigned int *)t63);
516
    t68 = (~(t67));
517
    t69 = *((unsigned int *)t48);
518
    t70 = (~(t69));
519
    t71 = *((unsigned int *)t64);
520
    t72 = (~(t71));
521
    t73 = (t66 & t68);
522
    t74 = (t70 & t72);
523
    t75 = (~(t73));
524
    t76 = (~(t74));
525
    t77 = *((unsigned int *)t55);
526
    *((unsigned int *)t55) = (t77 & t75);
527
    t78 = *((unsigned int *)t55);
528
    *((unsigned int *)t55) = (t78 & t76);
529
    t79 = *((unsigned int *)t49);
530
    *((unsigned int *)t49) = (t79 & t75);
531
    t80 = *((unsigned int *)t49);
532
    *((unsigned int *)t49) = (t80 & t76);
533
    goto LAB13;
534
 
535
}
536
 
537
static void Cont_31_3(char *t0)
538
{
539
    char t3[8];
540
    char t4[8];
541
    char t19[8];
542
    char *t1;
543
    char *t2;
544
    char *t5;
545
    unsigned int t6;
546
    unsigned int t7;
547
    unsigned int t8;
548
    unsigned int t9;
549
    unsigned int t10;
550
    char *t11;
551
    char *t12;
552
    unsigned int t13;
553
    unsigned int t14;
554
    unsigned int t15;
555
    char *t16;
556
    char *t17;
557
    char *t18;
558
    char *t20;
559
    char *t21;
560
    char *t22;
561
    char *t23;
562
    char *t24;
563
    char *t25;
564
    char *t26;
565
    char *t27;
566
    char *t28;
567
    unsigned int t29;
568
    unsigned int t30;
569
    unsigned int t31;
570
    unsigned int t32;
571
    char *t33;
572
    char *t34;
573
    char *t35;
574
    char *t36;
575
    char *t37;
576
    char *t38;
577
    unsigned int t39;
578
    unsigned int t40;
579
    char *t41;
580
    unsigned int t42;
581
    unsigned int t43;
582
    char *t44;
583
    unsigned int t45;
584
    unsigned int t46;
585
    char *t47;
586
 
587
LAB0:    t1 = (t0 + 5624U);
588
    t2 = *((char **)t1);
589
    if (t2 == 0)
590
        goto LAB2;
591
 
592
LAB3:    goto *t2;
593
 
594
LAB2:    xsi_set_current_line(31, ng0);
595
    t2 = (t0 + 2440U);
596
    t5 = *((char **)t2);
597
    memset(t4, 0, 8);
598
    t2 = (t5 + 4);
599
    t6 = *((unsigned int *)t2);
600
    t7 = (~(t6));
601
    t8 = *((unsigned int *)t5);
602
    t9 = (t8 & t7);
603
    t10 = (t9 & 1U);
604
    if (t10 != 0)
605
        goto LAB4;
606
 
607
LAB5:    if (*((unsigned int *)t2) != 0)
608
        goto LAB6;
609
 
610
LAB7:    t12 = (t4 + 4);
611
    t13 = *((unsigned int *)t4);
612
    t14 = *((unsigned int *)t12);
613
    t15 = (t13 || t14);
614
    if (t15 > 0)
615
        goto LAB8;
616
 
617
LAB9:    t29 = *((unsigned int *)t4);
618
    t30 = (~(t29));
619
    t31 = *((unsigned int *)t12);
620
    t32 = (t30 || t31);
621
    if (t32 > 0)
622
        goto LAB10;
623
 
624
LAB11:    if (*((unsigned int *)t12) > 0)
625
        goto LAB12;
626
 
627
LAB13:    if (*((unsigned int *)t4) > 0)
628
        goto LAB14;
629
 
630
LAB15:    memcpy(t3, t33, 8);
631
 
632
LAB16:    t34 = (t0 + 6384);
633
    t35 = (t34 + 56U);
634
    t36 = *((char **)t35);
635
    t37 = (t36 + 56U);
636
    t38 = *((char **)t37);
637
    memset(t38, 0, 8);
638
    t39 = 63U;
639
    t40 = t39;
640
    t41 = (t3 + 4);
641
    t42 = *((unsigned int *)t3);
642
    t39 = (t39 & t42);
643
    t43 = *((unsigned int *)t41);
644
    t40 = (t40 & t43);
645
    t44 = (t38 + 4);
646
    t45 = *((unsigned int *)t38);
647
    *((unsigned int *)t38) = (t45 | t39);
648
    t46 = *((unsigned int *)t44);
649
    *((unsigned int *)t44) = (t46 | t40);
650
    xsi_driver_vfirst_trans(t34, 0, 5);
651
    t47 = (t0 + 6224);
652
    *((int *)t47) = 1;
653
 
654
LAB1:    return;
655
LAB4:    *((unsigned int *)t4) = 1;
656
    goto LAB7;
657
 
658
LAB6:    t11 = (t4 + 4);
659
    *((unsigned int *)t4) = 1;
660
    *((unsigned int *)t11) = 1;
661
    goto LAB7;
662
 
663
LAB8:    t16 = (t0 + 3000);
664
    t17 = (t16 + 56U);
665
    t18 = *((char **)t17);
666
    t20 = (t0 + 3000);
667
    t21 = (t20 + 72U);
668
    t22 = *((char **)t21);
669
    t23 = (t0 + 3000);
670
    t24 = (t23 + 64U);
671
    t25 = *((char **)t24);
672
    t26 = (t0 + 3480);
673
    t27 = (t26 + 56U);
674
    t28 = *((char **)t27);
675
    xsi_vlog_generic_get_array_select_value(t19, 32, t18, t22, t25, 2, 1, t28, 2, 2);
676
    goto LAB9;
677
 
678
LAB10:    t33 = ((char*)((ng4)));
679
    goto LAB11;
680
 
681
LAB12:    xsi_vlog_unsigned_bit_combine(t3, 32, t19, 32, t33, 32);
682
    goto LAB16;
683
 
684
LAB14:    memcpy(t3, t19, 8);
685
    goto LAB16;
686
 
687
}
688
 
689
static void Always_33_4(char *t0)
690
{
691
    char t13[8];
692
    char t37[8];
693
    char *t1;
694
    char *t2;
695
    char *t3;
696
    char *t4;
697
    char *t5;
698
    unsigned int t6;
699
    unsigned int t7;
700
    unsigned int t8;
701
    unsigned int t9;
702
    unsigned int t10;
703
    char *t11;
704
    char *t12;
705
    char *t14;
706
    char *t15;
707
    unsigned int t16;
708
    unsigned int t17;
709
    unsigned int t18;
710
    unsigned int t19;
711
    unsigned int t20;
712
    unsigned int t21;
713
    unsigned int t22;
714
    unsigned int t23;
715
    unsigned int t24;
716
    unsigned int t25;
717
    unsigned int t26;
718
    unsigned int t27;
719
    char *t28;
720
    char *t29;
721
    unsigned int t30;
722
    unsigned int t31;
723
    unsigned int t32;
724
    unsigned int t33;
725
    unsigned int t34;
726
    char *t35;
727
    char *t36;
728
    int t38;
729
    int t39;
730
    int t40;
731
    int t41;
732
    int t42;
733
 
734
LAB0:    t1 = (t0 + 5872U);
735
    t2 = *((char **)t1);
736
    if (t2 == 0)
737
        goto LAB2;
738
 
739
LAB3:    goto *t2;
740
 
741
LAB2:    xsi_set_current_line(33, ng0);
742
    t2 = (t0 + 6240);
743
    *((int *)t2) = 1;
744
    t3 = (t0 + 5904);
745
    *((char **)t3) = t2;
746
    *((char **)t1) = &&LAB4;
747
 
748
LAB1:    return;
749
LAB4:    xsi_set_current_line(33, ng0);
750
 
751
LAB5:    xsi_set_current_line(34, ng0);
752
    t4 = (t0 + 2120U);
753
    t5 = *((char **)t4);
754
    t4 = (t5 + 4);
755
    t6 = *((unsigned int *)t4);
756
    t7 = (~(t6));
757
    t8 = *((unsigned int *)t5);
758
    t9 = (t8 & t7);
759
    t10 = (t9 != 0);
760
    if (t10 > 0)
761
        goto LAB6;
762
 
763
LAB7:
764
LAB8:    xsi_set_current_line(40, ng0);
765
    t2 = (t0 + 2440U);
766
    t3 = *((char **)t2);
767
    t2 = (t3 + 4);
768
    t6 = *((unsigned int *)t2);
769
    t7 = (~(t6));
770
    t8 = *((unsigned int *)t3);
771
    t9 = (t8 & t7);
772
    t10 = (t9 != 0);
773
    if (t10 > 0)
774
        goto LAB20;
775
 
776
LAB21:    xsi_set_current_line(41, ng0);
777
    t2 = (t0 + 2280U);
778
    t3 = *((char **)t2);
779
    t2 = (t3 + 4);
780
    t6 = *((unsigned int *)t2);
781
    t7 = (~(t6));
782
    t8 = *((unsigned int *)t3);
783
    t9 = (t8 & t7);
784
    t10 = (t9 != 0);
785
    if (t10 > 0)
786
        goto LAB23;
787
 
788
LAB24:
789
LAB25:
790
LAB22:    goto LAB2;
791
 
792
LAB6:    xsi_set_current_line(34, ng0);
793
 
794
LAB9:    xsi_set_current_line(35, ng0);
795
    t11 = (t0 + 1800U);
796
    t12 = *((char **)t11);
797
    t11 = ((char*)((ng2)));
798
    memset(t13, 0, 8);
799
    t14 = (t12 + 4);
800
    t15 = (t11 + 4);
801
    t16 = *((unsigned int *)t12);
802
    t17 = *((unsigned int *)t11);
803
    t18 = (t16 ^ t17);
804
    t19 = *((unsigned int *)t14);
805
    t20 = *((unsigned int *)t15);
806
    t21 = (t19 ^ t20);
807
    t22 = (t18 | t21);
808
    t23 = *((unsigned int *)t14);
809
    t24 = *((unsigned int *)t15);
810
    t25 = (t23 | t24);
811
    t26 = (~(t25));
812
    t27 = (t22 & t26);
813
    if (t27 != 0)
814
        goto LAB13;
815
 
816
LAB10:    if (t25 != 0)
817
        goto LAB12;
818
 
819
LAB11:    *((unsigned int *)t13) = 1;
820
 
821
LAB13:    t29 = (t13 + 4);
822
    t30 = *((unsigned int *)t29);
823
    t31 = (~(t30));
824
    t32 = *((unsigned int *)t13);
825
    t33 = (t32 & t31);
826
    t34 = (t33 != 0);
827
    if (t34 > 0)
828
        goto LAB14;
829
 
830
LAB15:    xsi_set_current_line(36, ng0);
831
 
832
LAB17:    xsi_set_current_line(37, ng0);
833
    t2 = (t0 + 1960U);
834
    t3 = *((char **)t2);
835
    t2 = (t0 + 3000);
836
    t4 = (t0 + 3000);
837
    t5 = (t4 + 72U);
838
    t11 = *((char **)t5);
839
    t12 = (t0 + 3000);
840
    t14 = (t12 + 64U);
841
    t15 = *((char **)t14);
842
    t28 = (t0 + 1800U);
843
    t29 = *((char **)t28);
844
    xsi_vlog_generic_convert_array_indices(t13, t37, t11, t15, 2, 1, t29, 3, 2);
845
    t28 = (t13 + 4);
846
    t6 = *((unsigned int *)t28);
847
    t38 = (!(t6));
848
    t35 = (t37 + 4);
849
    t7 = *((unsigned int *)t35);
850
    t39 = (!(t7));
851
    t40 = (t38 && t39);
852
    if (t40 == 1)
853
        goto LAB18;
854
 
855
LAB19:
856
LAB16:    goto LAB8;
857
 
858
LAB12:    t28 = (t13 + 4);
859
    *((unsigned int *)t13) = 1;
860
    *((unsigned int *)t28) = 1;
861
    goto LAB13;
862
 
863
LAB14:    xsi_set_current_line(35, ng0);
864
    t35 = (t0 + 1960U);
865
    t36 = *((char **)t35);
866
    t35 = (t0 + 3160);
867
    xsi_vlogvar_wait_assign_value(t35, t36, 0, 0, 4, 0LL);
868
    goto LAB16;
869
 
870
LAB18:    t8 = *((unsigned int *)t13);
871
    t9 = *((unsigned int *)t37);
872
    t41 = (t8 - t9);
873
    t42 = (t41 + 1);
874
    xsi_vlogvar_wait_assign_value(t2, t3, 0, *((unsigned int *)t37), t42, 0LL);
875
    goto LAB19;
876
 
877
LAB20:    xsi_set_current_line(40, ng0);
878
    t4 = ((char*)((ng2)));
879
    t5 = (t0 + 3320);
880
    xsi_vlogvar_wait_assign_value(t5, t4, 0, 0, 1, 0LL);
881
    goto LAB22;
882
 
883
LAB23:    xsi_set_current_line(41, ng0);
884
    t4 = ((char*)((ng1)));
885
    t5 = (t0 + 3320);
886
    xsi_vlogvar_wait_assign_value(t5, t4, 0, 0, 1, 0LL);
887
    goto LAB25;
888
 
889
}
890
 
891
 
892
extern void work_m_00000000002117167501_3908322909_init()
893
{
894
        static char *pe[] = {(void *)Always_20_0,(void *)Initial_27_1,(void *)Cont_30_2,(void *)Cont_31_3,(void *)Always_33_4};
895
        static char *se[] = {(void *)sp_log2};
896
        xsi_register_didat("work_m_00000000002117167501_3908322909", "isim/tb_Test_Bed_isim_beh.exe.sim/work/m_00000000002117167501_3908322909.didat");
897
        xsi_register_executes(pe);
898
        xsi_register_subprogram_executes(se);
899
}

powered by: WebSVN 2.1.0

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