15 #define XSI_HIDE_SYMBOL_SPEC true
22 #define alloca _alloca
24 extern char* STD_STANDARD;
25 extern char* IEEE_P_2592010699;
27 int work_p_2318420936_sub_1315575287_3108146387(
char* t1,
int t2,
int t3)
49 t7 = ((STD_STANDARD) + 384);
54 xsi_type_set_default_value(t7, t9, 0);
56 *((
unsigned int*)t11) = 4U;
66 t14 = xsi_vhdl_mod(t2, t3);
94 int work_p_2318420936_sub_3672023036_3108146387(
char* t1,
118 t8 = ((STD_STANDARD) + 384);
122 *((
char**)t11) = t10;
125 *((
unsigned int*)t12) = 4U;
127 *((
unsigned char*)t13) = t2;
132 t16 = (t2 == (
unsigned char)0);
152 t18 = *((
char**)t17);
160 unsigned char work_p_2318420936_sub_70260629_3108146387(
char* t1,
183 t8 = ((IEEE_P_2592010699) + 3320);
187 *((
char**)t11) = t10;
188 *((
unsigned char*)t10) = (
unsigned char)2;
190 *((
unsigned int*)t12) = 1U;
192 *((
unsigned char*)t13) = t2;
194 *((
unsigned char*)t14) = t3;
196 *((
unsigned char*)t15) = t4;
197 t16 = (t2 == (
unsigned char)0);
205 *((
unsigned char*)t8) = t3;
210 t16 = *((
unsigned char*)t9);
217 t18 = *((
char**)t17);
219 *((
unsigned char*)t17) = t4;
225 int64 work_p_2318420936_sub_1893995693_3108146387(
char* t1,
250 t9 = ((STD_STANDARD) + 576);
254 *((
char**)t12) = t11;
257 *((
unsigned int*)t13) = 8U;
259 *((
unsigned char*)t14) = t2;
264 t17 = (t2 == (
unsigned char)0);
284 t19 = *((
char**)t18);
292 int work_p_2318420936_sub_3070965584_3108146387(
char* t1,
int t2)
319 t6 = ((STD_STANDARD) + 384);
326 *((
unsigned int*)t10) = 4U;
328 t12 = ((STD_STANDARD) + 384);
330 *((
char**)t13) = t12;
332 *((
char**)t15) = t14;
335 *((
unsigned int*)t16) = 4U;
362 t20 = *((
char**)t19);
390 char* work_p_2318420936_sub_3703097363_3108146387(
391 char* t1,
char* t2,
char* t3,
char* t4,
int t5)
466 static char* nl0[] = {
467 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
468 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
469 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
470 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
471 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
472 &&LAB31, &&LAB31, &&LAB31, &&LAB9, &&LAB10, &&LAB11, &&LAB12, &&LAB13, &&LAB14,
473 &&LAB15, &&LAB16, &&LAB17, &&LAB18, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
474 &&LAB31, &&LAB31, &&LAB19, &&LAB21, &&LAB23, &&LAB25, &&LAB27, &&LAB29, &&LAB31,
475 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
476 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
477 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB20, &&LAB22,
478 &&LAB24, &&LAB26, &&LAB28, &&LAB30, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
479 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
480 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
481 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
482 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
483 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
484 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
485 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
486 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
487 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
488 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
489 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
490 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
491 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
492 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
493 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
494 &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31, &&LAB31,
495 &&LAB31, &&LAB31, &&LAB31, &&LAB31};
503 t11 = xsi_get_transient_memory(t10);
506 memset(t12, (
unsigned char)2, t10);
524 *((
unsigned int*)t19) = t21;
526 t22 = ((IEEE_P_2592010699) + 4024);
528 *((
char**)t23) = t22;
529 t24 = (
char*)alloca(t15);
531 *((
char**)t25) = t24;
532 memcpy(t24, t11, t15);
534 *((
char**)t26) = t16;
536 *((
unsigned int*)t27) = t15;
548 *((
unsigned int*)t30) = t21;
550 t32 = ((IEEE_P_2592010699) + 4024);
552 *((
char**)t33) = t32;
554 *((
char**)t35) = t34;
555 xsi_type_set_default_value(t32, t34, t28);
557 *((
char**)t36) = t28;
559 *((
unsigned int*)t37) = 4U;
561 t39 = ((STD_STANDARD) + 384);
563 *((
char**)t40) = t39;
565 *((
char**)t42) = t41;
568 *((
unsigned int*)t43) = 4U;
597 t12 = *((
char**)t11);
599 t10 = *((
unsigned int*)t11);
601 t0 = xsi_get_transient_memory(t10);
602 memcpy(t0, t12, t10);
620 *((
unsigned int*)t26) = t15;
638 t67 = *((
unsigned char*)t66);
639 t68 = (
char*)((nl0) + t67);
661 t12 = *((
char**)t11);
665 t18 = *((
char**)t11);
672 t70 = *((
unsigned int*)t69);
674 t71 = xsi_get_transient_memory(t70);
677 memset(t72, (
unsigned char)2, t70);
679 t74 = *((
char**)t73);
682 t76 = *((
unsigned int*)t75);
684 memcpy(t73, t71, t76);
689 t10 = *((
unsigned int*)t11);
691 t12 = xsi_get_transient_memory(t10);
694 memset(t18, (
unsigned char)2, t10);
703 *((
unsigned char*)t25) = (
unsigned char)3;
705 t27 = *((
char**)t26);
708 t64 = *((
unsigned int*)t29);
710 memcpy(t26, t12, t64);
715 t10 = *((
unsigned int*)t11);
717 t12 = xsi_get_transient_memory(t10);
720 memset(t18, (
unsigned char)2, t10);
729 *((
unsigned char*)t25) = (
unsigned char)3;
731 t27 = *((
char**)t26);
734 t64 = *((
unsigned int*)t29);
736 memcpy(t26, t12, t64);
741 t10 = *((
unsigned int*)t11);
743 t12 = xsi_get_transient_memory(t10);
746 memset(t18, (
unsigned char)2, t10);
755 *((
unsigned char*)t25) = (
unsigned char)3;
760 *((
unsigned char*)t26) = (
unsigned char)3;
762 t29 = *((
char**)t27);
765 t70 = *((
unsigned int*)t32);
767 memcpy(t27, t12, t70);
772 t10 = *((
unsigned int*)t11);
774 t12 = xsi_get_transient_memory(t10);
777 memset(t18, (
unsigned char)2, t10);
786 *((
unsigned char*)t25) = (
unsigned char)3;
788 t27 = *((
char**)t26);
791 t64 = *((
unsigned int*)t29);
793 memcpy(t26, t12, t64);
798 t10 = *((
unsigned int*)t11);
800 t12 = xsi_get_transient_memory(t10);
803 memset(t18, (
unsigned char)2, t10);
812 *((
unsigned char*)t25) = (
unsigned char)3;
817 *((
unsigned char*)t26) = (
unsigned char)3;
819 t29 = *((
char**)t27);
822 t70 = *((
unsigned int*)t32);
824 memcpy(t27, t12, t70);
829 t10 = *((
unsigned int*)t11);
831 t12 = xsi_get_transient_memory(t10);
834 memset(t18, (
unsigned char)2, t10);
843 *((
unsigned char*)t25) = (
unsigned char)3;
848 *((
unsigned char*)t26) = (
unsigned char)3;
850 t29 = *((
char**)t27);
853 t70 = *((
unsigned int*)t32);
855 memcpy(t27, t12, t70);
860 t10 = *((
unsigned int*)t11);
862 t12 = xsi_get_transient_memory(t10);
865 memset(t18, (
unsigned char)3, t10);
874 *((
unsigned char*)t25) = (
unsigned char)2;
876 t27 = *((
char**)t26);
879 t64 = *((
unsigned int*)t29);
881 memcpy(t26, t12, t64);
886 t10 = *((
unsigned int*)t11);
888 t12 = xsi_get_transient_memory(t10);
891 memset(t18, (
unsigned char)2, t10);
900 *((
unsigned char*)t25) = (
unsigned char)3;
902 t27 = *((
char**)t26);
905 t64 = *((
unsigned int*)t29);
907 memcpy(t26, t12, t64);
912 t10 = *((
unsigned int*)t11);
914 t12 = xsi_get_transient_memory(t10);
917 memset(t18, (
unsigned char)2, t10);
926 *((
unsigned char*)t25) = (
unsigned char)3;
931 *((
unsigned char*)t26) = (
unsigned char)3;
933 t29 = *((
char**)t27);
936 t70 = *((
unsigned int*)t32);
938 memcpy(t27, t12, t70);
943 t10 = *((
unsigned int*)t11);
945 t12 = xsi_get_transient_memory(t10);
948 memset(t18, (
unsigned char)3, t10);
957 *((
unsigned char*)t25) = (
unsigned char)2;
962 *((
unsigned char*)t26) = (
unsigned char)2;
964 t29 = *((
char**)t27);
967 t70 = *((
unsigned int*)t32);
969 memcpy(t27, t12, t70);
974 t10 = *((
unsigned int*)t11);
976 t12 = xsi_get_transient_memory(t10);
979 memset(t18, (
unsigned char)3, t10);
988 *((
unsigned char*)t25) = (
unsigned char)2;
993 *((
unsigned char*)t26) = (
unsigned char)2;
995 t29 = *((
char**)t27);
998 t70 = *((
unsigned int*)t32);
1000 memcpy(t27, t12, t70);
1005 t10 = *((
unsigned int*)t11);
1007 t12 = xsi_get_transient_memory(t10);
1008 memset(t12, 0, t10);
1010 memset(t18, (
unsigned char)3, t10);
1019 *((
unsigned char*)t25) = (
unsigned char)2;
1021 t27 = *((
char**)t26);
1024 t64 = *((
unsigned int*)t29);
1026 memcpy(t26, t12, t64);
1031 t10 = *((
unsigned int*)t11);
1033 t12 = xsi_get_transient_memory(t10);
1034 memset(t12, 0, t10);
1036 memset(t18, (
unsigned char)3, t10);
1045 *((
unsigned char*)t25) = (
unsigned char)2;
1047 t27 = *((
char**)t26);
1050 t64 = *((
unsigned int*)t29);
1052 memcpy(t26, t12, t64);
1057 t10 = *((
unsigned int*)t11);
1059 t12 = xsi_get_transient_memory(t10);
1060 memset(t12, 0, t10);
1062 memset(t18, (
unsigned char)3, t10);
1071 *((
unsigned char*)t25) = (
unsigned char)2;
1076 *((
unsigned char*)t26) = (
unsigned char)2;
1078 t29 = *((
char**)t27);
1081 t70 = *((
unsigned int*)t32);
1083 memcpy(t27, t12, t70);
1088 t10 = *((
unsigned int*)t11);
1090 t12 = xsi_get_transient_memory(t10);
1091 memset(t12, 0, t10);
1093 memset(t18, (
unsigned char)3, t10);
1102 *((
unsigned char*)t25) = (
unsigned char)2;
1107 *((
unsigned char*)t26) = (
unsigned char)2;
1109 t29 = *((
char**)t27);
1112 t70 = *((
unsigned int*)t32);
1114 memcpy(t27, t12, t70);
1119 t10 = *((
unsigned int*)t11);
1121 t12 = xsi_get_transient_memory(t10);
1122 memset(t12, 0, t10);
1124 memset(t18, (
unsigned char)3, t10);
1133 *((
unsigned char*)t25) = (
unsigned char)2;
1135 t27 = *((
char**)t26);
1138 t64 = *((
unsigned int*)t29);
1140 memcpy(t26, t12, t64);
1145 t10 = *((
unsigned int*)t11);
1147 t12 = xsi_get_transient_memory(t10);
1148 memset(t12, 0, t10);
1150 memset(t18, (
unsigned char)3, t10);
1159 *((
unsigned char*)t25) = (
unsigned char)2;
1161 t27 = *((
char**)t26);
1164 t64 = *((
unsigned int*)t29);
1166 memcpy(t26, t12, t64);
1171 t10 = *((
unsigned int*)t11);
1173 t12 = xsi_get_transient_memory(t10);
1174 memset(t12, 0, t10);
1176 memset(t18, (
unsigned char)3, t10);
1185 *((
unsigned char*)t25) = (
unsigned char)2;
1187 t27 = *((
char**)t26);
1190 t64 = *((
unsigned int*)t29);
1192 memcpy(t26, t12, t64);
1197 t10 = *((
unsigned int*)t11);
1199 t12 = xsi_get_transient_memory(t10);
1200 memset(t12, 0, t10);
1202 memset(t18, (
unsigned char)3, t10);
1211 *((
unsigned char*)t25) = (
unsigned char)2;
1213 t27 = *((
char**)t26);
1216 t64 = *((
unsigned int*)t29);
1218 memcpy(t26, t12, t64);
1223 t10 = *((
unsigned int*)t11);
1225 t12 = xsi_get_transient_memory(t10);
1226 memset(t12, 0, t10);
1228 memset(t18, (
unsigned char)3, t10);
1230 t23 = *((
char**)t22);
1233 t15 = *((
unsigned int*)t25);
1235 memcpy(t22, t12, t15);
1240 t10 = *((
unsigned int*)t11);
1242 t12 = xsi_get_transient_memory(t10);
1243 memset(t12, 0, t10);
1245 memset(t18, (
unsigned char)3, t10);
1247 t23 = *((
char**)t22);
1250 t15 = *((
unsigned int*)t25);
1252 memcpy(t22, t12, t15);
1268 t12 = *((
char**)t11);
1277 xsi_vhdl_check_range_of_index(t13, t20, t14, t8);
1281 *((
unsigned char*)t23) = (
unsigned char)1;
1294 t12 = *((
char**)t11);
1315 t18 = *((
char**)t11);
1324 xsi_vhdl_check_range_of_index(t20, t52, t31, t8);
1328 t67 = *((
unsigned char*)t25);
1330 t27 = *((
char**)t26);
1332 t29 = *((
char**)t26);
1344 xsi_vhdl_check_range_of_index(t60, t77, t62, t58);
1348 *((
unsigned char*)t35) = t67;
1354 extern void work_p_2318420936_init()
1356 static char* se[] = {(
void*)work_p_2318420936_sub_1315575287_3108146387,
1357 (
void*)work_p_2318420936_sub_3672023036_3108146387,
1358 (
void*)work_p_2318420936_sub_70260629_3108146387,
1359 (
void*)work_p_2318420936_sub_1893995693_3108146387,
1360 (
void*)work_p_2318420936_sub_3070965584_3108146387,
1361 (
void*)work_p_2318420936_sub_3703097363_3108146387};
1362 xsi_register_didat("work_p_2318420936",
1364 xsi_register_subprogram_executes(se);