blob: 7fcae527222b3a038866a3882f45a4143ff07edd [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é Fonsecae0e61402010-11-25 15:03:23 +000029import stdapi
30import glapi
José Fonseca522b7442010-11-27 15:30:40 +000031from codegen import *
José Fonsecae0e61402010-11-25 15:03:23 +000032
33
34class ConstRemover(stdapi.Rebuilder):
35
36 def visit_const(self, const):
37 return const.type
38
39 def visit_opaque(self, opaque):
40 expr = opaque.expr
41 if expr.startswith('const '):
42 expr = expr[6:]
43 return stdapi.Opaque(expr)
44
45
José Fonseca8a844ae2010-12-06 18:50:52 +000046def handle_entry(handle, value):
47 if handle.key is None:
48 return "__%s_map[%s]" % (handle.name, value)
49 else:
50 key_name, key_type = handle.key
51 return "__%s_map[%s][%s]" % (handle.name, key_name, value)
52
53
José Fonsecae0e61402010-11-25 15:03:23 +000054class ValueExtractor(stdapi.Visitor):
55
56 def visit_literal(self, literal, lvalue, rvalue):
57 if literal.format == 'Bool':
58 print ' %s = static_cast<bool>(%s);' % (lvalue, rvalue)
59 else:
60 print ' %s = %s;' % (lvalue, rvalue)
61
62 def visit_const(self, const, lvalue, rvalue):
63 self.visit(const.type, lvalue, rvalue)
64
65 def visit_alias(self, alias, lvalue, rvalue):
66 self.visit(alias.type, lvalue, rvalue)
67
68 def visit_enum(self, enum, lvalue, rvalue):
69 print ' %s = %s;' % (lvalue, rvalue)
70
71 def visit_bitmask(self, bitmask, lvalue, rvalue):
72 self.visit(bitmask.type, lvalue, rvalue)
73
74 def visit_array(self, array, lvalue, rvalue):
75 print ' const Trace::Array *__a%s = dynamic_cast<const Trace::Array *>(&%s);' % (array.id, rvalue)
76 print ' if (__a%s) {' % (array.id)
77 length = '__a%s->values.size()' % array.id
78 print ' %s = new %s[%s];' % (lvalue, array.type, length)
79 index = '__j' + array.id
80 print ' for(size_t {i} = 0; {i} < {length}; ++{i}) {{'.format(i = index, length = length)
81 try:
82 self.visit(array.type, '%s[%s]' % (lvalue, index), '*__a%s->values[%s]' % (array.id, index))
83 finally:
84 print ' }'
85 print ' } else {'
86 print ' %s = NULL;' % lvalue
87 print ' }'
88
89 def visit_pointer(self, pointer, lvalue, rvalue):
90 print ' const Trace::Array *__a%s = dynamic_cast<const Trace::Array *>(&%s);' % (pointer.id, rvalue)
91 print ' if (__a%s) {' % (pointer.id)
92 print ' %s = new %s;' % (lvalue, pointer.type)
93 try:
94 self.visit(pointer.type, '%s[0]' % (lvalue,), '*__a%s->values[0]' % (pointer.id,))
95 finally:
96 print ' } else {'
97 print ' %s = NULL;' % lvalue
98 print ' }'
99
100 def visit_handle(self, handle, lvalue, rvalue):
José Fonseca8a844ae2010-12-06 18:50:52 +0000101 self.visit(handle.type, lvalue, handle_entry(handle, rvalue));
José Fonseca32871ed2011-04-10 13:40:52 +0100102 print ' if (retrace::verbosity >= 2)'
José Fonsecae0e61402010-11-25 15:03:23 +0000103 print ' std::cout << "%s " << static_cast<%s>(%s) << " <- " << %s << "\\n";' % (handle.name, handle.type, rvalue, lvalue)
104
105 def visit_blob(self, blob, lvalue, rvalue):
106 print ' %s = static_cast<%s>((%s).blob());' % (lvalue, blob, rvalue)
107
108 def visit_string(self, string, lvalue, rvalue):
109 print ' %s = (%s)((%s).string());' % (lvalue, string.expr, rvalue)
110
111
112
113class ValueWrapper(stdapi.Visitor):
114
115 def visit_literal(self, literal, lvalue, rvalue):
116 pass
117
118 def visit_alias(self, alias, lvalue, rvalue):
119 self.visit(alias.type, lvalue, rvalue)
120
121 def visit_enum(self, enum, lvalue, rvalue):
122 pass
123
124 def visit_bitmask(self, bitmask, lvalue, rvalue):
125 pass
126
127 def visit_array(self, array, lvalue, rvalue):
128 print ' const Trace::Array *__a%s = dynamic_cast<const Trace::Array *>(&%s);' % (array.id, rvalue)
129 print ' if (__a%s) {' % (array.id)
130 length = '__a%s->values.size()' % array.id
131 index = '__j' + array.id
132 print ' for(size_t {i} = 0; {i} < {length}; ++{i}) {{'.format(i = index, length = length)
133 try:
134 self.visit(array.type, '%s[%s]' % (lvalue, index), '*__a%s->values[%s]' % (array.id, index))
135 finally:
136 print ' }'
137 print ' }'
138
139 def visit_pointer(self, pointer, lvalue, rvalue):
140 print ' const Trace::Array *__a%s = dynamic_cast<const Trace::Array *>(&%s);' % (pointer.id, rvalue)
141 print ' if (__a%s) {' % (pointer.id)
142 try:
143 self.visit(pointer.type, '%s[0]' % (lvalue,), '*__a%s->values[0]' % (pointer.id,))
144 finally:
145 print ' }'
146
147
148 def visit_handle(self, handle, lvalue, rvalue):
José Fonsecad922e1d2010-11-25 17:14:02 +0000149 if handle.range is None:
José Fonseca8a844ae2010-12-06 18:50:52 +0000150 rvalue = "static_cast<%s>(%s)" % (handle.type, rvalue)
151 entry = handle_entry(handle, rvalue)
152 print " %s = %s;" % (entry, lvalue)
José Fonseca32871ed2011-04-10 13:40:52 +0100153 print ' if (retrace::verbosity >= 2)'
José Fonseca8a844ae2010-12-06 18:50:52 +0000154 print ' std::cout << "{handle.name} " << {rvalue} << " -> " << {lvalue} << "\\n";'.format(**locals())
José Fonsecad922e1d2010-11-25 17:14:02 +0000155 else:
156 i = '__h' + handle.id
José Fonseca8a844ae2010-12-06 18:50:52 +0000157 lvalue = "%s + %s" % (lvalue, i)
158 rvalue = "static_cast<%s>(%s) + %s" % (handle.type, rvalue, i)
159 entry = handle_entry(handle, rvalue)
José Fonsecad922e1d2010-11-25 17:14:02 +0000160 print ' for({handle.type} {i} = 0; {i} < {handle.range}; ++{i}) {{'.format(**locals())
José Fonseca8a844ae2010-12-06 18:50:52 +0000161 print ' {entry} = {lvalue};'.format(**locals())
José Fonseca32871ed2011-04-10 13:40:52 +0100162 print ' if (retrace::verbosity >= 2)'
José Fonseca8a844ae2010-12-06 18:50:52 +0000163 print ' std::cout << "{handle.name} " << ({rvalue}) << " -> " << ({lvalue}) << "\\n";'.format(**locals())
José Fonsecad922e1d2010-11-25 17:14:02 +0000164 print ' }'
José Fonsecae0e61402010-11-25 15:03:23 +0000165
166 def visit_blob(self, blob, lvalue, rvalue):
167 pass
168
169 def visit_string(self, string, lvalue, rvalue):
170 pass
171
172
José Fonsecae0e61402010-11-25 15:03:23 +0000173class Retracer:
174
175 def retrace_function(self, function):
176 print 'static void retrace_%s(Trace::Call &call) {' % function.name
José Fonseca62212972011-03-23 13:22:55 +0000177 self.retrace_function_body(function)
178 print '}'
179 print
180
181 def retrace_function_body(self, function):
José Fonsecae0e61402010-11-25 15:03:23 +0000182 success = True
183 for arg in function.args:
184 arg_type = ConstRemover().visit(arg.type)
185 #print ' // %s -> %s' % (arg.type, arg_type)
186 print ' %s %s;' % (arg_type, arg.name)
187 rvalue = 'call.arg(%u)' % (arg.index,)
188 lvalue = arg.name
189 try:
José Fonsecadacd8dd2010-11-25 17:50:26 +0000190 self.extract_arg(function, arg, arg_type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000191 except NotImplementedError:
192 success = False
193 print ' %s = 0; // FIXME' % arg.name
194 if not success:
José Fonsecafa15d332010-11-25 20:22:39 +0000195 self.fail_function(function)
196 self.call_function(function)
José Fonsecae0e61402010-11-25 15:03:23 +0000197 for arg in function.args:
198 if arg.output:
199 arg_type = ConstRemover().visit(arg.type)
200 rvalue = 'call.arg(%u)' % (arg.index,)
201 lvalue = arg.name
202 try:
203 ValueWrapper().visit(arg_type, lvalue, rvalue)
204 except NotImplementedError:
205 print ' // FIXME: %s' % arg.name
206 if function.type is not stdapi.Void:
207 rvalue = '*call.ret'
208 lvalue = '__result'
209 try:
210 ValueWrapper().visit(function.type, lvalue, rvalue)
211 except NotImplementedError:
212 print ' // FIXME: result'
José Fonsecae0e61402010-11-25 15:03:23 +0000213
José Fonsecafa15d332010-11-25 20:22:39 +0000214 def fail_function(self, function):
José Fonseca32871ed2011-04-10 13:40:52 +0100215 print ' if (retrace::verbosity >= 0)'
José Fonseca5e687162011-02-09 15:11:12 +0000216 print ' std::cerr << "warning: unsupported call %s\\n";' % function.name
José Fonsecafa15d332010-11-25 20:22:39 +0000217 print ' return;'
218
José Fonsecadacd8dd2010-11-25 17:50:26 +0000219 def extract_arg(self, function, arg, arg_type, lvalue, rvalue):
220 ValueExtractor().visit(arg_type, lvalue, rvalue)
José Fonsecae0e61402010-11-25 15:03:23 +0000221
José Fonsecafa15d332010-11-25 20:22:39 +0000222 def call_function(self, function):
223 arg_names = ", ".join([arg.name for arg in function.args])
224 if function.type is not stdapi.Void:
225 print ' %s __result;' % (function.type)
226 print ' __result = %s(%s);' % (function.name, arg_names)
227 else:
228 print ' %s(%s);' % (function.name, arg_names)
229
José Fonseca4441baf2010-11-25 19:55:27 +0000230 def filter_function(self, function):
231 return True
232
José Fonsecae0e61402010-11-25 15:03:23 +0000233 def retrace_functions(self, functions):
José Fonseca4441baf2010-11-25 19:55:27 +0000234 functions = filter(self.filter_function, functions)
235
José Fonsecae0e61402010-11-25 15:03:23 +0000236 for function in functions:
237 if function.sideeffects:
238 self.retrace_function(function)
239
José Fonseca32871ed2011-04-10 13:40:52 +0100240 print 'bool retrace::retrace_call(Trace::Call &call) {'
José Fonseca522b7442010-11-27 15:30:40 +0000241 print ' const char *name = call.name().c_str();'
José Fonsecae0e61402010-11-25 15:03:23 +0000242 print
José Fonseca32871ed2011-04-10 13:40:52 +0100243 print ' if (retrace::verbosity >= 1) {'
José Fonsecae0e61402010-11-25 15:03:23 +0000244 print ' std::cout << call;'
245 print ' std::cout.flush();'
246 print ' };'
247 print
José Fonseca522b7442010-11-27 15:30:40 +0000248
249 func_dict = dict([(function.name, function) for function in functions])
250
251 def handle_case(function_name):
252 function = func_dict[function_name]
José Fonsecae0e61402010-11-25 15:03:23 +0000253 if function.sideeffects:
José Fonsecae0e61402010-11-25 15:03:23 +0000254 print ' retrace_%s(call);' % function.name
José Fonseca522b7442010-11-27 15:30:40 +0000255 print ' return true;'
256
257 string_switch('name', func_dict.keys(), handle_case)
258
José Fonseca32871ed2011-04-10 13:40:52 +0100259 print ' if (retrace::verbosity >= 0)'
José Fonseca5e687162011-02-09 15:11:12 +0000260 print ' std::cerr << "warning: unknown call " << call.name() << "\\n";'
José Fonsecae0e61402010-11-25 15:03:23 +0000261 print ' return false;'
262 print '}'
263 print
264
265
266 def retrace_api(self, api):
267
268 print '#include "trace_parser.hpp"'
José Fonseca91343f52011-04-01 08:37:06 +0100269 print '#include "retrace.hpp"'
José Fonsecae0e61402010-11-25 15:03:23 +0000270 print
271
272 types = api.all_types()
273 handles = [type for type in types if isinstance(type, stdapi.Handle)]
José Fonsecad922e1d2010-11-25 17:14:02 +0000274 handle_names = set()
José Fonsecae0e61402010-11-25 15:03:23 +0000275 for handle in handles:
José Fonsecad922e1d2010-11-25 17:14:02 +0000276 if handle.name not in handle_names:
José Fonseca8a844ae2010-12-06 18:50:52 +0000277 if handle.key is None:
José Fonseca91343f52011-04-01 08:37:06 +0100278 print 'static retrace::map<%s> __%s_map;' % (handle.type, handle.name)
José Fonseca8a844ae2010-12-06 18:50:52 +0000279 else:
280 key_name, key_type = handle.key
José Fonseca91343f52011-04-01 08:37:06 +0100281 print 'static std::map<%s, retrace::map<%s> > __%s_map;' % (key_type, handle.type, handle.name)
José Fonsecad922e1d2010-11-25 17:14:02 +0000282 handle_names.add(handle.name)
José Fonsecae0e61402010-11-25 15:03:23 +0000283 print
284
José Fonsecae0e61402010-11-25 15:03:23 +0000285 self.retrace_functions(api.functions)
286