Vm-dev October 2013

vm-dev@lists.squeakfoundation.org

30 participants
145 discussions

Re: [Vm-dev] VM Maker: Cog-ClementBera.105.mcz
by David T. Lewis 07 Oct '13

07 Oct '13

On Mon, Oct 07, 2013 at 08:41:00AM +0000, commits(a)source.squeak.org wrote: > > ClementBera uploaded a new version of Cog to project VM Maker: ... > It works on my development image which is Pharo 2.0. please try on a squeak image and tell me if everything's fine. > It loads and runs without problems on Squeak. One minor glitch: SMarkSimpleStatisticsReporter>>confidenceVariance: fails due to #stdev not implemented. Dave

1 0

VM Maker: Cog-ClementBera.105.mcz
by commits＠source.squeak.org 07 Oct '13

07 Oct '13

ClementBera uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-ClementBera.105.mcz ==================== Summary ==================== Name: Cog-ClementBera.105 Author: ClementBera Time: 7 October 2013, 10:40:57.128 am UUID: ae7597a1-45c9-4872-8bca-6c84042a41da Ancestors: Cog-ClementBera.105 Backported From: Cog-ClementBera.107 Added Richards, Delta blue and SMark (package Cog-Benchmarks). Try to evaluate and print in a workspace: SMarkRichards run: 10. SMarkDeltaBlue run: 10. It works on my development image which is Pharo 2.0. please try on a squeak image and tell me if everything's fine. =============== Diff against Cog-ClementBera.105 ===============

1 0

benchmarking and recent results
by Clément Bera 06 Oct '13

06 Oct '13

Hello, Recently I needed vm benchmarks for different projects. I merged old Squeak benchmarks that were ported by Stefan Marr to SMark with some other classic benchmark I found on the web to have a suite. I am now setting up a benchmarking machine for our continuous integration server (running a bench on a VM is not accurate). You can find an image with the benchs here: https://ci.inria.fr/rmod/view/Mate/job/Pharo-bench/ , evaluate (SMarkVMBench run: 5) to try (takes a few dozens of seconds). Currently I have: - Richards: OS kernel simulation benchmark. The main focus is on property access and calling functions and methods. - DeltaBlue: One-way constraint solver Benchmark. The main focus is on polymorphism and object-oriented programming. - Stones: (Slopstone & Smopstone) Smalltalk Low level Operation Stones & Smalltalk Medium level Operation Stones, cpu intensive benchmarks - Loops: A set of microbenchmarks measuring basic aspects such as message send, instance field access, class var bindings, float and int arithmetic,and array access cost - Compiler: Evaluate the compilation time Do you have any other benchs implemented in Squeak / Pharo ? If someone can extract the benchs from strongtalk in the Squeak chunk format I would be pleased. Seemingly you can only do that on windows and I don't have access to this kind of computer. An interesting fact I wanted to mention: I run the benchs twice, once with cog before the last update (without frameless optimization) and once with the latest Cog, and I noticed a difference of 7% of performance on DeltaBlue and Richards. I don't use in this bench an excessive number of accessors (I mean I use accessors, but I don't use the policy where you use accessors inside the object's methods to access its instance variable). Is this an expected result with the frameless optimization ?

10 24

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

05 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.438.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.438 Author: eem Time: 4 October 2013, 6:09:10.357 pm UUID: 19319f8f-986d-4563-b5ce-18b2f686fd0c Ancestors: VMMaker.oscog-eem.437 Implement machine code primtiiveNewWithArg for Spur, arrayFormat, byteFormat & longFormat. Add comments to StackInterpreterSimulator>>primitiveNewWithArg which, if uncommented, collect dynamic frequencies of classes and class formats for basicNew: et al. =============== Diff against VMMaker.oscog-eem.436 =============== Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>genInnerPrimitiveNewWithArg: (in category 'primitive generators') ----- + genInnerPrimitiveNewWithArg: retNoffset + "Implement primitiveNewWithArg for convenient cases: + - the receiver has a hash + - the receiver is variable and not compiled method + - single word header/num slots < numSlotsMask + - the result fits in eden + See superclass method for dynamic frequencies of formats. + For the moment we implement only arrayFormat, firstByteFormat & firstLongFormat" + + | halfHeaderReg instSpecReg maxSlots + jumpArrayTooBig jumpByteTooBig jumpLongTooBig + jumpArrayFormat jumpByteFormat jumpBytePrepDone jumpLongPrepDone + jumpUnhashed jumpNElementsNonInt jumpFailCuzFixed jumpNoSpace jumpHasSlots fillLoop skip | + <var: 'skip' type: #'AbstractInstruction *'> + <var: 'fillLoop' type: #'AbstractInstruction *'> + <var: 'jumpHasSlots' type: #'AbstractInstruction *'> + <var: 'jumpNoSpace' type: #'AbstractInstruction *'> + <var: 'jumpUnhashed' type: #'AbstractInstruction *'> + <var: 'jumpByteFormat' type: #'AbstractInstruction *'> + <var: 'jumpByteTooBig' type: #'AbstractInstruction *'> + <var: 'jumpLongTooBig' type: #'AbstractInstruction *'> + <var: 'jumpArrayFormat' type: #'AbstractInstruction *'> + <var: 'jumpArrayTooBig' type: #'AbstractInstruction *'> + <var: 'jumpFailCuzFixed' type: #'AbstractInstruction *'> + <var: 'jumpBytePrepDone' type: #'AbstractInstruction *'> + <var: 'jumpLongPrepDone' type: #'AbstractInstruction *'> + <var: 'jumpNElementsNonInt' type: #'AbstractInstruction *'> + + "half header will contain classIndex (class's hash) and format, and eventually fill value" + halfHeaderReg := SendNumArgsReg. + "inst spec will hold class's instance specification and then byte size and finally numSlots half of header" + instSpecReg := ClassReg. + "The max slots we'll allocate here are those for a single header" + maxSlots := objectMemory numSlotsMask - 1. + + "get freeStart as early as possible so as not to wait later..." + cogit MoveAw: objectMemory freeStartAddress R: Arg1Reg. + "get class's hash & fail if 0" + self genGetHashFieldNonImmOf: ReceiverResultReg into: halfHeaderReg. + jumpUnhashed := cogit JumpZero: 0. + "get index and fail if not a +ve integer" + cogit MoveR: Arg0Reg R: TempReg. + jumpNElementsNonInt := self genJumpNotSmallIntegerInScratchReg: TempReg. + "get class's format inst var for inst spec (format field)" + self genLoadSlot: InstanceSpecificationIndex sourceReg: ReceiverResultReg destReg: instSpecReg. + cogit LogicalShiftRightCq: objectMemory fixedFieldsFieldWidth + self numSmallIntegerTagBits R: instSpecReg. + cogit AndCq: objectMemory formatMask R: instSpecReg. + "Add format to classIndex/format half header now" + cogit MoveR: instSpecReg R: TempReg. + cogit LogicalShiftLeftCq: objectMemory formatShift R: TempReg. + cogit AddR: TempReg R: halfHeaderReg. + "get integer value of num fields in TempReg now" + cogit MoveR: Arg0Reg R: TempReg. + self genConvertSmallIntegerToIntegerInScratchReg: TempReg. + "dispatch on format, failing if not variable or if compiled method" + cogit CmpCq: objectMemory arrayFormat R: instSpecReg. + jumpArrayFormat := cogit JumpZero: 0. + cogit CmpCq: objectMemory firstByteFormat R: instSpecReg. + jumpByteFormat := cogit JumpZero: 0. + cogit CmpCq: objectMemory firstLongFormat R: instSpecReg. + jumpFailCuzFixed := cogit JumpNonZero: 0. + + cogit CmpCq: (objectMemory integerObjectOf: maxSlots) R: Arg0Reg. + jumpLongTooBig := cogit JumpAbove: 0. + "save num elements/slot size to instSpecReg" + cogit MoveR: TempReg R: instSpecReg. + "push fill value" + cogit MoveCq: 0 R: TempReg. + cogit PushR: TempReg. + jumpLongPrepDone := cogit Jump: 0. "go allocate" + + jumpByteFormat jmpTarget: + (cogit CmpCq: (objectMemory integerObjectOf: maxSlots * objectMemory wordSize) R: Arg0Reg). + jumpByteTooBig := cogit JumpAbove: 0. + "save num elements to instSpecReg" + cogit MoveR: TempReg R: instSpecReg. + "compute odd bits and add into halfHeaderReg; oddBits := 4 - nElements bitAnd: 3" + cogit MoveCq: objectMemory wordSize R: TempReg. + cogit SubR: instSpecReg R: TempReg. + cogit AndCq: objectMemory wordSize - 1 R: TempReg. + cogit LogicalShiftLeftCq: objectMemory formatShift R: TempReg. + cogit AddR: TempReg R: halfHeaderReg. + "round up num elements to numSlots in instSpecReg" + cogit AddCq: objectMemory wordSize - 1 R: instSpecReg. + cogit LogicalShiftRightCq: objectMemory shiftForWord R: instSpecReg. + "push fill value" + cogit MoveCq: 0 R: TempReg. + cogit PushR: TempReg. + jumpBytePrepDone := cogit Jump: 0. "go allocate" + + jumpArrayFormat jmpTarget: + (cogit CmpCq: (objectMemory integerObjectOf: maxSlots) R: Arg0Reg). + jumpArrayTooBig := cogit JumpAbove: 0. + "save num elements/slot size to instSpecReg" + cogit MoveR: TempReg R: instSpecReg. + "push fill value" + cogit MoveCw: objectMemory nilObject R: TempReg. + cogit PushR: TempReg. + "fall through to allocate" + + jumpBytePrepDone jmpTarget: + (jumpLongPrepDone jmpTarget: cogit Label). + + "write half header now; it frees halfHeaderReg" + cogit MoveR: halfHeaderReg Mw: 0 r: Arg1Reg. + "save numSlots to halfHeaderReg" + cogit MoveR: instSpecReg R: halfHeaderReg. + "compute byte size; remember 0-sized objects still need 1 slot & allocation is + rounded up to 8 bytes." + cogit CmpCq: 0 R: instSpecReg. + jumpHasSlots := cogit JumpNonZero: 0. + cogit MoveCq: objectMemory baseHeaderSize * 2 R: instSpecReg. + skip := cogit Jump: 0. + "round up to allocationUnit" + jumpHasSlots jmpTarget: + (cogit MoveR: instSpecReg R: TempReg). + cogit AndCq: 1 R: TempReg. + cogit AddR: TempReg R: instSpecReg. + cogit AddCq: objectMemory baseHeaderSize / objectMemory wordSize R: instSpecReg. + cogit LogicalShiftLeftCq: objectMemory shiftForWord R: instSpecReg. + skip jmpTarget: "get scavengeThreshold (have freeStart already)" + (cogit MoveAw: objectMemory scavengeThresholdAddress R: TempReg). + "shift halfHeaderReg to put numSlots in correct place" + cogit LogicalShiftLeftCq: objectMemory numSlotsHalfShift R: halfHeaderReg. + "check if allocation fits" + cogit SubR: Arg1Reg R: TempReg. + cogit CmpR: TempReg R: instSpecReg. + jumpNoSpace := cogit JumpAbove: 0. + "get result, increment freeStart and write it back. Arg1Reg holds new freeStart, the limit of the object" + cogit MoveR: Arg1Reg R: ReceiverResultReg. + cogit AddR: instSpecReg R: Arg1Reg. + cogit MoveR: Arg1Reg Aw: objectMemory freeStartAddress. + "write other half of header (numSlots/0 identityHash)" + cogit MoveR: halfHeaderReg Mw: 4 r: ReceiverResultReg. + "now fill" + cogit PopR: halfHeaderReg. + cogit LoadEffectiveAddressMw: objectMemory baseHeaderSize r: ReceiverResultReg R: instSpecReg. + "at least two words; so can make this a [fill 2 words. reached limit?] whileFalse" + fillLoop := + cogit MoveR: halfHeaderReg Mw: 0 r: instSpecReg. + cogit MoveR: halfHeaderReg Mw: 4 r: instSpecReg. + cogit AddCq: 8 R: instSpecReg. + cogit CmpR: Arg1Reg R: instSpecReg. + cogit JumpBelow: fillLoop. + cogit RetN: retNoffset. + + "pop discarded fill value & fall through to failure" + jumpNoSpace jmpTarget: (cogit PopR: TempReg). + + jumpUnhashed jmpTarget: + (jumpFailCuzFixed jmpTarget: + (jumpArrayTooBig jmpTarget: + (jumpByteTooBig jmpTarget: + (jumpLongTooBig jmpTarget: + (jumpNoSpace jmpTarget: + (jumpNElementsNonInt jmpTarget: cogit Label)))))). + + ^0! Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>numSmallIntegerTagBits (in category 'primitive generators') ----- + numSmallIntegerTagBits + ^1! Item was changed: ----- Method: CogObjectRepresentationForSpur>>genGetClassObjectOfClassIndex:into:scratchReg: (in category 'compile abstract instructions') ----- genGetClassObjectOfClassIndex: instReg into: destReg scratchReg: scratchReg "Fetch the class object whose index is in instReg into destReg. It is non-obvious, but the Cogit assumes loading a class does not involve a runtime call, so do not call classAtIndex:" self assert: instReg ~= destReg. self assert: instReg ~= scratchReg. self assert: destReg ~= scratchReg. cogit MoveR: instReg R: scratchReg; LogicalShiftRightCq: objectMemory classTableMajorIndexShift R: scratchReg; LogicalShiftLeftCq: objectMemory shiftForWord R: scratchReg. self assert: (self shouldAnnotateObjectReference: objectMemory classTableRootObj) not. cogit MoveMw: objectMemory classTableRootObj + objectMemory baseHeaderSize r: scratchReg R: destReg; MoveR: instReg R: scratchReg; AndCq: objectMemory classTableMinorIndexMask R: scratchReg; AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: scratchReg; + MoveXwr: scratchReg R: destReg R: destReg. - MoveXwr: scratchReg R: destReg R: destReg.. ^0! Item was changed: ----- Method: CogObjectRepresentationForSpur>>genInnerPrimitiveNew: (in category 'primitive generators') ----- genInnerPrimitiveNew: retNoffset "Implement primitiveNew for convenient cases: - the receiver has a hash + - the receiver is fixed size (excluding ephemerons to save instructions & miniscule time) + - single word header/num slots < numSlotsMask - - the receiver is fixed size - the result fits in eden" self subclassResponsibility! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genInnerPrimitiveNewWithArg: (in category 'primitive generators') ----- + genInnerPrimitiveNewWithArg: retNoffset + "Implement primitiveNewWithArg for convenient cases: + - the receiver has a hash + - the receiver is variable and not compiled method + - single word header/num slots < numSlotsMask + - the result fits in eden + + Here are some dynamic frequencies of class formats in the interpreter doing startUp + and recompiling ArrayedCollection in a Squeak4.1 image: + {3251->#arrayFormat. (Array) + 1685->#firstByteFormat. (ByteString, LargePositiveInteger, very few ByteArray) + 1533->#firstLongFormat. (Bitmaps, Floats, MatrixTransform2x3, WordArray) + 110->#weakArrayFormat. (WeakArray, WeakMessageSend) + 35->#indexablePointersFormat. (MethodContext) + 5->#nonIndexablePointerFormat (DirectoryEntry)}" + + self subclassResponsibility! Item was added: + ----- Method: CogObjectRepresentationForSpur>>implementsNewWithArg (in category 'initialization') ----- + implementsNewWithArg + ^true! Item was changed: ----- Method: CogRTLOpcodes class>>initialize (in category 'class initialization') ----- initialize "Abstract opcodes are a compound of a one word operation specifier and zero or more operand type specifiers. e.g. MoveRR is the Move opcode with two register operand specifiers and defines a move register to + register instruction from operand 0 to operand 1. The word and register size is assumed to be either 32-bits on + a 32-bit architecture or 64-bits on a 64-bit architecture. + The operand specifiers are + R - general purpose register + Rd - double-precision floating-point register + Cq - a quick constant that can be encoded in the minimum space possible. + Cw - a constant with word size where word is the default operand size for the Smalltalk VM, 32-bits + for a 32-bit VM, 64-bits for a 64-bit VM. The generated constant must occupy the default number + of bits. This allows e.g. a garbage collector to update the value without invalidating the code. + C32 - a constant with 32 bit size. The generated constant must occupy 32 bits. + C64 - a constant with 64 bit size. The generated constant must occupy 64 bits. + Aw - memory word with an absolute address + Ab - memory byte with an absolute address + Mwr - memory word whose address is at a constant offset from an address in a register + Mbr - memory byte whose address is at a constant offset from an address in a register + M16r - memory 16-bit halfword whose address is at a constant offset from an address in a register + M32r - memory 32-bit halfword whose address is at a constant offset from an address in a register + M64r - memory 64-bit doubleword whose address is at a constant offset from an address in a register + XbrR - memory word whose address is r * byte size away from an address in a register + X16rR - memory word whose address is r * (2 bytes size) away from an address in a register + XwrR - memory word whose address is r * word size away from an address in a register + XowrR - memory word whose address is (r * word size) + o away from an address in a register (scaled indexed) - register instruction from operand 0 to operand 1. The operand specifiers are - R - general purpose register - Rd - double-precision floating-point register - Cq - a quick constant that can be encoded in the minimum space possible. - Cw - a constant with word size where word is the default operand size for the Smalltalk VM, 32-bits - for a 32-bit VM, 64-bits for a 64-bit VM. The generated constant must occupy the default number - of bits. This allows e.g. a garbage collector to update the value without invalidating the code. - C32 - a constant with 32 bit size. The generated constant must occupy 32 bits. - C64 - a constant with 64 bit size. The generated constant must occupy 64 bits. - Aw - memory word with an absolute address - Ab - memory byte with an absolute address - Mwr - memory word whose address is at a constant offset from an address in a register - Mbr - memory byte whose address is at a constant offset from an address in a register - M16r - memory 16-bit halfword whose address is at a constant offset from an address in a register - M64r - memory 64-bit doubleword whose address is at a constant offset from an address in a register - XbrR- memory word whose address is r * byte size away from an address in a register - X16rR- memory word whose address is r * (2 bytes size) away from an address in a register - XwrR- memory word whose address is r * word size away from an address in a register An alternative would be to decouple opcodes from operands, e.g. Move := 1. Add := 2. Sub := 3... RegisterOperand := 1. ConstantQuickOperand := 2. ConstantWordOperand := 3... But not all combinations make sense and even fewer are used so we stick with the simple compound approach. + The assumption is that comparison and arithmetic instructions set condition codes and that move instructions - The assumption is that comparison and arithmetic instructions set condition codes and that move instrucions leave the condition codes unaffected. In particular LoadEffectiveAddressMwrR does not set condition codes although it can be used to do arithmetic. + Not all of the definitions in opcodeDefinitions below are implemented. In particular we do not implement the + XowrR scaled index addressing mode since it requires 4 operands. + Note that there are no generic division instructions defined, but a processor may define some." "CogRTLOpcodes initialize. CogAbstractInstruction allSubclasses do: [:sc| sc initialize]" | opcodeNames refs | FPReg := -1. SPReg := -2. ReceiverResultReg := GPRegMax := -3. TempReg := -4. ClassReg := -5. SendNumArgsReg := -6. Arg0Reg := -7. Arg1Reg := GPRegMin := -8. DPFPReg0 := -9. DPFPReg1 := -10. DPFPReg2 := -11. DPFPReg3 := -12. DPFPReg4 := -13. DPFPReg5 := -14. DPFPReg6 := -15. DPFPReg7 := -16. LinkReg := -17. opcodeNames := #("Noops & Pseudo Ops" Label AlignmentNops FillBytesFrom "output operand 0's worth of bytes from the address in operand 1" Fill8 "output a byte's worth of bytes with operand 0" Fill16 "output two byte's worth of bytes with operand 0" Fill32 "output four byte's worth of bytes with operand 0" FillFromWord "output BytesPerWord's worth of bytes with operand 0 + operand 1" Nop "Control" Call RetN JumpR "Not a regular jump, i.e. not pc dependent." "N.B. Jumps are contiguous. Long jumps are contigiuous within them. See FirstJump et al below" JumpLong JumpLongZero "a.k.a. JumpLongEqual" JumpLongNonZero "a.k.a. JumpLongNotEqual" Jump JumpZero "a.k.a. JumpEqual" JumpNonZero "a.k.a. JumpNotEqual" JumpNegative JumpNonNegative JumpOverflow JumpNoOverflow JumpCarry JumpNoCarry JumpLess "signed" JumpGreaterOrEqual JumpGreater JumpLessOrEqual JumpBelow "unsigned" JumpAboveOrEqual JumpAbove JumpBelowOrEqual JumpFPEqual JumpFPNotEqual JumpFPLess JumpFPLessOrEqual JumpFPGreater JumpFPGreaterOrEqual JumpFPOrdered JumpFPUnordered "Data Movement; destination is always last operand" MoveRR MoveAwR MoveRAw MoveAbR + MoveMwrR MoveRMwr MoveXwrRR MoveRXwrR MoveXowrR MoveRXowr - MoveMwrR MoveRMwr MoveXwrRR MoveRXwrR MoveM16rR MoveRM16r MoveX16rRR MoveRX16rR + MoveM32rR MoveRM32r MoveX32rRR MoveRX32rR MoveMbrR MoveRMbr MoveXbrRR MoveRXbrR MoveCqR MoveCwR MoveC32R MoveC64R MoveRdRd MoveM64rRd MoveRdM64r PopR PushR PushCw PrefetchAw "Arithmetic; destination is always last operand except Cmp; CmpXR is SubRX with no update of result" + LoadEffectiveAddressMwrR LoadEffectiveAddressXowrR "Variants of add/multiply" - LoadEffectiveAddressMwrR "A variant of add" NegateR "2's complement negation" ArithmeticShiftRightCqR ArithmeticShiftRightRR LogicalShiftRightCqR LogicalShiftRightRR LogicalShiftLeftCqR LogicalShiftLeftRR CmpRR AddRR SubRR AndRR OrRR XorRR MulRR CmpCqR AddCqR SubCqR AndCqR OrCqR XorCqR MulCqR CmpCwR AddCwR SubCwR AndCwR OrCwR XorCwR MulCwR CmpRdRd AddRdRd SubRdRd MulRdRd DivRdRd SqrtRd "Conversion" ConvertRRd LastRTLCode). + "Magic auto declaration. Add to the classPool any new variables and nuke any obsolete ones, and assign values" + "Find the variables directly referenced by this method" refs := (thisContext method literals select: [:l| l isVariableBinding and: [classPool includesKey: l key]]) collect: [:ea| ea key]. + "Move to Undeclared any opcodes in classPool not in opcodes or this method." (classPool keys reject: [:k| (opcodeNames includes: k) or: [refs includes: k]]) do: [:k| Undeclared declare: k from: classPool]. + "Declare as class variables and number elements of opcodeArray above" opcodeNames withIndexDo: [:classVarName :value| self classPool declare: classVarName from: Undeclared; at: classVarName put: value]. + + "For CogAbstractInstruction>>isJump etc..." FirstJump := JumpLong. LastJump := JumpFPUnordered. FirstShortJump := Jump! Item was changed: ----- Method: CogVMSimulator>>utilitiesMenu: (in category 'UI') ----- utilitiesMenu: aMenuMorph aMenuMorph add: 'toggle transcript' action: #toggleTranscript; addLine; add: 'print ext head frame' action: #printExternalHeadFrame; add: 'print int head frame' action: #printHeadFrame; add: 'print mc/cog frame' action: [self printFrame: cogit processor fp WithSP: cogit processor sp]; add: 'short print ext frame & callers' action: [self shortPrintFrameAndCallers: framePointer]; add: 'short print int frame & callers' action: [self shortPrintFrameAndCallers: localFP]; add: 'short print mc/cog frame & callers' action: [self shortPrintFrameAndCallers: cogit processor fp]; add: 'long print ext frame & callers' action: [self printFrameAndCallers: framePointer SP: stackPointer]; add: 'long print int frame & callers' action: [self printFrameAndCallers: localFP SP: localSP]; add: 'long print mc/cog frame & callers' action: [self printFrameAndCallers: cogit processor fp SP: cogit processor sp]; add: 'print frame...' action: [(self promptHex: 'print frame') ifNotNil: [:fp| self printFrame: fp]]; add: 'print call stack' action: #printCallStack; add: 'print stack call stack' action: #printStackCallStack; add: 'print call stack of...' action: [(self promptHex: 'context or process oop') ifNotNil: [:obj| self printCallStackOf: obj]]; add: 'print all stacks' action: #printAllStacks; + add: 'write back local ptrs' action: [stackPointer := localSP. framePointer := localFP. instructionPointer := localIP. + self writeBackHeadFramePointers]; + add: 'write back mc ptrs' action: [stackPointer := cogit processor sp. framePointer := cogit processor fp. instructionPointer := cogit processor eip. + self writeBackHeadFramePointers]; addLine; add: 'print registers' action: [cogit processor printRegistersOn: transcript]; add: 'disassemble method/trampoline...' action: [(self promptHex: 'pc') ifNotNil: [:pc| cogit disassembleCodeAt: pc]]; add: 'disassemble method/trampoline at pc' action: [cogit disassembleCodeAt: cogit processor pc]; add: 'disassemble ext head frame method' action: [cogit disassembleMethod: (self frameMethod: framePointer)]; add: 'print oop...' action: [(self promptHex: 'print oop') ifNotNil: [:oop| self printOop: oop]]; add: 'long print oop...' action: [(self promptHex: 'print oop') ifNotNil: [:oop| self longPrintOop: oop]]; addLine; add: 'inspect object memory' target: objectMemory action: #inspect; add: 'inspect cointerpreter' action: #inspect; add: 'inspect cogit' target: cogit action: #inspect; add: 'inspect method zone' target: cogit methodZone action: #inspect. self isThreadedVM ifTrue: [aMenuMorph add: 'inspect thread manager' target: self threadManager action: #inspect]. aMenuMorph addLine; add: 'print cog methods' target: cogMethodZone action: #printCogMethods; add: 'print trampoline table' target: cogit action: #printTrampolineTable; add: 'print prim trace log' action: #dumpPrimTraceLog; add: 'report recent instructions' target: cogit action: #reportLastNInstructions; add: 'set break pc...' action: [(self promptHex: 'break pc') ifNotNil: [:bpc| cogit breakPC: bpc]]; add: (cogit singleStep ifTrue: ['no single step'] ifFalse: ['single step']) action: [cogit singleStep: cogit singleStep not]; add: (cogit printRegisters ifTrue: ['no print registers each instruction'] ifFalse: ['print registers each instruction']) action: [cogit printRegisters: cogit printRegisters not]; add: (cogit printInstructions ifTrue: ['no print instructions each instruction'] ifFalse: ['print instructions each instruction']) action: [cogit printInstructions: cogit printInstructions not]; addLine; add: 'set break count...' action: [|s| s := UIManager default request: 'break count (dec)'. s notEmpty ifTrue: [breakCount := Integer readFrom: s readStream]]; add: 'set break selector...' action: [|s| s := UIManager default request: 'break selector'. s notEmpty ifTrue: [self setBreakSelector: s]]; add: 'set break block...' action: [|s| s := UIManager default request: 'break selector'. s notEmpty ifTrue: [self setBreakBlockFromString: s]]; add: (printBytecodeAtEachStep ifTrue: ['no print bytecode each bytecode'] ifFalse: ['print bytecode each bytecode']) action: [self ensureDebugAtEachStepBlock. printBytecodeAtEachStep := printBytecodeAtEachStep not]; add: (printFrameAtEachStep ifTrue: ['no print frame each bytecode'] ifFalse: ['print frame each bytecode']) action: [self ensureDebugAtEachStepBlock. printFrameAtEachStep := printFrameAtEachStep not]. ^aMenuMorph! Item was added: + ----- Method: SimpleStackBasedCogit>>genPrimitiveNewWithArg (in category 'primitive generators') ----- + genPrimitiveNewWithArg + | r | + (r := objectRepresentation genInnerPrimitiveNewWithArg: BytesPerWord) < 0 ifTrue: + [^r]. + ^self compileFallbackToInterpreterPrimitive! Item was changed: ----- Method: StackInterpreterSimulator>>primitiveNewWithArg (in category 'debugging traps') ----- primitiveNewWithArg "(objectMemory hasSpurMemoryManagerAPI and: [self classNameOf: (self stackValue: 1) Is: 'MethodDictionary']) ifTrue: [self halt]." + "| hash | + hash := objectMemory rawHashBitsOf: (self stackValue: 1)." + | format | + format := objectMemory instSpecOfClass: (self stackValue: 1). + super primitiveNewWithArg. + self successful ifTrue: + [(Smalltalk at: #Counts ifAbsentPut: [Bag new]) add: format]. + "(self successful and: [objectMemory hasSpurMemoryManagerAPI]) ifTrue: + [(Smalltalk at: #Counts ifAbsentPut: [Bag new]) add: hash]" + "Smalltalk removeKey: #Counts" + "Counts sortedCounts collect: [:assoc| + assoc key -> ((SpurMemoryManager organization listAtCategoryNamed: #'header formats') detect: + [:f| (SpurMemoryManager basicNew perform: f) = assoc value])] + {3251->#arrayFormat. + 1685->#firstByteFormat. + 1533->#firstLongFormat. + 110->#weakArrayFormat. + 35->#indexablePointersFormat. + 5->#nonIndexablePointerFormat}" + "Counts sortedCounts collect: [:assoc| + assoc value = 0 + ifTrue: [assoc] + ifFalse: [assoc key -> {(self nameOfClass: (objectMemory classAtIndex: assoc value)). + (SpurMemoryManager organization listAtCategoryNamed: #'header formats') detect: + [:f| (objectMemory perform: f) + = (objectMemory instSpecOfClass: (objectMemory classAtIndex: assoc value))]}]] + {1062->#('Array' #arrayFormat). + 777->#('Bitmap' #firstLongFormat). + 395->#('Float' #firstLongFormat). + 345->#('ByteString' #firstByteFormat). + 237->#('MatrixTransform2x3' #firstLongFormat). + 233->#('LargePositiveInteger' #firstByteFormat). + 103->#('WordArray' #firstLongFormat). + 58->#('WeakArray' #weakArrayFormat). + 52->#('WeakMessageSend' #weakArrayFormat). + 9->#('MethodContext' #indexablePointersFormat). + 4->#('DirectoryEntry' #nonIndexablePointerFormat). + 3->#('BalloonBuffer' #firstLongFormat). + 1->#('ByteArray' #firstByteFormat). + 1->0}"! - ^super primitiveNewWithArg! Item was added: + ----- Method: StackToRegisterMappingCogit>>genPrimitiveNewWithArg (in category 'primitive generators') ----- + genPrimitiveNewWithArg + | r | + (r := objectRepresentation genInnerPrimitiveNewWithArg: 0) < 0 ifTrue: + [^r]. + ^self compileFallbackToInterpreterPrimitive!

