/*Copyright (C) 2015-2016 Free Software Foundation, Inc.

   This file is part of GDB.

   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 3 of the License, or
   (at your option) any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */

#include "common-defs.h"
#include "ppc-linux.h"
#include <elf.h>

#ifdef HAVE_GETAUXVAL
#include <sys/auxv.h>
#endif

#ifdef __powerpc64__

/* Get the HWCAP from the process of GDB or GDBserver.  If success,
   save it in *VALP.   */

static void
ppc64_host_hwcap (unsigned long *valp)
{
#ifdef HAVE_GETAUXVAL
  *valp = getauxval (AT_HWCAP);
#else
  unsigned long data[2];
  FILE *f = fopen ("/proc/self/auxv", "r");

  if (f == NULL)
    return;

  while (fread (data, sizeof (data), 1, f) > 0)
    {
      if (data[0] == AT_HWCAP)
	{
	  *valp = data[1];
	  break;
	}
    }

  fclose (f);
#endif /* HAVE_GETAUXVAL */
}

int
ppc64_64bit_inferior_p (long msr)
{
  unsigned long ppc_host_hwcap = 0;

  /* Get host's HWCAP to check whether the machine is Book E.  */
  ppc64_host_hwcap (&ppc_host_hwcap);

  /* We actually have a 64-bit inferior only if the certain bit of the
     MSR is set.  The PowerISA Book III-S MSR is different from the
     PowerISA Book III-E MSR.  The Book III-S MSR is 64 bits wide, and
     its MSR[SF] is the bit 0 of a 64-bit value.  Book III-E MSR is 32
     bits wide, and its MSR[CM] is the bit 0 of a 32-bit value.   */
  if (ppc_host_hwcap & PPC_FEATURE_BOOKE)
    return msr & 0x80000000;
  else
    return msr < 0;
}

#endif