import specs.glapi as glapi
- class ConstRemover(stdapi.Rebuilder):
- '''Type visitor which strips out const qualifiers from types.'''
+ class MutableRebuilder(stdapi.Rebuilder):
+ '''Type visitor which derives a mutable type.'''
def visitConst(self, const):
+ # Strip out const qualifier
return const.type
+ def visitAlias(self, alias):
+ # Tear the alias on type changes
+ type = self.visit(alias.type)
+ if type is alias.type:
+ return alias
+ return type
+
+ def visitReference(self, reference):
+ # Strip out references
+ return reference.type
+
def visitOpaque(self, opaque):
+ # Don't recursule
return opaque
return "__%s_map[%s][%s]" % (handle.name, key_name, value)
+ class ValueAllocator(stdapi.Visitor):
+
+ def visitLiteral(self, literal, lvalue, rvalue):
+ pass
+
+ def visitConst(self, const, lvalue, rvalue):
+ self.visit(const.type, lvalue, rvalue)
+
+ def visitAlias(self, alias, lvalue, rvalue):
+ self.visit(alias.type, lvalue, rvalue)
+
+ def visitEnum(self, enum, lvalue, rvalue):
+ pass
+
+ def visitBitmask(self, bitmask, lvalue, rvalue):
+ pass
+
+ def visitArray(self, array, lvalue, rvalue):
+ print ' %s = _allocator.alloc<%s>(&%s);' % (lvalue, array.type, rvalue)
+
+ def visitPointer(self, pointer, lvalue, rvalue):
+ print ' %s = _allocator.alloc<%s>(&%s);' % (lvalue, pointer.type, rvalue)
+
+ def visitIntPointer(self, pointer, lvalue, rvalue):
+ pass
+
+ def visitObjPointer(self, pointer, lvalue, rvalue):
+ pass
+
+ def visitLinearPointer(self, pointer, lvalue, rvalue):
+ pass
+
+ def visitReference(self, reference, lvalue, rvalue):
+ self.visit(reference.type, lvalue, rvalue);
+
+ def visitHandle(self, handle, lvalue, rvalue):
+ pass
+
+ def visitBlob(self, blob, lvalue, rvalue):
+ pass
+
+ def visitString(self, string, lvalue, rvalue):
+ pass
+
+ def visitStruct(self, struct, lvalue, rvalue):
+ pass
+
+ def visitPolymorphic(self, polymorphic, lvalue, rvalue):
+ self.visit(polymorphic.defaultType, lvalue, rvalue)
+
+
class ValueDeserializer(stdapi.Visitor):
def visitLiteral(self, literal, lvalue, rvalue):
self.visit(bitmask.type, lvalue, rvalue)
def visitArray(self, array, lvalue, rvalue):
- print ' const trace::Array *__a%s = dynamic_cast<const trace::Array *>(&%s);' % (array.tag, rvalue)
- print ' if (__a%s) {' % (array.tag)
- length = '__a%s->values.size()' % array.tag
- print ' %s = _allocator.alloc<%s>(%s);' % (lvalue, array.type, length)
+
+ tmp = '__a_' + array.tag + '_' + str(self.seq)
+ self.seq += 1
+
+ print ' if (%s) {' % (lvalue,)
+ print ' const trace::Array *%s = dynamic_cast<const trace::Array *>(&%s);' % (tmp, rvalue)
+ length = '%s->values.size()' % (tmp,)
index = '__j' + array.tag
print ' for (size_t {i} = 0; {i} < {length}; ++{i}) {{'.format(i = index, length = length)
try:
- self.visit(array.type, '%s[%s]' % (lvalue, index), '*__a%s->values[%s]' % (array.tag, index))
+ self.visit(array.type, '%s[%s]' % (lvalue, index), '*%s->values[%s]' % (tmp, index))
finally:
print ' }'
- print ' } else {'
- print ' %s = NULL;' % lvalue
print ' }'
def visitPointer(self, pointer, lvalue, rvalue):
- print ' const trace::Array *__a%s = dynamic_cast<const trace::Array *>(&%s);' % (pointer.tag, rvalue)
- print ' if (__a%s) {' % (pointer.tag)
- print ' %s = _allocator.alloc<%s>();' % (lvalue, pointer.type)
+ tmp = '__a_' + pointer.tag + '_' + str(self.seq)
+ self.seq += 1
+
+ print ' if (%s) {' % (lvalue,)
+ print ' const trace::Array *%s = dynamic_cast<const trace::Array *>(&%s);' % (tmp, rvalue)
try:
- self.visit(pointer.type, '%s[0]' % (lvalue,), '*__a%s->values[0]' % (pointer.tag,))
+ self.visit(pointer.type, '%s[0]' % (lvalue,), '*%s->values[0]' % (tmp,))
finally:
- print ' } else {'
- print ' %s = NULL;' % lvalue
print ' }'
def visitIntPointer(self, pointer, lvalue, rvalue):
print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, pointer, rvalue)
+ def visitObjPointer(self, pointer, lvalue, rvalue):
+ old_lvalue = '(%s).toUIntPtr()' % (rvalue,)
+ new_lvalue = '_obj_map[%s]' % (old_lvalue,)
+ print ' if (retrace::verbosity >= 2) {'
+ print ' std::cout << std::hex << "obj 0x" << size_t(%s) << " <- 0x" << size_t(%s) << std::dec <<"\\n";' % (old_lvalue, new_lvalue)
+ print ' }'
+ print ' %s = static_cast<%s>(%s);' % (lvalue, pointer, new_lvalue)
+
def visitLinearPointer(self, pointer, lvalue, rvalue):
print ' %s = static_cast<%s>(retrace::toPointer(%s));' % (lvalue, pointer, rvalue)
+ def visitReference(self, reference, lvalue, rvalue):
+ self.visit(reference.type, lvalue, rvalue);
+
def visitHandle(self, handle, lvalue, rvalue):
#OpaqueValueDeserializer().visit(handle.type, lvalue, rvalue);
self.visit(handle.type, lvalue, rvalue);
def visitString(self, string, lvalue, rvalue):
print ' %s = (%s)((%s).toString());' % (lvalue, string.expr, rvalue)
+ seq = 0
+
+ def visitStruct(self, struct, lvalue, rvalue):
+ tmp = '__s_' + struct.tag + '_' + str(self.seq)
+ self.seq += 1
+
+ print ' const trace::Struct *%s = dynamic_cast<const trace::Struct *>(&%s);' % (tmp, rvalue)
+ print ' assert(%s);' % (tmp)
+ for i in range(len(struct.members)):
+ member_type, member_name = struct.members[i]
+ self.visit(member_type, '%s.%s' % (lvalue, member_name), '*%s->members[%s]' % (tmp, i))
+
+ def visitPolymorphic(self, polymorphic, lvalue, rvalue):
+ self.visit(polymorphic.defaultType, lvalue, rvalue)
+
class OpaqueValueDeserializer(ValueDeserializer):
'''Value extractor that also understands opaque values.
def visitIntPointer(self, pointer, lvalue, rvalue):
pass
+ def visitObjPointer(self, pointer, lvalue, rvalue):
+ print r' _obj_map[(%s).toUIntPtr()] = %s;' % (rvalue, lvalue)
+
def visitLinearPointer(self, pointer, lvalue, rvalue):
assert pointer.size is not None
if pointer.size is not None:
print r' retrace::addRegion((%s).toUIntPtr(), %s, %s);' % (rvalue, lvalue, pointer.size)
+ def visitReference(self, reference, lvalue, rvalue):
+ pass
+
def visitHandle(self, handle, lvalue, rvalue):
print ' %s __orig_result;' % handle.type
OpaqueValueDeserializer().visit(handle.type, '__orig_result', rvalue);
def visitString(self, string, lvalue, rvalue):
pass
+ seq = 0
+
+ def visitStruct(self, struct, lvalue, rvalue):
+ tmp = '__s_' + struct.tag + '_' + str(self.seq)
+ self.seq += 1
+
+ print ' const trace::Struct *%s = dynamic_cast<const trace::Struct *>(&%s);' % (tmp, rvalue)
+ print ' assert(%s);' % (tmp,)
+ print ' (void)%s;' % (tmp,)
+ for i in range(len(struct.members)):
+ member_type, member_name = struct.members[i]
+ self.visit(member_type, '%s.%s' % (lvalue, member_name), '*%s->members[%s]' % (tmp, i))
+
+ def visitPolymorphic(self, polymorphic, lvalue, rvalue):
+ self.visit(polymorphic.defaultType, lvalue, rvalue)
+
class Retracer:
print '}'
print
+ def retraceInterfaceMethod(self, interface, method):
+ print 'static void retrace_%s__%s(trace::Call &call) {' % (interface.name, method.name)
+ self.retraceInterfaceMethodBody(interface, method)
+ print '}'
+ print
+
def retraceFunctionBody(self, function):
- if not function.sideeffects:
- print ' (void)call;'
- return
+ assert function.sideeffects
- if not method.sideeffects:
- print ' (void)call;'
- return
+ self.deserializeArgs(function)
+
+ self.invokeFunction(function)
+
+ self.swizzleValues(function)
+
+ def retraceInterfaceMethodBody(self, interface, method):
++ assert method.sideeffects
+
+ self.deserializeThisPointer(interface)
+
+ self.deserializeArgs(method)
+
+ self.invokeInterfaceMethod(interface, method)
+
+ self.swizzleValues(method)
+
+ def deserializeThisPointer(self, interface):
+ print r' %s *_this;' % (interface.name,)
+ print r' _this = static_cast<%s *>(_obj_map[call.arg(0).toUIntPtr()]);' % (interface.name,)
+ print r' if (!_this) {'
+ print r' retrace::warning(call) << "NULL this pointer\n";'
+ print r' return;'
+ print r' }'
+
+ def deserializeArgs(self, function):
print ' retrace::ScopedAllocator _allocator;'
print ' (void)_allocator;'
success = True
for arg in function.args:
- arg_type = ConstRemover().visit(arg.type)
- #print ' // %s -> %s' % (arg.type, arg_type)
+ arg_type = MutableRebuilder().visit(arg.type)
print ' %s %s;' % (arg_type, arg.name)
rvalue = 'call.arg(%u)' % (arg.index,)
lvalue = arg.name
try:
self.extractArg(function, arg, arg_type, lvalue, rvalue)
except NotImplementedError:
- success = False
- print ' %s = 0; // FIXME' % arg.name
+ success = False
+ print ' memset(&%s, 0, sizeof %s); // FIXME' % (arg.name, arg.name)
+ print
+
if not success:
print ' if (1) {'
self.failFunction(function)
+ if function.name[-1].islower():
+ sys.stderr.write('warning: unsupported %s call\n' % function.name)
print ' }'
- self.invokeFunction(function)
+
+ def swizzleValues(self, function):
for arg in function.args:
if arg.output:
- arg_type = ConstRemover().visit(arg.type)
+ arg_type = MutableRebuilder().visit(arg.type)
rvalue = 'call.arg(%u)' % (arg.index,)
lvalue = arg.name
try:
try:
self.regiterSwizzledValue(function.type, lvalue, rvalue)
except NotImplementedError:
+ raise
print ' // XXX: result'
- if not success:
- if function.name[-1].islower():
- sys.stderr.write('warning: unsupported %s call\n' % function.name)
def failFunction(self, function):
print ' if (retrace::verbosity >= 0) {'
print ' return;'
def extractArg(self, function, arg, arg_type, lvalue, rvalue):
- ValueDeserializer().visit(arg_type, lvalue, rvalue)
+ ValueAllocator().visit(arg_type, lvalue, rvalue)
+ if arg.input:
+ ValueDeserializer().visit(arg_type, lvalue, rvalue)
def extractOpaqueArg(self, function, arg, arg_type, lvalue, rvalue):
+ try:
+ ValueAllocator().visit(arg_type, lvalue, rvalue)
+ except NotImplementedError:
+ pass
OpaqueValueDeserializer().visit(arg_type, lvalue, rvalue)
def regiterSwizzledValue(self, type, lvalue, rvalue):
else:
print ' %s(%s);' % (function.name, arg_names)
+ def invokeInterfaceMethod(self, interface, method):
+ arg_names = ", ".join(method.argNames())
+ if method.type is not stdapi.Void:
+ print ' %s __result;' % (method.type)
+ print ' __result = _this->%s(%s);' % (method.name, arg_names)
+ print ' (void)__result;'
+ else:
+ print ' _this->%s(%s);' % (method.name, arg_names)
+
def filterFunction(self, function):
return True
table_name = 'retrace::callbacks'
- def retraceFunctions(self, functions):
- functions = filter(self.filterFunction, functions)
-
- for function in functions:
- if function.sideeffects:
- self.retraceFunction(function)
-
- print 'const retrace::Entry %s[] = {' % self.table_name
- for function in functions:
- if function.sideeffects:
- print ' {"%s", &retrace_%s},' % (function.name, function.name)
- else:
- print ' {"%s", &retrace::ignore},' % (function.name,)
- print ' {NULL, NULL}'
- print '};'
- print
-
-
def retraceApi(self, api):
print '#include "os_time.hpp"'
handle_names.add(handle.name)
print
- self.retraceFunctions(api.functions)
+ print 'static std::map<unsigned long long, void *> _obj_map;'
+ print
+
+ functions = filter(self.filterFunction, api.functions)
+ for function in functions:
- self.retraceFunction(function)
++ if function.sideeffects:
++ self.retraceFunction(function)
+ interfaces = api.getAllInterfaces()
+ for interface in interfaces:
+ for method in interface.iterMethods():
- self.retraceInterfaceMethod(interface, method)
++ if method.sideeffects:
++ self.retraceInterfaceMethod(interface, method)
+
+ print 'const retrace::Entry %s[] = {' % self.table_name
+ for function in functions:
- print ' {"%s", &retrace_%s},' % (function.name, function.name)
++ if function.sideeffects:
++ print ' {"%s", &retrace_%s},' % (function.name, function.name)
++ else:
++ print ' {"%s", &retrace::ignore},' % (function.name,)
+ for interface in interfaces:
- for method in interface.iterMethods():
- print ' {"%s::%s", &retrace_%s__%s},' % (interface.name, method.name, interface.name, method.name)
++ for method in interface.iterMethods():
++ if method.sideeffects:
++ print ' {"%s::%s", &retrace_%s__%s},' % (interface.name, method.name, interface.name, method.name)
++ else:
++ print ' {"%s::%s", &retrace::ignore},' % (interface.name, method.name)
+ print ' {NULL, NULL}'
+ print '};'
+ print
def visitIntPointer(self, pointer):
pass
+ def visitObjPointer(self, pointer):
+ self.visit(pointer.type)
+
def visitLinearPointer(self, pointer):
self.visit(pointer.type)
def visitHandle(self, handle):
self.visit(handle.type)
+ def visitReference(self, reference):
+ self.visit(reference.type)
+
def visitAlias(self, alias):
self.visit(alias.type)
def visitIntPointer(self, pointer, instance):
print ' trace::localWriter.writeOpaque((const void *)%s);' % instance
+ def visitObjPointer(self, pointer, instance):
+ print ' trace::localWriter.writeOpaque((const void *)%s);' % instance
+
def visitLinearPointer(self, pointer, instance):
print ' trace::localWriter.writeOpaque((const void *)%s);' % instance
+ def visitReference(self, reference, instance):
+ self.visit(reference.type, instance)
+
def visitHandle(self, handle, instance):
self.visit(handle.type, instance)
def visitIntPointer(self, pointer, instance):
pass
+ def visitObjPointer(self, pointer, instance):
+ print " if (%s) {" % instance
+ self.visit(pointer.type, "*" + instance)
+ print " }"
+
def visitLinearPointer(self, pointer, instance):
pass
+ def visitReference(self, reference, instance):
+ self.visit(reference.type, instance)
+
def visitHandle(self, handle, instance):
self.visit(handle.type, instance)
self.wrapArg(method, arg)
if riid is not None and isinstance(arg.type, Pointer):
if isinstance(arg.type.type, Opaque):
- self.wrapIid(riid, arg)
+ self.wrapIid(interface, method, riid, arg)
else:
assert isinstance(arg.type.type, Pointer)
assert isinstance(arg.type.type.type, Interface)
print ' if (!__result)'
print ' delete this;'
- def wrapIid(self, riid, out):
+ def wrapIid(self, interface, method, riid, out):
print ' if (%s && *%s) {' % (out.name, out.name)
print ' if (*%s == m_pInstance) {' % (out.name,)
print ' *%s = this;' % (out.name,)
print r' *%s = new Wrap%s((%s *) *%s);' % (out.name, iface.name, iface.name, out.name)
print r' }'
print r' else {'
- print r' os::log("apitrace: warning: %s: unknown REFIID {0x%08lX,0x%04X,0x%04X,{0x%02X,0x%02X,0x%02X,0x%02X,0x%02X,0x%02X,0x%02X,0x%02X}}\n",'
- print r' __FUNCTION__,'
+ print r' os::log("apitrace: warning: %s::%s: unknown IID {0x%08lX,0x%04X,0x%04X,{0x%02X,0x%02X,0x%02X,0x%02X,0x%02X,0x%02X,0x%02X,0x%02X}}\n",'
+ print r' "%s", "%s",' % (interface.name, method.name)
print r' %s.Data1, %s.Data2, %s.Data3,' % (riid.name, riid.name, riid.name)
print r' %s.Data4[0],' % (riid.name,)
print r' %s.Data4[1],' % (riid.name,)