Squeak-dev January 2018

squeak-dev@lists.squeakfoundation.org

50 participants
171 discussions

The Inbox: System-akg.994.mcz
by commits＠source.squeak.org 12 Jan '18

12 Jan '18

Alistair Grant uploaded a new version of System to project The Inbox: http://source.squeak.org/inbox/System-akg.994.mcz ==================== Summary ==================== Name: System-akg.994 Author: akg Time: 8 January 2018, 3:24:14.764929 pm UUID: ff5974b8-48a2-4d89-92af-a4fc36269edf Ancestors: System-tpr.993 - Rename PrimitiveOSError class to PrimitiveError - Rename #isPrimitiveOSError to #isPrimitiveError PrimitiveError holds an errorName that indicates what type of error it is, e.g. an OS error, thus the class doesn't need the "OS" in the name. =============== Diff against System-tpr.993 =============== Item was added: + ----- Method: Object>>isPrimitiveError (in category '*system-support') ----- + isPrimitiveError + "Answer a boolean indicating if the receiver is an error object returned by a primitive" + ^false! Item was removed: - ----- Method: Object>>isPrimitiveOSError (in category '*System-Support-error handling') ----- - isPrimitiveOSError - ^false! Item was added: + Object subclass: #PrimitiveError + instanceVariableNames: 'errorName errorCode' + classVariableNames: '' + poolDictionaries: '' + category: 'System-Support'! + + !PrimitiveError commentStamp: 'akg 1/8/2018 15:09' prior: 0! + A PrimitiveError is used to answer a primitive failure code that has an associated operating system/library error. + + Instance Variables + errorName: <Symbol> + errorCode: <Integer> + + errorName + - typically #'operating system error' + + errorCode + - the value of the error, a signed 64-bit value, a representation imposed by the VM; specific clients must map this error value into an unsigned value as appropriate if required + + Typical usage is shown in the ficticious method below: + + primitiveOperation + <primitive: 'primitiveOperation' module: 'APlugin' error: error> + ^(error isPrimitiveError) + ifTrue: [ self processErrorCode: error errorCode ] + ifFalse: [ self primitiveFailed ].! Item was added: + ----- Method: PrimitiveError>>errorCode (in category 'accessing') ----- + errorCode + + ^errorCode! Item was added: + ----- Method: PrimitiveError>>errorCode: (in category 'accessing') ----- + errorCode: anInteger + + errorCode := anInteger! Item was added: + ----- Method: PrimitiveError>>errorName (in category 'accessing') ----- + errorName + + ^errorName! Item was added: + ----- Method: PrimitiveError>>errorName: (in category 'accessing') ----- + errorName: aSymbol + + errorName := aSymbol! Item was added: + ----- Method: PrimitiveError>>isPrimitiveError (in category 'testing') ----- + isPrimitiveError + "Answer a boolean indicating if the receiver is an error object returned by a primitive" + ^true! Item was removed: - Object subclass: #PrimitiveOSError - instanceVariableNames: 'errorName errorCode' - classVariableNames: '' - poolDictionaries: '' - category: 'System-Support'! - - !PrimitiveOSError commentStamp: 'eem 12/7/2017 19:31' prior: 0! - A PrimitiveOSError is used to answer a primitive failure code that has an associated operating system/library error. - - Instance Variables - errorName: <Symbol> - errorValue: <Integer> - - errorName - - typically #'operating system error' - - errorValue - - the value of the error, a signed 64-bit value, a representation imposed by the VM; specific clients must map this error value into an unsigned value as appropriate if required! Item was removed: - ----- Method: PrimitiveOSError>>errorCode (in category 'accessing') ----- - errorCode - - ^errorCode! Item was removed: - ----- Method: PrimitiveOSError>>errorCode: (in category 'accessing') ----- - errorCode: anObject - - errorCode := anObject! Item was removed: - ----- Method: PrimitiveOSError>>errorName (in category 'accessing') ----- - errorName - - ^errorName! Item was removed: - ----- Method: PrimitiveOSError>>errorName: (in category 'accessing') ----- - errorName: anObject - - errorName := anObject! Item was removed: - ----- Method: PrimitiveOSError>>isPrimitiveOSError (in category 'testing') ----- - isPrimitiveOSError - ^true! Item was changed: ----- Method: SmalltalkImage>>recreateSpecialObjectsArray (in category 'special objects') ----- recreateSpecialObjectsArray "Smalltalk recreateSpecialObjectsArray" "To external package developers: **** DO NOT OVERRIDE THIS METHOD. ***** If you are writing a plugin and need additional special object(s) for your own use, use addGCRoot() function and use own, separate special objects registry " "The Special Objects Array is an array of objects used by the Squeak virtual machine. Its contents are critical and accesses to it by the VM are unchecked, so don't even think of playing here unless you know what you are doing." | newArray | newArray := Array new: 60. "Nil false and true get used throughout the VM" newArray at: 1 put: nil. newArray at: 2 put: false. newArray at: 3 put: true. "This association holds the active process (a ProcessScheduler)" newArray at: 4 put: (self specialObjectsArray at: 4) "(self bindingOf: #Processor) but it answers an Alias". "Numerous classes below used for type checking and instantiation" newArray at: 5 put: Bitmap. newArray at: 6 put: SmallInteger. newArray at: 7 put: ByteString. newArray at: 8 put: Array. newArray at: 9 put: Smalltalk. newArray at: 10 put: BoxedFloat64. newArray at: 11 put: (self globals at: #Context). newArray at: 12 put: nil. "was BlockContext." newArray at: 13 put: Point. newArray at: 14 put: LargePositiveInteger. newArray at: 15 put: Display. newArray at: 16 put: Message. newArray at: 17 put: CompiledMethod. newArray at: 18 put: ((self specialObjectsArray at: 18) ifNil: [Semaphore new]). "low space Semaphore" newArray at: 19 put: Semaphore. newArray at: 20 put: Character. newArray at: 21 put: #doesNotUnderstand:. newArray at: 22 put: #cannotReturn:. newArray at: 23 put: nil. "This is the process signalling low space." "An array of the 32 selectors that are compiled as special bytecodes, paired alternately with the number of arguments each takes." newArray at: 24 put: #( #+ 1 #- 1 #< 1 #> 1 #<= 1 #>= 1 #= 1 #~= 1 #* 1 #/ 1 #\\ 1 #@ 1 #bitShift: 1 #// 1 #bitAnd: 1 #bitOr: 1 #at: 1 #at:put: 2 #size 0 #next 0 #nextPut: 1 #atEnd 0 #== 1 #class 0 #~~ 1 #value 0 #value: 1 #do: 1 #new 0 #new: 1 #x 0 #y 0 ). "An array of the 255 Characters in ascii order. Cog inlines table into machine code at: prim so do not regenerate it. This is nil in Spur, which has immediate Characters." newArray at: 25 put: (self specialObjectsArray at: 25). newArray at: 26 put: #mustBeBoolean. newArray at: 27 put: ByteArray. newArray at: 28 put: Process. "An array of up to 31 classes whose instances will have compact headers; an empty array in Spur" newArray at: 29 put: self compactClassesArray. newArray at: 30 put: ((self specialObjectsArray at: 30) ifNil: [Semaphore new]). "delay Semaphore" newArray at: 31 put: ((self specialObjectsArray at: 31) ifNil: [Semaphore new]). "user interrupt Semaphore" "Entries 32 - 34 unreferenced. Previously these contained prototype instances to be copied for fast initialization" newArray at: 32 put: nil. "was the prototype Float" newArray at: 33 put: nil. "was the prototype 4-byte LargePositiveInteger" newArray at: 34 put: nil. "was the prototype Point" newArray at: 35 put: #cannotInterpret:. newArray at: 36 put: nil. "was the prototype MethodContext" newArray at: 37 put: BlockClosure. newArray at: 38 put: nil. "was the prototype BlockContext" "array of objects referred to by external code" newArray at: 39 put: (self specialObjectsArray at: 39). "external semaphores" newArray at: 40 put: nil. "Reserved for Mutex in Cog VMs" newArray at: 41 put: ((self specialObjectsArray at: 41) ifNil: [LinkedList new]). "Reserved for a LinkedList instance for overlapped calls in CogMT" newArray at: 42 put: ((self specialObjectsArray at: 42) ifNil: [Semaphore new]). "finalization Semaphore" newArray at: 43 put: LargeNegativeInteger. "External objects for callout. Note: Written so that one can actually completely remove the FFI." newArray at: 44 put: (self at: #ExternalAddress ifAbsent: []). newArray at: 45 put: (self at: #ExternalStructure ifAbsent: []). newArray at: 46 put: (self at: #ExternalData ifAbsent: []). newArray at: 47 put: (self at: #ExternalFunction ifAbsent: []). newArray at: 48 put: (self at: #ExternalLibrary ifAbsent: []). newArray at: 49 put: #aboutToReturn:through:. newArray at: 50 put: #run:with:in:. "51 reserved for immutability message" newArray at: 51 put: #attemptToAssign:withIndex:. newArray at: 52 put: #(nil "nil => generic error" #'bad receiver' #'bad argument' #'bad index' #'bad number of arguments' #'inappropriate operation' #'unsupported operation' #'no modification' #'insufficient object memory' #'insufficient C memory' #'not found' #'bad method' #'internal error in named primitive machinery' #'object may move' #'resource limit exceeded' #'object is pinned' #'primitive write beyond end of object' #'object moved' #'object not pinned' #'callback error'), + {PrimitiveError new errorName: #'operating system error'; yourself}. - {PrimitiveOSError new errorName: #'operating system error'; yourself}. "53 to 55 are for Alien" newArray at: 53 put: (self at: #Alien ifAbsent: []). newArray at: 54 put: #invokeCallbackContext:. "use invokeCallback:stack:registers:jmpbuf: for old Alien callbacks." newArray at: 55 put: (self at: #UnsafeAlien ifAbsent: []). "Used to be WeakFinalizationList for WeakFinalizationList hasNewFinalization, obsoleted by ephemeron support." newArray at: 56 put: nil. "reserved for foreign callback process" newArray at: 57 put: (self specialObjectsArray at: 57 ifAbsent: []). newArray at: 58 put: #unusedBytecode. "59 reserved for Sista counter tripped message" newArray at: 59 put: #conditionalBranchCounterTrippedOn:. "60 reserved for Sista class trap message" newArray at: 60 put: #classTrapFor:. "Now replace the virtual machine's reference in one atomic operation" self specialObjectsArray becomeForward: newArray!

1 0

The Inbox: System-akg.994.mcz
by commits＠source.squeak.org 12 Jan '18

12 Jan '18

1 0

The Trunk: Kernel-eem.1143.mcz
by commits＠source.squeak.org 11 Jan '18

11 Jan '18

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1143.mcz ==================== Summary ==================== Name: Kernel-eem.1143 Author: eem Time: 11 January 2018, 12:46:50.669083 pm UUID: 304608ac-b9d3-459b-813b-fd0c960a5911 Ancestors: Kernel-eem.1142 CompiledBlock>>numCopiedValues has utility =============== Diff against Kernel-eem.1142 =============== Item was added: + ----- Method: CompiledBlock>>numCopiedValues (in category 'accessing') ----- + numCopiedValues + "Answer the number of copied values the receiver expects. + This is not fast as it is not expected to be needed from the + compiled block itself. It is available cheaply from a block + closure for the method." + + | locator scanner pc | + locator := BlockStartLocator new. + scanner := InstructionStream on: self outerCode. + [pc := scanner pc. + self == (scanner interpretNextInstructionFor: locator) ifTrue: + [^(self outerCode abstractBytecodeMessageAt: pc) arguments second]. + scanner atEnd] whileFalse. + self error: 'cannot find the block creation bytecode for this compiled block in its outer code.'!

1 0

Re: [squeak-dev] [Pharo-dev] Mutation of symbols
by Eliot Miranda 11 Jan '18

11 Jan '18

Hi Norbert, On Mon, Jan 8, 2018 at 1:37 PM, Norbert Hartl <norbert(a)hartl.name> wrote: > What is the purpose of > > ByteSymbol>>#privateAt:put: > ByteSymbol>>#string: > WideSymbol>>#privateAt:put: > WideSymbol>>#string: > > ? > > thanks, > > Norbert > I *think* they're a hack for creating new Symbols. A better approach would be to create a ByteString or a WideString and then use adoptInstance: to change the String's class to the relevant Symbol class. _,,,^..^,,,_ best, Eliot

1 0

The Trunk: Kernel-eem.1142.mcz
by commits＠source.squeak.org 11 Jan '18

11 Jan '18

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1142.mcz ==================== Summary ==================== Name: Kernel-eem.1142 Author: eem Time: 11 January 2018, 10:48:34.716679 am UUID: 7a417b5f-f076-48e5-804c-cce7235fe71b Ancestors: Kernel-eem.1141 Provide the full properties and pragmas protocol in CompiledBlock, deferring to outer method. (It would be nice to prune this at some stage). =============== Diff against Kernel-eem.1141 =============== Item was added: + ----- Method: CompiledBlock>>pragmas (in category 'accessing-pragmas & properties') ----- + pragmas + ^self homeMethod pragmas! Item was added: + ----- Method: CompiledBlock>>propertyKeysAndValuesDo: (in category 'accessing-pragmas & properties') ----- + propertyKeysAndValuesDo: aBlock + "Enumerate the receiver with all the keys and values." + ^self homeMethod propertyKeysAndValuesDo: aBlock! Item was added: + ----- Method: CompiledBlock>>propertyValueAt: (in category 'accessing-pragmas & properties') ----- + propertyValueAt: propName + ^self homeMethod propertyValueAt: propName! Item was added: + ----- Method: CompiledBlock>>propertyValueAt:ifAbsent: (in category 'accessing-pragmas & properties') ----- + propertyValueAt: propName ifAbsent: aBlock + ^self homeMethod propertyValueAt: propName ifAbsent: aBlock! Item was added: + ----- Method: CompiledBlock>>propertyValueAt:put: (in category 'accessing-pragmas & properties') ----- + propertyValueAt: propName put: propValue + "Set or add the property with key propName and value propValue. + If the receiver does not yet have a method properties create one and replace + the selector with it. Otherwise, either relace propValue in the method properties + or replace method properties with one containing the new property." + ^self homeMethod propertyValueAt: propName put: propValue! Item was added: + ----- Method: CompiledBlock>>removeProperty: (in category 'accessing-pragmas & properties') ----- + removeProperty: propName + "Remove the property propName if it exists. + Do _not_ raise an error if the property is missing." + ^self homeMethod removeProperty: propName! Item was added: + ----- Method: CompiledBlock>>removeProperty:ifAbsent: (in category 'accessing-pragmas & properties') ----- + removeProperty: propName ifAbsent: aBlock + "Remove the property propName if it exists. + Answer the evaluation of aBlock if the property is missing." + ^self homeMethod removeProperty: propName ifAbsent: aBlock!

