mirror of
https://github.com/kichikuou/xsystem35-sdl2.git
synced 2026-09-22 22:48:08 +03:00
kichikuou
30188c3a4f
System 3.9 saturates compound addition and multiplication at 65535, while an overflowing ascending loop stores the wrapped 16-bit result after testing the wide value. Update the scenario expectations and regenerated fixture to cover both cases. The suite passes with xsystem35 and the original System39.exe.
92 lines
1.9 KiB
Plaintext
92 lines
1.9 KiB
Plaintext
MS FILE,"variable.adv":
|
|
!value:0!
|
|
!count:0!
|
|
|
|
; Values written outside the expression evaluator are observed as words.
|
|
NDC 0,0:
|
|
NDC 1,1:
|
|
ND- 2,0,1:
|
|
NDD value,2:
|
|
~AssertEquals value,65535,__LINE__:
|
|
ND+ 2,0,1:
|
|
NDD value,2:
|
|
~AssertEquals value,1,__LINE__:
|
|
NDC 0,65535:
|
|
ND+ 2,0,1:
|
|
NDD value,2:
|
|
~AssertEquals value,0,__LINE__:
|
|
|
|
; inc and dec saturate at the bounds.
|
|
!value:65535!
|
|
inc value:
|
|
~AssertEquals value,65535,__LINE__:
|
|
!value:0!
|
|
dec value:
|
|
~AssertEquals value,0,__LINE__:
|
|
|
|
; Compound arithmetic assignments saturate at the word bounds.
|
|
!value:65535!
|
|
!value+:1!
|
|
~AssertEquals value,65535,__LINE__:
|
|
!value:0!
|
|
!value-:1!
|
|
~AssertEquals value,0,__LINE__:
|
|
!value:32768!
|
|
!value*:2!
|
|
~AssertEquals value,65535,__LINE__:
|
|
!value:7!
|
|
!value/:2!
|
|
~AssertEquals value,3,__LINE__:
|
|
!value/:0!
|
|
~AssertEquals value,0,__LINE__:
|
|
!value:7!
|
|
!value%:4!
|
|
~AssertEquals value,3,__LINE__:
|
|
!value%:0!
|
|
~AssertEquals value,0,__LINE__:
|
|
!value:0xf0f0!
|
|
!value&:0x0ff0!
|
|
~AssertEquals value,0x00f0,__LINE__:
|
|
!value|:0x0f00!
|
|
~AssertEquals value,0x0ff0,__LINE__:
|
|
!value^:0x00ff!
|
|
~AssertEquals value,0x0f0f,__LINE__:
|
|
|
|
; FOR loops test the wide result, then store the terminal word value.
|
|
!count:0!
|
|
<value,1,0,0,2:
|
|
inc count:
|
|
>
|
|
~AssertEquals count,1,__LINE__:
|
|
~AssertEquals value,0,__LINE__:
|
|
!count:0!
|
|
<value,65535,65535,1,1:
|
|
inc count:
|
|
>
|
|
~AssertEquals count,1,__LINE__:
|
|
~AssertEquals value,0,__LINE__:
|
|
|
|
; A module result above 65535 is observed through expressions as a word.
|
|
MS 10,"65536":
|
|
ShString.SetStringNum16 10,value:
|
|
~AssertEquals value,0,__LINE__:
|
|
|
|
; QE/LE keep the same word values across a file round trip.
|
|
NDC 0,0:
|
|
NDC 1,1:
|
|
ND- 2,0,1:
|
|
NDD D01,2:
|
|
NDC 0,65535:
|
|
ND+ 2,0,1:
|
|
NDD D02,2:
|
|
QE 0,"variable-u16.dat",D01,2:
|
|
~AssertEquals RND,0,__LINE__:
|
|
!D01:0!
|
|
!D02:1!
|
|
LE 0,"variable-u16.dat",D01,2:
|
|
~AssertEquals RND,0,__LINE__:
|
|
~AssertEquals D01,65535,__LINE__:
|
|
~AssertEquals D02,0,__LINE__:
|
|
|
|
%0:
|