Squeak-dev August 2014

squeak-dev@lists.squeakfoundation.org

38 participants
130 discussions

Submission problems fixed - ESUG 2014 REMINDER: 11th Innovation Technology Awards
by Jordi Delgado 10 Aug '14

10 Aug '14

We're sorry but we realized that there was a misconfiguration that prevented the submission of award candidates. It has been fixed and now it works fine. ESUG 2014 REMINDER: 11th Innovation Technology Awards http://www.esug.org/Conferences/2014/Innovation-Technology-Awards Have you written innovative Smalltalk? The developers of any Smalltalk-based software can enter by submitting a 3-5min video of their software. Entrants demo their systems in a session at the end of Monday August 18th 2014, after which the conference attendees vote. (A vote consists in providing a sorted list of 3 preferred pieces of software.) The top 3 teams with the most innovative software will receive, respectively, 500 Euros, 300 Euros and 200 Euros. The results are announced in the Awards ceremony that is held during the social event. Applicants should provide the following information on the conference registration server. Once you have registered your personal info, an 'Awards' menu allows submitting your software. You can provide this information when you first register, or login again later and update your details. The registration server will open soon. You can start preparing your software right now though. Info to provide: Name of the software Licence information (free, shareware, or commercial) Name of the Smalltalk dialect used Name, Affiliation and Country of developers Besides, it would be great if the submission could include: URL for a video (3-5 min) showing a screencast / demo of the software URL for downloading the software or at least a runnable demo Deadline: *August 15th* Any Smalltalker can apply (students, companies, ...). The presented piece of code/software should be written in Smalltalk or directly support Smalltalk (e.g. Smalltalk VM). All Smalltalk dialects are accepted. The applicant should be "strongly related" to the presented code, be it as an author, as owner of the copyright/copyleft, or as an official representative of the copyright/copyleft owner. Bests Jordi

1 0

Re: [squeak-dev] The Inbox: Kernel-fm.867.mcz
by Florin Mateoc 09 Aug '14

09 Aug '14

