added a testprogram to check for some of the edge cases

test/asm/Makefile

@@ -12,7 +12,7 @@ endif
 
 WORKDIR = ../testwrk/asm
 
-SUBDIRS = cpudetect opcodes listing
+SUBDIRS = cpudetect opcodes listing val
 
 .PHONY: all continue mostlyclean clean
 

test/asm/readme.txt

@@ -17,3 +17,10 @@ Overall tests:
 --------------
 
 These go into listing/. Refer to listing/readme.txt
+
+Val:
+----
+
+Works very much like the /val directory used to test the compiler -  individual
+tests are run in the simulator and should exit with an exit code of 0 when they
+pass, or either -1 or a number indicating what part of the test failed on error.

test/asm/val/Makefile

@@ -0,0 +1,58 @@
+# Makefile for the regression tests that return an error code on failure
+
+ifneq ($(shell echo),)
+  CMD_EXE = 1
+endif
+
+ifdef CMD_EXE
+  S = $(subst /,\,/)
+  NULLDEV = nul:
+  MKDIR = mkdir $(subst /,\,$1)
+  RMDIR = -rmdir /s /q $(subst /,\,$1)
+else
+  S = /
+  NULLDEV = /dev/null
+  MKDIR = mkdir -p $1
+  RMDIR = $(RM) -r $1
+endif
+
+ifdef QUIET
+  .SILENT:
+  NULLOUT = >$(NULLDEV)
+  NULLERR = 2>$(NULLDEV)
+endif
+
+SIM65FLAGS = -x 5000000000
+
+CA65 := $(if $(wildcard ../../../bin/ca65*),..$S..$S..$Sbin$Sca65,ca65)
+LD65 := $(if $(wildcard ../../../bin/ld65*),..$S..$S..$Sbin$Sld65,ld65)
+SIM65 := $(if $(wildcard ../../../bin/sim65*),..$S..$S..$Sbin$Ssim65,sim65)
+
+WORKDIR = ../../testwrk/asm/val
+
+.PHONY: all clean
+
+SOURCES := $(wildcard *.s)
+TESTS  = $(SOURCES:%.s=$(WORKDIR)/%.6502.prg)
+TESTS += $(SOURCES:%.s=$(WORKDIR)/%.65c02.prg)
+
+all: $(TESTS)
+
+$(WORKDIR):
+	$(call MKDIR,$(WORKDIR))
+
+define PRG_template
+
+$(WORKDIR)/%.$1.prg: %.s | $(WORKDIR)
+	$(if $(QUIET),echo asm/val/$$*.$1.prg)
+	$(CA65) -t sim$1 -o $$(@:.prg=.o) $$< $(NULLERR)
+	$(LD65) -C sim6502-asmtest.cfg -o $$@ $$(@:.prg=.o) sim$1.lib $(NULLERR)
+	$(SIM65) $(SIM65FLAGS) $$@ $(NULLOUT)
+
+endef # PRG_template
+
+$(eval $(call PRG_template,6502))
+$(eval $(call PRG_template,65c02))
+
+clean:
+	@$(call RMDIR,$(WORKDIR))

test/asm/val/bug1538.s

@@ -0,0 +1,99 @@
+
+        .macpack longbranch
+
+        .import _exit
+        .export _main
+
+offset1 = ($123456 + ((.bank(_main)) * $2345))   ; should produce $123456 + ($23 * $2345) = 1706c5
+
+_main:
+        ldx #1  ; test counter
+
+        ;---------------------------------------------------------------------
+        ; first check if we can still force an 16bit address although we are
+        ; ANDing with a 8bit value
+test1:
+test1a: bit a:$1234 & $ff   ; should produce 00 34
+        lda test1a+1
+        cmp #$34
+        jne exiterror
+
+        inx
+        lda test1a+2
+        cmp #$00
+        jne exiterror
+
+        inx
+test1b: bit a:$34 & $ff     ; should produce 00 34
+        lda test1b+1
+        cmp #$34
+        jne exiterror
+
+        inx
+        lda test1b+2
+        cmp #$00
+        jne exiterror
+
+        ;---------------------------------------------------------------------
+        ; the original bug report, use an expression that contains a non constant
+        ; part (.bank(_main)) and limit it to 8bit size by ANDing with $ff
+test2:
+        inx
+        lda #(offset1 >> 0) & $ff
+        cmp #$c5
+        jne exiterror
+
+        inx
+        lda #(offset1 >> 8) & $ff
+        cmp #$06
+        jne exiterror
+
+        inx
+        lda #(offset1 >> 16) & $ff
+        cmp #$17
+        jne exiterror
+
+        ;---------------------------------------------------------------------
+        ; import a zeropage symbol (1 byte size) and then AND with a constant
+        ; 16bit value - it should not turn into a 16bit address
+test3:
+        jmp test3chk
+        .importzp tmp1
+test3a: .byte tmp1              ; verify its 8bit
+test3b: .byte tmp1 & $ff        ; AND with $ff should work of course
+test3c: .byte tmp1 & $ffff      ; AND with $ffff should not change size
+test3d: .word tmp1 & $ffffff    ; AND with $ffffff should not change size
+test3chk:
+        inx
+        lda test3a
+        cmp #tmp1
+        jne exiterror
+
+        inx
+        lda test3b
+        cmp #tmp1
+        jne exiterror
+
+        inx
+        lda test3c
+        cmp #tmp1
+        jne exiterror
+
+        inx
+        lda test3d
+        cmp #tmp1
+        jne exiterror
+
+        inx
+        lda test3d+1
+        cmp #$00
+        jne exiterror
+
+        ;---------------------------------------------------------------------
+        ; exit OK
+        ldx #0
+exiterror:
+        txa
+        ldx #0
+        jmp _exit
+

test/asm/val/sim6502-asmtest.cfg

@@ -0,0 +1,35 @@
+SYMBOLS {
+    __EXEHDR__:    type = import;
+    __STACKSIZE__: type = weak, value = $0800; # 2k stack
+}
+MEMORY {
+    ZP:     file = "",               start = $0000, size = $0100;
+    HEADER: file = %O,               start = $0000, size = $000C;
+    MAIN:   file = %O, define = yes, start = $0200, size = $FDF0 - __STACKSIZE__, BANK = $23;
+}
+SEGMENTS {
+    ZEROPAGE: load = ZP,     type = zp;
+    EXEHDR:   load = HEADER, type = ro;
+    STARTUP:  load = MAIN,   type = ro;
+    LOWCODE:  load = MAIN,   type = ro,  optional = yes;
+    ONCE:     load = MAIN,   type = ro,  optional = yes;
+    CODE:     load = MAIN,   type = ro;
+    RODATA:   load = MAIN,   type = ro;
+    DATA:     load = MAIN,   type = rw;
+    BSS:      load = MAIN,   type = bss, define   = yes;
+}
+FEATURES {
+    CONDES: type    = constructor,
+            label   = __CONSTRUCTOR_TABLE__,
+            count   = __CONSTRUCTOR_COUNT__,
+            segment = ONCE;
+    CONDES: type    = destructor,
+            label   = __DESTRUCTOR_TABLE__,
+            count   = __DESTRUCTOR_COUNT__,
+            segment = RODATA;
+    CONDES: type    = interruptor,
+            label   = __INTERRUPTOR_TABLE__,
+            count   = __INTERRUPTOR_COUNT__,
+            segment = RODATA,
+            import  = __CALLIRQ__;
+}