updated some compiled example

compiler/res/prog8lib/c64/floats.asm

@@ -61,7 +61,7 @@ stack_b2float	.proc
 		lda  P8ESTACK_LO,x
 		stx  P8ZP_SCRATCH_REG
 		jsr  FREADSA
-		jmp  push_fac1_as_result
+		jmp  push_fac1._internal
 		.pend
 
 stack_w2float	.proc
@@ -71,7 +71,7 @@ stack_w2float	.proc
 		lda  P8ESTACK_HI,x
 		stx  P8ZP_SCRATCH_REG
 		jsr  GIVAYF
-		jmp  push_fac1_as_result
+		jmp  push_fac1._internal
 		.pend
 
 stack_ub2float	.proc
@@ -82,7 +82,7 @@ stack_ub2float	.proc
 		tay
 		lda  #0
 		jsr  GIVAYF
-		jmp  push_fac1_as_result
+		jmp  push_fac1._internal
 		.pend
 
 stack_uw2float	.proc
@@ -92,12 +92,12 @@ stack_uw2float	.proc
 		ldy  P8ESTACK_HI,x
 		stx  P8ZP_SCRATCH_REG
 		jsr  GIVUAYFAY
-		jmp  push_fac1_as_result
+		jmp  push_fac1._internal
 		.pend
 
 stack_float2w	.proc               ; also used for float2b
-		jsr  pop_float_fac1
 		stx  P8ZP_SCRATCH_REG
+		jsr  pop_float_fac1
 		jsr  AYINT
 		ldx  P8ZP_SCRATCH_REG
 		lda  $64
@@ -109,8 +109,8 @@ stack_float2w	.proc               ; also used for float2b
 		.pend
 
 stack_float2uw	.proc               ; also used for float2ub
-		jsr  pop_float_fac1
 		stx  P8ZP_SCRATCH_REG
+		jsr  pop_float_fac1
 		jsr  GETADR
 		ldx  P8ZP_SCRATCH_REG
 		sta  P8ESTACK_HI,x
@@ -146,22 +146,6 @@ push_float	.proc
 		rts
 		.pend
 
-func_rndf	.proc
-		; -- put a random floating point value on the stack
-		stx  P8ZP_SCRATCH_REG
-		lda  #1
-		jsr  FREADSA
-		jsr  RND		; rng into fac1
-		ldx  #<_rndf_rnum5
-		ldy  #>_rndf_rnum5
-		jsr  MOVMF	; fac1 to mem X/Y
-		ldx  P8ZP_SCRATCH_REG
-		lda  #<_rndf_rnum5
-		ldy  #>_rndf_rnum5
-		jmp  push_float
-_rndf_rnum5	.byte  0,0,0,0,0
-		.pend
-
 pop_float	.proc
 		; ---- pops mflpt5 from stack to memory A/Y
 		; (frees 3 stack positions = 6 bytes of which 1 is padding)
@@ -198,16 +182,6 @@ pop_float_fac1	.proc
 		jmp  MOVFM
 		.pend
 
-pop_float_fac2	.proc
-		; -- pops float from stack into FAC2
-		lda  #<fmath_float1
-		ldy  #>fmath_float1
-		jsr  pop_float
-		lda  #<fmath_float1
-		ldy  #>fmath_float1
-		jmp  CONUPK
-		.pend
-
 copy_float	.proc
 		; -- copies the 5 bytes of the mflt value pointed to by SCRATCH_ZPWORD1,
 		;    into the 5 bytes pointed to by A/Y.  Clobbers A,Y.
@@ -273,9 +247,11 @@ pop_2_floats_f2_in_fac1	.proc
 fmath_float1	.byte 0,0,0,0,0	; storage for a mflpt5 value
 fmath_float2	.byte 0,0,0,0,0	; storage for a mflpt5 value
 
-push_fac1_as_result	.proc
-		; -- push the float in FAC1 onto the stack, and return from calculation
-		ldx  #<fmath_float1
+
+push_fac1	.proc
+		; -- push the float in FAC1 onto the stack
+		stx  P8ZP_SCRATCH_REG
+_internal	ldx  #<fmath_float1
 		ldy  #>fmath_float1
 		jsr  MOVMF
 		lda  #<fmath_float1
@@ -284,6 +260,7 @@ push_fac1_as_result	.proc
 		jmp  push_float
 		.pend
 
+
 pow_f		.proc
 		; -- push f1 ** f2 on stack
 		lda  #<fmath_float2
@@ -299,8 +276,7 @@ pow_f		.proc
 		lda  #<fmath_float2
 		ldy  #>fmath_float2
 		jsr  FPWR
-		ldx  P8ZP_SCRATCH_REG
-		jmp  push_fac1_as_result
+		jmp  push_fac1._internal
 		.pend
 
 div_f		.proc
@@ -310,7 +286,7 @@ div_f		.proc
 		lda  #<fmath_float1
 		ldy  #>fmath_float1
 		jsr  FDIV
-		jmp  push_fac1_as_result
+		jmp  push_fac1._internal
 		.pend
 
 add_f		.proc
@@ -320,7 +296,7 @@ add_f		.proc
 		lda  #<fmath_float1
 		ldy  #>fmath_float1
 		jsr  FADD
-		jmp  push_fac1_as_result
+		jmp  push_fac1._internal
 		.pend
 
 sub_f		.proc
@@ -330,7 +306,7 @@ sub_f		.proc
 		lda  #<fmath_float1
 		ldy  #>fmath_float1
 		jsr  FSUB
-		jmp  push_fac1_as_result
+		jmp  push_fac1._internal
 		.pend
 
 mul_f		.proc
@@ -340,7 +316,7 @@ mul_f		.proc
 		lda  #<fmath_float1
 		ldy  #>fmath_float1
 		jsr  FMULT
-		jmp  push_fac1_as_result
+		jmp  push_fac1._internal
 		.pend
 
 neg_f		.proc
@@ -351,14 +327,6 @@ neg_f		.proc
 		rts
 		.pend
 
-abs_f		.proc
-		; -- strip the sign bit on the stack
-		lda  P8ESTACK_HI+3,x
-		and  #$7f
-		sta  P8ESTACK_HI+3,x
-		rts
-		.pend
-
 equal_f		.proc
 		; -- are the two mflpt5 numbers on the stack identical?
 		inx
@@ -457,240 +425,22 @@ _return_true	lda  #1
 		bne  _return_result
 		.pend
 
-func_sin	.proc
-		; -- push sin(f) back onto stack
-		jsr  pop_float_fac1
-		stx  P8ZP_SCRATCH_REG
-		jsr  SIN
-		jmp  push_fac1_as_result
-		.pend
-
-func_cos	.proc
-		; -- push cos(f) back onto stack
-		jsr  pop_float_fac1
-		stx  P8ZP_SCRATCH_REG
-		jsr  COS
-		jmp  push_fac1_as_result
-		.pend
-
-func_tan	.proc
-		; -- push tan(f) back onto stack
-		jsr  pop_float_fac1
-		stx  P8ZP_SCRATCH_REG
-		jsr  TAN
-		jmp  push_fac1_as_result
-		.pend
-
-func_atan	.proc
-		; -- push atan(f) back onto stack
-		jsr  pop_float_fac1
-		stx  P8ZP_SCRATCH_REG
-		jsr  ATN
-		jmp  push_fac1_as_result
-		.pend
-
-func_ln		.proc
-		; -- push ln(f) back onto stack
-		jsr  pop_float_fac1
-		stx  P8ZP_SCRATCH_REG
-		jsr  LOG
-		jmp  push_fac1_as_result
-		.pend
-
-func_log2	.proc
-		; -- push log base 2, ln(f)/ln(2), back onto stack
-		jsr  pop_float_fac1
-		stx  P8ZP_SCRATCH_REG
-		jsr  LOG
-		jsr  MOVEF
-		lda  #<c64.FL_LOG2
-		ldy  #>c64.FL_LOG2
-		jsr  MOVFM
-		jsr  FDIVT
-		jmp  push_fac1_as_result
-		.pend
-
-func_sqrt	.proc
-		jsr  pop_float_fac1
-		stx  P8ZP_SCRATCH_REG
-		jsr  SQR
-		jmp  push_fac1_as_result
-		.pend
-
-func_rad	.proc
-		; -- convert degrees to radians (d * pi / 180)
-		jsr  pop_float_fac1
-		stx  P8ZP_SCRATCH_REG
-		lda  #<_pi_div_180
-		ldy  #>_pi_div_180
-		jsr  FMULT
-		jmp  push_fac1_as_result
-_pi_div_180	.byte 123, 14, 250, 53, 18		; pi / 180
-		.pend
-
-func_deg	.proc
-		; -- convert radians to degrees (d * (1/ pi * 180))
-		jsr  pop_float_fac1
-		stx  P8ZP_SCRATCH_REG
-		lda  #<_one_over_pi_div_180
-		ldy  #>_one_over_pi_div_180
-		jsr  FMULT
-		jmp  push_fac1_as_result
-_one_over_pi_div_180	.byte 134, 101, 46, 224, 211		; 1 / (pi * 180)
-		.pend
-
-func_round	.proc
-		jsr  pop_float_fac1
-		stx  P8ZP_SCRATCH_REG
-		jsr  FADDH
-		jsr  INT
-		jmp  push_fac1_as_result
-		.pend
-
-func_floor	.proc
-		jsr  pop_float_fac1
-		stx  P8ZP_SCRATCH_REG
-		jsr  INT
-		jmp  push_fac1_as_result
-		.pend
-
-func_ceil	.proc
-		; -- ceil: tr = int(f); if tr==f -> return  else return tr+1
-		jsr  pop_float_fac1
-		stx  P8ZP_SCRATCH_REG
-		ldx  #<fmath_float1
-		ldy  #>fmath_float1
-		jsr  MOVMF
-		jsr  INT
-		lda  #<fmath_float1
-		ldy  #>fmath_float1
-		jsr  FCOMP
-		cmp  #0
-		beq  +
-		lda  #<FL_ONE_const
-		ldy  #>FL_ONE_const
-		jsr  FADD
-+		jmp  push_fac1_as_result
-		.pend
-
-func_any_f	.proc
-		inx
-		lda  P8ESTACK_LO,x	; array size
+set_array_float_from_fac1	.proc
+		; -- set the float in FAC1 in the array (index in A, array in P8ZP_SCRATCH_W1)
 		sta  P8ZP_SCRATCH_B1
 		asl  a
 		asl  a
 		clc
-		adc  P8ZP_SCRATCH_B1	; times 5 because of float
-		jmp  prog8_lib.func_any_b._entry
-		.pend
-
-func_all_f	.proc
-		inx
-		jsr  prog8_lib.peek_address
-		lda  P8ESTACK_LO,x	; array size
-		sta  P8ZP_SCRATCH_B1
-		asl  a
-		asl  a
-		clc
-		adc  P8ZP_SCRATCH_B1	; times 5 because of float
-		tay
-		dey
--		lda  (P8ZP_SCRATCH_W1),y
-		clc
-		dey
-		adc  (P8ZP_SCRATCH_W1),y
-		dey
-		adc  (P8ZP_SCRATCH_W1),y
-		dey
-		adc  (P8ZP_SCRATCH_W1),y
-		dey
-		adc  (P8ZP_SCRATCH_W1),y
-		dey
-		cmp  #0
-		beq  +
-		cpy  #255
-        	bne  -
-		lda  #1
-		sta  P8ESTACK_LO+1,x
-		rts
-+		sta  P8ESTACK_LO+1,x
-		rts
-		.pend
-
-func_max_f	.proc
-		lda  #255
-		sta  _minmax_cmp+1
-		lda  #<_largest_neg_float
-		ldy  #>_largest_neg_float
-_minmax_entry	jsr  MOVFM
-		jsr  prog8_lib.pop_array_and_lengthmin1Y
-		stx  floats_store_reg
--		sty  P8ZP_SCRATCH_REG
-		lda  P8ZP_SCRATCH_W1
+		adc  P8ZP_SCRATCH_B1
 		ldy  P8ZP_SCRATCH_W1+1
-		jsr  FCOMP
-_minmax_cmp	cmp  #255			; modified
-		bne  +
-		lda  P8ZP_SCRATCH_W1
-		ldy  P8ZP_SCRATCH_W1+1
-		jsr  MOVFM
-+		lda  P8ZP_SCRATCH_W1
 		clc
-		adc  #5
-		sta  P8ZP_SCRATCH_W1
+		adc  P8ZP_SCRATCH_W1
 		bcc  +
-		inc  P8ZP_SCRATCH_W1+1
-+		ldy  P8ZP_SCRATCH_REG
-		dey
-		cpy  #255
-		bne  -
+		iny
++		stx  floats_store_reg
+		tax
+		jsr  MOVMF
 		ldx  floats_store_reg
-		stx  P8ZP_SCRATCH_REG
-		jmp  push_fac1_as_result
-_largest_neg_float	.byte 255,255,255,255,255		; largest negative float -1.7014118345e+38
-		.pend
-
-func_min_f	.proc
-		lda  #1
-		sta  func_max_f._minmax_cmp+1
-		lda  #<_largest_pos_float
-		ldy  #>_largest_pos_float
-		jmp  func_max_f._minmax_entry
-_largest_pos_float	.byte  255,127,255,255,255		; largest positive float
-		rts
-		.pend
-
-func_sum_f	.proc
-		lda  #<FL_ZERO_const
-		ldy  #>FL_ZERO_const
-		jsr  MOVFM
-		jsr  prog8_lib.pop_array_and_lengthmin1Y
-		stx  floats_store_reg
--		sty  P8ZP_SCRATCH_REG
-		lda  P8ZP_SCRATCH_W1
-		ldy  P8ZP_SCRATCH_W1+1
-		jsr  FADD
-		ldy  P8ZP_SCRATCH_REG
-		dey
-		cpy  #255
-		beq  +
-		lda  P8ZP_SCRATCH_W1
-		clc
-		adc  #5
-		sta  P8ZP_SCRATCH_W1
-		bcc  -
-		inc  P8ZP_SCRATCH_W1+1
-		bne  -
-+		ldx  floats_store_reg
-		stx  P8ZP_SCRATCH_REG
-		jmp  push_fac1_as_result
-		.pend
-
-sign_f		.proc
-		jsr  pop_float_fac1
-		jsr  SIGN
-		sta  P8ESTACK_LO,x
-		dex
 		rts
 		.pend
 
@@ -734,16 +484,3 @@ set_array_float		.proc
 		.pend
 
 
-swap_floats	.proc
-		; -- swap floats pointed to by SCRATCH_ZPWORD1, SCRATCH_ZPWORD2
-		ldy  #4
--               lda  (P8ZP_SCRATCH_W1),y
-		pha
-		lda  (P8ZP_SCRATCH_W2),y
-		sta  (P8ZP_SCRATCH_W1),y
-		pla
-		sta  (P8ZP_SCRATCH_W2),y
-		dey
-		bpl  -
-		rts
-		.pend

compiler/res/prog8lib/c64/floats.p8

@@ -213,5 +213,6 @@ sub  print_f  (float value) {
 }
 
 %asminclude "library:c64/floats.asm", ""
+%asminclude "library:c64/floats_funcs.asm", ""
 
 }

compiler/res/prog8lib/c64/floats_funcs.asm

@@ -0,0 +1,437 @@
+; --- floating point builtin functions
+
+
+abs_f_stack	.proc
+		; -- push abs(AY) on stack
+		jsr  floats.MOVFM
+		jsr  floats.ABS
+		jmp  push_fac1
+		.pend
+
+abs_f_fac1	.proc
+		; -- FAC1 = abs(AY)
+		jsr  floats.MOVFM
+		jmp  floats.ABS
+		.pend
+
+func_atan_stack	.proc
+		jsr  func_atan_fac1
+		jmp  push_fac1
+		.pend
+
+func_atan_fac1	.proc
+		jsr  MOVFM
+		stx  P8ZP_SCRATCH_REG
+		jsr  ATN
+		ldx  P8ZP_SCRATCH_REG
+		rts
+		.pend
+
+func_ceil_stack	.proc
+		jsr  func_ceil_fac1
+		jmp  push_fac1
+		.pend
+
+func_ceil_fac1	.proc
+		; -- ceil: tr = int(f); if tr==f -> return  else return tr+1
+		jsr  MOVFM
+		stx  P8ZP_SCRATCH_REG
+		ldx  #<fmath_float1
+		ldy  #>fmath_float1
+		jsr  MOVMF
+		jsr  INT
+		lda  #<fmath_float1
+		ldy  #>fmath_float1
+		jsr  FCOMP
+		cmp  #0
+		beq  +
+		lda  #<FL_ONE_const
+		ldy  #>FL_ONE_const
+		jsr  FADD
++		ldx  P8ZP_SCRATCH_REG
+		rts
+		.pend
+
+func_floor_stack	.proc
+		jsr  func_floor_fac1
+		jmp  push_fac1
+		.pend
+
+func_floor_fac1	.proc
+		jsr  MOVFM
+		stx  P8ZP_SCRATCH_REG
+		jsr  INT
+		ldx  P8ZP_SCRATCH_REG
+		rts
+		.pend
+
+func_round_stack	.proc
+		jsr  func_round_fac1
+		jmp  push_fac1
+		.pend
+
+func_round_fac1	.proc
+		jsr  MOVFM
+		stx  P8ZP_SCRATCH_REG
+		jsr  FADDH
+		jsr  INT
+		ldx  P8ZP_SCRATCH_REG
+		rts
+		.pend
+
+func_sin_stack	.proc
+		jsr  func_sin_fac1
+		jmp  push_fac1
+		.pend
+
+func_sin_fac1	.proc
+		jsr  MOVFM
+		stx  P8ZP_SCRATCH_REG
+		jsr  SIN
+		ldx  P8ZP_SCRATCH_REG
+		rts
+		.pend
+
+func_cos_stack	.proc
+		jsr  func_cos_fac1
+		jmp  push_fac1
+		.pend
+
+func_cos_fac1	.proc
+		jsr  MOVFM
+		stx  P8ZP_SCRATCH_REG
+		jsr  COS
+		ldx  P8ZP_SCRATCH_REG
+		rts
+		.pend
+
+func_tan_stack	.proc
+		jsr  func_tan_fac1
+		jmp  push_fac1
+		.pend
+
+func_tan_fac1	.proc
+		jsr  MOVFM
+		stx  P8ZP_SCRATCH_REG
+		jsr  TAN
+		ldx  P8ZP_SCRATCH_REG
+		rts
+		.pend
+
+func_rad_stack	.proc
+		jsr  func_rad_fac1
+		jmp  push_fac1
+		.pend
+
+func_rad_fac1	.proc
+		; -- convert degrees to radians (d * pi / 180)
+		jsr  MOVFM
+		stx  P8ZP_SCRATCH_REG
+		lda  #<_pi_div_180
+		ldy  #>_pi_div_180
+		jsr  FMULT
+		ldx  P8ZP_SCRATCH_REG
+		rts
+_pi_div_180	.byte 123, 14, 250, 53, 18		; pi / 180
+		.pend
+
+func_deg_stack	.proc
+		jsr  func_deg_fac1
+		jmp  push_fac1
+		.pend
+
+func_deg_fac1	.proc
+		; -- convert radians to degrees (d * (1/ pi * 180))
+		jsr  MOVFM
+		stx  P8ZP_SCRATCH_REG
+		lda  #<_one_over_pi_div_180
+		ldy  #>_one_over_pi_div_180
+		jsr  FMULT
+		ldx  P8ZP_SCRATCH_REG
+		rts
+_one_over_pi_div_180	.byte 134, 101, 46, 224, 211		; 1 / (pi * 180)
+		.pend
+
+func_ln_stack	.proc
+		jsr  func_ln_fac1
+		jmp  push_fac1
+		.pend
+
+func_ln_fac1	.proc
+		jsr  MOVFM
+		stx  P8ZP_SCRATCH_REG
+		jsr  LOG
+		ldx  P8ZP_SCRATCH_REG
+		rts
+		.pend
+
+func_log2_stack	.proc
+		jsr  func_log2_fac1
+		jmp  push_fac1
+		.pend
+
+func_log2_fac1	.proc
+		jsr  MOVFM
+		stx  P8ZP_SCRATCH_REG
+		jsr  LOG
+		jsr  MOVEF
+		lda  #<FL_LOG2
+		ldy  #>FL_LOG2
+		jsr  MOVFM
+		jsr  FDIVT
+		ldx  P8ZP_SCRATCH_REG
+		rts
+		.pend
+
+func_sign_f_stack	.proc
+		jsr  func_sign_f_into_A
+		sta  P8ESTACK_LO,x
+		dex
+		rts
+		.pend
+
+func_sign_f_into_A	.proc
+		jsr  MOVFM
+		jmp  SIGN
+		.pend
+
+func_sqrt_stack	.proc
+		jsr  func_sqrt_fac1
+		jmp  push_fac1
+		.pend
+
+func_sqrt_fac1	.proc
+		jsr  MOVFM
+		stx  P8ZP_SCRATCH_REG
+		jsr  SQR
+		ldx  P8ZP_SCRATCH_REG
+		rts
+		.pend
+
+func_rndf_stack	.proc
+		jsr  func_rndf_fac1
+		jmp  push_fac1
+		.pend
+
+func_rndf_fac1	.proc
+		stx  P8ZP_SCRATCH_REG
+		lda  #1
+		jsr  FREADSA
+		jsr  RND		; rng into fac1
+		ldx  P8ZP_SCRATCH_REG
+		rts
+		.pend
+
+func_swap_f	.proc
+		; -- swap floats pointed to by SCRATCH_ZPWORD1, SCRATCH_ZPWORD2
+		ldy  #4
+-               lda  (P8ZP_SCRATCH_W1),y
+		pha
+		lda  (P8ZP_SCRATCH_W2),y
+		sta  (P8ZP_SCRATCH_W1),y
+		pla
+		sta  (P8ZP_SCRATCH_W2),y
+		dey
+		bpl  -
+		rts
+		.pend
+
+func_reverse_f	.proc
+		; --- reverse an array of floats (array in P8ZP_SCRATCH_W1, num elements in A)
+_left_index = P8ZP_SCRATCH_W2
+_right_index = P8ZP_SCRATCH_W2+1
+_loop_count = P8ZP_SCRATCH_REG
+		pha
+		jsr  a_times_5
+		sec
+		sbc  #5
+		sta  _right_index
+		lda  #0
+		sta  _left_index
+		pla
+		lsr  a
+		sta  _loop_count
+_loop		; push the left indexed float on the stack
+		ldy  _left_index
+		lda  (P8ZP_SCRATCH_W1),y
+		pha
+		iny
+		lda  (P8ZP_SCRATCH_W1),y
+		pha
+		iny
+		lda  (P8ZP_SCRATCH_W1),y
+		pha
+		iny
+		lda  (P8ZP_SCRATCH_W1),y
+		pha
+		iny
+		lda  (P8ZP_SCRATCH_W1),y
+		pha
+		; copy right index float to left index float
+		ldy  _right_index
+		lda  (P8ZP_SCRATCH_W1),y
+		ldy  _left_index
+		sta  (P8ZP_SCRATCH_W1),y
+		inc  _left_index
+		inc  _right_index
+		ldy  _right_index
+		lda  (P8ZP_SCRATCH_W1),y
+		ldy  _left_index
+		sta  (P8ZP_SCRATCH_W1),y
+		inc  _left_index
+		inc  _right_index
+		ldy  _right_index
+		lda  (P8ZP_SCRATCH_W1),y
+		ldy  _left_index
+		sta  (P8ZP_SCRATCH_W1),y
+		inc  _left_index
+		inc  _right_index
+		ldy  _right_index
+		lda  (P8ZP_SCRATCH_W1),y
+		ldy  _left_index
+		sta  (P8ZP_SCRATCH_W1),y
+		inc  _left_index
+		inc  _right_index
+		ldy  _right_index
+		lda  (P8ZP_SCRATCH_W1),y
+		ldy  _left_index
+		sta  (P8ZP_SCRATCH_W1),y
+		; pop the float off the stack into the right index float
+		ldy  _right_index
+		pla
+		sta  (P8ZP_SCRATCH_W1),y
+		dey
+		pla
+		sta  (P8ZP_SCRATCH_W1),y
+		dey
+		pla
+		sta  (P8ZP_SCRATCH_W1),y
+		dey
+		pla
+		sta  (P8ZP_SCRATCH_W1),y
+		dey
+		pla
+		sta  (P8ZP_SCRATCH_W1),y
+		inc  _left_index
+		lda  _right_index
+		sec
+		sbc  #9
+		sta  _right_index
+		dec  _loop_count
+		bne  _loop
+		rts
+
+		.pend
+
+
+
+a_times_5	.proc
+		sta  P8ZP_SCRATCH_B1
+		asl  a
+		asl  a
+		clc
+		adc  P8ZP_SCRATCH_B1
+		rts
+		.pend
+
+func_any_f_into_A	.proc
+		jsr  a_times_5
+		jmp  prog8_lib.func_any_b_into_A
+		.pend
+
+func_all_f_into_A	.proc
+		jsr  a_times_5
+		jmp  prog8_lib.func_all_b_into_A
+		.pend
+
+func_any_f_stack	.proc
+		jsr  a_times_5
+		jmp  prog8_lib.func_any_b_stack
+		.pend
+
+func_all_f_stack	.proc
+		jsr  a_times_5
+		jmp  prog8_lib.func_all_b_stack
+		.pend
+
+func_max_f_stack	.proc
+		jsr  func_max_f_fac1
+		jmp  push_fac1
+		.pend
+
+func_max_f_fac1	.proc
+		; -- max(array) -> fac1,  array in P8ZP_SCRATCH_W1, num elts in A
+_loop_count = P8ZP_SCRATCH_REG
+		stx  floats_store_reg
+		sta  _loop_count
+		lda  #255
+		sta  _minmax_cmp+1		; modifying
+		lda  #<_largest_neg_float
+		ldy  #>_largest_neg_float
+_minmax_entry	jsr  MOVFM
+-		lda  P8ZP_SCRATCH_W1
+		ldy  P8ZP_SCRATCH_W1+1
+		jsr  FCOMP
+_minmax_cmp	cmp  #255			; modified
+		bne  +
+		lda  P8ZP_SCRATCH_W1
+		ldy  P8ZP_SCRATCH_W1+1
+		jsr  MOVFM
++		lda  P8ZP_SCRATCH_W1
+		clc
+		adc  #5
+		sta  P8ZP_SCRATCH_W1
+		bcc  +
+		inc  P8ZP_SCRATCH_W1+1
++		dec  _loop_count
+		bne  -
+		ldx  floats_store_reg
+		rts
+_largest_neg_float	.byte 255,255,255,255,255		; largest negative float -1.7014118345e+38
+		.pend
+
+func_min_f_stack	.proc
+		jsr  func_min_f_fac1
+		jmp  push_fac1
+		.pend
+
+func_min_f_fac1	.proc
+		; -- min(array) -> fac1,  array in P8ZP_SCRATCH_W1, num elts in A
+		sta  func_max_f_fac1._loop_count
+		lda  #1
+		sta  func_max_f_fac1._minmax_cmp+1
+		lda  #<_largest_pos_float
+		ldy  #>_largest_pos_float
+		jmp  func_max_f_fac1._minmax_entry
+_largest_pos_float	.byte  255,127,255,255,255		; largest positive float
+		rts
+		.pend
+
+
+func_sum_f_stack	.proc
+		jsr  func_sum_f_fac1
+		jmp  push_fac1
+		.pend
+
+func_sum_f_fac1	.proc
+		; -- sum(array) -> fac1,  array in P8ZP_SCRATCH_W1, num elts in A
+_loop_count = P8ZP_SCRATCH_REG
+		stx  floats_store_reg
+		sta  _loop_count
+		lda  #<FL_ZERO_const
+		ldy  #>FL_ZERO_const
+		jsr  MOVFM
+-		lda  P8ZP_SCRATCH_W1
+		ldy  P8ZP_SCRATCH_W1+1
+		jsr  FADD
+		lda  P8ZP_SCRATCH_W1
+		clc
+		adc  #5
+		sta  P8ZP_SCRATCH_W1
+		bcc  +
+		inc  P8ZP_SCRATCH_W1+1
++		dec  _loop_count
+		bne  -
+		ldx  floats_store_reg
+		rts
+		.pend

