Packages September 2021

packages@lists.squeakfoundation.org

1 participants
33 discussions

The Trunk: Tools-eem.1065.mcz
by commits＠source.squeak.org 27 Sep '21

27 Sep '21

Eliot Miranda uploaded a new version of Tools to project The Trunk: http://source.squeak.org/trunk/Tools-eem.1065.mcz ==================== Summary ==================== Name: Tools-eem.1065 Author: eem Time: 26 September 2021, 5:09:26.74426 pm UUID: a9290dc8-36cb-4526-a2f0-ed9e286ef3f7 Ancestors: Tools-eem.1064 Eliminate a shadowed variable warning. =============== Diff against Tools-eem.1064 =============== Item was changed: ----- Method: Browser>>defineMessageFrom:notifying: (in category 'message functions') ----- defineMessageFrom: aString notifying: aController "Compile the expressions in aString. Notify aController if a syntax error occurs. Install the compiled method in the selected class classified under the currently selected message category name. Answer the selector obtained if compilation succeeds, nil otherwise." + | currentSelector selector category oldMessageList selectedClassOrMetaClass | + currentSelector := self selectedMessageName. - | selectedMessageName selector category oldMessageList selectedClassOrMetaClass | - selectedMessageName := self selectedMessageName. oldMessageList := self messageList. selectedClassOrMetaClass := self selectedClassOrMetaClass. contents := nil. selector := (selectedClassOrMetaClass newParser parseSelector: aString). (self metaClassIndicated and: [(selectedClassOrMetaClass includesSelector: selector) not and: [Metaclass isScarySelector: selector]]) + ifTrue: ["A first-time definition overlaps the protocol of Metaclasses" - ifTrue: ["A frist-time definition overlaps the protocol of Metaclasses" (self confirm: ((selector , ' is used in the existing class system. Overriding it could cause serious problems. Is this really what you want to do?') asText makeBoldFrom: 1 to: selector size)) ifFalse: [^nil]]. + category := currentSelector - category := selectedMessageName ifNil: [ self selectedMessageCategoryName ] ifNotNil: [ (selectedClassOrMetaClass >> selectedMessageName) methodReference ifNotNil: [ : ref | ref category ]]. selector := selectedClassOrMetaClass compile: aString classified: category notifying: aController. + selector ifNil: [^ nil]. - selector == nil ifTrue: [^ nil]. contents := aString copy. + - self changed: #messageCategoryList. "Because the 'as yet unclassified' might just appear." self changed: #messageList. "Because we have code-dependent list formatting by now such as #isDeprecated." + selector ~~ currentSelector - selector ~~ selectedMessageName ifTrue: [category = ClassOrganizer nullCategory ifTrue: [self changed: #classSelectionChanged. self changed: #classList. self messageCategoryListIndex: 1]. self setClassOrganizer. "In case organization not cached" (oldMessageList includes: selector) ifFalse: [self changed: #messageList]. self messageListIndex: (self messageList indexOf: selector)]. ^ selector!

1 0

The Trunk: Kernel-ul.1415.mcz
by commits＠source.squeak.org 22 Sep '21

22 Sep '21

Levente Uzonyi uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-ul.1415.mcz ==================== Summary ==================== Name: Kernel-ul.1415 Author: ul Time: 21 September 2021, 12:15:33.429302 am UUID: 475b52e5-ca1e-4e9a-bf3f-bdc55f143e01 Ancestors: Kernel-eem.1414 MethodDictionary has to reimplement some inherited methods: #add, #at:ifPresent:ifAbsentPut: and #replace: =============== Diff against Kernel-eem.1414 =============== Item was added: + ----- Method: MethodDictionary>>add: (in category 'adding') ----- + add: anAssociation + + self at: anAssociation key put: anAssociation value. + ^anAssociation! Item was added: + ----- Method: MethodDictionary>>at:ifPresent:ifAbsentPut: (in category 'accessing') ----- + at: key ifPresent: oneArgBlock ifAbsentPut: absentBlock + "Lookup the given key in the receiver. If it is present, answer the value of + evaluating oneArgBlock with the value associated with the key. Otherwise + add the value of absentBlock under the key, and answer that value." + + | index value | + index := self scanFor: key. + (array at: index) ifNotNil: [ :element | ^oneArgBlock value: element value]. + value := absentBlock value. + self + basicAt: index put: key; + atNewIndex: index put: value. + ^value! Item was added: + ----- Method: MethodDictionary>>replace: (in category 'enumeration') ----- + replace: aBlock + "Destructively replace the values in this Dictionary by applying aBlock, keeping the same keys." + + tally = 0 ifTrue: [ ^self]. + 1 to: array size do: [ :index | + (array at: index) ifNotNil: [ :element | + array at: index put: (aBlock value: element) ] ]!

1 0

The Trunk: Monticello-ul.753.mcz
by commits＠source.squeak.org 21 Sep '21

21 Sep '21

Levente Uzonyi uploaded a new version of Monticello to project The Trunk: http://source.squeak.org/trunk/Monticello-ul.753.mcz ==================== Summary ==================== Name: Monticello-ul.753 Author: ul Time: 21 September 2021, 2:15:55.535367 pm UUID: 8bad0511-2475-44ae-8c8a-2e8db688d2e9 Ancestors: Monticello-ul.752 - added missing vertical bars to empty blocks =============== Diff against Monticello-ul.752 =============== Item was changed: ----- Method: MCMcdReader>>loadPatch (in category 'loading') ----- loadPatch | old new | (self zip memberNamed: 'patch.bin') ifNotNil: [:m | [^ patch := (DataStream on: m contentStream) next ] + on: Error do: [:fallThrough| ]]. - on: Error do: [:fallThrough ]]. definitions := OrderedCollection new. (self zip membersMatching: 'old/*') do: [:m | self extractDefinitionsFrom: m]. old := definitions asArray. definitions := OrderedCollection new. (self zip membersMatching: 'new/*') do: [:m | self extractDefinitionsFrom: m]. new := definitions asArray. ^ patch := self buildPatchFrom: old to: new. ! Item was changed: ----- Method: MCMczReader>>loadDefinitions (in category 'loading') ----- loadDefinitions definitions := OrderedCollection new. (self zip memberNamed: 'snapshot.bin') ifNotNil: [:m | [^ definitions := (DataStream on: m contentStream) next definitions] + on: Error do: [:fallThrough| ]]. - on: Error do: [:fallThrough ]]. "otherwise" (self zip membersMatching: 'snapshot/*') do: [:m | self extractDefinitionsFrom: m]. ! Item was changed: ----- Method: MCPatch>>initializeWithBase:target: (in category 'initialize-release') ----- initializeWithBase: baseSnapshot target: targetSnapshot | base target | operations := OrderedCollection new. base := MCDefinitionIndex definitions: baseSnapshot definitions. target := MCDefinitionIndex definitions: targetSnapshot definitions. target definitionsDo: [:t | base definitionLike: t ifPresent: [:b | (b isSameRevisionAs: t) ifFalse: [operations add: (MCModification of: b to: t)]] ifAbsent: [operations add: (MCAddition of: t)]]. base definitionsDo: [:b | target definitionLike: b + ifPresent: [:t|] - ifPresent: [:t] ifAbsent: [operations add: (MCRemoval of: b)]] ! Item was changed: ----- Method: MCVersion>>withAllDependenciesDo: (in category 'enumerating') ----- withAllDependenciesDo: aBlock + self allDependenciesDo: aBlock ifUnresolved: [:ignored|]. - self allDependenciesDo: aBlock ifUnresolved: [:ignored]. aBlock value: self!

1 0

The Trunk: WebClient-Core-ul.128.mcz
by commits＠source.squeak.org 21 Sep '21

21 Sep '21

