blob: d5d8645cd4f12c5501d7d4632f85bbe97a017d8c [file] [log] [blame]
bellard31e31b82003-02-18 22:55:36 +00001/*
2 * Generic thunking code to convert data between host and target CPU
ths5fafdf22007-09-16 21:08:06 +00003 *
bellard31e31b82003-02-18 22:55:36 +00004 * Copyright (c) 2003 Fabrice Bellard
5 *
bellard3ef693a2003-03-23 20:17:16 +00006 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2 of the License, or (at your option) any later version.
bellard31e31b82003-02-18 22:55:36 +000010 *
bellard3ef693a2003-03-23 20:17:16 +000011 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
bellard31e31b82003-02-18 22:55:36 +000015 *
bellard3ef693a2003-03-23 20:17:16 +000016 * You should have received a copy of the GNU Lesser General Public
Blue Swirl8167ee82009-07-16 20:47:01 +000017 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
bellard31e31b82003-02-18 22:55:36 +000018 */
Peter Maydelld38ea872016-01-29 17:50:05 +000019#include "qemu/osdep.h"
bellard31e31b82003-02-18 22:55:36 +000020
bellard3ef693a2003-03-23 20:17:16 +000021#include "qemu.h"
Paolo Bonzini022c62c2012-12-17 18:19:49 +010022#include "exec/user/thunk.h"
bellard31e31b82003-02-18 22:55:36 +000023
24//#define DEBUG
25
Alexander Graf8be656b2015-05-06 23:47:32 +020026static unsigned int max_struct_entries;
27StructEntry *struct_entries;
bellard31e31b82003-02-18 22:55:36 +000028
j_mayer26553112007-11-19 01:06:24 +000029static const argtype *thunk_type_next_ptr(const argtype *type_ptr);
30
bellard31e31b82003-02-18 22:55:36 +000031static inline const argtype *thunk_type_next(const argtype *type_ptr)
32{
33 int type;
34
35 type = *type_ptr++;
36 switch(type) {
37 case TYPE_CHAR:
38 case TYPE_SHORT:
39 case TYPE_INT:
40 case TYPE_LONGLONG:
41 case TYPE_ULONGLONG:
42 case TYPE_LONG:
43 case TYPE_ULONG:
44 case TYPE_PTRVOID:
Alexander Graf6083abd2012-01-31 19:44:41 +010045 case TYPE_OLDDEVT:
bellard31e31b82003-02-18 22:55:36 +000046 return type_ptr;
47 case TYPE_PTR:
j_mayer26553112007-11-19 01:06:24 +000048 return thunk_type_next_ptr(type_ptr);
bellard31e31b82003-02-18 22:55:36 +000049 case TYPE_ARRAY:
j_mayer26553112007-11-19 01:06:24 +000050 return thunk_type_next_ptr(type_ptr + 1);
bellard31e31b82003-02-18 22:55:36 +000051 case TYPE_STRUCT:
52 return type_ptr + 1;
53 default:
54 return NULL;
55 }
56}
57
j_mayer26553112007-11-19 01:06:24 +000058static const argtype *thunk_type_next_ptr(const argtype *type_ptr)
59{
60 return thunk_type_next(type_ptr);
61}
62
bellard31e31b82003-02-18 22:55:36 +000063void thunk_register_struct(int id, const char *name, const argtype *types)
64{
65 const argtype *type_ptr;
66 StructEntry *se;
67 int nb_fields, offset, max_align, align, size, i, j;
68
Alexander Graf8be656b2015-05-06 23:47:32 +020069 assert(id < max_struct_entries);
ths3b46e622007-09-17 08:09:54 +000070
bellard31e31b82003-02-18 22:55:36 +000071 /* first we count the number of fields */
72 type_ptr = types;
73 nb_fields = 0;
74 while (*type_ptr != TYPE_NULL) {
75 type_ptr = thunk_type_next(type_ptr);
76 nb_fields++;
77 }
Philippe Mathieu-Daudéa44af722017-07-26 23:42:20 -030078 assert(nb_fields > 0);
79 se = struct_entries + id;
bellard31e31b82003-02-18 22:55:36 +000080 se->field_types = types;
81 se->nb_fields = nb_fields;
82 se->name = name;
83#ifdef DEBUG
ths5fafdf22007-09-16 21:08:06 +000084 printf("struct %s: id=%d nb_fields=%d\n",
bellard31e31b82003-02-18 22:55:36 +000085 se->name, id, se->nb_fields);
86#endif
87 /* now we can alloc the data */
88
89 for(i = 0;i < 2; i++) {
90 offset = 0;
91 max_align = 1;
92 se->field_offsets[i] = malloc(nb_fields * sizeof(int));
93 type_ptr = se->field_types;
94 for(j = 0;j < nb_fields; j++) {
95 size = thunk_type_size(type_ptr, i);
96 align = thunk_type_align(type_ptr, i);
97 offset = (offset + align - 1) & ~(align - 1);
98 se->field_offsets[i][j] = offset;
99 offset += size;
100 if (align > max_align)
101 max_align = align;
bellard24374902003-06-15 19:52:54 +0000102 type_ptr = thunk_type_next(type_ptr);
bellard31e31b82003-02-18 22:55:36 +0000103 }
104 offset = (offset + max_align - 1) & ~(max_align - 1);
105 se->size[i] = offset;
106 se->align[i] = max_align;
107#ifdef DEBUG
ths5fafdf22007-09-16 21:08:06 +0000108 printf("%s: size=%d align=%d\n",
bellard31e31b82003-02-18 22:55:36 +0000109 i == THUNK_HOST ? "host" : "target", offset, max_align);
110#endif
111 }
112}
113
blueswir18e853dc2008-10-05 10:49:32 +0000114void thunk_register_struct_direct(int id, const char *name,
115 const StructEntry *se1)
bellard31e31b82003-02-18 22:55:36 +0000116{
117 StructEntry *se;
Alexander Graf8be656b2015-05-06 23:47:32 +0200118
119 assert(id < max_struct_entries);
bellard31e31b82003-02-18 22:55:36 +0000120 se = struct_entries + id;
121 *se = *se1;
122 se->name = name;
123}
124
125
126/* now we can define the main conversion functions */
ths5fafdf22007-09-16 21:08:06 +0000127const argtype *thunk_convert(void *dst, const void *src,
bellard31e31b82003-02-18 22:55:36 +0000128 const argtype *type_ptr, int to_host)
129{
130 int type;
131
132 type = *type_ptr++;
133 switch(type) {
134 case TYPE_CHAR:
135 *(uint8_t *)dst = *(uint8_t *)src;
136 break;
137 case TYPE_SHORT:
138 *(uint16_t *)dst = tswap16(*(uint16_t *)src);
139 break;
140 case TYPE_INT:
141 *(uint32_t *)dst = tswap32(*(uint32_t *)src);
142 break;
143 case TYPE_LONGLONG:
144 case TYPE_ULONGLONG:
145 *(uint64_t *)dst = tswap64(*(uint64_t *)src);
146 break;
blueswir1992f48a2007-10-14 16:27:31 +0000147#if HOST_LONG_BITS == 32 && TARGET_ABI_BITS == 32
bellard31e31b82003-02-18 22:55:36 +0000148 case TYPE_LONG:
149 case TYPE_ULONG:
150 case TYPE_PTRVOID:
151 *(uint32_t *)dst = tswap32(*(uint32_t *)src);
152 break;
blueswir1992f48a2007-10-14 16:27:31 +0000153#elif HOST_LONG_BITS == 64 && TARGET_ABI_BITS == 32
bellard31e31b82003-02-18 22:55:36 +0000154 case TYPE_LONG:
155 case TYPE_ULONG:
156 case TYPE_PTRVOID:
bellardd0cd3b82003-04-07 21:35:13 +0000157 if (to_host) {
bellard70499c92007-11-11 19:31:34 +0000158 if (type == TYPE_LONG) {
159 /* sign extension */
160 *(uint64_t *)dst = (int32_t)tswap32(*(uint32_t *)src);
161 } else {
162 *(uint64_t *)dst = tswap32(*(uint32_t *)src);
163 }
bellard31e31b82003-02-18 22:55:36 +0000164 } else {
165 *(uint32_t *)dst = tswap32(*(uint64_t *)src & 0xffffffff);
166 }
167 break;
bellard70499c92007-11-11 19:31:34 +0000168#elif HOST_LONG_BITS == 64 && TARGET_ABI_BITS == 64
169 case TYPE_LONG:
170 case TYPE_ULONG:
171 case TYPE_PTRVOID:
172 *(uint64_t *)dst = tswap64(*(uint64_t *)src);
173 break;
174#elif HOST_LONG_BITS == 32 && TARGET_ABI_BITS == 64
175 case TYPE_LONG:
176 case TYPE_ULONG:
177 case TYPE_PTRVOID:
178 if (to_host) {
179 *(uint32_t *)dst = tswap64(*(uint64_t *)src);
180 } else {
181 if (type == TYPE_LONG) {
182 /* sign extension */
183 *(uint64_t *)dst = tswap64(*(int32_t *)src);
184 } else {
185 *(uint64_t *)dst = tswap64(*(uint32_t *)src);
186 }
187 }
188 break;
bellard31e31b82003-02-18 22:55:36 +0000189#else
bellard64b3ab22005-01-30 22:43:42 +0000190#warning unsupported conversion
bellard31e31b82003-02-18 22:55:36 +0000191#endif
Alexander Graf6083abd2012-01-31 19:44:41 +0100192 case TYPE_OLDDEVT:
193 {
194 uint64_t val = 0;
195 switch (thunk_type_size(type_ptr - 1, !to_host)) {
196 case 2:
197 val = *(uint16_t *)src;
198 break;
199 case 4:
200 val = *(uint32_t *)src;
201 break;
202 case 8:
203 val = *(uint64_t *)src;
204 break;
205 }
206 switch (thunk_type_size(type_ptr - 1, to_host)) {
207 case 2:
208 *(uint16_t *)dst = tswap16(val);
209 break;
210 case 4:
211 *(uint32_t *)dst = tswap32(val);
212 break;
213 case 8:
214 *(uint64_t *)dst = tswap64(val);
215 break;
216 }
217 break;
218 }
bellard31e31b82003-02-18 22:55:36 +0000219 case TYPE_ARRAY:
220 {
221 int array_length, i, dst_size, src_size;
222 const uint8_t *s;
223 uint8_t *d;
224
225 array_length = *type_ptr++;
226 dst_size = thunk_type_size(type_ptr, to_host);
227 src_size = thunk_type_size(type_ptr, 1 - to_host);
228 d = dst;
229 s = src;
230 for(i = 0;i < array_length; i++) {
231 thunk_convert(d, s, type_ptr, to_host);
232 d += dst_size;
233 s += src_size;
234 }
235 type_ptr = thunk_type_next(type_ptr);
236 }
237 break;
238 case TYPE_STRUCT:
239 {
240 int i;
241 const StructEntry *se;
242 const uint8_t *s;
243 uint8_t *d;
244 const argtype *field_types;
245 const int *dst_offsets, *src_offsets;
ths3b46e622007-09-17 08:09:54 +0000246
Alexander Graf8be656b2015-05-06 23:47:32 +0200247 assert(*type_ptr < max_struct_entries);
bellard31e31b82003-02-18 22:55:36 +0000248 se = struct_entries + *type_ptr++;
249 if (se->convert[0] != NULL) {
250 /* specific conversion is needed */
251 (*se->convert[to_host])(dst, src);
252 } else {
253 /* standard struct conversion */
254 field_types = se->field_types;
255 dst_offsets = se->field_offsets[to_host];
256 src_offsets = se->field_offsets[1 - to_host];
257 d = dst;
258 s = src;
259 for(i = 0;i < se->nb_fields; i++) {
ths5fafdf22007-09-16 21:08:06 +0000260 field_types = thunk_convert(d + dst_offsets[i],
261 s + src_offsets[i],
bellard31e31b82003-02-18 22:55:36 +0000262 field_types, to_host);
263 }
264 }
265 }
266 break;
267 default:
268 fprintf(stderr, "Invalid type 0x%x\n", type);
269 break;
270 }
271 return type_ptr;
272}
273
274/* from em86 */
275
276/* Utility function: Table-driven functions to translate bitmasks
Peter Maydelle0ca2ed2016-06-02 17:10:20 +0100277 * between host and target formats
bellard31e31b82003-02-18 22:55:36 +0000278 */
Peter Maydelle0ca2ed2016-06-02 17:10:20 +0100279unsigned int target_to_host_bitmask(unsigned int target_mask,
blueswir1b39bc502008-10-05 10:51:10 +0000280 const bitmask_transtbl * trans_tbl)
bellard31e31b82003-02-18 22:55:36 +0000281{
blueswir1b39bc502008-10-05 10:51:10 +0000282 const bitmask_transtbl *btp;
Peter Maydelle0ca2ed2016-06-02 17:10:20 +0100283 unsigned int host_mask = 0;
bellard31e31b82003-02-18 22:55:36 +0000284
Peter Maydelle0ca2ed2016-06-02 17:10:20 +0100285 for (btp = trans_tbl; btp->target_mask && btp->host_mask; btp++) {
286 if ((target_mask & btp->target_mask) == btp->target_bits) {
287 host_mask |= btp->host_bits;
288 }
bellard31e31b82003-02-18 22:55:36 +0000289 }
Peter Maydelle0ca2ed2016-06-02 17:10:20 +0100290 return host_mask;
bellard31e31b82003-02-18 22:55:36 +0000291}
292
Peter Maydelle0ca2ed2016-06-02 17:10:20 +0100293unsigned int host_to_target_bitmask(unsigned int host_mask,
blueswir1b39bc502008-10-05 10:51:10 +0000294 const bitmask_transtbl * trans_tbl)
bellard31e31b82003-02-18 22:55:36 +0000295{
blueswir1b39bc502008-10-05 10:51:10 +0000296 const bitmask_transtbl *btp;
Peter Maydelle0ca2ed2016-06-02 17:10:20 +0100297 unsigned int target_mask = 0;
bellard31e31b82003-02-18 22:55:36 +0000298
Peter Maydelle0ca2ed2016-06-02 17:10:20 +0100299 for (btp = trans_tbl; btp->target_mask && btp->host_mask; btp++) {
300 if ((host_mask & btp->host_mask) == btp->host_bits) {
301 target_mask |= btp->target_bits;
302 }
bellard31e31b82003-02-18 22:55:36 +0000303 }
Peter Maydelle0ca2ed2016-06-02 17:10:20 +0100304 return target_mask;
bellard31e31b82003-02-18 22:55:36 +0000305}
j_mayer26553112007-11-19 01:06:24 +0000306
j_mayer26553112007-11-19 01:06:24 +0000307int thunk_type_size_array(const argtype *type_ptr, int is_host)
308{
309 return thunk_type_size(type_ptr, is_host);
310}
311
312int thunk_type_align_array(const argtype *type_ptr, int is_host)
313{
314 return thunk_type_align(type_ptr, is_host);
315}
Alexander Graf8be656b2015-05-06 23:47:32 +0200316
317void thunk_init(unsigned int max_structs)
318{
319 max_struct_entries = max_structs;
320 struct_entries = g_new0(StructEntry, max_structs);
321}