mono_hwcap_arch_init ()
{
  long unsigned int D.7531;
  long unsigned int D.7534;
  long unsigned int D.7537;
  long unsigned int D.7540;
  const char * D.7545;
  char D.7546;
  long unsigned int hwcap;
  long unsigned int platform;

  hwcap = getauxval (16);
  if (hwcap != 0) goto <D.7529>; else goto <D.7530>;
  <D.7529>:
  D.7531 = hwcap & 4;
  if (D.7531 != 0) goto <D.7532>; else goto <D.7533>;
  <D.7532>:
  mono_hwcap_arm_has_thumb = 1;
  <D.7533>:
  D.7534 = hwcap & 64;
  if (D.7534 != 0) goto <D.7535>; else goto <D.7536>;
  <D.7535>:
  mono_hwcap_arm_has_vfp = 1;
  <D.7536>:
  D.7537 = hwcap & 8192;
  if (D.7537 != 0) goto <D.7538>; else goto <D.7539>;
  <D.7538>:
  mono_hwcap_arm_has_vfp3 = 1;
  <D.7539>:
  D.7540 = hwcap & 16384;
  if (D.7540 != 0) goto <D.7541>; else goto <D.7542>;
  <D.7541>:
  mono_hwcap_arm_has_vfp3_d16 = 1;
  <D.7542>:
  <D.7530>:
  platform = getauxval (15);
  if (platform != 0) goto <D.7543>; else goto <D.7544>;
  <D.7543>:
  {
    const char * str;

    str = (const char *) platform;
    D.7545 = str + 1;
    D.7546 = *D.7545;
    if (D.7546 > 52) goto <D.7547>; else goto <D.7548>;
    <D.7547>:
    mono_hwcap_arm_is_v5 = 1;
    <D.7548>:
    D.7545 = str + 1;
    D.7546 = *D.7545;
    if (D.7546 > 53) goto <D.7549>; else goto <D.7550>;
    <D.7549>:
    mono_hwcap_arm_is_v6 = 1;
    <D.7550>:
    D.7545 = str + 1;
    D.7546 = *D.7545;
    if (D.7546 > 54) goto <D.7551>; else goto <D.7552>;
    <D.7551>:
    mono_hwcap_arm_is_v7 = 1;
    <D.7552>:
  }
  <D.7544>:
}


mono_hwcap_print (struct FILE * f)
{
  int mono_hwcap_arm_is_v5.0;
  int mono_hwcap_arm_is_v6.1;
  int mono_hwcap_arm_is_v7.2;
  int mono_hwcap_arm_is_v7s.3;
  int mono_hwcap_arm_has_vfp.4;
  int mono_hwcap_arm_has_vfp3.5;
  int mono_hwcap_arm_has_vfp3_d16.6;
  int mono_hwcap_arm_has_thumb.7;
  int mono_hwcap_arm_has_thumb2.8;

  mono_hwcap_arm_is_v5.0 = mono_hwcap_arm_is_v5;
  monoeg_g_fprintf (f, "mono_hwcap_arm_is_v5 = %i\n", mono_hwcap_arm_is_v5.0);
  mono_hwcap_arm_is_v6.1 = mono_hwcap_arm_is_v6;
  monoeg_g_fprintf (f, "mono_hwcap_arm_is_v6 = %i\n", mono_hwcap_arm_is_v6.1);
  mono_hwcap_arm_is_v7.2 = mono_hwcap_arm_is_v7;
  monoeg_g_fprintf (f, "mono_hwcap_arm_is_v7 = %i\n", mono_hwcap_arm_is_v7.2);
  mono_hwcap_arm_is_v7s.3 = mono_hwcap_arm_is_v7s;
  monoeg_g_fprintf (f, "mono_hwcap_arm_is_v7s = %i\n", mono_hwcap_arm_is_v7s.3);
  mono_hwcap_arm_has_vfp.4 = mono_hwcap_arm_has_vfp;
  monoeg_g_fprintf (f, "mono_hwcap_arm_has_vfp = %i\n", mono_hwcap_arm_has_vfp.4);
  mono_hwcap_arm_has_vfp3.5 = mono_hwcap_arm_has_vfp3;
  monoeg_g_fprintf (f, "mono_hwcap_arm_has_vfp3 = %i\n", mono_hwcap_arm_has_vfp3.5);
  mono_hwcap_arm_has_vfp3_d16.6 = mono_hwcap_arm_has_vfp3_d16;
  monoeg_g_fprintf (f, "mono_hwcap_arm_has_vfp3_d16 = %i\n", mono_hwcap_arm_has_vfp3_d16.6);
  mono_hwcap_arm_has_thumb.7 = mono_hwcap_arm_has_thumb;
  monoeg_g_fprintf (f, "mono_hwcap_arm_has_thumb = %i\n", mono_hwcap_arm_has_thumb.7);
  mono_hwcap_arm_has_thumb2.8 = mono_hwcap_arm_has_thumb2;
  monoeg_g_fprintf (f, "mono_hwcap_arm_has_thumb2 = %i\n", mono_hwcap_arm_has_thumb2.8);
}