1 0

The Trunk: Compiler-eem.372.mcz
by commits＠source.squeak.org 11 Jan '18

11 Jan '18

Eliot Miranda uploaded a new version of Compiler to project The Trunk: http://source.squeak.org/trunk/Compiler-eem.372.mcz ==================== Summary ==================== Name: Compiler-eem.372 Author: eem Time: 11 January 2018, 9:30:54.229387 am UUID: 692e5c85-e068-42df-9404-266f9bd3c93f Ancestors: Compiler-eem.371 Move BlockLocalTempCounter to Kernel. It is used to implement BlockClosure>>numTemps, which is used more broadly than simply the decompiler and debugger. =============== Diff against Compiler-eem.371 =============== Item was removed: - InstructionClient subclass: #BlockLocalTempCounter - instanceVariableNames: 'stackPointer scanner blockEnd joinOffsets' - classVariableNames: '' - poolDictionaries: '' - category: 'Compiler-Support'! - - !BlockLocalTempCounter commentStamp: 'eem 1/11/2018 08:30' prior: 0! - I am a support class for the decompiler that is used to find the number of local temps in a block by finding out what the stack offset is at the end of a block. I am necessary because in the EncoderForV3PlusClosures bytecode set the only way to initialize block-local temporaries is with pushConstant: nil bytecodes, but such bytecodes are ambiguous with a pushConstant: nil used to pass nil as a parameter or answer it as a result. By scanning through to the end of the block these can be disambiguated by tracking the stack depth.! Item was removed: - ----- Method: BlockLocalTempCounter class>>tempCountForBlockAt:in: (in category 'instance creation') ----- - tempCountForBlockAt: pc in: method - ^self new tempCountForBlockAt: pc in: method! Item was removed: - ----- Method: BlockLocalTempCounter class>>tempCountForBlockStartingAt:in: (in category 'instance creation') ----- - tempCountForBlockStartingAt: startpc in: method - ^self new - tempCountForBlockAt: (method encoderClass pcOfBlockCreationBytecodeForBlockStartingAt: startpc in: method) - in: method! Item was removed: - ----- Method: BlockLocalTempCounter>>blockReturnConstant: (in category 'instruction decoding') ----- - blockReturnConstant: value - "Return Constant From Block bytecode." - scanner pc < blockEnd ifTrue: - [self doJoin]! Item was removed: - ----- Method: BlockLocalTempCounter>>blockReturnTop (in category 'instruction decoding') ----- - blockReturnTop - "Return Top Of Stack bytecode." - stackPointer := stackPointer - 1. - scanner pc < blockEnd ifTrue: - [self doJoin]! Item was removed: - ----- Method: BlockLocalTempCounter>>directedSuperSend:numArgs: (in category 'instruction decoding') ----- - directedSuperSend: selector numArgs: numArgs - "Send Message Above Specific Class With Selector, selector, bytecode. - Start the lookup above the class that is the value of the association on - top of stack. The arguments of the message are found in the top numArgs - stack locations beneath the association, and the receiver just below them." - - stackPointer := stackPointer - (numArgs + 1)! Item was removed: - ----- Method: BlockLocalTempCounter>>doDup (in category 'instruction decoding') ----- - doDup - "Duplicate Top Of Stack bytecode." - stackPointer := stackPointer + 1! Item was removed: - ----- Method: BlockLocalTempCounter>>doJoin (in category 'private') ----- - doJoin - scanner pc < blockEnd ifTrue: - [stackPointer := joinOffsets at: scanner pc ifAbsent: [scanner followingPc]] - - "the ifAbsent: handles a caseOf:otherwise: where all cases return, which results - in the branch around the otherwise being unreached. e.g. in the following - jumpTo: L2 - is unreached. - - | t | - t caseOf: { [nil] -> [^thisContext method abstractSymbolic] } - otherwise: ['Oh no Mr Bill!!'] - - pushTemp: 0 - pushConstant: nil - send: #= (1 arg) - jumpFalseTo: L1 - pushThisContext: - send: #method (0 args) - send: #abstractSymbolic (0 args) - returnTop - jumpTo: L2 - L1: - pushConstant: 'Oh no Mr Bill!!' - L2: - returnTop"! Item was removed: - ----- Method: BlockLocalTempCounter>>doPop (in category 'instruction decoding') ----- - doPop - "Remove Top Of Stack bytecode." - stackPointer := stackPointer - 1! Item was removed: - ----- Method: BlockLocalTempCounter>>jump: (in category 'instruction decoding') ----- - jump: offset - "Unconditional Jump bytecode." - offset > 0 ifTrue: - [joinOffsets at: scanner pc + offset put: stackPointer. - self doJoin]! Item was removed: - ----- Method: BlockLocalTempCounter>>jump:if: (in category 'instruction decoding') ----- - jump: offset if: condition - "Conditional Jump bytecode." - stackPointer := stackPointer - 1. - offset > 0 ifTrue: - [joinOffsets at: scanner pc + offset put: stackPointer]! Item was removed: - ----- Method: BlockLocalTempCounter>>methodReturnConstant: (in category 'instruction decoding') ----- - methodReturnConstant: value - "Return Constant bytecode." - self doJoin! Item was removed: - ----- Method: BlockLocalTempCounter>>methodReturnReceiver (in category 'instruction decoding') ----- - methodReturnReceiver - "Return Self bytecode." - self doJoin! Item was removed: - ----- Method: BlockLocalTempCounter>>methodReturnTop (in category 'instruction decoding') ----- - methodReturnTop - "Return Top Of Stack bytecode." - stackPointer := stackPointer - 1. - self doJoin! Item was removed: - ----- Method: BlockLocalTempCounter>>popIntoLiteralVariable: (in category 'instruction decoding') ----- - popIntoLiteralVariable: anAssociation - "Remove Top Of Stack And Store Into Literal Variable bytecode." - stackPointer := stackPointer - 1! Item was removed: - ----- Method: BlockLocalTempCounter>>popIntoReceiverVariable: (in category 'instruction decoding') ----- - popIntoReceiverVariable: offset - "Remove Top Of Stack And Store Into Instance Variable bytecode." - stackPointer := stackPointer - 1! Item was removed: - ----- Method: BlockLocalTempCounter>>popIntoRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- - popIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex - "Remove Top Of Stack And Store Into Offset of Temp Vector bytecode." - stackPointer := stackPointer - 1! Item was removed: - ----- Method: BlockLocalTempCounter>>popIntoTemporaryVariable: (in category 'instruction decoding') ----- - popIntoTemporaryVariable: offset - "Remove Top Of Stack And Store Into Temporary Variable bytecode." - stackPointer := stackPointer - 1! Item was removed: - ----- Method: BlockLocalTempCounter>>pushActiveContext (in category 'instruction decoding') ----- - pushActiveContext - "Push Active Context On Top Of Its Own Stack bytecode." - stackPointer := stackPointer + 1! Item was removed: - ----- Method: BlockLocalTempCounter>>pushClosureCopyNumCopiedValues:numArgs:blockSize: (in category 'instruction decoding') ----- - pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSize - "Push Closure bytecode. Either compute the end of the block if this is - the block we're analysing, or skip it, adjusting the stack as appropriate." - blockEnd - ifNil: [blockEnd := scanner pc + blockSize] - ifNotNil: - [stackPointer := stackPointer - numCopied + 1. - scanner pc: scanner pc + blockSize]! Item was removed: - ----- Method: BlockLocalTempCounter>>pushConsArrayWithElements: (in category 'instruction decoding') ----- - pushConsArrayWithElements: numElements - "Push Cons Array of size numElements popping numElements items from the stack into the array bytecode." - stackPointer := stackPointer - numElements + 1! Item was removed: - ----- Method: BlockLocalTempCounter>>pushConstant: (in category 'instruction decoding') ----- - pushConstant: value - "Push Constant, value, on Top Of Stack bytecode." - stackPointer := stackPointer + 1! Item was removed: - ----- Method: BlockLocalTempCounter>>pushLiteralVariable: (in category 'instruction decoding') ----- - pushLiteralVariable: anAssociation - "Push Contents Of anAssociation On Top Of Stack bytecode." - stackPointer := stackPointer + 1! Item was removed: - ----- Method: BlockLocalTempCounter>>pushNewArrayOfSize: (in category 'instruction decoding') ----- - pushNewArrayOfSize: numElements - "Push New Array of size numElements bytecode." - stackPointer := stackPointer + 1! Item was removed: - ----- Method: BlockLocalTempCounter>>pushReceiver (in category 'instruction decoding') ----- - pushReceiver - "Push Active Context's Receiver on Top Of Stack bytecode." - stackPointer := stackPointer + 1! Item was removed: - ----- Method: BlockLocalTempCounter>>pushReceiverVariable: (in category 'instruction decoding') ----- - pushReceiverVariable: offset - "Push Contents Of the Receiver's Instance Variable Whose Index - is the argument, offset, On Top Of Stack bytecode." - stackPointer := stackPointer + 1! Item was removed: - ----- Method: BlockLocalTempCounter>>pushRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- - pushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex - "Push Contents at Offset in Temp Vector bytecode." - stackPointer := stackPointer + 1! Item was removed: - ----- Method: BlockLocalTempCounter>>pushTemporaryVariable: (in category 'instruction decoding') ----- - pushTemporaryVariable: offset - "Push Contents Of Temporary Variable Whose Index Is the - argument, offset, On Top Of Stack bytecode." - stackPointer := stackPointer + 1! Item was removed: - ----- Method: BlockLocalTempCounter>>send:super:numArgs: (in category 'instruction decoding') ----- - send: selector super: supered numArgs: numberArguments - "Send Message With Selector, selector, bytecode. The argument, - supered, indicates whether the receiver of the message is specified with - 'super' in the source method. The arguments of the message are found in - the top numArguments locations on the stack and the receiver just - below them." - - stackPointer := stackPointer - numberArguments! Item was removed: - ----- Method: BlockLocalTempCounter>>tempCountForBlockAt:in: (in category 'initialize-release') ----- - tempCountForBlockAt: pc in: method - "Compute the number of local temporaries in a block. - If the block begins with a sequence of push: nil bytecodes then some of - These could be initializing local temps. We can only reliably disambuguate - them from other uses of nil by parsing the stack and seeing what the offset - of the stack pointer is at the end of the block. - - There are short-cuts. The ones we take here are - - if there is no sequence of push nils there can be no local temps - - we follow forward jumps to shorten the amount of scanning" - stackPointer := 0. - scanner := InstructionStream new method: method pc: pc. - scanner interpretNextInstructionFor: self. - blockEnd ifNil: - [self error: 'pc is not that of a block']. - scanner nextByte = method encoderClass pushNilCode ifTrue: - [joinOffsets := Dictionary new. - [scanner pc < blockEnd] whileTrue: - [scanner interpretNextInstructionFor: self]]. - ^stackPointer! Item was removed: - ----- Method: BlockLocalTempCounter>>testTempCountForBlockAt:in: (in category 'initialize-release') ----- - testTempCountForBlockAt: startPc in: method - "Compute the number of local temporaries in a block. - If the block begins with a sequence of push: nil bytecodes then some of - These could be initializing local temps. We can only reliably disambuguate - them from other uses of nil by parsing the stack and seeing what the offset - of the stack pointer is at the end of the block.There are short-cuts. The only - one we take here is - - if there is no sequence of push nils there can be no local temps" - - | symbolicLines line prior thePc | - symbolicLines := Dictionary new. - method symbolicLinesDo: - [:pc :lineForPC| symbolicLines at: pc put: lineForPC]. - stackPointer := 0. - scanner := InstructionStream new method: method pc: startPc. - scanner interpretNextInstructionFor: self. - blockEnd ifNil: - [self error: 'pc is not that of a block']. - scanner nextByte = method encoderClass pushNilCode ifTrue: - [joinOffsets := Dictionary new. - [scanner pc < blockEnd] whileTrue: - [line := symbolicLines at: scanner pc. - prior := stackPointer. - thePc := scanner pc. - scanner interpretNextInstructionFor: self. - Transcript cr; print: prior; nextPutAll: '->'; print: stackPointer; tab; print: thePc; tab; nextPutAll: line; flush]]. - ^stackPointer! Item was removed: - ----- Method: CompiledBlock>>startpcsToBlockExtents (in category '*Compiler-support') ----- - startpcsToBlockExtents - ^self outerCode startpcsToBlockExtents! Item was removed: - ----- Method: CompiledMethod>>blockExtentsInto:from:to:scanner:numberer: (in category '*Compiler-support') ----- - blockExtentsInto: aDictionary from: initialPC to: endPC scanner: scanner numberer: numbererBlock - "Support routine for startpcsToBlockExtents" - | extentStart blockSizeOrLocator | - extentStart := numbererBlock value. - [scanner pc <= endPC] whileTrue: - [blockSizeOrLocator := scanner interpretNextInstructionFor: BlockStartLocator new. - blockSizeOrLocator isInteger ifTrue: - [self - blockExtentsInto: aDictionary - from: scanner pc - to: scanner pc + blockSizeOrLocator - 1 - scanner: scanner - numberer: numbererBlock]]. - aDictionary at: initialPC put: (extentStart to: numbererBlock value). - ^aDictionary! Item was removed: - ----- Method: CompiledMethod>>startpcsToBlockExtents (in category '*Compiler-support') ----- - startpcsToBlockExtents - "Answer a Dictionary of startpc to Interval of blockExtent, using the - identical numbering scheme described in and orchestrated by - BlockNode>>analyseArguments:temporaries:rootNode:. This is used - to find the temp names for any block in a method, as needed by the - decompiler and debugger. By indirecting through the blockExtent - instead of using the startpc directly we decouple access to temp - names from the exact bytecode; insulating the decompiler and - debugger from minor changes in the compiler's output. If the - recompilation doesn't produce exactly the same bytecode at exactly - the same offset no matter; the blockExtents will be the same." - | index | - index := 0. - ^self - blockExtentsInto: Dictionary new - from: self initialPC - to: self endPC - scanner: (InstructionStream on: self) - numberer: [| value | value := index. index := index + 2. value]!