Levente Uzonyi uploaded a new version of WebClient-Core to project The Trunk: http://source.squeak.org/trunk/WebClient-Core-ul.128.mcz ==================== Summary ==================== Name: WebClient-Core-ul.128 Author: ul Time: 21 September 2021, 2:16:18.204886 pm UUID: 2ea71dca-a72d-4724-b8a2-98b1ab2e8e8a Ancestors: WebClient-Core-dtl.127 - added missing vertical bars to empty blocks =============== Diff against WebClient-Core-dtl.127 =============== Item was changed: ----- Method: WebClient>>httpDelete: (in category 'methods') ----- httpDelete: urlString "Sends an DELETE request" + ^self httpDelete: urlString do:[:req|] - ^self httpDelete: urlString do:[:req] ! Item was changed: ----- Method: WebClient>>httpGet: (in category 'methods') ----- httpGet: urlString "GET the response from the given url" "(WebClient httpGet: 'http://www.squeak.org') content" + ^self httpGet: urlString do:[:req|] - ^self httpGet: urlString do:[:req] ! Item was changed: ----- Method: WebClient>>httpHead: (in category 'methods') ----- httpHead: urlString "Sends a HEAD request" + ^self httpHead: urlString do:[:req|] - ^self httpHead: urlString do:[:req] ! Item was changed: ----- Method: WebClient>>httpOptions: (in category 'methods') ----- httpOptions: urlString "Sends an OPTIONS request" + ^self httpOptions: urlString do:[:req|] - ^self httpOptions: urlString do:[:req] ! Item was changed: ----- Method: WebClient>>httpPost:content:type: (in category 'methods') ----- httpPost: urlString content: postData type: contentType "POST the data to the given url" + ^self httpPost: urlString content: postData type: contentType do:[:req|]! - ^self httpPost: urlString content: postData type: contentType do:[:req]! Item was changed: ----- Method: WebClient>>httpPostChunked:content:type: (in category 'methods') ----- httpPostChunked: urlString content: chunkBlock type: contentType "POST the data to the given url using chunked transfer-encoding. The chunkBlock takes a request and can be fed using #nextChunkPut: until all the data has been sent. Chunked encoding can be used for long-lasting connections to a server, but care must be taken to ensure that the client isn't running afoul of the server expecting to read the full response (i.e., you should use this only if you have control over both ends). However, it is a great way to send output from commands that take awhile and other time-consuming operations if authentication has been handled." + ^self httpPostChunked: urlString content: chunkBlock type: contentType do: [:req|]! - ^self httpPostChunked: urlString content: chunkBlock type: contentType do: [:req]! Item was changed: ----- Method: WebClient>>httpPut:content:type: (in category 'methods') ----- httpPut: urlString content: postData type: contentType "PUT the data to the given url" + ^self httpPut: urlString content: postData type: contentType do:[:req|]! - ^self httpPut: urlString content: postData type: contentType do:[:req]! Item was changed: ----- Method: WebClient>>httpTrace: (in category 'methods') ----- httpTrace: urlString "Sends a TRACE request" + ^self httpTrace: urlString do:[:req|] - ^self httpTrace: urlString do:[:req] ! Item was changed: ----- Method: WebRequest>>send200Response:contentType: (in category 'responses') ----- send200Response: aString contentType: contentType "Send a 200 OK response" + ^self send200Response: aString contentType: contentType do:[:resp|]! - ^self send200Response: aString contentType: contentType do:[:resp]! Item was changed: ----- Method: WebRequest>>send301Response: (in category 'responses') ----- send301Response: location "Send a 301 permanent redirect response" + ^self send301Response: location do:[:resp|].! - ^self send301Response: location do:[:resp].! Item was changed: ----- Method: WebRequest>>send302Response: (in category 'responses') ----- send302Response: location "Send a 302 temporary redirect response" + ^self send302Response: location do:[:resp|].! - ^self send302Response: location do:[:resp].! Item was changed: ----- Method: WebRequest>>send3xxResponse:code: (in category 'responses') ----- send3xxResponse: location code: statusCode "Send a 3xx redirect response" + ^self send3xxResponse: location code: statusCode do:[:resp|].! - ^self send3xxResponse: location code: statusCode do:[:resp].! Item was changed: ----- Method: WebRequest>>sendResponse:chunked: (in category 'responses') ----- sendResponse: code chunked: chunkBlock "Send a chunked response" + ^self sendResponse: code chunked: chunkBlock do:[:resp|]! - ^self sendResponse: code chunked: chunkBlock do:[:resp]! Item was changed: ----- Method: WebRequest>>stream200Response:size:type: (in category 'responses') ----- stream200Response: aStream size: streamSize type: contentType "Stream a 200 OK response" + ^self stream200Response: aStream size: streamSize type: contentType do:[:resp|].! - ^self stream200Response: aStream size: streamSize type: contentType do:[:resp].! Item was changed: ----- Method: WebServer>>handleConnectionFrom: (in category 'handling') ----- handleConnectionFrom: aSocket "Synchronously handle an incoming socket connection." | stream request | "Give the process a pretty name" Processor activeProcess name: (String streamContents:[:s| aSocket remoteAddress do:[:b| s print: b] separatedBy:[s nextPut: $.]. s nextPut: $:; print: aSocket remotePort. s nextPutAll: ' - ', self class name, ' request handler'. ]). "Read the request from the socket, and dispatch it. Since we've been forked already it's okay to block." [ certName ifNil:["Regular request" stream := SocketStream on: aSocket. ] ifNotNil:["SSL/TLS" | ssl | ssl := Smalltalk at: #SqueakSSL ifAbsent:[self error: 'SqueakSSL not installed']. stream := ssl secureSocketStream on: aSocket. [stream sslAccept: certName] on: Error do:[^stream destroy]. ]. [aSocket isConnected] whileTrue:[ "Read the next request from the connection. If the connection is closed, or if a network error occurs, or the read times out, just close the connection without further ado (rather than logging an error). Any other error resulting from parsing the input is treated as a 400 bad request." stream peek ifNil:[^aSocket destroy]. request := self newRequest. [request readFrom: stream] on: Error do:[:ex| (ex isKindOf: NetworkError) ifFalse:[ + [request send400Response] on: Error do:[:ignore|]. - [request send400Response] on: Error do:[:ignore]. ]. ^aSocket destroy]. self dispatchRequest: request. ]. ] on: Error do:[:ex| (ex isKindOf: NetworkError) ifFalse:[ self log: 'Error in request handling: ', ex description. self log: (self errorReportFor: ex). ]. ].!

1 0

The Trunk: SystemReporter-eem.52.mcz
by commits＠source.squeak.org 21 Sep '21

21 Sep '21

