Vm-dev February 2017

vm-dev@lists.squeakfoundation.org

24 participants
79 discussions

Re: [Vm-dev] [Pharo-dev] Points, Free type fonts cache and memory leaks
by Ben Coman 14 Feb '17

14 Feb '17

On Tue, Feb 14, 2017 at 9:54 PM, Pavel Krivanek <pavel.krivanek(a)gmail.com> wrote: > Hi, > > It is very common to see in actively used images that the number of > instances of Point is very high. Sometimes in order of hundreds of > thousands. There is several reasons for that: > > Pharo every few milliseconds checks for the new display size. That check > generates two instances of Point that are not garbage collected in > reasonably short time. So if you periodically check the result of "Point > allInstances size", you will see that it is quickly growing. > On the other hand. That Point instances are not referenced by anyone so as > soon as you do Smalltalk garbageCollect, the amount of Points in reduced. > And they are correctly garbage collected by the VM after some time which is > often longer than one minute. So no action needed. Even though these get cleared out, its still extra work for the GC. Presumably most of the time the display size is identical to the last one, so I wonder if the existing screen size might be passed to the primitive to test and avoid creating a new new point if its the same. Off the top of my head, something like this (untested)... MorphicUIManager >> checkForNewDisplaySize Display hasScreenSizeChanged ifFalse: [^ Display]. DisplayScreen startUp. World restoreMorphicDisplay. DisplayScreen >> hasScreenSizeChanged ^self class isActualScreenSizeX: width Y: height. DisplayScreen class >> isActualScreenSizeX: width Y: height <primitive: 106> InterpreterPrimitives >> primitiveScreenSize "primitive 106" "no arguments(original) ==> DisplayScreen_class>>actualScreenSize ; returning new Point from ioScreenSIze " "two arguments ==> DisplayScreen_class>>isActualyScreenSizeX;Y: ; returning Boolean of whether X,Y match ioScreenSize" | pointWord x y| pointWord := self ioScreenSize. x := pointWord >> 16 bitAnd: 65535. y := pointWord bitAnd: 65535. argumentCount = 2 ifTrue: [ ((x = (self stackValue: 1)) and: [y = (self stackTop)]) ifTrue: [self pop: 3 thenPush: objectMemory trueObject] ifFalse: [self pop: 3 thenPush: objectMemory trueObject]. ]. self pop: 1 thenPush: (self makePointwithxValue: x yValue: y) <snipped other sources of Points> cheers -ben

3 2

VM Maker: VMMaker.oscogSPC-eem.2129.mcz
by commits＠source.squeak.org 14 Feb '17

14 Feb '17

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscogSPC-eem.2129.mcz ==================== Summary ==================== Name: VMMaker.oscogSPC-eem.2129 Author: eem Time: 14 February 2017, 10:16:49.684561 am UUID: dd569427-3aa5-40f1-963d-0637233a91a9 Ancestors: VMMaker.oscogSPC-eem.2128, VMMaker.oscog-rsf.2128 InterpreterPrimitives: Fix slip in primitiveSmallFloatSquareRoot 64-bit Cogit: Fix generation of CallR. Merge with VMMaker.oscog-rsf.2127 & 2128. =============== Diff against VMMaker.oscogSPC-eem.2128 =============== Item was added: + ----- Method: CoInterpreter>>lowcodeDoCallout: (in category 'inline primitive ffi abi') ----- + lowcodeDoCallout: functionPointer + <option: #LowcodeVM> + <var: #functionPointer type: #'char*' > + self undoFetchNextBytecode. + self externalizeIPandSP. + self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. + instructionPointer = cogit ceReturnToInterpreterPC ifTrue: [ + instructionPointer := self iframeSavedIP: framePointer. + ]. + self internalizeIPandSP. + self reloadLowcodeStateAfterCallout. + self fetchNextBytecode. + ^ self lowcodeCalloutStateFetchResultFloat32: lowcodeCalloutState! Item was added: + ----- Method: CogIA32Compiler>>registerToSaveIP (in category 'abi') ----- + registerToSaveIP + "Temporary register used for fetching the instruction pointer. This should + not be used for passing parameters in a standard ABI" + <option: #LowcodeVM> + ^ ClassReg! Item was added: + ----- Method: CogMethod>>counters (in category 'accessing') ----- + counters + ^ 0! Item was changed: ----- Method: CogX64Compiler>>computeMaximumSize (in category 'generate machine code') ----- (excessive size, no diff calculated) Item was changed: ----- Method: CogX64Compiler>>concretizeCallR (in category 'generate machine code') ----- concretizeCallR "Will get inlined into concretizeAt: switch." <inline: true> + | reg | - | reg skip | reg := operands at: 0. - (reg <= 7) - ifTrue: [skip := 0] - ifFalse: [skip := 1. machineCode at: 0 put: (self rexw: false r: 0 x: 0 b: reg). (skip := 1)]. - machineCode + at: 0 put: (self rexR: 0 x: 0 b: reg); + at: 1 put: 16rFF; + at: 2 put: (self mod: ModReg RM: reg RO: 2). + ^machineCodeSize := 3! - at: skip + 0 put: 16rFF; - at: skip + 1 put: (self mod: ModReg RM: reg RO: 2). - ^machineCodeSize := 2! Item was added: + ----- Method: CogX64Compiler>>registerToSaveIP (in category 'abi') ----- + registerToSaveIP + "Temporary register used for fetching the instruction pointer. This should + not be used for passing parameters in a standard ABI" + <option: #LowcodeVM> + ^ R15! Item was changed: ----- Method: Cogit>>checkIfValidOopRefAndTarget:pc:cogMethod: (in category 'garbage collection') ----- checkIfValidOopRefAndTarget: annotation pc: mcpc cogMethod: cogMethod "Check for a valid object reference, if any, at a map entry. Answer a code unique to each error for debugging." <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> | literal entryPoint | annotation = IsObjectReference ifTrue: [literal := literalsManager fetchLiteralAtAnnotatedAddress: mcpc asUnsignedInteger using: backEnd. (self asserta: (objectRepresentation checkValidOopReference: literal)) ifFalse: [^1]. ((objectRepresentation couldBeObject: literal) and: [objectMemory isReallyYoungObject: literal]) ifTrue: [(self asserta: (self cCoerceSimple: cogMethod to: #'CogMethod *') cmRefersToYoung) ifFalse: [^2]]]. NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: [| nsSendCache classTag enclosingObject nsTargetMethod | nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. (self asserta: (objectRepresentation checkValidOopReference: nsSendCache selector)) ifFalse: [^9]. classTag := nsSendCache classTag. (self asserta: (classTag = 0 or: [objectRepresentation validInlineCacheTag: classTag])) ifFalse: [^10]. enclosingObject := nsSendCache enclosingObject. (self asserta: (enclosingObject = 0 or: [objectRepresentation checkValidOopReference: enclosingObject])) ifFalse: [^11]. entryPoint := nsSendCache target. entryPoint ~= 0 ifTrue: [ nsTargetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. (self asserta: (nsTargetMethod cmType = CMMethod)) ifFalse: [^12]]]]. (self isPureSendAnnotation: annotation) ifTrue: [(self asserta: (self cCoerceSimple: cogMethod to: #'CogMethod *') cmType = CMMethod) ifFalse: [^3]. self entryCacheTagAndCouldBeObjectAt: mcpc annotation: annotation into: [:entryPt :cacheTag :tagCouldBeObject| entryPoint := entryPt. tagCouldBeObject ifTrue: [(objectRepresentation couldBeObject: cacheTag) ifTrue: [(self asserta: (objectRepresentation checkValidOopReference: cacheTag)) ifFalse: [^4]] ifFalse: [(self asserta: (objectRepresentation validInlineCacheTag: cacheTag)) ifFalse: [^5]]. ((objectRepresentation couldBeObject: cacheTag) and: [objectMemory isReallyYoungObject: cacheTag]) ifTrue: [(self asserta: (self cCoerceSimple: cogMethod to: #'CogMethod *') cmRefersToYoung) ifFalse: [^6]]] ifFalse: [(self inlineCacheTagsAreIndexes + and: [self entryPointTagIsSelector: entryPoint]) - and: [self self entryPointTagIsSelector: entryPoint]) ifTrue: [cacheTag signedIntFromLong < 0 ifTrue: [cacheTag signedIntFromLong negated > NumSpecialSelectors ifTrue: [^7]] ifFalse: [cacheTag >= (objectMemory literalCountOf: enumeratingCogMethod methodObject) ifTrue: [^8]]] ifFalse: [(self asserta: (objectRepresentation validInlineCacheTag: cacheTag)) ifFalse: [^9]]]]. entryPoint > methodZoneBase ifTrue: ["It's a linked send; find which kind." self targetMethodAndSendTableFor: entryPoint annotation: annotation into: [:targetMethod :sendTable| (self asserta: (targetMethod cmType = CMMethod or: [targetMethod cmType = CMClosedPIC or: [targetMethod cmType = CMOpenPIC]])) ifFalse: [^10]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>genFFICalloutTrampoline (in category 'initialization') ----- genFFICalloutTrampoline <option: #LowcodeVM> | startAddress | opcodeIndex := 0. backEnd hasLinkRegister ifTrue: [ self MoveR: LinkReg Aw: coInterpreter instructionPointerAddress ] ifFalse: [ + self PopR: backEnd registerToSaveIP. + self MoveR: backEnd registerToSaveIP Aw: coInterpreter instructionPointerAddress - self PopR: ClassReg. - self MoveR: ClassReg Aw: coInterpreter instructionPointerAddress ]. self CallR: TempReg. backEnd hasLinkRegister ifTrue: [ self MoveAw: coInterpreter instructionPointerAddress R: LinkReg ] ifFalse: [ + self MoveAw: coInterpreter instructionPointerAddress R: backEnd registerToSaveIP. + self PushR: backEnd registerToSaveIP. - self MoveAw: coInterpreter instructionPointerAddress R: ClassReg. - self PushR: ClassReg. ]. self RetN: 0. startAddress := methodZoneBase. self outputInstructionsForGeneratedRuntimeAt: startAddress. self recordGeneratedRunTime: 'ceFFICalloutTrampoline' address: startAddress. self recordRunTimeObjectReferences. ^ startAddress ! Item was changed: ----- Method: InterpreterPrimitives>>primitiveSmallFloatSquareRoot (in category 'arithmetic float primitives') ----- primitiveSmallFloatSquareRoot <option: #Spur64BitMemoryManager> + <var: #rcvr type: #double> | rcvr | rcvr := objectMemory smallFloatValueOf: self stackTop. rcvr >= 0.0 ifTrue: [self stackTopPut: (objectMemory floatObjectOf: rcvr sqrt)] ifFalse: [self primitiveFail]! Item was removed: - ----- Method: StackInterpreter>>lowcodeCallout:structureResult: (in category 'inline primitive ffi abi') ----- - lowcodeCallout: functionPointer structureResult: resultPointer - <option: #LowcodeVM> - <var: #functionPointer type: #'char*' > - <var: #resultPointer type: #'char*' > - self internalPushShadowCallStackPointer: resultPointer. - self externalizeIPandSP. - self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. - self internalizeIPandSP. - self reloadLowcodeStateAfterCallout. - ^ self lowcodeCalloutStateFetchResultStructure: lowcodeCalloutState! Item was removed: - ----- Method: StackInterpreter>>lowcodeCalloutFloat32Result: (in category 'inline primitive ffi abi') ----- - lowcodeCalloutFloat32Result: functionPointer - <option: #LowcodeVM> - <var: #functionPointer type: #'char*' > - self externalizeIPandSP. - self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. - self internalizeIPandSP. - self reloadLowcodeStateAfterCallout. - ^ self lowcodeCalloutStateFetchResultFloat32: lowcodeCalloutState! Item was removed: - ----- Method: StackInterpreter>>lowcodeCalloutFloat64Result: (in category 'inline primitive ffi abi') ----- - lowcodeCalloutFloat64Result: functionPointer - <option: #LowcodeVM> - <var: #functionPointer type: #'char*' > - self externalizeIPandSP. - self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. - self internalizeIPandSP. - self reloadLowcodeStateAfterCallout. - ^ self lowcodeCalloutStateFetchResultFloat64: lowcodeCalloutState! Item was removed: - ----- Method: StackInterpreter>>lowcodeCalloutInt32Result: (in category 'inline primitive ffi abi') ----- - lowcodeCalloutInt32Result: functionPointer - <option: #LowcodeVM> - <var: #functionPointer type: #'char*' > - self externalizeIPandSP. - self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. - self internalizeIPandSP. - self reloadLowcodeStateAfterCallout. - ^ self lowcodeCalloutStateFetchResultInt32: lowcodeCalloutState! Item was removed: - ----- Method: StackInterpreter>>lowcodeCalloutInt64Result: (in category 'inline primitive ffi abi') ----- - lowcodeCalloutInt64Result: functionPointer - <option: #LowcodeVM> - <var: #functionPointer type: #'char*' > - self externalizeIPandSP. - self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. - self internalizeIPandSP. - self reloadLowcodeStateAfterCallout. - ^ self lowcodeCalloutStateFetchResultInt64: lowcodeCalloutState! Item was removed: - ----- Method: StackInterpreter>>lowcodeCalloutPointerResult: (in category 'inline primitive ffi abi') ----- - lowcodeCalloutPointerResult: functionPointer - <option: #LowcodeVM> - <var: #functionPointer type: #'char*' > - self externalizeIPandSP. - self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. - self internalizeIPandSP. - self reloadLowcodeStateAfterCallout. - ^ self lowcodeCalloutStateFetchResultPointer: lowcodeCalloutState! Item was added: + ----- Method: StackInterpreter>>lowcodeDoCallout: (in category 'inline primitive ffi abi') ----- + lowcodeDoCallout: functionPointer + <option: #LowcodeVM> + <var: #functionPointer type: #'char*' > + self undoFetchNextBytecode. + self externalizeIPandSP. + self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. + self internalizeIPandSP. + self reloadLowcodeStateAfterCallout. + self fetchNextBytecode. + ^ self lowcodeCalloutStateFetchResultFloat32: lowcodeCalloutState! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallFloat32 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallFloat32 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'float' > - function := extA. - - result := self lowcodeCalloutFloat32Result: (self cCoerce: function to: #'char*'). - - self internalPushFloat32: result. - extA := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallFloat64 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallFloat64 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'double' > - function := extA. - - result := self lowcodeCalloutFloat64Result: (self cCoerce: function to: #'char*'). - - self internalPushFloat64: result. - extA := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectFloat32 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectFloat32 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'float' > - <var: #function type: #'char*' > - function := self internalPopStackPointer. - - result := self lowcodeCalloutFloat32Result: function. - - self internalPushFloat32: result. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectFloat64 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectFloat64 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'double' > - <var: #function type: #'char*' > - function := self internalPopStackPointer. - - result := self lowcodeCalloutFloat64Result: function. - - self internalPushFloat64: result. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectInt32 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectInt32 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'sqInt' > - <var: #function type: #'char*' > - function := self internalPopStackPointer. - - result := self lowcodeCalloutInt32Result: function. - - self internalPushInt32: result. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectInt64 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectInt64 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'sqLong' > - <var: #function type: #'char*' > - function := self internalPopStackPointer. - - result := self lowcodeCalloutInt64Result: function. - - self internalPushInt64: result. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectPointer (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectPointer - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'char*' > - <var: #function type: #'char*' > - function := self internalPopStackPointer. - - result := self lowcodeCalloutPointerResult: function. - - self internalPushPointer: result. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectStructure (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectStructure - <option: #LowcodeVM> "Lowcode instruction generator" - | resultPointer result function structureSize | - <var: #resultPointer type: #'char*' > - <var: #result type: #'char*' > - <var: #function type: #'char*' > - structureSize := extA. - result := self internalPopStackPointer. - function := self internalPopStackPointer. - - resultPointer := self lowcodeCallout: function structureResult: result. - - self internalPushPointer: resultPointer. - extA := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectVoid (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectVoid - <option: #LowcodeVM> "Lowcode instruction generator" - | function | - <var: #function type: #'char*' > - function := self internalPopStackPointer. - - self lowcodeCalloutInt32Result: function. - - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallInt32 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallInt32 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'sqInt' > - function := extA. - - result := self lowcodeCalloutInt32Result: (self cCoerce: function to: #'char*'). - - self internalPushInt32: result. - extA := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallInt64 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallInt64 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'sqLong' > - function := extA. - - result := self lowcodeCalloutInt64Result: (self cCoerce: function to: #'char*'). - - self internalPushInt64: result. - extA := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallPointer (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallPointer - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'char*' > - function := extA. - - result := self lowcodeCalloutPointerResult: (self cCoerce: function to: #'char*'). - - self internalPushPointer: result. - extA := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallStructure (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallStructure - <option: #LowcodeVM> "Lowcode instruction generator" - | resultPointer result function structureSize | - <var: #resultPointer type: #'char*' > - <var: #result type: #'char*' > - function := extA. - structureSize := extB. - result := self internalPopStackPointer. - - self internalPushShadowCallStackPointer: result. - resultPointer := self lowcodeCalloutPointerResult: (self cCoerce: function to: #'char*'). - - self internalPushPointer: resultPointer. - extA := 0. - extB := 0. - numExtB := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallVoid (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallVoid - <option: #LowcodeVM> "Lowcode instruction generator" - | function | - function := extA. - - self lowcodeCalloutInt32Result: (self cCoerce: function to: #'char*'). - - extA := 0. - - ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePerformCallout (in category 'inline primitive generated code') ----- + lowcodePrimitivePerformCallout + <option: #LowcodeVM> "Lowcode instruction generator" + | function | + function := extA. + + self lowcodeDoCallout: (self cCoerce: function to: #'char*'). + + extA := 0. + + ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePerformCalloutIndirect (in category 'inline primitive generated code') ----- + lowcodePrimitivePerformCalloutIndirect + <option: #LowcodeVM> "Lowcode instruction generator" + | function | + <var: #function type: #'char*' > + function := self internalPopStackPointer. + + self lowcodeDoCallout: function. + + + ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePushCalloutResultFloat32 (in category 'inline primitive generated code') ----- + lowcodePrimitivePushCalloutResultFloat32 + <option: #LowcodeVM> "Lowcode instruction generator" + | result | + <var: #result type: #'float' > + + result := self lowcodeCalloutStateFetchResultFloat32: lowcodeCalloutState. + + self internalPushFloat32: result. + + ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePushCalloutResultFloat64 (in category 'inline primitive generated code') ----- + lowcodePrimitivePushCalloutResultFloat64 + <option: #LowcodeVM> "Lowcode instruction generator" + | result | + <var: #result type: #'double' > + + result := self lowcodeCalloutStateFetchResultFloat64: lowcodeCalloutState. + + self internalPushFloat64: result. + + ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePushCalloutResultInt32 (in category 'inline primitive generated code') ----- + lowcodePrimitivePushCalloutResultInt32 + <option: #LowcodeVM> "Lowcode instruction generator" + | result | + <var: #result type: #'sqInt' > + + result := self lowcodeCalloutStateFetchResultInt32: lowcodeCalloutState. + + self internalPushInt32: result. + + ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePushCalloutResultInt64 (in category 'inline primitive generated code') ----- + lowcodePrimitivePushCalloutResultInt64 + <option: #LowcodeVM> "Lowcode instruction generator" + | result | + <var: #result type: #'sqLong' > + + result := self lowcodeCalloutStateFetchResultInt64: lowcodeCalloutState. + + self internalPushInt64: result. + + ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePushCalloutResultPointer (in category 'inline primitive generated code') ----- + lowcodePrimitivePushCalloutResultPointer + <option: #LowcodeVM> "Lowcode instruction generator" + | result | + <var: #result type: #'char*' > + + result := self lowcodeCalloutStateFetchResultPointer: lowcodeCalloutState. + + self internalPushPointer: result. + + ! Item was changed: ----- Method: StackInterpreter>>lowcodeUnaryInlinePrimitive3: (in category 'inline primitive dispatch generated code') ----- lowcodeUnaryInlinePrimitive3: prim <option: #LowcodeVM> "Lowcode instruction interpreter dispatch" prim caseOf: { [120] -> [ ^ self lowcodePrimitiveLoadObjectField ]. [121] -> [ ^ self lowcodePrimitiveLoadPointerFromMemory ]. [122] -> [ ^ self lowcodePrimitiveLoadUInt16FromMemory ]. [123] -> [ ^ self lowcodePrimitiveLoadUInt32FromMemory ]. [124] -> [ ^ self lowcodePrimitiveLoadUInt64FromMemory ]. [125] -> [ ^ self lowcodePrimitiveLoadUInt8FromMemory ]. [126] -> [ ^ self lowcodePrimitiveLocalFrameSize ]. [127] -> [ ^ self lowcodePrimitiveLockRegisters ]. [128] -> [ ^ self lowcodePrimitiveLockVM ]. [129] -> [ ^ self lowcodePrimitiveMalloc32 ]. [130] -> [ ^ self lowcodePrimitiveMalloc64 ]. [131] -> [ ^ self lowcodePrimitiveMemcpy32 ]. [132] -> [ ^ self lowcodePrimitiveMemcpy64 ]. [133] -> [ ^ self lowcodePrimitiveMemcpyFixed ]. [134] -> [ ^ self lowcodePrimitiveMoveFloat32ToPhysical ]. [135] -> [ ^ self lowcodePrimitiveMoveFloat64ToPhysical ]. [136] -> [ ^ self lowcodePrimitiveMoveInt32ToPhysical ]. [137] -> [ ^ self lowcodePrimitiveMoveInt64ToPhysical ]. [138] -> [ ^ self lowcodePrimitiveMovePointerToPhysical ]. [139] -> [ ^ self lowcodePrimitiveMul32 ]. [140] -> [ ^ self lowcodePrimitiveMul64 ]. [141] -> [ ^ self lowcodePrimitiveNeg32 ]. [142] -> [ ^ self lowcodePrimitiveNeg64 ]. [143] -> [ ^ self lowcodePrimitiveNot32 ]. [144] -> [ ^ self lowcodePrimitiveNot64 ]. [145] -> [ ^ self lowcodePrimitiveOr32 ]. [146] -> [ ^ self lowcodePrimitiveOr64 ]. + [147] -> [ ^ self lowcodePrimitivePerformCallout ]. + [148] -> [ ^ self lowcodePrimitivePerformCalloutIndirect ]. + [149] -> [ ^ self lowcodePrimitivePushCalloutResultFloat32 ]. + [150] -> [ ^ self lowcodePrimitivePushCalloutResultFloat64 ]. + [151] -> [ ^ self lowcodePrimitivePushCalloutResultInt32 ]. + [152] -> [ ^ self lowcodePrimitivePushCalloutResultInt64 ]. + [153] -> [ ^ self lowcodePrimitivePushCalloutResultPointer ]. - [147] -> [ ^ self lowcodePrimitivePerformCallFloat32 ]. - [148] -> [ ^ self lowcodePrimitivePerformCallFloat64 ]. - [149] -> [ ^ self lowcodePrimitivePerformCallIndirectFloat32 ]. - [150] -> [ ^ self lowcodePrimitivePerformCallIndirectFloat64 ]. - [151] -> [ ^ self lowcodePrimitivePerformCallIndirectInt32 ]. - [152] -> [ ^ self lowcodePrimitivePerformCallIndirectInt64 ]. - [153] -> [ ^ self lowcodePrimitivePerformCallIndirectPointer ]. - [154] -> [ ^ self lowcodePrimitivePerformCallIndirectStructure ]. - [155] -> [ ^ self lowcodePrimitivePerformCallIndirectVoid ]. - [156] -> [ ^ self lowcodePrimitivePerformCallInt32 ]. - [157] -> [ ^ self lowcodePrimitivePerformCallInt64 ]. - [158] -> [ ^ self lowcodePrimitivePerformCallPointer ]. - [159] -> [ ^ self lowcodePrimitivePerformCallStructure ]. - [160] -> [ ^ self lowcodePrimitivePerformCallVoid ]. [161] -> [ ^ self lowcodePrimitivePlaftormCode ]. [162] -> [ ^ self lowcodePrimitivePointerAddConstantOffset ]. [163] -> [ ^ self lowcodePrimitivePointerAddOffset32 ]. [164] -> [ ^ self lowcodePrimitivePointerAddOffset64 ]. [165] -> [ ^ self lowcodePrimitivePointerEqual ]. [166] -> [ ^ self lowcodePrimitivePointerNotEqual ]. [167] -> [ ^ self lowcodePrimitivePointerToInt32 ]. [168] -> [ ^ self lowcodePrimitivePointerToInt64 ]. [169] -> [ ^ self lowcodePrimitivePopFloat32 ]. [170] -> [ ^ self lowcodePrimitivePopFloat64 ]. [171] -> [ ^ self lowcodePrimitivePopInt32 ]. [172] -> [ ^ self lowcodePrimitivePopInt64 ]. [173] -> [ ^ self lowcodePrimitivePopMultipleNative ]. [174] -> [ ^ self lowcodePrimitivePopPointer ]. [175] -> [ ^ self lowcodePrimitivePushConstantUInt32 ]. [176] -> [ ^ self lowcodePrimitivePushConstantUInt64 ]. [177] -> [ ^ self lowcodePrimitivePushNullPointer ]. [178] -> [ ^ self lowcodePrimitivePushOne32 ]. [179] -> [ ^ self lowcodePrimitivePushOne64 ]. + [180] -> [ ^ self lowcodePrimitivePushOneFloat32 ]. + [181] -> [ ^ self lowcodePrimitivePushOneFloat64 ]. + [182] -> [ ^ self lowcodePrimitivePushPhysicalFloat32 ]. + [183] -> [ ^ self lowcodePrimitivePushPhysicalFloat64 ]. + [184] -> [ ^ self lowcodePrimitivePushPhysicalInt32 ]. + [185] -> [ ^ self lowcodePrimitivePushPhysicalInt64 ]. + [186] -> [ ^ self lowcodePrimitivePushPhysicalPointer ]. } otherwise: [ ^ self lowcodeUnaryInlinePrimitive4: prim ]. ! Item was changed: ----- Method: StackInterpreter>>lowcodeUnaryInlinePrimitive4: (in category 'inline primitive dispatch generated code') ----- lowcodeUnaryInlinePrimitive4: prim <option: #LowcodeVM> "Lowcode instruction interpreter dispatch" prim caseOf: { - [180] -> [ ^ self lowcodePrimitivePushOneFloat32 ]. - [181] -> [ ^ self lowcodePrimitivePushOneFloat64 ]. - [182] -> [ ^ self lowcodePrimitivePushPhysicalFloat32 ]. - [183] -> [ ^ self lowcodePrimitivePushPhysicalFloat64 ]. - [184] -> [ ^ self lowcodePrimitivePushPhysicalInt32 ]. - [185] -> [ ^ self lowcodePrimitivePushPhysicalInt64 ]. - [186] -> [ ^ self lowcodePrimitivePushPhysicalPointer ]. [187] -> [ ^ self lowcodePrimitivePushSessionIdentifier ]. [188] -> [ ^ self lowcodePrimitivePushZero32 ]. [189] -> [ ^ self lowcodePrimitivePushZero64 ]. [190] -> [ ^ self lowcodePrimitivePushZeroFloat32 ]. [191] -> [ ^ self lowcodePrimitivePushZeroFloat64 ]. [192] -> [ ^ self lowcodePrimitiveRem32 ]. [193] -> [ ^ self lowcodePrimitiveRem64 ]. [194] -> [ ^ self lowcodePrimitiveRightShift32 ]. [195] -> [ ^ self lowcodePrimitiveRightShift64 ]. [196] -> [ ^ self lowcodePrimitiveSignExtend32From16 ]. [197] -> [ ^ self lowcodePrimitiveSignExtend32From8 ]. [198] -> [ ^ self lowcodePrimitiveSignExtend64From16 ]. [199] -> [ ^ self lowcodePrimitiveSignExtend64From32 ]. [200] -> [ ^ self lowcodePrimitiveSignExtend64From8 ]. [201] -> [ ^ self lowcodePrimitiveStoreFloat32ToMemory ]. [202] -> [ ^ self lowcodePrimitiveStoreFloat64ToMemory ]. [203] -> [ ^ self lowcodePrimitiveStoreInt16ToMemory ]. [204] -> [ ^ self lowcodePrimitiveStoreInt32ToMemory ]. [205] -> [ ^ self lowcodePrimitiveStoreInt64ToMemory ]. [206] -> [ ^ self lowcodePrimitiveStoreInt8ToMemory ]. [207] -> [ ^ self lowcodePrimitiveStoreLocalFloat32 ]. [208] -> [ ^ self lowcodePrimitiveStoreLocalFloat64 ]. [209] -> [ ^ self lowcodePrimitiveStoreLocalInt16 ]. [210] -> [ ^ self lowcodePrimitiveStoreLocalInt32 ]. [211] -> [ ^ self lowcodePrimitiveStoreLocalInt64 ]. [212] -> [ ^ self lowcodePrimitiveStoreLocalInt8 ]. [213] -> [ ^ self lowcodePrimitiveStoreLocalPointer ]. [214] -> [ ^ self lowcodePrimitiveStorePointerToMemory ]. [215] -> [ ^ self lowcodePrimitiveSub32 ]. [216] -> [ ^ self lowcodePrimitiveSub64 ]. [217] -> [ ^ self lowcodePrimitiveTruncate32To16 ]. [218] -> [ ^ self lowcodePrimitiveTruncate32To8 ]. [219] -> [ ^ self lowcodePrimitiveTruncate64To16 ]. [220] -> [ ^ self lowcodePrimitiveTruncate64To32 ]. [221] -> [ ^ self lowcodePrimitiveTruncate64To8 ]. [222] -> [ ^ self lowcodePrimitiveUdiv32 ]. [223] -> [ ^ self lowcodePrimitiveUdiv64 ]. [224] -> [ ^ self lowcodePrimitiveUint32Great ]. [225] -> [ ^ self lowcodePrimitiveUint32GreatEqual ]. [226] -> [ ^ self lowcodePrimitiveUint32Less ]. [227] -> [ ^ self lowcodePrimitiveUint32LessEqual ]. [228] -> [ ^ self lowcodePrimitiveUint32ToFloat32 ]. [229] -> [ ^ self lowcodePrimitiveUint32ToFloat64 ]. [230] -> [ ^ self lowcodePrimitiveUint64Great ]. [231] -> [ ^ self lowcodePrimitiveUint64GreatEqual ]. [232] -> [ ^ self lowcodePrimitiveUint64Less ]. [233] -> [ ^ self lowcodePrimitiveUint64LessEqual ]. [234] -> [ ^ self lowcodePrimitiveUint64ToFloat32 ]. [235] -> [ ^ self lowcodePrimitiveUint64ToFloat64 ]. [236] -> [ ^ self lowcodePrimitiveUmul32 ]. [237] -> [ ^ self lowcodePrimitiveUmul64 ]. [238] -> [ ^ self lowcodePrimitiveUnlockRegisters ]. [239] -> [ ^ self lowcodePrimitiveUnlockVM ]. + [240] -> [ ^ self lowcodePrimitiveUrem32 ]. + [241] -> [ ^ self lowcodePrimitiveUrem64 ]. + [242] -> [ ^ self lowcodePrimitiveXor32 ]. + [243] -> [ ^ self lowcodePrimitiveXor64 ]. + [244] -> [ ^ self lowcodePrimitiveZeroExtend32From16 ]. + [245] -> [ ^ self lowcodePrimitiveZeroExtend32From8 ]. + [246] -> [ ^ self lowcodePrimitiveZeroExtend64From16 ]. } otherwise: [ ^ self lowcodeUnaryInlinePrimitive5: prim ]. ! Item was changed: ----- Method: StackInterpreter>>lowcodeUnaryInlinePrimitive5: (in category 'inline primitive dispatch generated code') ----- lowcodeUnaryInlinePrimitive5: prim <option: #LowcodeVM> "Lowcode instruction interpreter dispatch" prim caseOf: { - [240] -> [ ^ self lowcodePrimitiveUrem32 ]. - [241] -> [ ^ self lowcodePrimitiveUrem64 ]. - [242] -> [ ^ self lowcodePrimitiveXor32 ]. - [243] -> [ ^ self lowcodePrimitiveXor64 ]. - [244] -> [ ^ self lowcodePrimitiveZeroExtend32From16 ]. - [245] -> [ ^ self lowcodePrimitiveZeroExtend32From8 ]. - [246] -> [ ^ self lowcodePrimitiveZeroExtend64From16 ]. [247] -> [ ^ self lowcodePrimitiveZeroExtend64From32 ]. [248] -> [ ^ self lowcodePrimitiveZeroExtend64From8 ]. } otherwise: [ localIP := localIP - 3. ^self respondToUnknownBytecode ]. ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallFloat32 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallFloat32 <option: #LowcodeVM> "Lowcode instruction generator" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. backEnd cFloatResultToRs: DPFPReg0. self ssPushNativeRegisterSingleFloat: DPFPReg0. extA := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallFloat64 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallFloat64 <option: #LowcodeVM> "Lowcode instruction generator" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. backEnd cFloatResultToRd: DPFPReg0. self ssPushNativeRegisterDoubleFloat: DPFPReg0. extA := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectFloat32 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectFloat32 <option: #LowcodeVM> "Lowcode instruction generator" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. backEnd cFloatResultToRs: DPFPReg0. self ssPushNativeRegisterSingleFloat: DPFPReg0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectFloat64 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectFloat64 <option: #LowcodeVM> "Lowcode instruction generator" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. backEnd cFloatResultToRd: DPFPReg0. self ssPushNativeRegisterDoubleFloat: DPFPReg0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectInt32 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectInt32 <option: #LowcodeVM> "Lowcode instruction generator" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectInt64 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectInt64 <option: #LowcodeVM> "Lowcode instruction generator" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. BytesPerWord = 4 ifTrue: [ self MoveR: backEnd cResultRegisterLow R: ReceiverResultReg. self MoveR: backEnd cResultRegisterHigh R: Arg0Reg. self ssPushNativeRegister: ReceiverResultReg secondRegister: Arg0Reg. ] ifFalse: [ self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. ]. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectPointer (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectPointer <option: #LowcodeVM> "Lowcode instruction generator" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectStructure (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectStructure <option: #LowcodeVM> "Lowcode instruction generator" "Push the result space" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self PushR: TempReg. "Fetch the function pointer" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. "Call the function" self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. "Fetch the result" self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. extA := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectVoid (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectVoid <option: #LowcodeVM> "Lowcode instruction generator" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallInt32 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallInt32 <option: #LowcodeVM> "Lowcode instruction generator" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. extA := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallInt64 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallInt64 <option: #LowcodeVM> "Lowcode instruction generator" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. BytesPerWord = 4 ifTrue: [ self MoveR: backEnd cResultRegisterLow R: ReceiverResultReg. self MoveR: backEnd cResultRegisterHigh R: Arg0Reg. self ssPushNativeRegister: ReceiverResultReg secondRegister: Arg0Reg. ] ifFalse: [ self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. ]. extA := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallPointer (in category 'inline primitive generators generated code') ----- genLowcodePerformCallPointer <option: #LowcodeVM> "Lowcode instruction generator" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. extA := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallStructure (in category 'inline primitive generators generated code') ----- genLowcodePerformCallStructure <option: #LowcodeVM> "Lowcode instruction generator" "Push the result space" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self PushR: TempReg. "Call the function" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. "Fetch the result" self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. extA := 0. extB := 0. numExtB := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallVoid (in category 'inline primitive generators generated code') ----- genLowcodePerformCallVoid <option: #LowcodeVM> "Lowcode instruction generator" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. extA := 0. ^ 0 ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallout (in category 'inline primitive generators generated code') ----- + genLowcodePerformCallout + <option: #LowcodeVM> "Lowcode instruction generator" + + self callSwitchToCStack. + self MoveCw: extA R: TempReg. + self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. + extA := 0. + + ^ 0 + + ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCalloutIndirect (in category 'inline primitive generators generated code') ----- + genLowcodePerformCalloutIndirect + <option: #LowcodeVM> "Lowcode instruction generator" + + self ssNativeTop nativeStackPopToReg: TempReg. + self ssNativePop: 1. + self callSwitchToCStack. + self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. + + ^ 0 + + ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePushCalloutResultFloat32 (in category 'inline primitive generators generated code') ----- + genLowcodePushCalloutResultFloat32 + <option: #LowcodeVM> "Lowcode instruction generator" + + backEnd cFloatResultToRs: DPFPReg0. + self ssPushNativeRegisterSingleFloat: DPFPReg0. + + ^ 0 + + ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePushCalloutResultFloat64 (in category 'inline primitive generators generated code') ----- + genLowcodePushCalloutResultFloat64 + <option: #LowcodeVM> "Lowcode instruction generator" + + backEnd cFloatResultToRd: DPFPReg0. + self ssPushNativeRegisterDoubleFloat: DPFPReg0. + + ^ 0 + + ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePushCalloutResultInt32 (in category 'inline primitive generators generated code') ----- + genLowcodePushCalloutResultInt32 + <option: #LowcodeVM> "Lowcode instruction generator" + + self MoveR: backEnd cResultRegister R: ReceiverResultReg. + self ssPushNativeRegister: ReceiverResultReg. + + ^ 0 + + ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePushCalloutResultInt64 (in category 'inline primitive generators generated code') ----- + genLowcodePushCalloutResultInt64 + <option: #LowcodeVM> "Lowcode instruction generator" + + BytesPerWord = 4 ifTrue: [ + self MoveR: backEnd cResultRegisterLow R: ReceiverResultReg. + self MoveR: backEnd cResultRegisterHigh R: Arg0Reg. + self ssPushNativeRegister: ReceiverResultReg secondRegister: Arg0Reg. + ] ifFalse: [ + self MoveR: backEnd cResultRegister R: ReceiverResultReg. + self ssPushNativeRegister: ReceiverResultReg. + ]. + + ^ 0 + + ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePushCalloutResultPointer (in category 'inline primitive generators generated code') ----- + genLowcodePushCalloutResultPointer + <option: #LowcodeVM> "Lowcode instruction generator" + + self MoveR: backEnd cResultRegister R: ReceiverResultReg. + self ssPushNativeRegister: ReceiverResultReg. + + ^ 0 + + ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodeUnaryInlinePrimitive3: (in category 'inline primitive generators dispatch generated code') ----- genLowcodeUnaryInlinePrimitive3: prim <option: #LowcodeVM> "Lowcode instruction generator dispatch" prim caseOf: { [120] -> [ ^ self genLowcodeLoadObjectField ]. [121] -> [ ^ self genLowcodeLoadPointerFromMemory ]. [122] -> [ ^ self genLowcodeLoadUInt16FromMemory ]. [123] -> [ ^ self genLowcodeLoadUInt32FromMemory ]. [124] -> [ ^ self genLowcodeLoadUInt64FromMemory ]. [125] -> [ ^ self genLowcodeLoadUInt8FromMemory ]. [126] -> [ ^ self genLowcodeLocalFrameSize ]. [127] -> [ ^ self genLowcodeLockRegisters ]. [128] -> [ ^ self genLowcodeLockVM ]. [129] -> [ ^ self genLowcodeMalloc32 ]. [130] -> [ ^ self genLowcodeMalloc64 ]. [131] -> [ ^ self genLowcodeMemcpy32 ]. [132] -> [ ^ self genLowcodeMemcpy64 ]. [133] -> [ ^ self genLowcodeMemcpyFixed ]. [134] -> [ ^ self genLowcodeMoveFloat32ToPhysical ]. [135] -> [ ^ self genLowcodeMoveFloat64ToPhysical ]. [136] -> [ ^ self genLowcodeMoveInt32ToPhysical ]. [137] -> [ ^ self genLowcodeMoveInt64ToPhysical ]. [138] -> [ ^ self genLowcodeMovePointerToPhysical ]. [139] -> [ ^ self genLowcodeMul32 ]. [140] -> [ ^ self genLowcodeMul64 ]. [141] -> [ ^ self genLowcodeNeg32 ]. [142] -> [ ^ self genLowcodeNeg64 ]. [143] -> [ ^ self genLowcodeNot32 ]. [144] -> [ ^ self genLowcodeNot64 ]. [145] -> [ ^ self genLowcodeOr32 ]. [146] -> [ ^ self genLowcodeOr64 ]. + [147] -> [ ^ self genLowcodePerformCallout ]. + [148] -> [ ^ self genLowcodePerformCalloutIndirect ]. + [149] -> [ ^ self genLowcodePushCalloutResultFloat32 ]. + [150] -> [ ^ self genLowcodePushCalloutResultFloat64 ]. + [151] -> [ ^ self genLowcodePushCalloutResultInt32 ]. + [152] -> [ ^ self genLowcodePushCalloutResultInt64 ]. + [153] -> [ ^ self genLowcodePushCalloutResultPointer ]. - [147] -> [ ^ self genLowcodePerformCallFloat32 ]. - [148] -> [ ^ self genLowcodePerformCallFloat64 ]. - [149] -> [ ^ self genLowcodePerformCallIndirectFloat32 ]. - [150] -> [ ^ self genLowcodePerformCallIndirectFloat64 ]. - [151] -> [ ^ self genLowcodePerformCallIndirectInt32 ]. - [152] -> [ ^ self genLowcodePerformCallIndirectInt64 ]. - [153] -> [ ^ self genLowcodePerformCallIndirectPointer ]. - [154] -> [ ^ self genLowcodePerformCallIndirectStructure ]. - [155] -> [ ^ self genLowcodePerformCallIndirectVoid ]. - [156] -> [ ^ self genLowcodePerformCallInt32 ]. - [157] -> [ ^ self genLowcodePerformCallInt64 ]. - [158] -> [ ^ self genLowcodePerformCallPointer ]. - [159] -> [ ^ self genLowcodePerformCallStructure ]. - [160] -> [ ^ self genLowcodePerformCallVoid ]. [161] -> [ ^ self genLowcodePlaftormCode ]. [162] -> [ ^ self genLowcodePointerAddConstantOffset ]. [163] -> [ ^ self genLowcodePointerAddOffset32 ]. [164] -> [ ^ self genLowcodePointerAddOffset64 ]. [165] -> [ ^ self genLowcodePointerEqual ]. [166] -> [ ^ self genLowcodePointerNotEqual ]. [167] -> [ ^ self genLowcodePointerToInt32 ]. [168] -> [ ^ self genLowcodePointerToInt64 ]. [169] -> [ ^ self genLowcodePopFloat32 ]. [170] -> [ ^ self genLowcodePopFloat64 ]. [171] -> [ ^ self genLowcodePopInt32 ]. [172] -> [ ^ self genLowcodePopInt64 ]. [173] -> [ ^ self genLowcodePopMultipleNative ]. [174] -> [ ^ self genLowcodePopPointer ]. [175] -> [ ^ self genLowcodePushConstantUInt32 ]. [176] -> [ ^ self genLowcodePushConstantUInt64 ]. [177] -> [ ^ self genLowcodePushNullPointer ]. [178] -> [ ^ self genLowcodePushOne32 ]. [179] -> [ ^ self genLowcodePushOne64 ]. + [180] -> [ ^ self genLowcodePushOneFloat32 ]. + [181] -> [ ^ self genLowcodePushOneFloat64 ]. + [182] -> [ ^ self genLowcodePushPhysicalFloat32 ]. + [183] -> [ ^ self genLowcodePushPhysicalFloat64 ]. + [184] -> [ ^ self genLowcodePushPhysicalInt32 ]. + [185] -> [ ^ self genLowcodePushPhysicalInt64 ]. + [186] -> [ ^ self genLowcodePushPhysicalPointer ]. } otherwise: [ ^ self genLowcodeUnaryInlinePrimitive4: prim ]. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodeUnaryInlinePrimitive4: (in category 'inline primitive generators dispatch generated code') ----- genLowcodeUnaryInlinePrimitive4: prim <option: #LowcodeVM> "Lowcode instruction generator dispatch" prim caseOf: { - [180] -> [ ^ self genLowcodePushOneFloat32 ]. - [181] -> [ ^ self genLowcodePushOneFloat64 ]. - [182] -> [ ^ self genLowcodePushPhysicalFloat32 ]. - [183] -> [ ^ self genLowcodePushPhysicalFloat64 ]. - [184] -> [ ^ self genLowcodePushPhysicalInt32 ]. - [185] -> [ ^ self genLowcodePushPhysicalInt64 ]. - [186] -> [ ^ self genLowcodePushPhysicalPointer ]. [187] -> [ ^ self genLowcodePushSessionIdentifier ]. [188] -> [ ^ self genLowcodePushZero32 ]. [189] -> [ ^ self genLowcodePushZero64 ]. [190] -> [ ^ self genLowcodePushZeroFloat32 ]. [191] -> [ ^ self genLowcodePushZeroFloat64 ]. [192] -> [ ^ self genLowcodeRem32 ]. [193] -> [ ^ self genLowcodeRem64 ]. [194] -> [ ^ self genLowcodeRightShift32 ]. [195] -> [ ^ self genLowcodeRightShift64 ]. [196] -> [ ^ self genLowcodeSignExtend32From16 ]. [197] -> [ ^ self genLowcodeSignExtend32From8 ]. [198] -> [ ^ self genLowcodeSignExtend64From16 ]. [199] -> [ ^ self genLowcodeSignExtend64From32 ]. [200] -> [ ^ self genLowcodeSignExtend64From8 ]. [201] -> [ ^ self genLowcodeStoreFloat32ToMemory ]. [202] -> [ ^ self genLowcodeStoreFloat64ToMemory ]. [203] -> [ ^ self genLowcodeStoreInt16ToMemory ]. [204] -> [ ^ self genLowcodeStoreInt32ToMemory ]. [205] -> [ ^ self genLowcodeStoreInt64ToMemory ]. [206] -> [ ^ self genLowcodeStoreInt8ToMemory ]. [207] -> [ ^ self genLowcodeStoreLocalFloat32 ]. [208] -> [ ^ self genLowcodeStoreLocalFloat64 ]. [209] -> [ ^ self genLowcodeStoreLocalInt16 ]. [210] -> [ ^ self genLowcodeStoreLocalInt32 ]. [211] -> [ ^ self genLowcodeStoreLocalInt64 ]. [212] -> [ ^ self genLowcodeStoreLocalInt8 ]. [213] -> [ ^ self genLowcodeStoreLocalPointer ]. [214] -> [ ^ self genLowcodeStorePointerToMemory ]. [215] -> [ ^ self genLowcodeSub32 ]. [216] -> [ ^ self genLowcodeSub64 ]. [217] -> [ ^ self genLowcodeTruncate32To16 ]. [218] -> [ ^ self genLowcodeTruncate32To8 ]. [219] -> [ ^ self genLowcodeTruncate64To16 ]. [220] -> [ ^ self genLowcodeTruncate64To32 ]. [221] -> [ ^ self genLowcodeTruncate64To8 ]. [222] -> [ ^ self genLowcodeUdiv32 ]. [223] -> [ ^ self genLowcodeUdiv64 ]. [224] -> [ ^ self genLowcodeUint32Great ]. [225] -> [ ^ self genLowcodeUint32GreatEqual ]. [226] -> [ ^ self genLowcodeUint32Less ]. [227] -> [ ^ self genLowcodeUint32LessEqual ]. [228] -> [ ^ self genLowcodeUint32ToFloat32 ]. [229] -> [ ^ self genLowcodeUint32ToFloat64 ]. [230] -> [ ^ self genLowcodeUint64Great ]. [231] -> [ ^ self genLowcodeUint64GreatEqual ]. [232] -> [ ^ self genLowcodeUint64Less ]. [233] -> [ ^ self genLowcodeUint64LessEqual ]. [234] -> [ ^ self genLowcodeUint64ToFloat32 ]. [235] -> [ ^ self genLowcodeUint64ToFloat64 ]. [236] -> [ ^ self genLowcodeUmul32 ]. [237] -> [ ^ self genLowcodeUmul64 ]. [238] -> [ ^ self genLowcodeUnlockRegisters ]. [239] -> [ ^ self genLowcodeUnlockVM ]. + [240] -> [ ^ self genLowcodeUrem32 ]. + [241] -> [ ^ self genLowcodeUrem64 ]. + [242] -> [ ^ self genLowcodeXor32 ]. + [243] -> [ ^ self genLowcodeXor64 ]. + [244] -> [ ^ self genLowcodeZeroExtend32From16 ]. + [245] -> [ ^ self genLowcodeZeroExtend32From8 ]. + [246] -> [ ^ self genLowcodeZeroExtend64From16 ]. } otherwise: [ ^ self genLowcodeUnaryInlinePrimitive5: prim ]. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodeUnaryInlinePrimitive5: (in category 'inline primitive generators dispatch generated code') ----- genLowcodeUnaryInlinePrimitive5: prim <option: #LowcodeVM> "Lowcode instruction generator dispatch" prim caseOf: { - [240] -> [ ^ self genLowcodeUrem32 ]. - [241] -> [ ^ self genLowcodeUrem64 ]. - [242] -> [ ^ self genLowcodeXor32 ]. - [243] -> [ ^ self genLowcodeXor64 ]. - [244] -> [ ^ self genLowcodeZeroExtend32From16 ]. - [245] -> [ ^ self genLowcodeZeroExtend32From8 ]. - [246] -> [ ^ self genLowcodeZeroExtend64From16 ]. [247] -> [ ^ self genLowcodeZeroExtend64From32 ]. [248] -> [ ^ self genLowcodeZeroExtend64From8 ]. } otherwise: [ ^ EncounteredUnknownBytecode ]. ^ 0 ! Item was added: + ----- Method: VMMaker class>>generateAllSpurLowcodeConfigurations (in category 'configurations') ----- + generateAllSpurLowcodeConfigurations + self generateSqueakSpurLowcodeCogVM; + generateSqueakSpurLowcodeStackVM; + generateSqueakSpurLowcodeCog64VM; + generateSqueakSpurLowcodeStack64VM! Item was added: + ----- Method: VMMaker class>>generateSqueakSpurLowcodeCog64VM (in category 'configurations') ----- + generateSqueakSpurLowcodeCog64VM + "No primitives since we can use those for the Cog VM" + ^VMMaker + generate: CoInterpreter + and: StackToRegisterMappingCogit + with: #(ObjectMemory Spur64BitCoMemoryManager + SistaVM true + LowcodeVM true + MULTIPLEBYTECODESETS true + bytecodeTableInitializer initializeBytecodeTableForSqueakV3PlusClosuresSistaV1Hybrid) + to: (FileDirectory default pathFromURI: self sourceTree, '/spurlowcode64src') + platformDir: (FileDirectory default pathFromURI: self sourceTree, '/platforms') + including:#()! Item was added: + ----- Method: VMMaker class>>generateSqueakSpurLowcodeStack64VM (in category 'configurations') ----- + generateSqueakSpurLowcodeStack64VM + "No primitives since we can use those from the Cog VM" + ^VMMaker + generate: StackInterpreter + with: #(ObjectMemory Spur64BitMemoryManager + SistaVM true + LowcodeVM true + FailImbalancedPrimitives false + MULTIPLEBYTECODESETS true + bytecodeTableInitializer initializeBytecodeTableForSqueakV3PlusClosuresSistaV1Hybrid) + to: (FileDirectory default pathFromURI: self sourceTree, '/spurlowcodestack64src') + platformDir: (FileDirectory default pathFromURI: self sourceTree, '/platforms') + including: #()!

