mono_sigctx_to_monoctx (void * sigctx, struct MonoContext * mctx)
{
  long long unsigned int D.6014;
  int D.6015;
  long long unsigned int D.6016;
  int D.6017;
  double D.6018;
  float D.6019;
  int i;

  D.6014 = MEM[(struct ucontext_t *)sigctx].uc_mcontext.pc;
  D.6015 = (int) D.6014;
  mctx->sc_pc = D.6015;
  i = 0;
  goto <D.6003>;
  <D.6002>:
  D.6016 = MEM[(struct ucontext_t *)sigctx].uc_mcontext.gregs[i];
  D.6017 = (int) D.6016;
  mctx->sc_regs[i] = D.6017;
  D.6018 = MEM[(struct ucontext_t *)sigctx].uc_mcontext.fpregs.fp_r.fp_dregs[i];
  D.6019 = (float) D.6018;
  mctx->sc_fpregs[i] = D.6019;
  i = i + 1;
  <D.6003>:
  if (i <= 31) goto <D.6002>; else goto <D.6004>;
  <D.6004>:
}


mono_monoctx_to_sigctx (struct MonoContext * mctx, void * sigctx)
{
  int D.6020;
  long long unsigned int D.6021;
  int D.6022;
  long long unsigned int D.6023;
  float D.6024;
  double D.6025;
  int i;

  D.6020 = mctx->sc_pc;
  D.6021 = (long long unsigned int) D.6020;
  MEM[(struct ucontext_t *)sigctx].uc_mcontext.pc = D.6021;
  i = 0;
  goto <D.6011>;
  <D.6010>:
  D.6022 = mctx->sc_regs[i];
  D.6023 = (long long unsigned int) D.6022;
  MEM[(struct ucontext_t *)sigctx].uc_mcontext.gregs[i] = D.6023;
  D.6024 = mctx->sc_fpregs[i];
  D.6025 = (double) D.6024;
  MEM[(struct ucontext_t *)sigctx].uc_mcontext.fpregs.fp_r.fp_dregs[i] = D.6025;
  i = i + 1;
  <D.6011>:
  if (i <= 31) goto <D.6010>; else goto <D.6012>;
  <D.6012>:
}