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

Subversion Repositories vtach

[/] [vtach/] [trunk/] [isim/] [bcdadd_tb_isim_beh.exe.sim/] [work/] [m_08320463847941471688_3487611372.c] - Blame information for rev 2

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 2 wd5gnr
/**********************************************************************/
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 0xb4d1ced7 */
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 = "/home/alw/projects/vtachspartan/bcdincr.v";
25
static unsigned int ng1[] = {1U, 0U};
26
static unsigned int ng2[] = {0U, 0U};
27
 
28
 
29
 
30
static void Cont_23_0(char *t0)
31
{
32
    char t3[8];
33
    char *t1;
34
    char *t2;
35
    char *t4;
36
    char *t5;
37
    unsigned int t6;
38
    unsigned int t7;
39
    unsigned int t8;
40
    unsigned int t9;
41
    unsigned int t10;
42
    unsigned int t11;
43
    char *t12;
44
    char *t13;
45
    char *t14;
46
    char *t15;
47
    char *t16;
48
    unsigned int t17;
49
    unsigned int t18;
50
    char *t19;
51
    unsigned int t20;
52
    unsigned int t21;
53
    char *t22;
54
    unsigned int t23;
55
    unsigned int t24;
56
    char *t25;
57
 
58
LAB0:    t1 = (t0 + 5080U);
59
    t2 = *((char **)t1);
60
    if (t2 == 0)
61
        goto LAB2;
62
 
63
LAB3:    goto *t2;
64
 
65
LAB2:    xsi_set_current_line(23, ng0);
66
    t2 = (t0 + 1048U);
67
    t4 = *((char **)t2);
68
    memset(t3, 0, 8);
69
    t2 = (t3 + 4);
70
    t5 = (t4 + 4);
71
    t6 = *((unsigned int *)t4);
72
    t7 = (t6 >> 0);
73
    *((unsigned int *)t3) = t7;
74
    t8 = *((unsigned int *)t5);
75
    t9 = (t8 >> 0);
76
    *((unsigned int *)t2) = t9;
77
    t10 = *((unsigned int *)t3);
78
    *((unsigned int *)t3) = (t10 & 15U);
79
    t11 = *((unsigned int *)t2);
80
    *((unsigned int *)t2) = (t11 & 15U);
81
    t12 = (t0 + 7776);
82
    t13 = (t12 + 56U);
83
    t14 = *((char **)t13);
84
    t15 = (t14 + 56U);
85
    t16 = *((char **)t15);
86
    memset(t16, 0, 8);
87
    t17 = 15U;
88
    t18 = t17;
89
    t19 = (t3 + 4);
90
    t20 = *((unsigned int *)t3);
91
    t17 = (t17 & t20);
92
    t21 = *((unsigned int *)t19);
93
    t18 = (t18 & t21);
94
    t22 = (t16 + 4);
95
    t23 = *((unsigned int *)t16);
96
    *((unsigned int *)t16) = (t23 | t17);
97
    t24 = *((unsigned int *)t22);
98
    *((unsigned int *)t22) = (t24 | t18);
99
    xsi_driver_vfirst_trans(t12, 0, 3);
100
    t25 = (t0 + 7632);
101
    *((int *)t25) = 1;
102
 
103
LAB1:    return;
104
}
105
 
