Squeak-dev August 2021

squeak-dev@lists.squeakfoundation.org

18 participants
221 discussions

The Inbox: Regex-Core-tobe.60.mcz
by commits＠source.squeak.org 12 Aug '21

12 Aug '21

A new version of Regex-Core was added to project The Inbox: http://source.squeak.org/inbox/Regex-Core-tobe.60.mcz ==================== Summary ==================== Name: Regex-Core-tobe.60 Author: tobe Time: 12 August 2021, 11:27:45.831532 am UUID: 80ec8d3d-9a84-4928-be0e-1b65787f895b Ancestors: Regex-Core-ct.59 When an escaped character appeared in a charset, we did not handle adjacent ranges correctly See RxParserTest>>testCharacterSetWithEscapedAndRange for examples. =============== Diff against Regex-Core-ct.59 =============== Item was changed: ----- Method: RxCharSetParser>>parseEscapeChar (in category 'parsing') ----- parseEscapeChar + | first | self match: $\. + first := (RxsPredicate forEscapedLetter: lookahead) + ifNil: [ RxsCharacter with: lookahead ]. + self next == $- ifFalse: [^ elements add: first]. + self next ifNil: [ + elements add: first. + ^ self addChar: $-]. + self addRangeFrom: first character to: lookahead. - elements add: ((RxsPredicate forEscapedLetter: lookahead) - ifNil: [ RxsCharacter with: lookahead ]). self next!

1 0

FFI: FFI-Callbacks-mt.26.mcz
by commits＠source.squeak.org 12 Aug '21

12 Aug '21

