mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-05-08 02:40:17 +02:00
a62f405751
* check/self.c, check/self.ok: New files implementing simple consistency check assertions. At first validating some macros that use values from different sources agree. * check/Makefile.am: Update for the new test case. * include/lightning.h, lib/lightning.c: Add the new jit_callee_save_p() call, that is intended to be used when writing complex code using lightning, so that one does not need to verify what backend is being used, or have access to private data, to query if a register is callee save or not; on several backends the scratch registers are actually callee save. * include/lightning/jit_aarch64.h, include/lightning/jit_arm.h, include/lightning/jit_hppa.h, include/lightning/jit_mips.h, include/lightning/jit_ppc.h, include/lightning/jit_sparc.h, include/lightning/jit_x86.h: Add an explicit definition for JIT_R3-JIT_Rn, JIT_V3-JIT_Vn and JIT_F6-JIT_Fn when applicable. This allows one to write code based on "#if defined(JIT_XN)" and therefore, not need to check what is the current backend or have access to private data structures. This is particularly useful when writing virtual machines with several specialized, global registers. * lib/jit_ia64.c: Properly flag the callee save general purpose registers as such, so that jit_callee_save_p() works as intended.
152 lines
4.4 KiB
C
152 lines
4.4 KiB
C
/*
|
|
* Copyright (C) 2012, 2013 Free Software Foundation, Inc.
|
|
*
|
|
* This file is part of GNU lightning.
|
|
*
|
|
* GNU lightning 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 3, or (at your option)
|
|
* any later version.
|
|
*
|
|
* GNU lightning 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.
|
|
*
|
|
* Authors:
|
|
* Paulo Cesar Pereira de Andrade
|
|
*/
|
|
|
|
#ifndef _jit_x86_h
|
|
#define _jit_x86_h
|
|
|
|
#define JIT_HASH_CONSTS 1
|
|
#define JIT_NUM_OPERANDS 2
|
|
|
|
/*
|
|
* Types
|
|
*/
|
|
#define jit_sse2_p() jit_cpu.sse2
|
|
#define jit_x87_reg_p(reg) ((reg) >= _ST0 && (reg) <= _ST7)
|
|
|
|
#define JIT_FP _RBP
|
|
typedef enum {
|
|
#if __WORDSIZE == 32
|
|
# define jit_arg_reg_p(i) 0
|
|
# define jit_r(i) (_RAX + (i))
|
|
# define jit_r_num() 3
|
|
# define jit_v(i) (_RBX + (i))
|
|
# define jit_v_num() 3
|
|
# define jit_arg_f_reg_p(i) 0
|
|
# define jit_f(i) (jit_cpu.sse2 ? _XMM0 + (i) : _ST0 + (i))
|
|
# define jit_f_num() (jit_cpu.sse2 ? 8 : 6)
|
|
# define JIT_R0 _RAX
|
|
# define JIT_R1 _RCX
|
|
# define JIT_R2 _RDX
|
|
_RAX, _RCX, _RDX,
|
|
# define JIT_V0 _RBX
|
|
# define JIT_V1 _RSI
|
|
# define JIT_V2 _RDI
|
|
_RBX, _RSI, _RDI,
|
|
_RSP, _RBP,
|
|
# define JIT_F0 (jit_sse2_p() ? _XMM0 : _ST0)
|
|
# define JIT_F1 (jit_sse2_p() ? _XMM1 : _ST1)
|
|
# define JIT_F2 (jit_sse2_p() ? _XMM2 : _ST2)
|
|
# define JIT_F3 (jit_sse2_p() ? _XMM3 : _ST3)
|
|
# define JIT_F4 (jit_sse2_p() ? _XMM4 : _ST4)
|
|
# define JIT_F5 (jit_sse2_p() ? _XMM5 : _ST5)
|
|
# define JIT_F6 (jit_sse2_p() ? _XMM6 : _ST6)
|
|
# define JIT_F7 (jit_sse2_p() ? _XMM7 : _ST7)
|
|
_XMM0, _XMM1, _XMM2, _XMM3, _XMM4, _XMM5, _XMM6, _XMM7,
|
|
# define jit_sse_reg_p(reg) ((reg) >= _XMM0 && (reg) <= _XMM7)
|
|
#else
|
|
# define jit_arg_reg_p(i) ((i) >= 0 && (i) < 6)
|
|
# define jit_r(i) (_RAX + (i))
|
|
# define jit_r_num() 4
|
|
# define jit_v(i) (_RBX + (i))
|
|
# define jit_v_num() 4
|
|
# define jit_arg_f_reg_p(i) ((i) >= 0 && (i) < 8)
|
|
# define jit_f(index) (_XMM0 + (index))
|
|
# define jit_f_num() 8
|
|
# define JIT_R0 _RAX
|
|
# define JIT_R1 _R10
|
|
# define JIT_R2 _R11
|
|
# define JIT_R3 _R12
|
|
_RAX, _R10, _R11, _R12,
|
|
# define JIT_V0 _RBX
|
|
# define JIT_V1 _R13
|
|
# define JIT_V2 _R14
|
|
# define JIT_V3 _R15
|
|
_RBX, _R13, _R14, _R15,
|
|
# define JIT_RA0 _RDI
|
|
_R9, _R8, _RCX, _RDX, _RSI, _RDI,
|
|
_RSP, _RBP,
|
|
# define JIT_F0 _XMM8
|
|
# define JIT_F1 _XMM9
|
|
# define JIT_F2 _XMM10
|
|
# define JIT_F3 _XMM11
|
|
# define JIT_F4 _XMM12
|
|
# define JIT_F5 _XMM13
|
|
# define JIT_F6 _XMM14
|
|
# define JIT_F7 _XMM15
|
|
_XMM8, _XMM9, _XMM10, _XMM11, _XMM12, _XMM13, _XMM14, _XMM15,
|
|
# define JIT_FA0 _XMM0
|
|
_XMM7, _XMM6, _XMM5, _XMM4, _XMM3, _XMM2, _XMM1, _XMM0,
|
|
# define jit_sse_reg_p(reg) ((reg) >= _XMM8 && (reg) <= _XMM0)
|
|
#endif
|
|
_ST0, _ST1, _ST2, _ST3, _ST4, _ST5, _ST6, _ST7,
|
|
# define JIT_NOREG _NOREG
|
|
_NOREG,
|
|
} jit_reg_t;
|
|
|
|
typedef struct {
|
|
/* x87 present */
|
|
jit_uint32_t fpu : 1;
|
|
/* cmpxchg8b instruction */
|
|
jit_uint32_t cmpxchg8b : 1;
|
|
/* cmov and fcmov branchless conditional mov */
|
|
jit_uint32_t cmov : 1;
|
|
/* mmx registers/instructions available */
|
|
jit_uint32_t mmx : 1;
|
|
/* sse registers/instructions available */
|
|
jit_uint32_t sse : 1;
|
|
/* sse2 registers/instructions available */
|
|
jit_uint32_t sse2 : 1;
|
|
/* sse3 instructions available */
|
|
jit_uint32_t sse3 : 1;
|
|
/* pcmulqdq instruction */
|
|
jit_uint32_t pclmulqdq : 1;
|
|
/* ssse3 suplemental sse3 instructions available */
|
|
jit_uint32_t ssse3 : 1;
|
|
/* fused multiply/add using ymm state */
|
|
jit_uint32_t fma : 1;
|
|
/* cmpxchg16b instruction */
|
|
jit_uint32_t cmpxchg16b : 1;
|
|
/* sse4.1 instructions available */
|
|
jit_uint32_t sse4_1 : 1;
|
|
/* sse4.2 instructions available */
|
|
jit_uint32_t sse4_2 : 1;
|
|
/* movbe instruction available */
|
|
jit_uint32_t movbe : 1;
|
|
/* popcnt instruction available */
|
|
jit_uint32_t popcnt : 1;
|
|
/* aes instructions available */
|
|
jit_uint32_t aes : 1;
|
|
/* avx instructions available */
|
|
jit_uint32_t avx : 1;
|
|
/* lahf/sahf available in 64 bits mode */
|
|
jit_uint32_t lahf : 1;
|
|
} jit_cpu_t;
|
|
|
|
#if __WORDSIZE == 32
|
|
typedef jit_int32_t jit_regset_t;
|
|
#else
|
|
typedef jit_int64_t jit_regset_t;
|
|
#endif
|
|
|
|
/*
|
|
* Initialization
|
|
*/
|
|
extern jit_cpu_t jit_cpu;
|
|
|
|
#endif /* _jit_x86_h */
|