Eliot Miranda uploaded a new version of SystemReporter to project The Trunk: http://source.squeak.org/trunk/SystemReporter-eem.52.mcz ==================== Summary ==================== Name: SystemReporter-eem.52 Author: eem Time: 20 September 2021, 5:59:45.008905 pm UUID: 55eed9c6-65db-4b42-94de-dc83820e3aad Ancestors: SystemReporter-eem.51 Add reporting of the VM's "can catch exceptions in FFI calls" flag. =============== Diff against SystemReporter-eem.51 =============== Item was changed: ----- Method: SystemReporter>>reportVMParameters: (in category 'reporting') ----- reportVMParameters: aStream | vmParameters isStack isCog isSpur | self header: 'Virtual Machine Parameters' on: aStream. vmParameters := Smalltalk vm getVMParameters. isStack := (vmParameters at: 42 ifAbsent: [0]) ~= 0. "42 = number of stack pages available" isCog := isStack and: [(vmParameters at: 46) ~= 0]. "46 is machine code zone size" isSpur := isStack and: [(vmParameters at: 41) anyMask: 2r10000]. "41 is imageFormatVersion for the VM; bit 16 is the Spur bit" (isSpur ifFalse: [#( 1 'size of old space' 2 'size of young+old space' 3 'size of memory' 4 'allocationCount' 5 'allocations between GCs' 6 'survivor count tenuring threshold')] ifTrue: [#( 1 'size of old space' 2 'used bytes in new space (used eden + used past space)' 3 'size of heap')]), #( 7 'full GCs since startup' 8 'total milliseconds in full GCs since startup'), (isSpur ifFalse: [#( 9 'incremental GCs since startup' 10 'total milliseconds in incremental GCs since startup' 11 'tenures of surving objects since startup'), {12 to: 19. 'specific to the translating VM'}] ifTrue: [#( 9 'scavenging GCs since startup' 10 'total milliseconds in scavenging GCs since startup' 11 'tenures of surving objects since startup' 12 'event trace mask (for debugging input events)' 13 'VM ticker start microseconds (Croquet/QwaqVM)' 14 'VM ticker count (Croquet/QwaqVM)' 15 'VM ticker call count (Croquet/QwaqVM)' 16 'total microseconds in idle since startup' 17 'proportion of code zone available for use (Sista VMs only; read-write)' 18 'total milliseconds in full GC compaction since startup (a portion of parameter 8)' 19 'scavenge threshold; the effective size of eden')]), #( 20 'utc microseconds at startup (if non-zero)' 21 'root/remembered table size (occupancy)' 22 'root/remembered table overflows since startup' 23 'bytes of extra memory to reserve for VM buffers, plugins, etc.' 24 'free memory threshold above which object memory will be shrunk' 25 'memory headroom when growing object memory'), (isStack ifFalse: [#( 26 'interruptChecksEveryNms - force an ioProcessEvents every N milliseconds, in case the image is not calling getNextEvent often')] ifTrue: [#( 26 'heartbeat period (ms; see #58)')]), (isSpur ifFalse: [#( 27 'number of times mark loop iterated for current IGC/FGC includes ALL marking' 28 'number of times sweep loop iterated for current IGC/FGC' 29 'number of times make forward loop iterated for current IGC/FGC' 30 'number of times compact move loop iterated for current IGC/FGC')] ifTrue: [#()]), #( 31 'number of grow memory requests' 32 'number of shrink memory requests'), (isSpur ifFalse: [#( 33 'number of root table entries used for current IGC/FGC' 34 'number of allocations done before current IGC/FGC' 35 'number of survivor objects after current IGC/FGC' 36 'millisecond clock when current IGC/FGC completed' 37 'number of marked objects for Roots of the world, not including Root Table entries for current IGC/FGC' 38 'milliseconds taken by current IGC' 39 'Number of finalization signals for Weak Objects pending when current IGC/FGC completed')] ifTrue: [#( 33 'number of root table entries at last scavenge' 35 'number of survivor objects at last scavenge (if non-zero)' 36 'millisecond clock when current scavenge completed' 38 'milliseconds taken by current scavenge' 39 'Number of finalization signals for Weak Objects pending when current SGC/FGC completed')]), #( 40 'VM word size - 4 or 8'), (isStack ifTrue: [#( 41 'imageFormatVersion for the VM' 42 'number of stack pages available' 43 'desired number of stack pages (stored in image file header, max 65535)' 44 'size of eden, in bytes' 45 'desired size of eden, in bytes (stored in image file header)' 46 'machine code zone size, in bytes (0 in Stack VM)' 47 'desired machine code zone size (0 => default 1Mb to 2Mb depending on processor)'), { 48. 'Persistent image header flags\ bit 0: implies Process has threadId as its 4th inst var\ bit 1: if set, methods that are interpreted will have the flag bit set in their header\ bit 2: if set, implies preempting a process does not put it to the back of its run queue\ bit 3: if set, implies the GUI should run on the first thread and event queues should not be accessed from other threads\ bit 4: if set, implies the new finalization scheme where WeakArrays are queued\ bit 5: if set, implies wheel events will be delivered as such and not mapped to arrow key events\ bit 6: if set, implies arithmetic primitives will fail if given arguments of different types (float vs int)\ bit 7: if set, causes times delivered from file primitives to be in UTC rather than local time.' withCRs }, #( 49 'max size the image promises to grow the external semaphore table to'), (isSpur ifFalse: [{ 50 to: 51. 'reserved for VM parameters that persist in the image (such as size of eden above)'. 52 to: 56. 'specific to Spur' }] ifTrue: [{ 50 to: 51. 'reserved for VM parameters that persist in the image (such as size of eden above)' }, #( 52 'root/remembered table capacity' 53 'number of old space segments' 54 'total free old space' 55 'ratio of growth and image size at or above which a GC will be performed post scavenge')]), #( 56 'number of process switches since startup' 57 'number of ioProcessEvents calls since startup' 58 'number of forceInterruptCheck calls since startup' 59 'number of check event calls since startup' 60 'number of stack page overflows since startup' 61 'number of stack page divorces since startup' 62 'compiled code compactions since startup'), (isCog ifFalse: [#()] ifTrue: [#( 63 'total milliseconds in compiled code compactions since startup' 64 'the number of methods that currently have jitted machine-code')]), + { 65. 'Cog feature flags\ bit 0: set if the VM supports MULTIPLE_BYTECODE_SETS.\ bit 1: set if the VM supports read-only objects (IMMUTABILITY).\ bit 2: set if the VM has an ITIMER_HEARTBEAT\ bit 3: set if the VM supports cross-platform BIT_IDENTICAL_FLOATING_POINT arithmetic\ bit 4: set if the VM can catch exceptions in FFI calls and answer them as primitive failures' withCRs. - { 65. 'Cog feature flags\ bit 0: set if the VM supports MULTIPLE_BYTECODE_SETS.\ bit 1: set if the VM supports read-only objects (IMMUTABILITY).\ bit 2: set if the VM has an ITIMER_HEARTBEAT\ bit 3: set if the VM supports cross-platform BIT_IDENTICAL_FLOATING_POINT arithmetic' withCRs. 66. 'the byte size of a stack page'.}, (isSpur ifFalse: [{ 67 to: 69. 'reserved for more Cog-related info' }] ifTrue: [#( 67 'the maximum allowed size of old space (if zero there is no limit)' 68 'the average number of live stack pages when scanned by scavenge/gc/become' 69 'the maximum number of live stack pages when scanned by scavenge/gc/become')]), #( 70 'the vmProxyMajorVersion (the interpreterProxy VM_MAJOR_VERSION)' 71 'the vmProxyMinorVersion (the interpreterProxy VM_MINOR_VERSION)'), (isSpur ifFalse: [#()] ifTrue: [#( 72 'milliseconds spent marking since startup' 73 'reserved for more Spur-related info' 74 'reserved for more Spur-related info' 75 'do mixed arithmetic; if false binary arithmetic primitives will fail unless receiver and argument are of the same type')]), (isCog ifFalse: [#()] ifTrue: [#(76 'minimum unused bytes of headroom on all stack pages')])] ifFalse: [#()]) pairsDo: [:idx :desc | | value values | (idx isInteger ifTrue: [idx] ifFalse: [idx last]) <= vmParameters size ifTrue: [aStream nextPut: $#. idx isInteger ifTrue: [value := vmParameters at: idx. aStream print: idx; tab: (idx < 10 ifTrue: [2] ifFalse: [1]); nextPutAll: ((value isInteger and: [idx ~= 41]) ifTrue: [(desc includesSubstring: 'bit 0:') ifTrue: [value printStringBase: 2 nDigits: value highBit] ifFalse: [value asStringWithCommas]] ifFalse: [value printString])] ifFalse: [value := vmParameters at: idx first. aStream print: idx first; next: 2 put: $.; print: idx last; tab. values := idx collect: [:i| vmParameters at: i]. values asSet size = 1 ifTrue: [aStream print: value] ifFalse: [values do: [:v| aStream print: v] separatedBy: [aStream nextPutAll: ', ']]]. aStream tab; nextPutAll: desc; cr]]!

