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 | |
| 30 | import sys |
| 31 | |
José Fonseca | bd86a22 | 2011-09-27 09:21:38 +0100 | [diff] [blame] | 32 | import specs.stdapi as stdapi |
| 33 | import specs.glapi as glapi |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 34 | |
| 35 | |
José Fonseca | 78563e0 | 2012-04-02 08:07:32 +0200 | [diff] [blame] | 36 | class MutableRebuilder(stdapi.Rebuilder): |
| 37 | '''Type visitor which derives a mutable type.''' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 38 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 39 | def visitConst(self, const): |
José Fonseca | 78563e0 | 2012-04-02 08:07:32 +0200 | [diff] [blame] | 40 | # Strip out const qualifier |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 41 | return const.type |
| 42 | |
José Fonseca | b89c593 | 2012-04-01 22:47:11 +0200 | [diff] [blame] | 43 | def visitAlias(self, alias): |
José Fonseca | 78563e0 | 2012-04-02 08:07:32 +0200 | [diff] [blame] | 44 | # Tear the alias on type changes |
José Fonseca | b89c593 | 2012-04-01 22:47:11 +0200 | [diff] [blame] | 45 | type = self.visit(alias.type) |
| 46 | if type is alias.type: |
| 47 | return alias |
| 48 | return type |
| 49 | |
| 50 | def visitReference(self, reference): |
José Fonseca | 78563e0 | 2012-04-02 08:07:32 +0200 | [diff] [blame] | 51 | # Strip out references |
José Fonseca | b89c593 | 2012-04-01 22:47:11 +0200 | [diff] [blame] | 52 | return reference.type |
| 53 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 54 | def visitOpaque(self, opaque): |
José Fonseca | 78563e0 | 2012-04-02 08:07:32 +0200 | [diff] [blame] | 55 | # Don't recursule |
José Fonseca | f01b7f5 | 2011-04-20 21:09:28 +0100 | [diff] [blame] | 56 | return opaque |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 57 | |
| 58 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 59 | def lookupHandle(handle, value): |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 60 | if handle.key is None: |
| 61 | return "__%s_map[%s]" % (handle.name, value) |
| 62 | else: |
| 63 | key_name, key_type = handle.key |
| 64 | return "__%s_map[%s][%s]" % (handle.name, key_name, value) |
| 65 | |
| 66 | |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame^] | 67 | class ValueAllocator(stdapi.Visitor): |
| 68 | |
| 69 | def visitLiteral(self, literal, lvalue, rvalue): |
| 70 | pass |
| 71 | |
| 72 | def visitConst(self, const, lvalue, rvalue): |
| 73 | self.visit(const.type, lvalue, rvalue) |
| 74 | |
| 75 | def visitAlias(self, alias, lvalue, rvalue): |
| 76 | self.visit(alias.type, lvalue, rvalue) |
| 77 | |
| 78 | def visitEnum(self, enum, lvalue, rvalue): |
| 79 | pass |
| 80 | |
| 81 | def visitBitmask(self, bitmask, lvalue, rvalue): |
| 82 | pass |
| 83 | |
| 84 | def visitArray(self, array, lvalue, rvalue): |
| 85 | print ' %s = _allocator.alloc<%s>(&%s);' % (lvalue, array.type, rvalue) |
| 86 | |
| 87 | def visitPointer(self, pointer, lvalue, rvalue): |
| 88 | print ' %s = _allocator.alloc<%s>(&%s);' % (lvalue, pointer.type, rvalue) |
| 89 | |
| 90 | def visitIntPointer(self, pointer, lvalue, rvalue): |
| 91 | pass |
| 92 | |
| 93 | def visitObjPointer(self, pointer, lvalue, rvalue): |
| 94 | pass |
| 95 | |
| 96 | def visitLinearPointer(self, pointer, lvalue, rvalue): |
| 97 | pass |
| 98 | |
| 99 | def visitReference(self, reference, lvalue, rvalue): |
| 100 | self.visit(reference.type, lvalue, rvalue); |
| 101 | |
| 102 | def visitHandle(self, handle, lvalue, rvalue): |
| 103 | pass |
| 104 | |
| 105 | def visitBlob(self, blob, lvalue, rvalue): |
| 106 | pass |
| 107 | |
| 108 | def visitString(self, string, lvalue, rvalue): |
| 109 | pass |
| 110 | |
| 111 | def visitStruct(self, struct, lvalue, rvalue): |
| 112 | pass |
| 113 | |
| 114 | def visitPolymorphic(self, polymorphic, lvalue, rvalue): |
| 115 | self.visit(polymorphic.defaultType, lvalue, rvalue) |
| 116 | |
| 117 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 118 | class ValueDeserializer(stdapi.Visitor): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 119 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 120 | def visitLiteral(self, literal, lvalue, rvalue): |
José Fonseca | 2f2ea48 | 2011-10-15 15:10:06 +0100 | [diff] [blame] | 121 | print ' %s = (%s).to%s();' % (lvalue, rvalue, literal.kind) |
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 visitConst(self, const, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 124 | self.visit(const.type, lvalue, rvalue) |
| 125 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 126 | def visitAlias(self, alias, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 127 | self.visit(alias.type, lvalue, rvalue) |
| 128 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 129 | def visitEnum(self, enum, lvalue, rvalue): |
José Fonseca | 6d6bd9b | 2012-04-02 08:10:48 +0200 | [diff] [blame] | 130 | print ' %s = static_cast<%s>((%s).toSInt());' % (lvalue, enum, rvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 131 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 132 | def visitBitmask(self, bitmask, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 133 | self.visit(bitmask.type, lvalue, rvalue) |
| 134 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 135 | def visitArray(self, array, lvalue, rvalue): |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame^] | 136 | |
José Fonseca | 68013c9 | 2012-04-05 19:58:38 +0100 | [diff] [blame] | 137 | tmp = '__a_' + array.tag + '_' + str(self.seq) |
| 138 | self.seq += 1 |
| 139 | |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame^] | 140 | print ' if (%s) {' % (lvalue,) |
| 141 | print ' const trace::Array *%s = dynamic_cast<const trace::Array *>(&%s);' % (tmp, rvalue) |
José Fonseca | 68013c9 | 2012-04-05 19:58:38 +0100 | [diff] [blame] | 142 | length = '%s->values.size()' % (tmp,) |
José Fonseca | 02c2500 | 2011-10-15 13:17:26 +0100 | [diff] [blame] | 143 | index = '__j' + array.tag |
José Fonseca | dbaae49 | 2011-04-21 09:28:10 +0100 | [diff] [blame] | 144 | 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] | 145 | try: |
José Fonseca | 68013c9 | 2012-04-05 19:58:38 +0100 | [diff] [blame] | 146 | 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] | 147 | finally: |
| 148 | print ' }' |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame^] | 149 | print ' }' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 150 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 151 | def visitPointer(self, pointer, lvalue, rvalue): |
José Fonseca | 68013c9 | 2012-04-05 19:58:38 +0100 | [diff] [blame] | 152 | tmp = '__a_' + pointer.tag + '_' + str(self.seq) |
| 153 | self.seq += 1 |
| 154 | |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame^] | 155 | print ' if (%s) {' % (lvalue,) |
| 156 | print ' const trace::Array *%s = dynamic_cast<const trace::Array *>(&%s);' % (tmp, rvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 157 | try: |
José Fonseca | 68013c9 | 2012-04-05 19:58:38 +0100 | [diff] [blame] | 158 | self.visit(pointer.type, '%s[0]' % (lvalue,), '*%s->values[0]' % (tmp,)) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 159 | finally: |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame^] | 160 | print ' }' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 161 | |
José Fonseca | 59ee88e | 2012-01-15 14:24:10 +0000 | [diff] [blame] | 162 | def visitIntPointer(self, pointer, lvalue, rvalue): |
| 163 | print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, pointer, rvalue) |
| 164 | |
José Fonseca | fbcf683 | 2012-04-05 07:10:30 +0100 | [diff] [blame] | 165 | def visitObjPointer(self, pointer, lvalue, rvalue): |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame^] | 166 | old_lvalue = '(%s).toUIntPtr()' % (rvalue,) |
| 167 | new_lvalue = '_obj_map[%s]' % (old_lvalue,) |
| 168 | print ' if (retrace::verbosity >= 2) {' |
| 169 | print ' std::cout << std::hex << "obj 0x" << size_t(%s) << " <- 0x" << size_t(%s) << std::dec <<"\\n";' % (old_lvalue, new_lvalue) |
| 170 | print ' }' |
| 171 | print ' %s = static_cast<%s>(%s);' % (lvalue, pointer, new_lvalue) |
José Fonseca | fbcf683 | 2012-04-05 07:10:30 +0100 | [diff] [blame] | 172 | |
José Fonseca | 59ee88e | 2012-01-15 14:24:10 +0000 | [diff] [blame] | 173 | def visitLinearPointer(self, pointer, lvalue, rvalue): |
| 174 | print ' %s = static_cast<%s>(retrace::toPointer(%s));' % (lvalue, pointer, rvalue) |
| 175 | |
José Fonseca | b89c593 | 2012-04-01 22:47:11 +0200 | [diff] [blame] | 176 | def visitReference(self, reference, lvalue, rvalue): |
| 177 | self.visit(reference.type, lvalue, rvalue); |
| 178 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 179 | def visitHandle(self, handle, lvalue, rvalue): |
José Fonseca | 59ee88e | 2012-01-15 14:24:10 +0000 | [diff] [blame] | 180 | #OpaqueValueDeserializer().visit(handle.type, lvalue, rvalue); |
| 181 | self.visit(handle.type, lvalue, rvalue); |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 182 | new_lvalue = lookupHandle(handle, lvalue) |
José Fonseca | 031b738 | 2011-05-10 20:36:40 +0100 | [diff] [blame] | 183 | print ' if (retrace::verbosity >= 2) {' |
José Fonseca | a10af89 | 2011-04-11 09:10:55 +0100 | [diff] [blame] | 184 | 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] | 185 | print ' }' |
José Fonseca | a10af89 | 2011-04-11 09:10:55 +0100 | [diff] [blame] | 186 | print ' %s = %s;' % (lvalue, new_lvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 187 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 188 | def visitBlob(self, blob, lvalue, rvalue): |
José Fonseca | 7ebb9e2 | 2011-05-06 09:58:45 +0100 | [diff] [blame] | 189 | print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, blob, rvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 190 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 191 | def visitString(self, string, lvalue, rvalue): |
José Fonseca | 7ebb9e2 | 2011-05-06 09:58:45 +0100 | [diff] [blame] | 192 | print ' %s = (%s)((%s).toString());' % (lvalue, string.expr, rvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 193 | |
José Fonseca | a65a23a | 2012-04-02 08:10:06 +0200 | [diff] [blame] | 194 | seq = 0 |
| 195 | |
| 196 | def visitStruct(self, struct, lvalue, rvalue): |
| 197 | tmp = '__s_' + struct.tag + '_' + str(self.seq) |
| 198 | self.seq += 1 |
| 199 | |
| 200 | print ' const trace::Struct *%s = dynamic_cast<const trace::Struct *>(&%s);' % (tmp, rvalue) |
| 201 | print ' assert(%s);' % (tmp) |
José Fonseca | a65a23a | 2012-04-02 08:10:06 +0200 | [diff] [blame] | 202 | for i in range(len(struct.members)): |
| 203 | member_type, member_name = struct.members[i] |
| 204 | self.visit(member_type, '%s.%s' % (lvalue, member_name), '*%s->members[%s]' % (tmp, i)) |
| 205 | |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame^] | 206 | def visitPolymorphic(self, polymorphic, lvalue, rvalue): |
| 207 | self.visit(polymorphic.defaultType, lvalue, rvalue) |
| 208 | |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 209 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 210 | class OpaqueValueDeserializer(ValueDeserializer): |
José Fonseca | a10af89 | 2011-04-11 09:10:55 +0100 | [diff] [blame] | 211 | '''Value extractor that also understands opaque values. |
| 212 | |
| 213 | Normally opaque values can't be retraced, unless they are being extracted |
| 214 | in the context of handles.''' |
| 215 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 216 | def visitOpaque(self, opaque, lvalue, rvalue): |
José Fonseca | 46a4839 | 2011-10-14 11:34:27 +0100 | [diff] [blame] | 217 | print ' %s = static_cast<%s>(retrace::toPointer(%s));' % (lvalue, opaque, rvalue) |
José Fonseca | a10af89 | 2011-04-11 09:10:55 +0100 | [diff] [blame] | 218 | |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 219 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 220 | class SwizzledValueRegistrator(stdapi.Visitor): |
| 221 | '''Type visitor which will register (un)swizzled value pairs, to later be |
| 222 | swizzled.''' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 223 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 224 | def visitLiteral(self, literal, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 225 | pass |
| 226 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 227 | def visitAlias(self, alias, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 228 | self.visit(alias.type, lvalue, rvalue) |
| 229 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 230 | def visitEnum(self, enum, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 231 | pass |
| 232 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 233 | def visitBitmask(self, bitmask, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 234 | pass |
| 235 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 236 | def visitArray(self, array, lvalue, rvalue): |
José Fonseca | b4a3d14 | 2011-10-27 07:43:19 +0100 | [diff] [blame] | 237 | print ' const trace::Array *__a%s = dynamic_cast<const trace::Array *>(&%s);' % (array.tag, rvalue) |
José Fonseca | 02c2500 | 2011-10-15 13:17:26 +0100 | [diff] [blame] | 238 | print ' if (__a%s) {' % (array.tag) |
| 239 | length = '__a%s->values.size()' % array.tag |
| 240 | index = '__j' + array.tag |
José Fonseca | dbaae49 | 2011-04-21 09:28:10 +0100 | [diff] [blame] | 241 | 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] | 242 | try: |
José Fonseca | 02c2500 | 2011-10-15 13:17:26 +0100 | [diff] [blame] | 243 | 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] | 244 | finally: |
| 245 | print ' }' |
| 246 | print ' }' |
| 247 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 248 | def visitPointer(self, pointer, lvalue, rvalue): |
José Fonseca | b4a3d14 | 2011-10-27 07:43:19 +0100 | [diff] [blame] | 249 | print ' const trace::Array *__a%s = dynamic_cast<const trace::Array *>(&%s);' % (pointer.tag, rvalue) |
José Fonseca | 02c2500 | 2011-10-15 13:17:26 +0100 | [diff] [blame] | 250 | print ' if (__a%s) {' % (pointer.tag) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 251 | try: |
José Fonseca | 02c2500 | 2011-10-15 13:17:26 +0100 | [diff] [blame] | 252 | 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] | 253 | finally: |
| 254 | print ' }' |
| 255 | |
José Fonseca | 59ee88e | 2012-01-15 14:24:10 +0000 | [diff] [blame] | 256 | def visitIntPointer(self, pointer, lvalue, rvalue): |
| 257 | pass |
| 258 | |
José Fonseca | fbcf683 | 2012-04-05 07:10:30 +0100 | [diff] [blame] | 259 | def visitObjPointer(self, pointer, lvalue, rvalue): |
| 260 | print r' _obj_map[(%s).toUIntPtr()] = %s;' % (rvalue, lvalue) |
| 261 | |
José Fonseca | 59ee88e | 2012-01-15 14:24:10 +0000 | [diff] [blame] | 262 | def visitLinearPointer(self, pointer, lvalue, rvalue): |
| 263 | assert pointer.size is not None |
| 264 | if pointer.size is not None: |
| 265 | print r' retrace::addRegion((%s).toUIntPtr(), %s, %s);' % (rvalue, lvalue, pointer.size) |
| 266 | |
José Fonseca | b89c593 | 2012-04-01 22:47:11 +0200 | [diff] [blame] | 267 | def visitReference(self, reference, lvalue, rvalue): |
| 268 | pass |
| 269 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 270 | def visitHandle(self, handle, lvalue, rvalue): |
José Fonseca | a10af89 | 2011-04-11 09:10:55 +0100 | [diff] [blame] | 271 | print ' %s __orig_result;' % handle.type |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 272 | OpaqueValueDeserializer().visit(handle.type, '__orig_result', rvalue); |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 273 | if handle.range is None: |
José Fonseca | a10af89 | 2011-04-11 09:10:55 +0100 | [diff] [blame] | 274 | rvalue = "__orig_result" |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 275 | entry = lookupHandle(handle, rvalue) |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 276 | print " %s = %s;" % (entry, lvalue) |
José Fonseca | 031b738 | 2011-05-10 20:36:40 +0100 | [diff] [blame] | 277 | print ' if (retrace::verbosity >= 2) {' |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 278 | print ' std::cout << "{handle.name} " << {rvalue} << " -> " << {lvalue} << "\\n";'.format(**locals()) |
José Fonseca | 031b738 | 2011-05-10 20:36:40 +0100 | [diff] [blame] | 279 | print ' }' |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 280 | else: |
José Fonseca | 02c2500 | 2011-10-15 13:17:26 +0100 | [diff] [blame] | 281 | i = '__h' + handle.tag |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 282 | lvalue = "%s + %s" % (lvalue, i) |
José Fonseca | a10af89 | 2011-04-11 09:10:55 +0100 | [diff] [blame] | 283 | rvalue = "__orig_result + %s" % (i,) |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 284 | entry = lookupHandle(handle, rvalue) |
José Fonseca | dbaae49 | 2011-04-21 09:28:10 +0100 | [diff] [blame] | 285 | print ' for ({handle.type} {i} = 0; {i} < {handle.range}; ++{i}) {{'.format(**locals()) |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 286 | print ' {entry} = {lvalue};'.format(**locals()) |
José Fonseca | 031b738 | 2011-05-10 20:36:40 +0100 | [diff] [blame] | 287 | print ' if (retrace::verbosity >= 2) {' |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 288 | print ' std::cout << "{handle.name} " << ({rvalue}) << " -> " << ({lvalue}) << "\\n";'.format(**locals()) |
José Fonseca | 031b738 | 2011-05-10 20:36:40 +0100 | [diff] [blame] | 289 | print ' }' |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 290 | print ' }' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 291 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 292 | def visitBlob(self, blob, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 293 | pass |
| 294 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 295 | def visitString(self, string, lvalue, rvalue): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 296 | pass |
| 297 | |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame^] | 298 | seq = 0 |
| 299 | |
| 300 | def visitStruct(self, struct, lvalue, rvalue): |
| 301 | tmp = '__s_' + struct.tag + '_' + str(self.seq) |
| 302 | self.seq += 1 |
| 303 | |
| 304 | print ' const trace::Struct *%s = dynamic_cast<const trace::Struct *>(&%s);' % (tmp, rvalue) |
| 305 | print ' assert(%s);' % (tmp,) |
| 306 | print ' (void)%s;' % (tmp,) |
| 307 | for i in range(len(struct.members)): |
| 308 | member_type, member_name = struct.members[i] |
| 309 | self.visit(member_type, '%s.%s' % (lvalue, member_name), '*%s->members[%s]' % (tmp, i)) |
| 310 | |
| 311 | def visitPolymorphic(self, polymorphic, lvalue, rvalue): |
| 312 | self.visit(polymorphic.defaultType, lvalue, rvalue) |
| 313 | |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 314 | |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 315 | class Retracer: |
| 316 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 317 | def retraceFunction(self, function): |
José Fonseca | b4a3d14 | 2011-10-27 07:43:19 +0100 | [diff] [blame] | 318 | print 'static void retrace_%s(trace::Call &call) {' % function.name |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 319 | self.retraceFunctionBody(function) |
José Fonseca | 6221297 | 2011-03-23 13:22:55 +0000 | [diff] [blame] | 320 | print '}' |
| 321 | print |
| 322 | |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 323 | def retraceInterfaceMethod(self, interface, method): |
| 324 | print 'static void retrace_%s__%s(trace::Call &call) {' % (interface.name, method.name) |
| 325 | self.retraceInterfaceMethodBody(interface, method) |
| 326 | print '}' |
| 327 | print |
| 328 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 329 | def retraceFunctionBody(self, function): |
José Fonseca | 4d7f1fe | 2011-05-09 20:54:31 +0100 | [diff] [blame] | 330 | if not function.sideeffects: |
José Fonseca | 9109c3a | 2011-05-24 19:31:26 +0100 | [diff] [blame] | 331 | print ' (void)call;' |
José Fonseca | 4d7f1fe | 2011-05-09 20:54:31 +0100 | [diff] [blame] | 332 | return |
| 333 | |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 334 | self.deserializeArgs(function) |
| 335 | |
| 336 | self.invokeFunction(function) |
| 337 | |
| 338 | self.swizzleValues(function) |
| 339 | |
| 340 | def retraceInterfaceMethodBody(self, interface, method): |
| 341 | if not method.sideeffects: |
| 342 | print ' (void)call;' |
| 343 | return |
| 344 | |
| 345 | self.deserializeThisPointer(interface) |
| 346 | |
| 347 | self.deserializeArgs(method) |
| 348 | |
| 349 | self.invokeInterfaceMethod(interface, method) |
| 350 | |
| 351 | self.swizzleValues(method) |
| 352 | |
| 353 | def deserializeThisPointer(self, interface): |
José Fonseca | dc27937 | 2012-04-05 19:58:20 +0100 | [diff] [blame] | 354 | print r' %s *_this;' % (interface.name,) |
| 355 | print r' _this = static_cast<%s *>(_obj_map[call.arg(0).toUIntPtr()]);' % (interface.name,) |
| 356 | print r' if (!_this) {' |
| 357 | print r' retrace::warning(call) << "NULL this pointer\n";' |
| 358 | print r' return;' |
| 359 | print r' }' |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 360 | |
| 361 | def deserializeArgs(self, function): |
José Fonseca | d994cf0 | 2011-11-03 19:35:53 +0000 | [diff] [blame] | 362 | print ' retrace::ScopedAllocator _allocator;' |
| 363 | print ' (void)_allocator;' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 364 | success = True |
| 365 | for arg in function.args: |
José Fonseca | 78563e0 | 2012-04-02 08:07:32 +0200 | [diff] [blame] | 366 | arg_type = MutableRebuilder().visit(arg.type) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 367 | print ' %s %s;' % (arg_type, arg.name) |
| 368 | rvalue = 'call.arg(%u)' % (arg.index,) |
| 369 | lvalue = arg.name |
| 370 | try: |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 371 | self.extractArg(function, arg, arg_type, lvalue, rvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 372 | except NotImplementedError: |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 373 | success = False |
José Fonseca | 2d216ae | 2012-04-01 22:48:24 +0200 | [diff] [blame] | 374 | print ' memset(&%s, 0, sizeof %s); // FIXME' % (arg.name, arg.name) |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame^] | 375 | print |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 376 | |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 377 | if not success: |
José Fonseca | 9109c3a | 2011-05-24 19:31:26 +0100 | [diff] [blame] | 378 | print ' if (1) {' |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 379 | self.failFunction(function) |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 380 | if function.name[-1].islower(): |
| 381 | sys.stderr.write('warning: unsupported %s call\n' % function.name) |
José Fonseca | 9109c3a | 2011-05-24 19:31:26 +0100 | [diff] [blame] | 382 | print ' }' |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 383 | |
| 384 | def swizzleValues(self, function): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 385 | for arg in function.args: |
| 386 | if arg.output: |
José Fonseca | 78563e0 | 2012-04-02 08:07:32 +0200 | [diff] [blame] | 387 | arg_type = MutableRebuilder().visit(arg.type) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 388 | rvalue = 'call.arg(%u)' % (arg.index,) |
| 389 | lvalue = arg.name |
| 390 | try: |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 391 | self.regiterSwizzledValue(arg_type, lvalue, rvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 392 | except NotImplementedError: |
José Fonseca | 0a37edf | 2011-10-09 09:45:22 +0100 | [diff] [blame] | 393 | print ' // XXX: %s' % arg.name |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 394 | if function.type is not stdapi.Void: |
| 395 | rvalue = '*call.ret' |
| 396 | lvalue = '__result' |
| 397 | try: |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 398 | self.regiterSwizzledValue(function.type, lvalue, rvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 399 | except NotImplementedError: |
José Fonseca | fbcf683 | 2012-04-05 07:10:30 +0100 | [diff] [blame] | 400 | raise |
José Fonseca | 46a4839 | 2011-10-14 11:34:27 +0100 | [diff] [blame] | 401 | print ' // XXX: result' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 402 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 403 | def failFunction(self, function): |
José Fonseca | b1bb3c2 | 2011-10-08 20:23:18 +0100 | [diff] [blame] | 404 | print ' if (retrace::verbosity >= 0) {' |
José Fonseca | f5cda41 | 2011-10-09 17:27:23 +0100 | [diff] [blame] | 405 | print ' retrace::unsupported(call);' |
José Fonseca | b1bb3c2 | 2011-10-08 20:23:18 +0100 | [diff] [blame] | 406 | print ' }' |
José Fonseca | fa15d33 | 2010-11-25 20:22:39 +0000 | [diff] [blame] | 407 | print ' return;' |
| 408 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 409 | def extractArg(self, function, arg, arg_type, lvalue, rvalue): |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame^] | 410 | ValueAllocator().visit(arg_type, lvalue, rvalue) |
| 411 | if arg.input: |
| 412 | ValueDeserializer().visit(arg_type, lvalue, rvalue) |
José Fonseca | fd34e4e | 2011-06-03 19:34:29 +0100 | [diff] [blame] | 413 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 414 | def extractOpaqueArg(self, function, arg, arg_type, lvalue, rvalue): |
José Fonseca | 4a2c57b | 2012-04-07 10:50:53 +0100 | [diff] [blame^] | 415 | try: |
| 416 | ValueAllocator().visit(arg_type, lvalue, rvalue) |
| 417 | except NotImplementedError: |
| 418 | pass |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 419 | OpaqueValueDeserializer().visit(arg_type, lvalue, rvalue) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 420 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 421 | def regiterSwizzledValue(self, type, lvalue, rvalue): |
| 422 | visitor = SwizzledValueRegistrator() |
| 423 | visitor.visit(type, lvalue, rvalue) |
| 424 | |
| 425 | def invokeFunction(self, function): |
José Fonseca | 59ee88e | 2012-01-15 14:24:10 +0000 | [diff] [blame] | 426 | arg_names = ", ".join(function.argNames()) |
José Fonseca | fa15d33 | 2010-11-25 20:22:39 +0000 | [diff] [blame] | 427 | if function.type is not stdapi.Void: |
| 428 | print ' %s __result;' % (function.type) |
| 429 | print ' __result = %s(%s);' % (function.name, arg_names) |
José Fonseca | 974a3fb | 2011-05-23 21:15:12 +0100 | [diff] [blame] | 430 | print ' (void)__result;' |
José Fonseca | fa15d33 | 2010-11-25 20:22:39 +0000 | [diff] [blame] | 431 | else: |
| 432 | print ' %s(%s);' % (function.name, arg_names) |
| 433 | |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 434 | def invokeInterfaceMethod(self, interface, method): |
| 435 | arg_names = ", ".join(method.argNames()) |
| 436 | if method.type is not stdapi.Void: |
| 437 | print ' %s __result;' % (method.type) |
| 438 | print ' __result = _this->%s(%s);' % (method.name, arg_names) |
| 439 | print ' (void)__result;' |
| 440 | else: |
| 441 | print ' _this->%s(%s);' % (method.name, arg_names) |
| 442 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 443 | def filterFunction(self, function): |
José Fonseca | 4441baf | 2010-11-25 19:55:27 +0000 | [diff] [blame] | 444 | return True |
| 445 | |
José Fonseca | 2741ed8 | 2011-10-07 23:36:39 +0100 | [diff] [blame] | 446 | table_name = 'retrace::callbacks' |
| 447 | |
José Fonseca | 54f304a | 2012-01-14 19:33:08 +0000 | [diff] [blame] | 448 | def retraceApi(self, api): |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 449 | |
José Fonseca | 370cc9a | 2012-04-01 22:47:30 +0200 | [diff] [blame] | 450 | print '#include "os_time.hpp"' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 451 | print '#include "trace_parser.hpp"' |
José Fonseca | 91343f5 | 2011-04-01 08:37:06 +0100 | [diff] [blame] | 452 | print '#include "retrace.hpp"' |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 453 | print |
| 454 | |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 455 | types = api.getAllTypes() |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 456 | handles = [type for type in types if isinstance(type, stdapi.Handle)] |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 457 | handle_names = set() |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 458 | for handle in handles: |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 459 | if handle.name not in handle_names: |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 460 | if handle.key is None: |
José Fonseca | 91343f5 | 2011-04-01 08:37:06 +0100 | [diff] [blame] | 461 | print 'static retrace::map<%s> __%s_map;' % (handle.type, handle.name) |
José Fonseca | 8a844ae | 2010-12-06 18:50:52 +0000 | [diff] [blame] | 462 | else: |
| 463 | key_name, key_type = handle.key |
José Fonseca | 91343f5 | 2011-04-01 08:37:06 +0100 | [diff] [blame] | 464 | 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] | 465 | handle_names.add(handle.name) |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 466 | print |
| 467 | |
José Fonseca | fbcf683 | 2012-04-05 07:10:30 +0100 | [diff] [blame] | 468 | print 'static std::map<unsigned long long, void *> _obj_map;' |
| 469 | print |
| 470 | |
José Fonseca | 8e3c2c0 | 2012-01-23 00:30:35 +0000 | [diff] [blame] | 471 | functions = filter(self.filterFunction, api.functions) |
| 472 | for function in functions: |
| 473 | self.retraceFunction(function) |
| 474 | interfaces = api.getAllInterfaces() |
| 475 | for interface in interfaces: |
| 476 | for method in interface.iterMethods(): |
| 477 | self.retraceInterfaceMethod(interface, method) |
| 478 | |
| 479 | print 'const retrace::Entry %s[] = {' % self.table_name |
| 480 | for function in functions: |
| 481 | print ' {"%s", &retrace_%s},' % (function.name, function.name) |
| 482 | for interface in interfaces: |
| 483 | for method in interface.iterMethods(): |
| 484 | print ' {"%s::%s", &retrace_%s__%s},' % (interface.name, method.name, interface.name, method.name) |
| 485 | print ' {NULL, NULL}' |
| 486 | print '};' |
| 487 | print |
José Fonseca | e0e6140 | 2010-11-25 15:03:23 +0000 | [diff] [blame] | 488 | |