1/* AMD64 calling conventions checking.
2
3Copyright 2000, 2001, 2004, 2007 Free Software Foundation, Inc.
4
5This file is part of the GNU MP Library.
6
7The GNU MP Library is free software; you can redistribute it and/or modify
8it under the terms of the GNU Lesser General Public License as published by
9the Free Software Foundation; either version 3 of the License, or (at your
10option) any later version.
11
12The GNU MP Library is distributed in the hope that it will be useful, but
13WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
15License for more details.
16
17You should have received a copy of the GNU Lesser General Public License
18along with the GNU MP Library.  If not, see http://www.gnu.org/licenses/.  */
19
20#include <stdio.h>
21#include "gmp.h"
22#include "gmp-impl.h"
23#include "tests.h"
24
25
26/* Vector if constants and register values.  We use one vector to allow access
27   via a base pointer, very beneficial for the PIC-enabled amd64call.asm.  */
28mp_limb_t calling_conventions_values[23] =
29{
30  CNST_LIMB(0x1234567887654321),	/* want_rbx */
31  CNST_LIMB(0x89ABCDEFFEDCBA98),	/* want_rbp */
32  CNST_LIMB(0xDEADBEEFBADECAFE),	/* want_r12 */
33  CNST_LIMB(0xFFEEDDCCBBAA9988),	/* want_r13 */
34  CNST_LIMB(0x0011223344556677),	/* want_r14 */
35  CNST_LIMB(0x1234432156788765),	/* want_r15 */
36
37  CNST_LIMB(0xFEEDABBACAAFBEED),	/* JUNK_RAX */
38  CNST_LIMB(0xAB78DE89FF5125BB),	/* JUNK_R10 */
39  CNST_LIMB(0x1238901890189031)		/* JUNK_R11 */
40
41  /* rest of array used for dynamic values.  */
42};
43
44/* Index starts for various regions in above vector.  */
45#define WANT	0
46#define JUNK	6
47#define SAVE	9
48#define RETADDR	15
49#define VAL	16
50#define RFLAGS	22
51
52/* values to check */
53struct {
54  int  control;
55  int  status;
56  int  tag;
57  int  other[4];
58} calling_conventions_fenv;
59
60
61char *regname[6] = {"rbx", "rbp", "r12", "r13", "r14", "r15"};
62
63#define DIR_BIT(rflags)   (((rflags) & (1<<10)) != 0)
64
65
66/* Return 1 if ok, 0 if not */
67
68int
69calling_conventions_check (void)
70{
71  const char  *header = "Violated calling conventions:\n";
72  int  ret = 1;
73  int i;
74
75#define CHECK(callreg, regstr, value)			\
76  if (callreg != value)					\
77    {							\
78      printf ("%s   %s	got 0x%016lX want 0x%016lX\n",	\
79	      header, regstr, callreg, value);		\
80      header = "";					\
81      ret = 0;						\
82    }
83
84  for (i = 0; i < 6; i++)
85    {
86      CHECK (calling_conventions_values[VAL+i], regname[i], calling_conventions_values[WANT+i]);
87    }
88
89  if (DIR_BIT (calling_conventions_values[RFLAGS]) != 0)
90    {
91      printf ("%s   rflags dir bit  got %d want 0\n",
92	      header, DIR_BIT (calling_conventions_values[RFLAGS]));
93      header = "";
94      ret = 0;
95    }
96
97  if ((calling_conventions_fenv.tag & 0xFFFF) != 0xFFFF)
98    {
99      printf ("%s   fpu tags  got 0x%X want 0xFFFF\n",
100	      header, calling_conventions_fenv.tag & 0xFFFF);
101      header = "";
102      ret = 0;
103    }
104
105  return ret;
106}
107