Marcel Taeumel uploaded a new version of FFI-Callbacks to project FFI: http://source.squeak.org/FFI/FFI-Callbacks-mt.26.mcz ==================== Summary ==================== Name: FFI-Callbacks-mt.26 Author: mt Time: 12 August 2021, 11:21:11.185222 am UUID: 7a80cde1-f678-084c-9a81-5ec72cb442e3 Ancestors: FFI-Callbacks-mt.25 Ports callback support for ARM64v8 from Alien project. =============== Diff against FFI-Callbacks-mt.25 =============== Item was added: + ----- Method: AlienStub class>>alienClass (in category 'class initialization') ----- + alienClass + + ^ Smalltalk specialObjectsArray at: 53! Item was added: + ----- Method: AlienStub class>>atAddress:dataSize: (in category 'instance creation') ----- + atAddress: address "<Integer>" dataSize: dataByteSize "<Integer>" "^<Alien>" + + ^ self new + sizeFieldPut: dataByteSize asInteger abs negated; + addressFieldPut: address; + yourself! Item was changed: ----- Method: AlienStub class>>isAlienLoaded (in category 'class initialization') ----- isAlienLoaded self flag: #alienCompatibility. + ^ self alienClass ~~ self! - ^ (Smalltalk specialObjectsArray at: 53) ~~ self! Item was changed: ----- Method: AlienStub class>>unload (in category 'class initialization') ----- unload Smalltalk removeFromStartUpList: self. + self isAlienLoaded ifFalse: [ - (Smalltalk specialObjectsArray at: 53) == self ifTrue: [ Smalltalk specialObjectsArray at: 53 put: nil].! Item was added: + ----- Method: AlienStub>>replaceFrom:to:with:startingAt: (in category 'primitives-accessing') ----- + replaceFrom: start "<Integer>" to: stop "<Integer>" with: replacement "<Alien | indexableByteSubclass>" startingAt: repStart "<Integer>" "^<self>" + "N.B. on platforms where executable memory cannot be written to unless flipped out of + executability, this primitive, and only this primitive, will contain code to identify an attempt + to write to one of the executable pages allocated via primAllocateExecutablePage, and + will flip protections appropriately around the replacement write." + <primitive: 'primAlienReplace' module: 'IA32ABI' error: errorCode> + ^self primitiveFailed! Item was added: + ----- Method: FFICallback class>>writeExecutableBlockAt:bytes: (in category 'executable pages') ----- + writeExecutableBlockAt: handle bytes: bytes + "See #allocateExecutableBlock." + + | alien | + self flag: #alienCompatibility. + alien := AlienStub alienClass + atAddress: handle asInteger + dataSize: bytes size. + + alien replaceFrom: 1 to: bytes size with: bytes startingAt: 1.! Item was changed: ----- Method: FFICallback>>init__ccall_ARM64 (in category 'private') ----- init__ccall_ARM64 <abi: #ARM64> <init_ccall> "Initialize the receiver with a __ccall thunk. The thunk calls thunkEntry in the Alien/IA32ABI plugin, whose source is in platforms/Cross/plugins/IA32ABI/arm64abicc.c. thunkEntry is the entry point for Callbacks. The objective of the thunk is to call thunkEntry with all arguments to the call of the thunk (registers and stack) as well as a pointer to the thunk itself. thunkEntry is as follows: long long thunkEntry(long x0, long x1, long x2, long x3, long x4, long x5, long x6, long x7, double d0, double d1, double d2, double d3, double d4, double d5, double d6, double d7, void *thunkpPlus16, sqIntptr_t *stackp) thunkEntry then collects the various arguments (thunk, integer register arguments, floating-point register arguments, stack pointer) in a VMCallbackContext and invokes the callback via invokeCallbackContext:." + | bytes | + bytes := #["0 mov x16, sp" 16rF0 16r03 16r00 16r91 + "4 sub sp, sp, #0x20" 16rFF 16r83 16r00 16rD1 + "8 stp x16, x30, [sp, #0x8]" 16rF0 16rFB 16r00 16rA9 + "c bl 0x10" 16r01 16r00 16r00 16r94 + "10 str x30, [sp]" 16rFE 16r03 16r00 16rF9 + "14 ldr x16, #0x14" 16rB0 16r00 16r00 16r58 + "18 blr x16 " 16r00 16r02 16r3F 16rD6 + "1C ldr x30, [sp, #0x16]" 16rFE 16r0B 16r40 16rF9 + "20 add sp, sp, #0x20" 16rFF 16r83 16r00 16r91 + "24 ret" 16rC0 16r03 16r5F 16rD6 + 0 0 0 0 0 0 0 0] copy. + bytes type: #uint64_t at: 41 put: self primThunkEntryAddress. + self class writeExecutableBlockAt: handle "thunk" bytes: bytes. + - self shouldBeImplemented - "self newCCall"! Item was changed: ----- Method: FFICallbackConstants class>>initialize (in category 'class initialization') ----- initialize " self initialize. " "Callback return types. See vmCallback.h" ResultTypeWord := 1. ResultTypeWord64 := 2. ResultTypeDouble := 3. ResultTypeStruct := 4. "See FFICallbackThunk initialize & initializeStdcall:; must be big enough for the largest thunk created" + MaxThunkSize := 48.! - MaxThunkSize := 40.! Item was added: + (PackageInfo named: 'FFI-Callbacks') postscript: '"MaxThunkSize increased from 40 to 48 bytes." + FFICallbackConstants initialize. + FFICallback defineFields.'!

1 0

FFI: FFI-Kernel-mt.198.mcz
by commits＠source.squeak.org 12 Aug '21

12 Aug '21

