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