unsigned char simprim_a_3542845926_2000130859_sub_4181471696_274851785(char *t1, char *t2, char *t3) { char t4[72]; char t5[24]; char t6[16]; char t11[16]; char t16[8]; char t106[16]; char t107[16]; char t108[16]; char t109[16]; unsigned char t0; char *t7; char *t8; int t9; unsigned int t10; char *t12; int t13; char *t14; char *t15; char *t17; char *t18; char *t19; unsigned char t20; char *t21; char *t22; unsigned char t23; char *t24; unsigned char t25; char *t26; int t27; char *t28; int t29; int t30; unsigned int t31; unsigned int t32; char *t33; unsigned char t34; char *t35; int t36; char *t37; int t38; int t39; unsigned int t40; unsigned int t41; unsigned int t42; char *t43; unsigned char t44; unsigned char t45; char *t46; int t47; char *t48; int t49; int t50; unsigned int t51; unsigned int t52; unsigned int t53; char *t54; unsigned char t55; unsigned char t56; unsigned char t57; char *t58; int t59; char *t60; int t61; int t62; unsigned int t63; unsigned int t64; unsigned int t65; char *t66; unsigned char t67; char *t68; int t69; char *t70; int t71; int t72; unsigned int t73; unsigned int t74; unsigned int t75; char *t76; unsigned char t77; unsigned char t78; char *t79; int t80; char *t81; int t82; int t83; unsigned int t84; unsigned int t85; unsigned int t86; char *t87; unsigned char t88; unsigned char t89; unsigned char t90; int t91; char *t92; int t93; char *t94; int t95; int t96; unsigned int t97; char *t98; int t99; unsigned int t100; unsigned int t101; char *t102; unsigned char t103; char *t104; char *t105; LAB0: t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 7; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 7); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t11 + 0U); t12 = (t8 + 0U); *((int *)t12) = 2; t12 = (t8 + 4U); *((int *)t12) = 0; t12 = (t8 + 8U); *((int *)t12) = -1; t13 = (0 - 2); t10 = (t13 * -1); t10 = (t10 + 1); t12 = (t8 + 12U); *((unsigned int *)t12) = t10; t12 = (t4 + 4U); t14 = ((IEEE_P_2592010699) + 1912); t15 = (t12 + 52U); *((char **)t15) = t14; t17 = (t12 + 36U); *((char **)t17) = t16; xsi_type_set_default_value(t14, t16, 0); t18 = (t12 + 48U); *((unsigned int *)t18) = 1U; t19 = (t5 + 4U); t20 = (t2 != 0); if (t20 == 1) goto LAB3; LAB2: t21 = (t5 + 8U); *((char **)t21) = t6; t22 = (t5 + 12U); t23 = (t3 != 0); if (t23 == 1) goto LAB5; LAB4: t24 = (t5 + 16U); *((char **)t24) = t11; t26 = (t11 + 0U); t27 = *((int *)t26); t28 = (t11 + 8U); t29 = *((int *)t28); t30 = (2 - t27); t10 = (t30 * t29); t31 = (1U * t10); t32 = (0 + t31); t33 = (t3 + t32); t34 = *((unsigned char *)t33); t35 = (t11 + 0U); t36 = *((int *)t35); t37 = (t11 + 8U); t38 = *((int *)t37); t39 = (1 - t36); t40 = (t39 * t38); t41 = (1U * t40); t42 = (0 + t41); t43 = (t3 + t42); t44 = *((unsigned char *)t43); t45 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t34, t44); t46 = (t11 + 0U); t47 = *((int *)t46); t48 = (t11 + 8U); t49 = *((int *)t48); t50 = (0 - t47); t51 = (t50 * t49); t52 = (1U * t51); t53 = (0 + t52); t54 = (t3 + t53); t55 = *((unsigned char *)t54); t56 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t45, t55); t57 = (t56 == (unsigned char)3); if (t57 == 1) goto LAB9; LAB10: t58 = (t11 + 0U); t59 = *((int *)t58); t60 = (t11 + 8U); t61 = *((int *)t60); t62 = (2 - t59); t63 = (t62 * t61); t64 = (1U * t63); t65 = (0 + t64); t66 = (t3 + t65); t67 = *((unsigned char *)t66); t68 = (t11 + 0U); t69 = *((int *)t68); t70 = (t11 + 8U); t71 = *((int *)t70); t72 = (1 - t69); t73 = (t72 * t71); t74 = (1U * t73); t75 = (0 + t74); t76 = (t3 + t75); t77 = *((unsigned char *)t76); t78 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t67, t77); t79 = (t11 + 0U); t80 = *((int *)t79); t81 = (t11 + 8U); t82 = *((int *)t81); t83 = (0 - t80); t84 = (t83 * t82); t85 = (1U * t84); t86 = (0 + t85); t87 = (t3 + t86); t88 = *((unsigned char *)t87); t89 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t78, t88); t90 = (t89 == (unsigned char)2); t25 = t90; LAB11: if (t25 != 0) goto LAB6; LAB8: t8 = ((IEEE_P_2592010699) + 2332); t7 = xsi_base_array_concat(t7, t106, t8, (char)99, (unsigned char)2, (char)99, (unsigned char)2, (char)101); t14 = (t6 + 0U); t9 = *((int *)t14); t10 = (t9 - 7); t31 = (t10 * 1U); t32 = (0 + t31); t15 = (t2 + t32); t17 = (t11 + 0U); t13 = *((int *)t17); t40 = (t13 - 1); t41 = (t40 * 1U); t42 = (0 + t41); t18 = (t3 + t42); t20 = simprim_a_3542845926_2000130859_sub_3214396156_2740133013(t1, t15, t18, t4, t5); t28 = ((IEEE_P_2592010699) + 2332); t26 = xsi_base_array_concat(t26, t107, t28, (char)97, t7, t106, (char)99, t20, (char)101); t33 = (t6 + 0U); t27 = *((int *)t33); t51 = (t27 - 3); t52 = (t51 * 1U); t53 = (0 + t52); t35 = (t2 + t53); t37 = (t11 + 0U); t29 = *((int *)t37); t63 = (t29 - 1); t64 = (t63 * 1U); t65 = (0 + t64); t43 = (t3 + t65); t23 = simprim_a_3542845926_2000130859_sub_3214396156_2740133013(t1, t35, t43, t4, t5); t48 = ((IEEE_P_2592010699) + 2332); t46 = xsi_base_array_concat(t46, t108, t48, (char)97, t26, t107, (char)99, t23, (char)101); t54 = (t11 + 0U); t30 = *((int *)t54); t58 = (t11 + 8U); t36 = *((int *)t58); t38 = (2 - t30); t73 = (t38 * t36); t74 = (1U * t73); t75 = (0 + t74); t60 = (t3 + t75); t25 = *((unsigned char *)t60); t68 = ((IEEE_P_2592010699) + 2332); t66 = xsi_base_array_concat(t66, t109, t68, (char)99, (unsigned char)2, (char)99, t25, (char)101); t34 = simprim_a_3542845926_2000130859_sub_3214396156_2740133013(t1, t46, t66, t4, t5); t70 = (t12 + 36U); t76 = *((char **)t70); t70 = (t76 + 0); *((unsigned char *)t70) = t34; LAB7: t7 = (t12 + 36U); t8 = *((char **)t7); t20 = *((unsigned char *)t8); t0 = t20; LAB1: return t0; LAB3: *((char **)t19) = t2; goto LAB2; LAB5: *((char **)t22) = t3; goto LAB4; LAB6: t91 = simprim_p_4208868169_sub_3182959421_3008368149(SIMPRIM_P_4208868169, t3, t11); t92 = (t6 + 0U); t93 = *((int *)t92); t94 = (t6 + 8U); t95 = *((int *)t94); t96 = (t91 - t93); t97 = (t96 * t95); t98 = (t6 + 4U); t99 = *((int *)t98); xsi_vhdl_check_range_of_index(t93, t99, t95, t91); t100 = (1U * t97); t101 = (0 + t100); t102 = (t2 + t101); t103 = *((unsigned char *)t102); t104 = (t12 + 36U); t105 = *((char **)t104); t104 = (t105 + 0); *((unsigned char *)t104) = t103; goto LAB7; LAB9: t25 = (unsigned char)1; goto LAB11; LAB12:; }
unsigned char simprim_a_3542845926_2000130859_sub_3214396156_2740133013(char *t1, char *t2, char *t3, char *t4, char *t5) { char t6[72]; char t7[24]; char t8[16]; char t13[16]; char t18[8]; unsigned char t0; char *t9; char *t10; int t11; unsigned int t12; char *t14; int t15; char *t16; char *t17; char *t19; char *t20; char *t21; unsigned char t22; char *t23; char *t24; unsigned char t25; char *t26; unsigned char t27; char *t28; int t29; char *t30; int t31; int t32; unsigned int t33; unsigned int t34; char *t35; unsigned char t36; char *t37; int t38; char *t39; int t40; int t41; unsigned int t42; unsigned int t43; unsigned int t44; char *t45; unsigned char t46; unsigned char t47; unsigned char t48; char *t49; int t50; char *t51; int t52; int t53; unsigned int t54; unsigned int t55; unsigned int t56; char *t57; unsigned char t58; char *t59; int t60; char *t61; int t62; int t63; unsigned int t64; unsigned int t65; unsigned int t66; char *t67; unsigned char t68; unsigned char t69; unsigned char t70; int t71; char *t72; int t73; char *t74; int t75; int t76; unsigned int t77; char *t78; int t79; unsigned int t80; unsigned int t81; char *t82; unsigned char t83; char *t84; char *t85; unsigned int t86; unsigned int t87; unsigned int t88; unsigned char t89; unsigned char t90; int t91; int t92; unsigned int t93; unsigned int t94; unsigned int t95; unsigned char t96; LAB0: t9 = (t8 + 0U); t10 = (t9 + 0U); *((int *)t10) = 3; t10 = (t9 + 4U); *((int *)t10) = 0; t10 = (t9 + 8U); *((int *)t10) = -1; t11 = (0 - 3); t12 = (t11 * -1); t12 = (t12 + 1); t10 = (t9 + 12U); *((unsigned int *)t10) = t12; t10 = (t13 + 0U); t14 = (t10 + 0U); *((int *)t14) = 1; t14 = (t10 + 4U); *((int *)t14) = 0; t14 = (t10 + 8U); *((int *)t14) = -1; t15 = (0 - 1); t12 = (t15 * -1); t12 = (t12 + 1); t14 = (t10 + 12U); *((unsigned int *)t14) = t12; t14 = (t6 + 4U); t16 = ((IEEE_P_2592010699) + 1912); t17 = (t14 + 52U); *((char **)t17) = t16; t19 = (t14 + 36U); *((char **)t19) = t18; xsi_type_set_default_value(t16, t18, 0); t20 = (t14 + 48U); *((unsigned int *)t20) = 1U; t21 = (t7 + 4U); t22 = (t2 != 0); if (t22 == 1) goto LAB3; LAB2: t23 = (t7 + 8U); *((char **)t23) = t8; t24 = (t7 + 12U); t25 = (t3 != 0); if (t25 == 1) goto LAB5; LAB4: t26 = (t7 + 16U); *((char **)t26) = t13; t28 = (t13 + 0U); t29 = *((int *)t28); t30 = (t13 + 8U); t31 = *((int *)t30); t32 = (1 - t29); t12 = (t32 * t31); t33 = (1U * t12); t34 = (0 + t33); t35 = (t3 + t34); t36 = *((unsigned char *)t35); t37 = (t13 + 0U); t38 = *((int *)t37); t39 = (t13 + 8U); t40 = *((int *)t39); t41 = (0 - t38); t42 = (t41 * t40); t43 = (1U * t42); t44 = (0 + t43); t45 = (t3 + t44); t46 = *((unsigned char *)t45); t47 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t36, t46); t48 = (t47 == (unsigned char)3); if (t48 == 1) goto LAB9; LAB10: t49 = (t13 + 0U); t50 = *((int *)t49); t51 = (t13 + 8U); t52 = *((int *)t51); t53 = (1 - t50); t54 = (t53 * t52); t55 = (1U * t54); t56 = (0 + t55); t57 = (t3 + t56); t58 = *((unsigned char *)t57); t59 = (t13 + 0U); t60 = *((int *)t59); t61 = (t13 + 8U); t62 = *((int *)t61); t63 = (0 - t60); t64 = (t63 * t62); t65 = (1U * t64); t66 = (0 + t65); t67 = (t3 + t66); t68 = *((unsigned char *)t67); t69 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t58, t68); t70 = (t69 == (unsigned char)2); t27 = t70; LAB11: if (t27 != 0) goto LAB6; LAB8: t9 = (t8 + 0U); t11 = *((int *)t9); t10 = (t8 + 8U); t15 = *((int *)t10); t29 = (0 - t11); t12 = (t29 * t15); t33 = (1U * t12); t34 = (0 + t33); t16 = (t2 + t34); t27 = *((unsigned char *)t16); t17 = (t8 + 0U); t31 = *((int *)t17); t19 = (t8 + 8U); t32 = *((int *)t19); t38 = (1 - t31); t42 = (t38 * t32); t43 = (1U * t42); t44 = (0 + t43); t20 = (t2 + t44); t36 = *((unsigned char *)t20); t46 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t27, t36); t47 = (t46 == (unsigned char)2); if (t47 == 1) goto LAB17; LAB18: t25 = (unsigned char)0; LAB19: if (t25 == 1) goto LAB14; LAB15: t22 = (unsigned char)0; LAB16: if (t22 != 0) goto LAB12; LAB13: t9 = (t13 + 0U); t11 = *((int *)t9); t10 = (t13 + 8U); t15 = *((int *)t10); t29 = (1 - t11); t12 = (t29 * t15); t33 = (1U * t12); t34 = (0 + t33); t16 = (t3 + t34); t25 = *((unsigned char *)t16); t27 = (t25 == (unsigned char)2); if (t27 == 1) goto LAB22; LAB23: t22 = (unsigned char)0; LAB24: if (t22 != 0) goto LAB20; LAB21: t9 = (t13 + 0U); t11 = *((int *)t9); t10 = (t13 + 8U); t15 = *((int *)t10); t29 = (1 - t11); t12 = (t29 * t15); t33 = (1U * t12); t34 = (0 + t33); t16 = (t3 + t34); t25 = *((unsigned char *)t16); t27 = (t25 == (unsigned char)3); if (t27 == 1) goto LAB27; LAB28: t22 = (unsigned char)0; LAB29: if (t22 != 0) goto LAB25; LAB26: t9 = (t13 + 0U); t11 = *((int *)t9); t10 = (t13 + 8U); t15 = *((int *)t10); t29 = (0 - t11); t12 = (t29 * t15); t33 = (1U * t12); t34 = (0 + t33); t16 = (t3 + t34); t25 = *((unsigned char *)t16); t27 = (t25 == (unsigned char)2); if (t27 == 1) goto LAB32; LAB33: t22 = (unsigned char)0; LAB34: if (t22 != 0) goto LAB30; LAB31: t9 = (t13 + 0U); t11 = *((int *)t9); t10 = (t13 + 8U); t15 = *((int *)t10); t29 = (0 - t11); t12 = (t29 * t15); t33 = (1U * t12); t34 = (0 + t33); t16 = (t3 + t34); t25 = *((unsigned char *)t16); t27 = (t25 == (unsigned char)3); if (t27 == 1) goto LAB37; LAB38: t22 = (unsigned char)0; LAB39: if (t22 != 0) goto LAB35; LAB36: t9 = (t14 + 36U); t10 = *((char **)t9); t9 = (t10 + 0); *((unsigned char *)t9) = (unsigned char)1; LAB7: t9 = (t14 + 36U); t10 = *((char **)t9); t22 = *((unsigned char *)t10); t0 = t22; LAB1: return t0; LAB3: *((char **)t21) = t2; goto LAB2; LAB5: *((char **)t24) = t3; goto LAB4; LAB6: t71 = simprim_p_4208868169_sub_3182959421_3008368149(SIMPRIM_P_4208868169, t3, t13); t72 = (t8 + 0U); t73 = *((int *)t72); t74 = (t8 + 8U); t75 = *((int *)t74); t76 = (t71 - t73); t77 = (t76 * t75); t78 = (t8 + 4U); t79 = *((int *)t78); xsi_vhdl_check_range_of_index(t73, t79, t75, t71); t80 = (1U * t77); t81 = (0 + t80); t82 = (t2 + t81); t83 = *((unsigned char *)t82); t84 = (t14 + 36U); t85 = *((char **)t84); t84 = (t85 + 0); *((unsigned char *)t84) = t83; goto LAB7; LAB9: t27 = (unsigned char)1; goto LAB11; LAB12: t72 = (t8 + 0U); t79 = *((int *)t72); t74 = (t8 + 8U); t91 = *((int *)t74); t92 = (0 - t79); t93 = (t92 * t91); t94 = (1U * t93); t95 = (0 + t94); t78 = (t2 + t95); t96 = *((unsigned char *)t78); t82 = (t14 + 36U); t84 = *((char **)t82); t82 = (t84 + 0); *((unsigned char *)t82) = t96; goto LAB7; LAB14: t49 = (t8 + 0U); t62 = *((int *)t49); t51 = (t8 + 8U); t63 = *((int *)t51); t71 = (0 - t62); t77 = (t71 * t63); t80 = (1U * t77); t81 = (0 + t80); t57 = (t2 + t81); t70 = *((unsigned char *)t57); t59 = (t8 + 0U); t73 = *((int *)t59); t61 = (t8 + 8U); t75 = *((int *)t61); t76 = (2 - t73); t86 = (t76 * t75); t87 = (1U * t86); t88 = (0 + t87); t67 = (t2 + t88); t83 = *((unsigned char *)t67); t89 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t70, t83); t90 = (t89 == (unsigned char)2); t22 = t90; goto LAB16; LAB17: t28 = (t8 + 0U); t40 = *((int *)t28); t30 = (t8 + 8U); t41 = *((int *)t30); t50 = (2 - t40); t54 = (t50 * t41); t55 = (1U * t54); t56 = (0 + t55); t35 = (t2 + t56); t48 = *((unsigned char *)t35); t37 = (t8 + 0U); t52 = *((int *)t37); t39 = (t8 + 8U); t53 = *((int *)t39); t60 = (3 - t52); t64 = (t60 * t53); t65 = (1U * t64); t66 = (0 + t65); t45 = (t2 + t66); t58 = *((unsigned char *)t45); t68 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t48, t58); t69 = (t68 == (unsigned char)2); t25 = t69; goto LAB19; LAB20: t37 = (t8 + 0U); t52 = *((int *)t37); t39 = (t8 + 8U); t53 = *((int *)t39); t60 = (0 - t52); t64 = (t60 * t53); t65 = (1U * t64); t66 = (0 + t65); t45 = (t2 + t66); t48 = *((unsigned char *)t45); t49 = (t14 + 36U); t51 = *((char **)t49); t49 = (t51 + 0); *((unsigned char *)t49) = t48; goto LAB7; LAB22: t17 = (t8 + 0U); t31 = *((int *)t17); t19 = (t8 + 8U); t32 = *((int *)t19); t38 = (0 - t31); t42 = (t38 * t32); t43 = (1U * t42); t44 = (0 + t43); t20 = (t2 + t44); t36 = *((unsigned char *)t20); t28 = (t8 + 0U); t40 = *((int *)t28); t30 = (t8 + 8U); t41 = *((int *)t30); t50 = (1 - t40); t54 = (t50 * t41); t55 = (1U * t54); t56 = (0 + t55); t35 = (t2 + t56); t46 = *((unsigned char *)t35); t47 = (t36 == t46); t22 = t47; goto LAB24; LAB25: t37 = (t8 + 0U); t52 = *((int *)t37); t39 = (t8 + 8U); t53 = *((int *)t39); t60 = (2 - t52); t64 = (t60 * t53); t65 = (1U * t64); t66 = (0 + t65); t45 = (t2 + t66); t48 = *((unsigned char *)t45); t49 = (t14 + 36U); t51 = *((char **)t49); t49 = (t51 + 0); *((unsigned char *)t49) = t48; goto LAB7; LAB27: t17 = (t8 + 0U); t31 = *((int *)t17); t19 = (t8 + 8U); t32 = *((int *)t19); t38 = (2 - t31); t42 = (t38 * t32); t43 = (1U * t42); t44 = (0 + t43); t20 = (t2 + t44); t36 = *((unsigned char *)t20); t28 = (t8 + 0U); t40 = *((int *)t28); t30 = (t8 + 8U); t41 = *((int *)t30); t50 = (3 - t40); t54 = (t50 * t41); t55 = (1U * t54); t56 = (0 + t55); t35 = (t2 + t56); t46 = *((unsigned char *)t35); t47 = (t36 == t46); t22 = t47; goto LAB29; LAB30: t37 = (t8 + 0U); t52 = *((int *)t37); t39 = (t8 + 8U); t53 = *((int *)t39); t60 = (0 - t52); t64 = (t60 * t53); t65 = (1U * t64); t66 = (0 + t65); t45 = (t2 + t66); t48 = *((unsigned char *)t45); t49 = (t14 + 36U); t51 = *((char **)t49); t49 = (t51 + 0); *((unsigned char *)t49) = t48; goto LAB7; LAB32: t17 = (t8 + 0U); t31 = *((int *)t17); t19 = (t8 + 8U); t32 = *((int *)t19); t38 = (0 - t31); t42 = (t38 * t32); t43 = (1U * t42); t44 = (0 + t43); t20 = (t2 + t44); t36 = *((unsigned char *)t20); t28 = (t8 + 0U); t40 = *((int *)t28); t30 = (t8 + 8U); t41 = *((int *)t30); t50 = (2 - t40); t54 = (t50 * t41); t55 = (1U * t54); t56 = (0 + t55); t35 = (t2 + t56); t46 = *((unsigned char *)t35); t47 = (t36 == t46); t22 = t47; goto LAB34; LAB35: t37 = (t8 + 0U); t52 = *((int *)t37); t39 = (t8 + 8U); t53 = *((int *)t39); t60 = (1 - t52); t64 = (t60 * t53); t65 = (1U * t64); t66 = (0 + t65); t45 = (t2 + t66); t48 = *((unsigned char *)t45); t49 = (t14 + 36U); t51 = *((char **)t49); t49 = (t51 + 0); *((unsigned char *)t49) = t48; goto LAB7; LAB37: t17 = (t8 + 0U); t31 = *((int *)t17); t19 = (t8 + 8U); t32 = *((int *)t19); t38 = (1 - t31); t42 = (t38 * t32); t43 = (1U * t42); t44 = (0 + t43); t20 = (t2 + t44); t36 = *((unsigned char *)t20); t28 = (t8 + 0U); t40 = *((int *)t28); t30 = (t8 + 8U); t41 = *((int *)t30); t50 = (3 - t40); t54 = (t50 * t41); t55 = (1U * t54); t56 = (0 + t55); t35 = (t2 + t56); t46 = *((unsigned char *)t35); t47 = (t36 == t46); t22 = t47; goto LAB39; LAB40:; }
static void simprim_a_1808384574_1912361408_p_3(char *t0) { char t1[16]; char t7[16]; char t12[16]; char t52[16]; char *t2; char *t3; unsigned char t4; char *t5; unsigned char t6; char *t8; char *t9; char *t10; unsigned char t11; char *t13; char *t14; char *t15; char *t16; char *t17; unsigned int t18; unsigned char t19; unsigned char t20; unsigned char t21; unsigned char t22; unsigned char t23; unsigned char t24; unsigned char t25; unsigned char t26; unsigned char t27; unsigned char t28; int t29; int t30; unsigned int t31; unsigned int t32; unsigned char t33; char *t34; unsigned int t35; unsigned int t36; unsigned int t37; unsigned int t38; unsigned int t39; unsigned int t40; unsigned int t41; unsigned int t42; unsigned int t43; char *t44; char *t45; char *t46; char *t47; unsigned int t48; unsigned int t49; unsigned int t50; char *t51; char *t53; char *t54; char *t55; int64 t56; int t57; int64 t58; char *t59; char *t60; int t61; char *t62; char *t63; char *t64; int64 t65; char *t66; char *t67; char *t68; char *t69; char *t70; int t71; char *t72; char *t73; char *t74; LAB0: t2 = (t0 + 1284U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t2 = (t0 + 1192U); t5 = *((char **)t2); t6 = *((unsigned char *)t5); t8 = ((IEEE_P_2592010699) + 2272); t2 = xsi_base_array_concat(t2, t7, t8, (char)99, t4, (char)99, t6, (char)101); t9 = (t0 + 1100U); t10 = *((char **)t9); t11 = *((unsigned char *)t10); t13 = ((IEEE_P_2592010699) + 2272); t9 = xsi_base_array_concat(t9, t12, t13, (char)97, t2, t7, (char)99, t11, (char)101); t14 = ieee_p_2592010699_sub_3879918230_503743352(IEEE_P_2592010699, t1, t9, t12); t15 = (t0 + 2272U); t16 = *((char **)t15); t15 = (t16 + 0); t17 = (t1 + 12U); t18 = *((unsigned int *)t17); t18 = (t18 * 1U); memcpy(t15, t14, t18); t2 = (t0 + 1284U); t3 = *((char **)t2); t6 = *((unsigned char *)t3); t2 = (t0 + 1192U); t5 = *((char **)t2); t11 = *((unsigned char *)t5); t19 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t6, t11); t2 = (t0 + 1100U); t8 = *((char **)t2); t20 = *((unsigned char *)t8); t21 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t19, t20); t22 = (t21 == (unsigned char)3); if (t22 == 1) goto LAB5; LAB6: t2 = (t0 + 1284U); t9 = *((char **)t2); t23 = *((unsigned char *)t9); t2 = (t0 + 1192U); t10 = *((char **)t2); t24 = *((unsigned char *)t10); t25 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t23, t24); t2 = (t0 + 1100U); t13 = *((char **)t2); t26 = *((unsigned char *)t13); t27 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t25, t26); t28 = (t27 == (unsigned char)2); t4 = t28; LAB7: if (t4 != 0) goto LAB2; LAB4: t3 = ((IEEE_P_2592010699) + 2332); t2 = xsi_base_array_concat(t2, t1, t3, (char)99, (unsigned char)2, (char)99, (unsigned char)2, (char)101); t5 = (t0 + 2068U); t8 = *((char **)t5); t18 = (7 - 7); t31 = (t18 * 1U); t32 = (0 + t31); t5 = (t8 + t32); t9 = (t0 + 2272U); t10 = *((char **)t9); t35 = (2 - 1); t36 = (t35 * 1U); t37 = (0 + t36); t9 = (t10 + t37); t4 = simprim_a_1808384574_1912361408_sub_655425482_666834939(t0, t5, t9); t14 = ((IEEE_P_2592010699) + 2332); t13 = xsi_base_array_concat(t13, t7, t14, (char)97, t2, t1, (char)99, t4, (char)101); t15 = (t0 + 2068U); t16 = *((char **)t15); t38 = (7 - 3); t39 = (t38 * 1U); t40 = (0 + t39); t15 = (t16 + t40); t17 = (t0 + 2272U); t34 = *((char **)t17); t41 = (2 - 1); t42 = (t41 * 1U); t43 = (0 + t42); t17 = (t34 + t43); t6 = simprim_a_1808384574_1912361408_sub_655425482_666834939(t0, t15, t17); t45 = ((IEEE_P_2592010699) + 2332); t44 = xsi_base_array_concat(t44, t12, t45, (char)97, t13, t7, (char)99, t6, (char)101); t46 = (t0 + 2272U); t47 = *((char **)t46); t29 = (2 - 2); t48 = (t29 * -1); t49 = (1U * t48); t50 = (0 + t49); t46 = (t47 + t50); t11 = *((unsigned char *)t46); t53 = ((IEEE_P_2592010699) + 2332); t51 = xsi_base_array_concat(t51, t52, t53, (char)99, (unsigned char)2, (char)99, t11, (char)101); t19 = simprim_a_1808384574_1912361408_sub_655425482_666834939(t0, t44, t51); t54 = (t0 + 2136U); t55 = *((char **)t54); t54 = (t55 + 0); *((unsigned char *)t54) = t19; LAB3: t2 = (t0 + 3244); t3 = (t0 + 708U); t5 = (t0 + 3724); t8 = (t0 + 2204U); t9 = *((char **)t8); t8 = (t0 + 6611); t13 = (t1 + 0U); t14 = (t13 + 0U); *((int *)t14) = 1; t14 = (t13 + 4U); *((int *)t14) = 1; t14 = (t13 + 8U); *((int *)t14) = 1; t29 = (1 - 1); t18 = (t29 * 1); t18 = (t18 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t18; t14 = (t0 + 2136U); t15 = *((char **)t14); t4 = *((unsigned char *)t15); t14 = xsi_get_transient_memory(96U); memset(t14, 0, 96U); t16 = t14; t30 = (0 - 0); t18 = (t30 * 1); t31 = (32U * t18); t17 = (t16 + t31); t34 = t17; t44 = (t0 + 1076U); t56 = xsi_signal_get_last_event(t44); *((int64 *)t34) = t56; t45 = (t17 + 8U); t46 = (t0 + 1796U); t47 = *((char **)t46); memcpy(t45, t47, 16U); t46 = (t17 + 24U); *((unsigned char *)t46) = (unsigned char)1; t57 = (1 - 0); t32 = (t57 * 1); t35 = (32U * t32); t51 = (t16 + t35); t53 = t51; t54 = (t0 + 1168U); t58 = xsi_signal_get_last_event(t54); *((int64 *)t53) = t58; t55 = (t51 + 8U); t59 = (t0 + 1864U); t60 = *((char **)t59); memcpy(t55, t60, 16U); t59 = (t51 + 24U); *((unsigned char *)t59) = (unsigned char)1; t61 = (2 - 0); t36 = (t61 * 1); t37 = (32U * t36); t62 = (t16 + t37); t63 = t62; t64 = (t0 + 1260U); t65 = xsi_signal_get_last_event(t64); *((int64 *)t63) = t65; t66 = (t62 + 8U); t67 = (t0 + 1932U); t68 = *((char **)t67); memcpy(t66, t68, 16U); t67 = (t62 + 24U); *((unsigned char *)t67) = (unsigned char)1; t69 = (t7 + 0U); t70 = (t69 + 0U); *((int *)t70) = 0; t70 = (t69 + 4U); *((int *)t70) = 2; t70 = (t69 + 8U); *((int *)t70) = 1; t71 = (2 - 0); t38 = (t71 * 1); t38 = (t38 + 1); t70 = (t69 + 12U); *((unsigned int *)t70) = t38; t70 = ((IEEE_P_2717149903) + 740U); t72 = *((char **)t70); memcpy(t12, t72, 16U); t70 = (t0 + 1456U); t73 = *((char **)t70); t6 = *((unsigned char *)t73); t70 = (t0 + 1524U); t74 = *((char **)t70); t11 = *((unsigned char *)t74); ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t2, t3, 0U, 0U, t5, t9, t8, t1, t4, t14, t7, t12, (unsigned char)3, t6, t11, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0); t2 = (t0 + 3564); *((int *)t2) = 1; LAB1: return; LAB2: t2 = (t0 + 2068U); t14 = *((char **)t2); t2 = (t0 + 2272U); t15 = *((char **)t2); t2 = (t0 + 6440U); t29 = simprim_p_4208868169_sub_3182959421_3008368149(SIMPRIM_P_4208868169, t15, t2); t30 = (t29 - 7); t18 = (t30 * -1); xsi_vhdl_check_range_of_index(7, 0, -1, t29); t31 = (1U * t18); t32 = (0 + t31); t16 = (t14 + t32); t33 = *((unsigned char *)t16); t17 = (t0 + 2136U); t34 = *((char **)t17); t17 = (t34 + 0); *((unsigned char *)t17) = t33; goto LAB3; LAB5: t4 = (unsigned char)1; goto LAB7; }
static void simprim_a_3542845926_2000130859_p_6(char *t0) { char t1[16]; char t7[16]; char t12[16]; char t17[16]; char t22[16]; char t27[16]; char t128[16]; char *t2; char *t3; unsigned char t4; char *t5; unsigned char t6; char *t8; char *t9; char *t10; unsigned char t11; char *t13; char *t14; char *t15; unsigned char t16; char *t18; char *t19; char *t20; unsigned char t21; char *t23; char *t24; char *t25; unsigned char t26; char *t28; char *t29; char *t30; char *t31; char *t32; unsigned int t33; unsigned char t34; unsigned char t35; unsigned char t36; unsigned char t37; unsigned char t38; unsigned char t39; unsigned char t40; unsigned char t41; unsigned char t42; unsigned char t43; unsigned char t44; unsigned char t45; unsigned char t46; unsigned char t47; unsigned char t48; unsigned char t49; unsigned char t50; unsigned char t51; unsigned char t52; int t53; int t54; unsigned int t55; unsigned int t56; unsigned char t57; char *t58; unsigned int t59; unsigned int t60; unsigned int t61; unsigned int t62; unsigned int t63; unsigned int t64; unsigned int t65; unsigned int t66; unsigned int t67; unsigned int t68; unsigned int t69; unsigned int t70; unsigned int t71; unsigned int t72; unsigned int t73; unsigned int t74; unsigned int t75; unsigned int t76; unsigned int t77; unsigned int t78; unsigned int t79; char *t80; char *t81; char *t82; unsigned int t83; unsigned int t84; unsigned int t85; char *t86; char *t87; unsigned int t88; unsigned int t89; unsigned int t90; char *t91; char *t92; char *t93; char *t94; unsigned int t95; unsigned int t96; unsigned int t97; char *t98; char *t99; unsigned int t100; unsigned int t101; unsigned int t102; char *t103; char *t104; char *t105; char *t106; unsigned int t107; unsigned int t108; unsigned int t109; char *t110; char *t111; unsigned int t112; unsigned int t113; unsigned int t114; char *t115; char *t116; char *t117; char *t118; unsigned int t119; unsigned int t120; unsigned int t121; char *t122; char *t123; unsigned int t124; unsigned int t125; unsigned int t126; char *t127; char *t129; char *t130; char *t131; unsigned int t132; unsigned int t133; unsigned int t134; char *t135; char *t136; char *t137; char *t138; char *t139; LAB0: t2 = (t0 + 1836U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t2 = (t0 + 1744U); t5 = *((char **)t2); t6 = *((unsigned char *)t5); t8 = ((IEEE_P_2592010699) + 2272); t2 = xsi_base_array_concat(t2, t7, t8, (char)99, t4, (char)99, t6, (char)101); t9 = (t0 + 1652U); t10 = *((char **)t9); t11 = *((unsigned char *)t10); t13 = ((IEEE_P_2592010699) + 2272); t9 = xsi_base_array_concat(t9, t12, t13, (char)97, t2, t7, (char)99, t11, (char)101); t14 = (t0 + 1560U); t15 = *((char **)t14); t16 = *((unsigned char *)t15); t18 = ((IEEE_P_2592010699) + 2272); t14 = xsi_base_array_concat(t14, t17, t18, (char)97, t9, t12, (char)99, t16, (char)101); t19 = (t0 + 1468U); t20 = *((char **)t19); t21 = *((unsigned char *)t20); t23 = ((IEEE_P_2592010699) + 2272); t19 = xsi_base_array_concat(t19, t22, t23, (char)97, t14, t17, (char)99, t21, (char)101); t24 = (t0 + 1376U); t25 = *((char **)t24); t26 = *((unsigned char *)t25); t28 = ((IEEE_P_2592010699) + 2272); t24 = xsi_base_array_concat(t24, t27, t28, (char)97, t19, t22, (char)99, t26, (char)101); t29 = ieee_p_2592010699_sub_3879918230_503743352(IEEE_P_2592010699, t1, t24, t27); t30 = (t0 + 3188U); t31 = *((char **)t30); t30 = (t31 + 0); t32 = (t1 + 12U); t33 = *((unsigned int *)t32); t33 = (t33 * 1U); memcpy(t30, t29, t33); t2 = (t0 + 1836U); t3 = *((char **)t2); t6 = *((unsigned char *)t3); t2 = (t0 + 1744U); t5 = *((char **)t2); t11 = *((unsigned char *)t5); t16 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t6, t11); t2 = (t0 + 1652U); t8 = *((char **)t2); t21 = *((unsigned char *)t8); t26 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t16, t21); t2 = (t0 + 1560U); t9 = *((char **)t2); t34 = *((unsigned char *)t9); t35 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t26, t34); t2 = (t0 + 1468U); t10 = *((char **)t2); t36 = *((unsigned char *)t10); t37 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t35, t36); t2 = (t0 + 1376U); t13 = *((char **)t2); t38 = *((unsigned char *)t13); t39 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t37, t38); t40 = (t39 == (unsigned char)3); if (t40 == 1) goto LAB5; LAB6: t2 = (t0 + 1836U); t14 = *((char **)t2); t41 = *((unsigned char *)t14); t2 = (t0 + 1744U); t15 = *((char **)t2); t42 = *((unsigned char *)t15); t43 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t41, t42); t2 = (t0 + 1652U); t18 = *((char **)t2); t44 = *((unsigned char *)t18); t45 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t43, t44); t2 = (t0 + 1560U); t19 = *((char **)t2); t46 = *((unsigned char *)t19); t47 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t45, t46); t2 = (t0 + 1468U); t20 = *((char **)t2); t48 = *((unsigned char *)t20); t49 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t47, t48); t2 = (t0 + 1376U); t23 = *((char **)t2); t50 = *((unsigned char *)t23); t51 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t49, t50); t52 = (t51 == (unsigned char)2); t4 = t52; LAB7: if (t4 != 0) goto LAB2; LAB4: t2 = (t0 + 3120U); t3 = *((char **)t2); t33 = (63 - 63); t55 = (t33 * 1U); t56 = (0 + t55); t2 = (t3 + t56); t5 = (t0 + 3188U); t8 = *((char **)t5); t59 = (5 - 2); t60 = (t59 * 1U); t61 = (0 + t60); t5 = (t8 + t61); t4 = simprim_a_3542845926_2000130859_sub_4181471696_274851785(t0, t2, t5); t9 = (t0 + 3120U); t10 = *((char **)t9); t62 = (63 - 55); t63 = (t62 * 1U); t64 = (0 + t63); t9 = (t10 + t64); t13 = (t0 + 3188U); t14 = *((char **)t13); t65 = (5 - 2); t66 = (t65 * 1U); t67 = (0 + t66); t13 = (t14 + t67); t6 = simprim_a_3542845926_2000130859_sub_4181471696_274851785(t0, t9, t13); t18 = ((IEEE_P_2592010699) + 2332); t15 = xsi_base_array_concat(t15, t1, t18, (char)99, t4, (char)99, t6, (char)101); t19 = (t0 + 3120U); t20 = *((char **)t19); t68 = (63 - 47); t69 = (t68 * 1U); t70 = (0 + t69); t19 = (t20 + t70); t23 = (t0 + 3188U); t24 = *((char **)t23); t71 = (5 - 2); t72 = (t71 * 1U); t73 = (0 + t72); t23 = (t24 + t73); t11 = simprim_a_3542845926_2000130859_sub_4181471696_274851785(t0, t19, t23); t28 = ((IEEE_P_2592010699) + 2332); t25 = xsi_base_array_concat(t25, t7, t28, (char)97, t15, t1, (char)99, t11, (char)101); t29 = (t0 + 3120U); t30 = *((char **)t29); t74 = (63 - 39); t75 = (t74 * 1U); t76 = (0 + t75); t29 = (t30 + t76); t31 = (t0 + 3188U); t32 = *((char **)t31); t77 = (5 - 2); t78 = (t77 * 1U); t79 = (0 + t78); t31 = (t32 + t79); t16 = simprim_a_3542845926_2000130859_sub_4181471696_274851785(t0, t29, t31); t80 = ((IEEE_P_2592010699) + 2332); t58 = xsi_base_array_concat(t58, t12, t80, (char)97, t25, t7, (char)99, t16, (char)101); t81 = (t0 + 3120U); t82 = *((char **)t81); t83 = (63 - 31); t84 = (t83 * 1U); t85 = (0 + t84); t81 = (t82 + t85); t86 = (t0 + 3188U); t87 = *((char **)t86); t88 = (5 - 2); t89 = (t88 * 1U); t90 = (0 + t89); t86 = (t87 + t90); t21 = simprim_a_3542845926_2000130859_sub_4181471696_274851785(t0, t81, t86); t92 = ((IEEE_P_2592010699) + 2332); t91 = xsi_base_array_concat(t91, t17, t92, (char)97, t58, t12, (char)99, t21, (char)101); t93 = (t0 + 3120U); t94 = *((char **)t93); t95 = (63 - 23); t96 = (t95 * 1U); t97 = (0 + t96); t93 = (t94 + t97); t98 = (t0 + 3188U); t99 = *((char **)t98); t100 = (5 - 2); t101 = (t100 * 1U); t102 = (0 + t101); t98 = (t99 + t102); t26 = simprim_a_3542845926_2000130859_sub_4181471696_274851785(t0, t93, t98); t104 = ((IEEE_P_2592010699) + 2332); t103 = xsi_base_array_concat(t103, t22, t104, (char)97, t91, t17, (char)99, t26, (char)101); t105 = (t0 + 3120U); t106 = *((char **)t105); t107 = (63 - 15); t108 = (t107 * 1U); t109 = (0 + t108); t105 = (t106 + t109); t110 = (t0 + 3188U); t111 = *((char **)t110); t112 = (5 - 2); t113 = (t112 * 1U); t114 = (0 + t113); t110 = (t111 + t114); t34 = simprim_a_3542845926_2000130859_sub_4181471696_274851785(t0, t105, t110); t116 = ((IEEE_P_2592010699) + 2332); t115 = xsi_base_array_concat(t115, t27, t116, (char)97, t103, t22, (char)99, t34, (char)101); t117 = (t0 + 3120U); t118 = *((char **)t117); t119 = (63 - 7); t120 = (t119 * 1U); t121 = (0 + t120); t117 = (t118 + t121); t122 = (t0 + 3188U); t123 = *((char **)t122); t124 = (5 - 2); t125 = (t124 * 1U); t126 = (0 + t125); t122 = (t123 + t126); t35 = simprim_a_3542845926_2000130859_sub_4181471696_274851785(t0, t117, t122); t129 = ((IEEE_P_2592010699) + 2332); t127 = xsi_base_array_concat(t127, t128, t129, (char)97, t115, t27, (char)99, t35, (char)101); t130 = (t0 + 3188U); t131 = *((char **)t130); t132 = (5 - 5); t133 = (t132 * 1U); t134 = (0 + t133); t130 = (t131 + t134); t36 = simprim_a_3542845926_2000130859_sub_4181471696_274851785(t0, t127, t130); t135 = (t0 + 5424); t136 = (t135 + 32U); t137 = *((char **)t136); t138 = (t137 + 40U); t139 = *((char **)t138); *((unsigned char *)t139) = t36; xsi_driver_first_trans_fast(t135); LAB3: t2 = (t0 + 5148); *((int *)t2) = 1; LAB1: return; LAB2: t2 = (t0 + 3120U); t24 = *((char **)t2); t2 = (t0 + 3188U); t25 = *((char **)t2); t2 = (t0 + 9240U); t53 = simprim_p_4208868169_sub_3182959421_3008368149(SIMPRIM_P_4208868169, t25, t2); t54 = (t53 - 63); t33 = (t54 * -1); xsi_vhdl_check_range_of_index(63, 0, -1, t53); t55 = (1U * t33); t56 = (0 + t55); t28 = (t24 + t56); t57 = *((unsigned char *)t28); t29 = (t0 + 5424); t30 = (t29 + 32U); t31 = *((char **)t30); t32 = (t31 + 40U); t58 = *((char **)t32); *((unsigned char *)t58) = t57; xsi_driver_first_trans_fast(t29); goto LAB3; LAB5: t4 = (unsigned char)1; goto LAB7; }
unsigned char simprim_a_1808384574_1912361408_sub_655425482_666834939(char *t1, char *t2, char *t3) { char t4[72]; char t5[24]; char t6[16]; char t11[16]; char t16[8]; unsigned char t0; char *t7; char *t8; int t9; unsigned int t10; char *t12; int t13; char *t14; char *t15; char *t17; char *t18; char *t19; unsigned char t20; char *t21; char *t22; unsigned char t23; char *t24; unsigned char t25; char *t26; int t27; char *t28; int t29; int t30; unsigned int t31; unsigned int t32; char *t33; unsigned char t34; char *t35; int t36; char *t37; int t38; int t39; unsigned int t40; unsigned int t41; unsigned int t42; char *t43; unsigned char t44; unsigned char t45; unsigned char t46; char *t47; int t48; char *t49; int t50; int t51; unsigned int t52; unsigned int t53; unsigned int t54; char *t55; unsigned char t56; char *t57; int t58; char *t59; int t60; int t61; unsigned int t62; unsigned int t63; unsigned int t64; char *t65; unsigned char t66; unsigned char t67; unsigned char t68; int t69; char *t70; int t71; char *t72; int t73; int t74; unsigned int t75; char *t76; int t77; unsigned int t78; unsigned int t79; char *t80; unsigned char t81; char *t82; char *t83; unsigned int t84; unsigned int t85; unsigned int t86; unsigned char t87; unsigned char t88; int t89; int t90; unsigned int t91; unsigned int t92; unsigned int t93; unsigned char t94; LAB0: t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 3; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 3); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t11 + 0U); t12 = (t8 + 0U); *((int *)t12) = 1; t12 = (t8 + 4U); *((int *)t12) = 0; t12 = (t8 + 8U); *((int *)t12) = -1; t13 = (0 - 1); t10 = (t13 * -1); t10 = (t10 + 1); t12 = (t8 + 12U); *((unsigned int *)t12) = t10; t12 = (t4 + 4U); t14 = ((IEEE_P_2592010699) + 1912); t15 = (t12 + 52U); *((char **)t15) = t14; t17 = (t12 + 36U); *((char **)t17) = t16; xsi_type_set_default_value(t14, t16, 0); t18 = (t12 + 48U); *((unsigned int *)t18) = 1U; t19 = (t5 + 4U); t20 = (t2 != 0); if (t20 == 1) goto LAB3; LAB2: t21 = (t5 + 8U); *((char **)t21) = t6; t22 = (t5 + 12U); t23 = (t3 != 0); if (t23 == 1) goto LAB5; LAB4: t24 = (t5 + 16U); *((char **)t24) = t11; t26 = (t11 + 0U); t27 = *((int *)t26); t28 = (t11 + 8U); t29 = *((int *)t28); t30 = (1 - t27); t10 = (t30 * t29); t31 = (1U * t10); t32 = (0 + t31); t33 = (t3 + t32); t34 = *((unsigned char *)t33); t35 = (t11 + 0U); t36 = *((int *)t35); t37 = (t11 + 8U); t38 = *((int *)t37); t39 = (0 - t36); t40 = (t39 * t38); t41 = (1U * t40); t42 = (0 + t41); t43 = (t3 + t42); t44 = *((unsigned char *)t43); t45 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t34, t44); t46 = (t45 == (unsigned char)3); if (t46 == 1) goto LAB9; LAB10: t47 = (t11 + 0U); t48 = *((int *)t47); t49 = (t11 + 8U); t50 = *((int *)t49); t51 = (1 - t48); t52 = (t51 * t50); t53 = (1U * t52); t54 = (0 + t53); t55 = (t3 + t54); t56 = *((unsigned char *)t55); t57 = (t11 + 0U); t58 = *((int *)t57); t59 = (t11 + 8U); t60 = *((int *)t59); t61 = (0 - t58); t62 = (t61 * t60); t63 = (1U * t62); t64 = (0 + t63); t65 = (t3 + t64); t66 = *((unsigned char *)t65); t67 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t56, t66); t68 = (t67 == (unsigned char)2); t25 = t68; LAB11: if (t25 != 0) goto LAB6; LAB8: t7 = (t6 + 0U); t9 = *((int *)t7); t8 = (t6 + 8U); t13 = *((int *)t8); t27 = (0 - t9); t10 = (t27 * t13); t31 = (1U * t10); t32 = (0 + t31); t14 = (t2 + t32); t25 = *((unsigned char *)t14); t15 = (t6 + 0U); t29 = *((int *)t15); t17 = (t6 + 8U); t30 = *((int *)t17); t36 = (1 - t29); t40 = (t36 * t30); t41 = (1U * t40); t42 = (0 + t41); t18 = (t2 + t42); t34 = *((unsigned char *)t18); t44 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t25, t34); t45 = (t44 == (unsigned char)2); if (t45 == 1) goto LAB17; LAB18: t23 = (unsigned char)0; LAB19: if (t23 == 1) goto LAB14; LAB15: t20 = (unsigned char)0; LAB16: if (t20 != 0) goto LAB12; LAB13: t7 = (t11 + 0U); t9 = *((int *)t7); t8 = (t11 + 8U); t13 = *((int *)t8); t27 = (1 - t9); t10 = (t27 * t13); t31 = (1U * t10); t32 = (0 + t31); t14 = (t3 + t32); t23 = *((unsigned char *)t14); t25 = (t23 == (unsigned char)2); if (t25 == 1) goto LAB22; LAB23: t20 = (unsigned char)0; LAB24: if (t20 != 0) goto LAB20; LAB21: t7 = (t11 + 0U); t9 = *((int *)t7); t8 = (t11 + 8U); t13 = *((int *)t8); t27 = (1 - t9); t10 = (t27 * t13); t31 = (1U * t10); t32 = (0 + t31); t14 = (t3 + t32); t23 = *((unsigned char *)t14); t25 = (t23 == (unsigned char)3); if (t25 == 1) goto LAB27; LAB28: t20 = (unsigned char)0; LAB29: if (t20 != 0) goto LAB25; LAB26: t7 = (t11 + 0U); t9 = *((int *)t7); t8 = (t11 + 8U); t13 = *((int *)t8); t27 = (0 - t9); t10 = (t27 * t13); t31 = (1U * t10); t32 = (0 + t31); t14 = (t3 + t32); t23 = *((unsigned char *)t14); t25 = (t23 == (unsigned char)2); if (t25 == 1) goto LAB32; LAB33: t20 = (unsigned char)0; LAB34: if (t20 != 0) goto LAB30; LAB31: t7 = (t11 + 0U); t9 = *((int *)t7); t8 = (t11 + 8U); t13 = *((int *)t8); t27 = (0 - t9); t10 = (t27 * t13); t31 = (1U * t10); t32 = (0 + t31); t14 = (t3 + t32); t23 = *((unsigned char *)t14); t25 = (t23 == (unsigned char)3); if (t25 == 1) goto LAB37; LAB38: t20 = (unsigned char)0; LAB39: if (t20 != 0) goto LAB35; LAB36: t7 = (t12 + 36U); t8 = *((char **)t7); t7 = (t8 + 0); *((unsigned char *)t7) = (unsigned char)1; LAB7: t7 = (t12 + 36U); t8 = *((char **)t7); t20 = *((unsigned char *)t8); t0 = t20; LAB1: return t0; LAB3: *((char **)t19) = t2; goto LAB2; LAB5: *((char **)t22) = t3; goto LAB4; LAB6: t69 = simprim_p_4208868169_sub_3182959421_3008368149(SIMPRIM_P_4208868169, t3, t11); t70 = (t6 + 0U); t71 = *((int *)t70); t72 = (t6 + 8U); t73 = *((int *)t72); t74 = (t69 - t71); t75 = (t74 * t73); t76 = (t6 + 4U); t77 = *((int *)t76); xsi_vhdl_check_range_of_index(t71, t77, t73, t69); t78 = (1U * t75); t79 = (0 + t78); t80 = (t2 + t79); t81 = *((unsigned char *)t80); t82 = (t12 + 36U); t83 = *((char **)t82); t82 = (t83 + 0); *((unsigned char *)t82) = t81; goto LAB7; LAB9: t25 = (unsigned char)1; goto LAB11; LAB12: t70 = (t6 + 0U); t77 = *((int *)t70); t72 = (t6 + 8U); t89 = *((int *)t72); t90 = (0 - t77); t91 = (t90 * t89); t92 = (1U * t91); t93 = (0 + t92); t76 = (t2 + t93); t94 = *((unsigned char *)t76); t80 = (t12 + 36U); t82 = *((char **)t80); t80 = (t82 + 0); *((unsigned char *)t80) = t94; goto LAB7; LAB14: t47 = (t6 + 0U); t60 = *((int *)t47); t49 = (t6 + 8U); t61 = *((int *)t49); t69 = (0 - t60); t75 = (t69 * t61); t78 = (1U * t75); t79 = (0 + t78); t55 = (t2 + t79); t68 = *((unsigned char *)t55); t57 = (t6 + 0U); t71 = *((int *)t57); t59 = (t6 + 8U); t73 = *((int *)t59); t74 = (2 - t71); t84 = (t74 * t73); t85 = (1U * t84); t86 = (0 + t85); t65 = (t2 + t86); t81 = *((unsigned char *)t65); t87 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t68, t81); t88 = (t87 == (unsigned char)2); t20 = t88; goto LAB16; LAB17: t26 = (t6 + 0U); t38 = *((int *)t26); t28 = (t6 + 8U); t39 = *((int *)t28); t48 = (2 - t38); t52 = (t48 * t39); t53 = (1U * t52); t54 = (0 + t53); t33 = (t2 + t54); t46 = *((unsigned char *)t33); t35 = (t6 + 0U); t50 = *((int *)t35); t37 = (t6 + 8U); t51 = *((int *)t37); t58 = (3 - t50); t62 = (t58 * t51); t63 = (1U * t62); t64 = (0 + t63); t43 = (t2 + t64); t56 = *((unsigned char *)t43); t66 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t46, t56); t67 = (t66 == (unsigned char)2); t23 = t67; goto LAB19; LAB20: t35 = (t6 + 0U); t50 = *((int *)t35); t37 = (t6 + 8U); t51 = *((int *)t37); t58 = (0 - t50); t62 = (t58 * t51); t63 = (1U * t62); t64 = (0 + t63); t43 = (t2 + t64); t46 = *((unsigned char *)t43); t47 = (t12 + 36U); t49 = *((char **)t47); t47 = (t49 + 0); *((unsigned char *)t47) = t46; goto LAB7; LAB22: t15 = (t6 + 0U); t29 = *((int *)t15); t17 = (t6 + 8U); t30 = *((int *)t17); t36 = (0 - t29); t40 = (t36 * t30); t41 = (1U * t40); t42 = (0 + t41); t18 = (t2 + t42); t34 = *((unsigned char *)t18); t26 = (t6 + 0U); t38 = *((int *)t26); t28 = (t6 + 8U); t39 = *((int *)t28); t48 = (1 - t38); t52 = (t48 * t39); t53 = (1U * t52); t54 = (0 + t53); t33 = (t2 + t54); t44 = *((unsigned char *)t33); t45 = (t34 == t44); t20 = t45; goto LAB24; LAB25: t35 = (t6 + 0U); t50 = *((int *)t35); t37 = (t6 + 8U); t51 = *((int *)t37); t58 = (2 - t50); t62 = (t58 * t51); t63 = (1U * t62); t64 = (0 + t63); t43 = (t2 + t64); t46 = *((unsigned char *)t43); t47 = (t12 + 36U); t49 = *((char **)t47); t47 = (t49 + 0); *((unsigned char *)t47) = t46; goto LAB7; LAB27: t15 = (t6 + 0U); t29 = *((int *)t15); t17 = (t6 + 8U); t30 = *((int *)t17); t36 = (2 - t29); t40 = (t36 * t30); t41 = (1U * t40); t42 = (0 + t41); t18 = (t2 + t42); t34 = *((unsigned char *)t18); t26 = (t6 + 0U); t38 = *((int *)t26); t28 = (t6 + 8U); t39 = *((int *)t28); t48 = (3 - t38); t52 = (t48 * t39); t53 = (1U * t52); t54 = (0 + t53); t33 = (t2 + t54); t44 = *((unsigned char *)t33); t45 = (t34 == t44); t20 = t45; goto LAB29; LAB30: t35 = (t6 + 0U); t50 = *((int *)t35); t37 = (t6 + 8U); t51 = *((int *)t37); t58 = (0 - t50); t62 = (t58 * t51); t63 = (1U * t62); t64 = (0 + t63); t43 = (t2 + t64); t46 = *((unsigned char *)t43); t47 = (t12 + 36U); t49 = *((char **)t47); t47 = (t49 + 0); *((unsigned char *)t47) = t46; goto LAB7; LAB32: t15 = (t6 + 0U); t29 = *((int *)t15); t17 = (t6 + 8U); t30 = *((int *)t17); t36 = (0 - t29); t40 = (t36 * t30); t41 = (1U * t40); t42 = (0 + t41); t18 = (t2 + t42); t34 = *((unsigned char *)t18); t26 = (t6 + 0U); t38 = *((int *)t26); t28 = (t6 + 8U); t39 = *((int *)t28); t48 = (2 - t38); t52 = (t48 * t39); t53 = (1U * t52); t54 = (0 + t53); t33 = (t2 + t54); t44 = *((unsigned char *)t33); t45 = (t34 == t44); t20 = t45; goto LAB34; LAB35: t35 = (t6 + 0U); t50 = *((int *)t35); t37 = (t6 + 8U); t51 = *((int *)t37); t58 = (1 - t50); t62 = (t58 * t51); t63 = (1U * t62); t64 = (0 + t63); t43 = (t2 + t64); t46 = *((unsigned char *)t43); t47 = (t12 + 36U); t49 = *((char **)t47); t47 = (t49 + 0); *((unsigned char *)t47) = t46; goto LAB7; LAB37: t15 = (t6 + 0U); t29 = *((int *)t15); t17 = (t6 + 8U); t30 = *((int *)t17); t36 = (1 - t29); t40 = (t36 * t30); t41 = (1U * t40); t42 = (0 + t41); t18 = (t2 + t42); t34 = *((unsigned char *)t18); t26 = (t6 + 0U); t38 = *((int *)t26); t28 = (t6 + 8U); t39 = *((int *)t28); t48 = (3 - t38); t52 = (t48 * t39); t53 = (1U * t52); t54 = (0 + t53); t33 = (t2 + t54); t44 = *((unsigned char *)t33); t45 = (t34 == t44); t20 = t45; goto LAB39; LAB40:; }
static void simprim_a_2553668210_1957906245_p_4(char *t0) { char t1[16]; char t7[16]; char t12[16]; char t17[16]; char *t2; char *t3; unsigned char t4; char *t5; unsigned char t6; char *t8; char *t9; char *t10; unsigned char t11; char *t13; char *t14; char *t15; unsigned char t16; char *t18; char *t19; char *t20; char *t21; char *t22; unsigned int t23; unsigned char t24; unsigned char t25; unsigned char t26; unsigned char t27; unsigned char t28; unsigned char t29; unsigned char t30; unsigned char t31; unsigned char t32; unsigned char t33; unsigned char t34; unsigned char t35; unsigned char t36; int t37; int t38; unsigned int t39; unsigned int t40; unsigned char t41; char *t42; char *t43; char *t44; unsigned int t45; unsigned int t46; unsigned int t47; unsigned int t48; unsigned int t49; unsigned int t50; unsigned int t51; unsigned int t52; unsigned int t53; unsigned int t54; unsigned int t55; unsigned int t56; unsigned int t57; unsigned int t58; unsigned int t59; char *t60; unsigned int t61; unsigned int t62; unsigned int t63; char *t64; char *t65; unsigned int t66; unsigned int t67; unsigned int t68; char *t69; char *t70; char *t71; char *t72; unsigned int t73; unsigned int t74; unsigned int t75; char *t76; char *t77; char *t78; char *t79; char *t80; LAB0: t2 = (t0 + 2576U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t2 = (t0 + 2416U); t5 = *((char **)t2); t6 = *((unsigned char *)t5); t8 = ((IEEE_P_2592010699) + 3912); t2 = xsi_base_array_concat(t2, t7, t8, (char)99, t4, (char)99, t6, (char)101); t9 = (t0 + 2256U); t10 = *((char **)t9); t11 = *((unsigned char *)t10); t13 = ((IEEE_P_2592010699) + 3912); t9 = xsi_base_array_concat(t9, t12, t13, (char)97, t2, t7, (char)99, t11, (char)101); t14 = (t0 + 2096U); t15 = *((char **)t14); t16 = *((unsigned char *)t15); t18 = ((IEEE_P_2592010699) + 3912); t14 = xsi_base_array_concat(t14, t17, t18, (char)97, t9, t12, (char)99, t16, (char)101); t19 = ieee_p_2592010699_sub_3879918230_503743352(IEEE_P_2592010699, t1, t14, t17); t20 = (t0 + 4472U); t21 = *((char **)t20); t20 = (t21 + 0); t22 = (t1 + 12U); t23 = *((unsigned int *)t22); t23 = (t23 * 1U); memcpy(t20, t19, t23); t2 = (t0 + 2576U); t3 = *((char **)t2); t6 = *((unsigned char *)t3); t2 = (t0 + 2416U); t5 = *((char **)t2); t11 = *((unsigned char *)t5); t16 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t6, t11); t2 = (t0 + 2256U); t8 = *((char **)t2); t24 = *((unsigned char *)t8); t25 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t16, t24); t2 = (t0 + 2096U); t9 = *((char **)t2); t26 = *((unsigned char *)t9); t27 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t25, t26); t28 = (t27 == (unsigned char)3); if (t28 == 1) goto LAB5; LAB6: t2 = (t0 + 2576U); t10 = *((char **)t2); t29 = *((unsigned char *)t10); t2 = (t0 + 2416U); t13 = *((char **)t2); t30 = *((unsigned char *)t13); t31 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t29, t30); t2 = (t0 + 2256U); t14 = *((char **)t2); t32 = *((unsigned char *)t14); t33 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t31, t32); t2 = (t0 + 2096U); t15 = *((char **)t2); t34 = *((unsigned char *)t15); t35 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t33, t34); t36 = (t35 == (unsigned char)2); t4 = t36; LAB7: if (t4 != 0) goto LAB2; LAB4: t2 = (t0 + 4352U); t3 = *((char **)t2); t23 = (15 - 15); t39 = (t23 * 1U); t40 = (0 + t39); t2 = (t3 + t40); t5 = (t0 + 4472U); t8 = *((char **)t5); t45 = (3 - 1); t46 = (t45 * 1U); t47 = (0 + t46); t5 = (t8 + t47); t4 = simprim_a_2553668210_1957906245_sub_655425482_3127390018(t0, t2, t5); t9 = (t0 + 4352U); t10 = *((char **)t9); t48 = (15 - 11); t49 = (t48 * 1U); t50 = (0 + t49); t9 = (t10 + t50); t13 = (t0 + 4472U); t14 = *((char **)t13); t51 = (3 - 1); t52 = (t51 * 1U); t53 = (0 + t52); t13 = (t14 + t53); t6 = simprim_a_2553668210_1957906245_sub_655425482_3127390018(t0, t9, t13); t18 = ((IEEE_P_2592010699) + 4024); t15 = xsi_base_array_concat(t15, t1, t18, (char)99, t4, (char)99, t6, (char)101); t19 = (t0 + 4352U); t20 = *((char **)t19); t54 = (15 - 7); t55 = (t54 * 1U); t56 = (0 + t55); t19 = (t20 + t56); t21 = (t0 + 4472U); t22 = *((char **)t21); t57 = (3 - 1); t58 = (t57 * 1U); t59 = (0 + t58); t21 = (t22 + t59); t11 = simprim_a_2553668210_1957906245_sub_655425482_3127390018(t0, t19, t21); t43 = ((IEEE_P_2592010699) + 4024); t42 = xsi_base_array_concat(t42, t7, t43, (char)97, t15, t1, (char)99, t11, (char)101); t44 = (t0 + 4352U); t60 = *((char **)t44); t61 = (15 - 3); t62 = (t61 * 1U); t63 = (0 + t62); t44 = (t60 + t63); t64 = (t0 + 4472U); t65 = *((char **)t64); t66 = (3 - 1); t67 = (t66 * 1U); t68 = (0 + t67); t64 = (t65 + t68); t16 = simprim_a_2553668210_1957906245_sub_655425482_3127390018(t0, t44, t64); t70 = ((IEEE_P_2592010699) + 4024); t69 = xsi_base_array_concat(t69, t12, t70, (char)97, t42, t7, (char)99, t16, (char)101); t71 = (t0 + 4472U); t72 = *((char **)t71); t73 = (3 - 3); t74 = (t73 * 1U); t75 = (0 + t74); t71 = (t72 + t75); t24 = simprim_a_2553668210_1957906245_sub_655425482_3127390018(t0, t69, t71); t76 = (t0 + 7712); t77 = (t76 + 56U); t78 = *((char **)t77); t79 = (t78 + 56U); t80 = *((char **)t79); *((unsigned char *)t80) = t24; xsi_driver_first_trans_fast(t76); LAB3: t2 = (t0 + 7344); *((int *)t2) = 1; LAB1: return; LAB2: t2 = (t0 + 4352U); t18 = *((char **)t2); t2 = (t0 + 4472U); t19 = *((char **)t2); t2 = (t0 + 11520U); t37 = simprim_p_4208868169_sub_3182959421_3008368149(SIMPRIM_P_4208868169, t19, t2); t38 = (t37 - 15); t23 = (t38 * -1); xsi_vhdl_check_range_of_index(15, 0, -1, t37); t39 = (1U * t23); t40 = (0 + t39); t20 = (t18 + t40); t41 = *((unsigned char *)t20); t21 = (t0 + 7712); t22 = (t21 + 56U); t42 = *((char **)t22); t43 = (t42 + 56U); t44 = *((char **)t43); *((unsigned char *)t44) = t41; xsi_driver_first_trans_fast(t21); goto LAB3; LAB5: t4 = (unsigned char)1; goto LAB7; }
static void simprim_a_1385652478_1883126775_p_2(char *t0) { char t6[16]; char t66[16]; char t70[16]; char *t1; char *t2; unsigned char t3; char *t4; unsigned char t5; char *t7; char *t8; char *t9; unsigned int t10; unsigned int t11; unsigned int t12; int t13; unsigned int t14; int t15; unsigned char t16; unsigned char t17; unsigned char t18; unsigned char t19; unsigned char t20; unsigned char t21; unsigned char t22; char *t23; unsigned char t24; char *t25; char *t26; unsigned int t27; unsigned int t28; int t29; unsigned int t30; unsigned int t31; unsigned int t32; int t33; unsigned int t34; unsigned int t35; unsigned int t36; char *t37; int t38; unsigned int t39; unsigned int t40; unsigned int t41; char *t42; char *t43; int t44; unsigned int t45; unsigned int t46; unsigned int t47; unsigned char t48; char *t49; char *t50; int t51; unsigned int t52; unsigned int t53; unsigned int t54; unsigned char t55; char *t56; char *t57; int64 t58; char *t59; char *t60; char *t61; int64 t62; char *t63; char *t64; char *t65; char *t67; char *t68; char *t69; char *t71; char *t72; LAB0: t1 = (t0 + 1936U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 1776U); t4 = *((char **)t1); t5 = *((unsigned char *)t4); t7 = ((IEEE_P_2592010699) + 4024); t1 = xsi_base_array_concat(t1, t6, t7, (char)99, t3, (char)99, t5, (char)101); t8 = (t0 + 3432U); t9 = *((char **)t8); t8 = (t9 + 0); t10 = (1U + 1U); memcpy(t8, t1, t10); t1 = (t0 + 3432U); t2 = *((char **)t1); t10 = (1 - 1); t11 = (t10 * 1U); t12 = (0 + t11); t1 = (t2 + t12); t4 = (t6 + 0U); t7 = (t4 + 0U); *((int *)t7) = 1; t7 = (t4 + 4U); *((int *)t7) = 0; t7 = (t4 + 8U); *((int *)t7) = -1; t13 = (0 - 1); t14 = (t13 * -1); t14 = (t14 + 1); t7 = (t4 + 12U); *((unsigned int *)t7) = t14; t15 = simprim_p_4208868169_sub_3182959421_3008368149(SIMPRIM_P_4208868169, t1, t6); t7 = (t0 + 3552U); t8 = *((char **)t7); t7 = (t8 + 0); *((int *)t7) = t15; t1 = (t0 + 1936U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t1 = (t0 + 1776U); t4 = *((char **)t1); t16 = *((unsigned char *)t4); t17 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t5, t16); t18 = (t17 == (unsigned char)3); if (t18 == 1) goto LAB5; LAB6: t1 = (t0 + 1936U); t7 = *((char **)t1); t19 = *((unsigned char *)t7); t1 = (t0 + 1776U); t8 = *((char **)t1); t20 = *((unsigned char *)t8); t21 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t19, t20); t22 = (t21 == (unsigned char)2); t3 = t22; LAB7: if (t3 != 0) goto LAB2; LAB4: t1 = (t0 + 3312U); t2 = *((char **)t1); t13 = (0 - 3); t10 = (t13 * -1); t11 = (1U * t10); t12 = (0 + t11); t1 = (t2 + t12); t16 = *((unsigned char *)t1); t4 = (t0 + 3312U); t7 = *((char **)t4); t15 = (1 - 3); t14 = (t15 * -1); t27 = (1U * t14); t28 = (0 + t27); t4 = (t7 + t28); t17 = *((unsigned char *)t4); t18 = (t16 == t17); if (t18 == 1) goto LAB14; LAB15: t5 = (unsigned char)0; LAB16: if (t5 == 1) goto LAB11; LAB12: t3 = (unsigned char)0; LAB13: if (t3 != 0) goto LAB8; LAB10: t1 = (t0 + 1936U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t16 = (t5 == (unsigned char)2); if (t16 == 1) goto LAB19; LAB20: t3 = (unsigned char)0; LAB21: if (t3 != 0) goto LAB17; LAB18: t1 = (t0 + 1936U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t16 = (t5 == (unsigned char)3); if (t16 == 1) goto LAB24; LAB25: t3 = (unsigned char)0; LAB26: if (t3 != 0) goto LAB22; LAB23: t1 = (t0 + 1776U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t16 = (t5 == (unsigned char)2); if (t16 == 1) goto LAB29; LAB30: t3 = (unsigned char)0; LAB31: if (t3 != 0) goto LAB27; LAB28: t1 = (t0 + 1776U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t16 = (t5 == (unsigned char)3); if (t16 == 1) goto LAB34; LAB35: t3 = (unsigned char)0; LAB36: if (t3 != 0) goto LAB32; LAB33: t1 = (t0 + 3072U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)1; LAB9: LAB3: t1 = (t0 + 4984); t2 = (t0 + 1256U); t4 = (t0 + 5752); t7 = (t0 + 3192U); t8 = *((char **)t7); t7 = (t0 + 8952); t23 = (t6 + 0U); t25 = (t23 + 0U); *((int *)t25) = 1; t25 = (t23 + 4U); *((int *)t25) = 1; t25 = (t23 + 8U); *((int *)t25) = 1; t13 = (1 - 1); t10 = (t13 * 1); t10 = (t10 + 1); t25 = (t23 + 12U); *((unsigned int *)t25) = t10; t25 = (t0 + 3072U); t26 = *((char **)t25); t3 = *((unsigned char *)t26); t25 = xsi_get_transient_memory(64U); memset(t25, 0, 64U); t37 = t25; t15 = (0 - 0); t10 = (t15 * 1); t11 = (32U * t10); t42 = (t37 + t11); t43 = t42; t49 = (t0 + 1736U); t58 = xsi_signal_get_last_event(t49); *((int64 *)t43) = t58; t50 = (t42 + 8U); t56 = (t0 + 2712U); t57 = *((char **)t56); memcpy(t50, t57, 16U); t56 = (t42 + 24U); *((unsigned char *)t56) = (unsigned char)1; t29 = (1 - 0); t12 = (t29 * 1); t14 = (32U * t12); t59 = (t37 + t14); t60 = t59; t61 = (t0 + 1896U); t62 = xsi_signal_get_last_event(t61); *((int64 *)t60) = t62; t63 = (t59 + 8U); t64 = (t0 + 2832U); t65 = *((char **)t64); memcpy(t63, t65, 16U); t64 = (t59 + 24U); *((unsigned char *)t64) = (unsigned char)1; t67 = (t66 + 0U); t68 = (t67 + 0U); *((int *)t68) = 0; t68 = (t67 + 4U); *((int *)t68) = 1; t68 = (t67 + 8U); *((int *)t68) = 1; t33 = (1 - 0); t27 = (t33 * 1); t27 = (t27 + 1); t68 = (t67 + 12U); *((unsigned int *)t68) = t27; t68 = ((IEEE_P_2717149903) + 1288U); t69 = *((char **)t68); memcpy(t70, t69, 16U); t68 = (t0 + 2232U); t71 = *((char **)t68); t5 = *((unsigned char *)t71); t68 = (t0 + 2352U); t72 = *((char **)t68); t16 = *((unsigned char *)t72); ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t4, t8, t7, t6, t3, t25, t66, t70, (unsigned char)3, t5, t16, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0); t1 = (t0 + 5528); *((int *)t1) = 1; LAB1: return; LAB2: t1 = (t0 + 3312U); t9 = *((char **)t1); t1 = (t0 + 3552U); t23 = *((char **)t1); t13 = *((int *)t23); t15 = (t13 - 3); t10 = (t15 * -1); xsi_vhdl_check_range_of_index(3, 0, -1, t13); t11 = (1U * t10); t12 = (0 + t11); t1 = (t9 + t12); t24 = *((unsigned char *)t1); t25 = (t0 + 3072U); t26 = *((char **)t25); t25 = (t26 + 0); *((unsigned char *)t25) = t24; goto LAB3; LAB5: t3 = (unsigned char)1; goto LAB7; LAB8: t49 = (t0 + 3312U); t50 = *((char **)t49); t51 = (0 - 3); t52 = (t51 * -1); t53 = (1U * t52); t54 = (0 + t53); t49 = (t50 + t54); t55 = *((unsigned char *)t49); t56 = (t0 + 3072U); t57 = *((char **)t56); t56 = (t57 + 0); *((unsigned char *)t56) = t55; goto LAB9; LAB11: t26 = (t0 + 3312U); t37 = *((char **)t26); t38 = (0 - 3); t39 = (t38 * -1); t40 = (1U * t39); t41 = (0 + t40); t26 = (t37 + t41); t22 = *((unsigned char *)t26); t42 = (t0 + 3312U); t43 = *((char **)t42); t44 = (2 - 3); t45 = (t44 * -1); t46 = (1U * t45); t47 = (0 + t46); t42 = (t43 + t47); t24 = *((unsigned char *)t42); t48 = (t22 == t24); t3 = t48; goto LAB13; LAB14: t8 = (t0 + 3312U); t9 = *((char **)t8); t29 = (2 - 3); t30 = (t29 * -1); t31 = (1U * t30); t32 = (0 + t31); t8 = (t9 + t32); t19 = *((unsigned char *)t8); t23 = (t0 + 3312U); t25 = *((char **)t23); t33 = (3 - 3); t34 = (t33 * -1); t35 = (1U * t34); t36 = (0 + t35); t23 = (t25 + t36); t20 = *((unsigned char *)t23); t21 = (t19 == t20); t5 = t21; goto LAB16; LAB17: t9 = (t0 + 3312U); t23 = *((char **)t9); t29 = (0 - 3); t30 = (t29 * -1); t31 = (1U * t30); t32 = (0 + t31); t9 = (t23 + t32); t20 = *((unsigned char *)t9); t25 = (t0 + 3072U); t26 = *((char **)t25); t25 = (t26 + 0); *((unsigned char *)t25) = t20; goto LAB9; LAB19: t1 = (t0 + 3312U); t4 = *((char **)t1); t13 = (0 - 3); t10 = (t13 * -1); t11 = (1U * t10); t12 = (0 + t11); t1 = (t4 + t12); t17 = *((unsigned char *)t1); t7 = (t0 + 3312U); t8 = *((char **)t7); t15 = (1 - 3); t14 = (t15 * -1); t27 = (1U * t14); t28 = (0 + t27); t7 = (t8 + t28); t18 = *((unsigned char *)t7); t19 = (t17 == t18); t3 = t19; goto LAB21; LAB22: t9 = (t0 + 3312U); t23 = *((char **)t9); t29 = (2 - 3); t30 = (t29 * -1); t31 = (1U * t30); t32 = (0 + t31); t9 = (t23 + t32); t20 = *((unsigned char *)t9); t25 = (t0 + 3072U); t26 = *((char **)t25); t25 = (t26 + 0); *((unsigned char *)t25) = t20; goto LAB9; LAB24: t1 = (t0 + 3312U); t4 = *((char **)t1); t13 = (2 - 3); t10 = (t13 * -1); t11 = (1U * t10); t12 = (0 + t11); t1 = (t4 + t12); t17 = *((unsigned char *)t1); t7 = (t0 + 3312U); t8 = *((char **)t7); t15 = (3 - 3); t14 = (t15 * -1); t27 = (1U * t14); t28 = (0 + t27); t7 = (t8 + t28); t18 = *((unsigned char *)t7); t19 = (t17 == t18); t3 = t19; goto LAB26; LAB27: t9 = (t0 + 3312U); t23 = *((char **)t9); t29 = (0 - 3); t30 = (t29 * -1); t31 = (1U * t30); t32 = (0 + t31); t9 = (t23 + t32); t20 = *((unsigned char *)t9); t25 = (t0 + 3072U); t26 = *((char **)t25); t25 = (t26 + 0); *((unsigned char *)t25) = t20; goto LAB9; LAB29: t1 = (t0 + 3312U); t4 = *((char **)t1); t13 = (0 - 3); t10 = (t13 * -1); t11 = (1U * t10); t12 = (0 + t11); t1 = (t4 + t12); t17 = *((unsigned char *)t1); t7 = (t0 + 3312U); t8 = *((char **)t7); t15 = (2 - 3); t14 = (t15 * -1); t27 = (1U * t14); t28 = (0 + t27); t7 = (t8 + t28); t18 = *((unsigned char *)t7); t19 = (t17 == t18); t3 = t19; goto LAB31; LAB32: t9 = (t0 + 3312U); t23 = *((char **)t9); t29 = (1 - 3); t30 = (t29 * -1); t31 = (1U * t30); t32 = (0 + t31); t9 = (t23 + t32); t20 = *((unsigned char *)t9); t25 = (t0 + 3072U); t26 = *((char **)t25); t25 = (t26 + 0); *((unsigned char *)t25) = t20; goto LAB9; LAB34: t1 = (t0 + 3312U); t4 = *((char **)t1); t13 = (1 - 3); t10 = (t13 * -1); t11 = (1U * t10); t12 = (0 + t11); t1 = (t4 + t12); t17 = *((unsigned char *)t1); t7 = (t0 + 3312U); t8 = *((char **)t7); t15 = (3 - 3); t14 = (t15 * -1); t27 = (1U * t14); t28 = (0 + t27); t7 = (t8 + t28); t18 = *((unsigned char *)t7); t19 = (t17 == t18); t3 = t19; goto LAB36; }
static void simprim_a_2221529119_0084882580_p_22(char *t0) { char *t1; unsigned char t2; char *t3; char *t4; unsigned char t5; unsigned char t6; char *t7; char *t8; char *t9; unsigned char t10; char *t11; unsigned char t12; char *t13; unsigned char t14; char *t15; unsigned char t16; char *t17; unsigned char t18; char *t19; int t20; int64 t21; int t22; unsigned int t23; unsigned int t24; unsigned int t25; int t26; int t27; unsigned int t28; unsigned int t29; unsigned int t30; LAB0: t1 = (t0 + 5840U); t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t2 != 0) goto LAB2; LAB4: LAB3: t1 = (t0 + 27264); *((int *)t1) = 1; LAB1: return; LAB2: t3 = (t0 + 7000U); t4 = *((char **)t3); t5 = *((unsigned char *)t4); t6 = (t5 == (unsigned char)3); if (t6 != 0) goto LAB5; LAB7: LAB6: goto LAB3; LAB5: t3 = xsi_get_transient_memory(5U); memset(t3, 0, 5U); t7 = t3; t8 = (t0 + 6840U); t9 = *((char **)t8); t10 = *((unsigned char *)t9); *((unsigned char *)t7) = t10; t7 = (t7 + 1U); t8 = (t0 + 6680U); t11 = *((char **)t8); t12 = *((unsigned char *)t11); *((unsigned char *)t7) = t12; t7 = (t7 + 1U); t8 = (t0 + 6520U); t13 = *((char **)t8); t14 = *((unsigned char *)t13); *((unsigned char *)t7) = t14; t7 = (t7 + 1U); t8 = (t0 + 6360U); t15 = *((char **)t8); t16 = *((unsigned char *)t15); *((unsigned char *)t7) = t16; t7 = (t7 + 1U); t8 = (t0 + 6200U); t17 = *((char **)t8); t18 = *((unsigned char *)t17); *((unsigned char *)t7) = t18; t8 = (t0 + 15336U); t19 = *((char **)t8); t8 = (t19 + 0); memcpy(t8, t3, 5U); t1 = (t0 + 15336U); t3 = *((char **)t1); t1 = (t0 + 41696U); t20 = simprim_p_4208868169_sub_3182959421_3008368149(SIMPRIM_P_4208868169, t3, t1); t4 = (t0 + 15216U); t7 = *((char **)t4); t4 = (t7 + 0); *((int *)t4) = t20; t21 = (100 * 1LL); t1 = (t0 + 7160U); t3 = *((char **)t1); t2 = *((unsigned char *)t3); t1 = (t0 + 6040U); t4 = *((char **)t1); t5 = *((unsigned char *)t4); t6 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t2, t5); t1 = (t0 + 15216U); t7 = *((char **)t1); t20 = *((int *)t7); t22 = (t20 - 32); t23 = (t22 * -1); t24 = (1 * t23); t25 = (0U + t24); t1 = (t0 + 28928); t8 = (t1 + 56U); t9 = *((char **)t8); t11 = (t9 + 56U); t13 = *((char **)t11); *((unsigned char *)t13) = t6; xsi_driver_first_trans_delta(t1, t25, 1, t21); t15 = (t0 + 15216U); t17 = *((char **)t15); t26 = *((int *)t17); t27 = (t26 - 32); t28 = (t27 * -1); t29 = (1 * t28); t30 = (0U + t29); t15 = (t0 + 28928); xsi_driver_intertial_reject(t15, t21, t21); goto LAB6; }
static void simprim_a_2221529119_0084882580_p_21(char *t0) { char *t1; char *t2; char *t3; char *t4; unsigned char t5; char *t6; unsigned char t7; char *t8; unsigned char t9; char *t10; unsigned char t11; char *t12; unsigned char t13; char *t14; int t15; int t16; unsigned int t17; unsigned int t18; unsigned int t19; LAB0: t1 = xsi_get_transient_memory(5U); memset(t1, 0, 5U); t2 = t1; t3 = (t0 + 4760U); t4 = *((char **)t3); t5 = *((unsigned char *)t4); *((unsigned char *)t2) = t5; t2 = (t2 + 1U); t3 = (t0 + 4600U); t6 = *((char **)t3); t7 = *((unsigned char *)t6); *((unsigned char *)t2) = t7; t2 = (t2 + 1U); t3 = (t0 + 4440U); t8 = *((char **)t3); t9 = *((unsigned char *)t8); *((unsigned char *)t2) = t9; t2 = (t2 + 1U); t3 = (t0 + 4280U); t10 = *((char **)t3); t11 = *((unsigned char *)t10); *((unsigned char *)t2) = t11; t2 = (t2 + 1U); t3 = (t0 + 4120U); t12 = *((char **)t3); t13 = *((unsigned char *)t12); *((unsigned char *)t2) = t13; t3 = (t0 + 15096U); t14 = *((char **)t3); t3 = (t14 + 0); memcpy(t3, t1, 5U); t1 = (t0 + 15096U); t2 = *((char **)t1); t1 = (t0 + 41680U); t15 = simprim_p_4208868169_sub_3182959421_3008368149(SIMPRIM_P_4208868169, t2, t1); t3 = (t0 + 14976U); t4 = *((char **)t3); t3 = (t4 + 0); *((int *)t3) = t15; t1 = (t0 + 7480U); t2 = *((char **)t1); t1 = (t0 + 14976U); t3 = *((char **)t1); t15 = *((int *)t3); t16 = (t15 - 32); t17 = (t16 * -1); xsi_vhdl_check_range_of_index(32, 0, -1, t15); t18 = (1U * t17); t19 = (0 + t18); t1 = (t2 + t19); t5 = *((unsigned char *)t1); t4 = (t0 + 28864); t6 = (t4 + 56U); t8 = *((char **)t6); t10 = (t8 + 56U); t12 = *((char **)t10); *((unsigned char *)t12) = t5; xsi_driver_first_trans_fast(t4); t1 = (t0 + 27248); *((int *)t1) = 1; LAB1: return; }