print_operand_value (char *buf, size_t bufsize, int hex, bfd_vma disp)

{

  if (address_mode == mode_64bit)

    {

      if (hex)

	{

	  char tmp[30];

	  int i;

	  buf[0] = '0';

	  buf[1] = 'x';

          snprintf_vma (tmp, sizeof(tmp), disp);

	  for (i = 0; tmp[i] == '0' && tmp[i + 1]; i++);

          pstrcpy (buf + 2, bufsize - 2, tmp + i);

	}

      else

	{

	  bfd_signed_vma v = disp;

	  char tmp[30];

	  int i;

	  if (v < 0)

	    {

	      *(buf++) = '-';

	      v = -disp;

	      /* Check for possible overflow on 0x8000000000000000.  */

	      if (v < 0)

		{

                  pstrcpy (buf, bufsize, "9223372036854775808");

		  return;

		}

	    }

	  if (!v)

	    {

                pstrcpy (buf, bufsize, "0");

	      return;

	    }



	  i = 0;

	  tmp[29] = 0;

	  while (v)

	    {

	      tmp[28 - i] = (v % 10) + '0';

	      v /= 10;

	      i++;

	    }

          pstrcpy (buf, bufsize, tmp + 29 - i);

	}

    }

  else

    {

      if (hex)

        snprintf (buf, bufsize, "0x%x", (unsigned int) disp);

      else

        snprintf (buf, bufsize, "%d", (int) disp);

    }

}

print_operand_value (char *buf, size_t bufsize, int hex, bfd_vma disp)

{

  if (address_mode == mode_64bit)

    {

      if (hex)

	{

	  char tmp[30];

	  int i;

	  buf[0] = '0';

	  buf[1] = 'x';

          snprintf_vma (tmp, sizeof(tmp), disp);

	  for (i = 0; tmp[i] == '0' && tmp[i + 1]; i++);

          pstrcpy (buf + 2, bufsize - 2, tmp + i);

	}

      else

	{

	  bfd_signed_vma v = disp;

	  char tmp[30];

	  int i;

	  if (v < 0)

	    {

	      *(buf++) = '-';

	      v = -disp;

	      

	      if (v < 0)

		{

                  pstrcpy (buf, bufsize, "9223372036854775808");

		  return;

		}

	    }

	  if (!v)

	    {

                pstrcpy (buf, bufsize, "0");

	      return;

	    }



	  i = 0;

	  tmp[29] = 0;

	  while (v)

	    {

	      tmp[28 - i] = (v % 10) + '0';

	      v /= 10;

	      i++;

	    }

          pstrcpy (buf, bufsize, tmp + 29 - i);

	}

    }

  else

    {

      if (hex)

        snprintf (buf, bufsize, "0x%x", (unsigned int) disp);

      else

        snprintf (buf, bufsize, "%d", (int) disp);

    }

}

	  for (i = 0; tmp[i] == '0' && tmp[i + 1]; i++);
FUNC_0 (char *VAR_0, size_t VAR_1, int VAR_2, bfd_vma VAR_3)

{

  if (address_mode == mode_64bit)

    {

      if (VAR_2)

	{

	  char VAR_6[30];

	  int VAR_6;

	  VAR_0[0] = '0';

	  VAR_0[1] = 'x';

          snprintf_vma (VAR_6, sizeof(VAR_6), VAR_3);

	  for (VAR_6 = 0; VAR_6[VAR_6] == '0' && VAR_6[VAR_6 + 1]; VAR_6++);

          pstrcpy (VAR_0 + 2, VAR_1 - 2, VAR_6 + VAR_6);

	}

      else

	{

	  bfd_signed_vma v = VAR_3;

	  char VAR_6[30];

	  int VAR_6;

	  if (v < 0)

	    {

	      *(VAR_0++) = '-';

	      v = -VAR_3;

	      

	      if (v < 0)

		{

                  pstrcpy (VAR_0, VAR_1, "9223372036854775808");

		  return;

		}

	    }

	  if (!v)

	    {

                pstrcpy (VAR_0, VAR_1, "0");

	      return;

	    }



	  VAR_6 = 0;

	  VAR_6[29] = 0;

	  while (v)

	    {

	      VAR_6[28 - VAR_6] = (v % 10) + '0';

	      v /= 10;

	      VAR_6++;

	    }

          pstrcpy (VAR_0, VAR_1, VAR_6 + 29 - VAR_6);

	}

    }

  else

    {

      if (VAR_2)

        snprintf (VAR_0, VAR_1, "0x%x", (unsigned int) VAR_3);

      else

        snprintf (VAR_0, VAR_1, "%d", (int) VAR_3);

    }

}

FUNC_0 (char *VAR_0, size_t VAR_1, int VAR_2, bfd_vma VAR_3)
{ if (address_mode == mode_64bit)
{ if (VAR_2)
{ char VAR_6[30]; int VAR_6; VAR_0[0] = '0'; VAR_0[1] = 'x'; snprintf_vma (VAR_6, sizeof(VAR_6), VAR_3); for (VAR_6 = 0; VAR_6[VAR_6] == '0' && VAR_6[VAR_6 + 1]; VAR_6++); pstrcpy (VAR_0 + 2, VAR_1 - 2, VAR_6 + VAR_6); } else
{ bfd_signed_vma v = VAR_3; char VAR_6[30]; int VAR_6; if (v < 0)
{ *(VAR_0++) = '-'; v = -VAR_3; if (v < 0)
{ pstrcpy (VAR_0, VAR_1, "9223372036854775808"); return; } } if (!v)
{ pstrcpy (VAR_0, VAR_1, "0"); return; } VAR_6 = 0; VAR_6[29] = 0; while (v)
{ VAR_6[28 - VAR_6] = (v % 10) + '0'; v /= 10; VAR_6++; } pstrcpy (VAR_0, VAR_1, VAR_6 + 29 - VAR_6); } } else
{ if (VAR_2)
snprintf (VAR_0, VAR_1, "0x%x", (unsigned int) VAR_3); else
snprintf (VAR_0, VAR_1, "%d", (int) VAR_3); } }