Packages January 2018

packages@lists.squeakfoundation.org

1 participants
79 discussions

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

05 Jan '18

Eliot Miranda uploaded a new version of Compiler to project The Trunk: http://source.squeak.org/trunk/Compiler-eem.363.mcz ==================== Summary ==================== Name: Compiler-eem.363 Author: eem Time: 5 January 2018, 12:23:47.49447 pm UUID: e6e0f44c-156f-4ba2-a96b-044cc09da7e2 Ancestors: Compiler-eem.362 Use the blockReturnNilToCaller bytecode in full blocks. Add a postscript to remove empty categories in ParseNode and subclasses (to get rid of the obsolte and empty code generation (closures) protocols). =============== Diff against Compiler-eem.362 =============== Item was changed: + ----- Method: BlockNode>>createBlockLiteral: (in category 'code generation') ----- - ----- Method: BlockNode>>createBlockLiteral: (in category 'code generation (closures)') ----- createBlockLiteral: encoder ^self reindexingLocalsDo: [encoder reindexingLiteralsDo: [encoder copyWithNewLiterals generateBlockMethodOfClass: CompiledBlock trailer: CompiledMethodTrailer empty from: self]] encoder: encoder! 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 methodStreamPosition] + ifFalse: + [statements last emitCodeForBlockValue: stack encoder: encoder. + self returns ifFalse: + [encoder genReturnTopToCaller. + pc := encoder methodStreamPosition]]. - statements last emitCodeForBlockValue: stack encoder: encoder. - self returns ifFalse: - [encoder genReturnTopToCaller. - pc := encoder methodStreamPosition]. self assert: stack position - 1 = position! Item was changed: + ----- Method: BlockNode>>emitCodeForFullBlockValue:encoder: (in category 'code generation') ----- - ----- Method: BlockNode>>emitCodeForFullBlockValue:encoder: (in category 'code generation (closures)') ----- emitCodeForFullBlockValue: stack encoder: encoder copiedValues do: [:copiedValue| copiedValue emitCodeForValue: stack encoder: encoder]. encoder genPushFullClosure: closureCreationNode index numCopied: copiedValues size. stack pop: copiedValues size; push: 1! Item was changed: ----- Method: BlockNode>>sizeCodeForEvaluatedFullClosureValue: (in category 'code generation') ----- sizeCodeForEvaluatedFullClosureValue: encoder "The closure value primitives push the arguments and the copied values. The compiler guarantees that any copied values come before all local temps. So on full closure activation we need do nothing." + (statements last == NodeNil + and: [self returns not]) ifTrue: + [^encoder sizeReturnNilToCaller]. ^(self sizeCodeForEvaluatedValue: encoder) + (self returns ifTrue: [0] ifFalse: [encoder sizeReturnTopToCaller])! Item was added: + ----- Method: BytecodeEncoder>>sizeReturnNilToCaller (in category 'opcode sizing') ----- + sizeReturnNilToCaller + ^self sizeOpcodeSelector: #genReturnNilToCaller withArguments: #()! Item was added: + ----- Method: EncoderForSistaV1>>genReturnNilToCaller (in category 'bytecode generation') ----- + genReturnNilToCaller + "93 01011101 BlockReturn nil [* return from enclosing block N, ExtA]" + "If extended, the least significant bit of the extension determines if we return to the caller or not + and the most significant bits determine how many levels of the static chain to return from. + ExtA = iiiiiiij + iiiiiii=0,j=0 => return to caller + iiiiiii=0,j=1 => illegal + iiiiiii=1,j=0 => return to outerContext + iiiiiii=1,j=1 => return to outerContext sender/return from outerContext + iiiiiii=2,j=0 => return to outerContext outerContext + iiiiiii=2,j=1 => return to outerContext outerContext sender/return from outerContext outerContext + etc" + + stream nextPut: 93! Item was changed: (PackageInfo named: 'Compiler') postscript: '"below, add code to be run after the loading of this package" + "Make sure that all those ``code generation (closures)'''' categoies disappear" + ParseNode withAllSubclasses do: + [:pnc| pnc organization removeEmptyCategories]'! - "Make sure all methods using to:do: and to:by:do: are recompiled" - UIManager default - informUser: ''Recompiling methods sending to:do: and to:by:do:'' - during: - [(self systemNavigation allMethodsSelect: - [:m| - #(to:do: to:by:do:) anySatisfy: [:l| m refersToLiteral: l]]) do: - [:mr| mr actualClass recompile: mr selector]]'!

1 0

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

05 Jan '18

Eliot Miranda uploaded a new version of Compiler to project The Trunk: http://source.squeak.org/trunk/Compiler-eem.362.mcz ==================== Summary ==================== Name: Compiler-eem.362 Author: eem Time: 5 January 2018, 10:30:42.489732 am UUID: 6024b2f1-3e38-4625-a934-dd3f7cb29484 Ancestors: Compiler-eem.361 Implement super sends in full blocks. Since CompiledBlock uses the last literal to refer to the outer CompiledCode, it can't hold the class association used in conventional super sends. Hence within a block a super send must use the directed super send form. =============== Diff against Compiler-eem.361 =============== Item was added: + ----- Method: BytecodeEncoder>>generatingFullBlock (in category 'testing') ----- + generatingFullBlock + "Answer if the encoder is currently generating a FullBlock, embedded in some method." + + "When generating a FullBlock a copy of the encoder for the home emthod (rootNode) + is used, and hence the following is true." + ^rootNode encoder ~~ self! Item was added: + ----- Method: Decompiler>>directedSuperSend:numArgs: (in category 'instruction decoding') ----- + directedSuperSend: selector numArgs: numArgs + stack removeLast. "Discard the pushed class." + ^self send: selector super: true numArgs: numArgs! Item was changed: ----- Method: SelectorNode>>emitCode:args:encoder:super: (in category 'code generation') ----- emitCode: stack args: nArgs encoder: encoder super: supered stack pop: nArgs. ^supered ifTrue: + [(encoder supportsFullBlocks + and: [encoder generatingFullBlock]) + ifTrue: + [encoder genPushLiteral: (encoder sharableLitIndex: encoder classEncoding). + encoder genSendDirectedSuper: index numArgs: nArgs] + ifFalse: [encoder genSendSuper: index numArgs: nArgs]] - [encoder genSendSuper: index numArgs: nArgs] ifFalse: [encoder genSend: (code < Send ifTrue: [code negated] ifFalse: [index]) numArgs: nArgs]! Item was changed: ----- Method: SelectorNode>>sizeCode:args:super: (in category 'code generation') ----- sizeCode: encoder args: nArgs super: supered self reserve: encoder. ^supered ifTrue: [code < Send "i.e. its a special selector" ifTrue: [code := self code: (index := encoder sharableLitIndex: key) type: 5]. + (encoder supportsFullBlocks + and: [encoder generatingFullBlock]) + ifTrue: [(encoder sizePushLiteral: (encoder sharableLitIndex: encoder classEncoding)) + + (encoder sizeSendDirectedSuper: index numArgs: nArgs)] + ifFalse: [encoder sizeSendSuper: index numArgs: nArgs]] - encoder sizeSendSuper: index numArgs: nArgs] ifFalse: [self flag: #yuck. "special selector sends cause this problem" encoder sizeSend: (code < Send ifTrue: [code negated] ifFalse: [index]) numArgs: nArgs]!

