annotate dyncallback/dyncall_args_arm32.c @ 663:127b569978cc default tip

- another tweak handling clang trying to be too smart (see last commit)
author Tassilo Philipp
date Sun, 24 Mar 2024 13:52:44 +0100
parents 93ce63d72d59
children
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
661
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
9 Copyright (c) 2007-2024 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
661
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
28 #include "dyncall_args.h"
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
29
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
30 struct DCArgs
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
31 {
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
32 /* Don't change order! */
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
33 long reg_data[4];
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
34 int reg_count;
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
35 long* stack_ptr;
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
36 #if defined(DC__ABI_ARM_HF)
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
37 DCfloat f[16];
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
38 int freg_count;
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
39 int dreg_count;
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
40 #endif
93ce63d72d59 - dyncallback code cleanup: removed unneeded headers
Tassilo Philipp
parents: 582
diff changeset
41 };
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
42
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
43
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
44 static void arm_align_64(DCArgs* args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
45 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
46 /* Look at signature to see if current calling convention needs alignment */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
47 /* or not (e.g. EABI has different alignment). If nothing specified, fall */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
48 /* back to default behaviour for this platform. */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
49 /* @@@ check signature string */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
50
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
51 int sig =
39
f01895437921 - armhf callback support: fixed alignment logic (only return type support still missing)
cslag
parents: 38
diff changeset
52 #if defined(DC__ABI_ARM_EABI) || defined(DC__ABI_ARM_HF)
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
53 0; /* EABI */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
54 #else
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
55 1; /* ATPCS */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
56 #endif
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
57 if(sig == 0) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
58 if(args->reg_count < 4)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
59 args->reg_count = (args->reg_count+1)&~1;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
60 if(args->reg_count >= 4 && (int)args->stack_ptr & 4)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
61 ++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
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
65
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
66 static void* arm_word(DCArgs* args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
67 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
68 if(args->reg_count < 4)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
69 return &args->reg_data[args->reg_count++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
70 else
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
71 return (void*)args->stack_ptr++;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
72 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
73
38
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
74 static DCfloat arm_float(DCArgs* args)
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
75 {
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
76 #if defined(DC__ABI_ARM_HF)
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
77 DCfloat f;
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
78 if(args->freg_count < 16) {
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
79 f = args->f[args->freg_count++];
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
80
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
81 /* if freg_count was odd, sync with dreg_count */
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
82 if(!(args->freg_count & 1) && (args->freg_count < args->dreg_count))
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
83 args->freg_count = args->dreg_count;
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
84
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
85 return f;
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
86 }
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
87 #endif
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
88 return *(DCfloat*)arm_word(args);
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
89 }
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
90
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
91 static DCdouble arm_double(DCArgs* args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
92 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
93 union {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
94 DCdouble d;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
95 DClong l[2];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
96 } d;
38
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
97 #if defined(DC__ABI_ARM_HF)
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
98 if(args->dreg_count < args->freg_count)
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
99 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
100
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
101 if(args->dreg_count < 16) {
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
102 d.d = *(DCdouble*)&args->f[args->dreg_count];
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
103 args->dreg_count += 2;
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
104
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
105 /* 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
106 if(!(args->freg_count & 1))
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
107 args->freg_count = args->dreg_count;
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
108 return d.d;
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
109 }
47
c4de113dc1e9 - some armhf comments, doc clarification, cleanup
cslag
parents: 45
diff changeset
110 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
111 #endif
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
112 arm_align_64(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
113 d.l[0] = *(DClong*)arm_word(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
114 d.l[1] = *(DClong*)arm_word(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
115 return d.d;
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 static DClonglong arm_longlong(DCArgs* 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 union {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
121 DClonglong ll;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
122 DClong l[2];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
123 } ll;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
124 arm_align_64(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
125 ll.l[0] = *(DClong*)arm_word(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
126 ll.l[1] = *(DClong*)arm_word(args);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
127 return ll.ll;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
128 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
129
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
130
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
131 DClonglong dcbArgLongLong (DCArgs* p) { return arm_longlong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
132 DClong dcbArgLong (DCArgs* p) { return *(DClong*)arm_word(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
133 DCint dcbArgInt (DCArgs* p) { return (DCint) dcbArgLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
134 DCchar dcbArgChar (DCArgs* p) { return (DCchar) dcbArgLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
135 DCshort dcbArgShort (DCArgs* p) { return (DCshort) dcbArgLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
136 DCbool dcbArgBool (DCArgs* p) { return (dcbArgLong(p) == 0) ? 0 : 1; }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
137
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
138 DCuint dcbArgUInt (DCArgs* p) { return (DCuint) dcbArgInt(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
139 DCuchar dcbArgUChar (DCArgs* p) { return (DCuchar) dcbArgChar(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
140 DCushort dcbArgUShort (DCArgs* p) { return (DCushort) dcbArgShort(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
141 DCulong dcbArgULong (DCArgs* p) { return (DCulong) dcbArgLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
142 DCulonglong dcbArgULongLong(DCArgs* p) { return (DCulonglong)dcbArgLongLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
143
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
144
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
145 DCpointer dcbArgPointer (DCArgs* p) { return (DCpointer) dcbArgLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
146
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
147 DCdouble dcbArgDouble (DCArgs* p) { return arm_double(p); }
38
fb416abb2059 - armhf callback support (not all working, yet)
cslag
parents: 0
diff changeset
148 DCfloat dcbArgFloat (DCArgs* p) { return arm_float(p); }
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
149
582
3bad4cb40445 - arm32 dyncallback impl: fixed wrong type def
Tassilo Philipp
parents: 580
diff changeset
150 DCpointer dcbArgAggr (DCArgs* p, DCpointer target) { /* @@@AGGR not impl */ return NULL; }
533
71c884e610f0 - integration of patches from Raphael Luba, Thekla, Inc.:
Tassilo Philipp
parents: 281
diff changeset
151 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
152