Vm-dev December 2019

vm-dev@lists.squeakfoundation.org

31 participants
265 discussions

VM Maker: CogPools-ISAs-eem.9.mcz
by commits＠source.squeak.org 29 Dec '19

29 Dec '19

Eliot Miranda uploaded a new version of CogPools-ISAs to project VM Maker: http://source.squeak.org/VMMaker/CogPools-ISAs-eem.9.mcz ==================== Summary ==================== Name: CogPools-ISAs-eem.9 Author: eem Time: 28 December 2019, 11:38:54.929494 pm UUID: f9295bd2-125a-4510-9203-6da96a4b3e2f Ancestors: CogPools-ISAs-eem.8 Beef up ARMv8A64Opcodes class>>instructionIsAnyB: =============== Diff against CogPools-ISAs-eem.8 =============== Item was changed: ----- Method: ARMv8A64Opcodes class>>instructionIsAnyB: (in category 'testing') ----- instructionIsAnyB: word "C4.1 A64 instruction set encoding on page C4-252 C4.1.3 Branches, Exception Generating and System instructions" | op0_101_op1MSB | op0_101_op1MSB := word bitShift: -25. ^op0_101_op1MSB = 2r0101010 "Conditional branch immediate" or: [op0_101_op1MSB = 2r1101011 "Unconditional branch (register)" + or: [op0_101_op1MSB = 2r1001011 "Unconditional Branch (immediate) BL" + or: [(op0_101_op1MSB bitAnd: 2r1111110) = 2r0001010]]] "Unconditional branch (immediate) & Compare/Test and branch (immediate)"! - or: [(op0_101_op1MSB bitAnd: 2r101010) = 2r0001010]] "Unconditional branch (immediate) & Compare/Test and branch (immediate)"!

1 0

VM Maker: VMMaker.oscog-eem.2646.mcz
by commits＠source.squeak.org 29 Dec '19

29 Dec '19

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2646.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2646 Author: eem Time: 28 December 2019, 11:37:08.84428 pm UUID: ac3b26a5-7d4e-4d23-a67c-adebf29af616 Ancestors: VMMaker.oscog-eem.2645 Gazillions of registers on ARMv8 => add Extra8Reg =============== Diff against VMMaker.oscog-eem.2645 =============== Item was changed: SharedPool subclass: #CogAbstractRegisters instanceVariableNames: '' + classVariableNames: 'Arg0Reg Arg1Reg CallerSavedRegisterMask ClassReg DPFPReg0 DPFPReg1 DPFPReg10 DPFPReg11 DPFPReg12 DPFPReg13 DPFPReg14 DPFPReg15 DPFPReg2 DPFPReg3 DPFPReg4 DPFPReg5 DPFPReg6 DPFPReg7 DPFPReg8 DPFPReg9 Extra0Reg Extra1Reg Extra2Reg Extra3Reg Extra4Reg Extra5Reg Extra6Reg Extra7Reg Extra8Reg FPReg LinkReg NoReg NumFloatRegisters NumRegisters PCReg RISCTempReg ReceiverResultReg SPReg SendNumArgsReg TempReg VarBaseReg' - classVariableNames: 'Arg0Reg Arg1Reg CallerSavedRegisterMask ClassReg DPFPReg0 DPFPReg1 DPFPReg10 DPFPReg11 DPFPReg12 DPFPReg13 DPFPReg14 DPFPReg15 DPFPReg2 DPFPReg3 DPFPReg4 DPFPReg5 DPFPReg6 DPFPReg7 DPFPReg8 DPFPReg9 Extra0Reg Extra1Reg Extra2Reg Extra3Reg Extra4Reg Extra5Reg Extra6Reg Extra7Reg FPReg LinkReg NoReg NumFloatRegisters NumRegisters PCReg RISCTempReg ReceiverResultReg SPReg SendNumArgsReg TempReg VarBaseReg' poolDictionaries: '' category: 'VMMaker-JIT'! !CogAbstractRegisters commentStamp: 'eem 12/26/2015 14:06' prior: 0! I am a pool for the abstract register set that the Cogit uses to define its model of Smalltalk compiled to machine code.! Item was changed: ----- Method: CogAbstractRegisters class>>initialize (in category 'class initialization') ----- initialize "Define a fixed set of abstract register names used in code generation for Smalltalk code. These are given concrete values by the currently in-use back end, which is a subclass of CogAbstractInstruction; see implementors of initializeAbstractRegisters. We assume concrete registers defined by the back ends are in the range 0 to N, possibly with integer registers and floating-point registers using overlapping ranges of indices. Here we initialize all registers to #undefined, leaving it to initializeAbstractRegisters to initialize the subset of the abstract registers that a platform actually uses." "NoReg encodes no register, e.g. for parameters that supply an optional register. Being negative it is distinct from abstract and concrete registers in the 0 to N range." NoReg := -1. "The core set of abstract registers that define the Cogit's model of Smalltalk code provide for a register-based calling convention oriented towards inline cacheing and executing a core set of machine code primitives in registers. The set is composed of 8 registers, dictated by the available registers on IA32." "Smalltalk machine code executes on stack pages in the stack zone, requiring frame and stack pointers." FPReg := #undefined. "A frame pointer is used for Smalltalk frames." SPReg := #undefined. ReceiverResultReg := #undefined. "The receiver at point of send, and return value of a send" ClassReg := #undefined. "The inline send cache class tag is in this register, loaded at the send site" SendNumArgsReg := #undefined. "Sends > 2 args set the arg count in this reg" Arg0Reg := #undefined. "In the StackToRegisterMappingCogit 1 & 2 arg sends marshall into these registers." Arg1Reg := #undefined. TempReg := #undefined. "A small fixed set of abstract scratch registers for register-rich machines (ARM can use 1, x64 can use 6 or 7)." Extra0Reg := #undefined. Extra1Reg := #undefined. Extra2Reg := #undefined. Extra3Reg := #undefined. Extra4Reg := #undefined. Extra5Reg := #undefined. Extra6Reg := #undefined. Extra7Reg := #undefined. + Extra8Reg := #undefined. "RISC-specific registers" + LinkReg := #undefined. - LinkReg := #undefined. RISCTempReg := #undefined. "Used to synthesize CISC instructions from multiple RISC instructions." PCReg := #undefined. "If the processor has an assignable pc, e.g. ARM" + VarBaseReg := #undefined. "If useful, points to base of interpreter variables." - VarBaseReg := #undefined. "If useful, points to base of interpreter variables." NumRegisters := #undefined. "Number of basic/integer regsiters (we don't do M68k ;-) )" "Up to 16 floating-point registers. e.g. IA32+SSE2 can use 8, x64 can use 16." DPFPReg0 := #undefined. DPFPReg1 := #undefined. DPFPReg2 := #undefined. DPFPReg3 := #undefined. DPFPReg4 := #undefined. DPFPReg5 := #undefined. DPFPReg6 := #undefined. DPFPReg7 := #undefined. DPFPReg8 := #undefined. DPFPReg9 := #undefined. DPFPReg10 := #undefined. DPFPReg11 := #undefined. DPFPReg12 := #undefined. DPFPReg13 := #undefined. DPFPReg14 := #undefined. DPFPReg15 := #undefined. NumFloatRegisters := #undefined. "Number of floating-point registers (we don;t do single-precision; we don't do xmm high (yet)."! Item was changed: ----- Method: CogAbstractRegisters class>>nameForRegister: (in category 'debug printing') ----- nameForRegister: reg "<Integer>" ^#(Arg0Reg Arg1Reg ClassReg FPReg ReceiverResultReg SPReg SendNumArgsReg TempReg LinkReg RISCTempReg VarBaseReg PCReg + Extra0Reg Extra1Reg Extra2Reg Extra3Reg Extra4Reg Extra5Reg Extra6Reg Extra7Reg Extra8Reg) - Extra0Reg Extra1Reg Extra2Reg Extra3Reg Extra4Reg Extra5Reg Extra6Reg Extra7Reg) detect: [:sym| (classPool at: sym) = reg] ifNone: ['REG', reg printString, '?']! Item was added: + ----- Method: CurrentImageCoInterpreterFacade>>lookup32BitWordConstant: (in category 'accessing') ----- + lookup32BitWordConstant: word + ^objectMemory lookup32BitWordConstant: word!

