Vm-dev August 2014

vm-dev@lists.squeakfoundation.org

12 participants
89 discussions

Re: [Pharo-dev] mustBeBooleanMagicIn can crash the vm
by Eliot Miranda 10 Aug '14

10 Aug '14

Hi Nicolai, please try and remember to invlude vm-dev when you see a VM issue... On Sun, Aug 10, 2014 at 7:34 AM, Nicolai Hess <nicolaihess(a)web.de> wrote: > There is a certain risk, that the mustBeBooleanMagicIn method rewrite can > crash the > vm > Issue 13805 <https://pharo.fogbugz.com/default.asp?13805> > Since you're using the Opal compiler ca you add the description of the bytecode (aCompiledMethod symbolic) to the issue? I'll try and take a look soon but want to be sure I'm debugging the relevant code. The receiver of the rewritten method is the "nonboolean" value receiving the > ifTrue:ifFalse: message. But the rewritten method can include > instvar accessor and self sends of the original method. > > We can include more rewrite rules in mustBeBooleanMagicIn like > "rewrite instvar accessing" > context receiver class instVarNamesAndOffsetsDo: [ :n :o | > RBParseTreeRewriter new > replace: n with: ('ThisContext receiver instVarAt: ', o asString); > executeTree: methodNode. > ]. > "rewrite self sends" > RBParseTreeRewriter new > replace: 'self' with: 'ThisContext receiver'; > executeTree: methodNode. > > But I don't know if this works for all possible situations. Or if there are > better ways to do the rewriting. > Remember the mirror methods: thisContext object: o instVarAt: which doesn't send to o, reaching directly into it. But what's the point of replacing "self" with "thisContext receiver"? The latter is potentially an extremely slow way of doing the former. The former won't create a context object in a method activation that doesn't need one (doesn't include a block), whereas the latter always will. But they will always yield the same result. -- curious, Eliot

2 2

CMake update/progress report
by gettimothy 10 Aug '14

10 Aug '14

Hi All, I should be getting back to working on the CMakeVMMakerSqueak stuff in a week or two. I had to switch gears to make some $ and its a new platform (FileMaker) for me, so the ramp-up time and learning curve is eating up all the hours in the day. I anticipate the project will be rote-work in a week or two which means I can have fun doing Smalltalk. cordially, tty

2 1

VM Maker: Cog-eem.186.mcz
by commits＠source.squeak.org 10 Aug '14

10 Aug '14

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.186.mcz ==================== Summary ==================== Name: Cog-eem.186 Author: eem Time: 9 August 2014, 9:35:47.504 pm UUID: 19202710-242f-4183-b28a-2f536468d794 Ancestors: Cog-eem.185 Munger needs to create proper sourceless methods. =============== Diff against Cog-eem.185 =============== Item was changed: ----- Method: SpurOldToNewMethodFormatMunger>>installableMethodFor:selector:siblingMethod: (in category 'munging') ----- + installableMethodFor: methodWithSource selector: selectorOop siblingMethod: sibling + | method classOop clone delta numBytes | + method := methodWithSource copyWithTempsFromMethodNode: methodWithSource methodNode. - installableMethodFor: method selector: selectorOop siblingMethod: sibling - | classOop clone delta numBytes | delta := (method primitive > 0 and: [(method at: method initialPC) ~= method methodClass callPrimitiveCode]) ifTrue: [3] ifFalse: [0]. clone := heap + allocateSlots: (heap numSlotsForBytes: (numBytes := method size) + delta) - allocateSlots: ((numBytes := heap numSlotsForBytes: method endPC + 1) + delta) format: (heap compiledMethodFormatForNumBytes: numBytes + delta) classIndex: (heap classIndexOf: sibling). classOop := interpreter methodClassOf: sibling. method methodClass isMeta ifTrue: [classOop := heap fetchPointer: interpreter thisClassIndex ofObject: classOop]. heap storePointer: 0 ofObject: clone withValue: (self methodHeaderForMethod: method). 1 to: method numLiterals - 2 do: [:i| heap storePointer: i ofObject: clone withValue: (self literalFor: (method literalAt: i) inClass: classOop)]. heap storePointer: method numLiterals - 1 ofObject: clone withValue: selectorOop; storePointer: method numLiterals ofObject: clone withValue: (interpreter methodClassAssociationOf: sibling). delta > 0 ifTrue: [heap storeByte: method initialPC - 1 ofObject: clone withValue: 139; storeByte: method initialPC + 0 ofObject: clone withValue: (method primitive bitAnd: 255); storeByte: method initialPC + 1 ofObject: clone withValue: (method primitive bitShift: -8)]. + method initialPC to: method size do: - method initialPC to: method endPC do: [:i| heap storeByte: i - 1 + delta ofObject: clone withValue: (method at: i)]. ^clone! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>replaceMethods (in category 'munging') ----- + replaceMethods + | byteSymbolClassIndex symbols symbolSizes | + byteSymbolClassIndex := heap classIndexOf: (heap splObj: SelectorDoesNotUnderstand). + symbols := Set with: #bindingOf:. + replacements do: + [:tuple| | method adder | + symbols add: tuple second. + method := tuple last. + adder := [:lit| + (lit isSymbol and: [lit ~~ method selector]) ifTrue: [symbols add: lit]. + (lit isVariableBinding and: [lit key isSymbol]) ifTrue: [symbols add: lit key]. + lit isArray ifTrue: [lit do: adder]]. + method literals do: adder]. + symbolSizes := symbols collect: [:ea| ea size]. + symbolOops := Dictionary new. + heap allObjectsDo: + [:obj| | sz | + ((heap classIndexOf: obj) = byteSymbolClassIndex + and: [symbolSizes includes: (sz := heap numBytesOf: obj)]) ifTrue: + [symbols do: + [:s| + (sz = s size + and: [(interpreter stringOf: obj) = s]) ifTrue: + [symbolOops at: s put: obj]]]]. + replacements do: + [:tuple| + [:classOop :selector :method| | replacement methodDict methodArray index | + methodDict := heap fetchPointer: MethodDictionaryIndex ofObject: classOop. + methodArray := heap fetchPointer: MethodArrayIndex ofObject: methodDict. + index := (0 to: (heap numSlotsOf: methodArray) - 1) detect: [:i| (heap fetchPointer: i ofObject: methodArray) ~= heap nilObject]. + replacement := self installableMethodFor: method + selector: (symbolOops at: selector) + siblingMethod: (heap fetchPointer: index ofObject: methodArray). + index := self indexOfSelector: (symbolOops at: selector) in: methodDict. + heap + storePointer: index - SelectorStart + ofObject: methodArray + withValue: replacement] valueWithArguments: tuple]! Item was removed: - ----- Method: SpurOldToNewMethodFormatMunger>>replaceMethodsAddingThemTo: (in category 'munging') ----- - replaceMethodsAddingThemTo: replacedSet - | byteSymbolClassIndex symbols symbolSizes | - byteSymbolClassIndex := heap classIndexOf: (heap splObj: SelectorDoesNotUnderstand). - symbols := Set with: #bindingOf:. - replacements do: - [:tuple| | method adder | - symbols add: tuple second. - method := tuple last. - adder := [:lit| - (lit isSymbol and: [lit ~~ method selector]) ifTrue: [symbols add: lit]. - (lit isVariableBinding and: [lit key isSymbol]) ifTrue: [symbols add: lit key]. - lit isArray ifTrue: [lit do: adder]]. - method literals do: adder]. - symbolSizes := symbols collect: [:ea| ea size]. - symbolOops := Dictionary new. - heap allObjectsDo: - [:obj| | sz | - ((heap classIndexOf: obj) = byteSymbolClassIndex - and: [symbolSizes includes: (sz := heap numBytesOf: obj)]) ifTrue: - [symbols do: - [:s| - (sz = s size - and: [(interpreter stringOf: obj) = s]) ifTrue: - [symbolOops at: s put: obj]]]]. - replacements do: - [:tuple| - [:classOop :selector :method| | replacement methodDict methodArray index | - methodDict := heap fetchPointer: MethodDictionaryIndex ofObject: classOop. - methodArray := heap fetchPointer: MethodArrayIndex ofObject: methodDict. - index := (0 to: (heap numSlotsOf: methodArray) - 1) detect: [:i| (heap fetchPointer: i ofObject: methodArray) ~= heap nilObject]. - replacement := self installableMethodFor: method - selector: (symbolOops at: selector) - siblingMethod: (heap fetchPointer: index ofObject: methodArray). - index := self indexOfSelector: (symbolOops at: selector) in: methodDict. - heap - storePointer: index - SelectorStart - ofObject: methodArray - withValue: replacement. - replacedSet add: replacement] valueWithArguments: tuple]! Item was changed: ----- Method: SpurOldToNewMethodFormatMunger>>updateAndForwardMethods (in category 'munging') ----- updateAndForwardMethods | new now lastDotTime | new := Set new: 1000. lastDotTime := Time now asSeconds. heap allObjectsDo: [:obj| ((heap isCompiledMethod: obj) and: [(new includes: obj) not]) ifTrue: [| header | (heap primitiveIndexOfMethodHeader: (header := heap methodHeaderOf: obj)) > 0 ifTrue: [new add: (self mungePrimitiveMethod: obj). (now := Time now asSeconds) > lastDotTime ifTrue: [Transcript nextPut: $.; flush. lastDotTime := now]] ifFalse: [heap storePointerUnchecked: 0 ofObject: obj withValue: (self convertOldMethodHeader: header)]]]. Spur32BitMMLESimulator adoptInstance: interpreter objectMemory. self withExecutableInterpreter: interpreter + do: [self replaceMethods]! - do: [self replaceMethodsAddingThemTo: new]!

