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

Parameters and return values now work for calling convention stack. Pointers to functions with parameters/return values now work. Parameter transfer through stack of structs/unions now work. #121

Browse Source
This commit is contained in:
jespergravgaard 2021-08-01 17:24:12 +02:00
parent 599a757bf1
commit 82dd27e627
157 changed files with 5246 additions and 3298 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
.idea/codeStyles/Project.xml generated
View File

@ -7,18 +7,9 @@
<JetCodeStyleSettings>
<option name="PACKAGES_TO_USE_STAR_IMPORTS">
<value>
<package name="java.util" alias="false" withSubpackages="false" />
<package name="kotlinx.android.synthetic" alias="false" withSubpackages="true" />
<package name="io.ktor" alias="false" withSubpackages="true" />
</value>
</option>
<option name="PACKAGES_IMPORT_LAYOUT">
<value>
<package name="" alias="false" withSubpackages="true" />
<package name="java" alias="false" withSubpackages="true" />
<package name="javax" alias="false" withSubpackages="true" />
<package name="kotlin" alias="false" withSubpackages="true" />
<package name="" alias="true" withSubpackages="true" />
<package name="java.util" withSubpackages="false" static="false" />
<package name="kotlinx.android.synthetic" withSubpackages="true" static="false" />
<package name="io.ktor" withSubpackages="true" static="false" />
</value>
</option>
</JetCodeStyleSettings>

2
src/main/fragment/cache/fragment-cache-csg65ce02.asm vendored
View File

@ -1,4 +1,4 @@
//KICKC FRAGMENT CACHE 9a29ecc94 9a29eec1a
//KICKC FRAGMENT CACHE 8c8c73a6a 8c8c75a58
//FRAGMENT vbuzz=vbuc1
ldz #{c1}
//FRAGMENT vbuzz_lt_vbuc1_then_la1

127
src/main/fragment/cache/fragment-cache-mega45gs02.asm vendored
View File

@ -1,4 +1,4 @@
//KICKC FRAGMENT CACHE 9a29ecc94 9a29eec1a
//KICKC FRAGMENT CACHE 8c8c73a6a 8c8c75a58
//FRAGMENT _deref_pbuc1=vbuc2
lda #{c2}
sta {c1}
@ -1647,10 +1647,6 @@ tax
inc {c1},x
//FRAGMENT pbuc1_derefidx_vbuxx=_inc_pbuc1_derefidx_vbuxx
inc {c1},x
//FRAGMENT vbuaa=_byte0_vwuz1
lda {z1}
//FRAGMENT vbuxx=_byte0_vwuz1
ldx {z1}
//FRAGMENT vbuaa=_byte1_vwuz1
lda {z1}+1
//FRAGMENT vbuxx=_byte1_vwuz1
@ -1690,11 +1686,6 @@ ora {z2}
sta {z1}
//FRAGMENT vbuz1=vbuxx_bor_vbuxx
stx {z1}
//FRAGMENT vbuyy=_byte0_vwuz1
ldy {z1}
//FRAGMENT vbuzz=_byte0_vwuz1
lda {z1}
taz
//FRAGMENT vbuyy=_byte1_vwuz1
ldy {z1}+1
//FRAGMENT vbuzz=_byte1_vwuz1
@ -1704,6 +1695,10 @@ taz
tya
ora {z2}
sta {z1}
//FRAGMENT vbuz1=vbuz2_bor_vbuzz
tza
ora {z2}
sta {z1}
//FRAGMENT pbuc1_derefidx_vbuyy=_inc_pbuc1_derefidx_vbuyy
lda {c1},y
inc
@ -1722,32 +1717,6 @@ beq {la1}
//FRAGMENT _deref_pbuc1_eq_vbuzz_then_la1
cpz {c1}
beq {la1}
//FRAGMENT vbuaa=vbuz1_bor_vbuaa
ora {z1}
//FRAGMENT vbuxx=vbuz1_bor_vbuaa
ora {z1}
tax
//FRAGMENT vbuyy=vbuz1_bor_vbuaa
ora {z1}
tay
//FRAGMENT vbuzz=vbuz1_bor_vbuaa
ora {z1}
taz
//FRAGMENT vbuz1=vbuz2_bor_vbuzz
tza
ora {z2}
sta {z1}
//FRAGMENT vbuaa=vbuxx_bor_vbuaa
stx $ff
ora $ff
//FRAGMENT vbuaa=vbuyy_bor_vbuaa
sty $ff
ora $ff
//FRAGMENT vbuaa=vbuzz_bor_vbuaa
tay
tza
sty $ff
ora $ff
//FRAGMENT vduz1=vduc1
lda #<{c1}
sta {z1}
@ -2388,92 +2357,15 @@ dey
bne !-
!e:
taz
//FRAGMENT vbuaa=_byte1__word_vduz1
lda {z1}+1
//FRAGMENT vbuxx=_byte1__word_vduz1
lda {z1}+1
tax
//FRAGMENT vbuyy=_byte1__word_vduz1
lda {z1}+1
tay
//FRAGMENT vbuzz=_byte1__word_vduz1
lda {z1}+1
taz
//FRAGMENT vbuaa=_byte0_vduz1
lda {z1}
//FRAGMENT vbuxx=_byte0_vduz1
ldx {z1}
//FRAGMENT vbuaa=_byte1_vduz1
lda {z1}+1
//FRAGMENT vbuxx=_byte1_vduz1
ldx {z1}+1
//FRAGMENT vbuaa=vbuz1_bor_vbuz2
lda {z1}
ora {z2}
//FRAGMENT vbuaa=vbuz1_bor_vbuxx
txa
ora {z1}
//FRAGMENT vbuaa=vbuz1_bor_vbuyy
tya
ora {z1}
//FRAGMENT vbuaa=vbuz1_bor_vbuzz
tza
ora {z1}
//FRAGMENT vbuxx=vbuz1_bor_vbuz2
lda {z1}
ora {z2}
tax
//FRAGMENT vbuxx=vbuz1_bor_vbuxx
txa
ora {z1}
tax
//FRAGMENT vbuxx=vbuz1_bor_vbuyy
tya
ora {z1}
tax
//FRAGMENT vbuxx=vbuz1_bor_vbuzz
tza
ora {z1}
tax
//FRAGMENT vbuyy=vbuz1_bor_vbuz2
lda {z1}
ora {z2}
tay
//FRAGMENT vbuyy=vbuz1_bor_vbuxx
txa
ora {z1}
tay
//FRAGMENT vbuyy=vbuz1_bor_vbuyy
tya
ora {z1}
tay
//FRAGMENT vbuyy=vbuz1_bor_vbuzz
tza
ora {z1}
tay
//FRAGMENT vbuzz=vbuz1_bor_vbuz2
lda {z1}
ora {z2}
taz
//FRAGMENT vbuzz=vbuz1_bor_vbuxx
txa
ora {z1}
taz
//FRAGMENT vbuzz=vbuz1_bor_vbuyy
tya
ora {z1}
taz
//FRAGMENT vbuzz=vbuz1_bor_vbuzz
tza
ora {z1}
taz
//FRAGMENT vbuyy=_byte0_vduz1
ldy {z1}
//FRAGMENT vbuzz=_byte0_vduz1
lda {z1}
taz
//FRAGMENT vbuyy=_byte1_vduz1
ldy {z1}+1
//FRAGMENT vbuzz=_byte1_vduz1
lda {z1}+1
taz
//FRAGMENT pbuc1_derefidx_vbuyy=vbuaa
sta {c1},y
//FRAGMENT pbuc1_derefidx_vbuzz=vbuaa
@ -2563,6 +2455,3 @@ sta {z1}+3
NO_SYNTHESIS
//FRAGMENT vduz1=vwsc1
NO_SYNTHESIS
//FRAGMENT vbuzz=_byte1_vduz1
lda {z1}+1
taz

2
src/main/fragment/cache/fragment-cache-mos6502.asm vendored
View File

@ -1,4 +1,4 @@
//KICKC FRAGMENT CACHE 9a29ecc94 9a29eec1a
//KICKC FRAGMENT CACHE 8c8c73a6a 8c8c75a58
//FRAGMENT vbuz1=vbuc1
lda #{c1}
sta {z1}

525
src/main/fragment/cache/fragment-cache-mos6502x.asm vendored
View File

@ -1,4 +1,4 @@
//KICKC FRAGMENT CACHE 9a29ecc94 9a29eec1a
//KICKC FRAGMENT CACHE 8c8c73a6a 8c8c75a58
//FRAGMENT vbuz1=vbuc1
lda #{c1}
sta {z1}
@ -636,17 +636,136 @@ inc {c1}
//FRAGMENT isr_rom_min_c64_exit
jmp $ea81
//FRAGMENT _deref_pwuc1=vbuc2
lda #<{c2}
sta {c1}
lda #>{c2}
sta {c1}+1
//FRAGMENT vwuz1=vwuc1
lda #<{c1}
sta {z1}
lda #>{c1}
sta {z1}+1
//FRAGMENT _deref_pwuc1=_deref_pwuc2
lda {c2}
sta {c1}
lda {c2}+1
sta {c1}+1
//FRAGMENT vbuz1=_deref_pbuc1
lda {c1}
sta {z1}
//FRAGMENT vbuz1=vbuz2_plus_vbuc1
lax {z2}
axs #-[{c1}]
stx {z1}
//FRAGMENT vbuz1=_byte1_vwuz2
lda {z2}+1
sta {z1}
//FRAGMENT vwuz1=_word_vbuz2
lda {z2}
sta {z1}
lda #0
sta {z1}+1
//FRAGMENT vwuz1=vwuz2_plus_vbuz3
lda {z3}
clc
adc {z2}
sta {z1}
lda #0
adc {z2}+1
sta {z1}+1
//FRAGMENT vbuz1=_byte0_vwuz2
lda {z2}
sta {z1}
//FRAGMENT vwuz1=vwuz2_ror_8
lda {z2}+1
sta {z1}
lda #0
sta {z1}+1
//FRAGMENT 0_eq_vbuz1_then_la1
lda {z1}
beq {la1}
//FRAGMENT _deref_pbuc1_neq_0_then_la1
lda {c1}
bne {la1}
//FRAGMENT vbuaa=_deref_pbuc1
lda {c1}
//FRAGMENT vbuxx=_deref_pbuc1
ldx {c1}
//FRAGMENT vbuaa=_byte1_vwuz1
lda {z1}+1
//FRAGMENT vbuxx=_byte1_vwuz1
ldx {z1}+1
//FRAGMENT vwuz1=_word_vbuaa
sta {z1}
lda #0
sta {z1}+1
//FRAGMENT vwuz1=_word_vbuxx
txa
sta {z1}
lda #0
sta {z1}+1
//FRAGMENT vwuz1=_word_vbuyy
tya
sta {z1}
lda #0
sta {z1}+1
//FRAGMENT vwuz1=vwuz2_plus_vbuxx
txa
clc
adc {z2}
sta {z1}
lda #0
adc {z2}+1
sta {z1}+1
//FRAGMENT vwuz1=vwuz2_plus_vbuyy
tya
clc
adc {z2}
sta {z1}
lda #0
adc {z2}+1
sta {z1}+1
//FRAGMENT vbuaa=_byte0_vwuz1
lda {z1}
//FRAGMENT vbuxx=_byte0_vwuz1
ldx {z1}
//FRAGMENT 0_eq_vbuaa_then_la1
cmp #0
beq {la1}
//FRAGMENT vbuyy=_byte1_vwuz1
ldy {z1}+1
//FRAGMENT vbuyy=_byte0_vwuz1
ldy {z1}
//FRAGMENT 0_eq_vbuxx_then_la1
cpx #0
beq {la1}
//FRAGMENT 0_eq_vbuyy_then_la1
cpy #0
beq {la1}
//FRAGMENT vbuyy=_deref_pbuc1
ldy {c1}
//FRAGMENT vwuz1=vwuz1_plus_vbuxx
txa
clc
adc {z1}
sta {z1}
bcc !+
inc {z1}+1
!:
//FRAGMENT vwuz1=vwuz1_ror_8
lda {z1}+1
sta {z1}
lda #0
sta {z1}+1
//FRAGMENT vwuz1=vwuz1_plus_vbuyy
tya
clc
adc {z1}
sta {z1}
bcc !+
inc {z1}+1
!:
//FRAGMENT vbuz1=vbuz2_plus_vbuc1
lax {z2}
axs #-[{c1}]
stx {z1}
//FRAGMENT vbuaa=vbuz1_plus_vbuc1
lda #{c1}
clc
@ -705,8 +824,6 @@ txa
clc
adc #{c1}
tay
//FRAGMENT vbuyy=_deref_pbuc1
ldy {c1}
//FRAGMENT vbuz1=vbuyy_plus_vbuc1
tya
clc
@ -835,12 +952,6 @@ bne {la1}
lda #{c1}
ldy #0
sta ({z1}),y
//FRAGMENT vbuz1=_byte1_vwuz2
lda {z2}+1
sta {z1}
//FRAGMENT vbuz1=_byte0_vwuz2
lda {z2}
sta {z1}
//FRAGMENT vbuz1=vbuz2_ror_4
lda {z2}
lsr
@ -863,14 +974,6 @@ sta ({z1}),y
tya
ldy #0
sta ({z1}),y
//FRAGMENT vbuaa=_byte1_vwuz1
lda {z1}+1
//FRAGMENT vbuxx=_byte1_vwuz1
ldx {z1}+1
//FRAGMENT vbuaa=_byte0_vwuz1
lda {z1}
//FRAGMENT vbuxx=_byte0_vwuz1
ldx {z1}
//FRAGMENT vbuaa=vbuz1_ror_4
lda {z1}
lsr
@ -1061,9 +1164,6 @@ tax
tya
eor #$ff
tay
//FRAGMENT _deref_pbuc1_neq_0_then_la1
lda {c1}
bne {la1}
//FRAGMENT pbum1=pbuc1
lda #<{c1}
sta {m1}
@ -1831,16 +1931,6 @@ sta ({z1}),y
lda {c1},y
ldy #0
sta ({z1}),y
//FRAGMENT vwuz1=vwuc1
lda #<{c1}
sta {z1}
lda #>{c1}
sta {z1}+1
//FRAGMENT vwuz1=_word_vbuz2
lda {z2}
sta {z1}
lda #0
sta {z1}+1
//FRAGMENT vwuz1=vbuc1
lda #<{c1}
sta {z1}
@ -1851,20 +1941,6 @@ lda {c1}
sta {z1}+1
lda {c2}
sta {z1}
//FRAGMENT vwuz1=_word_vbuaa
sta {z1}
lda #0
sta {z1}+1
//FRAGMENT vwuz1=_word_vbuxx
txa
sta {z1}
lda #0
sta {z1}+1
//FRAGMENT vwuz1=_word_vbuyy
tya
sta {z1}
lda #0
sta {z1}+1
//FRAGMENT vbuz1=vbuyy_ror_4
tya
lsr
@ -1895,10 +1971,6 @@ tay
//FRAGMENT vbuz1=pbuc1_derefidx_vbuyy
lda {c1},y
sta {z1}
//FRAGMENT vbuyy=_byte0_vwuz1
ldy {z1}
//FRAGMENT vbuyy=_byte1_vwuz1
ldy {z1}+1
//FRAGMENT vbsz1=vbsc1
lda #{c1}
sta {z1}
@ -2313,6 +2385,42 @@ tay
sta {c1},x
//FRAGMENT vbsyy=vbsc1
ldy #{c1}
//FRAGMENT vbuz1=_stackidxbyte_vbuc1
tsx
lda STACK_BASE+{c1},x
sta {z1}
//FRAGMENT _stackpushbyte_=vbuz1
lda {z1}
pha
//FRAGMENT _stackpullbyte_1
pla
//FRAGMENT vbuz1_eq_vbuc1_then_la1
lda #{c1}
cmp {z1}
beq {la1}
//FRAGMENT vbuaa=_stackidxbyte_vbuc1
tsx
lda STACK_BASE+{c1},x
//FRAGMENT vbuxx=_stackidxbyte_vbuc1
tsx
lda STACK_BASE+{c1},x
tax
//FRAGMENT vbuyy=_stackidxbyte_vbuc1
tsx
lda STACK_BASE+{c1},x
tay
//FRAGMENT _stackpushbyte_=vbuyy
tya
pha
//FRAGMENT vbuaa_eq_vbuc1_then_la1
cmp #{c1}
beq {la1}
//FRAGMENT vbuxx_eq_vbuc1_then_la1
cpx #{c1}
beq {la1}
//FRAGMENT vbuyy_eq_vbuc1_then_la1
cpy #{c1}
beq {la1}
//FRAGMENT vbuxx=vbuxx_plus_vbuc1
txa
axs #-[{c1}]
@ -2788,11 +2896,6 @@ sta {c1},x
//FRAGMENT pbuc1_derefidx_vbuyy=pbuc2_derefidx_vbuyy
lda {c2},y
sta {c1},y
//FRAGMENT _deref_pwuc1=_deref_pwuc2
lda {c2}
sta {c1}
lda {c2}+1
sta {c1}+1
//FRAGMENT pbuc1_derefidx_vbuaa=pbuc2_derefidx_vbuz1
ldx {z1}
tay
@ -3185,9 +3288,6 @@ tay
txa
tay
sta ({z1}),y
//FRAGMENT _deref_pbuc1=_byte_pprz1
lda {z1}
sta {c1}
//FRAGMENT vwuz1=_deref_pwuc1_minus_vwuc2
sec
lda {c1}
@ -3321,9 +3421,6 @@ sta {z1}
lda #0
sbc {z1}+1
sta {z1}+1
//FRAGMENT 0_eq_vbuz1_then_la1
lda {z1}
beq {la1}
//FRAGMENT vwsz1=vwsz1_ror_1
lda {z1}+1
cmp #$80
@ -3346,10 +3443,6 @@ sta {z1}
lda {z1}+1
sbc {c1}+1,y
sta {z1}+1
//FRAGMENT vbuz1_eq_vbuc1_then_la1
lda #{c1}
cmp {z1}
beq {la1}
//FRAGMENT vwuz1=vwuz1_plus_pwuc1_derefidx_vbuz2
ldy {z2}
clc
@ -3587,9 +3680,6 @@ sta ({z1}),y
tay
lda #{c1}
sta ({z1}),y
//FRAGMENT 0_eq_vbuxx_then_la1
cpx #0
beq {la1}
//FRAGMENT vwuz1=vwuz1_minus_pwuc1_derefidx_vbuaa
tay
lda {z1}
@ -3615,9 +3705,6 @@ sta {z1}
lda {z1}+1
sbc {c1}+1,y
sta {z1}+1
//FRAGMENT vbuxx_eq_vbuc1_then_la1
cpx #{c1}
beq {la1}
//FRAGMENT vwuz1=vwuz1_plus_pwuc1_derefidx_vbuaa
tay
clc
@ -3646,15 +3733,9 @@ sta {z1}+1
//FRAGMENT vbuxx=vbuxx_minus_2
dex
dex
//FRAGMENT 0_eq_vbuyy_then_la1
cpy #0
beq {la1}
//FRAGMENT vbuyy=vbuyy_minus_2
dey
dey
//FRAGMENT vbuyy_eq_vbuc1_then_la1
cpy #{c1}
beq {la1}
//FRAGMENT vbuz1=vbuz2_bor_vbuyy
tya
ora {z2}
@ -3714,15 +3795,15 @@ sta {z1}
bcc !+
inc {z1}+1
!:
//FRAGMENT vbuaa_eq_vbuc1_then_la1
cmp #{c1}
beq {la1}
//FRAGMENT vbuz1_eq_vbuxx_then_la1
cpx {z1}
//FRAGMENT vbuaa_eq_vbuz1_then_la1
cmp {z1}
beq {la1}
//FRAGMENT vbuxx_eq_vbuz1_then_la1
cpx {z1}
beq {la1}
//FRAGMENT vbuz1_eq_vbuxx_then_la1
cpx {z1}
beq {la1}
//FRAGMENT vbuxx_eq_vbuaa_then_la1
tay
sty $ff
@ -4250,6 +4331,15 @@ txa
sty $ff
ora $ff
tay
//FRAGMENT _deref_pduc1=vduc2
lda #<{c2}
sta {c1}
lda #>{c2}
sta {c1}+1
lda #<{c2}>>$10
sta {c1}+2
lda #>{c2}>>$10
sta {c1}+3
//FRAGMENT vbuz1=_dec_vbuz1
dec {z1}
//FRAGMENT vbuxx=_dec_vbuxx
@ -4401,14 +4491,6 @@ bne {la1}
lda {z1}
cmp #<{c1}
bne {la1}
//FRAGMENT vwuz1=vwuz2_plus_vbuz3
lda {z3}
clc
adc {z2}
sta {z1}
lda #0
adc {z2}+1
sta {z1}+1
//FRAGMENT vbuz1=_byte_vwuz2
lda {z2}
sta {z1}
@ -4476,22 +4558,6 @@ tay
tya
ora #{c1}
tay
//FRAGMENT vwuz1=vwuz2_plus_vbuxx
txa
clc
adc {z2}
sta {z1}
lda #0
adc {z2}+1
sta {z1}+1
//FRAGMENT vwuz1=vwuz2_plus_vbuyy
tya
clc
adc {z2}
sta {z1}
lda #0
adc {z2}+1
sta {z1}+1
//FRAGMENT vbuaa=_byte_vwuz1
lda {z1}
//FRAGMENT vbuxx=_byte_vwuz1
@ -4600,15 +4666,9 @@ beq {la1}
//FRAGMENT _stackpushbyte_=vbuc1
lda #{c1}
pha
//FRAGMENT _stackpullbyte_1
pla
//FRAGMENT vbuz1=_stackpullbyte_
pla
sta {z1}
//FRAGMENT vbuz1=_stackidxbyte_vbuc1
tsx
lda STACK_BASE+{c1},x
sta {z1}
//FRAGMENT _stackidxbyte_vbuc1=vbuz1
lda {z1}
tsx
@ -4621,17 +4681,6 @@ tax
//FRAGMENT vbuyy=_stackpullbyte_
pla
tay
//FRAGMENT vbuaa=_stackidxbyte_vbuc1
tsx
lda STACK_BASE+{c1},x
//FRAGMENT vbuxx=_stackidxbyte_vbuc1
tsx
lda STACK_BASE+{c1},x
tax
//FRAGMENT vbuyy=_stackidxbyte_vbuc1
tsx
lda STACK_BASE+{c1},x
tay
//FRAGMENT _stackidxbyte_vbuc1=vbuaa
tsx
sta STACK_BASE+{c1},x
@ -4773,84 +4822,136 @@ bne !+
dec {z1}+1
!:
dec {z1}
//FRAGMENT vssz1=_stackidxstruct_2_vbuc1
tsx
lda STACK_BASE+{c1},x
sta {z1}
lda STACK_BASE+{c1}+1,x
sta {z1}+1
//FRAGMENT pbuc1_derefidx_vbuz1=_deref_pbuc2
lda {c2}
ldy {z1}
sta {c1},y
//FRAGMENT vbuz1=vbuz2_ror_1
lda {z2}
lsr
sta {z1}
//FRAGMENT _stackpushbyte_=vbuz1
//FRAGMENT _stackidxstruct_2_vbuc1=vssz1
tsx
lda {z1}
pha
sta STACK_BASE+{c1},x
lda {z1}+1
sta STACK_BASE+{c1}+1,x
//FRAGMENT _stackpushbyte_1
pha
//FRAGMENT vssz1=_stackpullstruct_2_
pla
sta {z1}
pla
sta {z1}+1
//FRAGMENT _stackpushstruct_2_=vssz1
lda {z1}+1
pha
lda {z1}
pha
//FRAGMENT _stackpullbyte_2
pla
pla
//FRAGMENT vbuz1=vbuaa_ror_1
lsr
sta {z1}
//FRAGMENT vbuz1=vbuxx_ror_1
txa
lsr
sta {z1}
//FRAGMENT vbuz1=vbuyy_ror_1
tya
lsr
sta {z1}
//FRAGMENT vbuaa=vbuz1_ror_1
lda {z1}
lsr
//FRAGMENT vbuaa=vbuaa_ror_1
lsr
//FRAGMENT vbuaa=vbuxx_ror_1
txa
lsr
//FRAGMENT vbuaa=vbuyy_ror_1
tya
lsr
//FRAGMENT vbuxx=vbuz1_ror_1
lda {z1}
lsr
tax
//FRAGMENT vbuxx=vbuaa_ror_1
lsr
tax
//FRAGMENT vbuxx=vbuxx_ror_1
txa
lsr
tax
//FRAGMENT vbuxx=vbuyy_ror_1
tya
lsr
tax
//FRAGMENT vbuyy=vbuz1_ror_1
lda {z1}
lsr
tay
//FRAGMENT vbuz1=vbuaa_ror_1
lsr
sta {z1}
//FRAGMENT vbuaa=vbuaa_ror_1
lsr
//FRAGMENT vbuxx=vbuaa_ror_1
lsr
tax
//FRAGMENT vbuyy=vbuaa_ror_1
lsr
tay
//FRAGMENT vbuz1=vbuxx_ror_1
txa
lsr
sta {z1}
//FRAGMENT vbuaa=vbuxx_ror_1
txa
lsr
//FRAGMENT vbuxx=vbuxx_ror_1
txa
lsr
tax
//FRAGMENT vbuyy=vbuxx_ror_1
txa
lsr
tay
//FRAGMENT vbuz1=vbuyy_ror_1
tya
lsr
sta {z1}
//FRAGMENT vbuaa=vbuyy_ror_1
tya
lsr
//FRAGMENT vbuxx=vbuyy_ror_1
tya
lsr
tax
//FRAGMENT vbuyy=vbuyy_ror_1
tya
lsr
tay
//FRAGMENT _stackpushbyte_=vbuxx
txa
pha
//FRAGMENT _stackpushbyte_=vbuyy
tya
pha
//FRAGMENT vssz1=_stackidxstruct_vbuc1_vbuc2
tsx
ldy #0
!:
lda STACK_BASE+{c2},x
sta {z1},y
inx
iny
cpy #{c1}
bne !-
//FRAGMENT vbuz1=vbuz2_plus_1
ldy {z2}
iny
sty {z1}
//FRAGMENT _stackidxstruct_vbuc1_vbuc2=vssz1
tsx
ldy #0
!:
lda {z1},y
sta STACK_BASE+{c2},x
inx
iny
cpy #{c1}
bne !-
//FRAGMENT _stackpushbyte_3
pha
pha
pha
//FRAGMENT vssz1=_stackpullstruct_vbuc1_
ldx #0
!:
pla
sta {z1},x
inx
cpx #{c1}
bne !-
//FRAGMENT _stackpushstruct_vbuc1_=vssz1
ldy #{c1}
!:
lda {z1}-1,y
pha
dey
bne !-
//FRAGMENT _stackpullbyte_4
tsx
txa
@ -4860,15 +4961,22 @@ txs
lda {z1}
clc
adc #1
//FRAGMENT vbuyy=vbuz1_plus_1
ldy {z1}
iny
//FRAGMENT vbuxx=vbuz1_plus_1
ldx {z1}
inx
//FRAGMENT vbuz1=vbuxx_plus_1
inx
stx {z1}
//FRAGMENT vbuz1=vbuyy_plus_1
iny
sty {z1}
//FRAGMENT vbuxx=vbuyy_plus_1
tya
tax
inx
//FRAGMENT vbuyy=vbuz1_plus_1
ldy {z1}
iny
//FRAGMENT vbuyy=vbuxx_plus_1
txa
tay
@ -4912,6 +5020,9 @@ pha
//FRAGMENT vbuxx=vbuz1_minus_1
ldx {z1}
dex
//FRAGMENT _stackpushbyte_=vbuxx
txa
pha
//FRAGMENT vbuyy=vbuz1_minus_1
lda {z1}
tay
@ -5222,9 +5333,6 @@ asl {z1}
rol {z1}+1
asl {z1}
rol {z1}+1
//FRAGMENT 0_eq_vbuaa_then_la1
cmp #0
beq {la1}
//FRAGMENT vbuz1=vbuaa_plus_1
clc
adc #1
@ -6185,9 +6293,6 @@ bcs {la1}
sty $ff
cpx $ff
bcc {la1}
//FRAGMENT vbuxx=vbuz1_plus_1
ldx {z1}
inx
//FRAGMENT vwuz1=vwuz1_rol_1
asl {z1}
rol {z1}+1
@ -6683,14 +6788,6 @@ sta {z1}
lda {z1}+1
eor {z2}+1
sta {z1}+1
//FRAGMENT vwuz1=vwuz1_plus_vbuxx
txa
clc
adc {z1}
sta {z1}
bcc !+
inc {z1}+1
!:
//FRAGMENT _deref_pbuc1=_byte_vwuz1
lda {z1}
sta {c1}
@ -8317,15 +8414,6 @@ NO_SYNTHESIS
NO_SYNTHESIS
//FRAGMENT vduz1=_makelong4_(vbuyy)_(vbuyy)_(vbuyy)_(vbuyy)
NO_SYNTHESIS
//FRAGMENT _deref_pduc1=vduc2
lda #<{c2}
sta {c1}
lda #>{c2}
sta {c1}+1
lda #<{c2}>>$10
sta {c1}+2
lda #>{c2}>>$10
sta {c1}+3
//FRAGMENT isr_rom_sys_c64_entry
//FRAGMENT pbuz1_derefidx_vbuz2=_inc_pbuz1_derefidx_vbuz2
@ -8374,10 +8462,6 @@ txa
//FRAGMENT vbuaa=vbuyy_plus_1
iny
tya
//FRAGMENT vbuxx=vbuyy_plus_1
tya
tax
inx
//FRAGMENT pssz1=pssc1_plus_vbuz2
lda {z2}
clc
@ -9293,6 +9377,17 @@ lda {c1}
sta {z1}
lda {c1}+1
sta {z1}+1
//FRAGMENT vbuz1=_byte_vwsz2
lda {z2}
sta {z1}
//FRAGMENT vbuaa=_byte_vwsz1
lda {z1}
//FRAGMENT vbuxx=_byte_vwsz1
lda {z1}
tax
//FRAGMENT vbuyy=_byte_vwsz1
lda {z1}
tay
//FRAGMENT vbsz1=vbsz2
lda {z2}
sta {z1}
@ -11407,17 +11502,6 @@ bvc !+
eor #$80
!:
bpl {la1}
//FRAGMENT vbuz1=_byte_vwsz2
lda {z2}
sta {z1}
//FRAGMENT vbuaa=_byte_vwsz1
lda {z1}
//FRAGMENT vbuxx=_byte_vwsz1
lda {z1}
tax
//FRAGMENT vbuyy=_byte_vwsz1
lda {z1}
tay
//FRAGMENT vbuz1=_deref_pbuc1_plus_1
ldy {c1}
iny
@ -12584,11 +12668,6 @@ lda ({z1}),y
tay
lda {c2},y
sta {c1},x
//FRAGMENT _deref_pwuc1=vbuc2
lda #<{c2}
sta {c1}
lda #>{c2}
sta {c1}+1
//FRAGMENT qssz1=qssc1_plus_vwsz2
clc
lda #<{c1}
@ -12746,6 +12825,9 @@ bne {la1}
lda {z2}
ldy #0
sta ({z1}),y
//FRAGMENT _deref_pbuc1=_byte_pprz1
lda {z1}
sta {c1}
//FRAGMENT vbuz1=vbuz2_band_pbuz3_derefidx_vbuc1
lda {z2}
ldy #{c1}
@ -13124,10 +13206,6 @@ tya
clc
adc {m1}
sta {m1}
//FRAGMENT pbuc1_derefidx_vbuz1=_deref_pbuc2
lda {c2}
ldy {z1}
sta {c1},y
//FRAGMENT _deref_pbuc1=_deref_pbuc1_plus_vbuz1
lda {c1}
clc
@ -14340,14 +14418,6 @@ sta {z1}
bcc !+
inc {z1}+1
!:
//FRAGMENT vwuz1=vwuz1_plus_vbuyy
tya
clc
adc {z1}
sta {z1}
bcc !+
inc {z1}+1
!:
//FRAGMENT _deref_pbuc1=_deref_(_deref_qbuc2)
ldy {c2}
sty $fe
@ -15265,16 +15335,3 @@ sta {c1},x
lda #{c2}
ora {c1},y
sta {c1},y
//FRAGMENT vwuz1=vwuz2_ror_8
lda {z2}+1
sta {z1}
lda #0
sta {z1}+1
//FRAGMENT vwuz1=vwuz1_ror_8
lda {z1}+1
sta {z1}
lda #0
sta {z1}+1
//FRAGMENT vbuaa_eq_vbuz1_then_la1
cmp {z1}
beq {la1}