Marcel Taeumel uploaded a new version of FFI-Kernel to project FFI: http://source.squeak.org/FFI/FFI-Kernel-mt.198.mcz ==================== Summary ==================== Name: FFI-Kernel-mt.198 Author: mt Time: 12 August 2021, 10:40:33.706222 am UUID: 59e4fc64-3f4f-4241-ba22-5178c5cf7028 Ancestors: FFI-Kernel-eem.197 Adds preference to opt-out from specific integer primitives, which yields better performance when the FFI plugin does not yet have those new primitives. :-) And it allows for simpler benchmarking. =============== Diff against FFI-Kernel-eem.197 =============== Item was changed: ----- Method: ByteArray>>integerAt:put:size:signed: (in category '*FFI-Kernel-accessing - integer') ----- integerAt: byteOffset put: value size: nBytes signed: aBoolean "Primitive. Store the given value as integer of nBytes size in the receiver. - BYTE ORDER is platform native order. - FAILS IF the value is out of range. - NOTE that this primitive will access memory in the outer space if invoked from ExternalAddress." <primitive: #primitiveFFIIntegerAtPut module: #SqueakFFIPrims> + <ffiAtomicWrite: #( int8_t uint8_t int16_t uint16_t int32_t uint32_t int64_t uint64_t ) > - "<ffiAtomicWrite: #( int8_t uint8_t int16_t uint16_t int32_t uint32_t int64_t uint64_t ) >" "Examples: ExternalType int32_t allocate value: -1; explore. ExternalType uint32_t allocate value: 1; explore. " ^ self primitiveFailed! Item was changed: ----- Method: ByteArray>>integerAt:size:signed: (in category '*FFI-Kernel-accessing - integer') ----- integerAt: byteOffset size: nBytes signed: aBoolean "Primitive. Return an integer of nBytes size from the receiver. - BYTE ORDER is platform native order. - FAILS IF the receiver has not enough bytes. - NOTE that this primitive will access memory in the outer space if invoked from ExternalAddress." <primitive: #primitiveFFIIntegerAt module: #SqueakFFIPrims> + <ffiAtomicRead: #( int8_t uint8_t int16_t uint16_t int32_t uint32_t int64_t uint64_t ) > - "<ffiAtomicRead: #( int8_t uint8_t int16_t uint16_t int32_t uint32_t int64_t uint64_t ) >" "Examples: ExternalType int32_t handle: #[ 255 0 0 255 ] at: 1. ExternalType uint32_t handle: #[ 255 0 0 255 ] at: 1. " ^ self primitiveFailed! Item was added: + ----- Method: ByteArray>>testInt32At: (in category '*FFI-Kernel-accessing - integer') ----- + testInt32At: byteOffset + "Use this to check whether your FFI plugin supports the specific integer primitives." + <primitive: #primitiveSignedInt32At module: #SqueakFFIPrims error: ec> + ^ nil "To make check faster than via #primitiveFailed exception handler."! Item was changed: FFIAtomicReadWriteSend subclass: #GenericIntegerReadWriteSend instanceVariableNames: '' + classVariableNames: 'UseSpecificIntegerPrimitives' - classVariableNames: '' poolDictionaries: '' category: 'FFI-Kernel-Support'! !GenericIntegerReadWriteSend commentStamp: 'mt 8/6/2021 16:11' prior: 0! I am a message send for reading and writing atomic integer values from and to byte arrays or external addresses. My instances memoize type-specific #byteSize and #isSigned. See #isIntegerType and #initializeAtomicSends. I am generic in the sense that my target primitive covers several atomic types.! Item was added: + ----- Method: GenericIntegerReadWriteSend class>>canUseSpecificIntegerPrimitives (in category 'preferences') ----- + canUseSpecificIntegerPrimitives + + ^ ((ByteArray new: 4) testInt32At: 1) notNil! Item was added: + ----- Method: GenericIntegerReadWriteSend class>>pragma:selectsAtomicType: (in category 'instance creation') ----- + pragma: pragma selectsAtomicType: atomicType + "Overwritten to filter between generic and specific integer primitives according to the preference. Note that #isArray is an indicator for a generic primitive." + + "self assert: [atomicType isIntegerType]." + ^ self useSpecificIntegerPrimitives "want specific?" = (pragma argumentAt: 1) isArray "found generic?" + ifTrue: [false] + ifFalse: [super pragma: pragma selectsAtomicType: atomicType]! Item was added: + ----- Method: GenericIntegerReadWriteSend class>>useSpecificIntegerPrimitives (in category 'preferences') ----- + useSpecificIntegerPrimitives + <preference: 'Use specific integer primitives' + categoryList: #('FFI Kernel') + description: 'When true, use specific primitives when reading/writing int32_t, uint32_t etc. from/to ByteArray or ExternalAddress. Note that your FFI plugin might not support those newer primitives.' + type: #Boolean> + ^ UseSpecificIntegerPrimitives ifNil: [true "Cannot use #canUseSpecificIntegerPrimitives because struct-field generation is affected. Need to keep this preference in sync with how the struct-field accessors actually look like."]! Item was added: + ----- Method: GenericIntegerReadWriteSend class>>useSpecificIntegerPrimitives: (in category 'preferences') ----- + useSpecificIntegerPrimitives: aBoolean + + UseSpecificIntegerPrimitives = aBoolean ifTrue: [^ self]. + + aBoolean ~= self canUseSpecificIntegerPrimitives + ifTrue: [self notify: 'FFI plugin does not support specific integer primitives. Proceed to update atomic sends anyway. Fallback code will redirect to generic integer primitive. Performance might be affected.']. + + UseSpecificIntegerPrimitives := aBoolean. + + Cursor wait showWhile: [ + ExternalType initializeAtomicSends. + MessageTally spyOn: [ExternalStructure defineAllFields]].!

