Vm-dev August 2013

vm-dev@lists.squeakfoundation.org

26 participants
167 discussions

Raspberry Pi VM with optimised BitBlt
by Ian Piumarta 16 Aug '13

16 Aug '13

Folks, I built a VM to test the additions for faster BitBlt on Raspberry Pi and thought while I was at it I'd package and upload the binary for anyone interested. It's in the usual place: http://squeakvm.org/unix/ I'd love to know the results if anyone measures the difference in performance between regular and optimised BitBlt. Enjoy! Ian

3 3

VM Maker: VMMaker.oscog-eem.325.mcz
by commits＠source.squeak.org 16 Aug '13

16 Aug '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.325.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.325 Author: eem Time: 16 August 2013, 11:27:47.266 am UUID: 9b61ee96-d09f-4314-beb9-a589bd69eed9 Ancestors: VMMaker.oscog-eem.324 Fix disassembleMethod:on: for frameless blocks. Update in-image facade for refactored context inst var checking. =============== Diff against VMMaker.oscog-eem.324 =============== Item was changed: ----- Method: Cogit>>disassembleMethod:on: (in category 'disassembly') ----- disassembleMethod: surrogateOrAddress on: aStream <doNotGenerate> | cogMethod mapEntries codeRanges | cogMethod := surrogateOrAddress isInteger ifTrue: [self cogMethodSurrogateAt: surrogateOrAddress] ifFalse: [surrogateOrAddress]. cogMethod cmType = CMBlock ifTrue: [^self disassembleMethod: cogMethod cmHomeMethod on: aStream]. self printMethodHeader: cogMethod on: aStream. (mapEntries := Dictionary new) at: cogMethod asInteger + cmEntryOffset put: 'entry'. cogMethod cmType = CMMethod ifTrue: [mapEntries at: cogMethod asInteger + cmNoCheckEntryOffset put: 'noCheckEntry'. self cppIf: NewspeakVM ifTrue: [mapEntries at: cogMethod asInteger + dynSuperEntryAlignment put: 'dynSuperEntry']]. cogMethod cmType = CMClosedPIC ifTrue: [mapEntries at: cogMethod asInteger + firstCPICCaseOffset put: 'ClosedPICCase0'. 1 to: numPICCases - 1 do: [:i| mapEntries at: cogMethod asInteger + firstCPICCaseOffset + (i * cPICCaseSize) put: 'ClosedPICCase', i printString]]. self mapFor: cogMethod performUntil: #collectMapEntry:address:into: arg: mapEntries. self cppIf: NewspeakVM ifTrue: [mapEntries keys do: [:a| (mapEntries at: a) = #IsNSSendCall ifTrue: [mapEntries at: a + backEnd jumpShortByteSize put: {'Class'. #disassembleCachedOop:. BytesPerWord}; at: a + backEnd jumpShortByteSize + BytesPerOop put: {'ImplicitReceiver'. #disassembleCachedOop:. BytesPerWord}]]]. "This would all be far more elegant and simple if we used blocks. But there are no blocks in C and the basic enumerators here need to be used in the real VM. Apologies." (codeRanges := self codeRangesFor: cogMethod) do: [:range| (cogMethod cmType = CMMethod) ifTrue: [mapEntries keysAndValuesDo: [:mcpc :label| | bcpc | ((range includes: mcpc) + and: [(#(IsSendCall HasBytecodePC) includes: label) + and: [range cogMethod stackCheckOffset > 0]]) ifTrue: - and: [#(IsSendCall HasBytecodePC) includes: label]) ifTrue: [bcpc := self bytecodePCFor: mcpc startBcpc: range startpc in: range cogMethod. bcpc ~= 0 ifTrue: [mapEntries at: mcpc put: label, ' bc ', bcpc printString, '/', (bcpc + 1) printString]]]]. (cogMethod blockEntryOffset ~= 0 and: [range first = (cogMethod blockEntryOffset + cogMethod asInteger)]) ifTrue: [aStream nextPutAll: 'blockEntry:'; cr. self blockDispatchFor: cogMethod perform: #disassemble:from:to:arg: arg: aStream] ifFalse: [range first > (cogMethod address + cmNoCheckEntryOffset) ifTrue: [self printMethodHeader: range cogMethod on: aStream]. self disassembleFrom: range first to: range last labels: mapEntries on: aStream]]. aStream nextPutAll: 'startpc: '; print: codeRanges first startpc; cr. (cogMethod cmType = CMMethod or: [cogMethod cmType = CMOpenPIC]) ifTrue: [[self mapFor: cogMethod performUntil: #printMapEntry:mcpc:args: arg: { aStream. codeRanges. cogMethod }] on: AssertionFailure do: [:ex| ex primitiveChangeClassTo: ResumableVMError basicNew. ":) :) :)" ex resume: nil]]. ^cogMethod! Item was added: + ----- Method: CurrentImageCoInterpreterFacade>>isReadMediatedContextInstVarIndex: (in category 'frame access') ----- + isReadMediatedContextInstVarIndex: index + "Reading the sender, instructionPointer and stackPointer inst vars of a context must take + account of potentially married contexts and fetch the state from the frame. method, + closureOrNil and receiver can safely be fetched from the context without checking." + ^index <= StackPointerIndex! Item was added: + ----- Method: CurrentImageCoInterpreterFacade>>isWriteMediatedContextInstVarIndex: (in category 'frame access') ----- + isWriteMediatedContextInstVarIndex: index + "Wrining any inst vars of a context must take account of potentially married contexts + and set the state in the frame. Inst vars in subclasses don't need mediation; subclasses + can't marry." + ^index <= ReceiverIndex!

1 0

VM Maker: VMMaker.oscog-eem.324.mcz
by commits＠source.squeak.org 16 Aug '13

16 Aug '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.324.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.324 Author: eem Time: 16 August 2013, 11:12:26.475 am UUID: 9a823c96-a04e-41a7-b61f-3e5723096cb1 Ancestors: VMMaker.oscog-eem.323 Fix CurrentImageCoInterpreterFacade for running in-image tests that enumerate over many methods. =============== Diff against VMMaker.oscog-eem.323 =============== Item was changed: ----- Method: CurrentImageCoInterpreterFacade>>initialize (in category 'initialize-release') ----- initialize memory := ByteArray new: 262144. objectMemory := NewCoObjectMemory new. coInterpreter := CoInterpreter new. coInterpreter instVarNamed: 'objectMemory' put: objectMemory; instVarNamed: 'primitiveTable' put: (CArrayAccessor on: CoInterpreter primitiveTable copy). variables := Dictionary new. #('stackLimit') do: [:l| self addressForLabel: l]. - headerToMethodMap := Dictionary new. self initializeObjectMap! Item was changed: ----- Method: CurrentImageCoInterpreterFacade>>initializeObjectMap (in category 'initialize-release') ----- initializeObjectMap objectMap := IdentityDictionary new. + headerToMethodMap := Dictionary new. { nil. false. true. Smalltalk primitiveErrorTable. Float } do: [:o| self oopForObject: o]! Item was added: + ----- Method: CurrentImageCoInterpreterFacade>>noAssertHeaderOf: (in category 'accessing') ----- + noAssertHeaderOf: aMethodOop + ^self rawHeaderOf: aMethodOop!

1 0

VM Maker: VMMaker.oscog-eem.323.mcz
by commits＠source.squeak.org 16 Aug '13