1 0

VM Maker: VMMakerUI-eem.11.mcz
by commits＠source.squeak.org 29 Dec '19

29 Dec '19

Eliot Miranda uploaded a new version of VMMakerUI to project VM Maker: http://source.squeak.org/VMMaker/VMMakerUI-eem.11.mcz ==================== Summary ==================== Name: VMMakerUI-eem.11 Author: eem Time: 28 December 2019, 8:13:36.901657 pm UUID: 8b04cf49-16f4-460b-85aa-4a479d113cea Ancestors: VMMakerUI-eem.10 When opening the sender frame use the current fp + word size as the sender's sp =============== Diff against VMMakerUI-eem.10 =============== Item was changed: ----- Method: CogAbstractFrameInspector>>interpretFramePointer:value:at: (in category 'evaluating') ----- interpretFramePointer: fieldName value: fieldValueString at: address + | inspector | + inspector := CogFrameInspector on: coInterpreter. + inspector framePointer: (coInterpreter stackPages longAt: address). + fieldName = 'saved fp' ifTrue: + [inspector stackPointer: self framePointer + objectMemory wordSize]. + inspector displayPinnable: fieldName, ' ', fieldValueString! - (CogFrameInspector on: coInterpreter) - framePointer: (coInterpreter stackPages longAt: address); - displayPinnable: fieldName, ' ', fieldValueString!

1 0

VM Maker: VMMaker.oscog-eem.2645.mcz
by commits＠source.squeak.org 29 Dec '19

29 Dec '19

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2645.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2645 Author: eem Time: 28 December 2019, 8:11:54.164952 pm UUID: 105caa36-0060-44f6-b8a2-200d7eb9d78e Ancestors: VMMaker.oscog-eem.2644 Cogit: Fix bug in genAlignCStackSavingRegisters:numArgs:wordAlignment:. Must ignore register arguments. No need to flush the cache on rewriting prim invocaton if out-of-line literals are used. Simulation: Allow the break block to be easily cancelled. =============== Diff against VMMaker.oscog-eem.2644 =============== Item was changed: ----- Method: CogAbstractInstruction>>genAlignCStackSavingRegisters:numArgs:wordAlignment: (in category 'abi') ----- genAlignCStackSavingRegisters: regMask numArgs: numArgs wordAlignment: alignment <inline: true> | regMaskCopy numRegsPushed wordsPushedModAlignment delta | <var: 'regMaskCopy' type: #usqInt> regMaskCopy := regMask asUnsignedInteger. numRegsPushed := 0. [regMaskCopy ~= 0] whileTrue: [numRegsPushed := numRegsPushed + (regMaskCopy bitAnd: 1). regMaskCopy := regMaskCopy bitShift: -1]. (numRegsPushed = 0 and: [self numIntRegArgs >= numArgs]) ifTrue: [^0]. + wordsPushedModAlignment := numRegsPushed + (numArgs - self numIntRegArgs max: 0) \\ alignment. - wordsPushedModAlignment := numRegsPushed + numArgs \\ alignment. wordsPushedModAlignment ~= 0 ifTrue: [delta := alignment - wordsPushedModAlignment. cogit SubCq: delta * objectMemory wordSize R: SPReg]. ^0! Item was changed: ----- Method: CogVMSimulator>>setBreakBlockFromString: (in category 'UI') ----- setBreakBlockFromString: aString | bString block | bString := aString withBlanksTrimmed. + bString first = $- ifTrue: + [^cogit breakBlock: nil]. bString first ~= $[ ifTrue: [bString := '[:ct|', bString, ']']. block := [Compiler evaluate: bString for: self logged: false] on: Error do: [:ex| UIManager default warn: ex messageText. ^self]. cogit breakBlock: block! Item was changed: ----- Method: Cogit>>breakBlock: (in category 'simulation only') ----- breakBlock: aBlock <doNotGenerate> + (breakBlock := aBlock) ifNil: + [breakPC == true ifTrue: [breakPC := nil]. + ^self]. - breakBlock := aBlock. breakPC ifNil: [breakPC := true]. singleStep := singleStep or: [breakPC singleStepRequiredToTriggerIn: self]! Item was changed: ----- Method: SimpleStackBasedCogit>>rewritePrimInvocationIn:to: (in category 'external primitive support') ----- rewritePrimInvocationIn: cogMethod to: primFunctionPointer <api> <var: #cogMethod type: #'CogMethod *'> <var: #primFunctionPointer declareC: #'void (*primFunctionPointer)(void)'> | primIndex flags address extent | self cCode: [] inSmalltalk: [primFunctionPointer isInteger ifFalse: [^self rewritePrimInvocationIn: cogMethod to: (self simulatedTrampolineFor: primFunctionPointer)]]. self assert: cogMethod cmType = CMMethod. primIndex := coInterpreter primitiveIndexOfMethod: cogMethod methodObject header: cogMethod methodHeader. flags := coInterpreter primitivePropertyFlags: primIndex. (flags anyMask: PrimCallNeedsPrimitiveFunction) ifTrue: [backEnd storeLiteral: primFunctionPointer asUnsignedInteger beforeFollowingAddress: cogMethod asUnsignedInteger + (externalSetPrimOffsets at: cogMethod cmNumArgs)]. "See compileInterpreterPrimitive:" (flags anyMask: PrimCallMayCallBack) ifTrue: [address := cogMethod asUnsignedInteger + (externalPrimJumpOffsets at: cogMethod cmNumArgs). extent := backEnd rewriteJumpFullAt: address target: primFunctionPointer asUnsignedInteger] ifFalse: [address := cogMethod asUnsignedInteger + (externalPrimCallOffsets at: cogMethod cmNumArgs). extent := backEnd rewriteCallFullAt: address target: primFunctionPointer asUnsignedInteger]. + extent > 0 ifTrue: + [processor + flushICacheFrom: cogMethod asUnsignedInteger + cmNoCheckEntryOffset + to: address asUnsignedInteger + extent]! - processor - flushICacheFrom: cogMethod asUnsignedInteger + cmNoCheckEntryOffset - to: address asUnsignedInteger + extent!

