Vm-dev

vm-dev@lists.squeakfoundation.org

10 participants
17030 discussions

VM Maker: MethodMassage-eem.48.mcz
by commits＠source.squeak.org 11 Apr '24

11 Apr '24

Eliot Miranda uploaded a new version of MethodMassage to project VM Maker: http://source.squeak.org/VMMaker/MethodMassage-eem.48.mcz ==================== Summary ==================== Name: MethodMassage-eem.48 Author: eem Time: 24 March 2017, 9:58:50.586182 am UUID: 81bbbcc0-4849-4023-9a53-a1a2ce198342 Ancestors: MethodMassage-eem.47 Process labels for the branchIf[Not]InstanceOf: bytecodes. ==================== Snapshot ==================== SystemOrganization addCategory: #'MethodMassage-Coverage'! SystemOrganization addCategory: #'MethodMassage-Kernel'! SystemOrganization addCategory: #'MethodMassage-Tests'! Object subclass: #AssemblerAbsentClassImport instanceVariableNames: 'className' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! ----- Method: AssemblerAbsentClassImport class>>className: (in category 'instance creation') ----- className: nameOfAnAbsentClass ^self new className: nameOfAnAbsentClass; yourself! ----- Method: AssemblerAbsentClassImport>>className (in category 'accessing') ----- className ^className! ----- Method: AssemblerAbsentClassImport>>className: (in category 'accessing') ----- className: anObject className := anObject. ! ----- Method: AssemblerAbsentClassImport>>forTheMetaclass (in category 'converting') ----- forTheMetaclass ^(className endsWith: ' class') ifTrue: [self] ifFalse: [self class className: className, ' class']! ----- Method: AssemblerAbsentClassImport>>printOn: (in category 'printing') ----- printOn: aStream super printOn: aStream. className ifNotNil: [aStream nextPutAll: ' className: '; store: className]! Object subclass: #AssemblerEncoderInterface instanceVariableNames: 'assembler encoder' classVariableNames: 'SpecialSelectors' poolDictionaries: '' category: 'MethodMassage-Kernel'! !AssemblerEncoderInterface commentStamp: 'eem 2/22/2013 13:10' prior: 0! An AssemblerEncoderInterface is an abstract superclass for the interfaces between a BytecodeAssembler and a BytecodeEncoder. These interfaces convert the assembly messages (see CompiledMethod>>abstractBytecodeMessages and InstructionStream interpretNextInstructionFor: et al) to the sizing and emitting messages implemented by BytecodeEncoder's subclasses. Instance Variables assembler: <BytecodeAssembler> encoder: <BytecodeEncoder>! ----- Method: AssemblerEncoderInterface class>>assembler:encoder: (in category 'instance creation') ----- assembler: anAssembler encoder: anEncoder ^self new assembler: anAssembler encoder: anEncoder! ----- Method: AssemblerEncoderInterface class>>copySizeCodeToEmitterCode (in category 'class initialization') ----- copySizeCodeToEmitterCode "AssemblerEncoderInterface copySizeCodeToEmitterCode" BytecodeSizer selectorsAndMethodsDo: [:s :m| | emitterMethod | ((m literals includes: #shouldBeImplemented) not and: [(emitterMethod := BytecodeEmitter compiledMethodAt: s) literals includes: #shouldBeImplemented]) ifTrue: [BytecodeEmitter compile: (m getSourceFromFile asString copyReplaceAll: 'encoder size' with: 'encoder gen') classified: #assembly]]! ----- Method: AssemblerEncoderInterface class>>createCodeSkeletons (in category 'class initialization') ----- createCodeSkeletons "BytecodeSizer createCodeSkeletons" "BytecodeEmitter createCodeSkeletons" InstructionClient selectorsAndMethodsDo: [:s :m| Parser new initPattern: m getSourceFromFile asString notifying: nil return: [:tuple| [:sel :args :precedence| self compile: (String streamContents: [:strm| precedence = 1 ifTrue: [strm nextPutAll: sel] ifFalse: [sel keywords with: args do: [:kw :arg| strm nextPutAll: kw; space; nextPutAll: arg; space]. strm skip: -1]. strm crtab; nextPutAll: 'self shouldBeImplemented']) classified: #assembly. ] valueWithArguments: tuple]]! ----- Method: AssemblerEncoderInterface class>>initialize (in category 'class initialization') ----- initialize "AssemblerEncoderInterface initialize" SpecialSelectors := IdentityDictionary new. 1 to: Smalltalk specialSelectorSize do: [:i | SpecialSelectors at: (Smalltalk specialSelectorAt: i) put: i]! ----- Method: AssemblerEncoderInterface>>assembler (in category 'accessing') ----- assembler "Answer the value of assembler" ^ assembler! ----- Method: AssemblerEncoderInterface>>assembler: (in category 'accessing') ----- assembler: anObject "Set the value of assembler" assembler := anObject! ----- Method: AssemblerEncoderInterface>>assembler:encoder: (in category 'initialize-release') ----- assembler: anAssembler encoder: anEncoder assembler := anAssembler. encoder := anEncoder! ----- Method: AssemblerEncoderInterface>>encoder (in category 'accessing') ----- encoder "Answer the value of encoder" ^ encoder! ----- Method: AssemblerEncoderInterface>>encoder: (in category 'accessing') ----- encoder: anObject "Set the value of encoder" encoder := anObject! AssemblerEncoderInterface subclass: #BytecodeEmitter instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! !BytecodeEmitter commentStamp: 'eem 2/22/2013 11:18' prior: 0! A BytecodeEmitter converts the assembly messages (see CompiledMethod>>abstractBytecodeMessages and InstructionStream interpretNextInstructionFor: et al) and sends them to the corresponding emitting messages implemented by BytecodeEncoder's subclasses. Instance Variables: see superclass! ----- Method: BytecodeEmitter>>blockReturnConstant: (in category 'assembly') ----- blockReturnConstant: aLiteral "Rubbish way of handling special constants." ^[encoder genReturnSpecialLiteralToCaller: aLiteral] on: Error do: [:ex| ex return: (self pushLiteral: aLiteral) + self blockReturnTop]! ----- Method: BytecodeEmitter>>blockReturnTop (in category 'assembly') ----- blockReturnTop ^encoder genReturnTopToCaller! ----- Method: BytecodeEmitter>>branchIfInstanceOf:distance: (in category 'assembly') ----- branchIfInstanceOf: behaviorOrArrayOfBehavior distance: distanceOrLabel | litIndex distance | litIndex := encoder litIndexOrNilFor: behaviorOrArrayOfBehavior. litIndex ifNil: [litIndex := encoder litIndex: behaviorOrArrayOfBehavior]. distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder genBranchIfInstanceOf: litIndex distance: distance! ----- Method: BytecodeEmitter>>branchIfInstanceOfLiteralAtIndex:distance: (in category 'assembly') ----- branchIfInstanceOfLiteralAtIndex: litIndex distance: distanceOrLabel | distance | distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder genBranchIfInstanceOf: litIndex distance: distance! ----- Method: BytecodeEmitter>>branchIfNotInstanceOf:distance: (in category 'assembly') ----- branchIfNotInstanceOf: behaviorOrArrayOfBehavior distance: distanceOrLabel | litIndex distance | litIndex := encoder litIndexOrNilFor: behaviorOrArrayOfBehavior. litIndex ifNil: [litIndex := encoder litIndex: behaviorOrArrayOfBehavior]. distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder genBranchIfNotInstanceOf: litIndex distance: distance! ----- Method: BytecodeEmitter>>branchIfNotInstanceOfLiteralAtIndex:distance: (in category 'assembly') ----- branchIfNotInstanceOfLiteralAtIndex: litIndex distance: distanceOrLabel | distance | distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder genBranchIfNotInstanceOf: litIndex distance: distance! ----- Method: BytecodeEmitter>>callInlinePrimitive: (in category 'assembly') ----- callInlinePrimitive: primitiveIndex ^encoder genCallInlinePrimitive: primitiveIndex! ----- Method: BytecodeEmitter>>callPrimitive: (in category 'assembly') ----- callPrimitive: primitiveIndex ^encoder genCallPrimitive: primitiveIndex! ----- Method: BytecodeEmitter>>directedSuperSend:numArgs: (in category 'assembly') ----- directedSuperSend: selector numArgs: nArgs ^encoder genSendDirectedSuper: (encoder sharableLitIndex: selector) numArgs: nArgs! ----- Method: BytecodeEmitter>>doDup (in category 'assembly') ----- doDup ^encoder genDup! ----- Method: BytecodeEmitter>>doPop (in category 'assembly') ----- doPop ^encoder genPop! ----- Method: BytecodeEmitter>>extA: (in category 'assembly') ----- extA: anInteger ^encoder genUnsignedSingleExtendA: anInteger! ----- Method: BytecodeEmitter>>extB: (in category 'assembly') ----- extB: anInteger ^encoder genUnsignedSingleExtendB: anInteger! ----- Method: BytecodeEmitter>>jump: (in category 'assembly') ----- jump: offsetOrLabel | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^encoder genJump: offset! ----- Method: BytecodeEmitter>>jump:if: (in category 'assembly') ----- jump: offsetOrLabel if: condition | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. condition ifTrue: [encoder genBranchPopTrue: offset] ifFalse: [encoder genBranchPopFalse: offset]! ----- Method: BytecodeEmitter>>jumpLong: (in category 'assembly') ----- jumpLong: offsetOrLabel | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^encoder genJumpLong: offset! ----- Method: BytecodeEmitter>>jumpLong:if: (in category 'assembly') ----- jumpLong: offsetOrLabel if: condition | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^condition ifTrue: [encoder genBranchPopTrueLong: offset] ifFalse: [encoder genBranchPopFalseLong: offset]! ----- Method: BytecodeEmitter>>methodReturnConstant: (in category 'assembly') ----- methodReturnConstant: aLiteral "Rubbish way of handling special constants." ^[encoder genReturnSpecialLiteral: aLiteral] on: Error do: [:ex| ex return: (self pushLiteral: aLiteral) + self methodReturnTop]! ----- Method: BytecodeEmitter>>methodReturnReceiver (in category 'assembly') ----- methodReturnReceiver ^encoder genReturnReceiver! ----- Method: BytecodeEmitter>>methodReturnTop (in category 'assembly') ----- methodReturnTop ^encoder genReturnTop! ----- Method: BytecodeEmitter>>popIntoLiteralVariable: (in category 'assembly') ----- popIntoLiteralVariable: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: [litIndex := encoder litIndex: aLiteral]. ^encoder genStorePopLiteralVar: litIndex! ----- Method: BytecodeEmitter>>popIntoLiteralVariableAtIndex: (in category 'assembly') ----- popIntoLiteralVariableAtIndex: litIndex ^encoder genStorePopLiteralVar: litIndex! ----- Method: BytecodeEmitter>>popIntoReceiverVariable: (in category 'assembly') ----- popIntoReceiverVariable: offsetOrName | offset | offset := offsetOrName isInteger ifTrue: [offsetOrName] ifFalse: [assembler offsetForInstVarName: offsetOrName]. "handle context inst var access" ^(assembler shouldUseLongAccessForInstVarOffset: offset) ifTrue: [encoder genStorePopInstVarLong: offset] ifFalse: [encoder genStorePopInstVar: offset]! ----- Method: BytecodeEmitter>>popIntoRemoteInstanceVariable:inObjectAt: (in category 'assembly') ----- popIntoRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex "Variation of popIntoRemoteTemp:inVectorAt: that implies an immutability check." ^encoder genStorePopRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex! ----- Method: BytecodeEmitter>>popIntoRemoteTemp:inVectorAt: (in category 'assembly') ----- popIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex ^encoder genStorePopRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! ----- Method: BytecodeEmitter>>popIntoTemporaryVariable: (in category 'assembly') ----- popIntoTemporaryVariable: offset encoder genStorePopTemp: offset! ----- Method: BytecodeEmitter>>pushActiveContext (in category 'assembly') ----- pushActiveContext ^encoder genPushThisContext! ----- Method: BytecodeEmitter>>pushClosureCopyNumCopiedValues:numArgs:blockSize: (in category 'assembly') ----- pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSizeOrLabel "N.B. If blockSizeOrLabel is a label it is expected be a label after the last return in the block and before the bytecode following the block." | blockSize | blockSize := (assembler isLabel: blockSizeOrLabel) ifTrue: [assembler spanToBlockLabel: blockSizeOrLabel] ifFalse: [blockSizeOrLabel]. ^encoder genPushClosureCopyNumCopiedValues: numCopied numArgs: numArgs jumpSize: blockSize! ----- Method: BytecodeEmitter>>pushClosureTemps: (in category 'assembly') ----- pushClosureTemps: numTemps ^encoder genPushNClosureTemps: numTemps! ----- Method: BytecodeEmitter>>pushConsArrayWithElements: (in category 'assembly') ----- pushConsArrayWithElements: numElements ^encoder genPushConsArray: numElements! ----- Method: BytecodeEmitter>>pushConstant: (in category 'assembly') ----- pushConstant: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: ["rubbish way of handling special literals" ([encoder genPushSpecialLiteral: aLiteral] on: Error do: [:ex| ex return: nil]) ifNotNil: [^self]. litIndex := encoder litIndex: aLiteral]. ^encoder genPushLiteral: litIndex! ----- Method: BytecodeEmitter>>pushConstantAtIndex: (in category 'assembly') ----- pushConstantAtIndex: literalIndex ^encoder genPushLiteral: literalIndex! ----- Method: BytecodeEmitter>>pushFullClosure:numCopied: (in category 'assembly') ----- pushFullClosure: compiledBlockLiteralIndex numCopied: numCopied ^encoder genPushFullClosure: compiledBlockLiteralIndex numCopied: numCopied! ----- Method: BytecodeEmitter>>pushFullClosureAtIndex:numCopied:receiverOnStack:ignoreOuterContext: (in category 'assembly') ----- pushFullClosureAtIndex: compiledBlockLiteralIndex numCopied: numCopied receiverOnStack: rcvrOnStack ignoreOuterContext: ignoreOuterContext ^encoder genPushFullClosure: compiledBlockLiteralIndex numCopied: numCopied receiverOnStack: rcvrOnStack ignoreOuterContext: ignoreOuterContext! ----- Method: BytecodeEmitter>>pushLiteralVariable: (in category 'assembly') ----- pushLiteralVariable: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: [litIndex := encoder litIndex: aLiteral]. ^encoder genPushLiteralVar: litIndex! ----- Method: BytecodeEmitter>>pushLiteralVariableAtIndex: (in category 'assembly') ----- pushLiteralVariableAtIndex: litIndex ^encoder genPushLiteralVar: litIndex! ----- Method: BytecodeEmitter>>pushNewArrayOfSize: (in category 'assembly') ----- pushNewArrayOfSize: numElements ^encoder genPushNewArray: numElements! ----- Method: BytecodeEmitter>>pushReceiver (in category 'assembly') ----- pushReceiver ^encoder genPushReceiver! ----- Method: BytecodeEmitter>>pushReceiverVariable: (in category 'assembly') ----- pushReceiverVariable: offsetOrName | offset | offset := offsetOrName isInteger ifTrue: [offsetOrName] ifFalse: [assembler offsetForInstVarName: offsetOrName]. "handle context inst var access" ^(assembler shouldUseLongAccessForInstVarOffset: offset) ifTrue: [encoder genPushInstVarLong: offset] ifFalse: [encoder genPushInstVar: offset]! ----- Method: BytecodeEmitter>>pushRemoteInstanceVariable:inObjectAt: (in category 'assembly') ----- pushRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex "For symmetry with pop/storeIntoRemoteTemp:inVectorAt:." ^encoder genPushRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex! ----- Method: BytecodeEmitter>>pushRemoteTemp:inVectorAt: (in category 'assembly') ----- pushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex ^encoder genPushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! ----- Method: BytecodeEmitter>>pushSpecialConstant: (in category 'assembly') ----- pushSpecialConstant: aLiteral ^encoder genPushSpecialLiteral: aLiteral! ----- Method: BytecodeEmitter>>pushTemporaryVariable: (in category 'assembly') ----- pushTemporaryVariable: offset ^encoder genPushTemp: offset! ----- Method: BytecodeEmitter>>send:super:numArgs: (in category 'assembly') ----- send: selector super: supered numArgs: nArgs supered ifFalse: [(SpecialSelectors at: selector ifAbsent: []) ifNotNil: [:specialSelectorIndex| ^encoder genSendSpecial: specialSelectorIndex numArgs: nArgs]. ^encoder genSend: (encoder sharableLitIndex: selector) numArgs: nArgs]. ^encoder genSendSuper: (encoder sharableLitIndex: selector) numArgs: nArgs! ----- Method: BytecodeEmitter>>sendToAbsentDynamicSuperclass:numArgs: (in category 'assembly') ----- sendToAbsentDynamicSuperclass: selector numArgs: numArgs ^encoder genSendAbsentDynamicSuper: (encoder sharableLitIndex: selector) numArgs: numArgs! ----- Method: BytecodeEmitter>>sendToAbsentImplicitReceiver:numArgs: (in category 'assembly') ----- sendToAbsentImplicitReceiver: selector numArgs: numArgs ^encoder genSendAbsentImplicit: (encoder sharableLitIndex: selector) numArgs: numArgs! ----- Method: BytecodeEmitter>>storeIntoLiteralVariable: (in category 'assembly') ----- storeIntoLiteralVariable: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: [litIndex := encoder litIndex: aLiteral]. ^encoder genStoreLiteralVar: litIndex! ----- Method: BytecodeEmitter>>storeIntoLiteralVariableAtIndex: (in category 'assembly') ----- storeIntoLiteralVariableAtIndex: litIndex ^encoder genStoreLiteralVar: litIndex! ----- Method: BytecodeEmitter>>storeIntoReceiverVariable: (in category 'assembly') ----- storeIntoReceiverVariable: offsetOrName | offset | offset := offsetOrName isInteger ifTrue: [offsetOrName] ifFalse: [assembler offsetForInstVarName: offsetOrName]. "handle context inst var access" ^(assembler shouldUseLongAccessForInstVarOffset: offset) ifTrue: [encoder genStoreInstVarLong: offset] ifFalse: [encoder genStoreInstVar: offset]! ----- Method: BytecodeEmitter>>storeIntoRemoteInstanceVariable:inObjectAt: (in category 'assembly') ----- storeIntoRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex "Variation of storeIntoRemoteTemp:inVectorAt: that implies an immutability check." ^encoder genStoreRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex! ----- Method: BytecodeEmitter>>storeIntoRemoteTemp:inVectorAt: (in category 'assembly') ----- storeIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex ^encoder genStoreRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! ----- Method: BytecodeEmitter>>storeIntoTemporaryVariable: (in category 'assembly') ----- storeIntoTemporaryVariable: offset ^encoder genStoreTemp: offset! ----- Method: BytecodeEmitter>>trap (in category 'assembly') ----- trap ^encoder genTrap! AssemblerEncoderInterface subclass: #BytecodeSizer instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! !BytecodeSizer commentStamp: 'eem 2/22/2013 11:18' prior: 0! A BytecodeSizer converts the assembly messages (see CompiledMethod>>abstractBytecodeMessages and InstructionStream interpretNextInstructionFor: et al) and sends them to the corresponding sizing messages implemented by BytecodeEncoder's subclasses. Instance Variables: see superclass! ----- Method: BytecodeSizer>>blockReturnConstant: (in category 'assembly') ----- blockReturnConstant: aLiteral "Rubbish way of handling special constants." ^[encoder sizeReturnSpecialLiteralToCaller: aLiteral] on: Error do: [:ex| ex return: (self pushLiteral: aLiteral) + self blockReturnTop]! ----- Method: BytecodeSizer>>blockReturnTop (in category 'assembly') ----- blockReturnTop ^encoder sizeReturnTopToCaller! ----- Method: BytecodeSizer>>branchIfInstanceOf:distance: (in category 'assembly') ----- branchIfInstanceOf: behaviorOrArrayOfBehaviors distance: distanceOrLabel | litIndex distance | litIndex := encoder litIndexOrNilFor: behaviorOrArrayOfBehaviors. litIndex ifNil: [litIndex := encoder litIndex: behaviorOrArrayOfBehaviors]. distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder sizeBranchIfInstanceOf: litIndex distance: distance! ----- Method: BytecodeSizer>>branchIfInstanceOfLiteralAtIndex:distance: (in category 'assembly') ----- branchIfInstanceOfLiteralAtIndex: litIndex distance: distanceOrLabel | distance | distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder sizeBranchIfInstanceOf: litIndex distance: distance! ----- Method: BytecodeSizer>>branchIfNotInstanceOf:distance: (in category 'assembly') ----- branchIfNotInstanceOf: behaviorOrArrayOfBehaviors distance: distanceOrLabel | litIndex distance | litIndex := encoder litIndexOrNilFor: behaviorOrArrayOfBehaviors. litIndex ifNil: [litIndex := encoder litIndex: behaviorOrArrayOfBehaviors]. distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder sizeBranchIfNotInstanceOf: litIndex distance: distance! ----- Method: BytecodeSizer>>branchIfNotInstanceOfLiteralAtIndex:distance: (in category 'assembly') ----- branchIfNotInstanceOfLiteralAtIndex: litIndex distance: distanceOrLabel | distance | distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder sizeBranchIfNotInstanceOf: litIndex distance: distance! ----- Method: BytecodeSizer>>callInlinePrimitive: (in category 'assembly') ----- callInlinePrimitive: primitiveIndex ^encoder sizeCallInlinePrimitive: primitiveIndex! ----- Method: BytecodeSizer>>callPrimitive: (in category 'assembly') ----- callPrimitive: primitiveIndex ^encoder sizeCallPrimitive: primitiveIndex! ----- Method: BytecodeSizer>>directedSuperSend:numArgs: (in category 'assembly') ----- directedSuperSend: selector numArgs: nArgs ^encoder sizeSendDirectedSuper: (encoder sharableLitIndex: selector) numArgs: nArgs! ----- Method: BytecodeSizer>>doDup (in category 'assembly') ----- doDup ^encoder sizeDup! ----- Method: BytecodeSizer>>doPop (in category 'assembly') ----- doPop ^encoder sizePop! ----- Method: BytecodeSizer>>extA: (in category 'assembly') ----- extA: anInteger ^encoder sizeUnsignedSingleExtendA: anInteger! ----- Method: BytecodeSizer>>extB: (in category 'assembly') ----- extB: anInteger ^encoder sizeUnsignedSingleExtendB: anInteger! ----- Method: BytecodeSizer>>jump: (in category 'assembly') ----- jump: offsetOrLabel | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^offset ifNotNil: [encoder sizeJump: offset] ifNil: ["If this is a backward jump that is as-yet unsized, answer the long backward jump size. c.f. e.g. MessageNode>>#sizeCodeForWhile:value:" offsetOrLabel value <= assembler index ifTrue: [encoder sizeJumpLong: -1]]! ----- Method: BytecodeSizer>>jump:if: (in category 'assembly') ----- jump: offsetOrLabel if: condition | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^offset ifNotNil: [condition ifTrue: [encoder sizeBranchPopTrue: offset] ifFalse: [encoder sizeBranchPopFalse: offset]]! ----- Method: BytecodeSizer>>jumpLong: (in category 'assembly') ----- jumpLong: offsetOrLabel | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^offset ifNotNil: [encoder sizeJumpLong: offset]! ----- Method: BytecodeSizer>>jumpLong:if: (in category 'assembly') ----- jumpLong: offsetOrLabel if: condition | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^offset ifNotNil: [condition ifTrue: [encoder sizeBranchPopTrueLong: offset] ifFalse: [encoder sizeBranchPopFalseLong: offset]]! ----- Method: BytecodeSizer>>methodReturnConstant: (in category 'assembly') ----- methodReturnConstant: aLiteral "Rubbish way of handling special constants." ^[encoder sizeReturnSpecialLiteral: aLiteral] on: Error do: [:ex| ex return: (self pushLiteral: aLiteral) + self methodReturnTop]! ----- Method: BytecodeSizer>>methodReturnReceiver (in category 'assembly') ----- methodReturnReceiver ^encoder sizeReturnReceiver! ----- Method: BytecodeSizer>>methodReturnTop (in category 'assembly') ----- methodReturnTop ^encoder sizeReturnTop! ----- Method: BytecodeSizer>>popIntoLiteralVariable: (in category 'assembly') ----- popIntoLiteralVariable: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: [litIndex := encoder litIndex: aLiteral]. ^encoder sizeStorePopLiteralVar: litIndex! ----- Method: BytecodeSizer>>popIntoLiteralVariableAtIndex: (in category 'assembly') ----- popIntoLiteralVariableAtIndex: litIndex ^encoder sizeStorePopLiteralVar: litIndex! ----- Method: BytecodeSizer>>popIntoReceiverVariable: (in category 'assembly') ----- popIntoReceiverVariable: offsetOrName | offset | offset := offsetOrName isInteger ifTrue: [offsetOrName] ifFalse: [assembler offsetForInstVarName: offsetOrName]. "handle context inst var access" ^(assembler shouldUseLongAccessForInstVarOffset: offset) ifTrue: [encoder sizeStorePopInstVarLong: offset] ifFalse: [encoder sizeStorePopInstVar: offset]! ----- Method: BytecodeSizer>>popIntoRemoteInstanceVariable:inObjectAt: (in category 'assembly') ----- popIntoRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex "Variation of popIntoRemoteTemp:inVectorAt: that implies an immutability check." ^encoder sizeStorePopRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex! ----- Method: BytecodeSizer>>popIntoRemoteTemp:inVectorAt: (in category 'assembly') ----- popIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex ^encoder sizePushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! ----- Method: BytecodeSizer>>popIntoTemporaryVariable: (in category 'assembly') ----- popIntoTemporaryVariable: offset ^encoder sizeStorePopTemp: offset! ----- Method: BytecodeSizer>>pushActiveContext (in category 'assembly') ----- pushActiveContext ^encoder sizePushThisContext! ----- Method: BytecodeSizer>>pushClosureCopyNumCopiedValues:numArgs:blockSize: (in category 'assembly') ----- pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSizeOrLabel "N.B. If blockSizeOrLabel is a label it is expected be a label after the last return in the block and before the bytecode following the block." | blockSize | blockSize := (assembler isLabel: blockSizeOrLabel) ifTrue: [assembler spanToBlockLabel: blockSizeOrLabel] ifFalse: [blockSizeOrLabel]. ^blockSize ifNotNil: [encoder sizePushClosureCopyNumCopiedValues: numCopied numArgs: numArgs jumpSize: blockSize]! ----- Method: BytecodeSizer>>pushClosureTemps: (in category 'assembly') ----- pushClosureTemps: numTemps ^encoder sizePushNClosureTemps: numTemps! ----- Method: BytecodeSizer>>pushConsArrayWithElements: (in category 'assembly') ----- pushConsArrayWithElements: numElements ^encoder sizePushConsArray: numElements! ----- Method: BytecodeSizer>>pushConstant: (in category 'assembly') ----- pushConstant: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: ["rubbish way of handling special literals" [(encoder sizePushSpecialLiteral: aLiteral) ifNotNil: [:size| ^size]] on: Error do: [:ex| ]. litIndex := encoder litIndex: aLiteral]. ^encoder sizePushLiteral: litIndex! ----- Method: BytecodeSizer>>pushConstantAtIndex: (in category 'assembly') ----- pushConstantAtIndex: literalIndex ^encoder sizePushLiteral: literalIndex! ----- Method: BytecodeSizer>>pushFullClosure:numCopied: (in category 'assembly') ----- pushFullClosure: compiledBlockLiteralIndex numCopied: numCopied ^encoder sizePushFullClosure: compiledBlockLiteralIndex numCopied: numCopied! ----- Method: BytecodeSizer>>pushFullClosureAtIndex:numCopied:receiverOnStack:ignoreOuterContext: (in category 'assembly') ----- pushFullClosureAtIndex: compiledBlockLiteralIndex numCopied: numCopied receiverOnStack: rcvrOnStack ignoreOuterContext: ignoreOuterContext ^encoder sizePushFullClosure: compiledBlockLiteralIndex numCopied: numCopied receiverOnStack: rcvrOnStack ignoreOuterContext: ignoreOuterContext! ----- Method: BytecodeSizer>>pushLiteralVariable: (in category 'assembly') ----- pushLiteralVariable: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: [litIndex := encoder litIndex: aLiteral]. ^encoder sizePushLiteralVar: litIndex! ----- Method: BytecodeSizer>>pushLiteralVariableAtIndex: (in category 'assembly') ----- pushLiteralVariableAtIndex: litIndex ^encoder sizePushLiteralVar: litIndex! ----- Method: BytecodeSizer>>pushNewArrayOfSize: (in category 'assembly') ----- pushNewArrayOfSize: numElements ^encoder sizePushNewArray: numElements! ----- Method: BytecodeSizer>>pushReceiver (in category 'assembly') ----- pushReceiver ^encoder sizePushReceiver! ----- Method: BytecodeSizer>>pushReceiverVariable: (in category 'assembly') ----- pushReceiverVariable: offsetOrName | offset | offset := offsetOrName isInteger ifTrue: [offsetOrName] ifFalse: [assembler offsetForInstVarName: offsetOrName]. "handle context inst var access" ^(assembler shouldUseLongAccessForInstVarOffset: offset) ifTrue: [encoder sizePushInstVarLong: offset] ifFalse: [encoder sizePushInstVar: offset]! ----- Method: BytecodeSizer>>pushRemoteInstanceVariable:inObjectAt: (in category 'assembly') ----- pushRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex "For symmetry with pop/storeIntoRemoteTemp:inVectorAt:." ^encoder sizePushRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex! ----- Method: BytecodeSizer>>pushRemoteTemp:inVectorAt: (in category 'assembly') ----- pushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex ^encoder sizePushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! ----- Method: BytecodeSizer>>pushSpecialConstant: (in category 'assembly') ----- pushSpecialConstant: aLiteral ^encoder sizePushSpecialLiteral: aLiteral! ----- Method: BytecodeSizer>>pushTemporaryVariable: (in category 'assembly') ----- pushTemporaryVariable: offset ^encoder sizePushTemp: offset! ----- Method: BytecodeSizer>>send:super:numArgs: (in category 'assembly') ----- send: selector super: supered numArgs: nArgs supered ifFalse: [(SpecialSelectors at: selector ifAbsent: []) ifNotNil: [:specialSelectorIndex| ^encoder sizeSpecialSend: specialSelectorIndex numArgs: nArgs]. ^encoder sizeSend: (encoder sharableLitIndex: selector) numArgs: nArgs]. ^encoder sizeSendSuper: (encoder sharableLitIndex: selector) numArgs: nArgs! ----- Method: BytecodeSizer>>sendToAbsentDynamicSuperclass:numArgs: (in category 'assembly') ----- sendToAbsentDynamicSuperclass: selector numArgs: numArgs ^encoder sizeSendAbsentDynamicSuper: (encoder sharableLitIndex: selector) numArgs: numArgs! ----- Method: BytecodeSizer>>sendToAbsentImplicitReceiver:numArgs: (in category 'assembly') ----- sendToAbsentImplicitReceiver: selector numArgs: numArgs ^encoder sizeSendAbsentImplicit: (encoder sharableLitIndex: selector) numArgs: numArgs! ----- Method: BytecodeSizer>>storeIntoLiteralVariable: (in category 'assembly') ----- storeIntoLiteralVariable: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: [litIndex := encoder litIndex: aLiteral]. ^encoder sizeStoreLiteralVar: litIndex! ----- Method: BytecodeSizer>>storeIntoLiteralVariableAtIndex: (in category 'assembly') ----- storeIntoLiteralVariableAtIndex: litIndex ^encoder sizeStoreLiteralVar: litIndex! ----- Method: BytecodeSizer>>storeIntoReceiverVariable: (in category 'assembly') ----- storeIntoReceiverVariable: offsetOrName | offset | offset := offsetOrName isInteger ifTrue: [offsetOrName] ifFalse: [assembler offsetForInstVarName: offsetOrName]. "handle context inst var access" ^(assembler shouldUseLongAccessForInstVarOffset: offset) ifTrue: [encoder sizeStoreInstVarLong: offset] ifFalse: [encoder sizeStoreInstVar: offset]! ----- Method: BytecodeSizer>>storeIntoRemoteInstanceVariable:inObjectAt: (in category 'assembly') ----- storeIntoRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex "Variation of storeIntoRemoteTemp:inVectorAt: that implies an immutability check." ^encoder sizeStoreRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex! ----- Method: BytecodeSizer>>storeIntoRemoteTemp:inVectorAt: (in category 'assembly') ----- storeIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex ^encoder sizeStoreRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! ----- Method: BytecodeSizer>>storeIntoTemporaryVariable: (in category 'assembly') ----- storeIntoTemporaryVariable: offset ^encoder sizeStoreTemp: offset! ----- Method: BytecodeSizer>>trap (in category 'assembly') ----- trap ^encoder sizeTrap! ----- Method: BytecodeSizer>>trapIfNotInstanceOf: (in category 'assembly') ----- trapIfNotInstanceOf: behaviorOrArrayOfBehavior | litIndex | litIndex := encoder litIndexOrNilFor: behaviorOrArrayOfBehavior. litIndex ifNil: [litIndex := encoder litIndex: behaviorOrArrayOfBehavior]. ^encoder sizeTrapIfNotInstanceOf: litIndex! Object subclass: #AssemblerMethod instanceVariableNames: 'literals instructions numArgs numTemps frameSize primitive flag signFlag noCountersFlag accessModifier trailer methodClass selector compiledMethodClass fixLabels encoder header initialPC endPC' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! !AssemblerMethod commentStamp: 'eem 3/24/2017 08:26' prior: 0! An AssemblerMethod is a holder for a sequence of literals and a sequence of instructions which can represent a disassembled method, or a method being assembled. AssemblerMethod supports three modes of operation. The first mode is transcription, CompiledMethod -> AssemblerMethod -> CompiledMethod. e.g. | original "CompiledMethod" assembler "AssemblerMethod" replica "CompiledMethod" | original := Object >> #printOn:. assembler := original disassemble. replica := assembler assemble. self assert: original = replica The second mode is to construct an AssemblerMethod and assemble it. e.g. EncoderForSistaV1 assembler pushReceiver; trapIfNotInstanceOf: {SmallInteger. Character. LargePositiveInteger. LargeNegativeInteger. Integer. Fraction. Magnitude}; pushReceiver; methodReturnTop; assemble AssemblerMethod new methodClass: Object; selector: #printOn:; numArgs: 1; numTemps: 2; pushReceiver; send: #class; send: #name; popIntoTemporaryVariable: 1; pushTemporaryVariable: 0; doDup; pushTemporaryVariable: 1; send: #first; send: #isVowel; jump: 'L1' if: false; pushConstant: 'an '; jump: 'L2'; label: 'L1'; pushConstant: 'a '; label: 'L2'; send: #nextPutAll:; doPop; pushTemporaryVariable: 1; send: #nextPutAll:; doPop; methodReturnReceiver; assemble A third mode, useful for storage, inter-image transporation ,etc, is AssemblerMethod -> executable string -> AssemblerMethod. e.g. | original "CompiledMethod" assembler "AssemblerMethod" assemblerText "String" replica "CompiledMethod" | original := Object >> #printOn:. assembler := original disassemble. assemblerText := assembler assemblerString. replica := (Compiler evaluate: assemblerText) assemble. self assert: original = replica Instance Variables accessModifier: <nil|0,1,2,3> compiledMethodClass: <nil|CompiledCode> encoder: <BytecodeEncoder> endPC: <nil|Integer> fixLabels: <UndefinedObject|Boolean> flag: <Boolean> frameSize: <Integer> header: <nil|Integer> initialPC: <nil|Integer> instructions: <SequenceableCollection> literals: <SequenceableCollection> methodClass: <Behavior> noCountersFlag: <nil|Boolean> numArgs: <Integer> numTemps: <Integer> primitive: <Integer> signFlag: <Boolean> trailer: <CompiledMethodTrailer> accessModifier - if not nil this is the values of the two bits of flags that specify Newspeak access control in the method header compiledMethodClass - if not nil this is the class to use to create a method from this assembly encoder - the encoder to use to encode literals during assembly endPC - this is the expected endPC of the resulting method. If not nil it will be checked against the actual endPC fixLabels - if nil, the AssemblerMethod is being used in transcription mode and branch offsets should be integers. if a boolean then it indicates whether instructions contains one or more instructions that need their branches fixing up. flag - the value of the method's header flag (see CompiledMethod>>flag) frameSize - the size of the method's frame (see CompiledMethod>>frameSize) header - this is the expected header of the resulting method. If not nil it will be checked against the actual header initialPC - this is the expected initialPC of the resulting method. If not nil it will be checked against the actual initialPC instructions - the sequence of Message and LookupKey objects making up the method's instructions literals - the sequence of objects making up the method's literals methodClass - the target class for the method (see CompiledMethod>>methodClass) noCountersFlag - if not nil this is the value of the Sista JIT-without-performance-counters flag numArgs - the method's argument count (see CompiledMethod>>numArgs) numTemps - the method's temporary count (see CompiledMethod>>numTemps) primitive - the method's primitive (see CompiledMethod>>primitive) signFlag - the value of the method's signFlag (see CompiledMethod>>signFlag) trailer - the method's trailer (see CompiledMethod>>trailer) ! ----- Method: AssemblerMethod class>>literals:instructions:numArgs:numTemps:frameSize:primitive:flag:signFlag:accessModifier:noCounters:trailer:methodClass:selector:compiledMethodClass: (in category 'instance creation') ----- literals: literalSequence instructions: instructionSequence numArgs: nArgs numTemps: nTemps frameSize: frameSizeNum primitive: primitiveIndex flag: flagBoolean signFlag: signFlagBoolean accessModifier: accessModifierBits noCounters: noCountersBoolean trailer: methodTrailer methodClass: class selector: aSelector compiledMethodClass: classOfCompiledMethod ^self new literals: literalSequence instructions: instructionSequence numArgs: nArgs numTemps: nTemps frameSize: frameSizeNum primitive: primitiveIndex flag: flagBoolean signFlag: signFlagBoolean accessModifier: accessModifierBits noCounters: noCountersBoolean trailer: methodTrailer methodClass: class selector: aSelector compiledMethodClass: classOfCompiledMethod! ----- Method: AssemblerMethod>>accessModifier (in category 'accessing') ----- accessModifier ^ accessModifier ! ----- Method: AssemblerMethod>>accessModifier: (in category 'accessing') ----- accessModifier: anObject accessModifier := anObject. ! ----- Method: AssemblerMethod>>assemble (in category 'assembling') ----- assemble | assembler | assembler := BytecodeAssembler new. encoder ifNotNil: [assembler encoder: encoder]. ^assembler assemble: self! ----- Method: AssemblerMethod>>assemblerString (in category 'printing') ----- assemblerString ^String streamContents: [:s| self printAsAssemblerOn: s]! ----- Method: AssemblerMethod>>binding: (in category 'assembling') ----- binding: aSymbol "For now, if the binding is not found, answer a fake binding rather than enter into Undeclared." self literal: ((methodClass bindingOf: aSymbol) ifNil: [Transcript cr; print: 'warning: ', aSymbol, ' is unbound'. aSymbol -> nil])! ----- Method: AssemblerMethod>>branchIfInstanceOf:distance: (in category 'assembling') ----- branchIfInstanceOf: behaviorOrArrayOfBehavior distance: label self checkLabel: label. instructions addLast: (Message selector: #branchIfInstanceOf:distance: arguments: {behaviorOrArrayOfBehavior. label})! ----- Method: AssemblerMethod>>branchIfInstanceOfLiteralAtIndex:distance: (in category 'assembling') ----- branchIfInstanceOfLiteralAtIndex: litIndex distance: label self checkLabel: label. instructions addLast: (Message selector: #branchIfInstanceOfLiteralAtIndex:distance: arguments: {litIndex. label})! ----- Method: AssemblerMethod>>branchIfNotInstanceOf:distance: (in category 'assembling') ----- branchIfNotInstanceOf: behaviorOrArrayOfBehavior distance: label self checkLabel: label. instructions addLast: (Message selector: #branchIfNotInstanceOf:distance: arguments: {behaviorOrArrayOfBehavior. label})! ----- Method: AssemblerMethod>>branchIfNotInstanceOfLiteralAtIndex:distance: (in category 'assembling') ----- branchIfNotInstanceOfLiteralAtIndex: litIndex distance: label self checkLabel: label. instructions addLast: (Message selector: #branchIfNotInstanceOfLiteralAtIndex:distance: arguments: {litIndex. label})! ----- Method: AssemblerMethod>>callInlinePrimitive: (in category 'assembling') ----- callInlinePrimitive: primNumber instructions addLast: (Message selector: #callPrimitive: argument: primNumber + 32768)! ----- Method: AssemblerMethod>>checkLabel: (in category 'private') ----- checkLabel: label fixLabels ifNotNil: [label isInteger ifTrue: [self error: 'one cannot use integers as labels in assembler mode. integers are interpreted as branch distances'] ifFalse: [fixLabels := true]]! ----- Method: AssemblerMethod>>compiledMethodClass (in category 'accessing') ----- compiledMethodClass "Answer the value of compiledMethodClass" ^ compiledMethodClass! ----- Method: AssemblerMethod>>compiledMethodClass: (in category 'accessing') ----- compiledMethodClass: anObject "Set the value of compiledMethodClass" compiledMethodClass := anObject! ----- Method: AssemblerMethod>>directedSuperSend: (in category 'assembling-shorthand') ----- directedSuperSend: aSelector self directedSuperSend: aSelector numArgs: aSelector numArgs! ----- Method: AssemblerMethod>>doesNotUnderstand: (in category 'assembling') ----- doesNotUnderstand: aMessage (BytecodeSizer includesSelector: aMessage selector) ifFalse: [^super doesNotUnderstand: aMessage]. aMessage lookupClass: nil. instructions addLast: aMessage! ----- Method: AssemblerMethod>>dup (in category 'assembling-shorthand') ----- dup "For compatibility with InstructionPrinter output" ^self doDup! ----- Method: AssemblerMethod>>encoder (in category 'accessing') ----- encoder ^encoder! ----- Method: AssemblerMethod>>encoder: (in category 'accessing') ----- encoder: anObject encoder := anObject! ----- Method: AssemblerMethod>>endPC (in category 'accessing') ----- endPC ^ endPC ! ----- Method: AssemblerMethod>>endPC: (in category 'accessing') ----- endPC: anObject endPC := anObject! ----- Method: AssemblerMethod>>extA: (in category 'assembling') ----- extA: anInteger instructions addLast: (Message selector: #extA: argument: anInteger)! ----- Method: AssemblerMethod>>extB: (in category 'assembling') ----- extB: anInteger instructions addLast: (Message selector: #extB: argument: anInteger)! ----- Method: AssemblerMethod>>fixLabelsIfNecessary (in category 'private') ----- fixLabelsIfNecessary | map | fixLabels ~~ true ifTrue: [^self]. map := Dictionary new. instructions do: [:inst| (self isLabel: inst) ifTrue: [map at: inst key put: inst]]. instructions do: [:inst| ((self isLabel: inst) not and: [#(jump: jump:if: jumpLong: jumpLong:if: pushClosureCopyNumCopiedValues:numArgs:blockSize:) includes: inst selector]) ifTrue: [inst selector first = $j ifTrue: [inst arguments first isInteger ifFalse: [inst arguments at: 1 put: (map at: inst arguments first)]] ifFalse: [inst arguments last isInteger ifFalse: [inst arguments at: inst numArgs put: (map at: inst arguments last)]]]]. fixLabels := false! ----- Method: AssemblerMethod>>flag (in category 'accessing') ----- flag "Answer the value of flag" ^ flag! ----- Method: AssemblerMethod>>flag: (in category 'accessing') ----- flag: anObject "Set the value of flag" flag := anObject! ----- Method: AssemblerMethod>>frameSize (in category 'accessing') ----- frameSize "Answer the value of frameSize" ^ frameSize! ----- Method: AssemblerMethod>>frameSize: (in category 'accessing') ----- frameSize: anObject "Set the value of frameSize" frameSize := anObject! ----- Method: AssemblerMethod>>header (in category 'accessing') ----- header ^ header ! ----- Method: AssemblerMethod>>header: (in category 'accessing') ----- header: anObject header := anObject! ----- Method: AssemblerMethod>>importLiteral: (in category 'assembling') ----- importLiteral: classNameOrArrayOfClassNames "Add as a literal the resolution of classNameOrArrayOfClassNames to class(es) present in the system or AbsentClassImport(s) as appropriate." ^self literal: (self resolveImportLiteral: classNameOrArrayOfClassNames)! ----- Method: AssemblerMethod>>importMethodClass (in category 'accessing') ----- importMethodClass "Answer the name of methodClass." ^methodClass ifNotNil: [methodClass name]! ----- Method: AssemblerMethod>>importMethodClass: (in category 'assembling') ----- importMethodClass: className "Set the methodClass to the resolution of className to the class present in the system or an AbsentClassImport as appropriate." ^self methodClass: (self resolveImportLiteral: className)! ----- Method: AssemblerMethod>>importStringFor: (in category 'printing') ----- importStringFor: behaviorOrArrayOfBehaviors ^behaviorOrArrayOfBehaviors isBehavior ifTrue: [behaviorOrArrayOfBehaviors name storeString] ifFalse: [(behaviorOrArrayOfBehaviors collect: [:behavior| behavior name]) printString]! ----- Method: AssemblerMethod>>initialPC (in category 'accessing') ----- initialPC ^ initialPC ! ----- Method: AssemblerMethod>>initialPC: (in category 'accessing') ----- initialPC: anObject initialPC := anObject! ----- Method: AssemblerMethod>>initialize (in category 'initialize-release') ----- initialize fixLabels := false. compiledMethodClass := CompiledMethod. instructions := OrderedCollection new. literals := OrderedCollection new. frameSize := thisContext method frameSize. "should be small" flag := signFlag := false. numArgs := numTemps := primitive := 0! ----- Method: AssemblerMethod>>instructions (in category 'accessing') ----- instructions "Answer the value of instructions" self fixLabelsIfNecessary. ^instructions! ----- Method: AssemblerMethod>>instructions: (in category 'accessing') ----- instructions: anObject "Set the value of instructions" instructions := anObject! ----- Method: AssemblerMethod>>isLabel: (in category 'private') ----- isLabel: aMessageOrLookupKey ^aMessageOrLookupKey isVariableBinding! ----- Method: AssemblerMethod>>jump: (in category 'assembling') ----- jump: label self checkLabel: label. instructions addLast: (Message selector: #jump: argument: label)! ----- Method: AssemblerMethod>>jump:if: (in category 'assembling') ----- jump: label if: cond self checkLabel: label. instructions addLast: (Message selector: #jump:if: arguments: {label. cond})! ----- Method: AssemblerMethod>>jumpFalse: (in category 'assembling-shorthand') ----- jumpFalse: label "For compatibility with InstructionPrinter output" ^self jump: label if: false! ----- Method: AssemblerMethod>>jumpLong: (in category 'assembling') ----- jumpLong: label self checkLabel: label. instructions addLast: (Message selector: #jumpLong: argument: label)! ----- Method: AssemblerMethod>>jumpLong:if: (in category 'assembling') ----- jumpLong: label if: cond self checkLabel: label. instructions addLast: (Message selector: #jumpLong:if: arguments: {label. cond})! ----- Method: AssemblerMethod>>jumpTrue: (in category 'assembling-shorthand') ----- jumpTrue: label "For compatibility with InstructionPrinter output" ^self jump: label if: true! ----- Method: AssemblerMethod>>label: (in category 'assembling') ----- label: aString instructions addLast: aString -> nil! ----- Method: AssemblerMethod>>labels (in category 'accessing') ----- labels ^instructions select: [:ea| ea isVariableBinding]! ----- Method: AssemblerMethod>>literal: (in category 'assembling') ----- literal: aLiteral literals addLast: aLiteral! ----- Method: AssemblerMethod>>literals (in category 'accessing') ----- literals "Answer the value of literals" ^ literals! ----- Method: AssemblerMethod>>literals: (in category 'accessing') ----- literals: anObject "Set the value of literals" literals := anObject! ----- Method: AssemblerMethod>>literals:instructions:numArgs:numTemps:frameSize:primitive:flag:signFlag:accessModifier:noCounters:trailer:methodClass:selector:compiledMethodClass: (in category 'initialize-release') ----- literals: literalSequence instructions: instructionSequence numArgs: nArgs numTemps: nTemps frameSize: frameSizeNum primitive: primitiveIndex flag: flagBoolean signFlag: signFlagBoolean accessModifier: accessModifierBits noCounters: noCountersBoolean trailer: methodTrailer methodClass: class selector: aSelector compiledMethodClass: classOfCompiledMethod literals := literalSequence. instructions := instructionSequence. numArgs := nArgs. numTemps := nTemps. frameSize := frameSizeNum. primitive := primitiveIndex. flag := flagBoolean. signFlag := signFlagBoolean. noCountersFlag := noCountersBoolean. accessModifier := accessModifierBits. trailer := methodTrailer. methodClass := class. selector := aSelector. compiledMethodClass := classOfCompiledMethod! ----- Method: AssemblerMethod>>methodClass (in category 'accessing') ----- methodClass "Answer the value of methodClass. Default to Object if nil (and if we're compiling a CompiledMehtod, not a CompiledBlock)" ^methodClass ifNil: [(compiledMethodClass notNil and: [compiledMethodClass includesBehavior: CompiledMethod]) ifTrue: [Object]]! ----- Method: AssemblerMethod>>methodClass: (in category 'accessing') ----- methodClass: anObject "Set the value of methodClass" methodClass := anObject! ----- Method: AssemblerMethod>>noCountersFlag (in category 'accessing') ----- noCountersFlag ^noCountersFlag == true "nil & false => false"! ----- Method: AssemblerMethod>>noCountersFlag: (in category 'accessing') ----- noCountersFlag: anObject noCountersFlag := anObject. ! ----- Method: AssemblerMethod>>numArgs (in category 'accessing') ----- numArgs "Answer the value of numArgs" ^ numArgs! ----- Method: AssemblerMethod>>numArgs: (in category 'accessing') ----- numArgs: anObject "Set the value of numArgs" numArgs := anObject! ----- Method: AssemblerMethod>>numTemps (in category 'accessing') ----- numTemps "Answer the value of numTemps" ^ numTemps! ----- Method: AssemblerMethod>>numTemps: (in category 'accessing') ----- numTemps: anObject "Set the value of numTemps" numTemps := anObject! ----- Method: AssemblerMethod>>pop (in category 'assembling-shorthand') ----- pop "For compatibility with InstructionPrinter output" ^self doPop! ----- Method: AssemblerMethod>>popIntoLiteralVariableAtIndex: (in category 'assembling') ----- popIntoLiteralVariableAtIndex: litIndex instructions addLast: (Message selector: #popIntoLiteralVariableAtIndex: argument: litIndex)! ----- Method: AssemblerMethod>>popIntoTemp: (in category 'assembling-shorthand') ----- popIntoTemp: n "For compatibility with InstructionPrinter output" ^self popIntoTemporaryVariable: n! ----- Method: AssemblerMethod>>primitive (in category 'accessing') ----- primitive "Answer the value of primitive" ^ primitive! ----- Method: AssemblerMethod>>primitive: (in category 'accessing') ----- primitive: anObject "Set the value of primitive" primitive := anObject! ----- Method: AssemblerMethod>>printAccessorsForAssemblyOn: (in category 'printing') ----- printAccessorsForAssemblyOn: aStream | dummy | dummy := self class new. "Generate all the accessors; for now don't handle the trailer" #( compiledMethodClass: importMethodClass: selector: primitive: numArgs: numTemps: frameSize: flag: signFlag: noCountersFlag: accessModifier: trailerData:) with: #(compiledMethodClass importMethodClass selector primitive numArgs numTemps frameSize flag signFlag noCountersFlag accessModifier trailerData) do: [:setter :getter| (self perform: getter) ifNotNil: [:val| val ~= (dummy perform: getter) ifTrue: [aStream crtab; nextPutAll: setter; space. val isSymbol ifTrue: [aStream store: val] ifFalse: [aStream print: val]. aStream nextPut: $;]]]! ----- Method: AssemblerMethod>>printAsAssemblerOn: (in category 'printing') ----- printAsAssemblerOn: aStream aStream nextPut: $(; print: self class; nextPutAll: ' new'. self printAccessorsForAssemblyOn: aStream. self printVerifiersForAssemblyOn: aStream. self printLiteralsForAssemblyOn: aStream. self printInstructionsForAssemblyOn: aStream. aStream crtab; nextPutAll: #yourself; nextPut: $)! ----- Method: AssemblerMethod>>printInstructionsForAssemblyOn: (in category 'printing') ----- printInstructionsForAssemblyOn: aStream instructions do: [:messageOrLabel| aStream crtab. (self isLabel: messageOrLabel) ifTrue: [aStream nextPutAll: 'label: '; print: messageOrLabel key] ifFalse: [messageOrLabel numArgs = 0 ifTrue: [aStream nextPutAll: messageOrLabel selector] ifFalse: [messageOrLabel selector keywords with: messageOrLabel arguments do: [:kwd :arg| aStream nextPutAll: kwd; space. aStream print: ((kwd = 'jump:' or: [kwd = 'blockSize:']) ifTrue: [self assert: (self isLabel: arg). arg key] ifFalse: [arg]); space]. aStream skip: -1]]. aStream nextPut: $;]! ----- Method: AssemblerMethod>>printLiteralsForAssemblyOn: (in category 'printing') ----- printLiteralsForAssemblyOn: aStream | literalsToDefine | literalsToDefine := literals copy asOrderedCollection. (literalsToDefine last isVariableBinding and: [literalsToDefine last value = methodClass]) ifTrue: [literalsToDefine removeLast. self assert: (literalsToDefine last == selector or: [literalsToDefine last isMethodProperties and: [literalsToDefine last selector == selector]]). literalsToDefine removeLast]. literalsToDefine do: [:litOrBinding| aStream crtab. litOrBinding isLiteral ifTrue: [aStream nextPutAll: 'literal: '; print: litOrBinding] ifFalse: [litOrBinding isVariableBinding ifTrue: [aStream nextPutAll: 'binding: '; store: litOrBinding key] ifFalse: [litOrBinding isCompiledCode ifTrue: [aStream nextPutAll: 'literal: '; print: nil "a post-process pass will fix this"] ifFalse: [(litOrBinding isBehavior or: [litOrBinding isArray and: [litOrBinding allSatisfy: [:b | b isBehavior]]]) ifTrue: [aStream nextPutAll: 'importLiteral: '; nextPutAll: (self importStringFor: litOrBinding)] ifFalse: [aStream nextPutAll: 'literal: '; store: litOrBinding ]]]]. "N.B. This handles nested AssemblerMethods for nested CompiledBlocks." aStream nextPut: $;]! ----- Method: AssemblerMethod>>printVerifiersForAssemblyOn: (in category 'printing') ----- printVerifiersForAssemblyOn: aStream #( header: endPC: initialPC:) with: #(header endPC initialPC) do: [:setter :getter| (self perform: getter) ifNotNil: [:val| aStream crtab; nextPutAll: setter; space. val storeOn: aStream base: (getter == #header ifTrue: [16] ifFalse: [10]). aStream nextPut: $;]]! ----- Method: AssemblerMethod>>push: (in category 'assembling-shorthand') ----- push: aLiteral "Convenience for pushLiteral:. Won't work unless an encoder has been set." "For compatibility with InstructionPrinter output" ^(encoder isSpecialLiteralForPush: aLiteral) ifTrue: [self pushSpecialConstant: aLiteral] ifFalse: [self pushConstant: aLiteral]! ----- Method: AssemblerMethod>>pushClosureCopyNumCopiedValues:numArgs:blockSize: (in category 'assembling') ----- pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSize "N.B. If blockSizeOrLabel is a label it is expected be a label after the last return in the block and before the bytecode following the block." self checkLabel: blockSize. instructions addLast: (Message selector: #pushClosureCopyNumCopiedValues:numArgs:blockSize: arguments: {numCopied. numArgs. blockSize})! ----- Method: AssemblerMethod>>pushConstantAtIndex: (in category 'assembling') ----- pushConstantAtIndex: litIndex instructions addLast: (Message selector: #pushConstantAtIndex: argument: litIndex)! ----- Method: AssemblerMethod>>pushFullClosureAtIndex:numCopied: (in category 'assembling-shorthand') ----- pushFullClosureAtIndex: litIndex numCopied: numCopied instructions addLast: (Message selector: #pushFullClosureAtIndex:numCopied: arguments: {litIndex. numCopied})! ----- Method: AssemblerMethod>>pushFullClosureAtIndex:numCopied:receiverOnStack:ignoreOuterContext: (in category 'assembling') ----- pushFullClosureAtIndex: litIndex numCopied: numCopied receiverOnStack: receiverOnStack ignoreOuterContext: ignoreOuterContext instructions addLast: (Message selector: #pushFullClosureAtIndex:numCopied:receiverOnStack:ignoreOuterContext: arguments: {litIndex. numCopied. receiverOnStack. ignoreOuterContext})! ----- Method: AssemblerMethod>>pushLiteralVariableAtIndex: (in category 'assembling') ----- pushLiteralVariableAtIndex: litIndex instructions addLast: (Message selector: #pushLiteralVariableAtIndex: argument: litIndex)! ----- Method: AssemblerMethod>>pushSpecialConstant: (in category 'assembling') ----- pushSpecialConstant: aConstant instructions addLast: (Message selector: #pushSpecialConstant: argument: aConstant)! ----- Method: AssemblerMethod>>pushTemp: (in category 'assembling-shorthand') ----- pushTemp: n "For compatibility with InstructionPrinter output" ^self pushTemporaryVariable: n! ----- Method: AssemblerMethod>>recordVerificationInfoFrom: (in category 'initialize-release') ----- recordVerificationInfoFrom: aMethod "Record header, initialPC and endPC from aMethod for checking." header := aMethod header. endPC := aMethod endPC. initialPC := aMethod initialPC! ----- Method: AssemblerMethod>>resolveImportLiteral: (in category 'assembling') ----- resolveImportLiteral: classNameOrArrayOfClassNames "Resolve classNameOrArrayOfClassNames to class(es) present in the system or AssemblerAbsentClassImport(s) as appropriate." classNameOrArrayOfClassNames isArray ifTrue: [^classNameOrArrayOfClassNames collect: [:className| self resolveImportLiteral: className]]. (classNameOrArrayOfClassNames last == $s and: [classNameOrArrayOfClassNames endsWith: ' class']) ifTrue: [| import | import := self resolveImportLiteral: (classNameOrArrayOfClassNames allButLast: 6). ^import isBehavior ifTrue: [import class] ifFalse: [import forTheMetaclass]]. ^(Smalltalk classNamed: classNameOrArrayOfClassNames) ifNotNil: [:aClass| aClass] ifNil: [AssemblerAbsentClassImport className: classNameOrArrayOfClassNames]! ----- Method: AssemblerMethod>>selector (in category 'accessing') ----- selector "Answer the value of selector" ^ selector! ----- Method: AssemblerMethod>>selector: (in category 'accessing') ----- selector: anObject "Set the value of selector" selector := anObject! ----- Method: AssemblerMethod>>send: (in category 'assembling-shorthand') ----- send: aSelector "For compatibility with InstructionPrinter output" self send: aSelector super: false numArgs: aSelector numArgs! ----- Method: AssemblerMethod>>sendToAbsentImplicitReceiver: (in category 'assembling-shorthand') ----- sendToAbsentImplicitReceiver: aSelector self sendToAbsentImplicitReceiver: aSelector numArgs: aSelector numArgs! ----- Method: AssemblerMethod>>signFlag (in category 'accessing') ----- signFlag "Answer the value of signFlag" ^ signFlag! ----- Method: AssemblerMethod>>signFlag: (in category 'accessing') ----- signFlag: anObject "Set the value of signFlag" signFlag := anObject! ----- Method: AssemblerMethod>>storeIntoLiteralVariableAtIndex: (in category 'assembling') ----- storeIntoLiteralVariableAtIndex: litIndex instructions addLast: (Message selector: #storeIntoLiteralVariableAtIndex: argument: litIndex)! ----- Method: AssemblerMethod>>storeOn: (in category 'printing') ----- storeOn: aStream "Store the receiver by using printAsAssemblerOn:. N.B. This is relied upon in the printLiteralsForAssemblyOn: method to deal with nested blocks." self printAsAssemblerOn: aStream! ----- Method: AssemblerMethod>>superSend: (in category 'assembling-shorthand') ----- superSend: aSelector "For compatibility with InstructionPrinter output" self send: aSelector super: true numArgs: aSelector numArgs! ----- Method: AssemblerMethod>>superSend:above: (in category 'assembling-shorthand') ----- superSend: aSelector above: classOrBinding self pushLiteral: (classOrBinding isVariableBinding ifTrue: [classOrBinding] ifFalse: [classOrBinding binding]). self directedSuperSend: aSelector numArgs: aSelector numArgs! ----- Method: AssemblerMethod>>trailer (in category 'accessing') ----- trailer ^trailer ifNil: [CompiledMethodTrailer empty]! ----- Method: AssemblerMethod>>trailer: (in category 'accessing') ----- trailer: anObject "Set the value of trailer" trailer := anObject! ----- Method: AssemblerMethod>>trailerData (in category 'accessing') ----- trailerData ^trailer ifNotNil: [trailer rawData]! ----- Method: AssemblerMethod>>trailerData: (in category 'accessing') ----- trailerData: aByteArray self trailer: (CompiledMethodTrailer new method: aByteArray)! Object subclass: #BytecodeAssembler instanceVariableNames: 'code sizes encoder method index shouldNegateInstVarOffsetsMask' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! !BytecodeAssembler commentStamp: 'eem 2/22/2013 11:12' prior: 0! A BytecodeAssembler is something that converts an AssemblerMethod into a CompiledMethod. Instance Variables code: <AssemblerMethod> encoder: <BytecodeEncoder> sizes: <SequenceableCollection> code - the input assembly method encoder - the encoder that generates instructions sizes - the size of each corresponding bytecode in code's instructions! ----- Method: BytecodeAssembler>>assemble: (in category 'assembly-public') ----- assemble: ass "<AssemblerMethod>" code := ass. sizes := Array new: code instructions size. self createEncoder. self nilLabelTargets. self sizePasses. self createMethod. self emitPass. self verify: ass. ^method! ----- Method: BytecodeAssembler>>assert:equals:entity: (in category 'private') ----- assert: expected equals: actual entity: entityName expected ~= actual ifTrue: [self error: 'method ', entityName, ' should be ', (entityName = 'header' ifTrue: [expected hex] ifFalse: [expected printString]), ' but is ', (entityName = 'header' ifTrue: [actual hex] ifFalse: [actual printString])]! ----- Method: BytecodeAssembler>>assert:or:equals:entity: (in category 'private') ----- assert: expected or: anticipated equals: actual entity: entityName (expected ~= actual and: [anticipated ~= actual]) ifTrue: [^self assert: ((expected - actual) abs <= (anticipated - actual) abs ifTrue: [expected] ifFalse: [anticipated]) equals: actual entity: entityName]! ----- Method: BytecodeAssembler>>code (in category 'accessing') ----- code ^code! ----- Method: BytecodeAssembler>>createEncoder (in category 'instance initialization') ----- createEncoder "The signFlag defines the bytecode set of a method. So create a dummy method with its sign flag to that of code's, and instantiate the dummy method's encoderClass." | dummyMethod newLits | encoder ifNil: [dummyMethod := CompiledMethod newMethod: 0 header: (code signFlag ifTrue: [SmallInteger minVal] ifFalse: [0]). encoder := dummyMethod encoderClass new]. encoder initClass: code methodClass literalStream: ((newLits := self getLiterals: code literals) isEmpty ifFalse: [self ensureLiteralsIncludeMethodClass: newLits isQuick: (self isQuickPrimitiveIndex: code primitive)]). ^encoder! ----- Method: BytecodeAssembler>>createMethod (in category 'assembly') ----- createMethod | header size | header := encoder computeMethodHeaderForNumArgs: code numArgs numTemps: code numTemps numLits: encoder allLiterals size primitive: code primitive. code flag ifTrue: [header := header bitOr: 1 << 29]. code accessModifier ifNotNil: [:bits| header := header bitOr: bits << 28]. code noCountersFlag ifTrue: [header := header bitOr: 1 << 15]. size := sizes size = 0 ifTrue: [0] ifFalse: [self totalSizeFrom: 1 to: sizes size]. method := code trailer createMethod: size class: code compiledMethodClass header: header. method needsFrameSize: code frameSize - method numTemps! ----- Method: BytecodeAssembler>>emitPass (in category 'assembly') ----- emitPass | literals nLits emitter | literals := encoder allLiterals. nLits := literals size. emitter := BytecodeEmitter assembler: self encoder: encoder. 1 to: nLits do: [:lit | method literalAt: lit put: (literals at: lit)]. encoder streamToMethod: method. code instructions withIndexDo: [:messageOrLabel :i| (self isLabel: messageOrLabel) ifFalse: [index := i. messageOrLabel sentTo: emitter]]. "Need to create distinct literals for all literals in the method *except* variable bindings, the methodClass literal, and any exotica such as Behaviors and CompiledBlocks." 1 to: method numLiterals - 2 do: [:litIndex| | lit | lit := method literalAt: litIndex. lit isLiteral ifTrue: [method literalAt: litIndex put: (lit isArray ifTrue: [lit deepCopy] ifFalse: [lit copy])]]. "Need to create a distinct additional method state if it has one. Avoid setting selector if already set (method penultimateLiteral notNil and not a metod properties)" method isCompiledMethod ifTrue: [method penultimateLiteral ifNil: [method selector: code selector] ifNotNil: [:plit| plit isMethodProperties ifTrue: [method penultimateLiteral: plit copy; selector: code selector]]] ! ----- Method: BytecodeAssembler>>encoder: (in category 'assembly-public') ----- encoder: aBytecodeEncoder encoder := aBytecodeEncoder! ----- Method: BytecodeAssembler>>ensureLiteralsIncludeMethodClass:isQuick: (in category 'private') ----- ensureLiteralsIncludeMethodClass: literals isQuick: isQuick "Check whether literals includes the methodClass association (and hence by implication the penultimate literal). If not, add a suitable one. In the assembly case the literal will be missing." literals size > 0 ifTrue: [| last | isQuick ifTrue: "support Newspeak accessors" [self assert: literals size = 2. ^literals]. last := literals last. (last isVariableBinding and: [last value = code methodClass and: [last key == nil or: [last == code methodClass binding]]]) ifTrue: [^literals]]. ^literals, { code selector. code methodClass ifNotNil: [:class| class binding] }! ----- Method: BytecodeAssembler>>getLiterals: (in category 'instance initialization') ----- getLiterals: literals | newLits | newLits := Array new: literals size. literals withIndexDo: [:lit :i | newLits at: i put: (lit class == AssemblerMethod ifTrue: [lit assemble] ifFalse: [lit])]. ^ newLits! ----- Method: BytecodeAssembler>>index (in category 'accessing') ----- index "For the sizer." ^index! ----- Method: BytecodeAssembler>>isLabel: (in category 'testing') ----- isLabel: aMessageOrLookupKey ^aMessageOrLookupKey isVariableBinding! ----- Method: BytecodeAssembler>>isQuickPrimitiveIndex: (in category 'testing') ----- isQuickPrimitiveIndex: anInteger ^anInteger between: 256 and: 519! ----- Method: BytecodeAssembler>>nilLabelTargets (in category 'assembly') ----- nilLabelTargets code instructions do: [:messageOrLabel| (self isLabel: messageOrLabel) ifTrue: [messageOrLabel value: nil]]! ----- Method: BytecodeAssembler>>shouldUseLongAccessForInstVarOffset: (in category 'testing') ----- shouldUseLongAccessForInstVarOffset: offset "compute the mask of which inst var offsets need to be negated. This is true of inst vars of contexts only." shouldNegateInstVarOffsetsMask ifNotNil: [:snivo| ^(snivo bitAnd: (1 bitShift: offset)) ~= 0]. "The order in which this is done means that if the first offset is +ve all others will be too." shouldNegateInstVarOffsetsMask := 0. code methodClass instVarNamesAndOffsetsDo: [:n :o| o >= 0 ifTrue: [^(shouldNegateInstVarOffsetsMask bitAnd: (1 bitShift: offset)) ~= 0]. o < 0 ifTrue: [shouldNegateInstVarOffsetsMask := shouldNegateInstVarOffsetsMask + (1 bitShift: -1 - o)]]. ^true! ----- Method: BytecodeAssembler>>sizePasses (in category 'assembly') ----- sizePasses | sizer instructions lastForwardJump i limit messageOrLabel | sizer := BytecodeSizer assembler: self encoder: encoder. "Forward pass that sizes all except forward jumps." i := 0. limit := (instructions := code instructions) size. [(i := i + 1) <= limit] whileTrue: [messageOrLabel := instructions at: i. sizes at: i put: ((self isLabel: messageOrLabel) ifTrue: [0] ifFalse: [index := i. (messageOrLabel sentTo: sizer) ifNil: [lastForwardJump := i. nil] ifNotNil: [:size| size]])]. lastForwardJump ifNil: [^self]. "Backward pass that sizes forward jumps." i := lastForwardJump + 1. [(i := i - 1) >= 1] whileTrue: [(sizes at: i) ifNil: [index := i. sizes at: i put: ((instructions at: i) sentTo: sizer)]]! ----- Method: BytecodeAssembler>>spanToBlockLabel: (in category 'assembly') ----- spanToBlockLabel: label "<Association>" "N.B. Block labels are expected to follow the last bytecode in the block and preceed the bytecode following the block." | labelIndex | labelIndex := label value. labelIndex ifNil: [labelIndex := code instructions identityIndexOf: label. label value: labelIndex]. self assert: (labelIndex > 1 and: [(self isLabel: (code instructions at: labelIndex - 1)) not and: [#(blockReturnTop blockReturnConstant: methodReturnTop methodReturnConstant: methodReturnReceiver) includes: (code instructions at: labelIndex - 1) selector]]). ^(sizes at: labelIndex) ifNotNil: [self totalSizeFrom: index + 1 to: labelIndex - 1]! ----- Method: BytecodeAssembler>>spanToLabel: (in category 'assembly') ----- spanToLabel: label "<Association>" | labelIndex | labelIndex := label value. labelIndex ifNil: [labelIndex := code instructions identityIndexOf: label. label value: labelIndex]. ^(sizes at: labelIndex) ifNotNil: [self totalSizeFrom: index + 1 to: labelIndex]! ----- Method: BytecodeAssembler>>totalSizeFrom:to: (in category 'assembly') ----- totalSizeFrom: startPC to: targetPC | sum | sum := 0. ^(sizes at: targetPC) ifNotNil: [startPC <= targetPC ifTrue: [startPC to: targetPC do: [:i| sum := sum + (sizes at: i)]] ifFalse: [targetPC to: startPC - 1 do: [:i| "If a nil is found it will be for a forward branch in the first pass, and the total size will be being requested by a backward branch. Simply answer anything negative. All negative branches are long." (sizes at: i) ifNil: [^-1] ifNotNil: [:size| sum := sum - size]]]. sum]! ----- Method: BytecodeAssembler>>verify: (in category 'private') ----- verify: assemblerMethod "If the assemblerMethod contains verification info, check it against the method." assemblerMethod header ifNotNil: [:expectedHeader| self assert: expectedHeader equals: method header entity: 'header']. assemblerMethod initialPC ifNotNil: [:expectedInitialPC| | alternatePCdelta | "the 32-bit pc if 64-bits or vice verce" alternatePCdelta := Smalltalk wordSize = 8 ifTrue: [expectedInitialPC - 1] ifFalse: [(expectedInitialPC - 1) negated]. self assert: expectedInitialPC or: expectedInitialPC + alternatePCdelta equals: method initialPC entity: 'initialPC'. self assert: expectedInitialPC or: expectedInitialPC + alternatePCdelta equals: method initialPC entity: 'endPC']! Object subclass: #BytecodeCoverer instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Coverage'! ----- Method: BytecodeCoverer class>>unusedBytecodeSendsEnabled (in category 'utilities') ----- unusedBytecodeSendsEnabled ^(Smalltalk specialObjectsArray at: 58 ifAbsent: []) == #unusedBytecode! ----- Method: BytecodeCoverer>>checkUnusedBytecodeSendsEnabled (in category 'private') ----- checkUnusedBytecodeSendsEnabled self class unusedBytecodeSendsEnabled ifFalse: [self error: 'unusedBytecode sends are not enabled. continuting will likely crash the VM']! ----- Method: BytecodeCoverer>>coverMethod: (in category 'covering') ----- coverMethod: aMethod | labels basicBlockStarts unusedBytecode | self checkUnusedBytecodeSendsEnabled. labels := (BasicBlockLabellingDisassembler new disassemble: aMethod) labels. basicBlockStarts := Dictionary new. unusedBytecode := aMethod encoderClass unusedBytecode. self assert: unusedBytecode notNil. labels do: [:assoc| | pc | pc := assoc value. basicBlockStarts at: pc put: (aMethod at: pc). aMethod at: pc put: unusedBytecode]. aMethod propertyValueAt: #coverage put: basicBlockStarts; voidCogVMState! ----- Method: BytecodeCoverer>>uncoverMethod: (in category 'covering') ----- uncoverMethod: aMethod | coverage | coverage := aMethod propertyValueAt: #coverage. coverage ifNil: [^self]. coverage keysAndValuesDo: [:pc :bytecode| aMethod at: pc put: bytecode]. aMethod removeProperty: #coverage. (aMethod penultimateLiteral isMethodProperties and: [aMethod penultimateLiteral isEmpty]) ifTrue: [aMethod penultimateLiteral: aMethod selector]! Object subclass: #BytecodeDisassembler instanceVariableNames: 'instructions labels labelling instrs thePC method' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! BytecodeDisassembler subclass: #BasicBlockLabellingDisassembler instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Coverage'! ----- Method: BasicBlockLabellingDisassembler>>jump:if: (in category 'instruction decoding') ----- jump: offset if: condition "Override to add a label for the start of the basic block that follows the jump." super jump: offset if: condition. labelling ifTrue: [labels at: instrs pc put: true]! ----- Method: BasicBlockLabellingDisassembler>>label (in category 'disassembly') ----- label "Override to add a label for the first bytecode pc. Be careful to skip any initial callPrimitive bytecode." method isQuick ifFalse: [| startPC primCode| startPC := (method primitive ~= 0 and: [(primCode := method encoderClass callPrimitiveCode) notNil]) ifTrue: [method initialPC + ((InstructionStream on: method) bytecodeSize: primCode)] ifFalse: [method initialPC]. labels at: startPC put: true]. super label! ----- Method: BasicBlockLabellingDisassembler>>pushClosureCopyNumCopiedValues:numArgs:blockSize: (in category 'instruction decoding') ----- pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSize "Override to add a label for the start of a block." labelling ifTrue: [labels at: instrs pc put: true]. super pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSize! ----- Method: BytecodeDisassembler>>branchIfInstanceOf:distance: (in category 'instruction decoding') ----- branchIfInstanceOf: aLiteral distance: distance (self labelOrNilIfLabellingFor: distance) ifNotNil: [:label| | litIndex | litIndex := method encoderClass literalIndexOfBytecodeAt: thePC in: method. litIndex ifNil: [self error: 'could not decode literal index']. instructions at: thePC put: (Message selector: #branchIfInstanceOfLiteralAtIndex:distance: arguments: {litIndex. label})]! ----- Method: BytecodeDisassembler>>branchIfNotInstanceOf:distance: (in category 'instruction decoding') ----- branchIfNotInstanceOf: aLiteral distance: distance (self labelOrNilIfLabellingFor: distance) ifNotNil: [:label| | litIndex | litIndex := method encoderClass literalIndexOfBytecodeAt: thePC in: method. litIndex ifNil: [self error: 'could not decode literal index']. instructions at: thePC put: (Message selector: #branchIfNotInstanceOfLiteralAtIndex:distance: arguments: {litIndex. label})]! ----- Method: BytecodeDisassembler>>disassemble: (in category 'disassembly') ----- disassemble: aMethod | endPC | method := aMethod. labels := Array new: aMethod size + 1 withAll: false. instructions := Array new: aMethod size + 1. instrs := InstructionStream on: aMethod. endPC := aMethod endPC. labelling := true. [(thePC := instrs pc) <= endPC] whileTrue: [instrs interpretNextInstructionFor: self]. self label. labelling := false. instrs pc: aMethod initialPC. [(thePC := instrs pc) <= endPC] whileTrue: [instrs interpretNextInstructionFor: self]. ^(AssemblerMethod literals: (self disassembleLiterals: aMethod literals) instructions: self instructionSequence numArgs: aMethod numArgs numTemps: aMethod numTemps frameSize: aMethod frameSize primitive: aMethod primitive flag: aMethod flag signFlag: aMethod signFlag accessModifier: ([method accessModifierBits] on: MessageNotUnderstood do: [:ex| nil]) noCounters: ([method hasNoCountersFlag] on: MessageNotUnderstood do: [:ex| [method hasNoCounterBit] on: MessageNotUnderstood do: [:ex2| nil]]) trailer: aMethod trailer methodClass: aMethod methodClass selector: aMethod selector compiledMethodClass: aMethod class) recordVerificationInfoFrom: aMethod; yourself "BytecodeDisassembler new disassemble: BytecodeDisassembler >> #jump:if:"! ----- Method: BytecodeDisassembler>>disassembleLiterals: (in category 'disassembly') ----- disassembleLiterals: literals literals allButLast withIndexDo: [ :lit :index | lit class == CompiledBlock ifTrue: [ literals at: index put: (BytecodeDisassembler new disassemble: lit) ] ]. ^ literals! ----- Method: BytecodeDisassembler>>doesNotUnderstand: (in category 'disassembly') ----- doesNotUnderstand: aMessage (BytecodeSizer includesSelector: aMessage selector) ifFalse: [^super doesNotUnderstand: aMessage]. aMessage lookupClass: nil. instructions at: thePC put: aMessage! ----- Method: BytecodeDisassembler>>instructionSequence (in category 'disassembly') ----- instructionSequence ^Array streamContents: [:s| labels with: instructions do: [:label :inst| inst ifNotNil: [label ~~ false ifTrue: [s nextPut: label]. s nextPut: inst]]]! ----- Method: BytecodeDisassembler>>jump: (in category 'instruction decoding') ----- jump: offset "Print the Unconditional Jump bytecode." (self labelOrNilIfLabellingFor: offset) ifNotNil: [:label| instructions at: thePC put: (Message selector: #jump: argument: label)]! ----- Method: BytecodeDisassembler>>jump:if: (in category 'instruction decoding') ----- jump: offset if: condition "Disassemble the Conditional Jump bytecode." (self labelOrNilIfLabellingFor: offset) ifNotNil: [:label| instructions at: thePC put: (Message selector: #jump:if: arguments: { label. condition })]! ----- Method: BytecodeDisassembler>>label (in category 'disassembly') ----- label "N.B. A Label is an Association so that later its pc can be sorted in its value field." | n | n := 0. labels doWithIndex: [:l :i| l ifTrue: [labels at: i put: (Association new key: 'L', (n := n + 1) printString value: i)]]! ----- Method: BytecodeDisassembler>>labelOrNilIfLabellingFor: (in category 'private') ----- labelOrNilIfLabellingFor: offset "If labelling, just set a flag at the target and answer nil. If done labelling answer the relevant label." ^labelling ifTrue: [labels at: instrs pc + offset put: true. nil] ifFalse: [labels at: instrs pc + offset]! ----- Method: BytecodeDisassembler>>popIntoLiteralVariable: (in category 'instruction decoding') ----- popIntoLiteralVariable: aLiteral | litIndex | litIndex := method encoderClass literalIndexOfBytecodeAt: thePC in: method. litIndex ifNil: [self error: 'could not decode literal index']. instructions at: thePC put: (Message selector: #popIntoLiteralVariableAtIndex: argument: litIndex)! ----- Method: BytecodeDisassembler>>popIntoRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- popIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex instructions at: thePC put: (tempVectorIndex >= 128 ifTrue: [Message selector: #popIntoRemoteInstanceVariable:inObjectAt: arguments: { remoteTempIndex. tempVectorIndex - 128 }] ifFalse: [Message selector: #popIntoRemoteTemp:inVectorAt: arguments: { remoteTempIndex. tempVectorIndex }])! ----- Method: BytecodeDisassembler>>pushClosureCopyNumCopiedValues:numArgs:blockSize: (in category 'instruction decoding') ----- pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSize labelling ifTrue: [labels at: instrs pc + blockSize put: true] ifFalse: [instructions at: thePC put: (Message selector: #pushClosureCopyNumCopiedValues:numArgs:blockSize: arguments: { numCopied. numArgs. labels at: instrs pc + blockSize })]! ----- Method: BytecodeDisassembler>>pushConstant: (in category 'instruction decoding') ----- pushConstant: aLiteral instructions at: thePC put: ((method encoderClass literalIndexOfBytecodeAt: thePC in: method) ifNil: [Message selector: #pushSpecialConstant: argument: aLiteral] ifNotNil: [:index| Message selector: #pushConstantAtIndex: argument: index])! ----- Method: BytecodeDisassembler>>pushFullClosure:numCopied: (in category 'instruction decoding') ----- pushFullClosure: compiledBlock numCopied: numCopied | litIndex | litIndex := method literals indexOf: compiledBlock. litIndex ifNil: [self error: 'cannot encode the method']. instructions at: thePC put: (Message selector: #pushFullClosureAtIndex:numCopied: arguments: {litIndex. numCopied})! ----- Method: BytecodeDisassembler>>pushFullClosure:numCopied:receiverOnStack:ignoreOuterContext: (in category 'instruction decoding') ----- pushFullClosure: compiledBlock numCopied: numCopied receiverOnStack: rcvrOnStack ignoreOuterContext: ignoreOuterContext | litIndex | litIndex := method literals indexOf: compiledBlock. litIndex ifNil: [self error: 'cannot encode the method']. instructions at: thePC put: (Message selector: #pushFullClosureAtIndex:numCopied:receiverOnStack:ignoreOuterContext: arguments: {litIndex. numCopied. rcvrOnStack. ignoreOuterContext})! ----- Method: BytecodeDisassembler>>pushLiteralVariable: (in category 'instruction decoding') ----- pushLiteralVariable: aLiteral | litIndex | litIndex := method encoderClass literalIndexOfBytecodeAt: thePC in: method. litIndex ifNil: [self error: 'could not decode literal index']. instructions at: thePC put: (Message selector: #pushLiteralVariableAtIndex: argument: litIndex)! ----- Method: BytecodeDisassembler>>pushRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- pushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex instructions at: thePC put: (tempVectorIndex >= 128 ifTrue: [Message selector: #pushRemoteInstanceVariable:inObjectAt: arguments: { remoteTempIndex. tempVectorIndex - 128 }] ifFalse: [Message selector: #pushRemoteTemp:inVectorAt: arguments: { remoteTempIndex. tempVectorIndex }])! ----- Method: BytecodeDisassembler>>storeIntoLiteralVariable: (in category 'instruction decoding') ----- storeIntoLiteralVariable: aLiteral | litIndex | litIndex := method encoderClass literalIndexOfBytecodeAt: thePC in: method. litIndex ifNil: [self error: 'could not decode literal index']. instructions at: thePC put: (Message selector: #storeIntoLiteralVariableAtIndex: argument: litIndex)! ----- Method: BytecodeDisassembler>>storeIntoRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- storeIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex instructions at: thePC put: (tempVectorIndex >= 128 ifTrue: [Message selector: #storeIntoRemoteInstanceVariable:inObjectAt: arguments: { remoteTempIndex. tempVectorIndex - 128 }] ifFalse: [Message selector: #storeIntoRemoteTemp:inVectorAt: arguments: { remoteTempIndex. tempVectorIndex }])! ----- Method: CompiledMethod>>assemblerString (in category '*MethodMassage-disassembly') ----- assemblerString ^self disassemble assemblerString! ----- Method: CompiledMethod>>disassemble (in category '*MethodMassage-disassembly') ----- disassemble ^BytecodeDisassembler new disassemble: self! ----- Method: CompiledMethod>>indexOfDifferenceWith: (in category '*MethodMassage-debugging') ----- indexOfDifferenceWith: method "Answer whether the receiver implements the same code as the argument, method. Here ``same code'' means that if the receiver's source is compiled with the same compiler it should produce the same sequence of bytecodes and literals, same trailer and same properties. Hence this definition of #= (only one of many plausible definitions) can be used to quickly identify changes in the compiler's output." | numLits | method isCompiledMethod ifFalse: [^1]. self size = method size ifFalse: [^-2]. self header = method header ifFalse: [^-3]. "N.B. includes numLiterals comparison." self initialPC to: self endPC do: [:i | (self at: i) = (method at: i) ifFalse: [^i]]. numLits := self numLiterals. 1 to: numLits do: [:i| | lit1 lit2 | lit1 := self literalAt: i. lit2 := method literalAt: i. (lit1 == lit2 or: [lit1 literalEqual: lit2]) ifFalse: [(i = 1 and: [#(117 120) includes: self primitive]) ifTrue: [lit1 isArray ifTrue: [(lit2 isArray and: [lit1 allButLast = lit2 allButLast]) ifFalse: [^i]] ifFalse: "ExternalLibraryFunction" [(lit1 analogousCodeTo: lit2) ifFalse: [^i]]] ifFalse: [i = (numLits - 1) ifTrue: "properties" [(self properties analogousCodeTo: method properties) ifFalse: [^i]] ifFalse: "last literal (methodClassAssociation) of class-side methods is not unique" [(i = numLits and: [lit1 isVariableBinding and: [lit2 isVariableBinding and: [lit1 key == lit2 key and: [lit1 value == lit2 value]]]]) ifFalse: [^i]]]]]. ^0! ----- Method: MethodContext>>unusedBytecode (in category '*MethodMassage-coverage') ----- unusedBytecode "Handle unusedBytecode by replacing the bytecode with the correct one found in the coverage property and continuing. Continue via wait/signal since return would push a result." | coverage semaphore process originalBytecode | self assert: (method at: pc) = method encoderClass unusedBytecode. coverage := method propertyValueAt: #coverage. self assert: coverage notNil. originalBytecode := coverage at: pc ifAbsent: [nil]. self assert: originalBytecode notNil. semaphore := Semaphore new. process := Processor activeProcess. [method at: pc put: originalBytecode. coverage removeKey: pc ifAbsent: []. process suspendedContext unwindTo: self. process suspendedContext: self. semaphore signal] fork. semaphore wait! ----- Method: BytecodeEncoder class>>assembler (in category '*MethodMassage-assembly') ----- assembler "Answer an assembler for a method that uses the receiver's instruction set." ^AssemblerMethod new encoder: self new; yourself! ----- Method: BytecodeEncoder>>litIndexOrNilFor: (in category '*MethodMassage-literal access') ----- litIndexOrNilFor: aLiteral | index | index := aLiteral isVariableBinding ifTrue: [literalStream originalContents identityIndexOf: aLiteral ifAbsent: [^nil]] ifFalse: [literalStream originalContents indexOf: aLiteral ifAbsent: [^nil]]. ^index <= literalStream position ifTrue: [index - 1]! ----- Method: CompiledMethodTrailer>>rawData (in category '*MethodMassage-raw data') ----- rawData ^(ByteArray new: size) replaceFrom: 1 to: size with: method startingAt: method size - size + 1! ----- Method: EncoderForSistaV1 class>>literalIndexOfBytecodeAt:in: (in category '*MethodMassage-disassembly') ----- literalIndexOfBytecodeAt: pc in: method "16-31 0001 iiii Push Literal Variable #iiii 32-63 001 iiiii Push Literal #iiiii * 227 11100011 iiiiiiii Push Literal Variable #iiiiiiii (+ Extend A * 256) * 228 11100100 iiiiiiii Push Literal #iiiiiiii (+ Extend A * 256) ** 241 (3) 11110001 iiiiiiii Pop and Store Literal Variable #iiiiiiii (+ Extend A * 256) ** 244 (3) 11110100 iiiiiiii Store Literal Variable #iiiiiiii (+ Extend A * 256) ** 254 11111110 kkkkkkkk jjjjjjjj Branch If Not Instance Of Behavior/Array Of Behavior literal kkkkkkkk (+ Extend A * 256, where Extend A >= 0) distance jjjjjjjj (+ Extend B * 256, where Extend B >= 0 and <= 127) ** 254 11111110 kkkkkkkk jjjjjjjj Branch If Instance Of Behavior/Array Of Behavior literal kkkkkkkk (+ Extend A * 256, where Extend A >= 0) distance jjjjjjjj (+ (Extend B bitAnd: 127) * 256, where Extend B >= 128 and <= 255) " ^self extensionsAt: pc in: method into: [:extA :extB :nExts| | byte | byte := method at: pc + nExts. byte < 64 ifTrue: [byte < 32 ifTrue: [byte > 15 ifTrue: [byte bitAnd: 16rF]] ifFalse: [byte bitAnd: 16r1F]] ifFalse: [(byte >= 227 and: [byte <= 228 or: [#[241 244 254] includes: byte]]) ifTrue: [extA * 256 + (method at: pc + nExts + 1)]]]! ----- Method: Encoder>>initClass:literalStream: (in category '*MethodMassage-instance initialization') ----- initClass: targetBehavior literalStream: literalsOrNil cue := CompilationCue class: targetBehavior. class := targetBehavior. optimizedSelectors := Set new. literalsOrNil ifNil: [literalStream := WriteStream on: (Array new: 32). addedSelectorAndMethodClassLiterals := false] ifNotNil: [literalStream := (WriteStream on: literalsOrNil asArray from: 1 to: literalsOrNil size) setToEnd. addedSelectorAndMethodClassLiterals := true]! ----- Method: EncoderForV3 class>>literalIndexOfBytecodeAt:in: (in category '*MethodMassage-disassembly') ----- literalIndexOfBytecodeAt: pc in: aCompiledMethod "32-63 001iiiii Push Literal Constant #iiiii 64-95 010iiiii Push Literal Variable #iiiii 128 10000000 jjkkkkkk Push (Receiver Variable, Temporary Location, Literal Constant, Literal Variable) [jj] #kkkkkk 129 10000001 jjkkkkkk Store (Receiver Variable, Temporary Location, Illegal, Literal Variable) [jj] #kkkkkk 130 10000010 jjkkkkkk Pop and Store (Receiver Variable, Temporary Location, Illegal, Literal Variable) [jj] #kkkkkk 132 10000100 iiijjjjj kkkkkkkk (Send, Send Super, Push Receiver Variable, Push Literal Constant, Push Literal Variable, Store Receiver Variable, Store-Pop Receiver Variable, Store Literal Variable)[iii] #kkkkkkkk jjjjj (for sends jjjjj = numArgs)" | byte type | byte := aCompiledMethod at: pc. byte <= 95 ifTrue: [^byte >= 32 ifTrue: [byte bitAnd: 16r1F]]. (byte between: 128 and: 130) ifTrue: [^(aCompiledMethod at: pc + 1) bitAnd: 16r3F]. byte = 132 ifTrue: [type := (aCompiledMethod at: pc + 1) bitShift: -5. (type = 3 or: [type = 4 or: [type = 7]]) ifTrue: [^aCompiledMethod at: pc + 2]]. ^nil! TestCase subclass: #BytecodeAssemblerTests instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Tests'! ----- Method: BytecodeAssemblerTests class>>fixupMethodClassBindings (in category 'utilities') ----- fixupMethodClassBindings "Work-around the Monticello bug that results in not sharing the binding in Smalltalk as a method's methodClassAssociation." "self fixupMethodClassBindings" self systemNavigation allSelect: [:m| (m methodClass isMeta not and: [m methodClassAssociation key isNil]) ifTrue: [m methodClassAssociation: m methodClass binding]. false]! ----- Method: BytecodeAssemblerTests>>contextPartMethodWithMostOf: (in category 'test support') ----- contextPartMethodWithMostOf: binaryBlock ^(Array streamContents: [:s| ContextPart withAllSubclassesDo: [:sc| s nextPutAll: sc methodDict values]]) inject: ContextPart methodDict anyOne into: [:m1 :m2| ((1 to: m1 methodClass instSize) select: [:i| binaryBlock value: m1 value: i]) size >= ((1 to: m2 methodClass instSize) select: [:i| binaryBlock value: m2 value: i]) size ifTrue: [m1] ifFalse: [m2]]! ----- Method: BytecodeAssemblerTests>>defaultTimeout (in category 'accessing') ----- defaultTimeout "Answer the default timeout to use for tests in this test case. The timeout is a value in seconds." ^30 "seconds"! ----- Method: BytecodeAssemblerTests>>expectedFailures (in category 'testing') ----- expectedFailures ((thisContext method respondsTo: #usesAlternateBytecodeSet) or: [thisContext method respondsTo: #bytecodeSetName]) ifTrue: [^#()]. ^#(testDuplicateNewsqueakV4Methods)! ----- Method: BytecodeAssemblerTests>>testAsAssemblerFor: (in category 'test support') ----- testAsAssemblerFor: aMethod "self new testAsAssemblerFor: self >> #testAsAssemblerFor:" | assemblerMethod assembler reassembledMethod | assemblerMethod := BytecodeDisassembler new disassemble: aMethod. assembler := String streamContents: [:s| assemblerMethod printAsAssemblerOn: s]. self shouldnt: [reassembledMethod := Compiler evaluate: assembler] raise: Error. self assert: assemblerMethod compiledMethodClass equals: reassembledMethod compiledMethodClass. self assert: assemblerMethod flag equals: reassembledMethod flag. self assert: assemblerMethod frameSize equals: reassembledMethod frameSize. self assert: assemblerMethod methodClass equals: reassembledMethod methodClass. self assert: assemblerMethod numArgs equals: reassembledMethod numArgs. self assert: assemblerMethod numTemps equals: reassembledMethod numTemps. self assert: assemblerMethod primitive equals: reassembledMethod primitive. self assert: assemblerMethod selector equals: reassembledMethod selector. self assert: assemblerMethod signFlag equals: reassembledMethod signFlag. 1 to: reassembledMethod literals size do: [:i| self assert: (assemblerMethod literals at: i) equals: (reassembledMethod literals at: i)]. assemblerMethod instructions ifNil: [self assert: reassembledMethod instructions isNil] ifNotNil: [:insts| self assert: insts size equals: reassembledMethod instructions size. "Nil the labels' values for analogousCodeTo: comparison below; the values are usefully the bytecode pcs of the labels, but this fails the comparisons." insts do: [:inst| inst isVariableBinding ifTrue: [inst value: nil]]. insts with: reassembledMethod instructions do: [:old :new| old isVariableBinding ifTrue: [self assert: old key = new key] ifFalse: [self assert: (old analogousCodeTo: new)]]]. self assert: aMethod equals: (BytecodeAssembler new assemble: reassembledMethod)! ----- Method: BytecodeAssemblerTests>>testAsAssemblerForThisPackage (in category 'tests') ----- testAsAssemblerForThisPackage (PackageOrganizer default packageOfClass: self class) actualMethodsDo: [:m| self testAsAssemblerFor: m]! ----- Method: BytecodeAssemblerTests>>testBasicBlockLabelsFor: (in category 'test support') ----- testBasicBlockLabelsFor: aMethod "self new testBasicBlockLabelsFor: self >> #testBasicBlockLabelsFor:" | labels stream endPC nextPC | labels := (BasicBlockLabellingDisassembler new disassemble: aMethod) labels. aMethod isQuick ifTrue: [^self assert: labels isEmpty]. self assert: (labels select: [:l| aMethod initialPC = l value]) size = 1. aMethod embeddedBlockClosures do: [:closure| self assert: (labels select: [:l| closure startpc = l value]) size = 1]. stream := InstructionStream on: aMethod. endPC := aMethod endPC. [stream pc <= endPC] whileTrue: [nextPC := stream nextPc: (aMethod at: stream pc). (stream willJumpIfTrue or: [stream willJumpIfFalse]) ifTrue: ["A conditional jump should have a label following it." self assert: (labels select: [:l| stream followingPc = l value]) size = 1]. stream interpretJump ifNotNil: [:dist| "There shoud be a label at the target, and, if it is conditional, also one following the jump." self assert: (labels select: [:l| stream pc + dist = l value]) size = 1]. stream pc: nextPC]! ----- Method: BytecodeAssemblerTests>>testBasicBlockLabelsForThisPackage (in category 'tests') ----- testBasicBlockLabelsForThisPackage (PackageOrganizer default packageOfClass: self class) actualMethodsDo: [:m| self testBasicBlockLabelsFor: m]! ----- Method: BytecodeAssemblerTests>>testDisassembleBytecodeAssemblerMethods (in category 'tests') ----- testDisassembleBytecodeAssemblerMethods self testDisassembleMethodsFor: BytecodeAssembler! ----- Method: BytecodeAssemblerTests>>testDisassembleMethodsFor: (in category 'test support') ----- testDisassembleMethodsFor: aBehavior aBehavior selectors asArray sort do: [:sel| | method | method := aBehavior compiledMethodAt: sel. self shouldnt: [BytecodeDisassembler new disassemble: method] raise: Error]! ----- Method: BytecodeAssemblerTests>>testDuplicateAllInstructionStreamMethods (in category 'tests') ----- testDuplicateAllInstructionStreamMethods InstructionStream withAllSuperclasses, InstructionStream allSubclasses do: [:isc| self testDuplicateMethodsFor: isc if: [:method| true]]! ----- Method: BytecodeAssemblerTests>>testDuplicateBytecodeAssemblerMethods (in category 'tests') ----- testDuplicateBytecodeAssemblerMethods self testDuplicateMethodsFor: BytecodeAssembler if: [:method| true]! ----- Method: BytecodeAssemblerTests>>testDuplicateMethodsFor:if: (in category 'test support') ----- testDuplicateMethodsFor: aBehavior if: methodSelectBlock aBehavior selectors asArray sort do: [:sel| | method disassembly assembly | method := aBehavior compiledMethodAt: sel. (methodSelectBlock value: method) ifTrue: [disassembly := BytecodeDisassembler new disassemble: method. assembly := BytecodeAssembler new assemble: disassembly. "method indexOfDifferenceWith: assembly" self assert: method equals: assembly]]! ----- Method: BytecodeAssemblerTests>>testDuplicateNewsqueakV4Methods (in category 'tests') ----- testDuplicateNewsqueakV4Methods Smalltalk allClasses do: ((thisContext method respondsTo: #usesAlternateBytecodeSet) ifTrue: [[:class| self testDuplicateMethodsFor: class if: [:method| method usesAlternateBytecodeSet]. self testDuplicateMethodsFor: class class if: [:method| method usesAlternateBytecodeSet]]] ifFalse: [[:class| self testDuplicateMethodsFor: class if: [:method| method bytecodeSetName = 'NewsqueakV4']. self testDuplicateMethodsFor: class class if: [:method| method bytecodeSetName = 'NewsqueakV4']]])! ----- Method: BytecodeAssemblerTests>>testDuplicateSqueakV3Methods (in category 'tests') ----- testDuplicateSqueakV3Methods "AndreasProfiler spyOn: [self new testDuplicateSqueakV3Methods]" | filter | filter := (thisContext method respondsTo: #usesAlternateBytecodeSet) ifTrue: [[:method| method usesAlternateBytecodeSet not]] ifFalse: [[:method| true]]. Smalltalk allClasses do: [:class| self testDuplicateMethodsFor: class if: filter. self testDuplicateMethodsFor: class class if: filter]! ----- Method: BytecodeAssemblerTests>>testLabelsFor: (in category 'test support') ----- testLabelsFor: aMethod "self new testLabelsFor: self >> #testLabelsFor:" | labels stream endPC | labels := (BytecodeDisassembler new disassemble: aMethod) labels. stream := InstructionStream on: aMethod. endPC := aMethod endPC. [stream pc <= endPC] whileTrue: [stream interpretJump ifNotNil: [:dist| self assert: (labels select: [:l| stream pc + dist = l value]) size = 1] ifNil: [stream pc: (stream nextPc: (aMethod at: stream pc))]]! ----- Method: BytecodeAssemblerTests>>testLabelsForThisPackage (in category 'tests') ----- testLabelsForThisPackage (PackageOrganizer default packageOfClass: self class) actualMethodsDo: [:m| self testLabelsFor: m]! ----- Method: BytecodeAssemblerTests>>testManualAssembly (in category 'tests') ----- testManualAssembly self assert: (AssemblerMethod new methodClass: Object; selector: #printOn:; numArgs: 1; numTemps: 2; pushReceiver; send: #class; send: #name; popIntoTemporaryVariable: 1; pushTemporaryVariable: 0; doDup; pushTemporaryVariable: 1; send: #first; send: #isVowel; jump: 'L1' if: false; pushConstant: 'an '; jump: 'L2'; label: 'L1'; pushConstant: 'a '; label: 'L2'; send: #nextPutAll:; doPop; pushTemporaryVariable: 1; send: #nextPutAll:; doPop; methodReturnReceiver; assemble) decompile printString equals: (Object >>#printOn:) decompile printString! TestCase subclass: #BytecodeCoverageTests instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Tests'! ----- Method: BytecodeCoverageTests>>coverTestBasicBlockLabelsForMethod (in category 'tests support') ----- coverTestBasicBlockLabelsForMethod (PackageOrganizer default packageOfClass: self class) actualMethodsDo: [:m| self testBasicBlockLabelsFor: m]! ----- Method: BytecodeCoverageTests>>setUp (in category 'initialize-release') ----- setUp self class recompile: #testBasicBlockLabelsFor: from: BytecodeAssemblerTests! ----- Method: BytecodeCoverageTests>>tearDown (in category 'initialize-release') ----- tearDown self class removeSelectorSilently: #testBasicBlockLabelsFor:! ----- Method: BytecodeCoverageTests>>testCoverageOfTestBasicBlockLabelsForMethod (in category 'tests') ----- testCoverageOfTestBasicBlockLabelsForMethod "[| me | me := self new. [me setUp; testCoverageOfTestBasicBlockLabelsForMethod] ensure: [me tearDown]] timeToRun" "[| me | me := self new. [me setUp; coverTestBasicBlockLabelsForMethod] ensure: [me tearDown]] timeToRun" | theMethod | theMethod := self class >> #testBasicBlockLabelsFor:. BytecodeCoverer new coverMethod: theMethod. self assert: (theMethod propertyValueAt: #coverage) notNil. self assert: (theMethod propertyValueAt: #coverage) notEmpty. self coverTestBasicBlockLabelsForMethod. self assert: (theMethod propertyValueAt: #coverage) isEmpty!

