José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 1 | ########################################################################## |
| 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é Fonseca | 4a826ed | 2010-11-30 16:58:22 +0000 | [diff] [blame] | 27 | """Generic retracing code generator.""" |
| 28 | |
José Fonseca | 0a37edf | 2011-10-09 09:45:22 +0100 | [diff] [blame] | 29 | |
José Fonseca | 9d27a54 | 2012-04-14 17:22:57 +0100 | [diff] [blame] | 30 | # Adjust path |
| 31 | import os.path |
José Fonseca | 0a37edf | 2011-10-09 09:45:22 +0100 | [diff] [blame] | 32 | import sys |
José Fonseca | 9d27a54 | 2012-04-14 17:22:57 +0100 | [diff] [blame] | 33 | sys.path.insert(0, os.path.join(os.path.dirname(__file__), '..')) |
| 34 | |
José Fonseca | 0a37edf | 2011-10-09 09:45:22 +0100 | [diff] [blame] | 35 | |
José Fonseca | bd86a22 | 2011-09-27 09:21:38 +0100 | [diff] [blame] | 36 | import specs.stdapi as stdapi |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 37 | |
| 38 | |
José Fonseca | 2672a7d | 2012-04-14 15:17:12 +0100 | [diff] [blame] | 39 | class UnsupportedType(Exception): |
| 40 | pass |
| 41 | |
| 42 | |
Cass Everitt | 3b595cb | 2013-06-19 19:30:32 -0500 | [diff] [blame] | 43 | def lookupHandle(handle, value, lval=False): |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 44 | if handle.key is None: |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 45 | return "_%s_map[%s]" % (handle.name, value) |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 46 | else: |
| 47 | key_name, key_type = handle.key |
Cass Everitt | 3b595cb | 2013-06-19 19:30:32 -0500 | [diff] [blame] | 48 | if handle.name == "location" and lval == False: |
| 49 | return "_location_map[%s].lookupUniformLocation(%s)" % (key_name, value) |
| 50 | else: |
| 51 | return "_%s_map[%s][%s]" % (handle.name, key_name, value) |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 52 | |
| 53 | |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 54 | class ValueAllocator(stdapi.Visitor): |
| 55 | |
| 56 | def visitLiteral(self, literal, lvalue, rvalue): |
| 57 | pass |
| 58 | |
| 59 | def visitConst(self, const, lvalue, rvalue): |
| 60 | self.visit(const.type, lvalue, rvalue) |
| 61 | |
| 62 | def visitAlias(self, alias, lvalue, rvalue): |
| 63 | self.visit(alias.type, lvalue, rvalue) |
| 64 | |
| 65 | def visitEnum(self, enum, lvalue, rvalue): |
| 66 | pass |
| 67 | |
| 68 | def visitBitmask(self, bitmask, lvalue, rvalue): |
| 69 | pass |
| 70 | |
| 71 | def visitArray(self, array, lvalue, rvalue): |
José Fonseca | 915d4da | 2014-09-05 11:55:17 +0100 | [diff] [blame] | 72 | print ' %s = _allocator.allocArray<%s>(&%s);' % (lvalue, array.type, rvalue) |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 73 | |
| 74 | def visitPointer(self, pointer, lvalue, rvalue): |
José Fonseca | 915d4da | 2014-09-05 11:55:17 +0100 | [diff] [blame] | 75 | print ' %s = _allocator.allocArray<%s>(&%s);' % (lvalue, pointer.type, rvalue) |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 76 | |
| 77 | def visitIntPointer(self, pointer, lvalue, rvalue): |
| 78 | pass |
| 79 | |
| 80 | def visitObjPointer(self, pointer, lvalue, rvalue): |
| 81 | pass |
| 82 | |
| 83 | def visitLinearPointer(self, pointer, lvalue, rvalue): |
| 84 | pass |
| 85 | |
| 86 | def visitReference(self, reference, lvalue, rvalue): |
| 87 | self.visit(reference.type, lvalue, rvalue); |
| 88 | |
| 89 | def visitHandle(self, handle, lvalue, rvalue): |
| 90 | pass |
| 91 | |
| 92 | def visitBlob(self, blob, lvalue, rvalue): |
| 93 | pass |
| 94 | |
| 95 | def visitString(self, string, lvalue, rvalue): |
| 96 | pass |
| 97 | |
| 98 | def visitStruct(self, struct, lvalue, rvalue): |
| 99 | pass |
| 100 | |
| 101 | def visitPolymorphic(self, polymorphic, lvalue, rvalue): |
José Fonseca | dbf714b | 2012-11-20 17:03:43 +0000 | [diff] [blame] | 102 | assert polymorphic.defaultType is not None |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 103 | self.visit(polymorphic.defaultType, lvalue, rvalue) |
| 104 | |
José Fonseca | 2672a7d | 2012-04-14 15:17:12 +0100 | [diff] [blame] | 105 | def visitOpaque(self, opaque, lvalue, rvalue): |
| 106 | pass |
| 107 | |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 108 | |
José Fonseca | dbf714b | 2012-11-20 17:03:43 +0000 | [diff] [blame] | 109 | class ValueDeserializer(stdapi.Visitor, stdapi.ExpanderMixin): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 110 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 111 | def visitLiteral(self, literal, lvalue, rvalue): |
José Fonseca | 2f2ea48 | 2011-10-15 15:10:06 +0100 | [diff] [blame] | 112 | print ' %s = (%s).to%s();' % (lvalue, rvalue, literal.kind) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 113 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 114 | def visitConst(self, const, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 115 | self.visit(const.type, lvalue, rvalue) |
| 116 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 117 | def visitAlias(self, alias, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 118 | self.visit(alias.type, lvalue, rvalue) |
| 119 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 120 | def visitEnum(self, enum, lvalue, rvalue): |
José Fonseca | 96ce600 | 2012-04-02 08:10:48 +0200 | [diff] [blame] | 121 | print ' %s = static_cast<%s>((%s).toSInt());' % (lvalue, enum, rvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 122 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 123 | def visitBitmask(self, bitmask, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 124 | self.visit(bitmask.type, lvalue, rvalue) |
| 125 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 126 | def visitArray(self, array, lvalue, rvalue): |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 127 | tmp = '_a_' + array.tag + '_' + str(self.seq) |
José Fonseca | 68013c9 | 2012-04-05 19:58:38 +0100 | [diff] [blame] | 128 | self.seq += 1 |
| 129 | |
Jose Fonseca | f48264d | 2015-07-17 17:00:23 +0100 | [diff] [blame] | 130 | print ' const trace::Array *%s = (%s).toArray();' % (tmp, rvalue) |
| 131 | print ' if (%s) {' % (tmp,) |
Jose Fonseca | 41efd94 | 2015-06-10 22:54:18 +0100 | [diff] [blame] | 132 | |
Jose Fonseca | f48264d | 2015-07-17 17:00:23 +0100 | [diff] [blame] | 133 | length = '%s->values.size()' % (tmp,) |
Jose Fonseca | 41efd94 | 2015-06-10 22:54:18 +0100 | [diff] [blame] | 134 | if self.insideStruct: |
| 135 | if isinstance(array.length, int): |
| 136 | # Member is an array |
| 137 | print r' static_assert( std::is_array< std::remove_reference< decltype( %s ) >::type >::value , "lvalue must be an array" );' % lvalue |
| 138 | print r' static_assert( std::extent< std::remove_reference< decltype( %s ) >::type >::value == %s, "array size mismatch" );' % (lvalue, array.length) |
Jose Fonseca | f48264d | 2015-07-17 17:00:23 +0100 | [diff] [blame] | 139 | print r' assert( %s );' % (tmp,) |
| 140 | print r' assert( %s->size() == %s );' % (tmp, array.length) |
| 141 | length = str(array.length) |
Jose Fonseca | 41efd94 | 2015-06-10 22:54:18 +0100 | [diff] [blame] | 142 | else: |
| 143 | # Member is a pointer to an array, hence must be allocated |
| 144 | print r' static_assert( std::is_pointer< std::remove_reference< decltype( %s ) >::type >::value , "lvalue must be a pointer" );' % lvalue |
| 145 | print r' %s = _allocator.allocArray<%s>(&%s);' % (lvalue, array.type, rvalue) |
| 146 | |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 147 | index = '_j' + array.tag |
José Fonseca | dbaae49 | 2011-04-21 09:28:10 +0100 | [diff] [blame] | 148 | print ' for (size_t {i} = 0; {i} < {length}; ++{i}) {{'.format(i = index, length = length) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 149 | try: |
José Fonseca | 68013c9 | 2012-04-05 19:58:38 +0100 | [diff] [blame] | 150 | self.visit(array.type, '%s[%s]' % (lvalue, index), '*%s->values[%s]' % (tmp, index)) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 151 | finally: |
| 152 | print ' }' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 153 | print ' }' |
| 154 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 155 | def visitPointer(self, pointer, lvalue, rvalue): |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 156 | tmp = '_a_' + pointer.tag + '_' + str(self.seq) |
José Fonseca | 68013c9 | 2012-04-05 19:58:38 +0100 | [diff] [blame] | 157 | self.seq += 1 |
| 158 | |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 159 | print ' if (%s) {' % (lvalue,) |
Nigel Stewart | abaef29 | 2013-07-10 09:01:01 -0500 | [diff] [blame] | 160 | print ' const trace::Array *%s = (%s).toArray();' % (tmp, rvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 161 | try: |
José Fonseca | 68013c9 | 2012-04-05 19:58:38 +0100 | [diff] [blame] | 162 | self.visit(pointer.type, '%s[0]' % (lvalue,), '*%s->values[0]' % (tmp,)) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 163 | finally: |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 164 | print ' }' |
| 165 | |
José Fonseca | 59ee88e | 2012-01-15 14:24:10 +0000 | [diff] [blame] | 166 | def visitIntPointer(self, pointer, lvalue, rvalue): |
| 167 | print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, pointer, rvalue) |
| 168 | |
José Fonseca | fbcf683 | 2012-04-05 07:10:30 +0100 | [diff] [blame] | 169 | def visitObjPointer(self, pointer, lvalue, rvalue): |
José Fonseca | 915d4da | 2014-09-05 11:55:17 +0100 | [diff] [blame] | 170 | print ' %s = retrace::asObjPointer<%s>(call, %s);' % (lvalue, pointer.type, rvalue) |
José Fonseca | fbcf683 | 2012-04-05 07:10:30 +0100 | [diff] [blame] | 171 | |
José Fonseca | 59ee88e | 2012-01-15 14:24:10 +0000 | [diff] [blame] | 172 | def visitLinearPointer(self, pointer, lvalue, rvalue): |
| 173 | print ' %s = static_cast<%s>(retrace::toPointer(%s));' % (lvalue, pointer, rvalue) |
| 174 | |
José Fonseca | b89c593 | 2012-04-01 22:47:11 +0200 | [diff] [blame] | 175 | def visitReference(self, reference, lvalue, rvalue): |
| 176 | self.visit(reference.type, lvalue, rvalue); |
| 177 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 178 | def visitHandle(self, handle, lvalue, rvalue): |
José Fonseca | 59ee88e | 2012-01-15 14:24:10 +0000 | [diff] [blame] | 179 | #OpaqueValueDeserializer().visit(handle.type, lvalue, rvalue); |
| 180 | self.visit(handle.type, lvalue, rvalue); |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 181 | new_lvalue = lookupHandle(handle, lvalue) |
José Fonseca | 031b738 | 2011-05-10 20:36:40 +0100 | [diff] [blame] | 182 | print ' if (retrace::verbosity >= 2) {' |
José Fonseca | a10af89 | 2011-04-11 09:10:55 +0100 | [diff] [blame] | 183 | print ' std::cout << "%s " << size_t(%s) << " <- " << size_t(%s) << "\\n";' % (handle.name, lvalue, new_lvalue) |
José Fonseca | 031b738 | 2011-05-10 20:36:40 +0100 | [diff] [blame] | 184 | print ' }' |
Carl Worth | 3700777 | 2012-08-28 11:45:52 -0700 | [diff] [blame] | 185 | if (new_lvalue.startswith('_program_map') or new_lvalue.startswith('_shader_map')): |
| 186 | print 'if (glretrace::supportsARBShaderObjects) {' |
| 187 | print ' %s = _handleARB_map[%s];' % (lvalue, lvalue) |
| 188 | print '} else {' |
| 189 | print ' %s = %s;' % (lvalue, new_lvalue) |
| 190 | print '}' |
| 191 | else: |
| 192 | print ' %s = %s;' % (lvalue, new_lvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 193 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 194 | def visitBlob(self, blob, lvalue, rvalue): |
José Fonseca | 7ebb9e2 | 2011-05-06 09:58:45 +0100 | [diff] [blame] | 195 | print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, blob, rvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 196 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 197 | def visitString(self, string, lvalue, rvalue): |
José Fonseca | 7ebb9e2 | 2011-05-06 09:58:45 +0100 | [diff] [blame] | 198 | print ' %s = (%s)((%s).toString());' % (lvalue, string.expr, rvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 199 | |
José Fonseca | a65a23a | 2012-04-02 08:10:06 +0200 | [diff] [blame] | 200 | seq = 0 |
| 201 | |
Jose Fonseca | 41efd94 | 2015-06-10 22:54:18 +0100 | [diff] [blame] | 202 | insideStruct = 0 |
| 203 | |
José Fonseca | a65a23a | 2012-04-02 08:10:06 +0200 | [diff] [blame] | 204 | def visitStruct(self, struct, lvalue, rvalue): |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 205 | tmp = '_s_' + struct.tag + '_' + str(self.seq) |
José Fonseca | a65a23a | 2012-04-02 08:10:06 +0200 | [diff] [blame] | 206 | self.seq += 1 |
| 207 | |
Jose Fonseca | 41efd94 | 2015-06-10 22:54:18 +0100 | [diff] [blame] | 208 | self.insideStruct += 1 |
| 209 | |
Nigel Stewart | abaef29 | 2013-07-10 09:01:01 -0500 | [diff] [blame] | 210 | print ' const trace::Struct *%s = (%s).toStruct();' % (tmp, rvalue) |
José Fonseca | a65a23a | 2012-04-02 08:10:06 +0200 | [diff] [blame] | 211 | print ' assert(%s);' % (tmp) |
José Fonseca | a65a23a | 2012-04-02 08:10:06 +0200 | [diff] [blame] | 212 | for i in range(len(struct.members)): |
José Fonseca | dbf714b | 2012-11-20 17:03:43 +0000 | [diff] [blame] | 213 | member = struct.members[i] |
| 214 | self.visitMember(member, lvalue, '*%s->members[%s]' % (tmp, i)) |
José Fonseca | a65a23a | 2012-04-02 08:10:06 +0200 | [diff] [blame] | 215 | |
Jose Fonseca | 41efd94 | 2015-06-10 22:54:18 +0100 | [diff] [blame] | 216 | self.insideStruct -= 1 |
| 217 | |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 218 | def visitPolymorphic(self, polymorphic, lvalue, rvalue): |
José Fonseca | eb216e6 | 2012-11-20 11:08:08 +0000 | [diff] [blame] | 219 | if polymorphic.defaultType is None: |
José Fonseca | dbf714b | 2012-11-20 17:03:43 +0000 | [diff] [blame] | 220 | switchExpr = self.expand(polymorphic.switchExpr) |
| 221 | print r' switch (%s) {' % switchExpr |
| 222 | for cases, type in polymorphic.iterSwitch(): |
| 223 | for case in cases: |
| 224 | print r' %s:' % case |
| 225 | caseLvalue = lvalue |
| 226 | if type.expr is not None: |
| 227 | caseLvalue = 'static_cast<%s>(%s)' % (type, caseLvalue) |
| 228 | print r' {' |
| 229 | try: |
| 230 | self.visit(type, caseLvalue, rvalue) |
| 231 | finally: |
| 232 | print r' }' |
| 233 | print r' break;' |
| 234 | if polymorphic.defaultType is None: |
| 235 | print r' default:' |
| 236 | print r' retrace::warning(call) << "unexpected polymorphic case" << %s << "\n";' % (switchExpr,) |
| 237 | print r' break;' |
| 238 | print r' }' |
| 239 | else: |
| 240 | self.visit(polymorphic.defaultType, lvalue, rvalue) |
José Fonseca | 2672a7d | 2012-04-14 15:17:12 +0100 | [diff] [blame] | 241 | |
| 242 | def visitOpaque(self, opaque, lvalue, rvalue): |
| 243 | raise UnsupportedType |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 244 | |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 245 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 246 | class OpaqueValueDeserializer(ValueDeserializer): |
José Fonseca | a10af89 | 2011-04-11 09:10:55 +0100 | [diff] [blame] | 247 | '''Value extractor that also understands opaque values. |
| 248 | |
| 249 | Normally opaque values can't be retraced, unless they are being extracted |
| 250 | in the context of handles.''' |
| 251 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 252 | def visitOpaque(self, opaque, lvalue, rvalue): |
José Fonseca | 46a4839 | 2011-10-14 11:34:27 +0100 | [diff] [blame] | 253 | print ' %s = static_cast<%s>(retrace::toPointer(%s));' % (lvalue, opaque, rvalue) |
José Fonseca | a10af89 | 2011-04-11 09:10:55 +0100 | [diff] [blame] | 254 | |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 255 | |
José Fonseca | dbf714b | 2012-11-20 17:03:43 +0000 | [diff] [blame] | 256 | class SwizzledValueRegistrator(stdapi.Visitor, stdapi.ExpanderMixin): |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 257 | '''Type visitor which will register (un)swizzled value pairs, to later be |
| 258 | swizzled.''' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 259 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 260 | def visitLiteral(self, literal, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 261 | pass |
| 262 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 263 | def visitAlias(self, alias, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 264 | self.visit(alias.type, lvalue, rvalue) |
| 265 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 266 | def visitEnum(self, enum, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 267 | pass |
| 268 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 269 | def visitBitmask(self, bitmask, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 270 | pass |
| 271 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 272 | def visitArray(self, array, lvalue, rvalue): |
Nigel Stewart | abaef29 | 2013-07-10 09:01:01 -0500 | [diff] [blame] | 273 | print ' const trace::Array *_a%s = (%s).toArray();' % (array.tag, rvalue) |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 274 | print ' if (_a%s) {' % (array.tag) |
| 275 | length = '_a%s->values.size()' % array.tag |
| 276 | index = '_j' + array.tag |
José Fonseca | dbaae49 | 2011-04-21 09:28:10 +0100 | [diff] [blame] | 277 | print ' for (size_t {i} = 0; {i} < {length}; ++{i}) {{'.format(i = index, length = length) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 278 | try: |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 279 | self.visit(array.type, '%s[%s]' % (lvalue, index), '*_a%s->values[%s]' % (array.tag, index)) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 280 | finally: |
| 281 | print ' }' |
| 282 | print ' }' |
| 283 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 284 | def visitPointer(self, pointer, lvalue, rvalue): |
Nigel Stewart | abaef29 | 2013-07-10 09:01:01 -0500 | [diff] [blame] | 285 | print ' const trace::Array *_a%s = (%s).toArray();' % (pointer.tag, rvalue) |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 286 | print ' if (_a%s) {' % (pointer.tag) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 287 | try: |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 288 | self.visit(pointer.type, '%s[0]' % (lvalue,), '*_a%s->values[0]' % (pointer.tag,)) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 289 | finally: |
| 290 | print ' }' |
| 291 | |
José Fonseca | 59ee88e | 2012-01-15 14:24:10 +0000 | [diff] [blame] | 292 | def visitIntPointer(self, pointer, lvalue, rvalue): |
| 293 | pass |
| 294 | |
José Fonseca | fbcf683 | 2012-04-05 07:10:30 +0100 | [diff] [blame] | 295 | def visitObjPointer(self, pointer, lvalue, rvalue): |
José Fonseca | d8068b3 | 2012-11-13 21:37:42 +0000 | [diff] [blame] | 296 | print r' retrace::addObj(call, %s, %s);' % (rvalue, lvalue) |
José Fonseca | fbcf683 | 2012-04-05 07:10:30 +0100 | [diff] [blame] | 297 | |
José Fonseca | 59ee88e | 2012-01-15 14:24:10 +0000 | [diff] [blame] | 298 | def visitLinearPointer(self, pointer, lvalue, rvalue): |
| 299 | assert pointer.size is not None |
| 300 | if pointer.size is not None: |
Jose Fonseca | e05718d | 2015-05-20 10:22:56 +0100 | [diff] [blame] | 301 | print r' retrace::addRegion(call, (%s).toUIntPtr(), %s, %s);' % (rvalue, lvalue, pointer.size) |
José Fonseca | 59ee88e | 2012-01-15 14:24:10 +0000 | [diff] [blame] | 302 | |
José Fonseca | b89c593 | 2012-04-01 22:47:11 +0200 | [diff] [blame] | 303 | def visitReference(self, reference, lvalue, rvalue): |
| 304 | pass |
| 305 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 306 | def visitHandle(self, handle, lvalue, rvalue): |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 307 | print ' %s _origResult;' % handle.type |
| 308 | OpaqueValueDeserializer().visit(handle.type, '_origResult', rvalue); |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 309 | if handle.range is None: |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 310 | rvalue = "_origResult" |
Cass Everitt | 3b595cb | 2013-06-19 19:30:32 -0500 | [diff] [blame] | 311 | entry = lookupHandle(handle, rvalue, True) |
Carl Worth | 3700777 | 2012-08-28 11:45:52 -0700 | [diff] [blame] | 312 | if (entry.startswith('_program_map') or entry.startswith('_shader_map')): |
| 313 | print 'if (glretrace::supportsARBShaderObjects) {' |
| 314 | print ' _handleARB_map[%s] = %s;' % (rvalue, lvalue) |
| 315 | print '} else {' |
| 316 | print ' %s = %s;' % (entry, lvalue) |
| 317 | print '}' |
| 318 | else: |
| 319 | print " %s = %s;" % (entry, lvalue) |
José Fonseca | 031b738 | 2011-05-10 20:36:40 +0100 | [diff] [blame] | 320 | print ' if (retrace::verbosity >= 2) {' |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 321 | print ' std::cout << "{handle.name} " << {rvalue} << " -> " << {lvalue} << "\\n";'.format(**locals()) |
José Fonseca | 031b738 | 2011-05-10 20:36:40 +0100 | [diff] [blame] | 322 | print ' }' |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 323 | else: |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 324 | i = '_h' + handle.tag |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 325 | lvalue = "%s + %s" % (lvalue, i) |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 326 | rvalue = "_origResult + %s" % (i,) |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 327 | entry = lookupHandle(handle, rvalue) |
José Fonseca | dbaae49 | 2011-04-21 09:28:10 +0100 | [diff] [blame] | 328 | print ' for ({handle.type} {i} = 0; {i} < {handle.range}; ++{i}) {{'.format(**locals()) |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 329 | print ' {entry} = {lvalue};'.format(**locals()) |
José Fonseca | 031b738 | 2011-05-10 20:36:40 +0100 | [diff] [blame] | 330 | print ' if (retrace::verbosity >= 2) {' |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 331 | print ' std::cout << "{handle.name} " << ({rvalue}) << " -> " << ({lvalue}) << "\\n";'.format(**locals()) |
José Fonseca | 031b738 | 2011-05-10 20:36:40 +0100 | [diff] [blame] | 332 | print ' }' |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 333 | print ' }' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 334 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 335 | def visitBlob(self, blob, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 336 | pass |
| 337 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 338 | def visitString(self, string, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 339 | pass |
| 340 | |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 341 | seq = 0 |
| 342 | |
| 343 | def visitStruct(self, struct, lvalue, rvalue): |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 344 | tmp = '_s_' + struct.tag + '_' + str(self.seq) |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 345 | self.seq += 1 |
| 346 | |
Nigel Stewart | abaef29 | 2013-07-10 09:01:01 -0500 | [diff] [blame] | 347 | print ' const trace::Struct *%s = (%s).toStruct();' % (tmp, rvalue) |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 348 | print ' assert(%s);' % (tmp,) |
| 349 | print ' (void)%s;' % (tmp,) |
| 350 | for i in range(len(struct.members)): |
José Fonseca | dbf714b | 2012-11-20 17:03:43 +0000 | [diff] [blame] | 351 | member = struct.members[i] |
| 352 | self.visitMember(member, lvalue, '*%s->members[%s]' % (tmp, i)) |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 353 | |
| 354 | def visitPolymorphic(self, polymorphic, lvalue, rvalue): |
José Fonseca | dbf714b | 2012-11-20 17:03:43 +0000 | [diff] [blame] | 355 | assert polymorphic.defaultType is not None |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 356 | self.visit(polymorphic.defaultType, lvalue, rvalue) |
José Fonseca | 2672a7d | 2012-04-14 15:17:12 +0100 | [diff] [blame] | 357 | |
| 358 | def visitOpaque(self, opaque, lvalue, rvalue): |
| 359 | pass |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 360 | |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 361 | |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 362 | class Retracer: |
| 363 | |
Jose Fonseca | fdcd30b | 2016-02-01 14:13:40 +0000 | [diff] [blame^] | 364 | def makeFunctionId(self, function): |
| 365 | name = function.name |
| 366 | if function.overloaded: |
| 367 | # TODO: Use a sequence number |
| 368 | name += '__%08x' % (hash(function) & 0xffffffff) |
| 369 | return name |
| 370 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 371 | def retraceFunction(self, function): |
Jose Fonseca | fdcd30b | 2016-02-01 14:13:40 +0000 | [diff] [blame^] | 372 | print 'static void retrace_%s(trace::Call &call) {' % self.makeFunctionId(function) |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 373 | self.retraceFunctionBody(function) |
José Fonseca | 6221297 | 2011-03-23 13:22:55 +0000 | [diff] [blame] | 374 | print '}' |
| 375 | print |
| 376 | |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 377 | def retraceInterfaceMethod(self, interface, method): |
Jose Fonseca | fdcd30b | 2016-02-01 14:13:40 +0000 | [diff] [blame^] | 378 | print 'static void retrace_%s__%s(trace::Call &call) {' % (interface.name, self.makeFunctionId(method)) |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 379 | self.retraceInterfaceMethodBody(interface, method) |
| 380 | print '}' |
| 381 | print |
| 382 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 383 | def retraceFunctionBody(self, function): |
José Fonseca | dd27f9f | 2012-04-13 13:57:23 +0100 | [diff] [blame] | 384 | assert function.sideeffects |
José Fonseca | 4d7f1fe | 2011-05-09 20:54:31 +0100 | [diff] [blame] | 385 | |
José Fonseca | 7c7c906 | 2012-04-27 13:02:08 +0100 | [diff] [blame] | 386 | if function.type is not stdapi.Void: |
| 387 | self.checkOrigResult(function) |
| 388 | |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 389 | self.deserializeArgs(function) |
| 390 | |
José Fonseca | 3db3b2f | 2012-05-11 14:55:50 +0100 | [diff] [blame] | 391 | self.declareRet(function) |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 392 | self.invokeFunction(function) |
| 393 | |
| 394 | self.swizzleValues(function) |
| 395 | |
| 396 | def retraceInterfaceMethodBody(self, interface, method): |
José Fonseca | 1da480d | 2012-04-13 17:36:19 +0100 | [diff] [blame] | 397 | assert method.sideeffects |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 398 | |
José Fonseca | 7c7c906 | 2012-04-27 13:02:08 +0100 | [diff] [blame] | 399 | if method.type is not stdapi.Void: |
| 400 | self.checkOrigResult(method) |
| 401 | |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 402 | self.deserializeThisPointer(interface) |
| 403 | |
| 404 | self.deserializeArgs(method) |
| 405 | |
José Fonseca | 3db3b2f | 2012-05-11 14:55:50 +0100 | [diff] [blame] | 406 | self.declareRet(method) |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 407 | self.invokeInterfaceMethod(interface, method) |
| 408 | |
| 409 | self.swizzleValues(method) |
| 410 | |
José Fonseca | 7c7c906 | 2012-04-27 13:02:08 +0100 | [diff] [blame] | 411 | def checkOrigResult(self, function): |
| 412 | '''Hook for checking the original result, to prevent succeeding now |
| 413 | where the original did not, which would cause diversion and potentially |
| 414 | unpredictable results.''' |
| 415 | |
| 416 | assert function.type is not stdapi.Void |
| 417 | |
| 418 | if str(function.type) == 'HRESULT': |
| 419 | print r' if (call.ret && FAILED(call.ret->toSInt())) {' |
| 420 | print r' return;' |
| 421 | print r' }' |
| 422 | |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 423 | def deserializeThisPointer(self, interface): |
José Fonseca | dc27937 | 2012-04-05 19:58:20 +0100 | [diff] [blame] | 424 | print r' %s *_this;' % (interface.name,) |
José Fonseca | 915d4da | 2014-09-05 11:55:17 +0100 | [diff] [blame] | 425 | print r' _this = retrace::asObjPointer<%s>(call, call.arg(0));' % (interface.name,) |
José Fonseca | dc27937 | 2012-04-05 19:58:20 +0100 | [diff] [blame] | 426 | print r' if (!_this) {' |
José Fonseca | dc27937 | 2012-04-05 19:58:20 +0100 | [diff] [blame] | 427 | print r' return;' |
| 428 | print r' }' |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 429 | |
| 430 | def deserializeArgs(self, function): |
José Fonseca | d994cf0 | 2011-11-03 19:35:53 +0000 | [diff] [blame] | 431 | print ' retrace::ScopedAllocator _allocator;' |
| 432 | print ' (void)_allocator;' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 433 | success = True |
| 434 | for arg in function.args: |
José Fonseca | 0075f15 | 2012-04-14 20:25:52 +0100 | [diff] [blame] | 435 | arg_type = arg.type.mutable() |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 436 | print ' %s %s;' % (arg_type, arg.name) |
| 437 | rvalue = 'call.arg(%u)' % (arg.index,) |
| 438 | lvalue = arg.name |
| 439 | try: |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 440 | self.extractArg(function, arg, arg_type, lvalue, rvalue) |
José Fonseca | 2672a7d | 2012-04-14 15:17:12 +0100 | [diff] [blame] | 441 | except UnsupportedType: |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 442 | success = False |
José Fonseca | 2d216ae | 2012-04-01 22:48:24 +0200 | [diff] [blame] | 443 | print ' memset(&%s, 0, sizeof %s); // FIXME' % (arg.name, arg.name) |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 444 | print |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 445 | |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 446 | if not success: |
José Fonseca | 9109c3a | 2011-05-24 19:31:26 +0100 | [diff] [blame] | 447 | print ' if (1) {' |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 448 | self.failFunction(function) |
José Fonseca | eb216e6 | 2012-11-20 11:08:08 +0000 | [diff] [blame] | 449 | sys.stderr.write('warning: unsupported %s call\n' % function.name) |
José Fonseca | 9109c3a | 2011-05-24 19:31:26 +0100 | [diff] [blame] | 450 | print ' }' |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 451 | |
| 452 | def swizzleValues(self, function): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 453 | for arg in function.args: |
| 454 | if arg.output: |
José Fonseca | 0075f15 | 2012-04-14 20:25:52 +0100 | [diff] [blame] | 455 | arg_type = arg.type.mutable() |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 456 | rvalue = 'call.arg(%u)' % (arg.index,) |
| 457 | lvalue = arg.name |
| 458 | try: |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 459 | self.regiterSwizzledValue(arg_type, lvalue, rvalue) |
José Fonseca | 2672a7d | 2012-04-14 15:17:12 +0100 | [diff] [blame] | 460 | except UnsupportedType: |
José Fonseca | 0a37edf | 2011-10-09 09:45:22 +0100 | [diff] [blame] | 461 | print ' // XXX: %s' % arg.name |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 462 | if function.type is not stdapi.Void: |
| 463 | rvalue = '*call.ret' |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 464 | lvalue = '_result' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 465 | try: |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 466 | self.regiterSwizzledValue(function.type, lvalue, rvalue) |
José Fonseca | 2672a7d | 2012-04-14 15:17:12 +0100 | [diff] [blame] | 467 | except UnsupportedType: |
José Fonseca | fbcf683 | 2012-04-05 07:10:30 +0100 | [diff] [blame] | 468 | raise |
José Fonseca | 46a4839 | 2011-10-14 11:34:27 +0100 | [diff] [blame] | 469 | print ' // XXX: result' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 470 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 471 | def failFunction(self, function): |
José Fonseca | b1bb3c2 | 2011-10-08 20:23:18 +0100 | [diff] [blame] | 472 | print ' if (retrace::verbosity >= 0) {' |
José Fonseca | f5cda41 | 2011-10-09 17:27:23 +0100 | [diff] [blame] | 473 | print ' retrace::unsupported(call);' |
José Fonseca | b1bb3c2 | 2011-10-08 20:23:18 +0100 | [diff] [blame] | 474 | print ' }' |
José Fonseca | fa15d33 | 2010-11-25 20:22:39 +0000 | [diff] [blame] | 475 | print ' return;' |
| 476 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 477 | def extractArg(self, function, arg, arg_type, lvalue, rvalue): |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 478 | ValueAllocator().visit(arg_type, lvalue, rvalue) |
| 479 | if arg.input: |
| 480 | ValueDeserializer().visit(arg_type, lvalue, rvalue) |
José Fonseca | fd34e4e | 2011-06-03 19:34:29 +0100 | [diff] [blame] | 481 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 482 | def extractOpaqueArg(self, function, arg, arg_type, lvalue, rvalue): |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 483 | try: |
| 484 | ValueAllocator().visit(arg_type, lvalue, rvalue) |
José Fonseca | 2672a7d | 2012-04-14 15:17:12 +0100 | [diff] [blame] | 485 | except UnsupportedType: |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame] | 486 | pass |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 487 | OpaqueValueDeserializer().visit(arg_type, lvalue, rvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 488 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 489 | def regiterSwizzledValue(self, type, lvalue, rvalue): |
| 490 | visitor = SwizzledValueRegistrator() |
| 491 | visitor.visit(type, lvalue, rvalue) |
| 492 | |
José Fonseca | 3db3b2f | 2012-05-11 14:55:50 +0100 | [diff] [blame] | 493 | def declareRet(self, function): |
| 494 | if function.type is not stdapi.Void: |
| 495 | print ' %s _result;' % (function.type) |
| 496 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 497 | def invokeFunction(self, function): |
José Fonseca | 59ee88e | 2012-01-15 14:24:10 +0000 | [diff] [blame] | 498 | arg_names = ", ".join(function.argNames()) |
José Fonseca | fa15d33 | 2010-11-25 20:22:39 +0000 | [diff] [blame] | 499 | if function.type is not stdapi.Void: |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 500 | print ' _result = %s(%s);' % (function.name, arg_names) |
Jose Fonseca | 5c487ec | 2015-06-02 22:16:52 +0100 | [diff] [blame] | 501 | self.checkResult(None, function) |
José Fonseca | fa15d33 | 2010-11-25 20:22:39 +0000 | [diff] [blame] | 502 | else: |
| 503 | print ' %s(%s);' % (function.name, arg_names) |
| 504 | |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 505 | def invokeInterfaceMethod(self, interface, method): |
| 506 | arg_names = ", ".join(method.argNames()) |
| 507 | if method.type is not stdapi.Void: |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 508 | print ' _result = _this->%s(%s);' % (method.name, arg_names) |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 509 | else: |
| 510 | print ' _this->%s(%s);' % (method.name, arg_names) |
| 511 | |
José Fonseca | da77708 | 2015-02-09 11:18:36 +0000 | [diff] [blame] | 512 | # Adjust reference count when QueryInterface fails. This is |
| 513 | # particularly useful when replaying traces on older Direct3D runtimes |
| 514 | # which might miss newer versions of interfaces, yet none of those |
| 515 | # methods are actually used. |
| 516 | # |
| 517 | # TODO: Generalize to other methods that return interfaces |
| 518 | if method.name == 'QueryInterface': |
| 519 | print r' if (FAILED(_result)) {' |
| 520 | print r' IUnknown *pObj = retrace::asObjPointer<IUnknown>(call, *call.arg(2).toArray()->values[0]);' |
| 521 | print r' if (pObj) {' |
| 522 | print r' pObj->AddRef();' |
| 523 | print r' }' |
| 524 | print r' }' |
| 525 | |
| 526 | if method.type is not stdapi.Void: |
Jose Fonseca | 5c487ec | 2015-06-02 22:16:52 +0100 | [diff] [blame] | 527 | self.checkResult(interface, method) |
José Fonseca | da77708 | 2015-02-09 11:18:36 +0000 | [diff] [blame] | 528 | |
José Fonseca | 8a4462e | 2014-09-23 14:39:01 +0100 | [diff] [blame] | 529 | # Debug COM reference counting. Disabled by default as reported |
| 530 | # reference counts depend on internal implementation details. |
| 531 | if method.name in ('AddRef', 'Release'): |
| 532 | print r' if (0) retrace::checkMismatch(call, "cRef", call.ret, _result);' |
| 533 | |
| 534 | # On release our reference when we reach Release() == 0 call in the |
| 535 | # trace. |
| 536 | if method.name == 'Release': |
| 537 | print r' ULONG _orig_result = call.ret->toUInt();' |
| 538 | print r' if (_orig_result == 0 || _result == 0) {' |
| 539 | print r' if (_orig_result != 0) {' |
| 540 | print r' retrace::warning(call) << "unexpected object destruction\n";' |
| 541 | print r' }' |
| 542 | print r' retrace::delObj(call.arg(0));' |
| 543 | print r' }' |
| 544 | |
Jose Fonseca | 5c487ec | 2015-06-02 22:16:52 +0100 | [diff] [blame] | 545 | def checkResult(self, interface, methodOrFunction): |
| 546 | assert methodOrFunction.type is not stdapi.Void |
| 547 | if str(methodOrFunction.type) == 'HRESULT': |
José Fonseca | 4f49d21 | 2012-11-14 14:02:35 +0000 | [diff] [blame] | 548 | print r' if (FAILED(_result)) {' |
José Fonseca | 64add5f | 2014-09-05 11:53:11 +0100 | [diff] [blame] | 549 | print r' retrace::failed(call, _result);' |
José Fonseca | 3b669fa | 2015-02-09 11:17:47 +0000 | [diff] [blame] | 550 | print r' return;' |
José Fonseca | 4f49d21 | 2012-11-14 14:02:35 +0000 | [diff] [blame] | 551 | print r' }' |
José Fonseca | 3198387 | 2015-02-09 11:16:20 +0000 | [diff] [blame] | 552 | else: |
| 553 | print r' (void)_result;' |
José Fonseca | 4f49d21 | 2012-11-14 14:02:35 +0000 | [diff] [blame] | 554 | |
José Fonseca | facdb35 | 2014-09-05 13:22:01 +0100 | [diff] [blame] | 555 | def checkPitchMismatch(self, method): |
José Fonseca | 9a3abc7 | 2014-09-23 14:39:18 +0100 | [diff] [blame] | 556 | # Warn for mismatches in 2D/3D mappings. |
| 557 | # FIXME: We should try to swizzle them. It's a bit of work, but possible. |
| 558 | for outArg in method.args: |
| 559 | if outArg.output \ |
| 560 | and isinstance(outArg.type, stdapi.Pointer) \ |
| 561 | and isinstance(outArg.type.type, stdapi.Struct): |
| 562 | print r' const trace::Array *_%s = call.arg(%u).toArray();' % (outArg.name, outArg.index) |
| 563 | print r' if (%s) {' % outArg.name |
| 564 | print r' const trace::Struct *_struct = _%s->values[0]->toStruct();' % (outArg.name) |
| 565 | print r' if (_struct) {' |
| 566 | struct = outArg.type.type |
| 567 | for memberIndex in range(len(struct.members)): |
| 568 | memberType, memberName = struct.members[memberIndex] |
| 569 | if memberName.endswith('Pitch'): |
Jose Fonseca | 1e3c0f7 | 2015-07-20 21:50:42 +0100 | [diff] [blame] | 570 | print r' if (%s->%s) {' % (outArg.name, memberName) |
| 571 | print r' retrace::checkMismatch(call, "%s", _struct->members[%u], %s->%s);' % (memberName, memberIndex, outArg.name, memberName) |
| 572 | print r' }' |
José Fonseca | 9a3abc7 | 2014-09-23 14:39:18 +0100 | [diff] [blame] | 573 | print r' }' |
| 574 | print r' }' |
José Fonseca | facdb35 | 2014-09-05 13:22:01 +0100 | [diff] [blame] | 575 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 576 | def filterFunction(self, function): |
José Fonseca | 4441baf | 2010-11-25 19:55:27 +0000 | [diff] [blame] | 577 | return True |
| 578 | |
José Fonseca | 2741ed8 | 2011-10-07 23:36:39 +0100 | [diff] [blame] | 579 | table_name = 'retrace::callbacks' |
| 580 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 581 | def retraceApi(self, api): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 582 | |
José Fonseca | 412149c | 2012-04-01 22:47:30 +0200 | [diff] [blame] | 583 | print '#include "os_time.hpp"' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 584 | print '#include "trace_parser.hpp"' |
José Fonseca | 91343f5 | 2011-04-01 08:37:06 +0100 | [diff] [blame] | 585 | print '#include "retrace.hpp"' |
José Fonseca | ab8142f | 2012-05-13 10:04:19 +0100 | [diff] [blame] | 586 | print '#include "retrace_swizzle.hpp"' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 587 | print |
| 588 | |
José Fonseca | 4470382 | 2012-01-31 10:48:58 +0000 | [diff] [blame] | 589 | types = api.getAllTypes() |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 590 | handles = [type for type in types if isinstance(type, stdapi.Handle)] |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 591 | handle_names = set() |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 592 | for handle in handles: |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 593 | if handle.name not in handle_names: |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 594 | if handle.key is None: |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 595 | print 'static retrace::map<%s> _%s_map;' % (handle.type, handle.name) |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 596 | else: |
| 597 | key_name, key_type = handle.key |
José Fonseca | 632a78d | 2012-04-19 07:18:59 +0100 | [diff] [blame] | 598 | print 'static std::map<%s, retrace::map<%s> > _%s_map;' % (key_type, handle.type, handle.name) |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 599 | handle_names.add(handle.name) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 600 | print |
| 601 | |
José Fonseca | 8130193 | 2012-11-11 00:10:20 +0000 | [diff] [blame] | 602 | functions = filter(self.filterFunction, api.getAllFunctions()) |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 603 | for function in functions: |
José Fonseca | 84cea3b | 2012-05-09 21:12:30 +0100 | [diff] [blame] | 604 | if function.sideeffects and not function.internal: |
José Fonseca | 1da480d | 2012-04-13 17:36:19 +0100 | [diff] [blame] | 605 | self.retraceFunction(function) |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 606 | interfaces = api.getAllInterfaces() |
| 607 | for interface in interfaces: |
José Fonseca | 14aa171 | 2014-08-22 15:36:55 +0100 | [diff] [blame] | 608 | for method in interface.methods: |
José Fonseca | 84cea3b | 2012-05-09 21:12:30 +0100 | [diff] [blame] | 609 | if method.sideeffects and not method.internal: |
José Fonseca | 1da480d | 2012-04-13 17:36:19 +0100 | [diff] [blame] | 610 | self.retraceInterfaceMethod(interface, method) |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 611 | |
| 612 | print 'const retrace::Entry %s[] = {' % self.table_name |
| 613 | for function in functions: |
José Fonseca | 84cea3b | 2012-05-09 21:12:30 +0100 | [diff] [blame] | 614 | if not function.internal: |
Jose Fonseca | fdcd30b | 2016-02-01 14:13:40 +0000 | [diff] [blame^] | 615 | sigName = function.sigName() |
José Fonseca | 84cea3b | 2012-05-09 21:12:30 +0100 | [diff] [blame] | 616 | if function.sideeffects: |
Jose Fonseca | fdcd30b | 2016-02-01 14:13:40 +0000 | [diff] [blame^] | 617 | print ' {"%s", &retrace_%s},' % (sigName, self.makeFunctionId(function)) |
José Fonseca | 84cea3b | 2012-05-09 21:12:30 +0100 | [diff] [blame] | 618 | else: |
Jose Fonseca | fdcd30b | 2016-02-01 14:13:40 +0000 | [diff] [blame^] | 619 | print ' {"%s", &retrace::ignore},' % (sigName,) |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 620 | for interface in interfaces: |
José Fonseca | 14aa171 | 2014-08-22 15:36:55 +0100 | [diff] [blame] | 621 | for base, method in interface.iterBaseMethods(): |
Jose Fonseca | fdcd30b | 2016-02-01 14:13:40 +0000 | [diff] [blame^] | 622 | sigName = method.sigName() |
José Fonseca | 1da480d | 2012-04-13 17:36:19 +0100 | [diff] [blame] | 623 | if method.sideeffects: |
Jose Fonseca | fdcd30b | 2016-02-01 14:13:40 +0000 | [diff] [blame^] | 624 | print ' {"%s::%s", &retrace_%s__%s},' % (interface.name, sigName, base.name, self.makeFunctionId(method)) |
José Fonseca | 1da480d | 2012-04-13 17:36:19 +0100 | [diff] [blame] | 625 | else: |
Jose Fonseca | fdcd30b | 2016-02-01 14:13:40 +0000 | [diff] [blame^] | 626 | print ' {"%s::%s", &retrace::ignore},' % (interface.name, sigName) |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 627 | print ' {NULL, NULL}' |
| 628 | print '};' |
| 629 | print |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 630 | |