blob: f7a365de4fa509d10a4752b07178c1355b97ac21 [file] [log] [blame]
José Fonsecae0e61402010-11-25 15:03:23 +00001##########################################################################
2#
3# Copyright 2010 VMware, Inc.
4# All Rights Reserved.
5#
6# Permission is hereby granted, free of charge, to any person obtaining a copy
7# of this software and associated documentation files (the "Software"), to deal
8# in the Software without restriction, including without limitation the rights
9# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10# copies of the Software, and to permit persons to whom the Software is
11# furnished to do so, subject to the following conditions:
12#
13# The above copyright notice and this permission notice shall be included in
14# all copies or substantial portions of the Software.
15#
16# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22# THE SOFTWARE.
23#
24##########################################################################/
25
26
José Fonseca4a826ed2010-11-30 16:58:22 +000027"""Generic retracing code generator."""
28
José Fonseca0a37edf2011-10-09 09:45:22 +010029
30import sys
31
José Fonsecabd86a222011-09-27 09:21:38 +010032import specs.stdapi as stdapi
33import specs.glapi as glapi
José Fonsecae0e61402010-11-25 15:03:23 +000034
35
José Fonseca78563e02012-04-02 08:07:32 +020036class MutableRebuilder(stdapi.Rebuilder):
37 '''Type visitor which derives a mutable type.'''
José Fonsecae0e61402010-11-25 15:03:23 +000038
José Fonseca54f304a2012-01-14 19:33:08 +000039 def visitConst(self, const):
José Fonseca78563e02012-04-02 08:07:32 +020040 # Strip out const qualifier
José Fonsecae0e61402010-11-25 15:03:23 +000041 return const.type
42
José Fonsecab89c5932012-04-01 22:47:11 +020043 def visitAlias(self, alias):
José Fonseca78563e02012-04-02 08:07:32 +020044 # Tear the alias on type changes
José Fonsecab89c5932012-04-01 22:47:11 +020045 type = self.visit(alias.type)
46 if type is alias.type:
47 return alias
48 return type
49
50 def visitReference(self, reference):
José Fonseca78563e02012-04-02 08:07:32 +020051 # Strip out references
José Fonsecab89c5932012-04-01 22:47:11 +020052 return reference.type
53
José Fonseca54f304a2012-01-14 19:33:08 +000054 def visitOpaque(self, opaque):
José Fonseca78563e02012-04-02 08:07:32 +020055 # Don't recursule
José Fonsecaf01b7f52011-04-20 21:09:28 +010056 return opaque
José Fonsecae0e61402010-11-25 15:03:23 +000057
58
José Fonseca54f304a2012-01-14 19:33:08 +000059def lookupHandle(handle, value):
José Fonseca8a844ae2010-12-06 18:50:52 +000060 if handle.key is None:
61 return "__%s_map[%s]" % (handle.name, value)
62 else:
63 key_name, key_type = handle.key
64 return "__%s_map[%s][%s]" % (handle.name, key_name, value)
65
66
José Fonseca54f304a2012-01-14 19:33:08 +000067class ValueDeserializer(stdapi.Visitor):
José Fonsecae0e61402010-11-25 15:03:23 +000068
José Fonseca54f304a2012-01-14 19:33:08 +000069 def visitLiteral(self, literal, lvalue, rvalue):
José Fonseca2f2ea482011-10-15 15:10:06 +010070 print ' %s = (%s).to%s();' % (lvalue, rvalue, literal.kind)
José Fonsecae0e61402010-11-25 15:03:23 +000071
José Fonseca54f304a2012-01-14 19:33:08 +000072 def visitConst(self, const, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +000073 self.visit(const.type, lvalue, rvalue)
74
José Fonseca54f304a2012-01-14 19:33:08 +000075 def visitAlias(self, alias, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +000076 self.visit(alias.type, lvalue, rvalue)
77
José Fonseca54f304a2012-01-14 19:33:08 +000078 def visitEnum(self, enum, lvalue, rvalue):
José Fonseca6d6bd9b2012-04-02 08:10:48 +020079 print ' %s = static_cast<%s>((%s).toSInt());' % (lvalue, enum, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +000080
José Fonseca54f304a2012-01-14 19:33:08 +000081 def visitBitmask(self, bitmask, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +000082 self.visit(bitmask.type, lvalue, rvalue)
83
José Fonsecaa65a23a2012-04-02 08:10:06 +020084 allocated = False
85
José Fonseca54f304a2012-01-14 19:33:08 +000086 def visitArray(self, array, lvalue, rvalue):
José Fonseca68013c92012-04-05 19:58:38 +010087 tmp = '__a_' + array.tag + '_' + str(self.seq)
88 self.seq += 1
89
90 print ' const trace::Array *%s = dynamic_cast<const trace::Array *>(&%s);' % (tmp, rvalue)
91 length = '%s->values.size()' % (tmp,)
José Fonsecaa65a23a2012-04-02 08:10:06 +020092 allocated = self.allocated
93 if not allocated:
José Fonseca68013c92012-04-05 19:58:38 +010094 print ' if (%s) {' % (tmp,)
José Fonsecaa65a23a2012-04-02 08:10:06 +020095 print ' %s = _allocator.alloc<%s>(%s);' % (lvalue, array.type, length)
96 self.allocated = True
José Fonseca02c25002011-10-15 13:17:26 +010097 index = '__j' + array.tag
José Fonsecadbaae492011-04-21 09:28:10 +010098 print ' for (size_t {i} = 0; {i} < {length}; ++{i}) {{'.format(i = index, length = length)
José Fonsecae0e61402010-11-25 15:03:23 +000099 try:
José Fonseca68013c92012-04-05 19:58:38 +0100100 self.visit(array.type, '%s[%s]' % (lvalue, index), '*%s->values[%s]' % (tmp, index))
José Fonsecae0e61402010-11-25 15:03:23 +0000101 finally:
102 print ' }'
José Fonsecaa65a23a2012-04-02 08:10:06 +0200103 if not allocated:
104 print ' } else {'
105 print ' %s = NULL;' % lvalue
106 print ' }'
José Fonsecae0e61402010-11-25 15:03:23 +0000107
José Fonseca54f304a2012-01-14 19:33:08 +0000108 def visitPointer(self, pointer, lvalue, rvalue):
José Fonseca68013c92012-04-05 19:58:38 +0100109 tmp = '__a_' + pointer.tag + '_' + str(self.seq)
110 self.seq += 1
111
112 print ' const trace::Array *%s = dynamic_cast<const trace::Array *>(&%s);' % (tmp, rvalue)
José Fonsecaa65a23a2012-04-02 08:10:06 +0200113 allocated = self.allocated
114 if not allocated:
José Fonseca68013c92012-04-05 19:58:38 +0100115 print ' if (%s) {' % (tmp)
José Fonsecaa65a23a2012-04-02 08:10:06 +0200116 print ' %s = _allocator.alloc<%s>();' % (lvalue, pointer.type)
117 self.allocated = True
José Fonsecae0e61402010-11-25 15:03:23 +0000118 try:
José Fonseca68013c92012-04-05 19:58:38 +0100119 self.visit(pointer.type, '%s[0]' % (lvalue,), '*%s->values[0]' % (tmp,))
José Fonsecae0e61402010-11-25 15:03:23 +0000120 finally:
José Fonsecaa65a23a2012-04-02 08:10:06 +0200121 if not allocated:
122 print ' } else {'
123 print ' %s = NULL;' % lvalue
124 print ' }'
José Fonsecae0e61402010-11-25 15:03:23 +0000125
José Fonseca59ee88e2012-01-15 14:24:10 +0000126 def visitIntPointer(self, pointer, lvalue, rvalue):
127 print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, pointer, rvalue)
128
José Fonsecafbcf6832012-04-05 07:10:30 +0100129 def visitObjPointer(self, pointer, lvalue, rvalue):
130 print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, pointer, rvalue)
131
José Fonseca59ee88e2012-01-15 14:24:10 +0000132 def visitLinearPointer(self, pointer, lvalue, rvalue):
133 print ' %s = static_cast<%s>(retrace::toPointer(%s));' % (lvalue, pointer, rvalue)
134
José Fonsecab89c5932012-04-01 22:47:11 +0200135 def visitReference(self, reference, lvalue, rvalue):
136 self.visit(reference.type, lvalue, rvalue);
137
José Fonseca54f304a2012-01-14 19:33:08 +0000138 def visitHandle(self, handle, lvalue, rvalue):
José Fonseca59ee88e2012-01-15 14:24:10 +0000139 #OpaqueValueDeserializer().visit(handle.type, lvalue, rvalue);
140 self.visit(handle.type, lvalue, rvalue);
José Fonseca54f304a2012-01-14 19:33:08 +0000141 new_lvalue = lookupHandle(handle, lvalue)
José Fonseca031b7382011-05-10 20:36:40 +0100142 print ' if (retrace::verbosity >= 2) {'
José Fonsecaa10af892011-04-11 09:10:55 +0100143 print ' std::cout << "%s " << size_t(%s) << " <- " << size_t(%s) << "\\n";' % (handle.name, lvalue, new_lvalue)
José Fonseca031b7382011-05-10 20:36:40 +0100144 print ' }'
José Fonsecaa10af892011-04-11 09:10:55 +0100145 print ' %s = %s;' % (lvalue, new_lvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000146
José Fonseca54f304a2012-01-14 19:33:08 +0000147 def visitBlob(self, blob, lvalue, rvalue):
José Fonseca7ebb9e22011-05-06 09:58:45 +0100148 print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, blob, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000149
José Fonseca54f304a2012-01-14 19:33:08 +0000150 def visitString(self, string, lvalue, rvalue):
José Fonseca7ebb9e22011-05-06 09:58:45 +0100151 print ' %s = (%s)((%s).toString());' % (lvalue, string.expr, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000152
José Fonsecaa65a23a2012-04-02 08:10:06 +0200153 seq = 0
154
155 def visitStruct(self, struct, lvalue, rvalue):
156 tmp = '__s_' + struct.tag + '_' + str(self.seq)
157 self.seq += 1
158
159 print ' const trace::Struct *%s = dynamic_cast<const trace::Struct *>(&%s);' % (tmp, rvalue)
160 print ' assert(%s);' % (tmp)
161 self.allocated = True
162 for i in range(len(struct.members)):
163 member_type, member_name = struct.members[i]
164 self.visit(member_type, '%s.%s' % (lvalue, member_name), '*%s->members[%s]' % (tmp, i))
165
José Fonsecae0e61402010-11-25 15:03:23 +0000166
José Fonseca54f304a2012-01-14 19:33:08 +0000167class OpaqueValueDeserializer(ValueDeserializer):
José Fonsecaa10af892011-04-11 09:10:55 +0100168 '''Value extractor that also understands opaque values.
169
170 Normally opaque values can't be retraced, unless they are being extracted
171 in the context of handles.'''
172
José Fonseca54f304a2012-01-14 19:33:08 +0000173 def visitOpaque(self, opaque, lvalue, rvalue):
José Fonseca46a48392011-10-14 11:34:27 +0100174 print ' %s = static_cast<%s>(retrace::toPointer(%s));' % (lvalue, opaque, rvalue)
José Fonsecaa10af892011-04-11 09:10:55 +0100175
José Fonsecae0e61402010-11-25 15:03:23 +0000176
José Fonseca54f304a2012-01-14 19:33:08 +0000177class SwizzledValueRegistrator(stdapi.Visitor):
178 '''Type visitor which will register (un)swizzled value pairs, to later be
179 swizzled.'''
José Fonsecae0e61402010-11-25 15:03:23 +0000180
José Fonseca54f304a2012-01-14 19:33:08 +0000181 def visitLiteral(self, literal, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000182 pass
183
José Fonseca54f304a2012-01-14 19:33:08 +0000184 def visitAlias(self, alias, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000185 self.visit(alias.type, lvalue, rvalue)
186
José Fonseca54f304a2012-01-14 19:33:08 +0000187 def visitEnum(self, enum, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000188 pass
189
José Fonseca54f304a2012-01-14 19:33:08 +0000190 def visitBitmask(self, bitmask, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000191 pass
192
José Fonseca54f304a2012-01-14 19:33:08 +0000193 def visitArray(self, array, lvalue, rvalue):
José Fonsecab4a3d142011-10-27 07:43:19 +0100194 print ' const trace::Array *__a%s = dynamic_cast<const trace::Array *>(&%s);' % (array.tag, rvalue)
José Fonseca02c25002011-10-15 13:17:26 +0100195 print ' if (__a%s) {' % (array.tag)
196 length = '__a%s->values.size()' % array.tag
197 index = '__j' + array.tag
José Fonsecadbaae492011-04-21 09:28:10 +0100198 print ' for (size_t {i} = 0; {i} < {length}; ++{i}) {{'.format(i = index, length = length)
José Fonsecae0e61402010-11-25 15:03:23 +0000199 try:
José Fonseca02c25002011-10-15 13:17:26 +0100200 self.visit(array.type, '%s[%s]' % (lvalue, index), '*__a%s->values[%s]' % (array.tag, index))
José Fonsecae0e61402010-11-25 15:03:23 +0000201 finally:
202 print ' }'
203 print ' }'
204
José Fonseca54f304a2012-01-14 19:33:08 +0000205 def visitPointer(self, pointer, lvalue, rvalue):
José Fonsecab4a3d142011-10-27 07:43:19 +0100206 print ' const trace::Array *__a%s = dynamic_cast<const trace::Array *>(&%s);' % (pointer.tag, rvalue)
José Fonseca02c25002011-10-15 13:17:26 +0100207 print ' if (__a%s) {' % (pointer.tag)
José Fonsecae0e61402010-11-25 15:03:23 +0000208 try:
José Fonseca02c25002011-10-15 13:17:26 +0100209 self.visit(pointer.type, '%s[0]' % (lvalue,), '*__a%s->values[0]' % (pointer.tag,))
José Fonsecae0e61402010-11-25 15:03:23 +0000210 finally:
211 print ' }'
212
José Fonseca59ee88e2012-01-15 14:24:10 +0000213 def visitIntPointer(self, pointer, lvalue, rvalue):
214 pass
215
José Fonsecafbcf6832012-04-05 07:10:30 +0100216 def visitObjPointer(self, pointer, lvalue, rvalue):
217 print r' _obj_map[(%s).toUIntPtr()] = %s;' % (rvalue, lvalue)
218
José Fonseca59ee88e2012-01-15 14:24:10 +0000219 def visitLinearPointer(self, pointer, lvalue, rvalue):
220 assert pointer.size is not None
221 if pointer.size is not None:
222 print r' retrace::addRegion((%s).toUIntPtr(), %s, %s);' % (rvalue, lvalue, pointer.size)
223
José Fonsecab89c5932012-04-01 22:47:11 +0200224 def visitReference(self, reference, lvalue, rvalue):
225 pass
226
José Fonseca54f304a2012-01-14 19:33:08 +0000227 def visitHandle(self, handle, lvalue, rvalue):
José Fonsecaa10af892011-04-11 09:10:55 +0100228 print ' %s __orig_result;' % handle.type
José Fonseca54f304a2012-01-14 19:33:08 +0000229 OpaqueValueDeserializer().visit(handle.type, '__orig_result', rvalue);
José Fonsecad922e1d2010-11-25 17:14:02 +0000230 if handle.range is None:
José Fonsecaa10af892011-04-11 09:10:55 +0100231 rvalue = "__orig_result"
José Fonseca54f304a2012-01-14 19:33:08 +0000232 entry = lookupHandle(handle, rvalue)
José Fonseca8a844ae2010-12-06 18:50:52 +0000233 print " %s = %s;" % (entry, lvalue)
José Fonseca031b7382011-05-10 20:36:40 +0100234 print ' if (retrace::verbosity >= 2) {'
José Fonseca8a844ae2010-12-06 18:50:52 +0000235 print ' std::cout << "{handle.name} " << {rvalue} << " -> " << {lvalue} << "\\n";'.format(**locals())
José Fonseca031b7382011-05-10 20:36:40 +0100236 print ' }'
José Fonsecad922e1d2010-11-25 17:14:02 +0000237 else:
José Fonseca02c25002011-10-15 13:17:26 +0100238 i = '__h' + handle.tag
José Fonseca8a844ae2010-12-06 18:50:52 +0000239 lvalue = "%s + %s" % (lvalue, i)
José Fonsecaa10af892011-04-11 09:10:55 +0100240 rvalue = "__orig_result + %s" % (i,)
José Fonseca54f304a2012-01-14 19:33:08 +0000241 entry = lookupHandle(handle, rvalue)
José Fonsecadbaae492011-04-21 09:28:10 +0100242 print ' for ({handle.type} {i} = 0; {i} < {handle.range}; ++{i}) {{'.format(**locals())
José Fonseca8a844ae2010-12-06 18:50:52 +0000243 print ' {entry} = {lvalue};'.format(**locals())
José Fonseca031b7382011-05-10 20:36:40 +0100244 print ' if (retrace::verbosity >= 2) {'
José Fonseca8a844ae2010-12-06 18:50:52 +0000245 print ' std::cout << "{handle.name} " << ({rvalue}) << " -> " << ({lvalue}) << "\\n";'.format(**locals())
José Fonseca031b7382011-05-10 20:36:40 +0100246 print ' }'
José Fonsecad922e1d2010-11-25 17:14:02 +0000247 print ' }'
José Fonsecae0e61402010-11-25 15:03:23 +0000248
José Fonseca54f304a2012-01-14 19:33:08 +0000249 def visitBlob(self, blob, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000250 pass
251
José Fonseca54f304a2012-01-14 19:33:08 +0000252 def visitString(self, string, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000253 pass
254
255
José Fonsecae0e61402010-11-25 15:03:23 +0000256class Retracer:
257
José Fonseca54f304a2012-01-14 19:33:08 +0000258 def retraceFunction(self, function):
José Fonsecab4a3d142011-10-27 07:43:19 +0100259 print 'static void retrace_%s(trace::Call &call) {' % function.name
José Fonseca54f304a2012-01-14 19:33:08 +0000260 self.retraceFunctionBody(function)
José Fonseca62212972011-03-23 13:22:55 +0000261 print '}'
262 print
263
José Fonseca8e3c2c02012-01-23 00:30:35 +0000264 def retraceInterfaceMethod(self, interface, method):
265 print 'static void retrace_%s__%s(trace::Call &call) {' % (interface.name, method.name)
266 self.retraceInterfaceMethodBody(interface, method)
267 print '}'
268 print
269
José Fonseca54f304a2012-01-14 19:33:08 +0000270 def retraceFunctionBody(self, function):
José Fonseca4d7f1fe2011-05-09 20:54:31 +0100271 if not function.sideeffects:
José Fonseca9109c3a2011-05-24 19:31:26 +0100272 print ' (void)call;'
José Fonseca4d7f1fe2011-05-09 20:54:31 +0100273 return
274
José Fonseca8e3c2c02012-01-23 00:30:35 +0000275 self.deserializeArgs(function)
276
277 self.invokeFunction(function)
278
279 self.swizzleValues(function)
280
281 def retraceInterfaceMethodBody(self, interface, method):
282 if not method.sideeffects:
283 print ' (void)call;'
284 return
285
286 self.deserializeThisPointer(interface)
287
288 self.deserializeArgs(method)
289
290 self.invokeInterfaceMethod(interface, method)
291
292 self.swizzleValues(method)
293
294 def deserializeThisPointer(self, interface):
José Fonsecadc279372012-04-05 19:58:20 +0100295 print r' %s *_this;' % (interface.name,)
296 print r' _this = static_cast<%s *>(_obj_map[call.arg(0).toUIntPtr()]);' % (interface.name,)
297 print r' if (!_this) {'
298 print r' retrace::warning(call) << "NULL this pointer\n";'
299 print r' return;'
300 print r' }'
José Fonseca8e3c2c02012-01-23 00:30:35 +0000301
302 def deserializeArgs(self, function):
José Fonsecad994cf02011-11-03 19:35:53 +0000303 print ' retrace::ScopedAllocator _allocator;'
304 print ' (void)_allocator;'
José Fonsecae0e61402010-11-25 15:03:23 +0000305 success = True
306 for arg in function.args:
José Fonseca78563e02012-04-02 08:07:32 +0200307 arg_type = MutableRebuilder().visit(arg.type)
José Fonsecae0e61402010-11-25 15:03:23 +0000308 #print ' // %s -> %s' % (arg.type, arg_type)
309 print ' %s %s;' % (arg_type, arg.name)
310 rvalue = 'call.arg(%u)' % (arg.index,)
311 lvalue = arg.name
312 try:
José Fonseca54f304a2012-01-14 19:33:08 +0000313 self.extractArg(function, arg, arg_type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000314 except NotImplementedError:
José Fonseca8e3c2c02012-01-23 00:30:35 +0000315 success = False
José Fonseca2d216ae2012-04-01 22:48:24 +0200316 print ' memset(&%s, 0, sizeof %s); // FIXME' % (arg.name, arg.name)
José Fonseca8e3c2c02012-01-23 00:30:35 +0000317
José Fonsecae0e61402010-11-25 15:03:23 +0000318 if not success:
José Fonseca9109c3a2011-05-24 19:31:26 +0100319 print ' if (1) {'
José Fonseca54f304a2012-01-14 19:33:08 +0000320 self.failFunction(function)
José Fonseca8e3c2c02012-01-23 00:30:35 +0000321 if function.name[-1].islower():
322 sys.stderr.write('warning: unsupported %s call\n' % function.name)
José Fonseca9109c3a2011-05-24 19:31:26 +0100323 print ' }'
José Fonseca8e3c2c02012-01-23 00:30:35 +0000324
325 def swizzleValues(self, function):
José Fonsecae0e61402010-11-25 15:03:23 +0000326 for arg in function.args:
327 if arg.output:
José Fonseca78563e02012-04-02 08:07:32 +0200328 arg_type = MutableRebuilder().visit(arg.type)
José Fonsecae0e61402010-11-25 15:03:23 +0000329 rvalue = 'call.arg(%u)' % (arg.index,)
330 lvalue = arg.name
331 try:
José Fonseca54f304a2012-01-14 19:33:08 +0000332 self.regiterSwizzledValue(arg_type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000333 except NotImplementedError:
José Fonseca0a37edf2011-10-09 09:45:22 +0100334 print ' // XXX: %s' % arg.name
José Fonsecae0e61402010-11-25 15:03:23 +0000335 if function.type is not stdapi.Void:
336 rvalue = '*call.ret'
337 lvalue = '__result'
338 try:
José Fonseca54f304a2012-01-14 19:33:08 +0000339 self.regiterSwizzledValue(function.type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000340 except NotImplementedError:
José Fonsecafbcf6832012-04-05 07:10:30 +0100341 raise
José Fonseca46a48392011-10-14 11:34:27 +0100342 print ' // XXX: result'
José Fonsecae0e61402010-11-25 15:03:23 +0000343
José Fonseca54f304a2012-01-14 19:33:08 +0000344 def failFunction(self, function):
José Fonsecab1bb3c22011-10-08 20:23:18 +0100345 print ' if (retrace::verbosity >= 0) {'
José Fonsecaf5cda412011-10-09 17:27:23 +0100346 print ' retrace::unsupported(call);'
José Fonsecab1bb3c22011-10-08 20:23:18 +0100347 print ' }'
José Fonsecafa15d332010-11-25 20:22:39 +0000348 print ' return;'
349
José Fonseca54f304a2012-01-14 19:33:08 +0000350 def extractArg(self, function, arg, arg_type, lvalue, rvalue):
351 ValueDeserializer().visit(arg_type, lvalue, rvalue)
José Fonsecafd34e4e2011-06-03 19:34:29 +0100352
José Fonseca54f304a2012-01-14 19:33:08 +0000353 def extractOpaqueArg(self, function, arg, arg_type, lvalue, rvalue):
354 OpaqueValueDeserializer().visit(arg_type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000355
José Fonseca54f304a2012-01-14 19:33:08 +0000356 def regiterSwizzledValue(self, type, lvalue, rvalue):
357 visitor = SwizzledValueRegistrator()
358 visitor.visit(type, lvalue, rvalue)
359
360 def invokeFunction(self, function):
José Fonseca59ee88e2012-01-15 14:24:10 +0000361 arg_names = ", ".join(function.argNames())
José Fonsecafa15d332010-11-25 20:22:39 +0000362 if function.type is not stdapi.Void:
363 print ' %s __result;' % (function.type)
364 print ' __result = %s(%s);' % (function.name, arg_names)
José Fonseca974a3fb2011-05-23 21:15:12 +0100365 print ' (void)__result;'
José Fonsecafa15d332010-11-25 20:22:39 +0000366 else:
367 print ' %s(%s);' % (function.name, arg_names)
368
José Fonseca8e3c2c02012-01-23 00:30:35 +0000369 def invokeInterfaceMethod(self, interface, method):
370 arg_names = ", ".join(method.argNames())
371 if method.type is not stdapi.Void:
372 print ' %s __result;' % (method.type)
373 print ' __result = _this->%s(%s);' % (method.name, arg_names)
374 print ' (void)__result;'
375 else:
376 print ' _this->%s(%s);' % (method.name, arg_names)
377
José Fonseca54f304a2012-01-14 19:33:08 +0000378 def filterFunction(self, function):
José Fonseca4441baf2010-11-25 19:55:27 +0000379 return True
380
José Fonseca2741ed82011-10-07 23:36:39 +0100381 table_name = 'retrace::callbacks'
382
José Fonseca54f304a2012-01-14 19:33:08 +0000383 def retraceApi(self, api):
José Fonsecae0e61402010-11-25 15:03:23 +0000384
José Fonseca370cc9a2012-04-01 22:47:30 +0200385 print '#include "os_time.hpp"'
José Fonsecae0e61402010-11-25 15:03:23 +0000386 print '#include "trace_parser.hpp"'
José Fonseca91343f52011-04-01 08:37:06 +0100387 print '#include "retrace.hpp"'
José Fonsecae0e61402010-11-25 15:03:23 +0000388 print
389
José Fonseca8e3c2c02012-01-23 00:30:35 +0000390 types = api.getAllTypes()
José Fonsecae0e61402010-11-25 15:03:23 +0000391 handles = [type for type in types if isinstance(type, stdapi.Handle)]
José Fonsecad922e1d2010-11-25 17:14:02 +0000392 handle_names = set()
José Fonsecae0e61402010-11-25 15:03:23 +0000393 for handle in handles:
José Fonsecad922e1d2010-11-25 17:14:02 +0000394 if handle.name not in handle_names:
José Fonseca8a844ae2010-12-06 18:50:52 +0000395 if handle.key is None:
José Fonseca91343f52011-04-01 08:37:06 +0100396 print 'static retrace::map<%s> __%s_map;' % (handle.type, handle.name)
José Fonseca8a844ae2010-12-06 18:50:52 +0000397 else:
398 key_name, key_type = handle.key
José Fonseca91343f52011-04-01 08:37:06 +0100399 print 'static std::map<%s, retrace::map<%s> > __%s_map;' % (key_type, handle.type, handle.name)
José Fonsecad922e1d2010-11-25 17:14:02 +0000400 handle_names.add(handle.name)
José Fonsecae0e61402010-11-25 15:03:23 +0000401 print
402
José Fonsecafbcf6832012-04-05 07:10:30 +0100403 print 'static std::map<unsigned long long, void *> _obj_map;'
404 print
405
José Fonseca8e3c2c02012-01-23 00:30:35 +0000406 functions = filter(self.filterFunction, api.functions)
407 for function in functions:
408 self.retraceFunction(function)
409 interfaces = api.getAllInterfaces()
410 for interface in interfaces:
411 for method in interface.iterMethods():
412 self.retraceInterfaceMethod(interface, method)
413
414 print 'const retrace::Entry %s[] = {' % self.table_name
415 for function in functions:
416 print ' {"%s", &retrace_%s},' % (function.name, function.name)
417 for interface in interfaces:
418 for method in interface.iterMethods():
419 print ' {"%s::%s", &retrace_%s__%s},' % (interface.name, method.name, interface.name, method.name)
420 print ' {NULL, NULL}'
421 print '};'
422 print
José Fonsecae0e61402010-11-25 15:03:23 +0000423