No Description
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

a_2725559894_3212880686.c 20KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931
  1. /**********************************************************************/
  2. /* ____ ____ */
  3. /* / /\/ / */
  4. /* /___/ \ / */
  5. /* \ \ \/ */
  6. /* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
  7. /* / / All Right Reserved. */
  8. /* /---/ /\ */
  9. /* \ \ / \ */
  10. /* \___\/\___\ */
  11. /***********************************************************************/
  12. /* This file is designed for use with ISim build 0x8ddf5b5d */
  13. #define XSI_HIDE_SYMBOL_SPEC true
  14. #include "xsi.h"
  15. #include <memory.h>
  16. #ifdef __GNUC__
  17. #include <stdlib.h>
  18. #else
  19. #include <malloc.h>
  20. #define alloca _alloca
  21. #endif
  22. static const char *ng0 = "/home/foussats/Bureau/projet_system/projet_systeme/xilinx/ALU/alu.vhd";
  23. extern char *IEEE_P_2592010699;
  24. extern char *IEEE_P_3620187407;
  25. unsigned char ieee_p_3620187407_sub_1306455576380142462_3965413181(char *, char *, char *, char *, char *);
  26. char *ieee_p_3620187407_sub_1496620905533613331_3965413181(char *, char *, char *, char *, char *, char *);
  27. char *ieee_p_3620187407_sub_1496620905533649268_3965413181(char *, char *, char *, char *, char *, char *);
  28. char *ieee_p_3620187407_sub_1496620905533721142_3965413181(char *, char *, char *, char *, char *, char *);
  29. static void work_a_2725559894_3212880686_p_0(char *t0)
  30. {
  31. char t5[16];
  32. char t7[16];
  33. char *t1;
  34. char *t3;
  35. char *t4;
  36. char *t6;
  37. char *t8;
  38. char *t9;
  39. int t10;
  40. unsigned int t11;
  41. unsigned char t12;
  42. char *t13;
  43. char *t14;
  44. char *t15;
  45. char *t16;
  46. char *t17;
  47. char *t18;
  48. LAB0: xsi_set_current_line(54, ng0);
  49. LAB3: t1 = (t0 + 11471);
  50. t3 = (t0 + 1032U);
  51. t4 = *((char **)t3);
  52. t6 = ((IEEE_P_2592010699) + 4000);
  53. t8 = (t7 + 0U);
  54. t9 = (t8 + 0U);
  55. *((int *)t9) = 0;
  56. t9 = (t8 + 4U);
  57. *((int *)t9) = 0;
  58. t9 = (t8 + 8U);
  59. *((int *)t9) = 1;
  60. t10 = (0 - 0);
  61. t11 = (t10 * 1);
  62. t11 = (t11 + 1);
  63. t9 = (t8 + 12U);
  64. *((unsigned int *)t9) = t11;
  65. t9 = (t0 + 11224U);
  66. t3 = xsi_base_array_concat(t3, t5, t6, (char)97, t1, t7, (char)97, t4, t9, (char)101);
  67. t11 = (1U + 8U);
  68. t12 = (9U != t11);
  69. if (t12 == 1)
  70. goto LAB5;
  71. LAB6: t13 = (t0 + 7304);
  72. t14 = (t13 + 56U);
  73. t15 = *((char **)t14);
  74. t16 = (t15 + 56U);
  75. t17 = *((char **)t16);
  76. memcpy(t17, t3, 9U);
  77. xsi_driver_first_trans_fast(t13);
  78. LAB2: t18 = (t0 + 7064);
  79. *((int *)t18) = 1;
  80. LAB1: return;
  81. LAB4: goto LAB2;
  82. LAB5: xsi_size_not_matching(9U, t11, 0);
  83. goto LAB6;
  84. }
  85. static void work_a_2725559894_3212880686_p_1(char *t0)
  86. {
  87. char t5[16];
  88. char t7[16];
  89. char *t1;
  90. char *t3;
  91. char *t4;
  92. char *t6;
  93. char *t8;
  94. char *t9;
  95. int t10;
  96. unsigned int t11;
  97. unsigned char t12;
  98. char *t13;
  99. char *t14;
  100. char *t15;
  101. char *t16;
  102. char *t17;
  103. char *t18;
  104. LAB0: xsi_set_current_line(55, ng0);
  105. LAB3: t1 = (t0 + 11472);
  106. t3 = (t0 + 1192U);
  107. t4 = *((char **)t3);
  108. t6 = ((IEEE_P_2592010699) + 4000);
  109. t8 = (t7 + 0U);
  110. t9 = (t8 + 0U);
  111. *((int *)t9) = 0;
  112. t9 = (t8 + 4U);
  113. *((int *)t9) = 0;
  114. t9 = (t8 + 8U);
  115. *((int *)t9) = 1;
  116. t10 = (0 - 0);
  117. t11 = (t10 * 1);
  118. t11 = (t11 + 1);
  119. t9 = (t8 + 12U);
  120. *((unsigned int *)t9) = t11;
  121. t9 = (t0 + 11240U);
  122. t3 = xsi_base_array_concat(t3, t5, t6, (char)97, t1, t7, (char)97, t4, t9, (char)101);
  123. t11 = (1U + 8U);
  124. t12 = (9U != t11);
  125. if (t12 == 1)
  126. goto LAB5;
  127. LAB6: t13 = (t0 + 7368);
  128. t14 = (t13 + 56U);
  129. t15 = *((char **)t14);
  130. t16 = (t15 + 56U);
  131. t17 = *((char **)t16);
  132. memcpy(t17, t3, 9U);
  133. xsi_driver_first_trans_fast(t13);
  134. LAB2: t18 = (t0 + 7080);
  135. *((int *)t18) = 1;
  136. LAB1: return;
  137. LAB4: goto LAB2;
  138. LAB5: xsi_size_not_matching(9U, t11, 0);
  139. goto LAB6;
  140. }
  141. static void work_a_2725559894_3212880686_p_2(char *t0)
  142. {
  143. char t1[16];
  144. char *t2;
  145. char *t3;
  146. char *t4;
  147. char *t5;
  148. char *t6;
  149. char *t7;
  150. unsigned int t8;
  151. unsigned int t9;
  152. unsigned char t10;
  153. char *t11;
  154. char *t12;
  155. char *t13;
  156. char *t14;
  157. char *t15;
  158. char *t16;
  159. LAB0: xsi_set_current_line(56, ng0);
  160. LAB3: t2 = (t0 + 2312U);
  161. t3 = *((char **)t2);
  162. t2 = (t0 + 11288U);
  163. t4 = (t0 + 2472U);
  164. t5 = *((char **)t4);
  165. t4 = (t0 + 11304U);
  166. t6 = ieee_p_3620187407_sub_1496620905533649268_3965413181(IEEE_P_3620187407, t1, t3, t2, t5, t4);
  167. t7 = (t1 + 12U);
  168. t8 = *((unsigned int *)t7);
  169. t9 = (1U * t8);
  170. t10 = (9U != t9);
  171. if (t10 == 1)
  172. goto LAB5;
  173. LAB6: t11 = (t0 + 7432);
  174. t12 = (t11 + 56U);
  175. t13 = *((char **)t12);
  176. t14 = (t13 + 56U);
  177. t15 = *((char **)t14);
  178. memcpy(t15, t6, 9U);
  179. xsi_driver_first_trans_fast(t11);
  180. LAB2: t16 = (t0 + 7096);
  181. *((int *)t16) = 1;
  182. LAB1: return;
  183. LAB4: goto LAB2;
  184. LAB5: xsi_size_not_matching(9U, t9, 0);
  185. goto LAB6;
  186. }
  187. static void work_a_2725559894_3212880686_p_3(char *t0)
  188. {
  189. char t1[16];
  190. char *t2;
  191. char *t3;
  192. char *t4;
  193. char *t5;
  194. char *t6;
  195. char *t7;
  196. unsigned int t8;
  197. unsigned int t9;
  198. unsigned char t10;
  199. char *t11;
  200. char *t12;
  201. char *t13;
  202. char *t14;
  203. char *t15;
  204. char *t16;
  205. LAB0: xsi_set_current_line(57, ng0);
  206. LAB3: t2 = (t0 + 2312U);
  207. t3 = *((char **)t2);
  208. t2 = (t0 + 11288U);
  209. t4 = (t0 + 2472U);
  210. t5 = *((char **)t4);
  211. t4 = (t0 + 11304U);
  212. t6 = ieee_p_3620187407_sub_1496620905533721142_3965413181(IEEE_P_3620187407, t1, t3, t2, t5, t4);
  213. t7 = (t1 + 12U);
  214. t8 = *((unsigned int *)t7);
  215. t9 = (1U * t8);
  216. t10 = (9U != t9);
  217. if (t10 == 1)
  218. goto LAB5;
  219. LAB6: t11 = (t0 + 7496);
  220. t12 = (t11 + 56U);
  221. t13 = *((char **)t12);
  222. t14 = (t13 + 56U);
  223. t15 = *((char **)t14);
  224. memcpy(t15, t6, 9U);
  225. xsi_driver_first_trans_fast(t11);
  226. LAB2: t16 = (t0 + 7112);
  227. *((int *)t16) = 1;
  228. LAB1: return;
  229. LAB4: goto LAB2;
  230. LAB5: xsi_size_not_matching(9U, t9, 0);
  231. goto LAB6;
  232. }
  233. static void work_a_2725559894_3212880686_p_4(char *t0)
  234. {
  235. char t1[16];
  236. char *t2;
  237. char *t3;
  238. char *t4;
  239. char *t5;
  240. char *t6;
  241. char *t7;
  242. unsigned int t8;
  243. unsigned int t9;
  244. unsigned char t10;
  245. char *t11;
  246. char *t12;
  247. char *t13;
  248. char *t14;
  249. char *t15;
  250. char *t16;
  251. LAB0: xsi_set_current_line(58, ng0);
  252. LAB3: t2 = (t0 + 1032U);
  253. t3 = *((char **)t2);
  254. t2 = (t0 + 11224U);
  255. t4 = (t0 + 1192U);
  256. t5 = *((char **)t4);
  257. t4 = (t0 + 11240U);
  258. t6 = ieee_p_3620187407_sub_1496620905533613331_3965413181(IEEE_P_3620187407, t1, t3, t2, t5, t4);
  259. t7 = (t1 + 12U);
  260. t8 = *((unsigned int *)t7);
  261. t9 = (1U * t8);
  262. t10 = (16U != t9);
  263. if (t10 == 1)
  264. goto LAB5;
  265. LAB6: t11 = (t0 + 7560);
  266. t12 = (t11 + 56U);
  267. t13 = *((char **)t12);
  268. t14 = (t13 + 56U);
  269. t15 = *((char **)t14);
  270. memcpy(t15, t6, 16U);
  271. xsi_driver_first_trans_fast(t11);
  272. LAB2: t16 = (t0 + 7128);
  273. *((int *)t16) = 1;
  274. LAB1: return;
  275. LAB4: goto LAB2;
  276. LAB5: xsi_size_not_matching(16U, t9, 0);
  277. goto LAB6;
  278. }
  279. static void work_a_2725559894_3212880686_p_5(char *t0)
  280. {
  281. char t5[16];
  282. char t23[16];
  283. char t41[16];
  284. char *t1;
  285. char *t2;
  286. char *t3;
  287. char *t6;
  288. char *t7;
  289. int t8;
  290. unsigned int t9;
  291. unsigned char t10;
  292. char *t11;
  293. unsigned int t12;
  294. unsigned int t13;
  295. char *t14;
  296. char *t15;
  297. char *t16;
  298. char *t17;
  299. char *t18;
  300. char *t19;
  301. char *t20;
  302. char *t21;
  303. char *t24;
  304. char *t25;
  305. int t26;
  306. unsigned int t27;
  307. unsigned char t28;
  308. char *t29;
  309. unsigned int t30;
  310. unsigned int t31;
  311. char *t32;
  312. char *t33;
  313. char *t34;
  314. char *t35;
  315. char *t36;
  316. char *t37;
  317. char *t38;
  318. char *t39;
  319. char *t42;
  320. char *t43;
  321. int t44;
  322. unsigned int t45;
  323. unsigned char t46;
  324. char *t47;
  325. unsigned int t48;
  326. unsigned int t49;
  327. char *t50;
  328. char *t51;
  329. char *t52;
  330. char *t53;
  331. char *t54;
  332. char *t55;
  333. char *t56;
  334. char *t57;
  335. char *t58;
  336. char *t59;
  337. char *t60;
  338. char *t61;
  339. char *t62;
  340. LAB0: xsi_set_current_line(60, ng0);
  341. t1 = (t0 + 1352U);
  342. t2 = *((char **)t1);
  343. t1 = (t0 + 11256U);
  344. t3 = (t0 + 11473);
  345. t6 = (t5 + 0U);
  346. t7 = (t6 + 0U);
  347. *((int *)t7) = 0;
  348. t7 = (t6 + 4U);
  349. *((int *)t7) = 1;
  350. t7 = (t6 + 8U);
  351. *((int *)t7) = 1;
  352. t8 = (1 - 0);
  353. t9 = (t8 * 1);
  354. t9 = (t9 + 1);
  355. t7 = (t6 + 12U);
  356. *((unsigned int *)t7) = t9;
  357. t10 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t2, t1, t3, t5);
  358. if (t10 != 0)
  359. goto LAB3;
  360. LAB4: t19 = (t0 + 1352U);
  361. t20 = *((char **)t19);
  362. t19 = (t0 + 11256U);
  363. t21 = (t0 + 11475);
  364. t24 = (t23 + 0U);
  365. t25 = (t24 + 0U);
  366. *((int *)t25) = 0;
  367. t25 = (t24 + 4U);
  368. *((int *)t25) = 1;
  369. t25 = (t24 + 8U);
  370. *((int *)t25) = 1;
  371. t26 = (1 - 0);
  372. t27 = (t26 * 1);
  373. t27 = (t27 + 1);
  374. t25 = (t24 + 12U);
  375. *((unsigned int *)t25) = t27;
  376. t28 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t20, t19, t21, t23);
  377. if (t28 != 0)
  378. goto LAB5;
  379. LAB6: t37 = (t0 + 1352U);
  380. t38 = *((char **)t37);
  381. t37 = (t0 + 11256U);
  382. t39 = (t0 + 11477);
  383. t42 = (t41 + 0U);
  384. t43 = (t42 + 0U);
  385. *((int *)t43) = 0;
  386. t43 = (t42 + 4U);
  387. *((int *)t43) = 1;
  388. t43 = (t42 + 8U);
  389. *((int *)t43) = 1;
  390. t44 = (1 - 0);
  391. t45 = (t44 * 1);
  392. t45 = (t45 + 1);
  393. t43 = (t42 + 12U);
  394. *((unsigned int *)t43) = t45;
  395. t46 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t38, t37, t39, t41);
  396. if (t46 != 0)
  397. goto LAB7;
  398. LAB8:
  399. LAB9: t55 = xsi_get_transient_memory(8U);
  400. memset(t55, 0, 8U);
  401. t56 = t55;
  402. memset(t56, (unsigned char)2, 8U);
  403. t57 = (t0 + 7624);
  404. t58 = (t57 + 56U);
  405. t59 = *((char **)t58);
  406. t60 = (t59 + 56U);
  407. t61 = *((char **)t60);
  408. memcpy(t61, t55, 8U);
  409. xsi_driver_first_trans_fast(t57);
  410. LAB2: t62 = (t0 + 7144);
  411. *((int *)t62) = 1;
  412. LAB1: return;
  413. LAB3: t7 = (t0 + 2632U);
  414. t11 = *((char **)t7);
  415. t9 = (8 - 7);
  416. t12 = (t9 * 1U);
  417. t13 = (0 + t12);
  418. t7 = (t11 + t13);
  419. t14 = (t0 + 7624);
  420. t15 = (t14 + 56U);
  421. t16 = *((char **)t15);
  422. t17 = (t16 + 56U);
  423. t18 = *((char **)t17);
  424. memcpy(t18, t7, 8U);
  425. xsi_driver_first_trans_fast(t14);
  426. goto LAB2;
  427. LAB5: t25 = (t0 + 2792U);
  428. t29 = *((char **)t25);
  429. t27 = (8 - 7);
  430. t30 = (t27 * 1U);
  431. t31 = (0 + t30);
  432. t25 = (t29 + t31);
  433. t32 = (t0 + 7624);
  434. t33 = (t32 + 56U);
  435. t34 = *((char **)t33);
  436. t35 = (t34 + 56U);
  437. t36 = *((char **)t35);
  438. memcpy(t36, t25, 8U);
  439. xsi_driver_first_trans_fast(t32);
  440. goto LAB2;
  441. LAB7: t43 = (t0 + 2952U);
  442. t47 = *((char **)t43);
  443. t45 = (15 - 7);
  444. t48 = (t45 * 1U);
  445. t49 = (0 + t48);
  446. t43 = (t47 + t49);
  447. t50 = (t0 + 7624);
  448. t51 = (t50 + 56U);
  449. t52 = *((char **)t51);
  450. t53 = (t52 + 56U);
  451. t54 = *((char **)t53);
  452. memcpy(t54, t43, 8U);
  453. xsi_driver_first_trans_fast(t50);
  454. goto LAB2;
  455. LAB10: goto LAB2;
  456. }
  457. static void work_a_2725559894_3212880686_p_6(char *t0)
  458. {
  459. char t7[16];
  460. char t13[16];
  461. char t21[16];
  462. unsigned char t1;
  463. char *t2;
  464. char *t3;
  465. unsigned int t4;
  466. unsigned int t5;
  467. unsigned int t6;
  468. char *t8;
  469. char *t9;
  470. int t10;
  471. unsigned int t11;
  472. char *t14;
  473. char *t15;
  474. int t16;
  475. unsigned char t17;
  476. char *t18;
  477. char *t19;
  478. char *t22;
  479. char *t23;
  480. int t24;
  481. unsigned char t25;
  482. char *t26;
  483. char *t27;
  484. char *t28;
  485. char *t29;
  486. char *t30;
  487. char *t31;
  488. char *t32;
  489. char *t33;
  490. char *t34;
  491. char *t35;
  492. LAB0: xsi_set_current_line(64, ng0);
  493. t2 = (t0 + 2952U);
  494. t3 = *((char **)t2);
  495. t4 = (15 - 15);
  496. t5 = (t4 * 1U);
  497. t6 = (0 + t5);
  498. t2 = (t3 + t6);
  499. t8 = (t7 + 0U);
  500. t9 = (t8 + 0U);
  501. *((int *)t9) = 15;
  502. t9 = (t8 + 4U);
  503. *((int *)t9) = 8;
  504. t9 = (t8 + 8U);
  505. *((int *)t9) = -1;
  506. t10 = (8 - 15);
  507. t11 = (t10 * -1);
  508. t11 = (t11 + 1);
  509. t9 = (t8 + 12U);
  510. *((unsigned int *)t9) = t11;
  511. t9 = (t0 + 11479);
  512. t14 = (t13 + 0U);
  513. t15 = (t14 + 0U);
  514. *((int *)t15) = 0;
  515. t15 = (t14 + 4U);
  516. *((int *)t15) = 7;
  517. t15 = (t14 + 8U);
  518. *((int *)t15) = 1;
  519. t16 = (7 - 0);
  520. t11 = (t16 * 1);
  521. t11 = (t11 + 1);
  522. t15 = (t14 + 12U);
  523. *((unsigned int *)t15) = t11;
  524. t17 = ieee_p_3620187407_sub_1306455576380142462_3965413181(IEEE_P_3620187407, t2, t7, t9, t13);
  525. if (t17 == 1)
  526. goto LAB5;
  527. LAB6: t1 = (unsigned char)0;
  528. LAB7: if (t1 != 0)
  529. goto LAB3;
  530. LAB4:
  531. LAB8: t30 = (t0 + 7688);
  532. t31 = (t30 + 56U);
  533. t32 = *((char **)t31);
  534. t33 = (t32 + 56U);
  535. t34 = *((char **)t33);
  536. *((unsigned char *)t34) = (unsigned char)2;
  537. xsi_driver_first_trans_fast_port(t30);
  538. LAB2: t35 = (t0 + 7160);
  539. *((int *)t35) = 1;
  540. LAB1: return;
  541. LAB3: t23 = (t0 + 7688);
  542. t26 = (t23 + 56U);
  543. t27 = *((char **)t26);
  544. t28 = (t27 + 56U);
  545. t29 = *((char **)t28);
  546. *((unsigned char *)t29) = (unsigned char)3;
  547. xsi_driver_first_trans_fast_port(t23);
  548. goto LAB2;
  549. LAB5: t15 = (t0 + 1352U);
  550. t18 = *((char **)t15);
  551. t15 = (t0 + 11256U);
  552. t19 = (t0 + 11487);
  553. t22 = (t21 + 0U);
  554. t23 = (t22 + 0U);
  555. *((int *)t23) = 0;
  556. t23 = (t22 + 4U);
  557. *((int *)t23) = 2;
  558. t23 = (t22 + 8U);
  559. *((int *)t23) = 1;
  560. t24 = (2 - 0);
  561. t11 = (t24 * 1);
  562. t11 = (t11 + 1);
  563. t23 = (t22 + 12U);
  564. *((unsigned int *)t23) = t11;
  565. t25 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t18, t15, t19, t21);
  566. t1 = t25;
  567. goto LAB7;
  568. LAB9: goto LAB2;
  569. }
  570. static void work_a_2725559894_3212880686_p_7(char *t0)
  571. {
  572. char t14[16];
  573. unsigned char t1;
  574. char *t2;
  575. char *t3;
  576. int t4;
  577. unsigned int t5;
  578. unsigned int t6;
  579. unsigned int t7;
  580. unsigned char t8;
  581. unsigned char t9;
  582. char *t10;
  583. char *t11;
  584. char *t12;
  585. char *t15;
  586. char *t16;
  587. int t17;
  588. unsigned int t18;
  589. unsigned char t19;
  590. char *t20;
  591. char *t21;
  592. char *t22;
  593. char *t23;
  594. char *t24;
  595. char *t25;
  596. char *t26;
  597. char *t27;
  598. char *t28;
  599. char *t29;
  600. LAB0: xsi_set_current_line(66, ng0);
  601. t2 = (t0 + 2632U);
  602. t3 = *((char **)t2);
  603. t4 = (8 - 8);
  604. t5 = (t4 * -1);
  605. t6 = (1U * t5);
  606. t7 = (0 + t6);
  607. t2 = (t3 + t7);
  608. t8 = *((unsigned char *)t2);
  609. t9 = (t8 == (unsigned char)3);
  610. if (t9 == 1)
  611. goto LAB5;
  612. LAB6: t1 = (unsigned char)0;
  613. LAB7: if (t1 != 0)
  614. goto LAB3;
  615. LAB4:
  616. LAB8: t24 = (t0 + 7752);
  617. t25 = (t24 + 56U);
  618. t26 = *((char **)t25);
  619. t27 = (t26 + 56U);
  620. t28 = *((char **)t27);
  621. *((unsigned char *)t28) = (unsigned char)2;
  622. xsi_driver_first_trans_fast_port(t24);
  623. LAB2: t29 = (t0 + 7176);
  624. *((int *)t29) = 1;
  625. LAB1: return;
  626. LAB3: t16 = (t0 + 7752);
  627. t20 = (t16 + 56U);
  628. t21 = *((char **)t20);
  629. t22 = (t21 + 56U);
  630. t23 = *((char **)t22);
  631. *((unsigned char *)t23) = (unsigned char)3;
  632. xsi_driver_first_trans_fast_port(t16);
  633. goto LAB2;
  634. LAB5: t10 = (t0 + 1352U);
  635. t11 = *((char **)t10);
  636. t10 = (t0 + 11256U);
  637. t12 = (t0 + 11490);
  638. t15 = (t14 + 0U);
  639. t16 = (t15 + 0U);
  640. *((int *)t16) = 0;
  641. t16 = (t15 + 4U);
  642. *((int *)t16) = 1;
  643. t16 = (t15 + 8U);
  644. *((int *)t16) = 1;
  645. t17 = (1 - 0);
  646. t18 = (t17 * 1);
  647. t18 = (t18 + 1);
  648. t16 = (t15 + 12U);
  649. *((unsigned int *)t16) = t18;
  650. t19 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t11, t10, t12, t14);
  651. t1 = t19;
  652. goto LAB7;
  653. LAB9: goto LAB2;
  654. }
  655. static void work_a_2725559894_3212880686_p_8(char *t0)
  656. {
  657. char t14[16];
  658. unsigned char t1;
  659. char *t2;
  660. char *t3;
  661. int t4;
  662. unsigned int t5;
  663. unsigned int t6;
  664. unsigned int t7;
  665. unsigned char t8;
  666. unsigned char t9;
  667. char *t10;
  668. char *t11;
  669. char *t12;
  670. char *t15;
  671. char *t16;
  672. int t17;
  673. unsigned int t18;
  674. unsigned char t19;
  675. char *t20;
  676. char *t21;
  677. char *t22;
  678. char *t23;
  679. char *t24;
  680. char *t25;
  681. char *t26;
  682. char *t27;
  683. char *t28;
  684. char *t29;
  685. LAB0: xsi_set_current_line(68, ng0);
  686. t2 = (t0 + 2792U);
  687. t3 = *((char **)t2);
  688. t4 = (8 - 8);
  689. t5 = (t4 * -1);
  690. t6 = (1U * t5);
  691. t7 = (0 + t6);
  692. t2 = (t3 + t7);
  693. t8 = *((unsigned char *)t2);
  694. t9 = (t8 == (unsigned char)3);
  695. if (t9 == 1)
  696. goto LAB5;
  697. LAB6: t1 = (unsigned char)0;
  698. LAB7: if (t1 != 0)
  699. goto LAB3;
  700. LAB4:
  701. LAB8: t24 = (t0 + 7816);
  702. t25 = (t24 + 56U);
  703. t26 = *((char **)t25);
  704. t27 = (t26 + 56U);
  705. t28 = *((char **)t27);
  706. *((unsigned char *)t28) = (unsigned char)2;
  707. xsi_driver_first_trans_fast_port(t24);
  708. LAB2: t29 = (t0 + 7192);
  709. *((int *)t29) = 1;
  710. LAB1: return;
  711. LAB3: t16 = (t0 + 7816);
  712. t20 = (t16 + 56U);
  713. t21 = *((char **)t20);
  714. t22 = (t21 + 56U);
  715. t23 = *((char **)t22);
  716. *((unsigned char *)t23) = (unsigned char)3;
  717. xsi_driver_first_trans_fast_port(t16);
  718. goto LAB2;
  719. LAB5: t10 = (t0 + 1352U);
  720. t11 = *((char **)t10);
  721. t10 = (t0 + 11256U);
  722. t12 = (t0 + 11492);
  723. t15 = (t14 + 0U);
  724. t16 = (t15 + 0U);
  725. *((int *)t16) = 0;
  726. t16 = (t15 + 4U);
  727. *((int *)t16) = 1;
  728. t16 = (t15 + 8U);
  729. *((int *)t16) = 1;
  730. t17 = (1 - 0);
  731. t18 = (t17 * 1);
  732. t18 = (t18 + 1);
  733. t16 = (t15 + 12U);
  734. *((unsigned int *)t16) = t18;
  735. t19 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t11, t10, t12, t14);
  736. t1 = t19;
  737. goto LAB7;
  738. LAB9: goto LAB2;
  739. }
  740. static void work_a_2725559894_3212880686_p_9(char *t0)
  741. {
  742. char t5[16];
  743. char *t1;
  744. char *t2;
  745. char *t3;
  746. char *t6;
  747. char *t7;
  748. int t8;
  749. unsigned int t9;
  750. unsigned char t10;
  751. char *t11;
  752. char *t12;
  753. char *t13;
  754. char *t14;
  755. char *t15;
  756. char *t16;
  757. char *t17;
  758. char *t18;
  759. char *t19;
  760. char *t20;
  761. LAB0: xsi_set_current_line(70, ng0);
  762. t1 = (t0 + 3112U);
  763. t2 = *((char **)t1);
  764. t1 = (t0 + 11368U);
  765. t3 = (t0 + 11494);
  766. t6 = (t5 + 0U);
  767. t7 = (t6 + 0U);
  768. *((int *)t7) = 0;
  769. t7 = (t6 + 4U);
  770. *((int *)t7) = 7;
  771. t7 = (t6 + 8U);
  772. *((int *)t7) = 1;
  773. t8 = (7 - 0);
  774. t9 = (t8 * 1);
  775. t9 = (t9 + 1);
  776. t7 = (t6 + 12U);
  777. *((unsigned int *)t7) = t9;
  778. t10 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t2, t1, t3, t5);
  779. if (t10 != 0)
  780. goto LAB3;
  781. LAB4:
  782. LAB5: t15 = (t0 + 7880);
  783. t16 = (t15 + 56U);
  784. t17 = *((char **)t16);
  785. t18 = (t17 + 56U);
  786. t19 = *((char **)t18);
  787. *((unsigned char *)t19) = (unsigned char)2;
  788. xsi_driver_first_trans_fast_port(t15);
  789. LAB2: t20 = (t0 + 7208);
  790. *((int *)t20) = 1;
  791. LAB1: return;
  792. LAB3: t7 = (t0 + 7880);
  793. t11 = (t7 + 56U);
  794. t12 = *((char **)t11);
  795. t13 = (t12 + 56U);
  796. t14 = *((char **)t13);
  797. *((unsigned char *)t14) = (unsigned char)3;
  798. xsi_driver_first_trans_fast_port(t7);
  799. goto LAB2;
  800. LAB6: goto LAB2;
  801. }
  802. static void work_a_2725559894_3212880686_p_10(char *t0)
  803. {
  804. char *t1;
  805. char *t2;
  806. char *t3;
  807. char *t4;
  808. char *t5;
  809. char *t6;
  810. char *t7;
  811. LAB0: xsi_set_current_line(72, ng0);
  812. LAB3: t1 = (t0 + 3112U);
  813. t2 = *((char **)t1);
  814. t1 = (t0 + 7944);
  815. t3 = (t1 + 56U);
  816. t4 = *((char **)t3);
  817. t5 = (t4 + 56U);
  818. t6 = *((char **)t5);
  819. memcpy(t6, t2, 8U);
  820. xsi_driver_first_trans_fast_port(t1);
  821. LAB2: t7 = (t0 + 7224);
  822. *((int *)t7) = 1;
  823. LAB1: return;
  824. LAB4: goto LAB2;
  825. }
  826. extern void work_a_2725559894_3212880686_init()
  827. {
  828. static char *pe[] = {(void *)work_a_2725559894_3212880686_p_0,(void *)work_a_2725559894_3212880686_p_1,(void *)work_a_2725559894_3212880686_p_2,(void *)work_a_2725559894_3212880686_p_3,(void *)work_a_2725559894_3212880686_p_4,(void *)work_a_2725559894_3212880686_p_5,(void *)work_a_2725559894_3212880686_p_6,(void *)work_a_2725559894_3212880686_p_7,(void *)work_a_2725559894_3212880686_p_8,(void *)work_a_2725559894_3212880686_p_9,(void *)work_a_2725559894_3212880686_p_10};
  829. xsi_register_didat("work_a_2725559894_3212880686", "isim/alu_isim_beh.exe.sim/work/a_2725559894_3212880686.didat");
  830. xsi_register_executes(pe);
  831. }