1 0

VM Maker: Cog-eem.185.mcz
by commits＠source.squeak.org 10 Aug '14

10 Aug '14

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.185.mcz ==================== Summary ==================== Name: Cog-eem.185 Author: eem Time: 9 August 2014, 9:06:32.998 pm UUID: b4775a40-b52f-47cd-9031-e2a2de3a3f51 Ancestors: Cog-eem.184 Spur old to new method format conversion: Replace relevant methods in a munged image Refactor SpurBootstrap's execution methods into SimulatorHarness and have the munger inherit from it. Use VMMaker.oscog-eem.854's changes to manage the savedWindowSize more easily. Needs VMMaker.oscog-eem.854 =============== Diff against Cog-eem.184 =============== Item was added: + Object subclass: #SimulatorHarness + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: 'VMObjectIndices' + category: 'Cog-Bootstrapping'! Item was added: + ----- Method: SimulatorHarness>>interpreter:object:perform:withArguments: (in category 'bootstrap methods') ----- + interpreter: sim object: receiver perform: selector withArguments: arguments + "Interpret an expression in oldHeap using oldInterpreter. + Answer the result." + | fp savedpc savedsp result startByteCount | + self assert: ({receiver. selector}, arguments allSatisfy: + [:oop| oop isInteger and: [sim objectMemory addressCouldBeOop: oop]]). + savedpc := sim localIP. + savedsp := sim localSP. + sim internalPush: receiver. + arguments do: [:arg| sim internalPush: arg]. + sim + argumentCount: arguments size; + messageSelector: selector. + fp := sim localFP. + startByteCount := sim byteCount. + "sim byteCount = 66849 ifTrue: [self halt]." + sim normalSend. + sim incrementByteCount. "otherwise, send is not counted" + ["sim printFrame: sim localFP WithSP: sim localSP" + "sim setBreakSelector: #elementsForwardIdentityTo:" + "sim byteCount = 66849 ifTrue: [self halt]." + "(sim byteCount > 7508930 and: [sim localFP = -16r27894]) ifTrue: + [self halt]." + fp = sim localFP] whileFalse: + [sim singleStep]. + result := sim internalPopStack. + self assert: savedsp = sim localSP. + self assert: sim localIP - 1 = savedpc. + sim localIP: savedpc. + ^result! Item was added: + ----- Method: SimulatorHarness>>withExecutableInterpreter:do: (in category 'bootstrap methods') ----- + withExecutableInterpreter: sim do: aBlock + "With the oldInterpreter ready to execute code, evaluate aBlock, + then return the interpreter (and the heap) to the ``just snapshotted'' state." + | savedpc initialContext finalContext | + sim + initStackPages; + loadInitialContext; + internalizeIPandSP. + initialContext := sim frameContext: sim localFP. + savedpc := sim localIP. + "sim printHeadFrame." + aBlock value. + "sim printHeadFrame." + sim + internalPush: sim localIP; + externalizeIPandSP. + "now undo the execution state" + finalContext := sim voidVMStateForSnapshotFlushingExternalPrimitivesIf: false. + self assert: initialContext = finalContext. + self assert: sim localIP = savedpc. + sim objectMemory + storePointer: SuspendedContextIndex + ofObject: sim activeProcess + withValue: finalContext! Item was changed: + SimulatorHarness subclass: #SpurBootstrap - Object subclass: #SpurBootstrap instanceVariableNames: 'oldHeap newHeap oldHeapSize newHeapSize oldHeapNumObjs newHeapNumObjs map reverseMap classToIndex oldInterpreter lastClassTablePage literalMap methodClasses installedPrototypes sizeSym rehashSym classMetaclass imageTypes classMethodContextIndex classBlockClosureIndex' classVariableNames: 'ImageHeaderFlags ImageName ImageScreenSize TransformedImage' poolDictionaries: 'VMObjectIndices' category: 'Cog-Bootstrapping'! !SpurBootstrap commentStamp: 'eem 9/11/2013 05:45' prior: 0! SpurBootstrap bootstraps an image in SpurMemoryManager format from a Squeak V3 + closures format. e.g. (SpurBootstrap32 new on: '/Users/eliot/Cog/startreader.image') transform; launch Bootstrap issues: - should it implement a deterministic Symbol identityHash? This means set a Symbol's identityHash at instance creation time based on its string hash so that e.g. MethodDIctionary instances have a deterministic order and don't need to be rehashed on load. - should it collapse ContextPart and MethodContext down onto Context (and perhaps eliminate BlockContext)? Instance Variables classToIndex: <Dictionary> lastClassTablePage: <Integer> map: <Dictionary> methodClasses: <Set> newHeap: <SpurMemoryManager> oldHeap: <NewObjectMemory> oldInterpreter: <StackInterpreterSimulator> reverseMap: <Dictionary> symbolMap: <Dictionary> classToIndex - oldClass to new classIndex map lastClassTablePage - oop in newHeap of last classTable page. U<sed in validation to filter-out class table. methodClasses - cache of methodClassAssociations for classes in which modified methods are installed map - oldObject to newObject map newHeap - the output, bootstrapped image oldHeap - the input, image oldInterpreter - the interpreter associated with oldHeap, needed for a hack to grab WeakArray reverseMap - newObject to oldObject map symbolMap - symbol toi symbol oop in oldHeap, used to map prototype methdos to methods in oldHeap! Item was removed: - ----- Method: SpurBootstrap>>interpreter:object:perform:withArguments: (in category 'bootstrap methods') ----- - interpreter: sim object: receiver perform: selector withArguments: arguments - "Interpret an expression in oldHeap using oldInterpreter. - Answer the result." - | fp savedpc savedsp result startByteCount | - self assert: ({receiver. selector}, arguments allSatisfy: - [:oop| oop isInteger and: [sim objectMemory addressCouldBeOop: oop]]). - savedpc := sim localIP. - savedsp := sim localSP. - sim internalPush: receiver. - arguments do: [:arg| sim internalPush: arg]. - sim - argumentCount: arguments size; - messageSelector: selector. - fp := sim localFP. - startByteCount := sim byteCount. - "sim byteCount = 66849 ifTrue: [self halt]." - sim normalSend. - sim incrementByteCount. "otherwise, send is not counted" - ["sim printFrame: sim localFP WithSP: sim localSP" - "sim setBreakSelector: #elementsForwardIdentityTo:" - "sim byteCount = 66849 ifTrue: [self halt]." - "(sim byteCount > 7508930 and: [sim localFP = -16r27894]) ifTrue: - [self halt]." - fp = sim localFP] whileFalse: - [sim singleStep]. - result := sim internalPopStack. - self assert: savedsp = sim localSP. - self assert: sim localIP - 1 = savedpc. - sim localIP: savedpc. - ^result! Item was removed: - ----- Method: SpurBootstrap>>withExecutableInterpreter:do: (in category 'bootstrap methods') ----- - withExecutableInterpreter: sim do: aBlock - "With the oldInterpreter ready to execute code, evaluate aBlock, - then return the interpreter (and the heap) to the ``just snapshotted'' state." - | savedpc initialContext finalContext | - sim - initStackPages; - loadInitialContext; - internalizeIPandSP. - initialContext := sim frameContext: sim localFP. - savedpc := sim localIP. - "sim printHeadFrame." - aBlock value. - "sim printHeadFrame." - sim - internalPush: sim localIP; - externalizeIPandSP. - "now undo the execution state" - finalContext := sim voidVMStateForSnapshotFlushingExternalPrimitivesIf: false. - self assert: initialContext = finalContext. - self assert: sim localIP = savedpc. - sim objectMemory - storePointer: SuspendedContextIndex - ofObject: sim activeProcess - withValue: finalContext! Item was changed: ----- Method: SpurBootstrap>>writeSnapshot:ofTransformedImage:headerFlags:screenSize: (in category 'testing') ----- writeSnapshot: imageFileName ofTransformedImage: spurHeap headerFlags: headerFlags screenSize: screenSizeInteger "The bootstrapped image typically contains a few big free chunks and one huge free chunk. Test snapshot writing and loading by turning the largest non-huge chunks into segment bridges and saving." | penultimate ultimate sizes counts barriers sim | sim := StackInterpreterSimulator onObjectMemory: spurHeap. sim bootstrapping: true. spurHeap coInterpreter: sim; setEndOfMemory: spurHeap endOfMemory + spurHeap bridgeSize. "hack; initializeInterpreter: cuts it back by bridgeSize" sim initializeInterpreter: 0; setImageHeaderFlagsFrom: headerFlags; + setDisplayForm: nil. - setDisplayForm: (Form extent: screenSizeInteger >> 16 @ (screenSizeInteger bitAnd: 16rFFFF)). spurHeap allOldSpaceEntitiesDo: [:e| penultimate := ultimate. ultimate := e]. (spurHeap isFreeObject: penultimate) ifTrue: "old, pre-pigCompact segmented save" [self assert: (spurHeap isSegmentBridge: ultimate). sizes := Bag new. spurHeap allObjectsInFreeTree: (spurHeap freeLists at: 0) do: [:f| sizes add: (spurHeap bytesInObject: f)]. counts := sizes sortedCounts. self assert: counts last key = 1. "1 huge chunk" counts size > 1 ifTrue: [self assert: ((counts at: counts size - 1) key > 2 and: [(counts at: counts size - 1) value > 1024]). barriers := (1 to: (counts at: counts size - 1) key) collect: [:ign| spurHeap allocateOldSpaceChunkOfExactlyBytes: (counts at: counts size - 1) value]. barriers := barriers, {spurHeap allocateOldSpaceChunkOfExactlyBytes: (spurHeap bytesInObject: penultimate)}] ifFalse: [barriers := {spurHeap allocateOldSpaceChunkOfExactlyBytes: (spurHeap bytesInObject: penultimate)}]. barriers last ifNotNil: [:end| spurHeap setEndOfMemory: end. spurHeap allOldSpaceEntitiesDo: [:e| penultimate := ultimate. ultimate := e]. self assert: (spurHeap addressAfter: ultimate) = end]]. spurHeap checkFreeSpace. spurHeap runLeakCheckerForFullGC: true. barriers ifNotNil: "old, pre-pigCompact segmented save" [spurHeap segmentManager initializeFromFreeChunks: (barriers sort collect: [:b| spurHeap objectStartingAt: b])]. spurHeap checkFreeSpace. spurHeap runLeakCheckerForFullGC: true. sim bereaveAllMarriedContextsForSnapshotFlushingExternalPrimitivesIf: true. sim imageName: imageFileName. sim writeImageFileIO! Item was changed: ----- Method: SpurBootstrap>>writeSnapshotOfTransformedImageAs: (in category 'testing') ----- writeSnapshotOfTransformedImageAs: imageFileName "The bootstrapped image typically contains a few big free chunks and one huge free chunk. Test snapshot writing and loading by turning the largest non-huge chunks into segment bridges and saving." | penultimate ultimate heap sizes counts barriers sim | heap := TransformedImage veryDeepCopy. sim := StackInterpreterSimulator onObjectMemory: heap. sim bootstrapping: true. heap coInterpreter: sim. sim initializeInterpreter: 0; setImageHeaderFlagsFrom: ImageHeaderFlags; + setDisplayForm: nil; + setSavedWindowSize: ImageScreenSize >> 16 @ (ImageScreenSize bitAnd: 16rFFFF). - setDisplayForm: (Form extent: ImageScreenSize >> 16 @ (ImageScreenSize bitAnd: 16rFFFF)). heap allOldSpaceEntitiesDo: [:e| penultimate := ultimate. ultimate := e]. self assert: (heap isFreeObject: penultimate). self assert: (heap isSegmentBridge: ultimate). sizes := Bag new. heap allObjectsInFreeTree: (heap freeLists at: 0) do: [:f| sizes add: (heap bytesInObject: f)]. counts := sizes sortedCounts. self assert: counts last key = 1. "1 huge chunk" counts size > 1 ifTrue: [self assert: ((counts at: counts size - 1) key > 2 and: [(counts at: counts size - 1) value > 1024]). barriers := (1 to: (counts at: counts size - 1) key) collect: [:ign| heap allocateOldSpaceChunkOfExactlyBytes: (counts at: counts size - 1) value]. barriers := barriers, {heap allocateOldSpaceChunkOfExactlyBytes: (heap bytesInObject: penultimate)}] ifFalse: [barriers := {heap allocateOldSpaceChunkOfExactlyBytes: (heap bytesInObject: penultimate)}]. heap setEndOfMemory: barriers last. heap allOldSpaceEntitiesDo: [:e| penultimate := ultimate. ultimate := e]. self assert: (heap addressAfter: ultimate) = barriers last. heap checkFreeSpace. heap runLeakCheckerForFullGC: true. heap segmentManager initializeFromFreeChunks: (barriers sort collect: [:b| heap objectStartingAt: b]). heap checkFreeSpace. heap runLeakCheckerForFullGC: true. sim bereaveAllMarriedContextsForSnapshotFlushingExternalPrimitivesIf: true. sim imageName: imageFileName. sim writeImageFileIO! Item was changed: + SimulatorHarness subclass: #SpurOldToNewMethodFormatMunger + instanceVariableNames: 'interpreter heap prototypes replacements symbolOops' - Object subclass: #SpurOldToNewMethodFormatMunger - instanceVariableNames: 'interpreter heap' classVariableNames: '' poolDictionaries: 'VMObjectIndices' category: 'Cog-Bootstrapping'! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>cloneArrayLiteral: (in category 'munging') ----- + cloneArrayLiteral: anArray + "Currently serves only to clone the #(0 0) literal in SpaceTallyPROTOTYPEspaceForInstancesOf:" + | array | + array := heap instantiateClass: (heap splObj: ClassArray) indexableSize: anArray size. + 1 to: anArray size do: + [:i| | lit | + lit := anArray at: i. + lit class caseOf: { + [SmallInteger] -> [heap + storePointerUnchecked: i - 1 + ofObject: array + withValue: (heap integerObjectOf: lit)]. + [ByteSymbol] -> [heap + storePointer: i - 1 + ofObject: array + withValue: (symbolOops at: lit)]. + [UndefinedObject] -> [heap + storePointerUnchecked: i - 1 + ofObject: array + withValue: heap nilObject] }]. + ^array + ! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>indexOfSelector:in: (in category 'munging') ----- + indexOfSelector: selectorOop in: methodDict + SelectorStart to: (heap numSlotsOf: methodDict) - 1 do: + [:i| + (heap fetchPointer: i ofObject: methodDict) = selectorOop ifTrue: + [^i]]. + self error: 'could not find selector in method dict'! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>installableMethodFor:selector:siblingMethod: (in category 'munging') ----- + installableMethodFor: method selector: selectorOop siblingMethod: sibling + | classOop clone delta numBytes | + delta := (method primitive > 0 + and: [(method at: method initialPC) ~= method methodClass callPrimitiveCode]) + ifTrue: [3] + ifFalse: [0]. + clone := heap + allocateSlots: ((numBytes := heap numSlotsForBytes: method endPC + 1) + delta) + format: (heap compiledMethodFormatForNumBytes: numBytes + delta) + classIndex: (heap classIndexOf: sibling). + classOop := interpreter methodClassOf: sibling. + method methodClass isMeta ifTrue: + [classOop := heap fetchPointer: interpreter thisClassIndex ofObject: classOop]. + heap storePointer: 0 + ofObject: clone + withValue: (self methodHeaderForMethod: method). + 1 to: method numLiterals - 2 do: + [:i| + heap storePointer: i + ofObject: clone + withValue: (self literalFor: (method literalAt: i) inClass: classOop)]. + heap + storePointer: method numLiterals - 1 + ofObject: clone + withValue: selectorOop; + storePointer: method numLiterals + ofObject: clone + withValue: (interpreter methodClassAssociationOf: sibling). + + delta > 0 ifTrue: + [heap + storeByte: method initialPC - 1 ofObject: clone withValue: 139; + storeByte: method initialPC + 0 ofObject: clone withValue: (method primitive bitAnd: 255); + storeByte: method initialPC + 1 ofObject: clone withValue: (method primitive bitShift: -8)]. + method initialPC to: method endPC do: + [:i| + heap storeByte: i - 1 + delta ofObject: clone withValue: (method at: i)]. + + ^clone! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>literalFor:inClass: (in category 'munging') ----- + literalFor: aLiteral inClass: classOop + | bindingOrNil | + aLiteral isSymbol ifTrue: + [^symbolOops at: aLiteral]. + aLiteral isString ifTrue: + [^heap stringForCString: aLiteral]. + (aLiteral isInteger and: [aLiteral class == SmallInteger]) ifTrue: + [^heap integerObjectOf: aLiteral]. + aLiteral isFloat ifTrue: + [^interpreter floatObjectOf: aLiteral]. + aLiteral isArray ifTrue: + [^self cloneArrayLiteral: aLiteral]. + self assert: aLiteral isVariableBinding. + "interpreter + ensureDebugAtEachStepBlock; + instVarNamed: 'printBytecodeAtEachStep' put: true; + instVarNamed: 'printFrameAtEachStep' put: true." + bindingOrNil := self interpreter: interpreter + object: classOop + perform: (symbolOops at: #bindingOf:) + withArguments: {symbolOops at: aLiteral key}. + bindingOrNil ~= heap nilObject ifTrue: + [^bindingOrNil]. + self error: 'couldn''t find literal ', aLiteral printString! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>methodHeaderForMethod: (in category 'munging') ----- + methodHeaderForMethod: method + ^heap integerObjectOf: + (method numArgs << 24) + + (method numTemps << 18) + + (method frameSize > method class smallFrameSize ifTrue: [1 << 17] ifFalse: [0]) + + (method primitive > 0 ifTrue: [1 << 16] ifFalse: [0]) + + method numLiterals! Item was changed: ----- Method: SpurOldToNewMethodFormatMunger>>munge: (in category 'public access') ----- munge: imageName interpreter := StackInterpreterSimulator newWithOptions: #(ObjectMemory Spur32BitMemoryManager). interpreter desiredNumStackPages: 4; initStackPages. heap := interpreter objectMemory. self assert: heap class == Spur32BitMMLESimulator. SpurOldFormat32BitMMLESimulator adoptInstance: heap. interpreter openOn: imageName extraMemory: 0. self mapPCs. + self preparePrototypes. self updateAndForwardMethods. self snapshot! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>preparePrototypes (in category 'munging') ----- + preparePrototypes + replacements := OrderedCollection new. + heap classTableObjectsDo: + [:class| | name isMeta | + name := heap + fetchPointer: interpreter classNameIndex + ofObject: ((isMeta := (heap numSlotsOf: class) = interpreter metaclassNumSlots) + ifTrue: [heap fetchPointer: interpreter thisClassIndex ofObject: class] + ifFalse: [class]). + name := interpreter stringOf: name. + self prototypeClassNameMetaSelectorMethodDo: + [:protoClassName :protoIsMeta :selector :method| + (protoClassName = name + and: [protoIsMeta = isMeta]) ifTrue: + [replacements addLast: {class. selector. method}]]]! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>prototypeClassNameMetaSelectorMethodDo: (in category 'munging') ----- + prototypeClassNameMetaSelectorMethodDo: quaternaryBlock + prototypes ifNil: + [prototypes := OrderedCollection new. + SpurBootstrap new prototypeClassNameMetaSelectorMethodDo: + [:className :isMeta :selector :method| + (#(BytecodeEncoder CompiledMethod EncoderForSqueakV4PlusClosures + InstructionClient InstructionStream MethodNode) includes: className) ifTrue: + [prototypes addLast: {className. isMeta. selector. method}]]]. + prototypes do: [:tuple| quaternaryBlock valueWithArguments: tuple]! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>replaceMethodsAddingThemTo: (in category 'munging') ----- + replaceMethodsAddingThemTo: replacedSet + | byteSymbolClassIndex symbols symbolSizes | + byteSymbolClassIndex := heap classIndexOf: (heap splObj: SelectorDoesNotUnderstand). + symbols := Set with: #bindingOf:. + replacements do: + [:tuple| | method adder | + symbols add: tuple second. + method := tuple last. + adder := [:lit| + (lit isSymbol and: [lit ~~ method selector]) ifTrue: [symbols add: lit]. + (lit isVariableBinding and: [lit key isSymbol]) ifTrue: [symbols add: lit key]. + lit isArray ifTrue: [lit do: adder]]. + method literals do: adder]. + symbolSizes := symbols collect: [:ea| ea size]. + symbolOops := Dictionary new. + heap allObjectsDo: + [:obj| | sz | + ((heap classIndexOf: obj) = byteSymbolClassIndex + and: [symbolSizes includes: (sz := heap numBytesOf: obj)]) ifTrue: + [symbols do: + [:s| + (sz = s size + and: [(interpreter stringOf: obj) = s]) ifTrue: + [symbolOops at: s put: obj]]]]. + replacements do: + [:tuple| + [:classOop :selector :method| | replacement methodDict methodArray index | + methodDict := heap fetchPointer: MethodDictionaryIndex ofObject: classOop. + methodArray := heap fetchPointer: MethodArrayIndex ofObject: methodDict. + index := (0 to: (heap numSlotsOf: methodArray) - 1) detect: [:i| (heap fetchPointer: i ofObject: methodArray) ~= heap nilObject]. + replacement := self installableMethodFor: method + selector: (symbolOops at: selector) + siblingMethod: (heap fetchPointer: index ofObject: methodArray). + index := self indexOfSelector: (symbolOops at: selector) in: methodDict. + heap + storePointer: index - SelectorStart + ofObject: methodArray + withValue: replacement. + replacedSet add: replacement] valueWithArguments: tuple]! Item was changed: ----- Method: SpurOldToNewMethodFormatMunger>>snapshot (in category 'saving') ----- snapshot Spur32BitMMLESimulator adoptInstance: heap. interpreter imageName: 'munged-', (FileDirectory default localNameFor: interpreter imageName). + [heap parent: heap; setCheckForLeaks: 15; garbageCollectForSnapshot] - [heap parent: heap; setCheckForLeaks: 15; fullGC; fullGC] on: Halt do: [:ex| "suppress halts from the usual suspects (development time halts)" (#(fullGC globalGarbageCollect) includes: ex signalerContext sender selector) ifTrue: [ex resume] ifFalse: [ex pass]]. + interpreter + setDisplayForm: nil; "gets it to use savedWindowSize" + writeImageFileIO! - interpreter halt; writeImageFileIO! Item was changed: ----- Method: SpurOldToNewMethodFormatMunger>>updateAndForwardMethods (in category 'munging') ----- updateAndForwardMethods | new now lastDotTime | new := Set new: 1000. lastDotTime := Time now asSeconds. heap allObjectsDo: [:obj| - obj = 16rAC9A30 ifTrue: [self halt]. ((heap isCompiledMethod: obj) and: [(new includes: obj) not]) ifTrue: [| header | (heap primitiveIndexOfMethodHeader: (header := heap methodHeaderOf: obj)) > 0 ifTrue: [new add: (self mungePrimitiveMethod: obj). (now := Time now asSeconds) > lastDotTime ifTrue: [Transcript nextPut: $.; flush. lastDotTime := now]] ifFalse: [heap storePointerUnchecked: 0 ofObject: obj + withValue: (self convertOldMethodHeader: header)]]]. + Spur32BitMMLESimulator adoptInstance: interpreter objectMemory. + self withExecutableInterpreter: interpreter + do: [self replaceMethodsAddingThemTo: new]! - withValue: (self convertOldMethodHeader: header)]]]!