1 0

The Trunk: Tests-eem.392.mcz
by commits＠source.squeak.org 11 Jan '18

11 Jan '18

Eliot Miranda uploaded a new version of Tests to project The Trunk: http://source.squeak.org/trunk/Tests-eem.392.mcz ==================== Summary ==================== Name: Tests-eem.392 Author: eem Time: 11 January 2018, 9:28:59.509687 am UUID: 3d7fbbfa-ba3e-4910-997a-7fb58b135360 Ancestors: Tests-eem.391 Update some tests to suit the recent full blocks changes. =============== Diff against Tests-eem.391 =============== Item was added: + ----- Method: ClosureCompilerTest>>bytecodeSetClassesForTests (in category 'support') ----- + bytecodeSetClassesForTests + ^#(EncoderForV3PlusClosures EncoderForSistaV1) + collect: [:name| Smalltalk classNamed: name] + thenSelect: [:classOrNil| classOrNil notNil]! Item was changed: ----- Method: ClosureCompilerTest>>testBlockNumbering (in category 'tests') ----- testBlockNumbering "Test that the compiler and CompiledMethod agree on the block numbering of a substantial doit." "self new testBlockNumbering" + + self bytecodeSetClassesForTests do: + [:class| | methodNode method tempRefs | + methodNode := + Parser new + encoderClass: EncoderForV3PlusClosures; + parse: 'foo + | numCopiedValuesCounts | + numCopiedValuesCounts := Dictionary new. + 0 to: 32 do: [:i| numCopiedValuesCounts at: i put: 0]. + Transcript clear. + Smalltalk allClasses remove: GeniePlugin; do: + [:c| + {c. c class} do: + [:b| + Transcript nextPut: b name first; endEntry. + b selectorsAndMethodsDo: + [:s :m| | pn | + m isQuick not ifTrue: + [pn := b parserClass new + encoderClass: EncoderForV3PlusClosures; + parse: (b sourceCodeAt: s) + class: b. + pn generate. + [pn accept: nil] + on: MessageNotUnderstood + do: [:ex| | msg numCopied | + msg := ex message. + (msg selector == #visitBlockNode: + and: [(msg argument instVarNamed: ''optimized'') not]) ifTrue: + [numCopied := (msg argument computeCopiedValues: pn) size. + numCopiedValuesCounts + at: numCopied + put: (numCopiedValuesCounts at: numCopied) + 1]. + msg setSelector: #==. + ex resume: nil]]]]]. + numCopiedValuesCounts' + class: Object. + method := methodNode generate. + tempRefs := methodNode encoder blockExtentsToTempsMap. + self assert: tempRefs keys asSet equals: method startKeysToBlockExtents values asSet]! - | methodNode method tempRefs | - methodNode := - Parser new - encoderClass: EncoderForV3PlusClosures; - parse: 'foo - | numCopiedValuesCounts | - numCopiedValuesCounts := Dictionary new. - 0 to: 32 do: [:i| numCopiedValuesCounts at: i put: 0]. - Transcript clear. - Smalltalk allClasses remove: GeniePlugin; do: - [:c| - {c. c class} do: - [:b| - Transcript nextPut: b name first; endEntry. - b selectorsAndMethodsDo: - [:s :m| | pn | - m isQuick not ifTrue: - [pn := b parserClass new - encoderClass: EncoderForV3PlusClosures; - parse: (b sourceCodeAt: s) - class: b. - pn generate. - [pn accept: nil] - on: MessageNotUnderstood - do: [:ex| | msg numCopied | - msg := ex message. - (msg selector == #visitBlockNode: - and: [(msg argument instVarNamed: ''optimized'') not]) ifTrue: - [numCopied := (msg argument computeCopiedValues: pn) size. - numCopiedValuesCounts - at: numCopied - put: (numCopiedValuesCounts at: numCopied) + 1]. - msg setSelector: #==. - ex resume: nil]]]]]. - numCopiedValuesCounts' - class: Object. - method := methodNode generate. - tempRefs := methodNode encoder blockExtentsToTempsMap. - self assert: tempRefs keys asSet = method startpcsToBlockExtents values asSet! Item was changed: ----- Method: ClosureCompilerTest>>testBlockNumberingForInjectInto (in category 'tests') ----- testBlockNumberingForInjectInto "Test that the compiler and CompiledMethod agree on the block numbering of Collection>>inject:into: and that temp names for inject:into: are recorded." "self new testBlockNumberingForInjectInto" + self bytecodeSetClassesForTests do: + [:class| | methodNode method tempRefs | + methodNode := Parser new + encoderClass: EncoderForV3PlusClosures; + parse: (Collection sourceCodeAt: #inject:into:) + class: Collection. + method := methodNode generate. + tempRefs := methodNode encoder blockExtentsToTempsMap. + self assert: tempRefs keys asSet equals: method startKeysToBlockExtents values asSet. + self assert: ((tempRefs includesKey: (0 to: 6)) + and: [(tempRefs at: (0 to: 6)) hasEqualElements: #(('thisValue' 1) ('binaryBlock' 2) ('nextValue' (3 1)))]). + self assert: ((tempRefs includesKey: (2 to: 4)) + and: [(tempRefs at: (2 to: 4)) hasEqualElements: #(('each' 1) ('binaryBlock' 2) ('nextValue' (3 1)))])]! - | methodNode method tempRefs | - methodNode := Parser new - encoderClass: EncoderForV3PlusClosures; - parse: (Collection sourceCodeAt: #inject:into:) - class: Collection. - method := methodNode generate. - tempRefs := methodNode encoder blockExtentsToTempsMap. - self assert: tempRefs keys asSet = method startpcsToBlockExtents values asSet. - self assert: ((tempRefs includesKey: (0 to: 6)) - and: [(tempRefs at: (0 to: 6)) hasEqualElements: #(('thisValue' 1) ('binaryBlock' 2) ('nextValue' (3 1)))]). - self assert: ((tempRefs includesKey: (2 to: 4)) - and: [(tempRefs at: (2 to: 4)) hasEqualElements: #(('each' 1) ('binaryBlock' 2) ('nextValue' (3 1)))])! Item was changed: ----- Method: MethodHighlightingTests>>testMethodHighlighting (in category 'tests') ----- testMethodHighlighting | map before after method retpc | "Test the highlighting of the asXML method. Test the highlighting of the return statement which should include the whole block supplied to streamContents:." "DebuggerMethodMap voidMapCache" "DebuggerMethodMap forMethod: MethodHighlightingTests >> #asXML" method := MethodHighlightingTests >> #asXML. map := DebuggerMethodMap forMethod: method. retpc := method endPC. + before := map rangeForPC: retpc in: method contextIsActiveContext: false. - before := map rangeForPC: retpc contextIsActiveContext: false. map instVarNamed: 'abstractSourceRanges' put: nil. + after := map rangeForPC: retpc in: method contextIsActiveContext: false. - after := map rangeForPC: retpc contextIsActiveContext: false. self assert: before size > 500. self assert: before = after!

1 0

The Trunk: Kernel-eem.1141.mcz
by commits＠source.squeak.org 11 Jan '18

11 Jan '18

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1141.mcz ==================== Summary ==================== Name: Kernel-eem.1141 Author: eem Time: 11 January 2018, 9:22:51.439093 am UUID: a64a9457-407a-40f0-8d51-111106f0afdf Ancestors: Kernel-eem.1140 Move BlockLocalTempCounter to Kernel. It is used to implement BlockClosure>>numTemps, which is used more broadly than simply the decompiler and debugger. =============== Diff against Kernel-eem.1140 =============== Item was added: + InstructionClient subclass: #BlockLocalTempCounter + instanceVariableNames: 'stackPointer scanner blockEnd joinOffsets' + classVariableNames: '' + poolDictionaries: '' + category: 'Kernel-Methods'! + + !BlockLocalTempCounter commentStamp: 'eem 1/11/2018 08:30' prior: 0! + I am a support class for the decompiler that is used to find the number of local temps in a block by finding out what the stack offset is at the end of a block. I am necessary because in the EncoderForV3PlusClosures bytecode set the only way to initialize block-local temporaries is with pushConstant: nil bytecodes, but such bytecodes are ambiguous with a pushConstant: nil used to pass nil as a parameter or answer it as a result. By scanning through to the end of the block these can be disambiguated by tracking the stack depth.! Item was added: + ----- Method: BlockLocalTempCounter class>>tempCountForBlockAt:in: (in category 'instance creation') ----- + tempCountForBlockAt: pc in: method + ^self new tempCountForBlockAt: pc in: method! Item was added: + ----- Method: BlockLocalTempCounter class>>tempCountForBlockStartingAt:in: (in category 'instance creation') ----- + tempCountForBlockStartingAt: startpc in: method + ^self new + tempCountForBlockAt: (method encoderClass pcOfBlockCreationBytecodeForBlockStartingAt: startpc in: method) + in: method! Item was added: + ----- Method: BlockLocalTempCounter>>blockReturnConstant: (in category 'instruction decoding') ----- + blockReturnConstant: value + "Return Constant From Block bytecode." + scanner pc < blockEnd ifTrue: + [self doJoin]! Item was added: + ----- Method: BlockLocalTempCounter>>blockReturnTop (in category 'instruction decoding') ----- + blockReturnTop + "Return Top Of Stack bytecode." + stackPointer := stackPointer - 1. + scanner pc < blockEnd ifTrue: + [self doJoin]! Item was added: + ----- Method: BlockLocalTempCounter>>directedSuperSend:numArgs: (in category 'instruction decoding') ----- + directedSuperSend: selector numArgs: numArgs + "Send Message Above Specific Class With Selector, selector, bytecode. + Start the lookup above the class that is the value of the association on + top of stack. The arguments of the message are found in the top numArgs + stack locations beneath the association, and the receiver just below them." + + stackPointer := stackPointer - (numArgs + 1)! Item was added: + ----- Method: BlockLocalTempCounter>>doDup (in category 'instruction decoding') ----- + doDup + "Duplicate Top Of Stack bytecode." + stackPointer := stackPointer + 1! Item was added: + ----- Method: BlockLocalTempCounter>>doJoin (in category 'private') ----- + doJoin + scanner pc < blockEnd ifTrue: + [stackPointer := joinOffsets at: scanner pc ifAbsent: [scanner followingPc]] + + "the ifAbsent: handles a caseOf:otherwise: where all cases return, which results + in the branch around the otherwise being unreached. e.g. in the following + jumpTo: L2 + is unreached. + + | t | + t caseOf: { [nil] -> [^thisContext method abstractSymbolic] } + otherwise: ['Oh no Mr Bill!!'] + + pushTemp: 0 + pushConstant: nil + send: #= (1 arg) + jumpFalseTo: L1 + pushThisContext: + send: #method (0 args) + send: #abstractSymbolic (0 args) + returnTop + jumpTo: L2 + L1: + pushConstant: 'Oh no Mr Bill!!' + L2: + returnTop"! Item was added: + ----- Method: BlockLocalTempCounter>>doPop (in category 'instruction decoding') ----- + doPop + "Remove Top Of Stack bytecode." + stackPointer := stackPointer - 1! Item was added: + ----- Method: BlockLocalTempCounter>>jump: (in category 'instruction decoding') ----- + jump: offset + "Unconditional Jump bytecode." + offset > 0 ifTrue: + [joinOffsets at: scanner pc + offset put: stackPointer. + self doJoin]! Item was added: + ----- Method: BlockLocalTempCounter>>jump:if: (in category 'instruction decoding') ----- + jump: offset if: condition + "Conditional Jump bytecode." + stackPointer := stackPointer - 1. + offset > 0 ifTrue: + [joinOffsets at: scanner pc + offset put: stackPointer]! Item was added: + ----- Method: BlockLocalTempCounter>>methodReturnConstant: (in category 'instruction decoding') ----- + methodReturnConstant: value + "Return Constant bytecode." + self doJoin! Item was added: + ----- Method: BlockLocalTempCounter>>methodReturnReceiver (in category 'instruction decoding') ----- + methodReturnReceiver + "Return Self bytecode." + self doJoin! Item was added: + ----- Method: BlockLocalTempCounter>>methodReturnTop (in category 'instruction decoding') ----- + methodReturnTop + "Return Top Of Stack bytecode." + stackPointer := stackPointer - 1. + self doJoin! Item was added: + ----- Method: BlockLocalTempCounter>>popIntoLiteralVariable: (in category 'instruction decoding') ----- + popIntoLiteralVariable: anAssociation + "Remove Top Of Stack And Store Into Literal Variable bytecode." + stackPointer := stackPointer - 1! Item was added: + ----- Method: BlockLocalTempCounter>>popIntoReceiverVariable: (in category 'instruction decoding') ----- + popIntoReceiverVariable: offset + "Remove Top Of Stack And Store Into Instance Variable bytecode." + stackPointer := stackPointer - 1! Item was added: + ----- Method: BlockLocalTempCounter>>popIntoRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- + popIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex + "Remove Top Of Stack And Store Into Offset of Temp Vector bytecode." + stackPointer := stackPointer - 1! Item was added: + ----- Method: BlockLocalTempCounter>>popIntoTemporaryVariable: (in category 'instruction decoding') ----- + popIntoTemporaryVariable: offset + "Remove Top Of Stack And Store Into Temporary Variable bytecode." + stackPointer := stackPointer - 1! Item was added: + ----- Method: BlockLocalTempCounter>>pushActiveContext (in category 'instruction decoding') ----- + pushActiveContext + "Push Active Context On Top Of Its Own Stack bytecode." + stackPointer := stackPointer + 1! Item was added: + ----- Method: BlockLocalTempCounter>>pushClosureCopyNumCopiedValues:numArgs:blockSize: (in category 'instruction decoding') ----- + pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSize + "Push Closure bytecode. Either compute the end of the block if this is + the block we're analysing, or skip it, adjusting the stack as appropriate." + blockEnd + ifNil: [blockEnd := scanner pc + blockSize] + ifNotNil: + [stackPointer := stackPointer - numCopied + 1. + scanner pc: scanner pc + blockSize]! Item was added: + ----- Method: BlockLocalTempCounter>>pushConsArrayWithElements: (in category 'instruction decoding') ----- + pushConsArrayWithElements: numElements + "Push Cons Array of size numElements popping numElements items from the stack into the array bytecode." + stackPointer := stackPointer - numElements + 1! Item was added: + ----- Method: BlockLocalTempCounter>>pushConstant: (in category 'instruction decoding') ----- + pushConstant: value + "Push Constant, value, on Top Of Stack bytecode." + stackPointer := stackPointer + 1! Item was added: + ----- Method: BlockLocalTempCounter>>pushFullClosure:numCopied: (in category 'instruction decoding') ----- + pushFullClosure: aCompiledBlock numCopied: numCopied + "Push Full Closure bytecode." + self error: 'BlockLocalTempCounter should not be used with full block compiled methods. A full block''s numTemps is accessible directly from its method.'! Item was added: + ----- Method: BlockLocalTempCounter>>pushLiteralVariable: (in category 'instruction decoding') ----- + pushLiteralVariable: anAssociation + "Push Contents Of anAssociation On Top Of Stack bytecode." + stackPointer := stackPointer + 1! Item was added: + ----- Method: BlockLocalTempCounter>>pushNewArrayOfSize: (in category 'instruction decoding') ----- + pushNewArrayOfSize: numElements + "Push New Array of size numElements bytecode." + stackPointer := stackPointer + 1! Item was added: + ----- Method: BlockLocalTempCounter>>pushReceiver (in category 'instruction decoding') ----- + pushReceiver + "Push Active Context's Receiver on Top Of Stack bytecode." + stackPointer := stackPointer + 1! Item was added: + ----- Method: BlockLocalTempCounter>>pushReceiverVariable: (in category 'instruction decoding') ----- + pushReceiverVariable: offset + "Push Contents Of the Receiver's Instance Variable Whose Index + is the argument, offset, On Top Of Stack bytecode." + stackPointer := stackPointer + 1! Item was added: + ----- Method: BlockLocalTempCounter>>pushRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- + pushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex + "Push Contents at Offset in Temp Vector bytecode." + stackPointer := stackPointer + 1! Item was added: + ----- Method: BlockLocalTempCounter>>pushTemporaryVariable: (in category 'instruction decoding') ----- + pushTemporaryVariable: offset + "Push Contents Of Temporary Variable Whose Index Is the + argument, offset, On Top Of Stack bytecode." + stackPointer := stackPointer + 1! Item was added: + ----- Method: BlockLocalTempCounter>>send:super:numArgs: (in category 'instruction decoding') ----- + send: selector super: supered numArgs: numberArguments + "Send Message With Selector, selector, bytecode. The argument, + supered, indicates whether the receiver of the message is specified with + 'super' in the source method. The arguments of the message are found in + the top numArguments locations on the stack and the receiver just + below them." + + stackPointer := stackPointer - numberArguments! Item was added: + ----- Method: BlockLocalTempCounter>>tempCountForBlockAt:in: (in category 'initialize-release') ----- + tempCountForBlockAt: pc in: method + "Compute the number of local temporaries in a block. + If the block begins with a sequence of push: nil bytecodes then some of + These could be initializing local temps. We can only reliably disambuguate + them from other uses of nil by parsing the stack and seeing what the offset + of the stack pointer is at the end of the block. + + There are short-cuts. The ones we take here are + - if there is no sequence of push nils there can be no local temps + - we follow forward jumps to shorten the amount of scanning" + stackPointer := 0. + scanner := InstructionStream new method: method pc: pc. + scanner interpretNextInstructionFor: self. + blockEnd ifNil: + [self error: 'pc is not that of a block']. + scanner nextByte = method encoderClass pushNilCode ifTrue: + [joinOffsets := Dictionary new. + [scanner pc < blockEnd] whileTrue: + [scanner interpretNextInstructionFor: self]]. + ^stackPointer! Item was added: + ----- Method: BlockLocalTempCounter>>testTempCountForBlockAt:in: (in category 'initialize-release') ----- + testTempCountForBlockAt: startPc in: method + "Compute the number of local temporaries in a block. + If the block begins with a sequence of push: nil bytecodes then some of + These could be initializing local temps. We can only reliably disambuguate + them from other uses of nil by parsing the stack and seeing what the offset + of the stack pointer is at the end of the block.There are short-cuts. The only + one we take here is + - if there is no sequence of push nils there can be no local temps" + + | symbolicLines line prior thePc | + symbolicLines := Dictionary new. + method symbolicLinesDo: + [:pc :lineForPC| symbolicLines at: pc put: lineForPC]. + stackPointer := 0. + scanner := InstructionStream new method: method pc: startPc. + scanner interpretNextInstructionFor: self. + blockEnd ifNil: + [self error: 'pc is not that of a block']. + scanner nextByte = method encoderClass pushNilCode ifTrue: + [joinOffsets := Dictionary new. + [scanner pc < blockEnd] whileTrue: + [line := symbolicLines at: scanner pc. + prior := stackPointer. + thePc := scanner pc. + scanner interpretNextInstructionFor: self. + Transcript cr; print: prior; nextPutAll: '->'; print: stackPointer; tab; print: thePc; tab; nextPutAll: line; flush]]. + ^stackPointer!

