func: void helper_idivl_EAX_T0(void)
  
  {
  
      int den, q, r;
  
      int64_t num;
  
      
  
      num = ((uint32_t)EAX) | ((uint64_t)((uint32_t)EDX) << 32);
  
      den = T0;
  
      if (den == 0) {
  
          raise_exception(EXCP00_DIVZ);
  
      }
  
  #ifdef BUGGY_GCC_DIV64
  
      r = idiv32(&q, num, den);
  
  #else
  
      q = (num / den);
  
      r = (num % den);
  
  #endif
  
      EAX = (uint32_t)q;
  
      EDX = (uint32_t)r;
  
  }
  