/* Define the machine-dependent type `jmp_buf'.  Alpha version.

   Copyright (C) 1992-2018 Free Software Foundation, Inc.

   This file is part of the GNU C Library.

   The GNU C Library is free software; you can redistribute it and/or

   modify it under the terms of the GNU Lesser General Public

   License as published by the Free Software Foundation; either

   version 2.1 of the License, or (at your option) any later version.

   The GNU C Library 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

   Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public

   License along with the GNU C Library.  If not, see

   <http://www.gnu.org/licenses/>.  */

#ifndef _BITS_SETJMP_H

#define _BITS_SETJMP_H  1

#if !defined _SETJMP_H && !defined _PTHREAD_H

# error "Never include <bits/setjmp.h> directly; use <setjmp.h> instead."

#endif

/* The previous bits/setjmp.h had __jmp_buf defined as a structure.

   We use an array of 'long int' instead, to make writing the

   assembler easier. Naturally, user code should not depend on

   either representation. */

/*

 * Integer registers:

 *    $0 is the return value (va);

 *    $1-$8, $22-$25, $28 are call-used (t0-t7, t8-t11, at);

 *    $9-$14 we save here (s0-s5);

 *    $15 is the FP and we save it here (fp or s6);

 *    $16-$21 are input arguments (call-used) (a0-a5);

 *    $26 is the return PC and we save it here (ra);

 *    $27 is the procedure value (i.e., the address of __setjmp) (pv or t12);

 *    $29 is the global pointer, which the caller will reconstruct

 *        from the return address restored in $26 (gp);

 *    $30 is the stack pointer and we save it here (sp);

 *    $31 is always zero (zero).

 *

 * Floating-point registers:

 *    $f0 is the floating return value;

 *    $f1, $f10-$f15, $f22-$f30 are call-used;

 *    $f2-$f9 we save here;

 *    $f16-$21 are input args (call-used);

 *    $f31 is always zero.

 *

 * Note that even on Alpha hardware that does not have an FPU (there

 * isn't such a thing currently) it is required to implement the FP

 * registers.

 */

#ifndef __ASSEMBLY__

typedef long int __jmp_buf[17];

#endif

#endif  /* bits/setjmp.h */