106
static void Cont_24_1(char *t0)
107
{
108
    char t3[8];
109
    char *t1;
110
    char *t2;
111
    char *t4;
112
    char *t5;
113
    unsigned int t6;
114
    unsigned int t7;
115
    unsigned int t8;
116
    unsigned int t9;
117
    unsigned int t10;
118
    unsigned int t11;
119
    char *t12;
120
    char *t13;
121
    char *t14;
122
    char *t15;
123
    char *t16;
124
    unsigned int t17;
125
    unsigned int t18;
126
    char *t19;
127
    unsigned int t20;
128
    unsigned int t21;
129
    char *t22;
130
    unsigned int t23;
131
    unsigned int t24;
132
    char *t25;
133
 
134
LAB0:    t1 = (t0 + 5328U);
135
    t2 = *((char **)t1);
136
    if (t2 == 0)
137
        goto LAB2;
138
 
139
LAB3:    goto *t2;
140
 
141
LAB2:    xsi_set_current_line(24, ng0);
142
    t2 = (t0 + 1048U);
143
    t4 = *((char **)t2);
144
    memset(t3, 0, 8);
145
    t2 = (t3 + 4);
146
    t5 = (t4 + 4);
147
    t6 = *((unsigned int *)t4);
148
    t7 = (t6 >> 4);
149
    *((unsigned int *)t3) = t7;
150
    t8 = *((unsigned int *)t5);
151
    t9 = (t8 >> 4);
152
    *((unsigned int *)t2) = t9;
153
    t10 = *((unsigned int *)t3);
154
    *((unsigned int *)t3) = (t10 & 15U);
155
    t11 = *((unsigned int *)t2);
156
    *((unsigned int *)t2) = (t11 & 15U);
157
    t12 = (t0 + 7840);
158
    t13 = (t12 + 56U);
159
    t14 = *((char **)t13);
160
    t15 = (t14 + 56U);
161
    t16 = *((char **)t15);
162
    memset(t16, 0, 8);
163
    t17 = 15U;
164
    t18 = t17;
165
    t19 = (t3 + 4);
166
    t20 = *((unsigned int *)t3);
167
    t17 = (t17 & t20);
168
    t21 = *((unsigned int *)t19);
169
    t18 = (t18 & t21);
170
    t22 = (t16 + 4);
171
    t23 = *((unsigned int *)t16);
172
    *((unsigned int *)t16) = (t23 | t17);
173
    t24 = *((unsigned int *)t22);
174
    *((unsigned int *)t22) = (t24 | t18);
175
    xsi_driver_vfirst_trans(t12, 0, 3);
176
    t25 = (t0 + 7648);
177
    *((int *)t25) = 1;
178
 
179
LAB1:    return;
180
}
181
 
182
static void Cont_25_2(char *t0)
183
{
184
    char t3[8];
185
    char *t1;
186
    char *t2;
187
    char *t4;
188
    char *t5;
189
    unsigned int t6;
190
    unsigned int t7;
191
    unsigned int t8;
192
    unsigned int t9;
193
    unsigned int t10;
194
    unsigned int t11;
195
    char *t12;
196
    char *t13;
197
    char *t14;
198
    char *t15;
199
    char *t16;
200
    unsigned int t17;
201
    unsigned int t18;
202
    char *t19;
203
    unsigned int t20;
204
    unsigned int t21;
205
    char *t22;
206
    unsigned int t23;
207
    unsigned int t24;
208
    char *t25;
209
 
210
LAB0:    t1 = (t0 + 5576U);
211
    t2 = *((char **)t1);
212
    if (t2 == 0)
213
        goto LAB2;
214
 
215
LAB3:    goto *t2;
216
 
217
LAB2:    xsi_set_current_line(25, ng0);
218
    t2 = (t0 + 1048U);
219
    t4 = *((char **)t2);
220
    memset(t3, 0, 8);
221
    t2 = (t3 + 4);
222
    t5 = (t4 + 4);
223
    t6 = *((unsigned int *)t4);
224
    t7 = (t6 >> 8);
225
    *((unsigned int *)t3) = t7;
226
    t8 = *((unsigned int *)t5);
227
    t9 = (t8 >> 8);
228
    *((unsigned int *)t2) = t9;
229
    t10 = *((unsigned int *)t3);
230
    *((unsigned int *)t3) = (t10 & 15U);
231
    t11 = *((unsigned int *)t2);
232
    *((unsigned int *)t2) = (t11 & 15U);
233
    t12 = (t0 + 7904);
234
    t13 = (t12 + 56U);
235
    t14 = *((char **)t13);
236
    t15 = (t14 + 56U);
237
    t16 = *((char **)t15);
238
    memset(t16, 0, 8);
239
    t17 = 15U;
240
    t18 = t17;
241
    t19 = (t3 + 4);
242
    t20 = *((unsigned int *)t3);
243
    t17 = (t17 & t20);
244
    t21 = *((unsigned int *)t19);
245
    t18 = (t18 & t21);
246
    t22 = (t16 + 4);
247
    t23 = *((unsigned int *)t16);
248
    *((unsigned int *)t16) = (t23 | t17);
249
    t24 = *((unsigned int *)t22);
250
    *((unsigned int *)t22) = (t24 | t18);
251
    xsi_driver_vfirst_trans(t12, 0, 3);
252
    t25 = (t0 + 7664);
253
    *((int *)t25) = 1;
254
 
255
LAB1:    return;
256
}
257
 