1 0

VM Maker: VMMaker.oscogSPC-eem.2128.mcz
by commits＠source.squeak.org 14 Feb '17

14 Feb '17

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscogSPC-eem.2128.mcz ==================== Summary ==================== Name: VMMaker.oscogSPC-eem.2128 Author: eem Time: 13 February 2017, 5:04:50.850654 pm UUID: 69c741fe-e9bd-4599-8fd9-a2bd3fabea56 Ancestors: VMMaker.oscogSPC-eem.2127 64-bit Cogit: Fix a regression in CogX64Compiler>>concretizeConvertRRd and a bug in CogX64Compiler>>concretizeConvertRdR. Fix a bug in genPrimitiveSmallFloatSquareRoot. The primitive must fail for negative arguments. InterpreterPrimitives: Simplify the boxed and immediate unary float primitives to do less stack manipulations and/or primFailCode testing. RegisterAllocatingCogit: Synthesize the dummy value when falling through from an inlinable special selector comparison to a following conditional jump by copying the top of stack from the fixup at the jump to avoid a false conflict. Flush registers that are only live on one path at a non-merge fixup (arguably this is rong; I may have non-merge fixups confused; but it works). Change fixup tracing to include whether the fixup is a merge or not. =============== Diff against VMMaker.oscogSPC-eem.2127 =============== Item was changed: ----- Method: CogBytecodeFixup>>recordBcpc: (in category 'simulation') ----- recordBcpc: theBytecodePC <inline: true> self cCode: '' inSmalltalk: + [(bcpc isNil or: [bcpc = theBytecodePC]) + ifTrue: [bcpc := theBytecodePC] + ifFalse: - [bcpc - ifNil: [bcpc := theBytecodePC] - ifNotNil: [bcpc := bcpc isInteger ifTrue: [{bcpc. theBytecodePC}] ifFalse: [bcpc, {theBytecodePC}]]]! Item was changed: ----- Method: CogObjectRepresentation>>genPrimitiveSmallFloatSquareRoot (in category 'primitive generators') ----- genPrimitiveSmallFloatSquareRoot <option: #Spur64BitMemoryManager> + | jumpFailAlloc jumpNegative | - | jumpFailAlloc | <var: #jumpFailAlloc type: #'AbstractInstruction *'> + <var: #jumpNegative type: #'AbstractInstruction *'> self genGetSmallFloatValueOf: ReceiverResultReg scratch: SendNumArgsReg into: DPFPReg0. + cogit + XorRd: DPFPReg1 Rd: DPFPReg1; "+0.0 is all zeros" + CmpRd: DPFPReg0 Rd: DPFPReg1. + jumpNegative := cogit JumpFPGreater: 0. cogit SqrtRd: DPFPReg0. jumpFailAlloc := self genAllocFloatValue: DPFPReg0 into: SendNumArgsReg scratchReg: ClassReg scratchReg: TempReg. cogit MoveR: SendNumArgsReg R: ReceiverResultReg. cogit genPrimReturn. + jumpNegative jmpTarget: (jumpFailAlloc jmpTarget: cogit Label). - jumpFailAlloc jmpTarget: cogit Label. ^0! Item was changed: ----- Method: CogX64Compiler>>computeMaximumSize (in category 'generate machine code') ----- (excessive size, no diff calculated) Item was changed: ----- Method: CogX64Compiler>>concretizeConvertRRd (in category 'generate machine code') ----- concretizeConvertRRd "Will get inlined into concretizeAt: switch." <inline: true> + | srcReg destReg | - | srcReg destReg skip | srcReg := operands at:0. destReg := operands at: 1. machineCode + at: 0 put: 16rF2; + at: 1 put: (self rexR: destReg x: 0 b: srcReg); + at: 2 put: 16r0F; + at: 3 put: 16r2A; + at: 4 put: (self mod: ModReg RM: srcReg RO: destReg). + ^machineCodeSize := 5! - at: 0 put: 16rF2. - (srcReg <= 7 and: [destReg <= 7]) - ifTrue: [skip := 0] - ifFalse: [machineCode at: (skip := 1) put: (self rexw: false r: destReg x: 0 b: srcReg)]. - - machineCode - at: skip + 1 put: 16r0F; - at: skip + 2 put: 16r2A; - at: skip + 3 put: (self mod: ModReg RM: srcReg RO: destReg). - ^machineCodeSize := skip + 4! Item was changed: ----- Method: CogX64Compiler>>concretizeConvertRdR (in category 'generate machine code') ----- concretizeConvertRdR "Will get inlined into concretizeAt: switch." "CVTSD2SI" <inline: true> + | srcReg destReg | - | srcReg destReg skip | srcReg := operands at:0. destReg := operands at: 1. machineCode + at: 0 put: 16rF2; + at: 1 put: (self rexR: destReg x: 0 b: srcReg); + at: 2 put: 16r0F; + at: 3 put: 16r2D; + at: 4 put: (self mod: ModReg RM: srcReg RO: destReg). + ^machineCodeSize := 5! - at: 0 put: 16rF2. - (srcReg <= 7 and: [destReg <= 7]) - ifTrue: [skip := 0] - ifFalse: [machineCode at: (skip := 1) put: (self rexw: false r: destReg x: 0 b: srcReg)]. - - machineCode - at: skip + 1 put: 16r0F; - at: skip + 2 put: 16r2D; - at: skip + 3 put: (self mod: ModReg RM: srcReg RO: destReg). - ^machineCodeSize := skip + 4! Item was changed: ----- Method: InterpreterPrimitives>>primitiveArctan (in category 'arithmetic float primitives') ----- primitiveArctan + "N.B. IMO we should be able to assume the receiver is a float because this primitive is specific to floats. eem 2/13/2017" - | rcvr | <var: #rcvr type: #double> + rcvr := self stackFloatValue: 0. + self successful ifTrue: + [self stackTopPut: (objectMemory floatObjectOf: + (self cCode: [rcvr atan] - rcvr := self popFloat. - self successful - ifTrue: [self pushFloat: (self cCode: [rcvr atan] inSmalltalk: [rcvr = rcvr ifTrue: [rcvr arcTan] + ifFalse: [Float nan]]))]! - ifFalse: [Float nan]])] - ifFalse: [self unPop: 1]! Item was changed: ----- Method: InterpreterPrimitives>>primitiveExp (in category 'arithmetic float primitives') ----- primitiveExp + "Computes E raised to the receiver power. + N.B. IMO we should be able to assume the receiver is a float because this primitive is specific to floats. eem 2/13/2017" - "Computes E raised to the receiver power." - | rcvr | <var: #rcvr type: #double> + rcvr := self stackFloatValue: 0. + self successful ifTrue: + [self stackTopPut: (objectMemory floatObjectOf: + (self cCode: [rcvr exp] - rcvr := self popFloat. - self successful - ifTrue: [self pushFloat: (self cCode: [rcvr exp] inSmalltalk: [rcvr = rcvr ifTrue: [rcvr exp] + ifFalse: [Float nan]]))]! - ifFalse: [Float nan]])] - ifFalse: [self unPop: 1]! Item was changed: ----- Method: InterpreterPrimitives>>primitiveExponent (in category 'arithmetic float primitives') ----- primitiveExponent + "Exponent part of this float. + N.B. IMO we should be able to assume the receiver is a float because this primitive is specific to floats. eem 2/13/2017" + | rcvr pwr | - "Exponent part of this float." - - | rcvr frac pwr | <var: #rcvr type: #double> - <var: #frac type: #double> <var: #pwr type: #int> + rcvr := self stackFloatValue: 0. + self successful ifTrue: + ["rcvr = frac * 2^pwr, where frac is in [0.5..1.0)" + self cCode: [self fr: rcvr exp: (self addressOf: pwr)] + inSmalltalk: [pwr := rcvr exponent]. + self stackTopPut: (objectMemory integerObjectOf: pwr - 1)]! - rcvr := self popFloat. - self successful - ifTrue: [ "rcvr = frac * 2^pwr, where frac is in [0.5..1.0)" - self cCode: 'frac = frexp(rcvr, &pwr)' - inSmalltalk: [pwr := rcvr exponent]. - self pushInteger: pwr - 1] - ifFalse: [self unPop: 1]! Item was changed: ----- Method: InterpreterPrimitives>>primitiveFractionalPart (in category 'arithmetic float primitives') ----- primitiveFractionalPart + "Fractional part of this float. + N.B. IMO we should be able to assume the receiver is a float because this primitive is specific to floats. eem 2/13/2017" + | rcvr trunc | - | rcvr frac trunc | <var: #rcvr type: #double> - <var: #frac type: #double> <var: #trunc type: #double> + rcvr := self stackFloatValue: 0. + self successful ifTrue: + [self stackTopPut: (objectMemory floatObjectOf: + (self cCode: [self mod: rcvr f: (self addressOf: trunc)] + inSmalltalk: [rcvr fractionPart]))]! - rcvr := self popFloat. - self successful - ifTrue: [frac := self cCode: [self mod: rcvr f: (self addressOf: trunc)] - inSmalltalk: [rcvr fractionPart]. - self pushFloat: frac] - ifFalse: [self unPop: 1]! Item was changed: ----- Method: InterpreterPrimitives>>primitiveLogN (in category 'arithmetic float primitives') ----- primitiveLogN + "Natural log. + N.B. IMO we should be able to assume the receiver is a float because this primitive is specific to floats. eem 2/13/2017" - "Natural log." - | rcvr | <var: #rcvr type: #double> + rcvr := self stackFloatValue: 0. + self successful ifTrue: + [self stackTopPut: (objectMemory floatObjectOf: + (self cCode: [rcvr log] - rcvr := self popFloat. - self successful - ifTrue: [self pushFloat: (self cCode: [rcvr log] inSmalltalk: [rcvr = rcvr ifTrue: [rcvr ln] + ifFalse: [Float nan]]))]! - ifFalse: [Float nan]])] - ifFalse: [self unPop: 1]! Item was changed: ----- Method: InterpreterPrimitives>>primitiveSine (in category 'arithmetic float primitives') ----- primitiveSine + "N.B. IMO we should be able to assume the receiver is a float because this primitive is specific to floats. eem 2/13/2017" - | rcvr | <var: #rcvr type: #double> + rcvr := self stackFloatValue: 0. + self successful ifTrue: + [self stackTopPut: (objectMemory floatObjectOf: + (self cCode: [rcvr sin] - rcvr := self popFloat. - self successful - ifTrue: [self pushFloat: (self cCode: [rcvr sin] inSmalltalk: [rcvr = rcvr ifTrue: [rcvr sin] + ifFalse: [Float nan]]))]! - ifFalse: [Float nan]])] - ifFalse: [self unPop: 1]! Item was changed: ----- Method: InterpreterPrimitives>>primitiveSmallFloatArctan (in category 'arithmetic float primitives') ----- primitiveSmallFloatArctan <option: #Spur64BitMemoryManager> | rcvr | <var: #rcvr type: #double> rcvr := objectMemory smallFloatValueOf: self stackTop. + self stackTopPut: (objectMemory floatObjectOf: (self cCode: [rcvr atan] + inSmalltalk: [rcvr arcTan]))! - self pop: 1 - thenPushFloat: (self cCode: [rcvr atan] - inSmalltalk: [rcvr = rcvr - ifTrue: [rcvr arcTan] - ifFalse: [Float nan]])! Item was changed: ----- Method: InterpreterPrimitives>>primitiveSmallFloatExp (in category 'arithmetic float primitives') ----- primitiveSmallFloatExp "Computes E raised to the receiver power. Since SmallFloats cannot represent NaNs there's no need to special case." <option: #Spur64BitMemoryManager> + self stackTopPut: (objectMemory floatObjectOf: (objectMemory smallFloatValueOf: self stackTop) exp)! - self pop: 1 thenPushFloat: (objectMemory smallFloatValueOf: self stackTop) exp! Item was changed: ----- Method: InterpreterPrimitives>>primitiveSmallFloatExponent (in category 'arithmetic float primitives') ----- primitiveSmallFloatExponent "Answer the exponent part of this float." <option: #Spur64BitMemoryManager> + self stackTopPut: (objectMemory integerObjectOf: (objectMemory exponentOfSmallFloat: self stackTop) - 1)! - self pop: 1 thenPushInteger: (objectMemory exponentOfSmallFloat: self stackTop) - 1! Item was changed: ----- Method: InterpreterPrimitives>>primitiveSmallFloatFractionalPart (in category 'arithmetic float primitives') ----- primitiveSmallFloatFractionalPart <option: #Spur64BitMemoryManager> | rcvr frac trunc | <var: #rcvr type: #double> <var: #frac type: #double> <var: #trunc type: #double> rcvr := objectMemory smallFloatValueOf: self stackTop. frac := self cCode: [self mod: rcvr f: (self addressOf: trunc)] inSmalltalk: [rcvr fractionPart]. + self stackTopPut: (objectMemory floatObjectOf: frac)! - self pop: 1 thenPushFloat: frac! Item was changed: ----- Method: InterpreterPrimitives>>primitiveSmallFloatLogN (in category 'arithmetic float primitives') ----- primitiveSmallFloatLogN "Natural log." <option: #Spur64BitMemoryManager> | rcvr | <var: #rcvr type: #double> rcvr := objectMemory smallFloatValueOf: self stackTop. + self stackTopPut: (objectMemory floatObjectOf: (self cCode: [rcvr log] inSmalltalk: [rcvr ln]))! - self pop: 1 - thenPushFloat: (self cCode: [rcvr log] - inSmalltalk: [rcvr = rcvr - ifTrue: [rcvr ln] - ifFalse: [Float nan]])! Item was changed: ----- Method: InterpreterPrimitives>>primitiveSmallFloatSine (in category 'arithmetic float primitives') ----- primitiveSmallFloatSine <option: #Spur64BitMemoryManager> | rcvr | <var: #rcvr type: #double> rcvr := objectMemory smallFloatValueOf: self stackTop. + self stackTopPut: (objectMemory floatObjectOf: rcvr sin)! - self pop: 1 - thenPushFloat: (self cCode: [rcvr sin] - inSmalltalk: [rcvr = rcvr - ifTrue: [rcvr sin] - ifFalse: [Float nan]])! Item was changed: ----- Method: InterpreterPrimitives>>primitiveSmallFloatSquareRoot (in category 'arithmetic float primitives') ----- primitiveSmallFloatSquareRoot <option: #Spur64BitMemoryManager> + | rcvr | + rcvr := objectMemory smallFloatValueOf: self stackTop. + rcvr >= 0.0 + ifTrue: [self stackTopPut: (objectMemory floatObjectOf: rcvr sqrt)] + ifFalse: [self primitiveFail]! - - self pop: 1 thenPushFloat: (objectMemory smallFloatValueOf: self stackTop) sqrt! Item was changed: ----- Method: InterpreterPrimitives>>primitiveSmallFloatTruncated (in category 'arithmetic float primitives') ----- primitiveSmallFloatTruncated <option: #Spur64BitMemoryManager> | rcvr trunc | <var: #rcvr type: #double> <var: #trunc type: #double> rcvr := objectMemory smallFloatValueOf: self stackTop. self cCode: [self mod: rcvr f: (self addressOf: trunc)] inSmalltalk: [trunc := rcvr truncated]. (trunc between: objectMemory minSmallInteger asFloat and: objectMemory maxSmallInteger asFloat) + ifTrue: [self stackTopPut: (objectMemory integerObjectOf: trunc asInteger)] - ifTrue: [self pop: 1 thenPushInteger: trunc asInteger] ifFalse: [self primitiveFail]! Item was changed: ----- Method: InterpreterPrimitives>>primitiveSquareRoot (in category 'arithmetic float primitives') ----- primitiveSquareRoot + "N.B. IMO we should be able to assume the receiver is a float because this primitive is specific to floats. eem 2/13/2017" | rcvr | <var: #rcvr type: #double> + rcvr := self stackFloatValue: 0. + (self successful and: [rcvr >= 0.0]) + ifTrue: [self stackTopPut: (objectMemory floatObjectOf: rcvr sqrt)] + ifFalse: [self primitiveFail]! - rcvr := self popFloat. - self success: rcvr >= 0.0. - self successful - ifTrue: [self pushFloat: rcvr sqrt] - ifFalse: [self unPop: 1]! Item was changed: ----- Method: InterpreterPrimitives>>primitiveTruncated (in category 'arithmetic float primitives') ----- + primitiveTruncated + "N.B. IMO we should be able to assume the receiver is a float because this primitive is specific to floats. eem 2/13/2017" - primitiveTruncated | rcvr trunc | <var: #rcvr type: #double> <var: #trunc type: #double> + rcvr := self stackFloatValue: 0. - rcvr := self popFloat. self successful ifTrue: [self cCode: [self mod: rcvr f: (self addressOf: trunc)] + inSmalltalk: [trunc := rcvr = rcvr + ifTrue: [rcvr truncated] + ifFalse: [Float nan]]. + (trunc between: objectMemory minSmallInteger asFloat and: objectMemory maxSmallInteger asFloat) + ifTrue: [self stackTopPut: (objectMemory integerObjectOf: trunc asInteger)] + ifFalse: [self primitiveFail]]! - inSmalltalk: [trunc := rcvr truncated]. - self success: (trunc between: objectMemory minSmallInteger asFloat and: objectMemory maxSmallInteger asFloat)]. - self successful - ifTrue: [self pushInteger: trunc asInteger] - ifFalse: [self unPop: 1]! Item was changed: ----- Method: RegisterAllocatingCogit>>flushLiveRegistersForCRunTimeCall (in category 'bytecode generator support') ----- flushLiveRegistersForCRunTimeCall "Flush any live registers for a C call, i.e. don't flush caller-saved registers. Answer if any registers were flushed." <inline: true> | flushed reg | flushed := false. self assert: simSelf type = SSBaseOffset. reg := simSelf liveRegister. (reg ~= NoReg and: [(self isCallerSavedReg: reg)]) ifTrue: [simSelf liveRegister: NoReg. flushed := true]. 0 to: simStackPtr do: [:i| + self assert: (self simStackAt: i) type = (i < methodOrBlockNumTemps - self assert: (self simStackAt: i) type = (i <= methodOrBlockNumTemps ifTrue: [SSBaseOffset] ifFalse: [SSSpill]). reg := (self simStackAt: i) liveRegister. (reg ~= NoReg and: [(self isCallerSavedReg: reg)]) ifTrue: [(self simStackAt: i) liveRegister: NoReg. flushed := true]]. ^flushed! Item was changed: ----- Method: RegisterAllocatingCogit>>flushLiveRegistersForSuspensionPoint (in category 'bytecode generator support') ----- flushLiveRegistersForSuspensionPoint "Flush any live registers for a C call at a suspension/resumption point, i.e.flush all registers. Answer if any registers were flushed." <inline: true> | flushed | flushed := false. self assert: simSelf type = SSBaseOffset. simSelf liveRegister ~= NoReg ifTrue: [simSelf liveRegister: NoReg. flushed := true]. 0 to: simStackPtr do: [:i| + self assert: (self simStackAt: i) type = (i < methodOrBlockNumTemps - self assert: (self simStackAt: i) type = (i <= methodOrBlockNumTemps ifTrue: [SSBaseOffset] ifFalse: [SSSpill]). (self simStackAt: i) liveRegister ~= NoReg ifTrue: [(self simStackAt: i) liveRegister: NoReg. flushed := true]]. ^flushed! Item was added: + ----- Method: RegisterAllocatingCogit>>flushRegistersOnlyLiveOnFallThrough: (in category 'simulation stack') ----- + flushRegistersOnlyLiveOnFallThrough: fixup + "Forward jumps won't generate merge code if the source has a register that is live but the destination does not. + For example in + | v | v := expr1. self expr2 ifTrue: [v := expr3]. ^v + v will be assigned to a register in v := expr1 and [v := expr3], but the send of expr2 will flush it along the jumpFalse across [v := expr3]. + So v will not be in a register if reached from the jump. Hence at the join at the end of [v := expr3] v must be marked as not being in a register." + | targetSimStack | + targetSimStack := fixup mergeSimStack. + 0 to: simStackPtr do: + [:i| | fallThrough target | + fallThrough := self simStack: simStack at: i. + target := self simStack: targetSimStack at: i. + self assert: (fallThrough liveRegister = target liveRegister or: [target liveRegister = NoReg or: [fallThrough liveRegister = NoReg]]). + target liveRegister = NoReg ifTrue: + [fallThrough liveRegister: NoReg]]! Item was changed: ----- Method: RegisterAllocatingCogit>>genForwardersInlinedIdenticalOrNotIf: (in category 'bytecode generators') ----- genForwardersInlinedIdenticalOrNotIf: orNot | nextPC branchDescriptor unforwardRcvr argReg targetPC unforwardArg rcvrReg postBranchPC retry fixup comparison needMergeToTarget needMergeToContinue | <var: #branchDescriptor type: #'BytecodeDescriptor *'> <var: #toContinueLabel type: #'AbstractInstruction *'> <var: #toTargetLabel type: #'AbstractInstruction *'> <var: #comparison type: #'AbstractInstruction *'> <var: #retry type: #'AbstractInstruction *'> self extractMaybeBranchDescriptorInto: [ :descr :next :postBranch :target | branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetPC := target ]. "If an operand is an annotable constant, it may be forwarded, so we need to store it into a register so the forwarder check can jump back to the comparison after unforwarding the constant. However, if one of the operand is an unnanotable constant, does not allocate a register for it (machine code will use operations on constants) and does not generate forwarder checks." unforwardRcvr := (objectRepresentation isUnannotatableConstant: (self ssValue: 1)) not. unforwardArg := (objectRepresentation isUnannotatableConstant: self ssTop) not. self allocateEqualsEqualsRegistersArgNeedsReg: unforwardArg rcvrNeedsReg: unforwardRcvr into: [ :rcvr :arg | rcvrReg:= rcvr. argReg := arg ]. "If not followed by a branch, resolve to true or false." (branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]) ifFalse: [^self genIdenticalNoBranchArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg orNotIf: orNot]. self assert: (unforwardArg or: [unforwardRcvr]). retry := self Label. self genCmpArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg. self ssPop: 2. (self fixupAt: nextPC) notAFixup "The next instruction is dead. we can skip it." ifTrue: [deadCode := true] ifFalse: [self deny: deadCode]. "push dummy value below" "self printSimStack; printSimStack: (self fixupAt: postBranchPC) mergeSimStack" "If there are merges to be performed on the forward branches we have to execute the merge code only along the path requiring that merge, and exactly once." needMergeToTarget := self mergeRequiredForJumpTo: targetPC. needMergeToContinue := self mergeRequiredForJumpTo: postBranchPC. orNot == branchDescriptor isBranchTrue ifFalse: "a == b ifTrue: ... or a ~~ b ifFalse: ... jump on equal to target pc" [fixup := needMergeToContinue ifTrue: [0] "jumps will fall-through to to-continue merge code" ifFalse: [self ensureNonMergeFixupAt: postBranchPC]. comparison := self JumpZero: (needMergeToTarget ifTrue: [0] "comparison will be fixed up to to-target merge code" ifFalse: [self ensureNonMergeFixupAt: targetPC])] ifTrue: "a == b ifFalse: ... or a ~~ b ifTrue: ... jump on equal to post-branch pc" [fixup := needMergeToTarget ifTrue: [0] "jumps will fall-through to to-target merge code" ifFalse: [(self ensureNonMergeFixupAt: targetPC)]. comparison := self JumpZero: (needMergeToContinue ifTrue: [0] "comparison will be fixed up to to-continue merge code" ifFalse: [self ensureNonMergeFixupAt: postBranchPC])]. "The forwarders check(s) need(s) to jump back to the comparison (retry) if a forwarder is found, else jump forward either to the next forwarder check or to the postBranch or branch target (fixup). But if there is merge code along a path, the jump must be to the merge code." (unforwardArg and: [unforwardRcvr]) ifTrue: [objectRepresentation genEnsureOopInRegNotForwarded: argReg scratchReg: TempReg jumpBackTo: retry]. objectRepresentation genEnsureOopInRegNotForwarded: (unforwardRcvr ifTrue: [rcvrReg] ifFalse: [argReg]) scratchReg: TempReg ifForwarder: retry ifNotForwarder: fixup. "If fixup is zero then the ifNotForwarder path falls through to a Label which is interpreted as either to-continue or to-target, depending on orNot == branchDescriptor isBranchTrue." orNot == branchDescriptor isBranchTrue ifFalse: "a == b ifTrue: ... or a ~~ b ifFalse: ... jump on equal to target pc" [needMergeToContinue ifTrue: "fall-through to to-continue merge code" [self Jump: (self ensureFixupAt: postBranchPC)]. needMergeToTarget ifTrue: "fixup comparison to to-target merge code" [comparison jmpTarget: self Label. self Jump: (self ensureFixupAt: targetPC)]] ifTrue: "a == b ifFalse: ... or a ~~ b ifTrue: ... jump on equal to post-branch pc" [needMergeToTarget ifTrue: "fall-through to to-target merge code" [self Jump: (self ensureFixupAt: targetPC)]. needMergeToContinue ifTrue: "fixup comparison to to-continue merge code" [comparison jmpTarget: self Label. self Jump: (self ensureFixupAt: postBranchPC)]]. + deadCode ifFalse: "duplicate the merge fixup's top of stack so as to avoid a false confict." + [self ssPushDesc: ((self fixupAt: nextPC) mergeSimStack at: simStackPtr + 1)]. - deadCode ifFalse: - [self ssPushConstant: objectMemory trueObject]. "dummy value" ^0! Item was changed: ----- Method: RegisterAllocatingCogit>>genVanillaInlinedIdenticalOrNotIf: (in category 'bytecode generators') ----- genVanillaInlinedIdenticalOrNotIf: orNot | nextPC postBranchPC targetBytecodePC branchDescriptor rcvrReg argReg argIsConstant rcvrIsConstant | <var: #branchDescriptor type: #'BytecodeDescriptor *'> self extractMaybeBranchDescriptorInto: [ :descr :next :postBranch :target | branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetBytecodePC := target ]. argIsConstant := self ssTop type = SSConstant. "They can't be both constants to use correct machine opcodes. However annotable constants can't be resolved statically, hence we need to careful." rcvrIsConstant := argIsConstant not and: [(self ssValue: 1) type = SSConstant]. self allocateEqualsEqualsRegistersArgNeedsReg: argIsConstant not rcvrNeedsReg: rcvrIsConstant not into: [ :rcvr :arg | rcvrReg:= rcvr. argReg := arg ]. "If not followed by a branch, resolve to true or false." (branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]) ifFalse: [^ self genIdenticalNoBranchArgIsConstant: argIsConstant rcvrIsConstant: rcvrIsConstant argReg: argReg rcvrReg: rcvrReg orNotIf: orNot]. self genCmpArgIsConstant: argIsConstant rcvrIsConstant: rcvrIsConstant argReg: argReg rcvrReg: rcvrReg. self ssPop: 2. "For now just deny we're in the situation we have yet to implement ;-)" self deny: (self mergeRequiredForJumpTo: targetBytecodePC). self deny: (self mergeRequiredForJumpTo: postBranchPC). "Further since there is a following conditional jump bytecode, define non-merge fixups and leave the cond bytecode to set the mergeness." (self fixupAt: nextPC) notAFixup ifTrue: "The next instruction is dead. we can skip it." [deadCode := true. self ensureFixupAt: targetBytecodePC. self ensureFixupAt: postBranchPC] ifFalse: [self deny: deadCode]. "push dummy value below" self genConditionalBranch: (orNot == branchDescriptor isBranchTrue ifTrue: [JumpNonZero] ifFalse: [JumpZero]) operand: (self ensureNonMergeFixupAt: targetBytecodePC) asUnsignedInteger. "If the branch is dead, then we can just fall through postBranchPC (only a nop in-between), else we need to jump over the code of the branch" deadCode ifFalse: [self Jump: (self ensureNonMergeFixupAt: postBranchPC). + "duplicate the merge fixup's top of stack so as to avoid a false confict." + self ssPushDesc: ((self fixupAt: nextPC) mergeSimStack at: simStackPtr + 1)]. + - self ssPushConstant: objectMemory trueObject]. "dummy value" ^0! Item was changed: ----- Method: RegisterAllocatingCogit>>mergeWithFixupIfRequired: (in category 'simulation stack') ----- mergeWithFixupIfRequired: fixup "If this bytecode has a fixup, some kind of merge needs to be done. There are 4 cases: 1) the bytecode has no fixup (fixup isNotAFixup) do nothing 2) the bytecode has a non merge fixup the fixup has needsNonMergeFixup. The code generating non merge fixup (currently only special selector code) is responsible for the merge so no need to do it. We set deadCode to false as the instruction can be reached from jumps. 3) the bytecode has a merge fixup, but execution flow *cannot* fall through to the merge point. the fixup has needsMergeFixup and deadCode = true. ignores the current simStack as it does not mean anything restores the simStack to the state the jumps to the merge point expects it to be. 4) the bytecode has a merge fixup and execution flow *can* fall through to the merge point. the fixup has needsMergeFixup and deadCode = false. flushes the stack to the stack pointer so the fall through execution path simStack is in the state the merge point expects it to be. restores the simStack to the state the jumps to the merge point expects it to be. In addition, if this is a backjump merge point, we patch the fixup to hold the current simStackPtr + for later assertions. self printSimStack: fixup mergeSimStack" + - for later assertions." - <var: #fixup type: #'BytecodeFixup *'> "case 1" fixup notAFixup ifTrue: [^0]. "case 2" fixup isNonMergeFixup ifTrue: + [deadCode + ifTrue: + [self deny: fixup simStackPtr isNil. + simStackPtr := fixup simStackPtr. + self restoreSimStackAtMergePoint: fixup. + deadCode := false] + ifFalse: + [self flushRegistersOnlyLiveOnFallThrough: fixup]. - [deadCode ifTrue: - [self deny: fixup simStackPtr isNil. - simStackPtr := fixup simStackPtr. - self restoreSimStackAtMergePoint: fixup. - deadCode := false]. ^0]. "cases 3 and 4" self assert: fixup isMergeFixup. self traceMerge: fixup. deadCode ifTrue: [simStackPtr := fixup simStackPtr] "case 3" ifFalse: [self mergeCurrentSimStackWith: fixup]. "case 4" "cases 3 and 4" deadCode := false. fixup isBackwardBranchFixup ifTrue: [self assert: fixup mergeSimStack isNil. self setMergeSimStackOf: fixup]. fixup targetInstruction: self Label. self assert: simStackPtr = fixup simStackPtr. self cCode: '' inSmalltalk: [self assert: fixup simStackPtr = (self debugStackPointerFor: bytecodePC)]. self restoreSimStackAtMergePoint: fixup. ^0! Item was changed: ----- Method: StackInterpreter>>shortPrint: (in category 'simulation') ----- shortPrint: oop <doNotGenerate> + | name classOop key | - | name classOop | (objectMemory isImmediate: oop) ifTrue: [(objectMemory isImmediateCharacter: oop) ifTrue: [^(objectMemory characterValueOf: oop) < 256 ifTrue: ['=$', (objectMemory characterValueOf: oop) printString, ' ($', (String with: (Character value: (objectMemory characterValueOf: oop))), ')'] ifFalse: ['=$', (objectMemory characterValueOf: oop) printString, '($???)']]. (objectMemory isIntegerObject: oop) ifTrue: [^'=', (objectMemory integerValueOf: oop) printString, ' (', (objectMemory integerValueOf: oop) hex, ')']. (objectMemory isImmediateFloat: oop) ifTrue: [^ '=', (objectMemory floatValueOf: oop) printString, ' (', oop hex, ')']. ^'= UNKNOWN IMMEDIATE', ' (', (objectMemory integerValueOf: oop) hex, ')']. (objectMemory addressCouldBeObj: oop) ifFalse: [^(oop bitAnd: objectMemory allocationUnit - 1) ~= 0 ifTrue: [' is misaligned'] ifFalse: [self whereIs: oop]]. (objectMemory isFreeObject: oop) ifTrue: [^' is a free chunk of size ', (objectMemory sizeOfFree: oop) printString, (objectMemory hasSpurMemoryManagerAPI ifTrue: [' 0th: ', (objectMemory fetchPointer: 0 ofFreeChunk: oop) hex] ifFalse: [''])]. (objectMemory isForwarded: oop) ifTrue: [^' is a forwarded object to ', (objectMemory followForwarded: oop) hex, ' of slot size ', (objectMemory numSlotsOfAny: oop) printString]. (objectMemory isFloatInstance: oop) ifTrue: [^'=', (objectMemory dbgFloatValueOf: oop) printString]. oop = objectMemory nilObject ifTrue: [^'nil']. oop = objectMemory falseObject ifTrue: [^'false']. oop = objectMemory trueObject ifTrue: [^'true']. classOop := objectMemory fetchClassOfNonImm: oop. ((self objCouldBeClassObj: oop) and: [(objectMemory numSlotsOf: classOop) = metaclassNumSlots]) ifTrue: [^'class ', (self nameOfClass: oop)]. name := self nameOfClass: classOop. name size = 0 ifTrue: [name := '??']. (#('String' 'ByteString') includes: name) ifTrue: [^(self stringOf: oop) printString]. (#('Symbol' 'ByteSymbol') includes: name) ifTrue: [^'#', (self stringOf: oop)]. name = 'Character' ifTrue: "SpurMemoryManager has immediate Characters (see above); ObjectMemory does not" [^'=', (Character value: (objectMemory integerValueOf: (objectMemory fetchPointer: 0 ofObject: oop))) printString]. "Try to spot association-like things; they're all subclasses of LookupKey" ((objectMemory isPointersNonImm: oop) and: [classOop ~= objectMemory nilObject and: [((objectMemory instanceSizeOf: classOop) between: ValueIndex + 1 and: ValueIndex + 2) + and: [(objectMemory addressCouldBeObj: (key := objectMemory fetchPointer: KeyIndex ofObject: oop)) + and: [(key = objectMemory nilObject and: [self addressCouldBeClassObj: (objectMemory fetchPointer: ValueIndex ofObject: oop)]) + or: [objectMemory isBytesNonImm: key]]]]]) ifTrue: - and: [(objectMemory addressCouldBeObj: (objectMemory fetchPointer: KeyIndex ofObject: oop))] - and: [(objectMemory isBytesNonImm: (objectMemory fetchPointer: KeyIndex ofObject: oop))]]]) ifTrue: [| classLookupKey | classLookupKey := objectMemory fetchClassOfNonImm: (objectMemory splObj: SchedulerAssociation). [classLookupKey = objectMemory nilObject ifTrue: [^(('AEIOU' includes: name first) ifTrue: ['an '] ifFalse: ['a ']), name]. (objectMemory instanceSizeOf: classLookupKey) = (KeyIndex + 1)] whileFalse: [classLookupKey := self superclassOf: classLookupKey]. + [(objectMemory instanceSizeOf: (self superclassOf: classLookupKey)) = (KeyIndex + 1)] whileTrue: + [classLookupKey := self superclassOf: classLookupKey]. (self includesBehavior: classOop ThatOf: classLookupKey) ifTrue: [^(('AEIOU' includes: name first) ifTrue: ['an '] ifFalse: ['a ']), name, ' ', (self shortPrint: (objectMemory fetchPointer: KeyIndex ofObject: oop)), ' -> ', (objectMemory fetchPointer: ValueIndex ofObject: oop) hex8]]. ^(('AEIOU' includes: name first) ifTrue: ['an '] ifFalse: ['a ']), name! Item was changed: ----- Method: StackToRegisterMappingCogit>>ensureFixupAt: (in category 'compile abstract instructions') ----- ensureFixupAt: targetPC "Make sure there's a flagged fixup at the target pc in fixups. Initially a fixup's target is just a flag. Later on it is replaced with a proper instruction." <returnTypeC: #'BytecodeFixup *'> | fixup | <var: #fixup type: #'BytecodeFixup *'> fixup := self fixupAt: targetPC. + self traceFixup: fixup merge: true. - self traceFixup: fixup. self cCode: '' inSmalltalk: [self assert: simStackPtr = (self debugStackPointerFor: targetPC). (fixup isMergeFixupOrIsFixedUp and: [fixup isBackwardBranchFixup not]) ifTrue: "ignore backward branch targets" [self assert: fixup simStackPtr = simStackPtr]]. fixup isNonMergeFixupOrNotAFixup ifTrue: "convert a non-merge into a merge" [fixup becomeMergeFixup. fixup simStackPtr: simStackPtr. LowcodeVM ifTrue: [ fixup simNativeStackPtr: simNativeStackPtr. fixup simNativeStackSize: simNativeStackSize]] ifFalse: [fixup isBackwardBranchFixup ifTrue: "this is the target of a backward branch and so doesn't have a simStackPtr assigned yet." [fixup simStackPtr: simStackPtr. LowcodeVM ifTrue: [fixup simNativeStackPtr: simNativeStackPtr. fixup simNativeStackSize: simNativeStackSize]] ifFalse: [self assert: fixup simStackPtr = simStackPtr. LowcodeVM ifTrue: [self assert: fixup simNativeStackPtr = simNativeStackPtr. self assert: fixup simNativeStackSize = simNativeStackSize]]]. fixup recordBcpc: bytecodePC. ^fixup! Item was changed: ----- Method: StackToRegisterMappingCogit>>ensureNonMergeFixupAt: (in category 'compile abstract instructions') ----- ensureNonMergeFixupAt: targetPC "Make sure there's a flagged fixup at the target pc in fixups. Initially a fixup's target is just a flag. Later on it is replaced with a proper instruction." <returnTypeC: #'BytecodeFixup *'> | fixup | <var: #fixup type: #'BytecodeFixup *'> fixup := self fixupAt: targetPC. + self traceFixup: fixup merge: true. fixup notAFixup ifTrue: [fixup becomeNonMergeFixup]. self cCode: '' inSmalltalk: [fixup isMergeFixupOrIsFixedUp ifTrue: [self assert: (fixup isBackwardBranchFixup or: [fixup simStackPtr = (self debugStackPointerFor: targetPC)])]]. fixup recordBcpc: bytecodePC. ^fixup! Item was removed: - ----- Method: StackToRegisterMappingCogit>>traceFixup: (in category 'simulation only') ----- - traceFixup: fixup - <cmacro: '(ign) 0'> - | index | - (compilationTrace anyMask: 32) ifTrue: - [index := (fixups object identityIndexOf: fixup) - 1. - coInterpreter transcript - ensureCr; - print: bytecodePC; nextPutAll: ' -> '; print: index; nextPut: $/; print: index + initialPC; - nextPut: $:; space. - fixup printStateOn: coInterpreter transcript. - coInterpreter transcript cr; flush]! Item was added: + ----- Method: StackToRegisterMappingCogit>>traceFixup:merge: (in category 'simulation only') ----- + traceFixup: fixup merge: isMerge + <cmacro: '(igu,ana) 0'> + | index | + (compilationTrace anyMask: 32) ifTrue: + [index := (fixups object identityIndexOf: fixup) - 1. + coInterpreter transcript + ensureCr; + print: bytecodePC; nextPutAll: ' -> '; print: index; nextPut: $/; print: index + initialPC; + nextPut: $:; space. + isMerge + ifTrue: [fixup printStateOn: coInterpreter transcript] + ifFalse: [coInterpreter transcript nextPutAll: 'non-merge']. + coInterpreter transcript cr; flush]!

1 0

VM Maker: VMMaker.oscogSPC-eem.2127.mcz
by commits＠source.squeak.org 12 Feb '17

12 Feb '17

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscogSPC-eem.2127.mcz ==================== Summary ==================== Name: VMMaker.oscogSPC-eem.2127 Author: eem Time: 12 February 2017, 10:48:48.374293 am UUID: 505b5bdb-2355-4b2b-85b7-e600b3df5c23 Ancestors: VMMaker.oscogSPC-eem.2126 Cogit: Initialize initialPC to zero for run-time initialization (C code wasn't affected cuz it defaulted to 0). Fix some C compilation warnings due to mismatched pointer types. Add support for printing temp names in blocks for in-image compilation. (Slang) Get methods that return AbstractInstrucitons to be inlinable. SimpleStackBasedCogit: Avoid assuming bytecode sizes in closure creation. StackToRegisterMappingCogit: Simplify genForwardersInlinedIdenticalOrNotIf: to avoid an extra call of genEnsureOopInRegNotForwarded:... Generate slightly better code in genSpecialSelectorComparison Squash jump L1; nop; L1 to nop; nop (again as part of jump following). Don't bother to inline genEnsureOopInRegNotForwarded:scratchReg:ifForwarder:ifNotForwarder:, but do inline genEnsureOopInRegNotForwarded:scratchReg:jumpBackTo: which is simply a call of the other. RegisterAllocatingCogit: Don't allocate an SSRegister's entry to a different register. ensureNonMergeFixupAt: must remember the optStatus. Add some asserts to check that the non-merge is appropriate. Implement merging for genForwardersInlinedIdenticalOrNotIf: and genSpecialSelectorComparison. Remember to flush live register state on backward branch (checkForInterrupts). Make mergeRequiredForJumpTo: sophisitcated enough to spot matching source and destination simStacks. =============== Diff against VMMaker.oscogSPC-eem.2126 =============== Item was changed: ----- Method: CCodeGenerator>>collectInlineList: (in category 'inlining') ----- collectInlineList: inlineFlagOrSymbol "Make a list of methods that should be inlined. If inlineFlagOrSymbol == #asSpecified only inline methods marked with <inline: true>. If inlineFlagOrSymbol == #asSpecifiedOrQuick only inline methods marked with <inline: true> or methods that are quick (^constant, ^inst var)." "Details: The method must not include any inline C, since the translator cannot currently map variable names in inlined C code. Methods to be inlined must be small or called from only one place." | selectorsOfMethodsNotToInline callsOf | self assert: (#(true false asSpecified asSpecifiedOrQuick) includes: inlineFlagOrSymbol). selectorsOfMethodsNotToInline := Set new: methods size. selectorsOfMethodsNotToInline addAll: macros keys. apiMethods ifNotNil: [selectorsOfMethodsNotToInline addAll: apiMethods keys]. methods do: [:m| m isStructAccessor ifTrue: [selectorsOfMethodsNotToInline add: m selector]]. "build dictionary to record the number of calls to each method" callsOf := Dictionary new: methods size * 2. methods keysAndValuesDo: [:s :m| (m isRealMethod and: [self shouldGenerateMethod: m]) ifTrue: [callsOf at: s put: 0]]. "For each method, scan its parse tree once or twice to: 1. determine if the method contains unrenamable C code or declarations or has a C builtin 2. determine how many nodes it has 3. increment the sender counts of the methods it calls" inlineList := Set new: methods size * 2. (methods reject: [:m| selectorsOfMethodsNotToInline includes: m selector]) do: [:m| | inlineIt hasUnrenamableCCode nodeCount | ((breakSrcInlineSelectors includes: m selector) and: [breakOnInline isNil]) ifTrue: [self halt]. inlineIt := #dontCare. (translationDict includesKey: m selector) ifTrue: [hasUnrenamableCCode := true] ifFalse: [hasUnrenamableCCode := m hasUnrenamableCCode. nodeCount := 0. m parseTree nodesDo: [:node| node isSend ifTrue: [callsOf at: node selector ifPresent: [:senderCount| callsOf at: node selector put: senderCount + 1]]. nodeCount := nodeCount + 1]. inlineIt := m extractInlineDirective]. "may be true, false, #always, #never or #dontCare" (hasUnrenamableCCode or: [inlineIt == false]) ifTrue: "don't inline if method has C code or contains negative inline directive" [inlineIt == true ifTrue: [logger ensureCr; nextPutAll: 'failed to inline '; nextPutAll: m selector; nextPutAll: ' as it contains unrenamable C declarations or C code'; cr; flush]. selectorsOfMethodsNotToInline add: m selector] ifFalse: [(inlineFlagOrSymbol caseOf: { [#asSpecified] -> [inlineIt == true]. + [#asSpecifiedOrQuick] -> [inlineIt == true + or: [self isQuickCompiledMethod: m compiledMethod]]. - [#asSpecifiedOrQuick] -> [inlineIt == true or: [m compiledMethod isQuick]]. [true] -> [nodeCount < 40 or: [inlineIt == true]]. [false] -> [false]}) ifTrue: "inline if method has no C code and is either small or contains inline directive" [inlineList add: m selector] ifFalse: [(#(asSpecified asSpecifiedOrQuick) includes: inlineFlagOrSymbol) ifTrue: [selectorsOfMethodsNotToInline add: m selector]]]]. (#(asSpecified asSpecifiedOrQuick) includes: inlineFlagOrSymbol) ifTrue: [methods do: [:m| m inline ifNil: [m inline: (inlineList includes: m selector)]]] ifFalse: [callsOf associationsDo: [:assoc| (assoc value = 1 and: [(selectorsOfMethodsNotToInline includes: assoc key) not]) ifTrue: [inlineList add: assoc key]]]! Item was added: + ----- Method: CCodeGenerator>>isQuickCompiledMethod: (in category 'inlining') ----- + isQuickCompiledMethod: aCompiledMethod + ^aCompiledMethod isQuick + or: [(#(pushConstant: pushLiteralVariable:) includes: (aCompiledMethod abstractBytecodeMessageAt: aCompiledMethod initialPC) selector) + and: [(aCompiledMethod abstractBytecodeMessageAt: (InstructionStream on: aCompiledMethod) followingPc) selector == #methodReturnTop]]! Item was changed: ----- Method: CogAbstractInstruction>>getJmpTarget (in category 'accessing') ----- getJmpTarget "Get the target of a jump instruction. Jumps have the target in the first operand." + <inline: true> ^cogit cCoerceSimple: (operands at: 0) to: #'AbstractInstruction *'! Item was changed: ----- Method: CogAbstractInstruction>>isAFixup: (in category 'testing') ----- isAFixup: fixupOrAddress <var: #fixupOrAddress type: #'void *'> + <inline: true> ^cogit addressIsInFixups: fixupOrAddress! Item was changed: ----- Method: CogAbstractInstruction>>labelOffset (in category 'generate machine code') ----- labelOffset "Hack: To arrange that the block method field pushed in a block entry has its MFMethodFlagIsBlockFlag bit set we provide labels with an offset. The offset for the fakeHeader reference is MFMethodFlagIsBlockFlag. See compileBlockFrameBuild:" + <inline: true> ^operands at: 1! Item was changed: ----- Method: CogAbstractInstruction>>updateLabel: (in category 'generate machine code') ----- updateLabel: labelInstruction "Update an instruction that depends on a label outside of generated code (e.g. a method or block header)." <var: #labelInstruction type: #'AbstractInstruction *'> + <inline: true> self assert: (opcode = MoveCwR or: [opcode = PushCw]). operands at: 0 put: labelInstruction address + labelInstruction labelOffset! Item was changed: ----- Method: CogObjectRepresentationForSpur>>genEnsureOopInRegNotForwarded:scratchReg:ifForwarder:ifNotForwarder: (in category 'compile abstract instructions') ----- genEnsureOopInRegNotForwarded: reg scratchReg: scratch ifForwarder: fwdJumpTarget ifNotForwarder: nonFwdJumpTargetOrZero "Make sure that the oop in reg is not forwarded. Use the fact that isForwardedObjectClassIndexPun is a power of two to save an instruction." | imm ok finished | - <inline: true> - <var: #ok type: #'AbstractInstruction *'> - <var: #imm type: #'AbstractInstruction *'> - <var: #finished type: #'AbstractInstruction *'> self assert: reg ~= scratch. imm := self genJumpImmediate: reg. "notionally self genGetClassIndexOfNonImm: reg into: scratch. cogit CmpCq: objectMemory isForwardedObjectClassIndexPun R: TempReg. but the following is an instruction shorter:" cogit MoveMw: 0 r: reg R: scratch. cogit AndCq: objectMemory classIndexMask - objectMemory isForwardedObjectClassIndexPun R: scratch. ok := cogit JumpNonZero: 0. self genLoadSlot: 0 sourceReg: reg destReg: reg. cogit Jump: fwdJumpTarget. + finished := nonFwdJumpTargetOrZero asUnsignedInteger = 0 + ifTrue: [cogit Label] + ifFalse: [nonFwdJumpTargetOrZero]. - finished := nonFwdJumpTargetOrZero = 0 - ifTrue: [ cogit Label ] - ifFalse: [ self cCoerceSimple: nonFwdJumpTargetOrZero to: #'AbstractInstruction *' ]. imm jmpTarget: (ok jmpTarget: finished). ^0! Item was changed: ----- Method: CogObjectRepresentationForSpur>>genEnsureOopInRegNotForwarded:scratchReg:jumpBackTo: (in category 'compile abstract instructions') ----- genEnsureOopInRegNotForwarded: reg scratchReg: scratch jumpBackTo: instruction <var: #instruction type: #'AbstractInstruction *'> + <inline: true> ^ self genEnsureOopInRegNotForwarded: reg scratchReg: scratch ifForwarder: instruction ifNotForwarder: 0! Item was added: + ----- Method: CogRegisterAllocatingSimStackEntry>>isIdenticalEntryAs: (in category 'comparing') ----- + isIdenticalEntryAs: ssEntry + <var: 'ssEntry' type: #'CogSimStackEntry *'> + ^type = ssEntry type + and: [liveRegister = ssEntry liveRegister + and: [((type = SSBaseOffset or: [type == SSSpill]) and: [offset = ssEntry offset and: [register = ssEntry register]]) + or: [(type = SSRegister and: [register = ssEntry register]) + or: [(type = SSConstant and: [constant = ssEntry constant])]]]]! Item was added: + ----- Method: CogRegisterAllocatingSimStackEntry>>isMergedWithTargetEntry: (in category 'comparing') ----- + isMergedWithTargetEntry: targetEntry + "The receiver is a simStackEntry at a jump to the corresponding simStackEntry at the jump's target. + Answer if no merge is required for the jump." + <var: 'ssEntry' type: #'CogSimStackEntry *'> + spilled ~= targetEntry spilled ifTrue: "push or pop required" + [^false]. + (liveRegister = NoReg and: [targetEntry liveRegister ~= NoReg]) ifTrue: "register load required" + [^false]. + (liveRegister ~= NoReg + and: [liveRegister = targetEntry liveRegister + and: [type = targetEntry type + and: [type = SSConstant or: [type = SSRegister and: [register = targetEntry register]]]]]) ifTrue: + [^true]. + ((type = SSBaseOffset or: [type == SSSpill]) + and: [(targetEntry type = SSBaseOffset or: [targetEntry type == SSSpill]) + and: [offset = targetEntry offset and: [register = targetEntry register]]]) ifTrue: + [^true]. + self halt: 'comment the incompatible pair please'. + ^false! Item was changed: ----- Method: CogRegisterAllocatingSimStackEntry>>popToReg: (in category 'compile abstract instructions') ----- popToReg: reg liveRegister ~= NoReg ifTrue: [self deny: (type = SSRegister and: [register ~= liveRegister and: [cogit needsFrame]]). spilled ifTrue: "This is rare, and in some cases it isn't even needed (e.g. frameful return) but we can't tell as yet." [cogit AddCq: objectRepresentation wordSize R: SPReg]. reg ~= liveRegister ifTrue: [cogit MoveR: liveRegister R: reg] ifFalse: [cogit Label]] ifFalse: [spilled ifTrue: [cogit PopR: reg] ifFalse: [type caseOf: { [SSBaseOffset] -> [cogit MoveMw: offset r: register R: reg]. [SSConstant] -> [cogit genMoveConstant: constant R: reg]. [SSRegister] -> [reg ~= register ifTrue: [cogit MoveR: register R: reg] ifFalse: [cogit Label]] }]]. + (reg ~= TempReg and: [liveRegister = NoReg and: [type ~= SSRegister]]) ifTrue: - (reg ~= TempReg and: [reg ~= liveRegister and: [type ~= SSRegister]]) ifTrue: [liveRegister := reg. cogit copyLiveRegisterToCopiesOf: self]! Item was changed: ----- Method: CogRegisterAllocatingSimStackEntry>>storeToReg: (in category 'compile abstract instructions') ----- storeToReg: reg liveRegister ~= NoReg ifTrue: [self deny: (type = SSRegister and: [register ~= liveRegister]). reg ~= liveRegister ifTrue: [cogit MoveR: liveRegister R: reg] ifFalse: [cogit Label]] ifFalse: [type caseOf: { [SSBaseOffset] -> [cogit MoveMw: offset r: register R: reg]. [SSSpill] -> [cogit MoveMw: offset r: register R: reg]. [SSConstant] -> [cogit genMoveConstant: constant R: reg]. [SSRegister] -> [reg ~= register ifTrue: [cogit MoveR: register R: reg] ifFalse: [cogit Label]] }]. + (reg ~= TempReg and: [liveRegister = NoReg and: [type ~= SSRegister]]) ifTrue: - (reg ~= TempReg and: [reg ~= liveRegister and: [type ~= SSRegister]]) ifTrue: [liveRegister := reg. cogit copyLiveRegisterToCopiesOf: self]! Item was added: + ----- Method: Cogit class>>attemptToComputeTempNamesFor: (in category 'in-image compilation') ----- + attemptToComputeTempNamesFor: aCompiledMethod + (aCompiledMethod respondsTo: #tempNames) ifTrue: + [| blocks | + blocks := aCompiledMethod embeddedBlockClosures. + initializationOptions + at: #tempNames + put: (Dictionary withAll: {aCompiledMethod initialPC -> aCompiledMethod tempNames}, + (blocks + ifEmpty: [#()] + ifNotEmpty: + [aCompiledMethod embeddedBlockClosures + with: ((aCompiledMethod methodNode schematicTempNamesString allButFirst: + (aCompiledMethod methodNode schematicTempNamesString indexOf: $[)) piecesCutWhere: [:a :b| b = $[]) + collect: [:c :s| c startpc -> s substrings]]))]! Item was changed: ----- Method: Cogit class>>cog:selectorOrNumCopied:options: (in category 'in-image compilation') ----- cog: aCompiledMethod selectorOrNumCopied: selectorOrNumCopied options: optionsDictionaryOrArray "StackToRegisterMappingCogit cog: (Integer >> #benchFib) selector: #benchFib options: #(COGMTVM false)" | cogit coInterpreter | cogit := self instanceForTests: optionsDictionaryOrArray. + self attemptToComputeTempNamesFor: aCompiledMethod. - (aCompiledMethod respondsTo: #tempNames) ifTrue: - [initializationOptions at: #tempNames put: aCompiledMethod tempNames]. coInterpreter := CurrentImageCoInterpreterFacade forCogit: cogit. [cogit setInterpreter: coInterpreter; singleStep: true; initializeCodeZoneFrom: 1024 upTo: coInterpreter memory size / 2. "leave space for rump C stack" cogit methodZone freeStart: (cogit methodZone freeStart roundUpTo: 1024)] on: Notification do: [:ex| (ex messageText beginsWith: 'cannot find receiver for') ifTrue: [ex resume: coInterpreter]. ex pass]. ^{ coInterpreter. cogit. selectorOrNumCopied isInteger ifTrue: [ cogit cogFullBlockMethod: (coInterpreter oopForObject: aCompiledMethod) numCopied: selectorOrNumCopied ] ifFalse: [ cogit cog: (coInterpreter oopForObject: aCompiledMethod) selector: (coInterpreter oopForObject: selectorOrNumCopied) ] }! Item was changed: ----- Method: Cogit>>abstractInstructionAt: (in category 'compile abstract instructions') ----- abstractInstructionAt: index <cmacro: '(index) (&abstractOpcodes[index])'> + <returnTypeC: #'AbstractInstruction *'> ((debugOpcodeIndices includes: index) and: [breakMethod isNil or: [methodObj = breakMethod]]) ifTrue: [self halt]. ^abstractOpcodes at: index! Item was changed: ----- Method: Cogit>>addressIsInFixups: (in category 'testing') ----- addressIsInFixups: address + <var: #address type: #'BytecodeFixup *'> + ^self cCode: '(AbstractInstruction *)address >= fixups && (AbstractInstruction *)address < (fixups + numAbstractOpcodes)' + inSmalltalk: + [fixups notNil + and: [(fixups object identityIndexOf: address) between: 1 and: numAbstractOpcodes]]! - <var: #address type: #'AbstractInstruction *'> - ^self cCode: 'address >= (AbstractInstruction *)&fixups[0] && address < (AbstractInstruction *)&fixups[numAbstractOpcodes]' - inSmalltalk: [fixups notNil - and: [(fixups object identityIndexOf: address) between: 1 and: numAbstractOpcodes]]! Item was changed: ----- Method: Cogit>>blockStartAt: (in category 'compile abstract instructions') ----- blockStartAt: index <cmacro: '(index) (&blockStarts[index])'> + "hack set startpc for printSimStack:toDepth:spillBase:on:" + (self class initializationOptions at: #tempNames ifAbsent: nil) ifNotNil: + [self class initializationOptions at: #startpc put: (blockStarts at: index) startpc]. ^blockStarts at: index! Item was changed: ----- Method: Cogit>>initialize (in category 'initialization') ----- initialize | wordSize | + initialPC := 0. wordSize := self class objectMemoryClass wordSize. cogMethodSurrogateClass := NewspeakVM ifTrue: [wordSize = 4 ifTrue: [NewspeakCogMethodSurrogate32] ifFalse: [NewspeakCogMethodSurrogate64]] ifFalse: [wordSize = 4 ifTrue: [CogMethodSurrogate32] ifFalse: [CogMethodSurrogate64]]. cogBlockMethodSurrogateClass := wordSize = 4 ifTrue: [CogBlockMethodSurrogate32] ifFalse: [CogBlockMethodSurrogate64]. nsSendCacheSurrogateClass := wordSize = 4 ifTrue: [NSSendCacheSurrogate32] ifFalse: [NSSendCacheSurrogate64].! Item was changed: StackToRegisterMappingCogit subclass: #RegisterAllocatingCogit instanceVariableNames: 'numFixups mergeSimStacksBase nextFixup scratchSimStack scratchSpillBase scratchOptStatus ceSendMustBeBooleanAddTrueLongTrampoline ceSendMustBeBooleanAddFalseLongTrampoline' classVariableNames: '' poolDictionaries: '' category: 'VMMaker-JIT'! + !RegisterAllocatingCogit commentStamp: 'eem 2/9/2017 10:40' prior: 0! + RegisterAllocatingCogit is an optimizing code generator that is specialized for register allocation. - !RegisterAllocatingCogit commentStamp: 'cb 4/15/2016 14:58' prior: 0! - RegisterAllocatingCogit is an optimizing code generator that is specialized in register allocation.. On the contrary to StackToRegisterMappingCogit, RegisterAllocatingCogit keeps at each control flow merge point the state of the simulated stack to merge into and not only an integer fixup. Each branch and jump record the current state of the simulated stack, and each fixup is responsible for merging this state into the saved simulated stack. + + Instance Variables + ceSendMustBeBooleanAddFalseLongTrampoline: <Integer> + ceSendMustBeBooleanAddTrueLongTrampoline: <Integer> + mergeSimStacksBase: <Integer> + nextFixup: <Integer> + numFixups: <Integer> + scratchOptStatus: <CogSSOptStatus> + scratchSimStack: <Array of CogRegisterAllocatingSimStackEntry> + scratchSpillBase: <Integer> + + ceSendMustBeBooleanAddFalseLongTrampoline + - the must-be-boolean trampoline for long jump false bytecodes (the existing ceSendMustBeBooleanAddFalseTrampoline is used for short branches) + + ceSendMustBeBooleanAddTrueLongTrampoline + - the must-be-boolean trampoline for long jump true bytecodes (the existing ceSendMustBeBooleanAddTrueTrampoline is used for short branches) + + mergeSimStacksBase + - the base address of the alloca'ed memory for merge fixups + + nextFixup + - the index into mergeSimStacksBase from which the next needed mergeSimStack will be allocated + + numFixups + - a conservative (over) estimate of the number of merge fixups needed in a method + + scratchOptStatus + - a scratch variable to hold the state of optStatus while merge code is generated + + scratchSimStack + - a scratch variable to hold the state of simStack while merge code is generated + + scratchSpillBase + - a scratch variable to hold the state of spillBase while merge code is generated! - ! Item was changed: ----- Method: RegisterAllocatingCogit>>ensureFixupAt: (in category 'bytecode generator support') ----- ensureFixupAt: targetPC "Make sure there's a flagged fixup at the target pc in fixups. Initially a fixup's target is just a flag. Later on it is replaced with a proper instruction. Override to enerate stack merging code if required." + | fixup startOpcodeIndex | - | fixup | <var: #fixup type: #'BytecodeFixup *'> fixup := self fixupAt: targetPC. fixup needsFixup ifTrue: [fixup mergeSimStack ifNil: [self setMergeSimStackOf: fixup] + ifNotNil: + [startOpcodeIndex := opcodeIndex. + self mergeCurrentSimStackWith: fixup. + self deny: (startOpcodeIndex = opcodeIndex and: [thisContext sender method sendsSelector: #mergeRequiredForJumpTo:])]] - ifNotNil: [self mergeCurrentSimStackWith: fixup]] ifFalse: [self assert: fixup mergeSimStack isNil. self moveVolatileSimStackEntriesToRegisters. self setMergeSimStackOf: fixup]. ^super ensureFixupAt: targetPC! Item was changed: ----- Method: RegisterAllocatingCogit>>ensureNonMergeFixupAt: (in category 'compile abstract instructions') ----- ensureNonMergeFixupAt: targetPC "Make sure there's a flagged fixup at the target pc in fixups. Initially a fixup's target is just a flag. Later on it is replaced with a proper instruction. + Override to remember the simStack state at the target, if not already there." + "self printSimStack; printSimStack: fixup mergeSimStack" - Override to remember the simStack state at tyeh target, if required." | fixup | fixup := super ensureNonMergeFixupAt: targetPC. + fixup mergeSimStack + ifNil: [self setMergeSimStackOf: fixup] + ifNotNil: [self assert: simStackPtr = fixup simStackPtr. + self deny: (self mergeRequiredToTarget: fixup mergeSimStack)]. + optStatus isReceiverResultRegLive ifFalse: + [fixup isReceiverResultRegSelf: false]. - fixup mergeSimStack ifNil: [self setMergeSimStackOf: fixup]. ^fixup! Item was changed: ----- Method: RegisterAllocatingCogit>>flushLiveRegistersForCRunTimeCall (in category 'bytecode generator support') ----- flushLiveRegistersForCRunTimeCall + "Flush any live registers for a C call, i.e. don't flush caller-saved registers. + Answer if any registers were flushed." <inline: true> + | flushed reg | + flushed := false. - | reg | self assert: simSelf type = SSBaseOffset. reg := simSelf liveRegister. (reg ~= NoReg and: [(self isCallerSavedReg: reg)]) ifTrue: + [simSelf liveRegister: NoReg. + flushed := true]. - [simSelf liveRegister: NoReg]. 0 to: simStackPtr do: [:i| self assert: (self simStackAt: i) type = (i <= methodOrBlockNumTemps ifTrue: [SSBaseOffset] ifFalse: [SSSpill]). reg := (self simStackAt: i) liveRegister. (reg ~= NoReg and: [(self isCallerSavedReg: reg)]) ifTrue: + [(self simStackAt: i) liveRegister: NoReg. + flushed := true]]. + ^flushed! - [(self simStackAt: i) liveRegister: NoReg]]! Item was added: + ----- Method: RegisterAllocatingCogit>>flushLiveRegistersForSuspensionPoint (in category 'bytecode generator support') ----- + flushLiveRegistersForSuspensionPoint + "Flush any live registers for a C call at a suspension/resumption point, i.e.flush all registers. + Answer if any registers were flushed." + <inline: true> + | flushed | + flushed := false. + self assert: simSelf type = SSBaseOffset. + simSelf liveRegister ~= NoReg ifTrue: + [simSelf liveRegister: NoReg. + flushed := true]. + 0 to: simStackPtr do: + [:i| + self assert: (self simStackAt: i) type = (i <= methodOrBlockNumTemps + ifTrue: [SSBaseOffset] + ifFalse: [SSSpill]). + (self simStackAt: i) liveRegister ~= NoReg ifTrue: + [(self simStackAt: i) liveRegister: NoReg. + flushed := true]]. + ^flushed! Item was changed: ----- Method: RegisterAllocatingCogit>>genForwardersInlinedIdenticalOrNotIf: (in category 'bytecode generators') ----- genForwardersInlinedIdenticalOrNotIf: orNot + | nextPC branchDescriptor unforwardRcvr argReg targetPC + unforwardArg rcvrReg postBranchPC retry fixup + comparison + needMergeToTarget needMergeToContinue | - | nextPC branchDescriptor unforwardRcvr argReg targetBytecodePC - unforwardArg rcvrReg postBranchPC label fixup | <var: #branchDescriptor type: #'BytecodeDescriptor *'> + <var: #toContinueLabel type: #'AbstractInstruction *'> + <var: #toTargetLabel type: #'AbstractInstruction *'> + <var: #comparison type: #'AbstractInstruction *'> + <var: #retry type: #'AbstractInstruction *'> - <var: #label type: #'AbstractInstruction *'> self extractMaybeBranchDescriptorInto: [ :descr :next :postBranch :target | + branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetPC := target ]. - branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetBytecodePC := target ]. "If an operand is an annotable constant, it may be forwarded, so we need to store it into a register so the forwarder check can jump back to the comparison after unforwarding the constant. However, if one of the operand is an unnanotable constant, does not allocate a register for it (machine code will use operations on constants) and does not generate forwarder checks." unforwardRcvr := (objectRepresentation isUnannotatableConstant: (self ssValue: 1)) not. unforwardArg := (objectRepresentation isUnannotatableConstant: self ssTop) not. self allocateEqualsEqualsRegistersArgNeedsReg: unforwardArg rcvrNeedsReg: unforwardRcvr into: [ :rcvr :arg | rcvrReg:= rcvr. argReg := arg ]. "If not followed by a branch, resolve to true or false." (branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]) ifFalse: + [^self - [^ self genIdenticalNoBranchArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg orNotIf: orNot]. + self assert: (unforwardArg or: [unforwardRcvr]). + + retry := self Label. - label := self Label. self genCmpArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg. self ssPop: 2. + (self fixupAt: nextPC) notAFixup "The next instruction is dead. we can skip it." + ifTrue: [deadCode := true] + ifFalse: [self deny: deadCode]. "push dummy value below" - "For now just deny we're in the situation we have yet to implement ;-) - self printSimStack; printSimStack: (self fixupAt: postBranchPC) mergeSimStack" - self deny: (self mergeRequiredForJumpTo: targetBytecodePC). - self deny: (self mergeRequiredForJumpTo: postBranchPC). + "self printSimStack; printSimStack: (self fixupAt: postBranchPC) mergeSimStack" + "If there are merges to be performed on the forward branches we have to execute + the merge code only along the path requiring that merge, and exactly once." + needMergeToTarget := self mergeRequiredForJumpTo: targetPC. + needMergeToContinue := self mergeRequiredForJumpTo: postBranchPC. + orNot == branchDescriptor isBranchTrue + ifFalse: "a == b ifTrue: ... or a ~~ b ifFalse: ... jump on equal to target pc" + [fixup := needMergeToContinue + ifTrue: [0] "jumps will fall-through to to-continue merge code" + ifFalse: [self ensureNonMergeFixupAt: postBranchPC]. + comparison := self JumpZero: (needMergeToTarget + ifTrue: [0] "comparison will be fixed up to to-target merge code" + ifFalse: [self ensureNonMergeFixupAt: targetPC])] + ifTrue: "a == b ifFalse: ... or a ~~ b ifTrue: ... jump on equal to post-branch pc" + [fixup := needMergeToTarget + ifTrue: [0] "jumps will fall-through to to-target merge code" + ifFalse: [(self ensureNonMergeFixupAt: targetPC)]. + comparison := self JumpZero: (needMergeToContinue + ifTrue: [0] "comparison will be fixed up to to-continue merge code" + ifFalse: [self ensureNonMergeFixupAt: postBranchPC])]. - "Further since there is a following conditional jump bytecode, define - non-merge fixups and leave the cond bytecode to set the mergeness." - (self fixupAt: nextPC) notAFixup - ifTrue: "The next instruction is dead. we can skip it." - [deadCode := true. - self ensureFixupAt: targetBytecodePC. - self ensureFixupAt: postBranchPC] - ifFalse: - [self deny: deadCode]. "push dummy value below" + "The forwarders check(s) need(s) to jump back to the comparison (retry) if a forwarder is found, + else jump forward either to the next forwarder check or to the postBranch or branch target (fixup). + But if there is merge code along a path, the jump must be to the merge code." + (unforwardArg and: [unforwardRcvr]) ifTrue: + [objectRepresentation genEnsureOopInRegNotForwarded: argReg scratchReg: TempReg jumpBackTo: retry]. + objectRepresentation + genEnsureOopInRegNotForwarded: (unforwardRcvr ifTrue: [rcvrReg] ifFalse: [argReg]) + scratchReg: TempReg + ifForwarder: retry + ifNotForwarder: fixup. + "If fixup is zero then the ifNotForwarder path falls through to a Label which is interpreted + as either to-continue or to-target, depending on orNot == branchDescriptor isBranchTrue." + orNot == branchDescriptor isBranchTrue + ifFalse: "a == b ifTrue: ... or a ~~ b ifFalse: ... jump on equal to target pc" + [needMergeToContinue ifTrue: "fall-through to to-continue merge code" + [self Jump: (self ensureFixupAt: postBranchPC)]. + needMergeToTarget ifTrue: "fixup comparison to to-target merge code" + [comparison jmpTarget: self Label. + self Jump: (self ensureFixupAt: targetPC)]] + ifTrue: "a == b ifFalse: ... or a ~~ b ifTrue: ... jump on equal to post-branch pc" + [needMergeToTarget ifTrue: "fall-through to to-target merge code" + [self Jump: (self ensureFixupAt: targetPC)]. + needMergeToContinue ifTrue: "fixup comparison to to-continue merge code" + [comparison jmpTarget: self Label. + self Jump: (self ensureFixupAt: postBranchPC)]]. - self assert: (unforwardArg or: [unforwardRcvr]). - orNot == branchDescriptor isBranchTrue "orNot is true for ~~" - ifFalse: "branchDescriptor is branchFalse" - [ fixup := (self ensureNonMergeFixupAt: postBranchPC) asUnsignedInteger. - self JumpZero: (self ensureNonMergeFixupAt: targetBytecodePC) asUnsignedInteger ] - ifTrue: - [ fixup := (self ensureNonMergeFixupAt: targetBytecodePC) asUnsignedInteger. - self JumpZero: (self ensureNonMergeFixupAt: postBranchPC) asUnsignedInteger ]. deadCode ifFalse: [self ssPushConstant: objectMemory trueObject]. "dummy value" - "The forwarders checks need to jump back to the comparison (label) if a forwarder is found, else - jump forward either to the next forwarder check or to the postBranch or branch target (fixup)." - unforwardArg ifTrue: - [ unforwardRcvr - ifTrue: [ objectRepresentation genEnsureOopInRegNotForwarded: argReg scratchReg: TempReg jumpBackTo: label ] - ifFalse: [ objectRepresentation - genEnsureOopInRegNotForwarded: argReg - scratchReg: TempReg - ifForwarder: label - ifNotForwarder: fixup ] ]. - unforwardRcvr ifTrue: - [ objectRepresentation - genEnsureOopInRegNotForwarded: rcvrReg - scratchReg: TempReg - ifForwarder: label - ifNotForwarder: fixup ]. - - "Not reached, execution flow have jumped to fixup" - ^0! Item was changed: ----- Method: RegisterAllocatingCogit>>genJumpBackTo: (in category 'bytecode generator support') ----- genJumpBackTo: targetBytecodePC | nothingToFlush label | <var: #label type: #'AbstractInstruction *'> "If there's nothing to flush then the stack state at this point is the same as that after + the check for interrupts and we can avoid generating the register reload code twice." + nothingToFlush := (self liveRegisters bitClear: (self registerMaskFor: FPReg)) = 0. + nothingToFlush ifTrue: - the check for interrups and we can avoid generating the register reload code twice." - (nothingToFlush := simStackPtr < 0 or: [self ssTop spilled]) ifTrue: [label := self Label]. self reconcileRegisterStateForBackwardJoin: (self fixupAt: targetBytecodePC). self MoveAw: coInterpreter stackLimitAddress R: TempReg. self CmpR: TempReg R: SPReg. "N.B. FLAGS := SPReg - TempReg" self JumpAboveOrEqual: (self fixupAt: targetBytecodePC). self ssFlushTo: simStackPtr. self CallRT: ceCheckForInterruptTrampoline. self annotateBytecode: self Label. + self flushLiveRegistersForSuspensionPoint. nothingToFlush ifTrue: [self Jump: label] ifFalse: [self reconcileRegisterStateForBackwardJoin: (self fixupAt: targetBytecodePC). self Jump: (self fixupAt: targetBytecodePC)]. deadCode := true. "can't fall through" ^0! Item was changed: ----- Method: RegisterAllocatingCogit>>genJumpIf:to: (in category 'bytecode generator support') ----- genJumpIf: boolean to: targetBytecodePC <inline: false> | eventualTarget desc reg fixup ok mbb noMustBeBoolean | <var: #fixup type: #'BytecodeFixup *'> <var: #ok type: #'AbstractInstruction *'> <var: #desc type: #'CogSimStackEntry *'> <var: #mbb type: #'AbstractInstruction *'> eventualTarget := self eventualTargetOf: targetBytecodePC. desc := self ssTop. self ssPop: 1. noMustBeBoolean := self extASpecifiesNoMustBeBoolean. extA := 0. (desc type == SSConstant and: [desc constant = objectMemory trueObject or: [desc constant = objectMemory falseObject]]) ifTrue: ["Must annotate the bytecode for correct pc mapping." desc constant = boolean ifTrue: [deadCode := true. "Can't fall through." fixup := self ensureFixupAt: eventualTarget. self annotateBytecode: (self Jump: fixup)] ifFalse: [self annotateBytecode: (self prevInstIsPCAnnotated ifTrue: [self Nop] ifFalse: [self Label])]. ^0]. "try and use the top entry's register if any, but only if it can be destroyed." reg := (desc type ~= SSRegister or: [(self anyReferencesToRegister: desc register inAllButTopNItems: 0) or: [(desc register = ReceiverResultReg and: [optStatus isReceiverResultRegLive])]]) ifTrue: [TempReg] ifFalse: [desc register]. desc popToReg: reg. "Cunning trick by LPD. If true and false are contiguous subtract the smaller. Correct result is either 0 or the distance between them. If result is not 0 or their distance send mustBeBoolean." self assert: (objectMemory objectAfter: objectMemory falseObject) = objectMemory trueObject. "Merge required; must not generate merge code along untaken branch, so flip the order." (self mergeRequiredForJumpTo: eventualTarget) ifTrue: [self genSubConstant: (boolean = objectMemory trueObject ifTrue: [objectMemory falseObject] ifFalse: [objectMemory trueObject]) R: reg. ok := self JumpZero: 0. self CmpCq: (boolean = objectMemory trueObject ifTrue: [objectMemory trueObject - objectMemory falseObject] ifFalse: [objectMemory falseObject - objectMemory trueObject]) R: reg. noMustBeBoolean ifTrue: [self JumpZero: (self ensureFixupAt: eventualTarget). "generates merge code" ok jmpTarget: (self annotateBytecode: self lastOpcode). ^0]. mbb := self JumpNonZero: 0. self Jump: (self ensureFixupAt: eventualTarget). "generates merge code" mbb jmpTarget: self Label] ifFalse: [self genSubConstant: boolean R: reg. + self JumpZero: (self ensureNonMergeFixupAt: eventualTarget). - self JumpZero: (self ensureFixupAt: eventualTarget). noMustBeBoolean ifTrue: [self annotateBytecode: self lastOpcode. ^0]. self CmpCq: (boolean = objectMemory falseObject ifTrue: [objectMemory trueObject - objectMemory falseObject] ifFalse: [objectMemory falseObject - objectMemory trueObject]) R: reg. ok := self JumpZero: 0]. reg ~= TempReg ifTrue: [self MoveR: reg R: TempReg]. self copySimStackToScratch: simSpillBase. self ssFlushTo: simStackPtr. self genCallMustBeBooleanFor: boolean. "NOTREACHED" ok jmpTarget: (self annotateBytecode: self Label). self restoreSimStackFromScratch. ^0! Item was changed: ----- Method: RegisterAllocatingCogit>>genSpecialSelectorComparison (in category 'bytecode generators') ----- genSpecialSelectorComparison + | nextPC postBranchPC targetPC primDescriptor branchDescriptor + rcvrIsInt argIsInt argInt jumpNotSmallInts inlineCAB index rcvrReg argReg branchToTarget needMergeToContinue needMergeToTarget | - | nextPC postBranchPC targetBytecodePC primDescriptor branchDescriptor - rcvrIsInt argIsInt argInt jumpNotSmallInts inlineCAB index rcvrReg argReg | <var: #primDescriptor type: #'BytecodeDescriptor *'> <var: #branchDescriptor type: #'BytecodeDescriptor *'> <var: #jumpNotSmallInts type: #'AbstractInstruction *'> primDescriptor := self generatorAt: byte0. argIsInt := self ssTop type = SSConstant and: [objectMemory isIntegerObject: (argInt := self ssTop constant)]. rcvrIsInt := (self ssValue: 1) type = SSConstant and: [objectMemory isIntegerObject: (self ssValue: 1) constant]. (argIsInt and: [rcvrIsInt]) ifTrue: [^self genStaticallyResolvedSpecialSelectorComparison]. self extractMaybeBranchDescriptorInto: [ :descr :next :postBranch :target | + branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetPC := target ]. - branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetBytecodePC := target ]. "Only interested in inlining if followed by a conditional branch." inlineCAB := branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]. "Further, only interested in inlining = and ~= if there's a SmallInteger constant involved. The relational operators successfully statically predict SmallIntegers; the equality operators do not." (inlineCAB and: [primDescriptor opcode = JumpZero or: [primDescriptor opcode = JumpNonZero]]) ifTrue: [inlineCAB := argIsInt or: [rcvrIsInt]]. inlineCAB ifFalse: [^self genSpecialSelectorSend]. "In-line the comparison and the jump, but if the types are not SmallInteger then we will need to do a send and fall through to the following conditional branch. Since we're allocating values in registers we would like to keep those registers live on the inlined path and reload registers along the non-inlined send path. The merge logic at the branch destinations handles this." argIsInt ifTrue: [rcvrReg := self allocateRegForStackEntryAt: 1. + (self ssValue: 1) popToReg: rcvrReg] - (self ssValue: 1) popToReg: rcvrReg. - self MoveR: rcvrReg R: TempReg] ifFalse: [self allocateRegForStackTopTwoEntriesInto: [:rTop :rNext| argReg := rTop. rcvrReg := rNext]. rcvrReg = Arg0Reg ifTrue: [rcvrReg := argReg. argReg := Arg0Reg]. self ssTop popToReg: argReg. (self ssValue: 1) popToReg: rcvrReg. + rcvrIsInt ifFalse: + [self MoveR: argReg R: TempReg]]. - self MoveR: argReg R: TempReg]. self ssPop: 2. jumpNotSmallInts := (argIsInt or: [rcvrIsInt]) + ifFalse: "Neither known to be ints; and them together for the test..." + [objectRepresentation genJumpNotSmallIntegersIn: rcvrReg andScratch: TempReg scratch: ClassReg] + ifTrue: "One known; in-place single-bit test for the other" + [objectRepresentation genJumpNotSmallInteger: (rcvrIsInt ifTrue: [argReg] ifFalse: [rcvrReg])]. - ifTrue: [objectRepresentation genJumpNotSmallIntegerInScratchReg: TempReg] - ifFalse: [objectRepresentation genJumpNotSmallIntegersIn: rcvrReg andScratch: TempReg scratch: ClassReg]. argIsInt ifTrue: [self CmpCq: argInt R: rcvrReg] ifFalse: [self CmpR: argReg R: rcvrReg]. + "self printSimStack; printSimStack: (self fixupAt: postBranchPC) mergeSimStack; printSimStack: (self fixupAt: targetPC) mergeSimStack" + "If there are merges to be performed on the forward branches we have to execute + the merge code only along the path requiring that merge, and exactly once." + needMergeToTarget := self mergeRequiredForJumpTo: targetPC. + needMergeToContinue := self mergeRequiredForJumpTo: postBranchPC. + "Cmp is weird/backwards so invert the comparison." + (needMergeToTarget and: [needMergeToContinue]) ifTrue: + [branchToTarget := self genConditionalBranch: (branchDescriptor isBranchTrue + ifTrue: [primDescriptor opcode] + ifFalse: [self inverseBranchFor: primDescriptor opcode]) + operand: 0. + self Jump: (self ensureFixupAt: postBranchPC). + branchToTarget jmpTarget: self Label. + self Jump: (self ensureFixupAt: targetPC)]. + (needMergeToTarget and: [needMergeToContinue not]) ifTrue: + [self genConditionalBranch: (branchDescriptor isBranchFalse + ifTrue: [primDescriptor opcode] + ifFalse: [self inverseBranchFor: primDescriptor opcode]) + operand: (self ensureNonMergeFixupAt: postBranchPC) asUnsignedInteger. + self Jump: (self ensureFixupAt: targetPC)]. + (needMergeToTarget not and: [needMergeToContinue]) ifTrue: + [self genConditionalBranch: (branchDescriptor isBranchTrue + ifTrue: [primDescriptor opcode] + ifFalse: [self inverseBranchFor: primDescriptor opcode]) + operand: (self ensureNonMergeFixupAt: targetPC) asUnsignedInteger. + self Jump: (self ensureFixupAt: postBranchPC)]. + (needMergeToTarget or: [needMergeToContinue]) ifFalse: + [self genConditionalBranch: (branchDescriptor isBranchTrue + ifTrue: [primDescriptor opcode] + ifFalse: [self inverseBranchFor: primDescriptor opcode]) + operand: (self ensureNonMergeFixupAt: targetPC) asUnsignedInteger. + self Jump: (self ensureNonMergeFixupAt: postBranchPC)]. - "For now just deny we're in the situation we have yet to implement ;-)" - self deny: (self mergeRequiredForJumpTo: targetBytecodePC). - self deny: (self mergeRequiredForJumpTo: postBranchPC). - - "Cmp is weird/backwards so invert the comparison. Further since there is a following conditional - jump bytecode define non-merge fixups and leave the cond bytecode to set the mergeness." - self genConditionalBranch: (branchDescriptor isBranchTrue - ifTrue: [primDescriptor opcode] - ifFalse: [self inverseBranchFor: primDescriptor opcode]) - operand: (self ensureFixupAt: targetBytecodePC) asUnsignedInteger. - self Jump: (self ensureFixupAt: postBranchPC). jumpNotSmallInts jmpTarget: self Label. self ssFlushTo: simStackPtr. self deny: rcvrReg = Arg0Reg. argIsInt ifTrue: [self MoveCq: argInt R: Arg0Reg] ifFalse: [argReg ~= Arg0Reg ifTrue: [self MoveR: argReg R: Arg0Reg]]. rcvrReg ~= ReceiverResultReg ifTrue: [self MoveR: rcvrReg R: ReceiverResultReg]. index := byte0 - self firstSpecialSelectorBytecodeOffset. ^self genMarshalledSend: index negated - 1 numArgs: 1 sendTable: ordinarySendTrampolines! Item was changed: ----- Method: RegisterAllocatingCogit>>mergeRequiredForJumpTo: (in category 'bytecode generator support') ----- mergeRequiredForJumpTo: targetPC "While this is a multi-pass compiler, no intermediate control-flow graph is built from bytecode and there is a monotonically increasing one-to-one relationship between bytecode pcs and machine code pcs that map to one another. Therefore, when jumping forward, any required code to merge the state of the current simStack with that at the target must be generated before the jump (because at the target the simStack state will be whatever falls through). If only one forward jump to the target exists then that jump can simply install its simStack as the required simStack at the target and the merge code wil be generated just before the target as control falls through. But if there are two or more forward jumps to the target, a situation that occurs given that the StackToRegisterMappingCogit follows jump chains, then jumps other than the first must generate merge code before jumping. This poses a problem for conditional branches. The merge code must only be generated along the path that takes the jump Therefore this must *not* be generated: ... merge code ... jump cond Ltarget which incorrectly executes the merge code along both the taken and untaken paths. Instead this must be generated so that the merge code is only executed if the branch is taken. jump not cond Lcontinue ... merge code ... jump Ltarget Lcontinue: Note that no merge code is required for code such as self at: (expr ifTrue: [1] ifFalse: [2]) 17 <70> self 18 <71> pushConstant: true 19 <99> jumpFalse: 22 20 <76> pushConstant: 1 21 <90> jumpTo: 23 22 <77> pushConstant: 2 23 <C0> send: at: provided that 1 and 2 are assigned to the same target register." + | fixup | + (fixup := self fixupAt: targetPC) hasMergeSimStack ifFalse: + [^false]. + self assert: simStackPtr = fixup simStackPtr. + ^self mergeRequiredToTarget: fixup mergeSimStack! - - self flag: 'be lazy for now; this needs more work to ignore compatible sim stacks'. - ^(self fixupAt: targetPC) hasMergeSimStack! Item was added: + ----- Method: RegisterAllocatingCogit>>mergeRequiredToTarget: (in category 'bytecode generator support') ----- + mergeRequiredToTarget: targetSimStack + <var: 'targetSimStack' type: #'SimStackEntry *'> + <inline: true> + <var: 'here' type: #'SimStackEntry *'> + <var: 'there' type: #'SimStackEntry *'> + simStackPtr to: 0 by: -1 do: + [:i| | here there | + here := self simStack: simStack at: i. + there := self simStack: targetSimStack at: i. + (here isMergedWithTargetEntry: there) ifFalse: + [^true]]. + ^false! Item was changed: ----- Method: RegisterAllocatingCogit>>mergeWithFixupIfRequired: (in category 'simulation stack') ----- mergeWithFixupIfRequired: fixup "If this bytecode has a fixup, some kind of merge needs to be done. There are 4 cases: 1) the bytecode has no fixup (fixup isNotAFixup) do nothing 2) the bytecode has a non merge fixup the fixup has needsNonMergeFixup. The code generating non merge fixup (currently only special selector code) is responsible for the merge so no need to do it. We set deadCode to false as the instruction can be reached from jumps. 3) the bytecode has a merge fixup, but execution flow *cannot* fall through to the merge point. the fixup has needsMergeFixup and deadCode = true. ignores the current simStack as it does not mean anything restores the simStack to the state the jumps to the merge point expects it to be. 4) the bytecode has a merge fixup and execution flow *can* fall through to the merge point. the fixup has needsMergeFixup and deadCode = false. flushes the stack to the stack pointer so the fall through execution path simStack is in the state the merge point expects it to be. restores the simStack to the state the jumps to the merge point expects it to be. In addition, if this is a backjump merge point, we patch the fixup to hold the current simStackPtr for later assertions." <var: #fixup type: #'BytecodeFixup *'> "case 1" + fixup notAFixup ifTrue: [^0]. - fixup notAFixup ifTrue: [^ 0]. "case 2" + fixup isNonMergeFixup ifTrue: + [deadCode ifTrue: + [self deny: fixup simStackPtr isNil. + simStackPtr := fixup simStackPtr. + self restoreSimStackAtMergePoint: fixup. + deadCode := false]. + ^0]. - fixup isNonMergeFixup ifTrue: [deadCode := false. ^ 0 ]. "cases 3 and 4" self assert: fixup isMergeFixup. self traceMerge: fixup. deadCode ifTrue: [simStackPtr := fixup simStackPtr] "case 3" ifFalse: [self mergeCurrentSimStackWith: fixup]. "case 4" "cases 3 and 4" deadCode := false. fixup isBackwardBranchFixup ifTrue: [self assert: fixup mergeSimStack isNil. self setMergeSimStackOf: fixup]. fixup targetInstruction: self Label. self assert: simStackPtr = fixup simStackPtr. self cCode: '' inSmalltalk: [self assert: fixup simStackPtr = (self debugStackPointerFor: bytecodePC)]. self restoreSimStackAtMergePoint: fixup. ^0! Item was changed: ----- Method: RegisterAllocatingCogit>>moveVolatileSimStackEntriesToRegisters (in category 'bytecode generator support') ----- moveVolatileSimStackEntriesToRegisters + "When jumping forward to a merge point the stack must be reconcilable with the state that falls through to the merge point. - "When jumping forward to a merge point the stack mst be reconcilable with the state that falls through to the merge point. We cannot easily arrange that later we add code to the branch, e.g. to spill values. Instead, any volatile contents must be moved to registers. [In fact, that's not exactly true, consider these two code sequences: self at: (expr ifTrue: [1] ifFalse: [2]) put: a self at: 1 put: (expr ifTrue: [a] ifFalse: [b]) The first one needs 1 saving to a register to reconcile with 2. The second one has 1 on both paths, but we're not clever enough to spot this case yet.] Volatile contents are anything not spilled to the stack, because as yet we can only merge registers." <inline: true> <var: #desc type: #'SimStackEntry *'> (simSpillBase max: 0) to: simStackPtr do: [:i| | desc reg | desc := self simStackAt: i. desc spilled ifTrue: [simSpillBase := i] ifFalse: [desc registerOrNone = NoReg ifTrue: [reg := self allocateRegNotConflictingWith: 0. reg = NoReg ifTrue: [self halt] "have to spill" ifFalse: [desc storeToReg: reg]]]]! Item was added: + ----- Method: RegisterAllocatingCogit>>simStack:isIdenticalTo: (in category 'simulation stack') ----- + simStack: aSimStack isIdenticalTo: bSimStack + <var: 'aSimStack' type: #'SimStackEntry *'> + <var: 'bSimStack' type: #'SimStackEntry *'> + 0 to: simStackPtr do: + [:i| + ((self simStack: aSimStack at: i) isIdenticalEntryAs: (self simStack: bSimStack at: i)) ifFalse: + [^false]]. + ^true! Item was changed: ----- Method: SimpleStackBasedCogit>>genExtPushClosureBytecode (in category 'bytecode generators') ----- genExtPushClosureBytecode "Block compilation. At this point in the method create the block. Note its start and defer generating code for it until after the method and any other preceding blocks. The block's actual code will be compiled later." "253 11111101 eei i i kkk jjjjjjjj Push Closure Num Copied iii (+ Ext A // 16 * 8) Num Args kkk (+ Ext A \\ 16 * 8) BlockSize jjjjjjjj (+ Ext B * 256). ee = num extensions" + | startpc numArgs numCopied | - | numArgs numCopied | self assert: needsFrame. + startpc := bytecodePC + (self generatorAt: byte0) numBytes. + self addBlockStartAt: startpc "0 relative" - self addBlockStartAt: bytecodePC + 3 "0 relative" numArgs: (numArgs := (byte1 bitAnd: 16r7) + (extA \\ 16 * 8)) numCopied: (numCopied := ((byte1 >> 3) bitAnd: 7) + (extA // 16 * 8)) span: byte2 + (extB << 8). extA := numExtB := extB := 0. objectRepresentation + genCreateClosureAt: startpc + 1 "1 relative" - genCreateClosureAt: bytecodePC + 4 "1 relative" numArgs: numArgs numCopied: numCopied contextNumArgs: methodOrBlockNumArgs large: (coInterpreter methodNeedsLargeContext: methodObj) inBlock: inBlock. self PushR: ReceiverResultReg. ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>genPushClosureCopyCopiedValuesBytecode (in category 'bytecode generators') ----- genPushClosureCopyCopiedValuesBytecode "Block compilation. At this point in the method create the block. Note its start and defer generating code for it until after the method and any other preceding blocks. The block's actual code will be compiled later." "143 10001111 llllkkkk jjjjjjjj iiiiiiii Push Closure Num Copied llll Num Args kkkk BlockSize jjjjjjjjiiiiiiii" + | startpc numArgs numCopied | - | numArgs numCopied | self assert: needsFrame. + startpc := bytecodePC + (self generatorAt: byte0) numBytes. + self addBlockStartAt: startpc "0 relative" - self addBlockStartAt: bytecodePC + 4 "0 relative" numArgs: (numArgs := byte1 bitAnd: 16rF) numCopied: (numCopied := byte1 >> 4) span: (byte2 << 8) + byte3. objectRepresentation + genCreateClosureAt: startpc + 1 "1 relative" - genCreateClosureAt: bytecodePC + 5 "1 relative" numArgs: numArgs numCopied: numCopied contextNumArgs: methodOrBlockNumArgs large: (coInterpreter methodNeedsLargeContext: methodObj) inBlock: inBlock. self PushR: ReceiverResultReg. ^0! Item was changed: SimpleStackBasedCogit subclass: #StackToRegisterMappingCogit instanceVariableNames: 'prevBCDescriptor numPushNilsFunction pushNilSizeFunction methodOrBlockNumTemps regArgsHaveBeenPushed simSelf simStack simStackPtr simSpillBase optStatus ceCallCogCodePopReceiverArg0Regs ceCallCogCodePopReceiverArg1Arg0Regs methodAbortTrampolines picAbortTrampolines picMissTrampolines ceCall0ArgsPIC ceCall1ArgsPIC ceCall2ArgsPIC debugStackPointers debugFixupBreaks realCECallCogCodePopReceiverArg0Regs realCECallCogCodePopReceiverArg1Arg0Regs deadCode useTwoPaths currentCallCleanUpSize simNativeStack simNativeStackPtr simNativeSpillBase simNativeStackSize hasNativeFrame blockPass' classVariableNames: 'NeedsMergeFixupFlag NeedsNonMergeFixupFlag' poolDictionaries: 'CogCompilationConstants VMMethodCacheConstants VMObjectIndices VMStackFrameOffsets' category: 'VMMaker-JIT'! StackToRegisterMappingCogit class instanceVariableNames: 'numPushNilsFunction pushNilSizeFunction'! + !StackToRegisterMappingCogit commentStamp: 'eem 2/9/2017 10:07' prior: 0! - !StackToRegisterMappingCogit commentStamp: 'eem 6/1/2016 14:50' prior: 0! StackToRegisterMappingCogit is an optimizing code generator that eliminates a lot of stack operations and inlines some special selector arithmetic. It does so by a simple stack-to-register mapping scheme based on deferring the generation of code to produce operands until operand-consuming operations. The operations that consume operands are sends, stores and returns. See methods in the class-side documentation protocol for more detail. Instance Variables callerSavedRegMask: <Integer> ceEnter0ArgsPIC: <Integer> ceEnter1ArgsPIC: <Integer> ceEnter2ArgsPIC: <Integer> ceEnterCogCodePopReceiverArg0Regs: <Integer> ceEnterCogCodePopReceiverArg1Arg0Regs: <Integer> debugBytecodePointers: <Set of Integer> debugFixupBreaks: <Set of Integer> debugStackPointers: <CArrayAccessor of (Integer|nil)> methodAbortTrampolines: <CArrayAccessor of Integer> methodOrBlockNumTemps: <Integer> optStatus: <Integer> picAbortTrampolines: <CArrayAccessor of Integer> picMissTrampolines: <CArrayAccessor of Integer> realCEEnterCogCodePopReceiverArg0Regs: <Integer> realCEEnterCogCodePopReceiverArg1Arg0Regs: <Integer> regArgsHaveBeenPushed: <Boolean> simSelf: <CogSimStackEntry> simSpillBase: <Integer> simStack: <CArrayAccessor of CogSimStackEntry> simStackPtr: <Integer> traceSimStack: <Integer> useTwoPaths <Boolean> callerSavedRegMask - the bitmask of the ABI's caller-saved registers ceEnter0ArgsPIC ceEnter1ArgsPIC ceEnter2ArgsPIC - the trampoline for entering an N-arg PIC ceEnterCogCodePopReceiverArg0Regs ceEnterCogCodePopReceiverArg1Arg0Regs + - the trampoline for entering a method with N register args - - teh trampoline for entering a method with N register args debugBytecodePointers - a Set of bytecode pcs for setting breakpoints (simulation only) debugFixupBreaks - a Set of fixup indices for setting breakpoints (simulation only) debugStackPointers - an Array of stack depths for each bytecode for code verification methodAbortTrampolines - a CArrayAccessor of abort trampolines for 0, 1, 2 and N args methodOrBlockNumTemps - the number of method or block temps (including args) in the current compilation unit (method or block) optStatus - the variable used to track the status of ReceiverResultReg for avoiding reloading that register with self between adjacent inst var accesses picAbortTrampolines - a CArrayAccessor of abort trampolines for 0, 1, 2 and N args picMissTrampolines - a CArrayAccessor of abort trampolines for 0, 1, 2 and N args realCEEnterCogCodePopReceiverArg0Regs realCEEnterCogCodePopReceiverArg1Arg0Regs - the real trampolines for ebtering machine code with N reg args when in the Debug regime regArgsHaveBeenPushed - whether the register args have been pushed before frame build (e.g. when an interpreter primitive is called) simSelf - the simulation stack entry representing self in the current compilation unit simSpillBase - the variable tracking how much of the simulation stack has been spilled to the real stack simStack - the simulation stack itself simStackPtr - the pointer to the top of the simulation stack useTwoPaths - a variable controlling whether to create two paths through a method based on the existence of inst var stores. With immutability this causes a frameless path to be generated if an otherwise frameless method is frameful simply because of inst var stores. In this case the test to take the first frameless path is if the receiver is not immutable. Without immutability, if a frameless method contains two or more inst var stores, the first path will be code with no store check, chosen by a single check for the receiver being in new space. ! StackToRegisterMappingCogit class instanceVariableNames: 'numPushNilsFunction pushNilSizeFunction'! Item was changed: ----- Method: StackToRegisterMappingCogit>>genForwardersInlinedIdenticalOrNotIf: (in category 'bytecode generators') ----- genForwardersInlinedIdenticalOrNotIf: orNot | nextPC branchDescriptor unforwardRcvr argReg targetBytecodePC + unforwardArg rcvrReg postBranchPC label fixup | - unforwardArg rcvrReg postBranchPC label fixup | <var: #branchDescriptor type: #'BytecodeDescriptor *'> <var: #label type: #'AbstractInstruction *'> self extractMaybeBranchDescriptorInto: [ :descr :next :postBranch :target | branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetBytecodePC := target ]. "If an operand is an annotable constant, it may be forwarded, so we need to store it into a register so the forwarder check can jump back to the comparison after unforwarding the constant. However, if one of the operand is an unnanotable constant, does not allocate a register for it (machine code will use operations on constants) and does not generate forwarder checks." unforwardRcvr := (objectRepresentation isUnannotatableConstant: (self ssValue: 1)) not. unforwardArg := (objectRepresentation isUnannotatableConstant: self ssTop) not. self allocateEqualsEqualsRegistersArgNeedsReg: unforwardArg rcvrNeedsReg: unforwardRcvr into: [ :rcvr :arg | rcvrReg:= rcvr. argReg := arg ]. "If not followed by a branch, resolve to true or false." (branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]) ifFalse: [^ self genIdenticalNoBranchArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg orNotIf: orNot]. "If branching the stack must be flushed for the merge" self ssFlushTo: simStackPtr - 2. label := self Label. self genCmpArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg. self ssPop: 2. + "Since there is a following conditional jump bytecode (unless there is deadCode), + define non-merge fixups and leave the cond bytecode to set the mergeness." - "Further since there is a following conditional jump bytecode, define - non-merge fixups and leave the cond bytecode to set the mergeness." (self fixupAt: nextPC) notAFixup ifTrue: "The next instruction is dead. we can skip it." [deadCode := true. self ensureFixupAt: targetBytecodePC. self ensureFixupAt: postBranchPC] ifFalse: [self deny: deadCode]. "push dummy value below" self assert: (unforwardArg or: [unforwardRcvr]). orNot == branchDescriptor isBranchTrue "orNot is true for ~~" + ifFalse: "a == b ifTrue: ... or a ~~ b ifFalse: ... jump on equal to target pc" + [fixup := self ensureNonMergeFixupAt: postBranchPC. + self JumpZero: (self ensureNonMergeFixupAt: targetBytecodePC)] + ifTrue: "a == b ifFalse: ... or a ~~ b ifTrue: ... jump on equal to post-branch pc" + [fixup := self ensureNonMergeFixupAt: targetBytecodePC. + self JumpZero: (self ensureNonMergeFixupAt: postBranchPC)]. - ifFalse: - [ fixup := (self ensureNonMergeFixupAt: postBranchPC) asUnsignedInteger. - self JumpZero: (self ensureNonMergeFixupAt: targetBytecodePC) asUnsignedInteger ] - ifTrue: - [ fixup := (self ensureNonMergeFixupAt: targetBytecodePC) asUnsignedInteger. - self JumpZero: (self ensureNonMergeFixupAt: postBranchPC) asUnsignedInteger ]. - - deadCode ifFalse: - [self ssPushConstant: objectMemory trueObject]. "dummy value" "The forwarders checks need to jump back to the comparison (label) if a forwarder is found, else + jump forward either to the next forwarder check or to the postBranch or branch target (fixup)." + (unforwardArg and: [unforwardRcvr]) ifTrue: + [objectRepresentation genEnsureOopInRegNotForwarded: argReg scratchReg: TempReg jumpBackTo: label]. + objectRepresentation + genEnsureOopInRegNotForwarded: (unforwardRcvr ifTrue: [rcvrReg] ifFalse: [argReg]) + scratchReg: TempReg + ifForwarder: label + ifNotForwarder: fixup. - jump forward either to the next forwarder check or to the postBranch or branch target (fixup)." - unforwardArg ifTrue: - [ unforwardRcvr - ifTrue: [ objectRepresentation genEnsureOopInRegNotForwarded: argReg scratchReg: TempReg jumpBackTo: label ] - ifFalse: [ objectRepresentation - genEnsureOopInRegNotForwarded: argReg - scratchReg: TempReg - ifForwarder: label - ifNotForwarder: fixup ] ]. - unforwardRcvr ifTrue: - [ objectRepresentation - genEnsureOopInRegNotForwarded: rcvrReg - scratchReg: TempReg - ifForwarder: label - ifNotForwarder: fixup ]. + "Not reached, execution flow has jumped to fixup" + deadCode ifFalse: + [self ssPushConstant: objectMemory trueObject]. "dummy value" - "Not reached, execution flow have jumped to fixup" - ^0! Item was changed: ----- Method: StackToRegisterMappingCogit>>genSpecialSelectorComparison (in category 'bytecode generators') ----- genSpecialSelectorComparison | nextPC postBranchPC targetBytecodePC primDescriptor branchDescriptor rcvrIsInt argIsInt argInt jumpNotSmallInts inlineCAB index | <var: #primDescriptor type: #'BytecodeDescriptor *'> <var: #branchDescriptor type: #'BytecodeDescriptor *'> <var: #jumpNotSmallInts type: #'AbstractInstruction *'> self ssFlushTo: simStackPtr - 2. primDescriptor := self generatorAt: byte0. argIsInt := self ssTop type = SSConstant and: [objectMemory isIntegerObject: (argInt := self ssTop constant)]. rcvrIsInt := (self ssValue: 1) type = SSConstant and: [objectMemory isIntegerObject: (self ssValue: 1) constant]. (argIsInt and: [rcvrIsInt]) ifTrue: [^ self genStaticallyResolvedSpecialSelectorComparison]. self extractMaybeBranchDescriptorInto: [ :descr :next :postBranch :target | branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetBytecodePC := target ]. "Only interested in inlining if followed by a conditional branch." inlineCAB := branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]. "Further, only interested in inlining = and ~= if there's a SmallInteger constant involved. The relational operators successfully statically predict SmallIntegers; the equality operators do not." (inlineCAB and: [primDescriptor opcode = JumpZero or: [primDescriptor opcode = JumpNonZero]]) ifTrue: [inlineCAB := argIsInt or: [rcvrIsInt]]. inlineCAB ifFalse: [^self genSpecialSelectorSend]. argIsInt ifTrue: [(self ssValue: 1) popToReg: ReceiverResultReg. + self ssPop: 2] - self ssPop: 2. - self MoveR: ReceiverResultReg R: TempReg] ifFalse: [self marshallSendArguments: 1. + rcvrIsInt ifFalse: + [self MoveR: Arg0Reg R: TempReg]]. - self MoveR: Arg0Reg R: TempReg]. jumpNotSmallInts := (argIsInt or: [rcvrIsInt]) + ifFalse: "Neither known to be ints; and them together for the test..." + [objectRepresentation genJumpNotSmallIntegersIn: ReceiverResultReg andScratch: TempReg scratch: ClassReg] + ifTrue: "One known; in-place single-bit test for the other" + [objectRepresentation genJumpNotSmallInteger: (rcvrIsInt ifTrue: [Arg0Reg] ifFalse: [ReceiverResultReg])]. - ifTrue: [objectRepresentation genJumpNotSmallIntegerInScratchReg: TempReg] - ifFalse: [objectRepresentation genJumpNotSmallIntegersIn: ReceiverResultReg andScratch: TempReg scratch: ClassReg]. argIsInt ifTrue: [self CmpCq: argInt R: ReceiverResultReg] ifFalse: [self CmpR: Arg0Reg R: ReceiverResultReg]. "Cmp is weird/backwards so invert the comparison. Further since there is a following conditional jump bytecode define non-merge fixups and leave the cond bytecode to set the mergeness." self genConditionalBranch: (branchDescriptor isBranchTrue ifTrue: [primDescriptor opcode] ifFalse: [self inverseBranchFor: primDescriptor opcode]) operand: (self ensureNonMergeFixupAt: targetBytecodePC) asUnsignedInteger. self Jump: (self ensureNonMergeFixupAt: postBranchPC). jumpNotSmallInts jmpTarget: self Label. argIsInt ifTrue: [self MoveCq: argInt R: Arg0Reg]. index := byte0 - self firstSpecialSelectorBytecodeOffset. ^self genMarshalledSend: index negated - 1 numArgs: 1 sendTable: ordinarySendTrampolines! Item was changed: ----- Method: StackToRegisterMappingCogit>>generateInstructionsAt: (in category 'generate machine code') ----- generateInstructionsAt: eventualAbsoluteAddress "Size pc-dependent instructions and assign eventual addresses to all instructions. Answer the size of the code. Compute forward branches based on virtual address (abstract code starts at 0), assuming that any branches branched over are long. Compute backward branches based on actual address. Reuse the fixups array to record the pc-dependent instructions that need to have their code generation postponed until after the others. Override to andd handling for null branches (branches to the immediately following instruction) occasioned by StackToRegisterMapping's following of jumps." | absoluteAddress pcDependentIndex abstractInstruction fixup | <var: #abstractInstruction type: #'AbstractInstruction *'> <var: #fixup type: #'BytecodeFixup *'> absoluteAddress := eventualAbsoluteAddress. pcDependentIndex := 0. 0 to: opcodeIndex - 1 do: [:i| self maybeBreakGeneratingAt: absoluteAddress. abstractInstruction := self abstractInstructionAt: i. abstractInstruction isPCDependent ifTrue: [abstractInstruction sizePCDependentInstructionAt: absoluteAddress. (abstractInstruction isJump + and: [(i + 1 < opcodeIndex + and: [abstractInstruction getJmpTarget == (self abstractInstructionAt: i + 1)]) + or: [i + 2 < opcodeIndex + and: [abstractInstruction getJmpTarget == (self abstractInstructionAt: i + 2) + and: [(self abstractInstructionAt: i + 1) opcode = Nop]]]]) - and: [i + 1 < opcodeIndex - and: [abstractInstruction getJmpTarget == (self abstractInstructionAt: i + 1)]]) ifTrue: [abstractInstruction opcode: Nop; concretizeAt: absoluteAddress] ifFalse: [fixup := self fixupAtIndex: pcDependentIndex. pcDependentIndex := pcDependentIndex + 1. fixup instructionIndex: i]. absoluteAddress := absoluteAddress + abstractInstruction machineCodeSize] ifFalse: [absoluteAddress := abstractInstruction concretizeAt: absoluteAddress]]. 0 to: pcDependentIndex - 1 do: [:j| fixup := self fixupAtIndex: j. abstractInstruction := self abstractInstructionAt: fixup instructionIndex. self maybeBreakGeneratingAt: abstractInstruction address. abstractInstruction concretizeAt: abstractInstruction address]. ^absoluteAddress - eventualAbsoluteAddress! Item was changed: ----- Method: StackToRegisterMappingCogit>>printSimStack:toDepth:spillBase:on: (in category 'simulation only') ----- printSimStack: aSimStack toDepth: limit spillBase: spillBase on: aStream <doNotGenerate> + | tempNames width tabWidth | - | tempNamesOrNil width tabWidth | aStream ensureCr. limit < 0 ifTrue: [^aStream nextPutAll: 'simStackEmpty'; cr; flush]. + aSimStack ifNil: + [^aStream nextPutAll: 'nil simStack'; cr; flush]. + (self class initializationOptions at: #tempNames ifAbsent: nil) ifNotNil: + [:tempNamesDictOrNil | | tab longest | + tempNames := tempNamesDictOrNil at: (self class initializationOptions at: #startpc ifAbsent: [initialPC]) + 1. + longest := tempNames inject: '' into: [:m :t| m size >= t size ifTrue: [m] ifFalse: [t]]. + tabWidth := self widthInDefaultFontOf: (tab := String with: Character tab). + width := self widthInDefaultFontOf: longest, tab. + width <= ((self widthInDefaultFontOf: longest, (String with: Character space)) + 4) ifTrue: + [width := width + tabWidth]]. - inBlock ~~ true ifTrue: - [(tempNamesOrNil := self class initializationOptions at: #tempNames ifAbsent: [#()]) isEmpty ifFalse: - [| tab longest | - longest := tempNamesOrNil inject: '' into: [:m :t| m size >= t size ifTrue: [m] ifFalse: [t]]. - tabWidth := self widthInDefaultFontOf: (tab := String with: Character tab). - width := self widthInDefaultFontOf: longest, tab. - width <= ((self widthInDefaultFontOf: longest, (String with: Character space)) + 4) ifTrue: - [width := width + tabWidth]]]. 0 to: limit do: [:i| width ifNotNil: + [self put: (tempNames at: i + 1 ifAbsent: ['']) paddedTo: width tabWidth: tabWidth on: aStream]. - [self put: (tempNamesOrNil at: i + 1 ifAbsent: ['']) paddedTo: width tabWidth: tabWidth on: aStream]. aStream print: i. i = spillBase ifTrue: [aStream nextPutAll: ' sb'; tab] ifFalse: [aStream tab; tab]. (aSimStack at: i) printStateOn: aStream. aStream cr; flush]! Item was changed: ----- Method: StackToRegisterMappingCogit>>updateSimSpillBase (in category 'simulation stack') ----- updateSimSpillBase + <inline: true> simSpillBase > simStackPtr ifTrue: [simSpillBase := simStackPtr max: 0].! Item was changed: ----- Method: TMethod>>isFunctionalIn: (in category 'inlining') ----- isFunctionalIn: aCodeGen "Answer if the receiver is a functional method. That is, if it consists of a single return statement of an expression that contains no other returns, or an assert or flag followed by such a statement. Answer false for methods with return types other than the simple integer types to work around bugs in the inliner." parseTree statements size = 1 ifFalse: [(parseTree statements size = 2 and: [parseTree statements first isSend and: [parseTree statements first selector == #flag: or: [(aCodeGen isAssertSelector: parseTree statements first selector) and: [parseTree statements first selector ~~ #asserta:]]]]) ifFalse: [^false]]. parseTree statements last isReturn ifFalse: [^false]. parseTree statements last expression nodesDo: [ :n | n isReturn ifTrue: [^false]]. ^#(int #'unsigned int' #long #'unsigned long' #'long long' #'unsigned long long' sqInt usqInt #'sqIntptr_t' #'usqIntptr_t' sqLong usqLong + #'int *' #'unsigned int *' #'sqInt *' #'usqInt *' #'sqLong *' #'usqLong *' #'char *' + #'CogMethod *' #'AbstractInstruction *') includes: returnType! - #'int *' #'unsigned int *' #'sqInt *' #'usqInt *' #'sqLong *' #'usqLong *' #'CogMethod *' #'char *') includes: returnType!

1 0

VM Maker: VMMaker.oscog-rsf.2128.mcz
by commits＠source.squeak.org 12 Feb '17

12 Feb '17

Ronie Salgado Faila uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-rsf.2128.mcz ==================== Summary ==================== Name: VMMaker.oscog-rsf.2128 Author: rsf Time: 12 February 2017, 2:11:10.079058 am UUID: f4c1bdc9-2660-4d7b-9610-a3103d416e2b Ancestors: VMMaker.oscog-rsf.2127 I fixed the callbacks when using Lowcode. I simplified the Lowcode callout instructions. =============== Diff against VMMaker.oscog-rsf.2127 =============== Item was added: + ----- Method: CoInterpreter>>lowcodeDoCallout: (in category 'inline primitive ffi abi') ----- + lowcodeDoCallout: functionPointer + <option: #LowcodeVM> + <var: #functionPointer type: #'char*' > + self undoFetchNextBytecode. + self externalizeIPandSP. + self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. + instructionPointer = cogit ceReturnToInterpreterPC ifTrue: [ + instructionPointer := self iframeSavedIP: framePointer. + ]. + self internalizeIPandSP. + self reloadLowcodeStateAfterCallout. + self fetchNextBytecode. + ^ self lowcodeCalloutStateFetchResultFloat32: lowcodeCalloutState! Item was removed: - ----- Method: StackInterpreter>>lowcodeCallout:structureResult: (in category 'inline primitive ffi abi') ----- - lowcodeCallout: functionPointer structureResult: resultPointer - <option: #LowcodeVM> - <var: #functionPointer type: #'char*' > - <var: #resultPointer type: #'char*' > - self internalPushShadowCallStackPointer: resultPointer. - self externalizeIPandSP. - self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. - self internalizeIPandSP. - self reloadLowcodeStateAfterCallout. - ^ self lowcodeCalloutStateFetchResultStructure: lowcodeCalloutState! Item was removed: - ----- Method: StackInterpreter>>lowcodeCalloutFloat32Result: (in category 'inline primitive ffi abi') ----- - lowcodeCalloutFloat32Result: functionPointer - <option: #LowcodeVM> - <var: #functionPointer type: #'char*' > - self externalizeIPandSP. - self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. - self internalizeIPandSP. - self reloadLowcodeStateAfterCallout. - ^ self lowcodeCalloutStateFetchResultFloat32: lowcodeCalloutState! Item was removed: - ----- Method: StackInterpreter>>lowcodeCalloutFloat64Result: (in category 'inline primitive ffi abi') ----- - lowcodeCalloutFloat64Result: functionPointer - <option: #LowcodeVM> - <var: #functionPointer type: #'char*' > - self externalizeIPandSP. - self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. - self internalizeIPandSP. - self reloadLowcodeStateAfterCallout. - ^ self lowcodeCalloutStateFetchResultFloat64: lowcodeCalloutState! Item was removed: - ----- Method: StackInterpreter>>lowcodeCalloutInt32Result: (in category 'inline primitive ffi abi') ----- - lowcodeCalloutInt32Result: functionPointer - <option: #LowcodeVM> - <var: #functionPointer type: #'char*' > - self externalizeIPandSP. - self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. - self internalizeIPandSP. - self reloadLowcodeStateAfterCallout. - ^ self lowcodeCalloutStateFetchResultInt32: lowcodeCalloutState! Item was removed: - ----- Method: StackInterpreter>>lowcodeCalloutInt64Result: (in category 'inline primitive ffi abi') ----- - lowcodeCalloutInt64Result: functionPointer - <option: #LowcodeVM> - <var: #functionPointer type: #'char*' > - self externalizeIPandSP. - self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. - self internalizeIPandSP. - self reloadLowcodeStateAfterCallout. - ^ self lowcodeCalloutStateFetchResultInt64: lowcodeCalloutState! Item was removed: - ----- Method: StackInterpreter>>lowcodeCalloutPointerResult: (in category 'inline primitive ffi abi') ----- - lowcodeCalloutPointerResult: functionPointer - <option: #LowcodeVM> - <var: #functionPointer type: #'char*' > - self externalizeIPandSP. - self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. - self internalizeIPandSP. - self reloadLowcodeStateAfterCallout. - ^ self lowcodeCalloutStateFetchResultPointer: lowcodeCalloutState! Item was added: + ----- Method: StackInterpreter>>lowcodeDoCallout: (in category 'inline primitive ffi abi') ----- + lowcodeDoCallout: functionPointer + <option: #LowcodeVM> + <var: #functionPointer type: #'char*' > + self undoFetchNextBytecode. + self externalizeIPandSP. + self lowcodeCalloutState: lowcodeCalloutState callFunction: functionPointer. + self internalizeIPandSP. + self reloadLowcodeStateAfterCallout. + self fetchNextBytecode. + ^ self lowcodeCalloutStateFetchResultFloat32: lowcodeCalloutState! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallFloat32 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallFloat32 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'float' > - function := extA. - - result := self lowcodeCalloutFloat32Result: (self cCoerce: function to: #'char*'). - - self internalPushFloat32: result. - extA := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallFloat64 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallFloat64 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'double' > - function := extA. - - result := self lowcodeCalloutFloat64Result: (self cCoerce: function to: #'char*'). - - self internalPushFloat64: result. - extA := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectFloat32 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectFloat32 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'float' > - <var: #function type: #'char*' > - function := self internalPopStackPointer. - - result := self lowcodeCalloutFloat32Result: function. - - self internalPushFloat32: result. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectFloat64 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectFloat64 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'double' > - <var: #function type: #'char*' > - function := self internalPopStackPointer. - - result := self lowcodeCalloutFloat64Result: function. - - self internalPushFloat64: result. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectInt32 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectInt32 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'sqInt' > - <var: #function type: #'char*' > - function := self internalPopStackPointer. - - result := self lowcodeCalloutInt32Result: function. - - self internalPushInt32: result. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectInt64 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectInt64 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'sqLong' > - <var: #function type: #'char*' > - function := self internalPopStackPointer. - - result := self lowcodeCalloutInt64Result: function. - - self internalPushInt64: result. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectPointer (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectPointer - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'char*' > - <var: #function type: #'char*' > - function := self internalPopStackPointer. - - result := self lowcodeCalloutPointerResult: function. - - self internalPushPointer: result. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectStructure (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectStructure - <option: #LowcodeVM> "Lowcode instruction generator" - | resultPointer result function structureSize | - <var: #resultPointer type: #'char*' > - <var: #result type: #'char*' > - <var: #function type: #'char*' > - structureSize := extA. - result := self internalPopStackPointer. - function := self internalPopStackPointer. - - resultPointer := self lowcodeCallout: function structureResult: result. - - self internalPushPointer: resultPointer. - extA := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallIndirectVoid (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallIndirectVoid - <option: #LowcodeVM> "Lowcode instruction generator" - | function | - <var: #function type: #'char*' > - function := self internalPopStackPointer. - - self lowcodeCalloutInt32Result: function. - - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallInt32 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallInt32 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'sqInt' > - function := extA. - - result := self lowcodeCalloutInt32Result: (self cCoerce: function to: #'char*'). - - self internalPushInt32: result. - extA := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallInt64 (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallInt64 - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'sqLong' > - function := extA. - - result := self lowcodeCalloutInt64Result: (self cCoerce: function to: #'char*'). - - self internalPushInt64: result. - extA := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallPointer (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallPointer - <option: #LowcodeVM> "Lowcode instruction generator" - | result function | - <var: #result type: #'char*' > - function := extA. - - result := self lowcodeCalloutPointerResult: (self cCoerce: function to: #'char*'). - - self internalPushPointer: result. - extA := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallStructure (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallStructure - <option: #LowcodeVM> "Lowcode instruction generator" - | resultPointer result function structureSize | - <var: #resultPointer type: #'char*' > - <var: #result type: #'char*' > - function := extA. - structureSize := extB. - result := self internalPopStackPointer. - - self internalPushShadowCallStackPointer: result. - resultPointer := self lowcodeCalloutPointerResult: (self cCoerce: function to: #'char*'). - - self internalPushPointer: resultPointer. - extA := 0. - extB := 0. - numExtB := 0. - - ! Item was removed: - ----- Method: StackInterpreter>>lowcodePrimitivePerformCallVoid (in category 'inline primitive generated code') ----- - lowcodePrimitivePerformCallVoid - <option: #LowcodeVM> "Lowcode instruction generator" - | function | - function := extA. - - self lowcodeCalloutInt32Result: (self cCoerce: function to: #'char*'). - - extA := 0. - - ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePerformCallout (in category 'inline primitive generated code') ----- + lowcodePrimitivePerformCallout + <option: #LowcodeVM> "Lowcode instruction generator" + | function | + function := extA. + + self lowcodeDoCallout: (self cCoerce: function to: #'char*'). + + extA := 0. + + ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePerformCalloutIndirect (in category 'inline primitive generated code') ----- + lowcodePrimitivePerformCalloutIndirect + <option: #LowcodeVM> "Lowcode instruction generator" + | function | + <var: #function type: #'char*' > + function := self internalPopStackPointer. + + self lowcodeDoCallout: function. + + + ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePushCalloutResultFloat32 (in category 'inline primitive generated code') ----- + lowcodePrimitivePushCalloutResultFloat32 + <option: #LowcodeVM> "Lowcode instruction generator" + | result | + <var: #result type: #'float' > + + result := self lowcodeCalloutStateFetchResultFloat32: lowcodeCalloutState. + + self internalPushFloat32: result. + + ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePushCalloutResultFloat64 (in category 'inline primitive generated code') ----- + lowcodePrimitivePushCalloutResultFloat64 + <option: #LowcodeVM> "Lowcode instruction generator" + | result | + <var: #result type: #'double' > + + result := self lowcodeCalloutStateFetchResultFloat64: lowcodeCalloutState. + + self internalPushFloat64: result. + + ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePushCalloutResultInt32 (in category 'inline primitive generated code') ----- + lowcodePrimitivePushCalloutResultInt32 + <option: #LowcodeVM> "Lowcode instruction generator" + | result | + <var: #result type: #'sqInt' > + + result := self lowcodeCalloutStateFetchResultInt32: lowcodeCalloutState. + + self internalPushInt32: result. + + ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePushCalloutResultInt64 (in category 'inline primitive generated code') ----- + lowcodePrimitivePushCalloutResultInt64 + <option: #LowcodeVM> "Lowcode instruction generator" + | result | + <var: #result type: #'sqLong' > + + result := self lowcodeCalloutStateFetchResultInt64: lowcodeCalloutState. + + self internalPushInt64: result. + + ! Item was added: + ----- Method: StackInterpreter>>lowcodePrimitivePushCalloutResultPointer (in category 'inline primitive generated code') ----- + lowcodePrimitivePushCalloutResultPointer + <option: #LowcodeVM> "Lowcode instruction generator" + | result | + <var: #result type: #'char*' > + + result := self lowcodeCalloutStateFetchResultPointer: lowcodeCalloutState. + + self internalPushPointer: result. + + ! Item was changed: ----- Method: StackInterpreter>>lowcodeUnaryInlinePrimitive3: (in category 'inline primitive dispatch generated code') ----- lowcodeUnaryInlinePrimitive3: prim <option: #LowcodeVM> "Lowcode instruction interpreter dispatch" prim caseOf: { [120] -> [ ^ self lowcodePrimitiveLoadObjectField ]. [121] -> [ ^ self lowcodePrimitiveLoadPointerFromMemory ]. [122] -> [ ^ self lowcodePrimitiveLoadUInt16FromMemory ]. [123] -> [ ^ self lowcodePrimitiveLoadUInt32FromMemory ]. [124] -> [ ^ self lowcodePrimitiveLoadUInt64FromMemory ]. [125] -> [ ^ self lowcodePrimitiveLoadUInt8FromMemory ]. [126] -> [ ^ self lowcodePrimitiveLocalFrameSize ]. [127] -> [ ^ self lowcodePrimitiveLockRegisters ]. [128] -> [ ^ self lowcodePrimitiveLockVM ]. [129] -> [ ^ self lowcodePrimitiveMalloc32 ]. [130] -> [ ^ self lowcodePrimitiveMalloc64 ]. [131] -> [ ^ self lowcodePrimitiveMemcpy32 ]. [132] -> [ ^ self lowcodePrimitiveMemcpy64 ]. [133] -> [ ^ self lowcodePrimitiveMemcpyFixed ]. [134] -> [ ^ self lowcodePrimitiveMoveFloat32ToPhysical ]. [135] -> [ ^ self lowcodePrimitiveMoveFloat64ToPhysical ]. [136] -> [ ^ self lowcodePrimitiveMoveInt32ToPhysical ]. [137] -> [ ^ self lowcodePrimitiveMoveInt64ToPhysical ]. [138] -> [ ^ self lowcodePrimitiveMovePointerToPhysical ]. [139] -> [ ^ self lowcodePrimitiveMul32 ]. [140] -> [ ^ self lowcodePrimitiveMul64 ]. [141] -> [ ^ self lowcodePrimitiveNeg32 ]. [142] -> [ ^ self lowcodePrimitiveNeg64 ]. [143] -> [ ^ self lowcodePrimitiveNot32 ]. [144] -> [ ^ self lowcodePrimitiveNot64 ]. [145] -> [ ^ self lowcodePrimitiveOr32 ]. [146] -> [ ^ self lowcodePrimitiveOr64 ]. + [147] -> [ ^ self lowcodePrimitivePerformCallout ]. + [148] -> [ ^ self lowcodePrimitivePerformCalloutIndirect ]. + [149] -> [ ^ self lowcodePrimitivePushCalloutResultFloat32 ]. + [150] -> [ ^ self lowcodePrimitivePushCalloutResultFloat64 ]. + [151] -> [ ^ self lowcodePrimitivePushCalloutResultInt32 ]. + [152] -> [ ^ self lowcodePrimitivePushCalloutResultInt64 ]. + [153] -> [ ^ self lowcodePrimitivePushCalloutResultPointer ]. - [147] -> [ ^ self lowcodePrimitivePerformCallFloat32 ]. - [148] -> [ ^ self lowcodePrimitivePerformCallFloat64 ]. - [149] -> [ ^ self lowcodePrimitivePerformCallIndirectFloat32 ]. - [150] -> [ ^ self lowcodePrimitivePerformCallIndirectFloat64 ]. - [151] -> [ ^ self lowcodePrimitivePerformCallIndirectInt32 ]. - [152] -> [ ^ self lowcodePrimitivePerformCallIndirectInt64 ]. - [153] -> [ ^ self lowcodePrimitivePerformCallIndirectPointer ]. - [154] -> [ ^ self lowcodePrimitivePerformCallIndirectStructure ]. - [155] -> [ ^ self lowcodePrimitivePerformCallIndirectVoid ]. - [156] -> [ ^ self lowcodePrimitivePerformCallInt32 ]. - [157] -> [ ^ self lowcodePrimitivePerformCallInt64 ]. - [158] -> [ ^ self lowcodePrimitivePerformCallPointer ]. - [159] -> [ ^ self lowcodePrimitivePerformCallStructure ]. - [160] -> [ ^ self lowcodePrimitivePerformCallVoid ]. [161] -> [ ^ self lowcodePrimitivePlaftormCode ]. [162] -> [ ^ self lowcodePrimitivePointerAddConstantOffset ]. [163] -> [ ^ self lowcodePrimitivePointerAddOffset32 ]. [164] -> [ ^ self lowcodePrimitivePointerAddOffset64 ]. [165] -> [ ^ self lowcodePrimitivePointerEqual ]. [166] -> [ ^ self lowcodePrimitivePointerNotEqual ]. [167] -> [ ^ self lowcodePrimitivePointerToInt32 ]. [168] -> [ ^ self lowcodePrimitivePointerToInt64 ]. [169] -> [ ^ self lowcodePrimitivePopFloat32 ]. [170] -> [ ^ self lowcodePrimitivePopFloat64 ]. [171] -> [ ^ self lowcodePrimitivePopInt32 ]. [172] -> [ ^ self lowcodePrimitivePopInt64 ]. [173] -> [ ^ self lowcodePrimitivePopMultipleNative ]. [174] -> [ ^ self lowcodePrimitivePopPointer ]. [175] -> [ ^ self lowcodePrimitivePushConstantUInt32 ]. [176] -> [ ^ self lowcodePrimitivePushConstantUInt64 ]. [177] -> [ ^ self lowcodePrimitivePushNullPointer ]. [178] -> [ ^ self lowcodePrimitivePushOne32 ]. [179] -> [ ^ self lowcodePrimitivePushOne64 ]. + [180] -> [ ^ self lowcodePrimitivePushOneFloat32 ]. + [181] -> [ ^ self lowcodePrimitivePushOneFloat64 ]. + [182] -> [ ^ self lowcodePrimitivePushPhysicalFloat32 ]. + [183] -> [ ^ self lowcodePrimitivePushPhysicalFloat64 ]. + [184] -> [ ^ self lowcodePrimitivePushPhysicalInt32 ]. + [185] -> [ ^ self lowcodePrimitivePushPhysicalInt64 ]. + [186] -> [ ^ self lowcodePrimitivePushPhysicalPointer ]. } otherwise: [ ^ self lowcodeUnaryInlinePrimitive4: prim ]. ! Item was changed: ----- Method: StackInterpreter>>lowcodeUnaryInlinePrimitive4: (in category 'inline primitive dispatch generated code') ----- lowcodeUnaryInlinePrimitive4: prim <option: #LowcodeVM> "Lowcode instruction interpreter dispatch" prim caseOf: { - [180] -> [ ^ self lowcodePrimitivePushOneFloat32 ]. - [181] -> [ ^ self lowcodePrimitivePushOneFloat64 ]. - [182] -> [ ^ self lowcodePrimitivePushPhysicalFloat32 ]. - [183] -> [ ^ self lowcodePrimitivePushPhysicalFloat64 ]. - [184] -> [ ^ self lowcodePrimitivePushPhysicalInt32 ]. - [185] -> [ ^ self lowcodePrimitivePushPhysicalInt64 ]. - [186] -> [ ^ self lowcodePrimitivePushPhysicalPointer ]. [187] -> [ ^ self lowcodePrimitivePushSessionIdentifier ]. [188] -> [ ^ self lowcodePrimitivePushZero32 ]. [189] -> [ ^ self lowcodePrimitivePushZero64 ]. [190] -> [ ^ self lowcodePrimitivePushZeroFloat32 ]. [191] -> [ ^ self lowcodePrimitivePushZeroFloat64 ]. [192] -> [ ^ self lowcodePrimitiveRem32 ]. [193] -> [ ^ self lowcodePrimitiveRem64 ]. [194] -> [ ^ self lowcodePrimitiveRightShift32 ]. [195] -> [ ^ self lowcodePrimitiveRightShift64 ]. [196] -> [ ^ self lowcodePrimitiveSignExtend32From16 ]. [197] -> [ ^ self lowcodePrimitiveSignExtend32From8 ]. [198] -> [ ^ self lowcodePrimitiveSignExtend64From16 ]. [199] -> [ ^ self lowcodePrimitiveSignExtend64From32 ]. [200] -> [ ^ self lowcodePrimitiveSignExtend64From8 ]. [201] -> [ ^ self lowcodePrimitiveStoreFloat32ToMemory ]. [202] -> [ ^ self lowcodePrimitiveStoreFloat64ToMemory ]. [203] -> [ ^ self lowcodePrimitiveStoreInt16ToMemory ]. [204] -> [ ^ self lowcodePrimitiveStoreInt32ToMemory ]. [205] -> [ ^ self lowcodePrimitiveStoreInt64ToMemory ]. [206] -> [ ^ self lowcodePrimitiveStoreInt8ToMemory ]. [207] -> [ ^ self lowcodePrimitiveStoreLocalFloat32 ]. [208] -> [ ^ self lowcodePrimitiveStoreLocalFloat64 ]. [209] -> [ ^ self lowcodePrimitiveStoreLocalInt16 ]. [210] -> [ ^ self lowcodePrimitiveStoreLocalInt32 ]. [211] -> [ ^ self lowcodePrimitiveStoreLocalInt64 ]. [212] -> [ ^ self lowcodePrimitiveStoreLocalInt8 ]. [213] -> [ ^ self lowcodePrimitiveStoreLocalPointer ]. [214] -> [ ^ self lowcodePrimitiveStorePointerToMemory ]. [215] -> [ ^ self lowcodePrimitiveSub32 ]. [216] -> [ ^ self lowcodePrimitiveSub64 ]. [217] -> [ ^ self lowcodePrimitiveTruncate32To16 ]. [218] -> [ ^ self lowcodePrimitiveTruncate32To8 ]. [219] -> [ ^ self lowcodePrimitiveTruncate64To16 ]. [220] -> [ ^ self lowcodePrimitiveTruncate64To32 ]. [221] -> [ ^ self lowcodePrimitiveTruncate64To8 ]. [222] -> [ ^ self lowcodePrimitiveUdiv32 ]. [223] -> [ ^ self lowcodePrimitiveUdiv64 ]. [224] -> [ ^ self lowcodePrimitiveUint32Great ]. [225] -> [ ^ self lowcodePrimitiveUint32GreatEqual ]. [226] -> [ ^ self lowcodePrimitiveUint32Less ]. [227] -> [ ^ self lowcodePrimitiveUint32LessEqual ]. [228] -> [ ^ self lowcodePrimitiveUint32ToFloat32 ]. [229] -> [ ^ self lowcodePrimitiveUint32ToFloat64 ]. [230] -> [ ^ self lowcodePrimitiveUint64Great ]. [231] -> [ ^ self lowcodePrimitiveUint64GreatEqual ]. [232] -> [ ^ self lowcodePrimitiveUint64Less ]. [233] -> [ ^ self lowcodePrimitiveUint64LessEqual ]. [234] -> [ ^ self lowcodePrimitiveUint64ToFloat32 ]. [235] -> [ ^ self lowcodePrimitiveUint64ToFloat64 ]. [236] -> [ ^ self lowcodePrimitiveUmul32 ]. [237] -> [ ^ self lowcodePrimitiveUmul64 ]. [238] -> [ ^ self lowcodePrimitiveUnlockRegisters ]. [239] -> [ ^ self lowcodePrimitiveUnlockVM ]. + [240] -> [ ^ self lowcodePrimitiveUrem32 ]. + [241] -> [ ^ self lowcodePrimitiveUrem64 ]. + [242] -> [ ^ self lowcodePrimitiveXor32 ]. + [243] -> [ ^ self lowcodePrimitiveXor64 ]. + [244] -> [ ^ self lowcodePrimitiveZeroExtend32From16 ]. + [245] -> [ ^ self lowcodePrimitiveZeroExtend32From8 ]. + [246] -> [ ^ self lowcodePrimitiveZeroExtend64From16 ]. } otherwise: [ ^ self lowcodeUnaryInlinePrimitive5: prim ]. ! Item was changed: ----- Method: StackInterpreter>>lowcodeUnaryInlinePrimitive5: (in category 'inline primitive dispatch generated code') ----- lowcodeUnaryInlinePrimitive5: prim <option: #LowcodeVM> "Lowcode instruction interpreter dispatch" prim caseOf: { - [240] -> [ ^ self lowcodePrimitiveUrem32 ]. - [241] -> [ ^ self lowcodePrimitiveUrem64 ]. - [242] -> [ ^ self lowcodePrimitiveXor32 ]. - [243] -> [ ^ self lowcodePrimitiveXor64 ]. - [244] -> [ ^ self lowcodePrimitiveZeroExtend32From16 ]. - [245] -> [ ^ self lowcodePrimitiveZeroExtend32From8 ]. - [246] -> [ ^ self lowcodePrimitiveZeroExtend64From16 ]. [247] -> [ ^ self lowcodePrimitiveZeroExtend64From32 ]. [248] -> [ ^ self lowcodePrimitiveZeroExtend64From8 ]. } otherwise: [ localIP := localIP - 3. ^self respondToUnknownBytecode ]. ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallFloat32 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallFloat32 <option: #LowcodeVM> "Lowcode instruction generator" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. backEnd cFloatResultToRs: DPFPReg0. self ssPushNativeRegisterSingleFloat: DPFPReg0. extA := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallFloat64 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallFloat64 <option: #LowcodeVM> "Lowcode instruction generator" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. backEnd cFloatResultToRd: DPFPReg0. self ssPushNativeRegisterDoubleFloat: DPFPReg0. extA := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectFloat32 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectFloat32 <option: #LowcodeVM> "Lowcode instruction generator" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. backEnd cFloatResultToRs: DPFPReg0. self ssPushNativeRegisterSingleFloat: DPFPReg0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectFloat64 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectFloat64 <option: #LowcodeVM> "Lowcode instruction generator" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. backEnd cFloatResultToRd: DPFPReg0. self ssPushNativeRegisterDoubleFloat: DPFPReg0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectInt32 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectInt32 <option: #LowcodeVM> "Lowcode instruction generator" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectInt64 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectInt64 <option: #LowcodeVM> "Lowcode instruction generator" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. BytesPerWord = 4 ifTrue: [ self MoveR: backEnd cResultRegisterLow R: ReceiverResultReg. self MoveR: backEnd cResultRegisterHigh R: Arg0Reg. self ssPushNativeRegister: ReceiverResultReg secondRegister: Arg0Reg. ] ifFalse: [ self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. ]. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectPointer (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectPointer <option: #LowcodeVM> "Lowcode instruction generator" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectStructure (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectStructure <option: #LowcodeVM> "Lowcode instruction generator" "Push the result space" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self PushR: TempReg. "Fetch the function pointer" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. "Call the function" self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. "Fetch the result" self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. extA := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallIndirectVoid (in category 'inline primitive generators generated code') ----- genLowcodePerformCallIndirectVoid <option: #LowcodeVM> "Lowcode instruction generator" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self callSwitchToCStack. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallInt32 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallInt32 <option: #LowcodeVM> "Lowcode instruction generator" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. extA := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallInt64 (in category 'inline primitive generators generated code') ----- genLowcodePerformCallInt64 <option: #LowcodeVM> "Lowcode instruction generator" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. BytesPerWord = 4 ifTrue: [ self MoveR: backEnd cResultRegisterLow R: ReceiverResultReg. self MoveR: backEnd cResultRegisterHigh R: Arg0Reg. self ssPushNativeRegister: ReceiverResultReg secondRegister: Arg0Reg. ] ifFalse: [ self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. ]. extA := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallPointer (in category 'inline primitive generators generated code') ----- genLowcodePerformCallPointer <option: #LowcodeVM> "Lowcode instruction generator" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. extA := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallStructure (in category 'inline primitive generators generated code') ----- genLowcodePerformCallStructure <option: #LowcodeVM> "Lowcode instruction generator" "Push the result space" self ssNativeTop nativeStackPopToReg: TempReg. self ssNativePop: 1. self PushR: TempReg. "Call the function" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. "Fetch the result" self MoveR: backEnd cResultRegister R: ReceiverResultReg. self ssPushNativeRegister: ReceiverResultReg. extA := 0. extB := 0. numExtB := 0. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallVoid (in category 'inline primitive generators generated code') ----- genLowcodePerformCallVoid <option: #LowcodeVM> "Lowcode instruction generator" self callSwitchToCStack. self MoveCw: extA R: TempReg. self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. extA := 0. ^ 0 ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCallout (in category 'inline primitive generators generated code') ----- + genLowcodePerformCallout + <option: #LowcodeVM> "Lowcode instruction generator" + + self callSwitchToCStack. + self MoveCw: extA R: TempReg. + self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. + extA := 0. + + ^ 0 + + ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePerformCalloutIndirect (in category 'inline primitive generators generated code') ----- + genLowcodePerformCalloutIndirect + <option: #LowcodeVM> "Lowcode instruction generator" + + self ssNativeTop nativeStackPopToReg: TempReg. + self ssNativePop: 1. + self callSwitchToCStack. + self CallRT: ceFFICalloutTrampoline. + self annotateBytecode: self Label. + + ^ 0 + + ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePushCalloutResultFloat32 (in category 'inline primitive generators generated code') ----- + genLowcodePushCalloutResultFloat32 + <option: #LowcodeVM> "Lowcode instruction generator" + + backEnd cFloatResultToRs: DPFPReg0. + self ssPushNativeRegisterSingleFloat: DPFPReg0. + + ^ 0 + + ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePushCalloutResultFloat64 (in category 'inline primitive generators generated code') ----- + genLowcodePushCalloutResultFloat64 + <option: #LowcodeVM> "Lowcode instruction generator" + + backEnd cFloatResultToRd: DPFPReg0. + self ssPushNativeRegisterDoubleFloat: DPFPReg0. + + ^ 0 + + ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePushCalloutResultInt32 (in category 'inline primitive generators generated code') ----- + genLowcodePushCalloutResultInt32 + <option: #LowcodeVM> "Lowcode instruction generator" + + self MoveR: backEnd cResultRegister R: ReceiverResultReg. + self ssPushNativeRegister: ReceiverResultReg. + + ^ 0 + + ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePushCalloutResultInt64 (in category 'inline primitive generators generated code') ----- + genLowcodePushCalloutResultInt64 + <option: #LowcodeVM> "Lowcode instruction generator" + + BytesPerWord = 4 ifTrue: [ + self MoveR: backEnd cResultRegisterLow R: ReceiverResultReg. + self MoveR: backEnd cResultRegisterHigh R: Arg0Reg. + self ssPushNativeRegister: ReceiverResultReg secondRegister: Arg0Reg. + ] ifFalse: [ + self MoveR: backEnd cResultRegister R: ReceiverResultReg. + self ssPushNativeRegister: ReceiverResultReg. + ]. + + ^ 0 + + ! Item was added: + ----- Method: StackToRegisterMappingCogit>>genLowcodePushCalloutResultPointer (in category 'inline primitive generators generated code') ----- + genLowcodePushCalloutResultPointer + <option: #LowcodeVM> "Lowcode instruction generator" + + self MoveR: backEnd cResultRegister R: ReceiverResultReg. + self ssPushNativeRegister: ReceiverResultReg. + + ^ 0 + + ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodeUnaryInlinePrimitive3: (in category 'inline primitive generators dispatch generated code') ----- genLowcodeUnaryInlinePrimitive3: prim <option: #LowcodeVM> "Lowcode instruction generator dispatch" prim caseOf: { [120] -> [ ^ self genLowcodeLoadObjectField ]. [121] -> [ ^ self genLowcodeLoadPointerFromMemory ]. [122] -> [ ^ self genLowcodeLoadUInt16FromMemory ]. [123] -> [ ^ self genLowcodeLoadUInt32FromMemory ]. [124] -> [ ^ self genLowcodeLoadUInt64FromMemory ]. [125] -> [ ^ self genLowcodeLoadUInt8FromMemory ]. [126] -> [ ^ self genLowcodeLocalFrameSize ]. [127] -> [ ^ self genLowcodeLockRegisters ]. [128] -> [ ^ self genLowcodeLockVM ]. [129] -> [ ^ self genLowcodeMalloc32 ]. [130] -> [ ^ self genLowcodeMalloc64 ]. [131] -> [ ^ self genLowcodeMemcpy32 ]. [132] -> [ ^ self genLowcodeMemcpy64 ]. [133] -> [ ^ self genLowcodeMemcpyFixed ]. [134] -> [ ^ self genLowcodeMoveFloat32ToPhysical ]. [135] -> [ ^ self genLowcodeMoveFloat64ToPhysical ]. [136] -> [ ^ self genLowcodeMoveInt32ToPhysical ]. [137] -> [ ^ self genLowcodeMoveInt64ToPhysical ]. [138] -> [ ^ self genLowcodeMovePointerToPhysical ]. [139] -> [ ^ self genLowcodeMul32 ]. [140] -> [ ^ self genLowcodeMul64 ]. [141] -> [ ^ self genLowcodeNeg32 ]. [142] -> [ ^ self genLowcodeNeg64 ]. [143] -> [ ^ self genLowcodeNot32 ]. [144] -> [ ^ self genLowcodeNot64 ]. [145] -> [ ^ self genLowcodeOr32 ]. [146] -> [ ^ self genLowcodeOr64 ]. + [147] -> [ ^ self genLowcodePerformCallout ]. + [148] -> [ ^ self genLowcodePerformCalloutIndirect ]. + [149] -> [ ^ self genLowcodePushCalloutResultFloat32 ]. + [150] -> [ ^ self genLowcodePushCalloutResultFloat64 ]. + [151] -> [ ^ self genLowcodePushCalloutResultInt32 ]. + [152] -> [ ^ self genLowcodePushCalloutResultInt64 ]. + [153] -> [ ^ self genLowcodePushCalloutResultPointer ]. - [147] -> [ ^ self genLowcodePerformCallFloat32 ]. - [148] -> [ ^ self genLowcodePerformCallFloat64 ]. - [149] -> [ ^ self genLowcodePerformCallIndirectFloat32 ]. - [150] -> [ ^ self genLowcodePerformCallIndirectFloat64 ]. - [151] -> [ ^ self genLowcodePerformCallIndirectInt32 ]. - [152] -> [ ^ self genLowcodePerformCallIndirectInt64 ]. - [153] -> [ ^ self genLowcodePerformCallIndirectPointer ]. - [154] -> [ ^ self genLowcodePerformCallIndirectStructure ]. - [155] -> [ ^ self genLowcodePerformCallIndirectVoid ]. - [156] -> [ ^ self genLowcodePerformCallInt32 ]. - [157] -> [ ^ self genLowcodePerformCallInt64 ]. - [158] -> [ ^ self genLowcodePerformCallPointer ]. - [159] -> [ ^ self genLowcodePerformCallStructure ]. - [160] -> [ ^ self genLowcodePerformCallVoid ]. [161] -> [ ^ self genLowcodePlaftormCode ]. [162] -> [ ^ self genLowcodePointerAddConstantOffset ]. [163] -> [ ^ self genLowcodePointerAddOffset32 ]. [164] -> [ ^ self genLowcodePointerAddOffset64 ]. [165] -> [ ^ self genLowcodePointerEqual ]. [166] -> [ ^ self genLowcodePointerNotEqual ]. [167] -> [ ^ self genLowcodePointerToInt32 ]. [168] -> [ ^ self genLowcodePointerToInt64 ]. [169] -> [ ^ self genLowcodePopFloat32 ]. [170] -> [ ^ self genLowcodePopFloat64 ]. [171] -> [ ^ self genLowcodePopInt32 ]. [172] -> [ ^ self genLowcodePopInt64 ]. [173] -> [ ^ self genLowcodePopMultipleNative ]. [174] -> [ ^ self genLowcodePopPointer ]. [175] -> [ ^ self genLowcodePushConstantUInt32 ]. [176] -> [ ^ self genLowcodePushConstantUInt64 ]. [177] -> [ ^ self genLowcodePushNullPointer ]. [178] -> [ ^ self genLowcodePushOne32 ]. [179] -> [ ^ self genLowcodePushOne64 ]. + [180] -> [ ^ self genLowcodePushOneFloat32 ]. + [181] -> [ ^ self genLowcodePushOneFloat64 ]. + [182] -> [ ^ self genLowcodePushPhysicalFloat32 ]. + [183] -> [ ^ self genLowcodePushPhysicalFloat64 ]. + [184] -> [ ^ self genLowcodePushPhysicalInt32 ]. + [185] -> [ ^ self genLowcodePushPhysicalInt64 ]. + [186] -> [ ^ self genLowcodePushPhysicalPointer ]. } otherwise: [ ^ self genLowcodeUnaryInlinePrimitive4: prim ]. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodeUnaryInlinePrimitive4: (in category 'inline primitive generators dispatch generated code') ----- genLowcodeUnaryInlinePrimitive4: prim <option: #LowcodeVM> "Lowcode instruction generator dispatch" prim caseOf: { - [180] -> [ ^ self genLowcodePushOneFloat32 ]. - [181] -> [ ^ self genLowcodePushOneFloat64 ]. - [182] -> [ ^ self genLowcodePushPhysicalFloat32 ]. - [183] -> [ ^ self genLowcodePushPhysicalFloat64 ]. - [184] -> [ ^ self genLowcodePushPhysicalInt32 ]. - [185] -> [ ^ self genLowcodePushPhysicalInt64 ]. - [186] -> [ ^ self genLowcodePushPhysicalPointer ]. [187] -> [ ^ self genLowcodePushSessionIdentifier ]. [188] -> [ ^ self genLowcodePushZero32 ]. [189] -> [ ^ self genLowcodePushZero64 ]. [190] -> [ ^ self genLowcodePushZeroFloat32 ]. [191] -> [ ^ self genLowcodePushZeroFloat64 ]. [192] -> [ ^ self genLowcodeRem32 ]. [193] -> [ ^ self genLowcodeRem64 ]. [194] -> [ ^ self genLowcodeRightShift32 ]. [195] -> [ ^ self genLowcodeRightShift64 ]. [196] -> [ ^ self genLowcodeSignExtend32From16 ]. [197] -> [ ^ self genLowcodeSignExtend32From8 ]. [198] -> [ ^ self genLowcodeSignExtend64From16 ]. [199] -> [ ^ self genLowcodeSignExtend64From32 ]. [200] -> [ ^ self genLowcodeSignExtend64From8 ]. [201] -> [ ^ self genLowcodeStoreFloat32ToMemory ]. [202] -> [ ^ self genLowcodeStoreFloat64ToMemory ]. [203] -> [ ^ self genLowcodeStoreInt16ToMemory ]. [204] -> [ ^ self genLowcodeStoreInt32ToMemory ]. [205] -> [ ^ self genLowcodeStoreInt64ToMemory ]. [206] -> [ ^ self genLowcodeStoreInt8ToMemory ]. [207] -> [ ^ self genLowcodeStoreLocalFloat32 ]. [208] -> [ ^ self genLowcodeStoreLocalFloat64 ]. [209] -> [ ^ self genLowcodeStoreLocalInt16 ]. [210] -> [ ^ self genLowcodeStoreLocalInt32 ]. [211] -> [ ^ self genLowcodeStoreLocalInt64 ]. [212] -> [ ^ self genLowcodeStoreLocalInt8 ]. [213] -> [ ^ self genLowcodeStoreLocalPointer ]. [214] -> [ ^ self genLowcodeStorePointerToMemory ]. [215] -> [ ^ self genLowcodeSub32 ]. [216] -> [ ^ self genLowcodeSub64 ]. [217] -> [ ^ self genLowcodeTruncate32To16 ]. [218] -> [ ^ self genLowcodeTruncate32To8 ]. [219] -> [ ^ self genLowcodeTruncate64To16 ]. [220] -> [ ^ self genLowcodeTruncate64To32 ]. [221] -> [ ^ self genLowcodeTruncate64To8 ]. [222] -> [ ^ self genLowcodeUdiv32 ]. [223] -> [ ^ self genLowcodeUdiv64 ]. [224] -> [ ^ self genLowcodeUint32Great ]. [225] -> [ ^ self genLowcodeUint32GreatEqual ]. [226] -> [ ^ self genLowcodeUint32Less ]. [227] -> [ ^ self genLowcodeUint32LessEqual ]. [228] -> [ ^ self genLowcodeUint32ToFloat32 ]. [229] -> [ ^ self genLowcodeUint32ToFloat64 ]. [230] -> [ ^ self genLowcodeUint64Great ]. [231] -> [ ^ self genLowcodeUint64GreatEqual ]. [232] -> [ ^ self genLowcodeUint64Less ]. [233] -> [ ^ self genLowcodeUint64LessEqual ]. [234] -> [ ^ self genLowcodeUint64ToFloat32 ]. [235] -> [ ^ self genLowcodeUint64ToFloat64 ]. [236] -> [ ^ self genLowcodeUmul32 ]. [237] -> [ ^ self genLowcodeUmul64 ]. [238] -> [ ^ self genLowcodeUnlockRegisters ]. [239] -> [ ^ self genLowcodeUnlockVM ]. + [240] -> [ ^ self genLowcodeUrem32 ]. + [241] -> [ ^ self genLowcodeUrem64 ]. + [242] -> [ ^ self genLowcodeXor32 ]. + [243] -> [ ^ self genLowcodeXor64 ]. + [244] -> [ ^ self genLowcodeZeroExtend32From16 ]. + [245] -> [ ^ self genLowcodeZeroExtend32From8 ]. + [246] -> [ ^ self genLowcodeZeroExtend64From16 ]. } otherwise: [ ^ self genLowcodeUnaryInlinePrimitive5: prim ]. ^ 0 ! Item was changed: ----- Method: StackToRegisterMappingCogit>>genLowcodeUnaryInlinePrimitive5: (in category 'inline primitive generators dispatch generated code') ----- genLowcodeUnaryInlinePrimitive5: prim <option: #LowcodeVM> "Lowcode instruction generator dispatch" prim caseOf: { - [240] -> [ ^ self genLowcodeUrem32 ]. - [241] -> [ ^ self genLowcodeUrem64 ]. - [242] -> [ ^ self genLowcodeXor32 ]. - [243] -> [ ^ self genLowcodeXor64 ]. - [244] -> [ ^ self genLowcodeZeroExtend32From16 ]. - [245] -> [ ^ self genLowcodeZeroExtend32From8 ]. - [246] -> [ ^ self genLowcodeZeroExtend64From16 ]. [247] -> [ ^ self genLowcodeZeroExtend64From32 ]. [248] -> [ ^ self genLowcodeZeroExtend64From8 ]. } otherwise: [ ^ EncounteredUnknownBytecode ]. ^ 0 ! Item was added: + ----- Method: VMMaker class>>generateAllSpurLowcodeConfigurations (in category 'configurations') ----- + generateAllSpurLowcodeConfigurations + self generateSqueakSpurLowcodeCogVM; + generateSqueakSpurLowcodeStackVM; + generateSqueakSpurLowcodeCog64VM; + generateSqueakSpurLowcodeStack64VM! Item was added: + ----- Method: VMMaker class>>generateSqueakSpurLowcodeCog64VM (in category 'configurations') ----- + generateSqueakSpurLowcodeCog64VM + "No primitives since we can use those for the Cog VM" + ^VMMaker + generate: CoInterpreter + and: StackToRegisterMappingCogit + with: #(ObjectMemory Spur64BitCoMemoryManager + SistaVM true + LowcodeVM true + MULTIPLEBYTECODESETS true + bytecodeTableInitializer initializeBytecodeTableForSqueakV3PlusClosuresSistaV1Hybrid) + to: (FileDirectory default pathFromURI: self sourceTree, '/spurlowcode64src') + platformDir: (FileDirectory default pathFromURI: self sourceTree, '/platforms') + including:#()! Item was added: + ----- Method: VMMaker class>>generateSqueakSpurLowcodeStack64VM (in category 'configurations') ----- + generateSqueakSpurLowcodeStack64VM + "No primitives since we can use those from the Cog VM" + ^VMMaker + generate: StackInterpreter + with: #(ObjectMemory Spur64BitMemoryManager + SistaVM true + LowcodeVM true + FailImbalancedPrimitives false + MULTIPLEBYTECODESETS true + bytecodeTableInitializer initializeBytecodeTableForSqueakV3PlusClosuresSistaV1Hybrid) + to: (FileDirectory default pathFromURI: self sourceTree, '/spurlowcodestack64src') + platformDir: (FileDirectory default pathFromURI: self sourceTree, '/platforms') + including: #()!

1 0

[OpenSmalltalk/opensmalltalk-vm]
by GitHub 11 Feb '17

11 Feb '17

Branch: refs/tags/201701281910 Home: https://github.com/OpenSmalltalk/opensmalltalk-vm

1 0

[OpenSmalltalk/opensmalltalk-vm] 970a35: In the SystemV AMD64 ABI, floats and doubles are r...
by GitHub 10 Feb '17

10 Feb '17

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 970a35c61664dbe3fe3045339091dc34d6c8539a https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/970a35c61664dbe3fe… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-02-10 (Fri, 10 Feb 2017) Changed paths: M platforms/Cross/plugins/IA32ABI/x64ia32abicc.c Log Message: ----------- In the SystemV AMD64 ABI, floats and doubles are returned in XMM0. Commit: e7268a6b24e6b32098d3a31a2765e4545306df9a https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/e7268a6b24e6b32098… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2017-02-10 (Fri, 10 Feb 2017) Changed paths: M platforms/Cross/plugins/IA32ABI/x64ia32abicc.c Log Message: ----------- Merge pull request #117 from ronsaldo/bug/x64_callback_return In the SystemV AMD64 ABI, floats and doubles are returned in XMM0. Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/15932be3eff6...e7…

1 0

[OpenSmalltalk/opensmalltalk-vm] b2ca1d: I am adding some building scripts for Pharo with L...
by GitHub 10 Feb '17

10 Feb '17

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: b2ca1ddb0d160747e2554c8582c2aa3accb3ad3e https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/b2ca1ddb0d160747e2… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-03 (Tue, 03 Jan 2017) Changed paths: A build.linux32x86/pharo.cog.lowcode/build.assert.itimerheartbeat/mvm A build.linux32x86/pharo.cog.lowcode/build.assert/mvm A build.linux32x86/pharo.cog.lowcode/build.debug.itimerheartbeat/mvm A build.linux32x86/pharo.cog.lowcode/build.debug/mvm A build.linux32x86/pharo.cog.lowcode/build.itimerheartbeat/mvm A build.linux32x86/pharo.cog.lowcode/build/mvm A build.linux32x86/pharo.cog.lowcode/makeallclean A build.linux32x86/pharo.cog.lowcode/makealldirty A build.linux32x86/pharo.cog.lowcode/plugins.ext A build.linux32x86/pharo.cog.lowcode/plugins.int Log Message: ----------- I am adding some building scripts for Pharo with Lowcode. Commit: 8fac71b7420b3af7b2b2958032027e696941ad93 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/8fac71b7420b3af7b2… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-03 (Tue, 03 Jan 2017) Changed paths: M platforms/Cross/vm/sqLowcodeFFI-i386.h Log Message: ----------- Newer version of the Lowcode callout trampoline. Commit: 01ede7347fdcb2af97e1864d46fd510d9e25374e https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/01ede7347fdcb2af97… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-04 (Wed, 04 Jan 2017) Changed paths: A build.linux32x86/pharo.stack.lowcode/build.assert.itimerheartbeat/mvm A build.linux32x86/pharo.stack.lowcode/build.assert/mvm A build.linux32x86/pharo.stack.lowcode/build.debug.itimerheartbeat/mvm A build.linux32x86/pharo.stack.lowcode/build.debug/mvm A build.linux32x86/pharo.stack.lowcode/build.itimerheartbeat/mvm A build.linux32x86/pharo.stack.lowcode/build/mvm A build.linux32x86/pharo.stack.lowcode/makeallclean A build.linux32x86/pharo.stack.lowcode/makealldirty A build.linux32x86/pharo.stack.lowcode/plugins.ext A build.linux32x86/pharo.stack.lowcode/plugins.int Log Message: ----------- Building scripts for a pharo VM with Lowcode. Commit: 32dfc4e36791e0f186f0afc7ef3e902aae056a2d https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/32dfc4e36791e0f186… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-04 (Wed, 04 Jan 2017) Changed paths: M build.linux32x86/pharo.stack.lowcode/build.assert.itimerheartbeat/mvm M build.linux32x86/pharo.stack.lowcode/build.assert/mvm M build.linux32x86/pharo.stack.lowcode/build.debug.itimerheartbeat/mvm M build.linux32x86/pharo.stack.lowcode/build.debug/mvm M build.linux32x86/pharo.stack.lowcode/build.itimerheartbeat/mvm M build.linux32x86/pharo.stack.lowcode/build/mvm M build.linux32x86/pharo.stack.lowcode/makeallclean M build.linux32x86/pharo.stack.lowcode/makealldirty Log Message: ----------- Missing premissions from the latest commit. Commit: 25945af6bad8440e88ddf5a366596e4b4df0ac22 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/25945af6bad8440e88… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-04 (Wed, 04 Jan 2017) Changed paths: M build.linux32x86/pharo.stack.lowcode/build.assert.itimerheartbeat/mvm M build.linux32x86/pharo.stack.lowcode/build.assert/mvm M build.linux32x86/pharo.stack.lowcode/build.debug.itimerheartbeat/mvm M build.linux32x86/pharo.stack.lowcode/build.debug/mvm M build.linux32x86/pharo.stack.lowcode/build.itimerheartbeat/mvm M build.linux32x86/pharo.stack.lowcode/build/mvm Log Message: ----------- Oops Commit: 64a712d995fd07f9490b5a396cef6dbb6050f674 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/64a712d995fd07f949… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-05 (Thu, 05 Jan 2017) Changed paths: A build.macos32x86/pharo.cog.lowcode/Makefile A build.macos32x86/pharo.cog.lowcode/mvm A build.macos32x86/pharo.cog.lowcode/plugins.ext A build.macos32x86/pharo.cog.lowcode/plugins.int A build.macos32x86/pharo.stack.lowcode/Makefile A build.macos32x86/pharo.stack.lowcode/mvm A build.macos32x86/pharo.stack.lowcode/plugins.ext A build.macos32x86/pharo.stack.lowcode/plugins.int Log Message: ----------- I added the building scripts for a Pharo Lowcode VM in OS X. Commit: 1de9746c9d2df57cda6335983ff27962d3fbb2ae https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/1de9746c9d2df57cda… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-05 (Thu, 05 Jan 2017) Changed paths: M build.macos32x86/pharo.cog.lowcode/mvm M build.macos32x86/pharo.stack.lowcode/mvm Log Message: ----------- Oops, missing permissions from the last commit. Commit: ce0329fd9c10b2d7d81267683579e8cfe45ccfd8 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/ce0329fd9c10b2d7d8… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-10 (Tue, 10 Jan 2017) Changed paths: M nsspursrc/vm/cogit.h M nsspursrc/vm/cogitARMv5.c M nsspursrc/vm/cogitIA32.c M nsspursrc/vm/cogitMIPSEL.c M nsspursrc/vm/cogmethod.h M nsspursrc/vm/cointerp.c M nsspursrc/vm/cointerp.h M nsspursrc/vm/gcc3x-cointerp.c M nsspursrc/vm/interp.h M nsspursrc/vm/nssendcache.h M nsspursrc/vm/vmCallback.h M nsspurstacksrc/vm/gcc3x-interp.c M nsspurstacksrc/vm/interp.c M nsspurstacksrc/vm/interp.h M nsspurstacksrc/vm/vmCallback.h M platforms/unix/vm/sqConfig.h M specs/lowcode.xml A spurlowcodesrc/examplePlugins.ext A spurlowcodesrc/examplePlugins.int A spurlowcodesrc/vm/cogit.c A spurlowcodesrc/vm/cogit.h A spurlowcodesrc/vm/cogitARMv5.c A spurlowcodesrc/vm/cogitIA32.c A spurlowcodesrc/vm/cogitMIPSEL.c A spurlowcodesrc/vm/cogmethod.h A spurlowcodesrc/vm/cointerp.c A spurlowcodesrc/vm/cointerp.h A spurlowcodesrc/vm/exampleSqNamedPrims.h A spurlowcodesrc/vm/gcc3x-cointerp.c A spurlowcodesrc/vm/interp.h A spurlowcodesrc/vm/vmCallback.h A spurlowcodestacksrc/examplePlugins.ext A spurlowcodestacksrc/examplePlugins.int A spurlowcodestacksrc/vm/exampleSqNamedPrims.h A spurlowcodestacksrc/vm/gcc3x-interp.c A spurlowcodestacksrc/vm/interp.c A spurlowcodestacksrc/vm/interp.h A spurlowcodestacksrc/vm/vmCallback.h M spursrc/vm/cogit.h M spursrc/vm/cogitARMv5.c M spursrc/vm/cogitIA32.c M spursrc/vm/cogitMIPSEL.c M spursrc/vm/cogmethod.h M spursrc/vm/cointerp.c M spursrc/vm/cointerp.h M spursrc/vm/gcc3x-cointerp.c M spursrc/vm/interp.h M spursrc/vm/vmCallback.h Log Message: ----------- Adding the generated Lowcode sources. Commit: f5f4b4e7f8ce8a16130d5a198f7f57e0cffd3f1b https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/f5f4b4e7f8ce8a1613… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-10 (Tue, 10 Jan 2017) Changed paths: A build.win32x86/pharo.cog.lowcode/Makefile A build.win32x86/pharo.cog.lowcode/Pharo.def.in A build.win32x86/pharo.cog.lowcode/Pharo.exe.manifest A build.win32x86/pharo.cog.lowcode/Pharo.ico A build.win32x86/pharo.cog.lowcode/Pharo.rc A build.win32x86/pharo.cog.lowcode/mvm A build.win32x86/pharo.cog.lowcode/plugins.ext A build.win32x86/pharo.cog.lowcode/plugins.int Log Message: ----------- Build scripts for the Lowcode Pharo VM in Windows. Commit: 16299af8b5964dcea23646b2f0bf5568575e75cf https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/16299af8b5964dcea2… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-10 (Tue, 10 Jan 2017) Changed paths: A build.win32x86/squeak.cog.lowcode/Croquet.def.in A build.win32x86/squeak.cog.lowcode/Croquet.exe.manifest A build.win32x86/squeak.cog.lowcode/Croquet.ico A build.win32x86/squeak.cog.lowcode/Croquet.rc A build.win32x86/squeak.cog.lowcode/GreenCogSqueak.ico A build.win32x86/squeak.cog.lowcode/Makefile A build.win32x86/squeak.cog.lowcode/Squeak.def.in A build.win32x86/squeak.cog.lowcode/Squeak.exe.manifest A build.win32x86/squeak.cog.lowcode/Squeak.rc A build.win32x86/squeak.cog.lowcode/mvm A build.win32x86/squeak.cog.lowcode/plugins.ext A build.win32x86/squeak.cog.lowcode/plugins.int A build.win32x86/squeak.cog.lowcode/squeak.ico Log Message: ----------- More building scripts for the Windows Lowcode VM. Commit: b94fee406d5b478508bd63436eeb4ea3b53ce043 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/b94fee406d5b478508… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-11 (Wed, 11 Jan 2017) Changed paths: M platforms/Cross/vm/sqMemoryAccess.h Log Message: ----------- Adding missing accessors for Lowcode. Commit: b863713b2a5f082f5489faf18c00025850e3e5ad https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/b863713b2a5f082f54… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-11 (Wed, 11 Jan 2017) Changed paths: A build.win32x86/pharo.cog.lowcode/Makefile A build.win32x86/pharo.cog.lowcode/Pharo.def.in A build.win32x86/pharo.cog.lowcode/Pharo.exe.manifest A build.win32x86/pharo.cog.lowcode/Pharo.ico A build.win32x86/pharo.cog.lowcode/Pharo.rc A build.win32x86/pharo.cog.lowcode/mvm A build.win32x86/pharo.cog.lowcode/plugins.ext A build.win32x86/pharo.cog.lowcode/plugins.int M nsspursrc/vm/cogit.h M nsspursrc/vm/cogitARMv5.c M nsspursrc/vm/cogitIA32.c M nsspursrc/vm/cogitMIPSEL.c M nsspursrc/vm/cogmethod.h M nsspursrc/vm/cointerp.c M nsspursrc/vm/cointerp.h M nsspursrc/vm/gcc3x-cointerp.c M nsspursrc/vm/interp.h M nsspursrc/vm/nssendcache.h M nsspursrc/vm/vmCallback.h M nsspurstacksrc/vm/gcc3x-interp.c M nsspurstacksrc/vm/interp.c M nsspurstacksrc/vm/interp.h M nsspurstacksrc/vm/vmCallback.h M platforms/unix/vm/sqConfig.h M specs/lowcode.xml A spurlowcodesrc/examplePlugins.ext A spurlowcodesrc/examplePlugins.int A spurlowcodesrc/vm/cogit.c A spurlowcodesrc/vm/cogit.h A spurlowcodesrc/vm/cogitARMv5.c A spurlowcodesrc/vm/cogitIA32.c A spurlowcodesrc/vm/cogitMIPSEL.c A spurlowcodesrc/vm/cogmethod.h A spurlowcodesrc/vm/cointerp.c A spurlowcodesrc/vm/cointerp.h A spurlowcodesrc/vm/exampleSqNamedPrims.h A spurlowcodesrc/vm/gcc3x-cointerp.c A spurlowcodesrc/vm/interp.h A spurlowcodesrc/vm/vmCallback.h A spurlowcodestacksrc/examplePlugins.ext A spurlowcodestacksrc/examplePlugins.int A spurlowcodestacksrc/vm/exampleSqNamedPrims.h A spurlowcodestacksrc/vm/gcc3x-interp.c A spurlowcodestacksrc/vm/interp.c A spurlowcodestacksrc/vm/interp.h A spurlowcodestacksrc/vm/vmCallback.h M spursrc/vm/cogit.h M spursrc/vm/cogitARMv5.c M spursrc/vm/cogitIA32.c M spursrc/vm/cogitMIPSEL.c M spursrc/vm/cogmethod.h M spursrc/vm/cointerp.c M spursrc/vm/cointerp.h M spursrc/vm/gcc3x-cointerp.c M spursrc/vm/interp.h M spursrc/vm/vmCallback.h Log Message: ----------- Merge branch 'LowcodeFixup' of github.com:ronsaldo/opensmalltalk-vm into LowcodeFixup Commit: da9d2469a829458c0be9f734f1904ea1bc4388b5 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/da9d2469a829458c0b… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-11 (Wed, 11 Jan 2017) Changed paths: M platforms/Cross/vm/sqMemoryAccess.h Log Message: ----------- Merge branch 'LowcodeFixup' of github.com:ronsaldo/opensmalltalk-vm into LowcodeFixup Commit: 0c2f96d75948c7b957038b067331ece704e56525 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/0c2f96d75948c7b957… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-11 (Wed, 11 Jan 2017) Changed paths: M specs/lowcode.xml M spurlowcodesrc/vm/cogit.h M spurlowcodesrc/vm/cogitARMv5.c M spurlowcodesrc/vm/cogitIA32.c M spurlowcodesrc/vm/cogitMIPSEL.c M spurlowcodesrc/vm/cogmethod.h M spurlowcodesrc/vm/cointerp.c M spurlowcodesrc/vm/cointerp.h M spurlowcodesrc/vm/gcc3x-cointerp.c M spurlowcodesrc/vm/interp.h M spurlowcodesrc/vm/vmCallback.h M spurlowcodestacksrc/vm/gcc3x-interp.c M spurlowcodestacksrc/vm/interp.c M spurlowcodestacksrc/vm/interp.h M spurlowcodestacksrc/vm/vmCallback.h Log Message: ----------- Trying to fix GCC crash when building a Lowcode VM in Windows. Commit: b37e1c469f72e6822b44cc58c601eac49ea8deac https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/b37e1c469f72e6822b… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-11 (Wed, 11 Jan 2017) Changed paths: M specs/lowcode.xml M spurlowcodesrc/vm/cogit.h M spurlowcodesrc/vm/cogitARMv5.c M spurlowcodesrc/vm/cogitIA32.c M spurlowcodesrc/vm/cogitMIPSEL.c M spurlowcodesrc/vm/cogmethod.h M spurlowcodesrc/vm/cointerp.c M spurlowcodesrc/vm/cointerp.h M spurlowcodesrc/vm/gcc3x-cointerp.c M spurlowcodesrc/vm/interp.h M spurlowcodesrc/vm/vmCallback.h M spurlowcodestacksrc/vm/gcc3x-interp.c M spurlowcodestacksrc/vm/interp.c M spurlowcodestacksrc/vm/interp.h M spurlowcodestacksrc/vm/vmCallback.h Log Message: ----------- Merge branch 'LowcodeFixup' of github.com:ronsaldo/opensmalltalk-vm into LowcodeFixup Commit: fd3ee67389df7dfff495c1f07147fa6cd0e93e5e https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/fd3ee67389df7dfff4… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-11 (Wed, 11 Jan 2017) Changed paths: M spurlowcodesrc/vm/cogitARMv5.c M spurlowcodesrc/vm/cogitIA32.c M spurlowcodesrc/vm/cogitMIPSEL.c M spurlowcodesrc/vm/cointerp.c M spurlowcodesrc/vm/gcc3x-cointerp.c M spurlowcodestacksrc/vm/gcc3x-interp.c M spurlowcodestacksrc/vm/interp.c Log Message: ----------- Newer version of the Lowcode sources. Commit: ffa8d8c398d193818d6dacbe4761c9c0c20b03a1 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/ffa8d8c398d193818d… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-11 (Wed, 11 Jan 2017) Changed paths: M spurlowcodesrc/vm/cogitARMv5.c M spurlowcodesrc/vm/cogitIA32.c M spurlowcodesrc/vm/cogitMIPSEL.c M spurlowcodesrc/vm/cointerp.c M spurlowcodesrc/vm/gcc3x-cointerp.c M spurlowcodestacksrc/vm/gcc3x-interp.c M spurlowcodestacksrc/vm/interp.c Log Message: ----------- Merge branch 'LowcodeFixup' of github.com:ronsaldo/opensmalltalk-vm into LowcodeFixup Commit: b78c81b4a957d02facfebef1e11546c9c194d2b9 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/b78c81b4a957d02fac… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-11 (Wed, 11 Jan 2017) Changed paths: M build.win32x86/squeak.cog.lowcode/Makefile M build.win32x86/squeak.cog.lowcode/plugins.ext Log Message: ----------- Minor changes to the Lowcode build scripts for Windows. Commit: e96ef2a979236c6bf1ca56de31e6b8167aa2eea7 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/e96ef2a979236c6bf1… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-11 (Wed, 11 Jan 2017) Changed paths: M build.macos32x86/makeall M build.macos64x64/makeall M nsspur64src/vm/cogit.h M nsspur64src/vm/cogitX64.c M nsspur64src/vm/cointerp.c M nsspur64src/vm/cointerp.h M nsspur64src/vm/gcc3x-cointerp.c M nsspursrc/vm/cogit.h M nsspursrc/vm/cogitARMv5.c M nsspursrc/vm/cogitIA32.c M nsspursrc/vm/cogitMIPSEL.c M nsspursrc/vm/cointerp.c M nsspursrc/vm/cointerp.h M nsspursrc/vm/gcc3x-cointerp.c M nsspurstack64src/vm/gcc3x-interp.c M nsspurstack64src/vm/interp.c M nsspurstacksrc/vm/gcc3x-interp.c M nsspurstacksrc/vm/interp.c M platforms/Cross/plugins/BochsIA32Plugin/BochsIA32Plugin.h M platforms/Cross/vm/sqAssert.h M spur64src/vm/cogit.h M spur64src/vm/cogitX64.c M spur64src/vm/cointerp.c M spur64src/vm/cointerp.h M spur64src/vm/gcc3x-cointerp.c M spursista64src/vm/cogit.h M spursista64src/vm/cogitX64.c M spursista64src/vm/cointerp.c M spursista64src/vm/cointerp.h M spursista64src/vm/gcc3x-cointerp.c M spursistasrc/vm/cogit.h M spursistasrc/vm/cogitARMv5.c M spursistasrc/vm/cogitIA32.c M spursistasrc/vm/cogitMIPSEL.c M spursistasrc/vm/cogmethod.h M spursistasrc/vm/cointerp.c M spursistasrc/vm/cointerp.h M spursistasrc/vm/gcc3x-cointerp.c M spursistasrc/vm/interp.h M spursistasrc/vm/vmCallback.h M spursrc/vm/cogit.h M spursrc/vm/cogitARMv5.c M spursrc/vm/cogitIA32.c M spursrc/vm/cogitMIPSEL.c M spursrc/vm/cointerp.c M spursrc/vm/cointerp.h M spursrc/vm/gcc3x-cointerp.c M spurstack64src/vm/gcc3x-interp.c M spurstack64src/vm/interp.c M spurstacksrc/vm/gcc3x-interp.c M spurstacksrc/vm/interp.c M src/plugins/ADPCMCodecPlugin/ADPCMCodecPlugin.c M src/plugins/B2DPlugin/B2DPlugin.c M src/plugins/B3DAcceleratorPlugin/B3DAcceleratorPlugin.c M src/plugins/BitBltPlugin/BitBltPlugin.c M src/plugins/CroquetPlugin/CroquetPlugin.c M src/plugins/DSAPrims/DSAPrims.c M src/plugins/FilePlugin/FilePlugin.c M src/plugins/GeniePlugin/GeniePlugin.c M src/plugins/IA32ABI/IA32ABI.c M src/plugins/JPEGReaderPlugin/JPEGReaderPlugin.c M src/plugins/LargeIntegers/LargeIntegers.c M src/plugins/ScratchPlugin/ScratchPlugin.c M src/plugins/SoundGenerationPlugin/SoundGenerationPlugin.c M src/plugins/Squeak3D/Squeak3D.c M src/plugins/SqueakFFIPrims/ARM32FFIPlugin.c M src/plugins/SqueakFFIPrims/IA32FFIPlugin.c M src/plugins/SqueakFFIPrims/X64SysVFFIPlugin.c M src/plugins/SqueakFFIPrims/X64Win64FFIPlugin.c M src/plugins/StarSqueakPlugin/StarSqueakPlugin.c M src/plugins/UnicodePlugin/UnicodePlugin.c M src/plugins/VMProfileLinuxSupportPlugin/VMProfileLinuxSupportPlugin.c M src/plugins/VMProfileMacSupportPlugin/VMProfileMacSupportPlugin.c M src/plugins/Win32OSProcessPlugin/Win32OSProcessPlugin.c M src/plugins/ZipPlugin/ZipPlugin.c M src/vm/cogit.h M src/vm/cogitARMv5.c M src/vm/cogitIA32.c M src/vm/cogitMIPSEL.c M src/vm/cointerp.c M src/vm/cointerp.h M src/vm/cointerpmt.c M src/vm/cointerpmt.h M src/vm/gcc3x-cointerp.c M src/vm/gcc3x-cointerpmt.c M stacksrc/vm/gcc3x-interp.c M stacksrc/vm/interp.c Log Message: ----------- Merge branch 'Cog' into LowcodeFixup Commit: 314810ccf3b37ad41c383760a38246db1b173a13 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/314810ccf3b37ad41c… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-11 (Wed, 11 Jan 2017) Changed paths: M nsspursrc/vm/cogitIA32.c M nsspursrc/vm/cogitMIPSEL.c M nsspursrc/vm/cogmethod.h M nsspursrc/vm/cointerp.c M nsspursrc/vm/gcc3x-cointerp.c M nsspursrc/vm/interp.h M nsspursrc/vm/nssendcache.h M nsspursrc/vm/vmCallback.h M nsspurstacksrc/vm/interp.h M nsspurstacksrc/vm/vmCallback.h M spursrc/vm/cogitARMv5.c M spursrc/vm/cogitIA32.c M spursrc/vm/cogitMIPSEL.c M spursrc/vm/cogmethod.h M spursrc/vm/cointerp.c M spursrc/vm/gcc3x-cointerp.c M spursrc/vm/interp.h M spursrc/vm/vmCallback.h Log Message: ----------- Reverting files that should not have been changed in this branch. Commit: 1f34382ddfb99e5a03213f979af641f25120b4c6 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/1f34382ddfb99e5a03… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-11 (Wed, 11 Jan 2017) Changed paths: R build.linux32x86/pharo.cog.lowcode/build.assert.itimerheartbeat/mvm R build.linux32x86/pharo.cog.lowcode/build.assert/mvm R build.linux32x86/pharo.cog.lowcode/build.debug.itimerheartbeat/mvm R build.linux32x86/pharo.cog.lowcode/build.debug/mvm R build.linux32x86/pharo.cog.lowcode/build.itimerheartbeat/mvm R build.linux32x86/pharo.cog.lowcode/build/mvm R build.linux32x86/pharo.cog.lowcode/makeallclean R build.linux32x86/pharo.cog.lowcode/makealldirty R build.linux32x86/pharo.cog.lowcode/plugins.ext R build.linux32x86/pharo.cog.lowcode/plugins.int A build.linux32x86/pharo.cog.spur.lowcode/build.assert.itimerheartbeat/mvm A build.linux32x86/pharo.cog.spur.lowcode/build.assert/mvm A build.linux32x86/pharo.cog.spur.lowcode/build.debug.itimerheartbeat/mvm A build.linux32x86/pharo.cog.spur.lowcode/build.debug/mvm A build.linux32x86/pharo.cog.spur.lowcode/build.itimerheartbeat/mvm A build.linux32x86/pharo.cog.spur.lowcode/build/mvm A build.linux32x86/pharo.cog.spur.lowcode/makeallclean A build.linux32x86/pharo.cog.spur.lowcode/makealldirty A build.linux32x86/pharo.cog.spur.lowcode/plugins.ext A build.linux32x86/pharo.cog.spur.lowcode/plugins.int R build.linux32x86/pharo.stack.lowcode/build.assert.itimerheartbeat/mvm R build.linux32x86/pharo.stack.lowcode/build.assert/mvm R build.linux32x86/pharo.stack.lowcode/build.debug.itimerheartbeat/mvm R build.linux32x86/pharo.stack.lowcode/build.debug/mvm R build.linux32x86/pharo.stack.lowcode/build.itimerheartbeat/mvm R build.linux32x86/pharo.stack.lowcode/build/mvm R build.linux32x86/pharo.stack.lowcode/makeallclean R build.linux32x86/pharo.stack.lowcode/makealldirty R build.linux32x86/pharo.stack.lowcode/plugins.ext R build.linux32x86/pharo.stack.lowcode/plugins.int A build.linux32x86/pharo.stack.spur.lowcode/build.assert.itimerheartbeat/mvm A build.linux32x86/pharo.stack.spur.lowcode/build.assert/mvm A build.linux32x86/pharo.stack.spur.lowcode/build.debug.itimerheartbeat/mvm A build.linux32x86/pharo.stack.spur.lowcode/build.debug/mvm A build.linux32x86/pharo.stack.spur.lowcode/build.itimerheartbeat/mvm A build.linux32x86/pharo.stack.spur.lowcode/build/mvm A build.linux32x86/pharo.stack.spur.lowcode/makeallclean A build.linux32x86/pharo.stack.spur.lowcode/makealldirty A build.linux32x86/pharo.stack.spur.lowcode/plugins.ext A build.linux32x86/pharo.stack.spur.lowcode/plugins.int R build.macos32x86/pharo.cog.lowcode/Makefile R build.macos32x86/pharo.cog.lowcode/mvm R build.macos32x86/pharo.cog.lowcode/plugins.ext R build.macos32x86/pharo.cog.lowcode/plugins.int A build.macos32x86/pharo.cog.spur.lowcode/Makefile A build.macos32x86/pharo.cog.spur.lowcode/mvm A build.macos32x86/pharo.cog.spur.lowcode/plugins.ext A build.macos32x86/pharo.cog.spur.lowcode/plugins.int R build.macos32x86/pharo.stack.lowcode/Makefile R build.macos32x86/pharo.stack.lowcode/mvm R build.macos32x86/pharo.stack.lowcode/plugins.ext R build.macos32x86/pharo.stack.lowcode/plugins.int A build.macos32x86/pharo.stack.spur.lowcode/Makefile A build.macos32x86/pharo.stack.spur.lowcode/mvm A build.macos32x86/pharo.stack.spur.lowcode/plugins.ext A build.macos32x86/pharo.stack.spur.lowcode/plugins.int R build.win32x86/pharo.cog.lowcode/Makefile R build.win32x86/pharo.cog.lowcode/Pharo.def.in R build.win32x86/pharo.cog.lowcode/Pharo.exe.manifest R build.win32x86/pharo.cog.lowcode/Pharo.ico R build.win32x86/pharo.cog.lowcode/Pharo.rc R build.win32x86/pharo.cog.lowcode/mvm R build.win32x86/pharo.cog.lowcode/plugins.ext R build.win32x86/pharo.cog.lowcode/plugins.int A build.win32x86/pharo.cog.spur.lowcode/Makefile A build.win32x86/pharo.cog.spur.lowcode/Pharo.def.in A build.win32x86/pharo.cog.spur.lowcode/Pharo.exe.manifest A build.win32x86/pharo.cog.spur.lowcode/Pharo.ico A build.win32x86/pharo.cog.spur.lowcode/Pharo.rc A build.win32x86/pharo.cog.spur.lowcode/mvm A build.win32x86/pharo.cog.spur.lowcode/plugins.ext A build.win32x86/pharo.cog.spur.lowcode/plugins.int R build.win32x86/squeak.cog.lowcode/Croquet.def.in R build.win32x86/squeak.cog.lowcode/Croquet.exe.manifest R build.win32x86/squeak.cog.lowcode/Croquet.ico R build.win32x86/squeak.cog.lowcode/Croquet.rc R build.win32x86/squeak.cog.lowcode/GreenCogSqueak.ico R build.win32x86/squeak.cog.lowcode/Makefile R build.win32x86/squeak.cog.lowcode/Squeak.def.in R build.win32x86/squeak.cog.lowcode/Squeak.exe.manifest R build.win32x86/squeak.cog.lowcode/Squeak.rc R build.win32x86/squeak.cog.lowcode/mvm R build.win32x86/squeak.cog.lowcode/plugins.ext R build.win32x86/squeak.cog.lowcode/plugins.int R build.win32x86/squeak.cog.lowcode/squeak.ico A build.win32x86/squeak.cog.spur.lowcode/Croquet.def.in A build.win32x86/squeak.cog.spur.lowcode/Croquet.exe.manifest A build.win32x86/squeak.cog.spur.lowcode/Croquet.ico A build.win32x86/squeak.cog.spur.lowcode/Croquet.rc A build.win32x86/squeak.cog.spur.lowcode/GreenCogSqueak.ico A build.win32x86/squeak.cog.spur.lowcode/Makefile A build.win32x86/squeak.cog.spur.lowcode/Squeak.def.in A build.win32x86/squeak.cog.spur.lowcode/Squeak.exe.manifest A build.win32x86/squeak.cog.spur.lowcode/Squeak.rc A build.win32x86/squeak.cog.spur.lowcode/mvm A build.win32x86/squeak.cog.spur.lowcode/plugins.ext A build.win32x86/squeak.cog.spur.lowcode/plugins.int A build.win32x86/squeak.cog.spur.lowcode/squeak.ico Log Message: ----------- Renaming Lowcode build directories to conform to the correct naming convention. Commit: f34ac1af05edf7b198d7384d3dc42e9ee2b753fd https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/f34ac1af05edf7b198… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-16 (Mon, 16 Jan 2017) Changed paths: M platforms/Cross/vm/sqLowcodeFFI-x86_64.h M specs/lowcode.xml Log Message: ----------- Changes required for 64 bits version of Lowcode. Commit: 48b1613f26433266b3709415c8ae4a5dd19daae0 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/48b1613f26433266b3… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-01-17 (Tue, 17 Jan 2017) Changed paths: M specs/lowcode.xml Log Message: ----------- I implemented the Lowcode instructions for passing parameters in registers. Commit: 6a99905343f4cde1223ba68f7401bce6f0c98308 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/6a99905343f4cde122… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-02-10 (Fri, 10 Feb 2017) Changed paths: A build.macos64x64/pharo.cog.spur.lowcode/Makefile A build.macos64x64/pharo.cog.spur.lowcode/mvm A build.macos64x64/pharo.cog.spur.lowcode/plugins.ext A build.macos64x64/pharo.cog.spur.lowcode/plugins.int A spurlowcode64src/examplePlugins.ext A spurlowcode64src/examplePlugins.int A spurlowcode64src/vm/cogit.c A spurlowcode64src/vm/cogit.h A spurlowcode64src/vm/cogitX64.c A spurlowcode64src/vm/cogmethod.h A spurlowcode64src/vm/cointerp.c A spurlowcode64src/vm/cointerp.h A spurlowcode64src/vm/exampleSqNamedPrims.h A spurlowcode64src/vm/gcc3x-cointerp.c A spurlowcode64src/vm/interp.h A spurlowcode64src/vm/vmCallback.h M spurlowcodesrc/vm/cogit.h M spurlowcodesrc/vm/cogitARMv5.c M spurlowcodesrc/vm/cogitIA32.c M spurlowcodesrc/vm/cogitMIPSEL.c M spurlowcodesrc/vm/cogmethod.h M spurlowcodesrc/vm/cointerp.c M spurlowcodesrc/vm/cointerp.h M spurlowcodesrc/vm/gcc3x-cointerp.c M spurlowcodesrc/vm/interp.h M spurlowcodesrc/vm/vmCallback.h A spurlowcodestack64src/examplePlugins.ext A spurlowcodestack64src/examplePlugins.int A spurlowcodestack64src/vm/exampleSqNamedPrims.h A spurlowcodestack64src/vm/gcc3x-interp.c A spurlowcodestack64src/vm/interp.c A spurlowcodestack64src/vm/interp.h A spurlowcodestack64src/vm/vmCallback.h M spurlowcodestacksrc/vm/gcc3x-interp.c M spurlowcodestacksrc/vm/interp.c M spurlowcodestacksrc/vm/interp.h M spurlowcodestacksrc/vm/vmCallback.h Log Message: ----------- Generating 64 bits version of the Lowcode VM. Commit: afddc39535499462a367f266c5084353ec76d013 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/afddc39535499462a3… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-02-10 (Fri, 10 Feb 2017) Changed paths: M .travis.yml M .travis_build.sh M .travis_install.sh M build.linux32ARMv6/pharo.cog.spur/build/mvm M build.linux32ARMv6/pharo.cog.spur/plugins.ext M build.linux32ARMv6/pharo.cog.spur/prepare-rpi.sh A build.linux32ARMv6/third-party/Makefile.lib.extra A build.linux32ARMv6/third-party/Makefile.libgit2 A build.linux32ARMv6/third-party/Makefile.libsdl2 A build.linux32ARMv6/third-party/Makefile.libssh2 R build.linux32ARMv6/third-party/common/Makefile.lib.extra R build.linux32ARMv6/third-party/libgit2/Makefile R build.linux32ARMv6/third-party/libgit2/Makefile.lib R build.linux32ARMv6/third-party/libgit2/mvm R build.linux32ARMv6/third-party/libsdl2/Makefile R build.linux32ARMv6/third-party/libsdl2/Makefile.lib R build.linux32ARMv6/third-party/libsdl2/mvm R build.linux32ARMv6/third-party/libssh2/Makefile R build.linux32ARMv6/third-party/libssh2/Makefile.lib R build.linux32ARMv6/third-party/libssh2/mvm A build.linux32ARMv6/third-party/mvm M build.linux32x86/HowToBuild M build.linux32x86/pharo.cog.spur/build.itimerheartbeat/mvm M build.linux32x86/pharo.cog.spur/build/mvm M build.linux32x86/pharo.cog.spur/plugins.ext A build.linux32x86/third-party/Makefile.lib.extra A build.linux32x86/third-party/Makefile.libgit2 A build.linux32x86/third-party/Makefile.libsdl2 A build.linux32x86/third-party/Makefile.libssh2 A build.linux32x86/third-party/Makefile.pkgconfig R build.linux32x86/third-party/common/Makefile.lib.extra R build.linux32x86/third-party/libgit2/Makefile R build.linux32x86/third-party/libgit2/Makefile.lib R build.linux32x86/third-party/libgit2/mvm R build.linux32x86/third-party/libsdl2/Makefile R build.linux32x86/third-party/libsdl2/Makefile.lib R build.linux32x86/third-party/libsdl2/mvm R build.linux32x86/third-party/libssh2/Makefile R build.linux32x86/third-party/libssh2/Makefile.lib R build.linux32x86/third-party/libssh2/mvm A build.linux32x86/third-party/mvm R build.linux32x86/third-party/pkgconfig/Makefile R build.linux32x86/third-party/pkgconfig/Makefile.lib M build.linux64x64/HowToBuild M build.linux64x64/pharo.cog.spur/build.itimerheartbeat/mvm M build.linux64x64/pharo.cog.spur/build/mvm M build.linux64x64/pharo.cog.spur/plugins.ext A build.linux64x64/third-party/Makefile.lib.extra A build.linux64x64/third-party/Makefile.libgit2 A build.linux64x64/third-party/Makefile.libsdl2 A build.linux64x64/third-party/Makefile.libssh2 R build.linux64x64/third-party/common/Makefile.lib.extra R build.linux64x64/third-party/libgit2/Makefile R build.linux64x64/third-party/libgit2/Makefile.lib R build.linux64x64/third-party/libgit2/mvm R build.linux64x64/third-party/libsdl2/Makefile R build.linux64x64/third-party/libsdl2/Makefile.lib R build.linux64x64/third-party/libsdl2/mvm R build.linux64x64/third-party/libssh2/Makefile R build.linux64x64/third-party/libssh2/Makefile.lib R build.linux64x64/third-party/libssh2/mvm A build.linux64x64/third-party/mvm M build.macos32x86/pharo.cog.spur/Makefile A build.macos32x86/third-party/Makefile.cairo A build.macos32x86/third-party/Makefile.freetype2 A build.macos32x86/third-party/Makefile.libgit2 A build.macos32x86/third-party/Makefile.libpng A build.macos32x86/third-party/Makefile.libsdl2 A build.macos32x86/third-party/Makefile.libssh2 A build.macos32x86/third-party/Makefile.openssl A build.macos32x86/third-party/Makefile.pixman A build.macos32x86/third-party/Makefile.pkgconfig R build.macos32x86/third-party/cairo/Makefile R build.macos32x86/third-party/cairo/Makefile.lib R build.macos32x86/third-party/freetype2/Makefile R build.macos32x86/third-party/freetype2/Makefile.lib R build.macos32x86/third-party/libgit2/Makefile R build.macos32x86/third-party/libgit2/Makefile.lib R build.macos32x86/third-party/libpng/Makefile R build.macos32x86/third-party/libpng/Makefile.lib R build.macos32x86/third-party/libsdl2/Makefile R build.macos32x86/third-party/libsdl2/Makefile.lib R build.macos32x86/third-party/libssh2/Makefile R build.macos32x86/third-party/libssh2/Makefile.lib R build.macos32x86/third-party/openssl/Makefile R build.macos32x86/third-party/openssl/Makefile.lib R build.macos32x86/third-party/pixman/Makefile R build.macos32x86/third-party/pixman/Makefile.lib R build.macos32x86/third-party/pkgconfig/Makefile R build.macos32x86/third-party/pkgconfig/Makefile.lib M build.macos64x64/pharo.cog.spur/Makefile A build.macos64x64/third-party/Makefile.cairo A build.macos64x64/third-party/Makefile.freetype2 A build.macos64x64/third-party/Makefile.libgit2 A build.macos64x64/third-party/Makefile.libpng A build.macos64x64/third-party/Makefile.libsdl2 A build.macos64x64/third-party/Makefile.libssh2 A build.macos64x64/third-party/Makefile.openssl A build.macos64x64/third-party/Makefile.pixman A build.macos64x64/third-party/Makefile.pkgconfig R build.macos64x64/third-party/cairo/Makefile R build.macos64x64/third-party/cairo/Makefile.lib R build.macos64x64/third-party/freetype2/Makefile R build.macos64x64/third-party/freetype2/Makefile.lib R build.macos64x64/third-party/libgit2/Makefile R build.macos64x64/third-party/libgit2/Makefile.lib R build.macos64x64/third-party/libpng/Makefile R build.macos64x64/third-party/libpng/Makefile.lib R build.macos64x64/third-party/libsdl2/Makefile R build.macos64x64/third-party/libsdl2/Makefile.lib R build.macos64x64/third-party/libssh2/Makefile R build.macos64x64/third-party/libssh2/Makefile.lib R build.macos64x64/third-party/openssl/Makefile R build.macos64x64/third-party/openssl/Makefile.lib R build.macos64x64/third-party/pixman/Makefile R build.macos64x64/third-party/pixman/Makefile.lib R build.macos64x64/third-party/pkgconfig/Makefile R build.macos64x64/third-party/pkgconfig/Makefile.lib M build.win32x86/pharo.cog.spur/Makefile M build.win32x86/pharo.cog.spur/Pharo.exe.manifest M build.win32x86/pharo.cog.spur/Pharo.rc A build.win32x86/third-party/Makefile.cairo A build.win32x86/third-party/Makefile.freetype2 A build.win32x86/third-party/Makefile.libgcc A build.win32x86/third-party/Makefile.libgit2 A build.win32x86/third-party/Makefile.libpng A build.win32x86/third-party/Makefile.libsdl2 A build.win32x86/third-party/Makefile.libssh2 A build.win32x86/third-party/Makefile.openssl A build.win32x86/third-party/Makefile.pixman A build.win32x86/third-party/Makefile.pkgconfig A build.win32x86/third-party/Makefile.zlib R build.win32x86/third-party/cairo/Makefile R build.win32x86/third-party/cairo/Makefile.lib R build.win32x86/third-party/freetype2/Makefile R build.win32x86/third-party/freetype2/Makefile.lib R build.win32x86/third-party/libgit2/Makefile R build.win32x86/third-party/libgit2/Makefile.lib R build.win32x86/third-party/libpng/Makefile R build.win32x86/third-party/libpng/Makefile.lib R build.win32x86/third-party/libsdl2/Makefile R build.win32x86/third-party/libsdl2/Makefile.lib R build.win32x86/third-party/libssh2/Makefile R build.win32x86/third-party/libssh2/Makefile.lib R build.win32x86/third-party/openssl/Makefile R build.win32x86/third-party/openssl/Makefile.lib R build.win32x86/third-party/pixman/Makefile R build.win32x86/third-party/pixman/Makefile.lib R build.win32x86/third-party/pkgconfig/Makefile R build.win32x86/third-party/pkgconfig/Makefile.lib R build.win32x86/third-party/zlib/Makefile R build.win32x86/third-party/zlib/Makefile.lib M image/ensureSqueakV50sources.sh M image/getsqueak50.sh M image/updatespurimage.sh M nsspur64src/vm/cogit.h M nsspur64src/vm/cointerp.c M nsspur64src/vm/cointerp.h M nsspur64src/vm/gcc3x-cointerp.c M nsspursrc/vm/cogit.h M nsspursrc/vm/cointerp.c M nsspursrc/vm/cointerp.h M nsspursrc/vm/gcc3x-cointerp.c M nsspurstack64src/vm/gcc3x-interp.c M nsspurstack64src/vm/interp.c M nsspurstacksrc/vm/gcc3x-interp.c M nsspurstacksrc/vm/interp.c M platforms/iOS/plugins/FT2Plugin/Makefile M platforms/iOS/plugins/SDL2DisplayPlugin/Makefile M platforms/iOS/vm/Common/Classes/sqSqueakFileDirectoryInterface.m M platforms/iOS/vm/OSX/sqSqueakOSXFileDirectoryInterface.m M platforms/unix/config/Makefile M platforms/unix/config/Makefile.in M platforms/unix/config/acinclude.m4 M platforms/unix/config/configure.ac M platforms/unix/plugins/MIDIPlugin/acinclude.m4 M platforms/unix/plugins/MIDIPlugin/sqUnixMIDI.c M platforms/unix/plugins/PseudoTTYPlugin/acinclude.m4 M platforms/unix/plugins/UnixOSProcessPlugin/acinclude.m4 M platforms/unix/vm-display-Quartz/acinclude.m4 M platforms/unix/vm-display-Quartz/zzz/sqUnixQuartz.m M platforms/unix/vm-display-X11/Makefile.in M platforms/unix/vm-display-X11/acinclude.m4 M platforms/unix/vm-display-X11/sqUnixX11.c M platforms/unix/vm-display-null/sqUnixDisplayNull.c M platforms/unix/vm-sound-Sun/acinclude.m4 M platforms/unix/vm/acinclude.m4 M platforms/win32/vm/sqWin32Directory.c M spur64src/vm/cogit.h M spur64src/vm/cointerp.c M spur64src/vm/cointerp.h M spur64src/vm/gcc3x-cointerp.c M spursista64src/vm/cogit.h M spursista64src/vm/cointerp.c M spursista64src/vm/cointerp.h M spursista64src/vm/gcc3x-cointerp.c M spursistasrc/vm/cogit.h M spursistasrc/vm/cointerp.c M spursistasrc/vm/cointerp.h M spursistasrc/vm/gcc3x-cointerp.c M spursrc/vm/cogit.h M spursrc/vm/cointerp.c M spursrc/vm/cointerp.h M spursrc/vm/gcc3x-cointerp.c M spurstack64src/vm/gcc3x-interp.c M spurstack64src/vm/interp.c M spurstacksrc/vm/gcc3x-interp.c M spurstacksrc/vm/interp.c M src/plugins/SqueakFFIPrims/ARM32FFIPlugin.c M src/plugins/SqueakFFIPrims/IA32FFIPlugin.c M src/plugins/SqueakFFIPrims/SqueakFFIPrims.c M src/plugins/SqueakFFIPrims/X64SysVFFIPlugin.c M src/plugins/SqueakFFIPrims/X64Win64FFIPlugin.c M third-party/cairo.spec M third-party/freetype2.spec M third-party/libgit2.spec M third-party/libpng.spec M third-party/libsdl2.spec M third-party/libssh2.spec M third-party/openssl.spec M third-party/pixman.spec Log Message: ----------- Merge branch 'Cog' of https://github.com/OpenSmalltalk/opensmalltalk-vm into LowcodeFixup Commit: eb5b54ca269fc0bef0d7a36740a060914e98c210 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/eb5b54ca269fc0bef0… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-02-10 (Fri, 10 Feb 2017) Changed paths: M build.macos32x86/pharo.cog.spur.lowcode/Makefile M build.macos32x86/pharo.stack.spur.lowcode/Makefile M build.macos32x86/pharo.stack.spur/Makefile M build.macos64x64/pharo.cog.spur.lowcode/Makefile A build.macos64x64/pharo.stack.spur.lowcode/Makefile A build.macos64x64/pharo.stack.spur.lowcode/mvm A build.macos64x64/pharo.stack.spur.lowcode/plugins.ext A build.macos64x64/pharo.stack.spur.lowcode/plugins.int A build.macos64x64/pharo.stack.spur/Makefile A build.macos64x64/pharo.stack.spur/mvm A build.macos64x64/pharo.stack.spur/plugins.ext A build.macos64x64/pharo.stack.spur/plugins.int Log Message: ----------- Updated and added building scripts for Lowcode and the Stack interpreter variants for Pharo. Commit: d884b6201469fa5228427e82a781191943039c5c https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/d884b6201469fa5228… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-02-10 (Fri, 10 Feb 2017) Changed paths: M build.macos64x64/pharo.stack.spur.lowcode/mvm M build.macos64x64/pharo.stack.spur/mvm Log Message: ----------- Missing execution permission on some mvm scripts. Commit: 67f55175413bd8588c3f0059181021f21c9de670 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/67f55175413bd8588c… Author: Ronie Salgado <roniesalg(a)gmail.com> Date: 2017-02-10 (Fri, 10 Feb 2017) Changed paths: M .travis.yml M platforms/iOS/vm/Common/Classes/sqSqueakMainApplication+attributes.m Log Message: ----------- Adding the Lowcode and the StackInterpreter PharoVM variants to the CI. Commit: 15932be3eff6b303f07ec1b558220a42306191b4 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/15932be3eff6b303f0… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2017-02-10 (Fri, 10 Feb 2017) Changed paths: M .travis.yml A build.linux32x86/pharo.cog.spur.lowcode/build.assert.itimerheartbeat/mvm A build.linux32x86/pharo.cog.spur.lowcode/build.assert/mvm A build.linux32x86/pharo.cog.spur.lowcode/build.debug.itimerheartbeat/mvm A build.linux32x86/pharo.cog.spur.lowcode/build.debug/mvm A build.linux32x86/pharo.cog.spur.lowcode/build.itimerheartbeat/mvm A build.linux32x86/pharo.cog.spur.lowcode/build/mvm A build.linux32x86/pharo.cog.spur.lowcode/makeallclean A build.linux32x86/pharo.cog.spur.lowcode/makealldirty A build.linux32x86/pharo.cog.spur.lowcode/plugins.ext A build.linux32x86/pharo.cog.spur.lowcode/plugins.int A build.linux32x86/pharo.stack.spur.lowcode/build.assert.itimerheartbeat/mvm A build.linux32x86/pharo.stack.spur.lowcode/build.assert/mvm A build.linux32x86/pharo.stack.spur.lowcode/build.debug.itimerheartbeat/mvm A build.linux32x86/pharo.stack.spur.lowcode/build.debug/mvm A build.linux32x86/pharo.stack.spur.lowcode/build.itimerheartbeat/mvm A build.linux32x86/pharo.stack.spur.lowcode/build/mvm A build.linux32x86/pharo.stack.spur.lowcode/makeallclean A build.linux32x86/pharo.stack.spur.lowcode/makealldirty A build.linux32x86/pharo.stack.spur.lowcode/plugins.ext A build.linux32x86/pharo.stack.spur.lowcode/plugins.int A build.macos32x86/pharo.cog.spur.lowcode/Makefile A build.macos32x86/pharo.cog.spur.lowcode/mvm A build.macos32x86/pharo.cog.spur.lowcode/plugins.ext A build.macos32x86/pharo.cog.spur.lowcode/plugins.int A build.macos32x86/pharo.stack.spur.lowcode/Makefile A build.macos32x86/pharo.stack.spur.lowcode/mvm A build.macos32x86/pharo.stack.spur.lowcode/plugins.ext A build.macos32x86/pharo.stack.spur.lowcode/plugins.int M build.macos32x86/pharo.stack.spur/Makefile A build.macos64x64/pharo.cog.spur.lowcode/Makefile A build.macos64x64/pharo.cog.spur.lowcode/mvm A build.macos64x64/pharo.cog.spur.lowcode/plugins.ext A build.macos64x64/pharo.cog.spur.lowcode/plugins.int A build.macos64x64/pharo.stack.spur.lowcode/Makefile A build.macos64x64/pharo.stack.spur.lowcode/mvm A build.macos64x64/pharo.stack.spur.lowcode/plugins.ext A build.macos64x64/pharo.stack.spur.lowcode/plugins.int A build.macos64x64/pharo.stack.spur/Makefile A build.macos64x64/pharo.stack.spur/mvm A build.macos64x64/pharo.stack.spur/plugins.ext A build.macos64x64/pharo.stack.spur/plugins.int A build.win32x86/pharo.cog.spur.lowcode/Makefile A build.win32x86/pharo.cog.spur.lowcode/Pharo.def.in A build.win32x86/pharo.cog.spur.lowcode/Pharo.exe.manifest A build.win32x86/pharo.cog.spur.lowcode/Pharo.ico A build.win32x86/pharo.cog.spur.lowcode/Pharo.rc A build.win32x86/pharo.cog.spur.lowcode/mvm A build.win32x86/pharo.cog.spur.lowcode/plugins.ext A build.win32x86/pharo.cog.spur.lowcode/plugins.int A build.win32x86/squeak.cog.spur.lowcode/Croquet.def.in A build.win32x86/squeak.cog.spur.lowcode/Croquet.exe.manifest A build.win32x86/squeak.cog.spur.lowcode/Croquet.ico A build.win32x86/squeak.cog.spur.lowcode/Croquet.rc A build.win32x86/squeak.cog.spur.lowcode/GreenCogSqueak.ico A build.win32x86/squeak.cog.spur.lowcode/Makefile A build.win32x86/squeak.cog.spur.lowcode/Squeak.def.in A build.win32x86/squeak.cog.spur.lowcode/Squeak.exe.manifest A build.win32x86/squeak.cog.spur.lowcode/Squeak.rc A build.win32x86/squeak.cog.spur.lowcode/mvm A build.win32x86/squeak.cog.spur.lowcode/plugins.ext A build.win32x86/squeak.cog.spur.lowcode/plugins.int A build.win32x86/squeak.cog.spur.lowcode/squeak.ico M platforms/Cross/vm/sqLowcodeFFI-i386.h M platforms/Cross/vm/sqLowcodeFFI-x86_64.h M platforms/Cross/vm/sqMemoryAccess.h M platforms/iOS/vm/Common/Classes/sqSqueakMainApplication+attributes.m M platforms/unix/vm/sqConfig.h M specs/lowcode.xml A spurlowcode64src/examplePlugins.ext A spurlowcode64src/examplePlugins.int A spurlowcode64src/vm/cogit.c A spurlowcode64src/vm/cogit.h A spurlowcode64src/vm/cogitX64.c A spurlowcode64src/vm/cogmethod.h A spurlowcode64src/vm/cointerp.c A spurlowcode64src/vm/cointerp.h A spurlowcode64src/vm/exampleSqNamedPrims.h A spurlowcode64src/vm/gcc3x-cointerp.c A spurlowcode64src/vm/interp.h A spurlowcode64src/vm/vmCallback.h A spurlowcodesrc/examplePlugins.ext A spurlowcodesrc/examplePlugins.int A spurlowcodesrc/vm/cogit.c A spurlowcodesrc/vm/cogit.h A spurlowcodesrc/vm/cogitARMv5.c A spurlowcodesrc/vm/cogitIA32.c A spurlowcodesrc/vm/cogitMIPSEL.c A spurlowcodesrc/vm/cogmethod.h A spurlowcodesrc/vm/cointerp.c A spurlowcodesrc/vm/cointerp.h A spurlowcodesrc/vm/exampleSqNamedPrims.h A spurlowcodesrc/vm/gcc3x-cointerp.c A spurlowcodesrc/vm/interp.h A spurlowcodesrc/vm/vmCallback.h A spurlowcodestack64src/examplePlugins.ext A spurlowcodestack64src/examplePlugins.int A spurlowcodestack64src/vm/exampleSqNamedPrims.h A spurlowcodestack64src/vm/gcc3x-interp.c A spurlowcodestack64src/vm/interp.c A spurlowcodestack64src/vm/interp.h A spurlowcodestack64src/vm/vmCallback.h A spurlowcodestacksrc/examplePlugins.ext A spurlowcodestacksrc/examplePlugins.int A spurlowcodestacksrc/vm/exampleSqNamedPrims.h A spurlowcodestacksrc/vm/gcc3x-interp.c A spurlowcodestacksrc/vm/interp.c A spurlowcodestacksrc/vm/interp.h A spurlowcodestacksrc/vm/vmCallback.h Log Message: ----------- Merge pull request #111 from ronsaldo/LowcodeFixup Lowcode fixup Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/4aea3547e6cf...15…

1 0

A problem with SocketPlugin on windows
by Esteban Lorenzano 10 Feb '17

10 Feb '17

Hello, I’m having a problem with SocketPlugin on windows (latest vm version): running the tests, image eventually hangs (and not just the image: also de debugger and also the terminal where I’m running the debugger, so is hard to see what happens…) I compiled VM in assert mode and now I can see I have lots of this before it crashes: ### Socket [00F6CEF8] Handle: 2ac Type: 0 State: 2 [writable] Error: 0 readSema: 7 writeSema: 8 connSema: 6 Pending accepts: 0 Read Watcher Op: 1 Write Watcher Op: 1 Close pending: 0 In read select: 1 In write select: 0 #### WARNING: Watcher threads are running wild on socket (sqSocketConnectionStatus) * Watching for non-connect while connecting Any idea what can be failing? thanks, Esteban

1 0

VM Maker: VMMaker.oscog-rsf.2127.mcz
by commits＠source.squeak.org 10 Feb '17

10 Feb '17

Ronie Salgado Faila uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-rsf.2127.mcz ==================== Summary ==================== Name: VMMaker.oscog-rsf.2127 Author: rsf Time: 9 February 2017, 11:44:14.589619 pm UUID: 1a6d3cce-b752-4e79-905f-e1b6c155d910 Ancestors: VMMaker.oscog-eem.2126 Do not destroy registers that are used in the standard C calling convention when going through the Lowcode callout trampoline. Fix some minor compilation problems. =============== Diff against VMMaker.oscog-eem.2126 =============== Item was added: + ----- Method: CogIA32Compiler>>registerToSaveIP (in category 'abi') ----- + registerToSaveIP + "Temporary register used for fetching the instruction pointer. This should + not be used for passing parameters in a standard ABI" + <option: #LowcodeVM> + ^ ClassReg! Item was added: + ----- Method: CogMethod>>counters (in category 'accessing') ----- + counters + ^ 0! Item was added: + ----- Method: CogX64Compiler>>registerToSaveIP (in category 'abi') ----- + registerToSaveIP + "Temporary register used for fetching the instruction pointer. This should + not be used for passing parameters in a standard ABI" + <option: #LowcodeVM> + ^ R15! Item was changed: ----- Method: Cogit>>checkIfValidOopRefAndTarget:pc:cogMethod: (in category 'garbage collection') ----- checkIfValidOopRefAndTarget: annotation pc: mcpc cogMethod: cogMethod "Check for a valid object reference, if any, at a map entry. Answer a code unique to each error for debugging." <var: #mcpc type: #'char *'> <var: #nsSendCache type: #'NSSendCache *'> | literal entryPoint | annotation = IsObjectReference ifTrue: [literal := literalsManager fetchLiteralAtAnnotatedAddress: mcpc asUnsignedInteger using: backEnd. (self asserta: (objectRepresentation checkValidOopReference: literal)) ifFalse: [^1]. ((objectRepresentation couldBeObject: literal) and: [objectMemory isReallyYoungObject: literal]) ifTrue: [(self asserta: (self cCoerceSimple: cogMethod to: #'CogMethod *') cmRefersToYoung) ifFalse: [^2]]]. NewspeakVM ifTrue: [annotation = IsNSSendCall ifTrue: [| nsSendCache classTag enclosingObject nsTargetMethod | nsSendCache := self nsSendCacheFromReturnAddress: mcpc asInteger. (self asserta: (objectRepresentation checkValidOopReference: nsSendCache selector)) ifFalse: [^9]. classTag := nsSendCache classTag. (self asserta: (classTag = 0 or: [objectRepresentation validInlineCacheTag: classTag])) ifFalse: [^10]. enclosingObject := nsSendCache enclosingObject. (self asserta: (enclosingObject = 0 or: [objectRepresentation checkValidOopReference: enclosingObject])) ifFalse: [^11]. entryPoint := nsSendCache target. entryPoint ~= 0 ifTrue: [ nsTargetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. (self asserta: (nsTargetMethod cmType = CMMethod)) ifFalse: [^12]]]]. (self isPureSendAnnotation: annotation) ifTrue: [(self asserta: (self cCoerceSimple: cogMethod to: #'CogMethod *') cmType = CMMethod) ifFalse: [^3]. self entryCacheTagAndCouldBeObjectAt: mcpc annotation: annotation into: [:entryPt :cacheTag :tagCouldBeObject| entryPoint := entryPt. tagCouldBeObject ifTrue: [(objectRepresentation couldBeObject: cacheTag) ifTrue: [(self asserta: (objectRepresentation checkValidOopReference: cacheTag)) ifFalse: [^4]] ifFalse: [(self asserta: (objectRepresentation validInlineCacheTag: cacheTag)) ifFalse: [^5]]. ((objectRepresentation couldBeObject: cacheTag) and: [objectMemory isReallyYoungObject: cacheTag]) ifTrue: [(self asserta: (self cCoerceSimple: cogMethod to: #'CogMethod *') cmRefersToYoung) ifFalse: [^6]]] ifFalse: [(self inlineCacheTagsAreIndexes + and: [self entryPointTagIsSelector: entryPoint]) - and: [self self entryPointTagIsSelector: entryPoint]) ifTrue: [cacheTag signedIntFromLong < 0 ifTrue: [cacheTag signedIntFromLong negated > NumSpecialSelectors ifTrue: [^7]] ifFalse: [cacheTag >= (objectMemory literalCountOf: enumeratingCogMethod methodObject) ifTrue: [^8]]] ifFalse: [(self asserta: (objectRepresentation validInlineCacheTag: cacheTag)) ifFalse: [^9]]]]. entryPoint > methodZoneBase ifTrue: ["It's a linked send; find which kind." self targetMethodAndSendTableFor: entryPoint annotation: annotation into: [:targetMethod :sendTable| (self asserta: (targetMethod cmType = CMMethod or: [targetMethod cmType = CMClosedPIC or: [targetMethod cmType = CMOpenPIC]])) ifFalse: [^10]]]]. ^0 "keep scanning"! Item was changed: ----- Method: Cogit>>genFFICalloutTrampoline (in category 'initialization') ----- genFFICalloutTrampoline <option: #LowcodeVM> | startAddress | opcodeIndex := 0. backEnd hasLinkRegister ifTrue: [ self MoveR: LinkReg Aw: coInterpreter instructionPointerAddress ] ifFalse: [ + self PopR: backEnd registerToSaveIP. + self MoveR: backEnd registerToSaveIP Aw: coInterpreter instructionPointerAddress - self PopR: ClassReg. - self MoveR: ClassReg Aw: coInterpreter instructionPointerAddress ]. self CallR: TempReg. backEnd hasLinkRegister ifTrue: [ self MoveAw: coInterpreter instructionPointerAddress R: LinkReg ] ifFalse: [ + self MoveAw: coInterpreter instructionPointerAddress R: backEnd registerToSaveIP. + self PushR: backEnd registerToSaveIP. - self MoveAw: coInterpreter instructionPointerAddress R: ClassReg. - self PushR: ClassReg. ]. self RetN: 0. startAddress := methodZoneBase. self outputInstructionsForGeneratedRuntimeAt: startAddress. self recordGeneratedRunTime: 'ceFFICalloutTrampoline' address: startAddress. self recordRunTimeObjectReferences. ^ startAddress !

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev February 2017