1 0

VM Maker: VMMaker.oscog-eem.2644.mcz
by commits＠source.squeak.org 29 Dec '19

29 Dec '19

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2644.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2644 Author: eem Time: 28 December 2019, 3:15:24.53656 pm UUID: 805f6c57-b207-47be-a317-5df317516d88 Ancestors: VMMaker.oscog-eem.2643 lookup32BitWordConstant: needs to be more robust. =============== Diff against VMMaker.oscog-eem.2643 =============== Item was changed: ----- Method: SpurMemoryManager>>lookup32BitWordConstant: (in category 'simulation only') ----- lookup32BitWordConstant: word "If word appears to be a class index answer the class name, otherwise answer nil. For code disassembly" <doNotGenerate> | class classSize classNameIndex thisClassIndex | + (word between: 1 and: self classIndexMask) ifFalse: + [^nil]. class := self noCheckClassAtIndex: word. (class isNil or: [class = nilObj]) ifTrue: [^nil]. "address is either a class or a metaclass, or an instance of a class or invalid. determine which." classNameIndex := coInterpreter classNameIndex. thisClassIndex := coInterpreter thisClassIndex. ((classSize := self numSlotsOf: class) <= (classNameIndex max: thisClassIndex) or: [classSize > 255]) ifTrue: [^nil]. "Address could be a class or a metaclass" (self lookupAddress: (self fetchPointer: classNameIndex ofObject: class)) ifNotNil: [:maybeClassName| ^maybeClassName allButFirst]. (self lookupAddress: (self fetchPointer: thisClassIndex ofObject: class)) ifNotNil: [:maybeClassName| ^maybeClassName allButFirst, ' class'].!

1 0

VM Maker: VMMakerUI-eem.10.mcz
by commits＠source.squeak.org 28 Dec '19

28 Dec '19

