Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 1 | """Python bytecode generator |
| 2 | |
| 3 | Currently contains generic ASTVisitor code, a LocalNameFinder, and a |
| 4 | CodeGenerator. Eventually, this will get split into the ASTVisitor as |
| 5 | a generic tool and CodeGenerator as a specific tool. |
| 6 | """ |
| 7 | |
| 8 | from p2c import transformer, ast |
Jeremy Hylton | 3ec7e2c | 2000-02-17 22:09:35 +0000 | [diff] [blame] | 9 | from pyassem import StackRef, PyAssembler, TupleArg |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 10 | import dis |
| 11 | import misc |
Jeremy Hylton | 0fdffcf | 2000-02-04 19:37:35 +0000 | [diff] [blame] | 12 | import marshal |
| 13 | import new |
| 14 | import string |
Jeremy Hylton | 53187f3 | 2000-02-08 19:01:29 +0000 | [diff] [blame] | 15 | import sys |
| 16 | import os |
| 17 | import stat |
| 18 | import struct |
Jeremy Hylton | ad9a86f | 2000-02-16 00:55:44 +0000 | [diff] [blame] | 19 | import types |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 20 | |
| 21 | def parse(path): |
| 22 | f = open(path) |
| 23 | src = f.read() |
| 24 | f.close() |
| 25 | t = transformer.Transformer() |
| 26 | return t.parsesuite(src) |
| 27 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 28 | def walk(tree, visitor, verbose=None, walker=None): |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 29 | if walker: |
| 30 | w = walker() |
| 31 | else: |
| 32 | w = ASTVisitor() |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 33 | if verbose is not None: |
| 34 | w.VERBOSE = verbose |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 35 | w.preorder(tree, visitor) |
| 36 | return w.visitor |
| 37 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 38 | def dumpNode(node): |
| 39 | print node.__class__ |
| 40 | for attr in dir(node): |
| 41 | if attr[0] != '_': |
| 42 | print "\t", "%-10.10s" % attr, getattr(node, attr) |
| 43 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 44 | class ASTVisitor: |
| 45 | """Performs a depth-first walk of the AST |
| 46 | |
| 47 | The ASTVisitor will walk the AST, performing either a preorder or |
| 48 | postorder traversal depending on which method is called. |
| 49 | |
| 50 | methods: |
| 51 | preorder(tree, visitor) |
| 52 | postorder(tree, visitor) |
| 53 | tree: an instance of ast.Node |
| 54 | visitor: an instance with visitXXX methods |
| 55 | |
| 56 | The ASTVisitor is responsible for walking over the tree in the |
| 57 | correct order. For each node, it checks the visitor argument for |
| 58 | a method named 'visitNodeType' where NodeType is the name of the |
| 59 | node's class, e.g. Classdef. If the method exists, it is called |
| 60 | with the node as its sole argument. |
| 61 | |
| 62 | The visitor method for a particular node type can control how |
| 63 | child nodes are visited during a preorder walk. (It can't control |
| 64 | the order during a postorder walk, because it is called _after_ |
| 65 | the walk has occurred.) The ASTVisitor modifies the visitor |
| 66 | argument by adding a visit method to the visitor; this method can |
| 67 | be used to visit a particular child node. If the visitor method |
| 68 | returns a true value, the ASTVisitor will not traverse the child |
| 69 | nodes. |
| 70 | |
| 71 | XXX The interface for controlling the preorder walk needs to be |
| 72 | re-considered. The current interface is convenient for visitors |
| 73 | that mostly let the ASTVisitor do everything. For something like |
| 74 | a code generator, where you want to walk to occur in a specific |
| 75 | order, it's a pain to add "return 1" to the end of each method. |
| 76 | |
| 77 | XXX Perhaps I can use a postorder walk for the code generator? |
| 78 | """ |
| 79 | |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 80 | VERBOSE = 0 |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 81 | |
| 82 | def __init__(self): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 83 | self.node = None |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 84 | |
| 85 | def preorder(self, tree, visitor): |
| 86 | """Do preorder walk of tree using visitor""" |
| 87 | self.visitor = visitor |
| 88 | visitor.visit = self._preorder |
| 89 | self._preorder(tree) |
| 90 | |
| 91 | def _preorder(self, node): |
| 92 | stop = self.dispatch(node) |
| 93 | if stop: |
| 94 | return |
| 95 | for child in node.getChildren(): |
| 96 | if isinstance(child, ast.Node): |
| 97 | self._preorder(child) |
| 98 | |
| 99 | def postorder(self, tree, visitor): |
| 100 | """Do preorder walk of tree using visitor""" |
| 101 | self.visitor = visitor |
| 102 | visitor.visit = self._postorder |
| 103 | self._postorder(tree) |
| 104 | |
| 105 | def _postorder(self, tree): |
| 106 | for child in node.getChildren(): |
| 107 | if isinstance(child, ast.Node): |
| 108 | self._preorder(child) |
| 109 | self.dispatch(node) |
| 110 | |
| 111 | def dispatch(self, node): |
| 112 | self.node = node |
| 113 | className = node.__class__.__name__ |
| 114 | meth = getattr(self.visitor, 'visit' + className, None) |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 115 | if self.VERBOSE > 0: |
| 116 | if self.VERBOSE == 1: |
| 117 | if meth is None: |
| 118 | print "dispatch", className |
| 119 | else: |
| 120 | print "dispatch", className, (meth and meth.__name__ or '') |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 121 | if meth: |
| 122 | return meth(node) |
| 123 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 124 | class ExampleASTVisitor(ASTVisitor): |
Jeremy Hylton | 9e1cd68 | 2000-02-14 23:57:56 +0000 | [diff] [blame] | 125 | """Prints examples of the nodes that aren't visited |
| 126 | |
| 127 | This visitor-driver is only useful for development, when it's |
| 128 | helpful to develop a visitor incremently, and get feedback on what |
| 129 | you still have to do. |
| 130 | """ |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 131 | examples = {} |
| 132 | |
| 133 | def dispatch(self, node): |
| 134 | self.node = node |
| 135 | className = node.__class__.__name__ |
| 136 | meth = getattr(self.visitor, 'visit' + className, None) |
| 137 | if self.VERBOSE > 0: |
| 138 | if self.VERBOSE == 1: |
| 139 | if meth is None: |
| 140 | print "dispatch", className |
| 141 | else: |
| 142 | print "dispatch", className, (meth and meth.__name__ or '') |
| 143 | if meth: |
| 144 | return meth(node) |
| 145 | else: |
| 146 | klass = node.__class__ |
| 147 | if self.VERBOSE < 2: |
| 148 | if self.examples.has_key(klass): |
| 149 | return |
| 150 | self.examples[klass] = klass |
| 151 | print |
| 152 | print klass |
| 153 | for attr in dir(node): |
| 154 | if attr[0] != '_': |
| 155 | print "\t", "%-12.12s" % attr, getattr(node, attr) |
| 156 | print |
| 157 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 158 | class CodeGenerator: |
Jeremy Hylton | 4f6bcd8 | 2000-02-15 23:45:26 +0000 | [diff] [blame] | 159 | """Generate bytecode for the Python VM""" |
Jeremy Hylton | 3e0910c | 2000-02-10 17:20:39 +0000 | [diff] [blame] | 160 | |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 161 | OPTIMIZED = 1 |
| 162 | |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 163 | # XXX should clean up initialization and generateXXX funcs |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 164 | def __init__(self, filename="<?>"): |
Jeremy Hylton | 53187f3 | 2000-02-08 19:01:29 +0000 | [diff] [blame] | 165 | self.filename = filename |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 166 | self.code = PyAssembler() |
Jeremy Hylton | 53187f3 | 2000-02-08 19:01:29 +0000 | [diff] [blame] | 167 | self.code.setFlags(0) |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 168 | self.locals = misc.Stack() |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 169 | self.loops = misc.Stack() |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 170 | self.namespace = 0 |
Jeremy Hylton | 53187f3 | 2000-02-08 19:01:29 +0000 | [diff] [blame] | 171 | self.curStack = 0 |
| 172 | self.maxStack = 0 |
| 173 | |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 174 | def emit(self, *args): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 175 | # XXX could just use self.emit = self.code.emit |
| 176 | apply(self.code.emit, args) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 177 | |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 178 | def _generateFunctionOrLambdaCode(self, func): |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 179 | self.name = func.name |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 180 | |
Jeremy Hylton | ad9a86f | 2000-02-16 00:55:44 +0000 | [diff] [blame] | 181 | # keep a lookout for 'def foo((x,y)):' |
| 182 | args, hasTupleArg = self.generateArglist(func.argnames) |
| 183 | |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 184 | self.code = PyAssembler(args=args, name=func.name, |
| 185 | filename=self.filename) |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 186 | self.namespace = self.OPTIMIZED |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 187 | if func.varargs: |
| 188 | self.code.setVarArgs() |
| 189 | if func.kwargs: |
| 190 | self.code.setKWArgs() |
| 191 | lnf = walk(func.code, LocalNameFinder(args), 0) |
| 192 | self.locals.push(lnf.getLocals()) |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 193 | self.emit('SET_LINENO', func.lineno) |
| 194 | if hasTupleArg: |
Jeremy Hylton | ad9a86f | 2000-02-16 00:55:44 +0000 | [diff] [blame] | 195 | self.generateArgUnpack(func.argnames) |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 196 | walk(func.code, self) |
Jeremy Hylton | 76d01b8 | 2000-02-11 20:27:07 +0000 | [diff] [blame] | 197 | |
Jeremy Hylton | ad9a86f | 2000-02-16 00:55:44 +0000 | [diff] [blame] | 198 | def generateArglist(self, arglist): |
| 199 | args = [] |
| 200 | extra = [] |
| 201 | count = 0 |
| 202 | for elt in arglist: |
| 203 | if type(elt) == types.StringType: |
| 204 | args.append(elt) |
| 205 | elif type(elt) == types.TupleType: |
Jeremy Hylton | 3ec7e2c | 2000-02-17 22:09:35 +0000 | [diff] [blame] | 206 | args.append(TupleArg(count, elt)) |
Jeremy Hylton | ad9a86f | 2000-02-16 00:55:44 +0000 | [diff] [blame] | 207 | count = count + 1 |
| 208 | extra.extend(misc.flatten(elt)) |
| 209 | else: |
| 210 | raise ValueError, "unexpect argument type:", elt |
| 211 | return args + extra, count |
| 212 | |
| 213 | def generateArgUnpack(self, args): |
| 214 | count = 0 |
| 215 | for arg in args: |
| 216 | if type(arg) == types.TupleType: |
| 217 | self.emit('LOAD_FAST', '.nested%d' % count) |
| 218 | count = count + 1 |
| 219 | self.unpackTuple(arg) |
| 220 | |
| 221 | def unpackTuple(self, tup): |
| 222 | self.emit('UNPACK_TUPLE', len(tup)) |
| 223 | for elt in tup: |
| 224 | if type(elt) == types.TupleType: |
| 225 | self.unpackTuple(elt) |
| 226 | else: |
| 227 | self.emit('STORE_FAST', elt) |
| 228 | |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 229 | def generateFunctionCode(self, func): |
Jeremy Hylton | 76d01b8 | 2000-02-11 20:27:07 +0000 | [diff] [blame] | 230 | """Generate code for a function body""" |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 231 | self._generateFunctionOrLambdaCode(func) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 232 | self.emit('LOAD_CONST', None) |
| 233 | self.emit('RETURN_VALUE') |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 234 | |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 235 | def generateLambdaCode(self, func): |
| 236 | self._generateFunctionOrLambdaCode(func) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 237 | self.emit('RETURN_VALUE') |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 238 | |
| 239 | def generateClassCode(self, klass): |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 240 | self.code = PyAssembler(name=klass.name, |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 241 | filename=self.filename) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 242 | self.emit('SET_LINENO', klass.lineno) |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 243 | lnf = walk(klass.code, LocalNameFinder(), 0) |
| 244 | self.locals.push(lnf.getLocals()) |
| 245 | walk(klass.code, self) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 246 | self.emit('LOAD_LOCALS') |
| 247 | self.emit('RETURN_VALUE') |
Jeremy Hylton | 76d01b8 | 2000-02-11 20:27:07 +0000 | [diff] [blame] | 248 | |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 249 | def asConst(self): |
| 250 | """Create a Python code object.""" |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 251 | if self.namespace == self.OPTIMIZED: |
| 252 | self.code.setOptimized() |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 253 | return self.code.makeCodeObject() |
Jeremy Hylton | 53187f3 | 2000-02-08 19:01:29 +0000 | [diff] [blame] | 254 | |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 255 | def isLocalName(self, name): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 256 | return self.locals.top().has_elt(name) |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 257 | |
Jeremy Hylton | 3e0910c | 2000-02-10 17:20:39 +0000 | [diff] [blame] | 258 | def _nameOp(self, prefix, name): |
| 259 | if self.isLocalName(name): |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 260 | if self.namespace == self.OPTIMIZED: |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 261 | self.emit(prefix + '_FAST', name) |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 262 | else: |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 263 | self.emit(prefix + '_NAME', name) |
Jeremy Hylton | 3e0910c | 2000-02-10 17:20:39 +0000 | [diff] [blame] | 264 | else: |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 265 | self.emit(prefix + '_GLOBAL', name) |
Jeremy Hylton | 3e0910c | 2000-02-10 17:20:39 +0000 | [diff] [blame] | 266 | |
| 267 | def storeName(self, name): |
| 268 | self._nameOp('STORE', name) |
| 269 | |
| 270 | def loadName(self, name): |
| 271 | self._nameOp('LOAD', name) |
| 272 | |
| 273 | def delName(self, name): |
| 274 | self._nameOp('DELETE', name) |
| 275 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 276 | def visitNULL(self, node): |
| 277 | """Method exists only to stop warning in -v mode""" |
| 278 | pass |
| 279 | |
| 280 | visitStmt = visitNULL |
| 281 | visitGlobal = visitNULL |
| 282 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 283 | def visitDiscard(self, node): |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 284 | self.visit(node.expr) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 285 | self.emit('POP_TOP') |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 286 | return 1 |
| 287 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 288 | def visitPass(self, node): |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 289 | self.emit('SET_LINENO', node.lineno) |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 290 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 291 | def visitModule(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 292 | lnf = walk(node.node, LocalNameFinder(), 0) |
| 293 | self.locals.push(lnf.getLocals()) |
Jeremy Hylton | 0fdffcf | 2000-02-04 19:37:35 +0000 | [diff] [blame] | 294 | self.visit(node.node) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 295 | self.emit('LOAD_CONST', None) |
| 296 | self.emit('RETURN_VALUE') |
Jeremy Hylton | 0fdffcf | 2000-02-04 19:37:35 +0000 | [diff] [blame] | 297 | return 1 |
| 298 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 299 | def visitImport(self, node): |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 300 | self.emit('SET_LINENO', node.lineno) |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 301 | for name in node.names: |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 302 | self.emit('IMPORT_NAME', name) |
Jeremy Hylton | 3e0910c | 2000-02-10 17:20:39 +0000 | [diff] [blame] | 303 | self.storeName(name) |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 304 | |
| 305 | def visitFrom(self, node): |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 306 | self.emit('SET_LINENO', node.lineno) |
| 307 | self.emit('IMPORT_NAME', node.modname) |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 308 | for name in node.names: |
Jeremy Hylton | 126960b | 2000-02-14 21:33:10 +0000 | [diff] [blame] | 309 | if name == '*': |
| 310 | self.namespace = 0 |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 311 | self.emit('IMPORT_FROM', name) |
| 312 | self.emit('POP_TOP') |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 313 | |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 314 | def visitClassdef(self, node): |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 315 | self.emit('SET_LINENO', node.lineno) |
| 316 | self.emit('LOAD_CONST', node.name) |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 317 | for base in node.bases: |
| 318 | self.visit(base) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 319 | self.emit('BUILD_TUPLE', len(node.bases)) |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 320 | classBody = CodeGenerator(self.filename) |
| 321 | classBody.generateClassCode(node) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 322 | self.emit('LOAD_CONST', classBody) |
| 323 | self.emit('MAKE_FUNCTION', 0) |
| 324 | self.emit('CALL_FUNCTION', 0) |
| 325 | self.emit('BUILD_CLASS') |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 326 | self.storeName(node.name) |
| 327 | return 1 |
| 328 | |
Jeremy Hylton | 76d01b8 | 2000-02-11 20:27:07 +0000 | [diff] [blame] | 329 | def _visitFuncOrLambda(self, node, kind): |
| 330 | """Code common to Function and Lambda nodes""" |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 331 | codeBody = CodeGenerator(self.filename) |
| 332 | getattr(codeBody, 'generate%sCode' % kind)(node) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 333 | self.emit('SET_LINENO', node.lineno) |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 334 | for default in node.defaults: |
| 335 | self.visit(default) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 336 | self.emit('LOAD_CONST', codeBody) |
| 337 | self.emit('MAKE_FUNCTION', len(node.defaults)) |
Jeremy Hylton | 76d01b8 | 2000-02-11 20:27:07 +0000 | [diff] [blame] | 338 | |
| 339 | def visitFunction(self, node): |
| 340 | self._visitFuncOrLambda(node, 'Function') |
Jeremy Hylton | 3e0910c | 2000-02-10 17:20:39 +0000 | [diff] [blame] | 341 | self.storeName(node.name) |
Jeremy Hylton | 0fdffcf | 2000-02-04 19:37:35 +0000 | [diff] [blame] | 342 | return 1 |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 343 | |
Jeremy Hylton | 76d01b8 | 2000-02-11 20:27:07 +0000 | [diff] [blame] | 344 | def visitLambda(self, node): |
| 345 | node.name = '<lambda>' |
Jeremy Hylton | 76d01b8 | 2000-02-11 20:27:07 +0000 | [diff] [blame] | 346 | self._visitFuncOrLambda(node, 'Lambda') |
| 347 | return 1 |
| 348 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 349 | def visitCallFunc(self, node): |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 350 | pos = 0 |
| 351 | kw = 0 |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 352 | if hasattr(node, 'lineno'): |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 353 | self.emit('SET_LINENO', node.lineno) |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 354 | self.visit(node.node) |
| 355 | for arg in node.args: |
| 356 | self.visit(arg) |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 357 | if isinstance(arg, ast.Keyword): |
| 358 | kw = kw + 1 |
| 359 | else: |
| 360 | pos = pos + 1 |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 361 | self.emit('CALL_FUNCTION', kw << 8 | pos) |
| 362 | return 1 |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 363 | |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 364 | def visitKeyword(self, node): |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 365 | self.emit('LOAD_CONST', node.name) |
Jeremy Hylton | 3050d51 | 2000-02-12 00:12:38 +0000 | [diff] [blame] | 366 | self.visit(node.expr) |
| 367 | return 1 |
| 368 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 369 | def visitIf(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 370 | after = StackRef() |
| 371 | for test, suite in node.tests: |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 372 | if hasattr(test, 'lineno'): |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 373 | self.emit('SET_LINENO', test.lineno) |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 374 | else: |
| 375 | print "warning", "no line number" |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 376 | self.visit(test) |
| 377 | dest = StackRef() |
| 378 | self.emit('JUMP_IF_FALSE', dest) |
| 379 | self.emit('POP_TOP') |
| 380 | self.visit(suite) |
| 381 | self.emit('JUMP_FORWARD', after) |
| 382 | dest.bind(self.code.getCurInst()) |
| 383 | self.emit('POP_TOP') |
| 384 | if node.else_: |
| 385 | self.visit(node.else_) |
| 386 | after.bind(self.code.getCurInst()) |
| 387 | return 1 |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 388 | |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 389 | def startLoop(self): |
| 390 | l = Loop() |
| 391 | self.loops.push(l) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 392 | self.emit('SETUP_LOOP', l.extentAnchor) |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 393 | return l |
| 394 | |
| 395 | def finishLoop(self): |
| 396 | l = self.loops.pop() |
| 397 | i = self.code.getCurInst() |
| 398 | l.extentAnchor.bind(self.code.getCurInst()) |
| 399 | |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 400 | def visitFor(self, node): |
| 401 | # three refs needed |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 402 | anchor = StackRef() |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 403 | |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 404 | self.emit('SET_LINENO', node.lineno) |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 405 | l = self.startLoop() |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 406 | self.visit(node.list) |
| 407 | self.visit(ast.Const(0)) |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 408 | l.startAnchor.bind(self.code.getCurInst()) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 409 | self.emit('SET_LINENO', node.lineno) |
| 410 | self.emit('FOR_LOOP', anchor) |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 411 | self.visit(node.assign) |
| 412 | self.visit(node.body) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 413 | self.emit('JUMP_ABSOLUTE', l.startAnchor) |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 414 | anchor.bind(self.code.getCurInst()) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 415 | self.emit('POP_BLOCK') |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 416 | if node.else_: |
| 417 | self.visit(node.else_) |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 418 | self.finishLoop() |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 419 | return 1 |
| 420 | |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 421 | def visitWhile(self, node): |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 422 | self.emit('SET_LINENO', node.lineno) |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 423 | l = self.startLoop() |
| 424 | if node.else_: |
| 425 | lElse = StackRef() |
| 426 | else: |
| 427 | lElse = l.breakAnchor |
| 428 | l.startAnchor.bind(self.code.getCurInst()) |
Jeremy Hylton | ad9a86f | 2000-02-16 00:55:44 +0000 | [diff] [blame] | 429 | if hasattr(node.test, 'lineno'): |
| 430 | self.emit('SET_LINENO', node.test.lineno) |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 431 | self.visit(node.test) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 432 | self.emit('JUMP_IF_FALSE', lElse) |
| 433 | self.emit('POP_TOP') |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 434 | self.visit(node.body) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 435 | self.emit('JUMP_ABSOLUTE', l.startAnchor) |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 436 | # note that lElse may be an alias for l.breakAnchor |
| 437 | lElse.bind(self.code.getCurInst()) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 438 | self.emit('POP_TOP') |
| 439 | self.emit('POP_BLOCK') |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 440 | if node.else_: |
| 441 | self.visit(node.else_) |
| 442 | self.finishLoop() |
| 443 | return 1 |
| 444 | |
| 445 | def visitBreak(self, node): |
| 446 | if not self.loops: |
| 447 | raise SyntaxError, "'break' outside loop" |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 448 | self.emit('SET_LINENO', node.lineno) |
| 449 | self.emit('BREAK_LOOP') |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 450 | |
| 451 | def visitContinue(self, node): |
| 452 | if not self.loops: |
| 453 | raise SyntaxError, "'continue' outside loop" |
| 454 | l = self.loops.top() |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 455 | self.emit('SET_LINENO', node.lineno) |
| 456 | self.emit('JUMP_ABSOLUTE', l.startAnchor) |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 457 | |
Jeremy Hylton | 4f6bcd8 | 2000-02-15 23:45:26 +0000 | [diff] [blame] | 458 | def visitTryExcept(self, node): |
| 459 | # XXX need to figure out exactly what is on the stack when an |
| 460 | # exception is raised and the first handler is checked |
| 461 | handlers = StackRef() |
| 462 | end = StackRef() |
| 463 | if node.else_: |
| 464 | lElse = StackRef() |
| 465 | else: |
| 466 | lElse = end |
| 467 | self.emit('SET_LINENO', node.lineno) |
| 468 | self.emit('SETUP_EXCEPT', handlers) |
| 469 | self.visit(node.body) |
| 470 | self.emit('POP_BLOCK') |
| 471 | self.emit('JUMP_FORWARD', lElse) |
| 472 | handlers.bind(self.code.getCurInst()) |
| 473 | |
| 474 | last = len(node.handlers) - 1 |
| 475 | for i in range(len(node.handlers)): |
| 476 | expr, target, body = node.handlers[i] |
| 477 | if hasattr(expr, 'lineno'): |
| 478 | self.emit('SET_LINENO', expr.lineno) |
| 479 | if expr: |
| 480 | self.emit('DUP_TOP') |
| 481 | self.visit(expr) |
| 482 | self.emit('COMPARE_OP', "exception match") |
| 483 | next = StackRef() |
| 484 | self.emit('JUMP_IF_FALSE', next) |
| 485 | self.emit('POP_TOP') |
| 486 | self.emit('POP_TOP') |
| 487 | if target: |
| 488 | self.visit(target) |
| 489 | else: |
| 490 | self.emit('POP_TOP') |
| 491 | self.emit('POP_TOP') |
| 492 | self.visit(body) |
| 493 | self.emit('JUMP_FORWARD', end) |
Jeremy Hylton | ad9a86f | 2000-02-16 00:55:44 +0000 | [diff] [blame] | 494 | if expr: |
| 495 | next.bind(self.code.getCurInst()) |
Jeremy Hylton | 4f6bcd8 | 2000-02-15 23:45:26 +0000 | [diff] [blame] | 496 | self.emit('POP_TOP') |
| 497 | self.emit('END_FINALLY') |
| 498 | if node.else_: |
| 499 | lElse.bind(self.code.getCurInst()) |
| 500 | self.visit(node.else_) |
| 501 | end.bind(self.code.getCurInst()) |
| 502 | return 1 |
| 503 | |
| 504 | def visitTryFinally(self, node): |
| 505 | final = StackRef() |
| 506 | self.emit('SET_LINENO', node.lineno) |
| 507 | self.emit('SETUP_FINALLY', final) |
| 508 | self.visit(node.body) |
| 509 | self.emit('POP_BLOCK') |
| 510 | self.emit('LOAD_CONST', None) |
| 511 | final.bind(self.code.getCurInst()) |
| 512 | self.visit(node.final) |
| 513 | self.emit('END_FINALLY') |
| 514 | return 1 |
| 515 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 516 | def visitCompare(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 517 | """Comment from compile.c follows: |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 518 | |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 519 | The following code is generated for all but the last |
| 520 | comparison in a chain: |
| 521 | |
| 522 | label: on stack: opcode: jump to: |
| 523 | |
| 524 | a <code to load b> |
| 525 | a, b DUP_TOP |
| 526 | a, b, b ROT_THREE |
| 527 | b, a, b COMPARE_OP |
| 528 | b, 0-or-1 JUMP_IF_FALSE L1 |
| 529 | b, 1 POP_TOP |
| 530 | b |
| 531 | |
| 532 | We are now ready to repeat this sequence for the next |
| 533 | comparison in the chain. |
| 534 | |
| 535 | For the last we generate: |
| 536 | |
| 537 | b <code to load c> |
| 538 | b, c COMPARE_OP |
| 539 | 0-or-1 |
| 540 | |
| 541 | If there were any jumps to L1 (i.e., there was more than one |
| 542 | comparison), we generate: |
| 543 | |
| 544 | 0-or-1 JUMP_FORWARD L2 |
| 545 | L1: b, 0 ROT_TWO |
| 546 | 0, b POP_TOP |
| 547 | 0 |
| 548 | L2: 0-or-1 |
| 549 | """ |
| 550 | self.visit(node.expr) |
| 551 | # if refs are never emitted, subsequent bind call has no effect |
| 552 | l1 = StackRef() |
| 553 | l2 = StackRef() |
| 554 | for op, code in node.ops[:-1]: |
| 555 | # emit every comparison except the last |
| 556 | self.visit(code) |
| 557 | self.emit('DUP_TOP') |
| 558 | self.emit('ROT_THREE') |
| 559 | self.emit('COMPARE_OP', op) |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 560 | # dupTop and compareOp cancel stack effect |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 561 | self.emit('JUMP_IF_FALSE', l1) |
| 562 | self.emit('POP_TOP') |
| 563 | if node.ops: |
| 564 | # emit the last comparison |
| 565 | op, code = node.ops[-1] |
| 566 | self.visit(code) |
| 567 | self.emit('COMPARE_OP', op) |
| 568 | if len(node.ops) > 1: |
| 569 | self.emit('JUMP_FORWARD', l2) |
| 570 | l1.bind(self.code.getCurInst()) |
| 571 | self.emit('ROT_TWO') |
| 572 | self.emit('POP_TOP') |
| 573 | l2.bind(self.code.getCurInst()) |
| 574 | return 1 |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 575 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 576 | def visitGetattr(self, node): |
| 577 | self.visit(node.expr) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 578 | self.emit('LOAD_ATTR', node.attrname) |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 579 | return 1 |
| 580 | |
| 581 | def visitSubscript(self, node): |
| 582 | self.visit(node.expr) |
Jeremy Hylton | 4f6bcd8 | 2000-02-15 23:45:26 +0000 | [diff] [blame] | 583 | for sub in node.subs: |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 584 | self.visit(sub) |
Jeremy Hylton | 4f6bcd8 | 2000-02-15 23:45:26 +0000 | [diff] [blame] | 585 | if len(node.subs) > 1: |
| 586 | self.emit('BUILD_TUPLE', len(node.subs)) |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 587 | if node.flags == 'OP_APPLY': |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 588 | self.emit('BINARY_SUBSCR') |
| 589 | elif node.flags == 'OP_ASSIGN': |
| 590 | self.emit('STORE_SUBSCR') |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 591 | elif node.flags == 'OP_DELETE': |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 592 | self.emit('DELETE_SUBSCR') |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 593 | return 1 |
| 594 | |
| 595 | def visitSlice(self, node): |
| 596 | self.visit(node.expr) |
| 597 | slice = 0 |
| 598 | if node.lower: |
| 599 | self.visit(node.lower) |
| 600 | slice = slice | 1 |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 601 | if node.upper: |
| 602 | self.visit(node.upper) |
| 603 | slice = slice | 2 |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 604 | if node.flags == 'OP_APPLY': |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 605 | self.emit('SLICE+%d' % slice) |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 606 | elif node.flags == 'OP_ASSIGN': |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 607 | self.emit('STORE_SLICE+%d' % slice) |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 608 | elif node.flags == 'OP_DELETE': |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 609 | self.emit('DELETE_SLICE+%d' % slice) |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 610 | else: |
Jeremy Hylton | 4f6bcd8 | 2000-02-15 23:45:26 +0000 | [diff] [blame] | 611 | print "weird slice", node.flags |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 612 | raise |
| 613 | return 1 |
| 614 | |
Jeremy Hylton | 4f6bcd8 | 2000-02-15 23:45:26 +0000 | [diff] [blame] | 615 | def visitSliceobj(self, node): |
| 616 | for child in node.nodes: |
| 617 | print child |
| 618 | self.visit(child) |
| 619 | self.emit('BUILD_SLICE', len(node.nodes)) |
| 620 | return 1 |
| 621 | |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 622 | def visitAssign(self, node): |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 623 | self.emit('SET_LINENO', node.lineno) |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 624 | self.visit(node.expr) |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 625 | dups = len(node.nodes) - 1 |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 626 | for i in range(len(node.nodes)): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 627 | elt = node.nodes[i] |
| 628 | if i < dups: |
| 629 | self.emit('DUP_TOP') |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 630 | if isinstance(elt, ast.Node): |
| 631 | self.visit(elt) |
| 632 | return 1 |
| 633 | |
| 634 | def visitAssName(self, node): |
Jeremy Hylton | 3ec7e2c | 2000-02-17 22:09:35 +0000 | [diff] [blame] | 635 | if node.flags == 'OP_ASSIGN': |
| 636 | self.storeName(node.name) |
| 637 | elif node.flags == 'OP_DELETE': |
| 638 | self.delName(node.name) |
| 639 | else: |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 640 | print "oops", node.flags |
Jeremy Hylton | 3ec7e2c | 2000-02-17 22:09:35 +0000 | [diff] [blame] | 641 | return 1 |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 642 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 643 | def visitAssAttr(self, node): |
Jeremy Hylton | ad9a86f | 2000-02-16 00:55:44 +0000 | [diff] [blame] | 644 | self.visit(node.expr) |
| 645 | if node.flags == 'OP_ASSIGN': |
| 646 | self.emit('STORE_ATTR', node.attrname) |
| 647 | elif node.flags == 'OP_DELETE': |
| 648 | self.emit('DELETE_ATTR', node.attrname) |
| 649 | else: |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 650 | print "warning: unexpected flags:", node.flags |
| 651 | print node |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 652 | return 1 |
| 653 | |
| 654 | def visitAssTuple(self, node): |
Jeremy Hylton | 3ec7e2c | 2000-02-17 22:09:35 +0000 | [diff] [blame] | 655 | if findOp(node) != 'OP_DELETE': |
| 656 | self.emit('UNPACK_TUPLE', len(node.nodes)) |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 657 | for child in node.nodes: |
| 658 | self.visit(child) |
| 659 | return 1 |
| 660 | |
| 661 | visitAssList = visitAssTuple |
| 662 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 663 | def binaryOp(self, node, op): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 664 | self.visit(node.left) |
| 665 | self.visit(node.right) |
| 666 | self.emit(op) |
| 667 | return 1 |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 668 | |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 669 | def unaryOp(self, node, op): |
| 670 | self.visit(node.expr) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 671 | self.emit(op) |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 672 | return 1 |
| 673 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 674 | def visitAdd(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 675 | return self.binaryOp(node, 'BINARY_ADD') |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 676 | |
| 677 | def visitSub(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 678 | return self.binaryOp(node, 'BINARY_SUBTRACT') |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 679 | |
| 680 | def visitMul(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 681 | return self.binaryOp(node, 'BINARY_MULTIPLY') |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 682 | |
| 683 | def visitDiv(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 684 | return self.binaryOp(node, 'BINARY_DIVIDE') |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 685 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 686 | def visitMod(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 687 | return self.binaryOp(node, 'BINARY_MODULO') |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 688 | |
Jeremy Hylton | 126960b | 2000-02-14 21:33:10 +0000 | [diff] [blame] | 689 | def visitPower(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 690 | return self.binaryOp(node, 'BINARY_POWER') |
Jeremy Hylton | 126960b | 2000-02-14 21:33:10 +0000 | [diff] [blame] | 691 | |
| 692 | def visitLeftShift(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 693 | return self.binaryOp(node, 'BINARY_LSHIFT') |
Jeremy Hylton | 126960b | 2000-02-14 21:33:10 +0000 | [diff] [blame] | 694 | |
| 695 | def visitRightShift(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 696 | return self.binaryOp(node, 'BINARY_RSHIFT') |
Jeremy Hylton | 126960b | 2000-02-14 21:33:10 +0000 | [diff] [blame] | 697 | |
| 698 | def visitInvert(self, node): |
| 699 | return self.unaryOp(node, 'UNARY_INVERT') |
| 700 | |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 701 | def visitUnarySub(self, node): |
| 702 | return self.unaryOp(node, 'UNARY_NEGATIVE') |
| 703 | |
| 704 | def visitUnaryAdd(self, node): |
| 705 | return self.unaryOp(node, 'UNARY_POSITIVE') |
| 706 | |
| 707 | def visitUnaryInvert(self, node): |
| 708 | return self.unaryOp(node, 'UNARY_INVERT') |
| 709 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 710 | def visitNot(self, node): |
| 711 | return self.unaryOp(node, 'UNARY_NOT') |
| 712 | |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 713 | def visitBackquote(self, node): |
| 714 | return self.unaryOp(node, 'UNARY_CONVERT') |
| 715 | |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 716 | def bitOp(self, nodes, op): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 717 | self.visit(nodes[0]) |
| 718 | for node in nodes[1:]: |
| 719 | self.visit(node) |
| 720 | self.emit(op) |
| 721 | return 1 |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 722 | |
| 723 | def visitBitand(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 724 | return self.bitOp(node.nodes, 'BINARY_AND') |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 725 | |
| 726 | def visitBitor(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 727 | return self.bitOp(node.nodes, 'BINARY_OR') |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 728 | |
| 729 | def visitBitxor(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 730 | return self.bitOp(node.nodes, 'BINARY_XOR') |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 731 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 732 | def visitTest(self, node, jump): |
| 733 | end = StackRef() |
| 734 | for child in node.nodes[:-1]: |
| 735 | self.visit(child) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 736 | self.emit(jump, end) |
| 737 | self.emit('POP_TOP') |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 738 | self.visit(node.nodes[-1]) |
| 739 | end.bind(self.code.getCurInst()) |
| 740 | return 1 |
| 741 | |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 742 | def visitAssert(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 743 | # XXX __debug__ and AssertionError appear to be special cases |
| 744 | # -- they are always loaded as globals even if there are local |
| 745 | # names. I guess this is a sort of renaming op. |
| 746 | skip = StackRef() |
| 747 | self.emit('SET_LINENO', node.lineno) |
| 748 | self.emit('LOAD_GLOBAL', '__debug__') |
| 749 | self.emit('JUMP_IF_FALSE', skip) |
| 750 | self.emit('POP_TOP') |
| 751 | self.visit(node.test) |
| 752 | self.emit('JUMP_IF_TRUE', skip) |
| 753 | self.emit('LOAD_GLOBAL', 'AssertionError') |
| 754 | self.visit(node.fail) |
| 755 | self.emit('RAISE_VARARGS', 2) |
| 756 | skip.bind(self.code.getCurInst()) |
| 757 | self.emit('POP_TOP') |
| 758 | return 1 |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 759 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 760 | def visitAnd(self, node): |
| 761 | return self.visitTest(node, 'JUMP_IF_FALSE') |
| 762 | |
| 763 | def visitOr(self, node): |
| 764 | return self.visitTest(node, 'JUMP_IF_TRUE') |
| 765 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 766 | def visitName(self, node): |
Jeremy Hylton | 3e0910c | 2000-02-10 17:20:39 +0000 | [diff] [blame] | 767 | self.loadName(node.name) |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 768 | |
| 769 | def visitConst(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 770 | self.emit('LOAD_CONST', node.value) |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 771 | return 1 |
| 772 | |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 773 | def visitEllipsis(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 774 | self.emit('LOAD_CONST', Ellipsis) |
| 775 | return 1 |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 776 | |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 777 | def visitTuple(self, node): |
| 778 | for elt in node.nodes: |
| 779 | self.visit(elt) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 780 | self.emit('BUILD_TUPLE', len(node.nodes)) |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 781 | return 1 |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 782 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 783 | def visitList(self, node): |
| 784 | for elt in node.nodes: |
| 785 | self.visit(elt) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 786 | self.emit('BUILD_LIST', len(node.nodes)) |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 787 | return 1 |
| 788 | |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 789 | def visitDict(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 790 | self.emit('BUILD_MAP', 0) |
| 791 | for k, v in node.items: |
| 792 | # XXX need to add set lineno when there aren't constants |
| 793 | self.emit('DUP_TOP') |
| 794 | self.visit(v) |
| 795 | self.emit('ROT_TWO') |
| 796 | self.visit(k) |
| 797 | self.emit('STORE_SUBSCR') |
| 798 | return 1 |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 799 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 800 | def visitReturn(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 801 | self.emit('SET_LINENO', node.lineno) |
| 802 | self.visit(node.value) |
| 803 | self.emit('RETURN_VALUE') |
| 804 | return 1 |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 805 | |
| 806 | def visitRaise(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 807 | self.emit('SET_LINENO', node.lineno) |
| 808 | n = 0 |
| 809 | if node.expr1: |
| 810 | self.visit(node.expr1) |
| 811 | n = n + 1 |
| 812 | if node.expr2: |
| 813 | self.visit(node.expr2) |
| 814 | n = n + 1 |
| 815 | if node.expr3: |
| 816 | self.visit(node.expr3) |
| 817 | n = n + 1 |
| 818 | self.emit('RAISE_VARARGS', n) |
| 819 | return 1 |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 820 | |
| 821 | def visitPrint(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 822 | self.emit('SET_LINENO', node.lineno) |
| 823 | for child in node.nodes: |
| 824 | self.visit(child) |
| 825 | self.emit('PRINT_ITEM') |
| 826 | return 1 |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 827 | |
| 828 | def visitPrintnl(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 829 | self.visitPrint(node) |
| 830 | self.emit('PRINT_NEWLINE') |
| 831 | return 1 |
Jeremy Hylton | 0fdffcf | 2000-02-04 19:37:35 +0000 | [diff] [blame] | 832 | |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 833 | def visitExec(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 834 | self.visit(node.expr) |
| 835 | if node.locals is None: |
| 836 | self.emit('LOAD_CONST', None) |
| 837 | else: |
| 838 | self.visit(node.locals) |
| 839 | if node.globals is None: |
| 840 | self.emit('DUP_TOP') |
| 841 | else: |
| 842 | self.visit(node.globals) |
| 843 | self.emit('EXEC_STMT') |
Jeremy Hylton | 3ec7e2c | 2000-02-17 22:09:35 +0000 | [diff] [blame] | 844 | return 1 |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 845 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 846 | class LocalNameFinder: |
| 847 | def __init__(self, names=()): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 848 | self.names = misc.Set() |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 849 | self.globals = misc.Set() |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 850 | for name in names: |
| 851 | self.names.add(name) |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 852 | |
| 853 | def getLocals(self): |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 854 | for elt in self.globals.items(): |
| 855 | if self.names.has_elt(elt): |
| 856 | self.names.remove(elt) |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 857 | return self.names |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 858 | |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 859 | def visitDict(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 860 | return 1 |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 861 | |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 862 | def visitGlobal(self, node): |
| 863 | for name in node.names: |
| 864 | self.globals.add(name) |
| 865 | return 1 |
| 866 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 867 | def visitFunction(self, node): |
| 868 | self.names.add(node.name) |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 869 | return 1 |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 870 | |
Jeremy Hylton | 76d01b8 | 2000-02-11 20:27:07 +0000 | [diff] [blame] | 871 | def visitLambda(self, node): |
| 872 | return 1 |
| 873 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 874 | def visitImport(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 875 | for name in node.names: |
| 876 | self.names.add(name) |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 877 | |
| 878 | def visitFrom(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 879 | for name in node.names: |
| 880 | self.names.add(name) |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 881 | |
| 882 | def visitClassdef(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 883 | self.names.add(node.name) |
| 884 | return 1 |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 885 | |
| 886 | def visitAssName(self, node): |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 887 | self.names.add(node.name) |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 888 | |
Jeremy Hylton | 3ec7e2c | 2000-02-17 22:09:35 +0000 | [diff] [blame] | 889 | class OpFinder: |
| 890 | def __init__(self): |
| 891 | self.op = None |
| 892 | def visitAssName(self, node): |
| 893 | if self.op is None: |
| 894 | self.op = node.flags |
| 895 | elif self.op != node.flags: |
| 896 | raise ValueError, "mixed ops in stmt" |
| 897 | |
| 898 | def findOp(node): |
| 899 | v = OpFinder() |
| 900 | walk(node, v) |
| 901 | return v.op |
| 902 | |
Jeremy Hylton | 4eb504c | 2000-02-10 20:55:50 +0000 | [diff] [blame] | 903 | class Loop: |
| 904 | def __init__(self): |
| 905 | self.startAnchor = StackRef() |
| 906 | self.breakAnchor = StackRef() |
| 907 | self.extentAnchor = StackRef() |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 908 | |
Jeremy Hylton | 53187f3 | 2000-02-08 19:01:29 +0000 | [diff] [blame] | 909 | class CompiledModule: |
| 910 | """Store the code object for a compiled module |
| 911 | |
| 912 | XXX Not clear how the code objects will be stored. Seems possible |
| 913 | that a single code attribute is sufficient, because it will |
| 914 | contains references to all the need code objects. That might be |
| 915 | messy, though. |
| 916 | """ |
| 917 | MAGIC = (20121 | (ord('\r')<<16) | (ord('\n')<<24)) |
| 918 | |
| 919 | def __init__(self, source, filename): |
| 920 | self.source = source |
| 921 | self.filename = filename |
| 922 | |
| 923 | def compile(self): |
| 924 | t = transformer.Transformer() |
| 925 | self.ast = t.parsesuite(self.source) |
| 926 | cg = CodeGenerator(self.filename) |
Jeremy Hylton | ad9a86f | 2000-02-16 00:55:44 +0000 | [diff] [blame] | 927 | walk(self.ast, cg) |
Jeremy Hylton | a505812 | 2000-02-14 14:14:29 +0000 | [diff] [blame] | 928 | self.code = cg.asConst() |
Jeremy Hylton | 53187f3 | 2000-02-08 19:01:29 +0000 | [diff] [blame] | 929 | |
| 930 | def dump(self, path): |
| 931 | """create a .pyc file""" |
| 932 | f = open(path, 'wb') |
| 933 | f.write(self._pyc_header()) |
| 934 | marshal.dump(self.code, f) |
| 935 | f.close() |
| 936 | |
| 937 | def _pyc_header(self): |
| 938 | # compile.c uses marshal to write a long directly, with |
| 939 | # calling the interface that would also generate a 1-byte code |
| 940 | # to indicate the type of the value. simplest way to get the |
| 941 | # same effect is to call marshal and then skip the code. |
| 942 | magic = marshal.dumps(self.MAGIC)[1:] |
| 943 | mtime = os.stat(self.filename)[stat.ST_MTIME] |
| 944 | mtime = struct.pack('i', mtime) |
| 945 | return magic + mtime |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 946 | |
| 947 | def compile(filename): |
| 948 | buf = open(filename).read() |
| 949 | mod = CompiledModule(buf, filename) |
| 950 | mod.compile() |
| 951 | mod.dump(filename + 'c') |
| 952 | |
Jeremy Hylton | 8b6323d | 2000-02-04 00:28:21 +0000 | [diff] [blame] | 953 | if __name__ == "__main__": |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 954 | import getopt |
| 955 | |
Jeremy Hylton | ad9a86f | 2000-02-16 00:55:44 +0000 | [diff] [blame] | 956 | VERBOSE = 0 |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 957 | opts, args = getopt.getopt(sys.argv[1:], 'vq') |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 958 | for k, v in opts: |
| 959 | if k == '-v': |
Jeremy Hylton | ad9a86f | 2000-02-16 00:55:44 +0000 | [diff] [blame] | 960 | VERBOSE = 1 |
Jeremy Hylton | 4024560 | 2000-02-08 21:15:48 +0000 | [diff] [blame] | 961 | ASTVisitor.VERBOSE = ASTVisitor.VERBOSE + 1 |
Jeremy Hylton | 5e0ce53 | 2000-02-10 00:47:08 +0000 | [diff] [blame] | 962 | if k == '-q': |
| 963 | f = open('/dev/null', 'wb') |
| 964 | sys.stdout = f |
Jeremy Hylton | ad9a86f | 2000-02-16 00:55:44 +0000 | [diff] [blame] | 965 | if not args: |
| 966 | print "no files to compile" |
Jeremy Hylton | 53187f3 | 2000-02-08 19:01:29 +0000 | [diff] [blame] | 967 | else: |
Jeremy Hylton | ad9a86f | 2000-02-16 00:55:44 +0000 | [diff] [blame] | 968 | for filename in args: |
| 969 | if VERBOSE: |
| 970 | print filename |
Jeremy Hylton | 873bdc1 | 2000-02-17 17:56:29 +0000 | [diff] [blame] | 971 | compile(filename) |