Vm-dev August 2022

vm-dev@lists.squeakfoundation.org

11 participants
75 discussions

[OpenSmalltalk/opensmalltalk-vm] Support for NetBSD (Issue #649)
by asarch 05 Aug '22

05 Aug '22

Is this platform supported? [squeak_netbsd.log](https://github.com/OpenSmalltalk/opensmalltalk-vm/files/… -- Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/649 You are receiving this because you are subscribed to this thread. Message ID: <OpenSmalltalk/opensmalltalk-vm/issues/649(a)github.com>

2 2

[OpenSmalltalk/opensmalltalk-vm] can't find SqueakV50.sources (Issue #647)
by asarch 05 Aug '22

05 Aug '22

I get that when I build opensmalltalk-vm/building/linux64x64/newspeak.cog.spur. Where should I put that file? Here is the log: [newspeak_compilacion.log](https://github.com/OpenSmalltalk/opensmalltalk-vm… -- Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/647 You are receiving this because you are subscribed to this thread. Message ID: <OpenSmalltalk/opensmalltalk-vm/issues/647(a)github.com>

2 5

VM Maker: VMMaker.oscog-eem.3245.mcz
by commits＠source.squeak.org 05 Aug '22

05 Aug '22

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3245.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3245 Author: eem Time: 4 August 2022, 3:38:24.832997 pm UUID: bd2ce199-2ad9-4a5e-9e2d-a381d8d58de9 Ancestors: VMMaker.oscog-eem.3244 SmartSyntaxPlugins: Add StringOrNil as a convenience. =============== Diff against VMMaker.oscog-eem.3244 =============== Item was changed: ----- Method: SmartSyntaxPluginAssignmentCodeGenerator>>ccgValBlock:or:index: (in category 'coercing support') ----- ccgValBlock: unarySelector or: anInterpreterProxyTestingSelector index: index ^String streamContents: [:s| | a loadSelector | a := self stackAccessorFor: index. loadSelector := (anInterpreterProxyTestingSelector caseOf: { [#isWordsOrBytes:] -> [#firstIndexableField:]. + [#isBytes:] -> [#firstIndexableField:]. }). s nextPutAll: 'interpreterProxy '; nextPutAll: unarySelector; nextPutAll: ' = '; nextPutAll: a. s nextPutAll: ' ifTrue: [0 asVoidPointer] ifFalse: [interpreterProxy '; nextPutAll: loadSelector; space; nextPutAll: a; nextPut: $]]! Item was added: + String subclass: #StringOrNil + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'VMMaker-SmartSyntaxPlugins'! + + !StringOrNil commentStamp: 'eem 8/4/2022 15:38' prior: 0! + Coercion specification for byte objects like ByteString, ByteArray, et al to void *, and nil to (void *)0! Item was added: + ----- Method: StringOrNil class>>ccg:prolog:expr:index: (in category 'plugin generation') ----- + ccg: cg prolog: aBlockOrCTypeStringOrNil expr: aString index: index + + ^cg + ccgLoad: aBlockOrCTypeStringOrNil + expr: aString + asPtrFrom: nil + andThen: (cg ccgValBlock: #nilObject or: #isBytes: index: index)! Item was added: + ----- Method: StringOrNil class>>ccgCanConvertFrom: (in category 'plugin generation') ----- + ccgCanConvertFrom: anObject + + ^anObject class isBits or: [anObject isNil]!

1 0

[OpenSmalltalk/opensmalltalk-vm] 966a92: CogVM source as per VMMaker.oscog-eem.3244
by Eliot Miranda 02 Aug '22

02 Aug '22

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 966a9280e10d0335b6c9cd7f2f837d86c2026e2d https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/966a9280e10d0335b6… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2022-08-02 (Tue, 02 Aug 2022) Changed paths: M src/plugins/SqueakFFIPrims/ARM64AppleFFIPlugin.c M src/plugins/SqueakFFIPrims/ARM64FFIPlugin.c M src/plugins/SqueakFFIPrims/RiscV64FFIPlugin.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.3244 ThreadedARM64FFIPlugin & ThreadedRiscV64FFIPlugin: Ugh; cuz of inlining ffiCalloutTo:SpecOnStack:in: twice into primitiveCallout[WithArgs] due to COGMTVM, the anonymous union used to process float and double vector returns causes the C compiler to barf. So introduce a proper type for this (ThreadedFFI64Bit32ByteReturnDF).

1 0

VM Maker: VMMaker.oscog-eem.3244.mcz
by commits＠source.squeak.org 02 Aug '22

02 Aug '22

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3244.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3244 Author: eem Time: 2 August 2022, 1:59:59.86104 pm UUID: 98e61bf5-2a20-41ed-8f39-413a9785e1a1 Ancestors: VMMaker.oscog-eem.3243 ...and don't forget ThreadedRiscV64FFIPlugin =============== Diff against VMMaker.oscog-eem.3243 =============== Item was changed: ----- Method: ThreadedARM64FFIPlugin>>ffiCalloutTo:SpecOnStack:in: (in category 'callout support') ----- ffiCalloutTo: procAddr SpecOnStack: specOnStack in: calloutState <var: #procAddr type: #'void *'> <var: #calloutState type: #'CalloutState *'> <var: #loadFloatRegs declareC: 'extern void loadFloatRegs(double, double, double, double, double, double, double, double)'> "Go out, call this guy and create the return value. This *must* be inlined because of the alloca of the outgoing stack frame in ffiCall:WithFlags:NumArgs:Args:AndTypes:" | myThreadIndex atomicType floatRet intRet structRet specSize | + <var: 'floatRet' type: #ThirtyTwoByteReturnDF> + <var: 'structRet' type: #SixteenByteReturnII> + <var: 'intRet' type: #usqLong> - <var: #floatRet type: #ThirtyTwoByteReturnDF> - <var: #structRet type: #SixteenByteReturnII> - <var: #intRet type: #usqLong> <inline: #always> self cCode: [] inSmalltalk: [floatRet := ByteArray new: 32]. "Just a hack to placate the Smalltalk compiler; these should be proper struct types..." myThreadIndex := interpreterProxy disownVM: (self disownFlagsFor: calloutState). calloutState floatRegisterIndex > 0 ifTrue: [self loadFloatRegs: (calloutState floatRegisters at: 0) _: (calloutState floatRegisters at: 1) _: (calloutState floatRegisters at: 2) _: (calloutState floatRegisters at: 3) _: (calloutState floatRegisters at: 4) _: (calloutState floatRegisters at: 5) _: (calloutState floatRegisters at: 6) _: (calloutState floatRegisters at: 7)]. (self allocaLiesSoSetSpBeforeCall or: [self mustAlignStack]) ifTrue: [self setsp: calloutState argVector]. atomicType := self atomicTypeOf: calloutState ffiRetHeader. ((atomicType >> 1) = (FFITypeSingleFloat >> 1) or: [(calloutState ffiRetHeader bitAnd: FFIFlagPointer+FFIFlagStructure) = FFIFlagStructure and: [self structIsHomogenousFloatArrayOfSize: (calloutState ffiRetHeader bitAnd: FFIStructSizeMask) typeSpec: (self cCoerce: (interpreterProxy firstIndexableField: calloutState ffiRetSpec) to: #'unsigned int *') ofLength: (specSize := interpreterProxy byteSizeOf: calloutState ffiRetSpec) / (self sizeof: #'unsigned int')]]) ifTrue: [floatRet d: (self dispatchFunctionPointer: (self cCoerceSimple: procAddr to: 'struct dprr (*)(sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t)') with: (calloutState integerRegisters at: 0) with: (calloutState integerRegisters at: 1) with: (calloutState integerRegisters at: 2) with: (calloutState integerRegisters at: 3) with: (calloutState integerRegisters at: 4) with: (calloutState integerRegisters at: 5) with: (calloutState integerRegisters at: 6) with: (calloutState integerRegisters at: 7)). "undo any callee argument pops because it may confuse stack management with the alloca." (self isCalleePopsConvention: calloutState callFlags) ifTrue: [self setsp: calloutState argVector]. interpreterProxy ownVM: myThreadIndex. atomicType = FFITypeDoubleFloat ifTrue: [^interpreterProxy floatObjectOf: (floatRet d doubles at: 0)]. atomicType = FFITypeSingleFloat ifTrue: [^interpreterProxy floatObjectOf: (floatRet f floats at: 0)]. "If the struct is a vector of floats then move float[2] to float[1], float[4] to float[2] and float[6] to float[3], to pack the float data in the double fields. We can tell if the struct is composed of floats if its size is less than the spec size, since the spec size is (1 + n fields) * 4 bytes, and the struct size is n fields * 4 bytes for floats and n fields * 8 bytes for doubles. We can't access the spec post call because it may have moved." specSize > calloutState structReturnSize ifTrue: [floatRet f floats at: 1 put: (floatRet f floats at: 2). floatRet f floats at: 2 put: (floatRet f floats at: 4). floatRet f floats at: 3 put: (floatRet f floats at: 6)]. ^self ffiReturnStruct: (self addressOf: floatRet) ofType: (self ffiReturnType: specOnStack) in: calloutState]. "Integer and Structure returns..." "If struct address used for return value, call is special; struct return pointer must be in x8" (self mustReturnStructOnStack: calloutState structReturnSize) ifTrue: [intRet := 0. self setReturnRegister: (self cCoerceSimple: calloutState limit to: #sqLong) "stack alloca'd struct" andCall: (self cCoerceSimple: procAddr to: #sqLong) withArgsArray: (self cCoerceSimple: (self addressOf: calloutState integerRegisters) to: #sqLong)] ifFalse: [structRet := self dispatchFunctionPointer: (self cCoerceSimple: procAddr to: 'SixteenByteReturnII (*)(sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t)') with: (calloutState integerRegisters at: 0) with: (calloutState integerRegisters at: 1) with: (calloutState integerRegisters at: 2) with: (calloutState integerRegisters at: 3) with: (calloutState integerRegisters at: 4) with: (calloutState integerRegisters at: 5) with: (calloutState integerRegisters at: 6) with: (calloutState integerRegisters at: 7). intRet := structRet a]. "X1" "undo any callee argument pops because it may confuse stack management with the alloca." (self isCalleePopsConvention: calloutState callFlags) ifTrue: [self setsp: calloutState argVector]. interpreterProxy ownVM: myThreadIndex. (calloutState ffiRetHeader anyMask: FFIFlagPointer+FFIFlagStructure) ifTrue: [| returnType | "Note: Order is important here since FFIFlagPointer + FFIFlagStructure is used to represent 'typedef void* VoidPointer' and VoidPointer must be returned as pointer *not* as struct." returnType := self ffiReturnType: specOnStack. (calloutState ffiRetHeader anyMask: FFIFlagPointer) ifTrue: [^self ffiReturnPointer: intRet ofType: returnType in: calloutState]. ^self ffiReturnStruct: (((self returnStructInRegisters: calloutState) ifTrue: [self cCoerceSimple: (self addressOf: structRet) to: #'char *'] ifFalse: [calloutState limit])) ofType: returnType in: calloutState]. ^self ffiCreateIntegralResultOop: intRet ofAtomicType: atomicType in: calloutState! Item was changed: ----- Method: ThreadedRiscV64FFIPlugin>>ffiCalloutTo:SpecOnStack:in: (in category 'callout support') ----- ffiCalloutTo: procAddr SpecOnStack: specOnStack in: calloutState <var: #procAddr type: #'void *'> <var: #calloutState type: #'CalloutState *'> <var: #loadFloatRegs declareC: 'extern void loadFloatRegs(double, double, double, double, double, double, double, double)'> "Go out, call this guy and create the return value. This *must* be inlined because of the alloca of the outgoing stack frame in ffiCall:WithFlags:NumArgs:Args:AndTypes:" | myThreadIndex atomicType floatRet intRet structRet specSize | + <var: 'doubleRet' type: #double> + <var: 'floatRet' type: #ThirtyTwoByteReturnDF> + <var: 'structRet' type: #SixteenByteReturnII> + <var: 'intRet' type: #usqLong> - <var: #doubleRet type: #double> - <var: #floatRet type: 'union { struct { float floats[8]; } f; struct dprr { double doubles[4]; } d; }'> - <var: #structRet type: #SixteenByteReturnII> - <var: #intRet type: #usqLong> <inline: #always> self cCode: [] inSmalltalk: [floatRet := ByteArray new: 32]. "Just a hack to placate the Smalltalk compiler; these should be proper struct types..." myThreadIndex := interpreterProxy disownVM: (self disownFlagsFor: calloutState). calloutState floatRegisterIndex > 0 ifTrue: [self loadFloatRegs: (calloutState floatRegisters at: 0) _: (calloutState floatRegisters at: 1) _: (calloutState floatRegisters at: 2) _: (calloutState floatRegisters at: 3) _: (calloutState floatRegisters at: 4) _: (calloutState floatRegisters at: 5) _: (calloutState floatRegisters at: 6) _: (calloutState floatRegisters at: 7)]. (self allocaLiesSoSetSpBeforeCall or: [self mustAlignStack]) ifTrue: [self setsp: calloutState argVector]. "float or double returns" atomicType := self atomicTypeOf: calloutState ffiRetHeader. (atomicType >> 1) = (FFITypeSingleFloat >> 1) ifTrue: [| doubleRet | atomicType = FFITypeDoubleFloat ifTrue: [doubleRet := (self dispatchFunctionPointer: (self cCoerceSimple: procAddr to: 'double (*)(sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t)') with: (calloutState integerRegisters at: 0) with: (calloutState integerRegisters at: 1) with: (calloutState integerRegisters at: 2) with: (calloutState integerRegisters at: 3) with: (calloutState integerRegisters at: 4) with: (calloutState integerRegisters at: 5) with: (calloutState integerRegisters at: 6) with: (calloutState integerRegisters at: 7))] ifFalse: [doubleRet := (self dispatchFunctionPointer: (self cCoerceSimple: procAddr to: 'float (*)(sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t)') with: (calloutState integerRegisters at: 0) with: (calloutState integerRegisters at: 1) with: (calloutState integerRegisters at: 2) with: (calloutState integerRegisters at: 3) with: (calloutState integerRegisters at: 4) with: (calloutState integerRegisters at: 5) with: (calloutState integerRegisters at: 6) with: (calloutState integerRegisters at: 7))]. "undo any callee argument pops because it may confuse stack management with the alloca." (self isCalleePopsConvention: calloutState callFlags) ifTrue: [self setsp: calloutState argVector]. interpreterProxy ownVM: myThreadIndex. ^self floatObjectOf: doubleRet]. "homogenous array of float/double returns" ((calloutState ffiRetHeader bitAnd: FFIFlagPointer+FFIFlagStructure) = FFIFlagStructure and: [self structIsHomogenousFloatArrayOfSize: (calloutState ffiRetHeader bitAnd: FFIStructSizeMask) typeSpec: (self cCoerce: (interpreterProxy firstIndexableField: calloutState ffiRetSpec) to: #'unsigned int *') ofLength: (specSize := interpreterProxy byteSizeOf: calloutState ffiRetSpec) / (self sizeof: #'unsigned int')]) ifTrue: [floatRet d: (self dispatchFunctionPointer: (self cCoerceSimple: procAddr to: 'struct dprr (*)(sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t)') with: (calloutState integerRegisters at: 0) with: (calloutState integerRegisters at: 1) with: (calloutState integerRegisters at: 2) with: (calloutState integerRegisters at: 3) with: (calloutState integerRegisters at: 4) with: (calloutState integerRegisters at: 5) with: (calloutState integerRegisters at: 6) with: (calloutState integerRegisters at: 7)). "undo any callee argument pops because it may confuse stack management with the alloca." (self isCalleePopsConvention: calloutState callFlags) ifTrue: [self setsp: calloutState argVector]. interpreterProxy ownVM: myThreadIndex. "If the struct is a vector of floats then move float[2] to float[1], float[4] to float[2] and float[6] to float[3], to pack the float data in the double fields. We can tell if the struct is composed of floats if its size is less than the spec size, since the spec size is (1 + n fields) * 4 bytes, and the struct size is n fields * 4 bytes for floats and n fields * 8 bytes for doubles. We can't access the spec post call because it may have moved." specSize > calloutState structReturnSize ifTrue: [floatRet f floats at: 1 put: (floatRet f floats at: 2). floatRet f floats at: 2 put: (floatRet f floats at: 4). floatRet f floats at: 3 put: (floatRet f floats at: 6)]. ^self ffiReturnStruct: (self addressOf: floatRet) ofType: (self ffiReturnType: specOnStack) in: calloutState]. "Integer and Structure returns..." (self mustReturnStructOnStack: calloutState structReturnSize) ifTrue: [intRet := 0. self setReturnRegister: (self cCoerceSimple: calloutState limit to: #sqLong) "stack alloca'd struct" andCall: (self cCoerceSimple: procAddr to: #sqLong) withArgsArray: (self cCoerceSimple: (self addressOf: calloutState integerRegisters) to: #sqLong)] ifFalse: [structRet := self dispatchFunctionPointer: (self cCoerceSimple: procAddr to: 'SixteenByteReturnII (*)(sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t)') with: (calloutState integerRegisters at: 0) with: (calloutState integerRegisters at: 1) with: (calloutState integerRegisters at: 2) with: (calloutState integerRegisters at: 3) with: (calloutState integerRegisters at: 4) with: (calloutState integerRegisters at: 5) with: (calloutState integerRegisters at: 6) with: (calloutState integerRegisters at: 7). intRet := structRet a]. "X1" "undo any callee argument pops because it may confuse stack management with the alloca." (self isCalleePopsConvention: calloutState callFlags) ifTrue: [self setsp: calloutState argVector]. interpreterProxy ownVM: myThreadIndex. (calloutState ffiRetHeader anyMask: FFIFlagPointer+FFIFlagStructure) ifTrue: [| returnType | "Note: Order is important here since FFIFlagPointer + FFIFlagStructure is used to represent 'typedef void* VoidPointer' and VoidPointer must be returned as pointer *not* as struct." returnType := self ffiReturnType: specOnStack. (calloutState ffiRetHeader anyMask: FFIFlagPointer) ifTrue: [^self ffiReturnPointer: intRet ofType: returnType in: calloutState]. ^self ffiReturnStruct: (((self returnStructInRegisters: calloutState) ifTrue: [self cCoerceSimple: (self addressOf: structRet) to: #'char *'] ifFalse: [calloutState limit])) ofType: returnType in: calloutState]. ^self ffiCreateIntegralResultOop: intRet ofAtomicType: atomicType in: calloutState!

1 0

VM Maker: VMMaker.oscog-eem.3243.mcz
by commits＠source.squeak.org 02 Aug '22

02 Aug '22

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3243.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3243 Author: eem Time: 2 August 2022, 1:56:18.665698 pm UUID: 76d0de99-00c5-4bd8-9a86-cf507c911b03 Ancestors: VMMaker.oscog-eem.3242 ThreadedARM64FFIPlugin: Ugh; cuz of inlining ffiCalloutTo:SpecOnStack:in: twice into primitiveCallout[WithArgs] due to COGMTVM, the anonymous union used to process float and double vector returns causes the C compiler to barf. So introduce a proper type for this (ThreadedFFI64Bit32ByteReturnDF) and extend Slang to identify anonymous struct and union types as structs, and allow printing of anonymous struct types in printTypedefOn: (by passing nil as the inst var name). =============== Diff against VMMaker.oscog-eem.3242 =============== Item was changed: ----- Method: ThreadedARM64FFIPlugin class>>ancilliaryClasses (in category 'translation') ----- ancilliaryClasses ^super ancilliaryClasses, + { ThreadedFFI64Bit16ByteReturnII. ThreadedFFI64Bit32ByteReturnDF }! - { ThreadedFFI64Bit16ByteReturnII }! Item was changed: ----- Method: ThreadedARM64FFIPlugin class>>isStructType: (in category 'translation') ----- isStructType: typeName + ^#(SixteenByteReturnDD ThirtyTwoByteReturnDF) includes: typeName! - | space | - ^(space := typeName indexOf: Character space) > 0 - and: [#(union struct) includes: (typeName copyFrom: 1 to: space - 1)]! Item was changed: ----- Method: ThreadedARM64FFIPlugin>>ffiCalloutTo:SpecOnStack:in: (in category 'callout support') ----- ffiCalloutTo: procAddr SpecOnStack: specOnStack in: calloutState <var: #procAddr type: #'void *'> <var: #calloutState type: #'CalloutState *'> <var: #loadFloatRegs declareC: 'extern void loadFloatRegs(double, double, double, double, double, double, double, double)'> "Go out, call this guy and create the return value. This *must* be inlined because of the alloca of the outgoing stack frame in ffiCall:WithFlags:NumArgs:Args:AndTypes:" | myThreadIndex atomicType floatRet intRet structRet specSize | + <var: #floatRet type: #ThirtyTwoByteReturnDF> - <var: #floatRet type: 'union { struct { float floats[8]; } f; struct dprr { double doubles[4]; } d; }'> <var: #structRet type: #SixteenByteReturnII> <var: #intRet type: #usqLong> <inline: #always> self cCode: [] inSmalltalk: [floatRet := ByteArray new: 32]. "Just a hack to placate the Smalltalk compiler; these should be proper struct types..." myThreadIndex := interpreterProxy disownVM: (self disownFlagsFor: calloutState). calloutState floatRegisterIndex > 0 ifTrue: [self loadFloatRegs: (calloutState floatRegisters at: 0) _: (calloutState floatRegisters at: 1) _: (calloutState floatRegisters at: 2) _: (calloutState floatRegisters at: 3) _: (calloutState floatRegisters at: 4) _: (calloutState floatRegisters at: 5) _: (calloutState floatRegisters at: 6) _: (calloutState floatRegisters at: 7)]. (self allocaLiesSoSetSpBeforeCall or: [self mustAlignStack]) ifTrue: [self setsp: calloutState argVector]. atomicType := self atomicTypeOf: calloutState ffiRetHeader. ((atomicType >> 1) = (FFITypeSingleFloat >> 1) or: [(calloutState ffiRetHeader bitAnd: FFIFlagPointer+FFIFlagStructure) = FFIFlagStructure and: [self structIsHomogenousFloatArrayOfSize: (calloutState ffiRetHeader bitAnd: FFIStructSizeMask) typeSpec: (self cCoerce: (interpreterProxy firstIndexableField: calloutState ffiRetSpec) to: #'unsigned int *') ofLength: (specSize := interpreterProxy byteSizeOf: calloutState ffiRetSpec) / (self sizeof: #'unsigned int')]]) ifTrue: [floatRet d: (self dispatchFunctionPointer: (self cCoerceSimple: procAddr to: 'struct dprr (*)(sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t)') with: (calloutState integerRegisters at: 0) with: (calloutState integerRegisters at: 1) with: (calloutState integerRegisters at: 2) with: (calloutState integerRegisters at: 3) with: (calloutState integerRegisters at: 4) with: (calloutState integerRegisters at: 5) with: (calloutState integerRegisters at: 6) with: (calloutState integerRegisters at: 7)). "undo any callee argument pops because it may confuse stack management with the alloca." (self isCalleePopsConvention: calloutState callFlags) ifTrue: [self setsp: calloutState argVector]. interpreterProxy ownVM: myThreadIndex. atomicType = FFITypeDoubleFloat ifTrue: [^interpreterProxy floatObjectOf: (floatRet d doubles at: 0)]. atomicType = FFITypeSingleFloat ifTrue: [^interpreterProxy floatObjectOf: (floatRet f floats at: 0)]. "If the struct is a vector of floats then move float[2] to float[1], float[4] to float[2] and float[6] to float[3], to pack the float data in the double fields. We can tell if the struct is composed of floats if its size is less than the spec size, since the spec size is (1 + n fields) * 4 bytes, and the struct size is n fields * 4 bytes for floats and n fields * 8 bytes for doubles. We can't access the spec post call because it may have moved." specSize > calloutState structReturnSize ifTrue: [floatRet f floats at: 1 put: (floatRet f floats at: 2). floatRet f floats at: 2 put: (floatRet f floats at: 4). floatRet f floats at: 3 put: (floatRet f floats at: 6)]. ^self ffiReturnStruct: (self addressOf: floatRet) ofType: (self ffiReturnType: specOnStack) in: calloutState]. "Integer and Structure returns..." "If struct address used for return value, call is special; struct return pointer must be in x8" (self mustReturnStructOnStack: calloutState structReturnSize) ifTrue: [intRet := 0. self setReturnRegister: (self cCoerceSimple: calloutState limit to: #sqLong) "stack alloca'd struct" andCall: (self cCoerceSimple: procAddr to: #sqLong) withArgsArray: (self cCoerceSimple: (self addressOf: calloutState integerRegisters) to: #sqLong)] ifFalse: [structRet := self dispatchFunctionPointer: (self cCoerceSimple: procAddr to: 'SixteenByteReturnII (*)(sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t, sqIntptr_t)') with: (calloutState integerRegisters at: 0) with: (calloutState integerRegisters at: 1) with: (calloutState integerRegisters at: 2) with: (calloutState integerRegisters at: 3) with: (calloutState integerRegisters at: 4) with: (calloutState integerRegisters at: 5) with: (calloutState integerRegisters at: 6) with: (calloutState integerRegisters at: 7). intRet := structRet a]. "X1" "undo any callee argument pops because it may confuse stack management with the alloca." (self isCalleePopsConvention: calloutState callFlags) ifTrue: [self setsp: calloutState argVector]. interpreterProxy ownVM: myThreadIndex. (calloutState ffiRetHeader anyMask: FFIFlagPointer+FFIFlagStructure) ifTrue: [| returnType | "Note: Order is important here since FFIFlagPointer + FFIFlagStructure is used to represent 'typedef void* VoidPointer' and VoidPointer must be returned as pointer *not* as struct." returnType := self ffiReturnType: specOnStack. (calloutState ffiRetHeader anyMask: FFIFlagPointer) ifTrue: [^self ffiReturnPointer: intRet ofType: returnType in: calloutState]. ^self ffiReturnStruct: (((self returnStructInRegisters: calloutState) ifTrue: [self cCoerceSimple: (self addressOf: structRet) to: #'char *'] ifFalse: [calloutState limit])) ofType: returnType in: calloutState]. ^self ffiCreateIntegralResultOop: intRet ofAtomicType: atomicType in: calloutState! Item was added: + ThreadedFFIAbstractStructReturnStruct subclass: #ThreadedFFI64Bit32ByteReturnDF + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'VMMaker-Plugins-FFI'! + + !ThreadedFFI64Bit32ByteReturnDF commentStamp: 'eem 8/2/2022 13:55' prior: 0! + A ThreadedFFI64Bit32ByteReturnDF is is a stub for returning an array of floats or an array of doubles in registers on ARM64 & RISCV64. It defines an anonymous union (see ThreadedFFI64Bit32ByteReturnDF typedef). + + Instance Variables + ! Item was added: + ----- Method: ThreadedFFI64Bit32ByteReturnDF class>>instVarNamesAndTypesForTranslationDo: (in category 'translation') ----- + instVarNamesAndTypesForTranslationDo: aBinaryBlock + "enumerate aBinaryBlock with the names and C type strings for the inst vars to include in a BlockStart struct." + + aBinaryBlock value: nil value: 'union {\ struct { float floats[8]; } f;\ struct dprr { double doubles[4]; } d;\ }' withCRs + + "self typedef"! Item was changed: VMStructType subclass: #ThreadedFFIAbstractStructReturnStruct instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'VMMaker-Plugins-FFI'! + + !ThreadedFFIAbstractStructReturnStruct commentStamp: 'eem 8/2/2022 13:54' prior: 0! + ThreadedFFIAbstractStructReturnStruct is the abstract superclass of various structs used to collect struct and/or array types in registers. + + Instance Variables + ! Item was changed: ----- Method: ThreadedFFIAbstractStructReturnStruct class>>structTypeName (in category 'translation') ----- structTypeName + "Map e.g. ThreadedFFI64Bit16ByteReturnDD to 'SixteenByteReturnDD'" + | index | + index := name indexOfSubCollection: 'ByteReturn' startingAt: 12 ifAbsent: [^name]. + ^(((name copyFrom: index - 2 to: index - 1) asInteger asWords subStrings: '-') collect: #capitalized) join, (name copyFrom: index to: name size) + + "self withAllSubclasses collect: [:sc| sc structTypeName]"! - ^'SixteenByteReturn', (self name last: 2)! Item was changed: ----- Method: ThreadedFFIPlugin>>isFloatAtomicType: (in category 'primitive support') ----- isFloatAtomicType: atomicTypeCode + <inline: true> "this is used in asserts; so not #always" - <inline: #always> "(atomicTypeCode >> 1) = (FFITypeSingleFloat >> 1)" ^atomicTypeCode >> 1 = 6 ! Item was changed: ----- Method: VMStructType class>>isTypeStruct: (in category 'translation') ----- isTypeStruct: type self ensureStructTypeCache. ^type notNil + and: [(StructTypeNameCache anySatisfy: - and: [StructTypeNameCache anySatisfy: [:structType| + type = structType]) + or: [(type beginsWith: 'struct ') + or: [type beginsWith: 'union ']]]! - type = structType]]! Item was changed: ----- Method: VMStructType class>>printTypedefOn: (in category 'translation') ----- printTypedefOn: aStream aStream nextPutAll: 'typedef struct '. self needsTypeTag ifTrue: [aStream nextPutAll: self structTagName; space]. aStream nextPut: ${; cr. self instVarNamesAndTypesForTranslationDo: [:ivn :typeArg| | type | + (ivn notNil and: [ivn first == $#]) - ivn first == $# ifTrue: [aStream nextPutAll: ivn] ifFalse: [type := typeArg. #(BytesPerWord BaseHeaderSize BytesPerOop) do: [:sizeConstant| | index sizeConstantSize | (type notNil and: [(index := type indexOf: sizeConstant ifAbsent: 0) > 0]) ifTrue: [sizeConstantSize := VMBasicConstants classPool at: sizeConstant. type := (type at: index + 1) = sizeConstantSize ifTrue: [type := type copyReplaceFrom: index to: index + 1 with: #(). type size = 1 ifTrue: [type first] ifFalse: [type]]]]. type ifNotNil: [type isArray ifTrue: [aStream tab: 1. aStream nextPutAll: type first. (type first last isSeparator or: [type first last = $*]) ifFalse: [aStream tab: 2]. aStream nextPutAll: ivn. type last first isAlphaNumeric ifTrue: [aStream space]. aStream nextPutAll: type last] ifFalse: [aStream tab: 1. aStream nextPutAll: type. type last isAlphaNumeric ifTrue: [aStream tab: 1]. + ivn ifNotNil: [aStream nextPutAll: ivn]]]. - aStream nextPutAll: ivn]]. aStream nextPut: $;]. aStream cr]. aStream nextPutAll: ' } '; nextPutAll: self structTypeName; nextPut: $;; cr. self name ~= self structTypeName ifTrue: [(self withAllSuperclasses copyUpThrough: (self class whichClassIncludesSelector: #structTypeName) theNonMetaClass) do: [:structClass| aStream cr; nextPutAll: '#define '; nextPutAll: structClass name; space; nextPutAll: self structTypeName]. aStream cr]. aStream flush!

1 0

[OpenSmalltalk/opensmalltalk-vm] 449d09: CogVM source as per VMMaker.oscog-eem.3242
by Eliot Miranda 02 Aug '22

02 Aug '22

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 449d09bb3b1a8b978f2adfb3240ad558b190a33f https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/449d09bb3b1a8b978f… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2022-08-02 (Tue, 02 Aug 2022) Changed paths: M src/plugins/IA32ABI/IA32ABI.c M src/plugins/SqueakFFIPrims/ARM32FFIPlugin.c M src/plugins/SqueakFFIPrims/ARM64AppleFFIPlugin.c M src/plugins/SqueakFFIPrims/ARM64FFIPlugin.c M src/plugins/SqueakFFIPrims/IA32FFIPlugin.c M src/plugins/SqueakFFIPrims/RiscV64FFIPlugin.c M src/plugins/SqueakFFIPrims/X64SysVFFIPlugin.c M src/plugins/SqueakFFIPrims/X64Win64FFIPlugin.c M src/spur32.cog.lowcode/cointerp.c M src/spur32.cog.lowcode/cointerp.h M src/spur32.cog.lowcode/gcc3x-cointerp.c M src/spur32.cog/cointerp.c M src/spur32.cog/cointerp.h M src/spur32.cog/cointerpmt.c M src/spur32.cog/cointerpmt.h M src/spur32.cog/gcc3x-cointerp.c M src/spur32.cog/gcc3x-cointerpmt.c M src/spur32.sista/cointerp.c M src/spur32.sista/cointerp.h M src/spur32.sista/gcc3x-cointerp.c M src/spur32.stack.lowcode/gcc3x-interp.c M src/spur32.stack.lowcode/interp.c M src/spur32.stack/gcc3x-interp.c M src/spur32.stack/interp.c M src/spur32.stack/validImage.c M src/spur64.cog.lowcode/cointerp.c M src/spur64.cog.lowcode/cointerp.h M src/spur64.cog.lowcode/gcc3x-cointerp.c M src/spur64.cog/cointerp.c M src/spur64.cog/cointerp.h M src/spur64.cog/cointerpmt.c M src/spur64.cog/cointerpmt.h M src/spur64.cog/gcc3x-cointerp.c M src/spur64.cog/gcc3x-cointerpmt.c M src/spur64.sista/cointerp.c M src/spur64.sista/cointerp.h M src/spur64.sista/gcc3x-cointerp.c M src/spur64.stack.lowcode/gcc3x-interp.c M src/spur64.stack.lowcode/interp.c M src/spur64.stack/gcc3x-interp.c M src/spur64.stack/interp.c M src/spur64.stack/validImage.c M src/v3.cog/cointerp.c M src/v3.cog/cointerp.h M src/v3.cog/gcc3x-cointerp.c M src/v3.stack/gcc3x-interp.c M src/v3.stack/interp.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.3242 General: Tiny tweak to eliminate duplicate strlens in methodHasPrimitiveInPrimTracePlugin: Slang: Abstract checking for names defineAtCompileTime: so that the VMPluginCodeGenerator can ask the pluginClass and ence that BytesPerWord is considered defined at compile time, except within the ThreadedFFIPlugins. ThreadedFFIPlugin: Always do inline ffiCall:ArgArrayOrNil:NumArgs:. We should err on the side of speed. The code size shouldn't affect icache performance because the primitiveCalloutWithArgs path is used very rarely in practice. Now that ffiCall:ArgArrayOrNil:NumArgs: is always inlined, also inline ffiReturnType:, avoiding unnecessary duplication. Have all ThreadedFFIPlugins assign BytesPerWord in their initialize methods, to inline positiveMachineIntegerFor: et al. Override InterpreterPlugin class>>#shouldGenerateDeadCode since these are very platform-specific and the dead code decision well under control. Fix nonRegisterStructReturnIsViaImplicitFirstArgument for RiscV64FFIPlugin. Make it inline always on all of them, along with a few others.

1 0

VM Maker: VMMaker.oscog-eem.3242.mcz
by commits＠source.squeak.org 02 Aug '22

02 Aug '22

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3242.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3242 Author: eem Time: 2 August 2022, 12:10:40.297421 pm UUID: 8971ffc8-7ec0-4556-8654-5abc437196bd Ancestors: VMMaker.oscog-eem.3241 ...again, close, but no cigar. =============== Diff against VMMaker.oscog-eem.3241 =============== Item was changed: ----- Method: MethodNode>>quickMethodReturnLiteral (in category '*VMMaker-C translation') ----- quickMethodReturnLiteral | expr | expr := self block statements last expr. ^expr isVariableNode + ifTrue: [#(nil false true) at: (#('nil' 'false' 'true') indexOf: expr key ifAbsent: [^expr key])] - ifTrue: [#(nil false true) at: (#('nil' 'false' 'true') indexOf: expr key)] ifFalse: [expr key]!

1 0

VM Maker: VMMaker.oscog-eem.3241.mcz
by commits＠source.squeak.org 02 Aug '22

02 Aug '22

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3241.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3241 Author: eem Time: 2 August 2022, 12:07:24.643254 pm UUID: 5c816837-269e-45e8-bc95-008f9dc43ae7 Ancestors: VMMaker.oscog-eem.3240 Simplify maintaining the list of processor and os specific names defined at compile time by considering any name beginning with an underscore ad defined at compile time. =============== Diff against VMMaker.oscog-eem.3240 =============== Item was changed: ----- Method: VMBasicConstants class>>defineAtCompileTime: (in category 'C translation') ----- defineAtCompileTime: anObject ^anObject isSymbol + and: ["("anObject first == $_ "a host of processor, compiler, and OS-specific names" + or: [self nonUnderscoreNamesDefinedAtCompileTime includes: anObject]") - and: ["("self namesDefinedAtCompileTime includes: anObject") ifTrue: [compileTimeQueries add: anObject. true] ifFalse: [translationTimeQueries add: anObject. false]"] "compileTimeQueries := Set new. translationTimeQueries := Set new" "self class removeInstVarName: 'compileTimeQueries'; removeInstVarName: 'translationTimeQueries'"! Item was removed: - ----- Method: VMBasicConstants class>>namesDefinedAtCompileTime (in category 'C translation') ----- - namesDefinedAtCompileTime - "Answer the set of names for variables that should be defined at compile time. - Some of these get default values during simulation, and hence get defaulted in - the various initializeMiscConstants methods. But that they have values should - /not/ cause the code generator to do dead code elimination based on their - default values. In particular, methods marked with <option: ANameDefinedAtCompileTime> - will be emitted within #if defined(ANameDefinedAtCompileTime)...#endif. - - And of course this is backwards. We'd like to define names that are defined at translation time. - But doing so would entail defining (or referencing) hundreds of class and pool variables. This way - is marginally more manageable." - ^#(VMBIGENDIAN - IMMUTABILITY - STACKVM COGVM COGMTVM SPURVM - PharoVM "Pharo vs Squeak" - TerfVM VM_TICKER "Terf vs Squeak & Qwaq/Teleplace/Terf high-priority thread support" - EnforceAccessControl "Newspeak" - CheckRememberedInTrampoline "IMMUTABILITY" - BIT_IDENTICAL_FLOATING_POINT PLATFORM_SPECIFIC_FLOATING_POINT "Alternatives for using fdlibm for floating-point" - ITIMER_HEARTBEAT "older linux's woultn't allow a higher priority thread, hence no threaded heartbeat." - TestingPrimitives - OBSOLETE_ALIEN_PRIMITIVES "Ancient crap in the IA32ABI plugin" - LLDB "As of lldb-370.0.42 Swift-3.1, passing function parameters to printOopsSuchThat fails with Internal error [IRForTarget]: Couldn't rewrite one of the arguments of a function call. Turning off link time optimization with -fno-lto has no effect. hence we define some debugging functions as being <option: LLDB>" - LRPCheck "Optional checking for long running primitives" - - "ThreadedFFIPlugin related" - ALLOCA_LIES_SO_SETSP_BEFORE_CALL PLATFORM_API_USES_CALLEE_POPS_CONVENTION SQUEAK_BUILTIN_PLUGIN STACK_ALIGN_BYTES - - "processor related" - __ARM_ARCH__ __arm__ __arm32__ ARM32 - __arm64__ __arm64 __aarch64__ ARM64 - __mips__ __mips - __powerpc __powerpc__ __powerpc64__ __POWERPC__ - __ppc__ __ppc64__ __PPC__ __PPC64__ - __riscv__ __riscv64__ __riscv __riscv64 - __sparc__ __sparc __sparc_v8__ __sparc_v9__ __sparcv8 __sparcv9 - _M_I386 _X86_ i386 i486 i586 i686 __i386__ __386__ X86 I386 - x86_64 __amd64 __x86_64 __amd64__ __x86_64__ _M_AMD64 _M_X64 - - "Compiler brand related" - __ACK__ - __CC_ARM - __clang__ - __GNUC__ - _MSC_VER - __ICC - __SUNPRO_C - - "os related" - ACORN - _AIX - __ANDROID__ - __APPLE__ - __BEOS__ - EPLAN9 - __FreeBSD__ __NetBSD__ __OpenBSD__ - __linux__ - __MACH__ - __MINGW32__ - __osf__ - __unix__ __unix UNIX - WIN32 _WIN32 _WIN32_WCE - WIN64 _WIN64 _WIN64_WCE)! Item was added: + ----- Method: VMBasicConstants class>>nonUnderscoreNamesDefinedAtCompileTime (in category 'C translation') ----- + nonUnderscoreNamesDefinedAtCompileTime + "Answer the set of names for variables that should be defined at compile time + (excepting those that begin with underscore, which we assume are defined at compile time). + Some of these get default values during simulation, and hence get defaulted in + the various initializeMiscConstants methods. But that they have values should + /not/ cause the code generator to do dead code elimination based on their + default values. In particular, methods marked with <option: ANameDefinedAtCompileTime> + will be emitted within #if defined(ANameDefinedAtCompileTime)...#endif. + + And of course this is backwards. We'd like to define names that are defined at translation time. + But doing so would entail defining (or referencing) hundreds of class and pool variables. This way + is marginally more manageable." + ^#(VMBIGENDIAN + IMMUTABILITY + STACKVM COGVM COGMTVM SPURVM + PharoVM "Pharo vs Squeak" + TerfVM VM_TICKER "Terf vs Squeak & Qwaq/Teleplace/Terf high-priority thread support" + EnforceAccessControl "Newspeak" + CheckRememberedInTrampoline "IMMUTABILITY" + BIT_IDENTICAL_FLOATING_POINT PLATFORM_SPECIFIC_FLOATING_POINT "Alternatives for using fdlibm for floating-point" + ITIMER_HEARTBEAT "older linux's woultn't allow a higher priority thread, hence no threaded heartbeat." + TestingPrimitives + OBSOLETE_ALIEN_PRIMITIVES "Ancient crap in the IA32ABI plugin" + LLDB "As of lldb-370.0.42 Swift-3.1, passing function parameters to printOopsSuchThat fails with Internal error [IRForTarget]: Couldn't rewrite one of the arguments of a function call. Turning off link time optimization with -fno-lto has no effect. hence we define some debugging functions as being <option: LLDB>" + LRPCheck "Optional checking for long running primitives" + + "Plugin related" + SQUEAK_BUILTIN_PLUGIN + "ThreadedFFIPlugin related" + ALLOCA_LIES_SO_SETSP_BEFORE_CALL PLATFORM_API_USES_CALLEE_POPS_CONVENTION STACK_ALIGN_BYTES + + "processor related" + ARM32 ARM64 + i386 i486 i586 i686 X86 I386 + x86_64 + + "os related" + ACORN + EPLAN9 + UNIX + WIN32 + WIN64)!

1 0

VM Maker: VMMaker.oscog-eem.3240.mcz
by commits＠source.squeak.org 02 Aug '22

02 Aug '22

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3240.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3240 Author: eem Time: 2 August 2022, 11:54:15.274325 am UUID: e1abe876-1ad1-474b-aaec-769bafbdb80a Ancestors: VMMaker.oscog-eem.3239 Just a little more Slang work is required to fix defining ObjectMemory>>#isForwarded: as a <cmacro>. =============== Diff against VMMaker.oscog-eem.3239 =============== Item was changed: ----- Method: MethodNode>>quickMethodReturnLiteral (in category '*VMMaker-C translation') ----- quickMethodReturnLiteral + | expr | + expr := self block statements last expr. + ^expr isVariableNode + ifTrue: [#(nil false true) at: (#('nil' 'false' 'true') indexOf: expr key)] + ifFalse: [expr key]! - ^self block statements last expr key!

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev August 2022