16 Aug '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.323.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.323 Author: eem Time: 16 August 2013, 10:09:00.308 am UUID: db5479c8-21ae-460d-912c-66acdf16c850 Ancestors: VMMaker.oscog-eem.322 Add some class initializers so the in-image compilation works wthout first having to run the VM simulator. Tweak startPCOrNilOfLiteral:in: to filter-out arrays from its check for closure literals. Revert the new framelessness back to experimental status (problem not yet identified but e.g. debugger is broken). Comment typos. =============== Diff against VMMaker.oscog-eem.322 =============== Item was added: + ----- Method: CoInterpreter class>>initialize (in category 'class initialization') ----- + initialize + "This is for Monticello package loading" + self initializeWithOptions: Dictionary new! Item was changed: ----- Method: CoInterpreter>>startPCOrNilOfLiteral:in: (in category 'cog jit support') ----- startPCOrNilOfLiteral: lit in: aMethodObj "Answer the startPC of lit if it is a (clean) block in aMethodObj, oitherwise answer nil." <api> | outerContext | (objectMemory isIntegerObject: lit) ifTrue: [^nil]. (objectMemory lastPointerOf: lit) <= ClosureCopiedValuesIndex ifTrue: [^nil]. + (objectMemory isArrayNonInt: lit) ifTrue: + [^nil]. outerContext := objectMemory fetchPointer: ClosureOuterContextIndex ofObject: lit. (objectMemory isContext: outerContext) ifFalse: [^nil]. aMethodObj ~~ (objectMemory fetchPointer: MethodIndex ofObject: outerContext) ifTrue: [^nil]. ^self quickFetchInteger: ClosureStartPCIndex ofObject: lit! Item was added: + ----- Method: Cogit class>>newInitializeBytecodeTableForNewspeakV3PlusClosuresNewspeakV4Hybrid (in category 'class initialization') ----- + newInitializeBytecodeTableForNewspeakV3PlusClosuresNewspeakV4Hybrid + "SimpleStackBasedCogit newInitializeBytecodeTableForNewspeakV3PlusClosuresNewspeakV4Hybrid" + "StackToRegisterMappingCogit newInitializeBytecodeTableForNewspeakV3PlusClosuresNewspeakV4Hybrid" + + | v3Table v4Table | + "N.B. Must do it backwards to evaluate AltBlockCreationBytecodeSize & BlockCreationBytecodeSize correctly." + self newInitializeBytecodeTableForNewspeakV4. + v4Table := generatorTable. + AltBlockCreationBytecodeSize := BlockCreationBytecodeSize. + AltNSSendIsPCAnnotated := NSSendIsPCAnnotated. + self newInitializeBytecodeTableForNewspeakV3PlusClosures. + v3Table := generatorTable. + generatorTable := CArrayAccessor on: v3Table object, v4Table object! Item was added: + ----- Method: NewObjectMemory class>>initialize (in category 'class initialization') ----- + initialize + "This is for Monticello package loading" + self initializeWithOptions: Dictionary new! Item was added: + ----- Method: ObjectMemory class>>initialize (in category 'class initialization') ----- + initialize + "This is for Monticello package loading" + self initializeWithOptions: Dictionary new! Item was changed: ----- Method: StackToRegisterMappingCogit class>>initializeBytecodeTableForNewspeakV3PlusClosures (in category 'class initialization') ----- initializeBytecodeTableForNewspeakV3PlusClosures "StackToRegisterMappingCogit initializeBytecodeTableForNewspeakV3PlusClosures" isPushNilFunction := #v3:Is:Push:Nil:. pushNilSizeFunction := #v3PushNilSize:. NSSendIsPCAnnotated := true. "IsNSSendCall used by PushImplicitReceiver" self flag: 'Special selector send class must be inlined to agree with the interpreter, which inlines class. If class is sent to e.g. a general instance of ProtoObject then unless class is inlined there will be an MNU. It must be that the Cointerpreter and Cogit have identical semantics. We get away with not hardwiring the other special selectors either because in the Cointerpreter they are not inlined or because they are inlined only to instances of classes for which there will always be a method.'. self generatorTableFrom: #( (1 0 15 genPushReceiverVariableBytecode needsFrameNever: 1) + (1 16 31 genPushTemporaryVariableBytecode) - (1 16 31 genPushTemporaryVariableBytecode needsFrameIfMod16GENumArgs: 1) (1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1) (1 64 95 genPushLiteralVariableBytecode needsFrameNever: 1) (1 96 103 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1) "N.B. not frameless if immutability" (1 104 111 genStoreAndPopTemporaryVariableBytecode) (1 112 112 genPushReceiverBytecode needsFrameNever: 1) (1 113 113 genPushConstantTrueBytecode needsFrameNever: 1) (1 114 114 genPushConstantFalseBytecode needsFrameNever: 1) (1 115 115 genPushConstantNilBytecode needsFrameNever: 1) (1 116 119 genPushQuickIntegerConstantBytecode needsFrameNever: 1) "method returns in blocks need a frame because of nonlocalReturn:through:" (1 120 120 genReturnReceiver return needsFrameIfInBlock: isMappedInBlock 0) (1 121 121 genReturnTrue return needsFrameIfInBlock: isMappedInBlock 0) (1 122 122 genReturnFalse return needsFrameIfInBlock: isMappedInBlock 0) (1 123 123 genReturnNil return needsFrameIfInBlock: isMappedInBlock 0) (1 124 124 genReturnTopFromMethod return needsFrameIfInBlock: isMappedInBlock -1) (1 125 125 genReturnTopFromBlock return needsFrameNever: -1) (3 126 126 genDynamicSuperSendBytecode isMapped) "Newspeak" (2 127 127 genPushImplicitReceiverBytecode isMapped) "Newspeak" (2 128 128 extendedPushBytecode needsFrameNever: 1) (2 129 129 extendedStoreBytecode) (2 130 130 extendedStoreAndPopBytecode) (2 131 131 genExtendedSendBytecode isMapped) (3 132 132 doubleExtendedDoAnythingBytecode isMapped) (2 133 133 genExtendedSuperBytecode isMapped) (2 134 134 genSecondExtendedSendBytecode isMapped) (1 135 135 genPopStackBytecode needsFrameNever: -1) (1 136 136 duplicateTopBytecode needsFrameNever: 1) (1 137 137 genPushActiveContextBytecode) (2 138 138 genPushNewArrayBytecode) (2 139 139 genPushExplicitOuterSendReceiverBytecode isMapped) "Newspeak" (3 140 140 genPushRemoteTempLongBytecode) (3 141 141 genStoreRemoteTempLongBytecode) (3 142 142 genStoreAndPopRemoteTempLongBytecode) (4 143 143 genPushClosureCopyCopiedValuesBytecode block v3:Block:Code:Size:) (1 144 151 genShortUnconditionalJump branch v3:ShortForward:Branch:Distance:) (1 152 159 genShortJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" v3:ShortForward:Branch:Distance:) (2 160 163 genLongUnconditionalBackwardJump branch isMapped "because of interrupt check" v3:Long:Branch:Distance:) (2 164 167 genLongUnconditionalForwardJump branch v3:Long:Branch:Distance:) (2 168 171 genLongJumpIfTrue branch isBranchTrue isMapped "because of mustBeBoolean" v3:LongForward:Branch:Distance:) (2 172 175 genLongJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" v3:LongForward:Branch:Distance:) (1 176 176 genSpecialSelectorArithmetic isMapped AddRR) (1 177 177 genSpecialSelectorArithmetic isMapped SubRR) (1 178 178 genSpecialSelectorComparison isMapped JumpLess) (1 179 179 genSpecialSelectorComparison isMapped JumpGreater) (1 180 180 genSpecialSelectorComparison isMapped JumpLessOrEqual) (1 181 181 genSpecialSelectorComparison isMapped JumpGreaterOrEqual) (1 182 182 genSpecialSelectorComparison isMapped JumpZero) (1 183 183 genSpecialSelectorComparison isMapped JumpNonZero) (1 184 189 genSpecialSelectorSend isMapped) " #* #/ #\\ #@ #bitShift: //" (1 190 190 genSpecialSelectorArithmetic isMapped AndRR) (1 191 191 genSpecialSelectorArithmetic isMapped OrRR) (1 192 197 genSpecialSelectorSend isMapped) "#at: #at:put: #size #next #nextPut: #atEnd" + (1 198 198 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1) "not mapped because it is directly inlined (for now)" + (1 199 199 genSpecialSelectorClass needsFrameNever: notMapped 0) "not mapped because it is directly inlined (for now)" - (1 198 198 genSpecialSelectorEqualsEquals needsFrameIfFollowsSend: notMapped -1) "not mapped because it is directly inlined (for now)" - (1 199 199 genSpecialSelectorClass needsFrameIfFollowsSend: notMapped 0) "not mapped because it is directly inlined (for now)" (1 200 207 genSpecialSelectorSend isMapped) "#blockCopy: #value #value: #do: #new #new: #x #y" (1 208 223 genSendLiteralSelector0ArgsBytecode isMapped) (1 224 239 genSendLiteralSelector1ArgBytecode isMapped) (1 240 255 genSendLiteralSelector2ArgsBytecode isMapped))! Item was changed: ----- Method: StackToRegisterMappingCogit class>>initializeBytecodeTableForNewspeakV4 (in category 'class initialization') ----- initializeBytecodeTableForNewspeakV4 "StackToRegisterMappingCogit initializeBytecodeTableForNewspeakV4" isPushNilFunction := #v4:Is:Push:Nil:. pushNilSizeFunction := #v4PushNilSize:. NSSendIsPCAnnotated := false. "IsNSSendCall used by SendAbsentImplicit" self flag: 'Special selector send class must be inlined to agree with the interpreter, which inlines class. If class is sent to e.g. a general instance of ProtoObject then unless class is inlined there will be an MNU. It must be that the Cointerpreter and Cogit have identical semantics. We get away with not hardwiring the other special selectors either because in the Cointerpreter they are not inlined or because they are inlined only to instances of classes for which there will always be a method.'. self generatorTableFrom: #( "1 byte bytecodes" (1 0 15 genPushReceiverVariableBytecode needsFrameNever: 1) (1 16 31 genPushLiteralVariable16CasesBytecode needsFrameNever: 1) (1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1) + (1 64 75 genPushTemporaryVariableBytecode) - (1 64 75 genPushTemporaryVariableBytecode needsFrameIfMod16GENumArgs: 1) (1 76 76 genPushReceiverBytecode needsFrameNever: 1) (1 77 77 genExtPushPseudoVariableOrOuterBytecode) (1 78 78 genPushConstantZeroBytecode needsFrameNever: 1) (1 79 79 genPushConstantOneBytecode needsFrameNever: 1) (1 80 80 genSpecialSelectorArithmetic isMapped AddRR) (1 81 81 genSpecialSelectorArithmetic isMapped SubRR) (1 82 82 genSpecialSelectorComparison isMapped JumpLess) (1 83 83 genSpecialSelectorComparison isMapped JumpGreater) (1 84 84 genSpecialSelectorComparison isMapped JumpLessOrEqual) (1 85 85 genSpecialSelectorComparison isMapped JumpGreaterOrEqual) (1 86 86 genSpecialSelectorComparison isMapped JumpZero) (1 87 87 genSpecialSelectorComparison isMapped JumpNonZero) (1 88 93 genSpecialSelectorSend isMapped) " #* #/ #\\ #@ #bitShift: //" (1 94 94 genSpecialSelectorArithmetic isMapped AndRR) (1 95 95 genSpecialSelectorArithmetic isMapped OrRR) (1 96 101 genSpecialSelectorSend isMapped) "#at: #at:put: #size #next #nextPut: #atEnd" + (1 102 102 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1) "not mapped because it is directly inlined (for now)" + (1 103 103 genSpecialSelectorClass needsFrameNever: notMapped 0) "not mapped because it is directly inlined (for now)" - (1 102 102 genSpecialSelectorEqualsEquals needsFrameIfFollowsSend: notMapped -1) "not mapped because it is directly inlined (for now)" - (1 103 103 genSpecialSelectorClass needsFrameIfFollowsSend: notMapped 0) "not mapped because it is directly inlined (for now)" (1 104 111 genSpecialSelectorSend isMapped) "#blockCopy: #value #value: #do: #new #new: #x #y" (1 112 127 genSendLiteralSelector0ArgsBytecode isMapped) (1 128 143 genSendLiteralSelector1ArgBytecode isMapped) (1 144 159 genSendLiteralSelector2ArgsBytecode isMapped) (1 160 175 genSendAbsentImplicit0ArgsBytecode isMapped) (1 176 183 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1) "N.B. not frameless if immutability" (1 184 191 genStoreAndPopTemporaryVariableBytecode) (1 192 199 genShortUnconditionalJump branch v3:ShortForward:Branch:Distance:) (1 200 207 genShortJumpIfTrue branch isBranchTrue isMapped "because of mustBeBoolean" v3:ShortForward:Branch:Distance:) (1 208 215 genShortJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" v3:ShortForward:Branch:Distance:) (1 216 216 genReturnReceiver return needsFrameIfInBlock: isMappedInBlock 0) (1 217 217 genReturnTopFromMethod return needsFrameIfInBlock: isMappedInBlock -1) (1 218 218 genExtReturnTopFromBlock return needsFrameNever: -1) (1 219 219 duplicateTopBytecode needsFrameNever: 1) (1 220 220 genPopStackBytecode needsFrameNever: -1) (1 221 221 genExtNopBytecode needsFrameNever: 0) (1 222 223 unknownBytecode) "2 byte bytecodes" (2 224 224 extABytecode extension needsFrameNever: 0) (2 225 225 extBBytecode extension needsFrameNever: 0) (2 226 226 genExtPushReceiverVariableBytecode) (2 227 227 genExtPushLiteralVariableBytecode needsFrameNever: 1) (2 228 228 genExtPushLiteralBytecode needsFrameNever: 1) (2 229 229 genExtPushIntegerBytecode needsFrameNever: 1) (2 230 230 genLongPushTemporaryVariableBytecode) (2 231 231 genPushNewArrayBytecode) (2 232 232 genExtStoreReceiverVariableBytecode) (2 233 233 genExtStoreLiteralVariableBytecode) (2 234 234 genLongStoreTemporaryVariableBytecode) (2 235 235 genExtStoreAndPopReceiverVariableBytecode) (2 236 236 genExtStoreAndPopLiteralVariableBytecode) (2 237 237 genLongStoreAndPopTemporaryVariableBytecode) (2 238 238 genExtSendBytecode isMapped) (2 239 239 genExtSendSuperBytecode isMapped) (2 240 240 genExtSendAbsentImplicitBytecode isMapped) (2 241 241 genExtSendAbsentDynamicSuperBytecode isMapped) (2 242 242 genExtUnconditionalJump branch isMapped "because of interrupt check" v4:Long:Branch:Distance:) (2 243 243 genExtJumpIfTrue branch isBranchTrue isMapped "because of mustBeBoolean" v4:Long:Branch:Distance:) (2 244 244 genExtJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" v4:Long:Branch:Distance:) (2 245 248 unknownBytecode) "3 byte bytecodes" (3 249 249 callPrimitiveBytecode) (3 250 250 genPushRemoteTempLongBytecode) (3 251 251 genStoreRemoteTempLongBytecode) (3 252 252 genStoreAndPopRemoteTempLongBytecode) (3 253 253 genExtPushClosureBytecode block v4:Block:Code:Size:) (3 254 255 unknownBytecode))! Item was changed: ----- Method: StackToRegisterMappingCogit class>>initializeBytecodeTableForSqueakV3PlusClosures (in category 'class initialization') ----- initializeBytecodeTableForSqueakV3PlusClosures "StackToRegisterMappingCogit initializeBytecodeTableForSqueakV3PlusClosures" isPushNilFunction := #v3:Is:Push:Nil:. pushNilSizeFunction := #v3PushNilSize:. self flag: 'Special selector send class must be inlined to agree with the interpreter, which inlines class. If class is sent to e.g. a general instance of ProtoObject then unless class is inlined there will be an MNU. It must be that the Cointerpreter and Cogit have identical semantics. We get away with not hardwiring the other special selectors either because in the Cointerpreter they are not inlined or because they are inlined only to instances of classes for which there will always be a method.'. self generatorTableFrom: #( (1 0 15 genPushReceiverVariableBytecode needsFrameNever: 1) + (1 16 31 genPushTemporaryVariableBytecode) - (1 16 31 genPushTemporaryVariableBytecode needsFrameIfMod16GENumArgs: 1) (1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1) (1 64 95 genPushLiteralVariableBytecode needsFrameNever: 1) (1 96 103 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1) "N.B. not frameless if immutability" (1 104 111 genStoreAndPopTemporaryVariableBytecode) (1 112 112 genPushReceiverBytecode needsFrameNever: 1) (1 113 113 genPushConstantTrueBytecode needsFrameNever: 1) (1 114 114 genPushConstantFalseBytecode needsFrameNever: 1) (1 115 115 genPushConstantNilBytecode needsFrameNever: 1) (1 116 119 genPushQuickIntegerConstantBytecode needsFrameNever: 1) "method returns in blocks need a frame because of nonlocalReturn:through:" (1 120 120 genReturnReceiver return needsFrameIfInBlock: isMappedInBlock 0) (1 121 121 genReturnTrue return needsFrameIfInBlock: isMappedInBlock 0) (1 122 122 genReturnFalse return needsFrameIfInBlock: isMappedInBlock 0) (1 123 123 genReturnNil return needsFrameIfInBlock: isMappedInBlock 0) (1 124 124 genReturnTopFromMethod return needsFrameIfInBlock: isMappedInBlock -1) (1 125 125 genReturnTopFromBlock return needsFrameNever: -1) (1 126 127 unknownBytecode) (2 128 128 extendedPushBytecode needsFrameNever: 1) (2 129 129 extendedStoreBytecode) (2 130 130 extendedStoreAndPopBytecode) (2 131 131 genExtendedSendBytecode isMapped) (3 132 132 doubleExtendedDoAnythingBytecode isMapped) (2 133 133 genExtendedSuperBytecode isMapped) (2 134 134 genSecondExtendedSendBytecode isMapped) (1 135 135 genPopStackBytecode needsFrameNever: -1) (1 136 136 duplicateTopBytecode needsFrameNever: 1) (1 137 137 genPushActiveContextBytecode) (2 138 138 genPushNewArrayBytecode) (1 139 139 unknownBytecode) (3 140 140 genPushRemoteTempLongBytecode) (3 141 141 genStoreRemoteTempLongBytecode) (3 142 142 genStoreAndPopRemoteTempLongBytecode) (4 143 143 genPushClosureCopyCopiedValuesBytecode block v3:Block:Code:Size:) (1 144 151 genShortUnconditionalJump branch v3:ShortForward:Branch:Distance:) (1 152 159 genShortJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" v3:ShortForward:Branch:Distance:) (2 160 163 genLongUnconditionalBackwardJump branch isMapped "because of interrupt check" v3:Long:Branch:Distance:) (2 164 167 genLongUnconditionalForwardJump branch v3:Long:Branch:Distance:) (2 168 171 genLongJumpIfTrue branch isBranchTrue isMapped "because of mustBeBoolean" v3:LongForward:Branch:Distance:) (2 172 175 genLongJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" v3:LongForward:Branch:Distance:) (1 176 176 genSpecialSelectorArithmetic isMapped AddRR) (1 177 177 genSpecialSelectorArithmetic isMapped SubRR) (1 178 178 genSpecialSelectorComparison isMapped JumpLess) (1 179 179 genSpecialSelectorComparison isMapped JumpGreater) (1 180 180 genSpecialSelectorComparison isMapped JumpLessOrEqual) (1 181 181 genSpecialSelectorComparison isMapped JumpGreaterOrEqual) (1 182 182 genSpecialSelectorComparison isMapped JumpZero) (1 183 183 genSpecialSelectorComparison isMapped JumpNonZero) (1 184 189 genSpecialSelectorSend isMapped) " #* #/ #\\ #@ #bitShift: //" (1 190 190 genSpecialSelectorArithmetic isMapped AndRR) (1 191 191 genSpecialSelectorArithmetic isMapped OrRR) (1 192 197 genSpecialSelectorSend isMapped) "#at: #at:put: #size #next #nextPut: #atEnd" + (1 198 198 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1) "not mapped because it is directly inlined (for now)" + (1 199 199 genSpecialSelectorClass needsFrameNever: notMapped 0) "not mapped because it is directly inlined (for now)" - (1 198 198 genSpecialSelectorEqualsEquals needsFrameIfFollowsSend: notMapped -1) "not mapped because it is directly inlined (for now)" - (1 199 199 genSpecialSelectorClass needsFrameIfFollowsSend: notMapped 0) "not mapped because it is directly inlined (for now)" (1 200 207 genSpecialSelectorSend isMapped) "#blockCopy: #value #value: #do: #new #new: #x #y" (1 208 223 genSendLiteralSelector0ArgsBytecode isMapped) (1 224 239 genSendLiteralSelector1ArgBytecode isMapped) (1 240 255 genSendLiteralSelector2ArgsBytecode isMapped))! Item was added: + ----- Method: StackToRegisterMappingCogit class>>newInitializeBytecodeTableForNewspeakV3PlusClosures (in category 'class initialization') ----- + newInitializeBytecodeTableForNewspeakV3PlusClosures + "StackToRegisterMappingCogit newInitializeBytecodeTableForNewspeakV3PlusClosures" + + isPushNilFunction := #v3:Is:Push:Nil:. + pushNilSizeFunction := #v3PushNilSize:. + NSSendIsPCAnnotated := true. "IsNSSendCall used by PushImplicitReceiver" + self flag: + 'Special selector send class must be inlined to agree with the interpreter, which + inlines class. If class is sent to e.g. a general instance of ProtoObject then unless + class is inlined there will be an MNU. It must be that the Cointerpreter and Cogit + have identical semantics. We get away with not hardwiring the other special + selectors either because in the Cointerpreter they are not inlined or because they + are inlined only to instances of classes for which there will always be a method.'. + self generatorTableFrom: #( + (1 0 15 genPushReceiverVariableBytecode needsFrameNever: 1) + (1 16 31 genPushTemporaryVariableBytecode needsFrameIfMod16GENumArgs: 1) + (1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1) + (1 64 95 genPushLiteralVariableBytecode needsFrameNever: 1) + (1 96 103 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1) "N.B. not frameless if immutability" + (1 104 111 genStoreAndPopTemporaryVariableBytecode) + (1 112 112 genPushReceiverBytecode needsFrameNever: 1) + (1 113 113 genPushConstantTrueBytecode needsFrameNever: 1) + (1 114 114 genPushConstantFalseBytecode needsFrameNever: 1) + (1 115 115 genPushConstantNilBytecode needsFrameNever: 1) + (1 116 119 genPushQuickIntegerConstantBytecode needsFrameNever: 1) + "method returns in blocks need a frame because of nonlocalReturn:through:" + (1 120 120 genReturnReceiver return needsFrameIfInBlock: isMappedInBlock 0) + (1 121 121 genReturnTrue return needsFrameIfInBlock: isMappedInBlock 0) + (1 122 122 genReturnFalse return needsFrameIfInBlock: isMappedInBlock 0) + (1 123 123 genReturnNil return needsFrameIfInBlock: isMappedInBlock 0) + (1 124 124 genReturnTopFromMethod return needsFrameIfInBlock: isMappedInBlock -1) + (1 125 125 genReturnTopFromBlock return needsFrameNever: -1) + + (3 126 126 genDynamicSuperSendBytecode isMapped) "Newspeak" + (2 127 127 genPushImplicitReceiverBytecode isMapped) "Newspeak" + + (2 128 128 extendedPushBytecode needsFrameNever: 1) + (2 129 129 extendedStoreBytecode) + (2 130 130 extendedStoreAndPopBytecode) + (2 131 131 genExtendedSendBytecode isMapped) + (3 132 132 doubleExtendedDoAnythingBytecode isMapped) + (2 133 133 genExtendedSuperBytecode isMapped) + (2 134 134 genSecondExtendedSendBytecode isMapped) + (1 135 135 genPopStackBytecode needsFrameNever: -1) + (1 136 136 duplicateTopBytecode needsFrameNever: 1) + + (1 137 137 genPushActiveContextBytecode) + (2 138 138 genPushNewArrayBytecode) + + (2 139 139 genPushExplicitOuterSendReceiverBytecode isMapped) "Newspeak" + + (3 140 140 genPushRemoteTempLongBytecode) + (3 141 141 genStoreRemoteTempLongBytecode) + (3 142 142 genStoreAndPopRemoteTempLongBytecode) + (4 143 143 genPushClosureCopyCopiedValuesBytecode block v3:Block:Code:Size:) + + (1 144 151 genShortUnconditionalJump branch v3:ShortForward:Branch:Distance:) + (1 152 159 genShortJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" + v3:ShortForward:Branch:Distance:) + (2 160 163 genLongUnconditionalBackwardJump branch isMapped "because of interrupt check" + v3:Long:Branch:Distance:) + (2 164 167 genLongUnconditionalForwardJump branch v3:Long:Branch:Distance:) + (2 168 171 genLongJumpIfTrue branch isBranchTrue isMapped "because of mustBeBoolean" + v3:LongForward:Branch:Distance:) + (2 172 175 genLongJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" + v3:LongForward:Branch:Distance:) + + (1 176 176 genSpecialSelectorArithmetic isMapped AddRR) + (1 177 177 genSpecialSelectorArithmetic isMapped SubRR) + (1 178 178 genSpecialSelectorComparison isMapped JumpLess) + (1 179 179 genSpecialSelectorComparison isMapped JumpGreater) + (1 180 180 genSpecialSelectorComparison isMapped JumpLessOrEqual) + (1 181 181 genSpecialSelectorComparison isMapped JumpGreaterOrEqual) + (1 182 182 genSpecialSelectorComparison isMapped JumpZero) + (1 183 183 genSpecialSelectorComparison isMapped JumpNonZero) + (1 184 189 genSpecialSelectorSend isMapped) " #* #/ #\\ #@ #bitShift: //" + (1 190 190 genSpecialSelectorArithmetic isMapped AndRR) + (1 191 191 genSpecialSelectorArithmetic isMapped OrRR) + (1 192 197 genSpecialSelectorSend isMapped) "#at: #at:put: #size #next #nextPut: #atEnd" + (1 198 198 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1) "not mapped because it is directly inlined (for now)" + (1 199 199 genSpecialSelectorClass needsFrameNever: notMapped 0) "not mapped because it is directly inlined (for now)" + (1 200 207 genSpecialSelectorSend isMapped) "#blockCopy: #value #value: #do: #new #new: #x #y" + (1 208 223 genSendLiteralSelector0ArgsBytecode isMapped) + (1 224 239 genSendLiteralSelector1ArgBytecode isMapped) + (1 240 255 genSendLiteralSelector2ArgsBytecode isMapped))! Item was added: + ----- Method: StackToRegisterMappingCogit class>>newInitializeBytecodeTableForNewspeakV3PlusClosuresNewspeakV4Hybrid (in category 'class initialization') ----- + newInitializeBytecodeTableForNewspeakV3PlusClosuresNewspeakV4Hybrid + "StackToRegisterMappingCogit newInitializeBytecodeTableForNewspeakV3PlusClosuresNewspeakV4Hybrid" + + super newInitializeBytecodeTableForNewspeakV3PlusClosuresNewspeakV4Hybrid. + isPushNilFunction := #v3or4:Is:Push:Nil:. + pushNilSizeFunction := #v3or4PushNilSize:! Item was added: + ----- Method: StackToRegisterMappingCogit class>>newInitializeBytecodeTableForNewspeakV4 (in category 'class initialization') ----- + newInitializeBytecodeTableForNewspeakV4 + "StackToRegisterMappingCogit newInitializeBytecodeTableForNewspeakV4" + + isPushNilFunction := #v4:Is:Push:Nil:. + pushNilSizeFunction := #v4PushNilSize:. + NSSendIsPCAnnotated := false. "IsNSSendCall used by SendAbsentImplicit" + self flag: + 'Special selector send class must be inlined to agree with the interpreter, which + inlines class. If class is sent to e.g. a general instance of ProtoObject then unless + class is inlined there will be an MNU. It must be that the Cointerpreter and Cogit + have identical semantics. We get away with not hardwiring the other special + selectors either because in the Cointerpreter they are not inlined or because they + are inlined only to instances of classes for which there will always be a method.'. + self generatorTableFrom: #( + "1 byte bytecodes" + (1 0 15 genPushReceiverVariableBytecode needsFrameNever: 1) + (1 16 31 genPushLiteralVariable16CasesBytecode needsFrameNever: 1) + (1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1) + (1 64 75 genPushTemporaryVariableBytecode needsFrameIfMod16GENumArgs: 1) + (1 76 76 genPushReceiverBytecode needsFrameNever: 1) + (1 77 77 genExtPushPseudoVariableOrOuterBytecode) + (1 78 78 genPushConstantZeroBytecode needsFrameNever: 1) + (1 79 79 genPushConstantOneBytecode needsFrameNever: 1) + + (1 80 80 genSpecialSelectorArithmetic isMapped AddRR) + (1 81 81 genSpecialSelectorArithmetic isMapped SubRR) + (1 82 82 genSpecialSelectorComparison isMapped JumpLess) + (1 83 83 genSpecialSelectorComparison isMapped JumpGreater) + (1 84 84 genSpecialSelectorComparison isMapped JumpLessOrEqual) + (1 85 85 genSpecialSelectorComparison isMapped JumpGreaterOrEqual) + (1 86 86 genSpecialSelectorComparison isMapped JumpZero) + (1 87 87 genSpecialSelectorComparison isMapped JumpNonZero) + (1 88 93 genSpecialSelectorSend isMapped) " #* #/ #\\ #@ #bitShift: //" + (1 94 94 genSpecialSelectorArithmetic isMapped AndRR) + (1 95 95 genSpecialSelectorArithmetic isMapped OrRR) + (1 96 101 genSpecialSelectorSend isMapped) "#at: #at:put: #size #next #nextPut: #atEnd" + (1 102 102 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1) "not mapped because it is directly inlined (for now)" + (1 103 103 genSpecialSelectorClass needsFrameNever: notMapped 0) "not mapped because it is directly inlined (for now)" + (1 104 111 genSpecialSelectorSend isMapped) "#blockCopy: #value #value: #do: #new #new: #x #y" + + (1 112 127 genSendLiteralSelector0ArgsBytecode isMapped) + (1 128 143 genSendLiteralSelector1ArgBytecode isMapped) + (1 144 159 genSendLiteralSelector2ArgsBytecode isMapped) + (1 160 175 genSendAbsentImplicit0ArgsBytecode isMapped) + + (1 176 183 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1) "N.B. not frameless if immutability" + (1 184 191 genStoreAndPopTemporaryVariableBytecode) + + (1 192 199 genShortUnconditionalJump branch v3:ShortForward:Branch:Distance:) + (1 200 207 genShortJumpIfTrue branch isBranchTrue isMapped "because of mustBeBoolean" + v3:ShortForward:Branch:Distance:) + (1 208 215 genShortJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" + v3:ShortForward:Branch:Distance:) + + (1 216 216 genReturnReceiver return needsFrameIfInBlock: isMappedInBlock 0) + (1 217 217 genReturnTopFromMethod return needsFrameIfInBlock: isMappedInBlock -1) + (1 218 218 genExtReturnTopFromBlock return needsFrameNever: -1) + + (1 219 219 duplicateTopBytecode needsFrameNever: 1) + (1 220 220 genPopStackBytecode needsFrameNever: -1) + (1 221 221 genExtNopBytecode needsFrameNever: 0) + (1 222 223 unknownBytecode) + + "2 byte bytecodes" + (2 224 224 extABytecode extension needsFrameNever: 0) + (2 225 225 extBBytecode extension needsFrameNever: 0) + (2 226 226 genExtPushReceiverVariableBytecode) + (2 227 227 genExtPushLiteralVariableBytecode needsFrameNever: 1) + (2 228 228 genExtPushLiteralBytecode needsFrameNever: 1) + (2 229 229 genExtPushIntegerBytecode needsFrameNever: 1) + (2 230 230 genLongPushTemporaryVariableBytecode) + (2 231 231 genPushNewArrayBytecode) + (2 232 232 genExtStoreReceiverVariableBytecode) + (2 233 233 genExtStoreLiteralVariableBytecode) + (2 234 234 genLongStoreTemporaryVariableBytecode) + (2 235 235 genExtStoreAndPopReceiverVariableBytecode) + (2 236 236 genExtStoreAndPopLiteralVariableBytecode) + (2 237 237 genLongStoreAndPopTemporaryVariableBytecode) + + (2 238 238 genExtSendBytecode isMapped) + (2 239 239 genExtSendSuperBytecode isMapped) + (2 240 240 genExtSendAbsentImplicitBytecode isMapped) + (2 241 241 genExtSendAbsentDynamicSuperBytecode isMapped) + + (2 242 242 genExtUnconditionalJump branch isMapped "because of interrupt check" v4:Long:Branch:Distance:) + (2 243 243 genExtJumpIfTrue branch isBranchTrue isMapped "because of mustBeBoolean" v4:Long:Branch:Distance:) + (2 244 244 genExtJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" v4:Long:Branch:Distance:) + + (2 245 248 unknownBytecode) + + "3 byte bytecodes" + (3 249 249 callPrimitiveBytecode) + (3 250 250 genPushRemoteTempLongBytecode) + (3 251 251 genStoreRemoteTempLongBytecode) + (3 252 252 genStoreAndPopRemoteTempLongBytecode) + (3 253 253 genExtPushClosureBytecode block v4:Block:Code:Size:) + + (3 254 255 unknownBytecode))! Item was added: + ----- Method: StackToRegisterMappingCogit class>>newInitializeBytecodeTableForSqueakV3PlusClosures (in category 'class initialization') ----- + newInitializeBytecodeTableForSqueakV3PlusClosures + "StackToRegisterMappingCogit newInitializeBytecodeTableForSqueakV3PlusClosures" + + isPushNilFunction := #v3:Is:Push:Nil:. + pushNilSizeFunction := #v3PushNilSize:. + self flag: + 'Special selector send class must be inlined to agree with the interpreter, which + inlines class. If class is sent to e.g. a general instance of ProtoObject then unless + class is inlined there will be an MNU. It must be that the Cointerpreter and Cogit + have identical semantics. We get away with not hardwiring the other special + selectors either because in the Cointerpreter they are not inlined or because they + are inlined only to instances of classes for which there will always be a method.'. + self generatorTableFrom: #( + (1 0 15 genPushReceiverVariableBytecode needsFrameNever: 1) + (1 16 31 genPushTemporaryVariableBytecode needsFrameIfMod16GENumArgs: 1) + (1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1) + (1 64 95 genPushLiteralVariableBytecode needsFrameNever: 1) + (1 96 103 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1) "N.B. not frameless if immutability" + (1 104 111 genStoreAndPopTemporaryVariableBytecode) + (1 112 112 genPushReceiverBytecode needsFrameNever: 1) + (1 113 113 genPushConstantTrueBytecode needsFrameNever: 1) + (1 114 114 genPushConstantFalseBytecode needsFrameNever: 1) + (1 115 115 genPushConstantNilBytecode needsFrameNever: 1) + (1 116 119 genPushQuickIntegerConstantBytecode needsFrameNever: 1) + "method returns in blocks need a frame because of nonlocalReturn:through:" + (1 120 120 genReturnReceiver return needsFrameIfInBlock: isMappedInBlock 0) + (1 121 121 genReturnTrue return needsFrameIfInBlock: isMappedInBlock 0) + (1 122 122 genReturnFalse return needsFrameIfInBlock: isMappedInBlock 0) + (1 123 123 genReturnNil return needsFrameIfInBlock: isMappedInBlock 0) + (1 124 124 genReturnTopFromMethod return needsFrameIfInBlock: isMappedInBlock -1) + (1 125 125 genReturnTopFromBlock return needsFrameNever: -1) + + (1 126 127 unknownBytecode) + + (2 128 128 extendedPushBytecode needsFrameNever: 1) + (2 129 129 extendedStoreBytecode) + (2 130 130 extendedStoreAndPopBytecode) + (2 131 131 genExtendedSendBytecode isMapped) + (3 132 132 doubleExtendedDoAnythingBytecode isMapped) + (2 133 133 genExtendedSuperBytecode isMapped) + (2 134 134 genSecondExtendedSendBytecode isMapped) + (1 135 135 genPopStackBytecode needsFrameNever: -1) + (1 136 136 duplicateTopBytecode needsFrameNever: 1) + + (1 137 137 genPushActiveContextBytecode) + (2 138 138 genPushNewArrayBytecode) + + (1 139 139 unknownBytecode) + + (3 140 140 genPushRemoteTempLongBytecode) + (3 141 141 genStoreRemoteTempLongBytecode) + (3 142 142 genStoreAndPopRemoteTempLongBytecode) + (4 143 143 genPushClosureCopyCopiedValuesBytecode block v3:Block:Code:Size:) + + (1 144 151 genShortUnconditionalJump branch v3:ShortForward:Branch:Distance:) + (1 152 159 genShortJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" + v3:ShortForward:Branch:Distance:) + (2 160 163 genLongUnconditionalBackwardJump branch isMapped "because of interrupt check" + v3:Long:Branch:Distance:) + (2 164 167 genLongUnconditionalForwardJump branch v3:Long:Branch:Distance:) + (2 168 171 genLongJumpIfTrue branch isBranchTrue isMapped "because of mustBeBoolean" + v3:LongForward:Branch:Distance:) + (2 172 175 genLongJumpIfFalse branch isBranchFalse isMapped "because of mustBeBoolean" + v3:LongForward:Branch:Distance:) + + (1 176 176 genSpecialSelectorArithmetic isMapped AddRR) + (1 177 177 genSpecialSelectorArithmetic isMapped SubRR) + (1 178 178 genSpecialSelectorComparison isMapped JumpLess) + (1 179 179 genSpecialSelectorComparison isMapped JumpGreater) + (1 180 180 genSpecialSelectorComparison isMapped JumpLessOrEqual) + (1 181 181 genSpecialSelectorComparison isMapped JumpGreaterOrEqual) + (1 182 182 genSpecialSelectorComparison isMapped JumpZero) + (1 183 183 genSpecialSelectorComparison isMapped JumpNonZero) + (1 184 189 genSpecialSelectorSend isMapped) " #* #/ #\\ #@ #bitShift: //" + (1 190 190 genSpecialSelectorArithmetic isMapped AndRR) + (1 191 191 genSpecialSelectorArithmetic isMapped OrRR) + (1 192 197 genSpecialSelectorSend isMapped) "#at: #at:put: #size #next #nextPut: #atEnd" + (1 198 198 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1) "not mapped because it is directly inlined (for now)" + (1 199 199 genSpecialSelectorClass needsFrameNever: notMapped 0) "not mapped because it is directly inlined (for now)" + (1 200 207 genSpecialSelectorSend isMapped) "#blockCopy: #value #value: #do: #new #new: #x #y" + (1 208 223 genSendLiteralSelector0ArgsBytecode isMapped) + (1 224 239 genSendLiteralSelector1ArgBytecode isMapped) + (1 240 255 genSendLiteralSelector2ArgsBytecode isMapped))! Item was changed: ----- Method: StackToRegisterMappingCogit>>genPushLiteralVariable: (in category 'bytecode generators') ----- genPushLiteralVariable: literalIndex <inline: false> | association freeReg | freeReg := self ssAllocatePreferredReg: ClassReg. association := self getLiteral: literalIndex. "N.B. Do _not_ use ReceiverResultReg to avoid overwriting receiver in assignment in frameless methods." "So far descriptors are not rich enough to describe the entire dereference so generate the register + load but don't push the result. There is an order-of-evaluation issue if we defer the dereference." - load but don't push the result. There is an order-or-evaluation issue if we defer the dereference." self annotate: (self MoveCw: association R: TempReg) objRef: association. objectRepresentation genLoadSlot: ValueIndex sourceReg: TempReg destReg: freeReg. self ssPushRegister: freeReg. ^0!