2
src/main/fragment/cache/fragment-cache-rom6502x.asm vendored
View File

@ -1,4 +1,4 @@
//KICKC FRAGMENT CACHE 9a29ecc94 9a29eec1a
//KICKC FRAGMENT CACHE 8c8c73a6a 8c8c75a58
//FRAGMENT _deref_pbuc1=_inc__deref_pbuc1
inc {c1}
//FRAGMENT isr_hardware_all_entry

2
src/main/fragment/cache/fragment-cache-wdc65c02.asm vendored
View File

@ -1,4 +1,4 @@
//KICKC FRAGMENT CACHE 9a29ecc94 9a29eec1a
//KICKC FRAGMENT CACHE 8c8c73a6a 8c8c75a58
//FRAGMENT vbuz1=_deref_pbuc1
lda {c1}
sta {z1}

3
src/main/fragment/mos6502-common/_stackidxstruct_1_vbuc1=vssm1.asm Normal file
View File

@ -0,0 +1,3 @@
tsx
lda {m1}
sta STACK_BASE+{c1},x

5
src/main/fragment/mos6502-common/_stackidxstruct_2_vbuc1=vssm1.asm Normal file
View File

@ -0,0 +1,5 @@
tsx
lda {m1}
sta STACK_BASE+{c1},x
lda {m1}+1
sta STACK_BASE+{c1}+1,x

7
src/main/fragment/mos6502-common/_stackidxstruct_3_vbuc1=vssm1.asm Normal file
View File

@ -0,0 +1,7 @@
tsx
lda {m1}
sta STACK_BASE+{c1},x
lda {m1}+1
sta STACK_BASE+{c1}+1,x
lda {m1}+2
sta STACK_BASE+{c1}+2,x

9
src/main/fragment/mos6502-common/_stackidxstruct_4_vbuc1=vssm1.asm Normal file
View File

@ -0,0 +1,9 @@
tsx
lda {m1}
sta STACK_BASE+{c1},x
lda {m1}+1
sta STACK_BASE+{c1}+1,x
lda {m1}+2
sta STACK_BASE+{c1}+2,x
lda {m1}+3
sta STACK_BASE+{c1}+3,x

9
src/main/fragment/mos6502-common/_stackidxstruct_vbuc1_vbuc2=vssm1.asm Normal file
View File

@ -0,0 +1,9 @@
tsx
ldy #0
!:
lda {m1},y
sta STACK_BASE+{c2},x
inx
iny
cpy #{c1}
bne !-

2
src/main/fragment/mos6502-common/_stackidxword_vbuc1=vwum1.asm
View File

@ -2,4 +2,4 @@ tsx
lda {m1}
sta STACK_BASE+{c1},x
lda {m1}+1
sta STACK_BASE+{c1}+1,x
sta STACK_BASE+{c1}+1,x

2
src/main/fragment/mos6502-common/_stackpushstruct_1_=vssm1.asm Normal file
View File

@ -0,0 +1,2 @@
lda {m1}
pha

4
src/main/fragment/mos6502-common/_stackpushstruct_2_=vssm1.asm Normal file
View File

@ -0,0 +1,4 @@
lda {m1}+1
pha
lda {m1}
pha

6
src/main/fragment/mos6502-common/_stackpushstruct_3_=vssm1.asm Normal file
View File

@ -0,0 +1,6 @@
lda {m1}+2
pha
lda {m1}+1
pha
lda {m1}
pha

8
src/main/fragment/mos6502-common/_stackpushstruct_4_=vssm1.asm Normal file
View File

@ -0,0 +1,8 @@
lda {m1}+3
pha
lda {m1}+2
pha
lda {m1}+1
pha
lda {m1}
pha

5
src/main/fragment/mos6502-common/_stackpushstruct_vbuyy_=vssm1.asm Normal file
View File

@ -0,0 +1,5 @@
!:
lda {m1}-1,y
pha
dey
bne !-

2
src/main/fragment/mos6502-common/_stackpushsword_=vwsm1.asm
View File

@ -1,4 +1,4 @@
lda {m1}+1
pha
lda {m1}
pha
pha

3
src/main/fragment/mos6502-common/vssm1=_stackidxstruct_1_vbuc1.asm Normal file
View File

@ -0,0 +1,3 @@
tsx
lda STACK_BASE+{c1},x
sta {m1}

5
src/main/fragment/mos6502-common/vssm1=_stackidxstruct_2_vbuc1.asm Normal file
View File

@ -0,0 +1,5 @@
tsx
lda STACK_BASE+{c1},x
sta {m1}
lda STACK_BASE+{c1}+1,x
sta {m1}+1

7
src/main/fragment/mos6502-common/vssm1=_stackidxstruct_3_vbuc1.asm Normal file
View File

@ -0,0 +1,7 @@
tsx
lda STACK_BASE+{c1},x
sta {m1}
lda STACK_BASE+{c1}+1,x
sta {m1}+1
lda STACK_BASE+{c1}+2,x
sta {m1}+2

9
src/main/fragment/mos6502-common/vssm1=_stackidxstruct_4_vbuc1.asm Normal file
View File

@ -0,0 +1,9 @@
tsx
lda STACK_BASE+{c1},x
sta {m1}
lda STACK_BASE+{c1}+1,x
sta {m1}+1
lda STACK_BASE+{c1}+2,x
sta {m1}+2
lda STACK_BASE+{c1}+3,x
sta {m1}+3

9
src/main/fragment/mos6502-common/vssm1=_stackidxstruct_vbuc1_vbuc2.asm Normal file
View File

@ -0,0 +1,9 @@
tsx
ldy #0
!:
lda STACK_BASE+{c2},x
sta {m1},y
inx
iny
cpy #{c1}
bne !-

2
src/main/fragment/mos6502-common/vssm1=_stackpullstruct_1_.asm Normal file
View File

@ -0,0 +1,2 @@
pla
sta {m1}

4
src/main/fragment/mos6502-common/vssm1=_stackpullstruct_2_.asm Normal file
View File

@ -0,0 +1,4 @@
pla
sta {m1}
pla
sta {m1}+1

6
src/main/fragment/mos6502-common/vssm1=_stackpullstruct_3_.asm Normal file
View File

@ -0,0 +1,6 @@
pla
sta {m1}
pla
sta {m1}+1
pla
sta {m1}+2

8
src/main/fragment/mos6502-common/vssm1=_stackpullstruct_4_.asm Normal file
View File

@ -0,0 +1,8 @@
pla
sta {m1}
pla
sta {m1}+1
pla
sta {m1}+2
pla
sta {m1}+3

7
src/main/fragment/mos6502-common/vssm1=_stackpullstruct_vbuc1_.asm Normal file
View File

@ -0,0 +1,7 @@
ldx #0
!:
pla
sta {m1},x
inx
cpx #{c1}
bne !-

2
src/main/fragment/mos6502-common/vwum1=_stackidxword_vbuc1.asm
View File

@ -2,4 +2,4 @@ tsx
lda STACK_BASE+{c1},x
sta {m1}
lda STACK_BASE+{c1}+1,x
sta {m1}+1
sta {m1}+1

29
src/main/java/dk/camelot64/kickc/fragment/AsmFragmentInstanceSpecBuilder.java
View File