Eliot Miranda uploaded a new version of VMMakerUI to project VM Maker: http://source.squeak.org/VMMaker/VMMakerUI-eem.10.mcz ==================== Summary ==================== Name: VMMakerUI-eem.10 Author: eem Time: 28 December 2019, 2:53:37.804726 pm UUID: 9a3faf98-403b-42be-8ac4-23674b202d6d Ancestors: VMMakerUI-eem.9 Use safeLastPointer: for more robust printing, e.g. when the JIT is producing bogus code. =============== Diff against VMMakerUI-eem.9 =============== Item was changed: ----- Method: StackInterpreter>>longPrintOop:on:oopAttribute: (in category '*VMMakerUI-debug printing') ----- longPrintOop: oop on: aStream oopAttribute: oopTextAttribute <doNotGenerate> | fmt lastIndex startIP bytecodesPerLine column field | ((objectMemory isImmediate: oop) or: [(objectMemory addressCouldBeObj: oop) not or: [(oop bitAnd: objectMemory allocationUnit - 1) ~= 0 or: [(objectMemory isFreeObject: oop) or: [objectMemory isForwarded: oop]]]]) ifTrue: [^self printOop: oop on: aStream oopAttribute: oopTextAttribute]. self printHex: oop on: aStream. (objectMemory fetchClassOfNonImm: oop) ifNil: [aStream nextPutAll: ' has a nil class!!!!'] ifNotNil: [:class| aStream nextPutAll: ': a(n) '. self printNameOfClass: class count: 5 on: aStream. aStream nextPutAll: ' ('. objectMemory hasSpurMemoryManagerAPI ifTrue: [self printHexnp: (objectMemory compactClassIndexOf: oop) on: aStream. aStream nextPutAll: '=>']. aStream nextPutAll: (self hexnp: class withAttribute: oopTextAttribute); nextPut: $)]. fmt := objectMemory formatOf: oop. aStream nextPutAll: ' format '. fmt printOn: aStream base: 16. fmt > objectMemory lastPointerFormat ifTrue: [aStream nextPutAll: ' nbytes '; print: (objectMemory numBytesOf: oop)] ifFalse: [(objectMemory isIndexableFormat: fmt) ifTrue: [| len | len := objectMemory lengthOf: oop. aStream nextPutAll: ' size '; print: len - (objectMemory fixedFieldsOf: oop format: fmt length: len)]]. objectMemory printHeaderTypeOf: oop on: aStream. aStream nextPutAll: ' hash '. (objectMemory rawHashBitsOf: oop) printOn: aStream base: 16. aStream cr. (fmt between: objectMemory firstByteFormat and: objectMemory firstCompiledMethodFormat - 1) ifTrue: [self printStringOf: oop on: aStream. ^aStream cr]. (fmt between: objectMemory firstLongFormat and: objectMemory firstByteFormat - 1) ifTrue: [0 to: ((objectMemory num32BitUnitsOf: oop) min: 256) - 1 do: [:i| field := objectMemory fetchLong32: i ofObject: oop. aStream space; print: i; space. (self printHex: field on: aStream). aStream space; cr]. ^self]. objectMemory hasSpurMemoryManagerAPI ifTrue: [fmt = objectMemory sixtyFourBitIndexableFormat ifTrue: [0 to: ((objectMemory num64BitUnitsOf: oop) min: 256) - 1 do: [:i| field := objectMemory fetchLong64: i ofObject: oop. aStream space; print: i; space. (self printHex: field on: aStream). aStream space; cr]. ^self]. (fmt between: objectMemory firstShortFormat and: objectMemory firstShortFormat + 1) ifTrue: [0 to: ((objectMemory num16BitUnitsOf: oop) min: 256) - 1 do: [:i| field := objectMemory fetchShort16: i ofObject: oop. aStream space; print: i; space. (self printHex: field on: aStream). aStream space; cr]. ^self]]. "this is nonsense. apologies." + startIP := (objectMemory safeLastPointerOf: oop) + objectMemory bytesPerOop - objectMemory baseHeaderSize / objectMemory bytesPerOop. - startIP := (objectMemory lastPointerOf: oop) + objectMemory bytesPerOop - objectMemory baseHeaderSize / objectMemory bytesPerOop. lastIndex := 256 min: startIP. lastIndex > 0 ifTrue: [1 to: lastIndex do: [:i| field := objectMemory fetchPointer: i - 1 ofObject: oop. aStream space; print: i - 1; space; nextPutAll: (self hex: field withAttribute: oopTextAttribute); space. (i = 1 and: [objectMemory isCompiledMethod: oop]) ifTrue: [self printMethodHeaderOop: field on: aStream] ifFalse: [aStream nextPutAll: (self shortPrint: field)]. aStream cr]]. (objectMemory isCompiledMethod: oop) ifFalse: [startIP > lastIndex ifTrue: [aStream nextPutAll: '...'; cr]] ifTrue: [startIP := startIP * objectMemory wordSize + 1. lastIndex := objectMemory lengthOf: oop. lastIndex - startIP > 100 ifTrue: [lastIndex := startIP + 100]. bytecodesPerLine := 8. column := 1. startIP to: lastIndex do: [:index| | byte | column = 1 ifTrue: [aStream nextPutAll: (oop+objectMemory baseHeaderSize+index-1) hex; nextPutAll: ': ']. byte := objectMemory fetchByte: index - 1 ofObject: oop. aStream space. byte printOn: aStream base: 16. aStream nextPut: $/. byte printOn: aStream. column := column + 1. column > bytecodesPerLine ifTrue: [column := 1. aStream cr]]. column = 1 ifFalse: [aStream cr]]! Item was changed: ----- Method: StackInterpreter>>printOop:on:oopAttribute: (in category '*VMMakerUI-debug printing') ----- printOop: oop on: aStream oopAttribute: oopTextAttribute <doNotGenerate> | cls fmt lastIndex startIP bytecodesPerLine column | <inline: false> (objectMemory isImmediate: oop) ifTrue: [^self shortPrintOop: oop on: aStream]. self printHex: oop on: aStream. (objectMemory addressCouldBeObj: oop) ifFalse: [^aStream nextPutAll: ((oop bitAnd: objectMemory allocationUnit - 1) ~= 0 ifTrue: [' is misaligned'] ifFalse: [self whereIs: oop]); cr]. (objectMemory isFreeObject: oop) ifTrue: [aStream nextPutAll: ' is a free chunk of size '; print: (objectMemory sizeOfFree: oop). objectMemory hasSpurMemoryManagerAPI ifTrue: [aStream nextPutAll: ' 0th: '. self printHex: (objectMemory fetchPointer: 0 ofFreeChunk: oop) on: aStream. objectMemory printHeaderTypeOf: oop on: aStream]. ^aStream cr]. (objectMemory isForwarded: oop) ifTrue: [aStream nextPutAll: ' is a forwarded object to '. self printHex: (objectMemory followForwarded: oop) on: aStream. aStream nextPutAll: ' of slot size '; print: (objectMemory numSlotsOfAny: oop). objectMemory printHeaderTypeOf: oop on: aStream. ^aStream cr]. aStream nextPutAll: ': a(n) '. self printNameOfClass: (cls := objectMemory fetchClassOfNonImm: oop) count: 5 on: aStream. cls = (objectMemory splObj: ClassFloat) ifTrue: [^aStream cr; print: (objectMemory dbgFloatValueOf: oop); cr]. fmt := objectMemory formatOf: oop. fmt > objectMemory lastPointerFormat ifTrue: [aStream nextPutAll: ' nbytes '; print: (objectMemory numBytesOf: oop)]. aStream cr. (fmt between: objectMemory firstLongFormat and: objectMemory firstCompiledMethodFormat - 1) ifTrue: ["This will answer false if splObj: ClassAlien is nilObject" (self is: oop KindOfClass: (objectMemory splObj: ClassAlien)) ifTrue: [aStream nextPutAll: ' datasize '; print: (self sizeOfAlienData: oop). aStream nextPutAll: ((self isIndirectAlien: oop) ifTrue: [' indirect @ '] ifFalse: [(self isPointerAlien: oop) ifTrue: [' pointer @ '] ifFalse: [' direct @ ']]). self printHex: (self startOfAlienData: oop) on: aStream. ^aStream cr]. (objectMemory isWordsNonImm: oop) ifTrue: [lastIndex := 64 min: ((objectMemory numBytesOf: oop) / objectMemory wordSize). lastIndex > 0 ifTrue: [1 to: lastIndex do: [:index| self printHex: (objectMemory fetchLong32: index - 1 ofObject: oop) on: aStream. index \\ self elementsPerPrintOopLine = 0 ifTrue: [aStream cr]]. lastIndex \\ self elementsPerPrintOopLine = 0 ifFalse: [aStream cr]]. ^self]. self printStringOf: oop on: aStream. ^aStream cr]. "this is nonsense. apologies." + startIP := (objectMemory safeLastPointerOf: oop) + objectMemory bytesPerOop - objectMemory baseHeaderSize / objectMemory bytesPerOop. - startIP := (objectMemory lastPointerOf: oop) + objectMemory bytesPerOop - objectMemory baseHeaderSize / objectMemory bytesPerOop. lastIndex := 256 min: startIP. lastIndex > 0 ifTrue: [1 to: lastIndex do: [:index| aStream space; nextPutAll: (self hex: (objectMemory fetchPointer: index - 1 ofObject: oop) withAttribute: oopTextAttribute); space. aStream nextPutAll: (self shortPrint: (objectMemory fetchPointer: index - 1 ofObject: oop)). index \\ self elementsPerPrintOopLine = 0 ifTrue: [aStream cr]]. lastIndex \\ self elementsPerPrintOopLine = 0 ifFalse: [aStream cr]]. (objectMemory isCompiledMethod: oop) ifFalse: [startIP > 64 ifTrue: [aStream nextPutAll: '...'; cr]] ifTrue: [startIP := startIP * objectMemory wordSize + 1. lastIndex := objectMemory lengthOf: oop. lastIndex - startIP > 100 ifTrue: [lastIndex := startIP + 100]. bytecodesPerLine := 8. column := 1. startIP to: lastIndex do: [:index| | byte | column = 1 ifTrue: [aStream nextPutAll: (oop+objectMemory baseHeaderSize+index-1) hex; print: ': ']. byte := objectMemory fetchByte: index - 1 ofObject: oop. aStream space. byte printOn: aStream base: 16. aStream nextPut: $/. byte printOn: aStream. column := column + 1. column > bytecodesPerLine ifTrue: [column := 1. aStream cr]]. column = 1 ifFalse: [aStream cr]]!