1 0

The Trunk: Tools-eem.790.mcz
by commits＠source.squeak.org 11 Jan '18

11 Jan '18

Eliot Miranda uploaded a new version of Tools to project The Trunk: http://source.squeak.org/trunk/Tools-eem.790.mcz ==================== Summary ==================== Name: Tools-eem.790 Author: eem Time: 11 January 2018, 9:07:29.791856 am UUID: 24ea3a83-3589-4e8f-8a7f-cdf01eb2b06e Ancestors: Tools-eem.789 Add source range support for full blocks by adding DebuggerMethodMapForFullBlockCompiledMethods. Shift to using startKeys instead of merely startPcs. Interface with the debuggerMap via rangeForPC:in:contextIsActiveContext: rather than rangeForPC:contextIsActiveContext: so that if a full block is in use the debuggerMap has the method in hand to choose the right source range map. =============== Diff against Tools-eem.789 =============== Item was added: + ----- Method: CompiledBlock>>blockExtentsToTempsMap (in category '*Tools-Debugger-support') ----- + blockExtentsToTempsMap + ^self homeMethod blockExtentsToTempsMap! Item was added: + ----- Method: CompiledBlock>>debuggerMap (in category '*Tools-Debugger-support') ----- + debuggerMap + ^self homeMethod debuggerMap! Item was added: + ----- Method: CompiledBlock>>startKey (in category '*Tools-Debugger-support') ----- + startKey + "The startKey is used as a key to identify the active sequence of temporaries for a block or + method in a DebuggerMethodMapForClosureCompiledMethod's startKeysToTempRefs map." + ^self! Item was added: + ----- Method: CompiledCode>>abstractPCForConcretePC: (in category '*Tools-Debugger-support') ----- + abstractPCForConcretePC: concretePC + "Answer the abstractPC matching concretePC." + + | abstractPC scanner client endPC | + self flag: 'belongs in DebuggerMethodMap?'. + abstractPC := 1. + scanner := InstructionStream on: self. + client := InstructionClient new. + "cache endPC for methods with embedded source; finding out the endPC is very slow in this case..." + endPC := self endPC. + [(scanner pc > endPC + or: [scanner pc >= concretePC]) ifTrue: + [^abstractPC]. + abstractPC := abstractPC + 1. + scanner interpretNextInstructionFor: client] repeat! Item was removed: - ----- Method: CompiledMethod>>abstractPCForConcretePC: (in category '*Tools-Debugger-support') ----- - abstractPCForConcretePC: concretePC - "Answer the abstractPC matching concretePC." - - | abstractPC scanner client endPC | - self flag: 'belongs in DebuggerMethodMap?'. - abstractPC := 1. - scanner := InstructionStream on: self. - client := InstructionClient new. - "cache endPC for methods with embedded source; finding out the endPC is very slow in this case..." - endPC := self endPC. - [(scanner pc > endPC - or: [scanner pc >= concretePC]) ifTrue: - [^abstractPC]. - abstractPC := abstractPC + 1. - scanner interpretNextInstructionFor: client] repeat! Item was changed: ----- Method: CompiledMethod>>blockExtentsToTempsMap (in category '*Tools-Debugger-support') ----- blockExtentsToTempsMap "If the receiver has been copied with temp names answer a map from blockExtent to temps map in the same format as BytecodeEncoder>>blockExtentsToTempNamesMap. if the receiver has not been copied with temps answer nil." ^self holdsTempNames ifTrue: + [self mapFromBlockKeys: (self startKeysToBlockExtents values sort: [:assocA :assocB| assocA first <= assocB first]) - [self mapFromBlockKeys: ((self startpcsToBlockExtents associations sort: - [:a1 :a2| a1 key < a2 key]) replace: - [:assoc| assoc value]) toSchematicTemps: self tempNamesString]! Item was removed: - ----- Method: CompiledMethod>>mapFromBlockKeys:toSchematicTemps: (in category '*Tools-Debugger-support') ----- - mapFromBlockKeys: keys toSchematicTemps: schematicTempNamesString - "Decode a schematicTempNamesString that encodes the layout of temp names - in a method and any closures/blocks within it, matching keys in keys to - vectors of temp names." - | map tempNames | - map := Dictionary new. - tempNames := schematicTempNamesString readStream. - keys do: - [:key| | tempSequence tempIndex | - tempSequence := OrderedCollection new. - tempIndex := 0. - [(tempNames skipSeparators; peek) ifNil: [true] ifNotNil: [:ch| '[]' includes: ch]] whileFalse: - [tempNames peek = $( - ifTrue: [tempSequence addAllLast: ((self tempsSubSequenceFrom: (tempNames next; yourself)) withIndexCollect: - [:temp :index| - { temp. { tempIndex + 1. index } }]). - tempNames peek ~= $) ifTrue: [self error: 'parse error']. - tempIndex := tempIndex + 1. - tempNames next] - ifFalse: [tempSequence addAllLast: ((self tempsSubSequenceFrom: tempNames) withIndexCollect: - [:temp :index| - { temp. tempIndex := tempIndex + 1 }])]]. - map at: key put: tempSequence asArray. - [tempNames peek = $]] whileTrue: [tempNames next]. - tempNames peek = $[ ifTrue: - [tempNames next]]. - ^map! Item was added: + ----- Method: CompiledMethod>>startKey (in category '*Tools-Debugger-support') ----- + startKey + "The startKey is used as a key to identify the active sequence of temporaries for a block or + method in a DebuggerMethodMapForClosureCompiledMethod's startKeysToTempRefs map." + ^self initialPC! Item was added: + ----- Method: Context>>startKey (in category '*Tools-debugger access') ----- + startKey + "The startKey is used as a key to identify the active sequence of temporaries for a block or + method in a DebuggerMethodMapForClosureCompiledMethod's startKeysToTempRefs map." + ^closureOrNil + ifNil: [method initialPC] + ifNotNil: [closureOrNil isFullBlock + ifTrue: [method] + ifFalse: [closureOrNil startpc]]! Item was changed: ----- Method: Debugger>>pcRange (in category 'code pane') ----- pcRange "Answer the indices in the source code for the method corresponding to the selected context's program counter value." + | ctxt | (selectingPC and: [contextStackIndex ~= 0]) ifFalse: [^1 to: 0]. + (ctxt := self selectedContext) isDead ifTrue: - self selectedContext isDead ifTrue: [^1 to: 0]. + ^ctxt debuggerMap + rangeForPC: ctxt pc + in: ctxt method - ^self selectedContext debuggerMap - rangeForPC: self selectedContext pc contextIsActiveContext: contextStackIndex = 1! Item was changed: ----- Method: DebuggerMethodMap class>>forMethod:methodNode: (in category 'instance creation') ----- + forMethod: aMethod "<CompiledCode>" methodNode: methodNode "<MethodNode>" - forMethod: aMethod "<CompiledMethod>" methodNode: methodNode "<MethodNode>" "Uncached instance creation method for private use or for tests. Please consider using forMethod: instead." ^(aMethod isBlueBookCompiled ifTrue: [DebuggerMethodMapForBlueBookMethods] + ifFalse: + [aMethod encoderClass supportsFullBlocks + ifTrue: [DebuggerMethodMapForFullBlockCompiledMethods] + ifFalse: [DebuggerMethodMapForClosureCompiledMethods]]) new + forMethod: aMethod homeMethod - ifFalse: [DebuggerMethodMapForClosureCompiledMethods]) new - forMethod: aMethod methodNode: methodNode! Item was changed: + ----- Method: DebuggerMethodMap>>abstractSourceMap (in category 'private') ----- - ----- Method: DebuggerMethodMap>>abstractSourceMap (in category 'source mapping') ----- abstractSourceMap "Answer with a Dictionary of abstractPC <Integer> to sourceRange <Interval>." | theMethodToScan rawSourceRanges concreteSourceRanges abstractPC scanner client | abstractSourceRanges ifNotNil: [^abstractSourceRanges]. "If the methodNode hasn't had a method generated it doesn't have pcs set in its nodes so we must generate a new method and might as well use it for scanning." methodNode rawSourceRangesAndMethodDo: [:ranges :method| rawSourceRanges := ranges. theMethodToScan := method]. concreteSourceRanges := Dictionary new. rawSourceRanges keysAndValuesDo: [:node :range| node pc ~= 0 ifTrue: [concreteSourceRanges at: node pc put: range]]. abstractPC := 1. abstractSourceRanges := Dictionary new. scanner := InstructionStream on: theMethodToScan. client := InstructionClient new. [(concreteSourceRanges includesKey: scanner pc) ifTrue: [abstractSourceRanges at: abstractPC put: (concreteSourceRanges at: scanner pc)]. abstractPC := abstractPC + 1. scanner interpretNextInstructionFor: client. scanner atEnd] whileFalse. ^abstractSourceRanges! Item was added: + ----- Method: DebuggerMethodMap>>abstractSourceMapForMethod: (in category 'source mapping') ----- + abstractSourceMapForMethod: aCompiledMethod + "The default source mapping is for block bytecodes embedded within a + single compiled method, as in the BlueBook and EncoderForV3PlusClosures." + ^self abstractSourceMap! Item was changed: + ----- Method: DebuggerMethodMap>>rangeForPC:contextIsActiveContext: (in category 'private but obsolete') ----- - ----- Method: DebuggerMethodMap>>rangeForPC:contextIsActiveContext: (in category 'source mapping') ----- rangeForPC: contextsConcretePC contextIsActiveContext: contextIsActiveContext "Answer the indices in the source code for the supplied pc. If the context is the actve context (is at the hot end of the stack) then its pc is the current pc. But if the context isn't, because it is suspended sending a message, then its current pc is the previous pc." | pc i end | pc := self method abstractPCForConcretePC: (contextIsActiveContext ifTrue: [contextsConcretePC] ifFalse: [(self method pcPreviousTo: contextsConcretePC) ifNotNil: [:prevpc| prevpc] ifNil: [contextsConcretePC]]). (self abstractSourceMap includesKey: pc) ifTrue: [^self abstractSourceMap at: pc]. sortedSourceMap ifNil: [sortedSourceMap := self abstractSourceMap associations replace: [ :each | each copy ]; sort]. sortedSourceMap isEmpty ifTrue: [^1 to: 0]. i := sortedSourceMap findNearbyBinaryIndex: [:assoc| pc - assoc key]. i < 1 ifTrue: [^1 to: 0]. i > sortedSourceMap size ifTrue: [end := sortedSourceMap inject: 0 into: [:prev :this | prev max: this value last]. ^end+1 to: end]. ^(sortedSourceMap at: i) value "| method source scanner map | method := DebuggerMethodMap compiledMethodAt: #rangeForPC:contextIsActiveContext:. source := method getSourceFromFile asString. scanner := InstructionStream on: method. map := method debuggerMap. Array streamContents: [:ranges| [scanner atEnd] whileFalse: [| range | range := map rangeForPC: scanner pc contextIsActiveContext: true. ((map abstractSourceMap includesKey: scanner abstractPC) and: [range first ~= 0]) ifTrue: [ranges nextPut: (source copyFrom: range first to: range last)]. scanner interpretNextInstructionFor: InstructionClient new]]"! Item was added: + ----- Method: DebuggerMethodMap>>rangeForPC:in:contextIsActiveContext: (in category 'source mapping') ----- + rangeForPC: contextsConcretePC in: method contextIsActiveContext: contextIsActiveContext + "Answer the indices in the source code for the supplied pc. + If the context is the actve context (is at the hot end of the stack) + then its pc is the current pc. But if the context isn't, because it is + suspended sending a message, then its current pc is the previous pc." + + | pc i end | + pc := self method abstractPCForConcretePC: (contextIsActiveContext + ifTrue: [contextsConcretePC] + ifFalse: [(self method pcPreviousTo: contextsConcretePC) + ifNotNil: [:prevpc| prevpc] + ifNil: [contextsConcretePC]]). + (self abstractSourceMap includesKey: pc) ifTrue: + [^self abstractSourceMap at: pc]. + sortedSourceMap ifNil: + [sortedSourceMap := self abstractSourceMap associations + replace: [ :each | each copy ]; + sort]. + sortedSourceMap isEmpty ifTrue: [^1 to: 0]. + i := sortedSourceMap findNearbyBinaryIndex: [:assoc| pc - assoc key]. + i < 1 ifTrue: [^1 to: 0]. + i > sortedSourceMap size ifTrue: + [end := sortedSourceMap inject: 0 into: + [:prev :this | prev max: this value last]. + ^end+1 to: end]. + ^(sortedSourceMap at: i) value + + "| method source scanner map | + method := DebuggerMethodMap compiledMethodAt: #rangeForPC:in:contextIsActiveContext:. + source := method getSourceFromFile asString. + scanner := InstructionStream on: method. + map := method debuggerMap. + Array streamContents: + [:ranges| + [scanner atEnd] whileFalse: + [| range | + range := map rangeForPC: scanner pc in: method contextIsActiveContext: true. + ((map abstractSourceMap includesKey: scanner abstractPC) + and: [range first ~= 0]) ifTrue: + [ranges nextPut: (source copyFrom: range first to: range last)]. + scanner interpretNextInstructionFor: InstructionClient new]]"! Item was changed: DebuggerMethodMap subclass: #DebuggerMethodMapForBlueBookMethods instanceVariableNames: 'tempNames' classVariableNames: '' poolDictionaries: '' category: 'Tools-Debugger'! + !DebuggerMethodMapForBlueBookMethods commentStamp: 'eem 1/6/2018 16:57' prior: 0! + I am a place-holder for information needed by the Debugger to inspect method activations. See my superclass's comment. I map methods compiled using BlueBook blocks.! - !DebuggerMethodMapForBlueBookMethods commentStamp: '<historical>' prior: 0! - I am a place-holder for information needed by the Debugger to inspect method activations. See my superclass's comment. I map methods compiled using Closures.! Item was changed: DebuggerMethodMap subclass: #DebuggerMethodMapForClosureCompiledMethods + instanceVariableNames: 'blockExtentsToTempRefs startpcsToTempRefs startKeysToTempRefs' - instanceVariableNames: 'blockExtentsToTempRefs startpcsToTempRefs' classVariableNames: 'FirstTime' poolDictionaries: '' category: 'Tools-Debugger'! + !DebuggerMethodMapForClosureCompiledMethods commentStamp: 'eem 1/8/2018 12:42' prior: 0! + I am a place-holder for information needed by the Debugger to inspect method activations. See my superclass's comment. I map methods compiled using closures. - !DebuggerMethodMapForClosureCompiledMethods commentStamp: '<historical>' prior: 0! - I am a place-holder for information needed by the Debugger to inspect method activations. See my superclass's comment. I map methods compiled using BlueBook blocks. Instance variables blockExtentsToTempsRefs <Dictionary of: Interval -> Array of: (Array with: String with: (Integer | (Array with: Integer with: Integer)))> maps a block extent to an Array of temp references for that block/method. Each reference is a pair of temp name and index, where the index can itself be a pair for a remote temp. + startKeysToTempRefs <Dictionary of: Integer startpc -> Array of: (Array with: String with: temp reference)> where - startpcsToTempRefs <Dictionary of: Integer -> Array of: (Array with: String with: temp reference)> where temp reference ::= Integer + | (Array with: Integer with: Integer) + | (Array with: #outer with: temp reference)! - | (Array with: Integer with: Integer) - | (Array with: #outer with: temp reference)! Item was removed: - ----- Method: DebuggerMethodMapForClosureCompiledMethods>>ensureExtentsMapsInitialized (in category 'private') ----- - ensureExtentsMapsInitialized - | encoderTempRefs "<Dictionary of: Interval -> <Array of: <String | <Array of: String>>>>" | - blockExtentsToTempRefs ifNotNil: [^self]. - blockExtentsToTempRefs := Dictionary new. - startpcsToTempRefs := Dictionary new. - encoderTempRefs := methodNode blockExtentsToTempRefs. - encoderTempRefs keysAndValuesDo: - [:blockExtent :tempVector| - blockExtentsToTempRefs - at: blockExtent - put: (Array streamContents: - [:stream| - tempVector withIndexDo: - [:nameOrSequence :index| - nameOrSequence isString - ifTrue: - [stream nextPut: {nameOrSequence. index}] - ifFalse: - [nameOrSequence withIndexDo: - [:name :indirectIndex| - stream nextPut: { name. { index. indirectIndex }}]]]])]! Item was changed: ----- Method: DebuggerMethodMapForClosureCompiledMethods>>namedTempAt:in: (in category 'accessing') ----- namedTempAt: index in: aContext "Answer the value of the temp at index in aContext where index is relative to the array of temp names answered by tempNamesForContext:" ^self privateTempAt: index in: aContext + startKeysToBlockExtents: aContext method startKeysToBlockExtents! - startpcsToBlockExtents: aContext method startpcsToBlockExtents! Item was changed: ----- Method: DebuggerMethodMapForClosureCompiledMethods>>namedTempAt:put:in: (in category 'accessing') ----- namedTempAt: index put: aValue in: aContext "Assign the value of the temp at index in aContext where index is relative to the array of temp names answered by tempNamesForContext:. If the value is a copied value we also need to set it along the lexical chain." ^self privateTempAt: index in: aContext put: aValue + startKeysToBlockExtents: aContext method startKeysToBlockExtents! - startpcsToBlockExtents: aContext method startpcsToBlockExtents! Item was added: + ----- Method: DebuggerMethodMapForClosureCompiledMethods>>privateTempAt:in:put:startKeysToBlockExtents: (in category 'private') ----- + privateTempAt: index in: aContext put: aValue startKeysToBlockExtents: theContextsStartKeysToBlockExtents + | nameRefPair | + nameRefPair := (self privateTempRefsForContext: aContext + startKeysToBlockExtents: theContextsStartKeysToBlockExtents) + at: index + ifAbsent: [aContext errorSubscriptBounds: index]. + ^self privateDereference: nameRefPair last in: aContext put: aValue! Item was changed: + ----- Method: DebuggerMethodMapForClosureCompiledMethods>>privateTempAt:in:put:startpcsToBlockExtents: (in category 'private but obsolete') ----- - ----- Method: DebuggerMethodMapForClosureCompiledMethods>>privateTempAt:in:put:startpcsToBlockExtents: (in category 'private') ----- privateTempAt: index in: aContext put: aValue startpcsToBlockExtents: theContextsStartpcsToBlockExtents | nameRefPair | nameRefPair := (self privateTempRefsForContext: aContext startpcsToBlockExtents: theContextsStartpcsToBlockExtents) at: index ifAbsent: [aContext errorSubscriptBounds: index]. ^self privateDereference: nameRefPair last in: aContext put: aValue! Item was added: + ----- Method: DebuggerMethodMapForClosureCompiledMethods>>privateTempAt:in:startKeysToBlockExtents: (in category 'private') ----- + privateTempAt: index in: aContext startKeysToBlockExtents: theContextsStartKeysToBlockExtents + | nameRefPair | + nameRefPair := (self privateTempRefsForContext: aContext + startKeysToBlockExtents: theContextsStartKeysToBlockExtents) + at: index + ifAbsent: [aContext errorSubscriptBounds: index]. + ^self privateDereference: nameRefPair last in: aContext! Item was changed: + ----- Method: DebuggerMethodMapForClosureCompiledMethods>>privateTempAt:in:startpcsToBlockExtents: (in category 'private but obsolete') ----- - ----- Method: DebuggerMethodMapForClosureCompiledMethods>>privateTempAt:in:startpcsToBlockExtents: (in category 'private') ----- privateTempAt: index in: aContext startpcsToBlockExtents: theContextsStartpcsToBlockExtents | nameRefPair | nameRefPair := (self privateTempRefsForContext: aContext startpcsToBlockExtents: theContextsStartpcsToBlockExtents) at: index ifAbsent: [aContext errorSubscriptBounds: index]. ^self privateDereference: nameRefPair last in: aContext! Item was added: + ----- Method: DebuggerMethodMapForClosureCompiledMethods>>privateTempRefsForContext:startKeysToBlockExtents: (in category 'private') ----- + privateTempRefsForContext: aContext startKeysToBlockExtents: theContextsStartKeysToBlockExtents + "Answer the sequence of temps in scope in aContext in the natural order, + outermost arguments and temporaries first, innermost last. Each temp is + a pair of the temp's name followed by a reference. The reference can be + integer - index of temp in aContext + #( indirectionVectorIndex tempIndex ) - remote temp in indirectionVector at index in aContext + #( outer. temp reference ) - a temp reference in an outer context." + blockExtentsToTempRefs ifNil: + [blockExtentsToTempRefs := (aContext method holdsTempNames + ifTrue: [aContext method] + ifFalse: [methodNode]) blockExtentsToTempsMap. + blockExtentsToTempRefs ifNil: + ["an empty method. shouldn't be able to step into here but it + can happen in weird circumstances (i.e. with MethodWrapper)." + blockExtentsToTempRefs := Dictionary new. + blockExtentsToTempRefs + at: (theContextsStartKeysToBlockExtents at: aContext startKey) + put: {}]. + startKeysToTempRefs := Dictionary new]. + ^startKeysToTempRefs + at: aContext startKey + ifAbsentPut: + [| localRefs | + localRefs := blockExtentsToTempRefs at: (theContextsStartKeysToBlockExtents at: aContext startKey) ifAbsent: [#()]. + aContext outerContext + ifNil: [localRefs] + ifNotNil: + [:outer| | outerTemps | + "Present temps in the order outermost to innermost left-to-right, but replace + copied outermost temps with their innermost copies" + outerTemps := (self + privateTempRefsForContext: outer + startKeysToBlockExtents: theContextsStartKeysToBlockExtents) collect: + [:outerPair| + localRefs + detect: [:localPair| outerPair first = localPair first] + ifNone: [{ outerPair first. { #outer. outerPair last } }]]. + outerTemps, + (localRefs reject: [:localPair| outerTemps anySatisfy: [:outerPair| localPair first = outerPair first]])]]! Item was changed: + ----- Method: DebuggerMethodMapForClosureCompiledMethods>>privateTempRefsForContext:startpcsToBlockExtents: (in category 'private but obsolete') ----- - ----- Method: DebuggerMethodMapForClosureCompiledMethods>>privateTempRefsForContext:startpcsToBlockExtents: (in category 'private') ----- privateTempRefsForContext: aContext startpcsToBlockExtents: theContextsStartpcsToBlockExtents "Answer the sequence of temps in scope in aContext in the natural order, outermost arguments and temporaries first, innermost last. Each temp is a pair of the temp's name followed by a reference. The reference can be integer - index of temp in aContext #( indirectionVectorIndex tempIndex ) - remote temp in indirectionVector at index in aContext #( outer. temp reference ) - a temp reference in an outer context." blockExtentsToTempRefs ifNil: [blockExtentsToTempRefs := (aContext method holdsTempNames ifTrue: [aContext method] ifFalse: [methodNode]) blockExtentsToTempsMap. blockExtentsToTempRefs ifNil: ["an empty method. shouldn't be able to step into here but it can happen in weird circumstances (i.e. with MethodWrapper)." blockExtentsToTempRefs := Dictionary new. blockExtentsToTempRefs at: (theContextsStartpcsToBlockExtents at: aContext startpc) put: {}]. startpcsToTempRefs := Dictionary new]. ^startpcsToTempRefs at: aContext startpc ifAbsentPut: [| localRefs | localRefs := blockExtentsToTempRefs at: (theContextsStartpcsToBlockExtents at: aContext startpc). aContext outerContext ifNil: [localRefs] ifNotNil: [:outer| | outerTemps | "Present temps in the order outermost to innermost left-to-right, but replace copied outermost temps with their innermost copies" outerTemps := (self privateTempRefsForContext: outer startpcsToBlockExtents: theContextsStartpcsToBlockExtents) collect: [:outerPair| localRefs detect: [:localPair| outerPair first = localPair first] ifNone: [{ outerPair first. { #outer. outerPair last } }]]. outerTemps, (localRefs reject: [:localPair| outerTemps anySatisfy: [:outerPair| localPair first = outerPair first]])]]! Item was added: + ----- Method: DebuggerMethodMapForClosureCompiledMethods>>privateTempRefsForMethod:startKeysToBlockExtents: (in category 'private') ----- + privateTempRefsForMethod: method startKeysToBlockExtents: startKeysToBlockExtents + "Answer the sequence of temps in scope in method in the natural order, + outermost arguments and temporaries first, innermost last. Each temp is + a pair of the temp's name followed by a reference. The reference can be + integer - index of temp in aContext + #( indirectionVectorIndex tempIndex ) - remote temp in indirectionVector at index in aContext + #( outer. temp reference ) - a temp reference in an outer context." + blockExtentsToTempRefs ifNil: + [blockExtentsToTempRefs := (method holdsTempNames + ifTrue: [method] + ifFalse: [methodNode]) blockExtentsToTempsMap. + blockExtentsToTempRefs ifNil: + ["an empty method. shouldn't be able to step into here but it + can happen in weird circumstances (i.e. with MethodWrapper)." + blockExtentsToTempRefs := Dictionary new. + blockExtentsToTempRefs + at: (startKeysToBlockExtents at: method startKey) + put: {}]. + startKeysToTempRefs := Dictionary new]. + ^startKeysToTempRefs + at: method startKey + ifAbsentPut: + [blockExtentsToTempRefs at: (startKeysToBlockExtents at: method startKey)]! Item was changed: + ----- Method: DebuggerMethodMapForClosureCompiledMethods>>privateTempRefsForMethod:startpcsToBlockExtents: (in category 'private but obsolete') ----- - ----- Method: DebuggerMethodMapForClosureCompiledMethods>>privateTempRefsForMethod:startpcsToBlockExtents: (in category 'private') ----- privateTempRefsForMethod: method startpcsToBlockExtents: startpcsToBlockExtents "Answer the sequence of temps in scope in method in the natural order, outermost arguments and temporaries first, innermost last. Each temp is a pair of the temp's name followed by a reference. The reference can be integer - index of temp in aContext #( indirectionVectorIndex tempIndex ) - remote temp in indirectionVector at index in aContext #( outer. temp reference ) - a temp reference in an outer context." blockExtentsToTempRefs ifNil: [blockExtentsToTempRefs := (method holdsTempNames ifTrue: [method] ifFalse: [methodNode]) blockExtentsToTempsMap. blockExtentsToTempRefs ifNil: ["an empty method. shouldn't be able to step into here but it can happen in weird circumstances (i.e. with MethodWrapper)." blockExtentsToTempRefs := Dictionary new. blockExtentsToTempRefs at: (startpcsToBlockExtents at: method initialPC) put: {}]. startpcsToTempRefs := Dictionary new]. ^startpcsToTempRefs at: method initialPC ifAbsentPut: [blockExtentsToTempRefs at: (startpcsToBlockExtents at: method initialPC)]! Item was changed: ----- Method: DebuggerMethodMapForClosureCompiledMethods>>tempNamesForContext: (in category 'accessing') ----- tempNamesForContext: aContext "Answer an Array of all the temp names in scope in aContext starting with the home's first local (the first argument or first temporary if no arguments)." ^(self privateTempRefsForContext: aContext + startKeysToBlockExtents: aContext method startKeysToBlockExtents) collect: - startpcsToBlockExtents: aContext method startpcsToBlockExtents) collect: [:pair| pair first]! Item was changed: ----- Method: DebuggerMethodMapForClosureCompiledMethods>>tempNamesForMethod: (in category 'accessing') ----- tempNamesForMethod: aMethod "Answer an Array of all the temp names in scope in aMethod starting with the home's first local (the first argument or first temporary if no arguments)." ^(self privateTempRefsForMethod: aMethod + startKeysToBlockExtents: aMethod startKeysToBlockExtents) collect: - startpcsToBlockExtents: aMethod startpcsToBlockExtents) collect: [:pair| pair first]! Item was added: + DebuggerMethodMapForClosureCompiledMethods subclass: #DebuggerMethodMapForFullBlockCompiledMethods + instanceVariableNames: 'sortedSourceMaps' + classVariableNames: '' + poolDictionaries: '' + category: 'Tools-Debugger'! + + !DebuggerMethodMapForFullBlockCompiledMethods commentStamp: 'eem 1/10/2018 16:28' prior: 0! + I am a place-holder for information needed by the Debugger to inspect method activations. See DebuggerMethodMap's comment. I map methods compiled using full block closures. + + Instance variables + (inherited) + abstractSourceRanges <Dictionary of: CompiledCode -> (Dictionary of: Integer-> Interval) + startKeysToTempRefs <Dictionary of: CompiledCode -> Array of: (Array with: String with: temp reference)> where + temp reference ::= Integer + | (Array with: Integer with: Integer) + | (Array with: #outer with: temp reference) + (locally defined) + sortedSourceMaps <Dictionary of: CompiledCode -> (Dictionary of: Integer-> Interval)! Item was added: + ----- Method: DebuggerMethodMapForFullBlockCompiledMethods>>abstractSourceMap (in category 'source mapping') ----- + abstractSourceMap + self shouldNotImplement! Item was added: + ----- Method: DebuggerMethodMapForFullBlockCompiledMethods>>abstractSourceMapForMethod: (in category 'source mapping') ----- + abstractSourceMapForMethod: compiledCode + "Answer with a Dictionary of abstractPC <Integer> to sourceRange <Interval> + for compiledCode which may be either a CompiledMethod or a CompiledBlock." + | rawSourceRanges theMethodToScan | + abstractSourceRanges ifNotNil: + [^abstractSourceRanges at: compiledCode]. + abstractSourceRanges := IdentityDictionary new. + "If the methodNode hasn't had a method generated it doesn't have pcs set in its + nodes so we must generate a new method. We use this method for scanning + since its rawSourceRanges refer to the block methods within the method, and + that means we can use identity comparisons to match nodes with blocks." + methodNode rawSourceRangesAndMethodDo: + [:ranges :method| + rawSourceRanges := ranges. + theMethodToScan := method]. + self scanMethod: theMethodToScan mappingRanges: rawSourceRanges. + self mapBlockMethodKeysIn: theMethodToScan toActualBlockMethodsIn: compiledCode homeMethod. + ^abstractSourceRanges at: compiledCode! Item was added: + ----- Method: DebuggerMethodMapForFullBlockCompiledMethods>>mapBlockMethodKeysIn:toActualBlockMethodsIn: (in category 'source mapping') ----- + mapBlockMethodKeysIn: theMethodToScan toActualBlockMethodsIn: actualMethod + abstractSourceRanges at: actualMethod put: (abstractSourceRanges removeKey: theMethodToScan). + 1 to: theMethodToScan numLiterals - 1 do: "i.e. don't scan the last literal which, in CompiledBlocks is a back pointer" + [:i| | lit | + (lit := theMethodToScan literalAt: i) isCompiledCode ifTrue: + [self mapBlockMethodKeysIn: lit toActualBlockMethodsIn: (actualMethod literalAt: i)]]! Item was added: + ----- Method: DebuggerMethodMapForFullBlockCompiledMethods>>rangeForPC:in:contextIsActiveContext: (in category 'source mapping') ----- + rangeForPC: contextsConcretePC in: method contextIsActiveContext: contextIsActiveContext + "Answer the indices in the source code for the supplied pc. + If the context is the actve context (is at the hot end of the stack) + then its pc is the current pc. But if the context isn't, because it is + suspended sending a message, then its current pc is the previous pc." + + | pc i end mapForMethod sortedMap | + pc := self method abstractPCForConcretePC: (contextIsActiveContext + ifTrue: [contextsConcretePC] + ifFalse: [(self method pcPreviousTo: contextsConcretePC) + ifNotNil: [:prevpc| prevpc] + ifNil: [contextsConcretePC]]). + ((mapForMethod := self abstractSourceMapForMethod: method) includesKey: pc) ifTrue: + [^mapForMethod at: pc]. + sortedSourceMap ifNil: + [sortedSourceMap := IdentityDictionary new]. + sortedMap := sortedSourceMap + at: method + ifAbsentPut: [mapForMethod associations + replace: [ :each | each copy ]; + sort]. + sortedMap isEmpty ifTrue: [^1 to: 0]. + i := sortedMap findNearbyBinaryIndex: [:assoc| pc - assoc key]. + i < 1 ifTrue: [^1 to: 0]. + i > sortedMap size ifTrue: + [end := sortedMap inject: 0 into: + [:prev :this | prev max: this value last]. + ^end+1 to: end]. + ^(sortedMap at: i) value + + "| method source scanner map | + method := DebuggerMethodMapForFullBlockCompiledMethods compiledMethodAt: #rangeForPC:in:contextIsActiveContext:. + source := method getSourceFromFile asString. + scanner := InstructionStream on: method. + map := method debuggerMap. + Array streamContents: + [:ranges| + [scanner atEnd] whileFalse: + [| range | + range := map rangeForPC: scanner pc in: method contextIsActiveContext: true. + ((map abstractSourceMap includesKey: scanner abstractPC) + and: [range first ~= 0]) ifTrue: + [ranges nextPut: (source copyFrom: range first to: range last)]. + scanner interpretNextInstructionFor: InstructionClient new]]"! Item was added: + ----- Method: DebuggerMethodMapForFullBlockCompiledMethods>>scanMethod:mappingRanges: (in category 'source mapping') ----- + scanMethod: theMethodToScan mappingRanges: rawSourceRanges + | abstractPC scanner client maybeBlock concreteSourceRanges rangesForMethod | + rangesForMethod := (abstractSourceRanges at: theMethodToScan put: Dictionary new). + concreteSourceRanges := Dictionary new. + "The rawSourceRanges map node pcs to ranges. + When node is one in the home method the node's pc is an integer. + When the node is within a block method the node's pc is an association from CompiledBlock to pc. + Extract pc -> range for this particular CompiledMethod or CompiledBlock." + rawSourceRanges keysAndValuesDo: + (theMethodToScan isCompiledMethod + ifTrue: + [[:node :range| + (node pc isVariableBinding + or: [node pc = 0]) ifFalse: + [concreteSourceRanges at: node pc put: range]]] + ifFalse: + [[:node :range| + (node pc isVariableBinding + and: [node pc key == theMethodToScan + and: [node pc value ~= 0]]) ifTrue: + [concreteSourceRanges at: node pc value put: range]]]). + abstractPC := 1. + scanner := InstructionStream on: theMethodToScan. + client := BlockStartLocator new. + [(concreteSourceRanges includesKey: scanner pc) ifTrue: + [rangesForMethod at: abstractPC put: (concreteSourceRanges at: scanner pc)]. + abstractPC := abstractPC + 1. + maybeBlock := scanner interpretNextInstructionFor: client. + (maybeBlock ~~ client + and: [maybeBlock isCompiledCode]) ifTrue: + [self assert: maybeBlock isCompiledBlock. + self scanMethod: maybeBlock mappingRanges: rawSourceRanges]. + scanner atEnd] whileFalse! Item was changed: ----- Method: ProcessBrowser>>pcRange (in category 'stack list') ----- pcRange "Answer the indices in the source code for the method corresponding to the selected context's program counter value." + (selectedContext isNil or: [methodText isEmptyOrNil]) ifTrue: + [^ 1 to: 0]. - (selectedContext isNil or: [methodText isEmptyOrNil]) - ifTrue: [^ 1 to: 0]. ^selectedContext debuggerMap rangeForPC: (selectedContext pc ifNotNil: [:pc| pc] ifNil: [selectedContext method endPC]) + in: selectedContext method contextIsActiveContext: stackListIndex = 1!

