Vm-dev May 2020

vm-dev@lists.squeakfoundation.org

39 participants
130 discussions

[OpenSmalltalk/opensmalltalk-vm] 28d52b: Turn off INCREMENTAL linking in the win32 msvc mak...
by Eliot Miranda 08 May '20

08 May '20

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 28d52b59b1f863581b873afb9e096c315e4f0133 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/28d52b59b1f863581b… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2020-05-07 (Thu, 07 May 2020) Changed paths: M build.win32x86/common/Makefile.msvc.tools M build.win64x64/common/Makefile.msvc.tools Log Message: ----------- Turn off INCREMENTAL linking in the win32 msvc makefiles. It's noise we don't need. [ci skip]

1 0

[OpenSmalltalk/opensmalltalk-vm] acaf28: Win32:
by Eliot Miranda 07 May '20

07 May '20

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: acaf284cc026022c08bf5a76742226ff4ebe2a41 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/acaf284cc026022c08… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2020-05-07 (Thu, 07 May 2020) Changed paths: M build.win32x86/common/Makefile.msvc.tools M build.win64x64/common/Makefile.msvc.tools M platforms/Cross/third-party/fdlibm/fdlibm.h M platforms/win32/vm/sqWin32ExternalPrims.c Log Message: ----------- Win32: Guard some fdlibm.h defines to avoid warnings on Win32. Make sure the msvc makefile suite builds a UNICODE VM (why doesn't the cygwin makefile suite do the same?!?!?). Don't add ".dll" to the end of module names that already have ".dll" added.

1 0

squeak svn down?
by K K Subbu 07 May '20

07 May '20

Dave, Is Squeak SVN server down? I have been getting the following errors for quite some time now. ---- Updating 'platforms': svn: E170013: Unable to connect to a repository at URL 'http://squeakvm.org/svn/squeak/trunk/platforms' svn: E175002: Unexpected HTTP status 408 'Request Timeout' on '/svn/squeak/trunk/platforms' ---- BTW, is it possible to keep oldTrunk branch in opensmalltalk-vm in sync with the platforms part of this SVN repo. It would help keep the load on the SVN server down and serve as a fallback. The SVN does carry lot of outdated code in under src at the top and in under every platform :-(. Regards .. Subbu

3 4

change "rtprio" / pthread_setschedparam message to wiki.squeak.org ?
by stes 07 May '20

07 May '20

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Question: is there a wiki.squeak.org page to explain the issue https://github.com/OpenSmalltalk/opensmalltalk-vm/releases/tag/r3732#linux The VM prints a pointer to that page when launching it and when you get the : "pthread_setschedparam failed: Not owner ... See https://github.com/OpenSmalltalk/opensmalltalk-vm/releases/tag/r3732#linux" There's information on Linux and Windows there but not for other OS'es. Also would it be a possibility to change the URL to wiki.squeak.org I searched the wiki.squeak.org for rtprio /etc/security/limits.d/squeak.conf but there's no page on it. The github.com URL is linked to a specific release of OpenSmalltalk. Basically if the message would print a reference to a page at wiki.squeak.org, then that could be maintained there with info. For example for Solaris I have added in the "HowToBuild" some notes on setting the RT (Real-Time) class of the squeak process to get rid of the warning. David Stes -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCAAGBQJes8WVAAoJEAwpOKXMq1MaoAcH/0PVXIzwWIN6HDuBlPEfLye0 WxzNJt4kuAA4lA1BAiFkhFPPqW7aMkNCYS15020Q0066xgHDbTgLxy4BETB2utr9 BgZd5IVFAVCT4pFOnrN4JQVcyE3iJE5nDRP0bl0dlXfVH64H5hHjqdfdjy7/8lM8 L52+7zRNobEspqrGTVX3FAcefTJs0NwVk5iBDda42XKVdAqv/nzGheG5cPIpIJew IHiH87/0Exl2bt86FphmLss8yG62Hqc1CVMqVoflFvmVjxMrc3BQUEINJLzI4V6A x0pPbM1XsLD+sCiU3J8E0IxOINoXDMTHh3NSY7XyfGvMn3BWddsbtlf7vIHL0Ns= =DAzI -----END PGP SIGNATURE----- -- Sent from: http://forum.world.st/Squeak-VM-f104410.html

1 0

Re: [Vm-dev] [OpenSmalltalk/opensmalltalk-vm] Note on runtime/tcl-8/tcl-openssl which provides tls.h (8f71c4a)
by Tobias Pape 04 May '20

04 May '20

That is very strange. It should not be necessary to do this dance. I did not now that `libtls` was used outside of LibreSSL. Can you give some more info? -- 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/commit/8f71c4a19b6ced608d…

5 6

Multi-Image Sista VM?
by Robert 04 May '20

04 May '20

I have not read about this anywhere I can remember. Would it be possible to run two images on one VM? Preggo, Robertotini Sent from ProtonMail Mobile

4 9

Squeak on OpenIndiana (with clang)
by stes 03 May '20

03 May '20

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Hello, Here's some news on compiling Squeak on Solaris and OpenIndiana. OpenIndiana is an illumos based Unix-like operating system derived from OpenSolaris; As far as I can see, Squeak has always supported SunOS and Solaris very well, so it's just a matter of keeping that, as it is or was in the past. On OpenIndiana, I've compiled "Squeak" with GCC 7.5 and Clang 9.0.1. OpenIndiana includes a clang 8.0.1 and 9.0.1. I only tested the clang 9.0.1. Also I've proposed to include "Squeak" in the oi-userland, which is a framework for open source packages for OpenIndiana; so that it is simple, to install the "Squeak VM" on OpenIndiana without having to compile anything. I have included the MIT license and a copyright notice of opensmalltalk-vm in the package of course. To compile with clang on OpenIndiana, there's the VM_LABEL issue which Eliot Miranda explained in a different thread about "profiling": In platforms/unix/vm/sqPlatformSpecific.h #define VM_LABEL(foo) to override and "clear" or disable the other VM_LABEL definition. With that definition of VM_LABEL the clang 9.0.1 compile of the squeak.stack.spur VM works fine and it works. I must add that I seem to be having the same issue with the optimizer as in GCC : -O2 does not work for me with neither gcc nor clang. Special thanks to everybody in the "Squeak" and "opensmalltalk-vm" team, to Eliot Miranda for including the Sun patches, and to Tobias Pape for including the fix for ax_cflags_warn_all.m4, which makes the configure script powerful to easily switch between compilers, which is working very well thanks to the autoconf configure script. Thanks, David Stes -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCAAGBQJerteuAAoJEAwpOKXMq1Maeo8H/RvJimJZqgFHvdXQNiVJD+DP iWoS3t5oIDsROL4M/q27FbgXd/+5s6PErk9CApaisA9tH957BMKlW6VdEQqhvXB+ 3r4kNhIBIBvfxC+wyzfILdOCpjwBc85s9hV7NsEp8JU8wGS1Xaylmut3yg235KCv drdxV1ZzpiC/Ma6rT8aC08YkQI4FhXfWsJCT8cSIg5dWrlE1Vcl4bOS/I5IyeDO0 VoqqsuRHRTblV8iTzBkSvpb0mhAToyAGrjiNtUp9oi7w78GQfUXsFFPG+hEQpY+j 2h2jKUG0/Z2WjsFlU0kdNQT8O5WNwgFykqKGFH6AIY+Drx3UHcqTHnES04IkAGU= =5YJu -----END PGP SIGNATURE----- -- Sent from: http://forum.world.st/Squeak-VM-f104410.html

2 1

VM Maker: VMMaker.oscog-nice.2750.mcz
by commits＠source.squeak.org 02 May '20

02 May '20

Nicolas Cellier uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-nice.2750.mcz ==================== Summary ==================== Name: VMMaker.oscog-nice.2750 Author: nice Time: 2 May 2020, 12:33:42.712426 pm UUID: f741b52f-ad8a-bb4d-a9ee-41105735f21c Ancestors: VMMaker.oscog-nice.2749 Extend the capability of SmartSyntaxPluginCodeGenerator to handle DoubleByte and DoubleWord Arrays. Remove the #debugCode: from the prolog of LargeIntegersPlugin primitives. This was used only for printing a console trace upon primitive entry. That's not how we are going to debug the plugin. We are going to debug either with a VM Simulation, or via a modern debugger like gdb (cough!) if ever the problem lies in code generation itself. Keep only two sends of debugCode: tracing case of un-normalized inputs. Note: most of the SmartSyntaxPluginCodeGenerator capabilities/messages are currently unused. See #initializeCTranslationDictionary. The lack of examples make it very difficult to follow the code, or even guess the purpose. No need to say that comments will not help. Comments? who ever needed a comment in Smalltalk? With greatest shame, I must confess, I need comments sometimes! With such property, the code may live very long untouched, put your dirty nose out of this code ;) =============== Diff against VMMaker.oscog-nice.2749 =============== Item was added: + ----- Method: DoubleByteArray class>>ccg:prolog:expr:index: (in category '*VMMaker-plugin generation') ----- + ccg: cg prolog: aBlock expr: aString index: anInteger + + ^cg + ccgLoad: aBlock + expr: aString + asUnsignedShortPtrFrom: anInteger + andThen: (cg ccgValBlock: 'isShorts')! Item was added: + ----- Method: DoubleByteArray class>>ccgDeclareCForVar: (in category '*VMMaker-plugin generation') ----- + ccgDeclareCForVar: aSymbolOrString + "Address of an unsigned 16 bit value, regardless of Smalltalk wordSize" + + ^'unsigned short *', aSymbolOrString! Item was added: + ----- Method: DoubleWordArray class>>ccg:prolog:expr:index: (in category '*VMMaker-plugin generation') ----- + ccg: cg prolog: aBlock expr: aString index: anInteger + + ^cg + ccgLoad: aBlock + expr: aString + asUnsignedLong64PtrFrom: anInteger + andThen: (cg ccgValBlock: 'isLong64s')! Item was added: + ----- Method: DoubleWordArray class>>ccgDeclareCForVar: (in category '*VMMaker-plugin generation') ----- + ccgDeclareCForVar: aSymbolOrString + "Address of an unsigned 64 bit value, regardless of Smalltalk wordSize" + + ^'unsigned long long *', aSymbolOrString! Item was changed: ----- Method: LargeIntegersPlugin>>anyBitOfLargeInt:from:to: (in category 'util') ----- anyBitOfLargeInt: anOop from: start to: stopArg "Argument has to be a Large Integer!!" "Tests for any magnitude bits in the interval from start to stopArg." | magnitude stop firstDigitIx lastDigitIx firstMask lastMask | <var: #digit type: #'unsigned int'> <var: #firstMask type: #'unsigned int'> <var: #lastMask type: #'unsigned int'> <var: #firstDigitIx type: #usqInt> <var: #lastDigitIx type: #usqInt> <var: #ix type: #usqInt> - self - debugCode: [self msg: 'anyBitOfLargeInt: anOop from: start to: stopArg']. magnitude := anOop. stop := stopArg min: (self highBitOfLargeInt: magnitude). start > stop ifTrue: [^ false]. firstDigitIx := start - 1 // 32 + 1. lastDigitIx := stop - 1 // 32 + 1. firstMask := 16rFFFFFFFF << (start - 1 bitAnd: 31). lastMask := 16rFFFFFFFF >> (31 - (stop - 1 bitAnd: 31)). firstDigitIx = lastDigitIx ifTrue: [| digit | digit := self unsafeDigitOfLargeInt: magnitude at: firstDigitIx. ^ (digit bitAnd: (firstMask bitAnd: lastMask)) ~= 0]. ((self unsafeDigitOfLargeInt: magnitude at: firstDigitIx) bitAnd: firstMask) ~= 0 ifTrue: [^ true]. firstDigitIx + 1 to: lastDigitIx - 1 do: [:ix | (self unsafeDigitOfLargeInt: magnitude at: ix) ~= 0 ifTrue: [^ true]]. ((self unsafeDigitOfLargeInt: magnitude at: lastDigitIx) bitAnd: lastMask) ~= 0 ifTrue: [^ true]. ^ false! Item was changed: ----- Method: LargeIntegersPlugin>>normalize: (in category 'oop functions') ----- normalize: aLargeInteger "Check for leading zeroes and return shortened copy if so." - self debugCode: [self msg: 'normalize: aLargeInteger']. (interpreterProxy isLargePositiveIntegerObject: aLargeInteger) ifTrue: [^ self normalizePositive: aLargeInteger] ifFalse: [^ self normalizeNegative: aLargeInteger]! Item was changed: ----- Method: LargeIntegersPlugin>>primAnyBitFrom:to: (in category 'Integer primitives') ----- primAnyBitFrom: from to: to | integer someBitIsSet val mask | - self debugCode: [self msg: 'primAnyBitFrom: from to: to']. integer := self primitive: 'primAnyBitFromTo' parameters: #(#SmallInteger #SmallInteger ) receiver: #Integer. from < 1 | (to < 1) ifTrue: [^ interpreterProxy primitiveFail]. (interpreterProxy isIntegerObject: integer) ifTrue: ["For small integers, use a single bit mask operation" from <= to ifTrue: [val := interpreterProxy integerValueOf: integer. val < 0 ifTrue: ["Get the bits of magnitude" val := 0 - val]. mask := (1 asUnsignedInteger << (to min: (self sizeof: #usqInt)*8-1)) - (1 asUnsignedInteger << (from - 1 min: (self sizeof: #usqInt)*8-1)). someBitIsSet := val anyMask: mask] ifFalse: [someBitIsSet := 0]] ifFalse: [someBitIsSet := self anyBitOfLargeInt: integer from: from to: to]. ^someBitIsSet asOop: Boolean! Item was changed: ----- Method: LargeIntegersPlugin>>primDigitAdd: (in category 'Integer primitives') ----- primDigitAdd: secondInteger | firstLarge secondLarge firstInteger | - self debugCode: [self msg: 'primDigitAdd: secondInteger']. firstInteger := self primitive: 'primDigitAdd' parameters: #(Integer ) receiver: #Integer. (interpreterProxy isIntegerObject: firstInteger) ifTrue: ["convert it to a not normalized LargeInteger" self remapOop: secondInteger in: [firstLarge := self createLargeFromSmallInteger: firstInteger]] ifFalse: [firstLarge := firstInteger]. (interpreterProxy isIntegerObject: secondInteger) ifTrue: ["convert it to a not normalized LargeInteger" self remapOop: firstLarge in: [secondLarge := self createLargeFromSmallInteger: secondInteger]] ifFalse: [secondLarge := secondInteger]. ^ self digitAddLarge: firstLarge with: secondLarge! Item was changed: ----- Method: LargeIntegersPlugin>>primDigitBitAnd: (in category 'Integer primitives') ----- primDigitBitAnd: secondInteger "Bit logic here is only implemented for positive integers or Zero; if rec or arg is negative, it fails." | firstInteger | - self debugCode: [self msg: 'primDigitBitAnd: secondInteger']. firstInteger := self primitive: 'primDigitBitAnd' parameters: #(Integer ) receiver: #Integer. ^ self digitBitLogic: firstInteger with: secondInteger opIndex: andOpIndex! Item was changed: ----- Method: LargeIntegersPlugin>>primDigitBitOr: (in category 'Integer primitives') ----- primDigitBitOr: secondInteger "Bit logic here is only implemented for positive integers or Zero; if rec or arg is negative, it fails." | firstInteger | - self debugCode: [self msg: 'primDigitBitOr: secondInteger']. firstInteger := self primitive: 'primDigitBitOr' parameters: #(Integer ) receiver: #Integer. ^ self digitBitLogic: firstInteger with: secondInteger opIndex: orOpIndex! Item was changed: ----- Method: LargeIntegersPlugin>>primDigitBitShiftMagnitude: (in category 'Integer primitives') ----- primDigitBitShiftMagnitude: shiftCount | rShift aLarge anInteger | - self debugCode: [self msg: 'primDigitBitShiftMagnitude: shiftCount']. anInteger := self primitive: 'primDigitBitShiftMagnitude' parameters: #(#SmallInteger ) receiver: #Integer. (interpreterProxy isIntegerObject: anInteger) ifTrue: ["convert it to a not normalized LargeInteger" aLarge := self createLargeFromSmallInteger: anInteger] ifFalse: [aLarge := anInteger]. shiftCount >= 0 ifTrue: [^ self digit: aLarge Lshift: shiftCount] ifFalse: [rShift := 0 - shiftCount. ^ self normalize: (self digit: aLarge Rshift: rShift lookfirst: (self digitSizeOfLargeInt: aLarge))]! Item was changed: ----- Method: LargeIntegersPlugin>>primDigitBitXor: (in category 'Integer primitives') ----- primDigitBitXor: secondInteger "Bit logic here is only implemented for positive integers or Zero; if rec or arg is negative, it fails." | firstInteger | - self debugCode: [self msg: 'primDigitBitXor: secondInteger']. firstInteger := self primitive: 'primDigitBitXor' parameters: #(Integer ) receiver: #Integer. ^ self digitBitLogic: firstInteger with: secondInteger opIndex: xorOpIndex! Item was changed: ----- Method: LargeIntegersPlugin>>primDigitCompare: (in category 'Integer primitives') ----- primDigitCompare: secondInteger "Compare the magnitude of self with that of arg. Answer a code of 1, 0, -1 for self >, = , < arg" | firstVal secondVal firstInteger | - self debugCode: [self msg: 'primDigitCompare: secondInteger']. firstInteger := self primitive: 'primDigitCompare' parameters: #(#Integer ) receiver: #Integer. "shortcut: aSmallInteger has to be smaller in Magnitude than aLargeInteger" (interpreterProxy isIntegerObject: firstInteger) ifTrue: [(interpreterProxy isIntegerObject: secondInteger) ifTrue: [firstVal := interpreterProxy integerValueOf: firstInteger. secondVal := interpreterProxy integerValueOf: secondInteger. "Compute their magnitudes. Since SmallIntegers are tagged they have fewer bits than an integer on the platform; therefore in computing their magnitude they cannot overflow." firstVal < 0 ifTrue: [firstVal := 0 - firstVal]. secondVal < 0 ifTrue: [secondVal := 0 - secondVal]. ^firstVal = secondVal ifTrue: [0 asOop: SmallInteger] ifFalse: [firstVal < secondVal ifTrue: [-1 asOop: SmallInteger] ifFalse: [1 asOop: SmallInteger]]]. ^-1 asOop: SmallInteger]. "first < second" (interpreterProxy isIntegerObject: secondInteger) ifTrue: [^1 asOop: SmallInteger]. "first > second" ^ self digitCompareLarge: firstInteger with: secondInteger! Item was changed: ----- Method: LargeIntegersPlugin>>primDigitDiv:negative: (in category 'Integer primitives') ----- primDigitDiv: secondInteger negative: neg "Answer the result of dividing firstInteger by secondInteger. Fail if parameters are not integers, not normalized or secondInteger is zero. " | firstAsLargeInteger secondAsLargeInteger firstInteger | - self debugCode: [self msg: 'primDigitDiv: secondInteger negative: neg']. firstInteger := self primitive: 'primDigitDivNegative' parameters: #(#Integer #Boolean ) receiver: #Integer. "Coerce SmallIntegers to corresponding (not normalized) large integers and check for zerodivide." (interpreterProxy isIntegerObject: firstInteger) ifTrue: ["convert to LargeInteger" self remapOop: secondInteger in: [firstAsLargeInteger := self createLargeFromSmallInteger: firstInteger]] ifFalse: ["Avoid crashes in case of getting unnormalized args." (self isNormalized: firstInteger) ifFalse: [self debugCode: [self msg: 'ERROR in primDigitDiv: secondInteger negative: neg'. self msg: '------> receiver *not* normalized!!']. ^ interpreterProxy primitiveFail]. firstAsLargeInteger := firstInteger]. (interpreterProxy isIntegerObject: secondInteger) ifTrue: ["check for zerodivide and convert to LargeInteger" (interpreterProxy integerValueOf: secondInteger) = 0 ifTrue: [^ interpreterProxy primitiveFail]. self remapOop: firstAsLargeInteger in: [secondAsLargeInteger := self createLargeFromSmallInteger: secondInteger]] ifFalse: ["Avoid crashes in case of getting unnormalized args." (self isNormalized: secondInteger) ifFalse: [self debugCode: [self msg: 'ERROR in primDigitDiv: secondInteger negative: neg'. self msg: '------> argument *not* normalized!!']. ^ interpreterProxy primitiveFail]. secondAsLargeInteger := secondInteger]. ^ self digitDivLarge: firstAsLargeInteger with: secondAsLargeInteger negative: neg! Item was changed: ----- Method: LargeIntegersPlugin>>primDigitMultiply:negative: (in category 'Integer primitives') ----- primDigitMultiply: secondInteger negative: neg | firstLarge secondLarge firstInteger | - self debugCode: [self msg: 'primDigitMultiply: secondInteger negative: neg']. firstInteger := self primitive: 'primDigitMultiplyNegative' parameters: #(#Integer #Boolean ) receiver: #Integer. (interpreterProxy isIntegerObject: firstInteger) ifTrue: ["convert it to a not normalized LargeInteger" self remapOop: secondInteger in: [firstLarge := self createLargeFromSmallInteger: firstInteger]] ifFalse: [firstLarge := firstInteger]. (interpreterProxy isIntegerObject: secondInteger) ifTrue: ["convert it to a not normalized LargeInteger" self remapOop: firstLarge in: [secondLarge := self createLargeFromSmallInteger: secondInteger]] ifFalse: [secondLarge := secondInteger]. ^ self digitMultiplyLarge: firstLarge with: secondLarge negative: neg! Item was changed: ----- Method: LargeIntegersPlugin>>primDigitSubtract: (in category 'Integer primitives') ----- primDigitSubtract: secondInteger | firstLarge secondLarge firstInteger | - self debugCode: [self msg: 'primDigitSubtract: secondInteger']. firstInteger := self primitive: 'primDigitSubtract' parameters: #(#Integer ) receiver: #Integer. (interpreterProxy isIntegerObject: firstInteger) ifTrue: ["convert it to a not normalized LargeInteger" self remapOop: secondInteger in: [firstLarge := self createLargeFromSmallInteger: firstInteger]] ifFalse: [firstLarge := firstInteger]. (interpreterProxy isIntegerObject: secondInteger) ifTrue: ["convert it to a not normalized LargeInteger" self remapOop: firstLarge in: [secondLarge := self createLargeFromSmallInteger: secondInteger]] ifFalse: [secondLarge := secondInteger]. ^ self digitSubLarge: firstLarge with: secondLarge! Item was changed: ----- Method: LargeIntegersPlugin>>primGetModuleName (in category 'control & support primitives') ----- primGetModuleName "If calling this primitive fails, then C module does not exist." | strLen strOop | - self debugCode: [self msg: 'primGetModuleName']. self primitive: 'primGetModuleName' parameters: #() receiver: #Oop. strLen := self strlen: self getModuleName. strOop := interpreterProxy instantiateClass: interpreterProxy classString indexableSize: strLen. self strncpy: (interpreterProxy firstIndexableField: strOop) _: self getModuleName _: strLen. ^strOop! Item was changed: ----- Method: LargeIntegersPlugin>>primMontgomeryDigitLength (in category 'Integer primitives') ----- primMontgomeryDigitLength - self debugCode: [self msg: 'primMontgomeryDigitLength']. self primitive: 'primMontgomeryDigitLength' parameters: #() receiver: #Integer. ^interpreterProxy integerObjectOf: 32! Item was changed: ----- Method: LargeIntegersPlugin>>primMontgomeryTimes:modulo:mInvModB: (in category 'Integer primitives') ----- primMontgomeryTimes: secondOperandInteger modulo: thirdModuloInteger mInvModB: mInverseInteger | firstLarge secondLarge firstInteger thirdLarge mInv | <var: #mInv type: #'unsigned int'> - self debugCode: [self msg: 'montgomeryTimes: secondOperandInteger modulo: thirdModuloInteger mInvModB: smallInverseInteger']. firstInteger := self primitive: 'primMontgomeryTimesModulo' parameters: #(Integer Integer Integer ) receiver: #Integer. mInv := interpreterProxy positive32BitValueOf: mInverseInteger. (interpreterProxy isIntegerObject: firstInteger) ifTrue: ["convert it to a not normalized LargeInteger" self remapOop: #(secondOperandInteger thirdModuloInteger) in: [firstLarge := self createLargeFromSmallInteger: firstInteger]] ifFalse: [firstLarge := firstInteger]. (interpreterProxy isIntegerObject: secondOperandInteger) ifTrue: ["convert it to a not normalized LargeInteger" self remapOop: #(firstLarge thirdModuloInteger) in: [secondLarge := self createLargeFromSmallInteger: secondOperandInteger]] ifFalse: [secondLarge := secondOperandInteger]. (interpreterProxy isIntegerObject: thirdModuloInteger) ifTrue: ["convert it to a not normalized LargeInteger" self remapOop: #(firstLarge secondLarge) in: [thirdLarge := self createLargeFromSmallInteger: thirdModuloInteger]] ifFalse: [thirdLarge := thirdModuloInteger]. ^ self digitMontgomery: firstLarge times: secondLarge modulo: thirdLarge mInvModB: mInv! Item was changed: ----- Method: LargeIntegersPlugin>>primNormalizeNegative (in category 'Integer primitives') ----- primNormalizeNegative | rcvr | - self debugCode: [self msg: 'primNormalizeNegative']. rcvr := self primitive: 'primNormalizeNegative' parameters: #() receiver: #LargeNegativeInteger. ^ self normalizeNegative: rcvr! Item was changed: ----- Method: LargeIntegersPlugin>>primNormalizePositive (in category 'Integer primitives') ----- primNormalizePositive | rcvr | - self debugCode: [self msg: 'primNormalizePositive']. rcvr := self primitive: 'primNormalizePositive' parameters: #() receiver: #LargePositiveInteger. ^ self normalizePositive: rcvr! Item was added: + ----- Method: SmartSyntaxPluginAssignmentCodeGenerator>>ccgLoad:expr:asUnsignedLong64PtrFrom:andThen: (in category 'coercing') ----- + ccgLoad: aBlock expr: aString asUnsignedLong64PtrFrom: stackIndex andThen: valBlock + ^self assign: aString coerceTo: 'unsigned long long *' from: stackIndex! Item was added: + ----- Method: SmartSyntaxPluginAssignmentCodeGenerator>>ccgLoad:expr:asUnsignedShortPtrFrom:andThen: (in category 'coercing') ----- + ccgLoad: aBlock expr: aString asUnsignedShortPtrFrom: stackIndex andThen: valBlock + ^self assign: aString coerceTo: 'unsigned short *' from: stackIndex! Item was added: + ----- 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:" + + ^(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 added: + ----- 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:" + + ^(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: SmartSyntaxPluginCodeGenerator>>generateIsBytes:on:indent: (in category 'translating builtins') ----- + generateIsBytes: aNode on: aStream indent: anInteger + self genCallOf: #isBytes: with: aNode receiver on: aStream! Item was added: + ----- Method: SmartSyntaxPluginCodeGenerator>>generateIsLong64s:on:indent: (in category 'translating builtins') ----- + generateIsLong64s: aNode on: aStream indent: anInteger + self genCallOf: #isLong64s: with: aNode receiver on: aStream! Item was added: + ----- Method: SmartSyntaxPluginCodeGenerator>>generateIsShorts:on:indent: (in category 'translating builtins') ----- + generateIsShorts: aNode on: aStream indent: anInteger + self genCallOf: #isShorts: with: aNode receiver on: aStream! Item was changed: ----- Method: SmartSyntaxPluginCodeGenerator>>initializeCTranslationDictionary (in category 'translating builtins') ----- initializeCTranslationDictionary "Initialize the dictionary mapping message names to actions for C code generation." | pairs | super initializeCTranslationDictionary. pairs := #( #asCInt #generateAsCInt:on:indent: #asCUnsigned #generateAsCUnsigned:on:indent: #asCBoolean #generateAsCBoolean:on:indent: #asCDouble #generateAsCDouble:on:indent: #asSmallIntegerObj #generateAsSmallIntegerObj:on:indent: #asPositiveIntegerObj #generateAsPositiveIntegerObj:on:indent: #asBooleanObj #generateAsBooleanObj:on:indent: #asFloatObj #generateAsFloatObj:on:indent: #asIf:var: #generateAsIfVar:on:indent: #asIf:var:asValue: #generateAsIfVarAsValue:on:indent: #asIf:var:put: #generateAsIfVarPut:on:indent: #field: #generateField:on:indent: #field:put: #generateFieldPut:on:indent: #class #generateClass:on:indent: #stSize #generateStSize:on:indent: #stAt: #generateStAt:on:indent: #stAt:put: #generateStAtPut:on:indent: #asCharPtr #generateAsCharPtr:on:indent: #asIntPtr #generateAsIntPtr:on:indent: #cPtrAsOop #generateCPtrAsOop:on:indent: #next #generateNext:on:indent: #asOop: #generateAsOop:on:indent: #asValue: #generateAsValue:on:indent: #isFloat #generateIsFloat:on:indent: #isIndexable #generateIsIndexable:on:indent: #isIntegerOop #generateIsIntegerOop:on:indent: #isIntegerValue #generateIsIntegerValue:on:indent: "#FloatOop #generateIsFloatValue:on:indent:" "unused, never implemented" + #isBytes #generateIsBytes:on:indent: + #isShorts #generateIsShorts:on:indent: + #isLong64s #generateIsLong64s:on:indent: #isWords #generateIsWords:on:indent: #isWordsOrBytes #generateIsWordsOrBytes:on:indent: #isPointers #generateIsPointers:on:indent: #isNil #generateIsNil:on:indent: #isMemberOf: #generateIsMemberOf:on:indent: #isKindOf: #generateIsKindOf:on:indent: #fromStack: #generateFromStack:on:indent: "#clone #generateClone:on:indent:" "unused, never implemented" "#new #generateNew:on:indent:" "unused, never implemented" "#new: #generateNewSize:on:indent:" "unused, never implemented" "#superclass #generateSuperclass:on:indent:" "unused, never implemented" #debugCode: #generateDebugCode:on:indent: ). 1 to: pairs size by: 2 do: [:i | translationDict at: (pairs at: i) put: (pairs at: i + 1)]. ! Item was added: + ----- Method: SmartSyntaxPluginSimulator>>ccgLoad:expr:asUnsignedLong64PtrFrom:andThen: (in category 'simulation') ----- + ccgLoad: codeGen expr: exprBlock asUnsignedLong64PtrFrom: stackIndex andThen: validateBlock + ^[:oop| + validateBlock value: oop. + interpreterProxy cCoerce: (interpreterProxy firstIndexableField: oop) asInteger to: #'unsigned long long *']! Item was added: + ----- Method: SmartSyntaxPluginSimulator>>ccgLoad:expr:asUnsignedShortPtrFrom:andThen: (in category 'simulation') ----- + ccgLoad: codeGen expr: exprBlock asUnsignedShortPtrFrom: stackIndex andThen: validateBlock + ^[:oop| + validateBlock value: oop. + interpreterProxy cCoerce: (interpreterProxy firstIndexableField: oop) asInteger to: #'unsigned short *']! Item was changed: ----- Method: SmartSyntaxPluginSimulator>>ccgValBlock: (in category 'simulation') ----- ccgValBlock: aString ^aString caseOf: { ['isBytes'] -> [ [:oop| interpreterProxy success: (interpreterProxy isBytes: oop). oop]]. + ['isShorts'] -> [ [:oop| + interpreterProxy success: (interpreterProxy isShorts: oop). + oop]]. ['isWords'] -> [ [:oop| interpreterProxy success: (interpreterProxy isWords: oop). oop]]. + ['isLong64s'] -> [ [:oop| + interpreterProxy success: (interpreterProxy isLong64s: oop). + oop]]. ['isWordsOrBytes'] -> [ [:oop| interpreterProxy success: (interpreterProxy isWordsOrBytes: oop). oop]]. ['isIndexable'] -> [ [:oop| interpreterProxy success: (interpreterProxy isIndexable: oop). oop]] }! Item was added: + ----- Method: SmartSyntaxPluginValidationCodeGenerator>>ccgLoad:expr:asUnsignedLong64PtrFrom:andThen: (in category 'coercing') ----- + ccgLoad: aBlock expr: aString asUnsignedLong64PtrFrom: stackIndex andThen: validationString + ^validationString, (self stackAccessorFor: stackIndex)! Item was added: + ----- Method: SmartSyntaxPluginValidationCodeGenerator>>ccgLoad:expr:asUnsignedShortPtrFrom:andThen: (in category 'coercing') ----- + ccgLoad: aBlock expr: aString asUnsignedShortPtrFrom: stackIndex andThen: validationString + ^validationString, (self stackAccessorFor: stackIndex)!

1 0

Passed: OpenSmalltalk/opensmalltalk-vm#2056 (Cog - 0b051e4)
by Travis CI 02 May '20

02 May '20

Build Update for OpenSmalltalk/opensmalltalk-vm ------------------------------------- Build: #2056 Status: Passed Duration: 2 hrs, 9 mins, and 35 secs Commit: 0b051e4 (Cog) Author: Nicolas Cellier Message: Add isShorts and isLong64s functions in the virtual machine This is necessary for testing corresponding bit arrays in Spur View the changeset: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/774730ad47ee...0b… View the full build log and details: https://travis-ci.org/github/OpenSmalltalk/opensmalltalk-vm/builds/68212258… -- 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] [Improvment][Win64]Cannot save and load image files with a heap whose size is more than 0xff ff ff ff (~4.1GB) (#486)
by Vincent Blondeau 02 May '20

02 May '20

Use || instead of | and use MAXDWORD instead of a new constant Fix review of #485 and Fix #484 You can view, comment on, or merge this pull request online at: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/486 -- Commit Summary -- * Use || instead of | and use MAXDWORD instead of a new constant -- File Changes -- M platforms/win32/plugins/FilePlugin/sqWin32FilePrims.c (9) -- Patch Links -- https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/486.patch https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/486.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/486

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev May 2020