1 0

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

04 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.436.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.436 Author: eem Time: 4 October 2013, 2:25:44.28 pm UUID: 224a0465-0692-4fb7-afd4-3e247f01bca5 Ancestors: VMMaker.oscog-eem.435 Put num operands of an AbstractInstruction in NumOperands class var, to ease changing if adding scaled indexed addressing. Frivolously remove some double period statement separators.. =============== Diff against VMMaker.oscog-eem.435 =============== Item was changed: ----- Method: CoInterpreter>>followForwardingPointersInStackZone: (in category 'object memory support') ----- followForwardingPointersInStackZone: becomeEffectsFlags "Spur's become: is lazy, turning the becommed object into a forwarding object to the other. The read-barrier is minimised by arranging that forwarding pointers will fail a method cache probe, since notionally objects' internals are accessed only via sending messages to them (the exception + is primitives that access the internals of the non-receiver argument(s). - is primitives that access the internals of the non-receiver argument(s).. To avoid a read barrier on bytecode, literal and inst var fetch we scan the receivers and methods in the stack zone and follow any forwarded ones. This is of course way cheaper than scanning all of memory as in the old become." | theIPPtr | <inline: false> <var: #thePage type: #'StackPage *'> <var: #theSP type: #'char *'> <var: #theFP type: #'char *'> <var: #callerFP type: #'char *'> <var: #theIPPtr type: #'char *'> (becomeEffectsFlags anyMask: BecameCompiledMethodFlag) ifTrue: [(objectMemory isForwarded: method) ifTrue: [theIPPtr := instructionPointer - method. method := objectMemory followForwarded: method. instructionPointer := method + theIPPtr]. (objectMemory isForwarded: newMethod) ifTrue: [newMethod := objectMemory followForwarded: newMethod]]. self assert: stackPage ~= 0. 0 to: numStackPages - 1 do: [:i| | thePage theSP theFP callerFP oop offset | thePage := stackPages stackPageAt: i. thePage isFree ifFalse: [theSP := thePage headSP. theFP := thePage headFP. "Skip the instruction pointer on top of stack of inactive pages." thePage = stackPage ifTrue: [theIPPtr := 0] ifFalse: [theIPPtr := theSP. theSP := theSP + BytesPerWord]. [self assert: (thePage addressIsInPage: theFP). self assert: (theIPPtr = 0 or: [thePage addressIsInPage: theIPPtr]). offset := theFP + (self frameStackedReceiverOffset: theFP). oop := stackPages longAt: offset. ((objectMemory isNonImmediate: oop) and: [(objectMemory isForwarded: oop)]) ifTrue: [stackPages longAt: offset put: (objectMemory followForwarded: oop)]. ((self frameHasContext: theFP) and: [(objectMemory isForwarded: (self frameContext: theFP))]) ifTrue: [stackPages longAt: theFP + FoxThisContext put: (objectMemory followForwarded: (self frameContext: theFP))]. (self isMachineCodeFrame: theFP) ifTrue: [oop := stackPages longAt: theFP + FoxIFReceiver. ((objectMemory isNonImmediate: oop) and: [(objectMemory isForwarded: oop)]) ifTrue: [stackPages longAt: theFP + FoxIFReceiver put: (objectMemory followForwarded: oop)]. self assert: (objectMemory isForwarded: (self frameMethodObject: theFP)) not] ifFalse: [oop := stackPages longAt: theFP + FoxIFReceiver. ((objectMemory isNonImmediate: oop) and: [(objectMemory isForwarded: oop)]) ifTrue: [stackPages longAt: theFP + FoxIFReceiver put: (objectMemory followForwarded: oop)]. oop := self frameMethod: theFP. (objectMemory isForwarded: oop) ifTrue: [| delta | delta := (objectMemory followForwarded: oop) - oop. (theIPPtr ~= 0 and: [(stackPages longAt: theIPPtr) > (self frameMethod: theFP)]) ifTrue: [stackPages longAt: theIPPtr put: (stackPages longAt: theIPPtr) + delta]. stackPages longAt: theFP + FoxIFSavedIP put: (stackPages longAt: theFP + FoxIFSavedIP) + delta. stackPages longAt: theFP + FoxMethod put: (objectMemory followForwarded: oop)]]. self followNecessaryForwardingInMethod: (self frameMethod: theFP). (callerFP := self frameCallerFP: theFP) ~= 0] whileTrue: [theIPPtr := theFP + FoxCallerSavedIP. theFP := callerFP]]]! Item was changed: ----- Method: CoInterpreterMT>>ownVM: (in category 'vm scheduling') ----- ownVM: threadIndexAndFlags <api> <inline: false> "This is the entry-point for plugins and primitives that wish to reacquire the VM after having released it via disownVM or callbacks that want to acquire it without knowing their ownership status. This call will block until the VM is owned by the current thread or an error occurs. The argument should be the value answered by disownVM, or 0 for callbacks that don't know if they have disowned or not. This is both an optimization to avoid having to query thread- local storage for the current thread's index (since it can easily keep it in some local variable), and a record of when an unbound process becomes affined to a thread for the dynamic extent of some operation. Answer 0 if the current thread is known to the VM. Answer 1 if the current thread is unknown to the VM and takes ownership. Answer -1 if the current thread is unknown to the VM and fails to take ownership." | threadIndex flags vmThread myProc activeProc sched | <var: #vmThread type: #'CogVMThread *'> threadIndexAndFlags = 0 ifTrue: [^self ownVMFromUnidentifiedThread]. threadIndex := threadIndexAndFlags bitAnd: ThreadIdMask. flags := threadIndexAndFlags >> DisownFlagsShift. (flags anyMask: DisownVMForProcessorRelinquish) ifTrue: [relinquishing := false. self sqLowLevelMFence]. (threadIndexAndFlags anyMask: LockGUIThreadFlag) ifTrue: [self assert: (noThreadingOfGUIThread and: [self inGUIThread]). self assert: disowningVMThread = nil. (flags anyMask: DisownVMLockOutFullGC) ifTrue: [objectMemory decrementFullGCLock]. cogit recordEventTrace ifTrue: [self recordTrace: TraceOwnVM thing: ConstZero source: 0]. ^0]. vmThread := cogThreadManager acquireVMFor: threadIndex. disownCount := disownCount - 1. (flags anyMask: DisownVMLockOutFullGC) ifTrue: [objectMemory decrementFullGCLock]. disowningVMThread notNil ifTrue: [vmThread = disowningVMThread ifTrue: [self cCode: '' inSmalltalk: [| range | range := self cStackRangeForThreadIndex: threadIndex. self assert: (range includes: cogit getCStackPointer). self assert: (range includes: cogit getCFramePointer)]. self assert: self successful. self assert: (objectMemory fetchPointer: MyListIndex ofObject: self activeProcess) = objectMemory nilObject. disowningVMThread := nil. cogit recordEventTrace ifTrue: [self recordTrace: TraceOwnVM thing: ConstOne source: 0]. ^0]. "if not preempted we're done." self preemptDisowningThread]. "We've been preempted; we must restore state and update the threadId in our process, and may have to put the active process to sleep." activeProc := self activeProcess. (threadIndexAndFlags anyMask: OwnVMForeignThreadFlag) ifTrue: [self assert: foreignCallbackProcessSlot == ForeignCallbackProcess. myProc := objectMemory splObj: foreignCallbackProcessSlot. self assert: myProc ~= objectMemory nilObject. objectMemory splObj: foreignCallbackProcessSlot put: objectMemory nilObject] ifFalse: [myProc := cogThreadManager popAWOLProcess: vmThread]. self assert: activeProc ~= myProc. (activeProc ~= objectMemory nilObject and: [(objectMemory fetchPointer: MyListIndex ofObject: activeProc) = objectMemory nilObject]) ifTrue: [self putToSleep: activeProc yieldingIf: preemptionYields]. self assert: (objectMemory fetchPointer: MyListIndex ofObject: myProc) = (objectMemory splObj: ProcessInExternalCodeTag). sched := self schedulerPointer. objectMemory storePointer: ActiveProcessIndex ofObject: sched withValue: myProc; storePointerUnchecked: MyListIndex ofObject: myProc withValue: objectMemory nilObject. "Only unaffine if the process was affined at this level and did not become bound in the interim." ((threadIndexAndFlags anyMask: ProcessUnaffinedOnDisown) and: [(self isBoundProcess: myProc) not]) ifTrue: [self setOwnerIndexOfProcess: myProc to: 0 bind: false]. self initPrimCall. self externalSetStackPageAndPointersForSuspendedContextOfProcess: myProc. "If this primitive is called from machine code maintain the invariant that the return pc of an interpreter callee calling a machine code caller is ceReturnToInterpreterPC." (vmThread inMachineCode and: [instructionPointer >= objectMemory startOfMemory]) ifTrue: [self iframeSavedIP: framePointer put: instructionPointer. instructionPointer := cogit ceReturnToInterpreterPC]. newMethod := vmThread newMethodOrNull. argumentCount := vmThread argumentCount. self cCode: [self mem: reenterInterpreter cp: vmThread reenterInterpreter y: (self sizeof: #'jmp_buf')] inSmalltalk: [reenterInterpreter := vmThread reenterInterpreter]. vmThread newMethodOrNull: nil. self cCode: '' inSmalltalk: [| range | range := self cStackRangeForThreadIndex: threadIndex. self assert: (range includes: vmThread cStackPointer). self assert: (range includes: vmThread cFramePointer)]. cogit setCStackPointer: vmThread cStackPointer. cogit setCFramePointer: vmThread cFramePointer. + self assert: newMethod ~~ nil. - self assert: newMethod ~~ nil.. cogit recordEventTrace ifTrue: [self recordTrace: TraceOwnVM thing: ConstTwo source: 0]. ^threadIndexAndFlags bitAnd: OwnVMForeignThreadFlag! Item was changed: VMStructType subclass: #CogAbstractInstruction instanceVariableNames: 'opcode machineCodeSize maxSize machineCode operands address dependent cogit objectMemory bcpc' + classVariableNames: 'NumOperands' - classVariableNames: '' poolDictionaries: 'CogRTLOpcodes' category: 'VMMaker-JIT'! !CogAbstractInstruction commentStamp: 'eem 7/17/2012 15:04' prior: 0! I am an abstract instruction generated by the Cogit. I am subsequently concretized to machine code for the current processor. A sequence of concretized CogAbstractInstructions are concatenated to form the code for a CogMethod. I am an abstract class. My concrete subclasses concretize to the machine code of a specific processor.! Item was added: + ----- Method: CogAbstractInstruction class>>initialize (in category 'class initialization') ----- + initialize + NumOperands := 3! Item was changed: ----- Method: CogAbstractInstruction class>>instVarNamesAndTypesForTranslationDo: (in category 'translation') ----- instVarNamesAndTypesForTranslationDo: aBinaryBlock "enumerate aBinaryBlock with the names and C type strings for the inst vars to include in an AbstractInstruction struct." "{CogAbstractInstruction. CogIA32Compiler. CogARMCompiler} do: [:c| Transcript print: c; cr. c printTypedefOn: Transcript]" | machineCodeBytes | machineCodeBytes := self == CogAbstractInstruction ifTrue: [0] ifFalse: [self basicNew machineCodeBytes]. (self filteredInstVarNames copyWithout: 'machineCode'), #('machineCode') do: [:ivn| ivn ~= 'bcpc' ifTrue: [aBinaryBlock value: ivn value: (ivn caseOf: { ['address'] -> ['unsigned long']. ['machineCode'] -> [{'unsigned char'. '[', machineCodeBytes printString, ']'}]. + ['operands'] -> [{'unsigned long'. '[', NumOperands, ']'}]. - ['operands'] -> [#('unsigned long' '[3]')]. ['dependent'] -> ['struct _AbstractInstruction *']} otherwise: [#char])]]! Item was changed: ----- Method: CogAbstractInstruction>>initialize (in category 'initialization') ----- initialize "This method intializes the Smalltalk instance. The C instance is merely a struct and doesn't need initialization." <doNotGenerate> + operands := CArrayAccessor on: (Array new: NumOperands). - operands := CArrayAccessor on: (Array new: 3). machineCode := CArrayAccessor on: (ByteArray new: self machineCodeBytes)! Item was changed: ----- Method: CogObjectRepresentationForSpur>>genGetClassObjectOfClassIndex:into:scratchReg: (in category 'compile abstract instructions') ----- genGetClassObjectOfClassIndex: instReg into: destReg scratchReg: scratchReg "Fetch the class object whose index is in instReg into destReg. It is non-obvious, but the Cogit assumes loading a class does not involve a runtime call, so do not call classAtIndex:" self assert: instReg ~= destReg. self assert: instReg ~= scratchReg. self assert: destReg ~= scratchReg. cogit MoveR: instReg R: scratchReg; LogicalShiftRightCq: objectMemory classTableMajorIndexShift R: scratchReg; + LogicalShiftLeftCq: objectMemory shiftForWord R: scratchReg. - LogicalShiftLeftCq: objectMemory shiftForWord R: scratchReg.. self assert: (self shouldAnnotateObjectReference: objectMemory classTableRootObj) not. cogit MoveMw: objectMemory classTableRootObj + objectMemory baseHeaderSize r: scratchReg R: destReg; MoveR: instReg R: scratchReg; AndCq: objectMemory classTableMinorIndexMask R: scratchReg; AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: scratchReg; MoveXwr: scratchReg R: destReg R: destReg.. ^0! Item was changed: SharedPool subclass: #CogRTLOpcodes instanceVariableNames: '' + classVariableNames: 'AddCqR AddCwR AddRR AddRdRd AlignmentNops AndCqR AndCwR AndRR Arg0Reg Arg1Reg ArithmeticShiftRightCqR ArithmeticShiftRightRR Call ClassReg CmpCqR CmpCwR CmpRR CmpRdRd ConvertRRd DPFPReg0 DPFPReg1 DPFPReg2 DPFPReg3 DPFPReg4 DPFPReg5 DPFPReg6 DPFPReg7 DivRdRd FPReg Fill16 Fill32 Fill8 FillBytesFrom FillFromWord FirstJump FirstShortJump GPRegMax GPRegMin Jump JumpAbove JumpAboveOrEqual JumpBelow JumpBelowOrEqual JumpCarry JumpFPEqual JumpFPGreater JumpFPGreaterOrEqual JumpFPLess JumpFPLessOrEqual JumpFPNotEqual JumpFPOrdered JumpFPUnordered JumpGreater JumpGreaterOrEqual JumpLess JumpLessOrEqual JumpLong JumpLongNonZero JumpLongZero JumpNegative JumpNoCarry JumpNoOverflow JumpNonNegative JumpNonZero JumpOverflow JumpR JumpZero Label LastJump LastRTLCode LinkReg LoadEffectiveAddressMwrR LogicalShiftLeftCqR LogicalShiftLeftRR LogicalShiftRightCqR LogicalShiftRightRR MoveAbR MoveAwR MoveC32R MoveC64R MoveCqR MoveCwR MoveM16rR MoveM64rRd MoveMbrR MoveMwrR MoveRAw MoveRM16r MoveRMbr MoveRMwr MoveRR MoveRX16rR MoveRXbrR MoveRXowr MoveRXwrR MoveRdM64r MoveRdRd MoveX16rRR MoveXbrRR MoveXowrR MoveXwrRR MulCqR MulCwR MulRR MulRdRd NegateR Nop OrCqR OrCwR OrRR PopR PrefetchAw PushCw PushR ReceiverResultReg RetN SPReg SendNumArgsReg SqrtRd SubCqR SubCwR SubRR SubRdRd TempReg XorCqR XorCwR XorRR' - classVariableNames: 'AddCqR AddCwR AddRR AddRdRd AlignmentNops AndCqR AndCwR AndRR Arg0Reg Arg1Reg ArithmeticShiftRightCqR ArithmeticShiftRightRR Call ClassReg CmpCqR CmpCwR CmpRR CmpRdRd ConvertRRd DPFPReg0 DPFPReg1 DPFPReg2 DPFPReg3 DPFPReg4 DPFPReg5 DPFPReg6 DPFPReg7 DivRdRd FPReg Fill16 Fill32 Fill8 FillBytesFrom FillFromWord FirstJump FirstShortJump GPRegMax GPRegMin Jump JumpAbove JumpAboveOrEqual JumpBelow JumpBelowOrEqual JumpCarry JumpFPEqual JumpFPGreater JumpFPGreaterOrEqual JumpFPLess JumpFPLessOrEqual JumpFPNotEqual JumpFPOrdered JumpFPUnordered JumpGreater JumpGreaterOrEqual JumpLess JumpLessOrEqual JumpLong JumpLongNonZero JumpLongZero JumpNegative JumpNoCarry JumpNoOverflow JumpNonNegative JumpNonZero JumpOverflow JumpR JumpZero Label LastJump LastRTLCode LinkReg LoadEffectiveAddressMwrR LogicalShiftLeftCqR LogicalShiftLeftRR LogicalShiftRightCqR LogicalShiftRightRR MoveAbR MoveAwR MoveC32R MoveC64R MoveCqR MoveCwR MoveM16rR MoveM64rRd MoveMbrR MoveMwrR MoveRAw MoveRM16r MoveRMbr MoveRMwr MoveRR MoveRX16rR MoveRXbrR MoveRXwrR MoveRdM64r MoveRdRd MoveX16rRR MoveXbrRR MoveXwrRR MulCqR MulCwR MulRR MulRdRd NegateR Nop OrCqR OrCwR OrRR PopR PrefetchAw PushCw PushR ReceiverResultReg RetN SPReg SendNumArgsReg SqrtRd SubCqR SubCwR SubRR SubRdRd TempReg XorCqR XorCwR XorRR' poolDictionaries: '' category: 'VMMaker-JIT'! !CogRTLOpcodes commentStamp: '<historical>' prior: 0! I am a pool for the Register-Transfer-Language to which Cog compiles. I define unique integer values for all RTL opcodes and abstract registers. See CogAbstractInstruction for instances of instructions with the opcodes that I define.! Item was changed: ----- Method: Cogit>>generateMissAbortTrampolines (in category 'initialization') ----- generateMissAbortTrampolines + "Generate the run-time entries for the various method and PIC entry misses and aborts. - "Generate the run-time entries for the various method and PIC entry misses and aborts.. Read the class-side method trampolines for documentation on the various trampolines" self subclassResponsibility! Item was changed: ----- Method: Cogit>>mapObjectReferencesInMachineCodeForBecome (in category 'garbage collection') ----- mapObjectReferencesInMachineCodeForBecome "Update all references to objects in machine code for a become. Unlike incrementalGC or fullGC a method that does not refer to young may refer to young as a result of the become operation. Unlike incrementalGC or fullGC the reference from a Cog method to its methodObject *must not* change since the two are two halves of the same object." | cogMethod hasYoungObj hasYoungObjPtr freedPIC | <var: #cogMethod type: #'CogMethod *'> hasYoungObj := false. hasYoungObjPtr := self cCode: [(self addressOf: hasYoungObj) asInteger] inSmalltalk: [CPluggableAccessor new setObject: nil; atBlock: [:obj :idx| hasYoungObj] atPutBlock: [:obj :idx :val| hasYoungObj := val]]. codeModified := freedPIC := false. self mapObjectReferencesInGeneratedRuntime. cogMethod := self cCoerceSimple: methodZoneBase to: #'CogMethod *'. [cogMethod < methodZone limitZony] whileTrue: [self assert: hasYoungObj not. cogMethod cmType ~= CMFree ifTrue: [self assert: (self cogMethodDoesntLookKosher: cogMethod) = 0. + cogMethod selector: (objectRepresentation remapOop: cogMethod selector). - cogMethod selector: (objectRepresentation remapOop: cogMethod selector).. cogMethod cmType = CMClosedPIC ifTrue: [((objectMemory isYoung: cogMethod selector) or: [self mapObjectReferencesInClosedPIC: cogMethod]) ifTrue: [freedPIC := true. methodZone freeMethod: cogMethod]] ifFalse: [(objectMemory isYoung: cogMethod selector) ifTrue: [hasYoungObj := true]. cogMethod cmType = CMMethod ifTrue: [| remappedMethod | self assert: cogMethod objectHeader = objectMemory nullHeaderForMachineCodeMethod. remappedMethod := objectRepresentation remapOop: cogMethod methodObject. remappedMethod ~= cogMethod methodObject ifTrue: [(coInterpreter methodHasCogMethod: remappedMethod) ifTrue: [self error: 'attempt to become two cogged methods']. (objectMemory withoutForwardingOn: cogMethod methodObject and: remappedMethod with: cogMethod cmUsesPenultimateLit sendToCogit: #method:hasSameCodeAs:checkPenultimate:) ifFalse: [self error: 'attempt to become cogged method into different method']. "For non-Newspeak there should ne a one-to-one mapping between bytecoded and cog methods. For Newspeak not necessarily, but only for anonymous accessors." "Only reset the method object's header if it is referring to this CogMethod." (coInterpreter rawHeaderOf: cogMethod methodObject) = cogMethod asInteger ifTrue: [coInterpreter rawHeaderOf: cogMethod methodObject put: cogMethod methodHeader. cogMethod methodHeader: (coInterpreter rawHeaderOf: remappedMethod); methodObject: remappedMethod. coInterpreter rawHeaderOf: remappedMethod put: cogMethod asInteger] ifFalse: [ self assert: (self noAssertMethodClassAssociationOf: cogMethod methodObject) = objectMemory nilObject. cogMethod methodHeader: (coInterpreter rawHeaderOf: remappedMethod); methodObject: remappedMethod]]. (objectMemory isYoung: cogMethod methodObject) ifTrue: [hasYoungObj := true]]. self mapFor: cogMethod performUntil: (self cppIf: NewspeakVM ifTrue: [#remapNSIfObjectRef:pc:hasYoung:] ifFalse: [#remapIfObjectRef:pc:hasYoung:]) arg: hasYoungObjPtr. hasYoungObj ifTrue: [cogMethod cmRefersToYoung ifFalse: [cogMethod cmRefersToYoung: true. methodZone addToYoungReferrers: cogMethod]. hasYoungObj := false] ifFalse: [cogMethod cmRefersToYoung: false]]]. cogMethod := methodZone methodAfter: cogMethod]. methodZone pruneYoungReferrers. freedPIC ifTrue: [self unlinkSendsToFree. codeModified := true]. codeModified ifTrue: "After updating oops in inline caches we need to flush the icache." [processor flushICacheFrom: codeBase to: methodZone limitZony asInteger]! Item was changed: ----- Method: CroquetPlugin>>primitiveOrthoNormInverseMatrix (in category 'transforms') ----- primitiveOrthoNormInverseMatrix | srcOop dstOop src dst x y z rx ry rz | <export: true> <var: #src declareC:'float *src'> <var: #dst declareC:'float *dst'> <var: #x declareC:'double x'> <var: #y declareC:'double y'> <var: #z declareC:'double z'> <var: #rx declareC:'double rx'> <var: #ry declareC:'double ry'> <var: #rz declareC:'double rz'> interpreterProxy methodArgumentCount = 0 ifFalse:[^interpreterProxy primitiveFail]. srcOop := interpreterProxy stackObjectValue: 0. interpreterProxy failed ifTrue:[^nil]. ((interpreterProxy isWords: srcOop) and:[(interpreterProxy slotSizeOf: srcOop) = 16]) ifFalse:[^interpreterProxy primitiveFail]. dstOop := interpreterProxy clone: srcOop. "reload srcOop in case of GC" srcOop := interpreterProxy stackObjectValue: 0. src := interpreterProxy firstIndexableField: srcOop. dst := interpreterProxy firstIndexableField: dstOop. "Transpose upper 3x3 matrix" "dst at: 0 put: (src at: 0)." dst at: 1 put: (src at: 4). dst at: 2 put: (src at: 8). dst at: 4 put: (src at: 1). "dst at: 5 put: (src at: 5)." dst at: 6 put: (src at: 9). dst at: 8 put: (src at: 2). dst at: 9 put: (src at: 6). "dst at: 10 put: (src at: 10)." "Compute inverse translation vector" + x := src at: 3. - x := src at: 3.. y := src at: 7. z := src at: 11. rx := (x * (dst at: 0)) + (y * (dst at: 1)) + (z * (dst at: 2)). ry := (x * (dst at: 4)) + (y * (dst at: 5)) + (z * (dst at: 6)). rz := (x * (dst at: 8)) + (y * (dst at: 9)) + (z * (dst at: 10)). dst at: 3 put: (self cCoerce: 0.0-rx to: 'float'). dst at: 7 put: (self cCoerce: 0.0-ry to: 'float'). dst at: 11 put: (self cCoerce: 0.0-rz to: 'float'). interpreterProxy pop: 1. ^interpreterProxy push: dstOop. ! Item was changed: ----- Method: FilePlugin>>makeDirEntryName:size:createDate:modDate:isDir:fileSize: (in category 'directory primitives') ----- makeDirEntryName: entryName size: entryNameSize createDate: createDate modDate: modifiedDate isDir: dirFlag fileSize: fileSize | modDateOop createDateOop nameString results stringPtr fileSizeOop | <var: 'entryName' type: 'char *'> <var: 'stringPtr' type:'char *'> <var: 'fileSize' type:'squeakFileOffsetType '> "allocate storage for results, remapping newly allocated oops in case GC happens during allocation" interpreterProxy pushRemappableOop: (interpreterProxy instantiateClass: (interpreterProxy classArray) indexableSize: 5). interpreterProxy pushRemappableOop: + (interpreterProxy instantiateClass: (interpreterProxy classString) indexableSize: entryNameSize). - (interpreterProxy instantiateClass: (interpreterProxy classString) indexableSize: entryNameSize).. interpreterProxy pushRemappableOop: (interpreterProxy positive32BitIntegerFor: createDate). interpreterProxy pushRemappableOop: (interpreterProxy positive32BitIntegerFor: modifiedDate). interpreterProxy pushRemappableOop: (interpreterProxy positive64BitIntegerFor: fileSize). fileSizeOop := interpreterProxy popRemappableOop. modDateOop := interpreterProxy popRemappableOop. createDateOop := interpreterProxy popRemappableOop. nameString := interpreterProxy popRemappableOop. results := interpreterProxy popRemappableOop. "copy name into Smalltalk string" stringPtr := interpreterProxy firstIndexableField: nameString. 0 to: entryNameSize - 1 do: [ :i | stringPtr at: i put: (entryName at: i). ]. interpreterProxy storePointer: 0 ofObject: results withValue: nameString. interpreterProxy storePointer: 1 ofObject: results withValue: createDateOop. interpreterProxy storePointer: 2 ofObject: results withValue: modDateOop. dirFlag ifTrue: [ interpreterProxy storePointer: 3 ofObject: results withValue: interpreterProxy trueObject ] ifFalse: [ interpreterProxy storePointer: 3 ofObject: results withValue: interpreterProxy falseObject ]. interpreterProxy storePointer: 4 ofObject: results withValue: fileSizeOop. ^ results! Item was changed: ----- Method: IA32ABIPlugin>>primReturnFromContextThrough (in category 'primitives-callbacks') ----- primReturnFromContextThrough "Return a result from a callback to the callback's callee. The primitive has a signature of either of the forms: result <FFICallbackResult> primReturnFromContext: callbackContext <MethodContext> through: jmpBuf <Integer> result <FFICallbackResult> primSignal: aSemaphore <Semaphore> andReturnFromContext: callbackContext <MethodContext> through: jmpBuf <Integer> <primitive: 'primReturnFromContextThrough' error: errorCode module: 'IA32ABI'>. If of the second form answer true if this is not the most recent callback, and signal aSemaphore if it is, so as to implement LIFO ordering of callbacks." <export: true> <legacy> | mac vmCallbackContext vmCallbackReturnValue isMostRecent | <var: #vmCallbackContext type: #'VMCallbackContext *'> <var: #vmCallbackReturnValue type: #'VMCallbackReturnValue *'> vmCallbackContext := self cCoerceSimple: (interpreterProxy positive32BitValueOf: (interpreterProxy stackValue: 0)) to: #'VMCallbackContext *'. (interpreterProxy failed or: [vmCallbackContext = 0]) ifTrue: [^interpreterProxy primitiveFailFor: PrimErrBadArgument]. (mac := interpreterProxy methodArgumentCount) = 3 ifTrue: [isMostRecent := vmCallbackContext = self getMostRecentCallbackContext. isMostRecent ifFalse: [interpreterProxy methodReturnValue: interpreterProxy trueObject. ^nil]. (interpreterProxy fetchClassOf: (interpreterProxy stackValue: 2)) = interpreterProxy classSemaphore ifFalse: [^interpreterProxy primitiveFailFor: PrimErrBadArgument]. [interpreterProxy signalNoResume: (interpreterProxy stackValue: 2)] whileFalse]. vmCallbackReturnValue := self cCoerceSimple: (self startOfData: (interpreterProxy stackValue: mac)) + to: #'VMCallbackReturnValue *'. - to: #'VMCallbackReturnValue *'.. self cCode: "C needs a typedef for structs to be assigned, but that implies a struct class for just one assignment." [self mem: (self addressOf: vmCallbackContext rvs) cp: (self addressOf: vmCallbackReturnValue crvrvs) y: (self sizeof: vmCallbackContext rvs)] inSmalltalk: [vmCallbackContext rvs: vmCallbackReturnValue crvrvs]. (interpreterProxy returnAs: (interpreterProxy integerObjectOf: vmCallbackReturnValue type + 1) ThroughCallback: vmCallbackContext Context: (interpreterProxy stackValue: 1)) ifFalse: [^interpreterProxy primitiveFailFor: PrimErrBadArgument]. "NOTREACHED"! Item was changed: ----- Method: InterpreterSimulator>>makeDirEntryName:size:createDate:modDate:isDir:fileSize: (in category 'file primitives') ----- makeDirEntryName: entryName size: entryNameSize createDate: createDate modDate: modifiedDate isDir: dirFlag fileSize: fileSize | modDateOop createDateOop nameString results | <var: 'entryName' type: 'char *'> "allocate storage for results, remapping newly allocated oops in case GC happens during allocation" self pushRemappableOop: (self instantiateClass: (self splObj: ClassArray) indexableSize: 5). self pushRemappableOop: + (self instantiateClass: (self splObj: ClassByteString) indexableSize: entryNameSize). - (self instantiateClass: (self splObj: ClassByteString) indexableSize: entryNameSize).. self pushRemappableOop: (self positive32BitIntegerFor: createDate). self pushRemappableOop: (self positive32BitIntegerFor: modifiedDate). modDateOop := self popRemappableOop. createDateOop := self popRemappableOop. nameString := self popRemappableOop. results := self popRemappableOop. 1 to: entryNameSize do: [ :i | self storeByte: i-1 ofObject: nameString withValue: (entryName at: i) asciiValue. ]. self storePointer: 0 ofObject: results withValue: nameString. self storePointer: 1 ofObject: results withValue: createDateOop. self storePointer: 2 ofObject: results withValue: modDateOop. dirFlag ifTrue: [ self storePointer: 3 ofObject: results withValue: trueObj ] ifFalse: [ self storePointer: 3 ofObject: results withValue: falseObj ]. self storePointer: 4 ofObject: results withValue: (self integerObjectOf: fileSize). ^ results ! Item was changed: ----- Method: NewspeakInterpreter>>primitiveByteArrayNByteIIntegerAtPut (in category 'array and stream primitive support') ----- primitiveByteArrayNByteIIntegerAtPut "Store a (signed or unsigned) n byte integer at the given byte offset." | isSigned byteSize byteOffset rcvr addr value max valueOop | <export: true> <inline: false> isSigned := self booleanValueOf: (self stackValue: 0). byteSize := self stackIntegerValue: 1. valueOop := self stackValue: 2. byteOffset := self stackIntegerValue: 3. self failed ifTrue: [^self primitiveFailFor: PrimErrBadArgument]. rcvr := self stackObjectValue: 4. self failed ifTrue: [^self primitiveFailFor: PrimErrInappropriate]. (byteOffset > 0 and:[byteSize = 1 or:[byteSize = 2 or:[byteSize = 4]]]) ifFalse:[^self primitiveFailFor: PrimErrBadArgument]. addr := self addressOf: rcvr startingAt: byteOffset size: byteSize. self failed ifTrue:[^0]. isSigned ifTrue:[value := self signed32BitValueOf: valueOop] ifFalse:[value := self positive32BitValueOf: valueOop]. self failed ifTrue:[^0]. byteSize < 4 ifTrue: [isSigned ifTrue:[ max := 1 << (8 * byteSize - 1). value >= max ifTrue:[^self primitiveFail]. value < (0 - max) ifTrue:[^self primitiveFail]. ] ifFalse:[ value >= (1 << (8*byteSize)) ifTrue:[^self primitiveFail]. ]. (self isOopImmutable: rcvr) ifTrue: + [^self primitiveFailFor: PrimErrNoModification]. - [^self primitiveFailFor: PrimErrNoModification].. "short/byte" byteSize = 1 ifTrue:[self byteAt: addr put: value] ifFalse:[ self cCode: '*((short int *) addr) = value' inSmalltalk: [self shortAt: addr put: value]]] ifFalse: [(self isOopImmutable: rcvr) ifTrue: [^self primitiveFailFor: PrimErrNoModification]. self longAt: addr put: value]. self pop: 5. ^self push: valueOop.! Item was changed: ----- Method: NewspeakInterpreterSimulator>>makeDirEntryName:size:createDate:modDate:isDir:fileSize: (in category 'file primitives') ----- makeDirEntryName: entryName size: entryNameSize createDate: createDate modDate: modifiedDate isDir: dirFlag fileSize: fileSize | modDateOop createDateOop nameString results | <var: 'entryName' type: 'char *'> "allocate storage for results, remapping newly allocated oops in case GC happens during allocation" self pushRemappableOop: (self instantiateClass: (self splObj: ClassArray) indexableSize: 5). self pushRemappableOop: + (self instantiateClass: (self splObj: ClassByteString) indexableSize: entryNameSize). - (self instantiateClass: (self splObj: ClassByteString) indexableSize: entryNameSize).. self pushRemappableOop: (self positive32BitIntegerFor: createDate). self pushRemappableOop: (self positive32BitIntegerFor: modifiedDate). modDateOop := self popRemappableOop. createDateOop := self popRemappableOop. nameString := self popRemappableOop. results := self popRemappableOop. 1 to: entryNameSize do: [ :i | self storeByte: i-1 ofObject: nameString withValue: (entryName at: i) asciiValue. ]. self storePointer: 0 ofObject: results withValue: nameString. self storePointer: 1 ofObject: results withValue: createDateOop. self storePointer: 2 ofObject: results withValue: modDateOop. dirFlag ifTrue: [ self storePointer: 3 ofObject: results withValue: trueObj ] ifFalse: [ self storePointer: 3 ofObject: results withValue: falseObj ]. self storePointer: 4 ofObject: results withValue: (self integerObjectOf: fileSize). ^ results ! Item was changed: ----- Method: NewsqueakIA32ABIPlugin>>primReturnFromContextThrough (in category 'primitives-callbacks') ----- primReturnFromContextThrough "Return a result from a callback to the callback's callee. The primitive has a signature of either of the forms: result <FFICallbackResult> primReturnFromContext: callbackContext <MethodContext> through: jmpBuf <Integer> result <FFICallbackResult> primSignal: aSemaphore <Semaphore> andReturnFromContext: callbackContext <MethodContext> through: jmpBuf <Integer> <primitive: 'primReturnFromContextThrough' error: errorCode module: 'IA32ABI'>. If of the second form answer true if this is not the most recent callback, and signal aSemaphore if it is, so as to implement LIFO ordering of callbacks." <export: true> <legacy> | mac vmCallbackContext vmCallbackReturnValue isMostRecent | <var: #vmCallbackContext type: #'VMCallbackContext *'> <var: #vmCallbackReturnValue type: #'VMCallbackReturnValue *'> vmCallbackContext := self cCoerceSimple: (interpreterProxy positive32BitValueOf: (interpreterProxy stackValue: 0)) to: #'VMCallbackContext *'. (interpreterProxy failed or: [vmCallbackContext = 0]) ifTrue: [^interpreterProxy primitiveFailFor: PrimErrBadArgument]. (mac := interpreterProxy methodArgumentCount) = 3 ifTrue: [isMostRecent := vmCallbackContext = self getMostRecentCallbackContext. isMostRecent ifFalse: [interpreterProxy methodReturnValue: interpreterProxy trueObject. ^nil]. (interpreterProxy fetchClassOf: (interpreterProxy stackValue: 2)) = interpreterProxy classSemaphore ifFalse: [^interpreterProxy primitiveFailFor: PrimErrBadArgument]. [interpreterProxy signalNoResume: (interpreterProxy stackValue: 2)] whileFalse]. vmCallbackReturnValue := self cCoerceSimple: (self startOfData: (interpreterProxy stackValue: mac)) + to: #'VMCallbackReturnValue *'. - to: #'VMCallbackReturnValue *'.. self cCode: "C needs a typedef for structs to be assigned, but that implies a struct class for just one assignment." [self mem: (self addressOf: vmCallbackContext rvs) cp: (self addressOf: vmCallbackReturnValue crvrvs) y: (self sizeof: vmCallbackContext rvs)] inSmalltalk: [vmCallbackContext rvs: vmCallbackReturnValue crvrvs]. (interpreterProxy returnAs: (interpreterProxy integerObjectOf: vmCallbackReturnValue type + 1) ThroughCallback: vmCallbackContext Context: (interpreterProxy stackValue: 1)) ifFalse: [^interpreterProxy primitiveFailFor: PrimErrBadArgument]. "NOTREACHED"! Item was changed: ----- Method: SimpleStackBasedCogit>>genPrimitiveClass (in category 'primitive generators') ----- genPrimitiveClass "Stack looks like receiver (also in ReceiverResultReg) return address" (objectRepresentation genGetClassObjectOf: ReceiverResultReg into: ReceiverResultReg scratchReg: TempReg instRegIsReceiver: methodOrBlockNumArgs = 0) = BadRegisterSet ifTrue: [objectRepresentation genGetClassObjectOf: ReceiverResultReg into: ClassReg scratchReg: TempReg instRegIsReceiver: methodOrBlockNumArgs = 0. + self MoveR: ClassReg R: ReceiverResultReg]. - self MoveR: ClassReg R: ReceiverResultReg].. self flag: 'currently caller pushes result'. self RetN: BytesPerWord. ^0! Item was changed: ----- Method: SpurGenerationScavenger>>fireEphemeronsOnEphemeronList (in category 'weakness and ephemerality') ----- fireEphemeronsOnEphemeronList "There are ephemerons to be fired in the remembered set. Fire them and scavenge their keys. Be careful since copyAndForward: can remember ephemerons (ephemerons pointing to ephemerons)." | ephemeron ephemeronCorpse | ephemeronList ifNil: [^self]. ephemeronCorpse := self firstCorpse: ephemeronList. "Reset the list head so that new ephemerons will get added to a new list, not concatenated on the one we are scanning." ephemeronList := nil. [ephemeronCorpse notNil] whileTrue: [self assert: (manager isForwarded: ephemeronCorpse). ephemeron := manager followForwarded: ephemeronCorpse. + self assert: (self isScavengeSurvivor: (manager keyOfEphemeron: ephemeron)) not. - self assert: (self isScavengeSurvivor: (manager keyOfEphemeron: ephemeron)) not.. coInterpreter fireEphemeron: ephemeron. self copyAndForward: (manager keyOfEphemeron: ephemeron). self cCoerceSimple: (self scavengeReferentsOf: ephemeron) to: #void. ephemeronCorpse := self nextCorpseOrNil: ephemeronCorpse]! Item was changed: ----- Method: SpurMemoryManager>>initialInstanceOf: (in category 'object enumeration') ----- initialInstanceOf: classObj <inline: false> | classIndex | classIndex := self rawHashBitsOf: classObj. classIndex = 0 ifTrue: [^nil]. "flush instances in newSpace to settle the enumeration." + self flushNewSpaceInstancesOf: classObj. - self flushNewSpaceInstancesOf: classObj.. self allObjectsDo: [:objOop| classIndex = (self classIndexOf: objOop) ifTrue: [^objOop]]. ^nil! Item was changed: ----- Method: StackInterpreter>>externalSetStackPageAndPointersForSuspendedContextOfProcess: (in category 'frame access') ----- externalSetStackPageAndPointersForSuspendedContextOfProcess: aProcess "Set stackPage, instructionPointer, framePointer and stackPointer for the suspendedContext of aProcess, marrying the context if necessary, and niling the suspendedContext slot. This is used on process switch to ensure a context has a stack frame and so can continue execution." | newContext theFrame thePage newPage | <var: #theFrame type: #'char *'> <var: #thePage type: #'StackPage *'> <var: #newPage type: #'StackPage *'> newContext := objectMemory fetchPointer: SuspendedContextIndex ofObject: aProcess. self assert: (objectMemory isContext: newContext). (self isMarriedOrWidowedContext: newContext) ifTrue: [self assert: (self checkIsStillMarriedContext: newContext currentFP: framePointer)]. objectMemory storePointerUnchecked: SuspendedContextIndex ofObject: aProcess withValue: objectMemory nilObject. (self isStillMarriedContext: newContext) ifTrue: [theFrame := self frameOfMarriedContext: newContext. thePage := stackPages stackPageFor: theFrame. theFrame ~= thePage headFP ifTrue: ["explicit assignment of suspendedContext can cause switch to interior frame." newPage := self newStackPage. self moveFramesIn: thePage through: (self findFrameAbove: theFrame inPage: thePage) toPage: newPage. stackPages markStackPageLeastMostRecentlyUsed: newPage]. self assert: thePage headFP = theFrame] ifFalse: [thePage := self makeBaseFrameFor: newContext. theFrame := thePage baseFP]. self setStackPageAndLimit: thePage. stackPointer := thePage headSP. framePointer := thePage headFP. (self isMachineCodeFrame: framePointer) ifFalse: + [self setMethod: (self iframeMethod: framePointer)]. - [self setMethod: (self iframeMethod: framePointer)].. instructionPointer := self popStack. self assertValidExecutionPointe: instructionPointer r: framePointer s: stackPointer! Item was changed: ----- Method: StackInterpreter>>followForwardingPointersInStackZone: (in category 'object memory support') ----- followForwardingPointersInStackZone: becomeEffectsFlags "Spur's become: is lazy, turning the becommed object into a forwarding object to the other. The read-barrier is minimised by arranging that forwarding pointers will fail a method cache probe, since notionally objects' internals are accessed only via sending messages to them (the exception + is primitives that access the internals of the non-receiver argument(s). - is primitives that access the internals of the non-receiver argument(s).. To avoid a read barrier on bytecode, literal and inst var fetch we scan the receivers and methods in the stack zone and follow any forwarded ones. This is of course way cheaper than scanning all of memory as in the old become." | theIPPtr | <inline: false> <var: #thePage type: #'StackPage *'> <var: #theSP type: #'char *'> <var: #theFP type: #'char *'> <var: #callerFP type: #'char *'> <var: #theIPPtr type: #'char *'> (becomeEffectsFlags anyMask: BecameCompiledMethodFlag) ifTrue: [(objectMemory isForwarded: method) ifTrue: [theIPPtr := instructionPointer - method. method := objectMemory followForwarded: method. instructionPointer := method + theIPPtr]. (objectMemory isForwarded: newMethod) ifTrue: [newMethod := objectMemory followForwarded: newMethod]]. self assert: stackPage ~= 0. 0 to: numStackPages - 1 do: [:i| | thePage theSP theFP callerFP theIP oop | thePage := stackPages stackPageAt: i. thePage isFree ifFalse: [theSP := thePage headSP. theFP := thePage headFP. "Skip the instruction pointer on top of stack of inactive pages." thePage = stackPage ifTrue: [theIPPtr := 0] ifFalse: [theIPPtr := theSP. theSP := theSP + BytesPerWord]. [self assert: (thePage addressIsInPage: theFP). self assert: (theIPPtr = 0 or: [thePage addressIsInPage: theIPPtr]). oop := stackPages longAt: theFP + FoxReceiver. ((objectMemory isNonImmediate: oop) and: [(objectMemory isForwarded: oop)]) ifTrue: [stackPages longAt: theFP + FoxReceiver put: (objectMemory followForwarded: oop)]. theIP := theFP + (self frameStackedReceiverOffset: theFP). "reuse theIP; its just an offset here" oop := stackPages longAt: theIP. ((objectMemory isNonImmediate: oop) and: [(objectMemory isForwarded: oop)]) ifTrue: [stackPages longAt: theIP put: (objectMemory followForwarded: oop)]. ((self frameHasContext: theFP) and: [(objectMemory isForwarded: (self frameContext: theFP))]) ifTrue: [stackPages longAt: theFP + FoxThisContext put: (objectMemory followForwarded: (self frameContext: theFP))]. oop := self frameMethod: theFP. (objectMemory isForwarded: oop) ifTrue: [| delta | theIPPtr ~= 0 ifTrue: [self assert: (stackPages longAt: theIPPtr) > (self frameMethod: theFP). delta := (objectMemory followForwarded: oop) - oop. stackPages longAt: theIPPtr put: (stackPages longAt: theIPPtr) + delta]. stackPages longAt: theFP + FoxMethod put: (objectMemory followForwarded: oop)]. self followNecessaryForwardingInMethod: (self frameMethod: theFP). (callerFP := self frameCallerFP: theFP) ~= 0] whileTrue: [theIPPtr := theFP + FoxCallerSavedIP. theFP := callerFP]]]! Item was changed: ----- Method: StackInterpreter>>printActivationNameForSelector:startClass: (in category 'debug printing') ----- printActivationNameForSelector: aSelector startClass: startClass | methClass | <inline: false> (objectMemory addressCouldBeObj: startClass) ifTrue: [self findClassForSelector: aSelector lookupClass: startClass do: [:class| methClass := class]. (methClass isNil or: [startClass = methClass]) ifTrue: + [self printNameOfClass: methClass count: 5. - [self printNameOfClass: methClass count: 5.. self printChar: $>. methClass ifNil: [self printStringOf: (objectMemory splObj: SelectorDoesNotUnderstand). self print: ' ']] ifFalse: [self printNameOfClass: startClass count: 5. self printChar: $(. self printNameOfClass: methClass count: 5. self printChar: $). self printChar: $>]] ifFalse: [self print: 'INVALID CLASS']. (objectMemory addressCouldBeOop: aSelector) ifTrue: [(objectMemory isBytes: aSelector) ifTrue: [self printStringOf: aSelector] ifFalse: [self printOopShort: aSelector]] ifFalse: [self print: 'INVALID SELECTOR']! Item was changed: ----- Method: StackToRegisterMappingCogit class>>stackToRegisterMapping (in category 'documentation') ----- stackToRegisterMapping "Stack to register mapping is enabled via a simulation stack { simStack. simStackPtr, simSpillBase } of operand descriptors (CogSimStackEntry) which serve - to avoid pushing operands to the actual stack by deferring operand manipulation until an operand-consuming operation (send, store, run-time call) - to record operand type information for constants to avoid unnecessary type checks (e.g. tag checks) - as a simple register allocator since any live registers are recorded in descriptors on the stack. The operand types are SSBaseOffset - a value in memory at an offset relative to some register. For method receiver args and temps the base register is FPReg (in a frameful method). For indirect temps the register could be any unassigned register. SSConstant - a method literal, hence a Smalltalk object SSRegister - the result of an expression assigned to a register SSSpill - a value spilled to the actual stack The special descriptor simSelf defines self in the current method, relative to FPReg in frameful methods and in a register in frameless methods. The register allocator aspect allocates registers by searching for SSBaseOffset and SSRegister descriptors, computing the set of live registers, and then enumerating to find unused ones. Simulation stack contents must be spilled to the actual stack - at a send (since at a suspension point the actual stack must be valid), - to make a register available if the code generator needs it - at a control flow join (since the two control flows could compute different stack contents and we choose to avoid the complexity of saving stack contents to allow merging at join points). At a control-flow join we must discard type information for values pushed to the stack in either arm of the control-flow, but need /not/ for items pushed before the control flow diverged. e.g. in self at: 1 put: (expr ifTrue: [v1] ifFalse: [v2]). the 1 is still valid after the control flow join for (expr ifTrue: [v1] ifFalse: [v2]). So at a conditional branch we record simStackPtr in the target fixup and only void types between it and the simStackPtr at the join point. This type voiding operation is called merge:. For now we simply throw + away all type info but would like to implement the baove scheme soon. - away all type info but would like to implement the baove scheme soon.. We can determine the stack depth at a conditional branch (if), but how do we determine the stack depth following an unconditional jump (else)? There are essentially three cases e ifTrue: [u] ifFalse: [v], e ifTrue: [^u] ifFalse: [v], e ifTrue: [u] ifFalse: [^v] 1 expr 2 jumpCond L1 3 push 4 jump L2 5 L1: 6 push 7 L2: 1 expr 2 jumpCond L1 3 ret 4 L1: 5 push 1 expr 2 jumpCond L1 3 push 4 jump L2 5 L1: 6 ret 7 L2: In the first case we can know the merge base at L2 by propagating the merge base from 4 jump L2, which preceeds the target of 2 jumpCond L1. i.e. the merge base at 7 L2 is the stack pointer at 4 jump L2, which preceeds the target of 2 jumpCond L1. So at 2 jumpCond L1 we copy the stack pointer to the merge base at 5 L1, /and/ to the preceeding 4 jump L2, and when we reach 4 jump L2, propagate the merge base to 7 L2. Since we're conscious of JIT performance we restrict the live register search range by maintaining simSpillBase, which is the index of the unspilled entry furthest from the end of simulation stack. Only entries from simSpillBase to simStackPtr can contain unspilled, and hence live and volatile registers (the FPReg is not volatile). We further optimize by maintaining a simple optimization status for register contents. We record whether ReceiverResultReg contains the receiver or an indirect temp vector and merge this status at control-flow joins."! Item was changed: ----- Method: StackToRegisterMappingCogit>>generateMissAbortTrampolines (in category 'initialization') ----- generateMissAbortTrampolines + "Generate the run-time entries for the various method and PIC entry misses and aborts. - "Generate the run-time entries for the various method and PIC entry misses and aborts.. Read the class-side method trampolines for documentation on the various trampolines" "Slang needs these apparently superfluous asSymbol sends." 0 to: self numRegArgs + 1 do: [:numArgs| methodAbortTrampolines at: numArgs put: (self genMethodAbortTrampolineFor: numArgs)]. 0 to: self numRegArgs + 1 do: [:numArgs| picAbortTrampolines at: numArgs put: (self genPICAbortTrampolineFor: numArgs)]. 0 to: self numRegArgs + 1 do: [:numArgs| picMissTrampolines at: numArgs put: (self genPICMissTrampolineFor: numArgs)]. self cCode: '' inSmalltalk: [simulatedTrampolines at: (self simulatedAddressFor: #ceSendFromInLineCacheMiss:) put: #ceSendFromInLineCacheMiss:]!