1 0

FFI: FFI-CallbacksTests-mt.5.mcz
by commits＠source.squeak.org 12 Aug '21

12 Aug '21

Marcel Taeumel uploaded a new version of FFI-CallbacksTests to project FFI: http://source.squeak.org/FFI/FFI-CallbacksTests-mt.5.mcz ==================== Summary ==================== Name: FFI-CallbacksTests-mt.5 Author: mt Time: 12 August 2021, 9:53:31.139222 am UUID: 618d3b35-9052-d947-852e-1be522531e68 Ancestors: FFI-CallbacksTests-mt.4 Adds test for recent bugfixes. =============== Diff against FFI-CallbacksTests-mt.4 =============== Item was added: + ----- Method: FFICallbackTests>>test10CompilationOrder (in category 'tests') ----- + test10CompilationOrder + + | order target requirements | + order := ExternalStructure allStructuresInCompilationOrder readStream. + target := #FFICallbackContext. + requirements := #( FFICallbackResult FFICallback ). + requirements, {target} do: [:nextClassName | + [order peek name ~= nextClassName] whileTrue: [ + self + assert: order next name ~= target + description: 'Could not find expected compilation order for ', target; + deny: order atEnd + description: 'Compilation units missing!!']. + order reset].!

1 0

FFI: FFI-Tests-mt.58.mcz
by commits＠source.squeak.org 12 Aug '21

12 Aug '21

Marcel Taeumel uploaded a new version of FFI-Tests to project FFI: http://source.squeak.org/FFI/FFI-Tests-mt.58.mcz ==================== Summary ==================== Name: FFI-Tests-mt.58 Author: mt Time: 12 August 2021, 9:53:04.107222 am UUID: 671dd049-38c6-0949-a162-ea48c6d38cb0 Ancestors: FFI-Tests-mt.57 Adds test for recent bugfixes. =============== Diff against FFI-Tests-mt.57 =============== Item was added: + ----- Method: ExternalTypeTests>>testCompilationOrder (in category 'tests - compiled spec') ----- + testCompilationOrder + + | order target requirements | + order := ExternalStructure allStructuresInCompilationOrder readStream. + target := #FFITestCompoundStruct. + requirements := #( FFISmallStruct1 FFITestPoint2 FFITestPoint4 ). + requirements, {target} do: [:nextClassName | + [order peek name ~= nextClassName] whileTrue: [ + self + assert: order next name ~= target + description: 'Could not find expected compilation order for ', target; + deny: order atEnd + description: 'Compilation units missing!!']. + order reset].! Item was added: + ----- Method: ExternalTypeTests>>testCompilationOrderParseBasicType (in category 'tests - compiled spec') ----- + testCompilationOrderParseBasicType + "Compilation order is computed by checking the basic types as prerequisites. So, any elaborate typeName must be parsed into its basic form." + + #( + 'int32_t' 'int32_t' + 'int32_t*' 'int32_t' + 'MyStruct' 'MyStruct' + 'MyStruct*' 'MyStruct' + + 'int32_t[]' 'int32_t' + 'int32_t[5]' 'int32_t' + 'int32_t*[]' 'int32_t' + 'int32_t*[5]' 'int32_t' + + '(int32_t[])*' 'int32_t' + '(int32_t[5])*' 'int32_t' + '(int32_t*[])*' 'int32_t' + '(int32_t*[5])*' 'int32_t' + + 'MyStructPtr' 'MyStructPtr' + 'MyStructPtr[5]' 'MyStructPtr' + '(MyStructPtr[5])*' 'MyStructPtr' + '*MyStructPtr' 'MyStructPtr' + '(*MyStructPtr)[5]' 'MyStructPtr' + '((*MyStructPtr)[5])*' 'MyStructPtr' + + ) groupsDo: [:typeName :basicTypeName | + self + assert: basicTypeName + equals: (ExternalType parseBasicTypeName: typeName)]!