1 0

VM Maker: MethodMassage-eem.49.mcz
by commits＠source.squeak.org 11 Apr '24

11 Apr '24

Eliot Miranda uploaded a new version of MethodMassage to project VM Maker: http://source.squeak.org/VMMaker/MethodMassage-eem.49.mcz ==================== Summary ==================== Name: MethodMassage-eem.49 Author: eem Time: 24 March 2017, 10:06:03.047915 am UUID: 6758e727-30cb-4ce2-a4d0-e5b7be74483b Ancestors: MethodMassage-eem.48 Fix printing of labels in the umpIf[Not]InstanceOf: bytecodes; need to special case the distance: keyword along with jump: and blockSize:. ==================== Snapshot ==================== SystemOrganization addCategory: #'MethodMassage-Coverage'! SystemOrganization addCategory: #'MethodMassage-Kernel'! SystemOrganization addCategory: #'MethodMassage-Tests'! Object subclass: #AssemblerAbsentClassImport instanceVariableNames: 'className' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! ----- Method: AssemblerAbsentClassImport class>>className: (in category 'instance creation') ----- className: nameOfAnAbsentClass ^self new className: nameOfAnAbsentClass; yourself! ----- Method: AssemblerAbsentClassImport>>className (in category 'accessing') ----- className ^className! ----- Method: AssemblerAbsentClassImport>>className: (in category 'accessing') ----- className: anObject className := anObject. ! ----- Method: AssemblerAbsentClassImport>>forTheMetaclass (in category 'converting') ----- forTheMetaclass ^(className endsWith: ' class') ifTrue: [self] ifFalse: [self class className: className, ' class']! ----- Method: AssemblerAbsentClassImport>>printOn: (in category 'printing') ----- printOn: aStream super printOn: aStream. className ifNotNil: [aStream nextPutAll: ' className: '; store: className]! Object subclass: #AssemblerEncoderInterface instanceVariableNames: 'assembler encoder' classVariableNames: 'SpecialSelectors' poolDictionaries: '' category: 'MethodMassage-Kernel'! !AssemblerEncoderInterface commentStamp: 'eem 2/22/2013 13:10' prior: 0! An AssemblerEncoderInterface is an abstract superclass for the interfaces between a BytecodeAssembler and a BytecodeEncoder. These interfaces convert the assembly messages (see CompiledMethod>>abstractBytecodeMessages and InstructionStream interpretNextInstructionFor: et al) to the sizing and emitting messages implemented by BytecodeEncoder's subclasses. Instance Variables assembler: <BytecodeAssembler> encoder: <BytecodeEncoder>! ----- Method: AssemblerEncoderInterface class>>assembler:encoder: (in category 'instance creation') ----- assembler: anAssembler encoder: anEncoder ^self new assembler: anAssembler encoder: anEncoder! ----- Method: AssemblerEncoderInterface class>>copySizeCodeToEmitterCode (in category 'class initialization') ----- copySizeCodeToEmitterCode "AssemblerEncoderInterface copySizeCodeToEmitterCode" BytecodeSizer selectorsAndMethodsDo: [:s :m| | emitterMethod | ((m literals includes: #shouldBeImplemented) not and: [(emitterMethod := BytecodeEmitter compiledMethodAt: s) literals includes: #shouldBeImplemented]) ifTrue: [BytecodeEmitter compile: (m getSourceFromFile asString copyReplaceAll: 'encoder size' with: 'encoder gen') classified: #assembly]]! ----- Method: AssemblerEncoderInterface class>>createCodeSkeletons (in category 'class initialization') ----- createCodeSkeletons "BytecodeSizer createCodeSkeletons" "BytecodeEmitter createCodeSkeletons" InstructionClient selectorsAndMethodsDo: [:s :m| Parser new initPattern: m getSourceFromFile asString notifying: nil return: [:tuple| [:sel :args :precedence| self compile: (String streamContents: [:strm| precedence = 1 ifTrue: [strm nextPutAll: sel] ifFalse: [sel keywords with: args do: [:kw :arg| strm nextPutAll: kw; space; nextPutAll: arg; space]. strm skip: -1]. strm crtab; nextPutAll: 'self shouldBeImplemented']) classified: #assembly. ] valueWithArguments: tuple]]! ----- Method: AssemblerEncoderInterface class>>initialize (in category 'class initialization') ----- initialize "AssemblerEncoderInterface initialize" SpecialSelectors := IdentityDictionary new. 1 to: Smalltalk specialSelectorSize do: [:i | SpecialSelectors at: (Smalltalk specialSelectorAt: i) put: i]! ----- Method: AssemblerEncoderInterface>>assembler (in category 'accessing') ----- assembler "Answer the value of assembler" ^ assembler! ----- Method: AssemblerEncoderInterface>>assembler: (in category 'accessing') ----- assembler: anObject "Set the value of assembler" assembler := anObject! ----- Method: AssemblerEncoderInterface>>assembler:encoder: (in category 'initialize-release') ----- assembler: anAssembler encoder: anEncoder assembler := anAssembler. encoder := anEncoder! ----- Method: AssemblerEncoderInterface>>encoder (in category 'accessing') ----- encoder "Answer the value of encoder" ^ encoder! ----- Method: AssemblerEncoderInterface>>encoder: (in category 'accessing') ----- encoder: anObject "Set the value of encoder" encoder := anObject! AssemblerEncoderInterface subclass: #BytecodeEmitter instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! !BytecodeEmitter commentStamp: 'eem 2/22/2013 11:18' prior: 0! A BytecodeEmitter converts the assembly messages (see CompiledMethod>>abstractBytecodeMessages and InstructionStream interpretNextInstructionFor: et al) and sends them to the corresponding emitting messages implemented by BytecodeEncoder's subclasses. Instance Variables: see superclass! ----- Method: BytecodeEmitter>>blockReturnConstant: (in category 'assembly') ----- blockReturnConstant: aLiteral "Rubbish way of handling special constants." ^[encoder genReturnSpecialLiteralToCaller: aLiteral] on: Error do: [:ex| ex return: (self pushLiteral: aLiteral) + self blockReturnTop]! ----- Method: BytecodeEmitter>>blockReturnTop (in category 'assembly') ----- blockReturnTop ^encoder genReturnTopToCaller! ----- Method: BytecodeEmitter>>branchIfInstanceOf:distance: (in category 'assembly') ----- branchIfInstanceOf: behaviorOrArrayOfBehavior distance: distanceOrLabel | litIndex distance | litIndex := encoder litIndexOrNilFor: behaviorOrArrayOfBehavior. litIndex ifNil: [litIndex := encoder litIndex: behaviorOrArrayOfBehavior]. distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder genBranchIfInstanceOf: litIndex distance: distance! ----- Method: BytecodeEmitter>>branchIfInstanceOfLiteralAtIndex:distance: (in category 'assembly') ----- branchIfInstanceOfLiteralAtIndex: litIndex distance: distanceOrLabel | distance | distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder genBranchIfInstanceOf: litIndex distance: distance! ----- Method: BytecodeEmitter>>branchIfNotInstanceOf:distance: (in category 'assembly') ----- branchIfNotInstanceOf: behaviorOrArrayOfBehavior distance: distanceOrLabel | litIndex distance | litIndex := encoder litIndexOrNilFor: behaviorOrArrayOfBehavior. litIndex ifNil: [litIndex := encoder litIndex: behaviorOrArrayOfBehavior]. distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder genBranchIfNotInstanceOf: litIndex distance: distance! ----- Method: BytecodeEmitter>>branchIfNotInstanceOfLiteralAtIndex:distance: (in category 'assembly') ----- branchIfNotInstanceOfLiteralAtIndex: litIndex distance: distanceOrLabel | distance | distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder genBranchIfNotInstanceOf: litIndex distance: distance! ----- Method: BytecodeEmitter>>callInlinePrimitive: (in category 'assembly') ----- callInlinePrimitive: primitiveIndex ^encoder genCallInlinePrimitive: primitiveIndex! ----- Method: BytecodeEmitter>>callPrimitive: (in category 'assembly') ----- callPrimitive: primitiveIndex ^encoder genCallPrimitive: primitiveIndex! ----- Method: BytecodeEmitter>>directedSuperSend:numArgs: (in category 'assembly') ----- directedSuperSend: selector numArgs: nArgs ^encoder genSendDirectedSuper: (encoder sharableLitIndex: selector) numArgs: nArgs! ----- Method: BytecodeEmitter>>doDup (in category 'assembly') ----- doDup ^encoder genDup! ----- Method: BytecodeEmitter>>doPop (in category 'assembly') ----- doPop ^encoder genPop! ----- Method: BytecodeEmitter>>extA: (in category 'assembly') ----- extA: anInteger ^encoder genUnsignedSingleExtendA: anInteger! ----- Method: BytecodeEmitter>>extB: (in category 'assembly') ----- extB: anInteger ^encoder genUnsignedSingleExtendB: anInteger! ----- Method: BytecodeEmitter>>jump: (in category 'assembly') ----- jump: offsetOrLabel | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^encoder genJump: offset! ----- Method: BytecodeEmitter>>jump:if: (in category 'assembly') ----- jump: offsetOrLabel if: condition | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. condition ifTrue: [encoder genBranchPopTrue: offset] ifFalse: [encoder genBranchPopFalse: offset]! ----- Method: BytecodeEmitter>>jumpLong: (in category 'assembly') ----- jumpLong: offsetOrLabel | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^encoder genJumpLong: offset! ----- Method: BytecodeEmitter>>jumpLong:if: (in category 'assembly') ----- jumpLong: offsetOrLabel if: condition | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^condition ifTrue: [encoder genBranchPopTrueLong: offset] ifFalse: [encoder genBranchPopFalseLong: offset]! ----- Method: BytecodeEmitter>>methodReturnConstant: (in category 'assembly') ----- methodReturnConstant: aLiteral "Rubbish way of handling special constants." ^[encoder genReturnSpecialLiteral: aLiteral] on: Error do: [:ex| ex return: (self pushLiteral: aLiteral) + self methodReturnTop]! ----- Method: BytecodeEmitter>>methodReturnReceiver (in category 'assembly') ----- methodReturnReceiver ^encoder genReturnReceiver! ----- Method: BytecodeEmitter>>methodReturnTop (in category 'assembly') ----- methodReturnTop ^encoder genReturnTop! ----- Method: BytecodeEmitter>>popIntoLiteralVariable: (in category 'assembly') ----- popIntoLiteralVariable: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: [litIndex := encoder litIndex: aLiteral]. ^encoder genStorePopLiteralVar: litIndex! ----- Method: BytecodeEmitter>>popIntoLiteralVariableAtIndex: (in category 'assembly') ----- popIntoLiteralVariableAtIndex: litIndex ^encoder genStorePopLiteralVar: litIndex! ----- Method: BytecodeEmitter>>popIntoReceiverVariable: (in category 'assembly') ----- popIntoReceiverVariable: offsetOrName | offset | offset := offsetOrName isInteger ifTrue: [offsetOrName] ifFalse: [assembler offsetForInstVarName: offsetOrName]. "handle context inst var access" ^(assembler shouldUseLongAccessForInstVarOffset: offset) ifTrue: [encoder genStorePopInstVarLong: offset] ifFalse: [encoder genStorePopInstVar: offset]! ----- Method: BytecodeEmitter>>popIntoRemoteInstanceVariable:inObjectAt: (in category 'assembly') ----- popIntoRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex "Variation of popIntoRemoteTemp:inVectorAt: that implies an immutability check." ^encoder genStorePopRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex! ----- Method: BytecodeEmitter>>popIntoRemoteTemp:inVectorAt: (in category 'assembly') ----- popIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex ^encoder genStorePopRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! ----- Method: BytecodeEmitter>>popIntoTemporaryVariable: (in category 'assembly') ----- popIntoTemporaryVariable: offset encoder genStorePopTemp: offset! ----- Method: BytecodeEmitter>>pushActiveContext (in category 'assembly') ----- pushActiveContext ^encoder genPushThisContext! ----- Method: BytecodeEmitter>>pushClosureCopyNumCopiedValues:numArgs:blockSize: (in category 'assembly') ----- pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSizeOrLabel "N.B. If blockSizeOrLabel is a label it is expected be a label after the last return in the block and before the bytecode following the block." | blockSize | blockSize := (assembler isLabel: blockSizeOrLabel) ifTrue: [assembler spanToBlockLabel: blockSizeOrLabel] ifFalse: [blockSizeOrLabel]. ^encoder genPushClosureCopyNumCopiedValues: numCopied numArgs: numArgs jumpSize: blockSize! ----- Method: BytecodeEmitter>>pushClosureTemps: (in category 'assembly') ----- pushClosureTemps: numTemps ^encoder genPushNClosureTemps: numTemps! ----- Method: BytecodeEmitter>>pushConsArrayWithElements: (in category 'assembly') ----- pushConsArrayWithElements: numElements ^encoder genPushConsArray: numElements! ----- Method: BytecodeEmitter>>pushConstant: (in category 'assembly') ----- pushConstant: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: ["rubbish way of handling special literals" ([encoder genPushSpecialLiteral: aLiteral] on: Error do: [:ex| ex return: nil]) ifNotNil: [^self]. litIndex := encoder litIndex: aLiteral]. ^encoder genPushLiteral: litIndex! ----- Method: BytecodeEmitter>>pushConstantAtIndex: (in category 'assembly') ----- pushConstantAtIndex: literalIndex ^encoder genPushLiteral: literalIndex! ----- Method: BytecodeEmitter>>pushFullClosure:numCopied: (in category 'assembly') ----- pushFullClosure: compiledBlockLiteralIndex numCopied: numCopied ^encoder genPushFullClosure: compiledBlockLiteralIndex numCopied: numCopied! ----- Method: BytecodeEmitter>>pushFullClosureAtIndex:numCopied:receiverOnStack:ignoreOuterContext: (in category 'assembly') ----- pushFullClosureAtIndex: compiledBlockLiteralIndex numCopied: numCopied receiverOnStack: rcvrOnStack ignoreOuterContext: ignoreOuterContext ^encoder genPushFullClosure: compiledBlockLiteralIndex numCopied: numCopied receiverOnStack: rcvrOnStack ignoreOuterContext: ignoreOuterContext! ----- Method: BytecodeEmitter>>pushLiteralVariable: (in category 'assembly') ----- pushLiteralVariable: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: [litIndex := encoder litIndex: aLiteral]. ^encoder genPushLiteralVar: litIndex! ----- Method: BytecodeEmitter>>pushLiteralVariableAtIndex: (in category 'assembly') ----- pushLiteralVariableAtIndex: litIndex ^encoder genPushLiteralVar: litIndex! ----- Method: BytecodeEmitter>>pushNewArrayOfSize: (in category 'assembly') ----- pushNewArrayOfSize: numElements ^encoder genPushNewArray: numElements! ----- Method: BytecodeEmitter>>pushReceiver (in category 'assembly') ----- pushReceiver ^encoder genPushReceiver! ----- Method: BytecodeEmitter>>pushReceiverVariable: (in category 'assembly') ----- pushReceiverVariable: offsetOrName | offset | offset := offsetOrName isInteger ifTrue: [offsetOrName] ifFalse: [assembler offsetForInstVarName: offsetOrName]. "handle context inst var access" ^(assembler shouldUseLongAccessForInstVarOffset: offset) ifTrue: [encoder genPushInstVarLong: offset] ifFalse: [encoder genPushInstVar: offset]! ----- Method: BytecodeEmitter>>pushRemoteInstanceVariable:inObjectAt: (in category 'assembly') ----- pushRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex "For symmetry with pop/storeIntoRemoteTemp:inVectorAt:." ^encoder genPushRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex! ----- Method: BytecodeEmitter>>pushRemoteTemp:inVectorAt: (in category 'assembly') ----- pushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex ^encoder genPushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! ----- Method: BytecodeEmitter>>pushSpecialConstant: (in category 'assembly') ----- pushSpecialConstant: aLiteral ^encoder genPushSpecialLiteral: aLiteral! ----- Method: BytecodeEmitter>>pushTemporaryVariable: (in category 'assembly') ----- pushTemporaryVariable: offset ^encoder genPushTemp: offset! ----- Method: BytecodeEmitter>>send:super:numArgs: (in category 'assembly') ----- send: selector super: supered numArgs: nArgs supered ifFalse: [(SpecialSelectors at: selector ifAbsent: []) ifNotNil: [:specialSelectorIndex| ^encoder genSendSpecial: specialSelectorIndex numArgs: nArgs]. ^encoder genSend: (encoder sharableLitIndex: selector) numArgs: nArgs]. ^encoder genSendSuper: (encoder sharableLitIndex: selector) numArgs: nArgs! ----- Method: BytecodeEmitter>>sendToAbsentDynamicSuperclass:numArgs: (in category 'assembly') ----- sendToAbsentDynamicSuperclass: selector numArgs: numArgs ^encoder genSendAbsentDynamicSuper: (encoder sharableLitIndex: selector) numArgs: numArgs! ----- Method: BytecodeEmitter>>sendToAbsentImplicitReceiver:numArgs: (in category 'assembly') ----- sendToAbsentImplicitReceiver: selector numArgs: numArgs ^encoder genSendAbsentImplicit: (encoder sharableLitIndex: selector) numArgs: numArgs! ----- Method: BytecodeEmitter>>storeIntoLiteralVariable: (in category 'assembly') ----- storeIntoLiteralVariable: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: [litIndex := encoder litIndex: aLiteral]. ^encoder genStoreLiteralVar: litIndex! ----- Method: BytecodeEmitter>>storeIntoLiteralVariableAtIndex: (in category 'assembly') ----- storeIntoLiteralVariableAtIndex: litIndex ^encoder genStoreLiteralVar: litIndex! ----- Method: BytecodeEmitter>>storeIntoReceiverVariable: (in category 'assembly') ----- storeIntoReceiverVariable: offsetOrName | offset | offset := offsetOrName isInteger ifTrue: [offsetOrName] ifFalse: [assembler offsetForInstVarName: offsetOrName]. "handle context inst var access" ^(assembler shouldUseLongAccessForInstVarOffset: offset) ifTrue: [encoder genStoreInstVarLong: offset] ifFalse: [encoder genStoreInstVar: offset]! ----- Method: BytecodeEmitter>>storeIntoRemoteInstanceVariable:inObjectAt: (in category 'assembly') ----- storeIntoRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex "Variation of storeIntoRemoteTemp:inVectorAt: that implies an immutability check." ^encoder genStoreRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex! ----- Method: BytecodeEmitter>>storeIntoRemoteTemp:inVectorAt: (in category 'assembly') ----- storeIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex ^encoder genStoreRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! ----- Method: BytecodeEmitter>>storeIntoTemporaryVariable: (in category 'assembly') ----- storeIntoTemporaryVariable: offset ^encoder genStoreTemp: offset! ----- Method: BytecodeEmitter>>trap (in category 'assembly') ----- trap ^encoder genTrap! AssemblerEncoderInterface subclass: #BytecodeSizer instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! !BytecodeSizer commentStamp: 'eem 2/22/2013 11:18' prior: 0! A BytecodeSizer converts the assembly messages (see CompiledMethod>>abstractBytecodeMessages and InstructionStream interpretNextInstructionFor: et al) and sends them to the corresponding sizing messages implemented by BytecodeEncoder's subclasses. Instance Variables: see superclass! ----- Method: BytecodeSizer>>blockReturnConstant: (in category 'assembly') ----- blockReturnConstant: aLiteral "Rubbish way of handling special constants." ^[encoder sizeReturnSpecialLiteralToCaller: aLiteral] on: Error do: [:ex| ex return: (self pushLiteral: aLiteral) + self blockReturnTop]! ----- Method: BytecodeSizer>>blockReturnTop (in category 'assembly') ----- blockReturnTop ^encoder sizeReturnTopToCaller! ----- Method: BytecodeSizer>>branchIfInstanceOf:distance: (in category 'assembly') ----- branchIfInstanceOf: behaviorOrArrayOfBehaviors distance: distanceOrLabel | litIndex distance | litIndex := encoder litIndexOrNilFor: behaviorOrArrayOfBehaviors. litIndex ifNil: [litIndex := encoder litIndex: behaviorOrArrayOfBehaviors]. distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder sizeBranchIfInstanceOf: litIndex distance: distance! ----- Method: BytecodeSizer>>branchIfInstanceOfLiteralAtIndex:distance: (in category 'assembly') ----- branchIfInstanceOfLiteralAtIndex: litIndex distance: distanceOrLabel | distance | distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder sizeBranchIfInstanceOf: litIndex distance: distance! ----- Method: BytecodeSizer>>branchIfNotInstanceOf:distance: (in category 'assembly') ----- branchIfNotInstanceOf: behaviorOrArrayOfBehaviors distance: distanceOrLabel | litIndex distance | litIndex := encoder litIndexOrNilFor: behaviorOrArrayOfBehaviors. litIndex ifNil: [litIndex := encoder litIndex: behaviorOrArrayOfBehaviors]. distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder sizeBranchIfNotInstanceOf: litIndex distance: distance! ----- Method: BytecodeSizer>>branchIfNotInstanceOfLiteralAtIndex:distance: (in category 'assembly') ----- branchIfNotInstanceOfLiteralAtIndex: litIndex distance: distanceOrLabel | distance | distance := (assembler isLabel: distanceOrLabel) ifTrue: [assembler spanToLabel: distanceOrLabel] ifFalse: [distanceOrLabel]. ^encoder sizeBranchIfNotInstanceOf: litIndex distance: distance! ----- Method: BytecodeSizer>>callInlinePrimitive: (in category 'assembly') ----- callInlinePrimitive: primitiveIndex ^encoder sizeCallInlinePrimitive: primitiveIndex! ----- Method: BytecodeSizer>>callPrimitive: (in category 'assembly') ----- callPrimitive: primitiveIndex ^encoder sizeCallPrimitive: primitiveIndex! ----- Method: BytecodeSizer>>directedSuperSend:numArgs: (in category 'assembly') ----- directedSuperSend: selector numArgs: nArgs ^encoder sizeSendDirectedSuper: (encoder sharableLitIndex: selector) numArgs: nArgs! ----- Method: BytecodeSizer>>doDup (in category 'assembly') ----- doDup ^encoder sizeDup! ----- Method: BytecodeSizer>>doPop (in category 'assembly') ----- doPop ^encoder sizePop! ----- Method: BytecodeSizer>>extA: (in category 'assembly') ----- extA: anInteger ^encoder sizeUnsignedSingleExtendA: anInteger! ----- Method: BytecodeSizer>>extB: (in category 'assembly') ----- extB: anInteger ^encoder sizeUnsignedSingleExtendB: anInteger! ----- Method: BytecodeSizer>>jump: (in category 'assembly') ----- jump: offsetOrLabel | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^offset ifNotNil: [encoder sizeJump: offset] ifNil: ["If this is a backward jump that is as-yet unsized, answer the long backward jump size. c.f. e.g. MessageNode>>#sizeCodeForWhile:value:" offsetOrLabel value <= assembler index ifTrue: [encoder sizeJumpLong: -1]]! ----- Method: BytecodeSizer>>jump:if: (in category 'assembly') ----- jump: offsetOrLabel if: condition | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^offset ifNotNil: [condition ifTrue: [encoder sizeBranchPopTrue: offset] ifFalse: [encoder sizeBranchPopFalse: offset]]! ----- Method: BytecodeSizer>>jumpLong: (in category 'assembly') ----- jumpLong: offsetOrLabel | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^offset ifNotNil: [encoder sizeJumpLong: offset]! ----- Method: BytecodeSizer>>jumpLong:if: (in category 'assembly') ----- jumpLong: offsetOrLabel if: condition | offset | offset := (assembler isLabel: offsetOrLabel) ifTrue: [assembler spanToLabel: offsetOrLabel] ifFalse: [offsetOrLabel]. ^offset ifNotNil: [condition ifTrue: [encoder sizeBranchPopTrueLong: offset] ifFalse: [encoder sizeBranchPopFalseLong: offset]]! ----- Method: BytecodeSizer>>methodReturnConstant: (in category 'assembly') ----- methodReturnConstant: aLiteral "Rubbish way of handling special constants." ^[encoder sizeReturnSpecialLiteral: aLiteral] on: Error do: [:ex| ex return: (self pushLiteral: aLiteral) + self methodReturnTop]! ----- Method: BytecodeSizer>>methodReturnReceiver (in category 'assembly') ----- methodReturnReceiver ^encoder sizeReturnReceiver! ----- Method: BytecodeSizer>>methodReturnTop (in category 'assembly') ----- methodReturnTop ^encoder sizeReturnTop! ----- Method: BytecodeSizer>>popIntoLiteralVariable: (in category 'assembly') ----- popIntoLiteralVariable: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: [litIndex := encoder litIndex: aLiteral]. ^encoder sizeStorePopLiteralVar: litIndex! ----- Method: BytecodeSizer>>popIntoLiteralVariableAtIndex: (in category 'assembly') ----- popIntoLiteralVariableAtIndex: litIndex ^encoder sizeStorePopLiteralVar: litIndex! ----- Method: BytecodeSizer>>popIntoReceiverVariable: (in category 'assembly') ----- popIntoReceiverVariable: offsetOrName | offset | offset := offsetOrName isInteger ifTrue: [offsetOrName] ifFalse: [assembler offsetForInstVarName: offsetOrName]. "handle context inst var access" ^(assembler shouldUseLongAccessForInstVarOffset: offset) ifTrue: [encoder sizeStorePopInstVarLong: offset] ifFalse: [encoder sizeStorePopInstVar: offset]! ----- Method: BytecodeSizer>>popIntoRemoteInstanceVariable:inObjectAt: (in category 'assembly') ----- popIntoRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex "Variation of popIntoRemoteTemp:inVectorAt: that implies an immutability check." ^encoder sizeStorePopRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex! ----- Method: BytecodeSizer>>popIntoRemoteTemp:inVectorAt: (in category 'assembly') ----- popIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex ^encoder sizePushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! ----- Method: BytecodeSizer>>popIntoTemporaryVariable: (in category 'assembly') ----- popIntoTemporaryVariable: offset ^encoder sizeStorePopTemp: offset! ----- Method: BytecodeSizer>>pushActiveContext (in category 'assembly') ----- pushActiveContext ^encoder sizePushThisContext! ----- Method: BytecodeSizer>>pushClosureCopyNumCopiedValues:numArgs:blockSize: (in category 'assembly') ----- pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSizeOrLabel "N.B. If blockSizeOrLabel is a label it is expected be a label after the last return in the block and before the bytecode following the block." | blockSize | blockSize := (assembler isLabel: blockSizeOrLabel) ifTrue: [assembler spanToBlockLabel: blockSizeOrLabel] ifFalse: [blockSizeOrLabel]. ^blockSize ifNotNil: [encoder sizePushClosureCopyNumCopiedValues: numCopied numArgs: numArgs jumpSize: blockSize]! ----- Method: BytecodeSizer>>pushClosureTemps: (in category 'assembly') ----- pushClosureTemps: numTemps ^encoder sizePushNClosureTemps: numTemps! ----- Method: BytecodeSizer>>pushConsArrayWithElements: (in category 'assembly') ----- pushConsArrayWithElements: numElements ^encoder sizePushConsArray: numElements! ----- Method: BytecodeSizer>>pushConstant: (in category 'assembly') ----- pushConstant: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: ["rubbish way of handling special literals" [(encoder sizePushSpecialLiteral: aLiteral) ifNotNil: [:size| ^size]] on: Error do: [:ex| ]. litIndex := encoder litIndex: aLiteral]. ^encoder sizePushLiteral: litIndex! ----- Method: BytecodeSizer>>pushConstantAtIndex: (in category 'assembly') ----- pushConstantAtIndex: literalIndex ^encoder sizePushLiteral: literalIndex! ----- Method: BytecodeSizer>>pushFullClosure:numCopied: (in category 'assembly') ----- pushFullClosure: compiledBlockLiteralIndex numCopied: numCopied ^encoder sizePushFullClosure: compiledBlockLiteralIndex numCopied: numCopied! ----- Method: BytecodeSizer>>pushFullClosureAtIndex:numCopied:receiverOnStack:ignoreOuterContext: (in category 'assembly') ----- pushFullClosureAtIndex: compiledBlockLiteralIndex numCopied: numCopied receiverOnStack: rcvrOnStack ignoreOuterContext: ignoreOuterContext ^encoder sizePushFullClosure: compiledBlockLiteralIndex numCopied: numCopied receiverOnStack: rcvrOnStack ignoreOuterContext: ignoreOuterContext! ----- Method: BytecodeSizer>>pushLiteralVariable: (in category 'assembly') ----- pushLiteralVariable: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: [litIndex := encoder litIndex: aLiteral]. ^encoder sizePushLiteralVar: litIndex! ----- Method: BytecodeSizer>>pushLiteralVariableAtIndex: (in category 'assembly') ----- pushLiteralVariableAtIndex: litIndex ^encoder sizePushLiteralVar: litIndex! ----- Method: BytecodeSizer>>pushNewArrayOfSize: (in category 'assembly') ----- pushNewArrayOfSize: numElements ^encoder sizePushNewArray: numElements! ----- Method: BytecodeSizer>>pushReceiver (in category 'assembly') ----- pushReceiver ^encoder sizePushReceiver! ----- Method: BytecodeSizer>>pushReceiverVariable: (in category 'assembly') ----- pushReceiverVariable: offsetOrName | offset | offset := offsetOrName isInteger ifTrue: [offsetOrName] ifFalse: [assembler offsetForInstVarName: offsetOrName]. "handle context inst var access" ^(assembler shouldUseLongAccessForInstVarOffset: offset) ifTrue: [encoder sizePushInstVarLong: offset] ifFalse: [encoder sizePushInstVar: offset]! ----- Method: BytecodeSizer>>pushRemoteInstanceVariable:inObjectAt: (in category 'assembly') ----- pushRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex "For symmetry with pop/storeIntoRemoteTemp:inVectorAt:." ^encoder sizePushRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex! ----- Method: BytecodeSizer>>pushRemoteTemp:inVectorAt: (in category 'assembly') ----- pushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex ^encoder sizePushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! ----- Method: BytecodeSizer>>pushSpecialConstant: (in category 'assembly') ----- pushSpecialConstant: aLiteral ^encoder sizePushSpecialLiteral: aLiteral! ----- Method: BytecodeSizer>>pushTemporaryVariable: (in category 'assembly') ----- pushTemporaryVariable: offset ^encoder sizePushTemp: offset! ----- Method: BytecodeSizer>>send:super:numArgs: (in category 'assembly') ----- send: selector super: supered numArgs: nArgs supered ifFalse: [(SpecialSelectors at: selector ifAbsent: []) ifNotNil: [:specialSelectorIndex| ^encoder sizeSpecialSend: specialSelectorIndex numArgs: nArgs]. ^encoder sizeSend: (encoder sharableLitIndex: selector) numArgs: nArgs]. ^encoder sizeSendSuper: (encoder sharableLitIndex: selector) numArgs: nArgs! ----- Method: BytecodeSizer>>sendToAbsentDynamicSuperclass:numArgs: (in category 'assembly') ----- sendToAbsentDynamicSuperclass: selector numArgs: numArgs ^encoder sizeSendAbsentDynamicSuper: (encoder sharableLitIndex: selector) numArgs: numArgs! ----- Method: BytecodeSizer>>sendToAbsentImplicitReceiver:numArgs: (in category 'assembly') ----- sendToAbsentImplicitReceiver: selector numArgs: numArgs ^encoder sizeSendAbsentImplicit: (encoder sharableLitIndex: selector) numArgs: numArgs! ----- Method: BytecodeSizer>>storeIntoLiteralVariable: (in category 'assembly') ----- storeIntoLiteralVariable: aLiteral | litIndex | litIndex := encoder litIndexOrNilFor: aLiteral. litIndex ifNil: [litIndex := encoder litIndex: aLiteral]. ^encoder sizeStoreLiteralVar: litIndex! ----- Method: BytecodeSizer>>storeIntoLiteralVariableAtIndex: (in category 'assembly') ----- storeIntoLiteralVariableAtIndex: litIndex ^encoder sizeStoreLiteralVar: litIndex! ----- Method: BytecodeSizer>>storeIntoReceiverVariable: (in category 'assembly') ----- storeIntoReceiverVariable: offsetOrName | offset | offset := offsetOrName isInteger ifTrue: [offsetOrName] ifFalse: [assembler offsetForInstVarName: offsetOrName]. "handle context inst var access" ^(assembler shouldUseLongAccessForInstVarOffset: offset) ifTrue: [encoder sizeStoreInstVarLong: offset] ifFalse: [encoder sizeStoreInstVar: offset]! ----- Method: BytecodeSizer>>storeIntoRemoteInstanceVariable:inObjectAt: (in category 'assembly') ----- storeIntoRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex "Variation of storeIntoRemoteTemp:inVectorAt: that implies an immutability check." ^encoder sizeStoreRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex! ----- Method: BytecodeSizer>>storeIntoRemoteTemp:inVectorAt: (in category 'assembly') ----- storeIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex ^encoder sizeStoreRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! ----- Method: BytecodeSizer>>storeIntoTemporaryVariable: (in category 'assembly') ----- storeIntoTemporaryVariable: offset ^encoder sizeStoreTemp: offset! ----- Method: BytecodeSizer>>trap (in category 'assembly') ----- trap ^encoder sizeTrap! ----- Method: BytecodeSizer>>trapIfNotInstanceOf: (in category 'assembly') ----- trapIfNotInstanceOf: behaviorOrArrayOfBehavior | litIndex | litIndex := encoder litIndexOrNilFor: behaviorOrArrayOfBehavior. litIndex ifNil: [litIndex := encoder litIndex: behaviorOrArrayOfBehavior]. ^encoder sizeTrapIfNotInstanceOf: litIndex! Object subclass: #AssemblerMethod instanceVariableNames: 'literals instructions numArgs numTemps frameSize primitive flag signFlag noCountersFlag accessModifier trailer methodClass selector compiledMethodClass fixLabels encoder header initialPC endPC' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! !AssemblerMethod commentStamp: 'eem 3/24/2017 08:26' prior: 0! An AssemblerMethod is a holder for a sequence of literals and a sequence of instructions which can represent a disassembled method, or a method being assembled. AssemblerMethod supports three modes of operation. The first mode is transcription, CompiledMethod -> AssemblerMethod -> CompiledMethod. e.g. | original "CompiledMethod" assembler "AssemblerMethod" replica "CompiledMethod" | original := Object >> #printOn:. assembler := original disassemble. replica := assembler assemble. self assert: original = replica The second mode is to construct an AssemblerMethod and assemble it. e.g. EncoderForSistaV1 assembler pushReceiver; trapIfNotInstanceOf: {SmallInteger. Character. LargePositiveInteger. LargeNegativeInteger. Integer. Fraction. Magnitude}; pushReceiver; methodReturnTop; assemble AssemblerMethod new methodClass: Object; selector: #printOn:; numArgs: 1; numTemps: 2; pushReceiver; send: #class; send: #name; popIntoTemporaryVariable: 1; pushTemporaryVariable: 0; doDup; pushTemporaryVariable: 1; send: #first; send: #isVowel; jump: 'L1' if: false; pushConstant: 'an '; jump: 'L2'; label: 'L1'; pushConstant: 'a '; label: 'L2'; send: #nextPutAll:; doPop; pushTemporaryVariable: 1; send: #nextPutAll:; doPop; methodReturnReceiver; assemble A third mode, useful for storage, inter-image transporation ,etc, is AssemblerMethod -> executable string -> AssemblerMethod. e.g. | original "CompiledMethod" assembler "AssemblerMethod" assemblerText "String" replica "CompiledMethod" | original := Object >> #printOn:. assembler := original disassemble. assemblerText := assembler assemblerString. replica := (Compiler evaluate: assemblerText) assemble. self assert: original = replica Instance Variables accessModifier: <nil|0,1,2,3> compiledMethodClass: <nil|CompiledCode> encoder: <BytecodeEncoder> endPC: <nil|Integer> fixLabels: <UndefinedObject|Boolean> flag: <Boolean> frameSize: <Integer> header: <nil|Integer> initialPC: <nil|Integer> instructions: <SequenceableCollection> literals: <SequenceableCollection> methodClass: <Behavior> noCountersFlag: <nil|Boolean> numArgs: <Integer> numTemps: <Integer> primitive: <Integer> signFlag: <Boolean> trailer: <CompiledMethodTrailer> accessModifier - if not nil this is the values of the two bits of flags that specify Newspeak access control in the method header compiledMethodClass - if not nil this is the class to use to create a method from this assembly encoder - the encoder to use to encode literals during assembly endPC - this is the expected endPC of the resulting method. If not nil it will be checked against the actual endPC fixLabels - if nil, the AssemblerMethod is being used in transcription mode and branch offsets should be integers. if a boolean then it indicates whether instructions contains one or more instructions that need their branches fixing up. flag - the value of the method's header flag (see CompiledMethod>>flag) frameSize - the size of the method's frame (see CompiledMethod>>frameSize) header - this is the expected header of the resulting method. If not nil it will be checked against the actual header initialPC - this is the expected initialPC of the resulting method. If not nil it will be checked against the actual initialPC instructions - the sequence of Message and LookupKey objects making up the method's instructions literals - the sequence of objects making up the method's literals methodClass - the target class for the method (see CompiledMethod>>methodClass) noCountersFlag - if not nil this is the value of the Sista JIT-without-performance-counters flag numArgs - the method's argument count (see CompiledMethod>>numArgs) numTemps - the method's temporary count (see CompiledMethod>>numTemps) primitive - the method's primitive (see CompiledMethod>>primitive) signFlag - the value of the method's signFlag (see CompiledMethod>>signFlag) trailer - the method's trailer (see CompiledMethod>>trailer) ! ----- Method: AssemblerMethod class>>literals:instructions:numArgs:numTemps:frameSize:primitive:flag:signFlag:accessModifier:noCounters:trailer:methodClass:selector:compiledMethodClass: (in category 'instance creation') ----- literals: literalSequence instructions: instructionSequence numArgs: nArgs numTemps: nTemps frameSize: frameSizeNum primitive: primitiveIndex flag: flagBoolean signFlag: signFlagBoolean accessModifier: accessModifierBits noCounters: noCountersBoolean trailer: methodTrailer methodClass: class selector: aSelector compiledMethodClass: classOfCompiledMethod ^self new literals: literalSequence instructions: instructionSequence numArgs: nArgs numTemps: nTemps frameSize: frameSizeNum primitive: primitiveIndex flag: flagBoolean signFlag: signFlagBoolean accessModifier: accessModifierBits noCounters: noCountersBoolean trailer: methodTrailer methodClass: class selector: aSelector compiledMethodClass: classOfCompiledMethod! ----- Method: AssemblerMethod>>accessModifier (in category 'accessing') ----- accessModifier ^ accessModifier ! ----- Method: AssemblerMethod>>accessModifier: (in category 'accessing') ----- accessModifier: anObject accessModifier := anObject. ! ----- Method: AssemblerMethod>>assemble (in category 'assembling') ----- assemble | assembler | assembler := BytecodeAssembler new. encoder ifNotNil: [assembler encoder: encoder]. ^assembler assemble: self! ----- Method: AssemblerMethod>>assemblerString (in category 'printing') ----- assemblerString ^String streamContents: [:s| self printAsAssemblerOn: s]! ----- Method: AssemblerMethod>>binding: (in category 'assembling') ----- binding: aSymbol "For now, if the binding is not found, answer a fake binding rather than enter into Undeclared." self literal: ((methodClass bindingOf: aSymbol) ifNil: [Transcript cr; print: 'warning: ', aSymbol, ' is unbound'. aSymbol -> nil])! ----- Method: AssemblerMethod>>branchIfInstanceOf:distance: (in category 'assembling') ----- branchIfInstanceOf: behaviorOrArrayOfBehavior distance: label self checkLabel: label. instructions addLast: (Message selector: #branchIfInstanceOf:distance: arguments: {behaviorOrArrayOfBehavior. label})! ----- Method: AssemblerMethod>>branchIfInstanceOfLiteralAtIndex:distance: (in category 'assembling') ----- branchIfInstanceOfLiteralAtIndex: litIndex distance: label self checkLabel: label. instructions addLast: (Message selector: #branchIfInstanceOfLiteralAtIndex:distance: arguments: {litIndex. label})! ----- Method: AssemblerMethod>>branchIfNotInstanceOf:distance: (in category 'assembling') ----- branchIfNotInstanceOf: behaviorOrArrayOfBehavior distance: label self checkLabel: label. instructions addLast: (Message selector: #branchIfNotInstanceOf:distance: arguments: {behaviorOrArrayOfBehavior. label})! ----- Method: AssemblerMethod>>branchIfNotInstanceOfLiteralAtIndex:distance: (in category 'assembling') ----- branchIfNotInstanceOfLiteralAtIndex: litIndex distance: label self checkLabel: label. instructions addLast: (Message selector: #branchIfNotInstanceOfLiteralAtIndex:distance: arguments: {litIndex. label})! ----- Method: AssemblerMethod>>callInlinePrimitive: (in category 'assembling') ----- callInlinePrimitive: primNumber instructions addLast: (Message selector: #callPrimitive: argument: primNumber + 32768)! ----- Method: AssemblerMethod>>checkLabel: (in category 'private') ----- checkLabel: label fixLabels ifNotNil: [label isInteger ifTrue: [self error: 'one cannot use integers as labels in assembler mode. integers are interpreted as branch distances'] ifFalse: [fixLabels := true]]! ----- Method: AssemblerMethod>>compiledMethodClass (in category 'accessing') ----- compiledMethodClass "Answer the value of compiledMethodClass" ^ compiledMethodClass! ----- Method: AssemblerMethod>>compiledMethodClass: (in category 'accessing') ----- compiledMethodClass: anObject "Set the value of compiledMethodClass" compiledMethodClass := anObject! ----- Method: AssemblerMethod>>directedSuperSend: (in category 'assembling-shorthand') ----- directedSuperSend: aSelector self directedSuperSend: aSelector numArgs: aSelector numArgs! ----- Method: AssemblerMethod>>doesNotUnderstand: (in category 'assembling') ----- doesNotUnderstand: aMessage (BytecodeSizer includesSelector: aMessage selector) ifFalse: [^super doesNotUnderstand: aMessage]. aMessage lookupClass: nil. instructions addLast: aMessage! ----- Method: AssemblerMethod>>dup (in category 'assembling-shorthand') ----- dup "For compatibility with InstructionPrinter output" ^self doDup! ----- Method: AssemblerMethod>>encoder (in category 'accessing') ----- encoder ^encoder! ----- Method: AssemblerMethod>>encoder: (in category 'accessing') ----- encoder: anObject encoder := anObject! ----- Method: AssemblerMethod>>endPC (in category 'accessing') ----- endPC ^ endPC ! ----- Method: AssemblerMethod>>endPC: (in category 'accessing') ----- endPC: anObject endPC := anObject! ----- Method: AssemblerMethod>>extA: (in category 'assembling') ----- extA: anInteger instructions addLast: (Message selector: #extA: argument: anInteger)! ----- Method: AssemblerMethod>>extB: (in category 'assembling') ----- extB: anInteger instructions addLast: (Message selector: #extB: argument: anInteger)! ----- Method: AssemblerMethod>>fixLabelsIfNecessary (in category 'private') ----- fixLabelsIfNecessary | map | fixLabels ~~ true ifTrue: [^self]. map := Dictionary new. instructions do: [:inst| (self isLabel: inst) ifTrue: [map at: inst key put: inst]]. instructions do: [:inst| ((self isLabel: inst) not and: [#(jump: jump:if: jumpLong: jumpLong:if: pushClosureCopyNumCopiedValues:numArgs:blockSize:) includes: inst selector]) ifTrue: [inst selector first = $j ifTrue: [inst arguments first isInteger ifFalse: [inst arguments at: 1 put: (map at: inst arguments first)]] ifFalse: [inst arguments last isInteger ifFalse: [inst arguments at: inst numArgs put: (map at: inst arguments last)]]]]. fixLabels := false! ----- Method: AssemblerMethod>>flag (in category 'accessing') ----- flag "Answer the value of flag" ^ flag! ----- Method: AssemblerMethod>>flag: (in category 'accessing') ----- flag: anObject "Set the value of flag" flag := anObject! ----- Method: AssemblerMethod>>frameSize (in category 'accessing') ----- frameSize "Answer the value of frameSize" ^ frameSize! ----- Method: AssemblerMethod>>frameSize: (in category 'accessing') ----- frameSize: anObject "Set the value of frameSize" frameSize := anObject! ----- Method: AssemblerMethod>>header (in category 'accessing') ----- header ^ header ! ----- Method: AssemblerMethod>>header: (in category 'accessing') ----- header: anObject header := anObject! ----- Method: AssemblerMethod>>importLiteral: (in category 'assembling') ----- importLiteral: classNameOrArrayOfClassNames "Add as a literal the resolution of classNameOrArrayOfClassNames to class(es) present in the system or AbsentClassImport(s) as appropriate." ^self literal: (self resolveImportLiteral: classNameOrArrayOfClassNames)! ----- Method: AssemblerMethod>>importMethodClass (in category 'accessing') ----- importMethodClass "Answer the name of methodClass." ^methodClass ifNotNil: [methodClass name]! ----- Method: AssemblerMethod>>importMethodClass: (in category 'assembling') ----- importMethodClass: className "Set the methodClass to the resolution of className to the class present in the system or an AbsentClassImport as appropriate." ^self methodClass: (self resolveImportLiteral: className)! ----- Method: AssemblerMethod>>importStringFor: (in category 'printing') ----- importStringFor: behaviorOrArrayOfBehaviors ^behaviorOrArrayOfBehaviors isBehavior ifTrue: [behaviorOrArrayOfBehaviors name storeString] ifFalse: [(behaviorOrArrayOfBehaviors collect: [:behavior| behavior name]) printString]! ----- Method: AssemblerMethod>>initialPC (in category 'accessing') ----- initialPC ^ initialPC ! ----- Method: AssemblerMethod>>initialPC: (in category 'accessing') ----- initialPC: anObject initialPC := anObject! ----- Method: AssemblerMethod>>initialize (in category 'initialize-release') ----- initialize fixLabels := false. compiledMethodClass := CompiledMethod. instructions := OrderedCollection new. literals := OrderedCollection new. frameSize := thisContext method frameSize. "should be small" flag := signFlag := false. numArgs := numTemps := primitive := 0! ----- Method: AssemblerMethod>>instructions (in category 'accessing') ----- instructions "Answer the value of instructions" self fixLabelsIfNecessary. ^instructions! ----- Method: AssemblerMethod>>instructions: (in category 'accessing') ----- instructions: anObject "Set the value of instructions" instructions := anObject! ----- Method: AssemblerMethod>>isLabel: (in category 'private') ----- isLabel: aMessageOrLookupKey ^aMessageOrLookupKey isVariableBinding! ----- Method: AssemblerMethod>>jump: (in category 'assembling') ----- jump: label self checkLabel: label. instructions addLast: (Message selector: #jump: argument: label)! ----- Method: AssemblerMethod>>jump:if: (in category 'assembling') ----- jump: label if: cond self checkLabel: label. instructions addLast: (Message selector: #jump:if: arguments: {label. cond})! ----- Method: AssemblerMethod>>jumpFalse: (in category 'assembling-shorthand') ----- jumpFalse: label "For compatibility with InstructionPrinter output" ^self jump: label if: false! ----- Method: AssemblerMethod>>jumpLong: (in category 'assembling') ----- jumpLong: label self checkLabel: label. instructions addLast: (Message selector: #jumpLong: argument: label)! ----- Method: AssemblerMethod>>jumpLong:if: (in category 'assembling') ----- jumpLong: label if: cond self checkLabel: label. instructions addLast: (Message selector: #jumpLong:if: arguments: {label. cond})! ----- Method: AssemblerMethod>>jumpTrue: (in category 'assembling-shorthand') ----- jumpTrue: label "For compatibility with InstructionPrinter output" ^self jump: label if: true! ----- Method: AssemblerMethod>>label: (in category 'assembling') ----- label: aString instructions addLast: aString -> nil! ----- Method: AssemblerMethod>>labels (in category 'accessing') ----- labels ^instructions select: [:ea| ea isVariableBinding]! ----- Method: AssemblerMethod>>literal: (in category 'assembling') ----- literal: aLiteral literals addLast: aLiteral! ----- Method: AssemblerMethod>>literals (in category 'accessing') ----- literals "Answer the value of literals" ^ literals! ----- Method: AssemblerMethod>>literals: (in category 'accessing') ----- literals: anObject "Set the value of literals" literals := anObject! ----- Method: AssemblerMethod>>literals:instructions:numArgs:numTemps:frameSize:primitive:flag:signFlag:accessModifier:noCounters:trailer:methodClass:selector:compiledMethodClass: (in category 'initialize-release') ----- literals: literalSequence instructions: instructionSequence numArgs: nArgs numTemps: nTemps frameSize: frameSizeNum primitive: primitiveIndex flag: flagBoolean signFlag: signFlagBoolean accessModifier: accessModifierBits noCounters: noCountersBoolean trailer: methodTrailer methodClass: class selector: aSelector compiledMethodClass: classOfCompiledMethod literals := literalSequence. instructions := instructionSequence. numArgs := nArgs. numTemps := nTemps. frameSize := frameSizeNum. primitive := primitiveIndex. flag := flagBoolean. signFlag := signFlagBoolean. noCountersFlag := noCountersBoolean. accessModifier := accessModifierBits. trailer := methodTrailer. methodClass := class. selector := aSelector. compiledMethodClass := classOfCompiledMethod! ----- Method: AssemblerMethod>>methodClass (in category 'accessing') ----- methodClass "Answer the value of methodClass. Default to Object if nil (and if we're compiling a CompiledMehtod, not a CompiledBlock)" ^methodClass ifNil: [(compiledMethodClass notNil and: [compiledMethodClass includesBehavior: CompiledMethod]) ifTrue: [Object]]! ----- Method: AssemblerMethod>>methodClass: (in category 'accessing') ----- methodClass: anObject "Set the value of methodClass" methodClass := anObject! ----- Method: AssemblerMethod>>noCountersFlag (in category 'accessing') ----- noCountersFlag ^noCountersFlag == true "nil & false => false"! ----- Method: AssemblerMethod>>noCountersFlag: (in category 'accessing') ----- noCountersFlag: anObject noCountersFlag := anObject. ! ----- Method: AssemblerMethod>>numArgs (in category 'accessing') ----- numArgs "Answer the value of numArgs" ^ numArgs! ----- Method: AssemblerMethod>>numArgs: (in category 'accessing') ----- numArgs: anObject "Set the value of numArgs" numArgs := anObject! ----- Method: AssemblerMethod>>numTemps (in category 'accessing') ----- numTemps "Answer the value of numTemps" ^ numTemps! ----- Method: AssemblerMethod>>numTemps: (in category 'accessing') ----- numTemps: anObject "Set the value of numTemps" numTemps := anObject! ----- Method: AssemblerMethod>>pop (in category 'assembling-shorthand') ----- pop "For compatibility with InstructionPrinter output" ^self doPop! ----- Method: AssemblerMethod>>popIntoLiteralVariableAtIndex: (in category 'assembling') ----- popIntoLiteralVariableAtIndex: litIndex instructions addLast: (Message selector: #popIntoLiteralVariableAtIndex: argument: litIndex)! ----- Method: AssemblerMethod>>popIntoTemp: (in category 'assembling-shorthand') ----- popIntoTemp: n "For compatibility with InstructionPrinter output" ^self popIntoTemporaryVariable: n! ----- Method: AssemblerMethod>>primitive (in category 'accessing') ----- primitive "Answer the value of primitive" ^ primitive! ----- Method: AssemblerMethod>>primitive: (in category 'accessing') ----- primitive: anObject "Set the value of primitive" primitive := anObject! ----- Method: AssemblerMethod>>printAccessorsForAssemblyOn: (in category 'printing') ----- printAccessorsForAssemblyOn: aStream | dummy | dummy := self class new. "Generate all the accessors; for now don't handle the trailer" #( compiledMethodClass: importMethodClass: selector: primitive: numArgs: numTemps: frameSize: flag: signFlag: noCountersFlag: accessModifier: trailerData:) with: #(compiledMethodClass importMethodClass selector primitive numArgs numTemps frameSize flag signFlag noCountersFlag accessModifier trailerData) do: [:setter :getter| (self perform: getter) ifNotNil: [:val| val ~= (dummy perform: getter) ifTrue: [aStream crtab; nextPutAll: setter; space. val isSymbol ifTrue: [aStream store: val] ifFalse: [aStream print: val]. aStream nextPut: $;]]]! ----- Method: AssemblerMethod>>printAsAssemblerOn: (in category 'printing') ----- printAsAssemblerOn: aStream aStream nextPut: $(; print: self class; nextPutAll: ' new'. self printAccessorsForAssemblyOn: aStream. self printVerifiersForAssemblyOn: aStream. self printLiteralsForAssemblyOn: aStream. self printInstructionsForAssemblyOn: aStream. aStream crtab; nextPutAll: #yourself; nextPut: $)! ----- Method: AssemblerMethod>>printInstructionsForAssemblyOn: (in category 'printing') ----- printInstructionsForAssemblyOn: aStream instructions do: [:messageOrLabel| aStream crtab. (self isLabel: messageOrLabel) ifTrue: [aStream nextPutAll: 'label: '; print: messageOrLabel key] ifFalse: [messageOrLabel numArgs = 0 ifTrue: [aStream nextPutAll: messageOrLabel selector] ifFalse: [messageOrLabel selector keywords with: messageOrLabel arguments do: [:kwd :arg| aStream nextPutAll: kwd; space. aStream print: ((kwd = 'jump:' or: [kwd = 'blockSize:' or: [kwd = 'distance:']]) ifTrue: [self assert: (self isLabel: arg). arg key] ifFalse: [arg]); space]. aStream skip: -1]]. aStream nextPut: $;]! ----- Method: AssemblerMethod>>printLiteralsForAssemblyOn: (in category 'printing') ----- printLiteralsForAssemblyOn: aStream | literalsToDefine | literalsToDefine := literals copy asOrderedCollection. (literalsToDefine last isVariableBinding and: [literalsToDefine last value = methodClass]) ifTrue: [literalsToDefine removeLast. self assert: (literalsToDefine last == selector or: [literalsToDefine last isMethodProperties and: [literalsToDefine last selector == selector]]). literalsToDefine removeLast]. literalsToDefine do: [:litOrBinding| aStream crtab. litOrBinding isLiteral ifTrue: [aStream nextPutAll: 'literal: '; print: litOrBinding] ifFalse: [litOrBinding isVariableBinding ifTrue: [aStream nextPutAll: 'binding: '; store: litOrBinding key] ifFalse: [litOrBinding isCompiledCode ifTrue: [aStream nextPutAll: 'literal: '; print: nil "a post-process pass will fix this"] ifFalse: [(litOrBinding isBehavior or: [litOrBinding isArray and: [litOrBinding allSatisfy: [:b | b isBehavior]]]) ifTrue: [aStream nextPutAll: 'importLiteral: '; nextPutAll: (self importStringFor: litOrBinding)] ifFalse: [aStream nextPutAll: 'literal: '; store: litOrBinding ]]]]. "N.B. This handles nested AssemblerMethods for nested CompiledBlocks." aStream nextPut: $;]! ----- Method: AssemblerMethod>>printVerifiersForAssemblyOn: (in category 'printing') ----- printVerifiersForAssemblyOn: aStream #( header: endPC: initialPC:) with: #(header endPC initialPC) do: [:setter :getter| (self perform: getter) ifNotNil: [:val| aStream crtab; nextPutAll: setter; space. val storeOn: aStream base: (getter == #header ifTrue: [16] ifFalse: [10]). aStream nextPut: $;]]! ----- Method: AssemblerMethod>>push: (in category 'assembling-shorthand') ----- push: aLiteral "Convenience for pushLiteral:. Won't work unless an encoder has been set." "For compatibility with InstructionPrinter output" ^(encoder isSpecialLiteralForPush: aLiteral) ifTrue: [self pushSpecialConstant: aLiteral] ifFalse: [self pushConstant: aLiteral]! ----- Method: AssemblerMethod>>pushClosureCopyNumCopiedValues:numArgs:blockSize: (in category 'assembling') ----- pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSize "N.B. If blockSizeOrLabel is a label it is expected be a label after the last return in the block and before the bytecode following the block." self checkLabel: blockSize. instructions addLast: (Message selector: #pushClosureCopyNumCopiedValues:numArgs:blockSize: arguments: {numCopied. numArgs. blockSize})! ----- Method: AssemblerMethod>>pushConstantAtIndex: (in category 'assembling') ----- pushConstantAtIndex: litIndex instructions addLast: (Message selector: #pushConstantAtIndex: argument: litIndex)! ----- Method: AssemblerMethod>>pushFullClosureAtIndex:numCopied: (in category 'assembling-shorthand') ----- pushFullClosureAtIndex: litIndex numCopied: numCopied instructions addLast: (Message selector: #pushFullClosureAtIndex:numCopied: arguments: {litIndex. numCopied})! ----- Method: AssemblerMethod>>pushFullClosureAtIndex:numCopied:receiverOnStack:ignoreOuterContext: (in category 'assembling') ----- pushFullClosureAtIndex: litIndex numCopied: numCopied receiverOnStack: receiverOnStack ignoreOuterContext: ignoreOuterContext instructions addLast: (Message selector: #pushFullClosureAtIndex:numCopied:receiverOnStack:ignoreOuterContext: arguments: {litIndex. numCopied. receiverOnStack. ignoreOuterContext})! ----- Method: AssemblerMethod>>pushLiteralVariableAtIndex: (in category 'assembling') ----- pushLiteralVariableAtIndex: litIndex instructions addLast: (Message selector: #pushLiteralVariableAtIndex: argument: litIndex)! ----- Method: AssemblerMethod>>pushSpecialConstant: (in category 'assembling') ----- pushSpecialConstant: aConstant instructions addLast: (Message selector: #pushSpecialConstant: argument: aConstant)! ----- Method: AssemblerMethod>>pushTemp: (in category 'assembling-shorthand') ----- pushTemp: n "For compatibility with InstructionPrinter output" ^self pushTemporaryVariable: n! ----- Method: AssemblerMethod>>recordVerificationInfoFrom: (in category 'initialize-release') ----- recordVerificationInfoFrom: aMethod "Record header, initialPC and endPC from aMethod for checking." header := aMethod header. endPC := aMethod endPC. initialPC := aMethod initialPC! ----- Method: AssemblerMethod>>resolveImportLiteral: (in category 'assembling') ----- resolveImportLiteral: classNameOrArrayOfClassNames "Resolve classNameOrArrayOfClassNames to class(es) present in the system or AssemblerAbsentClassImport(s) as appropriate." classNameOrArrayOfClassNames isArray ifTrue: [^classNameOrArrayOfClassNames collect: [:className| self resolveImportLiteral: className]]. (classNameOrArrayOfClassNames last == $s and: [classNameOrArrayOfClassNames endsWith: ' class']) ifTrue: [| import | import := self resolveImportLiteral: (classNameOrArrayOfClassNames allButLast: 6). ^import isBehavior ifTrue: [import class] ifFalse: [import forTheMetaclass]]. ^(Smalltalk classNamed: classNameOrArrayOfClassNames) ifNotNil: [:aClass| aClass] ifNil: [AssemblerAbsentClassImport className: classNameOrArrayOfClassNames]! ----- Method: AssemblerMethod>>selector (in category 'accessing') ----- selector "Answer the value of selector" ^ selector! ----- Method: AssemblerMethod>>selector: (in category 'accessing') ----- selector: anObject "Set the value of selector" selector := anObject! ----- Method: AssemblerMethod>>send: (in category 'assembling-shorthand') ----- send: aSelector "For compatibility with InstructionPrinter output" self send: aSelector super: false numArgs: aSelector numArgs! ----- Method: AssemblerMethod>>sendToAbsentImplicitReceiver: (in category 'assembling-shorthand') ----- sendToAbsentImplicitReceiver: aSelector self sendToAbsentImplicitReceiver: aSelector numArgs: aSelector numArgs! ----- Method: AssemblerMethod>>signFlag (in category 'accessing') ----- signFlag "Answer the value of signFlag" ^ signFlag! ----- Method: AssemblerMethod>>signFlag: (in category 'accessing') ----- signFlag: anObject "Set the value of signFlag" signFlag := anObject! ----- Method: AssemblerMethod>>storeIntoLiteralVariableAtIndex: (in category 'assembling') ----- storeIntoLiteralVariableAtIndex: litIndex instructions addLast: (Message selector: #storeIntoLiteralVariableAtIndex: argument: litIndex)! ----- Method: AssemblerMethod>>storeOn: (in category 'printing') ----- storeOn: aStream "Store the receiver by using printAsAssemblerOn:. N.B. This is relied upon in the printLiteralsForAssemblyOn: method to deal with nested blocks." self printAsAssemblerOn: aStream! ----- Method: AssemblerMethod>>superSend: (in category 'assembling-shorthand') ----- superSend: aSelector "For compatibility with InstructionPrinter output" self send: aSelector super: true numArgs: aSelector numArgs! ----- Method: AssemblerMethod>>superSend:above: (in category 'assembling-shorthand') ----- superSend: aSelector above: classOrBinding self pushLiteral: (classOrBinding isVariableBinding ifTrue: [classOrBinding] ifFalse: [classOrBinding binding]). self directedSuperSend: aSelector numArgs: aSelector numArgs! ----- Method: AssemblerMethod>>trailer (in category 'accessing') ----- trailer ^trailer ifNil: [CompiledMethodTrailer empty]! ----- Method: AssemblerMethod>>trailer: (in category 'accessing') ----- trailer: anObject "Set the value of trailer" trailer := anObject! ----- Method: AssemblerMethod>>trailerData (in category 'accessing') ----- trailerData ^trailer ifNotNil: [trailer rawData]! ----- Method: AssemblerMethod>>trailerData: (in category 'accessing') ----- trailerData: aByteArray self trailer: (CompiledMethodTrailer new method: aByteArray)! Object subclass: #BytecodeAssembler instanceVariableNames: 'code sizes encoder method index shouldNegateInstVarOffsetsMask' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! !BytecodeAssembler commentStamp: 'eem 2/22/2013 11:12' prior: 0! A BytecodeAssembler is something that converts an AssemblerMethod into a CompiledMethod. Instance Variables code: <AssemblerMethod> encoder: <BytecodeEncoder> sizes: <SequenceableCollection> code - the input assembly method encoder - the encoder that generates instructions sizes - the size of each corresponding bytecode in code's instructions! ----- Method: BytecodeAssembler>>assemble: (in category 'assembly-public') ----- assemble: ass "<AssemblerMethod>" code := ass. sizes := Array new: code instructions size. self createEncoder. self nilLabelTargets. self sizePasses. self createMethod. self emitPass. self verify: ass. ^method! ----- Method: BytecodeAssembler>>assert:equals:entity: (in category 'private') ----- assert: expected equals: actual entity: entityName expected ~= actual ifTrue: [self error: 'method ', entityName, ' should be ', (entityName = 'header' ifTrue: [expected hex] ifFalse: [expected printString]), ' but is ', (entityName = 'header' ifTrue: [actual hex] ifFalse: [actual printString])]! ----- Method: BytecodeAssembler>>assert:or:equals:entity: (in category 'private') ----- assert: expected or: anticipated equals: actual entity: entityName (expected ~= actual and: [anticipated ~= actual]) ifTrue: [^self assert: ((expected - actual) abs <= (anticipated - actual) abs ifTrue: [expected] ifFalse: [anticipated]) equals: actual entity: entityName]! ----- Method: BytecodeAssembler>>code (in category 'accessing') ----- code ^code! ----- Method: BytecodeAssembler>>createEncoder (in category 'instance initialization') ----- createEncoder "The signFlag defines the bytecode set of a method. So create a dummy method with its sign flag to that of code's, and instantiate the dummy method's encoderClass." | dummyMethod newLits | encoder ifNil: [dummyMethod := CompiledMethod newMethod: 0 header: (code signFlag ifTrue: [SmallInteger minVal] ifFalse: [0]). encoder := dummyMethod encoderClass new]. encoder initClass: code methodClass literalStream: ((newLits := self getLiterals: code literals) isEmpty ifFalse: [self ensureLiteralsIncludeMethodClass: newLits isQuick: (self isQuickPrimitiveIndex: code primitive)]). ^encoder! ----- Method: BytecodeAssembler>>createMethod (in category 'assembly') ----- createMethod | header size | header := encoder computeMethodHeaderForNumArgs: code numArgs numTemps: code numTemps numLits: encoder allLiterals size primitive: code primitive. code flag ifTrue: [header := header bitOr: 1 << 29]. code accessModifier ifNotNil: [:bits| header := header bitOr: bits << 28]. code noCountersFlag ifTrue: [header := header bitOr: 1 << 15]. size := sizes size = 0 ifTrue: [0] ifFalse: [self totalSizeFrom: 1 to: sizes size]. method := code trailer createMethod: size class: code compiledMethodClass header: header. method needsFrameSize: code frameSize - method numTemps! ----- Method: BytecodeAssembler>>emitPass (in category 'assembly') ----- emitPass | literals nLits emitter | literals := encoder allLiterals. nLits := literals size. emitter := BytecodeEmitter assembler: self encoder: encoder. 1 to: nLits do: [:lit | method literalAt: lit put: (literals at: lit)]. encoder streamToMethod: method. code instructions withIndexDo: [:messageOrLabel :i| (self isLabel: messageOrLabel) ifFalse: [index := i. messageOrLabel sentTo: emitter]]. "Need to create distinct literals for all literals in the method *except* variable bindings, the methodClass literal, and any exotica such as Behaviors and CompiledBlocks." 1 to: method numLiterals - 2 do: [:litIndex| | lit | lit := method literalAt: litIndex. lit isLiteral ifTrue: [method literalAt: litIndex put: (lit isArray ifTrue: [lit deepCopy] ifFalse: [lit copy])]]. "Need to create a distinct additional method state if it has one. Avoid setting selector if already set (method penultimateLiteral notNil and not a metod properties)" method isCompiledMethod ifTrue: [method penultimateLiteral ifNil: [method selector: code selector] ifNotNil: [:plit| plit isMethodProperties ifTrue: [method penultimateLiteral: plit copy; selector: code selector]]] ! ----- Method: BytecodeAssembler>>encoder: (in category 'assembly-public') ----- encoder: aBytecodeEncoder encoder := aBytecodeEncoder! ----- Method: BytecodeAssembler>>ensureLiteralsIncludeMethodClass:isQuick: (in category 'private') ----- ensureLiteralsIncludeMethodClass: literals isQuick: isQuick "Check whether literals includes the methodClass association (and hence by implication the penultimate literal). If not, add a suitable one. In the assembly case the literal will be missing." literals size > 0 ifTrue: [| last | isQuick ifTrue: "support Newspeak accessors" [self assert: literals size = 2. ^literals]. last := literals last. (last isVariableBinding and: [last value = code methodClass and: [last key == nil or: [last == code methodClass binding]]]) ifTrue: [^literals]]. ^literals, { code selector. code methodClass ifNotNil: [:class| class binding] }! ----- Method: BytecodeAssembler>>getLiterals: (in category 'instance initialization') ----- getLiterals: literals | newLits | newLits := Array new: literals size. literals withIndexDo: [:lit :i | newLits at: i put: (lit class == AssemblerMethod ifTrue: [lit assemble] ifFalse: [lit])]. ^ newLits! ----- Method: BytecodeAssembler>>index (in category 'accessing') ----- index "For the sizer." ^index! ----- Method: BytecodeAssembler>>isLabel: (in category 'testing') ----- isLabel: aMessageOrLookupKey ^aMessageOrLookupKey isVariableBinding! ----- Method: BytecodeAssembler>>isQuickPrimitiveIndex: (in category 'testing') ----- isQuickPrimitiveIndex: anInteger ^anInteger between: 256 and: 519! ----- Method: BytecodeAssembler>>nilLabelTargets (in category 'assembly') ----- nilLabelTargets code instructions do: [:messageOrLabel| (self isLabel: messageOrLabel) ifTrue: [messageOrLabel value: nil]]! ----- Method: BytecodeAssembler>>shouldUseLongAccessForInstVarOffset: (in category 'testing') ----- shouldUseLongAccessForInstVarOffset: offset "compute the mask of which inst var offsets need to be negated. This is true of inst vars of contexts only." shouldNegateInstVarOffsetsMask ifNotNil: [:snivo| ^(snivo bitAnd: (1 bitShift: offset)) ~= 0]. "The order in which this is done means that if the first offset is +ve all others will be too." shouldNegateInstVarOffsetsMask := 0. code methodClass instVarNamesAndOffsetsDo: [:n :o| o >= 0 ifTrue: [^(shouldNegateInstVarOffsetsMask bitAnd: (1 bitShift: offset)) ~= 0]. o < 0 ifTrue: [shouldNegateInstVarOffsetsMask := shouldNegateInstVarOffsetsMask + (1 bitShift: -1 - o)]]. ^true! ----- Method: BytecodeAssembler>>sizePasses (in category 'assembly') ----- sizePasses | sizer instructions lastForwardJump i limit messageOrLabel | sizer := BytecodeSizer assembler: self encoder: encoder. "Forward pass that sizes all except forward jumps." i := 0. limit := (instructions := code instructions) size. [(i := i + 1) <= limit] whileTrue: [messageOrLabel := instructions at: i. sizes at: i put: ((self isLabel: messageOrLabel) ifTrue: [0] ifFalse: [index := i. (messageOrLabel sentTo: sizer) ifNil: [lastForwardJump := i. nil] ifNotNil: [:size| size]])]. lastForwardJump ifNil: [^self]. "Backward pass that sizes forward jumps." i := lastForwardJump + 1. [(i := i - 1) >= 1] whileTrue: [(sizes at: i) ifNil: [index := i. sizes at: i put: ((instructions at: i) sentTo: sizer)]]! ----- Method: BytecodeAssembler>>spanToBlockLabel: (in category 'assembly') ----- spanToBlockLabel: label "<Association>" "N.B. Block labels are expected to follow the last bytecode in the block and preceed the bytecode following the block." | labelIndex | labelIndex := label value. labelIndex ifNil: [labelIndex := code instructions identityIndexOf: label. label value: labelIndex]. self assert: (labelIndex > 1 and: [(self isLabel: (code instructions at: labelIndex - 1)) not and: [#(blockReturnTop blockReturnConstant: methodReturnTop methodReturnConstant: methodReturnReceiver) includes: (code instructions at: labelIndex - 1) selector]]). ^(sizes at: labelIndex) ifNotNil: [self totalSizeFrom: index + 1 to: labelIndex - 1]! ----- Method: BytecodeAssembler>>spanToLabel: (in category 'assembly') ----- spanToLabel: label "<Association>" | labelIndex | labelIndex := label value. labelIndex ifNil: [labelIndex := code instructions identityIndexOf: label. label value: labelIndex]. ^(sizes at: labelIndex) ifNotNil: [self totalSizeFrom: index + 1 to: labelIndex]! ----- Method: BytecodeAssembler>>totalSizeFrom:to: (in category 'assembly') ----- totalSizeFrom: startPC to: targetPC | sum | sum := 0. ^(sizes at: targetPC) ifNotNil: [startPC <= targetPC ifTrue: [startPC to: targetPC do: [:i| sum := sum + (sizes at: i)]] ifFalse: [targetPC to: startPC - 1 do: [:i| "If a nil is found it will be for a forward branch in the first pass, and the total size will be being requested by a backward branch. Simply answer anything negative. All negative branches are long." (sizes at: i) ifNil: [^-1] ifNotNil: [:size| sum := sum - size]]]. sum]! ----- Method: BytecodeAssembler>>verify: (in category 'private') ----- verify: assemblerMethod "If the assemblerMethod contains verification info, check it against the method." assemblerMethod header ifNotNil: [:expectedHeader| self assert: expectedHeader equals: method header entity: 'header']. assemblerMethod initialPC ifNotNil: [:expectedInitialPC| | alternatePCdelta | "the 32-bit pc if 64-bits or vice verce" alternatePCdelta := Smalltalk wordSize = 8 ifTrue: [expectedInitialPC - 1] ifFalse: [(expectedInitialPC - 1) negated]. self assert: expectedInitialPC or: expectedInitialPC + alternatePCdelta equals: method initialPC entity: 'initialPC'. self assert: expectedInitialPC or: expectedInitialPC + alternatePCdelta equals: method initialPC entity: 'endPC']! Object subclass: #BytecodeCoverer instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Coverage'! ----- Method: BytecodeCoverer class>>unusedBytecodeSendsEnabled (in category 'utilities') ----- unusedBytecodeSendsEnabled ^(Smalltalk specialObjectsArray at: 58 ifAbsent: []) == #unusedBytecode! ----- Method: BytecodeCoverer>>checkUnusedBytecodeSendsEnabled (in category 'private') ----- checkUnusedBytecodeSendsEnabled self class unusedBytecodeSendsEnabled ifFalse: [self error: 'unusedBytecode sends are not enabled. continuting will likely crash the VM']! ----- Method: BytecodeCoverer>>coverMethod: (in category 'covering') ----- coverMethod: aMethod | labels basicBlockStarts unusedBytecode | self checkUnusedBytecodeSendsEnabled. labels := (BasicBlockLabellingDisassembler new disassemble: aMethod) labels. basicBlockStarts := Dictionary new. unusedBytecode := aMethod encoderClass unusedBytecode. self assert: unusedBytecode notNil. labels do: [:assoc| | pc | pc := assoc value. basicBlockStarts at: pc put: (aMethod at: pc). aMethod at: pc put: unusedBytecode]. aMethod propertyValueAt: #coverage put: basicBlockStarts; voidCogVMState! ----- Method: BytecodeCoverer>>uncoverMethod: (in category 'covering') ----- uncoverMethod: aMethod | coverage | coverage := aMethod propertyValueAt: #coverage. coverage ifNil: [^self]. coverage keysAndValuesDo: [:pc :bytecode| aMethod at: pc put: bytecode]. aMethod removeProperty: #coverage. (aMethod penultimateLiteral isMethodProperties and: [aMethod penultimateLiteral isEmpty]) ifTrue: [aMethod penultimateLiteral: aMethod selector]! Object subclass: #BytecodeDisassembler instanceVariableNames: 'instructions labels labelling instrs thePC method' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! BytecodeDisassembler subclass: #BasicBlockLabellingDisassembler instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Coverage'! ----- Method: BasicBlockLabellingDisassembler>>jump:if: (in category 'instruction decoding') ----- jump: offset if: condition "Override to add a label for the start of the basic block that follows the jump." super jump: offset if: condition. labelling ifTrue: [labels at: instrs pc put: true]! ----- Method: BasicBlockLabellingDisassembler>>label (in category 'disassembly') ----- label "Override to add a label for the first bytecode pc. Be careful to skip any initial callPrimitive bytecode." method isQuick ifFalse: [| startPC primCode| startPC := (method primitive ~= 0 and: [(primCode := method encoderClass callPrimitiveCode) notNil]) ifTrue: [method initialPC + ((InstructionStream on: method) bytecodeSize: primCode)] ifFalse: [method initialPC]. labels at: startPC put: true]. super label! ----- Method: BasicBlockLabellingDisassembler>>pushClosureCopyNumCopiedValues:numArgs:blockSize: (in category 'instruction decoding') ----- pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSize "Override to add a label for the start of a block." labelling ifTrue: [labels at: instrs pc put: true]. super pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSize! ----- Method: BytecodeDisassembler>>branchIfInstanceOf:distance: (in category 'instruction decoding') ----- branchIfInstanceOf: aLiteral distance: distance (self labelOrNilIfLabellingFor: distance) ifNotNil: [:label| | litIndex | litIndex := method encoderClass literalIndexOfBytecodeAt: thePC in: method. litIndex ifNil: [self error: 'could not decode literal index']. instructions at: thePC put: (Message selector: #branchIfInstanceOfLiteralAtIndex:distance: arguments: {litIndex. label})]! ----- Method: BytecodeDisassembler>>branchIfNotInstanceOf:distance: (in category 'instruction decoding') ----- branchIfNotInstanceOf: aLiteral distance: distance (self labelOrNilIfLabellingFor: distance) ifNotNil: [:label| | litIndex | litIndex := method encoderClass literalIndexOfBytecodeAt: thePC in: method. litIndex ifNil: [self error: 'could not decode literal index']. instructions at: thePC put: (Message selector: #branchIfNotInstanceOfLiteralAtIndex:distance: arguments: {litIndex. label})]! ----- Method: BytecodeDisassembler>>disassemble: (in category 'disassembly') ----- disassemble: aMethod | endPC | method := aMethod. labels := Array new: aMethod size + 1 withAll: false. instructions := Array new: aMethod size + 1. instrs := InstructionStream on: aMethod. endPC := aMethod endPC. labelling := true. [(thePC := instrs pc) <= endPC] whileTrue: [instrs interpretNextInstructionFor: self]. self label. labelling := false. instrs pc: aMethod initialPC. [(thePC := instrs pc) <= endPC] whileTrue: [instrs interpretNextInstructionFor: self]. ^(AssemblerMethod literals: (self disassembleLiterals: aMethod literals) instructions: self instructionSequence numArgs: aMethod numArgs numTemps: aMethod numTemps frameSize: aMethod frameSize primitive: aMethod primitive flag: aMethod flag signFlag: aMethod signFlag accessModifier: ([method accessModifierBits] on: MessageNotUnderstood do: [:ex| nil]) noCounters: ([method hasNoCountersFlag] on: MessageNotUnderstood do: [:ex| [method hasNoCounterBit] on: MessageNotUnderstood do: [:ex2| nil]]) trailer: aMethod trailer methodClass: aMethod methodClass selector: aMethod selector compiledMethodClass: aMethod class) recordVerificationInfoFrom: aMethod; yourself "BytecodeDisassembler new disassemble: BytecodeDisassembler >> #jump:if:"! ----- Method: BytecodeDisassembler>>disassembleLiterals: (in category 'disassembly') ----- disassembleLiterals: literals literals allButLast withIndexDo: [ :lit :index | lit class == CompiledBlock ifTrue: [ literals at: index put: (BytecodeDisassembler new disassemble: lit) ] ]. ^ literals! ----- Method: BytecodeDisassembler>>doesNotUnderstand: (in category 'disassembly') ----- doesNotUnderstand: aMessage (BytecodeSizer includesSelector: aMessage selector) ifFalse: [^super doesNotUnderstand: aMessage]. aMessage lookupClass: nil. instructions at: thePC put: aMessage! ----- Method: BytecodeDisassembler>>instructionSequence (in category 'disassembly') ----- instructionSequence ^Array streamContents: [:s| labels with: instructions do: [:label :inst| inst ifNotNil: [label ~~ false ifTrue: [s nextPut: label]. s nextPut: inst]]]! ----- Method: BytecodeDisassembler>>jump: (in category 'instruction decoding') ----- jump: offset "Print the Unconditional Jump bytecode." (self labelOrNilIfLabellingFor: offset) ifNotNil: [:label| instructions at: thePC put: (Message selector: #jump: argument: label)]! ----- Method: BytecodeDisassembler>>jump:if: (in category 'instruction decoding') ----- jump: offset if: condition "Disassemble the Conditional Jump bytecode." (self labelOrNilIfLabellingFor: offset) ifNotNil: [:label| instructions at: thePC put: (Message selector: #jump:if: arguments: { label. condition })]! ----- Method: BytecodeDisassembler>>label (in category 'disassembly') ----- label "N.B. A Label is an Association so that later its pc can be sorted in its value field." | n | n := 0. labels doWithIndex: [:l :i| l ifTrue: [labels at: i put: (Association new key: 'L', (n := n + 1) printString value: i)]]! ----- Method: BytecodeDisassembler>>labelOrNilIfLabellingFor: (in category 'private') ----- labelOrNilIfLabellingFor: offset "If labelling, just set a flag at the target and answer nil. If done labelling answer the relevant label." ^labelling ifTrue: [labels at: instrs pc + offset put: true. nil] ifFalse: [labels at: instrs pc + offset]! ----- Method: BytecodeDisassembler>>popIntoLiteralVariable: (in category 'instruction decoding') ----- popIntoLiteralVariable: aLiteral | litIndex | litIndex := method encoderClass literalIndexOfBytecodeAt: thePC in: method. litIndex ifNil: [self error: 'could not decode literal index']. instructions at: thePC put: (Message selector: #popIntoLiteralVariableAtIndex: argument: litIndex)! ----- Method: BytecodeDisassembler>>popIntoRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- popIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex instructions at: thePC put: (tempVectorIndex >= 128 ifTrue: [Message selector: #popIntoRemoteInstanceVariable:inObjectAt: arguments: { remoteTempIndex. tempVectorIndex - 128 }] ifFalse: [Message selector: #popIntoRemoteTemp:inVectorAt: arguments: { remoteTempIndex. tempVectorIndex }])! ----- Method: BytecodeDisassembler>>pushClosureCopyNumCopiedValues:numArgs:blockSize: (in category 'instruction decoding') ----- pushClosureCopyNumCopiedValues: numCopied numArgs: numArgs blockSize: blockSize labelling ifTrue: [labels at: instrs pc + blockSize put: true] ifFalse: [instructions at: thePC put: (Message selector: #pushClosureCopyNumCopiedValues:numArgs:blockSize: arguments: { numCopied. numArgs. labels at: instrs pc + blockSize })]! ----- Method: BytecodeDisassembler>>pushConstant: (in category 'instruction decoding') ----- pushConstant: aLiteral instructions at: thePC put: ((method encoderClass literalIndexOfBytecodeAt: thePC in: method) ifNil: [Message selector: #pushSpecialConstant: argument: aLiteral] ifNotNil: [:index| Message selector: #pushConstantAtIndex: argument: index])! ----- Method: BytecodeDisassembler>>pushFullClosure:numCopied: (in category 'instruction decoding') ----- pushFullClosure: compiledBlock numCopied: numCopied | litIndex | litIndex := method literals indexOf: compiledBlock. litIndex ifNil: [self error: 'cannot encode the method']. instructions at: thePC put: (Message selector: #pushFullClosureAtIndex:numCopied: arguments: {litIndex. numCopied})! ----- Method: BytecodeDisassembler>>pushFullClosure:numCopied:receiverOnStack:ignoreOuterContext: (in category 'instruction decoding') ----- pushFullClosure: compiledBlock numCopied: numCopied receiverOnStack: rcvrOnStack ignoreOuterContext: ignoreOuterContext | litIndex | litIndex := method literals indexOf: compiledBlock. litIndex ifNil: [self error: 'cannot encode the method']. instructions at: thePC put: (Message selector: #pushFullClosureAtIndex:numCopied:receiverOnStack:ignoreOuterContext: arguments: {litIndex. numCopied. rcvrOnStack. ignoreOuterContext})! ----- Method: BytecodeDisassembler>>pushLiteralVariable: (in category 'instruction decoding') ----- pushLiteralVariable: aLiteral | litIndex | litIndex := method encoderClass literalIndexOfBytecodeAt: thePC in: method. litIndex ifNil: [self error: 'could not decode literal index']. instructions at: thePC put: (Message selector: #pushLiteralVariableAtIndex: argument: litIndex)! ----- Method: BytecodeDisassembler>>pushRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- pushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex instructions at: thePC put: (tempVectorIndex >= 128 ifTrue: [Message selector: #pushRemoteInstanceVariable:inObjectAt: arguments: { remoteTempIndex. tempVectorIndex - 128 }] ifFalse: [Message selector: #pushRemoteTemp:inVectorAt: arguments: { remoteTempIndex. tempVectorIndex }])! ----- Method: BytecodeDisassembler>>storeIntoLiteralVariable: (in category 'instruction decoding') ----- storeIntoLiteralVariable: aLiteral | litIndex | litIndex := method encoderClass literalIndexOfBytecodeAt: thePC in: method. litIndex ifNil: [self error: 'could not decode literal index']. instructions at: thePC put: (Message selector: #storeIntoLiteralVariableAtIndex: argument: litIndex)! ----- Method: BytecodeDisassembler>>storeIntoRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- storeIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex instructions at: thePC put: (tempVectorIndex >= 128 ifTrue: [Message selector: #storeIntoRemoteInstanceVariable:inObjectAt: arguments: { remoteTempIndex. tempVectorIndex - 128 }] ifFalse: [Message selector: #storeIntoRemoteTemp:inVectorAt: arguments: { remoteTempIndex. tempVectorIndex }])! ----- Method: CompiledMethod>>assemblerString (in category '*MethodMassage-disassembly') ----- assemblerString ^self disassemble assemblerString! ----- Method: CompiledMethod>>disassemble (in category '*MethodMassage-disassembly') ----- disassemble ^BytecodeDisassembler new disassemble: self! ----- Method: CompiledMethod>>indexOfDifferenceWith: (in category '*MethodMassage-debugging') ----- indexOfDifferenceWith: method "Answer whether the receiver implements the same code as the argument, method. Here ``same code'' means that if the receiver's source is compiled with the same compiler it should produce the same sequence of bytecodes and literals, same trailer and same properties. Hence this definition of #= (only one of many plausible definitions) can be used to quickly identify changes in the compiler's output." | numLits | method isCompiledMethod ifFalse: [^1]. self size = method size ifFalse: [^-2]. self header = method header ifFalse: [^-3]. "N.B. includes numLiterals comparison." self initialPC to: self endPC do: [:i | (self at: i) = (method at: i) ifFalse: [^i]]. numLits := self numLiterals. 1 to: numLits do: [:i| | lit1 lit2 | lit1 := self literalAt: i. lit2 := method literalAt: i. (lit1 == lit2 or: [lit1 literalEqual: lit2]) ifFalse: [(i = 1 and: [#(117 120) includes: self primitive]) ifTrue: [lit1 isArray ifTrue: [(lit2 isArray and: [lit1 allButLast = lit2 allButLast]) ifFalse: [^i]] ifFalse: "ExternalLibraryFunction" [(lit1 analogousCodeTo: lit2) ifFalse: [^i]]] ifFalse: [i = (numLits - 1) ifTrue: "properties" [(self properties analogousCodeTo: method properties) ifFalse: [^i]] ifFalse: "last literal (methodClassAssociation) of class-side methods is not unique" [(i = numLits and: [lit1 isVariableBinding and: [lit2 isVariableBinding and: [lit1 key == lit2 key and: [lit1 value == lit2 value]]]]) ifFalse: [^i]]]]]. ^0! ----- Method: MethodContext>>unusedBytecode (in category '*MethodMassage-coverage') ----- unusedBytecode "Handle unusedBytecode by replacing the bytecode with the correct one found in the coverage property and continuing. Continue via wait/signal since return would push a result." | coverage semaphore process originalBytecode | self assert: (method at: pc) = method encoderClass unusedBytecode. coverage := method propertyValueAt: #coverage. self assert: coverage notNil. originalBytecode := coverage at: pc ifAbsent: [nil]. self assert: originalBytecode notNil. semaphore := Semaphore new. process := Processor activeProcess. [method at: pc put: originalBytecode. coverage removeKey: pc ifAbsent: []. process suspendedContext unwindTo: self. process suspendedContext: self. semaphore signal] fork. semaphore wait! ----- Method: BytecodeEncoder class>>assembler (in category '*MethodMassage-assembly') ----- assembler "Answer an assembler for a method that uses the receiver's instruction set." ^AssemblerMethod new encoder: self new; yourself! ----- Method: BytecodeEncoder>>litIndexOrNilFor: (in category '*MethodMassage-literal access') ----- litIndexOrNilFor: aLiteral | index | index := aLiteral isVariableBinding ifTrue: [literalStream originalContents identityIndexOf: aLiteral ifAbsent: [^nil]] ifFalse: [literalStream originalContents indexOf: aLiteral ifAbsent: [^nil]]. ^index <= literalStream position ifTrue: [index - 1]! ----- Method: CompiledMethodTrailer>>rawData (in category '*MethodMassage-raw data') ----- rawData ^(ByteArray new: size) replaceFrom: 1 to: size with: method startingAt: method size - size + 1! ----- Method: EncoderForSistaV1 class>>literalIndexOfBytecodeAt:in: (in category '*MethodMassage-disassembly') ----- literalIndexOfBytecodeAt: pc in: method "16-31 0001 iiii Push Literal Variable #iiii 32-63 001 iiiii Push Literal #iiiii * 227 11100011 iiiiiiii Push Literal Variable #iiiiiiii (+ Extend A * 256) * 228 11100100 iiiiiiii Push Literal #iiiiiiii (+ Extend A * 256) ** 241 (3) 11110001 iiiiiiii Pop and Store Literal Variable #iiiiiiii (+ Extend A * 256) ** 244 (3) 11110100 iiiiiiii Store Literal Variable #iiiiiiii (+ Extend A * 256) ** 254 11111110 kkkkkkkk jjjjjjjj Branch If Not Instance Of Behavior/Array Of Behavior literal kkkkkkkk (+ Extend A * 256, where Extend A >= 0) distance jjjjjjjj (+ Extend B * 256, where Extend B >= 0 and <= 127) ** 254 11111110 kkkkkkkk jjjjjjjj Branch If Instance Of Behavior/Array Of Behavior literal kkkkkkkk (+ Extend A * 256, where Extend A >= 0) distance jjjjjjjj (+ (Extend B bitAnd: 127) * 256, where Extend B >= 128 and <= 255) " ^self extensionsAt: pc in: method into: [:extA :extB :nExts| | byte | byte := method at: pc + nExts. byte < 64 ifTrue: [byte < 32 ifTrue: [byte > 15 ifTrue: [byte bitAnd: 16rF]] ifFalse: [byte bitAnd: 16r1F]] ifFalse: [(byte >= 227 and: [byte <= 228 or: [#[241 244 254] includes: byte]]) ifTrue: [extA * 256 + (method at: pc + nExts + 1)]]]! ----- Method: Encoder>>initClass:literalStream: (in category '*MethodMassage-instance initialization') ----- initClass: targetBehavior literalStream: literalsOrNil cue := CompilationCue class: targetBehavior. class := targetBehavior. optimizedSelectors := Set new. literalsOrNil ifNil: [literalStream := WriteStream on: (Array new: 32). addedSelectorAndMethodClassLiterals := false] ifNotNil: [literalStream := (WriteStream on: literalsOrNil asArray from: 1 to: literalsOrNil size) setToEnd. addedSelectorAndMethodClassLiterals := true]! ----- Method: EncoderForV3 class>>literalIndexOfBytecodeAt:in: (in category '*MethodMassage-disassembly') ----- literalIndexOfBytecodeAt: pc in: aCompiledMethod "32-63 001iiiii Push Literal Constant #iiiii 64-95 010iiiii Push Literal Variable #iiiii 128 10000000 jjkkkkkk Push (Receiver Variable, Temporary Location, Literal Constant, Literal Variable) [jj] #kkkkkk 129 10000001 jjkkkkkk Store (Receiver Variable, Temporary Location, Illegal, Literal Variable) [jj] #kkkkkk 130 10000010 jjkkkkkk Pop and Store (Receiver Variable, Temporary Location, Illegal, Literal Variable) [jj] #kkkkkk 132 10000100 iiijjjjj kkkkkkkk (Send, Send Super, Push Receiver Variable, Push Literal Constant, Push Literal Variable, Store Receiver Variable, Store-Pop Receiver Variable, Store Literal Variable)[iii] #kkkkkkkk jjjjj (for sends jjjjj = numArgs)" | byte type | byte := aCompiledMethod at: pc. byte <= 95 ifTrue: [^byte >= 32 ifTrue: [byte bitAnd: 16r1F]]. (byte between: 128 and: 130) ifTrue: [^(aCompiledMethod at: pc + 1) bitAnd: 16r3F]. byte = 132 ifTrue: [type := (aCompiledMethod at: pc + 1) bitShift: -5. (type = 3 or: [type = 4 or: [type = 7]]) ifTrue: [^aCompiledMethod at: pc + 2]]. ^nil! TestCase subclass: #BytecodeAssemblerTests instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Tests'! ----- Method: BytecodeAssemblerTests class>>fixupMethodClassBindings (in category 'utilities') ----- fixupMethodClassBindings "Work-around the Monticello bug that results in not sharing the binding in Smalltalk as a method's methodClassAssociation." "self fixupMethodClassBindings" self systemNavigation allSelect: [:m| (m methodClass isMeta not and: [m methodClassAssociation key isNil]) ifTrue: [m methodClassAssociation: m methodClass binding]. false]! ----- Method: BytecodeAssemblerTests>>contextPartMethodWithMostOf: (in category 'test support') ----- contextPartMethodWithMostOf: binaryBlock ^(Array streamContents: [:s| ContextPart withAllSubclassesDo: [:sc| s nextPutAll: sc methodDict values]]) inject: ContextPart methodDict anyOne into: [:m1 :m2| ((1 to: m1 methodClass instSize) select: [:i| binaryBlock value: m1 value: i]) size >= ((1 to: m2 methodClass instSize) select: [:i| binaryBlock value: m2 value: i]) size ifTrue: [m1] ifFalse: [m2]]! ----- Method: BytecodeAssemblerTests>>defaultTimeout (in category 'accessing') ----- defaultTimeout "Answer the default timeout to use for tests in this test case. The timeout is a value in seconds." ^30 "seconds"! ----- Method: BytecodeAssemblerTests>>expectedFailures (in category 'testing') ----- expectedFailures ((thisContext method respondsTo: #usesAlternateBytecodeSet) or: [thisContext method respondsTo: #bytecodeSetName]) ifTrue: [^#()]. ^#(testDuplicateNewsqueakV4Methods)! ----- Method: BytecodeAssemblerTests>>testAsAssemblerFor: (in category 'test support') ----- testAsAssemblerFor: aMethod "self new testAsAssemblerFor: self >> #testAsAssemblerFor:" | assemblerMethod assembler reassembledMethod | assemblerMethod := BytecodeDisassembler new disassemble: aMethod. assembler := String streamContents: [:s| assemblerMethod printAsAssemblerOn: s]. self shouldnt: [reassembledMethod := Compiler evaluate: assembler] raise: Error. self assert: assemblerMethod compiledMethodClass equals: reassembledMethod compiledMethodClass. self assert: assemblerMethod flag equals: reassembledMethod flag. self assert: assemblerMethod frameSize equals: reassembledMethod frameSize. self assert: assemblerMethod methodClass equals: reassembledMethod methodClass. self assert: assemblerMethod numArgs equals: reassembledMethod numArgs. self assert: assemblerMethod numTemps equals: reassembledMethod numTemps. self assert: assemblerMethod primitive equals: reassembledMethod primitive. self assert: assemblerMethod selector equals: reassembledMethod selector. self assert: assemblerMethod signFlag equals: reassembledMethod signFlag. 1 to: reassembledMethod literals size do: [:i| self assert: (assemblerMethod literals at: i) equals: (reassembledMethod literals at: i)]. assemblerMethod instructions ifNil: [self assert: reassembledMethod instructions isNil] ifNotNil: [:insts| self assert: insts size equals: reassembledMethod instructions size. "Nil the labels' values for analogousCodeTo: comparison below; the values are usefully the bytecode pcs of the labels, but this fails the comparisons." insts do: [:inst| inst isVariableBinding ifTrue: [inst value: nil]]. insts with: reassembledMethod instructions do: [:old :new| old isVariableBinding ifTrue: [self assert: old key = new key] ifFalse: [self assert: (old analogousCodeTo: new)]]]. self assert: aMethod equals: (BytecodeAssembler new assemble: reassembledMethod)! ----- Method: BytecodeAssemblerTests>>testAsAssemblerForThisPackage (in category 'tests') ----- testAsAssemblerForThisPackage (PackageOrganizer default packageOfClass: self class) actualMethodsDo: [:m| self testAsAssemblerFor: m]! ----- Method: BytecodeAssemblerTests>>testBasicBlockLabelsFor: (in category 'test support') ----- testBasicBlockLabelsFor: aMethod "self new testBasicBlockLabelsFor: self >> #testBasicBlockLabelsFor:" | labels stream endPC nextPC | labels := (BasicBlockLabellingDisassembler new disassemble: aMethod) labels. aMethod isQuick ifTrue: [^self assert: labels isEmpty]. self assert: (labels select: [:l| aMethod initialPC = l value]) size = 1. aMethod embeddedBlockClosures do: [:closure| self assert: (labels select: [:l| closure startpc = l value]) size = 1]. stream := InstructionStream on: aMethod. endPC := aMethod endPC. [stream pc <= endPC] whileTrue: [nextPC := stream nextPc: (aMethod at: stream pc). (stream willJumpIfTrue or: [stream willJumpIfFalse]) ifTrue: ["A conditional jump should have a label following it." self assert: (labels select: [:l| stream followingPc = l value]) size = 1]. stream interpretJump ifNotNil: [:dist| "There shoud be a label at the target, and, if it is conditional, also one following the jump." self assert: (labels select: [:l| stream pc + dist = l value]) size = 1]. stream pc: nextPC]! ----- Method: BytecodeAssemblerTests>>testBasicBlockLabelsForThisPackage (in category 'tests') ----- testBasicBlockLabelsForThisPackage (PackageOrganizer default packageOfClass: self class) actualMethodsDo: [:m| self testBasicBlockLabelsFor: m]! ----- Method: BytecodeAssemblerTests>>testDisassembleBytecodeAssemblerMethods (in category 'tests') ----- testDisassembleBytecodeAssemblerMethods self testDisassembleMethodsFor: BytecodeAssembler! ----- Method: BytecodeAssemblerTests>>testDisassembleMethodsFor: (in category 'test support') ----- testDisassembleMethodsFor: aBehavior aBehavior selectors asArray sort do: [:sel| | method | method := aBehavior compiledMethodAt: sel. self shouldnt: [BytecodeDisassembler new disassemble: method] raise: Error]! ----- Method: BytecodeAssemblerTests>>testDuplicateAllInstructionStreamMethods (in category 'tests') ----- testDuplicateAllInstructionStreamMethods InstructionStream withAllSuperclasses, InstructionStream allSubclasses do: [:isc| self testDuplicateMethodsFor: isc if: [:method| true]]! ----- Method: BytecodeAssemblerTests>>testDuplicateBytecodeAssemblerMethods (in category 'tests') ----- testDuplicateBytecodeAssemblerMethods self testDuplicateMethodsFor: BytecodeAssembler if: [:method| true]! ----- Method: BytecodeAssemblerTests>>testDuplicateMethodsFor:if: (in category 'test support') ----- testDuplicateMethodsFor: aBehavior if: methodSelectBlock aBehavior selectors asArray sort do: [:sel| | method disassembly assembly | method := aBehavior compiledMethodAt: sel. (methodSelectBlock value: method) ifTrue: [disassembly := BytecodeDisassembler new disassemble: method. assembly := BytecodeAssembler new assemble: disassembly. "method indexOfDifferenceWith: assembly" self assert: method equals: assembly]]! ----- Method: BytecodeAssemblerTests>>testDuplicateNewsqueakV4Methods (in category 'tests') ----- testDuplicateNewsqueakV4Methods Smalltalk allClasses do: ((thisContext method respondsTo: #usesAlternateBytecodeSet) ifTrue: [[:class| self testDuplicateMethodsFor: class if: [:method| method usesAlternateBytecodeSet]. self testDuplicateMethodsFor: class class if: [:method| method usesAlternateBytecodeSet]]] ifFalse: [[:class| self testDuplicateMethodsFor: class if: [:method| method bytecodeSetName = 'NewsqueakV4']. self testDuplicateMethodsFor: class class if: [:method| method bytecodeSetName = 'NewsqueakV4']]])! ----- Method: BytecodeAssemblerTests>>testDuplicateSqueakV3Methods (in category 'tests') ----- testDuplicateSqueakV3Methods "AndreasProfiler spyOn: [self new testDuplicateSqueakV3Methods]" | filter | filter := (thisContext method respondsTo: #usesAlternateBytecodeSet) ifTrue: [[:method| method usesAlternateBytecodeSet not]] ifFalse: [[:method| true]]. Smalltalk allClasses do: [:class| self testDuplicateMethodsFor: class if: filter. self testDuplicateMethodsFor: class class if: filter]! ----- Method: BytecodeAssemblerTests>>testLabelsFor: (in category 'test support') ----- testLabelsFor: aMethod "self new testLabelsFor: self >> #testLabelsFor:" | labels stream endPC | labels := (BytecodeDisassembler new disassemble: aMethod) labels. stream := InstructionStream on: aMethod. endPC := aMethod endPC. [stream pc <= endPC] whileTrue: [stream interpretJump ifNotNil: [:dist| self assert: (labels select: [:l| stream pc + dist = l value]) size = 1] ifNil: [stream pc: (stream nextPc: (aMethod at: stream pc))]]! ----- Method: BytecodeAssemblerTests>>testLabelsForThisPackage (in category 'tests') ----- testLabelsForThisPackage (PackageOrganizer default packageOfClass: self class) actualMethodsDo: [:m| self testLabelsFor: m]! ----- Method: BytecodeAssemblerTests>>testManualAssembly (in category 'tests') ----- testManualAssembly self assert: (AssemblerMethod new methodClass: Object; selector: #printOn:; numArgs: 1; numTemps: 2; pushReceiver; send: #class; send: #name; popIntoTemporaryVariable: 1; pushTemporaryVariable: 0; doDup; pushTemporaryVariable: 1; send: #first; send: #isVowel; jump: 'L1' if: false; pushConstant: 'an '; jump: 'L2'; label: 'L1'; pushConstant: 'a '; label: 'L2'; send: #nextPutAll:; doPop; pushTemporaryVariable: 1; send: #nextPutAll:; doPop; methodReturnReceiver; assemble) decompile printString equals: (Object >>#printOn:) decompile printString! TestCase subclass: #BytecodeCoverageTests instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Tests'! ----- Method: BytecodeCoverageTests>>coverTestBasicBlockLabelsForMethod (in category 'tests support') ----- coverTestBasicBlockLabelsForMethod (PackageOrganizer default packageOfClass: self class) actualMethodsDo: [:m| self testBasicBlockLabelsFor: m]! ----- Method: BytecodeCoverageTests>>setUp (in category 'initialize-release') ----- setUp self class recompile: #testBasicBlockLabelsFor: from: BytecodeAssemblerTests! ----- Method: BytecodeCoverageTests>>tearDown (in category 'initialize-release') ----- tearDown self class removeSelectorSilently: #testBasicBlockLabelsFor:! ----- Method: BytecodeCoverageTests>>testCoverageOfTestBasicBlockLabelsForMethod (in category 'tests') ----- testCoverageOfTestBasicBlockLabelsForMethod "[| me | me := self new. [me setUp; testCoverageOfTestBasicBlockLabelsForMethod] ensure: [me tearDown]] timeToRun" "[| me | me := self new. [me setUp; coverTestBasicBlockLabelsForMethod] ensure: [me tearDown]] timeToRun" | theMethod | theMethod := self class >> #testBasicBlockLabelsFor:. BytecodeCoverer new coverMethod: theMethod. self assert: (theMethod propertyValueAt: #coverage) notNil. self assert: (theMethod propertyValueAt: #coverage) notEmpty. self coverTestBasicBlockLabelsForMethod. self assert: (theMethod propertyValueAt: #coverage) isEmpty!