1 0

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

04 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.435.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.435 Author: eem Time: 4 October 2013, 2:06:15.593 pm UUID: 0c12fb89-e1e8-4428-8d8f-a18236386c12 Ancestors: VMMaker.oscog-eem.434 Avoid forwarding when obtaining classIndex or classObj in machine code by adding instRegIsReceiver: instRegIsReceiver to genGetClassObjectOf:into:scratchReg:(instRegIsReceiver:). Update StackInterpreterSimulator>>writeImageFileIO: to match CogVMSimulator. Simplify two putLong:toFile: implementations. =============== Diff against VMMaker.oscog-eem.434 =============== Item was removed: - ----- Method: CogObjectRepresentationForSpur>>genGetClassObjectOf:into:scratchReg: (in category 'compile abstract instructions') ----- - genGetClassObjectOf: instReg into: destReg scratchReg: scratchReg - "Fetch the instance's class into destReg." - | jumpIsImm jumpNotForwarded loop | - <var: #jumpIsImm type: #'AbstractInstruction *'> - <var: #jumpNotForwarded type: #'AbstractInstruction *'> - <var: #loop type: #'AbstractInstruction *'> - instReg = destReg ifTrue: - [^BadRegisterSet]. - loop := cogit MoveR: instReg R: scratchReg. - cogit AndCq: objectMemory tagMask R: scratchReg. - jumpIsImm := cogit JumpNonZero: 0. - self flag: #endianness. - "Get least significant half of header word in destReg" - cogit MoveMw: 0 r: instReg R: scratchReg. - "mask off class index" - cogit AndCq: objectMemory classIndexMask R: scratchReg. - "if it is forwarded..." - cogit CmpCq: objectMemory isForwardedObjectClassIndexPun R: scratchReg. - jumpNotForwarded := cogit JumpNonZero: 0. - "...follow the forwarding pointer and loop to fetch its classIndex" - cogit MoveMw: objectMemory baseHeaderSize r: instReg R: instReg. - cogit Jump: loop. - jumpNotForwarded jmpTarget: (jumpIsImm jmpTarget: cogit Label). - cogit MoveR: scratchReg R: destReg. - cogit PushR: instReg. - self genGetClassObjectOfClassIndex: destReg into: instReg scratchReg: TempReg. - cogit MoveR: instReg R: destReg. - cogit PopR: instReg. - ^0! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genGetClassObjectOf:into:scratchReg:instRegIsReceiver: (in category 'compile abstract instructions') ----- + genGetClassObjectOf: instReg into: destReg scratchReg: scratchReg instRegIsReceiver: instRegIsReceiver + "Fetch the instance's class into destReg." + | jumpIsImm jumpNotForwarded loop | + <var: #jumpIsImm type: #'AbstractInstruction *'> + <var: #jumpNotForwarded type: #'AbstractInstruction *'> + <var: #loop type: #'AbstractInstruction *'> + instReg = destReg ifTrue: + [^BadRegisterSet]. + loop := cogit MoveR: instReg R: scratchReg. + cogit AndCq: objectMemory tagMask R: scratchReg. + jumpIsImm := cogit JumpNonZero: 0. + self flag: #endianness. + "Get least significant half of header word in destReg" + cogit MoveMw: 0 r: instReg R: scratchReg. + "mask off class index" + cogit AndCq: objectMemory classIndexMask R: scratchReg. + instRegIsReceiver ifFalse: + ["if it is forwarded..." + cogit CmpCq: objectMemory isForwardedObjectClassIndexPun R: scratchReg. + jumpNotForwarded := cogit JumpNonZero: 0. + "...follow the forwarding pointer and loop to fetch its classIndex" + cogit MoveMw: objectMemory baseHeaderSize r: instReg R: instReg. + cogit Jump: loop. + jumpNotForwarded jmpTarget: cogit Label]. + jumpIsImm jmpTarget: + (cogit MoveR: scratchReg R: destReg). + cogit PushR: instReg. + self genGetClassObjectOfClassIndex: destReg into: instReg scratchReg: TempReg. + cogit MoveR: instReg R: destReg. + cogit PopR: instReg. + ^0! Item was removed: - ----- Method: CogObjectRepresentationForSqueakV3>>genGetClassObjectOf:into:scratchReg: (in category 'compile abstract instructions') ----- - genGetClassObjectOf: instReg into: destReg scratchReg: scratchReg - "Fetch the instance's class into destReg. This is almost identical - to genGetClassFormatOfNonInt:into:scratchReg: but because we - put the fetch of SmallInteger between the then and the else for - compact class/non-compact class we cannot easily share code." - | jumpIsInt jumpCompact jumpGotClass jumpGotClass2 | - <var: #jumpIsInt type: #'AbstractInstruction *'> - <var: #jumpCompact type: #'AbstractInstruction *'> - <var: #jumpGotClass type: #'AbstractInstruction *'> - <var: #jumpGotClass2 type: #'AbstractInstruction *'> - cogit MoveR: instReg R: scratchReg. - cogit AndCq: 1 R: scratchReg. - jumpIsInt := cogit JumpNonZero: 0. - "Get header word in scratchReg" - cogit MoveMw: 0 r: instReg R: scratchReg. - "Form the byte index of the compact class field" - cogit LogicalShiftRightCq: (objectMemory compactClassFieldLSB - ShiftForWord) R: scratchReg. - cogit AndCq: self compactClassFieldMask << ShiftForWord R: scratchReg. - jumpCompact := cogit JumpNonZero: 0. - cogit MoveMw: objectMemory classFieldOffset r: instReg R: destReg. - cogit AndCq: AllButTypeMask signedIntFromLong R: destReg. - jumpGotClass := cogit Jump: 0. - jumpIsInt jmpTarget: - (cogit annotate: (cogit MoveCw: objectMemory classSmallInteger R: destReg) - objRef: objectMemory classSmallInteger). - jumpGotClass2 := cogit Jump: 0. - "Don't have to subtract one from the destReg compactClassArray index because of the header word." - self assert: BaseHeaderSize = BytesPerWord. - jumpCompact jmpTarget: - (cogit annotate: (cogit MoveMw: (objectMemory splObj: CompactClasses) r: scratchReg R: destReg) - objRef: (objectMemory splObj: CompactClasses)). - jumpGotClass jmpTarget: - (jumpGotClass2 jmpTarget: cogit Label). - ^0! Item was added: + ----- Method: CogObjectRepresentationForSqueakV3>>genGetClassObjectOf:into:scratchReg:instRegIsReceiver: (in category 'compile abstract instructions') ----- + genGetClassObjectOf: instReg into: destReg scratchReg: scratchReg instRegIsReceiver: instRegIsReceiver + "Fetch the instance's class into destReg. This is almost identical + to genGetClassFormatOfNonInt:into:scratchReg: but because we + put the fetch of SmallInteger between the then and the else for + compact class/non-compact class we cannot easily share code. + instRegIsReceiver is ignored. It is for Spur compatibility where + objects may be forwarded." + | jumpIsInt jumpCompact jumpGotClass jumpGotClass2 | + <var: #jumpIsInt type: #'AbstractInstruction *'> + <var: #jumpCompact type: #'AbstractInstruction *'> + <var: #jumpGotClass type: #'AbstractInstruction *'> + <var: #jumpGotClass2 type: #'AbstractInstruction *'> + cogit MoveR: instReg R: scratchReg. + cogit AndCq: 1 R: scratchReg. + jumpIsInt := cogit JumpNonZero: 0. + "Get header word in scratchReg" + cogit MoveMw: 0 r: instReg R: scratchReg. + "Form the byte index of the compact class field" + cogit LogicalShiftRightCq: (objectMemory compactClassFieldLSB - ShiftForWord) R: scratchReg. + cogit AndCq: self compactClassFieldMask << ShiftForWord R: scratchReg. + jumpCompact := cogit JumpNonZero: 0. + cogit MoveMw: objectMemory classFieldOffset r: instReg R: destReg. + cogit AndCq: AllButTypeMask signedIntFromLong R: destReg. + jumpGotClass := cogit Jump: 0. + jumpIsInt jmpTarget: + (cogit annotate: (cogit MoveCw: objectMemory classSmallInteger R: destReg) + objRef: objectMemory classSmallInteger). + jumpGotClass2 := cogit Jump: 0. + "Don't have to subtract one from the destReg compactClassArray index because of the header word." + self assert: BaseHeaderSize = BytesPerWord. + jumpCompact jmpTarget: + (cogit annotate: (cogit MoveMw: (objectMemory splObj: CompactClasses) r: scratchReg R: destReg) + objRef: (objectMemory splObj: CompactClasses)). + jumpGotClass jmpTarget: + (jumpGotClass2 jmpTarget: cogit Label). + ^0! Item was changed: ----- Method: CogObjectRepresentationForSqueakV3>>genGetClassTagOf:into:scratchReg: (in category 'compile abstract instructions') ----- genGetClassTagOf: instReg into: destReg scratchReg: scratchReg "Compatibility with SpurObjectRepresentation/SpurMemoryManager." | entryLabel | <var: #entryLabel type: #'AbstractInstruction *'> cogit AlignmentNops: (BytesPerWord max: 8). entryLabel := cogit Label. + self genGetClassObjectOf: instReg into: destReg scratchReg: scratchReg instRegIsReceiver: nil. - self genGetClassObjectOf: instReg into: destReg scratchReg: scratchReg. ^entryLabel! Item was changed: ----- Method: Cogit>>generateNewspeakRuntime (in category 'initialization') ----- generateNewspeakRuntime <option: #NewspeakVM> | jumpMiss jumpItsTheReceiverStupid | <var: #jumpMiss type: #'AbstractInstruction *'> <var: #jumpItsTheReceiverStupid type: #'AbstractInstruction *'> "Generate the non-send runtime support for Newspeak, explicit outer and implicit receiver. The dynamic frequency of explicit outer is so low we merely call an interpreter routine." ceExplicitReceiverTrampoline := self genTrampolineFor: #ceExplicitReceiverAt: called: 'ceExplicitReceiverTrampoline' arg: SendNumArgsReg result: ReceiverResultReg. "Cached push implicit receiver implementation. Caller looks like mov selector, ClassReg call ceImplicitReceiver br continue Lclass: .word Lmixin:: .word continue: If class matches class of receiver then mixin contains either 0 or the implicit receiver. If 0, answer the actual receiver, otherwise the mixin. Generate the class fetch and cache probe inline for speed. Smashes Arg0Reg and caller-saved regs." opcodeIndex := 0. self MoveMw: FoxMFReceiver r: FPReg R: ReceiverResultReg. + objectRepresentation + genGetClassObjectOf: ReceiverResultReg + into: ClassReg + scratchReg: TempReg + instRegIsReceiver: true. "don't follow forwarding pointer here" - objectRepresentation genGetClassObjectOf: ReceiverResultReg into: ClassReg scratchReg: TempReg. self MoveMw: 0 r: SPReg R: TempReg. self MoveMw: backEnd jumpShortByteSize r: TempReg R: Arg1Reg. self CmpR: ClassReg R: Arg1Reg. jumpMiss := self JumpNonZero: 0. self MoveMw: backEnd jumpShortByteSize + BytesPerOop r: TempReg R: ClassReg. self CmpCq: 0 R: ClassReg. jumpItsTheReceiverStupid := self JumpZero: 0. self MoveR: ClassReg R: ReceiverResultReg. jumpItsTheReceiverStupid jmpTarget: (self RetN: 0). jumpMiss jmpTarget: self Label. ceImplicitReceiverTrampoline := self genTrampolineFor: #ceImplicitReceiverFor:receiver:class: called: 'ceImplicitReceiverTrampoline' callJumpBar: true numArgs: 3 arg: SendNumArgsReg arg: ReceiverResultReg arg: ClassReg arg: nil saveRegs: false resultReg: ReceiverResultReg appendOpcodes: true! Item was changed: ----- Method: InterpreterSimulatorMSB>>putLong:toFile: (in category 'image save/restore') ----- putLong: n toFile: f "Append the given 4-byte long word to the given file in my byte order. (Bytes will be swapped, if necessary, when the image is read on a different platform.) Set successFlag to false if the write fails." f nextPut: (n bitShift: -24); + nextPut: ((n bitShift: -16) bitAnd: 16rFF); + nextPut: ((n bitShift: -8) bitAnd: 16rFF); - nextPut: ((n bitAnd: 16rFF0000) bitShift: -16); - nextPut: ((n bitAnd: 16rFF00) bitShift: -8); nextPut: (n bitAnd: 16rFF). self success: true! Item was changed: ----- Method: NewspeakInterpreterSimulatorMSB>>putLong:toFile: (in category 'image save/restore') ----- putLong: n toFile: f "Append the given 4-byte long word to the given file in my byte order. (Bytes will be swapped, if necessary, when the image is read on a different platform.) Set successFlag to false if the write fails." f nextPut: (n bitShift: -24); + nextPut: ((n bitShift: -16) bitAnd: 16rFF); + nextPut: ((n bitShift: -8) bitAnd: 16rFF); - nextPut: ((n bitAnd: 16rFF0000) bitShift: -16); - nextPut: ((n bitAnd: 16rFF00) bitShift: -8); nextPut: (n bitAnd: 16rFF). self success: true! Item was changed: ----- Method: SimpleStackBasedCogit>>genPrimitiveClass (in category 'primitive generators') ----- genPrimitiveClass "Stack looks like receiver (also in ReceiverResultReg) return address" (objectRepresentation genGetClassObjectOf: ReceiverResultReg into: ReceiverResultReg + scratchReg: TempReg + instRegIsReceiver: methodOrBlockNumArgs = 0) = BadRegisterSet ifTrue: - scratchReg: TempReg) = BadRegisterSet ifTrue: [objectRepresentation genGetClassObjectOf: ReceiverResultReg into: ClassReg + scratchReg: TempReg + instRegIsReceiver: methodOrBlockNumArgs = 0. - scratchReg: TempReg. self MoveR: ClassReg R: ReceiverResultReg].. self flag: 'currently caller pushes result'. self RetN: BytesPerWord. ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>genSpecialSelectorClass (in category 'bytecode generators') ----- genSpecialSelectorClass self MoveMw: 0 r: SPReg R: SendNumArgsReg. + objectRepresentation + genGetClassObjectOf: SendNumArgsReg + into: ClassReg + scratchReg: TempReg + instRegIsReceiver: false. - objectRepresentation genGetClassObjectOf: SendNumArgsReg into: ClassReg scratchReg: TempReg. self MoveR: ClassReg Mw: 0 r: SPReg. ^0! Item was changed: ----- Method: SpurMemoryManager>>lookupAddress: (in category 'simulation only') ----- lookupAddress: address "If address appears to be that of a Symbol or a few well-known objects (such as classes) answer it, otherwise answer nil. For code disassembly" <doNotGenerate> | fmt size string class classSize maybeThisClass classNameIndex thisClassIndex | (self addressCouldBeObj: address) ifFalse: [^nil]. + address - self baseHeaderSize = classTableRootObj ifTrue: + [^'(classTableRoot+baseHeaderSize)']. fmt := self formatOf: address. size := self lengthOf: address baseHeader: (self baseHeader: address) format: fmt. size = 0 ifTrue: [^address caseOf: { [nilObj] -> ['nil']. [trueObj] -> ['true']. [falseObj] -> ['false'] } otherwise: []]. ((fmt between: self firstByteFormat and: self firstCompiledMethodFormat - 1) "indexable byte fields" and: [(size between: 1 and: 64) and: [Scanner isLiteralSymbol: (string := (0 to: size - 1) collect: [:i| Character value: (self fetchByte: i ofObject: address)])]]) ifTrue: [^'#', (ByteString withAll: string)]. class := self fetchClassOfNonImm: address. (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" (fmt = 1 and: [size >= classNameIndex]) ifTrue: ["Is address a class? If so class's thisClass is address." (self lookupAddress: (self fetchPointer: classNameIndex ofObject: address)) ifNotNil: [:maybeClassName| (self fetchPointer: thisClassIndex ofObject: class) = address ifTrue: [^maybeClassName allButFirst]]. "Is address a Metaclass? If so class's name is Metaclass and address's thisClass holds the class name" ((self isBytes: (self fetchPointer: classNameIndex ofObject: class)) and: [(self lookupAddress: (self fetchPointer: classNameIndex ofObject: class)) = '#Metaclass' and: [size >= thisClassIndex]]) ifTrue: [maybeThisClass := self fetchPointer: thisClassIndex ofObject: address. (self lookupAddress: (self fetchPointer: classNameIndex ofObject: maybeThisClass)) ifNotNil: [:maybeThisClassName| ^maybeThisClassName allButFirst, ' class']]]. ^(self lookupAddress: (self fetchPointer: classNameIndex ofObject: class)) ifNotNil: [:maybeClassName| 'a(n) ', maybeClassName allButFirst]! Item was changed: ----- Method: StackInterpreterSimulator>>writeImageFileIO: (in category 'image save/restore') ----- writeImageFileIO: numberOfBytesToWrite "Actually emit the first numberOfBytesToWrite object memory bytes onto the snapshot." | headerSize file | BytesPerWord = 4 ifFalse: [self error: 'Not rewritten for 64 bits yet']. headerSize := 64. [ file := FileStream fileNamed: imageName. file == nil ifTrue: [self primitiveFail. ^nil]. file binary. + - { self imageFormatVersion. headerSize. numberOfBytesToWrite. objectMemory startOfMemory. (objectMemory specialObjectsOop). (objectMemory lastHash). self ioScreenSize. + self getImageHeaderFlags. - fullScreenFlag. extraVMMemory } do: [:long | self putLong: long toFile: file]. + { desiredNumStackPages. self unknownShortOrCodeSizeInKs } do: - { desiredNumStackPages. self unknownShortOrCodeSizeInKs } do: [:short| self putShort: short toFile: file]. self putLong: desiredEdenBytes toFile: file. { maxExtSemTabSizeSet ifTrue: [self ioGetMaxExtSemTableSize] ifFalse: [0]. 0 } do: [:short| self putShort: short toFile: file]. "Pad the rest of the header." 4 timesRepeat: [self putLong: 0 toFile: file]. "Position the file after the header." file position: headerSize. "Write the object memory." objectMemory startOfMemory // 4 + 1 to: numberOfBytesToWrite // 4 do: [:index | self putLong: (objectMemory memory at: index) toFile: file]. self success: true ] ensure: [file ifNotNil: [file close]]! Item was changed: ----- Method: StackToRegisterMappingCogit>>genPrimitiveClass (in category 'primitive generators') ----- genPrimitiveClass "Depending on argument count the argument is either 0 args: ReceiverResultReg 1 args: Arg0Reg N args: top of stack (assuming 1 reg arg for now)" | reg | methodOrBlockNumArgs = 1 ifTrue: [reg := Arg0Reg] ifFalse: [methodOrBlockNumArgs > 0 ifTrue: [self MoveMw: BytesPerWord r: SPReg R: ReceiverResultReg]. reg := ReceiverResultReg]. (objectRepresentation genGetClassObjectOf: reg into: ReceiverResultReg + scratchReg: TempReg + instRegIsReceiver: methodOrBlockNumArgs = 0) = BadRegisterSet ifTrue: - scratchReg: TempReg) = BadRegisterSet ifTrue: [objectRepresentation genGetClassObjectOf: reg into: ClassReg + scratchReg: TempReg + instRegIsReceiver: methodOrBlockNumArgs = 0. - scratchReg: TempReg. self MoveR: ClassReg R: ReceiverResultReg]. self RetN: 0. ^0! Item was changed: ----- Method: StackToRegisterMappingCogit>>genSpecialSelectorClass (in category 'bytecode generators') ----- genSpecialSelectorClass | topReg | topReg := self ssTop registerOrNil. self ssPop: 1. (topReg isNil or: [topReg = ClassReg]) ifTrue: [self ssAllocateRequiredReg: (topReg := SendNumArgsReg) and: ClassReg] ifFalse: [self ssAllocateRequiredReg: ClassReg]. self ssPush: 1. self ssTop popToReg: topReg. + objectRepresentation + genGetClassObjectOf: topReg + into: ClassReg + scratchReg: TempReg + instRegIsReceiver: false. - objectRepresentation genGetClassObjectOf: topReg into: ClassReg scratchReg: TempReg. ^self ssPop: 1; ssPushRegister: ClassReg!

