blob: b2d8f2ff7ff3411b0730259768c572dc42a2419d [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é Fonsecab4a3d142011-10-27 07:43:19 +010087 print ' const trace::Array *__a%s = dynamic_cast<const trace::Array *>(&%s);' % (array.tag, rvalue)
José Fonseca02c25002011-10-15 13:17:26 +010088 length = '__a%s->values.size()' % array.tag
José Fonsecaa65a23a2012-04-02 08:10:06 +020089 allocated = self.allocated
90 if not allocated:
91 print ' if (__a%s) {' % (array.tag)
92 print ' %s = _allocator.alloc<%s>(%s);' % (lvalue, array.type, length)
93 self.allocated = True
José Fonseca02c25002011-10-15 13:17:26 +010094 index = '__j' + array.tag
José Fonsecadbaae492011-04-21 09:28:10 +010095 print ' for (size_t {i} = 0; {i} < {length}; ++{i}) {{'.format(i = index, length = length)
José Fonsecae0e61402010-11-25 15:03:23 +000096 try:
José Fonseca02c25002011-10-15 13:17:26 +010097 self.visit(array.type, '%s[%s]' % (lvalue, index), '*__a%s->values[%s]' % (array.tag, index))
José Fonsecae0e61402010-11-25 15:03:23 +000098 finally:
99 print ' }'
José Fonsecaa65a23a2012-04-02 08:10:06 +0200100 if not allocated:
101 print ' } else {'
102 print ' %s = NULL;' % lvalue
103 print ' }'
José Fonsecae0e61402010-11-25 15:03:23 +0000104
José Fonseca54f304a2012-01-14 19:33:08 +0000105 def visitPointer(self, pointer, lvalue, rvalue):
José Fonsecab4a3d142011-10-27 07:43:19 +0100106 print ' const trace::Array *__a%s = dynamic_cast<const trace::Array *>(&%s);' % (pointer.tag, rvalue)
José Fonsecaa65a23a2012-04-02 08:10:06 +0200107 allocated = self.allocated
108 if not allocated:
109 print ' if (__a%s) {' % (pointer.tag)
110 print ' %s = _allocator.alloc<%s>();' % (lvalue, pointer.type)
111 self.allocated = True
José Fonsecae0e61402010-11-25 15:03:23 +0000112 try:
José Fonseca02c25002011-10-15 13:17:26 +0100113 self.visit(pointer.type, '%s[0]' % (lvalue,), '*__a%s->values[0]' % (pointer.tag,))
José Fonsecae0e61402010-11-25 15:03:23 +0000114 finally:
José Fonsecaa65a23a2012-04-02 08:10:06 +0200115 if not allocated:
116 print ' } else {'
117 print ' %s = NULL;' % lvalue
118 print ' }'
José Fonsecae0e61402010-11-25 15:03:23 +0000119
José Fonseca59ee88e2012-01-15 14:24:10 +0000120 def visitIntPointer(self, pointer, lvalue, rvalue):
121 print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, pointer, rvalue)
122
José Fonsecafbcf6832012-04-05 07:10:30 +0100123 def visitObjPointer(self, pointer, lvalue, rvalue):
124 print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, pointer, rvalue)
125
José Fonseca59ee88e2012-01-15 14:24:10 +0000126 def visitLinearPointer(self, pointer, lvalue, rvalue):
127 print ' %s = static_cast<%s>(retrace::toPointer(%s));' % (lvalue, pointer, rvalue)
128
José Fonsecab89c5932012-04-01 22:47:11 +0200129 def visitReference(self, reference, lvalue, rvalue):
130 self.visit(reference.type, lvalue, rvalue);
131
José Fonseca54f304a2012-01-14 19:33:08 +0000132 def visitHandle(self, handle, lvalue, rvalue):
José Fonseca59ee88e2012-01-15 14:24:10 +0000133 #OpaqueValueDeserializer().visit(handle.type, lvalue, rvalue);
134 self.visit(handle.type, lvalue, rvalue);
José Fonseca54f304a2012-01-14 19:33:08 +0000135 new_lvalue = lookupHandle(handle, lvalue)
José Fonseca031b7382011-05-10 20:36:40 +0100136 print ' if (retrace::verbosity >= 2) {'
José Fonsecaa10af892011-04-11 09:10:55 +0100137 print ' std::cout << "%s " << size_t(%s) << " <- " << size_t(%s) << "\\n";' % (handle.name, lvalue, new_lvalue)
José Fonseca031b7382011-05-10 20:36:40 +0100138 print ' }'
José Fonsecaa10af892011-04-11 09:10:55 +0100139 print ' %s = %s;' % (lvalue, new_lvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000140
José Fonseca54f304a2012-01-14 19:33:08 +0000141 def visitBlob(self, blob, lvalue, rvalue):
José Fonseca7ebb9e22011-05-06 09:58:45 +0100142 print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, blob, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000143
José Fonseca54f304a2012-01-14 19:33:08 +0000144 def visitString(self, string, lvalue, rvalue):
José Fonseca7ebb9e22011-05-06 09:58:45 +0100145 print ' %s = (%s)((%s).toString());' % (lvalue, string.expr, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000146
José Fonsecaa65a23a2012-04-02 08:10:06 +0200147 seq = 0
148
149 def visitStruct(self, struct, lvalue, rvalue):
150 tmp = '__s_' + struct.tag + '_' + str(self.seq)
151 self.seq += 1
152
153 print ' const trace::Struct *%s = dynamic_cast<const trace::Struct *>(&%s);' % (tmp, rvalue)
154 print ' assert(%s);' % (tmp)
155 self.allocated = True
156 for i in range(len(struct.members)):
157 member_type, member_name = struct.members[i]
158 self.visit(member_type, '%s.%s' % (lvalue, member_name), '*%s->members[%s]' % (tmp, i))
159
José Fonsecae0e61402010-11-25 15:03:23 +0000160
José Fonseca54f304a2012-01-14 19:33:08 +0000161class OpaqueValueDeserializer(ValueDeserializer):
José Fonsecaa10af892011-04-11 09:10:55 +0100162 '''Value extractor that also understands opaque values.
163
164 Normally opaque values can't be retraced, unless they are being extracted
165 in the context of handles.'''
166
José Fonseca54f304a2012-01-14 19:33:08 +0000167 def visitOpaque(self, opaque, lvalue, rvalue):
José Fonseca46a48392011-10-14 11:34:27 +0100168 print ' %s = static_cast<%s>(retrace::toPointer(%s));' % (lvalue, opaque, rvalue)
José Fonsecaa10af892011-04-11 09:10:55 +0100169
José Fonsecae0e61402010-11-25 15:03:23 +0000170
José Fonseca54f304a2012-01-14 19:33:08 +0000171class SwizzledValueRegistrator(stdapi.Visitor):
172 '''Type visitor which will register (un)swizzled value pairs, to later be
173 swizzled.'''
José Fonsecae0e61402010-11-25 15:03:23 +0000174
José Fonseca54f304a2012-01-14 19:33:08 +0000175 def visitLiteral(self, literal, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000176 pass
177
José Fonseca54f304a2012-01-14 19:33:08 +0000178 def visitAlias(self, alias, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000179 self.visit(alias.type, lvalue, rvalue)
180
José Fonseca54f304a2012-01-14 19:33:08 +0000181 def visitEnum(self, enum, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000182 pass
183
José Fonseca54f304a2012-01-14 19:33:08 +0000184 def visitBitmask(self, bitmask, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000185 pass
186
José Fonseca54f304a2012-01-14 19:33:08 +0000187 def visitArray(self, array, lvalue, rvalue):
José Fonsecab4a3d142011-10-27 07:43:19 +0100188 print ' const trace::Array *__a%s = dynamic_cast<const trace::Array *>(&%s);' % (array.tag, rvalue)
José Fonseca02c25002011-10-15 13:17:26 +0100189 print ' if (__a%s) {' % (array.tag)
190 length = '__a%s->values.size()' % array.tag
191 index = '__j' + array.tag
José Fonsecadbaae492011-04-21 09:28:10 +0100192 print ' for (size_t {i} = 0; {i} < {length}; ++{i}) {{'.format(i = index, length = length)
José Fonsecae0e61402010-11-25 15:03:23 +0000193 try:
José Fonseca02c25002011-10-15 13:17:26 +0100194 self.visit(array.type, '%s[%s]' % (lvalue, index), '*__a%s->values[%s]' % (array.tag, index))
José Fonsecae0e61402010-11-25 15:03:23 +0000195 finally:
196 print ' }'
197 print ' }'
198
José Fonseca54f304a2012-01-14 19:33:08 +0000199 def visitPointer(self, pointer, lvalue, rvalue):
José Fonsecab4a3d142011-10-27 07:43:19 +0100200 print ' const trace::Array *__a%s = dynamic_cast<const trace::Array *>(&%s);' % (pointer.tag, rvalue)
José Fonseca02c25002011-10-15 13:17:26 +0100201 print ' if (__a%s) {' % (pointer.tag)
José Fonsecae0e61402010-11-25 15:03:23 +0000202 try:
José Fonseca02c25002011-10-15 13:17:26 +0100203 self.visit(pointer.type, '%s[0]' % (lvalue,), '*__a%s->values[0]' % (pointer.tag,))
José Fonsecae0e61402010-11-25 15:03:23 +0000204 finally:
205 print ' }'
206
José Fonseca59ee88e2012-01-15 14:24:10 +0000207 def visitIntPointer(self, pointer, lvalue, rvalue):
208 pass
209
José Fonsecafbcf6832012-04-05 07:10:30 +0100210 def visitObjPointer(self, pointer, lvalue, rvalue):
211 print r' _obj_map[(%s).toUIntPtr()] = %s;' % (rvalue, lvalue)
212
José Fonseca59ee88e2012-01-15 14:24:10 +0000213 def visitLinearPointer(self, pointer, lvalue, rvalue):
214 assert pointer.size is not None
215 if pointer.size is not None:
216 print r' retrace::addRegion((%s).toUIntPtr(), %s, %s);' % (rvalue, lvalue, pointer.size)
217
José Fonsecab89c5932012-04-01 22:47:11 +0200218 def visitReference(self, reference, lvalue, rvalue):
219 pass
220
José Fonseca54f304a2012-01-14 19:33:08 +0000221 def visitHandle(self, handle, lvalue, rvalue):
José Fonsecaa10af892011-04-11 09:10:55 +0100222 print ' %s __orig_result;' % handle.type
José Fonseca54f304a2012-01-14 19:33:08 +0000223 OpaqueValueDeserializer().visit(handle.type, '__orig_result', rvalue);
José Fonsecad922e1d2010-11-25 17:14:02 +0000224 if handle.range is None:
José Fonsecaa10af892011-04-11 09:10:55 +0100225 rvalue = "__orig_result"
José Fonseca54f304a2012-01-14 19:33:08 +0000226 entry = lookupHandle(handle, rvalue)
José Fonseca8a844ae2010-12-06 18:50:52 +0000227 print " %s = %s;" % (entry, lvalue)
José Fonseca031b7382011-05-10 20:36:40 +0100228 print ' if (retrace::verbosity >= 2) {'
José Fonseca8a844ae2010-12-06 18:50:52 +0000229 print ' std::cout << "{handle.name} " << {rvalue} << " -> " << {lvalue} << "\\n";'.format(**locals())
José Fonseca031b7382011-05-10 20:36:40 +0100230 print ' }'
José Fonsecad922e1d2010-11-25 17:14:02 +0000231 else:
José Fonseca02c25002011-10-15 13:17:26 +0100232 i = '__h' + handle.tag
José Fonseca8a844ae2010-12-06 18:50:52 +0000233 lvalue = "%s + %s" % (lvalue, i)
José Fonsecaa10af892011-04-11 09:10:55 +0100234 rvalue = "__orig_result + %s" % (i,)
José Fonseca54f304a2012-01-14 19:33:08 +0000235 entry = lookupHandle(handle, rvalue)
José Fonsecadbaae492011-04-21 09:28:10 +0100236 print ' for ({handle.type} {i} = 0; {i} < {handle.range}; ++{i}) {{'.format(**locals())
José Fonseca8a844ae2010-12-06 18:50:52 +0000237 print ' {entry} = {lvalue};'.format(**locals())
José Fonseca031b7382011-05-10 20:36:40 +0100238 print ' if (retrace::verbosity >= 2) {'
José Fonseca8a844ae2010-12-06 18:50:52 +0000239 print ' std::cout << "{handle.name} " << ({rvalue}) << " -> " << ({lvalue}) << "\\n";'.format(**locals())
José Fonseca031b7382011-05-10 20:36:40 +0100240 print ' }'
José Fonsecad922e1d2010-11-25 17:14:02 +0000241 print ' }'
José Fonsecae0e61402010-11-25 15:03:23 +0000242
José Fonseca54f304a2012-01-14 19:33:08 +0000243 def visitBlob(self, blob, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000244 pass
245
José Fonseca54f304a2012-01-14 19:33:08 +0000246 def visitString(self, string, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000247 pass
248
249
José Fonsecae0e61402010-11-25 15:03:23 +0000250class Retracer:
251
José Fonseca54f304a2012-01-14 19:33:08 +0000252 def retraceFunction(self, function):
José Fonsecab4a3d142011-10-27 07:43:19 +0100253 print 'static void retrace_%s(trace::Call &call) {' % function.name
José Fonseca54f304a2012-01-14 19:33:08 +0000254 self.retraceFunctionBody(function)
José Fonseca62212972011-03-23 13:22:55 +0000255 print '}'
256 print
257
José Fonseca8e3c2c02012-01-23 00:30:35 +0000258 def retraceInterfaceMethod(self, interface, method):
259 print 'static void retrace_%s__%s(trace::Call &call) {' % (interface.name, method.name)
260 self.retraceInterfaceMethodBody(interface, method)
261 print '}'
262 print
263
José Fonseca54f304a2012-01-14 19:33:08 +0000264 def retraceFunctionBody(self, function):
José Fonseca4d7f1fe2011-05-09 20:54:31 +0100265 if not function.sideeffects:
José Fonseca9109c3a2011-05-24 19:31:26 +0100266 print ' (void)call;'
José Fonseca4d7f1fe2011-05-09 20:54:31 +0100267 return
268
José Fonseca8e3c2c02012-01-23 00:30:35 +0000269 self.deserializeArgs(function)
270
271 self.invokeFunction(function)
272
273 self.swizzleValues(function)
274
275 def retraceInterfaceMethodBody(self, interface, method):
276 if not method.sideeffects:
277 print ' (void)call;'
278 return
279
280 self.deserializeThisPointer(interface)
281
282 self.deserializeArgs(method)
283
284 self.invokeInterfaceMethod(interface, method)
285
286 self.swizzleValues(method)
287
288 def deserializeThisPointer(self, interface):
José Fonsecadc279372012-04-05 19:58:20 +0100289 print r' %s *_this;' % (interface.name,)
290 print r' _this = static_cast<%s *>(_obj_map[call.arg(0).toUIntPtr()]);' % (interface.name,)
291 print r' if (!_this) {'
292 print r' retrace::warning(call) << "NULL this pointer\n";'
293 print r' return;'
294 print r' }'
José Fonseca8e3c2c02012-01-23 00:30:35 +0000295
296 def deserializeArgs(self, function):
José Fonsecad994cf02011-11-03 19:35:53 +0000297 print ' retrace::ScopedAllocator _allocator;'
298 print ' (void)_allocator;'
José Fonsecae0e61402010-11-25 15:03:23 +0000299 success = True
300 for arg in function.args:
José Fonseca78563e02012-04-02 08:07:32 +0200301 arg_type = MutableRebuilder().visit(arg.type)
José Fonsecae0e61402010-11-25 15:03:23 +0000302 #print ' // %s -> %s' % (arg.type, arg_type)
303 print ' %s %s;' % (arg_type, arg.name)
304 rvalue = 'call.arg(%u)' % (arg.index,)
305 lvalue = arg.name
306 try:
José Fonseca54f304a2012-01-14 19:33:08 +0000307 self.extractArg(function, arg, arg_type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000308 except NotImplementedError:
José Fonseca8e3c2c02012-01-23 00:30:35 +0000309 success = False
José Fonseca2d216ae2012-04-01 22:48:24 +0200310 print ' memset(&%s, 0, sizeof %s); // FIXME' % (arg.name, arg.name)
José Fonseca8e3c2c02012-01-23 00:30:35 +0000311
José Fonsecae0e61402010-11-25 15:03:23 +0000312 if not success:
José Fonseca9109c3a2011-05-24 19:31:26 +0100313 print ' if (1) {'
José Fonseca54f304a2012-01-14 19:33:08 +0000314 self.failFunction(function)
José Fonseca8e3c2c02012-01-23 00:30:35 +0000315 if function.name[-1].islower():
316 sys.stderr.write('warning: unsupported %s call\n' % function.name)
José Fonseca9109c3a2011-05-24 19:31:26 +0100317 print ' }'
José Fonseca8e3c2c02012-01-23 00:30:35 +0000318
319 def swizzleValues(self, function):
José Fonsecae0e61402010-11-25 15:03:23 +0000320 for arg in function.args:
321 if arg.output:
José Fonseca78563e02012-04-02 08:07:32 +0200322 arg_type = MutableRebuilder().visit(arg.type)
José Fonsecae0e61402010-11-25 15:03:23 +0000323 rvalue = 'call.arg(%u)' % (arg.index,)
324 lvalue = arg.name
325 try:
José Fonseca54f304a2012-01-14 19:33:08 +0000326 self.regiterSwizzledValue(arg_type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000327 except NotImplementedError:
José Fonseca0a37edf2011-10-09 09:45:22 +0100328 print ' // XXX: %s' % arg.name
José Fonsecae0e61402010-11-25 15:03:23 +0000329 if function.type is not stdapi.Void:
330 rvalue = '*call.ret'
331 lvalue = '__result'
332 try:
José Fonseca54f304a2012-01-14 19:33:08 +0000333 self.regiterSwizzledValue(function.type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000334 except NotImplementedError:
José Fonsecafbcf6832012-04-05 07:10:30 +0100335 raise
José Fonseca46a48392011-10-14 11:34:27 +0100336 print ' // XXX: result'
José Fonsecae0e61402010-11-25 15:03:23 +0000337
José Fonseca54f304a2012-01-14 19:33:08 +0000338 def failFunction(self, function):
José Fonsecab1bb3c22011-10-08 20:23:18 +0100339 print ' if (retrace::verbosity >= 0) {'
José Fonsecaf5cda412011-10-09 17:27:23 +0100340 print ' retrace::unsupported(call);'
José Fonsecab1bb3c22011-10-08 20:23:18 +0100341 print ' }'
José Fonsecafa15d332010-11-25 20:22:39 +0000342 print ' return;'
343
José Fonseca54f304a2012-01-14 19:33:08 +0000344 def extractArg(self, function, arg, arg_type, lvalue, rvalue):
345 ValueDeserializer().visit(arg_type, lvalue, rvalue)
José Fonsecafd34e4e2011-06-03 19:34:29 +0100346
José Fonseca54f304a2012-01-14 19:33:08 +0000347 def extractOpaqueArg(self, function, arg, arg_type, lvalue, rvalue):
348 OpaqueValueDeserializer().visit(arg_type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000349
José Fonseca54f304a2012-01-14 19:33:08 +0000350 def regiterSwizzledValue(self, type, lvalue, rvalue):
351 visitor = SwizzledValueRegistrator()
352 visitor.visit(type, lvalue, rvalue)
353
354 def invokeFunction(self, function):
José Fonseca59ee88e2012-01-15 14:24:10 +0000355 arg_names = ", ".join(function.argNames())
José Fonsecafa15d332010-11-25 20:22:39 +0000356 if function.type is not stdapi.Void:
357 print ' %s __result;' % (function.type)
358 print ' __result = %s(%s);' % (function.name, arg_names)
José Fonseca974a3fb2011-05-23 21:15:12 +0100359 print ' (void)__result;'
José Fonsecafa15d332010-11-25 20:22:39 +0000360 else:
361 print ' %s(%s);' % (function.name, arg_names)
362
José Fonseca8e3c2c02012-01-23 00:30:35 +0000363 def invokeInterfaceMethod(self, interface, method):
364 arg_names = ", ".join(method.argNames())
365 if method.type is not stdapi.Void:
366 print ' %s __result;' % (method.type)
367 print ' __result = _this->%s(%s);' % (method.name, arg_names)
368 print ' (void)__result;'
369 else:
370 print ' _this->%s(%s);' % (method.name, arg_names)
371
José Fonseca54f304a2012-01-14 19:33:08 +0000372 def filterFunction(self, function):
José Fonseca4441baf2010-11-25 19:55:27 +0000373 return True
374
José Fonseca2741ed82011-10-07 23:36:39 +0100375 table_name = 'retrace::callbacks'
376
José Fonseca54f304a2012-01-14 19:33:08 +0000377 def retraceApi(self, api):
José Fonsecae0e61402010-11-25 15:03:23 +0000378
José Fonseca370cc9a2012-04-01 22:47:30 +0200379 print '#include "os_time.hpp"'
José Fonsecae0e61402010-11-25 15:03:23 +0000380 print '#include "trace_parser.hpp"'
José Fonseca91343f52011-04-01 08:37:06 +0100381 print '#include "retrace.hpp"'
José Fonsecae0e61402010-11-25 15:03:23 +0000382 print
383
José Fonseca8e3c2c02012-01-23 00:30:35 +0000384 types = api.getAllTypes()
José Fonsecae0e61402010-11-25 15:03:23 +0000385 handles = [type for type in types if isinstance(type, stdapi.Handle)]
José Fonsecad922e1d2010-11-25 17:14:02 +0000386 handle_names = set()
José Fonsecae0e61402010-11-25 15:03:23 +0000387 for handle in handles:
José Fonsecad922e1d2010-11-25 17:14:02 +0000388 if handle.name not in handle_names:
José Fonseca8a844ae2010-12-06 18:50:52 +0000389 if handle.key is None:
José Fonseca91343f52011-04-01 08:37:06 +0100390 print 'static retrace::map<%s> __%s_map;' % (handle.type, handle.name)
José Fonseca8a844ae2010-12-06 18:50:52 +0000391 else:
392 key_name, key_type = handle.key
José Fonseca91343f52011-04-01 08:37:06 +0100393 print 'static std::map<%s, retrace::map<%s> > __%s_map;' % (key_type, handle.type, handle.name)
José Fonsecad922e1d2010-11-25 17:14:02 +0000394 handle_names.add(handle.name)
José Fonsecae0e61402010-11-25 15:03:23 +0000395 print
396
José Fonsecafbcf6832012-04-05 07:10:30 +0100397 print 'static std::map<unsigned long long, void *> _obj_map;'
398 print
399
José Fonseca8e3c2c02012-01-23 00:30:35 +0000400 functions = filter(self.filterFunction, api.functions)
401 for function in functions:
402 self.retraceFunction(function)
403 interfaces = api.getAllInterfaces()
404 for interface in interfaces:
405 for method in interface.iterMethods():
406 self.retraceInterfaceMethod(interface, method)
407
408 print 'const retrace::Entry %s[] = {' % self.table_name
409 for function in functions:
410 print ' {"%s", &retrace_%s},' % (function.name, function.name)
411 for interface in interfaces:
412 for method in interface.iterMethods():
413 print ' {"%s::%s", &retrace_%s__%s},' % (interface.name, method.name, interface.name, method.name)
414 print ' {NULL, NULL}'
415 print '};'
416 print
José Fonsecae0e61402010-11-25 15:03:23 +0000417