Vm-dev March 2015

vm-dev@lists.squeakfoundation.org

37 participants
175 discussions

VM Maker: VMMaker.oscog-eem.1137.mcz
by commits＠source.squeak.org 31 Mar '15

31 Mar '15

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1137.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.1137 Author: eem Time: 31 March 2015, 11:31:47.262 am UUID: f5b1b284-2ce3-43df-a03a-279529d7091c Ancestors: VMMaker.oscog-eem.1136 Rescue generation of cogit.c after adding NSSendCache type. Do so by moving the definition of the nsSendcache variable in all uses inside the cppIf: NewspeakVM block and beefing up unused variable deletion to no longer include varables referenced in dead code. To do this add a new parse tree enumerator, nodesDo:parent:unless:, and refactoring allReferencedVariables and removeUnusedTemps to take the code generator as an argument. =============== Diff against VMMaker.oscog-eem.1136 =============== Item was changed: ----- Method: CCodeGenerator>>addMethodFor:selector: (in category 'utilities') ----- addMethodFor: aClass selector: selector "Add the given method to the code base and answer its translation or nil if it shouldn't be translated." | method tmethod | method := aClass compiledMethodAt: selector. (method pragmaAt: #doNotGenerate) ifNotNil: ["only remove a previous method if this one overrides it, i.e. this is a subclass method. If the existing method is in a different hierarchy this method must be merely a redeirect." (methods at: selector ifAbsent: []) ifNotNil: [:tm| (aClass includesBehavior: tm definingClass) ifTrue: [self removeMethodForSelector: selector]]. ^nil]. method isSubclassResponsibility ifTrue: [^nil]. (self shouldIncludeMethodFor: aClass selector: selector) ifFalse: [^nil]. tmethod := self compileToTMethodSelector: selector in: aClass. "Even thoug we exclude initialize methods, we must consider their global variable usage, otherwise globals may be incorrectly localized." selector == #initialize ifTrue: + [self checkForGlobalUsage: (tmethod allReferencedVariablesIn: self) in: tmethod. - [self checkForGlobalUsage: tmethod allReferencedVariables in: tmethod. ^nil]. self addMethod: tmethod. "If the method has a macro then add the macro. But keep the method for analysis purposes (e.g. its variable accesses)." (method pragmaAt: #cmacro:) ifNotNil: [:pragma| self addMacro: (pragma argumentAt: 1) for: selector. (inlineList includes: selector) ifTrue: [inlineList := inlineList copyWithout: selector]]. (method propertyValueAt: #cmacro:) ifNotNil: [:macro| self addMacro: macro for: selector. (inlineList includes: selector) ifTrue: [inlineList := inlineList copyWithout: selector]]. ^tmethod! Item was added: + ----- Method: CCodeGenerator>>addVariablesInVerbatimCIn:to: (in category 'utilities') ----- + addVariablesInVerbatimCIn: aCCodeSendNode to: aCollection + "If aCCodeSendNode has a string argument, parse it and extract anything + that looks like a variable, and add the resulting vars to aCollection." + | separators tokens | + (aCCodeSendNode isSend + and: [(aCCodeSendNode selector beginsWith: #cCode:) + and: [aCCodeSendNode args first isConstant + and: [aCCodeSendNode args first value isString]]]) ifFalse: + [^self]. + separators := (Character space to: 255 asCharacter) reject: + [:char| + char isLetter or: [char isDigit or: [char = $_]]]. + tokens := aCCodeSendNode args first value findTokens: separators. + aCollection addAll: (tokens select: [:token| token first isLetter]) asSet! Item was changed: ----- Method: CCodeGenerator>>emitCCodeOn:doInlining:doAssertions: (in category 'C code generator') ----- emitCCodeOn: aStream doInlining: inlineFlag doAssertions: assertionFlag "Emit C code for all methods in the code base onto the given stream. All inlined method calls should already have been expanded." | verbose methodList | "method preparation" verbose := false. self prepareMethods. verbose ifTrue: [ self printUnboundCallWarnings. self printUnboundVariableReferenceWarnings. logger cr. ]. assertionFlag ifFalse: [ self removeAssertions ]. self doInlining: inlineFlag. "code generation" "If we're outputting the VM put the main interpreter loop first for two reasons. 1, so that the dispdbg.h header included at the bytecode dispatch can define macros that affect all C code in the interpreter, and 2, so that all primitive functions will come after and have relatively high addresses. This provides safety in the use of primitiveFunctionPointer as a function pointer and an index by trying to ensure that primitives have addresses much higher than any indices." methodList := self sortMethods: methods. (methods includesKey: #interpret) ifTrue: [methodList := { methods at: #interpret }, (methodList copyWithout: (methods at: #interpret))]. "clean out no longer valid variable names and then handle any global variable usage in each method" + methodList do: [:m | self checkForGlobalUsage: (m removeUnusedTempsIn: self) in: m]. - methodList do: [:m | self checkForGlobalUsage: m removeUnusedTemps in: m]. self localizeGlobalVariables. self emitCHeaderOn: aStream. self emitCTypesOn: aStream. self emitCConstantsOn: aStream. self emitCFunctionPrototypes: methodList on: aStream. self emitCVariablesOn: aStream. self emitCMacros: methodList on: aStream. self emitCMethods: methodList on: aStream. self emitExportsOn: aStream. ! Item was changed: ----- Method: CCodeGenerator>>generateInlineCppIfElse:asArgument:on:indent: (in category 'C translation') ----- generateInlineCppIfElse: msgNode asArgument: asArgument on: aStream indent: level "Generate the C code for this message onto the given stream." | expr putStatement | "Compile-time expansion for constants set in the options dictionary, e.g. to cut down on noise for MULTIPLEBYTECODESETS." putStatement := asArgument ifTrue: "emitCCodeAsArgumentOn: doesn't indent, the code needs indenting if it takes multiple lines, so post-process." [[:node| | expansion | expansion := String streamContents: [:s| node emitCCodeAsArgumentOn: s level: level generator: self]. aStream nextPutAll: ((expansion includes: Character cr) ifTrue: [(String streamContents: [:s| s position > 0 ifTrue: [s tab: level + 1]. node emitCCodeAsArgumentOn: s level: level generator: self]) copyReplaceAll: (String with: Character cr) with: (String with: Character cr), (String new: level + 1 withAll: Character tab)] ifFalse: [expansion])]] ifFalse: [[:node| | expansion | expansion := String streamContents: [:s| node emitCCodeOn: s level: level generator: self]. "Remove tabs from first line to avoid indenting a second time" expansion := expansion allButFirst: (expansion findFirst: [:c| c ~~ Character tab]) - 1. aStream nextPutAll: expansion]]. + (self nilOrBooleanConditionFor: msgNode) ifNotNil: + [:condition| + condition - (optionsDictionary notNil - and: [msgNode args first isConstant - and: [#(true false) includes: (optionsDictionary at: msgNode args first name ifAbsent: [nil])]]) ifTrue: - [(optionsDictionary at: msgNode args first name) ifTrue: [putStatement value: msgNode args second] ifFalse: [msgNode args size >= 3 ifTrue: [putStatement value: msgNode args third]]. ^self]. "Full #if ... #else..." putStatement := asArgument ifTrue: "emitCCodeAsArgumentOn: doesn't indent, the code needs indenting in this case, so post-process." [[:node| aStream nextPutAll: ((String streamContents: [:s| s next: level + 1 put: Character tab. node emitCCodeAsArgumentOn: s level: level generator: self]) copyReplaceAll: (String with: Character cr) with: (String with: Character cr), (String new: level + 1 withAll: Character tab))]] ifFalse: [[:node| node emitCCodeOn: aStream level: level generator: self]]. expr := String streamContents: [:es| msgNode args first emitCCodeAsArgumentOn: es level: 0 generator: self]. [expr last isSeparator] whileTrue: [expr := expr allButLast]. aStream ensureCr; nextPut: $#; next: level * 2 put: Character space; nextPutAll: 'if '; nextPutAll: expr; cr. self with: msgNode args first ifAppropriateSetTo: true do: [putStatement value: msgNode args second]. expr := ' /* ', expr, ' */'. msgNode args size >= 3 ifTrue: [aStream ensureCr; nextPut: $#; next: level * 2 put: Character space; nextPutAll: 'else'; nextPutAll: expr; cr. self with: msgNode args first ifAppropriateSetTo: false do: [putStatement value: msgNode args third]]. aStream ensureCr; nextPut: $#; next: level * 2 put: Character space; nextPutAll: 'endif'; nextPutAll: expr; cr. asArgument ifTrue: [aStream next: level + 1 put: Character tab]! Item was added: + ----- Method: CCodeGenerator>>nilOrBooleanConditionFor: (in category 'utilities') ----- + nilOrBooleanConditionFor: nodeOrNil + "If nodeOrNil is one of the conditional sends for which we do translation-time dead code elimination + (i.e. cppIf:ifTrue: et al or ifTrue: et al) and the conditional does evaluate to a translation-time + boolean constant, answer that constant, otherwise answer nil. Used to prune dead code, + either for code egenraton or dead variable elimination." + nodeOrNil ifNil: + [^nil]. + nodeOrNil isSend ifFalse: + [^nil]. + (#(cppIf:ifTrue: cppIf:ifTrue:ifFalse:) includes: nodeOrNil selector) ifTrue: + [^(optionsDictionary notNil + and: [nodeOrNil args first isConstant + and: [#(true false) includes: (optionsDictionary at: nodeOrNil args first name ifAbsent: [nil])]]) ifTrue: + [optionsDictionary at: nodeOrNil args first name]]. + + ^(#(ifTrue: ifFalse: ifTrue:ifFalse: ifFalse:ifTrue:) includes: nodeOrNil selector) ifTrue: + [self nilOrBooleanConstantReceiverOf: nodeOrNil]! Item was changed: ----- Method: Cogit class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCCodeGenerator #( 'coInterpreter' 'objectMemory' 'methodZone' 'objectRepresentation' + 'cogBlockMethodSurrogateClass' 'cogMethodSurrogateClass' 'nsSendCacheSurrogateClass' - 'cogBlockMethodSurrogateClass' 'cogMethodSurrogateClass' 'threadManager' 'processor' 'lastNInstructions' 'simulatedAddresses' 'simulatedTrampolines' 'simulatedVariableGetters' 'simulatedVariableSetters' 'printRegisters' 'printInstructions' 'clickConfirm' 'singleStep') do: [:simulationVariableNotNeededForRealVM| aCCodeGenerator removeVariable: simulationVariableNotNeededForRealVM]. NewspeakVM ifFalse: [#( 'selfSendEntry' 'selfSendEntryAlignment' 'cmSelfSendEntryOffset' 'dynSuperEntry' 'dynSuperEntryAlignment' 'cmDynSuperEntryOffset' 'selfSendTrampolines' 'dynamicSuperSendTrampolines' 'implicitReceiverSendTrampolines' 'ceEnclosingObjectTrampoline' 'numIRCs' 'indexOfIRC' 'theIRCs') do: [:variableNotNeededInNormalVM| aCCodeGenerator removeVariable: variableNotNeededInNormalVM]]. aCCodeGenerator removeConstant: #COGMTVM. "this should be defined at compile time" aCCodeGenerator addHeaderFile:'<stddef.h>'; "for e.g. offsetof" addHeaderFile:'"sqCogStackAlignment.h"'; addHeaderFile:'"dispdbg.h"'; "must preceed cointerp.h & cogit.h otherwise NoDbgRegParms gets screwed up" addHeaderFile:'"cogmethod.h"'. NewspeakVM ifTrue: [aCCodeGenerator addHeaderFile:'"nssendcache.h"']. aCCodeGenerator addHeaderFile:'#if COGMTVM'; addHeaderFile:'"cointerpmt.h"'; addHeaderFile:'#else'; addHeaderFile:'"cointerp.h"'; addHeaderFile:'#endif'; addHeaderFile:'"cogit.h"'. aCCodeGenerator var: #ceGetSP declareC: 'unsigned long (*ceGetSP)(void)'; var: #ceCaptureCStackPointers declareC: 'void (*ceCaptureCStackPointers)(void)'; var: #ceEnterCogCodePopReceiverReg declareC: 'void (*ceEnterCogCodePopReceiverReg)(void)'; var: #realCEEnterCogCodePopReceiverReg declareC: 'void (*realCEEnterCogCodePopReceiverReg)(void)'; var: #ceCallCogCodePopReceiverReg declareC: 'void (*ceCallCogCodePopReceiverReg)(void)'; var: #realCECallCogCodePopReceiverReg declareC: 'void (*realCECallCogCodePopReceiverReg)(void)'; var: #ceCallCogCodePopReceiverAndClassRegs declareC: 'void (*ceCallCogCodePopReceiverAndClassRegs)(void)'; var: #realCECallCogCodePopReceiverAndClassRegs declareC: 'void (*realCECallCogCodePopReceiverAndClassRegs)(void)'; var: #ceFlushICache declareC: 'static void (*ceFlushICache)(unsigned long from, unsigned long to)'; var: #ceCheckFeaturesFunction declareC: 'static unsigned long (*ceCheckFeaturesFunction)(void)'; var: #ceTryLockVMOwner declareC: 'unsigned long (*ceTryLockVMOwner)(void)'; var: #ceUnlockVMOwner declareC: 'void (*ceUnlockVMOwner)(void)'; var: #postCompileHook declareC: 'void (*postCompileHook)(CogMethod *, void *)'; var: #openPICList declareC: 'CogMethod *openPICList = 0'; var: #maxMethodBefore type: #'CogBlockMethod *'. aCCodeGenerator declareVar: 'aMethodLabel' type: #'AbstractInstruction'; "Has to come lexicographically before backEnd & methodLabel" var: #backEnd declareC: 'AbstractInstruction * const backEnd = &aMethodLabel'; var: #methodLabel declareC: 'AbstractInstruction * const methodLabel = &aMethodLabel'; var: #primInvokeLabel type: #'AbstractInstruction *'. self declareC: #(abstractOpcodes stackCheckLabel blockEntryLabel blockEntryNoContextSwitch stackOverflowCall sendMiss entry noCheckEntry selfSendEntry dynSuperEntry picMNUAbort picInterpretAbort endCPICCase0 endCPICCase1) as: #'AbstractInstruction *' in: aCCodeGenerator. aCCodeGenerator declareVar: #annotations type: #'InstructionAnnotation *'; declareVar: #blockStarts type: #'BlockStart *'; declareVar: #fixups type: #'BytecodeFixup *'. aCCodeGenerator var: #ordinarySendTrampolines declareC: 'sqInt ordinarySendTrampolines[NumSendTrampolines]'; var: #superSendTrampolines declareC: 'sqInt superSendTrampolines[NumSendTrampolines]'; var: #selfSendTrampolines declareC: 'sqInt selfSendTrampolines[NumSendTrampolines]'; var: #dynamicSuperSendTrampolines declareC: 'sqInt dynamicSuperSendTrampolines[NumSendTrampolines]'; var: #implicitReceiverSendTrampolines declareC: 'sqInt implicitReceiverSendTrampolines[NumSendTrampolines]'; var: #trampolineAddresses declareC: 'static char *trampolineAddresses[NumTrampolines*2]'; var: #objectReferencesInRuntime declareC: 'static sqInt objectReferencesInRuntime[NumObjRefsInRuntime]'; var: #labelCounter type: #int; var: #traceFlags declareC: 'int traceFlags = 8 /* prim trace log on by default */'; var: #cStackAlignment declareC: 'const int cStackAlignment = STACK_ALIGN_BYTES'. aCCodeGenerator declareVar: #CFramePointer type: #'void *'; declareVar: #CStackPointer type: #'void *'; declareVar: #minValidCallAddress type: #'unsigned long'; declareVar: #debugPrimCallStackOffset type: #'unsigned long'. aCCodeGenerator vmClass generatorTable ifNotNil: [:bytecodeGenTable| aCCodeGenerator var: #generatorTable declareC: 'static BytecodeDescriptor generatorTable[', bytecodeGenTable size, ']', (self tableInitializerFor: bytecodeGenTable in: aCCodeGenerator); var: #primitiveGeneratorTable declareC: 'static PrimitiveDescriptor primitiveGeneratorTable[MaxCompiledPrimitiveIndex+1]', (self tableInitializerFor: aCCodeGenerator vmClass primitiveTable in: aCCodeGenerator)]. "In C the abstract opcode names clash with the Smalltak generator syntactic sugar. Most of the syntactic sugar is inlined, but alas some remains. Rename the syntactic sugar to avoid the clash." (self organization listAtCategoryNamed: #'abstract instructions') do: [:s| aCCodeGenerator addSelectorTranslation: s to: 'g', (aCCodeGenerator cFunctionNameFor: s)]. aCCodeGenerator addSelectorTranslation: #halt: to: 'haltmsg'! Item was changed: ----- Method: Cogit>>checkIfValidOopRef:pc:cogMethod: (in category 'garbage collection') ----- checkIfValidOopRef: annotation pc: mcpc cogMethod: cogMethod - | nsSendCache | <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> annotation = IsObjectReference ifTrue: [| literal | literal := backEnd literalBeforeFollowingAddress: mcpc asInteger. (objectRepresentation checkValidOopReference: literal) ifFalse: [coInterpreter print: 'object ref leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. ^1]]. self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [| nsSendCache enclosingObject | - [ | enclosingObject | nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. [(objectRepresentation checkValidOopReference: nsSendCache selector) ifFalse: [coInterpreter print: 'selector leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. ^1]]. (enclosingObject := nsSendCache enclosingObject) ~= 0 ifTrue: [[(objectRepresentation checkValidOopReference: enclosingObject) ifFalse: [coInterpreter print: 'enclosing object leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. ^1]]]]]. annotation = IsSendCall ifTrue: [| entryPoint selectorOrCacheTag offset | entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint <= methodZoneBase ifTrue: [offset := entryPoint] ifFalse: [self offsetAndSendTableFor: entryPoint annotation: annotation into: [:off :table| offset := off]]. selectorOrCacheTag := backEnd inlineCacheTagAt: mcpc asInteger. (entryPoint > methodZoneBase and: [offset ~= cmNoCheckEntryOffset and: [(self cCoerceSimple: entryPoint - offset to: #'CogMethod *') cmType ~= CMOpenPIC]]) ifTrue: "linked non-super send, cacheTag is a cacheTag" [(objectRepresentation validInlineCacheTag: selectorOrCacheTag) ifFalse: [coInterpreter print: 'cache tag leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. ^1]] ifFalse: "unlinked send or super send; cacheTag is a selector" [(objectRepresentation checkValidOopReference: selectorOrCacheTag) ifFalse: [coInterpreter print: 'selector leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. ^1]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>checkIfValidOopRefAndTarget:pc:cogMethod: (in category 'garbage collection') ----- checkIfValidOopRefAndTarget: annotation pc: mcpc cogMethod: cogMethod <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> + | literal entryPoint | - | literal entryPoint nsSendCache | annotation = IsObjectReference ifTrue: [literal := backEnd literalBeforeFollowingAddress: mcpc asInteger. (self asserta: (objectRepresentation checkValidOopReference: literal)) ifFalse: [^1]. ((objectRepresentation couldBeObject: literal) and: [objectMemory isReallyYoungObject: literal]) ifTrue: [(self asserta: (self cCoerceSimple: cogMethod to: #'CogMethod *') cmRefersToYoung) ifFalse: [^2]]]. self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [ | nsSendCache classTag enclosingObject nsTargetMethod | - [ | classTag enclosingObject nsTargetMethod | nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. (self asserta: (objectRepresentation checkValidOopReference: nsSendCache selector)) ifFalse: [^9]. classTag := nsSendCache classTag. (self asserta: (classTag = 0 or: [objectRepresentation validInlineCacheTag: classTag])) ifFalse: [^10]. enclosingObject := nsSendCache enclosingObject. (self asserta: (enclosingObject = 0 or: [objectRepresentation checkValidOopReference: enclosingObject])) ifFalse: [^11]. entryPoint := nsSendCache target. entryPoint ~= 0 ifTrue: [ nsTargetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. (self asserta: (nsTargetMethod cmType = CMMethod)) ifFalse: [^12]]]]. annotation = IsSendCall ifTrue: [(self asserta: (self cCoerceSimple: cogMethod to: #'CogMethod *') cmType = CMMethod) ifFalse: [^3]. self offsetCacheTagAndCouldBeObjectAt: mcpc annotation: annotation into: [:offset :cacheTag :tagCouldBeObject| tagCouldBeObject ifTrue: [(objectRepresentation couldBeObject: cacheTag) ifTrue: [(self asserta: (objectRepresentation checkValidOopReference: cacheTag)) ifFalse: [^4]] ifFalse: [(self asserta: (objectRepresentation validInlineCacheTag: cacheTag)) ifFalse: [^5]]. ((objectRepresentation couldBeObject: cacheTag) and: [objectMemory isReallyYoungObject: cacheTag]) ifTrue: [(self asserta: (self cCoerceSimple: cogMethod to: #'CogMethod *') cmRefersToYoung) ifFalse: [^6]]] ifFalse: [(self asserta: (objectRepresentation validInlineCacheTag: cacheTag)) ifFalse: [^7]]]. entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: ["It's a linked send; find which kind." self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| (self asserta: (targetMethod cmType = CMMethod or: [targetMethod cmType = CMClosedPIC or: [targetMethod cmType = CMOpenPIC]])) ifFalse: [^8]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>incrementUsageOfTargetIfLinkedSend:mcpc:ignored: (in category 'compaction') ----- incrementUsageOfTargetIfLinkedSend: annotation mcpc: mcpc ignored: superfluity <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> + | entryPoint | - | entryPoint nsSendCache | self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [| nsSendCache | + nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + nsSendCache classTag ~= 0 ifTrue: "send is linked" - [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. - nsSendCache classTag ~= 0 ifTrue: "send is linked" [ | targetMethod | entryPoint := nsSendCache target. targetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. self assert: (self isPCWithinMethodZone: targetMethod asUnsignedInteger). targetMethod cmUsageCount < (CMMaxUsageCount // 2) ifTrue: [targetMethod cmUsageCount: targetMethod cmUsageCount + 1]]]]. annotation = IsSendCall ifTrue: [self assert: annotation ~= IsNSSendCall. + entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. - entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| targetMethod cmUsageCount < (CMMaxUsageCount // 2) ifTrue: [targetMethod cmUsageCount: targetMethod cmUsageCount + 1]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>markLiterals:pc:method: (in category 'garbage collection') ----- markLiterals: annotation pc: mcpc method: cogMethod "Mark and trace literals. Additionally in Newspeak, void push implicits that have unmarked classes." <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> + | literal | - | literal nsSendCache | annotation = IsObjectReference ifTrue: [literal := backEnd literalBeforeFollowingAddress: mcpc asUnsignedInteger. (objectRepresentation markAndTraceLiteral: literal in: (self cCoerceSimple: cogMethod to: #'CogMethod *') atpc: mcpc asUnsignedInteger) ifTrue: [codeModified := true]]. self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [| nsSendCache sel eo | - [ | sel eo | nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. sel := nsSendCache selector. (objectMemory isForwarded: sel) ifFalse: [objectMemory markAndTrace: sel] ifTrue: [sel := objectMemory followForwarded: literal. nsSendCache selector: sel. self markAndTraceUpdatedLiteral: sel in: (self cCoerceSimple: cogMethod to: #'CogMethod *')]. eo := nsSendCache enclosingObject. + eo ~= 0 ifTrue: + [(objectMemory isForwarded: eo) - eo ~= 0 ifTrue: [ - (objectMemory isForwarded: eo) ifFalse: [objectMemory markAndTrace: eo] ifTrue: [eo := objectMemory followForwarded: literal. nsSendCache enclosingObject: eo. self markAndTraceUpdatedLiteral: eo in: (self cCoerceSimple: cogMethod to: #'CogMethod *')]]]]. annotation = IsSendCall ifTrue: [self offsetCacheTagAndCouldBeObjectAt: mcpc annotation: annotation into: [:entryPoint :cacheTag :tagCouldBeObj | tagCouldBeObj ifTrue: [(objectRepresentation markAndTraceCacheTagLiteral: cacheTag in: (self cCoerceSimple: cogMethod to: #'CogMethod *') atpc: mcpc asUnsignedInteger) ifTrue: ["cacheTag is selector" codeModified := true]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>markLiteralsAndUnlinkIfUnmarkedSend:pc:method: (in category 'garbage collection') ----- markLiteralsAndUnlinkIfUnmarkedSend: annotation pc: mcpc method: cogMethod "Mark and trace literals. Unlink sends that have unmarked cache tags or targets." <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> + | literal | - | literal nsSendCache | annotation = IsObjectReference ifTrue: [literal := backEnd literalBeforeFollowingAddress: mcpc asUnsignedInteger. (objectRepresentation markAndTraceLiteral: literal in: (self cCoerceSimple: cogMethod to: #'CogMethod *') atpc: mcpc asUnsignedInteger) ifTrue: [codeModified := true]]. self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [| nsSendCache entryPoint targetMethod sel eo | - [ | entryPoint targetMethod sel eo | nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. entryPoint := nsSendCache target. entryPoint ~= 0 ifTrue: "Send is linked" [targetMethod := entryPoint - cmNoCheckEntryOffset. (self markAndTraceOrFreeCogMethod: targetMethod firstVisit: targetMethod asUnsignedInteger > mcpc asUnsignedInteger) ifTrue: [nsSendCache classTag: 0; enclosingObject: 0; target: 0]]. sel := nsSendCache selector. (objectMemory isForwarded: sel) ifFalse: [objectMemory markAndTrace: sel] ifTrue: [sel := objectMemory followForwarded: literal. nsSendCache selector: sel. self markAndTraceUpdatedLiteral: sel in: (self cCoerceSimple: cogMethod to: #'CogMethod *')]. eo := nsSendCache enclosingObject. eo ~= 0 ifTrue: [(objectMemory isForwarded: eo) ifFalse: [objectMemory markAndTrace: eo] ifTrue: [eo := objectMemory followForwarded: literal. nsSendCache enclosingObject: eo. self markAndTraceUpdatedLiteral: eo in: (self cCoerceSimple: cogMethod to: #'CogMethod *')]]]]. annotation = IsSendCall ifTrue: [self offsetCacheTagAndCouldBeObjectAt: mcpc annotation: annotation into: [:entryPoint :cacheTag :tagCouldBeObj | | cacheTagMarked | + self assert: annotation ~= IsNSSendCall. - self assert: annotation ~= IsNSSendCall. cacheTagMarked := tagCouldBeObj and: [objectRepresentation cacheTagIsMarked: cacheTag]. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| (cacheTagMarked not or: [self markAndTraceOrFreeCogMethod: targetMethod firstVisit: targetMethod asUnsignedInteger > mcpc asUnsignedInteger]) ifTrue: ["Either the cacheTag is unmarked (e.g. new class) or the target has been freed (because it is unmarked), so unlink the send." self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable. objectRepresentation markAndTraceLiteral: targetMethod selector in: targetMethod at: (self addressOf: targetMethod selector put: [:val| targetMethod selector: val])]]] ifFalse: "cacheTag is selector" [(objectRepresentation markAndTraceCacheTagLiteral: cacheTag in: cogMethod atpc: mcpc asUnsignedInteger) ifTrue: [codeModified := true]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>markYoungObjects:pc:method: (in category 'garbage collection') ----- markYoungObjects: annotation pc: mcpc method: cogMethod "Mark and trace young literals." <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> + | literal | - | literal nsSendCache | annotation = IsObjectReference ifTrue: [literal := backEnd literalBeforeFollowingAddress: mcpc asInteger. objectRepresentation markAndTraceLiteralIfYoung: literal]. self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [| nsSendCache | + nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + objectRepresentation markAndTraceLiteralIfYoung: nsSendCache selector. + nsSendCache enclosingObject ~= 0 ifTrue: - [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. - objectRepresentation markAndTraceLiteralIfYoung: nsSendCache selector. - nsSendCache enclosingObject ~= 0 ifTrue: [objectRepresentation markAndTraceLiteralIfYoung: nsSendCache enclosingObject]]]. annotation = IsSendCall ifTrue: [self offsetCacheTagAndCouldBeObjectAt: mcpc annotation: annotation into: [:entryPoint :cacheTag :tagCouldBeObj | tagCouldBeObj ifTrue: [objectRepresentation markAndTraceLiteralIfYoung: cacheTag]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>relocateIfCallOrMethodReference:mcpc:delta: (in category 'compaction') ----- relocateIfCallOrMethodReference: annotation mcpc: mcpc delta: delta <var: #mcpc type: #'char *'> + | entryPoint offset sendTable targetMethod unlinkedRoutine | - | entryPoint offset sendTable targetMethod unlinkedRoutine nsSendCache | <var: #sendTable type: #'sqInt *'> <var: #targetMethod type: #'CogMethod *'> <var: #nsSendCache type: #'NSSendCache *'> + self cppIf: NewspeakVM ifTrue: + [| nsSendCache | + annotation = IsNSSendCall ifTrue: + ["Retrieve the send cache before relocating the stub call. Fetching the send + cache asserts the stub call points below all the cogged methods, but + until this method is actually moved, the adjusted stub call may appear to + point to somewhere in the method zone." + nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. - self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: - ["Retrieve the send cache before relocating the stub call. Fetching the send - cache asserts the stub call points below all the cogged methods, but - until this method is actually moved, the adjusted stub call may appear to - point to somewhere in the method zone." - nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + "Fix call to trampoline. This method is moving [delta] bytes, and calls are + relative, so adjust the call by -[delta] bytes" + backEnd relocateCallBeforeReturnPC: mcpc asInteger by: delta negated. - "Fix call to trampoline. This method is moving [delta] bytes, and calls are - relative, so adjust the call by -[delta] bytes" - backEnd relocateCallBeforeReturnPC: mcpc asInteger by: delta negated. + nsSendCache target ~= 0 ifTrue: "Send is linked" + [entryPoint := nsSendCache target. + targetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. + targetMethod cmType = CMMethod + ifTrue: "send target not freed; just relocate. The cache has an absolute + target, so only adjust by the target method's displacement." + [nsSendCache target: entryPoint + targetMethod objectHeader] + ifFalse: "send target was freed, unlink" + [nsSendCache classTag: 0; enclosingObject: 0; target: 0]]. + ^0]]. - nsSendCache target ~= 0 ifTrue: "Send is linked" - [entryPoint := nsSendCache target. - targetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. - targetMethod cmType = CMMethod - ifTrue: "send target not freed; just relocate. The cache has an absolute - target, so only adjust by the target method's displacement." - [nsSendCache target: entryPoint + targetMethod objectHeader] - ifFalse: "send target was freed, unlink" - [nsSendCache classTag: 0; enclosingObject: 0; target: 0]]. - ^0]]. annotation = IsSendCall ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint <= methodZoneBase ifTrue: "send is not linked; just relocate" [backEnd relocateCallBeforeReturnPC: mcpc asInteger by: delta negated. ^0]. "It's a linked send; find which kind." self offsetAndSendTableFor: entryPoint annotation: annotation into: [:off :table| offset := off. sendTable := table]. targetMethod := self cCoerceSimple: entryPoint - offset to: #'CogMethod *'. targetMethod cmType = CMMethod ifTrue: "send target not freed; just relocate." [backEnd relocateCallBeforeReturnPC: mcpc asInteger by: (delta - targetMethod objectHeader) negated. ^0]. "Target was freed; map back to an unlinked send; but include this method's reocation" unlinkedRoutine := sendTable at: (targetMethod cmNumArgs min: NumSendTrampolines - 1). unlinkedRoutine := unlinkedRoutine - delta. backEnd rewriteInlineCacheAt: mcpc asInteger tag: targetMethod selector target: unlinkedRoutine. ^0]. annotation = IsRelativeCall ifTrue: [backEnd relocateCallBeforeReturnPC: mcpc asInteger by: delta negated. ^0]. annotation = IsAbsPCReference ifTrue: [backEnd relocateMethodReferenceBeforeAddress: mcpc asInteger by: delta]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>remapIfObjectRef:pc:hasYoung: (in category 'garbage collection') ----- remapIfObjectRef: annotation pc: mcpc hasYoung: hasYoungPtr <var: #mcpc type: #'char *'> <var: #targetMethod type: #'CogMethod *'> <var: #nsSendCache type: #'NSSendCache *'> - | nsSendCache | annotation = IsObjectReference ifTrue: [| literal mappedLiteral | literal := backEnd literalBeforeFollowingAddress: mcpc asInteger. (objectRepresentation couldBeObject: literal) ifTrue: [mappedLiteral := objectRepresentation remapObject: literal. literal ~= mappedLiteral ifTrue: [backEnd storeLiteral: mappedLiteral beforeFollowingAddress: mcpc asInteger. codeModified := true]. (hasYoungPtr ~= 0 and: [objectMemory isYoung: mappedLiteral]) ifTrue: [(self cCoerceSimple: hasYoungPtr to: #'sqInt *') at: 0 put: true]]]. self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [| nsSendCache oop mappedOop | - [ | oop mappedOop | nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. oop := nsSendCache selector. mappedOop := objectRepresentation remapObject: oop. oop ~= mappedOop ifTrue: [nsSendCache selector: mappedOop. (hasYoungPtr ~= 0 and: [objectMemory isYoung: mappedOop]) ifTrue: [(self cCoerceSimple: hasYoungPtr to: #'sqInt *') at: 0 put: true]]. oop := nsSendCache enclosingObject. oop ~= 0 ifTrue: [ mappedOop := objectRepresentation remapObject: oop. oop ~= mappedOop ifTrue: [nsSendCache enclosingObject: mappedOop. (hasYoungPtr ~= 0 and: [objectMemory isYoung: mappedOop]) ifTrue: [(self cCoerceSimple: hasYoungPtr to: #'sqInt *') at: 0 put: true]]]. ^0 "keep scanning"]]. annotation = IsSendCall ifTrue: [self offsetCacheTagAndCouldBeObjectAt: mcpc annotation: annotation into: [:entryPoint :cacheTag :tagCouldBeObj | | mappedCacheTag | (tagCouldBeObj and: [objectRepresentation couldBeObject: cacheTag]) ifTrue: [mappedCacheTag := objectRepresentation remapObject: cacheTag. cacheTag ~= mappedCacheTag ifTrue: [backEnd rewriteInlineCacheTag: mappedCacheTag at: mcpc asInteger. codeModified := true]. (hasYoungPtr ~= 0 and: [objectMemory isYoung: mappedCacheTag]) ifTrue: [(self cCoerceSimple: hasYoungPtr to: #'sqInt *') at: 0 put: true]]. hasYoungPtr ~= 0 ifTrue: ["Since the unlinking routines may rewrite the cacheTag to the send's selector, and since they don't have the cogMethod to hand and can't add it to youngReferrers, the method must remain in youngReferrers if the targetMethod's selector is young." entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :ignored| (objectMemory isYoung: targetMethod selector) ifTrue: [(self cCoerceSimple: hasYoungPtr to: #'sqInt *') at: 0 put: true]]]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>unlinkIfForwardedSend:pc:ignored: (in category 'in-line cacheing') ----- unlinkIfForwardedSend: annotation pc: mcpc ignored: superfluity <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> + | entryPoint | - | entryPoint nsSendCache | + self cppIf: NewspeakVM ifTrue: + [| nsSendCache | + annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + nsSendCache classTag ~= 0 ifTrue: + [(objectMemory isForwardedClassIndex: nsSendCache classTag) ifTrue: [ + nsSendCache classTag: 0; enclosingObject: 0; target: 0]]. + "Should we check if the enclosing object's class is forwarded as well?" + ^0 "keep scanning"]]. - self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: - [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. - nsSendCache classTag ~= 0 ifTrue: - [(objectMemory isForwardedClassIndex: nsSendCache classTag) ifTrue: [ - nsSendCache classTag: 0; enclosingObject: 0; target: 0]]. - "Should we check if the enclosing object's class is forwarded as well?" - ^0 "keep scanning"]]. annotation = IsSendCall ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send, but maybe a super send or linked to an OpenPIC, in which case the cache tag will be a selector...." [(objectMemory isForwardedClassIndex: (backEnd inlineCacheTagAt: mcpc asInteger)) ifTrue: [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>unlinkIfFreeOrLinkedSend:pc:of: (in category 'in-line cacheing') ----- unlinkIfFreeOrLinkedSend: annotation pc: mcpc of: theSelector <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> + | entryPoint | - | entryPoint nsSendCache | + self cppIf: NewspeakVM ifTrue: + [| nsSendCache | + annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + (entryPoint := nsSendCache target) ~= 0 ifTrue: + [ | targetMethod | + targetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. + (targetMethod cmType = CMFree or: [nsSendCache selector = theSelector]) ifTrue: + [nsSendCache classTag: 0; enclosingObject: 0; target: 0]]. + ^0 "keep scanning"]]. - self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: - [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. - (entryPoint := nsSendCache target) ~= 0 ifTrue: - [ | targetMethod | - targetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. - (targetMethod cmType = CMFree or: [nsSendCache selector = theSelector]) ifTrue: - [nsSendCache classTag: 0; enclosingObject: 0; target: 0]]. - ^0 "keep scanning"]]. annotation = IsSendCall ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| (targetMethod cmType = CMFree or: [targetMethod selector = theSelector]) ifTrue: [self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>unlinkIfLinkedSend:pc:ignored: (in category 'in-line cacheing') ----- unlinkIfLinkedSend: annotation pc: mcpc ignored: superfluity <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> + | entryPoint | - | entryPoint nsSendCache | + self cppIf: NewspeakVM ifTrue: + [| nsSendCache | + annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + nsSendCache classTag ~= 0 ifTrue: "Send is linked" + [nsSendCache classTag: 0; enclosingObject: 0; target: 0]. + ^0 "keep scanning"]]. - self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: - [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. - nsSendCache classTag ~= 0 ifTrue: "Send is linked" - [nsSendCache classTag: 0; enclosingObject: 0; target: 0]. - ^0 "keep scanning"]]. annotation = IsSendCall ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>unlinkIfLinkedSend:pc:of: (in category 'in-line cacheing') ----- unlinkIfLinkedSend: annotation pc: mcpc of: theSelector <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> + | entryPoint | - | entryPoint nsSendCache | + self cppIf: NewspeakVM ifTrue: + [| nsSendCache | + annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + nsSendCache selector = theSelector ifTrue: + [nsSendCache classTag: 0; enclosingObject: 0; target: 0]. + ^0 "keep scanning"]]. - self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: - [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. - nsSendCache selector = theSelector ifTrue: - [nsSendCache classTag: 0; enclosingObject: 0; target: 0]. - ^0 "keep scanning"]]. annotation = IsSendCall ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| targetMethod selector = theSelector ifTrue: [self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>unlinkIfLinkedSend:pc:to: (in category 'in-line cacheing') ----- unlinkIfLinkedSend: annotation pc: mcpc to: theCogMethod <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> + | entryPoint | - | entryPoint nsSendCache | + self cppIf: NewspeakVM ifTrue: + [| nsSendCache | + annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + (entryPoint := nsSendCache target) ~= 0 ifTrue: + [ | targetMethod | + targetMethod := entryPoint - cmNoCheckEntryOffset. + targetMethod = theCogMethod ifTrue: + [nsSendCache classTag: 0. + nsSendCache enclosingObject: 0. + nsSendCache target: 0]]. + ^0 "keep scanning"]]. - self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: - [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. - (entryPoint := nsSendCache target) ~= 0 ifTrue: - [ | targetMethod | - targetMethod := entryPoint - cmNoCheckEntryOffset. - targetMethod = theCogMethod ifTrue: - [nsSendCache classTag: 0. - nsSendCache enclosingObject: 0. - nsSendCache target: 0]]. - ^0 "keep scanning"]]. annotation = IsSendCall ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| targetMethod asInteger = theCogMethod ifTrue: [self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>unlinkIfLinkedSendToFree:pc:ignored: (in category 'in-line cacheing') ----- unlinkIfLinkedSendToFree: annotation pc: mcpc ignored: superfluity <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> <var: #nsTargetMethod type: #'CogMethod *'> + | entryPoint | - | entryPoint nsSendCache nsTargetMethod | + self cppIf: NewspeakVM ifTrue: + [| nsSendCache nsTargetMethod | + annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + (entryPoint := nsSendCache target) ~= 0 ifTrue: "It's a linked send." + [nsTargetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. + nsTargetMethod cmType = CMFree ifTrue: + [nsSendCache classTag: 0. + nsSendCache enclosingObject: 0. + nsSendCache target: 0]]. + ^0 "keep scanning"]]. - self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: - [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. - (entryPoint := nsSendCache target) ~= 0 ifTrue: "It's a linked send." - [nsTargetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. - nsTargetMethod cmType = CMFree ifTrue: - [nsSendCache classTag: 0. - nsSendCache enclosingObject: 0. - nsSendCache target: 0]]. - ^0 "keep scanning"]]. annotation = IsSendCall ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| targetMethod cmType = CMFree ifTrue: [self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]]]. ^0 "keep scanning"! Item was added: + ----- Method: TAssignmentNode>>nodesDo:parent:unless: (in category 'enumerating') ----- + nodesDo: aBlock parent: parent unless: cautionaryBlock + + (cautionaryBlock value: self value: parent) ifTrue: [^self]. + variable nodesDo: aBlock parent: self unless: cautionaryBlock. + expression nodesDo: aBlock parent: self unless: cautionaryBlock. + aBlock value: self value: parent! Item was added: + ----- Method: TBraceCaseNode>>nodesDo:parent:unless: (in category 'enumerating') ----- + nodesDo: aBlock parent: parent unless: cautionaryBlock + + (cautionaryBlock value: self value: parent) ifTrue: [^self]. + caseLabels do: + [:node| node nodesDo: aBlock parent: self unless: cautionaryBlock]. + cases do: + [:node| node nodesDo: aBlock parent: self unless: cautionaryBlock]. + aBlock value: self value: parent! Item was added: + ----- Method: TCaseStmtNode>>nodesDo:parent:unless: (in category 'enumerating') ----- + nodesDo: aBlock parent: parent unless: cautionaryBlock + + (cautionaryBlock value: self value: parent) ifTrue: [^self]. + expression nodesDo: aBlock parent: self unless: cautionaryBlock. + cases do: [ :c | c nodesDo: aBlock parent: self unless: cautionaryBlock]. + aBlock value: self value: parent! Item was added: + ----- Method: TInlineNode>>nodesDo:parent:unless: (in category 'enumerating') ----- + nodesDo: aBlock parent: parent unless: cautionaryBlock + + (cautionaryBlock value: self value: parent) ifTrue: [^self]. + method parseTree nodesDo: aBlock parent: self unless: cautionaryBlock. + aBlock value: self value: parent! Item was removed: - ----- Method: TMethod>>allReferencedVariables (in category 'accessing') ----- - allReferencedVariables - "Answer the set of all variables referenced in the receiver." - | refs | - refs := Set new. - "find all the variable names referenced in this method" - parseTree nodesDo: - [:node| - node isVariable ifTrue: [refs add: node name asString]. - node isStmtList ifTrue: [refs addAll: node args]]. - "add all the non-arg declarations (might be variables used only in cCode sections)" - refs addAll: (declarations keys reject: [:e | self args includes: e]). - ^refs! Item was added: + ----- Method: TMethod>>allReferencedVariablesIn: (in category 'accessing') ----- + allReferencedVariablesIn: aCodeGen + "Answer the set of all variables referenced in the receiver." + | refs | + refs := Set new. + "Find all the variable names referenced in this method. + Don't descend into " + parseTree + nodesWithParentsDo: + [:node :parent| + node isVariable ifTrue: [refs add: node name asString]. + node isStmtList ifTrue: [refs addAll: node args]. + (node isSend + and: [node selector beginsWith: #cCode:]) ifTrue: + [aCodeGen addVariablesInVerbatimCIn: node to: refs]] + unless: + [:node :parent| + (aCodeGen nilOrBooleanConditionFor: parent) + ifNil: [false] + ifNotNil: + [:condition| "double negatives are confusing, aren't they ;-)" + node = parent args second == condition not]]. + ^refs! Item was changed: ----- Method: TMethod>>emitInlineOn:level:generator: (in category 'C code generation') ----- emitInlineOn: aStream level: level generator: aCodeGen "Emit C code for this method onto the given stream. All calls to inlined methods should already have been expanded." + self removeUnusedTempsIn: aCodeGen. - self removeUnusedTemps. sharedLabel ifNotNil: [aStream crtab: level-1; nextPutAll: sharedLabel; nextPut: $:. aStream crtab: level. aStream nextPutAll: '/* '; nextPutAll: selector; nextPutAll: ' */'. aStream crtab: level]. aStream nextPut: ${. locals isEmpty ifFalse: [(aCodeGen sortStrings: locals) do: [:var| aStream crtab: level+1; nextPutAll: (self declarationAt: var); nextPut: $;]. aStream cr]. aStream crtab: level+1. aCodeGen outputAsmLabel: selector on: aStream. aStream crtab: level+1. aCodeGen pushScope: declarations while: [parseTree emitCCodeOn: aStream level: level+1 generator: aCodeGen]. aStream tab: level; nextPut: $}! Item was removed: - ----- Method: TMethod>>removeUnusedTemps (in category 'utilities') ----- - removeUnusedTemps - "Remove all of the unused temps in this method. Answer a set of the references." - "After inlining some variable references are now obsolete, we could fix them there - but the code seems a bit complicated, the other choice to to rebuild the locals - before extruding. This is done here" - | refs | - refs := self allReferencedVariables. - "reset the locals to be only those still referred to" - locals := locals select: [:e| refs includes: e]. - ^refs! Item was added: + ----- Method: TMethod>>removeUnusedTempsIn: (in category 'utilities') ----- + removeUnusedTempsIn: aCodeGen + "Remove all of the unused temps in this method. Answer a set of the references." + "After inlining some variable references are now obsolete, we could fix them there + but the code seems a bit complicated, the other choice to to rebuild the locals + before extruding. This is done here" + | refs | + refs := self allReferencedVariablesIn: aCodeGen. + "reset the locals to be only those still referred to" + locals := locals select: [:e| refs includes: e]. + ^refs! Item was added: + ----- Method: TParseNode>>nodesDo:parent:unless: (in category 'enumerating') ----- + nodesDo: aBlock parent: parent unless: cautionaryBlock + "Evaluate aBlock for all nodes in the tree except those for which cautionaryBlock + answers true or are children of those for which cautionaryBlock answers true." + (cautionaryBlock value: self value: parent) ifFalse: + [aBlock value: self value: parent]! Item was added: + ----- Method: TParseNode>>nodesWithParentsDo:unless: (in category 'enumerating') ----- + nodesWithParentsDo: aBlock unless: cautionaryBlock + "Evaluate aBlock for all nodes in the tree and their parent except those for which + cautionaryBlock answers true or are children of those for which cautionaryBlock + answers true. Cautionary block is invoked with node and parent. parent may be nil." + self nodesDo: aBlock parent: nil unless: cautionaryBlock! Item was added: + ----- Method: TReturnNode>>nodesDo:parent:unless: (in category 'enumerating') ----- + nodesDo: aBlock parent: parent unless: cautionaryBlock + + (cautionaryBlock value: self value: parent) ifTrue: [^self]. + expression nodesDo: aBlock parent: self unless: cautionaryBlock. + aBlock value: self value: parent! Item was added: + ----- Method: TSendNode>>nodesDo:parent:unless: (in category 'enumerating') ----- + nodesDo: aBlock parent: parent unless: cautionaryBlock + + (cautionaryBlock value: self value: parent) ifTrue: [^self]. + receiver nodesDo: aBlock parent: self unless: cautionaryBlock. + arguments do: [ :arg | arg nodesDo: aBlock parent: self unless: cautionaryBlock]. + aBlock value: self value: parent! Item was added: + ----- Method: TStmtListNode>>nodesDo:parent:unless: (in category 'enumerating') ----- + nodesDo: aBlock parent: parent unless: cautionaryBlock + + (cautionaryBlock value: self value: parent) ifTrue: [^self]. + statements do: [ :s | s nodesDo: aBlock parent: self unless: cautionaryBlock]. + aBlock value: self value: parent! Item was added: + ----- Method: TSwitchStmtNode>>nodesDo:parent:unless: (in category 'enumerating') ----- + nodesDo: aBlock parent: parent unless: cautionaryBlock + + (cautionaryBlock value: self value: parent) ifTrue: [^self]. + expression nodesDo: aBlock parent: self unless: cautionaryBlock. + cases do: + [:pair| + pair first do: [:node| node nodesDo: aBlock parent: self unless: cautionaryBlock]. + pair last nodesDo: aBlock parent: self unless: cautionaryBlock]. + otherwiseOrNil ifNotNil: + [otherwiseOrNil nodesDo: aBlock parent: self unless: cautionaryBlock]!

1 0

VM Maker: VMMaker.oscog-eem.1136.mcz
by commits＠source.squeak.org 31 Mar '15

31 Mar '15

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1136.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.1136 Author: eem Time: 31 March 2015, 9:46:16.323 am UUID: 3f1acab7-bf76-422e-9334-aeff3a1aa45e Ancestors: VMMaker.oscog-eem.1135 Better fix for the initialization bug when using Sista and multiple bytecode sets. Make sure that allconcrete Cogit classes in the hierarchy initisalize the bytecode set and hence agree on the bytecode set. =============== Diff against VMMaker.oscog-eem.1135 =============== Item was changed: ----- Method: Cogit class>>initializeBytecodeTable (in category 'class initialization') ----- initializeBytecodeTable "SimpleStackBasedCogit initializeBytecodeTableWith: Dictionary new" "StackToRegisterMappingCogit initializeBytecodeTableWith: Dictionary new" + | initializer | + initializer := initializationOptions + at: #bytecodeTableInitializer + ifAbsent: + [NewspeakVM + ifTrue: + [(initializationOptions at: #SpurObjectMemory ifAbsent: false) + ifTrue: + [MULTIPLEBYTECODESETS + ifTrue: [#initializeBytecodeTableForSqueakV3PlusClosuresNewspeakV4Hybrid] + ifFalse: [#initializeBytecodeTableForNewspeakV4]] + ifFalse: + [MULTIPLEBYTECODESETS + ifTrue: [#initializeBytecodeTableForNewspeakV3PlusClosuresNewspeakV4Hybrid] + ifFalse: [#initializeBytecodeTableForNewspeakV3PlusClosures]]] + ifFalse: + [#initializeBytecodeTableForSqueakV3PlusClosures]]. + "Now make sure all classes in the hierarchy have initialized to the same bytecode table." + (self withAllSuperclasses copyUpTo: Cogit) reverseDo: "i.e. exclude Cogit" + [:cogitClass| + cogitClass perform: initializer]! - (initializationOptions at: #bytecodeTableInitializer ifAbsent: nil) ifNotNil: - [:initalizer| ^self perform: initalizer]. - - NewspeakVM ifTrue: - [^(initializationOptions at: #SpurObjectMemory ifAbsent: false) - ifTrue: - [MULTIPLEBYTECODESETS - ifTrue: [self initializeBytecodeTableForSqueakV3PlusClosuresNewspeakV4Hybrid] - ifFalse: [self initializeBytecodeTableForNewspeakV4]] - ifFalse: - [MULTIPLEBYTECODESETS - ifTrue: [self initializeBytecodeTableForNewspeakV3PlusClosuresNewspeakV4Hybrid] - ifFalse: [self initializeBytecodeTableForNewspeakV3PlusClosures]]]. - ^self initializeBytecodeTableForSqueakV3PlusClosures! Item was changed: ----- Method: SistaStackToRegisterMappingCogit class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCodeGen - "We need the super send here to ensure that self pushNilSizeFunction answers the right function in Sista." - super declareCVarsIn: aCodeGen. aCodeGen var: 'counters' type: #usqInt!

1 0

VM Maker: VMMaker.oscog-eem.1135.mcz
by commits＠source.squeak.org 31 Mar '15

31 Mar '15

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1135.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.1135 Author: eem Time: 31 March 2015, 9:33:16.285 am UUID: e4eb83cc-09c2-4ae6-b695-cee7426dd51f Ancestors: VMMaker.oscog-eem.1134 Fix an initialization bug when using Sista and multiple bytecode sets. StackToRegisterMappingCogit's and so SistaStackToRegisterMappingCogit's declareCVarsIn: must include a super send to provdie the right receiver. =============== Diff against VMMaker.oscog-eem.1134 =============== Item was changed: ----- Method: SistaStackToRegisterMappingCogit class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCodeGen + "We need the super send here to ensure that self pushNilSizeFunction answers the right function in Sista." + super declareCVarsIn: aCodeGen. aCodeGen var: 'counters' type: #usqInt!

1 0

VM Maker: VMMaker.oscog-eem.1134.mcz
by commits＠source.squeak.org 31 Mar '15

31 Mar '15

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1134.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.1134 Author: eem Time: 31 March 2015, 9:11:36.572 am UUID: 5ce56810-9b43-406a-8935-c292cd5cfed8 Ancestors: VMMaker.oscog-tfel.1133 Integrate Ryan's new self-send scheme which eliminates the clumsy and slow implicit receiver cache. Minor edits to not generate an include of nsmethodcache.h in non-Newspeak VMs. Soon we should nuke the NewspeakV3 bytecode set initializers and eliminate NSSendIsPCAnnotated. =============== Diff against VMMaker.oscog-tfel.1133 =============== Item was changed: ----- Method: CoInterpreter class>>ancilliaryClasses: (in category 'translation') ----- ancilliaryClasses: options "Answer any extra classes to be included in the translation." ^((super ancilliaryClasses: options) copyWithout: InterpreterStackPages), { CoInterpreterStackPages. + CogBlockMethod. NSSendCache }, - CogBlockMethod }, ((Cogit ancilliaryClasses: options) select: [:class| class inheritsFrom: CogBlockMethod])! Item was changed: ----- Method: CoInterpreter class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCCodeGenerator "Override to avoid repeating StackInterpreter's declarations and add our own extensions" | threaded | self class == thisContext methodClass ifFalse: [^self]. "Don't duplicate decls in subclasses" threaded := aCCodeGenerator vmClass isThreadedVM. aCCodeGenerator addHeaderFile:'"sqCogStackAlignment.h"'; + addHeaderFile:'"cogmethod.h"'. + NewspeakVM ifTrue: + [aCCodeGenerator addHeaderFile:'"nssendcache.h"']. + aCCodeGenerator - addHeaderFile:'"cogmethod.h"'; addHeaderFile: (threaded ifTrue: ['"cointerpmt.h"'] ifFalse: ['"cointerp.h"']); addHeaderFile:'"cogit.h"'. aCCodeGenerator vmClass declareInterpreterVersionIn: aCCodeGenerator defaultName: (threaded ifTrue: ['Cog MT'] ifFalse: ['Cog']). aCCodeGenerator var: #heapBase type: #usqInt; var: #statCodeCompactionUsecs type: #usqLong; var: #maxLiteralCountForCompile declareC: 'sqInt maxLiteralCountForCompile = MaxLiteralCountForCompile /* ', MaxLiteralCountForCompile printString, ' */'; var: #minBackwardJumpCountForCompile declareC: 'sqInt minBackwardJumpCountForCompile = MinBackwardJumpCountForCompile /* ', MinBackwardJumpCountForCompile printString, ' */'. aCCodeGenerator var: #reenterInterpreter declareC: 'jmp_buf reenterInterpreter; /* private export */'. aCCodeGenerator var: #primTraceLogIndex type: #'unsigned char'; var: #primTraceLog declareC: 'sqInt primTraceLog[256]'; var: #traceLog declareC: 'sqInt traceLog[TraceBufferSize /* ', TraceBufferSize printString, ' */]'; var: #traceSources type: #'char *' array: TraceSources! Item was added: + ----- Method: CoInterpreter>>ceImplicitReceiverSend:receiver: (in category 'trampolines') ----- + ceImplicitReceiverSend: cacheAddress receiver: methodReceiver + "An implicit receiver send cache missed." + | nsSendCache methodMixin numArgs selector implicitReceiver cogMethod irClassTag mrClassTag errSelIdx | + <api> + <option: #NewspeakVM> + <inline: false> + <var: #nsSendCache type: #'NSSendCache *'> + <var: #cogMethod type: #'CogMethod *'> + + cogit assertCStackWellAligned. + self assert: (objectMemory addressCouldBeOop: methodReceiver). + + nsSendCache := self cCoerceSimple: cacheAddress to: #'NSSendCache *'. + selector := nsSendCache selector. + numArgs := nsSendCache numArgs. + methodMixin := self mMethodClass. + + implicitReceiver := self + implicitReceiverFor: methodReceiver + mixin: methodMixin + implementing: selector. + + self assert: (self stackValue: numArgs + 1 "ret val") = methodReceiver. + self stackValue: numArgs + 1 "ret val " put: implicitReceiver. + "Replace the methodReceiver on the stack with the implicitReceiver. When the cache has + a hit, we don't care that the value on the stack is wrong because the compiled callee will + use the value in ReceiverResultReg to build its frame. But the interpreter will use + stack(numArgs)." + + mrClassTag := objectMemory fetchClassTagOf: methodReceiver. + irClassTag := objectMemory fetchClassTagOf: implicitReceiver. + argumentCount := numArgs. + + (self lookupInMethodCacheSel: selector classTag: irClassTag) + ifTrue: ["check for coggability because method is in the cache" + self ifAppropriateCompileToNativeCode: newMethod selector: selector] + ifFalse: [ + (objectMemory isOopForwarded: selector) ifTrue: + [self error: 'Selector should have fixed by mapObjectReferencesInMachineCodeForBecome']. + (objectMemory isForwardedClassTag: irClassTag) ifTrue: + [self error: 'Implicit receiver lookup should have followed fowarded objects']. + messageSelector := selector. + (errSelIdx := self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: irClassTag)) ~= 0 + ifTrue: [[self handleMNU: errSelIdx InMachineCodeTo: implicitReceiver classForMessage: (objectMemory classForClassTag: irClassTag). + self error: 'UNREACHABLE3']]]. + + (self maybeMethodHasCogMethod: newMethod) + ifTrue: [ + cogMethod := self cogMethodOf: newMethod. + cogMethod selector = objectMemory nilObject + ifTrue: [cogit setSelectorOf: cogMethod to: selector] + ifFalse: ["Deal with anonymous accessors, e.g. in Newspeak. + The cogMethod may not have the + correct selector. If not, try and compile a new method + with the correct selector." + cogMethod selector ~= selector ifTrue: [ + (cogit cog: newMethod selector: selector) + ifNotNil: [:newCogMethod | cogMethod := newCogMethod]]]. + cogMethod selector = selector + ifTrue: + [cogit + linkNSSendCache: nsSendCache + classTag: mrClassTag + enclosingObject: (implicitReceiver = methodReceiver + ifTrue: [0] ifFalse: [implicitReceiver]) + target: cogMethod + caller: self mframeHomeMethodExport] + ifFalse: [self error: 'What does this mean? C.f. case in ceSend:...']. + instructionPointer := self popStack. + self executeNewMethod. + self error: 'UNREACHABLE 1']. + instructionPointer := self popStack. + self interpretMethodFromMachineCode. + self error: 'UNREACHABLE 2'. + ^nil! Item was changed: ----- Method: CogIA32Compiler>>implicitReceiveCacheAt: (in category 'inline cacheing') ----- implicitReceiveCacheAt: callSiteReturnAddress "Answer the implicit receiver cache for the return address of a call to the ceImplicitReceiverTrampoline." <option: #NewspeakVM> <var: #callSiteReturnAddress type: #'char *'> <inline: false> + ^self literalBeforeFollowingAddress: callSiteReturnAddress asUnsignedInteger - 5 "sizeofcall"! - ^self literalBeforeFollowingAddress: callSiteReturnAddress asUnsignedInteger - 10! Item was changed: ----- Method: CogVMSimulator>>cCoerceSimple:to: (in category 'translation support') ----- cCoerceSimple: value to: cTypeString "Type coercion for translation and simulation. For simulation answer a suitable surrogate for the struct types" ^cTypeString caseOf: { [#'char *'] -> [value]. [#'void *'] -> [value]. [#sqInt] -> [value]. [#'void (*)()'] -> [value]. [#'void (*)(void)'] -> [value]. [#'CogMethod *'] -> [cogit cogMethodSurrogateAt: value asUnsignedInteger]. + [#'CogBlockMethod *'] -> [cogit cogBlockMethodSurrogateAt: value asUnsignedInteger]. + [#'NSSendCache *'] -> [cogit nsSendCacheSurrogateAt: value asUnsignedInteger]. }! - [#'CogBlockMethod *'] -> [cogit cogBlockMethodSurrogateAt: value asUnsignedInteger] }! Item was changed: CogClass subclass: #Cogit + instanceVariableNames: 'coInterpreter objectMemory objectRepresentation processor threadManager methodZone methodZoneBase codeBase minValidCallAddress lastNInstructions simulatedAddresses simulatedTrampolines simulatedVariableGetters simulatedVariableSetters printRegisters printInstructions compilationTrace clickConfirm breakPC breakBlock singleStep guardPageSize traceFlags traceStores breakMethod methodObj initialPC endPC methodOrBlockNumArgs inBlock needsFrame hasYoungReferent primitiveIndex backEnd callerSavedRegMask postCompileHook primInvokeLabel methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMiss missOffset entryPointMask checkedEntryAlignment uncheckedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry dynSuperEntry dynSuperEntryAlignment cmDynSuperEntryOffset selfSendEntry selfSendEntryAlignment cmSelfSendEntryOffset picMNUAbort picInterpretAbort endCPICCase0 endCPICCase1 numPICCases firstCPICCaseOffset cPICCaseSize cPICEndSize closedPICSize openPICSize fixups abstractOpcodes annotations generatorTable primitiveGeneratorTable byte0 byte1 byte2 byte3 bytecodePC bytecodeSetOffset opcodeIndex numAbstractOpcodes annotationIndex blockStarts blockCount labelCounter cStackAlignment expectedSPAlignment expectedFPAlignment codeModified maxLitIndex ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceEnterCogCodePopReceiverReg ceCallCogCodePopReceiverReg ceCallCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline ceImplicitReceiverTrampoline ceEnclosingObjectTrampoline ceCaptureCStackPointers ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetSP ordinarySendTrampolines superSendTrampolines dynamicSuperSendTrampolines selfSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCECallCogCodePopReceiverReg realCECallCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner cogMethodSurrogateClass cogBlockMethodSurrogateClass extA extB numIRCs indexOfIRC theIRCs implicitReceiverSendTrampolines nsSendCacheSurrogateClass' + classVariableNames: 'AltBlockCreationBytecodeSize AltFirstSpecialSelector AltNSSendIsPCAnnotated AnnotationConstantNames AnnotationShift BlockCreationBytecodeSize Debug DisplacementMask DisplacementX2N EagerInstructionDecoration FirstAnnotation FirstSpecialSelector HasBytecodePC IsAbsPCReference IsDisplacement IsDisplacementX2N IsNSSendCall IsObjectReference IsRelativeCall IsSendCall MapEnd MaxCompiledPrimitiveIndex MaxStackAllocSize MaxUnitDisplacement MaxX2NDisplacement NSCClassTagIndex NSCEnclosingObjectIndex NSCNumArgsIndex NSCSelectorIndex NSCTargetIndex NSSendIsPCAnnotated NumObjRefsInRuntime NumOopsPerNSC NumSendTrampolines NumTrampolines ProcessorClass' - instanceVariableNames: 'coInterpreter objectMemory objectRepresentation processor threadManager methodZone methodZoneBase codeBase minValidCallAddress lastNInstructions simulatedAddresses simulatedTrampolines simulatedVariableGetters simulatedVariableSetters printRegisters printInstructions compilationTrace clickConfirm breakPC breakBlock singleStep guardPageSize traceFlags traceStores breakMethod methodObj initialPC endPC methodOrBlockNumArgs inBlock needsFrame hasYoungReferent primitiveIndex backEnd callerSavedRegMask postCompileHook primInvokeLabel methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMiss missOffset entryPointMask checkedEntryAlignment uncheckedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry dynSuperEntry dynSuperEntryAlignment cmDynSuperEntryOffset picMNUAbort picInterpretAbort endCPICCase0 endCPICCase1 numPICCases firstCPICCaseOffset cPICCaseSize cPICEndSize closedPICSize openPICSize fixups abstractOpcodes annotations generatorTable primitiveGeneratorTable byte0 byte1 byte2 byte3 bytecodePC bytecodeSetOffset opcodeIndex numAbstractOpcodes annotationIndex blockStarts blockCount labelCounter cStackAlignment expectedSPAlignment expectedFPAlignment codeModified maxLitIndex ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceEnterCogCodePopReceiverReg ceCallCogCodePopReceiverReg ceCallCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline ceImplicitReceiverTrampoline ceEnclosingObjectTrampoline ceCaptureCStackPointers ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetSP ordinarySendTrampolines superSendTrampolines dynamicSuperSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCECallCogCodePopReceiverReg realCECallCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner cogMethodSurrogateClass cogBlockMethodSurrogateClass extA extB numIRCs indexOfIRC theIRCs selfSendEntry cmSelfSendEntryOffset selfSendEntryAlignment selfSendTrampolines' - classVariableNames: 'AltBlockCreationBytecodeSize AltFirstSpecialSelector AltNSSendIsPCAnnotated AnnotationConstantNames AnnotationShift BlockCreationBytecodeSize Debug DisplacementMask DisplacementX2N EagerInstructionDecoration FirstAnnotation FirstSpecialSelector HasBytecodePC IsAbsPCReference IsDisplacement IsDisplacementX2N IsNSSendCall IsObjectReference IsRelativeCall IsSendCall MapEnd MaxCompiledPrimitiveIndex MaxStackAllocSize MaxUnitDisplacement MaxX2NDisplacement NSSendIsPCAnnotated NumObjRefsInRuntime NumOopsPerIRC NumSendTrampolines NumTrampolines ProcessorClass' poolDictionaries: 'CogCompilationConstants CogMethodConstants CogRTLOpcodes VMBasicConstants VMObjectIndices VMStackFrameOffsets' category: 'VMMaker-JIT'! Cogit class instanceVariableNames: 'generatorTable primitiveTable'! !Cogit commentStamp: 'eem 2/13/2013 15:37' prior: 0! I am the code generator for the Cog VM. My job is to produce machine code versions of methods for faster execution and to manage inline caches for faster send performance. I can be tested in the current image using my class-side in-image compilation facilities. e.g. try StackToRegisterMappingCogit genAndDis: (Integer >> #benchFib) I have concrete subclasses that implement different levels of optimization: SimpleStackBasedCogit is the simplest code generator. StackToRegisterMappingCogit is the current production code generator It defers pushing operands to the stack until necessary and implements a register-based calling convention for low-arity sends. StackToRegisterMappingCogit is an experimental code generator with support for counting conditional branches, intended to support adaptive optimization. coInterpreter <CoInterpreterSimulator> the VM's interpreter with which I cooperate methodZoneManager <CogMethodZoneManager> the manager of the machine code zone objectRepresentation <CogObjectRepresentation> the object used to generate object accesses processor <BochsIA32Alien|?> the simulator that executes the IA32/x86 machine code I generate when simulating execution in Smalltalk simulatedTrampolines <Dictionary of Integer -> MessageSend> the dictionary mapping trap jump addresses to run-time routines used to warp from simulated machine code in to the Smalltalk run-time. simulatedVariableGetters <Dictionary of Integer -> MessageSend> the dictionary mapping trap read addresses to variables in run-time objects used to allow simulated machine code to read variables in the Smalltalk run-time. simulatedVariableSetters <Dictionary of Integer -> MessageSend> the dictionary mapping trap write addresses to variables in run-time objects used to allow simulated machine code to write variables in the Smalltalk run-time. printRegisters printInstructions clickConfirm <Boolean> flags controlling debug printing and code simulation breakPC <Integer> machine code pc breakpoint cFramePointer cStackPointer <Integer> the variables representing the C stack & frame pointers, which must change on FFI callback and return selectorOop <sqInt> the oop of the methodObj being compiled methodObj <sqInt> the bytecode method being compiled initialPC endPC <Integer> the start and end pcs of the methodObj being compiled methodOrBlockNumArgs <Integer> argument count of current method or block being compiled needsFrame <Boolean> whether methodObj or block needs a frame to execute primitiveIndex <Integer> primitive index of current method being compiled methodLabel <CogAbstractOpcode> label for the method header blockEntryLabel <CogAbstractOpcode> label for the start of the block dispatch code stackOverflowCall <CogAbstractOpcode> label for the call of ceStackOverflow in the method prolog sendMissCall <CogAbstractOpcode> label for the call of ceSICMiss in the method prolog entryOffset <Integer> offset of method entry code from start (header) of method entry <CogAbstractOpcode> label for the first instruction of the method entry code noCheckEntryOffset <Integer> offset of the start of a method proper (after the method entry code) from start (header) of method noCheckEntry <CogAbstractOpcode> label for the first instruction of start of a method proper fixups <Array of <AbstractOpcode Label | nil>> the labels for forward jumps that will be fixed up when reaching the relevant bytecode. fixup shas one element per byte in methodObj's bytecode abstractOpcodes <Array of <AbstractOpcode>> the code generated when compiling methodObj byte0 byte1 byte2 byte3 <Integer> individual bytes of current bytecode being compiled in methodObj bytecodePointer <Integer> bytecode pc (same as Smalltalk) of the current bytecode being compiled opcodeIndex <Integer> the index of the next free entry in abstractOpcodes (this code is translated into C where OrderedCollection et al do not exist) numAbstractOpcodes <Integer> the number of elements in abstractOpcocdes blockStarts <Array of <BlockStart>> the starts of blocks in the current method blockCount the index into blockStarts as they are being noted, and hence eventuakly teh total number of blocks in the current method labelCounter <Integer> a nicety for numbering labels not needed in the production system but probably not expensive enough to worry about ceStackOverflowTrampoline <Integer> ceSend0ArgsTrampoline <Integer> ceSend1ArgsTrampoline <Integer> ceSend2ArgsTrampoline <Integer> ceSendNArgsTrampoline <Integer> ceSendSuper0ArgsTrampoline <Integer> ceSendSuper1ArgsTrampoline <Integer> ceSendSuper2ArgsTrampoline <Integer> ceSendSuperNArgsTrampoline <Integer> ceSICMissTrampoline <Integer> ceCPICMissTrampoline <Integer> ceStoreCheckTrampoline <Integer> ceReturnToInterpreterTrampoline <Integer> ceBaseFrameReturnTrampoline <Integer> ceSendMustBeBooleanTrampoline <Integer> ceClosureCopyTrampoline <Integer> the various trampolines (system-call-like jumps from machine code to the run-time). See Cogit>>generateTrampolines for the mapping from trampoline to run-time routine and then read the run-time routine for a funcitonal description. ceEnterCogCodePopReceiverReg <Integer> the enilopmart (jump from run-time to machine-code) methodZoneBase <Integer> ! Cogit class instanceVariableNames: 'generatorTable primitiveTable'! Item was changed: ----- Method: Cogit class>>additionalHeadersDo: (in category 'translation') ----- additionalHeadersDo: aBinaryBlock "Evaluate aBinaryBlock with the names and contents of any additional header files that need to be generated." + + NewspeakVM ifTrue: + [aBinaryBlock + value: 'cogmethod.h' + value: NewspeakCogMethod cogMethodHeader. + aBinaryBlock + value: 'nssendcache.h' + value: NSSendCache typedef. + ^self]. + aBinaryBlock value: 'cogmethod.h' + value: CogMethod cogMethodHeader! - value: (NewspeakVM - ifTrue: [NewspeakCogMethod] - ifFalse: [CogMethod]) cogMethodHeader! Item was changed: ----- Method: Cogit class>>ancilliaryClasses: (in category 'translation') ----- ancilliaryClasses: options ProcessorClass ifNil: [Cogit initializeMiscConstants]. ^{ CogMethodZone. CogAbstractInstruction. ProcessorClass basicNew abstractInstructionCompilerClass. CogBlockStart. CogBytecodeDescriptor. CogBytecodeFixup. CogInstructionAnnotation. CogPrimitiveDescriptor. CogBlockMethod. CogMethod }, ((options at: #NewspeakVM ifAbsent: [false]) + ifTrue: [{NewspeakCogMethod. NSSendCache}] - ifTrue: [{NewspeakCogMethod}] ifFalse: [#()])! Item was changed: ----- Method: Cogit class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCCodeGenerator #( 'coInterpreter' 'objectMemory' 'methodZone' 'objectRepresentation' 'cogBlockMethodSurrogateClass' 'cogMethodSurrogateClass' 'threadManager' 'processor' 'lastNInstructions' 'simulatedAddresses' 'simulatedTrampolines' 'simulatedVariableGetters' 'simulatedVariableSetters' 'printRegisters' 'printInstructions' 'clickConfirm' 'singleStep') do: [:simulationVariableNotNeededForRealVM| aCCodeGenerator removeVariable: simulationVariableNotNeededForRealVM]. NewspeakVM ifFalse: + [#( 'selfSendEntry' 'selfSendEntryAlignment' 'cmSelfSendEntryOffset' + 'dynSuperEntry' 'dynSuperEntryAlignment' 'cmDynSuperEntryOffset' + 'selfSendTrampolines' 'dynamicSuperSendTrampolines' 'implicitReceiverSendTrampolines' + 'ceEnclosingObjectTrampoline' 'numIRCs' 'indexOfIRC' 'theIRCs') do: - [#( 'selfSendEntry' 'selfSendEntryAlignment' 'dynSuperEntry' 'dynSuperEntryAlignment' - 'selfSendTrampolines' 'dynamicSuperSendTrampolines' 'ceImplicitReceiverTrampoline' - 'ceEnclosingObjectTrampoline' 'cmSelfSendEntryOffset' 'cmDynSuperEntryOffset' - 'numIRCs' 'indexOfIRC' 'theIRCs') do: [:variableNotNeededInNormalVM| aCCodeGenerator removeVariable: variableNotNeededInNormalVM]]. aCCodeGenerator removeConstant: #COGMTVM. "this should be defined at compile time" aCCodeGenerator addHeaderFile:'<stddef.h>'; "for e.g. offsetof" addHeaderFile:'"sqCogStackAlignment.h"'; addHeaderFile:'"dispdbg.h"'; "must preceed cointerp.h & cogit.h otherwise NoDbgRegParms gets screwed up" + addHeaderFile:'"cogmethod.h"'. + NewspeakVM ifTrue: + [aCCodeGenerator addHeaderFile:'"nssendcache.h"']. + aCCodeGenerator - addHeaderFile:'"cogmethod.h"'; addHeaderFile:'#if COGMTVM'; addHeaderFile:'"cointerpmt.h"'; addHeaderFile:'#else'; addHeaderFile:'"cointerp.h"'; addHeaderFile:'#endif'; addHeaderFile:'"cogit.h"'. aCCodeGenerator var: #ceGetSP declareC: 'unsigned long (*ceGetSP)(void)'; var: #ceCaptureCStackPointers declareC: 'void (*ceCaptureCStackPointers)(void)'; var: #ceEnterCogCodePopReceiverReg declareC: 'void (*ceEnterCogCodePopReceiverReg)(void)'; var: #realCEEnterCogCodePopReceiverReg declareC: 'void (*realCEEnterCogCodePopReceiverReg)(void)'; var: #ceCallCogCodePopReceiverReg declareC: 'void (*ceCallCogCodePopReceiverReg)(void)'; var: #realCECallCogCodePopReceiverReg declareC: 'void (*realCECallCogCodePopReceiverReg)(void)'; var: #ceCallCogCodePopReceiverAndClassRegs declareC: 'void (*ceCallCogCodePopReceiverAndClassRegs)(void)'; var: #realCECallCogCodePopReceiverAndClassRegs declareC: 'void (*realCECallCogCodePopReceiverAndClassRegs)(void)'; var: #ceFlushICache declareC: 'static void (*ceFlushICache)(unsigned long from, unsigned long to)'; var: #ceCheckFeaturesFunction declareC: 'static unsigned long (*ceCheckFeaturesFunction)(void)'; var: #ceTryLockVMOwner declareC: 'unsigned long (*ceTryLockVMOwner)(void)'; var: #ceUnlockVMOwner declareC: 'void (*ceUnlockVMOwner)(void)'; var: #postCompileHook declareC: 'void (*postCompileHook)(CogMethod *, void *)'; var: #openPICList declareC: 'CogMethod *openPICList = 0'; var: #maxMethodBefore type: #'CogBlockMethod *'. aCCodeGenerator declareVar: 'aMethodLabel' type: #'AbstractInstruction'; "Has to come lexicographically before backEnd & methodLabel" var: #backEnd declareC: 'AbstractInstruction * const backEnd = &aMethodLabel'; var: #methodLabel declareC: 'AbstractInstruction * const methodLabel = &aMethodLabel'; var: #primInvokeLabel type: #'AbstractInstruction *'. self declareC: #(abstractOpcodes stackCheckLabel blockEntryLabel blockEntryNoContextSwitch + stackOverflowCall sendMiss + entry noCheckEntry selfSendEntry dynSuperEntry - stackOverflowCall sendMiss entry noCheckEntry selfSendEntry dynSuperEntry picMNUAbort picInterpretAbort endCPICCase0 endCPICCase1) as: #'AbstractInstruction *' in: aCCodeGenerator. aCCodeGenerator declareVar: #annotations type: #'InstructionAnnotation *'; declareVar: #blockStarts type: #'BlockStart *'; declareVar: #fixups type: #'BytecodeFixup *'. aCCodeGenerator var: #ordinarySendTrampolines declareC: 'sqInt ordinarySendTrampolines[NumSendTrampolines]'; var: #superSendTrampolines declareC: 'sqInt superSendTrampolines[NumSendTrampolines]'; var: #selfSendTrampolines declareC: 'sqInt selfSendTrampolines[NumSendTrampolines]'; var: #dynamicSuperSendTrampolines declareC: 'sqInt dynamicSuperSendTrampolines[NumSendTrampolines]'; + var: #implicitReceiverSendTrampolines + declareC: 'sqInt implicitReceiverSendTrampolines[NumSendTrampolines]'; var: #trampolineAddresses declareC: 'static char *trampolineAddresses[NumTrampolines*2]'; var: #objectReferencesInRuntime declareC: 'static sqInt objectReferencesInRuntime[NumObjRefsInRuntime]'; var: #labelCounter type: #int; var: #traceFlags declareC: 'int traceFlags = 8 /* prim trace log on by default */'; var: #cStackAlignment declareC: 'const int cStackAlignment = STACK_ALIGN_BYTES'. aCCodeGenerator declareVar: #CFramePointer type: #'void *'; declareVar: #CStackPointer type: #'void *'; declareVar: #minValidCallAddress type: #'unsigned long'; declareVar: #debugPrimCallStackOffset type: #'unsigned long'. aCCodeGenerator vmClass generatorTable ifNotNil: [:bytecodeGenTable| aCCodeGenerator var: #generatorTable declareC: 'static BytecodeDescriptor generatorTable[', bytecodeGenTable size, ']', (self tableInitializerFor: bytecodeGenTable in: aCCodeGenerator); var: #primitiveGeneratorTable declareC: 'static PrimitiveDescriptor primitiveGeneratorTable[MaxCompiledPrimitiveIndex+1]', (self tableInitializerFor: aCCodeGenerator vmClass primitiveTable in: aCCodeGenerator)]. "In C the abstract opcode names clash with the Smalltak generator syntactic sugar. Most of the syntactic sugar is inlined, but alas some remains. Rename the syntactic sugar to avoid the clash." (self organization listAtCategoryNamed: #'abstract instructions') do: [:s| aCCodeGenerator addSelectorTranslation: s to: 'g', (aCCodeGenerator cFunctionNameFor: s)]. aCCodeGenerator addSelectorTranslation: #halt: to: 'haltmsg'! Item was changed: ----- Method: Cogit class>>initializeMiscConstants (in category 'class initialization') ----- initializeMiscConstants super initializeMiscConstants. Debug := initializationOptions at: #Debug ifAbsent: [false]. (initializationOptions includesKey: #EagerInstructionDecoration) ifTrue: [EagerInstructionDecoration := initializationOptions at: #EagerInstructionDecoration] ifFalse: [EagerInstructionDecoration isNil ifTrue: [EagerInstructionDecoration := false]]. "speeds up single stepping but could lose fidelity" ProcessorClass := (initializationOptions at: #ISA ifAbsent: [#IA32]) caseOf: { [#IA32] -> [BochsIA32Alien]. [#ARMv5] -> [GdbARMAlien]. }. "we special-case 0, 1 & 2 argument sends, N is numArgs >= 3" NumSendTrampolines := 4. "Currently not even the ceImplicitReceiverTrampoline contains object references." NumObjRefsInRuntime := 0. + + NSCSelectorIndex := (NSSendCache instVarNames indexOf: #selector) - 1. + NSCNumArgsIndex := (NSSendCache instVarNames indexOf: #numArgs) - 1. + NSCClassTagIndex := (NSSendCache instVarNames indexOf: #classTag) - 1. + NSCEnclosingObjectIndex := (NSSendCache instVarNames indexOf: #enclosingObject) - 1. + NSCTargetIndex := (NSSendCache instVarNames indexOf: #target) - 1. + NumOopsPerNSC := NSSendCache instVarNames size. + - "The implicit receiver cache has two entries, class and mixin oops." - NumOopsPerIRC := 2. "Max size to alloca when compiling. Mac OS X 10.6.8 segfaults approaching 8Mb. Linux 2.6.9 segfaults above 11Mb. WIndows XP segfaults approaching 2Mb." MaxStackAllocSize := 1024 * 1024 * 3 / 2 ! Item was changed: ----- Method: Cogit class>>mustBeGlobal: (in category 'translation') ----- mustBeGlobal: var "Answer if a variable must be global and exported. Used for inst vars that are accessed from VM support code. include cePositive32BitIntegerTrampoline as a hack to prevent it being inlined (it is only used outside of Cogit by the object representation). Include CFramePointer CStackPointer as a hack to get them declared at all." ^#('ceBaseFrameReturnTrampoline' 'ceCaptureCStackPointers' 'ceCheckForInterruptTrampoline' 'ceEnterCogCodePopReceiverReg' 'realCEEnterCogCodePopReceiverReg' 'ceCallCogCodePopReceiverReg' 'realCECallCogCodePopReceiverReg' 'ceCallCogCodePopReceiverAndClassRegs' 'realCECallCogCodePopReceiverAndClassRegs' 'ceReturnToInterpreterTrampoline' 'ceCannotResumeTrampoline' 'ceTryLockVMOwner' 'ceUnlockVMOwner' + 'cmEntryOffset' 'cmNoCheckEntryOffset' 'cmDynSuperEntryOffset' 'cmSelfSendEntryOffset' 'missOffset' - 'cmEntryOffset' 'cmNoCheckEntryOffset' 'cmDynSuperEntryOffset' 'missOffset' 'blockNoContextSwitchOffset' 'breakPC' 'CFramePointer' 'CStackPointer' 'cFramePointerInUse' 'ceGetSP' 'traceFlags' 'traceStores' 'debugPrimCallStackOffset') includes: var! Item was changed: ----- Method: Cogit class>>shouldGenerateTypedefFor: (in category 'translation') ----- shouldGenerateTypedefFor: aStructClass "Hack to work-around mutliple definitions. Sometimes a type has been defined in an include." + ^({ CogBlockMethod. CogMethod. SistaCogMethod. NewspeakCogMethod. NSSendCache } includes: aStructClass) not! - ^({ CogBlockMethod. CogMethod. SistaCogMethod. NewspeakCogMethod } includes: aStructClass) not! Item was changed: ----- Method: Cogit>>cCoerceSimple:to: (in category 'translation support') ----- cCoerceSimple: value to: cTypeString <doNotGenerate> cTypeString == #'CogMethod *' ifTrue: [^(value isInteger and: [value < 0]) ifTrue: [value] "it's an error code; leave it be" ifFalse: [self cogMethodSurrogateAt: value asUnsignedInteger]]. cTypeString == #'CogBlockMethod *' ifTrue: [^self cogBlockMethodSurrogateAt: value asUnsignedInteger]. + cTypeString == #'NSSendCache *' ifTrue: + [^self nsSendCacheSurrogateAt: value asUnsignedInteger]. (cTypeString == #'AbstractInstruction *' and: [value isBehavior]) ifTrue: [^processor abstractInstructionCompilerClass]. ^super cCoerceSimple: value to: cTypeString! Item was removed: - ----- Method: Cogit>>ceImplicitReceiverFor:receiver: (in category 'in-line cacheing') ----- - ceImplicitReceiverFor: selector receiver: receiver - "Cached implicit receiver implementation. Caller looks like - mov selector, ClassReg - call ceImplicitReceiver - br continue - Lclass .word - Lmixin: .word - continue: - The trampoline has already fetched the class and probed the cache and found - that the cache missed. Compute the implicit receiver for the receiver's class - and reload the class tag. If either the class tag or the mixin are young then the - method needs to be added to the youngReferrers list to ensure correct GC." - - <option: #SqueakV3ObjectMemory> - | rcvrClass retpc classpc mixinpc mixin cogMethod | - <var: #cogMethod type: #'CogMethod *'> - retpc := coInterpreter stackTop. - classpc := retpc + backEnd jumpShortByteSize. - mixinpc := retpc + backEnd jumpShortByteSize + objectMemory bytesPerOop. - mixin := coInterpreter - implicitReceiverFor: receiver - mixin: coInterpreter mMethodClass - implementing: selector. - rcvrClass := objectMemory fetchClassOf: receiver. - cogMethod := coInterpreter mframeHomeMethodExport. - cogMethod cmRefersToYoung ifFalse: - [((objectRepresentation inlineCacheTagsMayBeObjects - and: [objectMemory isYoung: rcvrClass]) - or: [mixin ~= receiver and: [objectMemory isYoung: mixin]]) ifTrue: - [methodZone ensureInYoungReferrers: cogMethod]]. - backEnd - unalignedLongAt: classpc - put: (objectRepresentation inlineCacheTagForClass: rcvrClass); - unalignedLongAt: mixinpc - put: (mixin = receiver ifTrue: [0] ifFalse: [mixin]). - ^mixin! Item was removed: - ----- Method: Cogit>>ceImplicitReceiverFor:receiver:cache: (in category 'in-line cacheing') ----- - ceImplicitReceiverFor: selector receiver: receiver cache: cacheAddress - "Cached implicit receiver implementation. Caller looks like - mov Lclass, Arg1Reg - mov selector, SendNumArgsReg - call ceImplicitReceiver - and Lclass: .word; Lmixin: .word is somewhere on the heap. - The trampoline has already fetched the class and probed the cache and found - that the cache missed. Compute the implicit receiver for the receiver's class - and reload the class tag. If either the class tag or the mixin are young then the - method needs to be added to the youngReferrers list to ensure correct GC." - - <option: #SpurObjectMemory> - <var: #cacheAddress type: #usqInt> - | rcvrClass mixin cogMethod | - <var: #cogMethod type: #'CogMethod *'> - mixin := coInterpreter - implicitReceiverFor: receiver - mixin: coInterpreter mMethodClass - implementing: selector. - rcvrClass := objectMemory fetchClassOf: receiver. - cogMethod := coInterpreter mframeHomeMethodExport. - cogMethod cmRefersToYoung ifFalse: - [((objectRepresentation inlineCacheTagsMayBeObjects - and: [objectMemory isYoung: rcvrClass]) - or: [mixin ~= receiver and: [objectMemory isYoung: mixin]]) ifTrue: - [methodZone ensureInYoungReferrers: cogMethod]]. - backEnd - unalignedLongAt: cacheAddress - put: (objectRepresentation inlineCacheTagForClass: rcvrClass); - unalignedLongAt: cacheAddress + objectMemory bytesPerOop - put: (mixin = receiver ifTrue: [0] ifFalse: [mixin]). - ^mixin! Item was changed: ----- Method: Cogit>>checkIfValidOopRef:pc:cogMethod: (in category 'garbage collection') ----- checkIfValidOopRef: annotation pc: mcpc cogMethod: cogMethod + | nsSendCache | <var: #mcpc type: #'char *'> + <var: #nsSendCache type: #'NSSendCache *'> annotation = IsObjectReference ifTrue: [| literal | literal := backEnd literalBeforeFollowingAddress: mcpc asInteger. (objectRepresentation checkValidOopReference: literal) ifFalse: [coInterpreter print: 'object ref leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. ^1]]. + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [ | enclosingObject | + nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + [(objectRepresentation checkValidOopReference: nsSendCache selector) ifFalse: + [coInterpreter print: 'selector leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. + ^1]]. + (enclosingObject := nsSendCache enclosingObject) ~= 0 ifTrue: + [[(objectRepresentation checkValidOopReference: enclosingObject) ifFalse: + [coInterpreter print: 'enclosing object leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. + ^1]]]]]. + + annotation = IsSendCall ifTrue: - (self isSendAnnotation: annotation) ifTrue: [| entryPoint selectorOrCacheTag offset | entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint <= methodZoneBase ifTrue: [offset := entryPoint] ifFalse: [self offsetAndSendTableFor: entryPoint annotation: annotation into: [:off :table| offset := off]]. selectorOrCacheTag := backEnd inlineCacheTagAt: mcpc asInteger. (entryPoint > methodZoneBase and: [offset ~= cmNoCheckEntryOffset and: [(self cCoerceSimple: entryPoint - offset to: #'CogMethod *') cmType ~= CMOpenPIC]]) ifTrue: "linked non-super send, cacheTag is a cacheTag" [(objectRepresentation validInlineCacheTag: selectorOrCacheTag) ifFalse: [coInterpreter print: 'cache tag leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. ^1]] ifFalse: "unlinked send or super send; cacheTag is a selector" [(objectRepresentation checkValidOopReference: selectorOrCacheTag) ifFalse: [coInterpreter print: 'selector leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. ^1]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>checkIfValidOopRefAndTarget:pc:cogMethod: (in category 'garbage collection') ----- checkIfValidOopRefAndTarget: annotation pc: mcpc cogMethod: cogMethod <var: #mcpc type: #'char *'> + <var: #nsSendCache type: #'NSSendCache *'> + | literal entryPoint nsSendCache | - | literal entryPoint | annotation = IsObjectReference ifTrue: [literal := backEnd literalBeforeFollowingAddress: mcpc asInteger. (self asserta: (objectRepresentation checkValidOopReference: literal)) ifFalse: [^1]. ((objectRepresentation couldBeObject: literal) and: [objectMemory isReallyYoungObject: literal]) ifTrue: [(self asserta: (self cCoerceSimple: cogMethod to: #'CogMethod *') cmRefersToYoung) ifFalse: [^2]]]. + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [ | classTag enclosingObject nsTargetMethod | + nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + (self asserta: (objectRepresentation checkValidOopReference: nsSendCache selector)) ifFalse: + [^9]. + classTag := nsSendCache classTag. + (self asserta: (classTag = 0 or: [objectRepresentation validInlineCacheTag: classTag])) ifFalse: + [^10]. + enclosingObject := nsSendCache enclosingObject. + (self asserta: (enclosingObject = 0 or: [objectRepresentation checkValidOopReference: enclosingObject])) ifFalse: + [^11]. + entryPoint := nsSendCache target. + entryPoint ~= 0 ifTrue: [ + nsTargetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. + (self asserta: (nsTargetMethod cmType = CMMethod)) ifFalse: + [^12]]]]. + + annotation = IsSendCall ifTrue: - (self isSendAnnotation: annotation) ifTrue: [(self asserta: (self cCoerceSimple: cogMethod to: #'CogMethod *') cmType = CMMethod) ifFalse: [^3]. self offsetCacheTagAndCouldBeObjectAt: mcpc annotation: annotation into: [:offset :cacheTag :tagCouldBeObject| tagCouldBeObject ifTrue: [(objectRepresentation couldBeObject: cacheTag) ifTrue: [(self asserta: (objectRepresentation checkValidOopReference: cacheTag)) ifFalse: [^4]] ifFalse: [(self asserta: (objectRepresentation validInlineCacheTag: cacheTag)) ifFalse: [^5]]. ((objectRepresentation couldBeObject: cacheTag) and: [objectMemory isReallyYoungObject: cacheTag]) ifTrue: [(self asserta: (self cCoerceSimple: cogMethod to: #'CogMethod *') cmRefersToYoung) ifFalse: [^6]]] ifFalse: [(self asserta: (objectRepresentation validInlineCacheTag: cacheTag)) ifFalse: [^7]]]. entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: ["It's a linked send; find which kind." self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| (self asserta: (targetMethod cmType = CMMethod or: [targetMethod cmType = CMClosedPIC or: [targetMethod cmType = CMOpenPIC]])) ifFalse: [^8]]]]. ^0 "keep scanning"! Item was added: + ----- Method: Cogit>>genNSSendTrampolineFor:numArgs:called: (in category 'initialization') ----- + genNSSendTrampolineFor: aRoutine numArgs: numArgs called: aString + "ReceiverResultReg: method receiver + SendNumArgsReg: the NSSendCache cache" + <option: #NewspeakVM> + <var: #aRoutine type: #'void *'> + <var: #aString type: #'char *'> + | jumpMiss jumpItsTheReceiverStupid | + <var: #jumpMiss type: #'AbstractInstruction *'> + <var: #jumpItsTheReceiverStupid type: #'AbstractInstruction *'> + opcodeIndex := 0. + objectRepresentation + genGetInlineCacheClassTagFrom: ReceiverResultReg + into: ClassReg + forEntry: false. + self MoveMw: NSCClassTagIndex * objectMemory wordSize r: SendNumArgsReg R: TempReg. + self CmpR: ClassReg R: TempReg. + jumpMiss := self JumpNonZero: 0. + self MoveMw: NSCEnclosingObjectIndex * objectMemory wordSize r: SendNumArgsReg R: TempReg. + self CmpCq: 0 R: TempReg. + jumpItsTheReceiverStupid := self JumpZero: 0. + self MoveR: TempReg R: ReceiverResultReg. + "We don't patch stack(-numArgs). See comment in ceImplicitReceiverSend:receiver:" + jumpItsTheReceiverStupid jmpTarget: self Label. + self MoveMw: NSCTargetIndex * objectMemory wordSize r: SendNumArgsReg R: TempReg. + self JumpR: TempReg. + + jumpMiss jmpTarget: self Label. + objectRepresentation + genEnsureObjInRegNotForwarded: ReceiverResultReg + scratchReg: TempReg + updatingMw: FoxMFReceiver + r: FPReg. + backEnd genPushRegisterArgsForNumArgs: numArgs. + ^self + genTrampolineFor: aRoutine + called: aString + numArgs: 2 + arg: SendNumArgsReg "The NSSendCache" + arg: ReceiverResultReg + arg: nil + arg: nil + saveRegs: false + pushLinkReg: true + resultReg: ReceiverResultReg "Never happens?" + appendOpcodes: true! Item was changed: ----- Method: Cogit>>generateNewspeakRuntime (in category 'initialization') ----- generateNewspeakRuntime <option: #NewspeakVM> + "Generate the non-send runtime support for Newspeak: push enclosing object. + The dynamic frequency is so low we merely call an interpreter routine." - | jumpMiss jumpItsTheReceiverStupid retpcReg | - <var: #jumpMiss type: #'AbstractInstruction *'> - <var: #jumpItsTheReceiverStupid type: #'AbstractInstruction *'> - "Generate the non-send runtime support for Newspeak, explicit outer and implicit receiver. - The dynamic frequency of explicit outer is so low we merely call an interpreter routine." ceEnclosingObjectTrampoline := self genTrampolineFor: #ceEnclosingObjectAt: called: 'ceEnclosingObjectTrampoline' arg: SendNumArgsReg + result: ReceiverResultReg.! - result: ReceiverResultReg. - "Cached push implicit receiver implementation. If objectRepresentation doesn't support - pinning then caller looks like - mov selector, SendNumArgsReg - call ceImplicitReceiver - br continue - Lclass: .word - Lmixin:: .word - continue: - If objectRepresentation supports pinning then caller looks like - mov Lclass, Arg1Reg - mov selector, SendNumArgsReg - call ceImplicitReceiver - and Lclass: .word; Lmixin: .word is somewhere on the heap. - - If class tag matches class of receiver then mixin contains either 0 or the implicit receiver. - If 0, answer the actual receiver, otherwise the mixin. - Generate the class fetch and cache probe inline for speed. - Smashes Arg1Reg, RegClass and caller-saved regs." - opcodeIndex := 0. - self MoveMw: FoxMFReceiver r: FPReg R: ReceiverResultReg. - objectRepresentation - genGetInlineCacheClassTagFrom: ReceiverResultReg - into: ClassReg - forEntry: false. - objectRepresentation canPinObjects - ifTrue: - [self MoveMw: 0 r: Arg1Reg R: TempReg. - self CmpR: ClassReg R: TempReg. - jumpMiss := self JumpNonZero: 0. - self MoveMw: objectMemory bytesPerOop r: Arg1Reg R: TempReg. - self CmpCq: 0 R: TempReg. - jumpItsTheReceiverStupid := self JumpZero: 0. - self MoveR: TempReg R: ReceiverResultReg. - jumpItsTheReceiverStupid jmpTarget: (self RetN: 0). - jumpMiss jmpTarget: self Label. - objectRepresentation - genEnsureObjInRegNotForwarded: ReceiverResultReg - scratchReg: TempReg - updatingMw: FoxMFReceiver - r: FPReg. - ceImplicitReceiverTrampoline := self - genTrampolineFor: #ceImplicitReceiverFor:receiver:cache: - called: 'ceImplicitReceiverTrampoline' - numArgs: 3 - arg: SendNumArgsReg - arg: ReceiverResultReg - arg: Arg1Reg - arg: nil - saveRegs: false - pushLinkReg: true - resultReg: ReceiverResultReg - appendOpcodes: true] - ifFalse: - [backEnd hasLinkRegister - ifTrue: [retpcReg := LinkReg] - ifFalse: [self MoveMw: 0 r: SPReg R: (retpcReg := TempReg)]. - self MoveMw: 0 r: SPReg R: retpcReg. - self MoveMw: backEnd jumpShortByteSize r: retpcReg R: Arg1Reg. - self CmpR: ClassReg R: Arg1Reg. - jumpMiss := self JumpNonZero: 0. - self MoveMw: backEnd jumpShortByteSize + objectMemory bytesPerOop r: retpcReg R: ClassReg. - self CmpCq: 0 R: ClassReg. - jumpItsTheReceiverStupid := self JumpZero: 0. - self MoveR: ClassReg R: ReceiverResultReg. - jumpItsTheReceiverStupid jmpTarget: (self RetN: 0). - jumpMiss jmpTarget: self Label. - ceImplicitReceiverTrampoline := self - genTrampolineFor: #ceImplicitReceiverFor:receiver: - called: 'ceImplicitReceiverTrampoline' - numArgs: 2 - arg: SendNumArgsReg - arg: ReceiverResultReg - arg: nil - arg: nil - saveRegs: false - pushLinkReg: true - resultReg: ReceiverResultReg - appendOpcodes: true]! Item was added: + ----- Method: Cogit>>generateNewspeakSendTrampolines (in category 'initialization') ----- + generateNewspeakSendTrampolines + "Self send, dynamic super send, and implicit receiver send. TODO: outer send." + <option: #NewspeakVM> + 0 to: NumSendTrampolines - 2 do: + [:numArgs| + selfSendTrampolines + at: numArgs + put: (self genTrampolineFor: #ceSelfSend:to:numArgs: + called: (self trampolineName: 'ceSelfSend' numArgs: numArgs) + arg: ClassReg + arg: ReceiverResultReg + arg: numArgs)]. + selfSendTrampolines + at: NumSendTrampolines - 1 + put: (self genTrampolineFor: #ceSelfSend:to:numArgs: + called: (self trampolineName: 'ceSelfSend' numArgs: -1) + arg: ClassReg + arg: ReceiverResultReg + arg: SendNumArgsReg). + + 0 to: NumSendTrampolines - 2 do: + [:numArgs| + dynamicSuperSendTrampolines + at: numArgs + put: (self genTrampolineFor: #ceDynamicSuperSend:to:numArgs: + called: (self trampolineName: 'ceDynSuperSend' numArgs: numArgs) + arg: ClassReg + arg: ReceiverResultReg + arg: numArgs)]. + dynamicSuperSendTrampolines + at: NumSendTrampolines - 1 + put: (self genTrampolineFor: #ceDynamicSuperSend:to:numArgs: + called: (self trampolineName: 'ceDynSuperSend' numArgs: -1) + arg: ClassReg + arg: ReceiverResultReg + arg: SendNumArgsReg). + + 0 to: NumSendTrampolines - 2 do: + [:numArgs| + implicitReceiverSendTrampolines + at: numArgs + put: (self + genNSSendTrampolineFor: #ceImplicitReceiverSend:receiver: + numArgs: numArgs + called: (self trampolineName: 'ceImplicitReceiverSend' numArgs: numArgs))]. + implicitReceiverSendTrampolines + at: NumSendTrampolines - 1 + put: (self + genNSSendTrampolineFor: #ceImplicitReceiverSend:receiver: + numArgs: self numRegArgs + 1 + called: (self trampolineName: 'ceImplicitReceiverSend' numArgs: -1)).! Item was changed: ----- Method: Cogit>>generateSendTrampolines (in category 'initialization') ----- generateSendTrampolines 0 to: NumSendTrampolines - 2 do: [:numArgs| ordinarySendTrampolines at: numArgs put: (self genTrampolineFor: #ceSend:super:to:numArgs: called: (self trampolineName: 'ceSend' numArgs: numArgs) arg: ClassReg arg: 0 arg: ReceiverResultReg arg: numArgs)]. ordinarySendTrampolines at: NumSendTrampolines - 1 put: (self genTrampolineFor: #ceSend:super:to:numArgs: called: (self trampolineName: 'ceSend' numArgs: -1) arg: ClassReg arg: 0 arg: ReceiverResultReg arg: SendNumArgsReg). + + "Generate these in the middle so they are within [firstSend, lastSend]." + self cppIf: NewspeakVM ifTrue: [self generateNewspeakSendTrampolines]. + - self cppIf: NewspeakVM - ifTrue: - [0 to: NumSendTrampolines - 2 do: - [:numArgs| - dynamicSuperSendTrampolines - at: numArgs - put: (self genTrampolineFor: #ceDynamicSuperSend:to:numArgs: - called: (self trampolineName: 'ceDynSuperSend' numArgs: numArgs) - arg: ClassReg - arg: ReceiverResultReg - arg: numArgs)]. - dynamicSuperSendTrampolines - at: NumSendTrampolines - 1 - put: (self genTrampolineFor: #ceDynamicSuperSend:to:numArgs: - called: (self trampolineName: 'ceDynSuperSend' numArgs: -1) - arg: ClassReg - arg: ReceiverResultReg - arg: SendNumArgsReg). - 0 to: NumSendTrampolines - 2 do: - [:numArgs| - selfSendTrampolines - at: numArgs - put: (self genTrampolineFor: #ceSelfSend:to:numArgs: - called: (self trampolineName: 'ceSelfSend' numArgs: numArgs) - arg: ClassReg - arg: ReceiverResultReg - arg: numArgs)]. - selfSendTrampolines - at: NumSendTrampolines - 1 - put: (self genTrampolineFor: #ceSelfSend:to:numArgs: - called: (self trampolineName: 'ceSelfSend' numArgs: -1) - arg: ClassReg - arg: ReceiverResultReg - arg: SendNumArgsReg)]. 0 to: NumSendTrampolines - 2 do: [:numArgs| superSendTrampolines at: numArgs put: (self genTrampolineFor: #ceSend:super:to:numArgs: called: (self trampolineName: 'ceSuperSend' numArgs: numArgs) arg: ClassReg arg: 1 arg: ReceiverResultReg arg: numArgs)]. superSendTrampolines at: NumSendTrampolines - 1 put: (self genTrampolineFor: #ceSend:super:to:numArgs: called: (self trampolineName: 'ceSuperSend' numArgs: -1) arg: ClassReg arg: 1 arg: ReceiverResultReg arg: SendNumArgsReg). firstSend := ordinarySendTrampolines at: 0. lastSend := superSendTrampolines at: NumSendTrampolines - 1! Item was changed: ----- Method: Cogit>>implicitReceiverCacheAddressAt: (in category 'newspeak support') ----- implicitReceiverCacheAddressAt: mcpc + "Caller looks like + mov LcacheAddress, SendNumArgsReg + call ceImplicitReceiver" - "Cached push implicit receiver implementation. If objectRepresentation doesn't support - pinning then caller looks like - mov selector, SendNumArgsReg - call ceImplicitReceiver - br continue - Lclass: .word - Lmixin:: .word - continue: - If objectRepresentation supports pinning then caller looks like - mov Lclass, Arg1Reg - mov selector, SendNumArgsReg - call ceImplicitReceiver - and Lclass: .word; Lmixin: .word is somewhere on the heap." <option: #NewspeakVM> <var: #mcpc type: #'char *'> <inline: true> + self assert: false. + ^self cCoerceSimple: (backEnd implicitReceiveCacheAt: mcpc) asUnsignedInteger to: #'NSSendCache *' + ! - <returnTypeC: #usqInt> - ^objectRepresentation canPinObjects - ifTrue: - [(backEnd implicitReceiveCacheAt: mcpc) asUnsignedInteger] - ifFalse: - [mcpc asUnsignedInteger + backEnd jumpShortByteSize]! Item was changed: ----- Method: Cogit>>incrementUsageOfTargetIfLinkedSend:mcpc:ignored: (in category 'compaction') ----- incrementUsageOfTargetIfLinkedSend: annotation mcpc: mcpc ignored: superfluity <var: #mcpc type: #'char *'> + <var: #nsSendCache type: #'NSSendCache *'> + | entryPoint nsSendCache | + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + nsSendCache classTag ~= 0 ifTrue: "send is linked" + [ | targetMethod | + entryPoint := nsSendCache target. + targetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. + self assert: (self isPCWithinMethodZone: targetMethod asUnsignedInteger). + targetMethod cmUsageCount < (CMMaxUsageCount // 2) ifTrue: + [targetMethod cmUsageCount: targetMethod cmUsageCount + 1]]]]. + + annotation = IsSendCall ifTrue: + [self assert: annotation ~= IsNSSendCall. + entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. - | entryPoint | - (self isSendAnnotation: annotation) ifTrue: - [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| targetMethod cmUsageCount < (CMMaxUsageCount // 2) ifTrue: [targetMethod cmUsageCount: targetMethod cmUsageCount + 1]]]]. + ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>initialize (in category 'initialization') ----- initialize | wordSize | wordSize := self class objectMemoryClass wordSize. cogMethodSurrogateClass := NewspeakVM ifTrue: [wordSize = 4 ifTrue: [NewspeakCogMethodSurrogate32] ifFalse: [NewspeakCogMethodSurrogate64]] ifFalse: [wordSize = 4 ifTrue: [CogMethodSurrogate32] ifFalse: [CogMethodSurrogate64]]. cogBlockMethodSurrogateClass := wordSize = 4 ifTrue: [CogBlockMethodSurrogate32] + ifFalse: [CogBlockMethodSurrogate64]. + nsSendCacheSurrogateClass := wordSize = 4 + ifTrue: [NSSendCacheSurrogate32] + ifFalse: [NSSendCacheSurrogate64].! - ifFalse: [CogBlockMethodSurrogate64]! Item was added: + ----- Method: Cogit>>initializeNSSendCache:selector:numArgs: (in category 'newspeak support') ----- + initializeNSSendCache: cacheAddress selector: selector numArgs: numArgs + | nsSendCache | + nsSendCache := self cCoerceSimple: cacheAddress to: #'NSSendCache *'. + nsSendCache selector: selector. + nsSendCache numArgs: numArgs. + nsSendCache classTag: 0. "Illegal class tag"! Item was changed: ----- Method: Cogit>>isPCMappedAnnotation:alternateInstructionSet: (in category 'method map') ----- isPCMappedAnnotation: annotation alternateInstructionSet: isAlternateInstSet <inline: true> ^self cppIf: NewspeakVM ifTrue: - "For Newspeak we shoe-horn in implicit receiver inline cache handling as an inline - send, since these caches are processed similarly to inline send caches. But if - the Newspeak instruction set includes an absent receiver send then there are - two map entries for the one bytecode, the first for the implicit receiver cache - and the second for the send cache. Only one of these can function as the pc- - mapped entry since there is only one bytecode. c.f. isSendAnnotation:" [annotation = IsSendCall + or: [annotation = IsNSSendCall - or: [(annotation = IsNSSendCall - and: [isAlternateInstSet - ifTrue: [AltNSSendIsPCAnnotated] - ifFalse: [NSSendIsPCAnnotated]]) or: [annotation = HasBytecodePC]]] ifFalse: + [(annotation = IsSendCall) - [(self isSendAnnotation: annotation) or: [annotation = HasBytecodePC]]! Item was added: + ----- Method: Cogit>>linkNSSendCache:classTag:enclosingObject:target:caller: (in category 'newspeak support') ----- + linkNSSendCache: nsSendCache classTag: classTag enclosingObject: enclosingObject target: targetMethod caller: callingMethod + <api> + <option: #NewspeakVM> + <var: #nsSendCache type: #'NSSendCache *'> + <var: #targetMethod type: #'CogMethod *'> + <var: #callingMethod type: #'CogMethod *'> + nsSendCache classTag: classTag. + nsSendCache enclosingObject: enclosingObject. + nsSendCache target: targetMethod asInteger + cmNoCheckEntryOffset. + callingMethod cmRefersToYoung ifFalse: + [(enclosingObject ~= 0 and: [objectMemory isYoung: enclosingObject]) ifTrue: + [methodZone ensureInYoungReferrers: callingMethod]]. + ! Item was changed: ----- Method: Cogit>>markLiterals:pc:method: (in category 'garbage collection') ----- markLiterals: annotation pc: mcpc method: cogMethod "Mark and trace literals. Additionally in Newspeak, void push implicits that have unmarked classes." <var: #mcpc type: #'char *'> + <var: #nsSendCache type: #'NSSendCache *'> + | literal nsSendCache | - | literal | annotation = IsObjectReference ifTrue: [literal := backEnd literalBeforeFollowingAddress: mcpc asUnsignedInteger. (objectRepresentation markAndTraceLiteral: literal in: (self cCoerceSimple: cogMethod to: #'CogMethod *') atpc: mcpc asUnsignedInteger) ifTrue: [codeModified := true]]. + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [ | sel eo | + nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + sel := nsSendCache selector. + (objectMemory isForwarded: sel) + ifFalse: [objectMemory markAndTrace: sel] + ifTrue: [sel := objectMemory followForwarded: literal. + nsSendCache selector: sel. + self markAndTraceUpdatedLiteral: sel in: (self cCoerceSimple: cogMethod to: #'CogMethod *')]. + eo := nsSendCache enclosingObject. + eo ~= 0 ifTrue: [ + (objectMemory isForwarded: eo) + ifFalse: [objectMemory markAndTrace: eo] + ifTrue: [eo := objectMemory followForwarded: literal. + nsSendCache enclosingObject: eo. + self markAndTraceUpdatedLiteral: eo in: (self cCoerceSimple: cogMethod to: #'CogMethod *')]]]]. + + annotation = IsSendCall ifTrue: - (self isSendAnnotation: annotation) ifTrue: [self offsetCacheTagAndCouldBeObjectAt: mcpc annotation: annotation into: [:entryPoint :cacheTag :tagCouldBeObj | tagCouldBeObj ifTrue: [(objectRepresentation markAndTraceCacheTagLiteral: cacheTag in: (self cCoerceSimple: cogMethod to: #'CogMethod *') atpc: mcpc asUnsignedInteger) ifTrue: + ["cacheTag is selector" codeModified := true]]]]. + - [codeModified := true]]. "cacheTag is selector" - self cppIf: NewspeakVM ifTrue: - [entryPoint = ceImplicitReceiverTrampoline ifTrue: - [| cacheAddress class mixin | - self assert: NumOopsPerIRC = 2. - cacheAddress := self implicitReceiverCacheAddressAt: mcpc. - (class := backEnd unalignedLongAt: cacheAddress) ~= 0 - ifTrue: - [(objectRepresentation cacheTagIsMarked: class) - ifTrue: - [(mixin := backEnd unalignedLongAt: cacheAddress + objectMemory bytesPerOop) ~= 0 ifTrue: - [objectRepresentation - markAndTraceLiteral: mixin - in: (self cCoerceSimple: cogMethod to: #'CogMethod *') - at: (self asAddress: (cacheAddress + objectMemory bytesPerOop) asVoidPointer - put: [:val| backEnd unalignedLongAt: cacheAddress + objectMemory bytesPerOop put: val])]] - ifFalse: - [backEnd - unalignedLongAt: cacheAddress put: 0; - unalignedLongAt: cacheAddress + objectMemory bytesPerOop put: 0. - codeModified := true]] - ifFalse: - [self assert: (backEnd unalignedLongAt: cacheAddress + objectMemory bytesPerOop) = 0]]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>markLiteralsAndUnlinkIfUnmarkedSend:pc:method: (in category 'garbage collection') ----- markLiteralsAndUnlinkIfUnmarkedSend: annotation pc: mcpc method: cogMethod "Mark and trace literals. Unlink sends that have unmarked cache tags or targets." <var: #mcpc type: #'char *'> + <var: #nsSendCache type: #'NSSendCache *'> + | literal nsSendCache | - | literal | annotation = IsObjectReference ifTrue: [literal := backEnd literalBeforeFollowingAddress: mcpc asUnsignedInteger. (objectRepresentation markAndTraceLiteral: literal in: (self cCoerceSimple: cogMethod to: #'CogMethod *') atpc: mcpc asUnsignedInteger) ifTrue: [codeModified := true]]. + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [ | entryPoint targetMethod sel eo | + nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + entryPoint := nsSendCache target. + entryPoint ~= 0 ifTrue: "Send is linked" + [targetMethod := entryPoint - cmNoCheckEntryOffset. + (self markAndTraceOrFreeCogMethod: targetMethod + firstVisit: targetMethod asUnsignedInteger > mcpc asUnsignedInteger) ifTrue: + [nsSendCache classTag: 0; enclosingObject: 0; target: 0]]. + sel := nsSendCache selector. + (objectMemory isForwarded: sel) + ifFalse: [objectMemory markAndTrace: sel] + ifTrue: [sel := objectMemory followForwarded: literal. + nsSendCache selector: sel. + self markAndTraceUpdatedLiteral: sel in: (self cCoerceSimple: cogMethod to: #'CogMethod *')]. + eo := nsSendCache enclosingObject. + eo ~= 0 ifTrue: + [(objectMemory isForwarded: eo) + ifFalse: [objectMemory markAndTrace: eo] + ifTrue: [eo := objectMemory followForwarded: literal. + nsSendCache enclosingObject: eo. + self markAndTraceUpdatedLiteral: eo in: (self cCoerceSimple: cogMethod to: #'CogMethod *')]]]]. + + annotation = IsSendCall ifTrue: - (self isSendAnnotation: annotation) ifTrue: [self offsetCacheTagAndCouldBeObjectAt: mcpc annotation: annotation into: [:entryPoint :cacheTag :tagCouldBeObj | | cacheTagMarked | + self assert: annotation ~= IsNSSendCall. cacheTagMarked := tagCouldBeObj and: [objectRepresentation cacheTagIsMarked: cacheTag]. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| (cacheTagMarked not or: [self markAndTraceOrFreeCogMethod: targetMethod firstVisit: targetMethod asUnsignedInteger > mcpc asUnsignedInteger]) ifTrue: ["Either the cacheTag is unmarked (e.g. new class) or the target has been freed (because it is unmarked), so unlink the send." self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable. objectRepresentation markAndTraceLiteral: targetMethod selector in: targetMethod at: (self addressOf: targetMethod selector put: [:val| targetMethod selector: val])]]] ifFalse: "cacheTag is selector" [(objectRepresentation markAndTraceCacheTagLiteral: cacheTag in: cogMethod atpc: mcpc asUnsignedInteger) ifTrue: + [codeModified := true]]]]. + - [codeModified := true]. - self cppIf: NewspeakVM ifTrue: - [entryPoint = ceImplicitReceiverTrampoline ifTrue: - [| cacheAddress class mixin | - (objectRepresentation - markAndTraceCacheTagLiteral: cacheTag - in: cogMethod - atpc: mcpc asUnsignedInteger) ifTrue: - [codeModified := true]. "cacheTag is selector" - self assert: NumOopsPerIRC = 2. - cacheAddress := self implicitReceiverCacheAddressAt: mcpc. - (class := backEnd unalignedLongAt: cacheAddress) ~= 0 - ifTrue: - [(objectRepresentation cacheTagIsMarked: class) - ifTrue: - [(mixin := backEnd unalignedLongAt: cacheAddress + objectMemory bytesPerOop) ~= 0 ifTrue: - [objectRepresentation - markAndTraceLiteral: mixin - in: (self cCoerceSimple: cogMethod to: #'CogMethod *') - at: (self asAddress: cacheAddress + objectMemory bytesPerOop - put: [:val| backEnd unalignedLongAt: cacheAddress + objectMemory bytesPerOop put: val])]] - ifFalse: - [backEnd - unalignedLongAt: cacheAddress put: 0; - unalignedLongAt: cacheAddress + objectMemory bytesPerOop put: 0. - codeModified := true]] - ifFalse: - [self assert: (backEnd unalignedLongAt: cacheAddress + objectMemory bytesPerOop) = 0]]]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>markYoungObjects:pc:method: (in category 'garbage collection') ----- markYoungObjects: annotation pc: mcpc method: cogMethod "Mark and trace young literals." <var: #mcpc type: #'char *'> + <var: #nsSendCache type: #'NSSendCache *'> + | literal nsSendCache | - | literal | annotation = IsObjectReference ifTrue: [literal := backEnd literalBeforeFollowingAddress: mcpc asInteger. objectRepresentation markAndTraceLiteralIfYoung: literal]. + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + objectRepresentation markAndTraceLiteralIfYoung: nsSendCache selector. + nsSendCache enclosingObject ~= 0 ifTrue: + [objectRepresentation markAndTraceLiteralIfYoung: nsSendCache enclosingObject]]]. + + annotation = IsSendCall ifTrue: - (self isSendAnnotation: annotation) ifTrue: [self offsetCacheTagAndCouldBeObjectAt: mcpc annotation: annotation into: [:entryPoint :cacheTag :tagCouldBeObj | tagCouldBeObj ifTrue: + [objectRepresentation markAndTraceLiteralIfYoung: cacheTag]]]. + - [objectRepresentation markAndTraceLiteralIfYoung: cacheTag]. - self cppIf: NewspeakVM ifTrue: - [entryPoint = ceImplicitReceiverTrampoline ifTrue: - [| cacheAddress class mixin | - self assert: NumOopsPerIRC = 2. - cacheAddress := self implicitReceiverCacheAddressAt: mcpc. - class := backEnd unalignedLongAt: cacheAddress. - class ~= 0 ifTrue: - [objectRepresentation inlineCacheTagsMayBeObjects ifTrue: - [objectRepresentation markAndTraceLiteralIfYoung: class]. - mixin := backEnd unalignedLongAt: cacheAddress + objectMemory bytesPerOop. - objectRepresentation markAndTraceLiteralIfYoung: mixin]]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>maybeAllocAndInitIRCs (in category 'newspeak support') ----- maybeAllocAndInitIRCs "If this is the Newspeak VM and the objectRepresentation supports pinning then allocate space for the implicit receiver caches on the heap." self cppIf: #NewspeakVM ifTrue: [indexOfIRC := theIRCs := 0. (objectRepresentation canPinObjects and: [numIRCs > 0]) ifTrue: [self assert: (self noAssertMethodClassAssociationOf: methodObj) ~= objectMemory nilObject. + theIRCs := objectRepresentation allocateNPinnedSlots: numIRCs * NumOopsPerNSC. - theIRCs := objectRepresentation allocateNPinnedSlots: numIRCs * NumOopsPerIRC. ^theIRCs ~= 0]. ^true] ifFalse: [^true]! Item was added: + ----- Method: Cogit>>nsSendCacheFromReturnAddress: (in category 'newspeak support') ----- + nsSendCacheFromReturnAddress: mcpc + "Caller looks like + mov LcacheAddress, SendNumArgsReg + call ceImplicitReceiver" + <option: #NewspeakVM> + <var: #mcpc type: #'char *'> + <inline: true> + | entryPoint cacheAddress | + entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. + self assert: entryPoint < methodZoneBase. + cacheAddress := (backEnd implicitReceiveCacheAt: mcpc) asUnsignedInteger. + self assert: (objectMemory isInOldSpace: cacheAddress). + ^self cCoerceSimple: cacheAddress to: #'NSSendCache *' + ! Item was added: + ----- Method: Cogit>>nsSendCacheSurrogateAt: (in category 'simulation only') ----- + nsSendCacheSurrogateAt: address + <doNotGenerate> + self assert: (address < 0 or: [(address bitAnd: objectMemory wordSize - 1) = 0]). + ^nsSendCacheSurrogateClass new + at: address + objectMemory: objectMemory + cogit: self! Item was changed: ----- Method: Cogit>>relocateIfCallOrMethodReference:mcpc:delta: (in category 'compaction') ----- relocateIfCallOrMethodReference: annotation mcpc: mcpc delta: delta <var: #mcpc type: #'char *'> + | entryPoint offset sendTable targetMethod unlinkedRoutine nsSendCache | - | entryPoint offset sendTable targetMethod unlinkedRoutine | <var: #sendTable type: #'sqInt *'> <var: #targetMethod type: #'CogMethod *'> + <var: #nsSendCache type: #'NSSendCache *'> + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + ["Retrieve the send cache before relocating the stub call. Fetching the send + cache asserts the stub call points below all the cogged methods, but + until this method is actually moved, the adjusted stub call may appear to + point to somewhere in the method zone." + nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + + "Fix call to trampoline. This method is moving [delta] bytes, and calls are + relative, so adjust the call by -[delta] bytes" + backEnd relocateCallBeforeReturnPC: mcpc asInteger by: delta negated. + + nsSendCache target ~= 0 ifTrue: "Send is linked" + [entryPoint := nsSendCache target. + targetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. + targetMethod cmType = CMMethod + ifTrue: "send target not freed; just relocate. The cache has an absolute + target, so only adjust by the target method's displacement." + [nsSendCache target: entryPoint + targetMethod objectHeader] + ifFalse: "send target was freed, unlink" + [nsSendCache classTag: 0; enclosingObject: 0; target: 0]]. + ^0]]. + + annotation = IsSendCall ifTrue: - (self isSendAnnotation: annotation) ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. + entryPoint <= methodZoneBase ifTrue: "send is not linked; just relocate" - entryPoint <= methodZoneBase ifTrue: "send is not linked; just relocate" [backEnd relocateCallBeforeReturnPC: mcpc asInteger by: delta negated. ^0]. "It's a linked send; find which kind." self offsetAndSendTableFor: entryPoint annotation: annotation into: [:off :table| offset := off. sendTable := table]. targetMethod := self cCoerceSimple: entryPoint - offset to: #'CogMethod *'. targetMethod cmType = CMMethod ifTrue: "send target not freed; just relocate." [backEnd relocateCallBeforeReturnPC: mcpc asInteger by: (delta - targetMethod objectHeader) negated. ^0]. "Target was freed; map back to an unlinked send; but include this method's reocation" unlinkedRoutine := sendTable at: (targetMethod cmNumArgs min: NumSendTrampolines - 1). unlinkedRoutine := unlinkedRoutine - delta. backEnd rewriteInlineCacheAt: mcpc asInteger tag: targetMethod selector target: unlinkedRoutine. ^0]. + annotation = IsRelativeCall ifTrue: [backEnd relocateCallBeforeReturnPC: mcpc asInteger by: delta negated. ^0]. + annotation = IsAbsPCReference ifTrue: [backEnd relocateMethodReferenceBeforeAddress: mcpc asInteger by: delta]. + ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>remapIfObjectRef:pc:hasYoung: (in category 'garbage collection') ----- remapIfObjectRef: annotation pc: mcpc hasYoung: hasYoungPtr <var: #mcpc type: #'char *'> <var: #targetMethod type: #'CogMethod *'> + <var: #nsSendCache type: #'NSSendCache *'> + | nsSendCache | annotation = IsObjectReference ifTrue: [| literal mappedLiteral | literal := backEnd literalBeforeFollowingAddress: mcpc asInteger. (objectRepresentation couldBeObject: literal) ifTrue: [mappedLiteral := objectRepresentation remapObject: literal. literal ~= mappedLiteral ifTrue: [backEnd storeLiteral: mappedLiteral beforeFollowingAddress: mcpc asInteger. codeModified := true]. (hasYoungPtr ~= 0 and: [objectMemory isYoung: mappedLiteral]) ifTrue: [(self cCoerceSimple: hasYoungPtr to: #'sqInt *') at: 0 put: true]]]. + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [ | oop mappedOop | + nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + oop := nsSendCache selector. + mappedOop := objectRepresentation remapObject: oop. + oop ~= mappedOop ifTrue: + [nsSendCache selector: mappedOop. + (hasYoungPtr ~= 0 and: [objectMemory isYoung: mappedOop]) ifTrue: + [(self cCoerceSimple: hasYoungPtr to: #'sqInt *') at: 0 put: true]]. + oop := nsSendCache enclosingObject. + oop ~= 0 ifTrue: [ + mappedOop := objectRepresentation remapObject: oop. + oop ~= mappedOop ifTrue: + [nsSendCache enclosingObject: mappedOop. + (hasYoungPtr ~= 0 and: [objectMemory isYoung: mappedOop]) ifTrue: + [(self cCoerceSimple: hasYoungPtr to: #'sqInt *') at: 0 put: true]]]. + ^0 "keep scanning"]]. + + annotation = IsSendCall ifTrue: - (self isSendAnnotation: annotation) ifTrue: [self offsetCacheTagAndCouldBeObjectAt: mcpc annotation: annotation into: [:entryPoint :cacheTag :tagCouldBeObj | | mappedCacheTag | (tagCouldBeObj and: [objectRepresentation couldBeObject: cacheTag]) ifTrue: [mappedCacheTag := objectRepresentation remapObject: cacheTag. cacheTag ~= mappedCacheTag ifTrue: [backEnd rewriteInlineCacheTag: mappedCacheTag at: mcpc asInteger. codeModified := true]. (hasYoungPtr ~= 0 and: [objectMemory isYoung: mappedCacheTag]) ifTrue: [(self cCoerceSimple: hasYoungPtr to: #'sqInt *') at: 0 put: true]]. + hasYoungPtr ~= 0 ifTrue: + ["Since the unlinking routines may rewrite the cacheTag to the send's selector, and + since they don't have the cogMethod to hand and can't add it to youngReferrers, + the method must remain in youngReferrers if the targetMethod's selector is young." + entryPoint > methodZoneBase ifTrue: "It's a linked send." + [self targetMethodAndSendTableFor: entryPoint into: + [:targetMethod :ignored| + (objectMemory isYoung: targetMethod selector) ifTrue: + [(self cCoerceSimple: hasYoungPtr to: #'sqInt *') at: 0 put: true]]]]]]. - (self cppIf: NewspeakVM - ifTrue: [entryPoint = ceImplicitReceiverTrampoline] - ifFalse: [false]) - ifTrue: "Examine an implicit receiver cache." - [| cacheAddress oop mappedOop | - self assert: NumOopsPerIRC = 2. - cacheAddress := self implicitReceiverCacheAddressAt: mcpc. - (oop := backEnd unalignedLongAt: cacheAddress) ~= 0 ifTrue: - ["First look at the classTag entry. This is an inline cache tag and so might not be an object." - (objectRepresentation inlineCacheTagsMayBeObjects - and: [objectRepresentation couldBeObject: oop]) ifTrue: - [mappedOop := objectRepresentation remapOop: oop. - mappedOop ~= oop ifTrue: - [backEnd unalignedLongAt: cacheAddress put: mappedOop]. - (hasYoungPtr ~= 0 - and: [objectMemory isYoung: mappedOop]) ifTrue: - [(self cCoerceSimple: hasYoungPtr to: #'sqInt *') at: 0 put: true]]. - "Second look at the mixin entry. this must be 0 or an object." - (oop := backEnd unalignedLongAt: cacheAddress + objectMemory bytesPerOop) ~= 0 ifTrue: - [mappedOop := objectRepresentation remapOop: oop. - mappedOop ~= oop ifTrue: - [backEnd unalignedLongAt: cacheAddress + objectMemory bytesPerOop put: mappedOop]. - (hasYoungPtr ~= 0 - and: [objectMemory isYoung: mappedOop]) ifTrue: - [(self cCoerceSimple: hasYoungPtr to: #'sqInt *') at: 0 put: true]]]] - ifFalse: - [hasYoungPtr ~= 0 ifTrue: - ["Since the unlinking routines may rewrite the cacheTag to the send's selector, and - since they don't have the cogMethod to hand and can't add it to youngReferrers, - the method must remain in youngReferrers if the targetMethod's selector is young." - entryPoint > methodZoneBase ifTrue: "It's a linked send." - [self targetMethodAndSendTableFor: entryPoint into: - [:targetMethod :ignored| - (objectMemory isYoung: targetMethod selector) ifTrue: - [(self cCoerceSimple: hasYoungPtr to: #'sqInt *') at: 0 put: true]]]]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>setInterpreter: (in category 'initialization') ----- setInterpreter: aCoInterpreter "Initialization of the code generator in the simulator. These objects already exist in the generated C VM or are used only in the simulation." <doNotGenerate> coInterpreter := aCoInterpreter. objectMemory := aCoInterpreter objectMemory. threadManager := aCoInterpreter threadManager. "N.B. may be nil" methodZone := CogMethodZone new. objectRepresentation := objectMemory objectRepresentationClass forCogit: self methodZone: methodZone. methodZone setInterpreter: aCoInterpreter objectRepresentation: objectRepresentation cogit: self. generatorTable := self class generatorTable. primitiveGeneratorTable := self class primitiveTable. processor := ProcessorClass new. simulatedAddresses := Dictionary new. simulatedTrampolines := Dictionary new. simulatedVariableGetters := Dictionary new. simulatedVariableSetters := Dictionary new. traceStores := 0. traceFlags := 8. "record prim trace on by default (see Cogit class>>decareCVarsIn:)" debugPrimCallStackOffset := 0. singleStep := printRegisters := printInstructions := clickConfirm := false. breakBlock ifNil: [self breakPC: breakPC]. (backEnd := processor abstractInstructionCompilerClass new) cogit: self. (methodLabel := processor abstractInstructionCompilerClass new) cogit: self. ordinarySendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). superSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). NewspeakVM ifTrue: [selfSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). + dynamicSuperSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). + implicitReceiverSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines)]. - dynamicSuperSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines)]. "debug metadata" objectReferencesInRuntime := CArrayAccessor on: (Array new: NumObjRefsInRuntime). runtimeObjectRefIndex := 0. "debug metadata" trampolineAddresses := CArrayAccessor on: (Array new: NumTrampolines * 2). trampolineTableIndex := 0. compilationTrace ifNil: [compilationTrace := 0]. extA := extB := 0! Item was changed: ----- Method: Cogit>>unlinkIfForwardedSend:pc:ignored: (in category 'in-line cacheing') ----- unlinkIfForwardedSend: annotation pc: mcpc ignored: superfluity <var: #mcpc type: #'char *'> + <var: #nsSendCache type: #'NSSendCache *'> + | entryPoint nsSendCache | + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + nsSendCache classTag ~= 0 ifTrue: + [(objectMemory isForwardedClassIndex: nsSendCache classTag) ifTrue: [ + nsSendCache classTag: 0; enclosingObject: 0; target: 0]]. + "Should we check if the enclosing object's class is forwarded as well?" + ^0 "keep scanning"]]. + + annotation = IsSendCall ifTrue: - | entryPoint cacheAddress | - (self isSendAnnotation: annotation) ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send, but maybe a super send or linked to an OpenPIC, in which case the cache tag will be a selector...." [(objectMemory isForwardedClassIndex: (backEnd inlineCacheTagAt: mcpc asInteger)) ifTrue: [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| + self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]]]. + - self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]] - ifFalse: - [self cppIf: NewspeakVM ifTrue: - [entryPoint = ceImplicitReceiverTrampoline ifTrue: - [self assert: NumOopsPerIRC = 2. - cacheAddress := self implicitReceiverCacheAddressAt: mcpc. - ((objectMemory isForwardedClassIndex: (backEnd unalignedLongAt: cacheAddress)) - or: [objectMemory isForwardedClassIndex: (backEnd unalignedLongAt: cacheAddress + objectMemory bytesPerOop)]) ifTrue: - [self voidImplicitReceiverCacheAt: mcpc]]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>unlinkIfFreeOrLinkedSend:pc:of: (in category 'in-line cacheing') ----- unlinkIfFreeOrLinkedSend: annotation pc: mcpc of: theSelector <var: #mcpc type: #'char *'> + <var: #nsSendCache type: #'NSSendCache *'> + | entryPoint nsSendCache | + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + (entryPoint := nsSendCache target) ~= 0 ifTrue: + [ | targetMethod | + targetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. + (targetMethod cmType = CMFree or: [nsSendCache selector = theSelector]) ifTrue: + [nsSendCache classTag: 0; enclosingObject: 0; target: 0]]. + ^0 "keep scanning"]]. + + annotation = IsSendCall ifTrue: - | entryPoint | - (self isSendAnnotation: annotation) ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| (targetMethod cmType = CMFree or: [targetMethod selector = theSelector]) ifTrue: + [self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]]]. + - [self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]] - ifFalse: - [self cppIf: NewspeakVM ifTrue: - [(entryPoint = ceImplicitReceiverTrampoline - and: [(backEnd inlineCacheTagAt: mcpc asInteger) = theSelector]) ifTrue: - [self voidImplicitReceiverCacheAt: mcpc]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>unlinkIfLinkedSend:pc:ignored: (in category 'in-line cacheing') ----- unlinkIfLinkedSend: annotation pc: mcpc ignored: superfluity <var: #mcpc type: #'char *'> + <var: #nsSendCache type: #'NSSendCache *'> + | entryPoint nsSendCache | + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + nsSendCache classTag ~= 0 ifTrue: "Send is linked" + [nsSendCache classTag: 0; enclosingObject: 0; target: 0]. + ^0 "keep scanning"]]. + + annotation = IsSendCall ifTrue: - | entryPoint | - (self isSendAnnotation: annotation) ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| + self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]]. + - self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]] - ifFalse: - [self cppIf: NewspeakVM ifTrue: - [entryPoint = ceImplicitReceiverTrampoline ifTrue: - [self voidImplicitReceiverCacheAt: mcpc]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>unlinkIfLinkedSend:pc:of: (in category 'in-line cacheing') ----- unlinkIfLinkedSend: annotation pc: mcpc of: theSelector <var: #mcpc type: #'char *'> + <var: #nsSendCache type: #'NSSendCache *'> + | entryPoint nsSendCache | + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + nsSendCache selector = theSelector ifTrue: + [nsSendCache classTag: 0; enclosingObject: 0; target: 0]. + ^0 "keep scanning"]]. + + annotation = IsSendCall ifTrue: - | entryPoint | - (self isSendAnnotation: annotation) ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| targetMethod selector = theSelector ifTrue: + [self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]]]. + - [self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]] - ifFalse: - [self cppIf: NewspeakVM ifTrue: - [(entryPoint = ceImplicitReceiverTrampoline - and: [(backEnd inlineCacheTagAt: mcpc asInteger) = theSelector]) ifTrue: - [self voidImplicitReceiverCacheAt: mcpc]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>unlinkIfLinkedSend:pc:to: (in category 'in-line cacheing') ----- unlinkIfLinkedSend: annotation pc: mcpc to: theCogMethod <var: #mcpc type: #'char *'> + <var: #nsSendCache type: #'NSSendCache *'> + | entryPoint nsSendCache | + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + (entryPoint := nsSendCache target) ~= 0 ifTrue: + [ | targetMethod | + targetMethod := entryPoint - cmNoCheckEntryOffset. + targetMethod = theCogMethod ifTrue: + [nsSendCache classTag: 0. + nsSendCache enclosingObject: 0. + nsSendCache target: 0]]. + ^0 "keep scanning"]]. + + annotation = IsSendCall ifTrue: - | entryPoint | - (self isSendAnnotation: annotation) ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| targetMethod asInteger = theCogMethod ifTrue: + [self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]]]. + - [self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]] - ifFalse: "Can't tell the target with PushReciver/SendImplicit so flush anyway." - [self cppIf: NewspeakVM ifTrue: - [entryPoint = ceImplicitReceiverTrampoline ifTrue: - [self voidImplicitReceiverCacheAt: mcpc]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>unlinkIfLinkedSendToFree:pc:ignored: (in category 'in-line cacheing') ----- unlinkIfLinkedSendToFree: annotation pc: mcpc ignored: superfluity <var: #mcpc type: #'char *'> + <var: #nsSendCache type: #'NSSendCache *'> + <var: #nsTargetMethod type: #'CogMethod *'> + | entryPoint nsSendCache nsTargetMethod | + + self cppIf: NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: + [nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. + (entryPoint := nsSendCache target) ~= 0 ifTrue: "It's a linked send." + [nsTargetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. + nsTargetMethod cmType = CMFree ifTrue: + [nsSendCache classTag: 0. + nsSendCache enclosingObject: 0. + nsSendCache target: 0]]. + ^0 "keep scanning"]]. + + annotation = IsSendCall ifTrue: - | entryPoint | - (self isSendAnnotation: annotation) ifTrue: [entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. entryPoint > methodZoneBase ifTrue: "It's a linked send." [self targetMethodAndSendTableFor: entryPoint into: [:targetMethod :sendTable| targetMethod cmType = CMFree ifTrue: [self unlinkSendAt: mcpc targetMethod: targetMethod sendTable: sendTable]]]]. + ^0 "keep scanning"! Item was removed: - ----- Method: Cogit>>voidImplicitReceiverCacheAt: (in category 'newspeak support') ----- - voidImplicitReceiverCacheAt: mcpc - "Cached push implicit receiver implementation. If objectRepresentation doesn't support - pinning then caller looks like - mov selector, SendNumArgsReg - call ceImplicitReceiver - br continue - Lclass: .word - Lmixin:: .word - continue: - If objectRepresentation supports pinning then caller looks like - mov Lclass, Arg1Reg - mov selector, SendNumArgsReg - call ceImplicitReceiver - and Lclass: .word; Lmixin: .word is somewhere on the heap." - <option: #NewspeakVM> - <var: #mcpc type: #'char *'> - | cacheAddress | - self assert: NumOopsPerIRC = 2. - cacheAddress := self implicitReceiverCacheAddressAt: mcpc. - backEnd - unalignedLongAt: cacheAddress put: 0; - unalignedLongAt: cacheAddress + objectMemory bytesPerOop put: 0. - objectRepresentation canPinObjects ifFalse: - [codeModified := true]! Item was added: + VMStructType subclass: #NSSendCache + instanceVariableNames: 'selector numArgs classTag enclosingObject target' + classVariableNames: '' + poolDictionaries: 'CogMethodConstants VMBasicConstants' + category: 'VMMaker-JIT'! Item was added: + ----- Method: NSSendCache class>>initialize (in category 'as yet unclassified') ----- + initialize + "self initialize" + (Smalltalk classNamed: #NSSendCacheSurrogate32) ifNotNil: + [:scs32| + self checkGenerateSurrogate: scs32 bytesPerWord: 4]. + (Smalltalk classNamed: #NSSendCacheSurrogate64) ifNotNil: + [:scs64| + self checkGenerateSurrogate: scs64 bytesPerWord: 8]! Item was added: + ----- Method: NSSendCache class>>instVarNamesAndTypesForTranslationDo: (in category 'as yet unclassified') ----- + instVarNamesAndTypesForTranslationDo: aBinaryBlock + + self allInstVarNames do: + [:ivn| aBinaryBlock + value: ivn + value: #'sqInt']! Item was added: + ----- Method: NSSendCache>>classTag (in category 'accessing') ----- + classTag + + ^ classTag! Item was added: + ----- Method: NSSendCache>>classTag: (in category 'accessing') ----- + classTag: anObject + + ^classTag := anObject! Item was added: + ----- Method: NSSendCache>>enclosingObject (in category 'accessing') ----- + enclosingObject + + ^ enclosingObject! Item was added: + ----- Method: NSSendCache>>enclosingObject: (in category 'accessing') ----- + enclosingObject: anObject + + ^enclosingObject := anObject! Item was added: + ----- Method: NSSendCache>>numArgs (in category 'accessing') ----- + numArgs + + ^ numArgs! Item was added: + ----- Method: NSSendCache>>numArgs: (in category 'accessing') ----- + numArgs: anObject + + ^numArgs := anObject! Item was added: + ----- Method: NSSendCache>>selector (in category 'accessing') ----- + selector + + ^ selector! Item was added: + ----- Method: NSSendCache>>selector: (in category 'accessing') ----- + selector: anObject + + ^selector := anObject! Item was added: + ----- Method: NSSendCache>>target (in category 'accessing') ----- + target + + ^ target! Item was added: + ----- Method: NSSendCache>>target: (in category 'accessing') ----- + target: anObject + + ^target := anObject! Item was added: + VMClass subclass: #NSSendCacheSurrogate + instanceVariableNames: 'address memory cogit' + classVariableNames: '' + poolDictionaries: '' + category: 'VMMaker-JITSimulation'! Item was added: + ----- Method: NSSendCacheSurrogate>>at:objectMemory:cogit: (in category 'as yet unclassified') ----- + at: anAddress objectMemory: objectMemory cogit: aCogit + address := anAddress. + memory := objectMemory memory. + cogit := aCogit! Item was added: + NSSendCacheSurrogate subclass: #NSSendCacheSurrogate32 + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'VMMaker-JITSimulation'! Item was added: + ----- Method: NSSendCacheSurrogate32 class>>alignedByteSize (in category 'as yet unclassified') ----- + alignedByteSize + ^20! Item was added: + ----- Method: NSSendCacheSurrogate32>>classTag (in category 'as yet unclassified') ----- + classTag + ^memory unsignedLongAt: address + 9! Item was added: + ----- Method: NSSendCacheSurrogate32>>classTag: (in category 'accessing') ----- + classTag: aValue + ^memory + unsignedLongAt: address + 9 + put: aValue! Item was added: + ----- Method: NSSendCacheSurrogate32>>enclosingObject (in category 'as yet unclassified') ----- + enclosingObject + ^memory unsignedLongAt: address + 13! Item was added: + ----- Method: NSSendCacheSurrogate32>>enclosingObject: (in category 'accessing') ----- + enclosingObject: aValue + ^memory + unsignedLongAt: address + 13 + put: aValue! Item was added: + ----- Method: NSSendCacheSurrogate32>>numArgs (in category 'as yet unclassified') ----- + numArgs + ^memory unsignedLongAt: address + 5! Item was added: + ----- Method: NSSendCacheSurrogate32>>numArgs: (in category 'accessing') ----- + numArgs: aValue + ^memory + unsignedLongAt: address + 5 + put: aValue! Item was added: + ----- Method: NSSendCacheSurrogate32>>selector (in category 'as yet unclassified') ----- + selector + ^memory unsignedLongAt: address + 1! Item was added: + ----- Method: NSSendCacheSurrogate32>>selector: (in category 'accessing') ----- + selector: aValue + ^memory + unsignedLongAt: address + 1 + put: aValue! Item was added: + ----- Method: NSSendCacheSurrogate32>>target (in category 'as yet unclassified') ----- + target + ^memory unsignedLongAt: address + 17! Item was added: + ----- Method: NSSendCacheSurrogate32>>target: (in category 'accessing') ----- + target: aValue + ^memory + unsignedLongAt: address + 17 + put: aValue! Item was added: + NSSendCacheSurrogate subclass: #NSSendCacheSurrogate64 + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'VMMaker-JITSimulation'! Item was added: + ----- Method: NSSendCacheSurrogate64 class>>alignedByteSize (in category 'as yet unclassified') ----- + alignedByteSize + ^40! Item was added: + ----- Method: NSSendCacheSurrogate64>>classTag (in category 'accessing') ----- + classTag + ^memory unsignedLongLongAt: address + 17! Item was added: + ----- Method: NSSendCacheSurrogate64>>classTag: (in category 'accessing') ----- + classTag: aValue + ^memory + unsignedLongLongAt: address + 17 + put: aValue! Item was added: + ----- Method: NSSendCacheSurrogate64>>enclosingObject (in category 'accessing') ----- + enclosingObject + ^memory unsignedLongLongAt: address + 25! Item was added: + ----- Method: NSSendCacheSurrogate64>>enclosingObject: (in category 'accessing') ----- + enclosingObject: aValue + ^memory + unsignedLongLongAt: address + 25 + put: aValue! Item was added: + ----- Method: NSSendCacheSurrogate64>>numArgs (in category 'accessing') ----- + numArgs + ^memory unsignedLongLongAt: address + 9! Item was added: + ----- Method: NSSendCacheSurrogate64>>numArgs: (in category 'accessing') ----- + numArgs: aValue + ^memory + unsignedLongLongAt: address + 9 + put: aValue! Item was added: + ----- Method: NSSendCacheSurrogate64>>selector (in category 'accessing') ----- + selector + ^memory unsignedLongLongAt: address + 1! Item was added: + ----- Method: NSSendCacheSurrogate64>>selector: (in category 'accessing') ----- + selector: aValue + ^memory + unsignedLongLongAt: address + 1 + put: aValue! Item was added: + ----- Method: NSSendCacheSurrogate64>>target (in category 'accessing') ----- + target + ^memory unsignedLongLongAt: address + 33! Item was added: + ----- Method: NSSendCacheSurrogate64>>target: (in category 'accessing') ----- + target: aValue + ^memory + unsignedLongLongAt: address + 33 + put: aValue! 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 unknownBytecode) "Was non-absent Newspeak super" + (2 127 127 unknownBytecode) "Was push implicit receiver" - (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)), + (3 139 139 callPrimitiveBytecode) - ((initializationOptions at: #SpurObjectMemory ifAbsent: [false]) - ifTrue: [#((3 139 139 callPrimitiveBytecode))] "V3PlusClosures on Spur" - ifFalse: [#((2 139 139 genPushEnclosingObjectBytecode 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: SimpleStackBasedCogit class>>initializeMiscConstants (in category 'class initialization') ----- initializeMiscConstants super initializeMiscConstants. MaxLiteralCountForCompile := initializationOptions at: #MaxLiteralCountForCompile ifAbsent: [60]. NumTrampolines := NewspeakVM + ifTrue: [56] - ifTrue: [53] ifFalse: [42]! Item was removed: - ----- Method: SimpleStackBasedCogit>>genDynamicSuperSendBytecode (in category 'bytecode generators') ----- - genDynamicSuperSendBytecode - ^self genSendDynamicSuper: (self getLiteral: byte2) numArgs: byte1! Item was removed: - ----- Method: SimpleStackBasedCogit>>genGetImplicitReceiverFor:forPush: (in category 'bytecode generators') ----- - genGetImplicitReceiverFor: selector forPush: forPushSendBar - "Cached implicit receiver implementation. If objectRepresentation doesn't support - pinning then caller looks like - mov selector, ClassReg - call ceImplicitReceiverTrampoline - br continue - Lclass .word - Lmixin: .word - continue: - If objectRepresentation supports pinning then caller looks like - mov Lclass, Arg1Reg - mov selector, SendNumArgsReg - call ceImplicitReceiver - and Lclass: .word; Lmixin: .word is somewhere on the heap. - - If class matches class of receiver then mixin contains either 0 or the implicit receiver. - If 0, answer the actual receiver. This is done in the trampoline. - See generateNewspeakRuntime." - - | skip | - <var: #skip type: #'AbstractInstruction *'> - "N.B. For PC mapping either this is used for SendAbsentImplicit or for PushAbsentReceiver - but not both. So any Newspeak instruction set has to choose either SendAbsentImplicit - or PushImplicitReceiver. See isPCMappedAnnotation:alternateInstructionSet:" - self assert: forPushSendBar = (self isPCMappedAnnotation: IsNSSendCall - alternateInstructionSet: bytecodeSetOffset > 0). - self assert: (self noAssertMethodClassAssociationOf: methodObj) ~= objectMemory nilObject. - self assert: needsFrame. - (objectMemory isYoung: selector) ifTrue: - [hasYoungReferent := true]. - objectRepresentation canPinObjects ifTrue: - [self MoveCw: theIRCs + (2 * objectMemory bytesPerOop * indexOfIRC) R: Arg1Reg. - self MoveCw: selector R: SendNumArgsReg. - self CallNewspeakSend: ceImplicitReceiverTrampoline. - indexOfIRC := indexOfIRC + 1. - ^0]. - self MoveCw: selector R: SendNumArgsReg. - self CallNewspeakSend: ceImplicitReceiverTrampoline. - skip := self Jump: 0. - self Fill32: 0. - self Fill32: 0. - skip jmpTarget: self Label. - ^0! Item was removed: - ----- Method: SimpleStackBasedCogit>>genPushImplicitReceiverBytecode (in category 'bytecode generators') ----- - genPushImplicitReceiverBytecode - | result | - result := self genGetImplicitReceiverFor: (self getLiteral: byte1) forPush: true. - result ~= 0 ifTrue: - [^result]. - self PushR: ReceiverResultReg. - ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>genSendAbsentImplicit:numArgs: (in category 'bytecode generators') ----- genSendAbsentImplicit: selector numArgs: numArgs + | nsSendCache | - "Get the implicit receiver and shuffle arguments if necessary. - Then send." <inline: false> + (objectMemory isYoung: selector) ifTrue: + [hasYoungReferent := true]. + + nsSendCache := theIRCs + (NumOopsPerNSC * objectMemory bytesPerOop * indexOfIRC). + indexOfIRC := indexOfIRC + 1. + self assert: (objectMemory isInOldSpace: nsSendCache). + self initializeNSSendCache: nsSendCache selector: selector numArgs: numArgs. + + self MoveMw: FoxMFReceiver r: FPReg R: ReceiverResultReg. + + "This leaves the method receiver on the stack, which might not be the implicit receiver. But we care + not: the callee will use ReceiverResultReg to build its frame, not the value beneath the arguments." - | result | - result := self genGetImplicitReceiverFor: selector forPush: false. - result ~= 0 ifTrue: - [^result]. self marshallAbsentReceiverSendArguments: numArgs. + + "Load the cache last so it is a fixed distance from the call." + self MoveCw: nsSendCache R: SendNumArgsReg. + self CallNewspeakSend: (implicitReceiverSendTrampolines at: (numArgs min: NumSendTrampolines - 1)). + + self PushR: ReceiverResultReg. + ^0! - ^self genSend: selector numArgs: numArgs! Item was changed: ----- Method: SpurMemoryManager>>isInOldSpace: (in category 'object testing') ----- isInOldSpace: address + <api> ^self oop: address isGreaterThanOrEqualTo: oldSpaceStart andLessThan: endOfMemory! Item was added: + ----- Method: StackDepthFinder>>sendToAbsentOuter:numArgs:depth: (in category 'instruction decoding') ----- + sendToAbsentOuter: selector numArgs: numArgs depth: depth + self drop: numArgs - 1 "e.g. if no args pushes a result"! Item was added: + ----- Method: StackDepthFinder>>sendToAbsentSelf:numArgs: (in category 'instruction decoding') ----- + sendToAbsentSelf: selector numArgs: numArgs + self drop: numArgs - 1 "e.g. if no args pushes a result"! 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 unknownBytecode) "Was non-absent Newspeak super send" + (2 127 127 unknownBytecode) "Was push implicit receiver" - (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)), + (3 139 139 callPrimitiveBytecode) - ((initializationOptions at: #SpurObjectMemory ifAbsent: [false]) - ifTrue: [#((3 139 139 callPrimitiveBytecode))] "V3PlusClosures on Spur" - ifFalse: [#((2 139 139 genPushEnclosingObjectBytecode 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))! Item was changed: ----- Method: StackToRegisterMappingCogit class>>initializeBytecodeTableForNewspeakV4 (in category 'class initialization') ----- initializeBytecodeTableForNewspeakV4 "StackToRegisterMappingCogit initializeBytecodeTableForNewspeakV4" numPushNilsFunction := #v4:Num:Push:Nils:. pushNilSizeFunction := #v4PushNilSize:. + NSSendIsPCAnnotated := true. "IsNSSendCall used by SendAbsentImplicit" - NSSendIsPCAnnotated := false. "IsNSSendCall used by SendAbsentImplicit" FirstSpecialSelector := 80. 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 byte bytecodes" (1 0 15 genPushReceiverVariableBytecode needsFrameNever: 1) (1 16 31 genPushLiteralVariable16CasesBytecode needsFrameNever: 1) (1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1) (1 64 75 genPushTemporaryVariableBytecode needsFrameIfMod16GENumArgs: 1) (1 76 76 genPushReceiverBytecode needsFrameNever: 1) (1 77 77 genExtPushPseudoVariableOrOuterBytecode needsFrameIfExtBGT2: 1) (1 78 78 genPushConstantZeroBytecode needsFrameNever: 1) (1 79 79 genPushConstantOneBytecode needsFrameNever: 1) (1 80 80 genSpecialSelectorArithmetic isMapped AddRR) (1 81 81 genSpecialSelectorArithmetic isMapped SubRR) (1 82 82 genSpecialSelectorComparison isMapped JumpLess) (1 83 83 genSpecialSelectorComparison isMapped JumpGreater) (1 84 84 genSpecialSelectorComparison isMapped JumpLessOrEqual) (1 85 85 genSpecialSelectorComparison isMapped JumpGreaterOrEqual) (1 86 86 genSpecialSelectorComparison isMapped JumpZero) (1 87 87 genSpecialSelectorComparison isMapped JumpNonZero) (1 88 93 genSpecialSelectorSend isMapped) " #* #/ #\\ #@ #bitShift: //" (1 94 94 genSpecialSelectorArithmetic isMapped AndRR) (1 95 95 genSpecialSelectorArithmetic isMapped OrRR) (1 96 101 genSpecialSelectorSend isMapped) "#at: #at:put: #size #next #nextPut: #atEnd" (1 102 102 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1) "not mapped because it is directly inlined (for now)" (1 103 103 genSpecialSelectorClass needsFrameIfStackGreaterThanOne: notMapped 0) "not mapped because it is directly inlined (for now)" (1 104 111 genSpecialSelectorSend isMapped) "#blockCopy: #value #value: #do: #new #new: #x #y" (1 112 127 genSendLiteralSelector0ArgsBytecode isMapped) (1 128 143 genSendLiteralSelector1ArgBytecode isMapped) (1 144 159 genSendLiteralSelector2ArgsBytecode isMapped) (1 160 175 genSendAbsentImplicit0ArgsBytecode isMapped hasIRC) (1 176 183 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1) "N.B. not frameless if immutability" (1 184 191 genStoreAndPopTemporaryVariableBytecode) (1 192 199 genShortUnconditionalJump branch v3:ShortForward:Branch:Distance:) (1 200 207 genShortJumpIfTrue branch isBranchTrue isMapped "because of mustBeBoolean" v3:ShortForward:Branch:Distance:) (1 208 215 genShortJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" v3:ShortForward:Branch:Distance:) (1 216 216 genReturnReceiver return needsFrameIfInBlock: isMappedInBlock 0) (1 217 217 genReturnTopFromMethod return needsFrameIfInBlock: isMappedInBlock -1) (1 218 218 genExtReturnTopFromBlock return needsFrameNever: -1) (1 219 219 duplicateTopBytecode needsFrameNever: 1) (1 220 220 genPopStackBytecode needsFrameNever: -1) (1 221 221 genExtNopBytecode needsFrameNever: 0) (1 222 223 unknownBytecode) "2 byte bytecodes" (2 224 224 extABytecode extension needsFrameNever: 0) (2 225 225 extBBytecode extension needsFrameNever: 0) (2 226 226 genExtPushReceiverVariableBytecode) (2 227 227 genExtPushLiteralVariableBytecode needsFrameNever: 1) (2 228 228 genExtPushLiteralBytecode needsFrameNever: 1) (2 229 229 genExtPushIntegerBytecode needsFrameNever: 1) (2 230 230 genLongPushTemporaryVariableBytecode) (2 231 231 genPushNewArrayBytecode) (2 232 232 genExtStoreReceiverVariableBytecode) (2 233 233 genExtStoreLiteralVariableBytecode) (2 234 234 genLongStoreTemporaryVariableBytecode) (2 235 235 genExtStoreAndPopReceiverVariableBytecode) (2 236 236 genExtStoreAndPopLiteralVariableBytecode) (2 237 237 genLongStoreAndPopTemporaryVariableBytecode) (2 238 238 genExtSendBytecode isMapped) (2 239 239 genExtSendSuperBytecode isMapped) (2 240 240 genExtSendAbsentImplicitBytecode isMapped hasIRC) (2 241 241 genExtSendAbsentDynamicSuperBytecode isMapped) (2 242 242 genExtUnconditionalJump branch isMapped "because of interrupt check" v4:Long:Branch:Distance:) (2 243 243 genExtJumpIfTrue branch isBranchTrue isMapped "because of mustBeBoolean" v4:Long:Branch:Distance:) (2 244 244 genExtJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" v4:Long:Branch:Distance:) (2 245 245 genExtSendAbsentSelfBytecode isMapped) (2 246 248 unknownBytecode) "3 byte bytecodes" (3 249 249 callPrimitiveBytecode) (3 250 250 genPushRemoteTempLongBytecode) (3 251 251 genStoreRemoteTempLongBytecode) (3 252 252 genStoreAndPopRemoteTempLongBytecode) (3 253 253 genExtPushClosureBytecode block v4:Block:Code:Size:) (3 254 254 genExtSendAbsentOuterBytecode isMapped) (3 255 255 unknownBytecode))! Item was changed: ----- Method: StackToRegisterMappingCogit class>>initializeMiscConstants (in category 'class initialization') ----- initializeMiscConstants super initializeMiscConstants. NumTrampolines := NewspeakVM + ifTrue: [66] - ifTrue: [63] ifFalse: [52]! Item was removed: - ----- Method: StackToRegisterMappingCogit>>genGetImplicitReceiverFor:forPush: (in category 'bytecode generators') ----- - genGetImplicitReceiverFor: selector forPush: forPushSendBar - "Cached implicit receiver implementation. Caller looks like - mov selector, ClassReg - call cePushImplicitReceiver - br continue - Lclass .word - Lmixin: .word - continue: - If class matches class of receiver then mixin contains either 0 or the implicit receiver. - If 0, answer the actual receiver. This is done in the trampoline. - See generateNewspeakRuntime." - self ssAllocateCallReg: SendNumArgsReg and: ReceiverResultReg and: ClassReg and: Arg1Reg. - ^super genGetImplicitReceiverFor: selector forPush: forPushSendBar! Item was removed: - ----- Method: StackToRegisterMappingCogit>>genPushImplicitReceiverBytecode (in category 'bytecode generators') ----- - genPushImplicitReceiverBytecode - | result | - result := self genGetImplicitReceiverFor: (self getLiteral: byte1) forPush: true. - result ~= 0 ifTrue: - [^result]. - ^self ssPushRegister: ReceiverResultReg! Item was changed: ----- Method: StackToRegisterMappingCogit>>genSendAbsentImplicit:numArgs: (in category 'bytecode generators') ----- genSendAbsentImplicit: selector numArgs: numArgs + | nsSendCache | - "Get the implicit receiver and marshall arguments, shuffling the - stack to push the implicit receiver if necessary. Then send." <inline: false> + (objectMemory isYoung: selector) ifTrue: + [hasYoungReferent := true]. + + nsSendCache := theIRCs + (NumOopsPerNSC * objectMemory bytesPerOop * indexOfIRC). + indexOfIRC := indexOfIRC + 1. + self assert: (objectMemory isInOldSpace: nsSendCache). + self initializeNSSendCache: nsSendCache selector: selector numArgs: numArgs. + + self ssAllocateCallReg: ReceiverResultReg and: SendNumArgsReg. + self MoveMw: FoxMFReceiver r: FPReg R: ReceiverResultReg. + + "This leaves the method receiver on the stack, which might not be the implicit receiver. But we care + not: the callee will use ReceiverResultReg to build its frame, not the value beneath the arguments." - | result | - "This must not be PC-mapped" - result := self genGetImplicitReceiverFor: selector forPush: false. - result ~= 0 ifTrue: - [^result]. self marshallAbsentReceiverSendArguments: numArgs. + + "Load the cache last so it is a fixed distance from the call." + self MoveCw: nsSendCache R: SendNumArgsReg. + self CallNewspeakSend: (implicitReceiverSendTrampolines at: (numArgs min: NumSendTrampolines - 1)). + + optStatus isReceiverResultRegLive: false. + ^self ssPushRegister: ReceiverResultReg! - ^self genMarshalledSend: selector numArgs: numArgs sendTable: ordinarySendTrampolines! Item was added: + ----- Method: StackToRegisterMappingCogit>>generateNewspeakSendTrampolines (in category 'initialization') ----- + generateNewspeakSendTrampolines + "Self send, dynamic super send, and implicit receiver send. TODO: outer send." + "Override to generate code to push the register arg(s) for <= numRegArg arity sends." + <option: #NewspeakVM> + 0 to: NumSendTrampolines - 2 do: + [:numArgs| + selfSendTrampolines + at: numArgs + put: (self genSendTrampolineFor: #ceSelfSend:to:numArgs: + numArgs: numArgs + called: (self trampolineName: 'ceSelfSend' numArgs: numArgs) + arg: ClassReg + arg: ReceiverResultReg + arg: numArgs)]. + selfSendTrampolines + at: NumSendTrampolines - 1 + put: (self genSendTrampolineFor: #ceSelfSend:to:numArgs: + numArgs: self numRegArgs + 1 + called: (self trampolineName: 'ceSelfSend' numArgs: -1) + arg: ClassReg + arg: ReceiverResultReg + arg: SendNumArgsReg). + + 0 to: NumSendTrampolines - 2 do: + [:numArgs| + dynamicSuperSendTrampolines + at: numArgs + put: (self genSendTrampolineFor: #ceDynamicSuperSend:to:numArgs: + numArgs: numArgs + called: (self trampolineName: 'ceDynSuperSend' numArgs: numArgs) + arg: ClassReg + arg: ReceiverResultReg + arg: numArgs)]. + dynamicSuperSendTrampolines + at: NumSendTrampolines - 1 + put: (self genSendTrampolineFor: #ceDynamicSuperSend:to:numArgs: + numArgs: self numRegArgs + 1 + called: (self trampolineName: 'ceDynSuperSend' numArgs: -1) + arg: ClassReg + arg: ReceiverResultReg + arg: SendNumArgsReg). + + 0 to: NumSendTrampolines - 2 do: + [:numArgs| + implicitReceiverSendTrampolines + at: numArgs + put: (self + genNSSendTrampolineFor: #ceImplicitReceiverSend:receiver: + numArgs: numArgs + called: (self trampolineName: 'ceImplicitReceiverSend' numArgs: numArgs))]. + implicitReceiverSendTrampolines + at: NumSendTrampolines - 1 + put: (self + genNSSendTrampolineFor: #ceImplicitReceiverSend:receiver: + numArgs: self numRegArgs + 1 + called: (self trampolineName: 'ceImplicitReceiverSend' numArgs: -1)).! Item was changed: ----- Method: StackToRegisterMappingCogit>>generateSendTrampolines (in category 'initialization') ----- generateSendTrampolines "Override to generate code to push the register arg(s) for <= numRegArg arity sends." 0 to: NumSendTrampolines - 2 do: [:numArgs| ordinarySendTrampolines at: numArgs put: (self genSendTrampolineFor: #ceSend:super:to:numArgs: numArgs: numArgs called: (self trampolineName: 'ceSend' numArgs: numArgs) arg: ClassReg arg: 0 arg: ReceiverResultReg arg: numArgs)]. ordinarySendTrampolines at: NumSendTrampolines - 1 put: (self genSendTrampolineFor: #ceSend:super:to:numArgs: numArgs: self numRegArgs + 1 called: (self trampolineName: 'ceSend' numArgs: -1) arg: ClassReg arg: 0 arg: ReceiverResultReg arg: SendNumArgsReg). + + "Generate these in the middle so they are within [firstSend, lastSend]." + self cppIf: NewspeakVM ifTrue: [self generateNewspeakSendTrampolines]. + - self cppIf: NewspeakVM - ifTrue: - [0 to: NumSendTrampolines - 2 do: - [:numArgs| - dynamicSuperSendTrampolines - at: numArgs - put: (self genSendTrampolineFor: #ceDynamicSuperSend:to:numArgs: - numArgs: numArgs - called: (self trampolineName: 'ceDynSuperSend' numArgs: numArgs) - arg: ClassReg - arg: ReceiverResultReg - arg: numArgs)]. - dynamicSuperSendTrampolines - at: NumSendTrampolines - 1 - put: (self genSendTrampolineFor: #ceDynamicSuperSend:to:numArgs: - numArgs: self numRegArgs + 1 - called: (self trampolineName: 'ceDynSuperSend' numArgs: -1) - arg: ClassReg - arg: ReceiverResultReg - arg: SendNumArgsReg). - 0 to: NumSendTrampolines - 2 do: - [:numArgs| - selfSendTrampolines - at: numArgs - put: (self genSendTrampolineFor: #ceSelfSend:to:numArgs: - numArgs: numArgs - called: (self trampolineName: 'ceSelfSend' numArgs: numArgs) - arg: ClassReg - arg: ReceiverResultReg - arg: numArgs)]. - selfSendTrampolines - at: NumSendTrampolines - 1 - put: (self genSendTrampolineFor: #ceSelfSend:to:numArgs: - numArgs: self numRegArgs + 1 - called: (self trampolineName: 'ceSelfSend' numArgs: -1) - arg: ClassReg - arg: ReceiverResultReg - arg: SendNumArgsReg)]. 0 to: NumSendTrampolines - 2 do: [:numArgs| superSendTrampolines at: numArgs put: (self genSendTrampolineFor: #ceSend:super:to:numArgs: numArgs: numArgs called: (self trampolineName: 'ceSuperSend' numArgs: numArgs) arg: ClassReg arg: 1 arg: ReceiverResultReg arg: numArgs)]. superSendTrampolines at: NumSendTrampolines - 1 put: (self genSendTrampolineFor: #ceSend:super:to:numArgs: numArgs: self numRegArgs + 1 called: (self trampolineName: 'ceSuperSend' numArgs: -1) arg: ClassReg arg: 1 arg: ReceiverResultReg arg: SendNumArgsReg). firstSend := ordinarySendTrampolines at: 0. lastSend := superSendTrampolines at: NumSendTrampolines - 1!

1 0

Re: [Vm-dev] VM Maker: VMMaker.oscog-tfel.1133.mcz
by Eliot Miranda 31 Mar '15

31 Mar '15

Thanks Tim!! Eliot (phone) On Mar 31, 2015, at 6:21 AM, commits(a)source.squeak.org wrote: > > Tim Felgentreff uploaded a new version of VMMaker to project VM Maker: > http://source.squeak.org/VMMaker/VMMaker.oscog-tfel.1133.mcz > > ==================== Summary ==================== > > Name: VMMaker.oscog-tfel.1133 > Author: tfel > Time: 31 March 2015, 2:55:58.037 pm > UUID: 662624c8-dadf-394a-a2c9-a5475e564aa4 > Ancestors: VMMaker.oscog-eem.1132 > > Merge changes from VMMaker.tfel-358-tfel.360 > > - Fix simulation of full world draw > - optimize BitBltSimulator to avoid reinitialization on each call to simulatedCopyBits. Makes it roughly 500x faster on RSqueakVM > - Merge simulation fixes and optimizations for Balloon and BitBlt. Relevant changes only the simulation classes, the generated code should be unaffected. > > =============== Diff against VMMaker.oscog-eem.1132 =============== > > Item was added: > + ----- Method: BalloonEngine>>simulateBalloonPrimitive:args: (in category '*VMMaker-InterpreterSimulation') ----- > + simulateBalloonPrimitive: aString args: args > + ^ Smalltalk at: #BalloonEngineSimulation ifPresent: [:be | > + be simulatePrimitive: aString receiver: self args: args]! > > Item was added: > + ----- Method: BalloonEngineSimulation class>>simulatePrimitive:receiver:args: (in category 'simulation') ----- > + simulatePrimitive: aString receiver: rcvr args: args > + > + | proxy bb | > + proxy := InterpreterProxy new. > + proxy synthesizeStackFor: rcvr with: args. > + bb := self simulatorClass new. > + bb setInterpreter: proxy. > + bb initialiseModule. > + "rendering state is loaded in the primitive implementations" > + [bb perform: aString asSymbol] on: Exception do: [:ex | > + proxy success: false]. > + ^ proxy stackValue: 0 > + ! > > Item was changed: > ----- Method: BitBltSimulation>>loadColorMap (in category 'interpreter interface') ----- > loadColorMap > "ColorMap, if not nil, must be longWords, and > 2^N long, where N = sourceDepth for 1, 2, 4, 8 bits, > or N = 9, 12, or 15 (3, 4, 5 bits per color) for 16 or 32 bits." > | cmSize oldStyle oop cmOop | > <inline: true> > cmFlags := cmMask := cmBitsPerColor := 0. > cmShiftTable := nil. > cmMaskTable := nil. > cmLookupTable := nil. > cmOop := interpreterProxy fetchPointer: BBColorMapIndex ofObject: bitBltOop. > cmOop = interpreterProxy nilObject ifTrue:[^true]. > cmFlags := ColorMapPresent. "even if identity or somesuch - may be cleared later" > oldStyle := false. > (interpreterProxy isWords: cmOop) ifTrue:[ > "This is an old-style color map (indexed only, with implicit RGBA conversion)" > cmSize := interpreterProxy slotSizeOf: cmOop. > cmLookupTable := interpreterProxy firstIndexableField: cmOop. > oldStyle := true. > - self cCode: '' inSmalltalk: > - [self assert: cmLookupTable unitSize = 4]. > ] ifFalse: [ > "A new-style color map (fully qualified)" > ((interpreterProxy isPointers: cmOop) > and:[(interpreterProxy slotSizeOf: cmOop) >= 3]) ifFalse:[^false]. > cmShiftTable := self loadColorMapShiftOrMaskFrom: > (interpreterProxy fetchPointer: 0 ofObject: cmOop). > cmMaskTable := self loadColorMapShiftOrMaskFrom: > (interpreterProxy fetchPointer: 1 ofObject: cmOop). > oop := interpreterProxy fetchPointer: 2 ofObject: cmOop. > oop = interpreterProxy nilObject > ifTrue:[cmSize := 0] > ifFalse:[(interpreterProxy isWords: oop) ifFalse:[^false]. > cmSize := (interpreterProxy slotSizeOf: oop). > cmLookupTable := interpreterProxy firstIndexableField: oop]. > cmFlags := cmFlags bitOr: ColorMapNewStyle. > self cCode: '' inSmalltalk: > + [self assert: cmShiftTable unitSize = 4. > + self assert: cmMaskTable unitSize = 4. > + self assert: cmLookupTable unitSize = 4]. > - [self assert: (cmShiftTable isNil or: [cmShiftTable unitSize = 4]). > - self assert: (cmMaskTable isNil or: [cmMaskTable unitSize = 4]). > - self assert: (cmLookupTable isNil or: [cmLookupTable unitSize = 4])]. > ]. > (cmSize bitAnd: cmSize - 1) = 0 ifFalse:[^false]. > cmMask := cmSize - 1. > cmBitsPerColor := 0. > cmSize = 512 ifTrue: [cmBitsPerColor := 3]. > cmSize = 4096 ifTrue: [cmBitsPerColor := 4]. > cmSize = 32768 ifTrue: [cmBitsPerColor := 5]. > cmSize = 0 > ifTrue:[cmLookupTable := nil. cmMask := 0] > ifFalse:[cmFlags := cmFlags bitOr: ColorMapIndexedPart]. > oldStyle "needs implicit conversion" > ifTrue:[ self setupColorMasks]. > "Check if colorMap is just identity mapping for RGBA parts" > (self isIdentityMap: cmShiftTable with: cmMaskTable) > ifTrue:[ cmMaskTable := nil. cmShiftTable := nil ] > ifFalse:[ cmFlags := cmFlags bitOr: ColorMapFixedPart]. > - self cCode: [] inSmalltalk: > - [cmShiftTable ifNotNil: > - [cmShiftTable := CPluggableAccessor new > - setObject: cmShiftTable; > - atBlock: [:obj :idx| obj intAt: idx - 1] > - atPutBlock: [:obj :idx :val| obj intAt: idx - 1 put: val]; > - yourself]]. > ^true! > > Item was changed: > BitBltSimulation subclass: #BitBltSimulator > instanceVariableNames: '' > classVariableNames: '' > poolDictionaries: '' > category: 'VMMaker-InterpreterSimulation'! > + BitBltSimulator class > + instanceVariableNames: 'opTable maskTable warpBitShiftTable ditherMatrix4x4 ditherThresholds16 ditherValues16 dither8Lookup isInitialised'! > > !BitBltSimulator commentStamp: 'tpr 5/5/2003 12:22' prior: 0! > Provide bitblt support for the vm simulator! > + BitBltSimulator class > + instanceVariableNames: 'opTable maskTable warpBitShiftTable ditherMatrix4x4 ditherThresholds16 ditherValues16 dither8Lookup isInitialised'! > > Item was added: > + ----- Method: BitBltSimulator class>>dither8Lookup (in category 'accessing') ----- > + dither8Lookup > + > + ^ dither8Lookup! > > Item was added: > + ----- Method: BitBltSimulator class>>ditherMatrix4x4 (in category 'accessing') ----- > + ditherMatrix4x4 > + > + ^ ditherMatrix4x4! > > Item was added: > + ----- Method: BitBltSimulator class>>ditherThresholds16 (in category 'accessing') ----- > + ditherThresholds16 > + > + ^ ditherThresholds16! > > Item was added: > + ----- Method: BitBltSimulator class>>ditherValues16 (in category 'accessing') ----- > + ditherValues16 > + > + ^ ditherValues16! > > Item was added: > + ----- Method: BitBltSimulator class>>initialize (in category 'class initialization') ----- > + initialize > + "self initialize" > + super initialize. > + isInitialised := false. > + ! > > Item was added: > + ----- Method: BitBltSimulator class>>isInitialised (in category 'accessing') ----- > + isInitialised > + > + ^ isInitialised! > > Item was added: > + ----- Method: BitBltSimulator class>>maskTable (in category 'accessing') ----- > + maskTable > + > + ^ maskTable! > > Item was added: > + ----- Method: BitBltSimulator class>>setInitialised (in category 'accessing') ----- > + setInitialised > + > + isInitialised := true.! > > Item was added: > + ----- Method: BitBltSimulator class>>warpBitShiftTable (in category 'accessing') ----- > + warpBitShiftTable > + > + ^ warpBitShiftTable! > > Item was added: > + ----- Method: BitBltSimulator>>halftoneAt: (in category 'simulation') ----- > + halftoneAt: idx > + > + ^ (halftoneBase + (idx \\ halftoneHeight * 4)) long32At: 0! > > Item was added: > + ----- Method: BitBltSimulator>>initialiseModule (in category 'initialize-release') ----- > + initialiseModule > + > + self class isInitialised ifFalse: [| ivars | > + ivars := #(opTable maskTable warpBitShiftTable ditherMatrix4x4 ditherThresholds16 ditherValues16 dither8Lookup). > + super initialiseModule. > + ivars do: [:symbol | self class instVarNamed: symbol put: (self instVarNamed: symbol)]. > + self class setInitialised]. > + opTable := self class opTable. > + maskTable := self class maskTable. > + warpBitShiftTable := self class warpBitShiftTable. > + ditherMatrix4x4 := self class ditherMatrix4x4. > + ditherThresholds16 := self class ditherThresholds16. > + ditherValues16 := self class ditherValues16. > + dither8Lookup := self class dither8Lookup. > + ! > > Item was changed: > ----- Method: BitBltSimulator>>initializeDitherTables (in category 'simulation') ----- > initializeDitherTables > ditherMatrix4x4 := CArrayAccessor on: > #( 0 8 2 10 > 12 4 14 6 > 3 11 1 9 > 15 7 13 5). > ditherThresholds16 := CArrayAccessor on:#(0 2 4 6 8 10 12 14 16). > ditherValues16 := CArrayAccessor on: > #(0 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30). > + dither8Lookup := CArrayAccessor on: (Array new: 4096).! > - dither8Lookup := CArrayAccessor on: (Array new: 4096). > - self initDither8Lookup.! > > Item was added: > + ----- Method: InterpreterProxy>>synthesizeStackFor:with: (in category 'initialize') ----- > + synthesizeStackFor: receiver with: args > + <doNotGenerate> > + self push: receiver. > + argumentCount := args size. > + 1 to: argumentCount do: [:i | self push: (args at: i)].! >

2 1

VM Maker: VMMaker.oscog-tfel.1133.mcz
by commits＠source.squeak.org 31 Mar '15

31 Mar '15

Tim Felgentreff uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-tfel.1133.mcz ==================== Summary ==================== Name: VMMaker.oscog-tfel.1133 Author: tfel Time: 31 March 2015, 2:55:58.037 pm UUID: 662624c8-dadf-394a-a2c9-a5475e564aa4 Ancestors: VMMaker.oscog-eem.1132 Merge changes from VMMaker.tfel-358-tfel.360 - Fix simulation of full world draw - optimize BitBltSimulator to avoid reinitialization on each call to simulatedCopyBits. Makes it roughly 500x faster on RSqueakVM - Merge simulation fixes and optimizations for Balloon and BitBlt. Relevant changes only the simulation classes, the generated code should be unaffected. =============== Diff against VMMaker.oscog-eem.1132 =============== Item was added: + ----- Method: BalloonEngine>>simulateBalloonPrimitive:args: (in category '*VMMaker-InterpreterSimulation') ----- + simulateBalloonPrimitive: aString args: args + ^ Smalltalk at: #BalloonEngineSimulation ifPresent: [:be | + be simulatePrimitive: aString receiver: self args: args]! Item was added: + ----- Method: BalloonEngineSimulation class>>simulatePrimitive:receiver:args: (in category 'simulation') ----- + simulatePrimitive: aString receiver: rcvr args: args + + | proxy bb | + proxy := InterpreterProxy new. + proxy synthesizeStackFor: rcvr with: args. + bb := self simulatorClass new. + bb setInterpreter: proxy. + bb initialiseModule. + "rendering state is loaded in the primitive implementations" + [bb perform: aString asSymbol] on: Exception do: [:ex | + proxy success: false]. + ^ proxy stackValue: 0 + ! Item was changed: ----- Method: BitBltSimulation>>loadColorMap (in category 'interpreter interface') ----- loadColorMap "ColorMap, if not nil, must be longWords, and 2^N long, where N = sourceDepth for 1, 2, 4, 8 bits, or N = 9, 12, or 15 (3, 4, 5 bits per color) for 16 or 32 bits." | cmSize oldStyle oop cmOop | <inline: true> cmFlags := cmMask := cmBitsPerColor := 0. cmShiftTable := nil. cmMaskTable := nil. cmLookupTable := nil. cmOop := interpreterProxy fetchPointer: BBColorMapIndex ofObject: bitBltOop. cmOop = interpreterProxy nilObject ifTrue:[^true]. cmFlags := ColorMapPresent. "even if identity or somesuch - may be cleared later" oldStyle := false. (interpreterProxy isWords: cmOop) ifTrue:[ "This is an old-style color map (indexed only, with implicit RGBA conversion)" cmSize := interpreterProxy slotSizeOf: cmOop. cmLookupTable := interpreterProxy firstIndexableField: cmOop. oldStyle := true. - self cCode: '' inSmalltalk: - [self assert: cmLookupTable unitSize = 4]. ] ifFalse: [ "A new-style color map (fully qualified)" ((interpreterProxy isPointers: cmOop) and:[(interpreterProxy slotSizeOf: cmOop) >= 3]) ifFalse:[^false]. cmShiftTable := self loadColorMapShiftOrMaskFrom: (interpreterProxy fetchPointer: 0 ofObject: cmOop). cmMaskTable := self loadColorMapShiftOrMaskFrom: (interpreterProxy fetchPointer: 1 ofObject: cmOop). oop := interpreterProxy fetchPointer: 2 ofObject: cmOop. oop = interpreterProxy nilObject ifTrue:[cmSize := 0] ifFalse:[(interpreterProxy isWords: oop) ifFalse:[^false]. cmSize := (interpreterProxy slotSizeOf: oop). cmLookupTable := interpreterProxy firstIndexableField: oop]. cmFlags := cmFlags bitOr: ColorMapNewStyle. self cCode: '' inSmalltalk: + [self assert: cmShiftTable unitSize = 4. + self assert: cmMaskTable unitSize = 4. + self assert: cmLookupTable unitSize = 4]. - [self assert: (cmShiftTable isNil or: [cmShiftTable unitSize = 4]). - self assert: (cmMaskTable isNil or: [cmMaskTable unitSize = 4]). - self assert: (cmLookupTable isNil or: [cmLookupTable unitSize = 4])]. ]. (cmSize bitAnd: cmSize - 1) = 0 ifFalse:[^false]. cmMask := cmSize - 1. cmBitsPerColor := 0. cmSize = 512 ifTrue: [cmBitsPerColor := 3]. cmSize = 4096 ifTrue: [cmBitsPerColor := 4]. cmSize = 32768 ifTrue: [cmBitsPerColor := 5]. cmSize = 0 ifTrue:[cmLookupTable := nil. cmMask := 0] ifFalse:[cmFlags := cmFlags bitOr: ColorMapIndexedPart]. oldStyle "needs implicit conversion" ifTrue:[ self setupColorMasks]. "Check if colorMap is just identity mapping for RGBA parts" (self isIdentityMap: cmShiftTable with: cmMaskTable) ifTrue:[ cmMaskTable := nil. cmShiftTable := nil ] ifFalse:[ cmFlags := cmFlags bitOr: ColorMapFixedPart]. - self cCode: [] inSmalltalk: - [cmShiftTable ifNotNil: - [cmShiftTable := CPluggableAccessor new - setObject: cmShiftTable; - atBlock: [:obj :idx| obj intAt: idx - 1] - atPutBlock: [:obj :idx :val| obj intAt: idx - 1 put: val]; - yourself]]. ^true! Item was changed: BitBltSimulation subclass: #BitBltSimulator instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'VMMaker-InterpreterSimulation'! + BitBltSimulator class + instanceVariableNames: 'opTable maskTable warpBitShiftTable ditherMatrix4x4 ditherThresholds16 ditherValues16 dither8Lookup isInitialised'! !BitBltSimulator commentStamp: 'tpr 5/5/2003 12:22' prior: 0! Provide bitblt support for the vm simulator! + BitBltSimulator class + instanceVariableNames: 'opTable maskTable warpBitShiftTable ditherMatrix4x4 ditherThresholds16 ditherValues16 dither8Lookup isInitialised'! Item was added: + ----- Method: BitBltSimulator class>>dither8Lookup (in category 'accessing') ----- + dither8Lookup + + ^ dither8Lookup! Item was added: + ----- Method: BitBltSimulator class>>ditherMatrix4x4 (in category 'accessing') ----- + ditherMatrix4x4 + + ^ ditherMatrix4x4! Item was added: + ----- Method: BitBltSimulator class>>ditherThresholds16 (in category 'accessing') ----- + ditherThresholds16 + + ^ ditherThresholds16! Item was added: + ----- Method: BitBltSimulator class>>ditherValues16 (in category 'accessing') ----- + ditherValues16 + + ^ ditherValues16! Item was added: + ----- Method: BitBltSimulator class>>initialize (in category 'class initialization') ----- + initialize + "self initialize" + super initialize. + isInitialised := false. + ! Item was added: + ----- Method: BitBltSimulator class>>isInitialised (in category 'accessing') ----- + isInitialised + + ^ isInitialised! Item was added: + ----- Method: BitBltSimulator class>>maskTable (in category 'accessing') ----- + maskTable + + ^ maskTable! Item was added: + ----- Method: BitBltSimulator class>>setInitialised (in category 'accessing') ----- + setInitialised + + isInitialised := true.! Item was added: + ----- Method: BitBltSimulator class>>warpBitShiftTable (in category 'accessing') ----- + warpBitShiftTable + + ^ warpBitShiftTable! Item was added: + ----- Method: BitBltSimulator>>halftoneAt: (in category 'simulation') ----- + halftoneAt: idx + + ^ (halftoneBase + (idx \\ halftoneHeight * 4)) long32At: 0! Item was added: + ----- Method: BitBltSimulator>>initialiseModule (in category 'initialize-release') ----- + initialiseModule + + self class isInitialised ifFalse: [| ivars | + ivars := #(opTable maskTable warpBitShiftTable ditherMatrix4x4 ditherThresholds16 ditherValues16 dither8Lookup). + super initialiseModule. + ivars do: [:symbol | self class instVarNamed: symbol put: (self instVarNamed: symbol)]. + self class setInitialised]. + opTable := self class opTable. + maskTable := self class maskTable. + warpBitShiftTable := self class warpBitShiftTable. + ditherMatrix4x4 := self class ditherMatrix4x4. + ditherThresholds16 := self class ditherThresholds16. + ditherValues16 := self class ditherValues16. + dither8Lookup := self class dither8Lookup. + ! Item was changed: ----- Method: BitBltSimulator>>initializeDitherTables (in category 'simulation') ----- initializeDitherTables ditherMatrix4x4 := CArrayAccessor on: #( 0 8 2 10 12 4 14 6 3 11 1 9 15 7 13 5). ditherThresholds16 := CArrayAccessor on:#(0 2 4 6 8 10 12 14 16). ditherValues16 := CArrayAccessor on: #(0 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30). + dither8Lookup := CArrayAccessor on: (Array new: 4096).! - dither8Lookup := CArrayAccessor on: (Array new: 4096). - self initDither8Lookup.! Item was added: + ----- Method: InterpreterProxy>>synthesizeStackFor:with: (in category 'initialize') ----- + synthesizeStackFor: receiver with: args + <doNotGenerate> + self push: receiver. + argumentCount := args size. + 1 to: argumentCount do: [:i | self push: (args at: i)].!

1 0

VM Maker: VMMaker.oscog-eem.1132.mcz
by commits＠source.squeak.org 31 Mar '15

31 Mar '15

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1132.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.1132 Author: eem Time: 30 March 2015, 6:09:19.787 pm UUID: 3dd41ab4-d8a1-4129-ac2d-6da7a7cfd543 Ancestors: VMMaker.oscog-eem.1131 Comment an obscurantism. =============== Diff against VMMaker.oscog-eem.1131 =============== Item was changed: ----- Method: SimpleStackBasedCogit>>genFastPrimTraceUsing:and: (in category 'primitive generators') ----- genFastPrimTraceUsing: r1 and: r2 "Suport for compileInterpreterPrimitive. Generate inline code so as to record the primitive trace as fast as possible." self MoveCq: 0 R: TempReg. self MoveCq: 0 R: r2. "N.B. MoveMb:r:R: does not zero other bits" + "Too lazy to add MoveAbR and MoveRAb, so misuse MoveMbrR and MoveRMbr" self MoveMb: coInterpreter primTraceLogIndexAddress r: TempReg R: r2. self MoveR: r2 R: r1. self AddCq: 1 R: r1. self MoveR: r1 Mb: coInterpreter primTraceLogIndexAddress r: TempReg. methodLabel addDependent: (self annotateAbsolutePCRef: (self MoveCw: methodLabel asInteger R: r1)). self MoveMw: (self offset: CogMethod of: #selector) r: r1 R: TempReg. self MoveCw: coInterpreter primTraceLogAddress asInteger R: r1. self MoveR: TempReg Xwr: r2 R: r1!

1 0

VM Maker: VMMaker.oscog-eem.1131.mcz
by commits＠source.squeak.org 31 Mar '15

31 Mar '15

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1131.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.1131 Author: eem Time: 30 March 2015, 5:40:05.693 pm UUID: 5b810f83-978b-4275-999c-61ed1a9a39d8 Ancestors: VMMaker.oscog-eem.1130 Integrate Ryan's SelfSends (new self send entry-point) code. Refactor send generation to take the send table to use as an argument. rename sendTable to ordinarySendTable. =============== Diff against VMMaker.oscog-eem.1130 =============== Item was added: + ----- Method: CoInterpreter>>ceSelfSend:to:numArgs: (in category 'trampolines') ----- + ceSelfSend: selector to: rcvr numArgs: numArgs + "Entry-point for an unlinked self send in a CogMethod. Smalltalk stack looks like + receiver + args + head sp -> sender return pc + + If an MNU then defer to handleMNUInMachineCodeTo:... which will dispatch the MNU and + may choose to allocate a closed PIC with a fast MNU dispatch for this send. Otherwise + attempt to link the send site as efficiently as possible. All link attempts may fail; e.g. + because we're out of code memory. + + Continue execution via either executeMethod or interpretMethodFromMachineCode: + depending on whether the target method is cogged or not." + <api> + <option: #NewspeakVM> + | classTag errSelIdx cogMethod | + <inline: false> + <var: #cogMethod type: #'CogMethod *'> + <var: #newCogMethod type: #'CogMethod *'> + true ifTrue: [^self ceSend: selector super: 0 to: rcvr numArgs: numArgs]. + "self printExternalHeadFrame" + "self printStringOf: selector" + cogit assertCStackWellAligned. + self assert: (objectMemory addressCouldBeOop: rcvr). + self sendBreakpoint: selector receiver: rcvr. + classTag := objectMemory fetchClassTagOf: rcvr. + argumentCount := numArgs. + (self lookupInMethodCacheSel: selector classTag: classTag) + ifTrue:"check for coggability because method is in the cache" + [self + ifAppropriateCompileToNativeCode: newMethod + selector: selector] + ifFalse: + [(objectMemory isOopForwarded: selector) ifTrue: + [^self + ceSelfSend: (self handleForwardedSelectorFaultFor: selector) + to: rcvr + numArgs: numArgs]. + (objectMemory isForwardedClassTag: classTag) ifTrue: + [^self + ceSelfSend: selector + to: (self handleForwardedSendFaultForReceiver: rcvr stackDelta: 1 "skip return pc") + numArgs: numArgs]. + messageSelector := selector. + (errSelIdx := self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: classTag)) ~= 0 ifTrue: + [self handleMNU: errSelIdx InMachineCodeTo: rcvr classForMessage: (objectMemory classForClassTag: classTag). + self assert: false "NOTREACHED"]]. + "Method found and has a cog method. Attempt to link to it." + (self maybeMethodHasCogMethod: newMethod) ifTrue: + [cogMethod := self cogMethodOf: newMethod. + cogMethod selector = objectMemory nilObject + ifTrue: [cogit setSelectorOf: cogMethod to: selector] + ifFalse: + ["Deal with anonymous accessors, e.g. in Newspeak. The cogMethod may not have the correct + selector. If not, try and compile a new method with the correct selector." + cogMethod selector ~= selector ifTrue: + [(cogit cog: newMethod selector: selector) ifNotNil: + [:newCogMethod| cogMethod := newCogMethod]]]. + cogMethod selector = selector ifTrue: + [cogit + linkSendAt: (stackPages longAt: stackPointer) + in: (self mframeHomeMethod: framePointer) + to: cogMethod + offset: cogit selfSendEntryOffset + receiver: rcvr]. + instructionPointer := self popStack. + self executeNewMethod. + self assert: false "NOTREACHED"]. + instructionPointer := self popStack. + ^self interpretMethodFromMachineCode + "NOTREACHED"! Item was changed: CogClass subclass: #Cogit + instanceVariableNames: 'coInterpreter objectMemory objectRepresentation processor threadManager methodZone methodZoneBase codeBase minValidCallAddress lastNInstructions simulatedAddresses simulatedTrampolines simulatedVariableGetters simulatedVariableSetters printRegisters printInstructions compilationTrace clickConfirm breakPC breakBlock singleStep guardPageSize traceFlags traceStores breakMethod methodObj initialPC endPC methodOrBlockNumArgs inBlock needsFrame hasYoungReferent primitiveIndex backEnd callerSavedRegMask postCompileHook primInvokeLabel methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMiss missOffset entryPointMask checkedEntryAlignment uncheckedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry dynSuperEntry dynSuperEntryAlignment cmDynSuperEntryOffset picMNUAbort picInterpretAbort endCPICCase0 endCPICCase1 numPICCases firstCPICCaseOffset cPICCaseSize cPICEndSize closedPICSize openPICSize fixups abstractOpcodes annotations generatorTable primitiveGeneratorTable byte0 byte1 byte2 byte3 bytecodePC bytecodeSetOffset opcodeIndex numAbstractOpcodes annotationIndex blockStarts blockCount labelCounter cStackAlignment expectedSPAlignment expectedFPAlignment codeModified maxLitIndex ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceEnterCogCodePopReceiverReg ceCallCogCodePopReceiverReg ceCallCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline ceImplicitReceiverTrampoline ceEnclosingObjectTrampoline ceCaptureCStackPointers ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetSP ordinarySendTrampolines superSendTrampolines dynamicSuperSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCECallCogCodePopReceiverReg realCECallCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner cogMethodSurrogateClass cogBlockMethodSurrogateClass extA extB numIRCs indexOfIRC theIRCs selfSendEntry cmSelfSendEntryOffset selfSendEntryAlignment selfSendTrampolines' - instanceVariableNames: 'coInterpreter objectMemory objectRepresentation processor threadManager methodZone methodZoneBase codeBase minValidCallAddress lastNInstructions simulatedAddresses simulatedTrampolines simulatedVariableGetters simulatedVariableSetters printRegisters printInstructions compilationTrace clickConfirm breakPC breakBlock singleStep guardPageSize traceFlags traceStores breakMethod methodObj initialPC endPC methodOrBlockNumArgs inBlock needsFrame hasYoungReferent primitiveIndex backEnd callerSavedRegMask postCompileHook primInvokeLabel methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMiss missOffset entryPointMask checkedEntryAlignment uncheckedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry dynSuperEntry dynSuperEntryAlignment cmDynSuperEntryOffset picMNUAbort picInterpretAbort endCPICCase0 endCPICCase1 numPICCases firstCPICCaseOffset cPICCaseSize cPICEndSize closedPICSize openPICSize fixups abstractOpcodes annotations generatorTable primitiveGeneratorTable byte0 byte1 byte2 byte3 bytecodePC bytecodeSetOffset opcodeIndex numAbstractOpcodes annotationIndex blockStarts blockCount labelCounter cStackAlignment expectedSPAlignment expectedFPAlignment codeModified maxLitIndex ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceEnterCogCodePopReceiverReg ceCallCogCodePopReceiverReg ceCallCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline ceImplicitReceiverTrampoline ceEnclosingObjectTrampoline ceCaptureCStackPointers ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetSP sendTrampolines superSendTrampolines dynamicSuperSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCECallCogCodePopReceiverReg realCECallCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner cogMethodSurrogateClass cogBlockMethodSurrogateClass extA extB numIRCs indexOfIRC theIRCs' classVariableNames: 'AltBlockCreationBytecodeSize AltFirstSpecialSelector AltNSSendIsPCAnnotated AnnotationConstantNames AnnotationShift BlockCreationBytecodeSize Debug DisplacementMask DisplacementX2N EagerInstructionDecoration FirstAnnotation FirstSpecialSelector HasBytecodePC IsAbsPCReference IsDisplacement IsDisplacementX2N IsNSSendCall IsObjectReference IsRelativeCall IsSendCall MapEnd MaxCompiledPrimitiveIndex MaxStackAllocSize MaxUnitDisplacement MaxX2NDisplacement NSSendIsPCAnnotated NumObjRefsInRuntime NumOopsPerIRC NumSendTrampolines NumTrampolines ProcessorClass' poolDictionaries: 'CogCompilationConstants CogMethodConstants CogRTLOpcodes VMBasicConstants VMObjectIndices VMStackFrameOffsets' category: 'VMMaker-JIT'! Cogit class instanceVariableNames: 'generatorTable primitiveTable'! !Cogit commentStamp: 'eem 2/13/2013 15:37' prior: 0! I am the code generator for the Cog VM. My job is to produce machine code versions of methods for faster execution and to manage inline caches for faster send performance. I can be tested in the current image using my class-side in-image compilation facilities. e.g. try StackToRegisterMappingCogit genAndDis: (Integer >> #benchFib) I have concrete subclasses that implement different levels of optimization: SimpleStackBasedCogit is the simplest code generator. StackToRegisterMappingCogit is the current production code generator It defers pushing operands to the stack until necessary and implements a register-based calling convention for low-arity sends. StackToRegisterMappingCogit is an experimental code generator with support for counting conditional branches, intended to support adaptive optimization. coInterpreter <CoInterpreterSimulator> the VM's interpreter with which I cooperate methodZoneManager <CogMethodZoneManager> the manager of the machine code zone objectRepresentation <CogObjectRepresentation> the object used to generate object accesses processor <BochsIA32Alien|?> the simulator that executes the IA32/x86 machine code I generate when simulating execution in Smalltalk simulatedTrampolines <Dictionary of Integer -> MessageSend> the dictionary mapping trap jump addresses to run-time routines used to warp from simulated machine code in to the Smalltalk run-time. simulatedVariableGetters <Dictionary of Integer -> MessageSend> the dictionary mapping trap read addresses to variables in run-time objects used to allow simulated machine code to read variables in the Smalltalk run-time. simulatedVariableSetters <Dictionary of Integer -> MessageSend> the dictionary mapping trap write addresses to variables in run-time objects used to allow simulated machine code to write variables in the Smalltalk run-time. printRegisters printInstructions clickConfirm <Boolean> flags controlling debug printing and code simulation breakPC <Integer> machine code pc breakpoint cFramePointer cStackPointer <Integer> the variables representing the C stack & frame pointers, which must change on FFI callback and return selectorOop <sqInt> the oop of the methodObj being compiled methodObj <sqInt> the bytecode method being compiled initialPC endPC <Integer> the start and end pcs of the methodObj being compiled methodOrBlockNumArgs <Integer> argument count of current method or block being compiled needsFrame <Boolean> whether methodObj or block needs a frame to execute primitiveIndex <Integer> primitive index of current method being compiled methodLabel <CogAbstractOpcode> label for the method header blockEntryLabel <CogAbstractOpcode> label for the start of the block dispatch code stackOverflowCall <CogAbstractOpcode> label for the call of ceStackOverflow in the method prolog sendMissCall <CogAbstractOpcode> label for the call of ceSICMiss in the method prolog entryOffset <Integer> offset of method entry code from start (header) of method entry <CogAbstractOpcode> label for the first instruction of the method entry code noCheckEntryOffset <Integer> offset of the start of a method proper (after the method entry code) from start (header) of method noCheckEntry <CogAbstractOpcode> label for the first instruction of start of a method proper fixups <Array of <AbstractOpcode Label | nil>> the labels for forward jumps that will be fixed up when reaching the relevant bytecode. fixup shas one element per byte in methodObj's bytecode abstractOpcodes <Array of <AbstractOpcode>> the code generated when compiling methodObj byte0 byte1 byte2 byte3 <Integer> individual bytes of current bytecode being compiled in methodObj bytecodePointer <Integer> bytecode pc (same as Smalltalk) of the current bytecode being compiled opcodeIndex <Integer> the index of the next free entry in abstractOpcodes (this code is translated into C where OrderedCollection et al do not exist) numAbstractOpcodes <Integer> the number of elements in abstractOpcocdes blockStarts <Array of <BlockStart>> the starts of blocks in the current method blockCount the index into blockStarts as they are being noted, and hence eventuakly teh total number of blocks in the current method labelCounter <Integer> a nicety for numbering labels not needed in the production system but probably not expensive enough to worry about ceStackOverflowTrampoline <Integer> ceSend0ArgsTrampoline <Integer> ceSend1ArgsTrampoline <Integer> ceSend2ArgsTrampoline <Integer> ceSendNArgsTrampoline <Integer> ceSendSuper0ArgsTrampoline <Integer> ceSendSuper1ArgsTrampoline <Integer> ceSendSuper2ArgsTrampoline <Integer> ceSendSuperNArgsTrampoline <Integer> ceSICMissTrampoline <Integer> ceCPICMissTrampoline <Integer> ceStoreCheckTrampoline <Integer> ceReturnToInterpreterTrampoline <Integer> ceBaseFrameReturnTrampoline <Integer> ceSendMustBeBooleanTrampoline <Integer> ceClosureCopyTrampoline <Integer> the various trampolines (system-call-like jumps from machine code to the run-time). See Cogit>>generateTrampolines for the mapping from trampoline to run-time routine and then read the run-time routine for a funcitonal description. ceEnterCogCodePopReceiverReg <Integer> the enilopmart (jump from run-time to machine-code) methodZoneBase <Integer> ! Cogit class instanceVariableNames: 'generatorTable primitiveTable'! Item was changed: ----- Method: Cogit class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCCodeGenerator #( 'coInterpreter' 'objectMemory' 'methodZone' 'objectRepresentation' 'cogBlockMethodSurrogateClass' 'cogMethodSurrogateClass' 'threadManager' 'processor' 'lastNInstructions' 'simulatedAddresses' 'simulatedTrampolines' 'simulatedVariableGetters' 'simulatedVariableSetters' 'printRegisters' 'printInstructions' 'clickConfirm' 'singleStep') do: [:simulationVariableNotNeededForRealVM| aCCodeGenerator removeVariable: simulationVariableNotNeededForRealVM]. NewspeakVM ifFalse: + [#( 'selfSendEntry' 'selfSendEntryAlignment' 'dynSuperEntry' 'dynSuperEntryAlignment' + 'selfSendTrampolines' 'dynamicSuperSendTrampolines' 'ceImplicitReceiverTrampoline' + 'ceEnclosingObjectTrampoline' 'cmSelfSendEntryOffset' 'cmDynSuperEntryOffset' - [#( 'dynSuperEntry' 'dynSuperEntryAlignment' 'dynamicSuperSendTrampolines' - 'ceImplicitReceiverTrampoline' 'ceEnclosingObjectTrampoline' 'cmDynSuperEntryOffset' 'numIRCs' 'indexOfIRC' 'theIRCs') do: [:variableNotNeededInNormalVM| aCCodeGenerator removeVariable: variableNotNeededInNormalVM]]. aCCodeGenerator removeConstant: #COGMTVM. "this should be defined at compile time" aCCodeGenerator addHeaderFile:'<stddef.h>'; "for e.g. offsetof" addHeaderFile:'"sqCogStackAlignment.h"'; addHeaderFile:'"dispdbg.h"'; "must preceed cointerp.h & cogit.h otherwise NoDbgRegParms gets screwed up" addHeaderFile:'"cogmethod.h"'; addHeaderFile:'#if COGMTVM'; addHeaderFile:'"cointerpmt.h"'; addHeaderFile:'#else'; addHeaderFile:'"cointerp.h"'; addHeaderFile:'#endif'; addHeaderFile:'"cogit.h"'. aCCodeGenerator var: #ceGetSP declareC: 'unsigned long (*ceGetSP)(void)'; var: #ceCaptureCStackPointers declareC: 'void (*ceCaptureCStackPointers)(void)'; var: #ceEnterCogCodePopReceiverReg declareC: 'void (*ceEnterCogCodePopReceiverReg)(void)'; var: #realCEEnterCogCodePopReceiverReg declareC: 'void (*realCEEnterCogCodePopReceiverReg)(void)'; var: #ceCallCogCodePopReceiverReg declareC: 'void (*ceCallCogCodePopReceiverReg)(void)'; var: #realCECallCogCodePopReceiverReg declareC: 'void (*realCECallCogCodePopReceiverReg)(void)'; var: #ceCallCogCodePopReceiverAndClassRegs declareC: 'void (*ceCallCogCodePopReceiverAndClassRegs)(void)'; var: #realCECallCogCodePopReceiverAndClassRegs declareC: 'void (*realCECallCogCodePopReceiverAndClassRegs)(void)'; var: #ceFlushICache declareC: 'static void (*ceFlushICache)(unsigned long from, unsigned long to)'; var: #ceCheckFeaturesFunction declareC: 'static unsigned long (*ceCheckFeaturesFunction)(void)'; var: #ceTryLockVMOwner declareC: 'unsigned long (*ceTryLockVMOwner)(void)'; var: #ceUnlockVMOwner declareC: 'void (*ceUnlockVMOwner)(void)'; var: #postCompileHook declareC: 'void (*postCompileHook)(CogMethod *, void *)'; var: #openPICList declareC: 'CogMethod *openPICList = 0'; var: #maxMethodBefore type: #'CogBlockMethod *'. aCCodeGenerator declareVar: 'aMethodLabel' type: #'AbstractInstruction'; "Has to come lexicographically before backEnd & methodLabel" var: #backEnd declareC: 'AbstractInstruction * const backEnd = &aMethodLabel'; var: #methodLabel declareC: 'AbstractInstruction * const methodLabel = &aMethodLabel'; var: #primInvokeLabel type: #'AbstractInstruction *'. self declareC: #(abstractOpcodes stackCheckLabel blockEntryLabel blockEntryNoContextSwitch + stackOverflowCall sendMiss entry noCheckEntry selfSendEntry dynSuperEntry - stackOverflowCall sendMiss entry noCheckEntry dynSuperEntry picMNUAbort picInterpretAbort endCPICCase0 endCPICCase1) as: #'AbstractInstruction *' in: aCCodeGenerator. aCCodeGenerator declareVar: #annotations type: #'InstructionAnnotation *'; declareVar: #blockStarts type: #'BlockStart *'; declareVar: #fixups type: #'BytecodeFixup *'. aCCodeGenerator + var: #ordinarySendTrampolines + declareC: 'sqInt ordinarySendTrampolines[NumSendTrampolines]'; - var: #sendTrampolines - declareC: 'sqInt sendTrampolines[NumSendTrampolines]'; var: #superSendTrampolines declareC: 'sqInt superSendTrampolines[NumSendTrampolines]'; + var: #selfSendTrampolines + declareC: 'sqInt selfSendTrampolines[NumSendTrampolines]'; var: #dynamicSuperSendTrampolines declareC: 'sqInt dynamicSuperSendTrampolines[NumSendTrampolines]'; var: #trampolineAddresses declareC: 'static char *trampolineAddresses[NumTrampolines*2]'; var: #objectReferencesInRuntime declareC: 'static sqInt objectReferencesInRuntime[NumObjRefsInRuntime]'; var: #labelCounter type: #int; var: #traceFlags declareC: 'int traceFlags = 8 /* prim trace log on by default */'; var: #cStackAlignment declareC: 'const int cStackAlignment = STACK_ALIGN_BYTES'. aCCodeGenerator declareVar: #CFramePointer type: #'void *'; declareVar: #CStackPointer type: #'void *'; declareVar: #minValidCallAddress type: #'unsigned long'; declareVar: #debugPrimCallStackOffset type: #'unsigned long'. aCCodeGenerator vmClass generatorTable ifNotNil: [:bytecodeGenTable| aCCodeGenerator var: #generatorTable declareC: 'static BytecodeDescriptor generatorTable[', bytecodeGenTable size, ']', (self tableInitializerFor: bytecodeGenTable in: aCCodeGenerator); var: #primitiveGeneratorTable declareC: 'static PrimitiveDescriptor primitiveGeneratorTable[MaxCompiledPrimitiveIndex+1]', (self tableInitializerFor: aCCodeGenerator vmClass primitiveTable in: aCCodeGenerator)]. "In C the abstract opcode names clash with the Smalltak generator syntactic sugar. Most of the syntactic sugar is inlined, but alas some remains. Rename the syntactic sugar to avoid the clash." (self organization listAtCategoryNamed: #'abstract instructions') do: [:s| aCCodeGenerator addSelectorTranslation: s to: 'g', (aCCodeGenerator cFunctionNameFor: s)]. aCCodeGenerator addSelectorTranslation: #halt: to: 'haltmsg'! Item was changed: ----- Method: Cogit>>ceSICMiss: (in category 'in-line cacheing') ----- ceSICMiss: receiver "An in-line cache check in a method has failed. The failing entry check has jumped to the ceMethodAbort abort call at the start of the method which has called this routine. If possible allocate a closed PIC for the current and existing classes. The stack looks like: receiver args sender return address sp=> ceMethodAbort call return address So we can find the method that did the failing entry check at ceMethodAbort call return address - missOffset and we can find the send site from the outer return address." <api> | pic innerReturn outerReturn entryPoint targetMethod newTargetMethodOrNil errorSelectorOrNil cacheTag extent result | <var: #pic type: #'CogMethod *'> <var: #targetMethod type: #'CogMethod *'> "Whether we can relink to a PIC or not we need to pop off the inner return and identify the target method." innerReturn := coInterpreter popStack. targetMethod := self cCoerceSimple: innerReturn - missOffset to: #'CogMethod *'. (objectMemory isOopForwarded: receiver) ifTrue: [^coInterpreter ceSendFromInLineCacheMiss: targetMethod]. outerReturn := coInterpreter stackTop. self assert: (outerReturn between: methodZoneBase and: methodZone freeStart). entryPoint := backEnd callTargetFromReturnAddress: outerReturn. self assert: targetMethod selector ~= objectMemory nilObject. self cppIf: NewspeakVM ifTrue: [self assert: (targetMethod asInteger + cmEntryOffset = entryPoint + or: [targetMethod asInteger + cmSelfSendEntryOffset = entryPoint + or: [targetMethod asInteger + cmDynSuperEntryOffset = entryPoint]]). - or: [targetMethod asInteger + cmDynSuperEntryOffset = entryPoint]). "Avoid the effort of implementing PICs for the relatively low dynamic frequency dynamic super send and simply rebind the send site." + targetMethod asInteger + cmSelfSendEntryOffset = entryPoint ifTrue: + [^coInterpreter + ceSelfSend: targetMethod selector + to: receiver + numArgs: targetMethod cmNumArgs]. targetMethod asInteger + cmDynSuperEntryOffset = entryPoint ifTrue: [^coInterpreter ceDynamicSuperSend: targetMethod selector to: receiver numArgs: targetMethod cmNumArgs]]. self assert: targetMethod asInteger + cmEntryOffset = entryPoint. self lookup: targetMethod selector for: receiver methodAndErrorSelectorInto: [:method :errsel| newTargetMethodOrNil := method. errorSelectorOrNil := errsel]. "We assume lookupAndCog:for: will *not* reclaim the method zone" self assert: outerReturn = coInterpreter stackTop. cacheTag := objectRepresentation inlineCacheTagForInstance: receiver. ((errorSelectorOrNil notNil and: [errorSelectorOrNil ~= SelectorDoesNotUnderstand]) or: [(objectRepresentation inlineCacheTagIsYoung: cacheTag) or: [(backEnd inlineCacheTagAt: outerReturn) = self picAbortDiscriminatorValue or: [newTargetMethodOrNil isNil or: [objectMemory isYoung: newTargetMethodOrNil]]]]) ifTrue: [result := self patchToOpenPICFor: targetMethod selector numArgs: targetMethod cmNumArgs receiver: receiver. self assert: result not. "If patchToOpenPICFor:.. returns we're out of code memory" ^coInterpreter ceSendFromInLineCacheMiss: targetMethod]. "See if an Open PIC is already available." pic := methodZone openPICWithSelector: targetMethod selector. pic isNil ifTrue: ["otherwise attempt to create a closed PIC for the two cases." pic := self cogPICSelector: targetMethod selector numArgs: targetMethod cmNumArgs Case0Method: targetMethod Case1Method: newTargetMethodOrNil tag: cacheTag isMNUCase: errorSelectorOrNil = SelectorDoesNotUnderstand. (pic asInteger between: MaxNegativeErrorCode and: -1) ifTrue: ["For some reason the PIC couldn't be generated, most likely a lack of code memory. Continue as if this is an unlinked send." pic asInteger = InsufficientCodeSpace ifTrue: [coInterpreter callForCogCompiledCodeCompaction]. ^coInterpreter ceSendFromInLineCacheMiss: targetMethod]. processor flushICacheFrom: pic asInteger to: pic asInteger + closedPICSize]. "Relink the send site to the pic. If to an open PIC then reset the cache tag to the selector, for the benefit of the cacheTag assert check in checkIfValidObjectRef:pc:cogMethod:." extent := pic cmType = CMOpenPIC ifTrue: [backEnd rewriteInlineCacheAt: outerReturn tag: targetMethod selector target: pic asInteger + cmEntryOffset] ifFalse: [backEnd rewriteCallAt: outerReturn target: pic asInteger + cmEntryOffset]. processor flushICacheFrom: outerReturn - 1 - extent to: outerReturn - 1. "Jump back into the pic at its entry in case this is an MNU (newTargetMethodOrNil is nil)" coInterpreter executeCogPIC: pic fromLinkedSendWithReceiver: receiver andCacheTag: (backEnd inlineCacheTagAt: outerReturn). "NOTREACHED" ^nil! Item was changed: ----- Method: Cogit>>compileCPICEntry (in category 'in-line cacheing') ----- compileCPICEntry <returnTypeC: #'AbstractInstruction *'> "Compile the cache tag computation and the first comparison. Answer the address of that comparison." self cppIf: NewspeakVM ifTrue: + [self Nop. "1st nop differentiates from no-check entry if using nextMethod" + selfSendEntry := self Nop. - [self Nop. "1st nop differentiates dynSuperEntry from no-check entry if using nextMethod" dynSuperEntry := self Nop]. entry := objectRepresentation genGetInlineCacheClassTagFrom: ReceiverResultReg into: TempReg forEntry: true. self CmpR: ClassReg R: TempReg. ^self JumpNonZero: 0! Item was changed: ----- Method: Cogit>>compileEntry (in category 'compile abstract instructions') ----- compileEntry "The entry code to a method checks that the class of the current receiver matches that in the inline cache. Other non-obvious elements are that its alignment must be different from the alignment of the noCheckEntry so that the method map machinery can distinguish normal and super sends (super sends bind to the noCheckEntry). + In Newspeak we also need to distinguish dynSuperSends and self sends from normal + and super sends and so on Newspeak, bind the dynSuperEntry and selfSendEntry to + preceeding nops (on x86 there happens to be at least one anyway)." - In Newspeak we also need to distinguish dynSuperSends from normal and super - and so on Nespeak, bind the dynSuperEntry to the preceeding nop (on x86 there - happens to be one anyway)." self cppIf: NewspeakVM ifTrue: + [self Nop. "1st nop differentiates from no-check entry if using nextMethod". + dynSuperEntry := self Nop. + selfSendEntry := self Nop]. "Put selfSend last as it has higher dynamic frequency." - [self Nop. "1st nop differentiates dynSuperEntry from no-check entry if using nextMethod" - dynSuperEntry := self Nop]. entry := objectRepresentation genGetInlineCacheClassTagFrom: ReceiverResultReg into: TempReg forEntry: true. self CmpR: ClassReg R: TempReg. self JumpNonZero: sendMiss. noCheckEntry := self Label. self compileSendTrace ifTrue: [backEnd saveAndRestoreLinkRegAround: [self CallRT: ceTraceLinkedSendTrampoline]]! Item was changed: ----- Method: Cogit>>computeEntryOffsets (in category 'initialization') ----- computeEntryOffsets "Generate the entry code for a method to determine cmEntryOffset and cmNoCheckEntryOffset. We need cmNoCheckEntryOffset up front to be able to generate the map starting from cmNoCheckEntryOffset" "stack allocate the various collections so that they are effectively garbage collected on return." | sendMissCall | <var: 'sendMissCall' type: #'AbstractInstruction *'> self allocateOpcodes: 24 bytecodes: 0. methodOrBlockNumArgs := 0. sendMissCall := self compileAbort. self compileEntry. self computeMaximumSizes. self generateInstructionsAt: methodZoneBase + (self sizeof: CogMethod). cmEntryOffset := entry address - methodZoneBase. cmNoCheckEntryOffset := noCheckEntry address - methodZoneBase. + self cppIf: NewspeakVM ifTrue: + [cmSelfSendEntryOffset := selfSendEntry address - methodZoneBase. + cmDynSuperEntryOffset := dynSuperEntry address - methodZoneBase]. - self cppIf: NewspeakVM - ifTrue: [cmDynSuperEntryOffset := dynSuperEntry address - methodZoneBase]. missOffset := sendMissCall address + sendMissCall machineCodeSize - methodZoneBase. entryPointMask := objectMemory wordSize - 1. [self cppIf: NewspeakVM ifTrue: [(cmEntryOffset bitAnd: entryPointMask) = (cmNoCheckEntryOffset bitAnd: entryPointMask) + or: [(cmEntryOffset bitAnd: entryPointMask) = (cmSelfSendEntryOffset bitAnd: entryPointMask) or: [(cmEntryOffset bitAnd: entryPointMask) = (cmDynSuperEntryOffset bitAnd: entryPointMask) + or: [(cmNoCheckEntryOffset bitAnd: entryPointMask) = (cmDynSuperEntryOffset bitAnd: entryPointMask)]]]] - or: [(cmNoCheckEntryOffset bitAnd: entryPointMask) = (cmDynSuperEntryOffset bitAnd: entryPointMask)]]] ifFalse: [(cmEntryOffset bitAnd: entryPointMask) = (cmNoCheckEntryOffset bitAnd: entryPointMask)]] whileTrue: [entryPointMask := entryPointMask + entryPointMask + 1]. entryPointMask >= (methodZone roundUpLength: 1) ifTrue: [self error: 'cannot differentiate checked and unchecked entry-points with current cog method alignment']. checkedEntryAlignment := cmEntryOffset bitAnd: entryPointMask. uncheckedEntryAlignment := cmNoCheckEntryOffset bitAnd: entryPointMask. self assert: checkedEntryAlignment ~= uncheckedEntryAlignment. self cppIf: NewspeakVM ifTrue: + [cmSelfSendEntryOffset := selfSendEntry address - methodZoneBase. + selfSendEntryAlignment := cmSelfSendEntryOffset bitAnd: entryPointMask. + cmDynSuperEntryOffset := dynSuperEntry address - methodZoneBase. - [cmDynSuperEntryOffset := dynSuperEntry address - methodZoneBase. dynSuperEntryAlignment := cmDynSuperEntryOffset bitAnd: entryPointMask. + self assert: selfSendEntryAlignment ~= checkedEntryAlignment. + self assert: selfSendEntryAlignment ~= uncheckedEntryAlignment. self assert: dynSuperEntryAlignment ~= checkedEntryAlignment. + self assert: dynSuperEntryAlignment ~= uncheckedEntryAlignment. + self assert: dynSuperEntryAlignment ~= selfSendEntryAlignment]! - self assert: dynSuperEntryAlignment ~= uncheckedEntryAlignment]! Item was changed: ----- Method: Cogit>>disassembleMethod:on: (in category 'disassembly') ----- disassembleMethod: surrogateOrAddress on: aStream <doNotGenerate> | cogMethod mapEntries codeRanges | cogMethod := surrogateOrAddress isInteger ifTrue: [self cogMethodSurrogateAt: surrogateOrAddress] ifFalse: [surrogateOrAddress]. cogMethod cmType = CMBlock ifTrue: [^self disassembleMethod: cogMethod cmHomeMethod on: aStream]. self printMethodHeader: cogMethod on: aStream. (mapEntries := Dictionary new) at: cogMethod asInteger + cmEntryOffset put: 'entry'. cogMethod cmType = CMMethod ifTrue: [mapEntries at: cogMethod asInteger + cmNoCheckEntryOffset put: 'noCheckEntry'. + self cppIf: NewspeakVM ifTrue: + [mapEntries at: cogMethod asInteger + selfSendEntryAlignment put: 'selfSendEntry'. + mapEntries at: cogMethod asInteger + dynSuperEntryAlignment put: 'dynSuperEntry']]. - self cppIf: NewspeakVM - ifTrue: [mapEntries at: cogMethod asInteger + dynSuperEntryAlignment put: 'dynSuperEntry']]. cogMethod cmType = CMClosedPIC ifTrue: [mapEntries at: cogMethod asInteger + firstCPICCaseOffset put: 'ClosedPICCase0'. 1 to: numPICCases - 1 do: [:i| mapEntries at: cogMethod asInteger + firstCPICCaseOffset + (i * cPICCaseSize) put: 'ClosedPICCase', i printString]]. self mapFor: cogMethod performUntil: #collectMapEntry:address:into: arg: mapEntries. self cppIf: NewspeakVM ifTrue: [objectRepresentation canPinObjects ifFalse: [mapEntries keys do: [:a| (mapEntries at: a) = #IsNSSendCall ifTrue: [mapEntries at: a + backEnd jumpShortByteSize put: {'Class'. #disassembleCachedOop:. (objectMemory wordSize)}; at: a + backEnd jumpShortByteSize + objectMemory bytesPerOop put: {'ImplicitReceiver'. #disassembleCachedOop:. (objectMemory wordSize)}]]]]. "This would all be far more elegant and simple if we used blocks. But there are no blocks in C and the basic enumerators here need to be used in the real VM. Apologies." (codeRanges := self codeRangesFor: cogMethod) do: [:range| (cogMethod cmType = CMMethod) ifTrue: [mapEntries keysAndValuesDo: [:mcpc :label| | bcpc | ((range includes: mcpc) and: [(#(IsSendCall HasBytecodePC) includes: label) and: [range cogMethod stackCheckOffset > 0]]) ifTrue: [bcpc := self bytecodePCFor: mcpc startBcpc: range startpc in: range cogMethod. bcpc ~= 0 ifTrue: [mapEntries at: mcpc put: label, ' bc ', bcpc printString, '/', (bcpc + 1) printString]]]]. (cogMethod blockEntryOffset ~= 0 and: [range first = (cogMethod blockEntryOffset + cogMethod asInteger)]) ifTrue: [aStream nextPutAll: 'blockEntry:'; cr. self blockDispatchFor: cogMethod perform: #disassemble:from:to:arg: arg: aStream] ifFalse: [range first > (cogMethod address + cmNoCheckEntryOffset) ifTrue: [self printMethodHeader: range cogMethod on: aStream]. self disassembleFrom: range first to: range last labels: mapEntries on: aStream]]. aStream nextPutAll: 'startpc: '; print: codeRanges first startpc; cr. (cogMethod cmType = CMMethod or: [cogMethod cmType = CMOpenPIC]) ifTrue: [[self mapFor: cogMethod performUntil: #printMapEntry:mcpc:args: arg: { aStream. codeRanges. cogMethod }] on: AssertionFailure do: [:ex| ex primitiveChangeClassTo: ResumableVMError basicNew. ":) :) :)" ex resume: nil]]. ^cogMethod! Item was changed: ----- Method: Cogit>>generateSendTrampolines (in category 'initialization') ----- generateSendTrampolines 0 to: NumSendTrampolines - 2 do: [:numArgs| + ordinarySendTrampolines - sendTrampolines at: numArgs put: (self genTrampolineFor: #ceSend:super:to:numArgs: called: (self trampolineName: 'ceSend' numArgs: numArgs) arg: ClassReg arg: 0 arg: ReceiverResultReg arg: numArgs)]. + ordinarySendTrampolines - sendTrampolines at: NumSendTrampolines - 1 put: (self genTrampolineFor: #ceSend:super:to:numArgs: called: (self trampolineName: 'ceSend' numArgs: -1) arg: ClassReg arg: 0 arg: ReceiverResultReg arg: SendNumArgsReg). self cppIf: NewspeakVM ifTrue: [0 to: NumSendTrampolines - 2 do: [:numArgs| dynamicSuperSendTrampolines at: numArgs put: (self genTrampolineFor: #ceDynamicSuperSend:to:numArgs: called: (self trampolineName: 'ceDynSuperSend' numArgs: numArgs) arg: ClassReg arg: ReceiverResultReg arg: numArgs)]. dynamicSuperSendTrampolines at: NumSendTrampolines - 1 put: (self genTrampolineFor: #ceDynamicSuperSend:to:numArgs: called: (self trampolineName: 'ceDynSuperSend' numArgs: -1) arg: ClassReg arg: ReceiverResultReg + arg: SendNumArgsReg). + 0 to: NumSendTrampolines - 2 do: + [:numArgs| + selfSendTrampolines + at: numArgs + put: (self genTrampolineFor: #ceSelfSend:to:numArgs: + called: (self trampolineName: 'ceSelfSend' numArgs: numArgs) + arg: ClassReg + arg: ReceiverResultReg + arg: numArgs)]. + selfSendTrampolines + at: NumSendTrampolines - 1 + put: (self genTrampolineFor: #ceSelfSend:to:numArgs: + called: (self trampolineName: 'ceSelfSend' numArgs: -1) + arg: ClassReg + arg: ReceiverResultReg arg: SendNumArgsReg)]. 0 to: NumSendTrampolines - 2 do: [:numArgs| superSendTrampolines at: numArgs put: (self genTrampolineFor: #ceSend:super:to:numArgs: called: (self trampolineName: 'ceSuperSend' numArgs: numArgs) arg: ClassReg arg: 1 arg: ReceiverResultReg arg: numArgs)]. superSendTrampolines at: NumSendTrampolines - 1 put: (self genTrampolineFor: #ceSend:super:to:numArgs: called: (self trampolineName: 'ceSuperSend' numArgs: -1) arg: ClassReg arg: 1 arg: ReceiverResultReg arg: SendNumArgsReg). + firstSend := ordinarySendTrampolines at: 0. - firstSend := sendTrampolines at: 0. lastSend := superSendTrampolines at: NumSendTrampolines - 1! Item was changed: ----- Method: Cogit>>linkSendAt:in:to:offset:receiver: (in category 'in-line cacheing') ----- linkSendAt: callSiteReturnAddress in: sendingMethod to: targetMethod offset: theEntryOffset receiver: receiver <api> <var: #sendingMethod type: #'CogMethod *'> <var: #targetMethod type: #'CogMethod *'> | inlineCacheTag address extent | self cppIf: NewspeakVM ifTrue: [self assert: (theEntryOffset = cmEntryOffset or: [theEntryOffset = cmNoCheckEntryOffset + or: [theEntryOffset = cmSelfSendEntryOffset + or: [theEntryOffset = cmDynSuperEntryOffset]]])] - or: [theEntryOffset = cmDynSuperEntryOffset]])] ifFalse: [self assert: (theEntryOffset = cmEntryOffset or: [theEntryOffset = cmNoCheckEntryOffset])]. self assert: (callSiteReturnAddress between: methodZoneBase and: methodZone freeStart). inlineCacheTag := theEntryOffset = cmNoCheckEntryOffset ifTrue: [targetMethod selector "i.e. no change"] ifFalse: [objectRepresentation inlineCacheTagForInstance: receiver]. (objectRepresentation inlineCacheTagIsYoung: inlineCacheTag) ifTrue: [methodZone ensureInYoungReferrers: sendingMethod]. address := targetMethod asInteger + theEntryOffset. extent := backEnd rewriteInlineCacheAt: callSiteReturnAddress tag: inlineCacheTag target: address. processor flushICacheFrom: callSiteReturnAddress - 1 - extent to: callSiteReturnAddress - 1! Item was changed: ----- Method: Cogit>>offsetAndSendTableFor:annotation:into: (in category 'in-line cacheing') ----- offsetAndSendTableFor: entryPoint annotation: annotation into: binaryBlock "Find the relevant sendTable for a linked-send to entryPoint. Do this based on the alignment of entryPoint. N.B. For Newspeak sends we don't need to distinguish between ceImplicitReceiver and the other sends since ceImplicitReceiver will never appear to be linked, so only three cases here." <inline: true> self cppIf: NewspeakVM ifTrue: [self assert: annotation = IsSendCall. (entryPoint bitAnd: entryPointMask) = checkedEntryAlignment + ifTrue: [binaryBlock value: cmEntryOffset value: ordinarySendTrampolines] + ifFalse: [(entryPoint bitAnd: entryPointMask) = selfSendEntryAlignment + ifTrue: [binaryBlock value: cmSelfSendEntryOffset value: selfSendTrampolines] + ifFalse: [(entryPoint bitAnd: entryPointMask) = dynSuperEntryAlignment - ifTrue: [binaryBlock value: cmEntryOffset value: sendTrampolines] - ifFalse: - [(entryPoint bitAnd: entryPointMask) = dynSuperEntryAlignment ifTrue: [binaryBlock value: cmDynSuperEntryOffset value: dynamicSuperSendTrampolines] + ifFalse: [binaryBlock value: cmNoCheckEntryOffset value: superSendTrampolines]]]] - ifFalse: [binaryBlock value: cmNoCheckEntryOffset value: superSendTrampolines]]] ifFalse: [(entryPoint bitAnd: entryPointMask) = checkedEntryAlignment + ifTrue: [binaryBlock value: cmEntryOffset value: ordinarySendTrampolines] - ifTrue: [binaryBlock value: cmEntryOffset value: sendTrampolines] ifFalse: [binaryBlock value: cmNoCheckEntryOffset value: superSendTrampolines]]! Item was added: + ----- Method: Cogit>>selfSendEntryOffset (in category 'accessing') ----- + selfSendEntryOffset + <api> + <cmacro: '() cmSelfSendEntryOffset'> + ^cmSelfSendEntryOffset! Item was changed: ----- Method: Cogit>>setInterpreter: (in category 'initialization') ----- setInterpreter: aCoInterpreter "Initialization of the code generator in the simulator. These objects already exist in the generated C VM or are used only in the simulation." <doNotGenerate> coInterpreter := aCoInterpreter. objectMemory := aCoInterpreter objectMemory. threadManager := aCoInterpreter threadManager. "N.B. may be nil" methodZone := CogMethodZone new. objectRepresentation := objectMemory objectRepresentationClass forCogit: self methodZone: methodZone. methodZone setInterpreter: aCoInterpreter objectRepresentation: objectRepresentation cogit: self. generatorTable := self class generatorTable. primitiveGeneratorTable := self class primitiveTable. processor := ProcessorClass new. simulatedAddresses := Dictionary new. simulatedTrampolines := Dictionary new. simulatedVariableGetters := Dictionary new. simulatedVariableSetters := Dictionary new. traceStores := 0. traceFlags := 8. "record prim trace on by default (see Cogit class>>decareCVarsIn:)" debugPrimCallStackOffset := 0. singleStep := printRegisters := printInstructions := clickConfirm := false. breakBlock ifNil: [self breakPC: breakPC]. (backEnd := processor abstractInstructionCompilerClass new) cogit: self. (methodLabel := processor abstractInstructionCompilerClass new) cogit: self. + ordinarySendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). - sendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). superSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). NewspeakVM ifTrue: + [selfSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). + dynamicSuperSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines)]. - [dynamicSuperSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines)]. "debug metadata" objectReferencesInRuntime := CArrayAccessor on: (Array new: NumObjRefsInRuntime). runtimeObjectRefIndex := 0. "debug metadata" trampolineAddresses := CArrayAccessor on: (Array new: NumTrampolines * 2). trampolineTableIndex := 0. compilationTrace ifNil: [compilationTrace := 0]. extA := extB := 0! Item was changed: ----- Method: Cogit>>targetMethodAndSendTableFor:into: (in category 'in-line cacheing') ----- targetMethodAndSendTableFor: entryPoint into: binaryBlock "Evaluate binaryBlock with the targetMethod and relevant send table for a linked-send to entryPoint. Do so based on the alignment of entryPoint. N.B. For Newspeak sends we don't need to distinguish between ceImplicitReceiver and the other sends since ceImplicitReceiver will never appear to be linked, so only three cases here." <inline: true> | targetMethod sendTable | <var: #targetMethod type: #'CogMethod *'> <var: #sendTable type: #'sqInt *'> self cppIf: NewspeakVM ifTrue: [(entryPoint bitAnd: entryPointMask) = checkedEntryAlignment ifTrue: [targetMethod := self cCoerceSimple: entryPoint - cmEntryOffset to: #'CogMethod *'. + sendTable := ordinarySendTrampolines] + ifFalse: [(entryPoint bitAnd: entryPointMask) = selfSendEntryAlignment + ifTrue: + [targetMethod := self cCoerceSimple: entryPoint - cmSelfSendEntryOffset to: #'CogMethod *'. + sendTable := selfSendTrampolines] + ifFalse: [(entryPoint bitAnd: entryPointMask) = dynSuperEntryAlignment + ifTrue: + [targetMethod := self cCoerceSimple: entryPoint - cmDynSuperEntryOffset to: #'CogMethod *'. + sendTable := dynamicSuperSendTrampolines] - sendTable := sendTrampolines] ifFalse: + [targetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. + sendTable := superSendTrampolines]]]] - [(entryPoint bitAnd: entryPointMask) = dynSuperEntryAlignment - ifTrue: - [targetMethod := self cCoerceSimple: entryPoint - cmDynSuperEntryOffset to: #'CogMethod *'. - sendTable := dynamicSuperSendTrampolines] - ifFalse: - [targetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. - sendTable := superSendTrampolines]]] ifFalse: [(entryPoint bitAnd: entryPointMask) = checkedEntryAlignment ifTrue: [targetMethod := self cCoerceSimple: entryPoint - cmEntryOffset to: #'CogMethod *'. + sendTable := ordinarySendTrampolines] - sendTable := sendTrampolines] ifFalse: [targetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. sendTable := superSendTrampolines]]. binaryBlock value: targetMethod value: sendTable! Item was changed: ----- Method: SimpleStackBasedCogit class>>initializeMiscConstants (in category 'class initialization') ----- initializeMiscConstants super initializeMiscConstants. MaxLiteralCountForCompile := initializationOptions at: #MaxLiteralCountForCompile ifAbsent: [60]. NumTrampolines := NewspeakVM + ifTrue: [53] - ifTrue: [50] ifFalse: [42]! Item was changed: ----- Method: SimpleStackBasedCogit>>compileOpenPIC:numArgs: (in category 'in-line cacheing') ----- compileOpenPIC: selector numArgs: numArgs "Compile the code for an open PIC. Perform a probe of the first-level method lookup cache followed by a call of ceSendFromInLineCacheMiss: if the probe fails." | jumpSelectorMiss jumpClassMiss itsAHit jumpBCMethod | <var: #jumpSelectorMiss type: #'AbstractInstruction *'> <var: #jumpClassMiss type: #'AbstractInstruction *'> <var: #itsAHit type: #'AbstractInstruction *'> <var: #jumpBCMethod type: #'AbstractInstruction *'> self compilePICAbort: numArgs. self cppIf: NewspeakVM ifTrue: [self Nop. "1st nop differentiates dynSuperEntry from no-check entry if using nextMethod" + selfSendEntry := self Nop. dynSuperEntry := self Nop]. entry := objectRepresentation genGetClassTagOf: ReceiverResultReg into: ClassReg scratchReg: TempReg. "Do first of three probes. See CoInterpreter>>lookupInMethodCacheSel:classTag:" self flag: #lookupInMethodCacheSel:classTag:. "so this method shows up as a sender of lookupInMethodCacheSel:class:" self MoveR: ClassReg R: SendNumArgsReg. self annotate: (self XorCw: selector R: ClassReg) objRef: selector. self LogicalShiftLeftCq: objectMemory shiftForWord R: ClassReg. self AndCq: MethodCacheMask << objectMemory shiftForWord R: ClassReg. self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheSelector << objectMemory shiftForWord) r: ClassReg R: TempReg. self annotate: (self CmpCw: selector R: TempReg) objRef: selector. jumpSelectorMiss := self JumpNonZero: 0. self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheClass << objectMemory shiftForWord) r: ClassReg R: TempReg. self CmpR: SendNumArgsReg R: TempReg. jumpClassMiss := self JumpNonZero: 0. itsAHit := self Label. "Fetch the method. The interpret trampoline requires the bytecoded method in SendNumArgsReg" self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheMethod << objectMemory shiftForWord) r: ClassReg R: SendNumArgsReg. "If the method is compiled jump to its unchecked entry-point, otherwise interpret it." objectRepresentation genLoadSlot: HeaderIndex sourceReg: SendNumArgsReg destReg: TempReg. self MoveR: TempReg R: ClassReg. jumpBCMethod := objectRepresentation genJumpSmallIntegerInScratchReg: TempReg. jumpBCMethod jmpTarget: picInterpretAbort. self AddCq: cmNoCheckEntryOffset R: ClassReg. self JumpR: ClassReg. "First probe missed. Do second of three probes. Shift hash right one and retry." jumpSelectorMiss jmpTarget: (jumpClassMiss jmpTarget: self Label). self MoveR: SendNumArgsReg R: ClassReg. self annotate: (self XorCw: selector R: ClassReg) objRef: selector. self LogicalShiftLeftCq: objectMemory shiftForWord - 1 R: ClassReg. self AndCq: MethodCacheMask << objectMemory shiftForWord R: ClassReg. self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheSelector << objectMemory shiftForWord) r: ClassReg R: TempReg. self annotate: (self CmpCw: selector R: TempReg) objRef: selector. jumpSelectorMiss := self JumpNonZero: 0. self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheClass << objectMemory shiftForWord) r: ClassReg R: TempReg. self CmpR: SendNumArgsReg R: TempReg. self JumpZero: itsAHit. "Second probe missed. Do last probe. Shift hash right two and retry." jumpSelectorMiss jmpTarget: self Label. self MoveR: SendNumArgsReg R: ClassReg. self annotate: (self XorCw: selector R: ClassReg) objRef: selector. objectMemory shiftForWord > 2 ifTrue: [self LogicalShiftLeftCq: objectMemory shiftForWord - 1 R: ClassReg]. self AndCq: MethodCacheMask << objectMemory shiftForWord R: ClassReg. self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheSelector << objectMemory shiftForWord) r: ClassReg R: TempReg. self annotate: (self CmpCw: selector R: TempReg) objRef: selector. jumpSelectorMiss := self JumpNonZero: 0. self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheClass << objectMemory shiftForWord) r: ClassReg R: TempReg. self CmpR: SendNumArgsReg R: TempReg. self JumpZero: itsAHit. "Last probe missed. Call ceSendFromInLineCacheMiss: to do the full lookup." jumpSelectorMiss jmpTarget: self Label. backEnd genSaveStackPointers. backEnd genLoadCStackPointers. methodLabel addDependent: (self annotateAbsolutePCRef: (self MoveCw: methodLabel asInteger R: SendNumArgsReg)). self compileCallFor: #ceSendFromInLineCacheMiss: numArgs: 1 arg: SendNumArgsReg arg: nil arg: nil arg: nil resultReg: nil saveRegs: false "Note that this call does not return."! Item was changed: ----- Method: SimpleStackBasedCogit>>genSend:numArgs: (in category 'bytecode generators') ----- genSend: selector numArgs: numArgs + <inline: true> + ^self genSend: selector numArgs: numArgs sendTable: ordinarySendTrampolines! - <inline: false> - (objectMemory isYoung: selector) ifTrue: - [hasYoungReferent := true]. - self assert: needsFrame. - self assert: (numArgs between: 0 and: 256). "say" - self assert: (objectMemory addressCouldBeOop: selector). - self MoveMw: numArgs * objectMemory wordSize r: SPReg R: ReceiverResultReg. - numArgs > 2 ifTrue: - [self MoveCq: numArgs R: SendNumArgsReg]. - self MoveCw: selector R: ClassReg. - self CallSend: (sendTrampolines at: (numArgs min: NumSendTrampolines - 1)). - self flag: 'currently caller pushes result'. - self PushR: ReceiverResultReg. - ^0! Item was added: + ----- Method: SimpleStackBasedCogit>>genSend:numArgs:sendTable: (in category 'bytecode generators') ----- + genSend: selector numArgs: numArgs sendTable: sendTable + <inline: false> + <var: #sendTable type: #'sqInt *'> + (objectMemory isYoung: selector) ifTrue: + [hasYoungReferent := true]. + self assert: needsFrame. + self assert: (numArgs between: 0 and: 256). "say" + self assert: (objectMemory addressCouldBeOop: selector). + self MoveMw: numArgs * objectMemory wordSize r: SPReg R: ReceiverResultReg. + numArgs > 2 ifTrue: + [self MoveCq: numArgs R: SendNumArgsReg]. + self MoveCw: selector R: ClassReg. + self CallSend: (sendTable at: (numArgs min: NumSendTrampolines - 1)). + self flag: 'currently caller pushes result'. + self PushR: ReceiverResultReg. + ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>genSendAbsentDynamicSuper:numArgs: (in category 'bytecode generators') ----- genSendAbsentDynamicSuper: selector numArgs: numArgs "Shuffle arguments if necessary and push receiver. Then send." <inline: false> self marshallAbsentReceiverSendArguments: numArgs. + ^self genSend: selector numArgs: numArgs sendTable: dynamicSuperSendTrampolines! - ^self genSendDynamicSuper: selector numArgs: numArgs! Item was changed: ----- Method: SimpleStackBasedCogit>>genSendAbsentSelf:numArgs: (in category 'bytecode generators') ----- genSendAbsentSelf: selector numArgs: numArgs "Shuffle arguments if necessary and push receiver. Then send." <inline: false> self marshallAbsentReceiverSendArguments: numArgs. + ^self genSend: selector numArgs: numArgs sendTable: selfSendTrampolines! - ^self genSend: selector numArgs: numArgs! Item was changed: ----- Method: SimpleStackBasedCogit>>genSendSuper:numArgs: (in category 'bytecode generators') ----- genSendSuper: selector numArgs: numArgs <inline: false> + ^self genSend: selector numArgs: numArgs sendTable: superSendTrampolines! - self assert: needsFrame. - self assert: (numArgs between: 0 and: 256). "say" - self assert: (objectMemory addressCouldBeOop: selector). - (objectMemory isYoung: selector) ifTrue: - [hasYoungReferent := true]. - self MoveMw: numArgs * objectMemory wordSize r: SPReg R: ReceiverResultReg. - numArgs > 2 ifTrue: - [self MoveCq: numArgs R: SendNumArgsReg]. - self MoveCw: selector R: ClassReg. - self CallSend: (superSendTrampolines at: (numArgs min: NumSendTrampolines - 1)). - self flag: 'currently caller pushes result'. - self PushR: ReceiverResultReg. - ^0! Item was changed: ----- Method: SistaStackToRegisterMappingCogit>>genSpecialSelectorComparison (in category 'bytecode generators') ----- genSpecialSelectorComparison "Override to count inlined branches if followed by a conditional branch. We borrow the following conditional branch's counter and when about to inline the comparison we decrement the counter (without writing it back) and if it trips simply abort the inlining, falling back to the normal send which will then continue to the conditional branch which will trip and enter the abort." | nextPC postBranchPC targetBytecodePC primDescriptor branchDescriptor nExts rcvrIsInt argIsInt rcvrInt argInt result jumpNotSmallInts inlineCAB annotateInst counterAddress countTripped | <var: #countTripped type: #'AbstractInstruction *'> <var: #primDescriptor type: #'BytecodeDescriptor *'> <var: #jumpNotSmallInts type: #'AbstractInstruction *'> <var: #branchDescriptor type: #'BytecodeDescriptor *'> (coInterpreter isOptimizedMethod: methodObj) ifTrue: [ ^ super genSpecialSelectorComparison ]. self ssFlushTo: simStackPtr - 2. primDescriptor := self generatorAt: byte0. argIsInt := self ssTop type = SSConstant and: [objectMemory isIntegerObject: (argInt := self ssTop constant)]. rcvrIsInt := (self ssValue: 1) type = SSConstant and: [objectMemory isIntegerObject: (rcvrInt := (self ssValue: 1) constant)]. "short-cut the jump if operands are SmallInteger constants." (argIsInt and: [rcvrIsInt]) ifTrue: [self cCode: '' inSmalltalk: "In Simulator ints are unsigned..." [rcvrInt := objectMemory integerValueOf: rcvrInt. argInt := objectMemory integerValueOf: argInt]. primDescriptor opcode caseOf: { [JumpLess] -> [result := rcvrInt < argInt]. [JumpLessOrEqual] -> [result := rcvrInt <= argInt]. [JumpGreater] -> [result := rcvrInt > argInt]. [JumpGreaterOrEqual] -> [result := rcvrInt >= argInt]. [JumpZero] -> [result := rcvrInt = argInt]. [JumpNonZero] -> [result := rcvrInt ~= argInt] }. "Must enter any annotatedConstants into the map" self annotateBytecodeIfAnnotated: (self ssValue: 1). self annotateBytecodeIfAnnotated: self ssTop. "Must annotate the bytecode for correct pc mapping." self ssPop: 2. ^self ssPushAnnotatedConstant: (result ifTrue: [objectMemory trueObject] ifFalse: [objectMemory falseObject])]. nextPC := bytecodePC + primDescriptor numBytes. nExts := 0. [branchDescriptor := self generatorAt: (objectMemory fetchByte: nextPC ofObject: methodObj) + (byte0 bitAnd: 256). branchDescriptor isExtension] whileTrue: [nExts := nExts + 1. nextPC := nextPC + branchDescriptor numBytes]. "Only interested in inlining if followed by a conditional branch." inlineCAB := branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]. "Further, only interested in inlining = and ~= if there's a SmallInteger constant involved. The relational operators successfully statically predict SmallIntegers; the equality operators do not." (inlineCAB and: [primDescriptor opcode = JumpZero or: [primDescriptor opcode = JumpNonZero]]) ifTrue: [inlineCAB := argIsInt or: [rcvrIsInt]]. inlineCAB ifFalse: [^self genSpecialSelectorSend]. targetBytecodePC := nextPC + branchDescriptor numBytes + (self spanFor: branchDescriptor at: nextPC exts: nExts in: methodObj). postBranchPC := nextPC + branchDescriptor numBytes. argIsInt ifTrue: [(self ssValue: 1) popToReg: ReceiverResultReg. annotateInst := self ssTop annotateUse. self ssPop: 2. self MoveR: ReceiverResultReg R: TempReg] ifFalse: [self marshallSendArguments: 1. self MoveR: Arg0Reg R: TempReg. rcvrIsInt ifFalse: [objectRepresentation isSmallIntegerTagNonZero ifTrue: [self AndR: ReceiverResultReg R: TempReg] ifFalse: [self OrR: ReceiverResultReg R: TempReg]]]. jumpNotSmallInts := objectRepresentation genJumpNotSmallIntegerInScratchReg: TempReg. self ssAllocateRequiredReg: SendNumArgsReg. "Use this as the count reg." counterAddress := counters + ((self sizeof: #sqInt) * counterIndex). self flag: 'will need to use MoveAw32:R: if 64 bits'. self assert: objectMemory wordSize = CounterBytes. self MoveAw: counterAddress R: SendNumArgsReg. self SubCq: 16r10000 R: SendNumArgsReg. "Count executed" "If counter trips simply abort the inlined comparison and send continuing to the following branch *without* writing back. A double decrement will not trip the second time." countTripped := self JumpCarry: 0. self MoveR: SendNumArgsReg Aw: counterAddress. "write back" argIsInt ifTrue: [annotateInst ifTrue: [self annotateBytecode: (self CmpCq: argInt R: ReceiverResultReg)] ifFalse: [self CmpCq: argInt R: ReceiverResultReg]] ifFalse: [self CmpR: Arg0Reg R: ReceiverResultReg]. "Cmp is weird/backwards so invert the comparison. Further since there is a following conditional jump bytecode define non-merge fixups and leave the cond bytecode to set the mergeness." self gen: (branchDescriptor isBranchTrue ifTrue: [primDescriptor opcode] ifFalse: [self inverseBranchFor: primDescriptor opcode]) operand: (self ensureNonMergeFixupAt: targetBytecodePC - initialPC) asUnsignedInteger. self SubCq: 1 R: SendNumArgsReg. "Count untaken" self MoveR: SendNumArgsReg Aw: counterAddress. "write back" self Jump: (self ensureNonMergeFixupAt: postBranchPC - initialPC). countTripped jmpTarget: (jumpNotSmallInts jmpTarget: self Label). argIsInt ifTrue: [self MoveCq: argInt R: Arg0Reg]. ^self genMarshalledSend: (coInterpreter specialSelector: byte0 - self firstSpecialSelectorBytecodeOffset) + numArgs: 1 + sendTable: ordinarySendTrampolines! - numArgs: 1! Item was changed: ----- Method: SistaStackToRegisterMappingCogit>>genSpecialSelectorEqualsEquals (in category 'bytecode generators') ----- genSpecialSelectorEqualsEquals "Override to count inlined branches if followed by a conditional branch. We borrow the following conditional branch's counter and when about to inline the comparison we decrement the counter (without writing it back) and if it trips simply abort the inlining, falling back to the normal send which will then continue to the conditional branch which will trip and enter the abort." | nextPC postBranchPC targetBytecodePC primDescriptor branchDescriptor nExts counterAddress countTripped unforwardArg unforwardRcvr | <var: #countTripped type: #'AbstractInstruction *'> <var: #primDescriptor type: #'BytecodeDescriptor *'> <var: #branchDescriptor type: #'BytecodeDescriptor *'> (coInterpreter isOptimizedMethod: methodObj) ifTrue: [ ^ super genSpecialSelectorEqualsEquals ]. self ssFlushTo: simStackPtr - 2. primDescriptor := self generatorAt: byte0. nextPC := bytecodePC + primDescriptor numBytes. nExts := 0. [branchDescriptor := self generatorAt: (objectMemory fetchByte: nextPC ofObject: methodObj) + (byte0 bitAnd: 256). branchDescriptor isExtension] whileTrue: [nExts := nExts + 1. nextPC := nextPC + branchDescriptor numBytes]. "Only interested in inlining if followed by a conditional branch." (branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]) ifFalse: [^self genSpecialSelectorSend]. targetBytecodePC := nextPC + branchDescriptor numBytes + (self spanFor: branchDescriptor at: nextPC exts: nExts in: methodObj). postBranchPC := nextPC + branchDescriptor numBytes. unforwardRcvr := (self ssValue: 1) type ~= SSConstant or: [objectRepresentation shouldAnnotateObjectReference: (self ssValue: 1) constant]. unforwardArg := self ssTop type ~= SSConstant or: [objectRepresentation shouldAnnotateObjectReference: self ssTop constant]. self marshallSendArguments: 1. self ssAllocateRequiredReg: SendNumArgsReg. "Use this as the count reg." counterAddress := counters + ((self sizeof: #sqInt) * counterIndex). self flag: 'will need to use MoveAw32:R: if 64 bits'. self assert: objectMemory wordSize = CounterBytes. self MoveAw: counterAddress R: SendNumArgsReg. self SubCq: 16r10000 R: SendNumArgsReg. "Count executed" "If counter trips simply abort the inlined comparison and send continuing to the following branch *without* writing back. A double decrement will not trip the second time." countTripped := self JumpCarry: 0. self MoveR: SendNumArgsReg Aw: counterAddress. "write back" unforwardRcvr ifTrue: [objectRepresentation genEnsureOopInRegNotForwarded: ReceiverResultReg scratchReg: TempReg]. unforwardArg ifTrue: [objectRepresentation genEnsureOopInRegNotForwarded: Arg0Reg scratchReg: TempReg]. self CmpR: Arg0Reg R: ReceiverResultReg. "Cmp is weird/backwards so invert the comparison. Further since there is a following conditional jump bytecode define non-merge fixups and leave the cond bytecode to set the mergeness." self gen: (branchDescriptor isBranchTrue ifTrue: [JumpZero] ifFalse: [JumpNonZero]) operand: (self ensureNonMergeFixupAt: targetBytecodePC - initialPC) asUnsignedInteger. self SubCq: 1 R: SendNumArgsReg. "Count untaken" self MoveR: SendNumArgsReg Aw: counterAddress. "write back" self Jump: (self ensureNonMergeFixupAt: postBranchPC - initialPC). countTripped jmpTarget: self Label. ^self genMarshalledSend: (coInterpreter specialSelector: byte0 - self firstSpecialSelectorBytecodeOffset) + numArgs: 1 + sendTable: ordinarySendTrampolines! - numArgs: 1! Item was changed: ----- Method: StackToRegisterMappingCogit class>>initializeMiscConstants (in category 'class initialization') ----- initializeMiscConstants super initializeMiscConstants. NumTrampolines := NewspeakVM + ifTrue: [63] - ifTrue: [60] ifFalse: [52]! Item was changed: ----- Method: StackToRegisterMappingCogit>>compileOpenPIC:numArgs: (in category 'in-line cacheing') ----- compileOpenPIC: selector numArgs: numArgs "Compile the code for an open PIC. Perform a probe of the first-level method lookup cache followed by a call of ceSendFromInLineCacheMiss: if the probe fails. Override to push the register args when calling ceSendFromInLineCacheMiss:" | jumpSelectorMiss jumpClassMiss itsAHit jumpBCMethod | <var: #jumpSelectorMiss type: #'AbstractInstruction *'> <var: #jumpClassMiss type: #'AbstractInstruction *'> <var: #itsAHit type: #'AbstractInstruction *'> <var: #jumpBCMethod type: #'AbstractInstruction *'> self compilePICAbort: numArgs. self cppIf: NewspeakVM ifTrue: [self Nop. "1st nop differentiates dynSuperEntry from no-check entry if using nextMethod" + selfSendEntry := self Nop. dynSuperEntry := self Nop]. entry := objectRepresentation genGetClassTagOf: ReceiverResultReg into: ClassReg scratchReg: TempReg. "Do first of three probes. See CoInterpreter>>lookupInMethodCacheSel:classTag:" self flag: #lookupInMethodCacheSel:classTag:. "so this method shows up as a sender of lookupInMethodCacheSel:class:" self MoveR: ClassReg R: SendNumArgsReg. self annotate: (self XorCw: selector R: ClassReg) objRef: selector. self LogicalShiftLeftCq: objectMemory shiftForWord R: ClassReg. self AndCq: MethodCacheMask << objectMemory shiftForWord R: ClassReg. self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheSelector << objectMemory shiftForWord) r: ClassReg R: TempReg. self annotate: (self CmpCw: selector R: TempReg) objRef: selector. jumpSelectorMiss := self JumpNonZero: 0. self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheClass << objectMemory shiftForWord) r: ClassReg R: TempReg. self CmpR: SendNumArgsReg R: TempReg. jumpClassMiss := self JumpNonZero: 0. itsAHit := self Label. "Fetch the method. The interpret trampoline requires the bytecoded method in SendNumArgsReg" self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheMethod << objectMemory shiftForWord) r: ClassReg R: SendNumArgsReg. "If the method is compiled jump to its unchecked entry-point, otherwise interpret it." objectRepresentation genLoadSlot: HeaderIndex sourceReg: SendNumArgsReg destReg: TempReg. self MoveR: TempReg R: ClassReg. jumpBCMethod := objectRepresentation genJumpSmallIntegerInScratchReg: TempReg. jumpBCMethod jmpTarget: picInterpretAbort. self AddCq: cmNoCheckEntryOffset R: ClassReg. self JumpR: ClassReg. "First probe missed. Do second of three probes. Shift hash right one and retry." jumpSelectorMiss jmpTarget: (jumpClassMiss jmpTarget: self Label). self MoveR: SendNumArgsReg R: ClassReg. self annotate: (self XorCw: selector R: ClassReg) objRef: selector. self LogicalShiftLeftCq: objectMemory shiftForWord - 1 R: ClassReg. self AndCq: MethodCacheMask << objectMemory shiftForWord R: ClassReg. self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheSelector << objectMemory shiftForWord) r: ClassReg R: TempReg. self annotate: (self CmpCw: selector R: TempReg) objRef: selector. jumpSelectorMiss := self JumpNonZero: 0. self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheClass << objectMemory shiftForWord) r: ClassReg R: TempReg. self CmpR: SendNumArgsReg R: TempReg. self JumpZero: itsAHit. "Second probe missed. Do last probe. Shift hash right two and retry." jumpSelectorMiss jmpTarget: self Label. self MoveR: SendNumArgsReg R: ClassReg. self annotate: (self XorCw: selector R: ClassReg) objRef: selector. objectMemory shiftForWord > 2 ifTrue: [self LogicalShiftLeftCq: objectMemory shiftForWord - 1 R: ClassReg]. self AndCq: MethodCacheMask << objectMemory shiftForWord R: ClassReg. self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheSelector << objectMemory shiftForWord) r: ClassReg R: TempReg. self annotate: (self CmpCw: selector R: TempReg) objRef: selector. jumpSelectorMiss := self JumpNonZero: 0. self MoveMw: coInterpreter methodCacheAddress asUnsignedInteger + (MethodCacheClass << objectMemory shiftForWord) r: ClassReg R: TempReg. self CmpR: SendNumArgsReg R: TempReg. self JumpZero: itsAHit. "Last probe missed. Call ceSendFromInLineCacheMiss: to do the full lookup." jumpSelectorMiss jmpTarget: self Label. backEnd genPushRegisterArgsForNumArgs: numArgs. self genSmalltalkToCStackSwitch. methodLabel addDependent: (self annotateAbsolutePCRef: (self MoveCw: methodLabel asInteger R: SendNumArgsReg)). self compileCallFor: #ceSendFromInLineCacheMiss: numArgs: 1 arg: SendNumArgsReg arg: nil arg: nil arg: nil resultReg: nil saveRegs: false "Note that this call does not return."! Item was removed: - ----- Method: StackToRegisterMappingCogit>>genMarshalledSend:numArgs: (in category 'bytecode generators') ----- - genMarshalledSend: selector numArgs: numArgs - <inline: false> - (objectMemory isYoung: selector) ifTrue: - [hasYoungReferent := true]. - self assert: needsFrame. - numArgs > 2 ifTrue: - [self MoveCq: numArgs R: SendNumArgsReg]. - self MoveCw: selector R: ClassReg. - self CallSend: (sendTrampolines at: (numArgs min: NumSendTrampolines - 1)). - optStatus isReceiverResultRegLive: false. - ^self ssPushRegister: ReceiverResultReg! Item was added: + ----- Method: StackToRegisterMappingCogit>>genMarshalledSend:numArgs:sendTable: (in category 'bytecode generators') ----- + genMarshalledSend: selector numArgs: numArgs sendTable: sendTable + <inline: false> + <var: #sendTable type: #'sqInt *'> + (objectMemory isYoung: selector) ifTrue: + [hasYoungReferent := true]. + self assert: needsFrame. + numArgs > 2 ifTrue: + [self MoveCq: numArgs R: SendNumArgsReg]. + self MoveCw: selector R: ClassReg. + self CallSend: (sendTable at: (numArgs min: NumSendTrampolines - 1)). + optStatus isReceiverResultRegLive: false. + ^self ssPushRegister: ReceiverResultReg! Item was removed: - ----- Method: StackToRegisterMappingCogit>>genMarshalledSendDynamicSuper:numArgs: (in category 'bytecode generators') ----- - genMarshalledSendDynamicSuper: selector numArgs: numArgs - <inline: false> - (objectMemory isYoung: selector) ifTrue: - [hasYoungReferent := true]. - self assert: needsFrame. - numArgs > 2 ifTrue: - [self MoveCq: numArgs R: SendNumArgsReg]. - self MoveCw: selector R: ClassReg. - self CallSend: (dynamicSuperSendTrampolines at: (numArgs min: NumSendTrampolines - 1)). - optStatus isReceiverResultRegLive: false. - ^self ssPushRegister: ReceiverResultReg! Item was removed: - ----- Method: StackToRegisterMappingCogit>>genMarshalledSendSuper:numArgs: (in category 'bytecode generators') ----- - genMarshalledSendSuper: selector numArgs: numArgs - <inline: false> - (objectMemory isYoung: selector) ifTrue: - [hasYoungReferent := true]. - self assert: needsFrame. - numArgs > 2 ifTrue: - [self MoveCq: numArgs R: SendNumArgsReg]. - self MoveCw: selector R: ClassReg. - self CallSend: (superSendTrampolines at: (numArgs min: NumSendTrampolines - 1)). - optStatus isReceiverResultRegLive: false. - ^self ssPushRegister: ReceiverResultReg! Item was changed: ----- Method: StackToRegisterMappingCogit>>genSend:numArgs: (in category 'bytecode generators') ----- genSend: selector numArgs: numArgs self marshallSendArguments: numArgs. + ^self genMarshalledSend: selector numArgs: numArgs sendTable: ordinarySendTrampolines! - ^self genMarshalledSend: selector numArgs: numArgs! Item was changed: ----- Method: StackToRegisterMappingCogit>>genSendAbsentDynamicSuper:numArgs: (in category 'bytecode generators') ----- genSendAbsentDynamicSuper: selector numArgs: numArgs "OK, we could do better and avoid spilling ReceiverResultReg if we refactored marshallImplicitReceiverSendArguments: to take a flag saying whether the receiver was in ReceiverResultReg (absent receiver send) or on the stack (absent dynamic super send) and in the latter case loading ReceiverResultReg from the stack after marshalling. But this is a rare bytecode so for the moment don't bother." self ssAllocateCallReg: ReceiverResultReg. self MoveMw: FoxMFReceiver r: FPReg R: ReceiverResultReg. self marshallAbsentReceiverSendArguments: numArgs. + ^self genMarshalledSend: selector numArgs: numArgs sendTable: dynamicSuperSendTrampolines! - ^self genMarshalledSendDynamicSuper: selector numArgs: numArgs! Item was changed: ----- Method: StackToRegisterMappingCogit>>genSendAbsentImplicit:numArgs: (in category 'bytecode generators') ----- genSendAbsentImplicit: selector numArgs: numArgs "Get the implicit receiver and marshall arguments, shuffling the stack to push the implicit receiver if necessary. Then send." <inline: false> | result | "This must not be PC-mapped" result := self genGetImplicitReceiverFor: selector forPush: false. result ~= 0 ifTrue: [^result]. self marshallAbsentReceiverSendArguments: numArgs. + ^self genMarshalledSend: selector numArgs: numArgs sendTable: ordinarySendTrampolines! - ^self genMarshalledSend: selector numArgs: numArgs! Item was changed: ----- Method: StackToRegisterMappingCogit>>genSendAbsentOuter:numArgs:depth: (in category 'bytecode generators') ----- genSendAbsentOuter: selector numArgs: numArgs depth: depth "OK, we could do better and avoid spilling ReceiverResultReg if we refactored marshallAbsentReceiverSendArguments: to take a flag saying whether the receiver was in ReceiverResultReg (absent receiver send) or on the stack (absent dynamic super send) and in the latter case loading ReceiverResultReg from the stack after marshalling. But this is a rare bytecode so for the moment don't bother." optStatus isReceiverResultRegLive: false. self ssAllocateCallReg: SendNumArgsReg. self MoveCq: depth R: SendNumArgsReg. self CallRT: ceEnclosingObjectTrampoline. self marshallAbsentReceiverSendArguments: numArgs. + ^self genMarshalledSend: selector numArgs: numArgs sendTable: ordinarySendTrampolines! - ^self genMarshalledSend: selector numArgs: numArgs! Item was changed: ----- Method: StackToRegisterMappingCogit>>genSendAbsentSelf:numArgs: (in category 'bytecode generators') ----- genSendAbsentSelf: selector numArgs: numArgs "OK, we could do better and avoid spilling ReceiverResultReg if we refactored marshallAbsentReceiverSendArguments: to take a flag saying whether the receiver was in ReceiverResultReg (absent receiver send) or on the stack (absent dynamic super send) and in the latter case loading ReceiverResultReg from the stack after marshalling. But this is a rare bytecode so for the moment don't bother." self ssAllocateCallReg: ReceiverResultReg. self MoveMw: FoxMFReceiver r: FPReg R: ReceiverResultReg. self marshallAbsentReceiverSendArguments: numArgs. + ^self genMarshalledSend: selector numArgs: numArgs sendTable: selfSendTrampolines! - ^self genMarshalledSend: selector numArgs: numArgs! Item was changed: ----- Method: StackToRegisterMappingCogit>>genSendDynamicSuper:numArgs: (in category 'bytecode generators') ----- genSendDynamicSuper: selector numArgs: numArgs self marshallSendArguments: numArgs. + ^self genMarshalledSend: selector numArgs: numArgs sendTable: dynamicSuperSendTrampolines! - ^self genMarshalledSendDynamicSuper: selector numArgs: numArgs! Item was changed: ----- Method: StackToRegisterMappingCogit>>genSendSuper:numArgs: (in category 'bytecode generators') ----- genSendSuper: selector numArgs: numArgs self marshallSendArguments: numArgs. + ^self genMarshalledSend: selector numArgs: numArgs sendTable: superSendTrampolines! - ^self genMarshalledSendSuper: selector numArgs: numArgs! Item was changed: ----- Method: StackToRegisterMappingCogit>>genSpecialSelectorArithmetic (in category 'bytecode generators') ----- genSpecialSelectorArithmetic | primDescriptor rcvrIsConst argIsConst rcvrIsInt argIsInt rcvrInt argInt result jumpNotSmallInts jumpContinue annotateInst instToAnnotate | <var: #primDescriptor type: #'BytecodeDescriptor *'> <var: #jumpNotSmallInts type: #'AbstractInstruction *'> <var: #jumpContinue type: #'AbstractInstruction *'> <var: #instToAnnotate type: #'AbstractInstruction *'> primDescriptor := self generatorAt: byte0. argIsInt := (argIsConst := self ssTop type = SSConstant) and: [objectMemory isIntegerObject: (argInt := self ssTop constant)]. rcvrIsInt := (rcvrIsConst := (self ssValue: 1) type = SSConstant) and: [objectMemory isIntegerObject: (rcvrInt := (self ssValue: 1) constant)]. (argIsInt and: [rcvrIsInt]) ifTrue: [rcvrInt := objectMemory integerValueOf: rcvrInt. argInt := objectMemory integerValueOf: argInt. primDescriptor opcode caseOf: { [AddRR] -> [result := rcvrInt + argInt]. [SubRR] -> [result := rcvrInt - argInt]. [AndRR] -> [result := rcvrInt bitAnd: argInt]. [OrRR] -> [result := rcvrInt bitOr: argInt] }. (objectMemory isIntegerValue: result) ifTrue: ["Must enter any annotatedConstants into the map" self annotateBytecodeIfAnnotated: (self ssValue: 1). self annotateBytecodeIfAnnotated: self ssTop. "Must annotate the bytecode for correct pc mapping." ^self ssPop: 2; ssPushAnnotatedConstant: (objectMemory integerObjectOf: result)]. ^self genSpecialSelectorSend]. "If there's any constant involved other than a SmallInteger don't attempt to inline." ((rcvrIsConst and: [rcvrIsInt not]) or: [argIsConst and: [argIsInt not]]) ifTrue: [^self genSpecialSelectorSend]. "If we know nothing about the types then better not to inline as the inline cache and primitive code is not terribly slow so wasting time on duplicating tag tests is pointless." (argIsInt or: [rcvrIsInt]) ifFalse: [^self genSpecialSelectorSend]. argIsInt ifTrue: [self ssFlushTo: simStackPtr - 2. (self ssValue: 1) popToReg: ReceiverResultReg. annotateInst := self ssTop annotateUse. self ssPop: 2. self MoveR: ReceiverResultReg R: TempReg] ifFalse: [self marshallSendArguments: 1. self MoveR: Arg0Reg R: TempReg. rcvrIsInt ifFalse: [objectRepresentation isSmallIntegerTagNonZero ifTrue: [self AndR: ReceiverResultReg R: TempReg] ifFalse: [self OrR: ReceiverResultReg R: TempReg]]]. jumpNotSmallInts := objectRepresentation genJumpNotSmallIntegerInScratchReg: TempReg. primDescriptor opcode caseOf: { [AddRR] -> [argIsInt ifTrue: [instToAnnotate := self AddCq: argInt - ConstZero R: ReceiverResultReg. jumpContinue := self JumpNoOverflow: 0. "overflow; must undo the damage before continuing" self SubCq: argInt - ConstZero R: ReceiverResultReg] ifFalse: [objectRepresentation genRemoveSmallIntegerTagsInScratchReg: ReceiverResultReg. self AddR: Arg0Reg R: ReceiverResultReg. jumpContinue := self JumpNoOverflow: 0. "overflow; must undo the damage before continuing" rcvrIsInt ifTrue: [self MoveCq: rcvrInt R: ReceiverResultReg] ifFalse: [self SubR: Arg0Reg R: ReceiverResultReg. objectRepresentation genSetSmallIntegerTagsIn: ReceiverResultReg]]]. [SubRR] -> [argIsInt ifTrue: [instToAnnotate := self SubCq: argInt - ConstZero R: ReceiverResultReg. jumpContinue := self JumpNoOverflow: 0. "overflow; must undo the damage before continuing" self AddCq: argInt - ConstZero R: ReceiverResultReg] ifFalse: [objectRepresentation genRemoveSmallIntegerTagsInScratchReg: Arg0Reg. self SubR: Arg0Reg R: ReceiverResultReg. jumpContinue := self JumpNoOverflow: 0. "overflow; must undo the damage before continuing" self AddR: Arg0Reg R: ReceiverResultReg. objectRepresentation genSetSmallIntegerTagsIn: Arg0Reg]]. [AndRR] -> [argIsInt ifTrue: [instToAnnotate := self AndCq: argInt R: ReceiverResultReg] ifFalse: [self AndR: Arg0Reg R: ReceiverResultReg]. jumpContinue := self Jump: 0]. [OrRR] -> [argIsInt ifTrue: [instToAnnotate := self OrCq: argInt R: ReceiverResultReg] ifFalse: [self OrR: Arg0Reg R: ReceiverResultReg]. jumpContinue := self Jump: 0] }. jumpNotSmallInts jmpTarget: self Label. argIsInt ifTrue: [annotateInst ifTrue: [self annotateBytecode: instToAnnotate]. self MoveCq: argInt R: Arg0Reg]. self genMarshalledSend: (coInterpreter specialSelector: byte0 - self firstSpecialSelectorBytecodeOffset) + numArgs: 1 + sendTable: ordinarySendTrampolines. - numArgs: 1. jumpContinue jmpTarget: self Label. ^0! Item was changed: ----- Method: StackToRegisterMappingCogit>>genSpecialSelectorComparison (in category 'bytecode generators') ----- genSpecialSelectorComparison | nextPC postBranchPC targetBytecodePC primDescriptor branchDescriptor nExts rcvrIsInt argIsInt rcvrInt argInt result jumpNotSmallInts inlineCAB annotateInst | <var: #primDescriptor type: #'BytecodeDescriptor *'> <var: #branchDescriptor type: #'BytecodeDescriptor *'> <var: #jumpNotSmallInts type: #'AbstractInstruction *'> self ssFlushTo: simStackPtr - 2. primDescriptor := self generatorAt: byte0. argIsInt := self ssTop type = SSConstant and: [objectMemory isIntegerObject: (argInt := self ssTop constant)]. rcvrIsInt := (self ssValue: 1) type = SSConstant and: [objectMemory isIntegerObject: (rcvrInt := (self ssValue: 1) constant)]. (argIsInt and: [rcvrIsInt]) ifTrue: [self cCode: '' inSmalltalk: "In Simulator ints are unsigned..." [rcvrInt := objectMemory integerValueOf: rcvrInt. argInt := objectMemory integerValueOf: argInt]. primDescriptor opcode caseOf: { [JumpLess] -> [result := rcvrInt < argInt]. [JumpLessOrEqual] -> [result := rcvrInt <= argInt]. [JumpGreater] -> [result := rcvrInt > argInt]. [JumpGreaterOrEqual] -> [result := rcvrInt >= argInt]. [JumpZero] -> [result := rcvrInt = argInt]. [JumpNonZero] -> [result := rcvrInt ~= argInt] }. "Must enter any annotatedConstants into the map" self annotateBytecodeIfAnnotated: (self ssValue: 1). self annotateBytecodeIfAnnotated: self ssTop. "Must annotate the bytecode for correct pc mapping." self ssPop: 2. ^self ssPushAnnotatedConstant: (result ifTrue: [objectMemory trueObject] ifFalse: [objectMemory falseObject])]. nextPC := bytecodePC + primDescriptor numBytes. nExts := 0. [branchDescriptor := self generatorAt: (objectMemory fetchByte: nextPC ofObject: methodObj) + (byte0 bitAnd: 256). branchDescriptor isExtension] whileTrue: [nExts := nExts + 1. nextPC := nextPC + branchDescriptor numBytes]. "Only interested in inlining if followed by a conditional branch." inlineCAB := branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]. "Further, only interested in inlining = and ~= if there's a SmallInteger constant involved. The relational operators successfully statically predict SmallIntegers; the equality operators do not." (inlineCAB and: [primDescriptor opcode = JumpZero or: [primDescriptor opcode = JumpNonZero]]) ifTrue: [inlineCAB := argIsInt or: [rcvrIsInt]]. inlineCAB ifFalse: [^self genSpecialSelectorSend]. targetBytecodePC := nextPC + branchDescriptor numBytes + (self spanFor: branchDescriptor at: nextPC exts: nExts in: methodObj). postBranchPC := nextPC + branchDescriptor numBytes. argIsInt ifTrue: [(self ssValue: 1) popToReg: ReceiverResultReg. annotateInst := self ssTop annotateUse. self ssPop: 2. self MoveR: ReceiverResultReg R: TempReg] ifFalse: [self marshallSendArguments: 1. self MoveR: Arg0Reg R: TempReg. rcvrIsInt ifFalse: [objectRepresentation isSmallIntegerTagNonZero ifTrue: [self AndR: ReceiverResultReg R: TempReg] ifFalse: [self OrR: ReceiverResultReg R: TempReg]]]. jumpNotSmallInts := objectRepresentation genJumpNotSmallIntegerInScratchReg: TempReg. argIsInt ifTrue: [annotateInst ifTrue: [self annotateBytecode: (self CmpCq: argInt R: ReceiverResultReg)] ifFalse: [self CmpCq: argInt R: ReceiverResultReg]] ifFalse: [self CmpR: Arg0Reg R: ReceiverResultReg]. "Cmp is weird/backwards so invert the comparison. Further since there is a following conditional jump bytecode define non-merge fixups and leave the cond bytecode to set the mergeness." self gen: (branchDescriptor isBranchTrue ifTrue: [primDescriptor opcode] ifFalse: [self inverseBranchFor: primDescriptor opcode]) operand: (self ensureNonMergeFixupAt: targetBytecodePC - initialPC) asUnsignedInteger. self Jump: (self ensureNonMergeFixupAt: postBranchPC - initialPC). jumpNotSmallInts jmpTarget: self Label. argIsInt ifTrue: [self MoveCq: argInt R: Arg0Reg]. ^self genMarshalledSend: (coInterpreter specialSelector: byte0 - self firstSpecialSelectorBytecodeOffset) + numArgs: 1 + sendTable: ordinarySendTrampolines.! - numArgs: 1! Item was changed: ----- Method: StackToRegisterMappingCogit>>generateSendTrampolines (in category 'initialization') ----- generateSendTrampolines "Override to generate code to push the register arg(s) for <= numRegArg arity sends." 0 to: NumSendTrampolines - 2 do: [:numArgs| + ordinarySendTrampolines - sendTrampolines at: numArgs put: (self genSendTrampolineFor: #ceSend:super:to:numArgs: numArgs: numArgs called: (self trampolineName: 'ceSend' numArgs: numArgs) arg: ClassReg arg: 0 arg: ReceiverResultReg arg: numArgs)]. + ordinarySendTrampolines - sendTrampolines at: NumSendTrampolines - 1 put: (self genSendTrampolineFor: #ceSend:super:to:numArgs: numArgs: self numRegArgs + 1 called: (self trampolineName: 'ceSend' numArgs: -1) arg: ClassReg arg: 0 arg: ReceiverResultReg arg: SendNumArgsReg). self cppIf: NewspeakVM ifTrue: [0 to: NumSendTrampolines - 2 do: [:numArgs| dynamicSuperSendTrampolines at: numArgs put: (self genSendTrampolineFor: #ceDynamicSuperSend:to:numArgs: numArgs: numArgs called: (self trampolineName: 'ceDynSuperSend' numArgs: numArgs) arg: ClassReg arg: ReceiverResultReg arg: numArgs)]. dynamicSuperSendTrampolines at: NumSendTrampolines - 1 put: (self genSendTrampolineFor: #ceDynamicSuperSend:to:numArgs: numArgs: self numRegArgs + 1 called: (self trampolineName: 'ceDynSuperSend' numArgs: -1) arg: ClassReg arg: ReceiverResultReg + arg: SendNumArgsReg). + 0 to: NumSendTrampolines - 2 do: + [:numArgs| + selfSendTrampolines + at: numArgs + put: (self genSendTrampolineFor: #ceSelfSend:to:numArgs: + numArgs: numArgs + called: (self trampolineName: 'ceSelfSend' numArgs: numArgs) + arg: ClassReg + arg: ReceiverResultReg + arg: numArgs)]. + selfSendTrampolines + at: NumSendTrampolines - 1 + put: (self genSendTrampolineFor: #ceSelfSend:to:numArgs: + numArgs: self numRegArgs + 1 + called: (self trampolineName: 'ceSelfSend' numArgs: -1) + arg: ClassReg + arg: ReceiverResultReg arg: SendNumArgsReg)]. 0 to: NumSendTrampolines - 2 do: [:numArgs| superSendTrampolines at: numArgs put: (self genSendTrampolineFor: #ceSend:super:to:numArgs: numArgs: numArgs called: (self trampolineName: 'ceSuperSend' numArgs: numArgs) arg: ClassReg arg: 1 arg: ReceiverResultReg arg: numArgs)]. superSendTrampolines at: NumSendTrampolines - 1 put: (self genSendTrampolineFor: #ceSend:super:to:numArgs: numArgs: self numRegArgs + 1 called: (self trampolineName: 'ceSuperSend' numArgs: -1) arg: ClassReg arg: 1 arg: ReceiverResultReg arg: SendNumArgsReg). + firstSend := ordinarySendTrampolines at: 0. - firstSend := sendTrampolines at: 0. lastSend := superSendTrampolines at: NumSendTrampolines - 1!

1 0

VM Maker: VMMaker.oscog-eem.1130.mcz
by commits＠source.squeak.org 31 Mar '15

31 Mar '15

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1130.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.1130 Author: eem Time: 30 March 2015, 5:20:24.731 pm UUID: 7d87dac8-7e00-47ba-86da-1180507647a6 Ancestors: VMMaker.oscog-eem.1129 Integrate Nicolas' safer primitiveScanCharacters =============== Diff against VMMaker.oscog-eem.1129 =============== Item was changed: ----- Method: InterpreterPrimitives>>primitiveScanCharacters (in category 'I/O primitives') ----- primitiveScanCharacters "The character scanner primitive." | kernDelta stops sourceString scanStopIndex scanStartIndex rcvr scanDestX scanLastIndex scanXTable scanMap maxGlyph ascii stopReason glyphIndex sourceX sourceX2 nextDestX scanRightX nilOop | self methodArgumentCount = 6 ifFalse: [^ self primitiveFail]. + "Load the receiver and arguments" - "Load the arguments" kernDelta := self stackIntegerValue: 0. stops := self stackObjectValue: 1. - (objectMemory isArray: stops) ifFalse: [^ self primitiveFail]. - (objectMemory slotSizeOf: stops) >= 258 ifFalse: [^ self primitiveFail]. scanRightX := self stackIntegerValue: 2. sourceString := self stackObjectValue: 3. - (objectMemory isBytes: sourceString) ifFalse: [^ self primitiveFail]. scanStopIndex := self stackIntegerValue: 4. scanStartIndex := self stackIntegerValue: 5. + rcvr := self stackObjectValue: 6. + self successful ifFalse: [^ nil]. + + "check argument type and range" + (objectMemory isArray: stops) ifFalse: [^ self primitiveFail]. + (objectMemory slotSizeOf: stops) >= 258 ifFalse: [^ self primitiveFail]. + (objectMemory isBytes: sourceString) ifFalse: [^ self primitiveFail]. (scanStartIndex > 0 and: [scanStopIndex > 0 and: [scanStopIndex <= (objectMemory byteSizeOf: sourceString)]]) ifFalse: [^ self primitiveFail]. + "Check receiver and required instVars" - "Load receiver and required instVars" - rcvr := self stackObjectValue: 6. ((objectMemory isPointers: rcvr) and: [(objectMemory slotSizeOf: rcvr) >= 4]) ifFalse: [^ self primitiveFail]. scanDestX := self fetchInteger: 0 ofObject: rcvr. scanLastIndex := self fetchInteger: 1 ofObject: rcvr. scanXTable := objectMemory fetchPointer: 2 ofObject: rcvr. scanMap := objectMemory fetchPointer: 3 ofObject: rcvr. ((objectMemory isArray: scanXTable) and: [objectMemory isArray: scanMap]) ifFalse: [^ self primitiveFail]. (objectMemory slotSizeOf: scanMap) = 256 ifFalse: [^ self primitiveFail]. self successful ifFalse: [^ nil]. maxGlyph := (objectMemory slotSizeOf: scanXTable) - 2. "Okay, here we go. We have eliminated nearly all failure conditions, to optimize the inner fetches." scanLastIndex := scanStartIndex. nilOop := objectMemory nilObject. [scanLastIndex <= scanStopIndex] whileTrue: [ "Known to be okay since scanStartIndex > 0 and scanStopIndex <= sourceString size" ascii := objectMemory fetchByte: scanLastIndex - 1 ofObject: sourceString. "Known to be okay since stops size >= 258" (stopReason := objectMemory fetchPointer: ascii ofObject: stops) = nilOop ifFalse: ["Store everything back and get out of here since some stop conditionn needs to be checked" (objectMemory isIntegerValue: scanDestX) ifFalse: [^ self primitiveFail]. self storeInteger: 0 ofObject: rcvr withValue: scanDestX. self storeInteger: 1 ofObject: rcvr withValue: scanLastIndex. self pop: 7. "args+rcvr" ^ self push: stopReason]. "Known to be okay since scanMap size = 256" glyphIndex := self fetchInteger: ascii ofObject: scanMap. "fail if the glyphIndex is out of range" (self failed or: [glyphIndex < 0 or: [glyphIndex > maxGlyph]]) ifTrue: [^ self primitiveFail]. sourceX := self fetchInteger: glyphIndex ofObject: scanXTable. sourceX2 := self fetchInteger: glyphIndex + 1 ofObject: scanXTable. "Above may fail if non-integer entries in scanXTable" self failed ifTrue: [^ nil]. nextDestX := scanDestX + sourceX2 - sourceX. nextDestX > scanRightX ifTrue: ["Store everything back and get out of here since we got to the right edge" (objectMemory isIntegerValue: scanDestX) ifFalse: [^ self primitiveFail]. self storeInteger: 0 ofObject: rcvr withValue: scanDestX. self storeInteger: 1 ofObject: rcvr withValue: scanLastIndex. self pop: 7 "args+rcvr" thenPush: (objectMemory fetchPointer: CrossedX - 1 ofObject: stops). ^nil]. scanDestX := nextDestX + kernDelta. scanLastIndex := scanLastIndex + 1]. (objectMemory isIntegerValue: scanDestX) ifFalse: [^ self primitiveFail]. self storeInteger: 0 ofObject: rcvr withValue: scanDestX. self storeInteger: 1 ofObject: rcvr withValue: scanStopIndex. self pop: 7 "args+rcvr" thenPush: (objectMemory fetchPointer: EndOfRun - 1 ofObject: stops)!

1 0

Re: VM Maker: VMMaker-tfel.360.mcz
by timfelgentreff 31 Mar '15

31 Mar '15

This merges the optimizations, fixes, and additions that I made for simulating BitBlt and Balloon primitives. There shouldn't be any changes to the generated code, but this now supports calling BitBlt>>copyBitsSimulated and BalloonEngine>>simulateBalloonPrimitive:args: instead of running the actual primitive, and it draws an image using the simulation only for these primitives. -- View this message in context: http://forum.world.st/VM-Maker-VMMaker-tfel-360-mcz-tp4816106p4816107.html Sent from the Squeak VM mailing list archive at Nabble.com.

3 5

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev March 2015