compiler/res/prog8lib/cx16/floats.p8

@@ -149,5 +149,6 @@ sub  print_f  (float value) {
 }
 
 %asminclude "library:c64/floats.asm", ""
+%asminclude "library:c64/floats_funcs.asm", ""
 
 }

compiler/res/prog8lib/diskio.p8

@@ -151,8 +151,7 @@ io_error:
         filename[0] = 'r'
         filename[1] = ':'
         memcopy(newfileptr, &filename+2, flen_new)
-        ubyte fis_ix = flen_new+2       ; TODO is temp var for array indexing
-        filename[fis_ix] = '='
+        filename[flen_new+2] = '='
         memcopy(oldfileptr, &filename+3+flen_new, flen_old+1)
         c64.SETNAM(3+flen_new+flen_old, filename)
         c64.SETLFS(1, drivenumber, 15)

compiler/res/prog8lib/math.asm

@@ -1244,45 +1244,6 @@ mul_word_100	.proc
 ; ----------- end optimized multiplications -----------
 
 
-sign_b		.proc
-		lda  P8ESTACK_LO+1,x
-		beq  _sign_zero
-		bmi  _sign_neg
-_sign_pos	lda  #1
-		sta  P8ESTACK_LO+1,x
-		rts
-_sign_neg	lda  #-1
-_sign_zero	sta  P8ESTACK_LO+1,x
-		rts
-		.pend
-
-sign_ub		.proc
-		lda  P8ESTACK_LO+1,x
-		beq  sign_b._sign_zero
-		bne  sign_b._sign_pos
-		.pend
-
-sign_w		.proc
-		lda  P8ESTACK_HI+1,x
-		bmi  sign_b._sign_neg
-		beq  sign_ub
-		bne  sign_b._sign_pos
-		.pend
-
-sign_uw		.proc
-		lda  P8ESTACK_HI+1,x
-		beq  _sign_possibly_zero
-_sign_pos	lda  #1
-		sta  P8ESTACK_LO+1,x
-		rts
-_sign_possibly_zero	lda  P8ESTACK_LO+1,x
-		bne  _sign_pos
-		sta  P8ESTACK_LO+1,x
-		rts
-		.pend
-
-
-
 ; bit shifts.
 ; anything below 3 is done inline. anything above 7 is done via other optimizations.
 

compiler/res/prog8lib/prog8_lib.p8

@@ -6,4 +6,5 @@
 
 prog8_lib {
 	%asminclude "library:prog8_lib.asm", ""
+	%asminclude "library:prog8_funcs.asm", ""
 }

compiler/res/version.txt

@@ -1 +1 @@
-4.6
+5.0

compiler/src/prog8/ast/AstToSourceCode.kt

