VMMachineSimulatorTest.class.st

Class {
	#name : #VMMachineSimulatorTest,
	#superclass : #VMSimpleStackBasedCogitAbstractTest,
	#pools : [
		'CogAbstractRegisters'
	],
	#category : #'VMMakerTests-JitTests'
}

{ #category : #'tests - instruction exception' }
VMMachineSimulatorTest >> testInstructionExceptionHasCorrectInstructionAddress [

	| label lastInstruction subInstruction breakInstruction |
	self compile: [ 
		cogit MoveCq: 0 R: TempReg.
		cogit MoveCq: 5 R: ClassReg.
		label := cogit Label.
		cogit AddCq: 1 R: TempReg.
		subInstruction := cogit SubCq: 1 R: ClassReg.
		breakInstruction := cogit Stop.
		cogit JumpNonZero: label.

		"This instruction should not be called"
		lastInstruction := cogit Call: cogit methodZoneBase + 16r1000.  ].

	[	self machineSimulator
			startAt: cogInitialAddress
			until: lastInstruction address
			timeout: 0
			count: 0.
	] on: UnicornError do: [ :e | 
		self assert: self machineSimulator lastExecutedInstructionAddress equals: breakInstruction address.	
		^ self ].
	
	self fail.

]

{ #category : #'tests - instruction exception' }
VMMachineSimulatorTest >> testInstructionExceptionIsRaisedAsUnicornError [

	| label lastInstruction subInstruction breakInstruction |
	self compile: [ 
		cogit MoveCq: 0 R: TempReg.
		cogit MoveCq: 5 R: ClassReg.
		label := cogit Label.
		cogit AddCq: 1 R: TempReg.
		subInstruction := cogit SubCq: 1 R: ClassReg.
		breakInstruction := cogit Stop.
		cogit JumpNonZero: label.

		"This instruction should not be called"
		lastInstruction := cogit Call: cogit methodZoneBase + 16rFFFFF0.  ].

	[	self machineSimulator
			startAt: cogInitialAddress
			until: lastInstruction address
			timeout: 0
			count: 0.
	] on: Error do: [ :e | 
		self assert: e class equals: UnicornError.	
		^ self ].
	
	self fail.

]

{ #category : #'tests - memory access exception' }
VMMachineSimulatorTest >> testMemoryAccessExceptionComesWithCorrectAddress [

	| lastInstruction invalidAccessInstruction invalidAddressHandled |
	self compile: [ 
		cogit MoveCq: 16rFFFF0000 R: TempReg.
		invalidAccessInstruction := cogit MoveMb: 0 r: TempReg R: ClassReg.
		"This instruction should not be called"
		lastInstruction := cogit Call: cogit methodZoneBase + 16rFFFFF0.  ].
	
	invalidAddressHandled := false.
	
	self machineSimulator invalidAccessHandler: [:invalidAccess | 
		invalidAddressHandled := true.
		self 
			assert: invalidAccess address 
			equals: 16rFFFF0000.
		false ].
	
	self
		runFrom: cogInitialAddress
		until: lastInstruction address
		timeout: 0.


	self assert: invalidAddressHandled
]

{ #category : #'tests - memory access exception' }
VMMachineSimulatorTest >> testMemoryAccessExceptionHandledCountIsRespected [

	| label lastInstruction invalidAddressHandled addInstruction jumpInstruction expectedAddress |
	self timeLimit: 30 minutes.

	self compile: [
		cogit MoveCq: 0 R: TempReg.
		cogit MoveCq: 16rFFFF0000 R: ClassReg.
		cogit MoveMb: 0 r: ClassReg R: ReceiverResultReg.

		label := cogit Label.
		addInstruction := cogit AddCq: 1 R: TempReg.
		jumpInstruction := cogit Jump: label.
		"This instruction is never reach"
		lastInstruction := cogit RetN: 0 ].

	self machineSimulator invalidAccessHandler: [ :invalidAccess |
		invalidAddressHandled := true.
		self assert: invalidAccess address equals: 16rFFFF0000.

		self machineSimulator receiverRegisterValue: 1.
		"Continue executing after exception"
		true ].


	self machineSimulator
		startAt: cogInitialAddress
		until: lastInstruction address
		timeout: 0
		count: 10.

	expectedAddress := jumpInstruction address.
	self
		assert: self machineSimulator instructionPointerRegisterValue
		equals: expectedAddress
]

{ #category : #'tests - memory access exception' }
VMMachineSimulatorTest >> testMemoryAccessExceptionHandledTimeoutIsRespected [

	| label lastInstruction invalidAddressHandled |
	self compile: [ | exitJump |
		cogit MoveCq: 16rFFFFFFFF R: TempReg.
		cogit MoveCq: 16rFFFF0000 R: ClassReg.
		cogit MoveMb: 0 r: ClassReg R: ReceiverResultReg.

		label := cogit Label.
		cogit SubCq: 1 R: TempReg.
		"If the counter reaches 0, exit"
		exitJump := cogit JumpZero: 0.

		cogit Jump: label.

		"This instruction should never be reached"
		exitJump jmpTarget: cogit Label.
		lastInstruction := cogit RetN: 0 ].


	self machineSimulator invalidAccessHandler: [ :invalidAccess | 
		invalidAddressHandled := true.
		self assert: invalidAccess address equals: 16rFFFF0000.

		self machineSimulator receiverRegisterValue: 1.
		true ].

	"If the code exits because of a timeout exception, then good.
	If it exists because the counter reaches 0, not good"
	[ 
	self
		runFrom: cogInitialAddress
		until: lastInstruction address
		timeout: 1000.
	"If the code exists because the counter reaches 0, not good"
	self fail ]
		on: UnicornTimeout
		do: [ :e | 
			"If the code exits because of a timeout exception, then good."
			self assert: e messageText equals: ''.
			^ self ]
]

{ #category : #'tests - memory access exception' }
VMMachineSimulatorTest >> testMemoryAccessExceptionHandledUntilAddressIsRespected [

	| label invalidAddressHandled addInstruction jumpInstruction |

	self compile: [ 
		cogit MoveCq: 0 R: TempReg.
		cogit MoveCq: 16rFFFF0000 R: ClassReg.
		cogit MoveMb: 0 r: ClassReg R: ReceiverResultReg. 

		label := cogit Label.
		addInstruction := cogit AddCq: 1 R: TempReg.
		jumpInstruction := cogit Jump: label.
		"This instruction is never reach"
		cogit RetN: 0 ].

	self machineSimulator invalidAccessHandler: [:invalidAccess | 
		invalidAddressHandled := true.
		self 
			assert: invalidAccess address 
			equals: 16rFFFF0000.
			
		self machineSimulator receiverRegisterValue: 1.
		"Continue executing after exception"
		true ].
	

	self machineSimulator
		startAt: cogInitialAddress
		until: jumpInstruction address
		timeout: 100000 "microseconds = 100ms"
		count: 0.
	
	self assert: self temporaryRegisterValue equals: 1
]

{ #category : #'tests - memory access exception' }
VMMachineSimulatorTest >> testMemoryAccessExceptionHandledUntilAddressIsRespectedCorrectInstructionPointer [

	| label invalidAddressHandled addInstruction jumpInstruction |

	self compile: [ 
		cogit MoveCq: 0 R: TempReg.
		cogit MoveCq: 16rFFFF0000 R: ClassReg.
		cogit MoveMb: 0 r: ClassReg R: ReceiverResultReg. 

		label := cogit Label.
		addInstruction := cogit AddCq: 1 R: TempReg.
		jumpInstruction := cogit Jump: label.
		"This instruction is never reach"
		cogit RetN: 0 ].

	self machineSimulator invalidAccessHandler: [:invalidAccess | 
		invalidAddressHandled := true.
		self 
			assert: invalidAccess address 
			equals: 16rFFFF0000.
			
		self machineSimulator receiverRegisterValue: 1.
		"Continue executing after exception"
		true ].
	

	self machineSimulator
		startAt: cogInitialAddress
		until: jumpInstruction address
		timeout: 100000 "microseconds = 100ms"
		count: 0.
	
	self assert: self machineSimulator instructionPointerRegisterValue equals: jumpInstruction address
]

{ #category : #'tests - memory access exception' }
VMMachineSimulatorTest >> testMemoryAccessExceptionInCallContinuesToCorrectPC [

	| lastInstruction invalidAddressHandled returningPoint |
	self compile: [ 
		cogit MoveCq: 0 R: TempReg. 
		cogit CallFull: 16r7FFF0000.
		returningPoint := cogit MoveCq: 99 R: TempReg. 
		lastInstruction := cogit RetN: 0].
	
	invalidAddressHandled := false.
	
	self machineSimulator invalidAccessHandler: [:invalidAccess | 
		invalidAddressHandled := true.
		self machineSimulator instructionPointerRegisterValue: returningPoint address.
		true].

	self
		runFrom: cogInitialAddress
		until: lastInstruction address
		timeout: 0.


	self assert: self temporaryRegisterValue equals: 99.
	self assert: invalidAddressHandled
]

{ #category : #'tests - memory access exception' }
VMMachineSimulatorTest >> testMemoryAccessExceptionInCallHasUpdatedPC [

	| lastInstruction invalidAddressHandled |
	self compile: [ 
		cogit CallFull: 16r7FFF0000.
		lastInstruction := cogit RetN: 0].
	
	invalidAddressHandled := false.
	
	self machineSimulator invalidAccessHandler: [:invalidAccess | 
		self 
			assert: self machineSimulator instructionPointerRegisterValue 
			equals: 16r7FFF0000.
		invalidAddressHandled := true.
		false].
	
	self
		runFrom: cogInitialAddress
		until: lastInstruction address
		timeout: 0.


	self assert: invalidAddressHandled
]

{ #category : #'tests - memory access exception' }
VMMachineSimulatorTest >> testMemoryAccessExceptionInJumpContinuesToCorrectPC [

	| lastInstruction invalidAddressHandled returningPoint |
	self compile: [ 
		cogit MoveCq: 0 R: TempReg. 
		cogit JumpFull: 16r7FFF0000.
		returningPoint := cogit MoveCq: 99 R: TempReg. 
		lastInstruction := cogit RetN: 0].
	
	invalidAddressHandled := false.
	
	self machineSimulator invalidAccessHandler: [:invalidAccess | 
		invalidAddressHandled := true.
		self machineSimulator instructionPointerRegisterValue: returningPoint address.
		true].
	
	self
		runFrom: cogInitialAddress
		until: lastInstruction address
		timeout: 0.


	self assert: self temporaryRegisterValue equals: 99.
	self assert: invalidAddressHandled
]

{ #category : #'tests - memory access exception' }
VMMachineSimulatorTest >> testMemoryAccessExceptionInJumpHasUpdatedPC [

	| lastInstruction invalidAddressHandled |
	self compile: [ 
		cogit JumpFull: 16r7FFF0000.
		lastInstruction := cogit RetN: 0].
	
	invalidAddressHandled := false.
	
	self machineSimulator invalidAccessHandler: [:invalidAccess | 
		self 
			assert: self machineSimulator instructionPointerRegisterValue 
			equals: 16r7FFF0000.
		invalidAddressHandled := true.
		false].
	
	self
		runFrom: cogInitialAddress
		until: lastInstruction address
		timeout: 0.


	self assert: invalidAddressHandled
]

{ #category : #'tests - memory access exception' }
VMMachineSimulatorTest >> testMemoryAccessExceptionInstructionPointerInCorrectAddress [

	| lastInstruction invalidAccessInstruction invalidAddressHandled exptectedAddress |
	self timeLimit: 30 minutes.

	self compile: [
		cogit MoveCq: 16rFFFF0000 R: TempReg.
		cogit MoveCq: 0 R: ClassReg.

		invalidAccessInstruction := cogit MoveMb: 0 r: TempReg R: ClassReg.
		"This instruction should not be called"
		lastInstruction := cogit Call: cogit methodZoneBase + 16rFFFFF0.  ].
	invalidAddressHandled := false.

	exptectedAddress := invalidAccessInstruction address.

	self machineSimulator invalidAccessHandler: [ :invalidAccess |
		invalidAddressHandled := true.
		self
			assert: self machineSimulator lastExecutedInstructionAddress
			equals: exptectedAddress.
		false ].

	self
		runFrom: cogInitialAddress
		until: lastInstruction address
		timeout: 0.

	self assert: invalidAddressHandled
]

{ #category : #'tests - normal execution' }
VMMachineSimulatorTest >> testNormalExecutionCountIsRespected [

	| label lastInstruction subInstruction |
	self compile: [ 
		cogit MoveCq: 0 R: TempReg.
		cogit MoveCq: 5 R: ClassReg.
		label := cogit Label.
		cogit AddCq: 1 R: TempReg.
		subInstruction := cogit SubCq: 1 R: ClassReg.
		cogit JumpNonZero: label.

		"This instruction should not be called"
		lastInstruction := cogit Call: cogit methodZoneBase + 16rFFFFF0.  ].

	self machineSimulator
		startAt: cogInitialAddress
		until: lastInstruction address
		timeout: 0
		count: 10.

	self assert: self machineSimulator temporaryRegisterValue equals: 3.
	self assert: self machineSimulator classRegisterValue equals: 2.

]

{ #category : #'tests - normal execution' }
VMMachineSimulatorTest >> testNormalExecutionCountIsRespectedAndHasCorrectInstructionPointer [

	| label lastInstruction subInstruction jumpInstruction |
	self compile: [ 
		cogit MoveCq: 0 R: TempReg.
		cogit MoveCq: 5 R: ClassReg.
		label := cogit Label.
		cogit AddCq: 1 R: TempReg.
		subInstruction := cogit SubCq: 1 R: ClassReg.
		jumpInstruction := cogit JumpNonZero: label.

		"This instruction should not be called"
		lastInstruction := cogit Call: cogit methodZoneBase + 16rFFFFF0.  ].

	self machineSimulator
		startAt: cogInitialAddress
		until: lastInstruction address
		timeout: 0
		count: 10.

	self assert: self machineSimulator instructionPointerRegisterValue equals: jumpInstruction address.

]

{ #category : #'tests - normal execution' }
VMMachineSimulatorTest >> testNormalExecutionRespectTimeout [

	| label lastInstruction |
	self compile: [ 
		cogit MoveCq: 0 R: TempReg.
		label := cogit Label.
		cogit AddCq: 1 R: TempReg.
		cogit Jump: label.
		"This instruction is never reach"
		lastInstruction := cogit RetN: 0 ].

	[ self
		runFrom: cogInitialAddress
		until: lastInstruction address
		timeout: 100000 "microseconds = 100ms" ]
			on: UnicornTimeout
			do: [ :e | self assert: e messageText equals: ''. ^ self ].
			
	self fail.
]

{ #category : #'tests - normal execution' }
VMMachineSimulatorTest >> testNormalExecutionRespectTimeoutUpdatesInstructionPointer [

	| label lastInstruction |
	self compile: [ 
		cogit MoveCq: 0 R: TempReg.
		label := cogit Label.
		cogit AddCq: 1 R: TempReg.
		cogit Jump: label.
		"This instruction is never reach"
		lastInstruction := cogit RetN: 0 ].

	[ self
		runFrom: cogInitialAddress
		until: lastInstruction address
		timeout: 100000 "microseconds = 100ms" ]
			on: UnicornTimeout
			do: [ :e | 
				self deny: self machineSimulator instructionPointerRegisterValue equals: cogInitialAddress.
				self assert: e messageText equals: ''. ^ self ].
			
	self fail.
]

{ #category : #'tests - normal execution' }
VMMachineSimulatorTest >> testNormalExecutionUntilAddressIsRespected [

	| label lastInstruction |
	self compile: [ 
		cogit MoveCq: 0 R: TempReg.
		cogit MoveCq: 5 R: ClassReg.
		label := cogit Label.
		cogit AddCq: 1 R: TempReg.
		cogit SubCq: 1 R: ClassReg.
		cogit JumpNonZero: label.

		"This instruction should not be called"
		lastInstruction := cogit Call: cogit methodZoneBase + 16rFFFFF0.  ].

	self
		runFrom: cogInitialAddress
		until: lastInstruction address
		timeout: 0.

	self assert: self instructionPointer equals: lastInstruction address
]