1 0

The Trunk: Compiler-eem.371.mcz
by commits＠source.squeak.org 11 Jan '18

11 Jan '18

Eliot Miranda uploaded a new version of Compiler to project The Trunk: http://source.squeak.org/trunk/Compiler-eem.371.mcz ==================== Summary ==================== Name: Compiler-eem.371 Author: eem Time: 11 January 2018, 9:04:32.236416 am UUID: 36ba34e7-1d85-4f34-8f83-9f161918c3b2 Ancestors: Compiler-eem.370 Implement source mapping for full blocks; to this end: Have the pc in a node belonging to a full block be an association from the block method to the pc within it. Add a blockMethod inst var to BytecodeEncoder to hold the currently generated block method and have nodes access their pc via BytecodeEncoder>>pc & nextPC. Introduce startKeys instead of startPcs, to generalize to full blocks and embedded blocks. Refactor full block method generation a little to avoid unnecessary non-self sends. Have LiteralNode print a block, not storeString it, for readability. =============== Diff against Compiler-eem.370 =============== Item was changed: ----- Method: AssignmentNode>>emitCodeForEffect:encoder: (in category 'code generation') ----- emitCodeForEffect: stack encoder: encoder variable emitCodeForLoad: stack forValue: false encoder: encoder. value emitCodeForValue: stack encoder: encoder. + pc := encoder nextPC. "debug pc is first byte of the store, i.e. the next byte". - pc := encoder methodStreamPosition + 1. "debug pc is first byte of the store, i.e. the next byte". variable emitCodeForStorePop: stack encoder: encoder! Item was changed: ----- Method: AssignmentNode>>emitCodeForValue:encoder: (in category 'code generation') ----- emitCodeForValue: stack encoder: encoder variable emitCodeForLoad: stack forValue: true encoder: encoder. value emitCodeForValue: stack encoder: encoder. + pc := encoder nextPC. "debug pc is first byte of the store, i.e. the next byte". - pc := encoder methodStreamPosition + 1. "debug pc is first byte of the store, i.e. the next byte". variable emitCodeForStore: stack encoder: encoder! Item was changed: ----- Method: BlockNode>>createBlockLiteral: (in category 'code generation') ----- createBlockLiteral: encoder ^self + reindexingLocalsDo: [encoder blockLiteralFor: self] - reindexingLocalsDo: - [encoder reindexingLiteralsDo: - [encoder copyWithNewLiterals - generateBlockMethodOfClass: CompiledBlock - trailer: CompiledMethodTrailer empty - from: self]] encoder: encoder! Item was changed: ----- Method: BlockNode>>emitCodeForEvaluatedClosureValue:encoder: (in category 'code generation') ----- emitCodeForEvaluatedClosureValue: stack encoder: encoder | position | position := stack position. stack position: arguments size + temporaries size + copiedValues size. encoder genPushNClosureTemps: temporaries size. self reindexingLocalsDo: [self emitCodeForEvaluatedValue: stack encoder: encoder] encoder: encoder. self returns ifFalse: [encoder genReturnTopToCaller. + pc := encoder pc]. - pc := encoder methodStreamPosition]. stack position: position! Item was changed: ----- Method: BlockNode>>emitCodeForEvaluatedFullClosureValue:encoder: (in category 'code generation') ----- emitCodeForEvaluatedFullClosureValue: stack encoder: encoder | position | position := stack position. self emitCodeExceptLast: stack encoder: encoder. (statements last == NodeNil and: [self returns not]) ifTrue: [stack push: 1. encoder genReturnNilToCaller. + pc := encoder pc] - pc := encoder methodStreamPosition] ifFalse: [statements last emitCodeForBlockValue: stack encoder: encoder. self returns ifFalse: [encoder genReturnTopToCaller. + pc := encoder pc]]. - pc := encoder methodStreamPosition]]. self assert: stack position - 1 = position! Item was changed: ----- Method: BlockNode>>emitCodeForValue:encoder: (in category 'code generation') ----- emitCodeForValue: stack encoder: encoder encoder supportsFullBlocks ifTrue: [^self emitCodeForFullBlockValue: stack encoder: encoder]. copiedValues do: [:copiedValue| copiedValue emitCodeForValue: stack encoder: encoder]. + closureCreationNode pc: encoder nextPC. - closureCreationNode pc: encoder methodStreamPosition + 1. encoder genPushClosureCopyNumCopiedValues: copiedValues size numArgs: arguments size jumpSize: size. stack pop: copiedValues size; push: 1. "Emit the body of the block" self emitCodeForEvaluatedClosureValue: stack encoder: encoder! Item was changed: Encoder subclass: #BytecodeEncoder + instanceVariableNames: 'stream position rootNode blockExtentsToLocals blockMethod' - instanceVariableNames: 'stream position rootNode blockExtentsToLocals' classVariableNames: '' poolDictionaries: '' category: 'Compiler-Kernel'! + !BytecodeEncoder commentStamp: 'eem 1/10/2018 17:28' prior: 0! + I am an abstract superclass for different bytecode set encoders. Subclasses inherit the literal management of Encoder and encapsulate the mapping of opcodes to specific bytecodes. + + Instance Variables + blockExtentsToLocals: <Dictionary from: Interval to: (Array of: String)> + blockMethod: <CompiledBlock> + position: <Integer> + rootNode: <MethodNode> + stream: <WriteStream | BytecodeEncoder> + + blockExtentsToLocals + - is a map from block extent to the sequence of temps defined in the block with that extent + + blockMethod + - the compiled block being generated in generateBlockMethodOfClass:trailer:from: + + position + - used to size bytecodes by having the receiver masquerade as a stream during sizeOpcodeSelector:withArguments: + + rootNode + - the MethodNode for the method being generated + + stream + - during bytecode sizing this is the receiver. During bytecode generation this is the WriteStream on the method! - !BytecodeEncoder commentStamp: '<historical>' prior: 0! - I am an abstract superclass for different bytecode set encoders. Subclasses inherit the literal management of Encoder and encapsulate the mapping of opcodes to specific bytecodes.! Item was added: + ----- Method: BytecodeEncoder class>>supportsFullBlocks (in category 'testing') ----- + supportsFullBlocks + "Answer if the instruction set supports full closures (closure creation from + specfic methods instead of bytecodes embedded in an outer home method)." + + ^self basicNew supportsFullBlocks! Item was added: + ----- Method: BytecodeEncoder>>blockLiteralFor: (in category 'full blocks') ----- + blockLiteralFor: aBlockNode + "Answer a new CompiledBlock for the code in aBlockNode" + ^self reindexingLiteralsDo: + [self shallowCopy resetForFullBlockGeneration + generateBlockMethodOfClass: CompiledBlock + trailer: CompiledMethodTrailer empty + from: aBlockNode]! Item was removed: - ----- Method: BytecodeEncoder>>copyWithNewLiterals (in category 'full blocks') ----- - copyWithNewLiterals - ^self shallowCopy resetLiteralStreamForFullBlock! Item was changed: ----- Method: BytecodeEncoder>>generateBlockMethodOfClass:trailer:from: (in category 'method encoding') ----- generateBlockMethodOfClass: aCompiledBlockClass trailer: trailer from: blockNode "Generate a CompiledBlock for the block whose parse tree is blockNode." "The closure analysis should already have been done." | blkSize header literals locals method nLits stack | self assert: blockNode blockExtent notNil. self assert: rootNode notNil. blkSize := blockNode sizeCodeForEvaluatedFullClosureValue: self. locals := blockNode localsNodes. self noteBlockExtent: blockNode blockExtent hasLocals: locals. header := self computeMethodHeaderForNumArgs: blockNode arguments size numTemps: locals size numLits: (nLits := (literals := self allLiterals) size) primitive: 0. method := trailer createMethod: blkSize class: aCompiledBlockClass header: header. 1 to: nLits do: [:lit | (method literalAt: lit put: (literals at: lit)) isCompiledCode ifTrue: [(literals at: lit) outerCode: method]]. self streamToMethod: method. stack := ParseStack new init. stack position: method numTemps. + blockMethod := method. "For BytecodeEncoder>>pc & BytecodeEncoder>>nextPC" [blockNode emitCodeForEvaluatedFullClosureValue: stack encoder: self] on: Error "If an attempt is made to write too much code the method will be asked" do: [:ex| "to grow, and the grow attempt will fail in CompiledCode class>>#newMethodViaNewError" ex signalerContext sender method = (CompiledCode class>>#newMethodViaNewError) ifTrue: [^self error: 'Compiler code size discrepancy'] ifFalse: [ex pass]]. stack position ~= (method numTemps + 1) ifTrue: [^self error: 'Compiler stack discrepancy']. + stream position ~= (method size - trailer size) ifTrue: - self methodStreamPosition ~= (method size - trailer size) ifTrue: [^self error: 'Compiler code size discrepancy']. method needsFrameSize: stack size - method numTemps. ^method! Item was changed: ----- Method: BytecodeEncoder>>generateMethodOfClass:trailer:from: (in category 'method encoding') ----- generateMethodOfClass: aCompiledMethodClass trailer: trailer from: methodNode "The receiver is the root of a parse tree. Answer an instance of aCompiledMethodClass. The argument, trailer, is arbitrary but is typically either the reference to the source code that is stored with every CompiledMethod, or an encoding of the method's temporary names." | primErrNode blkSize nLits locals literals header method stack | primErrNode := methodNode primitiveErrorVariableName ifNotNil: [self fixTemp: methodNode primitiveErrorVariableName]. methodNode ensureClosureAnalysisDone. self rootNode: methodNode. "this is for BlockNode>>sizeCodeForClosureValue:" blkSize := (methodNode block sizeCodeForEvaluatedValue: self) + (methodNode primitive > 0 ifTrue: [self sizeCallPrimitive: methodNode primitive] ifFalse: [0]) + (primErrNode ifNil: [0] ifNotNil: [primErrNode index: methodNode arguments size + methodNode temporaries size; sizeCodeForStore: self "The VM relies on storeIntoTemp: (129)"]). locals := methodNode arguments, methodNode temporaries, (primErrNode ifNil: [#()] ifNotNil: [{primErrNode}]). self noteBlockExtent: methodNode block blockExtent hasLocals: locals. header := self computeMethodHeaderForNumArgs: methodNode arguments size numTemps: locals size numLits: (nLits := (literals := self allLiterals) size) primitive: methodNode primitive. method := trailer createMethod: blkSize class: aCompiledMethodClass header: header. 1 to: nLits do: [:lit | (method literalAt: lit put: (literals at: lit)) isCompiledCode ifTrue: [(literals at: lit) outerCode: method]]. self streamToMethod: method. stack := ParseStack new init. methodNode primitive > 0 ifTrue: [self genCallPrimitive: methodNode primitive]. primErrNode ifNotNil: [primErrNode emitCodeForStore: stack encoder: self]. stack position: method numTemps. [methodNode block emitCodeForEvaluatedValue: stack encoder: self] on: Error "If an attempt is made to write too much code the method will be asked" do: [:ex| "to grow, and the grow attempt will fail in CompiledCode class>>#newMethodViaNewError" ex signalerContext sender method = (CompiledCode class>>#newMethodViaNewError) ifTrue: [^self error: 'Compiler code size discrepancy'] ifFalse: [ex pass]]. stack position ~= (method numTemps + 1) ifTrue: [^self error: 'Compiler stack discrepancy']. + stream position ~= (method size - trailer size) ifTrue: - self methodStreamPosition ~= (method size - trailer size) ifTrue: [^self error: 'Compiler code size discrepancy']. method needsFrameSize: stack size - method numTemps. ^method! Item was added: + ----- Method: BytecodeEncoder>>nextPC (in category 'accessing') ----- + nextPC + "Answer the pc to store in a node for source range identification when the node is associated with its following pc." + ^blockMethod + ifNil: [stream position + 1] + ifNotNil: [:proxy| proxy -> (stream position + 1)]! Item was added: + ----- Method: BytecodeEncoder>>pc (in category 'accessing') ----- + pc + "Answer the pc to store in a node for source range identification." + ^blockMethod + ifNil: [stream position] + ifNotNil: [:proxy| proxy -> (stream position)]! Item was added: + ----- Method: BytecodeEncoder>>resetForFullBlockGeneration (in category 'code generation') ----- + resetForFullBlockGeneration + literalStream := WriteStream on: (Array new: 8). + addedSelectorAndMethodClassLiterals := false. + optimizedSelectors := Set new! Item was changed: ----- Method: BytecodeEncoder>>supportsFullBlocks (in category 'testing') ----- supportsFullBlocks "Answer if the instruction set supports full closures (closure creation from specfic methods instead of bytecodes embedded in an outer home method)." + - ^self subclassResponsibility! Item was added: + ----- Method: CompiledBlock>>startKeysToBlockExtents (in category '*Compiler-support') ----- + startKeysToBlockExtents + ^self homeMethod startKeysToBlockExtents! Item was added: + ----- Method: CompiledBlock>>startpcsToBlockExtents (in category '*Compiler-support') ----- + startpcsToBlockExtents + ^self outerCode startpcsToBlockExtents! Item was added: + ----- Method: CompiledMethod>>blockExtentsInto:from:to:method:numberer: (in category '*Compiler-support') ----- + blockExtentsInto: aDictionary from: initialPC to: endPC method: method numberer: numbererBlock + "Support routine for startpcsToBlockExtents" + | pcs extentStart locator scanner blockSizeOrMethodOrLocator | + self flag: 'belongs in DebuggerMethodMap'. + extentStart := numbererBlock value. + locator := BlockStartLocator new. + scanner := InstructionStream new method: method pc: initialPC. + pcs := OrderedCollection new. + [pcs addLast: scanner pc. + scanner pc <= endPC] whileTrue: + [blockSizeOrMethodOrLocator := scanner interpretNextInstructionFor: locator. + blockSizeOrMethodOrLocator ~~ locator ifTrue: + [blockSizeOrMethodOrLocator isInteger + ifTrue: + [self + blockExtentsInto: aDictionary + from: scanner pc + to: scanner pc + blockSizeOrMethodOrLocator - 1 + method: method + numberer: numbererBlock. + scanner pc: scanner pc + blockSizeOrMethodOrLocator] + ifFalse: + [self assert: blockSizeOrMethodOrLocator isCompiledBlock. + self + blockExtentsInto: aDictionary + from: blockSizeOrMethodOrLocator initialPC + to: blockSizeOrMethodOrLocator endPC + method: blockSizeOrMethodOrLocator + numberer: numbererBlock]]]. + aDictionary + at: (method isCompiledBlock + ifTrue: [method] + ifFalse: [initialPC]) + put: (extentStart to: numbererBlock value). + ^aDictionary! Item was added: + ----- Method: CompiledMethod>>mapFromBlockKeys:toSchematicTemps: (in category '*Compiler-support') ----- + mapFromBlockKeys: keys toSchematicTemps: schematicTempNamesString + "Decode a schematicTempNamesString that encodes the layout of temp names + in a method and any closures/blocks within it, matching keys in keys to + vectors of temp names." + | map tempNames | + map := Dictionary new. + tempNames := schematicTempNamesString readStream. + keys do: + [:key| | tempSequence tempIndex | + tempSequence := OrderedCollection new. + tempIndex := 0. + [(tempNames skipSeparators; peek) ifNil: [true] ifNotNil: [:ch| '[]' includes: ch]] whileFalse: + [tempNames peek = $( + ifTrue: [tempSequence addAllLast: ((self tempsSubSequenceFrom: (tempNames next; yourself)) withIndexCollect: + [:temp :index| + { temp. { tempIndex + 1. index } }]). + tempNames peek ~= $) ifTrue: [self error: 'parse error']. + tempIndex := tempIndex + 1. + tempNames next] + ifFalse: [tempSequence addAllLast: ((self tempsSubSequenceFrom: tempNames) withIndexCollect: + [:temp :index| + { temp. tempIndex := tempIndex + 1 }])]]. + map at: key put: tempSequence asArray. + [tempNames peek = $]] whileTrue: [tempNames next]. + tempNames peek = $[ ifTrue: + [tempNames next]]. + ^map! Item was added: + ----- Method: CompiledMethod>>startKeysToBlockExtents (in category '*Compiler-support') ----- + startKeysToBlockExtents + "Answer a Dictionary of start key to Interval of blockExtent, using the + identical numbering scheme described in and orchestrated by + BlockNode>>analyseArguments:temporaries:rootNode:. A start key + identifies a block within a method and is either the startpc for an + embedded block or the block method itself for a full block. This is + used in part to find the temp names for any block in a method, as + needed by the debugger. The other half is to recompile the method, + obtaining the temp names for each block extent. By indirecting through + the blockExtent instead of using the startpc directly we decouple the + debugger's access to temp names from the exact bytecode; insulating + debugging from minor changes in the compiler (e.g. changes in literal + pooling, adding prefix bytecodes, adding inst vars to CompiledMethod + in literals towards the end of the literal frame, etc). If the recompilation + doesn't produce exactly the same bytecode at exactly the same offset + no matter; the blockExtents will be the same." + | index | + self flag: 'belongs in DebuggerMethodMap'. + index := 0. + ^self + blockExtentsInto: Dictionary new + from: self initialPC + to: self endPC + method: self + numberer: [| value | value := index. index := index + 2. value]! Item was changed: ----- Method: Decompiler>>initSymbols: (in category 'initialize-release') ----- initSymbols: aClass constructor method: method class: aClass literals: method literals. constTable := constructor codeConstants. instVars := Array new: aClass instSize. tempVarCount := method numTemps. "(tempVars isNil and: [method holdsTempNames]) ifTrue: [tempVars := method tempNamesString]." tempVars isString ifTrue: + [blockStartsToTempVars := self mapFromBlockKeysIn: method - [blockStartsToTempVars := self mapFromBlockStartsIn: method toTempVarsFrom: tempVars constructor: constructor. tempVars := blockStartsToTempVars at: method initialPC] ifFalse: [| namedTemps | namedTemps := tempVars ifNil: [(1 to: tempVarCount) collect: [:i| 't', i printString]]. tempVars := (1 to: tempVarCount) collect: [:i | i <= namedTemps size ifTrue: [constructor codeTemp: i - 1 named: (namedTemps at: i)] ifFalse: [constructor codeTemp: i - 1]]]. 1 to: method numArgs do: [:i| (tempVars at: i) beMethodArg]. tempReadCounts := Dictionary new! Item was added: + ----- Method: Decompiler>>mapFromBlockKeysIn:toTempVarsFrom:constructor: (in category 'initialize-release') ----- + mapFromBlockKeysIn: aMethod toTempVarsFrom: schematicTempNamesString constructor: aDecompilerConstructor + | map | + map := aMethod + mapFromBlockKeys: aMethod startKeysToBlockExtents keys asArray sort + toSchematicTemps: schematicTempNamesString. + map keysAndValuesDo: + [:startKey :tempNameTupleVector| + tempNameTupleVector isEmpty ifFalse: + [| subMap numTemps tempVector | + subMap := Dictionary new. + "Find how many temp slots there are (direct & indirect temp vectors) + and for each indirect temp vector find how big it is." + tempNameTupleVector do: + [:tuple| + tuple last isArray + ifTrue: + [subMap at: tuple last first put: tuple last last. + numTemps := tuple last first] + ifFalse: + [numTemps := tuple last]]. + "create the temp vector for this scope level." + tempVector := Array new: numTemps. + "fill it in with any indirect temp vectors" + subMap keysAndValuesDo: + [:index :size| + tempVector at: index put: (Array new: size)]. + "fill it in with temp nodes." + tempNameTupleVector do: + [:tuple| | itv | + tuple last isArray + ifTrue: + [itv := tempVector at: tuple last first. + itv at: tuple last last + put: (aDecompilerConstructor + codeTemp: tuple last last - 1 + named: tuple first)] + ifFalse: + [tempVector + at: tuple last + put: (aDecompilerConstructor + codeTemp: tuple last - 1 + named: tuple first)]]. + "replace any indirect temp vectors with proper RemoteTempVectorNodes" + subMap keysAndValuesDo: + [:index :size| + tempVector + at: index + put: (aDecompilerConstructor + codeRemoteTemp: index + remoteTemps: (tempVector at: index))]. + "and update the entry in the map" + map at: startKey put: tempVector]]. + ^map! Item was removed: - ----- Method: Decompiler>>mapFromBlockStartsIn:toTempVarsFrom:constructor: (in category 'initialize-release') ----- - mapFromBlockStartsIn: aMethod toTempVarsFrom: schematicTempNamesString constructor: aDecompilerConstructor - | map | - map := aMethod - mapFromBlockKeys: aMethod startpcsToBlockExtents keys asArray sort - toSchematicTemps: schematicTempNamesString. - map keysAndValuesDo: - [:startpc :tempNameTupleVector| - tempNameTupleVector isEmpty ifFalse: - [| subMap numTemps tempVector | - subMap := Dictionary new. - "Find how many temp slots there are (direct & indirect temp vectors) - and for each indirect temp vector find how big it is." - tempNameTupleVector do: - [:tuple| - tuple last isArray - ifTrue: - [subMap at: tuple last first put: tuple last last. - numTemps := tuple last first] - ifFalse: - [numTemps := tuple last]]. - "create the temp vector for this scope level." - tempVector := Array new: numTemps. - "fill it in with any indirect temp vectors" - subMap keysAndValuesDo: - [:index :size| - tempVector at: index put: (Array new: size)]. - "fill it in with temp nodes." - tempNameTupleVector do: - [:tuple| | itv | - tuple last isArray - ifTrue: - [itv := tempVector at: tuple last first. - itv at: tuple last last - put: (aDecompilerConstructor - codeTemp: tuple last last - 1 - named: tuple first)] - ifFalse: - [tempVector - at: tuple last - put: (aDecompilerConstructor - codeTemp: tuple last - 1 - named: tuple first)]]. - "replace any indirect temp vectors with proper RemoteTempVectorNodes" - subMap keysAndValuesDo: - [:index :size| - tempVector - at: index - put: (aDecompilerConstructor - codeRemoteTemp: index - remoteTemps: (tempVector at: index))]. - "and update the entry in the map" - map at: startpc put: tempVector]]. - ^map! Item was changed: ----- Method: EncoderForSistaV1>>supportsFullBlocks (in category 'testing') ----- supportsFullBlocks "Answer if the instruction set supports full closures (closure creation from specfic methods instead of bytecodes embedded in an outer home method)." + - ^true! Item was changed: ----- Method: LiteralNode>>printOn:indent: (in category 'printing') ----- printOn: aStream indent: level key isVariableBinding ifTrue: [key key isNil ifTrue: [aStream nextPutAll: '###'; nextPutAll: key value soleInstance name] ifFalse: [aStream nextPutAll: '##'; nextPutAll: key key]. ^self]. key isLiteral ifTrue: [key printAsLiteralOn: aStream. ^self]. + (key isCompiledCode and: [key isCompiledBlock]) ifTrue: + [key printOn: aStream. + ^self]. key storeOn: aStream! Item was changed: ----- Method: MessageNode>>emitCodeForIf:encoder:value: (in category 'code generation') ----- emitCodeForIf: stack encoder: encoder value: forValue | thenExpr thenSize elseExpr elseSize | thenSize := sizes at: 1. elseSize := sizes at: 2. thenExpr := arguments at: 1. elseExpr := arguments at: 2. receiver emitCodeForValue: stack encoder: encoder. elseSize * thenSize > 0 ifTrue: "Code for two-armed" [self emitCodeForBranchOn: false dist: thenSize pop: stack encoder: encoder. + pc := encoder pc. - pc := encoder methodStreamPosition. thenExpr emitCodeForEvaluatedValue: stack encoder: encoder. stack pop: 1. "then and else alternate; they don't accumulate" thenExpr returns ifFalse: "Elide jump over else after a return" [self emitCodeForJump: elseSize encoder: encoder]. elseExpr emitCodeForEvaluatedValue: stack encoder: encoder. forValue ifFalse: ["Two-armed IFs forEffect share a single pop - except if both return" (arguments allSatisfy: #returns) ifFalse: [encoder genPop]. stack pop: 1]] ifFalse: "One arm is empty here (this can only ever be for effect)" [thenSize > 0 ifTrue: [self emitCodeForBranchOn: false dist: thenSize pop: stack encoder: encoder. + pc := encoder pc. - pc := encoder methodStreamPosition. thenExpr emitCodeForEvaluatedEffect: stack encoder: encoder] ifFalse: [self emitCodeForBranchOn: true dist: elseSize pop: stack encoder: encoder. + pc := encoder pc. - pc := encoder methodStreamPosition. elseExpr emitCodeForEvaluatedEffect: stack encoder: encoder]]! Item was changed: ----- Method: MessageNode>>emitCodeForIfNil:encoder:value: (in category 'code generation') ----- emitCodeForIfNil: stack encoder: encoder value: forValue | theNode theSize ifNotNilSelector | theNode := arguments first. theSize := sizes at: 1. ifNotNilSelector := #ifNotNil:. receiver emitCodeForValue: stack encoder: encoder. forValue ifTrue: [encoder genDup. stack push: 1]. encoder genPushSpecialLiteral: nil. stack push: 1. equalNode emitCode: stack args: 1 encoder: encoder. self emitCodeForBranchOn: (selector key == ifNotNilSelector) dist: theSize pop: stack encoder: encoder. + pc := encoder pc. - pc := encoder methodStreamPosition. forValue ifTrue: [encoder genPop. stack pop: 1. theNode emitCodeForEvaluatedValue: stack encoder: encoder] ifFalse: [theNode emitCodeForEvaluatedEffect: stack encoder: encoder]! Item was changed: ----- Method: MessageNode>>emitCodeForToDo:encoder:value: (in category 'code generation') ----- emitCodeForToDo: stack encoder: encoder value: forValue " var := rcvr. L1: [var <= arg1] Bfp(L2) [block body. var := var + inc] Jmp(L1) L2: " | loopSize initStmt limitInit test block incStmt blockSize | initStmt := arguments at: 4. limitInit := arguments at: 7. test := arguments at: 5. block := arguments at: 3. incStmt := arguments at: 6. blockSize := sizes at: 1. loopSize := sizes at: 2. "This will return the receiver of to:do: which is the initial value of the loop" forValue ifTrue: [initStmt emitCodeForValue: stack encoder: encoder] ifFalse: [initStmt emitCodeForEffect: stack encoder: encoder]. limitInit ifNotNil: [limitInit emitCodeForEffect: stack encoder: encoder]. test emitCodeForValue: stack encoder: encoder. self emitCodeForBranchOn: false dist: blockSize pop: stack encoder: encoder. + pc := encoder pc. - pc := encoder methodStreamPosition. block emitCodeForEvaluatedEffect: stack encoder: encoder. incStmt emitCodeForEffect: stack encoder: encoder. self emitCodeForJump: 0 - loopSize encoder: encoder! Item was changed: ----- Method: MessageNode>>emitCodeForValue:encoder: (in category 'code generation') ----- emitCodeForValue: stack encoder: encoder "For #ifTrue:ifFalse: and #whileTrue: / #whileFalse: style messages, the pc is set to the jump instruction, so that mustBeBoolean exceptions can be shown correctly." special > 0 ifTrue: [pc := 0. self perform: (MacroEmitters at: special) with: stack with: encoder with: true] ifFalse: [receiver ~~ nil ifTrue: [receiver emitCodeForValue: stack encoder: encoder]. arguments do: [:argument | argument emitCodeForValue: stack encoder: encoder]. + pc := encoder nextPC. "debug pc is first byte of the send, i.e. the next byte". - pc := encoder methodStreamPosition + 1. "debug pc is first byte of the send, i.e. the next byte". selector emitCode: stack args: arguments size encoder: encoder super: receiver == NodeSuper]! Item was changed: ----- Method: MessageNode>>emitCodeForWhile:encoder:value: (in category 'code generation') ----- emitCodeForWhile: stack encoder: encoder value: forValue "L1: ... Bfp(L2)|Btp(L2) ... Jmp(L1) L2: " | cond stmt stmtSize loopSize | cond := receiver. stmt := arguments at: 1. stmtSize := sizes at: 1. loopSize := sizes at: 2. cond emitCodeForEvaluatedValue: stack encoder: encoder. self emitCodeForBranchOn: (selector key == #whileFalse:) "Bfp for whileTrue" dist: stmtSize pop: stack encoder: encoder. "Btp for whileFalse" + pc := encoder pc. - pc := encoder methodStreamPosition. stmt emitCodeForEvaluatedEffect: stack encoder: encoder. self emitCodeForJump: 0 - loopSize encoder: encoder. forValue ifTrue: [encoder genPushSpecialLiteral: nil. stack push: 1]! Item was changed: ----- Method: ReturnNode>>emitCodeForReturn:encoder: (in category 'code generation') ----- emitCodeForReturn: stack encoder: encoder expr emitCodeForReturn: stack encoder: encoder. + pc := encoder pc! - pc := encoder methodStreamPosition! Item was changed: ----- Method: ReturnNode>>emitCodeForValue:encoder: (in category 'code generation') ----- emitCodeForValue: stack encoder: encoder expr emitCodeForReturn: stack encoder: encoder. + pc := encoder pc! - pc := encoder methodStreamPosition!

1 0

← Newer
1
...
10
11
12
13
14
15
16
17
18
Older →

Jump to page: