diff options
Diffstat (limited to 'erts/emulator/hipe/hipe_x86_glue.h')
| -rw-r--r-- | erts/emulator/hipe/hipe_x86_glue.h | 265 |
1 files changed, 265 insertions, 0 deletions
diff --git a/erts/emulator/hipe/hipe_x86_glue.h b/erts/emulator/hipe/hipe_x86_glue.h new file mode 100644 index 0000000000..4c9c92c52f --- /dev/null +++ b/erts/emulator/hipe/hipe_x86_glue.h @@ -0,0 +1,265 @@ +/* + * %CopyrightBegin% + * + * Copyright Ericsson AB 2001-2009. All Rights Reserved. + * + * The contents of this file are subject to the Erlang Public License, + * Version 1.1, (the "License"); you may not use this file except in + * compliance with the License. You should have received a copy of the + * Erlang Public License along with this software. If not, it can be + * retrieved online at http://www.erlang.org/. + * + * Software distributed under the License is distributed on an "AS IS" + * basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See + * the License for the specific language governing rights and limitations + * under the License. + * + * %CopyrightEnd% + */ +/* + * $Id$ + */ +#ifndef HIPE_X86_GLUE_H +#define HIPE_X86_GLUE_H + +#include "hipe_x86_asm.h" /* for NR_ARG_REGS and LEAF_WORDS */ + +/* Emulated code recursively calls native code. + The return address is `nbif_return', which is exported so that + tailcalls from native to emulated code can be identified. */ +extern unsigned int x86_call_to_native(Process*); +extern void nbif_return(void); + +/* Native-mode stubs for calling emulated-mode closures. */ +extern void nbif_ccallemu0(void); +extern void nbif_ccallemu1(void); +extern void nbif_ccallemu2(void); +extern void nbif_ccallemu3(void); +extern void nbif_ccallemu4(void); +extern void nbif_ccallemu5(void); +extern void nbif_ccallemu6(void); + +/* Default exception handler for native code. */ +extern void nbif_fail(void); + +/* Emulated code returns to its native code caller. */ +extern unsigned int x86_return_to_native(Process*); + +/* Emulated code tailcalls native code. */ +extern unsigned int x86_tailcall_to_native(Process*); + +/* Emulated code throws an exception to its native code caller. */ +extern unsigned int x86_throw_to_native(Process*); + +static __inline__ unsigned int max(unsigned int x, unsigned int y) +{ + return (x > y) ? x : y; +} + +static __inline__ void hipe_arch_glue_init(void) +{ + static struct sdesc_with_exnra nbif_return_sdesc = { + .exnra = (unsigned long)nbif_fail, + .sdesc = { + .bucket = { .hvalue = (unsigned long)nbif_return }, + .summary = (1<<8), + }, + }; + hipe_init_sdesc_table(&nbif_return_sdesc.sdesc); +} + +/* PRE: arity <= NR_ARG_REGS */ +static __inline__ void +hipe_write_x86_regs(Process *p, unsigned int arity, Eterm reg[]) +{ +#if NR_ARG_REGS > 0 + int i; + for (i = arity; --i >= 0;) + p->def_arg_reg[i] = reg[i]; +#endif +} + +/* PRE: arity <= NR_ARG_REGS */ +static __inline__ void +hipe_read_x86_regs(Process *p, unsigned int arity, Eterm reg[]) +{ +#if NR_ARG_REGS > 0 + int i; + for (i = arity; --i >= 0;) + reg[i] = p->def_arg_reg[i]; +#endif +} + +static __inline__ void +hipe_push_x86_params(Process *p, unsigned int arity, Eterm reg[]) +{ + unsigned int i; + + i = arity; + if (i > NR_ARG_REGS) { + Eterm *nsp = p->hipe.nsp; + i = NR_ARG_REGS; + do { + *--nsp = reg[i++]; + } while (i < arity); + p->hipe.nsp = nsp; + i = NR_ARG_REGS; + } + /* INV: i <= NR_ARG_REGS */ + hipe_write_x86_regs(p, i, reg); +} + +static __inline__ void +hipe_pop_x86_params(Process *p, unsigned int arity, Eterm reg[]) +{ + unsigned int i; + + i = arity; + if (i > NR_ARG_REGS) { + Eterm *nsp = p->hipe.nsp; + do { + reg[--i] = *nsp++; + } while (i > NR_ARG_REGS); + p->hipe.nsp = nsp; + /* INV: i == NR_ARG_REGS */ + } + /* INV: i <= NR_ARG_REGS */ + hipe_read_x86_regs(p, i, reg); +} + +/* BEAM recursively calls native code. */ +static __inline__ unsigned int +hipe_call_to_native(Process *p, unsigned int arity, Eterm reg[]) +{ + int nstkargs; + + /* Note that call_to_native() needs two words on the stack: + one for the nbif_return return address, and one for the + callee's return address should it need to call inc_stack_0. */ + if ((nstkargs = arity - NR_ARG_REGS) < 0) + nstkargs = 0; + hipe_check_nstack(p, max(nstkargs+1+1, LEAF_WORDS)); + hipe_push_x86_params(p, arity, reg); /* needs nstkargs words */ + return x86_call_to_native(p); /* needs 1+1 words */ +} + +/* Native called BEAM, which now tailcalls native. */ +static __inline__ unsigned int +hipe_tailcall_to_native(Process *p, unsigned int arity, Eterm reg[]) +{ + int nstkargs; + + if ((nstkargs = arity - NR_ARG_REGS) < 0) + nstkargs = 0; + /* +1 so callee can call inc_stack_0 */ + hipe_check_nstack(p, max(nstkargs+1, LEAF_WORDS)); + if (nstkargs) { + Eterm nra; + nra = *(p->hipe.nsp++); + hipe_push_x86_params(p, arity, reg); + *--(p->hipe.nsp) = nra; + } else + hipe_write_x86_regs(p, arity, reg); + return x86_tailcall_to_native(p); +} + +/* BEAM called native, which has returned. Clean up. */ +static __inline__ void hipe_return_from_native(Process *p) { } + +/* BEAM called native, which has thrown an exception. Clean up. */ +static __inline__ void hipe_throw_from_native(Process *p) { } + +/* BEAM called native, which now calls BEAM. + Move the parameters to reg[]. + Return zero if this is a tailcall, non-zero if the call is recursive. + If tailcall, also clean up native stub continuation. */ +static __inline__ int +hipe_call_from_native_is_recursive(Process *p, Eterm reg[]) +{ + Eterm nra; + + nra = *(p->hipe.nsp++); + hipe_pop_x86_params(p, p->arity, reg); + if (nra != (Eterm)nbif_return) { + *--(p->hipe.nsp) = nra; + return 1; + } + return 0; +} + +/* Native makes a call which needs to unload the parameters. + This differs from hipe_call_from_native_is_recursive() in + that it doesn't check for or pop the BEAM-calls-native frame. + It's currently only used in the implementation of apply. */ +static __inline__ void +hipe_pop_params(Process *p, unsigned int arity, Eterm reg[]) +{ + if (arity > NR_ARG_REGS) { + /* for apply/3 this will only happen if we configure + the runtime system with fewer argument registers + than default (i.e., 3) */ + Eterm nra = *(p->hipe.nsp++); + hipe_pop_x86_params(p, arity, reg); + *--(p->hipe.nsp) = nra; + } else { + /* arity <= NR_ARG_REGS so we optimise and + use hipe_read_x86_regs() directly */ + hipe_read_x86_regs(p, arity, reg); + } +} + +/* Native called BEAM, which now returns back to native. */ +static __inline__ unsigned int hipe_return_to_native(Process *p) +{ + return x86_return_to_native(p); +} + +/* Native called BEAM, which now throws an exception back to native. */ +static __inline__ unsigned int hipe_throw_to_native(Process *p) +{ + return x86_throw_to_native(p); +} + +/* Return the address of a stub switching a native closure call to BEAM. */ +static __inline__ void *hipe_closure_stub_address(unsigned int arity) +{ +#if NR_ARG_REGS == 0 + return nbif_ccallemu0; +#else /* > 0 */ + switch (arity) { + case 0: return nbif_ccallemu0; +#if NR_ARG_REGS == 1 + default: return nbif_ccallemu1; +#else /* > 1 */ + case 1: return nbif_ccallemu1; +#if NR_ARG_REGS == 2 + default: return nbif_ccallemu2; +#else /* > 2 */ + case 2: return nbif_ccallemu2; +#if NR_ARG_REGS == 3 + default: return nbif_ccallemu3; +#else /* > 3 */ + case 3: return nbif_ccallemu3; +#if NR_ARG_REGS == 4 + default: return nbif_ccallemu4; +#else /* > 4 */ + case 4: return nbif_ccallemu4; +#if NR_ARG_REGS == 5 + default: return nbif_ccallemu5; +#else /* > 5 */ + case 5: return nbif_ccallemu5; +#if NR_ARG_REGS == 6 + default: return nbif_ccallemu6; +#else +#error "NR_ARG_REGS > 6 NOT YET IMPLEMENTED" +#endif /* > 6 */ +#endif /* > 5 */ +#endif /* > 4 */ +#endif /* > 3 */ +#endif /* > 2 */ +#endif /* > 1 */ + } +#endif /* > 0 */ +} + +#endif /* HIPE_X86_GLUE_H */ |