From 11da511c784eca003deb90c23570f0873954e0de Mon Sep 17 00:00:00 2001 From: Duncan Wilkie Date: Sat, 18 Nov 2023 06:11:09 -0600 Subject: Initial commit. --- gmp-6.3.0/tests/x86check.c | 117 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 117 insertions(+) create mode 100644 gmp-6.3.0/tests/x86check.c (limited to 'gmp-6.3.0/tests/x86check.c') diff --git a/gmp-6.3.0/tests/x86check.c b/gmp-6.3.0/tests/x86check.c new file mode 100644 index 0000000..12ea5b7 --- /dev/null +++ b/gmp-6.3.0/tests/x86check.c @@ -0,0 +1,117 @@ +/* x86 calling conventions checking. */ + +/* +Copyright 2000, 2001, 2010 Free Software Foundation, Inc. + +This file is part of the GNU MP Library test suite. + +The GNU MP Library test suite 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. + +The GNU MP Library test suite 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 +the GNU MP Library test suite. If not, see https://www.gnu.org/licenses/. */ + +#include +#include "gmp-impl.h" +#include "tests.h" + + +/* Vector if constants and register values. We use one vector to allow access + via a base pointer, very beneficial for the PIC-enabled amd64call.asm. */ +mp_limb_t calling_conventions_values[17] = +{ + CNST_LIMB(0x12345678), /* want_ebx */ + CNST_LIMB(0x89ABCDEF), /* want_ebp */ + CNST_LIMB(0xDEADBEEF), /* want_esi */ + CNST_LIMB(0xFFEEDDCC), /* want_edi */ + + CNST_LIMB(0xFEEDABBA), /* JUNK_EAX */ + CNST_LIMB(0xAB78DE89), /* JUNK_ECX */ + CNST_LIMB(0x12389018) /* JUNK_EDX */ + + /* rest of array used for dynamic values. */ +}; + +/* Index starts for various regions in above vector. */ +#define WANT 0 +#define JUNK 4 +#define SAVE 7 +#define RETADDR 11 +#define VAL 12 +#define EFLAGS 16 + + +/* values to check */ +#ifdef __cplusplus +extern "C" { +#endif +struct { + unsigned control; + unsigned status; + unsigned tag; + unsigned other[4]; +} calling_conventions_fenv; +#ifdef __cplusplus +} +#endif + +/* expected values, as per x86call.asm */ +#define VALUE_EBX 0x01234567 +#define VALUE_ESI 0x89ABCDEF +#define VALUE_EDI 0xFEDCBA98 +#define VALUE_EBP 0x76543210 + + +const char *regname[] = {"ebx", "ebp", "esi", "edi"}; + +#define DIR_BIT(eflags) (((eflags) & (1<<10)) != 0) + + +/* Return 1 if ok, 0 if not */ + +int +calling_conventions_check (void) +{ + const char *header = "Violated calling conventions:\n"; + int ret = 1; + int i; + +#define CHECK(callreg, regstr, value) \ + if (callreg != value) \ + { \ + printf ("%s %s got 0x%08X want 0x%08X\n", \ + header, regstr, callreg, value); \ + header = ""; \ + ret = 0; \ + } + + for (i = 0; i < 4; i++) + { + CHECK (calling_conventions_values[VAL+i], regname[i], calling_conventions_values[WANT+i]); + } + + if (DIR_BIT (calling_conventions_values[EFLAGS]) != 0) + { + printf ("%s eflags dir bit got %d want 0\n", + header, DIR_BIT (calling_conventions_values[EFLAGS])); + header = ""; + ret = 0; + } + + if ((calling_conventions_fenv.tag & 0xFFFF) != 0xFFFF) + { + printf ("%s fpu tags got 0x%X want 0xFFFF\n", + header, calling_conventions_fenv.tag & 0xFFFF); + header = ""; + ret = 0; + } + + return ret; +} -- cgit v1.2.3