1 0

The Trunk: Kernel-eem.1415.mcz
by commits＠source.squeak.org 20 Sep '21

20 Sep '21

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1415.mcz ==================== Summary ==================== Name: Kernel-eem.1415 Author: eem Time: 20 September 2021, 3:40:41.04035 pm UUID: b3b62e4b-49b1-4463-93de-6c69109de02d Ancestors: Kernel-eem.1414 An alternative fix to http://lists.squeakfoundation.org/pipermail/squeak-dev/2021-September/21652… c.f. Kernel-ul.1415 =============== Diff against Kernel-eem.1414 =============== Item was added: + ----- Method: MethodDictionary>>add: (in category 'adding') ----- + add: anAssociation + + | index | + index := self scanFor: anAssociation key. + (array at: index) + ifNil: [ self atNewIndex: index put: anAssociation ] + ifNotNil: [ array at: index put: anAssociation value ]. + ^anAssociation! Item was changed: ----- Method: MethodDictionary>>at:put: (in category 'accessing') ----- at: key put: value "Set the value at key to be value." | index | index := self scanFor: key. (self basicAt: index) ifNil: [ self basicAt: index put: key; + atNewIndex: index putValue: value ] - atNewIndex: index put: value ] ifNotNil: [ (array at: index) flushCache. array at: index put: value ]. ^value! Item was added: + ----- Method: MethodDictionary>>atNewIndex:put: (in category 'private') ----- + atNewIndex: index put: anAssociation + "Override to deal with the internal organization of MethodDIctionaries + which, to suit the VM, do not use Associations." + self assert: anAssociation isVariableBinding. + self basicAt: index put: anAssociation key. + array at: index put: anAssociation value. + tally := tally + 1. + "Keep array at least 1/4 free for decent hash behavior" + array size * 3 < (tally * 4) ifTrue: [ self grow ]! Item was added: + ----- Method: MethodDictionary>>atNewIndex:putValue: (in category 'private') ----- + atNewIndex: index putValue: anObject + "Override to deal with the internal organization of MethodDIctionaries + which, to suit the VM, do not use Associations." + array at: index put: anObject. + tally := tally + 1. + "Keep array at least 1/4 free for decent hash behavior" + array size * 3 < (tally * 4) ifTrue: [ self grow ]!

1 0

The Trunk: Kernel-eem.1414.mcz
by commits＠source.squeak.org 17 Sep '21