1 0

VM Maker: MethodMassageCompatibility-eem.7.mcz
by commits＠source.squeak.org 11 Apr '24

11 Apr '24

Eliot Miranda uploaded a new version of MethodMassageCompatibility to project VM Maker: http://source.squeak.org/VMMaker/MethodMassageCompatibility-eem.7.mcz ==================== Summary ==================== Name: MethodMassageCompatibility-eem.7 Author: eem Time: 20 July 2021, 8:40:31.958885 pm UUID: 912fb668-9e12-4c8a-905e-04fbbb4cf1b8 Ancestors: MethodMassageCompatibility-eem.6 isCompiledCode is now in base Squeak =============== Diff against MethodMassageCompatibility-eem.6 =============== Item was removed: - ----- Method: CompiledMethod>>isCompiledCode (in category '*MethodMassageCompatibility-accessing') ----- - isCompiledCode - ^ true!

1 0

VM Maker: MethodMassageCompatibility-eem.6.mcz
by commits＠source.squeak.org 11 Apr '24

11 Apr '24

Eliot Miranda uploaded a new version of MethodMassageCompatibility to project VM Maker: http://source.squeak.org/VMMaker/MethodMassageCompatibility-eem.6.mcz ==================== Summary ==================== Name: MethodMassageCompatibility-eem.6 Author: eem Time: 10 March 2018, 1:40:05.332416 pm UUID: f7e9544b-23d5-4294-9144-9868f88f5d73 Ancestors: MethodMassageCompatibility-eem.5 Eliminate some methdos now in base Squeak. =============== Diff against MethodMassageCompatibility-eem.5 =============== Item was removed: - ----- Method: EncoderForV3>>genSendSpecial:numArgs: (in category '*MethodMassageCompatibility-bytecode generation') ----- - genSendSpecial: specialSelectorIndex numArgs: nArgs - "See BlueBook page 596" - self assert: (specialSelectorIndex between: 1 and: Smalltalk specialSelectorSize). - self assert: nArgs = (Smalltalk specialNargsAt: specialSelectorIndex). - "Special selector sends. - 176-191 1011iiii Send Arithmetic Message #iiii - 192-207 1100iiii Send Special Message #iiii" - stream nextPut: specialSelectorIndex + 175! Item was removed: - ----- Method: Object>>isCompiledCode (in category '*MethodMassageCompatibility') ----- - isCompiledCode - ^ false!