@@ -143,7 +143,6 @@ class AstToSourceCode(val output: (text: String) -> Unit, val program: Program):
             for(param in subroutine.parameters.zip(subroutine.asmParameterRegisters)) {
                 val reg =
                         when {
-                            param.second.stack -> "stack"
                             param.second.registerOrPair!=null -> param.second.registerOrPair.toString()
                             param.second.statusflag!=null -> param.second.statusflag.toString()
                             else -> "?????"

compiler/src/prog8/ast/AstToplevel.kt

@@ -57,19 +57,11 @@ interface IFunctionCall {
 }
 
 
-class AsmGenInfo {
-    var usedAutoArrayIndexerForStatements = mutableMapOf<String, MutableSet<Statement>>()
-    var usedRegsaveA = false
-    var usedRegsaveX = false
-    var usedRegsaveY = false
-}
-
 interface INameScope {
     val name: String
     val position: Position
     val statements: MutableList<Statement>
     val parent: Node
-    val asmGenInfo: AsmGenInfo
 
     fun linkParents(parent: Node)
 
@@ -288,7 +280,6 @@ class Module(override val name: String,
 
     override lateinit var parent: Node
     lateinit var program: Program
-    override val asmGenInfo = AsmGenInfo()
     val importedBy = mutableListOf<Module>()
     val imports = mutableSetOf<Module>()
 
@@ -322,7 +313,6 @@ class GlobalNamespace(val modules: List<Module>): Node, INameScope {
     override val position = Position("<<<global>>>", 0, 0, 0)
     override val statements = mutableListOf<Statement>()        // not used
     override var parent: Node = ParentSentinel
-    override val asmGenInfo = AsmGenInfo()
 
     override fun linkParents(parent: Node) {
         modules.forEach { it.linkParents(this) }
@@ -375,7 +365,6 @@ object BuiltinFunctionScopePlaceholder : INameScope {
     override val position = Position("<<placeholder>>", 0, 0, 0)
     override var statements = mutableListOf<Statement>()
     override var parent: Node = ParentSentinel
-    override val asmGenInfo = AsmGenInfo()
     override fun linkParents(parent: Node) {}
 }
 

compiler/src/prog8/ast/antlr/Antr2Kotlin.kt

@@ -254,8 +254,8 @@ private fun prog8Parser.Asmsub_declContext.toAst(): AsmsubDecl {
     val clobbers = asmsub_clobbers()?.clobber()?.toAst() ?: emptySet()
     val normalParameters = params.map { SubroutineParameter(it.name, it.type, it.position) }
     val normalReturntypes = returns.map { it.type }
-    val paramRegisters = params.map { RegisterOrStatusflag(it.registerOrPair, it.statusflag, false) }
-    val returnRegisters = returns.map { RegisterOrStatusflag(it.registerOrPair, it.statusflag, it.stack) }
+    val paramRegisters = params.map { RegisterOrStatusflag(it.registerOrPair, it.statusflag) }
+    val returnRegisters = returns.map { RegisterOrStatusflag(it.registerOrPair, it.statusflag) }
     return AsmsubDecl(name, normalParameters, normalReturntypes, paramRegisters, returnRegisters, clobbers)
 }
 
@@ -263,13 +263,11 @@ private class AsmSubroutineParameter(name: String,
                                      type: DataType,
                                      val registerOrPair: RegisterOrPair?,
                                      val statusflag: Statusflag?,
-                                     // TODO implement: val stack: Boolean,
                                      position: Position) : SubroutineParameter(name, type, position)
 
 private class AsmSubroutineReturn(val type: DataType,
                                   val registerOrPair: RegisterOrPair?,
                                   val statusflag: Statusflag?,
-                                  val stack: Boolean,
                                   val position: Position)
 
 private fun prog8Parser.Asmsub_returnsContext.toAst(): List<AsmSubroutineReturn>
@@ -288,7 +286,7 @@ private fun prog8Parser.Asmsub_returnsContext.toAst(): List<AsmSubroutineReturn>
                     it.datatype().toAst(),
                     registerorpair,
                     statusregister,
-                    !it.stack?.text.isNullOrEmpty(), toPosition())
+                    toPosition())
         }
 
 private fun prog8Parser.Asmsub_paramsContext.toAst(): List<AsmSubroutineParameter>
@@ -342,14 +340,11 @@ private fun prog8Parser.LabeldefContext.toAst(): Statement =
         Label(children[0].text, toPosition())
 
 private fun prog8Parser.SubroutineContext.toAst() : Subroutine {
+    // non-asm subroutine
+    val returntypes = sub_return_part()?.toAst() ?: emptyList()
     return Subroutine(identifier().text,
             sub_params()?.toAst() ?: emptyList(),
-            sub_return_part()?.toAst() ?: emptyList(),
-            emptyList(),
-            emptyList(),
-            emptySet(),
-            null,
-            false,
+            returntypes,
             statement_block()?.toAst() ?: mutableListOf(),
             toPosition())
 }

compiler/src/prog8/ast/base/Base.kt

@@ -30,13 +30,14 @@ enum class DataType {
                 UWORD -> targetType in setOf(UWORD, FLOAT)
                 WORD -> targetType in setOf(WORD, FLOAT)
                 FLOAT -> targetType == FLOAT
-                STR -> targetType == STR
-                in ArrayDatatypes -> targetType == this
+                STR -> targetType == STR || targetType == UWORD
+                in ArrayDatatypes -> targetType == this || targetType == UWORD
                 else -> false
             }
 
-
     infix fun isAssignableTo(targetTypes: Set<DataType>) = targetTypes.any { this isAssignableTo it }
+    infix fun isNotAssignableTo(targetType: DataType) = !this.isAssignableTo(targetType)
+    infix fun isNotAssignableTo(targetTypes: Set<DataType>) = !this.isAssignableTo(targetTypes)
 
     infix fun largerThan(other: DataType) =
             when {

compiler/src/prog8/ast/expressions/AstExpressions.kt

@@ -779,6 +779,9 @@ data class IdentifierReference(val nameInSource: List<String>, override val posi
         // if it's just a regular variable, return null.
         val struct = memberOfStruct(namespace) ?: return null
         val decl = targetVarDecl(namespace)!!
+        if(decl.datatype!=DataType.STRUCT)
+            return null
+
         val firstStructMember = struct.nameOfFirstMember()
         // find the flattened var that belongs to this first struct member
         val firstVarName = listOf(decl.name, firstStructMember)
@@ -821,7 +824,7 @@ class FunctionCall(override var target: IdentifierReference,
                 val exprfunc = func.constExpressionFunc
                 if(exprfunc!=null)
                     resultValue = exprfunc(args, position, program)
-                else if(func.returntype==null)
+                else if(func.known_returntype==null)
                     throw ExpressionError("builtin function ${target.nameInSource[0]} can't be used here because it doesn't return a value", position)
             }
 

compiler/src/prog8/ast/expressions/InferredTypes.kt

@@ -35,6 +35,13 @@ object InferredTypes {
         }
 
         override fun hashCode(): Int = Objects.hash(isVoid, datatype)
+
+        infix fun isAssignableTo(targetDt: InferredType): Boolean =
+                isKnown && targetDt.isKnown && (datatype!! isAssignableTo targetDt.datatype!!)
+        infix fun isAssignableTo(targetDt: DataType): Boolean =
+                isKnown && (datatype!! isAssignableTo targetDt)
+        infix fun isNotAssignableTo(targetDt: InferredType): Boolean = !this.isAssignableTo(targetDt)
+        infix fun isNotAssignableTo(targetDt: DataType): Boolean = !this.isAssignableTo(targetDt)
     }
 
     private val unknownInstance = InferredType.unknown()

compiler/src/prog8/ast/processing/AstChecker.kt

@@ -250,19 +250,19 @@ internal class AstChecker(private val program: Program,
                         err("parameter '${param.first.name}' should be ubyte")
                 }
             }
-            for(ret in subroutine.returntypes.withIndex().zip(subroutine.asmReturnvaluesRegisters)) {
-                if(ret.second.registerOrPair in setOf(RegisterOrPair.A, RegisterOrPair.X, RegisterOrPair.Y)) {
-                    if (ret.first.value != DataType.UBYTE && ret.first.value != DataType.BYTE)
-                        err("return value #${ret.first.index + 1} should be (u)byte")
+            subroutine.returntypes.zip(subroutine.asmReturnvaluesRegisters).forEachIndexed { index, pair ->
+                if(pair.second.registerOrPair in setOf(RegisterOrPair.A, RegisterOrPair.X, RegisterOrPair.Y)) {
+                    if (pair.first != DataType.UBYTE && pair.first != DataType.BYTE)
+                        err("return value #${index + 1} should be (u)byte")
                 }
-                else if(ret.second.registerOrPair in setOf(RegisterOrPair.AX, RegisterOrPair.AY, RegisterOrPair.XY)) {
-                    if (ret.first.value != DataType.UWORD && ret.first.value != DataType.WORD
-                            && ret.first.value != DataType.STR && ret.first.value !in ArrayDatatypes && ret.first.value != DataType.FLOAT)
-                        err("return value #${ret.first.index + 1} should be (u)word/address")
+                else if(pair.second.registerOrPair in setOf(RegisterOrPair.AX, RegisterOrPair.AY, RegisterOrPair.XY)) {
+                    if (pair.first != DataType.UWORD && pair.first != DataType.WORD
+                            && pair.first != DataType.STR && pair.first !in ArrayDatatypes && pair.first != DataType.FLOAT)
+                        err("return value #${index + 1} should be (u)word/address")
                 }
-                else if(ret.second.statusflag!=null) {
-                    if (ret.first.value != DataType.UBYTE)
-                        err("return value #${ret.first.index + 1} should be ubyte")
+                else if(pair.second.statusflag!=null) {
+                    if (pair.first != DataType.UBYTE)
+                        err("return value #${index + 1} should be ubyte")
                 }
             }
 
@@ -344,11 +344,11 @@ internal class AstChecker(private val program: Program,
         if(assignment.value is FunctionCall) {
             val stmt = (assignment.value as FunctionCall).target.targetStatement(program.namespace)
             if (stmt is Subroutine) {
-                val idt = assignment.target.inferType(program, assignment)
+                val idt = assignment.target.inferType(program)
                 if(!idt.isKnown) {
                      errors.err("return type mismatch", assignment.value.position)
                 }
-                if(stmt.returntypes.size <= 1 && stmt.returntypes.single()!=idt.typeOrElse(DataType.BYTE)) {
+                if(stmt.returntypes.size <= 1 && stmt.returntypes.single() isNotAssignableTo idt.typeOrElse(DataType.BYTE)) {
                     errors.err("return type mismatch", assignment.value.position)
                 }
             }
@@ -378,9 +378,9 @@ internal class AstChecker(private val program: Program,
             }
         }
 
-        val targetDt = assignment.target.inferType(program, assignment)
+        val targetDt = assignment.target.inferType(program)
         val valueDt = assignment.value.inferType(program)
-        if(valueDt.isKnown && valueDt != targetDt) {
+        if(valueDt.isKnown && !(valueDt isAssignableTo targetDt)) {
             if(targetDt.typeOrElse(DataType.STRUCT) in IterableDatatypes)
                 errors.err("cannot assign value to string or array", assignment.value.position)
             else
@@ -433,7 +433,7 @@ internal class AstChecker(private val program: Program,
 
         if (assignment is Assignment) {
 
-            val targetDatatype = assignTarget.inferType(program, assignment)
+            val targetDatatype = assignTarget.inferType(program)
             if (targetDatatype.isKnown) {
                 val constVal = assignment.value.constValue(program)
                 if (constVal != null) {
@@ -593,8 +593,8 @@ internal class AstChecker(private val program: Program,
         if(declValue!=null && decl.type==VarDeclType.VAR) {
             if(decl.datatype==DataType.STRUCT) {
                 val valueIdt = declValue.inferType(program)
-                if(valueIdt.isUnknown)
-                    throw AstException("invalid value type")
+                if(!valueIdt.isKnown)
+                    throw AstException("unknown dt")
                 val valueDt = valueIdt.typeOrElse(DataType.STRUCT)
                 if(valueDt !in ArrayDatatypes)
                     err("initialisation of struct should be with array value", declValue.position)
@@ -769,7 +769,11 @@ internal class AstChecker(private val program: Program,
     }
 
     override fun visit(expr: PrefixExpression) {
-        val dt = expr.inferType(program).typeOrElse(DataType.STRUCT)
+        val idt = expr.inferType(program)
+        if(!idt.isKnown)
+            return  // any error should be reported elsewhere
+
+        val dt = idt.typeOrElse(DataType.STRUCT)
         if(expr.operator=="-") {
             if (dt != DataType.BYTE && dt != DataType.WORD && dt != DataType.FLOAT) {
                 errors.err("can only take negative of a signed number type", expr.position)
@@ -984,8 +988,8 @@ internal class AstChecker(private val program: Program,
             if(target.regXasResult())
                 errors.warn("subroutine call return value in X register is discarded and replaced by 0", position)
             if(target.isAsmSubroutine) {
-                for (arg in args.withIndex().zip(target.parameters)) {
-                    val argIDt = arg.first.value.inferType(program)
+                for (arg in args.zip(target.parameters)) {
+                    val argIDt = arg.first.inferType(program)
                     if (!argIDt.isKnown)
                         return
                 }
@@ -1218,7 +1222,7 @@ internal class AstChecker(private val program: Program,
                     for(elt in value.value.zip(struct.statements)) {
                         val vardecl = elt.second as VarDecl
                         val valuetype = elt.first.inferType(program)
-                        if (!valuetype.isKnown || !(valuetype.typeOrElse(DataType.STRUCT) isAssignableTo vardecl.datatype)) {
+                        if (!valuetype.isKnown || valuetype isNotAssignableTo vardecl.datatype) {
                             errors.err("invalid struct member init value type $valuetype, expected ${vardecl.datatype}", elt.first.position)
                             return false
                         }
@@ -1350,9 +1354,7 @@ internal class AstChecker(private val program: Program,
         else if(sourceDatatype== DataType.FLOAT && targetDatatype in IntegerDatatypes)
             errors.err("cannot assign float to ${targetDatatype.name.toLowerCase()}; possible loss of precision. Suggestion: round the value or revert to integer arithmetic", position)
         else {
-            if(targetDatatype==DataType.UWORD && sourceDatatype in PassByReferenceDatatypes)
-                errors.err("cannot assign ${sourceDatatype.name.toLowerCase()} to ${targetDatatype.name.toLowerCase()}, perhaps forgot '&' ?", position)
-            else
+            if(targetDatatype!=DataType.UWORD && sourceDatatype !in PassByReferenceDatatypes)
                 errors.err("cannot assign ${sourceDatatype.name.toLowerCase()} to ${targetDatatype.name.toLowerCase()}", position)
         }
 

compiler/src/prog8/ast/processing/StatementReorderer.kt

@@ -168,7 +168,7 @@ internal class StatementReorderer(val program: Program, val errors: ErrorReporte
 
     override fun before(assignment: Assignment, parent: Node): Iterable<IAstModification> {
         val valueType = assignment.value.inferType(program)
-        val targetType = assignment.target.inferType(program, assignment)
+        val targetType = assignment.target.inferType(program)
         var assignments = emptyList<Assignment>()
 
         if(targetType.istype(DataType.STRUCT) && (valueType.istype(DataType.STRUCT) || valueType.typeOrElse(DataType.STRUCT) in ArrayDatatypes )) {
@@ -279,7 +279,7 @@ internal class StatementReorderer(val program: Program, val errors: ErrorReporte
         }
 
         // TODO use a pointer loop instead of individual assignments
-        return alv.value.withIndex().map { (index, value)->
+        return alv.value.mapIndexed { index, value ->
             val idx = ArrayIndexedExpression(identifier, ArrayIndex(NumericLiteralValue(DataType.UBYTE, index, position), position), position)
             Assignment(AssignTarget(null, idx, null, position), value, value.position)
         }

compiler/src/prog8/ast/processing/TypecastsAdder.kt

@@ -60,12 +60,15 @@ class TypecastsAdder(val program: Program, val errors: ErrorReporter) : AstWalke
     override fun after(assignment: Assignment, parent: Node): Iterable<IAstModification> {
         // see if a typecast is needed to convert the value's type into the proper target type
         val valueItype = assignment.value.inferType(program)
-        val targetItype = assignment.target.inferType(program, assignment)
+        val targetItype = assignment.target.inferType(program)
         if(targetItype.isKnown && valueItype.isKnown) {
             val targettype = targetItype.typeOrElse(DataType.STRUCT)
             val valuetype = valueItype.typeOrElse(DataType.STRUCT)
             if (valuetype != targettype) {
                 if (valuetype isAssignableTo targettype) {
+                    if(valuetype in IterableDatatypes && targettype==DataType.UWORD)
+                        // special case, don't typecast STR/arrays to UWORD, we support those assignments "directly"
+                        return noModifications
                     return listOf(IAstModification.ReplaceNode(
                             assignment.value,
                             TypecastExpression(assignment.value, targettype, true, assignment.value.position),
@@ -116,30 +119,30 @@ class TypecastsAdder(val program: Program, val errors: ErrorReporter) : AstWalke
 
         when(val sub = call.target.targetStatement(scope)) {
             is Subroutine -> {
-                for(arg in sub.parameters.zip(call.args.withIndex())) {
-                    val argItype = arg.second.value.inferType(program)
+                sub.parameters.zip(call.args).forEachIndexed { index, pair ->
+                    val argItype = pair.second.inferType(program)
                     if(argItype.isKnown) {
                         val argtype = argItype.typeOrElse(DataType.STRUCT)
-                        val requiredType = arg.first.type
+                        val requiredType = pair.first.type
                         if (requiredType != argtype) {
                             if (argtype isAssignableTo requiredType) {
                                 modifications += IAstModification.ReplaceNode(
-                                        call.args[arg.second.index],
-                                        TypecastExpression(arg.second.value, requiredType, true, arg.second.value.position),
+                                        call.args[index],
+                                        TypecastExpression(pair.second, requiredType, true, pair.second.position),
                                         call as Node)
                             } else if(requiredType == DataType.UWORD && argtype in PassByReferenceDatatypes) {
                                 // we allow STR/ARRAY values in place of UWORD parameters. Take their address instead.
-                                if(arg.second.value is IdentifierReference) {
+                                if(pair.second is IdentifierReference) {
                                     modifications += IAstModification.ReplaceNode(
-                                            call.args[arg.second.index],
-                                            AddressOf(arg.second.value as IdentifierReference, arg.second.value.position),
+                                            call.args[index],
+                                            AddressOf(pair.second as IdentifierReference, pair.second.position),
                                             call as Node)
                                 }
-                            } else if(arg.second.value is NumericLiteralValue) {
-                                val cast = (arg.second.value as NumericLiteralValue).cast(requiredType)
+                            } else if(pair.second is NumericLiteralValue) {
+                                val cast = (pair.second as NumericLiteralValue).cast(requiredType)
                                 if(cast.isValid)
                                     modifications += IAstModification.ReplaceNode(
-                                            call.args[arg.second.index],
+                                            call.args[index],
                                             cast.valueOrZero(),
                                             call as Node)
                             }
@@ -149,19 +152,19 @@ class TypecastsAdder(val program: Program, val errors: ErrorReporter) : AstWalke
             }
             is BuiltinFunctionStatementPlaceholder -> {
                 val func = BuiltinFunctions.getValue(sub.name)
-                for (arg in func.parameters.zip(call.args.withIndex())) {
-                    val argItype = arg.second.value.inferType(program)
+                func.parameters.zip(call.args).forEachIndexed { index, pair ->
+                    val argItype = pair.second.inferType(program)
                     if (argItype.isKnown) {
                         val argtype = argItype.typeOrElse(DataType.STRUCT)
-                        if (arg.first.possibleDatatypes.any { argtype == it })
-                            continue
-                        for (possibleType in arg.first.possibleDatatypes) {
-                            if (argtype isAssignableTo possibleType) {
-                                modifications += IAstModification.ReplaceNode(
-                                        call.args[arg.second.index],
-                                        TypecastExpression(arg.second.value, possibleType, true, arg.second.value.position),
-                                        call as Node)
-                                break
+                        if (pair.first.possibleDatatypes.all { argtype != it }) {
+                            for (possibleType in pair.first.possibleDatatypes) {
+                                if (argtype isAssignableTo possibleType) {
+                                    modifications += IAstModification.ReplaceNode(
+                                            call.args[index],
+                                            TypecastExpression(pair.second, possibleType, true, pair.second.position),
+                                            call as Node)
+                                    break
+                                }
                             }
                         }
                     }

compiler/src/prog8/ast/processing/VerifyFunctionArgTypes.kt

@@ -4,6 +4,7 @@ import prog8.ast.IFunctionCall
 import prog8.ast.INameScope
 import prog8.ast.Program
 import prog8.ast.base.DataType
+import prog8.ast.base.FatalAstException
 import prog8.ast.expressions.Expression
 import prog8.ast.expressions.FunctionCall
 import prog8.ast.statements.*
@@ -39,7 +40,10 @@ class VerifyFunctionArgTypes(val program: Program) : IAstVisitor {
         }
 
         fun checkTypes(call: IFunctionCall, scope: INameScope, program: Program): String? {
-            val argtypes = call.args.map { it.inferType(program).typeOrElse(DataType.STRUCT) }
+            val argITypes = call.args.map { it.inferType(program) }
+            if(argITypes.any { !it.isKnown })
+                throw FatalAstException("unknown dt")
+            val argtypes = argITypes.map { it.typeOrElse(DataType.STRUCT) }
             val target = call.target.targetStatement(scope)
             if (target is Subroutine) {
                 if(call.args.size != target.parameters.size)
@@ -67,12 +71,12 @@ class VerifyFunctionArgTypes(val program: Program) : IAstVisitor {
                 if(call.args.size != func.parameters.size)
                     return "invalid number of arguments"
                 val paramtypes = func.parameters.map { it.possibleDatatypes }
-                for (x in argtypes.zip(paramtypes).withIndex()) {
-                    val anyCompatible = x.value.second.any { argTypeCompatible(x.value.first, it) }
+                argtypes.zip(paramtypes).forEachIndexed { index, pair ->
+                    val anyCompatible = pair.second.any { argTypeCompatible(pair.first, it) }
                     if (!anyCompatible) {
-                        val actual = x.value.first.toString()
-                        val expected = x.value.second.toString()
-                        return "argument ${x.index + 1} type mismatch, was: $actual expected: $expected"
+                        val actual = pair.first.toString()
+                        val expected = pair.second.toString()
+                        return "argument ${index + 1} type mismatch, was: $actual expected: $expected"
                     }
                 }
             }

compiler/src/prog8/ast/statements/AstStatements.kt

@@ -44,7 +44,7 @@ class BuiltinFunctionStatementPlaceholder(val name: String, override val positio
     }
 }
 
-data class RegisterOrStatusflag(val registerOrPair: RegisterOrPair?, val statusflag: Statusflag?, val stack: Boolean)
+data class RegisterOrStatusflag(val registerOrPair: RegisterOrPair?, val statusflag: Statusflag?)
 
 class Block(override val name: String,
             val address: Int?,
@@ -52,7 +52,6 @@ class Block(override val name: String,
             val isInLibrary: Boolean,
             override val position: Position) : Statement(), INameScope {
     override lateinit var parent: Node
-    override val asmGenInfo = AsmGenInfo()
 
     override fun linkParents(parent: Node) {
         this.parent = parent
@@ -187,7 +186,12 @@ open class VarDecl(val type: VarDeclType,
 
         fun createAuto(array: ArrayLiteralValue): VarDecl {
             val autoVarName = "auto_heap_value_${++autoHeapValueSequenceNumber}"
-            val declaredType = ArrayElementTypes.getValue(array.type.typeOrElse(DataType.STRUCT))
+            val arrayDt =
+                if(!array.type.isKnown)
+                    throw FatalAstException("unknown dt")
+                else
+                    array.type.typeOrElse(DataType.STRUCT)
+            val declaredType = ArrayElementTypes.getValue(arrayDt)
             val arraysize = ArrayIndex.forArray(array)
             return VarDecl(VarDeclType.VAR, declaredType, ZeropageWish.NOT_IN_ZEROPAGE, arraysize, autoVarName, null, array,
                     isArray = true, autogeneratedDontRemove = true, position = array.position)
@@ -252,9 +256,9 @@ open class VarDecl(val type: VarDeclType,
     }
 
     fun flattenStructMembers(): MutableList<Statement> {
-        val result = struct!!.statements.withIndex().map {
-            val member = it.value as VarDecl
-            val initvalue = if(value!=null) (value as ArrayLiteralValue).value[it.index] else null
+        val result = struct!!.statements.mapIndexed { index, statement ->
+            val member = statement as VarDecl
+            val initvalue = if(value!=null) (value as ArrayLiteralValue).value[index] else null
             VarDecl(
                     VarDeclType.VAR,
                     member.datatype,
@@ -444,9 +448,9 @@ data class AssignTarget(var identifier: IdentifierReference?,
     fun accept(visitor: IAstVisitor) = visitor.visit(this)
     fun accept(visitor: AstWalker, parent: Node) = visitor.visit(this, parent)
 
-    fun inferType(program: Program, stmt: Statement): InferredTypes.InferredType {  // TODO why does this have the extra 'stmt' scope parameter???
+    fun inferType(program: Program): InferredTypes.InferredType {
         if (identifier != null) {
-            val symbol = program.namespace.lookup(identifier!!.nameInSource, stmt) ?: return InferredTypes.unknown()
+            val symbol = program.namespace.lookup(identifier!!.nameInSource, this) ?: return InferredTypes.unknown()
             if (symbol is VarDecl) return InferredTypes.knownFor(symbol.datatype)
         }
 
@@ -637,7 +641,6 @@ class AnonymousScope(override var statements: MutableList<Statement>,
                      override val position: Position) : INameScope, Statement() {
     override val name: String
     override lateinit var parent: Node
-    override val asmGenInfo = AsmGenInfo()
 
     companion object {
         private var sequenceNumber = 1
@@ -676,6 +679,18 @@ class NopStatement(override val position: Position): Statement() {
     override fun accept(visitor: AstWalker, parent: Node) = visitor.visit(this, parent)
 }
 
+class AsmGenInfo {
+    // This class contains various attributes that influence the assembly code generator.
+    // Conceptually it should be part of any INameScope.
+    // But because the resulting code only creates "real" scopes on a subroutine level,
+    // it's more consistent to only define these attributes on a Subroutine node.
+    var usedAutoArrayIndexerForStatements = mutableMapOf<String, MutableSet<Statement>>()
+    var usedRegsaveA = false
+    var usedRegsaveX = false
+    var usedRegsaveY = false
+    var usedFloatEvalResultVar = false
+}
+
 // the subroutine class covers both the normal user-defined subroutines,
 // and also the predefined/ROM/register-based subroutines.
 // (multiple return types can only occur for the latter type)
@@ -690,8 +705,24 @@ class Subroutine(override val name: String,
                  override var statements: MutableList<Statement>,
                  override val position: Position) : Statement(), INameScope {
 
+    constructor(name: String, parameters: List<SubroutineParameter>, returntypes: List<DataType>, statements: MutableList<Statement>, position: Position)
+            : this(name, parameters, returntypes, emptyList(), determineReturnRegisters(returntypes), emptySet(), null, false, statements, position)
+
+    companion object {
+        private fun determineReturnRegisters(returntypes: List<DataType>): List<RegisterOrStatusflag> {
+            // for non-asm subroutines, determine the return registers based on the type of the return value
+            return when(returntypes.singleOrNull()) {
+                in ByteDatatypes -> listOf(RegisterOrStatusflag(RegisterOrPair.A, null))
+                in WordDatatypes -> listOf(RegisterOrStatusflag(RegisterOrPair.AY, null))
+                DataType.FLOAT -> listOf(RegisterOrStatusflag(RegisterOrPair.AY, null))
+                null -> emptyList()
+                else -> listOf(RegisterOrStatusflag(RegisterOrPair.AY, null))
+            }
+        }
+    }
+
     override lateinit var parent: Node
-    override val asmGenInfo = AsmGenInfo()
+    val asmGenInfo = AsmGenInfo()
     val scopedname: String by lazy { makeScopedName(name) }
 
     override fun linkParents(parent: Node) {
@@ -975,7 +1006,6 @@ class StructDecl(override val name: String,
                  override val position: Position): Statement(), INameScope {
 
     override lateinit var parent: Node
-    override val asmGenInfo = AsmGenInfo()
 
     override fun linkParents(parent: Node) {
         this.parent = parent

compiler/src/prog8/compiler/BeforeAsmGenerationAstChanger.kt

@@ -15,7 +15,7 @@ internal class BeforeAsmGenerationAstChanger(val program: Program, val errors: E
     private val noModifications = emptyList<IAstModification>()
 
     override fun after(decl: VarDecl, parent: Node): Iterable<IAstModification> {
-        subroutineVariables.add(Pair(decl.name, decl))
+        subroutineVariables.add(decl.name to decl)
         if (decl.value == null && !decl.autogeneratedDontRemove && decl.type == VarDeclType.VAR && decl.datatype in NumericDatatypes) {
             // a numeric vardecl without an initial value is initialized with zero,
             // unless there's already an assignment below, that initializes the value
@@ -74,7 +74,7 @@ internal class BeforeAsmGenerationAstChanger(val program: Program, val errors: E
 
     override fun after(scope: AnonymousScope, parent: Node): Iterable<IAstModification> {
         val decls = scope.statements.filterIsInstance<VarDecl>()
-        subroutineVariables.addAll(decls.map { Pair(it.name, it) })
+        subroutineVariables.addAll(decls.map { it.name to it })
 
         val sub = scope.definingSubroutine()
         if (sub != null) {

compiler/src/prog8/compiler/Zeropage.kt

@@ -64,7 +64,7 @@ abstract class Zeropage(protected val options: CompilationOptions) {
 
     private fun makeAllocation(address: Int, size: Int, datatype: DataType, name: String?): Int {
         free.removeAll(address until address+size)
-        allocations[address] = Pair(name ?: "<unnamed>", datatype)
+        allocations[address] = (name ?: "<unnamed>") to datatype
         return address
     }
 

compiler/src/prog8/compiler/target/c64/C64MachineDefinition.kt

@@ -110,7 +110,7 @@ internal object C64MachineDefinition: IMachineDefinition {
     internal class C64Zeropage(options: CompilationOptions) : Zeropage(options) {
 
         override val SCRATCH_B1 = 0x02      // temp storage for a single byte
-        override val SCRATCH_REG = 0x03     // temp storage for a register
+        override val SCRATCH_REG = 0x03     // temp storage for a register, must be B1+1
         override val SCRATCH_W1 = 0xfb      // temp storage 1 for a word  $fb+$fc
         override val SCRATCH_W2 = 0xfd      // temp storage 2 for a word  $fb+$fc
 

compiler/src/prog8/compiler/target/c64/codegen/AsmGen.kt

@@ -22,6 +22,7 @@ import prog8.compiler.target.c64.codegen.assignment.TargetStorageKind
 import prog8.compiler.target.generatedLabelPrefix
 import prog8.functions.BuiltinFunctions
 import prog8.functions.FSignature
+import java.io.CharConversionException
 import java.nio.file.Path
 import java.time.LocalDate
 import java.time.LocalDateTime
@@ -231,8 +232,12 @@ internal class AsmGen(private val program: Program,
     }
 
     private fun encode(str: String, altEncoding: Boolean): List<Short> {
-         val bytes = if(altEncoding) Petscii.encodeScreencode(str, true) else Petscii.encodePetscii(str, true)
-         return bytes.plus(0)
+        try {
+            val bytes = if (altEncoding) Petscii.encodeScreencode(str, true) else Petscii.encodePetscii(str, true)
+            return bytes.plus(0)
+        } catch(x: CharConversionException) {
+            throw AssemblyError("There was a problem converting a string to the target machine's char encoding: ${x.message}")
+        }
     }
 
     private fun zeropagevars2asm(statements: List<Statement>) {
@@ -253,7 +258,7 @@ internal class AsmGen(private val program: Program,
                         errors.handle()
                         out("${variable.name} = $address\t; auto zp ${variable.datatype}")
                         // make sure we add the var to the set of zpvars for this block
-                        allocatedZeropageVariables[fullName] = Pair(address, variable.datatype)
+                        allocatedZeropageVariables[fullName] = address to variable.datatype
                     } catch (x: ZeropageDepletedError) {
                         // leave it as it is.
                     }
@@ -550,23 +555,20 @@ internal class AsmGen(private val program: Program,
 
     private  fun fixNameSymbols(name: String) = name.replace("<", "prog8_").replace(">", "")     // take care of the autogenerated invalid (anon) label names
 
-    internal fun saveRegister(register: CpuRegister, dontUseStack: Boolean, scope: Subroutine?) {
+    internal fun saveRegister(register: CpuRegister, dontUseStack: Boolean, scope: Subroutine) {
         if(dontUseStack) {
             when (register) {
                 CpuRegister.A -> {
                     out("  sta  _prog8_regsaveA")
-                    if (scope != null)
-                        scope.asmGenInfo.usedRegsaveA = true
+                    scope.asmGenInfo.usedRegsaveA = true
                 }
                 CpuRegister.X -> {
                     out("  stx  _prog8_regsaveX")
-                    if (scope != null)
-                        scope.asmGenInfo.usedRegsaveX = true
+                    scope.asmGenInfo.usedRegsaveX = true
                 }
                 CpuRegister.Y -> {
                     out("  sty  _prog8_regsaveY")
-                    if (scope != null)
-                        scope.asmGenInfo.usedRegsaveY = true
+                    scope.asmGenInfo.usedRegsaveY = true
                 }
             }
 
@@ -577,16 +579,14 @@ internal class AsmGen(private val program: Program,
                     if (CompilationTarget.instance.machine.cpu == CpuType.CPU65c02) out("  phx")
                     else {
                         out("  stx  _prog8_regsaveX")
-                        if (scope != null)
-                            scope.asmGenInfo.usedRegsaveX = true
+                        scope.asmGenInfo.usedRegsaveX = true
                     }
                 }
                 CpuRegister.Y -> {
                     if (CompilationTarget.instance.machine.cpu == CpuType.CPU65c02) out("  phy")
                     else {
                         out("  sty  _prog8_regsaveY")
-                        if (scope != null)
-                            scope.asmGenInfo.usedRegsaveY = true
+                        scope.asmGenInfo.usedRegsaveY = true
                     }
                 }
             }
@@ -633,19 +633,7 @@ internal class AsmGen(private val program: Program,
                 if (builtinFunc != null) {
                     builtinFunctionsAsmGen.translateFunctioncallStatement(stmt, builtinFunc)
                 } else {
-                    val sub = stmt.target.targetSubroutine(program.namespace)!!
-                    val preserveStatusRegisterAfterCall = sub.asmReturnvaluesRegisters.any {it.statusflag!=null}
-                    functioncallAsmGen.translateFunctionCall(stmt, preserveStatusRegisterAfterCall)
-                    // discard any results from the stack:
-                    val returns = sub.returntypes.zip(sub.asmReturnvaluesRegisters)
-                    for ((t, reg) in returns) {
-                        if (reg.stack) {
-                            if (t in IntegerDatatypes || t in PassByReferenceDatatypes) out("  inx")
-                            else if (t == DataType.FLOAT) out("  inx |  inx |  inx")
-                        }
-                    }
-                    if(preserveStatusRegisterAfterCall)
-                        out("  plp\t; restore status flags from call")
+                    functioncallAsmGen.translateFunctionCallStatement(stmt)
                 }
             }
             is Assignment -> assignmentAsmGen.translate(stmt)
@@ -755,8 +743,8 @@ internal class AsmGen(private val program: Program,
     internal fun translateExpression(indexer: ArrayIndex) =
             expressionsAsmGen.translateExpression(indexer)
 
-    internal fun translateFunctioncallExpression(functionCall: FunctionCall, signature: FSignature) =
-            builtinFunctionsAsmGen.translateFunctioncallExpression(functionCall, signature)
+    internal fun translateBuiltinFunctionCallExpression(functionCall: FunctionCall, signature: FSignature, resultToStack: Boolean) =
+            builtinFunctionsAsmGen.translateFunctioncallExpression(functionCall, signature, resultToStack)
 
     internal fun translateFunctionCall(functionCall: FunctionCall, preserveStatusRegisterAfterCall: Boolean) =
             functioncallAsmGen.translateFunctionCall(functionCall, preserveStatusRegisterAfterCall)
@@ -808,6 +796,8 @@ internal class AsmGen(private val program: Program,
                 out("_prog8_regsaveX     .byte  0")
             if(sub.asmGenInfo.usedRegsaveY)
                 out("_prog8_regsaveY     .byte  0")
+            if(sub.asmGenInfo.usedFloatEvalResultVar)
+                out("_prog8_float_eval_result    .byte 0,0,0,0,0")
             vardecls2asm(sub.statements)
             out("  .pend\n")
         }
@@ -912,9 +902,11 @@ internal class AsmGen(private val program: Program,
                 }
             }
             else -> {
-                translateExpression(stmt.iterations!!)
-                val dt = stmt.iterations!!.inferType(program).typeOrElse(DataType.STRUCT)
-                when (dt) {
+                translateExpression(stmt.iterations!!)      // todo directly into AY?
+                val dt = stmt.iterations!!.inferType(program)
+                if(!dt.isKnown)
+                    throw AssemblyError("unknown dt")
+                when (dt.typeOrElse(DataType.STRUCT)) {
                     in ByteDatatypes -> {
                         out("  inx |  lda  P8ESTACK_LO,x")
                         repeatByteCountInA(null, repeatLabel, endLabel, stmt.body)
@@ -1016,7 +1008,7 @@ $counterVar    .byte  0""")
     }
 
     private fun translate(stmt: WhenStatement) {
-        expressionsAsmGen.translateExpression(stmt.condition)
+        expressionsAsmGen.translateExpression(stmt.condition)       // TODO directly into AY?
         val endLabel = makeLabel("choice_end")
         val choiceBlocks = mutableListOf<Pair<String, AnonymousScope>>()
         val conditionDt = stmt.condition.inferType(program)
@@ -1033,7 +1025,7 @@ $counterVar    .byte  0""")
                 translate(choice.statements)
                 out("  jmp  $endLabel")
             } else {
-                choiceBlocks.add(Pair(choiceLabel, choice.statements))
+                choiceBlocks.add(choiceLabel to choice.statements)
                 for (cv in choice.values!!) {
                     val value = (cv as NumericLiteralValue).number.toInt()
                     if(conditionDt.typeOrElse(DataType.BYTE) in ByteDatatypes) {
@@ -1165,7 +1157,44 @@ $counterVar    .byte  0""")
     }
 
     private fun translate(ret: Return) {
-        ret.value?.let { expressionsAsmGen.translateExpression(it) }
+        ret.value?.let { returnvalue ->
+            val sub = ret.definingSubroutine()!!
+            val returnType = sub.returntypes.single()
+            val returnReg = sub.asmReturnvaluesRegisters.single()
+            val returnValueTarget =
+                    when {
+                        returnReg.registerOrPair!=null -> AsmAssignTarget.fromRegisters(returnReg.registerOrPair, sub, program, this)
+                        else -> throw AssemblyError("normal subroutines can't return value in status register directly")
+                    }
+
+            when (returnType) {
+                in IntegerDatatypes -> {
+                    val src = AsmAssignSource.fromAstSource(returnvalue, program, this)
+                    assignmentAsmGen.translateNormalAssignment(AsmAssignment(src, returnValueTarget, false, ret.position))
+                }
+                DataType.FLOAT -> {
+                    // return the float value via FAC1
+                    when (returnvalue) {
+                        is NumericLiteralValue -> throw AssemblyError("float literal should have been changed to auto var")
+                        is IdentifierReference -> {
+                            val asmVar = asmVariableName(returnvalue)
+                            out("  lda  #<${asmVar} |  ldy  #>${asmVar} |  jsr  floats.MOVFM")
+                        }
+                        else -> {
+                            // todo evaluate directly into fac1 instead of via stack intermediate
+                            translateExpression(returnvalue)
+                            out("  jsr  floats.pop_float_fac1")
+                        }
+                    }
+                }
+                else -> {
+                    // all else take its address and assign that also to AY register pair
+                    val addrofValue = AddressOf(returnvalue as IdentifierReference, returnvalue.position)
+                    val src = AsmAssignSource.fromAstSource(addrofValue, program, this)
+                    assignmentAsmGen.translateNormalAssignment(AsmAssignment(src, returnValueTarget, false, ret.position))
+                }
+            }
+        }
         out("  rts")
     }
 

compiler/src/prog8/compiler/target/c64/codegen/BuiltinFunctionsAsmGen.kt

@@ -1,12 +1,17 @@
 package prog8.compiler.target.c64.codegen
 
 import prog8.ast.IFunctionCall
+import prog8.ast.Node
 import prog8.ast.Program
 import prog8.ast.base.*
 import prog8.ast.expressions.*
+import prog8.ast.statements.ArrayIndex
 import prog8.ast.statements.DirectMemoryWrite
 import prog8.ast.statements.FunctionCallStatement
+import prog8.ast.statements.Subroutine
 import prog8.compiler.AssemblyError
+import prog8.compiler.target.CompilationTarget
+import prog8.compiler.target.Cx16Target
 import prog8.compiler.target.c64.codegen.assignment.AsmAssignSource
 import prog8.compiler.target.c64.codegen.assignment.AsmAssignTarget
 import prog8.compiler.target.c64.codegen.assignment.AsmAssignment
@@ -17,37 +22,40 @@ import prog8.functions.FSignature
 
 internal class BuiltinFunctionsAsmGen(private val program: Program, private val asmgen: AsmGen) {
 
-    internal fun translateFunctioncallExpression(fcall: FunctionCall, func: FSignature) {
-        translateFunctioncall(fcall, func, false)
+    internal fun translateFunctioncallExpression(fcall: FunctionCall, func: FSignature, resultToStack: Boolean) {
+        translateFunctioncall(fcall, func, discardResult = false, resultToStack = resultToStack)
     }
 
     internal fun translateFunctioncallStatement(fcall: FunctionCallStatement, func: FSignature) {
-        translateFunctioncall(fcall, func, true)
+        translateFunctioncall(fcall, func, discardResult = true, resultToStack = false)
     }
 
-    private fun translateFunctioncall(fcall: IFunctionCall, func: FSignature, discardResult: Boolean) {
-        val functionName = fcall.target.nameInSource.last()
-        if (discardResult) {
-            if (func.pure)
-                return  // can just ignore the whole function call altogether
-            else if (func.returntype != null)
-                throw AssemblyError("discarding result of non-pure function $fcall")
-        }
+    private fun translateFunctioncall(fcall: IFunctionCall, func: FSignature, discardResult: Boolean, resultToStack: Boolean) {
+        if (discardResult && func.pure)
+            return  // can just ignore the whole function call altogether
 
-        when (functionName) {
-            "msb" -> funcMsb(fcall)
-            "lsb" -> funcLsb(fcall)
-            "mkword" -> funcMkword(fcall, func)
-            "abs" -> funcAbs(fcall, func)
+        if(discardResult && resultToStack)
+            throw AssemblyError("cannot both discard the result AND put it onto stack")
+
+        val scope = (fcall as Node).definingSubroutine()!!
+        when (func.name) {
+            "msb" -> funcMsb(fcall, resultToStack)
+            "lsb" -> funcLsb(fcall, resultToStack)
+            "mkword" -> funcMkword(fcall, resultToStack)
+            "abs" -> funcAbs(fcall, func, resultToStack, scope)
             "swap" -> funcSwap(fcall)
-            "strlen" -> funcStrlen(fcall)
-            "min", "max", "sum" -> funcMinMaxSum(fcall, functionName)
-            "any", "all" -> funcAnyAll(fcall, functionName)
-            "sgn" -> funcSgn(fcall, func)
+            "min", "max" -> funcMinMax(fcall, func, resultToStack)
+            "sum" -> funcSum(fcall, resultToStack)
+            "any", "all" -> funcAnyAll(fcall, func, resultToStack)
+            "sin8", "sin8u", "sin16", "sin16u",
+            "cos8", "cos8u", "cos16", "cos16u" -> funcSinCosInt(fcall, func, resultToStack, scope)
+            "sgn" -> funcSgn(fcall, func, resultToStack, scope)
             "sin", "cos", "tan", "atan",
             "ln", "log2", "sqrt", "rad",
             "deg", "round", "floor", "ceil",
-            "rdnf" -> funcVariousFloatFuncs(fcall, func, functionName)
+            "rndf" -> funcVariousFloatFuncs(fcall, func, resultToStack, scope)
+            "rnd", "rndw" -> funcRnd(func, resultToStack)
+            "sqrt16" -> funcSqrt16(fcall, func, resultToStack, scope)
             "rol" -> funcRol(fcall)
             "rol2" -> funcRol2(fcall)
             "ror" -> funcRor(fcall)
@@ -63,17 +71,128 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
                 // restore all registers and cpu status flag
                 asmgen.out(" pla |  tay |  pla |  tax |  pla |  plp")
             }
+            "read_flags" -> {
+                if(resultToStack)
+                    asmgen.out("  jsr  prog8_lib.func_read_flags_stack")
+                else
+                    asmgen.out("  php |  pla")
+            }
             "clear_carry" -> asmgen.out("  clc")
             "set_carry" -> asmgen.out("  sec")
             "clear_irqd" -> asmgen.out("  cli")
             "set_irqd" -> asmgen.out("  sei")
-            else -> {
-                translateFunctionArguments(fcall.args, func)
-                asmgen.out("  jsr  prog8_lib.func_$functionName")
+            "strlen" -> funcStrlen(fcall, resultToStack)
+            "strcmp" -> funcStrcmp(fcall, func, resultToStack, scope)
+            "memcopy", "memset", "memsetw" -> funcMemSetCopy(fcall, func, scope)
+            "substr", "leftstr", "rightstr" -> {
+                translateArguments(fcall.args, func, scope)
+                asmgen.out("  jsr  prog8_lib.func_${func.name}")
             }
+            "exit" -> {
+                translateArguments(fcall.args, func, scope)
+                asmgen.out("  jmp  prog8_lib.func_exit")
+            }
+            else -> TODO("missing asmgen for builtin func ${func.name}")
         }
     }
 
+    private fun funcMemSetCopy(fcall: IFunctionCall, func: FSignature, scope: Subroutine) {
+        if(CompilationTarget.instance is Cx16Target) {
+            when(func.name) {
+                "memset" -> {
+                    // use the ROM function of the Cx16
+                    var src = AsmAssignSource.fromAstSource(fcall.args[0], program, asmgen)
+                    var tgt = AsmAssignTarget(TargetStorageKind.VARIABLE, program, asmgen, DataType.UWORD, null, variableAsmName = "cx16.r0")
+                    var assign = AsmAssignment(src, tgt, false, Position.DUMMY)
+                    asmgen.translateNormalAssignment(assign)
+                    src = AsmAssignSource.fromAstSource(fcall.args[1], program, asmgen)
+                    tgt = AsmAssignTarget(TargetStorageKind.VARIABLE, program, asmgen, DataType.UWORD, null, variableAsmName = "cx16.r1")
+                    assign = AsmAssignment(src, tgt, false, Position.DUMMY)
+                    asmgen.translateNormalAssignment(assign)
+                    src = AsmAssignSource.fromAstSource(fcall.args[2], program, asmgen)
+                    tgt = AsmAssignTarget(TargetStorageKind.REGISTER, program, asmgen, DataType.UBYTE, null, register = RegisterOrPair.A)
+                    assign = AsmAssignment(src, tgt, false, Position.DUMMY)
+                    asmgen.translateNormalAssignment(assign)
+                    val sub = (fcall as FunctionCallStatement).definingSubroutine()!!
+                    asmgen.saveRegister(CpuRegister.X, false, sub)
+                    asmgen.out("  jsr  cx16.memory_fill")
+                    asmgen.restoreRegister(CpuRegister.X, false)
+                }
+                "memcopy" -> {
+                    val count = fcall.args[2].constValue(program)?.number?.toInt()
+                    val countDt = fcall.args[2].inferType(program)
+                    if((count!=null && count <= 255) || countDt.istype(DataType.UBYTE) || countDt.istype(DataType.BYTE)) {
+                        // fast memcopy of up to 255
+                        translateArguments(fcall.args, func, scope)
+                        asmgen.out("  jsr  prog8_lib.func_memcopy255")
+                        return
+                    }
+
+                    // use the ROM function of the Cx16
+                    var src = AsmAssignSource.fromAstSource(fcall.args[0], program, asmgen)
+                    var tgt = AsmAssignTarget(TargetStorageKind.VARIABLE, program, asmgen, DataType.UWORD, null, variableAsmName = "cx16.r0")
+                    var assign = AsmAssignment(src, tgt, false, Position.DUMMY)
+                    asmgen.translateNormalAssignment(assign)
+                    src = AsmAssignSource.fromAstSource(fcall.args[1], program, asmgen)
+                    tgt = AsmAssignTarget(TargetStorageKind.VARIABLE, program, asmgen, DataType.UWORD, null, variableAsmName = "cx16.r1")
+                    assign = AsmAssignment(src, tgt, false, Position.DUMMY)
+                    asmgen.translateNormalAssignment(assign)
+                    src = AsmAssignSource.fromAstSource(fcall.args[2], program, asmgen)
+                    tgt = AsmAssignTarget(TargetStorageKind.VARIABLE, program, asmgen, DataType.UWORD, null, variableAsmName = "cx16.r2")
+                    assign = AsmAssignment(src, tgt, false, Position.DUMMY)
+                    asmgen.translateNormalAssignment(assign)
+                    val sub = (fcall as FunctionCallStatement).definingSubroutine()!!
+                    asmgen.saveRegister(CpuRegister.X, false, sub)
+                    asmgen.out("  jsr  cx16.memory_copy")
+                    asmgen.restoreRegister(CpuRegister.X, false)
+                }
+                "memsetw" -> {
+                    translateArguments(fcall.args, func, scope)
+                    asmgen.out("  jsr  prog8_lib.func_memsetw")
+                }
+            }
+        } else {
+            if(func.name=="memcopy") {
+                val count = fcall.args[2].constValue(program)?.number?.toInt()
+                val countDt = fcall.args[2].inferType(program)
+                if((count!=null && count <= 255) || countDt.istype(DataType.UBYTE) || countDt.istype(DataType.BYTE)) {
+                    translateArguments(fcall.args, func, scope)
+                    asmgen.out("  jsr  prog8_lib.func_memcopy255")
+                    return
+                }
+            }
+            translateArguments(fcall.args, func, scope)
+            asmgen.out("  jsr  prog8_lib.func_${func.name}")
+        }
+    }
+
+    private fun funcStrcmp(fcall: IFunctionCall, func: FSignature, resultToStack: Boolean, scope: Subroutine) {
+        translateArguments(fcall.args, func, scope)
+        if(resultToStack)
+            asmgen.out("  jsr  prog8_lib.func_strcmp_stack")
+        else
+            asmgen.out("  jsr  prog8_lib.func_strcmp")
+    }
+
+    private fun funcSqrt16(fcall: IFunctionCall, func: FSignature, resultToStack: Boolean, scope: Subroutine) {
+        translateArguments(fcall.args, func, scope)
+        if(resultToStack)
+            asmgen.out("  jsr  prog8_lib.func_sqrt16_stack")
+        else
+            asmgen.out("  jsr  prog8_lib.func_sqrt16_into_A")
+    }
+
+    private fun funcSinCosInt(fcall: IFunctionCall, func: FSignature, resultToStack: Boolean, scope: Subroutine) {
+        translateArguments(fcall.args, func, scope)
+        if(resultToStack)
+            asmgen.out("  jsr  prog8_lib.func_${func.name}_stack")
+        else
+            when(func.name) {
+                "sin8", "sin8u", "cos8", "cos8u" -> asmgen.out("  jsr  prog8_lib.func_${func.name}_into_A")
+                "sin16", "sin16u", "cos16", "cos16u" -> asmgen.out("  jsr  prog8_lib.func_${func.name}_into_AY")
+            }
+    }
+
     private fun funcReverse(fcall: IFunctionCall) {
         val variable = fcall.args.single()
         if (variable is IdentifierReference) {
@@ -83,33 +202,30 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
             when (decl.datatype) {
                 DataType.ARRAY_UB, DataType.ARRAY_B -> {
                     asmgen.out("""
-                                    lda  #<$varName
-                                    ldy  #>$varName
-                                    sta  P8ZP_SCRATCH_W1
-                                    sty  P8ZP_SCRATCH_W1+1
-                                    lda  #$numElements
-                                    jsr  prog8_lib.reverse_b
-                                """)
+                        lda  #<$varName
+                        ldy  #>$varName
+                        sta  P8ZP_SCRATCH_W1
+                        sty  P8ZP_SCRATCH_W1+1
+                        lda  #$numElements
+                        jsr  prog8_lib.func_reverse_b""")
                 }
                 DataType.ARRAY_UW, DataType.ARRAY_W -> {
                     asmgen.out("""
-                                    lda  #<$varName
-                                    ldy  #>$varName
-                                    sta  P8ZP_SCRATCH_W1
-                                    sty  P8ZP_SCRATCH_W1+1
-                                    lda  #$numElements
-                                    jsr  prog8_lib.reverse_w
-                                """)
+                        lda  #<$varName
+                        ldy  #>$varName
+                        sta  P8ZP_SCRATCH_W1
+                        sty  P8ZP_SCRATCH_W1+1
+                        lda  #$numElements
+                        jsr  prog8_lib.func_reverse_w""")
                 }
                 DataType.ARRAY_F -> {
                     asmgen.out("""
-                                    lda  #<$varName
-                                    ldy  #>$varName
-                                    sta  P8ZP_SCRATCH_W1
-                                    sty  P8ZP_SCRATCH_W1+1
-                                    lda  #$numElements
-                                    jsr  prog8_lib.reverse_f
-                                """)
+                        lda  #<$varName
+                        ldy  #>$varName
+                        sta  P8ZP_SCRATCH_W1
+                        sty  P8ZP_SCRATCH_W1+1
+                        lda  #$numElements
+                        jsr  floats.func_reverse_f""")
                 }
                 else -> throw AssemblyError("weird type")
             }
@@ -125,25 +241,21 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
             when (decl.datatype) {
                 DataType.ARRAY_UB, DataType.ARRAY_B -> {
                     asmgen.out("""
-                                    lda  #<$varName
-                                    ldy  #>$varName
-                                    sta  P8ZP_SCRATCH_W1
-                                    sty  P8ZP_SCRATCH_W1+1
-                                    lda  #$numElements
-                                    sta  P8ZP_SCRATCH_B1
-                                """)
-                    asmgen.out(if (decl.datatype == DataType.ARRAY_UB) "  jsr  prog8_lib.sort_ub" else "  jsr  prog8_lib.sort_b")
+                        lda  #<$varName
+                        ldy  #>$varName
+                        sta  P8ZP_SCRATCH_W1
+                        sty  P8ZP_SCRATCH_W1+1
+                        lda  #$numElements""")
+                    asmgen.out(if (decl.datatype == DataType.ARRAY_UB) "  jsr  prog8_lib.func_sort_ub" else "  jsr  prog8_lib.func_sort_b")
                 }
                 DataType.ARRAY_UW, DataType.ARRAY_W -> {
                     asmgen.out("""
-                                    lda  #<$varName
-                                    ldy  #>$varName
-                                    sta  P8ZP_SCRATCH_W1
-                                    sty  P8ZP_SCRATCH_W1+1
-                                    lda  #$numElements
-                                    sta  P8ZP_SCRATCH_B1
-                                """)
-                    asmgen.out(if (decl.datatype == DataType.ARRAY_UW) "  jsr  prog8_lib.sort_uw" else "  jsr  prog8_lib.sort_w")
+                        lda  #<$varName
+                        ldy  #>$varName
+                        sta  P8ZP_SCRATCH_W1
+                        sty  P8ZP_SCRATCH_W1+1
+                        lda  #$numElements""")
+                    asmgen.out(if (decl.datatype == DataType.ARRAY_UW) "  jsr  prog8_lib.func_sort_uw" else "  jsr  prog8_lib.func_sort_w")
                 }
                 DataType.ARRAY_F -> throw AssemblyError("sorting of floating point array is not supported")
                 else -> throw AssemblyError("weird type")
@@ -159,8 +271,7 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
             DataType.UBYTE -> {
                 when (what) {
                     is ArrayIndexedExpression -> {
-                        asmgen.translateExpression(what.arrayvar)
-                        asmgen.translateExpression(what.indexer)
+                        translateRolRorArrayArgs(what.arrayvar, what.indexer, fcall, "ror2", 'b')
                         asmgen.out("  jsr  prog8_lib.ror2_array_ub")
                     }
                     is DirectMemoryRead -> {
@@ -168,7 +279,7 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
                             val number = (what.addressExpression as NumericLiteralValue).number
                             asmgen.out("  lda  ${number.toHex()} |  lsr  a |  bcc  + |  ora  #\$80 |+  |  sta  ${number.toHex()}")
                         } else {
-                            asmgen.translateExpression(what.addressExpression)
+                            translateRolRorMemoryArgs(what.addressExpression, fcall)
                             asmgen.out("  jsr  prog8_lib.ror2_mem_ub")
                         }
                     }
@@ -182,8 +293,7 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
             DataType.UWORD -> {
                 when (what) {
                     is ArrayIndexedExpression -> {
-                        asmgen.translateExpression(what.arrayvar)
-                        asmgen.translateExpression(what.indexer)
+                        translateRolRorArrayArgs(what.arrayvar, what.indexer, fcall, "ror2", 'w')
                         asmgen.out("  jsr  prog8_lib.ror2_array_uw")
                     }
                     is IdentifierReference -> {
@@ -204,8 +314,7 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
             DataType.UBYTE -> {
                 when (what) {
                     is ArrayIndexedExpression -> {
-                        asmgen.translateExpression(what.arrayvar)
-                        asmgen.translateExpression(what.indexer)
+                        translateRolRorArrayArgs(what.arrayvar, what.indexer, fcall, "ror", 'b')
                         asmgen.out("  jsr  prog8_lib.ror_array_ub")
                     }
                     is DirectMemoryRead -> {
@@ -213,15 +322,11 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
                             val number = (what.addressExpression as NumericLiteralValue).number
                             asmgen.out("  ror  ${number.toHex()}")
                         } else {
-                            asmgen.translateExpression(what.addressExpression)
+                            translateRolRorMemoryArgs(what.addressExpression, fcall)
                             asmgen.out("""
-                        inx
-                        lda  P8ESTACK_LO,x
-                        sta  (+) + 1
-                        lda  P8ESTACK_HI,x
-                        sta  (+) + 2
-    +                   ror  ${'$'}ffff            ; modified                    
-                                        """)
+                                sta  (+) + 1
+                                sty  (+) + 2
++                               ror  ${'$'}ffff            ; modified""")
                         }
                     }
                     is IdentifierReference -> {
@@ -234,8 +339,7 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
             DataType.UWORD -> {
                 when (what) {
                     is ArrayIndexedExpression -> {
-                        asmgen.translateExpression(what.arrayvar)
-                        asmgen.translateExpression(what.indexer)
+                        translateRolRorArrayArgs(what.arrayvar, what.indexer, fcall, "ror", 'w')
                         asmgen.out("  jsr  prog8_lib.ror_array_uw")
                     }
                     is IdentifierReference -> {
@@ -256,8 +360,7 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
             DataType.UBYTE -> {
                 when (what) {
                     is ArrayIndexedExpression -> {
-                        asmgen.translateExpression(what.arrayvar)
-                        asmgen.translateExpression(what.indexer)
+                        translateRolRorArrayArgs(what.arrayvar, what.indexer, fcall, "rol2", 'b')
                         asmgen.out("  jsr  prog8_lib.rol2_array_ub")
                     }
                     is DirectMemoryRead -> {
@@ -265,7 +368,7 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
                             val number = (what.addressExpression as NumericLiteralValue).number
                             asmgen.out("  lda  ${number.toHex()} |  cmp  #\$80 |  rol  a |  sta  ${number.toHex()}")
                         } else {
-                            asmgen.translateExpression(what.addressExpression)
+                            translateRolRorMemoryArgs(what.addressExpression, fcall)
                             asmgen.out("  jsr  prog8_lib.rol2_mem_ub")
                         }
                     }
@@ -279,8 +382,7 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
             DataType.UWORD -> {
                 when (what) {
                     is ArrayIndexedExpression -> {
-                        asmgen.translateExpression(what.arrayvar)
-                        asmgen.translateExpression(what.indexer)
+                        translateRolRorArrayArgs(what.arrayvar, what.indexer, fcall, "rol2", 'w')
                         asmgen.out("  jsr  prog8_lib.rol2_array_uw")
                     }
                     is IdentifierReference -> {
@@ -301,8 +403,7 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
             DataType.UBYTE -> {
                 when (what) {
                     is ArrayIndexedExpression -> {
-                        asmgen.translateExpression(what.arrayvar)
-                        asmgen.translateExpression(what.indexer)
+                        translateRolRorArrayArgs(what.arrayvar, what.indexer, fcall, "rol", 'b')
                         asmgen.out("  jsr  prog8_lib.rol_array_ub")
                     }
                     is DirectMemoryRead -> {
@@ -310,15 +411,11 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
                             val number = (what.addressExpression as NumericLiteralValue).number
                             asmgen.out("  rol  ${number.toHex()}")
                         } else {
-                            asmgen.translateExpression(what.addressExpression)
+                            translateRolRorMemoryArgs(what.addressExpression, fcall)
                             asmgen.out("""
-                        inx
-                        lda  P8ESTACK_LO,x
-                        sta  (+) + 1
-                        lda  P8ESTACK_HI,x
-                        sta  (+) + 2
-    +                   rol  ${'$'}ffff            ; modified                    
-                                        """)
+                                sta  (+) + 1
+                                sty  (+) + 2
++                               rol  ${'$'}ffff            ; modified""")
                         }
                     }
                     is IdentifierReference -> {
@@ -331,8 +428,7 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
             DataType.UWORD -> {
                 when (what) {
                     is ArrayIndexedExpression -> {
-                        asmgen.translateExpression(what.arrayvar)
-                        asmgen.translateExpression(what.indexer)
+                        translateRolRorArrayArgs(what.arrayvar, what.indexer, fcall, "rol", 'w')
                         asmgen.out("  jsr  prog8_lib.rol_array_uw")
                     }
                     is IdentifierReference -> {
@@ -346,66 +442,136 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
         }
     }
 
-    private fun funcVariousFloatFuncs(fcall: IFunctionCall, func: FSignature, functionName: String) {
-        translateFunctionArguments(fcall.args, func)
-        asmgen.out("  jsr  floats.func_$functionName")
+    private fun translateRolRorMemoryArgs(addressExpression: Expression, fcall: IFunctionCall) {
+        val src = AsmAssignSource.fromAstSource(addressExpression, program, asmgen)
+        val tgt = AsmAssignTarget.fromRegisters(RegisterOrPair.AY, null, program, asmgen)
+        val assign = AsmAssignment(src, tgt, false, (fcall as Node).position)
+        asmgen.translateNormalAssignment(assign)
     }
 
-    private fun funcSgn(fcall: IFunctionCall, func: FSignature) {
-        translateFunctionArguments(fcall.args, func)
+    private fun translateRolRorArrayArgs(arrayvar: IdentifierReference, indexer: ArrayIndex, fcall: IFunctionCall, operation: String, dt: Char) {
+        var src = AsmAssignSource.fromAstSource(AddressOf(arrayvar, (fcall as Node).position), program, asmgen)
+        var tgt = AsmAssignTarget(TargetStorageKind.VARIABLE, program, asmgen, DataType.UWORD, null, variableAsmName = "prog8_lib.${operation}_array_u${dt}._arg_target")
+        var assign = AsmAssignment(src, tgt, false, (fcall as Node).position)
+        asmgen.translateNormalAssignment(assign)
+        src = AsmAssignSource.fromAstSource(indexer, program, asmgen)
+        tgt = AsmAssignTarget(TargetStorageKind.VARIABLE, program, asmgen, DataType.UBYTE, null, variableAsmName = "prog8_lib.${operation}_array_u${dt}._arg_index")
+        assign = AsmAssignment(src, tgt, false, (fcall as Node).position)
+        asmgen.translateNormalAssignment(assign)
+    }
+
+    private fun funcVariousFloatFuncs(fcall: IFunctionCall, func: FSignature, resultToStack: Boolean, scope: Subroutine) {
+        translateArguments(fcall.args, func, scope)
+        if(resultToStack)
+            asmgen.out("  jsr  floats.func_${func.name}_stack")
+        else
+            asmgen.out("  jsr  floats.func_${func.name}_fac1")
+    }
+
+    private fun funcSgn(fcall: IFunctionCall, func: FSignature, resultToStack: Boolean, scope: Subroutine) {
+        translateArguments(fcall.args, func, scope)
         val dt = fcall.args.single().inferType(program)
-        when (dt.typeOrElse(DataType.STRUCT)) {
-            DataType.UBYTE -> asmgen.out("  jsr  math.sign_ub")
-            DataType.BYTE -> asmgen.out("  jsr  math.sign_b")
-            DataType.UWORD -> asmgen.out("  jsr  math.sign_uw")
-            DataType.WORD -> asmgen.out("  jsr  math.sign_w")
-            DataType.FLOAT -> asmgen.out("  jsr  floats.sign_f")
-            else -> throw AssemblyError("weird type $dt")
+        if(resultToStack) {
+            when (dt.typeOrElse(DataType.STRUCT)) {
+                DataType.UBYTE -> asmgen.out("  jsr  prog8_lib.func_sign_ub_stack")
+                DataType.BYTE -> asmgen.out("  jsr  prog8_lib.func_sign_b_stack")
+                DataType.UWORD -> asmgen.out("  jsr  prog8_lib.func_sign_uw_stack")
+                DataType.WORD -> asmgen.out("  jsr  prog8_lib.func_sign_w_stack")
+                DataType.FLOAT -> asmgen.out("  jsr  floats.func_sign_f_stack")
+                else -> throw AssemblyError("weird type $dt")
+            }
+        } else {
+            when (dt.typeOrElse(DataType.STRUCT)) {
+                DataType.UBYTE -> asmgen.out("  jsr  prog8_lib.func_sign_ub_into_A")
+                DataType.BYTE -> asmgen.out("  jsr  prog8_lib.func_sign_b_into_A")
+                DataType.UWORD -> asmgen.out("  jsr  prog8_lib.func_sign_uw_into_A")
+                DataType.WORD -> asmgen.out("  jsr  prog8_lib.func_sign_w_into_A")
+                DataType.FLOAT -> asmgen.out("  jsr  floats.func_sign_f_into_A")
+                else -> throw AssemblyError("weird type $dt")
+            }
         }
     }
 
-    private fun funcAnyAll(fcall: IFunctionCall, functionName: String) {
-        outputPushAddressAndLenghtOfArray(fcall.args[0])
+    private fun funcAnyAll(fcall: IFunctionCall, function: FSignature, resultToStack: Boolean) {
+        outputAddressAndLenghtOfArray(fcall.args[0])
         val dt = fcall.args.single().inferType(program)
-        when (dt.typeOrElse(DataType.STRUCT)) {
-            DataType.ARRAY_B, DataType.ARRAY_UB, DataType.STR -> asmgen.out("  jsr  prog8_lib.func_${functionName}_b")
-            DataType.ARRAY_UW, DataType.ARRAY_W -> asmgen.out("  jsr  prog8_lib.func_${functionName}_w")
-            DataType.ARRAY_F -> asmgen.out("  jsr  floats.func_${functionName}_f")
-            else -> throw AssemblyError("weird type $dt")
+        if(resultToStack) {
+            when (dt.typeOrElse(DataType.STRUCT)) {
+                DataType.ARRAY_B, DataType.ARRAY_UB, DataType.STR -> asmgen.out("  jsr  prog8_lib.func_${function.name}_b_stack")
+                DataType.ARRAY_UW, DataType.ARRAY_W -> asmgen.out("  jsr  prog8_lib.func_${function.name}_w_stack")
+                DataType.ARRAY_F -> asmgen.out("  jsr  floats.func_${function.name}_f_stack")
+                else -> throw AssemblyError("weird type $dt")
+            }
+        } else {
+            when (dt.typeOrElse(DataType.STRUCT)) {
+                DataType.ARRAY_B, DataType.ARRAY_UB, DataType.STR -> asmgen.out("  jsr  prog8_lib.func_${function.name}_b_into_A")
+                DataType.ARRAY_UW, DataType.ARRAY_W -> asmgen.out("  jsr  prog8_lib.func_${function.name}_w_into_A")
+                DataType.ARRAY_F -> asmgen.out("  jsr  floats.func_${function.name}_f_into_A")
+                else -> throw AssemblyError("weird type $dt")
+            }
         }
     }
 
-    private fun funcMinMaxSum(fcall: IFunctionCall, functionName: String) {
-        outputPushAddressAndLenghtOfArray(fcall.args[0])
+    private fun funcMinMax(fcall: IFunctionCall, function: FSignature, resultToStack: Boolean) {
+        outputAddressAndLenghtOfArray(fcall.args[0])
         val dt = fcall.args.single().inferType(program)
-        when (dt.typeOrElse(DataType.STRUCT)) {
-            DataType.ARRAY_UB, DataType.STR -> asmgen.out("  jsr  prog8_lib.func_${functionName}_ub")
-            DataType.ARRAY_B -> asmgen.out("  jsr  prog8_lib.func_${functionName}_b")
-            DataType.ARRAY_UW -> asmgen.out("  jsr  prog8_lib.func_${functionName}_uw")
-            DataType.ARRAY_W -> asmgen.out("  jsr  prog8_lib.func_${functionName}_w")
-            DataType.ARRAY_F -> asmgen.out("  jsr  floats.func_${functionName}_f")
-            else -> throw AssemblyError("weird type $dt")
+        if(resultToStack) {
+            when (dt.typeOrElse(DataType.STRUCT)) {
+                DataType.ARRAY_UB, DataType.STR -> asmgen.out("  jsr  prog8_lib.func_${function.name}_ub_stack")
+                DataType.ARRAY_B -> asmgen.out("  jsr  prog8_lib.func_${function.name}_b_stack")
+                DataType.ARRAY_UW -> asmgen.out("  jsr  prog8_lib.func_${function.name}_uw_stack")
+                DataType.ARRAY_W -> asmgen.out("  jsr  prog8_lib.func_${function.name}_w_stack")
+                DataType.ARRAY_F -> asmgen.out("  jsr  floats.func_${function.name}_f_stack")
+                else -> throw AssemblyError("weird type $dt")
+            }
+        } else {
+            when (dt.typeOrElse(DataType.STRUCT)) {
+                DataType.ARRAY_UB, DataType.STR -> asmgen.out("  jsr  prog8_lib.func_${function.name}_ub_into_A")
+                DataType.ARRAY_B -> asmgen.out("  jsr  prog8_lib.func_${function.name}_b_into_A")
+                DataType.ARRAY_UW -> asmgen.out("  jsr  prog8_lib.func_${function.name}_uw_into_AY")
+                DataType.ARRAY_W -> asmgen.out("  jsr  prog8_lib.func_${function.name}_w_into_AY")
+                DataType.ARRAY_F -> asmgen.out("  jsr  floats.func_${function.name}_f_fac1")
+                else -> throw AssemblyError("weird type $dt")
+            }
         }
     }
 
-    private fun funcStrlen(fcall: IFunctionCall) {
+    private fun funcSum(fcall: IFunctionCall, resultToStack: Boolean) {
+        outputAddressAndLenghtOfArray(fcall.args[0])
+        val dt = fcall.args.single().inferType(program)
+        if(resultToStack) {
+            when (dt.typeOrElse(DataType.STRUCT)) {
+                DataType.ARRAY_UB, DataType.STR -> asmgen.out("  jsr  prog8_lib.func_sum_ub_stack")
+                DataType.ARRAY_B -> asmgen.out("  jsr  prog8_lib.func_sum_b_stack")
+                DataType.ARRAY_UW -> asmgen.out("  jsr  prog8_lib.func_sum_uw_stack")
+                DataType.ARRAY_W -> asmgen.out("  jsr  prog8_lib.func_sum_w_stack")
+                DataType.ARRAY_F -> asmgen.out("  jsr  floats.func_sum_f_stack")
+                else -> throw AssemblyError("weird type $dt")
+            }
+        } else {
+            when (dt.typeOrElse(DataType.STRUCT)) {
+                DataType.ARRAY_UB, DataType.STR -> asmgen.out("  jsr  prog8_lib.func_sum_ub_into_AY")
+                DataType.ARRAY_B -> asmgen.out("  jsr  prog8_lib.func_sum_b_into_AY")
+                DataType.ARRAY_UW -> asmgen.out("  jsr  prog8_lib.func_sum_uw_into_AY")
+                DataType.ARRAY_W -> asmgen.out("  jsr  prog8_lib.func_sum_w_into_AY")
+                DataType.ARRAY_F -> asmgen.out("  jsr  floats.func_sum_f_fac1")
+                else -> throw AssemblyError("weird type $dt")
+            }
+        }
+    }
+
+    private fun funcStrlen(fcall: IFunctionCall, resultToStack: Boolean) {
         val name = asmgen.asmVariableName(fcall.args[0] as IdentifierReference)
         val type = fcall.args[0].inferType(program)
         when {
-            type.istype(DataType.STR) -> asmgen.out("""
-                lda  #<$name
-                ldy  #>$name
-                jsr  prog8_lib.strlen
-                sta  P8ESTACK_LO,x
-                dex""")
-            type.istype(DataType.UWORD) -> asmgen.out("""
-                lda  $name
-                ldy  $name+1
-                jsr  prog8_lib.strlen
-                sta  P8ESTACK_LO,x
-                dex""")
+            type.istype(DataType.STR) -> asmgen.out("  lda  #<$name |  ldy  #>$name")
+            type.istype(DataType.UWORD) -> asmgen.out("  lda  $name |  ldy  $name+1")
             else -> throw AssemblyError("strlen requires str or uword arg")
         }
+        if(resultToStack)
+            asmgen.out("  jsr  prog8_lib.func_strlen_stack")
+        else
+            asmgen.out("  jsr  prog8_lib.func_strlen_into_A")
     }
 
     private fun funcSwap(fcall: IFunctionCall) {
@@ -444,7 +610,7 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
                     sta  P8ZP_SCRATCH_W2
                     lda  #>$secondName
                     sta  P8ZP_SCRATCH_W2+1
-                    jsr  floats.swap_floats
+                    jsr  floats.func_swap_f
                 """)
                 return
             }
@@ -480,7 +646,10 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
         if(first is ArrayIndexedExpression && second is ArrayIndexedExpression) {
             val arrayVarName1 = asmgen.asmVariableName(first.arrayvar)
             val arrayVarName2 = asmgen.asmVariableName(second.arrayvar)
-            val elementDt = first.inferType(program).typeOrElse(DataType.STRUCT)
+            val elementIDt = first.inferType(program)
+            if(!elementIDt.isKnown)
+                throw AssemblyError("unknown dt")
+            val elementDt = elementIDt.typeOrElse(DataType.STRUCT)
 
             val firstNum = first.indexer.indexNum
             val firstVar = first.indexer.indexVar
@@ -512,9 +681,13 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
             }
         }
 
+        // TODO find alternative way to swap here without using estack
         asmgen.translateExpression(first)
         asmgen.translateExpression(second)
-        val datatype = first.inferType(program).typeOrElse(DataType.STRUCT)
+        val idatatype = first.inferType(program)
+        if(!idatatype.isKnown)
+            throw AssemblyError("unknown dt")
+        val datatype = idatatype.typeOrElse(DataType.STRUCT)
         val assignFirst = AsmAssignment(
                 AsmAssignSource(SourceStorageKind.STACK, program, asmgen, datatype),
                 targetFromExpr(first, datatype),
@@ -759,25 +932,58 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
         }
     }
 
-    private fun funcAbs(fcall: IFunctionCall, func: FSignature) {
-        translateFunctionArguments(fcall.args, func)
-        val dt = fcall.args.single().inferType(program)
-        when (dt.typeOrElse(DataType.STRUCT)) {
-            in ByteDatatypes -> asmgen.out("  jsr  prog8_lib.abs_b")
-            in WordDatatypes -> asmgen.out("  jsr  prog8_lib.abs_w")
-            DataType.FLOAT -> asmgen.out("  jsr  floats.abs_f")
-            else -> throw AssemblyError("weird type")
+    private fun funcAbs(fcall: IFunctionCall, func: FSignature, resultToStack: Boolean, scope: Subroutine) {
+        translateArguments(fcall.args, func, scope)
+        val dt = fcall.args.single().inferType(program).typeOrElse(DataType.STRUCT)
+        if(resultToStack) {
+            when (dt) {
+                in ByteDatatypes -> asmgen.out("  jsr  prog8_lib.abs_b_stack")
+                in WordDatatypes -> asmgen.out("  jsr  prog8_lib.abs_w_stack")
+                DataType.FLOAT -> asmgen.out("  jsr  floats.abs_f_stack")
+                else -> throw AssemblyError("weird type")
+            }
+        } else {
+            when (dt) {
+                in ByteDatatypes -> asmgen.out("  jsr  prog8_lib.abs_b_into_A")
+                in WordDatatypes -> asmgen.out("  jsr  prog8_lib.abs_w_into_AY")
+                DataType.FLOAT -> asmgen.out("  jsr  floats.abs_f_fac1")
+                else -> throw AssemblyError("weird type")
+            }
         }
     }
 
-    private fun funcMkword(fcall: IFunctionCall, func: FSignature) {
-        // trick: push the args in reverse order (msb first, lsb second) this saves some instructions
-        asmgen.translateExpression(fcall.args[1])
-        asmgen.translateExpression(fcall.args[0])
-        asmgen.out("  inx | lda  P8ESTACK_LO,x  | sta  P8ESTACK_HI+1,x")
+    private fun funcRnd(func: FSignature, resultToStack: Boolean) {
+        when(func.name) {
+            "rnd" -> {
+                if(resultToStack)
+                    asmgen.out("  jsr  prog8_lib.func_rnd_stack")
+                else
+                    asmgen.out("  jsr  math.randbyte")
+            }
+            "rndw" -> {
+                if(resultToStack)
+                    asmgen.out("  jsr  prog8_lib.func_rndw_stack")
+                else
+                    asmgen.out("  jsr  math.randword")
+            }
+            else -> throw AssemblyError("wrong func")
+        }
     }
 
-    private fun funcMsb(fcall: IFunctionCall) {
+    private fun funcMkword(fcall: IFunctionCall, resultToStack: Boolean) {
+        var src = AsmAssignSource.fromAstSource(fcall.args[0], program, asmgen)  // msb
+        var tgt = AsmAssignTarget.fromRegisters(RegisterOrPair.Y, null, program, asmgen)
+        var assign = AsmAssignment(src, tgt, false, (fcall as Node).position)
+        asmgen.translateNormalAssignment(assign)
+        src = AsmAssignSource.fromAstSource(fcall.args[1], program, asmgen)  // lsb
+        tgt = AsmAssignTarget.fromRegisters(RegisterOrPair.A, null, program, asmgen)
+        assign = AsmAssignment(src, tgt, false, (fcall as Node).position)
+        asmgen.translateNormalAssignment(assign)
+        if(resultToStack)
+            asmgen.out("  sta  P8ESTACK_LO,x |  tya |  sta  P8ESTACK_HI,x |  dex")
+    }
+
+    private fun funcMsb(fcall: IFunctionCall, resultToStack: Boolean) {
         val arg = fcall.args.single()
         if (arg.inferType(program).typeOrElse(DataType.STRUCT) !in WordDatatypes)
             throw AssemblyError("msb required word argument")
@@ -785,47 +991,123 @@ internal class BuiltinFunctionsAsmGen(private val program: Program, private val
             throw AssemblyError("msb(const) should have been const-folded away")
         if (arg is IdentifierReference) {
             val sourceName = asmgen.asmVariableName(arg)
-            asmgen.out("  lda  $sourceName+1 |  sta  P8ESTACK_LO,x |  dex")
+            asmgen.out("  lda  $sourceName+1")
+            if (resultToStack)
+                asmgen.out("  sta  P8ESTACK_LO,x |  dex")
         } else {
-            asmgen.translateExpression(arg)
-            asmgen.out("  lda  P8ESTACK_HI+1,x |  sta  P8ESTACK_LO+1,x")
+            val src = AsmAssignSource.fromAstSource(fcall.args.single(), program, asmgen)
+            val tgt = AsmAssignTarget.fromRegisters(RegisterOrPair.AY, null, program, asmgen)
+            val assign = AsmAssignment(src, tgt, false, (fcall as Node).position)
+            asmgen.translateNormalAssignment(assign)
+            if (resultToStack)
+                asmgen.out("  tya |  sta  P8ESTACK_LO,x |  dex")
+            else
+                asmgen.out("  tya")
         }
     }
 
-    private fun funcLsb(fcall: IFunctionCall) {
+    private fun funcLsb(fcall: IFunctionCall, resultToStack: Boolean) {
         val arg = fcall.args.single()
         if (arg.inferType(program).typeOrElse(DataType.STRUCT) !in WordDatatypes)
             throw AssemblyError("lsb required word argument")
         if (arg is NumericLiteralValue)
             throw AssemblyError("lsb(const) should have been const-folded away")
+
         if (arg is IdentifierReference) {
             val sourceName = asmgen.asmVariableName(arg)
-            asmgen.out("  lda  $sourceName |  sta  P8ESTACK_LO,x |  dex")
+            asmgen.out("  lda  $sourceName")
+            if (resultToStack)
+                asmgen.out("  sta  P8ESTACK_LO,x |  dex")
         } else {
-            asmgen.translateExpression(arg)
-            // just ignore any high-byte
+            val src = AsmAssignSource.fromAstSource(fcall.args.single(), program, asmgen)
+            val tgt = AsmAssignTarget.fromRegisters(RegisterOrPair.AY, null, program, asmgen)
+            val assign = AsmAssignment(src, tgt, false, (fcall as Node).position)
+            asmgen.translateNormalAssignment(assign)
+            if (resultToStack)
+                asmgen.out("  sta  P8ESTACK_LO,x |  dex")
         }
     }
 
-    private fun outputPushAddressAndLenghtOfArray(arg: Expression) {
+    private fun outputAddressAndLenghtOfArray(arg: Expression) {
+        // address in P8ZP_SCRATCH_W1,  number of elements in A
         arg as IdentifierReference
         val identifierName = asmgen.asmVariableName(arg)
         val size = arg.targetVarDecl(program.namespace)!!.arraysize!!.constIndex()!!
         asmgen.out("""
                     lda  #<$identifierName
-                    sta  P8ESTACK_LO,x
-                    lda  #>$identifierName
-                    sta  P8ESTACK_HI,x
-                    dex
+                    ldy  #>$identifierName
+                    sta  P8ZP_SCRATCH_W1
+                    sty  P8ZP_SCRATCH_W1+1
                     lda  #$size
-                    sta  P8ESTACK_LO,x
-                    dex
                     """)
     }
 
-    private fun translateFunctionArguments(args: MutableList<Expression>, signature: FSignature) {
-        args.forEach {
-            asmgen.translateExpression(it)
+    private fun translateArguments(args: MutableList<Expression>, signature: FSignature, scope: Subroutine) {
+        val callConv = signature.callConvention(args.map { it.inferType(program).typeOrElse(DataType.STRUCT) })
+
+        fun getSourceForFloat(value: Expression): AsmAssignSource {
+            return when (value) {
+                is IdentifierReference -> {
+                    val addr = AddressOf(value, value.position)
+                    AsmAssignSource.fromAstSource(addr, program, asmgen)
+                }
+                is NumericLiteralValue -> {
+                    throw AssemblyError("float literals should have been converted into autovar")
+                }
+                else -> {
+                    scope.asmGenInfo.usedFloatEvalResultVar = true
+                    val variable = IdentifierReference(listOf("_prog8_float_eval_result"), value.position)
+                    variable.linkParents(value)
+                    val assign = AsmAssignment(AsmAssignSource.fromAstSource(value, program, asmgen),
+                            AsmAssignTarget(TargetStorageKind.VARIABLE, program, asmgen, DataType.FLOAT, null, variableAsmName = asmgen.asmVariableName(variable)),
+                            false, Position.DUMMY)
+                    asmgen.translateNormalAssignment(assign)
+                    val addr = AddressOf(variable, value.position)
+                    AsmAssignSource.fromAstSource(addr, program, asmgen)
+                }
+            }
+        }
+
+        args.zip(callConv.params).zip(signature.parameters).forEach {
+            val paramName = it.second.name
+            val conv = it.first.second
+            val value = it.first.first
+            when {
+                conv.variable -> {
+                    val varname = "prog8_lib.func_${signature.name}._arg_${paramName}"
+                    val src = when (conv.dt) {
+                        DataType.FLOAT -> getSourceForFloat(value)
+                        in PassByReferenceDatatypes -> {
+                            // put the address of the argument in AY
+                            val addr = AddressOf(value as IdentifierReference, value.position)
+                            AsmAssignSource.fromAstSource(addr, program, asmgen)
+                        }
+                        else -> {
+                            AsmAssignSource.fromAstSource(value, program, asmgen)
+                        }
+                    }
+                    val tgt = AsmAssignTarget(TargetStorageKind.VARIABLE, program, asmgen, conv.dt, null, variableAsmName = varname)
+                    val assign = AsmAssignment(src, tgt, false, value.position)
+                    asmgen.translateNormalAssignment(assign)
+                }
+                conv.reg != null -> {
+                    val src = when (conv.dt) {
+                        DataType.FLOAT -> getSourceForFloat(value)
+                        in PassByReferenceDatatypes -> {
+                            // put the address of the argument in AY
+                            val addr = AddressOf(value as IdentifierReference, value.position)
+                            AsmAssignSource.fromAstSource(addr, program, asmgen)
+                        }
+                        else -> {
+                            AsmAssignSource.fromAstSource(value, program, asmgen)
+                        }
+                    }
+                    val tgt = AsmAssignTarget.fromRegisters(conv.reg, null, program, asmgen)
+                    val assign = AsmAssignment(src, tgt, false, value.position)
+                    asmgen.translateNormalAssignment(assign)
+                }
+                else -> throw AssemblyError("callconv")
+            }
         }
     }
 

compiler/src/prog8/compiler/target/c64/codegen/ExpressionsAsmGen.kt

@@ -4,9 +4,15 @@ import prog8.ast.Program
 import prog8.ast.base.*
 import prog8.ast.expressions.*
 import prog8.ast.statements.ArrayIndex
+import prog8.ast.statements.BuiltinFunctionStatementPlaceholder
+import prog8.ast.statements.Subroutine
 import prog8.compiler.AssemblyError
 import prog8.compiler.target.CompilationTarget
 import prog8.compiler.target.CpuType
+import prog8.compiler.target.c64.codegen.assignment.AsmAssignSource
+import prog8.compiler.target.c64.codegen.assignment.AsmAssignTarget
+import prog8.compiler.target.c64.codegen.assignment.AsmAssignment
+import prog8.compiler.target.c64.codegen.assignment.TargetStorageKind
 import prog8.compiler.toHex
 import prog8.functions.BuiltinFunctions
 import kotlin.math.absoluteValue
@@ -51,7 +57,10 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
-        val dt = left.inferType(program).typeOrElse(DataType.STRUCT)
+        val idt = left.inferType(program)
+        if(!idt.isKnown)
+            throw AssemblyError("unknown dt")
+        val dt = idt.typeOrElse(DataType.STRUCT)
         when (operator) {
             "==" -> {
                 // if the left operand is an expression, and the right is 0, we can just evaluate that expression.
@@ -65,7 +74,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
                         is AddressOf,
                         is RangeExpr,
                         is FunctionCall -> {
-                            translateExpression(left)
+                            translateExpression(left)   // todo directly into AY reg?
                             if(dt in ByteDatatypes) {
                                 asmgen.out("""
                                     inx
@@ -82,6 +91,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
                                     bne  $jumpIfFalseLabel""")
                                 return
                             }
+                            // TODO ....float?
                         }
                         else -> {}
                     }
@@ -107,7 +117,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
                         is AddressOf,
                         is RangeExpr,
                         is FunctionCall -> {
-                            translateExpression(left)
+                            translateExpression(left)   // todo directly into AY?
                             if(dt in ByteDatatypes) {
                                 asmgen.out("""
                                     inx
@@ -124,6 +134,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
                                     beq  $jumpIfFalseLabel""")
                                 return
                             }
+                            // TODO .... .float?
                         }
                         else -> {}
                     }
@@ -144,6 +155,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
                     DataType.UWORD -> translateUwordLess(left, right, leftConstVal,rightConstVal, jumpIfFalseLabel)
                     DataType.WORD -> translateWordLess(left, right, leftConstVal,rightConstVal, jumpIfFalseLabel)
                     DataType.FLOAT -> {
+                        // todo via func args
                         translateExpression(left)
                         translateExpression(right)
                         asmgen.out("  jsr  floats.less_f |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -159,6 +171,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
                     DataType.UWORD -> translateUwordLessOrEqual(left, right, leftConstVal,rightConstVal, jumpIfFalseLabel)
                     DataType.WORD -> translateWordLessOrEqual(left, right, leftConstVal,rightConstVal, jumpIfFalseLabel)
                     DataType.FLOAT -> {
+                        // todo via func args
                         translateExpression(left)
                         translateExpression(right)
                         asmgen.out("  jsr  floats.lesseq_f |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -174,6 +187,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
                     DataType.UWORD -> translateUwordGreater(left, right, leftConstVal,rightConstVal, jumpIfFalseLabel)
                     DataType.WORD -> translateWordGreater(left, right, leftConstVal,rightConstVal, jumpIfFalseLabel)
                     DataType.FLOAT -> {
+                        // todo via func args
                         translateExpression(left)
                         translateExpression(right)
                         asmgen.out("  jsr  floats.greater_f |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -189,6 +203,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
                     DataType.UWORD -> translateUwordGreaterOrEqual(left, right, leftConstVal,rightConstVal, jumpIfFalseLabel)
                     DataType.WORD -> translateWordGreaterOrEqual(left, right, leftConstVal,rightConstVal, jumpIfFalseLabel)
                     DataType.FLOAT -> {
+                        // todo via func args
                         translateExpression(left)
                         translateExpression(right)
                         asmgen.out("  jsr  floats.greatereq_f |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -230,6 +245,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.less_ub |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -259,6 +275,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.less_b |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -290,6 +307,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.less_uw |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -320,6 +338,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.less_w |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -355,6 +374,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or registers
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.greater_ub |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -385,6 +405,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
                 }
             }
         }
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.greater_b |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -420,6 +441,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.greater_uw |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -456,6 +478,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.greater_w |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -498,6 +521,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.lesseq_ub |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -531,6 +555,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.lesseq_b |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -565,6 +590,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.lesseq_uw |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -601,6 +627,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.lesseq_w |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -631,6 +658,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.greatereq_ub |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -663,6 +691,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.greatereq_b |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -692,6 +721,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.greatereq_uw |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -723,6 +753,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.greatereq_w |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -754,6 +785,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // TODO via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.equal_b |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -785,6 +817,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.notequal_b |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -818,6 +851,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.equal_w |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -853,6 +887,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args or regs
         asmgen.translateExpression(left)
         asmgen.translateExpression(right)
         asmgen.out("  jsr  prog8_lib.notequal_w |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -898,6 +933,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args
         translateExpression(left)
         translateExpression(right)
         asmgen.out("  jsr  floats.equal_f |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -944,6 +980,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
             }
         }
 
+        // todo via func args
         translateExpression(left)
         translateExpression(right)
         asmgen.out("  jsr  floats.notequal_f |  inx |  lda  P8ESTACK_LO,x |  beq  $jumpIfFalseLabel")
@@ -1041,58 +1078,60 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
     }
 
     private fun translateFunctionCallResultOntoStack(expression: FunctionCall) {
-        val functionName = expression.target.nameInSource.last()
-        val builtinFunc = BuiltinFunctions[functionName]
-        if (builtinFunc != null) {
-            asmgen.translateFunctioncallExpression(expression, builtinFunc)
+        // only for use in nested expression evaluation
+
+        val sub = expression.target.targetStatement(program.namespace)
+        if(sub is BuiltinFunctionStatementPlaceholder) {
+            val builtinFunc = BuiltinFunctions.getValue(sub.name)
+            asmgen.translateBuiltinFunctionCallExpression(expression, builtinFunc, true)
         } else {
-            val sub = expression.target.targetSubroutine(program.namespace)!!
+            sub as Subroutine
             val preserveStatusRegisterAfterCall = sub.asmReturnvaluesRegisters.any {it.statusflag!=null}
             asmgen.translateFunctionCall(expression, preserveStatusRegisterAfterCall)
             val returns = sub.returntypes.zip(sub.asmReturnvaluesRegisters)
             for ((_, reg) in returns) {
-                if (!reg.stack) {
-                    // result value in cpu or status registers, put it on the stack
-                    if (reg.registerOrPair != null) {
-                        when (reg.registerOrPair) {
-                            RegisterOrPair.A -> asmgen.out("  sta  P8ESTACK_LO,x |  dex")
-                            RegisterOrPair.Y -> asmgen.out("  tya |  sta  P8ESTACK_LO,x |  dex")
-                            RegisterOrPair.AY -> asmgen.out("  sta  P8ESTACK_LO,x |  tya |  sta  P8ESTACK_HI,x |  dex")
-                            RegisterOrPair.X -> {
-                                // return value in X register has been discarded, just push a zero
-                                if(CompilationTarget.instance.machine.cpu==CpuType.CPU65c02)
-                                    asmgen.out("  stz  P8ESTACK_LO,x")
-                                else
-                                    asmgen.out("  lda  #0 |  sta  P8ESTACK_LO,x")
-                                asmgen.out("  dex")
-                            }
-                            RegisterOrPair.AX -> {
-                                // return value in X register has been discarded, just push a zero in this place
-                                asmgen.out("  sta  P8ESTACK_LO,x")
-                                if(CompilationTarget.instance.machine.cpu==CpuType.CPU65c02)
-                                    asmgen.out("  stz  P8ESTACK_HI,x")
-                                else
-                                    asmgen.out("  lda  #0 |  sta  P8ESTACK_HI,x")
-                                asmgen.out("  dex")
-                            }
-                            RegisterOrPair.XY -> {
-                                // return value in X register has been discarded, just push a zero in this place
-                                if(CompilationTarget.instance.machine.cpu==CpuType.CPU65c02)
-                                    asmgen.out("  stz  P8ESTACK_LO,x")
-                                else
-                                    asmgen.out("  lda  #0 |  sta  P8ESTACK_LO,x")
-                                asmgen.out("  tya |  sta  P8ESTACK_HI,x |  dex")
-                            }
+                // result value in cpu or status registers, put it on the stack
+                if (reg.registerOrPair != null) {
+                    when (reg.registerOrPair) {
+                        RegisterOrPair.A -> asmgen.out("  sta  P8ESTACK_LO,x |  dex")
+                        RegisterOrPair.Y -> asmgen.out("  tya |  sta  P8ESTACK_LO,x |  dex")
+                        RegisterOrPair.AY -> asmgen.out("  sta  P8ESTACK_LO,x |  tya |  sta  P8ESTACK_HI,x |  dex")
+                        RegisterOrPair.X -> {
+                            // return value in X register has been discarded, just push a zero
+                            if(CompilationTarget.instance.machine.cpu==CpuType.CPU65c02)
+                                asmgen.out("  stz  P8ESTACK_LO,x")
+                            else
+                                asmgen.out("  lda  #0 |  sta  P8ESTACK_LO,x")
+                            asmgen.out("  dex")
+                        }
+                        RegisterOrPair.AX -> {
+                            // return value in X register has been discarded, just push a zero in this place
+                            asmgen.out("  sta  P8ESTACK_LO,x")
+                            if(CompilationTarget.instance.machine.cpu==CpuType.CPU65c02)
+                                asmgen.out("  stz  P8ESTACK_HI,x")
+                            else
+                                asmgen.out("  lda  #0 |  sta  P8ESTACK_HI,x")
+                            asmgen.out("  dex")
+                        }
+                        RegisterOrPair.XY -> {
+                            // return value in X register has been discarded, just push a zero in this place
+                            if(CompilationTarget.instance.machine.cpu==CpuType.CPU65c02)
+                                asmgen.out("  stz  P8ESTACK_LO,x")
+                            else
+                                asmgen.out("  lda  #0 |  sta  P8ESTACK_LO,x")
+                            asmgen.out("  tya |  sta  P8ESTACK_HI,x |  dex")
                         }
                     }
-                    // return value from a statusregister is not put on the stack, it should be acted on via a conditional branch such as if_cc
+                }
+                else if(reg.statusflag!=null) {
+                    TODO("statusflag result onto stack")
                 }
             }
         }
     }
 
     private fun translateExpression(typecast: TypecastExpression) {
-        translateExpression(typecast.expression)
+        translateExpression(typecast.expression)        // todo avoid stack
         when(typecast.expression.inferType(program).typeOrElse(DataType.STRUCT)) {
             DataType.UBYTE -> {
                 when(typecast.type) {
@@ -1175,7 +1214,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
                     asmgen.out("  sta  P8ESTACK_LO,x |  dex")
             }
             else -> {
-                translateExpression(expr.addressExpression)
+                translateExpression(expr.addressExpression)  // todo directly into A
                 asmgen.out("  jsr  prog8_lib.read_byte_from_address_on_stack")
                 if(pushResultOnEstack)
                     asmgen.out("  sta  P8ESTACK_LO+1,x")
@@ -1232,6 +1271,7 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
         val leftDt = leftIDt.typeOrElse(DataType.STRUCT)
         val rightDt = rightIDt.typeOrElse(DataType.STRUCT)
         // see if we can apply some optimized routines
+        // TODO avoid using evaluation on stack everywhere
         when(expr.operator) {
             "+" -> {
                 if(leftDt in IntegerDatatypes && rightDt in IntegerDatatypes) {
@@ -1490,13 +1530,13 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
                 || (leftDt in WordDatatypes && rightDt !in WordDatatypes))
             throw AssemblyError("binary operator ${expr.operator} left/right dt not identical")
 
-        // the general, non-optimized cases  TODO optimize more cases....
-        translateExpression(expr.left)
-        translateExpression(expr.right)
         if(leftDt==DataType.STR && rightDt==DataType.STR && expr.operator in comparisonOperators) {
-            translateCompareStrings(expr.operator)
+            translateCompareStrings(expr.left, expr.operator, expr.right)
         }
         else {
+            // the general, non-optimized cases  TODO optimize more cases....
+            translateExpression(expr.left)
+            translateExpression(expr.right)
             when (leftDt) {
                 in ByteDatatypes -> translateBinaryOperatorBytes(expr.operator, leftDt)
                 in WordDatatypes -> translateBinaryOperatorWords(expr.operator, leftDt)
@@ -1507,8 +1547,12 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
     }
 
     private fun translateExpression(expr: PrefixExpression) {
+        // todo avoid using stack
         translateExpression(expr.expression)
-        val type = expr.inferType(program).typeOrElse(DataType.STRUCT)
+        val itype = expr.inferType(program)
+        if(!itype.isKnown)
+            throw AssemblyError("unknown dt")
+        val type = itype.typeOrElse(DataType.STRUCT)
         when(expr.operator) {
             "+" -> {}
             "-" -> {
@@ -1543,7 +1587,10 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
     }
 
     private fun translateExpression(arrayExpr: ArrayIndexedExpression) {
-        val elementDt = arrayExpr.inferType(program).typeOrElse(DataType.STRUCT)
+        val elementIDt = arrayExpr.inferType(program)
+        if(!elementIDt.isKnown)
+            throw AssemblyError("unknown dt")
+        val elementDt = elementIDt.typeOrElse(DataType.STRUCT)
         val arrayVarName = asmgen.asmVariableName(arrayExpr.arrayvar)
         if(arrayExpr.indexer.indexNum!=null) {
             val indexValue = arrayExpr.indexer.constIndex()!! * elementDt.memorySize()
@@ -1682,35 +1729,44 @@ internal class ExpressionsAsmGen(private val program: Program, private val asmge
         }
     }
 
-    private fun translateCompareStrings(operator: String) {
-        asmgen.out(" jsr  prog8_lib.func_strcmp |  lda  P8ESTACK_LO+1,x")    // result  of compare in A
+    private fun translateCompareStrings(s1: Expression, operator: String, s2: Expression) {
+        var src = AsmAssignSource.fromAstSource(s1, program, asmgen)
+        var tgt = AsmAssignTarget(TargetStorageKind.VARIABLE, program, asmgen, DataType.UWORD, null, variableAsmName = "prog8_lib.strcmp_expression._arg_s1")
+        var assign = AsmAssignment(src, tgt, false, Position.DUMMY)
+        asmgen.translateNormalAssignment(assign)
+        src = AsmAssignSource.fromAstSource(s2, program, asmgen)
+        tgt = AsmAssignTarget(TargetStorageKind.VARIABLE, program, asmgen, DataType.UWORD, null, variableAsmName = "prog8_lib.strcmp_expression._arg_s2")
+        assign = AsmAssignment(src, tgt, false, Position.DUMMY)
+        asmgen.translateNormalAssignment(assign)
+        asmgen.out(" jsr  prog8_lib.strcmp_expression")    // result  of compare is in A
         when(operator) {
-            "==" -> asmgen.out(" and  #1 |  eor  #1 |  sta  P8ESTACK_LO+1,x")
-            "!=" -> asmgen.out(" and  #1 |  sta  P8ESTACK_LO+1,x")
+            "==" -> asmgen.out(" and  #1 |  eor  #1 |  sta  P8ESTACK_LO,x")
+            "!=" -> asmgen.out(" and  #1 |  sta  P8ESTACK_LO,x")
             "<=" -> asmgen.out("""
                 bpl  +
                 lda  #1
                 bne  ++
 +               lda  #0
-+               sta  P8ESTACK_LO+1,x""")
++               sta  P8ESTACK_LO,x""")
             ">=" -> asmgen.out("""
                 bmi  +
                 lda  #1
                 bne  ++
 +               lda  #0
-+               sta  P8ESTACK_LO+1,x""")
++               sta  P8ESTACK_LO,x""")
             "<" -> asmgen.out("""
                 bmi  +
                 lda  #0
                 beq  ++
 +               lda  #1
-+               sta  P8ESTACK_LO+1,x""")
++               sta  P8ESTACK_LO,x""")
             ">" -> asmgen.out("""
                 bpl  +
                 lda  #0
                 beq  ++
 +               lda  #1
-+               sta  P8ESTACK_LO+1,x""")
++               sta  P8ESTACK_LO,x""")
         }
+        asmgen.out("  dex")
     }
 }

compiler/src/prog8/compiler/target/c64/codegen/ForLoopsAsmGen.kt

@@ -13,12 +13,14 @@ import prog8.compiler.target.c64.codegen.assignment.TargetStorageKind
 import prog8.compiler.toHex
 import kotlin.math.absoluteValue
 
+// todo reduce use of stack eval translateExpression()
+
 internal class ForLoopsAsmGen(private val program: Program, private val asmgen: AsmGen) {
 
     internal fun translate(stmt: ForLoop) {
         val iterableDt = stmt.iterable.inferType(program)
         if(!iterableDt.isKnown)
-            throw AssemblyError("can't determine iterable dt")
+            throw AssemblyError("unknown dt")
         when(stmt.iterable) {
             is RangeExpr -> {
                 val range = (stmt.iterable as RangeExpr).toConstantIntegerRange()

compiler/src/prog8/compiler/target/c64/codegen/FunctionCallAsmGen.kt

@@ -14,13 +14,23 @@ import prog8.compiler.target.c64.codegen.assignment.*
 
 internal class FunctionCallAsmGen(private val program: Program, private val asmgen: AsmGen) {
 
+    internal fun translateFunctionCallStatement(stmt: IFunctionCall) {
+        val sub = stmt.target.targetSubroutine(program.namespace)!!
+        val preserveStatusRegisterAfterCall = sub.asmReturnvaluesRegisters.any {it.statusflag!=null}
+        translateFunctionCall(stmt, preserveStatusRegisterAfterCall)
+        // functioncalls no longer return results on the stack, so simply ignore the results in the registers
+        if(preserveStatusRegisterAfterCall)
+            asmgen.out("  plp\t; restore status flags from call")
+    }
+
+
     internal fun translateFunctionCall(stmt: IFunctionCall, preserveStatusRegisterAfterCall: Boolean) {
         // output the code to setup the parameters and perform the actual call
         // does NOT output the code to deal with the result values!
         val sub = stmt.target.targetSubroutine(program.namespace) ?: throw AssemblyError("undefined subroutine ${stmt.target}")
         val saveX = CpuRegister.X in sub.asmClobbers || sub.regXasResult() || sub.regXasParam()
         if(saveX)
-            asmgen.saveRegister(CpuRegister.X, preserveStatusRegisterAfterCall, (stmt as Node).definingSubroutine())
+            asmgen.saveRegister(CpuRegister.X, preserveStatusRegisterAfterCall, (stmt as Node).definingSubroutine()!!)
 
         val subName = asmgen.asmSymbolName(stmt.target)
         if(stmt.args.isNotEmpty()) {
@@ -33,7 +43,7 @@ internal class FunctionCallAsmGen(private val program: Program, private val asmg
                 // via registers
                 if(sub.parameters.size==1) {
                     // just a single parameter, no risk of clobbering registers
-                    argumentViaRegister(sub, sub.parameters.withIndex().single(), stmt.args[0])
+                    argumentViaRegister(sub, IndexedValue(0, sub.parameters.single()), stmt.args[0])
                 } else {
                     // multiple register arguments, risk of register clobbering.
                     // evaluate arguments onto the stack, and load the registers from the evaluated values on the stack.
@@ -87,7 +97,6 @@ internal class FunctionCallAsmGen(private val program: Program, private val asmg
 
         for(argi in stmt.args.zip(sub.asmParameterRegisters).withIndex()) {
             when {
-                argi.value.second.stack -> TODO("asmsub @stack parameter")
                 argi.value.second.statusflag == Statusflag.Pc -> {
                     require(argForCarry == null)
                     argForCarry = argi
@@ -150,7 +159,7 @@ internal class FunctionCallAsmGen(private val program: Program, private val asmg
         // pass parameter via a regular variable (not via registers)
         val valueIDt = value.inferType(program)
         if(!valueIDt.isKnown)
-            throw AssemblyError("arg type unknown")
+            throw AssemblyError("unknown dt")
         val valueDt = valueIDt.typeOrElse(DataType.STRUCT)
         if(!isArgumentTypeCompatible(valueDt, parameter.value.type))
             throw AssemblyError("argument type incompatible")
@@ -166,7 +175,7 @@ internal class FunctionCallAsmGen(private val program: Program, private val asmg
         // pass argument via a register parameter
         val valueIDt = value.inferType(program)
         if(!valueIDt.isKnown)
-            throw AssemblyError("arg type unknown")
+            throw AssemblyError("unknown dt")
         val valueDt = valueIDt.typeOrElse(DataType.STRUCT)
         if(!isArgumentTypeCompatible(valueDt, parameter.value.type))
             throw AssemblyError("argument type incompatible")
@@ -174,20 +183,12 @@ internal class FunctionCallAsmGen(private val program: Program, private val asmg
         val paramRegister = sub.asmParameterRegisters[parameter.index]
         val statusflag = paramRegister.statusflag
         val register = paramRegister.registerOrPair
-        val stack = paramRegister.stack
         val requiredDt = parameter.value.type
         if(requiredDt!=valueDt) {
             if(valueDt largerThan requiredDt)
                 throw AssemblyError("can only convert byte values to word param types")
         }
         when {
-            stack -> {
-                // push arg onto the stack
-                // note: argument order is reversed (first argument will be deepest on the stack)
-                asmgen.translateExpression(value)
-                if(requiredDt!=valueDt)
-                    asmgen.signExtendStackLsb(valueDt)
-            }
             statusflag!=null -> {
                 if(requiredDt!=valueDt)
                     throw AssemblyError("for statusflag, byte value is required")
@@ -212,7 +213,7 @@ internal class FunctionCallAsmGen(private val program: Program, private val asmg
 """)
                         }
                         else -> {
-                            asmgen.translateExpression(value)
+                            asmgen.translateExpression(value)   // todo directly into A
                             asmgen.out("""
             inx
             pha

compiler/src/prog8/compiler/target/c64/codegen/PostIncrDecrAsmGen.kt

@@ -19,7 +19,7 @@ internal class PostIncrDecrAsmGen(private val program: Program, private val asmg
         when {
             targetIdent!=null -> {
                 val what = asmgen.asmVariableName(targetIdent)
-                when (stmt.target.inferType(program, stmt).typeOrElse(DataType.STRUCT)) {
+                when (stmt.target.inferType(program).typeOrElse(DataType.STRUCT)) {
                     in ByteDatatypes -> asmgen.out(if (incr) "  inc  $what" else "  dec  $what")
                     in WordDatatypes -> {
                         if(incr)
@@ -54,7 +54,7 @@ internal class PostIncrDecrAsmGen(private val program: Program, private val asmg
                             asmgen.out("+\tdec  ${'$'}ffff\t; modified")
                     }
                     else -> {
-                        asmgen.translateExpression(addressExpr)
+                        asmgen.translateExpression(addressExpr)    // todo directly into AY?
                         asmgen.out("""
                             inx
                             lda  P8ESTACK_LO,x
@@ -97,7 +97,7 @@ internal class PostIncrDecrAsmGen(private val program: Program, private val asmg
                 else
                 {
                     asmgen.loadScaledArrayIndexIntoRegister(targetArrayIdx, elementDt, CpuRegister.A)
-                    asmgen.saveRegister(CpuRegister.X, false, scope)
+                    asmgen.saveRegister(CpuRegister.X, false, scope!!)
                     asmgen.out("  tax")
                     when(elementDt) {
                         in ByteDatatypes -> {

compiler/src/prog8/compiler/target/c64/codegen/assignment/AsmAssignment.kt

@@ -3,10 +3,7 @@ package prog8.compiler.target.c64.codegen.assignment
 import prog8.ast.Program
 import prog8.ast.base.*
 import prog8.ast.expressions.*
-import prog8.ast.statements.AssignTarget
-import prog8.ast.statements.Assignment
-import prog8.ast.statements.DirectMemoryWrite
-import prog8.ast.statements.Subroutine
+import prog8.ast.statements.*
 import prog8.compiler.AssemblyError
 import prog8.compiler.target.c64.codegen.AsmGen
 
@@ -58,7 +55,10 @@ internal class AsmAssignTarget(val kind: TargetStorageKind,
 
     companion object {
         fun fromAstAssignment(assign: Assignment, program: Program, asmgen: AsmGen): AsmAssignTarget = with(assign.target) {
-            val dt = inferType(program, assign).typeOrElse(DataType.STRUCT)
+            val idt = inferType(program)
+            if(!idt.isKnown)
+                throw AssemblyError("unknown dt")
+            val dt = idt.typeOrElse(DataType.STRUCT)
             when {
                 identifier != null -> AsmAssignTarget(TargetStorageKind.VARIABLE, program, asmgen, dt, assign.definingSubroutine(), variableAsmName = asmgen.asmVariableName(identifier!!), origAstTarget =  this)
                 arrayindexed != null -> AsmAssignTarget(TargetStorageKind.ARRAY, program, asmgen, dt, assign.definingSubroutine(), array = arrayindexed, origAstTarget =  this)
@@ -101,6 +101,14 @@ internal class AsmAssignSource(val kind: SourceStorageKind,
             asmgen.asmVariableName(array.arrayvar)
 
     companion object {
+        fun fromAstSource(indexer: ArrayIndex, program: Program, asmgen: AsmGen): AsmAssignSource {
+            return when {
+                indexer.indexNum!=null -> fromAstSource(indexer.indexNum!!, program, asmgen)
+                indexer.indexVar!=null -> fromAstSource(indexer.indexVar!!, program, asmgen)
+                else -> throw AssemblyError("weird indexer")
+            }
+        }
+
         fun fromAstSource(value: Expression, program: Program, asmgen: AsmGen): AsmAssignSource {
             val cv = value.constValue(program)
             if(cv!=null)
@@ -121,33 +129,30 @@ internal class AsmAssignSource(val kind: SourceStorageKind,
                     val dt = value.inferType(program).typeOrElse(DataType.STRUCT)
                     AsmAssignSource(SourceStorageKind.ARRAY, program, asmgen, dt, array = value)
                 }
-                else -> {
-                    if(value is FunctionCall) {
-                        // functioncall.
-                        val asmSub = value.target.targetStatement(program.namespace)
-                        if(asmSub is Subroutine && asmSub.isAsmSubroutine) {
-                            when (asmSub.asmReturnvaluesRegisters.count { rr -> rr.registerOrPair!=null }) {
-                                0 -> throw AssemblyError("can't translate zero return values in assignment")
-                                1 -> {
-                                    // assignment generation itself must make sure the status register is correct after the subroutine call, if status register is involved!
-                                    val reg = asmSub.asmReturnvaluesRegisters.single { rr->rr.registerOrPair!=null }.registerOrPair!!
-                                    val dt = when(reg) {
-                                        RegisterOrPair.A,
-                                        RegisterOrPair.X,
-                                        RegisterOrPair.Y -> DataType.UBYTE
-                                        RegisterOrPair.AX,
-                                        RegisterOrPair.AY,
-                                        RegisterOrPair.XY -> DataType.UWORD
-                                    }
-                                    return AsmAssignSource(SourceStorageKind.EXPRESSION, program, asmgen, dt, expression = value)
-                                }
-                                else -> throw AssemblyError("can't translate multiple return values in assignment")
-                            }
+                is FunctionCall -> {
+                    when (val sub = value.target.targetStatement(program.namespace)) {
+                        is Subroutine -> {
+                            val returnType = sub.returntypes.zip(sub.asmReturnvaluesRegisters).firstOrNull { rr -> rr.second.registerOrPair != null }?.first
+                                    ?: throw AssemblyError("can't translate zero return values in assignment")
+
+                            AsmAssignSource(SourceStorageKind.EXPRESSION, program, asmgen, returnType, expression = value)
+                        }
+                        is BuiltinFunctionStatementPlaceholder -> {
+                            val returnType = value.inferType(program)
+                            if(!returnType.isKnown)
+                                throw AssemblyError("unknown dt")
+                            AsmAssignSource(SourceStorageKind.EXPRESSION, program, asmgen, returnType.typeOrElse(DataType.STRUCT), expression = value)
+                        }
+                        else -> {
+                            throw AssemblyError("weird call")
                         }
                     }
-
-                    val dt = value.inferType(program).typeOrElse(DataType.STRUCT)
-                    return AsmAssignSource(SourceStorageKind.EXPRESSION, program, asmgen, dt, expression = value)
+                }
+                else -> {
+                    val dt = value.inferType(program)
+                    if(!dt.isKnown)
+                        throw AssemblyError("unknown dt")
+                    AsmAssignSource(SourceStorageKind.EXPRESSION, program, asmgen, dt.typeOrElse(DataType.STRUCT), expression = value)
                 }
             }
         }

compiler/src/prog8/compiler/target/c64/codegen/assignment/AssignmentAsmGen.kt

@@ -10,6 +10,8 @@ import prog8.compiler.target.CpuType
 import prog8.compiler.target.c64.codegen.AsmGen
 import prog8.compiler.target.c64.codegen.ExpressionsAsmGen
 import prog8.compiler.toHex
+import prog8.functions.BuiltinFunctions
+import prog8.functions.builtinFunctionReturnType
 
 
 internal class AssignmentAsmGen(private val program: Program, private val asmgen: AsmGen, private val exprAsmgen: ExpressionsAsmGen) {
@@ -46,7 +48,13 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
                 val variable = assign.source.asmVarname
                 when (assign.target.datatype) {
                     DataType.UBYTE, DataType.BYTE -> assignVariableByte(assign.target, variable)
-                    DataType.UWORD, DataType.WORD -> assignVariableWord(assign.target, variable)
+                    DataType.WORD -> assignVariableWord(assign.target, variable)
+                    DataType.UWORD -> {
+                        if(assign.source.datatype in PassByReferenceDatatypes)
+                            assignAddressOf(assign.target, variable)
+                        else
+                            assignVariableWord(assign.target, variable)
+                    }
                     DataType.FLOAT -> assignVariableFloat(assign.target, variable)
                     DataType.STR -> assignVariableString(assign.target, variable)
                     else -> throw AssemblyError("unsupported assignment target type ${assign.target.datatype}")
@@ -106,7 +114,7 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
                         assignMemoryByte(assign.target, null, value.addressExpression as IdentifierReference)
                     }
                     else -> {
-                        asmgen.translateExpression(value.addressExpression)
+                        asmgen.translateExpression(value.addressExpression) // TODO directly into AY
                         asmgen.out("  jsr  prog8_lib.read_byte_from_address_on_stack |  inx")
                         assignRegisterByte(assign.target, CpuRegister.A)
                     }
@@ -124,32 +132,76 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
                     is DirectMemoryRead -> throw AssemblyError("source kind should have been memory")
                     is TypecastExpression -> assignTypeCastedValue(assign.target, value.type, value.expression, assign)
                     is FunctionCall -> {
-                        if(value.target.targetSubroutine(program.namespace)?.isAsmSubroutine==true) {
-                            // handle asmsub functioncalls specifically, without shoving stuff on the estack
-                            val sub = value.target.targetSubroutine(program.namespace)!!
-                            val preserveStatusRegisterAfterCall = sub.asmReturnvaluesRegisters.any { it.statusflag != null }
-                            asmgen.translateFunctionCall(value, preserveStatusRegisterAfterCall)
-                            when((sub.asmReturnvaluesRegisters.single { it.registerOrPair!=null }).registerOrPair) {
-                                RegisterOrPair.A -> assignRegisterByte(assign.target, CpuRegister.A)
-                                RegisterOrPair.X -> assignRegisterByte(assign.target, CpuRegister.X)
-                                RegisterOrPair.Y -> assignRegisterByte(assign.target, CpuRegister.Y)
-                                RegisterOrPair.AX -> assignRegisterpairWord(assign.target, RegisterOrPair.AX)
-                                RegisterOrPair.AY -> assignRegisterpairWord(assign.target, RegisterOrPair.AY)
-                                RegisterOrPair.XY -> assignRegisterpairWord(assign.target, RegisterOrPair.XY)
-                                else -> throw AssemblyError("should be just one register byte result value")
+                        when (val sub = value.target.targetStatement(program.namespace)) {
+                            is Subroutine -> {
+                                val preserveStatusRegisterAfterCall = sub.asmReturnvaluesRegisters.any { it.statusflag != null }
+                                asmgen.translateFunctionCall(value, preserveStatusRegisterAfterCall)
+                                val returnValue = sub.returntypes.zip(sub.asmReturnvaluesRegisters).single { it.second.registerOrPair!=null }
+                                when (returnValue.first) {
+                                    DataType.STR -> {
+                                        when(assign.target.datatype) {
+                                            DataType.UWORD -> {
+                                                // assign the address of the string result value
+                                                assignRegisterpairWord(assign.target, RegisterOrPair.AY)
+                                            }
+                                            DataType.STR, DataType.ARRAY_UB, DataType.ARRAY_B -> {
+                                                // copy the actual string result into the target string variable
+                                                asmgen.out("""
+                                                                        pha
+                                                                        lda  #<${assign.target.asmVarname}
+                                                                        sta  P8ZP_SCRATCH_W1
+                                                                        lda  #>${assign.target.asmVarname}
+                                                                        sta  P8ZP_SCRATCH_W1+1
+                                                                        pla
+                                                                        jsr  prog8_lib.strcpy""")
+                                            }
+                                            else -> throw AssemblyError("weird target dt")
+                                        }
+                                    }
+                                    DataType.FLOAT -> {
+                                        // float result from function sits in FAC1
+                                        assignFAC1float(assign.target)
+                                    }
+                                    else -> {
+                                        when (returnValue.second.registerOrPair) {
+                                            RegisterOrPair.A -> assignRegisterByte(assign.target, CpuRegister.A)
+                                            RegisterOrPair.X -> assignRegisterByte(assign.target, CpuRegister.X)
+                                            RegisterOrPair.Y -> assignRegisterByte(assign.target, CpuRegister.Y)
+                                            RegisterOrPair.AX -> assignRegisterpairWord(assign.target, RegisterOrPair.AX)
+                                            RegisterOrPair.AY -> assignRegisterpairWord(assign.target, RegisterOrPair.AY)
+                                            RegisterOrPair.XY -> assignRegisterpairWord(assign.target, RegisterOrPair.XY)
+                                            else -> throw AssemblyError("should be just one register byte result value")
+                                        }
+                                    }
+                                }
+                                if (preserveStatusRegisterAfterCall)
+                                    asmgen.out("  plp\t; restore status flags from call")
+                            }
+                            is BuiltinFunctionStatementPlaceholder -> {
+                                val signature = BuiltinFunctions.getValue(sub.name)
+                                asmgen.translateBuiltinFunctionCallExpression(value, signature, false)
+                                val returntype = builtinFunctionReturnType(sub.name, value.args, program)
+                                if(!returntype.isKnown)
+                                    throw AssemblyError("unknown dt")
+                                when(returntype.typeOrElse(DataType.STRUCT)) {
+                                    in ByteDatatypes -> assignRegisterByte(assign.target, CpuRegister.A)            // function's byte result is in A
+                                    in WordDatatypes -> assignRegisterpairWord(assign.target, RegisterOrPair.AY)    // function's word result is in AY
+                                    DataType.STR -> throw AssemblyError("missing code for assign string from builtin func => copy string or assign string address")
+                                    DataType.FLOAT -> {
+                                        // float result from function sits in FAC1
+                                        assignFAC1float(assign.target)
+                                    }
+                                    else -> throw AssemblyError("weird result type")
+                                }
+                            }
+                            else -> {
+                                throw AssemblyError("weird func call")
                             }
-                            if(preserveStatusRegisterAfterCall)
-                                asmgen.out("  plp\t; restore status flags from call")
-                        } else {
-                            // regular subroutine, return values are (for now) always done via the stack...  TODO optimize this
-                            asmgen.translateExpression(value)
-                            if(assign.target.datatype in WordDatatypes && assign.source.datatype in ByteDatatypes)
-                                asmgen.signExtendStackLsb(assign.source.datatype)
-                            assignStackValue(assign.target)
                         }
                     }
                     else -> {
                         // everything else just evaluate via the stack.
+                        // TODO byte and word values not via stack but via A / AY registers?
                         asmgen.translateExpression(value)
                         if(assign.target.datatype in WordDatatypes && assign.source.datatype in ByteDatatypes)
                             asmgen.signExtendStackLsb(assign.source.datatype)
@@ -167,7 +219,10 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
     }
 
     private fun assignTypeCastedValue(target: AsmAssignTarget, targetDt: DataType, value: Expression, origAssign: AsmAssignment) {
-        val valueDt = value.inferType(program).typeOrElse(DataType.STRUCT)
+        val valueIDt = value.inferType(program)
+        if(!valueIDt.isKnown)
+            throw AssemblyError("unknown dt")
+        val valueDt = valueIDt.typeOrElse(DataType.STRUCT)
         when(value) {
             is IdentifierReference -> {
                 if(targetDt in WordDatatypes) {
@@ -213,6 +268,7 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
         }
 
         // give up, do it via eval stack
+        // TODO byte and word values not via stack but directly via A or AY registers?
         asmgen.translateExpression(origAssign.source.expression!!)
         assignStackValue(target)
     }
@@ -243,9 +299,9 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
                     DataType.STR -> {
                         asmgen.out("""
                             lda  #<${target.asmVarname}
+                            ldy  #>${target.asmVarname}
                             sta  P8ZP_SCRATCH_W1
-                            lda  #>${target.asmVarname}
-                            sta  P8ZP_SCRATCH_W1+1
+                            sty  P8ZP_SCRATCH_W1+1
                             inx
                             lda  P8ESTACK_HI,x
                             tay
@@ -386,17 +442,17 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
                     DataType.UWORD -> {
                         asmgen.out("""
                             lda #<$sourceName
+                            ldy #>$sourceName
                             sta ${target.asmVarname}
-                            lda #>$sourceName
-                            sta ${target.asmVarname}+1
+                            sty ${target.asmVarname}+1
                         """)
                     }
                     DataType.STR, DataType.ARRAY_UB, DataType.ARRAY_B -> {
                         asmgen.out("""
                             lda  #<${target.asmVarname}
+                            ldy  #>${target.asmVarname}
                             sta  P8ZP_SCRATCH_W1
-                            lda  #>${target.asmVarname}
-                            sta  P8ZP_SCRATCH_W1+1
+                            sty  P8ZP_SCRATCH_W1+1
                             lda  #<$sourceName
                             ldy  #>$sourceName
                             jsr  prog8_lib.strcpy""")
@@ -407,9 +463,9 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
             TargetStorageKind.STACK -> {
                 asmgen.out("""
                     lda  #<$sourceName
+                    ldy  #>$sourceName+1
                     sta  P8ESTACK_LO,x
-                    lda  #>$sourceName+1
-                    sta  P8ESTACK_HI,x
+                    sty  P8ESTACK_HI,x
                     dex""")
             }
             else -> throw AssemblyError("string-assign to weird target")
@@ -503,15 +559,47 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
             }
             TargetStorageKind.STACK -> {
                 asmgen.out("""
-                    lda  #$sourceName
+                    lda  $sourceName
                     sta  P8ESTACK_LO,x
-                    lda  #$sourceName+1
+                    lda  $sourceName+1
                     sta  P8ESTACK_HI,x
                     dex""")
             }
         }
     }
 
+    private fun assignFAC1float(target: AsmAssignTarget) {
+        when(target.kind) {
+            TargetStorageKind.VARIABLE -> {
+                asmgen.out("""
+                    stx  P8ZP_SCRATCH_REG
+                    ldx  #<${target.asmVarname}
+                    ldy  #>${target.asmVarname}
+                    jsr  floats.MOVMF
+                    ldx  P8ZP_SCRATCH_REG
+                """)
+            }
+            TargetStorageKind.ARRAY -> {
+                asmgen.out("""
+                    lda  #<${target.asmVarname} 
+                    ldy  #>${target.asmVarname}
+                    sta  P8ZP_SCRATCH_W1
+                    sty  P8ZP_SCRATCH_W1+1""")
+                if(target.array!!.indexer.indexNum!=null) {
+                    val index = target.array.indexer.constIndex()!!
+                    asmgen.out(" lda  #$index")
+                } else {
+                    val asmvarname = asmgen.asmVariableName(target.array.indexer.indexVar!!)
+                    asmgen.out(" lda  $asmvarname")
+                }
+                asmgen.out("  jsr  floats.set_array_float_from_fac1")
+            }
+            TargetStorageKind.MEMORY -> throw AssemblyError("can't assign float to mem byte")
+            TargetStorageKind.REGISTER -> throw AssemblyError("can't assign float to register")
+            TargetStorageKind.STACK -> asmgen.out("  jsr  floats.push_fac1")
+        }
+    }
+
     private fun assignVariableFloat(target: AsmAssignTarget, sourceName: String) {
         when(target.kind) {
             TargetStorageKind.VARIABLE -> {
@@ -586,7 +674,7 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
             }
             TargetStorageKind.STACK -> {
                 asmgen.out("""
-                    lda  #$sourceName
+                    lda  $sourceName
                     sta  P8ESTACK_LO,x
                     dex""")
             }
@@ -763,7 +851,10 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
     }
 
     private fun assignRegisterpairWord(target: AsmAssignTarget, regs: RegisterOrPair) {
-        require(target.datatype in WordDatatypes)
+        require(target.datatype in NumericDatatypes)
+        if(target.datatype==DataType.FLOAT)
+            throw AssemblyError("float value should be from FAC1 not from registerpair memory pointer")
+
         when(target.kind) {
             TargetStorageKind.VARIABLE -> {
                 when(regs) {
@@ -774,7 +865,20 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
                 }
             }
             TargetStorageKind.ARRAY -> {
-                TODO("store register pair $regs into word-array ${target.array}")
+                // TODO can be a bit more optimized if the array indexer is a number
+                when(regs) {
+                    RegisterOrPair.AX -> asmgen.out("  pha |  txa |  pha")
+                    RegisterOrPair.AY -> asmgen.out("  pha |  tya |  pha")
+                    RegisterOrPair.XY -> asmgen.out("  txa |  pha |  tya |  pha")
+                    else -> throw AssemblyError("expected reg pair")
+                }
+                asmgen.loadScaledArrayIndexIntoRegister(target.array!!, DataType.UWORD, CpuRegister.Y, true)
+                asmgen.out("""
+                    pla
+                    sta  ${target.asmVarname},y
+                    dey
+                    pla
+                    sta  ${target.asmVarname},y""")
             }
             TargetStorageKind.REGISTER -> {
                 when(regs) {
@@ -1139,7 +1243,7 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
             }
             else -> {
                 asmgen.out(" lda  $ldaInstructionArg |  pha")
-                asmgen.translateExpression(addressExpr)
+                asmgen.translateExpression(addressExpr)     // TODO directly into AY
                 asmgen.out("""
                     inx
                     lda  P8ESTACK_LO,x
@@ -1171,8 +1275,8 @@ internal class AssignmentAsmGen(private val program: Program, private val asmgen
                 asmgen.storeByteIntoPointer(addressExpr, null)
             }
             else -> {
-                asmgen.saveRegister(register, false, memoryAddress.definingSubroutine())
-                asmgen.translateExpression(addressExpr)
+                asmgen.saveRegister(register, false, memoryAddress.definingSubroutine()!!)
+                asmgen.translateExpression(addressExpr) // TODO directly into AY
                 asmgen.restoreRegister(CpuRegister.A, false)
                 asmgen.out("""
                     inx

compiler/src/prog8/compiler/target/c64/codegen/assignment/AugmentableAssignmentAsmGen.kt

@@ -22,7 +22,10 @@ internal class AugmentableAssignmentAsmGen(private val program: Program,
         when (val value = assign.source.expression!!) {
             is PrefixExpression -> {
                 // A = -A , A = +A, A = ~A, A = not A
-                val type = value.inferType(program).typeOrElse(DataType.STRUCT)
+                val itype = value.inferType(program)
+                if(!itype.isKnown)
+                    throw AssemblyError("unknown dt")
+                val type = itype.typeOrElse(DataType.STRUCT)
                 when (value.operator) {
                     "+" -> {}
                     "-" -> inplaceNegate(assign.target, type)
@@ -136,13 +139,13 @@ internal class AugmentableAssignmentAsmGen(private val program: Program,
                     }
                     DataType.FLOAT -> {
                         when {
-                            valueLv != null -> inplaceModification_float_litval_to_variable(target.asmVarname, operator, valueLv.toDouble(), target.scope)
-                            ident != null -> inplaceModification_float_variable_to_variable(target.asmVarname, operator, ident, target.scope)
+                            valueLv != null -> inplaceModification_float_litval_to_variable(target.asmVarname, operator, valueLv.toDouble(), target.scope!!)
+                            ident != null -> inplaceModification_float_variable_to_variable(target.asmVarname, operator, ident, target.scope!!)
                             value is TypecastExpression -> {
                                 if (tryRemoveRedundantCast(value, target, operator)) return
-                                inplaceModification_float_value_to_variable(target.asmVarname, operator, value, target.scope)
+                                inplaceModification_float_value_to_variable(target.asmVarname, operator, value, target.scope!!)
                             }
-                            else -> inplaceModification_float_value_to_variable(target.asmVarname, operator, value, target.scope)
+                            else -> inplaceModification_float_value_to_variable(target.asmVarname, operator, value, target.scope!!)
                         }
                     }
                     else -> throw AssemblyError("weird type to do in-place modification on ${target.datatype}")
@@ -210,9 +213,13 @@ internal class AugmentableAssignmentAsmGen(private val program: Program,
 
     private fun tryRemoveRedundantCast(value: TypecastExpression, target: AsmAssignTarget, operator: String): Boolean {
         if (target.datatype == value.type) {
-            val childDt = value.expression.inferType(program).typeOrElse(DataType.STRUCT)
-            if (value.type.equalsSize(childDt) || value.type.largerThan(childDt)) {
+            val childIDt = value.expression.inferType(program)
+            if(!childIDt.isKnown)
+                throw AssemblyError("unknown dt")
+            val childDt = childIDt.typeOrElse(DataType.STRUCT)
+            if (value.type!=DataType.FLOAT && (value.type.equalsSize(childDt) || value.type.largerThan(childDt))) {
                 // this typecast is redundant here; the rest of the code knows how to deal with the uncasted value.
+                // (works for integer types, not for float.)
                 inplaceModification(target, operator, value.expression)
                 return true
             }
@@ -433,7 +440,7 @@ internal class AugmentableAssignmentAsmGen(private val program: Program,
                 asmgen.out("  lda  P8ESTACK_LO+1,x |  tay |  lda  $name |  jsr  math.divmod_ub_asm |  sta  $name")
             }
             "<<" -> {
-                asmgen.translateExpression(value)
+                asmgen.translateExpression(value)       // todo directly into Y
                 asmgen.out("""
                     inx
                     ldy  P8ESTACK_LO,x
@@ -444,7 +451,7 @@ internal class AugmentableAssignmentAsmGen(private val program: Program,
 +""")
             }
             ">>" -> {
-                asmgen.translateExpression(value)
+                asmgen.translateExpression(value)   // todo directly into Y
                 if(dt==DataType.UBYTE) {
                     asmgen.out("""
                         inx
@@ -1096,7 +1103,11 @@ internal class AugmentableAssignmentAsmGen(private val program: Program,
         if(asmgen.options.slowCodegenWarnings)
             println("warning: slow stack evaluation used (4):  $name $operator= ${value::class.simpleName} at ${value.position}") // TODO
         asmgen.translateExpression(value)
-        val valueDt = value.inferType(program).typeOrElse(DataType.STRUCT)
+
+        val valueiDt = value.inferType(program)
+        if(!valueiDt.isKnown)
+            throw AssemblyError("unknown dt")
+        val valueDt = valueiDt.typeOrElse(DataType.STRUCT)
 
         fun multiplyWord() {
             asmgen.out("""
@@ -1295,7 +1306,7 @@ internal class AugmentableAssignmentAsmGen(private val program: Program,
         asmgen.out(" inx")
     }
 
-    private fun inplaceModification_float_value_to_variable(name: String, operator: String, value: Expression, scope: Subroutine?) {
+    private fun inplaceModification_float_value_to_variable(name: String, operator: String, value: Expression, scope: Subroutine) {
         // this should be the last resort for code generation for this,
         // because the value is evaluated onto the eval stack (=slow).
         if(asmgen.options.slowCodegenWarnings)
@@ -1350,7 +1361,7 @@ internal class AugmentableAssignmentAsmGen(private val program: Program,
         asmgen.restoreRegister(CpuRegister.X, false)
     }
 
-    private fun inplaceModification_float_variable_to_variable(name: String, operator: String, ident: IdentifierReference, scope: Subroutine?) {
+    private fun inplaceModification_float_variable_to_variable(name: String, operator: String, ident: IdentifierReference, scope: Subroutine) {
         val valueDt = ident.targetVarDecl(program.namespace)!!.datatype
         if(valueDt != DataType.FLOAT)
             throw AssemblyError("float variable expected")
@@ -1419,7 +1430,7 @@ internal class AugmentableAssignmentAsmGen(private val program: Program,
         asmgen.restoreRegister(CpuRegister.X, false)
     }
 
-    private fun inplaceModification_float_litval_to_variable(name: String, operator: String, value: Double, scope: Subroutine?) {
+    private fun inplaceModification_float_litval_to_variable(name: String, operator: String, value: Double, scope: Subroutine) {
         val constValueName = asmgen.getFloatAsmConst(value)
         asmgen.saveRegister(CpuRegister.X, false, scope)
         when (operator) {

compiler/src/prog8/compiler/target/cx16/CX16MachineDefinition.kt

@@ -75,7 +75,7 @@ internal object CX16MachineDefinition: IMachineDefinition {
     internal class CX16Zeropage(options: CompilationOptions) : Zeropage(options) {
 
         override val SCRATCH_B1 = 0x79      // temp storage for a single byte
-        override val SCRATCH_REG = 0x7a     // temp storage for a register
+        override val SCRATCH_REG = 0x7a     // temp storage for a register, must be B1+1
         override val SCRATCH_W1 = 0x7c      // temp storage 1 for a word  $7c+$7d
         override val SCRATCH_W2 = 0x7e      // temp storage 2 for a word  $7e+$7f
 

compiler/src/prog8/functions/BuiltinFunctions.kt

@@ -15,96 +15,165 @@ class FParam(val name: String, val possibleDatatypes: Set<DataType>)
 typealias ConstExpressionCaller = (args: List<Expression>, position: Position, program: Program) -> NumericLiteralValue
 
 
-class FSignature(val pure: Boolean,      // does it have side effects?
+class ReturnConvention(val dt: DataType, val reg: RegisterOrPair?, val floatFac1: Boolean)
+class ParamConvention(val dt: DataType, val reg: RegisterOrPair?, val variable: Boolean)
+class CallConvention(val params: List<ParamConvention>, val returns: ReturnConvention) {
+    override fun toString(): String {
+        val paramConvs =  params.mapIndexed { index, it ->
+            when {
+                it.reg!=null -> "$index:${it.reg}"
+                it.variable -> "$index:variable"
+                else -> "$index:???"
+            }
+        }
+        val returnConv =
+                when {
+                    returns.reg!=null -> returns.reg.toString()
+                    returns.floatFac1 -> "floatFAC1"
+                    else -> "<no returnvalue>"
+                }
+        return "CallConvention[" + paramConvs.joinToString() + " ; returns: $returnConv]"
+    }
+}
+
+
+class FSignature(val name: String,
+                 val pure: Boolean,      // does it have side effects?
                  val parameters: List<FParam>,
-                 val returntype: DataType?,
-                 val constExpressionFunc: ConstExpressionCaller? = null)
+                 val known_returntype: DataType?,     // specify return type if fixed, otherwise null if it depends on the arguments
+                 val constExpressionFunc: ConstExpressionCaller? = null) {
 
+    fun callConvention(actualParamTypes: List<DataType>): CallConvention {
+        val returns = when(known_returntype) {
+            DataType.UBYTE, DataType.BYTE -> ReturnConvention(known_returntype, RegisterOrPair.A, false)
+            DataType.UWORD, DataType.WORD -> ReturnConvention(known_returntype, RegisterOrPair.AY, false)
+            DataType.FLOAT -> ReturnConvention(known_returntype, null, true)
+            in PassByReferenceDatatypes -> ReturnConvention(known_returntype!!, RegisterOrPair.AY, false)
+            else -> {
+                val paramType = actualParamTypes.first()
+                if(pure)
+                    // return type depends on arg type
+                    when(paramType) {
+                        DataType.UBYTE, DataType.BYTE -> ReturnConvention(paramType, RegisterOrPair.A, false)
+                        DataType.UWORD, DataType.WORD -> ReturnConvention(paramType, RegisterOrPair.AY, false)
+                        DataType.FLOAT -> ReturnConvention(paramType, null, true)
+                        in PassByReferenceDatatypes -> ReturnConvention(paramType, RegisterOrPair.AY, false)
+                        else -> ReturnConvention(paramType, null, false)
+                    }
+                else {
+                    ReturnConvention(paramType, null, false)
+                }
+            }
+        }
+        return when {
+            actualParamTypes.isEmpty() -> CallConvention(emptyList(), returns)
+            actualParamTypes.size==1 -> {
+                // one parameter? via register/registerpair
+                val paramConv = when(val paramType = actualParamTypes[0]) {
+                    DataType.UBYTE, DataType.BYTE -> ParamConvention(paramType, RegisterOrPair.A, false)
+                    DataType.UWORD, DataType.WORD -> ParamConvention(paramType, RegisterOrPair.AY, false)
+                    DataType.FLOAT -> ParamConvention(paramType, RegisterOrPair.AY, false)
+                    in PassByReferenceDatatypes -> ParamConvention(paramType, RegisterOrPair.AY, false)
+                    else -> ParamConvention(paramType, null, false)
+                }
+                CallConvention(listOf(paramConv), returns)
+            }
+            else -> {
+                // multiple parameters? via variables
+                val paramConvs = actualParamTypes.map { ParamConvention(it, null, true) }
+                CallConvention(paramConvs, returns)
+            }
+        }
+    }
+}
 
-val BuiltinFunctions = mapOf(
+private val functionSignatures: List<FSignature> = listOf(
         // this set of function have no return value and operate in-place:
-    "rol"         to FSignature(false, listOf(FParam("item", setOf(DataType.UBYTE, DataType.UWORD))), null),
-    "ror"         to FSignature(false, listOf(FParam("item", setOf(DataType.UBYTE, DataType.UWORD))), null),
-    "rol2"        to FSignature(false, listOf(FParam("item", setOf(DataType.UBYTE, DataType.UWORD))), null),
-    "ror2"        to FSignature(false, listOf(FParam("item", setOf(DataType.UBYTE, DataType.UWORD))), null),
-    "sort"        to FSignature(false, listOf(FParam("array", ArrayDatatypes)), null),
-    "reverse"     to FSignature(false, listOf(FParam("array", ArrayDatatypes)), null),
+    FSignature("rol"         , false, listOf(FParam("item", setOf(DataType.UBYTE, DataType.UWORD))), null),
+    FSignature("ror"         , false, listOf(FParam("item", setOf(DataType.UBYTE, DataType.UWORD))), null),
+    FSignature("rol2"        , false, listOf(FParam("item", setOf(DataType.UBYTE, DataType.UWORD))), null),
+    FSignature("ror2"        , false, listOf(FParam("item", setOf(DataType.UBYTE, DataType.UWORD))), null),
+    FSignature("sort"        , false, listOf(FParam("array", ArrayDatatypes)), null),
+    FSignature("reverse"     , false, listOf(FParam("array", ArrayDatatypes)), null),
         // these few have a return value depending on the argument(s):
-    "max"         to FSignature(true, listOf(FParam("values", ArrayDatatypes)), null) { a, p, prg -> collectionArg(a, p, prg, ::builtinMax) },    // type depends on args
-    "min"         to FSignature(true, listOf(FParam("values", ArrayDatatypes)), null) { a, p, prg -> collectionArg(a, p, prg, ::builtinMin) },    // type depends on args
-    "sum"         to FSignature(true, listOf(FParam("values", ArrayDatatypes)), null) { a, p, prg -> collectionArg(a, p, prg, ::builtinSum) },      // type depends on args
-    "abs"         to FSignature(true, listOf(FParam("value", NumericDatatypes)), null, ::builtinAbs),      // type depends on argument
-    "len"         to FSignature(true, listOf(FParam("values", IterableDatatypes)), null, ::builtinLen),    // type is UBYTE or UWORD depending on actual length
-    "sizeof"      to FSignature(true, listOf(FParam("object", DataType.values().toSet())), DataType.UBYTE, ::builtinSizeof),
+    FSignature("max"         , true, listOf(FParam("values", ArrayDatatypes)), null) { a, p, prg -> collectionArg(a, p, prg, ::builtinMax) },    // type depends on args
+    FSignature("min"         , true, listOf(FParam("values", ArrayDatatypes)), null) { a, p, prg -> collectionArg(a, p, prg, ::builtinMin) },    // type depends on args
+    FSignature("sum"         , true, listOf(FParam("values", ArrayDatatypes)), null) { a, p, prg -> collectionArg(a, p, prg, ::builtinSum) },      // type depends on args
+    FSignature("abs"         , true, listOf(FParam("value", NumericDatatypes)), null, ::builtinAbs),      // type depends on argument
+    FSignature("len"         , true, listOf(FParam("values", IterableDatatypes)), null, ::builtinLen),    // type is UBYTE or UWORD depending on actual length
+    FSignature("sizeof"      , true, listOf(FParam("object", DataType.values().toSet())), DataType.UBYTE, ::builtinSizeof),
         // normal functions follow:
-    "sgn"         to FSignature(true, listOf(FParam("value", NumericDatatypes)), DataType.BYTE, ::builtinSgn ),
-    "sin"         to FSignature(true, listOf(FParam("rads", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::sin) },
-    "sin8"        to FSignature(true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.BYTE, ::builtinSin8 ),
-    "sin8u"       to FSignature(true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.UBYTE, ::builtinSin8u ),
-    "sin16"       to FSignature(true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.WORD, ::builtinSin16 ),
-    "sin16u"      to FSignature(true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.UWORD, ::builtinSin16u ),
-    "cos"         to FSignature(true, listOf(FParam("rads", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::cos) },
-    "cos8"        to FSignature(true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.BYTE, ::builtinCos8 ),
-    "cos8u"       to FSignature(true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.UBYTE, ::builtinCos8u ),
-    "cos16"       to FSignature(true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.WORD, ::builtinCos16 ),
-    "cos16u"      to FSignature(true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.UWORD, ::builtinCos16u ),
-    "tan"         to FSignature(true, listOf(FParam("rads", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::tan) },
-    "atan"        to FSignature(true, listOf(FParam("rads", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::atan) },
-    "ln"          to FSignature(true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::log) },
-    "log2"        to FSignature(true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, ::log2) },
-    "sqrt16"      to FSignature(true, listOf(FParam("value", setOf(DataType.UWORD))), DataType.UBYTE) { a, p, prg -> oneIntArgOutputInt(a, p, prg) { sqrt(it.toDouble()).toInt() } },
-    "sqrt"        to FSignature(true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::sqrt) },
-    "rad"         to FSignature(true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::toRadians) },
-    "deg"         to FSignature(true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::toDegrees) },
-    "round"       to FSignature(true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArgOutputWord(a, p, prg, Math::round) },
-    "floor"       to FSignature(true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArgOutputWord(a, p, prg, Math::floor) },
-    "ceil"        to FSignature(true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArgOutputWord(a, p, prg, Math::ceil) },
-    "any"         to FSignature(true, listOf(FParam("values", ArrayDatatypes)), DataType.UBYTE) { a, p, prg -> collectionArg(a, p, prg, ::builtinAny) },
-    "all"         to FSignature(true, listOf(FParam("values", ArrayDatatypes)), DataType.UBYTE) { a, p, prg -> collectionArg(a, p, prg, ::builtinAll) },
-    "lsb"         to FSignature(true, listOf(FParam("value", setOf(DataType.UWORD, DataType.WORD))), DataType.UBYTE) { a, p, prg -> oneIntArgOutputInt(a, p, prg) { x: Int -> x and 255 }},
-    "msb"         to FSignature(true, listOf(FParam("value", setOf(DataType.UWORD, DataType.WORD))), DataType.UBYTE) { a, p, prg -> oneIntArgOutputInt(a, p, prg) { x: Int -> x ushr 8 and 255}},
-    "mkword"      to FSignature(true, listOf(FParam("msb", setOf(DataType.UBYTE)), FParam("lsb", setOf(DataType.UBYTE))), DataType.UWORD, ::builtinMkword),
-    "rnd"         to FSignature(true, emptyList(), DataType.UBYTE),
-    "rndw"        to FSignature(true, emptyList(), DataType.UWORD),
-    "rndf"        to FSignature(true, emptyList(), DataType.FLOAT),
-    "exit"        to FSignature(false, listOf(FParam("returnvalue", setOf(DataType.UBYTE))), null),
-    "rsave"       to FSignature(false, emptyList(), null),
-    "rrestore"    to FSignature(false, emptyList(), null),
-    "set_carry"   to FSignature(false, emptyList(), null),
-    "clear_carry" to FSignature(false, emptyList(), null),
-    "set_irqd"    to FSignature(false, emptyList(), null),
-    "clear_irqd"  to FSignature(false, emptyList(), null),
-    "read_flags"  to FSignature(false, emptyList(), DataType.UBYTE),
-    "swap"        to FSignature(false, listOf(FParam("first", NumericDatatypes), FParam("second", NumericDatatypes)), null),
-    "memcopy"     to FSignature(false, listOf(
+    FSignature("sgn"         , true, listOf(FParam("value", NumericDatatypes)), DataType.BYTE, ::builtinSgn ),
+    FSignature("sin"         , true, listOf(FParam("rads", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::sin) },
+    FSignature("sin8"        , true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.BYTE, ::builtinSin8 ),
+    FSignature("sin8u"       , true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.UBYTE, ::builtinSin8u ),
+    FSignature("sin16"       , true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.WORD, ::builtinSin16 ),
+    FSignature("sin16u"      , true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.UWORD, ::builtinSin16u ),
+    FSignature("cos"         , true, listOf(FParam("rads", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::cos) },
+    FSignature("cos8"        , true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.BYTE, ::builtinCos8 ),
+    FSignature("cos8u"       , true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.UBYTE, ::builtinCos8u ),
+    FSignature("cos16"       , true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.WORD, ::builtinCos16 ),
+    FSignature("cos16u"      , true, listOf(FParam("angle8", setOf(DataType.UBYTE))), DataType.UWORD, ::builtinCos16u ),
+    FSignature("tan"         , true, listOf(FParam("rads", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::tan) },
+    FSignature("atan"        , true, listOf(FParam("rads", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::atan) },
+    FSignature("ln"          , true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::log) },
+    FSignature("log2"        , true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, ::log2) },
+    FSignature("sqrt16"      , true, listOf(FParam("value", setOf(DataType.UWORD))), DataType.UBYTE) { a, p, prg -> oneIntArgOutputInt(a, p, prg) { sqrt(it.toDouble()).toInt() } },
+    FSignature("sqrt"        , true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::sqrt) },
+    FSignature("rad"         , true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::toRadians) },
+    FSignature("deg"         , true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArg(a, p, prg, Math::toDegrees) },
+    FSignature("round"       , true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArgOutputWord(a, p, prg, Math::round) },
+    FSignature("floor"       , true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArgOutputWord(a, p, prg, Math::floor) },
+    FSignature("ceil"        , true, listOf(FParam("value", setOf(DataType.FLOAT))), DataType.FLOAT) { a, p, prg -> oneDoubleArgOutputWord(a, p, prg, Math::ceil) },
+    FSignature("any"         , true, listOf(FParam("values", ArrayDatatypes)), DataType.UBYTE) { a, p, prg -> collectionArg(a, p, prg, ::builtinAny) },
+    FSignature("all"         , true, listOf(FParam("values", ArrayDatatypes)), DataType.UBYTE) { a, p, prg -> collectionArg(a, p, prg, ::builtinAll) },
+    FSignature("lsb"         , true, listOf(FParam("value", setOf(DataType.UWORD, DataType.WORD))), DataType.UBYTE) { a, p, prg -> oneIntArgOutputInt(a, p, prg) { x: Int -> x and 255 }},
+    FSignature("msb"         , true, listOf(FParam("value", setOf(DataType.UWORD, DataType.WORD))), DataType.UBYTE) { a, p, prg -> oneIntArgOutputInt(a, p, prg) { x: Int -> x ushr 8 and 255}},
+    FSignature("mkword"      , true, listOf(FParam("msb", setOf(DataType.UBYTE)), FParam("lsb", setOf(DataType.UBYTE))), DataType.UWORD, ::builtinMkword),
+    FSignature("rnd"         , true, emptyList(), DataType.UBYTE),
+    FSignature("rndw"        , true, emptyList(), DataType.UWORD),
+    FSignature("rndf"        , true, emptyList(), DataType.FLOAT),
+    FSignature("exit"        , false, listOf(FParam("returnvalue", setOf(DataType.UBYTE))), null),
+    FSignature("rsave"       , false, emptyList(), null),
+    FSignature("rrestore"    , false, emptyList(), null),
+    FSignature("set_carry"   , false, emptyList(), null),
+    FSignature("clear_carry" , false, emptyList(), null),
+    FSignature("set_irqd"    , false, emptyList(), null),
+    FSignature("clear_irqd"  , false, emptyList(), null),
+    FSignature("read_flags"  , false, emptyList(), DataType.UBYTE),
+    FSignature("swap"        , false, listOf(FParam("first", NumericDatatypes), FParam("second", NumericDatatypes)), null),
+    FSignature("memcopy"     , false, listOf(
                             FParam("from", IterableDatatypes + DataType.UWORD),
                             FParam("to", IterableDatatypes + DataType.UWORD),
-                            FParam("numbytes", setOf(DataType.UBYTE))), null),
-    "memset"      to FSignature(false, listOf(
+                            FParam("numbytes", setOf(DataType.UBYTE, DataType.UWORD))), null),
+    FSignature("memset"      , false, listOf(
                             FParam("address", IterableDatatypes + DataType.UWORD),
                             FParam("numbytes", setOf(DataType.UWORD)),
                             FParam("bytevalue", ByteDatatypes)), null),
-    "memsetw"     to FSignature(false, listOf(
+    FSignature("memsetw"     , false, listOf(
                             FParam("address", IterableDatatypes + DataType.UWORD),
                             FParam("numwords", setOf(DataType.UWORD)),
                             FParam("wordvalue", setOf(DataType.UWORD, DataType.WORD))), null),
-    "strlen"      to FSignature(true, listOf(FParam("string", setOf(DataType.STR))), DataType.UBYTE, ::builtinStrlen),
-    "substr"      to FSignature(false, listOf(
+    FSignature("strlen"      , true, listOf(FParam("string", setOf(DataType.STR))), DataType.UBYTE, ::builtinStrlen),
+    FSignature("substr"      , false, listOf(
             FParam("source", IterableDatatypes + DataType.UWORD),
             FParam("target", IterableDatatypes + DataType.UWORD),
             FParam("start", setOf(DataType.UBYTE)),
             FParam("length", setOf(DataType.UBYTE))), null),
-    "leftstr"      to FSignature(false, listOf(
+    FSignature("leftstr"     , false, listOf(
             FParam("source", IterableDatatypes + DataType.UWORD),
             FParam("target", IterableDatatypes + DataType.UWORD),
             FParam("length", setOf(DataType.UBYTE))), null),
-    "rightstr"      to FSignature(false, listOf(
+    FSignature("rightstr"    , false, listOf(
             FParam("source", IterableDatatypes + DataType.UWORD),
             FParam("target", IterableDatatypes + DataType.UWORD),
             FParam("length", setOf(DataType.UBYTE))), null),
-    "strcmp"      to FSignature(false, listOf(FParam("s1", IterableDatatypes + DataType.UWORD), FParam("s2", IterableDatatypes + DataType.UWORD)), DataType.BYTE, null)
+    FSignature("strcmp"      , false, listOf(FParam("s1", IterableDatatypes + DataType.UWORD), FParam("s2", IterableDatatypes + DataType.UWORD)), DataType.BYTE, null)
 )
 
+val BuiltinFunctions = functionSignatures.associateBy { it.name }
+
+
 fun builtinMax(array: List<Number>): Number = array.maxByOrNull { it.toDouble() }!!
 
 fun builtinMin(array: List<Number>): Number = array.minByOrNull { it.toDouble() }!!
@@ -144,17 +213,17 @@ fun builtinFunctionReturnType(function: String, args: List<Expression>, program:
     }
 
     val func = BuiltinFunctions.getValue(function)
-    if(func.returntype!=null)
-        return InferredTypes.knownFor(func.returntype)
-    // function has return values, but the return type depends on the arguments
+    if(func.known_returntype!=null)
+        return InferredTypes.knownFor(func.known_returntype)
 
+    // function has return values, but the return type depends on the arguments
     return when (function) {
         "abs" -> {
             val dt = args.single().inferType(program)
-            if(dt.typeOrElse(DataType.STRUCT) in NumericDatatypes)
-                return dt
+            return if(dt.typeOrElse(DataType.STRUCT) in NumericDatatypes)
+                dt
             else
-                throw FatalAstException("weird datatype passed to abs $dt")
+                InferredTypes.InferredType.unknown()
         }
         "max", "min" -> {
             when(val dt = datatypeFromIterableArg(args.single())) {

compiler/src/prog8/optimizer/BinExprSplitter.kt

@@ -38,22 +38,26 @@ internal class BinExprSplitter(private val program: Program) : AstWalker() {
         if (binExpr != null) {
 /*
 
-reduce the complexity of a (binary) expression that has to be evaluated on the eval stack,
-by attempting to splitting it up into individual simple steps:
+Reduce the complexity of a (binary) expression that has to be evaluated on the eval stack,
+by attempting to splitting it up into individual simple steps.
+We only consider a binary expression *one* level deep (so the operands must not be a combined expression)
 
 
-X =      BinExpr                                   X   =   LeftExpr
-        <operator>                                   followed by
-          /   \              IF 'X' not used       X   =   BinExpr
-         /     \               IN LEFTEXPR ==>             <operator>
+X =      BinExpr                                    X   =   LeftExpr
+        <operator>                                     followed by
+          /   \             IF 'X' not used         X   =   BinExpr
+         /     \             IN expression ==>             <operator>
         /       \                                           /   \
     LeftExpr.  RightExpr.                                  /     \
-      /  \       /  \                                     X     RightExpr.
-    ..  ..      ..  ..
+                                                          X     RightExpr.
+
 
  */
             if(binExpr.operator in augmentAssignmentOperators && isSimpleTarget(assignment.target, program.namespace)) {
-                if (!assignment.isAugmentable) {
+                if(assignment.target isSameAs binExpr.left || assignment.target isSameAs binExpr.right)
+                    return noModifications
+
+                if(isSimpleExpression(binExpr.right) && !assignment.isAugmentable) {
                     val firstAssign = Assignment(assignment.target, binExpr.left, binExpr.left.position)
                     val targetExpr = assignment.target.toExpression()
                     val augExpr = BinaryExpression(targetExpr, binExpr.operator, binExpr.right, binExpr.right.position)
@@ -71,6 +75,9 @@ X =      BinExpr                                   X   =   LeftExpr
         return noModifications
     }
 
+    private fun isSimpleExpression(expr: Expression) =
+            expr is IdentifierReference || expr is NumericLiteralValue || expr is AddressOf || expr is DirectMemoryRead || expr is StringLiteralValue || expr is ArrayLiteralValue || expr is RangeExpr
+
     private fun isSimpleTarget(target: AssignTarget, namespace: INameScope) =
             if (target.identifier!=null || target.memoryAddress!=null || target.arrayindexed!=null)
                 target.isInRegularRAM(namespace)

compiler/src/prog8/optimizer/ExpressionSimplifier.kt

@@ -477,7 +477,10 @@ internal class ExpressionSimplifier(private val program: Program) : AstWalker()
         when (expr.operator) {
             "%" -> {
                 if (cv == 1.0) {
-                    return NumericLiteralValue(expr.inferType(program).typeOrElse(DataType.STRUCT), 0, expr.position)
+                    val idt = expr.inferType(program)
+                    if(!idt.isKnown)
+                        throw FatalAstException("unknown dt")
+                    return NumericLiteralValue(idt.typeOrElse(DataType.STRUCT), 0, expr.position)
                 } else if (cv == 2.0) {
                     expr.operator = "&"
                     expr.right = NumericLiteralValue.optimalInteger(1, expr.position)
@@ -606,8 +609,10 @@ internal class ExpressionSimplifier(private val program: Program) : AstWalker()
         if (amount == 0) {
             return expr.left
         }
-        val targetDt = expr.left.inferType(program).typeOrElse(DataType.STRUCT)
-        when (targetDt) {
+        val targetIDt = expr.left.inferType(program)
+        if(!targetIDt.isKnown)
+            throw FatalAstException("unknown dt")
+        when (val targetDt = targetIDt.typeOrElse(DataType.STRUCT)) {
             DataType.UBYTE, DataType.BYTE -> {
                 if (amount >= 8) {
                     return NumericLiteralValue(targetDt, 0, expr.position)
@@ -617,8 +622,7 @@ internal class ExpressionSimplifier(private val program: Program) : AstWalker()
                 if (amount >= 16) {
                     return NumericLiteralValue(targetDt, 0, expr.position)
                 } else if (amount >= 8) {
-                    // TODO is this correct???
-                    val lsb = TypecastExpression(expr.left, DataType.UBYTE, true, expr.position)
+                    val lsb = FunctionCall(IdentifierReference(listOf("lsb"), expr.position), mutableListOf(expr.left), expr.position)
                     if (amount == 8) {
                         return FunctionCall(IdentifierReference(listOf("mkword"), expr.position), mutableListOf(lsb, NumericLiteralValue.optimalInteger(0, expr.position)), expr.position)
                     }
@@ -640,7 +644,10 @@ internal class ExpressionSimplifier(private val program: Program) : AstWalker()
         if (amount == 0) {
             return expr.left
         }
-        when (expr.left.inferType(program).typeOrElse(DataType.STRUCT)) {
+        val idt = expr.left.inferType(program)
+        if(!idt.isKnown)
+            throw FatalAstException("unknown dt")
+        when (idt.typeOrElse(DataType.STRUCT)) {
             DataType.UBYTE -> {
                 if (amount >= 8) {
                     return NumericLiteralValue.optimalInteger(0, expr.position)

compiler/src/prog8/optimizer/StatementOptimizer.kt

@@ -377,7 +377,7 @@ internal class StatementOptimizer(private val program: Program,
             return listOf(IAstModification.Remove(assignment, assignment.definingScope()))
         }
 
-        val targetIDt = assignment.target.inferType(program, assignment)
+        val targetIDt = assignment.target.inferType(program)
         if(!targetIDt.isKnown)
             throw FatalAstException("can't infer type of assignment target")
 

compiler/src/prog8/parser/ModuleParsing.kt

@@ -92,7 +92,7 @@ internal class ModuleImporter {
         // accept additional imports
         val lines = moduleAst.statements.toMutableList()
         lines.asSequence()
-                .mapIndexed { i, it -> Pair(i, it) }
+                .mapIndexed { i, it -> i to it }
                 .filter { (it.second as? Directive)?.directive == "%import" }
                 .forEach { executeImportDirective(program, it.second as Directive, modulePath) }
 

compiler/test/UnitTests.kt

@@ -5,8 +5,6 @@ import org.hamcrest.Matchers.closeTo
 import org.hamcrest.Matchers.equalTo
 import org.junit.jupiter.api.Test
 import org.junit.jupiter.api.TestInstance
-import prog8.ast.Module
-import prog8.ast.Program
 import prog8.ast.base.*
 import prog8.ast.expressions.*
 import prog8.ast.statements.*
@@ -18,8 +16,8 @@ import prog8.compiler.target.c64.C64MachineDefinition.FLOAT_MAX_NEGATIVE
 import prog8.compiler.target.c64.C64MachineDefinition.FLOAT_MAX_POSITIVE
 import prog8.compiler.target.c64.C64MachineDefinition.Mflpt5
 import prog8.compiler.target.c64.Petscii
+import prog8.compiler.target.cx16.CX16MachineDefinition
 import java.io.CharConversionException
-import java.nio.file.Path
 import kotlin.test.*
 
 @TestInstance(TestInstance.Lifecycle.PER_CLASS)
@@ -288,6 +286,22 @@ class TestC64Zeropage {
         assertEquals(0xf9, zp.allocate("", DataType.UBYTE, null, errors))
         assertEquals(0, zp.available())
     }
+
+    @Test
+    fun testReservedLocations() {
+        val zp = C64Zeropage(CompilationOptions(OutputType.RAW, LauncherType.NONE, ZeropageType.BASICSAFE, emptyList(), false, false))
+        assertEquals(zp.SCRATCH_REG, zp.SCRATCH_B1+1, "zp _B1 and _REG must be next to each other to create a word")
+    }
+}
+
+
+@TestInstance(TestInstance.Lifecycle.PER_CLASS)
+class TestCx16Zeropage {
+    @Test
+    fun testReservedLocations() {
+        val zp = CX16MachineDefinition.CX16Zeropage(CompilationOptions(OutputType.RAW, LauncherType.NONE, ZeropageType.BASICSAFE, emptyList(), false, false))
+        assertEquals(zp.SCRATCH_REG, zp.SCRATCH_B1+1, "zp _B1 and _REG must be next to each other to create a word")
+    }
 }
 
 

docs/source/programming.rst

@@ -765,18 +765,18 @@ sort(array)
 Strings and memory blocks
 ^^^^^^^^^^^^^^^^^^^^^^^^^
 memcopy(from, to, numbytes)
-    Efficiently copy a number of bytes (1 - 256) from a memory location to another.
+    Efficiently copy a number of bytes from a memory location to another.
     NOTE: 'to' must NOT overlap with 'from', unless it is *before* 'from'.
     Because this function imposes some overhead to handle the parameters,
     it is only faster if the number of bytes is larger than a certain threshold.
     Compare the generated code to see if it was beneficial or not.
-    The most efficient will always be to write a specialized copy routine in assembly yourself!
+    The most efficient will often be to write a specialized copy routine in assembly yourself!
 
 memset(address, numbytes, bytevalue)
     Efficiently set a part of memory to the given (u)byte value.
     But the most efficient will always be to write a specialized fill routine in assembly yourself!
-    Note that for clearing the character screen, very fast specialized subroutines are
-    available in the ``txt`` block (part of the ``textio`` module)
+    Note that for clearing the screen, very fast specialized subroutines are
+    available in the ``textio`` and ``graphics`` library modules.
 
 memsetw(address, numwords, wordvalue)
     Efficiently set a part of memory to the given (u)word value.
@@ -785,11 +785,13 @@ memsetw(address, numwords, wordvalue)
 leftstr(source, target, length)
     Copies the left side of the source string of the given length to target string.
     It is assumed the target string buffer is large enough to contain the result.
+    Also, you have to make sure yourself that length is smaller or equal to the length of the source string.
     Modifies in-place, doesn't return a value (so can't be used in an expression).
 
 rightstr(source, target, length)
     Copies the right side of the source string of the given length to target string.
     It is assumed the target string buffer is large enough to contain the result.
+    Also, you have to make sure yourself that length is smaller or equal to the length of the source string.
     Modifies in-place, doesn't return a value (so can't be used in an expression).
 
 strlen(str)
@@ -806,6 +808,7 @@ substr(source, target, start, length)
     Copies a segment from the source string, starting at the given index,
     and of the given length to target string.
     It is assumed the target string buffer is large enough to contain the result.
+    Also, you have to make sure yourself that start and length are within bounds of the strings.
     Modifies in-place, doesn't return a value (so can't be used in an expression).
 
 Miscellaneous

docs/source/syntaxreference.rst

@@ -122,7 +122,8 @@ Directives
 
     - For a module option, there is ``enable_floats``, which will tell the compiler
       to deal with floating point numbers (by using various subroutines from the Commodore-64 kernal).
-      Otherwise, floating point support is not enabled.
+      Otherwise, floating point support is not enabled. Normally you don't have to use this yourself as
+      importing the ``floats`` library is required anyway and that will enable it for you automatically.
     - There's also ``no_sysinit`` which cause the resulting program to *not* include
       the system re-initialization logic of clearing the screen, resetting I/O config etc. You'll have to
       take care of that yourself. The program will just start running from whatever state the machine is in when the

docs/source/todo.rst

@@ -2,14 +2,15 @@
 TODO
 ====
 
-- get rid of all other TODO's in the code ;-)
-- implement @stack for asmsub parameters
+- 64tass doesn't output all labels anymore in the vice-mon-list, so %breakpoint labels are no longer present....
 - make it possible to use cpu opcodes such as 'nop' as variable names by prefixing all asm vars with something such as '_'
 - option to load the built-in library files from a directory instead of the embedded ones (for easier library development/debugging)
 - see if we can group some errors together for instance the (now single) errors about unidentified symbols
-- use VIC banking to move up the graphics bitmap memory location. Don't move it under the ROM though as that would require IRQ disabling and memory bank swapping for every bitmap manipulation
-- add some primitives/subroutines/examples for using custom char sets, copying the default charset.
-- recursive subroutines? via %option recursive, allocate all params and local vars on estack, don't allow nested subroutines, can begin by first not allowing any local variables just fixing the parameters
+- use VIC banking to move up the graphics bitmap memory location. Move it to $e000 under the kernal rom?
+- some support for recursive subroutines?
+    - via %option recursive?: allocate all params and local vars on estack, don't allow nested subroutines, can begin by first not allowing any local variables just fixing the parameters
+    - Or via a special recursive call operation that copies the current values of all local vars (including arguments) to the stack, replaces the arguments, jsr subroutine, and after returning copy the stack back to the local variables
+- get rid of all other TODO's in the code ;-)
 
 More optimizations
 ^^^^^^^^^^^^^^^^^^
@@ -18,8 +19,7 @@ Add more compiler optimizations to the existing ones.
 
 - further optimize assignment codegeneration, such as the following:
 - binexpr splitting (beware self-referencing expressions and asm code ballooning though)
-- subroutine calling convention? like: 1 byte arg -> pass in A, 2 bytes -> pass in A+Y, return value likewise.  Especially for built-in functions!
-- can such parameter passing to subroutines be optimized to avoid copying?
+- detect var->var argument passing to subroutines and avoid the second variable and copying of the value
 - more optimizations on the language AST level
 - more optimizations on the final assembly source level
 - note: subroutine inlining is abandoned because of problems referencing non-local stuff. Can't move everything around.

examples/arithmetic/builtins.p8

@@ -0,0 +1,866 @@
+%import textio
+%import floats
+%import syslib
+%zeropage basicsafe
+
+main {
+
+    sub start() {
+        rotations()
+        strings()
+        integers()
+        floatingpoint()
+
+        testX()
+    }
+
+    sub rotations() {
+        ubyte[] ubarr = [%11000111]
+        uword[] uwarr = [%1100111110101010]
+
+        repeat(10) {
+            txt.chrout('\n')
+        }
+
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        rol(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        rol(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        rol(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        rol(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        txt.chrout('\n')
+
+        uwarr[0] = %1100111110101010
+        ror(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        ror(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        ror(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        ror(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        ror(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        txt.chrout('\n')
+
+        clear_carry()
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        rol2(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        rol2(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        rol2(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        rol2(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        txt.chrout('\n')
+
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        ror2(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        ror2(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        ror2(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        ror2(uwarr[0])
+        txt.print_uwbin(uwarr[0], true)
+        txt.chrout('\n')
+        txt.chrout('\n')
+
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        rol(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        rol(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        rol(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        rol(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        txt.chrout('\n')
+
+        set_carry()
+        ror(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        ror(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        ror(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        ror(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        set_carry()
+        ror(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        txt.chrout('\n')
+
+
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        rol2(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        rol2(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        rol2(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        rol2(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        txt.chrout('\n')
+
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        ror2(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        ror2(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        ror2(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        ror2(ubarr[0])
+        txt.print_ubbin(ubarr[0], true)
+        txt.chrout('\n')
+        txt.chrout('\n')
+
+        &ubyte  membyte = $c000
+        uword addr = $c000
+
+        @(addr) = %10110101
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        set_carry()
+        rol(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        set_carry()
+        rol(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        set_carry()
+        rol(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        set_carry()
+        rol(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        txt.chrout('\n')
+
+        @(addr) = %10110101
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        set_carry()
+        ror(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        set_carry()
+        ror(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        set_carry()
+        ror(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        set_carry()
+        ror(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        txt.chrout('\n')
+
+        @(addr) = %10110101
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        rol2(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        rol2(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        rol2(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        rol2(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        txt.chrout('\n')
+
+        @(addr) = %10110101
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        ror2(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        ror2(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        ror2(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        ror2(@(addr))
+        txt.print_ubbin(@(addr), true)
+        txt.chrout('\n')
+        txt.chrout('\n')
+
+
+        testX()
+
+    }
+
+    sub strings() {
+        const uword ADDR = $8400
+        const uword ADDR2 = $8000
+
+        memset(ADDR2, 40*25, '*')
+        memset(ADDR2, 40, '1')
+        memset(ADDR2+24*40, 39, '2')
+        memsetw(ADDR2, 40*25/2, $3132)
+        memsetw(ADDR2, 20, $4142)
+        memsetw(ADDR2+24*40, 19, $4241)
+        memcopy(ADDR2, ADDR, 200)
+
+        str result = "?" *10
+        str s1 = "irmen"
+        str s2 = "hello"
+        str dots = "....."
+
+        ubyte ub
+        byte bb
+        ubyte zero=0
+
+        bb = strcmp(s1, s2)
+        txt.print_b(bb)
+        txt.chrout('\n')
+        bb = strcmp(s2, s1)
+        txt.print_b(bb)
+        txt.chrout('\n')
+        txt.print_ub(s1==s2)
+        txt.chrout('\n')
+        txt.print_ub(s1<s2)
+        txt.chrout('\n')
+        txt.print_ub(s1>s2)
+        txt.chrout('\n')
+        bb = zero+strcmp(s1,s2)*1+zero
+        txt.print_b(bb)
+        txt.chrout('\n')
+        bb = zero+strcmp(s2,s1)*1+zero
+        txt.print_b(bb)
+        txt.chrout('\n')
+
+        ub = strlen(s1)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+strlen(s1)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        leftstr(s1, result, 3)
+        txt.print(result)
+        txt.chrout('\n')
+        leftstr(s1, result, len(s1))
+        txt.print(result)
+        txt.chrout('\n')
+        txt.chrout('\n')
+
+        result = "x"*8
+        rightstr(s2, result, 3)
+        txt.print(result)
+        txt.chrout('\n')
+        rightstr(s2, result, len(s1))
+        txt.print(result)
+        txt.chrout('\n')
+
+        result = "y"*10
+        substr(s2, result, 1, 3)
+        txt.print(result)
+        txt.chrout('\n')
+
+        testX()
+
+    }
+
+    sub integers() {
+        ubyte[]  ubarr = [1,2,3,4,5,0,4,3,2,1, 255, 255, 255]
+        byte[]  barr = [1,2,3,4,5,-4,0,-3,2,1, -128, -128, -127]
+        uword[]  uwarr = [100,200,300,400,0,500,400,300,200,100]
+        word[] warr = [100,200,300,400,500,0,-400,-300,200,100,-99, -4096]
+
+        ubyte zero=0
+        ubyte ub
+        ubyte ub2
+        byte bb
+        uword uw
+        word ww
+
+        repeat(20) {
+            txt.chrout('\n')
+        }
+
+        ub = read_flags()
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+read_flags()*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+
+        ub = rnd()
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+rnd()*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        uw = rndw()
+        txt.print_uw(uw)
+        txt.chrout('\n')
+        uw = zero+rndw()*1+zero
+        txt.print_uw(uw)
+        txt.chrout('\n')
+
+
+        uw = 50000
+        ub = sqrt16(uw)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+sqrt16(uw)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        bb = -100
+        bb = sgn(bb)
+        txt.print_b(bb)
+        txt.chrout('\n')
+        bb = -100
+        bb = zero+sgn(bb)*1+zero
+        txt.print_b(bb)
+        txt.chrout('\n')
+
+        ub = 100
+        bb = sgn(ub)
+        txt.print_b(bb)
+        txt.chrout('\n')
+        ub = 100
+        bb = zero+sgn(ub)*1+zero
+        txt.print_b(bb)
+        txt.chrout('\n')
+
+        ww = -1000
+        bb = sgn(ww)
+        txt.print_b(bb)
+        txt.chrout('\n')
+        bb = zero+sgn(ww)*1+zero
+        txt.print_b(bb)
+        txt.chrout('\n')
+
+        uw = 1000
+        bb = sgn(uw)
+        txt.print_b(bb)
+        txt.chrout('\n')
+        bb = zero+sgn(uw)*1+zero
+        txt.print_b(bb)
+        txt.chrout('\n')
+
+        ub = 0
+        uw = sin16u(ub)
+        txt.print_uw(uw)
+        txt.chrout('\n')
+        uw = zero+sin16u(ub)*1+zero
+        txt.print_uw(uw)
+        txt.chrout('\n')
+
+        ub = 0
+        uw = cos16u(ub)
+        txt.print_uw(uw)
+        txt.chrout('\n')
+        uw = zero+cos16u(ub)*1+zero
+        txt.print_uw(uw)
+        txt.chrout('\n')
+
+        ub = 0
+        ww = sin16(ub)
+        txt.print_w(ww)
+        txt.chrout('\n')
+        ww = zero+sin16(ub)*1+zero
+        txt.print_w(ww)
+        txt.chrout('\n')
+
+        ub = 0
+        ww = cos16(ub)
+        txt.print_w(ww)
+        txt.chrout('\n')
+        uw = 0
+        ww = zero+cos16(ub)*1+zero
+        txt.print_w(ww)
+        txt.chrout('\n')
+
+        ub2 = 0
+        ub = sin8u(ub2)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+sin8u(ub2)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        ub2 = 0
+        ub = cos8u(ub2)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+cos8u(ub2)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        ub2 = 0
+        bb = sin8(ub2)
+        txt.print_b(bb)
+        txt.chrout('\n')
+        bb = zero+sin8(ub2)*1+zero
+        txt.print_b(bb)
+        txt.chrout('\n')
+
+        ub2 = 0
+        bb = cos8(ub2)
+        txt.print_b(bb)
+        txt.chrout('\n')
+        bb = zero+cos8(ub2)*1+zero
+        txt.print_b(bb)
+        txt.chrout('\n')
+
+        bb = -100
+        bb = abs(bb)
+        txt.print_b(bb)
+        txt.chrout('\n')
+        bb = -100
+        bb = zero+abs(bb)*1+zero
+        txt.print_b(bb)
+        txt.chrout('\n')
+
+        ww = -1000
+        ww = abs(ww)
+        txt.print_w(ww)
+        txt.chrout('\n')
+        ww = -1000
+        ww = zero+abs(ww)*1+zero
+        txt.print_w(ww)
+        txt.chrout('\n')
+
+        ub = min(ubarr)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+min(ubarr)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        bb = min(barr)
+        txt.print_b(bb)
+        txt.chrout('\n')
+        bb = zero+min(barr)*1+zero
+        txt.print_b(bb)
+        txt.chrout('\n')
+
+        uw = min(uwarr)
+        txt.print_uw(uw)
+        txt.chrout('\n')
+        uw = zero+min(uwarr)*1+zero
+        txt.print_uw(uw)
+        txt.chrout('\n')
+
+        ww = min(warr)
+        txt.print_w(ww)
+        txt.chrout('\n')
+        ww = zero+min(warr)*1+zero
+        txt.print_w(ww)
+        txt.chrout('\n')
+
+        ub = max(ubarr)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+max(ubarr)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        bb = max(barr)
+        txt.print_b(bb)
+        txt.chrout('\n')
+        bb = zero+max(barr)*1+zero
+        txt.print_b(bb)
+        txt.chrout('\n')
+
+        uw = max(uwarr)
+        txt.print_uw(uw)
+        txt.chrout('\n')
+        uw = zero+max(uwarr)*1+zero
+        txt.print_uw(uw)
+        txt.chrout('\n')
+
+        ww = max(warr)
+        txt.print_w(ww)
+        txt.chrout('\n')
+        ww = zero+max(warr)*1+zero
+        txt.print_w(ww)
+        txt.chrout('\n')
+
+        ub = any(ubarr)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+any(ubarr)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        ub = any(barr)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+any(barr)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        ub = any(uwarr)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+any(uwarr)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        ub = any(warr)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+any(warr)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        ub = all(ubarr)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+all(ubarr)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        ub = all(barr)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+all(barr)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        ub = all(uwarr)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+all(uwarr)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        ub = all(warr)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+all(warr)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+
+        uw = sum(ubarr)
+        txt.print_uw(uw)
+        txt.chrout('\n')
+        uw = zero+sum(ubarr)*1+zero
+        txt.print_uw(uw)
+        txt.chrout('\n')
+
+        ww = sum(barr)
+        txt.print_w(ww)
+        txt.chrout('\n')
+        ww = zero+sum(barr)*1+zero
+        txt.print_w(ww)
+        txt.chrout('\n')
+
+        uw = sum(uwarr)
+        txt.print_uw(uw)
+        txt.chrout('\n')
+        uw = zero+sum(uwarr)*1+zero
+        txt.print_uw(uw)
+        txt.chrout('\n')
+
+        ww = sum(warr)
+        txt.print_w(ww)
+        txt.chrout('\n')
+        ww = zero+sum(warr)*1+zero
+        txt.print_w(ww)
+        txt.chrout('\n')
+
+        sort(ubarr)
+        sort(barr)
+        sort(uwarr)
+        sort(warr)
+        reverse(ubarr)
+        reverse(barr)
+        reverse(uwarr)
+        reverse(warr)
+
+        testX()
+    }
+
+    sub floatingpoint() {
+        ubyte[]  barr = [1,2,3,4,5,0,4,3,2,1]
+        float[] flarr = [1.1, 2.2, 3.3, 0.0, -9.9, 5.5, 4.4]
+
+        ubyte zero=0
+        ubyte ub
+        byte bb
+        uword uw
+        float fl
+        float fzero=0.0
+
+        fl = -9.9
+        fl = abs(fl)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = -9.9
+        fl = fzero+abs(fl)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        fl = 9.9
+        fl = atan(fl)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = 9.9
+        fl = fzero+atan(fl)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        fl = -9.9
+        fl = ceil(fl)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = -9.9
+        fl = fzero+ceil(fl)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        fl = -9.9
+        fl = cos(fl)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = -9.9
+        fl = fzero+cos(fl)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        fl = -9.9
+        fl = sin(fl)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = -9.9
+        fl = fzero+sin(fl)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        fl = 9.9
+        fl = tan(fl)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = 9.9
+        fl = fzero+tan(fl)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        fl = 3.1415927
+        fl = deg(fl)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = 3.1415927
+        fl = fzero+deg(fl)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        fl = 90
+        fl = rad(fl)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = 90
+        fl = fzero+rad(fl)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        fl = -9.9
+        fl = floor(fl)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = -9.9
+        fl = fzero+floor(fl)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        fl = 3.1415927
+        fl = ln(fl)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = 3.1415927
+        fl = fzero+ln(fl)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        fl = 3.1415927
+        fl = log2(fl)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = 3.1415927
+        fl = fzero+log2(fl)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        fl = -9.9
+        fl = round(fl)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = -9.9
+        fl = fzero+round(fl)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        fl = -9.9
+        bb = sgn(fl)
+        txt.print_b(bb)
+        txt.chrout('\n')
+        fl = -9.9
+        bb = zero+sgn(fl)*1+zero
+        txt.print_b(bb)
+        txt.chrout('\n')
+
+        fl = 3.1415927
+        fl = sqrt(fl)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = 3.1415927
+        fl = fzero+sqrt(fl)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        fl = rndf()
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = fzero+rndf()*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        swap(fl, fzero)
+        swap(fzero, fl)
+
+        ub = any(flarr)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+any(flarr)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = all(flarr)
+        txt.print_ub(ub)
+        txt.chrout('\n')
+        ub = zero+all(flarr)*1+zero
+        txt.print_ub(ub)
+        txt.chrout('\n')
+
+        reverse(flarr)
+        for ub in 0 to len(flarr)-1 {
+            floats.print_f(flarr[ub])
+            txt.chrout(',')
+        }
+        txt.chrout('\n')
+        fl = max(flarr)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = fzero+max(flarr)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = min(flarr)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = fzero+min(flarr)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = sum(flarr)
+        floats.print_f(fl)
+        txt.chrout('\n')
+        fl = fzero+sum(flarr)*1.0+fzero
+        floats.print_f(fl)
+        txt.chrout('\n')
+
+        testX()
+    }
+
+    asmsub testX() {
+        %asm {{
+            stx  _saveX
+            lda  #13
+            jsr  txt.chrout
+            lda  #'x'
+            jsr  txt.chrout
+            lda  #'='
+            jsr  txt.chrout
+            lda  _saveX
+            jsr  txt.print_ub
+            lda  #' '
+            jsr  txt.chrout
+            lda  #'s'
+            jsr  txt.chrout
+            lda  #'p'
+            jsr  txt.chrout
+            lda  #'='
+            jsr  txt.chrout
+            tsx
+            txa
+            jsr  txt.print_ub
+            lda  #13
+            jsr  txt.chrout
+            ldx  _saveX
+            rts
+_saveX   .byte 0
+        }}
+    }
+}

examples/charset.p8

@@ -0,0 +1,85 @@
+%target c64
+%import syslib
+%import textio
+%zeropage basicsafe
+%option no_sysinit
+
+;  Create a custom character set on the C64.
+
+main {
+
+    sub start() {
+        txt.color(1)
+        txt.print("creating charset...\n")
+        charset.make_custom_charset()
+
+        ; activate the new charset in RAM
+        ubyte block = c64.CIA2PRA
+        const ubyte PAGE1 = ((c64.Screen >> 6) & $F0) | ((charset.CHARSET >> 10) & $0E)
+
+        c64.CIA2PRA = (block & $FC) | (lsb(c64.Screen >> 14) ^ $03)
+        c64.VMCSB = PAGE1
+
+        txt.print("\n @ @ @ @\n")
+    }
+}
+
+charset {
+    const uword CHARSET = $2000
+
+    sub copy_rom_charset() {
+        ; copies the charset from ROM to RAM so we can modify it
+
+        set_irqd()
+        ubyte bank = @($0001)
+        @($0001) = bank & %11111011     ; enable CHAREN, so the character rom accessible at $d000
+        memcopy($d000, CHARSET, 256*8*2)  ; copy the charset to RAM
+
+        @($0001) = bank         ; reset previous memory banking
+        clear_irqd()
+    }
+
+    sub make_custom_charset() {
+        copy_rom_charset()
+
+        ; make all characters italic
+        ubyte c
+        for c in 0 to 255 {
+            uword ptr = CHARSET + c*$0008
+            @(ptr) >>= 2
+            @(ptr+1) >>= 2
+            @(ptr+2) >>= 1
+            @(ptr+3) >>= 1
+            ;@(ptr+4) >>= 0
+            ;@(ptr+5) >>= 0
+            @(ptr+6) <<= 1
+            @(ptr+7) <<= 1
+
+            ptr = CHARSET + 256*8 + c*$0008
+            @(ptr) >>= 2
+            @(ptr+1) >>= 2
+            @(ptr+2) >>= 1
+            @(ptr+3) >>= 1
+            ;@(ptr+4) >>= 0
+            ;@(ptr+5) >>= 0
+            @(ptr+6) <<= 1
+            @(ptr+7) <<= 1
+        }
+
+        ; add a smiley over the '@'
+
+        ubyte[] smiley = [
+            %00111100,
+            %01000010,
+            %10100101,
+            %10000001,
+            %10100101,
+            %10011001,
+            %01000010,
+            %00111100
+        ]
+
+        memcopy(smiley, CHARSET, len(smiley))
+
+    }
+}

examples/cx16/cobramk3-gfx.p8

@@ -36,7 +36,7 @@ main {
 
             cx16.GRAPH_set_colors(1, 0, 0)
             draw_lines_hiddenremoval()
-            ;draw_lines()
+            ; draw_lines()
 
             anglex += 217
             angley -= 505
@@ -191,6 +191,7 @@ main {
 
     sub facing_away(ubyte edgePointsIdx) -> ubyte {
         ; simplistic visibility determination by checking the Z component of the surface normal
+        ; TODO: actually take the line of sight vector into account
         ubyte p1 = shipdata.facesPoints[edgePointsIdx]
         edgePointsIdx++
         ubyte p2 = shipdata.facesPoints[edgePointsIdx]
@@ -223,7 +224,7 @@ main {
 
 shipdata {
 
-    ; Ship model data converted from BBC Elite's Cobra MK 3
+        ; Ship model data converted from BBC Elite's Cobra MK 3
     ; downloaded from http://www.elitehomepage.org/archive/index.htm
 
 const ubyte totalNumberOfEdges = 51

examples/test.p8

@@ -1,22 +1,20 @@
 %import textio
-%import conv
 %import floats
+%import syslib
 %zeropage basicsafe
 
 main {
 
     sub start() {
 
-        uword[]  array = [1, 2, 3]
-        ubyte ii = 0
-        ubyte ii2 = ii+2
-        array[ii+1] = array[ii2]           ; TODO fix overwriting the single array index autovar
+        str s1 = "irmen"
+        str s2 = "hello"
 
-        uword xx
-        for xx in array {
-            txt.print_uw(xx)
-            txt.chrout('\n')
-        }
+;        byte c = strcmp(s1, s2)
+;        txt.print_b(c)
+;        txt.chrout('\n')
+        txt.print_ub(s1<=s2)
+        txt.chrout('\n')
 
         testX()
     }
@@ -26,8 +24,23 @@ main {
             stx  _saveX
             lda  #13
             jsr  txt.chrout
+            lda  #'x'
+            jsr  txt.chrout
+            lda  #'='
+            jsr  txt.chrout
             lda  _saveX
             jsr  txt.print_ub
+            lda  #' '
+            jsr  txt.chrout
+            lda  #'s'
+            jsr  txt.chrout
+            lda  #'p'
+            jsr  txt.chrout
+            lda  #'='
+            jsr  txt.chrout
+            tsx
+            txa
+            jsr  txt.print_ub
             lda  #13
             jsr  txt.chrout
             ldx  _saveX

examples/testarrays.p8

@@ -1,7 +1,6 @@
 %import textio
 %import floats
 %zeropage basicsafe
-%option enable_floats
 
 ; Note: this program is compatible with C64 and CX16.
 

examples/turtle-gfx.p8

@@ -3,7 +3,6 @@
 %import graphics
 %zeropage floatsafe
 
-
 main {
 
     sub start() {

parser/antlr/prog8.g4

@@ -271,7 +271,7 @@ asmsub_decl : identifier '(' asmsub_params? ')' asmsub_clobbers? asmsub_returns?
 
 asmsub_params :  asmsub_param (',' EOL? asmsub_param)* ;
 
-asmsub_param :  vardecl '@' identifier ;      // A,X,Y,AX,AY,XY,Pc,Pz,Pn,Pv allowed.  TODO implement  stack='stack'
+asmsub_param :  vardecl '@' identifier ;      // A,X,Y,AX,AY,XY,Pc,Pz,Pn,Pv allowed.
 
 asmsub_clobbers : 'clobbers' '(' clobber? ')' ;
 
@@ -279,7 +279,7 @@ clobber :  identifier (',' identifier)* ;       // A,X,Y allowed
 
 asmsub_returns :  '->' asmsub_return (',' EOL? asmsub_return)* ;
 
-asmsub_return :  datatype '@' (identifier | stack='stack') ;     // A,X,Y,AX,AY,XY,Pc,Pz,Pn,Pv allowed
+asmsub_return :  datatype '@' identifier ;     // A,X,Y,AX,AY,XY,Pc,Pz,Pn,Pv allowed
 
 
 if_stmt :  'if' expression EOL? (statement | statement_block) EOL? else_part?  ; // statement is constrained later