1 0

Re: [Vm-dev] VM Maker: Qwaq-VMProfiling-eem.66.mcz
by Frank Shearar 15 Aug '13

15 Aug '13

On 2 August 2013 22:32, <commits(a)source.squeak.org> wrote: > > Eliot Miranda uploaded a new version of CogTools to project VM Maker: > http://source.squeak.org/VMMaker/Qwaq-VMProfiling-eem.66.mcz > > ==================== Summary ==================== > > Name: Qwaq-VMProfiling-eem.66 > Author: eem > Time: 2 August 2013, 2:32:41.232 pm > UUID: 6c875f9a-9f18-4476-b8e1-6ddd64b4bfb5 > Ancestors: Qwaq-VMProfiling-eem.65 > > Release the Qwaq VMProfiler as VMProfiler. This version derives > from Qwaq-VMProfiling-eem.65. Thanks to all at 3D ICC, especially > Ron Teitlebaum, for permission to release this. > In memory of Andreas Raab, who gave me the opportunity to build > Cog, and who was my friend and colleague. I miss you, Andreas, > very much. > > ==================== Snapshot ==================== First, a big THANK YOU to 3D ICC. I'm a bit confused by the licence though: in the class comment it says APL, but in the LICENCE method it says MIT. Which licence is it, or is it a dual licence, or is it just a mistake? Lastly, what's the high level summary of the profile? Does one just load it into a normal image and use it? Does it require any special bits from the VM? I'm assuming you'd only use it with a Cog VM, for instance. And really lastly, what are its dependencies? It looks like it uses Morphic. Does that have implications for running it in Squeak vs Pharo? frank