1 0

VM Maker: VMMaker.oscog-eem.854.mcz
by commits＠source.squeak.org 10 Aug '14

10 Aug '14

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.854.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.854 Author: eem Time: 9 August 2014, 8:59:40.864 pm UUID: 22ed2e38-a5ed-446a-9695-cf5ec7ec4d36 Ancestors: VMMaker.oscog-eem.853 Retract the setHashBits: assert check for classes; a Process fooled addressCouldBeClassObj: so the assert isn't selective enough. Add some support for the munger. Modify simulated ioScreenSize to answer savedWindowSize if displayForm is nil. =============== Diff against VMMaker.oscog-eem.853 =============== Item was removed: - ----- Method: CoInterpreter>>thisClassIndex (in category 'simulation') ----- - thisClassIndex - <doNotGenerate> - ^thisClassIndex! Item was changed: ----- Method: CogVMSimulator>>ioScreenSize (in category 'I/O primitives support') ----- ioScreenSize "Return the screen extent packed into 32 bits." + ^displayForm + ifNotNil: [(displayForm width << 16) + displayForm height] + ifNil: [savedWindowSize ifNil: 640 << 16 + 480]! - ^ (displayForm width << 16) + displayForm height! Item was changed: ----- Method: Spur32BitMemoryManager>>setHashBitsOf:to: (in category 'header access') ----- setHashBitsOf: objOop to: hash self flag: #endianness. + self assert: (hash between: 0 and: self identityHashHalfWordMask). - self assert: (hash bitAnd: self identityHashHalfWordMask) = hash. - self cCode: [self deny: ((self noCheckClassAtIndex: hash) ~= objOop - and: [coInterpreter addressCouldBeClassObj: objOop])] - inSmalltalk: - [coInterpreter ifNotNil: - [self deny: ((self noCheckClassAtIndex: hash) ~= objOop - and: [coInterpreter addressCouldBeClassObj: objOop])]]. self longAt: objOop + 4 put: ((self longAt: objOop + 4) bitClear: self identityHashHalfWordMask) + hash! Item was changed: ----- Method: Spur64BitMemoryManager>>setHashBitsOf:to: (in category 'header access') ----- setHashBitsOf: objOop to: hash + self assert: (hash between: 0 and: self identityHashFullWordMask). - self assert: (hash bitAnd: self identityHashFullWordMask) = hash. - self cCode: [self deny: ((self noCheckClassAtIndex: hash) ~= objOop - and: [coInterpreter addressCouldBeClassObj: objOop])] - inSmalltalk: - [coInterpreter ifNotNil: - [self deny: ((self noCheckClassAtIndex: hash) ~= objOop - and: [coInterpreter addressCouldBeClassObj: objOop])]]. self longAt: objOop put: ((self longAt: objOop) bitClear: self identityHashFullWordMask) + hash! Item was added: + ----- Method: StackInterpreter>>metaclassNumSlots (in category 'simulation') ----- + metaclassNumSlots + <doNotGenerate> + ^metaclassNumSlots! Item was added: + ----- Method: StackInterpreter>>thisClassIndex (in category 'simulation') ----- + thisClassIndex + <doNotGenerate> + ^thisClassIndex! Item was changed: ----- Method: StackInterpreterSimulator>>ioScreenSize (in category 'I/O primitives support') ----- ioScreenSize "Return the screen extent packed into 32 bits." + ^displayForm + ifNotNil: [(displayForm width << 16) + displayForm height] + ifNil: [savedWindowSize ifNil: 640 << 16 + 480]! - ^ (displayForm width << 16) + displayForm height!

