mirror of
https://gitlab.com/camelot/kickc.git
synced 2025-04-11 20:37:40 +00:00
Fixed arrays with fixed size defined by a simple named constant.
This commit is contained in:
Jesper Gravgaard
parent
112087b7bb
commit
ea80c9445a
src
main/java/dk/camelot64/kickc/passes
test/java/dk/camelot64/kickc/test
@ -13,6 +13,8 @@ import dk.camelot64.kickc.model.symbols.Scope;
|
||||
import dk.camelot64.kickc.model.symbols.Variable;
|
||||
import dk.camelot64.kickc.model.symbols.VariableUnversioned;
|
||||
import dk.camelot64.kickc.model.symbols.VariableVersion;
|
||||
import dk.camelot64.kickc.model.types.SymbolType;
|
||||
import dk.camelot64.kickc.model.types.SymbolTypeArray;
|
||||
import dk.camelot64.kickc.model.values.LValue;
|
||||
import dk.camelot64.kickc.model.values.LabelRef;
|
||||
import dk.camelot64.kickc.model.values.RValue;
|
||||
@ -108,6 +110,22 @@ public class Pass1GenerateSingleStaticAssignmentForm extends Pass1Base {
|
||||
}
|
||||
}
|
||||
}
|
||||
// Examine if the assigned variable is an array with a fixed size
|
||||
if(currentStmt instanceof StatementAssignment) {
|
||||
LValue lValue = ((StatementAssignment) currentStmt).getlValue();
|
||||
if(lValue instanceof VariableRef) {
|
||||
Variable assignedVar = Pass1GenerateSingleStaticAssignmentForm.this.getScope().getVariable((VariableRef) lValue);
|
||||
SymbolType assignedVarType = assignedVar.getType();
|
||||
if(assignedVarType instanceof SymbolTypeArray) {
|
||||
SymbolTypeArray assignedArrayType = (SymbolTypeArray) assignedVarType;
|
||||
RValue arraySize = assignedArrayType.getSize();
|
||||
VariableVersion vrs = findOrCreateVersion(arraySize, blockVersions, blockNewPhis);
|
||||
if(vrs != null) {
|
||||
assignedArrayType.setSize(vrs.getRef());
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
});
|
||||
// Add new Phi functions to block
|
||||
for(VariableUnversioned symbol : blockNewPhis.keySet()) {
|
||||
|
||||
@ -51,6 +51,11 @@ public class TestPrograms {
|
||||
compileAndCompare("forrangedwords");
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testArrayLengthSymbolicMin() throws IOException, URISyntaxException {
|
||||
compileAndCompare("array-length-symbolic-min");
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testArrayLengthSymbolic() throws IOException, URISyntaxException {
|
||||
compileAndCompare("array-length-symbolic");
|
||||
|
||||
@ -0,0 +1,12 @@
|
||||
// Illustrates symbolic array lengths
|
||||
|
||||
byte SZ = 15;
|
||||
byte[SZ] items;
|
||||
|
||||
// Fills the array item by item with $is, where i is the item# and s is the sub#
|
||||
void main() {
|
||||
byte* cur_item = items;
|
||||
for( byte sub: 0..SZ) {
|
||||
cur_item[sub] = sub;
|
||||
}
|
||||
}
|
||||
@ -7,7 +7,7 @@ byte* LOGO = $2000;
|
||||
|
||||
const word XSIN_SIZE = 512;
|
||||
|
||||
signed word[512] align($100) xsin;
|
||||
signed word[XSIN_SIZE] align($100) xsin;
|
||||
|
||||
void main() {
|
||||
asm { sei }
|
||||
|
||||
@ -0,0 +1,16 @@
|
||||
.pc = $801 "Basic"
|
||||
:BasicUpstart(main)
|
||||
.pc = $80d "Program"
|
||||
.const SZ = $f
|
||||
jsr main
|
||||
main: {
|
||||
ldx #0
|
||||
b1:
|
||||
txa
|
||||
sta items,x
|
||||
inx
|
||||
cpx #SZ+1
|
||||
bne b1
|
||||
rts
|
||||
}
|
||||
items: .fill SZ, 0
|
||||
@ -0,0 +1,21 @@
|
||||
@begin: scope:[] from
|
||||
[0] phi() [ ] ( )
|
||||
to:@1
|
||||
@1: scope:[] from @begin
|
||||
[1] phi() [ ] ( )
|
||||
[2] call main [ ] ( )
|
||||
to:@end
|
||||
@end: scope:[] from @1
|
||||
[3] phi() [ ] ( )
|
||||
main: scope:[main] from @1
|
||||
[4] phi() [ ] ( main:2 [ ] )
|
||||
to:main::@1
|
||||
main::@1: scope:[main] from main main::@1
|
||||
[5] (byte) main::sub#2 ← phi( main/(byte/signed byte/word/signed word/dword/signed dword) 0 main::@1/(byte) main::sub#1 ) [ main::sub#2 ] ( main:2 [ main::sub#2 ] )
|
||||
[6] *((const byte[SZ#0]) items#0 + (byte) main::sub#2) ← (byte) main::sub#2 [ main::sub#2 ] ( main:2 [ main::sub#2 ] )
|
||||
[7] (byte) main::sub#1 ← ++ (byte) main::sub#2 [ main::sub#1 ] ( main:2 [ main::sub#1 ] )
|
||||
[8] if((byte) main::sub#1!=(const byte) SZ#0+(byte/signed byte/word/signed word/dword/signed dword) 1) goto main::@1 [ main::sub#1 ] ( main:2 [ main::sub#1 ] )
|
||||
to:main::@return
|
||||
main::@return: scope:[main] from main::@1
|
||||
[9] return [ ] ( main:2 [ ] )
|
||||
to:@return
|
||||
@ -0,0 +1,426 @@
|
||||
PARSING src/test/java/dk/camelot64/kickc/test/kc/array-length-symbolic-min.kc
|
||||
// Illustrates symbolic array lengths
|
||||
|
||||
byte SZ = 15;
|
||||
byte[SZ] items;
|
||||
|
||||
// Fills the array item by item with $is, where i is the item# and s is the sub#
|
||||
void main() {
|
||||
byte* cur_item = items;
|
||||
for( byte sub: 0..SZ) {
|
||||
cur_item[sub] = sub;
|
||||
}
|
||||
}
|
||||
SYMBOLS
|
||||
(label) @1
|
||||
(label) @begin
|
||||
(label) @end
|
||||
(byte) SZ
|
||||
(byte[SZ]) items
|
||||
(void()) main()
|
||||
(bool~) main::$0
|
||||
(label) main::@1
|
||||
(label) main::@2
|
||||
(label) main::@return
|
||||
(byte*) main::cur_item
|
||||
(byte) main::sub
|
||||
|
||||
INITIAL CONTROL FLOW GRAPH
|
||||
@begin: scope:[] from
|
||||
(byte) SZ ← (byte/signed byte/word/signed word/dword/signed dword) 15
|
||||
(byte[SZ]) items ← { fill( SZ, 0) }
|
||||
to:@1
|
||||
main: scope:[main] from
|
||||
(byte*) main::cur_item ← (byte[SZ]) items
|
||||
(byte) main::sub ← (byte/signed byte/word/signed word/dword/signed dword) 0
|
||||
to:main::@1
|
||||
main::@1: scope:[main] from main main::@1
|
||||
*((byte*) main::cur_item + (byte) main::sub) ← (byte) main::sub
|
||||
(byte) main::sub ← (byte) main::sub + rangenext(0,SZ)
|
||||
(bool~) main::$0 ← (byte) main::sub != rangelast(0,SZ)
|
||||
if((bool~) main::$0) goto main::@1
|
||||
to:main::@2
|
||||
main::@2: scope:[main] from main::@1
|
||||
to:main::@return
|
||||
main::@return: scope:[main] from main::@2
|
||||
return
|
||||
to:@return
|
||||
@1: scope:[] from @begin
|
||||
call main
|
||||
to:@end
|
||||
@end: scope:[] from @1
|
||||
|
||||
Removing empty block main::@2
|
||||
PROCEDURE MODIFY VARIABLE ANALYSIS
|
||||
|
||||
Completing Phi functions...
|
||||
Completing Phi functions...
|
||||
Completing Phi functions...
|
||||
|
||||
CONTROL FLOW GRAPH SSA WITH ASSIGNMENT CALL & RETURN
|
||||
@begin: scope:[] from
|
||||
(byte) SZ#0 ← (byte/signed byte/word/signed word/dword/signed dword) 15
|
||||
(byte[SZ#0]) items#0 ← { fill( SZ#0, 0) }
|
||||
to:@1
|
||||
main: scope:[main] from @1
|
||||
(byte) SZ#2 ← phi( @1/(byte) SZ#3 )
|
||||
(byte*) main::cur_item#0 ← (byte[SZ#0]) items#0
|
||||
(byte) main::sub#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0
|
||||
to:main::@1
|
||||
main::@1: scope:[main] from main main::@1
|
||||
(byte) SZ#1 ← phi( main/(byte) SZ#2 main::@1/(byte) SZ#1 )
|
||||
(byte*) main::cur_item#1 ← phi( main/(byte*) main::cur_item#0 main::@1/(byte*) main::cur_item#1 )
|
||||
(byte) main::sub#2 ← phi( main/(byte) main::sub#0 main::@1/(byte) main::sub#1 )
|
||||
*((byte*) main::cur_item#1 + (byte) main::sub#2) ← (byte) main::sub#2
|
||||
(byte) main::sub#1 ← (byte) main::sub#2 + rangenext(0,SZ#1)
|
||||
(bool~) main::$0 ← (byte) main::sub#1 != rangelast(0,SZ#1)
|
||||
if((bool~) main::$0) goto main::@1
|
||||
to:main::@return
|
||||
main::@return: scope:[main] from main::@1
|
||||
return
|
||||
to:@return
|
||||
@1: scope:[] from @begin
|
||||
(byte) SZ#3 ← phi( @begin/(byte) SZ#0 )
|
||||
call main
|
||||
to:@2
|
||||
@2: scope:[] from @1
|
||||
to:@end
|
||||
@end: scope:[] from @2
|
||||
|
||||
SYMBOL TABLE SSA
|
||||
(label) @1
|
||||
(label) @2
|
||||
(label) @begin
|
||||
(label) @end
|
||||
(byte) SZ
|
||||
(byte) SZ#0
|
||||
(byte) SZ#1
|
||||
(byte) SZ#2
|
||||
(byte) SZ#3
|
||||
(byte[SZ#0]) items
|
||||
(byte[SZ#0]) items#0
|
||||
(void()) main()
|
||||
(bool~) main::$0
|
||||
(label) main::@1
|
||||
(label) main::@return
|
||||
(byte*) main::cur_item
|
||||
(byte*) main::cur_item#0
|
||||
(byte*) main::cur_item#1
|
||||
(byte) main::sub
|
||||
(byte) main::sub#0
|
||||
(byte) main::sub#1
|
||||
(byte) main::sub#2
|
||||
|
||||
OPTIMIZING CONTROL FLOW GRAPH
|
||||
Culled Empty Block (label) @2
|
||||
Succesful SSA optimization Pass2CullEmptyBlocks
|
||||
Not aliassing across scopes: SZ#2 SZ#3
|
||||
Not aliassing across scopes: main::cur_item#0 items#0
|
||||
Alias (byte) SZ#0 = (byte) SZ#3
|
||||
Succesful SSA optimization Pass2AliasElimination
|
||||
Not aliassing across scopes: SZ#2 SZ#0
|
||||
Not aliassing across scopes: main::cur_item#0 items#0
|
||||
Self Phi Eliminated (byte*) main::cur_item#1
|
||||
Self Phi Eliminated (byte) SZ#1
|
||||
Succesful SSA optimization Pass2SelfPhiElimination
|
||||
Redundant Phi (byte) SZ#2 (byte) SZ#0
|
||||
Redundant Phi (byte*) main::cur_item#1 (byte*) main::cur_item#0
|
||||
Redundant Phi (byte) SZ#1 (byte) SZ#2
|
||||
Succesful SSA optimization Pass2RedundantPhiElimination
|
||||
Simple Condition (bool~) main::$0 if((byte) main::sub#1!=rangelast(0,SZ#0)) goto main::@1
|
||||
Succesful SSA optimization Pass2ConditionalJumpSimplification
|
||||
Constant (const byte) SZ#0 = 15
|
||||
Constant (const byte) main::sub#0 = 0
|
||||
Succesful SSA optimization Pass2ConstantIdentification
|
||||
Constant (const byte[SZ#0]) items#0 = { fill( SZ#0, 0) }
|
||||
Succesful SSA optimization Pass2ConstantIdentification
|
||||
Constant (const byte*) main::cur_item#0 = items#0
|
||||
Succesful SSA optimization Pass2ConstantIdentification
|
||||
Resolved ranged next value main::sub#1 ← ++ main::sub#2 to ++
|
||||
Resolved ranged comparison value if(main::sub#1!=rangelast(0,SZ#0)) goto main::@1 to (const byte) SZ#0+(byte/signed byte/word/signed word/dword/signed dword) 1
|
||||
OPTIMIZING CONTROL FLOW GRAPH
|
||||
Inlining constant with var siblings (const byte) main::sub#0
|
||||
Inlining constant with var siblings (const byte) main::sub#0
|
||||
Constant inlined main::sub#0 = (byte/signed byte/word/signed word/dword/signed dword) 0
|
||||
Constant inlined main::cur_item#0 = (const byte[SZ#0]) items#0
|
||||
Succesful SSA optimization Pass2ConstantInlining
|
||||
Block Sequence Planned @begin @1 @end main main::@1 main::@return
|
||||
Added new block during phi lifting main::@3(between main::@1 and main::@1)
|
||||
Block Sequence Planned @begin @1 @end main main::@1 main::@return main::@3
|
||||
Adding NOP phi() at start of @begin
|
||||
Adding NOP phi() at start of @1
|
||||
Adding NOP phi() at start of @end
|
||||
Adding NOP phi() at start of main
|
||||
CALL GRAPH
|
||||
Calls in [] to main:2
|
||||
|
||||
Propagating live ranges...
|
||||
Propagating live ranges...
|
||||
Created 1 initial phi equivalence classes
|
||||
Coalesced [10] main::sub#3 ← main::sub#1
|
||||
Coalesced down to 1 phi equivalence classes
|
||||
Culled Empty Block (label) main::@3
|
||||
Block Sequence Planned @begin @1 @end main main::@1 main::@return
|
||||
Adding NOP phi() at start of @begin
|
||||
Adding NOP phi() at start of @1
|
||||
Adding NOP phi() at start of @end
|
||||
Adding NOP phi() at start of main
|
||||
Propagating live ranges...
|
||||
Propagating live ranges...
|
||||
|
||||
FINAL CONTROL FLOW GRAPH
|
||||
@begin: scope:[] from
|
||||
[0] phi() [ ] ( )
|
||||
to:@1
|
||||
@1: scope:[] from @begin
|
||||
[1] phi() [ ] ( )
|
||||
[2] call main [ ] ( )
|
||||
to:@end
|
||||
@end: scope:[] from @1
|
||||
[3] phi() [ ] ( )
|
||||
main: scope:[main] from @1
|
||||
[4] phi() [ ] ( main:2 [ ] )
|
||||
to:main::@1
|
||||
main::@1: scope:[main] from main main::@1
|
||||
[5] (byte) main::sub#2 ← phi( main/(byte/signed byte/word/signed word/dword/signed dword) 0 main::@1/(byte) main::sub#1 ) [ main::sub#2 ] ( main:2 [ main::sub#2 ] )
|
||||
[6] *((const byte[SZ#0]) items#0 + (byte) main::sub#2) ← (byte) main::sub#2 [ main::sub#2 ] ( main:2 [ main::sub#2 ] )
|
||||
[7] (byte) main::sub#1 ← ++ (byte) main::sub#2 [ main::sub#1 ] ( main:2 [ main::sub#1 ] )
|
||||
[8] if((byte) main::sub#1!=(const byte) SZ#0+(byte/signed byte/word/signed word/dword/signed dword) 1) goto main::@1 [ main::sub#1 ] ( main:2 [ main::sub#1 ] )
|
||||
to:main::@return
|
||||
main::@return: scope:[main] from main::@1
|
||||
[9] return [ ] ( main:2 [ ] )
|
||||
to:@return
|
||||
|
||||
DOMINATORS
|
||||
@begin dominated by @begin
|
||||
@1 dominated by @1 @begin
|
||||
@end dominated by @1 @begin @end
|
||||
main dominated by @1 @begin main
|
||||
main::@1 dominated by @1 @begin main::@1 main
|
||||
main::@return dominated by main::@return @1 @begin main::@1 main
|
||||
|
||||
NATURAL LOOPS
|
||||
Found back edge: Loop head: main::@1 tails: main::@1 blocks: null
|
||||
Populated: Loop head: main::@1 tails: main::@1 blocks: main::@1
|
||||
Loop head: main::@1 tails: main::@1 blocks: main::@1
|
||||
|
||||
NATURAL LOOPS WITH DEPTH
|
||||
Found 0 loops in scope []
|
||||
Found 1 loops in scope [main]
|
||||
Loop head: main::@1 tails: main::@1 blocks: main::@1
|
||||
Loop head: main::@1 tails: main::@1 blocks: main::@1 depth: 1
|
||||
|
||||
|
||||
VARIABLE REGISTER WEIGHTS
|
||||
(byte) SZ
|
||||
(byte[SZ#0]) items
|
||||
(void()) main()
|
||||
(byte*) main::cur_item
|
||||
(byte) main::sub
|
||||
(byte) main::sub#1 16.5
|
||||
(byte) main::sub#2 22.0
|
||||
|
||||
Initial phi equivalence classes
|
||||
[ main::sub#2 main::sub#1 ]
|
||||
Complete equivalence classes
|
||||
[ main::sub#2 main::sub#1 ]
|
||||
Allocated zp ZP_BYTE:2 [ main::sub#2 main::sub#1 ]
|
||||
|
||||
INITIAL ASM
|
||||
//SEG0 Basic Upstart
|
||||
.pc = $801 "Basic"
|
||||
:BasicUpstart(main)
|
||||
.pc = $80d "Program"
|
||||
//SEG1 Global Constants & labels
|
||||
.const SZ = $f
|
||||
//SEG2 @begin
|
||||
bbegin:
|
||||
//SEG3 [1] phi from @begin to @1 [phi:@begin->@1]
|
||||
b1_from_bbegin:
|
||||
jmp b1
|
||||
//SEG4 @1
|
||||
b1:
|
||||
//SEG5 [2] call main [ ] ( )
|
||||
//SEG6 [4] phi from @1 to main [phi:@1->main]
|
||||
main_from_b1:
|
||||
jsr main
|
||||
//SEG7 [3] phi from @1 to @end [phi:@1->@end]
|
||||
bend_from_b1:
|
||||
jmp bend
|
||||
//SEG8 @end
|
||||
bend:
|
||||
//SEG9 main
|
||||
main: {
|
||||
.label sub = 2
|
||||
//SEG10 [5] phi from main to main::@1 [phi:main->main::@1]
|
||||
b1_from_main:
|
||||
//SEG11 [5] phi (byte) main::sub#2 = (byte/signed byte/word/signed word/dword/signed dword) 0 [phi:main->main::@1#0] -- vbuz1=vbuc1
|
||||
lda #0
|
||||
sta sub
|
||||
jmp b1
|
||||
//SEG12 [5] phi from main::@1 to main::@1 [phi:main::@1->main::@1]
|
||||
b1_from_b1:
|
||||
//SEG13 [5] phi (byte) main::sub#2 = (byte) main::sub#1 [phi:main::@1->main::@1#0] -- register_copy
|
||||
jmp b1
|
||||
//SEG14 main::@1
|
||||
b1:
|
||||
//SEG15 [6] *((const byte[SZ#0]) items#0 + (byte) main::sub#2) ← (byte) main::sub#2 [ main::sub#2 ] ( main:2 [ main::sub#2 ] ) -- pbuc1_derefidx_vbuz1=vbuz1
|
||||
ldy sub
|
||||
tya
|
||||
sta items,y
|
||||
//SEG16 [7] (byte) main::sub#1 ← ++ (byte) main::sub#2 [ main::sub#1 ] ( main:2 [ main::sub#1 ] ) -- vbuz1=_inc_vbuz1
|
||||
inc sub
|
||||
//SEG17 [8] if((byte) main::sub#1!=(const byte) SZ#0+(byte/signed byte/word/signed word/dword/signed dword) 1) goto main::@1 [ main::sub#1 ] ( main:2 [ main::sub#1 ] ) -- vbuz1_neq_vbuc1_then_la1
|
||||
lda sub
|
||||
cmp #SZ+1
|
||||
bne b1_from_b1
|
||||
jmp breturn
|
||||
//SEG18 main::@return
|
||||
breturn:
|
||||
//SEG19 [9] return [ ] ( main:2 [ ] )
|
||||
rts
|
||||
}
|
||||
items: .fill SZ, 0
|
||||
|
||||
REGISTER UPLIFT POTENTIAL REGISTERS
|
||||
Potential registers zp ZP_BYTE:2 [ main::sub#2 main::sub#1 ] : zp ZP_BYTE:2 , reg byte a , reg byte x , reg byte y ,
|
||||
|
||||
REGISTER UPLIFT SCOPES
|
||||
Uplift Scope [main] 38.5: zp ZP_BYTE:2 [ main::sub#2 main::sub#1 ]
|
||||
Uplift Scope []
|
||||
|
||||
Uplifting [main] best 263 combination reg byte x [ main::sub#2 main::sub#1 ]
|
||||
Uplifting [] best 263 combination
|
||||
|
||||
ASSEMBLER BEFORE OPTIMIZATION
|
||||
//SEG0 Basic Upstart
|
||||
.pc = $801 "Basic"
|
||||
:BasicUpstart(main)
|
||||
.pc = $80d "Program"
|
||||
//SEG1 Global Constants & labels
|
||||
.const SZ = $f
|
||||
//SEG2 @begin
|
||||
bbegin:
|
||||
//SEG3 [1] phi from @begin to @1 [phi:@begin->@1]
|
||||
b1_from_bbegin:
|
||||
jmp b1
|
||||
//SEG4 @1
|
||||
b1:
|
||||
//SEG5 [2] call main [ ] ( )
|
||||
//SEG6 [4] phi from @1 to main [phi:@1->main]
|
||||
main_from_b1:
|
||||
jsr main
|
||||
//SEG7 [3] phi from @1 to @end [phi:@1->@end]
|
||||
bend_from_b1:
|
||||
jmp bend
|
||||
//SEG8 @end
|
||||
bend:
|
||||
//SEG9 main
|
||||
main: {
|
||||
//SEG10 [5] phi from main to main::@1 [phi:main->main::@1]
|
||||
b1_from_main:
|
||||
//SEG11 [5] phi (byte) main::sub#2 = (byte/signed byte/word/signed word/dword/signed dword) 0 [phi:main->main::@1#0] -- vbuxx=vbuc1
|
||||
ldx #0
|
||||
jmp b1
|
||||
//SEG12 [5] phi from main::@1 to main::@1 [phi:main::@1->main::@1]
|
||||
b1_from_b1:
|
||||
//SEG13 [5] phi (byte) main::sub#2 = (byte) main::sub#1 [phi:main::@1->main::@1#0] -- register_copy
|
||||
jmp b1
|
||||
//SEG14 main::@1
|
||||
b1:
|
||||
//SEG15 [6] *((const byte[SZ#0]) items#0 + (byte) main::sub#2) ← (byte) main::sub#2 [ main::sub#2 ] ( main:2 [ main::sub#2 ] ) -- pbuc1_derefidx_vbuxx=vbuxx
|
||||
txa
|
||||
sta items,x
|
||||
//SEG16 [7] (byte) main::sub#1 ← ++ (byte) main::sub#2 [ main::sub#1 ] ( main:2 [ main::sub#1 ] ) -- vbuxx=_inc_vbuxx
|
||||
inx
|
||||
//SEG17 [8] if((byte) main::sub#1!=(const byte) SZ#0+(byte/signed byte/word/signed word/dword/signed dword) 1) goto main::@1 [ main::sub#1 ] ( main:2 [ main::sub#1 ] ) -- vbuxx_neq_vbuc1_then_la1
|
||||
cpx #SZ+1
|
||||
bne b1_from_b1
|
||||
jmp breturn
|
||||
//SEG18 main::@return
|
||||
breturn:
|
||||
//SEG19 [9] return [ ] ( main:2 [ ] )
|
||||
rts
|
||||
}
|
||||
items: .fill SZ, 0
|
||||
|
||||
ASSEMBLER OPTIMIZATIONS
|
||||
Removing instruction jmp b1
|
||||
Removing instruction jmp bend
|
||||
Removing instruction jmp b1
|
||||
Removing instruction jmp breturn
|
||||
Succesful ASM optimization Pass5NextJumpElimination
|
||||
Replacing label b1_from_b1 with b1
|
||||
Removing instruction bbegin:
|
||||
Removing instruction b1_from_bbegin:
|
||||
Removing instruction main_from_b1:
|
||||
Removing instruction bend_from_b1:
|
||||
Removing instruction b1_from_b1:
|
||||
Succesful ASM optimization Pass5RedundantLabelElimination
|
||||
Removing instruction b1:
|
||||
Removing instruction bend:
|
||||
Removing instruction b1_from_main:
|
||||
Removing instruction breturn:
|
||||
Succesful ASM optimization Pass5UnusedLabelElimination
|
||||
Removing instruction jmp b1
|
||||
Succesful ASM optimization Pass5NextJumpElimination
|
||||
|
||||
FINAL SYMBOL TABLE
|
||||
(label) @1
|
||||
(label) @begin
|
||||
(label) @end
|
||||
(byte) SZ
|
||||
(const byte) SZ#0 SZ = (byte/signed byte/word/signed word/dword/signed dword) 15
|
||||
(byte[SZ#0]) items
|
||||
(const byte[SZ#0]) items#0 items = { fill( SZ#0, 0) }
|
||||
(void()) main()
|
||||
(label) main::@1
|
||||
(label) main::@return
|
||||
(byte*) main::cur_item
|
||||
(byte) main::sub
|
||||
(byte) main::sub#1 reg byte x 16.5
|
||||
(byte) main::sub#2 reg byte x 22.0
|
||||
|
||||
reg byte x [ main::sub#2 main::sub#1 ]
|
||||
|
||||
|
||||
FINAL ASSEMBLER
|
||||
Score: 167
|
||||
|
||||
//SEG0 Basic Upstart
|
||||
.pc = $801 "Basic"
|
||||
:BasicUpstart(main)
|
||||
.pc = $80d "Program"
|
||||
//SEG1 Global Constants & labels
|
||||
.const SZ = $f
|
||||
//SEG2 @begin
|
||||
//SEG3 [1] phi from @begin to @1 [phi:@begin->@1]
|
||||
//SEG4 @1
|
||||
//SEG5 [2] call main [ ] ( )
|
||||
//SEG6 [4] phi from @1 to main [phi:@1->main]
|
||||
jsr main
|
||||
//SEG7 [3] phi from @1 to @end [phi:@1->@end]
|
||||
//SEG8 @end
|
||||
//SEG9 main
|
||||
main: {
|
||||
//SEG10 [5] phi from main to main::@1 [phi:main->main::@1]
|
||||
//SEG11 [5] phi (byte) main::sub#2 = (byte/signed byte/word/signed word/dword/signed dword) 0 [phi:main->main::@1#0] -- vbuxx=vbuc1
|
||||
ldx #0
|
||||
//SEG12 [5] phi from main::@1 to main::@1 [phi:main::@1->main::@1]
|
||||
//SEG13 [5] phi (byte) main::sub#2 = (byte) main::sub#1 [phi:main::@1->main::@1#0] -- register_copy
|
||||
//SEG14 main::@1
|
||||
b1:
|
||||
//SEG15 [6] *((const byte[SZ#0]) items#0 + (byte) main::sub#2) ← (byte) main::sub#2 [ main::sub#2 ] ( main:2 [ main::sub#2 ] ) -- pbuc1_derefidx_vbuxx=vbuxx
|
||||
txa
|
||||
sta items,x
|
||||
//SEG16 [7] (byte) main::sub#1 ← ++ (byte) main::sub#2 [ main::sub#1 ] ( main:2 [ main::sub#1 ] ) -- vbuxx=_inc_vbuxx
|
||||
inx
|
||||
//SEG17 [8] if((byte) main::sub#1!=(const byte) SZ#0+(byte/signed byte/word/signed word/dword/signed dword) 1) goto main::@1 [ main::sub#1 ] ( main:2 [ main::sub#1 ] ) -- vbuxx_neq_vbuc1_then_la1
|
||||
cpx #SZ+1
|
||||
bne b1
|
||||
//SEG18 main::@return
|
||||
//SEG19 [9] return [ ] ( main:2 [ ] )
|
||||
rts
|
||||
}
|
||||
items: .fill SZ, 0
|
||||
|
||||
@ -0,0 +1,16 @@
|
||||
(label) @1
|
||||
(label) @begin
|
||||
(label) @end
|
||||
(byte) SZ
|
||||
(const byte) SZ#0 SZ = (byte/signed byte/word/signed word/dword/signed dword) 15
|
||||
(byte[SZ#0]) items
|
||||
(const byte[SZ#0]) items#0 items = { fill( SZ#0, 0) }
|
||||
(void()) main()
|
||||
(label) main::@1
|
||||
(label) main::@return
|
||||
(byte*) main::cur_item
|
||||
(byte) main::sub
|
||||
(byte) main::sub#1 reg byte x 16.5
|
||||
(byte) main::sub#2 reg byte x 22.0
|
||||
|
||||
reg byte x [ main::sub#2 main::sub#1 ]
|
||||
@ -720,4 +720,4 @@ fill: {
|
||||
rts
|
||||
}
|
||||
.align $100
|
||||
xsin: .fill 2*$200, 0
|
||||
xsin: .fill 2*XSIN_SIZE, 0
|
||||
|
||||
@ -63,7 +63,7 @@ loop::@4: scope:[loop] from loop::@1 loop::@4
|
||||
to:loop::@6
|
||||
loop::@6: scope:[loop] from loop::@4
|
||||
[27] *((const byte*) BORDERCOL#0) ← ++ *((const byte*) BORDERCOL#0) [ xsin_idx#11 ] ( main:2::loop:22 [ xsin_idx#11 ] )
|
||||
[28] (signed word*~) loop::$1 ← (const signed word[512]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] )
|
||||
[28] (signed word*~) loop::$1 ← (const signed word[XSIN_SIZE#0]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] )
|
||||
[29] (signed word) loop::xpos#0 ← *((signed word*~) loop::$1) [ xsin_idx#11 loop::xpos#0 ] ( main:2::loop:22 [ xsin_idx#11 loop::xpos#0 ] )
|
||||
[30] (signed word) render_logo::xpos#0 ← (signed word) loop::xpos#0 [ xsin_idx#11 render_logo::xpos#0 ] ( main:2::loop:22 [ xsin_idx#11 render_logo::xpos#0 ] )
|
||||
[31] call render_logo [ xsin_idx#11 ] ( main:2::loop:22 [ xsin_idx#11 ] )
|
||||
@ -171,7 +171,7 @@ sin16s_gen2::@3: scope:[sin16s_gen2] from sin16s_gen2
|
||||
to:sin16s_gen2::@1
|
||||
sin16s_gen2::@1: scope:[sin16s_gen2] from sin16s_gen2::@3 sin16s_gen2::@5
|
||||
[99] (word) sin16s_gen2::i#2 ← phi( sin16s_gen2::@3/(byte/signed byte/word/signed word/dword/signed dword) 0 sin16s_gen2::@5/(word) sin16s_gen2::i#1 ) [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] ( main:2::sin16s_gen2:20 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] )
|
||||
[99] (signed word*) sin16s_gen2::sintab#2 ← phi( sin16s_gen2::@3/(const signed word[512]) xsin#0 sin16s_gen2::@5/(signed word*) sin16s_gen2::sintab#0 ) [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] ( main:2::sin16s_gen2:20 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] )
|
||||
[99] (signed word*) sin16s_gen2::sintab#2 ← phi( sin16s_gen2::@3/(const signed word[XSIN_SIZE#0]) xsin#0 sin16s_gen2::@5/(signed word*) sin16s_gen2::sintab#0 ) [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] ( main:2::sin16s_gen2:20 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] )
|
||||
[99] (dword) sin16s_gen2::x#2 ← phi( sin16s_gen2::@3/(byte/signed byte/word/signed word/dword/signed dword) 0 sin16s_gen2::@5/(dword) sin16s_gen2::x#1 ) [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] ( main:2::sin16s_gen2:20 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] )
|
||||
[100] (dword) sin16s::x#0 ← (dword) sin16s_gen2::x#2 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 sin16s::x#0 ] ( main:2::sin16s_gen2:20 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 sin16s::x#0 ] )
|
||||
[101] call sin16s [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 sin16s::return#1 ] ( main:2::sin16s_gen2:20 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 sin16s::return#1 ] )
|
||||
|
||||
@ -8,7 +8,7 @@ byte* LOGO = $2000;
|
||||
|
||||
const word XSIN_SIZE = 512;
|
||||
|
||||
signed word[512] align($100) xsin;
|
||||
signed word[XSIN_SIZE] align($100) xsin;
|
||||
|
||||
void main() {
|
||||
asm { sei }
|
||||
@ -1377,7 +1377,7 @@ inline (void()) vicSelectGfxBank((byte*) vicSelectGfxBank::gfx)
|
||||
(byte~) vicSelectGfxBank::$0
|
||||
(label) vicSelectGfxBank::@return
|
||||
(byte*) vicSelectGfxBank::gfx
|
||||
(signed word[512]) xsin
|
||||
(signed word[XSIN_SIZE]) xsin
|
||||
(word) xsin_idx
|
||||
|
||||
Fixing lo/hi-lvalue with new tmpVar mul8s::$16 mul8s::$16 ← mul8s::$8
|
||||
@ -2302,7 +2302,7 @@ fill::@return: scope:[fill] from fill::@2
|
||||
(byte*) SCREEN ← ((byte*)) (word/signed word/dword/signed dword) 1024
|
||||
(byte*) LOGO ← ((byte*)) (word/signed word/dword/signed dword) 8192
|
||||
(word) XSIN_SIZE ← (word/signed word/dword/signed dword) 512
|
||||
(signed word[512]) xsin ← { fill( 512, 0) }
|
||||
(signed word[XSIN_SIZE]) xsin ← { fill( XSIN_SIZE, 0) }
|
||||
to:@25
|
||||
main: scope:[main] from
|
||||
asm { sei }
|
||||
@ -2326,7 +2326,7 @@ main::@1: scope:[main] from main main::@1
|
||||
to:main::@2
|
||||
main::@2: scope:[main] from main::@1
|
||||
(signed word/signed dword~) main::$5 ← - (word/signed word/dword/signed dword) 320
|
||||
(void~) main::$6 ← call sin16s_gen2 (signed word[512]) xsin (word) XSIN_SIZE (signed word/signed dword~) main::$5 (word/signed word/dword/signed dword) 320
|
||||
(void~) main::$6 ← call sin16s_gen2 (signed word[XSIN_SIZE]) xsin (word) XSIN_SIZE (signed word/signed dword~) main::$5 (word/signed word/dword/signed dword) 320
|
||||
(void~) main::$7 ← call loop
|
||||
to:main::@return
|
||||
main::@return: scope:[main] from main::@2
|
||||
@ -2358,7 +2358,7 @@ loop::@10: scope:[loop] from loop::@4
|
||||
to:loop::@6
|
||||
loop::@6: scope:[loop] from loop::@10 loop::@12
|
||||
*((byte*) BORDERCOL) ← ++ *((byte*) BORDERCOL)
|
||||
(signed word*~) loop::$1 ← (signed word[512]) xsin + (word) xsin_idx
|
||||
(signed word*~) loop::$1 ← (signed word[XSIN_SIZE]) xsin + (word) xsin_idx
|
||||
(signed word) loop::xpos ← *((signed word*~) loop::$1)
|
||||
(void~) loop::$2 ← call render_logo (signed word) loop::xpos
|
||||
(word) xsin_idx ← (word) xsin_idx + (byte/signed byte/word/signed word/dword/signed dword) 2
|
||||
@ -3240,7 +3240,7 @@ fill::@return: scope:[fill] from fill::@1
|
||||
(byte*) SCREEN#0 ← ((byte*)) (word/signed word/dword/signed dword) 1024
|
||||
(byte*) LOGO#0 ← ((byte*)) (word/signed word/dword/signed dword) 8192
|
||||
(word) XSIN_SIZE#0 ← (word/signed word/dword/signed dword) 512
|
||||
(signed word[512]) xsin#0 ← { fill( 512, 0) }
|
||||
(signed word[XSIN_SIZE#0]) xsin#0 ← { fill( XSIN_SIZE#0, 0) }
|
||||
to:@25
|
||||
main: scope:[main] from @27
|
||||
(word) xsin_idx#28 ← phi( @27/(word) xsin_idx#16 )
|
||||
@ -3323,7 +3323,7 @@ main::@2: scope:[main] from main::@1
|
||||
(word) xsin_idx#17 ← phi( main::@1/(word) xsin_idx#22 )
|
||||
(word) rem16u#23 ← phi( main::@1/(word) rem16u#27 )
|
||||
(signed word/signed dword~) main::$5 ← - (word/signed word/dword/signed dword) 320
|
||||
(signed word*) sin16s_gen2::sintab#1 ← (signed word[512]) xsin#0
|
||||
(signed word*) sin16s_gen2::sintab#1 ← (signed word[XSIN_SIZE#0]) xsin#0
|
||||
(word) sin16s_gen2::wavelength#0 ← (word) XSIN_SIZE#0
|
||||
(signed word) sin16s_gen2::min#0 ← (signed word/signed dword~) main::$5
|
||||
(signed word) sin16s_gen2::max#0 ← (word/signed word/dword/signed dword) 320
|
||||
@ -3381,7 +3381,7 @@ loop::@6: scope:[loop] from loop::@4
|
||||
(byte*) SCREEN#22 ← phi( loop::@4/(byte*) SCREEN#23 )
|
||||
(word) xsin_idx#9 ← phi( loop::@4/(word) xsin_idx#14 )
|
||||
*((byte*) BORDERCOL#0) ← ++ *((byte*) BORDERCOL#0)
|
||||
(signed word*~) loop::$1 ← (signed word[512]) xsin#0 + (word) xsin_idx#9
|
||||
(signed word*~) loop::$1 ← (signed word[XSIN_SIZE#0]) xsin#0 + (word) xsin_idx#9
|
||||
(signed word) loop::xpos#0 ← *((signed word*~) loop::$1)
|
||||
(signed word) render_logo::xpos#0 ← (signed word) loop::xpos#0
|
||||
call render_logo
|
||||
@ -4344,8 +4344,8 @@ SYMBOL TABLE SSA
|
||||
(dword) sin16s_gen2::x#2
|
||||
(dword) sin16s_gen2::x#3
|
||||
(dword) sin16s_gen2::x#4
|
||||
(signed word[512]) xsin
|
||||
(signed word[512]) xsin#0
|
||||
(signed word[XSIN_SIZE#0]) xsin
|
||||
(signed word[XSIN_SIZE#0]) xsin#0
|
||||
(word) xsin_idx
|
||||
(word) xsin_idx#0
|
||||
(word) xsin_idx#1
|
||||
@ -4924,7 +4924,6 @@ Constant (const byte) mulu16_sel::select#4 = 0
|
||||
Constant (const byte*) SCREEN#0 = ((byte*))1024
|
||||
Constant (const byte*) LOGO#0 = ((byte*))8192
|
||||
Constant (const word) XSIN_SIZE#0 = 512
|
||||
Constant (const signed word[512]) xsin#0 = { fill( 512, 0) }
|
||||
Constant (const word) fill::size#0 = 1000
|
||||
Constant (const word) fill::size#1 = 1000
|
||||
Constant (const byte) main::ch#0 = 0
|
||||
@ -4968,13 +4967,13 @@ Constant (const byte/word/signed word/dword/signed dword) render_logo::$71 = 40*
|
||||
Succesful SSA optimization Pass2ConstantIdentification
|
||||
Constant (const signed word) sin16s_gen2::ampl#0 = sin16s_gen2::max#0-sin16s_gen2::min#0
|
||||
Constant (const dword) div32u16u::dividend#0 = PI2_u4f28#0
|
||||
Constant (const signed word[XSIN_SIZE#0]) xsin#0 = { fill( XSIN_SIZE#0, 0) }
|
||||
Constant (const byte*) main::toD0181_screen#0 = SCREEN#0
|
||||
Constant (const byte*) main::toD0181_gfx#0 = LOGO#0
|
||||
Constant (const byte*) fill::start#0 = SCREEN#0
|
||||
Constant (const byte) fill::val#0 = BLACK#0
|
||||
Constant (const byte) fill::val#1 = WHITE#0|8
|
||||
Constant (const byte*) fill::start#1 = COLS#0
|
||||
Constant (const signed word*) sin16s_gen2::sintab#1 = xsin#0
|
||||
Constant (const word) sin16s_gen2::wavelength#0 = XSIN_SIZE#0
|
||||
Constant (const word/signed dword/dword) loop::$3 = XSIN_SIZE#0*2
|
||||
Succesful SSA optimization Pass2ConstantIdentification
|
||||
@ -4985,6 +4984,7 @@ Constant (const word) div32u16u::divisor#0 = sin16s_gen2::wavelength#0
|
||||
Constant (const signed word) mul16s::b#0 = sin16s_gen2::ampl#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 signed word*) sin16s_gen2::sintab#1 = xsin#0
|
||||
Succesful SSA optimization Pass2ConstantIdentification
|
||||
Constant (const word) divr16u::divisor#0 = div32u16u::divisor#0
|
||||
Constant (const word) divr16u::divisor#1 = div32u16u::divisor#0
|
||||
@ -5318,7 +5318,7 @@ Constant inlined fill::size#0 = (word/signed word/dword/signed dword) 1000
|
||||
Constant inlined main::toD0181_$7#0 = >((word))(const byte*) LOGO#0>>(byte/signed byte/word/signed word/dword/signed dword) 2&(byte/signed byte/word/signed word/dword/signed dword) 15
|
||||
Constant inlined xsin_idx#16 = (byte/signed byte/word/signed word/dword/signed dword) 0
|
||||
Constant inlined main::toD0181_$3#0 = >((word))(const byte*) SCREEN#0&(word/signed word/dword/signed dword) 16383<<(byte/signed byte/word/signed word/dword/signed dword) 2
|
||||
Constant inlined sin16s_gen2::sintab#1 = (const signed word[512]) xsin#0
|
||||
Constant inlined sin16s_gen2::sintab#1 = (const signed word[XSIN_SIZE#0]) xsin#0
|
||||
Constant inlined render_logo::$44 = (byte/signed byte/word/signed word/dword/signed dword) 40*(byte/signed byte/word/signed word/dword/signed dword) 1
|
||||
Constant inlined render_logo::$47 = (const byte*) SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 40*(byte/signed byte/word/signed word/dword/signed dword) 2
|
||||
Constant inlined render_logo::$46 = (byte/signed byte/word/signed word/dword/signed dword) 40*(byte/signed byte/word/signed word/dword/signed dword) 2
|
||||
@ -5657,7 +5657,7 @@ loop::@4: scope:[loop] from loop::@1 loop::@4
|
||||
to:loop::@6
|
||||
loop::@6: scope:[loop] from loop::@4
|
||||
[27] *((const byte*) BORDERCOL#0) ← ++ *((const byte*) BORDERCOL#0) [ xsin_idx#11 ] ( main:2::loop:22 [ xsin_idx#11 ] )
|
||||
[28] (signed word*~) loop::$1 ← (const signed word[512]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] )
|
||||
[28] (signed word*~) loop::$1 ← (const signed word[XSIN_SIZE#0]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] )
|
||||
[29] (signed word) loop::xpos#0 ← *((signed word*~) loop::$1) [ xsin_idx#11 loop::xpos#0 ] ( main:2::loop:22 [ xsin_idx#11 loop::xpos#0 ] )
|
||||
[30] (signed word) render_logo::xpos#0 ← (signed word) loop::xpos#0 [ xsin_idx#11 render_logo::xpos#0 ] ( main:2::loop:22 [ xsin_idx#11 render_logo::xpos#0 ] )
|
||||
[31] call render_logo [ xsin_idx#11 ] ( main:2::loop:22 [ xsin_idx#11 ] )
|
||||
@ -5765,7 +5765,7 @@ sin16s_gen2::@3: scope:[sin16s_gen2] from sin16s_gen2
|
||||
to:sin16s_gen2::@1
|
||||
sin16s_gen2::@1: scope:[sin16s_gen2] from sin16s_gen2::@3 sin16s_gen2::@5
|
||||
[99] (word) sin16s_gen2::i#2 ← phi( sin16s_gen2::@3/(byte/signed byte/word/signed word/dword/signed dword) 0 sin16s_gen2::@5/(word) sin16s_gen2::i#1 ) [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] ( main:2::sin16s_gen2:20 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] )
|
||||
[99] (signed word*) sin16s_gen2::sintab#2 ← phi( sin16s_gen2::@3/(const signed word[512]) xsin#0 sin16s_gen2::@5/(signed word*) sin16s_gen2::sintab#0 ) [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] ( main:2::sin16s_gen2:20 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] )
|
||||
[99] (signed word*) sin16s_gen2::sintab#2 ← phi( sin16s_gen2::@3/(const signed word[XSIN_SIZE#0]) xsin#0 sin16s_gen2::@5/(signed word*) sin16s_gen2::sintab#0 ) [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] ( main:2::sin16s_gen2:20 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] )
|
||||
[99] (dword) sin16s_gen2::x#2 ← phi( sin16s_gen2::@3/(byte/signed byte/word/signed word/dword/signed dword) 0 sin16s_gen2::@5/(dword) sin16s_gen2::x#1 ) [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] ( main:2::sin16s_gen2:20 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 ] )
|
||||
[100] (dword) sin16s::x#0 ← (dword) sin16s_gen2::x#2 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 sin16s::x#0 ] ( main:2::sin16s_gen2:20 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 sin16s::x#0 ] )
|
||||
[101] call sin16s [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 sin16s::return#1 ] ( main:2::sin16s_gen2:20 [ sin16s_gen2::step#0 sin16s_gen2::x#2 sin16s_gen2::sintab#2 sin16s_gen2::i#2 sin16s::return#1 ] )
|
||||
@ -6389,7 +6389,7 @@ VARIABLE REGISTER WEIGHTS
|
||||
(dword) sin16s_gen2::x
|
||||
(dword) sin16s_gen2::x#1 7.333333333333333
|
||||
(dword) sin16s_gen2::x#2 2.75
|
||||
(signed word[512]) xsin
|
||||
(signed word[XSIN_SIZE#0]) xsin
|
||||
(word) xsin_idx
|
||||
(word) xsin_idx#11 4.714285714285714
|
||||
(word) xsin_idx#19 11.0
|
||||
@ -6838,7 +6838,7 @@ loop: {
|
||||
b6:
|
||||
//SEG54 [27] *((const byte*) BORDERCOL#0) ← ++ *((const byte*) BORDERCOL#0) [ xsin_idx#11 ] ( main:2::loop:22 [ xsin_idx#11 ] ) -- _deref_pbuc1=_inc__deref_pbuc1
|
||||
inc BORDERCOL
|
||||
//SEG55 [28] (signed word*~) loop::$1 ← (const signed word[512]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] ) -- pwsz1=pwsc1_plus_vwuz2
|
||||
//SEG55 [28] (signed word*~) loop::$1 ← (const signed word[XSIN_SIZE#0]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] ) -- pwsz1=pwsc1_plus_vwuz2
|
||||
lda xsin_idx
|
||||
clc
|
||||
adc #<xsin
|
||||
@ -7261,7 +7261,7 @@ sin16s_gen2: {
|
||||
sta i
|
||||
lda #>0
|
||||
sta i+1
|
||||
//SEG163 [99] phi (signed word*) sin16s_gen2::sintab#2 = (const signed word[512]) xsin#0 [phi:sin16s_gen2::@3->sin16s_gen2::@1#1] -- pwsz1=pwsc1
|
||||
//SEG163 [99] phi (signed word*) sin16s_gen2::sintab#2 = (const signed word[XSIN_SIZE#0]) xsin#0 [phi:sin16s_gen2::@3->sin16s_gen2::@1#1] -- pwsz1=pwsc1
|
||||
lda #<xsin
|
||||
sta sintab
|
||||
lda #>xsin
|
||||
@ -8246,7 +8246,7 @@ fill: {
|
||||
rts
|
||||
}
|
||||
.align $100
|
||||
xsin: .fill 2*$200, 0
|
||||
xsin: .fill 2*XSIN_SIZE, 0
|
||||
|
||||
REGISTER UPLIFT POTENTIAL REGISTERS
|
||||
Statement [5] *((const byte*) BORDERCOL#0) ← (const byte) WHITE#0 [ ] ( main:2 [ ] ) always clobbers reg byte a
|
||||
@ -8256,7 +8256,7 @@ Statement [8] *((const byte*) BGCOL3#0) ← (const byte) BLACK#0 [ ] ( main:2 [
|
||||
Statement [10] *((const byte*) D018#0) ← (const byte) main::toD0181_return#0 [ ] ( main:2 [ ] ) always clobbers reg byte a
|
||||
Statement [11] *((const byte*) D016#0) ← (const byte) VIC_MCM#0 [ ] ( main:2 [ ] ) always clobbers reg byte a
|
||||
Statement [26] if(*((const byte*) RASTER#0)!=(byte/word/signed word/dword/signed dword) 255) goto loop::@4 [ xsin_idx#11 ] ( main:2::loop:22 [ xsin_idx#11 ] ) always clobbers reg byte a
|
||||
Statement [28] (signed word*~) loop::$1 ← (const signed word[512]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] ) always clobbers reg byte a
|
||||
Statement [28] (signed word*~) loop::$1 ← (const signed word[XSIN_SIZE#0]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] ) always clobbers reg byte a
|
||||
Statement [29] (signed word) loop::xpos#0 ← *((signed word*~) loop::$1) [ xsin_idx#11 loop::xpos#0 ] ( main:2::loop:22 [ xsin_idx#11 loop::xpos#0 ] ) always clobbers reg byte a reg byte y
|
||||
Statement [30] (signed word) render_logo::xpos#0 ← (signed word) loop::xpos#0 [ xsin_idx#11 render_logo::xpos#0 ] ( main:2::loop:22 [ xsin_idx#11 render_logo::xpos#0 ] ) always clobbers reg byte a
|
||||
Statement [32] (word) xsin_idx#3 ← (word) xsin_idx#11 + (byte/signed byte/word/signed word/dword/signed dword) 2 [ xsin_idx#3 ] ( main:2::loop:22 [ xsin_idx#3 ] ) always clobbers reg byte a
|
||||
@ -8384,7 +8384,7 @@ Statement [8] *((const byte*) BGCOL3#0) ← (const byte) BLACK#0 [ ] ( main:2 [
|
||||
Statement [10] *((const byte*) D018#0) ← (const byte) main::toD0181_return#0 [ ] ( main:2 [ ] ) always clobbers reg byte a
|
||||
Statement [11] *((const byte*) D016#0) ← (const byte) VIC_MCM#0 [ ] ( main:2 [ ] ) always clobbers reg byte a
|
||||
Statement [26] if(*((const byte*) RASTER#0)!=(byte/word/signed word/dword/signed dword) 255) goto loop::@4 [ xsin_idx#11 ] ( main:2::loop:22 [ xsin_idx#11 ] ) always clobbers reg byte a
|
||||
Statement [28] (signed word*~) loop::$1 ← (const signed word[512]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] ) always clobbers reg byte a
|
||||
Statement [28] (signed word*~) loop::$1 ← (const signed word[XSIN_SIZE#0]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] ) always clobbers reg byte a
|
||||
Statement [29] (signed word) loop::xpos#0 ← *((signed word*~) loop::$1) [ xsin_idx#11 loop::xpos#0 ] ( main:2::loop:22 [ xsin_idx#11 loop::xpos#0 ] ) always clobbers reg byte a reg byte y
|
||||
Statement [30] (signed word) render_logo::xpos#0 ← (signed word) loop::xpos#0 [ xsin_idx#11 render_logo::xpos#0 ] ( main:2::loop:22 [ xsin_idx#11 render_logo::xpos#0 ] ) always clobbers reg byte a
|
||||
Statement [32] (word) xsin_idx#3 ← (word) xsin_idx#11 + (byte/signed byte/word/signed word/dword/signed dword) 2 [ xsin_idx#3 ] ( main:2::loop:22 [ xsin_idx#3 ] ) always clobbers reg byte a
|
||||
@ -8880,7 +8880,7 @@ loop: {
|
||||
b6:
|
||||
//SEG54 [27] *((const byte*) BORDERCOL#0) ← ++ *((const byte*) BORDERCOL#0) [ xsin_idx#11 ] ( main:2::loop:22 [ xsin_idx#11 ] ) -- _deref_pbuc1=_inc__deref_pbuc1
|
||||
inc BORDERCOL
|
||||
//SEG55 [28] (signed word*~) loop::$1 ← (const signed word[512]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] ) -- pwsz1=pwsc1_plus_vwuz2
|
||||
//SEG55 [28] (signed word*~) loop::$1 ← (const signed word[XSIN_SIZE#0]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] ) -- pwsz1=pwsc1_plus_vwuz2
|
||||
lda xsin_idx
|
||||
clc
|
||||
adc #<xsin
|
||||
@ -9205,7 +9205,7 @@ sin16s_gen2: {
|
||||
sta i
|
||||
lda #>0
|
||||
sta i+1
|
||||
//SEG163 [99] phi (signed word*) sin16s_gen2::sintab#2 = (const signed word[512]) xsin#0 [phi:sin16s_gen2::@3->sin16s_gen2::@1#1] -- pwsz1=pwsc1
|
||||
//SEG163 [99] phi (signed word*) sin16s_gen2::sintab#2 = (const signed word[XSIN_SIZE#0]) xsin#0 [phi:sin16s_gen2::@3->sin16s_gen2::@1#1] -- pwsz1=pwsc1
|
||||
lda #<xsin
|
||||
sta sintab
|
||||
lda #>xsin
|
||||
@ -10032,7 +10032,7 @@ fill: {
|
||||
rts
|
||||
}
|
||||
.align $100
|
||||
xsin: .fill 2*$200, 0
|
||||
xsin: .fill 2*XSIN_SIZE, 0
|
||||
|
||||
ASSEMBLER OPTIMIZATIONS
|
||||
Removing instruction jmp b27
|
||||
@ -10584,8 +10584,8 @@ FINAL SYMBOL TABLE
|
||||
(dword) sin16s_gen2::x
|
||||
(dword) sin16s_gen2::x#1 x zp ZP_DWORD:4 7.333333333333333
|
||||
(dword) sin16s_gen2::x#2 x zp ZP_DWORD:4 2.75
|
||||
(signed word[512]) xsin
|
||||
(const signed word[512]) xsin#0 xsin = { fill( 512, 0) }
|
||||
(signed word[XSIN_SIZE#0]) xsin
|
||||
(const signed word[XSIN_SIZE#0]) xsin#0 xsin = { fill( XSIN_SIZE#0, 0) }
|
||||
(word) xsin_idx
|
||||
(word) xsin_idx#11 xsin_idx zp ZP_WORD:2 4.714285714285714
|
||||
(word) xsin_idx#19 xsin_idx zp ZP_WORD:2 11.0
|
||||
@ -10770,7 +10770,7 @@ loop: {
|
||||
//SEG53 loop::@6
|
||||
//SEG54 [27] *((const byte*) BORDERCOL#0) ← ++ *((const byte*) BORDERCOL#0) [ xsin_idx#11 ] ( main:2::loop:22 [ xsin_idx#11 ] ) -- _deref_pbuc1=_inc__deref_pbuc1
|
||||
inc BORDERCOL
|
||||
//SEG55 [28] (signed word*~) loop::$1 ← (const signed word[512]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] ) -- pwsz1=pwsc1_plus_vwuz2
|
||||
//SEG55 [28] (signed word*~) loop::$1 ← (const signed word[XSIN_SIZE#0]) xsin#0 + (word) xsin_idx#11 [ xsin_idx#11 loop::$1 ] ( main:2::loop:22 [ xsin_idx#11 loop::$1 ] ) -- pwsz1=pwsc1_plus_vwuz2
|
||||
lda xsin_idx
|
||||
clc
|
||||
adc #<xsin
|
||||
@ -11056,7 +11056,7 @@ sin16s_gen2: {
|
||||
lda #<0
|
||||
sta i
|
||||
sta i+1
|
||||
//SEG163 [99] phi (signed word*) sin16s_gen2::sintab#2 = (const signed word[512]) xsin#0 [phi:sin16s_gen2::@3->sin16s_gen2::@1#1] -- pwsz1=pwsc1
|
||||
//SEG163 [99] phi (signed word*) sin16s_gen2::sintab#2 = (const signed word[XSIN_SIZE#0]) xsin#0 [phi:sin16s_gen2::@3->sin16s_gen2::@1#1] -- pwsz1=pwsc1
|
||||
lda #<xsin
|
||||
sta sintab
|
||||
lda #>xsin
|
||||
@ -11778,5 +11778,5 @@ fill: {
|
||||
rts
|
||||
}
|
||||
.align $100
|
||||
xsin: .fill 2*$200, 0
|
||||
xsin: .fill 2*XSIN_SIZE, 0
|
||||
|
||||
|
||||
@ -328,8 +328,8 @@
|
||||
(dword) sin16s_gen2::x
|
||||
(dword) sin16s_gen2::x#1 x zp ZP_DWORD:4 7.333333333333333
|
||||
(dword) sin16s_gen2::x#2 x zp ZP_DWORD:4 2.75
|
||||
(signed word[512]) xsin
|
||||
(const signed word[512]) xsin#0 xsin = { fill( 512, 0) }
|
||||
(signed word[XSIN_SIZE#0]) xsin
|
||||
(const signed word[XSIN_SIZE#0]) xsin#0 xsin = { fill( XSIN_SIZE#0, 0) }
|
||||
(word) xsin_idx
|
||||
(word) xsin_idx#11 xsin_idx zp ZP_WORD:2 4.714285714285714
|
||||
(word) xsin_idx#19 xsin_idx zp ZP_WORD:2 11.0
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user