17 Sep '21

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1414.mcz ==================== Summary ==================== Name: Kernel-eem.1414 Author: eem Time: 16 September 2021, 7:40:42.943155 pm UUID: 57d30281-8efa-4333-9c20-9f85adb287ab Ancestors: Kernel-eem.1411, Kernel-ul.1413 Merge Kernel-eem.1411 Fix for CompiledCode>>#allLiteralsDo: by adding pushSpecialConstant:/sendSpecial:numArgs:. Get the bytecode set specific interpretNextInstructionFor: implementations to send sendSpecial:numArgs: and pushSpecialConstant: for special selector sends and implicit literal bytecodes. Insulate existing InstructionClient subclasses by introducing ImplicitLiteralInstructionClientHook as InstructionClient's superclass which implements pushSpecialConstant:/sendSpecial:numArgs: as sends of pushConstant:/send:super:numArgs:. Implement pushSpecialConstant:/sendSpecial:numArgs: in Context. Compiler-eem.460 implements these for the Decompiler. =============== Diff against Kernel-ul.1413 =============== Item was changed: ----- Method: CompiledCode>>abstractBytecodeMessageAt: (in category 'scanning') ----- abstractBytecodeMessageAt: pc "Answer the abstract bytecode message at pc in the receiver." + ^[(InstructionStream new method: self pc: pc) interpretNextInstructionFor: ImplicitLiteralInstructionClientHook new] - ^[(InstructionStream new method: self pc: pc) interpretNextInstructionFor: nil] on: MessageNotUnderstood do: [:ex| ex message]! Item was changed: ----- Method: CompiledCode>>abstractBytecodeMessagesAndPCs (in category 'scanning') ----- abstractBytecodeMessagesAndPCs "Answer the receiver's sequence of abstract bytecodes as a sequence of tuples of bytecode message and pc." "(CompiledCode >> #abstractBytecodeMessagesAndPCs) abstractBytecodeMessagesAndPCs" + | msgs initial endpc pc scanner encoderClass implciitLiteralHook | - | msgs initial endpc pc scanner encoderClass | scanner := InstructionStream new method: self pc: (initial := self initialPC). msgs := OrderedCollection new: (endpc := self endPC) - initial. encoderClass := self encoderClass. + implciitLiteralHook := ImplicitLiteralInstructionClientHook new. [(pc := scanner pc) <= endpc] whileTrue: "i.e. nil will not understand any message and so the exception block will collect all of them." + [[encoderClass interpretNextInstructionFor: implciitLiteralHook in: scanner] - [[encoderClass interpretNextInstructionFor: nil in: scanner] on: MessageNotUnderstood do: [:ex| msgs addLast: { ex message. pc }]]. ^msgs! Item was changed: ----- Method: CompiledCode>>abstractBytecodeMessagesFrom:to:do: (in category 'scanning') ----- abstractBytecodeMessagesFrom: startpc to: endpc do: aBlock "Evaluate aBlock with the sequence of abstract bytecodes from startpc through endpc in the receiver" + | scanner encoderClass implciitLiteralHook | - | scanner encoderClass | scanner := InstructionStream new method: self pc: startpc. encoderClass := self encoderClass. + implciitLiteralHook := ImplicitLiteralInstructionClientHook new. [scanner pc <= endpc] whileTrue: "i.e. nil will not understand any message and so the exception block will collect all of them." + [[encoderClass interpretNextInstructionFor: implciitLiteralHook in: scanner] - [[encoderClass interpretNextInstructionFor: nil in: scanner] on: MessageNotUnderstood do: [:ex| aBlock value: ex message]] "| m msgs | msgs := OrderedCollection new. (m := CompiledCode >> #abstractBytecodeMessagesFrom:to:do:) abstractBytecodeMessagesFrom: m initialPC to: m endPC do: [:msg| msgs add: msg selector]. msgs"! Item was changed: ----- Method: CompiledCode>>allLiteralsDo: (in category 'literals') ----- allLiteralsDo: aBlock "Enumerate all literals thoroughly. Follow nested instances of CompiledCode. Do not treat compiled code as literals here." + self codeLiteralsDo: + [:compiledCode | + compiledCode literalsDo: + [:literal | + literal isCompiledCode ifFalse: + [literal allLiteralsDo: aBlock]]. + compiledCode implicitLiteralsDo: aBlock]! - self codeLiteralsDo: [:compiledCode | compiledCode literalsDo: [:literal | - literal isCompiledCode ifFalse: [literal allLiteralsDo: aBlock] ]]. - - "Enumerate special selectors." - self flag: #todo. - - "Enumerate special literals such as true and false." - self flag: #todo.! Item was added: + ----- Method: CompiledCode>>implicitLiteralsDo: (in category 'literals') ----- + implicitLiteralsDo: aBlock + "Enumerate the implicit literals in bytecodes of the receiver." + + | stream client encoderClass endPC | + "Enumerate special selectors & special literals such as true and false." + stream := InstructionStream on: self. + encoderClass := self encoderClass. + "cache endPC for methods with embedded source; finding out the endPC is very slow in this case..." + endPC := self endPC. + client := ImplicitLiteralFinder new. + [stream pc <= endPC] whileTrue: + [| literalOrClient | + literalOrClient := encoderClass interpretNextInstructionFor: client in: stream. + literalOrClient ~~ client ifTrue: + [aBlock value: literalOrClient]]! Item was changed: ----- Method: CompiledMethod>>allLiteralsDo: (in category 'literals') ----- allLiteralsDo: aBlock "Overwritten to skip certain (raw) literals." " Exclude method selector (or properties) and the method's class." 1 to: self numLiterals - 2 do: [:index | (self literalAt: index) allLiteralsDo: aBlock]. + "Enumerate the implicit literals in bytecodes of the receiver." + self implicitLiteralsDo: aBlock. + "Enumerate method selector only through additional method state." self penultimateLiteral isMethodProperties + ifTrue: [self penultimateLiteral allLiteralsDo: aBlock]! - ifTrue: [self penultimateLiteral allLiteralsDo: aBlock]. - - "Enumerate special selectors." - self flag: #todo. - - "Enumerate special literals such as true and false." - self flag: #todo.! Item was added: + ----- Method: Context>>pushSpecialConstant: (in category 'instruction decoding implicit literals') ----- + pushSpecialConstant: value + "Simulate the action of bytecode that pushes the constant, value, on the + top of the stack." + + self push: value! Item was added: + ----- Method: Context>>sendSpecial:numArgs: (in category 'instruction decoding implicit literals') ----- + sendSpecial: selector numArgs: numArgs + "Simulate the action of bytecodes that send a message with selector, + selector. The arguments of the message are found in the top numArgs + locations on the stack and the receiver just below them." + + | thisReceiver arguments lookupClass | + arguments := Array new: numArgs. + numArgs to: 1 by: -1 do: [ :i | arguments at: i put: self pop]. + thisReceiver := self pop. + lookupClass := self objectClass: thisReceiver. + QuickStep == self ifTrue: + [QuickStep := nil. + ^self quickSend: selector to: thisReceiver with: arguments lookupIn: lookupClass]. + ^self send: selector to: thisReceiver with: arguments lookupIn: lookupClass! Item was added: + InstructionClient subclass: #ImplicitLiteralFinder + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'Kernel-Methods'! + + !ImplicitLiteralFinder commentStamp: 'eem 9/12/2021 14:44' prior: 0! + ImplicitLiteralFinder is a means to extract special literals from an instruction stream. Instances of InstructionClient answer self in response to all bytecode decode messages. Instances of this class answer the literal itself for implicit literal bytecode messages. + + Instance Variables + ! Item was added: + ----- Method: ImplicitLiteralFinder>>pushSpecialConstant: (in category 'instruction decoding - implicit literals') ----- + pushSpecialConstant: value + ^value! Item was added: + ----- Method: ImplicitLiteralFinder>>sendSpecial:numArgs: (in category 'instruction decoding - implicit literals') ----- + sendSpecial: selector numArgs: numArgs + ^selector! Item was added: + Object subclass: #ImplicitLiteralInstructionClientHook + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'Kernel-Methods'! + + !ImplicitLiteralInstructionClientHook commentStamp: 'eem 9/16/2021 19:35' prior: 0! + ImplicitLiteralInstructionClientHook is a hook to allow clients to intercept bytecodes referencing implicit literals, such as special selector sends which have an implicit selector in Smalltalk specialSelectors. It implements the messages sent by InstructionStream's interpretNextXXXInstructionFor: methods for bytecodes that reference implicit literals as sends of the relevant explciit literal methods. This allows clients that want to to intercept implicit literal messages while leaving existing clients unchanged. + + The class also supports CompiledCode>>abstractBytecodeMessagesFrom:to:do: et al which depend on MessageNotUnderstood to collect bytecode messages. Use of instances of this class hides the existence of pushSpecialConstant: and sendSpecial:numArgs: since these are understood, but their sends of pushConstant: and send:super:numArgs: are not. + + Instance Variables! Item was added: + ----- Method: ImplicitLiteralInstructionClientHook>>pushSpecialConstant: (in category 'instruction decoding - implicit literals') ----- + pushSpecialConstant: value + "This is a hook to allow clients to intercept implicit literal bytecodes" + ^self pushConstant: value! Item was added: + ----- Method: ImplicitLiteralInstructionClientHook>>sendSpecial:numArgs: (in category 'instruction decoding - implicit literals') ----- + sendSpecial: selector numArgs: numArgs + "This is a hook to allow clients to intercept special selector sends (which have an implicit selector)" + ^self send: selector super: false numArgs: numArgs! Item was changed: + ImplicitLiteralInstructionClientHook subclass: #InstructionClient - Object subclass: #InstructionClient instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'Kernel-Methods'! !InstructionClient commentStamp: 'md 4/8/2003 12:50' prior: 0! My job is to make it easier to implement clients for InstructionStream. See InstVarRefLocator as an example. ! Item was changed: ----- Method: InstructionStream>>interpretNext2ByteSistaV1Instruction:for:extA:extB:startPC: (in category 'decoding - private - sista v1') ----- interpretNext2ByteSistaV1Instruction: bytecode for: client extA: extA extB: extB startPC: startPC "Send to the argument, client, a message that specifies the next instruction. This method handles the two-byte codes. For a table of the bytecode set, see EncoderForV1's class comment." | byte method | method := self method. byte := self method at: pc. pc := pc + 1. "We do an inline quasi-binary search on bytecode" bytecode < 234 ifTrue: "pushes" [bytecode < 231 ifTrue: [bytecode < 229 ifTrue: [| literal | bytecode = 226 ifTrue: [^client pushReceiverVariable: (extA bitShift: 8) + byte]. literal := method literalAt: (extA bitShift: 8) + byte + 1. bytecode = 227 ifTrue: [^client pushLiteralVariable: literal]. ^client pushConstant: literal]. bytecode = 229 ifTrue: [^client pushTemporaryVariable: byte]. ^self unusedBytecode: client at: startPC]. bytecode = 231 ifTrue: [^byte < 128 ifTrue: [client pushNewArrayOfSize: byte] ifFalse: [client pushConsArrayWithElements: byte - 128]]. bytecode = 232 ifTrue: + [^client pushSpecialConstant: ((extB < 128 ifTrue: [extB] ifFalse: [extB - 256]) bitShift: 8) + byte]. + ^client pushSpecialConstant: (Character value: (extB bitShift: 8) + byte)]. - [^client pushConstant: ((extB < 128 ifTrue: [extB] ifFalse: [extB - 256]) bitShift: 8) + byte]. - ^client pushConstant: (Character value: (extB bitShift: 8) + byte)]. bytecode < 240 ifTrue: "sends, trap and jump" [bytecode < 236 ifTrue: "sends" [(bytecode = 235 and: [extB >= 64]) ifTrue: [^client directedSuperSend: (method literalAt: (extA bitShift: 5) + (byte // 8) + 1) numArgs: (extB - 64 bitShift: 3) + (byte \\ 8)]. ^client send: (method literalAt: (extA bitShift: 5) + (byte // 8) + 1) super: bytecode = 235 numArgs: (extB bitShift: 3) + (byte \\ 8)]. bytecode = 236 ifTrue: [^client callMappedInlinedPrimitive: byte]. bytecode = 237 ifTrue: [^client jump: (extB bitShift: 8) + byte]. ^client jump: (extB bitShift: 8) + byte if: bytecode = 238]. bytecode < 243 ifTrue: [bytecode = 240 ifTrue: [^client popIntoReceiverVariable: (extA bitShift: 8) + byte]. bytecode = 241 ifTrue: [^client popIntoLiteralVariable: (method literalAt: (extA bitShift: 8) + byte + 1)]. ^client popIntoTemporaryVariable: byte]. bytecode = 243 ifTrue: [^client storeIntoReceiverVariable: (extA bitShift: 8) + byte]. bytecode = 244 ifTrue: [^client storeIntoLiteralVariable: (method literalAt: (extA bitShift: 8) + byte + 1)]. bytecode = 245 ifTrue: [^client storeIntoTemporaryVariable: byte]. "246-247 1111011 i xxxxxxxx UNASSIGNED" ^self unusedBytecode: client at: startPC! Item was changed: ----- Method: InstructionStream>>interpretNextSistaV1InstructionFor: (in category 'decoding - private - sista v1') ----- interpretNextSistaV1InstructionFor: client "Send to the argument, client, a message that specifies the next instruction." | byte div16 offset method extA extB savedPC | method := self method. "For a table of the bytecode set, see EncoderForSistaV1's class comment." "consume and compute any extensions first." extA := extB := 0. savedPC := pc. [byte := self method at: pc. pc := pc + 1. byte >= 16rE0 and: [byte <= 16rE1]] whileTrue: [| extByte | extByte := self method at: pc. pc := pc + 1. byte = 16rE0 ifTrue: [extA := (extA bitShift: 8) + extByte] ifFalse: [extB := (extB = 0 and: [extByte > 127]) ifTrue: [extByte - 256] ifFalse: [(extB bitShift: 8) + extByte]]]. div16 := byte // 16. offset := byte \\ 16. "We do an inline quasi-binary search on each of the possible 16 values of div16" div16 < 11 ifTrue: [div16 < 6 ifTrue: [div16 < 4 ifTrue: [div16 < 2 ifTrue: [div16 = 0 ifTrue: [^client pushReceiverVariable: offset]. ^client pushLiteralVariable: (method literalAt: offset + 1)]. "div16 = 1" ^client pushConstant: (method literalAt: byte \\ 32 + 1)]. div16 = 4 ifTrue: [offset < 12 ifTrue: [^client pushTemporaryVariable: offset]. offset = 12 ifTrue: [^client pushReceiver]. offset = 13 ifTrue: + [^client pushSpecialConstant: true]. - [^client pushConstant: true]. offset = 14 ifTrue: + [^client pushSpecialConstant: false]. - [^client pushConstant: false]. offset = 15 ifTrue: + [^client pushSpecialConstant: nil]]. - [^client pushConstant: nil]]. "div16 = 5" offset < 2 ifTrue: + [^client pushSpecialConstant: offset]. - [^client pushConstant: offset]. offset = 2 ifTrue: [^self interpretSistaV1ExtendedPush: extB for: client]. offset = 3 ifTrue: [^client doDup]. offset = 8 ifTrue: [^client methodReturnReceiver]. offset = 9 ifTrue: [^client methodReturnConstant: true]. offset = 10 ifTrue: [^client methodReturnConstant: false]. offset = 11 ifTrue: [^client methodReturnConstant: nil]. offset = 12 ifTrue: [^client methodReturnTop]. offset = 13 ifTrue: [^client blockReturnConstant: nil]. offset = 14 ifTrue: [^client blockReturnTop]. offset = 15 ifTrue: [^client doNop]. ^self unusedBytecode: client at: savedPC]. "short sends" div16 = 6 ifTrue: [^client + sendSpecial: (Smalltalk specialSelectorAt: offset + 1) - send: (Smalltalk specialSelectorAt: offset + 1) - super: false numArgs: (Smalltalk specialNargsAt: offset + 1)]. div16 = 7 ifTrue: [^client + sendSpecial: (Smalltalk specialSelectorAt: offset + 17) - send: (Smalltalk specialSelectorAt: offset + 17) - super: false numArgs: (Smalltalk specialNargsAt: offset + 17)]. ^client send: (method literalAt: offset + 1) super: false numArgs: div16 - 8]. "div16 >= 11; bytecode >= 176" div16 < 14 ifTrue: [div16 = 11 ifTrue: [offset < 8 ifTrue: [^client jump: offset + 1]. ^client jump: offset - 7 if: true]. div16 = 12 ifTrue: [offset < 8 ifTrue: [^client jump: offset + 1 if: false]. ^client popIntoReceiverVariable: offset - 8]. "div16 = 13" offset < 8 ifTrue: [^client popIntoTemporaryVariable: offset]. offset = 8 ifTrue: [^client doPop]. offset = 9 ifTrue: [^client trap]. ^self unusedBytecode: client at: savedPC]. "2 byte and 3 byte codes" byte < 248 ifTrue: [^self interpretNext2ByteSistaV1Instruction: byte for: client extA: extA extB: extB startPC: savedPC]. ^self interpretNext3ByteSistaV1Instruction: byte for: client extA: extA extB: extB startPC: savedPC! Item was changed: ----- Method: InstructionStream>>interpretNextV3ClosuresInstructionFor: (in category 'decoding - private - v3 plus closures') ----- interpretNextV3ClosuresInstructionFor: client "Send to the argument, client, a message that specifies the type of the next instruction." | byte type offset method | method := self method. byte := method at: pc. type := byte // 16. offset := byte \\ 16. pc := pc+1. "We do an inline binary search on each of the possible 16 values of type." type < 8 ifTrue: [type < 4 ifTrue: [type < 2 ifTrue: [type = 0 ifTrue: [^ client pushReceiverVariable: offset]. ^ client pushTemporaryVariable: offset]. "type = 1" type = 2 ifTrue: [^ client pushConstant: (method literalAt: offset + 1)]. ^ client pushConstant: (method literalAt: offset + 17)]. "type = 3" type < 6 ifTrue: [type = 4 ifTrue: [^ client pushLiteralVariable: (method literalAt: offset + 1)]. ^ client pushLiteralVariable: (method literalAt: offset + 17)]."type = 5" type = 6 ifTrue: [offset < 8 ifTrue: [^ client popIntoReceiverVariable: offset]. ^ client popIntoTemporaryVariable: offset - 8]. "type = 7" offset = 0 ifTrue: [^ client pushReceiver]. + offset < 8 ifTrue: [^ client pushSpecialConstant: (SpecialConstants at: offset)]. - offset < 8 ifTrue: [^ client pushConstant: (SpecialConstants at: offset)]. offset = 8 ifTrue: [^ client methodReturnReceiver]. offset < 12 ifTrue: [^ client methodReturnConstant: (SpecialConstants at: offset - 8)]. offset = 12 ifTrue: [^ client methodReturnTop]. offset = 13 ifTrue: [^ client blockReturnTop]. ^ self unusedBytecode: client at: pc - 1]. "offset = 14 & offset = 15, 126 & 127" type < 12 ifTrue: [type < 10 ifTrue: [type = 8 ifTrue: [^ self interpretV3ClosuresExtension: offset in: method for: client]. "type = 9 (short jumps)" offset < 8 ifTrue: [^ client jump: offset + 1]. ^ client jump: offset - 8 + 1 if: false]. type = 10 ifTrue: "(long jumps)" [byte := method at: pc. pc := pc + 1. offset < 8 ifTrue: [^ client jump: offset - 4 * 256 + byte]. ^ client jump: (offset bitAnd: 3) * 256 + byte if: offset < 12]. "type = 11; arithmetic special selector sends" ^ client + sendSpecial: (Smalltalk specialSelectorAt: offset + 1) - send: (Smalltalk specialSelectorAt: offset + 1) - super: false numArgs: (Smalltalk specialNargsAt: offset + 1)]. type = 12 ifTrue: "non-arithmetic special selector sends" [^ client + sendSpecial: (Smalltalk specialSelectorAt: offset + 17) - send: (Smalltalk specialSelectorAt: offset + 17) - super: false numArgs: (Smalltalk specialNargsAt: offset + 17)]. "type = 13, 14 or 15" ^ client send: (method literalAt: offset + 1) super: false numArgs: type - 13 "0, 1 & 2"! Item was changed: ----- Method: InstructionStream>>interpretNextV3InstructionFor: (in category 'decoding - private - v3 plus closures') ----- interpretNextV3InstructionFor: client "Send to the argument, client, a message that specifies the type of the next instruction." | byte type offset method | method := self method. byte := method at: pc. type := byte // 16. offset := byte \\ 16. pc := pc+1. "We do an inline binary search on each of the possible 16 values of type." type < 8 ifTrue: [type < 4 ifTrue: [type < 2 ifTrue: [type = 0 ifTrue: [^ client pushReceiverVariable: offset]. ^ client pushTemporaryVariable: offset]. "type = 1" type = 2 ifTrue: [^ client pushConstant: (method literalAt: offset + 1)]. ^ client pushConstant: (method literalAt: offset + 17)]. "type = 3" type < 6 ifTrue: [type = 4 ifTrue: [^ client pushLiteralVariable: (method literalAt: offset + 1)]. ^ client pushLiteralVariable: (method literalAt: offset + 17)]."type = 5" type = 6 ifTrue: [offset < 8 ifTrue: [^ client popIntoReceiverVariable: offset]. ^ client popIntoTemporaryVariable: offset - 8]. "type = 7" offset = 0 ifTrue: [^ client pushReceiver]. + offset < 8 ifTrue: [^ client pushSpecialConstant: (SpecialConstants at: offset)]. - offset < 8 ifTrue: [^ client pushConstant: (SpecialConstants at: offset)]. offset = 8 ifTrue: [^ client methodReturnReceiver]. offset < 12 ifTrue: [^ client methodReturnConstant: (SpecialConstants at: offset - 8)]. offset = 12 ifTrue: [^ client methodReturnTop]. offset = 13 ifTrue: [^ client blockReturnTop]. ^ self unusedBytecode: client at: pc - 1]. "offset = 14 & offset = 15, 126 & 127" type < 12 ifTrue: [type < 10 ifTrue: [type = 8 ifTrue: [^ self interpretV3Extension: offset in: method for: client]. "type = 9 (short jumps)" offset < 8 ifTrue: [^ client jump: offset + 1]. ^ client jump: offset - 8 + 1 if: false]. type = 10 ifTrue: "(long jumps)" [byte := method at: pc. pc := pc + 1. offset < 8 ifTrue: [^ client jump: offset - 4 * 256 + byte]. ^ client jump: (offset bitAnd: 3) * 256 + byte if: offset < 12]. "type = 11; arithmetic special selector sends" ^ client + sendSpecial: (Smalltalk specialSelectorAt: offset + 1) - send: (Smalltalk specialSelectorAt: offset + 1) - super: false numArgs: (Smalltalk specialNargsAt: offset + 1)]. type = 12 ifTrue: "non-arithmetic special selector sends" [^ client + sendSpecial: (Smalltalk specialSelectorAt: offset + 17) - send: (Smalltalk specialSelectorAt: offset + 17) - super: false numArgs: (Smalltalk specialNargsAt: offset + 17)]. "type = 13, 14 or 15" ^ client send: (method literalAt: offset + 1) super: false numArgs: type - 13 "0, 1 & 2"!