1 0

VM Maker: MethodMassageCompatibility-eem.5.mcz
by commits＠source.squeak.org 11 Apr '24

11 Apr '24

Eliot Miranda uploaded a new version of MethodMassageCompatibility to project VM Maker: http://source.squeak.org/VMMaker/MethodMassageCompatibility-eem.5.mcz ==================== Summary ==================== Name: MethodMassageCompatibility-eem.5 Author: eem Time: 22 March 2017, 2:48:30.08259 pm UUID: fe7a17e1-cbeb-4798-9b2d-baba1605a33c Ancestors: MethodMassageCompatibility-cb.4 Nuke voidCogVMState. Both Squeak trunk and Pharo 6 have this in the base image. ==================== Snapshot ==================== ----- Method: Object>>isCompiledCode (in category '*MethodMassageCompatibility') ----- isCompiledCode ^ false! ----- Method: BytecodeEncoder>>sizeSpecialSend:numArgs: (in category '*MethodMassageCompatibility-opcode sizing') ----- sizeSpecialSend: specialSelectorIndex numArgs: nArgs ^self sizeOpcodeSelector: #genSendSpecial:numArgs: withArguments: {specialSelectorIndex. nArgs}! ----- Method: CompiledMethod>>isCompiledCode (in category '*MethodMassageCompatibility-accessing') ----- isCompiledCode ^ true! ----- Method: EncoderForV3>>genSendSpecial:numArgs: (in category '*MethodMassageCompatibility-bytecode generation') ----- genSendSpecial: specialSelectorIndex numArgs: nArgs "See BlueBook page 596" self assert: (specialSelectorIndex between: 1 and: Smalltalk specialSelectorSize). self assert: nArgs = (Smalltalk specialNargsAt: specialSelectorIndex). "Special selector sends. 176-191 1011iiii Send Arithmetic Message #iiii 192-207 1100iiii Send Special Message #iiii" stream nextPut: specialSelectorIndex + 175!