1 0

VM Maker: VMMaker.oscog-eem.853.mcz
by commits＠source.squeak.org 09 Aug '14

09 Aug '14

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.853.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.853 Author: eem Time: 9 August 2014, 2:10:39.61 pm UUID: 8c3cd406-d31e-43d2-b69d-b8ef74b556dc Ancestors: VMMaker.oscog-eem.852 Fix numSlotsForBytes: for simulation. Provide compiledMethodFormatForNumBytes: for munger. =============== Diff against VMMaker.oscog-eem.852 =============== Item was added: + ----- Method: SpurMemoryManager>>compiledMethodFormatForNumBytes: (in category 'header format') ----- + compiledMethodFormatForNumBytes: numBytes + ^self firstCompiledMethodFormat + (8 - numBytes bitAnd: self wordSize - 1)! Item was changed: ----- Method: SpurMemoryManager>>numSlotsForBytes: (in category 'header format') ----- numSlotsForBytes: numBytes + ^numBytes + (self wordSize - 1) // self wordSize! - ^numBytes + (self wordSize - 1) / self wordSize!

1 0

VM Maker: Cog-eem.184.mcz
by commits＠source.squeak.org 09 Aug '14

09 Aug '14

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.184.mcz ==================== Summary ==================== Name: Cog-eem.184 Author: eem Time: 9 August 2014, 2:12:52.662 pm UUID: bb3a2213-8813-486f-9d97-cbd72970400f Ancestors: Cog-eem.183 Provide an old compiled method format to new format image converter for Spur. Comment typo. =============== Diff against Cog-eem.183 =============== Item was changed: ----- Method: SpurBootstrap>>fillInCompiledMethod:from: (in category 'bootstrap image') ----- fillInCompiledMethod: newObj from: oldObj | firstByteIndex primIndex | self fillInPointerObject: newObj from: oldObj. + "Now convert the CompiledMethod's format. First write the header in the new format" - "Now convert the COmpiledMethod's format. First write the header in tye new format" newHeap storePointerUnchecked: 0 ofObject: newObj withValue: (self convertOldMethodHeader: (oldHeap fetchPointer: 0 ofObject: oldObj)). "Then if necessary prepend the callPrimitive: bytecode" (primIndex := oldInterpreter primitiveIndexOf: oldObj) > 0 ifTrue: [firstByteIndex := oldHeap lastPointerOf: oldObj. newHeap storeByte: firstByteIndex + 0 ofObject: newObj withValue: 139; storeByte: firstByteIndex + 1 ofObject: newObj withValue: (primIndex bitAnd: 255); storeByte: firstByteIndex + 2 ofObject: newObj withValue: (primIndex bitShift: -8). firstByteIndex to: (oldHeap numBytesOf: oldObj) - 1 do: [:i| newHeap storeByte: i + 3 ofObject: newObj withValue: (oldHeap fetchByte: i ofObject: oldObj)]] ifFalse: [(oldHeap lastPointerOf: oldObj) / oldHeap wordSize to: (oldHeap numSlotsOf: oldObj) - 1 do: [:i| newHeap storeLong32: i ofObject: newObj withValue: (oldHeap fetchLong32: i ofObject: oldObj)]]! Item was added: + Spur32BitMMLESimulator subclass: #SpurOldFormat32BitMMLESimulator + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'Cog-Bootstrapping'! Item was added: + ----- Method: SpurOldFormat32BitMMLESimulator>>literalCountOfMethodHeader: (in category 'method access') ----- + literalCountOfMethodHeader: header + self assert: (self isIntegerObject: header). + ^header >> 10 bitAnd: 16rFF! Item was added: + ----- Method: SpurOldFormat32BitMMLESimulator>>primitiveIndexOfMethodHeader: (in category 'method access') ----- + primitiveIndexOfMethodHeader: methodHeader + | primBits | + primBits := (self integerValueOf: methodHeader) bitAnd: 16r100001FF. + ^(primBits bitAnd: 16r1FF) + (primBits >> 19)! Item was added: + Object subclass: #SpurOldToNewMethodFormatMunger + instanceVariableNames: 'interpreter heap' + classVariableNames: '' + poolDictionaries: 'VMObjectIndices' + category: 'Cog-Bootstrapping'! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>convertOldMethodHeader: (in category 'munging') ----- + convertOldMethodHeader: methodHeader + ^heap integerObjectOf: + ((interpreter argumentCountOfMethodHeader: methodHeader) << 24) + + ((interpreter temporaryCountOfMethodHeader: methodHeader) << 18) + + ((interpreter methodHeaderIndicatesLargeFrame: methodHeader) ifTrue: [1 << 17] ifFalse: [0]) + + ((heap primitiveIndexOfMethodHeader: methodHeader) > 0 ifTrue: [1 << 16] ifFalse: [0]) + + (heap literalCountOfMethodHeader: methodHeader)! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>incrementPCField:ofObject:by: (in category 'munging') ----- + incrementPCField: fieldIndex ofObject: newObj by: n + | value | + value := heap fetchPointer: fieldIndex ofObject: newObj. + (heap isIntegerObject: value) + ifTrue: + [heap + storePointerUnchecked: fieldIndex + ofObject: newObj + withValue: (heap integerObjectOf: n + (heap integerValueOf: value))] + ifFalse: + [self assert: value = heap nilObject]! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>mapPCs (in category 'munging') ----- + mapPCs + | cbc cmc | + cmc := 36. + cbc := 37. + heap allObjectsDo: + [:obj| | ci | + ci := heap classIndexOf: obj. + (ci <= 37 and: [ci >= 36]) ifTrue: + [ci = 37 ifTrue: [self mungeClosure: obj]. + ci = 36 ifTrue: [self mungeContext: obj]]]! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>munge: (in category 'public access') ----- + munge: imageName + interpreter := StackInterpreterSimulator newWithOptions: #(ObjectMemory Spur32BitMemoryManager). + interpreter desiredNumStackPages: 4; initStackPages. + heap := interpreter objectMemory. + self assert: heap class == Spur32BitMMLESimulator. + SpurOldFormat32BitMMLESimulator adoptInstance: heap. + interpreter openOn: imageName extraMemory: 0. + self mapPCs. + self updateAndForwardMethods. + self snapshot! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>mungeClosure: (in category 'munging') ----- + mungeClosure: obj + | method | + method := heap + fetchPointer: MethodIndex + ofObject: (heap + fetchPointer: ClosureOuterContextIndex + ofObject: obj). + (heap primitiveIndexOfMethodHeader: (heap methodHeaderOf: method)) > 0 ifTrue: + [self incrementPCField: ClosureStartPCIndex ofObject: obj by: 3]! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>mungeContext: (in category 'munging') ----- + mungeContext: obj + | method | + method := heap fetchPointer: MethodIndex ofObject: obj. + (heap primitiveIndexOfMethodHeader: (heap methodHeaderOf: method)) > 0 ifTrue: + [self incrementPCField: InstructionPointerIndex ofObject: obj by: 3]! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>mungePrimitiveMethod: (in category 'munging') ----- + mungePrimitiveMethod: obj + | numBytes copy firstByteIndex primIndex numPointerSlots header | + numBytes := heap byteSizeOf: obj. + copy := heap allocateSlotsInOldSpace: (heap numSlotsForBytes: numBytes + 3) + format: (heap compiledMethodFormatForNumBytes: numBytes + 3) + classIndex: (heap classIndexOf: obj). + header := heap methodHeaderOf: obj. + numPointerSlots := (heap literalCountOfMethodHeader: header) + LiteralStart. + heap + storePointerUnchecked: 0 + ofObject: copy + withValue: (self convertOldMethodHeader: header). + 1 to: numPointerSlots - 1 do: + [:i| + heap storePointer: i + ofObject: copy + withValue: (heap fetchPointer: i ofObject: obj)]. + primIndex := heap primitiveIndexOfMethodHeader: header. + firstByteIndex := numPointerSlots * heap bytesPerOop. + heap + storeByte: firstByteIndex + 0 ofObject: copy withValue: 139; + storeByte: firstByteIndex + 1 ofObject: copy withValue: (primIndex bitAnd: 255); + storeByte: firstByteIndex + 2 ofObject: copy withValue: (primIndex bitShift: -8). + firstByteIndex to: numBytes - 1 do: + [:i| + heap storeByte: i + 3 ofObject: copy withValue: (heap fetchByte: i ofObject: obj)]. + heap forward: obj to: copy. + ^copy! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>snapshot (in category 'saving') ----- + snapshot + Spur32BitMMLESimulator adoptInstance: heap. + interpreter imageName: 'munged-', (FileDirectory default localNameFor: interpreter imageName). + [heap parent: heap; setCheckForLeaks: 15; fullGC; fullGC] + on: Halt + do: [:ex| + "suppress halts from the usual suspects (development time halts)" + (#(fullGC globalGarbageCollect) includes: ex signalerContext sender selector) + ifTrue: [ex resume] + ifFalse: [ex pass]]. + interpreter halt; writeImageFileIO! Item was added: + ----- Method: SpurOldToNewMethodFormatMunger>>updateAndForwardMethods (in category 'munging') ----- + updateAndForwardMethods + | new now lastDotTime | + new := Set new: 1000. + lastDotTime := Time now asSeconds. + heap allObjectsDo: + [:obj| + obj = 16rAC9A30 ifTrue: [self halt]. + ((heap isCompiledMethod: obj) + and: [(new includes: obj) not]) ifTrue: + [| header | + (heap primitiveIndexOfMethodHeader: (header := heap methodHeaderOf: obj)) > 0 + ifTrue: + [new add: (self mungePrimitiveMethod: obj). + (now := Time now asSeconds) > lastDotTime ifTrue: + [Transcript nextPut: $.; flush. + lastDotTime := now]] + ifFalse: + [heap + storePointerUnchecked: 0 + ofObject: obj + withValue: (self convertOldMethodHeader: header)]]]!

