6502/kickc
1
0
Fork 0
mirror of https://gitlab.com/camelot/kickc.git synced 2025-08-09 04:25:12 +00:00
Code Issues Projects Releases Wiki Activity

Updated tests

Browse Source
This commit is contained in:
jespergravgaard
2019-06-22 13:45:11 +02:00
parent 03e76570b8
commit 281a77c06c
8 changed files with 565 additions and 583 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
src/test/ref/complex/medusa/medusa.asm
View File

@@ -42,15 +42,27 @@ main: {
// Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination. // Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination.
// memcpy(void* zeropage(4) destination, void* zeropage(2) source) // memcpy(void* zeropage(4) destination, void* zeropage(2) source)
memcpy: { memcpy: {
.label src_end = 6
.label dst = 4 .label dst = 4
.label src = 2 .label src = 2
.label i = 6
.label source = 2 .label source = 2
.label destination = 4 .label destination = 4
lda #0 lda source
sta i clc
sta i+1 adc #<$3e8
sta src_end
lda source+1
adc #>$3e8
sta src_end+1
b1: b1:
lda src+1
cmp src_end+1
bne b2
lda src
cmp src_end
bne b2
rts
b2:
ldy #0 ldy #0
lda (src),y lda (src),y
sta (dst),y sta (dst),y
@@ -62,19 +74,7 @@ memcpy: {
bne !+ bne !+
inc src+1 inc src+1
!: !:
inc i jmp b1
bne !+
inc i+1
!:
lda i+1
cmp #>$3e8
bcc b1
bne !+
lda i
cmp #<$3e8
bcc b1
!:
rts
} }
.pc = MEDUSA_SCREEN "MEDUSA_SCREEN" .pc = MEDUSA_SCREEN "MEDUSA_SCREEN"
.var fileScreen = LoadBinary("medusas.prg", BF_C64FILE) .var fileScreen = LoadBinary("medusas.prg", BF_C64FILE)

25
src/test/ref/complex/medusa/medusa.cfg
View File

@@ -29,19 +29,20 @@ main::@1: scope:[main] from main::@1 main::@2
memcpy: scope:[memcpy] from main main::@2 memcpy: scope:[memcpy] from main main::@2
[11] (void*) memcpy::destination#2 ← phi( main/(void*)(const byte*) SCREEN#0 main::@2/(void*)(const byte*) COLS#0 ) [11] (void*) memcpy::destination#2 ← phi( main/(void*)(const byte*) SCREEN#0 main::@2/(void*)(const byte*) COLS#0 )
[11] (void*) memcpy::source#2 ← phi( main/(void*)(const byte*) MEDUSA_SCREEN#0 main::@2/(void*)(const byte*) MEDUSA_COLORS#0 ) [11] (void*) memcpy::source#2 ← phi( main/(void*)(const byte*) MEDUSA_SCREEN#0 main::@2/(void*)(const byte*) MEDUSA_COLORS#0 )
[12] (byte*~) memcpy::src#3 ← (byte*)(void*) memcpy::source#2 [12] (byte*) memcpy::src_end#0 ← (byte*)(void*) memcpy::source#2 + (word) $3e8
[13] (byte*~) memcpy::dst#3 ← (byte*)(void*) memcpy::destination#2 [13] (byte*~) memcpy::src#4 ← (byte*)(void*) memcpy::source#2
[14] (byte*~) memcpy::dst#4 ← (byte*)(void*) memcpy::destination#2
to:memcpy::@1 to:memcpy::@1
memcpy::@1: scope:[memcpy] from memcpy memcpy::@1 memcpy::@1: scope:[memcpy] from memcpy memcpy::@2
[14] (word) memcpy::i#2 ← phi( memcpy/(byte) 0 memcpy::@1/(word) memcpy::i#1 ) [15] (byte*) memcpy::dst#2 ← phi( memcpy/(byte*~) memcpy::dst#4 memcpy::@2/(byte*) memcpy::dst#1 )
[14] (byte*) memcpy::dst#2 ← phi( memcpy/(byte*~) memcpy::dst#3 memcpy::@1/(byte*) memcpy::dst#1 ) [15] (byte*) memcpy::src#2 ← phi( memcpy/(byte*~) memcpy::src#4 memcpy::@2/(byte*) memcpy::src#1 )
[14] (byte*) memcpy::src#2 ← phi( memcpy/(byte*~) memcpy::src#3 memcpy::@1/(byte*) memcpy::src#1 ) [16] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2
[15] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2)
[16] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2
[17] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2
[18] (word) memcpy::i#1 ← ++ (word) memcpy::i#2
[19] if((word) memcpy::i#1<(word) $3e8) goto memcpy::@1
to:memcpy::@return to:memcpy::@return
memcpy::@return: scope:[memcpy] from memcpy::@1 memcpy::@return: scope:[memcpy] from memcpy::@1
[20] return [17] return
to:@return to:@return
memcpy::@2: scope:[memcpy] from memcpy::@1
[18] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2)
[19] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2
[20] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2
to:memcpy::@1

465
src/test/ref/complex/medusa/medusa.log
View File

@@ -61,7 +61,10 @@ Culled Empty Block (label) @1
Culled Empty Block (label) @2 Culled Empty Block (label) @2
Culled Empty Block (label) @3 Culled Empty Block (label) @3
Culled Empty Block (label) @4 Culled Empty Block (label) @4
Culled Empty Block (label) memcpy::@3 Culled Empty Block (label) memcpy::@4
Culled Empty Block (label) memcpy::@5
Culled Empty Block (label) memcpy::@6
Culled Empty Block (label) memcpy::@7
Culled Empty Block (label) @5 Culled Empty Block (label) @5
Culled Empty Block (label) @6 Culled Empty Block (label) @6
Culled Empty Block (label) @7 Culled Empty Block (label) @7
@@ -77,32 +80,38 @@ CONTROL FLOW GRAPH SSA
(byte) BLACK#0 ← (number) 0 (byte) BLACK#0 ← (number) 0
to:@8 to:@8
memcpy: scope:[memcpy] from main main::@7 memcpy: scope:[memcpy] from main main::@7
(word) memcpy::num#3 ← phi( main/(word) memcpy::num#0 main::@7/(word) memcpy::num#1 ) (word) memcpy::num#2 ← phi( main/(word) memcpy::num#0 main::@7/(word) memcpy::num#1 )
(void*) memcpy::destination#2 ← phi( main/(void*) memcpy::destination#0 main::@7/(void*) memcpy::destination#1 ) (void*) memcpy::destination#2 ← phi( main/(void*) memcpy::destination#0 main::@7/(void*) memcpy::destination#1 )
(void*) memcpy::source#2 ← phi( main/(void*) memcpy::source#0 main::@7/(void*) memcpy::source#1 ) (void*) memcpy::source#2 ← phi( main/(void*) memcpy::source#0 main::@7/(void*) memcpy::source#1 )
(byte*) memcpy::src#0 ← ((byte*)) (void*) memcpy::source#2 (byte*) memcpy::src#0 ← ((byte*)) (void*) memcpy::source#2
(byte*) memcpy::dst#0 ← ((byte*)) (void*) memcpy::destination#2 (byte*) memcpy::dst#0 ← ((byte*)) (void*) memcpy::destination#2
(word) memcpy::i#0 ← (number) 0 (byte*~) memcpy::$0 ← ((byte*)) (void*) memcpy::source#2
(byte*~) memcpy::$1 ← (byte*~) memcpy::$0 + (word) memcpy::num#2
(byte*) memcpy::src_end#0 ← (byte*~) memcpy::$1
to:memcpy::@1 to:memcpy::@1
memcpy::@1: scope:[memcpy] from memcpy memcpy::@1 memcpy::@1: scope:[memcpy] from memcpy memcpy::@2
(void*) memcpy::destination#4 ← phi( memcpy/(void*) memcpy::destination#2 memcpy::@1/(void*) memcpy::destination#4 ) (void*) memcpy::destination#4 ← phi( memcpy/(void*) memcpy::destination#2 memcpy::@2/(void*) memcpy::destination#5 )
(word) memcpy::num#2 ← phi( memcpy/(word) memcpy::num#3 memcpy::@1/(word) memcpy::num#2 ) (byte*) memcpy::dst#3 ← phi( memcpy/(byte*) memcpy::dst#0 memcpy::@2/(byte*) memcpy::dst#1 )
(word) memcpy::i#2 ← phi( memcpy/(word) memcpy::i#0 memcpy::@1/(word) memcpy::i#1 ) (byte*) memcpy::src_end#1 ← phi( memcpy/(byte*) memcpy::src_end#0 memcpy::@2/(byte*) memcpy::src_end#2 )
(byte*) memcpy::dst#2 ← phi( memcpy/(byte*) memcpy::dst#0 memcpy::@1/(byte*) memcpy::dst#1 ) (byte*) memcpy::src#2 ← phi( memcpy/(byte*) memcpy::src#0 memcpy::@2/(byte*) memcpy::src#1 )
(byte*) memcpy::src#2 ← phi( memcpy/(byte*) memcpy::src#0 memcpy::@1/(byte*) memcpy::src#1 ) (bool~) memcpy::$2 ← (byte*) memcpy::src#2 != (byte*) memcpy::src_end#1
*((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) if((bool~) memcpy::$2) goto memcpy::@2
(byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 to:memcpy::@3
(byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2
(word) memcpy::i#1 ← ++ (word) memcpy::i#2
(bool~) memcpy::$0 ← (word) memcpy::i#1 < (word) memcpy::num#2
if((bool~) memcpy::$0) goto memcpy::@1
to:memcpy::@2
memcpy::@2: scope:[memcpy] from memcpy::@1 memcpy::@2: scope:[memcpy] from memcpy::@1
(void*) memcpy::destination#5 ← phi( memcpy::@1/(void*) memcpy::destination#4 )
(byte*) memcpy::src_end#2 ← phi( memcpy::@1/(byte*) memcpy::src_end#1 )
(byte*) memcpy::dst#2 ← phi( memcpy::@1/(byte*) memcpy::dst#3 )
(byte*) memcpy::src#3 ← phi( memcpy::@1/(byte*) memcpy::src#2 )
*((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#3)
(byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2
(byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#3
to:memcpy::@1
memcpy::@3: scope:[memcpy] from memcpy::@1
(void*) memcpy::destination#3 ← phi( memcpy::@1/(void*) memcpy::destination#4 ) (void*) memcpy::destination#3 ← phi( memcpy::@1/(void*) memcpy::destination#4 )
(void*) memcpy::return#0 ← (void*) memcpy::destination#3 (void*) memcpy::return#0 ← (void*) memcpy::destination#3
to:memcpy::@return to:memcpy::@return
memcpy::@return: scope:[memcpy] from memcpy::@2 memcpy::@return: scope:[memcpy] from memcpy::@3
(void*) memcpy::return#4 ← phi( memcpy::@2/(void*) memcpy::return#0 ) (void*) memcpy::return#4 ← phi( memcpy::@3/(void*) memcpy::return#0 )
(void*) memcpy::return#1 ← (void*) memcpy::return#4 (void*) memcpy::return#1 ← (void*) memcpy::return#4
return return
to:@return to:@return
@@ -177,9 +186,12 @@ SYMBOL TABLE SSA
(label) main::@8 (label) main::@8
(label) main::@return (label) main::@return
(void*()) memcpy((void*) memcpy::destination , (void*) memcpy::source , (word) memcpy::num) (void*()) memcpy((void*) memcpy::destination , (void*) memcpy::source , (word) memcpy::num)
(bool~) memcpy::$0 (byte*~) memcpy::$0
(byte*~) memcpy::$1
(bool~) memcpy::$2
(label) memcpy::@1 (label) memcpy::@1
(label) memcpy::@2 (label) memcpy::@2
(label) memcpy::@3
(label) memcpy::@return (label) memcpy::@return
(void*) memcpy::destination (void*) memcpy::destination
(void*) memcpy::destination#0 (void*) memcpy::destination#0
@@ -187,19 +199,16 @@ SYMBOL TABLE SSA
(void*) memcpy::destination#2 (void*) memcpy::destination#2
(void*) memcpy::destination#3 (void*) memcpy::destination#3
(void*) memcpy::destination#4 (void*) memcpy::destination#4
(void*) memcpy::destination#5
(byte*) memcpy::dst (byte*) memcpy::dst
(byte*) memcpy::dst#0 (byte*) memcpy::dst#0
(byte*) memcpy::dst#1 (byte*) memcpy::dst#1
(byte*) memcpy::dst#2 (byte*) memcpy::dst#2
(word) memcpy::i (byte*) memcpy::dst#3
(word) memcpy::i#0
(word) memcpy::i#1
(word) memcpy::i#2
(word) memcpy::num (word) memcpy::num
(word) memcpy::num#0 (word) memcpy::num#0
(word) memcpy::num#1 (word) memcpy::num#1
(word) memcpy::num#2 (word) memcpy::num#2
(word) memcpy::num#3
(void*) memcpy::return (void*) memcpy::return
(void*) memcpy::return#0 (void*) memcpy::return#0
(void*) memcpy::return#1 (void*) memcpy::return#1
@@ -214,9 +223,13 @@ SYMBOL TABLE SSA
(byte*) memcpy::src#0 (byte*) memcpy::src#0
(byte*) memcpy::src#1 (byte*) memcpy::src#1
(byte*) memcpy::src#2 (byte*) memcpy::src#2
(byte*) memcpy::src#3
(byte*) memcpy::src_end
(byte*) memcpy::src_end#0
(byte*) memcpy::src_end#1
(byte*) memcpy::src_end#2
Adding number conversion cast (unumber) 0 in (byte) BLACK#0 ← (number) 0 Adding number conversion cast (unumber) 0 in (byte) BLACK#0 ← (number) 0
Adding number conversion cast (unumber) 0 in (word) memcpy::i#0 ← (number) 0
Adding number conversion cast (unumber) $3e8 in (word) memcpy::num#0 ← (number) $3e8 Adding number conversion cast (unumber) $3e8 in (word) memcpy::num#0 ← (number) $3e8
Adding number conversion cast (unumber) $3e8 in (word) memcpy::num#1 ← (number) $3e8 Adding number conversion cast (unumber) $3e8 in (word) memcpy::num#1 ← (number) $3e8
Adding number conversion cast (unumber) $3e7 in (byte*~) main::$2 ← (byte*) SCREEN#0 + (number) $3e7 Adding number conversion cast (unumber) $3e7 in (byte*~) main::$2 ← (byte*) SCREEN#0 + (number) $3e7
@@ -227,7 +240,7 @@ Inlining cast (byte*) COLS#0 ← (byte*)(number) $d800
Inlining cast (byte) BLACK#0 ← (unumber)(number) 0 Inlining cast (byte) BLACK#0 ← (unumber)(number) 0
Inlining cast (byte*) memcpy::src#0 ← (byte*)(void*) memcpy::source#2 Inlining cast (byte*) memcpy::src#0 ← (byte*)(void*) memcpy::source#2
Inlining cast (byte*) memcpy::dst#0 ← (byte*)(void*) memcpy::destination#2 Inlining cast (byte*) memcpy::dst#0 ← (byte*)(void*) memcpy::destination#2
Inlining cast (word) memcpy::i#0 ← (unumber)(number) 0 Inlining cast (byte*~) memcpy::$0 ← (byte*)(void*) memcpy::source#2
Inlining cast (byte*) MEDUSA_SCREEN#0 ← (byte*)(number) $1000 Inlining cast (byte*) MEDUSA_SCREEN#0 ← (byte*)(number) $1000
Inlining cast (byte*) MEDUSA_COLORS#0 ← (byte*)(number) $1400 Inlining cast (byte*) MEDUSA_COLORS#0 ← (byte*)(number) $1400
Inlining cast (byte*) SCREEN#0 ← (byte*)(number) $400 Inlining cast (byte*) SCREEN#0 ← (byte*)(number) $400
@@ -237,7 +250,6 @@ Successful SSA optimization Pass2InlineCast
Simplifying constant pointer cast (byte*) 53281 Simplifying constant pointer cast (byte*) 53281
Simplifying constant pointer cast (byte*) 55296 Simplifying constant pointer cast (byte*) 55296
Simplifying constant integer cast 0 Simplifying constant integer cast 0
Simplifying constant integer cast 0
Simplifying constant pointer cast (byte*) 4096 Simplifying constant pointer cast (byte*) 4096
Simplifying constant pointer cast (byte*) 5120 Simplifying constant pointer cast (byte*) 5120
Simplifying constant pointer cast (byte*) 1024 Simplifying constant pointer cast (byte*) 1024
@@ -247,45 +259,47 @@ Simplifying constant integer cast $3e7
Simplifying constant integer cast $e Simplifying constant integer cast $e
Successful SSA optimization PassNCastSimplification Successful SSA optimization PassNCastSimplification
Finalized unsigned number type (byte) 0 Finalized unsigned number type (byte) 0
Finalized unsigned number type (byte) 0
Finalized unsigned number type (word) $3e8 Finalized unsigned number type (word) $3e8
Finalized unsigned number type (word) $3e8 Finalized unsigned number type (word) $3e8
Finalized unsigned number type (word) $3e7 Finalized unsigned number type (word) $3e7
Finalized unsigned number type (byte) $e Finalized unsigned number type (byte) $e
Successful SSA optimization PassNFinalizeNumberTypeConversions Successful SSA optimization PassNFinalizeNumberTypeConversions
Alias (void*) memcpy::return#0 = (void*) memcpy::destination#3 (void*) memcpy::destination#4 (void*) memcpy::return#4 (void*) memcpy::return#1 Alias (byte*) memcpy::src_end#0 = (byte*~) memcpy::$1
Alias (byte*) memcpy::src#2 = (byte*) memcpy::src#3
Alias (byte*) memcpy::dst#2 = (byte*) memcpy::dst#3
Alias (byte*) memcpy::src_end#1 = (byte*) memcpy::src_end#2
Alias (void*) memcpy::destination#3 = (void*) memcpy::destination#5 (void*) memcpy::destination#4 (void*) memcpy::return#0 (void*) memcpy::return#4 (void*) memcpy::return#1
Successful SSA optimization Pass2AliasElimination Successful SSA optimization Pass2AliasElimination
Self Phi Eliminated (word) memcpy::num#2 Self Phi Eliminated (byte*) memcpy::src_end#1
Self Phi Eliminated (void*) memcpy::return#0 Self Phi Eliminated (void*) memcpy::destination#3
Successful SSA optimization Pass2SelfPhiElimination Successful SSA optimization Pass2SelfPhiElimination
Identical Phi Values (word) memcpy::num#2 (word) memcpy::num#3 Identical Phi Values (byte*) memcpy::src_end#1 (byte*) memcpy::src_end#0
Identical Phi Values (void*) memcpy::return#0 (void*) memcpy::destination#2 Identical Phi Values (void*) memcpy::destination#3 (void*) memcpy::destination#2
Successful SSA optimization Pass2IdenticalPhiElimination Successful SSA optimization Pass2IdenticalPhiElimination
Simple Condition (bool~) memcpy::$0 [13] if((word) memcpy::i#1<(word) memcpy::num#3) goto memcpy::@1 Simple Condition (bool~) memcpy::$2 [11] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2
Successful SSA optimization Pass2ConditionalJumpSimplification Successful SSA optimization Pass2ConditionalJumpSimplification
Constant (const byte*) BGCOL#0 = (byte*) 53281 Constant (const byte*) BGCOL#0 = (byte*) 53281
Constant (const byte*) COLS#0 = (byte*) 55296 Constant (const byte*) COLS#0 = (byte*) 55296
Constant (const byte) BLACK#0 = 0 Constant (const byte) BLACK#0 = 0
Constant (const word) memcpy::i#0 = 0
Constant (const byte*) MEDUSA_SCREEN#0 = (byte*) 4096 Constant (const byte*) MEDUSA_SCREEN#0 = (byte*) 4096
Constant (const byte*) MEDUSA_COLORS#0 = (byte*) 5120 Constant (const byte*) MEDUSA_COLORS#0 = (byte*) 5120
Constant (const byte*) SCREEN#0 = (byte*) 1024 Constant (const byte*) SCREEN#0 = (byte*) 1024
Constant (const word) memcpy::num#0 = $3e8 Constant (const word) memcpy::num#0 = $3e8
Constant (const word) memcpy::num#1 = $3e8 Constant (const word) memcpy::num#1 = $3e8
Successful SSA optimization Pass2ConstantIdentification Successful SSA optimization Pass2ConstantIdentification
Constant value identified (void*)SCREEN#0 in [25] (void*) memcpy::destination#0 ← (void*)(const byte*) SCREEN#0 Constant value identified (void*)SCREEN#0 in [27] (void*) memcpy::destination#0 ← (void*)(const byte*) SCREEN#0
Constant value identified (void*)MEDUSA_SCREEN#0 in [26] (void*) memcpy::source#0 ← (void*)(const byte*) MEDUSA_SCREEN#0 Constant value identified (void*)MEDUSA_SCREEN#0 in [28] (void*) memcpy::source#0 ← (void*)(const byte*) MEDUSA_SCREEN#0
Constant value identified (void*)COLS#0 in [30] (void*) memcpy::destination#1 ← (void*)(const byte*) COLS#0 Constant value identified (void*)COLS#0 in [32] (void*) memcpy::destination#1 ← (void*)(const byte*) COLS#0
Constant value identified (void*)MEDUSA_COLORS#0 in [31] (void*) memcpy::source#1 ← (void*)(const byte*) MEDUSA_COLORS#0 Constant value identified (void*)MEDUSA_COLORS#0 in [33] (void*) memcpy::source#1 ← (void*)(const byte*) MEDUSA_COLORS#0
Successful SSA optimization Pass2ConstantValues Successful SSA optimization Pass2ConstantValues
if() condition always true - replacing block destination [35] if(true) goto main::@2 if() condition always true - replacing block destination [37] if(true) goto main::@2
Successful SSA optimization Pass2ConstantIfs Successful SSA optimization Pass2ConstantIfs
Eliminating unused variable (void*) memcpy::return#2 and assignment [16] (void*) memcpy::return#2 ← (void*) memcpy::destination#2 Eliminating unused variable (void*) memcpy::return#2 and assignment [17] (void*) memcpy::return#2 ← (void*) memcpy::destination#2
Eliminating unused variable (void*) memcpy::return#3 and assignment [20] (void*) memcpy::return#3 ← (void*) memcpy::destination#2 Eliminating unused variable (void*) memcpy::return#3 and assignment [21] (void*) memcpy::return#3 ← (void*) memcpy::destination#2
Successful SSA optimization PassNEliminateUnusedVars Successful SSA optimization PassNEliminateUnusedVars
Removing unused block main::@return Removing unused block main::@return
Successful SSA optimization Pass2EliminateUnusedBlocks Successful SSA optimization Pass2EliminateUnusedBlocks
Constant right-side identified [19] (byte*~) main::$2 ← (const byte*) SCREEN#0 + (word) $3e7 Constant right-side identified [20] (byte*~) main::$2 ← (const byte*) SCREEN#0 + (word) $3e7
Successful SSA optimization Pass2ConstantRValueConsolidation Successful SSA optimization Pass2ConstantRValueConsolidation
Constant (const void*) memcpy::destination#0 = (void*)SCREEN#0 Constant (const void*) memcpy::destination#0 = (void*)SCREEN#0
Constant (const void*) memcpy::source#0 = (void*)MEDUSA_SCREEN#0 Constant (const void*) memcpy::source#0 = (void*)MEDUSA_SCREEN#0
@@ -295,8 +309,8 @@ Constant (const byte*) main::$2 = SCREEN#0+$3e7
Successful SSA optimization Pass2ConstantIdentification Successful SSA optimization Pass2ConstantIdentification
Inlining Noop Cast [1] (byte*) memcpy::src#0 ← (byte*)(void*) memcpy::source#2 keeping memcpy::source#2 Inlining Noop Cast [1] (byte*) memcpy::src#0 ← (byte*)(void*) memcpy::source#2 keeping memcpy::source#2
Inlining Noop Cast [2] (byte*) memcpy::dst#0 ← (byte*)(void*) memcpy::destination#2 keeping memcpy::destination#2 Inlining Noop Cast [2] (byte*) memcpy::dst#0 ← (byte*)(void*) memcpy::destination#2 keeping memcpy::destination#2
Inlining Noop Cast [3] (byte*~) memcpy::$0 ← (byte*)(void*) memcpy::source#2 keeping memcpy::source#2
Successful SSA optimization Pass2NopCastInlining Successful SSA optimization Pass2NopCastInlining
Inlining constant with var siblings (const word) memcpy::i#0
Inlining constant with var siblings (const word) memcpy::num#0 Inlining constant with var siblings (const word) memcpy::num#0
Inlining constant with var siblings (const word) memcpy::num#1 Inlining constant with var siblings (const word) memcpy::num#1
Inlining constant with var siblings (const void*) memcpy::destination#0 Inlining constant with var siblings (const void*) memcpy::destination#0
@@ -310,11 +324,9 @@ Constant inlined main::$2 = (const byte*) SCREEN#0+(word) $3e7
Constant inlined memcpy::destination#0 = (void*)(const byte*) SCREEN#0 Constant inlined memcpy::destination#0 = (void*)(const byte*) SCREEN#0
Constant inlined memcpy::destination#1 = (void*)(const byte*) COLS#0 Constant inlined memcpy::destination#1 = (void*)(const byte*) COLS#0
Constant inlined memcpy::source#0 = (void*)(const byte*) MEDUSA_SCREEN#0 Constant inlined memcpy::source#0 = (void*)(const byte*) MEDUSA_SCREEN#0
Constant inlined memcpy::i#0 = (byte) 0
Successful SSA optimization Pass2ConstantInlining Successful SSA optimization Pass2ConstantInlining
Identical Phi Values (word) memcpy::num#3 (word) $3e8 Identical Phi Values (word) memcpy::num#2 (word) $3e8
Successful SSA optimization Pass2IdenticalPhiElimination Successful SSA optimization Pass2IdenticalPhiElimination
Added new block during phi lifting memcpy::@4(between memcpy::@1 and memcpy::@1)
Adding NOP phi() at start of @begin Adding NOP phi() at start of @begin
Adding NOP phi() at start of @9 Adding NOP phi() at start of @9
Adding NOP phi() at start of @10 Adding NOP phi() at start of @10
@@ -322,21 +334,19 @@ Adding NOP phi() at start of @end
Adding NOP phi() at start of main::@7 Adding NOP phi() at start of main::@7
Adding NOP phi() at start of main::@8 Adding NOP phi() at start of main::@8
Adding NOP phi() at start of main::@1 Adding NOP phi() at start of main::@1
Adding NOP phi() at start of memcpy::@2 Adding NOP phi() at start of memcpy::@3
CALL GRAPH CALL GRAPH
Calls in [] to main:4 Calls in [] to main:4
Calls in [main] to memcpy:8 memcpy:10 Calls in [main] to memcpy:8 memcpy:10
Created 5 initial phi equivalence classes Created 4 initial phi equivalence classes
Coalesced [25] memcpy::src#4 ← memcpy::src#1 Coalesced [25] memcpy::src#5 ← memcpy::src#1
Coalesced [26] memcpy::dst#4 ← memcpy::dst#1 Coalesced [26] memcpy::dst#5 ← memcpy::dst#1
Coalesced [27] memcpy::i#3 ← memcpy::i#1 Coalesced down to 4 phi equivalence classes
Coalesced down to 5 phi equivalence classes
Culled Empty Block (label) @10 Culled Empty Block (label) @10
Culled Empty Block (label) main::@8 Culled Empty Block (label) main::@8
Culled Empty Block (label) main::@1 Culled Empty Block (label) main::@1
Culled Empty Block (label) memcpy::@2 Culled Empty Block (label) memcpy::@3
Culled Empty Block (label) memcpy::@4
Renumbering block @8 to @1 Renumbering block @8 to @1
Renumbering block @9 to @2 Renumbering block @9 to @2
Renumbering block main::@2 to main::@1 Renumbering block main::@2 to main::@1
@@ -378,22 +388,23 @@ main::@1: scope:[main] from main::@1 main::@2
memcpy: scope:[memcpy] from main main::@2 memcpy: scope:[memcpy] from main main::@2
[11] (void*) memcpy::destination#2 ← phi( main/(void*)(const byte*) SCREEN#0 main::@2/(void*)(const byte*) COLS#0 ) [11] (void*) memcpy::destination#2 ← phi( main/(void*)(const byte*) SCREEN#0 main::@2/(void*)(const byte*) COLS#0 )
[11] (void*) memcpy::source#2 ← phi( main/(void*)(const byte*) MEDUSA_SCREEN#0 main::@2/(void*)(const byte*) MEDUSA_COLORS#0 ) [11] (void*) memcpy::source#2 ← phi( main/(void*)(const byte*) MEDUSA_SCREEN#0 main::@2/(void*)(const byte*) MEDUSA_COLORS#0 )
[12] (byte*~) memcpy::src#3 ← (byte*)(void*) memcpy::source#2 [12] (byte*) memcpy::src_end#0 ← (byte*)(void*) memcpy::source#2 + (word) $3e8
[13] (byte*~) memcpy::dst#3 ← (byte*)(void*) memcpy::destination#2 [13] (byte*~) memcpy::src#4 ← (byte*)(void*) memcpy::source#2
[14] (byte*~) memcpy::dst#4 ← (byte*)(void*) memcpy::destination#2
to:memcpy::@1 to:memcpy::@1
memcpy::@1: scope:[memcpy] from memcpy memcpy::@1 memcpy::@1: scope:[memcpy] from memcpy memcpy::@2
[14] (word) memcpy::i#2 ← phi( memcpy/(byte) 0 memcpy::@1/(word) memcpy::i#1 ) [15] (byte*) memcpy::dst#2 ← phi( memcpy/(byte*~) memcpy::dst#4 memcpy::@2/(byte*) memcpy::dst#1 )
[14] (byte*) memcpy::dst#2 ← phi( memcpy/(byte*~) memcpy::dst#3 memcpy::@1/(byte*) memcpy::dst#1 ) [15] (byte*) memcpy::src#2 ← phi( memcpy/(byte*~) memcpy::src#4 memcpy::@2/(byte*) memcpy::src#1 )
[14] (byte*) memcpy::src#2 ← phi( memcpy/(byte*~) memcpy::src#3 memcpy::@1/(byte*) memcpy::src#1 ) [16] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2
[15] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2)
[16] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2
[17] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2
[18] (word) memcpy::i#1 ← ++ (word) memcpy::i#2
[19] if((word) memcpy::i#1<(word) $3e8) goto memcpy::@1
to:memcpy::@return to:memcpy::@return
memcpy::@return: scope:[memcpy] from memcpy::@1 memcpy::@return: scope:[memcpy] from memcpy::@1
[20] return [17] return
to:@return to:@return
memcpy::@2: scope:[memcpy] from memcpy::@1
[18] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2)
[19] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2
[20] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2
to:memcpy::@1
VARIABLE REGISTER WEIGHTS VARIABLE REGISTER WEIGHTS
@@ -408,38 +419,37 @@ VARIABLE REGISTER WEIGHTS
(void*) memcpy::destination (void*) memcpy::destination
(void*) memcpy::destination#2 (void*) memcpy::destination#2
(byte*) memcpy::dst (byte*) memcpy::dst
(byte*) memcpy::dst#1 5.5 (byte*) memcpy::dst#1 11.0
(byte*) memcpy::dst#2 17.5 (byte*) memcpy::dst#2 11.666666666666666
(byte*~) memcpy::dst#3 4.0 (byte*~) memcpy::dst#4 4.0
(word) memcpy::i
(word) memcpy::i#1 16.5
(word) memcpy::i#2 5.5
(word) memcpy::num (word) memcpy::num
(void*) memcpy::return (void*) memcpy::return
(void*) memcpy::source (void*) memcpy::source
(void*) memcpy::source#2 (void*) memcpy::source#2
(byte*) memcpy::src (byte*) memcpy::src
(byte*) memcpy::src#1 7.333333333333333 (byte*) memcpy::src#1 22.0
(byte*) memcpy::src#2 11.666666666666666 (byte*) memcpy::src#2 11.5
(byte*~) memcpy::src#3 2.0 (byte*~) memcpy::src#4 2.0
(byte*) memcpy::src_end
(byte*) memcpy::src_end#0 1.625
Initial phi equivalence classes Initial phi equivalence classes
[ memcpy::source#2 ] [ memcpy::source#2 ]
[ memcpy::destination#2 ] [ memcpy::destination#2 ]
[ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ]
[ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ]
[ memcpy::i#2 memcpy::i#1 ] Added variable memcpy::src_end#0 to zero page equivalence class [ memcpy::src_end#0 ]
Complete equivalence classes Complete equivalence classes
[ memcpy::source#2 ] [ memcpy::source#2 ]
[ memcpy::destination#2 ] [ memcpy::destination#2 ]
[ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ]
[ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ]
[ memcpy::i#2 memcpy::i#1 ] [ memcpy::src_end#0 ]
Allocated zp ZP_WORD:2 [ memcpy::source#2 ] Allocated zp ZP_WORD:2 [ memcpy::source#2 ]
Allocated zp ZP_WORD:4 [ memcpy::destination#2 ] Allocated zp ZP_WORD:4 [ memcpy::destination#2 ]
Allocated zp ZP_WORD:6 [ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] Allocated zp ZP_WORD:6 [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ]
Allocated zp ZP_WORD:8 [ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] Allocated zp ZP_WORD:8 [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ]
Allocated zp ZP_WORD:10 [ memcpy::i#2 memcpy::i#1 ] Allocated zp ZP_WORD:10 [ memcpy::src_end#0 ]
INITIAL ASM INITIAL ASM
//SEG0 File Comments //SEG0 File Comments
@@ -529,75 +539,69 @@ main: {
// Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination. // Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination.
// memcpy(void* zeropage(4) destination, void* zeropage(2) source) // memcpy(void* zeropage(4) destination, void* zeropage(2) source)
memcpy: { memcpy: {
.label src_end = $a
.label dst = 8 .label dst = 8
.label src = 6 .label src = 6
.label i = $a
.label source = 2 .label source = 2
.label destination = 4 .label destination = 4
//SEG27 [12] (byte*~) memcpy::src#3 ← (byte*)(void*) memcpy::source#2 -- pbuz1=pbuz2 //SEG27 [12] (byte*) memcpy::src_end#0 ← (byte*)(void*) memcpy::source#2 + (word) $3e8 -- pbuz1=pbuz2_plus_vwuc1
lda source
clc
adc #<$3e8
sta src_end
lda source+1
adc #>$3e8
sta src_end+1
//SEG28 [13] (byte*~) memcpy::src#4 ← (byte*)(void*) memcpy::source#2 -- pbuz1=pbuz2
lda source lda source
sta src sta src
lda source+1 lda source+1
sta src+1 sta src+1
//SEG28 [13] (byte*~) memcpy::dst#3 ← (byte*)(void*) memcpy::destination#2 -- pbuz1=pbuz2 //SEG29 [14] (byte*~) memcpy::dst#4 ← (byte*)(void*) memcpy::destination#2 -- pbuz1=pbuz2
lda destination lda destination
sta dst sta dst
lda destination+1 lda destination+1
sta dst+1 sta dst+1
//SEG29 [14] phi from memcpy to memcpy::@1 [phi:memcpy->memcpy::@1] //SEG30 [15] phi from memcpy memcpy::@2 to memcpy::@1 [phi:memcpy/memcpy::@2->memcpy::@1]
b1_from_memcpy: b1_from_memcpy:
//SEG30 [14] phi (word) memcpy::i#2 = (byte) 0 [phi:memcpy->memcpy::@1#0] -- vwuz1=vbuc1 b1_from_b2:
lda #0 //SEG31 [15] phi (byte*) memcpy::dst#2 = (byte*~) memcpy::dst#4 [phi:memcpy/memcpy::@2->memcpy::@1#0] -- register_copy
sta i //SEG32 [15] phi (byte*) memcpy::src#2 = (byte*~) memcpy::src#4 [phi:memcpy/memcpy::@2->memcpy::@1#1] -- register_copy
lda #0
sta i+1
//SEG31 [14] phi (byte*) memcpy::dst#2 = (byte*~) memcpy::dst#3 [phi:memcpy->memcpy::@1#1] -- register_copy
//SEG32 [14] phi (byte*) memcpy::src#2 = (byte*~) memcpy::src#3 [phi:memcpy->memcpy::@1#2] -- register_copy
jmp b1 jmp b1
//SEG33 [14] phi from memcpy::@1 to memcpy::@1 [phi:memcpy::@1->memcpy::@1] //SEG33 memcpy::@1
b1_from_b1:
//SEG34 [14] phi (word) memcpy::i#2 = (word) memcpy::i#1 [phi:memcpy::@1->memcpy::@1#0] -- register_copy
//SEG35 [14] phi (byte*) memcpy::dst#2 = (byte*) memcpy::dst#1 [phi:memcpy::@1->memcpy::@1#1] -- register_copy
//SEG36 [14] phi (byte*) memcpy::src#2 = (byte*) memcpy::src#1 [phi:memcpy::@1->memcpy::@1#2] -- register_copy
jmp b1
//SEG37 memcpy::@1
b1: b1:
//SEG38 [15] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) -- _deref_pbuz1=_deref_pbuz2 //SEG34 [16] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2 -- pbuz1_neq_pbuz2_then_la1
lda src+1
cmp src_end+1
bne b2
lda src
cmp src_end
bne b2
jmp breturn
//SEG35 memcpy::@return
breturn:
//SEG36 [17] return
rts
//SEG37 memcpy::@2
b2:
//SEG38 [18] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) -- _deref_pbuz1=_deref_pbuz2
ldy #0 ldy #0
lda (src),y lda (src),y
ldy #0 ldy #0
sta (dst),y sta (dst),y
//SEG39 [16] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 -- pbuz1=_inc_pbuz1 //SEG39 [19] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 -- pbuz1=_inc_pbuz1
inc dst inc dst
bne !+ bne !+
inc dst+1 inc dst+1
!: !:
//SEG40 [17] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2 -- pbuz1=_inc_pbuz1 //SEG40 [20] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2 -- pbuz1=_inc_pbuz1
inc src inc src
bne !+ bne !+
inc src+1 inc src+1
!: !:
//SEG41 [18] (word) memcpy::i#1 ← ++ (word) memcpy::i#2 -- vwuz1=_inc_vwuz1 jmp b1_from_b2
inc i
bne !+
inc i+1
!:
//SEG42 [19] if((word) memcpy::i#1<(word) $3e8) goto memcpy::@1 -- vwuz1_lt_vwuc1_then_la1
lda i+1
cmp #>$3e8
bcc b1_from_b1
bne !+
lda i
cmp #<$3e8
bcc b1_from_b1
!:
jmp breturn
//SEG43 memcpy::@return
breturn:
//SEG44 [20] return
rts
} }
//SEG45 File Data //SEG41 File Data
.pc = MEDUSA_SCREEN "MEDUSA_SCREEN" .pc = MEDUSA_SCREEN "MEDUSA_SCREEN"
.var fileScreen = LoadBinary("medusas.prg", BF_C64FILE) .var fileScreen = LoadBinary("medusas.prg", BF_C64FILE)
.fill fileScreen.getSize(), fileScreen.get(i) .fill fileScreen.getSize(), fileScreen.get(i)
@@ -610,27 +614,28 @@ memcpy: {
REGISTER UPLIFT POTENTIAL REGISTERS REGISTER UPLIFT POTENTIAL REGISTERS
Statement [6] *((const byte*) BGCOL#0) ← (const byte) BLACK#0 [ ] ( main:4 [ ] ) always clobbers reg byte a Statement [6] *((const byte*) BGCOL#0) ← (const byte) BLACK#0 [ ] ( main:4 [ ] ) always clobbers reg byte a
Statement [10] *((const byte*) SCREEN#0+(word) $3e7) ← *((const byte*) SCREEN#0+(word) $3e7) ^ (byte) $e [ ] ( main:4 [ ] ) always clobbers reg byte a Statement [10] *((const byte*) SCREEN#0+(word) $3e7) ← *((const byte*) SCREEN#0+(word) $3e7) ^ (byte) $e [ ] ( main:4 [ ] ) always clobbers reg byte a
Statement [12] (byte*~) memcpy::src#3 ← (byte*)(void*) memcpy::source#2 [ memcpy::destination#2 memcpy::src#3 ] ( main:4::memcpy:7 [ memcpy::destination#2 memcpy::src#3 ] main:4::memcpy:9 [ memcpy::destination#2 memcpy::src#3 ] ) always clobbers reg byte a Statement [12] (byte*) memcpy::src_end#0 ← (byte*)(void*) memcpy::source#2 + (word) $3e8 [ memcpy::source#2 memcpy::destination#2 memcpy::src_end#0 ] ( main:4::memcpy:7 [ memcpy::source#2 memcpy::destination#2 memcpy::src_end#0 ] main:4::memcpy:9 [ memcpy::source#2 memcpy::destination#2 memcpy::src_end#0 ] ) always clobbers reg byte a
Statement [13] (byte*~) memcpy::dst#3 ← (byte*)(void*) memcpy::destination#2 [ memcpy::src#3 memcpy::dst#3 ] ( main:4::memcpy:7 [ memcpy::src#3 memcpy::dst#3 ] main:4::memcpy:9 [ memcpy::src#3 memcpy::dst#3 ] ) always clobbers reg byte a Statement [13] (byte*~) memcpy::src#4 ← (byte*)(void*) memcpy::source#2 [ memcpy::destination#2 memcpy::src_end#0 memcpy::src#4 ] ( main:4::memcpy:7 [ memcpy::destination#2 memcpy::src_end#0 memcpy::src#4 ] main:4::memcpy:9 [ memcpy::destination#2 memcpy::src_end#0 memcpy::src#4 ] ) always clobbers reg byte a
Statement [15] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) [ memcpy::src#2 memcpy::dst#2 memcpy::i#2 ] ( main:4::memcpy:7 [ memcpy::src#2 memcpy::dst#2 memcpy::i#2 ] main:4::memcpy:9 [ memcpy::src#2 memcpy::dst#2 memcpy::i#2 ] ) always clobbers reg byte a reg byte y Statement [14] (byte*~) memcpy::dst#4 ← (byte*)(void*) memcpy::destination#2 [ memcpy::src_end#0 memcpy::src#4 memcpy::dst#4 ] ( main:4::memcpy:7 [ memcpy::src_end#0 memcpy::src#4 memcpy::dst#4 ] main:4::memcpy:9 [ memcpy::src_end#0 memcpy::src#4 memcpy::dst#4 ] ) always clobbers reg byte a
Statement [19] if((word) memcpy::i#1<(word) $3e8) goto memcpy::@1 [ memcpy::src#1 memcpy::dst#1 memcpy::i#1 ] ( main:4::memcpy:7 [ memcpy::src#1 memcpy::dst#1 memcpy::i#1 ] main:4::memcpy:9 [ memcpy::src#1 memcpy::dst#1 memcpy::i#1 ] ) always clobbers reg byte a Statement [16] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2 [ memcpy::src_end#0 memcpy::src#2 memcpy::dst#2 ] ( main:4::memcpy:7 [ memcpy::src_end#0 memcpy::src#2 memcpy::dst#2 ] main:4::memcpy:9 [ memcpy::src_end#0 memcpy::src#2 memcpy::dst#2 ] ) always clobbers reg byte a
Statement [18] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) [ memcpy::src_end#0 memcpy::src#2 memcpy::dst#2 ] ( main:4::memcpy:7 [ memcpy::src_end#0 memcpy::src#2 memcpy::dst#2 ] main:4::memcpy:9 [ memcpy::src_end#0 memcpy::src#2 memcpy::dst#2 ] ) always clobbers reg byte a reg byte y
Potential registers zp ZP_WORD:2 [ memcpy::source#2 ] : zp ZP_WORD:2 , Potential registers zp ZP_WORD:2 [ memcpy::source#2 ] : zp ZP_WORD:2 ,
Potential registers zp ZP_WORD:4 [ memcpy::destination#2 ] : zp ZP_WORD:4 , Potential registers zp ZP_WORD:4 [ memcpy::destination#2 ] : zp ZP_WORD:4 ,
Potential registers zp ZP_WORD:6 [ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] : zp ZP_WORD:6 , Potential registers zp ZP_WORD:6 [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ] : zp ZP_WORD:6 ,
Potential registers zp ZP_WORD:8 [ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] : zp ZP_WORD:8 , Potential registers zp ZP_WORD:8 [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ] : zp ZP_WORD:8 ,
Potential registers zp ZP_WORD:10 [ memcpy::i#2 memcpy::i#1 ] : zp ZP_WORD:10 , Potential registers zp ZP_WORD:10 [ memcpy::src_end#0 ] : zp ZP_WORD:10 ,
REGISTER UPLIFT SCOPES REGISTER UPLIFT SCOPES
Uplift Scope [memcpy] 27: zp ZP_WORD:8 [ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] 22: zp ZP_WORD:10 [ memcpy::i#2 memcpy::i#1 ] 21: zp ZP_WORD:6 [ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] 0: zp ZP_WORD:2 [ memcpy::source#2 ] 0: zp ZP_WORD:4 [ memcpy::destination#2 ] Uplift Scope [memcpy] 35.5: zp ZP_WORD:6 [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ] 26.67: zp ZP_WORD:8 [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ] 1.62: zp ZP_WORD:10 [ memcpy::src_end#0 ] 0: zp ZP_WORD:2 [ memcpy::source#2 ] 0: zp ZP_WORD:4 [ memcpy::destination#2 ]
Uplift Scope [main] Uplift Scope [main]
Uplift Scope [] Uplift Scope []
Uplifting [memcpy] best 6281 combination zp ZP_WORD:8 [ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] zp ZP_WORD:10 [ memcpy::i#2 memcpy::i#1 ] zp ZP_WORD:6 [ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] zp ZP_WORD:2 [ memcpy::source#2 ] zp ZP_WORD:4 [ memcpy::destination#2 ] Uplifting [memcpy] best 6069 combination zp ZP_WORD:6 [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ] zp ZP_WORD:8 [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ] zp ZP_WORD:10 [ memcpy::src_end#0 ] zp ZP_WORD:2 [ memcpy::source#2 ] zp ZP_WORD:4 [ memcpy::destination#2 ]
Uplifting [main] best 6281 combination Uplifting [main] best 6069 combination
Uplifting [] best 6281 combination Uplifting [] best 6069 combination
Coalescing zero page register with common assignment [ zp ZP_WORD:2 [ memcpy::source#2 ] ] with [ zp ZP_WORD:6 [ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] ] - score: 1 Coalescing zero page register with common assignment [ zp ZP_WORD:2 [ memcpy::source#2 ] ] with [ zp ZP_WORD:6 [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ] ] - score: 1
Coalescing zero page register with common assignment [ zp ZP_WORD:4 [ memcpy::destination#2 ] ] with [ zp ZP_WORD:8 [ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] ] - score: 1 Coalescing zero page register with common assignment [ zp ZP_WORD:4 [ memcpy::destination#2 ] ] with [ zp ZP_WORD:8 [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ] ] - score: 1
Allocated (was zp ZP_WORD:10) zp ZP_WORD:6 [ memcpy::i#2 memcpy::i#1 ] Allocated (was zp ZP_WORD:10) zp ZP_WORD:6 [ memcpy::src_end#0 ]
ASSEMBLER BEFORE OPTIMIZATION ASSEMBLER BEFORE OPTIMIZATION
//SEG0 File Comments //SEG0 File Comments
@@ -720,67 +725,61 @@ main: {
// Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination. // Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination.
// memcpy(void* zeropage(4) destination, void* zeropage(2) source) // memcpy(void* zeropage(4) destination, void* zeropage(2) source)
memcpy: { memcpy: {
.label src_end = 6
.label dst = 4 .label dst = 4
.label src = 2 .label src = 2
.label i = 6
.label source = 2 .label source = 2
.label destination = 4 .label destination = 4
//SEG27 [12] (byte*~) memcpy::src#3 ← (byte*)(void*) memcpy::source#2 //SEG27 [12] (byte*) memcpy::src_end#0 ← (byte*)(void*) memcpy::source#2 + (word) $3e8 -- pbuz1=pbuz2_plus_vwuc1
//SEG28 [13] (byte*~) memcpy::dst#3 ← (byte*)(void*) memcpy::destination#2 lda source
//SEG29 [14] phi from memcpy to memcpy::@1 [phi:memcpy->memcpy::@1] clc
adc #<$3e8
sta src_end
lda source+1
adc #>$3e8
sta src_end+1
//SEG28 [13] (byte*~) memcpy::src#4 ← (byte*)(void*) memcpy::source#2
//SEG29 [14] (byte*~) memcpy::dst#4 ← (byte*)(void*) memcpy::destination#2
//SEG30 [15] phi from memcpy memcpy::@2 to memcpy::@1 [phi:memcpy/memcpy::@2->memcpy::@1]
b1_from_memcpy: b1_from_memcpy:
//SEG30 [14] phi (word) memcpy::i#2 = (byte) 0 [phi:memcpy->memcpy::@1#0] -- vwuz1=vbuc1 b1_from_b2:
lda #0 //SEG31 [15] phi (byte*) memcpy::dst#2 = (byte*~) memcpy::dst#4 [phi:memcpy/memcpy::@2->memcpy::@1#0] -- register_copy
sta i //SEG32 [15] phi (byte*) memcpy::src#2 = (byte*~) memcpy::src#4 [phi:memcpy/memcpy::@2->memcpy::@1#1] -- register_copy
lda #0
sta i+1
//SEG31 [14] phi (byte*) memcpy::dst#2 = (byte*~) memcpy::dst#3 [phi:memcpy->memcpy::@1#1] -- register_copy
//SEG32 [14] phi (byte*) memcpy::src#2 = (byte*~) memcpy::src#3 [phi:memcpy->memcpy::@1#2] -- register_copy
jmp b1 jmp b1
//SEG33 [14] phi from memcpy::@1 to memcpy::@1 [phi:memcpy::@1->memcpy::@1] //SEG33 memcpy::@1
b1_from_b1:
//SEG34 [14] phi (word) memcpy::i#2 = (word) memcpy::i#1 [phi:memcpy::@1->memcpy::@1#0] -- register_copy
//SEG35 [14] phi (byte*) memcpy::dst#2 = (byte*) memcpy::dst#1 [phi:memcpy::@1->memcpy::@1#1] -- register_copy
//SEG36 [14] phi (byte*) memcpy::src#2 = (byte*) memcpy::src#1 [phi:memcpy::@1->memcpy::@1#2] -- register_copy
jmp b1
//SEG37 memcpy::@1
b1: b1:
//SEG38 [15] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) -- _deref_pbuz1=_deref_pbuz2 //SEG34 [16] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2 -- pbuz1_neq_pbuz2_then_la1
lda src+1
cmp src_end+1
bne b2
lda src
cmp src_end
bne b2
jmp breturn
//SEG35 memcpy::@return
breturn:
//SEG36 [17] return
rts
//SEG37 memcpy::@2
b2:
//SEG38 [18] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) -- _deref_pbuz1=_deref_pbuz2
ldy #0 ldy #0
lda (src),y lda (src),y
ldy #0 ldy #0
sta (dst),y sta (dst),y
//SEG39 [16] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 -- pbuz1=_inc_pbuz1 //SEG39 [19] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 -- pbuz1=_inc_pbuz1
inc dst inc dst
bne !+ bne !+
inc dst+1 inc dst+1
!: !:
//SEG40 [17] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2 -- pbuz1=_inc_pbuz1 //SEG40 [20] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2 -- pbuz1=_inc_pbuz1
inc src inc src
bne !+ bne !+
inc src+1 inc src+1
!: !:
//SEG41 [18] (word) memcpy::i#1 ← ++ (word) memcpy::i#2 -- vwuz1=_inc_vwuz1 jmp b1_from_b2
inc i
bne !+
inc i+1
!:
//SEG42 [19] if((word) memcpy::i#1<(word) $3e8) goto memcpy::@1 -- vwuz1_lt_vwuc1_then_la1
lda i+1
cmp #>$3e8
bcc b1_from_b1
bne !+
lda i
cmp #<$3e8
bcc b1_from_b1
!:
jmp breturn
//SEG43 memcpy::@return
breturn:
//SEG44 [20] return
rts
} }
//SEG45 File Data //SEG41 File Data
.pc = MEDUSA_SCREEN "MEDUSA_SCREEN" .pc = MEDUSA_SCREEN "MEDUSA_SCREEN"
.var fileScreen = LoadBinary("medusas.prg", BF_C64FILE) .var fileScreen = LoadBinary("medusas.prg", BF_C64FILE)
.fill fileScreen.getSize(), fileScreen.get(i) .fill fileScreen.getSize(), fileScreen.get(i)
@@ -799,30 +798,26 @@ Removing instruction jmp b1
Removing instruction jmp b1 Removing instruction jmp b1
Removing instruction jmp breturn Removing instruction jmp breturn
Succesful ASM optimization Pass5NextJumpElimination Succesful ASM optimization Pass5NextJumpElimination
Removing instruction lda #0
Removing instruction ldy #0 Removing instruction ldy #0
Succesful ASM optimization Pass5UnnecesaryLoadElimination Succesful ASM optimization Pass5UnnecesaryLoadElimination
Replacing label b1_from_b1 with b1 Replacing label b1_from_b2 with b1
Replacing label b1_from_b1 with b1
Removing instruction b1: Removing instruction b1:
Removing instruction b2_from_b1: Removing instruction b2_from_b1:
Removing instruction b2: Removing instruction b2:
Removing instruction bend_from_b2: Removing instruction bend_from_b2:
Removing instruction b2_from_main: Removing instruction b2_from_main:
Removing instruction memcpy_from_b2: Removing instruction memcpy_from_b2:
Removing instruction b1_from_b1: Removing instruction b1_from_memcpy:
Removing instruction b1_from_b2:
Succesful ASM optimization Pass5RedundantLabelElimination Succesful ASM optimization Pass5RedundantLabelElimination
Removing instruction bend: Removing instruction bend:
Removing instruction memcpy_from_main: Removing instruction memcpy_from_main:
Removing instruction b2: Removing instruction b2:
Removing instruction b1_from_memcpy:
Removing instruction breturn: Removing instruction breturn:
Succesful ASM optimization Pass5UnusedLabelElimination Succesful ASM optimization Pass5UnusedLabelElimination
Updating BasicUpstart to call main directly Updating BasicUpstart to call main directly
Removing instruction jsr main Removing instruction jsr main
Succesful ASM optimization Pass5SkipBegin Succesful ASM optimization Pass5SkipBegin
Removing instruction jmp b1
Succesful ASM optimization Pass5NextJumpElimination
Removing instruction bbegin: Removing instruction bbegin:
Succesful ASM optimization Pass5UnusedLabelElimination Succesful ASM optimization Pass5UnusedLabelElimination
@@ -848,32 +843,32 @@ FINAL SYMBOL TABLE
(label) main::@2 (label) main::@2
(void*()) memcpy((void*) memcpy::destination , (void*) memcpy::source , (word) memcpy::num) (void*()) memcpy((void*) memcpy::destination , (void*) memcpy::source , (word) memcpy::num)
(label) memcpy::@1 (label) memcpy::@1
(label) memcpy::@2
(label) memcpy::@return (label) memcpy::@return
(void*) memcpy::destination (void*) memcpy::destination
(void*) memcpy::destination#2 destination zp ZP_WORD:4 (void*) memcpy::destination#2 destination zp ZP_WORD:4
(byte*) memcpy::dst (byte*) memcpy::dst
(byte*) memcpy::dst#1 dst zp ZP_WORD:4 5.5 (byte*) memcpy::dst#1 dst zp ZP_WORD:4 11.0
(byte*) memcpy::dst#2 dst zp ZP_WORD:4 17.5 (byte*) memcpy::dst#2 dst zp ZP_WORD:4 11.666666666666666
(byte*~) memcpy::dst#3 dst zp ZP_WORD:4 4.0 (byte*~) memcpy::dst#4 dst zp ZP_WORD:4 4.0
(word) memcpy::i
(word) memcpy::i#1 i zp ZP_WORD:6 16.5
(word) memcpy::i#2 i zp ZP_WORD:6 5.5
(word) memcpy::num (word) memcpy::num
(void*) memcpy::return (void*) memcpy::return
(void*) memcpy::source (void*) memcpy::source
(void*) memcpy::source#2 source zp ZP_WORD:2 (void*) memcpy::source#2 source zp ZP_WORD:2
(byte*) memcpy::src (byte*) memcpy::src
(byte*) memcpy::src#1 src zp ZP_WORD:2 7.333333333333333 (byte*) memcpy::src#1 src zp ZP_WORD:2 22.0
(byte*) memcpy::src#2 src zp ZP_WORD:2 11.666666666666666 (byte*) memcpy::src#2 src zp ZP_WORD:2 11.5
(byte*~) memcpy::src#3 src zp ZP_WORD:2 2.0 (byte*~) memcpy::src#4 src zp ZP_WORD:2 2.0
(byte*) memcpy::src_end
(byte*) memcpy::src_end#0 src_end zp ZP_WORD:6 1.625
zp ZP_WORD:2 [ memcpy::source#2 memcpy::src#2 memcpy::src#3 memcpy::src#1 ] zp ZP_WORD:2 [ memcpy::source#2 memcpy::src#2 memcpy::src#4 memcpy::src#1 ]
zp ZP_WORD:4 [ memcpy::destination#2 memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] zp ZP_WORD:4 [ memcpy::destination#2 memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ]
zp ZP_WORD:6 [ memcpy::i#2 memcpy::i#1 ] zp ZP_WORD:6 [ memcpy::src_end#0 ]
FINAL ASSEMBLER FINAL ASSEMBLER
Score: 6079 Score: 5917
//SEG0 File Comments //SEG0 File Comments
// Display MEDUSA PETSCII by Buzz_clik // Display MEDUSA PETSCII by Buzz_clik
@@ -946,59 +941,55 @@ main: {
// Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination. // Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination.
// memcpy(void* zeropage(4) destination, void* zeropage(2) source) // memcpy(void* zeropage(4) destination, void* zeropage(2) source)
memcpy: { memcpy: {
.label src_end = 6
.label dst = 4 .label dst = 4
.label src = 2 .label src = 2
.label i = 6
.label source = 2 .label source = 2
.label destination = 4 .label destination = 4
//SEG27 [12] (byte*~) memcpy::src#3 ← (byte*)(void*) memcpy::source#2 //SEG27 [12] (byte*) memcpy::src_end#0 ← (byte*)(void*) memcpy::source#2 + (word) $3e8 -- pbuz1=pbuz2_plus_vwuc1
//SEG28 [13] (byte*~) memcpy::dst#3 ← (byte*)(void*) memcpy::destination#2 lda source
//SEG29 [14] phi from memcpy to memcpy::@1 [phi:memcpy->memcpy::@1] clc
//SEG30 [14] phi (word) memcpy::i#2 = (byte) 0 [phi:memcpy->memcpy::@1#0] -- vwuz1=vbuc1 adc #<$3e8
lda #0 sta src_end
sta i lda source+1
sta i+1 adc #>$3e8
//SEG31 [14] phi (byte*) memcpy::dst#2 = (byte*~) memcpy::dst#3 [phi:memcpy->memcpy::@1#1] -- register_copy sta src_end+1
//SEG32 [14] phi (byte*) memcpy::src#2 = (byte*~) memcpy::src#3 [phi:memcpy->memcpy::@1#2] -- register_copy //SEG28 [13] (byte*~) memcpy::src#4 ← (byte*)(void*) memcpy::source#2
//SEG33 [14] phi from memcpy::@1 to memcpy::@1 [phi:memcpy::@1->memcpy::@1] //SEG29 [14] (byte*~) memcpy::dst#4 ← (byte*)(void*) memcpy::destination#2
//SEG34 [14] phi (word) memcpy::i#2 = (word) memcpy::i#1 [phi:memcpy::@1->memcpy::@1#0] -- register_copy //SEG30 [15] phi from memcpy memcpy::@2 to memcpy::@1 [phi:memcpy/memcpy::@2->memcpy::@1]
//SEG35 [14] phi (byte*) memcpy::dst#2 = (byte*) memcpy::dst#1 [phi:memcpy::@1->memcpy::@1#1] -- register_copy //SEG31 [15] phi (byte*) memcpy::dst#2 = (byte*~) memcpy::dst#4 [phi:memcpy/memcpy::@2->memcpy::@1#0] -- register_copy
//SEG36 [14] phi (byte*) memcpy::src#2 = (byte*) memcpy::src#1 [phi:memcpy::@1->memcpy::@1#2] -- register_copy //SEG32 [15] phi (byte*) memcpy::src#2 = (byte*~) memcpy::src#4 [phi:memcpy/memcpy::@2->memcpy::@1#1] -- register_copy
//SEG37 memcpy::@1 //SEG33 memcpy::@1
b1: b1:
//SEG38 [15] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) -- _deref_pbuz1=_deref_pbuz2 //SEG34 [16] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2 -- pbuz1_neq_pbuz2_then_la1
lda src+1
cmp src_end+1
bne b2
lda src
cmp src_end
bne b2
//SEG35 memcpy::@return
//SEG36 [17] return
rts
//SEG37 memcpy::@2
b2:
//SEG38 [18] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) -- _deref_pbuz1=_deref_pbuz2
ldy #0 ldy #0
lda (src),y lda (src),y
sta (dst),y sta (dst),y
//SEG39 [16] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 -- pbuz1=_inc_pbuz1 //SEG39 [19] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 -- pbuz1=_inc_pbuz1
inc dst inc dst
bne !+ bne !+
inc dst+1 inc dst+1
!: !:
//SEG40 [17] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2 -- pbuz1=_inc_pbuz1 //SEG40 [20] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2 -- pbuz1=_inc_pbuz1
inc src inc src
bne !+ bne !+
inc src+1 inc src+1
!: !:
//SEG41 [18] (word) memcpy::i#1 ← ++ (word) memcpy::i#2 -- vwuz1=_inc_vwuz1 jmp b1
inc i
bne !+
inc i+1
!:
//SEG42 [19] if((word) memcpy::i#1<(word) $3e8) goto memcpy::@1 -- vwuz1_lt_vwuc1_then_la1
lda i+1
cmp #>$3e8
bcc b1
bne !+
lda i
cmp #<$3e8
bcc b1
!:
//SEG43 memcpy::@return
//SEG44 [20] return
rts
} }
//SEG45 File Data //SEG41 File Data
.pc = MEDUSA_SCREEN "MEDUSA_SCREEN" .pc = MEDUSA_SCREEN "MEDUSA_SCREEN"
.var fileScreen = LoadBinary("medusas.prg", BF_C64FILE) .var fileScreen = LoadBinary("medusas.prg", BF_C64FILE)
.fill fileScreen.getSize(), fileScreen.get(i) .fill fileScreen.getSize(), fileScreen.get(i)

24
src/test/ref/complex/medusa/medusa.sym
View File

@@ -19,25 +19,25 @@
(label) main::@2 (label) main::@2
(void*()) memcpy((void*) memcpy::destination , (void*) memcpy::source , (word) memcpy::num) (void*()) memcpy((void*) memcpy::destination , (void*) memcpy::source , (word) memcpy::num)
(label) memcpy::@1 (label) memcpy::@1
(label) memcpy::@2
(label) memcpy::@return (label) memcpy::@return
(void*) memcpy::destination (void*) memcpy::destination
(void*) memcpy::destination#2 destination zp ZP_WORD:4 (void*) memcpy::destination#2 destination zp ZP_WORD:4
(byte*) memcpy::dst (byte*) memcpy::dst
(byte*) memcpy::dst#1 dst zp ZP_WORD:4 5.5 (byte*) memcpy::dst#1 dst zp ZP_WORD:4 11.0
(byte*) memcpy::dst#2 dst zp ZP_WORD:4 17.5 (byte*) memcpy::dst#2 dst zp ZP_WORD:4 11.666666666666666
(byte*~) memcpy::dst#3 dst zp ZP_WORD:4 4.0 (byte*~) memcpy::dst#4 dst zp ZP_WORD:4 4.0
(word) memcpy::i
(word) memcpy::i#1 i zp ZP_WORD:6 16.5
(word) memcpy::i#2 i zp ZP_WORD:6 5.5
(word) memcpy::num (word) memcpy::num
(void*) memcpy::return (void*) memcpy::return
(void*) memcpy::source (void*) memcpy::source
(void*) memcpy::source#2 source zp ZP_WORD:2 (void*) memcpy::source#2 source zp ZP_WORD:2
(byte*) memcpy::src (byte*) memcpy::src
(byte*) memcpy::src#1 src zp ZP_WORD:2 7.333333333333333 (byte*) memcpy::src#1 src zp ZP_WORD:2 22.0
(byte*) memcpy::src#2 src zp ZP_WORD:2 11.666666666666666 (byte*) memcpy::src#2 src zp ZP_WORD:2 11.5
(byte*~) memcpy::src#3 src zp ZP_WORD:2 2.0 (byte*~) memcpy::src#4 src zp ZP_WORD:2 2.0
(byte*) memcpy::src_end
(byte*) memcpy::src_end#0 src_end zp ZP_WORD:6 1.625
zp ZP_WORD:2 [ memcpy::source#2 memcpy::src#2 memcpy::src#3 memcpy::src#1 ] zp ZP_WORD:2 [ memcpy::source#2 memcpy::src#2 memcpy::src#4 memcpy::src#1 ]
zp ZP_WORD:4 [ memcpy::destination#2 memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] zp ZP_WORD:4 [ memcpy::destination#2 memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ]
zp ZP_WORD:6 [ memcpy::i#2 memcpy::i#1 ] zp ZP_WORD:6 [ memcpy::src_end#0 ]

36
src/test/ref/memcpy-0.asm
View File

@@ -1,4 +1,4 @@
// Test memcpy - copy charset and screen // Test memcpy - copy charset and screen using memcpy() from stdlib string
.pc = $801 "Basic" .pc = $801 "Basic"
:BasicUpstart(main) :BasicUpstart(main)
.pc = $80d "Program" .pc = $80d "Program"
@@ -56,16 +56,28 @@ main: {
// Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination. // Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination.
// memcpy(void* zeropage(4) destination, void* zeropage(2) source, word zeropage(6) num) // memcpy(void* zeropage(4) destination, void* zeropage(2) source, word zeropage(6) num)
memcpy: { memcpy: {
.label src_end = 6
.label dst = 4 .label dst = 4
.label src = 2 .label src = 2
.label i = 8
.label source = 2 .label source = 2
.label destination = 4 .label destination = 4
.label num = 6 .label num = 6
lda #0 lda src_end
sta i clc
sta i+1 adc source
sta src_end
lda src_end+1
adc source+1
sta src_end+1
b1: b1:
lda src+1
cmp src_end+1
bne b2
lda src
cmp src_end
bne b2
rts
b2:
ldy #0 ldy #0
lda (src),y lda (src),y
sta (dst),y sta (dst),y
@@ -77,17 +89,5 @@ memcpy: {
bne !+ bne !+
inc src+1 inc src+1
!: !:
inc i jmp b1
bne !+
inc i+1
!:
lda i+1
cmp num+1
bcc b1
bne !+
lda i
cmp num
bcc b1
!:
rts
} }

27
src/test/ref/memcpy-0.cfg
View File

@@ -30,22 +30,23 @@ main::@return: scope:[main] from main::@3
[13] return [13] return
to:@return to:@return
memcpy: scope:[memcpy] from main::@1 main::@2 memcpy: scope:[memcpy] from main::@1 main::@2
[14] (word) memcpy::num#3 ← phi( main::@1/(word) $400 main::@2/(word) $800 ) [14] (word) memcpy::num#2 ← phi( main::@1/(word) $400 main::@2/(word) $800 )
[14] (void*) memcpy::destination#2 ← phi( main::@1/(void*)(const byte*) SCREEN_COPY#0 main::@2/(void*)(const byte*) CHARSET#0 ) [14] (void*) memcpy::destination#2 ← phi( main::@1/(void*)(const byte*) SCREEN_COPY#0 main::@2/(void*)(const byte*) CHARSET#0 )
[14] (void*) memcpy::source#2 ← phi( main::@1/(void*)(const byte*) SCREEN#0 main::@2/(void*)(const byte*) CHARGEN#0 ) [14] (void*) memcpy::source#2 ← phi( main::@1/(void*)(const byte*) SCREEN#0 main::@2/(void*)(const byte*) CHARGEN#0 )
[15] (byte*~) memcpy::src#3 ← (byte*)(void*) memcpy::source#2 [15] (byte*) memcpy::src_end#0 ← (byte*)(void*) memcpy::source#2 + (word) memcpy::num#2
[16] (byte*~) memcpy::dst#3 ← (byte*)(void*) memcpy::destination#2 [16] (byte*~) memcpy::src#4 ← (byte*)(void*) memcpy::source#2
[17] (byte*~) memcpy::dst#4 ← (byte*)(void*) memcpy::destination#2
to:memcpy::@1 to:memcpy::@1
memcpy::@1: scope:[memcpy] from memcpy memcpy::@1 memcpy::@1: scope:[memcpy] from memcpy memcpy::@2
[17] (word) memcpy::i#2 ← phi( memcpy/(byte) 0 memcpy::@1/(word) memcpy::i#1 ) [18] (byte*) memcpy::dst#2 ← phi( memcpy/(byte*~) memcpy::dst#4 memcpy::@2/(byte*) memcpy::dst#1 )
[17] (byte*) memcpy::dst#2 ← phi( memcpy/(byte*~) memcpy::dst#3 memcpy::@1/(byte*) memcpy::dst#1 ) [18] (byte*) memcpy::src#2 ← phi( memcpy/(byte*~) memcpy::src#4 memcpy::@2/(byte*) memcpy::src#1 )
[17] (byte*) memcpy::src#2 ← phi( memcpy/(byte*~) memcpy::src#3 memcpy::@1/(byte*) memcpy::src#1 ) [19] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2
[18] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2)
[19] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2
[20] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2
[21] (word) memcpy::i#1 ← ++ (word) memcpy::i#2
[22] if((word) memcpy::i#1<(word) memcpy::num#3) goto memcpy::@1
to:memcpy::@return to:memcpy::@return
memcpy::@return: scope:[memcpy] from memcpy::@1 memcpy::@return: scope:[memcpy] from memcpy::@1
[23] return [20] return
to:@return to:@return
memcpy::@2: scope:[memcpy] from memcpy::@1
[21] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2)
[22] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2
[23] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2
to:memcpy::@1

510
src/test/ref/memcpy-0.log
View File

@@ -59,7 +59,10 @@ Culled Empty Block (label) @1
Culled Empty Block (label) @2 Culled Empty Block (label) @2
Culled Empty Block (label) @3 Culled Empty Block (label) @3
Culled Empty Block (label) @4 Culled Empty Block (label) @4
Culled Empty Block (label) memcpy::@3 Culled Empty Block (label) memcpy::@4
Culled Empty Block (label) memcpy::@5
Culled Empty Block (label) memcpy::@6
Culled Empty Block (label) memcpy::@7
Culled Empty Block (label) @5 Culled Empty Block (label) @5
Culled Empty Block (label) @6 Culled Empty Block (label) @6
Culled Empty Block (label) @7 Culled Empty Block (label) @7
@@ -74,32 +77,38 @@ CONTROL FLOW GRAPH SSA
(byte*) D018#0 ← ((byte*)) (number) $d018 (byte*) D018#0 ← ((byte*)) (number) $d018
to:@8 to:@8
memcpy: scope:[memcpy] from main::@1 main::@2 memcpy: scope:[memcpy] from main::@1 main::@2
(word) memcpy::num#3 ← phi( main::@1/(word) memcpy::num#0 main::@2/(word) memcpy::num#1 ) (word) memcpy::num#2 ← phi( main::@1/(word) memcpy::num#0 main::@2/(word) memcpy::num#1 )
(void*) memcpy::destination#2 ← phi( main::@1/(void*) memcpy::destination#0 main::@2/(void*) memcpy::destination#1 ) (void*) memcpy::destination#2 ← phi( main::@1/(void*) memcpy::destination#0 main::@2/(void*) memcpy::destination#1 )
(void*) memcpy::source#2 ← phi( main::@1/(void*) memcpy::source#0 main::@2/(void*) memcpy::source#1 ) (void*) memcpy::source#2 ← phi( main::@1/(void*) memcpy::source#0 main::@2/(void*) memcpy::source#1 )
(byte*) memcpy::src#0 ← ((byte*)) (void*) memcpy::source#2 (byte*) memcpy::src#0 ← ((byte*)) (void*) memcpy::source#2
(byte*) memcpy::dst#0 ← ((byte*)) (void*) memcpy::destination#2 (byte*) memcpy::dst#0 ← ((byte*)) (void*) memcpy::destination#2
(word) memcpy::i#0 ← (number) 0 (byte*~) memcpy::$0 ← ((byte*)) (void*) memcpy::source#2
(byte*~) memcpy::$1 ← (byte*~) memcpy::$0 + (word) memcpy::num#2
(byte*) memcpy::src_end#0 ← (byte*~) memcpy::$1
to:memcpy::@1 to:memcpy::@1
memcpy::@1: scope:[memcpy] from memcpy memcpy::@1 memcpy::@1: scope:[memcpy] from memcpy memcpy::@2
(void*) memcpy::destination#4 ← phi( memcpy/(void*) memcpy::destination#2 memcpy::@1/(void*) memcpy::destination#4 ) (void*) memcpy::destination#4 ← phi( memcpy/(void*) memcpy::destination#2 memcpy::@2/(void*) memcpy::destination#5 )
(word) memcpy::num#2 ← phi( memcpy/(word) memcpy::num#3 memcpy::@1/(word) memcpy::num#2 ) (byte*) memcpy::dst#3 ← phi( memcpy/(byte*) memcpy::dst#0 memcpy::@2/(byte*) memcpy::dst#1 )
(word) memcpy::i#2 ← phi( memcpy/(word) memcpy::i#0 memcpy::@1/(word) memcpy::i#1 ) (byte*) memcpy::src_end#1 ← phi( memcpy/(byte*) memcpy::src_end#0 memcpy::@2/(byte*) memcpy::src_end#2 )
(byte*) memcpy::dst#2 ← phi( memcpy/(byte*) memcpy::dst#0 memcpy::@1/(byte*) memcpy::dst#1 ) (byte*) memcpy::src#2 ← phi( memcpy/(byte*) memcpy::src#0 memcpy::@2/(byte*) memcpy::src#1 )
(byte*) memcpy::src#2 ← phi( memcpy/(byte*) memcpy::src#0 memcpy::@1/(byte*) memcpy::src#1 ) (bool~) memcpy::$2 ← (byte*) memcpy::src#2 != (byte*) memcpy::src_end#1
*((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) if((bool~) memcpy::$2) goto memcpy::@2
(byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 to:memcpy::@3
(byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2
(word) memcpy::i#1 ← ++ (word) memcpy::i#2
(bool~) memcpy::$0 ← (word) memcpy::i#1 < (word) memcpy::num#2
if((bool~) memcpy::$0) goto memcpy::@1
to:memcpy::@2
memcpy::@2: scope:[memcpy] from memcpy::@1 memcpy::@2: scope:[memcpy] from memcpy::@1
(void*) memcpy::destination#5 ← phi( memcpy::@1/(void*) memcpy::destination#4 )
(byte*) memcpy::src_end#2 ← phi( memcpy::@1/(byte*) memcpy::src_end#1 )
(byte*) memcpy::dst#2 ← phi( memcpy::@1/(byte*) memcpy::dst#3 )
(byte*) memcpy::src#3 ← phi( memcpy::@1/(byte*) memcpy::src#2 )
*((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#3)
(byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2
(byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#3
to:memcpy::@1
memcpy::@3: scope:[memcpy] from memcpy::@1
(void*) memcpy::destination#3 ← phi( memcpy::@1/(void*) memcpy::destination#4 ) (void*) memcpy::destination#3 ← phi( memcpy::@1/(void*) memcpy::destination#4 )
(void*) memcpy::return#0 ← (void*) memcpy::destination#3 (void*) memcpy::return#0 ← (void*) memcpy::destination#3
to:memcpy::@return to:memcpy::@return
memcpy::@return: scope:[memcpy] from memcpy::@2 memcpy::@return: scope:[memcpy] from memcpy::@3
(void*) memcpy::return#4 ← phi( memcpy::@2/(void*) memcpy::return#0 ) (void*) memcpy::return#4 ← phi( memcpy::@3/(void*) memcpy::return#0 )
(void*) memcpy::return#1 ← (void*) memcpy::return#4 (void*) memcpy::return#1 ← (void*) memcpy::return#4
return return
to:@return to:@return
@@ -223,9 +232,12 @@ SYMBOL TABLE SSA
(byte*) main::toD0181_screen#0 (byte*) main::toD0181_screen#0
(byte*) main::toD0181_screen#1 (byte*) main::toD0181_screen#1
(void*()) memcpy((void*) memcpy::destination , (void*) memcpy::source , (word) memcpy::num) (void*()) memcpy((void*) memcpy::destination , (void*) memcpy::source , (word) memcpy::num)
(bool~) memcpy::$0 (byte*~) memcpy::$0
(byte*~) memcpy::$1
(bool~) memcpy::$2
(label) memcpy::@1 (label) memcpy::@1
(label) memcpy::@2 (label) memcpy::@2
(label) memcpy::@3
(label) memcpy::@return (label) memcpy::@return
(void*) memcpy::destination (void*) memcpy::destination
(void*) memcpy::destination#0 (void*) memcpy::destination#0
@@ -233,19 +245,16 @@ SYMBOL TABLE SSA
(void*) memcpy::destination#2 (void*) memcpy::destination#2
(void*) memcpy::destination#3 (void*) memcpy::destination#3
(void*) memcpy::destination#4 (void*) memcpy::destination#4
(void*) memcpy::destination#5
(byte*) memcpy::dst (byte*) memcpy::dst
(byte*) memcpy::dst#0 (byte*) memcpy::dst#0
(byte*) memcpy::dst#1 (byte*) memcpy::dst#1
(byte*) memcpy::dst#2 (byte*) memcpy::dst#2
(word) memcpy::i (byte*) memcpy::dst#3
(word) memcpy::i#0
(word) memcpy::i#1
(word) memcpy::i#2
(word) memcpy::num (word) memcpy::num
(word) memcpy::num#0 (word) memcpy::num#0
(word) memcpy::num#1 (word) memcpy::num#1
(word) memcpy::num#2 (word) memcpy::num#2
(word) memcpy::num#3
(void*) memcpy::return (void*) memcpy::return
(void*) memcpy::return#0 (void*) memcpy::return#0
(void*) memcpy::return#1 (void*) memcpy::return#1
@@ -260,10 +269,14 @@ SYMBOL TABLE SSA
(byte*) memcpy::src#0 (byte*) memcpy::src#0
(byte*) memcpy::src#1 (byte*) memcpy::src#1
(byte*) memcpy::src#2 (byte*) memcpy::src#2
(byte*) memcpy::src#3
(byte*) memcpy::src_end
(byte*) memcpy::src_end#0
(byte*) memcpy::src_end#1
(byte*) memcpy::src_end#2
Adding number conversion cast (unumber) $31 in (byte) PROCPORT_RAM_CHARROM#0 ← (number) $31 Adding number conversion cast (unumber) $31 in (byte) PROCPORT_RAM_CHARROM#0 ← (number) $31
Adding number conversion cast (unumber) $37 in (byte) PROCPORT_BASIC_KERNEL_IO#0 ← (number) $37 Adding number conversion cast (unumber) $37 in (byte) PROCPORT_BASIC_KERNEL_IO#0 ← (number) $37
Adding number conversion cast (unumber) 0 in (word) memcpy::i#0 ← (number) 0
Adding number conversion cast (unumber) $3fff in (number~) main::toD0181_$1#0 ← (word~) main::toD0181_$0#0 & (number) $3fff Adding number conversion cast (unumber) $3fff in (number~) main::toD0181_$1#0 ← (word~) main::toD0181_$0#0 & (number) $3fff
Adding number conversion cast (unumber) main::toD0181_$1#0 in (number~) main::toD0181_$1#0 ← (word~) main::toD0181_$0#0 & (unumber)(number) $3fff Adding number conversion cast (unumber) main::toD0181_$1#0 in (number~) main::toD0181_$1#0 ← (word~) main::toD0181_$0#0 & (unumber)(number) $3fff
Adding number conversion cast (unumber) 4 in (number~) main::toD0181_$2#0 ← (unumber~) main::toD0181_$1#0 * (number) 4 Adding number conversion cast (unumber) 4 in (number~) main::toD0181_$2#0 ← (unumber~) main::toD0181_$1#0 * (number) 4
@@ -284,7 +297,7 @@ Inlining cast (byte*) CHARGEN#0 ← (byte*)(number) $d000
Inlining cast (byte*) D018#0 ← (byte*)(number) $d018 Inlining cast (byte*) D018#0 ← (byte*)(number) $d018
Inlining cast (byte*) memcpy::src#0 ← (byte*)(void*) memcpy::source#2 Inlining cast (byte*) memcpy::src#0 ← (byte*)(void*) memcpy::source#2
Inlining cast (byte*) memcpy::dst#0 ← (byte*)(void*) memcpy::destination#2 Inlining cast (byte*) memcpy::dst#0 ← (byte*)(void*) memcpy::destination#2
Inlining cast (word) memcpy::i#0 ← (unumber)(number) 0 Inlining cast (byte*~) memcpy::$0 ← (byte*)(void*) memcpy::source#2
Inlining cast (byte*) CHARSET#0 ← (byte*)(number) $2000 Inlining cast (byte*) CHARSET#0 ← (byte*)(number) $2000
Inlining cast (byte*) SCREEN#0 ← (byte*)(number) $400 Inlining cast (byte*) SCREEN#0 ← (byte*)(number) $400
Inlining cast (byte*) SCREEN_COPY#0 ← (byte*)(number) $2400 Inlining cast (byte*) SCREEN_COPY#0 ← (byte*)(number) $2400
@@ -298,7 +311,6 @@ Simplifying constant integer cast $31
Simplifying constant integer cast $37 Simplifying constant integer cast $37
Simplifying constant pointer cast (byte*) 53248 Simplifying constant pointer cast (byte*) 53248
Simplifying constant pointer cast (byte*) 53272 Simplifying constant pointer cast (byte*) 53272
Simplifying constant integer cast 0
Simplifying constant pointer cast (byte*) 8192 Simplifying constant pointer cast (byte*) 8192
Simplifying constant pointer cast (byte*) 1024 Simplifying constant pointer cast (byte*) 1024
Simplifying constant pointer cast (byte*) 9216 Simplifying constant pointer cast (byte*) 9216
@@ -311,7 +323,6 @@ Simplifying constant integer cast $800
Successful SSA optimization PassNCastSimplification Successful SSA optimization PassNCastSimplification
Finalized unsigned number type (byte) $31 Finalized unsigned number type (byte) $31
Finalized unsigned number type (byte) $37 Finalized unsigned number type (byte) $37
Finalized unsigned number type (byte) 0
Finalized unsigned number type (word) $3fff Finalized unsigned number type (word) $3fff
Finalized unsigned number type (byte) 4 Finalized unsigned number type (byte) 4
Finalized unsigned number type (byte) 4 Finalized unsigned number type (byte) 4
@@ -325,25 +336,28 @@ Inferred type updated to byte in (unumber~) main::toD0181_$3#0 ← > (word~) mai
Inferred type updated to byte in (unumber~) main::toD0181_$6#0 ← (byte~) main::toD0181_$5#0 / (byte) 4 Inferred type updated to byte in (unumber~) main::toD0181_$6#0 ← (byte~) main::toD0181_$5#0 / (byte) 4
Inferred type updated to byte in (unumber~) main::toD0181_$7#0 ← (byte~) main::toD0181_$6#0 & (byte) $f Inferred type updated to byte in (unumber~) main::toD0181_$7#0 ← (byte~) main::toD0181_$6#0 & (byte) $f
Inferred type updated to byte in (unumber~) main::toD0181_$8#0 ← (byte~) main::toD0181_$3#0 | (byte~) main::toD0181_$7#0 Inferred type updated to byte in (unumber~) main::toD0181_$8#0 ← (byte~) main::toD0181_$3#0 | (byte~) main::toD0181_$7#0
Alias (void*) memcpy::return#0 = (void*) memcpy::destination#3 (void*) memcpy::destination#4 (void*) memcpy::return#4 (void*) memcpy::return#1 Alias (byte*) memcpy::src_end#0 = (byte*~) memcpy::$1
Alias (byte*) memcpy::src#2 = (byte*) memcpy::src#3
Alias (byte*) memcpy::dst#2 = (byte*) memcpy::dst#3
Alias (byte*) memcpy::src_end#1 = (byte*) memcpy::src_end#2
Alias (void*) memcpy::destination#3 = (void*) memcpy::destination#5 (void*) memcpy::destination#4 (void*) memcpy::return#0 (void*) memcpy::return#4 (void*) memcpy::return#1
Alias (byte*) main::toD0181_screen#0 = (byte*) main::toD0181_screen#1 Alias (byte*) main::toD0181_screen#0 = (byte*) main::toD0181_screen#1
Alias (byte*) main::toD0181_gfx#0 = (byte*) main::toD0181_gfx#1 Alias (byte*) main::toD0181_gfx#0 = (byte*) main::toD0181_gfx#1
Alias (byte) main::toD0181_return#0 = (byte~) main::toD0181_$8#0 (byte) main::toD0181_return#2 (byte) main::toD0181_return#1 (byte) main::toD0181_return#3 (byte~) main::$0 Alias (byte) main::toD0181_return#0 = (byte~) main::toD0181_$8#0 (byte) main::toD0181_return#2 (byte) main::toD0181_return#1 (byte) main::toD0181_return#3 (byte~) main::$0
Successful SSA optimization Pass2AliasElimination Successful SSA optimization Pass2AliasElimination
Self Phi Eliminated (word) memcpy::num#2 Self Phi Eliminated (byte*) memcpy::src_end#1
Self Phi Eliminated (void*) memcpy::return#0 Self Phi Eliminated (void*) memcpy::destination#3
Successful SSA optimization Pass2SelfPhiElimination Successful SSA optimization Pass2SelfPhiElimination
Identical Phi Values (word) memcpy::num#2 (word) memcpy::num#3 Identical Phi Values (byte*) memcpy::src_end#1 (byte*) memcpy::src_end#0
Identical Phi Values (void*) memcpy::return#0 (void*) memcpy::destination#2 Identical Phi Values (void*) memcpy::destination#3 (void*) memcpy::destination#2
Successful SSA optimization Pass2IdenticalPhiElimination Successful SSA optimization Pass2IdenticalPhiElimination
Simple Condition (bool~) memcpy::$0 [15] if((word) memcpy::i#1<(word) memcpy::num#3) goto memcpy::@1 Simple Condition (bool~) memcpy::$2 [13] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2
Successful SSA optimization Pass2ConditionalJumpSimplification Successful SSA optimization Pass2ConditionalJumpSimplification
Constant (const byte*) PROCPORT#0 = (byte*) 1 Constant (const byte*) PROCPORT#0 = (byte*) 1
Constant (const byte) PROCPORT_RAM_CHARROM#0 = $31 Constant (const byte) PROCPORT_RAM_CHARROM#0 = $31
Constant (const byte) PROCPORT_BASIC_KERNEL_IO#0 = $37 Constant (const byte) PROCPORT_BASIC_KERNEL_IO#0 = $37
Constant (const byte*) CHARGEN#0 = (byte*) 53248 Constant (const byte*) CHARGEN#0 = (byte*) 53248
Constant (const byte*) D018#0 = (byte*) 53272 Constant (const byte*) D018#0 = (byte*) 53272
Constant (const word) memcpy::i#0 = 0
Constant (const byte*) CHARSET#0 = (byte*) 8192 Constant (const byte*) CHARSET#0 = (byte*) 8192
Constant (const byte*) SCREEN#0 = (byte*) 1024 Constant (const byte*) SCREEN#0 = (byte*) 1024
Constant (const byte*) SCREEN_COPY#0 = (byte*) 9216 Constant (const byte*) SCREEN_COPY#0 = (byte*) 9216
@@ -353,15 +367,15 @@ Successful SSA optimization Pass2ConstantIdentification
Constant (const byte*) main::toD0181_screen#0 = SCREEN_COPY#0 Constant (const byte*) main::toD0181_screen#0 = SCREEN_COPY#0
Constant (const byte*) main::toD0181_gfx#0 = CHARSET#0 Constant (const byte*) main::toD0181_gfx#0 = CHARSET#0
Successful SSA optimization Pass2ConstantIdentification Successful SSA optimization Pass2ConstantIdentification
Constant value identified (word)main::toD0181_screen#0 in [27] (word~) main::toD0181_$0#0 ← (word)(const byte*) main::toD0181_screen#0 Constant value identified (word)main::toD0181_screen#0 in [29] (word~) main::toD0181_$0#0 ← (word)(const byte*) main::toD0181_screen#0
Constant value identified (word)main::toD0181_gfx#0 in [31] (word~) main::toD0181_$4#0 ← (word)(const byte*) main::toD0181_gfx#0 Constant value identified (word)main::toD0181_gfx#0 in [33] (word~) main::toD0181_$4#0 ← (word)(const byte*) main::toD0181_gfx#0
Constant value identified (void*)SCREEN_COPY#0 in [42] (void*) memcpy::destination#0 ← (void*)(const byte*) SCREEN_COPY#0 Constant value identified (void*)SCREEN_COPY#0 in [44] (void*) memcpy::destination#0 ← (void*)(const byte*) SCREEN_COPY#0
Constant value identified (void*)SCREEN#0 in [43] (void*) memcpy::source#0 ← (void*)(const byte*) SCREEN#0 Constant value identified (void*)SCREEN#0 in [45] (void*) memcpy::source#0 ← (void*)(const byte*) SCREEN#0
Constant value identified (void*)CHARSET#0 in [49] (void*) memcpy::destination#1 ← (void*)(const byte*) CHARSET#0 Constant value identified (void*)CHARSET#0 in [51] (void*) memcpy::destination#1 ← (void*)(const byte*) CHARSET#0
Constant value identified (void*)CHARGEN#0 in [50] (void*) memcpy::source#1 ← (void*)(const byte*) CHARGEN#0 Constant value identified (void*)CHARGEN#0 in [52] (void*) memcpy::source#1 ← (void*)(const byte*) CHARGEN#0
Successful SSA optimization Pass2ConstantValues Successful SSA optimization Pass2ConstantValues
Eliminating unused variable (void*) memcpy::return#2 and assignment [23] (void*) memcpy::return#2 ← (void*) memcpy::destination#2 Eliminating unused variable (void*) memcpy::return#2 and assignment [24] (void*) memcpy::return#2 ← (void*) memcpy::destination#2
Eliminating unused variable (void*) memcpy::return#3 and assignment [29] (void*) memcpy::return#3 ← (void*) memcpy::destination#2 Eliminating unused variable (void*) memcpy::return#3 and assignment [30] (void*) memcpy::return#3 ← (void*) memcpy::destination#2
Successful SSA optimization PassNEliminateUnusedVars Successful SSA optimization PassNEliminateUnusedVars
Constant (const word) main::toD0181_$0#0 = (word)main::toD0181_screen#0 Constant (const word) main::toD0181_$0#0 = (word)main::toD0181_screen#0
Constant (const word) main::toD0181_$4#0 = (word)main::toD0181_gfx#0 Constant (const word) main::toD0181_$4#0 = (word)main::toD0181_gfx#0
@@ -370,32 +384,32 @@ Constant (const void*) memcpy::source#0 = (void*)SCREEN#0
Constant (const void*) memcpy::destination#1 = (void*)CHARSET#0 Constant (const void*) memcpy::destination#1 = (void*)CHARSET#0
Constant (const void*) memcpy::source#1 = (void*)CHARGEN#0 Constant (const void*) memcpy::source#1 = (void*)CHARGEN#0
Successful SSA optimization Pass2ConstantIdentification Successful SSA optimization Pass2ConstantIdentification
Constant right-side identified [10] (word~) main::toD0181_$1#0 ← (const word) main::toD0181_$0#0 & (word) $3fff Constant right-side identified [11] (word~) main::toD0181_$1#0 ← (const word) main::toD0181_$0#0 & (word) $3fff
Constant right-side identified [13] (byte~) main::toD0181_$5#0 ← > (const word) main::toD0181_$4#0 Constant right-side identified [14] (byte~) main::toD0181_$5#0 ← > (const word) main::toD0181_$4#0
Successful SSA optimization Pass2ConstantRValueConsolidation Successful SSA optimization Pass2ConstantRValueConsolidation
Constant (const word) main::toD0181_$1#0 = main::toD0181_$0#0&$3fff Constant (const word) main::toD0181_$1#0 = main::toD0181_$0#0&$3fff
Constant (const byte) main::toD0181_$5#0 = >main::toD0181_$4#0 Constant (const byte) main::toD0181_$5#0 = >main::toD0181_$4#0
Successful SSA optimization Pass2ConstantIdentification Successful SSA optimization Pass2ConstantIdentification
Constant right-side identified [10] (word~) main::toD0181_$2#0 ← (const word) main::toD0181_$1#0 * (byte) 4 Constant right-side identified [11] (word~) main::toD0181_$2#0 ← (const word) main::toD0181_$1#0 * (byte) 4
Constant right-side identified [12] (byte~) main::toD0181_$6#0 ← (const byte) main::toD0181_$5#0 / (byte) 4 Constant right-side identified [13] (byte~) main::toD0181_$6#0 ← (const byte) main::toD0181_$5#0 / (byte) 4
Successful SSA optimization Pass2ConstantRValueConsolidation Successful SSA optimization Pass2ConstantRValueConsolidation
Constant (const word) main::toD0181_$2#0 = main::toD0181_$1#0*4 Constant (const word) main::toD0181_$2#0 = main::toD0181_$1#0*4
Constant (const byte) main::toD0181_$6#0 = main::toD0181_$5#0/4 Constant (const byte) main::toD0181_$6#0 = main::toD0181_$5#0/4
Successful SSA optimization Pass2ConstantIdentification Successful SSA optimization Pass2ConstantIdentification
Constant right-side identified [10] (byte~) main::toD0181_$3#0 ← > (const word) main::toD0181_$2#0 Constant right-side identified [11] (byte~) main::toD0181_$3#0 ← > (const word) main::toD0181_$2#0
Constant right-side identified [11] (byte~) main::toD0181_$7#0 ← (const byte) main::toD0181_$6#0 & (byte) $f Constant right-side identified [12] (byte~) main::toD0181_$7#0 ← (const byte) main::toD0181_$6#0 & (byte) $f
Successful SSA optimization Pass2ConstantRValueConsolidation Successful SSA optimization Pass2ConstantRValueConsolidation
Constant (const byte) main::toD0181_$3#0 = >main::toD0181_$2#0 Constant (const byte) main::toD0181_$3#0 = >main::toD0181_$2#0
Constant (const byte) main::toD0181_$7#0 = main::toD0181_$6#0&$f Constant (const byte) main::toD0181_$7#0 = main::toD0181_$6#0&$f
Successful SSA optimization Pass2ConstantIdentification Successful SSA optimization Pass2ConstantIdentification
Constant right-side identified [10] (byte) main::toD0181_return#0 ← (const byte) main::toD0181_$3#0 | (const byte) main::toD0181_$7#0 Constant right-side identified [11] (byte) main::toD0181_return#0 ← (const byte) main::toD0181_$3#0 | (const byte) main::toD0181_$7#0
Successful SSA optimization Pass2ConstantRValueConsolidation Successful SSA optimization Pass2ConstantRValueConsolidation
Constant (const byte) main::toD0181_return#0 = main::toD0181_$3#0|main::toD0181_$7#0 Constant (const byte) main::toD0181_return#0 = main::toD0181_$3#0|main::toD0181_$7#0
Successful SSA optimization Pass2ConstantIdentification Successful SSA optimization Pass2ConstantIdentification
Inlining Noop Cast [1] (byte*) memcpy::src#0 ← (byte*)(void*) memcpy::source#2 keeping memcpy::source#2 Inlining Noop Cast [1] (byte*) memcpy::src#0 ← (byte*)(void*) memcpy::source#2 keeping memcpy::source#2
Inlining Noop Cast [2] (byte*) memcpy::dst#0 ← (byte*)(void*) memcpy::destination#2 keeping memcpy::destination#2 Inlining Noop Cast [2] (byte*) memcpy::dst#0 ← (byte*)(void*) memcpy::destination#2 keeping memcpy::destination#2
Inlining Noop Cast [3] (byte*~) memcpy::$0 ← (byte*)(void*) memcpy::source#2 keeping memcpy::source#2
Successful SSA optimization Pass2NopCastInlining Successful SSA optimization Pass2NopCastInlining
Inlining constant with var siblings (const word) memcpy::i#0
Inlining constant with var siblings (const word) memcpy::num#0 Inlining constant with var siblings (const word) memcpy::num#0
Inlining constant with var siblings (const word) memcpy::num#1 Inlining constant with var siblings (const word) memcpy::num#1
Inlining constant with var siblings (const void*) memcpy::destination#0 Inlining constant with var siblings (const void*) memcpy::destination#0
@@ -409,7 +423,6 @@ Constant inlined memcpy::destination#0 = (void*)(const byte*) SCREEN_COPY#0
Constant inlined main::toD0181_$1#0 = (word)(const byte*) SCREEN_COPY#0&(word) $3fff Constant inlined main::toD0181_$1#0 = (word)(const byte*) SCREEN_COPY#0&(word) $3fff
Constant inlined memcpy::destination#1 = (void*)(const byte*) CHARSET#0 Constant inlined memcpy::destination#1 = (void*)(const byte*) CHARSET#0
Constant inlined memcpy::source#0 = (void*)(const byte*) SCREEN#0 Constant inlined memcpy::source#0 = (void*)(const byte*) SCREEN#0
Constant inlined memcpy::i#0 = (byte) 0
Constant inlined main::toD0181_$6#0 = >(word)(const byte*) CHARSET#0/(byte) 4 Constant inlined main::toD0181_$6#0 = >(word)(const byte*) CHARSET#0/(byte) 4
Constant inlined memcpy::num#1 = (word) $800 Constant inlined memcpy::num#1 = (word) $800
Constant inlined main::toD0181_$7#0 = >(word)(const byte*) CHARSET#0/(byte) 4&(byte) $f Constant inlined main::toD0181_$7#0 = >(word)(const byte*) CHARSET#0/(byte) 4&(byte) $f
@@ -420,7 +433,6 @@ Constant inlined main::toD0181_$3#0 = >(word)(const byte*) SCREEN_COPY#0&(word)
Constant inlined main::toD0181_$4#0 = (word)(const byte*) CHARSET#0 Constant inlined main::toD0181_$4#0 = (word)(const byte*) CHARSET#0
Constant inlined main::toD0181_$5#0 = >(word)(const byte*) CHARSET#0 Constant inlined main::toD0181_$5#0 = >(word)(const byte*) CHARSET#0
Successful SSA optimization Pass2ConstantInlining Successful SSA optimization Pass2ConstantInlining
Added new block during phi lifting memcpy::@4(between memcpy::@1 and memcpy::@1)
Adding NOP phi() at start of @begin Adding NOP phi() at start of @begin
Adding NOP phi() at start of @8 Adding NOP phi() at start of @8
Adding NOP phi() at start of @9 Adding NOP phi() at start of @9
@@ -429,21 +441,19 @@ Adding NOP phi() at start of @end
Adding NOP phi() at start of main Adding NOP phi() at start of main
Adding NOP phi() at start of main::toD0181 Adding NOP phi() at start of main::toD0181
Adding NOP phi() at start of main::toD0181_@return Adding NOP phi() at start of main::toD0181_@return
Adding NOP phi() at start of memcpy::@2 Adding NOP phi() at start of memcpy::@3
CALL GRAPH CALL GRAPH
Calls in [] to main:3 Calls in [] to main:3
Calls in [main] to memcpy:10 memcpy:13 Calls in [main] to memcpy:10 memcpy:13
Created 6 initial phi equivalence classes Created 5 initial phi equivalence classes
Coalesced [28] memcpy::src#4 ← memcpy::src#1 Coalesced [28] memcpy::src#5 ← memcpy::src#1
Coalesced [29] memcpy::dst#4 ← memcpy::dst#1 Coalesced [29] memcpy::dst#5 ← memcpy::dst#1
Coalesced [30] memcpy::i#3 ← memcpy::i#1 Coalesced down to 5 phi equivalence classes
Coalesced down to 6 phi equivalence classes
Culled Empty Block (label) @8 Culled Empty Block (label) @8
Culled Empty Block (label) @10 Culled Empty Block (label) @10
Culled Empty Block (label) main::toD0181_@return Culled Empty Block (label) main::toD0181_@return
Culled Empty Block (label) memcpy::@2 Culled Empty Block (label) memcpy::@3
Culled Empty Block (label) memcpy::@4
Renumbering block @9 to @1 Renumbering block @9 to @1
Adding NOP phi() at start of @begin Adding NOP phi() at start of @begin
Adding NOP phi() at start of @1 Adding NOP phi() at start of @1
@@ -484,25 +494,26 @@ main::@return: scope:[main] from main::@3
[13] return [13] return
to:@return to:@return
memcpy: scope:[memcpy] from main::@1 main::@2 memcpy: scope:[memcpy] from main::@1 main::@2
[14] (word) memcpy::num#3 ← phi( main::@1/(word) $400 main::@2/(word) $800 ) [14] (word) memcpy::num#2 ← phi( main::@1/(word) $400 main::@2/(word) $800 )
[14] (void*) memcpy::destination#2 ← phi( main::@1/(void*)(const byte*) SCREEN_COPY#0 main::@2/(void*)(const byte*) CHARSET#0 ) [14] (void*) memcpy::destination#2 ← phi( main::@1/(void*)(const byte*) SCREEN_COPY#0 main::@2/(void*)(const byte*) CHARSET#0 )
[14] (void*) memcpy::source#2 ← phi( main::@1/(void*)(const byte*) SCREEN#0 main::@2/(void*)(const byte*) CHARGEN#0 ) [14] (void*) memcpy::source#2 ← phi( main::@1/(void*)(const byte*) SCREEN#0 main::@2/(void*)(const byte*) CHARGEN#0 )
[15] (byte*~) memcpy::src#3 ← (byte*)(void*) memcpy::source#2 [15] (byte*) memcpy::src_end#0 ← (byte*)(void*) memcpy::source#2 + (word) memcpy::num#2
[16] (byte*~) memcpy::dst#3 ← (byte*)(void*) memcpy::destination#2 [16] (byte*~) memcpy::src#4 ← (byte*)(void*) memcpy::source#2
[17] (byte*~) memcpy::dst#4 ← (byte*)(void*) memcpy::destination#2
to:memcpy::@1 to:memcpy::@1
memcpy::@1: scope:[memcpy] from memcpy memcpy::@1 memcpy::@1: scope:[memcpy] from memcpy memcpy::@2
[17] (word) memcpy::i#2 ← phi( memcpy/(byte) 0 memcpy::@1/(word) memcpy::i#1 ) [18] (byte*) memcpy::dst#2 ← phi( memcpy/(byte*~) memcpy::dst#4 memcpy::@2/(byte*) memcpy::dst#1 )
[17] (byte*) memcpy::dst#2 ← phi( memcpy/(byte*~) memcpy::dst#3 memcpy::@1/(byte*) memcpy::dst#1 ) [18] (byte*) memcpy::src#2 ← phi( memcpy/(byte*~) memcpy::src#4 memcpy::@2/(byte*) memcpy::src#1 )
[17] (byte*) memcpy::src#2 ← phi( memcpy/(byte*~) memcpy::src#3 memcpy::@1/(byte*) memcpy::src#1 ) [19] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2
[18] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2)
[19] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2
[20] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2
[21] (word) memcpy::i#1 ← ++ (word) memcpy::i#2
[22] if((word) memcpy::i#1<(word) memcpy::num#3) goto memcpy::@1
to:memcpy::@return to:memcpy::@return
memcpy::@return: scope:[memcpy] from memcpy::@1 memcpy::@return: scope:[memcpy] from memcpy::@1
[23] return [20] return
to:@return to:@return
memcpy::@2: scope:[memcpy] from memcpy::@1
[21] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2)
[22] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2
[23] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2
to:memcpy::@1
VARIABLE REGISTER WEIGHTS VARIABLE REGISTER WEIGHTS
@@ -531,46 +542,45 @@ VARIABLE REGISTER WEIGHTS
(void*) memcpy::destination (void*) memcpy::destination
(void*) memcpy::destination#2 (void*) memcpy::destination#2
(byte*) memcpy::dst (byte*) memcpy::dst
(byte*) memcpy::dst#1 5.5 (byte*) memcpy::dst#1 11.0
(byte*) memcpy::dst#2 17.5 (byte*) memcpy::dst#2 11.666666666666666
(byte*~) memcpy::dst#3 4.0 (byte*~) memcpy::dst#4 4.0
(word) memcpy::i
(word) memcpy::i#1 16.5
(word) memcpy::i#2 5.5
(word) memcpy::num (word) memcpy::num
(word) memcpy::num#3 1.2222222222222223 (word) memcpy::num#2 2.0
(void*) memcpy::return (void*) memcpy::return
(void*) memcpy::source (void*) memcpy::source
(void*) memcpy::source#2 (void*) memcpy::source#2
(byte*) memcpy::src (byte*) memcpy::src
(byte*) memcpy::src#1 7.333333333333333 (byte*) memcpy::src#1 22.0
(byte*) memcpy::src#2 11.666666666666666 (byte*) memcpy::src#2 11.5
(byte*~) memcpy::src#3 2.0 (byte*~) memcpy::src#4 2.0
(byte*) memcpy::src_end
(byte*) memcpy::src_end#0 1.625
Initial phi equivalence classes Initial phi equivalence classes
[ memcpy::source#2 ] [ memcpy::source#2 ]
[ memcpy::destination#2 ] [ memcpy::destination#2 ]
[ memcpy::num#3 ] [ memcpy::num#2 ]
[ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ]
[ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ]
[ memcpy::i#2 memcpy::i#1 ] Added variable memcpy::src_end#0 to zero page equivalence class [ memcpy::src_end#0 ]
Complete equivalence classes Complete equivalence classes
[ memcpy::source#2 ] [ memcpy::source#2 ]
[ memcpy::destination#2 ] [ memcpy::destination#2 ]
[ memcpy::num#3 ] [ memcpy::num#2 ]
[ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ]
[ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ]
[ memcpy::i#2 memcpy::i#1 ] [ memcpy::src_end#0 ]
Allocated zp ZP_WORD:2 [ memcpy::source#2 ] Allocated zp ZP_WORD:2 [ memcpy::source#2 ]
Allocated zp ZP_WORD:4 [ memcpy::destination#2 ] Allocated zp ZP_WORD:4 [ memcpy::destination#2 ]
Allocated zp ZP_WORD:6 [ memcpy::num#3 ] Allocated zp ZP_WORD:6 [ memcpy::num#2 ]
Allocated zp ZP_WORD:8 [ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] Allocated zp ZP_WORD:8 [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ]
Allocated zp ZP_WORD:10 [ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] Allocated zp ZP_WORD:10 [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ]
Allocated zp ZP_WORD:12 [ memcpy::i#2 memcpy::i#1 ] Allocated zp ZP_WORD:12 [ memcpy::src_end#0 ]
INITIAL ASM INITIAL ASM
//SEG0 File Comments //SEG0 File Comments
// Test memcpy - copy charset and screen // Test memcpy - copy charset and screen using memcpy() from stdlib string
//SEG1 Basic Upstart //SEG1 Basic Upstart
.pc = $801 "Basic" .pc = $801 "Basic"
:BasicUpstart(bbegin) :BasicUpstart(bbegin)
@@ -621,7 +631,7 @@ main: {
//SEG15 [7] call memcpy //SEG15 [7] call memcpy
//SEG16 [14] phi from main::@1 to memcpy [phi:main::@1->memcpy] //SEG16 [14] phi from main::@1 to memcpy [phi:main::@1->memcpy]
memcpy_from_b1: memcpy_from_b1:
//SEG17 [14] phi (word) memcpy::num#3 = (word) $400 [phi:main::@1->memcpy#0] -- vwuz1=vwuc1 //SEG17 [14] phi (word) memcpy::num#2 = (word) $400 [phi:main::@1->memcpy#0] -- vwuz1=vwuc1
lda #<$400 lda #<$400
sta memcpy.num sta memcpy.num
lda #>$400 lda #>$400
@@ -648,7 +658,7 @@ main: {
//SEG23 [10] call memcpy //SEG23 [10] call memcpy
//SEG24 [14] phi from main::@2 to memcpy [phi:main::@2->memcpy] //SEG24 [14] phi from main::@2 to memcpy [phi:main::@2->memcpy]
memcpy_from_b2: memcpy_from_b2:
//SEG25 [14] phi (word) memcpy::num#3 = (word) $800 [phi:main::@2->memcpy#0] -- vwuz1=vwuc1 //SEG25 [14] phi (word) memcpy::num#2 = (word) $800 [phi:main::@2->memcpy#0] -- vwuz1=vwuc1
lda #<$800 lda #<$800
sta memcpy.num sta memcpy.num
lda #>$800 lda #>$800
@@ -683,107 +693,102 @@ main: {
// Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination. // Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination.
// memcpy(void* zeropage(4) destination, void* zeropage(2) source, word zeropage(6) num) // memcpy(void* zeropage(4) destination, void* zeropage(2) source, word zeropage(6) num)
memcpy: { memcpy: {
.label src_end = $c
.label dst = $a .label dst = $a
.label src = 8 .label src = 8
.label i = $c
.label source = 2 .label source = 2
.label destination = 4 .label destination = 4
.label num = 6 .label num = 6
//SEG34 [15] (byte*~) memcpy::src#3 ← (byte*)(void*) memcpy::source#2 -- pbuz1=pbuz2 //SEG34 [15] (byte*) memcpy::src_end#0 ← (byte*)(void*) memcpy::source#2 + (word) memcpy::num#2 -- pbuz1=pbuz2_plus_vwuz3
lda source
clc
adc num
sta src_end
lda source+1
adc num+1
sta src_end+1
//SEG35 [16] (byte*~) memcpy::src#4 ← (byte*)(void*) memcpy::source#2 -- pbuz1=pbuz2
lda source lda source
sta src sta src
lda source+1 lda source+1
sta src+1 sta src+1
//SEG35 [16] (byte*~) memcpy::dst#3 ← (byte*)(void*) memcpy::destination#2 -- pbuz1=pbuz2 //SEG36 [17] (byte*~) memcpy::dst#4 ← (byte*)(void*) memcpy::destination#2 -- pbuz1=pbuz2
lda destination lda destination
sta dst sta dst
lda destination+1 lda destination+1
sta dst+1 sta dst+1
//SEG36 [17] phi from memcpy to memcpy::@1 [phi:memcpy->memcpy::@1] //SEG37 [18] phi from memcpy memcpy::@2 to memcpy::@1 [phi:memcpy/memcpy::@2->memcpy::@1]
b1_from_memcpy: b1_from_memcpy:
//SEG37 [17] phi (word) memcpy::i#2 = (byte) 0 [phi:memcpy->memcpy::@1#0] -- vwuz1=vbuc1 b1_from_b2:
lda #0 //SEG38 [18] phi (byte*) memcpy::dst#2 = (byte*~) memcpy::dst#4 [phi:memcpy/memcpy::@2->memcpy::@1#0] -- register_copy
sta i //SEG39 [18] phi (byte*) memcpy::src#2 = (byte*~) memcpy::src#4 [phi:memcpy/memcpy::@2->memcpy::@1#1] -- register_copy
lda #0
sta i+1
//SEG38 [17] phi (byte*) memcpy::dst#2 = (byte*~) memcpy::dst#3 [phi:memcpy->memcpy::@1#1] -- register_copy
//SEG39 [17] phi (byte*) memcpy::src#2 = (byte*~) memcpy::src#3 [phi:memcpy->memcpy::@1#2] -- register_copy
jmp b1 jmp b1
//SEG40 [17] phi from memcpy::@1 to memcpy::@1 [phi:memcpy::@1->memcpy::@1] //SEG40 memcpy::@1
b1_from_b1:
//SEG41 [17] phi (word) memcpy::i#2 = (word) memcpy::i#1 [phi:memcpy::@1->memcpy::@1#0] -- register_copy
//SEG42 [17] phi (byte*) memcpy::dst#2 = (byte*) memcpy::dst#1 [phi:memcpy::@1->memcpy::@1#1] -- register_copy
//SEG43 [17] phi (byte*) memcpy::src#2 = (byte*) memcpy::src#1 [phi:memcpy::@1->memcpy::@1#2] -- register_copy
jmp b1
//SEG44 memcpy::@1
b1: b1:
//SEG45 [18] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) -- _deref_pbuz1=_deref_pbuz2 //SEG41 [19] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2 -- pbuz1_neq_pbuz2_then_la1
lda src+1
cmp src_end+1
bne b2
lda src
cmp src_end
bne b2
jmp breturn
//SEG42 memcpy::@return
breturn:
//SEG43 [20] return
rts
//SEG44 memcpy::@2
b2:
//SEG45 [21] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) -- _deref_pbuz1=_deref_pbuz2
ldy #0 ldy #0
lda (src),y lda (src),y
ldy #0 ldy #0
sta (dst),y sta (dst),y
//SEG46 [19] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 -- pbuz1=_inc_pbuz1 //SEG46 [22] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 -- pbuz1=_inc_pbuz1
inc dst inc dst
bne !+ bne !+
inc dst+1 inc dst+1
!: !:
//SEG47 [20] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2 -- pbuz1=_inc_pbuz1 //SEG47 [23] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2 -- pbuz1=_inc_pbuz1
inc src inc src
bne !+ bne !+
inc src+1 inc src+1
!: !:
//SEG48 [21] (word) memcpy::i#1 ← ++ (word) memcpy::i#2 -- vwuz1=_inc_vwuz1 jmp b1_from_b2
inc i
bne !+
inc i+1
!:
//SEG49 [22] if((word) memcpy::i#1<(word) memcpy::num#3) goto memcpy::@1 -- vwuz1_lt_vwuz2_then_la1
lda i+1
cmp num+1
bcc b1_from_b1
bne !+
lda i
cmp num
bcc b1_from_b1
!:
jmp breturn
//SEG50 memcpy::@return
breturn:
//SEG51 [23] return
rts
} }
//SEG52 File Data //SEG48 File Data
REGISTER UPLIFT POTENTIAL REGISTERS REGISTER UPLIFT POTENTIAL REGISTERS
Statement [6] *((const byte*) D018#0) ← (const byte) main::toD0181_return#0 [ ] ( main:2 [ ] ) always clobbers reg byte a Statement [6] *((const byte*) D018#0) ← (const byte) main::toD0181_return#0 [ ] ( main:2 [ ] ) always clobbers reg byte a
Statement [9] *((const byte*) PROCPORT#0) ← (const byte) PROCPORT_RAM_CHARROM#0 [ ] ( main:2 [ ] ) always clobbers reg byte a Statement [9] *((const byte*) PROCPORT#0) ← (const byte) PROCPORT_RAM_CHARROM#0 [ ] ( main:2 [ ] ) always clobbers reg byte a
Statement [11] *((const byte*) PROCPORT#0) ← (const byte) PROCPORT_BASIC_KERNEL_IO#0 [ ] ( main:2 [ ] ) always clobbers reg byte a Statement [11] *((const byte*) PROCPORT#0) ← (const byte) PROCPORT_BASIC_KERNEL_IO#0 [ ] ( main:2 [ ] ) always clobbers reg byte a
Statement [15] (byte*~) memcpy::src#3 ← (byte*)(void*) memcpy::source#2 [ memcpy::destination#2 memcpy::num#3 memcpy::src#3 ] ( main:2::memcpy:7 [ memcpy::destination#2 memcpy::num#3 memcpy::src#3 ] main:2::memcpy:10 [ memcpy::destination#2 memcpy::num#3 memcpy::src#3 ] ) always clobbers reg byte a Statement [15] (byte*) memcpy::src_end#0 ← (byte*)(void*) memcpy::source#2 + (word) memcpy::num#2 [ memcpy::source#2 memcpy::destination#2 memcpy::src_end#0 ] ( main:2::memcpy:7 [ memcpy::source#2 memcpy::destination#2 memcpy::src_end#0 ] main:2::memcpy:10 [ memcpy::source#2 memcpy::destination#2 memcpy::src_end#0 ] ) always clobbers reg byte a
Statement [16] (byte*~) memcpy::dst#3 ← (byte*)(void*) memcpy::destination#2 [ memcpy::num#3 memcpy::src#3 memcpy::dst#3 ] ( main:2::memcpy:7 [ memcpy::num#3 memcpy::src#3 memcpy::dst#3 ] main:2::memcpy:10 [ memcpy::num#3 memcpy::src#3 memcpy::dst#3 ] ) always clobbers reg byte a Statement [16] (byte*~) memcpy::src#4 ← (byte*)(void*) memcpy::source#2 [ memcpy::destination#2 memcpy::src_end#0 memcpy::src#4 ] ( main:2::memcpy:7 [ memcpy::destination#2 memcpy::src_end#0 memcpy::src#4 ] main:2::memcpy:10 [ memcpy::destination#2 memcpy::src_end#0 memcpy::src#4 ] ) always clobbers reg byte a
Statement [18] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) [ memcpy::num#3 memcpy::src#2 memcpy::dst#2 memcpy::i#2 ] ( main:2::memcpy:7 [ memcpy::num#3 memcpy::src#2 memcpy::dst#2 memcpy::i#2 ] main:2::memcpy:10 [ memcpy::num#3 memcpy::src#2 memcpy::dst#2 memcpy::i#2 ] ) always clobbers reg byte a reg byte y Statement [17] (byte*~) memcpy::dst#4 ← (byte*)(void*) memcpy::destination#2 [ memcpy::src_end#0 memcpy::src#4 memcpy::dst#4 ] ( main:2::memcpy:7 [ memcpy::src_end#0 memcpy::src#4 memcpy::dst#4 ] main:2::memcpy:10 [ memcpy::src_end#0 memcpy::src#4 memcpy::dst#4 ] ) always clobbers reg byte a
Statement [22] if((word) memcpy::i#1<(word) memcpy::num#3) goto memcpy::@1 [ memcpy::num#3 memcpy::src#1 memcpy::dst#1 memcpy::i#1 ] ( main:2::memcpy:7 [ memcpy::num#3 memcpy::src#1 memcpy::dst#1 memcpy::i#1 ] main:2::memcpy:10 [ memcpy::num#3 memcpy::src#1 memcpy::dst#1 memcpy::i#1 ] ) always clobbers reg byte a Statement [19] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2 [ memcpy::src_end#0 memcpy::src#2 memcpy::dst#2 ] ( main:2::memcpy:7 [ memcpy::src_end#0 memcpy::src#2 memcpy::dst#2 ] main:2::memcpy:10 [ memcpy::src_end#0 memcpy::src#2 memcpy::dst#2 ] ) always clobbers reg byte a
Statement [21] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) [ memcpy::src_end#0 memcpy::src#2 memcpy::dst#2 ] ( main:2::memcpy:7 [ memcpy::src_end#0 memcpy::src#2 memcpy::dst#2 ] main:2::memcpy:10 [ memcpy::src_end#0 memcpy::src#2 memcpy::dst#2 ] ) always clobbers reg byte a reg byte y
Potential registers zp ZP_WORD:2 [ memcpy::source#2 ] : zp ZP_WORD:2 , Potential registers zp ZP_WORD:2 [ memcpy::source#2 ] : zp ZP_WORD:2 ,
Potential registers zp ZP_WORD:4 [ memcpy::destination#2 ] : zp ZP_WORD:4 , Potential registers zp ZP_WORD:4 [ memcpy::destination#2 ] : zp ZP_WORD:4 ,
Potential registers zp ZP_WORD:6 [ memcpy::num#3 ] : zp ZP_WORD:6 , Potential registers zp ZP_WORD:6 [ memcpy::num#2 ] : zp ZP_WORD:6 ,
Potential registers zp ZP_WORD:8 [ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] : zp ZP_WORD:8 , Potential registers zp ZP_WORD:8 [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ] : zp ZP_WORD:8 ,
Potential registers zp ZP_WORD:10 [ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] : zp ZP_WORD:10 , Potential registers zp ZP_WORD:10 [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ] : zp ZP_WORD:10 ,
Potential registers zp ZP_WORD:12 [ memcpy::i#2 memcpy::i#1 ] : zp ZP_WORD:12 , Potential registers zp ZP_WORD:12 [ memcpy::src_end#0 ] : zp ZP_WORD:12 ,
REGISTER UPLIFT SCOPES REGISTER UPLIFT SCOPES
Uplift Scope [memcpy] 27: zp ZP_WORD:10 [ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] 22: zp ZP_WORD:12 [ memcpy::i#2 memcpy::i#1 ] 21: zp ZP_WORD:8 [ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] 1.22: zp ZP_WORD:6 [ memcpy::num#3 ] 0: zp ZP_WORD:2 [ memcpy::source#2 ] 0: zp ZP_WORD:4 [ memcpy::destination#2 ] Uplift Scope [memcpy] 35.5: zp ZP_WORD:8 [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ] 26.67: zp ZP_WORD:10 [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ] 2: zp ZP_WORD:6 [ memcpy::num#2 ] 1.62: zp ZP_WORD:12 [ memcpy::src_end#0 ] 0: zp ZP_WORD:2 [ memcpy::source#2 ] 0: zp ZP_WORD:4 [ memcpy::destination#2 ]
Uplift Scope [main] Uplift Scope [main]
Uplift Scope [] Uplift Scope []
Uplifting [memcpy] best 1099 combination zp ZP_WORD:10 [ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] zp ZP_WORD:12 [ memcpy::i#2 memcpy::i#1 ] zp ZP_WORD:8 [ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] zp ZP_WORD:6 [ memcpy::num#3 ] zp ZP_WORD:2 [ memcpy::source#2 ] zp ZP_WORD:4 [ memcpy::destination#2 ] Uplifting [memcpy] best 869 combination zp ZP_WORD:8 [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ] zp ZP_WORD:10 [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ] zp ZP_WORD:6 [ memcpy::num#2 ] zp ZP_WORD:12 [ memcpy::src_end#0 ] zp ZP_WORD:2 [ memcpy::source#2 ] zp ZP_WORD:4 [ memcpy::destination#2 ]
Uplifting [main] best 1099 combination Uplifting [main] best 869 combination
Uplifting [] best 1099 combination Uplifting [] best 869 combination
Coalescing zero page register with common assignment [ zp ZP_WORD:2 [ memcpy::source#2 ] ] with [ zp ZP_WORD:8 [ memcpy::src#2 memcpy::src#3 memcpy::src#1 ] ] - score: 1 Coalescing zero page register with common assignment [ zp ZP_WORD:2 [ memcpy::source#2 ] ] with [ zp ZP_WORD:8 [ memcpy::src#2 memcpy::src#4 memcpy::src#1 ] ] - score: 1
Coalescing zero page register with common assignment [ zp ZP_WORD:4 [ memcpy::destination#2 ] ] with [ zp ZP_WORD:10 [ memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] ] - score: 1 Coalescing zero page register with common assignment [ zp ZP_WORD:4 [ memcpy::destination#2 ] ] with [ zp ZP_WORD:10 [ memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ] ] - score: 1
Allocated (was zp ZP_WORD:12) zp ZP_WORD:8 [ memcpy::i#2 memcpy::i#1 ] Coalescing zero page register with common assignment [ zp ZP_WORD:6 [ memcpy::num#2 ] ] with [ zp ZP_WORD:12 [ memcpy::src_end#0 ] ] - score: 1
ASSEMBLER BEFORE OPTIMIZATION ASSEMBLER BEFORE OPTIMIZATION
//SEG0 File Comments //SEG0 File Comments
// Test memcpy - copy charset and screen // Test memcpy - copy charset and screen using memcpy() from stdlib string
//SEG1 Basic Upstart //SEG1 Basic Upstart
.pc = $801 "Basic" .pc = $801 "Basic"
:BasicUpstart(bbegin) :BasicUpstart(bbegin)
@@ -834,7 +839,7 @@ main: {
//SEG15 [7] call memcpy //SEG15 [7] call memcpy
//SEG16 [14] phi from main::@1 to memcpy [phi:main::@1->memcpy] //SEG16 [14] phi from main::@1 to memcpy [phi:main::@1->memcpy]
memcpy_from_b1: memcpy_from_b1:
//SEG17 [14] phi (word) memcpy::num#3 = (word) $400 [phi:main::@1->memcpy#0] -- vwuz1=vwuc1 //SEG17 [14] phi (word) memcpy::num#2 = (word) $400 [phi:main::@1->memcpy#0] -- vwuz1=vwuc1
lda #<$400 lda #<$400
sta memcpy.num sta memcpy.num
lda #>$400 lda #>$400
@@ -861,7 +866,7 @@ main: {
//SEG23 [10] call memcpy //SEG23 [10] call memcpy
//SEG24 [14] phi from main::@2 to memcpy [phi:main::@2->memcpy] //SEG24 [14] phi from main::@2 to memcpy [phi:main::@2->memcpy]
memcpy_from_b2: memcpy_from_b2:
//SEG25 [14] phi (word) memcpy::num#3 = (word) $800 [phi:main::@2->memcpy#0] -- vwuz1=vwuc1 //SEG25 [14] phi (word) memcpy::num#2 = (word) $800 [phi:main::@2->memcpy#0] -- vwuz1=vwuc1
lda #<$800 lda #<$800
sta memcpy.num sta memcpy.num
lda #>$800 lda #>$800
@@ -896,68 +901,62 @@ main: {
// Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination. // Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination.
// memcpy(void* zeropage(4) destination, void* zeropage(2) source, word zeropage(6) num) // memcpy(void* zeropage(4) destination, void* zeropage(2) source, word zeropage(6) num)
memcpy: { memcpy: {
.label src_end = 6
.label dst = 4 .label dst = 4
.label src = 2 .label src = 2
.label i = 8
.label source = 2 .label source = 2
.label destination = 4 .label destination = 4
.label num = 6 .label num = 6
//SEG34 [15] (byte*~) memcpy::src#3 ← (byte*)(void*) memcpy::source#2 //SEG34 [15] (byte*) memcpy::src_end#0 ← (byte*)(void*) memcpy::source#2 + (word) memcpy::num#2 -- pbuz1=pbuz2_plus_vwuz1
//SEG35 [16] (byte*~) memcpy::dst#3 ← (byte*)(void*) memcpy::destination#2 lda src_end
//SEG36 [17] phi from memcpy to memcpy::@1 [phi:memcpy->memcpy::@1] clc
adc source
sta src_end
lda src_end+1
adc source+1
sta src_end+1
//SEG35 [16] (byte*~) memcpy::src#4 ← (byte*)(void*) memcpy::source#2
//SEG36 [17] (byte*~) memcpy::dst#4 ← (byte*)(void*) memcpy::destination#2
//SEG37 [18] phi from memcpy memcpy::@2 to memcpy::@1 [phi:memcpy/memcpy::@2->memcpy::@1]
b1_from_memcpy: b1_from_memcpy:
//SEG37 [17] phi (word) memcpy::i#2 = (byte) 0 [phi:memcpy->memcpy::@1#0] -- vwuz1=vbuc1 b1_from_b2:
lda #0 //SEG38 [18] phi (byte*) memcpy::dst#2 = (byte*~) memcpy::dst#4 [phi:memcpy/memcpy::@2->memcpy::@1#0] -- register_copy
sta i //SEG39 [18] phi (byte*) memcpy::src#2 = (byte*~) memcpy::src#4 [phi:memcpy/memcpy::@2->memcpy::@1#1] -- register_copy
lda #0
sta i+1
//SEG38 [17] phi (byte*) memcpy::dst#2 = (byte*~) memcpy::dst#3 [phi:memcpy->memcpy::@1#1] -- register_copy
//SEG39 [17] phi (byte*) memcpy::src#2 = (byte*~) memcpy::src#3 [phi:memcpy->memcpy::@1#2] -- register_copy
jmp b1 jmp b1
//SEG40 [17] phi from memcpy::@1 to memcpy::@1 [phi:memcpy::@1->memcpy::@1] //SEG40 memcpy::@1
b1_from_b1:
//SEG41 [17] phi (word) memcpy::i#2 = (word) memcpy::i#1 [phi:memcpy::@1->memcpy::@1#0] -- register_copy
//SEG42 [17] phi (byte*) memcpy::dst#2 = (byte*) memcpy::dst#1 [phi:memcpy::@1->memcpy::@1#1] -- register_copy
//SEG43 [17] phi (byte*) memcpy::src#2 = (byte*) memcpy::src#1 [phi:memcpy::@1->memcpy::@1#2] -- register_copy
jmp b1
//SEG44 memcpy::@1
b1: b1:
//SEG45 [18] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) -- _deref_pbuz1=_deref_pbuz2 //SEG41 [19] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2 -- pbuz1_neq_pbuz2_then_la1
lda src+1
cmp src_end+1
bne b2
lda src
cmp src_end
bne b2
jmp breturn
//SEG42 memcpy::@return
breturn:
//SEG43 [20] return
rts
//SEG44 memcpy::@2
b2:
//SEG45 [21] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) -- _deref_pbuz1=_deref_pbuz2
ldy #0 ldy #0
lda (src),y lda (src),y
ldy #0 ldy #0
sta (dst),y sta (dst),y
//SEG46 [19] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 -- pbuz1=_inc_pbuz1 //SEG46 [22] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 -- pbuz1=_inc_pbuz1
inc dst inc dst
bne !+ bne !+
inc dst+1 inc dst+1
!: !:
//SEG47 [20] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2 -- pbuz1=_inc_pbuz1 //SEG47 [23] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2 -- pbuz1=_inc_pbuz1
inc src inc src
bne !+ bne !+
inc src+1 inc src+1
!: !:
//SEG48 [21] (word) memcpy::i#1 ← ++ (word) memcpy::i#2 -- vwuz1=_inc_vwuz1 jmp b1_from_b2
inc i
bne !+
inc i+1
!:
//SEG49 [22] if((word) memcpy::i#1<(word) memcpy::num#3) goto memcpy::@1 -- vwuz1_lt_vwuz2_then_la1
lda i+1
cmp num+1
bcc b1_from_b1
bne !+
lda i
cmp num
bcc b1_from_b1
!:
jmp breturn
//SEG50 memcpy::@return
breturn:
//SEG51 [23] return
rts
} }
//SEG52 File Data //SEG48 File Data
ASSEMBLER OPTIMIZATIONS ASSEMBLER OPTIMIZATIONS
Removing instruction jmp b1 Removing instruction jmp b1
@@ -970,18 +969,17 @@ Removing instruction jmp breturn
Removing instruction jmp b1 Removing instruction jmp b1
Removing instruction jmp breturn Removing instruction jmp breturn
Succesful ASM optimization Pass5NextJumpElimination Succesful ASM optimization Pass5NextJumpElimination
Removing instruction lda #0
Removing instruction ldy #0 Removing instruction ldy #0
Succesful ASM optimization Pass5UnnecesaryLoadElimination Succesful ASM optimization Pass5UnnecesaryLoadElimination
Replacing label b1_from_b1 with b1 Replacing label b1_from_b2 with b1
Replacing label b1_from_b1 with b1
Removing instruction b1_from_bbegin: Removing instruction b1_from_bbegin:
Removing instruction b1: Removing instruction b1:
Removing instruction main_from_b1: Removing instruction main_from_b1:
Removing instruction bend_from_b1: Removing instruction bend_from_b1:
Removing instruction toD0181_from_main: Removing instruction toD0181_from_main:
Removing instruction toD0181: Removing instruction toD0181:
Removing instruction b1_from_b1: Removing instruction b1_from_memcpy:
Removing instruction b1_from_b2:
Succesful ASM optimization Pass5RedundantLabelElimination Succesful ASM optimization Pass5RedundantLabelElimination
Removing instruction bend: Removing instruction bend:
Removing instruction b1: Removing instruction b1:
@@ -990,14 +988,11 @@ Removing instruction b2:
Removing instruction memcpy_from_b2: Removing instruction memcpy_from_b2:
Removing instruction b3: Removing instruction b3:
Removing instruction breturn: Removing instruction breturn:
Removing instruction b1_from_memcpy:
Removing instruction breturn: Removing instruction breturn:
Succesful ASM optimization Pass5UnusedLabelElimination Succesful ASM optimization Pass5UnusedLabelElimination
Updating BasicUpstart to call main directly Updating BasicUpstart to call main directly
Removing instruction jsr main Removing instruction jsr main
Succesful ASM optimization Pass5SkipBegin Succesful ASM optimization Pass5SkipBegin
Removing instruction jmp b1
Succesful ASM optimization Pass5NextJumpElimination
Removing instruction bbegin: Removing instruction bbegin:
Succesful ASM optimization Pass5UnusedLabelElimination Succesful ASM optimization Pass5UnusedLabelElimination
@@ -1042,37 +1037,36 @@ FINAL SYMBOL TABLE
(byte*) main::toD0181_screen (byte*) main::toD0181_screen
(void*()) memcpy((void*) memcpy::destination , (void*) memcpy::source , (word) memcpy::num) (void*()) memcpy((void*) memcpy::destination , (void*) memcpy::source , (word) memcpy::num)
(label) memcpy::@1 (label) memcpy::@1
(label) memcpy::@2
(label) memcpy::@return (label) memcpy::@return
(void*) memcpy::destination (void*) memcpy::destination
(void*) memcpy::destination#2 destination zp ZP_WORD:4 (void*) memcpy::destination#2 destination zp ZP_WORD:4
(byte*) memcpy::dst (byte*) memcpy::dst
(byte*) memcpy::dst#1 dst zp ZP_WORD:4 5.5 (byte*) memcpy::dst#1 dst zp ZP_WORD:4 11.0
(byte*) memcpy::dst#2 dst zp ZP_WORD:4 17.5 (byte*) memcpy::dst#2 dst zp ZP_WORD:4 11.666666666666666
(byte*~) memcpy::dst#3 dst zp ZP_WORD:4 4.0 (byte*~) memcpy::dst#4 dst zp ZP_WORD:4 4.0
(word) memcpy::i
(word) memcpy::i#1 i zp ZP_WORD:8 16.5
(word) memcpy::i#2 i zp ZP_WORD:8 5.5
(word) memcpy::num (word) memcpy::num
(word) memcpy::num#3 num zp ZP_WORD:6 1.2222222222222223 (word) memcpy::num#2 num zp ZP_WORD:6 2.0
(void*) memcpy::return (void*) memcpy::return
(void*) memcpy::source (void*) memcpy::source
(void*) memcpy::source#2 source zp ZP_WORD:2 (void*) memcpy::source#2 source zp ZP_WORD:2
(byte*) memcpy::src (byte*) memcpy::src
(byte*) memcpy::src#1 src zp ZP_WORD:2 7.333333333333333 (byte*) memcpy::src#1 src zp ZP_WORD:2 22.0
(byte*) memcpy::src#2 src zp ZP_WORD:2 11.666666666666666 (byte*) memcpy::src#2 src zp ZP_WORD:2 11.5
(byte*~) memcpy::src#3 src zp ZP_WORD:2 2.0 (byte*~) memcpy::src#4 src zp ZP_WORD:2 2.0
(byte*) memcpy::src_end
(byte*) memcpy::src_end#0 src_end zp ZP_WORD:6 1.625
zp ZP_WORD:2 [ memcpy::source#2 memcpy::src#2 memcpy::src#3 memcpy::src#1 ] zp ZP_WORD:2 [ memcpy::source#2 memcpy::src#2 memcpy::src#4 memcpy::src#1 ]
zp ZP_WORD:4 [ memcpy::destination#2 memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] zp ZP_WORD:4 [ memcpy::destination#2 memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ]
zp ZP_WORD:6 [ memcpy::num#3 ] zp ZP_WORD:6 [ memcpy::num#2 memcpy::src_end#0 ]
zp ZP_WORD:8 [ memcpy::i#2 memcpy::i#1 ]
FINAL ASSEMBLER FINAL ASSEMBLER
Score: 891 Score: 711
//SEG0 File Comments //SEG0 File Comments
// Test memcpy - copy charset and screen // Test memcpy - copy charset and screen using memcpy() from stdlib string
//SEG1 Basic Upstart //SEG1 Basic Upstart
.pc = $801 "Basic" .pc = $801 "Basic"
:BasicUpstart(main) :BasicUpstart(main)
@@ -1108,7 +1102,7 @@ main: {
sta D018 sta D018
//SEG15 [7] call memcpy //SEG15 [7] call memcpy
//SEG16 [14] phi from main::@1 to memcpy [phi:main::@1->memcpy] //SEG16 [14] phi from main::@1 to memcpy [phi:main::@1->memcpy]
//SEG17 [14] phi (word) memcpy::num#3 = (word) $400 [phi:main::@1->memcpy#0] -- vwuz1=vwuc1 //SEG17 [14] phi (word) memcpy::num#2 = (word) $400 [phi:main::@1->memcpy#0] -- vwuz1=vwuc1
lda #<$400 lda #<$400
sta memcpy.num sta memcpy.num
lda #>$400 lda #>$400
@@ -1132,7 +1126,7 @@ main: {
sta PROCPORT sta PROCPORT
//SEG23 [10] call memcpy //SEG23 [10] call memcpy
//SEG24 [14] phi from main::@2 to memcpy [phi:main::@2->memcpy] //SEG24 [14] phi from main::@2 to memcpy [phi:main::@2->memcpy]
//SEG25 [14] phi (word) memcpy::num#3 = (word) $800 [phi:main::@2->memcpy#0] -- vwuz1=vwuc1 //SEG25 [14] phi (word) memcpy::num#2 = (word) $800 [phi:main::@2->memcpy#0] -- vwuz1=vwuc1
lda #<$800 lda #<$800
sta memcpy.num sta memcpy.num
lda #>$800 lda #>$800
@@ -1163,58 +1157,54 @@ main: {
// Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination. // Copies the values of num bytes from the location pointed to by source directly to the memory block pointed to by destination.
// memcpy(void* zeropage(4) destination, void* zeropage(2) source, word zeropage(6) num) // memcpy(void* zeropage(4) destination, void* zeropage(2) source, word zeropage(6) num)
memcpy: { memcpy: {
.label src_end = 6
.label dst = 4 .label dst = 4
.label src = 2 .label src = 2
.label i = 8
.label source = 2 .label source = 2
.label destination = 4 .label destination = 4
.label num = 6 .label num = 6
//SEG34 [15] (byte*~) memcpy::src#3 ← (byte*)(void*) memcpy::source#2 //SEG34 [15] (byte*) memcpy::src_end#0 ← (byte*)(void*) memcpy::source#2 + (word) memcpy::num#2 -- pbuz1=pbuz2_plus_vwuz1
//SEG35 [16] (byte*~) memcpy::dst#3 ← (byte*)(void*) memcpy::destination#2 lda src_end
//SEG36 [17] phi from memcpy to memcpy::@1 [phi:memcpy->memcpy::@1] clc
//SEG37 [17] phi (word) memcpy::i#2 = (byte) 0 [phi:memcpy->memcpy::@1#0] -- vwuz1=vbuc1 adc source
lda #0 sta src_end
sta i lda src_end+1
sta i+1 adc source+1
//SEG38 [17] phi (byte*) memcpy::dst#2 = (byte*~) memcpy::dst#3 [phi:memcpy->memcpy::@1#1] -- register_copy sta src_end+1
//SEG39 [17] phi (byte*) memcpy::src#2 = (byte*~) memcpy::src#3 [phi:memcpy->memcpy::@1#2] -- register_copy //SEG35 [16] (byte*~) memcpy::src#4 ← (byte*)(void*) memcpy::source#2
//SEG40 [17] phi from memcpy::@1 to memcpy::@1 [phi:memcpy::@1->memcpy::@1] //SEG36 [17] (byte*~) memcpy::dst#4 ← (byte*)(void*) memcpy::destination#2
//SEG41 [17] phi (word) memcpy::i#2 = (word) memcpy::i#1 [phi:memcpy::@1->memcpy::@1#0] -- register_copy //SEG37 [18] phi from memcpy memcpy::@2 to memcpy::@1 [phi:memcpy/memcpy::@2->memcpy::@1]
//SEG42 [17] phi (byte*) memcpy::dst#2 = (byte*) memcpy::dst#1 [phi:memcpy::@1->memcpy::@1#1] -- register_copy //SEG38 [18] phi (byte*) memcpy::dst#2 = (byte*~) memcpy::dst#4 [phi:memcpy/memcpy::@2->memcpy::@1#0] -- register_copy
//SEG43 [17] phi (byte*) memcpy::src#2 = (byte*) memcpy::src#1 [phi:memcpy::@1->memcpy::@1#2] -- register_copy //SEG39 [18] phi (byte*) memcpy::src#2 = (byte*~) memcpy::src#4 [phi:memcpy/memcpy::@2->memcpy::@1#1] -- register_copy
//SEG44 memcpy::@1 //SEG40 memcpy::@1
b1: b1:
//SEG45 [18] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) -- _deref_pbuz1=_deref_pbuz2 //SEG41 [19] if((byte*) memcpy::src#2!=(byte*) memcpy::src_end#0) goto memcpy::@2 -- pbuz1_neq_pbuz2_then_la1
lda src+1
cmp src_end+1
bne b2
lda src
cmp src_end
bne b2
//SEG42 memcpy::@return
//SEG43 [20] return
rts
//SEG44 memcpy::@2
b2:
//SEG45 [21] *((byte*) memcpy::dst#2) ← *((byte*) memcpy::src#2) -- _deref_pbuz1=_deref_pbuz2
ldy #0 ldy #0
lda (src),y lda (src),y
sta (dst),y sta (dst),y
//SEG46 [19] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 -- pbuz1=_inc_pbuz1 //SEG46 [22] (byte*) memcpy::dst#1 ← ++ (byte*) memcpy::dst#2 -- pbuz1=_inc_pbuz1
inc dst inc dst
bne !+ bne !+
inc dst+1 inc dst+1
!: !:
//SEG47 [20] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2 -- pbuz1=_inc_pbuz1 //SEG47 [23] (byte*) memcpy::src#1 ← ++ (byte*) memcpy::src#2 -- pbuz1=_inc_pbuz1
inc src inc src
bne !+ bne !+
inc src+1 inc src+1
!: !:
//SEG48 [21] (word) memcpy::i#1 ← ++ (word) memcpy::i#2 -- vwuz1=_inc_vwuz1 jmp b1
inc i
bne !+
inc i+1
!:
//SEG49 [22] if((word) memcpy::i#1<(word) memcpy::num#3) goto memcpy::@1 -- vwuz1_lt_vwuz2_then_la1
lda i+1
cmp num+1
bcc b1
bne !+
lda i
cmp num
bcc b1
!:
//SEG50 memcpy::@return
//SEG51 [23] return
rts
} }
//SEG52 File Data //SEG48 File Data

27
src/test/ref/memcpy-0.sym
View File

@@ -38,27 +38,26 @@
(byte*) main::toD0181_screen (byte*) main::toD0181_screen
(void*()) memcpy((void*) memcpy::destination , (void*) memcpy::source , (word) memcpy::num) (void*()) memcpy((void*) memcpy::destination , (void*) memcpy::source , (word) memcpy::num)
(label) memcpy::@1 (label) memcpy::@1
(label) memcpy::@2
(label) memcpy::@return (label) memcpy::@return
(void*) memcpy::destination (void*) memcpy::destination
(void*) memcpy::destination#2 destination zp ZP_WORD:4 (void*) memcpy::destination#2 destination zp ZP_WORD:4
(byte*) memcpy::dst (byte*) memcpy::dst
(byte*) memcpy::dst#1 dst zp ZP_WORD:4 5.5 (byte*) memcpy::dst#1 dst zp ZP_WORD:4 11.0
(byte*) memcpy::dst#2 dst zp ZP_WORD:4 17.5 (byte*) memcpy::dst#2 dst zp ZP_WORD:4 11.666666666666666
(byte*~) memcpy::dst#3 dst zp ZP_WORD:4 4.0 (byte*~) memcpy::dst#4 dst zp ZP_WORD:4 4.0
(word) memcpy::i
(word) memcpy::i#1 i zp ZP_WORD:8 16.5
(word) memcpy::i#2 i zp ZP_WORD:8 5.5
(word) memcpy::num (word) memcpy::num
(word) memcpy::num#3 num zp ZP_WORD:6 1.2222222222222223 (word) memcpy::num#2 num zp ZP_WORD:6 2.0
(void*) memcpy::return (void*) memcpy::return
(void*) memcpy::source (void*) memcpy::source
(void*) memcpy::source#2 source zp ZP_WORD:2 (void*) memcpy::source#2 source zp ZP_WORD:2
(byte*) memcpy::src (byte*) memcpy::src
(byte*) memcpy::src#1 src zp ZP_WORD:2 7.333333333333333 (byte*) memcpy::src#1 src zp ZP_WORD:2 22.0
(byte*) memcpy::src#2 src zp ZP_WORD:2 11.666666666666666 (byte*) memcpy::src#2 src zp ZP_WORD:2 11.5
(byte*~) memcpy::src#3 src zp ZP_WORD:2 2.0 (byte*~) memcpy::src#4 src zp ZP_WORD:2 2.0
(byte*) memcpy::src_end
(byte*) memcpy::src_end#0 src_end zp ZP_WORD:6 1.625
zp ZP_WORD:2 [ memcpy::source#2 memcpy::src#2 memcpy::src#3 memcpy::src#1 ] zp ZP_WORD:2 [ memcpy::source#2 memcpy::src#2 memcpy::src#4 memcpy::src#1 ]
zp ZP_WORD:4 [ memcpy::destination#2 memcpy::dst#2 memcpy::dst#3 memcpy::dst#1 ] zp ZP_WORD:4 [ memcpy::destination#2 memcpy::dst#2 memcpy::dst#4 memcpy::dst#1 ]
zp ZP_WORD:6 [ memcpy::num#3 ] zp ZP_WORD:6 [ memcpy::num#2 memcpy::src_end#0 ]
zp ZP_WORD:8 [ memcpy::i#2 memcpy::i#1 ]