blob: ee85f29d6d5de771e08b488ae0558a3e5d12a14f [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é Fonseca4a2c57b2012-04-07 10:50:53 +010067class ValueAllocator(stdapi.Visitor):
68
69 def visitLiteral(self, literal, lvalue, rvalue):
70 pass
71
72 def visitConst(self, const, lvalue, rvalue):
73 self.visit(const.type, lvalue, rvalue)
74
75 def visitAlias(self, alias, lvalue, rvalue):
76 self.visit(alias.type, lvalue, rvalue)
77
78 def visitEnum(self, enum, lvalue, rvalue):
79 pass
80
81 def visitBitmask(self, bitmask, lvalue, rvalue):
82 pass
83
84 def visitArray(self, array, lvalue, rvalue):
85 print ' %s = _allocator.alloc<%s>(&%s);' % (lvalue, array.type, rvalue)
86
87 def visitPointer(self, pointer, lvalue, rvalue):
88 print ' %s = _allocator.alloc<%s>(&%s);' % (lvalue, pointer.type, rvalue)
89
90 def visitIntPointer(self, pointer, lvalue, rvalue):
91 pass
92
93 def visitObjPointer(self, pointer, lvalue, rvalue):
94 pass
95
96 def visitLinearPointer(self, pointer, lvalue, rvalue):
97 pass
98
99 def visitReference(self, reference, lvalue, rvalue):
100 self.visit(reference.type, lvalue, rvalue);
101
102 def visitHandle(self, handle, lvalue, rvalue):
103 pass
104
105 def visitBlob(self, blob, lvalue, rvalue):
106 pass
107
108 def visitString(self, string, lvalue, rvalue):
109 pass
110
111 def visitStruct(self, struct, lvalue, rvalue):
112 pass
113
114 def visitPolymorphic(self, polymorphic, lvalue, rvalue):
115 self.visit(polymorphic.defaultType, lvalue, rvalue)
116
117
José Fonseca54f304a2012-01-14 19:33:08 +0000118class ValueDeserializer(stdapi.Visitor):
José Fonsecae0e61402010-11-25 15:03:23 +0000119
José Fonseca54f304a2012-01-14 19:33:08 +0000120 def visitLiteral(self, literal, lvalue, rvalue):
José Fonseca2f2ea482011-10-15 15:10:06 +0100121 print ' %s = (%s).to%s();' % (lvalue, rvalue, literal.kind)
José Fonsecae0e61402010-11-25 15:03:23 +0000122
José Fonseca54f304a2012-01-14 19:33:08 +0000123 def visitConst(self, const, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000124 self.visit(const.type, lvalue, rvalue)
125
José Fonseca54f304a2012-01-14 19:33:08 +0000126 def visitAlias(self, alias, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000127 self.visit(alias.type, lvalue, rvalue)
128
José Fonseca54f304a2012-01-14 19:33:08 +0000129 def visitEnum(self, enum, lvalue, rvalue):
José Fonseca6d6bd9b2012-04-02 08:10:48 +0200130 print ' %s = static_cast<%s>((%s).toSInt());' % (lvalue, enum, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000131
José Fonseca54f304a2012-01-14 19:33:08 +0000132 def visitBitmask(self, bitmask, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000133 self.visit(bitmask.type, lvalue, rvalue)
134
José Fonseca54f304a2012-01-14 19:33:08 +0000135 def visitArray(self, array, lvalue, rvalue):
José Fonseca4a2c57b2012-04-07 10:50:53 +0100136
José Fonseca68013c92012-04-05 19:58:38 +0100137 tmp = '__a_' + array.tag + '_' + str(self.seq)
138 self.seq += 1
139
José Fonseca4a2c57b2012-04-07 10:50:53 +0100140 print ' if (%s) {' % (lvalue,)
141 print ' const trace::Array *%s = dynamic_cast<const trace::Array *>(&%s);' % (tmp, rvalue)
José Fonseca68013c92012-04-05 19:58:38 +0100142 length = '%s->values.size()' % (tmp,)
José Fonseca02c25002011-10-15 13:17:26 +0100143 index = '__j' + array.tag
José Fonsecadbaae492011-04-21 09:28:10 +0100144 print ' for (size_t {i} = 0; {i} < {length}; ++{i}) {{'.format(i = index, length = length)
José Fonsecae0e61402010-11-25 15:03:23 +0000145 try:
José Fonseca68013c92012-04-05 19:58:38 +0100146 self.visit(array.type, '%s[%s]' % (lvalue, index), '*%s->values[%s]' % (tmp, index))
José Fonsecae0e61402010-11-25 15:03:23 +0000147 finally:
148 print ' }'
José Fonseca4a2c57b2012-04-07 10:50:53 +0100149 print ' }'
José Fonsecae0e61402010-11-25 15:03:23 +0000150
José Fonseca54f304a2012-01-14 19:33:08 +0000151 def visitPointer(self, pointer, lvalue, rvalue):
José Fonseca68013c92012-04-05 19:58:38 +0100152 tmp = '__a_' + pointer.tag + '_' + str(self.seq)
153 self.seq += 1
154
José Fonseca4a2c57b2012-04-07 10:50:53 +0100155 print ' if (%s) {' % (lvalue,)
156 print ' const trace::Array *%s = dynamic_cast<const trace::Array *>(&%s);' % (tmp, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000157 try:
José Fonseca68013c92012-04-05 19:58:38 +0100158 self.visit(pointer.type, '%s[0]' % (lvalue,), '*%s->values[0]' % (tmp,))
José Fonsecae0e61402010-11-25 15:03:23 +0000159 finally:
José Fonseca4a2c57b2012-04-07 10:50:53 +0100160 print ' }'
José Fonsecae0e61402010-11-25 15:03:23 +0000161
José Fonseca59ee88e2012-01-15 14:24:10 +0000162 def visitIntPointer(self, pointer, lvalue, rvalue):
163 print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, pointer, rvalue)
164
José Fonsecafbcf6832012-04-05 07:10:30 +0100165 def visitObjPointer(self, pointer, lvalue, rvalue):
José Fonseca4a2c57b2012-04-07 10:50:53 +0100166 old_lvalue = '(%s).toUIntPtr()' % (rvalue,)
167 new_lvalue = '_obj_map[%s]' % (old_lvalue,)
168 print ' if (retrace::verbosity >= 2) {'
169 print ' std::cout << std::hex << "obj 0x" << size_t(%s) << " <- 0x" << size_t(%s) << std::dec <<"\\n";' % (old_lvalue, new_lvalue)
170 print ' }'
171 print ' %s = static_cast<%s>(%s);' % (lvalue, pointer, new_lvalue)
José Fonsecafbcf6832012-04-05 07:10:30 +0100172
José Fonseca59ee88e2012-01-15 14:24:10 +0000173 def visitLinearPointer(self, pointer, lvalue, rvalue):
174 print ' %s = static_cast<%s>(retrace::toPointer(%s));' % (lvalue, pointer, rvalue)
175
José Fonsecab89c5932012-04-01 22:47:11 +0200176 def visitReference(self, reference, lvalue, rvalue):
177 self.visit(reference.type, lvalue, rvalue);
178
José Fonseca54f304a2012-01-14 19:33:08 +0000179 def visitHandle(self, handle, lvalue, rvalue):
José Fonseca59ee88e2012-01-15 14:24:10 +0000180 #OpaqueValueDeserializer().visit(handle.type, lvalue, rvalue);
181 self.visit(handle.type, lvalue, rvalue);
José Fonseca54f304a2012-01-14 19:33:08 +0000182 new_lvalue = lookupHandle(handle, lvalue)
José Fonseca031b7382011-05-10 20:36:40 +0100183 print ' if (retrace::verbosity >= 2) {'
José Fonsecaa10af892011-04-11 09:10:55 +0100184 print ' std::cout << "%s " << size_t(%s) << " <- " << size_t(%s) << "\\n";' % (handle.name, lvalue, new_lvalue)
José Fonseca031b7382011-05-10 20:36:40 +0100185 print ' }'
José Fonsecaa10af892011-04-11 09:10:55 +0100186 print ' %s = %s;' % (lvalue, new_lvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000187
José Fonseca54f304a2012-01-14 19:33:08 +0000188 def visitBlob(self, blob, lvalue, rvalue):
José Fonseca7ebb9e22011-05-06 09:58:45 +0100189 print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, blob, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000190
José Fonseca54f304a2012-01-14 19:33:08 +0000191 def visitString(self, string, lvalue, rvalue):
José Fonseca7ebb9e22011-05-06 09:58:45 +0100192 print ' %s = (%s)((%s).toString());' % (lvalue, string.expr, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000193
José Fonsecaa65a23a2012-04-02 08:10:06 +0200194 seq = 0
195
196 def visitStruct(self, struct, lvalue, rvalue):
197 tmp = '__s_' + struct.tag + '_' + str(self.seq)
198 self.seq += 1
199
200 print ' const trace::Struct *%s = dynamic_cast<const trace::Struct *>(&%s);' % (tmp, rvalue)
201 print ' assert(%s);' % (tmp)
José Fonsecaa65a23a2012-04-02 08:10:06 +0200202 for i in range(len(struct.members)):
203 member_type, member_name = struct.members[i]
204 self.visit(member_type, '%s.%s' % (lvalue, member_name), '*%s->members[%s]' % (tmp, i))
205
José Fonseca4a2c57b2012-04-07 10:50:53 +0100206 def visitPolymorphic(self, polymorphic, lvalue, rvalue):
207 self.visit(polymorphic.defaultType, lvalue, rvalue)
208
José Fonsecae0e61402010-11-25 15:03:23 +0000209
José Fonseca54f304a2012-01-14 19:33:08 +0000210class OpaqueValueDeserializer(ValueDeserializer):
José Fonsecaa10af892011-04-11 09:10:55 +0100211 '''Value extractor that also understands opaque values.
212
213 Normally opaque values can't be retraced, unless they are being extracted
214 in the context of handles.'''
215
José Fonseca54f304a2012-01-14 19:33:08 +0000216 def visitOpaque(self, opaque, lvalue, rvalue):
José Fonseca46a48392011-10-14 11:34:27 +0100217 print ' %s = static_cast<%s>(retrace::toPointer(%s));' % (lvalue, opaque, rvalue)
José Fonsecaa10af892011-04-11 09:10:55 +0100218
José Fonsecae0e61402010-11-25 15:03:23 +0000219
José Fonseca54f304a2012-01-14 19:33:08 +0000220class SwizzledValueRegistrator(stdapi.Visitor):
221 '''Type visitor which will register (un)swizzled value pairs, to later be
222 swizzled.'''
José Fonsecae0e61402010-11-25 15:03:23 +0000223
José Fonseca54f304a2012-01-14 19:33:08 +0000224 def visitLiteral(self, literal, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000225 pass
226
José Fonseca54f304a2012-01-14 19:33:08 +0000227 def visitAlias(self, alias, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000228 self.visit(alias.type, lvalue, rvalue)
229
José Fonseca54f304a2012-01-14 19:33:08 +0000230 def visitEnum(self, enum, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000231 pass
232
José Fonseca54f304a2012-01-14 19:33:08 +0000233 def visitBitmask(self, bitmask, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000234 pass
235
José Fonseca54f304a2012-01-14 19:33:08 +0000236 def visitArray(self, array, lvalue, rvalue):
José Fonsecab4a3d142011-10-27 07:43:19 +0100237 print ' const trace::Array *__a%s = dynamic_cast<const trace::Array *>(&%s);' % (array.tag, rvalue)
José Fonseca02c25002011-10-15 13:17:26 +0100238 print ' if (__a%s) {' % (array.tag)
239 length = '__a%s->values.size()' % array.tag
240 index = '__j' + array.tag
José Fonsecadbaae492011-04-21 09:28:10 +0100241 print ' for (size_t {i} = 0; {i} < {length}; ++{i}) {{'.format(i = index, length = length)
José Fonsecae0e61402010-11-25 15:03:23 +0000242 try:
José Fonseca02c25002011-10-15 13:17:26 +0100243 self.visit(array.type, '%s[%s]' % (lvalue, index), '*__a%s->values[%s]' % (array.tag, index))
José Fonsecae0e61402010-11-25 15:03:23 +0000244 finally:
245 print ' }'
246 print ' }'
247
José Fonseca54f304a2012-01-14 19:33:08 +0000248 def visitPointer(self, pointer, lvalue, rvalue):
José Fonsecab4a3d142011-10-27 07:43:19 +0100249 print ' const trace::Array *__a%s = dynamic_cast<const trace::Array *>(&%s);' % (pointer.tag, rvalue)
José Fonseca02c25002011-10-15 13:17:26 +0100250 print ' if (__a%s) {' % (pointer.tag)
José Fonsecae0e61402010-11-25 15:03:23 +0000251 try:
José Fonseca02c25002011-10-15 13:17:26 +0100252 self.visit(pointer.type, '%s[0]' % (lvalue,), '*__a%s->values[0]' % (pointer.tag,))
José Fonsecae0e61402010-11-25 15:03:23 +0000253 finally:
254 print ' }'
255
José Fonseca59ee88e2012-01-15 14:24:10 +0000256 def visitIntPointer(self, pointer, lvalue, rvalue):
257 pass
258
José Fonsecafbcf6832012-04-05 07:10:30 +0100259 def visitObjPointer(self, pointer, lvalue, rvalue):
260 print r' _obj_map[(%s).toUIntPtr()] = %s;' % (rvalue, lvalue)
261
José Fonseca59ee88e2012-01-15 14:24:10 +0000262 def visitLinearPointer(self, pointer, lvalue, rvalue):
263 assert pointer.size is not None
264 if pointer.size is not None:
265 print r' retrace::addRegion((%s).toUIntPtr(), %s, %s);' % (rvalue, lvalue, pointer.size)
266
José Fonsecab89c5932012-04-01 22:47:11 +0200267 def visitReference(self, reference, lvalue, rvalue):
268 pass
269
José Fonseca54f304a2012-01-14 19:33:08 +0000270 def visitHandle(self, handle, lvalue, rvalue):
José Fonsecaa10af892011-04-11 09:10:55 +0100271 print ' %s __orig_result;' % handle.type
José Fonseca54f304a2012-01-14 19:33:08 +0000272 OpaqueValueDeserializer().visit(handle.type, '__orig_result', rvalue);
José Fonsecad922e1d2010-11-25 17:14:02 +0000273 if handle.range is None:
José Fonsecaa10af892011-04-11 09:10:55 +0100274 rvalue = "__orig_result"
José Fonseca54f304a2012-01-14 19:33:08 +0000275 entry = lookupHandle(handle, rvalue)
José Fonseca8a844ae2010-12-06 18:50:52 +0000276 print " %s = %s;" % (entry, lvalue)
José Fonseca031b7382011-05-10 20:36:40 +0100277 print ' if (retrace::verbosity >= 2) {'
José Fonseca8a844ae2010-12-06 18:50:52 +0000278 print ' std::cout << "{handle.name} " << {rvalue} << " -> " << {lvalue} << "\\n";'.format(**locals())
José Fonseca031b7382011-05-10 20:36:40 +0100279 print ' }'
José Fonsecad922e1d2010-11-25 17:14:02 +0000280 else:
José Fonseca02c25002011-10-15 13:17:26 +0100281 i = '__h' + handle.tag
José Fonseca8a844ae2010-12-06 18:50:52 +0000282 lvalue = "%s + %s" % (lvalue, i)
José Fonsecaa10af892011-04-11 09:10:55 +0100283 rvalue = "__orig_result + %s" % (i,)
José Fonseca54f304a2012-01-14 19:33:08 +0000284 entry = lookupHandle(handle, rvalue)
José Fonsecadbaae492011-04-21 09:28:10 +0100285 print ' for ({handle.type} {i} = 0; {i} < {handle.range}; ++{i}) {{'.format(**locals())
José Fonseca8a844ae2010-12-06 18:50:52 +0000286 print ' {entry} = {lvalue};'.format(**locals())
José Fonseca031b7382011-05-10 20:36:40 +0100287 print ' if (retrace::verbosity >= 2) {'
José Fonseca8a844ae2010-12-06 18:50:52 +0000288 print ' std::cout << "{handle.name} " << ({rvalue}) << " -> " << ({lvalue}) << "\\n";'.format(**locals())
José Fonseca031b7382011-05-10 20:36:40 +0100289 print ' }'
José Fonsecad922e1d2010-11-25 17:14:02 +0000290 print ' }'
José Fonsecae0e61402010-11-25 15:03:23 +0000291
José Fonseca54f304a2012-01-14 19:33:08 +0000292 def visitBlob(self, blob, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000293 pass
294
José Fonseca54f304a2012-01-14 19:33:08 +0000295 def visitString(self, string, lvalue, rvalue):
José Fonsecae0e61402010-11-25 15:03:23 +0000296 pass
297
José Fonseca4a2c57b2012-04-07 10:50:53 +0100298 seq = 0
299
300 def visitStruct(self, struct, lvalue, rvalue):
301 tmp = '__s_' + struct.tag + '_' + str(self.seq)
302 self.seq += 1
303
304 print ' const trace::Struct *%s = dynamic_cast<const trace::Struct *>(&%s);' % (tmp, rvalue)
305 print ' assert(%s);' % (tmp,)
306 print ' (void)%s;' % (tmp,)
307 for i in range(len(struct.members)):
308 member_type, member_name = struct.members[i]
309 self.visit(member_type, '%s.%s' % (lvalue, member_name), '*%s->members[%s]' % (tmp, i))
310
311 def visitPolymorphic(self, polymorphic, lvalue, rvalue):
312 self.visit(polymorphic.defaultType, lvalue, rvalue)
313
José Fonsecae0e61402010-11-25 15:03:23 +0000314
José Fonsecae0e61402010-11-25 15:03:23 +0000315class Retracer:
316
José Fonseca54f304a2012-01-14 19:33:08 +0000317 def retraceFunction(self, function):
José Fonsecab4a3d142011-10-27 07:43:19 +0100318 print 'static void retrace_%s(trace::Call &call) {' % function.name
José Fonseca54f304a2012-01-14 19:33:08 +0000319 self.retraceFunctionBody(function)
José Fonseca62212972011-03-23 13:22:55 +0000320 print '}'
321 print
322
José Fonseca8e3c2c02012-01-23 00:30:35 +0000323 def retraceInterfaceMethod(self, interface, method):
324 print 'static void retrace_%s__%s(trace::Call &call) {' % (interface.name, method.name)
325 self.retraceInterfaceMethodBody(interface, method)
326 print '}'
327 print
328
José Fonseca54f304a2012-01-14 19:33:08 +0000329 def retraceFunctionBody(self, function):
José Fonseca4d7f1fe2011-05-09 20:54:31 +0100330 if not function.sideeffects:
José Fonseca9109c3a2011-05-24 19:31:26 +0100331 print ' (void)call;'
José Fonseca4d7f1fe2011-05-09 20:54:31 +0100332 return
333
José Fonseca8e3c2c02012-01-23 00:30:35 +0000334 self.deserializeArgs(function)
335
336 self.invokeFunction(function)
337
338 self.swizzleValues(function)
339
340 def retraceInterfaceMethodBody(self, interface, method):
341 if not method.sideeffects:
342 print ' (void)call;'
343 return
344
345 self.deserializeThisPointer(interface)
346
347 self.deserializeArgs(method)
348
349 self.invokeInterfaceMethod(interface, method)
350
351 self.swizzleValues(method)
352
353 def deserializeThisPointer(self, interface):
José Fonsecadc279372012-04-05 19:58:20 +0100354 print r' %s *_this;' % (interface.name,)
355 print r' _this = static_cast<%s *>(_obj_map[call.arg(0).toUIntPtr()]);' % (interface.name,)
356 print r' if (!_this) {'
357 print r' retrace::warning(call) << "NULL this pointer\n";'
358 print r' return;'
359 print r' }'
José Fonseca8e3c2c02012-01-23 00:30:35 +0000360
361 def deserializeArgs(self, function):
José Fonsecad994cf02011-11-03 19:35:53 +0000362 print ' retrace::ScopedAllocator _allocator;'
363 print ' (void)_allocator;'
José Fonsecae0e61402010-11-25 15:03:23 +0000364 success = True
365 for arg in function.args:
José Fonseca78563e02012-04-02 08:07:32 +0200366 arg_type = MutableRebuilder().visit(arg.type)
José Fonsecae0e61402010-11-25 15:03:23 +0000367 print ' %s %s;' % (arg_type, arg.name)
368 rvalue = 'call.arg(%u)' % (arg.index,)
369 lvalue = arg.name
370 try:
José Fonseca54f304a2012-01-14 19:33:08 +0000371 self.extractArg(function, arg, arg_type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000372 except NotImplementedError:
José Fonseca8e3c2c02012-01-23 00:30:35 +0000373 success = False
José Fonseca2d216ae2012-04-01 22:48:24 +0200374 print ' memset(&%s, 0, sizeof %s); // FIXME' % (arg.name, arg.name)
José Fonseca4a2c57b2012-04-07 10:50:53 +0100375 print
José Fonseca8e3c2c02012-01-23 00:30:35 +0000376
José Fonsecae0e61402010-11-25 15:03:23 +0000377 if not success:
José Fonseca9109c3a2011-05-24 19:31:26 +0100378 print ' if (1) {'
José Fonseca54f304a2012-01-14 19:33:08 +0000379 self.failFunction(function)
José Fonseca8e3c2c02012-01-23 00:30:35 +0000380 if function.name[-1].islower():
381 sys.stderr.write('warning: unsupported %s call\n' % function.name)
José Fonseca9109c3a2011-05-24 19:31:26 +0100382 print ' }'
José Fonseca8e3c2c02012-01-23 00:30:35 +0000383
384 def swizzleValues(self, function):
José Fonsecae0e61402010-11-25 15:03:23 +0000385 for arg in function.args:
386 if arg.output:
José Fonseca78563e02012-04-02 08:07:32 +0200387 arg_type = MutableRebuilder().visit(arg.type)
José Fonsecae0e61402010-11-25 15:03:23 +0000388 rvalue = 'call.arg(%u)' % (arg.index,)
389 lvalue = arg.name
390 try:
José Fonseca54f304a2012-01-14 19:33:08 +0000391 self.regiterSwizzledValue(arg_type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000392 except NotImplementedError:
José Fonseca0a37edf2011-10-09 09:45:22 +0100393 print ' // XXX: %s' % arg.name
José Fonsecae0e61402010-11-25 15:03:23 +0000394 if function.type is not stdapi.Void:
395 rvalue = '*call.ret'
396 lvalue = '__result'
397 try:
José Fonseca54f304a2012-01-14 19:33:08 +0000398 self.regiterSwizzledValue(function.type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000399 except NotImplementedError:
José Fonsecafbcf6832012-04-05 07:10:30 +0100400 raise
José Fonseca46a48392011-10-14 11:34:27 +0100401 print ' // XXX: result'
José Fonsecae0e61402010-11-25 15:03:23 +0000402
José Fonseca54f304a2012-01-14 19:33:08 +0000403 def failFunction(self, function):
José Fonsecab1bb3c22011-10-08 20:23:18 +0100404 print ' if (retrace::verbosity >= 0) {'
José Fonsecaf5cda412011-10-09 17:27:23 +0100405 print ' retrace::unsupported(call);'
José Fonsecab1bb3c22011-10-08 20:23:18 +0100406 print ' }'
José Fonsecafa15d332010-11-25 20:22:39 +0000407 print ' return;'
408
José Fonseca54f304a2012-01-14 19:33:08 +0000409 def extractArg(self, function, arg, arg_type, lvalue, rvalue):
José Fonseca4a2c57b2012-04-07 10:50:53 +0100410 ValueAllocator().visit(arg_type, lvalue, rvalue)
411 if arg.input:
412 ValueDeserializer().visit(arg_type, lvalue, rvalue)
José Fonsecafd34e4e2011-06-03 19:34:29 +0100413
José Fonseca54f304a2012-01-14 19:33:08 +0000414 def extractOpaqueArg(self, function, arg, arg_type, lvalue, rvalue):
José Fonseca4a2c57b2012-04-07 10:50:53 +0100415 try:
416 ValueAllocator().visit(arg_type, lvalue, rvalue)
417 except NotImplementedError:
418 pass
José Fonseca54f304a2012-01-14 19:33:08 +0000419 OpaqueValueDeserializer().visit(arg_type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000420
José Fonseca54f304a2012-01-14 19:33:08 +0000421 def regiterSwizzledValue(self, type, lvalue, rvalue):
422 visitor = SwizzledValueRegistrator()
423 visitor.visit(type, lvalue, rvalue)
424
425 def invokeFunction(self, function):
José Fonseca59ee88e2012-01-15 14:24:10 +0000426 arg_names = ", ".join(function.argNames())
José Fonsecafa15d332010-11-25 20:22:39 +0000427 if function.type is not stdapi.Void:
428 print ' %s __result;' % (function.type)
429 print ' __result = %s(%s);' % (function.name, arg_names)
José Fonseca974a3fb2011-05-23 21:15:12 +0100430 print ' (void)__result;'
José Fonsecafa15d332010-11-25 20:22:39 +0000431 else:
432 print ' %s(%s);' % (function.name, arg_names)
433
José Fonseca8e3c2c02012-01-23 00:30:35 +0000434 def invokeInterfaceMethod(self, interface, method):
435 arg_names = ", ".join(method.argNames())
436 if method.type is not stdapi.Void:
437 print ' %s __result;' % (method.type)
438 print ' __result = _this->%s(%s);' % (method.name, arg_names)
439 print ' (void)__result;'
440 else:
441 print ' _this->%s(%s);' % (method.name, arg_names)
442
José Fonseca54f304a2012-01-14 19:33:08 +0000443 def filterFunction(self, function):
José Fonseca4441baf2010-11-25 19:55:27 +0000444 return True
445
José Fonseca2741ed82011-10-07 23:36:39 +0100446 table_name = 'retrace::callbacks'
447
José Fonseca54f304a2012-01-14 19:33:08 +0000448 def retraceApi(self, api):
José Fonsecae0e61402010-11-25 15:03:23 +0000449
José Fonseca370cc9a2012-04-01 22:47:30 +0200450 print '#include "os_time.hpp"'
José Fonsecae0e61402010-11-25 15:03:23 +0000451 print '#include "trace_parser.hpp"'
José Fonseca91343f52011-04-01 08:37:06 +0100452 print '#include "retrace.hpp"'
José Fonsecae0e61402010-11-25 15:03:23 +0000453 print
454
José Fonseca8e3c2c02012-01-23 00:30:35 +0000455 types = api.getAllTypes()
José Fonsecae0e61402010-11-25 15:03:23 +0000456 handles = [type for type in types if isinstance(type, stdapi.Handle)]
José Fonsecad922e1d2010-11-25 17:14:02 +0000457 handle_names = set()
José Fonsecae0e61402010-11-25 15:03:23 +0000458 for handle in handles:
José Fonsecad922e1d2010-11-25 17:14:02 +0000459 if handle.name not in handle_names:
José Fonseca8a844ae2010-12-06 18:50:52 +0000460 if handle.key is None:
José Fonseca91343f52011-04-01 08:37:06 +0100461 print 'static retrace::map<%s> __%s_map;' % (handle.type, handle.name)
José Fonseca8a844ae2010-12-06 18:50:52 +0000462 else:
463 key_name, key_type = handle.key
José Fonseca91343f52011-04-01 08:37:06 +0100464 print 'static std::map<%s, retrace::map<%s> > __%s_map;' % (key_type, handle.type, handle.name)
José Fonsecad922e1d2010-11-25 17:14:02 +0000465 handle_names.add(handle.name)
José Fonsecae0e61402010-11-25 15:03:23 +0000466 print
467
José Fonsecafbcf6832012-04-05 07:10:30 +0100468 print 'static std::map<unsigned long long, void *> _obj_map;'
469 print
470
José Fonseca8e3c2c02012-01-23 00:30:35 +0000471 functions = filter(self.filterFunction, api.functions)
472 for function in functions:
473 self.retraceFunction(function)
474 interfaces = api.getAllInterfaces()
475 for interface in interfaces:
476 for method in interface.iterMethods():
477 self.retraceInterfaceMethod(interface, method)
478
479 print 'const retrace::Entry %s[] = {' % self.table_name
480 for function in functions:
481 print ' {"%s", &retrace_%s},' % (function.name, function.name)
482 for interface in interfaces:
483 for method in interface.iterMethods():
484 print ' {"%s::%s", &retrace_%s__%s},' % (interface.name, method.name, interface.name, method.name)
485 print ' {NULL, NULL}'
486 print '};'
487 print
José Fonsecae0e61402010-11-25 15:03:23 +0000488