1 0

The Trunk: ReleaseBuilder-mt.171.mcz
by commits＠source.squeak.org 05 Jan '18

05 Jan '18

Marcel Taeumel uploaded a new version of ReleaseBuilder to project The Trunk: http://source.squeak.org/trunk/ReleaseBuilder-mt.171.mcz ==================== Summary ==================== Name: ReleaseBuilder-mt.171 Author: mt Time: 5 January 2018, 3:25:45.144276 pm UUID: e341b81d-8a93-af4b-a164-01b39e294ff6 Ancestors: ReleaseBuilder-dtl.170 Adds recent text-drag preference to release builder. =============== Diff against ReleaseBuilder-dtl.170 =============== Item was changed: ----- Method: ReleaseBuilder class>>setPreferences (in category 'scripts') ----- setPreferences "Preferences class defaultValueTableForCurrentRelease" " Preferences outOfTheBox." "<-- uncomment after #defaultValueTableForCurrentRelease is fixed up." "General User interaction" Preferences enable: #generalizedYellowButtonMenu ; enable: #swapMouseButtons; disable: #mouseOverForKeyboardFocus. Morph indicateKeyboardFocus: true. Project uiManager openToolsAttachedToMouseCursor: false. SearchBar useScratchPad: false. HandMorph sendMouseWheelToKeyboardFocus: false. HandMorph synthesizeMouseWheelEvents: true. "Text input." TextEditor autoEnclose: true ; autoIndent: true ; encloseSelection: false ; destructiveBackWord: false ; blinkingCursor: true ; dumbbellCursor: false. PluggableTextMorph simpleFrameAdornments: false. + TextMorphForEditView draggableTextSelection: true. "Windows" SystemWindow reuseWindows: false. SystemWindow windowsRaiseOnClick: true. SystemWindow windowTitleActiveOnFirstClick: true. Model windowActiveOnFirstClick: false. "Not good for little screen real estate." Model useColorfulWindows: false. Preferences disable: #showSplitterHandles; disable: #fastDragWindowForMorphic. CornerGripMorph drawCornerResizeHandles: false; passiveColor: (Color gray: 0.85); activeColor: (Color r: 1 g: 0.599 b: 0.0). ProportionalSplitterMorph smartHorizontalSplitters: false ; smartVerticalSplitters: false. "Scroll bars." Preferences enable: #scrollBarsNarrow; enable: #scrollBarsOnRight; enable: #alwaysHideHScrollbar; disable: #alwaysShowHScrollbar; disable: #alwaysShowVScrollbar. ScrollBar scrollBarsWithoutArrowButtons: true; scrollBarsWithoutMenuButton: true. ScrollPane useRetractableScrollBars: false. "Rounded corners." Morph preferredCornerRadius: 8. SystemWindow roundedWindowCorners: false. DialogWindow roundedDialogCorners: false. MenuMorph roundedMenuCorners: false. PluggableButtonMorph roundedButtonCorners: false. ScrollBar roundedScrollBarLook: false. "Gradients." SystemWindow gradientWindow: false. DialogWindow gradientDialog: false. MenuMorph gradientMenu: false. PluggableButtonMorph gradientButton: false. ScrollBar gradientScrollBar: false. "Shadows" Preferences enable: #menuAppearance3d. Morph useSoftDropShadow: true. "Lists and Trees" PluggableListMorph filterableLists: true; clearFilterAutomatically: false; highlightHoveredRow: true; menuRequestUpdatesSelection: true. PluggableTreeMorph filterByLabelsOnly: false; maximumSearchDepth: 1. "Standard Tools" TheWorldMainDockingBar showWorldMainDockingBar: true; showSecondsInClock: true; twentyFourHourClock: true. SearchBar useSmartSearch: true. Workspace shouldStyle: false. Browser listClassesHierarchically: true; showClassIcons: true; showMessageIcons: true; sortMessageCategoriesAlphabetically: true. Preferences enable: #annotationPanes; enable: #optionalButtons; disable: #diffsWithPrettyPrint; enable: #traceMessages; enable: #alternativeBrowseIt; enable: #menuWithIcons; enable: #visualExplorer. SystemNavigation thoroughSenders: true. Preferences disable: #debugLogTimestamp. "Halo" Preferences enable: #showBoundsInHalo ; disable: #alternateHandlesLook; disable: #showDirectionHandles. "System" NetNameResolver enableIPv6: false. Scanner allowUnderscoreAsAssignment: true; prefAllowUnderscoreSelectors: true. Deprecation showDeprecationWarnings: true "that's all, folks"!

1 0

The Trunk: Morphic-mt.1387.mcz
by commits＠source.squeak.org 03 Jan '18

03 Jan '18

Marcel Taeumel uploaded a new version of Morphic to project The Trunk: http://source.squeak.org/trunk/Morphic-mt.1387.mcz ==================== Summary ==================== Name: Morphic-mt.1387 Author: mt Time: 3 January 2018, 9:57:39.385816 am UUID: 431484b1-a71b-0c42-8973-37b110485d1d Ancestors: Morphic-mt.1386 Fixes a bug that I introduced in the last commit. =============== Diff against Morphic-mt.1386 =============== Item was changed: ----- Method: TextMorphForEditView>>acceptDroppingMorph:event: (in category 'dropping/grabbing') ----- acceptDroppingMorph: aTransferMorph event: evt "Accept a text to be inserted at the event/cursor position. Either remove or keep the source text depending on the transfer morph's copy state." | sourceEditor | sourceEditor := (aTransferMorph source respondsTo: #editor) ifTrue: [aTransferMorph source editor] ifFalse: [nil]. self handleInteraction: [ "1) Delete selection if it is a move operation." (aTransferMorph shouldCopy or: [sourceEditor isNil]) ifFalse: [ sourceEditor destructiveBackWord. + sourceEditor history previous isCompositeRedo: sourceEditor == self editor]. - sourceEditor == self editor - ifTrue: [self editor history previous isCompositeRedo: true]]. "2) Insert selection at new place." self editor addText: aTransferMorph passenger asText event: evt. + self editor history previous + isCompositeUndo: (sourceEditor == self editor and: [aTransferMorph shouldCopy not])] - sourceEditor == self editor - ifTrue: [self editor history previous isCompositeUndo: true]] fromEvent: evt. evt hand newKeyboardFocus: self.!

