1 #!/usr/bin/env python 2 3 """ 4 RSVP instruction classes. 5 6 Copyright (C) 2007, 2008 Paul Boddie <paul@boddie.org.uk> 7 8 This program is free software; you can redistribute it and/or modify it under 9 the terms of the GNU General Public License as published by the Free Software 10 Foundation; either version 3 of the License, or (at your option) any later 11 version. 12 13 This program is distributed in the hope that it will be useful, but WITHOUT 14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS 15 FOR A PARTICULAR PURPOSE. See the GNU General Public License for more 16 details. 17 18 You should have received a copy of the GNU General Public License along with 19 this program. If not, see <http://www.gnu.org/licenses/>. 20 """ 21 22 from micropython.inspect import Const, Instance 23 24 class Instruction: 25 26 "A generic instruction." 27 28 def __init__(self, attr=None): 29 self.attr = attr 30 31 def __repr__(self): 32 if self.attr is not None: 33 return "%s(%r)" % (self.__class__.__name__, self.attr) 34 else: 35 return "%s()" % self.__class__.__name__ 36 37 class StackRelativeInstruction(Instruction): 38 39 "An instruction operating on the local value stack." 40 41 def __repr__(self): 42 return "%s(%r)" % (self.__class__.__name__, self.attr.position) 43 44 SR = StackRelativeInstruction 45 46 class AddressRelativeInstruction(Instruction): 47 48 "An instruction accessing an object's attribute." 49 50 def __repr__(self): 51 position = self.attr.position 52 if isinstance(self.attr.parent, Instance): 53 location = "instance" 54 result = position 55 else: 56 location = self.attr.parent.location 57 58 # NOTE: Unpositioned attributes are handled here. 59 60 if location is not None and position is not None: 61 result = location + position + 1 62 else: 63 location = self.attr.parent.name 64 position = self.attr.name 65 result = None 66 return "%s(%r, %r -> %r)" % (self.__class__.__name__, location, position, result) 67 68 AR = AddressRelativeInstruction 69 70 class ImmediateInstruction(Instruction): 71 72 "An instruction loading an address directly." 73 74 def __repr__(self): 75 return "%s(%r)" % (self.__class__.__name__, self.attr.location) 76 77 Immediate = ImmediateInstruction 78 79 # Instructions operating on the value stack. 80 81 class LoadConst(Immediate): "Load the constant from the specified location." 82 class Duplicate(Instruction): "Duplicate the top of stack." 83 class Pop(Instruction): "Pop the top of stack." 84 85 # Access within an invocation frame. 86 87 class LoadName(SR): "Load the object from the given local attribute/variable." 88 class StoreName(SR): "Store the object in the given local attribute/variable." 89 class LoadTemp(SR): "Load the object from the given temporary location." 90 class StoreTemp(SR): "Store the object in the given temporary location." 91 92 # Access to address-relative data. 93 94 class MakeObject(Instruction): "Make a new object." 95 # ... DropObject not defined: Assume garbage collection. 96 class LoadAttr(AR): "Load the object from the given attribute." 97 class StoreAttr(AR): "Store an object in the given attribute." 98 class LoadAttrIndex(Instruction): "Load the object for the attribute with the given index." 99 class StoreAttrIndex(Instruction): "Store an object in the attribute with the given index." 100 101 # Access to invocation frames in preparation. 102 103 class MakeFrame(Instruction): "Make a new invocation frame." 104 class ReserveFrame(Instruction): "Reserve the given number of entries for the invocation frame." 105 class DropFrame(Instruction): "Drop an invocation frame." 106 class StoreFrame(Instruction): "Store an argument at the given frame location." 107 class StoreFrameIndex(Instruction): "Store an argument for the parameter with the given index." 108 class CheckFrame(Instruction): "Check the invocation frame for the target." 109 110 # Invocation-related instructions. 111 112 class Jump(Instruction): "Jump unconditionally." 113 class JumpIfFalse(Instruction): "Jump if the last evaluation gave a false result." 114 class JumpIfTrue(Instruction): "Jump if the last evaluation gave a true result." 115 class LoadCallable(Instruction): "Load the target of an invocation." 116 class LoadContext(Instruction): "Load the context of an invocation." 117 class CheckContext(Instruction): "Check the context of an invocation against the target, potentially discarding the context." 118 class RaiseException(Instruction): "Raise an exception." 119 class Return(Instruction): "Return a value from a subprogram." 120 class CheckException(Instruction): "Check the raised exception against another." 121 122 # vim: tabstop=4 expandtab shiftwidth=4