@ -11,6 +11,7 @@ import dk.camelot64.kickc.model.symbols.Symbol;
import dk.camelot64.kickc.model.symbols.Variable;
import dk.camelot64.kickc.model.types.*;
import dk.camelot64.kickc.model.values.*;
import dk.camelot64.kickc.passes.utils.SizeOfConstants;
import java.lang.InternalError;
import java.util.HashMap;
@ -127,6 +128,7 @@ public class AsmFragmentInstanceSpecBuilder {
/**
* MAKELONG4() creates a long form 4 bytes
*
* @param call The intrinsic call
* @param program The program
* @return The ASM fragment instance
@ -142,7 +144,7 @@ public class AsmFragmentInstanceSpecBuilder {
signature.append(bind(make4long.getlValue()));
signature.append("=");
signature.append("_makelong4_(");
if(make4long.getParameters().size()!=4)
if(make4long.getParameters().size() != 4)
throw new CompileError("MAKELONG4() needs 4 parameters.", make4long);
signature.append(bind(make4long.getParameter(3)));
signature.append(")_(");
@ -279,7 +281,7 @@ public class AsmFragmentInstanceSpecBuilder {
} else if(
rValue2 instanceof ConstantInteger &&
((ConstantInteger) rValue2).getValue() == 0 &&
(Operators.MINUS.equals(operator) || Operators.PLUS.equals(operator)) ) {
(Operators.MINUS.equals(operator) || Operators.PLUS.equals(operator))) {
signature.append("0");
} else {
signature.append(bind(rValue2));
@ -475,15 +477,15 @@ public class AsmFragmentInstanceSpecBuilder {
StackIdxValue stackIdxValue = (StackIdxValue) value;
SymbolType type = stackIdxValue.getValueType();
String typeShortName = Operators.getCastUnary(type).getAsmOperator().replace("_", "");
return "_stackidx" + typeShortName + "_" + bind(stackIdxValue.getStackOffset());
return "_stackidx" + typeShortName + bindStructSize(type) + "_" + bind(stackIdxValue.getStackOffset());
} else if(value instanceof StackPushValue) {
SymbolType type = ((StackPushValue) value).getType();
String typeShortName = Operators.getCastUnary(type).getAsmOperator().replace("_", "");
return "_stackpush" + typeShortName + "_";
return "_stackpush" + typeShortName + bindStructSize(type) + "_";
} else if(value instanceof StackPullValue) {
SymbolType type = ((StackPullValue) value).getType();
String typeShortName = Operators.getCastUnary(type).getAsmOperator().replace("_", "");
return "_stackpull" + typeShortName + "_";
return "_stackpull" + typeShortName + bindStructSize(type) + "_";
} else if(value instanceof StackPullBytes) {
final ConstantInteger bytes = (ConstantInteger) ((StackPullBytes) value).getBytes();
return "_stackpullbyte_" + AsmFormat.getAsmNumber(bytes.getInteger());
@ -510,6 +512,23 @@ public class AsmFragmentInstanceSpecBuilder {
throw new RuntimeException("Binding of value type not supported " + value.toString(program));
}
/**
* Binds the struct size (if the type is a struct.)
*
* @param type The type
* @return The bind name
*/
private String bindStructSize(SymbolType type) {
if(type instanceof SymbolTypeStruct) {
ConstantRef sizeConst = SizeOfConstants.getSizeOfConstantVar(program.getScope(), type);
ConstantLiteral literal = sizeConst.calculateLiteral(program.getScope());
if(literal instanceof ConstantInteger && ((ConstantInteger) literal).getInteger() <= 4L)
return "_" + ((ConstantInteger) literal).getInteger();
return "_" + bind(sizeConst);
}
return "";
}
/**
* Add binding for a name/value pair if it is not already bound.
*

22
src/main/java/dk/camelot64/kickc/model/CallGraph.java
View File

@ -138,9 +138,9 @@ public class CallGraph {
Collection<CallBlock.Call> callers = new ArrayList<>();
for(CallBlock callBlock : callBlocks) {
for(CallBlock.Call call : callBlock.getCalls()) {
if(call.getProcedure().equals(procedureRef)) {
callers.add(call);
}
if(call.getProcedure()!=null)
if(call.getProcedure().equals(procedureRef))
callers.add(call);
}
}
return callers;
@ -183,9 +183,10 @@ public class CallGraph {
Collection<ScopeRef> callers = new ArrayList<>();
for(CallBlock callBlock : callBlocks) {
for(CallBlock.Call call : callBlock.getCalls()) {
if(call.getProcedure().equals(label)) {
callers.add(callBlock.getScopeLabel());
}
if(call.getProcedure()!=null)
if(call.getProcedure().equals(label)) {
callers.add(callBlock.getScopeLabel());
}
}
}
return callers;
@ -267,7 +268,8 @@ public class CallGraph {
public Collection<ScopeRef> getCalledBlocks() {
LinkedHashSet<ScopeRef> called = new LinkedHashSet<>();
for(Call call : calls) {
called.add(call.getProcedure());
if(call.getProcedure()!=null)
called.add(call.getProcedure());
}
return called;
}
@ -300,8 +302,10 @@ public class CallGraph {
public Collection<Call> getCalls(ScopeRef scope) {
ArrayList<Call> callsToScope = new ArrayList<>();
for(Call call : calls) {
if(call.getProcedure().equals(scope)) {
callsToScope.add(call);
if(call.getProcedure()!=null) {
if(call.getProcedure().equals(scope)) {
callsToScope.add(call);
}
}
}
return callsToScope;

40
src/main/java/dk/camelot64/kickc/model/CallingConventionStack.java
View File

@ -5,6 +5,7 @@ import dk.camelot64.kickc.model.symbols.ProgramScope;
import dk.camelot64.kickc.model.symbols.Scope;
import dk.camelot64.kickc.model.symbols.Variable;
import dk.camelot64.kickc.model.types.SymbolType;
import dk.camelot64.kickc.model.types.SymbolTypeProcedure;
import dk.camelot64.kickc.model.values.ConstantInteger;
import dk.camelot64.kickc.model.values.ConstantRef;
@ -20,7 +21,7 @@ public class CallingConventionStack {
public static final String OFFSET_STACK = "OFFSET_STACK_";
/** Name of the constant holding the stack offset for the return value. */
public static final String OFFSET_STACK_RETURN = OFFSET_STACK + "RETURN";
public static final String OFFSET_STACK_RETURN = OFFSET_STACK + "RETURN_";
/**
* Get the name of the constant variable containing the (byte) offset of a specific parameter on the stack
@ -35,16 +36,17 @@ public class CallingConventionStack {
/**
* Get the constant variable containing the (byte) index of the return value on the stack
*
* @param procedure The procedure
* @param procedureType The procedure type
* @return The return value stack offset constant
*/
public static ConstantRef getReturnOffsetConstant(Procedure procedure) {
Variable returnOffsetConstant = procedure.getLocalConstant(OFFSET_STACK_RETURN);
public static ConstantRef getReturnOffsetConstant(SymbolTypeProcedure procedureType, Scope scope) {
long returnByteOffset = getReturnByteOffset(procedureType);
String offsetConstName = OFFSET_STACK_RETURN+returnByteOffset;
Variable returnOffsetConstant = scope.getLocalConstant(offsetConstName);
if(returnOffsetConstant == null) {
// Constant not found - create it
long returnByteOffset = getReturnByteOffset(procedure);
returnOffsetConstant = Variable.createConstant(OFFSET_STACK_RETURN, SymbolType.BYTE, procedure, new ConstantInteger(returnByteOffset & 0xff, SymbolType.BYTE), Scope.SEGMENT_DATA_DEFAULT);
procedure.add(returnOffsetConstant);
returnOffsetConstant = Variable.createConstant(offsetConstName, SymbolType.BYTE, scope, new ConstantInteger(returnByteOffset & 0xff, SymbolType.BYTE), Scope.SEGMENT_DATA_DEFAULT);
scope.add(returnOffsetConstant);
}
return returnOffsetConstant.getConstantRef();
}
@ -71,13 +73,13 @@ public class CallingConventionStack {
/**
* Get the number of bytes that needed on the stack to pass parameters/return value to/from a procedure
*
* @param procedure The procedure to find the stack frame size for
* @param procedureType The procedure type to find the stack frame size for
* @return The byte size of the stack frame
*/
public static long getStackFrameByteSize(Procedure procedure) {
long byteSize = getParametersByteSize(procedure);
if(procedure.getReturnType() != null) {
int returnBytes = procedure.getReturnType().getSizeBytes();
public static long getStackFrameByteSize(SymbolTypeProcedure procedureType) {
long byteSize = getParametersByteSize(procedureType);
if(procedureType.getReturnType() != null) {
int returnBytes = procedureType.getReturnType().getSizeBytes();
if(returnBytes > byteSize) byteSize = returnBytes;
}
return byteSize;
@ -86,13 +88,13 @@ public class CallingConventionStack {
/**
* Get the number of bytes needed on the stack to store the parameters from a procedure
*
* @param procedure The procedure
* @param procedureType The procedure type
* @return The byte size of parameters
*/
public static long getParametersByteSize(Procedure procedure) {
public static long getParametersByteSize(SymbolTypeProcedure procedureType) {
long byteSize = 0;
for(Variable procedureParameter : procedure.getParameters()) {
byteSize += procedureParameter.getType().getSizeBytes();
for(SymbolType paramType : procedureType.getParamTypes()) {
byteSize += paramType.getSizeBytes();
}
return byteSize;
}
@ -122,11 +124,11 @@ public class CallingConventionStack {
/**
* Get the number of bytes that the return value is offset on the stack
*
* @param procedure The procedure
* @param procedureType The procedure type
* @return The byte offset of the return value
*/
private static long getReturnByteOffset(Procedure procedure) {
return getStackFrameByteSize(procedure) - procedure.getReturnType().getSizeBytes();
private static long getReturnByteOffset(SymbolTypeProcedure procedureType) {
return getStackFrameByteSize(procedureType) - procedureType.getReturnType().getSizeBytes();
}
/**

21
src/main/java/dk/camelot64/kickc/model/iterator/ProgramValue.java
View File

@ -75,6 +75,25 @@ public interface ProgramValue {
}
}
class CallExecuteProcedure implements ProgramValue {
private final StatementCallExecute call;
CallExecuteProcedure(StatementCallExecute call) {
this.call = call;
}
@Override
public Value get() {
return call.getProcedureRVal();
}
@Override
public void set(Value value) {
call.setProcedureRVal((RValue) value);
}
}
class CallParameter implements ProgramValue {
private final StatementCall call;
private final int i;
@ -328,7 +347,7 @@ public interface ProgramValue {
}
@Override
public void set(Value value) {
public void set(Value value) {
statementExprSideEffect.setExpression((RValue) value);
}

2
src/main/java/dk/camelot64/kickc/model/iterator/ProgramValueIterator.java
View File

@ -133,6 +133,8 @@ public class ProgramValueIterator {
execute(new ProgramValue.CallPrepareParameter(call, i), handler, statement, statementsIt, block);
}
}
} else if(statement instanceof StatementCallExecute) {
execute(new ProgramValue.CallExecuteProcedure((StatementCallExecute) statement), handler, statement, statementsIt, block);
} else if(statement instanceof StatementCallFinalize) {
execute(new ProgramValue.ProgramValueLValue((StatementLValue) statement), handler, statement, statementsIt, block);
} else if(statement instanceof StatementCallPointer) {

41
src/main/java/dk/camelot64/kickc/model/statements/StatementCallExecute.java
View File

@ -2,7 +2,10 @@ package dk.camelot64.kickc.model.statements;
import dk.camelot64.kickc.model.Comment;
import dk.camelot64.kickc.model.Program;
import dk.camelot64.kickc.model.symbols.Procedure;
import dk.camelot64.kickc.model.types.SymbolTypeProcedure;
import dk.camelot64.kickc.model.values.ProcedureRef;
import dk.camelot64.kickc.model.values.RValue;
import java.util.List;
import java.util.Objects;
@ -16,15 +19,34 @@ import java.util.Objects;
*/
public class StatementCallExecute extends StatementBase implements StatementCalling {
/** The procedure called. */
private ProcedureRef procedure;
/** The procedure called (if this is a call to a specific procedure). Null if this is a pointer-based call. */
private RValue procedure;
public StatementCallExecute(ProcedureRef procedure, StatementSource source, List<Comment> comments) {
/** The type of the procedure. */
private SymbolTypeProcedure procedureType;
/** The calling convention to use. */
private Procedure.CallingConvention callingConvention;
public StatementCallExecute(SymbolTypeProcedure procedureType, RValue procedure, Procedure.CallingConvention callingConvention, StatementSource source, List<Comment> comments) {
super(source, comments);
this.procedureType = procedureType;
this.procedure = procedure;
this.callingConvention = callingConvention;
}
public SymbolTypeProcedure getProcedureType() {
return procedureType;
}
public ProcedureRef getProcedure() {
if(procedure instanceof ProcedureRef)
return (ProcedureRef) procedure;
else
return null;
}
public RValue getProcedureRVal() {
return procedure;
}
@ -32,14 +54,21 @@ public class StatementCallExecute extends StatementBase implements StatementCall
this.procedure = procedure;
}
public void setProcedureRVal(RValue procedure) {
this.procedure = procedure;
}
public Procedure.CallingConvention getCallingConvention() {
return callingConvention;
}
@Override
public String toString(Program program, boolean aliveInfo) {
StringBuilder res = new StringBuilder();
res.append(super.idxString());
res.append("callexecute ");
if(procedure != null) {
res.append(procedure.getFullName() + " ");
}
res.append(procedure.toString(null) + " ");
if(aliveInfo) {
res.append(super.aliveString(program));
}

25
src/main/java/dk/camelot64/kickc/model/statements/StatementCallFinalize.java
View File

@ -2,6 +2,8 @@ package dk.camelot64.kickc.model.statements;
import dk.camelot64.kickc.model.Comment;
import dk.camelot64.kickc.model.Program;
import dk.camelot64.kickc.model.symbols.Procedure;
import dk.camelot64.kickc.model.types.SymbolTypeProcedure;
import dk.camelot64.kickc.model.values.LValue;
import dk.camelot64.kickc.model.values.ProcedureRef;
@ -17,17 +19,26 @@ import java.util.Objects;
*/
public class StatementCallFinalize extends StatementBase implements StatementLValue {
/** The procedure called (if this is a call to a specific procedure). Null if this is a pointer-based call. */
private ProcedureRef procedure;
/** The type of the procedure. */
private SymbolTypeProcedure procedureType;
/** The calling convention to use. */
private Procedure.CallingConvention callingConvention;
/** The variable being assigned a value by the call. Can be null. */
private LValue lValue;
/** The procedure called. */
private ProcedureRef procedure;
/** This is the initial assignment of the lValue. */
private boolean initialAssignment;
public StatementCallFinalize(LValue lValue, ProcedureRef procedure, StatementSource source, List<Comment> comments) {
public StatementCallFinalize(LValue lValue, SymbolTypeProcedure procedureType, ProcedureRef procedure, Procedure.CallingConvention callingConvention, StatementSource source, List<Comment> comments) {
super(source, comments);
this.lValue = lValue;
this.procedure = procedure;
this.procedureType = procedureType;
this.callingConvention = callingConvention;
}
public LValue getlValue() {
@ -46,6 +57,14 @@ public class StatementCallFinalize extends StatementBase implements StatementLVa
this.procedure = procedure;
}
public SymbolTypeProcedure getProcedureType() {
return procedureType;
}
public Procedure.CallingConvention getCallingConvention() {
return callingConvention;
}
@Override
public boolean isInitialAssignment() {
return initialAssignment;

23
src/main/java/dk/camelot64/kickc/model/statements/StatementCallPrepare.java
View File

@ -2,6 +2,8 @@ package dk.camelot64.kickc.model.statements;
import dk.camelot64.kickc.model.Comment;
import dk.camelot64.kickc.model.Program;
import dk.camelot64.kickc.model.symbols.Procedure;
import dk.camelot64.kickc.model.types.SymbolTypeProcedure;
import dk.camelot64.kickc.model.values.ProcedureRef;
import dk.camelot64.kickc.model.values.RValue;
@ -17,15 +19,28 @@ import java.util.Objects;
*/
public class StatementCallPrepare extends StatementBase {
/** The procedure called. */
/** The procedure called (if this is a call to a specific procedure). Null if this is a pointer-based call. */
private ProcedureRef procedure;
/** The type of the procedure. */
private SymbolTypeProcedure procedureType;
/** The calling convention to use. */
private Procedure.CallingConvention callingConvention;
/** The parameter values passed to the procedure. */
private List<RValue> parameters;
public StatementCallPrepare(ProcedureRef procedure, List<RValue> parameters, StatementSource source, List<Comment> comments) {
public StatementCallPrepare(SymbolTypeProcedure procedureType, ProcedureRef procedure, List<RValue> parameters, Procedure.CallingConvention callingConvention, StatementSource source, List<Comment> comments) {
super(source, comments);
this.procedureType = procedureType;
this.procedure = procedure;
this.parameters = parameters;
this.callingConvention = callingConvention;
}
public SymbolTypeProcedure getProcedureType() {
return procedureType;
}
public ProcedureRef getProcedure() {
@ -52,6 +67,10 @@ public class StatementCallPrepare extends StatementBase {
return parameters.get(idx);
}
public Procedure.CallingConvention getCallingConvention() {
return callingConvention;
}
@Override
public String toString(Program program, boolean aliveInfo) {
StringBuilder res = new StringBuilder();

2
src/main/java/dk/camelot64/kickc/model/symbols/Procedure.java
View File

@ -184,7 +184,7 @@ public class Procedure extends Scope {
}
@Override
public SymbolType getType() {
public SymbolTypeProcedure getType() {
return procedureType;
}

6
src/main/java/dk/camelot64/kickc/passes/Pass1AddressOfHandling.java
View File

@ -76,10 +76,10 @@ public class Pass1AddressOfHandling extends Pass2SsaOptimization {
}
}
} else if(toSymbol instanceof Procedure) {
if(((Procedure) toSymbol).getParameters().size() > 0) {
((Procedure) toSymbol).setCallingConvention(Procedure.CallingConvention.STACK_CALL);
Procedure procedure = (Procedure) toSymbol;
if(procedure.getParameters().size() > 0 || !SymbolType.VOID.equals(procedure.getReturnType())) {
procedure.setCallingConvention(Procedure.CallingConvention.STACK_CALL);
getLog().append("Setting inferred __stackcall on procedure affected by address-of " + toSymbol.toString(getProgram()) + " caused by statement " + stmtStr);
;
}
}
}

30
src/main/java/dk/camelot64/kickc/passes/Pass1CallStack.java
View File

@ -13,6 +13,7 @@ import dk.camelot64.kickc.model.symbols.StructDefinition;
import dk.camelot64.kickc.model.symbols.Variable;
import dk.camelot64.kickc.model.types.SymbolType;
import dk.camelot64.kickc.model.types.SymbolTypeInference;
import dk.camelot64.kickc.model.types.SymbolTypeProcedure;
import dk.camelot64.kickc.model.types.SymbolTypeStruct;
import dk.camelot64.kickc.model.values.*;
import dk.camelot64.kickc.passes.utils.SizeOfConstants;
@ -43,7 +44,7 @@ public class Pass1CallStack extends Pass2SsaOptimization {
}
// Introduce the return value offset
if(procedure.getReturnType() != null && !SymbolType.VOID.equals(procedure.getReturnType())) {
CallingConventionStack.getReturnOffsetConstant(procedure);
CallingConventionStack.getReturnOffsetConstant(procedure.getType(), procedure);
createStackBase = true;
}
}
@ -81,7 +82,7 @@ public class Pass1CallStack extends Pass2SsaOptimization {
Procedure procedure = (Procedure) blockScope;
final SymbolType returnType = procedure.getReturnType();
if(!SymbolType.VOID.equals(returnType) && Procedure.CallingConvention.STACK_CALL.equals(procedure.getCallingConvention())) {
ConstantRef returnOffsetConstant = CallingConventionStack.getReturnOffsetConstant(procedure);
ConstantRef returnOffsetConstant = CallingConventionStack.getReturnOffsetConstant(procedure.getType(), procedure);
final RValue value = ((StatementReturn) statement).getValue();
stmtIt.previous();
generateStackReturnValues(value, returnType, returnOffsetConstant, statement.getSource(), statement.getComments(), stmtIt);
@ -100,11 +101,11 @@ public class Pass1CallStack extends Pass2SsaOptimization {
Statement statement = stmtIt.next();
if(statement instanceof StatementCallFinalize) {
final StatementCallFinalize call = (StatementCallFinalize) statement;
Procedure procedure = getScope().getProcedure(call.getProcedure());
final SymbolType returnType = procedure.getReturnType();
if(Procedure.CallingConvention.STACK_CALL.equals(procedure.getCallingConvention())) {
long stackFrameByteSize = CallingConventionStack.getStackFrameByteSize(procedure);
long returnByteSize = procedure.getReturnType() == null ? 0 : procedure.getReturnType().getSizeBytes();
SymbolTypeProcedure procedureType = call.getProcedureType();
final SymbolType returnType = procedureType.getReturnType();
if(Procedure.CallingConvention.STACK_CALL.equals(call.getCallingConvention())) {
long stackFrameByteSize = CallingConventionStack.getStackFrameByteSize(procedureType);
long returnByteSize = procedureType.getReturnType() == null ? 0 : procedureType.getReturnType().getSizeBytes();
long stackCleanBytes = (call.getlValue() == null) ? stackFrameByteSize : (stackFrameByteSize - returnByteSize);
stmtIt.previous();
final StatementSource source = call.getSource();
@ -130,22 +131,21 @@ public class Pass1CallStack extends Pass2SsaOptimization {
Statement statement = stmtIt.next();
if(statement instanceof StatementCallPrepare) {
final StatementCallPrepare call = (StatementCallPrepare) statement;
Procedure procedure = getScope().getProcedure(call.getProcedure());
if(Procedure.CallingConvention.STACK_CALL.equals(procedure.getCallingConvention())) {
if(Procedure.CallingConvention.STACK_CALL.equals(call.getCallingConvention())) {
stmtIt.previous();
final StatementSource source = call.getSource();
List<Comment> comments = call.getComments();
final List<Variable> parameterDefs = procedure.getParameters();
for(int i=0;i<parameterDefs.size();i++) {
List<SymbolType> paramTypes = call.getProcedureType().getParamTypes();
for(int i=0;i<paramTypes.size();i++) {
SymbolType paramType = paramTypes.get(i);
final RValue parameterVal = call.getParameters().get(i);
final Variable parameterDef = parameterDefs.get(i);
generateStackPushValues(parameterVal, parameterDef.getType(), source, comments, stmtIt);
generateStackPushValues(parameterVal, paramType, source, comments, stmtIt);
// Clear comments - enduring they are only output once
comments = Comment.NO_COMMENTS;
}
// Push additional bytes for padding if needed
long stackFrameByteSize = CallingConventionStack.getStackFrameByteSize(procedure);
long parametersByteSize = CallingConventionStack.getParametersByteSize(procedure);
long stackFrameByteSize = CallingConventionStack.getStackFrameByteSize(call.getProcedureType());
long parametersByteSize = CallingConventionStack.getParametersByteSize(call.getProcedureType());
final long stackPadBytes = stackFrameByteSize - parametersByteSize;
if(stackFrameByteSize > parametersByteSize) {
// Add padding to the stack to make room for the return value

28
src/main/java/dk/camelot64/kickc/passes/Pass1CallStackVarConvert.java
View File

@ -6,6 +6,8 @@ import dk.camelot64.kickc.model.Program;
import dk.camelot64.kickc.model.statements.*;
import dk.camelot64.kickc.model.symbols.Procedure;
import dk.camelot64.kickc.model.types.SymbolType;
import dk.camelot64.kickc.model.types.SymbolTypeInference;
import dk.camelot64.kickc.model.types.SymbolTypeProcedure;
import dk.camelot64.kickc.model.values.ProcedureRef;
import java.util.ListIterator;
@ -29,15 +31,29 @@ public class Pass1CallStackVarConvert extends Pass2SsaOptimization {
StatementCall call = (StatementCall) statement;
ProcedureRef procedureRef = call.getProcedure();
Procedure procedure = getScope().getProcedure(procedureRef);
if(Procedure.CallingConvention.STACK_CALL.equals(procedure.getCallingConvention()) || Procedure.CallingConvention.VAR_CALL.equals(procedure.getCallingConvention())) {
boolean hasPrepare = (call.getParameters().size() > 0) || !SymbolType.VOID.equals(procedure.getReturnType());
Procedure.CallingConvention callingConvention = procedure.getCallingConvention();
if(Procedure.CallingConvention.STACK_CALL.equals(callingConvention) || Procedure.CallingConvention.VAR_CALL.equals(callingConvention)) {
boolean hasParamOrReturn = (call.getParameters().size() > 0) || !SymbolType.VOID.equals(procedure.getReturnType());
stmtIt.remove();
stmtIt.add(new StatementCallPrepare(procedureRef, call.getParameters(), call.getSource(), hasPrepare?call.getComments():Comment.NO_COMMENTS));
stmtIt.add(new StatementCallExecute(procedureRef, call.getSource(), hasPrepare?Comment.NO_COMMENTS:call.getComments()));
stmtIt.add(new StatementCallFinalize(call.getlValue(), procedureRef, call.getSource(), Comment.NO_COMMENTS));
getLog().append("Calling convention " + procedure.getCallingConvention().getName() + " adding prepare/execute/finalize for " + call.toString(getProgram(), false));
stmtIt.add(new StatementCallPrepare(procedure.getType(), procedureRef, call.getParameters(), callingConvention, call.getSource(), hasParamOrReturn?call.getComments():Comment.NO_COMMENTS));
stmtIt.add(new StatementCallExecute(procedure.getType(), procedureRef, callingConvention, call.getSource(), hasParamOrReturn?Comment.NO_COMMENTS:call.getComments()));
stmtIt.add(new StatementCallFinalize(call.getlValue(), procedure.getType(), procedureRef, callingConvention, call.getSource(), Comment.NO_COMMENTS));
getLog().append("Calling convention " + callingConvention.getName() + " adding prepare/execute/finalize for " + call.toString(getProgram(), false));
}
} else if(statement instanceof StatementCallPointer) {
StatementCallPointer call = (StatementCallPointer) statement;
boolean hasParamOrReturn = call.getNumParameters() > 0 || call.getlValue() != null;
//if(hasParamOrReturn) {
SymbolTypeProcedure procedureType = (SymbolTypeProcedure) SymbolTypeInference.inferType(getScope(), call.getProcedure());
// Perform stack call
stmtIt.remove();
stmtIt.add(new StatementCallPrepare(procedureType, null, call.getParameters(), Procedure.CallingConvention.STACK_CALL, call.getSource(), hasParamOrReturn?call.getComments():Comment.NO_COMMENTS));
stmtIt.add(new StatementCallExecute(procedureType, call.getProcedure(), Procedure.CallingConvention.STACK_CALL, call.getSource(), hasParamOrReturn?Comment.NO_COMMENTS:call.getComments()));
stmtIt.add(new StatementCallFinalize(call.getlValue(), procedureType, null, Procedure.CallingConvention.STACK_CALL, call.getSource(), Comment.NO_COMMENTS));
getLog().append("Calling convention " + Procedure.CallingConvention.STACK_CALL + " adding prepare/execute/finalize for " + call.toString(getProgram(), false));
//}
}
}
}

3
src/main/java/dk/camelot64/kickc/passes/Pass1UnwindStructValues.java
View File

@ -13,6 +13,7 @@ import dk.camelot64.kickc.model.types.SymbolTypeStruct;
import dk.camelot64.kickc.model.values.*;
import dk.camelot64.kickc.passes.unwinding.ValueSource;
import dk.camelot64.kickc.passes.unwinding.ValueSourceFactory;
import dk.camelot64.kickc.passes.unwinding.ValueSourceParamValue;
import java.util.ArrayList;
import java.util.List;
@ -281,6 +282,8 @@ public class Pass1UnwindStructValues extends Pass1Base {
public static boolean copyValues(ValueSource lValueSource, ValueSource rValueSource, List<RValue> lValueUnwoundList, boolean initialAssignment, Statement currentStmt, ControlFlowBlock currentBlock, ListIterator<Statement> stmtIt, Program program) {
if(lValueSource == null || rValueSource == null)
return false;
if(rValueSource instanceof ValueSourceParamValue && lValueSource.equals(((ValueSourceParamValue) rValueSource).getValueSource()))
return false;
if(lValueSource.equals(rValueSource))
return true;
if(lValueSource.isSimple() && rValueSource.isSimple()) {

6
src/main/java/dk/camelot64/kickc/passes/Pass2AssertBlocks.java
View File

@ -88,8 +88,10 @@ public class Pass2AssertBlocks extends Pass2SsaAssertion {
@Override
public Void visitCallExecute(StatementCallExecute callExecute) {
ProcedureRef procedure = callExecute.getProcedure();
LabelRef procLabelRef = procedure.getLabelRef();
assertBlock(procLabelRef);
if(procedure!=null) {
LabelRef procLabelRef = procedure.getLabelRef();
assertBlock(procLabelRef);
}
return super.visitCallExecute(callExecute);
}

26
src/main/java/dk/camelot64/kickc/passes/Pass2ConstantCallPointerIdentification.java
View File

@ -3,8 +3,7 @@ package dk.camelot64.kickc.passes;
import dk.camelot64.kickc.model.ControlFlowBlock;
import dk.camelot64.kickc.model.Program;
import dk.camelot64.kickc.model.statements.Statement;
import dk.camelot64.kickc.model.statements.StatementCall;
import dk.camelot64.kickc.model.statements.StatementCallPointer;
import dk.camelot64.kickc.model.statements.StatementCallExecute;
import dk.camelot64.kickc.model.symbols.Procedure;
import dk.camelot64.kickc.model.symbols.Variable;
import dk.camelot64.kickc.model.types.SymbolType;
@ -28,14 +27,14 @@ public class Pass2ConstantCallPointerIdentification extends Pass2SsaOptimization
ListIterator<Statement> statementsIt = block.getStatements().listIterator();
while(statementsIt.hasNext()) {
Statement statement = statementsIt.next();
if(statement instanceof StatementCallPointer) {
StatementCallPointer callPointer = (StatementCallPointer) statement;
RValue procedure = callPointer.getProcedure();
if(statement instanceof StatementCallExecute) {
StatementCallExecute callPointer = (StatementCallExecute) statement;
RValue procedure = callPointer.getProcedureRVal();
if(procedure instanceof PointerDereferenceSimple) {
RValue pointer = ((PointerDereferenceSimple) procedure).getPointer();
ProcedureRef constProcedureRef = findConstProcedure(pointer);
if(constProcedureRef != null) {
replacePointerCall(callPointer, constProcedureRef, statementsIt, block);
replacePointerCall(callPointer, constProcedureRef, block);
optimized = true;
}
} else if(procedure instanceof ConstantRef) {
@ -45,7 +44,7 @@ public class Pass2ConstantCallPointerIdentification extends Pass2SsaOptimization
if(((SymbolTypePointer) procedureVariableType).getElementType() instanceof SymbolTypeProcedure) {
ProcedureRef constProcedureRef = findConstProcedure(procedure);
if(constProcedureRef != null) {
replacePointerCall(callPointer, constProcedureRef, statementsIt, block);
replacePointerCall(callPointer, constProcedureRef, block);
optimized = true;
}
}
@ -59,21 +58,16 @@ public class Pass2ConstantCallPointerIdentification extends Pass2SsaOptimization
/**
* Replace a pointer-based call to a constant procedure with a classic procedure call
* @param callPointer The call to replace
* @param callPointer The call to replace
* @param constProcedureRef The constant procedure pointed to
* @param statementsIt The statement iterator currently pointing to the pointer-based call
* @param block The block containing the call
*/
private void replacePointerCall(StatementCallPointer callPointer, ProcedureRef constProcedureRef, ListIterator<Statement> statementsIt, ControlFlowBlock block) {
statementsIt.remove();
StatementCall call = new StatementCall(callPointer.getlValue(), constProcedureRef.getFullName(), callPointer.getParameters(), callPointer.getSource(), callPointer.getComments());
call.setProcedure(constProcedureRef);
call.setIndex(callPointer.getIndex());
private void replacePointerCall(StatementCallExecute callPointer, ProcedureRef constProcedureRef, ControlFlowBlock block) {
callPointer.setProcedure(constProcedureRef);
block.setCallSuccessor(constProcedureRef.getLabelRef());
statementsIt.add(call);
final Procedure procedure = getScope().getProcedure(constProcedureRef);
procedure.setCallingConvention(Procedure.CallingConvention.STACK_CALL);
getLog().append("Replacing constant pointer function " + call.toString(getProgram(), false));
getLog().append("Replacing constant pointer function " + callPointer.toString(getProgram(), false));
}
/**

8
src/main/java/dk/camelot64/kickc/passes/Pass2ConstantIdentification.java
View File

@ -4,6 +4,7 @@ import dk.camelot64.kickc.model.CompileError;
import dk.camelot64.kickc.model.ConstantNotLiteral;
import dk.camelot64.kickc.model.ControlFlowBlock;
import dk.camelot64.kickc.model.Program;
import dk.camelot64.kickc.model.iterator.ProgramValue;
import dk.camelot64.kickc.model.iterator.ProgramValueIterator;
import dk.camelot64.kickc.model.operators.OperatorBinary;
import dk.camelot64.kickc.model.operators.OperatorUnary;
@ -140,7 +141,7 @@ public class Pass2ConstantIdentification extends Pass2SsaOptimization {
if(var.isVolatile() || var.isKindLoadStore())
// Do not examine volatiles and non-versioned variables
continue;
if(var.getRegister()!=null && var.getRegister().isMem())
if(var.getRegister() != null && var.getRegister().isMem())
// Skip variables allocated into memory
continue;
ConstantValue constant = getConstant(assignment.getrValue2());
@ -173,7 +174,7 @@ public class Pass2ConstantIdentification extends Pass2SsaOptimization {
if(variable.isVolatile() || !variable.isKindLoadStore())
// Do not examine volatiles, non-constants or versioned variables
continue;
if(variable.getRegister()!=null && variable.getRegister().isMem())
if(variable.getRegister() != null && variable.getRegister().isMem())
// Skip variables allocated into memory
continue;
final List<VarAssignments.VarAssignment> varAssignments = VarAssignments.get(variable.getRef(), getGraph(), getScope());
@ -290,7 +291,8 @@ public class Pass2ConstantIdentification extends Pass2SsaOptimization {
ProgramValueIterator.execute(program, (programValue, currentStmt, stmtIt, currentBlock) -> {
Value value = programValue.get();
if(value instanceof ProcedureRef && value.equals(procedureRef)) {
found[0] = true;
if(!(programValue instanceof ProgramValue.CallExecuteProcedure))
found[0] = true;
}
});
if(found[0]) {

5
src/main/java/dk/camelot64/kickc/passes/Pass2EliminateUnusedBlocks.java
View File

@ -77,6 +77,7 @@ public class Pass2EliminateUnusedBlocks extends Pass2SsaOptimization {
/**
* Removes an entire procedure from the program (control flow graph and symbol table)
*
* @param procedureRef The procedure to remove
* @param removedBlocks A set where all removed blocks are added to.
*/
@ -173,7 +174,9 @@ public class Pass2EliminateUnusedBlocks extends Pass2SsaOptimization {
findReferencedBlocks(getGraph().getBlock(procedure.getLabelRef()), used);
} else if(statement instanceof StatementCallExecute) {
final ProcedureRef procedure = ((StatementCallExecute) statement).getProcedure();
findReferencedBlocks(getGraph().getBlock(procedure.getLabelRef()), used);
if(procedure != null) {
findReferencedBlocks(getGraph().getBlock(procedure.getLabelRef()), used);
}
}
}
}

104
src/main/java/dk/camelot64/kickc/passes/Pass4CodeGeneration.java
View File

@ -811,11 +811,15 @@ public class Pass4CodeGeneration {
try {
generateStatementAsm(asm, block, statement, aluState, true);
} catch(AsmFragmentTemplateSynthesizer.UnknownFragmentException e) {
StatementSource statementSource = statement.getSource();
if(warnFragmentMissing) {
program.getLog().append("Warning! Unknown fragment for statement " + statement.toString(program, false) + "\nMissing ASM fragment " + e.getFragmentSignature() + "\n" + statement.getSource().format());
String stmtFormat = "";
if(statementSource!=null)
stmtFormat = statementSource.format();
program.getLog().append("Warning! Unknown fragment for statement " + statement.toString(program, false) + "\nMissing ASM fragment " + e.getFragmentSignature() + "\n" + stmtFormat);
asm.addLine(new AsmInlineKickAsm(".assert \"Missing ASM fragment " + e.getFragmentSignature() + "\", 0, 1", 0L, 0L));
} else {
throw new CompileError("Unknown fragment for statement " + statement.toString(program, false) + "\nMissing ASM fragment " + e.getFragmentSignature(), statement.getSource());
throw new CompileError("Unknown fragment for statement " + statement.toString(program, false) + "\nMissing ASM fragment " + e.getFragmentSignature(), statementSource);
}
} catch(CompileError e) {
if(e.getSource() == null) {
@ -909,8 +913,55 @@ public class Pass4CodeGeneration {
}
} else if(statement instanceof StatementCallExecute) {
StatementCallExecute call = (StatementCallExecute) statement;
asm.getCurrentChunk().setFragment("jsr");
asm.addInstruction("jsr", CpuAddressingMode.ABS, call.getProcedure().getFullName(), false);
RValue procedureRVal = call.getProcedureRVal();
boolean supported = false;
if(procedureRVal instanceof ProcedureRef) {
asm.getCurrentChunk().setFragment("jsr");
asm.addInstruction("jsr", CpuAddressingMode.ABS, call.getProcedure().getFullName(), false);
supported = true;
} else if(procedureRVal instanceof PointerDereferenceSimple) {
RValue pointer = ((PointerDereferenceSimple) procedureRVal).getPointer();
if(pointer instanceof ConstantValue) {
ensureEncoding(asm, pointer);
asm.addInstruction("jsr", CpuAddressingMode.ABS, AsmFormat.getAsmConstant(program, (ConstantValue) pointer, 99, block.getScope()), false);
asm.getCurrentChunk().setClobberOverwrite(CpuClobber.CLOBBER_ALL);
supported = true;
} else if(pointer instanceof VariableRef) {
Variable variable = getScope().getVariable((VariableRef) pointer);
generateIndirectCall(asm, variable, block.getScope());
asm.getCurrentChunk().setClobberOverwrite(CpuClobber.CLOBBER_ALL);
supported = true;
} else if(pointer instanceof CastValue && ((CastValue) pointer).getValue() instanceof VariableRef) {
Variable variable = getScope().getVariable((VariableRef) ((CastValue) pointer).getValue());
generateIndirectCall(asm, variable, block.getScope());
asm.getCurrentChunk().setClobberOverwrite(CpuClobber.CLOBBER_ALL);
supported = true;
}
} else if(procedureRVal instanceof VariableRef) {
Variable procedureVariable = getScope().getVariable((VariableRef) procedureRVal);
SymbolType procedureVariableType = procedureVariable.getType();
if(procedureVariableType instanceof SymbolTypePointer) {
if(((SymbolTypePointer) procedureVariableType).getElementType() instanceof SymbolTypeProcedure) {
generateIndirectCall(asm, procedureVariable, block.getScope());
supported = true;
asm.getCurrentChunk().setClobberOverwrite(CpuClobber.CLOBBER_ALL);
}
}
} else if(procedureRVal instanceof ConstantRef) {
Variable procedureVariable = getScope().getConstant((ConstantRef) procedureRVal);
SymbolType procedureVariableType = procedureVariable.getType();
if(procedureVariableType instanceof SymbolTypePointer) {
if(((SymbolTypePointer) procedureVariableType).getElementType() instanceof SymbolTypeProcedure) {
String varAsmName = AsmFormat.getAsmSymbolName(program, procedureVariable, block.getScope());
asm.addInstruction("jsr", CpuAddressingMode.ABS, varAsmName, false);
asm.getCurrentChunk().setClobberOverwrite(CpuClobber.CLOBBER_ALL);
supported = true;
}
}
}
if(!supported) {
throw new InternalError("Call Pointer not supported " + statement);
}
} else if(statement instanceof StatementExprSideEffect) {
AsmFragmentInstanceSpecBuilder asmFragmentInstanceSpecBuilder = AsmFragmentInstanceSpecBuilder.exprSideEffect((StatementExprSideEffect) statement, program);
ensureEncoding(asm, asmFragmentInstanceSpecBuilder);
@ -952,51 +1003,6 @@ public class Pass4CodeGeneration {
asm.getCurrentChunk().setClobberOverwrite(statementKasm.getDeclaredClobber());
}
} else if(statement instanceof StatementCallPointer) {
StatementCallPointer callPointer = (StatementCallPointer) statement;
RValue procedure = callPointer.getProcedure();
boolean supported = false;
if(procedure instanceof PointerDereferenceSimple) {
RValue pointer = ((PointerDereferenceSimple) procedure).getPointer();
if(pointer instanceof ConstantValue) {
ensureEncoding(asm, pointer);
asm.addInstruction("jsr", CpuAddressingMode.ABS, AsmFormat.getAsmConstant(program, (ConstantValue) pointer, 99, block.getScope()), false);
supported = true;
} else if(pointer instanceof VariableRef) {
Variable variable = getScope().getVariable((VariableRef) pointer);
generateIndirectCall(asm, variable, block.getScope());
supported = true;
} else if(pointer instanceof CastValue && ((CastValue) pointer).getValue() instanceof VariableRef) {
Variable variable = getScope().getVariable((VariableRef) ((CastValue) pointer).getValue());
generateIndirectCall(asm, variable, block.getScope());
supported = true;
}
} else if(procedure instanceof VariableRef) {
Variable procedureVariable = getScope().getVariable((VariableRef) procedure);
SymbolType procedureVariableType = procedureVariable.getType();
if(procedureVariableType instanceof SymbolTypePointer) {
if(((SymbolTypePointer) procedureVariableType).getElementType() instanceof SymbolTypeProcedure) {
generateIndirectCall(asm, procedureVariable, block.getScope());
supported = true;
}
}
} else if(procedure instanceof ConstantRef) {
Variable procedureVariable = getScope().getConstant((ConstantRef) procedure);
SymbolType procedureVariableType = procedureVariable.getType();
if(procedureVariableType instanceof SymbolTypePointer) {
if(((SymbolTypePointer) procedureVariableType).getElementType() instanceof SymbolTypeProcedure) {
String varAsmName = AsmFormat.getAsmSymbolName(program, procedureVariable, block.getScope());
asm.addInstruction("jsr", CpuAddressingMode.ABS, varAsmName, false);
supported = true;
}
}
}
if(supported) {
asm.getCurrentChunk().setClobberOverwrite(CpuClobber.CLOBBER_ALL);
}
if(!supported) {
throw new InternalError("Call Pointer not supported " + statement);
}
} else {
throw new InternalError("Statement not supported " + statement);
}
}

10
src/main/java/dk/camelot64/kickc/passes/Pass4InterruptClobberFix.java
View File

@ -81,10 +81,12 @@ public class Pass4InterruptClobberFix extends Pass2Base {
List<CallGraph.CallBlock.Call> calls = callBlock.getCalls();
for(CallGraph.CallBlock.Call call : calls) {
ScopeRef calledProcLabel = call.getProcedure();
ProcedureRef calledProcRef = new ProcedureRef(calledProcLabel.getFullName());
Procedure calledProc = getProgram().getScope().getProcedure(calledProcRef);
CpuClobber calledClobber = getProcedureClobber(calledProc);
procClobber = new CpuClobber(procClobber, calledClobber);
if(calledProcLabel!=null) {
ProcedureRef calledProcRef = new ProcedureRef(calledProcLabel.getFullName());
Procedure calledProc = getProgram().getScope().getProcedure(calledProcRef);
CpuClobber calledClobber = getProcedureClobber(calledProc);
procClobber = new CpuClobber(procClobber, calledClobber);
}
}
return procClobber;

3
src/main/java/dk/camelot64/kickc/passes/calcs/PassNCalcBlockSuccessorClosure.java
View File

@ -54,7 +54,8 @@ public class PassNCalcBlockSuccessorClosure extends PassNCalcBase<ControlFlowBlo
for(Statement statement : block.getStatements()) {
if(statement instanceof StatementCallExecute) {
final ProcedureRef calledProcRef = ((StatementCallExecute) statement).getProcedure();
findSuccessorClosure(calledProcRef.getLabelRef(), successorClosure, visited);
if(calledProcRef != null)
findSuccessorClosure(calledProcRef.getLabelRef(), successorClosure, visited);
}
}
}

34
src/main/java/dk/camelot64/kickc/passes/calcs/PassNCalcLiveRangeVariables.java
View File

@ -122,15 +122,17 @@ public class PassNCalcLiveRangeVariables extends PassNCalcBase<LiveRangeVariable
// Add all vars from next statement that the method does not use
StatementCalling call = (StatementCalling) nextStmt;
ProcedureRef procedure = call.getProcedure();
Collection<VariableRef> procReferenced = procedureReferencedVars.get(procedure);
// The call statement has no used or defined by itself so only work with the alive vars
for(VariableRef aliveVar : aliveNextStmt) {
// Add all variables to previous that are not used inside the method
if(!procReferenced.contains(aliveVar) && !definedNextStmt.contains(aliveVar)) {
boolean added = liveRanges.addAlive(aliveVar, previousStmt.getStatementIdx());
modified |= added;
if(added && getLog().isVerboseLiveRanges()) {
getLog().append("Propagated alive var unused in method by skipping call " + aliveVar + " to " + previousStmt.getStatement());
if(procedure!=null) {
Collection<VariableRef> procReferenced = procedureReferencedVars.get(procedure);
// The call statement has no used or defined by itself so only work with the alive vars
for(VariableRef aliveVar : aliveNextStmt) {
// Add all variables to previous that are not used inside the method
if(!procReferenced.contains(aliveVar) && !definedNextStmt.contains(aliveVar)) {
boolean added = liveRanges.addAlive(aliveVar, previousStmt.getStatementIdx());
modified |= added;
if(added && getLog().isVerboseLiveRanges()) {
getLog().append("Propagated alive var unused in method by skipping call " + aliveVar + " to " + previousStmt.getStatement());
}
}
}
}
@ -256,12 +258,14 @@ public class PassNCalcLiveRangeVariables extends PassNCalcBase<LiveRangeVariable
// Add the last statement of the called method
StatementCalling call = (StatementCalling) statement;
ProcedureRef procedure = call.getProcedure();
LabelRef procedureReturnBlock = procedure.getReturnBlock();
ControlFlowBlock returnBlock = getProgram().getGraph().getBlock(procedureReturnBlock);
if(returnBlock != null) {
Collection<Statement> lastStatements = getLastInBlock(returnBlock, getGraph());
for(Statement lastStatement : lastStatements) {
previousStatements.add(new PreviousStatement(lastStatement, PreviousStatement.Type.LAST_IN_METHOD));
if(procedure!=null) {
LabelRef procedureReturnBlock = procedure.getReturnBlock();
ControlFlowBlock returnBlock = getProgram().getGraph().getBlock(procedureReturnBlock);
if(returnBlock != null) {
Collection<Statement> lastStatements = getLastInBlock(returnBlock, getGraph());
for(Statement lastStatement : lastStatements) {
previousStatements.add(new PreviousStatement(lastStatement, PreviousStatement.Type.LAST_IN_METHOD));
}
}
}
} else if(precedingStatements.size() > 0) {

4
src/main/java/dk/camelot64/kickc/passes/unwinding/ValueSourceParamValue.java
View File

@ -23,6 +23,10 @@ public class ValueSourceParamValue extends ValueSourceBase {
this.valueSource = valueSource;
}
public ValueSource getValueSource() {
return valueSource;
}
@Override
public SymbolType getSymbolType() {
return valueSource.getSymbolType();

15
src/test/java/dk/camelot64/kickc/test/TestProgramsFast.java
View File

@ -3176,10 +3176,10 @@ public class TestProgramsFast extends TestPrograms {
compileAndCompare("function-pointer-param-workaround.c");
}
//@Test
//public void testFunctionPointerParam0() throws IOException {
// compileAndCompare("function-pointer-param-0.c", log().verboseParse().verboseCreateSsa());
//}
@Test
public void testFunctionPointerParam0() throws IOException {
compileAndCompare("function-pointer-param-0.c");
}
@Test
public void testFunctionPointerNoargCall14() throws IOException {
@ -3252,7 +3252,12 @@ public class TestProgramsFast extends TestPrograms {
}
@Test
public void testFunctionPointerReturn() throws IOException {
public void testFunctionPointerReturn1() throws IOException {
compileAndCompare("function-pointer-return-1.c");
}
@Test
public void testFunctionPointerReturn0() throws IOException {
compileAndCompare("function-pointer-return.c");
}

31
src/test/kc/function-pointer-return-1.c Normal file
View File

@ -0,0 +1,31 @@
// Tests calling functions pointer with no parameter and a return value
void main() {
char* const SCREEN = (char*)0x400;
char(*f)();
char i = 0;
for(;;) {
++i;
if((i&1)==0) {
f = &fn1;
} else {
f = &fn2;
}
char v = (*f)();
SCREEN[0] = v;
}
}
char fn1() {
char* const BORDER_COLOR = (char*)0xd020;
(*BORDER_COLOR)++;
return *BORDER_COLOR;
}
char fn2() {
char* const BG_COLOR = (char*)0xd021;
(*BG_COLOR)++;
return *BG_COLOR;
}

1
src/test/kc/procedure-callingconvention-stack-10.c
View File

@ -2,6 +2,7 @@
// Returning and passing struct values
#pragma calling(__stackcall)
#pragma struct_model(classic)
char* const SCREEN = (char*)0x0400;
char idx = 0;

1
src/test/kc/procedure-callingconvention-stack-11.c
View File

@ -2,6 +2,7 @@
// Returning and passing struct of struct values
#pragma calling(__stackcall)
#pragma struct_model(classic)
char* const SCREEN = (char*)0x0400;
char idx = 0;

11
src/test/ref/examples/c64/music/music.cfg
View File

@ -1,13 +1,14 @@
void main()
main: scope:[main] from
[0] call *musicInit
[0] phi()
[1] callexecute *musicInit
to:main::@1
main::@1: scope:[main] from main main::@1 main::@2
[1] if(*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)!=$fd) goto main::@1
[2] if(*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)!=$fd) goto main::@1
to:main::@2
main::@2: scope:[main] from main::@1
[2] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
[3] call *musicPlay
[4] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
[3] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
[4] callexecute *musicPlay
[5] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
to:main::@1

46
src/test/ref/examples/c64/music/music.log
View File

@ -1,11 +1,13 @@
Inlined call vicSelectGfxBank::$0 = call toDd00 vicSelectGfxBank::gfx
Inlined call call __init
Calling convention STACK_CALL adding prepare/execute/finalize for call *musicInit
Calling convention STACK_CALL adding prepare/execute/finalize for call *musicPlay
CONTROL FLOW GRAPH SSA
void main()
main: scope:[main] from __start::@1
call *musicInit
callexecute *musicInit
to:main::@1
main::@1: scope:[main] from main main::@1 main::@2
main::$1 = *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER) != $fd
@ -13,7 +15,7 @@ main::@1: scope:[main] from main main::@1 main::@2
to:main::@2
main::@2: scope:[main] from main::@1
*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
call *musicPlay
callexecute *musicPlay
*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
if(true) goto main::@1
to:main::@return
@ -73,24 +75,28 @@ Removing unused procedure block __start::@return
Successful SSA optimization PassNEliminateEmptyStart
Finalized unsigned number type (word) $1000
Successful SSA optimization PassNFinalizeNumberTypeConversions
Adding NOP phi() at start of main
CALL GRAPH
Calls in [main] to null:1 null:4
Created 0 initial phi equivalence classes
Coalesced down to 0 phi equivalence classes
Adding NOP phi() at start of main
FINAL CONTROL FLOW GRAPH
void main()
main: scope:[main] from
[0] call *musicInit
[0] phi()
[1] callexecute *musicInit
to:main::@1
main::@1: scope:[main] from main main::@1 main::@2
[1] if(*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)!=$fd) goto main::@1
[2] if(*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)!=$fd) goto main::@1
to:main::@2
main::@2: scope:[main] from main::@1
[2] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
[3] call *musicPlay
[4] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
[3] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
[4] callexecute *musicPlay
[5] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
to:main::@1
@ -100,9 +106,9 @@ void main()
Initial phi equivalence classes
Complete equivalence classes
REGISTER UPLIFT POTENTIAL REGISTERS
Statement [0] call *musicInit [ ] ( [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [1] if(*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)!=$fd) goto main::@1 [ ] ( [ ] { } ) always clobbers reg byte a
Statement [3] call *musicPlay [ ] ( [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [1] callexecute *musicInit [ ] ( [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [2] if(*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)!=$fd) goto main::@1 [ ] ( [ ] { } ) always clobbers reg byte a
Statement [4] callexecute *musicPlay [ ] ( [ ] { } ) always clobbers reg byte a reg byte x reg byte y
REGISTER UPLIFT SCOPES
Uplift Scope [MOS6526_CIA]
@ -148,26 +154,26 @@ ASSEMBLER BEFORE OPTIMIZATION
// main
// Play the music
main: {
// [0] call *musicInit
// [1] callexecute *musicInit
// Initialize the music
jsr musicInit
jmp __b1
// Wait for the RASTER
// main::@1
__b1:
// [1] if(*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)!=$fd) goto main::@1 -- _deref_pbuc1_neq_vbuc2_then_la1
// [2] if(*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)!=$fd) goto main::@1 -- _deref_pbuc1_neq_vbuc2_then_la1
lda #$fd
cmp VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER
bne __b1
jmp __b2
// main::@2
__b2:
// [2] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) -- _deref_pbuc1=_inc__deref_pbuc1
// [3] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) -- _deref_pbuc1=_inc__deref_pbuc1
inc VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR
// [3] call *musicPlay
// [4] callexecute *musicPlay
// Play the music
jsr musicPlay
// [4] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) -- _deref_pbuc1=_dec__deref_pbuc1
// [5] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) -- _deref_pbuc1=_dec__deref_pbuc1
dec VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR
jmp __b1
}
@ -234,27 +240,27 @@ Score: 1066
// Play the music
main: {
// (*musicInit)()
// [0] call *musicInit
// [1] callexecute *musicInit
// Initialize the music
jsr musicInit
// Wait for the RASTER
// main::@1
__b1:
// while (VICII->RASTER != $fd)
// [1] if(*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)!=$fd) goto main::@1 -- _deref_pbuc1_neq_vbuc2_then_la1
// [2] if(*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)!=$fd) goto main::@1 -- _deref_pbuc1_neq_vbuc2_then_la1
lda #$fd
cmp VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER
bne __b1
// main::@2
// (VICII->BORDER_COLOR)++;
// [2] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) -- _deref_pbuc1=_inc__deref_pbuc1
// [3] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) -- _deref_pbuc1=_inc__deref_pbuc1
inc VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR
// (*musicPlay)()
// [3] call *musicPlay
// [4] callexecute *musicPlay
// Play the music
jsr musicPlay
// (VICII->BORDER_COLOR)--;
// [4] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) -- _deref_pbuc1=_dec__deref_pbuc1
// [5] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) -- _deref_pbuc1=_dec__deref_pbuc1
dec VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR
jmp __b1
}

4
src/test/ref/examples/c64/music/music_irq.cfg
View File

@ -2,7 +2,7 @@
__interrupt(rom_sys_c64) void irq_play()
irq_play: scope:[irq_play] from
[0] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
[1] call *musicPlay
[1] callexecute *musicPlay
[2] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_IRQ_STATUS) = IRQ_RASTER
[3] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
to:irq_play::@return
@ -13,7 +13,7 @@ irq_play::@return: scope:[irq_play] from irq_play
void main()
main: scope:[main] from
asm { sei }
[6] call *musicInit
[6] callexecute *musicInit
[7] *((byte*)CIA1+OFFSET_STRUCT_MOS6526_CIA_INTERRUPT) = CIA_INTERRUPT_CLEAR
[8] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) = *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) & $7f
[9] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER) = $fd

24
src/test/ref/examples/c64/music/music_irq.log
View File

@ -1,13 +1,15 @@
Resolved forward reference irq_play to __interrupt(rom_sys_c64) void irq_play()
Inlined call vicSelectGfxBank::$0 = call toDd00 vicSelectGfxBank::gfx
Inlined call call __init
Calling convention STACK_CALL adding prepare/execute/finalize for call *musicInit
Calling convention STACK_CALL adding prepare/execute/finalize for call *musicPlay
CONTROL FLOW GRAPH SSA
void main()
main: scope:[main] from __start::@1
asm { sei }
call *musicInit
callexecute *musicInit
*((byte*)CIA1+OFFSET_STRUCT_MOS6526_CIA_INTERRUPT) = CIA_INTERRUPT_CLEAR
*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) = *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) & $7f
*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER) = $fd
@ -22,7 +24,7 @@ main::@return: scope:[main] from main
__interrupt(rom_sys_c64) void irq_play()
irq_play: scope:[irq_play] from
*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
call *musicPlay
callexecute *musicPlay
*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_IRQ_STATUS) = IRQ_RASTER
*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
to:irq_play::@return
@ -92,6 +94,8 @@ Successful SSA optimization PassNEliminateEmptyStart
Finalized unsigned number type (word) $1000
Successful SSA optimization PassNFinalizeNumberTypeConversions
CALL GRAPH
Calls in [irq_play] to null:1
Calls in [main] to null:6
Created 0 initial phi equivalence classes
Coalesced down to 0 phi equivalence classes
@ -101,7 +105,7 @@ FINAL CONTROL FLOW GRAPH
__interrupt(rom_sys_c64) void irq_play()
irq_play: scope:[irq_play] from
[0] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
[1] call *musicPlay
[1] callexecute *musicPlay
[2] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_IRQ_STATUS) = IRQ_RASTER
[3] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
to:irq_play::@return
@ -112,7 +116,7 @@ irq_play::@return: scope:[irq_play] from irq_play
void main()
main: scope:[main] from
asm { sei }
[6] call *musicInit
[6] callexecute *musicInit
[7] *((byte*)CIA1+OFFSET_STRUCT_MOS6526_CIA_INTERRUPT) = CIA_INTERRUPT_CLEAR
[8] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) = *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) & $7f
[9] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER) = $fd
@ -132,9 +136,9 @@ void main()
Initial phi equivalence classes
Complete equivalence classes
REGISTER UPLIFT POTENTIAL REGISTERS
Statement [1] call *musicPlay [ ] ( [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [1] callexecute *musicPlay [ ] ( [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [2] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_IRQ_STATUS) = IRQ_RASTER [ ] ( [ ] { } ) always clobbers reg byte a
Statement [6] call *musicInit [ ] ( [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [6] callexecute *musicInit [ ] ( [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [7] *((byte*)CIA1+OFFSET_STRUCT_MOS6526_CIA_INTERRUPT) = CIA_INTERRUPT_CLEAR [ ] ( [ ] { } ) always clobbers reg byte a
Statement [8] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) = *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) & $7f [ ] ( [ ] { } ) always clobbers reg byte a
Statement [9] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER) = $fd [ ] ( [ ] { } ) always clobbers reg byte a
@ -208,7 +212,7 @@ irq_play: {
// interrupt(isr_rom_sys_c64_entry) -- isr_rom_sys_c64_entry
// [0] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) -- _deref_pbuc1=_inc__deref_pbuc1
inc VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR
// [1] call *musicPlay
// [1] callexecute *musicPlay
// Play SID
jsr musicPlay
// [2] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_IRQ_STATUS) = IRQ_RASTER -- _deref_pbuc1=vbuc2
@ -229,7 +233,7 @@ irq_play: {
main: {
// asm { sei }
sei
// [6] call *musicInit
// [6] callexecute *musicInit
jsr musicInit
// [7] *((byte*)CIA1+OFFSET_STRUCT_MOS6526_CIA_INTERRUPT) = CIA_INTERRUPT_CLEAR -- _deref_pbuc1=vbuc2
// Disable CIA 1 Timer IRQ
@ -356,7 +360,7 @@ irq_play: {
// [0] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = ++ *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) -- _deref_pbuc1=_inc__deref_pbuc1
inc VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR
// (*musicPlay)()
// [1] call *musicPlay
// [1] callexecute *musicPlay
// Play SID
jsr musicPlay
// VICII->IRQ_STATUS = IRQ_RASTER
@ -380,7 +384,7 @@ main: {
// asm { sei }
sei
// (*musicInit)()
// [6] call *musicInit
// [6] callexecute *musicInit
jsr musicInit
// CIA1->INTERRUPT = CIA_INTERRUPT_CLEAR
// [7] *((byte*)CIA1+OFFSET_STRUCT_MOS6526_CIA_INTERRUPT) = CIA_INTERRUPT_CLEAR -- _deref_pbuc1=vbuc2

123
src/test/ref/examples/mega65/banked-music.cfg
View File

@ -6,113 +6,114 @@ irq: scope:[irq] from
[2] call memoryRemapBlock
to:irq::@3
irq::@3: scope:[irq] from irq
[3] call *musicPlay
[4] call memoryRemap
[3] phi()
[4] callexecute *musicPlay
[5] call memoryRemap
to:irq::@4
irq::@4: scope:[irq] from irq::@3
[5] irq::raster#0 = *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)
[6] irq::raster#0 = *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)
to:irq::@1
irq::@1: scope:[irq] from irq::@1 irq::@4
[6] if(*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)==irq::raster#0) goto irq::@1
[7] if(*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)==irq::raster#0) goto irq::@1
to:irq::@2
irq::@2: scope:[irq] from irq::@1
[7] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
[8] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR) = -- *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_BORDER_COLOR)
to:irq::@return
irq::@return: scope:[irq] from irq::@2
[8] return
[9] return
to:@return
void main()
main: scope:[main] from
asm { sei }
[10] call memoryRemap
[11] call memoryRemap
to:main::@4
main::@4: scope:[main] from main
[11] *((byte*)VICIII+OFFSET_STRUCT_MOS4569_VICIII_KEY) = $47
[12] *((byte*)VICIII+OFFSET_STRUCT_MOS4569_VICIII_KEY) = $53
[13] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLB) = *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLB) | $40
[14] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLC) = *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLC) | $40
[15] *PROCPORT_DDR = PROCPORT_DDR_MEMORY_MASK
[16] *PROCPORT = PROCPORT_RAM_IO
[17] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_SIDBDRWD_LO) = 1
[18] call memcpy_dma4
[12] *((byte*)VICIII+OFFSET_STRUCT_MOS4569_VICIII_KEY) = $47
[13] *((byte*)VICIII+OFFSET_STRUCT_MOS4569_VICIII_KEY) = $53
[14] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLB) = *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLB) | $40
[15] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLC) = *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLC) | $40
[16] *PROCPORT_DDR = PROCPORT_DDR_MEMORY_MASK
[17] *PROCPORT = PROCPORT_RAM_IO
[18] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_SIDBDRWD_LO) = 1
[19] call memcpy_dma4
to:main::@5
main::@5: scope:[main] from main::@4
[19] phi()
[20] call memoryRemapBlock
[20] phi()
[21] call memoryRemapBlock
to:main::@6
main::@6: scope:[main] from main::@5
asm { lda#0 }
[22] call *musicInit
[23] call memoryRemap
[23] callexecute *musicInit
[24] call memoryRemap
to:main::@7
main::@7: scope:[main] from main::@6
[24] *((byte*)CIA1+OFFSET_STRUCT_MOS6526_CIA_INTERRUPT) = CIA_INTERRUPT_CLEAR
[25] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER) = $ff
[26] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) = *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) & $7f
[27] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_IRQ_ENABLE) = IRQ_RASTER
[28] *HARDWARE_IRQ = &irq
[25] *((byte*)CIA1+OFFSET_STRUCT_MOS6526_CIA_INTERRUPT) = CIA_INTERRUPT_CLEAR
[26] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER) = $ff
[27] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) = *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) & $7f
[28] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_IRQ_ENABLE) = IRQ_RASTER
[29] *HARDWARE_IRQ = &irq
asm { cli }
to:main::@1
main::@1: scope:[main] from main::@2 main::@7
[30] main::mem_destroy_i#2 = phi( main::@2/main::mem_destroy_i#1, main::@7/0 )
[31] MUSIC[main::mem_destroy_i#2] = ++ MUSIC[main::mem_destroy_i#2]
[32] main::mem_destroy_i#1 = ++ main::mem_destroy_i#2
[31] main::mem_destroy_i#2 = phi( main::@2/main::mem_destroy_i#1, main::@7/0 )
[32] MUSIC[main::mem_destroy_i#2] = ++ MUSIC[main::mem_destroy_i#2]
[33] main::mem_destroy_i#1 = ++ main::mem_destroy_i#2
to:main::@2
main::@2: scope:[main] from main::@1 main::@3
[33] main::i#2 = phi( main::@1/0, main::@3/main::i#1 )
[34] if(main::i#2<$f0) goto main::@3
[34] main::i#2 = phi( main::@1/0, main::@3/main::i#1 )
[35] if(main::i#2<$f0) goto main::@3
to:main::@1
main::@3: scope:[main] from main::@2
[35] DEFAULT_SCREEN[main::i#2] = MUSIC[main::i#2]
[36] main::i#1 = ++ main::i#2
[36] DEFAULT_SCREEN[main::i#2] = MUSIC[main::i#2]
[37] main::i#1 = ++ main::i#2
to:main::@2
void memoryRemapBlock(byte memoryRemapBlock::blockPage , word memoryRemapBlock::memoryPage)
memoryRemapBlock: scope:[memoryRemapBlock] from irq main::@5
[37] phi()
[38] call memoryRemap
[38] phi()
[39] call memoryRemap
to:memoryRemapBlock::@return
memoryRemapBlock::@return: scope:[memoryRemapBlock] from memoryRemapBlock
[39] return
[40] return
to:@return
void memoryRemap(byte memoryRemap::remapBlocks , word memoryRemap::lowerPageOffset , word memoryRemap::upperPageOffset)
memoryRemap: scope:[memoryRemap] from irq::@3 main main::@6 memoryRemapBlock
[40] memoryRemap::upperPageOffset#4 = phi( irq::@3/0, main/0, main::@6/0, memoryRemapBlock/memoryRemapBlock::pageOffset#0 )
[40] memoryRemap::remapBlocks#4 = phi( irq::@3/0, main/0, main::@6/0, memoryRemapBlock/memoryRemapBlock::blockBits#0 )
[40] memoryRemap::lowerPageOffset#4 = phi( irq::@3/0, main/0, main::@6/0, memoryRemapBlock/memoryRemapBlock::pageOffset#0 )
[41] memoryRemap::aVal = byte0 memoryRemap::lowerPageOffset#4
[42] memoryRemap::$1 = memoryRemap::remapBlocks#4 << 4
[43] memoryRemap::$2 = byte1 memoryRemap::lowerPageOffset#4
[44] memoryRemap::$3 = memoryRemap::$2 & $f
[45] memoryRemap::xVal = memoryRemap::$1 | memoryRemap::$3
[46] memoryRemap::yVal = byte0 memoryRemap::upperPageOffset#4
[47] memoryRemap::$6 = memoryRemap::remapBlocks#4 & $f0
[48] memoryRemap::$7 = byte1 memoryRemap::upperPageOffset#4
[49] memoryRemap::$8 = memoryRemap::$7 & $f
[50] memoryRemap::zVal = memoryRemap::$6 | memoryRemap::$8
[41] memoryRemap::upperPageOffset#4 = phi( irq::@3/0, main/0, main::@6/0, memoryRemapBlock/memoryRemapBlock::pageOffset#0 )
[41] memoryRemap::remapBlocks#4 = phi( irq::@3/0, main/0, main::@6/0, memoryRemapBlock/memoryRemapBlock::blockBits#0 )
[41] memoryRemap::lowerPageOffset#4 = phi( irq::@3/0, main/0, main::@6/0, memoryRemapBlock/memoryRemapBlock::pageOffset#0 )
[42] memoryRemap::aVal = byte0 memoryRemap::lowerPageOffset#4
[43] memoryRemap::$1 = memoryRemap::remapBlocks#4 << 4
[44] memoryRemap::$2 = byte1 memoryRemap::lowerPageOffset#4
[45] memoryRemap::$3 = memoryRemap::$2 & $f
[46] memoryRemap::xVal = memoryRemap::$1 | memoryRemap::$3
[47] memoryRemap::yVal = byte0 memoryRemap::upperPageOffset#4
[48] memoryRemap::$6 = memoryRemap::remapBlocks#4 & $f0
[49] memoryRemap::$7 = byte1 memoryRemap::upperPageOffset#4
[50] memoryRemap::$8 = memoryRemap::$7 & $f
[51] memoryRemap::zVal = memoryRemap::$6 | memoryRemap::$8
asm { ldaaVal ldxxVal ldyyVal ldzzVal map eom }
to:memoryRemap::@return
memoryRemap::@return: scope:[memoryRemap] from memoryRemap
[52] return
[53] return
to:@return
void memcpy_dma4(byte memcpy_dma4::dest_bank , void* memcpy_dma4::dest , byte memcpy_dma4::src_bank , void* memcpy_dma4::src , word memcpy_dma4::num)
memcpy_dma4: scope:[memcpy_dma4] from main::@4
[53] memcpy_dma4::dmaMode#0 = *((byte*)DMA+OFFSET_STRUCT_F018_DMAGIC_EN018B)
[54] *((word*)&memcpy_dma_command4+OFFSET_STRUCT_DMA_LIST_F018B_COUNT) = memcpy_dma4::num#0
[55] *((byte*)&memcpy_dma_command4+OFFSET_STRUCT_DMA_LIST_F018B_SRC_BANK) = memcpy_dma4::src_bank#0
[56] *((byte**)&memcpy_dma_command4+OFFSET_STRUCT_DMA_LIST_F018B_SRC) = (byte*)memcpy_dma4::src#0
[57] *((byte*)&memcpy_dma_command4+OFFSET_STRUCT_DMA_LIST_F018B_DEST_BANK) = memcpy_dma4::dest_bank#0
[58] *((byte**)&memcpy_dma_command4+OFFSET_STRUCT_DMA_LIST_F018B_DEST) = (byte*)memcpy_dma4::dest#0
[59] *((byte*)DMA+OFFSET_STRUCT_F018_DMAGIC_EN018B) = 1
[60] *((byte*)DMA+OFFSET_STRUCT_F018_DMAGIC_ADDRMB) = 0
[61] *((byte*)DMA+OFFSET_STRUCT_F018_DMAGIC_ADDRBANK) = 0
[62] *((byte*)DMA+OFFSET_STRUCT_F018_DMAGIC_ADDRMSB) = byte1 &memcpy_dma_command4
[63] *((byte*)DMA) = byte0 &memcpy_dma_command4
[64] *((byte*)DMA+OFFSET_STRUCT_F018_DMAGIC_EN018B) = memcpy_dma4::dmaMode#0
[54] memcpy_dma4::dmaMode#0 = *((byte*)DMA+OFFSET_STRUCT_F018_DMAGIC_EN018B)
[55] *((word*)&memcpy_dma_command4+OFFSET_STRUCT_DMA_LIST_F018B_COUNT) = memcpy_dma4::num#0
[56] *((byte*)&memcpy_dma_command4+OFFSET_STRUCT_DMA_LIST_F018B_SRC_BANK) = memcpy_dma4::src_bank#0
[57] *((byte**)&memcpy_dma_command4+OFFSET_STRUCT_DMA_LIST_F018B_SRC) = (byte*)memcpy_dma4::src#0
[58] *((byte*)&memcpy_dma_command4+OFFSET_STRUCT_DMA_LIST_F018B_DEST_BANK) = memcpy_dma4::dest_bank#0
[59] *((byte**)&memcpy_dma_command4+OFFSET_STRUCT_DMA_LIST_F018B_DEST) = (byte*)memcpy_dma4::dest#0
[60] *((byte*)DMA+OFFSET_STRUCT_F018_DMAGIC_EN018B) = 1
[61] *((byte*)DMA+OFFSET_STRUCT_F018_DMAGIC_ADDRMB) = 0
[62] *((byte*)DMA+OFFSET_STRUCT_F018_DMAGIC_ADDRBANK) = 0
[63] *((byte*)DMA+OFFSET_STRUCT_F018_DMAGIC_ADDRMSB) = byte1 &memcpy_dma_command4
[64] *((byte*)DMA) = byte0 &memcpy_dma_command4
[65] *((byte*)DMA+OFFSET_STRUCT_F018_DMAGIC_EN018B) = memcpy_dma4::dmaMode#0
to:memcpy_dma4::@return
memcpy_dma4::@return: scope:[memcpy_dma4] from memcpy_dma4
[65] return
[66] return
to:@return

597
src/test/ref/examples/mega65/banked-music.log
View File

File diff suppressed because it is too large Load Diff

273
src/test/ref/examples/mega65/raster65.cfg
View File

@ -32,247 +32,248 @@ irq::@1: scope:[irq] from irq irq::@9
[15] if(irq::line#10!=RASTER_LINES) goto irq::@2
to:irq::@3
irq::@3: scope:[irq] from irq::@1
[16] call *songPlay
[17] irq::sin_col#0 = sin_idx
[16] phi()
[17] callexecute *songPlay
[18] irq::sin_col#0 = sin_idx
to:irq::@16
irq::@16: scope:[irq] from irq::@17 irq::@3
[18] irq::sin_col#2 = phi( irq::@17/irq::sin_col#1, irq::@3/irq::sin_col#0 )
[18] irq::i#2 = phi( irq::@17/irq::i#1, irq::@3/0 )
[19] if(irq::i#2<$28) goto irq::@17
[19] irq::sin_col#2 = phi( irq::@17/irq::sin_col#1, irq::@3/irq::sin_col#0 )
[19] irq::i#2 = phi( irq::@17/irq::i#1, irq::@3/0 )
[20] if(irq::i#2<$28) goto irq::@17
to:irq::@18
irq::@18: scope:[irq] from irq::@16 irq::@19
[20] irq::l#2 = phi( irq::@16/0, irq::@19/irq::l#1 )
[21] if(irq::l#2!=RASTER_LINES) goto irq::@19
[21] irq::l#2 = phi( irq::@16/0, irq::@19/irq::l#1 )
[22] if(irq::l#2!=RASTER_LINES) goto irq::@19
to:irq::@20
irq::@20: scope:[irq] from irq::@18
[22] irq::sin_bar#0 = sin_idx
[23] irq::sin_bar#0 = sin_idx
to:irq::@21
irq::@21: scope:[irq] from irq::@20 irq::@27
[23] irq::sin_bar#2 = phi( irq::@20/irq::sin_bar#0, irq::@27/irq::sin_bar#1 )
[23] irq::barcnt#2 = phi( irq::@20/0, irq::@27/irq::barcnt#1 )
[24] if(irq::barcnt#2<$10) goto irq::@22
[24] irq::sin_bar#2 = phi( irq::@20/irq::sin_bar#0, irq::@27/irq::sin_bar#1 )
[24] irq::barcnt#2 = phi( irq::@20/0, irq::@27/irq::barcnt#1 )
[25] if(irq::barcnt#2<$10) goto irq::@22
to:irq::@28
irq::@28: scope:[irq] from irq::@21 irq::@29
[25] irq::i3#2 = phi( irq::@21/0, irq::@29/irq::i3#1 )
[26] if(irq::i3#2<$13) goto irq::@29
[26] irq::i3#2 = phi( irq::@21/0, irq::@29/irq::i3#1 )
[27] if(irq::i3#2<$13) goto irq::@29
to:irq::@30
irq::@30: scope:[irq] from irq::@28
[27] irq::greet_offset#0 = greet_idx << 4
[28] irq::greet_offset#0 = greet_idx << 4
to:irq::@31
irq::@31: scope:[irq] from irq::@30 irq::@32
[28] irq::greet_offset#2 = phi( irq::@30/irq::greet_offset#0, irq::@32/irq::greet_offset#1 )
[28] irq::i4#2 = phi( irq::@30/0, irq::@32/irq::i4#1 )
[29] if(irq::i4#2<$10) goto irq::@32
[29] irq::greet_offset#2 = phi( irq::@30/irq::greet_offset#0, irq::@32/irq::greet_offset#1 )
[29] irq::i4#2 = phi( irq::@30/0, irq::@32/irq::i4#1 )
[30] if(irq::i4#2<$10) goto irq::@32
to:irq::@33
irq::@33: scope:[irq] from irq::@31
[30] scroll_soft = -- scroll_soft
[31] if(scroll_soft!=$ff) goto irq::@return
[31] scroll_soft = -- scroll_soft
[32] if(scroll_soft!=$ff) goto irq::@return
to:irq::@34
irq::@34: scope:[irq] from irq::@33
[32] scroll_soft = 7
[33] scroll_soft = 7
to:irq::@35
irq::@35: scope:[irq] from irq::@34 irq::@36
[33] irq::i5#2 = phi( irq::@34/0, irq::@36/irq::i5#1 )
[34] if(irq::i5#2<$27) goto irq::@36
[34] irq::i5#2 = phi( irq::@34/0, irq::@36/irq::i5#1 )
[35] if(irq::i5#2<$27) goto irq::@36
to:irq::@37
irq::@37: scope:[irq] from irq::@35
[35] irq::nxt#0 = *scroll_ptr
[36] scroll_ptr = ++ scroll_ptr
[37] if(irq::nxt#0!=0) goto irq::@39
[36] irq::nxt#0 = *scroll_ptr
[37] scroll_ptr = ++ scroll_ptr
[38] if(irq::nxt#0!=0) goto irq::@39
to:irq::@38
irq::@38: scope:[irq] from irq::@37
[38] scroll_ptr = SCROLL_TEXT
[39] irq::nxt#1 = *scroll_ptr
[39] scroll_ptr = SCROLL_TEXT
[40] irq::nxt#1 = *scroll_ptr
to:irq::@39
irq::@39: scope:[irq] from irq::@37 irq::@38
[40] irq::nxt#2 = phi( irq::@37/irq::nxt#0, irq::@38/irq::nxt#1 )
[41] irq::$33 = irq::nxt#2 & $bf
[42] *(DEFAULT_SCREEN+SCROLL_ROW*$28+$27) = irq::$33
[41] irq::nxt#2 = phi( irq::@37/irq::nxt#0, irq::@38/irq::nxt#1 )
[42] irq::$33 = irq::nxt#2 & $bf
[43] *(DEFAULT_SCREEN+SCROLL_ROW*$28+$27) = irq::$33
to:irq::@return
irq::@return: scope:[irq] from irq::@33 irq::@39
[43] return
[44] return
to:@return
irq::@36: scope:[irq] from irq::@35
[44] (DEFAULT_SCREEN+SCROLL_ROW*$28)[irq::i5#2] = (DEFAULT_SCREEN+SCROLL_ROW*$28+1)[irq::i5#2]
[45] irq::i5#1 = ++ irq::i5#2
[45] (DEFAULT_SCREEN+SCROLL_ROW*$28)[irq::i5#2] = (DEFAULT_SCREEN+SCROLL_ROW*$28+1)[irq::i5#2]
[46] irq::i5#1 = ++ irq::i5#2
to:irq::@35
irq::@32: scope:[irq] from irq::@31
[46] irq::$29 = GREETING[irq::greet_offset#2] & $bf
[47] (DEFAULT_SCREEN+GREET_ROW*$28+$d)[irq::i4#2] = irq::$29
[48] irq::greet_offset#1 = ++ irq::greet_offset#2
[49] irq::i4#1 = ++ irq::i4#2
[47] irq::$29 = GREETING[irq::greet_offset#2] & $bf
[48] (DEFAULT_SCREEN+GREET_ROW*$28+$d)[irq::i4#2] = irq::$29
[49] irq::greet_offset#1 = ++ irq::greet_offset#2
[50] irq::i4#1 = ++ irq::i4#2
to:irq::@31
irq::@29: scope:[irq] from irq::@28
[50] irq::$26 = (rasters+SCROLL_Y)[irq::i3#2] >> 1
[51] irq::$27 = irq::$26 & 7
[52] (rasters+SCROLL_Y)[irq::i3#2] = irq::$27
[53] irq::i3#1 = ++ irq::i3#2
[51] irq::$26 = (rasters+SCROLL_Y)[irq::i3#2] >> 1
[52] irq::$27 = irq::$26 & 7
[53] (rasters+SCROLL_Y)[irq::i3#2] = irq::$27
[54] irq::i3#1 = ++ irq::i3#2
to:irq::@28
irq::@22: scope:[irq] from irq::@21
[54] irq::idx#0 = SINE[irq::sin_bar#2]
[55] irq::barcol#0 = irq::barcnt#2 << 4
[55] irq::idx#0 = SINE[irq::sin_bar#2]
[56] irq::barcol#0 = irq::barcnt#2 << 4
to:irq::@23
irq::@23: scope:[irq] from irq::@22 irq::@24
[56] irq::idx#3 = phi( irq::@22/irq::idx#0, irq::@24/irq::idx#1 )
[56] irq::barcol#3 = phi( irq::@22/irq::barcol#0, irq::@24/irq::barcol#1 )
[56] irq::i1#2 = phi( irq::@22/0, irq::@24/irq::i1#1 )
[57] if(irq::i1#2<$10) goto irq::@24
[57] irq::idx#3 = phi( irq::@22/irq::idx#0, irq::@24/irq::idx#1 )
[57] irq::barcol#3 = phi( irq::@22/irq::barcol#0, irq::@24/irq::barcol#1 )
[57] irq::i1#2 = phi( irq::@22/0, irq::@24/irq::i1#1 )
[58] if(irq::i1#2<$10) goto irq::@24
to:irq::@25
irq::@25: scope:[irq] from irq::@23 irq::@26
[58] irq::idx#4 = phi( irq::@23/irq::idx#3, irq::@26/irq::idx#2 )
[58] irq::barcol#4 = phi( irq::@23/irq::barcol#3, irq::@26/irq::barcol#2 )
[58] irq::i2#2 = phi( irq::@23/0, irq::@26/irq::i2#1 )
[59] if(irq::i2#2<$f) goto irq::@26
[59] irq::idx#4 = phi( irq::@23/irq::idx#3, irq::@26/irq::idx#2 )
[59] irq::barcol#4 = phi( irq::@23/irq::barcol#3, irq::@26/irq::barcol#2 )
[59] irq::i2#2 = phi( irq::@23/0, irq::@26/irq::i2#1 )
[60] if(irq::i2#2<$f) goto irq::@26
to:irq::@27
irq::@27: scope:[irq] from irq::@25
[60] irq::sin_bar#1 = irq::sin_bar#2 + $a
[61] irq::barcnt#1 = ++ irq::barcnt#2
[61] irq::sin_bar#1 = irq::sin_bar#2 + $a
[62] irq::barcnt#1 = ++ irq::barcnt#2
to:irq::@21
irq::@26: scope:[irq] from irq::@25
[62] irq::barcol#2 = -- irq::barcol#4
[63] rasters[irq::idx#4] = irq::barcol#2
[64] irq::idx#2 = ++ irq::idx#4
[65] irq::i2#1 = ++ irq::i2#2
[63] irq::barcol#2 = -- irq::barcol#4
[64] rasters[irq::idx#4] = irq::barcol#2
[65] irq::idx#2 = ++ irq::idx#4
[66] irq::i2#1 = ++ irq::i2#2
to:irq::@25
irq::@24: scope:[irq] from irq::@23
[66] rasters[irq::idx#3] = irq::barcol#3
[67] irq::idx#1 = ++ irq::idx#3
[68] irq::barcol#1 = ++ irq::barcol#3
[69] irq::i1#1 = ++ irq::i1#2
[67] rasters[irq::idx#3] = irq::barcol#3
[68] irq::idx#1 = ++ irq::idx#3
[69] irq::barcol#1 = ++ irq::barcol#3
[70] irq::i1#1 = ++ irq::i1#2
to:irq::@23
irq::@19: scope:[irq] from irq::@18
[70] rasters[irq::l#2] = 0
[71] irq::l#1 = ++ irq::l#2
[71] rasters[irq::l#2] = 0
[72] irq::l#1 = ++ irq::l#2
to:irq::@18
irq::@17: scope:[irq] from irq::@16
[72] irq::col1#0 = SINE[irq::sin_col#2] >> 2
[73] (COLORRAM+GREET_ROW*$28)[irq::i#2] = irq::col1#0
[74] irq::col1#1 = irq::col1#0 >> 1
[75] (COLORRAM+LOGO_ROW*$28-1)[irq::i#2] = irq::col1#1
[76] (COLORRAM+LOGO_ROW*$28+1*$28-2)[irq::i#2] = irq::col1#1
[77] (COLORRAM+LOGO_ROW*$28+2*$28-3)[irq::i#2] = irq::col1#1
[78] (COLORRAM+LOGO_ROW*$28+3*$28-4)[irq::i#2] = irq::col1#1
[79] (COLORRAM+LOGO_ROW*$28+4*$28-5)[irq::i#2] = irq::col1#1
[80] (COLORRAM+LOGO_ROW*$28+5*$28-6)[irq::i#2] = irq::col1#1
[81] (COLORRAM+SCROLL_ROW*$28)[irq::i#2] = PAL_GREEN[irq::sin_col#2]
[82] irq::sin_col#1 = ++ irq::sin_col#2
[83] irq::i#1 = ++ irq::i#2
[73] irq::col1#0 = SINE[irq::sin_col#2] >> 2
[74] (COLORRAM+GREET_ROW*$28)[irq::i#2] = irq::col1#0
[75] irq::col1#1 = irq::col1#0 >> 1
[76] (COLORRAM+LOGO_ROW*$28-1)[irq::i#2] = irq::col1#1
[77] (COLORRAM+LOGO_ROW*$28+1*$28-2)[irq::i#2] = irq::col1#1
[78] (COLORRAM+LOGO_ROW*$28+2*$28-3)[irq::i#2] = irq::col1#1
[79] (COLORRAM+LOGO_ROW*$28+3*$28-4)[irq::i#2] = irq::col1#1
[80] (COLORRAM+LOGO_ROW*$28+4*$28-5)[irq::i#2] = irq::col1#1
[81] (COLORRAM+LOGO_ROW*$28+5*$28-6)[irq::i#2] = irq::col1#1
[82] (COLORRAM+SCROLL_ROW*$28)[irq::i#2] = PAL_GREEN[irq::sin_col#2]
[83] irq::sin_col#1 = ++ irq::sin_col#2
[84] irq::i#1 = ++ irq::i#2
to:irq::@16
irq::@2: scope:[irq] from irq::@1
[84] irq::col#0 = rasters[irq::line#10]
[85] *((byte*)VICIII+OFFSET_STRUCT_MOS4569_VICIII_BORDER_COLOR) = irq::col#0
[86] *((byte*)VICIII+OFFSET_STRUCT_MOS4569_VICIII_BG_COLOR) = irq::col#0
[87] if(irq::line#10<SCROLL_Y) goto irq::@4
[85] irq::col#0 = rasters[irq::line#10]
[86] *((byte*)VICIII+OFFSET_STRUCT_MOS4569_VICIII_BORDER_COLOR) = irq::col#0
[87] *((byte*)VICIII+OFFSET_STRUCT_MOS4569_VICIII_BG_COLOR) = irq::col#0
[88] if(irq::line#10<SCROLL_Y) goto irq::@4
to:irq::@10
irq::@10: scope:[irq] from irq::@2
[88] if(irq::line#10==SCROLL_Y) goto irq::@5
[89] if(irq::line#10==SCROLL_Y) goto irq::@5
to:irq::@11
irq::@11: scope:[irq] from irq::@10
[89] if(irq::line#10==SCROLL_Y+SCROLL_BLACKBARS) goto irq::@6
[90] if(irq::line#10==SCROLL_Y+SCROLL_BLACKBARS) goto irq::@6
to:irq::@12
irq::@12: scope:[irq] from irq::@11
[90] if(irq::line#10!=SCROLL_Y+SCROLL_BLACKBARS+1) goto irq::@7
[91] if(irq::line#10!=SCROLL_Y+SCROLL_BLACKBARS+1) goto irq::@7
to:irq::@13
irq::@13: scope:[irq] from irq::@12
[91] irq::zoomval#0 = SINE[greet_zoomx]
[92] greet_zoomx = ++ greet_zoomx
[93] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CHRXSCL) = irq::zoomval#0
[94] irq::$10 = irq::zoomval#0 + 1
[95] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_TEXTXPOS_LO) = irq::$10
[96] if(greet_zoomx!=0) goto irq::@7
[92] irq::zoomval#0 = SINE[greet_zoomx]
[93] greet_zoomx = ++ greet_zoomx
[94] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CHRXSCL) = irq::zoomval#0
[95] irq::$10 = irq::zoomval#0 + 1
[96] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_TEXTXPOS_LO) = irq::$10
[97] if(greet_zoomx!=0) goto irq::@7
to:irq::@14
irq::@14: scope:[irq] from irq::@13
[97] greet_idx = ++ greet_idx
[98] if(greet_idx!=GREET_COUNT) goto irq::@7
[98] greet_idx = ++ greet_idx
[99] if(greet_idx!=GREET_COUNT) goto irq::@7
to:irq::@15
irq::@15: scope:[irq] from irq::@14
[99] greet_idx = 0
[100] greet_idx = 0
to:irq::@7
irq::@7: scope:[irq] from irq::@12 irq::@13 irq::@14 irq::@15 irq::@4 irq::@5 irq::@6
[100] irq::wobble_idx#7 = phi( irq::@12/irq::wobble_idx#10, irq::@13/irq::wobble_idx#10, irq::@14/irq::wobble_idx#10, irq::@15/irq::wobble_idx#10, irq::@4/irq::wobble_idx#1, irq::@5/irq::wobble_idx#10, irq::@6/irq::wobble_idx#10 )
[101] irq::raster#0 = *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)
[101] irq::wobble_idx#7 = phi( irq::@12/irq::wobble_idx#10, irq::@13/irq::wobble_idx#10, irq::@14/irq::wobble_idx#10, irq::@15/irq::wobble_idx#10, irq::@4/irq::wobble_idx#1, irq::@5/irq::wobble_idx#10, irq::@6/irq::wobble_idx#10 )
[102] irq::raster#0 = *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)
to:irq::@8
irq::@8: scope:[irq] from irq::@7 irq::@8
[102] if(irq::raster#0==*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)) goto irq::@8
[103] if(irq::raster#0==*((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER)) goto irq::@8
to:irq::@9
irq::@9: scope:[irq] from irq::@8
[103] irq::line#1 = ++ irq::line#10
[104] irq::line#1 = ++ irq::line#10
to:irq::@1
irq::@6: scope:[irq] from irq::@11
[104] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_TEXTXPOS_LO) = $50
[105] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_TEXTXPOS_LO) = $50
to:irq::@7
irq::@5: scope:[irq] from irq::@10
[105] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_TEXTXPOS_LO) = $50
[106] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL2) = scroll_soft
[106] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_TEXTXPOS_LO) = $50
[107] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL2) = scroll_soft
to:irq::@7
irq::@4: scope:[irq] from irq::@2
[107] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_TEXTXPOS_LO) = SINE[irq::wobble_idx#10]
[108] irq::wobble_idx#1 = ++ irq::wobble_idx#10
[109] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CHRXSCL) = $66
[108] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_TEXTXPOS_LO) = SINE[irq::wobble_idx#10]
[109] irq::wobble_idx#1 = ++ irq::wobble_idx#10
[110] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CHRXSCL) = $66
to:irq::@7
void main()
main: scope:[main] from __start::@1
[110] *((byte*)VICIII+OFFSET_STRUCT_MOS4569_VICIII_KEY) = $47
[111] *((byte*)VICIII+OFFSET_STRUCT_MOS4569_VICIII_KEY) = $53
[112] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLB) = *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLB) | $40
[113] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLC) = *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLC) | $40
[111] *((byte*)VICIII+OFFSET_STRUCT_MOS4569_VICIII_KEY) = $47
[112] *((byte*)VICIII+OFFSET_STRUCT_MOS4569_VICIII_KEY) = $53
[113] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLB) = *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLB) | $40
[114] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLC) = *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_CONTROLC) | $40
asm { lda#0 }
[115] call *songInit
[116] call memset
[116] callexecute *songInit
[117] call memset
to:main::@1
main::@1: scope:[main] from main main::@2
[117] main::i1#2 = phi( main/0, main::@2/main::i1#1 )
[118] if(main::i1#2<$bc*SIZEOF_BYTE) goto main::@2
[118] main::i1#2 = phi( main/0, main::@2/main::i1#1 )
[119] if(main::i1#2<$bc*SIZEOF_BYTE) goto main::@2
to:main::@3
main::@3: scope:[main] from main::@1 main::@4
[119] main::i2#2 = phi( main::@1/0, main::@4/main::i2#1 )
[120] if(main::i2#2<$28) goto main::@4
[120] main::i2#2 = phi( main::@1/0, main::@4/main::i2#1 )
[121] if(main::i2#2<$28) goto main::@4
to:main::@5
main::@5: scope:[main] from main::@3 main::@5
[121] main::i#2 = phi( main::@3/0, main::@5/main::i#1 )
[122] PALETTE_RED[main::i#2] = PAL_RED[main::i#2]
[123] PALETTE_GREEN[main::i#2] = PAL_GREEN[main::i#2]
[124] PALETTE_BLUE[main::i#2] = PAL_BLUE[main::i#2]
[125] main::i#1 = ++ main::i#2
[126] if(main::i#1!=0) goto main::@5
[122] main::i#2 = phi( main::@3/0, main::@5/main::i#1 )
[123] PALETTE_RED[main::i#2] = PAL_RED[main::i#2]
[124] PALETTE_GREEN[main::i#2] = PAL_GREEN[main::i#2]
[125] PALETTE_BLUE[main::i#2] = PAL_BLUE[main::i#2]
[126] main::i#1 = ++ main::i#2
[127] if(main::i#1!=0) goto main::@5
to:main::@6
main::@6: scope:[main] from main::@5
asm { sei }
[128] *((byte*)CIA1+OFFSET_STRUCT_MOS6526_CIA_INTERRUPT) = CIA_INTERRUPT_CLEAR
[129] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER) = IRQ_Y
[130] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) = *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) & $7f
[131] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_IRQ_ENABLE) = IRQ_RASTER
[132] *HARDWARE_IRQ = &irq
[133] *PROCPORT_DDR = PROCPORT_DDR_MEMORY_MASK
[134] *PROCPORT = PROCPORT_RAM_IO
[135] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_SIDBDRWD_LO) = 1
[129] *((byte*)CIA1+OFFSET_STRUCT_MOS6526_CIA_INTERRUPT) = CIA_INTERRUPT_CLEAR
[130] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_RASTER) = IRQ_Y
[131] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) = *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_CONTROL1) & $7f
[132] *((byte*)VICII+OFFSET_STRUCT_MOS6569_VICII_IRQ_ENABLE) = IRQ_RASTER
[133] *HARDWARE_IRQ = &irq
[134] *PROCPORT_DDR = PROCPORT_DDR_MEMORY_MASK
[135] *PROCPORT = PROCPORT_RAM_IO
[136] *((byte*)VICIV+OFFSET_STRUCT_MEGA65_VICIV_SIDBDRWD_LO) = 1
asm { cli }
to:main::@7
main::@7: scope:[main] from main::@6 main::@7
[137] phi()
[138] phi()
to:main::@7
main::@4: scope:[main] from main::@3
[138] (DEFAULT_SCREEN+GREET_ROW*$28)[main::i2#2] = '*'
[139] main::i2#1 = ++ main::i2#2
[139] (DEFAULT_SCREEN+GREET_ROW*$28)[main::i2#2] = '*'
[140] main::i2#1 = ++ main::i2#2
to:main::@3
main::@2: scope:[main] from main::@1
[140] (DEFAULT_SCREEN+LOGO_ROW*$28)[main::i1#2] = MEGA_LOGO[main::i1#2]
[141] main::i1#1 = ++ main::i1#2
[141] (DEFAULT_SCREEN+LOGO_ROW*$28)[main::i1#2] = MEGA_LOGO[main::i1#2]
[142] main::i1#1 = ++ main::i1#2
to:main::@1
void* memset(void* memset::str , byte memset::c , word memset::num)
memset: scope:[memset] from main
[142] phi()
[143] phi()
to:memset::@1
memset::@1: scope:[memset] from memset memset::@2
[143] memset::dst#2 = phi( memset/(byte*)memset::str#0, memset::@2/memset::dst#1 )
[144] if(memset::dst#2!=memset::end#0) goto memset::@2
[144] memset::dst#2 = phi( memset/(byte*)memset::str#0, memset::@2/memset::dst#1 )
[145] if(memset::dst#2!=memset::end#0) goto memset::@2
to:memset::@return
memset::@return: scope:[memset] from memset::@1
[145] return
[146] return
to:@return
memset::@2: scope:[memset] from memset::@1
[146] *memset::dst#2 = memset::c#0
[147] memset::dst#1 = ++ memset::dst#2
[147] *memset::dst#2 = memset::c#0
[148] memset::dst#1 = ++ memset::dst#2
to:memset::@1

1382
src/test/ref/examples/mega65/raster65.log
View File

File diff suppressed because it is too large Load Diff

4
src/test/ref/examples/mega65/raster65.sym
View File

@ -150,9 +150,9 @@ void* memset::return
void* memset::str
constant void* memset::str#0 str = (void*)DEFAULT_SCREEN
constant byte* rasters[RASTER_LINES] = { fill( RASTER_LINES, 0) }
byte* volatile scroll_ptr loadstore zp[2]:8 0.1276595744680851
byte* volatile scroll_ptr loadstore zp[2]:8 0.19672131147540986
volatile byte scroll_soft loadstore zp[1]:7 0.2441860465116279
volatile byte sin_idx loadstore zp[1]:6 0.22641509433962262
volatile byte sin_idx loadstore zp[1]:6 0.49999999999999994
constant void()* songInit = (void()*)SONG
constant void()* songPlay = (void()*)SONG+3

4
src/test/ref/examples/rom/rom.asm
View File

@ -70,7 +70,7 @@ main: {
call1: {
.const OFFSET_STACK_PARAM1 = 1
.const OFFSET_STACK_PARAM2 = 0
.const OFFSET_STACK_RETURN = 1
.const OFFSET_STACK_RETURN_1 = 1
.label param1 = 2
tsx
lda STACK_BASE+OFFSET_STACK_PARAM1,x
@ -82,7 +82,7 @@ call1: {
adc.z param1
// }
tsx
sta STACK_BASE+OFFSET_STACK_RETURN,x
sta STACK_BASE+OFFSET_STACK_RETURN_1,x
rts
}
// A memory based ROM function that will transfer all parameters and return values through zeropage.

2
src/test/ref/examples/rom/rom.cfg
View File

@ -49,7 +49,7 @@ call1: scope:[call1] from
[31] call1::return#0 = call1::param1#0 + call1::param2#0
to:call1::@return
call1::@return: scope:[call1] from call1
[32] stackidx(byte,call1::OFFSET_STACK_RETURN) = call1::return#0
[32] stackidx(byte,call1::OFFSET_STACK_RETURN_1) = call1::return#0
[33] return
to:@return

26
src/test/ref/examples/rom/rom.log
View File

@ -5,7 +5,7 @@ Calling convention __stackcall adding prepare/execute/finalize for main::$0 = ca
Calling convention __stackcall adding prepare/execute/finalize for main::$1 = call call1 3 4
Calling convention STACK_CALL replacing param(call1::param1) with stackidx(byte,call1::OFFSET_STACK_PARAM1)
Calling convention STACK_CALL replacing param(call1::param2) with stackidx(byte,call1::OFFSET_STACK_PARAM2)
Calling convention STACK_CALL adding stack return stackidx(byte,call1::OFFSET_STACK_RETURN) = call1::return
Calling convention STACK_CALL adding stack return stackidx(byte,call1::OFFSET_STACK_RETURN_1) = call1::return
Calling convention STACK_CALL adding stack pull main::$0 = stackpull(byte)
Calling convention STACK_CALL adding stack pull main::$1 = stackpull(byte)
Calling convention STACK_CALL adding stack push stackpush(byte) = 1
@ -24,7 +24,7 @@ call1: scope:[call1] from
to:call1::@return
call1::@return: scope:[call1] from call1
call1::return#1 = phi( call1/call1::return#0 )
stackidx(byte,call1::OFFSET_STACK_RETURN) = call1::return#1
stackidx(byte,call1::OFFSET_STACK_RETURN_1) = call1::return#1
return
to:@return
@ -122,7 +122,7 @@ __stackcall byte call1(byte call1::param1 , byte call1::param2)
byte~ call1::$0
constant byte call1::OFFSET_STACK_PARAM1 = 1
constant byte call1::OFFSET_STACK_PARAM2 = 0
constant byte call1::OFFSET_STACK_RETURN = 1
constant byte call1::OFFSET_STACK_RETURN_1 = 1
byte call1::param1
byte call1::param1#0
byte call1::param2
@ -325,7 +325,7 @@ call1: scope:[call1] from
[31] call1::return#0 = call1::param1#0 + call1::param2#0
to:call1::@return
call1::@return: scope:[call1] from call1
[32] stackidx(byte,call1::OFFSET_STACK_RETURN) = call1::return#0
[32] stackidx(byte,call1::OFFSET_STACK_RETURN_1) = call1::return#0
[33] return
to:@return
@ -453,7 +453,7 @@ Statement [30] call1::param2#0 = stackidx(byte,call1::OFFSET_STACK_PARAM2) [ cal
Removing always clobbered register reg byte a as potential for zp[1]:15 [ call1::param1#0 ]
Removing always clobbered register reg byte x as potential for zp[1]:15 [ call1::param1#0 ]
Statement [31] call1::return#0 = call1::param1#0 + call1::param2#0 [ call1::return#0 ] ( call1:2 [ call1::return#0 ] { } call1:8 [ call1::return#0 ] { } ) always clobbers reg byte a
Statement [32] stackidx(byte,call1::OFFSET_STACK_RETURN) = call1::return#0 [ ] ( call1:2 [ ] { } call1:8 [ ] { } ) always clobbers reg byte x
Statement [32] stackidx(byte,call1::OFFSET_STACK_RETURN_1) = call1::return#0 [ ] ( call1:2 [ ] { } call1:8 [ ] { } ) always clobbers reg byte x
Statement [35] call2::$0 = call2::param1#2 + call2::param2#2 [ call2::$0 ] ( call2:12 [ call2::$0 ] { { call2::return = } } call2:16 [ call2::$0 ] { { call2::return = } } ) always clobbers reg byte a
Statement [39] call3::return#0 = call3::param1#2 + call3::param2#2 [ call3::return#0 ] ( call3:20 [ call3::return#0 ] { { call3::return#0 = call3::return#2 } } call3:24 [ call3::return#0 ] { { call3::return#0 = call3::return#3 } } ) always clobbers reg byte a
Statement [0] stackpush(byte) = 1 [ ] ( [ ] { { call2::return = } } ) always clobbers reg byte a
@ -467,7 +467,7 @@ Statement [10] main::$1 = stackpull(byte) [ main::$1 ] ( [ main::$1 ] { { call2
Statement [29] call1::param1#0 = stackidx(byte,call1::OFFSET_STACK_PARAM1) [ call1::param1#0 ] ( call1:2 [ call1::param1#0 ] { } call1:8 [ call1::param1#0 ] { } ) always clobbers reg byte a reg byte x
Statement [30] call1::param2#0 = stackidx(byte,call1::OFFSET_STACK_PARAM2) [ call1::param1#0 call1::param2#0 ] ( call1:2 [ call1::param1#0 call1::param2#0 ] { } call1:8 [ call1::param1#0 call1::param2#0 ] { } ) always clobbers reg byte a reg byte x
Statement [31] call1::return#0 = call1::param1#0 + call1::param2#0 [ call1::return#0 ] ( call1:2 [ call1::return#0 ] { } call1:8 [ call1::return#0 ] { } ) always clobbers reg byte a
Statement [32] stackidx(byte,call1::OFFSET_STACK_RETURN) = call1::return#0 [ ] ( call1:2 [ ] { } call1:8 [ ] { } ) always clobbers reg byte x
Statement [32] stackidx(byte,call1::OFFSET_STACK_RETURN_1) = call1::return#0 [ ] ( call1:2 [ ] { } call1:8 [ ] { } ) always clobbers reg byte x
Statement [35] call2::$0 = call2::param1#2 + call2::param2#2 [ call2::$0 ] ( call2:12 [ call2::$0 ] { { call2::return = } } call2:16 [ call2::$0 ] { { call2::return = } } ) always clobbers reg byte a
Statement [39] call3::return#0 = call3::param1#2 + call3::param2#2 [ call3::return#0 ] ( call3:20 [ call3::return#0 ] { { call3::return#0 = call3::return#2 } } call3:24 [ call3::return#0 ] { { call3::return#0 = call3::return#3 } } ) always clobbers reg byte a
Potential registers zp[1]:2 [ call2::param1#2 ] : zp[1]:2 , reg byte a , reg byte x , reg byte y ,
@ -637,7 +637,7 @@ main: {
call1: {
.const OFFSET_STACK_PARAM1 = 1
.const OFFSET_STACK_PARAM2 = 0
.const OFFSET_STACK_RETURN = 1
.const OFFSET_STACK_RETURN_1 = 1
.label param1 = 2
// [29] call1::param1#0 = stackidx(byte,call1::OFFSET_STACK_PARAM1) -- vbuz1=_stackidxbyte_vbuc1
tsx
@ -652,9 +652,9 @@ call1: {
jmp __breturn
// call1::@return
__breturn:
// [32] stackidx(byte,call1::OFFSET_STACK_RETURN) = call1::return#0 -- _stackidxbyte_vbuc1=vbuaa
// [32] stackidx(byte,call1::OFFSET_STACK_RETURN_1) = call1::return#0 -- _stackidxbyte_vbuc1=vbuaa
tsx
sta STACK_BASE+OFFSET_STACK_RETURN,x
sta STACK_BASE+OFFSET_STACK_RETURN_1,x
// [33] return
rts
}
@ -720,7 +720,7 @@ constant word STACK_BASE = $103
__stackcall byte call1(byte call1::param1 , byte call1::param2)
constant byte call1::OFFSET_STACK_PARAM1 = 1
constant byte call1::OFFSET_STACK_PARAM2 = 0
constant byte call1::OFFSET_STACK_RETURN = 1
constant byte call1::OFFSET_STACK_RETURN_1 = 1
byte call1::param1
byte call1::param1#0 param1 zp[1]:2 11.0
byte call1::param2
@ -897,7 +897,7 @@ main: {
call1: {
.const OFFSET_STACK_PARAM1 = 1
.const OFFSET_STACK_PARAM2 = 0
.const OFFSET_STACK_RETURN = 1
.const OFFSET_STACK_RETURN_1 = 1
.label param1 = 2
// [29] call1::param1#0 = stackidx(byte,call1::OFFSET_STACK_PARAM1) -- vbuz1=_stackidxbyte_vbuc1
tsx
@ -912,9 +912,9 @@ call1: {
adc.z param1
// call1::@return
// }
// [32] stackidx(byte,call1::OFFSET_STACK_RETURN) = call1::return#0 -- _stackidxbyte_vbuc1=vbuaa
// [32] stackidx(byte,call1::OFFSET_STACK_RETURN_1) = call1::return#0 -- _stackidxbyte_vbuc1=vbuaa
tsx
sta STACK_BASE+OFFSET_STACK_RETURN,x
sta STACK_BASE+OFFSET_STACK_RETURN_1,x
// [33] return
rts
}

2
src/test/ref/examples/rom/rom.sym
View File

@ -2,7 +2,7 @@ constant word STACK_BASE = $103
__stackcall byte call1(byte call1::param1 , byte call1::param2)
constant byte call1::OFFSET_STACK_PARAM1 = 1
constant byte call1::OFFSET_STACK_PARAM2 = 0
constant byte call1::OFFSET_STACK_RETURN = 1
constant byte call1::OFFSET_STACK_RETURN_1 = 1
byte call1::param1
byte call1::param1#0 param1 zp[1]:2 11.0
byte call1::param2

2
src/test/ref/function-pointer-noarg-call-10.cfg
View File

@ -66,7 +66,7 @@ do10: scope:[do10] from main main::@1
to:do10::@1
do10::@1: scope:[do10] from do10 do10::@1
[24] do10::i#2 = phi( do10/0, do10::@1/do10::i#1 )
[25] call *do10::fn#3
[25] callexecute *do10::fn#3
[26] do10::i#1 = ++ do10::i#2
[27] if(do10::i#1!=$a) goto do10::@1
to:do10::@return

24
src/test/ref/function-pointer-noarg-call-10.log
View File

@ -1,4 +1,5 @@
Inlined call call __init
Calling convention STACK_CALL adding prepare/execute/finalize for call *do10::fn
CONTROL FLOW GRAPH SSA
@ -10,7 +11,7 @@ do10: scope:[do10] from main main::@1
do10::@1: scope:[do10] from do10 do10::@1
do10::i#2 = phi( do10/do10::i#0, do10::@1/do10::i#1 )
do10::fn#2 = phi( do10/do10::fn#3, do10::@1/do10::fn#2 )
call *do10::fn#2
callexecute *do10::fn#2
do10::i#1 = do10::i#2 + rangenext(0,9)
do10::$1 = do10::i#1 != rangelast(0,9)
if(do10::$1) goto do10::@1
@ -179,6 +180,7 @@ Calls in [__start] to main:3
Calls in [world] to print:7
Calls in [hello] to print:11
Calls in [main] to do10:15 do10:17
Calls in [do10] to null:30
Created 4 initial phi equivalence classes
Coalesced [27] print::i#3 = print::i#1
@ -266,7 +268,7 @@ do10: scope:[do10] from main main::@1
to:do10::@1
do10::@1: scope:[do10] from do10 do10::@1
[24] do10::i#2 = phi( do10/0, do10::@1/do10::i#1 )
[25] call *do10::fn#3
[25] callexecute *do10::fn#3
[26] do10::i#1 = ++ do10::i#2
[27] if(do10::i#1!=$a) goto do10::@1
to:do10::@return
@ -282,7 +284,7 @@ void()* do10::fn
void()* do10::fn#3
byte do10::i
byte do10::i#1 1501.5
byte do10::i#2 1001.0
byte do10::i#2 2002.0
void hello()
volatile byte idx loadstore 38.125
void main()
@ -317,16 +319,16 @@ Statement [18] SCREEN[idx] = print::msg#3[print::i#2] [ idx print::msg#3 print::
Removing always clobbered register reg byte a as potential for zp[1]:4 [ print::i#2 print::i#1 ]
Removing always clobbered register reg byte x as potential for zp[1]:4 [ print::i#2 print::i#1 ]
Statement [21] if(0!=print::msg#3[print::i#1]) goto print::@1 [ idx print::msg#3 print::i#1 ] ( print:6 [ idx print::msg#3 print::i#1 ] { } print:9 [ idx print::msg#3 print::i#1 ] { } ) always clobbers reg byte a
Statement [25] call *do10::fn#3 [ do10::fn#3 do10::i#2 ] ( main:3::do10:12 [ do10::fn#3 do10::i#2 ] { } main:3::do10:14 [ do10::fn#3 do10::i#2 ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [25] callexecute *do10::fn#3 [ do10::i#2 ] ( main:3::do10:12 [ do10::i#2 ] { } main:3::do10:14 [ do10::i#2 ] { } ) always clobbers reg byte a reg byte x reg byte y
Removing always clobbered register reg byte a as potential for zp[1]:7 [ do10::i#2 do10::i#1 ]
Removing always clobbered register reg byte x as potential for zp[1]:7 [ do10::i#2 do10::i#1 ]
Removing always clobbered register reg byte y as potential for zp[1]:7 [ do10::i#2 do10::i#1 ]
Statement [27] if(do10::i#1!=$a) goto do10::@1 [ do10::fn#3 do10::i#1 ] ( main:3::do10:12 [ do10::fn#3 do10::i#1 ] { } main:3::do10:14 [ do10::fn#3 do10::i#1 ] { } ) always clobbers reg byte a
Statement [27] if(do10::i#1!=$a) goto do10::@1 [ do10::i#1 ] ( main:3::do10:12 [ do10::i#1 ] { } main:3::do10:14 [ do10::i#1 ] { } ) always clobbers reg byte a
Statement [1] idx = 0 [ ] ( [ ] { } ) always clobbers reg byte a
Statement [18] SCREEN[idx] = print::msg#3[print::i#2] [ idx print::msg#3 print::i#2 ] ( print:6 [ idx print::msg#3 print::i#2 ] { } print:9 [ idx print::msg#3 print::i#2 ] { } ) always clobbers reg byte a reg byte x
Statement [21] if(0!=print::msg#3[print::i#1]) goto print::@1 [ idx print::msg#3 print::i#1 ] ( print:6 [ idx print::msg#3 print::i#1 ] { } print:9 [ idx print::msg#3 print::i#1 ] { } ) always clobbers reg byte a
Statement [25] call *do10::fn#3 [ do10::fn#3 do10::i#2 ] ( main:3::do10:12 [ do10::fn#3 do10::i#2 ] { } main:3::do10:14 [ do10::fn#3 do10::i#2 ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [27] if(do10::i#1!=$a) goto do10::@1 [ do10::fn#3 do10::i#1 ] ( main:3::do10:12 [ do10::fn#3 do10::i#1 ] { } main:3::do10:14 [ do10::fn#3 do10::i#1 ] { } ) always clobbers reg byte a
Statement [25] callexecute *do10::fn#3 [ do10::i#2 ] ( main:3::do10:12 [ do10::i#2 ] { } main:3::do10:14 [ do10::i#2 ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [27] if(do10::i#1!=$a) goto do10::@1 [ do10::i#1 ] ( main:3::do10:12 [ do10::i#1 ] { } main:3::do10:14 [ do10::i#1 ] { } ) always clobbers reg byte a
Potential registers zp[2]:2 [ print::msg#3 ] : zp[2]:2 ,
Potential registers zp[1]:4 [ print::i#2 print::i#1 ] : zp[1]:4 , reg byte y ,
Potential registers zp[2]:5 [ do10::fn#3 ] : zp[2]:5 ,
@ -334,7 +336,7 @@ Potential registers zp[1]:7 [ do10::i#2 do10::i#1 ] : zp[1]:7 ,
Potential registers zp[1]:8 [ idx ] : zp[1]:8 ,
REGISTER UPLIFT SCOPES
Uplift Scope [do10] 2,502.5: zp[1]:7 [ do10::i#2 do10::i#1 ] 0: zp[2]:5 [ do10::fn#3 ]
Uplift Scope [do10] 3,503.5: zp[1]:7 [ do10::i#2 do10::i#1 ] 0: zp[2]:5 [ do10::fn#3 ]
Uplift Scope [print] 252.5: zp[1]:4 [ print::i#2 print::i#1 ] 33.67: zp[2]:2 [ print::msg#3 ]
Uplift Scope [] 38.12: zp[1]:8 [ idx ]
Uplift Scope [hello]
@ -519,7 +521,7 @@ do10: {
jmp __b1
// do10::@1
__b1:
// [25] call *do10::fn#3
// [25] callexecute *do10::fn#3
jsr bi_fn
// [26] do10::i#1 = ++ do10::i#2 -- vbuz1=_inc_vbuz1
inc.z i
@ -586,7 +588,7 @@ void()* do10::fn
void()* do10::fn#3 fn zp[2]:4
byte do10::i
byte do10::i#1 i zp[1]:6 1501.5
byte do10::i#2 i zp[1]:6 1001.0
byte do10::i#2 i zp[1]:6 2002.0
void hello()
constant byte* hello::msg[7] = "hello "
volatile byte idx loadstore zp[1]:7 38.125
@ -753,7 +755,7 @@ do10: {
// do10::@1
__b1:
// (*fn)()
// [25] call *do10::fn#3
// [25] callexecute *do10::fn#3
jsr bi_fn
// for( byte i: 0..9)
// [26] do10::i#1 = ++ do10::i#2 -- vbuz1=_inc_vbuz1

2
src/test/ref/function-pointer-noarg-call-10.sym
View File

@ -5,7 +5,7 @@ void()* do10::fn
void()* do10::fn#3 fn zp[2]:4
byte do10::i
byte do10::i#1 i zp[1]:6 1501.5
byte do10::i#2 i zp[1]:6 1001.0
byte do10::i#2 i zp[1]:6 2002.0
void hello()
constant byte* hello::msg[7] = "hello "
volatile byte idx loadstore zp[1]:7 38.125

4
src/test/ref/function-pointer-noarg-call-11.cfg
View File

@ -2,8 +2,8 @@
void main()
main: scope:[main] from
[0] phi()
[1] call myFunc
[2] call myFunc2
[1] callexecute myFunc
[2] callexecute myFunc2
to:main::@return
main::@return: scope:[main] from main
[3] return

22
src/test/ref/function-pointer-noarg-call-11.log
View File

@ -1,4 +1,6 @@
Inlined call call __init
Calling convention STACK_CALL adding prepare/execute/finalize for call *funcPointer
Calling convention STACK_CALL adding prepare/execute/finalize for call *funcPointer
CONTROL FLOW GRAPH SSA
@ -21,9 +23,9 @@ myFunc2::@return: scope:[myFunc2] from myFunc2
void main()
main: scope:[main] from __start::@1
funcPointer#0 = &myFunc
call *funcPointer#0
callexecute *funcPointer#0
funcPointer#1 = &myFunc2
call *funcPointer#1
callexecute *funcPointer#1
to:main::@return
main::@return: scope:[main] from main
funcPointer#6 = phi( main/funcPointer#1 )
@ -83,8 +85,8 @@ Constant funcPointer#0 = &myFunc
Constant funcPointer#1 = &myFunc2
Constant funcPointer#3 = (void()*) 0
Successful SSA optimization Pass2ConstantIdentification
Replacing constant pointer function [5] call myFunc
Replacing constant pointer function [7] call myFunc2
Replacing constant pointer function [5] callexecute myFunc
Replacing constant pointer function [7] callexecute myFunc2
Successful SSA optimization Pass2ConstantCallPointerIdentification
Eliminating unused constant funcPointer#0
Eliminating unused constant funcPointer#1
@ -110,8 +112,8 @@ FINAL CONTROL FLOW GRAPH
void main()
main: scope:[main] from
[0] phi()
[1] call myFunc
[2] call myFunc2
[1] callexecute myFunc
[2] callexecute myFunc2
to:main::@return
main::@return: scope:[main] from main
[3] return
@ -171,9 +173,9 @@ ASSEMBLER BEFORE OPTIMIZATION
.segment Code
// main
main: {
// [1] call myFunc
// [1] callexecute myFunc -- jsr
jsr myFunc
// [2] call myFunc2
// [2] callexecute myFunc2 -- jsr
jsr myFunc2
jmp __breturn
// main::@return
@ -244,9 +246,9 @@ Score: 42
// main
main: {
// (*funcPointer)()
// [1] call myFunc
// [1] callexecute myFunc -- jsr
jsr myFunc
// [2] call myFunc2
// [2] callexecute myFunc2 -- jsr
jsr myFunc2
// main::@return
// }

4
src/test/ref/function-pointer-noarg-call-12.cfg
View File

@ -4,9 +4,9 @@ main: scope:[main] from
[0] *addrtable = &myFunc
[1] *(addrtable+1*SIZEOF_POINTER) = &myFunc2
[2] main::fn#0 = *addrtable
[3] call *main::fn#0
[3] callexecute *main::fn#0
[4] main::fn#1 = *(addrtable+1*SIZEOF_POINTER)
[5] call *main::fn#1
[5] callexecute *main::fn#1
to:main::@return
main::@return: scope:[main] from main
[6] return

37
src/test/ref/function-pointer-noarg-call-12.log
View File

@ -1,3 +1,5 @@
Calling convention STACK_CALL adding prepare/execute/finalize for call *main::fn
Calling convention STACK_CALL adding prepare/execute/finalize for call *main::fn
CONTROL FLOW GRAPH SSA
@ -25,10 +27,10 @@ main: scope:[main] from __start
addrtable[main::$3] = &myFunc2
main::$4 = 0 * SIZEOF_POINTER
main::fn#0 = addrtable[main::$4]
call *main::fn#0
callexecute *main::fn#0
main::$5 = 1 * SIZEOF_POINTER
main::fn#1 = addrtable[main::$5]
call *main::fn#1
callexecute *main::fn#1
to:main::@return
main::@return: scope:[main] from main
return
@ -120,6 +122,7 @@ Finalized unsigned number type (word) $100
Finalized unsigned number type (word) $100
Successful SSA optimization PassNFinalizeNumberTypeConversions
CALL GRAPH
Calls in [main] to null:3 null:5
Created 0 initial phi equivalence classes
Coalesced down to 0 phi equivalence classes
@ -131,9 +134,9 @@ main: scope:[main] from
[0] *addrtable = &myFunc
[1] *(addrtable+1*SIZEOF_POINTER) = &myFunc2
[2] main::fn#0 = *addrtable
[3] call *main::fn#0
[3] callexecute *main::fn#0
[4] main::fn#1 = *(addrtable+1*SIZEOF_POINTER)
[5] call *main::fn#1
[5] callexecute *main::fn#1
to:main::@return
main::@return: scope:[main] from main
[6] return
@ -159,8 +162,8 @@ myFunc::@return: scope:[myFunc] from myFunc
VARIABLE REGISTER WEIGHTS
void main()
void()* main::fn
void()* main::fn#0 2.0
void()* main::fn#1 2.0
void()* main::fn#0 20.0
void()* main::fn#1 20.0
void myFunc()
void myFunc2()
@ -175,15 +178,15 @@ Allocated zp[2]:4 [ main::fn#1 ]
REGISTER UPLIFT POTENTIAL REGISTERS
Statement [0] *addrtable = &myFunc [ ] ( [ ] { } ) always clobbers reg byte a
Statement [1] *(addrtable+1*SIZEOF_POINTER) = &myFunc2 [ ] ( [ ] { } ) always clobbers reg byte a
Statement [2] main::fn#0 = *addrtable [ main::fn#0 ] ( [ main::fn#0 ] { } ) always clobbers reg byte a
Statement [3] call *main::fn#0 [ ] ( [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [4] main::fn#1 = *(addrtable+1*SIZEOF_POINTER) [ main::fn#1 ] ( [ main::fn#1 ] { } ) always clobbers reg byte a
Statement [5] call *main::fn#1 [ ] ( [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [2] main::fn#0 = *addrtable [ ] ( [ ] { } ) always clobbers reg byte a
Statement [3] callexecute *main::fn#0 [ ] ( [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [4] main::fn#1 = *(addrtable+1*SIZEOF_POINTER) [ ] ( [ ] { } ) always clobbers reg byte a
Statement [5] callexecute *main::fn#1 [ ] ( [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Potential registers zp[2]:2 [ main::fn#0 ] : zp[2]:2 ,
Potential registers zp[2]:4 [ main::fn#1 ] : zp[2]:4 ,
REGISTER UPLIFT SCOPES
Uplift Scope [main] 2: zp[2]:2 [ main::fn#0 ] 2: zp[2]:4 [ main::fn#1 ]
Uplift Scope [main] 20: zp[2]:2 [ main::fn#0 ] 20: zp[2]:4 [ main::fn#1 ]
Uplift Scope [myFunc]
Uplift Scope [myFunc2]
Uplift Scope []
@ -227,14 +230,14 @@ main: {
sta.z fn
lda addrtable+1
sta.z fn+1
// [3] call *main::fn#0
// [3] callexecute *main::fn#0
jsr bi_fn
// [4] main::fn#1 = *(addrtable+1*SIZEOF_POINTER) -- pprz1=_deref_qprc1
lda addrtable+1*SIZEOF_POINTER
sta.z fn_1
lda addrtable+1*SIZEOF_POINTER+1
sta.z fn_1+1
// [5] call *main::fn#1
// [5] callexecute *main::fn#1
jsr bi_fn_1
jmp __breturn
// main::@return
@ -287,8 +290,8 @@ constant byte SIZEOF_POINTER = 2
constant void()** addrtable[$100] = { fill( $100, 0) }
void main()
void()* main::fn
void()* main::fn#0 fn zp[2]:2 2.0
void()* main::fn#1 fn_1 zp[2]:4 2.0
void()* main::fn#0 fn zp[2]:2 20.0
void()* main::fn#1 fn_1 zp[2]:4 20.0
void myFunc()
constant byte* const myFunc::BORDER_COLOR = (byte*) 53280
void myFunc2()
@ -338,7 +341,7 @@ main: {
lda addrtable+1
sta.z fn+1
// (*fn)()
// [3] call *main::fn#0
// [3] callexecute *main::fn#0
jsr bi_fn
// fn = addrtable[1]
// [4] main::fn#1 = *(addrtable+1*SIZEOF_POINTER) -- pprz1=_deref_qprc1
@ -347,7 +350,7 @@ main: {
lda addrtable+1*SIZEOF_POINTER+1
sta.z fn_1+1
// (*fn)()
// [5] call *main::fn#1
// [5] callexecute *main::fn#1
jsr bi_fn_1
// main::@return
// }

4
src/test/ref/function-pointer-noarg-call-12.sym
View File

@ -2,8 +2,8 @@ constant byte SIZEOF_POINTER = 2
constant void()** addrtable[$100] = { fill( $100, 0) }
void main()
void()* main::fn
void()* main::fn#0 fn zp[2]:2 2.0
void()* main::fn#1 fn_1 zp[2]:4 2.0
void()* main::fn#0 fn zp[2]:2 20.0
void()* main::fn#1 fn_1 zp[2]:4 20.0
void myFunc()
constant byte* const myFunc::BORDER_COLOR = (byte*) 53280
void myFunc2()

2
src/test/ref/function-pointer-noarg-call-14.cfg
View File

@ -113,7 +113,7 @@ gotoxy::@return: scope:[gotoxy] from gotoxy::@2
void f1(void()* f1::fn)
f1: scope:[f1] from main main::@1
[49] f1::fn#2 = phi( main/&hello, main::@1/&world )
[50] call *f1::fn#2
[50] callexecute *f1::fn#2
to:f1::@return
f1::@return: scope:[f1] from f1
[51] return

14
src/test/ref/function-pointer-noarg-call-14.log
View File

@ -11,6 +11,7 @@ Eliminating unused variable with no statement gotoxy::$4
Eliminating unused variable with no statement printf_buffer
Eliminating unused variable with no statement hello::$0
Eliminating unused variable with no statement world::$0
Calling convention STACK_CALL adding prepare/execute/finalize for call *f1::fn
CONTROL FLOW GRAPH SSA
@ -282,7 +283,7 @@ conio_c64_init::@return: scope:[conio_c64_init] from conio_c64_init::@3
void f1(void()* f1::fn)
f1: scope:[f1] from main main::@1
f1::fn#2 = phi( main/f1::fn#0, main::@1/f1::fn#1 )
call *f1::fn#2
callexecute *f1::fn#2
to:f1::@return
f1::@return: scope:[f1] from f1
return
@ -866,6 +867,7 @@ Calls in [hello] to cputs:16
Calls in [conio_c64_init] to gotoxy:24
Calls in [main] to f1:29 f1:31
Calls in [cputs] to cputc:42
Calls in [f1] to null:60
Calls in [cputc] to cputln:68 cputln:72
Calls in [cputln] to cscroll:78
Calls in [cscroll] to memcpy:84 memcpy:86 memset:88 memset:90
@ -1035,7 +1037,7 @@ gotoxy::@return: scope:[gotoxy] from gotoxy::@2
void f1(void()* f1::fn)
f1: scope:[f1] from main main::@1
[49] f1::fn#2 = phi( main/&hello, main::@1/&world )
[50] call *f1::fn#2
[50] callexecute *f1::fn#2
to:f1::@return
f1::@return: scope:[f1] from f1
[51] return
@ -1313,7 +1315,7 @@ Statement [44] gotoxy::$5 = DEFAULT_SCREEN + gotoxy::line_offset#0 [ gotoxy::lin
Statement [45] conio_line_text = gotoxy::$5 [ gotoxy::line_offset#0 ] ( gotoxy:20 [ gotoxy::line_offset#0 ] { { gotoxy::y#2 = conio_c64_init::line#2 } } conio_c64_init:5::gotoxy:20 [ gotoxy::line_offset#0 ] { { gotoxy::y#2 = conio_c64_init::line#2 } } ) always clobbers reg byte a
Statement [46] gotoxy::$6 = COLORRAM + gotoxy::line_offset#0 [ gotoxy::$6 ] ( gotoxy:20 [ gotoxy::$6 ] { { gotoxy::y#2 = conio_c64_init::line#2 } } conio_c64_init:5::gotoxy:20 [ gotoxy::$6 ] { { gotoxy::y#2 = conio_c64_init::line#2 } } ) always clobbers reg byte a
Statement [47] conio_line_color = gotoxy::$6 [ ] ( gotoxy:20 [ ] { { gotoxy::y#2 = conio_c64_init::line#2 } } conio_c64_init:5::gotoxy:20 [ ] { { gotoxy::y#2 = conio_c64_init::line#2 } } ) always clobbers reg byte a
Statement [50] call *f1::fn#2 [ ] ( main:7::f1:23 [ ] { } main:7::f1:25 [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [50] callexecute *f1::fn#2 [ ] ( main:7::f1:23 [ ] { } main:7::f1:25 [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [53] conio_line_text[conio_cursor_x] = cputc::c#0 [ conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] ( cputs:10::cputc:34 [ cputs::s#0 conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] { { cputc::c#0 = cputs::c#1 } } cputs:13::cputc:34 [ cputs::s#0 conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] { { cputc::c#0 = cputs::c#1 } } ) always clobbers reg byte y
Statement [54] conio_line_color[conio_cursor_x] = LIGHT_BLUE [ conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] ( cputs:10::cputc:34 [ cputs::s#0 conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] { { cputc::c#0 = cputs::c#1 } } cputs:13::cputc:34 [ cputs::s#0 conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] { { cputc::c#0 = cputs::c#1 } } ) always clobbers reg byte a reg byte y
Statement [56] if(conio_cursor_x!=$28) goto cputc::@return [ conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] ( cputs:10::cputc:34 [ cputs::s#0 conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] { { cputc::c#0 = cputs::c#1 } } cputs:13::cputc:34 [ cputs::s#0 conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] { { cputc::c#0 = cputs::c#1 } } ) always clobbers reg byte a
@ -1348,7 +1350,7 @@ Statement [44] gotoxy::$5 = DEFAULT_SCREEN + gotoxy::line_offset#0 [ gotoxy::lin
Statement [45] conio_line_text = gotoxy::$5 [ gotoxy::line_offset#0 ] ( gotoxy:20 [ gotoxy::line_offset#0 ] { { gotoxy::y#2 = conio_c64_init::line#2 } } conio_c64_init:5::gotoxy:20 [ gotoxy::line_offset#0 ] { { gotoxy::y#2 = conio_c64_init::line#2 } } ) always clobbers reg byte a
Statement [46] gotoxy::$6 = COLORRAM + gotoxy::line_offset#0 [ gotoxy::$6 ] ( gotoxy:20 [ gotoxy::$6 ] { { gotoxy::y#2 = conio_c64_init::line#2 } } conio_c64_init:5::gotoxy:20 [ gotoxy::$6 ] { { gotoxy::y#2 = conio_c64_init::line#2 } } ) always clobbers reg byte a
Statement [47] conio_line_color = gotoxy::$6 [ ] ( gotoxy:20 [ ] { { gotoxy::y#2 = conio_c64_init::line#2 } } conio_c64_init:5::gotoxy:20 [ ] { { gotoxy::y#2 = conio_c64_init::line#2 } } ) always clobbers reg byte a
Statement [50] call *f1::fn#2 [ ] ( main:7::f1:23 [ ] { } main:7::f1:25 [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [50] callexecute *f1::fn#2 [ ] ( main:7::f1:23 [ ] { } main:7::f1:25 [ ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [53] conio_line_text[conio_cursor_x] = cputc::c#0 [ conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] ( cputs:10::cputc:34 [ cputs::s#0 conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] { { cputc::c#0 = cputs::c#1 } } cputs:13::cputc:34 [ cputs::s#0 conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] { { cputc::c#0 = cputs::c#1 } } ) always clobbers reg byte y
Statement [54] conio_line_color[conio_cursor_x] = LIGHT_BLUE [ conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] ( cputs:10::cputc:34 [ cputs::s#0 conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] { { cputc::c#0 = cputs::c#1 } } cputs:13::cputc:34 [ cputs::s#0 conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] { { cputc::c#0 = cputs::c#1 } } ) always clobbers reg byte a reg byte y
Statement [56] if(conio_cursor_x!=$28) goto cputc::@return [ conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] ( cputs:10::cputc:34 [ cputs::s#0 conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] { { cputc::c#0 = cputs::c#1 } } cputs:13::cputc:34 [ cputs::s#0 conio_cursor_x conio_cursor_y conio_line_text conio_line_color ] { { cputc::c#0 = cputs::c#1 } } ) always clobbers reg byte a
@ -1774,7 +1776,7 @@ gotoxy: {
// f1(void()* zp(4) fn)
f1: {
.label fn = 4
// [50] call *f1::fn#2
// [50] callexecute *f1::fn#2
jsr bi_fn
jmp __breturn
// f1::@return
@ -2582,7 +2584,7 @@ gotoxy: {
f1: {
.label fn = 4
// (*fn)()
// [50] call *f1::fn#2
// [50] callexecute *f1::fn#2
jsr bi_fn
// f1::@return
// }

2
src/test/ref/function-pointer-noarg-call-2.cfg
View File

@ -32,5 +32,5 @@ main::@3: scope:[main] from main::@2
to:main::@4
main::@4: scope:[main] from main::@2 main::@3
[10] main::f#3 = phi( main::@3/&fn1, main::@2/&fn2 )
[11] call *main::f#3
[11] callexecute *main::f#3
to:main::@1

22
src/test/ref/function-pointer-noarg-call-2.log
View File

@ -1,5 +1,6 @@
Resolved forward reference fn1 to void fn1()
Resolved forward reference fn2 to void fn2()
Calling convention STACK_CALL adding prepare/execute/finalize for call *main::f
CONTROL FLOW GRAPH SSA
@ -30,7 +31,7 @@ main::@5: scope:[main] from main::@2
main::@4: scope:[main] from main::@3 main::@5
main::i#4 = phi( main::@3/main::i#5, main::@5/main::i#6 )
main::f#3 = phi( main::@3/main::f#1, main::@5/main::f#2 )
call *main::f#3
callexecute *main::f#3
to:main::@1
main::@return: scope:[main] from main::@1
return
@ -132,6 +133,7 @@ Adding NOP phi() at start of main
Adding NOP phi() at start of main::@5
Adding NOP phi() at start of main::@3
CALL GRAPH
Calls in [main] to null:11
Created 2 initial phi equivalence classes
Coalesced [12] main::i#7 = main::i#1
@ -175,7 +177,7 @@ main::@3: scope:[main] from main::@2
to:main::@4
main::@4: scope:[main] from main::@2 main::@3
[10] main::f#3 = phi( main::@3/&fn1, main::@2/&fn2 )
[11] call *main::f#3
[11] callexecute *main::f#3
to:main::@1
@ -187,7 +189,7 @@ byte~ main::$0 22.0
void()* main::f
void()* main::f#3
byte main::i
byte main::i#1 5.5
byte main::i#1 16.5
byte main::i#2 22.0
Initial phi equivalence classes
@ -202,18 +204,18 @@ Allocated zp[1]:2 [ main::i#2 main::i#1 ]
Allocated zp[2]:3 [ main::f#3 ]
Allocated zp[1]:5 [ main::$0 ]
REGISTER UPLIFT POTENTIAL REGISTERS
Statement [11] call *main::f#3 [ main::i#1 ] ( [ main::i#1 ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [11] callexecute *main::f#3 [ main::i#1 ] ( [ main::i#1 ] { } ) always clobbers reg byte a reg byte x reg byte y
Removing always clobbered register reg byte a as potential for zp[1]:2 [ main::i#2 main::i#1 ]
Removing always clobbered register reg byte x as potential for zp[1]:2 [ main::i#2 main::i#1 ]
Removing always clobbered register reg byte y as potential for zp[1]:2 [ main::i#2 main::i#1 ]
Statement [7] main::$0 = main::i#1 & 1 [ main::i#1 main::$0 ] ( [ main::i#1 main::$0 ] { } ) always clobbers reg byte a
Statement [11] call *main::f#3 [ main::i#1 ] ( [ main::i#1 ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [7] main::$0 = main::i#1 & 1 [ main::$0 ] ( [ main::$0 ] { } ) always clobbers reg byte a
Statement [11] callexecute *main::f#3 [ main::i#1 ] ( [ main::i#1 ] { } ) always clobbers reg byte a reg byte x reg byte y
Potential registers zp[1]:2 [ main::i#2 main::i#1 ] : zp[1]:2 ,
Potential registers zp[2]:3 [ main::f#3 ] : zp[2]:3 ,
Potential registers zp[1]:5 [ main::$0 ] : zp[1]:5 , reg byte a , reg byte x , reg byte y ,
REGISTER UPLIFT SCOPES
Uplift Scope [main] 27.5: zp[1]:2 [ main::i#2 main::i#1 ] 22: zp[1]:5 [ main::$0 ] 0: zp[2]:3 [ main::f#3 ]
Uplift Scope [main] 38.5: zp[1]:2 [ main::i#2 main::i#1 ] 22: zp[1]:5 [ main::$0 ] 0: zp[2]:3 [ main::f#3 ]
Uplift Scope [fn1]
Uplift Scope [fn2]
Uplift Scope []
@ -307,7 +309,7 @@ main: {
jmp __b4
// main::@4
__b4:
// [11] call *main::f#3
// [11] callexecute *main::f#3
jsr bi_f
// [5] phi from main::@4 to main::@1 [phi:main::@4->main::@1]
__b1_from___b4:
@ -349,7 +351,7 @@ byte~ main::$0 reg byte a 22.0
void()* main::f
void()* main::f#3 f zp[2]:3
byte main::i
byte main::i#1 i zp[1]:2 5.5
byte main::i#1 i zp[1]:2 16.5
byte main::i#2 i zp[1]:2 22.0
zp[1]:2 [ main::i#2 main::i#1 ]
@ -436,7 +438,7 @@ main: {
// main::@4
__b4:
// (*f)()
// [11] call *main::f#3
// [11] callexecute *main::f#3
jsr bi_f
// [5] phi from main::@4 to main::@1 [phi:main::@4->main::@1]
// [5] phi main::i#2 = main::i#1 [phi:main::@4->main::@1#0] -- register_copy

2
src/test/ref/function-pointer-noarg-call-2.sym
View File

@ -7,7 +7,7 @@ byte~ main::$0 reg byte a 22.0
void()* main::f
void()* main::f#3 f zp[2]:3
byte main::i
byte main::i#1 i zp[1]:2 5.5
byte main::i#1 i zp[1]:2 16.5
byte main::i#2 i zp[1]:2 22.0
zp[1]:2 [ main::i#2 main::i#1 ]

2
src/test/ref/function-pointer-noarg-call-3.cfg
View File

@ -30,7 +30,7 @@ main::@2: scope:[main] from main::@1
to:main::@3
main::@3: scope:[main] from main::@2
[10] main::$0 = getfn::return#0
[11] call *main::$0
[11] callexecute *main::$0
to:main::@1
void()* getfn(byte getfn::b)

35
src/test/ref/function-pointer-noarg-call-3.log
View File

@ -1,5 +1,6 @@
Resolved forward reference fn1 to void fn1()
Resolved forward reference fn2 to void fn2()
Calling convention STACK_CALL adding prepare/execute/finalize for call *main::$0
CONTROL FLOW GRAPH SSA
@ -22,7 +23,7 @@ main::@3: scope:[main] from main::@2
main::i#4 = phi( main::@2/main::i#1 )
getfn::return#4 = phi( main::@2/getfn::return#0 )
main::$0 = getfn::return#4
call *main::$0
callexecute *main::$0
to:main::@1
main::@return: scope:[main] from main::@1
return
@ -147,7 +148,7 @@ Adding NOP phi() at start of main
Adding NOP phi() at start of getfn::@2
Adding NOP phi() at start of getfn::@1
CALL GRAPH
Calls in [main] to getfn:8
Calls in [main] to getfn:8 null:11
Created 2 initial phi equivalence classes
Coalesced [12] main::i#5 = main::i#1
@ -189,7 +190,7 @@ main::@2: scope:[main] from main::@1
to:main::@3
main::@3: scope:[main] from main::@2
[10] main::$0 = getfn::return#0
[11] call *main::$0
[11] callexecute *main::$0
to:main::@1
void()* getfn(byte getfn::b)
@ -217,9 +218,9 @@ void()* getfn::return
void()* getfn::return#0 22.0
void()* getfn::return#3 3.6666666666666665
void main()
void()*~ main::$0 11.0
void()*~ main::$0 110.0
byte main::i
byte main::i#1 5.5
byte main::i#1 16.5
byte main::i#2 22.0
Initial phi equivalence classes
@ -243,15 +244,15 @@ Allocated zp[2]:6 [ getfn::return#0 ]
Allocated zp[2]:8 [ main::$0 ]
Allocated zp[1]:10 [ getfn::$0 ]
REGISTER UPLIFT POTENTIAL REGISTERS
Statement [9] getfn::return#0 = getfn::return#3 [ main::i#1 getfn::return#0 ] ( [ main::i#1 getfn::return#0 ] { { getfn::b#0 = main::i#1 } { getfn::return#0 = getfn::return#3 } } ) always clobbers reg byte a
Statement [9] getfn::return#0 = getfn::return#3 [ getfn::return#0 ] ( [ getfn::return#0 ] { { getfn::b#0 = main::i#1 } { getfn::return#0 = getfn::return#3 } } ) always clobbers reg byte a
Statement [10] main::$0 = getfn::return#0 [ ] ( [ ] { } ) always clobbers reg byte a
Statement [11] callexecute *main::$0 [ main::i#1 ] ( [ main::i#1 ] { } ) always clobbers reg byte a reg byte x reg byte y
Removing always clobbered register reg byte a as potential for zp[1]:2 [ main::i#2 main::i#1 ]
Statement [10] main::$0 = getfn::return#0 [ main::i#1 main::$0 ] ( [ main::i#1 main::$0 ] { } ) always clobbers reg byte a
Statement [11] call *main::$0 [ main::i#1 ] ( [ main::i#1 ] { } ) always clobbers reg byte a reg byte x reg byte y
Removing always clobbered register reg byte x as potential for zp[1]:2 [ main::i#2 main::i#1 ]
Removing always clobbered register reg byte y as potential for zp[1]:2 [ main::i#2 main::i#1 ]
Statement [9] getfn::return#0 = getfn::return#3 [ main::i#1 getfn::return#0 ] ( [ main::i#1 getfn::return#0 ] { { getfn::b#0 = main::i#1 } { getfn::return#0 = getfn::return#3 } } ) always clobbers reg byte a
Statement [10] main::$0 = getfn::return#0 [ main::i#1 main::$0 ] ( [ main::i#1 main::$0 ] { } ) always clobbers reg byte a
Statement [11] call *main::$0 [ main::i#1 ] ( [ main::i#1 ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [9] getfn::return#0 = getfn::return#3 [ getfn::return#0 ] ( [ getfn::return#0 ] { { getfn::b#0 = main::i#1 } { getfn::return#0 = getfn::return#3 } } ) always clobbers reg byte a
Statement [10] main::$0 = getfn::return#0 [ ] ( [ ] { } ) always clobbers reg byte a
Statement [11] callexecute *main::$0 [ main::i#1 ] ( [ main::i#1 ] { } ) always clobbers reg byte a reg byte x reg byte y
Potential registers zp[1]:2 [ main::i#2 main::i#1 ] : zp[1]:2 ,
Potential registers zp[2]:3 [ getfn::return#3 ] : zp[2]:3 ,
Potential registers zp[1]:5 [ getfn::b#0 ] : zp[1]:5 , reg byte a , reg byte x , reg byte y ,
@ -261,13 +262,13 @@ Potential registers zp[1]:10 [ getfn::$0 ] : zp[1]:10 , reg byte a , reg byte x
REGISTER UPLIFT SCOPES
Uplift Scope [getfn] 202: zp[1]:10 [ getfn::$0 ] 112: zp[1]:5 [ getfn::b#0 ] 22: zp[2]:6 [ getfn::return#0 ] 3.67: zp[2]:3 [ getfn::return#3 ]
Uplift Scope [main] 27.5: zp[1]:2 [ main::i#2 main::i#1 ] 11: zp[2]:8 [ main::$0 ]
Uplift Scope [main] 110: zp[2]:8 [ main::$0 ] 38.5: zp[1]:2 [ main::i#2 main::i#1 ]
Uplift Scope [fn1]
Uplift Scope [fn2]
Uplift Scope []
Uplifting [getfn] best 731 combination reg byte a [ getfn::$0 ] reg byte a [ getfn::b#0 ] zp[2]:6 [ getfn::return#0 ] zp[2]:3 [ getfn::return#3 ]
Uplifting [main] best 731 combination zp[1]:2 [ main::i#2 main::i#1 ] zp[2]:8 [ main::$0 ]
Uplifting [main] best 731 combination zp[2]:8 [ main::$0 ] zp[1]:2 [ main::i#2 main::i#1 ]
Uplifting [fn1] best 731 combination
Uplifting [fn2] best 731 combination
Uplifting [] best 731 combination
@ -338,7 +339,7 @@ main: {
// main::@3
__b3:
// [10] main::$0 = getfn::return#0
// [11] call *main::$0
// [11] callexecute *main::$0
jsr bi___0
// [5] phi from main::@3 to main::@1 [phi:main::@3->main::@1]
__b1_from___b3:
@ -425,9 +426,9 @@ void()* getfn::return
void()* getfn::return#0 return zp[2]:3 22.0
void()* getfn::return#3 return zp[2]:3 3.6666666666666665
void main()
void()*~ main::$0 zp[2]:3 11.0
void()*~ main::$0 zp[2]:3 110.0
byte main::i
byte main::i#1 i zp[1]:2 5.5
byte main::i#1 i zp[1]:2 16.5
byte main::i#2 i zp[1]:2 22.0
zp[1]:2 [ main::i#2 main::i#1 ]
@ -497,7 +498,7 @@ main: {
// main::@3
// [10] main::$0 = getfn::return#0
// (*getfn(++i))()
// [11] call *main::$0
// [11] callexecute *main::$0
jsr bi___0
// [5] phi from main::@3 to main::@1 [phi:main::@3->main::@1]
// [5] phi main::i#2 = main::i#1 [phi:main::@3->main::@1#0] -- register_copy

4
src/test/ref/function-pointer-noarg-call-3.sym
View File

@ -10,9 +10,9 @@ void()* getfn::return
void()* getfn::return#0 return zp[2]:3 22.0
void()* getfn::return#3 return zp[2]:3 3.6666666666666665
void main()
void()*~ main::$0 zp[2]:3 11.0
void()*~ main::$0 zp[2]:3 110.0
byte main::i
byte main::i#1 i zp[1]:2 5.5
byte main::i#1 i zp[1]:2 16.5
byte main::i#2 i zp[1]:2 22.0
zp[1]:2 [ main::i#2 main::i#1 ]

2
src/test/ref/function-pointer-noarg-call-4.cfg
View File

@ -19,5 +19,5 @@ main::@2: scope:[main] from main::@1
to:main::@3
main::@3: scope:[main] from main::@2
[5] phi()
[6] call fn1
[6] callexecute fn1
to:main::@1

11
src/test/ref/function-pointer-noarg-call-4.log
View File

@ -1,4 +1,5 @@
Resolved forward reference fn1 to void fn1()
Calling convention STACK_CALL adding prepare/execute/finalize for call *main::$0
CONTROL FLOW GRAPH SSA
@ -21,7 +22,7 @@ main::@3: scope:[main] from main::@2
main::i#4 = phi( main::@2/main::i#1 )
getfn::return#3 = phi( main::@2/getfn::return#0 )
main::$0 = getfn::return#3
call *main::$0
callexecute *main::$0
to:main::@1
main::@return: scope:[main] from main::@1
return
@ -91,7 +92,7 @@ Constant getfn::return#0 = getfn::return#1
Successful SSA optimization Pass2ConstantIdentification
Constant main::$0 = getfn::return#0
Successful SSA optimization Pass2ConstantIdentification
Replacing constant pointer function [8] call fn1
Replacing constant pointer function [8] callexecute fn1
Successful SSA optimization Pass2ConstantCallPointerIdentification
if() condition always true - replacing block destination [2] if(true) goto main::@2
Successful SSA optimization Pass2ConstantIfs
@ -150,7 +151,7 @@ main::@2: scope:[main] from main::@1
to:main::@3
main::@3: scope:[main] from main::@2
[5] phi()
[6] call fn1
[6] callexecute fn1
to:main::@1
null depth in calling loop Loop head: main::@1 tails: main::@3 blocks: main::@3 main::@2 main::@1 in scope fn1
@ -223,7 +224,7 @@ main: {
jmp __b3
// main::@3
__b3:
// [6] call fn1
// [6] callexecute fn1 -- jsr
jsr fn1
// [3] phi from main::@3 to main::@1 [phi:main::@3->main::@1]
__b1_from___b3:
@ -300,7 +301,7 @@ main: {
// [5] phi from main::@2 to main::@3 [phi:main::@2->main::@3]
// main::@3
// (*getfn(++i))()
// [6] call fn1
// [6] callexecute fn1 -- jsr
jsr fn1
// [3] phi from main::@3 to main::@1 [phi:main::@3->main::@1]
// [3] phi main::i#2 = main::i#1 [phi:main::@3->main::@1#0] -- register_copy

2
src/test/ref/function-pointer-noarg-call-5.cfg
View File

@ -11,7 +11,7 @@ main::@2: scope:[main] from main::@1
[3] main::$0 = main::i#1 & 1
[4] main::$2 = main::$0 << 1
[5] main::f#0 = fns[main::$2]
[6] call *main::f#0
[6] callexecute *main::f#0
to:main::@1
void fn2()

36
src/test/ref/function-pointer-noarg-call-5.log
View File

@ -1,3 +1,4 @@
Calling convention STACK_CALL adding prepare/execute/finalize for call *main::f
CONTROL FLOW GRAPH SSA
@ -31,7 +32,7 @@ main::@2: scope:[main] from main::@1
main::$0 = main::i#1 & 1
main::$2 = main::$0 * SIZEOF_POINTER
main::f#0 = fns[main::$2]
call *main::f#0
callexecute *main::f#0
to:main::@1
main::@return: scope:[main] from main::@1
return
@ -102,6 +103,7 @@ Finalized unsigned number type (byte) 2
Successful SSA optimization PassNFinalizeNumberTypeConversions
Adding NOP phi() at start of main
CALL GRAPH
Calls in [main] to null:6
Created 1 initial phi equivalence classes
Coalesced [7] main::i#4 = main::i#1
@ -122,7 +124,7 @@ main::@2: scope:[main] from main::@1
[3] main::$0 = main::i#1 & 1
[4] main::$2 = main::$0 << 1
[5] main::f#0 = fns[main::$2]
[6] call *main::f#0
[6] callexecute *main::f#0
to:main::@1
void fn2()
@ -149,9 +151,9 @@ void main()
byte~ main::$0 22.0
byte~ main::$2 22.0
void()* main::f
void()* main::f#0 11.0
void()* main::f#0 110.0
byte main::i
byte main::i#1 6.6000000000000005
byte main::i#1 16.5
byte main::i#2 22.0
Initial phi equivalence classes
@ -169,28 +171,28 @@ Allocated zp[1]:3 [ main::$0 ]
Allocated zp[1]:4 [ main::$2 ]
Allocated zp[2]:5 [ main::f#0 ]
REGISTER UPLIFT POTENTIAL REGISTERS
Statement [4] main::$2 = main::$0 << 1 [ main::i#1 main::$2 ] ( [ main::i#1 main::$2 ] { } ) always clobbers reg byte a
Statement [4] main::$2 = main::$0 << 1 [ main::$2 ] ( [ main::$2 ] { } ) always clobbers reg byte a
Statement [5] main::f#0 = fns[main::$2] [ ] ( [ ] { } ) always clobbers reg byte a
Statement [6] callexecute *main::f#0 [ main::i#1 ] ( [ main::i#1 ] { } ) always clobbers reg byte a reg byte x reg byte y
Removing always clobbered register reg byte a as potential for zp[1]:2 [ main::i#2 main::i#1 ]
Statement [5] main::f#0 = fns[main::$2] [ main::i#1 main::f#0 ] ( [ main::i#1 main::f#0 ] { } ) always clobbers reg byte a
Statement [6] call *main::f#0 [ main::i#1 ] ( [ main::i#1 ] { } ) always clobbers reg byte a reg byte x reg byte y
Removing always clobbered register reg byte x as potential for zp[1]:2 [ main::i#2 main::i#1 ]
Removing always clobbered register reg byte y as potential for zp[1]:2 [ main::i#2 main::i#1 ]
Statement [3] main::$0 = main::i#1 & 1 [ main::i#1 main::$0 ] ( [ main::i#1 main::$0 ] { } ) always clobbers reg byte a
Statement [4] main::$2 = main::$0 << 1 [ main::i#1 main::$2 ] ( [ main::i#1 main::$2 ] { } ) always clobbers reg byte a
Statement [5] main::f#0 = fns[main::$2] [ main::i#1 main::f#0 ] ( [ main::i#1 main::f#0 ] { } ) always clobbers reg byte a
Statement [6] call *main::f#0 [ main::i#1 ] ( [ main::i#1 ] { } ) always clobbers reg byte a reg byte x reg byte y
Statement [3] main::$0 = main::i#1 & 1 [ main::$0 ] ( [ main::$0 ] { } ) always clobbers reg byte a
Statement [4] main::$2 = main::$0 << 1 [ main::$2 ] ( [ main::$2 ] { } ) always clobbers reg byte a
Statement [5] main::f#0 = fns[main::$2] [ ] ( [ ] { } ) always clobbers reg byte a
Statement [6] callexecute *main::f#0 [ main::i#1 ] ( [ main::i#1 ] { } ) always clobbers reg byte a reg byte x reg byte y
Potential registers zp[1]:2 [ main::i#2 main::i#1 ] : zp[1]:2 ,
Potential registers zp[1]:3 [ main::$0 ] : zp[1]:3 , reg byte a , reg byte x , reg byte y ,
Potential registers zp[1]:4 [ main::$2 ] : zp[1]:4 , reg byte a , reg byte x , reg byte y ,
Potential registers zp[2]:5 [ main::f#0 ] : zp[2]:5 ,
REGISTER UPLIFT SCOPES
Uplift Scope [main] 28.6: zp[1]:2 [ main::i#2 main::i#1 ] 22: zp[1]:3 [ main::$0 ] 22: zp[1]:4 [ main::$2 ] 11: zp[2]:5 [ main::f#0 ]
Uplift Scope [main] 110: zp[2]:5 [ main::f#0 ] 38.5: zp[1]:2 [ main::i#2 main::i#1 ] 22: zp[1]:3 [ main::$0 ] 22: zp[1]:4 [ main::$2 ]
Uplift Scope [fn1]
Uplift Scope [fn2]
Uplift Scope []
Uplifting [main] best 570 combination zp[1]:2 [ main::i#2 main::i#1 ] reg byte a [ main::$0 ] reg byte a [ main::$2 ] zp[2]:5 [ main::f#0 ]
Uplifting [main] best 570 combination zp[2]:5 [ main::f#0 ] zp[1]:2 [ main::i#2 main::i#1 ] reg byte a [ main::$0 ] reg byte a [ main::$2 ]
Uplifting [fn1] best 570 combination
Uplifting [fn2] best 570 combination
Uplifting [] best 570 combination
@ -240,7 +242,7 @@ main: {
sta.z f
lda fns+1,y
sta.z f+1
// [6] call *main::f#0
// [6] callexecute *main::f#0
jsr bi_f
// [1] phi from main::@2 to main::@1 [phi:main::@2->main::@1]
__b1_from___b2:
@ -301,9 +303,9 @@ void main()
byte~ main::$0 reg byte a 22.0
byte~ main::$2 reg byte a 22.0
void()* main::f
void()* main::f#0 f zp[2]:3 11.0
void()* main::f#0 f zp[2]:3 110.0
byte main::i
byte main::i#1 i zp[1]:2 6.6000000000000005
byte main::i#1 i zp[1]:2 16.5
byte main::i#2 i zp[1]:2 22.0
zp[1]:2 [ main::i#2 main::i#1 ]
@ -356,7 +358,7 @@ main: {
lda fns+1,y
sta.z f+1
// (*f)()
// [6] call *main::f#0
// [6] callexecute *main::f#0
jsr bi_f
// [1] phi from main::@2 to main::@1 [phi:main::@2->main::@1]
// [1] phi main::i#2 = main::i#1 [phi:main::@2->main::@1#0] -- register_copy

4
src/test/ref/function-pointer-noarg-call-5.sym
View File

@ -7,9 +7,9 @@ void main()
byte~ main::$0 reg byte a 22.0
byte~ main::$2 reg byte a 22.0
void()* main::f
void()* main::f#0 f zp[2]:3 11.0
void()* main::f#0 f zp[2]:3 110.0
byte main::i
byte main::i#1 i zp[1]:2 6.6000000000000005
byte main::i#1 i zp[1]:2 16.5
byte main::i#2 i zp[1]:2 22.0
zp[1]:2 [ main::i#2 main::i#1 ]

2
src/test/ref/function-pointer-noarg-call-6.cfg
View File

@ -12,7 +12,7 @@ main::@return: scope:[main] from main::@1
to:@return
main::@2: scope:[main] from main::@1
[4] phi()
[5] call fn1
[5] callexecute fn1
[6] *main::cols#2 = ++ *main::cols#2
[7] main::cols#1 = ++ main::cols#2
to:main::@1

11
src/test/ref/function-pointer-noarg-call-6.log
View File

@ -1,3 +1,4 @@
Calling convention STACK_CALL adding prepare/execute/finalize for call *main::cls
CONTROL FLOW GRAPH SSA
@ -30,7 +31,7 @@ main::@1: scope:[main] from main main::@2
to:main::@return
main::@2: scope:[main] from main::@1
main::cols#3 = phi( main::@1/main::cols#2 )
call *main::cls
callexecute *main::cls
*main::cols#3 = ++ *main::cols#3
main::cols#1 = ++ main::cols#3
to:main::@1
@ -81,7 +82,7 @@ Successful SSA optimization Pass2ConditionalJumpSimplification
Constant fn1::screen#0 = (byte*) 1024
Constant main::cols#0 = (byte*) 55296
Successful SSA optimization Pass2ConstantIdentification
Replacing constant pointer function [11] call fn1
Replacing constant pointer function [11] callexecute fn1
Successful SSA optimization Pass2ConstantCallPointerIdentification
Eliminating unused constant main::cls
Successful SSA optimization PassNEliminateUnusedVars
@ -132,7 +133,7 @@ main::@return: scope:[main] from main::@1
to:@return
main::@2: scope:[main] from main::@1
[4] phi()
[5] call fn1
[5] callexecute fn1
[6] *main::cols#2 = ++ *main::cols#2
[7] main::cols#1 = ++ main::cols#2
to:main::@1
@ -235,7 +236,7 @@ main: {
jmp __b2
// main::@2
__b2:
// [5] call fn1
// [5] callexecute fn1 -- jsr
jsr fn1
// [6] *main::cols#2 = ++ *main::cols#2 -- _deref_pbuz1=_inc__deref_pbuz1
ldy #0
@ -383,7 +384,7 @@ main: {
// main::@2
__b2:
// (*cls)()
// [5] call fn1
// [5] callexecute fn1 -- jsr
jsr fn1
// (*cols)++;
// [6] *main::cols#2 = ++ *main::cols#2 -- _deref_pbuz1=_inc__deref_pbuz1

2
src/test/ref/function-pointer-noarg-call-7.cfg
View File

@ -44,7 +44,7 @@ do10: scope:[do10] from main
to:do10::@1
do10::@1: scope:[do10] from do10 do10::@1
[16] do10::i#2 = phi( do10/0, do10::@1/do10::i#1 )
[17] call hello
[17] callexecute hello
[18] do10::i#1 = ++ do10::i#2
[19] if(do10::i#1!=$a) goto do10::@1
to:do10::@return

11
src/test/ref/function-pointer-noarg-call-7.log
View File

@ -1,4 +1,5 @@
Inlined call call __init
Calling convention STACK_CALL adding prepare/execute/finalize for call *do10::fn
CONTROL FLOW GRAPH SSA
@ -10,7 +11,7 @@ do10: scope:[do10] from main
do10::@1: scope:[do10] from do10 do10::@1
do10::i#2 = phi( do10/do10::i#0, do10::@1/do10::i#1 )
do10::fn#1 = phi( do10/do10::fn#2, do10::@1/do10::fn#1 )
call *do10::fn#1
callexecute *do10::fn#1
do10::i#1 = do10::i#2 + rangenext(0,9)
do10::$1 = do10::i#1 != rangelast(0,9)
if(do10::$1) goto do10::@1
@ -102,7 +103,7 @@ Constant do10::i#0 = 0
Constant hello::i#0 = 0
Constant do10::fn#0 = main::f
Successful SSA optimization Pass2ConstantIdentification
Replacing constant pointer function [3] call hello
Replacing constant pointer function [3] callexecute hello
Successful SSA optimization Pass2ConstantCallPointerIdentification
Resolved ranged next value [4] do10::i#1 = ++ do10::i#2 to ++
Resolved ranged comparison value [6] if(do10::i#1!=rangelast(0,9)) goto do10::@1 to $a
@ -196,7 +197,7 @@ do10: scope:[do10] from main
to:do10::@1
do10::@1: scope:[do10] from do10 do10::@1
[16] do10::i#2 = phi( do10/0, do10::@1/do10::i#1 )
[17] call hello
[17] callexecute hello
[18] do10::i#1 = ++ do10::i#2
[19] if(do10::i#1!=$a) goto do10::@1
to:do10::@return
@ -362,7 +363,7 @@ do10: {
jmp __b1
// do10::@1
__b1:
// [17] call hello
// [17] callexecute hello -- jsr
jsr hello
// [18] do10::i#1 = ++ do10::i#2 -- vbuz1=_inc_vbuz1
inc.z i
@ -519,7 +520,7 @@ do10: {
// do10::@1
__b1:
// (*fn)()
// [17] call hello
// [17] callexecute hello -- jsr
jsr hello
// for( byte i: 0..9)
// [18] do10::i#1 = ++ do10::i#2 -- vbuz1=_inc_vbuz1

2
src/test/ref/function-pointer-noarg-call-8.cfg
View File

@ -49,7 +49,7 @@ do10: scope:[do10] from main main::@1
to:do10::@1
do10::@1: scope:[do10] from do10 do10::@1
[19] do10::i#2 = phi( do10/0, do10::@1/do10::i#1 )
[20] call hello
[20] callexecute hello
[21] do10::i#1 = ++ do10::i#2
[22] if(do10::i#1!=$a) goto do10::@1
to:do10::@return

11
src/test/ref/function-pointer-noarg-call-8.log
View File

@ -1,4 +1,5 @@
Inlined call call __init
Calling convention STACK_CALL adding prepare/execute/finalize for call *do10::fn
CONTROL FLOW GRAPH SSA
@ -10,7 +11,7 @@ do10: scope:[do10] from main main::@1
do10::@1: scope:[do10] from do10 do10::@1
do10::i#2 = phi( do10/do10::i#0, do10::@1/do10::i#1 )
do10::fn#2 = phi( do10/do10::fn#3, do10::@1/do10::fn#2 )
call *do10::fn#2
callexecute *do10::fn#2
do10::i#1 = do10::i#2 + rangenext(0,9)
do10::$1 = do10::i#1 != rangelast(0,9)
if(do10::$1) goto do10::@1
@ -131,7 +132,7 @@ Constant inlined do10::fn#0 = main::f
Successful SSA optimization Pass2ConstantInlining
Identical Phi Values do10::fn#3 main::f
Successful SSA optimization Pass2IdenticalPhiElimination
Replacing constant pointer function [2] call hello
Replacing constant pointer function [2] callexecute hello
Successful SSA optimization Pass2ConstantCallPointerIdentification
Eliminating unused constant main::f
Successful SSA optimization PassNEliminateUnusedVars
@ -213,7 +214,7 @@ do10: scope:[do10] from main main::@1
to:do10::@1
do10::@1: scope:[do10] from do10 do10::@1
[19] do10::i#2 = phi( do10/0, do10::@1/do10::i#1 )
[20] call hello
[20] callexecute hello
[21] do10::i#1 = ++ do10::i#2
[22] if(do10::i#1!=$a) goto do10::@1
to:do10::@return
@ -412,7 +413,7 @@ do10: {
jmp __b1
// do10::@1
__b1:
// [20] call hello
// [20] callexecute hello -- jsr
jsr hello
// [21] do10::i#1 = ++ do10::i#2 -- vbuz1=_inc_vbuz1
inc.z i
@ -600,7 +601,7 @@ do10: {
// do10::@1
__b1:
// (*fn)()
// [20] call hello
// [20] callexecute hello -- jsr
jsr hello
// for( byte i: 0..9)
// [21] do10::i#1 = ++ do10::i#2 -- vbuz1=_inc_vbuz1

4
src/test/ref/function-pointer-noarg-call-9.cfg
View File

@ -25,9 +25,9 @@ fn1::@return: scope:[fn1] from fn1
void main()
main: scope:[main] from __start::@1
[7] phi()
[8] call fn1
[8] callexecute fn1
[9] SCREEN[idx] = 'a'
[10] call fn1
[10] callexecute fn1
[11] SCREEN[idx] = 'a'
to:main::@return
main::@return: scope:[main] from main

22
src/test/ref/function-pointer-noarg-call-9.log
View File

@ -1,4 +1,6 @@
Inlined call call __init
Calling convention STACK_CALL adding prepare/execute/finalize for call *main::f
Calling convention STACK_CALL adding prepare/execute/finalize for call *main::f
CONTROL FLOW GRAPH SSA
@ -12,9 +14,9 @@ fn1::@return: scope:[fn1] from fn1
void main()
main: scope:[main] from __start::@1
call *main::f
callexecute *main::f
SCREEN[idx] = 'a'
call *main::f
callexecute *main::f
SCREEN[idx] = 'a'
to:main::@return
main::@return: scope:[main] from main
@ -46,8 +48,8 @@ constant void()* main::f = &fn1
Simplifying constant pointer cast (byte*) 1024
Successful SSA optimization PassNCastSimplification
Replacing constant pointer function [2] call fn1
Replacing constant pointer function [4] call fn1
Replacing constant pointer function [2] callexecute fn1
Replacing constant pointer function [4] callexecute fn1
Successful SSA optimization Pass2ConstantCallPointerIdentification
Eliminating unused constant main::f
Successful SSA optimization PassNEliminateUnusedVars
@ -94,9 +96,9 @@ fn1::@return: scope:[fn1] from fn1
void main()
main: scope:[main] from __start::@1
[7] phi()
[8] call fn1
[8] callexecute fn1
[9] SCREEN[idx] = 'a'
[10] call fn1
[10] callexecute fn1
[11] SCREEN[idx] = 'a'
to:main::@return
main::@return: scope:[main] from main
@ -185,13 +187,13 @@ fn1: {
}
// main
main: {
// [8] call fn1
// [8] callexecute fn1 -- jsr
jsr fn1
// [9] SCREEN[idx] = 'a' -- pbuc1_derefidx_vbuz1=vbuc2
lda #'a'
ldy.z idx
sta SCREEN,y
// [10] call fn1
// [10] callexecute fn1 -- jsr
jsr fn1
// [11] SCREEN[idx] = 'a' -- pbuc1_derefidx_vbuz1=vbuc2
lda #'a'
@ -279,7 +281,7 @@ fn1: {
// main
main: {
// (*f)()
// [8] call fn1
// [8] callexecute fn1 -- jsr
jsr fn1
// SCREEN[idx] = 'a'
// [9] SCREEN[idx] = 'a' -- pbuc1_derefidx_vbuz1=vbuc2
@ -287,7 +289,7 @@ main: {
ldy.z idx
sta SCREEN,y
// (*f)()
// [10] call fn1
// [10] callexecute fn1 -- jsr
jsr fn1
// SCREEN[idx] = 'a'
// [11] SCREEN[idx] = 'a' -- pbuc1_derefidx_vbuz1=vbuc2

2
src/test/ref/function-pointer-noarg-call.cfg
View File

@ -2,7 +2,7 @@
void main()
main: scope:[main] from
[0] phi()
[1] call fn1
[1] callexecute fn1
to:main::@return
main::@return: scope:[main] from main
[2] return

11
src/test/ref/function-pointer-noarg-call.log
View File

@ -1,3 +1,4 @@
Calling convention STACK_CALL adding prepare/execute/finalize for call *main::f
CONTROL FLOW GRAPH SSA
@ -11,7 +12,7 @@ fn1::@return: scope:[fn1] from fn1
void main()
main: scope:[main] from __start
call *main::f
callexecute *main::f
to:main::@return
main::@return: scope:[main] from main
return
@ -36,7 +37,7 @@ constant void()* main::f = &fn1
Simplifying constant pointer cast (byte*) 53280
Successful SSA optimization PassNCastSimplification
Replacing constant pointer function [2] call fn1
Replacing constant pointer function [2] callexecute fn1
Successful SSA optimization Pass2ConstantCallPointerIdentification
Eliminating unused constant main::f
Successful SSA optimization PassNEliminateUnusedVars
@ -58,7 +59,7 @@ FINAL CONTROL FLOW GRAPH
void main()
main: scope:[main] from
[0] phi()
[1] call fn1
[1] callexecute fn1
to:main::@return
main::@return: scope:[main] from main
[2] return
@ -106,7 +107,7 @@ ASSEMBLER BEFORE OPTIMIZATION
.segment Code
// main
main: {
// [1] call fn1
// [1] callexecute fn1 -- jsr
jsr fn1
jmp __breturn
// main::@return
@ -161,7 +162,7 @@ Score: 24
// main
main: {
// (*f)()
// [1] call fn1
// [1] callexecute fn1 -- jsr
jsr fn1
// main::@return
// }

Some files were not shown because too many files have changed in this diff Show More