<div dir="ltr"><div><div><div><div><div>Note: I've defined 2 more macros:<br><br>/* Since Large Integers are Bytes Oops allways stored as little endian,<br> the following macros are handy to retrieve 4 or 8 byte limbs */<br>#if VMBIGENDIAN<br># define SQ_SWAP_4_BYTES_IF_BIGENDIAN(x) SQ_SWAP_4_BYTES(x)<br># define SQ_SWAP_8_BYTES_IF_BIGENDIAN(x) SQ_SWAP_8_BYTES(x)<br>#else<br># define SQ_SWAP_4_BYTES_IF_BIGENDIAN(x) (x)<br># define SQ_SWAP_8_BYTES_IF_BIGENDIAN(x) (x)<br>#endif<br><br></div>which might be more convenient than testing VMBIGENDIAN at each send site.<br></div>However, this shall necessary go thru objectMemory dispatching, because objectMemory does know, at least for simulation purposes...<br><br></div>(objectMemory byteSwap32ifBigEndian: x).<br><br></div>Theoretically, I should provide a hook when using an objectMemory message in a plugin like I plan to do with LargeIntegers, but I won't need it because that'll be replaced by a macro by CCodeGenerator (I'll add a hook)...<br><br></div>Do you find this OK, or just too crooked?<br></div><div class="gmail_extra"><br><div class="gmail_quote">2016-04-03 0:48 GMT+02:00 <span dir="ltr"><<a href="mailto:commits@source.squeak.org" target="_blank">commits@source.squeak.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
Nicolas Cellier uploaded a new version of VMMaker to project VM Maker:<br>
<a href="http://source.squeak.org/VMMaker/VMMaker.oscog-nice.1757.mcz" rel="noreferrer" target="_blank">http://source.squeak.org/VMMaker/VMMaker.oscog-nice.1757.mcz</a><br>
<br>
==================== Summary ====================<br>
<br>
Name: VMMaker.oscog-nice.1757<br>
Author: nice<br>
Time: 3 April 2016, 12:47:06.347 am<br>
UUID: a8652aa5-b750-4c29-bb85-283dc8201c29<br>
Ancestors: VMMaker.oscog-eem.1756<br>
<br>
Use the byte swap macros as provided by sqMemoryAccess.h since svn 3667<br>
<br>
Eliminate the now un-necessary related VMBasicConstants.<br>
<br>
Fx a snafu in StackInterpreter>>getWord32FromFile:swap: and CogVMSimulator>>openOn:extraMemory: that would have swapped64 a long32 on 64bits VM...<br>
Well, there is no bigEndian 64bits STACK/COG image, so this was only a theoretical bug.<br>
Note: classical interpreter reads a long for image version, not a word32.<br>
<br>
Fix same snafu in StackInterpreter>>getShortFromFile:swap: alas, I didn't provide a SQ_SWAP_2_BYTES macro, so open code it for now....<br>
<br>
=============== Diff against VMMaker.oscog-eem.1756 ===============<br>
<br>
Item was added:<br>
+ ----- Method: CCodeGenerator>>generateByteSwap32:on:indent: (in category 'C translation') -----<br>
+ generateByteSwap32: msgNode on: aStream indent: level<br>
+ "Generate the C code for this message onto the given stream."<br>
+<br>
+ aStream nextPutAll: #'SQ_SWAP_4_BYTES'.<br>
+ aStream nextPut: $(.<br>
+ self emitCExpression: msgNode receiver on: aStream.<br>
+ aStream nextPut: $)!<br>
<br>
Item was added:<br>
+ ----- Method: CCodeGenerator>>generateByteSwap64:on:indent: (in category 'C translation') -----<br>
+ generateByteSwap64: msgNode on: aStream indent: level<br>
+ "Generate the C code for this message onto the given stream."<br>
+<br>
+ aStream nextPutAll: #'SQ_SWAP_8_BYTES'.<br>
+ aStream nextPut: $(.<br>
+ self emitCExpression: msgNode receiver on: aStream.<br>
+ aStream nextPut: $)!<br>
<br>
Item was changed:<br>
----- Method: CCodeGenerator>>initializeCTranslationDictionary (in category 'C translation support') -----<br>
initializeCTranslationDictionary<br>
"Initialize the dictionary mapping message names to actions for C code generation."<br>
<br>
| pairs |<br>
<br>
translationDict := Dictionary new: 200.<br>
pairs := #(<br>
#& #generateAnd:on:indent:<br>
#| #generateOr:on:indent:<br>
#abs #generateAbs:on:indent:<br>
#and: #generateSequentialAnd:on:indent:<br>
#or: #generateSequentialOr:on:indent:<br>
#not #generateNot:on:indent:<br>
<br>
#+ #generatePlus:on:indent:<br>
#- #generateMinus:on:indent:<br>
#negated #generateNegated:on:indent:<br>
#* #generateTimes:on:indent:<br>
#/ #generateDivide:on:indent:<br>
#// #generateDivide:on:indent:<br>
#\\ #generateModulo:on:indent:<br>
#<< #generateShiftLeft:on:indent:<br>
#>> #generateShiftRight:on:indent:<br>
#>>> #generateSignedShiftRight:on:indent:<br>
#min: #generateMin:on:indent:<br>
#max: #generateMax:on:indent:<br>
#between:and: #generateBetweenAnd:on:indent:<br>
<br>
#bitAnd: #generateBitAnd:on:indent:<br>
#bitOr: #generateBitOr:on:indent:<br>
#bitXor: #generateBitXor:on:indent:<br>
#bitShift: #generateBitShift:on:indent:<br>
#signedBitShift: #generateSignedBitShift:on:indent:<br>
#bitInvert32 #generateBitInvert:on:indent:<br>
#bitInvert64 #generateBitInvert:on:indent:<br>
#bitClear: #generateBitClear:on:indent:<br>
#truncateTo: #generateTruncateTo:on:indent:<br>
#rounded #generateRounded:on:indent:<br>
<br>
+ #byteSwap32 #generateByteSwap32:on:indent:<br>
+ #byteSwap64 #generateByteSwap64:on:indent:<br>
+<br>
#< #generateLessThan:on:indent:<br>
#<= #generateLessThanOrEqual:on:indent:<br>
#= #generateEqual:on:indent:<br>
#> #generateGreaterThan:on:indent:<br>
#>= #generateGreaterThanOrEqual:on:indent:<br>
#~= #generateNotEqual:on:indent:<br>
#== #generateEqual:on:indent:<br>
#~~ #generateNotEqual:on:indent:<br>
#isNil #generateIsNil:on:indent:<br>
#notNil #generateNotNil:on:indent:<br>
<br>
#whileTrue: #generateWhileTrue:on:indent:<br>
#whileFalse: #generateWhileFalse:on:indent:<br>
#whileTrue #generateDoWhileTrue:on:indent:<br>
#whileFalse #generateDoWhileFalse:on:indent:<br>
#to:do: #generateToDo:on:indent:<br>
#to:by:do: #generateToByDo:on:indent:<br>
#repeat #generateRepeat:on:indent:<br>
#timesRepeat: #generateTimesRepeat:on:indent:<br>
<br>
#ifTrue: #generateIfTrue:on:indent:<br>
#ifFalse: #generateIfFalse:on:indent:<br>
#ifTrue:ifFalse: #generateIfTrueIfFalse:on:indent:<br>
#ifFalse:ifTrue: #generateIfFalseIfTrue:on:indent:<br>
<br>
#ifNotNil: #generateIfNotNil:on:indent:<br>
#ifNil: #generateIfNil:on:indent:<br>
#ifNotNil:ifNil: #generateIfNotNilIfNil:on:indent:<br>
#ifNil:ifNotNil: #generateIfNilIfNotNil:on:indent:<br>
<br>
#at: #generateAt:on:indent:<br>
#at:put: #generateAtPut:on:indent:<br>
#basicAt: #generateAt:on:indent:<br>
#basicAt:put: #generateAtPut:on:indent:<br>
<br>
#integerValueOf: #generateIntegerValueOf:on:indent:<br>
#integerObjectOf: #generateIntegerObjectOf:on:indent:<br>
#isIntegerObject: #generateIsIntegerObject:on:indent:<br>
#cCode: #generateInlineCCode:on:indent:<br>
#cCode:inSmalltalk: #generateInlineCCode:on:indent:<br>
#cPreprocessorDirective: #generateInlineCPreprocessorDirective:on:indent:<br>
#cppIf:ifTrue:ifFalse: #generateInlineCppIfElse:on:indent:<br>
#cppIf:ifTrue: #generateInlineCppIfElse:on:indent:<br>
#cCoerce:to: #generateCCoercion:on:indent:<br>
#cCoerceSimple:to: #generateCCoercion:on:indent:<br>
#addressOf: #generateAddressOf:on:indent:<br>
#addressOf:put: #generateAddressOf:on:indent:<br>
#asAddress:put: #generateAsAddress:on:indent:<br>
#signedIntFromLong64 #generateSignedIntFromLong64:on:indent:<br>
#signedIntFromLong #generateSignedIntFromLong:on:indent:<br>
#signedIntFromShort #generateSignedIntFromShort:on:indent:<br>
#signedIntToLong64 #generateSignedIntToLong64:on:indent:<br>
#signedIntToLong #generateSignedIntToLong:on:indent:<br>
#signedIntToShort #generateSignedIntToShort:on:indent:<br>
#preIncrement #generatePreIncrement:on:indent:<br>
#preDecrement #generatePreDecrement:on:indent:<br>
#inline: #generateInlineDirective:on:indent:<br>
#asFloat #generateAsFloat:on:indent:<br>
#asInteger #generateAsInteger:on:indent:<br>
#asUnsignedInteger #generateAsUnsignedInteger:on:indent:<br>
#asLong #generateAsLong:on:indent:<br>
#asUnsignedLong #generateAsUnsignedLong:on:indent:<br>
#asUnsignedLongLong #generateAsUnsignedLongLong:on:indent:<br>
#asVoidPointer #generateAsVoidPointer:on:indent:<br>
#asSymbol #generateAsSymbol:on:indent:<br>
#flag: #generateFlag:on:indent:<br>
#anyMask: #generateBitAnd:on:indent:<br>
#allMask: #generateAllMask:on:indent:<br>
#noMask: #generateNoMask:on:indent:<br>
#raisedTo: #generateRaisedTo:on:indent:<br>
#touch: #generateTouch:on:indent:<br>
<br>
#bytesPerOop #generateBytesPerOop:on:indent:<br>
#bytesPerWord #generateBytesPerWord:on:indent:<br>
#wordSize #generateBytesPerWord:on:indent:<br>
#baseHeaderSize #generateBaseHeaderSize:on:indent:<br>
#minSmallInteger #generateSmallIntegerConstant:on:indent:<br>
#maxSmallInteger #generateSmallIntegerConstant:on:indent:<br>
<br>
#sharedCodeNamed:inCase: #generateSharedCodeDirective:on:indent:<br>
<br>
#perform: #generatePerform:on:indent:<br>
#perform:with: #generatePerform:on:indent:<br>
#perform:with:with: #generatePerform:on:indent:<br>
#perform:with:with:with: #generatePerform:on:indent:<br>
#perform:with:with:with:with: #generatePerform:on:indent:<br>
#perform:with:with:with:with:with: #generatePerform:on:indent:<br>
<br>
#value #generateValue:on:indent:<br>
#value: #generateValue:on:indent:<br>
#value:value: #generateValue:on:indent:<br>
#value:value:value: #generateValue:on:indent:<br>
#value:value:value:value: #generateValue:on:indent:<br>
<br>
#deny: #generateDeny:on:indent:<br>
<br>
#shouldNotImplement #generateSmalltalkMetaError:on:indent:<br>
#shouldBeImplemented #generateSmalltalkMetaError:on:indent:<br>
#subclassResponsibility #generateSmalltalkMetaError:on:indent:<br>
).<br>
<br>
1 to: pairs size by: 2 do: [:i |<br>
translationDict at: (pairs at: i) put: (pairs at: i + 1)].<br>
<br>
pairs := #(<br>
#ifTrue: #generateIfTrueAsArgument:on:indent:<br>
#ifFalse: #generateIfFalseAsArgument:on:indent:<br>
#ifTrue:ifFalse: #generateIfTrueIfFalseAsArgument:on:indent:<br>
#ifFalse:ifTrue: #generateIfFalseIfTrueAsArgument:on:indent:<br>
#ifNotNil: #generateIfNotNilAsArgument:on:indent:<br>
#ifNil: #generateIfNilAsArgument:on:indent:<br>
#ifNotNil:ifNil: #generateIfNotNilIfNilAsArgument:on:indent:<br>
#ifNil:ifNotNil: #generateIfNilIfNotNilAsArgument:on:indent:<br>
#cCode: #generateInlineCCodeAsArgument:on:indent:<br>
#cCode:inSmalltalk: #generateInlineCCodeAsArgument:on:indent:<br>
#cppIf:ifTrue:ifFalse: #generateInlineCppIfElseAsArgument:on:indent:<br>
#cppIf:ifTrue: #generateInlineCppIfElseAsArgument:on:indent:<br>
<br>
#value #generateValueAsArgument:on:indent:<br>
#value: #generateValueAsArgument:on:indent:<br>
#value:value: #generateValueAsArgument:on:indent:<br>
).<br>
<br>
asArgumentTranslationDict := Dictionary new: 8.<br>
1 to: pairs size by: 2 do: [:i |<br>
asArgumentTranslationDict at: (pairs at: i) put: (pairs at: i + 1)].<br>
!<br>
<br>
Item was changed:<br>
----- Method: CogVMSimulator>>openOn:extraMemory: (in category 'initialization') -----<br>
openOn: fileName extraMemory: extraBytes<br>
"CogVMSimulator new openOn: '<a href="http://clone.im" rel="noreferrer" target="_blank">clone.im</a>' extraMemory: 100000"<br>
<br>
| f version headerSize dataSize count oldBaseAddr bytesToShift swapBytes<br>
headerFlags firstSegSize heapSize<br>
hdrNumStackPages hdrEdenBytes hdrMaxExtSemTabSize<br>
hdrCogCodeSize stackZoneSize methodCacheSize primTraceLogSize allocationReserve |<br>
"open image file and read the header"<br>
<br>
f := FileStream readOnlyFileNamed: fileName.<br>
f ifNil: [^self error: 'no image found'].<br>
<br>
"Set the image name and the first argument; there are<br>
no arguments during simulation unless set explicitly."<br>
systemAttributes at: 1 put: fileName; at: 2 put: nil.<br>
<br>
["begin ensure block..."<br>
imageName := f fullName.<br>
f binary.<br>
<br>
version := self getWord32FromFile: f swap: false. "current version: 16r1968 (=6504) vive la revolucion!!"<br>
(self readableFormat: version)<br>
ifTrue: [swapBytes := false]<br>
+ ifFalse: [(version := version byteSwap32) = self imageFormatVersion<br>
- ifFalse: [(version := objectMemory byteSwapped: version) = self imageFormatVersion<br>
ifTrue: [swapBytes := true]<br>
ifFalse: [self error: 'incomaptible image format']].<br>
headerSize := self getWord32FromFile: f swap: swapBytes.<br>
dataSize := self getLongFromFile: f swap: swapBytes. "length of heap in file"<br>
oldBaseAddr := self getLongFromFile: f swap: swapBytes. "object memory base address of image"<br>
objectMemory specialObjectsOop: (self getLongFromFile: f swap: swapBytes).<br>
objectMemory lastHash: (self getLongFromFile: f swap: swapBytes). "Should be loaded from, and saved to the image header"<br>
<br>
savedWindowSize := self getLongFromFile: f swap: swapBytes.<br>
headerFlags := self getLongFromFile: f swap: swapBytes.<br>
self setImageHeaderFlagsFrom: headerFlags.<br>
extraVMMemory := self getWord32FromFile: f swap: swapBytes.<br>
hdrNumStackPages := self getShortFromFile: f swap: swapBytes.<br>
"4 stack pages is small. Should be able to run with as few as<br>
three. 4 should be comfortable but slow. 8 is a reasonable<br>
default. Can be changed via vmParameterAt: 43 put: n"<br>
numStackPages := desiredNumStackPages ~= 0<br>
ifTrue: [desiredNumStackPages]<br>
ifFalse: [hdrNumStackPages = 0<br>
ifTrue: [self defaultNumStackPages]<br>
ifFalse: [hdrNumStackPages]].<br>
desiredNumStackPages := hdrNumStackPages.<br>
stackZoneSize := self computeStackZoneSize.<br>
"This slot holds the size of the native method zone in 1k units. (pad to word boundary)."<br>
hdrCogCodeSize := (self getShortFromFile: f swap: swapBytes) * 1024.<br>
cogCodeSize := desiredCogCodeSize ~= 0<br>
ifTrue: [desiredCogCodeSize]<br>
ifFalse:<br>
[hdrCogCodeSize = 0<br>
ifTrue: [cogit defaultCogCodeSize]<br>
ifFalse: [hdrCogCodeSize]].<br>
desiredCogCodeSize := hdrCogCodeSize.<br>
self assert: f position = (objectMemory wordSize = 4 ifTrue: [40] ifFalse: [64]).<br>
hdrEdenBytes := self getWord32FromFile: f swap: swapBytes.<br>
objectMemory edenBytes: (desiredEdenBytes ~= 0<br>
ifTrue: [desiredEdenBytes]<br>
ifFalse:<br>
[hdrEdenBytes = 0<br>
ifTrue: [objectMemory defaultEdenBytes]<br>
ifFalse: [hdrEdenBytes]]).<br>
desiredEdenBytes := hdrEdenBytes.<br>
hdrMaxExtSemTabSize := self getShortFromFile: f swap: swapBytes.<br>
hdrMaxExtSemTabSize ~= 0 ifTrue:<br>
[self setMaxExtSemSizeTo: hdrMaxExtSemTabSize].<br>
"pad to word boundary. This slot can be used for anything else that will fit in 16 bits.<br>
Preserve it to be polite to other VMs."<br>
the2ndUnknownShort := self getShortFromFile: f swap: swapBytes.<br>
self assert: f position = (objectMemory wordSize = 4 ifTrue: [48] ifFalse: [72]).<br>
firstSegSize := self getLongFromFile: f swap: swapBytes.<br>
objectMemory firstSegmentSize: firstSegSize.<br>
"For Open PICs to be able to probe the method cache during<br>
simulation the methodCache must be relocated to memory."<br>
methodCacheSize := methodCache size * objectMemory wordSize.<br>
primTraceLogSize := primTraceLog size * objectMemory wordSize.<br>
"allocate interpreter memory. This list is in address order, low to high.<br>
In the actual VM the stack zone exists on the C stack."<br>
heapBase := (Cogit guardPageSize<br>
+ cogCodeSize<br>
+ stackZoneSize<br>
+ methodCacheSize<br>
+ primTraceLogSize<br>
+ self rumpCStackSize) roundUpTo: objectMemory allocationUnit.<br>
"compare memory requirements with availability"<br>
allocationReserve := self interpreterAllocationReserveBytes.<br>
objectMemory hasSpurMemoryManagerAPI<br>
ifTrue:<br>
[| freeOldSpaceInImage headroom |<br>
freeOldSpaceInImage := self getLongFromFile: f swap: swapBytes.<br>
headroom := objectMemory<br>
initialHeadroom: extraVMMemory<br>
givenFreeOldSpaceInImage: freeOldSpaceInImage.<br>
heapSize := objectMemory roundUpHeapSize:<br>
dataSize<br>
+ headroom<br>
+ objectMemory newSpaceBytes<br>
+ (headroom > allocationReserve<br>
ifTrue: [0]<br>
ifFalse: [allocationReserve])]<br>
ifFalse:<br>
[heapSize := dataSize<br>
+ extraBytes<br>
+ objectMemory newSpaceBytes<br>
+ (extraBytes > allocationReserve<br>
ifTrue: [0]<br>
ifFalse: [allocationReserve])].<br>
heapBase := objectMemory<br>
setHeapBase: heapBase<br>
memoryLimit: heapBase + heapSize<br>
endOfMemory: heapBase + dataSize.<br>
<br>
self assert: cogCodeSize \\ 4 = 0.<br>
self assert: objectMemory memoryLimit \\ 4 = 0.<br>
self assert: self rumpCStackSize \\ 4 = 0.<br>
"read in the image in bulk, then swap the bytes if necessary"<br>
f position: headerSize.<br>
objectMemory memory: ((cogit processor endianness == #little<br>
ifTrue: [LittleEndianBitmap]<br>
ifFalse: [Bitmap]) new: objectMemory memoryLimit // 4).<br>
count := objectMemory readHeapFromImageFile: f dataBytes: dataSize.<br>
count ~= dataSize ifTrue: [self halt].<br>
]<br>
ensure: [f close].<br>
self moveMethodCacheToMemoryAt: objectMemory cogCodeBase + cogCodeSize + stackZoneSize.<br>
self movePrimTraceLogToMemoryAt: objectMemory cogCodeBase + cogCodeSize + stackZoneSize + methodCacheSize.<br>
<br>
self ensureImageFormatIsUpToDate: swapBytes.<br>
<br>
bytesToShift := objectMemory memoryBaseForImageRead - oldBaseAddr. "adjust pointers for zero base address"<br>
Utilities<br>
informUser: 'Relocating object pointers...'<br>
during: [self initializeInterpreter: bytesToShift].<br>
self initializeCodeGenerator!<br>
<br>
Item was added:<br>
+ ----- Method: Integer>>byteSwap32 (in category '*VMMaker-bit manipulation') -----<br>
+ byteSwap32<br>
+ "swap the bytes of a 32 bit unsigned integer"<br>
+<br>
+ ^((self << 24) bitAnd: 16rFF000000) bitOr:<br>
+ (((self << 8) bitAnd: 16rFF0000) bitOr:<br>
+ (((self >> 8) bitAnd: 16rFF00) bitOr:<br>
+ (((self >> 24) bitAnd: 16rFF))))!<br>
<br>
Item was added:<br>
+ ----- Method: Integer>>byteSwap64 (in category '*VMMaker-bit manipulation') -----<br>
+ byteSwap64<br>
+ "swap the bytes of a 64 bit unsigned integer"<br>
+<br>
+ ^(((self << 56) bitAnd: 16rFF00000000000000) bitOr:<br>
+ (((self << 40) bitAnd: 16rFF000000000000) bitOr:<br>
+ (((self << 24) bitAnd: 16rFF0000000000) bitOr:<br>
+ (((self << 8) bitAnd: 16rFF00000000) bitOr:<br>
+ (((self >> 8) bitAnd: 16rFF000000) bitOr:<br>
+ (((self >> 24) bitAnd: 16rFF0000) bitOr:<br>
+ (((self >> 40) bitAnd: 16rFF00) bitOr:<br>
+ ((self >> 56) bitAnd: 16rFF))))))))!<br>
<br>
Item was changed:<br>
----- Method: Interpreter>>wordSwapped: (in category 'image save/restore') -----<br>
wordSwapped: w<br>
"Return the given 64-bit integer with its halves in the reverse order."<br>
<br>
self wordSize = 8 ifFalse: [self error: 'This cannot happen.'].<br>
+ ^ ((w >> 32) bitAnd: 16r00000000FFFFFFFF) bitOr:<br>
+ ((w << 32) bitAnd: 16rFFFFFFFF00000000)<br>
- ^ ((w bitShift: Byte4ShiftNegated) bitAnd: Bytes3to0Mask)<br>
- + ((w bitShift: Byte4Shift ) bitAnd: Bytes7to4Mask)<br>
!<br>
<br>
Item was changed:<br>
----- Method: InterpreterPrimitives>>magnitude64BitIntegerFor:neg: (in category 'primitive support') -----<br>
magnitude64BitIntegerFor: magnitude neg: isNegative<br>
"Return a Large Integer object for the given integer magnitude and sign"<br>
| newLargeInteger largeClass highWord sz isSmall smallVal |<br>
<var: 'magnitude' type: #usqLong><br>
<var: 'highWord' type: #usqInt><br>
<br>
isSmall := isNegative<br>
ifTrue: [magnitude <= (objectMemory maxSmallInteger + 1)]<br>
ifFalse: [magnitude <= objectMemory maxSmallInteger].<br>
isSmall ifTrue:<br>
[smallVal := self cCoerceSimple: magnitude to: #sqInt.<br>
isNegative ifTrue: [smallVal := 0 - smallVal].<br>
^objectMemory integerObjectOf: smallVal].<br>
<br>
largeClass := isNegative<br>
ifTrue: [objectMemory classLargeNegativeInteger]<br>
ifFalse: [objectMemory classLargePositiveInteger].<br>
objectMemory wordSize = 8<br>
ifTrue: [sz := 8]<br>
ifFalse:<br>
[(highWord := magnitude >> 32) = 0<br>
ifTrue: [sz := 4]<br>
ifFalse:<br>
[sz := 5.<br>
(highWord := highWord >> 8) = 0 ifFalse:<br>
[sz := sz + 1.<br>
(highWord := highWord >> 8) = 0 ifFalse:<br>
[sz := sz + 1.<br>
(highWord := highWord >> 8) = 0 ifFalse: [sz := sz + 1]]]]].<br>
newLargeInteger := objectMemory instantiateClass: largeClass indexableSize: sz.<br>
self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [sz > 4<br>
+ ifTrue: [objectMemory storeLong64: 0 ofObject: newLargeInteger withValue: magnitude byteSwap64]<br>
+ ifFalse: [objectMemory storeLong32: 0 ofObject: newLargeInteger withValue: (magnitude byteSwap32)]]<br>
- [sz > 4 ifTrue:<br>
- [objectMemory<br>
- storeByte: 7 ofObject: newLargeInteger withValue: (magnitude >> 56 bitAnd: 16rFF);<br>
- storeByte: 6 ofObject: newLargeInteger withValue: (magnitude >> 48 bitAnd: 16rFF);<br>
- storeByte: 5 ofObject: newLargeInteger withValue: (magnitude >> 40 bitAnd: 16rFF);<br>
- storeByte: 4 ofObject: newLargeInteger withValue: (magnitude >> 32 bitAnd: 16rFF)].<br>
- objectMemory<br>
- storeByte: 3 ofObject: newLargeInteger withValue: (magnitude >> 24 bitAnd: 16rFF);<br>
- storeByte: 2 ofObject: newLargeInteger withValue: (magnitude >> 16 bitAnd: 16rFF);<br>
- storeByte: 1 ofObject: newLargeInteger withValue: (magnitude >> 8 bitAnd: 16rFF);<br>
- storeByte: 0 ofObject: newLargeInteger withValue: (magnitude ">> 0" bitAnd: 16rFF)]<br>
ifFalse:<br>
[sz > 4<br>
ifTrue: [objectMemory storeLong64: 0 ofObject: newLargeInteger withValue: magnitude]<br>
ifFalse: [objectMemory storeLong32: 0 ofObject: newLargeInteger withValue: (self cCode: [magnitude] inSmalltalk: [magnitude bitAnd: 16rFFFFFFFF])]].<br>
<br>
^newLargeInteger!<br>
<br>
Item was changed:<br>
----- Method: InterpreterPrimitives>>magnitude64BitValueOf: (in category 'primitive support') -----<br>
magnitude64BitValueOf: oop<br>
"Convert the given object into an integer value.<br>
The object may be either a positive SmallInteger or an eight-byte LargeInteger."<br>
| sz value ok smallIntValue |<br>
<returnTypeC: #usqLong><br>
<var: #value type: #usqLong><br>
<br>
(objectMemory isIntegerObject: oop) ifTrue:<br>
[smallIntValue := (objectMemory integerValueOf: oop).<br>
smallIntValue < 0 ifTrue: [smallIntValue := 0 - smallIntValue].<br>
^self cCoerce: smallIntValue to: #usqLong].<br>
<br>
(objectMemory isNonIntegerImmediate: oop) ifTrue:<br>
[self primitiveFail.<br>
^0].<br>
<br>
ok := objectMemory isClassOfNonImm: oop<br>
equalTo: (objectMemory splObj: ClassLargePositiveInteger)<br>
compactClassIndex: ClassLargePositiveIntegerCompactIndex.<br>
ok<br>
ifFalse:<br>
[ok := objectMemory isClassOfNonImm: oop<br>
equalTo: (objectMemory splObj: ClassLargeNegativeInteger)<br>
compactClassIndex: ClassLargeNegativeIntegerCompactIndex.<br>
ok ifFalse:<br>
[self primitiveFail.<br>
^0]].<br>
sz := objectMemory numBytesOfBytes: oop.<br>
sz > (self sizeof: #sqLong) ifTrue:<br>
[self primitiveFail.<br>
^0].<br>
<br>
self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [sz > 4<br>
+ ifTrue: [value := (self cCoerceSimple: (objectMemory fetchLong64: 0 ofObject: oop) to: #usqLong) byteSwap64]<br>
+ ifFalse: [value := (self cCoerceSimple: (objectMemory fetchLong32: 0 ofObject: oop) to: #'unsigned int') byteSwap32].]<br>
- [value := objectMemory fetchByte: sz - 1 ofObject: oop.<br>
- sz - 2 to: 0 by: -1 do:<br>
- [:i | value := value << 8 + (objectMemory fetchByte: i ofObject: oop)]]<br>
ifFalse:<br>
[sz > 4<br>
ifTrue: [value := self cCoerceSimple: (objectMemory fetchLong64: 0 ofObject: oop) to: #usqLong]<br>
ifFalse: [value := self cCoerceSimple: (objectMemory fetchLong32: 0 ofObject: oop) to: #'unsigned int'].].<br>
^value!<br>
<br>
Item was changed:<br>
----- Method: InterpreterPrimitives>>positive32BitValueOf: (in category 'primitive support') -----<br>
positive32BitValueOf: oop<br>
"Convert the given object into an integer value.<br>
The object may be either a positive SmallInteger or a four-byte LargePositiveInteger."<br>
<returnTypeC: #usqInt><br>
| value ok sz |<br>
(objectMemory isIntegerObject: oop) ifTrue:<br>
[value := objectMemory integerValueOf: oop.<br>
(value < 0<br>
or: [objectMemory wordSize > 4<br>
and: [self cCode: [(self cCoerceSimple: value to: #'unsigned int') ~= value]<br>
inSmalltalk: [value >> 32 ~= 0]]]) ifTrue:<br>
[self primitiveFail. value := 0].<br>
^value].<br>
<br>
(objectMemory hasSixtyFourBitImmediates<br>
or: [objectMemory isNonIntegerImmediate: oop])<br>
ifTrue:<br>
[self primitiveFail.<br>
^0]<br>
ifFalse:<br>
[ok := objectMemory<br>
isClassOfNonImm: oop<br>
equalTo: (objectMemory splObj: ClassLargePositiveInteger)<br>
compactClassIndex: ClassLargePositiveIntegerCompactIndex.<br>
ok ifFalse:<br>
[self primitiveFail.<br>
^0].<br>
sz := objectMemory numBytesOfBytes: oop.<br>
sz > 4 ifTrue:<br>
[self primitiveFail.<br>
^0].<br>
^self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [(objectMemory fetchLong32: 0 ofObject: oop) byteSwap32]<br>
- [ (objectMemory fetchByte: 0 ofObject: oop)<br>
- + ((objectMemory fetchByte: 1 ofObject: oop) << 8)<br>
- + ((objectMemory fetchByte: 2 ofObject: oop) << 16)<br>
- + ((objectMemory fetchByte: 3 ofObject: oop) << 24)]<br>
ifFalse:<br>
[objectMemory fetchLong32: 0 ofObject: oop]]!<br>
<br>
Item was changed:<br>
----- Method: InterpreterPrimitives>>positive64BitValueOf: (in category 'primitive support') -----<br>
positive64BitValueOf: oop<br>
"Convert the given object into an integer value.<br>
The object may be either a positive SmallInteger or an eight-byte LargePositiveInteger."<br>
<br>
<returnTypeC: #usqLong><br>
| sz value ok |<br>
<var: #value type: #usqLong><br>
(objectMemory isIntegerObject: oop) ifTrue:<br>
[(objectMemory integerValueOf: oop) < 0 ifTrue:<br>
[^self primitiveFail].<br>
^objectMemory integerValueOf: oop].<br>
<br>
(objectMemory isNonIntegerImmediate: oop) ifTrue:<br>
[self primitiveFail.<br>
^0].<br>
<br>
ok := objectMemory<br>
isClassOfNonImm: oop<br>
equalTo: (objectMemory splObj: ClassLargePositiveInteger)<br>
compactClassIndex: ClassLargePositiveIntegerCompactIndex.<br>
ok ifFalse:<br>
[self primitiveFail.<br>
^0].<br>
sz := objectMemory numBytesOfBytes: oop.<br>
sz > (self sizeof: #sqLong) ifTrue:<br>
[self primitiveFail.<br>
^0].<br>
<br>
self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [sz > 4<br>
+ ifTrue: [value := (self cCoerceSimple: (objectMemory fetchLong64: 0 ofObject: oop) to: #usqLong) byteSwap64]<br>
+ ifFalse: [value := (self cCoerceSimple: (objectMemory fetchLong32: 0 ofObject: oop) to: #'unsigned int') byteSwap32].]<br>
- [value := 0.<br>
- 0 to: sz - 1 do: [:i |<br>
- value := value + ((self cCoerce: (objectMemory fetchByte: i ofObject: oop) to: #usqLong) << (i*8))]]<br>
ifFalse:<br>
[sz > 4<br>
ifTrue: [value := self cCoerceSimple: (objectMemory fetchLong64: 0 ofObject: oop) to: #usqLong]<br>
ifFalse: [value := self cCoerceSimple: (objectMemory fetchLong32: 0 ofObject: oop) to: #'unsigned int'].].<br>
^value!<br>
<br>
Item was changed:<br>
----- Method: InterpreterPrimitives>>positiveMachineIntegerValueOf: (in category 'primitive support') -----<br>
positiveMachineIntegerValueOf: oop<br>
"Answer a value of an integer in address range, i.e up to the size of a machine word.<br>
The object may be either a positive SmallInteger or a LargePositiveInteger of size <= word size."<br>
<returnTypeC: #'unsigned long'><br>
<inline: true> "only two callers & one is primitiveNewWithArg"<br>
| value bs ok |<br>
(objectMemory isIntegerObject: oop) ifTrue:<br>
[value := objectMemory integerValueOf: oop.<br>
value < 0 ifTrue: [^self primitiveFail].<br>
^value].<br>
<br>
(objectMemory isNonIntegerImmediate: oop) ifTrue:<br>
[self primitiveFail.<br>
^0].<br>
<br>
ok := objectMemory<br>
isClassOfNonImm: oop<br>
equalTo: (objectMemory splObj: ClassLargePositiveInteger)<br>
compactClassIndex: ClassLargePositiveIntegerCompactIndex.<br>
ok ifFalse:<br>
[self primitiveFail.<br>
^0].<br>
bs := objectMemory numBytesOfBytes: oop.<br>
bs > (self sizeof: #'unsigned long') ifTrue:<br>
[self primitiveFail.<br>
^0].<br>
<br>
((self sizeof: #'unsigned long') = 8<br>
and: [bs > 4]) ifTrue:<br>
[^self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [(objectMemory fetchLong64: 0 ofObject: oop) byteSwap64]<br>
- [ (objectMemory fetchByte: 0 ofObject: oop)<br>
- + ((objectMemory fetchByte: 1 ofObject: oop) << 8)<br>
- + ((objectMemory fetchByte: 2 ofObject: oop) << 16)<br>
- + ((objectMemory fetchByte: 3 ofObject: oop) << 24)<br>
- + ((objectMemory fetchByte: 4 ofObject: oop) << 32)<br>
- + ((objectMemory fetchByte: 5 ofObject: oop) << 40)<br>
- + ((objectMemory fetchByte: 6 ofObject: oop) << 48)<br>
- + ((objectMemory fetchByte: 7 ofObject: oop) << 56)]<br>
ifFalse:<br>
[objectMemory fetchLong64: 0 ofObject: oop]]<br>
ifFalse:<br>
[^self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [(self cCoerceSimple: (objectMemory fetchLong32: 0 ofObject: oop) to: #'unsigned int') byteSwap32]<br>
- [ (objectMemory fetchByte: 0 ofObject: oop)<br>
- + ((objectMemory fetchByte: 1 ofObject: oop) << 8)<br>
- + ((objectMemory fetchByte: 2 ofObject: oop) << 16)<br>
- + ((objectMemory fetchByte: 3 ofObject: oop) << 24)]<br>
ifFalse:<br>
[self cCoerceSimple: (objectMemory fetchLong32: 0 ofObject: oop) to: #'unsigned int']]!<br>
<br>
Item was changed:<br>
----- Method: InterpreterPrimitives>>signed32BitValueOf: (in category 'primitive support') -----<br>
signed32BitValueOf: oop<br>
"Convert the given object into an integer value.<br>
The object may be either a positive SmallInteger or a four-byte LargeInteger."<br>
| value negative ok magnitude |<br>
<inline: false><br>
<returnTypeC: #int><br>
<var: #value type: #int><br>
<var: #magnitude type: #'unsigned int'><br>
<var: #value64 type: #long><br>
(objectMemory isIntegerObject: oop) ifTrue:<br>
[objectMemory wordSize = 4<br>
ifTrue:<br>
[^objectMemory integerValueOf: oop]<br>
ifFalse: "Must fail for SmallIntegers with digitLength > 4"<br>
[| value64 |<br>
value64 := objectMemory integerValueOf: oop.<br>
(self cCode: [(self cCoerceSimple: value64 to: #int) ~= value64]<br>
inSmalltalk: [value64 >> 31 ~= 0 and: [value64 >> 31 ~= -1]]) ifTrue:<br>
[self primitiveFail. value64 := 0].<br>
^value64]].<br>
<br>
(objectMemory isNonIntegerImmediate: oop) ifTrue:<br>
[self primitiveFail.<br>
^0].<br>
<br>
ok := objectMemory<br>
isClassOfNonImm: oop<br>
equalTo: (objectMemory splObj: ClassLargePositiveInteger)<br>
compactClassIndex: ClassLargePositiveIntegerCompactIndex.<br>
ok<br>
ifTrue: [negative := false]<br>
ifFalse:<br>
[negative := true.<br>
ok := objectMemory isClassOfNonImm: oop<br>
equalTo: (objectMemory splObj: ClassLargeNegativeInteger)<br>
compactClassIndex: ClassLargeNegativeIntegerCompactIndex.<br>
ok ifFalse:<br>
[self primitiveFail.<br>
^0]].<br>
(objectMemory numBytesOfBytes: oop) > 4 ifTrue:<br>
[^self primitiveFail].<br>
<br>
magnitude := self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [(objectMemory fetchLong32: 0 ofObject: oop) asUnsignedInteger byteSwap32]<br>
- [ (objectMemory fetchByte: 0 ofObject: oop) +<br>
- ((objectMemory fetchByte: 1 ofObject: oop) << 8) +<br>
- ((objectMemory fetchByte: 2 ofObject: oop) << 16) +<br>
- ((objectMemory fetchByte: 3 ofObject: oop) << 24)]<br>
ifFalse:<br>
[(objectMemory fetchLong32: 0 ofObject: oop) asUnsignedInteger].<br>
<br>
(negative<br>
ifTrue: [magnitude > 16r80000000]<br>
ifFalse: [magnitude >= 16r80000000])<br>
ifTrue:<br>
[self primitiveFail.<br>
^0].<br>
negative<br>
ifTrue: [value := 0 - magnitude]<br>
ifFalse: [value := magnitude].<br>
^value!<br>
<br>
Item was changed:<br>
----- Method: InterpreterPrimitives>>signed64BitValueOf: (in category 'primitive support') -----<br>
signed64BitValueOf: oop<br>
"Convert the given object into an integer value.<br>
The object may be either a positive SmallInteger or a eight-byte LargeInteger."<br>
| sz value negative ok magnitude |<br>
<inline: false><br>
<returnTypeC: #sqLong><br>
<var: #value type: #sqLong><br>
<var: #magnitude type: #usqLong><br>
(objectMemory isIntegerObject: oop) ifTrue:<br>
[^self cCoerce: (objectMemory integerValueOf: oop) to: #sqLong].<br>
<br>
(objectMemory isNonIntegerImmediate: oop) ifTrue:<br>
[self primitiveFail.<br>
^0].<br>
<br>
ok := objectMemory isClassOfNonImm: oop<br>
equalTo: (objectMemory splObj: ClassLargePositiveInteger)<br>
compactClassIndex: ClassLargePositiveIntegerCompactIndex.<br>
ok<br>
ifTrue: [negative := false]<br>
ifFalse:<br>
[negative := true.<br>
ok := objectMemory isClassOfNonImm: oop<br>
equalTo: (objectMemory splObj: ClassLargeNegativeInteger)<br>
compactClassIndex: ClassLargeNegativeIntegerCompactIndex.<br>
ok ifFalse:<br>
[self primitiveFail.<br>
^0]].<br>
sz := objectMemory numBytesOfBytes: oop.<br>
sz > (self sizeof: #sqLong) ifTrue:<br>
[self primitiveFail.<br>
^0].<br>
<br>
self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [magnitude := sz > 4<br>
+ ifTrue: [(objectMemory fetchLong64: 0 ofObject: oop) byteSwap64]<br>
+ ifFalse: [(self cCoerceSimple: (objectMemory fetchLong32: 0 ofObject: oop) to: #'unsigned int') byteSwap32]]<br>
- [magnitude := objectMemory fetchByte: sz - 1 ofObject: oop.<br>
- sz - 2 to: 0 by: -1 do: [:i |<br>
- magnitude := magnitude << 8 + (objectMemory fetchByte: i ofObject: oop)]]<br>
ifFalse:<br>
[magnitude := sz > 4<br>
ifTrue: [objectMemory fetchLong64: 0 ofObject: oop]<br>
ifFalse: [self cCoerceSimple: (objectMemory fetchLong32: 0 ofObject: oop) to: #'unsigned int']].<br>
<br>
(negative<br>
ifTrue: [magnitude > 16r8000000000000000]<br>
ifFalse: [magnitude >= 16r8000000000000000])<br>
ifTrue: [self primitiveFail.<br>
^0].<br>
negative<br>
ifTrue: [value := 0 - magnitude]<br>
ifFalse: [value := magnitude].<br>
^value!<br>
<br>
Item was changed:<br>
----- Method: InterpreterPrimitives>>signedMachineIntegerValueOf: (in category 'primitive support') -----<br>
signedMachineIntegerValueOf: oop<br>
"Answer a signed value of an integer up to the size of a machine word.<br>
The object may be either a positive SmallInteger or a LargeInteger of size <= word size."<br>
<returnTypeC: #'long'><br>
| negative ok bs value limit magnitude |<br>
<var: #value type: #long><br>
<var: #magnitude type: #usqInt><br>
<var: #limit type: #usqInt><br>
(objectMemory isIntegerObject: oop) ifTrue:<br>
[^objectMemory integerValueOf: oop].<br>
<br>
(objectMemory isNonIntegerImmediate: oop) ifTrue:<br>
[^self primitiveFail].<br>
<br>
ok := objectMemory isClassOfNonImm: oop<br>
equalTo: (objectMemory splObj: ClassLargePositiveInteger)<br>
compactClassIndex: ClassLargePositiveIntegerCompactIndex.<br>
ok<br>
ifTrue: [negative := false]<br>
ifFalse:<br>
[negative := true.<br>
ok := objectMemory isClassOfNonImm: oop<br>
equalTo: (objectMemory splObj: ClassLargeNegativeInteger)<br>
compactClassIndex: ClassLargeNegativeIntegerCompactIndex.<br>
ok ifFalse: [^self primitiveFail]].<br>
bs := objectMemory numBytesOf: oop.<br>
bs > (self sizeof: #'unsigned long') ifTrue:<br>
[^self primitiveFail].<br>
<br>
((self sizeof: #'unsigned long') = 8<br>
and: [bs > 4]) ifTrue:<br>
[magnitude := self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [(objectMemory fetchLong64: 0 ofObject: oop) byteSwap64]<br>
- [ (objectMemory fetchByte: 0 ofObject: oop)<br>
- + ((objectMemory fetchByte: 1 ofObject: oop) << 8)<br>
- + ((objectMemory fetchByte: 2 ofObject: oop) << 16)<br>
- + ((objectMemory fetchByte: 3 ofObject: oop) << 24)<br>
- + ((objectMemory fetchByte: 4 ofObject: oop) << 32)<br>
- + ((objectMemory fetchByte: 5 ofObject: oop) << 40)<br>
- + ((objectMemory fetchByte: 6 ofObject: oop) << 48)<br>
- + ((objectMemory fetchByte: 7 ofObject: oop) << 56)]<br>
ifFalse:<br>
[objectMemory fetchLong64: 0 ofObject: oop]]<br>
ifFalse:<br>
[magnitude := self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [(objectMemory fetchLong32: 0 ofObject: oop) asUnsignedInteger byteSwap32]<br>
- [ (objectMemory fetchByte: 0 ofObject: oop)<br>
- + ((objectMemory fetchByte: 1 ofObject: oop) << 8)<br>
- + ((objectMemory fetchByte: 2 ofObject: oop) << 16)<br>
- + ((objectMemory fetchByte: 3 ofObject: oop) << 24)]<br>
ifFalse:<br>
[(objectMemory fetchLong32: 0 ofObject: oop) asUnsignedInteger]].<br>
<br>
limit := 1 asUnsignedInteger << ((self sizeof: #usqInt) * 8 - 1).<br>
(negative<br>
ifTrue: [magnitude > limit]<br>
ifFalse: [magnitude >= limit])<br>
ifTrue: [self primitiveFail.<br>
^0].<br>
negative<br>
ifTrue: [value := 0 - magnitude]<br>
ifFalse: [value := magnitude].<br>
^value!<br>
<br>
Item was changed:<br>
----- Method: InterpreterSimulatorMSB64>>byteSwapped: (in category 'memory access') -----<br>
byteSwapped: w<br>
"Return the given integer with its bytes in the reverse order."<br>
<br>
+ ^w byteSwap64!<br>
- ^ (super byteSwapped: ((w bitShift: -32) bitAnd: 16rFFFFFFFF)) +<br>
- ((super byteSwapped: (w bitAnd: 16rFFFFFFFF)) bitShift: 32)!<br>
<br>
Item was changed:<br>
----- Method: LargeIntegersPlugin>>cDigitSub:len:with:len:into: (in category 'C core') -----<br>
cDigitSub: pByteSmall len: smallLen with: pByteLarge len: largeLen into: pByteRes<br>
| z |<br>
<var: #pByteSmall type: #'unsigned char *'><br>
<var: #pByteLarge type: #'unsigned char *'><br>
<var: #pByteRes type: #'unsigned char *'><br>
+ <var: #z type: #'unsigned int'><br>
<br>
z := 0. "Loop invariant is -1<=z<=1"<br>
0 to: smallLen - 1 do:<br>
[:i |<br>
z := z + (pByteLarge at: i) - (pByteSmall at: i).<br>
pByteRes at: i put: (self cCode: [z] inSmalltalk: [z bitAnd: 255]).<br>
z := z signedBitShift: -8].<br>
smallLen to: largeLen - 1 do:<br>
[:i |<br>
z := z + (pByteLarge at: i) .<br>
pByteRes at: i put: (self cCode: [z] inSmalltalk: [z bitAnd: 255]).<br>
z := z signedBitShift: -8].<br>
!<br>
<br>
Item was changed:<br>
----- Method: ObjectMemory class>>initBytesPerWord: (in category 'initialization') -----<br>
initBytesPerWord: nBytes<br>
<br>
BytesPerWord := nBytes.<br>
- "The following is necessary to avoid confusing the compiler with shifts that are larger than the width of the type on which they operate. In gcc, such shifts cause incorrect code to be generated."<br>
- BytesPerWord = 8<br>
- ifTrue: "64-bit VM"<br>
- [Byte0Mask := 16r00000000000000FF. Byte0Shift := 0.<br>
- Byte1Mask := 16r000000000000FF00. Byte1Shift := 8.<br>
- Byte2Mask := 16r0000000000FF0000. Byte2Shift := 16.<br>
- Byte3Mask := 16r00000000FF000000. Byte3Shift := 24.<br>
- Byte4Mask := 16r000000FF00000000. Byte4Shift := 32.<br>
- Byte5Mask := 16r0000FF0000000000. Byte5Shift := 40.<br>
- Byte6Mask := 16r00FF000000000000. Byte6Shift := 48.<br>
- Byte7Mask := 16rFF00000000000000. Byte7Shift := 56.<br>
- Bytes3to0Mask := 16r00000000FFFFFFFF.<br>
- Bytes7to4Mask := 16rFFFFFFFF00000000]<br>
- ifFalse: "32-bit VM"<br>
- [Byte0Mask := 16r00000000000000FF. Byte0Shift := 0.<br>
- Byte1Mask := 16r000000000000FF00. Byte1Shift := 8.<br>
- Byte2Mask := 16r0000000000FF0000. Byte2Shift := 16.<br>
- Byte3Mask := 16r00000000FF000000. Byte3Shift := 24.<br>
- Byte4Mask := 16r0000000000000000. Byte4Shift := 0. "unused"<br>
- Byte5Mask := 16r0000000000000000. Byte5Shift := 0. "unused"<br>
- Byte6Mask := 16r0000000000000000. Byte6Shift := 0. "unused"<br>
- Byte7Mask := 16r0000000000000000. Byte7Shift := 0. "unused"<br>
- Bytes3to0Mask := 16r0000000000000000. "unused"<br>
- Bytes7to4Mask := 16r0000000000000000 "unused"].<br>
- Byte1ShiftNegated := Byte1Shift negated.<br>
- Byte3ShiftNegated := Byte3Shift negated.<br>
- Byte4ShiftNegated := Byte4Shift negated.<br>
- Byte5ShiftNegated := Byte5Shift negated.<br>
- Byte7ShiftNegated := Byte7Shift negated.<br>
"N.B. This is *not* output when generating the interpreter file.<br>
It is left to the various sqConfig.h files to define correctly."<br>
VMBIGENDIAN := Smalltalk endianness == #big!<br>
<br>
Item was changed:<br>
----- Method: ObjectMemory>>byteSwapped: (in category 'image save/restore') -----<br>
byteSwapped: w<br>
"Answer the given integer with its bytes in the reverse order."<br>
<api><br>
<returnTypeC: #sqInt><br>
self cppIf: self wordSize = 4<br>
+ ifTrue: [^w byteSwap32]<br>
+ ifFalse: [^w byteSwap64]!<br>
- ifTrue:<br>
- [^ ((w bitShift: Byte3ShiftNegated) bitAnd: Byte0Mask)<br>
- + ((w bitShift: Byte1ShiftNegated) bitAnd: Byte1Mask)<br>
- + ((w bitShift: Byte1Shift ) bitAnd: Byte2Mask)<br>
- + ((w bitShift: Byte3Shift ) bitAnd: Byte3Mask)]<br>
- ifFalse:<br>
- [^ ((w bitShift: Byte7ShiftNegated) bitAnd: Byte0Mask)<br>
- + ((w bitShift: Byte5ShiftNegated) bitAnd: Byte1Mask)<br>
- + ((w bitShift: Byte3ShiftNegated) bitAnd: Byte2Mask)<br>
- + ((w bitShift: Byte1ShiftNegated) bitAnd: Byte3Mask)<br>
- + ((w bitShift: Byte1Shift ) bitAnd: Byte4Mask)<br>
- + ((w bitShift: Byte3Shift ) bitAnd: Byte5Mask)<br>
- + ((w bitShift: Byte5Shift ) bitAnd: Byte6Mask)<br>
- + ((w bitShift: Byte7Shift ) bitAnd: Byte7Mask)]!<br>
<br>
Item was removed:<br>
- ----- Method: Spur32BitMemoryManager>>byteSwapped32Bits: (in category 'snapshot') -----<br>
- byteSwapped32Bits: w<br>
- ^self byteSwapped: w!<br>
<br>
Item was changed:<br>
----- Method: Spur32BitMemoryManager>>byteSwapped: (in category 'snapshot') -----<br>
byteSwapped: w<br>
"Answer the given integer with its bytes in the reverse order."<br>
<api><br>
<returnTypeC: #sqInt><br>
+ ^w byteSwap32!<br>
- ^ ((w bitShift: Byte3ShiftNegated) bitAnd: Byte0Mask)<br>
- + ((w bitShift: Byte1ShiftNegated) bitAnd: Byte1Mask)<br>
- + ((w bitShift: Byte1Shift ) bitAnd: Byte2Mask)<br>
- + ((w bitShift: Byte3Shift ) bitAnd: Byte3Mask)!<br>
<br>
Item was removed:<br>
- ----- Method: Spur64BitMemoryManager>>byteSwapped32Bits: (in category 'snapshot') -----<br>
- byteSwapped32Bits: w<br>
- "Answer the given 32-bit integer with its bytes in the reverse order."<br>
- ^ ((w bitShift: Byte3ShiftNegated) bitAnd: Byte0Mask)<br>
- + ((w bitShift: Byte1ShiftNegated) bitAnd: Byte1Mask)<br>
- + ((w bitShift: Byte1Shift ) bitAnd: Byte2Mask)<br>
- + ((w bitShift: Byte3Shift ) bitAnd: Byte3Mask)!<br>
<br>
Item was changed:<br>
----- Method: Spur64BitMemoryManager>>byteSwapped: (in category 'snapshot') -----<br>
byteSwapped: w<br>
"Answer the given integer with its bytes in the reverse order."<br>
<api><br>
<returnTypeC: #sqInt><br>
+ ^w byteSwap64!<br>
- ^ ((w bitShift: Byte7ShiftNegated) bitAnd: Byte0Mask)<br>
- + ((w bitShift: Byte5ShiftNegated) bitAnd: Byte1Mask)<br>
- + ((w bitShift: Byte3ShiftNegated) bitAnd: Byte2Mask)<br>
- + ((w bitShift: Byte1ShiftNegated) bitAnd: Byte3Mask)<br>
- + ((w bitShift: Byte1Shift ) bitAnd: Byte4Mask)<br>
- + ((w bitShift: Byte3Shift ) bitAnd: Byte5Mask)<br>
- + ((w bitShift: Byte5Shift ) bitAnd: Byte6Mask)<br>
- + ((w bitShift: Byte7Shift ) bitAnd: Byte7Mask)!<br>
<br>
Item was changed:<br>
----- Method: SpurMemoryManager class>>initBytesPerWord: (in category 'class initialization') -----<br>
initBytesPerWord: wordSize<br>
<br>
BytesPerWord := BytesPerOop := wordSize.<br>
- "The following is necessary to avoid confusing the compiler with shifts that are larger than the width of the type on which they operate. In gcc, such shifts cause incorrect code to be generated."<br>
- BytesPerWord = 8<br>
- ifTrue: "64-bit VM"<br>
- [Byte0Mask := 16r00000000000000FF. Byte0Shift := 0.<br>
- Byte1Mask := 16r000000000000FF00. Byte1Shift := 8.<br>
- Byte2Mask := 16r0000000000FF0000. Byte2Shift := 16.<br>
- Byte3Mask := 16r00000000FF000000. Byte3Shift := 24.<br>
- Byte4Mask := 16r000000FF00000000. Byte4Shift := 32.<br>
- Byte5Mask := 16r0000FF0000000000. Byte5Shift := 40.<br>
- Byte6Mask := 16r00FF000000000000. Byte6Shift := 48.<br>
- Byte7Mask := 16rFF00000000000000. Byte7Shift := 56.<br>
- Bytes3to0Mask := 16r00000000FFFFFFFF.<br>
- Bytes7to4Mask := 16rFFFFFFFF00000000]<br>
- ifFalse: "32-bit VM"<br>
- [Byte0Mask := 16r00000000000000FF. Byte0Shift := 0.<br>
- Byte1Mask := 16r000000000000FF00. Byte1Shift := 8.<br>
- Byte2Mask := 16r0000000000FF0000. Byte2Shift := 16.<br>
- Byte3Mask := 16r00000000FF000000. Byte3Shift := 24.<br>
- Byte4Mask := nil. Byte4Shift := 0. "unused"<br>
- Byte5Mask := nil. Byte5Shift := 0. "unused"<br>
- Byte6Mask := nil. Byte6Shift := 0. "unused"<br>
- Byte7Mask := nil. Byte7Shift := 0. "unused"<br>
- Bytes3to0Mask := nil. "unused"<br>
- Bytes7to4Mask := nil "unused"].<br>
- Byte1ShiftNegated := Byte1Shift negated.<br>
- Byte3ShiftNegated := Byte3Shift negated.<br>
- Byte4ShiftNegated := Byte4Shift negated.<br>
- Byte5ShiftNegated := Byte5Shift negated.<br>
- Byte7ShiftNegated := Byte7Shift negated.<br>
"N.B. This is *not* output when generating the interpreter file.<br>
It is left to the various sqConfig.h files to define correctly."<br>
VMBIGENDIAN := Smalltalk endianness == #big!<br>
<br>
Item was removed:<br>
- ----- Method: SpurMemoryManager>>byteSwapped32Bits: (in category 'snapshot') -----<br>
- byteSwapped32Bits: w<br>
- self subclassResponsibility!<br>
<br>
Item was changed:<br>
----- Method: SpurMemoryManager>>reverseBytesIn32BitWordsFrom:to: (in category 'snapshot') -----<br>
reverseBytesIn32BitWordsFrom: startAddr to: stopAddr<br>
"Byte-swap the given range of memory (not inclusive of stopAddr!!)."<br>
| addr |<br>
addr := startAddr.<br>
[self oop: addr isLessThan: stopAddr] whileTrue:<br>
+ [self long32At: addr put: ((self long32At: addr) byteSwap32).<br>
- [self long32At: addr put: (self byteSwapped32Bits: (self long32At: addr)).<br>
addr := addr + 4]!<br>
<br>
Item was changed:<br>
----- Method: StackInterpreter>>getShortFromFile:swap: (in category 'image save/restore') -----<br>
getShortFromFile: aFile swap: swapFlag<br>
"Answer the next 16 bit word read from aFile, byte-swapped according to the swapFlag."<br>
<br>
<var: #aFile type: #sqImageFile><br>
| w |<br>
+ <var: #w type: #'unsigned short'><br>
- <var: #w type: #short><br>
w := 0.<br>
self cCode: [self<br>
sq: (self addressOf: w)<br>
+ Image: (self sizeof: #'unsigned short')<br>
- Image: (self sizeof: #short)<br>
File: 1<br>
Read: aFile]<br>
inSmalltalk: [w := objectMemory nextShortFrom: aFile].<br>
^swapFlag<br>
+ ifTrue: [((w >> 8) bitAnd: 16rFF) bitOr: ((w bitAnd: 16rFF) << 8)]<br>
- ifTrue: [objectMemory byteSwapped: w]<br>
ifFalse: [w]!<br>
<br>
Item was changed:<br>
----- Method: StackInterpreter>>getWord32FromFile:swap: (in category 'image save/restore') -----<br>
getWord32FromFile: aFile swap: swapFlag<br>
"Answer the next 32 bit word read from aFile, byte-swapped according to the swapFlag."<br>
<br>
<var: #aFile type: #sqImageFile><br>
| w |<br>
<var: #w type: #int><br>
w := 0.<br>
self cCode: [self<br>
sq: (self addressOf: w)<br>
Image: (self sizeof: #int)<br>
File: 1<br>
Read: aFile]<br>
inSmalltalk: [w := objectMemory nextWord32From: aFile].<br>
^swapFlag<br>
+ ifTrue: [w byteSwap32]<br>
- ifTrue: [objectMemory byteSwapped: w]<br>
ifFalse: [w]!<br>
<br>
Item was changed:<br>
----- Method: StackInterpreter>>maybeInlinePositive32BitIntegerFor: (in category 'primitive support') -----<br>
maybeInlinePositive32BitIntegerFor: integerValue<br>
"N.B. will *not* cause a GC.<br>
integerValue is interpreted as POSITIVE, e.g. as the result of Bitmap>at:."<br>
<notOption: #Spur64BitMemoryManager><br>
<var: 'integerValue' type: #'unsigned int'><br>
| newLargeInteger |<br>
self deny: objectMemory hasSixtyFourBitImmediates.<br>
"force coercion because slang inliner sometimes incorrectly pass a signed int without converting to unsigned"<br>
(self cCode: [self cCoerceSimple: integerValue to: #'unsigned int']<br>
inSmalltalk: [integerValue bitAnd: 1 << 32 - 1]) <= objectMemory maxSmallInteger ifTrue:<br>
[^objectMemory integerObjectOf: integerValue].<br>
newLargeInteger := objectMemory<br>
eeInstantiateSmallClassIndex: ClassLargePositiveIntegerCompactIndex<br>
format: (objectMemory byteFormatForNumBytes: 4)<br>
numSlots: 1.<br>
self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [objectMemory storeLong32: 0 ofObject: newLargeInteger withValue: integerValue byteSwap32]<br>
- [objectMemory<br>
- storeByte: 3 ofObject: newLargeInteger withValue: (integerValue >> 24 bitAnd: 16rFF);<br>
- storeByte: 2 ofObject: newLargeInteger withValue: (integerValue >> 16 bitAnd: 16rFF);<br>
- storeByte: 1 ofObject: newLargeInteger withValue: (integerValue >> 8 bitAnd: 16rFF);<br>
- storeByte: 0 ofObject: newLargeInteger withValue: (integerValue ">> 0" bitAnd: 16rFF)]<br>
ifFalse:<br>
[objectMemory storeLong32: 0 ofObject: newLargeInteger withValue: integerValue].<br>
^newLargeInteger!<br>
<br>
Item was changed:<br>
----- Method: StackInterpreter>>noInlineSigned32BitIntegerFor: (in category 'primitive support') -----<br>
noInlineSigned32BitIntegerFor: integerValue<br>
"Answer a full 32 bit integer object for the given integer value."<br>
<notOption: #Spur64BitMemoryManager><br>
| newLargeInteger value largeClass |<br>
<inline: false><br>
(objectMemory isIntegerValue: integerValue) ifTrue:<br>
[^objectMemory integerObjectOf: integerValue].<br>
self deny: objectMemory hasSixtyFourBitImmediates.<br>
integerValue < 0<br>
ifTrue: [largeClass := ClassLargeNegativeIntegerCompactIndex.<br>
value := 0 - integerValue]<br>
ifFalse: [largeClass := ClassLargePositiveIntegerCompactIndex.<br>
value := integerValue].<br>
newLargeInteger := objectMemory<br>
eeInstantiateSmallClassIndex: largeClass<br>
format: (objectMemory byteFormatForNumBytes: 4)<br>
numSlots: 1.<br>
self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [objectMemory storeLong32: 0 ofObject: newLargeInteger withValue: value byteSwap32]<br>
- [objectMemory<br>
- storeByte: 3 ofObject: newLargeInteger withValue: ((value >> 24) bitAnd: 16rFF);<br>
- storeByte: 2 ofObject: newLargeInteger withValue: ((value >> 16) bitAnd: 16rFF);<br>
- storeByte: 1 ofObject: newLargeInteger withValue: ((value >> 8) bitAnd: 16rFF);<br>
- storeByte: 0 ofObject: newLargeInteger withValue: (value bitAnd: 16rFF)]<br>
ifFalse:<br>
[objectMemory storeLong32: 0 ofObject: newLargeInteger withValue: value].<br>
^newLargeInteger!<br>
<br>
Item was changed:<br>
----- Method: StackInterpreter>>positive64BitIntegerFor: (in category 'primitive support') -----<br>
positive64BitIntegerFor: integerValue<br>
<api><br>
<var: 'integerValue' type: #usqLong><br>
<var: 'highWord' type: #'unsigned int'><br>
"Answer a Large Positive Integer object for the given integer value. N.B. will *not* cause a GC."<br>
| newLargeInteger highWord sz |<br>
objectMemory hasSixtyFourBitImmediates<br>
ifTrue:<br>
[(self cCode: [integerValue] inSmalltalk: [integerValue bitAnd: 1 << 64 - 1]) <= objectMemory maxSmallInteger ifTrue:<br>
[^objectMemory integerObjectOf: integerValue].<br>
sz := 8]<br>
ifFalse:<br>
[(highWord := integerValue >> 32) = 0 ifTrue:<br>
[^self positive32BitIntegerFor: integerValue].<br>
sz := 5.<br>
(highWord := highWord >> 8) = 0 ifFalse:<br>
[sz := sz + 1.<br>
(highWord := highWord >> 8) = 0 ifFalse:<br>
[sz := sz + 1.<br>
(highWord := highWord >> 8) = 0 ifFalse:[sz := sz + 1]]]].<br>
newLargeInteger := objectMemory<br>
eeInstantiateSmallClassIndex: ClassLargePositiveIntegerCompactIndex<br>
format: (objectMemory byteFormatForNumBytes: sz)<br>
numSlots: 8 / objectMemory bytesPerOop.<br>
self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [objectMemory storeLong64: 0 ofObject: newLargeInteger withValue: integerValue byteSwap64]<br>
- [objectMemory<br>
- storeByte: 7 ofObject: newLargeInteger withValue: (integerValue >> 56 bitAnd: 16rFF);<br>
- storeByte: 6 ofObject: newLargeInteger withValue: (integerValue >> 48 bitAnd: 16rFF);<br>
- storeByte: 5 ofObject: newLargeInteger withValue: (integerValue >> 40 bitAnd: 16rFF);<br>
- storeByte: 4 ofObject: newLargeInteger withValue: (integerValue >> 32 bitAnd: 16rFF);<br>
- storeByte: 3 ofObject: newLargeInteger withValue: (integerValue >> 24 bitAnd: 16rFF);<br>
- storeByte: 2 ofObject: newLargeInteger withValue: (integerValue >> 16 bitAnd: 16rFF);<br>
- storeByte: 1 ofObject: newLargeInteger withValue: (integerValue >> 8 bitAnd: 16rFF);<br>
- storeByte: 0 ofObject: newLargeInteger withValue: (integerValue ">> 0" bitAnd: 16rFF)]<br>
ifFalse:<br>
[objectMemory storeLong64: 0 ofObject: newLargeInteger withValue: integerValue].<br>
^newLargeInteger<br>
!<br>
<br>
Item was changed:<br>
----- Method: StackInterpreter>>signed64BitIntegerFor: (in category 'primitive support') -----<br>
signed64BitIntegerFor: integerValue<br>
<var: 'integerValue' type: #sqLong><br>
"Answer a Large Integer object for the given integer value. N.B. will *not* cause a GC."<br>
| newLargeInteger magnitude largeClass highWord sz |<br>
<inline: false><br>
<var: 'magnitude' type: #usqLong><br>
<var: 'highWord' type: #usqInt><br>
<br>
integerValue < 0<br>
ifTrue:[ integerValue >= objectMemory minSmallInteger ifTrue: [^objectMemory integerObjectOf: integerValue asInteger].<br>
largeClass := ClassLargeNegativeIntegerCompactIndex.<br>
magnitude := 0 - (self cCoerceSimple: integerValue to: #usqLong)]<br>
ifFalse:[ integerValue <= objectMemory maxSmallInteger ifTrue: [^objectMemory integerObjectOf: integerValue asInteger].<br>
largeClass := ClassLargePositiveIntegerCompactIndex.<br>
magnitude := integerValue].<br>
<br>
objectMemory wordSize = 8<br>
ifTrue: [sz := 8]<br>
ifFalse: [<br>
(highWord := magnitude >> 32) = 0<br>
ifTrue: [sz := 4]<br>
ifFalse:<br>
[sz := 5.<br>
(highWord := highWord >> 8) = 0 ifFalse:<br>
[sz := sz + 1.<br>
(highWord := highWord >> 8) = 0 ifFalse:<br>
[sz := sz + 1.<br>
(highWord := highWord >> 8) = 0 ifFalse:<br>
[sz := sz + 1]]]]].<br>
<br>
newLargeInteger := objectMemory<br>
eeInstantiateSmallClassIndex: largeClass<br>
format: (objectMemory byteFormatForNumBytes: sz)<br>
numSlots: sz + 3 // objectMemory bytesPerOop.<br>
self cppIf: VMBIGENDIAN<br>
ifTrue:<br>
+ [sz > 4<br>
+ ifTrue: [objectMemory storeLong64: 0 ofObject: newLargeInteger withValue: magnitude byteSwap64]<br>
+ ifFalse: [objectMemory storeLong32: 0 ofObject: newLargeInteger withValue: magnitude byteSwap32]]<br>
- [sz > 4 ifTrue:<br>
- [objectMemory<br>
- storeByte: 7 ofObject: newLargeInteger withValue: (magnitude >> 56 bitAnd: 16rFF);<br>
- storeByte: 6 ofObject: newLargeInteger withValue: (magnitude >> 48 bitAnd: 16rFF);<br>
- storeByte: 5 ofObject: newLargeInteger withValue: (magnitude >> 40 bitAnd: 16rFF);<br>
- storeByte: 4 ofObject: newLargeInteger withValue: (magnitude >> 32 bitAnd: 16rFF)].<br>
- objectMemory<br>
- storeByte: 3 ofObject: newLargeInteger withValue: (magnitude >> 24 bitAnd: 16rFF);<br>
- storeByte: 2 ofObject: newLargeInteger withValue: (magnitude >> 16 bitAnd: 16rFF);<br>
- storeByte: 1 ofObject: newLargeInteger withValue: (magnitude >> 8 bitAnd: 16rFF);<br>
- storeByte: 0 ofObject: newLargeInteger withValue: (magnitude ">> 0" bitAnd: 16rFF)]<br>
ifFalse:<br>
[sz > 4<br>
ifTrue: [objectMemory storeLong64: 0 ofObject: newLargeInteger withValue: magnitude]<br>
ifFalse: [objectMemory storeLong32: 0 ofObject: newLargeInteger withValue: (self cCode: [magnitude] inSmalltalk: [magnitude bitAnd: 16rFFFFFFFF])]].<br>
^newLargeInteger!<br>
<br>
Item was changed:<br>
----- Method: StackInterpreter>>wordSwapped: (in category 'image save/restore') -----<br>
wordSwapped: w<br>
"Return the given 64-bit integer with its halves in the reverse order."<br>
<br>
objectMemory wordSize = 8 ifFalse: [self error: 'This cannot happen.'].<br>
+ ^ ((w >> 32) bitAnd: 16r00000000FFFFFFFF) bitOr:<br>
+ ((w << 32) bitAnd: 16rFFFFFFFF00000000)<br>
- ^ ((w bitShift: Byte4ShiftNegated) bitAnd: Bytes3to0Mask)<br>
- + ((w bitShift: Byte4Shift ) bitAnd: Bytes7to4Mask)<br>
!<br>
<br>
Item was changed:<br>
----- Method: ThreadedFFIPlugin>>ffiCreateIntegralResultOop:ofAtomicType:in: (in category 'callout support') -----<br>
ffiCreateIntegralResultOop: retVal ofAtomicType: atomicType in: calloutState<br>
<inline: true><br>
<var: #calloutState type: #'CalloutState *'><br>
<var: #retVal type: #usqLong><br>
"Callout support. Return the appropriate oop for the given atomic type"<br>
| shift value mask byteSize |<br>
<var: 'value' type: #usqLong><br>
<var: 'mask' type: #usqLong><br>
self assert: atomicType < FFITypeSingleFloat.<br>
<br>
atomicType = FFITypeBool ifTrue:<br>
["Make sure bool honors the byte size requested"<br>
byteSize := calloutState ffiRetHeader bitAnd: FFIStructSizeMask.<br>
value := byteSize = (self sizeof: retVal)<br>
ifTrue:[retVal]<br>
ifFalse:[retVal bitAnd: 1 << (byteSize * 8) - 1].<br>
^value = 0<br>
ifTrue:[interpreterProxy falseObject]<br>
ifFalse:[interpreterProxy trueObject]].<br>
atomicType <= FFITypeSignedInt ifTrue:<br>
["these are all generall integer returns"<br>
atomicType <= (BytesPerWord = 8 ifTrue: [FFITypeSignedInt] ifFalse: [FFITypeSignedShort]) ifTrue:<br>
["byte/short. first extract partial word, then sign extend"<br>
shift := (BytesPerWord = 8 and: [atomicType >= FFITypeUnsignedInt])<br>
ifTrue: [32]<br>
ifFalse: [(atomicType >> 1) * 8]. "# of significant bits"<br>
value := retVal bitAnd: (1 asUnsignedLong << shift - 1).<br>
(atomicType anyMask: 1) ifTrue:<br>
["make the guy signed"<br>
mask := 1 asUnsignedLong << (shift-1).<br>
value := (value bitAnd: mask-1) - (value bitAnd: mask)].<br>
^interpreterProxy integerObjectOf: value].<br>
"Word sized integer return"<br>
^(atomicType anyMask: 1)<br>
ifTrue:[interpreterProxy signedMachineIntegerFor: retVal] "signed return"<br>
ifFalse:[interpreterProxy positiveMachineIntegerFor: retVal]]. "unsigned return"<br>
<br>
"longlong, char"<br>
^(atomicType >> 1) = (FFITypeSignedLongLong >> 1)<br>
ifTrue:<br>
[(atomicType anyMask: 1)<br>
ifTrue:[interpreterProxy signed64BitIntegerFor: retVal] "signed return"<br>
ifFalse:[interpreterProxy positive64BitIntegerFor: retVal]]<br>
ifFalse:<br>
+ [interpreterProxy characterObjectOf: (retVal bitAnd: 16rFF)]!<br>
- [interpreterProxy characterObjectOf: (retVal bitAnd: Byte0Mask)]!<br>
<br>
Item was changed:<br>
SharedPool subclass: #VMBasicConstants<br>
instanceVariableNames: ''<br>
+ classVariableNames: 'BaseHeaderSize BytesPerOop BytesPerWord COGMTVM COGVM DisownVMLockOutFullGC DoAssertionChecks DoExpensiveAssertionChecks GCModeBecome GCModeFreeSpace GCModeFull GCModeImageSegment GCModeIncremental GCModeNewSpace IMMUTABILITY MULTIPLEBYTECODESETS NewspeakVM PharoVM PrimErrBadArgument PrimErrBadIndex PrimErrBadMethod PrimErrBadNumArgs PrimErrBadReceiver PrimErrGenericFailure PrimErrInappropriate PrimErrLimitExceeded PrimErrNamedInternal PrimErrNoCMemory PrimErrNoMemory PrimErrNoModification PrimErrNotFound PrimErrObjectIsPinned PrimErrObjectMayMove PrimErrUnsupported PrimErrWritePastObject PrimNoErr SPURVM STACKVM SistaVM VMBIGENDIAN'<br>
- classVariableNames: 'BaseHeaderSize Byte0Mask Byte0Shift Byte1Mask Byte1Shift Byte1ShiftNegated Byte2Mask Byte2Shift Byte3Mask Byte3Shift Byte3ShiftNegated Byte4Mask Byte4Shift Byte4ShiftNegated Byte5Mask Byte5Shift Byte5ShiftNegated Byte6Mask Byte6Shift Byte7Mask Byte7Shift Byte7ShiftNegated Bytes3to0Mask Bytes7to4Mask BytesPerOop BytesPerWord COGMTVM COGVM DisownVMLockOutFullGC DoAssertionChecks DoExpensiveAssertionChecks GCModeBecome GCModeFreeSpace GCModeFull GCModeImageSegment GCModeIncremental GCModeNewSpace IMMUTABILITY MULTIPLEBYTECODESETS NewspeakVM PharoVM PrimErrBadArgument PrimErrBadIndex PrimErrBadMethod PrimErrBadNumArgs PrimErrBadReceiver PrimErrGenericFailure PrimErrInappropriate PrimErrLimitExceeded PrimErrNamedInternal PrimErrNoCMemory PrimErrNoMemory PrimErrNoModification PrimErrNotFound PrimErrObjectIsPinned PrimErrObjectMayMove PrimErrUnsupported PrimErrWritePastObject PrimNoErr SPURVM STACKVM SistaVM VMBIGENDIAN'<br>
poolDictionaries: ''<br>
category: 'VMMaker-Interpreter'!<br>
<br>
!VMBasicConstants commentStamp: '<historical>' prior: 0!<br>
I am a shared pool for basic constants upon which the VM as a whole depends.<br>
<br>
self ensureClassPool.<br>
self classPool declare: #BytesPerWord from: VMSqueakV3ObjectRepresentationConstants classPool.<br>
self classPool declare: #BaseHeaderSize from: VMSqueakV3ObjectRepresentationConstants classPool<br>
(ObjectMemory classPool keys select: [:k| k beginsWith: 'Byte']) do:<br>
[:k| self classPool declare: k from: ObjectMemory classPool]!<br>
<br>
</blockquote></div><br></div>