Vm-dev October 2013

vm-dev@lists.squeakfoundation.org

30 participants
145 discussions

VM Maker: VMMaker.oscog-eem.430.mcz
by commits＠source.squeak.org 03 Oct '13

03 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.430.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.430 Author: eem Time: 3 October 2013, 1:49:56.719 pm UUID: 8cc48bd0-58e0-4492-a5ca-84f53f03de37 Ancestors: VMMaker.oscog-eem.429 Add forwarding code to InterpreterPrimitives>>primitive[Not]Identical and bytecodePrimEquivalent Fix machine code genPrimitiveIdentityHash failure; failure should call the interpreter primitive to assign the hash. Make machine-code double primitives deal with Spur having more than one immediate type. More protocol added to CogObjectRepresentationFor[NBit]Spur. Fix logging in CoInterpreter>>commonSend to use lkupClassTag. Print a method's primitive if it has one in printCogMethod:. *Don't* check stack depth in ceTraceLinkedSend:. The call isn't at a suspension point. Get CogVMSmulator>>ioRelinquishProcessorForMicroseconds: to increase byteCount so delays can actually fire when idle process is running (simulator derives time from byteCount). Add dumpPrimTraceLog to utilities menus. Fix checkIfValidObjectRef:pc:cogMethod: to correctly check super sends (added uncheckedEntryAlignment for completeness). Send print: to coInterpreter in the validity checking routines (meaningful when simulating). Correct Cogit>>sendTrace:'s comment. Change Spur's variable class instantiation to allocate objects with more than the max fixed fields worth of slots in old space. Avoids clogging up new space with huge bitmap objects. More is(Non)IntegerObject: => is(Non)Immediate:. genGetCompactClassIndexNonIntOf: => genGetCompactClassIndexNonImmOf:. Cogit+Spur bootstrap now genuinely evaluates 3+4 (before it was interpreting due to 1st-level method lookup cache bug). =============== Diff against VMMaker.oscog-eem.429 =============== Item was changed: ----- Method: CoInterpreter>>checkLogIntegrity (in category 'object memory support') ----- checkLogIntegrity "Check the log for leaks. The trace log is a circular buffer of pairs of entries. If there is an entry at traceLogIndex - 3 \\ TraceBufferSize it has entries. If there is something at traceLogIndex it has wrapped." | limit ok | limit := self safe: traceLogIndex - 3 mod: TraceBufferSize. (traceLog at: limit) = 0 ifTrue: [^true]. (traceLog at: traceLogIndex) ~= 0 ifTrue: [limit := TraceBufferSize - 3]. ok := true. 0 to: limit by: 3 do: [:i| | oop | oop := traceLog at: i. + (objectMemory isImmediate: oop) ifFalse: - (objectMemory isIntegerObject: oop) ifFalse: [(objectMemory checkOopIntegrity: oop named: 'traceLog' index: i) ifFalse: [ok := false]]. oop := traceLog at: i + 1. + (objectMemory isImmediate: oop) ifFalse: - (objectMemory isIntegerObject: oop) ifFalse: [(objectMemory checkOopIntegrity: oop named: 'traceLog' index: i + 1) ifFalse: [ok := false]]]. ^ok! Item was changed: ----- Method: CoInterpreter>>commonSend (in category 'message sending') ----- commonSend "Send a message, starting lookup with the receiver's class." "Assume: messageSelector and argumentCount have been set, and that the receiver and arguments have been pushed onto the stack," "Note: This method is inlined into the interpreter dispatch loop." <sharedCodeNamed: 'commonSend' inCase: #singleExtendedSendBytecode> self sendBreakpoint: messageSelector receiver: (self internalStackValue: argumentCount). cogit recordSendTrace ifTrue: + [self recordTrace: (objectMemory classForClassTag: lkupClassTag) + thing: messageSelector + source: TraceIsFromInterpreter. - [self recordTrace: lkupClass thing: messageSelector source: TraceIsFromInterpreter. cogit printOnTrace ifTrue: + [self printActivationNameForSelector: messageSelector + startClass: (objectMemory classForClassTag: lkupClassTag); cr]]. - [self printActivationNameForSelector: messageSelector startClass: lkupClass; cr]]. self internalFindNewMethod. self internalExecuteNewMethod. self fetchNextBytecode! Item was changed: ----- Method: CoInterpreter>>printCogMethod: (in category 'debug printing') ----- printCogMethod: cogMethod <api> <var: #cogMethod type: #'CogMethod *'> + | address primitive | - | address | self cCode: '' inSmalltalk: [self transcript ensureCr. cogMethod isInteger ifTrue: [^self printCogMethod: (self cCoerceSimple: cogMethod to: #'CogMethod *')]]. address := cogMethod asInteger. self printHex: address; print: ' <-> '; printHex: address + cogMethod blockSize. cogMethod cmType = CMMethod ifTrue: [self print: ': method: '; + printHex: cogMethod methodObject. + primitive := self primitiveIndexOfMethod: cogMethod methodObject + header: cogMethod methodHeader. + primitive ~= 0 ifTrue: + [self print: ' prim '; printNum: primitive]]. - printHex: cogMethod methodObject]. cogMethod cmType = CMBlock ifTrue: [self print: ': block home: '; printHex: (self cCoerceSimple: cogMethod to: #'CogBlockMethod *') cmHomeMethod asUnsignedInteger]. cogMethod cmType = CMClosedPIC ifTrue: [self print: ': Closed PIC N: '; printHex: cogMethod cPICNumCases]. cogMethod cmType = CMOpenPIC ifTrue: [self print: ': Open PIC ']. self print: ' selector: '; printHex: cogMethod selector; print: ' '; printStringOf: cogMethod selector; cr! Item was changed: ----- Method: CoInterpreter>>printPrimLogEntryAt: (in category 'debug support') ----- printPrimLogEntryAt: i <inline: false> | intOrSelector | intOrSelector := primTraceLog at: i. + (objectMemory isImmediate: intOrSelector) - (objectMemory isIntegerObject: intOrSelector) ifTrue: [ intOrSelector = TraceIncrementalGC ifTrue: [self print: '**IncrementalGC**'. ^nil]. intOrSelector = TraceFullGC ifTrue: [self print: '**FullGC**'. ^nil]. intOrSelector = TraceCodeCompaction ifTrue: [self print: '**CompactCode**'. ^nil]. self print: '???'] ifFalse: [objectMemory safePrintStringOf: intOrSelector]! Item was added: + ----- Method: CogObjectRepresentation>>smallIntegerIsOnlyImmediateType (in category 'testing') ----- + smallIntegerIsOnlyImmediateType + self subclassResponsibility! Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>genFetchIndexRegister:from:into: (in category 'compile abstract instructions') ----- + genFetchIndexRegister: indexReg from: tableObj into: destReg + "indexReg contains the 1-relative index of an element in tableObj. + Since BaseHeaderSize > BytesPerOop we must adjust it to use + it as a zero-relative index from the beginning of the object." + self assert: indexReg ~= destReg. + cogit AddCq: objectMemory baseHeaderSize / objectMemory wordSize - 1 R: indexReg. + cogit annotate: (cogit MoveCw: tableObj R: destReg) objRef: tableObj. + cogit MoveXwr: indexReg R: destReg R: destReg. + ^0! Item was added: + ----- Method: CogObjectRepresentationFor64BitSpur>>genFetchIndexRegister:from:into: (in category 'compile abstract instructions') ----- + genFetchIndexRegister: indexReg from: tableObj into: destReg + "indexReg contains the 1-relative index of an element in tableObj. + Since BaseHeaderSize = BytesPerOop we can use it as a + zero-relative index from the beginning of the object." + self assert: indexReg ~= destReg. + cogit annotate: (cogit MoveCw: tableObj R: destReg) objRef: tableObj. + cogit MoveXwr: indexReg R: destReg R: destReg. + ^0! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genAllocFloatValue:into:scratchReg:scratchReg: (in category 'primitive generators') ----- + genAllocFloatValue: dpreg into: resultReg scratchReg: scratch1 scratchReg: scratch2 + <returnTypeC: #'AbstractInstruction *'> + | allocSize newFloatHeader jumpFail | + <var: #jumpFail type: #'AbstractInstruction *'> + allocSize := objectMemory baseHeaderSize + (objectMemory sizeof: #double). + newFloatHeader := objectMemory + headerForSlots: (self sizeof: #double) / objectMemory wordSize + format: objectMemory firstLongFormat + classIndex: objectMemory classFloatCompactIndex. + cogit MoveAw: objectMemory freeStartAddress R: resultReg. + cogit MoveAw: objectMemory scavengeThresholdAddress R: scratch2. + cogit LoadEffectiveAddressMw: allocSize r: resultReg R: scratch1. + cogit CmpR: scratch2 R: scratch1. + jumpFail := cogit JumpAboveOrEqual: 0. + cogit MoveR: scratch1 Aw: objectMemory freeStartAddress. + cogit MoveCq: newFloatHeader R: scratch2. + objectMemory wordSize = objectMemory baseHeaderSize + ifTrue: [cogit MoveR: scratch2 Mw: 0 r: resultReg] + ifFalse: + [self flag: #endianness. + cogit MoveCq: 0 R: scratch1. + cogit MoveR: scratch2 Mw: 0 r: resultReg. + cogit MoveR: scratch1 Mw: objectMemory wordSize r: resultReg.]. + cogit MoveRd: dpreg M64: objectMemory baseHeaderSize r: resultReg. + ^jumpFail! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genFetchIndexRegister:from:into: (in category 'compile abstract instructions') ----- + genFetchIndexRegister: indexReg from: tableObj into: destReg + "indexReg contains the 1-relative index of an element in tableObj." + self subclassResponsibility! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genGetClassIndexOfNonImm:into: (in category 'compile abstract instructions') ----- + genGetClassIndexOfNonImm: sourceReg into: destReg + "Fetch the instance's class index into destReg." + + cogit MoveMw: 0 r: sourceReg R: destReg. + cogit AndCq: objectMemory classIndexMask R: destReg. + ^0! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genGetCompactClassIndexNonImmOf:into: (in category 'compile abstract instructions') ----- + genGetCompactClassIndexNonImmOf: instReg into: destReg + "Fetch the instance's class index into destReg." + ^self genGetClassIndexOfNonImm: instReg into: destReg! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genGetDoubleValueOf:into: (in category 'compile abstract instructions') ----- + genGetDoubleValueOf: srcReg into: destFPReg + cogit MoveM64: objectMemory baseHeaderSize r: srcReg Rd: destFPReg. + ^0! Item was added: + ----- Method: CogObjectRepresentationForSpur>>smallIntegerIsOnlyImmediateType (in category 'testing') ----- + smallIntegerIsOnlyImmediateType + ^false! Item was changed: ----- Method: CogObjectRepresentationForSqueakV3>>genFetchIndexRegister:from:into: (in category 'compile abstract instructions') ----- genFetchIndexRegister: indexReg from: tableObj into: destReg + "indexReg contains the 1-relative index of an element in tableObj. + Since BaseHeaderSize = BytesPerOop we can use it as a + zero-relative index from the beginning of the object." self assert: indexReg ~= destReg. cogit annotate: (cogit MoveCw: tableObj R: destReg) objRef: tableObj. cogit MoveXwr: indexReg R: destReg R: destReg. ^0! Item was added: + ----- Method: CogObjectRepresentationForSqueakV3>>genGetCompactClassIndexNonImmOf:into: (in category 'compile abstract instructions') ----- + genGetCompactClassIndexNonImmOf: instReg into: destReg + "Fetch the instance's compact class index into destReg." + "Get header word in scratchReg" + cogit MoveMw: 0 r: instReg R: destReg. + "Form the byte index of the compact class field" + cogit LogicalShiftRightCq: objectMemory compactClassFieldLSB R: destReg. + cogit AndCq: self compactClassFieldMask R: destReg. + ^0! Item was removed: - ----- Method: CogObjectRepresentationForSqueakV3>>genGetCompactClassIndexNonIntOf:into: (in category 'compile abstract instructions') ----- - genGetCompactClassIndexNonIntOf: instReg into: destReg - "Fetch the instance's compact class index into destReg." - "Get header word in scratchReg" - cogit MoveMw: 0 r: instReg R: destReg. - "Form the byte index of the compact class field" - cogit LogicalShiftRightCq: objectMemory compactClassFieldLSB R: destReg. - cogit AndCq: self compactClassFieldMask R: destReg. - ^0! Item was added: + ----- Method: CogObjectRepresentationForSqueakV3>>genJumpImmediateInScratchReg: (in category 'compile abstract instructions') ----- + genJumpImmediateInScratchReg: aRegister + ^self genJumpSmallIntegerInScratchReg: aRegister! Item was added: + ----- Method: CogObjectRepresentationForSqueakV3>>smallIntegerIsOnlyImmediateType (in category 'testing') ----- + smallIntegerIsOnlyImmediateType + ^true! Item was changed: ----- Method: CogVMSimulator>>ceTraceLinkedSend: (in category 'debug support') ----- ceTraceLinkedSend: theReceiver - | cogMethod delta | (sendCount := sendCount + 1) \\ 500 = 0 ifTrue: [self changed: #byteCountText]. cogit printOnTrace ifTrue: [transcript print: byteCount; nextPut: $/; print: sendCount; space]. cogit assertCStackWellAligned. super ceTraceLinkedSend: theReceiver. - cogMethod := cogit cogBlockMethodSurrogateAt: (self stackTop - cogit traceLinkedSendOffset). - cogMethod stackCheckOffset > 0 ifTrue: - [delta := (cogMethod cmType = CMMethod - and: [cogMethod cmNumArgs > cogit numRegArgs]) - ifTrue: [cogMethod cmNumArgs + 1] - ifFalse: [0]. - self maybeCheckStackDepth: delta sp: stackPointer + BytesPerWord pc: (stackPages longAt: stackPointer)]. "skip return address for ceTraceLinkedSend call." ^#continue! Item was changed: ----- Method: CogVMSimulator>>ioMSecs (in category 'I/O primitives support') ----- ioMSecs "Return the value of the millisecond clock." "NOT. Actually, we want something a lot slower and, for exact debugging, something more repeatable than real time. I have an idea: use the byteCount... (di 7/1/2004 13:55)" + ^self microsecondsToMilliseconds: self ioUTCMicroseconds - ^self ioUTCMicroseconds // 1000 bitAnd: MillisecondClockMask "At 20k bytecodes per second, this gives us about 200 ticks per second, or about 1/5 of what you'd expect for the real time clock. This should still service events at one or two per second"! Item was changed: ----- Method: CogVMSimulator>>ioRelinquishProcessorForMicroseconds: (in category 'I/O primitives support') ----- ioRelinquishProcessorForMicroseconds: microseconds "In the simulator give an indication that we're idling and check for input. + If called from machine code then increment the byte count since the clock + is derived from it and the clock will not advance otherwise. If we're simulating threading we're in difficulties. We need a UI process (to run activities such as fill-in-the-blanks) but we also need an independent thread of control to run this VM thread. So we need to fork a new UI process." Display reverse: (0@0 extent: 16@16). + instructionPointer >= objectMemory startOfMemory ifFalse: + [byteCount := byteCount + microseconds - 1. + self incrementByteCount]. Sensor peekEvent ifNotNil: [self forceInterruptCheck]. Processor activeProcess == Project uiProcess ifTrue: [World doOneCycle]. microseconds >= 1000 ifTrue: [self isThreadedVM ifTrue: [self forceInterruptCheckFromHeartbeat]. (Delay forMilliseconds: microseconds + 999 // 1000) wait] ifFalse: [Processor yield]! Item was added: + ----- Method: CogVMSimulator>>primitiveNewWithArg (in category 'debugging traps') ----- + primitiveNewWithArg + "(objectMemory hasSpurMemoryManagerAPI + and: [self classNameOf: (self stackValue: 1) Is: 'Bitmap']) ifTrue: + [self printExternalHeadFrame. + self halt]." + ^super primitiveNewWithArg! Item was added: + ----- Method: CogVMSimulator>>primitiveSignalAtMilliseconds (in category 'system control primitives') ----- + primitiveSignalAtMilliseconds + super primitiveSignalAtMilliseconds. + self successful ifTrue: + [Transcript + cr; nextPutAll: thisContext selector; + nextPutAll: ' now '; nextPutAll: self ioUTCMicroseconds hex; + nextPutAll: ' wakeup '; nextPutAll: nextWakeupUsecs hex; + nextPutAll: ' wakeup - now '; print: self ioUTCMicroseconds - nextWakeupUsecs; flush]! Item was changed: ----- Method: CogVMSimulator>>utilitiesMenu: (in category 'UI') ----- utilitiesMenu: aMenuMorph aMenuMorph add: 'toggle transcript' action: #toggleTranscript; addLine; add: 'print ext head frame' action: #printExternalHeadFrame; add: 'print int head frame' action: #printHeadFrame; add: 'print mc/cog frame' action: [self printFrame: cogit processor fp WithSP: cogit processor sp]; add: 'short print ext frame & callers' action: [self shortPrintFrameAndCallers: framePointer]; add: 'short print int frame & callers' action: [self shortPrintFrameAndCallers: localFP]; add: 'short print mc/cog frame & callers' action: [self shortPrintFrameAndCallers: cogit processor fp]; add: 'long print ext frame & callers' action: [self printFrameAndCallers: framePointer SP: stackPointer]; add: 'long print int frame & callers' action: [self printFrameAndCallers: localFP SP: localSP]; add: 'long print mc/cog frame & callers' action: [self printFrameAndCallers: cogit processor fp SP: cogit processor sp]; add: 'print frame...' action: [(self promptHex: 'print frame') ifNotNil: [:fp| self printFrame: fp]]; add: 'print call stack' action: #printCallStack; add: 'print stack call stack' action: #printStackCallStack; add: 'print call stack of...' action: [(self promptHex: 'context or process oop') ifNotNil: [:obj| self printCallStackOf: obj]]; add: 'print all stacks' action: #printAllStacks; addLine; add: 'print registers' action: [cogit processor printRegistersOn: transcript]; add: 'disassemble method/trampoline...' action: [(self promptHex: 'pc') ifNotNil: [:pc| cogit disassembleCodeAt: pc]]; add: 'disassemble method/trampoline at pc' action: [cogit disassembleCodeAt: cogit processor pc]; add: 'disassemble ext head frame method' action: [cogit disassembleMethod: (self frameMethod: framePointer)]; add: 'print oop...' action: [(self promptHex: 'print oop') ifNotNil: [:oop| self printOop: oop]]; add: 'long print oop...' action: [(self promptHex: 'print oop') ifNotNil: [:oop| self longPrintOop: oop]]; addLine; add: 'inspect object memory' target: objectMemory action: #inspect; add: 'inspect cointerpreter' action: #inspect; add: 'inspect cogit' target: cogit action: #inspect; add: 'inspect method zone' target: cogit methodZone action: #inspect. self isThreadedVM ifTrue: [aMenuMorph add: 'inspect thread manager' target: self threadManager action: #inspect]. aMenuMorph addLine; add: 'print cog methods' target: cogMethodZone action: #printCogMethods; add: 'print trampoline table' target: cogit action: #printTrampolineTable; + add: 'print prim trace log' action: #dumpPrimTraceLog; add: 'report recent instructions' target: cogit action: #reportLastNInstructions; add: 'set break pc...' action: [(self promptHex: 'break pc') ifNotNil: [:bpc| cogit breakPC: bpc]]; add: (cogit singleStep ifTrue: ['no single step'] ifFalse: ['single step']) action: [cogit singleStep: cogit singleStep not]; add: (cogit printRegisters ifTrue: ['no print registers each instruction'] ifFalse: ['print registers each instruction']) action: [cogit printRegisters: cogit printRegisters not]; add: (cogit printInstructions ifTrue: ['no print instructions each instruction'] ifFalse: ['print instructions each instruction']) action: [cogit printInstructions: cogit printInstructions not]; addLine; add: 'set break count...' action: [|s| s := UIManager default request: 'break count (dec)'. s notEmpty ifTrue: [breakCount := Integer readFrom: s readStream]]; add: 'set break selector...' action: [|s| s := UIManager default request: 'break selector'. s notEmpty ifTrue: [self setBreakSelector: s]]; add: 'set break block...' action: [|s| s := UIManager default request: 'break selector'. s notEmpty ifTrue: [self setBreakBlockFromString: s]]; add: (printBytecodeAtEachStep ifTrue: ['no print bytecode each bytecode'] ifFalse: ['print bytecode each bytecode']) action: [self ensureDebugAtEachStepBlock. printBytecodeAtEachStep := printBytecodeAtEachStep not]; add: (printFrameAtEachStep ifTrue: ['no print frame each bytecode'] ifFalse: ['print frame each bytecode']) action: [self ensureDebugAtEachStepBlock. printFrameAtEachStep := printFrameAtEachStep not]. ^aMenuMorph! 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 postCompileHook primInvokeLabel methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMissCall missOffset entryPointMask checkedEntryAlignment uncheckedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry dynSuperEntry dynSuperEntryAlignment cmDynSuperEntryOffset mnuCall interpretCall 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 maxMethodBefore maxLitIndex ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceClosureCopyTrampoline ceCreateNewArrayTrampoline ceEnterCogCodePopReceiverReg ceEnterCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceActiveContextTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline cePositive32BitIntegerTrampoline ceImplicitReceiverTrampoline ceExplicitReceiverTrampoline ceCaptureCStackPointers ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetSP sendTrampolines superSendTrampolines dynamicSuperSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCEEnterCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner cogMethodSurrogateClass cogBlockMethodSurrogateClass extA extB' - 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 postCompileHook primInvokeLabel methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMissCall missOffset entryPointMask checkedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry dynSuperEntry dynSuperEntryAlignment cmDynSuperEntryOffset mnuCall interpretCall 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 maxMethodBefore maxLitIndex ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceClosureCopyTrampoline ceCreateNewArrayTrampoline ceEnterCogCodePopReceiverReg ceEnterCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceActiveContextTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline cePositive32BitIntegerTrampoline ceImplicitReceiverTrampoline ceExplicitReceiverTrampoline ceCaptureCStackPointers ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetSP sendTrampolines superSendTrampolines dynamicSuperSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCEEnterCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner cogMethodSurrogateClass cogBlockMethodSurrogateClass extA extB' classVariableNames: 'AltBlockCreationBytecodeSize AltNSSendIsPCAnnotated AnnotationConstantNames AnnotationShift BlockCreationBytecodeSize Debug DisplacementMask DisplacementX2N EagerInstructionDecoration EncounteredUnknownBytecode FirstAnnotation HasBytecodePC InsufficientCodeSpace IsAbsPCReference IsDisplacement IsDisplacementX2N IsNSSendCall IsObjectReference IsRelativeCall IsSendCall MapEnd MaxCompiledPrimitiveIndex MaxNegativeErrorCode MaxStackAllocSize MaxUnitDisplacement MaxX2NDisplacement MethodTooBig NSSendIsPCAnnotated NotFullyInitialized NumObjRefsInRuntime NumSendTrampolines NumTrampolines ProcessorClass YoungSelectorInPIC' 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>>checkIfValidObjectRef:pc:cogMethod: (in category 'garbage collection') ----- checkIfValidObjectRef: annotation pc: mcpc cogMethod: cogMethod <var: #mcpc type: #'char *'> + <var: #sendTable type: #'sqInt *'> annotation = IsObjectReference ifTrue: [| literal | literal := backEnd literalBeforeFollowingAddress: mcpc asInteger. (objectRepresentation checkValidObjectReference: literal) ifFalse: + [coInterpreter print: 'object ref leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. - [self print: 'object ref leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. ^1]]. (self isSendAnnotation: annotation) ifTrue: + [| entryPoint selectorOrCacheTag offset sendTable | - [| entryPoint selectorOrCacheTag | entryPoint := backEnd callTargetFromReturnAddress: mcpc asInteger. + self + offsetAndSendTableFor: entryPoint + annotation: annotation + into: [:off :table| offset := off. sendTable := table]. selectorOrCacheTag := backEnd inlineCacheTagAt: mcpc asInteger. + (entryPoint > methodZoneBase + and: [offset ~= cmNoCheckEntryOffset]) + ifTrue: "linked non-super send, cacheTag is a cacheTag" - entryPoint > methodZoneBase - ifTrue: "linked send, cacheTag is a cacheTag" [(objectRepresentation checkValidInlineCacheTag: selectorOrCacheTag) ifFalse: + [coInterpreter print: 'cache tag leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. - [self 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" - ifFalse: "unlinked send; cacheTag is a selector" [(objectRepresentation checkValidObjectReference: selectorOrCacheTag) ifFalse: + [coInterpreter print: 'selector leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. - [self print: 'selector leak in CM '; printHex: cogMethod asInteger; print: ' @ '; printHex: mcpc asInteger; cr. ^1]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>checkIntegrityOfObjectReferencesInCode: (in category 'debugging') ----- checkIntegrityOfObjectReferencesInCode: fullGCFlag <api> "Answer if all references to objects in machine-code are valid." | cogMethod ok count | <var: #cogMethod type: #'CogMethod *'> cogMethod := self cCoerceSimple: methodZoneBase to: #'CogMethod *'. ok := true. [cogMethod < methodZone limitZony] whileTrue: [cogMethod cmType ~= CMFree ifTrue: [cogMethod cmRefersToYoung ifTrue: [(count := methodZone occurrencesInYoungReferrers: cogMethod) ~= 1 ifTrue: + [coInterpreter print: 'young referrer CM '; printHex: cogMethod asInteger. - [self print: 'young referrer CM '; printHex: cogMethod asInteger. count = 0 + ifTrue: [coInterpreter print: ' is not in youngReferrers'; cr] + ifFalse: [coInterpreter print: ' is in youngReferrers '; printNum: count; print: ' times!!'; cr]. - ifTrue: [self print: ' is not in youngReferrers'; cr] - ifFalse: [self print: ' is in youngReferrers '; printNum: count; print: ' times!!'; cr]. ok := false]]. (objectRepresentation checkValidObjectReference: cogMethod selector) ifFalse: + [coInterpreter print: 'object leak in CM '; printHex: cogMethod asInteger; print: ' selector'; cr. - [self print: 'object leak in CM '; printHex: cogMethod asInteger; print: ' selector'; cr. ok := false]. cogMethod cmType = CMMethod ifTrue: [self assert: cogMethod objectHeader = objectMemory nullHeaderForMachineCodeMethod. (objectRepresentation checkValidObjectReference: cogMethod methodObject) ifFalse: + [coInterpreter print: 'object leak in CM '; printHex: cogMethod asInteger; print: ' methodObject'; cr. - [self print: 'object leak in CM '; printHex: cogMethod asInteger; print: ' methodObject'; cr. ok := false]. (self mapFor: cogMethod performUntil: #checkIfValidObjectRef:pc:cogMethod: arg: cogMethod asInteger) ~= 0 ifTrue: [ok := false]. fullGCFlag ifFalse: [(((objectMemory isYoung: cogMethod methodObject) or: [objectMemory isYoung: cogMethod selector]) and: [cogMethod cmRefersToYoung not]) ifTrue: + [coInterpreter print: 'CM '; printHex: cogMethod asInteger; print: ' refers to young but not marked as such'; cr. - [self print: 'CM '; printHex: cogMethod asInteger; print: ' refers to young but not marked as such'; cr. ok := false]]] ifFalse: [cogMethod cmType = CMClosedPIC ifTrue: [(self checkValidObjectReferencesInClosedPIC: cogMethod) ifFalse: [ok := false]] ifFalse: [cogMethod cmType = CMOpenPIC ifTrue: [(self mapFor: cogMethod performUntil: #checkIfValidObjectRef:pc:cogMethod: arg: cogMethod asInteger) ~= 0 ifTrue: [ok := false]]]]]. cogMethod := methodZone methodAfter: cogMethod]. ^ok! 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." self allocateOpcodes: 20 bytecodes: 0. methodOrBlockNumArgs := 0. self compileAbort. self compileEntry. self computeMaximumSizes. self generateInstructionsAt: methodZoneBase + (self sizeof: CogMethod). cmEntryOffset := entry address - methodZoneBase. cmNoCheckEntryOffset := noCheckEntry address - methodZoneBase. self cppIf: NewspeakVM ifTrue: [cmDynSuperEntryOffset := dynSuperEntry address - methodZoneBase]. missOffset := sendMissCall address + sendMissCall machineCodeSize - methodZoneBase. entryPointMask := BytesPerWord - 1. [self cppIf: NewspeakVM ifTrue: [(cmEntryOffset bitAnd: entryPointMask) = (cmNoCheckEntryOffset bitAnd: entryPointMask) or: [(cmEntryOffset 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 assert: checkedEntryAlignment ~= (cmNoCheckEntryOffset bitAnd: entryPointMask). self cppIf: NewspeakVM ifTrue: [cmDynSuperEntryOffset := dynSuperEntry address - methodZoneBase. dynSuperEntryAlignment := cmDynSuperEntryOffset bitAnd: entryPointMask. + self assert: dynSuperEntryAlignment ~= checkedEntryAlignment. + self assert: dynSuperEntryAlignment ~= uncheckedEntryAlignment]! - self assert: (cmDynSuperEntryOffset bitAnd: entryPointMask) ~= (cmEntryOffset bitAnd: entryPointMask). - self assert: (cmDynSuperEntryOffset bitAnd: entryPointMask) ~= (cmNoCheckEntryOffset bitAnd: entryPointMask)]! Item was changed: ----- Method: Cogit>>sendTrace: (in category 'debugging') ----- sendTrace: aBooleanOrInteger <doNotGenerate> "traceFlags is a set of flags. + 1 => print trace (if something below is selected) - 1 => print trace (if somethigg below is selected) 2 => trace sends 4 => trace block activations 8 => trace interpreter primitives 16 => trace events (context switches, GCs, etc) + 32 => trace stack overflow + 64 => send breakpoint on implicit receiver (Newspeak VM only)" - 32 => send breakpoint on implicit receiver (Newspeak VM only)" traceFlags := aBooleanOrInteger isInteger ifTrue: [aBooleanOrInteger] ifFalse: [aBooleanOrInteger ifTrue: [6] ifFalse: [0]]! Item was changed: ----- Method: InterpreterPrimitives>>primitiveIdentical (in category 'object access primitives') ----- primitiveIdentical "is the receiver/first argument the same object as the (last) argument?. pop argumentCount because this can be used as a mirror primitive." | thisObject otherObject | otherObject := self stackValue: 1. thisObject := self stackTop. + (objectMemory isOopForwarded: otherObject) ifTrue: + [self assert: argumentCount > 1. + otherObject := objectMemory followForwarded: thisObject]. + self assert: (objectMemory isOopForwarded: otherObject) not. + (objectMemory isOopForwarded: thisObject) ifTrue: + [thisObject := objectMemory followForwarded: thisObject]. self pop: argumentCount + 1 thenPushBool: thisObject = otherObject! Item was changed: ----- Method: InterpreterPrimitives>>primitiveNotIdentical (in category 'object access primitives') ----- primitiveNotIdentical "is the receiver/first argument not the same object as the (last) argument?. pop argumentCount because this can be used as a mirror primitive." | thisObject otherObject | otherObject := self stackValue: 1. thisObject := self stackTop. + (objectMemory isOopForwarded: otherObject) ifTrue: + [self assert: argumentCount > 1. + otherObject := objectMemory followForwarded: thisObject]. + (objectMemory isOopForwarded: thisObject) ifTrue: + [thisObject := objectMemory followForwarded: thisObject]. self pop: argumentCount + 1 thenPushBool: thisObject ~= otherObject! Item was changed: ----- Method: SimpleStackBasedCogit>>genDoubleArithmetic:preOpCheck: (in category 'primitive generators') ----- genDoubleArithmetic: arithmeticOperator preOpCheck: preOpCheckOrNil "Stack looks like receiver (also in ResultReceiverReg) arg return address" <var: #preOpCheckOrNil declareC: 'AbstractInstruction *(*preOpCheckOrNil)(int rcvrReg, int argReg)'> + | jumpFailClass jumpFailAlloc jumpFailCheck jumpImmediate jumpNonInt doOp fail | - | jumpFailClass jumpFailAlloc jumpFailCheck jumpSmallInt doOp fail | <var: #jumpFailClass type: #'AbstractInstruction *'> <var: #jumpFailAlloc type: #'AbstractInstruction *'> + <var: #jumpNonInt type: #'AbstractInstruction *'> + <var: #jumpImmediate type: #'AbstractInstruction *'> - <var: #jumpSmallInt type: #'AbstractInstruction *'> <var: #jumpFailCheck type: #'AbstractInstruction *'> <var: #doOp type: #'AbstractInstruction *'> <var: #fail type: #'AbstractInstruction *'> self MoveMw: BytesPerWord r: SPReg R: TempReg. objectRepresentation genGetDoubleValueOf: ReceiverResultReg into: DPFPReg0. self MoveR: TempReg R: ClassReg. + jumpImmediate := objectRepresentation genJumpImmediateInScratchReg: TempReg. + objectRepresentation genGetCompactClassIndexNonImmOf: ClassReg into: SendNumArgsReg. - jumpSmallInt := objectRepresentation genJumpSmallIntegerInScratchReg: TempReg. - objectRepresentation genGetCompactClassIndexNonIntOf: ClassReg into: SendNumArgsReg. self CmpCq: objectMemory classFloatCompactIndex R: SendNumArgsReg. jumpFailClass := self JumpNonZero: 0. objectRepresentation genGetDoubleValueOf: ClassReg into: DPFPReg1. doOp := self Label. preOpCheckOrNil ifNotNil: [jumpFailCheck := self perform: preOpCheckOrNil with: DPFPReg0 with: DPFPReg1]. self gen: arithmeticOperator operand: DPFPReg1 operand: DPFPReg0. jumpFailAlloc := objectRepresentation genAllocFloatValue: DPFPReg0 into: SendNumArgsReg scratchReg: ClassReg scratchReg: TempReg. self MoveR: SendNumArgsReg R: ReceiverResultReg. self flag: 'currently caller pushes result'. self RetN: BytesPerWord * 2. + jumpImmediate jmpTarget: self Label. + objectRepresentation smallIntegerIsOnlyImmediateType ifFalse: + [jumpNonInt := objectRepresentation genJumpNotSmallIntegerInScratchReg: TempReg]. - jumpSmallInt jmpTarget: self Label. objectRepresentation genConvertSmallIntegerToIntegerInScratchReg: ClassReg. self ConvertR: ClassReg Rd: DPFPReg1. self Jump: doOp. jumpFailAlloc jmpTarget: self Label. self compileInterpreterPrimitive: (coInterpreter functionPointerForCompiledMethod: methodObj primitiveIndex: primitiveIndex). fail := self Label. + jumpFailClass jmpTarget: fail. - jumpFailClass jmpTarget: self Label. preOpCheckOrNil ifNotNil: [jumpFailCheck jmpTarget: fail]. + objectRepresentation smallIntegerIsOnlyImmediateType ifFalse: + [jumpNonInt jmpTarget: fail]. ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>genDoubleComparison:invert: (in category 'primitive generators') ----- genDoubleComparison: jumpOpcodeGenerator invert: invertComparison "Stack looks like receiver (also in ResultReceiverReg) arg return address" <var: #jumpOpcodeGenerator declareC: 'AbstractInstruction *(*jumpOpcodeGenerator)(void *)'> + | jumpFail jumpImmediate jumpNonInt jumpCond compare | + <var: #jumpImmediate type: #'AbstractInstruction *'> + <var: #jumpNonInt type: #'AbstractInstruction *'> - | jumpFail jumpSmallInt jumpCond compare | - <var: #jumpFail type: #'AbstractInstruction *'> - <var: #jumpSmallInt type: #'AbstractInstruction *'> <var: #jumpCond type: #'AbstractInstruction *'> <var: #compare type: #'AbstractInstruction *'> + <var: #jumpFail type: #'AbstractInstruction *'> + self MoveMw: BytesPerWord r: SPReg R: TempReg. objectRepresentation genGetDoubleValueOf: ReceiverResultReg into: DPFPReg0. self MoveR: TempReg R: ClassReg. + jumpImmediate := objectRepresentation genJumpImmediateInScratchReg: TempReg. + objectRepresentation genGetCompactClassIndexNonImmOf: ClassReg into: SendNumArgsReg. - jumpSmallInt := objectRepresentation genJumpSmallIntegerInScratchReg: TempReg. - objectRepresentation genGetCompactClassIndexNonIntOf: ClassReg into: SendNumArgsReg. self CmpCq: objectMemory classFloatCompactIndex R: SendNumArgsReg. jumpFail := self JumpNonZero: 0. objectRepresentation genGetDoubleValueOf: ClassReg into: DPFPReg1. invertComparison "May need to invert for NaNs" ifTrue: [compare := self CmpRd: DPFPReg0 Rd: DPFPReg1] ifFalse: [compare := self CmpRd: DPFPReg1 Rd: DPFPReg0]. jumpCond := self perform: jumpOpcodeGenerator with: 0. "FP jumps are a little weird" self annotate: (self MoveCw: objectMemory falseObject R: ReceiverResultReg) objRef: objectMemory falseObject. self flag: 'currently caller pushes result'. self RetN: BytesPerWord * 2. jumpCond jmpTarget: (self annotate: (self MoveCw: objectMemory trueObject R: ReceiverResultReg) objRef: objectMemory trueObject). self RetN: BytesPerWord * 2. + jumpImmediate jmpTarget: self Label. + objectRepresentation smallIntegerIsOnlyImmediateType ifFalse: + [jumpNonInt := objectRepresentation genJumpNotSmallIntegerInScratchReg: TempReg]. - jumpSmallInt jmpTarget: self Label. objectRepresentation genConvertSmallIntegerToIntegerInScratchReg: ClassReg. self ConvertR: ClassReg Rd: DPFPReg1. self Jump: compare. jumpFail jmpTarget: self Label. + objectRepresentation smallIntegerIsOnlyImmediateType ifFalse: + [jumpNonInt jmpTarget: jumpFail getJmpTarget]. ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>genPrimitiveIdentityHash (in category 'primitive generators') ----- genPrimitiveIdentityHash | jumpSI jumpNotSet | <var: #jumpSI type: #'AbstractInstruction *'> <var: #jumpNotSet type: #'AbstractInstruction *'> self MoveR: ReceiverResultReg R: ClassReg. jumpSI := objectRepresentation genJumpSmallIntegerInScratchReg: ClassReg. objectRepresentation genGetHashFieldNonImmOf: ReceiverResultReg asSmallIntegerInto: TempReg. objectRepresentation isHashSetOnInstanceCreation ifFalse: [self CmpCq: ConstZero R: TempReg. jumpNotSet := self JumpZero: 0]. self MoveR: TempReg R: ReceiverResultReg. self flag: 'currently caller pushes result'. self RetN: BytesPerWord. - jumpSI jmpTarget: self Label. objectRepresentation isHashSetOnInstanceCreation ifFalse: + [jumpNotSet jmpTarget: self Label. + self compileInterpreterPrimitive: (coInterpreter + functionPointerForCompiledMethod: methodObj + primitiveIndex: primitiveIndex)]. + jumpSI jmpTarget: self Label. - [jumpNotSet jmpTarget: jumpSI getJmpTarget]. ^0! Item was added: + ----- Method: Spur32BitCoMemoryManager>>freeStart: (in category 'cog jit support') ----- + freeStart: aValue + ^freeStart := aValue! Item was added: + ----- Method: Spur32BitCoMemoryManager>>freeStartAddress (in category 'trampoline support') ----- + freeStartAddress + <api> + <returnTypeC: #usqInt> + ^self cCode: [(self addressOf: freeStart) asUnsignedInteger] + inSmalltalk: [cogit simulatedReadWriteVariableAddress: #freeStart in: self]! Item was added: + ----- Method: Spur32BitCoMemoryManager>>scavengeThreshold (in category 'cog jit support') ----- + scavengeThreshold + ^scavengeThreshold! Item was added: + ----- Method: Spur32BitCoMemoryManager>>scavengeThresholdAddress (in category 'trampoline support') ----- + scavengeThresholdAddress + <api> + <returnTypeC: #usqInt> + ^self cCode: [(self addressOf: scavengeThreshold) asUnsignedInteger] + inSmalltalk: [cogit simulatedReadWriteVariableAddress: #scavengeThreshold in: self]! Item was changed: ----- Method: Spur32BitMemoryManager>>instantiateClass:indexableSize: (in category 'instantiation') ----- instantiateClass: classObj indexableSize: nElements | instSpec classFormat numSlots classIndex newObj fillValue | classFormat := self formatOfClass: classObj. instSpec := self instSpecOfClassFormat: classFormat. fillValue := 0. instSpec caseOf: { [self arrayFormat] -> [numSlots := nElements. fillValue := nilObj]. [self indexablePointersFormat] -> [numSlots := (self fixedFieldsOfClassFormat: classFormat) + nElements. fillValue := nilObj]. [self weakArrayFormat] -> [numSlots := (self fixedFieldsOfClassFormat: classFormat) + nElements. fillValue := nilObj]. [self sixtyFourBitIndexableFormat] -> [numSlots := nElements * 2]. [self firstLongFormat] -> [numSlots := nElements]. [self firstShortFormat] -> [numSlots := nElements + 1 // 2. instSpec := instSpec + (nElements bitAnd: 1)]. [self firstByteFormat] -> [numSlots := nElements + 3 // 4. instSpec := instSpec + (4 - nElements bitAnd: 3)]. [self firstCompiledMethodFormat] -> [numSlots := nElements + 3 // 4. instSpec := instSpec + (4 - nElements bitAnd: 3)] } otherwise: ["some Squeak images include funky fixed subclasses of abstract variable superclasses. e.g. DirectoryEntry as a subclass of ArrayedCollection. Allow fixed classes to be instantiated here iff nElements = 0." (nElements ~= 0 or: [instSpec >= self sixtyFourBitIndexableFormat]) ifTrue: [^nil]. numSlots := self fixedFieldsOfClassFormat: classFormat]. "non-indexable" classIndex := self ensureBehaviorHash: classObj. classIndex < 0 ifTrue: [coInterpreter primitiveFailFor: classIndex negated. ^nil]. + numSlots > self maxSlotsForNewSpaceAlloc + ifTrue: [newObj := self allocateSlotsInOldSpace: numSlots format: instSpec classIndex: classIndex] + ifFalse: [newObj := self allocateSlots: numSlots format: instSpec classIndex: classIndex]. - newObj := self allocateSlots: numSlots format: instSpec classIndex: classIndex. newObj ifNotNil: [self fillObj: newObj numSlots: numSlots with: fillValue]. ^newObj! Item was changed: ----- Method: Spur64BitMemoryManager>>instantiateClass:indexableSize: (in category 'instantiation') ----- instantiateClass: classObj indexableSize: nElements | instSpec classFormat numSlots classIndex newObj fillValue | classFormat := self formatOfClass: classObj. instSpec := self instSpecOfClassFormat: classFormat. fillValue := 0. instSpec caseOf: { [self arrayFormat] -> [numSlots := nElements. fillValue := nilObj]. [self indexablePointersFormat] -> [numSlots := (self fixedFieldsOfClassFormat: classFormat) + nElements. fillValue := nilObj]. [self weakArrayFormat] -> [numSlots := (self fixedFieldsOfClassFormat: classFormat) + nElements. fillValue := nilObj]. [self sixtyFourBitIndexableFormat] -> [numSlots := nElements]. [self firstLongFormat] -> [numSlots := nElements + 1 // 2. instSpec := instSpec + (nElements bitAnd: 1)]. [self firstShortFormat] -> [numSlots := nElements + 3 // 4. instSpec := instSpec + (4 - nElements bitAnd: 3)]. [self firstByteFormat] -> [numSlots := nElements + 7 // 8. instSpec := instSpec + (8 - nElements bitAnd: 7)]. [self firstCompiledMethodFormat] -> [numSlots := nElements + 7 // 8. instSpec := instSpec + (8 - nElements bitAnd: 7)] } otherwise: ["some Squeak images include funky fixed subclasses of abstract variable superclasses. e.g. DirectoryEntry as a subclass of ArrayedCollection. Allow fixed classes to be instantiated here iff nElements = 0." (nElements ~= 0 or: [instSpec >= self sixtyFourBitIndexableFormat]) ifTrue: [^nil]. numSlots := self fixedFieldsOfClassFormat: classFormat]. "non-indexable" classIndex := self ensureBehaviorHash: classObj. classIndex < 0 ifTrue: [coInterpreter primitiveFailFor: classIndex negated. ^nil]. + numSlots > self maxSlotsForNewSpaceAlloc + ifTrue: [newObj := self allocateSlotsInOldSpace: numSlots format: instSpec classIndex: classIndex] + ifFalse: [newObj := self allocateSlots: numSlots format: instSpec classIndex: classIndex]. - newObj := self allocateSlots: numSlots format: instSpec classIndex: classIndex. newObj ifNotNil: [self fillObj: newObj numSlots: numSlots with: fillValue]. ^newObj! Item was added: + ----- Method: SpurMemoryManager>>classFloatCompactIndex (in category 'cog jit support') ----- + classFloatCompactIndex + <api> + ^ClassFloatCompactIndex! Item was changed: ----- Method: SpurMemoryManager>>clone: (in category 'allocation') ----- clone: objOop | numSlots newObj | numSlots := self numSlotsOf: objOop. + + numSlots > self maxSlotsForNewSpaceAlloc + ifTrue: + [newObj := self allocateSlotsInOldSpace: numSlots + format: (self formatOf: objOop) + classIndex: (self classIndexOf: objOop)] + ifFalse: + [newObj := self allocateSlots: numSlots + format: (self formatOf: objOop) + classIndex: (self classIndexOf: objOop)]. - newObj := self allocateSlots: (self numSlotsOf: objOop) - format: (self formatOf: objOop) - classIndex: (self classIndexOf: objOop). (self isPointersNonImm: objOop) ifTrue: [0 to: numSlots - 1 do: [:i| | oop | oop := self fetchPointer: i ofObject: objOop. ((self isNonImmediate: oop) and: [self isForwarded: oop]) ifTrue: [oop := self followForwarded: oop]. self storePointerUnchecked: i ofObject: newObj withValue: oop]. ((self isRemembered: objOop) and: [(self isYoung: newObj) not]) ifTrue: [scavenger remember: newObj. self setIsRememberedOf: newObj to: true]] ifFalse: [0 to: numSlots - 1 do: [:i| self storePointerUnchecked: i ofObject: newObj withValue: (self fetchPointer: i ofObject: objOop)]]. ^newObj! Item was changed: ----- Method: SpurMemoryManager>>freeStart (in category 'accessing') ----- freeStart + (#(Cogit SimpleStackBasedCogit StackToregisterMappingCogit) includes: thisContext sender class name) ifTrue: + [self halt]. ^freeStart! Item was added: + ----- Method: SpurMemoryManager>>maxSlotsForNewSpaceAlloc (in category 'instantiation') ----- + maxSlotsForNewSpaceAlloc + "Almost entirely arbitrary, but we dont want 1Mb bitmaps allocated in eden. + But this choice means no check for numSlots > maxSlotsForNewSpaceAlloc + for non-variable allocations." + ^self fixedFieldsOfClassFormatMask! Item was changed: ----- Method: SpurMemoryManager>>printHeaderTypeOf: (in category 'debug printing') ----- printHeaderTypeOf: objOop coInterpreter print: ((self numSlotsOf: objOop) >= self numSlotsMask + ifTrue: [' 16 byte header'] + ifFalse: [' 8 byte header'])! - ifTrue: [' 8 byte header'] - ifFalse: [' 16 byte header'])! Item was added: + ----- Method: SpurMemoryManager>>safePrintStringOf: (in category 'debug printing') ----- + safePrintStringOf: oop + | target | + target := (self isOopForwarded: oop) + ifTrue: [self followForwarded: oop] + ifFalse: [oop]. + ^coInterpreter printStringOf: target! Item was changed: ----- Method: StackInterpreter>>bytecodePrimClass (in category 'common selector sends') ----- bytecodePrimClass | rcvr | rcvr := self internalStackTop. + (objectMemory isOopForwarded: rcvr) ifTrue: + [rcvr := self handleSpecialSelectorSendFaultFor: rcvr]. self internalStackTopPut: (objectMemory fetchClassOf: rcvr). self fetchNextBytecode! Item was changed: ----- Method: StackInterpreter>>bytecodePrimEquivalent (in category 'common selector sends') ----- bytecodePrimEquivalent - | rcvr arg | rcvr := self internalStackValue: 1. + (objectMemory isOopForwarded: rcvr) ifTrue: + [rcvr := self handleSpecialSelectorSendFaultFor: rcvr]. arg := self internalStackValue: 0. + (objectMemory isOopForwarded: arg) ifTrue: + [arg := self handleSpecialSelectorSendFaultFor: arg]. + self booleanCheat: rcvr = arg! - self booleanCheat: rcvr = arg.! Item was changed: ----- Method: StackInterpreter>>bytecodePrimEquivalentV4 (in category 'common selector sends') ----- bytecodePrimEquivalentV4 - | rcvr arg | rcvr := self internalStackValue: 1. arg := self internalStackValue: 0. + (objectMemory isOopForwarded: rcvr) ifTrue: + [rcvr := self handleSpecialSelectorSendFaultFor: rcvr]. + (objectMemory isOopForwarded: arg) ifTrue: + [arg := self handleSpecialSelectorSendFaultFor: arg]. + self booleanCheatV4: rcvr = arg! - self booleanCheatV4: rcvr = arg.! Item was changed: ----- Method: StackInterpreter>>handleForwardedSendFaultFor: (in category 'message sending') ----- handleForwardedSendFaultFor: classTag "Handle a send fault that may be due to a send to a forwarded object. Unforward the receiver on the stack and answer its actual class." | rcvr | + <inline: false> + self assert: (objectMemory isForwardedClassTag: classTag). - (objectMemory isForwardedClassTag: classTag) ifFalse: - [^classTag]. rcvr := self stackValue: argumentCount. + "should *not* be a super send, so the receiver should be forwarded." - "should *not* be a super send, so te receiver should be forwarded." self assert: (objectMemory isOopForwarded: rcvr). rcvr := objectMemory followForwarded: rcvr. self stackValue: argumentCount put: rcvr. self followForwardedFrameContents: framePointer stackPointer: stackPointer + (argumentCount + 1 * BytesPerWord). "don't repeat effort" (objectMemory isPointers: (self frameReceiver: framePointer)) ifTrue: [objectMemory followForwardedObjectFields: (self frameReceiver: framePointer) toDepth: 0]. ^objectMemory fetchClassTagOf: rcvr! Item was added: + ----- Method: StackInterpreter>>handleSpecialSelectorSendFaultFor: (in category 'message sending') ----- + handleSpecialSelectorSendFaultFor: obj + <inline: true> + ^self handleSpecialSelectorSendFaultFor: obj fp: localFP sp: localSP! Item was added: + ----- Method: StackInterpreter>>handleSpecialSelectorSendFaultFor:fp:sp: (in category 'message sending') ----- + handleSpecialSelectorSendFaultFor: obj fp: theFP sp: theSP + "Handle a special send fault that may be due to a special selector + send accessing a forwarded object. + Unforward the object on the stack and in inst vars and answer its target." + <inline: false> + <var: #fp type: #'char *'> + <var: #sp type: #'char *'> + self assert: (objectMemory isOopForwarded: obj). + + self followForwardedFrameContents: theFP stackPointer: theSP. + (objectMemory isPointers: (self frameReceiver: theFP)) ifTrue: + [objectMemory + followForwardedObjectFields: (self frameReceiver: theFP) + toDepth: 0]. + ^objectMemory followForwarded: obj! Item was changed: ----- Method: StackInterpreter>>ioLocalMicroseconds (in category 'primitive support') ----- ioLocalMicroseconds <doNotGenerate> + ^self ioUTCMicroseconds + (1000000 * DateAndTime localOffset asSeconds)! - ^Time localMicrosecondClock! Item was changed: ----- Method: StackInterpreterSimulator>>utilitiesMenu: (in category 'UI') ----- utilitiesMenu: aMenuMorph aMenuMorph add: 'toggle transcript' action: #toggleTranscript; add: 'clone VM' action: #cloneSimulation; addLine; add: 'print ext head frame' action: #printExternalHeadFrame; add: 'print int head frame' action: #printHeadFrame; add: 'short print ext frame & callers' action: [self shortPrintFrameAndCallers: framePointer]; add: 'short print int frame & callers' action: [self shortPrintFrameAndCallers: localFP]; add: 'long print ext frame & callers' action: [self printFrameAndCallers: framePointer SP: stackPointer]; add: 'long print int frame & callers' action: [self printFrameAndCallers: localFP SP: localSP]; add: 'print frame...' action: [(self promptHex: 'print frame') ifNotNil: [:fp| self printFrame: fp]]; add: 'print call stack' action: #printCallStack; add: 'print stack call stack' action: #printStackCallStack; add: 'print call stack of...' action: [(self promptHex: 'context or process oop') ifNotNil: [:obj| self printCallStackOf: obj]]; add: 'print all stacks' action: #printAllStacks; add: 'write back local ptrs' action: [stackPointer := localSP. framePointer := localFP. instructionPointer := localIP. self writeBackHeadFramePointers]; + add: 'print prim trace log' action: #dumpPrimTraceLog; addLine; add: 'print oop...' action: [(self promptHex: 'print oop') ifNotNil: [:oop| self printOop: oop]]; add: 'long print oop...' action: [(self promptHex: 'print oop') ifNotNil: [:oop| self longPrintOop: oop]]; addLine; add: 'inspect object memory' target: objectMemory action: #inspect; add: 'inspect cointerpreter' action: #inspect; addLine; add: 'set break count...' action: [|s| s := UIManager default request: 'break count (dec)'. s notEmpty ifTrue: [breakCount := Integer readFrom: s readStream]]; add: 'set break selector...' action: [|s| s := UIManager default request: 'break selector'. s notEmpty ifTrue: [self setBreakSelector: s]]; add: (printSends ifTrue: ['no print sends'] ifFalse: ['print sends']) action: [self ensureDebugAtEachStepBlock. printSends := printSends not]; "currently printReturns does nothing" "add: (printReturns ifTrue: ['no print returns'] ifFalse: ['print returns']) action: [self ensureDebugAtEachStepBlock. printReturns := printReturns not];" add: (printBytecodeAtEachStep ifTrue: ['no print bytecode each bytecode'] ifFalse: ['print bytecode each bytecode']) action: [self ensureDebugAtEachStepBlock. printBytecodeAtEachStep := printBytecodeAtEachStep not]; add: (printFrameAtEachStep ifTrue: ['no print frame each bytecode'] ifFalse: ['print frame each bytecode']) action: [self ensureDebugAtEachStepBlock. printFrameAtEachStep := printFrameAtEachStep not]. ^aMenuMorph! Item was changed: ----- Method: StackToRegisterMappingCogit>>genDoubleArithmetic:preOpCheck: (in category 'primitive generators') ----- genDoubleArithmetic: arithmeticOperator preOpCheck: preOpCheckOrNil "Receiver and arg in registers. Stack looks like return address" <var: #preOpCheckOrNil declareC: 'AbstractInstruction *(*preOpCheckOrNil)(int rcvrReg, int argReg)'> + | jumpFailClass jumpFailAlloc jumpFailCheck jumpImmediate jumpNonInt doOp | - | jumpFailClass jumpFailAlloc jumpFailCheck jumpSmallInt doOp | <var: #jumpFailClass type: #'AbstractInstruction *'> <var: #jumpFailAlloc type: #'AbstractInstruction *'> + <var: #jumpImmediate type: #'AbstractInstruction *'> + <var: #jumpNonInt type: #'AbstractInstruction *'> - <var: #jumpSmallInt type: #'AbstractInstruction *'> <var: #jumpFailCheck type: #'AbstractInstruction *'> <var: #doOp type: #'AbstractInstruction *'> self MoveR: Arg0Reg R: TempReg. objectRepresentation genGetDoubleValueOf: ReceiverResultReg into: DPFPReg0. self MoveR: Arg0Reg R: ClassReg. + jumpImmediate := objectRepresentation genJumpImmediateInScratchReg: TempReg. + objectRepresentation genGetCompactClassIndexNonImmOf: Arg0Reg into: SendNumArgsReg. - jumpSmallInt := objectRepresentation genJumpSmallIntegerInScratchReg: TempReg. - objectRepresentation genGetCompactClassIndexNonIntOf: Arg0Reg into: SendNumArgsReg. self CmpCq: objectMemory classFloatCompactIndex R: SendNumArgsReg. jumpFailClass := self JumpNonZero: 0. objectRepresentation genGetDoubleValueOf: Arg0Reg into: DPFPReg1. doOp := self Label. preOpCheckOrNil ifNotNil: [jumpFailCheck := self perform: preOpCheckOrNil with: DPFPReg0 with: DPFPReg1]. self gen: arithmeticOperator operand: DPFPReg1 operand: DPFPReg0. jumpFailAlloc := objectRepresentation genAllocFloatValue: DPFPReg0 into: SendNumArgsReg scratchReg: ClassReg scratchReg: TempReg. self MoveR: SendNumArgsReg R: ReceiverResultReg. self RetN: 0. "We need to push the register args on two paths; this one and the interpreter primitive path. But the interpreter primitive path won't unless regArgsHaveBeenPushed is false." self assert: methodOrBlockNumArgs <= self numRegArgs. jumpFailClass jmpTarget: self Label. preOpCheckOrNil ifNotNil: [jumpFailCheck jmpTarget: jumpFailClass getJmpTarget]. self genPushRegisterArgsForNumArgs: methodOrBlockNumArgs. jumpFailClass := self Jump: 0. + jumpImmediate jmpTarget: self Label. + objectRepresentation smallIntegerIsOnlyImmediateType ifFalse: + [jumpNonInt := objectRepresentation genJumpNotSmallIntegerInScratchReg: TempReg]. - jumpSmallInt jmpTarget: self Label. objectRepresentation genConvertSmallIntegerToIntegerInScratchReg: ClassReg. self ConvertR: ClassReg Rd: DPFPReg1. self Jump: doOp. jumpFailAlloc jmpTarget: self Label. self compileInterpreterPrimitive: (coInterpreter functionPointerForCompiledMethod: methodObj primitiveIndex: primitiveIndex). jumpFailClass jmpTarget: self Label. + objectRepresentation smallIntegerIsOnlyImmediateType ifFalse: + [jumpNonInt jmpTarget: jumpFailClass getJmpTarget]. ^0! Item was changed: ----- Method: StackToRegisterMappingCogit>>genDoubleComparison:invert: (in category 'primitive generators') ----- genDoubleComparison: jumpOpcodeGenerator invert: invertComparison "Receiver and arg in registers. Stack looks like return address" <var: #jumpOpcodeGenerator declareC: 'AbstractInstruction *(*jumpOpcodeGenerator)(void *)'> + | jumpFail jumpImmediate jumpNonInt jumpCond compare | + <var: #jumpImmediate type: #'AbstractInstruction *'> + <var: #jumpNonInt type: #'AbstractInstruction *'> - | jumpFail jumpSmallInt jumpCond compare | - <var: #jumpFail type: #'AbstractInstruction *'> - <var: #jumpSmallInt type: #'AbstractInstruction *'> <var: #jumpCond type: #'AbstractInstruction *'> <var: #compare type: #'AbstractInstruction *'> + <var: #jumpFail type: #'AbstractInstruction *'> self MoveR: Arg0Reg R: TempReg. objectRepresentation genGetDoubleValueOf: ReceiverResultReg into: DPFPReg0. + jumpImmediate := objectRepresentation genJumpImmediateInScratchReg: TempReg. + objectRepresentation genGetCompactClassIndexNonImmOf: Arg0Reg into: SendNumArgsReg. - jumpSmallInt := objectRepresentation genJumpSmallIntegerInScratchReg: TempReg. - objectRepresentation genGetCompactClassIndexNonIntOf: Arg0Reg into: SendNumArgsReg. self CmpCq: objectMemory classFloatCompactIndex R: SendNumArgsReg. jumpFail := self JumpNonZero: 0. objectRepresentation genGetDoubleValueOf: Arg0Reg into: DPFPReg1. invertComparison "May need to invert for NaNs" ifTrue: [compare := self CmpRd: DPFPReg0 Rd: DPFPReg1] ifFalse: [compare := self CmpRd: DPFPReg1 Rd: DPFPReg0]. jumpCond := self perform: jumpOpcodeGenerator with: 0. "FP jumps are a little weird" self annotate: (self MoveCw: objectMemory falseObject R: ReceiverResultReg) objRef: objectMemory falseObject. self RetN: 0. jumpCond jmpTarget: (self annotate: (self MoveCw: objectMemory trueObject R: ReceiverResultReg) objRef: objectMemory trueObject). self RetN: 0. + jumpImmediate jmpTarget: self Label. + objectRepresentation smallIntegerIsOnlyImmediateType ifFalse: + [jumpNonInt := objectRepresentation genJumpNotSmallIntegerInScratchReg: TempReg]. - jumpSmallInt jmpTarget: self Label. objectRepresentation genConvertSmallIntegerToIntegerInScratchReg: Arg0Reg. self ConvertR: Arg0Reg Rd: DPFPReg1. self Jump: compare. jumpFail jmpTarget: self Label. + objectRepresentation smallIntegerIsOnlyImmediateType ifFalse: + [jumpNonInt jmpTarget: jumpFail getJmpTarget]. ^0! Item was changed: ----- Method: StackToRegisterMappingCogit>>genPrimitiveIdentityHash (in category 'primitive generators') ----- genPrimitiveIdentityHash | jumpSI jumpNotSet | <var: #jumpSI type: #'AbstractInstruction *'> <var: #jumpNotSet type: #'AbstractInstruction *'> self MoveR: ReceiverResultReg R: ClassReg. jumpSI := objectRepresentation genJumpSmallIntegerInScratchReg: ClassReg. objectRepresentation genGetHashFieldNonImmOf: ReceiverResultReg asSmallIntegerInto: TempReg. objectRepresentation isHashSetOnInstanceCreation ifFalse: [self CmpCq: ConstZero R: TempReg. jumpNotSet := self JumpZero: 0]. self MoveR: TempReg R: ReceiverResultReg. self RetN: 0. - jumpSI jmpTarget: self Label. objectRepresentation isHashSetOnInstanceCreation ifFalse: + [jumpNotSet jmpTarget: self Label. + self compileInterpreterPrimitive: (coInterpreter + functionPointerForCompiledMethod: methodObj + primitiveIndex: primitiveIndex)]. + jumpSI jmpTarget: self Label. - [jumpNotSet jmpTarget: jumpSI getJmpTarget]. ^0!

1 0

VM Maker: Cog-eem.104.mcz
by commits＠source.squeak.org 03 Oct '13

03 Oct '13

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.104.mcz ==================== Summary ==================== Name: Cog-eem.104 Author: eem Time: 3 October 2013, 1:16:25.634 pm UUID: 48ff96a7-7804-4a22-ad8f-212a45efaf68 Ancestors: Cog-eem.103 Turn off send printing now Cogit+Spur is functional. =============== Diff against Cog-eem.103 =============== Item was changed: ----- Method: SpurBootstrap>>launch:simulatorClass:headerFlags: (in category 'testing') ----- launch: heap simulatorClass: simulatorClass headerFlags: headerFlags | sim methodCacheSize | sim := simulatorClass onObjectMemory: heap. heap coInterpreter: sim. (sim class allInstVarNames includes: 'cogCodeSize') ifTrue: [sim initializeInterpreter: 0. methodCacheSize := sim methodCache size * heap wordSize. sim instVarNamed: 'heapBase' put: heap startOfMemory; instVarNamed: 'numStackPages' put: 8; instVarNamed: 'cogCodeSize' put: 1024*1024; moveMethodCacheToMemoryAt: sim cogCodeSize + sim computeStackZoneSize; movePrimTraceLogToMemoryAt: sim cogCodeSize + sim computeStackZoneSize + methodCacheSize; + "sendTrace: 1+ 2 + 8 + 16;" initializeCodeGenerator] ifFalse: [sim initializeInterpreter: 0]. sim setImageHeaderFlagsFrom: headerFlags; imageName: ImageName; flushExternalPrimitives; openAsMorph; transcript: Transcript. "deep copy copies this" "sim instVarNamed: 'printSends' put: true; instVarNamed: 'printReturns' put: true; instVarNamed: 'methodDictLinearSearchLimit' put: SmallInteger maxVal." "for now" heap setCheckForLeaks: 15; runLeakCheckerForFullGC: true. sim halt; run!

1 0

VM Maker: VMMaker.oscog-eem.429.mcz
by commits＠source.squeak.org 03 Oct '13

03 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.429.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.429 Author: eem Time: 3 October 2013, 1:00:23.079 am UUID: 1593bea6-2881-4bea-a21f-8798f236b654 Ancestors: VMMaker.oscog-eem.428 Oops. get shift direction right in creating immediate characters. =============== Diff against VMMaker.oscog-eem.428 =============== Item was changed: ----- Method: CogObjectRepresentationForSpur>>genConvertIntegerToCharacterInScratchReg: (in category 'compile abstract instructions') ----- genConvertIntegerToCharacterInScratchReg: reg cogit + LogicalShiftLeftCq: objectMemory numTagBits R: reg; - LogicalShiftRightCq: objectMemory numTagBits R: reg; AddCq: objectMemory characterTag R: reg. ^0!

1 0

VM Maker: VMMaker.oscog-eem.428.mcz
by commits＠source.squeak.org 03 Oct '13

03 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.428.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.428 Author: eem Time: 3 October 2013, 12:53:50.91 am UUID: 480331f4-5272-4a17-8ba8-0abe8035a8b7 Ancestors: VMMaker.oscog-eem.427 Fix method surrogate offsetOf: methods. These now need to take baseHeaderSize into account. Fail genPrimitiveIdentityHash if obj rep says 0 is not a valid hash and 0 is the hash. Fix genInnerPrimitiveAt: & genGetSizeOf:into:formatReg:scratchReg:abortJumpsInto:. They were stomping on the numSlots intermediate result. Implement genInnerPrimitiveStringAt:. Easy with immediate characters :-). Change genGetClassObjectOfClassIndex:into:scratchReg: to open-code class table indirection and nuke ceClassAtIndexTrampoline. Change shouldAnnotateObjectReference: to not annotate the classTableRootPage which will never move, being immediately after nil, false & true. Move the register mask c=utilities up to Cogit. They can be useful in making run-time calls when caller-saved regs need to be saved. Add CallRT:registersToBeSavedMask: to do this (not used). Add BadRegisterSet error to allow routines to ask for a different combination of registers in certain circumstances. Use this in genPrimitiveClass. Add a cr between successive prints when printing both insts and regs. Change shortPrint: to print variable bindings as Associations. More addressCouldBeObj: => addressCouldBeOop: asserts. More is(Non)IntegerObject: => is(Non)Immediate:. Bootstrap now way off base, hitting the idle loop before drawing the screen. =============== Diff against VMMaker.oscog-eem.427 =============== Item was changed: ----- Method: CoInterpreter>>printFrame:WithSP: (in category 'debug printing') ----- printFrame: theFP WithSP: theSP <api> | theMethod theMethodEnd numArgs numTemps rcvrAddress topThing | <inline: false> <var: #theFP type: #'char *'> <var: #theSP type: #'char *'> <var: #addr type: #'char *'> <var: #rcvrAddress type: #'char *'> <var: #cogMethod type: #'CogBlockMethod *'> <var: #homeMethod type: #'CogMethod *'> self cCode: '' inSmalltalk: [self transcript ensureCr]. (self isMachineCodeFrame: theFP) ifTrue: [| cogMethod homeMethod | cogMethod := self mframeCogMethod: theFP. homeMethod := self mframeHomeMethod: theFP. theMethod := homeMethod asInteger. theMethodEnd := homeMethod asInteger + homeMethod blockSize. numArgs := cogMethod cmNumArgs. numTemps := self temporaryCountOfMethodHeader: homeMethod methodHeader] ifFalse: [theMethod := self frameMethodObject: theFP. theMethodEnd := theMethod + (objectMemory sizeBitsOfSafe: theMethod). numArgs := self iframeNumArgs: theFP. numTemps := self tempCountOf: theMethod]. (self frameIsBlockActivation: theFP) ifTrue: [| rcvrOrClosure | rcvrOrClosure := self pushedReceiverOrClosureOfFrame: theFP. + ((objectMemory isNonImmediate: rcvrOrClosure) - ((objectMemory isNonIntegerObject: rcvrOrClosure) and: [(objectMemory addressCouldBeObj: rcvrOrClosure) and: [(objectMemory fetchClassOfNonImm: rcvrOrClosure) = (objectMemory splObj: ClassBlockClosure)]]) ifTrue: [numTemps := numArgs + (self stSizeOf: rcvrOrClosure)] ifFalse: [numTemps := 0]]. self shortPrintFrame: theFP. (self isBaseFrame: theFP) ifTrue: [self printFrameOop: '(caller ctxt' at: theFP + (self frameStackedReceiverOffset: theFP) + (2 * BytesPerWord). self printFrameOop: '(saved ctxt' at: theFP + (self frameStackedReceiverOffset: theFP) + (1 * BytesPerWord)]. self printFrameOop: 'rcvr/clsr' at: theFP + FoxCallerSavedIP + ((numArgs + 1) * BytesPerWord). numArgs to: 1 by: -1 do: [:i| self printFrameOop: 'arg' index: numArgs - i at: theFP + FoxCallerSavedIP + (i * BytesPerWord)]. self printFrameThing: 'caller ip' at: theFP + FoxCallerSavedIP. self printFrameThing: 'saved fp' at: theFP + FoxSavedFP. self printFrameMethodFor: theFP. (self isMachineCodeFrame: theFP) ifFalse: [self printFrameFlagsForFP: theFP]. self printFrameOop: 'context' at: theFP + FoxThisContext. (self isMachineCodeFrame: theFP) ifTrue: [self printFrameFlagsForFP: theFP]. (self isMachineCodeFrame: theFP) ifTrue: [rcvrAddress := theFP + FoxMFReceiver] ifFalse: [self printFrameThing: 'saved ip' at: theFP + FoxIFSavedIP extra: ((self iframeSavedIP: theFP) = 0 ifTrue: [0] ifFalse: [(self iframeSavedIP: theFP) - theMethod + 2 - BaseHeaderSize]). rcvrAddress := theFP + FoxIFReceiver]. self printFrameOop: 'receiver' at: rcvrAddress. topThing := stackPages longAt: theSP. (topThing between: theMethod and: theMethodEnd) ifTrue: [rcvrAddress - BytesPerWord to: theSP + BytesPerWord by: BytesPerWord negated do: [:addr| | index | index := rcvrAddress - addr / BytesPerWord + numArgs. index <= numTemps ifTrue: [self printFrameOop: 'temp' index: index - 1 at: addr] ifFalse: [self printFrameOop: 'stck' at: addr]]. self printFrameThing: 'frame ip' at: theSP extra: ((self isMachineCodeFrame: theFP) ifTrue: [topThing - theMethod] ifFalse: [topThing - theMethod + 2 - BaseHeaderSize])] ifFalse: [rcvrAddress - BytesPerWord to: theSP by: BytesPerWord negated do: [:addr| | index | index := rcvrAddress - addr / BytesPerWord + numArgs. index <= numTemps ifTrue: [self printFrameOop: 'temp' index: index - 1 at: addr] ifFalse: [self printFrameOop: 'stck' at: addr]]]! Item was changed: ----- Method: CoInterpreter>>returnToExecutive:postContextSwitch: (in category 'enilopmarts') ----- returnToExecutive: inInterpreter postContextSwitch: switchedContext "Return to the current frame, either by entering machine code, or longjmp-ing back to the interpreter or simply returning, depending on where we are. To know whether to return or enter machine code we have to know from whence we came. We could have come from the interpreter, either directly or via a machine code primitive. We could have come from machine code. The instructionPointer tells us where from. If it is above startOfMemory we're in the interpreter. If it is below, then we are in machine-code unless it is ceReturnToInterpreterPC, in which case we're in a machine-code primitive called from the interpreter." <inline: false> | cogMethod retValue fullyInInterpreter | <var: #cogMethod type: #'CogBlockMethod *'> cogit assertCStackWellAligned. (self isMachineCodeFrame: framePointer) ifTrue: [self assertValidExecutionPointe: instructionPointer r: framePointer s: stackPointer imbar: false line: #'__LINE__'. "If returning after a context switch then a result may have to be popped from the stack. If the process is suspended at a send then the result of the primitive in which the process was suspended is still on the stack and must be popped into ReceiverResultReg. If not, nothing should be popped and ReceiverResultReg gets the receiver." switchedContext ifTrue: [cogMethod := self mframeCogMethod: framePointer. (instructionPointer ~= (cogMethod asInteger + cogMethod stackCheckOffset) and: [cogit isSendReturnPC: instructionPointer]) ifTrue: + [self assert: (objectMemory addressCouldBeOop: self stackTop). - [self assert: ((objectMemory isIntegerObject: self stackTop) or: [objectMemory addressCouldBeObj: self stackTop]). retValue := self popStack] ifFalse: [retValue := self mframeReceiver: framePointer]] ifFalse: [retValue := self mframeReceiver: framePointer]. self push: instructionPointer. self push: retValue. cogit ceEnterCogCodePopReceiverReg "NOTREACHED"]. self setMethod: (self iframeMethod: framePointer). fullyInInterpreter := inInterpreter. instructionPointer = cogit ceReturnToInterpreterPC ifTrue: [instructionPointer := (self iframeSavedIP: framePointer) asUnsignedInteger. fullyInInterpreter := false]. self assertValidExecutionPointe: instructionPointer r: framePointer s: stackPointer imbar: true line: #'__LINE__'. fullyInInterpreter ifFalse: [self siglong: reenterInterpreter jmp: ReturnToInterpreter. "NOTREACHED"]. ^nil! Item was changed: SharedPool subclass: #CogCompilationConstants instanceVariableNames: '' + classVariableNames: 'BadRegisterSet SSBaseOffset SSConstant SSIllegal SSRegister SSSpill' - classVariableNames: 'SSBaseOffset SSConstant SSIllegal SSRegister SSSpill' poolDictionaries: '' category: 'VMMaker-JIT'! Item was changed: ----- Method: CogMethodSurrogate32 class>>offsetOf: (in category 'accessing') ----- + offsetOf: aByteSymbol + "These should be generated!!!!" + self assert: self objectMemoryClass baseHeaderSize = BaseHeaderSize. - offsetOf: aByteSymbol ^aByteSymbol caseOf: + { [#methodObject] -> [8 + BaseHeaderSize]. + [#selector] -> [16 + BaseHeaderSize]. + [#blockEntryOffset] -> [6 + BaseHeaderSize]. - { [#methodObject] -> [12]. - [#selector] -> [20]. - [#blockEntryOffset] -> [10]. }! Item was changed: ----- Method: CogMethodSurrogate64 class>>offsetOf: (in category 'accessing') ----- + offsetOf: aByteSymbol + "These should be generated!!!!" + self assert: self objectMemoryClass baseHeaderSize = BaseHeaderSize. - offsetOf: aByteSymbol ^aByteSymbol caseOf: + { [#methodObject] -> [8 + BaseHeaderSize]. + [#selector] -> [24 + BaseHeaderSize]. + [#blockEntryOffset] -> [6 + BaseHeaderSize]. - { [#methodObject] -> [16]. - [#selector] -> [32]. - [#blockEntryOffset] -> [14]. }! Item was changed: ----- Method: CogObjectRepresentationFor32BitSpur>>genGetSizeOf:into:formatReg:scratchReg:abortJumpsInto: (in category 'primitive generators') ----- genGetSizeOf: sourceReg into: destReg formatReg: formatReg scratchReg: scratchReg abortJumpsInto: aBinaryBlock "Get the size of the non-immediate object in sourceReg into destReg using formatReg and scratchReg as temps. None of these registers can overlap. Supply the jumps taken if the object in sourceReg is not indexable, or if the object in sourceReg is a context.. Hack: If the object has a pointer format other than 2 leave the number of fixed fields in formatReg. Used by primitiveSize, primitiveAt, and primitiveAtPut" <returnTypeC: #'AbstractInstruction *'> | jumpNotIndexable jumpSmallSize jumpBytesDone jumpShortsDone jumpArrayDone jump32BitLongsDone jumpIsBytes jumpHasFixedFields jumpIsShorts jumpIsContext | <inline: true> "c.f. StackInterpreter>>stSizeOf: SpurMemoryManager>>lengthOf:format: fixedFieldsOf:format:length:" <var: #jumpIsBytes type: #'AbstractInstruction *'> <var: #jumpIsShorts type: #'AbstractInstruction *'> <var: #jumpSmallSize type: #'AbstractInstruction *'> <var: #jumpIsContext type: #'AbstractInstruction *'> <var: #jumpArrayDone type: #'AbstractInstruction *'> <var: #jumpNotIndexable type: #'AbstractInstruction *'> <var: #jumpHasFixedFields type: #'AbstractInstruction *'> <var: #jump32BitLongsDone type: #'AbstractInstruction *'> cogit MoveMw: 0 r: sourceReg R: formatReg; "formatReg := least significant half of self baseHeader: receiver" MoveR: formatReg R: scratchReg; LogicalShiftRightCq: objectMemory formatShift R: formatReg; AndCq: objectMemory formatMask R: formatReg. "formatReg := self formatOfHeader: destReg" "get numSlots into destReg." + cogit MoveCq: 0 R: destReg. "N.B. MoveMb:r:R: does not zero other bits" cogit MoveMb: 7 r: sourceReg R: destReg. "MSB of header" cogit CmpCq: objectMemory numSlotsMask R: destReg. jumpSmallSize := cogit JumpLess: 0. cogit MoveMw: -8 r: sourceReg R: destReg. "LSW of overflow size header" "dispatch on format in a combination of highest dynamic frequency order first and convenience. 0 = 0 sized objects (UndefinedObject True False et al) 1 = non-indexable objects with inst vars (Point et al) 2 = indexable objects with no inst vars (Array et al) 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) 4 = weak indexable objects with inst vars (WeakArray et al) 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) 6 unused, reserved for exotic pointer objects? 7 Forwarded Object, 1st field is pointer, rest of fields are ignored 8 unused, reserved for exotic non-pointer objects? 9 (?) 64-bit indexable 10 - 11 32-bit indexable 12 - 15 16-bit indexable 16 - 23 byte indexable 24 - 31 compiled method" jumpSmallSize jmpTarget: (cogit CmpCq: objectMemory firstByteFormat R: formatReg). jumpIsBytes := cogit JumpGreaterOrEqual: 0. cogit CmpCq: objectMemory arrayFormat R: formatReg. jumpArrayDone := cogit JumpZero: 0. jumpNotIndexable := cogit JumpLess: 0. cogit CmpCq: objectMemory weakArrayFormat R: formatReg. jumpHasFixedFields := cogit JumpLessOrEqual: 0. cogit CmpCq: objectMemory firstShortFormat R: formatReg. jumpIsShorts := cogit JumpGreaterOrEqual: 0. cogit CmpCq: objectMemory firstLongFormat R: formatReg. jump32BitLongsDone := cogit JumpGreaterOrEqual: 0. "For now ignore 64-bit indexability." jumpNotIndexable jmpTarget: cogit Label. jumpNotIndexable := cogit Jump: 0. jumpIsBytes jmpTarget: (cogit LogicalShiftLeftCq: objectMemory shiftForWord R: destReg). cogit AndCq: objectMemory wordSize - 1 R: formatReg. cogit SubR: formatReg R: destReg. jumpBytesDone := cogit Jump: 0. jumpIsShorts jmpTarget: (cogit LogicalShiftLeftCq: objectMemory shiftForWord - 1 R: destReg). cogit AndCq: 1 R: formatReg. cogit SubR: formatReg R: destReg. jumpShortsDone := cogit Jump: 0. + "formatReg contains fmt, now up for grabs. + destReg contains numSlots, precious. + sourceReg must be preserved" jumpHasFixedFields jmpTarget: (cogit AndCq: objectMemory classIndexMask R: scratchReg). + cogit MoveR: scratchReg R: formatReg. cogit CmpCq: ClassMethodContextCompactIndex R: scratchReg. jumpIsContext := cogit JumpZero: 0. + cogit PushR: destReg. + self genGetClassObjectOfClassIndex: formatReg into: destReg scratchReg: scratchReg. + self genLoadSlot: InstanceSpecificationIndex sourceReg: destReg destReg: formatReg. - scratchReg ~= TempReg ifTrue: - [cogit MoveR: scratchReg R: TempReg]. - self flag: 'sometime soon we could inline the class fetch; it is only two indirections'. - cogit CallRT: ceClassAtIndexTrampoline. - scratchReg ~= TempReg ifTrue: - [cogit MoveR: TempReg R: scratchReg]. - self genLoadSlot: InstanceSpecificationIndex sourceReg: scratchReg destReg: formatReg. self genConvertSmallIntegerToIntegerInScratchReg: formatReg. cogit + PopR: destReg; AndCq: objectMemory fixedFieldsOfClassFormatMask R: formatReg; SubR: formatReg R: destReg. jumpArrayDone jmpTarget: (jump32BitLongsDone jmpTarget: (jumpShortsDone jmpTarget: (jumpBytesDone jmpTarget: cogit Label))). aBinaryBlock value: jumpNotIndexable value: jumpIsContext! Item was changed: ----- Method: CogObjectRepresentationFor32BitSpur>>genInnerPrimitiveAt: (in category 'primitive generators') ----- genInnerPrimitiveAt: retNoffset "Implement the guts of primitiveAt; dispatch on size" <returnTypeC: #'AbstractInstruction *'> | formatReg jumpNotIndexable jumpSmallSize jumpImmediate jumpBadIndex jumpBytesDone jumpShortsDone jumpWordsDone jumpFixedFieldsDone jumpIsBytes jumpIsShorts jumpIsWords jumpWordTooBig jumpIsArray jumpHasFixedFields jumpIsContext jumpBytesOutOfBounds jumpShortsOutOfBounds jumpWordsOutOfBounds jumpArrayOutOfBounds jumpFixedFieldsOutOfBounds | <inline: true> "c.f. StackInterpreter>>stSizeOf: SpurMemoryManager>>lengthOf:format: fixedFieldsOf:format:length:" <var: #jumpIsBytes type: #'AbstractInstruction *'> <var: #jumpIsShorts type: #'AbstractInstruction *'> <var: #jumpBadIndex type: #'AbstractInstruction *'> <var: #jumpSmallSize type: #'AbstractInstruction *'> <var: #jumpIsContext type: #'AbstractInstruction *'> <var: #jumpImmediate type: #'AbstractInstruction *'> <var: #jumpBytesDone type: #'AbstractInstruction *'> <var: #jumpShortsDone type: #'AbstractInstruction *'> <var: #jumpWordsDone type: #'AbstractInstruction *'> <var: #jumpWordTooBig type: #'AbstractInstruction *'> <var: #jumpNotIndexable type: #'AbstractInstruction *'> <var: #jumpHasFixedFields type: #'AbstractInstruction *'> <var: #jumpFixedFieldsDone type: #'AbstractInstruction *'> <var: #jumpArrayOutOfBounds type: #'AbstractInstruction *'> <var: #jumpBytesOutOfBounds type: #'AbstractInstruction *'> <var: #jumpShortsOutOfBounds type: #'AbstractInstruction *'> <var: #jumpWordsOutOfBounds type: #'AbstractInstruction *'> <var: #jumpFixedFieldsOutOfBounds type: #'AbstractInstruction *'> cogit MoveR: ReceiverResultReg R: TempReg. jumpImmediate := self genJumpImmediateInScratchReg: TempReg. cogit MoveR: Arg0Reg R: TempReg. jumpBadIndex := self genJumpNotSmallIntegerInScratchReg: TempReg. self genConvertSmallIntegerToIntegerInScratchReg: Arg0Reg. cogit SubCq: 1 R: Arg0Reg. "1-rel => 0-rel" formatReg := SendNumArgsReg. cogit MoveMw: 0 r: ReceiverResultReg R: formatReg; "formatReg := least significant half of self baseHeader: receiver" MoveR: formatReg R: TempReg; LogicalShiftRightCq: objectMemory formatShift R: formatReg; AndCq: objectMemory formatMask R: formatReg. "formatReg := self formatOfHeader: destReg" "get numSlots into ClassReg." + cogit MoveCq: 0 R: ClassReg. "N.B. MoveMb:r:R: does not zero other bits" cogit MoveMb: 7 r: ReceiverResultReg R: ClassReg. "MSB of header" cogit CmpCq: objectMemory numSlotsMask R: ClassReg. jumpSmallSize := cogit JumpLess: 0. cogit MoveMw: -8 r: ReceiverResultReg R: ClassReg. "LSW of overflow size header" "dispatch on format in a combination of highest dynamic frequency order first and convenience. 0 = 0 sized objects (UndefinedObject True False et al) 1 = non-indexable objects with inst vars (Point et al) 2 = indexable objects with no inst vars (Array et al) 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) 4 = weak indexable objects with inst vars (WeakArray et al) 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) 6 unused, reserved for exotic pointer objects? 7 Forwarded Object, 1st field is pointer, rest of fields are ignored 8 unused, reserved for exotic non-pointer objects? 9 (?) 64-bit indexable 10 - 11 32-bit indexable 12 - 15 16-bit indexable 16 - 23 byte indexable 24 - 31 compiled method" jumpSmallSize jmpTarget: (cogit CmpCq: objectMemory firstByteFormat R: formatReg). jumpIsBytes := cogit JumpGreaterOrEqual: 0. cogit CmpCq: objectMemory arrayFormat R: formatReg. jumpIsArray := cogit JumpZero: 0. jumpNotIndexable := cogit JumpLess: 0. cogit CmpCq: objectMemory weakArrayFormat R: formatReg. jumpHasFixedFields := cogit JumpLessOrEqual: 0. cogit CmpCq: objectMemory firstShortFormat R: formatReg. jumpIsShorts := cogit JumpGreaterOrEqual: 0. cogit CmpCq: objectMemory firstLongFormat R: formatReg. jumpIsWords := cogit JumpGreaterOrEqual: 0. "For now ignore 64-bit indexability." jumpNotIndexable jmpTarget: cogit Label. jumpNotIndexable := cogit Jump: 0. jumpIsBytes jmpTarget: (cogit LogicalShiftLeftCq: objectMemory shiftForWord R: ClassReg). cogit AndCq: objectMemory wordSize - 1 R: formatReg. cogit SubR: formatReg R: ClassReg; CmpR: Arg0Reg R: ClassReg. jumpBytesOutOfBounds := cogit JumpAboveOrEqual: 0. cogit AddCq: objectMemory baseHeaderSize R: Arg0Reg. cogit MoveXbr: Arg0Reg R: ReceiverResultReg R: ReceiverResultReg. self genConvertIntegerToSmallIntegerInScratchReg: ReceiverResultReg. jumpBytesDone := cogit Jump: 0. jumpIsShorts jmpTarget: (cogit LogicalShiftLeftCq: objectMemory shiftForWord - 1 R: ClassReg). cogit AndCq: 1 R: formatReg. cogit SubR: formatReg R: ClassReg; CmpR: Arg0Reg R: ClassReg. jumpShortsOutOfBounds := cogit JumpAboveOrEqual: 0. cogit AddR: Arg0Reg R: ReceiverResultReg. cogit MoveM16: objectMemory baseHeaderSize r: ReceiverResultReg R: ReceiverResultReg. self genConvertIntegerToSmallIntegerInScratchReg: ReceiverResultReg. jumpShortsDone := cogit Jump: 0. jumpIsWords jmpTarget: (cogit CmpR: Arg0Reg R: ClassReg). jumpWordsOutOfBounds := cogit JumpAboveOrEqual: 0. cogit AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg0Reg. cogit MoveXwr: Arg0Reg R: ReceiverResultReg R: TempReg. cogit SubCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg0Reg. jumpWordTooBig := self jumpNotSmallIntegerUnsignedValueInRegister: TempReg. cogit MoveR: TempReg R: ReceiverResultReg. self genConvertIntegerToSmallIntegerInScratchReg: ReceiverResultReg. jumpWordsDone := cogit Jump: 0. jumpHasFixedFields jmpTarget: (cogit AndCq: objectMemory classIndexMask R: TempReg). cogit CmpCq: ClassMethodContextCompactIndex R: TempReg. + cogit MoveR: TempReg R: formatReg. + cogit CmpCq: ClassMethodContextCompactIndex R: TempReg. jumpIsContext := cogit JumpZero: 0. + cogit PushR: ClassReg. + self genGetClassObjectOfClassIndex: formatReg into: ClassReg scratchReg: TempReg. + self genLoadSlot: InstanceSpecificationIndex sourceReg: ClassReg destReg: formatReg. + cogit PopR: ClassReg. - self flag: 'sometime soon we could inline the class fetch; it is only two indirections'. - cogit CallRT: ceClassAtIndexTrampoline. - self genLoadSlot: InstanceSpecificationIndex sourceReg: TempReg destReg: formatReg. self genConvertSmallIntegerToIntegerInScratchReg: formatReg. cogit AndCq: objectMemory fixedFieldsOfClassFormatMask R: formatReg; SubR: formatReg R: ClassReg; CmpR: Arg0Reg R: ClassReg. jumpFixedFieldsOutOfBounds := cogit JumpAboveOrEqual: 0. "index is (formatReg (fixed fields) + Arg0Reg (0-rel index)) * wordSize + baseHeaderSize" cogit AddR: formatReg R: Arg0Reg. cogit AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg0Reg. cogit MoveXwr: Arg0Reg R: ReceiverResultReg R: ReceiverResultReg. jumpFixedFieldsDone := cogit Jump: 0. jumpIsArray jmpTarget: (cogit CmpR: Arg0Reg R: ClassReg). jumpArrayOutOfBounds := cogit JumpAboveOrEqual: 0. cogit AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg0Reg. cogit MoveXwr: Arg0Reg R: ReceiverResultReg R: ReceiverResultReg. jumpFixedFieldsDone jmpTarget: (jumpWordsDone jmpTarget: (jumpShortsDone jmpTarget: (jumpBytesDone jmpTarget: (cogit RetN: retNoffset)))). jumpFixedFieldsOutOfBounds jmpTarget: (jumpArrayOutOfBounds jmpTarget: (jumpBytesOutOfBounds jmpTarget: (jumpShortsOutOfBounds jmpTarget: (jumpWordsOutOfBounds jmpTarget: (jumpWordTooBig jmpTarget: (jumpNotIndexable jmpTarget: (jumpIsContext jmpTarget: cogit Label))))))). cogit AddCq: 1 R: Arg0Reg. "0-rel => 1-rel" self genConvertIntegerToSmallIntegerInScratchReg: Arg0Reg. (jumpBadIndex jmpTarget: (jumpImmediate jmpTarget: cogit Label)). ^0! Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>genInnerPrimitiveStringAt: (in category 'primitive generators') ----- + genInnerPrimitiveStringAt: retNoffset + "Implement the guts of primitiveStringAt; dispatch on size" + <returnTypeC: #'AbstractInstruction *'> + | formatReg jumpNotIndexable jumpSmallSize jumpBadIndex done + jumpIsBytes jumpIsShorts jumpIsWords jumpWordTooBig + jumpBytesOutOfBounds jumpShortsOutOfBounds jumpWordsOutOfBounds | + <inline: true> + "c.f. StackInterpreter>>stSizeOf: SpurMemoryManager>>lengthOf:format: fixedFieldsOf:format:length:" + <var: #done type: #'AbstractInstruction *'> + <var: #jumpIsBytes type: #'AbstractInstruction *'> + <var: #jumpIsShorts type: #'AbstractInstruction *'> + <var: #jumpIsWords type: #'AbstractInstruction *'> + <var: #jumpBadIndex type: #'AbstractInstruction *'> + <var: #jumpSmallSize type: #'AbstractInstruction *'> + <var: #jumpWordTooBig type: #'AbstractInstruction *'> + <var: #jumpNotIndexable type: #'AbstractInstruction *'> + <var: #jumpBytesOutOfBounds type: #'AbstractInstruction *'> + <var: #jumpShortsOutOfBounds type: #'AbstractInstruction *'> + <var: #jumpWordsOutOfBounds type: #'AbstractInstruction *'> + + cogit MoveR: Arg0Reg R: TempReg. + jumpBadIndex := self genJumpNotSmallIntegerInScratchReg: TempReg. + self genConvertSmallIntegerToIntegerInScratchReg: Arg0Reg. + cogit SubCq: 1 R: Arg0Reg. "1-rel => 0-rel" + + formatReg := SendNumArgsReg. + cogit + MoveMw: 0 r: ReceiverResultReg R: formatReg; "formatReg := least significant half of self baseHeader: receiver" + MoveR: formatReg R: TempReg; + LogicalShiftRightCq: objectMemory formatShift R: formatReg; + AndCq: objectMemory formatMask R: formatReg. "formatReg := self formatOfHeader: destReg" + + "get numSlots into ClassReg." + cogit MoveCq: 0 R: ClassReg. "N.B. MoveMb:r:R: does not zero other bits" + cogit MoveMb: 7 r: ReceiverResultReg R: ClassReg. "MSB of header" + cogit CmpCq: objectMemory numSlotsMask R: ClassReg. + jumpSmallSize := cogit JumpLess: 0. + cogit MoveMw: -8 r: ReceiverResultReg R: ClassReg. "LSW of overflow size header" + + "dispatch on format in a combination of highest dynamic frequency order first and convenience. + 0 = 0 sized objects (UndefinedObject True False et al) + 1 = non-indexable objects with inst vars (Point et al) + 2 = indexable objects with no inst vars (Array et al) + 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) + 4 = weak indexable objects with inst vars (WeakArray et al) + 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) + 6 unused, reserved for exotic pointer objects? + 7 Forwarded Object, 1st field is pointer, rest of fields are ignored + 8 unused, reserved for exotic non-pointer objects? + 9 (?) 64-bit indexable + 10 - 11 32-bit indexable + 12 - 15 16-bit indexable + 16 - 23 byte indexable + 24 - 31 compiled method" + jumpSmallSize jmpTarget: + (cogit CmpCq: objectMemory firstByteFormat R: formatReg). + jumpIsBytes := cogit JumpGreaterOrEqual: 0. + cogit CmpCq: objectMemory firstShortFormat R: formatReg. + jumpIsShorts := cogit JumpGreaterOrEqual: 0. + cogit CmpCq: objectMemory firstLongFormat R: formatReg. + jumpIsWords := cogit JumpGreaterOrEqual: 0. + jumpNotIndexable := cogit Jump: 0. + + jumpIsBytes jmpTarget: + (cogit LogicalShiftLeftCq: objectMemory shiftForWord R: ClassReg). + cogit AndCq: objectMemory wordSize - 1 R: formatReg. + cogit SubR: formatReg R: ClassReg; + CmpR: Arg0Reg R: ClassReg. + jumpBytesOutOfBounds := cogit JumpAboveOrEqual: 0. + cogit AddCq: objectMemory baseHeaderSize R: Arg0Reg. + cogit MoveXbr: Arg0Reg R: ReceiverResultReg R: ReceiverResultReg. + done := cogit Label. + self genConvertIntegerToCharacterInScratchReg: ReceiverResultReg. + cogit RetN: retNoffset. + + jumpIsShorts jmpTarget: + (cogit LogicalShiftLeftCq: objectMemory shiftForWord - 1 R: ClassReg). + cogit AndCq: 1 R: formatReg. + cogit SubR: formatReg R: ClassReg; + CmpR: Arg0Reg R: ClassReg. + jumpShortsOutOfBounds := cogit JumpAboveOrEqual: 0. + cogit AddR: Arg0Reg R: ReceiverResultReg. + cogit MoveM16: objectMemory baseHeaderSize r: ReceiverResultReg R: ReceiverResultReg. + cogit Jump: done. + + jumpIsWords jmpTarget: + (cogit CmpR: Arg0Reg R: ClassReg). + jumpWordsOutOfBounds := cogit JumpAboveOrEqual: 0. + cogit AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg0Reg. + cogit MoveXwr: Arg0Reg R: ReceiverResultReg R: TempReg. + cogit SubCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg0Reg. + jumpWordTooBig := self jumpNotCharacterUnsignedValueInRegister: TempReg. + cogit MoveR: TempReg R: ReceiverResultReg. + cogit Jump: done. + + jumpBytesOutOfBounds jmpTarget: + (jumpShortsOutOfBounds jmpTarget: + (jumpWordsOutOfBounds jmpTarget: + (jumpWordTooBig jmpTarget: + (jumpNotIndexable jmpTarget: cogit Label)))). + + cogit AddCq: 1 R: Arg0Reg. "0-rel => 1-rel" + self genConvertIntegerToSmallIntegerInScratchReg: Arg0Reg. + + jumpBadIndex jmpTarget: cogit Label. + + ^0! Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>genShiftAwaySmallIntegerTagsInScratchReg: (in category 'compile abstract instructions') ----- + genShiftAwaySmallIntegerTagsInScratchReg: scratchReg + cogit ArithmeticShiftRightCq: 1 R: scratchReg. + ^0! Item was changed: CogObjectRepresentation subclass: #CogObjectRepresentationForSpur + instanceVariableNames: '' - instanceVariableNames: 'ceClassAtIndexTrampoline' classVariableNames: '' + poolDictionaries: 'CogCompilationConstants VMSqueakClassIndices' - poolDictionaries: 'VMSqueakClassIndices' category: 'VMMaker-JIT'! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genConvertIntegerToCharacterInScratchReg: (in category 'compile abstract instructions') ----- + genConvertIntegerToCharacterInScratchReg: reg + cogit + LogicalShiftRightCq: objectMemory numTagBits R: reg; + AddCq: objectMemory characterTag R: reg. + ^0! Item was changed: ----- Method: CogObjectRepresentationForSpur>>genGetClassObjectOf:into:scratchReg: (in category 'compile abstract instructions') ----- genGetClassObjectOf: instReg into: destReg scratchReg: scratchReg "Fetch the instance's class into destReg." | jumpIsImm jumpNotForwarded loop | <var: #jumpIsImm type: #'AbstractInstruction *'> <var: #jumpNotForwarded type: #'AbstractInstruction *'> <var: #loop type: #'AbstractInstruction *'> + instReg = destReg ifTrue: + [^BadRegisterSet]. loop := cogit MoveR: instReg R: scratchReg. cogit AndCq: objectMemory tagMask R: scratchReg. jumpIsImm := cogit JumpNonZero: 0. self flag: #endianness. "Get least significant half of header word in destReg" cogit MoveMw: 0 r: instReg R: scratchReg. "mask off class index" cogit AndCq: objectMemory classIndexMask R: scratchReg. "if it is forwarded..." cogit CmpCq: objectMemory isForwardedObjectClassIndexPun R: scratchReg. jumpNotForwarded := cogit JumpNonZero: 0. "...follow the forwarding pointer and loop to fetch its classIndex" cogit MoveMw: objectMemory baseHeaderSize r: instReg R: instReg. cogit Jump: loop. jumpNotForwarded jmpTarget: (jumpIsImm jmpTarget: cogit Label). + cogit MoveR: scratchReg R: destReg. + cogit PushR: instReg. + self genGetClassObjectOfClassIndex: destReg into: instReg scratchReg: TempReg. + cogit MoveR: instReg R: destReg. + cogit PopR: instReg. + ^0! - scratchReg ~= TempReg ifTrue: - [cogit MoveR: scratchReg R: TempReg]. - cogit CallRT: ceClassAtIndexTrampoline. - destReg ~= TempReg ifTrue: - [cogit MoveR: TempReg R: destReg]! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genGetClassObjectOfClassIndex:into:scratchReg: (in category 'compile abstract instructions') ----- + genGetClassObjectOfClassIndex: instReg into: destReg scratchReg: scratchReg + "Fetch the class object whose index is in instReg into destReg. + It is non-obvious, but the Cogit assumes loading a class does not involve + a runtime call, so do not call classAtIndex:" + self assert: instReg ~= destReg. + self assert: instReg ~= scratchReg. + self assert: destReg ~= scratchReg. + cogit + MoveR: instReg R: scratchReg; + LogicalShiftRightCq: objectMemory classTableMajorIndexShift R: scratchReg; + LogicalShiftLeftCq: objectMemory shiftForWord R: scratchReg.. + self assert: (self shouldAnnotateObjectReference: objectMemory classTableRootObj) not. + cogit + MoveMw: objectMemory classTableRootObj + objectMemory baseHeaderSize r: scratchReg R: destReg; + MoveR: instReg R: scratchReg; + AndCq: objectMemory classTableMinorIndexMask R: scratchReg; + AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: scratchReg; + MoveXwr: scratchReg R: destReg R: destReg.. + ^0! Item was changed: ----- Method: CogObjectRepresentationForSpur>>genInnerPrimitiveSize: (in category 'primitive generators') ----- genInnerPrimitiveSize: retNoffset | jumpImm jumpNotIndexable jumpIsContext | "c.f. StackInterpreter>>stSizeOf: lengthOf:baseHeader:format: fixedFieldsOf:format:length:" <var: #jumpImm type: #'AbstractInstruction *'> <var: #jumpNotIndexable type: #'AbstractInstruction *'> <var: #jumpIsContext type: #'AbstractInstruction *'> cogit MoveR: ReceiverResultReg R: TempReg. jumpImm := self genJumpImmediateInScratchReg: TempReg. self genGetSizeOf: ReceiverResultReg into: ClassReg formatReg: SendNumArgsReg scratchReg: TempReg abortJumpsInto: [:jnx :jic| jumpNotIndexable := jnx. jumpIsContext := jic]. self genConvertIntegerToSmallIntegerInScratchReg: ClassReg. cogit MoveR: ClassReg R: ReceiverResultReg. - self flag: 'currently caller pushes result'. cogit RetN: retNoffset. jumpImm jmpTarget: (jumpNotIndexable jmpTarget: (jumpIsContext jmpTarget: cogit Label)). ^0! Item was changed: ----- Method: CogObjectRepresentationForSpur>>genStoreSourceReg:slotIndex:destReg:scratchReg: (in category 'compile abstract instructions') ----- genStoreSourceReg: sourceReg slotIndex: index destReg: destReg scratchReg: scratchReg | jmpImmediate jmpDestYoung jmpSourceOld jmpAlreadyRemembered mask rememberedBitByteOffset | <var: #jmpImmediate type: #'AbstractInstruction *'> <var: #jmpDestYoung type: #'AbstractInstruction *'> <var: #jmpSourceOld type: #'AbstractInstruction *'> <var: #jmpAlreadyRemembered type: #'AbstractInstruction *'> "do the store" cogit MoveR: sourceReg Mw: index * objectMemory wordSize + objectMemory baseHeaderSize r: destReg. "now the check. Is value stored an integer? If so we're done" cogit MoveR: sourceReg R: scratchReg. cogit AndCq: objectMemory tagMask R: scratchReg. jmpImmediate := cogit JumpNonZero: 0. "Get the old/new boundary in scratchReg" cogit MoveAw: objectMemory newSpaceLimitAddress R: scratchReg. "Is target young? If so we're done" cogit CmpR: scratchReg R: destReg. "N.B. FLAGS := destReg - scratchReg" jmpDestYoung := cogit JumpBelow: 0. "Is value stored old? If so we're done." cogit CmpR: scratchReg R: sourceReg. "N.B. FLAGS := sourceReg - scratchReg" jmpSourceOld := cogit JumpAboveOrEqual: 0. "value is young and target is old. Need to remember this only if the remembered bit is not already set. Test the remembered bit. Only need to fetch the byte containing it, which reduces the size of the mask constant." rememberedBitByteOffset := jmpSourceOld isBigEndian ifTrue: [objectMemory baseHeaderSize - 1 - (objectMemory rememberedBitShift // 8)] ifFalse:[objectMemory rememberedBitShift // 8]. mask := 1 << (objectMemory rememberedBitShift \\ 8). + "N.B. MoveMb:r:R: does not zero other bits" cogit MoveMb: rememberedBitByteOffset r: destReg R: scratchReg. cogit AndCq: mask R: scratchReg. jmpAlreadyRemembered := cogit JumpNonZero: 0. "Remembered bit is not set. Call store check to insert dest into remembered table." self assert: destReg == ReceiverResultReg. cogit CallRT: ceStoreCheckTrampoline. jmpImmediate jmpTarget: (jmpDestYoung jmpTarget: (jmpSourceOld jmpTarget: (jmpAlreadyRemembered jmpTarget: cogit Label))). ^0! Item was removed: - ----- Method: CogObjectRepresentationForSpur>>generateObjectRepresentationTrampolines (in category 'initialization') ----- - generateObjectRepresentationTrampolines - super generateObjectRepresentationTrampolines. - ceClassAtIndexTrampoline := cogit - genTrampolineFor: #ceClassAtIndex: - called: 'ceClassAtIndexTrampoline' - arg: TempReg - result: TempReg! Item was added: + ----- Method: CogObjectRepresentationForSpur>>jumpNotCharacterUnsignedValueInRegister: (in category 'compile abstract instructions') ----- + jumpNotCharacterUnsignedValueInRegister: reg + cogit CmpCq: 16r3FFFFFFF R: reg. + ^cogit JumpAbove: 0! Item was changed: ----- Method: CogObjectRepresentationForSpur>>shouldAnnotateObjectReference: (in category 'garbage collection') ----- shouldAnnotateObjectReference: anOop + "Objects in newSpace or oldSpace except nil, true, false & classTableRootObj need to be annotated." - "Objects in newSpace or oldSPace except nil, true & false need to be annotated." ^(objectMemory isNonImmediate: anOop) + and: [(self oop: anOop isGreaterThan: objectMemory classTableRootObj) - and: [(self oop: anOop isGreaterThan: objectMemory trueObject) or: [self oop: anOop isLessThan: objectMemory nilObject]]! Item was changed: ----- Method: CogObjectRepresentationForSqueakV3>>genInnerPrimitiveSize: (in category 'primitive generators') ----- genInnerPrimitiveSize: retNoffset | jumpSI jumpNotIndexable jumpIsContext | "c.f. StackInterpreter>>stSizeOf: lengthOf:baseHeader:format: fixedFieldsOf:format:length:" <var: #jumpNotSI type: #'AbstractInstruction *'> <var: #jumpNotIndexable type: #'AbstractInstruction *'> <var: #jumpIsContext type: #'AbstractInstruction *'> cogit MoveR: ReceiverResultReg R: TempReg. jumpSI := self genJumpSmallIntegerInScratchReg: TempReg. self genGetSizeOf: ReceiverResultReg into: ClassReg formatReg: SendNumArgsReg scratchReg: TempReg abortJumpsInto: [:jnx :jic| jumpNotIndexable := jnx. jumpIsContext := jic]. self genConvertIntegerToSmallIntegerInScratchReg: ClassReg. cogit MoveR: ClassReg R: ReceiverResultReg. - self flag: 'currently caller pushes result'. cogit RetN: retNoffset. jumpSI jmpTarget: (jumpNotIndexable jmpTarget: (jumpIsContext jmpTarget: cogit Label)). ^0! Item was changed: ----- Method: CogObjectRepresentationForSqueakV3>>genStoreSourceReg:slotIndex:destReg:scratchReg: (in category 'compile abstract instructions') ----- genStoreSourceReg: sourceReg slotIndex: index destReg: destReg scratchReg: scratchReg | jmpImmediate jmpDestYoung jmpSourceOld jmpAlreadyRoot mask rootBitByteOffset | <var: #jmpImmediate type: #'AbstractInstruction *'> <var: #jmpDestYoung type: #'AbstractInstruction *'> <var: #jmpSourceOld type: #'AbstractInstruction *'> <var: #jmpAlreadyRoot type: #'AbstractInstruction *'> "do the store" cogit MoveR: sourceReg Mw: index * BytesPerWord + BaseHeaderSize r: destReg. "now the check. Is value stored an integer? If so we're done" cogit MoveR: sourceReg R: scratchReg. cogit AndCq: 1 R: scratchReg. jmpImmediate := cogit JumpNonZero: 0. "Get the old/new boundary in scratchReg" cogit MoveAw: objectMemory youngStartAddress R: scratchReg. "Is target young? If so we're done" cogit CmpR: scratchReg R: destReg. "N.B. FLAGS := destReg - scratchReg" jmpDestYoung := cogit JumpAboveOrEqual: 0. "Is value stored old? If so we're done." cogit CmpR: scratchReg R: sourceReg. "N.B. FLAGS := sourceReg - scratchReg" jmpSourceOld := cogit JumpBelow: 0. "value is young and target is old. Need to make this a root if the root bit is not already set. Test the root bit. Only need to fetch the byte containing it, which reduces the size of the mask constant." rootBitByteOffset := jmpSourceOld isBigEndian ifTrue: [BytesPerWord - RootBitDigitLength] ifFalse:[RootBitDigitLength - 1]. mask := RootBitDigitLength > 1 ifTrue: [RootBit >> (RootBitDigitLength - 1 * 8)] ifFalse: [RootBit]. + "N.B. MoveMb:r:R: does not zero other bits" cogit MoveMb: rootBitByteOffset r: destReg R: scratchReg. cogit AndCq: mask R: scratchReg. jmpAlreadyRoot := cogit JumpNonZero: 0. "Root bit is not set. Call store check to insert dest into root table." self assert: destReg == ReceiverResultReg. cogit CallRT: ceStoreCheckTrampoline. jmpImmediate jmpTarget: (jmpDestYoung jmpTarget: (jmpSourceOld jmpTarget: (jmpAlreadyRoot jmpTarget: cogit Label))). ^0! Item was changed: ----- Method: CogSistaMethodSurrogate32 class>>offsetOf: (in category 'accessing') ----- offsetOf: aByteSymbol + "These should be generated!!!!" + self assert: self objectMemoryClass baseHeaderSize = BaseHeaderSize. ^aByteSymbol == #numCounters + ifTrue: [20 + BaseHeaderSize] - ifTrue: [24] ifFalse: [super offsetOf: aByteSymbol]! Item was changed: ----- Method: CogSistaMethodSurrogate64 class>>offsetOf: (in category 'accessing') ----- offsetOf: aByteSymbol + "These should be generated!!!!" + self assert: self objectMemoryClass baseHeaderSize = BaseHeaderSize. ^aByteSymbol == #numCounters + ifTrue: [32 + BaseHeaderSize] - ifTrue: [40] ifFalse: [super offsetOf: aByteSymbol]! Item was changed: ----- Method: CogVMSimulator>>ceSend:super:to:numArgs: (in category 'trampolines') ----- ceSend: selector super: superNormalBar to: rcvr numArgs: numArgs "self stringOf: selector" "self printOop: rcvr" + "(superNormalBar ~= 0 and: [(self stringOf: selector) = #bitShift:]) ifTrue: + [self halt]." - (superNormalBar ~= 0 and: [(self stringOf: selector) = #bitShift:]) ifTrue: - [self halt]. self logSend: selector. cogit assertCStackWellAligned. self maybeCheckStackDepth: numArgs + 1 sp: stackPointer pc: (stackPages longAt: stackPointer). ^super ceSend: selector super: superNormalBar to: rcvr numArgs: numArgs! Item was changed: ----- Method: CogVMSimulator>>shortPrint: (in category 'debug support') ----- shortPrint: oop | name classOop | (objectMemory isImmediate: oop) ifTrue: [(objectMemory isImmediateCharacter: oop) ifTrue: [^ '=$' , (objectMemory characterValueOf: oop) printString , ' (' , (String with: (Character value: (objectMemory characterValueOf: oop))) , ')']. (objectMemory isIntegerObject: oop) ifTrue: [^ '=' , (objectMemory integerValueOf: oop) printString , ' (' , (objectMemory integerValueOf: oop) hex , ')']. ^'= UNKNOWN IMMEDIATE', ' (' , (objectMemory integerValueOf: oop) hex , ')']. (objectMemory addressCouldBeObj: oop) ifFalse: [^(oop bitAnd: objectMemory allocationUnit - 1) ~= 0 ifTrue: [' is misaligned'] ifFalse: [' is not on the heap']]. (objectMemory isFreeObject: oop) ifTrue: [^' is a free chunk of size ', (objectMemory sizeOfFree: oop) printString]. (objectMemory isForwarded: oop) ifTrue: [^' is a forwarded object to ', (objectMemory followForwarded: oop) hex, ' of slot size ', (objectMemory numSlotsOfAny: oop) printString]. classOop := objectMemory fetchClassOfNonImm: oop. (objectMemory sizeBitsOf: classOop) = metaclassSizeBits ifTrue: [^'class ' , (self nameOfClass: oop)]. name := self nameOfClass: classOop. name size = 0 ifTrue: [name := '??']. name = 'String' ifTrue: [^ (self stringOf: oop) printString]. name = 'ByteString' ifTrue: [^ (self stringOf: oop) printString]. name = 'Symbol' ifTrue: [^ '#' , (self stringOf: oop)]. name = 'ByteSymbol' ifTrue: [^ '#' , (self stringOf: oop)]. name = 'Character' ifTrue: "SpurMemoryManager has immediate Characters; ObjectMemory does not" [^ '=' , (Character value: (objectMemory integerValueOf: (objectMemory fetchPointer: 0 ofObject: oop))) printString]. name = 'UndefinedObject' ifTrue: [^ 'nil']. name = 'False' ifTrue: [^ 'false']. name = 'True' ifTrue: [^ 'true']. name = 'Float' ifTrue: [^ '=' , (self dbgFloatValueOf: oop) printString]. + (#('Association' 'ReadOnlyVariableBinding' 'VariableBinding') includes: name) ifTrue: - name = 'Association' ifTrue: [^ '(' , (self shortPrint: (self longAt: oop + BaseHeaderSize)) , ' -> ' , (self longAt: oop + BaseHeaderSize + BytesPerWord) hex8 , ')']. + ^(('AEIOU' includes: name first) ifTrue: ['an '] ifFalse: ['a ']), name! - ^('AEIOU' includes: name first) - ifTrue: ['an ' , name] - ifFalse: ['a ' , name]! 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 postCompileHook primInvokeLabel methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMissCall missOffset entryPointMask checkedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry dynSuperEntry dynSuperEntryAlignment cmDynSuperEntryOffset mnuCall interpretCall 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 maxMethodBefore maxLitIndex ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceClosureCopyTrampoline ceCreateNewArrayTrampoline ceEnterCogCodePopReceiverReg ceEnterCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceActiveContextTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline cePositive32BitIntegerTrampoline ceImplicitReceiverTrampoline ceExplicitReceiverTrampoline ceCaptureCStackPointers ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetSP sendTrampolines superSendTrampolines dynamicSuperSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCEEnterCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner cogMethodSurrogateClass cogBlockMethodSurrogateClass extA extB' classVariableNames: 'AltBlockCreationBytecodeSize AltNSSendIsPCAnnotated AnnotationConstantNames AnnotationShift BlockCreationBytecodeSize Debug DisplacementMask DisplacementX2N EagerInstructionDecoration EncounteredUnknownBytecode FirstAnnotation HasBytecodePC InsufficientCodeSpace IsAbsPCReference IsDisplacement IsDisplacementX2N IsNSSendCall IsObjectReference IsRelativeCall IsSendCall MapEnd MaxCompiledPrimitiveIndex MaxNegativeErrorCode MaxStackAllocSize MaxUnitDisplacement MaxX2NDisplacement MethodTooBig NSSendIsPCAnnotated NotFullyInitialized NumObjRefsInRuntime NumSendTrampolines NumTrampolines ProcessorClass YoungSelectorInPIC' + poolDictionaries: 'CogCompilationConstants CogMethodConstants CogRTLOpcodes VMBasicConstants VMObjectIndices VMStackFrameOffsets' - poolDictionaries: '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>>initializeErrorCodes (in category 'class initialization') ----- initializeErrorCodes + "External errors, returned to or from cog:selector:" NotFullyInitialized := -1. InsufficientCodeSpace := -2. MethodTooBig := -4. YoungSelectorInPIC := -5. EncounteredUnknownBytecode := -6. + MaxNegativeErrorCode := EncounteredUnknownBytecode. + "Internal errors returned by generator routines to other generator routines" + BadRegisterSet := 1! - MaxNegativeErrorCode := EncounteredUnknownBytecode! Item was added: + ----- Method: Cogit>>CallRT:registersToBeSavedMask: (in category 'compile abstract instructions') ----- + CallRT: callTarget registersToBeSavedMask: registersToBeSaved + <returnTypeC: #'AbstractInstruction *'> + | callerSavedRegsToBeSaved lastInst | + <var: 'lastInst' type: #'AbstractInstruction *'> + callerSavedRegsToBeSaved := backEnd callerSavedRegisterMask bitAnd: registersToBeSaved. + + GPRegMax to: GPRegMin by: -1 do: + [:reg| + (reg ~= TempReg + and: [callerSavedRegsToBeSaved anyMask: (self registerMaskFor: reg)]) ifTrue: + [self PushR: reg]]. + + lastInst := self CallRT: callTarget. + + GPRegMin to: GPRegMax do: + [:reg| + (reg ~= TempReg + and: [callerSavedRegsToBeSaved anyMask: (self registerMaskFor: reg)]) ifTrue: + [lastInst := self PopR: reg]]. + + ^lastInst! Item was added: + ----- Method: Cogit>>registerMaskFor: (in category 'register management') ----- + registerMaskFor: reg + "Answer a bit mask identifying the symbolic register. + Registers are negative numbers." + ^1 << (1 - reg)! Item was added: + ----- Method: Cogit>>registerMaskFor:and: (in category 'register management') ----- + registerMaskFor: reg1 and: reg2 + "Answer a bit mask identifying the symbolic registers. + Registers are negative numbers." + ^1 << (1 - reg1) bitOr: 1 << (1 - reg2)! Item was added: + ----- Method: Cogit>>registerMaskFor:and:and: (in category 'register management') ----- + registerMaskFor: reg1 and: reg2 and: reg3 + "Answer a bit mask identifying the symbolic registers. + Registers are negative numbers." + ^(1 << (1 - reg1) bitOr: 1 << (1 - reg2)) bitOr: 1 << (1 - reg3)! Item was added: + ----- Method: Cogit>>registerMaskFor:and:and:and: (in category 'register management') ----- + registerMaskFor: reg1 and: reg2 and: reg3 and: reg4 + "Answer a bit mask identifying the symbolic registers. + Registers are negative numbers." + ^((1 << (1 - reg1) bitOr: 1 << (1 - reg2)) bitOr: 1 << (1 - reg3)) bitOr: 1 << (1 - reg4)! Item was changed: ----- Method: Cogit>>simulateCogCodeAt: (in category 'simulation only') ----- simulateCogCodeAt: address "<Integer>" <doNotGenerate> | stackZoneBase | stackZoneBase := coInterpreter stackZoneBase. processor pc: address. [[[singleStep ifTrue: [[processor sp < stackZoneBase ifTrue: [self halt]. self recordRegisters. printRegisters ifTrue: [processor printRegistersOn: coInterpreter transcript]. self recordLastInstruction. printInstructions ifTrue: + [coInterpreter transcript nextPutAll: lastNInstructions last; cr. + printRegisters ifTrue: [coInterpreter transcript cr]. + coInterpreter transcript flush]. - [coInterpreter transcript nextPutAll: lastNInstructions last; cr; flush]. (breakPC isInteger ifTrue: [processor pc = breakPC and: [breakBlock value: self]] ifFalse: [breakBlock value: self]) ifTrue: ["printRegisters := printInstructions := true" "self reportLastNInstructions" "coInterpreter printExternalHeadFrame" "coInterpreter printFrameAndCallers: coInterpreter framePointer SP: coInterpreter stackPointer" "coInterpreter shortPrintFrameAndCallers: coInterpreter framePointer" "coInterpreter printFrame: processor fp WithSP: processor sp" "coInterpreter printFrameAndCallers: processor fp SP: processor sp" "coInterpreter shortPrintFrameAndCallers: processor fp" "self disassembleMethodFor: processor pc" coInterpreter changed: #byteCountText. self halt: 'machine code breakpoint at ', (breakPC isInteger ifTrue: [breakPC hex] ifFalse: [String streamContents: [:s| breakBlock decompile printOn: s indent: 0]])]] value]. "So that the Debugger's Over steps over all this" singleStep ifTrue: [processor singleStepIn: coInterpreter memory minimumAddress: guardPageSize readOnlyBelow: coInterpreter cogCodeSize] ifFalse: [processor runInMemory: coInterpreter memory minimumAddress: guardPageSize readOnlyBelow: coInterpreter cogCodeSize]. ((printRegisters or: [printInstructions]) and: [clickConfirm]) ifTrue: [(self confirm: 'continue?') ifFalse: [self halt]]. true] whileTrue] on: ProcessorSimulationTrap do: [:ex| self handleSimulationTrap: ex]. true] whileTrue! 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" - self MoveCq: 0 R: r2. 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! Item was changed: ----- Method: SimpleStackBasedCogit>>genPrimitiveClass (in category 'primitive generators') ----- genPrimitiveClass "Stack looks like receiver (also in ReceiverResultReg) return address" + (objectRepresentation + genGetClassObjectOf: ReceiverResultReg + into: ReceiverResultReg + scratchReg: TempReg) = BadRegisterSet ifTrue: + [objectRepresentation + genGetClassObjectOf: ReceiverResultReg + into: ClassReg + scratchReg: TempReg. + self MoveR: ClassReg R: ReceiverResultReg].. - objectRepresentation genGetClassObjectOf: ReceiverResultReg into: ReceiverResultReg scratchReg: TempReg. self flag: 'currently caller pushes result'. self RetN: BytesPerWord. ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>genPrimitiveIdentityHash (in category 'primitive generators') ----- genPrimitiveIdentityHash + | jumpSI jumpNotSet | - | jumpSI | <var: #jumpSI type: #'AbstractInstruction *'> + <var: #jumpNotSet type: #'AbstractInstruction *'> self MoveR: ReceiverResultReg R: ClassReg. jumpSI := objectRepresentation genJumpSmallIntegerInScratchReg: ClassReg. objectRepresentation genGetHashFieldNonImmOf: ReceiverResultReg asSmallIntegerInto: TempReg. + objectRepresentation isHashSetOnInstanceCreation ifFalse: + [self CmpCq: ConstZero R: TempReg. + jumpNotSet := self JumpZero: 0]. self MoveR: TempReg R: ReceiverResultReg. self flag: 'currently caller pushes result'. self RetN: BytesPerWord. jumpSI jmpTarget: self Label. + objectRepresentation isHashSetOnInstanceCreation ifFalse: + [jumpNotSet jmpTarget: jumpSI getJmpTarget]. ^0! Item was removed: - ----- Method: SimpleStackBasedCogit>>registerMaskFor: (in category 'simulation stack') ----- - registerMaskFor: reg - "Dummy implementation for CogFooCompiler>callerSavedRegisterMask - which doesn't get pruned due to Slang limitations." - ^0! Item was removed: - ----- Method: SimpleStackBasedCogit>>registerMaskFor:and: (in category 'simulation stack') ----- - registerMaskFor: reg and: reg2 - "Dummy implementation for CogFooCompiler>callerSavedRegisterMask - which doesn't get pruned due to Slang limitations." - ^0! Item was removed: - ----- Method: SimpleStackBasedCogit>>registerMaskFor:and:and: (in category 'simulation stack') ----- - registerMaskFor: reg1 and: reg2 and: reg3 - "Dummy implementation for CogFooCompiler>callerSavedRegisterMask - which doesn't get pruned due to Slang limitations." - ^0! Item was added: + ----- Method: Spur32BitMMLECoSimulator>>classTableFirstPage (in category 'debug support') ----- + classTableFirstPage + ^classTableFirstPage! Item was changed: ----- Method: SpurMemoryManager>>isIntegerObject: (in category 'object testing') ----- isIntegerObject: oop "This list records the valid senders of isIntegerObject: as we replace uses of isIntegerObject: by isImmediate: where appropriate." | sel | sel := thisContext sender method selector. (#( DoIt DoItIn: on:do: "from the debugger" makeBaseFrameFor: quickFetchInteger:ofObject: frameOfMarriedContext: objCouldBeClassObj: isMarriedOrWidowedContext: shortPrint: bytecodePrimAt bytecodePrimAtPut commonAt: commonAtPut: loadFloatOrIntFrom: positive32BitValueOf: primitiveExternalCall checkedIntegerValueOf: bytecodePrimAtPut commonAtPut: primitiveVMParameter checkIsStillMarriedContext:currentFP: displayBitsOf:Left:Top:Right:Bottom: fetchStackPointerOf: primitiveContextAt primitiveContextAtPut subscript:with:storing:format: printContext: compare31or32Bits:equal: signed64BitValueOf: primDigitMultiply:negative: digitLength: isNegativeIntegerValueOf: magnitude64BitValueOf: primitiveMakePoint primitiveAsCharacter primitiveInputSemaphore baseFrameReturn primitiveExternalCall primDigitCompare: isLiveContext: numPointerSlotsOf: fileValueOf: loadBitBltDestForm fetchIntOrFloat:ofObject:ifNil: fetchIntOrFloat:ofObject: loadBitBltSourceForm loadPoint:from: primDigitAdd: primDigitSubtract: positive64BitValueOf: digitBitLogic:with:opIndex: signed32BitValueOf: isNormalized: primDigitDiv:negative: bytesOrInt:growTo: primitiveNewMethod isCogMethodReference: functionForPrimitiveExternalCall: genSpecialSelectorArithmetic genSpecialSelectorComparison ensureContextHasBytecodePC: instVar:ofContext: ceBaseFrameReturn: inlineCacheTagForInstance: primitiveObjectAtPut commonVariable:at:put:cacheIndex: + primDigitBitShiftMagnitude: + externalInstVar:ofContext:) includes: sel) ifFalse: - primDigitBitShiftMagnitude:) includes: sel) ifFalse: [self halt]. ^(oop bitAnd: 1) ~= 0! Item was changed: ----- Method: StackInterpreterSimulator>>shortPrint: (in category 'debug support') ----- shortPrint: oop | name classOop | (objectMemory isImmediate: oop) ifTrue: [(objectMemory isImmediateCharacter: oop) ifTrue: [^ '=$' , (objectMemory characterValueOf: oop) printString , ' (' , (String with: (Character value: (objectMemory characterValueOf: oop))) , ')']. (objectMemory isIntegerObject: oop) ifTrue: [^ '=' , (objectMemory integerValueOf: oop) printString , ' (' , (objectMemory integerValueOf: oop) hex , ')']. ^'= UNKNOWN IMMEDIATE', ' (' , (objectMemory integerValueOf: oop) hex , ')']. (objectMemory addressCouldBeObj: oop) ifFalse: [^(oop bitAnd: objectMemory allocationUnit - 1) ~= 0 ifTrue: [' is misaligned'] ifFalse: [' is not on the heap']]. (objectMemory isFreeObject: oop) ifTrue: [^' is a free chunk of size ', (objectMemory sizeOfFree: oop) printString]. (objectMemory isForwarded: oop) ifTrue: [^' is a forwarded object to ', (objectMemory followForwarded: oop) hex, ' of slot size ', (objectMemory numSlotsOfAny: oop) printString]. classOop := objectMemory fetchClassOfNonImm: oop. (objectMemory sizeBitsOf: classOop) = metaclassSizeBits ifTrue: [^'class ' , (self nameOfClass: oop)]. name := self nameOfClass: classOop. name size = 0 ifTrue: [name := '??']. name = 'String' ifTrue: [^ (self stringOf: oop) printString]. name = 'ByteString' ifTrue: [^ (self stringOf: oop) printString]. name = 'Symbol' ifTrue: [^ '#' , (self stringOf: oop)]. name = 'ByteSymbol' ifTrue: [^ '#' , (self stringOf: oop)]. name = 'Character' ifTrue: "SpurMemoryManager has immediate Characters; ObjectMemory does not" [^ '=' , (Character value: (objectMemory integerValueOf: (objectMemory fetchPointer: 0 ofObject: oop))) printString]. name = 'UndefinedObject' ifTrue: [^ 'nil']. name = 'False' ifTrue: [^ 'false']. name = 'True' ifTrue: [^ 'true']. name = 'Float' ifTrue: [^ '=' , (self dbgFloatValueOf: oop) printString]. + (#('Association' 'ReadOnlyVariableBinding' 'VariableBinding') includes: name) ifTrue: + [^ '(' , + (self shortPrint: (self longAt: oop + BaseHeaderSize)) , + ' -> ' , + (self longAt: oop + BaseHeaderSize + BytesPerWord) hex8 , ')']. + ^(('AEIOU' includes: name first) ifTrue: ['an '] ifFalse: ['a ']), name! - name = 'Association' ifTrue: [^ '(' , - (self shortPrint: (self longAt: oop + BaseHeaderSize)) , - ' -> ' , - (self longAt: oop + BaseHeaderSize + BytesPerWord) hex8 , ')']. - ('AEIOU' includes: name first) - ifTrue: [^ 'an ' , name] - ifFalse: [^ 'a ' , name]! Item was changed: ----- Method: StackToRegisterMappingCogit>>genPrimitiveClass (in category 'primitive generators') ----- genPrimitiveClass "Depending on argument count the argument is either 0 args: ReceiverResultReg 1 args: Arg0Reg N args: top of stack (assuming 1 reg arg for now)" | reg | methodOrBlockNumArgs = 1 ifTrue: [reg := Arg0Reg] ifFalse: [methodOrBlockNumArgs > 0 ifTrue: [self MoveMw: BytesPerWord r: SPReg R: ReceiverResultReg]. reg := ReceiverResultReg]. + (objectRepresentation + genGetClassObjectOf: reg + into: ReceiverResultReg + scratchReg: TempReg) = BadRegisterSet ifTrue: + [objectRepresentation + genGetClassObjectOf: reg + into: ClassReg + scratchReg: TempReg. + self MoveR: ClassReg R: ReceiverResultReg]. - objectRepresentation - genGetClassObjectOf: reg - into: ReceiverResultReg - scratchReg: TempReg. self RetN: 0. ^0! Item was changed: ----- Method: StackToRegisterMappingCogit>>genPrimitiveIdentityHash (in category 'primitive generators') ----- genPrimitiveIdentityHash | jumpSI jumpNotSet | <var: #jumpSI type: #'AbstractInstruction *'> + <var: #jumpNotSet type: #'AbstractInstruction *'> self MoveR: ReceiverResultReg R: ClassReg. jumpSI := objectRepresentation genJumpSmallIntegerInScratchReg: ClassReg. objectRepresentation genGetHashFieldNonImmOf: ReceiverResultReg asSmallIntegerInto: TempReg. objectRepresentation isHashSetOnInstanceCreation ifFalse: + [self CmpCq: ConstZero R: TempReg. - [self CmpCq: 0 R: TempReg. jumpNotSet := self JumpZero: 0]. self MoveR: TempReg R: ReceiverResultReg. self RetN: 0. jumpSI jmpTarget: self Label. objectRepresentation isHashSetOnInstanceCreation ifFalse: [jumpNotSet jmpTarget: jumpSI getJmpTarget]. ^0! Item was removed: - ----- Method: StackToRegisterMappingCogit>>registerMaskFor: (in category 'simulation stack') ----- - registerMaskFor: reg - "Answer a bit mask identifying the symbolic register. - Registers are negative numbers." - ^1 << (1 - reg)! Item was removed: - ----- Method: StackToRegisterMappingCogit>>registerMaskFor:and: (in category 'simulation stack') ----- - registerMaskFor: reg1 and: reg2 - "Answer a bit mask identifying the symbolic registers. - Registers are negative numbers." - ^1 << (1 - reg1) bitOr: 1 << (1 - reg2)! Item was removed: - ----- Method: StackToRegisterMappingCogit>>registerMaskFor:and:and: (in category 'simulation stack') ----- - registerMaskFor: reg1 and: reg2 and: reg3 - "Answer a bit mask identifying the symbolic registers. - Registers are negative numbers." - ^(1 << (1 - reg1) bitOr: 1 << (1 - reg2)) bitOr: 1 << (1 - reg3)!

1 0

VM Maker: VMMaker.oscog-eem.427.mcz
by commits＠source.squeak.org 03 Oct '13

03 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.427.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.427 Author: eem Time: 2 October 2013, 5:31:09.792 pm UUID: 15aece3d-713b-4408-938b-597a7d88854e Ancestors: VMMaker.oscog-eem.426 I am a bozo! lookupMethodNoMNUEtcInClass: adds to cache anyway! Revert the relevant ceSend: methods. Add more CogObjectRepresentationForSpur. Change genPrimitiveIdentityHash so that memory managers (such as Spur) can use 0 as an uninitialized identityHash and call the interpreter prim if uninitialized. =============== Diff against VMMaker.oscog-eem.426 =============== Item was changed: ----- Method: CoInterpreter>>ceCounterTripped: (in category 'cog jit support') ----- ceCounterTripped: condition <api> <option: #SistaStackToRegisterMappingCogit> "Send e.g. thisContext conditionalBranchCounterTrippedOn: boolean." | context counterTrippedSelector classTag | counterTrippedSelector := objectMemory maybeSplObj: SelectorCounterTripped. (counterTrippedSelector isNil or: [counterTrippedSelector = objectMemory nilObject]) ifTrue: [cogit resetCountersIn: (self mframeHomeMethod: framePointer). ^condition]. classTag := objectMemory classTagForSpecialObjectsIndex: ClassMethodContext compactClassIndex: ClassMethodContextCompactIndex. (self lookupInMethodCacheSel: counterTrippedSelector classTag: classTag) ifFalse: [messageSelector := counterTrippedSelector. (self lookupMethodNoMNUEtcInClass: (objectMemory classTagForClass: classTag)) ~= 0 ifTrue: [cogit resetCountersIn: (self mframeHomeMethod: framePointer). + ^condition]]. - ^condition]. - self addNewMethodToCache: (objectMemory classForClassTag: classTag)]. (primitiveFunctionPointer ~= 0 or: [(self argumentCountOf: newMethod) ~= 1]) ifTrue: [cogit resetCountersIn: (self mframeHomeMethod: framePointer). ^condition]. instructionPointer := self popStack. context := self ensureFrameIsMarried: framePointer SP: stackPointer. self push: context. self push: condition. self ifAppropriateCompileToNativeCode: newMethod selector: counterTrippedSelector. self activateNewMethod. "not reached" ^true! Item was changed: ----- Method: CoInterpreter>>ceDynamicSuperSend:to:numArgs: (in category 'trampolines') ----- ceDynamicSuperSend: selector to: rcvr numArgs: numArgs "Entry-point for an unlinked dynamic super 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> | class classTag canLinkCacheTag errSelIdx cogMethod mClassMixin mixinApplication | <inline: false> <var: #cogMethod type: #'CogMethod *'> <var: #newCogMethod type: #'CogMethod *'> "self printExternalHeadFrame" "self printStringOf: selector" cogit assertCStackWellAligned. self assert: (objectMemory addressCouldBeOop: rcvr). self sendBreakpoint: selector receiver: rcvr. mClassMixin := self mMethodClass. mixinApplication := self findApplicationOfTargetMixin: mClassMixin startingAtBehavior: (objectMemory fetchClassOf: rcvr). self assert: (objectMemory lengthOf: mixinApplication) > (InstanceSpecificationIndex + 1). classTag := self classTagForClass: (self superclassOf: mixinApplication). class := objectMemory fetchClassOf: rcvr. "what about the read barrier??" canLinkCacheTag := (objectMemory isYoungObject: class) not or: [cogit canLinkToYoungClasses]. argumentCount := numArgs. (self lookupInMethodCacheSel: selector classTag: classTag) ifTrue:"check for coggability because method is in the cache" [self ifAppropriateCompileToNativeCode: newMethod selector: selector] ifFalse: [messageSelector := selector. (errSelIdx := self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: classTag)) ~= 0 ifTrue: [self handleMNU: errSelIdx InMachineCodeTo: rcvr classForMessage: (objectMemory classForClassTag: classTag). + self assert: false "NOTREACHED"]]. - self assert: false "NOTREACHED"]. - self addNewMethodToCache: (objectMemory classForClassTag: classTag)]. "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 and: [canLinkCacheTag]) ifTrue: [cogit linkSendAt: (stackPages longAt: stackPointer) in: (self mframeHomeMethod: framePointer) to: cogMethod offset: cogit dynSuperEntryOffset receiver: rcvr]. instructionPointer := self popStack. self executeNewMethod. self assert: false "NOTREACHED"]. instructionPointer := self popStack. ^self interpretMethodFromMachineCode "NOTREACHED"! Item was changed: ----- Method: CoInterpreter>>ceSend:super:to:numArgs: (in category 'trampolines') ----- ceSend: selector super: superNormalBar to: rcvr numArgs: numArgs "Entry-point for an unlinked 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> | classTag canLinkCacheTag errSelIdx cogMethod | <inline: false> <var: #cogMethod type: #'CogMethod *'> <var: #newCogMethod type: #'CogMethod *'> "self printExternalHeadFrame" "self printStringOf: selector" cogit assertCStackWellAligned. self assert: (objectMemory addressCouldBeOop: rcvr). self sendBreakpoint: selector receiver: rcvr. superNormalBar = 0 ifTrue: [classTag := objectMemory fetchClassTagOf: rcvr] ifFalse: [classTag := objectMemory classTagForClass: (self superclassOf: (self methodClassOf: (self frameMethodObject: framePointer)))]. canLinkCacheTag := objectMemory hasSpurMemoryManagerAPI or: [(objectMemory isYoungObject: classTag) not or: [cogit canLinkToYoungClasses]]. argumentCount := numArgs. (self lookupInMethodCacheSel: selector classTag: classTag) ifTrue:"check for coggability because method is in the cache" [self ifAppropriateCompileToNativeCode: newMethod selector: selector] ifFalse: [messageSelector := selector. (errSelIdx := self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: classTag)) ~= 0 ifTrue: [(canLinkCacheTag and: [errSelIdx = SelectorDoesNotUnderstand and: [(cogMethod := cogit cogMNUPICSelector: messageSelector methodOperand: (self mnuMethodOrNilFor: rcvr) numArgs: argumentCount) asUnsignedInteger > cogit minCogMethodAddress]]) ifTrue: [cogit linkSendAt: (stackPages longAt: stackPointer) in: (self mframeHomeMethod: framePointer) to: cogMethod offset: (superNormalBar = 0 ifTrue: [cogit entryOffset] ifFalse: [cogit noCheckEntryOffset]) receiver: rcvr]. self handleMNU: errSelIdx InMachineCodeTo: rcvr classForMessage: (objectMemory classForClassTag: classTag). + self assert: false "NOTREACHED"]]. - self assert: false "NOTREACHED"]. - self addNewMethodToCache: (objectMemory classForClassTag: classTag)]. "Method found and has a cog method. Attempt to link to it. The receiver's class may be young. If the Cogit can't store young classes in inline caches we can link to an open PIC instead." (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 and: [canLinkCacheTag]) ifTrue: [cogit linkSendAt: (stackPages longAt: stackPointer) in: (self mframeHomeMethod: framePointer) to: cogMethod offset: (superNormalBar = 0 ifTrue: [cogit entryOffset] ifFalse: [cogit noCheckEntryOffset]) receiver: rcvr] ifFalse: "If patchToOpenPICFor:.. returns we're out of code memory" [cogit patchToOpenPICFor: selector numArgs: numArgs receiver: rcvr]. instructionPointer := self popStack. self executeNewMethod. self assert: false "NOTREACHED"]. instructionPointer := self popStack. ^self interpretMethodFromMachineCode "NOTREACHED"! Item was changed: ----- Method: CoInterpreter>>ceSendAbort:to:numArgs: (in category 'trampolines') ----- ceSendAbort: selector to: rcvr numArgs: numArgs "Entry-point for an abort send in a CogMethod (aboutToReturn:through:, cannotReturn: et al). Try and dispatch the send, but the send may turn into an MNU in which case defer to handleMNUInMachineCodeTo:... which will dispatch the MNU. Continue execution via either executeMethod or interpretMethodFromMachineCode: depending on whether the target method is cogged or not." <api> | classTag errSelIdx | <inline: false> "self printExternalHeadFrame" "self printStringOf: selector" cogit assertCStackWellAligned. self assert: (objectMemory addressCouldBeOop: rcvr). self sendBreakpoint: selector receiver: rcvr. argumentCount := numArgs. classTag := objectMemory fetchClassTagOf: rcvr. (self lookupInMethodCacheSel: selector classTag: classTag) ifTrue:"check for coggability because method is in the cache" [self ifAppropriateCompileToNativeCode: newMethod selector: selector] ifFalse: [messageSelector := selector. (errSelIdx := self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: classTag)) ~= 0 ifTrue: [self handleMNU: errSelIdx InMachineCodeTo: rcvr classForMessage: (objectMemory classForClassTag: classTag). "NOTREACHED" + self assert: false]]. - self assert: false]. - self addNewMethodToCache: (objectMemory classForClassTag: classTag)]. instructionPointer := self popStack. (self maybeMethodHasCogMethod: newMethod) ifTrue: [self executeNewMethod. self assert: false "NOTREACHED"]. ^self interpretMethodFromMachineCode "NOTREACHED"! Item was changed: ----- Method: CoInterpreter>>ceSendFromInLineCacheMiss: (in category 'trampolines') ----- ceSendFromInLineCacheMiss: oPIC "Send from an Open PIC when the first-level method lookup probe has failed, or to continue when PIC creation has failed (e.g. because we're out of code space)." <api> <var: #oPIC type: #'CogMethod *'> | numArgs rcvr classTag errSelIdx | "self printFrame: stackPage headFP WithSP: stackPage headSP" "self printStringOf: selector" numArgs := oPIC cmNumArgs. rcvr := self stackValue: numArgs + 1. "skip return pc" self assert: (objectMemory addressCouldBeOop: rcvr). classTag := objectMemory fetchClassTagOf: rcvr. argumentCount := numArgs. (self lookupInMethodCacheSel: oPIC selector classTag: classTag) ifTrue:"check for coggability because method is in the cache" [self ifAppropriateCompileToNativeCode: newMethod selector: oPIC selector] ifFalse: [messageSelector := oPIC selector. (errSelIdx := self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: classTag)) ~= 0 ifTrue: [self handleMNU: errSelIdx InMachineCodeTo: rcvr classForMessage: (objectMemory classForClassTag: classTag). "NOTREACHED" + self assert: false]]. - self assert: false]. - self addNewMethodToCache: (objectMemory classForClassTag: classTag)]. instructionPointer := self popStack. (self maybeMethodHasCogMethod: newMethod) ifTrue: [self executeNewMethod. self assert: false "NOTREACHED"]. ^self interpretMethodFromMachineCode "NOTREACHED"! Item was added: + ----- Method: CogObjectRepresentation>>isHashSetOnInstanceCreation (in category 'testing') ----- + isHashSetOnInstanceCreation + self subclassResponsibility! Item was added: + ----- Method: CogObjectRepresentation>>isSmallIntegerTagNonZero (in category 'testing') ----- + isSmallIntegerTagNonZero + self subclassResponsibility! Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>genGetHashFieldNonImmOf:asSmallIntegerInto: (in category 'compile abstract instructions') ----- + genGetHashFieldNonImmOf: instReg asSmallIntegerInto: destReg + "Fetch the instance's identity hash into destReg, encoded as a SmallInteger." + "Get header word in scratchReg" + cogit MoveMw: 4 r: instReg R: destReg. + "Shift and mask the field leaving room for the SmallInteger tag." + cogit AndCq: objectMemory identityHashHalfWordMask R: destReg. + self genConvertIntegerToSmallIntegerInScratchReg: destReg. + ^0! Item was added: + ----- Method: CogObjectRepresentationForSpur>>isHashSetOnInstanceCreation (in category 'testing') ----- + isHashSetOnInstanceCreation + ^false! Item was changed: + ----- Method: CogObjectRepresentationForSqueakV3>>compactClassFieldMask (in category 'object representation') ----- - ----- Method: CogObjectRepresentationForSqueakV3>>compactClassFieldMask (in category 'compile abstract instructions') ----- compactClassFieldMask "This is the mask for the field when shifted into the least significant bits" <inline: true> ^(1 << objectMemory compactClassFieldWidth) - 1! Item was added: + ----- Method: CogObjectRepresentationForSqueakV3>>genGetHashFieldNonImmOf:asSmallIntegerInto: (in category 'compile abstract instructions') ----- + genGetHashFieldNonImmOf: instReg asSmallIntegerInto: destReg + "Fetch the instance's identity hash into destReg, encoded as a SmallInteger." + "Get header word in scratchReg" + cogit MoveMw: 0 r: instReg R: destReg. + "Shift and mask the field leaving room for the SmallInteger tag." + cogit LogicalShiftRightCq: HashBitsOffset - 1 R: destReg. + cogit AndCq: HashMaskUnshifted << 1 R: destReg. + "Set the SmallInteger tag." + cogit AddCq: 1 R: destReg. + ^0! Item was removed: - ----- Method: CogObjectRepresentationForSqueakV3>>genGetHashFieldNonIntOf:asSmallIntegerInto: (in category 'compile abstract instructions') ----- - genGetHashFieldNonIntOf: instReg asSmallIntegerInto: destReg - "Fetch the instance's identity hash into destReg, encoded as a SmallInteger." - "Get header word in scratchReg" - cogit MoveMw: 0 r: instReg R: destReg. - "Shift and mask the field leaving room for the SmallInteger tag." - cogit LogicalShiftRightCq: HashBitsOffset - 1 R: destReg. - cogit AndCq: HashMaskUnshifted << 1 R: destReg. - "Set the SmallInteger tag." - cogit AddCq: 1 R: destReg. - ^0! Item was changed: + ----- Method: CogObjectRepresentationForSqueakV3>>instFormatFieldMask (in category 'object representation') ----- - ----- Method: CogObjectRepresentationForSqueakV3>>instFormatFieldMask (in category 'compile abstract instructions') ----- instFormatFieldMask "This is the mask for the field when shifted into the least significant bits" <inline: true> ^(1 << objectMemory instFormatFieldWidth) - 1! Item was added: + ----- Method: CogObjectRepresentationForSqueakV3>>isHashSetOnInstanceCreation (in category 'testing') ----- + isHashSetOnInstanceCreation + ^true! Item was changed: + ----- Method: CogObjectRepresentationForSqueakV3>>numSmallIntegerBits (in category 'object representation') ----- - ----- Method: CogObjectRepresentationForSqueakV3>>numSmallIntegerBits (in category 'compile abstract instructions') ----- numSmallIntegerBits ^31! Item was changed: + ----- Method: CogObjectRepresentationForSqueakV3>>numSmallIntegerTagBits (in category 'object representation') ----- - ----- Method: CogObjectRepresentationForSqueakV3>>numSmallIntegerTagBits (in category 'compile abstract instructions') ----- numSmallIntegerTagBits ^1! Item was changed: ----- Method: CogVMSimulator>>ceSend:super:to:numArgs: (in category 'trampolines') ----- ceSend: selector super: superNormalBar to: rcvr numArgs: numArgs "self stringOf: selector" "self printOop: rcvr" + (superNormalBar ~= 0 and: [(self stringOf: selector) = #bitShift:]) ifTrue: + [self halt]. self logSend: selector. cogit assertCStackWellAligned. self maybeCheckStackDepth: numArgs + 1 sp: stackPointer pc: (stackPages longAt: stackPointer). ^super ceSend: selector super: superNormalBar to: rcvr numArgs: numArgs! Item was changed: ----- Method: SimpleStackBasedCogit>>genPrimitiveIdentityHash (in category 'primitive generators') ----- genPrimitiveIdentityHash | jumpSI | <var: #jumpSI type: #'AbstractInstruction *'> self MoveR: ReceiverResultReg R: ClassReg. jumpSI := objectRepresentation genJumpSmallIntegerInScratchReg: ClassReg. + objectRepresentation genGetHashFieldNonImmOf: ReceiverResultReg asSmallIntegerInto: TempReg. - objectRepresentation genGetHashFieldNonIntOf: ReceiverResultReg asSmallIntegerInto: TempReg. self MoveR: TempReg R: ReceiverResultReg. self flag: 'currently caller pushes result'. self RetN: BytesPerWord. jumpSI jmpTarget: self Label. ^0! Item was added: + ----- Method: SpurMemoryManager>>checkedIntegerValueOf: (in category 'simulation only') ----- + checkedIntegerValueOf: intOop + "hack around the CoInterpreter/ObjectMemory split refactoring" + ^coInterpreter checkedIntegerValueOf: intOop! Item was changed: ----- Method: SpurMemoryManager>>classTagForClass: (in category 'interpreter access') ----- classTagForClass: classObj "Answer the classObj's identityHash to use as a tag in the first-level method lookup cache." + self assert: (coInterpreter addressCouldBeClassObj: classObj). + ^self ensureBehaviorHash: classObj! - self assert: (self rawHashBitsOf: classObj) ~= 0. - ^self rawHashBitsOf: classObj! Item was changed: ----- Method: SpurMemoryManager>>isIntegerObject: (in category 'object testing') ----- isIntegerObject: oop "This list records the valid senders of isIntegerObject: as we replace uses of isIntegerObject: by isImmediate: where appropriate." | sel | sel := thisContext sender method selector. (#( DoIt DoItIn: on:do: "from the debugger" makeBaseFrameFor: quickFetchInteger:ofObject: frameOfMarriedContext: objCouldBeClassObj: isMarriedOrWidowedContext: shortPrint: bytecodePrimAt bytecodePrimAtPut commonAt: commonAtPut: loadFloatOrIntFrom: positive32BitValueOf: primitiveExternalCall checkedIntegerValueOf: bytecodePrimAtPut commonAtPut: primitiveVMParameter checkIsStillMarriedContext:currentFP: displayBitsOf:Left:Top:Right:Bottom: fetchStackPointerOf: primitiveContextAt primitiveContextAtPut subscript:with:storing:format: printContext: compare31or32Bits:equal: signed64BitValueOf: primDigitMultiply:negative: digitLength: isNegativeIntegerValueOf: magnitude64BitValueOf: primitiveMakePoint primitiveAsCharacter primitiveInputSemaphore baseFrameReturn primitiveExternalCall primDigitCompare: isLiveContext: numPointerSlotsOf: fileValueOf: loadBitBltDestForm fetchIntOrFloat:ofObject:ifNil: fetchIntOrFloat:ofObject: loadBitBltSourceForm loadPoint:from: primDigitAdd: primDigitSubtract: positive64BitValueOf: digitBitLogic:with:opIndex: signed32BitValueOf: isNormalized: primDigitDiv:negative: bytesOrInt:growTo: primitiveNewMethod isCogMethodReference: functionForPrimitiveExternalCall: genSpecialSelectorArithmetic genSpecialSelectorComparison ensureContextHasBytecodePC: instVar:ofContext: ceBaseFrameReturn: inlineCacheTagForInstance: primitiveObjectAtPut + commonVariable:at:put:cacheIndex: + primDigitBitShiftMagnitude:) includes: sel) ifFalse: - commonVariable:at:put:cacheIndex:) includes: sel) ifFalse: [self halt]. ^(oop bitAnd: 1) ~= 0! Item was changed: ----- Method: StackInterpreter>>sendInvokeCallback:Stack:Registers:Jmpbuf: (in category 'callback support') ----- sendInvokeCallback: thunkPtr Stack: stackPtr Registers: regsPtr Jmpbuf: jmpBufPtr "Send the 4 argument callback message invokeCallback:stack:registers:jmpbuf: to Alien class with the supplied args. The arguments are raw C addresses and are converted to integer objects on the way." <export: true> | classTag | classTag := self fetchClassTagOfNonImm: (self splObj: ClassAlien). messageSelector := self splObj: SelectorInvokeCallback. argumentCount := 4. (self lookupInMethodCacheSel: messageSelector classTag: classTag) ifFalse: [(self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: classTag)) ~= 0 ifTrue: + [^false]]. - [^false]. - self addNewMethodToCache: (objectMemory classForClassTag: classTag)]. ((self argumentCountOf: newMethod) = 4 and: [primitiveFunctionPointer = 0]) ifFalse: [^false]. self push: (self splObj: ClassAlien). "receiver" self push: (self positive32BitIntegerFor: thunkPtr). self push: (self positive32BitIntegerFor: stackPtr). self push: (self positive32BitIntegerFor: regsPtr). self push: (self positive32BitIntegerFor: jmpBufPtr). self ifAppropriateCompileToNativeCode: newMethod selector: messageSelector. self justActivateNewMethod. (self isMachineCodeFrame: framePointer) ifFalse: [self maybeFlagMethodAsInterpreted: newMethod]. self externalWriteBackHeadFramePointers. self handleStackOverflow. self enterSmalltalkExecutiveFromCallback. "not reached" ^true! Item was changed: ----- Method: StackInterpreter>>sendInvokeCallbackContext: (in category 'callback support') ----- sendInvokeCallbackContext: vmCallbackContext "Send the calllback message to Alien class with the supplied arg(s). Use either the 1 arg invokeCallbackContext: or the 4 arg invokeCallback:stack:registers:jmpbuf: message, depending on what selector is installed in the specialObjectsArray. Note that if invoking the legacy invokeCallback:stack:registers:jmpbuf: we pass the vmCallbackContext as the jmpbuf argument (see reestablishContextPriorToCallback:). The arguments are raw C addresses and are converted to integer objects on the way." <export: true> <var: #vmCallbackContext type: #'VMCallbackContext *'> | classTag | classTag := self fetchClassTagOfNonImm: (self splObj: ClassAlien). messageSelector := self splObj: SelectorInvokeCallback. (self lookupInMethodCacheSel: messageSelector classTag: classTag) ifFalse: [(self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: classTag)) ~= 0 ifTrue: + [^false]]. - [^false]. - self addNewMethodToCache: (objectMemory classForClassTag: classTag)]. primitiveFunctionPointer ~= 0 ifTrue: [^false]. self saveCStackStateForCallbackContext: vmCallbackContext. self push: (self splObj: ClassAlien). "receiver" self cppIf: BytesPerWord = 8 ifTrue: [(self argumentCountOf: newMethod) = 4 ifTrue: [self push: (self positive64BitIntegerFor: vmCallbackContext thunkp asUnsignedInteger). self push: (self positive64BitIntegerFor: vmCallbackContext stackp asUnsignedInteger). self push: (self positive64BitIntegerFor: vmCallbackContext intregargsp asUnsignedInteger)]. self push: (self positive64BitIntegerFor: vmCallbackContext asUnsignedInteger)] ifFalse: [(self argumentCountOf: newMethod) = 4 ifTrue: [self push: (self positive32BitIntegerFor: vmCallbackContext thunkp asUnsignedInteger). self push: (self positive32BitIntegerFor: vmCallbackContext stackp asUnsignedInteger). self push: (self positive32BitIntegerFor: vmCallbackContext intregargsp asUnsignedInteger)]. self push: (self positive32BitIntegerFor: vmCallbackContext asUnsignedInteger)]. self ifAppropriateCompileToNativeCode: newMethod selector: messageSelector. self justActivateNewMethod. (self isMachineCodeFrame: framePointer) ifFalse: [self maybeFlagMethodAsInterpreted: newMethod]. self externalWriteBackHeadFramePointers. self handleStackOverflow. self enterSmalltalkExecutiveFromCallback. "not reached" ^true! Item was changed: ----- Method: StackToRegisterMappingCogit>>genPrimitiveIdentityHash (in category 'primitive generators') ----- genPrimitiveIdentityHash + | jumpSI jumpNotSet | - | jumpSI | <var: #jumpSI type: #'AbstractInstruction *'> self MoveR: ReceiverResultReg R: ClassReg. jumpSI := objectRepresentation genJumpSmallIntegerInScratchReg: ClassReg. + objectRepresentation genGetHashFieldNonImmOf: ReceiverResultReg asSmallIntegerInto: TempReg. + objectRepresentation isHashSetOnInstanceCreation ifFalse: + [self CmpCq: 0 R: TempReg. + jumpNotSet := self JumpZero: 0]. - objectRepresentation genGetHashFieldNonIntOf: ReceiverResultReg asSmallIntegerInto: TempReg. self MoveR: TempReg R: ReceiverResultReg. self RetN: 0. jumpSI jmpTarget: self Label. + objectRepresentation isHashSetOnInstanceCreation ifFalse: + [jumpNotSet jmpTarget: jumpSI getJmpTarget]. ^0!

1 0

VM Maker: VMMaker.oscog-eem.426.mcz
by commits＠source.squeak.org 03 Oct '13

03 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.426.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.426 Author: eem Time: 2 October 2013, 3:55:44.433 pm UUID: 1be04936-02a2-40ae-8c57-bab042496204 Ancestors: VMMaker.oscog-eem.425 Several of the ceSend: lookup and bind routines should add successful lookups to the 1st-level methodCache. Implement CogObjectRepresentationFor32BitSpur>>genInnerPrimitiveAt:. Add a couple fo accessors to CogVMSimulator for bootstrap and/or debugging. =============== Diff against VMMaker.oscog-eem.425 =============== Item was changed: ----- Method: CoInterpreter>>ceCounterTripped: (in category 'cog jit support') ----- ceCounterTripped: condition <api> <option: #SistaStackToRegisterMappingCogit> "Send e.g. thisContext conditionalBranchCounterTrippedOn: boolean." | context counterTrippedSelector classTag | counterTrippedSelector := objectMemory maybeSplObj: SelectorCounterTripped. (counterTrippedSelector isNil or: [counterTrippedSelector = objectMemory nilObject]) ifTrue: [cogit resetCountersIn: (self mframeHomeMethod: framePointer). ^condition]. classTag := objectMemory classTagForSpecialObjectsIndex: ClassMethodContext compactClassIndex: ClassMethodContextCompactIndex. (self lookupInMethodCacheSel: counterTrippedSelector classTag: classTag) ifFalse: [messageSelector := counterTrippedSelector. (self lookupMethodNoMNUEtcInClass: (objectMemory classTagForClass: classTag)) ~= 0 ifTrue: [cogit resetCountersIn: (self mframeHomeMethod: framePointer). + ^condition]. + self addNewMethodToCache: (objectMemory classForClassTag: classTag)]. - ^condition]]. (primitiveFunctionPointer ~= 0 or: [(self argumentCountOf: newMethod) ~= 1]) ifTrue: [cogit resetCountersIn: (self mframeHomeMethod: framePointer). ^condition]. instructionPointer := self popStack. context := self ensureFrameIsMarried: framePointer SP: stackPointer. self push: context. self push: condition. self ifAppropriateCompileToNativeCode: newMethod selector: counterTrippedSelector. self activateNewMethod. "not reached" ^true! Item was changed: ----- Method: CoInterpreter>>ceDynamicSuperSend:to:numArgs: (in category 'trampolines') ----- ceDynamicSuperSend: selector to: rcvr numArgs: numArgs "Entry-point for an unlinked dynamic super 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> | class classTag canLinkCacheTag errSelIdx cogMethod mClassMixin mixinApplication | <inline: false> <var: #cogMethod type: #'CogMethod *'> <var: #newCogMethod type: #'CogMethod *'> "self printExternalHeadFrame" "self printStringOf: selector" cogit assertCStackWellAligned. self assert: (objectMemory addressCouldBeOop: rcvr). self sendBreakpoint: selector receiver: rcvr. mClassMixin := self mMethodClass. mixinApplication := self findApplicationOfTargetMixin: mClassMixin startingAtBehavior: (objectMemory fetchClassOf: rcvr). self assert: (objectMemory lengthOf: mixinApplication) > (InstanceSpecificationIndex + 1). classTag := self classTagForClass: (self superclassOf: mixinApplication). class := objectMemory fetchClassOf: rcvr. "what about the read barrier??" canLinkCacheTag := (objectMemory isYoungObject: class) not or: [cogit canLinkToYoungClasses]. argumentCount := numArgs. (self lookupInMethodCacheSel: selector classTag: classTag) ifTrue:"check for coggability because method is in the cache" [self ifAppropriateCompileToNativeCode: newMethod selector: selector] ifFalse: [messageSelector := selector. (errSelIdx := self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: classTag)) ~= 0 ifTrue: [self handleMNU: errSelIdx InMachineCodeTo: rcvr classForMessage: (objectMemory classForClassTag: classTag). + self assert: false "NOTREACHED"]. + self addNewMethodToCache: (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 and: [canLinkCacheTag]) ifTrue: [cogit linkSendAt: (stackPages longAt: stackPointer) in: (self mframeHomeMethod: framePointer) to: cogMethod offset: cogit dynSuperEntryOffset receiver: rcvr]. instructionPointer := self popStack. self executeNewMethod. self assert: false "NOTREACHED"]. instructionPointer := self popStack. ^self interpretMethodFromMachineCode "NOTREACHED"! Item was changed: ----- Method: CoInterpreter>>ceSend:super:to:numArgs: (in category 'trampolines') ----- ceSend: selector super: superNormalBar to: rcvr numArgs: numArgs "Entry-point for an unlinked 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> | classTag canLinkCacheTag errSelIdx cogMethod | <inline: false> <var: #cogMethod type: #'CogMethod *'> <var: #newCogMethod type: #'CogMethod *'> "self printExternalHeadFrame" "self printStringOf: selector" cogit assertCStackWellAligned. self assert: (objectMemory addressCouldBeOop: rcvr). self sendBreakpoint: selector receiver: rcvr. superNormalBar = 0 ifTrue: [classTag := objectMemory fetchClassTagOf: rcvr] ifFalse: [classTag := objectMemory classTagForClass: (self superclassOf: (self methodClassOf: (self frameMethodObject: framePointer)))]. canLinkCacheTag := objectMemory hasSpurMemoryManagerAPI or: [(objectMemory isYoungObject: classTag) not or: [cogit canLinkToYoungClasses]]. argumentCount := numArgs. (self lookupInMethodCacheSel: selector classTag: classTag) ifTrue:"check for coggability because method is in the cache" [self ifAppropriateCompileToNativeCode: newMethod selector: selector] ifFalse: [messageSelector := selector. (errSelIdx := self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: classTag)) ~= 0 ifTrue: [(canLinkCacheTag and: [errSelIdx = SelectorDoesNotUnderstand and: [(cogMethod := cogit cogMNUPICSelector: messageSelector methodOperand: (self mnuMethodOrNilFor: rcvr) numArgs: argumentCount) asUnsignedInteger > cogit minCogMethodAddress]]) ifTrue: [cogit linkSendAt: (stackPages longAt: stackPointer) in: (self mframeHomeMethod: framePointer) to: cogMethod offset: (superNormalBar = 0 ifTrue: [cogit entryOffset] ifFalse: [cogit noCheckEntryOffset]) receiver: rcvr]. self handleMNU: errSelIdx InMachineCodeTo: rcvr classForMessage: (objectMemory classForClassTag: classTag). + self assert: false "NOTREACHED"]. + self addNewMethodToCache: (objectMemory classForClassTag: classTag)]. - self assert: false "NOTREACHED"]]. "Method found and has a cog method. Attempt to link to it. The receiver's class may be young. If the Cogit can't store young classes in inline caches we can link to an open PIC instead." (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 and: [canLinkCacheTag]) ifTrue: [cogit linkSendAt: (stackPages longAt: stackPointer) in: (self mframeHomeMethod: framePointer) to: cogMethod offset: (superNormalBar = 0 ifTrue: [cogit entryOffset] ifFalse: [cogit noCheckEntryOffset]) receiver: rcvr] ifFalse: "If patchToOpenPICFor:.. returns we're out of code memory" [cogit patchToOpenPICFor: selector numArgs: numArgs receiver: rcvr]. instructionPointer := self popStack. self executeNewMethod. self assert: false "NOTREACHED"]. instructionPointer := self popStack. ^self interpretMethodFromMachineCode "NOTREACHED"! Item was changed: ----- Method: CoInterpreter>>ceSendAbort:to:numArgs: (in category 'trampolines') ----- ceSendAbort: selector to: rcvr numArgs: numArgs "Entry-point for an abort send in a CogMethod (aboutToReturn:through:, cannotReturn: et al). Try and dispatch the send, but the send may turn into an MNU in which case defer to handleMNUInMachineCodeTo:... which will dispatch the MNU. Continue execution via either executeMethod or interpretMethodFromMachineCode: depending on whether the target method is cogged or not." <api> | classTag errSelIdx | <inline: false> "self printExternalHeadFrame" "self printStringOf: selector" cogit assertCStackWellAligned. self assert: (objectMemory addressCouldBeOop: rcvr). self sendBreakpoint: selector receiver: rcvr. argumentCount := numArgs. classTag := objectMemory fetchClassTagOf: rcvr. (self lookupInMethodCacheSel: selector classTag: classTag) ifTrue:"check for coggability because method is in the cache" [self ifAppropriateCompileToNativeCode: newMethod selector: selector] ifFalse: [messageSelector := selector. (errSelIdx := self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: classTag)) ~= 0 ifTrue: [self handleMNU: errSelIdx InMachineCodeTo: rcvr classForMessage: (objectMemory classForClassTag: classTag). "NOTREACHED" + self assert: false]. + self addNewMethodToCache: (objectMemory classForClassTag: classTag)]. - self assert: false]]. instructionPointer := self popStack. (self maybeMethodHasCogMethod: newMethod) ifTrue: [self executeNewMethod. self assert: false "NOTREACHED"]. ^self interpretMethodFromMachineCode "NOTREACHED"! Item was changed: ----- Method: CoInterpreter>>ceSendFromInLineCacheMiss: (in category 'trampolines') ----- ceSendFromInLineCacheMiss: oPIC "Send from an Open PIC when the first-level method lookup probe has failed, or to continue when PIC creation has failed (e.g. because we're out of code space)." <api> <var: #oPIC type: #'CogMethod *'> | numArgs rcvr classTag errSelIdx | "self printFrame: stackPage headFP WithSP: stackPage headSP" "self printStringOf: selector" numArgs := oPIC cmNumArgs. rcvr := self stackValue: numArgs + 1. "skip return pc" self assert: (objectMemory addressCouldBeOop: rcvr). classTag := objectMemory fetchClassTagOf: rcvr. argumentCount := numArgs. (self lookupInMethodCacheSel: oPIC selector classTag: classTag) ifTrue:"check for coggability because method is in the cache" [self ifAppropriateCompileToNativeCode: newMethod selector: oPIC selector] ifFalse: [messageSelector := oPIC selector. (errSelIdx := self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: classTag)) ~= 0 ifTrue: [self handleMNU: errSelIdx InMachineCodeTo: rcvr classForMessage: (objectMemory classForClassTag: classTag). "NOTREACHED" + self assert: false]. + self addNewMethodToCache: (objectMemory classForClassTag: classTag)]. - self assert: false]]. instructionPointer := self popStack. (self maybeMethodHasCogMethod: newMethod) ifTrue: [self executeNewMethod. self assert: false "NOTREACHED"]. ^self interpretMethodFromMachineCode "NOTREACHED"! Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>genAddSmallIntegerTagsTo: (in category 'compile abstract instructions') ----- + genAddSmallIntegerTagsTo: aRegister + cogit AddCq: 1 R: aRegister. + ^0! Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>genInnerPrimitiveAt: (in category 'primitive generators') ----- + genInnerPrimitiveAt: retNoffset + "Implement the guts of primitiveAt; dispatch on size" + <returnTypeC: #'AbstractInstruction *'> + | formatReg jumpNotIndexable jumpSmallSize jumpImmediate jumpBadIndex + jumpBytesDone jumpShortsDone jumpWordsDone jumpFixedFieldsDone + jumpIsBytes jumpIsShorts jumpIsWords jumpWordTooBig jumpIsArray jumpHasFixedFields jumpIsContext + jumpBytesOutOfBounds jumpShortsOutOfBounds jumpWordsOutOfBounds jumpArrayOutOfBounds jumpFixedFieldsOutOfBounds | + <inline: true> + "c.f. StackInterpreter>>stSizeOf: SpurMemoryManager>>lengthOf:format: fixedFieldsOf:format:length:" + <var: #jumpIsBytes type: #'AbstractInstruction *'> + <var: #jumpIsShorts type: #'AbstractInstruction *'> + <var: #jumpBadIndex type: #'AbstractInstruction *'> + <var: #jumpSmallSize type: #'AbstractInstruction *'> + <var: #jumpIsContext type: #'AbstractInstruction *'> + <var: #jumpImmediate type: #'AbstractInstruction *'> + <var: #jumpBytesDone type: #'AbstractInstruction *'> + <var: #jumpShortsDone type: #'AbstractInstruction *'> + <var: #jumpWordsDone type: #'AbstractInstruction *'> + <var: #jumpWordTooBig type: #'AbstractInstruction *'> + <var: #jumpNotIndexable type: #'AbstractInstruction *'> + <var: #jumpHasFixedFields type: #'AbstractInstruction *'> + <var: #jumpFixedFieldsDone type: #'AbstractInstruction *'> + <var: #jumpArrayOutOfBounds type: #'AbstractInstruction *'> + <var: #jumpBytesOutOfBounds type: #'AbstractInstruction *'> + <var: #jumpShortsOutOfBounds type: #'AbstractInstruction *'> + <var: #jumpWordsOutOfBounds type: #'AbstractInstruction *'> + <var: #jumpFixedFieldsOutOfBounds type: #'AbstractInstruction *'> + + cogit MoveR: ReceiverResultReg R: TempReg. + jumpImmediate := self genJumpImmediateInScratchReg: TempReg. + cogit MoveR: Arg0Reg R: TempReg. + jumpBadIndex := self genJumpNotSmallIntegerInScratchReg: TempReg. + self genConvertSmallIntegerToIntegerInScratchReg: Arg0Reg. + cogit SubCq: 1 R: Arg0Reg. "1-rel => 0-rel" + + formatReg := SendNumArgsReg. + cogit + MoveMw: 0 r: ReceiverResultReg R: formatReg; "formatReg := least significant half of self baseHeader: receiver" + MoveR: formatReg R: TempReg; + LogicalShiftRightCq: objectMemory formatShift R: formatReg; + AndCq: objectMemory formatMask R: formatReg. "formatReg := self formatOfHeader: destReg" + + "get numSlots into ClassReg." + cogit MoveMb: 7 r: ReceiverResultReg R: ClassReg. "MSB of header" + cogit CmpCq: objectMemory numSlotsMask R: ClassReg. + jumpSmallSize := cogit JumpLess: 0. + cogit MoveMw: -8 r: ReceiverResultReg R: ClassReg. "LSW of overflow size header" + + "dispatch on format in a combination of highest dynamic frequency order first and convenience. + 0 = 0 sized objects (UndefinedObject True False et al) + 1 = non-indexable objects with inst vars (Point et al) + 2 = indexable objects with no inst vars (Array et al) + 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) + 4 = weak indexable objects with inst vars (WeakArray et al) + 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) + 6 unused, reserved for exotic pointer objects? + 7 Forwarded Object, 1st field is pointer, rest of fields are ignored + 8 unused, reserved for exotic non-pointer objects? + 9 (?) 64-bit indexable + 10 - 11 32-bit indexable + 12 - 15 16-bit indexable + 16 - 23 byte indexable + 24 - 31 compiled method" + jumpSmallSize jmpTarget: + (cogit CmpCq: objectMemory firstByteFormat R: formatReg). + jumpIsBytes := cogit JumpGreaterOrEqual: 0. + cogit CmpCq: objectMemory arrayFormat R: formatReg. + jumpIsArray := cogit JumpZero: 0. + jumpNotIndexable := cogit JumpLess: 0. + cogit CmpCq: objectMemory weakArrayFormat R: formatReg. + jumpHasFixedFields := cogit JumpLessOrEqual: 0. + cogit CmpCq: objectMemory firstShortFormat R: formatReg. + jumpIsShorts := cogit JumpGreaterOrEqual: 0. + cogit CmpCq: objectMemory firstLongFormat R: formatReg. + jumpIsWords := cogit JumpGreaterOrEqual: 0. + "For now ignore 64-bit indexability." + jumpNotIndexable jmpTarget: cogit Label. + jumpNotIndexable := cogit Jump: 0. + + jumpIsBytes jmpTarget: + (cogit LogicalShiftLeftCq: objectMemory shiftForWord R: ClassReg). + cogit AndCq: objectMemory wordSize - 1 R: formatReg. + cogit SubR: formatReg R: ClassReg; + CmpR: Arg0Reg R: ClassReg. + jumpBytesOutOfBounds := cogit JumpAboveOrEqual: 0. + cogit AddCq: objectMemory baseHeaderSize R: Arg0Reg. + cogit MoveXbr: Arg0Reg R: ReceiverResultReg R: ReceiverResultReg. + self genConvertIntegerToSmallIntegerInScratchReg: ReceiverResultReg. + jumpBytesDone := cogit Jump: 0. + + jumpIsShorts jmpTarget: + (cogit LogicalShiftLeftCq: objectMemory shiftForWord - 1 R: ClassReg). + cogit AndCq: 1 R: formatReg. + cogit SubR: formatReg R: ClassReg; + CmpR: Arg0Reg R: ClassReg. + jumpShortsOutOfBounds := cogit JumpAboveOrEqual: 0. + cogit AddR: Arg0Reg R: ReceiverResultReg. + cogit MoveM16: objectMemory baseHeaderSize r: ReceiverResultReg R: ReceiverResultReg. + self genConvertIntegerToSmallIntegerInScratchReg: ReceiverResultReg. + jumpShortsDone := cogit Jump: 0. + + jumpIsWords jmpTarget: + (cogit CmpR: Arg0Reg R: ClassReg). + jumpWordsOutOfBounds := cogit JumpAboveOrEqual: 0. + cogit AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg0Reg. + cogit MoveXwr: Arg0Reg R: ReceiverResultReg R: TempReg. + cogit SubCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg0Reg. + jumpWordTooBig := self jumpNotSmallIntegerUnsignedValueInRegister: TempReg. + cogit MoveR: TempReg R: ReceiverResultReg. + self genConvertIntegerToSmallIntegerInScratchReg: ReceiverResultReg. + jumpWordsDone := cogit Jump: 0. + + jumpHasFixedFields jmpTarget: + (cogit AndCq: objectMemory classIndexMask R: TempReg). + cogit CmpCq: ClassMethodContextCompactIndex R: TempReg. + jumpIsContext := cogit JumpZero: 0. + self flag: 'sometime soon we could inline the class fetch; it is only two indirections'. + cogit CallRT: ceClassAtIndexTrampoline. + self genLoadSlot: InstanceSpecificationIndex sourceReg: TempReg destReg: formatReg. + self genConvertSmallIntegerToIntegerInScratchReg: formatReg. + cogit + AndCq: objectMemory fixedFieldsOfClassFormatMask R: formatReg; + SubR: formatReg R: ClassReg; + CmpR: Arg0Reg R: ClassReg. + jumpFixedFieldsOutOfBounds := cogit JumpAboveOrEqual: 0. + "index is (formatReg (fixed fields) + Arg0Reg (0-rel index)) * wordSize + baseHeaderSize" + cogit AddR: formatReg R: Arg0Reg. + cogit AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg0Reg. + cogit MoveXwr: Arg0Reg R: ReceiverResultReg R: ReceiverResultReg. + jumpFixedFieldsDone := cogit Jump: 0. + + jumpIsArray jmpTarget: + (cogit CmpR: Arg0Reg R: ClassReg). + jumpArrayOutOfBounds := cogit JumpAboveOrEqual: 0. + cogit AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg0Reg. + cogit MoveXwr: Arg0Reg R: ReceiverResultReg R: ReceiverResultReg. + + jumpFixedFieldsDone jmpTarget: + (jumpWordsDone jmpTarget: + (jumpShortsDone jmpTarget: + (jumpBytesDone jmpTarget: + (cogit RetN: retNoffset)))). + + jumpFixedFieldsOutOfBounds jmpTarget: + (jumpArrayOutOfBounds jmpTarget: + (jumpBytesOutOfBounds jmpTarget: + (jumpShortsOutOfBounds jmpTarget: + (jumpWordsOutOfBounds jmpTarget: + (jumpWordTooBig jmpTarget: + (jumpNotIndexable jmpTarget: + (jumpIsContext jmpTarget: cogit Label))))))). + + cogit AddCq: 1 R: Arg0Reg. "0-rel => 1-rel" + self genConvertIntegerToSmallIntegerInScratchReg: Arg0Reg. + + (jumpBadIndex jmpTarget: (jumpImmediate jmpTarget: cogit Label)). + + ^0! Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>jumpNotSmallIntegerUnsignedValueInRegister: (in category 'primitive generators') ----- + jumpNotSmallIntegerUnsignedValueInRegister: reg + cogit CmpCq: 16r3FFFFFFF R: reg. + ^cogit JumpAbove: 0! Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>numSmallIntegerBits (in category 'compile abstract instructions') ----- + numSmallIntegerBits + ^31! Item was added: + ----- Method: CogVMSimulator>>CStackPointer (in category 'debug support') ----- + CStackPointer + ^self longAt: self inMemoryCStackPointerAddress! Item was added: + ----- Method: CogVMSimulator>>methodCache (in category 'spur bootstrap') ----- + methodCache + ^methodCache! Item was changed: ----- Method: StackInterpreter>>sendInvokeCallback:Stack:Registers:Jmpbuf: (in category 'callback support') ----- sendInvokeCallback: thunkPtr Stack: stackPtr Registers: regsPtr Jmpbuf: jmpBufPtr "Send the 4 argument callback message invokeCallback:stack:registers:jmpbuf: to Alien class with the supplied args. The arguments are raw C addresses and are converted to integer objects on the way." <export: true> | classTag | classTag := self fetchClassTagOfNonImm: (self splObj: ClassAlien). messageSelector := self splObj: SelectorInvokeCallback. argumentCount := 4. (self lookupInMethodCacheSel: messageSelector classTag: classTag) ifFalse: [(self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: classTag)) ~= 0 ifTrue: + [^false]. + self addNewMethodToCache: (objectMemory classForClassTag: classTag)]. - [^false]]. ((self argumentCountOf: newMethod) = 4 and: [primitiveFunctionPointer = 0]) ifFalse: [^false]. self push: (self splObj: ClassAlien). "receiver" self push: (self positive32BitIntegerFor: thunkPtr). self push: (self positive32BitIntegerFor: stackPtr). self push: (self positive32BitIntegerFor: regsPtr). self push: (self positive32BitIntegerFor: jmpBufPtr). self ifAppropriateCompileToNativeCode: newMethod selector: messageSelector. self justActivateNewMethod. (self isMachineCodeFrame: framePointer) ifFalse: [self maybeFlagMethodAsInterpreted: newMethod]. self externalWriteBackHeadFramePointers. self handleStackOverflow. self enterSmalltalkExecutiveFromCallback. "not reached" ^true! Item was changed: ----- Method: StackInterpreter>>sendInvokeCallbackContext: (in category 'callback support') ----- sendInvokeCallbackContext: vmCallbackContext "Send the calllback message to Alien class with the supplied arg(s). Use either the 1 arg invokeCallbackContext: or the 4 arg invokeCallback:stack:registers:jmpbuf: message, depending on what selector is installed in the specialObjectsArray. Note that if invoking the legacy invokeCallback:stack:registers:jmpbuf: we pass the vmCallbackContext as the jmpbuf argument (see reestablishContextPriorToCallback:). The arguments are raw C addresses and are converted to integer objects on the way." <export: true> <var: #vmCallbackContext type: #'VMCallbackContext *'> | classTag | classTag := self fetchClassTagOfNonImm: (self splObj: ClassAlien). messageSelector := self splObj: SelectorInvokeCallback. (self lookupInMethodCacheSel: messageSelector classTag: classTag) ifFalse: [(self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: classTag)) ~= 0 ifTrue: + [^false]. + self addNewMethodToCache: (objectMemory classForClassTag: classTag)]. - [^false]]. primitiveFunctionPointer ~= 0 ifTrue: [^false]. self saveCStackStateForCallbackContext: vmCallbackContext. self push: (self splObj: ClassAlien). "receiver" self cppIf: BytesPerWord = 8 ifTrue: [(self argumentCountOf: newMethod) = 4 ifTrue: [self push: (self positive64BitIntegerFor: vmCallbackContext thunkp asUnsignedInteger). self push: (self positive64BitIntegerFor: vmCallbackContext stackp asUnsignedInteger). self push: (self positive64BitIntegerFor: vmCallbackContext intregargsp asUnsignedInteger)]. self push: (self positive64BitIntegerFor: vmCallbackContext asUnsignedInteger)] ifFalse: [(self argumentCountOf: newMethod) = 4 ifTrue: [self push: (self positive32BitIntegerFor: vmCallbackContext thunkp asUnsignedInteger). self push: (self positive32BitIntegerFor: vmCallbackContext stackp asUnsignedInteger). self push: (self positive32BitIntegerFor: vmCallbackContext intregargsp asUnsignedInteger)]. self push: (self positive32BitIntegerFor: vmCallbackContext asUnsignedInteger)]. self ifAppropriateCompileToNativeCode: newMethod selector: messageSelector. self justActivateNewMethod. (self isMachineCodeFrame: framePointer) ifFalse: [self maybeFlagMethodAsInterpreted: newMethod]. self externalWriteBackHeadFramePointers. self handleStackOverflow. self enterSmalltalkExecutiveFromCallback. "not reached" ^true!

1 0

VM Maker: Cog-eem.103.mcz
by commits＠source.squeak.org 03 Oct '13

03 Oct '13

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.103.mcz ==================== Summary ==================== Name: Cog-eem.103 Author: eem Time: 2 October 2013, 3:58:36.289 pm UUID: dee822ad-85bc-4b49-92ba-15ffe4bc6998 Ancestors: Cog-eem.102 Make the hack Cogit launch of the bootstraped Spur image move the primTraceLog to memory. =============== Diff against Cog-eem.102 =============== Item was changed: ----- Method: SpurBootstrap>>launch:simulatorClass:headerFlags: (in category 'testing') ----- launch: heap simulatorClass: simulatorClass headerFlags: headerFlags + | sim methodCacheSize | - | sim | sim := simulatorClass onObjectMemory: heap. heap coInterpreter: sim. (sim class allInstVarNames includes: 'cogCodeSize') ifTrue: + [sim initializeInterpreter: 0. + methodCacheSize := sim methodCache size * heap wordSize. + sim instVarNamed: 'heapBase' put: heap startOfMemory; - [sim - initializeInterpreter: 0; - instVarNamed: 'heapBase' put: heap startOfMemory; instVarNamed: 'numStackPages' put: 8; instVarNamed: 'cogCodeSize' put: 1024*1024; moveMethodCacheToMemoryAt: sim cogCodeSize + sim computeStackZoneSize; + movePrimTraceLogToMemoryAt: sim cogCodeSize + sim computeStackZoneSize + methodCacheSize; initializeCodeGenerator] ifFalse: [sim initializeInterpreter: 0]. sim setImageHeaderFlagsFrom: headerFlags; imageName: ImageName; flushExternalPrimitives; openAsMorph; transcript: Transcript. "deep copy copies this" "sim instVarNamed: 'printSends' put: true; instVarNamed: 'printReturns' put: true; instVarNamed: 'methodDictLinearSearchLimit' put: SmallInteger maxVal." "for now" heap setCheckForLeaks: 15; runLeakCheckerForFullGC: true. sim halt; run!

1 0

VM Maker: VMMaker.oscog-eem.425.mcz
by commits＠source.squeak.org 02 Oct '13

02 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.425.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.425 Author: eem Time: 2 October 2013, 1:07:23.528 pm UUID: 0be2679f-a6b8-48d0-8ef2-27eb9b1f04fa Ancestors: VMMaker.oscog-eem.424 Implement CogObjectRepresentationForSpur>>genInnerPrimitiveSize:. Nuke a debugging halt. =============== Diff against VMMaker.oscog-eem.424 =============== Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>genConvertIntegerToSmallIntegerInScratchReg: (in category 'compile abstract instructions') ----- + genConvertIntegerToSmallIntegerInScratchReg: scratchReg + cogit LogicalShiftLeftCq: 1 R: scratchReg. + cogit AddCq: 1 R: scratchReg. + ^0! Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>genConvertSmallIntegerToIntegerInScratchReg: (in category 'compile abstract instructions') ----- + genConvertSmallIntegerToIntegerInScratchReg: scratchReg + cogit ArithmeticShiftRightCq: 1 R: scratchReg. + ^0! Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>genGetSizeOf:into:formatReg:scratchReg:abortJumpsInto: (in category 'primitive generators') ----- + genGetSizeOf: sourceReg into: destReg formatReg: formatReg scratchReg: scratchReg abortJumpsInto: aBinaryBlock + "Get the size of the non-immediate object in sourceReg into destReg using formatReg + and scratchReg as temps. None of these registers can overlap. Supply the jumps + taken if the object in sourceReg is not indexable, or if the object in sourceReg is a + context.. Hack: If the object has a pointer format other than 2 leave the number of + fixed fields in formatReg. Used by primitiveSize, primitiveAt, and primitiveAtPut" + <returnTypeC: #'AbstractInstruction *'> + | jumpNotIndexable jumpSmallSize + jumpBytesDone jumpShortsDone jumpArrayDone jump32BitLongsDone + jumpIsBytes jumpHasFixedFields jumpIsShorts jumpIsContext | + <inline: true> + "c.f. StackInterpreter>>stSizeOf: SpurMemoryManager>>lengthOf:format: fixedFieldsOf:format:length:" + <var: #jumpIsBytes type: #'AbstractInstruction *'> + <var: #jumpIsShorts type: #'AbstractInstruction *'> + <var: #jumpSmallSize type: #'AbstractInstruction *'> + <var: #jumpIsContext type: #'AbstractInstruction *'> + <var: #jumpArrayDone type: #'AbstractInstruction *'> + <var: #jumpNotIndexable type: #'AbstractInstruction *'> + <var: #jumpHasFixedFields type: #'AbstractInstruction *'> + <var: #jump32BitLongsDone type: #'AbstractInstruction *'> + + cogit + MoveMw: 0 r: sourceReg R: formatReg; "formatReg := least significant half of self baseHeader: receiver" + MoveR: formatReg R: scratchReg; + LogicalShiftRightCq: objectMemory formatShift R: formatReg; + AndCq: objectMemory formatMask R: formatReg. "formatReg := self formatOfHeader: destReg" + + "get numSlots into destReg." + cogit MoveMb: 7 r: sourceReg R: destReg. "MSB of header" + cogit CmpCq: objectMemory numSlotsMask R: destReg. + jumpSmallSize := cogit JumpLess: 0. + cogit MoveMw: -8 r: sourceReg R: destReg. "LSW of overflow size header" + + "dispatch on format in a combination of highest dynamic frequency order first and convenience. + 0 = 0 sized objects (UndefinedObject True False et al) + 1 = non-indexable objects with inst vars (Point et al) + 2 = indexable objects with no inst vars (Array et al) + 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) + 4 = weak indexable objects with inst vars (WeakArray et al) + 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) + 6 unused, reserved for exotic pointer objects? + 7 Forwarded Object, 1st field is pointer, rest of fields are ignored + 8 unused, reserved for exotic non-pointer objects? + 9 (?) 64-bit indexable + 10 - 11 32-bit indexable + 12 - 15 16-bit indexable + 16 - 23 byte indexable + 24 - 31 compiled method" + jumpSmallSize jmpTarget: + (cogit CmpCq: objectMemory firstByteFormat R: formatReg). + jumpIsBytes := cogit JumpGreaterOrEqual: 0. + cogit CmpCq: objectMemory arrayFormat R: formatReg. + jumpArrayDone := cogit JumpZero: 0. + jumpNotIndexable := cogit JumpLess: 0. + cogit CmpCq: objectMemory weakArrayFormat R: formatReg. + jumpHasFixedFields := cogit JumpLessOrEqual: 0. + cogit CmpCq: objectMemory firstShortFormat R: formatReg. + jumpIsShorts := cogit JumpGreaterOrEqual: 0. + cogit CmpCq: objectMemory firstLongFormat R: formatReg. + jump32BitLongsDone := cogit JumpGreaterOrEqual: 0. + "For now ignore 64-bit indexability." + jumpNotIndexable jmpTarget: cogit Label. + jumpNotIndexable := cogit Jump: 0. + + jumpIsBytes jmpTarget: + (cogit LogicalShiftLeftCq: objectMemory shiftForWord R: destReg). + cogit AndCq: objectMemory wordSize - 1 R: formatReg. + cogit SubR: formatReg R: destReg. + jumpBytesDone := cogit Jump: 0. + + jumpIsShorts jmpTarget: + (cogit LogicalShiftLeftCq: objectMemory shiftForWord - 1 R: destReg). + cogit AndCq: 1 R: formatReg. + cogit SubR: formatReg R: destReg. + jumpShortsDone := cogit Jump: 0. + + jumpHasFixedFields jmpTarget: + (cogit AndCq: objectMemory classIndexMask R: scratchReg). + cogit CmpCq: ClassMethodContextCompactIndex R: scratchReg. + jumpIsContext := cogit JumpZero: 0. + scratchReg ~= TempReg ifTrue: + [cogit MoveR: scratchReg R: TempReg]. + self flag: 'sometime soon we could inline the class fetch; it is only two indirections'. + cogit CallRT: ceClassAtIndexTrampoline. + scratchReg ~= TempReg ifTrue: + [cogit MoveR: TempReg R: scratchReg]. + self genLoadSlot: InstanceSpecificationIndex sourceReg: scratchReg destReg: formatReg. + self genConvertSmallIntegerToIntegerInScratchReg: formatReg. + cogit + AndCq: objectMemory fixedFieldsOfClassFormatMask R: formatReg; + SubR: formatReg R: destReg. + + jumpArrayDone jmpTarget: + (jump32BitLongsDone jmpTarget: + (jumpShortsDone jmpTarget: + (jumpBytesDone jmpTarget: + cogit Label))). + aBinaryBlock value: jumpNotIndexable value: jumpIsContext! Item was changed: CogObjectRepresentation subclass: #CogObjectRepresentationForSpur instanceVariableNames: 'ceClassAtIndexTrampoline' classVariableNames: '' + poolDictionaries: 'VMSqueakClassIndices' - poolDictionaries: '' category: 'VMMaker-JIT'! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genInnerPrimitiveSize: (in category 'primitive generators') ----- + genInnerPrimitiveSize: retNoffset + | jumpImm jumpNotIndexable jumpIsContext | + "c.f. StackInterpreter>>stSizeOf: lengthOf:baseHeader:format: fixedFieldsOf:format:length:" + <var: #jumpImm type: #'AbstractInstruction *'> + <var: #jumpNotIndexable type: #'AbstractInstruction *'> + <var: #jumpIsContext type: #'AbstractInstruction *'> + cogit MoveR: ReceiverResultReg R: TempReg. + jumpImm := self genJumpImmediateInScratchReg: TempReg. + self + genGetSizeOf: ReceiverResultReg + into: ClassReg + formatReg: SendNumArgsReg + scratchReg: TempReg + abortJumpsInto: [:jnx :jic| jumpNotIndexable := jnx. jumpIsContext := jic]. + self genConvertIntegerToSmallIntegerInScratchReg: ClassReg. + cogit MoveR: ClassReg R: ReceiverResultReg. + self flag: 'currently caller pushes result'. + cogit RetN: retNoffset. + jumpImm jmpTarget: (jumpNotIndexable jmpTarget: (jumpIsContext jmpTarget: cogit Label)). + ^0! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genJumpImmediateInScratchReg: (in category 'compile abstract instructions') ----- + genJumpImmediateInScratchReg: aRegister + <returnTypeC: #'AbstractInstruction *'> + cogit AndCq: objectMemory tagMask R: aRegister. + ^cogit JumpNonZero: 0! Item was changed: ----- Method: CogObjectRepresentationForSqueakV3>>genGetSizeOf:into:formatReg:scratchReg:abortJumpsInto: (in category 'primitive generators') ----- genGetSizeOf: sourceReg into: destReg formatReg: formatReg scratchReg: scratchReg abortJumpsInto: aBinaryBlock "Get the size of the non-immediate object in sourceReg into destReg using formatReg and scratchReg as temps. None of these registers can overlap. Supply the jumps taken if the object in sourceReg is not indexable, or if the object in sourceReg is a context.. Hack: If the object has a pointer format other than 2 leave the number of fixed fields in formatReg. Used by primitiveSize, primitiveAt, and primitiveAtPut" <returnTypeC: #'AbstractInstruction *'> | jumpNotIndexable jumpIsContext jumpShortHeader jumpSkip + jumpFmtLeWeakArray jumpFmtIsArray jmpFmtGeFirstByte jumpGotByteSize jumpGotWordSize | - jumpFmtLe4 jumpFmtIs2 jmpFmtGe8 jumpGotByteSize jumpGotWordSize | <inline: true> "c.f. StackInterpreter>>stSizeOf: lengthOf:baseHeader:format: fixedFieldsOf:format:length:" "and one wonders why Squeak V1 through V3 are slow..." <var: #jumpNotIndexable type: #'AbstractInstruction *'> <var: #jumpIsContext type: #'AbstractInstruction *'> <var: #jumpShortHeader type: #'AbstractInstruction *'> <var: #jumpSkip type: #'AbstractInstruction *'> + <var: #jumpFmtLeWeakArray type: #'AbstractInstruction *'> + <var: #jumpFmtIsArray type: #'AbstractInstruction *'> + <var: #jmpFmtGeFirstByte type: #'AbstractInstruction *'> - <var: #jumpFmtLe4 type: #'AbstractInstruction *'> - <var: #jumpFmtIs2 type: #'AbstractInstruction *'> - <var: #jmpFmtGe8 type: #'AbstractInstruction *'> <var: #jumpGotByteSize type: #'AbstractInstruction *'> <var: #jumpGotWordSize type: #'AbstractInstruction *'> cogit MoveMw: 0 r: sourceReg R: formatReg; "destReg := self baseHeader: receiver" MoveR: formatReg R: destReg; LogicalShiftRightCq: objectMemory instFormatFieldLSB R: formatReg; AndCq: self instFormatFieldMask R: formatReg; "formatReg := self formatOfHeader: destReg" + CmpCq: objectMemory arrayFormat R: formatReg. - CmpCq: 2 R: formatReg. jumpNotIndexable := cogit JumpLess: 0. cogit MoveR: destReg R: scratchReg; LogicalShiftRightCq: objectMemory compactClassFieldLSB R: scratchReg; AndCq: self compactClassFieldMask R: scratchReg; "scratchReg := self compactClassIndexOfHeader: destReg" CmpCq: ClassMethodContextCompactIndex R: scratchReg. jumpIsContext := cogit JumpZero: 0. cogit MoveR: destReg R: scratchReg; AndCq: TypeMask R: scratchReg; CmpCq: HeaderTypeSizeAndClass R: scratchReg. "(hdr bitAnd: TypeMask) = HeaderTypeSizeAndClass" jumpShortHeader := cogit JumpNonZero: 0. self assert: Size4Bit = 0. cogit MoveMw: 0 - (2 * BytesPerWord) r: sourceReg R: destReg; "(self sizeHeader: oop) bitAnd: LongSizeMask" AndCq: LongSizeMask signedIntFromLong R: destReg. jumpSkip := cogit Jump: 0. jumpShortHeader jmpTarget: (cogit AndCq: SizeMask R: destReg). "hdr bitAnd: SizeMask" jumpSkip jmpTarget: (cogit SubCq: BaseHeaderSize R: destReg). "sz - BaseheaderSize for all three arms" + cogit CmpCq: objectMemory weakArrayFormat R: formatReg. "fmt <= 4" + jumpFmtLeWeakArray := cogit JumpLessOrEqual: 0. + cogit CmpCq: objectMemory firstByteFormat R: formatReg. + jmpFmtGeFirstByte := cogit JumpLess: 0. - cogit CmpCq: 4 R: formatReg. "fmt <= 4" - jumpFmtLe4 := cogit JumpLessOrEqual: 0. - cogit CmpCq: 8 R: formatReg. - jmpFmtGe8 := cogit JumpLess: 0. cogit AndCq: 3 R: formatReg; "(sz - BaseHeaderSize) - (fmt bitAnd: 3) bytes" SubR: formatReg R: destReg. jumpGotByteSize := cogit Jump: 0. + jmpFmtGeFirstByte jmpTarget: (cogit LogicalShiftRightCq: 2 R: destReg). "(sz - BaseHeaderSize) >> 2 32-bit longs" - jmpFmtGe8 jmpTarget: (cogit LogicalShiftRightCq: 2 R: destReg). "(sz - BaseHeaderSize) >> 2 32-bit longs" jumpGotWordSize := cogit Jump: 0. + jumpFmtLeWeakArray jmpTarget: cogit Label. - jumpFmtLe4 jmpTarget: cogit Label. cogit LogicalShiftRightCq: ShiftForWord R: destReg; "(sz - BaseHeaderSize) >> ShiftForWord words" + CmpCq: objectMemory arrayFormat R: formatReg. + jumpFmtIsArray := cogit JumpZero: 0. - CmpCq: 2 R: formatReg. - jumpFmtIs2 := cogit JumpZero: 0. self genGetFixedFieldsOfPointerNonInt: sourceReg into: formatReg scratchReg: scratchReg. cogit SubR: formatReg R: destReg. + jumpFmtIsArray jmpTarget: - jumpFmtIs2 jmpTarget: (jumpGotWordSize jmpTarget: (jumpGotByteSize jmpTarget: cogit Label)). aBinaryBlock value: jumpNotIndexable value: jumpIsContext! Item was changed: ----- Method: CogObjectRepresentationForSqueakV3>>genInnerPrimitiveSize: (in category 'primitive generators') ----- genInnerPrimitiveSize: retNoffset + | jumpSI jumpNotIndexable jumpIsContext | - | jumpNotSI jumpNotIndexable jumpIsContext | "c.f. StackInterpreter>>stSizeOf: lengthOf:baseHeader:format: fixedFieldsOf:format:length:" <var: #jumpNotSI type: #'AbstractInstruction *'> <var: #jumpNotIndexable type: #'AbstractInstruction *'> <var: #jumpIsContext type: #'AbstractInstruction *'> cogit MoveR: ReceiverResultReg R: TempReg. + jumpSI := self genJumpSmallIntegerInScratchReg: TempReg. - jumpNotSI := self genJumpSmallIntegerInScratchReg: TempReg. self genGetSizeOf: ReceiverResultReg into: ClassReg formatReg: SendNumArgsReg scratchReg: TempReg abortJumpsInto: [:jnx :jic| jumpNotIndexable := jnx. jumpIsContext := jic]. self genConvertIntegerToSmallIntegerInScratchReg: ClassReg. cogit MoveR: ClassReg R: ReceiverResultReg. self flag: 'currently caller pushes result'. cogit RetN: retNoffset. + jumpSI jmpTarget: (jumpNotIndexable jmpTarget: (jumpIsContext jmpTarget: cogit Label)). - jumpNotSI jmpTarget: (jumpNotIndexable jmpTarget: (jumpIsContext jmpTarget: cogit Label)). ^0! Item was changed: ----- Method: Cogit>>cog:selector: (in category 'jit - api') ----- cog: aMethodObj selector: aSelectorOop "Attempt to produce a machine code method for the bytecode method object aMethodObj. N.B. If there is no code memory available do *NOT* attempt to reclaim the method zone. Certain clients (e.g. ceSICMiss:) depend on the zone remaining constant across method generation." <api> <returnTypeC: #'CogMethod *'> | cogMethod | <var: #cogMethod type: #'CogMethod *'> self assert: ((coInterpreter methodHasCogMethod: aMethodObj) not or: [(self noAssertMethodClassAssociationOf: aMethodObj) = objectMemory nilObject]). - aSelectorOop = (coInterpreter specialSelector: 16) ifTrue: [self halt]. "coInterpreter stringOf: aSelectorOop" coInterpreter compilationBreak: aSelectorOop point: (objectMemory lengthOf: aSelectorOop). aMethodObj = breakMethod ifTrue: [self halt: 'Compilation of breakMethod']. self cppIf: NewspeakVM ifTrue: [cogMethod := methodZone findPreviouslyCompiledVersionOf: aMethodObj with: aSelectorOop. cogMethod ifNotNil: [(coInterpreter methodHasCogMethod: aMethodObj) not ifTrue: [self assert: (coInterpreter rawHeaderOf: aMethodObj) = cogMethod methodHeader. cogMethod methodObject: aMethodObj. coInterpreter rawHeaderOf: aMethodObj put: cogMethod asInteger]. ^cogMethod]]. "If the generators for the alternate bytecode set are missing then interpret." (coInterpreter methodUsesAlternateBytecodeSet: aMethodObj) ifTrue: [(self numElementsIn: generatorTable) <= 256 ifTrue: [^nil]. bytecodeSetOffset := 256] ifFalse: [bytecodeSetOffset := 0]. extA := extB := 0. methodObj := aMethodObj. cogMethod := self compileCogMethod: aSelectorOop. (cogMethod asInteger between: MaxNegativeErrorCode and: -1) ifTrue: [cogMethod asInteger = InsufficientCodeSpace ifTrue: [coInterpreter callForCogCompiledCodeCompaction]. "Right now no errors should be reported, so nothing more to do." "self reportError: (self cCoerceSimple: cogMethod to: #sqInt)." ^nil]. "self cCode: '' inSmalltalk: [coInterpreter printCogMethod: cogMethod. ""coInterpreter symbolicMethod: aMethodObj."" self assertValidMethodMap: cogMethod." "self disassembleMethod: cogMethod." "printInstructions := clickConfirm := true""]." ^cogMethod!

1 0

VM Maker: VMMaker.oscog-eem.424.mcz
by commits＠source.squeak.org 02 Oct '13

02 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.424.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.424 Author: eem Time: 2 October 2013, 11:47:58.444 am UUID: 04c70bb8-9f13-4744-b63f-c48f34a1b961 Ancestors: VMMaker.oscog-eem.423 Fix adding entries to the method cache (hash needs to use classTag, not classObj). Make scavenging flush the atCache (plumbing for ObjectMemory is through mapPointersInObjectsFrom:to:, so not obvous). Add routines to print mehtodCache & atCache. Cogt+Spur now halt long before 3+4 when trying to compile primtiive size. =============== Diff against VMMaker.oscog-eem.423 =============== Item was changed: ----- Method: CoInterpreter>>internalFindNewMethod (in category 'message sending') ----- internalFindNewMethod "Find the compiled method to be run when the current messageSelector is sent to the given class, setting the values of newMethod and primitiveIndex." | ok | <inline: true> ok := self lookupInMethodCacheSel: messageSelector classTag: lkupClassTag. ok ifTrue: [self ifAppropriateCompileToNativeCode: newMethod selector: messageSelector] ifFalse: + [self externalizeIPandSP. + ((objectMemory isOopForwarded: messageSelector) + or: [objectMemory isForwardedClassTag: lkupClassTag]) ifTrue: + [(objectMemory isOopForwarded: messageSelector) ifTrue: + [messageSelector := self handleForwardedSelectorFaultFor: messageSelector]. + (objectMemory isForwardedClassTag: lkupClassTag) ifTrue: + [lkupClassTag := self handleForwardedSendFaultFor: lkupClassTag]. + ok := self lookupInMethodCacheSel: messageSelector classTag: lkupClassTag. + ok ifTrue: + [self ifAppropriateCompileToNativeCode: newMethod selector: messageSelector. + ^nil]]. + lkupClass := objectMemory classForClassTag: lkupClassTag. - ["entry was not found in the cache; look it up the hard way" - lkupClass := objectMemory classForClassTag: lkupClassTag. - objectMemory hasSpurMemoryManagerAPI ifTrue: - [| oop | - oop := self internalStackValue: argumentCount. - ((objectMemory isNonImmediate: oop) - and: [objectMemory isForwarded: oop]) ifTrue: - [self internalStackValue: argumentCount put: (objectMemory followForwarded: oop)]]. - self externalizeIPandSP. self lookupMethodInClass: lkupClass. self internalizeIPandSP. self addNewMethodToCache: lkupClass]! Item was changed: ----- Method: Cogit>>blockAlignment (in category 'accessing') ----- blockAlignment + "Block method headers must be aligned on the correct boundary, just like non-block method headers. + This is because the CoInterpreter encodes flags in the least significant three bits of the method field." <cmacro: '(self) 8'> self assert: (methodZone roundUpLength: 1) = 8. ^8! Item was changed: ----- Method: Cogit>>cog:selector: (in category 'jit - api') ----- cog: aMethodObj selector: aSelectorOop "Attempt to produce a machine code method for the bytecode method object aMethodObj. N.B. If there is no code memory available do *NOT* attempt to reclaim the method zone. Certain clients (e.g. ceSICMiss:) depend on the zone remaining constant across method generation." <api> <returnTypeC: #'CogMethod *'> | cogMethod | <var: #cogMethod type: #'CogMethod *'> self assert: ((coInterpreter methodHasCogMethod: aMethodObj) not or: [(self noAssertMethodClassAssociationOf: aMethodObj) = objectMemory nilObject]). + aSelectorOop = (coInterpreter specialSelector: 16) ifTrue: [self halt]. "coInterpreter stringOf: aSelectorOop" coInterpreter compilationBreak: aSelectorOop point: (objectMemory lengthOf: aSelectorOop). aMethodObj = breakMethod ifTrue: [self halt: 'Compilation of breakMethod']. self cppIf: NewspeakVM ifTrue: [cogMethod := methodZone findPreviouslyCompiledVersionOf: aMethodObj with: aSelectorOop. cogMethod ifNotNil: [(coInterpreter methodHasCogMethod: aMethodObj) not ifTrue: [self assert: (coInterpreter rawHeaderOf: aMethodObj) = cogMethod methodHeader. cogMethod methodObject: aMethodObj. coInterpreter rawHeaderOf: aMethodObj put: cogMethod asInteger]. ^cogMethod]]. "If the generators for the alternate bytecode set are missing then interpret." (coInterpreter methodUsesAlternateBytecodeSet: aMethodObj) ifTrue: [(self numElementsIn: generatorTable) <= 256 ifTrue: [^nil]. bytecodeSetOffset := 256] ifFalse: [bytecodeSetOffset := 0]. extA := extB := 0. methodObj := aMethodObj. cogMethod := self compileCogMethod: aSelectorOop. (cogMethod asInteger between: MaxNegativeErrorCode and: -1) ifTrue: [cogMethod asInteger = InsufficientCodeSpace ifTrue: [coInterpreter callForCogCompiledCodeCompaction]. "Right now no errors should be reported, so nothing more to do." "self reportError: (self cCoerceSimple: cogMethod to: #sqInt)." ^nil]. "self cCode: '' inSmalltalk: [coInterpreter printCogMethod: cogMethod. ""coInterpreter symbolicMethod: aMethodObj."" self assertValidMethodMap: cogMethod." "self disassembleMethod: cogMethod." "printInstructions := clickConfirm := true""]." ^cogMethod! Item was changed: ----- Method: SpurMemoryManager>>isIntegerObject: (in category 'object testing') ----- isIntegerObject: oop "This list records the valid senders of isIntegerObject: as we replace uses of isIntegerObject: by isImmediate: where appropriate." | sel | sel := thisContext sender method selector. (#( DoIt DoItIn: on:do: "from the debugger" makeBaseFrameFor: quickFetchInteger:ofObject: frameOfMarriedContext: objCouldBeClassObj: isMarriedOrWidowedContext: shortPrint: bytecodePrimAt bytecodePrimAtPut commonAt: commonAtPut: loadFloatOrIntFrom: positive32BitValueOf: primitiveExternalCall checkedIntegerValueOf: bytecodePrimAtPut commonAtPut: primitiveVMParameter checkIsStillMarriedContext:currentFP: displayBitsOf:Left:Top:Right:Bottom: fetchStackPointerOf: primitiveContextAt primitiveContextAtPut subscript:with:storing:format: printContext: compare31or32Bits:equal: signed64BitValueOf: primDigitMultiply:negative: digitLength: isNegativeIntegerValueOf: magnitude64BitValueOf: primitiveMakePoint primitiveAsCharacter primitiveInputSemaphore baseFrameReturn primitiveExternalCall primDigitCompare: isLiveContext: numPointerSlotsOf: fileValueOf: loadBitBltDestForm fetchIntOrFloat:ofObject:ifNil: fetchIntOrFloat:ofObject: loadBitBltSourceForm loadPoint:from: primDigitAdd: primDigitSubtract: positive64BitValueOf: digitBitLogic:with:opIndex: signed32BitValueOf: isNormalized: primDigitDiv:negative: bytesOrInt:growTo: primitiveNewMethod isCogMethodReference: functionForPrimitiveExternalCall: genSpecialSelectorArithmetic genSpecialSelectorComparison ensureContextHasBytecodePC: instVar:ofContext: ceBaseFrameReturn: inlineCacheTagForInstance: + primitiveObjectAtPut + commonVariable:at:put:cacheIndex:) includes: sel) ifFalse: - primitiveObjectAtPut) includes: sel) ifFalse: [self halt]. ^(oop bitAnd: 1) ~= 0! Item was changed: ----- Method: SpurMemoryManager>>scavengingGC (in category 'generation scavenging') ----- scavengingGC "Run the scavenger." self assert: remapBufferCount = 0. self checkFreeSpace. "coInterpreter printCallStackFP: coInterpreter framePointer" self runLeakCheckerForFullGC: false. + coInterpreter + preGCAction: GCModeIncr; + "would prefer this to be in mapInterpreterOops, but + compatibility with ObjectMemory dictates it goes here." + flushMethodCacheFrom: startOfMemory to: newSpaceLimit. - coInterpreter preGCAction: GCModeIncr. needGCFlag := false. gcStartUsecs := coInterpreter ioUTCMicrosecondsNow. scavengeInProgress := true. pastSpaceStart := scavenger scavenge. self assert: (self oop: pastSpaceStart isGreaterThanOrEqualTo: scavenger pastSpace start andLessThanOrEqualTo: scavenger pastSpace limit). freeStart := scavenger eden start. self initSpaceForAllocationCheck: scavenger eden. scavengeInProgress := false. statScavenges := statScavenges + 1. statGCEndUsecs := coInterpreter ioUTCMicrosecondsNow. statSGCDeltaUsecs := statGCEndUsecs - gcStartUsecs. statScavengeGCUsecs := statScavengeGCUsecs + statSGCDeltaUsecs. coInterpreter postGCAction. self runLeakCheckerForFullGC: false. self checkFreeSpace! Item was changed: ----- Method: StackInterpreter>>addNewMethodToCache: (in category 'method lookup cache') ----- + addNewMethodToCache: classObj - addNewMethodToCache: class "Add the given entry to the method cache. The policy is as follows: Look for an empty entry anywhere in the reprobe chain. If found, install the new entry there. If not found, then install the new entry at the first probe position and delete the entries in the rest of the reprobe chain. This has two useful purposes: If there is active contention over the first slot, the second or third will likely be free for reentry after ejection. Also, flushing is good when reprobe chains are getting full." | probe hash primitiveIndex | <inline: false> + hash := messageSelector bitXor: (objectMemory classTagForClass: classObj). "drop low-order zeros from addresses (if classObj not classTag)" - hash := messageSelector bitXor: class. "drop low-order zeros from addresses" (objectMemory isOopCompiledMethod: newMethod) ifTrue: [primitiveIndex := self primitiveIndexOf: newMethod. + primitiveFunctionPointer := self functionPointerFor: primitiveIndex inClass: classObj] - primitiveFunctionPointer := self functionPointerFor: primitiveIndex inClass: class] ifFalse: [primitiveFunctionPointer := #primitiveInvokeObjectAsMethod]. 0 to: CacheProbeMax-1 do: [:p | probe := (hash >> p) bitAnd: MethodCacheMask. (methodCache at: probe + MethodCacheSelector) = 0 ifTrue: ["Found an empty entry -- use it" methodCache at: probe + MethodCacheSelector put: messageSelector. + methodCache at: probe + MethodCacheClass put: (objectMemory classTagForClass: classObj). - methodCache at: probe + MethodCacheClass put: (objectMemory classTagForClass: class). methodCache at: probe + MethodCacheMethod put: newMethod. methodCache at: probe + MethodCachePrimFunction put: (self cCoerce: primitiveFunctionPointer to: #long). lastMethodCacheProbeWrite := probe. "this for primitiveExternalMethod" ^ nil]]. "OK, we failed to find an entry -- install at the first slot..." probe := hash bitAnd: MethodCacheMask. "first probe" methodCache at: probe + MethodCacheSelector put: messageSelector. + methodCache at: probe + MethodCacheClass put: (objectMemory classTagForClass: classObj). - methodCache at: probe + MethodCacheClass put: (objectMemory classTagForClass: class). methodCache at: probe + MethodCacheMethod put: newMethod. methodCache at: probe + MethodCachePrimFunction put: (self cCoerce: primitiveFunctionPointer to: #long). lastMethodCacheProbeWrite := probe. "this for primitiveExternalMethod" "...and zap the following entries" 1 to: CacheProbeMax-1 do: [:p | probe := (hash >> p) bitAnd: MethodCacheMask. methodCache at: probe + MethodCacheSelector put: 0]! Item was changed: ----- Method: StackInterpreter>>commonVariable:at:put:cacheIndex: (in category 'indexing primitive support') ----- commonVariable: rcvr at: index put: value cacheIndex: atIx "This code assumes the receiver has been identified at location atIx in the atCache." | stSize fmt fixedFields valToPut isCharacter | <inline: true> stSize := atCache at: atIx+AtCacheSize. ((self oop: index isGreaterThanOrEqualTo: 1) and: [self oop: index isLessThanOrEqualTo: stSize]) ifTrue: [fmt := atCache at: atIx+AtCacheFmt. fmt <= objectMemory weakArrayFormat ifTrue: [self assert: (objectMemory isContextNonImm: rcvr) not. fixedFields := atCache at: atIx+AtCacheFixedFields. ^objectMemory storePointer: index + fixedFields - 1 ofObject: rcvr withValue: value]. fmt < objectMemory firstByteFormat ifTrue: "Bitmap" [valToPut := self positive32BitValueOf: value. self successful ifTrue: [objectMemory storeLong32: index - 1 ofObject: rcvr withValue: valToPut. ^nil]. ^self primitiveFailFor: PrimErrBadArgument]. fmt >= objectMemory firstStringyFakeFormat "Note fmt >= firstStringyFormat is an artificial flag for strings" + ifTrue: + [isCharacter := objectMemory isCharacterObject: value. + isCharacter ifFalse: + [^self primitiveFailFor: PrimErrBadArgument]. + objectMemory hasSpurMemoryManagerAPI + ifTrue: [valToPut := objectMemory characterValueOf: value] + ifFalse: + [valToPut := objectMemory fetchPointer: CharacterValueIndex ofObject: value. + valToPut := (objectMemory isIntegerObject: valToPut) + ifTrue: [objectMemory integerValueOf: valToPut] + ifFalse: [-1]]] - ifTrue: [isCharacter := objectMemory isCharacterObject: value. - isCharacter ifFalse: - [^self primitiveFailFor: PrimErrBadArgument]. - objectMemory hasSpurMemoryManagerAPI - ifTrue: [valToPut := objectMemory characterValueOf: value] - ifFalse: - [valToPut := objectMemory fetchPointer: CharacterValueIndex ofObject: value. - valToPut := (objectMemory isIntegerObject: valToPut) - ifTrue: [objectMemory integerValueOf: valToPut] - ifFalse: [-1]]] ifFalse: [(fmt >= objectMemory firstCompiledMethodFormat and: [index < (self firstByteIndexOfMethod: rcvr)]) ifTrue: [^self primitiveFailFor: PrimErrBadIndex]. valToPut := (objectMemory isIntegerObject: value) ifTrue: [objectMemory integerValueOf: value] ifFalse: [-1]]. ((valToPut >= 0) and: [valToPut <= 255]) ifFalse: [^self primitiveFailFor: PrimErrBadArgument]. ^objectMemory storeByte: index - 1 ofObject: rcvr withValue: valToPut]. ^self primitiveFailFor: ((objectMemory isIndexable: rcvr) ifFalse: [PrimErrBadReceiver] ifTrue: [PrimErrBadIndex])! Item was changed: ----- Method: StackInterpreter>>flushMethodCacheFrom:to: (in category 'method lookup cache') ----- flushMethodCacheFrom: memStart to: memEnd "Flush entries in the method cache only if the oop address is within the given memory range. This reduces overagressive cache clearing. Note the AtCache is fully flushed, 70% of the time cache entries live in newspace, new objects die young" | probe | probe := 0. 1 to: MethodCacheEntries do: [:i | (methodCache at: probe + MethodCacheSelector) = 0 ifFalse: [((((self oop: (methodCache at: probe + MethodCacheSelector) isGreaterThanOrEqualTo: memStart) and: [self oop: (methodCache at: probe + MethodCacheSelector) isLessThan: memEnd]) or: [(self oop: (methodCache at: probe + MethodCacheClass) isGreaterThanOrEqualTo: memStart) and: [self oop: (methodCache at: probe + MethodCacheClass) isLessThan: memEnd]]) or: [(self oop: (methodCache at: probe + MethodCacheMethod) isGreaterThanOrEqualTo: memStart) and: [self oop: (methodCache at: probe + MethodCacheMethod) isLessThan: memEnd]]) ifTrue: [methodCache at: probe + MethodCacheSelector put: 0]]. probe := probe + MethodCacheEntrySize]. + self flushAtCache! - 1 to: AtCacheTotalSize do: [:i | atCache at: i put: 0]! Item was changed: ----- Method: StackInterpreter>>install:inAtCache:at:string: (in category 'indexing primitive support') ----- install: rcvr inAtCache: cache at: atIx string: stringy "Attempt to install the oop of this object in the given cache (at or atPut), along with its size, format and fixedSize. Answer if this was successful." | hdr fmt totalLength fixedFields | <inline: true> <var: #cache type: 'sqInt *'> + self assert: (objectMemory isContext: rcvr) not. - hdr := objectMemory baseHeader: rcvr. fmt := objectMemory formatOfHeader: hdr. stringy ifTrue: [totalLength := objectMemory lengthOf: rcvr baseHeader: hdr format: fmt. fixedFields := 0. fmt := fmt + objectMemory firstStringyFakeFormat] "special flag for strings" ifFalse: [(fmt = objectMemory indexablePointersFormat and: [objectMemory isContextHeader: hdr]) ifTrue: ["Contexts must not be put in the atCache, since their size is not constant" self primitiveFailFor: PrimErrBadReceiver. ^false]. totalLength := objectMemory lengthOf: rcvr baseHeader: hdr format: fmt. fixedFields := objectMemory fixedFieldsOf: rcvr format: fmt length: totalLength]. cache at: atIx+AtCacheOop put: rcvr. cache at: atIx+AtCacheFmt put: fmt. cache at: atIx+AtCacheFixedFields put: fixedFields. cache at: atIx+AtCacheSize put: totalLength - fixedFields. ^true! Item was added: + ----- Method: StackInterpreter>>printAtCache (in category 'debug printing') ----- + printAtCache + 0 to: AtCacheTotalSize - 1 by: 4 do: + [:i | | obj sz fmt fixed | + obj := atCache at: i + AtCacheOop. + sz := atCache at: i + AtCacheSize. + fmt := atCache at: i + AtCacheFmt. + fixed := atCache at: i + AtCacheFixedFields. + (objectMemory addressCouldBeObj: obj) ifTrue: + [self transcript ensureCr. + self print: i; tab; print: (i < AtPutBase ifTrue: ['at '] ifFalse: ['put ']); + tab; printNum: sz; tab; printNum: fmt; tab; printNum: fixed; tab; + shortPrintOop: obj]]! Item was added: + ----- Method: StackInterpreter>>printMethodCache (in category 'debug printing') ----- + printMethodCache + 0 to: MethodCacheSize - 1 by: MethodCacheEntrySize do: + [:i | | s c m p | + s := methodCache at: i + MethodCacheSelector. + c := methodCache at: i + MethodCacheClass. + m := methodCache at: i + MethodCacheMethod. + p := methodCache at: i + MethodCachePrimFunction. + ((objectMemory addressCouldBeOop: s) + and: [c ~= 0 + and: [(self addressCouldBeClassObj: c) + or: [self addressCouldBeClassObj: (objectMemory classForClassTag: c)]]]) ifTrue: + [self transcript ensureCr. + self print: i; cr; tab. + (objectMemory isBytesNonImm: s) + ifTrue: [self printHex: s; space; print: (self stringOf: s); cr] + ifFalse: [self shortPrintOop: s]. + self tab. + (self addressCouldBeClassObj: c) + ifTrue: [self shortPrintOop: c] + ifFalse: [self printNum: c; space; shortPrintOop: (objectMemory classForClassTag: c)]. + self tab; shortPrintOop: m; tab. + p isSymbol + ifTrue: [self print: p] + ifFalse: [self printNum: p]. + self cr]]!

1 0

VM Maker: VMMaker.oscog-eem.423.mcz
by commits＠source.squeak.org 02 Oct '13

02 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.423.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.423 Author: eem Time: 2 October 2013, 9:56:44.669 am UUID: 1a75a970-d33c-4e87-af67-87928d11facf Ancestors: VMMaker.oscog-eem.422 Add blockAlignment to formalize block entry encoding in native pcs. Move the ceStoreCheckTrampoline inst var into CogObjectRepresentation and implement generateObjectRepresentationTrampolines so Spur can add ceClassAtIndexTrampoline. More protocol added to CogObjectRepresentationForSpur. More addressCouldBeObj: => addressCouldBeOop: asserts. More isIntegerObject: => isImmediate:. Cogit+Spur now evaluates 3+4. =============== Diff against VMMaker.oscog-eem.422 =============== Item was changed: ----- Method: CoInterpreter>>bytecodePCFor:cogMethod:startBcpc: (in category 'frame access') ----- bytecodePCFor: theIP cogMethod: cogMethod startBcpc: startBcpc "Answer the mapping of the native pc theIP to a zero-relative bytecode pc. See contextInstructionPointer:frame: for the explanation." <var: #cogMethod type: #'CogMethod *'> | cogMethodForIP mcpc | <inline: true> <var: #cogMethodForIP type: #'CogBlockMethod *'> self assert: theIP < 0. (theIP signedBitShift: -16) < -1 "See contextInstructionPointer:frame:" ifTrue: + [cogMethodForIP := self cCoerceSimple: cogMethod asInteger - ((theIP signedBitShift: -16) * cogit blockAlignment) - [cogMethodForIP := self cCoerceSimple: cogMethod asInteger - ((theIP signedBitShift: -16) * (cogit sizeof: CogBlockMethod)) to: #'CogBlockMethod *'. self assert: cogMethodForIP cmType = CMBlock. self assert: cogMethodForIP cmHomeMethod = cogMethod. mcpc := cogMethodForIP asInteger - theIP signedIntFromShort] ifFalse: [cogMethodForIP := self cCoerceSimple: cogMethod to: #'CogBlockMethod *'. self assert: cogMethodForIP cmType = CMMethod. mcpc := cogMethod asInteger - theIP]. self assert: (mcpc between: cogMethod asInteger and: cogMethod asInteger + cogMethod blockSize). ^cogit bytecodePCFor: mcpc startBcpc: startBcpc in: cogMethodForIP! Item was changed: ----- Method: CoInterpreter>>ceMNUFromPICMNUMethod:receiver: (in category 'trampolines') ----- ceMNUFromPICMNUMethod: aMethodObj receiver: rcvr <api> | cPIC primitiveIndex | <var: #cPIC type: #'CogMethod *'> + self assert: (objectMemory addressCouldBeOop: rcvr). - self assert: ((objectMemory isIntegerObject: rcvr) or: [objectMemory addressCouldBeObj: rcvr]). self assert: (aMethodObj = 0 or: [(objectMemory addressCouldBeObj: aMethodObj) and: [objectMemory isOopCompiledMethod: aMethodObj]]). cPIC := self cCoerceSimple: self popStack - cogit mnuOffset to: #'CogMethod *'. self assert: cPIC cmType = CMClosedPIC. argumentCount := cPIC cmNumArgs. messageSelector := cPIC selector. aMethodObj ~= 0 ifTrue: [instructionPointer := self popStack. self createActualMessageTo: (objectMemory fetchClassOf: rcvr). (self maybeMethodHasCogMethod: aMethodObj) ifTrue: [self push: instructionPointer. self executeCogMethodFromUnlinkedSend: (self cogMethodOf: aMethodObj) withReceiver: rcvr. "NOTREACHED" self assert: false]. newMethod := aMethodObj. primitiveIndex := self primitiveIndexOf: aMethodObj. primitiveFunctionPointer := self functionPointerFor: primitiveIndex inClass: objectMemory nilObject. ^self interpretMethodFromMachineCode]. self handleMNU: SelectorDoesNotUnderstand InMachineCodeTo: rcvr classForMessage: (objectMemory fetchClassOf: rcvr). "NOTREACHED" self assert: false! Item was changed: ----- Method: CoInterpreter>>encodedNativePCOf:cogMethod: (in category 'frame access') ----- encodedNativePCOf: mcpc cogMethod: cogMethod "Encode the mcpc in cogMethod as a value that can be stashed in a context. Mapping native pcs to bytecode pcs is quite expensive, requiring a search through the method map. We mitigate this cost by deferring mapping until we really have to, which is when a context's instruction pointer is accessed by Smalltalk code. But to defer mapping we have to be able to distinguish machine code from bytecode pcs, which we do by using negative values for machine code pcs. As a whorish performance hack we also include the block method offset in the pc of a block. The least significant 16 bits are the native pc and the most significant 15 bits are the block start, in block alignment units. So when mapping back we can find the start of the block. See mustMapMachineCodePC:context: for the code that does the actual mapping." <var: #cogMethod type: #'CogBlockMethod *'> | homeMethod blockOffset | <var: #homeMethod type: #'CogMethod *'> mcpc = cogit ceCannotResumePC ifTrue: [^HasBeenReturnedFromMCPC]. cogMethod cmType = CMMethod ifTrue: [^objectMemory integerObjectOf: cogMethod asInteger - mcpc]. homeMethod := cogMethod cmHomeMethod. + blockOffset := homeMethod asInteger - cogMethod asInteger / cogit blockAlignment. - blockOffset := homeMethod asInteger - cogMethod asInteger / (cogit sizeof: CogBlockMethod). ^objectMemory integerObjectOf: ((blockOffset bitShift: 16) bitOr: (cogMethod asInteger - mcpc bitAnd: 16rFFFF))! Item was changed: ----- Method: CoInterpreter>>handleMNU:InMachineCodeTo:classForMessage: (in category 'message sending') ----- handleMNU: selectorIndex InMachineCodeTo: rcvr classForMessage: classForMessage "A message send from either an open PIC or an unlinked send has not been understood. Create a message and execute the relevant resulting MNU method. messageSelector is an implicit argument (yuck)." | errSelIdx classForThisMessage | <var: #cogMethod type: #'CogMethod *'> + self assert: (objectMemory addressCouldBeOop: rcvr). - self assert: ((objectMemory isIntegerObject: rcvr) or: [objectMemory addressCouldBeObj: rcvr]). instructionPointer := self popStack. self createActualMessageTo: classForMessage. messageSelector := objectMemory splObj: selectorIndex. (self lookupInMethodCacheSel: messageSelector classTag: (objectMemory classTagForClass: lkupClass)) ifTrue:"check for coggability because method is in the cache" [self ifAppropriateCompileToNativeCode: newMethod selector: messageSelector] ifFalse: [errSelIdx := self lookupMethodNoMNUEtcInClass: (classForThisMessage := lkupClass). errSelIdx ~= 0 ifTrue: [selectorIndex = SelectorDoesNotUnderstand ifTrue: [self error: 'Recursive not understood error encountered']. self push: instructionPointer. ^self handleMNU: errSelIdx InMachineCodeTo: rcvr classForMessage: classForThisMessage]]. (self maybeMethodHasCogMethod: newMethod) ifTrue: [self push: instructionPointer. self executeCogMethodFromUnlinkedSend: (self cogMethodOf: newMethod) withReceiver: rcvr. "NOTREACHED" self assert: false]. ^self interpretMethodFromMachineCode "NOTREACHED"! Item was changed: ----- Method: CoInterpreter>>makeBaseFrameFor: (in category 'frame access') ----- makeBaseFrameFor: aContext "<Integer>" "Marry aContext with the base frame of a new stack page. Build the base frame to reflect the context's state. Answer the new page. Override to hold the caller context in a different place, In the StackInterpreter we use the caller saved ip, but in the Cog VM caller saved ip is the ceBaseReturn: trampoline. Simply hold the caller context in the first word of the stack." <returnTypeC: #'StackPage *'> | page pointer theMethod theIP numArgs stackPtrIndex maybeClosure | <inline: false> <var: #page type: #'StackPage *'> <var: #pointer type: #'char *'> <var: #cogMethod type: #'CogMethod *'> self assert: (self isSingleContext: aContext). self assert: (objectMemory goodContextSize: aContext). theIP := objectMemory fetchPointer: InstructionPointerIndex ofObject: aContext. self assert: HasBeenReturnedFromMCPC signedIntFromLong < 0. theIP := (objectMemory isIntegerObject: theIP) ifTrue: [objectMemory integerValueOf: theIP] ifFalse: [HasBeenReturnedFromMCPC]. theMethod := objectMemory fetchPointer: MethodIndex ofObject: aContext. page := self newStackPage. "first word on stack is caller context of base frame" stackPages longAt: (pointer := page baseAddress) put: (objectMemory fetchPointer: SenderIndex ofObject: aContext). "second word is the context itself; needed for cannotReturn processing; see ceBaseReturn:." stackPages longAt: (pointer := pointer - BytesPerWord) put: aContext. "If the frame is a closure activation then the closure should be on the stack in the pushed receiver position (closures receiver the value[:value:] messages). Otherwise it should be the receiver proper." maybeClosure := objectMemory fetchPointer: ClosureIndex ofObject: aContext. maybeClosure ~= objectMemory nilObject ifTrue: [numArgs := self argumentCountOfClosure: maybeClosure. stackPages longAt: (pointer := pointer - BytesPerWord) put: maybeClosure] ifFalse: [| header | header := self headerOf: theMethod. numArgs := self argumentCountOfMethodHeader: header. self cppIf: MULTIPLEBYTECODESETS ifTrue: "If this is a synthetic context its IP could be pointing at the CallPrimitive opcode. If so, skip it." [(theIP signedIntFromLong > 0 and: [(self methodHeaderHasPrimitive: header) and: [theIP = (1 + (objectMemory lastPointerOf: theMethod))]]) ifTrue: [theIP := theIP + (self sizeOfCallPrimitiveBytecode: header)]]. stackPages longAt: (pointer := pointer - BytesPerWord) put: (objectMemory fetchPointer: ReceiverIndex ofObject: aContext)]. "Put the arguments on the stack" 1 to: numArgs do: [:i| stackPages longAt: (pointer := pointer - BytesPerWord) put: (objectMemory fetchPointer: ReceiverIndex + i ofObject: aContext)]. "saved caller ip is base return trampoline" stackPages longAt: (pointer := pointer - BytesPerWord) put: cogit ceBaseFrameReturnPC. "base frame's saved fp is null" stackPages longAt: (pointer := pointer - BytesPerWord) put: 0. "N.B. Don't set the baseFP, which marks the page as in use, until after ensureMethodIsCogged: and/or instructionPointer:forContext:frame:. These can cause a compiled code compaction which, if marked as in use, will examine this partially initialized page and crash." page headFP: pointer. "Create either a machine code frame or an interpreter frame based on the pc. If the pc is -ve it is a machine code pc and so we produce a machine code frame. If +ve an interpreter frame. N.B. Do *not* change this to try and map from a bytecode pc to a machine code frame under any circumstances. See ensureContextIsExecutionSafeAfterAssignToStackPointer:" theIP signedIntFromLong < 0 ifTrue: [| cogMethod | "Since we would have to generate a machine-code method to be able to map the native pc anyway we should create a native method and native frame." cogMethod := self ensureMethodIsCogged: theMethod. theMethod := cogMethod asInteger. maybeClosure ~= objectMemory nilObject ifTrue: ["If the pc is the special HasBeenReturnedFromMCPC pc set the pc appropriately so that the frame stays in the cannotReturn: state." theIP = HasBeenReturnedFromMCPC signedIntFromLong ifTrue: [theMethod := (cogit findMethodForStartBcpc: (self startPCOfClosure: maybeClosure) inHomeMethod: (self cCoerceSimple: theMethod to: #'CogMethod *')) asInteger. theMethod = 0 ifTrue: [self error: 'cannot find machine code block matching closure''s startpc']. theIP := cogit ceCannotResumePC] ifFalse: [self assert: (theIP signedBitShift: -16) < -1. "See contextInstructionPointer:frame:" + theMethod := theMethod - ((theIP signedBitShift: -16) * cogit blockAlignment). - theMethod := theMethod - ((theIP signedBitShift: -16) * (cogit sizeof: CogBlockMethod)). theIP := theMethod - theIP signedIntFromShort]. stackPages longAt: (pointer := pointer - BytesPerWord) put: theMethod + MFMethodFlagHasContextFlag + MFMethodFlagIsBlockFlag] ifFalse: [self assert: (theIP signedBitShift: -16) >= -1. "If the pc is the special HasBeenReturnedFromMCPC pc set the pc appropriately so that the frame stays in the cannotReturn: state." theIP := theIP = HasBeenReturnedFromMCPC signedIntFromLong ifTrue: [cogit ceCannotResumePC] ifFalse: [theMethod asInteger - theIP]. stackPages longAt: (pointer := pointer - BytesPerWord) put: theMethod + MFMethodFlagHasContextFlag]. stackPages longAt: (pointer := pointer - BytesPerWord) put: aContext] ifFalse: [stackPages longAt: (pointer := pointer - BytesPerWord) put: theMethod. stackPages longAt: (pointer := pointer - BytesPerWord) put: aContext. stackPages longAt: (pointer := pointer - BytesPerWord) put: (self encodeFrameFieldHasContext: true isBlock: maybeClosure ~= objectMemory nilObject numArgs: numArgs). stackPages longAt: (pointer := pointer - BytesPerWord) put: 0. "FoxIFSavedIP" theIP := self iframeInstructionPointerForIndex: theIP method: theMethod]. page baseFP: page headFP. self assert: (self frameHasContext: page baseFP). self assert: (self frameNumArgs: page baseFP) == numArgs. stackPages longAt: (pointer := pointer - BytesPerWord) put: (objectMemory fetchPointer: ReceiverIndex ofObject: aContext). stackPtrIndex := self quickFetchInteger: StackPointerIndex ofObject: aContext. self assert: ReceiverIndex + stackPtrIndex < (objectMemory lengthOf: aContext). numArgs + 1 to: stackPtrIndex do: [:i| stackPages longAt: (pointer := pointer - BytesPerWord) put: (objectMemory fetchPointer: ReceiverIndex + i ofObject: aContext)]. "top of stack is the instruction pointer" stackPages longAt: (pointer := pointer - BytesPerWord) put: theIP. page headSP: pointer. self assert: (self context: aContext hasValidInversePCMappingOf: theIP in: page baseFP). "Mark context as married by setting its sender to the frame pointer plus SmallInteger tags and the InstructionPointer to the saved fp (which ensures correct alignment w.r.t. the frame when we check for validity) plus SmallInteger tags." objectMemory storePointerUnchecked: SenderIndex ofObject: aContext withValue: (self withSmallIntegerTags: page baseFP). objectMemory storePointerUnchecked: InstructionPointerIndex ofObject: aContext withValue: (self withSmallIntegerTags: 0). self assert: (objectMemory isIntegerObject: (objectMemory fetchPointer: SenderIndex ofObject: aContext)). self assert: (self frameOfMarriedContext: aContext) = page baseFP. self assert: self validStackPageBaseFrames. ^page! Item was changed: CogClass subclass: #CogObjectRepresentation + instanceVariableNames: 'cogit objectMemory ceStoreCheckTrampoline' - instanceVariableNames: 'cogit objectMemory' classVariableNames: '' poolDictionaries: 'CogMethodConstants CogRTLOpcodes VMBasicConstants VMObjectIndices' category: 'VMMaker-JIT'! !CogObjectRepresentation commentStamp: '<historical>' prior: 0! I am an abstract superclass for object representations whose job it is to generate abstract instructions for accessing objects. It is hoped that this level of indirection between the Cogit code generator and object access makes it easier to adapt the code generator to different garbage collectors, object representations and languages.! Item was added: + ----- Method: CogObjectRepresentation>>generateObjectRepresentationTrampolines (in category 'initialization') ----- + generateObjectRepresentationTrampolines + ceStoreCheckTrampoline := cogit + genTrampolineFor: #ceStoreCheck: + called: 'ceStoreCheckTrampoline' + arg: ReceiverResultReg + result: cogit returnRegForStoreCheck! Item was changed: CogObjectRepresentation subclass: #CogObjectRepresentationForSpur + instanceVariableNames: 'ceClassAtIndexTrampoline' - instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'VMMaker-JIT'! Item was added: + ----- Method: CogObjectRepresentationForSpur>>couldBeObject: (in category 'debug support') ----- + couldBeObject: oop + ^objectMemory addressCouldBeObj: oop! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genGetClassObjectOf:into:scratchReg: (in category 'compile abstract instructions') ----- + genGetClassObjectOf: instReg into: destReg scratchReg: scratchReg + "Fetch the instance's class into destReg." + | jumpIsImm jumpNotForwarded loop | + <var: #jumpIsImm type: #'AbstractInstruction *'> + <var: #jumpNotForwarded type: #'AbstractInstruction *'> + <var: #loop type: #'AbstractInstruction *'> + loop := cogit MoveR: instReg R: scratchReg. + cogit AndCq: objectMemory tagMask R: scratchReg. + jumpIsImm := cogit JumpNonZero: 0. + self flag: #endianness. + "Get least significant half of header word in destReg" + cogit MoveMw: 0 r: instReg R: scratchReg. + "mask off class index" + cogit AndCq: objectMemory classIndexMask R: scratchReg. + "if it is forwarded..." + cogit CmpCq: objectMemory isForwardedObjectClassIndexPun R: scratchReg. + jumpNotForwarded := cogit JumpNonZero: 0. + "...follow the forwarding pointer and loop to fetch its classIndex" + cogit MoveMw: objectMemory baseHeaderSize r: instReg R: instReg. + cogit Jump: loop. + jumpNotForwarded jmpTarget: (jumpIsImm jmpTarget: cogit Label). + scratchReg ~= TempReg ifTrue: + [cogit MoveR: scratchReg R: TempReg]. + cogit CallRT: ceClassAtIndexTrampoline. + destReg ~= TempReg ifTrue: + [cogit MoveR: TempReg R: destReg]! Item was removed: - ----- Method: CogObjectRepresentationForSpur>>genStoreCheckTrampoline (in category 'initialization') ----- - genStoreCheckTrampoline - "Call ceStoreCheck: with the object stored into" - ^cogit - genTrampolineFor: #ceStoreCheck: - called: 'ceStoreCheckTrampoline' - arg: ReceiverResultReg - result: cogit returnRegForStoreCheck! Item was changed: ----- Method: CogObjectRepresentationForSpur>>genStoreSourceReg:slotIndex:destReg:scratchReg: (in category 'compile abstract instructions') ----- genStoreSourceReg: sourceReg slotIndex: index destReg: destReg scratchReg: scratchReg | jmpImmediate jmpDestYoung jmpSourceOld jmpAlreadyRemembered mask rememberedBitByteOffset | <var: #jmpImmediate type: #'AbstractInstruction *'> <var: #jmpDestYoung type: #'AbstractInstruction *'> <var: #jmpSourceOld type: #'AbstractInstruction *'> <var: #jmpAlreadyRemembered type: #'AbstractInstruction *'> "do the store" cogit MoveR: sourceReg Mw: index * objectMemory wordSize + objectMemory baseHeaderSize r: destReg. "now the check. Is value stored an integer? If so we're done" cogit MoveR: sourceReg R: scratchReg. cogit AndCq: objectMemory tagMask R: scratchReg. jmpImmediate := cogit JumpNonZero: 0. "Get the old/new boundary in scratchReg" cogit MoveAw: objectMemory newSpaceLimitAddress R: scratchReg. "Is target young? If so we're done" cogit CmpR: scratchReg R: destReg. "N.B. FLAGS := destReg - scratchReg" jmpDestYoung := cogit JumpBelow: 0. "Is value stored old? If so we're done." cogit CmpR: scratchReg R: sourceReg. "N.B. FLAGS := sourceReg - scratchReg" jmpSourceOld := cogit JumpAboveOrEqual: 0. "value is young and target is old. Need to remember this only if the remembered bit is not already set. Test the remembered bit. Only need to fetch the byte containing it, which reduces the size of the mask constant." rememberedBitByteOffset := jmpSourceOld isBigEndian ifTrue: [objectMemory baseHeaderSize - 1 - (objectMemory rememberedBitShift // 8)] ifFalse:[objectMemory rememberedBitShift // 8]. mask := 1 << (objectMemory rememberedBitShift \\ 8). cogit MoveMb: rememberedBitByteOffset r: destReg R: scratchReg. cogit AndCq: mask R: scratchReg. jmpAlreadyRemembered := cogit JumpNonZero: 0. "Remembered bit is not set. Call store check to insert dest into remembered table." self assert: destReg == ReceiverResultReg. + cogit CallRT: ceStoreCheckTrampoline. - cogit CallRT: cogit ceStoreCheckTrampoline. jmpImmediate jmpTarget: (jmpDestYoung jmpTarget: (jmpSourceOld jmpTarget: (jmpAlreadyRemembered jmpTarget: cogit Label))). ^0! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genStoreSourceReg:slotIndex:intoNewObjectInDestReg: (in category 'compile abstract instructions') ----- + genStoreSourceReg: sourceReg slotIndex: index intoNewObjectInDestReg: destReg + cogit MoveR: sourceReg + Mw: index * objectMemory wordSize + objectMemory baseHeaderSize + r: destReg. + ^0! Item was added: + ----- Method: CogObjectRepresentationForSpur>>generateObjectRepresentationTrampolines (in category 'initialization') ----- + generateObjectRepresentationTrampolines + super generateObjectRepresentationTrampolines. + ceClassAtIndexTrampoline := cogit + genTrampolineFor: #ceClassAtIndex: + called: 'ceClassAtIndexTrampoline' + arg: TempReg + result: TempReg! Item was removed: - ----- Method: CogObjectRepresentationForSqueakV3>>genStoreCheckTrampoline (in category 'initialization') ----- - genStoreCheckTrampoline - "Call ceStoreCheck: with the object stored into" - ^cogit - genTrampolineFor: #ceStoreCheck: - called: 'ceStoreCheckTrampoline' - arg: ReceiverResultReg - result: cogit returnRegForStoreCheck! Item was changed: ----- Method: CogObjectRepresentationForSqueakV3>>genStoreSourceReg:slotIndex:destReg:scratchReg: (in category 'compile abstract instructions') ----- genStoreSourceReg: sourceReg slotIndex: index destReg: destReg scratchReg: scratchReg | jmpImmediate jmpDestYoung jmpSourceOld jmpAlreadyRoot mask rootBitByteOffset | <var: #jmpImmediate type: #'AbstractInstruction *'> <var: #jmpDestYoung type: #'AbstractInstruction *'> <var: #jmpSourceOld type: #'AbstractInstruction *'> <var: #jmpAlreadyRoot type: #'AbstractInstruction *'> "do the store" cogit MoveR: sourceReg Mw: index * BytesPerWord + BaseHeaderSize r: destReg. "now the check. Is value stored an integer? If so we're done" cogit MoveR: sourceReg R: scratchReg. cogit AndCq: 1 R: scratchReg. jmpImmediate := cogit JumpNonZero: 0. "Get the old/new boundary in scratchReg" cogit MoveAw: objectMemory youngStartAddress R: scratchReg. "Is target young? If so we're done" cogit CmpR: scratchReg R: destReg. "N.B. FLAGS := destReg - scratchReg" jmpDestYoung := cogit JumpAboveOrEqual: 0. "Is value stored old? If so we're done." cogit CmpR: scratchReg R: sourceReg. "N.B. FLAGS := sourceReg - scratchReg" jmpSourceOld := cogit JumpBelow: 0. "value is young and target is old. Need to make this a root if the root bit is not already set. Test the root bit. Only need to fetch the byte containing it, which reduces the size of the mask constant." rootBitByteOffset := jmpSourceOld isBigEndian ifTrue: [BytesPerWord - RootBitDigitLength] ifFalse:[RootBitDigitLength - 1]. mask := RootBitDigitLength > 1 ifTrue: [RootBit >> (RootBitDigitLength - 1 * 8)] ifFalse: [RootBit]. cogit MoveMb: rootBitByteOffset r: destReg R: scratchReg. cogit AndCq: mask R: scratchReg. jmpAlreadyRoot := cogit JumpNonZero: 0. "Root bit is not set. Call store check to insert dest into root table." self assert: destReg == ReceiverResultReg. + cogit CallRT: ceStoreCheckTrampoline. - cogit CallRT: cogit ceStoreCheckTrampoline. jmpImmediate jmpTarget: (jmpDestYoung jmpTarget: (jmpSourceOld jmpTarget: (jmpAlreadyRoot jmpTarget: cogit Label))). ^0! 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 postCompileHook primInvokeLabel methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMissCall missOffset entryPointMask checkedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry dynSuperEntry dynSuperEntryAlignment cmDynSuperEntryOffset mnuCall interpretCall 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 maxMethodBefore maxLitIndex ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceClosureCopyTrampoline ceCreateNewArrayTrampoline ceEnterCogCodePopReceiverReg ceEnterCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceActiveContextTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline cePositive32BitIntegerTrampoline ceImplicitReceiverTrampoline ceExplicitReceiverTrampoline ceCaptureCStackPointers ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetSP sendTrampolines superSendTrampolines dynamicSuperSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCEEnterCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner cogMethodSurrogateClass cogBlockMethodSurrogateClass extA extB' - 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 postCompileHook primInvokeLabel methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMissCall missOffset entryPointMask checkedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry dynSuperEntry dynSuperEntryAlignment cmDynSuperEntryOffset mnuCall interpretCall 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 maxMethodBefore maxLitIndex ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceStoreCheckTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceClosureCopyTrampoline ceCreateNewArrayTrampoline ceEnterCogCodePopReceiverReg ceEnterCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceActiveContextTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline cePositive32BitIntegerTrampoline ceImplicitReceiverTrampoline ceExplicitReceiverTrampoline ceCaptureCStackPointers ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetSP sendTrampolines superSendTrampolines dynamicSuperSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCEEnterCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner cogMethodSurrogateClass cogBlockMethodSurrogateClass extA extB' classVariableNames: 'AltBlockCreationBytecodeSize AltNSSendIsPCAnnotated AnnotationConstantNames AnnotationShift BlockCreationBytecodeSize Debug DisplacementMask DisplacementX2N EagerInstructionDecoration EncounteredUnknownBytecode FirstAnnotation HasBytecodePC InsufficientCodeSpace IsAbsPCReference IsDisplacement IsDisplacementX2N IsNSSendCall IsObjectReference IsRelativeCall IsSendCall MapEnd MaxCompiledPrimitiveIndex MaxNegativeErrorCode MaxStackAllocSize MaxUnitDisplacement MaxX2NDisplacement MethodTooBig NSSendIsPCAnnotated NotFullyInitialized NumObjRefsInRuntime NumSendTrampolines NumTrampolines ProcessorClass YoungSelectorInPIC' poolDictionaries: '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 added: + ----- Method: Cogit>>blockAlignment (in category 'accessing') ----- + blockAlignment + <cmacro: '(self) 8'> + self assert: (methodZone roundUpLength: 1) = 8. + ^8! Item was removed: - ----- Method: Cogit>>ceStoreCheckTrampoline (in category 'accessing') ----- - ceStoreCheckTrampoline - <cmacro: '() ceStoreCheckTrampoline'> - ^ceStoreCheckTrampoline! Item was changed: ----- Method: Cogit>>compileBlockEntry: (in category 'compile abstract instructions') ----- compileBlockEntry: blockStart "Compile a block's entry. This looks like a dummy CogBlockMethod header (for frame parsing) followed by either a frame build, if a frame is required, or nothing. The CogMethodHeader's objectHeader field is a back pointer to the method, but this can't be filled in until code generation." <var: #blockStart type: #'BlockStart *'> + self AlignmentNops: self blockAlignment. - "Block method headers must be aligned on the correct boundary, just like non-block method headers." - self AlignmentNops: (methodZone roundUpLength: 1). blockStart fakeHeader: self Label. (self sizeof: CogBlockMethod) caseOf: { [2 * BytesPerWord] "ObjectMemory" -> [self Fill32: 0. "gets filled in later with the homeOffset and startpc" self Fill32: 0]. "gets filled in later with numArgs et al" [3 * BytesPerWord] "Spur" -> [self Fill32: 0. "gets filled in later with the homeOffset and startpc" self Fill32: 0. "is left fallow" self Fill32: 0]. "gets filled in later with numArgs et al" }. blockStart entryLabel: self Label. needsFrame ifTrue: [self compileBlockFrameBuild: blockStart. self recordBlockTrace ifTrue: [self CallRT: ceTraceBlockActivationTrampoline]] ifFalse: [self compileBlockFramelessEntry: blockStart]! Item was changed: ----- Method: Cogit>>generateRunTimeTrampolines (in category 'initialization') ----- generateRunTimeTrampolines "Generate the run-time entries at the base of the native code zone and update the base." + ceSendMustBeBooleanAddFalseTrampoline := self genMustBeBooleanTrampolineFor: objectMemory falseObject called: 'ceSendMustBeBooleanAddFalseTrampoline'. ceSendMustBeBooleanAddTrueTrampoline := self genMustBeBooleanTrampolineFor: objectMemory trueObject called: 'ceSendMustBeBooleanAddTrueTrampoline'. ceClosureCopyTrampoline := self genTrampolineFor: #ceClosureCopyDescriptor: called: 'ceClosureCopyTrampoline' arg: SendNumArgsReg result: ReceiverResultReg. ceActiveContextTrampoline := self genActiveContextTrampoline. ceNonLocalReturnTrampoline := self genNonLocalReturnTrampoline. ceBaseFrameReturnTrampoline := self genTrampolineFor: #ceBaseFrameReturn: called: 'ceBaseFrameReturnTrampoline' arg: ReceiverResultReg. ceCreateNewArrayTrampoline := self genTrampolineFor: #ceNewArraySlotSize: called: 'ceCreateNewArrayTrampoline' arg: SendNumArgsReg result: ReceiverResultReg. ceCheckForInterruptTrampoline := self genCheckForInterruptsTrampoline. - ceStoreCheckTrampoline := objectRepresentation genStoreCheckTrampoline. ceFetchContextInstVarTrampoline := self genTrampolineFor: #ceContext:instVar: called: 'ceFetchContextInstVarTrampoline' arg: ReceiverResultReg arg: SendNumArgsReg result: SendNumArgsReg. ceStoreContextInstVarTrampoline := self genTrampolineFor: #ceContext:instVar:value: called: 'ceStoreContextInstVarTrampoline' arg: ReceiverResultReg arg: SendNumArgsReg arg: ClassReg result: ReceiverResultReg. "to keep ReceiverResultReg live." cePositive32BitIntegerTrampoline := self genTrampolineFor: #cePositive32BitIntegerFor: called: 'cePositive32BitIntegerTrampoline' arg: ReceiverResultReg result: TempReg. ceReturnToInterpreterTrampoline := self genTrampolineFor: #ceReturnToInterpreter: called: 'ceReturnToInterpreterTrampoline' arg: ReceiverResultReg. ceCannotResumeTrampoline := self genTrampolineFor: #ceCannotResume called: 'ceCannotResumeTrampoline'! Item was changed: ----- Method: Cogit>>generateTrampolines (in category 'initialization') ----- generateTrampolines "Generate the run-time entries and exits at the base of the native code zone and update the base. Read the class-side method trampolines for documentation on the various trampolines" | methodZoneStart | methodZoneStart := methodZoneBase. self allocateOpcodes: 40 bytecodes: 0. initialPC := 0. endPC := numAbstractOpcodes - 1. hasYoungReferent := false. self generateSendTrampolines. self generateMissAbortTrampolines. + objectRepresentation generateObjectRepresentationTrampolines. self generateRunTimeTrampolines. self cppIf: NewspeakVM ifTrue: [self generateNewspeakRuntime]. self generateEnilopmarts. self generateTracingTrampolines. "finish up" self recordGeneratedRunTime: 'methodZoneBase' address: methodZoneBase. processor flushICacheFrom: methodZoneStart to: methodZoneBase. self cCode: '' inSmalltalk: [simulatedTrampolines keysAndValuesDo: [:addr :selector| simulatedTrampolines at: addr put: (MessageSend receiver: ((self respondsTo: selector) ifTrue: [self] ifFalse: [(coInterpreter respondsTo: selector) ifTrue: [coInterpreter] ifFalse: [(objectMemory respondsTo: selector) ifTrue: [objectMemory] ifFalse: [self notify: 'cannot find receiver for ', selector]]]) selector: selector arguments: (1 to: selector numArgs) asArray)]]! Item was added: + ----- Method: Spur32BitCoMemoryManager>>ceClassAtIndex: (in category 'trampolines') ----- + ceClassAtIndex: classIndex + <api> + | result | + result := self classAtIndex: classIndex. + self assert: (coInterpreter addressCouldBeClassObj: result). + ^result! Item was changed: ----- Method: SpurMemoryManager>>addressCouldBeObj: (in category 'debug support') ----- addressCouldBeObj: address + <api> self flag: #temporary. "include futureSpace for now (while debugging the scavenger)" ^(address bitAnd: self baseHeaderSize - 1) = 0 and: [(self isInOldSpace: address) or: (self isInEden: address) or: [(self isInSurvivorSpace: address) or: [scavengeInProgress and: [self isInFutureSpace: address]]]]! Item was changed: ----- Method: SpurMemoryManager>>isIntegerObject: (in category 'object testing') ----- isIntegerObject: oop "This list records the valid senders of isIntegerObject: as we replace uses of isIntegerObject: by isImmediate: where appropriate." | sel | sel := thisContext sender method selector. (#( DoIt DoItIn: on:do: "from the debugger" makeBaseFrameFor: quickFetchInteger:ofObject: frameOfMarriedContext: objCouldBeClassObj: isMarriedOrWidowedContext: shortPrint: bytecodePrimAt bytecodePrimAtPut commonAt: commonAtPut: loadFloatOrIntFrom: positive32BitValueOf: primitiveExternalCall checkedIntegerValueOf: bytecodePrimAtPut commonAtPut: primitiveVMParameter checkIsStillMarriedContext:currentFP: displayBitsOf:Left:Top:Right:Bottom: fetchStackPointerOf: primitiveContextAt primitiveContextAtPut subscript:with:storing:format: printContext: compare31or32Bits:equal: signed64BitValueOf: primDigitMultiply:negative: digitLength: isNegativeIntegerValueOf: magnitude64BitValueOf: primitiveMakePoint primitiveAsCharacter primitiveInputSemaphore baseFrameReturn primitiveExternalCall primDigitCompare: isLiveContext: numPointerSlotsOf: fileValueOf: loadBitBltDestForm fetchIntOrFloat:ofObject:ifNil: fetchIntOrFloat:ofObject: loadBitBltSourceForm loadPoint:from: primDigitAdd: primDigitSubtract: positive64BitValueOf: digitBitLogic:with:opIndex: signed32BitValueOf: isNormalized: primDigitDiv:negative: bytesOrInt:growTo: primitiveNewMethod isCogMethodReference: functionForPrimitiveExternalCall: genSpecialSelectorArithmetic genSpecialSelectorComparison ensureContextHasBytecodePC: + instVar:ofContext: + ceBaseFrameReturn: + inlineCacheTagForInstance: + primitiveObjectAtPut) includes: sel) ifFalse: - instVar:ofContext:) includes: sel) ifFalse: [self halt]. ^(oop bitAnd: 1) ~= 0! Item was changed: ----- Method: StackInterpreter>>lookupMethodFor:InDictionary: (in category 'message sending') ----- lookupMethodFor: selector InDictionary: dictionary "Lookup the argument selector in aDictionary and answer either the method or nil, if not found. This method lookup tolerates integers as Dictionary keys to support execution of images in which Symbols have been compacted out." | length index mask wrapAround nextSelector methodArray | <inline: true> <asmLabel: false> length := objectMemory fetchWordLengthOf: dictionary. mask := length - SelectorStart - 1. + index := SelectorStart + (mask bitAnd: ((objectMemory isImmediate: selector) - index := SelectorStart + (mask bitAnd: ((objectMemory isIntegerObject: selector) ifTrue: [objectMemory integerValueOf: selector] ifFalse: [objectMemory hashBitsOf: selector])). "It is assumed that there are some nils in this dictionary, and search will stop when one is encountered. However, if there are no nils, then wrapAround will be detected the second time the loop gets to the end of the table." wrapAround := false. [true] whileTrue: [nextSelector := objectMemory fetchPointer: index ofObject: dictionary. nextSelector = objectMemory nilObject ifTrue: [^nil]. nextSelector = selector ifTrue: [methodArray := objectMemory fetchPointer: MethodArrayIndex ofObject: dictionary. ^objectMemory fetchPointer: index - SelectorStart ofObject: methodArray]. index := index + 1. index = length ifTrue: [wrapAround ifTrue: [^nil]. wrapAround := true. index := SelectorStart]]. ^nil "for Slang"!

1 0

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 October 2013