Vm-dev December 2020

vm-dev@lists.squeakfoundation.org

19 participants
80 discussions

Start a nNew thread

Build failed: opensmalltalk-vm 1.0.2325
by AppVeyor 11 Dec '20

11 Dec '20

1 0

FloatMathPlugin and -lm (libm)
by stes＠PANDORA.BE 08 Dec '20

08 Dec '20

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 I've noticed that in the FloatMathPlugin there is fdlibm (freely distributable libm) : platforms/Cross/plugins/FloatMathPlugin This refers to the platforms/Cross/third-party/fdlibm I wonder whether the VM shouldn't be using the system provided libm (-lm). Perhaps for Croquet or other software that depends on FLoatMathPlugin, see https://en.m.wikipedia.org/wiki/Croquet_Project a special test framework could be ran in Squeak, or perhaps as part of "./configure" configuration, to check the results, of the underlying (system) libm, so that it provides results similar to fdlibm ? Maybe fdlibm and libm "run bit identically" on some platforms. This is because for Croquet the goal is to have the VM run bit identically. Using the system provided -lm would possibly result in a smaller executable, with less duplicated code (no overhead). I'm no expert on libm, but perhaps the system provided libm is also faster. Regards, David Stes -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCAAGBQJfEfHMAAoJEAwpOKXMq1Ma1psH/2yaIMdU6YMV8ZUSRlolvsH8 jlcuxPZV/Oo0FOq+jF2moBV01WquA8vCxZKm40s7ofrac7dWuNaaWwpDg/2xiVGc p0crmTlv9FtHqTzjT3lrBMDxvOwq9oXAJUX+LaeGhNkYMbLE969m8hoRNSlDPPuk NsXowTP7PpjyZ5RB5FApRHEnBzzyHjUIksUUhedCDWQRMqebEwxmHWbq6UobcED7 zVDx04crvw2hhzhKN8+AomZXNccMTDEQ6fTVBDeP7t4/iRmxo/6MmxOKMbQJ5dIi fgYpODPPvXiAYipVx/lRXhgo5xEjQXgPjwBXKYQy8O2vJdH/0q/7r8u8k1MutbI= =lWqV -----END PGP SIGNATURE-----

2 4

