1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166
|
/* vacall function for i386 CPU */
/*
* Copyright 1995-2004 Bruno Haible, <bruno@clisp.org>
*
* This is free software distributed under the GNU General Public Licence
* described in the file COPYING. Contact the author if you don't have this
* or can't live with it. There is ABSOLUTELY NO WARRANTY, explicit or implied,
* on this software.
*/
#ifndef REENTRANT
#include "vacall.h.in"
#else /* REENTRANT */
#include "vacall_r.h.in"
#endif
#ifdef REENTRANT
typedef struct { void (*vacall_function) (void*,va_alist); void* arg; } env_t;
#endif
register void* sp __asm__("%esp");
register void* sret __asm__("%ebx");
register int iret __asm__("%eax");
/*
* Tell gcc to not use the call-saved registers %esi, %edi, %ebp.
* This ensures that the return sequence does not need to restore registers
* from the stack.
*/
register void* dummy1 __asm__("%esi");
register void* dummy2 __asm__("%edi");
register void* dummy3 __asm__("%ebp");
void /* the return type is variable, not void! */
#ifdef REENTRANT
__vacall_r (env_t * env, __vaword firstword)
#else
__vacall (__vaword firstword)
#endif
{
__va_alist list;
/* Prepare the va_alist. */
list.flags = 0;
list.aptr = (long)&firstword;
list.raddr = (void*)0;
list.rtype = __VAvoid;
list.structraddr = sret;
/* Call vacall_function. The macros do all the rest. */
#ifndef REENTRANT
(*vacall_function) (&list);
#else /* REENTRANT */
(*env->vacall_function) (env->arg,&list);
#endif
/* Put return value into proper register. */
if (list.rtype == __VAvoid) {
} else
if (list.rtype == __VAchar) {
iret = list.tmp._char;
} else
if (list.rtype == __VAschar) {
iret = list.tmp._schar;
} else
if (list.rtype == __VAuchar) {
iret = list.tmp._uchar;
} else
if (list.rtype == __VAshort) {
iret = list.tmp._short;
} else
if (list.rtype == __VAushort) {
iret = list.tmp._ushort;
} else
if (list.rtype == __VAint) {
iret = list.tmp._int;
} else
if (list.rtype == __VAuint) {
iret = list.tmp._uint;
} else
if (list.rtype == __VAlong) {
iret = list.tmp._long;
} else
if (list.rtype == __VAulong) {
iret = list.tmp._ulong;
} else
if (list.rtype == __VAlonglong || list.rtype == __VAulonglong) {
/* This code is EXTREMELY fragile!! */
/* It depends on the register allocation chosen by gcc. */
iret = ((__vaword *) &list.tmp._longlong)[0];
asm volatile ("movl %0,%%edx" : : "g"(((__vaword *) &list.tmp._longlong)[1]));
} else
if (list.rtype == __VAfloat) {
asm volatile ("flds %0": : "m"(list.tmp._float));
} else
if (list.rtype == __VAdouble) {
asm volatile ("fldl %0": : "m"(list.tmp._double));
} else
if (list.rtype == __VAvoidp) {
iret = (long)list.tmp._ptr;
} else
if (list.rtype == __VAstruct) {
if (list.flags & __VA_PCC_STRUCT_RETURN) {
/* pcc struct return convention */
iret = (long) list.raddr;
} else {
/* normal struct return convention */
if (list.flags & __VA_REGISTER_STRUCT_RETURN) {
if (list.rsize == sizeof(char)) {
iret = *(unsigned char *) list.raddr;
goto done;
} else
if (list.rsize == sizeof(short)) {
iret = *(unsigned short *) list.raddr;
goto done;
} else
if (list.rsize == sizeof(int)) {
iret = *(unsigned int *) list.raddr;
goto done;
} else
if (list.rsize == 2*sizeof(__vaword)) {
/* This code is EXTREMELY fragile!! */
/* It depends on the register allocation chosen by gcc. */
iret = ((__vaword *) list.raddr)[0];
asm volatile ("movl %0,%%edx" : : "g"(((__vaword *) list.raddr)[1]));
goto done;
}
}
if (!(list.flags & (__VA_NEXTGCC_STRUCT_RETURN | __VA_MSVC_STRUCT_RETURN))) {
/* We have to pop the struct return address off the stack. */
/* Callers compiled with -fomit-frame-pointer expect this. */
/* Return via a "ret $4" instruction. */
/* NOTE: This is EXTREMELY fragile. It depends on the fact that
* no registers have to be restored from the stack. Look at the
* assembly code!
*/
sp = __builtin_frame_address(0);
#ifndef REENTRANT
asm volatile ("ret $4");
#else
/* Also pop env off the stack. */
asm volatile ("ret $8");
#endif
/*NOTREACHED*/
}
if (list.flags & __VA_MSVC_STRUCT_RETURN) {
/* on MSVC, must put the structure address into %eax */
iret = (long) list.raddr;
}
done: ;
}
}
if (list.flags & __VA_STDCALL_CLEANUP) {
/* Return, and at the same time pop the arguments off the stack. */
/* Normally done through a "ret $n" instruction. */
/* Be careful not to clobber %eax and %edx. Only %ecx can be used. */
/* Use *__builtin_frame_address(0), since __builtin_return_address(0)
* is buggy in gcc-2.7.2. */
asm volatile ("movl %0,%%ecx" : : "g" (*(void**)__builtin_frame_address(0)));
sp = (void*)list.aptr;
asm volatile ("jmp *%ecx");
/*NOTREACHED*/
}
#ifdef REENTRANT
/* Pop env off the stack. */
/* Callers compiled with -fomit-frame-pointer expect this. */
sp = __builtin_frame_address(0);
asm volatile ("ret $4");
#endif
}
|