1 0

The Trunk: Compiler-eem.460.mcz
by commits＠source.squeak.org 17 Sep '21

17 Sep '21

Eliot Miranda uploaded a new version of Compiler to project The Trunk: http://source.squeak.org/trunk/Compiler-eem.460.mcz ==================== Summary ==================== Name: Compiler-eem.460 Author: eem Time: 12 September 2021, 10:22:33.290881 pm UUID: 8c0c1dda-df6a-4f58-920f-6d8984dc77b9 Ancestors: Compiler-mt.459 Decompiler mods for proposed fix for CompiledCode>>#allLiteralsDo: by adding pushSpecialConstant:/sendSpecial:numArgs:. =============== Diff against Compiler-mt.459 =============== Item was added: + ----- Method: Decompiler>>pushSpecialConstant: (in category 'instruction decoding') ----- + pushSpecialConstant: value + ^self pushConstant: value! Item was added: + ----- Method: Decompiler>>sendSpecial:numArgs: (in category 'instruction decoding') ----- + sendSpecial: selector numArgs: numArgs + ^self send: selector super: false numArgs: numArgs!

1 0

FFI: FFI-Tests-mt.65.mcz
by commits＠source.squeak.org 16 Sep '21

16 Sep '21

Marcel Taeumel uploaded a new version of FFI-Tests to project FFI: http://source.squeak.org/FFI/FFI-Tests-mt.65.mcz ==================== Summary ==================== Name: FFI-Tests-mt.65 Author: mt Time: 16 September 2021, 11:49:09.677662 am UUID: 44aeda08-104d-f844-add1-43d453c70bf3 Ancestors: FFI-Tests-mt.64 Complements FFI-Pools-mt.39 and FFI-Kernel-mt.220 =============== Diff against FFI-Tests-mt.64 =============== Item was changed: ----- Method: ExternalTypeTests>>testIntegerTypesAsCharTypes (in category 'tests - atomic integer types') ----- testIntegerTypesAsCharTypes #( int8_t int16_t int32_t ) do: [:typeName | | integerType | integerType := ExternalType typeNamed: typeName. self + deny: integerType isCharType; - assert: integerType isSigned; assert: integerType asCharType isCharType; assert: integerType byteSize equals: integerType asCharType byteSize; - assert: integerType isSigned equals: integerType asCharType isSigned; + deny: integerType asUnsigned isCharType; - assert: integerType asUnsigned isUnsigned; assert: integerType asUnsigned asCharType isCharType; + assert: integerType asUnsigned byteSize equals: integerType asUnsigned asCharType byteSize].! - assert: integerType asUnsigned byteSize equals: integerType asUnsigned asCharType byteSize; - assert: integerType asUnsigned isUnsigned equals: integerType asUnsigned asCharType isUnsigned].! Item was changed: ----- Method: FFIPluginTests>>expectedFailures (in category 'failures') ----- expectedFailures ^ #( testIntAliasCallReturnIntAlias "return-type coercing failed - check referentClass notNil missing?" testIntCallReturnIntAlias "return-type coercing failed - check referentClass notNil missing?" testMixedDoublesAndLongsSum "more than 15 method args needed" + testSumStructSslf4 "some overflow issue, maybe expected" + testPrintWideString "no support for WideString arguments yet")! - testSumStructSslf4 "some overflow issue, maybe expected")! Item was added: + ----- Method: FFIPluginTests>>testPrintWideString (in category 'tests - other') ----- + testPrintWideString + + | string result | + string := 'Hello World!!', (Character value: 1024). + result := self invoke: 'ffiPrintWideString' with: string. + self assert: result = string.! Item was added: + ----- Method: FFITestLibrary class>>ffiPrintWideString: (in category 'other') ----- + ffiPrintWideString: aString + " + FFITestLibrary ffiPrintString: 'Hello' + " + <cdecl: uchar32_t* 'ffiPrintString' (uchar32_t *) module:'SqueakFFIPrims'> + ^self externalCallFailed!