forgot to mention, this also fixes a bug in abstractSymbolic : if a label was for the first instruction (e.g. in whileFalse), it would not get printed. Florin On 8/9/2014 6:17 AM, commits(a)source.squeak.org wrote: > A new version of Kernel was added to project The Inbox: > http://source.squeak.org/inbox/Kernel-fm.867.mcz > > ==================== Summary ==================== > > Name: Kernel-fm.867 > Author: fm > Time: 9 August 2014, 2:17:44.186 am > UUID: 87deb8dd-221f-d84d-acfe-17f9fb6ed689 > Ancestors: Kernel-eem.866 > > various fixes and cleanups in RelativeInstructionPrinter > > pushConstant: , by being inherited, indirectly called InstructionPrinter instead of its Relative relative > > temp indexes are meaningless, they cause spurious differences (thus making abstractSymbolic less than abstract and symbolic), use the labelling pass to replace them with their ordinals > > make clear that the labelling pass does not (need to) write anything > > =============== Diff against Kernel-eem.866 =============== > > Item was changed: > InstructionPrinter subclass: #RelativeInstructionPrinter > + instanceVariableNames: 'printCode labels labelling temps vectors' > - instanceVariableNames: 'printCode labels labelling' > classVariableNames: '' > poolDictionaries: '' > category: 'Kernel-Methods'! > > Item was changed: > ----- Method: RelativeInstructionPrinter>>jump: (in category 'instruction decoding') ----- > jump: offset > "Print the Unconditional Jump bytecode." > > labelling > ifTrue: > + [labels at: scanner pc + offset + 1 put: true] > - [labels at: scanner pc + offset + 1 put: true. > - self print: 'jumpBy: ', offset printString, > - ' to: ', (scanner pc + offset - method initialPC) printString] > ifFalse: > [self print: 'jumpTo: ', (labels at: scanner pc + offset + 1)]! > > Item was changed: > ----- Method: RelativeInstructionPrinter>>jump:if: (in category 'instruction decoding') ----- > jump: offset if: condition > "Print the Conditional Jump bytecode." > > labelling > ifTrue: > + [labels at: scanner pc + offset + 1 put: true] > - [labels at: scanner pc + offset + 1 put: true. > - self print: > - (condition ifTrue: ['jumpTrueBy: '] ifFalse: ['jumpFalseBy: ']), offset printString, > - ' to: ', (labelling > - ifTrue: [(scanner pc + offset - method initialPC) printString] > - ifFalse: [labels at: scanner pc + offset])] > ifFalse: > [self print: > (condition ifTrue: ['jumpTrueTo: '] ifFalse: ['jumpFalseTo: ']), (labels at: scanner pc + offset + 1)]! > > Item was added: > + ----- Method: RelativeInstructionPrinter>>popIntoRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- > + popIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex > + > + | remoteTemps | > + > + labelling > + ifTrue: > + [remoteTemps := vectors at: tempVectorIndex ifAbsentPut: ['v', vectors size printString -> Dictionary new]. > + remoteTemps value at: remoteTempIndex ifAbsentPut: ['rt', remoteTemps value size printString]] > + ifFalse: > + [remoteTemps := vectors at: tempVectorIndex. > + self print: 'popIntoTemp: ', (remoteTemps value at: remoteTempIndex), ' inVector: ', remoteTemps key]! > > Item was added: > + ----- Method: RelativeInstructionPrinter>>popIntoTemporaryVariable: (in category 'instruction decoding') ----- > + popIntoTemporaryVariable: offset > + "Print the Remove Top Of Stack And Store Into Temporary Variable > + bytecode." > + > + labelling > + ifTrue: > + [temps at: offset ifAbsentPut: ['t', temps size printString]] > + ifFalse: > + [self print: 'popIntoTemp: ' , (temps at: offset)] > + ! > > Item was changed: > ----- Method: RelativeInstructionPrinter>>print: (in category 'printing') ----- > print: instruction > "Append to the receiver a description of the bytecode, instruction." > > + labelling ifTrue: > + [^self]. > stream tab: self indent. > + (labels at: scanner pc) ~~ false ifTrue: > + [stream nextPutAll: (labels at: scanner pc); nextPut: $:; cr]. > + stream tab. > - labelling > - ifTrue: [stream print: oldPC - method initialPC; space] > - ifFalse: [stream tab]. > stream tab: (innerIndents at: oldPC). > self printCode ifTrue: > [stream nextPut: $<. > oldPC to: scanner pc - 1 do: > [:i | | code | > code := (method at: i) radix: 16. > stream > nextPut: (code size < 2 ifTrue: [$0] ifFalse: [code at: 1]); > nextPut: code last; > space]. > stream skip: -1; nextPut: $>; space]. > stream nextPutAll: instruction. > stream cr. > - labelling ifFalse: > - [(labels at: scanner pc + 1) ~~ false ifTrue: > - [stream nextPutAll: (labels at: scanner pc + 1); nextPut: $:; cr]]. > oldPC := scanner pc! > > Item was changed: > ----- Method: RelativeInstructionPrinter>>printInstructionsOn: (in category 'printing') ----- > printInstructionsOn: aStream > "Append to the stream, aStream, a description of each bytecode in the instruction stream." > > | label | > labelling := true. > labels := Array new: method size + 1 withAll: false. > + temps := Dictionary new. > + vectors := Dictionary new. > + super printInstructionsOn: nil. > - super printInstructionsOn: (String new: 1024) writeStream. > label := 0. > labels withIndexDo: > [:bool :index| > bool ifTrue: [labels at: index put: 'L', (label := label + 1) printString]]. > labelling := false. > super printInstructionsOn: aStream! > > Item was changed: > ----- Method: RelativeInstructionPrinter>>printInstructionsOn:do: (in category 'printing') ----- > printInstructionsOn: aStream do: aBlock > "Append to the stream, aStream, a description of each bytecode in the instruction stream. > Evaluate aBlock with the receiver, the scanner and the stream after each instruction." > > | label | > labelling := true. > labels := Array new: method size withAll: false. > + temps := Dictionary new. > + vectors := Dictionary new. > + super printInstructionsOn: nil do: [:ig :no :re|]. > - super printInstructionsOn: (String new: 1024) writeStream do: [:ig :no :re|]. > label := 0. > labels withIndexDo: > [:bool :index| > bool ifTrue: [labels at: index put: 'L', (label := label + 1) printString]]. > labelling := false. > super printInstructionsOn: aStream do: aBlock! > > Item was added: > + ----- Method: RelativeInstructionPrinter>>pushConstant: (in category 'instruction decoding') ----- > + pushConstant: obj > + "Print the Push Constant, obj, on Top Of Stack bytecode." > + > + self print: (String streamContents: > + [:s | > + s nextPutAll: 'pushConstant: '. > + (obj isKindOf: LookupKey) > + ifFalse: [obj printOn: s] > + ifTrue: [obj key > + ifNotNil: [s nextPutAll: '##'; nextPutAll: obj key] > + ifNil: [s nextPutAll: '###'; nextPutAll: obj value soleInstance name]]]). > + > + (obj isKindOf: CompiledMethod) ifTrue: > + [obj longPrintRelativeOn: stream indent: self indent + 2. > + ^self].! > > Item was added: > + ----- Method: RelativeInstructionPrinter>>pushRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- > + pushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex > + | remoteTemps | > + > + labelling > + ifTrue: > + [remoteTemps := vectors at: tempVectorIndex ifAbsentPut: ['v', vectors size printString -> Dictionary new]. > + remoteTemps value at: remoteTempIndex ifAbsentPut: ['rt', remoteTemps value size printString]] > + ifFalse: > + [remoteTemps := vectors at: tempVectorIndex. > + self print: 'pushTemp: ', (remoteTemps value at: remoteTempIndex), ' inVector: ', remoteTemps key] > + ! > > Item was added: > + ----- Method: RelativeInstructionPrinter>>pushTemporaryVariable: (in category 'instruction decoding') ----- > + pushTemporaryVariable: offset > + "Print the Push Contents Of Temporary Variable Whose Index Is the > + argument, offset, On Top Of Stack bytecode." > + > + labelling > + ifTrue: > + [temps at: offset ifAbsentPut: ['t', temps size printString]] > + ifFalse: > + [self print: 'pushTemp: ' , (temps at: offset)] > + ! > > Item was added: > + ----- Method: RelativeInstructionPrinter>>storeIntoRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- > + storeIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex > + | remoteTemps | > + > + labelling > + ifTrue: > + [remoteTemps := vectors at: tempVectorIndex ifAbsentPut: ['v', vectors size printString -> Dictionary new]. > + remoteTemps value at: remoteTempIndex ifAbsentPut: ['rt', remoteTemps value size printString]] > + ifFalse: > + [remoteTemps := vectors at: tempVectorIndex. > + self print: 'storeIntoTemp: ', (remoteTemps value at: remoteTempIndex), ' inVector: ', remoteTemps key] > + ! > > Item was added: > + ----- Method: RelativeInstructionPrinter>>storeIntoTemporaryVariable: (in category 'instruction decoding') ----- > + storeIntoTemporaryVariable: offset > + "Print the Store Top Of Stack Into Temporary Variable Of Method > + bytecode." > + > + labelling > + ifTrue: > + [temps at: offset ifAbsentPut: ['t', temps size printString]] > + ifFalse: > + [self print: 'storeIntoTemp: ' , (temps at: offset)] > + ! > > >

