]> git.saurik.com Git - cycript.git/blob - sig/ffi_type.cpp
Make Pointer/Struct .type compatible with Functor.
[cycript.git] / sig / ffi_type.cpp
1 /* Cycript - Optimizing JavaScript Compiler/Runtime
2 * Copyright (C) 2009-2015 Jay Freeman (saurik)
3 */
4
5 /* GNU Affero General Public License, Version 3 {{{ */
6 /*
7 * This program is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU Affero General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU Affero General Public License for more details.
16
17 * You should have received a copy of the GNU Affero General Public License
18 * along with this program. If not, see <http://www.gnu.org/licenses/>.
19 **/
20 /* }}} */
21
22 #include "Error.hpp"
23
24 #include "sig/ffi_type.hpp"
25 #include "sig/types.hpp"
26
27 #define ffi_type_slonglong ffi_type_sint64
28 #define ffi_type_ulonglong ffi_type_uint64
29
30 namespace sig {
31
32 void sig_ffi_types(
33 CYPool &pool,
34 ffi_type *(*sig_ffi_type)(CYPool &, struct Type *),
35 struct Signature *signature,
36 ffi_type **types,
37 size_t skip = 0,
38 size_t offset = 0
39 ) {
40 _assert(signature->count >= skip);
41 for (size_t index = skip; index != signature->count; ++index)
42 types[index - skip + offset] = (*sig_ffi_type)(pool, signature->elements[index].type);
43 }
44
45 ffi_type *ObjectiveC(CYPool &pool, struct Type *type) {
46 switch (type->primitive) {
47 case typename_P: return &ffi_type_pointer;
48
49 case union_P:
50 /* XXX: we can totally make this work */
51 _assert(false);
52 break;
53
54 case string_P: return &ffi_type_pointer;
55 case selector_P: return &ffi_type_pointer;
56 case block_P: return &ffi_type_pointer;
57 case object_P: return &ffi_type_pointer;
58 case boolean_P: return &ffi_type_uchar;
59 case uchar_P: return &ffi_type_uchar;
60 case uint_P: return &ffi_type_uint;
61 case ulong_P: return &ffi_type_ulong;
62 case ulonglong_P: return &ffi_type_ulonglong;
63 case ushort_P: return &ffi_type_ushort;
64
65 case array_P: {
66 // XXX: this is really lame
67 ffi_type *aggregate(new(pool) ffi_type());
68 aggregate->size = 0;
69 aggregate->alignment = 0;
70 aggregate->type = FFI_TYPE_STRUCT;
71
72 ffi_type *element(ObjectiveC(pool, type->data.data.type));
73 size_t size(type->data.data.size);
74
75 aggregate->elements = new(pool) ffi_type *[size + 1];
76 for (size_t i(0); i != size; ++i)
77 aggregate->elements[i] = element;
78 aggregate->elements[size] = NULL;
79
80 return aggregate;
81 } break;
82
83 case pointer_P: return &ffi_type_pointer;
84
85 case bit_P:
86 /* XXX: we can totally make this work */
87 _assert(false);
88 break;
89
90 case schar_P: return &ffi_type_schar;
91 case double_P: return &ffi_type_double;
92 case float_P: return &ffi_type_float;
93 case int_P: return &ffi_type_sint;
94 case long_P: return &ffi_type_slong;
95 case longlong_P: return &ffi_type_slonglong;
96 case short_P: return &ffi_type_sshort;
97
98 case void_P: return &ffi_type_void;
99 case char_P: return &ffi_type_schar;
100
101 case struct_P: {
102 ffi_type *aggregate(new(pool) ffi_type());
103 aggregate->size = 0;
104 aggregate->alignment = 0;
105 aggregate->type = FFI_TYPE_STRUCT;
106
107 aggregate->elements = new(pool) ffi_type *[type->data.signature.count + 1];
108 sig_ffi_types(pool, &ObjectiveC, &type->data.signature, aggregate->elements);
109 aggregate->elements[type->data.signature.count] = NULL;
110
111 return aggregate;
112 } break;
113
114 default:
115 _assert(false);
116 break;
117 }
118 }
119
120 ffi_type *Java(CYPool &pool, struct Type *type) {
121 switch (type->primitive) {
122 case typename_P: return &ffi_type_pointer;
123 case union_P: _assert(false); break;
124 case string_P: return &ffi_type_pointer;
125 case selector_P: return &ffi_type_pointer;
126 case block_P: return &ffi_type_pointer;
127 case object_P: return &ffi_type_pointer;
128 case boolean_P: return &ffi_type_uchar;
129 case uchar_P: return &ffi_type_uchar;
130 case uint_P: return &ffi_type_uint;
131 case ulong_P: return &ffi_type_ulong;
132 case ulonglong_P: return &ffi_type_ulonglong;
133 case ushort_P: return &ffi_type_ushort;
134 case array_P: return &ffi_type_pointer;
135 case pointer_P: return &ffi_type_pointer;
136 case bit_P: _assert(false); break;
137 case schar_P: return &ffi_type_schar;
138 case double_P: return &ffi_type_double;
139 case float_P: return &ffi_type_double;
140 case int_P: return &ffi_type_sint;
141 case long_P: return &ffi_type_slong;
142 case longlong_P: return &ffi_type_slonglong;
143 case short_P: return &ffi_type_sshort;
144 case void_P: return &ffi_type_void;
145 case char_P: return &ffi_type_schar;
146 case struct_P: return &ffi_type_pointer;
147
148 default:
149 _assert(false);
150 break;
151 }
152 }
153
154 void sig_ffi_cif(
155 CYPool &pool,
156 ffi_type *(*sig_ffi_type)(CYPool &, struct Type *),
157 struct Signature *signature,
158 ffi_cif *cif,
159 size_t skip,
160 ffi_type **types,
161 size_t offset
162 ) {
163 if (types == NULL)
164 types = new(pool) ffi_type *[signature->count - 1];
165 ffi_type *type = (*sig_ffi_type)(pool, signature->elements[0].type);
166 sig_ffi_types(pool, sig_ffi_type, signature, types, 1 + skip, offset);
167 ffi_status status = ffi_prep_cif(cif, FFI_DEFAULT_ABI, signature->count - 1 - skip + offset, type, types);
168 _assert(status == FFI_OK);
169 }
170
171 }