1 0

FFI: FFI-Kernel-eem.197.mcz
by commits＠source.squeak.org 12 Aug '21

12 Aug '21

Eliot Miranda uploaded a new version of FFI-Kernel to project FFI: http://source.squeak.org/FFI/FFI-Kernel-eem.197.mcz ==================== Summary ==================== Name: FFI-Kernel-eem.197 Author: eem Time: 11 August 2021, 11:27:16.344643 am UUID: 4ad75370-c33c-46a0-874a-6d7f8e7697bd Ancestors: FFI-Kernel-mt.196 Fix three mistakes in the new ByteArray integer accessing primitive definitions. =============== Diff against FFI-Kernel-mt.196 =============== Item was changed: ----- Method: ByteArray>>uint16At: (in category '*FFI-Kernel-accessing - integer') ----- uint16At: byteOffset "Answer the signed 16-bit integer at byte offset, in platform native order." + <primitive: #primitiveUnsignedInt16At module: #SqueakFFIPrims error: ec> - <primitive: #primitiveSignedInt16At module: #SqueakFFIPrims error: ec> <ffiAtomicRead: #uint16_t> ^ self integerAt: byteOffset size: 2 signed: false! Item was changed: ----- Method: ByteArray>>uint32At: (in category '*FFI-Kernel-accessing - integer') ----- uint32At: byteOffset "Answer the signed 32-bit integer at byte offset, in platform native order." + <primitive: #primitiveUnsignedInt32At module: #SqueakFFIPrims error: ec> - <primitive: #primitiveSignedInt32At module: #SqueakFFIPrims error: ec> <ffiAtomicRead: #uint32_t> ^ self integerAt: byteOffset size: 4 signed: false! Item was changed: ----- Method: ByteArray>>uint64At: (in category '*FFI-Kernel-accessing - integer') ----- uint64At: byteOffset "Answer the signed 64-bit integer at byte offset, in platform native order." + <primitive: #primitiveUnsignedInt64At module: #SqueakFFIPrims error: ec> - <primitive: #primitiveSignedInt64At module: #SqueakFFIPrims error: ec> <ffiAtomicRead: #uint64_t> ^ self integerAt: byteOffset size: 8 signed: false!

2 1

[ANN] Automated Tests for Squeak FFI
by Marcel Taeumel 11 Aug '21

11 Aug '21

Hi all -- I set up a workflow to run all FFI tests once per day using the latest (!) OSVM builds in the latest (!) Trunk image with the latest (!) FFI: https://github.com/marceltaeumel/squeak-ffi/actions/workflows/tests.yml [https://github.com/marceltaeumel/squeak-ffi/actions/workflows/tests.yml] It was quite simple to set this up thanks to smalltalkCI! :-) -> https://github.com/hpi-swa/smalltalkCI [https://github.com/hpi-swa/smalltalkCI] Using Windows, Linux, and macOS, it will install FFI and run the tests. Then, it will repeat this with images produced for the other platforms respectively. This results in 9 total jobs. Intermediate images remain available for 7 days, one for each platform. The test results are kept around here: https://github.com/marceltaeumel/squeak-ffi/releases/tag/latest-test-builds [https://github.com/marceltaeumel/squeak-ffi/releases/tag/latest-test-builds] With the latest FFI updates (from today), there are no platform-switch issues anymore. However, we have the following issues: LINUX FFIPluginConstructedTests ✗ #testArrayResultWithString (3ms) ExternalTypeTests ✗ #testIntegerTypeRange (4ms) FFIPluginLibraryTests ✗ #testArrayResultWithString (0ms) FFIPluginTests ✗ #testArrayResultWithString (0ms) WINDOWS ExternalTypeTests ✗ #testIntegerTypeRange (4ms) MACOS ExternalTypeTests ✗ #testIntegerTypeRange (5ms) Happy coding! :-) Best, Marcel

2 1

FFI: FFI-Kernel-mt.196.mcz
by commits＠source.squeak.org 11 Aug '21

11 Aug '21