1 0

VM Maker: MethodMassage-eem.55.mcz
by commits＠source.squeak.org 11 Apr '24

11 Apr '24

Eliot Miranda uploaded a new version of MethodMassage to project VM Maker: http://source.squeak.org/VMMaker/MethodMassage-eem.55.mcz ==================== Summary ==================== Name: MethodMassage-eem.55 Author: eem Time: 24 February 2022, 9:56:47.863914 am UUID: c7d36dd7-ebee-4be9-94eb-6e855cf6f166 Ancestors: MethodMassage-eem.54 Get AssemblerAbsentClassImport to compile in trunk. Allow pushSpecialConstant:, which is present in more modern InstructionStream, to fall back on pushConstant: support in the emission code. =============== Diff against MethodMassage-eem.54 =============== Item was changed: ----- Method: AssemblerAbsentClassImport>>allInstVarNames (in category 'accessing') ----- allInstVarNames + ^instVars ifNil: [#()]! - ^instVars! Item was added: + ----- Method: AssemblerAbsentClassImport>>decompilerClass (in category 'compiling') ----- + decompilerClass + "Answer a decompiler class appropriate for compiled methods of this class." + + ^ self compilerClass decompilerClass! Item was added: + ----- Method: AssemblerAbsentClassImport>>newCompiler (in category 'compiling') ----- + newCompiler + "Answer a Compiler suitable for compiling this Behavior" + ^self compilerClass new parser: self newParser! Item was changed: ----- Method: BytecodeDisassembler>>pushConstant: (in category 'instruction decoding') ----- pushConstant: aLiteral instructions at: thePC put: ((method encoderClass literalIndexOfBytecodeAt: thePC in: method) + ifNil: [self error: 'literal not found'] - ifNil: [Message - selector: #pushSpecialConstant: - argument: aLiteral] ifNotNil: [:index| Message selector: #pushConstantAtIndex: argument: index])! Item was added: + BytecodeDisassembler subclass: #BytecodeDisassemblerToIdentifyImplicitLiterals + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'MethodMassage-Kernel'! + + !BytecodeDisassemblerToIdentifyImplicitLiterals commentStamp: 'eem 9/17/2021 11:39' prior: 0! + A BytecodeDisassemblerToIdentifyImplicitLiterals is a variation on BytecodeDisassembler that identifies if a pushConstant: or send:super:numArgs: is either an implciit literal bytecode or a special selector send. Newer versions of the interpretNextInstructionFor:in: scanners send pushSpecialConstant: and sendSpecial:numArgs: for these, meaning that no work is required. Older versions do not. This class is to cope with those older versions. + + Instance Variables + ! Item was added: + ----- Method: BytecodeDisassemblerToIdentifyImplicitLiterals>>pushConstant: (in category 'instruction decoding') ----- + pushConstant: aLiteral + instructions + at: thePC + put: ((method encoderClass literalIndexOfBytecodeAt: thePC in: method) + ifNil: [Message + selector: #pushSpecialConstant: + argument: aLiteral] + ifNotNil: + [:index| + Message + selector: #pushConstantAtIndex: + argument: index])! Item was changed: ----- Method: BytecodeEmitter>>pushSpecialConstant: (in category 'assembly') ----- + pushSpecialConstant: aLiteral + "rubbish way of handling special literals" + ^([encoder genPushSpecialLiteral: aLiteral] + on: Error + do: [:ex| ex return: nil]) + ifNotNil: [:result| result] + ifNil: [encoder genPushLiteral: (encoder litIndex: aLiteral)]! - pushSpecialConstant: aLiteral - ^encoder genPushSpecialLiteral: aLiteral! Item was changed: ----- Method: BytecodeSizer>>pushSpecialConstant: (in category 'assembly') ----- + pushSpecialConstant: aLiteral + ^(encoder sizePushSpecialLiteral: aLiteral) + ifNotNil: [:size| size] + ifNil: [encoder sizePushLiteral: (encoder litIndex: aLiteral)]! - pushSpecialConstant: aLiteral - ^encoder sizePushSpecialLiteral: aLiteral!

