annotate dyncallback/dyncall_args_arm32.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 2562c89d5bb5
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
143
170cde9e2a83 - arm arm/thumb cleanup, sharing more files, directly
cslag
parents: 47
diff changeset
5 File: dyncallback/dyncall_args_arm32.c
170cde9e2a83 - arm arm/thumb cleanup, sharing more files, directly
cslag
parents: 47
diff changeset
6 Description: Callback's Arguments VM - Implementation for ARM32 (ARM and THUMB mode)
0
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
143
170cde9e2a83 - arm arm/thumb cleanup, sharing more files, directly
cslag
parents: 47
diff changeset
28 #include "dyncall_args_arm32.h"
0
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 static void arm_align_64(DCArgs* args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
32 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
33 /* Look at signature to see if current calling convention needs alignment */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
34 /* or not (e.g. EABI has different alignment). If nothing specified, fall */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
35 /* back to default behaviour for this platform. */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
36 /* @@@ check signature string */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
37
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
38 int sig =
39
f01895437921 - armhf callback support: fixed alignment logic (only return type support still missing)
cslag
parents: 38
diff changeset
39 #if defined(DC__ABI_ARM_EABI) || defined(DC__ABI_ARM_HF)
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
40 0; /* EABI */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
41 #else
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
42 1; /* ATPCS */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
43 #endif
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
44 if(sig == 0) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
45 if(args->reg_count < 4)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
46 args->reg_count = (args->reg_count+1)&~1;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
47 if(args->reg_count >= 4 && (int)args->stack_ptr & 4)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
48 ++args->stack_ptr;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
49 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
50 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
51
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
52
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
53 static void* arm_word(DCArgs* args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
54 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
55 if(args->reg_count < 4)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
56 return &args->reg_data[args->reg_count++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
57 else
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
58 return (void*)args->stack_ptr++;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
59 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
60
38
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
61 static DCfloat arm_float(DCArgs* args)
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
62 {
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
63 #if defined(DC__ABI_ARM_HF)
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
64 DCfloat f;
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
65 if(args->freg_count < 16) {
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
66 f = args->f[args->freg_count++];
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
67
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
68 /* if freg_count was odd, sync with dreg_count */
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
69 if(!(args->freg_count & 1) && (args->freg_count < args->dreg_count))
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
70 args->freg_count = args->dreg_count;
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
71
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
72 return f;
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
73 }
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
74 #endif
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
75 return *(DCfloat*)arm_word(args);
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
76 }
0
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 DCdouble arm_double(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 union {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
81 DCdouble d;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
82 DClong l[2];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
83 } d;
38
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
84 #if defined(DC__ABI_ARM_HF)
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
85 if(args->dreg_count < args->freg_count)
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
86 args->dreg_count = (args->freg_count+1)&0x1e; /* clear last bit, counter won't be higher than 16, anyways */
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
87
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
88 if(args->dreg_count < 16) {
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
89 d.d = *(DCdouble*)&args->f[args->dreg_count];
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
90 args->dreg_count += 2;
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
91
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
92 /* freg_count is either odd (pointing to a gap), or always the same as dreg_count */
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
93 if(!(args->freg_count & 1))
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
94 args->freg_count = args->dreg_count;
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
95 return d.d;
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
96 }
47
c4de113dc1e9 - some armhf comments, doc clarification, cleanup
cslag
parents: 45
diff changeset
97 args->freg_count = 16; /* fp registers all full - need to use stack now: stop filling gaps for single precision, also */
38
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
98 #endif
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
99 arm_align_64(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
100 d.l[0] = *(DClong*)arm_word(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
101 d.l[1] = *(DClong*)arm_word(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
102 return d.d;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
103 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
104
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
105 static DClonglong arm_longlong(DCArgs* args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
106 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
107 union {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
108 DClonglong ll;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
109 DClong l[2];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
110 } ll;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
111 arm_align_64(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
112 ll.l[0] = *(DClong*)arm_word(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
113 ll.l[1] = *(DClong*)arm_word(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
114 return ll.ll;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
115 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
116
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
117
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
118 DClonglong dcbArgLongLong (DCArgs* p) { return arm_longlong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
119 DClong dcbArgLong (DCArgs* p) { return *(DClong*)arm_word(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
120 DCint dcbArgInt (DCArgs* p) { return (DCint) dcbArgLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
121 DCchar dcbArgChar (DCArgs* p) { return (DCchar) dcbArgLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
122 DCshort dcbArgShort (DCArgs* p) { return (DCshort) dcbArgLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
123 DCbool dcbArgBool (DCArgs* p) { return (dcbArgLong(p) == 0) ? 0 : 1; }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
124
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
125 DCuint dcbArgUInt (DCArgs* p) { return (DCuint) dcbArgInt(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
126 DCuchar dcbArgUChar (DCArgs* p) { return (DCuchar) dcbArgChar(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
127 DCushort dcbArgUShort (DCArgs* p) { return (DCushort) dcbArgShort(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
128 DCulong dcbArgULong (DCArgs* p) { return (DCulong) dcbArgLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
129 DCulonglong dcbArgULongLong(DCArgs* p) { return (DCulonglong)dcbArgLongLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
130
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
131
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
132 DCpointer dcbArgPointer (DCArgs* p) { return (DCpointer) dcbArgLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
133
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
134 DCdouble dcbArgDouble (DCArgs* p) { return arm_double(p); }
38
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
135 DCfloat dcbArgFloat (DCArgs* p) { return arm_float(p); }
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
136
533
71c884e610f0 - integration of patches from Raphael Luba, Thekla, Inc.:
Tassilo Philipp
parents: 281
diff changeset
137 void dcbArgAggr (DCArgs* p, DCpointer target) { /* @@@AGGR not impl */ }
71c884e610f0 - integration of patches from Raphael Luba, Thekla, Inc.:
Tassilo Philipp
parents: 281
diff changeset
138 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
139