1 0

The Trunk: Morphic-mt.1386.mcz
by commits＠source.squeak.org 03 Jan '18

03 Jan '18

Marcel Taeumel uploaded a new version of Morphic to project The Trunk: http://source.squeak.org/trunk/Morphic-mt.1386.mcz ==================== Summary ==================== Name: Morphic-mt.1386 Author: mt Time: 3 January 2018, 9:48:33.350816 am UUID: f9d1c8e8-849f-9d4b-8529-c1b163677c65 Ancestors: Morphic-eem.1385 Text drag/drop: Creates a composite undo/redo if source and target are the same morph/editor. Note that drag-dropping text between text morphs (i.e. windows or panes) is not affected. You have to focus and undo/redo separately. Do-it the following example to drop text from a source that does not use the TextMorph/TextEditor mechanism: ActiveHand grabMorph: (TransferMorph withPassenger: 'Hello, World!' asText from: nil). =============== Diff against Morphic-eem.1385 =============== Item was changed: ----- Method: TextMorphForEditView>>acceptDroppingMorph:event: (in category 'dropping/grabbing') ----- acceptDroppingMorph: aTransferMorph event: evt "Accept a text to be inserted at the event/cursor position. Either remove or keep the source text depending on the transfer morph's copy state." + | sourceEditor | + sourceEditor := (aTransferMorph source respondsTo: #editor) + ifTrue: [aTransferMorph source editor] + ifFalse: [nil]. + self handleInteraction: [ + + "1) Delete selection if it is a move operation." + (aTransferMorph shouldCopy or: [sourceEditor isNil]) ifFalse: [ + sourceEditor destructiveBackWord. + sourceEditor == self editor + ifTrue: [self editor history previous isCompositeRedo: true]]. + + "2) Insert selection at new place." + self editor addText: aTransferMorph passenger asText event: evt. + sourceEditor == self editor + ifTrue: [self editor history previous isCompositeUndo: true]] + - aTransferMorph shouldCopy - ifFalse: [(aTransferMorph source respondsTo: #editor) - ifTrue: [aTransferMorph source editor destructiveBackWord]]. - self editor addText: aTransferMorph passenger asText event: evt] fromEvent: evt. evt hand newKeyboardFocus: self.!

1 0

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

03 Jan '18