258
static void Cont_26_3(char *t0)
259
{
260
    char t3[8];
261
    char *t1;
262
    char *t2;
263
    char *t4;
264
    char *t5;
265
    unsigned int t6;
266
    unsigned int t7;
267
    unsigned int t8;
268
    unsigned int t9;
269
    unsigned int t10;
270
    unsigned int t11;
271
    char *t12;
272
    char *t13;
273
    char *t14;
274
    char *t15;
275
    char *t16;
276
    unsigned int t17;
277
    unsigned int t18;
278
    char *t19;
279
    unsigned int t20;
280
    unsigned int t21;
281
    char *t22;
282
    unsigned int t23;
283
    unsigned int t24;
284
    char *t25;
285
 
286
LAB0:    t1 = (t0 + 5824U);
287
    t2 = *((char **)t1);
288
    if (t2 == 0)
289
        goto LAB2;
290
 
291
LAB3:    goto *t2;
292
 
293
LAB2:    xsi_set_current_line(26, ng0);
294
    t2 = (t0 + 1048U);
295
    t4 = *((char **)t2);
296
    memset(t3, 0, 8);
297
    t2 = (t3 + 4);
298
    t5 = (t4 + 4);
299
    t6 = *((unsigned int *)t4);
300
    t7 = (t6 >> 12);
301
    *((unsigned int *)t3) = t7;
302
    t8 = *((unsigned int *)t5);
303
    t9 = (t8 >> 12);
304
    *((unsigned int *)t2) = t9;
305
    t10 = *((unsigned int *)t3);
306
    *((unsigned int *)t3) = (t10 & 15U);
307
    t11 = *((unsigned int *)t2);
308
    *((unsigned int *)t2) = (t11 & 15U);
309
    t12 = (t0 + 7968);
310
    t13 = (t12 + 56U);
311
    t14 = *((char **)t13);
312
    t15 = (t14 + 56U);
313
    t16 = *((char **)t15);
314
    memset(t16, 0, 8);
315
    t17 = 15U;
316
    t18 = t17;
317
    t19 = (t3 + 4);
318
    t20 = *((unsigned int *)t3);
319
    t17 = (t17 & t20);
320
    t21 = *((unsigned int *)t19);
321
    t18 = (t18 & t21);
322
    t22 = (t16 + 4);
323
    t23 = *((unsigned int *)t16);
324
    *((unsigned int *)t16) = (t23 | t17);
325
    t24 = *((unsigned int *)t22);
326
    *((unsigned int *)t22) = (t24 | t18);
327
    xsi_driver_vfirst_trans(t12, 0, 3);
328
    t25 = (t0 + 7680);
329
    *((int *)t25) = 1;
330
 
331
LAB1:    return;
332
}
333
 