1 0

FFI: FFI-Pools-mt.39.mcz
by commits＠source.squeak.org 16 Sep '21

16 Sep '21

Marcel Taeumel uploaded a new version of FFI-Pools to project FFI: http://source.squeak.org/FFI/FFI-Pools-mt.39.mcz ==================== Summary ==================== Name: FFI-Pools-mt.39 Author: mt Time: 16 September 2021, 11:47:46.45032 am UUID: a4714e92-6b1a-0244-8aaf-b461af879700 Ancestors: FFI-Pools-mt.38 Complements/prepares FFI-Kernel-mt.220. Integrates FFI-Pools-eem.39 from inbox. 16-bit and 32-bit character types will simply get type codes 14 and 15 to remain backwards compatible within plugin version 1. Sketches possible #initializeTypeConstants_v2 for plugin version 2, using 5 bits instead of 4 bits for encoding type codes. =============== Diff against FFI-Pools-mt.38 =============== Item was changed: SharedPool subclass: #FFIConstants instanceVariableNames: '' + classVariableNames: 'FFIAtomicTypeMask FFIAtomicTypeShift FFICallFlagThreaded FFICallTypeApi FFICallTypeCDecl FFICallTypesMask FFIErrorAddressNotFound FFIErrorAttemptToPassVoid FFIErrorBadAddress FFIErrorBadArg FFIErrorBadArgs FFIErrorBadAtomicType FFIErrorBadExternalFunction FFIErrorBadExternalLibrary FFIErrorBadReturn FFIErrorCallFrameTooBig FFIErrorCallType FFIErrorCoercionFailed FFIErrorGenericError FFIErrorIntAsPointer FFIErrorInvalidPointer FFIErrorModuleNotFound FFIErrorNoModule FFIErrorNotFunction FFIErrorStructSize FFIErrorWrongType FFIFlagAtomic FFIFlagPointer FFIFlagStructure FFINoCalloutAvailable FFIStructSizeMask FFITypeBool FFITypeDoubleFloat FFITypeSignedChar8 FFITypeSignedInt16 FFITypeSignedInt32 FFITypeSignedInt64 FFITypeSignedInt8 FFITypeSingleFloat FFITypeUnsignedChar16 FFITypeUnsignedChar32 FFITypeUnsignedChar8 FFITypeUnsignedInt16 FFITypeUnsignedInt32 FFITypeUnsignedInt64 FFITypeUnsignedInt8 FFITypeVoid' - classVariableNames: 'FFIAtomicTypeMask FFIAtomicTypeShift FFICallFlagThreaded FFICallTypeApi FFICallTypeCDecl FFICallTypesMask FFIErrorAddressNotFound FFIErrorAttemptToPassVoid FFIErrorBadAddress FFIErrorBadArg FFIErrorBadArgs FFIErrorBadAtomicType FFIErrorBadExternalFunction FFIErrorBadExternalLibrary FFIErrorBadReturn FFIErrorCallFrameTooBig FFIErrorCallType FFIErrorCoercionFailed FFIErrorGenericError FFIErrorIntAsPointer FFIErrorInvalidPointer FFIErrorModuleNotFound FFIErrorNoModule FFIErrorNotFunction FFIErrorStructSize FFIErrorWrongType FFIFlagAtomic FFIFlagPointer FFIFlagStructure FFINoCalloutAvailable FFIStructSizeMask FFITypeBool FFITypeDoubleFloat FFITypeSignedChar16 FFITypeSignedChar32 FFITypeSignedChar8 FFITypeSignedInt16 FFITypeSignedInt32 FFITypeSignedInt64 FFITypeSignedInt8 FFITypeSingleFloat FFITypeUnsignedChar16 FFITypeUnsignedChar32 FFITypeUnsignedChar8 FFITypeUnsignedInt16 FFITypeUnsignedInt32 FFITypeUnsignedInt64 FFITypeUnsignedInt8 FFITypeVoid' poolDictionaries: '' category: 'FFI-Pools'! !FFIConstants commentStamp: 'TorstenBergmann 4/27/2017 11:02' prior: 0! Constants definitions for FFI! Item was changed: ----- Method: FFIConstants class>>initializeTypeConstants_v1 (in category 'pool initialization') ----- initializeTypeConstants_v1 <pluginVersion: 1> "type void" FFITypeVoid := 0. "type bool" FFITypeBool := 1. "basic integer types. note: (integerType anyMask: 1) = integerType isSigned" - FFITypeUnsignedInt8 := 2. FFITypeSignedInt8 := 3. FFITypeUnsignedInt16 := 4. FFITypeSignedInt16 := 5. FFITypeUnsignedInt32 := 6. FFITypeSignedInt32 := 7. FFITypeUnsignedInt64 := 8. FFITypeSignedInt64 := 9. + "original character types + note: isCharacterType ^type >> 1 >= 5 and: [(type >> 1) odd]" - "special integer types" FFITypeUnsignedChar8 := 10. + FFITypeSignedChar8 := 11. "N.B. misnomer!!" - FFITypeSignedChar8 := 11. - FFITypeUnsignedChar16 := 10. "v1 is for backwards compatibility" - FFITypeSignedChar16 := 11. "v1 is for backwards compatibility" - FFITypeUnsignedChar32 := 10. "v1 is for backwards compatibility" - FFITypeSignedChar32 := 11. "v1 is for backwards compatibility" + "float types + note: isFloatType ^type >> 1 = 6" - "float types" FFITypeSingleFloat := 12. FFITypeDoubleFloat := 13. + "new character types + note: isCharacterType ^type >> 1 >= 5 and: [(type >> 1) odd]" + FFITypeUnsignedChar16 := 14. + FFITypeUnsignedChar32 := 15. + "type flags" FFIFlagAtomic := 16r40000. "type is atomic" FFIFlagPointer := 16r20000. "type is pointer to base type" FFIFlagStructure := 16r10000. "baseType is structure of 64k length" FFIStructSizeMask := 16rFFFF. "mask for max size of structure" FFIAtomicTypeMask := 16r0F000000. "mask for atomic type spec" FFIAtomicTypeShift := 24. "shift for atomic type" ! Item was changed: ----- Method: FFIConstants class>>initializeTypeConstants_v2 (in category 'pool initialization') ----- initializeTypeConstants_v2 <pluginVersion: 2> self halt. "Not fully specified and still to be discussed." "type void" FFITypeVoid := 0. + + "float types" + "FFITypeHalfFloat := 1 -- ARMv8 supports 16-bit floats" + FFITypeSingleFloat := 2. + FFITypeDoubleFloat := 3. + "4 - 7 unused" - "type bool" - FFITypeBool := 1. + "integer types + note: (integerType allMask: 2r01100) = integerType isSigned + note: (integerType anyMask: 2r01000) = integerType isIntegerType" - "basic integer types. - note: (integerType anyMask: 1) = integerType isSigned" + FFITypeUnsignedInt8 := 8. + FFITypeUnsignedInt16 := 9. + FFITypeUnsignedInt32 := 10. + FFITypeUnsignedInt64 := 11. - FFITypeUnsignedInt8 := 2. - FFITypeSignedInt8 := 3. - FFITypeUnsignedInt16 := 4. - FFITypeSignedInt16 := 5. - FFITypeUnsignedInt32 := 6. - FFITypeSignedInt32 := 7. - FFITypeUnsignedInt64 := 8. - FFITypeSignedInt64 := 9. + FFITypeSignedInt8 := 12. + FFITypeSignedInt16 := 13. + FFITypeSignedInt32 := 14. + FFITypeSignedInt64 := 15. - "special integer types" - FFITypeUnsignedChar8 := 10. - FFITypeSignedChar8 := 11. - FFITypeUnsignedChar16 := 12. - FFITypeSignedChar16 := 13. - FFITypeUnsignedChar32 := 14. - FFITypeSignedChar32 := 15. + "boolean types + note: ((boolType anyMask: 2r10000) and: [boolType noMask: 2r00100]) = boolType isBoolType" + "FFITypeBool8 := 16." + "FFITypeBool16 := 17" + "FFITypeBool32 := 18" + "FFITypeBool64 := 19" + + "character types + note: (charType allMask: 2r10100) = charType isCharType" + FFITypeUnsignedChar8 := 20. + FFITypeUnsignedChar16 := 21. + FFITypeUnsignedChar32 := 22. + "FFITypeUnsignedChar64 := 23." - "float types" - FFITypeSingleFloat := 16. - FFITypeDoubleFloat := 17. + "24 - 31 unused" + "type flags" FFIFlagAtomic := 16r40000. "type is atomic" FFIFlagPointer := 16r20000. "type is pointer to base type" FFIFlagStructure := 16r10000. "baseType is structure of 64k length" FFIStructSizeMask := 16rFFFF. "mask for max size of structure" + FFIAtomicTypeMask := 16r1F000000. "mask for atomic type spec" - FFIAtomicTypeMask := 16r0F000000. "mask for atomic type spec" FFIAtomicTypeShift := 24. "shift for atomic type" !

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Packages September 2021