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