334
static void Cont_36_4(char *t0)
335
{
336
    char t3[8];
337
    char t9[8];
338
    char t19[8];
339
    char *t1;
340
    char *t2;
341
    char *t4;
342
    char *t5;
343
    char *t6;
344
    char *t7;
345
    char *t8;
346
    char *t10;
347
    unsigned int t11;
348
    unsigned int t12;
349
    unsigned int t13;
350
    unsigned int t14;
351
    unsigned int t15;
352
    unsigned int t16;
353
    char *t17;
354
    char *t18;
355
    char *t20;
356
    char *t21;
357
    char *t22;
358
    char *t23;
359
    unsigned int t24;
360
    unsigned int t25;
361
    char *t26;
362
    unsigned int t27;
363
    unsigned int t28;
364
    char *t29;
365
    unsigned int t30;
366
    unsigned int t31;
367
    char *t32;
368
 
369
LAB0:    t1 = (t0 + 6072U);
370
    t2 = *((char **)t1);
371
    if (t2 == 0)
372
        goto LAB2;
373
 
374
LAB3:    goto *t2;
375
 
376
LAB2:    xsi_set_current_line(36, ng0);
377
    t2 = (t0 + 2488U);
378
    t4 = *((char **)t2);
379
    t2 = (t0 + 2008U);
380
    t5 = *((char **)t2);
381
    t2 = (t0 + 1368U);
382
    t6 = *((char **)t2);
383
    t2 = (t0 + 1528U);
384
    t7 = *((char **)t2);
385
    t2 = (t0 + 1048U);
386
    t8 = *((char **)t2);
387
    memset(t9, 0, 8);
388
    t2 = (t9 + 4);
389
    t10 = (t8 + 4);
390
    t11 = *((unsigned int *)t8);
391
    t12 = (t11 >> 16);
392
    t13 = (t12 & 1);
393
    *((unsigned int *)t9) = t13;
394
    t14 = *((unsigned int *)t10);
395
    t15 = (t14 >> 16);
396
    t16 = (t15 & 1);
397
    *((unsigned int *)t2) = t16;
398
    t17 = (t0 + 2968U);
399
    t18 = *((char **)t17);
400
    memset(t19, 0, 8);
401
    xsi_vlog_unsigned_add(t19, 1, t9, 1, t18, 1);
402
    xsi_vlogtype_concat(t3, 17, 17, 5U, t19, 1, t7, 4, t6, 4, t5, 4, t4, 4);
403
    t17 = (t0 + 8032);
404
    t20 = (t17 + 56U);
405
    t21 = *((char **)t20);
406
    t22 = (t21 + 56U);
407
    t23 = *((char **)t22);
408
    memset(t23, 0, 8);
409
    t24 = 131071U;
410
    t25 = t24;
411
    t26 = (t3 + 4);
412
    t27 = *((unsigned int *)t3);
413
    t24 = (t24 & t27);
414
    t28 = *((unsigned int *)t26);
415
    t25 = (t25 & t28);
416
    t29 = (t23 + 4);
417
    t30 = *((unsigned int *)t23);
418
    *((unsigned int *)t23) = (t30 | t24);
419
    t31 = *((unsigned int *)t29);
420
    *((unsigned int *)t29) = (t31 | t25);
421
    xsi_driver_vfirst_trans(t17, 0, 16);
422
    t32 = (t0 + 7696);
423
    *((int *)t32) = 1;
424
 
425
LAB1:    return;
426
}
427
 
428
static void implSig1_execute(char *t0)
429
{
430
    char *t1;
431
    char *t2;
432
    char *t3;
433
    char *t4;
434
    char *t5;
435
    char *t6;
436
    char *t7;
437
    unsigned int t8;
438
    unsigned int t9;
439
    char *t10;
440
    unsigned int t11;
441
    unsigned int t12;
442
    char *t13;
443
    unsigned int t14;
444
    unsigned int t15;
445
 
446
LAB0:    t1 = (t0 + 6320U);
447
    t2 = *((char **)t1);
448
    if (t2 == 0)
449
        goto LAB2;
450
 
451
LAB3:    goto *t2;
452
 
453
LAB2:    t2 = ((char*)((ng1)));
454
    t3 = (t0 + 8096);
455
    t4 = (t3 + 56U);
456
    t5 = *((char **)t4);
457
    t6 = (t5 + 56U);
458
    t7 = *((char **)t6);
459
    memset(t7, 0, 8);
460
    t8 = 15U;
461
    t9 = t8;
462
    t10 = (t2 + 4);
463
    t11 = *((unsigned int *)t2);
464
    t8 = (t8 & t11);
465
    t12 = *((unsigned int *)t10);
466
    t9 = (t9 & t12);
467
    t13 = (t7 + 4);
468
    t14 = *((unsigned int *)t7);
469
    *((unsigned int *)t7) = (t14 | t8);
470
    t15 = *((unsigned int *)t13);
471
    *((unsigned int *)t13) = (t15 | t9);
472
    xsi_driver_vfirst_trans(t3, 0, 3);
473
 
474
LAB1:    return;
475
}
476
 