1 0

VM Maker: VMMaker.oscog-eem.2643.mcz
by commits＠source.squeak.org 28 Dec '19

28 Dec '19

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2643.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2643 Author: eem Time: 28 December 2019, 2:52:25.430511 pm UUID: ba23b8e2-c51b-4687-85a2-177db278e3c2 Ancestors: VMMaker.oscog-eem.2642 Cogit: Another small simplification to context creation. ObjectMemory: safeLastPointerOf: for more robust printing when the JIT is producing bogus code. =============== Diff against VMMaker.oscog-eem.2642 =============== Item was changed: ----- Method: CogObjectRepresentationForSpur>>genGetActiveContextLarge:inBlock: (in category 'initialization') ----- genGetActiveContextLarge: isLarge inBlock: isInBlock "Create a trampoline to answer the active context that will answer it if a frame is already married, and create it otherwise. Assume numArgs is in SendNumArgsReg and ClassReg is free." | header slotSize jumpSingle loopHead jumpNeedScavenge continuation exit | <var: #jumpNeedScavenge type: #'AbstractInstruction *'> <var: #continuation type: #'AbstractInstruction *'> <var: #jumpSingle type: #'AbstractInstruction *'> <var: #loopHead type: #'AbstractInstruction *'> <var: #exit type: #'AbstractInstruction *'> cogit MoveMw: FoxMethod r: FPReg R: ClassReg; TstCq: MFMethodFlagHasContextFlag R: ClassReg. jumpSingle := cogit JumpZero: 0. "jump if flag bit not set" cogit "since the flag bit was set, get the context in the receiver reg and return" MoveMw: FoxThisContext r: FPReg R: ReceiverResultReg; RetN: 0. jumpSingle jmpTarget: cogit Label. "OK, it doesn't exist; instantiate and initialize it" "set the hasContext flag; See CoInterpreter class>>initializeFrameIndices" cogit OrCq: MFMethodFlagHasContextFlag R: ClassReg; MoveR: ClassReg Mw: FoxMethod r: FPReg. "now get the home CogMethod into ClassReg and save for post-instantiation." isInBlock caseOf: { [InFullBlock] -> [cogit SubCq: 3 R: ClassReg]. "-3 is -(hasContext+isBlock) flags" [InVanillaBlock] -> [cogit SubCq: 3 R: ClassReg; "-3 is -(hasContext+isBlock) flags" MoveM16: 0 r: ClassReg R: TempReg; SubR: TempReg R: ClassReg]. [0] -> [cogit SubCq: 1 R: ClassReg]. "-1 is hasContext flag" }. "instantiate the context..." slotSize := isLarge ifTrue: [LargeContextSlots] ifFalse: [SmallContextSlots]. header := objectMemory headerForSlots: slotSize format: objectMemory indexablePointersFormat classIndex: ClassMethodContextCompactIndex. self flag: #endianness. cogit MoveAw: objectMemory freeStartAddress R: ReceiverResultReg. self genStoreHeader: header intoNewInstance: ReceiverResultReg using: TempReg. cogit + LoadEffectiveAddressMw: (objectMemory smallObjectBytesForSlots: slotSize) r: ReceiverResultReg R: TempReg; - MoveR: ReceiverResultReg R: TempReg; - AddCq: (objectMemory smallObjectBytesForSlots: slotSize) R: TempReg; MoveR: TempReg Aw: objectMemory freeStartAddress; CmpCq: objectMemory getScavengeThreshold R: TempReg. jumpNeedScavenge := cogit JumpAboveOrEqual: 0. "Now initialize the fields of the context. See CoInterpreter>>marryFrame:SP:copyTemps:" "sender gets frame pointer as a SmallInteger" continuation := cogit MoveR: FPReg R: TempReg. self genSetSmallIntegerTagsIn: TempReg. cogit MoveR: TempReg Mw: objectMemory baseHeaderSize + (SenderIndex * objectMemory bytesPerOop) r: ReceiverResultReg. "pc gets frame caller as a SmallInteger" cogit MoveMw: FoxSavedFP r: FPReg R: TempReg. self genSetSmallIntegerTagsIn: TempReg. cogit MoveR: TempReg Mw: objectMemory baseHeaderSize + (InstructionPointerIndex * objectMemory bytesPerOop) r: ReceiverResultReg. "Set the method field, freeing up ClassReg again, and frame's context field," cogit MoveMw: (cogit offset: CogMethod of: #methodObject) r: ClassReg R: TempReg; MoveR: TempReg Mw: objectMemory baseHeaderSize + (MethodIndex * objectMemory wordSize) r: ReceiverResultReg; MoveR: ReceiverResultReg Mw: FoxThisContext r: FPReg. "Now compute stack pointer; this is stackPointer (- 1 for return pc if a CISC) - framePointer - wordSize (1 each for saved pc, method, context, receiver) + 1 (1-relative) + numArgs" "TPR note - the code here is actually doing context stackPointer := ((((fp - sp) / wordSize) - [3|4]) + num args) asSmallInteger" cogit SubR: SPReg R: FPReg R: TempReg; "TempReg := FPReg - SPReg" LogicalShiftRightCq: self log2BytesPerWord R: TempReg; SubCq: (cogit backEnd hasLinkRegister ifTrue: [3] ifFalse: [4]) R: TempReg; AddR: SendNumArgsReg R: TempReg. self genConvertIntegerToSmallIntegerInReg: TempReg. cogit MoveR: TempReg Mw: objectMemory baseHeaderSize + (StackPointerIndex * objectMemory bytesPerOop) r: ReceiverResultReg. "Set closureOrNil to either the stacked receiver or nil" isInBlock > 0 ifTrue: [cogit MoveR: SendNumArgsReg R: TempReg; AddCq: 2 R: TempReg; "+2 for saved fp and saved pc" MoveXwr: TempReg R: FPReg R: TempReg] ifFalse: [cogit genMoveNilR: TempReg]. cogit MoveR: TempReg Mw: objectMemory baseHeaderSize + (ClosureIndex * objectMemory bytesPerOop) r: ReceiverResultReg. "Set the receiver" cogit MoveMw: FoxMFReceiver r: FPReg R: TempReg; MoveR: TempReg Mw: objectMemory baseHeaderSize + (ReceiverIndex * objectMemory bytesPerOop) r: ReceiverResultReg. "Now copy the arguments. This is tricky because of the shortage of registers,. ClassReg ranges from 1 to numArgs (SendNumArgsReg), and from ReceiverIndex + 1 to ReceiverIndex + numArgs. 1 to: numArgs do: [:i| temp := longAt(FPReg + ((SendNumArgs - i + 2) * wordSize)). +2 for saved pc and savedfp longAtput(FPReg + FoxMFReceiver + (i * wordSize), temp)]" "TPR note: this is a prime candidate for passing off to the backend to do at least faintly optimal code" cogit MoveCq: 1 R: ClassReg. loopHead := cogit CmpR: SendNumArgsReg R: ClassReg. exit := cogit JumpGreater: 0. cogit MoveR: SendNumArgsReg R: TempReg; SubR: ClassReg R: TempReg; AddCq: 2 R: TempReg; "+2 for saved fp and saved pc" MoveXwr: TempReg R: FPReg R: TempReg; AddCq: ReceiverIndex + (objectMemory baseHeaderSize / objectMemory wordSize) R: ClassReg; "Now convert ClassReg from frame index to context index" MoveR: TempReg Xwr: ClassReg R: ReceiverResultReg; SubCq: ReceiverIndex + (objectMemory baseHeaderSize / objectMemory wordSize) - 1 R: ClassReg; "convert back adding 1 ;-)" Jump: loopHead. exit jmpTarget: cogit Label. "Finally nil or copy the non-argument temps. ClassReg := FPReg + FoxMFReceiver. SendNumArgsReg := SendNumArgsReg+ReceiverIndex. [ClassReg := ClassReg - wordSize. backEnd hasLinkRegister ifTrue: [ClassReg > SPReg] ifFalse: [ClassReg >= SPReg]] whileTrue: [receiver[SendNumArgsReg] := *ClassReg. SendNumArgsReg := SendNumArgsReg + 1]]" coInterpreter marryFrameCopiesTemps ifFalse: [cogit MoveCq: objectMemory nilObject R: TempReg]. cogit MoveR: FPReg R: ClassReg; AddCq: FoxMFReceiver R: ClassReg; AddCq: ReceiverIndex + 1 + (objectMemory baseHeaderSize / objectMemory wordSize) R: SendNumArgsReg. loopHead := cogit SubCq: objectMemory wordSize R: ClassReg. cogit CmpR: ClassReg R: SPReg. "If on a CISC there's a retpc for the trampoline call on top of stack; if on a RISC there isn't." exit := cogit backEnd hasLinkRegister ifTrue: [cogit JumpAboveOrEqual: 0] ifFalse: [cogit JumpBelow: 0]. coInterpreter marryFrameCopiesTemps ifTrue: [cogit MoveMw: 0 r: ClassReg R: TempReg]. cogit MoveR: TempReg Xwr: SendNumArgsReg R: ReceiverResultReg; AddCq: 1 R: SendNumArgsReg; Jump: loopHead. exit jmpTarget: cogit Label. cogit RetN: 0. jumpNeedScavenge jmpTarget: cogit Label. cogit backEnd saveAndRestoreLinkRegAround: [cogit CallRT: ceScheduleScavengeTrampoline registersToBeSavedMask: (cogit registerMaskFor: ReceiverResultReg and: SendNumArgsReg and: ClassReg)]. cogit Jump: continuation. ^0! Item was added: + ----- Method: NewObjectMemory>>safeLastPointerOf: (in category 'object enumeration') ----- + safeLastPointerOf: objOop + "Return the byte offset of the last pointer field of the given object. + Can be used even when the type bits are not correct. + Works with CompiledMethods, as well as ordinary objects." + <api> + <inline: true> + | byteSize fmt header contextSize | + byteSize := (self sizeBitsOfSafe: objOop) - self baseHeaderSize. + header := self baseHeader: objOop. + fmt := self formatOfHeader: header. + fmt <= self lastPointerFormat ifTrue: + [(fmt = self indexablePointersFormat + and: [self isContextHeader: header]) ifTrue: + ["contexts end at the stack pointer" + contextSize := coInterpreter fetchStackPointerOf: objOop. + ^CtxtTempFrameStart + contextSize * self bytesPerOop min: byteSize]. + ^byteSize "all pointers"]. + fmt < self firstCompiledMethodFormat ifTrue: [^0]. "no pointers" + + "CompiledMethod: contains both pointers and bytes" + header := self methodHeaderOf: objOop. + ^(self lastPointerOfMethodHeader: header) min: byteSize! Item was added: + ----- Method: SpurMemoryManager>>safeLastPointerOf: (in category 'object enumeration') ----- + safeLastPointerOf: objOop + "Answer the byte offset of the last pointer field of the given object. + Works with CompiledMethods, as well as ordinary objects." + <inline: true> + | fmt contextSize header byteSize | + byteSize := (self numSlotsOf: objOop) - 1 * self bytesPerOop + self baseHeaderSize. + fmt := self formatOf: objOop. + self assert: fmt ~= self forwardedFormat. + fmt <= self lastPointerFormat ifTrue: + [(fmt = self indexablePointersFormat + and: [self isContextNonImm: objOop]) ifTrue: + ["contexts end at the stack pointer" + contextSize := coInterpreter fetchStackPointerOf: objOop. + ^CtxtTempFrameStart - 1 + contextSize * self bytesPerOop + self baseHeaderSize min: byteSize]. + ^byteSize "all pointers"]. + fmt < self firstCompiledMethodFormat ifTrue: [^0]. "no pointers" + + "CompiledMethod: contains both pointers and bytes" + header := self methodHeaderOf: objOop. + ^(self lastPointerOfMethodHeader: header) min: byteSize!

