mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-05-07 18:30:25 +02:00
7a1c455237
2012-12-02 Paulo Andrade <pcpa@gnu.org> * tests/Makefile.am, tests/3to2.c, tests/3to2.ok, tests/add.c, tests/add.ok, tests/allocai.c, tests/allocai.ok, tests/bp.c, tests/bp.ok, tests/divi.c, tests/divi.ok, tests/fib.c, tests/fib.ok, tests/fibdelay.c, tests/fibdelay.ok, tests/fibit.c, tests/fibit.ok, tests/funcfp.c, tests/funcfp.ok, tests/incr.c, tests/incr.ok, tests/ldst.c, tests/ldst.ok, tests/ldxi.c, tests/ldxi.ok, tests/modi.c, tests/modi.ok, tests/movi.c, tests/movi.ok, tests/printf.c, tests/printf.ok, tests/printf2.c, tests/printf2.ok, tests/ret.c, tests/ret.ok, tests/rpn.c, tests/rpn.ok, tests/rpnfp.c, tests/rpnfp.ok, tests/sete.c, tests/sete.ok, tests/testfp.c, tests/testfp.ok, tests-run-test: Removed previous test suite, in favor of a newer one in the check subdirectory. * check/3to2.ok, check/3to2.tst, check/add.ok, check/add.tst, check/allocai.ok, check/allocai.tst, check/bp.ok, check/bp.tst, check/divi.ok, check/divi.tst, check/fib.ok, check/fib.tst: New sample input for the new test program, loosely matching several of the previous test cases. * check/Makefile.am: New test suite makefile. * check/check.sh, check/run-test: New wrapper files for the new test suite. * check/lightning.c: New file. The main driver of the new test suite, that compiles to a parser of a very simple assembly like language, generates jit and executes it. * check/all.tst: New file. A generic debug and sample test file with a directive to prevent it from being executed, and useful to read disassembly of all possible instructions, using a fixed set of registers. * include/Makefile.am, include/lightning.h, include/lightning/Makefile.am, include/lightning/jit_arm.h, include/lightning/jit_mips.h, include/lightning/jit_ppc.h, include/lightning/jit_private.h, include/lightning/jit_x86.h, lib/Makefile.am, lib/jit_disasm.c, lib/jit_print.c, lib/jit_x86-cpu.c, lib/jit_x86-sse.c, lib/jit_x86-x87.c, lib/jit_x86.c, lib/lightning.c: New files. These files are written from scratch, only by <pcpa@gnu.org>, and have now copyright assignment to the FSF. This is the core of the new lightning rework. Previously it was integrated in code with a garbage collector and several custom types like vectors and hash tables, so this first code merge with lightning converts that code into a library extracting only the jit bits, and at first only for x86_64 GNU/Linux. * lightning.h, m4/lightning.m4: Removed. These are no longer required in the new lightning code. .gitignore, Makefile.am, configure.ac: Update for the new lightning code.
166 lines
4.7 KiB
C
166 lines
4.7 KiB
C
/*
|
|
* Copyright (C) 2012 Free Software Foundation, Inc.
|
|
*
|
|
* This 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.
|
|
*
|
|
* This software 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.
|
|
*
|
|
* 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_RET _RAX
|
|
#define JIT_SP _RSP
|
|
#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_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_FRET _ST0
|
|
# 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_FRET _XMM0
|
|
# 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
|
|
# define JIT_RA1 _RSI
|
|
# define JIT_RA2 _RDX
|
|
# define JIT_RA3 _RCX
|
|
# define JIT_RA4 _R8
|
|
# define JIT_RA5 _R9
|
|
_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
|
|
# define JIT_FA1 _XMM1
|
|
# define JIT_FA2 _XMM2
|
|
# define JIT_FA3 _XMM3
|
|
# define JIT_FA4 _XMM4
|
|
# define JIT_FA5 _XMM5
|
|
# define JIT_FA6 _XMM6
|
|
# define JIT_FA7 _XMM7
|
|
_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 */
|