1 0

The Inbox: Kernel-fm.867.mcz
by commits＠source.squeak.org 09 Aug '14

09 Aug '14

A new version of Kernel was added to project The Inbox: http://source.squeak.org/inbox/Kernel-fm.867.mcz ==================== Summary ==================== Name: Kernel-fm.867 Author: fm Time: 9 August 2014, 2:17:44.186 am UUID: 87deb8dd-221f-d84d-acfe-17f9fb6ed689 Ancestors: Kernel-eem.866 various fixes and cleanups in RelativeInstructionPrinter pushConstant: , by being inherited, indirectly called InstructionPrinter instead of its Relative relative temp indexes are meaningless, they cause spurious differences (thus making abstractSymbolic less than abstract and symbolic), use the labelling pass to replace them with their ordinals make clear that the labelling pass does not (need to) write anything =============== Diff against Kernel-eem.866 =============== Item was changed: InstructionPrinter subclass: #RelativeInstructionPrinter + instanceVariableNames: 'printCode labels labelling temps vectors' - instanceVariableNames: 'printCode labels labelling' classVariableNames: '' poolDictionaries: '' category: 'Kernel-Methods'! Item was changed: ----- Method: RelativeInstructionPrinter>>jump: (in category 'instruction decoding') ----- jump: offset "Print the Unconditional Jump bytecode." labelling ifTrue: + [labels at: scanner pc + offset + 1 put: true] - [labels at: scanner pc + offset + 1 put: true. - self print: 'jumpBy: ', offset printString, - ' to: ', (scanner pc + offset - method initialPC) printString] ifFalse: [self print: 'jumpTo: ', (labels at: scanner pc + offset + 1)]! Item was changed: ----- Method: RelativeInstructionPrinter>>jump:if: (in category 'instruction decoding') ----- jump: offset if: condition "Print the Conditional Jump bytecode." labelling ifTrue: + [labels at: scanner pc + offset + 1 put: true] - [labels at: scanner pc + offset + 1 put: true. - self print: - (condition ifTrue: ['jumpTrueBy: '] ifFalse: ['jumpFalseBy: ']), offset printString, - ' to: ', (labelling - ifTrue: [(scanner pc + offset - method initialPC) printString] - ifFalse: [labels at: scanner pc + offset])] ifFalse: [self print: (condition ifTrue: ['jumpTrueTo: '] ifFalse: ['jumpFalseTo: ']), (labels at: scanner pc + offset + 1)]! Item was added: + ----- Method: RelativeInstructionPrinter>>popIntoRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- + popIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex + + | remoteTemps | + + labelling + ifTrue: + [remoteTemps := vectors at: tempVectorIndex ifAbsentPut: ['v', vectors size printString -> Dictionary new]. + remoteTemps value at: remoteTempIndex ifAbsentPut: ['rt', remoteTemps value size printString]] + ifFalse: + [remoteTemps := vectors at: tempVectorIndex. + self print: 'popIntoTemp: ', (remoteTemps value at: remoteTempIndex), ' inVector: ', remoteTemps key]! Item was added: + ----- Method: RelativeInstructionPrinter>>popIntoTemporaryVariable: (in category 'instruction decoding') ----- + popIntoTemporaryVariable: offset + "Print the Remove Top Of Stack And Store Into Temporary Variable + bytecode." + + labelling + ifTrue: + [temps at: offset ifAbsentPut: ['t', temps size printString]] + ifFalse: + [self print: 'popIntoTemp: ' , (temps at: offset)] + ! Item was changed: ----- Method: RelativeInstructionPrinter>>print: (in category 'printing') ----- print: instruction "Append to the receiver a description of the bytecode, instruction." + labelling ifTrue: + [^self]. stream tab: self indent. + (labels at: scanner pc) ~~ false ifTrue: + [stream nextPutAll: (labels at: scanner pc); nextPut: $:; cr]. + stream tab. - labelling - ifTrue: [stream print: oldPC - method initialPC; space] - ifFalse: [stream tab]. stream tab: (innerIndents at: oldPC). self printCode ifTrue: [stream nextPut: $<. oldPC to: scanner pc - 1 do: [:i | | code | code := (method at: i) radix: 16. stream nextPut: (code size < 2 ifTrue: [$0] ifFalse: [code at: 1]); nextPut: code last; space]. stream skip: -1; nextPut: $>; space]. stream nextPutAll: instruction. stream cr. - labelling ifFalse: - [(labels at: scanner pc + 1) ~~ false ifTrue: - [stream nextPutAll: (labels at: scanner pc + 1); nextPut: $:; cr]]. oldPC := scanner pc! Item was changed: ----- Method: RelativeInstructionPrinter>>printInstructionsOn: (in category 'printing') ----- printInstructionsOn: aStream "Append to the stream, aStream, a description of each bytecode in the instruction stream." | label | labelling := true. labels := Array new: method size + 1 withAll: false. + temps := Dictionary new. + vectors := Dictionary new. + super printInstructionsOn: nil. - super printInstructionsOn: (String new: 1024) writeStream. label := 0. labels withIndexDo: [:bool :index| bool ifTrue: [labels at: index put: 'L', (label := label + 1) printString]]. labelling := false. super printInstructionsOn: aStream! Item was changed: ----- Method: RelativeInstructionPrinter>>printInstructionsOn:do: (in category 'printing') ----- printInstructionsOn: aStream do: aBlock "Append to the stream, aStream, a description of each bytecode in the instruction stream. Evaluate aBlock with the receiver, the scanner and the stream after each instruction." | label | labelling := true. labels := Array new: method size withAll: false. + temps := Dictionary new. + vectors := Dictionary new. + super printInstructionsOn: nil do: [:ig :no :re|]. - super printInstructionsOn: (String new: 1024) writeStream do: [:ig :no :re|]. label := 0. labels withIndexDo: [:bool :index| bool ifTrue: [labels at: index put: 'L', (label := label + 1) printString]]. labelling := false. super printInstructionsOn: aStream do: aBlock! Item was added: + ----- Method: RelativeInstructionPrinter>>pushConstant: (in category 'instruction decoding') ----- + pushConstant: obj + "Print the Push Constant, obj, on Top Of Stack bytecode." + + self print: (String streamContents: + [:s | + s nextPutAll: 'pushConstant: '. + (obj isKindOf: LookupKey) + ifFalse: [obj printOn: s] + ifTrue: [obj key + ifNotNil: [s nextPutAll: '##'; nextPutAll: obj key] + ifNil: [s nextPutAll: '###'; nextPutAll: obj value soleInstance name]]]). + + (obj isKindOf: CompiledMethod) ifTrue: + [obj longPrintRelativeOn: stream indent: self indent + 2. + ^self].! Item was added: + ----- Method: RelativeInstructionPrinter>>pushRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- + pushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex + | remoteTemps | + + labelling + ifTrue: + [remoteTemps := vectors at: tempVectorIndex ifAbsentPut: ['v', vectors size printString -> Dictionary new]. + remoteTemps value at: remoteTempIndex ifAbsentPut: ['rt', remoteTemps value size printString]] + ifFalse: + [remoteTemps := vectors at: tempVectorIndex. + self print: 'pushTemp: ', (remoteTemps value at: remoteTempIndex), ' inVector: ', remoteTemps key] + ! Item was added: + ----- Method: RelativeInstructionPrinter>>pushTemporaryVariable: (in category 'instruction decoding') ----- + pushTemporaryVariable: offset + "Print the Push Contents Of Temporary Variable Whose Index Is the + argument, offset, On Top Of Stack bytecode." + + labelling + ifTrue: + [temps at: offset ifAbsentPut: ['t', temps size printString]] + ifFalse: + [self print: 'pushTemp: ' , (temps at: offset)] + ! Item was added: + ----- Method: RelativeInstructionPrinter>>storeIntoRemoteTemp:inVectorAt: (in category 'instruction decoding') ----- + storeIntoRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex + | remoteTemps | + + labelling + ifTrue: + [remoteTemps := vectors at: tempVectorIndex ifAbsentPut: ['v', vectors size printString -> Dictionary new]. + remoteTemps value at: remoteTempIndex ifAbsentPut: ['rt', remoteTemps value size printString]] + ifFalse: + [remoteTemps := vectors at: tempVectorIndex. + self print: 'storeIntoTemp: ', (remoteTemps value at: remoteTempIndex), ' inVector: ', remoteTemps key] + ! Item was added: + ----- Method: RelativeInstructionPrinter>>storeIntoTemporaryVariable: (in category 'instruction decoding') ----- + storeIntoTemporaryVariable: offset + "Print the Store Top Of Stack Into Temporary Variable Of Method + bytecode." + + labelling + ifTrue: + [temps at: offset ifAbsentPut: ['t', temps size printString]] + ifFalse: + [self print: 'storeIntoTemp: ' , (temps at: offset)] + !

