text: /**********************************************************************/
  /*   ____  ____                                                       */
  /*  /   /\/   /                                                       */
  /* /___/  \  /                                                        */
  /* \   \   \/                                                       */
  /*  \   \        Copyright (c) 2003-2009 Xilinx, Inc.                */
  /*  /   /          All Right Reserved.                                 */
  /* /---/   /\                                                         */
  /* \   \  /  \                                                      */
  /*  \___\/\___\                                                    */
  /***********************************************************************/
  
  /* This file is designed for use with ISim build 0x8ef4fb42 */
  
  #define XSI_HIDE_SYMBOL_SPEC true
  #include "xsi.h"
  #include <memory.h>
  #ifdef __GNUC__
  #include <stdlib.h>
  #else
  #include <malloc.h>
  #define alloca _alloca
  #endif
  static const char *ng0 = "//afs/ir/class/ee108/groups/02/lab02/big_number_first.v";
  
  
  
  static void Cont_8_0(char *t0)
  {
      char t3[8];
      char t4[8];
      char t7[8];
      char *t1;
      char *t2;
      char *t5;
      char *t6;
      char *t8;
      char *t9;
      char *t10;
      unsigned int t11;
      unsigned int t12;
      unsigned int t13;
      unsigned int t14;
      unsigned int t15;
      char *t16;
      char *t17;
      unsigned int t18;
      unsigned int t19;
      unsigned int t20;
      char *t21;
      char *t22;
      unsigned int t23;
      unsigned int t24;
      unsigned int t25;
      unsigned int t26;
      char *t27;
      char *t28;
      char *t29;
      char *t30;
      char *t31;
      unsigned int t32;
      unsigned int t33;
      char *t34;
      unsigned int t35;
      unsigned int t36;
      char *t37;
      unsigned int t38;
      unsigned int t39;
      char *t40;
  
  LAB0:    t1 = (t0 + 1536U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    xsi_set_current_line(8, ng0);
      t2 = (t0 + 600U);
      t5 = *((char **)t2);
      t2 = (t0 + 692U);
      t6 = *((char **)t2);
      memset(t7, 0, 8);
      t2 = (t5 + 4);
      if (*((unsigned int *)t2) != 0)
          goto LAB5;
  
  LAB4:    t8 = (t6 + 4);
      if (*((unsigned int *)t8) != 0)
          goto LAB5;
  
  LAB8:    if (*((unsigned int *)t5) < *((unsigned int *)t6))
          goto LAB7;
  
  LAB6:    *((unsigned int *)t7) = 1;
  
  LAB7:    memset(t4, 0, 8);
      t10 = (t7 + 4);
      t11 = *((unsigned int *)t10);
      t12 = (~(t11));
      t13 = *((unsigned int *)t7);
      t14 = (t13 & t12);
      t15 = (t14 & 1U);
      if (t15 != 0)
          goto LAB9;
  
  LAB10:    if (*((unsigned int *)t10) != 0)
          goto LAB11;
  
  LAB12:    t17 = (t4 + 4);
      t18 = *((unsigned int *)t4);
      t19 = *((unsigned int *)t17);
      t20 = (t18 || t19);
      if (t20 > 0)
          goto LAB13;
  
  LAB14:    t23 = *((unsigned int *)t4);
      t24 = (~(t23));
      t25 = *((unsigned int *)t17);
      t26 = (t24 || t25);
      if (t26 > 0)
          goto LAB15;
  
  LAB16:    if (*((unsigned int *)t17) > 0)
          goto LAB17;
  
  LAB18:    if (*((unsigned int *)t4) > 0)
          goto LAB19;
  
  LAB20:    memcpy(t3, t27, 8);
  
  LAB21:    t21 = (t0 + 1928);
      t28 = (t21 + 32U);
      t29 = *((char **)t28);
      t30 = (t29 + 40U);
      t31 = *((char **)t30);
      memset(t31, 0, 8);
      t32 = 255U;
      t33 = t32;
      t34 = (t3 + 4);
      t35 = *((unsigned int *)t3);
      t32 = (t32 & t35);
      t36 = *((unsigned int *)t34);
      t33 = (t33 & t36);
      t37 = (t31 + 4);
      t38 = *((unsigned int *)t31);
      *((unsigned int *)t31) = (t38 | t32);
      t39 = *((unsigned int *)t37);
      *((unsigned int *)t37) = (t39 | t33);
      xsi_driver_vfirst_trans(t21, 0, 7);
      t40 = (t0 + 1876);
      *((int *)t40) = 1;
  
  LAB1:    return;
  LAB5:    t9 = (t7 + 4);
      *((unsigned int *)t7) = 1;
      *((unsigned int *)t9) = 1;
      goto LAB7;
  
  LAB9:    *((unsigned int *)t4) = 1;
      goto LAB12;
  
  LAB11:    t16 = (t4 + 4);
      *((unsigned int *)t4) = 1;
      *((unsigned int *)t16) = 1;
      goto LAB12;
  
  LAB13:    t21 = (t0 + 600U);
      t22 = *((char **)t21);
      goto LAB14;
  
  LAB15:    t21 = (t0 + 692U);
      t27 = *((char **)t21);
      goto LAB16;
  
  LAB17:    xsi_vlog_unsigned_bit_combine(t3, 8, t22, 8, t27, 8);
      goto LAB21;
  
  LAB19:    memcpy(t3, t22, 8);
      goto LAB21;
  
  }
  
  static void Cont_9_1(char *t0)
  {
      char t3[8];
      char t4[8];
      char t7[8];
      char *t1;
      char *t2;
      char *t5;
      char *t6;
      char *t8;
      char *t9;
      char *t10;
      unsigned int t11;
      unsigned int t12;
      unsigned int t13;
      unsigned int t14;
      unsigned int t15;
      char *t16;
      char *t17;
      unsigned int t18;
      unsigned int t19;
      unsigned int t20;
      char *t21;
      char *t22;
      unsigned int t23;
      unsigned int t24;
      unsigned int t25;
      unsigned int t26;
      char *t27;
      char *t28;
      char *t29;
      char *t30;
      char *t31;
      unsigned int t32;
      unsigned int t33;
      char *t34;
      unsigned int t35;
      unsigned int t36;
      char *t37;
      unsigned int t38;
      unsigned int t39;
      char *t40;
  
  LAB0:    t1 = (t0 + 1680U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    xsi_set_current_line(9, ng0);
      t2 = (t0 + 600U);
      t5 = *((char **)t2);
      t2 = (t0 + 692U);
      t6 = *((char **)t2);
      memset(t7, 0, 8);
      t2 = (t5 + 4);
      if (*((unsigned int *)t2) != 0)
          goto LAB5;
  
  LAB4:    t8 = (t6 + 4);
      if (*((unsigned int *)t8) != 0)
          goto LAB5;
  
  LAB8:    if (*((unsigned int *)t5) < *((unsigned int *)t6))
          goto LAB7;
  
  LAB6:    *((unsigned int *)t7) = 1;
  
  LAB7:    memset(t4, 0, 8);
      t10 = (t7 + 4);
      t11 = *((unsigned int *)t10);
      t12 = (~(t11));
      t13 = *((unsigned int *)t7);
      t14 = (t13 & t12);
      t15 = (t14 & 1U);
      if (t15 != 0)
          goto LAB9;
  
  LAB10:    if (*((unsigned int *)t10) != 0)
          goto LAB11;
  
  LAB12:    t17 = (t4 + 4);
      t18 = *((unsigned int *)t4);
      t19 = *((unsigned int *)t17);
      t20 = (t18 || t19);
      if (t20 > 0)
          goto LAB13;
  
  LAB14:    t23 = *((unsigned int *)t4);
      t24 = (~(t23));
      t25 = *((unsigned int *)t17);
      t26 = (t24 || t25);
      if (t26 > 0)
          goto LAB15;
  
  LAB16:    if (*((unsigned int *)t17) > 0)
          goto LAB17;
  
  LAB18:    if (*((unsigned int *)t4) > 0)
          goto LAB19;
  
  LAB20:    memcpy(t3, t27, 8);
  
  LAB21:    t21 = (t0 + 1964);
      t28 = (t21 + 32U);
      t29 = *((char **)t28);
      t30 = (t29 + 40U);
      t31 = *((char **)t30);
      memset(t31, 0, 8);
      t32 = 255U;
      t33 = t32;
      t34 = (t3 + 4);
      t35 = *((unsigned int *)t3);
      t32 = (t32 & t35);
      t36 = *((unsigned int *)t34);
      t33 = (t33 & t36);
      t37 = (t31 + 4);
      t38 = *((unsigned int *)t31);
      *((unsigned int *)t31) = (t38 | t32);
      t39 = *((unsigned int *)t37);
      *((unsigned int *)t37) = (t39 | t33);
      xsi_driver_vfirst_trans(t21, 0, 7);
      t40 = (t0 + 1884);
      *((int *)t40) = 1;
  
  LAB1:    return;
  LAB5:    t9 = (t7 + 4);
      *((unsigned int *)t7) = 1;
      *((unsigned int *)t9) = 1;
      goto LAB7;
  
  LAB9:    *((unsigned int *)t4) = 1;
      goto LAB12;
  
  LAB11:    t16 = (t4 + 4);
      *((unsigned int *)t4) = 1;
      *((unsigned int *)t16) = 1;
      goto LAB12;
  
  LAB13:    t21 = (t0 + 692U);
      t22 = *((char **)t21);
      goto LAB14;
  
  LAB15:    t21 = (t0 + 600U);
      t27 = *((char **)t21);
      goto LAB16;
  
  LAB17:    xsi_vlog_unsigned_bit_combine(t3, 8, t22, 8, t27, 8);
      goto LAB21;
  
  LAB19:    memcpy(t3, t22, 8);
      goto LAB21;
  
  }
  
  
  extern void work_m_00000000002499007172_4186810539_init()
  {
  	static char *pe[] = {(void *)Cont_8_0,(void *)Cont_9_1};
  	xsi_register_didat("work_m_00000000002499007172_4186810539", "isim/float_add_tb_isim_beh.exe.sim/work/m_00000000002499007172_4186810539.didat");
  	xsi_register_executes(pe);
  }
  