6502/kickc
1
0
Fork 0
mirror of https://gitlab.com/camelot/kickc.git synced 2025-04-05 07:40:39 +00:00
Code Issues Projects Releases Wiki Activity

Merge remote-tracking branch 'gitlab/master'

Browse Source
This commit is contained in:
jespergravgaard 2017-07-31 23:41:25 +02:00
commit b56f634b1e
34 changed files with 631 additions and 374 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/dk/camelot64/kickc/test/ref/bresenham.asm
View File

@ -45,6 +45,6 @@ B2:
lda 5
sec
sbc #39
B3_from_B2:
sta 5
B3_from_B2:
jmp B3

43
src/main/java/dk/camelot64/kickc/test/ref/bresenham.log
View File

@ -1046,11 +1046,6 @@ Initial phi equivalence classes
[ x#2 x#1 ]
[ e#3 e#5 e#1 e#2 ]
[ y#2 y#4 y#1 ]
Copy Coalesced equivalence classes
[ cursor#3 cursor#5 cursor#1 cursor#2 ]
[ x#2 x#1 ]
[ e#3 e#5 e#1 e#2 ]
[ y#2 y#4 y#1 ]
Complete equivalence classes
[ cursor#3 cursor#5 cursor#1 cursor#2 ]
[ x#2 x#1 ]
@ -1093,11 +1088,11 @@ zp byte:4 [ x#2 x#1 ]
zp byte:5 [ e#3 e#5 e#1 e#2 ]
zp byte:6 [ y#2 y#4 y#1 ]
Re-allocated ZP register from zp ptr byte:2 to zp ptr byte:2
Re-allocated ZP register from zp byte:4 to zp byte:4
Re-allocated ZP register from zp byte:5 to zp byte:5
Re-allocated ZP register from zp byte:6 to zp byte:6
Uplifting of variable (byte) e#2 to A
Uplifting max weight 55.0 live range equivalence class zp byte:5 [ e#3 e#5 e#1 e#2 ]
Uplift to reg byte a resulted in clobber.
Register Cycles: reg byte x 78
Uplift to reg byte x succesfull.
Uplift to reg byte y resulted in clobber.
REGISTER UPLIFTING
(byte[1000]) SCREEN
(byte) STAR
@ -1108,7 +1103,7 @@ REGISTER UPLIFTING
(byte*) cursor#5 zp ptr byte:2 16.5
(byte) e
(byte) e#1 zp byte:5 11.0
(byte) e#2 reg byte a 22.0
(byte) e#2 zp byte:5 22.0
(byte) e#3 zp byte:5 5.5
(byte) e#5 zp byte:5 16.5
(byte) x
@ -1198,14 +1193,14 @@ B2:
bcc !+
inc 2+1
!:
// [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ] // aby=zpby1_minus_coby1
// [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ] // zpby1=zpby1_minus_coby1
lda 5
sec
sbc #39
sta 5
B3_from_B2:
// (byte) y#4 = (byte) y#1 // register copy zp byte:6
// (byte) e#5 = (byte) e#2 // zpby1=aby
sta 5
// (byte) e#5 = (byte) e#2 // register copy zp byte:5
// (byte*) cursor#5 = (byte*) cursor#2 // register copy zp ptr byte:2
jmp B3
@ -1278,14 +1273,14 @@ B2:
bcc !+
inc 2+1
!:
// [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ] // aby=zpby1_minus_coby1
// [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ] // zpby1=zpby1_minus_coby1
lda 5
sec
sbc #39
sta 5
B3_from_B2:
// (byte) y#4 = (byte) y#1 // register copy zp byte:6
// (byte) e#5 = (byte) e#2 // zpby1=aby
sta 5
// (byte) e#5 = (byte) e#2 // register copy zp byte:5
// (byte*) cursor#5 = (byte*) cursor#2 // register copy zp ptr byte:2
jmp B3
@ -1355,14 +1350,14 @@ B2:
bcc !+
inc 2+1
!:
// [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ] // aby=zpby1_minus_coby1
// [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ] // zpby1=zpby1_minus_coby1
lda 5
sec
sbc #39
sta 5
B3_from_B2:
// (byte) y#4 = (byte) y#1 // register copy zp byte:6
// (byte) e#5 = (byte) e#2 // zpby1=aby
sta 5
// (byte) e#5 = (byte) e#2 // register copy zp byte:5
// (byte*) cursor#5 = (byte*) cursor#2 // register copy zp ptr byte:2
jmp B3
@ -1381,7 +1376,7 @@ FINAL SYMBOL TABLE
(byte*) cursor#5 zp ptr byte:2 16.5
(byte) e
(byte) e#1 zp byte:5 11.0
(byte) e#2 reg byte a 22.0
(byte) e#2 zp byte:5 22.0
(byte) e#3 zp byte:5 5.5
(byte) e#5 zp byte:5 16.5
(byte) x
@ -1467,14 +1462,14 @@ B2:
bcc !+
inc 2+1
!:
// [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ] // aby=zpby1_minus_coby1
// [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ] // zpby1=zpby1_minus_coby1
lda 5
sec
sbc #39
sta 5
B3_from_B2:
// (byte) y#4 = (byte) y#1 // register copy zp byte:6
// (byte) e#5 = (byte) e#2 // zpby1=aby
sta 5
// (byte) e#5 = (byte) e#2 // register copy zp byte:5
// (byte*) cursor#5 = (byte*) cursor#2 // register copy zp ptr byte:2
jmp B3

2
src/main/java/dk/camelot64/kickc/test/ref/bresenham.sym
View File

@ -12,7 +12,7 @@
(byte*) cursor#5 zp ptr byte:2 16.5
(byte) e
(byte) e#1 zp byte:5 11.0
(byte) e#2 reg byte a 22.0
(byte) e#2 zp byte:5 22.0
(byte) e#3 zp byte:5 5.5
(byte) e#5 zp byte:5 16.5
(byte) x

8
src/main/java/dk/camelot64/kickc/test/ref/fibmem.asm
View File

@ -13,10 +13,12 @@ B1:
sta 3
ldx 2
lda 4353,x
clc
adc 3
sta 3
sta 4
lda 3
clc
adc 4
sta 5
lda 5
ldx 2
sta 4354,x
inc 2

91
src/main/java/dk/camelot64/kickc/test/ref/fibmem.log
View File

@ -417,18 +417,18 @@ Loop head: @1 tails: @1 blocks: @1 depth: 1
Initial phi equivalence classes
[ i#2 i#1 ]
Copy Coalesced equivalence classes
[ i#2 i#1 ]
Added variable $1 to zero page equivalence class [ $1 ]
Added variable $3 to zero page equivalence class [ $3 ]
Added variable $4 to zero page equivalence class [ $1 $4 ]
Added variable $4 to zero page equivalence class [ $4 ]
Complete equivalence classes
[ i#2 i#1 ]
[ $1 $4 ]
[ $1 ]
[ $3 ]
[ $4 ]
Allocated zp byte:2 to zp byte:2 [ i#2 i#1 ]
Allocated zp byte:3 to zp byte:3 [ $1 $4 ]
Allocated zp byte:3 to zp byte:3 [ $1 ]
Allocated zp byte:4 to zp byte:4 [ $3 ]
Allocated zp byte:5 to zp byte:5 [ $4 ]
VARIABLE REGISTER WEIGHTS
(byte~) $1 11.0
@ -440,26 +440,31 @@ VARIABLE REGISTER WEIGHTS
(byte) i#2 11.0
zp byte:2 [ i#2 i#1 ]
zp byte:3 [ $1 $4 ]
zp byte:3 [ $1 ]
zp byte:4 [ $3 ]
zp byte:5 [ $4 ]
Re-allocated ZP register from zp byte:2 to zp byte:2
Re-allocated ZP register from zp byte:3 to zp byte:3
Re-allocated ZP register from zp byte:4 to zp byte:4
Uplifting of variable (byte~) $3 to A
Uplifting max weight 27.5 live range equivalence class zp byte:2 [ i#2 i#1 ]
Uplift to reg byte a resulted in clobber.
Register Cycles: reg byte x 39
Uplift to reg byte x succesfull.
Register Cycles: reg byte y 39
Uplift to reg byte y succesfull.
REGISTER UPLIFTING
(byte~) $1 zp byte:3 11.0
(byte~) $3 reg byte a 22.0
(byte~) $4 zp byte:3 22.0
(byte~) $3 zp byte:4 22.0
(byte~) $4 zp byte:5 22.0
(byte[15]) fibs
(byte) i
(byte) i#1 zp byte:2 16.5
(byte) i#2 zp byte:2 11.0
zp byte:2 [ i#2 i#1 ]
zp byte:3 [ $1 $4 ]
zp byte:3 [ $1 ]
zp byte:4 [ $3 ]
zp byte:5 [ $4 ]
Coalescing zero page register [ zp byte:3 [ $1 ] ] with [ zp byte:5 [ $4 ] ]
INITIAL ASM
BBEGIN:
// [0] *((word) 4352) ← (byte) 0 [ ] // _star_cowo1=coby2
@ -481,15 +486,17 @@ B1:
ldx 2
lda 4352,x
sta 3
// [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ] // aby=cowo1_staridx_zpby1
// [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ] // zpby1=cowo1_staridx_zpby2
ldx 2
lda 4353,x
// [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ] // zpby1=zpby1_plus_aby
clc
adc 3
sta 3
// [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ] // cowo1_staridx_zpby1=zpby2
sta 4
// [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ] // zpby1=zpby2_plus_zpby3
lda 3
clc
adc 4
sta 5
// [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ] // cowo1_staridx_zpby1=zpby2
lda 5
ldx 2
sta 4354,x
// [7] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ] // zpby1=zpby1_plus_1
@ -524,15 +531,17 @@ B1:
ldx 2
lda 4352,x
sta 3
// [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ] // aby=cowo1_staridx_zpby1
// [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ] // zpby1=cowo1_staridx_zpby2
ldx 2
lda 4353,x
// [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ] // zpby1=zpby1_plus_aby
clc
adc 3
sta 3
// [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ] // cowo1_staridx_zpby1=zpby2
sta 4
// [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ] // zpby1=zpby2_plus_zpby3
lda 3
clc
adc 4
sta 5
// [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ] // cowo1_staridx_zpby1=zpby2
lda 5
ldx 2
sta 4354,x
// [7] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ] // zpby1=zpby1_plus_1
@ -564,15 +573,17 @@ B1:
ldx 2
lda 4352,x
sta 3
// [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ] // aby=cowo1_staridx_zpby1
// [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ] // zpby1=cowo1_staridx_zpby2
ldx 2
lda 4353,x
// [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ] // zpby1=zpby1_plus_aby
clc
adc 3
sta 3
// [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ] // cowo1_staridx_zpby1=zpby2
sta 4
// [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ] // zpby1=zpby2_plus_zpby3
lda 3
clc
adc 4
sta 5
// [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ] // cowo1_staridx_zpby1=zpby2
lda 5
ldx 2
sta 4354,x
// [7] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ] // zpby1=zpby1_plus_1
@ -585,8 +596,8 @@ BEND:
FINAL SYMBOL TABLE
(byte~) $1 zp byte:3 11.0
(byte~) $3 reg byte a 22.0
(byte~) $4 zp byte:3 22.0
(byte~) $3 zp byte:4 22.0
(byte~) $4 zp byte:5 22.0
(label) @1
(label) @BEGIN
(label) @END
@ -618,15 +629,17 @@ B1:
ldx 2
lda 4352,x
sta 3
// [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ] // aby=cowo1_staridx_zpby1
// [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ] // zpby1=cowo1_staridx_zpby2
ldx 2
lda 4353,x
// [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ] // zpby1=zpby1_plus_aby
clc
adc 3
sta 3
// [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ] // cowo1_staridx_zpby1=zpby2
sta 4
// [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ] // zpby1=zpby2_plus_zpby3
lda 3
clc
adc 4
sta 5
// [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ] // cowo1_staridx_zpby1=zpby2
lda 5
ldx 2
sta 4354,x
// [7] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ] // zpby1=zpby1_plus_1

4
src/main/java/dk/camelot64/kickc/test/ref/fibmem.sym
View File

@ -1,6 +1,6 @@
(byte~) $1 zp byte:3 11.0
(byte~) $3 reg byte a 22.0
(byte~) $4 zp byte:3 22.0
(byte~) $3 zp byte:4 22.0
(byte~) $4 zp byte:5 22.0
(label) @1
(label) @BEGIN
(label) @END

2
src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.asm
View File

@ -14,6 +14,8 @@ main__B3_from_B3:
main__B3_from_B6:
main__B3:
lda 53266
sta 14
lda 14
cmp #254
bne main__B3_from_B3
main__B4:

68
src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.log
View File

@ -4028,18 +4028,6 @@ Initial phi equivalence classes
[ flip::c#2 flip::c#1 ]
[ flip::i#2 flip::i#1 ]
[ prepare::i#2 prepare::i#1 ]
Copy Coalesced equivalence classes
[ main::c#2 main::c#1 ]
[ plot::line#2 plot::line#1 ]
[ plot::y#2 plot::y#1 ]
[ plot::i#2 plot::i#3 plot::i#1 ]
[ plot::x#2 plot::x#1 ]
[ flip::r#2 flip::r#1 ]
[ flip::srcIdx#2 flip::srcIdx#3 flip::srcIdx#1 ]
[ flip::dstIdx#3 flip::dstIdx#5 flip::dstIdx#2 flip::dstIdx#1 ]
[ flip::c#2 flip::c#1 ]
[ flip::i#2 flip::i#1 ]
[ prepare::i#2 prepare::i#1 ]
Added variable main::$1 to zero page equivalence class [ main::$1 ]
Added variable main::$3 to zero page equivalence class [ main::$3 ]
Added variable plot::$3 to zero page equivalence class [ plot::$3 ]
@ -4148,23 +4136,11 @@ zp byte:16 [ plot::$3 ]
zp byte:17 [ flip::$0 ]
zp byte:18 [ flip::$4 ]
Re-allocated ZP register from zp byte:2 to zp byte:2
Re-allocated ZP register from zp ptr byte:3 to zp ptr byte:3
Re-allocated ZP register from zp byte:5 to zp byte:5
Re-allocated ZP register from zp byte:6 to zp byte:6
Re-allocated ZP register from zp byte:7 to zp byte:7
Re-allocated ZP register from zp byte:8 to zp byte:8
Re-allocated ZP register from zp byte:9 to zp byte:9
Re-allocated ZP register from zp byte:10 to zp byte:10
Re-allocated ZP register from zp byte:11 to zp byte:11
Re-allocated ZP register from zp byte:12 to zp byte:12
Re-allocated ZP register from zp byte:13 to zp byte:13
Re-allocated ZP register from zp byte:14 to zp byte:14
Re-allocated ZP register from zp byte:15 to zp byte:15
Re-allocated ZP register from zp byte:16 to zp byte:16
Re-allocated ZP register from zp byte:17 to zp byte:17
Re-allocated ZP register from zp byte:18 to zp byte:18
Uplifting of variable (byte~) main::$1 to A
Uplifting max weight 2252.25 live range equivalence class zp byte:7 [ plot::x#2 plot::x#1 ]
Uplift to reg byte a resulted in clobber.
Uplift to reg byte x resulted in clobber.
Register Cycles: reg byte y 30
Uplift to reg byte y succesfull.
REGISTER UPLIFTING
(byte*) RASTER
(byte[1000]) SCREEN
@ -4192,7 +4168,7 @@ REGISTER UPLIFTING
(byte) flip::srcIdx#2 zp byte:9 1034.6666666666667
(byte) flip::srcIdx#3 zp byte:9 202.0
(void()) main()
(byte~) main::$1 reg byte a 2002.0
(byte~) main::$1 zp byte:14 2002.0
(byte~) main::$3 zp byte:15 2002.0
(byte) main::c
(byte) main::c#1 zp byte:2 151.5
@ -4267,9 +4243,11 @@ main__B3_from_B6:
// (byte) main::c#2 = (byte) main::c#1 // register copy zp byte:2
jmp main__B3
main__B3:
// [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ] // aby=_star_cowo1
// [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ] // zpby1=_star_cowo1
lda 53266
// [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ] // aby_neq_coby1_then_la1
sta 14
// [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ] // zpby1_neq_coby1_then_la1
lda 14
cmp #254
bne main__B3_from_B3
jmp main__B4
@ -4515,9 +4493,11 @@ main__B3_from_B3:
main__B3_from_B6:
// (byte) main::c#2 = (byte) main::c#1 // register copy zp byte:2
main__B3:
// [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ] // aby=_star_cowo1
// [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ] // zpby1=_star_cowo1
lda 53266
// [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ] // aby_neq_coby1_then_la1
sta 14
// [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ] // zpby1_neq_coby1_then_la1
lda 14
cmp #254
bne main__B3_from_B3
main__B4:
@ -4733,9 +4713,11 @@ main__B3_from_B3:
main__B3_from_B6:
// (byte) main::c#2 = (byte) main::c#1 // register copy zp byte:2
main__B3:
// [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ] // aby=_star_cowo1
// [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ] // zpby1=_star_cowo1
lda 53266
// [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ] // aby_neq_coby1_then_la1
sta 14
// [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ] // zpby1_neq_coby1_then_la1
lda 14
cmp #254
bne main__B3_from_B3
main__B4:
@ -4938,9 +4920,11 @@ main__B3_from_B3:
main__B3_from_B6:
// (byte) main::c#2 = (byte) main::c#1 // register copy zp byte:2
main__B3:
// [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ] // aby=_star_cowo1
// [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ] // zpby1=_star_cowo1
lda 53266
// [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ] // aby_neq_coby1_then_la1
sta 14
// [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ] // zpby1_neq_coby1_then_la1
lda 14
cmp #254
bne main__B3_from_B3
main__B4:
@ -5156,7 +5140,7 @@ FINAL SYMBOL TABLE
(byte) flip::srcIdx#2 zp byte:9 1034.6666666666667
(byte) flip::srcIdx#3 zp byte:9 202.0
(void()) main()
(byte~) main::$1 reg byte a 2002.0
(byte~) main::$1 zp byte:14 2002.0
(byte~) main::$3 zp byte:15 2002.0
(label) main::@10
(label) main::@11
@ -5220,9 +5204,11 @@ main__B3_from_B3:
main__B3_from_B6:
// (byte) main::c#2 = (byte) main::c#1 // register copy zp byte:2
main__B3:
// [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ] // aby=_star_cowo1
// [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ] // zpby1=_star_cowo1
lda 53266
// [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ] // aby_neq_coby1_then_la1
sta 14
// [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ] // zpby1_neq_coby1_then_la1
lda 14
cmp #254
bne main__B3_from_B3
main__B4:

2
src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.sym
View File

@ -31,7 +31,7 @@
(byte) flip::srcIdx#2 zp byte:9 1034.6666666666667
(byte) flip::srcIdx#3 zp byte:9 202.0
(void()) main()
(byte~) main::$1 reg byte a 2002.0
(byte~) main::$1 zp byte:14 2002.0
(byte~) main::$3 zp byte:15 2002.0
(label) main::@10
(label) main::@11

2
src/main/java/dk/camelot64/kickc/test/ref/loopmin.asm
View File

@ -21,6 +21,6 @@ B2:
lda 3
clc
adc 2
B3_from_B2:
sta 3
B3_from_B2:
jmp B3

40
src/main/java/dk/camelot64/kickc/test/ref/loopmin.log
View File

@ -363,9 +363,6 @@ Loop head: @1 tails: @3 blocks: @3 @1 @2 depth: 1
Initial phi equivalence classes
[ i#2 i#1 ]
[ s#2 s#4 s#1 ]
Copy Coalesced equivalence classes
[ i#2 i#1 ]
[ s#2 s#4 s#1 ]
Complete equivalence classes
[ i#2 i#1 ]
[ s#2 s#4 s#1 ]
@ -384,15 +381,18 @@ VARIABLE REGISTER WEIGHTS
zp byte:2 [ i#2 i#1 ]
zp byte:3 [ s#2 s#4 s#1 ]
Re-allocated ZP register from zp byte:2 to zp byte:2
Re-allocated ZP register from zp byte:3 to zp byte:3
Uplifting of variable (byte) s#1 to A
Uplifting max weight 49.5 live range equivalence class zp byte:3 [ s#2 s#4 s#1 ]
Uplift to reg byte a resulted in clobber.
Register Cycles: reg byte x 28
Uplift to reg byte x succesfull.
Register Cycles: reg byte y 28
Uplift to reg byte y succesfull.
REGISTER UPLIFTING
(byte) i
(byte) i#1 zp byte:2 16.5
(byte) i#2 zp byte:2 11.0
(byte) s
(byte) s#1 reg byte a 22.0
(byte) s#1 zp byte:3 22.0
(byte) s#2 zp byte:3 16.5
(byte) s#4 zp byte:3 11.0
@ -432,13 +432,13 @@ B3:
jmp BEND
BEND:
B2:
// [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ] // aby=zpby1_plus_zpby2
// [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ] // zpby1=zpby1_plus_zpby2
lda 3
clc
adc 2
B3_from_B2:
// (byte) s#4 = (byte) s#1 // zpby1=aby
sta 3
B3_from_B2:
// (byte) s#4 = (byte) s#1 // register copy zp byte:3
jmp B3
Removing instruction jmp B1
@ -475,13 +475,13 @@ B3:
bne B1_from_B3
BEND:
B2:
// [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ] // aby=zpby1_plus_zpby2
// [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ] // zpby1=zpby1_plus_zpby2
lda 3
clc
adc 2
B3_from_B2:
// (byte) s#4 = (byte) s#1 // zpby1=aby
sta 3
B3_from_B2:
// (byte) s#4 = (byte) s#1 // register copy zp byte:3
jmp B3
Removing instruction jmp B1
@ -515,13 +515,13 @@ B3:
bne B1_from_B3
BEND:
B2:
// [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ] // aby=zpby1_plus_zpby2
// [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ] // zpby1=zpby1_plus_zpby2
lda 3
clc
adc 2
B3_from_B2:
// (byte) s#4 = (byte) s#1 // zpby1=aby
sta 3
B3_from_B2:
// (byte) s#4 = (byte) s#1 // register copy zp byte:3
jmp B3
FINAL SYMBOL TABLE
@ -534,7 +534,7 @@ FINAL SYMBOL TABLE
(byte) i#1 zp byte:2 16.5
(byte) i#2 zp byte:2 11.0
(byte) s
(byte) s#1 reg byte a 22.0
(byte) s#1 zp byte:3 22.0
(byte) s#2 zp byte:3 16.5
(byte) s#4 zp byte:3 11.0
@ -570,12 +570,12 @@ B3:
bne B1_from_B3
BEND:
B2:
// [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ] // aby=zpby1_plus_zpby2
// [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ] // zpby1=zpby1_plus_zpby2
lda 3
clc
adc 2
B3_from_B2:
// (byte) s#4 = (byte) s#1 // zpby1=aby
sta 3
B3_from_B2:
// (byte) s#4 = (byte) s#1 // register copy zp byte:3
jmp B3

2
src/main/java/dk/camelot64/kickc/test/ref/loopmin.sym
View File

@ -7,7 +7,7 @@
(byte) i#1 zp byte:2 16.5
(byte) i#2 zp byte:2 11.0
(byte) s
(byte) s#1 reg byte a 22.0
(byte) s#1 zp byte:3 22.0
(byte) s#2 zp byte:3 16.5
(byte) s#4 zp byte:3 11.0

6
src/main/java/dk/camelot64/kickc/test/ref/loopnest.asm
View File

@ -18,16 +18,12 @@ nest:
nest__B1_from_nest:
lda #100
sta 3
jmp nest__B1
nest__B1_from_B1:
sta 3
nest__B1:
lda 3
sta 1024
dec 3
lda 3
sec
sbc #1
cmp #0
bne nest__B1_from_B1
nest__Breturn:
rts

64
src/main/java/dk/camelot64/kickc/test/ref/loopnest.log
View File

@ -711,9 +711,6 @@ Loop head: nest::@1 tails: nest::@1 blocks: nest::@1 depth: 2
Initial phi equivalence classes
[ main::i#2 main::i#1 ]
[ nest::j#2 nest::j#1 ]
Copy Coalesced equivalence classes
[ main::i#2 main::i#1 ]
[ nest::j#2 nest::j#1 ]
Complete equivalence classes
[ main::i#2 main::i#1 ]
[ nest::j#2 nest::j#1 ]
@ -734,9 +731,13 @@ VARIABLE REGISTER WEIGHTS
zp byte:2 [ main::i#2 main::i#1 ]
zp byte:3 [ nest::j#2 nest::j#1 ]
Re-allocated ZP register from zp byte:2 to zp byte:2
Re-allocated ZP register from zp byte:3 to zp byte:3
Uplifting of variable (byte) nest::j#1 to A
Uplifting max weight 303.0 live range equivalence class zp byte:3 [ nest::j#2 nest::j#1 ]
Register Cycles: reg byte a 12
Uplift to reg byte a succesfull.
Register Cycles: reg byte x 10
Uplift to reg byte x succesfull.
Register Cycles: reg byte y 10
Uplift to reg byte y succesfull.
REGISTER UPLIFTING
(byte*) SCREEN
(void()) main()
@ -745,7 +746,7 @@ REGISTER UPLIFTING
(byte) main::i#2 zp byte:2 3.142857142857143
(void()) nest()
(byte) nest::j
(byte) nest::j#1 reg byte a 151.5
(byte) nest::j#1 zp byte:3 151.5
(byte) nest::j#2 zp byte:3 151.5
zp byte:2 [ main::i#2 main::i#1 ]
@ -784,19 +785,16 @@ nest__B1_from_nest:
sta 3
jmp nest__B1
nest__B1_from_B1:
// (byte) nest::j#2 = (byte) nest::j#1 // zpby1=aby
sta 3
// (byte) nest::j#2 = (byte) nest::j#1 // register copy zp byte:3
jmp nest__B1
nest__B1:
// [7] *((word) 1024) ← (byte) nest::j#2 [ main::i#2 nest::j#2 ] // _star_cowo1=zpby1
lda 3
sta 1024
// [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ] // aby=_dec_zpby1
// [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ] // zpby1=_dec_zpby1
dec 3
// [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ] // zpby1_gt_0_then_la1
lda 3
sec
sbc #1
// [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ] // aby_gt_0_then_la1
cmp #0
bne nest__B1_from_B1
jmp nest__Breturn
nest__Breturn:
@ -838,23 +836,21 @@ nest__B1_from_nest:
sta 3
jmp nest__B1
nest__B1_from_B1:
// (byte) nest::j#2 = (byte) nest::j#1 // zpby1=aby
sta 3
// (byte) nest::j#2 = (byte) nest::j#1 // register copy zp byte:3
nest__B1:
// [7] *((word) 1024) ← (byte) nest::j#2 [ main::i#2 nest::j#2 ] // _star_cowo1=zpby1
lda 3
sta 1024
// [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ] // aby=_dec_zpby1
// [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ] // zpby1=_dec_zpby1
dec 3
// [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ] // zpby1_gt_0_then_la1
lda 3
sec
sbc #1
// [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ] // aby_gt_0_then_la1
cmp #0
bne nest__B1_from_B1
nest__Breturn:
rts
Removing instruction jmp main__B1
Removing instruction jmp nest__B1
Succesful ASM optimization Pass5NextJumpElimination
ASSEMBLER
BBEGIN:
@ -882,20 +878,16 @@ nest__B1_from_nest:
// (byte) nest::j#2 = (byte) 100 // zpby1=coby1
lda #100
sta 3
jmp nest__B1
nest__B1_from_B1:
// (byte) nest::j#2 = (byte) nest::j#1 // zpby1=aby
sta 3
// (byte) nest::j#2 = (byte) nest::j#1 // register copy zp byte:3
nest__B1:
// [7] *((word) 1024) ← (byte) nest::j#2 [ main::i#2 nest::j#2 ] // _star_cowo1=zpby1
lda 3
sta 1024
// [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ] // aby=_dec_zpby1
// [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ] // zpby1=_dec_zpby1
dec 3
// [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ] // zpby1_gt_0_then_la1
lda 3
sec
sbc #1
// [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ] // aby_gt_0_then_la1
cmp #0
bne nest__B1_from_B1
nest__Breturn:
rts
@ -915,7 +907,7 @@ FINAL SYMBOL TABLE
(label) nest::@1
(label) nest::@return
(byte) nest::j
(byte) nest::j#1 reg byte a 151.5
(byte) nest::j#1 zp byte:3 151.5
(byte) nest::j#2 zp byte:3 151.5
zp byte:2 [ main::i#2 main::i#1 ]
@ -947,20 +939,16 @@ nest__B1_from_nest:
// (byte) nest::j#2 = (byte) 100 // zpby1=coby1
lda #100
sta 3
jmp nest__B1
nest__B1_from_B1:
// (byte) nest::j#2 = (byte) nest::j#1 // zpby1=aby
sta 3
// (byte) nest::j#2 = (byte) nest::j#1 // register copy zp byte:3
nest__B1:
// [7] *((word) 1024) ← (byte) nest::j#2 [ main::i#2 nest::j#2 ] // _star_cowo1=zpby1
lda 3
sta 1024
// [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ] // aby=_dec_zpby1
// [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ] // zpby1=_dec_zpby1
dec 3
// [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ] // zpby1_gt_0_then_la1
lda 3
sec
sbc #1
// [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ] // aby_gt_0_then_la1
cmp #0
bne nest__B1_from_B1
nest__Breturn:
rts

2
src/main/java/dk/camelot64/kickc/test/ref/loopnest.sym
View File

@ -12,7 +12,7 @@
(label) nest::@1
(label) nest::@return
(byte) nest::j
(byte) nest::j#1 reg byte a 151.5
(byte) nest::j#1 zp byte:3 151.5
(byte) nest::j#2 zp byte:3 151.5
zp byte:2 [ main::i#2 main::i#1 ]

6
src/main/java/dk/camelot64/kickc/test/ref/loopnest2.asm
View File

@ -54,16 +54,12 @@ nest2__B1:
nest2__B2_from_B1:
lda #100
sta 7
jmp nest2__B2
nest2__B2_from_B2:
sta 7
nest2__B2:
lda 7
sta 1024
dec 7
lda 7
sec
sbc #1
cmp #0
bne nest2__B2_from_B2
nest2__B3:
dec 6

72
src/main/java/dk/camelot64/kickc/test/ref/loopnest2.log
View File

@ -1797,13 +1797,6 @@ Initial phi equivalence classes
[ nest1::j#2 nest1::j#1 ]
[ nest2::i#2 nest2::i#1 ]
[ nest2::j#2 nest2::j#1 ]
Copy Coalesced equivalence classes
[ main::i#2 main::i#1 ]
[ main::j#2 main::j#1 ]
[ nest1::i#2 nest1::i#1 ]
[ nest1::j#2 nest1::j#1 ]
[ nest2::i#2 nest2::i#1 ]
[ nest2::j#2 nest2::j#1 ]
Complete equivalence classes
[ main::i#2 main::i#1 ]
[ main::j#2 main::j#1 ]
@ -1849,13 +1842,13 @@ zp byte:5 [ nest1::j#2 nest1::j#1 ]
zp byte:6 [ nest2::i#2 nest2::i#1 ]
zp byte:7 [ nest2::j#2 nest2::j#1 ]
Re-allocated ZP register from zp byte:2 to zp byte:2
Re-allocated ZP register from zp byte:3 to zp byte:3
Re-allocated ZP register from zp byte:4 to zp byte:4
Re-allocated ZP register from zp byte:5 to zp byte:5
Re-allocated ZP register from zp byte:6 to zp byte:6
Re-allocated ZP register from zp byte:7 to zp byte:7
Uplifting of variable (byte) nest2::j#1 to A
Uplifting max weight 3000003.0 live range equivalence class zp byte:7 [ nest2::j#2 nest2::j#1 ]
Register Cycles: reg byte a 12
Uplift to reg byte a succesfull.
Register Cycles: reg byte x 10
Uplift to reg byte x succesfull.
Register Cycles: reg byte y 10
Uplift to reg byte y succesfull.
REGISTER UPLIFTING
(byte*) SCREEN
(void()) main()
@ -1877,7 +1870,7 @@ REGISTER UPLIFTING
(byte) nest2::i#1 zp byte:6 150001.5
(byte) nest2::i#2 zp byte:6 40000.4
(byte) nest2::j
(byte) nest2::j#1 reg byte a 1500001.5
(byte) nest2::j#1 zp byte:7 1500001.5
(byte) nest2::j#2 zp byte:7 1500001.5
zp byte:2 [ main::i#2 main::i#1 ]
@ -1982,19 +1975,16 @@ nest2__B2_from_B1:
sta 7
jmp nest2__B2
nest2__B2_from_B2:
// (byte) nest2::j#2 = (byte) nest2::j#1 // zpby1=aby
sta 7
// (byte) nest2::j#2 = (byte) nest2::j#1 // register copy zp byte:7
jmp nest2__B2
nest2__B2:
// [19] *((word) 1024) ← (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#2 nest2::i#2 ] // _star_cowo1=zpby1
lda 7
sta 1024
// [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // aby=_dec_zpby1
// [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // zpby1=_dec_zpby1
dec 7
// [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // zpby1_gt_0_then_la1
lda 7
sec
sbc #1
// [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // aby_gt_0_then_la1
cmp #0
bne nest2__B2_from_B2
jmp nest2__B3
nest2__B3:
@ -2106,18 +2096,15 @@ nest2__B2_from_B1:
sta 7
jmp nest2__B2
nest2__B2_from_B2:
// (byte) nest2::j#2 = (byte) nest2::j#1 // zpby1=aby
sta 7
// (byte) nest2::j#2 = (byte) nest2::j#1 // register copy zp byte:7
nest2__B2:
// [19] *((word) 1024) ← (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#2 nest2::i#2 ] // _star_cowo1=zpby1
lda 7
sta 1024
// [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // aby=_dec_zpby1
// [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // zpby1=_dec_zpby1
dec 7
// [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // zpby1_gt_0_then_la1
lda 7
sec
sbc #1
// [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // aby_gt_0_then_la1
cmp #0
bne nest2__B2_from_B2
nest2__B3:
// [22] (byte) nest2::i#1 ← -- (byte) nest2::i#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::i#1 ] // zpby1=_dec_zpby1
@ -2133,6 +2120,7 @@ Removing instruction jmp main__B2
Removing instruction jmp nest1__B1
Removing instruction jmp nest1__B2
Removing instruction jmp nest2__B1
Removing instruction jmp nest2__B2
Succesful ASM optimization Pass5NextJumpElimination
ASSEMBLER
BBEGIN:
@ -2210,20 +2198,16 @@ nest2__B2_from_B1:
// (byte) nest2::j#2 = (byte) 100 // zpby1=coby1
lda #100
sta 7
jmp nest2__B2
nest2__B2_from_B2:
// (byte) nest2::j#2 = (byte) nest2::j#1 // zpby1=aby
sta 7
// (byte) nest2::j#2 = (byte) nest2::j#1 // register copy zp byte:7
nest2__B2:
// [19] *((word) 1024) ← (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#2 nest2::i#2 ] // _star_cowo1=zpby1
lda 7
sta 1024
// [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // aby=_dec_zpby1
// [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // zpby1=_dec_zpby1
dec 7
// [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // zpby1_gt_0_then_la1
lda 7
sec
sbc #1
// [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // aby_gt_0_then_la1
cmp #0
bne nest2__B2_from_B2
nest2__B3:
// [22] (byte) nest2::i#1 ← -- (byte) nest2::i#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::i#1 ] // zpby1=_dec_zpby1
@ -2271,7 +2255,7 @@ FINAL SYMBOL TABLE
(byte) nest2::i#1 zp byte:6 150001.5
(byte) nest2::i#2 zp byte:6 40000.4
(byte) nest2::j
(byte) nest2::j#1 reg byte a 1500001.5
(byte) nest2::j#1 zp byte:7 1500001.5
(byte) nest2::j#2 zp byte:7 1500001.5
zp byte:2 [ main::i#2 main::i#1 ]
@ -2357,20 +2341,16 @@ nest2__B2_from_B1:
// (byte) nest2::j#2 = (byte) 100 // zpby1=coby1
lda #100
sta 7
jmp nest2__B2
nest2__B2_from_B2:
// (byte) nest2::j#2 = (byte) nest2::j#1 // zpby1=aby
sta 7
// (byte) nest2::j#2 = (byte) nest2::j#1 // register copy zp byte:7
nest2__B2:
// [19] *((word) 1024) ← (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#2 nest2::i#2 ] // _star_cowo1=zpby1
lda 7
sta 1024
// [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // aby=_dec_zpby1
// [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // zpby1=_dec_zpby1
dec 7
// [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // zpby1_gt_0_then_la1
lda 7
sec
sbc #1
// [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ] // aby_gt_0_then_la1
cmp #0
bne nest2__B2_from_B2
nest2__B3:
// [22] (byte) nest2::i#1 ← -- (byte) nest2::i#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::i#1 ] // zpby1=_dec_zpby1

2
src/main/java/dk/camelot64/kickc/test/ref/loopnest2.sym
View File

@ -34,7 +34,7 @@
(byte) nest2::i#1 zp byte:6 150001.5
(byte) nest2::i#2 zp byte:6 40000.4
(byte) nest2::j
(byte) nest2::j#1 reg byte a 1500001.5
(byte) nest2::j#1 zp byte:7 1500001.5
(byte) nest2::j#2 zp byte:7 1500001.5
zp byte:2 [ main::i#2 main::i#1 ]

4
src/main/java/dk/camelot64/kickc/test/ref/loopsplit.asm
View File

@ -6,8 +6,8 @@ main__B1_from_main:
lda #0
sta 3
lda #100
main__B1:
sta 2
main__B1:
dec 2
lda 2
bne main__B2
@ -22,10 +22,8 @@ main__B2:
main__B5:
dec 3
main__B1_from_B5:
lda 2
jmp main__B1
main__B4:
inc 3
main__B1_from_B4:
lda 2
jmp main__B1

52
src/main/java/dk/camelot64/kickc/test/ref/loopsplit.log
View File

@ -516,9 +516,6 @@ Loop head: main::@1 tails: main::@5 main::@4 blocks: main::@5 main::@2 main::@1
Initial phi equivalence classes
[ main::i#2 main::i#1 ]
[ main::s#3 main::s#1 main::s#2 ]
Copy Coalesced equivalence classes
[ main::i#2 main::i#1 ]
[ main::s#3 main::s#1 main::s#2 ]
Complete equivalence classes
[ main::i#2 main::i#1 ]
[ main::s#3 main::s#1 main::s#2 ]
@ -538,14 +535,17 @@ VARIABLE REGISTER WEIGHTS
zp byte:2 [ main::i#2 main::i#1 ]
zp byte:3 [ main::s#3 main::s#1 main::s#2 ]
Re-allocated ZP register from zp byte:2 to zp byte:2
Re-allocated ZP register from zp byte:3 to zp byte:3
Uplifting of variable (byte) main::i#2 to A
Uplifting max weight 55.0 live range equivalence class zp byte:3 [ main::s#3 main::s#1 main::s#2 ]
Uplift to reg byte a resulted in clobber.
Register Cycles: reg byte x 23
Uplift to reg byte x succesfull.
Register Cycles: reg byte y 23
Uplift to reg byte y succesfull.
REGISTER UPLIFTING
(void()) main()
(byte) main::i
(byte) main::i#1 zp byte:2 11.0
(byte) main::i#2 reg byte a 33.0
(byte) main::i#2 zp byte:2 33.0
(byte) main::s
(byte) main::s#1 zp byte:3 22.0
(byte) main::s#2 zp byte:3 22.0
@ -564,12 +564,12 @@ main__B1_from_main:
// (byte) main::s#3 = (byte) 0 // zpby1=coby1
lda #0
sta 3
// (byte) main::i#2 = (byte) 100 // aby=coby1
// (byte) main::i#2 = (byte) 100 // zpby1=coby1
lda #100
sta 2
jmp main__B1
main__B1:
// [2] (byte) main::i#1 ← -- (byte) main::i#2 [ main::i#1 main::s#3 ] // zpby1=_dec_aby
sta 2
// [2] (byte) main::i#1 ← -- (byte) main::i#2 [ main::i#1 main::s#3 ] // zpby1=_dec_zpby1
dec 2
// [3] if((byte) main::i#1>(byte) 0) goto main::@2 [ main::i#1 main::s#3 ] // zpby1_gt_0_then_la1
lda 2
@ -590,16 +590,14 @@ main__B5:
dec 3
main__B1_from_B5:
// (byte) main::s#3 = (byte) main::s#2 // register copy zp byte:3
// (byte) main::i#2 = (byte) main::i#1 // aby=zpby1
lda 2
// (byte) main::i#2 = (byte) main::i#1 // register copy zp byte:2
jmp main__B1
main__B4:
// [7] (byte) main::s#1 ← ++ (byte) main::s#3 [ main::i#1 main::s#1 ] // zpby1=_inc_zpby1
inc 3
main__B1_from_B4:
// (byte) main::s#3 = (byte) main::s#1 // register copy zp byte:3
// (byte) main::i#2 = (byte) main::i#1 // aby=zpby1
lda 2
// (byte) main::i#2 = (byte) main::i#1 // register copy zp byte:2
jmp main__B1
Removing instruction jmp BEND
@ -616,11 +614,11 @@ main__B1_from_main:
// (byte) main::s#3 = (byte) 0 // zpby1=coby1
lda #0
sta 3
// (byte) main::i#2 = (byte) 100 // aby=coby1
// (byte) main::i#2 = (byte) 100 // zpby1=coby1
lda #100
main__B1:
// [2] (byte) main::i#1 ← -- (byte) main::i#2 [ main::i#1 main::s#3 ] // zpby1=_dec_aby
sta 2
main__B1:
// [2] (byte) main::i#1 ← -- (byte) main::i#2 [ main::i#1 main::s#3 ] // zpby1=_dec_zpby1
dec 2
// [3] if((byte) main::i#1>(byte) 0) goto main::@2 [ main::i#1 main::s#3 ] // zpby1_gt_0_then_la1
lda 2
@ -639,16 +637,14 @@ main__B5:
dec 3
main__B1_from_B5:
// (byte) main::s#3 = (byte) main::s#2 // register copy zp byte:3
// (byte) main::i#2 = (byte) main::i#1 // aby=zpby1
lda 2
// (byte) main::i#2 = (byte) main::i#1 // register copy zp byte:2
jmp main__B1
main__B4:
// [7] (byte) main::s#1 ← ++ (byte) main::s#3 [ main::i#1 main::s#1 ] // zpby1=_inc_zpby1
inc 3
main__B1_from_B4:
// (byte) main::s#3 = (byte) main::s#1 // register copy zp byte:3
// (byte) main::i#2 = (byte) main::i#1 // aby=zpby1
lda 2
// (byte) main::i#2 = (byte) main::i#1 // register copy zp byte:2
jmp main__B1
FINAL SYMBOL TABLE
@ -662,7 +658,7 @@ FINAL SYMBOL TABLE
(label) main::@return
(byte) main::i
(byte) main::i#1 zp byte:2 11.0
(byte) main::i#2 reg byte a 33.0
(byte) main::i#2 zp byte:2 33.0
(byte) main::s
(byte) main::s#1 zp byte:3 22.0
(byte) main::s#2 zp byte:3 22.0
@ -680,11 +676,11 @@ main__B1_from_main:
// (byte) main::s#3 = (byte) 0 // zpby1=coby1
lda #0
sta 3
// (byte) main::i#2 = (byte) 100 // aby=coby1
// (byte) main::i#2 = (byte) 100 // zpby1=coby1
lda #100
main__B1:
// [2] (byte) main::i#1 ← -- (byte) main::i#2 [ main::i#1 main::s#3 ] // zpby1=_dec_aby
sta 2
main__B1:
// [2] (byte) main::i#1 ← -- (byte) main::i#2 [ main::i#1 main::s#3 ] // zpby1=_dec_zpby1
dec 2
// [3] if((byte) main::i#1>(byte) 0) goto main::@2 [ main::i#1 main::s#3 ] // zpby1_gt_0_then_la1
lda 2
@ -703,15 +699,13 @@ main__B5:
dec 3
main__B1_from_B5:
// (byte) main::s#3 = (byte) main::s#2 // register copy zp byte:3
// (byte) main::i#2 = (byte) main::i#1 // aby=zpby1
lda 2
// (byte) main::i#2 = (byte) main::i#1 // register copy zp byte:2
jmp main__B1
main__B4:
// [7] (byte) main::s#1 ← ++ (byte) main::s#3 [ main::i#1 main::s#1 ] // zpby1=_inc_zpby1
inc 3
main__B1_from_B4:
// (byte) main::s#3 = (byte) main::s#1 // register copy zp byte:3
// (byte) main::i#2 = (byte) main::i#1 // aby=zpby1
lda 2
// (byte) main::i#2 = (byte) main::i#1 // register copy zp byte:2
jmp main__B1

2
src/main/java/dk/camelot64/kickc/test/ref/loopsplit.sym
View File

@ -8,7 +8,7 @@
(label) main::@return
(byte) main::i
(byte) main::i#1 zp byte:2 11.0
(byte) main::i#2 reg byte a 33.0
(byte) main::i#2 zp byte:2 33.0
(byte) main::s
(byte) main::s#1 zp byte:3 22.0
(byte) main::s#2 zp byte:3 22.0

2
src/main/java/dk/camelot64/kickc/test/ref/minus.asm
View File

@ -7,6 +7,8 @@ B1:
lda 2
clc
adc #4
sta 3
lda 3
ldx 2
sta 4352,x
inc 2

39
src/main/java/dk/camelot64/kickc/test/ref/minus.log
View File

@ -292,8 +292,6 @@ Loop head: @1 tails: @1 blocks: @1 depth: 1
Initial phi equivalence classes
[ i#2 i#1 ]
Copy Coalesced equivalence classes
[ i#2 i#1 ]
Added variable $1 to zero page equivalence class [ $1 ]
Complete equivalence classes
[ i#2 i#1 ]
@ -311,11 +309,14 @@ VARIABLE REGISTER WEIGHTS
zp byte:2 [ i#2 i#1 ]
zp byte:3 [ $1 ]
Re-allocated ZP register from zp byte:2 to zp byte:2
Re-allocated ZP register from zp byte:3 to zp byte:3
Uplifting of variable (byte~) $1 to A
Uplifting max weight 31.166666666666664 live range equivalence class zp byte:2 [ i#2 i#1 ]
Uplift to reg byte a resulted in clobber.
Register Cycles: reg byte x 23
Uplift to reg byte x succesfull.
Register Cycles: reg byte y 23
Uplift to reg byte y succesfull.
REGISTER UPLIFTING
(byte~) $1 reg byte a 22.0
(byte~) $1 zp byte:3 22.0
(byte) i
(byte) i#1 zp byte:2 16.5
(byte) i#2 zp byte:2 14.666666666666666
@ -335,11 +336,13 @@ B1_from_B1:
// (byte) i#2 = (byte) i#1 // register copy zp byte:2
jmp B1
B1:
// [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ] // aby=zpby1_plus_coby1
// [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ] // zpby1=zpby2_plus_coby1
lda 2
clc
adc #4
// [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ] // cowo1_staridx_zpby1=aby
sta 3
// [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ] // cowo1_staridx_zpby1=zpby2
lda 3
ldx 2
sta 4352,x
// [3] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ] // zpby1=zpby1_plus_1
@ -364,11 +367,13 @@ B1_from_BBEGIN:
B1_from_B1:
// (byte) i#2 = (byte) i#1 // register copy zp byte:2
B1:
// [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ] // aby=zpby1_plus_coby1
// [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ] // zpby1=zpby2_plus_coby1
lda 2
clc
adc #4
// [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ] // cowo1_staridx_zpby1=aby
sta 3
// [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ] // cowo1_staridx_zpby1=zpby2
lda 3
ldx 2
sta 4352,x
// [3] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ] // zpby1=zpby1_plus_1
@ -390,11 +395,13 @@ B1_from_BBEGIN:
B1_from_B1:
// (byte) i#2 = (byte) i#1 // register copy zp byte:2
B1:
// [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ] // aby=zpby1_plus_coby1
// [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ] // zpby1=zpby2_plus_coby1
lda 2
clc
adc #4
// [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ] // cowo1_staridx_zpby1=aby
sta 3
// [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ] // cowo1_staridx_zpby1=zpby2
lda 3
ldx 2
sta 4352,x
// [3] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ] // zpby1=zpby1_plus_1
@ -406,7 +413,7 @@ B1:
BEND:
FINAL SYMBOL TABLE
(byte~) $1 reg byte a 22.0
(byte~) $1 zp byte:3 22.0
(label) @1
(label) @BEGIN
(label) @END
@ -427,11 +434,13 @@ B1_from_BBEGIN:
B1_from_B1:
// (byte) i#2 = (byte) i#1 // register copy zp byte:2
B1:
// [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ] // aby=zpby1_plus_coby1
// [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ] // zpby1=zpby2_plus_coby1
lda 2
clc
adc #4
// [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ] // cowo1_staridx_zpby1=aby
sta 3
// [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ] // cowo1_staridx_zpby1=zpby2
lda 3
ldx 2
sta 4352,x
// [3] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ] // zpby1=zpby1_plus_1

2
src/main/java/dk/camelot64/kickc/test/ref/minus.sym
View File

@ -1,4 +1,4 @@
(byte~) $1 reg byte a 22.0
(byte~) $1 zp byte:3 22.0
(label) @1
(label) @BEGIN
(label) @END

3
src/main/java/dk/camelot64/kickc/test/ref/ptrtest.asm
View File

@ -63,6 +63,7 @@ rvaluevar__B1_from_B2:
jmp rvaluevar__B1
rvalue:
lda 1024
sta 11
lda 1025
sta 12
rvalue__B1_from_rvalue:
@ -77,7 +78,7 @@ rvalue__Breturn:
rvalue__B2:
ldx 8
lda 1024,x
sta 8
sta 13
inc 8
rvalue__B1_from_B2:
jmp rvalue__B1

86
src/main/java/dk/camelot64/kickc/test/ref/ptrtest.log
View File

@ -1815,36 +1815,31 @@ Initial phi equivalence classes
[ rvaluevar::screen#2 rvaluevar::screen#1 ]
[ rvalue::i#2 rvalue::i#1 ]
[ lvalue::i#2 lvalue::i#1 ]
Copy Coalesced equivalence classes
Added variable rvaluevar::b#0 to zero page equivalence class [ rvaluevar::b#0 ]
Added variable rvalue::b#0 to zero page equivalence class [ rvalue::b#0 ]
Added variable rvalue::b#1 to zero page equivalence class [ rvalue::b#1 ]
Added variable rvalue::b#2 to zero page equivalence class [ rvalue::b#2 ]
Complete equivalence classes
[ lvaluevar::i#2 lvaluevar::i#1 ]
[ lvaluevar::screen#2 lvaluevar::screen#1 ]
[ rvaluevar::i#2 rvaluevar::i#1 ]
[ rvaluevar::screen#2 rvaluevar::screen#1 ]
[ rvalue::i#2 rvalue::i#1 ]
[ lvalue::i#2 lvalue::i#1 ]
Added variable rvaluevar::b#0 to zero page equivalence class [ rvaluevar::b#0 ]
Added variable rvalue::b#0 to zero page equivalence class [ rvalue::b#0 ]
Added variable rvalue::b#1 to zero page equivalence class [ rvalue::b#1 ]
Added variable rvalue::b#2 to zero page equivalence class [ rvalue::i#2 rvalue::i#1 rvalue::b#2 ]
Complete equivalence classes
[ lvaluevar::i#2 lvaluevar::i#1 ]
[ lvaluevar::screen#2 lvaluevar::screen#1 ]
[ rvaluevar::i#2 rvaluevar::i#1 ]
[ rvaluevar::screen#2 rvaluevar::screen#1 ]
[ rvalue::i#2 rvalue::i#1 rvalue::b#2 ]
[ lvalue::i#2 lvalue::i#1 ]
[ rvaluevar::b#0 ]
[ rvalue::b#0 ]
[ rvalue::b#1 ]
[ rvalue::b#2 ]
Allocated zp byte:2 to zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 ]
Allocated zp ptr byte:3 to zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 ]
Allocated zp byte:5 to zp byte:5 [ rvaluevar::i#2 rvaluevar::i#1 ]
Allocated zp ptr byte:6 to zp ptr byte:6 [ rvaluevar::screen#2 rvaluevar::screen#1 ]
Allocated zp byte:8 to zp byte:8 [ rvalue::i#2 rvalue::i#1 rvalue::b#2 ]
Allocated zp byte:8 to zp byte:8 [ rvalue::i#2 rvalue::i#1 ]
Allocated zp byte:9 to zp byte:9 [ lvalue::i#2 lvalue::i#1 ]
Allocated zp byte:10 to zp byte:10 [ rvaluevar::b#0 ]
Allocated zp byte:11 to zp byte:11 [ rvalue::b#0 ]
Allocated zp byte:12 to zp byte:12 [ rvalue::b#1 ]
Allocated zp byte:13 to zp byte:13 [ rvalue::b#2 ]
VARIABLE REGISTER WEIGHTS
(void()) lvalue()
@ -1884,22 +1879,20 @@ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 ]
zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 ]
zp byte:5 [ rvaluevar::i#2 rvaluevar::i#1 ]
zp ptr byte:6 [ rvaluevar::screen#2 rvaluevar::screen#1 ]
zp byte:8 [ rvalue::i#2 rvalue::i#1 rvalue::b#2 ]
zp byte:8 [ rvalue::i#2 rvalue::i#1 ]
zp byte:9 [ lvalue::i#2 lvalue::i#1 ]
zp byte:10 [ rvaluevar::b#0 ]
zp byte:11 [ rvalue::b#0 ]
zp byte:12 [ rvalue::b#1 ]
zp byte:13 [ rvalue::b#2 ]
Re-allocated ZP register from zp byte:2 to zp byte:2
Re-allocated ZP register from zp ptr byte:3 to zp ptr byte:3
Re-allocated ZP register from zp byte:5 to zp byte:5
Re-allocated ZP register from zp ptr byte:6 to zp ptr byte:6
Re-allocated ZP register from zp byte:8 to zp byte:8
Re-allocated ZP register from zp byte:9 to zp byte:9
Re-allocated ZP register from zp byte:10 to zp byte:10
Re-allocated ZP register from zp byte:11 to zp byte:11
Re-allocated ZP register from zp byte:12 to zp byte:12
Uplifting of variable (byte) rvalue::b#0 to A
Uplifting max weight Infinity live range equivalence class zp byte:10 [ rvaluevar::b#0 ]
Register Cycles: reg byte a 0
Uplift to reg byte a succesfull.
Register Cycles: reg byte x 0
Uplift to reg byte x succesfull.
Register Cycles: reg byte y 0
Uplift to reg byte y succesfull.
REGISTER UPLIFTING
(void()) lvalue()
(byte[1024]) lvalue::SCREEN
@ -1918,9 +1911,9 @@ REGISTER UPLIFTING
(void()) rvalue()
(byte[1024]) rvalue::SCREEN
(byte) rvalue::b
(byte) rvalue::b#0 reg byte a Infinity
(byte) rvalue::b#0 zp byte:11 Infinity
(byte) rvalue::b#1 zp byte:12 Infinity
(byte) rvalue::b#2 zp byte:8 Infinity
(byte) rvalue::b#2 zp byte:13 Infinity
(byte) rvalue::i
(byte) rvalue::i#1 zp byte:8 22.0
(byte) rvalue::i#2 zp byte:8 14.666666666666666
@ -1938,18 +1931,20 @@ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 ]
zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 ]
zp byte:5 [ rvaluevar::i#2 rvaluevar::i#1 ]
zp ptr byte:6 [ rvaluevar::screen#2 rvaluevar::screen#1 ]
zp byte:8 [ rvalue::i#2 rvalue::i#1 rvalue::b#2 ]
zp byte:8 [ rvalue::i#2 rvalue::i#1 ]
zp byte:9 [ lvalue::i#2 lvalue::i#1 ]
zp byte:10 [ rvaluevar::b#0 ]
zp byte:11 [ rvalue::b#0 ]
zp byte:12 [ rvalue::b#1 ]
zp byte:13 [ rvalue::b#2 ]
Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 ] ] with [ zp byte:5 [ rvaluevar::i#2 rvaluevar::i#1 ] ]
Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 ] ] with [ zp byte:8 [ rvalue::i#2 rvalue::i#1 rvalue::b#2 ] ]
Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 rvalue::b#2 ] ] with [ zp byte:9 [ lvalue::i#2 lvalue::i#1 ] ]
Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 rvalue::b#2 lvalue::i#2 lvalue::i#1 ] ] with [ zp byte:10 [ rvaluevar::b#0 ] ]
Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 rvalue::b#2 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 ] ] with [ zp byte:11 [ rvalue::b#0 ] ]
Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 rvalue::b#2 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 ] ] with [ zp byte:12 [ rvalue::b#1 ] ]
Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 ] ] with [ zp byte:8 [ rvalue::i#2 rvalue::i#1 ] ]
Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 ] ] with [ zp byte:9 [ lvalue::i#2 lvalue::i#1 ] ]
Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 lvalue::i#2 lvalue::i#1 ] ] with [ zp byte:10 [ rvaluevar::b#0 ] ]
Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 ] ] with [ zp byte:11 [ rvalue::b#0 ] ]
Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 ] ] with [ zp byte:12 [ rvalue::b#1 ] ]
Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 rvalue::b#1 ] ] with [ zp byte:13 [ rvalue::b#2 ] ]
Coalescing zero page register [ zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 ] ] with [ zp ptr byte:6 [ rvaluevar::screen#2 rvaluevar::screen#1 ] ]
INITIAL ASM
BBEGIN:
@ -2041,8 +2036,9 @@ rvaluevar__B1_from_B2:
// (byte) rvaluevar::i#2 = (byte) rvaluevar::i#1 // register copy zp byte:5
jmp rvaluevar__B1
rvalue:
// [18] (byte) rvalue::b#0 ← * (word) 1024 [ ] // aby=_star_cowo1
// [18] (byte) rvalue::b#0 ← * (word) 1024 [ ] // zpby1=_star_cowo1
lda 1024
sta 11
// [19] (byte) rvalue::b#1 ← * (word) 1025 [ ] // zpby1=_star_cowo1
lda 1025
sta 12
@ -2060,10 +2056,10 @@ rvalue__B1:
rvalue__Breturn:
rts
rvalue__B2:
// [23] (byte) rvalue::b#2 ← (word) 1024 *idx (byte) rvalue::i#2 [ rvalue::i#2 ] // zpby1=cowo1_staridx_zpby1
// [23] (byte) rvalue::b#2 ← (word) 1024 *idx (byte) rvalue::i#2 [ rvalue::i#2 ] // zpby1=cowo1_staridx_zpby2
ldx 8
lda 1024,x
sta 8
sta 13
// [24] (byte) rvalue::i#1 ← ++ (byte) rvalue::i#2 [ rvalue::i#1 ] // zpby1=_inc_zpby1
inc 8
rvalue__B1_from_B2:
@ -2195,8 +2191,9 @@ rvaluevar__B1_from_B2:
// (byte) rvaluevar::i#2 = (byte) rvaluevar::i#1 // register copy zp byte:5
jmp rvaluevar__B1
rvalue:
// [18] (byte) rvalue::b#0 ← * (word) 1024 [ ] // aby=_star_cowo1
// [18] (byte) rvalue::b#0 ← * (word) 1024 [ ] // zpby1=_star_cowo1
lda 1024
sta 11
// [19] (byte) rvalue::b#1 ← * (word) 1025 [ ] // zpby1=_star_cowo1
lda 1025
sta 12
@ -2212,10 +2209,10 @@ rvalue__B1:
rvalue__Breturn:
rts
rvalue__B2:
// [23] (byte) rvalue::b#2 ← (word) 1024 *idx (byte) rvalue::i#2 [ rvalue::i#2 ] // zpby1=cowo1_staridx_zpby1
// [23] (byte) rvalue::b#2 ← (word) 1024 *idx (byte) rvalue::i#2 [ rvalue::i#2 ] // zpby1=cowo1_staridx_zpby2
ldx 8
lda 1024,x
sta 8
sta 13
// [24] (byte) rvalue::i#1 ← ++ (byte) rvalue::i#2 [ rvalue::i#1 ] // zpby1=_inc_zpby1
inc 8
rvalue__B1_from_B2:
@ -2283,9 +2280,9 @@ FINAL SYMBOL TABLE
(label) rvalue::@return
(byte[1024]) rvalue::SCREEN
(byte) rvalue::b
(byte) rvalue::b#0 reg byte a Infinity
(byte) rvalue::b#0 zp byte:11 Infinity
(byte) rvalue::b#1 zp byte:12 Infinity
(byte) rvalue::b#2 zp byte:8 Infinity
(byte) rvalue::b#2 zp byte:13 Infinity
(byte) rvalue::i
(byte) rvalue::i#1 zp byte:8 22.0
(byte) rvalue::i#2 zp byte:8 14.666666666666666
@ -2302,7 +2299,7 @@ FINAL SYMBOL TABLE
(byte*) rvaluevar::screen#1 zp ptr byte:6 11.0
(byte*) rvaluevar::screen#2 zp ptr byte:6 11.0
zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 rvalue::b#2 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 rvalue::b#1 ]
zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 rvalue::b#1 rvalue::b#2 ]
zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 rvaluevar::screen#2 rvaluevar::screen#1 ]
FINAL CODE
@ -2386,8 +2383,9 @@ rvaluevar__B1_from_B2:
// (byte) rvaluevar::i#2 = (byte) rvaluevar::i#1 // register copy zp byte:5
jmp rvaluevar__B1
rvalue:
// [18] (byte) rvalue::b#0 ← * (word) 1024 [ ] // aby=_star_cowo1
// [18] (byte) rvalue::b#0 ← * (word) 1024 [ ] // zpby1=_star_cowo1
lda 1024
sta 11
// [19] (byte) rvalue::b#1 ← * (word) 1025 [ ] // zpby1=_star_cowo1
lda 1025
sta 12
@ -2403,10 +2401,10 @@ rvalue__B1:
rvalue__Breturn:
rts
rvalue__B2:
// [23] (byte) rvalue::b#2 ← (word) 1024 *idx (byte) rvalue::i#2 [ rvalue::i#2 ] // zpby1=cowo1_staridx_zpby1
// [23] (byte) rvalue::b#2 ← (word) 1024 *idx (byte) rvalue::i#2 [ rvalue::i#2 ] // zpby1=cowo1_staridx_zpby2
ldx 8
lda 1024,x
sta 8
sta 13
// [24] (byte) rvalue::i#1 ← ++ (byte) rvalue::i#2 [ rvalue::i#1 ] // zpby1=_inc_zpby1
inc 8
rvalue__B1_from_B2:

6
src/main/java/dk/camelot64/kickc/test/ref/ptrtest.sym
View File

@ -30,9 +30,9 @@
(label) rvalue::@return
(byte[1024]) rvalue::SCREEN
(byte) rvalue::b
(byte) rvalue::b#0 reg byte a Infinity
(byte) rvalue::b#0 zp byte:11 Infinity
(byte) rvalue::b#1 zp byte:12 Infinity
(byte) rvalue::b#2 zp byte:8 Infinity
(byte) rvalue::b#2 zp byte:13 Infinity
(byte) rvalue::i
(byte) rvalue::i#1 zp byte:8 22.0
(byte) rvalue::i#2 zp byte:8 14.666666666666666
@ -49,5 +49,5 @@
(byte*) rvaluevar::screen#1 zp ptr byte:6 11.0
(byte*) rvaluevar::screen#2 zp ptr byte:6 11.0
zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 rvalue::b#2 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 rvalue::b#1 ]
zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 rvalue::b#1 rvalue::b#2 ]
zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 rvaluevar::screen#2 rvaluevar::screen#1 ]

7
src/main/java/dk/camelot64/kickc/test/ref/summin.asm
View File

@ -6,7 +6,7 @@ sum_from_BBEGIN:
sta 2
jsr sum
B2:
lda 2
lda 7
sta 4
sum_from_B2:
lda #13
@ -15,16 +15,17 @@ sum_from_B2:
sta 2
jsr sum
B3:
lda 2
lda 7
sta 5
lda 4
clc
adc 5
sta 6
BEND:
sum:
lda 2
clc
adc 3
sta 2
sta 7
sum__Breturn:
rts

92
src/main/java/dk/camelot64/kickc/test/ref/summin.log
View File

@ -353,22 +353,23 @@ NATURAL LOOPS WITH DEPTH
Initial phi equivalence classes
[ sum::a#2 ]
[ sum::b#2 ]
Copy Coalesced equivalence classes
[ sum::a#2 ]
[ sum::b#2 ]
Added variable s1#0 to zero page equivalence class [ s1#0 ]
Added variable s2#0 to zero page equivalence class [ s2#0 ]
Added variable s3#0 to zero page equivalence class [ s1#0 s3#0 ]
Added variable sum::return#0 to zero page equivalence class [ sum::a#2 sum::return#0 ]
Added variable s3#0 to zero page equivalence class [ s3#0 ]
Added variable sum::return#0 to zero page equivalence class [ sum::return#0 ]
Complete equivalence classes
[ sum::a#2 sum::return#0 ]
[ sum::a#2 ]
[ sum::b#2 ]
[ s1#0 s3#0 ]
[ s1#0 ]
[ s2#0 ]
Allocated zp byte:2 to zp byte:2 [ sum::a#2 sum::return#0 ]
[ s3#0 ]
[ sum::return#0 ]
Allocated zp byte:2 to zp byte:2 [ sum::a#2 ]
Allocated zp byte:3 to zp byte:3 [ sum::b#2 ]
Allocated zp byte:4 to zp byte:4 [ s1#0 s3#0 ]
Allocated zp byte:4 to zp byte:4 [ s1#0 ]
Allocated zp byte:5 to zp byte:5 [ s2#0 ]
Allocated zp byte:6 to zp byte:6 [ s3#0 ]
Allocated zp byte:7 to zp byte:7 [ sum::return#0 ]
VARIABLE REGISTER WEIGHTS
(byte) s1
@ -385,37 +386,45 @@ VARIABLE REGISTER WEIGHTS
(byte) sum::return
(byte) sum::return#0 1.2000000000000002
zp byte:2 [ sum::a#2 sum::return#0 ]
zp byte:2 [ sum::a#2 ]
zp byte:3 [ sum::b#2 ]
zp byte:4 [ s1#0 s3#0 ]
zp byte:4 [ s1#0 ]
zp byte:5 [ s2#0 ]
zp byte:6 [ s3#0 ]
zp byte:7 [ sum::return#0 ]
Re-allocated ZP register from zp byte:2 to zp byte:2
Re-allocated ZP register from zp byte:3 to zp byte:3
Re-allocated ZP register from zp byte:4 to zp byte:4
Re-allocated ZP register from zp byte:5 to zp byte:5
Uplifting of variable (byte) s3#0 to A
Uplifting max weight Infinity live range equivalence class zp byte:6 [ s3#0 ]
Register Cycles: reg byte a 0
Uplift to reg byte a succesfull.
Register Cycles: reg byte x 0
Uplift to reg byte x succesfull.
Register Cycles: reg byte y 0
Uplift to reg byte y succesfull.
REGISTER UPLIFTING
(byte) s1
(byte) s1#0 zp byte:4 0.5714285714285714
(byte) s2
(byte) s2#0 zp byte:5 4.0
(byte) s3
(byte) s3#0 reg byte a Infinity
(byte) s3#0 zp byte:6 Infinity
(byte()) sum((byte) sum::a , (byte) sum::b)
(byte) sum::a
(byte) sum::a#2 zp byte:2 2.0
(byte) sum::b
(byte) sum::b#2 zp byte:3 2.0
(byte) sum::return
(byte) sum::return#0 zp byte:2 1.2000000000000002
(byte) sum::return#0 zp byte:7 1.2000000000000002
zp byte:2 [ sum::a#2 sum::return#0 ]
zp byte:2 [ sum::a#2 ]
zp byte:3 [ sum::b#2 ]
zp byte:4 [ s1#0 s3#0 ]
zp byte:4 [ s1#0 ]
zp byte:5 [ s2#0 ]
zp byte:6 [ s3#0 ]
zp byte:7 [ sum::return#0 ]
Coalescing zero page register [ zp byte:2 [ sum::a#2 sum::return#0 ] ] with [ zp byte:5 [ s2#0 ] ]
Coalescing zero page register [ zp byte:2 [ sum::a#2 ] ] with [ zp byte:5 [ s2#0 ] ]
Coalescing zero page register [ zp byte:2 [ sum::a#2 s2#0 ] ] with [ zp byte:6 [ s3#0 ] ]
Coalescing zero page register [ zp byte:2 [ sum::a#2 s2#0 s3#0 ] ] with [ zp byte:7 [ sum::return#0 ] ]
INITIAL ASM
BBEGIN:
sum_from_BBEGIN:
@ -429,7 +438,7 @@ sum_from_BBEGIN:
jmp B2
B2:
// [1] (byte) s1#0 ← (byte) sum::return#0 [ sum::return#0 s1#0 ] // zpby1=zpby2
lda 2
lda 7
sta 4
sum_from_B2:
// (byte) sum::b#2 = (byte) 13 // zpby1=coby1
@ -442,20 +451,21 @@ sum_from_B2:
jmp B3
B3:
// [3] (byte) s2#0 ← (byte) sum::return#0 [ s1#0 s2#0 ] // zpby1=zpby2
lda 2
lda 7
sta 5
// [4] (byte) s3#0 ← (byte) s1#0 + (byte) s2#0 [ ] // aby=zpby1_plus_zpby2
// [4] (byte) s3#0 ← (byte) s1#0 + (byte) s2#0 [ ] // zpby1=zpby2_plus_zpby3
lda 4
clc
adc 5
sta 6
jmp BEND
BEND:
sum:
// [6] (byte) sum::return#0 ← (byte) sum::a#2 + (byte) sum::b#2 [ sum::return#0 s1#0 ] // zpby1=zpby1_plus_zpby2
// [6] (byte) sum::return#0 ← (byte) sum::a#2 + (byte) sum::b#2 [ sum::return#0 s1#0 ] // zpby1=zpby2_plus_zpby3
lda 2
clc
adc 3
sta 2
sta 7
jmp sum__Breturn
sum__Breturn:
rts
@ -477,7 +487,7 @@ sum_from_BBEGIN:
jsr sum
B2:
// [1] (byte) s1#0 ← (byte) sum::return#0 [ sum::return#0 s1#0 ] // zpby1=zpby2
lda 2
lda 7
sta 4
sum_from_B2:
// (byte) sum::b#2 = (byte) 13 // zpby1=coby1
@ -489,19 +499,20 @@ sum_from_B2:
jsr sum
B3:
// [3] (byte) s2#0 ← (byte) sum::return#0 [ s1#0 s2#0 ] // zpby1=zpby2
lda 2
lda 7
sta 5
// [4] (byte) s3#0 ← (byte) s1#0 + (byte) s2#0 [ ] // aby=zpby1_plus_zpby2
// [4] (byte) s3#0 ← (byte) s1#0 + (byte) s2#0 [ ] // zpby1=zpby2_plus_zpby3
lda 4
clc
adc 5
sta 6
BEND:
sum:
// [6] (byte) sum::return#0 ← (byte) sum::a#2 + (byte) sum::b#2 [ sum::return#0 s1#0 ] // zpby1=zpby1_plus_zpby2
// [6] (byte) sum::return#0 ← (byte) sum::a#2 + (byte) sum::b#2 [ sum::return#0 s1#0 ] // zpby1=zpby2_plus_zpby3
lda 2
clc
adc 3
sta 2
sta 7
sum__Breturn:
rts
@ -515,7 +526,7 @@ FINAL SYMBOL TABLE
(byte) s2
(byte) s2#0 zp byte:5 4.0
(byte) s3
(byte) s3#0 reg byte a Infinity
(byte) s3#0 zp byte:6 Infinity
(byte()) sum((byte) sum::a , (byte) sum::b)
(label) sum::@return
(byte) sum::a
@ -523,11 +534,11 @@ FINAL SYMBOL TABLE
(byte) sum::b
(byte) sum::b#2 zp byte:3 2.0
(byte) sum::return
(byte) sum::return#0 zp byte:2 1.2000000000000002
(byte) sum::return#0 zp byte:7 1.2000000000000002
zp byte:2 [ sum::a#2 sum::return#0 s2#0 ]
zp byte:2 [ sum::a#2 s2#0 s3#0 sum::return#0 ]
zp byte:3 [ sum::b#2 ]
zp byte:4 [ s1#0 s3#0 ]
zp byte:4 [ s1#0 ]
FINAL CODE
BBEGIN:
@ -541,7 +552,7 @@ sum_from_BBEGIN:
jsr sum
B2:
// [1] (byte) s1#0 ← (byte) sum::return#0 [ sum::return#0 s1#0 ] // zpby1=zpby2
lda 2
lda 7
sta 4
sum_from_B2:
// (byte) sum::b#2 = (byte) 13 // zpby1=coby1
@ -553,19 +564,20 @@ sum_from_B2:
jsr sum
B3:
// [3] (byte) s2#0 ← (byte) sum::return#0 [ s1#0 s2#0 ] // zpby1=zpby2
lda 2
lda 7
sta 5
// [4] (byte) s3#0 ← (byte) s1#0 + (byte) s2#0 [ ] // aby=zpby1_plus_zpby2
// [4] (byte) s3#0 ← (byte) s1#0 + (byte) s2#0 [ ] // zpby1=zpby2_plus_zpby3
lda 4
clc
adc 5
sta 6
BEND:
sum:
// [6] (byte) sum::return#0 ← (byte) sum::a#2 + (byte) sum::b#2 [ sum::return#0 s1#0 ] // zpby1=zpby1_plus_zpby2
// [6] (byte) sum::return#0 ← (byte) sum::a#2 + (byte) sum::b#2 [ sum::return#0 s1#0 ] // zpby1=zpby2_plus_zpby3
lda 2
clc
adc 3
sta 2
sta 7
sum__Breturn:
rts

8
src/main/java/dk/camelot64/kickc/test/ref/summin.sym
View File

@ -7,7 +7,7 @@
(byte) s2
(byte) s2#0 zp byte:5 4.0
(byte) s3
(byte) s3#0 reg byte a Infinity
(byte) s3#0 zp byte:6 Infinity
(byte()) sum((byte) sum::a , (byte) sum::b)
(label) sum::@return
(byte) sum::a
@ -15,8 +15,8 @@
(byte) sum::b
(byte) sum::b#2 zp byte:3 2.0
(byte) sum::return
(byte) sum::return#0 zp byte:2 1.2000000000000002
(byte) sum::return#0 zp byte:7 1.2000000000000002
zp byte:2 [ sum::a#2 sum::return#0 s2#0 ]
zp byte:2 [ sum::a#2 s2#0 s3#0 sum::return#0 ]
zp byte:3 [ sum::b#2 ]
zp byte:4 [ s1#0 s3#0 ]
zp byte:4 [ s1#0 ]

8
src/main/java/dk/camelot64/kickc/test/ref/useglobal.asm Normal file
View File

@ -0,0 +1,8 @@
BBEGIN:
jsr main
BEND:
main:
lda #1
sta 1024
main__Breturn:
rts

10
src/main/java/dk/camelot64/kickc/test/ref/useglobal.cfg Normal file
View File

@ -0,0 +1,10 @@
@BEGIN: from
[0] call main param-assignment [ ]
to:@END
@END: from @BEGIN
main: from @BEGIN
[1] *((word) 1024) ← (byte) 1 [ ]
to:main::@return
main::@return: from main
[2] return [ ]
to:@RETURN

260
src/main/java/dk/camelot64/kickc/test/ref/useglobal.log Normal file
View File

@ -0,0 +1,260 @@
// Tests procedures using global variables (should not fail)
byte* SCREEN = $0400;
main();
void main() {
*SCREEN = 1;
}
PROGRAM
(byte*) SCREEN ← (word) 1024
(void~) $0 ← call main
proc (void()) main()
*((byte*) SCREEN) ← (byte) 1
main::@return:
return
endproc // main()
SYMBOLS
(void~) $0
(byte*) SCREEN
(void()) main()
(label) main::@return
INITIAL CONTROL FLOW GRAPH
@BEGIN: from
(byte*) SCREEN ← (word) 1024
(void~) $0 ← call main
to:@1
main: from
*((byte*) SCREEN) ← (byte) 1
to:main::@return
main::@return: from main
return
to:@RETURN
@1: from @BEGIN
to:@END
@END: from @1
Removing empty block @1
CONTROL FLOW GRAPH
@BEGIN: from
(byte*) SCREEN ← (word) 1024
(void~) $0 ← call main
to:@END
main: from
*((byte*) SCREEN) ← (byte) 1
to:main::@return
main::@return: from main
return
to:@RETURN
@END: from @BEGIN
CONTROL FLOW GRAPH WITH ASSIGNMENT CALL
@BEGIN: from
(byte*) SCREEN ← (word) 1024
call main param-assignment
to:@2
@2: from @BEGIN
to:@END
main: from @BEGIN
*((byte*) SCREEN) ← (byte) 1
to:main::@return
main::@return: from main
return
to:@RETURN
@END: from @2
Completing Phi functions...
CONTROL FLOW GRAPH SSA
@BEGIN: from
(byte*) SCREEN#0 ← (word) 1024
call main param-assignment
to:@2
@2: from @BEGIN
to:@END
main: from @BEGIN
(byte*) SCREEN#1 ← phi( @BEGIN/(byte*) SCREEN#0 )
*((byte*) SCREEN#1) ← (byte) 1
to:main::@return
main::@return: from main
return
to:@RETURN
@END: from @2
CONTROL FLOW GRAPH WITH ASSIGNMENT CALL & RETURN
@BEGIN: from
(byte*) SCREEN#0 ← (word) 1024
call main param-assignment
to:@2
@2: from @BEGIN
to:@END
main: from @BEGIN
(byte*) SCREEN#1 ← phi( @BEGIN/(byte*) SCREEN#0 )
*((byte*) SCREEN#1) ← (byte) 1
to:main::@return
main::@return: from main
return
to:@RETURN
@END: from @2
Culled Empty Block (label) @2
Succesful SSA optimization Pass2CullEmptyBlocks
CONTROL FLOW GRAPH
@BEGIN: from
(byte*) SCREEN#0 ← (word) 1024
call main param-assignment
to:@END
main: from @BEGIN
(byte*) SCREEN#1 ← phi( @BEGIN/(byte*) SCREEN#0 )
*((byte*) SCREEN#1) ← (byte) 1
to:main::@return
main::@return: from main
return
to:@RETURN
@END: from @BEGIN
Constant (byte*) SCREEN#0 (word) 1024
Succesful SSA optimization Pass2ConstantPropagation
CONTROL FLOW GRAPH
@BEGIN: from
call main param-assignment
to:@END
main: from @BEGIN
(byte*) SCREEN#1 ← phi( @BEGIN/(word) 1024 )
*((byte*) SCREEN#1) ← (byte) 1
to:main::@return
main::@return: from main
return
to:@RETURN
@END: from @BEGIN
Redundant Phi (byte*) SCREEN#1 (word) 1024
Succesful SSA optimization Pass2RedundantPhiElimination
CONTROL FLOW GRAPH
@BEGIN: from
call main param-assignment
to:@END
main: from @BEGIN
*((word) 1024) ← (byte) 1
to:main::@return
main::@return: from main
return
to:@RETURN
@END: from @BEGIN
Block Sequence Planned @BEGIN @END main main::@return
Block Sequence Planned @BEGIN @END main main::@return
CONTROL FLOW GRAPH - PHI LIFTED
@BEGIN: from
call main param-assignment
to:@END
@END: from @BEGIN
main: from @BEGIN
*((word) 1024) ← (byte) 1
to:main::@return
main::@return: from main
return
to:@RETURN
Propagating live ranges...
CONTROL FLOW GRAPH - LIVE RANGES
@BEGIN: from
[0] call main param-assignment [ ]
to:@END
@END: from @BEGIN
main: from @BEGIN
[1] *((word) 1024) ← (byte) 1 [ ]
to:main::@return
main::@return: from main
[2] return [ ]
to:@RETURN
Created 0 initial phi equivalence classes
Coalesced down to 0 phi equivalence classes
Block Sequence Planned @BEGIN @END main main::@return
Propagating live ranges...
CONTROL FLOW GRAPH - PHI MEM COALESCED
@BEGIN: from
[0] call main param-assignment [ ]
to:@END
@END: from @BEGIN
main: from @BEGIN
[1] *((word) 1024) ← (byte) 1 [ ]
to:main::@return
main::@return: from main
[2] return [ ]
to:@RETURN
CALL GRAPH
Calls in [] to 0:main
DOMINATORS
@BEGIN dominated by @BEGIN
@END dominated by @BEGIN @END
main dominated by @BEGIN main
main::@return dominated by @BEGIN main::@return main
NATURAL LOOPS
Found 0 loops in scope []
Found 0 loops in scope [main]
NATURAL LOOPS WITH DEPTH
Initial phi equivalence classes
Complete equivalence classes
VARIABLE REGISTER WEIGHTS
(byte*) SCREEN
(void()) main()
REGISTER UPLIFTING
(byte*) SCREEN
(void()) main()
INITIAL ASM
BBEGIN:
jsr main
jmp BEND
BEND:
main:
// [1] *((word) 1024) ← (byte) 1 [ ] // _star_cowo1=coby2
lda #1
sta 1024
jmp main__Breturn
main__Breturn:
rts
Removing instruction jmp BEND
Removing instruction jmp main__Breturn
Succesful ASM optimization Pass5NextJumpElimination
ASSEMBLER
BBEGIN:
jsr main
BEND:
main:
// [1] *((word) 1024) ← (byte) 1 [ ] // _star_cowo1=coby2
lda #1
sta 1024
main__Breturn:
rts
FINAL SYMBOL TABLE
(label) @BEGIN
(label) @END
(byte*) SCREEN
(void()) main()
(label) main::@return
FINAL CODE
BBEGIN:
jsr main
BEND:
main:
// [1] *((word) 1024) ← (byte) 1 [ ] // _star_cowo1=coby2
lda #1
sta 1024
main__Breturn:
rts

6
src/main/java/dk/camelot64/kickc/test/ref/useglobal.sym Normal file
View File

@ -0,0 +1,6 @@
(label) @BEGIN
(label) @END
(byte*) SCREEN
(void()) main()
(label) main::@return