1 0

VM Maker: VMMaker.oscog-eem.852.mcz
by commits＠source.squeak.org 09 Aug '14

09 Aug '14

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.852.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.852 Author: eem Time: 9 August 2014, 11:39:16.965 am UUID: b67d56c1-40f1-4532-9cd6-c3636d52b013 Ancestors: VMMaker.oscog-eem.851 The setHashBitsOf:to: needs to use noCheckClassIndexAt: =============== Diff against VMMaker.oscog-eem.851 =============== Item was changed: ----- Method: Spur32BitMemoryManager>>setHashBitsOf:to: (in category 'header access') ----- setHashBitsOf: objOop to: hash self flag: #endianness. self assert: (hash bitAnd: self identityHashHalfWordMask) = hash. + self cCode: [self deny: ((self noCheckClassAtIndex: hash) ~= objOop - self cCode: [self deny: ((self classAtIndex: hash) ~= objOop and: [coInterpreter addressCouldBeClassObj: objOop])] inSmalltalk: [coInterpreter ifNotNil: + [self deny: ((self noCheckClassAtIndex: hash) ~= objOop - [self deny: ((self classAtIndex: hash) ~= objOop and: [coInterpreter addressCouldBeClassObj: objOop])]]. self longAt: objOop + 4 put: ((self longAt: objOop + 4) bitClear: self identityHashHalfWordMask) + hash! Item was changed: ----- Method: Spur64BitMemoryManager>>setHashBitsOf:to: (in category 'header access') ----- setHashBitsOf: objOop to: hash self assert: (hash bitAnd: self identityHashFullWordMask) = hash. + self cCode: [self deny: ((self noCheckClassAtIndex: hash) ~= objOop - self cCode: [self deny: ((self classAtIndex: hash) ~= objOop and: [coInterpreter addressCouldBeClassObj: objOop])] inSmalltalk: [coInterpreter ifNotNil: + [self deny: ((self noCheckClassAtIndex: hash) ~= objOop - [self deny: ((self classAtIndex: hash) ~= objOop and: [coInterpreter addressCouldBeClassObj: objOop])]]. self longAt: objOop put: ((self longAt: objOop) bitClear: self identityHashFullWordMask) + hash!

