Vm-dev May 2019

vm-dev@lists.squeakfoundation.org

20 participants
76 discussions

Help: Linux 32b debug builds
by K K Subbu 28 May '19

28 May '19

Hi, Where can I find linux32bx86/squeak.cog.spur debug builds? I only see production builds in bintray and travis builds. I am trying to track down an X11 keyboard bug that manifests only on 32b but not on 64b :-(. I need a reproducible debug binary for tracing and testing. Thanks and Regards .. Subbu

3 2

VM Maker: VMMakerCompatibilityForPharo6-GuillermoPolito.13.mcz
by commits＠source.squeak.org 22 May '19

22 May '19

Guillermo Polito uploaded a new version of VMMakerCompatibilityForPharo6 to project VM Maker: http://source.squeak.org/VMMaker/VMMakerCompatibilityForPharo6-GuillermoPol… ==================== Summary ==================== Name: VMMakerCompatibilityForPharo6-GuillermoPolito.13 Author: GuillermoPolito Time: 22 May 2019, 11:39:09.839878 am UUID: 5f786f79-d845-0d00-bb5a-a63503d93aea Ancestors: VMMakerCompatibilityForPharo6-GuillermoPolito.12 Introduce Scanner and Project compatibility classes =============== Diff against VMMakerCompatibilityForPharo6-GuillermoPolito.12 =============== Item was changed: ----- Method: MethodReference>>setStandardClass:methodSymbol:environment: (in category 'initialize-release') ----- setStandardClass: aClass methodSymbol: aSelector environment: anEnvironment + classSymbol := aClass instanceSide name. - classSymbol := aClass theNonMetaClass name. classIsMeta := aClass isMeta. methodSymbol := aSelector. environment := anEnvironment. + stringVersion := nil! - stringVersion := nil.! Item was added: + Object subclass: #Project + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'VMMakerCompatibilityForPharo6-System'! Item was added: + ----- Method: Project class>>current (in category 'accessing') ----- + current + + ^ self! Item was added: + ----- Method: Project class>>restore (in category 'accessing') ----- + restore + + UIManager default restoreDisplay! Item was added: + ----- Method: Project class>>uiProcess (in category 'accessing') ----- + uiProcess + + ^ UIManager default uiProcess! Item was changed: ----- Method: RBMessageNode>>asTranslatorNodeIn: (in category '*VMMakerCompatibilityForPharo6-C translation') ----- asTranslatorNodeIn: aTMethod "Answer a TParseNode subclass equivalent of me" "selector is sometimes a Symbol, sometimes a SelectorNode!! On top of this, numArgs is needed due to the (truly grody) use of arguments as a place to store the extra expressions needed to generate code for in-line to:by:do:, etc. see below, where it is used. Expand super nodes in place. Elide sends of halt so that halts can be sprinkled through the simulator but will be eliminated from the generated C." | usedSelector rcvrOrNil args | usedSelector := selector. rcvrOrNil := receiver ifNotNil: [receiver asTranslatorNodeIn: aTMethod]. (rcvrOrNil notNil and: [rcvrOrNil isVariable and: [rcvrOrNil name = 'super']]) ifTrue: [^aTMethod superExpansionNodeFor: usedSelector args: arguments]. usedSelector == #halt ifTrue: [^rcvrOrNil]. (usedSelector == #cCode:inSmalltalk: "extracting here rather than in translation allows inlining in the block." or: [usedSelector == #cCode:]) ifTrue: [arguments first isBlockNode ifTrue: [| block | ^(block := arguments first asTranslatorNodeIn: aTMethod) statements size = 1 ifTrue: [block statements first] ifFalse: [block]]. (arguments first isLiteralNode and: [arguments first value isString and: [arguments first value isEmpty]]) ifTrue: [^arguments first asTranslatorNodeIn: aTMethod]]. args := arguments collect: [:arg| arg asTranslatorNodeIn: aTMethod]. (usedSelector == #to:do:) ifTrue: [ | block | usedSelector := #to:by:do:. block := args second. + arguments first isLiteralNode ifTrue: [ + args := OrderedCollection + with: args first + with: (TConstantNode new setValue: 1) + with: args second + with: (TAssignmentNode new + setVariable: (arguments first asTranslatorNodeIn: aTMethod) + expression: (TConstantNode new setValue: 1); - args := OrderedCollection - with: args first - with: (TConstantNode new setValue: 1) - with: args second - with: (TAssignmentNode new - setVariable: (arguments first asTranslatorNodeIn: aTMethod) - expression: (TConstantNode new setValue: 1); - yourself) - with: (TSendNode new - setSelector: #<= - receiver: (TVariableNode new setName: block args first) - arguments: { receiver asTranslatorNodeIn: aTMethod }) - with: (TAssignmentNode new - setVariable: (TVariableNode new setName: block args first) - expression: (TSendNode new - setSelector: #+ - receiver: (TVariableNode new setName: block args first) - arguments: { TConstantNode new setValue: 1 }); yourself) + with: (TSendNode new + setSelector: #<= + receiver: (TVariableNode new setName: block args first) + arguments: { receiver asTranslatorNodeIn: aTMethod }) + with: (TAssignmentNode new + setVariable: (TVariableNode new setName: block args first) + expression: (TSendNode new + setSelector: #+ + receiver: (TVariableNode new setName: block args first) + arguments: { TConstantNode new setValue: 1 }); + yourself) + ] ifFalse: [ + args := OrderedCollection + with: args first + with: (TConstantNode new setValue: 1) + with: args second + with: (TVariableNode new setName: 'iLimiT') + ] ]. "If in the form of ifNil: [ :obj | ], replace that by an assignment and an ifFalse" ((usedSelector == #ifNotNil:) and: [ args first args notEmpty ]) ifTrue: [ ^ TStmtListNode new setArguments: #(); setStatements: { TAssignmentNode new setVariable: (TVariableNode new setName: args first args first) expression: rcvrOrNil. TSendNode new setSelector: #ifFalse: receiver: (TSendNode new setSelector: #== receiver: (TVariableNode new setName: args first args first) arguments: {(TVariableNode new setName: 'nil')}; yourself) arguments: {args first} }; yourself ]. (#(#ifNotNil:ifNil: #ifNil:ifNotNil:) includes: usedSelector) ifTrue: [ | comparand expression blockWithPossibleArgument | "We turn it always to an ifTrueIfFalse" usedSelector = #ifNotNil:ifNil: ifTrue: [ args := args reversed ]. blockWithPossibleArgument := args second. expression := rcvrOrNil. comparand := blockWithPossibleArgument args ifEmpty: [ expression ] ifNotEmpty: [ (TVariableNode new setName: blockWithPossibleArgument args first) ]. usedSelector := #ifTrue:ifFalse:. rcvrOrNil := TSendNode new setSelector: #== receiver: comparand arguments: { TVariableNode new setName: 'nil' }. "If there is a variable we should epand the message as a statement" blockWithPossibleArgument args notEmpty ifTrue: [ ^ TStmtListNode new setArguments: #(); setStatements: { TAssignmentNode new setVariable: (TVariableNode new setName: blockWithPossibleArgument args first) expression: expression. TSendNode new setSelector: usedSelector receiver: rcvrOrNil arguments: args }; yourself ] ]. (usedSelector == #ifNil:ifNotNil:) ifTrue: [ usedSelector := #ifTrue:ifFalse:. rcvrOrNil := TSendNode new setSelector: #== receiver: rcvrOrNil arguments: { TVariableNode new setName: 'nil' } ]. (usedSelector == #ifTrue:ifFalse: and: [arguments first statements isEmpty]) ifTrue: [usedSelector := #ifFalse:. args := {args last}]. (usedSelector == #ifTrue:ifFalse: and: [arguments last statements isEmpty]) ifTrue: [usedSelector := #ifTrue:. args := {args first}]. (usedSelector == #ifFalse:ifTrue: and: [arguments first statements isEmpty]) ifTrue: [usedSelector := #ifTrue:. args := {args last}]. (usedSelector == #ifFalse:ifTrue: and: [arguments last statements isEmpty]) ifTrue: [usedSelector := #ifTrue:. args := {args first}]. ((usedSelector == #ifFalse: or: [usedSelector == #or:]) and: [arguments size = 2 and: [(arguments at: 2) notNil]]) ifTrue: ["Restore argument block that got moved by transformOr: or transformIfFalse:" args := {(arguments at: 2) asTranslatorNodeIn: aTMethod}]. (args size > usedSelector numArgs and: [usedSelector ~~ #to:by:do:]) ifTrue: "to:by:do: has iLimiT hidden in last arg" ["prune the extra blocks left by ifTrue:, ifFalse:, and: & or:" self assert: args size - usedSelector numArgs = 1. self assert: (args last isStmtList and: [args last statements size = 1 and: [(args last statements first isVariable or: [args last statements first isConstant]) and: [#('nil' true false) includes: args last statements first nameOrValue]]]). args := args first: usedSelector numArgs]. ((CCodeGenerator isVarargsSelector: usedSelector) and: [args last isCollection and: [args last isSequenceable]]) ifTrue: [args := args allButLast, args last]. ^TSendNode new setSelector: usedSelector receiver: rcvrOrNil arguments: args! Item was added: + Object subclass: #Scanner + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'VMMakerCompatibilityForPharo6-System'! Item was added: + ----- Method: Scanner>>scanTokens: (in category 'scanning') ----- + scanTokens: aString + + ^ (RBScanner on: aString readStream) contents! Item was changed: + ----- Method: Scanner>>typedScanTokens: (in category 'accessing') ----- - ----- Method: Scanner>>typedScanTokens: (in category '*VMMakerCompatibilityForPharo6') ----- typedScanTokens: textOrString "Answer an Array that has been tokenized with literals mapped to literals, special characters mapped to symbols and variable names and keywords to strings. This methiod accepts _ (underscore) as an assignment token irrespective of whether the system prefers := as the assignment token." - | s | - self initScannerForTokenization. - self scan: (ReadStream on: textOrString asString). - s := WriteStream on: (Array new: 16). - [tokenType == #doIt] whileFalse: - [(token == #- - and: [(self typeTableAt: hereChar) == #xDigit]) ifTrue: - [self scanToken. - token := token negated]. - s nextPut: token. - self scanToken]. - ^s contents + ^ (self scanTokens: textOrString) + collect: [ :e | | value | + value := e value. + e isSpecial ifTrue: [ value := value asSymbol ]. + value ]! - "Scanner new typedScanTokens: (Scanner sourceCodeAt: #typedScanTokens:)"! Item was removed: - ----- Method: ShortRunArray>>bytesPerElement (in category '*VMMakerCompatibilityForPharo6-accessing') ----- - bytesPerElement - - ^ 4! Item was removed: - ----- Method: TParseNode>>name (in category '*VMMakerCompatibilityForPharo6') ----- - name - - ^ self printString! Item was added: + ----- Method: VMMASTTranslationTest>>methodWithExpressionInLoopCondition (in category 'generation-targets') ----- + methodWithExpressionInLoopCondition + + 1 to: self something - 10 do: [ :i | self foo: i ]! Item was added: + ----- Method: VMMASTTranslationTest>>testMethodWithConditionInLoopLimitHasLimitVariable (in category 'tests') ----- + testMethodWithConditionInLoopLimitHasLimitVariable + + | translation method loop | + method := self class >> #methodWithExpressionInLoopCondition. + translation := method asTranslationMethodOfClass: TMethod. + + loop := translation statements first. + self assert: loop args size equals: 4! Item was added: + ----- Method: VMMASTTranslationTest>>testMethodWithConstantConditionInLoopHasNoLimitVariable (in category 'tests') ----- + testMethodWithConstantConditionInLoopHasNoLimitVariable + + | translation method loop | + method := self class >> #methodWithLoop. + translation := method asTranslationMethodOfClass: TMethod. + + loop := translation statements first. + self assert: loop args size equals: 6!

1 0

[OpenSmalltalk/opensmalltalk-vm] serial: Remove unused variable holding a default filename (#394)
by Holger Freyther 15 May '19

15 May '19

You can view, comment on, or merge this pull request online at: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/394 -- Commit Summary -- * serial: Remove unused variable holding a default filename -- File Changes -- M platforms/unix/plugins/SerialPlugin/sqUnixSerial.c (5) -- Patch Links -- https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/394.patch https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/394.diff -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/394

3 5

Errored: OpenSmalltalk/opensmalltalk-vm#1747 (Cog - a045ab9)
by Travis CI 15 May '19

15 May '19

Build Update for OpenSmalltalk/opensmalltalk-vm ------------------------------------- Build: #1747 Status: Errored Duration: 12 mins and 6 secs Commit: a045ab9 (Cog) Author: Tobias Pape Message: Merge pull request #394 from zecke/serial-dead-code serial: Remove unused variable holding a default filename View the changeset: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/6e57b1a4e43f...a0… View the full build log and details: https://travis-ci.org/OpenSmalltalk/opensmalltalk-vm/builds/532792510?utm_m… -- You can unsubscribe from build emails from the OpenSmalltalk/opensmalltalk-vm repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=8795279&ut…. Or unsubscribe from *all* email updating your settings at https://travis-ci.org/account/preferences/unsubscribe?utm_medium=notificati…. Or configure specific recipients for build notifications in your .travis.yml file. See https://docs.travis-ci.com/user/notifications.

1 0

[OpenSmalltalk/opensmalltalk-vm] b58e0a: serial: Remove unused variable holding a default f...
by Tobias Pape 15 May '19

15 May '19

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: b58e0a16f15c69a4267a719d8a378b3b2386c620 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/b58e0a16f15c69a426… Author: Holger Hans Peter Freyther <holger(a)moiji-mobile.com> Date: 2019-05-04 (Sat, 04 May 2019) Changed paths: M platforms/unix/plugins/SerialPlugin/sqUnixSerial.c Log Message: ----------- serial: Remove unused variable holding a default filename Commit: a045ab9f1ef59f1d50b30463b78a98e27365ae1f https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/a045ab9f1ef59f1d50… Author: Tobias Pape <krono(a)users.noreply.github.com> Date: 2019-05-15 (Wed, 15 May 2019) Changed paths: M platforms/unix/plugins/SerialPlugin/sqUnixSerial.c Log Message: ----------- Merge pull request #394 from zecke/serial-dead-code serial: Remove unused variable holding a default filename Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/6e57b1a4e43f...a0…

1 0

Fwd: [squeak-dev] VM crash when adding new instance variable to MethodDictionary
by Fabio Niephaus 13 May '19

13 May '19

Adding vm-dev... ---------- Forwarded message --------- From: bjoern.daase <bjoern.daase(a)gmail.com> Date: Mon, May 13, 2019 at 4:18 PM Subject: [squeak-dev] VM crash when adding new instance variable to MethodDictionary To: <squeak-dev(a)lists.squeakfoundation.org> Hi everyone, we got the following issue. Problem: I get a VM crash when adding a new instance variable to the MethodDictionary class. Happens on 5.2 as well as on trunk. Expected behavior: Any of the following 1. It works 2. You get an error, that you may not change the instance variables of MethodDictionary (as done on Collection and add a hint in the class comment Steps to reproduce: 1. Add an instance variable to the MethodDictionary class 2. Save the change Stacktrace: (is from 5.2 but happens on trunk as well) attached Bests, Björn -- Sent from: http://forum.world.st/Squeak-Dev-f45488.html

1 0

Call for Papers: COP 2019
by Fabio Niephaus 12 May '19

12 May '19

============================================================================ Call for Papers: COP 2019 The 11th International Workshop on Context-Oriented Programming and Advanced Modularity (COP) Co-located with ECOOP 2019 July 15th - 19th, 2019, London, United Kingdom https://2019.ecoop.org/home/COP-2019 ============================================================================ Contextual information plays an ever-increasing role in our information- centric world. Current-day software systems adapt continuously to changing execution and usage contexts, even while running. Unfortunately, mainstream programming languages and development environments still do not support this kind of dynamicity very well, leading developers to implement complex designs to anticipate various dimensions of variability. Context-Oriented Programming directly supports variability at the programming level, depending on a wide range of dynamic attributes. It enables run-time behavior to be dispatched directly on any detected properties of the execution or user context. Since more than a decade, researchers have been working on a variety of notions approaching that idea. Implementations ranging from first prototypes to mature platform extensions used in commercial deployments have illustrated how multidimensional dispatch can be supported effectively to achieve expressive run-time variation in behavior. The previous editions of this workshop at ECOOP (since 2009) have each attracted around 30 participants. The goal of the 11th Workshop on Context-Oriented Programming is to further establish context orientation as a common thread throughout language design, application development, and system support. In 2019 we also hope to advance this vibrant research domain at ECOOP in the versatile city of London. According to Wikipedia, London is considered to be one of the world’s most important global cities and has been termed the world’s most powerful, most desirable, most influential, most visited, most expensive, innovative, sustainable, most investment friendly, most popular for work, and the most vegetarian friendly city in the world, all depending on the context. Call for Papers --------------- COP invites submissions of high-quality papers reporting original research, or describing innovative contributions to, or experience with context- oriented programming, its implementation, and application. Papers that depart significantly from established ideas and practices are particularly welcome. All papers must be original. Submissions must not have been published previously and must not be simultaneously submitted or under review at any other refereed event or publication. The program committee will evaluate each contributed paper based on its relevance, significance, clarity, and originality. Topics ------ Topics of interest to the workshop include, but are not limited to: - Interesting application domains and scenarios for COP; - Programming language abstractions for COP (e.g., dynamic scoping, roles, traits, prototype-based extensions); - Implementation techniques and mechanisms for COP (e.g., different kinds of dynamic, contextual, and multi-dimensional dispatch or pre-dispatch); - Implementation issues for COP (e.g., optimization, VM support, JIT compilation); - Implemented use-cases, case studies, or prototypes of COP; - Theoretical foundations for COP (e.g., semantics, type systems); - Configuration languages (e.g., feature description interpreters, transformational approaches); - Interaction between non-functional programming concerns and COP (e.g., security, persistence, concurrency, distribution); - Modularization approaches for COP (e.g., modules, aspects, features, layers, plugins); Guidelines to apply COP (e.g., best practices, idioms, patterns); - Run-time support for COP (e.g., reflection, dynamic binding); - Tool support (e.g., design tools, IDEs, debuggers); - Support for COP at the modeling level; - Beyond context-oriented behavior adaptation (e.g., UI adaptation, DB adaptation). Submission Guidelines --------------------- Papers are to be submitted via EasyChair. They must be written in English, provided as PDF documents, and follow the new ACM Master Article Template with the sigconf option. They should not exceed 8 pages. Accepted papers will be published in the ACM Digital Library. Submission Site: https://easychair.org/conferences/?conf=cop2019 Template: https://www.acm.org/publications/proceedings-template Important Dates --------------- Submission deadline: 2019-05-20 Author notification: 2019-06-10 All deadlines are Anywhere on Earth (AoE), i.e. GMT/UTC-12:00 hour. Program Committee ----------------- Walter Binder, University of Lugano, Switzerland Walter Cazzola, Università degli Studi di Milano, Italy Shigeru Chiba, University of Tokyo, Japan Cynthia Disenfeld, University of Toronto, Canada Benoît Duhoux, Université catholique de Louvain, Belgium David H. Lorenz, Open University and Technion IIT, Israel Robert Hirschfeld, Hasso-Plattner-Institut (HPI), Germany Atsushi Igarashi, Kyoto University, Japan Tetsuo Kamina, Oita University, Japan Gary Leavens, University of Central Florida, United States Mariana Marasoiu, University of Cambridge, United Kingdom Hidehiko Masuhara, Tokyo Institute of Technology, Japan Roly Perera, Alan Turing Institute, United Kingdom Organizers ---------- David H. Lorenz, Open University and Technion IIT, Israel Robert Hirschfeld, Hasso-Plattner-Institut (HPI), Germany Atsushi Igarashi, Kyoto University, Japan Hidehiko Masuhara, Tokyo Institute of Technology, Japan

1 0

VM Maker: ImageFormat-dtl.36.mcz
by commits＠source.squeak.org 10 May '19

10 May '19

David T. Lewis uploaded a new version of ImageFormat to project VM Maker: http://source.squeak.org/VMMaker/ImageFormat-dtl.36.mcz ==================== Summary ==================== Name: ImageFormat-dtl.36 Author: dtl Time: 10 May 2019, 7:27:00.214 am UUID: 84ef5cdf-ca3b-4f81-8724-0662c9becb80 Ancestors: ImageFormat-kks.35 Let 68004 be a base version number, supporting the 68021 64-bit Spur format. Base number plus Spur bit plus platform float order bit yields 68021. 68004 + 2r10001 ==> 68021 Restore a unit test that covers 68021format. Reorganize method categories to clarify bit assignment methods. Notes: 68004 has not been used in practice but is considered valid. These changes do not affect the generated ckformat.c program. =============== Diff against ImageFormat-kks.35 =============== Item was changed: + ----- Method: ImageFormat class>>availableBits (in category 'bit assignments') ----- - ----- Method: ImageFormat class>>availableBits (in category 'initialize-release') ----- availableBits "Bits available for use as capability bits. Reserve high order bit as the extension bit, to be set true if additional bits are required in the future." "ImageFormat availableBits printStringBase: 2" | mask | mask := 0. self bitAssignments doWithIndex: [ :e :i | mask := mask bitAt: i put: (e isNil ifTrue: [ 1 ] ifFalse: [ 0 ])]. ^ mask ! Item was changed: ----- Method: ImageFormat class>>baseVersionNumbers (in category 'image formats') ----- baseVersionNumbers "The well-known image format versions for basic 32 and 64 bit images, including images that require closure bytecode support. These base format numbers my be modified by application of various capability bits representing additional requirements that the image expects to be supported by the virtual machine." + ^#(6502 6504 68000 68002 68004) - ^#(6502 6504 68000 68002) ! Item was changed: + ----- Method: ImageFormat class>>bitAssignments (in category 'bit assignments') ----- - ----- Method: ImageFormat class>>bitAssignments (in category 'initialize-release') ----- bitAssignments "ImageFormat bitAssignments doWithIndex: [ :e :i | Transcript cr; show: 'bit ', i asString, ' is ', (e ifNil: ['unused'])]" | bits | bits := Array new: 32. "If bit 1 is set, the high and low order 32-bit words of a Float are stored in platform word order. If bit 1 is not set, big-endian word order is used for Float regardless of the platform." bits at: 1 put: 'the use platform float word order bit (Cog and StackInterpreter)'. bits at: 2 put: 'used in base version numbers'. bits at: 3 put: 'used in base version numbers'. bits at: 4 put: 'used in base version numbers'. bits at: 5 put: 'the Spur object format bit'. bits at: 6 put: 'used in base version numbers'. bits at: 7 put: 'used in base version numbers'. bits at: 8 put: 'used in base version numbers'. bits at: 9 put: 'used in base version numbers'. bits at: 10 put: nil. "unassigned bit available for future image formats" bits at: 11 put: nil. "unassigned bit available for future image formats" bits at: 12 put: 'used in base version numbers'. bits at: 13 put: 'used in base version numbers'. bits at: 14 put: nil. "unassigned bit available for future image formats" bits at: 15 put: nil. "unassigned bit available for future image formats" bits at: 16 put: nil. "unassigned bit available for future image formats" bits at: 17 put: 'used in base version numbers'. bits at: 18 put: nil. "unassigned bit available for future image formats" bits at: 19 put: nil. "unassigned bit available for future image formats" bits at: 20 put: nil. "unassigned bit available for future image formats" bits at: 21 put: nil. "unassigned bit available for future image formats" bits at: 22 put: nil. "unassigned bit available for future image formats" bits at: 23 put: nil. "unassigned bit available for future image formats" bits at: 24 put: nil. "unassigned bit available for future image formats" bits at: 25 put: nil. "unassigned bit available for future image formats" bits at: 26 put: nil. "unassigned bit available for future image formats" bits at: 27 put: nil. "unassigned bit available for future image formats" bits at: 28 put: nil. "unassigned bit available for future image formats" bits at: 29 put: nil. "unassigned bit available for future image formats" bits at: 30 put: nil. "unassigned bit available for future image formats" bits at: 31 put: nil. "unassigned bit available for future image formats" "If bit 32 is set, additional image format information will be stored in one or more additional words. Currently this is unused, and bit 32 is always zero." bits at: 32 put: 'the extension bit (reserved for future use)'. ^bits ! Item was changed: + ----- Method: ImageFormat class>>bitsInUse (in category 'bit assignments') ----- - ----- Method: ImageFormat class>>bitsInUse (in category 'image formats') ----- bitsInUse "Answer a mask of the bits used by all known version format numbers" "Transcript cr; show: (ImageFormat bitsInUse printStringBase: 2)" | mask | mask := 0. self bitAssignments doWithIndex: [ :e :i | mask := mask bitAt: i put: (e notNil ifTrue: [ 1 ] ifFalse: [ 0 ])]. ^ mask ! Item was changed: + ----- Method: ImageFormat class>>knownVersionNumbers (in category 'image formats') ----- - ----- Method: ImageFormat class>>knownVersionNumbers (in category 'initialize-release') ----- knownVersionNumbers "Version numbers currently in use or likely to be used (e.g. 64-bit Cog formats)" "ImageFormat knownVersionNumbers collect: [:e | (ImageFormat fromInteger: e) description]" ^ ( self baseVersionNumbers, "the original format number variants" { 6505 . "Cog and StackVM" 68003 . "Cog and StackVM running 64-bit image" 6521 . "Spur 32 bit object memory" 68019 . "Spur 64 bit object memory (early)" 68021 . "Spur 64 bit object memory" " ... add others here as bits are allocated to represent requirements of other image formats" } ) sort. ! Item was changed: ----- Method: ImageFormatTest>>testIsValidVersionNumber (in category 'testing') ----- testIsValidVersionNumber self should: [ImageFormat fromInteger: 0] raise: Error. self should: [ImageFormat fromInteger: (6502 bitAnd: 16r80000000)] raise: Error. self should: [ImageFormat fromInteger: (6502 bitAt: 31 put: 1)] raise: Error. self should: [ImageFormat fromInteger: 6500] raise: Error. self should: [ImageFormat fromInteger: 6501] raise: Error. self should: [ImageFormat fromInteger: 6503] raise: Error. "Cog requires both capabilities" self should: [ImageFormat fromInteger: 68001] raise: Error. "Cog requires both capabilities" self assert: ImageFormat default isValidVersionNumber. self assert: (ImageFormat wordSize: 4 closures: false) isValidVersionNumber. self assert: (ImageFormat wordSize: 4 closures: true) isValidVersionNumber. self assert: (ImageFormat wordSize: 8 closures: false) isValidVersionNumber. self assert: (ImageFormat wordSize: 8 closures: true) isValidVersionNumber. self assert: (ImageFormat fromInteger: 6502) isValidVersionNumber. self assert: (ImageFormat fromInteger: (6502 bitAt: 31 put: 0)) isValidVersionNumber. self assert: (ImageFormat fromInteger: 6521) isValidVersionNumber. self assert: (ImageFormat fromInteger:68000) isValidVersionNumber. self assert: (ImageFormat fromInteger:68002) isValidVersionNumber. + self assert: (ImageFormat fromInteger:68004) isValidVersionNumber. self assert: (ImageFormat fromInteger:68003) isValidVersionNumber. "valid but unused, as with 68019" self assert: (ImageFormat fromInteger: 68019) isValidVersionNumber. + self assert: (ImageFormat fromInteger: 68021) isValidVersionNumber. !

1 0

VM Maker: ImageFormat-kks.35.mcz
by commits＠source.squeak.org 09 May '19

09 May '19

David T. Lewis uploaded a new version of ImageFormat to project VM Maker: http://source.squeak.org/VMMaker/ImageFormat-kks.35.mcz ==================== Summary ==================== Name: ImageFormat-kks.35 Author: kks Time: 10 April 2019, 11:21:27.422478 pm UUID: 67c4b2d3-702b-447e-890c-1ba698a71b4f Ancestors: ImageFormat-kks.34 Removed tests for 68004, 68021 formats since 68004 is no longer a base version number. =============== Diff against ImageFormat-kks.34 =============== Item was changed: ----- Method: ImageFormatTest>>testIsValidVersionNumber (in category 'testing') ----- testIsValidVersionNumber self should: [ImageFormat fromInteger: 0] raise: Error. self should: [ImageFormat fromInteger: (6502 bitAnd: 16r80000000)] raise: Error. self should: [ImageFormat fromInteger: (6502 bitAt: 31 put: 1)] raise: Error. self should: [ImageFormat fromInteger: 6500] raise: Error. self should: [ImageFormat fromInteger: 6501] raise: Error. self should: [ImageFormat fromInteger: 6503] raise: Error. "Cog requires both capabilities" self should: [ImageFormat fromInteger: 68001] raise: Error. "Cog requires both capabilities" self assert: ImageFormat default isValidVersionNumber. self assert: (ImageFormat wordSize: 4 closures: false) isValidVersionNumber. self assert: (ImageFormat wordSize: 4 closures: true) isValidVersionNumber. self assert: (ImageFormat wordSize: 8 closures: false) isValidVersionNumber. self assert: (ImageFormat wordSize: 8 closures: true) isValidVersionNumber. self assert: (ImageFormat fromInteger: 6502) isValidVersionNumber. self assert: (ImageFormat fromInteger: (6502 bitAt: 31 put: 0)) isValidVersionNumber. self assert: (ImageFormat fromInteger: 6521) isValidVersionNumber. self assert: (ImageFormat fromInteger:68000) isValidVersionNumber. self assert: (ImageFormat fromInteger:68002) isValidVersionNumber. - self assert: (ImageFormat fromInteger:68004) isValidVersionNumber. self assert: (ImageFormat fromInteger:68003) isValidVersionNumber. "valid but unused, as with 68019" self assert: (ImageFormat fromInteger: 68019) isValidVersionNumber. - self assert: (ImageFormat fromInteger: 68021) isValidVersionNumber. !

3 2

VM Maker: VMMaker.oscog-GAP.2534.mcz
by commits＠source.squeak.org 09 May '19

09 May '19

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-GAP.2534.mcz ==================== Summary ==================== Name: VMMaker.oscog-GAP.2534 Author: GAP Time: 9 May 2019, 5:12:22.055089 pm UUID: cd6aae16-6f20-4ddb-9328-64b19b413cb1 Ancestors: VMMaker.oscog-eem.2532 Convert numeric constants to strings for concatenation using #printString. Required for Pharo compatibility, where the arguments of concatenation are not automatically coerced to strings. =============== Diff against VMMaker.oscog-eem.2532 =============== Item was changed: ----- Method: CogAbstractInstruction class>>instVarNamesAndTypesForTranslationDo: (in category 'translation') ----- instVarNamesAndTypesForTranslationDo: aBinaryBlock "Enumerate aBinaryBlock with the names and C type strings for the inst vars to include in an AbstractInstruction struct." "(CogAbstractInstruction withAllSubclasses reject: [:c| c name includesSubString: 'ForTests']) do: [:c| Transcript print: c; cr. c printTypedefOn: Transcript]" (self filteredInstVarNames copyWithout: 'machineCode'), #('machineCode') do: [:ivn| aBinaryBlock value: ivn value: (ivn caseOf: { ['address'] -> [#usqInt]. "usqInt is always large enough to contain a pointer; we do not need to use usqIntptr_t" ['machineCode'] -> [self machineCodeDeclaration]. + ['operands'] -> [{#usqInt. '[', NumOperands printString, ']'}]. - ['operands'] -> [{#usqInt. '[', NumOperands, ']'}]. ['dependent'] -> ['struct _AbstractInstruction *']} otherwise: [#'unsigned char'])]! Item was changed: ----- Method: Cogit class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCCodeGenerator #( 'coInterpreter' 'objectMemory' 'methodZone' 'objectRepresentation' 'cogBlockMethodSurrogateClass' 'cogMethodSurrogateClass' 'nsSendCacheSurrogateClass' 'threadManager' 'processor' 'lastNInstructions' 'simulatedAddresses' 'simulatedTrampolines' 'simulatedVariableGetters' 'simulatedVariableSetters' 'printRegisters' 'printInstructions' 'clickConfirm' 'singleStep') do: [:simulationVariableNotNeededForRealVM| aCCodeGenerator removeVariable: simulationVariableNotNeededForRealVM]. NewspeakVM ifFalse: [#( 'selfSendTrampolines' 'dynamicSuperSendTrampolines' 'implicitReceiverSendTrampolines' 'outerSendTrampolines' 'ceEnclosingObjectTrampoline' 'numIRCs' 'indexOfIRC' 'theIRCs') do: [:variableNotNeededInNormalVM| aCCodeGenerator removeVariable: variableNotNeededInNormalVM]]. aCCodeGenerator removeConstant: #COGMTVM. "this should be defined at compile time" aCCodeGenerator addHeaderFile:'<stddef.h>'; "for e.g. offsetof" addHeaderFile:'"sqCogStackAlignment.h"'; addHeaderFile:'"dispdbg.h"'; "must precede cointerp.h & cogit.h otherwise NoDbgRegParms gets screwed up" addHeaderFile:'"cogmethod.h"'. NewspeakVM ifTrue: [aCCodeGenerator addHeaderFile:'"nssendcache.h"']. aCCodeGenerator addHeaderFile:'#if COGMTVM'; addHeaderFile:'"cointerpmt.h"'; addHeaderFile:'#else'; addHeaderFile:'"cointerp.h"'; addHeaderFile:'#endif'; addHeaderFile:'"cogit.h"'. aCCodeGenerator var: #ceGetFP declareC: 'usqIntptr_t (*ceGetFP)(void)'; var: #ceGetSP declareC: 'usqIntptr_t (*ceGetSP)(void)'; var: #ceCaptureCStackPointers declareC: 'void (*ceCaptureCStackPointers)(void)'; var: #ceEnterCogCodePopReceiverReg declareC: 'void (*ceEnterCogCodePopReceiverReg)(void)'; var: #realCEEnterCogCodePopReceiverReg declareC: 'void (*realCEEnterCogCodePopReceiverReg)(void)'; var: #ceCallCogCodePopReceiverReg declareC: 'void (*ceCallCogCodePopReceiverReg)(void)'; var: #realCECallCogCodePopReceiverReg declareC: 'void (*realCECallCogCodePopReceiverReg)(void)'; var: #ceCallCogCodePopReceiverAndClassRegs declareC: 'void (*ceCallCogCodePopReceiverAndClassRegs)(void)'; var: #realCECallCogCodePopReceiverAndClassRegs declareC: 'void (*realCECallCogCodePopReceiverAndClassRegs)(void)'; var: #ceFlushICache declareC: 'static void (*ceFlushICache)(usqIntptr_t from, usqIntptr_t to)'; var: #ceCheckFeaturesFunction declareC: 'static usqIntptr_t (*ceCheckFeaturesFunction)(void)'; var: #ceTryLockVMOwner declareC: 'usqIntptr_t (*ceTryLockVMOwner)(void)'; var: #ceUnlockVMOwner declareC: 'void (*ceUnlockVMOwner)(void)'; var: #postCompileHook declareC: 'void (*postCompileHook)(CogMethod *)'; var: #openPICList declareC: 'CogMethod *openPICList = 0'; var: #maxMethodBefore type: #'CogBlockMethod *'; var: 'enumeratingCogMethod' type: #'CogMethod *'. aCCodeGenerator declareVar: 'aMethodLabel' type: #'AbstractInstruction'; "Has to come lexicographically before backEnd & methodLabel" var: #backEnd declareC: 'AbstractInstruction * const backEnd = &aMethodLabel'; var: #methodLabel declareC: 'AbstractInstruction * const methodLabel = &aMethodLabel'. self declareC: #(abstractOpcodes stackCheckLabel blockEntryLabel blockEntryNoContextSwitch stackOverflowCall sendMiss entry noCheckEntry selfSendEntry dynSuperEntry fullBlockNoContextSwitchEntry fullBlockEntry picMNUAbort picInterpretAbort endCPICCase0 endCPICCase1 cPICEndOfCodeLabel) as: #'AbstractInstruction *' in: aCCodeGenerator. aCCodeGenerator declareVar: #blockStarts type: #'BlockStart *'; declareVar: #fixups type: #'BytecodeFixup *'. aCCodeGenerator var: #ordinarySendTrampolines declareC: 'sqInt ordinarySendTrampolines[NumSendTrampolines]'; var: #superSendTrampolines declareC: 'sqInt superSendTrampolines[NumSendTrampolines]'. BytecodeSetHasDirectedSuperSend ifTrue: [aCCodeGenerator var: #directedSuperSendTrampolines declareC: 'sqInt directedSuperSendTrampolines[NumSendTrampolines]'; var: #directedSuperBindingSendTrampolines declareC: 'sqInt directedSuperBindingSendTrampolines[NumSendTrampolines]']. NewspeakVM ifTrue: [aCCodeGenerator var: #selfSendTrampolines declareC: 'sqInt selfSendTrampolines[NumSendTrampolines]'; var: #dynamicSuperSendTrampolines declareC: 'sqInt dynamicSuperSendTrampolines[NumSendTrampolines]'; var: #implicitReceiverSendTrampolines declareC: 'sqInt implicitReceiverSendTrampolines[NumSendTrampolines]'; var: #outerSendTrampolines declareC: 'sqInt outerSendTrampolines[NumSendTrampolines]']. aCCodeGenerator var: #trampolineAddresses declareC: 'static char *trampolineAddresses[NumTrampolines*2]'; var: #objectReferencesInRuntime declareC: 'static usqInt objectReferencesInRuntime[NumObjRefsInRuntime+1]'; var: #labelCounter type: #int; var: #traceFlags declareC: 'int traceFlags = 8 /* prim trace log on by default */'; var: #cStackAlignment declareC: 'const int cStackAlignment = STACK_ALIGN_BYTES'. aCCodeGenerator declareVar: #CFramePointer type: #'void *'; declareVar: #CStackPointer type: #'void *'; declareVar: #minValidCallAddress type: #'usqIntptr_t'; declareVar: #debugPrimCallStackOffset type: #'usqIntptr_t'. aCCodeGenerator vmClass generatorTable ifNotNil: [:bytecodeGenTable| aCCodeGenerator var: #generatorTable + declareC: 'static BytecodeDescriptor generatorTable[', bytecodeGenTable size printString, ']', - declareC: 'static BytecodeDescriptor generatorTable[', bytecodeGenTable size, ']', (self tableInitializerFor: bytecodeGenTable in: aCCodeGenerator)]. "In C the abstract opcode names clash with the Smalltak generator syntactic sugar. Most of the syntactic sugar is inlined, but alas some remains. Rename the syntactic sugar to avoid the clash." (self organization listAtCategoryNamed: #'abstract instructions') do: [:s| aCCodeGenerator addSelectorTranslation: s to: 'g', (aCCodeGenerator cFunctionNameFor: s)]. aCCodeGenerator addSelectorTranslation: #halt: to: 'haltmsg'!

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev May 2019