1 0

VM Maker: MethodMassage-eem.54.mcz
by commits＠source.squeak.org 11 Apr '24

11 Apr '24

Eliot Miranda uploaded a new version of MethodMassage to project VM Maker: http://source.squeak.org/VMMaker/MethodMassage-eem.54.mcz ==================== Summary ==================== Name: MethodMassage-eem.54 Author: eem Time: 21 July 2021, 9:21:51.551737 am UUID: d57514ae-00cd-46a3-a83a-8d690b0e262c Ancestors: MethodMassage-eem.53 Extend the AssemblerAbsentClassImport scheme to support disassembler annotations in current in-image compilation. Allow an AssemblerMethod to specify its source and the class's inst var names (AssemblerMethod>>assemblerStringForAbsentImport). =============== Diff against MethodMassage-eem.53 =============== Item was changed: Object subclass: #AssemblerAbsentClassImport + instanceVariableNames: 'className instVars' - instanceVariableNames: 'className' classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! Item was added: + ----- Method: AssemblerAbsentClassImport>>allInstVarNames (in category 'accessing') ----- + allInstVarNames + ^instVars! Item was added: + ----- Method: AssemblerAbsentClassImport>>bindingOf:environment: (in category 'compiling') ----- + bindingOf: aSymbol environment: anEnvironment + ^anEnvironment bindingOf: aSymbol! Item was added: + ----- Method: AssemblerAbsentClassImport>>compilerClass (in category 'compiling') ----- + compilerClass + "Answer a compiler class appropriate for source methods of this class." + + ^Compiler! Item was added: + ----- Method: AssemblerAbsentClassImport>>instSize (in category 'accessing') ----- + instSize + ^instVars basicSize "answers 0 for nil"! Item was added: + ----- Method: AssemblerAbsentClassImport>>instVarNames (in category 'accessing') ----- + instVarNames + + ^instVars! Item was changed: ----- Method: AssemblerAbsentClassImport>>instVarNamesAndOffsetsDo: (in category 'compiling') ----- instVarNamesAndOffsetsDo: aBinaryBlock "This is part of the interface between the compiler and a class's instance or field names. The class should enumerate aBinaryBlock with the instance variable name strings and their integer offsets. The order is important. Names evaluated later will override the same names occurring earlier." + instVars ifNotNil: + [instVars withIndexDo: aBinaryBlock]! - "Nothing to do here; We assume Context et al are present." - ^self! Item was added: + ----- Method: AssemblerAbsentClassImport>>instVars (in category 'accessing') ----- + instVars + + ^instVars! Item was added: + ----- Method: AssemblerAbsentClassImport>>instVars: (in category 'accessing') ----- + instVars: anArray + + instVars := anArray! Item was added: + ----- Method: AssemblerAbsentClassImport>>isAbsentClass (in category 'testing') ----- + isAbsentClass + ^true! Item was added: + ----- Method: AssemblerAbsentClassImport>>newParser (in category 'compiling') ----- + newParser + "Answer a Parser suitable for parsing source code in this Behavior" + ^self parserClass new! Item was added: + ----- Method: AssemblerAbsentClassImport>>parserClass (in category 'compiling') ----- + parserClass + "Answer a parser class to use for parsing method headers." + + ^self compilerClass parserClass! Item was added: + ----- Method: AssemblerAbsentClassImport>>variablesAndOffsetsDo: (in category 'compiling') ----- + variablesAndOffsetsDo: aBinaryBlock + "This is the interface between the compiler and a class's instance or field names. The + class should enumerate aBinaryBlock with the field definitions (with nil offsets) followed + by the instance variable name strings and their integer offsets (1-relative). The order is + important; names evaluated later will override the same names occurring earlier." + + instVars ifNotNil: + [instVars withIndexDo: aBinaryBlock]! Item was changed: Object subclass: #AssemblerMethod + instanceVariableNames: 'literals instructions numArgs numTemps frameSize primitive flag signFlag noCountersFlag accessModifier trailer methodClass selector compiledMethodClass fixLabels encoder header initialPC endPC source allInstVars instVars' - instanceVariableNames: 'literals instructions numArgs numTemps frameSize primitive flag signFlag noCountersFlag accessModifier trailer methodClass selector compiledMethodClass fixLabels encoder header initialPC endPC' classVariableNames: 'AccessorGetters AccessorSetters VerifierGetters VerifierSetters' poolDictionaries: '' category: 'MethodMassage-Kernel'! !AssemblerMethod commentStamp: 'eem 3/24/2017 08:26' prior: 0! An AssemblerMethod is a holder for a sequence of literals and a sequence of instructions which can represent a disassembled method, or a method being assembled. AssemblerMethod supports three modes of operation. The first mode is transcription, CompiledMethod -> AssemblerMethod -> CompiledMethod. e.g. | original "CompiledMethod" assembler "AssemblerMethod" replica "CompiledMethod" | original := Object >> #printOn:. assembler := original disassemble. replica := assembler assemble. self assert: original = replica The second mode is to construct an AssemblerMethod and assemble it. e.g. EncoderForSistaV1 assembler pushReceiver; trapIfNotInstanceOf: {SmallInteger. Character. LargePositiveInteger. LargeNegativeInteger. Integer. Fraction. Magnitude}; pushReceiver; methodReturnTop; assemble AssemblerMethod new methodClass: Object; selector: #printOn:; numArgs: 1; numTemps: 2; pushReceiver; send: #class; send: #name; popIntoTemporaryVariable: 1; pushTemporaryVariable: 0; doDup; pushTemporaryVariable: 1; send: #first; send: #isVowel; jump: 'L1' if: false; pushConstant: 'an '; jump: 'L2'; label: 'L1'; pushConstant: 'a '; label: 'L2'; send: #nextPutAll:; doPop; pushTemporaryVariable: 1; send: #nextPutAll:; doPop; methodReturnReceiver; assemble A third mode, useful for storage, inter-image transporation ,etc, is AssemblerMethod -> executable string -> AssemblerMethod. e.g. | original "CompiledMethod" assembler "AssemblerMethod" assemblerText "String" replica "CompiledMethod" | original := Object >> #printOn:. assembler := original disassemble. assemblerText := assembler assemblerString. replica := (Compiler evaluate: assemblerText) assemble. self assert: original = replica Instance Variables accessModifier: <nil|0,1,2,3> compiledMethodClass: <nil|CompiledCode> encoder: <BytecodeEncoder> endPC: <nil|Integer> fixLabels: <UndefinedObject|Boolean> flag: <Boolean> frameSize: <Integer> header: <nil|Integer> initialPC: <nil|Integer> instructions: <SequenceableCollection> literals: <SequenceableCollection> methodClass: <Behavior> noCountersFlag: <nil|Boolean> numArgs: <Integer> numTemps: <Integer> primitive: <Integer> signFlag: <Boolean> trailer: <CompiledMethodTrailer> accessModifier - if not nil this is the values of the two bits of flags that specify Newspeak access control in the method header compiledMethodClass - if not nil this is the class to use to create a method from this assembly encoder - the encoder to use to encode literals during assembly endPC - this is the expected endPC of the resulting method. If not nil it will be checked against the actual endPC fixLabels - if nil, the AssemblerMethod is being used in transcription mode and branch offsets should be integers. if a boolean then it indicates whether instructions contains one or more instructions that need their branches fixing up. flag - the value of the method's header flag (see CompiledMethod>>flag) frameSize - the size of the method's frame (see CompiledMethod>>frameSize) header - this is the expected header of the resulting method. If not nil it will be checked against the actual header initialPC - this is the expected initialPC of the resulting method. If not nil it will be checked against the actual initialPC instructions - the sequence of Message and LookupKey objects making up the method's instructions literals - the sequence of objects making up the method's literals methodClass - the target class for the method (see CompiledMethod>>methodClass) noCountersFlag - if not nil this is the value of the Sista JIT-without-performance-counters flag numArgs - the method's argument count (see CompiledMethod>>numArgs) numTemps - the method's temporary count (see CompiledMethod>>numTemps) primitive - the method's primitive (see CompiledMethod>>primitive) signFlag - the value of the method's signFlag (see CompiledMethod>>signFlag) trailer - the method's trailer (see CompiledMethod>>trailer) ! Item was changed: ----- Method: AssemblerMethod>>assemble (in category 'assembling') ----- assemble + | assembler method | - | assembler | assembler := BytecodeAssembler new. encoder ifNotNil: [assembler encoder: encoder]. + method := assembler assemble: self. + (instVars notNil and: [methodClass isAbsentClass]) ifTrue: [methodClass instVars: instVars]. + source ifNotNil: [method properties at: #source put: source]. + ^method! - ^assembler assemble: self! Item was added: + ----- Method: AssemblerMethod>>assemblerStringForAbsentImport (in category 'printing') ----- + assemblerStringForAbsentImport + "Include all inst var names and source code, in case the class is not present." + ^String streamContents: + [:s| + self printAsAssemblerOn: s + appending: + [:stream| + stream crtab; nextPutAll: 'instVars: '; store: allInstVars; nextPut: $;. + source ifNotNil: + [:theSource| + stream crtab; nextPutAll: 'source: '; store: theSource; nextPut: $;]]]! Item was added: + ----- Method: AssemblerMethod>>instVars (in category 'accessing') ----- + instVars + ^instVars! Item was added: + ----- Method: AssemblerMethod>>instVars: (in category 'accessing') ----- + instVars: anArray + instVars := anArray! Item was changed: ----- Method: AssemblerMethod>>printAsAssemblerOn: (in category 'printing') ----- printAsAssemblerOn: aStream + self printAsAssemblerOn: aStream appending: nil! - aStream nextPut: $(; print: self class; nextPutAll: ' new'. - - self printAccessorsForAssemblyOn: aStream. - self printVerifiersForAssemblyOn: aStream. - self printLiteralsForAssemblyOn: aStream. - self printInstructionsForAssemblyOn: aStream. - - aStream crtab; nextPutAll: #yourself; nextPut: $)! Item was added: + ----- Method: AssemblerMethod>>printAsAssemblerOn:appending: (in category 'private') ----- + printAsAssemblerOn: aStream appending: aBlockOrNil + aStream nextPut: $(; print: self class; nextPutAll: ' new'. + + self printAccessorsForAssemblyOn: aStream. + self printVerifiersForAssemblyOn: aStream. + self printLiteralsForAssemblyOn: aStream. + self printInstructionsForAssemblyOn: aStream. + + aBlockOrNil ifNotNil: [:aBlock| aBlock value: aStream]. + + aStream crtab; nextPutAll: #yourself; nextPut: $)! Item was changed: ----- Method: AssemblerMethod>>recordVerificationInfoFrom: (in category 'initialize-release') ----- recordVerificationInfoFrom: aMethod "Record header, initialPC and endPC from aMethod for checking." header := aMethod header. endPC := aMethod endPC. + initialPC := aMethod initialPC. + source := aMethod sourcePointer ~= 0 + ifTrue: [aMethod getSourceFromFile asString] + ifFalse: [aMethod properties at: #source ifAbsent: nil]. + allInstVars := aMethod methodClass allInstVarNames! - initialPC := aMethod initialPC! Item was added: + ----- Method: AssemblerMethod>>source (in category 'accessing') ----- + source + ^source! Item was added: + ----- Method: AssemblerMethod>>source: (in category 'accessing') ----- + source: aString + source := aString! Item was added: + ----- Method: Behavior>>isAbsentClass (in category '*MethodMassage-testing') ----- + isAbsentClass + ^false!

