/*
** Copyright (C) 2005-2006 The University of Melbourne.
** This file may only be copied under the terms of the GNU Library General
** Public License - see the file COPYING.LIB in the Mercury distribution.
*/
#ifndef MR_MACHDEPS_X86_64_REGS_H
#define MR_MACHDEPS_X86_64_REGS_H

/*
** Machine registers MR_mr0 - MR_mr36 for the x86-64 architecture.
**
** The first MR_NUM_REAL_REGS of these are real machine registers.
** The others are just slots in a global array.
**
** At the moment we're only using the callee-save registers
** (r12-r15). 
**
** The following assignment of global registers assumes that
** we are using the x86_64's small code model.  (For gcc
** this is the default code model.)  If we ever use the medium or
** large code models with PIC then we most probably will *not* be
** able to use r15 as a global register (because it may be needed in
** function prologues to calculate the GOT address).  In that case
** we may be able to use rbx as a global register in place of r15.
**
** For further details see section 3.5.3 of:
**
**	System V Application Binary Interface
** 	AMD64 Processor Architecture Supplement
**
** which is available at: <http://www.x86-64.org/documentation/>
*/
#define MR_NUM_REAL_REGS 4

register	MR_Word	MR_mr0 __asm__("r12");	/* sp */
register	MR_Word	MR_mr1 __asm__("r13");	/* succip */
register	MR_Word	MR_mr2 __asm__("r14");	/* r1 */
register	MR_Word	MR_mr3 __asm__("r15");	/* r2 */

#define MR_real_reg_number_mr0	r12
#define MR_real_reg_number_mr1	r13
#define MR_real_reg_number_mr2	r14
#define MR_real_reg_number_mr3	r15

#define MR_save_regs_to_mem(save_area) (	\
	save_area[0] = MR_mr0,			\
	save_area[1] = MR_mr1,			\
	save_area[2] = MR_mr2,			\
	save_area[3] = MR_mr3,			\
	(void)0					\
)

#define MR_restore_regs_from_mem(save_area) (	\
	MR_mr0 = save_area[0],			\
	MR_mr1 = save_area[1],			\
	MR_mr2 = save_area[2],			\
	MR_mr3 = save_area[3],			\
	(void)0					\
)

#define MR_save_transient_regs_to_mem(save_area)	((void)0)
#define MR_restore_transient_regs_from_mem(save_area)	((void)0)

#define	MR_mr4	MR_fake_reg[4]
#define	MR_mr5	MR_fake_reg[5]
#define	MR_mr6	MR_fake_reg[6]
#define	MR_mr7	MR_fake_reg[7]
#define	MR_mr8	MR_fake_reg[8]
#define	MR_mr9	MR_fake_reg[9]
#define	MR_mr10	MR_fake_reg[10]
#define	MR_mr11	MR_fake_reg[11]
#define	MR_mr12	MR_fake_reg[12]
#define	MR_mr13	MR_fake_reg[13]
#define	MR_mr14	MR_fake_reg[14]
#define	MR_mr15	MR_fake_reg[15]
#define	MR_mr16	MR_fake_reg[16]
#define	MR_mr17	MR_fake_reg[17]
#define	MR_mr18	MR_fake_reg[18]
#define	MR_mr19	MR_fake_reg[19]
#define	MR_mr20	MR_fake_reg[20]
#define	MR_mr21	MR_fake_reg[21]
#define	MR_mr22	MR_fake_reg[22]
#define	MR_mr23	MR_fake_reg[23]
#define	MR_mr24	MR_fake_reg[24]
#define	MR_mr25	MR_fake_reg[25]
#define	MR_mr26	MR_fake_reg[26]
#define	MR_mr27	MR_fake_reg[27]
#define	MR_mr28	MR_fake_reg[28]
#define	MR_mr29	MR_fake_reg[29]
#define	MR_mr30	MR_fake_reg[30]
#define	MR_mr31	MR_fake_reg[31]
#define	MR_mr32	MR_fake_reg[32]
#define	MR_mr33	MR_fake_reg[33]
#define	MR_mr34	MR_fake_reg[34]
#define	MR_mr35	MR_fake_reg[35]
#define	MR_mr36	MR_fake_reg[36]
#define	MR_mr37	MR_fake_reg[37]

#endif /* not MR_MACHDEPS_X86_64_REGS_H */