1 0

The Inbox: Compiler-fm.287.mcz
by commits＠source.squeak.org 09 Aug '14

09 Aug '14

A new version of Compiler was added to project The Inbox: http://source.squeak.org/inbox/Compiler-fm.287.mcz ==================== Summary ==================== Name: Compiler-fm.287 Author: fm Time: 9 August 2014, 1:57:32.957 am UUID: b7426a7e-9098-8b42-aa28-093253343ff4 Ancestors: Compiler-eem.286 avoid conflicts between temp names and instvar names (mostly valuable when decompiling without temp names), also do not create remote temp names starting with underscore, this is unsupported =============== Diff against Compiler-eem.286 =============== Item was changed: ----- Method: Decompiler>>doClosureCopyCopiedValues:numArgs:blockSize: (in category 'control') ----- doClosureCopyCopiedValues: blockCopiedValues numArgs: numArgs blockSize: blockSize | startpc savedTemps savedTempVarCount savedNumLocalTemps jump blockArgs blockTemps blockTempsOffset block | savedTemps := tempVars. savedTempVarCount := tempVarCount. savedNumLocalTemps := numLocalTemps. jump := blockSize + (startpc := pc). + numLocalTemps := BlockLocalTempCounter tempCountForBlockStartingAt: pc in: method. - numLocalTemps := BlockLocalTempCounter - tempCountForBlockStartingAt: pc - in: method. blockTempsOffset := numArgs + blockCopiedValues size. (blockStartsToTempVars notNil "implies we were intialized with temp names." and: [blockStartsToTempVars includesKey: pc]) ifTrue: [tempVars := blockStartsToTempVars at: pc] ifFalse: [blockArgs := (1 to: numArgs) collect: + [:i| | uniqueName | + uniqueName := 't', (tempVarCount + i) printString. + [constructor instVars includes: uniqueName] whileTrue: [uniqueName := 't', uniqueName]. + (constructor + codeTemp: i - 1 + named: uniqueName) + beBlockArg]. - [:i| (constructor - codeTemp: i - 1 - named: 't', (tempVarCount + i) printString) - beBlockArg]. blockTemps := (1 to: numLocalTemps) collect: + [:i| | uniqueName | + uniqueName := 't', (tempVarCount + i + numArgs) printString. + [constructor instVars includes: uniqueName] whileTrue: [uniqueName := 't', uniqueName]. + constructor - [:i| constructor codeTemp: i + blockTempsOffset - 1 + named: uniqueName]. - named: 't', (tempVarCount + i + numArgs) printString]. tempVars := blockArgs, blockCopiedValues, blockTemps]. numLocalTemps timesRepeat: [self interpretNextInstructionFor: self. stack removeLast]. tempVarCount := tempVarCount + numArgs + numLocalTemps. block := self blockTo: jump. stack addLast: ((constructor codeArguments: (tempVars copyFrom: 1 to: numArgs) temps: (tempVars copyFrom: blockTempsOffset + 1 to: blockTempsOffset + numLocalTemps) block: block) pc: startpc; yourself). tempVars := savedTemps. tempVarCount := savedTempVarCount. numLocalTemps := savedNumLocalTemps! Item was changed: ----- Method: Decompiler>>initSymbols: (in category 'initialize-release') ----- initSymbols: aClass constructor method: method class: aClass literals: method literals. constTable := constructor codeConstants. instVars := Array new: aClass instSize. tempVarCount := method numTemps. "(tempVars isNil and: [method holdsTempNames]) ifTrue: [tempVars := method tempNamesString]." tempVars isString ifTrue: [blockStartsToTempVars := self mapFromBlockStartsIn: method toTempVarsFrom: tempVars constructor: constructor. tempVars := blockStartsToTempVars at: method initialPC] ifFalse: [| namedTemps | + namedTemps := tempVars ifNil: [(1 to: tempVarCount) collect: [:i| | uniqueName | + uniqueName := 't', i printString. + [constructor instVars includes: uniqueName] whileTrue: [uniqueName := 't', uniqueName]. + uniqueName]]. - namedTemps := tempVars ifNil: [(1 to: tempVarCount) collect: [:i| 't', i printString]]. tempVars := (1 to: tempVarCount) collect: [:i | i <= namedTemps size ifTrue: [constructor codeTemp: i - 1 named: (namedTemps at: i)] ifFalse: [constructor codeTemp: i - 1]]]. 1 to: method numArgs do: [:i| (tempVars at: i) beMethodArg]! Item was changed: ----- Method: Decompiler>>popIntoTemporaryVariable: (in category 'instruction decoding') ----- popIntoTemporaryVariable: offset | maybeTVTag tempVector start | maybeTVTag := stack last. ((maybeTVTag isMemberOf: Association) and: [maybeTVTag key == #pushNewArray]) ifTrue: [blockStartsToTempVars notNil "implies we were intialized with temp names." ifTrue: "Use the provided temps" [self assert: ((tempVector := tempVars at: offset + 1 ifAbsent: [ParseNode basicNew]) isTemp and: [tempVector isIndirectTempVector and: [tempVector remoteTemps size = maybeTVTag value size]])] ifFalse: "Synthesize some remote temps" [tempVector := maybeTVTag value. offset + 1 <= tempVars size ifTrue: [start := 2. tempVector at: 1 put: (tempVars at: offset + 1)] ifFalse: [tempVars := (Array new: offset + 1) replaceFrom: 1 to: tempVars size with: tempVars. start := 1]. start to: tempVector size do: + [:i| | uniqueName | + uniqueName := 't', (tempVarCount + i) printString. + [constructor instVars includes: uniqueName] whileTrue: [uniqueName := 't', uniqueName]. - [:i| tempVector at: i put: (constructor codeTemp: numLocalTemps + offset + i - 1 + named: uniqueName)]. - named: 't', (tempVarCount + i) printString)]. tempVars at: offset + 1 put: (constructor codeRemoteTemp: offset + 1 remoteTemps: tempVector)]. tempVarCount := tempVarCount + maybeTVTag value size. stack removeLast. ^self]. self pushTemporaryVariable: offset; doStore: statements! Item was changed: ----- Method: DecompilerConstructor>>codeInst: (in category 'constructor') ----- codeInst: index ^InstanceVariableNode new + name: (instVars at: index + 1 ifAbsent: + [(UndeclaredVariableWarning new + name: 'instVar with index ', (index + 1) asString + selector: method selector + class: method methodClass) signal. + 'unknownInstanceVariableNameAtIndex', (index + 1) asString]) - name: (instVars at: index + 1 ifAbsent: ['unknown', index asString]) index: index + 1! Item was added: + ----- Method: DecompilerConstructor>>instVars (in category 'constructor') ----- + instVars + + ^instVars! Item was changed: ----- Method: DecompilerConstructorForClosures>>codeRemoteTemp:remoteTemps: (in category 'constructor') ----- codeRemoteTemp: index remoteTemps: tempVector + | uniqueName | + uniqueName := 'r', index printString. + [instVars includes: uniqueName] whileTrue: [uniqueName := 'r', uniqueName]. ^(RemoteTempVectorNode new + name: uniqueName - name: '_r', index printString index: index type: LdTempType scope: 0) remoteTemps: tempVector; yourself!