1 0

VM Maker: Cog-eem.183.mcz
by commits＠source.squeak.org 09 Aug '14

09 Aug '14

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.183.mcz ==================== Summary ==================== Name: Cog-eem.183 Author: eem Time: 9 August 2014, 11:29:12.516 am UUID: f37551e3-a5fa-4344-b65c-f2496bd47800 Ancestors: Cog-eem.182 Bootstrap needs to adjust pcs in contexts and closures on methods that have primitives. =============== Diff against Cog-eem.182 =============== Item was changed: Object subclass: #SpurBootstrap + instanceVariableNames: 'oldHeap newHeap oldHeapSize newHeapSize oldHeapNumObjs newHeapNumObjs map reverseMap classToIndex oldInterpreter lastClassTablePage literalMap methodClasses installedPrototypes sizeSym rehashSym classMetaclass imageTypes classMethodContextIndex classBlockClosureIndex' - instanceVariableNames: 'oldHeap newHeap oldHeapSize newHeapSize oldHeapNumObjs newHeapNumObjs map reverseMap classToIndex oldInterpreter lastClassTablePage literalMap methodClasses installedPrototypes sizeSym rehashSym classMetaclass imageTypes' classVariableNames: 'ImageHeaderFlags ImageName ImageScreenSize TransformedImage' poolDictionaries: 'VMObjectIndices' category: 'Cog-Bootstrapping'! !SpurBootstrap commentStamp: 'eem 9/11/2013 05:45' prior: 0! SpurBootstrap bootstraps an image in SpurMemoryManager format from a Squeak V3 + closures format. e.g. (SpurBootstrap32 new on: '/Users/eliot/Cog/startreader.image') transform; launch Bootstrap issues: - should it implement a deterministic Symbol identityHash? This means set a Symbol's identityHash at instance creation time based on its string hash so that e.g. MethodDIctionary instances have a deterministic order and don't need to be rehashed on load. - should it collapse ContextPart and MethodContext down onto Context (and perhaps eliminate BlockContext)? Instance Variables classToIndex: <Dictionary> lastClassTablePage: <Integer> map: <Dictionary> methodClasses: <Set> newHeap: <SpurMemoryManager> oldHeap: <NewObjectMemory> oldInterpreter: <StackInterpreterSimulator> reverseMap: <Dictionary> symbolMap: <Dictionary> classToIndex - oldClass to new classIndex map lastClassTablePage - oop in newHeap of last classTable page. U<sed in validation to filter-out class table. methodClasses - cache of methodClassAssociations for classes in which modified methods are installed map - oldObject to newObject map newHeap - the output, bootstrapped image oldHeap - the input, image oldInterpreter - the interpreter associated with oldHeap, needed for a hack to grab WeakArray reverseMap - newObject to oldObject map symbolMap - symbol toi symbol oop in oldHeap, used to map prototype methdos to methods in oldHeap! Item was changed: ----- Method: SpurBootstrap>>defineKnownClassIndices (in category 'class indices') ----- defineKnownClassIndices "The classTable is laid out - to make it easy to map immediates to classes; the tag pattern of an immediate is its class index. hence there are two entries for SmallInteger - to assign small indices to well-known classes such as Array, Message et al - to leave plenty of room for new known classes; hence the first page contains only well-known classes - to enable overlaps and avoid conflicts with indices in the specialObjectsArray (?really? eem) - to provide a WeakArray pun for the pages of the table itself so that these do not show up as instances of WeakArray" | classMethodContext classBlockClosure classMessage "no api method for these" | classMessage := oldHeap splObj: (VMObjectIndices bindingOf: #ClassMessage) value. classMethodContext := oldHeap splObj: (VMObjectIndices bindingOf: #ClassMethodContext) value. classBlockClosure := oldHeap splObj: (VMObjectIndices bindingOf: #ClassBlockClosure) value. "c.f. SpurMemoryManager class>>intializeCompactClassIndices". classToIndex keysDo: [:oldClass| self assert: (oldInterpreter addressCouldBeClassObj: oldClass)]. classToIndex at: oldHeap classSmallInteger put: 1; "N.B. must fill-in index 3 manually" at: oldHeap classCharacter put: 2; "at: oldHeap classSmallInteger put: 3" "N.B. must fill-in index 3 manually" "leave room for up to 15 tagged classes" "leave room for up to 16 puns" at: oldHeap classLargeNegativeInteger put: 32; at: oldHeap classLargePositiveInteger put: 33; at: oldHeap classFloat put: 34; at: "oldHeap" classMessage put: 35; + at: "oldHeap" classMethodContext put: (classMethodContextIndex := 36); + at: "oldHeap" classBlockClosure put: (classBlockClosureIndex := 37); - at: "oldHeap" classMethodContext put: 36; - at: "oldHeap" classBlockClosure put: 37; at: oldHeap classSemaphore put: 48; "at: oldHeap classMutex put: 49; see below" at: oldHeap classByteArray put: 50; at: oldHeap classArray put: 51; at: oldHeap classString put: 52; at: oldHeap classBitmap put: 53; at: oldHeap classPoint put: 54. {{oldHeap classMutex. 49}. {oldHeap classExternalAddress. 128}. {oldHeap classExternalData. 129}. {oldHeap classExternalFunction. 130}. {oldHeap classExternalLibrary. 131}. {oldHeap classExternalStructure. 132}. {oldHeap classAlien. 133}. {oldHeap classUnsafeAlien. 134}} do: [:pair| [:oop :index| oop ~= oldHeap nilObject ifTrue: [classToIndex at: oop put: index]] valueWithArguments: pair]. classToIndex keysDo: [:oldClass| self assert: (oldInterpreter addressCouldBeClassObj: oldClass)]! Item was changed: ----- Method: SpurBootstrap>>fillInObjects (in category 'bootstrap image') ----- fillInObjects oldHeap allObjectsDo: [:oldObj| (map at: oldObj ifAbsent: nil) ifNotNil: + [:newObj| | format classIndex | + format := newHeap formatOf: newObj. + (newHeap isPointersFormat: format) + ifTrue: + [((newHeap isIndexableFormat: format) + and: [(classIndex := newHeap classIndexOf: newObj) <= classBlockClosureIndex + and: [classIndex >= classMethodContextIndex]]) + ifTrue: [self fillInPointerObjectWithPC: newObj from: oldObj] + ifFalse: [self fillInPointerObject: newObj from: oldObj]] - [:newObj| - (newHeap isCompiledMethod: newObj) - ifTrue: [self fillInCompiledMethod: newObj from: oldObj] ifFalse: + [(newHeap isCompiledMethodFormat: format) + ifTrue: [self fillInCompiledMethod: newObj from: oldObj] - [(newHeap isPointersNonImm: newObj) - ifTrue: [self fillInPointerObject: newObj from: oldObj] ifFalse: [self fillInBitsObject: newObj from: oldObj]]]]! Item was added: + ----- Method: SpurBootstrap>>fillInPointerObjectWithPC:from: (in category 'bootstrap image') ----- + fillInPointerObjectWithPC: newObj from: oldObj + "Fill-in a newObj with appropriately mapped contents from oldObj. + If the object has a pc and its method has a primitive, increment the + pc by the size of the callPrimitive: bytecode." + | method | + self fillInPointerObject: newObj from: oldObj. + (newHeap classIndexOf: newObj) = classBlockClosureIndex ifTrue: + [method := oldHeap + fetchPointer: MethodIndex + ofObject: (oldHeap + fetchPointer: ClosureOuterContextIndex + ofObject: oldObj). + (oldInterpreter primitiveIndexOf: method) > 0 ifTrue: + [self incrementPCField: ClosureStartPCIndex ofObject: newObj by: 3]]. + (newHeap classIndexOf: newObj) = classMethodContextIndex ifTrue: + [method := oldHeap + fetchPointer: MethodIndex + ofObject: oldObj. + (oldInterpreter primitiveIndexOf: method) > 0 ifTrue: + [self incrementPCField: InstructionPointerIndex ofObject: newObj by: 3]].! Item was added: + ----- Method: SpurBootstrap>>incrementPCField:ofObject:by: (in category 'bootstrap image') ----- + incrementPCField: fieldIndex ofObject: newObj by: n + | value | + value := newHeap fetchPointer: fieldIndex ofObject: newObj. + (newHeap isIntegerObject: value) + ifTrue: + [newHeap + storePointerUnchecked: fieldIndex + ofObject: newObj + withValue: (newHeap integerObjectOf: n + (newHeap integerValueOf: value))] + ifFalse: + [self assert: value = newHeap nilObject]!