1 0

VM Maker: Cog-eem.387.mcz
by commits＠source.squeak.org 28 Dec '19

28 Dec '19

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.387.mcz ==================== Summary ==================== Name: Cog-eem.387 Author: eem Time: 28 December 2019, 1:09:40.720517 pm UUID: 11720391-4c66-43a5-9020-f2a506be15dc Ancestors: Cog-eem.386 Filter out both kinds of out-of-line literal sizing labels. =============== Diff against Cog-eem.386 =============== Item was changed: ----- Method: CogProcessorAlien>>disassembleFrom:to:in:for:labels:on: (in category 'disassembly') ----- disassembleFrom: startAddress to: endAddress in: memory for: aSymbolManager "<Cogit>" labels: labelDictionary on: aStream | address | address := startAddress. [address <= endAddress] whileTrue: [[:sizeArg :stringArg| | size string | size := sizeArg. string := stringArg. (aSymbolManager labelForPC: address) ifNotNil: [:label| aStream nextPutAll: label; nextPut: $:; cr]. (labelDictionary at: address ifAbsent: []) ifNotNil: [:label| + (label ~~ #oneWordLiteral and: [label ~~ #twoWordLiteral]) ifTrue: - label ~~ #twoWordLiteral ifTrue: [self printLabel: label on: aStream at: address for: aSymbolManager. label isArray ifTrue: [string := nil. size := label third]]]. string ifNotNil: [aStream nextPutAll: (self decorateDisassembly: string for: aSymbolManager fromAddress: address labels: labelDictionary)]. aStream cr; flush. address := address + size] valueWithArguments: (self primitiveDisassembleAt: address inMemory: memory)]. (labelDictionary at: address ifAbsent: []) ifNotNil: [:label| self printLabel: label on: aStream at: address for: aSymbolManager]!

1 0

VM Maker: CogPools-ISAs-eem.8.mcz
by commits＠source.squeak.org 28 Dec '19

28 Dec '19

Eliot Miranda uploaded a new version of CogPools-ISAs to project VM Maker: http://source.squeak.org/VMMaker/CogPools-ISAs-eem.8.mcz ==================== Summary ==================== Name: CogPools-ISAs-eem.8 Author: eem Time: 28 December 2019, 1:08:58.512209 pm UUID: 06e90eb9-adf6-4eff-bb18-573ea12e5312 Ancestors: CogPools-ISAs-eem.7 Offset extraction from branch clean-ups and corrections. =============== Diff against CogPools-ISAs-eem.7 =============== Item was changed: ----- Method: ARMv8A64Opcodes class>>extractOffsetFromBImm19: (in category 'accessing') ----- extractOffsetFromBImm19: word - self halt. ^(word bitAnd: (1 bitShift: 24) - 1) - ((word bitAnd: (1 bitShift: 23)) bitShift: 2) bitShift: -5! Item was changed: ----- Method: ARMv8A64Opcodes class>>instructionIsBImm19: (in category 'testing') ----- instructionIsBImm19: word "C4.1.3 Branches, Exception Generating and System instructions C4-257" | op0_101_op1MSB | op0_101_op1MSB := word >> 24. + op0_101_op1MSB = 2r0101010 ifTrue: [self halt]. + ^ op0_101_op1MSB = 2r1010100 "conditional branch immediate 19 23-5" - ^ op0_101_op1MSB = 2r0101010 "conditional branch immediate 19 23-5" or: [op0_101_op1MSB = 2r0011010 "compare-and-branch immediate 19 23-5" or: [op0_101_op1MSB = 2r1011010]] "compare-and-branch immediate 19 23-5"!

1 0

VM Maker: VMMaker.oscog-eem.2642.mcz
by commits＠source.squeak.org 28 Dec '19

28 Dec '19

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2642.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2642 Author: eem Time: 28 December 2019, 1:07:48.41918 pm UUID: 9a197bc5-dc28-4df3-9518-9ddd8be37d03 Ancestors: VMMaker.oscog-eem.2641 Cogit: Small simpliofication to context creation. =============== Diff against VMMaker.oscog-eem.2641 =============== Item was changed: ----- Method: CogObjectRepresentationForSpur>>genGetActiveContextLarge:inBlock: (in category 'initialization') ----- genGetActiveContextLarge: isLarge inBlock: isInBlock "Create a trampoline to answer the active context that will answer it if a frame is already married, and create it otherwise. Assume numArgs is in SendNumArgsReg and ClassReg is free." | header slotSize jumpSingle loopHead jumpNeedScavenge continuation exit | <var: #jumpNeedScavenge type: #'AbstractInstruction *'> <var: #continuation type: #'AbstractInstruction *'> <var: #jumpSingle type: #'AbstractInstruction *'> <var: #loopHead type: #'AbstractInstruction *'> <var: #exit type: #'AbstractInstruction *'> + cogit - cogit "load the flag; stash it in both TempReg & ClassReg; do the compare (a prime candidated for use of AndCq:R:R:)" MoveMw: FoxMethod r: FPReg R: ClassReg; + TstCq: MFMethodFlagHasContextFlag R: ClassReg. - AndCq: MFMethodFlagHasContextFlag R: ClassReg R: TempReg. jumpSingle := cogit JumpZero: 0. "jump if flag bit not set" cogit "since the flag bit was set, get the context in the receiver reg and return" MoveMw: FoxThisContext r: FPReg R: ReceiverResultReg; RetN: 0. jumpSingle jmpTarget: cogit Label. "OK, it doesn't exist; instantiate and initialize it" "set the hasContext flag; See CoInterpreter class>>initializeFrameIndices" cogit OrCq: MFMethodFlagHasContextFlag R: ClassReg; MoveR: ClassReg Mw: FoxMethod r: FPReg. "now get the home CogMethod into ClassReg and save for post-instantiation." isInBlock caseOf: { [InFullBlock] -> [cogit SubCq: 3 R: ClassReg]. "-3 is -(hasContext+isBlock) flags" [InVanillaBlock] -> [cogit SubCq: 3 R: ClassReg; "-3 is -(hasContext+isBlock) flags" MoveM16: 0 r: ClassReg R: TempReg; SubR: TempReg R: ClassReg]. [0] -> [cogit SubCq: 1 R: ClassReg]. "-1 is hasContext flag" }. "instantiate the context..." slotSize := isLarge ifTrue: [LargeContextSlots] ifFalse: [SmallContextSlots]. header := objectMemory headerForSlots: slotSize format: objectMemory indexablePointersFormat classIndex: ClassMethodContextCompactIndex. self flag: #endianness. cogit MoveAw: objectMemory freeStartAddress R: ReceiverResultReg. self genStoreHeader: header intoNewInstance: ReceiverResultReg using: TempReg. cogit MoveR: ReceiverResultReg R: TempReg; AddCq: (objectMemory smallObjectBytesForSlots: slotSize) R: TempReg; MoveR: TempReg Aw: objectMemory freeStartAddress; CmpCq: objectMemory getScavengeThreshold R: TempReg. jumpNeedScavenge := cogit JumpAboveOrEqual: 0. "Now initialize the fields of the context. See CoInterpreter>>marryFrame:SP:copyTemps:" "sender gets frame pointer as a SmallInteger" continuation := cogit MoveR: FPReg R: TempReg. self genSetSmallIntegerTagsIn: TempReg. cogit MoveR: TempReg Mw: objectMemory baseHeaderSize + (SenderIndex * objectMemory bytesPerOop) r: ReceiverResultReg. "pc gets frame caller as a SmallInteger" cogit MoveMw: FoxSavedFP r: FPReg R: TempReg. self genSetSmallIntegerTagsIn: TempReg. cogit MoveR: TempReg Mw: objectMemory baseHeaderSize + (InstructionPointerIndex * objectMemory bytesPerOop) r: ReceiverResultReg. "Set the method field, freeing up ClassReg again, and frame's context field," cogit MoveMw: (cogit offset: CogMethod of: #methodObject) r: ClassReg R: TempReg; MoveR: TempReg Mw: objectMemory baseHeaderSize + (MethodIndex * objectMemory wordSize) r: ReceiverResultReg; MoveR: ReceiverResultReg Mw: FoxThisContext r: FPReg. "Now compute stack pointer; this is stackPointer (- 1 for return pc if a CISC) - framePointer - wordSize (1 each for saved pc, method, context, receiver) + 1 (1-relative) + numArgs" "TPR note - the code here is actually doing context stackPointer := ((((fp - sp) / wordSize) - [3|4]) + num args) asSmallInteger" cogit SubR: SPReg R: FPReg R: TempReg; "TempReg := FPReg - SPReg" LogicalShiftRightCq: self log2BytesPerWord R: TempReg; SubCq: (cogit backEnd hasLinkRegister ifTrue: [3] ifFalse: [4]) R: TempReg; AddR: SendNumArgsReg R: TempReg. self genConvertIntegerToSmallIntegerInReg: TempReg. cogit MoveR: TempReg Mw: objectMemory baseHeaderSize + (StackPointerIndex * objectMemory bytesPerOop) r: ReceiverResultReg. "Set closureOrNil to either the stacked receiver or nil" isInBlock > 0 ifTrue: [cogit MoveR: SendNumArgsReg R: TempReg; AddCq: 2 R: TempReg; "+2 for saved fp and saved pc" MoveXwr: TempReg R: FPReg R: TempReg] ifFalse: [cogit genMoveNilR: TempReg]. cogit MoveR: TempReg Mw: objectMemory baseHeaderSize + (ClosureIndex * objectMemory bytesPerOop) r: ReceiverResultReg. "Set the receiver" cogit MoveMw: FoxMFReceiver r: FPReg R: TempReg; MoveR: TempReg Mw: objectMemory baseHeaderSize + (ReceiverIndex * objectMemory bytesPerOop) r: ReceiverResultReg. "Now copy the arguments. This is tricky because of the shortage of registers,. ClassReg ranges from 1 to numArgs (SendNumArgsReg), and from ReceiverIndex + 1 to ReceiverIndex + numArgs. 1 to: numArgs do: [:i| temp := longAt(FPReg + ((SendNumArgs - i + 2) * wordSize)). +2 for saved pc and savedfp longAtput(FPReg + FoxMFReceiver + (i * wordSize), temp)]" "TPR note: this is a prime candidate for passing off to the backend to do at least faintly optimal code" cogit MoveCq: 1 R: ClassReg. loopHead := cogit CmpR: SendNumArgsReg R: ClassReg. exit := cogit JumpGreater: 0. cogit MoveR: SendNumArgsReg R: TempReg; SubR: ClassReg R: TempReg; AddCq: 2 R: TempReg; "+2 for saved fp and saved pc" MoveXwr: TempReg R: FPReg R: TempReg; AddCq: ReceiverIndex + (objectMemory baseHeaderSize / objectMemory wordSize) R: ClassReg; "Now convert ClassReg from frame index to context index" MoveR: TempReg Xwr: ClassReg R: ReceiverResultReg; SubCq: ReceiverIndex + (objectMemory baseHeaderSize / objectMemory wordSize) - 1 R: ClassReg; "convert back adding 1 ;-)" Jump: loopHead. exit jmpTarget: cogit Label. "Finally nil or copy the non-argument temps. ClassReg := FPReg + FoxMFReceiver. SendNumArgsReg := SendNumArgsReg+ReceiverIndex. [ClassReg := ClassReg - wordSize. backEnd hasLinkRegister ifTrue: [ClassReg > SPReg] ifFalse: [ClassReg >= SPReg]] whileTrue: [receiver[SendNumArgsReg] := *ClassReg. SendNumArgsReg := SendNumArgsReg + 1]]" coInterpreter marryFrameCopiesTemps ifFalse: [cogit MoveCq: objectMemory nilObject R: TempReg]. cogit MoveR: FPReg R: ClassReg; AddCq: FoxMFReceiver R: ClassReg; AddCq: ReceiverIndex + 1 + (objectMemory baseHeaderSize / objectMemory wordSize) R: SendNumArgsReg. loopHead := cogit SubCq: objectMemory wordSize R: ClassReg. cogit CmpR: ClassReg R: SPReg. "If on a CISC there's a retpc for the trampoline call on top of stack; if on a RISC there isn't." exit := cogit backEnd hasLinkRegister ifTrue: [cogit JumpAboveOrEqual: 0] ifFalse: [cogit JumpBelow: 0]. coInterpreter marryFrameCopiesTemps ifTrue: [cogit MoveMw: 0 r: ClassReg R: TempReg]. cogit MoveR: TempReg Xwr: SendNumArgsReg R: ReceiverResultReg; AddCq: 1 R: SendNumArgsReg; Jump: loopHead. exit jmpTarget: cogit Label. cogit RetN: 0. jumpNeedScavenge jmpTarget: cogit Label. cogit backEnd saveAndRestoreLinkRegAround: [cogit CallRT: ceScheduleScavengeTrampoline registersToBeSavedMask: (cogit registerMaskFor: ReceiverResultReg and: SendNumArgsReg and: ClassReg)]. cogit Jump: continuation. ^0!

1 0

← Newer
1
...
4
5
6
7
8
9
10
...
27
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev December 2019