[Vm-dev] Strange but when I try to implement a bytecode

Hi,

I have been trying to implement a bytecode to create the closure environment needed for the NewCompiler. My first implementation looks like this:

createEnvironment

| closSize | self fetchNextBytecode. closSize := currentBytecode. self fetchNextBytecode. "The following may cause GC!" self success: (self sufficientSpaceToInstantiate: (self splObj: ClosureEnvObject) indexableSize: closSize). successFlag ifTrue: [ self storePointer: 4 ofObject: activeContext withValue:(self instantiateClass: (self splObj: ClosureEnvObject) indexableSize: closSize)]

This bytecode was suppose to replace the following bytecodes:

113 <20> pushConstant: ClosureEnvironment 114 <76> pushConstant: 4 115 <CD> send: new: 116 <89> pushThisContext: 117 <21> pushConstant: 5 118 <F2> send: privStoreIn:instVar: 119 <87> pop

into :

37 <7E 04> new closure: 4

But it keeps not working when a GC occurs (either in the markAnTrace phase or in the sweep phase).

Then I change my implementation to:

createEnvironment

| closSize | self fetchNextBytecode. closSize := currentBytecode. self fetchNextBytecode. self push: (self splObj: ClosureEnvObject). self push: (self integerObjectOf: closSize). self primitiveNewWithArg. . successFlag ifTrue: [ self storePointer: 4 ofObject: activeContext withValue: self popStack]

And it works I can explain why. Could you?

Mth