Eliot Miranda uploaded a new version of Compiler to project The Trunk: http://source.squeak.org/trunk/Compiler-eem.361.mcz ==================== Summary ==================== Name: Compiler-eem.361 Author: eem Time: 2 January 2018, 5:47:32.911397 pm UUID: 5fe8c44c-f098-43cc-b689-1bf367f5ed8e Ancestors: Compiler-eem.360 First cut of FullBlockClosure support in the compiler. If the encoder answers true to supportsFullBlocks then non-optimized blocks are compiled to their own CompiledBlock instance. Reduce the use of code in a few ParseNode subclasses. Use the more generic isSpecialLiteralForPush: [todo: use SistaV1's BlockReturn nil]. [And for the curious here's a way to exercise the compiler (self systemNavigation allMethodsSelect: [:m| m scanFor: 143]) do: [:mr| (Parser new encoderClass: EncoderForSistaV1; parse: mr sourceString class: mr actualClass) generate] =============== Diff against Compiler-eem.360 =============== Item was changed: ----- Method: BlockNode>>constructClosureCreationNode: (in category 'code generation') ----- constructClosureCreationNode: encoder copiedValues := self computeCopiedValues: encoder rootNode. + ^self ensureClosureCreationNode: encoder! - ^self ensureClosureCreationNode! Item was added: + ----- Method: BlockNode>>createBlockLiteral: (in category 'code generation (closures)') ----- + createBlockLiteral: encoder + ^self + reindexingLocalsDo: + [encoder reindexingLiteralsDo: + [encoder copyWithNewLiterals + generateBlockMethodOfClass: CompiledBlock + trailer: CompiledMethodTrailer empty + from: self]] + encoder: encoder! Item was added: + ----- Method: BlockNode>>emitCodeForEvaluatedFullClosureValue:encoder: (in category 'code generation') ----- + emitCodeForEvaluatedFullClosureValue: stack encoder: encoder + | position | + position := stack position. + self emitCodeExceptLast: stack encoder: encoder. + statements last emitCodeForBlockValue: stack encoder: encoder. + self returns ifFalse: + [encoder genReturnTopToCaller. + pc := encoder methodStreamPosition]. + self assert: stack position - 1 = position! Item was added: + ----- Method: BlockNode>>emitCodeForFullBlockValue:encoder: (in category 'code generation (closures)') ----- + emitCodeForFullBlockValue: stack encoder: encoder + copiedValues do: + [:copiedValue| copiedValue emitCodeForValue: stack encoder: encoder]. + encoder + genPushFullClosure: closureCreationNode index + numCopied: copiedValues size. + stack + pop: copiedValues size; + push: 1! 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 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 removed: - ----- Method: BlockNode>>ensureClosureCreationNode (in category 'accessing') ----- - ensureClosureCreationNode - closureCreationNode ifNil: - [closureCreationNode := LeafNode new - key: #closureCreationNode - code: nil]. - ^closureCreationNode! Item was added: + ----- Method: BlockNode>>ensureClosureCreationNode: (in category 'accessing') ----- + ensureClosureCreationNode: encoder + closureCreationNode ifNil: + [closureCreationNode := LiteralNode new + key: #closureCreationNode + code: (encoder supportsFullBlocks ifTrue: [LdLitType negated])]. + ^closureCreationNode! Item was added: + ----- Method: BlockNode>>localsNodes (in category 'accessing') ----- + localsNodes + "Answer the correctly ordered sequence of local nodes (arguments and temporaries) in the receiver." + ^arguments asArray, copiedValues, temporaries! Item was changed: ----- Method: BlockNode>>noteSourceRangeStart:end:encoder: (in category 'initialize-release') ----- noteSourceRangeStart: start end: end encoder: encoder "Note two source ranges for this node. One is for the debugger and is of the last expression, the result of the block. One is for source analysis and is for the entire block." encoder noteSourceRange: (start to: end) + forNode: (self ensureClosureCreationNode: encoder). - forNode: self ensureClosureCreationNode. startOfLastStatement ifNil: [encoder noteSourceRange: (start to: end) forNode: self] ifNotNil: [encoder noteSourceRange: (startOfLastStatement to: end - 1) forNode: self]! Item was added: + ----- Method: BlockNode>>sizeCodeForEvaluatedFullClosureValue: (in category 'code generation') ----- + sizeCodeForEvaluatedFullClosureValue: encoder + "The closure value primitives push the arguments and the copied values. + The compiler guarantees that any copied values come before all local temps. + So on full closure activation we need do nothing." + ^(self sizeCodeForEvaluatedValue: encoder) + + (self returns ifTrue: [0] ifFalse: [encoder sizeReturnTopToCaller])! Item was changed: ----- Method: BlockNode>>sizeCodeForValue: (in category 'code generation') ----- sizeCodeForValue: encoder "Compute the size for the creation of the block and its code." copiedValues := self computeCopiedValues: encoder rootNode. + self ensureClosureCreationNode: encoder. + encoder supportsFullBlocks ifTrue: + [^(copiedValues inject: 0 into: [:sum :node| sum + (node sizeCodeForValue: encoder)]) + + (encoder + sizePushFullClosure: + (closureCreationNode + key: (self createBlockLiteral: encoder); + reserve: encoder; + index) + numCopied: copiedValues size)]. - self ensureClosureCreationNode. "Remember size of body for emit time so we know the size of the jump around it." size := self sizeCodeForEvaluatedClosureValue: encoder. ^(copiedValues inject: 0 into: [:sum :node| sum + (node sizeCodeForValue: encoder)]) + (encoder sizePushClosureCopyNumCopiedValues: copiedValues size numArgs: arguments size jumpSize: size) + size! Item was added: + ----- Method: BytecodeEncoder>>copyWithNewLiterals (in category 'full blocks') ----- + copyWithNewLiterals + ^self shallowCopy resetLiteralStreamForFullBlock! Item was added: + ----- 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. + [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']. + 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]]. - 1 to: nLits do: [:lit | method literalAt: lit put: (literals at: lit)]. 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) - do: [:ex| "to grow, and the grow attempt will fail in CompiledMethod class>>#new:" - ex signalerContext sender method = (CompiledMethod class>>#new:) ifTrue: [^self error: 'Compiler code size discrepancy'] ifFalse: [ex pass]]. stack position ~= (method numTemps + 1) ifTrue: [^self error: 'Compiler stack discrepancy']. 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>>if:isSpecialLiteralForPush: (in category 'special literal encodings') ----- if: code isSpecialLiteralForPush: aBlock "If code is that of a special literal for push then evaluate aBlock with the special literal + The special literals for push are at least nil true false which have special encodings - The special literals for push are nil true false -1 0 1 & 2 which have special encodings in the blue book bytecode set. Answer whether it was a special literal." + ^(code between: LdTrue and: LdNil) + and: [aBlock value: (#(true false nil) at: code - LdSelf). - ^(code between: LdTrue and: LdNil + 4) - and: [aBlock value: (#(true false nil -1 0 1 2) at: code - LdSelf). true]! Item was added: + ----- Method: BytecodeEncoder>>reindexingLiteralsDo: (in category 'code generation') ----- + reindexingLiteralsDo: aBlock + | savedLiterals | + savedLiterals := PluggableDictionary new equalBlock: litSet equalBlock. + litSet associationsDo: + [:assoc| + savedLiterals at: assoc key put: assoc value shallowCopy]. + litIndSet associationsDo: + [:assoc| + savedLiterals at: assoc key put: assoc value shallowCopy]. + ^[aBlock value] + ensure: + [litSet associationsDo: + [:assoc| + assoc value resetFromCopy: (savedLiterals at: assoc key)]. + litIndSet associationsDo: + [:assoc| + assoc value resetFromCopy: (savedLiterals at: assoc key)]]! Item was added: + ----- Method: BytecodeEncoder>>resetLiteralStreamForFullBlock (in category 'code generation') ----- + resetLiteralStreamForFullBlock + literalStream := WriteStream on: (Array new: 32). + addedSelectorAndMethodClassLiterals := false. + optimizedSelectors := Set new! Item was added: + ----- Method: BytecodeEncoder>>sizePushFullClosure:numCopied: (in category 'opcode sizing') ----- + sizePushFullClosure: compiledBlockLiteralIndex numCopied: numCopied + ^self sizeOpcodeSelector: #genPushFullClosure:numCopied: + withArguments: {compiledBlockLiteralIndex. numCopied}! Item was added: + ----- Method: BytecodeEncoder>>sizePushFullClosure:numCopied:receiverOnStack:ignoreOuterContext: (in category 'opcode sizing') ----- + sizePushFullClosure: compiledBlockLiteralIndex numCopied: numCopied receiverOnStack: receiverOnStack ignoreOuterContext: ignoreOuterContext + ^self sizeOpcodeSelector: #genPushFullClosure:numCopied:receiverOnStack:ignoreOuterContext + withArguments: {compiledBlockLiteralIndex. numCopied. receiverOnStack. ignoreOuterContext}! Item was added: + ----- Method: Decompiler>>doClosureCopy:copiedValues: (in category 'control') ----- + doClosureCopy: aCompiledBlock copiedValues: blockCopiedValues + | savedTemps savedTempVarCount savedNumLocalTemps savedMethod savedPC + blockArgs blockTemps blockTempsOffset block | + savedTemps := tempVars. + savedTempVarCount := tempVarCount. + savedNumLocalTemps := numLocalTemps. + numLocalTemps := aCompiledBlock numTemps - aCompiledBlock numArgs - blockCopiedValues size. + blockTempsOffset := aCompiledBlock numArgs + blockCopiedValues size. + (blockStartsToTempVars notNil "implies we were intialized with temp names." + and: [blockStartsToTempVars includesKey: pc]) + ifTrue: + [tempVars := blockStartsToTempVars at: pc] + ifFalse: + [blockArgs := (1 to: aCompiledBlock numArgs) collect: + [:i| (constructor + codeTemp: i - 1 + named: 't', (tempVarCount + i) printString) + beBlockArg]. + blockTemps := (1 to: numLocalTemps) collect: + [:i| constructor + codeTemp: i + blockTempsOffset - 1 + named: 't', (tempVarCount + i + aCompiledBlock numArgs) printString]. + tempVars := blockArgs, blockCopiedValues, blockTemps]. + tempVarCount := tempVarCount + aCompiledBlock numArgs + numLocalTemps. + savedMethod := self method. savedPC := pc. + super method: aCompiledBlock pc: aCompiledBlock initialPC. + block := [self blockTo: aCompiledBlock endPC] + ensure: [super method: savedMethod pc: savedPC]. + stack addLast: ((constructor + codeArguments: (tempVars copyFrom: 1 to: aCompiledBlock numArgs) + temps: (tempVars copyFrom: blockTempsOffset + 1 to: blockTempsOffset + numLocalTemps) + block: block) + pc: pc; + yourself). + tempVars := savedTemps. + tempVarCount := savedTempVarCount. + numLocalTemps := savedNumLocalTemps! Item was added: + ----- Method: Decompiler>>pushFullClosure:numCopied: (in category 'instruction decoding') ----- + pushFullClosure: aCompiledBlock numCopied: numCopied + | copiedValues | + copiedValues := ((1 to: numCopied) collect: [:ign| stack removeLast]) reversed. + self doClosureCopy: aCompiledBlock copiedValues: copiedValues! Item was removed: - ----- Method: Encoder>>bindAndJuggle: (in category 'temps') ----- - bindAndJuggle: name - - | node nodes first thisCode | - node := self reallyBind: name. - - "Declared temps must precede block temps for decompiler and debugger to work right" - nodes := self tempNodes. - (first := nodes findFirst: [:n | n scope > 0]) > 0 ifTrue: - [node == nodes last ifFalse: [self error: 'logic error']. - thisCode := (nodes at: first) code. - first to: nodes size - 1 do: - [:i | (nodes at: i) key: (nodes at: i) key - code: (nodes at: i+1) code]. - nodes last key: nodes last key code: thisCode]. - - ^ node! Item was changed: ----- Method: Encoder>>fixTemp: (in category 'temps') ----- fixTemp: name | node | node := scopeTable at: name ifAbsent: []. + (node isTemp and: [node isIndirectTempVector not]) ifFalse: - node class ~~ TempVariableNode ifTrue: [self error: 'can only fix a floating temp var']. node index: nTemps. nTemps := nTemps + 1. ^node! Item was changed: ----- Method: Encoder>>floatTemp: (in category 'temps') ----- floatTemp: node + (node == (scopeTable at: node name ifAbsent: []) + and: [node isTemp + and: [node index = (nTemps - 1)]]) ifFalse: - (node ~~ (scopeTable at: node name ifAbsent: []) - or: [node class ~~ TempVariableNode - or: [node code ~= (node code: nTemps - 1 type: LdTempType)]]) ifTrue: [self error: 'can only float the last allocated temp var']. nTemps := nTemps - 1! Item was changed: ----- Method: Encoder>>tempNodes (in category 'results') ----- tempNodes | tempNodes | tempNodes := OrderedCollection new. scopeTable associationsDo: [:assn | assn value isArray ifTrue: [assn value do: [:temp| tempNodes add: temp]] ifFalse: [assn value isTemp ifTrue: [tempNodes add: assn value]]]. + ^tempNodes sort: [:n1 :n2 | n1 index <= n2 index]! - ^tempNodes sort: [:n1 :n2 | n1 code <= n2 code]! Item was changed: ----- Method: EncoderForSistaV1>>genPushSpecialLiteral: (in category 'bytecode generation') ----- genPushSpecialLiteral: aLiteral "77 01001101 Push true 78 01001110 Push false 79 01001111 Push nil 80 01010000 Push 0 81 01010001 Push 1 + 232 11101000 iiiiiiii Push Integer #iiiiiiii (+ Extend B * 256, where bbbbbbbb = sddddddd, e.g. -32768 = i=0, a=0, s=1) + 233 11101001 i i i i i i i i Push Character #iiiiiiii (+ Extend B * 256)" - 232 11101000 iiiiiiii Push Integer #iiiiiiii (+ Extend B * 256, where bbbbbbbb = sddddddd, e.g. -32768 = i=0, a=0, s=1)" | index | aLiteral isInteger ifTrue: [aLiteral == 0 ifTrue: [stream nextPut: 80. ^self]. aLiteral == 1 ifTrue: [stream nextPut: 81. ^self]. ^self genPushInteger: aLiteral]. + aLiteral isCharacter ifTrue: + [^self genPushCharacter: aLiteral]. index := #(true false nil) indexOf: aLiteral ifAbsent: [^self error: 'push special literal: ', aLiteral printString, ' is not one of true false nil']. stream nextPut: 76 + index! Item was changed: ----- Method: EncoderForSistaV1>>isSpecialLiteralForPush: (in category 'special literal encodings') ----- isSpecialLiteralForPush: literal + ^literal isInteger + ifFalse: + [literal isCharacter + ifFalse: + [false == literal + or: [true == literal + or: [nil == literal]]] + ifTrue: + [literal asInteger between: 0 and: 65535]] + ifTrue: + [literal between: -32768 and: 32767]! - ^literal == false - or: [literal == true - or: [literal == nil - or: [(literal isInteger and: [literal between: -32768 and: 32767]) - or: [(literal isCharacter and: [literal asInteger between: 0 and: 65535])]]]]! Item was added: + ----- Method: EncoderForSistaV1>>isSpecialLiteralForReturn: (in category 'special literal encodings') ----- + isSpecialLiteralForReturn: literal + ^literal == false + or: [literal == true + or: [literal == nil]]! Item was added: + ----- Method: EncoderForV3>>if:isSpecialLiteralForPush: (in category 'special literal encodings') ----- + if: code isSpecialLiteralForPush: aBlock + "If code is that of a special literal for push then evaluate aBlock with the special literal + The special literals for push are nil true false -1 0 1 & 2 which have special encodings + in the blue book bytecode set. Answer whether it was a special literal." + ^(code between: LdTrue and: LdNil + 4) + and: [aBlock value: (#(true false nil -1 0 1 2) at: code - LdSelf). + true]! Item was added: + ----- Method: EncoderForV3>>if:isSpecialLiteralForReturn: (in category 'special literal encodings') ----- + if: code isSpecialLiteralForReturn: aBlock + "If code is that of a special literal for return then evaluate aBlock with the special literal. + The special literals for return are nil true false which have special encodings + in the blue book bytecode set. Answer whether it was a special literal." + ^(code between: LdTrue and: LdNil) + and: [aBlock value: (#(true false nil) at: code - LdSelf). + true]! Item was added: + ----- Method: EncoderForV3>>isSpecialLiteralForPush: (in category 'special literal encodings') ----- + isSpecialLiteralForPush: literal + ^literal isInteger + ifFalse: + [false == literal + or: [true == literal + or: [nil == literal]]] + ifTrue: [literal between: -1 and: 2]! Item was added: + ----- Method: EncoderForV3>>isSpecialLiteralForReturn: (in category 'special literal encodings') ----- + isSpecialLiteralForReturn: literal + ^literal == false + or: [literal == true + or: [literal == nil]]! Item was added: + ----- Method: FieldNode>>resetFromCopy: (in category 'code generation') ----- + resetFromCopy: aFieldNode + "Reset the state of the recever to match that of the argument. + This is used to reset nodes that may have been repurposed + while generatig the compiled method for a full block." + + self assert: (fieldDef == aFieldNode fieldDef + and: [rcvrNode == (aFieldNode instVarNamed: 'rcvrNode') + and: [readNode == (aFieldNode instVarNamed: 'readNode') + and: [writeNode == (aFieldNode instVarNamed: 'writeNode')]]]). + super resetFromCopy: aFieldNode! Item was added: + ----- Method: LeafNode>>index (in category 'accessing') ----- + index + "Answer the index of the receiver, which has various uses depending on the class of the receiver." + + ^index! Item was added: + ----- Method: LeafNode>>resetFromCopy: (in category 'code generation') ----- + resetFromCopy: aLeafNode + "Reset the state of the recever to match that of the argument. + This is used to reset nodes that may have been repurposed + while generatig the compiled method for a full block." + + self assert: key == aLeafNode key. + code := aLeafNode code. + index := aLeafNode index! Item was changed: ----- Method: LiteralNode>>emitCodeForValue:encoder: (in category 'code generation') ----- emitCodeForValue: stack encoder: encoder stack push: 1. + (encoder isSpecialLiteralForPush: key) + ifTrue: [encoder genPushSpecialLiteral: key] + ifFalse: [encoder genPushLiteral: index]! - (encoder - if: code - isSpecialLiteralForPush: - [:specialLiteral| - encoder genPushSpecialLiteral: specialLiteral]) - ifFalse: - [encoder genPushLiteral: index]! Item was changed: ----- Method: LiteralNode>>sizeCodeForValue: (in category 'code generation') ----- sizeCodeForValue: encoder self reserve: encoder. + ^(encoder isSpecialLiteralForPush: key) + ifTrue: [encoder sizePushSpecialLiteral: key] + ifFalse: [encoder sizePushLiteral: index]! - (encoder - if: code - isSpecialLiteralForPush: - [:specialLiteral| - ^encoder sizePushSpecialLiteral: specialLiteral]) - ifFalse: - [^encoder sizePushLiteral: index]! Item was added: + ----- Method: LiteralVariableNode>>resetFromCopy: (in category 'code generation') ----- + resetFromCopy: aLiteralVariableNode + "Reset the state of the recever to match that of the argument. + This is used to reset nodes that may have been repurposed + while generatig the compiled method for a full block." + + self assert: (readNode == (aLiteralVariableNode instVarNamed: 'readNode') + and: [writeNode == (aLiteralVariableNode instVarNamed: 'writeNode')]). + super resetFromCopy: aLiteralVariableNode! Item was added: + ----- Method: TempVariableNode>>resetFromCopy: (in category 'code generation') ----- + resetFromCopy: aFieldNode + "Reset the state of the recever to match that of the argument. + This is used to reset nodes that may have been repurposed + while generatig the compiled method for a full block. + Temps are managed via the reindexingLocalsDo:encoder: route, + not via reindexingLiteralsDo:." + self shouldNotImplement! Item was changed: ----- Method: VariableNode>>emitCodeForValue:encoder: (in category 'code generation') ----- emitCodeForValue: stack encoder: encoder stack push: 1. encoder if: code isSpecialLiteralForPush: [:specialLiteral| ^encoder genPushSpecialLiteral: specialLiteral]. (code = LdSelf or: [code = LdSuper]) ifTrue: [^encoder genPushReceiver]. code = LdThisContext ifTrue: [^encoder genPushThisContext]. + self error: 'internal compiler error; should not happen'! - self flag: 'probably superfluous'. - self halt. - ^encoder genPushInstVar: index! Item was added: + ----- Method: VariableNode>>resetFromCopy: (in category 'code generation') ----- + resetFromCopy: aVariableNode + "Reset the state of the recever to match that of the argument. + This is used to reset nodes that may have been repurposed + while generatig the compiled method for a full block." + + self assert: name == aVariableNode name. + super resetFromCopy: aVariableNode! Item was changed: ----- Method: VariableNode>>sizeCodeForValue: (in category 'code generation') ----- sizeCodeForValue: encoder self reserve: encoder. encoder if: code isSpecialLiteralForPush: [:specialLiteral| "i.e. the pseudo-variables nil true & false" ^encoder sizePushSpecialLiteral: specialLiteral]. (code = LdSelf or: [code = LdSuper]) ifTrue: [^encoder sizePushReceiver]. code = LdThisContext ifTrue: [^encoder sizePushThisContext]. + self error: 'internal compiler error; should not happen'! - self flag: 'probably superfluous'. - self halt. - ^encoder sizePushInstVar: index!

1 0

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

03 Jan '18

Eliot Miranda uploaded a new version of Tools to project The Trunk: http://source.squeak.org/trunk/Tools-eem.786.mcz ==================== Summary ==================== Name: Tools-eem.786 Author: eem Time: 2 January 2018, 5:19:05.94314 pm UUID: 1d9a2ff4-457b-4a66-9a76-6d24d776aa57 Ancestors: Tools-eem.785 Integrate CompiledBlock with the inspectors and with the MNU template generator. =============== Diff against Tools-eem.785 =============== Item was added: + ----- Method: CompiledBlock>>canonicalArgumentName (in category '*Tools-Debugger') ----- + canonicalArgumentName + ^ 'CompiledBlock'! Item was added: + ----- Method: CompiledCode>>inspectorClass (in category '*Tools-Inspector') ----- + inspectorClass + "Answer the class of the inspector to be used on the receiver. Called by inspect; + use basicInspect to get a normal (less useful) type of inspector." + + ^ CompiledMethodInspector!

1 0

The Trunk: Morphic-eem.1385.mcz
by commits＠source.squeak.org 03 Jan '18

03 Jan '18

Eliot Miranda uploaded a new version of Morphic to project The Trunk: http://source.squeak.org/trunk/Morphic-eem.1385.mcz ==================== Summary ==================== Name: Morphic-eem.1385 Author: eem Time: 2 January 2018, 5:15:20.469423 pm UUID: 0664f735-9f8a-41f4-b1dd-70a22da13503 Ancestors: Morphic-tpr.1384 Minor refactoring for CompiledBlock. Move CompiledMethod>>explorerContents up to CompiledCode. =============== Diff against Morphic-tpr.1384 =============== Item was added: + ----- Method: CompiledCode>>explorerContents (in category '*Morphic-Explorer') ----- + explorerContents + "(CompiledCode compiledMethodAt: #explorerContents) explore" + + ^Array streamContents: + [:s| | tokens | + tokens := Scanner new scanTokens: (self headerDescription readStream skipTo: $"; upTo: $"). + s nextPut: (ObjectExplorerWrapper + with: ((0 to: tokens size by: 2) collect: + [:i| i = 0 ifTrue: [self header] ifFalse: [{tokens at: i - 1. tokens at: i}]]) + name: 'header' + model: self). + (1 to: self numLiterals) do: + [:key| + s nextPut: (ObjectExplorerWrapper + with: (self literalAt: key) + name: ('literal', key printString contractTo: 32) + model: self)]. + self isQuick + ifTrue: [s nextPut: (ObjectExplorerWrapper + with: self symbolic + name: #symbolic + model: self)] + ifFalse: + [self symbolicLinesDo: + [:pc :line| + pc <= 1 + ifTrue: + [s nextPut: (ObjectExplorerWrapper + with: line + name: 'pragma' + model: self)] + ifFalse: + [s nextPut: (ObjectExplorerWrapper + with: line + name: pc printString + model: self)]]]. + "should be self numLiterals + 1 * Smalltalk wordSize + 1" + self endPC + 1 + to: self basicSize + do: [:key| + s nextPut: (ObjectExplorerWrapper + with: (self basicAt: key) + name: key printString + model: self)]]! Item was removed: - ----- Method: CompiledMethod>>explorerContents (in category '*Morphic-Explorer') ----- - explorerContents - "(CompiledMethod compiledMethodAt: #explorerContents) explore" - - ^Array streamContents: - [:s| | tokens | - tokens := Scanner new scanTokens: (self headerDescription readStream skipTo: $"; upTo: $"). - s nextPut: (ObjectExplorerWrapper - with: ((0 to: tokens size by: 2) collect: - [:i| i = 0 ifTrue: [self header] ifFalse: [{tokens at: i - 1. tokens at: i}]]) - name: 'header' - model: self). - (1 to: self numLiterals) do: - [:key| - s nextPut: (ObjectExplorerWrapper - with: (self literalAt: key) - name: ('literal', key printString contractTo: 32) - model: self)]. - self isQuick - ifTrue: [s nextPut: (ObjectExplorerWrapper - with: self symbolic - name: #symbolic - model: self)] - ifFalse: - [self symbolicLinesDo: - [:pc :line| - pc <= 1 - ifTrue: - [s nextPut: (ObjectExplorerWrapper - with: line - name: 'pragma' - model: self)] - ifFalse: - [s nextPut: (ObjectExplorerWrapper - with: line - name: pc printString - model: self)]]]. - "should be self numLiterals + 1 * Smalltalk wordSize + 1" - self endPC + 1 - to: self basicSize - do: [:key| - s nextPut: (ObjectExplorerWrapper - with: (self basicAt: key) - name: key printString - model: self)]]!

