annotate dyncallback/dyncall_args_x86.c @ 533:71c884e610f0

- integration of patches from Raphael Luba, Thekla, Inc.: * integration of aggregate-by-value (struct, union) support patch for x64 (win and sysv) * windows/x64 asm additions to specify how stack unwinds (help for debuggers, exception handling, etc.) * see Changelog for details - new calling convention modes for thiscalls (platform agnostic, was specific before) * new signature character for platform agnostic thiscalls ('*' / DC_SIGCHAR_CC_THISCALL) - dcCallF(), dcVCallF(), dcArgF() and dcVArgF(): * added support for aggregates-by-value (wasn't part of patch) * change that those functions don't implicitly call dcReset() anymore, which was unflexible (breaking change) - added macros to feature test implementation for aggregate-by-value and syscall support - changed libdyncall_s.lib and libdyncallback_s.lib order in callback test makefiles, as some toolchains are picky about order - doc: * man page updates to describe aggregate interface * manual overview changes to highlight platforms with aggregate-by-value support - test/plain: replaced tests w/ old/stale sctruct interface with new aggregate one
author Tassilo Philipp
date Thu, 21 Apr 2022 13:35:47 +0200
parents f5577f6bf97a
children 111236b31c75
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
1 /*
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
2
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
3 Package: dyncall
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
4 Library: dyncallback
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
5 File: dyncallback/dyncall_args_x86.c
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
6 Description: Callback's Arguments VM - Implementation for x86
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
7 License:
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
8
533
71c884e610f0 - integration of patches from Raphael Luba, Thekla, Inc.:
Tassilo Philipp
parents: 281
diff changeset
9 Copyright (c) 2007-2022 Daniel Adler <dadler@uni-goettingen.de>,
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
10 Tassilo Philipp <tphilipp@potion-studios.com>
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
11
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
12 Permission to use, copy, modify, and distribute this software for any
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
13 purpose with or without fee is hereby granted, provided that the above
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
14 copyright notice and this permission notice appear in all copies.
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
15
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
16 THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
17 WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
18 MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
19 ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
20 WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
21 ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
22 OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
23
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
24 */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
25
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
26
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
27 #include "dyncall_args_x86.h"
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
28
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
29
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
30
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
31 DCint dcbArgInt (DCArgs* p) { return p->vt->i32(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
32 DClonglong dcbArgLongLong(DCArgs* p) { return p->vt->i64(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
33 DCfloat dcbArgFloat (DCArgs* p) { return p->vt->f32(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
34 DCdouble dcbArgDouble (DCArgs* p) { return p->vt->f64(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
35
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
36 /* promote to integer: bool, char, short, long and pointer */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
37
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
38 DCbool dcbArgBool (DCArgs* p) { return ( dcbArgInt(p) == 0 ) ? 0 : 1; }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
39 DCchar dcbArgChar (DCArgs* p) { return (char) dcbArgInt(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
40 DCshort dcbArgShort (DCArgs* p) { return (short) dcbArgInt(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
41 DClong dcbArgLong (DCArgs* p) { return (long) dcbArgInt(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
42 DCpointer dcbArgPointer (DCArgs* p) { return (DCpointer) dcbArgInt(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
43
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
44 /* unsigned types */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
45
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
46 DCuint dcbArgUInt (DCArgs* p) { return (DCuint) dcbArgInt(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
47 DCuchar dcbArgUChar (DCArgs* p) { return (DCuchar) dcbArgChar(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
48 DCushort dcbArgUShort (DCArgs* p) { return (DCushort) dcbArgShort(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
49 DCulong dcbArgULong (DCArgs* p) { return (DCulong) dcbArgLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
50 DCulonglong dcbArgULongLong(DCArgs* p) { return (DCulonglong) dcbArgLongLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
51
533
71c884e610f0 - integration of patches from Raphael Luba, Thekla, Inc.:
Tassilo Philipp
parents: 281
diff changeset
52 void dcbArgAggr (DCArgs* p, DCpointer target) { /* @@@AGGR not impl */ }
71c884e610f0 - integration of patches from Raphael Luba, Thekla, Inc.:
Tassilo Philipp
parents: 281
diff changeset
53 void dcbReturnAggr (DCArgs *args, DCValue *result, DCpointer ret) { /* @@@AGGR not impl */ }
71c884e610f0 - integration of patches from Raphael Luba, Thekla, Inc.:
Tassilo Philipp
parents: 281
diff changeset
54
71c884e610f0 - integration of patches from Raphael Luba, Thekla, Inc.:
Tassilo Philipp
parents: 281
diff changeset
55
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
56
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
57 /* cdecl calling convention */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
58
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
59 static int default_i32(DCArgs* args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
60 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
61 return *args->stack_ptr++;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
62 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
63
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
64 static long long default_i64(DCArgs* args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
65 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
66 long long result = * (long long*) args->stack_ptr;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
67 args->stack_ptr += 2;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
68 return result;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
69 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
70
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
71 static float default_f32(DCArgs* args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
72 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
73 float result = * ( (float*) args->stack_ptr );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
74 args->stack_ptr++;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
75 return result;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
76 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
77
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
78 static double default_f64(DCArgs* args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
79 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
80 double result = * ( (double*) args->stack_ptr );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
81 args->stack_ptr += 2;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
82 return result;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
83 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
84
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
85 DCArgsVT dcArgsVT_default = { default_i32, default_i64, default_f32, default_f64 };
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
86
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
87 /* thiscall (microsoft) calling convention */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
88
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
89 static int this_i32(DCArgs* args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
90 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
91 if(args->fast_data[0]) { /* ecx register = this pointer */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
92 int thisArg = args->fast_data[0];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
93 args->fast_data[0] = 0;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
94 return thisArg;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
95 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
96 return *args->stack_ptr++;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
97 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
98
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
99 DCArgsVT dcArgsVT_this_ms = { this_i32, default_i64, default_f32, default_f64 };
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
100
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
101 /* fastcall (microsoft) calling convention */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
102
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
103 static int fast_i32(DCArgs* args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
104 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
105 if(args->fast_count < 2)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
106 return args->fast_data[args->fast_count++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
107 else
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
108 return default_i32(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
109 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
110
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
111 DCArgsVT dcArgsVT_fast_ms = { fast_i32, default_i64, default_f32, default_f64 };
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
112
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
113 /* fastcall (gnu) calling convention */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
114
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
115 static long long fast_gnu_i64(DCArgs* args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
116 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
117 args->fast_count += 2;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
118 return default_i64(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
119 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
120
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
121 DCArgsVT dcArgsVT_fast_gnu = { fast_i32, fast_gnu_i64, default_f32, default_f64 };
533
71c884e610f0 - integration of patches from Raphael Luba, Thekla, Inc.:
Tassilo Philipp
parents: 281
diff changeset
122