Marcel Taeumel uploaded a new version of FFI-Kernel to project FFI: http://source.squeak.org/FFI/FFI-Kernel-mt.196.mcz ==================== Summary ==================== Name: FFI-Kernel-mt.196 Author: mt Time: 11 August 2021, 3:02:53.347512 pm UUID: 37191bbe-a245-3148-9f90-4177f4421535 Ancestors: FFI-Kernel-mt.195 Fixes a remaining issue with ExternalType class >> #initialize. Callback tests did not pass after that. Now they do. =============== Diff against FFI-Kernel-mt.195 =============== Item was changed: ----- Method: ExternalPointerType>>invalidate (in category 'private') ----- invalidate + "We can directly initialize this type again. Unfortunately, we need special treatment for pointers to arrays-of-atomics to make coercion work. This can be improved once array types are encoded in the #headerWord." - "We can directly initialize this type again." + (self asNonPointerType isArrayType and: [self asNonPointerType isTypeAlias not]) - self asNonPointerType isArrayType ifTrue: [ self flag: #pointerToArray. compiledSpec := (WordArray with: (self class pointerSpec bitOr: FFIFlagAtomic "HACK!! To deceive the FFI plugin :)")). + byteAlignment := self class pointerAlignment] - byteAlignment := self class pointerAlignment - ] ifFalse: [ + "Note that #initializeAtomicTypes will also update this because the current FFI plugin treats pointers to atomics as something special." compiledSpec := WordArray with: self class pointerSpec. byteAlignment := self class pointerAlignment].!

1 0

FFI: FFI-Tests-mt.57.mcz
by commits＠source.squeak.org 11 Aug '21

11 Aug '21

Marcel Taeumel uploaded a new version of FFI-Tests to project FFI: http://source.squeak.org/FFI/FFI-Tests-mt.57.mcz ==================== Summary ==================== Name: FFI-Tests-mt.57 Author: mt Time: 11 August 2021, 1:42:46.963463 pm UUID: d13da95f-1541-eb47-9347-f47444977cd2 Ancestors: FFI-Tests-mt.56 Avoid requesting author initials during tests. =============== Diff against FFI-Tests-mt.56 =============== Item was changed: ----- Method: FFIPluginLibraryTests>>invoke:withArguments: (in category 'support') ----- invoke: functionName withArguments: someObjects "Use an instance of the library. Compile class-side methods to instance-side methods as needed." | selector library | selector := self lookupSelector: functionName numArgs: someObjects size. library := FFITestLibrary new. + (library respondsTo: selector) ifFalse: [ | signature source prototype priorAuthorInitials | - (library respondsTo: selector) ifFalse: [ | signature source prototype | "1) Build method signature." signature := String streamContents: [:s | | index | index := 0. selector do: [:char | s nextPut: char. char = $: ifTrue: [ index := index + 1. s space; nextPutAll: 'arg'; nextPutAll: index asString; space]]]. "2) Construct method source." prototype := library class class compiledMethodAt: selector. source := '{1}\ {2}\ <generated>\ {3}\ ^ self externalCallFailed' withCRs format: { signature. '"This method was automatically generated. See {1}>>{2}"' format: {prototype methodClass. prototype selector}. prototype externalLibraryFunction copy setModule: nil; printString }. "3) Compile instance-side FFI call in library." + priorAuthorInitials := Utilities authorInitialsPerSe. + [Utilities authorInitials: 'FFI'. + library class compile: source classified: '*autogenerated - primitives' + ] ensure: [Utilities authorInitials: priorAuthorInitials]]. - library class compile: source classified: '*autogenerated - primitives']. ^ library perform: selector withArguments: someObjects!

1 0

FFI: FFI-Tests-mt.56.mcz
by commits＠source.squeak.org 11 Aug '21

11 Aug '21