1 0

VM Maker: VMMaker.oscog-eem.851.mcz
by commits＠source.squeak.org 09 Aug '14

09 Aug '14

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.851.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.851 Author: eem Time: 9 August 2014, 10:40:40.252 am UUID: 54313625-56b1-41ea-87f9-088d0e9903f0 Ancestors: VMMaker.oscog-eem.850 Provide SpurMemoryManager>>isCompiledMethodFormat: for bootstrap. Fix NewspeakV3 on Spur: Replace genPushExplicitOuterReceiverBytecode with callPrimitiveBytecode in NewspeakV4 table on Spur. methodHeaderOf: needs to be <api> for cogits. Fix return in validInstructionPointer:inMethod:framePointer: for MULTIPLEBYTECODESETS =============== Diff against VMMaker.oscog-eem.850 =============== Item was changed: ----- Method: NewCoObjectMemory>>methodHeaderOf: (in category 'memory access') ----- methodHeaderOf: methodObj "Answer the method header of a CompiledMethod object. If the method has been cogged then the header is a pointer to the CogMethod and the real header will be stored in the CogMethod." + <api> <inline: true> | header | self assert: (self isCompiledMethod: methodObj). header := self fetchPointer: HeaderIndex ofObject: methodObj. ^(self isIntegerObject: header) ifTrue: [header] ifFalse: [self assert: header asUnsignedInteger < coInterpreter heapBase. self assert: (coInterpreter cCoerceSimple: header to: #'CogMethod *') objectHeader = self nullHeaderForMachineCodeMethod.. (coInterpreter cCoerceSimple: header to: #'CogMethod *') methodHeader]! Item was changed: ----- Method: NewObjectMemory>>literalCountOfMethodHeader: (in category 'memory access') ----- literalCountOfMethodHeader: header + <api> <inline: true> self assert: (self isIntegerObject: header). ^(coInterpreter headerIndicatesAlternateBytecodeSet: header) ifTrue: [coInterpreter literalCountOfAlternateHeader: header] ifFalse: [coInterpreter literalCountOfOriginalHeader: header]! Item was changed: ----- Method: SimpleStackBasedCogit class>>initializeBytecodeTableForNewspeakV3PlusClosures (in category 'class initialization') ----- initializeBytecodeTableForNewspeakV3PlusClosures "SimpleStackBasedCogit initializeBytecodeTableForNewspeakV3PlusClosures" NSSendIsPCAnnotated := true. "IsNSSendCall used by PushImplicitReceiver" FirstSpecialSelector := 176. self flag: 'Special selector send class must be inlined to agree with the interpreter, which inlines class. If class is sent to e.g. a general instance of ProtoObject then unless class is inlined there will be an MNU. It must be that the Cointerpreter and Cogit have identical semantics. We get away with not hardwiring the other special selectors either because in the Cointerpreter they are not inlined or because they are inlined only to instances of classes for which there will always be a method.'. self generatorTableFrom: #( (1 0 15 genPushReceiverVariableBytecode) (1 16 31 genPushTemporaryVariableBytecode) (1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1) (1 64 95 genPushLiteralVariableBytecode needsFrameNever: 1) (1 96 103 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1) "N.B. not frameless if immutability" (1 104 111 genStoreAndPopTemporaryVariableBytecode) (1 112 112 genPushReceiverBytecode) (1 113 113 genPushConstantTrueBytecode needsFrameNever: 1) (1 114 114 genPushConstantFalseBytecode needsFrameNever: 1) (1 115 115 genPushConstantNilBytecode needsFrameNever: 1) (1 116 119 genPushQuickIntegerConstantBytecode needsFrameNever: 1) "method returns in blocks need a frame because of nonlocalReturn:through:" (1 120 120 genReturnReceiver return needsFrameIfInBlock: isMappedInBlock 0) (1 121 121 genReturnTrue return needsFrameIfInBlock: isMappedInBlock 0) (1 122 122 genReturnFalse return needsFrameIfInBlock: isMappedInBlock 0) (1 123 123 genReturnNil return needsFrameIfInBlock: isMappedInBlock 0) (1 124 124 genReturnTopFromMethod return needsFrameIfInBlock: isMappedInBlock -1) (1 125 125 genReturnTopFromBlock return needsFrameNever: -1) (3 126 126 genDynamicSuperSendBytecode isMapped) "Newspeak" (2 127 127 genPushImplicitReceiverBytecode isMapped hasIRC) "Newspeak" (2 128 128 extendedPushBytecode needsFrameNever: 1) (2 129 129 extendedStoreBytecode) (2 130 130 extendedStoreAndPopBytecode) (2 131 131 genExtendedSendBytecode isMapped) (3 132 132 doubleExtendedDoAnythingBytecode isMapped) (2 133 133 genExtendedSuperBytecode isMapped) (2 134 134 genSecondExtendedSendBytecode isMapped) (1 135 135 genPopStackBytecode needsFrameNever: -1) (1 136 136 duplicateTopBytecode needsFrameNever: 1) (1 137 137 genPushActiveContextBytecode) + (2 138 138 genPushNewArrayBytecode)), - (2 138 138 genPushNewArrayBytecode) + ((initializationOptions at: #SpurObjectMemory ifAbsent: [false]) + ifTrue: [#((3 139 139 callPrimitiveBytecode))] "V3PlusClosures on Spur" + ifFalse: [#((2 139 139 genPushExplicitOuterReceiverBytecode isMapped))]), "Newspeak" - (2 139 139 genPushExplicitOuterReceiverBytecode isMapped) "Newspeak" + #( (3 140 140 genPushRemoteTempLongBytecode) (3 141 141 genStoreRemoteTempLongBytecode) (3 142 142 genStoreAndPopRemoteTempLongBytecode) (4 143 143 genPushClosureCopyCopiedValuesBytecode block v3:Block:Code:Size:) (1 144 151 genShortUnconditionalJump branch v3:ShortForward:Branch:Distance:) (1 152 159 genShortJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" v3:ShortForward:Branch:Distance:) (2 160 163 genLongUnconditionalBackwardJump branch isMapped "because of interrupt check" v3:Long:Branch:Distance:) (2 164 167 genLongUnconditionalForwardJump branch v3:Long:Branch:Distance:) (2 168 171 genLongJumpIfTrue branch isBranchTrue isMapped "because of mustBeBoolean" v3:LongForward:Branch:Distance:) (2 172 175 genLongJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" v3:LongForward:Branch:Distance:) (1 176 197 genSpecialSelectorSend isMapped) (1 198 198 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1) "not mapped because it is directly inlined (for now)" (1 199 199 genSpecialSelectorClass needsFrameNever: notMapped 0) "not mapped because it is directly inlined (for now)" (1 200 207 genSpecialSelectorSend isMapped) (1 208 223 genSendLiteralSelector0ArgsBytecode isMapped) (1 224 239 genSendLiteralSelector1ArgBytecode isMapped) (1 240 255 genSendLiteralSelector2ArgsBytecode isMapped))! Item was changed: ----- Method: Spur32BitCoMemoryManager>>methodHeaderOf: (in category 'growing/shrinking memory') ----- methodHeaderOf: methodObj "Answer the method header of a CompiledMethod object. If the method has been cogged then the header is a pointer to the CogMethod and the real header will be stored in the CogMethod." + <api> <inline: true> | header | self assert: (self isCompiledMethod: methodObj). header := self fetchPointer: HeaderIndex ofObject: methodObj. ^(self isIntegerObject: header) ifTrue: [header] ifFalse: [self assert: header asUnsignedInteger < newSpaceStart. self assert: (coInterpreter cCoerceSimple: header to: #'CogMethod *') objectHeader = self nullHeaderForMachineCodeMethod.. (coInterpreter cCoerceSimple: header to: #'CogMethod *') methodHeader]! Item was added: + ----- Method: SpurMemoryManager>>isCompiledMethodFormat: (in category 'header formats') ----- + isCompiledMethodFormat: format + ^format >= self firstCompiledMethodFormat! Item was changed: ----- Method: SpurMemoryManager>>literalCountOfMethodHeader: (in category 'method access') ----- literalCountOfMethodHeader: header + <api> <inline: true> self assert: (self isIntegerObject: header). ^(self integerValueOf: header) bitAnd: 16rFFFF! Item was changed: ----- Method: StackInterpreter>>validInstructionPointer:inMethod:framePointer: (in category 'debug support') ----- validInstructionPointer: theInstrPointer inMethod: aMethod framePointer: fp <var: #theInstrPointer type: #usqInt> <var: #aMethod type: #usqInt> <var: #fp type: #'char *'> | methodHeader | objectMemory hasSpurMemoryManagerAPI ifTrue: [methodHeader := self noAssertHeaderOf: aMethod. "-1 for pre-increment in fetchNextBytecode" ^theInstrPointer >= (aMethod + (objectMemory lastPointerOf: aMethod) + BytesPerOop - 1) and: [theInstrPointer < (aMethod + (objectMemory numBytesOf: aMethod) + BaseHeaderSize - 1) and: ["If the method starts with a CallPrimitive opcode the instruction pointer should be past it." ((self alternateHeaderHasPrimitiveFlag: methodHeader) and: [theInstrPointer < (aMethod + BytesPerOop - 1 + (objectMemory lastPointerOf: aMethod) + (self sizeOfCallPrimitiveBytecode: methodHeader))]) not]]]. MULTIPLEBYTECODESETS ifTrue: [methodHeader := self noAssertHeaderOf: aMethod. "-1 for pre-increment in fetchNextBytecode" + ^theInstrPointer >= (aMethod + (objectMemory lastPointerOf: aMethod) + BytesPerOop - 1) + and: [theInstrPointer < (aMethod + (objectMemory numBytesOf: aMethod) + BaseHeaderSize - 1) + and: ["If the method starts with a CallPrimitive opcode the instruction pointer should be past it." + ((self headerIndicatesAlternateBytecodeSet: methodHeader) - theInstrPointer >= (aMethod + (objectMemory lastPointerOf: aMethod) + BytesPerOop - 1) - and: [theInstrPointer < (aMethod + (objectMemory numBytesOf: aMethod) + BaseHeaderSize - 1) - and: ["If the method starts with a CallPrimitive opcode the instruction pointer should be past it." - ^((self headerIndicatesAlternateBytecodeSet: methodHeader) and: [(self alternateHeaderHasPrimitiveFlag: methodHeader) and: [theInstrPointer < (aMethod + BytesPerOop - 1 + (objectMemory lastPointerOf: aMethod) + (self sizeOfCallPrimitiveBytecode: methodHeader))]]) not]]]. "-1 for pre-increment in fetchNextBytecode" ^theInstrPointer >= (aMethod + (objectMemory lastPointerOf: aMethod) + objectMemory bytesPerOop - 1) and: [theInstrPointer < (aMethod + (objectMemory numBytesOf: aMethod) + objectMemory baseHeaderSize - 1)]! Item was changed: ----- Method: StackToRegisterMappingCogit class>>initializeBytecodeTableForNewspeakV3PlusClosures (in category 'class initialization') ----- initializeBytecodeTableForNewspeakV3PlusClosures "StackToRegisterMappingCogit initializeBytecodeTableForNewspeakV3PlusClosures" numPushNilsFunction := #v3:Num:Push:Nils:. pushNilSizeFunction := #v3PushNilSize:. NSSendIsPCAnnotated := true. "IsNSSendCall used by PushImplicitReceiver" FirstSpecialSelector := 176. self flag: 'Special selector send class must be inlined to agree with the interpreter, which inlines class. If class is sent to e.g. a general instance of ProtoObject then unless class is inlined there will be an MNU. It must be that the Cointerpreter and Cogit have identical semantics. We get away with not hardwiring the other special selectors either because in the Cointerpreter they are not inlined or because they are inlined only to instances of classes for which there will always be a method.'. self generatorTableFrom: #( (1 0 15 genPushReceiverVariableBytecode needsFrameNever: 1) (1 16 31 genPushTemporaryVariableBytecode needsFrameIfMod16GENumArgs: 1) (1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1) (1 64 95 genPushLiteralVariableBytecode needsFrameNever: 1) (1 96 103 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1) "N.B. not frameless if immutability" (1 104 111 genStoreAndPopTemporaryVariableBytecode) (1 112 112 genPushReceiverBytecode needsFrameNever: 1) (1 113 113 genPushConstantTrueBytecode needsFrameNever: 1) (1 114 114 genPushConstantFalseBytecode needsFrameNever: 1) (1 115 115 genPushConstantNilBytecode needsFrameNever: 1) (1 116 119 genPushQuickIntegerConstantBytecode needsFrameNever: 1) "method returns in blocks need a frame because of nonlocalReturn:through:" (1 120 120 genReturnReceiver return needsFrameIfInBlock: isMappedInBlock 0) (1 121 121 genReturnTrue return needsFrameIfInBlock: isMappedInBlock 0) (1 122 122 genReturnFalse return needsFrameIfInBlock: isMappedInBlock 0) (1 123 123 genReturnNil return needsFrameIfInBlock: isMappedInBlock 0) (1 124 124 genReturnTopFromMethod return needsFrameIfInBlock: isMappedInBlock -1) (1 125 125 genReturnTopFromBlock return needsFrameNever: -1) (3 126 126 genDynamicSuperSendBytecode isMapped) "Newspeak" (2 127 127 genPushImplicitReceiverBytecode isMapped hasIRC) "Newspeak" (2 128 128 extendedPushBytecode needsFrameNever: 1) (2 129 129 extendedStoreBytecode) (2 130 130 extendedStoreAndPopBytecode) (2 131 131 genExtendedSendBytecode isMapped) (3 132 132 doubleExtendedDoAnythingBytecode isMapped) (2 133 133 genExtendedSuperBytecode isMapped) (2 134 134 genSecondExtendedSendBytecode isMapped) (1 135 135 genPopStackBytecode needsFrameNever: -1) (1 136 136 duplicateTopBytecode needsFrameNever: 1) (1 137 137 genPushActiveContextBytecode) + (2 138 138 genPushNewArrayBytecode)), - (2 138 138 genPushNewArrayBytecode) + ((initializationOptions at: #SpurObjectMemory ifAbsent: [false]) + ifTrue: [#((3 139 139 callPrimitiveBytecode))] "V3PlusClosures on Spur" + ifFalse: [#((2 139 139 genPushExplicitOuterReceiverBytecode isMapped))]), "Newspeak" - (2 139 139 genPushExplicitOuterReceiverBytecode isMapped) "Newspeak" + #( (3 140 140 genPushRemoteTempLongBytecode) (3 141 141 genStoreRemoteTempLongBytecode) (3 142 142 genStoreAndPopRemoteTempLongBytecode) (4 143 143 genPushClosureCopyCopiedValuesBytecode block v3:Block:Code:Size:) (1 144 151 genShortUnconditionalJump branch v3:ShortForward:Branch:Distance:) (1 152 159 genShortJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" v3:ShortForward:Branch:Distance:) (2 160 163 genLongUnconditionalBackwardJump branch isMapped "because of interrupt check" v3:Long:Branch:Distance:) (2 164 167 genLongUnconditionalForwardJump branch v3:Long:Branch:Distance:) (2 168 171 genLongJumpIfTrue branch isBranchTrue isMapped "because of mustBeBoolean" v3:LongForward:Branch:Distance:) (2 172 175 genLongJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" v3:LongForward:Branch:Distance:) (1 176 176 genSpecialSelectorArithmetic isMapped AddRR) (1 177 177 genSpecialSelectorArithmetic isMapped SubRR) (1 178 178 genSpecialSelectorComparison isMapped JumpLess) (1 179 179 genSpecialSelectorComparison isMapped JumpGreater) (1 180 180 genSpecialSelectorComparison isMapped JumpLessOrEqual) (1 181 181 genSpecialSelectorComparison isMapped JumpGreaterOrEqual) (1 182 182 genSpecialSelectorComparison isMapped JumpZero) (1 183 183 genSpecialSelectorComparison isMapped JumpNonZero) (1 184 189 genSpecialSelectorSend isMapped) " #* #/ #\\ #@ #bitShift: //" (1 190 190 genSpecialSelectorArithmetic isMapped AndRR) (1 191 191 genSpecialSelectorArithmetic isMapped OrRR) (1 192 197 genSpecialSelectorSend isMapped) "#at: #at:put: #size #next #nextPut: #atEnd" (1 198 198 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1) "not mapped because it is directly inlined (for now)" (1 199 199 genSpecialSelectorClass needsFrameIfStackGreaterThanOne: notMapped 0) "not mapped because it is directly inlined (for now)" (1 200 207 genSpecialSelectorSend isMapped) "#blockCopy: #value #value: #do: #new #new: #x #y" (1 208 223 genSendLiteralSelector0ArgsBytecode isMapped) (1 224 239 genSendLiteralSelector1ArgBytecode isMapped) (1 240 255 genSendLiteralSelector2ArgsBytecode isMapped))!

1 0

← Newer
1
2
3
4
5
6
7
8
9
Older →

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev August 2014