477
static void implSig2_execute(char *t0)
478
{
479
    char *t1;
480
    char *t2;
481
    char *t3;
482
    char *t4;
483
    char *t5;
484
    char *t6;
485
    char *t7;
486
    unsigned int t8;
487
    unsigned int t9;
488
    char *t10;
489
    unsigned int t11;
490
    unsigned int t12;
491
    char *t13;
492
    unsigned int t14;
493
    unsigned int t15;
494
 
495
LAB0:    t1 = (t0 + 6568U);
496
    t2 = *((char **)t1);
497
    if (t2 == 0)
498
        goto LAB2;
499
 
500
LAB3:    goto *t2;
501
 
502
LAB2:    t2 = ((char*)((ng2)));
503
    t3 = (t0 + 8160);
504
    t4 = (t3 + 56U);
505
    t5 = *((char **)t4);
506
    t6 = (t5 + 56U);
507
    t7 = *((char **)t6);
508
    memset(t7, 0, 8);
509
    t8 = 1U;
510
    t9 = t8;
511
    t10 = (t2 + 4);
512
    t11 = *((unsigned int *)t2);
513
    t8 = (t8 & t11);
514
    t12 = *((unsigned int *)t10);
515
    t9 = (t9 & t12);
516
    t13 = (t7 + 4);
517
    t14 = *((unsigned int *)t7);
518
    *((unsigned int *)t7) = (t14 | t8);
519
    t15 = *((unsigned int *)t13);
520
    *((unsigned int *)t13) = (t15 | t9);
521
    xsi_driver_vfirst_trans(t3, 0, 0);
522
 
523
LAB1:    return;
524
}
525
 
526
static void implSig3_execute(char *t0)
527
{
528
    char *t1;
529
    char *t2;
530
    char *t3;
531
    char *t4;
532
    char *t5;
533
    char *t6;
534
    char *t7;
535
    unsigned int t8;
536
    unsigned int t9;
537
    char *t10;
538
    unsigned int t11;
539
    unsigned int t12;
540
    char *t13;
541
    unsigned int t14;
542
    unsigned int t15;
543
 
544
LAB0:    t1 = (t0 + 6816U);
545
    t2 = *((char **)t1);
546
    if (t2 == 0)
547
        goto LAB2;
548
 
549
LAB3:    goto *t2;
550
 
551
LAB2:    t2 = ((char*)((ng2)));
552
    t3 = (t0 + 8224);
553
    t4 = (t3 + 56U);
554
    t5 = *((char **)t4);
555
    t6 = (t5 + 56U);
556
    t7 = *((char **)t6);
557
    memset(t7, 0, 8);
558
    t8 = 15U;
559
    t9 = t8;
560
    t10 = (t2 + 4);
561
    t11 = *((unsigned int *)t2);
562
    t8 = (t8 & t11);
563
    t12 = *((unsigned int *)t10);
564
    t9 = (t9 & t12);
565
    t13 = (t7 + 4);
566
    t14 = *((unsigned int *)t7);
567
    *((unsigned int *)t7) = (t14 | t8);
568
    t15 = *((unsigned int *)t13);
569
    *((unsigned int *)t13) = (t15 | t9);
570
    xsi_driver_vfirst_trans(t3, 0, 3);
571
 
572
LAB1:    return;
573
}
574
 