Marcel Taeumel uploaded a new version of FFI-Tests to project FFI: http://source.squeak.org/FFI/FFI-Tests-mt.56.mcz ==================== Summary ==================== Name: FFI-Tests-mt.56 Author: mt Time: 11 August 2021, 1:36:30.687352 pm UUID: b0e133e9-08ce-cc49-a007-739c06891753 Ancestors: FFI-Tests-mt.55 Array types of unknown size do share alignment properties of their content type even if they cannot be used anywhere. Only their pointer types do. Yet, being consistent in calculating the #byteAlignment makes life easier in other parts of the system. =============== Diff against FFI-Tests-mt.55 =============== Item was changed: ----- Method: ExternalTypeTests>>testArrayOfAtomicsWithSpecialSize (in category 'tests - array types') ----- testArrayOfAtomicsWithSpecialSize "Test char[] and char[0]." | contentType containerType | contentType := ExternalType char. containerType := contentType asArrayType: 0. self assert: containerType identical: (ExternalType typeNamed: 'char[0]'). self assert: 0 equals: containerType byteSize. self assert: 0 equals: containerType size. self assert: contentType identical: containerType contentType. self assert: contentType byteAlignment equals: containerType byteAlignment. containerType := contentType asArrayType: nil. self assert: containerType identical: (ExternalType typeNamed: 'char[]'). self assert: nil equals: containerType byteSize. self assert: nil equals: containerType size. self assert: contentType identical: containerType contentType. + self assert: contentType byteAlignment equals: containerType byteAlignment.! - self assert: 0 equals: containerType byteAlignment.! Item was changed: ----- Method: ExternalTypeTests>>testArrayOfPointersToAtomicsWithSpecialSize (in category 'tests - array types') ----- testArrayOfPointersToAtomicsWithSpecialSize "Test char*[] and char*[0]." | contentType containerType | contentType := ExternalType char asPointerType. "char*" containerType := contentType asArrayType: 0. self assert: containerType identical: (ExternalType typeNamed: 'char*[0]'). self assert: 0 equals: containerType byteSize. self assert: 0 equals: containerType size. self assert: contentType identical: containerType contentType. self assert: contentType byteAlignment equals: containerType byteAlignment. containerType := contentType asArrayType: nil. self assert: containerType identical: (ExternalType typeNamed: 'char*[]'). self assert: nil equals: containerType byteSize. self assert: nil equals: containerType size. self assert: contentType identical: containerType contentType. + self assert: contentType byteAlignment equals: containerType byteAlignment. - self assert: 0 equals: containerType byteAlignment. ! Item was changed: ----- Method: ExternalTypeTests>>testArrayOfPointersToStructsWithSpecialSize (in category 'tests - array types') ----- testArrayOfPointersToStructsWithSpecialSize | contentType containerType | contentType := FFITestPoint2 externalType asPointerType. "FFITestPoint2*" containerType := contentType asArrayType: 0. self assert: containerType identical: (ExternalType typeNamed: 'FFITestPoint2*[0]'). self assert: 0 equals: containerType byteSize. self assert: 0 equals: containerType size. self assert: contentType identical: containerType contentType. self assert: contentType byteAlignment equals: containerType byteAlignment. containerType := contentType asArrayType: nil. self assert: containerType identical: (ExternalType typeNamed: 'FFITestPoint2*[]'). self assert: nil equals: containerType byteSize. self assert: nil equals: containerType size. self assert: contentType identical: containerType contentType. + self assert: contentType byteAlignment equals: containerType byteAlignment. - self assert: 0 equals: containerType byteAlignment. ! Item was changed: ----- Method: ExternalTypeTests>>testArrayOfStructsWithSpecialSize (in category 'tests - array types') ----- testArrayOfStructsWithSpecialSize | contentType containerType | contentType := FFITestPoint2 externalType. containerType := contentType asArrayType: 0. self assert: containerType identical: (ExternalType typeNamed: 'FFITestPoint2[0]'). self assert: 0 equals: containerType byteSize. self assert: 0 equals: containerType size. self assert: contentType identical: containerType contentType. self assert: contentType byteAlignment equals: containerType byteAlignment. containerType := contentType asArrayType: nil. self assert: containerType identical: (ExternalType typeNamed: 'FFITestPoint2[]'). self assert: nil equals: containerType byteSize. self assert: nil equals: containerType size. self assert: contentType identical: containerType contentType. + self assert: contentType byteAlignment equals: containerType byteAlignment.! - self assert: 0 equals: containerType byteAlignment.! Item was removed: - (PackageInfo named: 'FFI-Tests') postscript: '"below, add code to be run after the loading of this package - This package has struct depending on other struct. - Due to load order, some struct may not get correctly initialized, and fall short in size. - Calling a foreign function that write to such a struct may crash the image. - We shall workaround those load order problems until a more robust fix is found." - ExternalStructure compileAllFields.'!

1 0

Jump to page: