sgen_resume_thread (struct SgenThreadInfo * info)
{
  gboolean D.17231;
  int restart_signal_num.0;
  int D.17233;
  _Bool D.17234;

  restart_signal_num.0 = 24;
  D.17233 = mono_threads_pthread_kill (info, restart_signal_num.0);
  D.17234 = D.17233 == 0;
  D.17231 = (gboolean) D.17234;
  return D.17231;
}


sgen_suspend_thread (struct SgenThreadInfo * info)
{
  gboolean D.17236;
  int suspend_signal_num.1;
  int D.17238;
  _Bool D.17239;

  suspend_signal_num.1 = 30;
  D.17238 = mono_threads_pthread_kill (info, suspend_signal_num.1);
  D.17239 = D.17238 == 0;
  D.17236 = (gboolean) D.17239;
  return D.17236;
}


sgen_wait_for_suspend_ack (int count)
{
  int * D.17241;
  int D.17242;
  char * D.17245;
  union MonoSemType * suspend_ack_semaphore_ptr.2;
  int i;
  int result;

  i = 0;
  goto <D.17204>;
  <D.17203>:
  goto <D.17201>;
  <D.17200>:
  D.17241 = __errno_location ();
  D.17242 = *D.17241;
  if (D.17242 != 4) goto <D.17243>; else goto <D.17244>;
  <D.17243>:
  D.17241 = __errno_location ();
  D.17242 = *D.17241;
  D.17245 = strerror (D.17242);
  D.17241 = __errno_location ();
  D.17242 = *D.17241;
  monoeg_g_log (0B, 4, "MONO_SEM_WAIT FAILED with %d errno %d (%s)", result, D.17242, D.17245);
  <D.17199>:
  goto <D.17199>;
  <D.17244>:
  <D.17201>:
  suspend_ack_semaphore_ptr.2 = suspend_ack_semaphore_ptr;
  result = mono_sem_wait (suspend_ack_semaphore_ptr.2, 0);
  if (result != 0) goto <D.17200>; else goto <D.17202>;
  <D.17202>:
  i = i + 1;
  <D.17204>:
  if (i < count) goto <D.17203>; else goto <D.17205>;
  <D.17205>:
}


sgen_thread_handshake (BOOL suspend)
{
  const int iftmp.3;
  struct MonoLinkedListSet * D.17251;
  struct MonoLinkedListSetNode * * D.17252;
  void * D.17253;
  struct MonoLinkedListSetNode * * D.17254;
  unsigned int D.17255;
  unsigned int D.17258;
  int D.17259;
  int D.17262;
  const char * iftmp.4;
  struct FILE * gc_debug_file.5;
  int D.17279;
  int count;
  int result;
  struct SgenThreadInfo * info;
  int signum;
  MonoNativeThreadId me;

  if (suspend != 0) goto <D.17248>; else goto <D.17249>;
  <D.17248>:
  iftmp.3 = 30;
  goto <D.17250>;
  <D.17249>:
  iftmp.3 = 24;
  <D.17250>:
  signum = iftmp.3;
  me = mono_native_thread_id_get ();
  count = 0;
  {
    struct MonoThreadHazardPointers * __hp;
    struct MonoLinkedListSetNode * __cur;
    struct MonoLinkedListSetNode * __next;

    __hp = mono_hazard_pointer_get ();
    D.17251 = mono_thread_info_list_head ();
    D.17252 = &D.17251->head;
    D.17253 = get_hazardous_pointer (D.17252, __hp, 1);
    __cur = mono_lls_pointer_unmask (D.17253);
    goto <D.17219>;
    <D.17218>:
    D.17254 = &__cur->next;
    __next = get_hazardous_pointer_with_mask (D.17254, __hp, 0);
    D.17255 = mono_lls_pointer_get_mark (__next);
    if (D.17255 == 0) goto <D.17256>; else goto <D.17257>;
    <D.17256>:
    info = __cur;
    D.17258 = MEM[(struct MonoThreadInfo *)info].node.key;
    D.17259 = mono_native_thread_id_equals (D.17258, me);
    if (D.17259 != 0) goto <D.17260>; else goto <D.17261>;
    <D.17260>:
    // predicted unlikely by continue predictor.
    goto <D.17217>;
    <D.17261>:
    D.17262 = info->gc_disabled;
    if (D.17262 != 0) goto <D.17263>; else goto <D.17264>;
    <D.17263>:
    // predicted unlikely by continue predictor.
    goto <D.17217>;
    <D.17264>:
    result = mono_threads_pthread_kill (info, signum);
    if (result == 0) goto <D.17265>; else goto <D.17266>;
    <D.17265>:
    count = count + 1;
    goto <D.17267>;
    <D.17266>:
    info->skip = 1;
    <D.17267>:
    <D.17257>:
    <D.17217>:
    __cur = mono_lls_info_step (__next, __hp);
    <D.17219>:
    if (__cur != 0B) goto <D.17218>; else goto <D.17220>;
    <D.17220>:
    if (0 != 0) goto <D.17268>; else goto <D.17269>;
    <D.17268>:
    monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "sgen-os-posix.c", 197, "(0) >= 0 && (0) < HAZARD_POINTER_COUNT");
    <D.17269>:
    __hp->hazard_pointers[0] = 0B;
    if (0 != 0) goto <D.17270>; else goto <D.17271>;
    <D.17270>:
    monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "sgen-os-posix.c", 197, "(1) >= 0 && (1) < HAZARD_POINTER_COUNT");
    <D.17271>:
    __hp->hazard_pointers[1] = 0B;
  }
  sgen_wait_for_suspend_ack (count);
  if (0 != 0) goto <D.17272>; else goto <D.17273>;
  <D.17272>:
  if (suspend != 0) goto <D.17275>; else goto <D.17276>;
  <D.17275>:
  iftmp.4 = "suspend";
  goto <D.17277>;
  <D.17276>:
  iftmp.4 = "resume";
  <D.17277>:
  gc_debug_file.5 = gc_debug_file;
  fprintf (gc_debug_file.5, "%s handshake for %d threads\n\n", iftmp.4, count);
  gc_debug_file.5 = gc_debug_file;
  fflush (gc_debug_file.5);
  <D.17273>:
  D.17279 = count;
  return D.17279;
}


mono_lls_pointer_unmask (void * p)
{
  void * D.17281;
  unsigned int p.6;
  unsigned int D.17283;

  p.6 = (unsigned int) p;
  D.17283 = p.6 & 4294967292;
  D.17281 = (void *) D.17283;
  return D.17281;
}


mono_lls_pointer_get_mark (void * n)
{
  uintptr_t D.17285;
  unsigned int n.7;

  n.7 = (unsigned int) n;
  D.17285 = n.7 & 1;
  return D.17285;
}


mono_lls_info_step (struct MonoLinkedListSetNode * val, struct MonoThreadHazardPointers * hp)
{
  struct MonoLinkedListSetNode * D.17290;

  val = mono_lls_pointer_unmask (val);
  if (0 != 0) goto <D.17288>; else goto <D.17289>;
  <D.17288>:
  monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "../../mono/utils/mono-linked-list-set.h", 77, "(1) >= 0 && (1) < HAZARD_POINTER_COUNT");
  <D.17289>:
  hp->hazard_pointers[1] = val;
  mono_memory_write_barrier ();
  D.17290 = val;
  return D.17290;
}


mono_memory_write_barrier ()
{
  mono_memory_barrier ();
}


mono_memory_barrier ()
{
  __sync_synchronize ();
}


sgen_os_init ()
{
  int suspend_signal_num.8;
  int D.17293;
  int restart_signal_num.9;
  int D.17297;
  struct sigaction sinfo;

  try
    {
      suspend_ack_semaphore_ptr = &suspend_ack_semaphore;
      sem_init (&suspend_ack_semaphore, 0, 0);
      sigfillset (&sinfo.sa_mask);
      sinfo.sa_flags = 268435460;
      sinfo.__sigaction_handler.sa_sigaction = suspend_handler;
      suspend_signal_num.8 = 30;
      D.17293 = sigaction (suspend_signal_num.8, &sinfo, 0B);
      if (D.17293 != 0) goto <D.17294>; else goto <D.17295>;
      <D.17294>:
      monoeg_g_log (0B, 4, "failed sigaction");
      <D.17225>:
      goto <D.17225>;
      <D.17295>:
      sinfo.__sigaction_handler.sa_handler = restart_handler;
      restart_signal_num.9 = 24;
      D.17297 = sigaction (restart_signal_num.9, &sinfo, 0B);
      if (D.17297 != 0) goto <D.17298>; else goto <D.17299>;
      <D.17298>:
      monoeg_g_log (0B, 4, "failed sigaction");
      <D.17226>:
      goto <D.17226>;
      <D.17299>:
      sigfillset (&suspend_signal_mask);
      restart_signal_num.9 = 24;
      sigdelset (&suspend_signal_mask, restart_signal_num.9);
      sigemptyset (&suspend_ack_signal_mask);
      restart_signal_num.9 = 24;
      sigaddset (&suspend_ack_signal_mask, restart_signal_num.9);
    }
  finally
    {
      sinfo = {CLOBBER};
    }
}