1 0

Re: [squeak-dev] The Trunk: Tools-eem.527.mcz
by Chris Muller 09 Aug '14

09 Aug '14

Just FYI, we have #isEmptyOrNil. On Fri, Aug 8, 2014 at 9:08 AM, <commits(a)source.squeak.org> wrote: > Eliot Miranda uploaded a new version of Tools to project The Trunk: > http://source.squeak.org/trunk/Tools-eem.527.mcz > > ==================== Summary ==================== > > Name: Tools-eem.527 > Author: eem > Time: 8 August 2014, 7:07:51.034 am > UUID: d85d5331-2791-4594-9f21-79d551eafa08 > Ancestors: Tools-eem.526 > > Make senders work in MessageNames when there is a > selector but no method is selected. > > =============== Diff against Tools-eem.526 =============== > > Item was changed: > ----- Method: MessageNames>>selectedMessageName (in category > 'selection') ----- > selectedMessageName > + selectorList basicSize = 0 ifTrue: [^ nil]. "Deals with > selectorList nil or empty" > + ^selectorList at: (selectorListIndex max: 1) ifAbsent: [nil] "If > no selection we can still find a selector"! > - selectorList ifNil: [^ nil]. > - ^selectorListIndex = 0 ifFalse: [selectorList at: > selectorListIndex ifAbsent: [nil]]! > > >

