mirror of
https://github.com/fadden/6502bench.git
synced 2026-01-22 07:19:49 +00:00
037b982d94
The code that allows scripts to catch and handle BRK/JSR/JSL followed by inline data now also handles COP and WDM. (issue #177)
149 lines
4.3 KiB
ArmAsm
149 lines
4.3 KiB
ArmAsm
; Copyright 2019 faddenSoft. All Rights Reserved.
|
|
; See the LICENSE.txt file for distribution terms (Apache 2.0).
|
|
;
|
|
; Assembler: Merlin 32
|
|
|
|
; EDIT: the project must include the extension scripts
|
|
; EDIT: set "treat BRK as two-byte instruction"
|
|
|
|
org $1000
|
|
|
|
; check basics
|
|
jsr PrintInline8String
|
|
asc '01234567' ;hard-coded to 8 bytes long
|
|
jsr PrintInlineRev8String
|
|
asc '76543210'
|
|
jsr PrintInlineNullString
|
|
asc 'null-term string',00
|
|
|
|
; check errors
|
|
jsr broken
|
|
jsr off_end
|
|
jsr too_long
|
|
|
|
; check block formatting
|
|
brk $01
|
|
dw data01
|
|
|
|
brk $02
|
|
dw data02
|
|
|
|
; Handle an edge case where the inline formatting gets thrown out.
|
|
; Two paths: BIT $A9 / BRK $85 / inline $FF/EA goes first, then
|
|
; LDA $00 / STA $FF / NOP goes. When we get to the STA we notice
|
|
; that it's marked as inline data, so we remove it from $85 $ff
|
|
; but not from $ea.
|
|
;
|
|
; If we try to walk through the file, advancing offset by the anattrib
|
|
; length, we will traverse the first path, which (with 2-byte BRKs)
|
|
; runs into the $FF, which is marked as an instruction but not an
|
|
; instruction start.
|
|
;
|
|
; Switching to 1-byte BRKs makes the $85 an inline data item rather
|
|
; than an instruction. When we come back through, we LDA $00 and
|
|
; then skip over the next 3 bytes. No conflict.
|
|
nop
|
|
jsr edge1 ;alt path, evaluated later
|
|
dfb $24 ;1: BIT dp
|
|
edge1 dfb $a9 ;2: LDA imm
|
|
brk ;1: BRK <op>
|
|
dfb $85 ;2: STA imm
|
|
dfb $ff ;1: address $eaff
|
|
nop ;2:
|
|
|
|
jmp Next1
|
|
|
|
PrintInline8String rts ;EDIT: set label
|
|
PrintInlineRev8String rts ;EDIT: set label
|
|
PrintInlineNullString rts ;EDIT: set label
|
|
|
|
data01 ;EDIT: set label (unique local)
|
|
dw $1122 ;should be little-endian
|
|
dw $4433 ;should be big-endian
|
|
hex 55667788 ;32-bit
|
|
hex 99887766 ;32-bit big-endian
|
|
dfb 'f' ;ASCII
|
|
dfb "F" ;high ASCII
|
|
hex 40C142C344C546C7 ;bad DCI string
|
|
hex 002001 ;24-bit addr
|
|
dw data02 ;by symbol
|
|
|
|
dfb $80
|
|
|
|
data02 ;EDIT: set label, must be "data02" (unique local)
|
|
dw data03
|
|
dfb $80
|
|
|
|
data03 ;EDIT: set label (unique local)
|
|
asc "AllEight"
|
|
|
|
|
|
;
|
|
; The analyzer is trying to avoid calling the inline JSR check on code it
|
|
; has previously visited. There was a bug that caused us to lose the
|
|
; no-continue value if code was revisited.
|
|
;
|
|
; To ensure we revisit the function, we need to call it, then call
|
|
; something else that calls it, changing up the flags.
|
|
;
|
|
|
|
NoCont pla
|
|
pla
|
|
rts
|
|
|
|
TestNC1 jsr NoCont
|
|
dfb $00,$80
|
|
TestNC2 jsr NoCont
|
|
dfb $00,$80
|
|
|
|
Next1 jsr TestNC1
|
|
|
|
jsr PushThing
|
|
clc
|
|
jsr TestNC2
|
|
rts
|
|
|
|
PushThing
|
|
sec
|
|
jsr TestNC2
|
|
|
|
|
|
; Make sure flags get marked as indeterminate across inline BRK.
|
|
; Also exercises formatting the same block twice.
|
|
clc
|
|
brk $02
|
|
dw data02
|
|
bcc :BrkNext
|
|
bcs :BrkNext
|
|
brk $80
|
|
:BrkNext
|
|
|
|
rts
|
|
|
|
|
|
; Failed call tests. Some of these need to be at the end of the file.
|
|
; We use an align directive to ensure their offsets don't change as we
|
|
; update stuff earlier in the file.
|
|
ds \
|
|
ds 256
|
|
|
|
|
|
org $1800
|
|
|
|
; check address split across string
|
|
broken jsr PrintInlineNullString
|
|
asc 'broken ',01
|
|
org $1840 ;EDIT: split address
|
|
asc 'string',00
|
|
rts
|
|
|
|
too_long jsr PrintInlineNullString
|
|
dw END-*+1 ;should be 1 byte over; want it to be rejected by
|
|
rts ; function in .cs (otherwise code overlap race)
|
|
|
|
; MUST be last
|
|
off_end jsr PrintInlineNullString
|
|
nonterm asc 'end'
|
|
|
|
END equ *
|