annotate dyncallback/dyncall_args_arm64_apple.c @ 544:111236b31c75

- C++ non-trivial aggregate-by-value handling: * dyncallback support for dcbArgAggr() * better doc
author Tassilo Philipp
date Tue, 31 May 2022 18:25:13 +0200
parents 71c884e610f0
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
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
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
39 uint64_t I[8];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
40 DCFPU_t F[8];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
41 uint8_t* sp;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
42
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
43 /* counters: */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
44 int i;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
45 int f;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
46 int s;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
47 int reserved;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
48 };
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
49
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
50 static inline uint8_t* align(uint8_t* p, size_t v)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
51 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
52 return (uint8_t*) ( ( ( (ptrdiff_t) p ) + v - 1) & (ptrdiff_t) -v );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
53 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
54
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
55
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
56 DClonglong dcbArgLongLong (DCArgs* p)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
57 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
58 if (p->i < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
59 return p->I[p->i++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
60 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
61 DClonglong value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
62 p->sp = align(p->sp,sizeof(DClonglong));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
63 value = * ( (DClonglong*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
64 p->sp += sizeof(DClonglong);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
65 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
66 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
67 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
68 DCdouble dcbArgDouble (DCArgs* p) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
69 if (p->f < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
70 return p->F[p->f++].d.value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
71 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
72 DCdouble value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
73 p->sp = align(p->sp,sizeof(DCdouble));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
74 value = * ( (DCdouble*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
75 p->sp += sizeof(DCdouble);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
76 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
77 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
78 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
79 DCfloat dcbArgFloat (DCArgs* p) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
80 if (p->f < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
81 return p->F[p->f++].f.value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
82 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
83 DCfloat value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
84 p->sp = align(p->sp,sizeof(DCfloat));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
85 value = * ( (DCfloat*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
86 p->sp += sizeof(DCfloat);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
87 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
88 }
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 DClong dcbArgLong (DCArgs* p) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
92 if (p->i < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
93 return (DClong) p->I[p->i++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
94 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
95 DClong value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
96 p->sp = align(p->sp,sizeof(DClong));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
97 value = * ( (DClong*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
98 p->sp += sizeof(DClong);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
99 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
100 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
101 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
102
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
103 DCint dcbArgInt (DCArgs* p) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
104 if (p->i < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
105 return (DCint) p->I[p->i++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
106 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
107 DCint value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
108 p->sp = align(p->sp,sizeof(DCint));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
109 value = * ( (DCint*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
110 p->sp += sizeof(DCint);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
111 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
112 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
113 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
114
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
115 DCshort dcbArgShort (DCArgs* p) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
116 if (p->i < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
117 return (DCshort) p->I[p->i++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
118 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
119 DCshort value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
120 p->sp = align(p->sp,sizeof(DCshort));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
121 value = * ( (DCshort*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
122 p->sp += sizeof(DCshort);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
123 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
124 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
125 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
126
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
127 DCchar dcbArgChar (DCArgs* p) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
128 if (p->i < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
129 return (DCchar) p->I[p->i++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
130 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
131 DCchar value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
132 p->sp = align(p->sp,sizeof(DCchar));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
133 value = * ( (DCchar*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
134 p->sp += sizeof(DCchar);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
135 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
136 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
137 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
138
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
139 DCbool dcbArgBool (DCArgs* p) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
140 if (p->i < 8) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
141 return (DCbool) p->I[p->i++];
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
142 } else {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
143 DCbool value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
144 p->sp = align(p->sp,sizeof(DCbool));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
145 value = * ( (DCbool*) p->sp );
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
146 p->sp += sizeof(DCbool);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
147 return value;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
148 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
149 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
150
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
151 DCpointer dcbArgPointer(DCArgs* p) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
152 return (DCpointer) dcbArgLongLong(p);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
153 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
154
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
155 DCuint dcbArgUInt (DCArgs* p) { return (DCuint) dcbArgInt(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
156 DCuchar dcbArgUChar (DCArgs* p) { return (DCuchar) dcbArgChar(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
157 DCushort dcbArgUShort (DCArgs* p) { return (DCushort) dcbArgShort(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
158 DCulong dcbArgULong (DCArgs* p) { return (DCulong) dcbArgLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
159 DCulonglong dcbArgULongLong(DCArgs* p) { return (DCulonglong) dcbArgLongLong(p); }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
160
544
111236b31c75 - C++ non-trivial aggregate-by-value handling:
Tassilo Philipp
parents: 533
diff changeset
161 DCpointer dcbArgAggr (DCArgs* p, DCpointer target) { /* @@@AGGR not impl */ }
533
71c884e610f0 - integration of patches from Raphael Luba, Thekla, Inc.:
Tassilo Philipp
parents: 281
diff changeset
162 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
163