[OpenSmalltalk/opensmalltalk-vm] win64x64.squeak.cog.spur silently crashes on save or save&quit (#535)
by Marcel Taeumel 08 Dec '20

08 Dec '20

No crash dump. It just closes. Not sure why exactly. Last time, it happened after loading Metacello and Squot in Squeak 5.3. Before it happened in Trunk after playing around with FFI and OpenGL. The VM silently closes on "save" or "save and quot". VM: 202011120327 (win64x64.squeak.cog.spur) OS: Windows 10 (2004 Build 19041.630) Squeak: latest 5.3 or 6.0alpha Here is the report that Windows generated: ``` Quelle Squeak Cog Spur Virtual Machine Zusammenfassung Nicht mehr funktionsfähig Datum ‎14.‎11.‎2020 11:25 Status Der Bericht wurde gesendet. Beschreibung Pfad der fehlerhaften Anwendung: C:\Tools\squeak_53_ecoop\Squeak.exe Problemsignatur Problemereignisame: APPCRASH Anwendungsname: Squeak.exe Anwendungsversion: 2020.11.12.327 Anwendungszeitstempel: 00000000 Fehlermodulname: Squeak.exe Fehlermodulversion: 2020.11.12.327 Fehlermodulzeitstempel: 00000000 Ausnahmecode: c0000005 Ausnahmeoffset: 0000000000033cd5 Betriebsystemversion: 10.0.19041.2.0.0.768.101 Gebietsschema-ID: 1031 Zusatzinformation 1: e064 Zusatzinformation 2: e0644d1b3ac5fae3d6c60b42d946256e Zusatzinformation 3: 4588 Zusatzinformation 4: 45886eecb7a8f73a86ab34ad6194fd79 Weitere Informationen über das Problem Bucket-ID: 5801b02358401c93cbecf9af1e413cb3 (2012257664049953971) ``` -- 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/issues/535

2 7

Build failed: opensmalltalk-vm 1.0.2324
by AppVeyor 05 Dec '20

05 Dec '20

1 0

[OpenSmalltalk/opensmalltalk-vm] c7b43b: 64-bit Macos builds:
by Eliot Miranda 05 Dec '20

05 Dec '20

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: c7b43b347b96989c68c470771c0197b5bc88e450 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/c7b43b347b96989c68… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2020-12-04 (Fri, 04 Dec 2020) Changed paths: M build.macos64ARMv8/common/Makefile.app M build.macos64ARMv8/common/entitlements.plist M build.macos64x64/common/Makefile.app A build.macos64x64/common/entitlements.plist Log Message: ----------- 64-bit Macos builds: Add the com.apple.security.cs.allow-unsigned-executable-memory entitlement, and add the --timestamp & --options=runtime options to codesign to produce a properyl signed, notarized timestamp & "hardened" runtime VM, needed for 10.14 and 11.x deployment.

1 0

Xcode 11 32-bit builds
by Eliot Miranda 02 Dec '20

02 Dec '20

Hi All, I know that Xcode 12 will not build all of the 32-bit Mac VM; the SoundPlugin fails to compile. I've updated the Makefiles to emit a warning. I have Xcode 10 & Xcode 12, but I haven't tested Xcode 11. Can anyone tell me if Xcode 11 does build the 32-bit VMs successfully or not? And if not, what's the first failure. _,,,^..^,,,_ best, Eliot

1 0

[OpenSmalltalk/opensmalltalk-vm] f9281e: Xcode 12 will not build 32-bit Mac VMs. [ci skip]
by Eliot Miranda 02 Dec '20

02 Dec '20

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: f9281e7e5b48d3b817a0bad4beeff823cc59bb3c https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/f9281e7e5b48d3b817… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2020-12-02 (Wed, 02 Dec 2020) Changed paths: M build.macos32x86/common/Makefile.flags Log Message: ----------- Xcode 12 will not build 32-bit Mac VMs. [ci skip]

1 0

Build failed: opensmalltalk-vm 1.0.2323
by AppVeyor 02 Dec '20

02 Dec '20

1 0

[OpenSmalltalk/opensmalltalk-vm] 043649: CogVm source as per VMMaker.oscog-eem.2905
by Eliot Miranda 02 Dec '20

02 Dec '20

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 0436497af4df9ff833582533e27301d12a67e4d7 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/0436497af4df9ff833… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2020-12-01 (Tue, 01 Dec 2020) Changed paths: M nsspur64src/vm/cogit.h M nsspur64src/vm/cogitARMv8.c M nsspur64src/vm/cogitX64SysV.c M nsspur64src/vm/cogitX64WIN64.c M nsspur64src/vm/cointerp.c M nsspur64src/vm/cointerp.h M nsspur64src/vm/gcc3x-cointerp.c M nsspursrc/vm/cogit.h M nsspursrc/vm/cogitARMv5.c M nsspursrc/vm/cogitIA32.c M nsspursrc/vm/cogitMIPSEL.c M nsspursrc/vm/cointerp.c M nsspursrc/vm/cointerp.h M nsspursrc/vm/gcc3x-cointerp.c M platforms/iOS/plugins/SoundPlugin/sqSqueakSoundCoreAudio.m M spur64src/vm/cogit.h M spur64src/vm/cogitARMv8.c M spur64src/vm/cogitX64SysV.c M spur64src/vm/cogitX64WIN64.c M spur64src/vm/cointerp.c M spur64src/vm/cointerp.h M spur64src/vm/gcc3x-cointerp.c M spursista64src/vm/cogit.h M spursista64src/vm/cogitARMv8.c M spursista64src/vm/cogitX64SysV.c M spursista64src/vm/cogitX64WIN64.c M spursista64src/vm/cointerp.c M spursista64src/vm/cointerp.h M spursista64src/vm/gcc3x-cointerp.c M spursistasrc/vm/cogit.h M spursistasrc/vm/cogitARMv5.c M spursistasrc/vm/cogitIA32.c M spursistasrc/vm/cogitMIPSEL.c M spursistasrc/vm/cointerp.c M spursistasrc/vm/cointerp.h M spursistasrc/vm/gcc3x-cointerp.c M spursrc/vm/cogit.h M spursrc/vm/cogitARMv5.c M spursrc/vm/cogitIA32.c M spursrc/vm/cogitMIPSEL.c M spursrc/vm/cointerp.c M spursrc/vm/cointerp.h M spursrc/vm/gcc3x-cointerp.c M src/plugins/SoundPlugin/SoundPlugin.c M src/vm/cogit.h M src/vm/cogitARMv5.c M src/vm/cogitIA32.c M src/vm/cogitMIPSEL.c M src/vm/cointerp.c M src/vm/cointerp.h M src/vm/gcc3x-cointerp.c Log Message: ----------- CogVm source as per VMMaker.oscog-eem.2905 Cogit: extend the assert in cogMethodContaining: to handle interruption at backward branches. Rename ceCheckForInterrupts to ceCheckForInterrupt to match Cogit's ceCheckForInterruptTrampoline inst var. SoundPlugin/SmartSyntaxPlugin Slang:Fix a compile-time warning due to a bad cast of firstIndexableField: for WordsOrBytes parameters.

1 0

VM Maker: VMMaker.oscog-eem.2905.mcz
by commits＠source.squeak.org 02 Dec '20

02 Dec '20

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2905.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2905 Author: eem Time: 1 December 2020, 7:54:43.160518 pm UUID: b2778a08-d45d-4f84-8467-21a8eccf46dc Ancestors: VMMaker.oscog-eem.2904 Cogit: extend the assert in cogMethodContaining: to handle interruption at backward branches. Rename ceCheckForInterrupts to ceCheckForInterrupt to match Cogit's ceCheckForInterruptTrampoline inst var. SoundPlugin/SmartSyntaxPlugin Slang:Fix a compile-time warning due to a bad cast of firstIndexableField: for WordsOrBytes parameters. Nuke usobsoleted generators (ccgLoad:expr:asCharPtrFrom: superceded by ccgLoad:expr:asCharPtrFrom:andThen:, etc). Avoid the unnecessary cast of the void * return type of firstIndexableField to parameters. Simulaiton: Add SignedCArray and coercion between it and CArray. =============== Diff against VMMaker.oscog-eem.2904 =============== Item was added: + ----- Method: BalloonArray>>beSigned (in category 'converting') ----- + beSigned! Item was added: + ----- Method: BalloonArray>>beUnsigned (in category 'converting') ----- + beUnsigned + self shouldNotImplement! Item was added: + ----- Method: CArray>>beSigned (in category 'converting') ----- + beSigned + SignedCArray adoptInstance: self! Item was added: + ----- Method: CArray>>beUnsigned (in category 'converting') ----- + beUnsigned! Item was changed: ----- Method: CArray>>coerceTo:sim: (in category 'converting') ----- coerceTo: cTypeString sim: interpreterSimulator ^cTypeString caseOf: { ['int'] -> [self ptrAddress]. ['float *'] -> [self asSingleFloatAccessor]. ['double *'] -> [self asDoubleFloatAccessor]. + ['sqInt *'] -> [self shallowCopy unitSize: interpreter bytesPerOop; beSigned]. + ['unsigned int *'] -> [self shallowCopy unitSize: 4; beUnsigned]. + ['int *'] -> [self shallowCopy unitSize: 4; beSigned]. + ['unsigned short *'] -> [self shallowCopy unitSize: 2; beUnsigned]. + ['short *'] -> [self shallowCopy unitSize: 2; beSigned]. + ['unsigned char *'] -> [self shallowCopy unitSize: 1; beUnsigned]. + ['char *'] -> [self shallowCopy unitSize: 1; beSigned]. "C is ambivalent on the issue; sigh..." - ['sqInt *'] -> [self shallowCopy unitSize: interpreter bytesPerOop; yourself]. - ['unsigned int *'] -> [self shallowCopy unitSize: 4; yourself]. - ['int *'] -> [self shallowCopy unitSize: 4; yourself]. - ['char *'] -> [self shallowCopy unitSize: 1; yourself]. - ['unsigned char *'] -> [self shallowCopy unitSize: 1; yourself]. ['unsigned'] -> [self ptrAddress]. ['sqInt'] -> [self ptrAddress]. ['usqInt'] -> [self ptrAddress]. ['sqIntptr_t'] -> [self shallowCopy unitSize: interpreter bytesPerOop; yourself] }! Item was added: + ----- Method: CFloatArray>>beSigned (in category 'converting') ----- + beSigned! Item was added: + ----- Method: CFloatArray>>beUnsigned (in category 'converting') ----- + beUnsigned + self shouldNotImplement! Item was added: + ----- Method: CoInterpreter>>ceCheckForInterrupt (in category 'trampolines') ----- + ceCheckForInterrupt + <api> + | switched | + self cCode: [] inSmalltalk: + [self maybeCheckStackDepth: 0 sp: stackPointer pc: instructionPointer]. + switched := self checkForEventsMayContextSwitch: true. + self returnToExecutive: false postContextSwitch: switched! Item was removed: - ----- Method: CoInterpreter>>ceCheckForInterrupts (in category 'trampolines') ----- - ceCheckForInterrupts - <api> - | switched | - self cCode: [] inSmalltalk: - [self maybeCheckStackDepth: 0 sp: stackPointer pc: instructionPointer]. - switched := self checkForEventsMayContextSwitch: true. - self returnToExecutive: false postContextSwitch: switched! Item was changed: ----- Method: CogMethodZone>>cogMethodContaining: (in category 'jit - api') ----- cogMethodContaining: mcpc "Answer the method containing mcpc for the purposes of code zone compaction, where mcpc is actually the value of instructionPointer at the time of a compaction." <var: 'mcpc' type: #usqInt> <api> | cogMethod prevMethod | mcpc > limitAddress ifTrue: [^nil]. mcpc < baseAddress ifTrue: [cogit assertMcpcIsPrimReturn: mcpc. ^nil]. self assert: mcpc < self limitZony. cogMethod := coInterpreter cCoerceSimple: baseAddress to: #'CogMethod *'. [cogMethod asUnsignedInteger < mcpc] whileTrue: [prevMethod := cogMethod. cogMethod := self methodAfter: cogMethod]. "Since mcpc is actually instructionPointer we expect that it is either at the stack check (normal code zone reclamation invoked through checkForEventsMayContextSwitch:) or is in a primitive, immediately following the call of the C primitive routine." self assert: (prevMethod notNil and: [mcpc = (prevMethod asUnsignedInteger + prevMethod stackCheckOffset) + or: [(cogit backEnd isCallPrecedingReturnPC: mcpc) + and: [(coInterpreter + primitiveIndexOfMethod: prevMethod methodObject + header: prevMethod methodHeader) > 0 + or: [(cogit backEnd callTargetFromReturnAddress: mcpc) = cogit ceCheckForInterruptTrampoline]]]]). - or: [(coInterpreter - primitiveIndexOfMethod: prevMethod methodObject - header: prevMethod methodHeader) > 0 - and: [cogit backEnd isCallPrecedingReturnPC: mcpc]]]). ^prevMethod! Item was added: + ----- Method: Cogit>>ceCheckForInterruptTrampoline (in category 'accessing') ----- + ceCheckForInterruptTrampoline + <cmacro: '() ceCheckForInterruptTrampoline'> + ^ceCheckForInterruptTrampoline! Item was changed: ----- Method: Cogit>>genCheckForInterruptsTrampoline (in category 'initialization') ----- genCheckForInterruptsTrampoline <inline: true> self zeroOpcodeIndex. "if we have a link register we will assume that it does not get automatically pushed onto the stack and thus there is no need to pop it before saving to instructionPointerAddress" backEnd hasLinkRegister ifTrue: [self MoveR: LinkReg Aw: coInterpreter instructionPointerAddress] ifFalse: [self PopR: TempReg. "instruction pointer" self MoveR: TempReg Aw: coInterpreter instructionPointerAddress]. + ^self genTrampolineFor: #ceCheckForInterrupt + called: 'ceCheckForInterruptTrampoline' - ^self genTrampolineFor: #ceCheckForInterrupts - called: 'ceCheckForInterruptsTrampoline' numArgs: 0 arg: nil arg: nil arg: nil arg: nil regsToSave: self emptyRegisterMask pushLinkReg: false resultReg: NoReg appendOpcodes: true! Item was added: + CArray subclass: #SignedCArray + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'VMMaker-InterpreterSimulation'! Item was added: + ----- Method: SignedCArray>>at: (in category 'accessing') ----- + at: offset + | value | + value := super at: offset. + (value bitShift: unitSize * -8 + 1) = 0 ifTrue: + [^value]. + ^value - (1 bitShift: unitSize * 8)! Item was added: + ----- Method: SignedCArray>>at:put: (in category 'accessing') ----- + at: offset put: value + super + at: offset + put: (value >= 0 + ifTrue: [value] + ifFalse: [value bitAnd: (1 bitShift: unitSize * 8) - 1]). + ^value! Item was added: + ----- Method: SignedCArray>>beSigned (in category 'converting') ----- + beSigned! Item was added: + ----- Method: SignedCArray>>beUnsigned (in category 'converting') ----- + beUnsigned + CArray adoptInstance: self! Item was removed: - ----- Method: SmartSyntaxPluginAssignmentCodeGenerator>>ccgLoad:expr:asCharPtrFrom: (in category 'coercing') ----- - ccgLoad: aBlock expr: aString asCharPtrFrom: stackIndex - ^self assign: aString coerceTo: #'char *' from: stackIndex! Item was removed: - ----- Method: SmartSyntaxPluginAssignmentCodeGenerator>>ccgLoad:expr:asIntPtrFrom: (in category 'coercing') ----- - ccgLoad: aBlock expr: aString asIntPtrFrom: stackIndex - ^self assign: aString coerceTo: #'int *' from: stackIndex! Item was removed: - ----- Method: SmartSyntaxPluginAssignmentCodeGenerator>>ccgLoad:expr:asOopPtrFrom: (in category 'coercing') ----- - ccgLoad: aBlock expr: aString asOopPtrFrom: stackIndex - ^self assign: aString coerceTo: 'sqInt *' from: stackIndex! Item was added: + ----- Method: SmartSyntaxPluginAssignmentCodeGenerator>>ccgLoad:expr:asShortPtrFrom:andThen: (in category 'coercing') ----- + ccgLoad: aBlock expr: aString asShortPtrFrom: stackIndex andThen: valBlock + ^self assign: aString coerceTo: #'short *' from: stackIndex! Item was removed: - ----- Method: SmartSyntaxPluginCodeGenerator>>ccgLoad:expr:asCharPtrFrom: (in category 'coercing') ----- - ccgLoad: aBlock expr: aString asCharPtrFrom: anInteger - "Answer codestring for character pointer to first indexable field of object (without validating side-effect), as described in comment to ccgLoad:expr:asRawOopFrom:" - - ^aBlock value: (String streamContents: [:aStream | aStream - nextPutAll: 'self cCoerce: (interpreterProxy firstIndexableField:'; - crtab: 4; - nextPutAll: '(interpreterProxy stackValue:'; - nextPutAll: anInteger asString; - nextPutAll: '))'; - crtab: 3; - nextPutAll: 'to: ''char *'''])! Item was changed: ----- Method: SmartSyntaxPluginCodeGenerator>>ccgLoad:expr:asCharPtrFrom:andThen: (in category 'coercing') ----- ccgLoad: aBlock expr: aString asCharPtrFrom: anInteger andThen: valBlock "Answer codestring for character pointer to first indexable field of object (without validating side-effect unless specified in valBlock), as described in comment to ccgLoad:expr:asRawOopFrom:" + ^self ccgLoad: aBlock expr: aString asPtrFrom: anInteger andThen: valBlock! - ^(valBlock value: anInteger), '.', - (aBlock value: (String streamContents: [:aStream | aStream - nextPutAll: 'self cCoerce: (interpreterProxy firstIndexableField:'; - crtab: 4; - nextPutAll: '(interpreterProxy stackValue:'; - nextPutAll: anInteger asString; - nextPutAll: '))'; - crtab: 3; - nextPutAll: 'to: ''char *'''])) - ! Item was removed: - ----- Method: SmartSyntaxPluginCodeGenerator>>ccgLoad:expr:asIntPtrFrom: (in category 'coercing') ----- - ccgLoad: aBlock expr: aString asIntPtrFrom: anInteger - "Answer codestring for integer pointer to first indexable field of object (without validating side-effect), as described in comment to ccgLoad:expr:asRawOopFrom:" - - ^aBlock value: (String streamContents: [:aStream | aStream - nextPutAll: 'self cCoerce: (interpreterProxy firstIndexableField:'; - crtab: 4; - nextPutAll: '(interpreterProxy stackValue:'; - nextPutAll: anInteger asString; - nextPutAll: '))'; - crtab: 3; - nextPutAll: 'to: ''int *'''])! Item was changed: ----- Method: SmartSyntaxPluginCodeGenerator>>ccgLoad:expr:asIntPtrFrom:andThen: (in category 'coercing') ----- ccgLoad: aBlock expr: aString asIntPtrFrom: anInteger andThen: valBlock "Answer codestring for integer pointer to first indexable field of object (without validating side-effect unless specified in valBlock), as described in comment to ccgLoad:expr:asRawOopFrom:" + ^self ccgLoad: aBlock expr: aString asPtrFrom: anInteger andThen: valBlock! - ^(valBlock value: anInteger), '.', - (aBlock value: (String streamContents: [:aStream | aStream - nextPutAll: 'self cCoerce: (interpreterProxy firstIndexableField:'; - crtab: 4; - nextPutAll: '(interpreterProxy stackValue:'; - nextPutAll: anInteger asString; - nextPutAll: '))'; - crtab: 3; - nextPutAll: 'to: ''int *''']))! Item was removed: - ----- Method: SmartSyntaxPluginCodeGenerator>>ccgLoad:expr:asOopPtrFrom: (in category 'coercing') ----- - ccgLoad: aBlock expr: aString asOopPtrFrom: anInteger - "Answer codestring for integer pointer to first indexable field of object (without validating side-effect), as described in comment to ccgLoad:expr:asRawOopFrom:" - - ^aBlock value: (String streamContents: - [:aStream | - aStream - nextPutAll: 'self cCoerce: (interpreterProxy firstIndexableField:'; - crtab: 4; - nextPutAll: '(interpreterProxy stackValue:'; - print: anInteger; - nextPutAll: '))'; - crtab: 3; - nextPutAll: 'to: ''sqInt *'''])! Item was changed: ----- Method: SmartSyntaxPluginCodeGenerator>>ccgLoad:expr:asOopPtrFrom:andThen: (in category 'coercing') ----- ccgLoad: aBlock expr: aString asOopPtrFrom: anInteger andThen: valBlock "Answer codestring for integer pointer to first indexable field of object (without validating side-effect unless specified in valBlock), as described in comment to ccgLoad:expr:asRawOopFrom:" + ^self ccgLoad: aBlock expr: aString asPtrFrom: anInteger andThen: valBlock! - ^(valBlock value: anInteger), '.', - (aBlock value: (String streamContents: - [:aStream | - aStream - nextPutAll: 'self cCoerce: (interpreterProxy firstIndexableField:'; - crtab: 4; - nextPutAll: '(interpreterProxy stackValue:'; - print: anInteger; - nextPutAll: '))'; - crtab: 3; - nextPutAll: 'to: ''sqInt *''']))! Item was added: + ----- Method: SmartSyntaxPluginCodeGenerator>>ccgLoad:expr:asPtrFrom:andThen: (in category 'coercing') ----- + ccgLoad: aBlock expr: aString asPtrFrom: anInteger andThen: valBlock + "Answer codestring for void pointer to first indexable field of object (without validating side-effect unless specified in valBlock), as described in comment to ccgLoad:expr:asRawOopFrom:" + + ^(valBlock value: anInteger), + '.', + (aBlock value: 'interpreterProxy firstIndexableField:(interpreterProxy stackValue:', anInteger asString, '))')! Item was added: + ----- Method: SmartSyntaxPluginCodeGenerator>>ccgLoad:expr:asShortPtrFrom:andThen: (in category 'coercing') ----- + ccgLoad: aBlock expr: aString asShortPtrFrom: anInteger andThen: valBlock + ^self ccgLoad: aBlock expr: aString asPtrFrom: anInteger andThen: valBlock! Item was changed: ----- Method: SmartSyntaxPluginCodeGenerator>>ccgLoad:expr:asUnsignedLong64PtrFrom:andThen: (in category 'coercing') ----- ccgLoad: aBlock expr: aString asUnsignedLong64PtrFrom: anInteger andThen: valBlock "Answer a codestring for integer pointer to first indexable field of object (without validating side-effect unless specified in valBlock), as described in comment to ccgLoad:expr:asRawOopFrom:" + ^self ccgLoad: aBlock expr: aString asPtrFrom: anInteger andThen: valBlock! - ^(valBlock value: anInteger), '.', - (aBlock value: (String streamContents: [:aStream | aStream - nextPutAll: 'self cCoerce: (interpreterProxy firstIndexableField:'; - crtab: 4; - nextPutAll: '(interpreterProxy stackValue:'; - nextPutAll: anInteger asString; - nextPutAll: '))'; - crtab: 3; - nextPutAll: 'to: ''unsigned long long *''']))! Item was changed: ----- Method: SmartSyntaxPluginCodeGenerator>>ccgLoad:expr:asUnsignedPtrFrom:andThen: (in category 'coercing') ----- ccgLoad: aBlock expr: aString asUnsignedPtrFrom: anInteger andThen: valBlock "Answer a codestring for integer pointer to first indexable field of object (without validating side-effect unless specified in valBlock), as described in comment to ccgLoad:expr:asRawOopFrom:" + ^self ccgLoad: aBlock expr: aString asPtrFrom: anInteger andThen: valBlock! - ^(valBlock value: anInteger), '.', - (aBlock value: (String streamContents: [:aStream | aStream - nextPutAll: 'self cCoerce: (interpreterProxy firstIndexableField:'; - crtab: 4; - nextPutAll: '(interpreterProxy stackValue:'; - nextPutAll: anInteger asString; - nextPutAll: '))'; - crtab: 3; - nextPutAll: 'to: ''unsigned *''']))! Item was changed: ----- Method: SmartSyntaxPluginCodeGenerator>>ccgLoad:expr:asUnsignedShortPtrFrom:andThen: (in category 'coercing') ----- ccgLoad: aBlock expr: aString asUnsignedShortPtrFrom: anInteger andThen: valBlock "Answer a codestring for integer pointer to first indexable field of object (without validating side-effect unless specified in valBlock), as described in comment to ccgLoad:expr:asRawOopFrom:" + ^self ccgLoad: aBlock expr: aString asPtrFrom: anInteger andThen: valBlock! - ^(valBlock value: anInteger), '.', - (aBlock value: (String streamContents: [:aStream | aStream - nextPutAll: 'self cCoerce: (interpreterProxy firstIndexableField:'; - crtab: 4; - nextPutAll: '(interpreterProxy stackValue:'; - nextPutAll: anInteger asString; - nextPutAll: '))'; - crtab: 3; - nextPutAll: 'to: ''unsigned short *''']))! Item was added: + ----- Method: SmartSyntaxPluginSimulator>>ccgLoad:expr:asShortPtrFrom:andThen: (in category 'simulation') ----- + ccgLoad: codeGen expr: exprBlock asShortPtrFrom: stackIndex andThen: validateBlock + ^[:oop| + validateBlock value: oop. + interpreterProxy cCoerce: (interpreterProxy firstIndexableField: oop) asInteger to: #'short *']! Item was removed: - ----- Method: SmartSyntaxPluginValidationCodeGenerator>>ccgLoad:expr:asCharPtrFrom: (in category 'coercing') ----- - ccgLoad: aBlock expr: aString asCharPtrFrom: stackIndex - ^self loadAs: #isWordsOrBytes: from: stackIndex! Item was removed: - ----- Method: SmartSyntaxPluginValidationCodeGenerator>>ccgLoad:expr:asIntPtrFrom: (in category 'coercing') ----- - ccgLoad: aBlock expr: aString asIntPtrFrom: stackIndex - ^self loadAs: #isWordsOrBytes: from: stackIndex! Item was removed: - ----- Method: SmartSyntaxPluginValidationCodeGenerator>>ccgLoad:expr:asOopPtrFrom: (in category 'coercing') ----- - ccgLoad: aBlock expr: aString asOopPtrFrom: stackIndex - ^self loadAs: #isNonImmediate: from: stackIndex! Item was added: + ----- Method: SmartSyntaxPluginValidationCodeGenerator>>ccgLoad:expr:asShortPtrFrom:andThen: (in category 'coercing') ----- + ccgLoad: aBlock expr: aString asShortPtrFrom: stackIndex andThen: validationString + ^validationString, (self stackAccessorFor: stackIndex)! Item was changed: ----- Method: WordsOrShorts class>>ccg:prolog:expr:index: (in category 'plugin generation') ----- ccg: cg prolog: aBlock expr: aString index: anInteger ^cg ccgLoad: aBlock expr: aString + asShortPtrFrom: anInteger - asCharPtrFrom: anInteger andThen: (cg ccgValBlock: 'isWordsOrShorts')!

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev December 2020