1 0

VM Maker: MethodMassage-eem.53.mcz
by commits＠source.squeak.org 11 Apr '24

11 Apr '24

Eliot Miranda uploaded a new version of MethodMassage to project VM Maker: http://source.squeak.org/VMMaker/MethodMassage-eem.53.mcz ==================== Summary ==================== Name: MethodMassage-eem.53 Author: eem Time: 20 November 2018, 1:48:00.822473 pm UUID: 28c81786-1147-4bbd-99a6-bdd1b6a92b36 Ancestors: MethodMassage-eem.52 Fix MethodMassage for the FullBlock regime and for Sista full blocks (no outer context, etc). Some label analysis tests have yet to be fixed, but methods can be created. Depends on Message implementing #= (a la e.g. Kernel-eem.1197). =============== Diff against MethodMassage-eem.52 =============== Item was changed: Object subclass: #AssemblerMethod instanceVariableNames: 'literals instructions numArgs numTemps frameSize primitive flag signFlag noCountersFlag accessModifier trailer methodClass selector compiledMethodClass fixLabels encoder header initialPC endPC' + classVariableNames: 'AccessorGetters AccessorSetters VerifierGetters VerifierSetters' - classVariableNames: '' poolDictionaries: '' category: 'MethodMassage-Kernel'! !AssemblerMethod commentStamp: 'eem 3/24/2017 08:26' prior: 0! An AssemblerMethod is a holder for a sequence of literals and a sequence of instructions which can represent a disassembled method, or a method being assembled. AssemblerMethod supports three modes of operation. The first mode is transcription, CompiledMethod -> AssemblerMethod -> CompiledMethod. e.g. | original "CompiledMethod" assembler "AssemblerMethod" replica "CompiledMethod" | original := Object >> #printOn:. assembler := original disassemble. replica := assembler assemble. self assert: original = replica The second mode is to construct an AssemblerMethod and assemble it. e.g. EncoderForSistaV1 assembler pushReceiver; trapIfNotInstanceOf: {SmallInteger. Character. LargePositiveInteger. LargeNegativeInteger. Integer. Fraction. Magnitude}; pushReceiver; methodReturnTop; assemble AssemblerMethod new methodClass: Object; selector: #printOn:; numArgs: 1; numTemps: 2; pushReceiver; send: #class; send: #name; popIntoTemporaryVariable: 1; pushTemporaryVariable: 0; doDup; pushTemporaryVariable: 1; send: #first; send: #isVowel; jump: 'L1' if: false; pushConstant: 'an '; jump: 'L2'; label: 'L1'; pushConstant: 'a '; label: 'L2'; send: #nextPutAll:; doPop; pushTemporaryVariable: 1; send: #nextPutAll:; doPop; methodReturnReceiver; assemble A third mode, useful for storage, inter-image transporation ,etc, is AssemblerMethod -> executable string -> AssemblerMethod. e.g. | original "CompiledMethod" assembler "AssemblerMethod" assemblerText "String" replica "CompiledMethod" | original := Object >> #printOn:. assembler := original disassemble. assemblerText := assembler assemblerString. replica := (Compiler evaluate: assemblerText) assemble. self assert: original = replica Instance Variables accessModifier: <nil|0,1,2,3> compiledMethodClass: <nil|CompiledCode> encoder: <BytecodeEncoder> endPC: <nil|Integer> fixLabels: <UndefinedObject|Boolean> flag: <Boolean> frameSize: <Integer> header: <nil|Integer> initialPC: <nil|Integer> instructions: <SequenceableCollection> literals: <SequenceableCollection> methodClass: <Behavior> noCountersFlag: <nil|Boolean> numArgs: <Integer> numTemps: <Integer> primitive: <Integer> signFlag: <Boolean> trailer: <CompiledMethodTrailer> accessModifier - if not nil this is the values of the two bits of flags that specify Newspeak access control in the method header compiledMethodClass - if not nil this is the class to use to create a method from this assembly encoder - the encoder to use to encode literals during assembly endPC - this is the expected endPC of the resulting method. If not nil it will be checked against the actual endPC fixLabels - if nil, the AssemblerMethod is being used in transcription mode and branch offsets should be integers. if a boolean then it indicates whether instructions contains one or more instructions that need their branches fixing up. flag - the value of the method's header flag (see CompiledMethod>>flag) frameSize - the size of the method's frame (see CompiledMethod>>frameSize) header - this is the expected header of the resulting method. If not nil it will be checked against the actual header initialPC - this is the expected initialPC of the resulting method. If not nil it will be checked against the actual initialPC instructions - the sequence of Message and LookupKey objects making up the method's instructions literals - the sequence of objects making up the method's literals methodClass - the target class for the method (see CompiledMethod>>methodClass) noCountersFlag - if not nil this is the value of the Sista JIT-without-performance-counters flag numArgs - the method's argument count (see CompiledMethod>>numArgs) numTemps - the method's temporary count (see CompiledMethod>>numTemps) primitive - the method's primitive (see CompiledMethod>>primitive) signFlag - the value of the method's signFlag (see CompiledMethod>>signFlag) trailer - the method's trailer (see CompiledMethod>>trailer) ! Item was added: + ----- Method: AssemblerMethod class>>initialize (in category 'class initialization') ----- + initialize + AccessorGetters := #( compiledMethodClass importMethodClass selector + primitive numArgs numTemps frameSize + flag signFlag noCountersFlag accessModifier + trailerData). + AccessorSetters := #( compiledMethodClass: importMethodClass: selector: + primitive: numArgs: numTemps: frameSize: + flag: signFlag: noCountersFlag: accessModifier: + trailerData:). + VerifierGetters := #( header endPC initialPC). + VerifierSetters := #( header: endPC: initialPC:)! Item was added: + ----- Method: AssemblerMethod>>= (in category 'comparing') ----- + = anObject + self == anObject ifTrue: + [^true]. + (self class == anObject class + and: [instructions size = anObject basicInstructions size + and: [(AccessorGetters allSatisfy: [:getter| (self perform: getter) = (anObject perform: getter)]) + and: [VerifierGetters allSatisfy: [:getter| (self perform: getter) = (anObject perform: getter)]]]]) ifFalse: + [^false]. + "N.B. No need to compare literals directly since comparing instructions implicitly compares all literals." + instructions with: anObject basicInstructions do: + [:mine :theirs| + (self isLabel: mine) + ifTrue: + [((self isLabel: theirs) and: [mine key = theirs key]) ifFalse: + [^false]] + ifFalse: + [(self isLabel: theirs) ifTrue: + [^false]. + mine = theirs ifFalse: "May fail due to label literalEqual:, which is by identity" + [mine selector = theirs selector ifFalse: + [^false]. + mine arguments with: theirs arguments do: + [:mineArgument :theirsArgument| + ((mineArgument literalEqual: theirsArgument) + or: [(self labelNameFor: mineArgument) = (self labelNameFor: theirsArgument)]) ifFalse: + [^false]]]]]. + ^true! Item was added: + ----- Method: AssemblerMethod>>basicInstructions (in category 'private') ----- + basicInstructions + "Access only for comparison, avoiding fixLabelsIfNecessary" + ^instructions! Item was added: + ----- Method: AssemblerMethod>>hash (in category 'comparing') ----- + hash + ^instructions inject: instructions size into: + [:hash :messageOrLabel| + hash bitXor: ((self isLabel: messageOrLabel) + ifTrue: [messageOrLabel key] + ifFalse: [messageOrLabel selector]) hash hashMultiply]! Item was added: + ----- Method: AssemblerMethod>>labelNameFor: (in category 'private') ----- + labelNameFor: maybeLabel + ^(self isLabel: maybeLabel) + ifTrue: [maybeLabel key] + ifFalse: [maybeLabel]! Item was changed: ----- Method: AssemblerMethod>>printAccessorsForAssemblyOn: (in category 'printing') ----- printAccessorsForAssemblyOn: aStream | dummy | dummy := self class new. "Generate all the accessors; for now don't handle the trailer" + AccessorSetters with: AccessorGetters do: + [:setter :getter| + (self perform: getter) ifNotNil: + [:val| + val ~= (dummy perform: getter) ifTrue: + [aStream crtab; nextPutAll: setter; space. + val isSymbol ifTrue: [aStream store: val] ifFalse: [aStream print: val]. + aStream nextPut: $;]]]! - #( compiledMethodClass: importMethodClass: selector: - primitive: numArgs: numTemps: frameSize: - flag: signFlag: noCountersFlag: accessModifier: - trailerData:) - with: #(compiledMethodClass importMethodClass selector - primitive numArgs numTemps frameSize - flag signFlag noCountersFlag accessModifier - trailerData) - do: [:setter :getter| - (self perform: getter) ifNotNil: - [:val| - val ~= (dummy perform: getter) ifTrue: - [aStream crtab; nextPutAll: setter; space. - val isSymbol ifTrue: [aStream store: val] ifFalse: [aStream print: val]. - aStream nextPut: $;]]]! Item was changed: ----- Method: AssemblerMethod>>printVerifiersForAssemblyOn: (in category 'printing') ----- printVerifiersForAssemblyOn: aStream + VerifierSetters with: VerifierGetters do: + [:setter :getter| + (self perform: getter) ifNotNil: + [:val| + aStream crtab; nextPutAll: setter; space. + val storeOn: aStream base: (getter == #header ifTrue: [16] ifFalse: [10]). + aStream nextPut: $;]]! - #( header: endPC: initialPC:) - with: #(header endPC initialPC) - do: [:setter :getter| - (self perform: getter) ifNotNil: - [:val| - aStream crtab; nextPutAll: setter; space. - val storeOn: aStream base: (getter == #header ifTrue: [16] ifFalse: [10]). - aStream nextPut: $;]]! Item was removed: - ----- Method: BytecodeAssembler>>createEncoder (in category 'instance initialization') ----- - createEncoder - "The signFlag defines the bytecode set of a method. - So create a dummy method with its sign flag to that of - code's, and instantiate the dummy method's encoderClass." - | dummyMethod newLits | - encoder ifNil: - [dummyMethod := CompiledMethod - newMethod: 0 - header: (code signFlag ifTrue: [SmallInteger minVal] ifFalse: [0]). - encoder := dummyMethod encoderClass new]. - encoder - initClass: code methodClass - literalStream: ((newLits := self getLiterals: code literals) isEmpty ifFalse: - [self - ensureLiteralsIncludeMethodClass: newLits - isQuick: (self isQuickPrimitiveIndex: code primitive)]). - ^encoder! Item was changed: ----- Method: BytecodeAssembler>>createEncoder: (in category 'instance initialization') ----- createEncoder: assemblerMethod "The signFlag defines the bytecode set of a method. So create a dummy method with its sign flag to that of code's, and instantiate the dummy method's encoderClass." | dummyMethod newLits | encoder ifNil: [dummyMethod := CompiledMethod newMethod: 0 header: (code signFlag ifTrue: [SmallInteger minVal] ifFalse: [0]). encoder := dummyMethod encoderClass new]. encoder initClass: code methodClass literalStream: ((newLits := self getLiterals: code literals) isEmpty ifFalse: [(assemblerMethod compiledMethodClass includesBehavior: CompiledMethod) ifTrue: [self ensureLiteralsIncludeMethodClass: newLits isQuick: (self isQuickPrimitiveIndex: code primitive)] ifFalse: + [encoder supportsFullBlocks ifTrue: + [self assert: (newLits size > 0 and: [newLits last isNil or: [newLits last isCompiledCode]])]. + newLits]]). - [newLits]]). ^encoder! Item was changed: ----- Method: BytecodeAssembler>>emitPass (in category 'assembly') ----- emitPass | literals nLits emitter | literals := encoder allLiterals. nLits := literals size. emitter := BytecodeEmitter assembler: self encoder: encoder. 1 to: nLits do: [:lit | method literalAt: lit put: (literals at: lit)]. encoder streamToMethod: method. code instructions withIndexDo: [:messageOrLabel :i| (self isLabel: messageOrLabel) ifFalse: [index := i. messageOrLabel sentTo: emitter]]. "Need to create distinct literals for all literals in the method *except* variable bindings, the methodClass literal, and any exotica such as Behaviors and CompiledBlocks. Need to hook nested CompiledBlocks up to their outer method." + 1 to: method numLiterals - (method isCompiledBlock ifTrue: [1] ifFalse: [2]) do: - 1 to: method numLiterals - 2 do: [:litIndex| | lit | lit := method literalAt: litIndex. lit isLiteral ifTrue: [method literalAt: litIndex put: (lit isArray ifTrue: [lit deepCopy] ifFalse: [lit copy])] ifFalse: [lit isCompiledCode ifTrue: [lit outerCode: method]]]. "Need to create a distinct additional method state if it has one. Avoid setting selector if already set (method penultimateLiteral notNil and not a metod properties)" method isCompiledMethod ifTrue: [method penultimateLiteral ifNil: [method selector: code selector] ifNotNil: [:plit| plit isMethodProperties ifTrue: [method penultimateLiteral: plit copy; selector: code selector]]] ! Item was changed: ----- Method: BytecodeAssemblerTests>>testAsAssemblerFor: (in category 'test support') ----- testAsAssemblerFor: aMethod "self new testAsAssemblerFor: self >> #testAsAssemblerFor:" | assemblerMethod assembler reassembledMethod | assemblerMethod := BytecodeDisassembler new disassemble: aMethod. assembler := String streamContents: [:s| assemblerMethod printAsAssemblerOn: s]. self shouldnt: [reassembledMethod := Compiler evaluate: assembler] raise: Error. self assert: assemblerMethod compiledMethodClass equals: reassembledMethod compiledMethodClass. self assert: assemblerMethod flag equals: reassembledMethod flag. self assert: assemblerMethod frameSize equals: reassembledMethod frameSize. self assert: assemblerMethod methodClass equals: reassembledMethod methodClass. self assert: assemblerMethod numArgs equals: reassembledMethod numArgs. self assert: assemblerMethod numTemps equals: reassembledMethod numTemps. self assert: assemblerMethod primitive equals: reassembledMethod primitive. self assert: assemblerMethod selector equals: reassembledMethod selector. self assert: assemblerMethod signFlag equals: reassembledMethod signFlag. + 1 to: reassembledMethod literals size - 1 "ignore methodClass literal" do: - 1 to: reassembledMethod literals size do: [:i| self assert: (assemblerMethod literals at: i) equals: (reassembledMethod literals at: i)]. assemblerMethod instructions ifNil: [self assert: reassembledMethod instructions isNil] ifNotNil: [:insts| self assert: insts size equals: reassembledMethod instructions size. "Nil the labels' values for analogousCodeTo: comparison below; the values are usefully the bytecode pcs of the labels, but this fails the comparisons." insts do: [:inst| inst isVariableBinding ifTrue: [inst value: nil]]. insts with: reassembledMethod instructions do: [:old :new| old isVariableBinding ifTrue: [self assert: old key = new key] ifFalse: [self assert: (old analogousCodeTo: new)]]]. self assert: aMethod equals: (BytecodeAssembler new assemble: reassembledMethod)! Item was added: + ----- Method: BytecodeAssemblerTests>>testAssemblerMethodEquality (in category 'tests') ----- + testAssemblerMethodEquality + "Test AssemblerMethod equality. If possible, test with both the embedded block (EncoderForV3PlusClosures) + and full block (EncoderForSistaV1) models." + self deny: (Collection>>#inject:into:) disassemble == (Collection>>#inject:into:) disassemble. + self assert: (Collection>>#inject:into:) disassemble hash equals: (Collection>>#inject:into:) disassemble hash. + + self assert: (Collection>>#inject:into:) disassemble equals: (Collection>>#inject:into:) disassemble. + self deny: (Collection>>#inject:into:) disassemble equals: (Collection>>#do:) disassemble. + + #(EncoderForV3PlusClosures EncoderForSistaV1) do: + [:bytecodeEncoderClassName| + (Smalltalk classNamed: bytecodeEncoderClassName) ifNotNil: + [:encoderClass| | alternateBytecodeSetVersion | + alternateBytecodeSetVersion := ((Collection>>#inject:into:) methodNodeUsingEncoderClass: encoderClass) generate. + self assert: alternateBytecodeSetVersion disassemble equals: alternateBytecodeSetVersion disassemble]]! Item was changed: ----- Method: BytecodeAssemblerTests>>testBasicBlockLabelsFor: (in category 'test support') ----- testBasicBlockLabelsFor: aMethod "self new testBasicBlockLabelsFor: self >> #testBasicBlockLabelsFor:" + "N.B> broken for full blocks regime, since labels are not yet sub-method specific." | labels stream endPC nextPC | labels := (BasicBlockLabellingDisassembler new disassemble: aMethod) labels. aMethod isQuick ifTrue: [^self assert: labels isEmpty]. self assert: (labels select: [:l| aMethod initialPC = l value]) size = 1. aMethod embeddedBlockClosures do: [:closure| self assert: (labels select: [:l| closure startpc = l value]) size = 1]. stream := InstructionStream on: aMethod. endPC := aMethod endPC. [stream pc <= endPC] whileTrue: [nextPC := stream nextPc: (aMethod at: stream pc). (stream willJumpIfTrue or: [stream willJumpIfFalse]) ifTrue: ["A conditional jump should have a label following it." self assert: (labels select: [:l| stream followingPc = l value]) size = 1]. stream interpretJump ifNotNil: [:dist| "There shoud be a label at the target, and, if it is conditional, also one following the jump." self assert: (labels select: [:l| stream pc + dist = l value]) size = 1]. stream pc: nextPC]! Item was added: + ----- Method: BytecodeAssemblerTests>>testFullBlock (in category 'tests') ----- + testFullBlock + | simpleBlockMethod assembled | + simpleBlockMethod := Compiler new compiledMethodFor: '[] value' in: nil to: nil notifying: nil ifFail: nil. + assembled := simpleBlockMethod disassemble assemble. + self assert: simpleBlockMethod equals: assembled! Item was changed: ----- Method: BytecodeAssemblerTests>>testLabelsFor: (in category 'test support') ----- testLabelsFor: aMethod "self new testLabelsFor: self >> #testLabelsFor:" + "N.B> broken for full blocks regime, since labels are not yet sub-method specific." | labels stream endPC | labels := (BytecodeDisassembler new disassemble: aMethod) labels. stream := InstructionStream on: aMethod. endPC := aMethod endPC. [stream pc <= endPC] whileTrue: [stream interpretJump ifNotNil: [:dist| self assert: (labels select: [:l| stream pc + dist = l value]) size = 1] ifNil: [stream pc: (stream nextPc: (aMethod at: stream pc))]]! Item was changed: ----- Method: BytecodeDisassembler>>pushFullClosure:numCopied: (in category 'instruction decoding') ----- pushFullClosure: compiledBlock numCopied: numCopied | litIndex | + litIndex := method literals identityIndexOf: compiledBlock. - litIndex := method literals indexOf: compiledBlock. litIndex ifNil: [self error: 'cannot encode the method']. instructions at: thePC put: (Message selector: #pushFullClosureAtIndex:numCopied: + arguments: {litIndex - 1. numCopied})! - arguments: {litIndex. numCopied})! Item was changed: ----- Method: BytecodeDisassembler>>pushFullClosure:numCopied:receiverOnStack:ignoreOuterContext: (in category 'instruction decoding') ----- pushFullClosure: compiledBlock numCopied: numCopied receiverOnStack: rcvrOnStack ignoreOuterContext: ignoreOuterContext | litIndex | + litIndex := method literals identityIndexOf: compiledBlock. - litIndex := method literals indexOf: compiledBlock. litIndex ifNil: [self error: 'cannot encode the method']. instructions at: thePC put: (Message selector: #pushFullClosureAtIndex:numCopied:receiverOnStack:ignoreOuterContext: arguments: {litIndex. numCopied. rcvrOnStack. ignoreOuterContext})! Item was changed: ----- Method: BytecodeEmitter>>blockReturnConstant: (in category 'assembly') ----- blockReturnConstant: aLiteral "Rubbish way of handling special constants." + ^[aLiteral == nil + ifTrue: [encoder genReturnNilToCaller] + ifFalse: [encoder genReturnSpecialLiteralToCaller: aLiteral]] - ^[encoder genReturnSpecialLiteralToCaller: aLiteral] on: Error do: [:ex| ex return: (self pushLiteral: aLiteral) + self blockReturnTop]! Item was added: + ----- Method: BytecodeEmitter>>pushFullClosureAtIndex:numCopied: (in category 'assembly') ----- + pushFullClosureAtIndex: compiledBlockLiteralIndex numCopied: numCopied + ^encoder genPushFullClosure: compiledBlockLiteralIndex numCopied: numCopied! Item was changed: ----- Method: BytecodeSizer>>blockReturnConstant: (in category 'assembly') ----- blockReturnConstant: aLiteral "Rubbish way of handling special constants." + ^[aLiteral == nil + ifTrue: [encoder sizeReturnNilToCaller] + ifFalse: [encoder sizeReturnSpecialLiteralToCaller: aLiteral]] - ^[encoder sizeReturnSpecialLiteralToCaller: aLiteral] on: Error do: [:ex| ex return: (self pushLiteral: aLiteral) + self blockReturnTop]! Item was added: + ----- Method: BytecodeSizer>>pushFullClosureAtIndex:numCopied: (in category 'assembly') ----- + pushFullClosureAtIndex: compiledBlockLiteralIndex numCopied: numCopied + ^encoder sizePushFullClosure: compiledBlockLiteralIndex numCopied: numCopied! Item was added: + ----- Method: CompiledMethod>>methodNodeUsingEncoderClass: (in category '*MethodMassage-disassembly') ----- + methodNodeUsingEncoderClass: encoderClass + "Answer the parse tree that represents self, but use the supplied bytecode set encoder. + If parsing fails, decompile the method and parse that instead." + | aClass source | + aClass := self methodClass. + source := self + getSourceFor: (self selector ifNil: [self defaultSelector]) + in: aClass. + ^[(aClass newParser + encoderClass: encoderClass; + parse: source class: aClass) + sourceText: source; + yourself] + on: SyntaxErrorNotification + do: [:ex | + source := self decompileWithTemps. + (aClass newParser + encoderClass: encoderClass; + parse: source class: aClass) + sourceText: source; + yourself]! Item was added: + ----- Method: Context>>unusedBytecode (in category '*MethodMassage-coverage') ----- + unusedBytecode + "Handle unusedBytecode by replacing the bytecode with the + correct one found in the coverage property and continuing. + Continue via wait/signal since return would push a result." + | coverage semaphore process originalBytecode | + self assert: (method at: pc) = method encoderClass unusedBytecode. + coverage := method propertyValueAt: #coverage. + self assert: coverage notNil. + originalBytecode := coverage at: pc ifAbsent: [nil]. + self assert: originalBytecode notNil. + semaphore := Semaphore new. + process := Processor activeProcess. + + [method at: pc put: originalBytecode. + coverage removeKey: pc ifAbsent: []. + process suspendedContext unwindTo: self. + process suspendedContext: self. + semaphore signal] fork. + + semaphore wait! Item was changed: ----- Method: Encoder>>initClass:literalStream: (in category '*MethodMassage-instance initialization') ----- + initClass: targetBehaviorOrNil literalStream: literalsOrNil + | targetBehavior | + targetBehavior := targetBehaviorOrNil ifNil: [Object]. - initClass: targetBehavior literalStream: literalsOrNil cue := CompilationCue class: targetBehavior. class := targetBehavior. optimizedSelectors := Set new. literalsOrNil ifNil: [literalStream := WriteStream on: (Array new: 32). addedExtraLiterals := false] ifNotNil: [literalStream := (WriteStream on: literalsOrNil asArray from: 1 to: literalsOrNil size) setToEnd. addedExtraLiterals := true]!