1 0

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

03 Jan '18

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1133.mcz ==================== Summary ==================== Name: Kernel-eem.1133 Author: eem Time: 2 January 2018, 5:12:57.488977 pm UUID: a8d2d18d-bbe6-4c69-91bc-5767ec8c3076 Ancestors: Kernel-tpr.1132 Several minor refactorings for CompiledBlock. Move CompiledMethod>>(hasBreakpoint,longPrintOn:,symbolic,symbolicLinesDo:) up to CompiledCode. Provide CompiledBlock>>(isQuick,methodClass,primitive) to suppor tthe printing/exploring methods. Provide an instance creation method for FuillBlockClosure, shuttong off the inheritance of the one for normal closures. Provide InstructionPrinter support for the full closure creation bytecode. Modify the postscript to ensure FullBlockClosure's identityHash/class index is 38 as expected by the VM. =============== Diff against Kernel-tpr.1132 =============== Item was added: + ----- Method: CompiledBlock>>encoderClass (in category 'accessing') ----- + encoderClass + "Answer the encoder class that encoded the bytecodes in this method. + The sign flag bit is used by the VM to select a bytecode set. This formulation + may seem odd but this has to be fast, so no property probe unless needed." + + ^self header >= 0 + ifTrue: + [PrimaryBytecodeSetEncoderClass] + ifFalse: + [PrimaryBytecodeSetEncoderClass == SecondaryBytecodeSetEncoderClass + ifTrue: "Support for testing prior to installing another set" + [(self outerCode propertyValueAt: #encoderClass) ifNil: [SecondaryBytecodeSetEncoderClass]] + ifFalse: + [SecondaryBytecodeSetEncoderClass]]! Item was added: + ----- Method: CompiledBlock>>headerDescription (in category 'printing') ----- + headerDescription + "Answer a description containing the information about the form of the + receiver and the form of the context needed to run the receiver." + + ^(ByteString new: 128) writeStream + print: self header; cr; + nextPutAll: '"block full'; cr; + nextPutAll: ' numArgs: '; print: self numArgs; cr; + nextPutAll: ' numTemps: '; print: self numTemps; cr; + nextPutAll: ' numLiterals: '; print: self numLiterals; cr; + nextPutAll: ' frameSize: '; print: self frameSize; cr; + nextPutAll: ' bytecodeSet: '; nextPutAll: self bytecodeSetName; + nextPut: $"; cr; + contents! Item was added: + ----- Method: CompiledBlock>>isQuick (in category 'testing') ----- + isQuick + ^false! Item was added: + ----- Method: CompiledBlock>>longPrintOn:indent: (in category 'printing') ----- + longPrintOn: aStream indent: tabs + "List of all the byte codes in a method with a short description of each" + (InstructionPrinter on: self) indent: tabs; printInstructionsOn: aStream! Item was changed: ----- Method: CompiledBlock>>methodClass (in category 'accessing') ----- methodClass + "Answer the class that I am installed in." + | outerCodeOrMethodClassAssoc | + outerCodeOrMethodClassAssoc := self outerCode. + outerCodeOrMethodClassAssoc isVariableBinding ifTrue: + [self assert: outerCodeOrMethodClassAssoc value isBehavior. + ^outerCodeOrMethodClassAssoc value]. + ^outerCodeOrMethodClassAssoc methodClass! - "answer the compiled method that I am installed in, or nil if none." - ^self outerCode methodClass! Item was added: + ----- Method: CompiledBlock>>primitive (in category 'accessing') ----- + primitive + ^0! Item was added: + ----- Method: CompiledBlock>>printReferenceOn: (in category 'printing') ----- + printReferenceOn: aStream + "Override to indicate that this is a block, and to print a null reference when + the CompiledBlock is only partially initialized, as it is during compilation." + aStream nextPutAll: '[] in '. + self outerCode isVariableBinding + ifTrue: [aStream nextPutAll: ' (as yet unbound)'] + ifFalse: [super printReferenceOn: aStream]! Item was added: + ----- Method: CompiledCode>>hasBreakpoint (in category '*Kernel-tool support') ----- + hasBreakpoint + ^ self class environment + at: #BreakpointManager + ifPresent: [:bpm | bpm methodHasBreakpoint: self] + ifAbsent: [false]! Item was added: + ----- Method: CompiledCode>>headerDescription (in category 'printing') ----- + headerDescription + "Answer a description containing the information about the form of the + receiver and the form of the context needed to run the receiver." + + self subclassResponsibility! Item was added: + ----- Method: CompiledCode>>longPrintOn: (in category 'printing') ----- + longPrintOn: aStream + "List of all the byte codes in a method with a short description of each" + + self longPrintOn: aStream indent: 0! Item was changed: ----- Method: CompiledCode>>methodClass (in category 'accessing') ----- methodClass + "Answer the class that I am installed in." ^self subclassResponsibility! Item was added: + ----- Method: CompiledCode>>symbolic (in category 'printing') ----- + symbolic + "Answer a String that contains a list of all the byte codes in a method + with a short description of each." + + | aStream | + aStream := WriteStream on: (String new: 1000). + self longPrintOn: aStream. + ^aStream contents! Item was added: + ----- Method: CompiledCode>>symbolicLinesDo: (in category 'printing') ----- + symbolicLinesDo: aBlock + "Evaluate aBlock with each of the lines in the symbolic output." + + | aStream pc | + aStream := (String new: 64) writeStream. + self isQuick ifTrue: + [self longPrintOn: aStream. + aBlock value: 0 value: aStream contents. + ^self]. + + self primitive ~= 0 ifTrue: + [self printPrimitiveOn: aStream. + aBlock value: 1 value: aStream contents. + aStream resetContents]. + + pc := self initialPC. + (InstructionPrinter on: self) + indent: 0; + printPC: false; "explorer provides pc anyway" + printInstructionsOn: aStream + do: [:printer :scanner :stream| | line index | + line := stream contents allButLast. + (line includes: Character cr) ifTrue: + [line := (line copyUpTo: Character cr), '...'' (continues)']. + (index := line indexOf: $>) > 0 ifTrue: + [[(line at: index + 1) isSeparator] whileTrue: [index := index + 1]. + line := ((line copyFrom: 1 to: index) copyReplaceAll: (String with: Character tab) with: (String new: 8 withAll: Character space)), + (line copyFrom: index + 1 to: line size)]. + aBlock value: pc value: line. + pc := scanner pc. + stream resetContents]! Item was removed: - ----- Method: CompiledMethod>>hasBreakpoint (in category '*Kernel-tool support') ----- - hasBreakpoint - ^ self class environment - at: #BreakpointManager - ifPresent: [:bpm | bpm methodHasBreakpoint: self] - ifAbsent: [false]! Item was changed: + ----- Method: CompiledMethod>>headerDescription (in category 'printing') ----- - ----- Method: CompiledMethod>>headerDescription (in category 'literals') ----- headerDescription "Answer a description containing the information about the form of the receiver and the form of the context needed to run the receiver." ^(ByteString new: 128) writeStream print: self header; cr; nextPutAll: '"primitive: '; print: self primitive; cr; nextPutAll: ' numArgs: '; print: self numArgs; cr; nextPutAll: ' numTemps: '; print: self numTemps; cr; nextPutAll: ' numLiterals: '; print: self numLiterals; cr; nextPutAll: ' frameSize: '; print: self frameSize; cr; nextPutAll: ' bytecodeSet: '; nextPutAll: self bytecodeSetName; nextPut: $"; cr; contents! Item was removed: - ----- Method: CompiledMethod>>longPrintOn: (in category 'printing') ----- - longPrintOn: aStream - "List of all the byte codes in a method with a short description of each" - - self longPrintOn: aStream indent: 0! Item was removed: - ----- Method: CompiledMethod>>symbolic (in category 'printing') ----- - symbolic - "Answer a String that contains a list of all the byte codes in a method - with a short description of each." - - | aStream | - aStream := WriteStream on: (String new: 1000). - self longPrintOn: aStream. - ^aStream contents! Item was removed: - ----- Method: CompiledMethod>>symbolicLinesDo: (in category 'printing') ----- - symbolicLinesDo: aBlock - "Evaluate aBlock with each of the lines in the symbolic output." - - | aStream pc | - aStream := (String new: 64) writeStream. - self isQuick ifTrue: - [self longPrintOn: aStream. - aBlock value: 0 value: aStream contents. - ^self]. - - self primitive ~= 0 ifTrue: - [self printPrimitiveOn: aStream. - aBlock value: 1 value: aStream contents. - aStream resetContents]. - - pc := self initialPC. - (InstructionPrinter on: self) - indent: 0; - printPC: false; "explorer provides pc anyway" - printInstructionsOn: aStream - do: [:printer :scanner :stream| | line index | - line := stream contents allButLast. - (line includes: Character cr) ifTrue: - [line := (line copyUpTo: Character cr), '...'' (continues)']. - (index := line indexOf: $>) > 0 ifTrue: - [[(line at: index + 1) isSeparator] whileTrue: [index := index + 1]. - line := ((line copyFrom: 1 to: index) copyReplaceAll: (String with: Character tab) with: (String new: 8 withAll: Character space)), - (line copyFrom: index + 1 to: line size)]. - aBlock value: pc value: line. - pc := scanner pc. - stream resetContents]! Item was added: + ----- Method: FullBlockClosure class>>receiver:outerContext:method:copiedValues: (in category 'instance creation') ----- + receiver: aReceiver outerContext: aContextOrNil method: aCompiledBlock copiedValues: anArrayOrNil + ^(self new: anArrayOrNil basicSize) + receiver: aReceiver + outerContext: aContextOrNil + method: aCompiledBlock + copiedValues: anArrayOrNil! Item was added: + ----- Method: FullBlockClosure>>outerContext:startpc:numArgs:copiedValues: (in category 'initialize-release') ----- + outerContext: aContext startpc: aStartpc numArgs: argCount copiedValues: anArrayOrNil + self shouldNotImplement! Item was added: + ----- Method: FullBlockClosure>>receiver:outerContext:method:copiedValues: (in category 'initialize-release') ----- + receiver: aReceiver outerContext: aContextOrNil method: aCompiledBlock copiedValues: anArrayOrNil + receiver := aReceiver. + outerContext := aContextOrNil. + startpc := aCompiledBlock. + numArgs := aCompiledBlock numArgs. + 1 to: self numCopiedValues do: + [:i| + self at: i put: (anArrayOrNil at: i)]! Item was added: + ----- Method: InstructionPrinter>>pushFullClosure:numCopied: (in category 'printing') ----- + pushFullClosure: aCompiledBlock numCopied: numCopied + self print: 'closureNumCopied: ', numCopied printString + , ' numArgs: ', aCompiledBlock numArgs printString! Item was changed: + (PackageInfo named: 'Kernel') postscript: '"below, add code to be run after the loading of this package" + ((ByteArray subclasses includes: CompiledMethod) + and: [CompiledMethod superclass ~= ByteArray]) ifTrue: + [ByteArray removeSubclass: CompiledMethod]. + (Smalltalk classNamed: #FullBlockClosure) ifNotNil: + [:fbc| + (fbc identityHash ~= 38) ifTrue: + [fbc tryPrimitive: 161 withArgs: #(38 true)]]'! - (PackageInfo named: 'Kernel') postscript: '((ByteArray subclasses includes: CompiledMethod) and: [CompiledMethod superclass ~= ByteArray]) ifTrue: [ByteArray removeSubclass: CompiledMethod]'!

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Packages January 2018