source: PROJECT_CORE_MPI/CORE_MPI/TRUNK/isim/MultiMPITest_isim_beh.exe.sim/noclib/p_2086312171.c @ 16

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