1 0

VM Maker: MethodMassage-eem.52.mcz
by commits＠source.squeak.org 11 Apr '24

11 Apr '24

Eliot Miranda uploaded a new version of MethodMassage to project VM Maker: http://source.squeak.org/VMMaker/MethodMassage-eem.52.mcz ==================== Summary ==================== Name: MethodMassage-eem.52 Author: eem Time: 3 June 2018, 2:06:16.439785 pm UUID: 1bb6c357-f37e-498c-afc6-dcdc484041fb Ancestors: MethodMassage-eem.51 Update the Encoder>>initClass:literalStream: for the rename of addedSelectorAndMethodClassLiterals to addedExtraLiterals. =============== Diff against MethodMassage-eem.51 =============== Item was changed: ----- Method: Encoder>>initClass:literalStream: (in category '*MethodMassage-instance initialization') ----- initClass: targetBehavior literalStream: literalsOrNil cue := CompilationCue class: targetBehavior. class := targetBehavior. optimizedSelectors := Set new. literalsOrNil ifNil: [literalStream := WriteStream on: (Array new: 32). + addedExtraLiterals := false] - addedSelectorAndMethodClassLiterals := false] ifNotNil: [literalStream := (WriteStream on: literalsOrNil asArray from: 1 to: literalsOrNil size) setToEnd. + addedExtraLiterals := true]! - addedSelectorAndMethodClassLiterals := true]!

1 0

VM Maker: MethodMassage-eem.51.mcz
by commits＠source.squeak.org 11 Apr '24

11 Apr '24

Eliot Miranda uploaded a new version of MethodMassage to project VM Maker: http://source.squeak.org/VMMaker/MethodMassage-eem.51.mcz ==================== Summary ==================== Name: MethodMassage-eem.51 Author: eem Time: 10 March 2018, 1:44:45.204565 pm UUID: e282dcf3-560a-48cb-afe0-80c9db4dd314 Ancestors: MethodMassage-eem.50 Eliminate the obsolete pushClosureTemps: (full blocks remove the need). =============== Diff against MethodMassage-eem.50 =============== Item was removed: - ----- Method: BytecodeEmitter>>pushClosureTemps: (in category 'assembly') ----- - pushClosureTemps: numTemps - ^encoder genPushNClosureTemps: numTemps! Item was removed: - ----- Method: BytecodeSizer>>pushClosureTemps: (in category 'assembly') ----- - pushClosureTemps: numTemps - ^encoder sizePushNClosureTemps: numTemps!

1 0

← Newer
1
...
4
5
6
7
8
9
10
...
1703
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