|
Packit Service |
949dd0 |
/* glibc-hwcaps subdirectory test. powerpc64le version.
|
|
Packit Service |
949dd0 |
Copyright (C) 2020 Free Software Foundation, Inc.
|
|
Packit Service |
949dd0 |
This file is part of the GNU C Library.
|
|
Packit Service |
949dd0 |
|
|
Packit Service |
949dd0 |
The GNU C Library is free software; you can redistribute it and/or
|
|
Packit Service |
949dd0 |
modify it under the terms of the GNU Lesser General Public
|
|
Packit Service |
949dd0 |
License as published by the Free Software Foundation; either
|
|
Packit Service |
949dd0 |
version 2.1 of the License, or (at your option) any later version.
|
|
Packit Service |
949dd0 |
|
|
Packit Service |
949dd0 |
The GNU C Library is distributed in the hope that it will be useful,
|
|
Packit Service |
949dd0 |
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Packit Service |
949dd0 |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Packit Service |
949dd0 |
Lesser General Public License for more details.
|
|
Packit Service |
949dd0 |
|
|
Packit Service |
949dd0 |
You should have received a copy of the GNU Lesser General Public
|
|
Packit Service |
949dd0 |
License along with the GNU C Library; if not, see
|
|
Packit Service |
949dd0 |
<https://www.gnu.org/licenses/>. */
|
|
Packit Service |
949dd0 |
|
|
Packit Service |
949dd0 |
#include <stdio.h>
|
|
Packit Service |
949dd0 |
#include <string.h>
|
|
Packit Service |
949dd0 |
#include <support/check.h>
|
|
Packit Service |
949dd0 |
#include <sys/auxv.h>
|
|
Packit Service |
949dd0 |
#include <sys/param.h>
|
|
Packit Service |
949dd0 |
|
|
Packit Service |
949dd0 |
extern int marker2 (void);
|
|
Packit Service |
949dd0 |
extern int marker3 (void);
|
|
Packit Service |
949dd0 |
|
|
Packit Service |
949dd0 |
/* Return the POWER level, 8 for the baseline. */
|
|
Packit Service |
949dd0 |
static int
|
|
Packit Service |
949dd0 |
compute_level (void)
|
|
Packit Service |
949dd0 |
{
|
|
Packit Service |
949dd0 |
const char *platform = (const char *) getauxval (AT_PLATFORM);
|
|
Packit Service |
949dd0 |
if (strcmp (platform, "power8") == 0)
|
|
Packit Service |
949dd0 |
return 8;
|
|
Packit Service |
949dd0 |
if (strcmp (platform, "power9") == 0)
|
|
Packit Service |
949dd0 |
return 9;
|
|
Packit Service |
949dd0 |
if (strcmp (platform, "power10") == 0)
|
|
Packit Service |
949dd0 |
return 10;
|
|
Packit Service |
949dd0 |
printf ("warning: unrecognized AT_PLATFORM value: %s\n", platform);
|
|
Packit Service |
949dd0 |
/* Assume that the new platform supports POWER10. */
|
|
Packit Service |
949dd0 |
return 10;
|
|
Packit Service |
949dd0 |
}
|
|
Packit Service |
949dd0 |
|
|
Packit Service |
949dd0 |
static int
|
|
Packit Service |
949dd0 |
do_test (void)
|
|
Packit Service |
949dd0 |
{
|
|
Packit Service |
949dd0 |
int level = compute_level ();
|
|
Packit Service |
949dd0 |
printf ("info: detected POWER level: %d\n", level);
|
|
Packit Service |
949dd0 |
TEST_COMPARE (marker2 (), MIN (level - 7, 2));
|
|
Packit Service |
949dd0 |
TEST_COMPARE (marker3 (), MIN (level - 7, 3));
|
|
Packit Service |
949dd0 |
return 0;
|
|
Packit Service |
949dd0 |
}
|
|
Packit Service |
949dd0 |
|
|
Packit Service |
949dd0 |
#include <support/test-driver.c>
|