1 0

Daily Commit Log
by commits＠source.squeak.org 09 Aug '14

09 Aug '14

Changes to Trunk (http://source.squeak.org/trunk.html) in the last 24 hours: http://lists.squeakfoundation.org/pipermail/packages/2014-August/007247.html Name: Tools-eem.527 Ancestors: Tools-eem.526 Make senders work in MessageNames when there is a selector but no method is selected. =============================================

1 0

Float parsed as a Fraction bug
by Eliot Miranda 09 Aug '14

09 Aug '14

Hi All, Squeak trunk also suffers from the Float parsed as a Fraction bug: 1e-8 class Fraction 1.0e8 class Float -- eek! Eliot

5 20

Imminent change to Spur image format
by Eliot Miranda 09 Aug '14

09 Aug '14

Hi All, as part of the Newspeak infrastructure we use at Cadence I implemented multiple bytecode set support and a lifting of the limits in a method on the number of literals and the span of branches about two years ago. This work involved adding a second interpretation to the bits in a method header, providing 16 bits of literal count. This was done by moving the primitive number out of the method header and into an optional callPrimitive bytecode, being the first bytecode of methods that have primitives. Now in Spur I have the opportunity to use this expanded format for the exsting bytecode set as well. The SqueakV3 set does not use bytecode 139, which is convenient to use for its callPrimitiveBytecode. The advantage is that when and if a new bytecode set is added, as is planned for the Sista VMs, the VM will not have to test method headers to decide which format they're in, because there will only be one. Alas I only just realised this last night, and implementing this for Spur now means that any existing Spur images will be invalid. But better I do this now than later, when Spur is in wide-spread use. So this message is to warn you that any existing Spur images will have to be discarded and rebuilt soon, once I release new VMs. Apologies for the inconvenience. I do plan for the VMs to exit with a useful error message when loading Spur images with the old method header format, rather than just crashing. So I hope the transition won't be too painful. -- best, Eliot

1 0

Only one week left!! - ESUG 2014 REMINDER: 11th Innovation Technology Awards
by Jordi Delgado 08 Aug '14

08 Aug '14

ESUG 2014 REMINDER: 11th Innovation Technology Awards http://www.esug.org/Conferences/2014/Innovation-Technology-Awards Have you written innovative Smalltalk? The developers of any Smalltalk-based software can enter by submitting a 3-5min video of their software. Entrants demo their systems in a session at the end of Monday August 18th 2014, after which the conference attendees vote. (A vote consists in providing a sorted list of 3 preferred pieces of software.) The top 3 teams with the most innovative software will receive, respectively, 500 Euros, 300 Euros and 200 Euros. The results are announced in the Awards ceremony that is held during the social event. Applicants should provide the following information on the conference registration server. Once you have registered your personal info, an 'Awards' menu allows submitting your software. You can provide this information when you first register, or login again later and update your details. The registration server will open soon. You can start preparing your software right now though. Info to provide: Name of the software Licence information (free, shareware, or commercial) Name of the Smalltalk dialect used Name, Affiliation and Country of developers Besides, it would be great if the submission could include: URL for a video (3-5 min) showing a screencast / demo of the software URL for downloading the software or at least a runnable demo Deadline: *August 15th* Any Smalltalker can apply (students, companies, ...). The presented piece of code/software should be written in Smalltalk or directly support Smalltalk (e.g. Smalltalk VM). All Smalltalk dialects are accepted. The applicant should be "strongly related" to the presented code, be it as an author, as owner of the copyright/copyleft, or as an official representative of the copyright/copyleft owner. Bests, Jordi

1 0

The Trunk: Tools-eem.527.mcz
by commits＠source.squeak.org 08 Aug '14

08 Aug '14

Eliot Miranda uploaded a new version of Tools to project The Trunk: http://source.squeak.org/trunk/Tools-eem.527.mcz ==================== Summary ==================== Name: Tools-eem.527 Author: eem Time: 8 August 2014, 7:07:51.034 am UUID: d85d5331-2791-4594-9f21-79d551eafa08 Ancestors: Tools-eem.526 Make senders work in MessageNames when there is a selector but no method is selected. =============== Diff against Tools-eem.526 =============== Item was changed: ----- Method: MessageNames>>selectedMessageName (in category 'selection') ----- selectedMessageName + selectorList basicSize = 0 ifTrue: [^ nil]. "Deals with selectorList nil or empty" + ^selectorList at: (selectorListIndex max: 1) ifAbsent: [nil] "If no selection we can still find a selector"! - selectorList ifNil: [^ nil]. - ^selectorListIndex = 0 ifFalse: [selectorList at: selectorListIndex ifAbsent: [nil]]!

1 0

← Newer
1
...
7
8
9
10
11
12
13
Older →