mirror of
https://gitlab.com/camelot/kickc.git
synced 2024-09-08 17:54:40 +00:00
Fixed lo/hi test
This commit is contained in:
parent
028fd75878
commit
948db1a389
@ -1,14 +1,380 @@
|
||||
parsing
|
||||
flex pass 1
|
||||
flex pass 2
|
||||
flex pass 3
|
||||
Output pass
|
||||
PARSING src/test/java/dk/camelot64/kickc/test/kc/test-lohiconst.kc
|
||||
// PI in u[4.28] format
|
||||
const dword PI_u4f28 = $3243f6a9;
|
||||
|
||||
Memory Map
|
||||
----------
|
||||
Default-segment:
|
||||
$0801-$080c Basic
|
||||
$080d-$0824 Program
|
||||
void main() {
|
||||
byte* SCREEN = $400;
|
||||
SCREEN[0] = > > PI_u4f28;
|
||||
SCREEN[1] = < > PI_u4f28;
|
||||
SCREEN[2] = > < PI_u4f28;
|
||||
SCREEN[3] = < < PI_u4f28;
|
||||
}
|
||||
|
||||
STATEMENTS
|
||||
(dword) PI_u4f28 ← (dword/signed dword) 843314857
|
||||
proc (void()) main()
|
||||
(byte*) main::SCREEN ← (word/signed word/dword/signed dword) 1024
|
||||
(word~) main::$0 ← > (dword) PI_u4f28
|
||||
(byte~) main::$1 ← > (word~) main::$0
|
||||
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 0) ← (byte~) main::$1
|
||||
(word~) main::$2 ← > (dword) PI_u4f28
|
||||
(byte~) main::$3 ← < (word~) main::$2
|
||||
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 1) ← (byte~) main::$3
|
||||
(word~) main::$4 ← < (dword) PI_u4f28
|
||||
(byte~) main::$5 ← > (word~) main::$4
|
||||
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 2) ← (byte~) main::$5
|
||||
(word~) main::$6 ← < (dword) PI_u4f28
|
||||
(byte~) main::$7 ← < (word~) main::$6
|
||||
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 3) ← (byte~) main::$7
|
||||
main::@return:
|
||||
return
|
||||
endproc // main()
|
||||
call main
|
||||
|
||||
SYMBOLS
|
||||
(dword) PI_u4f28
|
||||
(void()) main()
|
||||
(word~) main::$0
|
||||
(byte~) main::$1
|
||||
(word~) main::$2
|
||||
(byte~) main::$3
|
||||
(word~) main::$4
|
||||
(byte~) main::$5
|
||||
(word~) main::$6
|
||||
(byte~) main::$7
|
||||
(label) main::@return
|
||||
(byte*) main::SCREEN
|
||||
|
||||
Promoting word/signed word/dword/signed dword to byte* in main::SCREEN ← ((byte*)) 1024
|
||||
INITIAL CONTROL FLOW GRAPH
|
||||
@begin: scope:[] from
|
||||
(dword) PI_u4f28 ← (dword/signed dword) 843314857
|
||||
to:@1
|
||||
main: scope:[main] from
|
||||
(byte*) main::SCREEN ← ((byte*)) (word/signed word/dword/signed dword) 1024
|
||||
(word~) main::$0 ← > (dword) PI_u4f28
|
||||
(byte~) main::$1 ← > (word~) main::$0
|
||||
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 0) ← (byte~) main::$1
|
||||
(word~) main::$2 ← > (dword) PI_u4f28
|
||||
(byte~) main::$3 ← < (word~) main::$2
|
||||
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 1) ← (byte~) main::$3
|
||||
(word~) main::$4 ← < (dword) PI_u4f28
|
||||
(byte~) main::$5 ← > (word~) main::$4
|
||||
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 2) ← (byte~) main::$5
|
||||
(word~) main::$6 ← < (dword) PI_u4f28
|
||||
(byte~) main::$7 ← < (word~) main::$6
|
||||
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 3) ← (byte~) main::$7
|
||||
to:main::@return
|
||||
main::@return: scope:[main] from main
|
||||
return
|
||||
to:@return
|
||||
@1: scope:[] from @begin
|
||||
call main
|
||||
to:@end
|
||||
@end: scope:[] from @1
|
||||
|
||||
PROCEDURE MODIFY VARIABLE ANALYSIS
|
||||
|
||||
Completing Phi functions...
|
||||
|
||||
CONTROL FLOW GRAPH SSA WITH ASSIGNMENT CALL & RETURN
|
||||
@begin: scope:[] from
|
||||
(dword) PI_u4f28#0 ← (dword/signed dword) 843314857
|
||||
to:@1
|
||||
main: scope:[main] from @1
|
||||
(byte*) main::SCREEN#0 ← ((byte*)) (word/signed word/dword/signed dword) 1024
|
||||
(word~) main::$0 ← > (dword) PI_u4f28#0
|
||||
(byte~) main::$1 ← > (word~) main::$0
|
||||
*((byte*) main::SCREEN#0 + (byte/signed byte/word/signed word/dword/signed dword) 0) ← (byte~) main::$1
|
||||
(word~) main::$2 ← > (dword) PI_u4f28#0
|
||||
(byte~) main::$3 ← < (word~) main::$2
|
||||
*((byte*) main::SCREEN#0 + (byte/signed byte/word/signed word/dword/signed dword) 1) ← (byte~) main::$3
|
||||
(word~) main::$4 ← < (dword) PI_u4f28#0
|
||||
(byte~) main::$5 ← > (word~) main::$4
|
||||
*((byte*) main::SCREEN#0 + (byte/signed byte/word/signed word/dword/signed dword) 2) ← (byte~) main::$5
|
||||
(word~) main::$6 ← < (dword) PI_u4f28#0
|
||||
(byte~) main::$7 ← < (word~) main::$6
|
||||
*((byte*) main::SCREEN#0 + (byte/signed byte/word/signed word/dword/signed dword) 3) ← (byte~) main::$7
|
||||
to:main::@return
|
||||
main::@return: scope:[main] from main
|
||||
return
|
||||
to:@return
|
||||
@1: scope:[] from @begin
|
||||
call main param-assignment
|
||||
to:@2
|
||||
@2: scope:[] from @1
|
||||
to:@end
|
||||
@end: scope:[] from @2
|
||||
|
||||
SYMBOL TABLE SSA
|
||||
(label) @1
|
||||
(label) @2
|
||||
(label) @begin
|
||||
(label) @end
|
||||
(dword) PI_u4f28
|
||||
(dword) PI_u4f28#0
|
||||
(void()) main()
|
||||
(word~) main::$0
|
||||
(byte~) main::$1
|
||||
(word~) main::$2
|
||||
(byte~) main::$3
|
||||
(word~) main::$4
|
||||
(byte~) main::$5
|
||||
(word~) main::$6
|
||||
(byte~) main::$7
|
||||
(label) main::@return
|
||||
(byte*) main::SCREEN
|
||||
(byte*) main::SCREEN#0
|
||||
|
||||
OPTIMIZING CONTROL FLOW GRAPH
|
||||
Culled Empty Block (label) @2
|
||||
Succesful SSA optimization Pass2CullEmptyBlocks
|
||||
Constant (const dword) PI_u4f28#0 = 843314857
|
||||
Constant (const byte*) main::SCREEN#0 = ((byte*))1024
|
||||
Succesful SSA optimization Pass2ConstantIdentification
|
||||
Constant (const word) main::$0 = >PI_u4f28#0
|
||||
Constant (const word) main::$2 = >PI_u4f28#0
|
||||
Constant (const word) main::$4 = <PI_u4f28#0
|
||||
Constant (const word) main::$6 = <PI_u4f28#0
|
||||
Succesful SSA optimization Pass2ConstantIdentification
|
||||
Constant (const byte) main::$1 = >main::$0
|
||||
Constant (const byte) main::$3 = <main::$2
|
||||
Constant (const byte) main::$5 = >main::$4
|
||||
Constant (const byte) main::$7 = <main::$6
|
||||
Succesful SSA optimization Pass2ConstantIdentification
|
||||
Consolidated array index constant in *(main::SCREEN#0+0)
|
||||
Consolidated array index constant in *(main::SCREEN#0+1)
|
||||
Consolidated array index constant in *(main::SCREEN#0+2)
|
||||
Consolidated array index constant in *(main::SCREEN#0+3)
|
||||
Succesful SSA optimization Pass2ConstantAdditionElimination
|
||||
OPTIMIZING CONTROL FLOW GRAPH
|
||||
Constant inlined main::$1 = >>(const dword) PI_u4f28#0
|
||||
Constant inlined main::$2 = >(const dword) PI_u4f28#0
|
||||
Constant inlined main::$0 = >(const dword) PI_u4f28#0
|
||||
Constant inlined main::$5 = ><(const dword) PI_u4f28#0
|
||||
Constant inlined main::$6 = <(const dword) PI_u4f28#0
|
||||
Constant inlined main::$3 = <>(const dword) PI_u4f28#0
|
||||
Constant inlined main::$4 = <(const dword) PI_u4f28#0
|
||||
Constant inlined main::$7 = <<(const dword) PI_u4f28#0
|
||||
Succesful SSA optimization Pass2ConstantInlining
|
||||
Block Sequence Planned @begin @1 @end main main::@return
|
||||
Block Sequence Planned @begin @1 @end main main::@return
|
||||
Adding NOP phi() at start of @begin
|
||||
Adding NOP phi() at start of @1
|
||||
Adding NOP phi() at start of @end
|
||||
CALL GRAPH
|
||||
Calls in [] to main:2
|
||||
|
||||
Propagating live ranges...
|
||||
Created 0 initial phi equivalence classes
|
||||
Coalesced down to 0 phi equivalence classes
|
||||
Block Sequence Planned @begin @1 @end main main::@return
|
||||
Adding NOP phi() at start of @begin
|
||||
Adding NOP phi() at start of @1
|
||||
Adding NOP phi() at start of @end
|
||||
Propagating live ranges...
|
||||
|
||||
FINAL CONTROL FLOW GRAPH
|
||||
@begin: scope:[] from
|
||||
[0] phi() [ ] ( )
|
||||
to:@1
|
||||
@1: scope:[] from @begin
|
||||
[1] phi() [ ] ( )
|
||||
[2] call main param-assignment [ ] ( )
|
||||
to:@end
|
||||
@end: scope:[] from @1
|
||||
[3] phi() [ ] ( )
|
||||
main: scope:[main] from @1
|
||||
[4] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 0) ← >>(const dword) PI_u4f28#0 [ ] ( main:2 [ ] )
|
||||
[5] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 1) ← <>(const dword) PI_u4f28#0 [ ] ( main:2 [ ] )
|
||||
[6] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 2) ← ><(const dword) PI_u4f28#0 [ ] ( main:2 [ ] )
|
||||
[7] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 3) ← <<(const dword) PI_u4f28#0 [ ] ( main:2 [ ] )
|
||||
to:main::@return
|
||||
main::@return: scope:[main] from main
|
||||
[8] 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::@return dominated by main::@return @1 @begin main
|
||||
|
||||
NATURAL LOOPS
|
||||
|
||||
NATURAL LOOPS WITH DEPTH
|
||||
Found 0 loops in scope []
|
||||
Found 0 loops in scope [main]
|
||||
|
||||
|
||||
VARIABLE REGISTER WEIGHTS
|
||||
(dword) PI_u4f28
|
||||
(void()) main()
|
||||
(byte*) main::SCREEN
|
||||
|
||||
Initial phi equivalence classes
|
||||
Complete equivalence classes
|
||||
|
||||
INITIAL ASM
|
||||
//SEG0 Basic Upstart
|
||||
.pc = $801 "Basic"
|
||||
:BasicUpstart(main)
|
||||
.pc = $80d "Program"
|
||||
//SEG1 Global Constants & labels
|
||||
.const PI_u4f28 = $3243f6a9
|
||||
//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 param-assignment [ ] ( )
|
||||
jsr main
|
||||
//SEG6 [3] phi from @1 to @end [phi:@1->@end]
|
||||
bend_from_b1:
|
||||
jmp bend
|
||||
//SEG7 @end
|
||||
bend:
|
||||
//SEG8 main
|
||||
main: {
|
||||
.label SCREEN = $400
|
||||
//SEG9 [4] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 0) ← >>(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuc2
|
||||
lda #>PI_u4f28>>16
|
||||
sta SCREEN+0
|
||||
//SEG10 [5] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 1) ← <>(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuc2
|
||||
lda #<PI_u4f28>>16
|
||||
sta SCREEN+1
|
||||
//SEG11 [6] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 2) ← ><(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuc2
|
||||
lda #>PI_u4f28&$ffff
|
||||
sta SCREEN+2
|
||||
//SEG12 [7] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 3) ← <<(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuc2
|
||||
lda #<PI_u4f28&$ffff
|
||||
sta SCREEN+3
|
||||
jmp breturn
|
||||
//SEG13 main::@return
|
||||
breturn:
|
||||
//SEG14 [8] return [ ] ( main:2 [ ] )
|
||||
rts
|
||||
}
|
||||
|
||||
REGISTER UPLIFT POTENTIAL REGISTERS
|
||||
Statement [4] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 0) ← >>(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) always clobbers reg byte a
|
||||
Statement [5] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 1) ← <>(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) always clobbers reg byte a
|
||||
Statement [6] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 2) ← ><(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) always clobbers reg byte a
|
||||
Statement [7] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 3) ← <<(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) always clobbers reg byte a
|
||||
|
||||
REGISTER UPLIFT SCOPES
|
||||
Uplift Scope [main]
|
||||
Uplift Scope []
|
||||
|
||||
Uplifting [main] best 45 combination
|
||||
Uplifting [] best 45 combination
|
||||
|
||||
ASSEMBLER BEFORE OPTIMIZATION
|
||||
//SEG0 Basic Upstart
|
||||
.pc = $801 "Basic"
|
||||
:BasicUpstart(main)
|
||||
.pc = $80d "Program"
|
||||
//SEG1 Global Constants & labels
|
||||
.const PI_u4f28 = $3243f6a9
|
||||
//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 param-assignment [ ] ( )
|
||||
jsr main
|
||||
//SEG6 [3] phi from @1 to @end [phi:@1->@end]
|
||||
bend_from_b1:
|
||||
jmp bend
|
||||
//SEG7 @end
|
||||
bend:
|
||||
//SEG8 main
|
||||
main: {
|
||||
.label SCREEN = $400
|
||||
//SEG9 [4] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 0) ← >>(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuc2
|
||||
lda #>PI_u4f28>>16
|
||||
sta SCREEN+0
|
||||
//SEG10 [5] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 1) ← <>(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuc2
|
||||
lda #<PI_u4f28>>16
|
||||
sta SCREEN+1
|
||||
//SEG11 [6] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 2) ← ><(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuc2
|
||||
lda #>PI_u4f28&$ffff
|
||||
sta SCREEN+2
|
||||
//SEG12 [7] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 3) ← <<(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuc2
|
||||
lda #<PI_u4f28&$ffff
|
||||
sta SCREEN+3
|
||||
jmp breturn
|
||||
//SEG13 main::@return
|
||||
breturn:
|
||||
//SEG14 [8] return [ ] ( main:2 [ ] )
|
||||
rts
|
||||
}
|
||||
|
||||
ASSEMBLER OPTIMIZATIONS
|
||||
Removing instruction jmp b1
|
||||
Removing instruction jmp bend
|
||||
Removing instruction jmp breturn
|
||||
Succesful ASM optimization Pass5NextJumpElimination
|
||||
Removing instruction bbegin:
|
||||
Removing instruction b1_from_bbegin:
|
||||
Removing instruction bend_from_b1:
|
||||
Succesful ASM optimization Pass5RedundantLabelElimination
|
||||
Removing instruction b1:
|
||||
Removing instruction bend:
|
||||
Removing instruction breturn:
|
||||
Succesful ASM optimization Pass5UnusedLabelElimination
|
||||
|
||||
FINAL SYMBOL TABLE
|
||||
(label) @1
|
||||
(label) @begin
|
||||
(label) @end
|
||||
(dword) PI_u4f28
|
||||
(const dword) PI_u4f28#0 PI_u4f28 = (dword/signed dword) 843314857
|
||||
(void()) main()
|
||||
(label) main::@return
|
||||
(byte*) main::SCREEN
|
||||
(const byte*) main::SCREEN#0 SCREEN = ((byte*))(word/signed word/dword/signed dword) 1024
|
||||
|
||||
|
||||
|
||||
FINAL ASSEMBLER
|
||||
Score: 36
|
||||
|
||||
//SEG0 Basic Upstart
|
||||
.pc = $801 "Basic"
|
||||
:BasicUpstart(main)
|
||||
.pc = $80d "Program"
|
||||
//SEG1 Global Constants & labels
|
||||
.const PI_u4f28 = $3243f6a9
|
||||
//SEG2 @begin
|
||||
//SEG3 [1] phi from @begin to @1 [phi:@begin->@1]
|
||||
//SEG4 @1
|
||||
//SEG5 [2] call main param-assignment [ ] ( )
|
||||
jsr main
|
||||
//SEG6 [3] phi from @1 to @end [phi:@1->@end]
|
||||
//SEG7 @end
|
||||
//SEG8 main
|
||||
main: {
|
||||
.label SCREEN = $400
|
||||
//SEG9 [4] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 0) ← >>(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuc2
|
||||
lda #>PI_u4f28>>16
|
||||
sta SCREEN+0
|
||||
//SEG10 [5] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 1) ← <>(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuc2
|
||||
lda #<PI_u4f28>>16
|
||||
sta SCREEN+1
|
||||
//SEG11 [6] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 2) ← ><(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuc2
|
||||
lda #>PI_u4f28&$ffff
|
||||
sta SCREEN+2
|
||||
//SEG12 [7] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 3) ← <<(const dword) PI_u4f28#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuc2
|
||||
lda #<PI_u4f28&$ffff
|
||||
sta SCREEN+3
|
||||
//SEG13 main::@return
|
||||
//SEG14 [8] return [ ] ( main:2 [ ] )
|
||||
rts
|
||||
}
|
||||
|
||||
Writing prg file: /var/folders/j3/hvhhv4vs6291pncspymzkrfh0000gn/T/kickc-output3205926464176603574/bin/test-lohiconst.prg
|
||||
Writing Vice symbol file: /var/folders/j3/hvhhv4vs6291pncspymzkrfh0000gn/T/kickc-output3205926464176603574/bin/test-lohiconst.vs
|
||||
|
Binary file not shown.
@ -1,3 +0,0 @@
|
||||
al C:400 .SCREEN
|
||||
al C:80b .upstartEnd
|
||||
al C:810 .main
|
Loading…
Reference in New Issue
Block a user