575
static void implSig4_execute(char *t0)
576
{
577
    char *t1;
578
    char *t2;
579
    char *t3;
580
    char *t4;
581
    char *t5;
582
    char *t6;
583
    char *t7;
584
    unsigned int t8;
585
    unsigned int t9;
586
    char *t10;
587
    unsigned int t11;
588
    unsigned int t12;
589
    char *t13;
590
    unsigned int t14;
591
    unsigned int t15;
592
 
593
LAB0:    t1 = (t0 + 7064U);
594
    t2 = *((char **)t1);
595
    if (t2 == 0)
596
        goto LAB2;
597
 
598
LAB3:    goto *t2;
599
 
600
LAB2:    t2 = ((char*)((ng2)));
601
    t3 = (t0 + 8288);
602
    t4 = (t3 + 56U);
603
    t5 = *((char **)t4);
604
    t6 = (t5 + 56U);
605
    t7 = *((char **)t6);
606
    memset(t7, 0, 8);
607
    t8 = 15U;
608
    t9 = t8;
609
    t10 = (t2 + 4);
610
    t11 = *((unsigned int *)t2);
611
    t8 = (t8 & t11);
612
    t12 = *((unsigned int *)t10);
613
    t9 = (t9 & t12);
614
    t13 = (t7 + 4);
615
    t14 = *((unsigned int *)t7);
616
    *((unsigned int *)t7) = (t14 | t8);
617
    t15 = *((unsigned int *)t13);
618
    *((unsigned int *)t13) = (t15 | t9);
619
    xsi_driver_vfirst_trans(t3, 0, 3);
620
 
621
LAB1:    return;
622
}
623
 
624
static void implSig5_execute(char *t0)
625
{
626
    char *t1;
627
    char *t2;
628
    char *t3;
629
    char *t4;
630
    char *t5;
631
    char *t6;
632
    char *t7;
633
    unsigned int t8;
634
    unsigned int t9;
635
    char *t10;
636
    unsigned int t11;
637
    unsigned int t12;
638
    char *t13;
639
    unsigned int t14;
640
    unsigned int t15;
641
 
642
LAB0:    t1 = (t0 + 7312U);
643
    t2 = *((char **)t1);
644
    if (t2 == 0)
645
        goto LAB2;
646
 
647
LAB3:    goto *t2;
648
 
649
LAB2:    t2 = ((char*)((ng2)));
650
    t3 = (t0 + 8352);
651
    t4 = (t3 + 56U);
652
    t5 = *((char **)t4);
653
    t6 = (t5 + 56U);
654
    t7 = *((char **)t6);
655
    memset(t7, 0, 8);
656
    t8 = 15U;
657
    t9 = t8;
658
    t10 = (t2 + 4);
659
    t11 = *((unsigned int *)t2);
660
    t8 = (t8 & t11);
661
    t12 = *((unsigned int *)t10);
662
    t9 = (t9 & t12);
663
    t13 = (t7 + 4);
664
    t14 = *((unsigned int *)t7);
665
    *((unsigned int *)t7) = (t14 | t8);
666
    t15 = *((unsigned int *)t13);
667
    *((unsigned int *)t13) = (t15 | t9);
668
    xsi_driver_vfirst_trans(t3, 0, 3);
669
 
670
LAB1:    return;
671
}
672
 
673
 
674
extern void work_m_08320463847941471688_3487611372_init()
675
{
676
        static char *pe[] = {(void *)Cont_23_0,(void *)Cont_24_1,(void *)Cont_25_2,(void *)Cont_26_3,(void *)Cont_36_4,(void *)implSig1_execute,(void *)implSig2_execute,(void *)implSig3_execute,(void *)implSig4_execute,(void *)implSig5_execute};
677
        xsi_register_didat("work_m_08320463847941471688_3487611372", "isim/bcdadd_tb_isim_beh.exe.sim/work/m_08320463847941471688_3487611372.didat");
678
        xsi_register_executes(pe);
679
}

powered by: WebSVN 2.1.0

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