1 0

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

04 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.434.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.434 Author: eem Time: 3 October 2013, 9:20:32.238 pm UUID: 6b0dc242-e4e1-4d22-be6e-29b360b1e82a Ancestors: VMMaker.oscog-eem.433 Add a tenuring criterion, allowing tenuring by age (default) or class (for initialInstanceOf:/nextInstanceOf:). =============== Diff against VMMaker.oscog-eem.433 =============== Item was removed: - ----- Method: Spur32BitMMLECoSimulator>>scavengingGC (in category 'generation scavenging') ----- - scavengingGC - "Run the scavenger." - self halt: (statScavenges + 1) printString, ((statScavenges between: 9 and: 19) - ifTrue: ['th'] - ifFalse: [#('st' 'nd' 'rd') at: (statScavenges + 1) \\ 10 ifAbsent: 'th']), ' scavenge'. - ^super scavengingGC! Item was added: + ----- Method: Spur32BitMMLECoSimulator>>scavengingGCTenuringIf: (in category 'generation scavenging') ----- + scavengingGCTenuringIf: tenuringCriterion + "Run the scavenger." + self halt: (statScavenges + 1) printString, ((statScavenges between: 9 and: 19) + ifTrue: ['th'] + ifFalse: [#('st' 'nd' 'rd') at: (statScavenges + 1) \\ 10 ifAbsent: 'th']), ' scavenge'. + ^super scavengingGCTenuringIf: tenuringCriterion! Item was removed: - ----- Method: Spur32BitMMLESimulator>>scavengingGC (in category 'generation scavenging') ----- - scavengingGC - "Run the scavenger." - self halt: (statScavenges + 1) printString, ((statScavenges between: 9 and: 19) - ifTrue: ['th'] - ifFalse: [#('st' 'nd' 'rd') at: (statScavenges + 1) \\ 10 ifAbsent: 'th']), ' scavenge'. - ^super scavengingGC! Item was added: + ----- Method: Spur32BitMMLESimulator>>scavengingGCTenuringIf: (in category 'generation scavenging') ----- + scavengingGCTenuringIf: tenuringCriterion + "Run the scavenger." + self halt: (statScavenges + 1) printString, ((statScavenges between: 9 and: 19) + ifTrue: ['th'] + ifFalse: [#('st' 'nd' 'rd') at: (statScavenges + 1) \\ 10 ifAbsent: 'th']), ' scavenge'. + ^super scavengingGCTenuringIf: tenuringCriterion! Item was changed: CogClass subclass: #SpurGenerationScavenger + instanceVariableNames: 'coInterpreter manager eden futureSpace pastSpace futureSurvivorStart rememberedSet rememberedSetSize previousRememberedSetSize weakList ephemeronList tenuringCriterion tenuringThreshold tenuringClassIndex tenuringProportion numRememberedEphemerons' - instanceVariableNames: 'coInterpreter manager eden futureSpace pastSpace futureSurvivorStart rememberedSet rememberedSetSize previousRememberedSetSize weakList ephemeronList tenuringThreshold tenuringProportion numRememberedEphemerons' classVariableNames: 'RememberedSetLimit RememberedSetRedZone' + poolDictionaries: 'SpurMemoryManagementConstants' - poolDictionaries: '' category: 'VMMaker-SpurMemoryManager'! !SpurGenerationScavenger commentStamp: 'eem 9/30/2013 11:05' prior: 0! SpurGenerationScavenger is an implementation of David Ungar's Generation Scavenging garbage collection algorithm. See Generation Scavenging, A Non-disruptive, High-Performance Storage Reclamation Algorithm David Ungar Proceeding SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments Pages 157 - 167 ACM New York, NY, USA ©1984 Also relevant are An adaptive tenuring policy for generation scavengers David Ungar & Frank Jackson ACM Transactions on Programming Languages and Systems (TOPLAS) TOPLAS Homepage archive Volume 14 Issue 1, Jan. 1992 Pages 1 - 27 ACM New York, NY, USA ©1992 and Ephemerons: a new finalization mechanism Barry Hayes Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications Pages 176-183 ACM New York, NY, USA ©1997 See text below the variable definitions and explanation below for a full explanation of weak and ephemeron processing. Instance Variables coInterpreter: <StackInterpreterSimulator|CogVMSimulator> eden: <SpurNewSpaceSpace> ephemeronList: <Integer|nil> futureSpace: <SpurNewSpaceSpace> futureSurvivorStart: <Integer address> manager: <SpurMemoryManager|Spur32BitMMLESimulator et al> numRememberedEphemerons: <Integer> pastSpace: <SpurNewSpaceSpace> previousRememberedSetSize: <Integer> rememberedSet: <CArrayAccessor on: Array> rememberedSetSize: <Integer> tenuringProportion: <Float> tenuringThreshold: <Integer address> weakList: <Integer|nil> coInterpreter - the interpreter/vm, in this context, the mutator manager - the Spur memory manager eden - the space containing newly created objects futureSpace - the space to which surviving objects are copied during a scavenge futureSurvivorStart - the allocation pointer into futureSpace pastSpace - the space surviving objects live in until the next scavenge rememberedSet - the root old space objects that refer to objects in new space; a scavenge starts form these roots and the interpreter's stack rememberedSetSize - the size of the remembered set, also the first unused index in the rememberedSet previousRememberedSetSize: - the size of the remembered set before scavenging objects in future space. numRememberedEphemerons - the number of unscavenged ephemerons at the front of the rememberedSet. ephemeronList - the head of the list of corpses of unscavenged ephemerons reached in the current phase weakList - the head of the list of corpses of weak arrays reached during the scavenge. tenuringProportion - the amount of pastSpace below which the system will not tenure unless futureSpace fills up, and above which it will eagerly tenure tenuringThreshold - the pointer into pastSpace below which objects will be tenured Weakness and Ephemerality in the Scavenger. Weak arrays should not hold onto their referents (except from their strong fileds, their named inst vars). Ephemerons are objects that implement instance-based finalization; attaching an ephemeron to an object keeps that object alive and causes the ephemeron to "fire" when the object is only reachable from the ephemeron (or other ephemerons & weak arrays). They are a special kind of Associations that detect when their keys are about to die, i.e. when an ephemeron's key is not reachable from the roots except from weak arrays and other ephemerons with about-to-die keys. Note that if an ephemeron's key is not about to die then references from the rest of the ephemeron can indeed prevent ephemeron keys from dying. The scavenger is concerned with collecting objects in new space, therefore it ony deals with weak arrays and ephemerons that are either in the remembered set or in new space. By deferring scanning these objects until other reachable objects have been scavenged, the scavenger can detect dead or dying references. Weak Array Processing In the case of weak arrays this is simple. The scavenger refuses to scavenge the referents of weak arrays in scavengeReferentsOf: until the entire scavenge is over. It then scans the weak arrays in the remembered set and in future space and nils all fields in them that are referring to unforwarded objects in eden and past space, because these objects have not survived the scavenge. The root weak arrays remaining to be scavenged are in the remembered table. Surviving weak arrays in future space are collected on a list. The list is threaded through the corpses of weak arrays in eden and/or past space. weakList holds the slot offset of the first weak array found in eden and/or past space. The next offset is stored in the weak array corpse's identityHash and format fields (22 bits & 5 bits of allocationUnits, for a max new space size of 2^28 bytes, 256Mb). The list is threaded throguh corpses, but the surviving arrays are pointed to by the corpses' forwarding pointers. Ephemeron Processing The case of ephemerons is a little more complicated because an ephemeron's key should survive. The scavenger is cyclical. It scavenges the remembered set, which may copy and forward surviving objects in past and/or eden spaces to future space. It then scavenges those promoted objects in future space until no more are promoted, which may in turn remember more objects. The cycles continue until no more objects get promoted to future space and no more objects get remembered. At this point all surviving objecta are in futureSpace. So if the scavenger does not scan ephemerons in the remembered set or in future space until the scavenger finishes cycling, it can detect ephemerons whose keys are about to die because these will be unforwarded objects in eden and/or past space. Ephemerons encountered in the remembered set are either processed like ordinary objects if their keys have been promoted to futureSpace, or are moved to the front of the rememberedSet (because, dear reader, it is a sequence) if their keys have not been promoted. Ephemerons encountered in scavengeReferentsOf: are either scanned like normal objects if their keys have been promoted, or added to the ephemeronList, organized identically to the weakList, if their keys are yet to be promoted. Since references from other ephemerons with surviving keys to ephemeron keys can and should prevent the ephemerons whose keys they are from firing the scavenger does not fire ephemerons unless all unscavenged ephemerons have unscavenged keys. So the unscavenged ephemerons (the will be at the beginning of the remembered set and on the ephemeronList) are scanned and any that have promoted keys are scavenged. But if no unscavenged ephemerons have surviving keys then all the unscavenged ephemerons are fired and then scavenged. This in turn may remember more objects and promote more objects to future space, and encounter more unscavenged ephemerons. So the scavenger continues until no more objects are remembered, no more objects are promoted to future space and no more unscavenged ephemerons exist.! Item was changed: ----- Method: SpurGenerationScavenger class>>initialize (in category 'class initialization') ----- initialize "SpurGenerationScavenger initialize" RememberedSetLimit := 16384. + RememberedSetRedZone := RememberedSetLimit - (RememberedSetLimit // 2). + + TenureByAge := 1. + TenureByClass := 2! - RememberedSetRedZone := RememberedSetLimit - (RememberedSetLimit // 2)! Item was changed: ----- Method: SpurGenerationScavenger>>shouldBeTenured: (in category 'scavenger') ----- shouldBeTenured: survivor "Answer if an object should be tenured. Use the tenuringThreshold to decide. If the survivors (measured in bytes) are above some fraction of the survivor space then objects below the threshold (older objects, since allocation grows upwards and hence new objects are later than old) are scavenged. Otherwise, the threshold is set to 0 and no objects are tenured. See e.g. An adaptive tenuring policy for generation scavengers, David Ungar & Frank Jackson. ACM TOPLAS, Volume 14 Issue 1, Jan. 1992, pp 1 - 27." + ^tenuringCriterion caseOf: { + [TenureByAge] -> + [survivor < tenuringThreshold + and: [survivor >= manager startOfMemory]]. "exclude methods in the method zone" + [TenureByClass] -> + [(manager classIndexOf: survivor) = tenuringClassIndex + and: [survivor >= manager startOfMemory]] "exclude methods in the method zone"}! - ^survivor < tenuringThreshold - and: [survivor >= manager startOfMemory] "exclude methods in the method zone"! Item was added: + ----- Method: SpurGenerationScavenger>>tenuringClassIndex (in category 'accessing') ----- + tenuringClassIndex + ^tenuringClassIndex! Item was added: + ----- Method: SpurGenerationScavenger>>tenuringClassIndex: (in category 'accessing') ----- + tenuringClassIndex: anInteger + tenuringClassIndex := anInteger! Item was added: + ----- Method: SpurGenerationScavenger>>tenuringCriterion (in category 'accessing') ----- + tenuringCriterion + ^tenuringCriterion! Item was added: + ----- Method: SpurGenerationScavenger>>tenuringCriterion: (in category 'accessing') ----- + tenuringCriterion: anInteger + tenuringCriterion := anInteger! Item was added: + SharedPool subclass: #SpurMemoryManagementConstants + instanceVariableNames: '' + classVariableNames: 'TenureByAge TenureByClass' + poolDictionaries: '' + category: 'VMMaker-SpurMemoryManager'! Item was changed: CogClass subclass: #SpurMemoryManager (excessive size, no diff calculated) Item was added: + ----- Method: SpurMemoryManager>>existInstancesInNewSpaceOf: (in category 'debug support') ----- + existInstancesInNewSpaceOf: classObj + | classIndex | + classIndex := self rawHashBitsOf: classObj. + self allNewSpaceObjectsDo: + [:obj| + (self classIndexOf: obj) = classIndex ifTrue: + [^true]]. + ^false! Item was changed: ----- Method: SpurMemoryManager>>flushNewSpace (in category 'generation scavenging') ----- flushNewSpace | savedTenuringThreshold | savedTenuringThreshold := scavenger getRawTenuringThreshold. scavenger setRawTenuringThreshold: newSpaceLimit. + self scavengingGCTenuringIf: TenureByAge. - self scavengingGC. scavenger setRawTenuringThreshold: savedTenuringThreshold. self assert: scavenger rememberedSetSize = 0. self assert: pastSpaceStart = scavenger pastSpace start. self assert: freeStart = scavenger eden start! Item was added: + ----- Method: SpurMemoryManager>>flushNewSpaceInstancesOf: (in category 'generation scavenging') ----- + flushNewSpaceInstancesOf: aClass + | classIndex | + classIndex := self rawHashBitsOf: aClass. + classIndex = 0 ifTrue: "no instances; nothing to do" + [^self]. + scavenger tenuringClassIndex: classIndex. + self scavengingGCTenuringIf: TenureByClass. + self assert: (self existInstancesInNewSpaceOf: aClass) not! Item was changed: ----- Method: SpurMemoryManager>>initialInstanceOf: (in category 'object enumeration') ----- initialInstanceOf: classObj <inline: false> | classIndex | classIndex := self rawHashBitsOf: classObj. classIndex = 0 ifTrue: [^nil]. + "flush instances in newSpace to settle the enumeration." + self flushNewSpaceInstancesOf: classObj.. - "flush newSpace to settle the enumeration." - self flushNewSpace. self allObjectsDo: [:objOop| classIndex = (self classIndexOf: objOop) ifTrue: [^objOop]]. ^nil! Item was changed: ----- Method: SpurMemoryManager>>scavengingGC (in category 'generation scavenging') ----- scavengingGC "Run the scavenger." + self scavengingGCTenuringIf: TenureByAge! - self assert: remapBufferCount = 0. - self checkFreeSpace. - "coInterpreter printCallStackFP: coInterpreter framePointer" - - self runLeakCheckerForFullGC: false. - coInterpreter - preGCAction: GCModeIncr; - "would prefer this to be in mapInterpreterOops, but - compatibility with ObjectMemory dictates it goes here." - flushMethodCacheFrom: startOfMemory to: newSpaceLimit. - needGCFlag := false. - - gcStartUsecs := coInterpreter ioUTCMicrosecondsNow. - - scavengeInProgress := true. - pastSpaceStart := scavenger scavenge. - self assert: (self - oop: pastSpaceStart - isGreaterThanOrEqualTo: scavenger pastSpace start - andLessThanOrEqualTo: scavenger pastSpace limit). - freeStart := scavenger eden start. - self initSpaceForAllocationCheck: scavenger eden. - scavengeInProgress := false. - - statScavenges := statScavenges + 1. - statGCEndUsecs := coInterpreter ioUTCMicrosecondsNow. - statSGCDeltaUsecs := statGCEndUsecs - gcStartUsecs. - statScavengeGCUsecs := statScavengeGCUsecs + statSGCDeltaUsecs. - - coInterpreter postGCAction. - self runLeakCheckerForFullGC: false. - - self checkFreeSpace! Item was added: + ----- Method: SpurMemoryManager>>scavengingGCTenuringIf: (in category 'generation scavenging') ----- + scavengingGCTenuringIf: tenuringCriterion + "Run the scavenger." + + self assert: remapBufferCount = 0. + self checkFreeSpace. + "coInterpreter printCallStackFP: coInterpreter framePointer" + + self runLeakCheckerForFullGC: false. + coInterpreter + preGCAction: GCModeIncr; + "would prefer this to be in mapInterpreterOops, but + compatibility with ObjectMemory dictates it goes here." + flushMethodCacheFrom: startOfMemory to: newSpaceLimit. + needGCFlag := false. + + gcStartUsecs := coInterpreter ioUTCMicrosecondsNow. + + scavengeInProgress := true. + scavenger tenuringCriterion: tenuringCriterion. + pastSpaceStart := scavenger scavenge. + self assert: (self + oop: pastSpaceStart + isGreaterThanOrEqualTo: scavenger pastSpace start + andLessThanOrEqualTo: scavenger pastSpace limit). + freeStart := scavenger eden start. + self initSpaceForAllocationCheck: scavenger eden. + scavengeInProgress := false. + + statScavenges := statScavenges + 1. + statGCEndUsecs := coInterpreter ioUTCMicrosecondsNow. + statSGCDeltaUsecs := statGCEndUsecs - gcStartUsecs. + statScavengeGCUsecs := statScavengeGCUsecs + statSGCDeltaUsecs. + + coInterpreter postGCAction. + self runLeakCheckerForFullGC: false. + + self checkFreeSpace! Item was changed: ----- Method: SpurMemoryManager>>sufficientSpaceAfterGC: (in category 'generation scavenging') ----- sufficientSpaceAfterGC: numBytes "This is ObjectMemory's funky entry-point into its incremental GC, which is a stop-the-world a young generation reclaimer. In Spur we run the scavenger. Answer if space is not low." self assert: numBytes = 0. + self scavengingGCTenuringIf: TenureByAge. - self scavengingGC. lowSpaceThreshold > totalFreeOldSpace ifTrue: "space is low" [lowSpaceThreshold := 0. "avoid signalling low space twice" ^false]. ^true!

1 0

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

04 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.433.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.433 Author: eem Time: 3 October 2013, 5:28:26.615 pm UUID: a3ae4b63-36dd-4fef-918a-5f92b009851a Ancestors: VMMaker.oscog-eem.432 Implement CogObjectRepresentationFor32BitSpur>>genInnerPrimitiveNew:. Recategorize the format definitions so there's a convenient list of them. =============== Diff against VMMaker.oscog-eem.432 =============== Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>genGetHashFieldNonImmOf:into: (in category 'compile abstract instructions') ----- + genGetHashFieldNonImmOf: instReg into: destReg + "Fetch the instance's identity hash into destReg, unencoded." + cogit MoveMw: 4 r: instReg R: destReg. + cogit AndCq: objectMemory identityHashHalfWordMask R: destReg. + ^0! Item was added: + ----- Method: CogObjectRepresentationFor32BitSpur>>genInnerPrimitiveNew: (in category 'primitive generators') ----- + genInnerPrimitiveNew: retNoffset + "Implement primitiveNew for convenient cases: + - the receiver has a hash + - the receiver is fixed size (excluding ephemerons to save instructions & miniscule time) + - single word header/num slots < numSlotsMask + - the result fits in eden" + + | halfHeaderReg instSpecReg + jumpUnhashed jumpVariableOrEphemeron jumpNoSpace jumpTooBig jumpHasSlots fillLoop skip | + <var: 'skip' type: #'AbstractInstruction *'> + <var: 'fillLoop' type: #'AbstractInstruction *'> + <var: 'jumpTooBig' type: #'AbstractInstruction *'> + <var: 'jumpHasSlots' type: #'AbstractInstruction *'> + <var: 'jumpNoSpace' type: #'AbstractInstruction *'> + <var: 'jumpUnhashed' type: #'AbstractInstruction *'> + <var: 'jumpVariableOrEphemeron' type: #'AbstractInstruction *'> + + "half header will contain classIndex (class's hash) and format, then fixed size and eventually nilObject" + halfHeaderReg := SendNumArgsReg. + "inst spec will hold class's instance specification and then byte size and finally numSlots half of header" + instSpecReg := ClassReg. + + "get freeStart as early as possible so as not to wait later..." + cogit MoveAw: objectMemory freeStartAddress R: Arg1Reg. + "get class's hash & fail if 0" + self genGetHashFieldNonImmOf: ReceiverResultReg into: halfHeaderReg. + jumpUnhashed := cogit JumpZero: 0. + "get class's format inst var for both inst spec (format field) and num fixed fields" + self genLoadSlot: InstanceSpecificationIndex sourceReg: ReceiverResultReg destReg: TempReg. + self genConvertSmallIntegerToIntegerInScratchReg: TempReg. + cogit MoveR: TempReg R: instSpecReg. + cogit LogicalShiftRightCq: objectMemory fixedFieldsFieldWidth R: TempReg. + cogit AndCq: objectMemory formatMask R: TempReg. + cogit AndCq: objectMemory fixedFieldsOfClassFormatMask R: instSpecReg. + "fail if not fixed or if ephemeron (rare beasts so save the cycles)" + cogit CmpCq: objectMemory nonIndexablePointerFormat R: TempReg. + jumpVariableOrEphemeron := cogit JumpAbove: 0. + cogit CmpCq: objectMemory numSlotsMask R: instSpecReg. + jumpTooBig := cogit JumpAboveOrEqual: 0. + "Add format to classIndex/format half header; other word contains numSlots" + cogit LogicalShiftLeftCq: objectMemory formatShift R: TempReg. + cogit AddR: TempReg R: halfHeaderReg. + "write half header now; it frees halfHeaderReg" + cogit MoveR: halfHeaderReg Mw: 0 r: Arg1Reg. + "save unrounded numSlots for header" + cogit MoveR: instSpecReg R: halfHeaderReg. + "compute byte size; remember 0-sized objects still need 1 slot & allocation is + rounded up to 8 bytes." + cogit CmpCq: 0 R: instSpecReg. + jumpHasSlots := cogit JumpNonZero: 0. + cogit MoveCq: objectMemory baseHeaderSize * 2 R: instSpecReg. + skip := cogit Jump: 0. + "round up to allocationUnit" + jumpHasSlots jmpTarget: + (cogit MoveR: instSpecReg R: TempReg). + cogit AndCq: 1 R: TempReg. + cogit AddR: TempReg R: instSpecReg. + cogit AddCq: objectMemory baseHeaderSize / objectMemory wordSize R: instSpecReg. + cogit LogicalShiftLeftCq: objectMemory shiftForWord R: instSpecReg. + skip jmpTarget: "get scavengeThreshold (have freeStart already)" + (cogit MoveAw: objectMemory scavengeThresholdAddress R: TempReg). + "shift halfHeaderReg to put numSlots in correct place" + cogit LogicalShiftLeftCq: objectMemory numSlotsHalfShift R: halfHeaderReg. + "check if allocation fits" + cogit SubR: Arg1Reg R: TempReg. + cogit CmpR: TempReg R: instSpecReg. + jumpNoSpace := cogit JumpAbove: 0. + "get result, increment freeStart and write it back. Arg1Reg holds new freeStart, the limit of the object" + cogit MoveR: Arg1Reg R: ReceiverResultReg. + cogit AddR: instSpecReg R: Arg1Reg. + cogit MoveR: Arg1Reg Aw: objectMemory freeStartAddress. + "write other half of header (numSlots/identityHash)" + cogit MoveR: halfHeaderReg Mw: 4 r: ReceiverResultReg. + "now fill" + cogit LoadEffectiveAddressMw: objectMemory baseHeaderSize r: ReceiverResultReg R: instSpecReg. + cogit MoveCq: objectMemory nilObject R: halfHeaderReg. + "at least two words; so can make this a [fill 2 words. reached limit?] whileFalse" + fillLoop := + cogit MoveR: halfHeaderReg Mw: 0 r: instSpecReg. + cogit MoveR: halfHeaderReg Mw: 4 r: instSpecReg. + cogit AddCq: 8 R: instSpecReg. + cogit CmpR: Arg1Reg R: instSpecReg. + cogit JumpBelow: fillLoop. + cogit RetN: retNoffset. + + jumpUnhashed jmpTarget: + (jumpVariableOrEphemeron jmpTarget: + (jumpTooBig jmpTarget: + (jumpNoSpace jmpTarget: cogit Label))). + + ^0! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genInnerPrimitiveNew: (in category 'primitive generators') ----- + genInnerPrimitiveNew: retNoffset + "Implement primitiveNew for convenient cases: + - the receiver has a hash + - the receiver is fixed size + - the result fits in eden" + + self subclassResponsibility! Item was changed: + ----- Method: SpurMemoryManager>>arrayFormat (in category 'header formats') ----- - ----- Method: SpurMemoryManager>>arrayFormat (in category 'header format') ----- arrayFormat ^2! Item was changed: + ----- Method: SpurMemoryManager>>ephemeronFormat (in category 'header formats') ----- - ----- Method: SpurMemoryManager>>ephemeronFormat (in category 'header format') ----- ephemeronFormat ^5! Item was changed: + ----- Method: SpurMemoryManager>>firstByteFormat (in category 'header formats') ----- - ----- Method: SpurMemoryManager>>firstByteFormat (in category 'header format') ----- firstByteFormat ^16! Item was changed: + ----- Method: SpurMemoryManager>>firstCompiledMethodFormat (in category 'header formats') ----- - ----- Method: SpurMemoryManager>>firstCompiledMethodFormat (in category 'header format') ----- firstCompiledMethodFormat ^24! Item was changed: + ----- Method: SpurMemoryManager>>firstLongFormat (in category 'header formats') ----- - ----- Method: SpurMemoryManager>>firstLongFormat (in category 'header format') ----- firstLongFormat ^10! Item was changed: + ----- Method: SpurMemoryManager>>firstShortFormat (in category 'header formats') ----- - ----- Method: SpurMemoryManager>>firstShortFormat (in category 'header format') ----- firstShortFormat ^12! Item was changed: + ----- Method: SpurMemoryManager>>firstStringyFakeFormat (in category 'header formats') ----- - ----- Method: SpurMemoryManager>>firstStringyFakeFormat (in category 'header format') ----- firstStringyFakeFormat "A fake format for the interpreter used to mark indexable strings in the interpreter's at cache. This is larger than any format." ^32! Item was changed: + ----- Method: SpurMemoryManager>>forwardedFormat (in category 'header formats') ----- - ----- Method: SpurMemoryManager>>forwardedFormat (in category 'header format') ----- forwardedFormat "A special format used by the GC to follow only the first pointer." ^7! Item was changed: + ----- Method: SpurMemoryManager>>indexablePointersFormat (in category 'header formats') ----- - ----- Method: SpurMemoryManager>>indexablePointersFormat (in category 'header format') ----- indexablePointersFormat ^3! Item was changed: + ----- Method: SpurMemoryManager>>lastPointerFormat (in category 'header formats') ----- - ----- Method: SpurMemoryManager>>lastPointerFormat (in category 'header format') ----- lastPointerFormat ^5! Item was changed: + ----- Method: SpurMemoryManager>>nonIndexablePointerFormat (in category 'header formats') ----- - ----- Method: SpurMemoryManager>>nonIndexablePointerFormat (in category 'header format') ----- nonIndexablePointerFormat ^1! Item was changed: + ----- Method: SpurMemoryManager>>sixtyFourBitIndexableFormat (in category 'header formats') ----- - ----- Method: SpurMemoryManager>>sixtyFourBitIndexableFormat (in category 'header format') ----- sixtyFourBitIndexableFormat ^9! Item was changed: + ----- Method: SpurMemoryManager>>weakArrayFormat (in category 'header formats') ----- - ----- Method: SpurMemoryManager>>weakArrayFormat (in category 'header format') ----- weakArrayFormat ^4!

1 0

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

03 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.432.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.432 Author: eem Time: 3 October 2013, 2:39:02.322 pm UUID: db07559d-7249-42dd-b3ea-046593a6b23a Ancestors: VMMaker.oscog-eem.431 Get the allocation generator names right. Refactor common code into compileFallbackToInterpreterPrimitive =============== Diff against VMMaker.oscog-eem.431 =============== Item was changed: ----- Method: SimpleStackBasedCogit class>>initializePrimitiveTableForSqueakV3 (in category 'class initialization') ----- initializePrimitiveTableForSqueakV3 "Initialize the table of primitive generators. This does not include normal primitives implemened in the coInterpreter." "SimpleStackBasedCogit initializePrimitiveTableForSqueakV3" MaxCompiledPrimitiveIndex := 222. primitiveTable := CArrayAccessor on: (Array new: MaxCompiledPrimitiveIndex + 1). self table: primitiveTable from: #( "Integer Primitives (0-19)" (1 genPrimitiveAdd 1) (2 genPrimitiveSubtract 1) + (3 genPrimitiveLessThan 1) - (3 genPrimitiveLessThan 1) (4 genPrimitiveGreaterThan 1) (5 genPrimitiveLessOrEqual 1) (6 genPrimitiveGreaterOrEqual 1) + (7 genPrimitiveEqual 1) + (8 genPrimitiveNotEqual 1) - (7 genPrimitiveEqual 1) - (8 genPrimitiveNotEqual 1) (9 genPrimitiveMultiply 1 processorHasMultiply:) (10 genPrimitiveDivide 1 processorHasDivQuoRem:) + (11 genPrimitiveMod 1 processorHasDivQuoRem:) - (11 genPrimitiveMod 1 processorHasDivQuoRem:) (12 genPrimitiveDiv 1 processorHasDivQuoRem:) + (13 genPrimitiveQuo 1 processorHasDivQuoRem:) - (13 genPrimitiveQuo 1 processorHasDivQuoRem:) (14 genPrimitiveBitAnd 1) (15 genPrimitiveBitOr 1) (16 genPrimitiveBitXor 1) (17 genPrimitiveBitShift 1) "(18 primitiveMakePoint)" "(19 primitiveFail)" "Guard primitive for simulation -- *must* fail" "LargeInteger Primitives (20-39)" "(20 primitiveFail)" "(21 primitiveAddLargeIntegers)" "(22 primitiveSubtractLargeIntegers)" "(23 primitiveLessThanLargeIntegers)" "(24 primitiveGreaterThanLargeIntegers)" "(25 primitiveLessOrEqualLargeIntegers)" "(26 primitiveGreaterOrEqualLargeIntegers)" "(27 primitiveEqualLargeIntegers)" "(28 primitiveNotEqualLargeIntegers)" "(29 primitiveMultiplyLargeIntegers)" "(30 primitiveDivideLargeIntegers)" "(31 primitiveModLargeIntegers)" "(32 primitiveDivLargeIntegers)" "(33 primitiveQuoLargeIntegers)" "(34 primitiveBitAndLargeIntegers)" "(35 primitiveBitOrLargeIntegers)" "(36 primitiveBitXorLargeIntegers)" "(37 primitiveBitShiftLargeIntegers)" "Float Primitives (38-59)" "(38 primitiveFloatAt)" "(39 primitiveFloatAtPut)" (40 genPrimitiveAsFloat 0 processorHasDoublePrecisionFloatingPointSupport:) (41 genPrimitiveFloatAdd 1 processorHasDoublePrecisionFloatingPointSupport:) (42 genPrimitiveFloatSubtract 1 processorHasDoublePrecisionFloatingPointSupport:) (43 genPrimitiveFloatLessThan 1 processorHasDoublePrecisionFloatingPointSupport:) (44 genPrimitiveFloatGreaterThan 1 processorHasDoublePrecisionFloatingPointSupport:) (45 genPrimitiveFloatLessOrEqual 1 processorHasDoublePrecisionFloatingPointSupport:) (46 genPrimitiveFloatGreaterOrEqual 1 processorHasDoublePrecisionFloatingPointSupport:) (47 genPrimitiveFloatEqual 1 processorHasDoublePrecisionFloatingPointSupport:) (48 genPrimitiveFloatNotEqual 1 processorHasDoublePrecisionFloatingPointSupport:) (49 genPrimitiveFloatMultiply 1 processorHasDoublePrecisionFloatingPointSupport:) (50 genPrimitiveFloatDivide 1 processorHasDoublePrecisionFloatingPointSupport:) "(51 primitiveTruncated)" "(52 primitiveFractionalPart)" "(53 primitiveExponent)" "(54 primitiveTimesTwoPower)" (55 genPrimitiveFloatSquareRoot 0 processorHasDoublePrecisionFloatingPointSupport:) "(56 primitiveSine)" "(57 primitiveArctan)" "(58 primitiveLogN)" "(59 primitiveExp)" "Subscript and Stream Primitives (60-67)" (60 genPrimitiveAt 1) "(61 primitiveAtPut)" (62 genPrimitiveSize 0) (63 genPrimitiveStringAt 1) "(64 primitiveStringAtPut)" "The stream primitives no longer pay their way; normal Smalltalk code is faster." "(65 primitiveFail)""was primitiveNext" "(66 primitiveFail)" "was primitiveNextPut" "(67 primitiveFail)" "was primitiveAtEnd" "StorageManagement Primitives (68-79)" "(68 primitiveObjectAt)" "(69 primitiveObjectAtPut)" + (70 genPrimitiveNew 0 objectRepresentationImplementsNew:) + (71 genPrimitiveNewWithArg 1 objectRepresentationImplementsNewWithArg:) + "(72 primitiveArrayBecomeOneWay)" "Blue Book: primitiveBecome" - (70 primitiveNew 0 objectRepresentationImplementsNew:) - (71 primitiveNewWithArg 1 objectRepresentationImplementsNewWithArg:) - "(72 primitiveArrayBecomeOneWay)" "Blue Book: primitiveBecome" "(73 primitiveInstVarAt)" "(74 primitiveInstVarAtPut)" (75 genPrimitiveIdentityHash 0) "(76 primitiveStoreStackp)" "Blue Book: primitiveAsObject" "(77 primitiveSomeInstance)" "(78 primitiveNextInstance)" + (79 genPrimitiveNewMethod 2 objectRepresentationImplementsNewMethod:) - (79 primitiveNewMethod 2 objectRepresentationImplementsNewMethod:) "Control Primitives (80-89)" + "(80 primitiveFail)" "Blue Book: primitiveBlockCopy" + "(81 primitiveFail)" "Blue Book: primitiveValue" + "(82 primitiveFail)" "Blue Book: primitiveValueWithArgs" - "(80 primitiveFail)" "Blue Book: primitiveBlockCopy" - "(81 primitiveFail)" "Blue Book: primitiveValue" - "(82 primitiveFail)" "Blue Book: primitiveValueWithArgs" "(83 primitivePerform)" "(84 primitivePerformWithArgs)" "(85 primitiveSignal)" "(86 primitiveWait)" "(87 primitiveResume)" "(88 primitiveSuspend)" "(89 primitiveFlushCache)" "Input/Output Primitives (90-109); We won't compile any of these" "System Primitives (110-119)" (110 genPrimitiveIdentical 1) (111 genPrimitiveClass) "(112 primitiveBytesLeft)" "(113 primitiveQuit)" "(114 primitiveExitToDebugger)" "(115 primitiveChangeClass)" "Blue Book: primitiveOopsLeft" "(116 primitiveFlushCacheByMethod)" "(117 primitiveExternalCall)" "(118 primitiveDoPrimitiveWithArgs)" "(119 primitiveFlushCacheSelective)" "Squeak 2.2 and earlier use 119. Squeak 2.3 and later use 116. Both are supported for backward compatibility." "Miscellaneous Primitives (120-127); We won't compile any of these" "Squeak Primitives Start Here" "Squeak Miscellaneous Primitives (128-149); We won't compile any of these" "File Primitives (150-169) - NO LONGER INDEXED; We won't compile any of these" (169 genPrimitiveNotIdentical 1) "Sound Primitives (170-199) - NO LONGER INDEXED; We won't compile any of these" "Old closure primitives" "(186 primitiveFail)" "was primitiveClosureValue" "(187 primitiveFail)" "was primitiveClosureValueWithArgs" "Perform method directly" "(188 primitiveExecuteMethodArgsArray)" "(189 primitiveExecuteMethod)" "Sound Primitives (continued) - NO LONGER INDEXED; We won't compile any of these" "(190 194 primitiveFail)" "Unwind primitives" "(195 primitiveFindNextUnwindContext)" "(196 primitiveTerminateTo)" "(197 primitiveFindHandlerContext)" (198 genFastPrimFail "primitiveMarkUnwindMethod") (199 genFastPrimFail "primitiveMarkHandlerMethod") "new closure primitives (were Networking primitives)" "(200 primitiveClosureCopyWithCopiedValues)" (201 genPrimitiveClosureValue 0) "value" (202 genPrimitiveClosureValue 1) "value:" (203 genPrimitiveClosureValue 2) "value:value:" (204 genPrimitiveClosureValue 3) "value:value:value:" (205 genPrimitiveClosureValue 4) "value:value:value:value:" "(206 genPrimitiveClosureValueWithArgs)" "valueWithArguments:" "(207 209 primitiveFail)" "reserved for Cog primitives" "(210 primitiveContextAt)" "(211 primitiveContextAtPut)" "(212 primitiveContextSize)" "(213 217 primitiveFail)" "reserved for Cog primitives" "(218 primitiveDoNamedPrimitiveWithArgs)" "(219 primitiveFail)" "reserved for Cog primitives" "(220 primitiveFail)" "reserved for Cog primitives" (221 genPrimitiveClosureValue 0) "valueNoContextSwitch" (222 genPrimitiveClosureValue 1) "valueNoContextSwitch:" "(223 229 primitiveFail)" "reserved for Cog primitives" )! Item was added: + ----- Method: SimpleStackBasedCogit>>compileFallbackToInterpreterPrimitive (in category 'primitive generators') ----- + compileFallbackToInterpreterPrimitive + <inline: false> + ^self compileInterpreterPrimitive: (coInterpreter + functionPointerForCompiledMethod: methodObj + primitiveIndex: primitiveIndex)! Item was changed: ----- Method: SimpleStackBasedCogit>>genDoubleArithmetic:preOpCheck: (in category 'primitive generators') ----- genDoubleArithmetic: arithmeticOperator preOpCheck: preOpCheckOrNil "Stack looks like receiver (also in ResultReceiverReg) arg return address" <var: #preOpCheckOrNil declareC: 'AbstractInstruction *(*preOpCheckOrNil)(int rcvrReg, int argReg)'> | jumpFailClass jumpFailAlloc jumpFailCheck jumpImmediate jumpNonInt doOp fail | <var: #jumpFailClass type: #'AbstractInstruction *'> <var: #jumpFailAlloc type: #'AbstractInstruction *'> <var: #jumpNonInt type: #'AbstractInstruction *'> <var: #jumpImmediate type: #'AbstractInstruction *'> <var: #jumpFailCheck type: #'AbstractInstruction *'> <var: #doOp type: #'AbstractInstruction *'> <var: #fail type: #'AbstractInstruction *'> self MoveMw: BytesPerWord r: SPReg R: TempReg. objectRepresentation genGetDoubleValueOf: ReceiverResultReg into: DPFPReg0. self MoveR: TempReg R: ClassReg. jumpImmediate := objectRepresentation genJumpImmediateInScratchReg: TempReg. objectRepresentation genGetCompactClassIndexNonImmOf: ClassReg into: SendNumArgsReg. self CmpCq: objectMemory classFloatCompactIndex R: SendNumArgsReg. jumpFailClass := self JumpNonZero: 0. objectRepresentation genGetDoubleValueOf: ClassReg into: DPFPReg1. doOp := self Label. preOpCheckOrNil ifNotNil: [jumpFailCheck := self perform: preOpCheckOrNil with: DPFPReg0 with: DPFPReg1]. self gen: arithmeticOperator operand: DPFPReg1 operand: DPFPReg0. jumpFailAlloc := objectRepresentation genAllocFloatValue: DPFPReg0 into: SendNumArgsReg scratchReg: ClassReg scratchReg: TempReg. self MoveR: SendNumArgsReg R: ReceiverResultReg. self flag: 'currently caller pushes result'. self RetN: BytesPerWord * 2. jumpImmediate jmpTarget: self Label. objectRepresentation smallIntegerIsOnlyImmediateType ifFalse: [jumpNonInt := objectRepresentation genJumpNotSmallIntegerInScratchReg: TempReg]. objectRepresentation genConvertSmallIntegerToIntegerInScratchReg: ClassReg. self ConvertR: ClassReg Rd: DPFPReg1. self Jump: doOp. jumpFailAlloc jmpTarget: self Label. + self compileFallbackToInterpreterPrimitive. - self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex). fail := self Label. jumpFailClass jmpTarget: fail. preOpCheckOrNil ifNotNil: [jumpFailCheck jmpTarget: fail]. objectRepresentation smallIntegerIsOnlyImmediateType ifFalse: [jumpNonInt jmpTarget: fail]. ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>genPrimitiveAsFloat (in category 'primitive generators') ----- genPrimitiveAsFloat "Stack looks like receiver (also in ResultReceiverReg) return address" | jumpFailAlloc | <var: #jumpFailAlloc type: #'AbstractInstruction *'> self MoveR: ReceiverResultReg R: ClassReg. objectRepresentation genConvertSmallIntegerToIntegerInScratchReg: ClassReg. self ConvertR: ClassReg Rd: DPFPReg0. jumpFailAlloc := objectRepresentation genAllocFloatValue: DPFPReg0 into: SendNumArgsReg scratchReg: ClassReg scratchReg: TempReg. self MoveR: SendNumArgsReg R: ReceiverResultReg. self flag: 'currently caller pushes result'. self RetN: BytesPerWord. jumpFailAlloc jmpTarget: self Label. + ^self compileFallbackToInterpreterPrimitive! - self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex). - ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>genPrimitiveAt (in category 'primitive generators') ----- genPrimitiveAt | r | self MoveMw: BytesPerWord r: SPReg R: Arg0Reg. (r := objectRepresentation genInnerPrimitiveAt: BytesPerWord * 2) < 0 ifTrue: [^r]. + ^self compileFallbackToInterpreterPrimitive! - ^self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex)! Item was changed: ----- Method: SimpleStackBasedCogit>>genPrimitiveFloatSquareRoot (in category 'primitive generators') ----- genPrimitiveFloatSquareRoot "Stack looks like receiver (also in ResultReceiverReg) return address" | jumpFailAlloc | <var: #jumpFailAlloc type: #'AbstractInstruction *'> objectRepresentation genGetDoubleValueOf: ReceiverResultReg into: DPFPReg0. self SqrtRd: DPFPReg0. jumpFailAlloc := objectRepresentation genAllocFloatValue: DPFPReg0 into: SendNumArgsReg scratchReg: ClassReg scratchReg: TempReg. self MoveR: SendNumArgsReg R: ReceiverResultReg. self flag: 'currently caller pushes result'. self RetN: BytesPerWord. jumpFailAlloc jmpTarget: self Label. + ^self compileFallbackToInterpreterPrimitive! - self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex). - ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>genPrimitiveIdentityHash (in category 'primitive generators') ----- genPrimitiveIdentityHash | jumpSI jumpNotSet | <var: #jumpSI type: #'AbstractInstruction *'> <var: #jumpNotSet type: #'AbstractInstruction *'> self MoveR: ReceiverResultReg R: ClassReg. jumpSI := objectRepresentation genJumpSmallIntegerInScratchReg: ClassReg. objectRepresentation genGetHashFieldNonImmOf: ReceiverResultReg asSmallIntegerInto: TempReg. objectRepresentation isHashSetOnInstanceCreation ifFalse: [self CmpCq: ConstZero R: TempReg. jumpNotSet := self JumpZero: 0]. self MoveR: TempReg R: ReceiverResultReg. self flag: 'currently caller pushes result'. self RetN: BytesPerWord. objectRepresentation isHashSetOnInstanceCreation ifFalse: [jumpNotSet jmpTarget: self Label. + self compileFallbackToInterpreterPrimitive]. - self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex)]. jumpSI jmpTarget: self Label. ^0! Item was added: + ----- Method: SimpleStackBasedCogit>>genPrimitiveNew (in category 'primitive generators') ----- + genPrimitiveNew + | r | + (r := objectRepresentation genInnerPrimitiveNew: BytesPerWord) < 0 ifTrue: + [^r]. + ^self compileFallbackToInterpreterPrimitive! Item was changed: ----- Method: SimpleStackBasedCogit>>genPrimitiveSize (in category 'primitive generators') ----- genPrimitiveSize | r | (r := objectRepresentation genInnerPrimitiveSize: BytesPerWord) < 0 ifTrue: [^r]. + ^self compileFallbackToInterpreterPrimitive! - ^self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex)! Item was changed: ----- Method: SimpleStackBasedCogit>>genPrimitiveStringAt (in category 'primitive generators') ----- genPrimitiveStringAt | r | self MoveMw: BytesPerWord r: SPReg R: Arg0Reg. (r := objectRepresentation genInnerPrimitiveStringAt: BytesPerWord * 2) < 0 ifTrue: [^r]. + ^self compileFallbackToInterpreterPrimitive! - ^self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex)! Item was changed: ----- Method: StackToRegisterMappingCogit>>genDoubleArithmetic:preOpCheck: (in category 'primitive generators') ----- genDoubleArithmetic: arithmeticOperator preOpCheck: preOpCheckOrNil "Receiver and arg in registers. Stack looks like return address" <var: #preOpCheckOrNil declareC: 'AbstractInstruction *(*preOpCheckOrNil)(int rcvrReg, int argReg)'> | jumpFailClass jumpFailAlloc jumpFailCheck jumpImmediate jumpNonInt doOp | <var: #jumpFailClass type: #'AbstractInstruction *'> <var: #jumpFailAlloc type: #'AbstractInstruction *'> <var: #jumpImmediate type: #'AbstractInstruction *'> <var: #jumpNonInt type: #'AbstractInstruction *'> <var: #jumpFailCheck type: #'AbstractInstruction *'> <var: #doOp type: #'AbstractInstruction *'> self MoveR: Arg0Reg R: TempReg. objectRepresentation genGetDoubleValueOf: ReceiverResultReg into: DPFPReg0. self MoveR: Arg0Reg R: ClassReg. jumpImmediate := objectRepresentation genJumpImmediateInScratchReg: TempReg. objectRepresentation genGetCompactClassIndexNonImmOf: Arg0Reg into: SendNumArgsReg. self CmpCq: objectMemory classFloatCompactIndex R: SendNumArgsReg. jumpFailClass := self JumpNonZero: 0. objectRepresentation genGetDoubleValueOf: Arg0Reg into: DPFPReg1. doOp := self Label. preOpCheckOrNil ifNotNil: [jumpFailCheck := self perform: preOpCheckOrNil with: DPFPReg0 with: DPFPReg1]. self gen: arithmeticOperator operand: DPFPReg1 operand: DPFPReg0. jumpFailAlloc := objectRepresentation genAllocFloatValue: DPFPReg0 into: SendNumArgsReg scratchReg: ClassReg scratchReg: TempReg. self MoveR: SendNumArgsReg R: ReceiverResultReg. self RetN: 0. "We need to push the register args on two paths; this one and the interpreter primitive path. But the interpreter primitive path won't unless regArgsHaveBeenPushed is false." self assert: methodOrBlockNumArgs <= self numRegArgs. jumpFailClass jmpTarget: self Label. preOpCheckOrNil ifNotNil: [jumpFailCheck jmpTarget: jumpFailClass getJmpTarget]. self genPushRegisterArgsForNumArgs: methodOrBlockNumArgs. jumpFailClass := self Jump: 0. jumpImmediate jmpTarget: self Label. objectRepresentation smallIntegerIsOnlyImmediateType ifFalse: [jumpNonInt := objectRepresentation genJumpNotSmallIntegerInScratchReg: TempReg]. objectRepresentation genConvertSmallIntegerToIntegerInScratchReg: ClassReg. self ConvertR: ClassReg Rd: DPFPReg1. self Jump: doOp. jumpFailAlloc jmpTarget: self Label. + self compileFallbackToInterpreterPrimitive. - self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex). jumpFailClass jmpTarget: self Label. objectRepresentation smallIntegerIsOnlyImmediateType ifFalse: [jumpNonInt jmpTarget: jumpFailClass getJmpTarget]. ^0! Item was changed: ----- Method: StackToRegisterMappingCogit>>genPrimitiveAsFloat (in category 'primitive generators') ----- genPrimitiveAsFloat | jumpFailAlloc | <var: #jumpFailAlloc type: #'AbstractInstruction *'> self MoveR: ReceiverResultReg R: TempReg. objectRepresentation genConvertSmallIntegerToIntegerInScratchReg: TempReg. self ConvertR: TempReg Rd: DPFPReg0. jumpFailAlloc := objectRepresentation genAllocFloatValue: DPFPReg0 into: SendNumArgsReg scratchReg: ClassReg scratchReg: TempReg. self MoveR: SendNumArgsReg R: ReceiverResultReg. self RetN: 0. jumpFailAlloc jmpTarget: self Label. + ^self compileFallbackToInterpreterPrimitive! - self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex). - ^0! Item was changed: ----- Method: StackToRegisterMappingCogit>>genPrimitiveAt (in category 'primitive generators') ----- genPrimitiveAt | r | self assert: self numRegArgs >= 1. (r := objectRepresentation genInnerPrimitiveAt: 0) < 0 ifTrue: [^r]. + ^self compileFallbackToInterpreterPrimitive! - ^self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex)! Item was changed: ----- Method: StackToRegisterMappingCogit>>genPrimitiveFloatSquareRoot (in category 'primitive generators') ----- genPrimitiveFloatSquareRoot | jumpFailAlloc | <var: #jumpFailAlloc type: #'AbstractInstruction *'> objectRepresentation genGetDoubleValueOf: ReceiverResultReg into: DPFPReg0. self SqrtRd: DPFPReg0. jumpFailAlloc := objectRepresentation genAllocFloatValue: DPFPReg0 into: SendNumArgsReg scratchReg: ClassReg scratchReg: TempReg. self MoveR: SendNumArgsReg R: ReceiverResultReg. self RetN: 0. jumpFailAlloc jmpTarget: self Label. + ^self compileFallbackToInterpreterPrimitive! - self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex). - ^0! Item was changed: ----- Method: StackToRegisterMappingCogit>>genPrimitiveIdentityHash (in category 'primitive generators') ----- genPrimitiveIdentityHash | jumpSI jumpNotSet | <var: #jumpSI type: #'AbstractInstruction *'> <var: #jumpNotSet type: #'AbstractInstruction *'> self MoveR: ReceiverResultReg R: ClassReg. jumpSI := objectRepresentation genJumpSmallIntegerInScratchReg: ClassReg. objectRepresentation genGetHashFieldNonImmOf: ReceiverResultReg asSmallIntegerInto: TempReg. objectRepresentation isHashSetOnInstanceCreation ifFalse: [self CmpCq: ConstZero R: TempReg. jumpNotSet := self JumpZero: 0]. self MoveR: TempReg R: ReceiverResultReg. self RetN: 0. objectRepresentation isHashSetOnInstanceCreation ifFalse: [jumpNotSet jmpTarget: self Label. + self compileFallbackToInterpreterPrimitive]. - self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex)]. jumpSI jmpTarget: self Label. ^0! Item was added: + ----- Method: StackToRegisterMappingCogit>>genPrimitiveNew (in category 'primitive generators') ----- + genPrimitiveNew + | r | + (r := objectRepresentation genInnerPrimitiveNew: 0) < 0 ifTrue: + [^r]. + ^self compileFallbackToInterpreterPrimitive! Item was changed: ----- Method: StackToRegisterMappingCogit>>genPrimitiveSize (in category 'primitive generators') ----- genPrimitiveSize | r | (r := objectRepresentation genInnerPrimitiveSize: 0) < 0 ifTrue: [^r]. + ^self compileFallbackToInterpreterPrimitive! - ^self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex)! Item was changed: ----- Method: StackToRegisterMappingCogit>>genPrimitiveStringAt (in category 'primitive generators') ----- genPrimitiveStringAt | r | self assert: self numRegArgs >= 1. (r := objectRepresentation genInnerPrimitiveStringAt: 0) < 0 ifTrue: [^r]. + ^self compileFallbackToInterpreterPrimitive! - ^self compileInterpreterPrimitive: (coInterpreter - functionPointerForCompiledMethod: methodObj - primitiveIndex: primitiveIndex)!

1 0

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

03 Oct '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.431.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.431 Author: eem Time: 3 October 2013, 2:27:02.905 pm UUID: b08726c3-49b7-40b1-852e-6e895e8f070f Ancestors: VMMaker.oscog-eem.430 Remap *prim*Equivalent* to *prim*Identical*. == is not equivalence :) Add framework to primitive table & objectRepresentation for implementing basicNew, basicNew: & newMethod:header: in machine code. =============== Diff against VMMaker.oscog-eem.430 =============== Item was added: + ----- Method: CogObjectRepresentation>>implementsNew (in category 'initialization') ----- + implementsNew + ^false! Item was added: + ----- Method: CogObjectRepresentation>>implementsNewMethod (in category 'initialization') ----- + implementsNewMethod + ^false! Item was added: + ----- Method: CogObjectRepresentation>>implementsNewWithArg (in category 'initialization') ----- + implementsNewWithArg + ^false! Item was added: + ----- Method: CogObjectRepresentationForSpur>>implementsNew (in category 'initialization') ----- + implementsNew + ^true! Item was added: + ----- Method: Cogit>>objectRepresentationImplementsNew: (in category 'initialization') ----- + objectRepresentationImplementsNew: primitiveIndex + ^objectRepresentation implementsNew! Item was added: + ----- Method: Cogit>>objectRepresentationImplementsNewMethod: (in category 'initialization') ----- + objectRepresentationImplementsNewMethod: primitiveIndex + ^objectRepresentation implementsNewMethod! Item was added: + ----- Method: Cogit>>objectRepresentationImplementsNewWithArg: (in category 'initialization') ----- + objectRepresentationImplementsNewWithArg: primitiveIndex + ^objectRepresentation implementsNewWithArg! Item was changed: ----- Method: SimpleStackBasedCogit class>>initializePrimitiveTableForSqueakV3 (in category 'class initialization') ----- initializePrimitiveTableForSqueakV3 "Initialize the table of primitive generators. This does not include normal primitives implemened in the coInterpreter." "SimpleStackBasedCogit initializePrimitiveTableForSqueakV3" MaxCompiledPrimitiveIndex := 222. primitiveTable := CArrayAccessor on: (Array new: MaxCompiledPrimitiveIndex + 1). self table: primitiveTable from: #( "Integer Primitives (0-19)" (1 genPrimitiveAdd 1) (2 genPrimitiveSubtract 1) (3 genPrimitiveLessThan 1) (4 genPrimitiveGreaterThan 1) (5 genPrimitiveLessOrEqual 1) (6 genPrimitiveGreaterOrEqual 1) (7 genPrimitiveEqual 1) (8 genPrimitiveNotEqual 1) (9 genPrimitiveMultiply 1 processorHasMultiply:) (10 genPrimitiveDivide 1 processorHasDivQuoRem:) (11 genPrimitiveMod 1 processorHasDivQuoRem:) (12 genPrimitiveDiv 1 processorHasDivQuoRem:) (13 genPrimitiveQuo 1 processorHasDivQuoRem:) (14 genPrimitiveBitAnd 1) (15 genPrimitiveBitOr 1) (16 genPrimitiveBitXor 1) (17 genPrimitiveBitShift 1) "(18 primitiveMakePoint)" "(19 primitiveFail)" "Guard primitive for simulation -- *must* fail" "LargeInteger Primitives (20-39)" "(20 primitiveFail)" "(21 primitiveAddLargeIntegers)" "(22 primitiveSubtractLargeIntegers)" "(23 primitiveLessThanLargeIntegers)" "(24 primitiveGreaterThanLargeIntegers)" "(25 primitiveLessOrEqualLargeIntegers)" "(26 primitiveGreaterOrEqualLargeIntegers)" "(27 primitiveEqualLargeIntegers)" "(28 primitiveNotEqualLargeIntegers)" "(29 primitiveMultiplyLargeIntegers)" "(30 primitiveDivideLargeIntegers)" "(31 primitiveModLargeIntegers)" "(32 primitiveDivLargeIntegers)" "(33 primitiveQuoLargeIntegers)" "(34 primitiveBitAndLargeIntegers)" "(35 primitiveBitOrLargeIntegers)" "(36 primitiveBitXorLargeIntegers)" "(37 primitiveBitShiftLargeIntegers)" "Float Primitives (38-59)" "(38 primitiveFloatAt)" "(39 primitiveFloatAtPut)" + (40 genPrimitiveAsFloat 0 processorHasDoublePrecisionFloatingPointSupport:) - (40 genPrimitiveAsFloat 0 processorHasDoublePrecisionFloatingPointSupport:) (41 genPrimitiveFloatAdd 1 processorHasDoublePrecisionFloatingPointSupport:) + (42 genPrimitiveFloatSubtract 1 processorHasDoublePrecisionFloatingPointSupport:) + (43 genPrimitiveFloatLessThan 1 processorHasDoublePrecisionFloatingPointSupport:) + (44 genPrimitiveFloatGreaterThan 1 processorHasDoublePrecisionFloatingPointSupport:) - (42 genPrimitiveFloatSubtract 1 processorHasDoublePrecisionFloatingPointSupport:) - (43 genPrimitiveFloatLessThan 1 processorHasDoublePrecisionFloatingPointSupport:) - (44 genPrimitiveFloatGreaterThan 1 processorHasDoublePrecisionFloatingPointSupport:) (45 genPrimitiveFloatLessOrEqual 1 processorHasDoublePrecisionFloatingPointSupport:) (46 genPrimitiveFloatGreaterOrEqual 1 processorHasDoublePrecisionFloatingPointSupport:) + (47 genPrimitiveFloatEqual 1 processorHasDoublePrecisionFloatingPointSupport:) + (48 genPrimitiveFloatNotEqual 1 processorHasDoublePrecisionFloatingPointSupport:) - (47 genPrimitiveFloatEqual 1 processorHasDoublePrecisionFloatingPointSupport:) - (48 genPrimitiveFloatNotEqual 1 processorHasDoublePrecisionFloatingPointSupport:) (49 genPrimitiveFloatMultiply 1 processorHasDoublePrecisionFloatingPointSupport:) + (50 genPrimitiveFloatDivide 1 processorHasDoublePrecisionFloatingPointSupport:) - (50 genPrimitiveFloatDivide 1 processorHasDoublePrecisionFloatingPointSupport:) "(51 primitiveTruncated)" "(52 primitiveFractionalPart)" "(53 primitiveExponent)" "(54 primitiveTimesTwoPower)" (55 genPrimitiveFloatSquareRoot 0 processorHasDoublePrecisionFloatingPointSupport:) "(56 primitiveSine)" "(57 primitiveArctan)" "(58 primitiveLogN)" "(59 primitiveExp)" "Subscript and Stream Primitives (60-67)" + (60 genPrimitiveAt 1) - (60 genPrimitiveAt 1) "(61 primitiveAtPut)" (62 genPrimitiveSize 0) (63 genPrimitiveStringAt 1) "(64 primitiveStringAtPut)" "The stream primitives no longer pay their way; normal Smalltalk code is faster." "(65 primitiveFail)""was primitiveNext" "(66 primitiveFail)" "was primitiveNextPut" "(67 primitiveFail)" "was primitiveAtEnd" "StorageManagement Primitives (68-79)" "(68 primitiveObjectAt)" "(69 primitiveObjectAtPut)" + (70 primitiveNew 0 objectRepresentationImplementsNew:) + (71 primitiveNewWithArg 1 objectRepresentationImplementsNewWithArg:) - "(70 primitiveNew)" - "(71 primitiveNewWithArg)" "(72 primitiveArrayBecomeOneWay)" "Blue Book: primitiveBecome" "(73 primitiveInstVarAt)" "(74 primitiveInstVarAtPut)" (75 genPrimitiveIdentityHash 0) "(76 primitiveStoreStackp)" "Blue Book: primitiveAsObject" "(77 primitiveSomeInstance)" "(78 primitiveNextInstance)" + (79 primitiveNewMethod 2 objectRepresentationImplementsNewMethod:) - "(79 primitiveNewMethod)" "Control Primitives (80-89)" "(80 primitiveFail)" "Blue Book: primitiveBlockCopy" "(81 primitiveFail)" "Blue Book: primitiveValue" "(82 primitiveFail)" "Blue Book: primitiveValueWithArgs" "(83 primitivePerform)" "(84 primitivePerformWithArgs)" "(85 primitiveSignal)" "(86 primitiveWait)" "(87 primitiveResume)" "(88 primitiveSuspend)" "(89 primitiveFlushCache)" "Input/Output Primitives (90-109); We won't compile any of these" "System Primitives (110-119)" + (110 genPrimitiveIdentical 1) - (110 genPrimitiveEquivalent 1) (111 genPrimitiveClass) "(112 primitiveBytesLeft)" "(113 primitiveQuit)" "(114 primitiveExitToDebugger)" "(115 primitiveChangeClass)" "Blue Book: primitiveOopsLeft" "(116 primitiveFlushCacheByMethod)" "(117 primitiveExternalCall)" "(118 primitiveDoPrimitiveWithArgs)" "(119 primitiveFlushCacheSelective)" "Squeak 2.2 and earlier use 119. Squeak 2.3 and later use 116. Both are supported for backward compatibility." "Miscellaneous Primitives (120-127); We won't compile any of these" "Squeak Primitives Start Here" "Squeak Miscellaneous Primitives (128-149); We won't compile any of these" "File Primitives (150-169) - NO LONGER INDEXED; We won't compile any of these" + (169 genPrimitiveNotIdentical 1) - (169 genPrimitiveNotEquivalent 1) "Sound Primitives (170-199) - NO LONGER INDEXED; We won't compile any of these" "Old closure primitives" "(186 primitiveFail)" "was primitiveClosureValue" "(187 primitiveFail)" "was primitiveClosureValueWithArgs" "Perform method directly" "(188 primitiveExecuteMethodArgsArray)" "(189 primitiveExecuteMethod)" "Sound Primitives (continued) - NO LONGER INDEXED; We won't compile any of these" "(190 194 primitiveFail)" "Unwind primitives" "(195 primitiveFindNextUnwindContext)" "(196 primitiveTerminateTo)" "(197 primitiveFindHandlerContext)" (198 genFastPrimFail "primitiveMarkUnwindMethod") (199 genFastPrimFail "primitiveMarkHandlerMethod") "new closure primitives (were Networking primitives)" "(200 primitiveClosureCopyWithCopiedValues)" + (201 genPrimitiveClosureValue 0) "value" + (202 genPrimitiveClosureValue 1) "value:" + (203 genPrimitiveClosureValue 2) "value:value:" + (204 genPrimitiveClosureValue 3) "value:value:value:" + (205 genPrimitiveClosureValue 4) "value:value:value:value:" - (201 genPrimitiveClosureValue) "value" - (202 genPrimitiveClosureValue) "value:" - (203 genPrimitiveClosureValue) "value:value:" - (204 genPrimitiveClosureValue) "value:value:value:" - (205 genPrimitiveClosureValue) "value:value:value:value:" "(206 genPrimitiveClosureValueWithArgs)" "valueWithArguments:" "(207 209 primitiveFail)" "reserved for Cog primitives" "(210 primitiveContextAt)" "(211 primitiveContextAtPut)" "(212 primitiveContextSize)" "(213 217 primitiveFail)" "reserved for Cog primitives" "(218 primitiveDoNamedPrimitiveWithArgs)" "(219 primitiveFail)" "reserved for Cog primitives" "(220 primitiveFail)" "reserved for Cog primitives" + (221 genPrimitiveClosureValue 0) "valueNoContextSwitch" + (222 genPrimitiveClosureValue 1) "valueNoContextSwitch:" - (221 genPrimitiveClosureValue) "valueNoContextSwitch" - (222 genPrimitiveClosureValue) "valueNoContextSwitch:" "(223 229 primitiveFail)" "reserved for Cog primitives" )! Item was removed: - ----- Method: SimpleStackBasedCogit>>genPrimitiveEquivalent (in category 'primitive generators') ----- - genPrimitiveEquivalent - "Stack looks like - receiver (also in ResultReceiverReg) - arg - return address" - | jumpFalse | - <var: #jumpFalse type: #'AbstractInstruction *'> - self MoveMw: BytesPerWord r: SPReg R: TempReg. - self CmpR: TempReg R: ReceiverResultReg. - jumpFalse := self JumpNonZero: 0. - self annotate: (self MoveCw: objectMemory trueObject R: ReceiverResultReg) - objRef: objectMemory trueObject. - self flag: 'currently caller pushes result'. - self RetN: BytesPerWord * 2. - jumpFalse jmpTarget: (self annotate: (self MoveCw: objectMemory falseObject R: ReceiverResultReg) - objRef: objectMemory falseObject). - self RetN: BytesPerWord * 2. - ^0! Item was added: + ----- Method: SimpleStackBasedCogit>>genPrimitiveIdentical (in category 'primitive generators') ----- + genPrimitiveIdentical + "Stack looks like + receiver (also in ResultReceiverReg) + arg + return address" + | jumpFalse | + <var: #jumpFalse type: #'AbstractInstruction *'> + self MoveMw: BytesPerWord r: SPReg R: TempReg. + self CmpR: TempReg R: ReceiverResultReg. + jumpFalse := self JumpNonZero: 0. + self annotate: (self MoveCw: objectMemory trueObject R: ReceiverResultReg) + objRef: objectMemory trueObject. + self flag: 'currently caller pushes result'. + self RetN: BytesPerWord * 2. + jumpFalse jmpTarget: (self annotate: (self MoveCw: objectMemory falseObject R: ReceiverResultReg) + objRef: objectMemory falseObject). + self RetN: BytesPerWord * 2. + ^0! Item was removed: - ----- Method: SimpleStackBasedCogit>>genPrimitiveNotEquivalent (in category 'primitive generators') ----- - genPrimitiveNotEquivalent - "Stack looks like - receiver (also in ResultReceiverReg) - arg - return address" - | jumpFalse | - <var: #jumpFalse type: #'AbstractInstruction *'> - self MoveMw: BytesPerWord r: SPReg R: TempReg. - self CmpR: TempReg R: ReceiverResultReg. - jumpFalse := self JumpZero: 0. - self annotate: (self MoveCw: objectMemory trueObject R: ReceiverResultReg) - objRef: objectMemory trueObject. - self flag: 'currently caller pushes result'. - self RetN: BytesPerWord * 2. - jumpFalse jmpTarget: (self annotate: (self MoveCw: objectMemory falseObject R: ReceiverResultReg) - objRef: objectMemory falseObject). - self RetN: BytesPerWord * 2. - ^0! Item was added: + ----- Method: SimpleStackBasedCogit>>genPrimitiveNotIdentical (in category 'primitive generators') ----- + genPrimitiveNotIdentical + "Stack looks like + receiver (also in ResultReceiverReg) + arg + return address" + | jumpFalse | + <var: #jumpFalse type: #'AbstractInstruction *'> + self MoveMw: BytesPerWord r: SPReg R: TempReg. + self CmpR: TempReg R: ReceiverResultReg. + jumpFalse := self JumpZero: 0. + self annotate: (self MoveCw: objectMemory trueObject R: ReceiverResultReg) + objRef: objectMemory trueObject. + self flag: 'currently caller pushes result'. + self RetN: BytesPerWord * 2. + jumpFalse jmpTarget: (self annotate: (self MoveCw: objectMemory falseObject R: ReceiverResultReg) + objRef: objectMemory falseObject). + self RetN: BytesPerWord * 2. + ^0! Item was changed: ----- Method: StackInterpreter class>>initializeBytecodeTableForNewspeakV3PlusClosures (in category 'initialization') ----- initializeBytecodeTableForNewspeakV3PlusClosures "StackInterpreter initializeBytecodeTableForNewspeakV3PlusClosures" "Note: This table will be used to generate a C switch statement." BytecodeTable := Array new: 256. self table: BytecodeTable from: #( ( 0 15 pushReceiverVariableBytecode) ( 16 31 pushTemporaryVariableBytecode) ( 32 63 pushLiteralConstantBytecode) ( 64 95 pushLiteralVariableBytecode) ( 96 103 storeAndPopReceiverVariableBytecode) (104 111 storeAndPopTemporaryVariableBytecode) (112 pushReceiverBytecode) (113 pushConstantTrueBytecode) (114 pushConstantFalseBytecode) (115 pushConstantNilBytecode) (116 pushConstantMinusOneBytecode) (117 pushConstantZeroBytecode) (118 pushConstantOneBytecode) (119 pushConstantTwoBytecode) (120 returnReceiver) (121 returnTrue) (122 returnFalse) (123 returnNil) (124 returnTopFromMethod) (125 returnTopFromBlock) "2 of the 3 Newspeak bytecodes" (126 dynamicSuperSendBytecode) (127 pushImplicitReceiverBytecode) (128 extendedPushBytecode) (129 extendedStoreBytecode) (130 extendedStoreAndPopBytecode) (131 singleExtendedSendBytecode) (132 doubleExtendedDoAnythingBytecode) (133 singleExtendedSuperBytecode) (134 secondExtendedSendBytecode) (135 popStackBytecode) (136 duplicateTopBytecode) (137 pushActiveContextBytecode) (138 pushNewArrayBytecode) "The last of 3 Newspeak bytecodes" (139 pushExplicitOuterSendReceiverBytecode) (140 pushRemoteTempLongBytecode) (141 storeRemoteTempLongBytecode) (142 storeAndPopRemoteTempLongBytecode) (143 pushClosureCopyCopiedValuesBytecode) (144 151 shortUnconditionalJump) (152 159 shortConditionalJumpFalse) (160 167 longUnconditionalJump) (168 171 longJumpIfTrue) (172 175 longJumpIfFalse) "176-191 were sendArithmeticSelectorBytecode" (176 bytecodePrimAdd) (177 bytecodePrimSubtract) (178 bytecodePrimLessThan) (179 bytecodePrimGreaterThan) (180 bytecodePrimLessOrEqual) (181 bytecodePrimGreaterOrEqual) (182 bytecodePrimEqual) (183 bytecodePrimNotEqual) (184 bytecodePrimMultiply) (185 bytecodePrimDivide) (186 bytecodePrimMod) (187 bytecodePrimMakePoint) (188 bytecodePrimBitShift) (189 bytecodePrimDiv) (190 bytecodePrimBitAnd) (191 bytecodePrimBitOr) "192-207 were sendCommonSelectorBytecode" (192 bytecodePrimAt) (193 bytecodePrimAtPut) (194 bytecodePrimSize) (195 bytecodePrimNext) (196 bytecodePrimNextPut) (197 bytecodePrimAtEnd) + (198 bytecodePrimIdentical) - (198 bytecodePrimEquivalent) (199 bytecodePrimClass) (200 bytecodePrimSpecialSelector24) (201 bytecodePrimValue) (202 bytecodePrimValueWithArg) (203 bytecodePrimDo) (204 bytecodePrimNew) (205 bytecodePrimNewWithArg) (206 bytecodePrimPointX) (207 bytecodePrimPointY) (208 223 sendLiteralSelector0ArgsBytecode) (224 239 sendLiteralSelector1ArgBytecode) (240 255 sendLiteralSelector2ArgsBytecode) )! Item was changed: ----- Method: StackInterpreter class>>initializeBytecodeTableForNewspeakV4 (in category 'initialization') ----- initializeBytecodeTableForNewspeakV4 "StackInterpreter initializeBytecodeTableForNewspeakV4" "Note: This table will be used to generate a C switch statement." BytecodeTable := Array new: 256. self table: BytecodeTable from: #( "1 byte bytecodes" ( 0 15 pushReceiverVariableBytecode) ( 16 31 pushLiteralVariable16CasesBytecode) ( 32 63 pushLiteralConstantBytecode) ( 64 75 pushTemporaryVariableBytecode) ( 76 pushReceiverBytecode) ( 77 extPushPseudoVariableOrOuterBytecode) ( 78 pushConstantZeroBytecode) ( 79 pushConstantOneBytecode) ( 80 bytecodePrimAdd) ( 81 bytecodePrimSubtract) ( 82 bytecodePrimLessThanV4) "for booleanCheatV4:" ( 83 bytecodePrimGreaterThanV4) "for booleanCheatV4:" ( 84 bytecodePrimLessOrEqualV4) "for booleanCheatV4:" ( 85 bytecodePrimGreaterOrEqualV4) "for booleanCheatV4:" ( 86 bytecodePrimEqualV4) "for booleanCheatV4:" ( 87 bytecodePrimNotEqualV4) "for booleanCheatV4:" ( 88 bytecodePrimMultiply) ( 89 bytecodePrimDivide) ( 90 bytecodePrimMod) ( 91 bytecodePrimMakePoint) ( 92 bytecodePrimBitShift) ( 93 bytecodePrimDiv) ( 94 bytecodePrimBitAnd) ( 95 bytecodePrimBitOr) ( 96 bytecodePrimAt) ( 97 bytecodePrimAtPut) ( 98 bytecodePrimSize) ( 99 bytecodePrimNext) (100 bytecodePrimNextPut) (101 bytecodePrimAtEnd) + (102 bytecodePrimIdenticalV4) "for booleanCheatV4:" - (102 bytecodePrimEquivalentV4) "for booleanCheatV4:" (103 bytecodePrimClass) (104 bytecodePrimSpecialSelector24) "was blockCopy:" (105 bytecodePrimValue) (106 bytecodePrimValueWithArg) (107 bytecodePrimDo) (108 bytecodePrimNew) (109 bytecodePrimNewWithArg) (110 bytecodePrimPointX) (111 bytecodePrimPointY) (112 127 sendLiteralSelector0ArgsBytecode) (128 143 sendLiteralSelector1ArgBytecode) (144 159 sendLiteralSelector2ArgsBytecode) (160 175 sendAbsentImplicit0ArgsBytecode) (176 183 storeAndPopReceiverVariableBytecode) (184 191 storeAndPopTemporaryVariableBytecode) (192 199 shortUnconditionalJump) (200 207 shortConditionalJumpTrue) (208 215 shortConditionalJumpFalse) (216 returnReceiver) (217 returnTopFromMethod) (218 extReturnTopFromBlock) (219 duplicateTopBytecode) (220 popStackBytecode) (221 extNopBytecode) (222 223 unknownBytecode) "2 byte bytecodes" (224 extABytecode) (225 extBBytecode) (226 extPushReceiverVariableBytecode) (227 extPushLiteralVariableBytecode) (228 extPushLiteralBytecode) (229 extPushIntegerBytecode) (230 longPushTemporaryVariableBytecode) (231 pushNewArrayBytecode) (232 extStoreReceiverVariableBytecode) (233 extStoreLiteralVariableBytecode) (234 longStoreTemporaryVariableBytecode) (235 extStoreAndPopReceiverVariableBytecode) (236 extStoreAndPopLiteralVariableBytecode) (237 longStoreAndPopTemporaryVariableBytecode) (238 extSendBytecode) (239 extSendSuperBytecode) (240 extSendAbsentImplicitBytecode) (241 extSendAbsentDynamicSuperBytecode) (242 extUnconditionalJump) (243 extJumpIfTrue) (244 extJumpIfFalse) (245 248 unknownBytecode) "3 byte bytecodes" (249 callPrimitiveBytecode) (250 pushRemoteTempLongBytecode) (251 storeRemoteTempLongBytecode) (252 storeAndPopRemoteTempLongBytecode) (253 extPushClosureBytecode) (254 255 unknownBytecode) )! Item was changed: ----- Method: StackInterpreter class>>initializeBytecodeTableForSqueakV3PlusClosures (in category 'initialization') ----- initializeBytecodeTableForSqueakV3PlusClosures "StackInterpreter initializeBytecodeTableForSqueakV3PlusClosures" "Note: This table will be used to generate a C switch statement." BytecodeTable := Array new: 256. self table: BytecodeTable from: #( ( 0 15 pushReceiverVariableBytecode) ( 16 31 pushTemporaryVariableBytecode) ( 32 63 pushLiteralConstantBytecode) ( 64 95 pushLiteralVariableBytecode) ( 96 103 storeAndPopReceiverVariableBytecode) (104 111 storeAndPopTemporaryVariableBytecode) (112 pushReceiverBytecode) (113 pushConstantTrueBytecode) (114 pushConstantFalseBytecode) (115 pushConstantNilBytecode) (116 pushConstantMinusOneBytecode) (117 pushConstantZeroBytecode) (118 pushConstantOneBytecode) (119 pushConstantTwoBytecode) (120 returnReceiver) (121 returnTrue) (122 returnFalse) (123 returnNil) (124 returnTopFromMethod) (125 returnTopFromBlock) (126 127 unknownBytecode) (128 extendedPushBytecode) (129 extendedStoreBytecode) (130 extendedStoreAndPopBytecode) (131 singleExtendedSendBytecode) (132 doubleExtendedDoAnythingBytecode) (133 singleExtendedSuperBytecode) (134 secondExtendedSendBytecode) (135 popStackBytecode) (136 duplicateTopBytecode) (137 pushActiveContextBytecode) (138 pushNewArrayBytecode) (139 unknownBytecode) (140 pushRemoteTempLongBytecode) (141 storeRemoteTempLongBytecode) (142 storeAndPopRemoteTempLongBytecode) (143 pushClosureCopyCopiedValuesBytecode) (144 151 shortUnconditionalJump) (152 159 shortConditionalJumpFalse) (160 167 longUnconditionalJump) (168 171 longJumpIfTrue) (172 175 longJumpIfFalse) "176-191 were sendArithmeticSelectorBytecode" (176 bytecodePrimAdd) (177 bytecodePrimSubtract) (178 bytecodePrimLessThan) (179 bytecodePrimGreaterThan) (180 bytecodePrimLessOrEqual) (181 bytecodePrimGreaterOrEqual) (182 bytecodePrimEqual) (183 bytecodePrimNotEqual) (184 bytecodePrimMultiply) (185 bytecodePrimDivide) (186 bytecodePrimMod) (187 bytecodePrimMakePoint) (188 bytecodePrimBitShift) (189 bytecodePrimDiv) (190 bytecodePrimBitAnd) (191 bytecodePrimBitOr) "192-207 were sendCommonSelectorBytecode" (192 bytecodePrimAt) (193 bytecodePrimAtPut) (194 bytecodePrimSize) (195 bytecodePrimNext) (196 bytecodePrimNextPut) (197 bytecodePrimAtEnd) + (198 bytecodePrimIdentical) - (198 bytecodePrimEquivalent) (199 bytecodePrimClass) (200 bytecodePrimSpecialSelector24) (201 bytecodePrimValue) (202 bytecodePrimValueWithArg) (203 bytecodePrimDo) (204 bytecodePrimNew) (205 bytecodePrimNewWithArg) (206 bytecodePrimPointX) (207 bytecodePrimPointY) (208 223 sendLiteralSelector0ArgsBytecode) (224 239 sendLiteralSelector1ArgBytecode) (240 255 sendLiteralSelector2ArgsBytecode) )! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimEquivalent (in category 'common selector sends') ----- - bytecodePrimEquivalent - | rcvr arg | - rcvr := self internalStackValue: 1. - (objectMemory isOopForwarded: rcvr) ifTrue: - [rcvr := self handleSpecialSelectorSendFaultFor: rcvr]. - arg := self internalStackValue: 0. - (objectMemory isOopForwarded: arg) ifTrue: - [arg := self handleSpecialSelectorSendFaultFor: arg]. - self booleanCheat: rcvr = arg! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimEquivalentV4 (in category 'common selector sends') ----- - bytecodePrimEquivalentV4 - | rcvr arg | - rcvr := self internalStackValue: 1. - arg := self internalStackValue: 0. - (objectMemory isOopForwarded: rcvr) ifTrue: - [rcvr := self handleSpecialSelectorSendFaultFor: rcvr]. - (objectMemory isOopForwarded: arg) ifTrue: - [arg := self handleSpecialSelectorSendFaultFor: arg]. - self booleanCheatV4: rcvr = arg! Item was added: + ----- Method: StackInterpreter>>bytecodePrimIdentical (in category 'common selector sends') ----- + bytecodePrimIdentical + | rcvr arg | + rcvr := self internalStackValue: 1. + (objectMemory isOopForwarded: rcvr) ifTrue: + [rcvr := self handleSpecialSelectorSendFaultFor: rcvr]. + arg := self internalStackValue: 0. + (objectMemory isOopForwarded: arg) ifTrue: + [arg := self handleSpecialSelectorSendFaultFor: arg]. + self booleanCheat: rcvr = arg! Item was added: + ----- Method: StackInterpreter>>bytecodePrimIdenticalV4 (in category 'common selector sends') ----- + bytecodePrimIdenticalV4 + | rcvr arg | + rcvr := self internalStackValue: 1. + arg := self internalStackValue: 0. + (objectMemory isOopForwarded: rcvr) ifTrue: + [rcvr := self handleSpecialSelectorSendFaultFor: rcvr]. + (objectMemory isOopForwarded: arg) ifTrue: + [arg := self handleSpecialSelectorSendFaultFor: arg]. + self booleanCheatV4: rcvr = arg! Item was removed: - ----- Method: StackToRegisterMappingCogit>>genPrimitiveEquivalent (in category 'primitive generators') ----- - genPrimitiveEquivalent - "Receiver and arg in registers. - Stack looks like - return address" - | jumpFalse | - <var: #jumpFalse type: #'AbstractInstruction *'> - self CmpR: Arg0Reg R: ReceiverResultReg. - jumpFalse := self JumpNonZero: 0. - self annotate: (self MoveCw: objectMemory trueObject R: ReceiverResultReg) - objRef: objectMemory trueObject. - self RetN: 0. - jumpFalse jmpTarget: (self annotate: (self MoveCw: objectMemory falseObject R: ReceiverResultReg) - objRef: objectMemory falseObject). - self RetN: 0. - ^0! Item was added: + ----- Method: StackToRegisterMappingCogit>>genPrimitiveIdentical (in category 'primitive generators') ----- + genPrimitiveIdentical + "Receiver and arg in registers. + Stack looks like + return address" + | jumpFalse | + <var: #jumpFalse type: #'AbstractInstruction *'> + self CmpR: Arg0Reg R: ReceiverResultReg. + jumpFalse := self JumpNonZero: 0. + self annotate: (self MoveCw: objectMemory trueObject R: ReceiverResultReg) + objRef: objectMemory trueObject. + self RetN: 0. + jumpFalse jmpTarget: (self annotate: (self MoveCw: objectMemory falseObject R: ReceiverResultReg) + objRef: objectMemory falseObject). + self RetN: 0. + ^0! Item was removed: - ----- Method: StackToRegisterMappingCogit>>genPrimitiveNotEquivalent (in category 'primitive generators') ----- - genPrimitiveNotEquivalent - "Receiver and arg in registers. - Stack looks like - return address" - | jumpFalse | - <var: #jumpFalse type: #'AbstractInstruction *'> - self CmpR: Arg0Reg R: ReceiverResultReg. - jumpFalse := self JumpZero: 0. - self annotate: (self MoveCw: objectMemory trueObject R: ReceiverResultReg) - objRef: objectMemory trueObject. - self RetN: 0. - jumpFalse jmpTarget: (self annotate: (self MoveCw: objectMemory falseObject R: ReceiverResultReg) - objRef: objectMemory falseObject). - self RetN: 0. - ^0! Item was added: + ----- Method: StackToRegisterMappingCogit>>genPrimitiveNotIdentical (in category 'primitive generators') ----- + genPrimitiveNotIdentical + "Receiver and arg in registers. + Stack looks like + return address" + | jumpFalse | + <var: #jumpFalse type: #'AbstractInstruction *'> + self CmpR: Arg0Reg R: ReceiverResultReg. + jumpFalse := self JumpZero: 0. + self annotate: (self MoveCw: objectMemory trueObject R: ReceiverResultReg) + objRef: objectMemory trueObject. + self RetN: 0. + jumpFalse jmpTarget: (self annotate: (self MoveCw: objectMemory falseObject R: ReceiverResultReg) + objRef: objectMemory falseObject). + self RetN: 0. + ^0!

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev October 2013