3 5

[commit][2772] CogVM source as per VMMaker.oscog-eem.322
by commits＠squeakvm.org 15 Aug '13

15 Aug '13

Revision: 2772 Author: eliot Date: 2013-08-15 11:55:10 -0700 (Thu, 15 Aug 2013) Log Message: ----------- CogVM source as per VMMaker.oscog-eem.322 Tweak frameless inst var store to avoid a register copy from Arg0Reg. Modified Paths: -------------- branches/Cog/nscogsrc/vm/cogit.c branches/Cog/nscogsrc/vm/cogit.h branches/Cog/nscogsrc/vm/cogmethod.h branches/Cog/src/vm/cogit.c branches/Cog/src/vm/cogit.h branches/Cog/src/vm/cogmethod.h Property Changed: ---------------- branches/Cog/platforms/Cross/vm/sqSCCSVersion.h Modified: branches/Cog/nscogsrc/vm/cogit.c =================================================================== --- branches/Cog/nscogsrc/vm/cogit.c 2013-08-15 14:27:42 UTC (rev 2771) +++ branches/Cog/nscogsrc/vm/cogit.c 2013-08-15 18:55:10 UTC (rev 2772) @@ -1,9 +1,9 @@ /* Automatically generated by - CCodeGenerator VMMaker.oscog-eem.321 uuid: 6134e40b-c38c-41ec-8f31-64a7f1c002b3 + CCodeGenerator VMMaker.oscog-eem.322 uuid: 15da84de-4866-48ae-b478-c2c96002c5eb from - StackToRegisterMappingCogit VMMaker.oscog-eem.321 uuid: 6134e40b-c38c-41ec-8f31-64a7f1c002b3 + StackToRegisterMappingCogit VMMaker.oscog-eem.322 uuid: 15da84de-4866-48ae-b478-c2c96002c5eb */ -static char __buildInfo[] = "StackToRegisterMappingCogit VMMaker.oscog-eem.321 uuid: 6134e40b-c38c-41ec-8f31-64a7f1c002b3 " __DATE__ ; +static char __buildInfo[] = "StackToRegisterMappingCogit VMMaker.oscog-eem.322 uuid: 15da84de-4866-48ae-b478-c2c96002c5eb " __DATE__ ; char *__cogitBuildInfo = __buildInfo; @@ -9972,22 +9972,20 @@ } return genStoreImmediateInSourceRegslotIndexdestReg(TempReg, slotIndex, ReceiverResultReg); } - topReg = ClassReg; - ssPop(1); - ssAllocateCallReg(topReg); - ssPush(1); - valueReg = ssStorePoptoPreferredReg(popBoolean, topReg); - if (valueReg != topReg) { - /* begin MoveR:R: */ - genoperandoperand(MoveRR, valueReg, topReg); + if (((topReg = registerOrNil(ssTop()))) == null) { + topReg = ClassReg; } + + /* Note that ReceiverResultReg remains live after ceStoreCheckTrampoline. */ + + valueReg = ssStorePoptoPreferredReg(popBoolean, topReg); ensureReceiverResultRegContainsSelf(); if (traceStores > 0) { /* begin MoveR:R: */ - genoperandoperand(MoveRR, topReg, TempReg); + genoperandoperand(MoveRR, valueReg, TempReg); CallRT(ceTraceStoreTrampoline); } - return genStoreSourceRegslotIndexdestRegscratchReg(topReg, slotIndex, ReceiverResultReg, TempReg); + return genStoreSourceRegslotIndexdestRegscratchReg(valueReg, slotIndex, ReceiverResultReg, TempReg); } Modified: branches/Cog/nscogsrc/vm/cogit.h =================================================================== --- branches/Cog/nscogsrc/vm/cogit.h 2013-08-15 14:27:42 UTC (rev 2771) +++ branches/Cog/nscogsrc/vm/cogit.h 2013-08-15 18:55:10 UTC (rev 2772) @@ -1,5 +1,5 @@ /* Automatically generated by - CCodeGenerator VMMaker.oscog-eem.321 uuid: 6134e40b-c38c-41ec-8f31-64a7f1c002b3 + CCodeGenerator VMMaker.oscog-eem.322 uuid: 15da84de-4866-48ae-b478-c2c96002c5eb */ Modified: branches/Cog/nscogsrc/vm/cogmethod.h =================================================================== --- branches/Cog/nscogsrc/vm/cogmethod.h 2013-08-15 14:27:42 UTC (rev 2771) +++ branches/Cog/nscogsrc/vm/cogmethod.h 2013-08-15 18:55:10 UTC (rev 2772) @@ -1,5 +1,5 @@ /* Automatically generated by - CCodeGenerator VMMaker.oscog-eem.321 uuid: 6134e40b-c38c-41ec-8f31-64a7f1c002b3 + CCodeGenerator VMMaker.oscog-eem.322 uuid: 15da84de-4866-48ae-b478-c2c96002c5eb */ typedef struct { Property changes on: branches/Cog/platforms/Cross/vm/sqSCCSVersion.h ___________________________________________________________________ Modified: checkindate - Wed Aug 14 17:00:50 PDT 2013 + Thu Aug 15 11:54:48 PDT 2013 Modified: branches/Cog/src/vm/cogit.c =================================================================== --- branches/Cog/src/vm/cogit.c 2013-08-15 14:27:42 UTC (rev 2771) +++ branches/Cog/src/vm/cogit.c 2013-08-15 18:55:10 UTC (rev 2772) @@ -1,9 +1,9 @@ /* Automatically generated by - CCodeGenerator VMMaker.oscog-eem.321 uuid: 6134e40b-c38c-41ec-8f31-64a7f1c002b3 + CCodeGenerator VMMaker.oscog-eem.322 uuid: 15da84de-4866-48ae-b478-c2c96002c5eb from - StackToRegisterMappingCogit VMMaker.oscog-eem.321 uuid: 6134e40b-c38c-41ec-8f31-64a7f1c002b3 + StackToRegisterMappingCogit VMMaker.oscog-eem.322 uuid: 15da84de-4866-48ae-b478-c2c96002c5eb */ -static char __buildInfo[] = "StackToRegisterMappingCogit VMMaker.oscog-eem.321 uuid: 6134e40b-c38c-41ec-8f31-64a7f1c002b3 " __DATE__ ; +static char __buildInfo[] = "StackToRegisterMappingCogit VMMaker.oscog-eem.322 uuid: 15da84de-4866-48ae-b478-c2c96002c5eb " __DATE__ ; char *__cogitBuildInfo = __buildInfo; @@ -9087,22 +9087,20 @@ } return genStoreImmediateInSourceRegslotIndexdestReg(TempReg, slotIndex, ReceiverResultReg); } - topReg = ClassReg; - ssPop(1); - ssAllocateCallReg(topReg); - ssPush(1); - valueReg = ssStorePoptoPreferredReg(popBoolean, topReg); - if (valueReg != topReg) { - /* begin MoveR:R: */ - genoperandoperand(MoveRR, valueReg, topReg); + if (((topReg = registerOrNil(ssTop()))) == null) { + topReg = ClassReg; } + + /* Note that ReceiverResultReg remains live after ceStoreCheckTrampoline. */ + + valueReg = ssStorePoptoPreferredReg(popBoolean, topReg); ensureReceiverResultRegContainsSelf(); if (traceStores > 0) { /* begin MoveR:R: */ - genoperandoperand(MoveRR, topReg, TempReg); + genoperandoperand(MoveRR, valueReg, TempReg); CallRT(ceTraceStoreTrampoline); } - return genStoreSourceRegslotIndexdestRegscratchReg(topReg, slotIndex, ReceiverResultReg, TempReg); + return genStoreSourceRegslotIndexdestRegscratchReg(valueReg, slotIndex, ReceiverResultReg, TempReg); } Modified: branches/Cog/src/vm/cogit.h =================================================================== --- branches/Cog/src/vm/cogit.h 2013-08-15 14:27:42 UTC (rev 2771) +++ branches/Cog/src/vm/cogit.h 2013-08-15 18:55:10 UTC (rev 2772) @@ -1,5 +1,5 @@ /* Automatically generated by - CCodeGenerator VMMaker.oscog-eem.321 uuid: 6134e40b-c38c-41ec-8f31-64a7f1c002b3 + CCodeGenerator VMMaker.oscog-eem.322 uuid: 15da84de-4866-48ae-b478-c2c96002c5eb */ Modified: branches/Cog/src/vm/cogmethod.h =================================================================== --- branches/Cog/src/vm/cogmethod.h 2013-08-15 14:27:42 UTC (rev 2771) +++ branches/Cog/src/vm/cogmethod.h 2013-08-15 18:55:10 UTC (rev 2772) @@ -1,5 +1,5 @@ /* Automatically generated by - CCodeGenerator VMMaker.oscog-eem.321 uuid: 6134e40b-c38c-41ec-8f31-64a7f1c002b3 + CCodeGenerator VMMaker.oscog-eem.322 uuid: 15da84de-4866-48ae-b478-c2c96002c5eb */ typedef struct {

1 0

VM Maker: VMMaker.oscog-eem.322.mcz
by commits＠source.squeak.org 15 Aug '13

15 Aug '13

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.322.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.322 Author: eem Time: 15 August 2013, 11:50:09.807 am UUID: 15da84de-4866-48ae-b478-c2c96002c5eb Ancestors: VMMaker.oscog-eem.321 Tweak frameless inst var store to avoid a register copy from Arg0Reg. Upgrade CurrentImageCoInterpreterFacade to cope with the scan for clean blocks. =============== Diff against VMMaker.oscog-eem.321 =============== Item was added: + ----- Method: CurrentImageCoInterpreterFacade>>fetchPointer:ofObject: (in category 'accessing') ----- + fetchPointer: index ofObject: anOop + | obj | + obj := (objectMap keyAtValue: anOop). + ^obj isCompiledMethod + ifTrue: [obj objectAt: index + 1] + ifFalse: [obj instVarAt: index + 1]! Item was added: + ----- Method: CurrentImageCoInterpreterFacade>>literalCountOf: (in category 'accessing') ----- + literalCountOf: anOop + ^(objectMap keyAtValue: anOop) numLiterals! Item was added: + ----- Method: CurrentImageCoInterpreterFacade>>startPCOrNilOfLiteral:in: (in category 'accessing') ----- + startPCOrNilOfLiteral: literalOop in: methodOop + ^(literalOop isClosure + and: [literalOop method == (objectMap keyAtValue: methodOop)]) ifTrue: + [literalOop startpc]! Item was changed: ----- Method: StackToRegisterMappingCogit>>genFramelessStorePop:ReceiverVariable: (in category 'bytecode generators') ----- genFramelessStorePop: popBoolean ReceiverVariable: slotIndex <inline: false> | topReg valueReg constVal | self assert: needsFrame not. self ssFlushUpThroughReceiverVariable: slotIndex. "Avoid store check for immediate values" constVal := self ssTop maybeConstant. (self ssTop type = SSConstant and: [(objectRepresentation shouldAnnotateObjectReference: constVal) not]) ifTrue: [self ensureReceiverResultRegContainsSelf. self ssStorePop: popBoolean toPreferredReg: TempReg. traceStores > 0 ifTrue: [self CallRT: ceTraceStoreTrampoline]. ^objectRepresentation genStoreImmediateInSourceReg: TempReg slotIndex: slotIndex destReg: ReceiverResultReg]. + (topReg := self ssTop registerOrNil) isNil ifTrue: + [topReg := ClassReg]. - topReg := ClassReg. - self ssPop: 1. - self ssAllocateCallReg: topReg. "for the ceStoreCheck call in genStoreSourceReg:... below" - self ssPush: 1. valueReg := self ssStorePop: popBoolean toPreferredReg: topReg. - valueReg ~= topReg ifTrue: - [self MoveR: valueReg R: topReg]. "Note that ReceiverResultReg remains live after ceStoreCheckTrampoline." self ensureReceiverResultRegContainsSelf. traceStores > 0 ifTrue: + [self MoveR: valueReg R: TempReg. - [self MoveR: topReg R: TempReg. self CallRT: ceTraceStoreTrampoline]. ^objectRepresentation + genStoreSourceReg: valueReg - genStoreSourceReg: topReg slotIndex: slotIndex destReg: ReceiverResultReg scratchReg: TempReg!

1 0

[commit][2771] latest changes
by commits＠squeakvm.org 15 Aug '13

15 Aug '13

Revision: 2771 Author: piumarta Date: 2013-08-15 07:27:42 -0700 (Thu, 15 Aug 2013) Log Message: ----------- latest changes Modified Paths: -------------- trunk/platforms/unix/ChangeLog Modified: trunk/platforms/unix/ChangeLog =================================================================== --- trunk/platforms/unix/ChangeLog 2013-08-15 14:27:27 UTC (rev 2770) +++ trunk/platforms/unix/ChangeLog 2013-08-15 14:27:42 UTC (rev 2771) @@ -1,3 +1,24 @@ +2013-08-15 Ian Piumarta <piumarta@raspberrypi> + + * cmake/Plugins.cmake: Process ${plugin}_extra_sources in both + internal and external plugins. Set ${plugin}_source_dir to the + location of the generated plugin C source file. + + * cmake/configure: Add option '--enableFastBlt'. + + * CMakeLists.txt: Add option '--enableFastBlt'. + + * plugins/BitBltPlugin/config.cmake: Added. Use fast bitblt when + enabled and supported. + + * vm-display-X11/sqUnixX11Arm.S: Added. Support fast display copy on ARM. + + * vm-display-X11/config.cmake: Include optimised BitBlt code when + supported and enabled. + + * vm-display-X11/sqUnixX11.c: Use optimised BitBlt support when + USE_FAST_BLT is defined. + 2013-08-10 Ian Piumarta <com -dot- gmail -at- piumarta (backwards)> * vm/sqUnixMain.c: extreMemory is 64 bits on LP64 architectures.

1 0

[commit][2770] add option --enableFastBlt
by commits＠squeakvm.org 15 Aug '13

15 Aug '13

Revision: 2770 Author: piumarta Date: 2013-08-15 07:27:27 -0700 (Thu, 15 Aug 2013) Log Message: ----------- add option --enableFastBlt Modified Paths: -------------- trunk/platforms/unix/CMakeLists.txt trunk/platforms/unix/cmake/configure Modified: trunk/platforms/unix/CMakeLists.txt =================================================================== --- trunk/platforms/unix/CMakeLists.txt 2013-08-15 14:27:04 UTC (rev 2769) +++ trunk/platforms/unix/CMakeLists.txt 2013-08-15 14:27:27 UTC (rev 2770) @@ -1,6 +1,6 @@ # Yes, it's true: you can write makefiles in COBOL. # -# Last edited: 2012-09-16 21:19:57 by piumarta on linux64 +# Last edited: 2013-08-11 22:54:35 by piumarta on emilia PROJECT (squeak) @@ -19,6 +19,10 @@ SET (scriptsuffix "64") ENDIF (DEFINED OPT--image64) +IF (DEFINED OPT--enableFastBlt) + SET (ENABLE-FAST-BLT 1) +ENDIF (DEFINED OPT--enableFastBlt) + SET (prefix ${CMAKE_INSTALL_PREFIX}) SET (version ${VM_VERSION}) Modified: trunk/platforms/unix/cmake/configure =================================================================== --- trunk/platforms/unix/cmake/configure 2013-08-15 14:27:04 UTC (rev 2769) +++ trunk/platforms/unix/cmake/configure 2013-08-15 14:27:27 UTC (rev 2770) @@ -1,6 +1,6 @@ #!/bin/sh -# Last edited: 2012-09-16 21:35:15 by piumarta on linux64 +# Last edited: 2013-08-11 23:16:05 by piumarta on emilia RELEASE_TAG="" @@ -16,6 +16,7 @@ --without-gl disable everything that depends on OpenGL --without-SUGAR disable support for SUGAR environment --image64 build a VM for running 64-bit images + --enableFastBlt use optimised BitBlt (not supported on most platforms) Notes: 1. By default the CFLAGS will be set to create optimised binaries. If you are debugging the VM you probably want to use '--CFLAGS=-g' when invoking this

1 0

[commit][2769] process plugin_extra_sources in internal plugins; set plugin_source_dir
by commits＠squeakvm.org 15 Aug '13

15 Aug '13

Revision: 2769 Author: piumarta Date: 2013-08-15 07:27:04 -0700 (Thu, 15 Aug 2013) Log Message: ----------- process plugin_extra_sources in internal plugins; set plugin_source_dir Modified Paths: -------------- trunk/platforms/unix/cmake/Plugins.cmake Modified: trunk/platforms/unix/cmake/Plugins.cmake =================================================================== --- trunk/platforms/unix/cmake/Plugins.cmake 2013-08-15 14:22:31 UTC (rev 2768) +++ trunk/platforms/unix/cmake/Plugins.cmake 2013-08-15 14:27:04 UTC (rev 2769) @@ -29,6 +29,9 @@ STRING_APPEND (plugin_sources "${tmp}") ENDFOREACH (dir) ENDIF (DEFINED ${plugin}_sources) + IF (DEFINED ${plugin}_extra_sources) + STRING_APPEND (plugin_sources "${${plugin}_extra_sources}") + ENDIF (DEFINED ${plugin}_extra_sources) FILE (WRITE ${bld}/${plugin}/CMakeLists.in "") FOREACH (dir ${unix}/plugins ${unix}) FILE_APPEND (${bld}/${plugin}/CMakeLists.in ${dir}/${plugin}/build.cmake) @@ -96,8 +99,10 @@ #MESSAGE ("-- plugin ${plugin}") IF (${plugins_list} STREQUAL "plugins_int") SET (plugin_target "vm") + SET (${plugin}_source_dir "${src}/vm/intplugins/${plugin}") ELSE () SET (plugin_target "${plugin}") + SET (${plugin}_source_dir "${src}/plugins/${plugin}") ENDIF (${plugins_list} STREQUAL "plugins_int") SET (plugin_disabled) INCLUDE (${bld}/${plugin}/config.cmake)

1 0

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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev August 2013