annotate dyncallback/dyncall_args_arm64_apple.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 0079a8fa894e
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
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
5 File: dyncallback/dyncall_args_arm64_apple.c
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
6 Description: Callback's Arguments VM - Implementation for Apple's ARM64 / ARMv8 / AAPCS64
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
544
111236b31c75 - C++ non-trivial aggregate-by-value handling:
Tassilo Philipp
parents: 533
diff changeset
9 Copyright (c) 2015-2022 Daniel Adler <dadler@uni-goettingen.de>,
281
f5577f6bf97a - file header cleanups for release
Tassilo Philipp
parents: 0
diff changeset
10 Tassilo Philipp <tphilipp@potion-studios.com>
0
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 #include "dyncall_args.h"
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
27
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
28 #include <stdint.h>
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
29
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
30 typedef union {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
31 struct { double value; } d;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
32 struct { float value; } f;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
33 } DCFPU_t;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
34
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
35 struct DCArgs
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
36 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
37 /* buffers and stack-pointer: */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
38 uint64_t I[8];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
39 DCFPU_t F[8];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
40 uint8_t* sp;
654
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
41
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
42 /* counters: */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
43 int i;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
44 int f;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
45 };
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
46
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
47 static inline uint8_t* align(uint8_t* p, size_t v)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
48 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
49 return (uint8_t*) ( ( ( (ptrdiff_t) p ) + v - 1) & (ptrdiff_t) -v );
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
654
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
53 DClonglong dcbArgLongLong(DCArgs* p)
0
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 (p->i < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
56 return p->I[p->i++];
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 DClonglong value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
59 p->sp = align(p->sp,sizeof(DClonglong));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
60 value = * ( (DClonglong*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
61 p->sp += sizeof(DClonglong);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
62 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
63 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
64 }
654
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
65
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
66 DCdouble dcbArgDouble(DCArgs* p)
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
67 {
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
68 if (p->f < 8) {
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
69 return p->F[p->f++].d.value;
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 DCdouble value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
72 p->sp = align(p->sp,sizeof(DCdouble));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
73 value = * ( (DCdouble*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
74 p->sp += sizeof(DCdouble);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
75 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
76 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
77 }
654
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
78
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
79 DCfloat dcbArgFloat(DCArgs* p)
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
80 {
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
81 if (p->f < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
82 return p->F[p->f++].f.value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
83 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
84 DCfloat value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
85 p->sp = align(p->sp,sizeof(DCfloat));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
86 value = * ( (DCfloat*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
87 p->sp += sizeof(DCfloat);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
88 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
89 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
90 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
91
654
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
92 DClong dcbArgLong(DCArgs* p)
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
93 {
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
94 if (p->i < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
95 return (DClong) p->I[p->i++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
96 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
97 DClong value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
98 p->sp = align(p->sp,sizeof(DClong));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
99 value = * ( (DClong*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
100 p->sp += sizeof(DClong);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
101 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
102 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
103 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
104
654
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
105 DCint dcbArgInt(DCArgs* p)
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
106 {
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
107 if (p->i < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
108 return (DCint) p->I[p->i++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
109 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
110 DCint value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
111 p->sp = align(p->sp,sizeof(DCint));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
112 value = * ( (DCint*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
113 p->sp += sizeof(DCint);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
114 return value;
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
654
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
118 DCshort dcbArgShort(DCArgs* p)
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
119 {
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
120 if (p->i < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
121 return (DCshort) p->I[p->i++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
122 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
123 DCshort value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
124 p->sp = align(p->sp,sizeof(DCshort));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
125 value = * ( (DCshort*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
126 p->sp += sizeof(DCshort);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
127 return value;
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
654
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
131 DCchar dcbArgChar(DCArgs* p)
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
132 {
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
133 if (p->i < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
134 return (DCchar) p->I[p->i++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
135 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
136 DCchar value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
137 p->sp = align(p->sp,sizeof(DCchar));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
138 value = * ( (DCchar*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
139 p->sp += sizeof(DCchar);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
140 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
141 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
142 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
143
654
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
144 DCbool dcbArgBool(DCArgs* p)
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
145 {
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
146 if (p->i < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
147 return (DCbool) p->I[p->i++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
148 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
149 DCbool value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
150 p->sp = align(p->sp,sizeof(DCbool));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
151 value = * ( (DCbool*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
152 p->sp += sizeof(DCbool);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
153 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
154 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
155 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
156
654
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
157 DCpointer dcbArgPointer(DCArgs* p) {
0079a8fa894e - arm64 tweaks/cleanups for callbacks:
Tassilo Philipp
parents: 580
diff changeset
158 return (DCpointer) dcbArgLongLong(p);
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
159 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
160
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
161 DCuint dcbArgUInt (DCArgs* p) { return (DCuint) dcbArgInt(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
162 DCuchar dcbArgUChar (DCArgs* p) { return (DCuchar) dcbArgChar(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
163 DCushort dcbArgUShort (DCArgs* p) { return (DCushort) dcbArgShort(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
164 DCulong dcbArgULong (DCArgs* p) { return (DCulong) dcbArgLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
165 DCulonglong dcbArgULongLong(DCArgs* p) { return (DCulonglong) dcbArgLongLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
166
580
2562c89d5bb5 - added missing return values for dcbArgAggr() on functions w/o aggregate support
Tassilo Philipp
parents: 544
diff changeset
167 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
168 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
169