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

Subversion Repositories vtach

[/] [vtach/] [trunk/] [isim/] [bcdadd_tb_isim_beh.exe.sim/] [work/] [m_15115720593736110529_3833561510.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/bcdadd.v";
25
static unsigned int ng1[] = {0U, 0U};
26
static unsigned int ng2[] = {9U, 0U};
27
 
28
 
29
 
30
static void Cont_22_0(char *t0)
31
{
32
    char t4[8];
33
    char t14[8];
34
    char t22[8];
35
    char t25[8];
36
    char *t1;
37
    char *t2;
38
    char *t3;
39
    char *t5;
40
    unsigned int t6;
41
    unsigned int t7;
42
    unsigned int t8;
43
    unsigned int t9;
44
    unsigned int t10;
45
    unsigned int t11;
46
    char *t12;
47
    char *t13;
48
    char *t15;
49
    unsigned int t16;
50
    unsigned int t17;
51
    unsigned int t18;
52
    unsigned int t19;
53
    unsigned int t20;
54
    unsigned int t21;
55
    char *t23;
56
    char *t24;
57
    char *t26;
58
    char *t27;
59
    char *t28;
60
    char *t29;
61
    unsigned int t30;
62
    unsigned int t31;
63
    char *t32;
64
    unsigned int t33;
65
    unsigned int t34;
66
    char *t35;
67
    unsigned int t36;
68
    unsigned int t37;
69
    char *t38;
70
 
71
LAB0:    t1 = (t0 + 3480U);
72
    t2 = *((char **)t1);
73
    if (t2 == 0)
74
        goto LAB2;
75
 
76
LAB3:    goto *t2;
77
 
78
LAB2:    xsi_set_current_line(22, ng0);
79
    t2 = (t0 + 1048U);
80
    t3 = *((char **)t2);
81
    memset(t4, 0, 8);
82
    t2 = (t4 + 4);
83
    t5 = (t3 + 4);
84
    t6 = *((unsigned int *)t3);
85
    t7 = (t6 >> 16);
86
    t8 = (t7 & 1);
87
    *((unsigned int *)t4) = t8;
88
    t9 = *((unsigned int *)t5);
89
    t10 = (t9 >> 16);
90
    t11 = (t10 & 1);
91
    *((unsigned int *)t2) = t11;
92
    t12 = (t0 + 1208U);
93
    t13 = *((char **)t12);
94
    memset(t14, 0, 8);
95
    t12 = (t14 + 4);
96
    t15 = (t13 + 4);
97
    t16 = *((unsigned int *)t13);
98
    t17 = (t16 >> 12);
99
    t18 = (t17 & 1);
100
    *((unsigned int *)t14) = t18;
101
    t19 = *((unsigned int *)t15);
102
    t20 = (t19 >> 12);
103
    t21 = (t20 & 1);
104
    *((unsigned int *)t12) = t21;
105
    memset(t22, 0, 8);
106
    xsi_vlog_unsigned_add(t22, 1, t4, 1, t14, 1);
107
    t23 = (t0 + 2008U);
108
    t24 = *((char **)t23);
109
    memset(t25, 0, 8);
110
    xsi_vlog_unsigned_add(t25, 1, t22, 1, t24, 1);
111
    t23 = (t0 + 4392);
112
    t26 = (t23 + 56U);
113
    t27 = *((char **)t26);
114
    t28 = (t27 + 56U);
115
    t29 = *((char **)t28);
116
    memset(t29, 0, 8);
117
    t30 = 1U;
118
    t31 = t30;
119
    t32 = (t25 + 4);
120
    t33 = *((unsigned int *)t25);
121
    t30 = (t30 & t33);
122
    t34 = *((unsigned int *)t32);
123
    t31 = (t31 & t34);
124
    t35 = (t29 + 4);
125
    t36 = *((unsigned int *)t29);
126
    *((unsigned int *)t29) = (t36 | t30);
127
    t37 = *((unsigned int *)t35);
128
    *((unsigned int *)t35) = (t37 | t31);
129
    xsi_driver_vfirst_trans(t23, 16, 16);
130
    t38 = (t0 + 4296);
131
    *((int *)t38) = 1;
132
 
133
LAB1:    return;
134
}
135
 
136
static void implSig1_execute(char *t0)
137
{
138
    char *t1;
139
    char *t2;
140
    char *t3;
141
    char *t4;
142
    char *t5;
143
    char *t6;
144
    char *t7;
145
    unsigned int t8;
146
    unsigned int t9;
147
    char *t10;
148
    unsigned int t11;
149
    unsigned int t12;
150
    char *t13;
151
    unsigned int t14;
152
    unsigned int t15;
153
 
154
LAB0:    t1 = (t0 + 3728U);
155
    t2 = *((char **)t1);
156
    if (t2 == 0)
157
        goto LAB2;
158
 
159
LAB3:    goto *t2;
160
 
161
LAB2:    t2 = ((char*)((ng1)));
162
    t3 = (t0 + 4456);
163
    t4 = (t3 + 56U);
164
    t5 = *((char **)t4);
165
    t6 = (t5 + 56U);
166
    t7 = *((char **)t6);
167
    memset(t7, 0, 8);
168
    t8 = 1U;
169
    t9 = t8;
170
    t10 = (t2 + 4);
171
    t11 = *((unsigned int *)t2);
172
    t8 = (t8 & t11);
173
    t12 = *((unsigned int *)t10);
174
    t9 = (t9 & t12);
175
    t13 = (t7 + 4);
176
    t14 = *((unsigned int *)t7);
177
    *((unsigned int *)t7) = (t14 | t8);
178
    t15 = *((unsigned int *)t13);
179
    *((unsigned int *)t13) = (t15 | t9);
180
    xsi_driver_vfirst_trans(t3, 0, 0);
181
 
182
LAB1:    return;
183
}
184
 
185
static void implSig2_execute(char *t0)
186
{
187
    char t3[8];
188
    char t4[8];
189
    char t6[8];
190
    char *t1;
191
    char *t2;
192
    char *t5;
193
    char *t7;
194
    unsigned int t8;
195
    unsigned int t9;
196
    unsigned int t10;
197
    unsigned int t11;
198
    unsigned int t12;
199
    unsigned int t13;
200
    char *t14;
201
    unsigned int t15;
202
    unsigned int t16;
203
    unsigned int t17;
204
    unsigned int t18;
205
    unsigned int t19;
206
    char *t20;
207
    char *t21;
208
    unsigned int t22;
209
    unsigned int t23;
210
    unsigned int t24;
211
    char *t25;
212
    unsigned int t26;
213
    unsigned int t27;
214
    unsigned int t28;
215
    unsigned int t29;
216
    char *t30;
217
    char *t31;
218
    char *t32;
219
    char *t33;
220
    char *t34;
221
    char *t35;
222
    unsigned int t36;
223
    unsigned int t37;
224
    char *t38;
225
    unsigned int t39;
226
    unsigned int t40;
227
    char *t41;
228
    unsigned int t42;
229
    unsigned int t43;
230
    char *t44;
231
 
232
LAB0:    t1 = (t0 + 3976U);
233
    t2 = *((char **)t1);
234
    if (t2 == 0)
235
        goto LAB2;
236
 
237
LAB3:    goto *t2;
238
 
239
LAB2:    t2 = (t0 + 1208U);
240
    t5 = *((char **)t2);
241
    memset(t6, 0, 8);
242
    t2 = (t6 + 4);
243
    t7 = (t5 + 4);
244
    t8 = *((unsigned int *)t5);
245
    t9 = (t8 >> 12);
246
    t10 = (t9 & 1);
247
    *((unsigned int *)t6) = t10;
248
    t11 = *((unsigned int *)t7);
249
    t12 = (t11 >> 12);
250
    t13 = (t12 & 1);
251
    *((unsigned int *)t2) = t13;
252
    memset(t4, 0, 8);
253
    t14 = (t6 + 4);
254
    t15 = *((unsigned int *)t14);
255
    t16 = (~(t15));
256
    t17 = *((unsigned int *)t6);
257
    t18 = (t17 & t16);
258
    t19 = (t18 & 1U);
259
    if (t19 != 0)
260
        goto LAB4;
261
 
262
LAB5:    if (*((unsigned int *)t14) != 0)
263
        goto LAB6;
264
 
265
LAB7:    t21 = (t4 + 4);
266
    t22 = *((unsigned int *)t4);
267
    t23 = *((unsigned int *)t21);
268
    t24 = (t22 || t23);
269
    if (t24 > 0)
270
        goto LAB8;
271
 
272
LAB9:    t26 = *((unsigned int *)t4);
273
    t27 = (~(t26));
274
    t28 = *((unsigned int *)t21);
275
    t29 = (t27 || t28);
276
    if (t29 > 0)
277
        goto LAB10;
278
 
279
LAB11:    if (*((unsigned int *)t21) > 0)
280
        goto LAB12;
281
 
282
LAB13:    if (*((unsigned int *)t4) > 0)
283
        goto LAB14;
284
 
285
LAB15:    memcpy(t3, t30, 8);
286
 
287
LAB16:    t31 = (t0 + 4520);
288
    t32 = (t31 + 56U);
289
    t33 = *((char **)t32);
290
    t34 = (t33 + 56U);
291
    t35 = *((char **)t34);
292
    memset(t35, 0, 8);
293
    t36 = 15U;
294
    t37 = t36;
295
    t38 = (t3 + 4);
296
    t39 = *((unsigned int *)t3);
297
    t36 = (t36 & t39);
298
    t40 = *((unsigned int *)t38);
299
    t37 = (t37 & t40);
300
    t41 = (t35 + 4);
301
    t42 = *((unsigned int *)t35);
302
    *((unsigned int *)t35) = (t42 | t36);
303
    t43 = *((unsigned int *)t41);
304
    *((unsigned int *)t41) = (t43 | t37);
305
    xsi_driver_vfirst_trans(t31, 0, 3);
306
    t44 = (t0 + 4312);
307
    *((int *)t44) = 1;
308
 
309
LAB1:    return;
310
LAB4:    *((unsigned int *)t4) = 1;
311
    goto LAB7;
312
 
313
LAB6:    t20 = (t4 + 4);
314
    *((unsigned int *)t4) = 1;
315
    *((unsigned int *)t20) = 1;
316
    goto LAB7;
317
 
318
LAB8:    t25 = ((char*)((ng2)));
319
    goto LAB9;
320
 
321
LAB10:    t30 = ((char*)((ng1)));
322
    goto LAB11;
323
 
324
LAB12:    xsi_vlog_unsigned_bit_combine(t3, 4, t25, 4, t30, 4);
325
    goto LAB16;
326
 
327
LAB14:    memcpy(t3, t25, 8);
328
    goto LAB16;
329
 
330
}
331
 
332
 
333
extern void work_m_15115720593736110529_3833561510_init()
334
{
335
        static char *pe[] = {(void *)Cont_22_0,(void *)implSig1_execute,(void *)implSig2_execute};
336
        xsi_register_didat("work_m_15115720593736110529_3833561510", "isim/bcdadd_tb_isim_beh.exe.sim/work/m_15115720593736110529_3833561510.didat");
337
        xsi_register_executes(pe);
338
}

powered by: WebSVN 2.1.0

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