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