restart_handler (int sig)
{
  int * D.17300;
  long unsigned int D.17303;
  void * D.17304;
  struct FILE * gc_debug_file.10;
  struct SgenThreadInfo * info;
  int old_errno;

  D.17300 = __errno_location ();
  old_errno = *D.17300;
  info = mono_thread_info_current ();
  info->signal = 24;
  if (0 != 0) goto <D.17301>; else goto <D.17302>;
  <D.17301>:
  D.17303 = mono_native_thread_id_get ();
  D.17304 = (void *) D.17303;
  gc_debug_file.10 = gc_debug_file;
  fprintf (gc_debug_file.10, "Restart handler in %p %p\n", info, D.17304);
  gc_debug_file.10 = gc_debug_file;
  fflush (gc_debug_file.10);
  <D.17302>:
  D.17300 = __errno_location ();
  *D.17300 = old_errno;
}


suspend_handler (int sig, struct siginfo_t * siginfo, void * context)
{
  int * D.17306;
  struct SgenThreadInfo * info;
  int old_errno;

  D.17306 = __errno_location ();
  old_errno = *D.17306;
  info = mono_thread_info_current ();
  suspend_thread (info, context);
  D.17306 = __errno_location ();
  *D.17306 = old_errno;
}


suspend_thread (struct SgenThreadInfo * info, void * context)
{
  struct MonoDomain * D.17307;
  void * iftmp.11;
  int D.17311;
  unsigned int sgen_global_stop_count.12;
  void * iftmp.13;
  int D.17319;
  void * D.17323;
  void * D.17325;
  void * D.17326;
  struct MonoContext * D.17330;
  _Bool D.17332;
  long int D.17333;
  long int D.17334;
  struct MonoGCCallbacks * D.17337;
  void (*<T2a05>) (void *, void *, struct MonoContext *) D.17338;
  struct MonoGCCallbacks * D.17341;
  void (*<T2a05>) (void *, void *, struct MonoContext *) D.17342;
  void * D.17343;
  long unsigned int D.17346;
  void * D.17347;
  struct FILE * gc_debug_file.14;
  union MonoSemType * suspend_ack_semaphore_ptr.15;
  unsigned int stop_count.16;
  int D.17351;
  long unsigned int D.17354;
  void * D.17355;
  int stop_count;
  void * stack_start;

  D.17307 = mono_domain_get ();
  info->stopped_domain = D.17307;
  if (context != 0B) goto <D.17309>; else goto <D.17310>;
  <D.17309>:
  D.17311 = MEM[(struct ucontext_t *)context].uc_mcontext.gregs[14];
  iftmp.11 = (void *) D.17311;
  goto <D.17312>;
  <D.17310>:
  iftmp.11 = 0B;
  <D.17312>:
  info->stopped_ip = iftmp.11;
  info->signal = 0;
  sgen_global_stop_count.12 = sgen_global_stop_count;
  stop_count = (int) sgen_global_stop_count.12;
  if (0 != 0) goto <D.17314>; else goto <D.17315>;
  <D.17314>:
  return;
  <D.17315>:
  if (context != 0B) goto <D.17317>; else goto <D.17318>;
  <D.17317>:
  D.17319 = MEM[(struct ucontext_t *)context].uc_mcontext.gregs[7];
  iftmp.13 = (void *) D.17319;
  goto <D.17320>;
  <D.17318>:
  iftmp.13 = 0B;
  <D.17320>:
  stack_start = iftmp.13;
  D.17323 = info->stack_start_limit;
  if (D.17323 <= stack_start) goto <D.17324>; else goto <D.17321>;
  <D.17324>:
  D.17325 = info->stack_start;
  D.17326 = info->stack_end;
  if (D.17325 <= D.17326) goto <D.17327>; else goto <D.17321>;
  <D.17327>:
  info->stack_start = stack_start;
  if (context != 0B) goto <D.17328>; else goto <D.17329>;
  <D.17328>:
  D.17330 = &info->ctx;
  mono_sigctx_to_monoctx (context, D.17330);
  goto <D.17331>;
  <D.17329>:
  D.17330 = &info->ctx;
  memset (D.17330, 0, 36);
  <D.17331>:
  goto <D.17322>;
  <D.17321>:
  D.17325 = info->stack_start;
  D.17332 = D.17325 != 0B;
  D.17333 = (long int) D.17332;
  D.17334 = __builtin_expect (D.17333, 0);
  if (D.17334 != 0) goto <D.17335>; else goto <D.17336>;
  <D.17335>:
  monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "sgen-os-posix.c", 90, "!info->stack_start");
  <D.17336>:
  <D.17322>:
  D.17337 = mono_gc_get_gc_callbacks ();
  D.17338 = D.17337->thread_suspend_func;
  if (D.17338 != 0B) goto <D.17339>; else goto <D.17340>;
  <D.17339>:
  D.17341 = mono_gc_get_gc_callbacks ();
  D.17342 = D.17341->thread_suspend_func;
  D.17343 = info->runtime_data;
  D.17342 (D.17343, context, 0B);
  <D.17340>:
  if (0 != 0) goto <D.17344>; else goto <D.17345>;
  <D.17344>:
  D.17346 = mono_native_thread_id_get ();
  D.17347 = (void *) D.17346;
  gc_debug_file.14 = gc_debug_file;
  fprintf (gc_debug_file.14, "Posting suspend_ack_semaphore for suspend from %p %p\n", info, D.17347);
  gc_debug_file.14 = gc_debug_file;
  fflush (gc_debug_file.14);
  <D.17345>:
  pthread_sigmask (0, &suspend_ack_signal_mask, 0B);
  suspend_ack_semaphore_ptr.15 = suspend_ack_semaphore_ptr;
  mono_sem_post (suspend_ack_semaphore_ptr.15);
  stop_count.16 = (unsigned int) stop_count;
  info->stop_count = stop_count.16;
  <D.17174>:
  info->signal = 0;
  sigsuspend (&suspend_signal_mask);
  D.17351 = info->signal;
  if (D.17351 != 24) goto <D.17174>; else goto <D.17175>;
  <D.17175>:
  pthread_sigmask (1, &suspend_ack_signal_mask, 0B);
  if (0 != 0) goto <D.17352>; else goto <D.17353>;
  <D.17352>:
  D.17354 = mono_native_thread_id_get ();
  D.17355 = (void *) D.17354;
  gc_debug_file.14 = gc_debug_file;
  fprintf (gc_debug_file.14, "Posting suspend_ack_semaphore for resume from %p %p\n\n", info, D.17355);
  gc_debug_file.14 = gc_debug_file;
  fflush (gc_debug_file.14);
  <D.17353>:
  suspend_ack_semaphore_ptr.15 = suspend_ack_semaphore_ptr;
  mono_sem_post (suspend_ack_semaphore_ptr.15);
}


memset (void * __dest, int __ch, size_t __len)
{
  int D.17359;
  int D.17364;
  void * D.17366;
  unsigned int D.17367;

  D.17359 = __builtin_constant_p (__len);
  if (D.17359 != 0) goto <D.17360>; else goto <D.17361>;
  <D.17360>:
  if (__len == 0) goto <D.17362>; else goto <D.17363>;
  <D.17362>:
  D.17364 = __builtin_constant_p (__ch);
  if (D.17364 == 0) goto <D.17357>; else goto <D.17365>;
  <D.17365>:
  if (__ch != 0) goto <D.17357>; else goto <D.17358>;
  <D.17357>:
  __warn_memset_zero_len ();
  D.17366 = __dest;
  return D.17366;
  <D.17358>:
  <D.17363>:
  <D.17361>:
  D.17367 = __builtin_object_size (__dest, 0);
  D.17366 = __builtin___memset_chk (__dest, __ch, __len, D.17367);
  return D.17366;
}


mono_gc_get_suspend_signal ()
{
  int D.17369;

  D.17369 = 30;
  return D.17369;
}