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