DEVICE ZXSPECTRUMNEXT

    ORG $8004-12
    DB  $12
    DS  11, 0
    jr  $       ; bank 2, $8004

    ORG $C004-12
    DB  $12
    DS  11, 0
    jr  $       ; bank 0, $C004

    MMU 0, 10*2, $0004
    jr  $       ; bank 10, $C004 (the taint ahead is already there)

    MMU 0 7, 100 ; map the Z80 address space to completely unrelated pages

;; OPEN <filename>[,<startAddress>[,<stackAddress>[,<entryBank 0..111>[,<fileVersion 2..3>]]]]
    ; warning about ROM area
    SAVENEX OPEN "savenexStackWarnings.nex", $8004, $0001 : SAVENEX CLOSE
    SAVENEX OPEN "savenexStackWarnings.nex", $8004, $4009 : SAVENEX CLOSE

    ; byte-check warnings (valid + tainted for various slot/banks)
    SAVENEX OPEN "savenexStackWarnings.nex" : SAVENEX CLOSE     ; PC=0, SP=0xFFFE

    ; check if wrap-around from $0000 targets correct bank (0 or entryBank) during check
    SAVENEX OPEN "savenexStackWarnings.nex", $C004, $0000 : SAVENEX CLOSE
    MMU 0, 0*2+1, $1FFF : DB $23    ; taint end of Bank0
    SAVENEX OPEN "savenexStackWarnings.nex", $C004, $0000 : SAVENEX CLOSE   ; warning

    SAVENEX OPEN "savenexStackWarnings.nex", $C004, $0000, 10 : SAVENEX CLOSE
    MMU 0, 10*2+1, $1FFF : DB $34   ; taint end of Bank10
    SAVENEX OPEN "savenexStackWarnings.nex", $C004, $0000, 10 : SAVENEX CLOSE   ; warning

    ; check other more regular crossings+taints of banks
    SAVENEX OPEN "savenexStackWarnings.nex", $8004, $400B : SAVENEX CLOSE
    MMU 0, 5*2, $000A : DB $45
    SAVENEX OPEN "savenexStackWarnings.nex", $8004, $400B : SAVENEX CLOSE   ; warning
    SAVENEX OPEN "savenexStackWarnings.nex", $8004, $400A : SAVENEX CLOSE
    MMU 0, 5*2, $0000 : DB $56
    SAVENEX OPEN "savenexStackWarnings.nex", $8004, $400A : SAVENEX CLOSE   ; warning

    SAVENEX OPEN "savenexStackWarnings.nex", $8004, $8004 : SAVENEX CLOSE
    MMU 0, 2*2, $0003 : DB $67
    SAVENEX OPEN "savenexStackWarnings.nex", $8004, $8004 : SAVENEX CLOSE   ; warning
    SAVENEX OPEN "savenexStackWarnings.nex", $8004, $8003 : SAVENEX CLOSE
    MMU 0, 5*2+1, $1FFF : DB $78
    SAVENEX OPEN "savenexStackWarnings.nex", $8004, $8003 : SAVENEX CLOSE   ; warning

    SAVENEX OPEN "savenexStackWarnings.nex", $C004, $C004 : SAVENEX CLOSE
    MMU 0, 0*2, $0003 : DB $89
    SAVENEX OPEN "savenexStackWarnings.nex", $C004, $C004 : SAVENEX CLOSE   ; warning
    SAVENEX OPEN "savenexStackWarnings.nex", $C004, $C003 : SAVENEX CLOSE

    SAVENEX OPEN "savenexStackWarnings.nex", $C004, $C004, 10 : SAVENEX CLOSE
    MMU 0, 10*2, $0003 : DB $9A
    SAVENEX OPEN "savenexStackWarnings.nex", $C004, $C004, 10 : SAVENEX CLOSE   ; warning
    SAVENEX OPEN "savenexStackWarnings.nex", $C004, $C003, 10 : SAVENEX CLOSE

    MMU 0, 2*2+1, $1FFF : DB $AB    ; taints both entryBank==0 and entryBank==10
    SAVENEX OPEN "savenexStackWarnings.nex", $C004, $C003 : SAVENEX CLOSE   ; warning
    SAVENEX OPEN "savenexStackWarnings.nex", $C004, $C003, 10 : SAVENEX CLOSE   ; warning
    SAVENEX OPEN "savenexStackWarnings.nex", $C004, $C003, 10 ; suppress: nexstack-ok
    SAVENEX CLOSE

    ASSERT 12 == __WARNINGS__