Eliot Miranda uploaded a new version of Tests to project The Trunk:
http://source.squeak.org/trunk/Tests-eem.340.mcz

==================== Summary ====================

Name: Tests-eem.340
Author: eem
Time: 13 May 2016, 12:39:54.269153 pm
UUID: 8d0d2cc1-ea8a-4517-a986-8ff469407533
Ancestors: Tests-ul.339

Add tests for the new bytecode scanning machinery (see Compiler-eem.322).  Nuke some misplaced class vars.

=============== Diff against Tests-ul.339 ===============

Item was added:
+ LongTestCase subclass: #BytecodeDecodingTests
+ 	instanceVariableNames: ''
+ 	classVariableNames: ''
+ 	poolDictionaries: ''
+ 	category: 'Tests-Compiler'!

Item was added:
+ ----- Method: BytecodeDecodingTests>>testPCPreviousTo (in category 'tests') -----
+ testPCPreviousTo
+ 	"Check that the pcPreviousTo machinery answers the truth for all bytecodes."
+ 	self systemNavigation allSelect:
+ 		[:m| | ec is prevPC prevBlockCreationPC exclude |
+ 		m isQuick ifFalse:
+ 			[ec := m encoderClass.
+ 			 is:= InstructionStream on: m.
+ 			 exclude := OrderedCollection new.
+ 			 m embeddedBlockClosures do:
+ 				[:ebc| | followingpc |
+ 				followingpc := ebc endPC + (ec bytecodeSize: (m at: ebc endPC)).
+ 				exclude addLast: ebc startpc; addLast: followingpc..
+ 				self assert: nil
+ 					equals: (ec pcPreviousTo: ebc startpc in: m for: nil).
+ 				self assert: (ec pcOfBlockCreationBytecodeForBlockStartingAt: ebc startpc in: m)
+ 					equals: (ec pcPreviousTo: followingpc in: m for: nil)].
+ 			 is scanFor:
+ 				[:b|
+ 				(exclude includes: is pc) ifFalse:
+ 					[self assert: prevPC
+ 						equals: (ec pcPreviousTo: is pc in: m for: nil)].
+ 				prevPC := is pc.
+ 				b = ec createClosureCode ifTrue: [prevBlockCreationPC := prevPC].
+ 				false].].
+ 		 false]!

Item was added:
+ ----- Method: BytecodeDecodingTests>>testWillReallyStore (in category 'tests') -----
+ testWillReallyStore
+ 	"Check that the willReallyStore machinery answers the truth for all bytecodes."
+ 	self systemNavigation allSelect:
+ 		[:m| | is sawITV pnac |
+ 		m isQuick ifFalse:
+ 			[sawITV := false. pnac := m encoderClass pushNewArrayCode.
+ 			 is:= InstructionStream on: m.
+ 			 is scanFor:
+ 				[:b|
+ 				sawITV
+ 					ifTrue:
+ 						[self assert: (m encoderClass isSyntheticStoreAt: is pc in: m for: nil)]
+ 					ifFalse:
+ 						[self deny: (m encoderClass isSyntheticStoreAt: is pc in: m for: nil)].
+ 				"The only bytecode following a pushNewArrayCode that creates an empty array should be a synthetic store."
+ 				sawITV := b = pnac and: [is secondByte <= 127].
+ 				false]].
+ 		 false]!

Item was changed:
  TestCase subclass: #ClosureCompilerTest
  	instanceVariableNames: ''
+ 	classVariableNames: ''
- 	classVariableNames: 'CmpRR CogRTLOpcodes Jump MoveCqR Nop'
  	poolDictionaries: ''
  	category: 'Tests-Compiler'!