mirror of
https://gitlab.com/camelot/kickc.git
synced 2025-01-15 01:33:11 +00:00
Implemented working address-of operator byte* pte = &b1;
This commit is contained in:
parent
085aa9f825
commit
3f62d86312
src
main/java/dk/camelot64/kickc
test/java/dk/camelot64/kickc/test
@ -1,17 +1,8 @@
|
|||||||
package dk.camelot64.kickc.model;
|
package dk.camelot64.kickc.model;
|
||||||
|
|
||||||
import com.fasterxml.jackson.annotation.JsonCreator;
|
|
||||||
import com.fasterxml.jackson.annotation.JsonProperty;
|
|
||||||
|
|
||||||
/** A reference to a named Constant (in the symbol table) */
|
/** A reference to a named Constant (in the symbol table) */
|
||||||
public class ConstantRef extends SymbolRef implements ConstantValue {
|
public class ConstantRef extends SymbolRef implements ConstantValue {
|
||||||
|
|
||||||
@JsonCreator
|
|
||||||
public ConstantRef(
|
|
||||||
@JsonProperty("fullName") String fullName) {
|
|
||||||
super(fullName);
|
|
||||||
}
|
|
||||||
|
|
||||||
public ConstantRef(ConstantVar constantVar) {
|
public ConstantRef(ConstantVar constantVar) {
|
||||||
super(constantVar.getFullName());
|
super(constantVar.getFullName());
|
||||||
}
|
}
|
||||||
|
@ -13,7 +13,7 @@ public class Program {
|
|||||||
private List<String> importPaths;
|
private List<String> importPaths;
|
||||||
/** Imported files. */
|
/** Imported files. */
|
||||||
private List<String> imported;
|
private List<String> imported;
|
||||||
/** The initial statement sequence generated byt the parser. */
|
/** The initial statement sequence generated by the parser. */
|
||||||
private StatementSequence statementSequence;
|
private StatementSequence statementSequence;
|
||||||
/** The main scope. */
|
/** The main scope. */
|
||||||
private ProgramScope scope;
|
private ProgramScope scope;
|
||||||
|
@ -1,14 +1,9 @@
|
|||||||
package dk.camelot64.kickc.model;
|
package dk.camelot64.kickc.model;
|
||||||
|
|
||||||
import com.fasterxml.jackson.annotation.JsonCreator;
|
|
||||||
import com.fasterxml.jackson.annotation.JsonProperty;
|
|
||||||
|
|
||||||
/** A reference to a variable from the symbol table */
|
/** A reference to a variable from the symbol table */
|
||||||
public class VariableRef extends SymbolRef implements RValue, LValue {
|
public class VariableRef extends SymbolRef implements RValue, LValue {
|
||||||
|
|
||||||
@JsonCreator
|
public VariableRef(String fullName) {
|
||||||
public VariableRef(
|
|
||||||
@JsonProperty("fullName") String fullName) {
|
|
||||||
super(fullName);
|
super(fullName);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -2,10 +2,7 @@ package dk.camelot64.kickc.passes;
|
|||||||
|
|
||||||
import dk.camelot64.kickc.model.*;
|
import dk.camelot64.kickc.model.*;
|
||||||
|
|
||||||
import java.util.ArrayList;
|
import java.util.*;
|
||||||
import java.util.LinkedHashMap;
|
|
||||||
import java.util.List;
|
|
||||||
import java.util.Map;
|
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Compiler Pass propagating constants in expressions eliminating constant variables
|
* Compiler Pass propagating constants in expressions eliminating constant variables
|
||||||
@ -16,29 +13,6 @@ public class Pass2ConstantIdentification extends Pass2SsaOptimization {
|
|||||||
super(program);
|
super(program);
|
||||||
}
|
}
|
||||||
|
|
||||||
static ConstantValue createUnary(Operator operator, ConstantValue c) {
|
|
||||||
switch(operator.getOperator()) {
|
|
||||||
case "-":
|
|
||||||
case "+":
|
|
||||||
case "++":
|
|
||||||
case "--":
|
|
||||||
case "<":
|
|
||||||
case ">":
|
|
||||||
case "((byte))":
|
|
||||||
case "((signed byte))":
|
|
||||||
case "((sbyte))":
|
|
||||||
case "((word))":
|
|
||||||
case "((signed word))":
|
|
||||||
case "((byte*))":
|
|
||||||
return new ConstantUnary(operator, c);
|
|
||||||
case "*": { // pointer dereference - not constant
|
|
||||||
return null;
|
|
||||||
}
|
|
||||||
default:
|
|
||||||
throw new RuntimeException("Unhandled Unary Operator " + operator.getOperator());
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Propagate constants, replacing variables with constants where possible.
|
* Propagate constants, replacing variables with constants where possible.
|
||||||
*
|
*
|
||||||
@ -49,8 +23,16 @@ public class Pass2ConstantIdentification extends Pass2SsaOptimization {
|
|||||||
Map<VariableRef, ConstantValue> constants = findConstantVariables();
|
Map<VariableRef, ConstantValue> constants = findConstantVariables();
|
||||||
LinkedHashMap<VariableRef, RValue> constAliases = new LinkedHashMap<>();
|
LinkedHashMap<VariableRef, RValue> constAliases = new LinkedHashMap<>();
|
||||||
// Update symbol table with the constant value
|
// Update symbol table with the constant value
|
||||||
for(VariableRef constRef : constants.keySet()) {
|
Set<VariableRef> constVars = new LinkedHashSet<>(constants.keySet());
|
||||||
|
for(VariableRef constRef : constVars) {
|
||||||
Variable variable = getProgram().getScope().getVariable(constRef);
|
Variable variable = getProgram().getScope().getVariable(constRef);
|
||||||
|
|
||||||
|
// Weed out all variables that are affected by the address-of operator
|
||||||
|
if(isAddressOfUsed(constRef)) {
|
||||||
|
constants.remove(constRef);
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
|
||||||
ConstantValue constVal = constants.get(constRef);
|
ConstantValue constVal = constants.get(constRef);
|
||||||
Scope constScope = variable.getScope();
|
Scope constScope = variable.getScope();
|
||||||
|
|
||||||
@ -205,6 +187,29 @@ public class Pass2ConstantIdentification extends Pass2SsaOptimization {
|
|||||||
return null;
|
return null;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
static ConstantValue createUnary(Operator operator, ConstantValue c) {
|
||||||
|
switch(operator.getOperator()) {
|
||||||
|
case "-":
|
||||||
|
case "+":
|
||||||
|
case "++":
|
||||||
|
case "--":
|
||||||
|
case "<":
|
||||||
|
case ">":
|
||||||
|
case "((byte))":
|
||||||
|
case "((signed byte))":
|
||||||
|
case "((sbyte))":
|
||||||
|
case "((word))":
|
||||||
|
case "((signed word))":
|
||||||
|
case "((byte*))":
|
||||||
|
return new ConstantUnary(operator, c);
|
||||||
|
case "*": { // pointer dereference - not constant
|
||||||
|
return null;
|
||||||
|
}
|
||||||
|
default:
|
||||||
|
throw new RuntimeException("Unhandled Unary Operator " + operator.getOperator());
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
ConstantValue createBinary(ConstantValue c1, Operator operator, ConstantValue c2) {
|
ConstantValue createBinary(ConstantValue c1, Operator operator, ConstantValue c2) {
|
||||||
switch(operator.getOperator()) {
|
switch(operator.getOperator()) {
|
||||||
case "-":
|
case "-":
|
||||||
@ -236,4 +241,35 @@ public class Pass2ConstantIdentification extends Pass2SsaOptimization {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Determines if the variable is ever operated on by the address-of operator
|
||||||
|
* @param var tHe variable to examine
|
||||||
|
* @return true if the address-of operator is used on the variable
|
||||||
|
*/
|
||||||
|
private boolean isAddressOfUsed(VariableRef var) {
|
||||||
|
for(ControlFlowBlock block : getGraph().getAllBlocks()) {
|
||||||
|
for(Statement statement : block.getStatements()) {
|
||||||
|
if(statement instanceof StatementAssignment) {
|
||||||
|
StatementAssignment assignment = (StatementAssignment) statement;
|
||||||
|
if(Operator.ADDRESS_OF.equals(assignment.getOperator()) && var.equals(assignment.getrValue2())) {
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
for(ConstantVar constVar : getScope().getAllConstants(true)) {
|
||||||
|
ConstantValue constantValue = constVar.getValue();
|
||||||
|
if(constantValue instanceof ConstantVarPointer) {
|
||||||
|
ConstantVarPointer constantVarPointer = (ConstantVarPointer) constantValue;
|
||||||
|
if(constantVarPointer.getToVar().equals(var)) {
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
}
|
}
|
||||||
|
@ -42,6 +42,11 @@ public class TestPrograms {
|
|||||||
AsmFragmentTemplateUsages.logUsages(log, false, false, false, false, false, false);
|
AsmFragmentTemplateUsages.logUsages(log, false, false, false, false, false, false);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
public void testAddressOfParam() throws IOException, URISyntaxException {
|
||||||
|
compileAndCompare("test-address-of-param");
|
||||||
|
}
|
||||||
|
|
||||||
@Test
|
@Test
|
||||||
public void testAddressOf() throws IOException, URISyntaxException {
|
public void testAddressOf() throws IOException, URISyntaxException {
|
||||||
compileAndCompare("test-address-of");
|
compileAndCompare("test-address-of");
|
||||||
|
@ -0,0 +1,18 @@
|
|||||||
|
|
||||||
|
void main() {
|
||||||
|
byte* SCREEN = $400;
|
||||||
|
byte b1 = 0;
|
||||||
|
byte b2 = 0;
|
||||||
|
byte b3 = 0;
|
||||||
|
setByte(&b1, 'c');
|
||||||
|
setByte(&b2, 'm');
|
||||||
|
setByte(&b3, 'l');
|
||||||
|
SCREEN[0] = b1;
|
||||||
|
SCREEN[1] = b2;
|
||||||
|
SCREEN[2] = b3;
|
||||||
|
}
|
||||||
|
|
||||||
|
void setByte(byte* ptr, byte b) {
|
||||||
|
*ptr = b;
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,46 @@
|
|||||||
|
.pc = $801 "Basic"
|
||||||
|
:BasicUpstart(main)
|
||||||
|
.pc = $80d "Program"
|
||||||
|
jsr main
|
||||||
|
main: {
|
||||||
|
.label SCREEN = $400
|
||||||
|
.label b1 = 4
|
||||||
|
.label b2 = 5
|
||||||
|
.label b3 = 6
|
||||||
|
lda #0
|
||||||
|
sta b1
|
||||||
|
sta b2
|
||||||
|
sta b3
|
||||||
|
lda #<b1
|
||||||
|
sta setByte.ptr
|
||||||
|
lda #>b1
|
||||||
|
sta setByte.ptr+1
|
||||||
|
ldx #'c'
|
||||||
|
jsr setByte
|
||||||
|
lda #<b2
|
||||||
|
sta setByte.ptr
|
||||||
|
lda #>b2
|
||||||
|
sta setByte.ptr+1
|
||||||
|
ldx #'m'
|
||||||
|
jsr setByte
|
||||||
|
lda #<b3
|
||||||
|
sta setByte.ptr
|
||||||
|
lda #>b3
|
||||||
|
sta setByte.ptr+1
|
||||||
|
ldx #'l'
|
||||||
|
jsr setByte
|
||||||
|
lda b1
|
||||||
|
sta SCREEN+0
|
||||||
|
lda b2
|
||||||
|
sta SCREEN+1
|
||||||
|
lda b3
|
||||||
|
sta SCREEN+2
|
||||||
|
rts
|
||||||
|
}
|
||||||
|
setByte: {
|
||||||
|
.label ptr = 2
|
||||||
|
txa
|
||||||
|
ldy #0
|
||||||
|
sta (ptr),y
|
||||||
|
rts
|
||||||
|
}
|
@ -0,0 +1,39 @@
|
|||||||
|
@begin: scope:[] from
|
||||||
|
[0] phi() [ ] ( )
|
||||||
|
to:@2
|
||||||
|
@2: scope:[] from @begin
|
||||||
|
[1] phi() [ ] ( )
|
||||||
|
[2] call main param-assignment [ ] ( )
|
||||||
|
to:@end
|
||||||
|
@end: scope:[] from @2
|
||||||
|
[3] phi() [ ] ( )
|
||||||
|
main: scope:[main] from @2
|
||||||
|
[4] (byte) main::b1#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 ] ( main:2 [ main::b1#0 ] )
|
||||||
|
[5] (byte) main::b2#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 main::b2#0 ] ( main:2 [ main::b1#0 main::b2#0 ] )
|
||||||
|
[6] (byte) main::b3#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
[7] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
to:main::@1
|
||||||
|
main::@1: scope:[main] from main
|
||||||
|
[8] phi() [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
[9] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
to:main::@2
|
||||||
|
main::@2: scope:[main] from main::@1
|
||||||
|
[10] phi() [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
[11] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
to:main::@3
|
||||||
|
main::@3: scope:[main] from main::@2
|
||||||
|
[12] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 0) ← (byte) main::b1#0 [ main::b2#0 main::b3#0 ] ( main:2 [ main::b2#0 main::b3#0 ] )
|
||||||
|
[13] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 1) ← (byte) main::b2#0 [ main::b3#0 ] ( main:2 [ main::b3#0 ] )
|
||||||
|
[14] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 2) ← (byte) main::b3#0 [ ] ( main:2 [ ] )
|
||||||
|
to:main::@return
|
||||||
|
main::@return: scope:[main] from main::@3
|
||||||
|
[15] return [ ] ( main:2 [ ] )
|
||||||
|
to:@return
|
||||||
|
setByte: scope:[setByte] from main main::@1 main::@2
|
||||||
|
[16] (byte*) setByte::ptr#3 ← phi( main/&(byte) main::b1#0 main::@1/&(byte) main::b2#0 main::@2/&(byte) main::b3#0 ) [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] )
|
||||||
|
[16] (byte) setByte::b#3 ← phi( main/(byte) 'c' main::@1/(byte) 'm' main::@2/(byte) 'l' ) [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] )
|
||||||
|
[17] *((byte*) setByte::ptr#3) ← (byte) setByte::b#3 [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
to:setByte::@return
|
||||||
|
setByte::@return: scope:[setByte] from setByte
|
||||||
|
[18] return [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
to:@return
|
@ -0,0 +1,802 @@
|
|||||||
|
PARSING src/test/java/dk/camelot64/kickc/test/kc/test-address-of-param.kc
|
||||||
|
|
||||||
|
void main() {
|
||||||
|
byte* SCREEN = $400;
|
||||||
|
byte b1 = 0;
|
||||||
|
byte b2 = 0;
|
||||||
|
byte b3 = 0;
|
||||||
|
setByte(&b1, 'c');
|
||||||
|
setByte(&b2, 'm');
|
||||||
|
setByte(&b3, 'l');
|
||||||
|
SCREEN[0] = b1;
|
||||||
|
SCREEN[1] = b2;
|
||||||
|
SCREEN[2] = b3;
|
||||||
|
}
|
||||||
|
|
||||||
|
void setByte(byte* ptr, byte b) {
|
||||||
|
*ptr = b;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
STATEMENTS
|
||||||
|
proc (void()) main()
|
||||||
|
(byte*) main::SCREEN ← (word/signed word/dword/signed dword) 1024
|
||||||
|
(byte) main::b1 ← (byte/signed byte/word/signed word/dword/signed dword) 0
|
||||||
|
(byte) main::b2 ← (byte/signed byte/word/signed word/dword/signed dword) 0
|
||||||
|
(byte) main::b3 ← (byte/signed byte/word/signed word/dword/signed dword) 0
|
||||||
|
(byte*~) main::$0 ← & (byte) main::b1
|
||||||
|
(void~) main::$1 ← call setByte (byte*~) main::$0 (byte) 'c'
|
||||||
|
(byte*~) main::$2 ← & (byte) main::b2
|
||||||
|
(void~) main::$3 ← call setByte (byte*~) main::$2 (byte) 'm'
|
||||||
|
(byte*~) main::$4 ← & (byte) main::b3
|
||||||
|
(void~) main::$5 ← call setByte (byte*~) main::$4 (byte) 'l'
|
||||||
|
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 0) ← (byte) main::b1
|
||||||
|
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 1) ← (byte) main::b2
|
||||||
|
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 2) ← (byte) main::b3
|
||||||
|
main::@return:
|
||||||
|
return
|
||||||
|
endproc // main()
|
||||||
|
proc (void()) setByte((byte*) setByte::ptr , (byte) setByte::b)
|
||||||
|
*((byte*) setByte::ptr) ← (byte) setByte::b
|
||||||
|
setByte::@return:
|
||||||
|
return
|
||||||
|
endproc // setByte()
|
||||||
|
call main
|
||||||
|
|
||||||
|
SYMBOLS
|
||||||
|
(void()) main()
|
||||||
|
(byte*~) main::$0
|
||||||
|
(void~) main::$1
|
||||||
|
(byte*~) main::$2
|
||||||
|
(void~) main::$3
|
||||||
|
(byte*~) main::$4
|
||||||
|
(void~) main::$5
|
||||||
|
(label) main::@return
|
||||||
|
(byte*) main::SCREEN
|
||||||
|
(byte) main::b1
|
||||||
|
(byte) main::b2
|
||||||
|
(byte) main::b3
|
||||||
|
(void()) setByte((byte*) setByte::ptr , (byte) setByte::b)
|
||||||
|
(label) setByte::@return
|
||||||
|
(byte) setByte::b
|
||||||
|
(byte*) setByte::ptr
|
||||||
|
|
||||||
|
Promoting word/signed word/dword/signed dword to byte* in main::SCREEN ← ((byte*)) 1024
|
||||||
|
INITIAL CONTROL FLOW GRAPH
|
||||||
|
@begin: scope:[] from
|
||||||
|
to:@1
|
||||||
|
main: scope:[main] from
|
||||||
|
(byte*) main::SCREEN ← ((byte*)) (word/signed word/dword/signed dword) 1024
|
||||||
|
(byte) main::b1 ← (byte/signed byte/word/signed word/dword/signed dword) 0
|
||||||
|
(byte) main::b2 ← (byte/signed byte/word/signed word/dword/signed dword) 0
|
||||||
|
(byte) main::b3 ← (byte/signed byte/word/signed word/dword/signed dword) 0
|
||||||
|
(byte*~) main::$0 ← & (byte) main::b1
|
||||||
|
(void~) main::$1 ← call setByte (byte*~) main::$0 (byte) 'c'
|
||||||
|
(byte*~) main::$2 ← & (byte) main::b2
|
||||||
|
(void~) main::$3 ← call setByte (byte*~) main::$2 (byte) 'm'
|
||||||
|
(byte*~) main::$4 ← & (byte) main::b3
|
||||||
|
(void~) main::$5 ← call setByte (byte*~) main::$4 (byte) 'l'
|
||||||
|
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 0) ← (byte) main::b1
|
||||||
|
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 1) ← (byte) main::b2
|
||||||
|
*((byte*) main::SCREEN + (byte/signed byte/word/signed word/dword/signed dword) 2) ← (byte) main::b3
|
||||||
|
to:main::@return
|
||||||
|
main::@return: scope:[main] from main
|
||||||
|
return
|
||||||
|
to:@return
|
||||||
|
@1: scope:[] from @begin
|
||||||
|
to:@2
|
||||||
|
setByte: scope:[setByte] from
|
||||||
|
*((byte*) setByte::ptr) ← (byte) setByte::b
|
||||||
|
to:setByte::@return
|
||||||
|
setByte::@return: scope:[setByte] from setByte
|
||||||
|
return
|
||||||
|
to:@return
|
||||||
|
@2: scope:[] from @1
|
||||||
|
call main
|
||||||
|
to:@end
|
||||||
|
@end: scope:[] from @2
|
||||||
|
|
||||||
|
Eliminating unused variable - keeping the call (void~) main::$1
|
||||||
|
Eliminating unused variable - keeping the call (void~) main::$3
|
||||||
|
Eliminating unused variable - keeping the call (void~) main::$5
|
||||||
|
Removing empty block @1
|
||||||
|
PROCEDURE MODIFY VARIABLE ANALYSIS
|
||||||
|
|
||||||
|
Completing Phi functions...
|
||||||
|
Completing Phi functions...
|
||||||
|
Completing Phi functions...
|
||||||
|
|
||||||
|
CONTROL FLOW GRAPH SSA WITH ASSIGNMENT CALL & RETURN
|
||||||
|
@begin: scope:[] from
|
||||||
|
to:@2
|
||||||
|
main: scope:[main] from @2
|
||||||
|
(byte*) main::SCREEN#0 ← ((byte*)) (word/signed word/dword/signed dword) 1024
|
||||||
|
(byte) main::b1#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0
|
||||||
|
(byte) main::b2#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0
|
||||||
|
(byte) main::b3#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0
|
||||||
|
(byte*~) main::$0 ← & (byte) main::b1#0
|
||||||
|
(byte*) setByte::ptr#0 ← (byte*~) main::$0
|
||||||
|
(byte) setByte::b#0 ← (byte) 'c'
|
||||||
|
call setByte param-assignment
|
||||||
|
to:main::@1
|
||||||
|
main::@1: scope:[main] from main
|
||||||
|
(byte*) main::SCREEN#3 ← phi( main/(byte*) main::SCREEN#0 )
|
||||||
|
(byte) main::b1#3 ← phi( main/(byte) main::b1#0 )
|
||||||
|
(byte) main::b3#3 ← phi( main/(byte) main::b3#0 )
|
||||||
|
(byte) main::b2#1 ← phi( main/(byte) main::b2#0 )
|
||||||
|
(byte*~) main::$2 ← & (byte) main::b2#1
|
||||||
|
(byte*) setByte::ptr#1 ← (byte*~) main::$2
|
||||||
|
(byte) setByte::b#1 ← (byte) 'm'
|
||||||
|
call setByte param-assignment
|
||||||
|
to:main::@2
|
||||||
|
main::@2: scope:[main] from main::@1
|
||||||
|
(byte) main::b2#3 ← phi( main::@1/(byte) main::b2#1 )
|
||||||
|
(byte*) main::SCREEN#2 ← phi( main::@1/(byte*) main::SCREEN#3 )
|
||||||
|
(byte) main::b1#2 ← phi( main::@1/(byte) main::b1#3 )
|
||||||
|
(byte) main::b3#1 ← phi( main::@1/(byte) main::b3#3 )
|
||||||
|
(byte*~) main::$4 ← & (byte) main::b3#1
|
||||||
|
(byte*) setByte::ptr#2 ← (byte*~) main::$4
|
||||||
|
(byte) setByte::b#2 ← (byte) 'l'
|
||||||
|
call setByte param-assignment
|
||||||
|
to:main::@3
|
||||||
|
main::@3: scope:[main] from main::@2
|
||||||
|
(byte) main::b3#2 ← phi( main::@2/(byte) main::b3#1 )
|
||||||
|
(byte) main::b2#2 ← phi( main::@2/(byte) main::b2#3 )
|
||||||
|
(byte*) main::SCREEN#1 ← phi( main::@2/(byte*) main::SCREEN#2 )
|
||||||
|
(byte) main::b1#1 ← phi( main::@2/(byte) main::b1#2 )
|
||||||
|
*((byte*) main::SCREEN#1 + (byte/signed byte/word/signed word/dword/signed dword) 0) ← (byte) main::b1#1
|
||||||
|
*((byte*) main::SCREEN#1 + (byte/signed byte/word/signed word/dword/signed dword) 1) ← (byte) main::b2#2
|
||||||
|
*((byte*) main::SCREEN#1 + (byte/signed byte/word/signed word/dword/signed dword) 2) ← (byte) main::b3#2
|
||||||
|
to:main::@return
|
||||||
|
main::@return: scope:[main] from main::@3
|
||||||
|
return
|
||||||
|
to:@return
|
||||||
|
setByte: scope:[setByte] from main main::@1 main::@2
|
||||||
|
(byte*) setByte::ptr#3 ← phi( main/(byte*) setByte::ptr#0 main::@1/(byte*) setByte::ptr#1 main::@2/(byte*) setByte::ptr#2 )
|
||||||
|
(byte) setByte::b#3 ← phi( main/(byte) setByte::b#0 main::@1/(byte) setByte::b#1 main::@2/(byte) setByte::b#2 )
|
||||||
|
*((byte*) setByte::ptr#3) ← (byte) setByte::b#3
|
||||||
|
to:setByte::@return
|
||||||
|
setByte::@return: scope:[setByte] from setByte
|
||||||
|
return
|
||||||
|
to:@return
|
||||||
|
@2: scope:[] from @begin
|
||||||
|
call main param-assignment
|
||||||
|
to:@3
|
||||||
|
@3: scope:[] from @2
|
||||||
|
to:@end
|
||||||
|
@end: scope:[] from @3
|
||||||
|
|
||||||
|
SYMBOL TABLE SSA
|
||||||
|
(label) @2
|
||||||
|
(label) @3
|
||||||
|
(label) @begin
|
||||||
|
(label) @end
|
||||||
|
(void()) main()
|
||||||
|
(byte*~) main::$0
|
||||||
|
(byte*~) main::$2
|
||||||
|
(byte*~) main::$4
|
||||||
|
(label) main::@1
|
||||||
|
(label) main::@2
|
||||||
|
(label) main::@3
|
||||||
|
(label) main::@return
|
||||||
|
(byte*) main::SCREEN
|
||||||
|
(byte*) main::SCREEN#0
|
||||||
|
(byte*) main::SCREEN#1
|
||||||
|
(byte*) main::SCREEN#2
|
||||||
|
(byte*) main::SCREEN#3
|
||||||
|
(byte) main::b1
|
||||||
|
(byte) main::b1#0
|
||||||
|
(byte) main::b1#1
|
||||||
|
(byte) main::b1#2
|
||||||
|
(byte) main::b1#3
|
||||||
|
(byte) main::b2
|
||||||
|
(byte) main::b2#0
|
||||||
|
(byte) main::b2#1
|
||||||
|
(byte) main::b2#2
|
||||||
|
(byte) main::b2#3
|
||||||
|
(byte) main::b3
|
||||||
|
(byte) main::b3#0
|
||||||
|
(byte) main::b3#1
|
||||||
|
(byte) main::b3#2
|
||||||
|
(byte) main::b3#3
|
||||||
|
(void()) setByte((byte*) setByte::ptr , (byte) setByte::b)
|
||||||
|
(label) setByte::@return
|
||||||
|
(byte) setByte::b
|
||||||
|
(byte) setByte::b#0
|
||||||
|
(byte) setByte::b#1
|
||||||
|
(byte) setByte::b#2
|
||||||
|
(byte) setByte::b#3
|
||||||
|
(byte*) setByte::ptr
|
||||||
|
(byte*) setByte::ptr#0
|
||||||
|
(byte*) setByte::ptr#1
|
||||||
|
(byte*) setByte::ptr#2
|
||||||
|
(byte*) setByte::ptr#3
|
||||||
|
|
||||||
|
OPTIMIZING CONTROL FLOW GRAPH
|
||||||
|
Culled Empty Block (label) @3
|
||||||
|
Succesful SSA optimization Pass2CullEmptyBlocks
|
||||||
|
Not aliassing across scopes: setByte::b#3 setByte::b#0
|
||||||
|
Not aliassing across scopes: setByte::ptr#3 setByte::ptr#0
|
||||||
|
Alias (byte*) setByte::ptr#0 = (byte*~) main::$0
|
||||||
|
Alias (byte) main::b2#0 = (byte) main::b2#1 (byte) main::b2#3 (byte) main::b2#2
|
||||||
|
Alias (byte) main::b3#0 = (byte) main::b3#3 (byte) main::b3#1 (byte) main::b3#2
|
||||||
|
Alias (byte) main::b1#0 = (byte) main::b1#3 (byte) main::b1#2 (byte) main::b1#1
|
||||||
|
Alias (byte*) main::SCREEN#0 = (byte*) main::SCREEN#3 (byte*) main::SCREEN#2 (byte*) main::SCREEN#1
|
||||||
|
Alias (byte*) setByte::ptr#1 = (byte*~) main::$2
|
||||||
|
Alias (byte*) setByte::ptr#2 = (byte*~) main::$4
|
||||||
|
Succesful SSA optimization Pass2AliasElimination
|
||||||
|
Not aliassing across scopes: setByte::b#3 setByte::b#0
|
||||||
|
Not aliassing across scopes: setByte::ptr#3 setByte::ptr#0
|
||||||
|
Constant (const byte*) main::SCREEN#0 = ((byte*))1024
|
||||||
|
Constant (const byte*) setByte::ptr#0 = &main::b1#0
|
||||||
|
Constant (const byte) setByte::b#0 = 'c'
|
||||||
|
Constant (const byte*) setByte::ptr#1 = &main::b2#0
|
||||||
|
Constant (const byte) setByte::b#1 = 'm'
|
||||||
|
Constant (const byte*) setByte::ptr#2 = &main::b3#0
|
||||||
|
Constant (const byte) setByte::b#2 = 'l'
|
||||||
|
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)
|
||||||
|
Succesful SSA optimization Pass2ConstantAdditionElimination
|
||||||
|
OPTIMIZING CONTROL FLOW GRAPH
|
||||||
|
Inlining constant with var siblings (const byte*) setByte::ptr#0
|
||||||
|
Inlining constant with different constant siblings (const byte*) setByte::ptr#0
|
||||||
|
Inlining constant with different constant siblings (const byte*) setByte::ptr#0
|
||||||
|
Inlining constant with var siblings (const byte) setByte::b#0
|
||||||
|
Inlining constant with different constant siblings (const byte) setByte::b#0
|
||||||
|
Inlining constant with different constant siblings (const byte) setByte::b#0
|
||||||
|
Inlining constant with var siblings (const byte*) setByte::ptr#1
|
||||||
|
Inlining constant with different constant siblings (const byte*) setByte::ptr#1
|
||||||
|
Inlining constant with different constant siblings (const byte*) setByte::ptr#1
|
||||||
|
Inlining constant with var siblings (const byte) setByte::b#1
|
||||||
|
Inlining constant with different constant siblings (const byte) setByte::b#1
|
||||||
|
Inlining constant with different constant siblings (const byte) setByte::b#1
|
||||||
|
Inlining constant with var siblings (const byte*) setByte::ptr#2
|
||||||
|
Inlining constant with different constant siblings (const byte*) setByte::ptr#2
|
||||||
|
Inlining constant with different constant siblings (const byte*) setByte::ptr#2
|
||||||
|
Inlining constant with var siblings (const byte) setByte::b#2
|
||||||
|
Inlining constant with different constant siblings (const byte) setByte::b#2
|
||||||
|
Inlining constant with different constant siblings (const byte) setByte::b#2
|
||||||
|
Constant inlined setByte::ptr#1 = &(byte) main::b2#0
|
||||||
|
Constant inlined setByte::ptr#2 = &(byte) main::b3#0
|
||||||
|
Constant inlined setByte::ptr#0 = &(byte) main::b1#0
|
||||||
|
Constant inlined setByte::b#2 = (byte) 'l'
|
||||||
|
Constant inlined setByte::b#1 = (byte) 'm'
|
||||||
|
Constant inlined setByte::b#0 = (byte) 'c'
|
||||||
|
Succesful SSA optimization Pass2ConstantInlining
|
||||||
|
Block Sequence Planned @begin @2 @end main main::@1 main::@2 main::@3 main::@return setByte setByte::@return
|
||||||
|
Block Sequence Planned @begin @2 @end main main::@1 main::@2 main::@3 main::@return setByte setByte::@return
|
||||||
|
Adding NOP phi() at start of @begin
|
||||||
|
Adding NOP phi() at start of @2
|
||||||
|
Adding NOP phi() at start of @end
|
||||||
|
Adding NOP phi() at start of main::@1
|
||||||
|
Adding NOP phi() at start of main::@2
|
||||||
|
CALL GRAPH
|
||||||
|
Calls in [] to main:2
|
||||||
|
Calls in [main] to setByte:7 setByte:9 setByte:11
|
||||||
|
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
Created 2 initial phi equivalence classes
|
||||||
|
Coalesced down to 2 phi equivalence classes
|
||||||
|
Block Sequence Planned @begin @2 @end main main::@1 main::@2 main::@3 main::@return setByte setByte::@return
|
||||||
|
Adding NOP phi() at start of @begin
|
||||||
|
Adding NOP phi() at start of @2
|
||||||
|
Adding NOP phi() at start of @end
|
||||||
|
Adding NOP phi() at start of main::@1
|
||||||
|
Adding NOP phi() at start of main::@2
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
Propagating live ranges...
|
||||||
|
|
||||||
|
FINAL CONTROL FLOW GRAPH
|
||||||
|
@begin: scope:[] from
|
||||||
|
[0] phi() [ ] ( )
|
||||||
|
to:@2
|
||||||
|
@2: scope:[] from @begin
|
||||||
|
[1] phi() [ ] ( )
|
||||||
|
[2] call main param-assignment [ ] ( )
|
||||||
|
to:@end
|
||||||
|
@end: scope:[] from @2
|
||||||
|
[3] phi() [ ] ( )
|
||||||
|
main: scope:[main] from @2
|
||||||
|
[4] (byte) main::b1#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 ] ( main:2 [ main::b1#0 ] )
|
||||||
|
[5] (byte) main::b2#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 main::b2#0 ] ( main:2 [ main::b1#0 main::b2#0 ] )
|
||||||
|
[6] (byte) main::b3#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
[7] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
to:main::@1
|
||||||
|
main::@1: scope:[main] from main
|
||||||
|
[8] phi() [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
[9] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
to:main::@2
|
||||||
|
main::@2: scope:[main] from main::@1
|
||||||
|
[10] phi() [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
[11] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
to:main::@3
|
||||||
|
main::@3: scope:[main] from main::@2
|
||||||
|
[12] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 0) ← (byte) main::b1#0 [ main::b2#0 main::b3#0 ] ( main:2 [ main::b2#0 main::b3#0 ] )
|
||||||
|
[13] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 1) ← (byte) main::b2#0 [ main::b3#0 ] ( main:2 [ main::b3#0 ] )
|
||||||
|
[14] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 2) ← (byte) main::b3#0 [ ] ( main:2 [ ] )
|
||||||
|
to:main::@return
|
||||||
|
main::@return: scope:[main] from main::@3
|
||||||
|
[15] return [ ] ( main:2 [ ] )
|
||||||
|
to:@return
|
||||||
|
setByte: scope:[setByte] from main main::@1 main::@2
|
||||||
|
[16] (byte*) setByte::ptr#3 ← phi( main/&(byte) main::b1#0 main::@1/&(byte) main::b2#0 main::@2/&(byte) main::b3#0 ) [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] )
|
||||||
|
[16] (byte) setByte::b#3 ← phi( main/(byte) 'c' main::@1/(byte) 'm' main::@2/(byte) 'l' ) [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 setByte::b#3 setByte::ptr#3 ] )
|
||||||
|
[17] *((byte*) setByte::ptr#3) ← (byte) setByte::b#3 [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
to:setByte::@return
|
||||||
|
setByte::@return: scope:[setByte] from setByte
|
||||||
|
[18] return [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
to:@return
|
||||||
|
|
||||||
|
DOMINATORS
|
||||||
|
@begin dominated by @begin
|
||||||
|
@2 dominated by @2 @begin
|
||||||
|
@end dominated by @2 @begin @end
|
||||||
|
main dominated by @2 @begin main
|
||||||
|
main::@1 dominated by @2 @begin main::@1 main
|
||||||
|
main::@2 dominated by @2 @begin main::@1 main::@2 main
|
||||||
|
main::@3 dominated by @2 @begin main::@1 main::@2 main main::@3
|
||||||
|
main::@return dominated by main::@return @2 @begin main::@1 main::@2 main main::@3
|
||||||
|
setByte dominated by @2 setByte @begin main
|
||||||
|
setByte::@return dominated by @2 setByte @begin setByte::@return main
|
||||||
|
|
||||||
|
NATURAL LOOPS
|
||||||
|
|
||||||
|
NATURAL LOOPS WITH DEPTH
|
||||||
|
Found 0 loops in scope []
|
||||||
|
Found 0 loops in scope [main]
|
||||||
|
Found 0 loops in scope [setByte]
|
||||||
|
|
||||||
|
|
||||||
|
VARIABLE REGISTER WEIGHTS
|
||||||
|
(void()) main()
|
||||||
|
(byte*) main::SCREEN
|
||||||
|
(byte) main::b1
|
||||||
|
(byte) main::b1#0 0.36363636363636365
|
||||||
|
(byte) main::b2
|
||||||
|
(byte) main::b2#0 0.36363636363636365
|
||||||
|
(byte) main::b3
|
||||||
|
(byte) main::b3#0 0.36363636363636365
|
||||||
|
(void()) setByte((byte*) setByte::ptr , (byte) setByte::b)
|
||||||
|
(byte) setByte::b
|
||||||
|
(byte) setByte::b#3 2.0
|
||||||
|
(byte*) setByte::ptr
|
||||||
|
(byte*) setByte::ptr#3 2.0
|
||||||
|
|
||||||
|
Initial phi equivalence classes
|
||||||
|
[ setByte::b#3 ]
|
||||||
|
[ setByte::ptr#3 ]
|
||||||
|
Added variable main::b1#0 to zero page equivalence class [ main::b1#0 ]
|
||||||
|
Added variable main::b2#0 to zero page equivalence class [ main::b2#0 ]
|
||||||
|
Added variable main::b3#0 to zero page equivalence class [ main::b3#0 ]
|
||||||
|
Complete equivalence classes
|
||||||
|
[ setByte::b#3 ]
|
||||||
|
[ setByte::ptr#3 ]
|
||||||
|
[ main::b1#0 ]
|
||||||
|
[ main::b2#0 ]
|
||||||
|
[ main::b3#0 ]
|
||||||
|
Allocated zp ZP_BYTE:2 [ setByte::b#3 ]
|
||||||
|
Allocated zp ZP_WORD:3 [ setByte::ptr#3 ]
|
||||||
|
Allocated zp ZP_BYTE:5 [ main::b1#0 ]
|
||||||
|
Allocated zp ZP_BYTE:6 [ main::b2#0 ]
|
||||||
|
Allocated zp ZP_BYTE:7 [ main::b3#0 ]
|
||||||
|
|
||||||
|
INITIAL ASM
|
||||||
|
//SEG0 Basic Upstart
|
||||||
|
.pc = $801 "Basic"
|
||||||
|
:BasicUpstart(main)
|
||||||
|
.pc = $80d "Program"
|
||||||
|
//SEG1 Global Constants & labels
|
||||||
|
//SEG2 @begin
|
||||||
|
bbegin:
|
||||||
|
//SEG3 [1] phi from @begin to @2 [phi:@begin->@2]
|
||||||
|
b2_from_bbegin:
|
||||||
|
jmp b2
|
||||||
|
//SEG4 @2
|
||||||
|
b2:
|
||||||
|
//SEG5 [2] call main param-assignment [ ] ( )
|
||||||
|
jsr main
|
||||||
|
//SEG6 [3] phi from @2 to @end [phi:@2->@end]
|
||||||
|
bend_from_b2:
|
||||||
|
jmp bend
|
||||||
|
//SEG7 @end
|
||||||
|
bend:
|
||||||
|
//SEG8 main
|
||||||
|
main: {
|
||||||
|
.label SCREEN = $400
|
||||||
|
.label b1 = 5
|
||||||
|
.label b2 = 6
|
||||||
|
.label b3 = 7
|
||||||
|
//SEG9 [4] (byte) main::b1#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 ] ( main:2 [ main::b1#0 ] ) -- vbuz1=vbuc1
|
||||||
|
lda #0
|
||||||
|
sta b1
|
||||||
|
//SEG10 [5] (byte) main::b2#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 main::b2#0 ] ( main:2 [ main::b1#0 main::b2#0 ] ) -- vbuz1=vbuc1
|
||||||
|
lda #0
|
||||||
|
sta b2
|
||||||
|
//SEG11 [6] (byte) main::b3#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] ) -- vbuz1=vbuc1
|
||||||
|
lda #0
|
||||||
|
sta b3
|
||||||
|
//SEG12 [7] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
//SEG13 [16] phi from main to setByte [phi:main->setByte]
|
||||||
|
setByte_from_main:
|
||||||
|
//SEG14 [16] phi (byte*) setByte::ptr#3 = &(byte) main::b1#0 [phi:main->setByte#0] -- pbuz1=pbuc1
|
||||||
|
lda #<b1
|
||||||
|
sta setByte.ptr
|
||||||
|
lda #>b1
|
||||||
|
sta setByte.ptr+1
|
||||||
|
//SEG15 [16] phi (byte) setByte::b#3 = (byte) 'c' [phi:main->setByte#1] -- vbuz1=vbuc1
|
||||||
|
lda #'c'
|
||||||
|
sta setByte.b
|
||||||
|
jsr setByte
|
||||||
|
//SEG16 [8] phi from main to main::@1 [phi:main->main::@1]
|
||||||
|
b1_from_main:
|
||||||
|
jmp b1
|
||||||
|
//SEG17 main::@1
|
||||||
|
b1:
|
||||||
|
//SEG18 [9] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
//SEG19 [16] phi from main::@1 to setByte [phi:main::@1->setByte]
|
||||||
|
setByte_from_b1:
|
||||||
|
//SEG20 [16] phi (byte*) setByte::ptr#3 = &(byte) main::b2#0 [phi:main::@1->setByte#0] -- pbuz1=pbuc1
|
||||||
|
lda #<b2
|
||||||
|
sta setByte.ptr
|
||||||
|
lda #>b2
|
||||||
|
sta setByte.ptr+1
|
||||||
|
//SEG21 [16] phi (byte) setByte::b#3 = (byte) 'm' [phi:main::@1->setByte#1] -- vbuz1=vbuc1
|
||||||
|
lda #'m'
|
||||||
|
sta setByte.b
|
||||||
|
jsr setByte
|
||||||
|
//SEG22 [10] phi from main::@1 to main::@2 [phi:main::@1->main::@2]
|
||||||
|
b2_from_b1:
|
||||||
|
jmp b2
|
||||||
|
//SEG23 main::@2
|
||||||
|
b2:
|
||||||
|
//SEG24 [11] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
//SEG25 [16] phi from main::@2 to setByte [phi:main::@2->setByte]
|
||||||
|
setByte_from_b2:
|
||||||
|
//SEG26 [16] phi (byte*) setByte::ptr#3 = &(byte) main::b3#0 [phi:main::@2->setByte#0] -- pbuz1=pbuc1
|
||||||
|
lda #<b3
|
||||||
|
sta setByte.ptr
|
||||||
|
lda #>b3
|
||||||
|
sta setByte.ptr+1
|
||||||
|
//SEG27 [16] phi (byte) setByte::b#3 = (byte) 'l' [phi:main::@2->setByte#1] -- vbuz1=vbuc1
|
||||||
|
lda #'l'
|
||||||
|
sta setByte.b
|
||||||
|
jsr setByte
|
||||||
|
jmp b3
|
||||||
|
//SEG28 main::@3
|
||||||
|
b3:
|
||||||
|
//SEG29 [12] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 0) ← (byte) main::b1#0 [ main::b2#0 main::b3#0 ] ( main:2 [ main::b2#0 main::b3#0 ] ) -- _deref_pbuc1=vbuz1
|
||||||
|
lda b1
|
||||||
|
sta SCREEN+0
|
||||||
|
//SEG30 [13] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 1) ← (byte) main::b2#0 [ main::b3#0 ] ( main:2 [ main::b3#0 ] ) -- _deref_pbuc1=vbuz1
|
||||||
|
lda b2
|
||||||
|
sta SCREEN+1
|
||||||
|
//SEG31 [14] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 2) ← (byte) main::b3#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuz1
|
||||||
|
lda b3
|
||||||
|
sta SCREEN+2
|
||||||
|
jmp breturn
|
||||||
|
//SEG32 main::@return
|
||||||
|
breturn:
|
||||||
|
//SEG33 [15] return [ ] ( main:2 [ ] )
|
||||||
|
rts
|
||||||
|
}
|
||||||
|
//SEG34 setByte
|
||||||
|
setByte: {
|
||||||
|
.label b = 2
|
||||||
|
.label ptr = 3
|
||||||
|
//SEG35 [17] *((byte*) setByte::ptr#3) ← (byte) setByte::b#3 [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 ] ) -- _deref_pbuz1=vbuz2
|
||||||
|
lda b
|
||||||
|
ldy #0
|
||||||
|
sta (ptr),y
|
||||||
|
jmp breturn
|
||||||
|
//SEG36 setByte::@return
|
||||||
|
breturn:
|
||||||
|
//SEG37 [18] return [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
rts
|
||||||
|
}
|
||||||
|
|
||||||
|
REGISTER UPLIFT POTENTIAL REGISTERS
|
||||||
|
Statement [17] *((byte*) setByte::ptr#3) ← (byte) setByte::b#3 [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 ] ) always clobbers reg byte y
|
||||||
|
Removing always clobbered register reg byte y as potential for zp ZP_BYTE:5 [ main::b1#0 ]
|
||||||
|
Removing always clobbered register reg byte y as potential for zp ZP_BYTE:6 [ main::b2#0 ]
|
||||||
|
Removing always clobbered register reg byte y as potential for zp ZP_BYTE:7 [ main::b3#0 ]
|
||||||
|
Statement [17] *((byte*) setByte::ptr#3) ← (byte) setByte::b#3 [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 ] ) always clobbers reg byte y
|
||||||
|
Potential registers zp ZP_BYTE:2 [ setByte::b#3 ] : zp ZP_BYTE:2 , reg byte a , reg byte x , reg byte y ,
|
||||||
|
Potential registers zp ZP_WORD:3 [ setByte::ptr#3 ] : zp ZP_WORD:3 ,
|
||||||
|
Potential registers zp ZP_BYTE:5 [ main::b1#0 ] : zp ZP_BYTE:5 , reg byte a , reg byte x ,
|
||||||
|
Potential registers zp ZP_BYTE:6 [ main::b2#0 ] : zp ZP_BYTE:6 , reg byte a , reg byte x ,
|
||||||
|
Potential registers zp ZP_BYTE:7 [ main::b3#0 ] : zp ZP_BYTE:7 , reg byte a , reg byte x ,
|
||||||
|
|
||||||
|
REGISTER UPLIFT SCOPES
|
||||||
|
Uplift Scope [setByte] 2: zp ZP_BYTE:2 [ setByte::b#3 ] 2: zp ZP_WORD:3 [ setByte::ptr#3 ]
|
||||||
|
Uplift Scope [main] 0.36: zp ZP_BYTE:5 [ main::b1#0 ] 0.36: zp ZP_BYTE:6 [ main::b2#0 ] 0.36: zp ZP_BYTE:7 [ main::b3#0 ]
|
||||||
|
Uplift Scope []
|
||||||
|
|
||||||
|
Uplifting [setByte] best 139 combination reg byte x [ setByte::b#3 ] zp ZP_WORD:3 [ setByte::ptr#3 ]
|
||||||
|
Uplifting [main] best 139 combination zp ZP_BYTE:5 [ main::b1#0 ] zp ZP_BYTE:6 [ main::b2#0 ] zp ZP_BYTE:7 [ main::b3#0 ]
|
||||||
|
Uplifting [] best 139 combination
|
||||||
|
Attempting to uplift remaining variables inzp ZP_BYTE:5 [ main::b1#0 ]
|
||||||
|
Uplifting [main] best 139 combination zp ZP_BYTE:5 [ main::b1#0 ]
|
||||||
|
Attempting to uplift remaining variables inzp ZP_BYTE:6 [ main::b2#0 ]
|
||||||
|
Uplifting [main] best 139 combination zp ZP_BYTE:6 [ main::b2#0 ]
|
||||||
|
Attempting to uplift remaining variables inzp ZP_BYTE:7 [ main::b3#0 ]
|
||||||
|
Uplifting [main] best 139 combination zp ZP_BYTE:7 [ main::b3#0 ]
|
||||||
|
Allocated (was zp ZP_WORD:3) zp ZP_WORD:2 [ setByte::ptr#3 ]
|
||||||
|
Allocated (was zp ZP_BYTE:5) zp ZP_BYTE:4 [ main::b1#0 ]
|
||||||
|
Allocated (was zp ZP_BYTE:6) zp ZP_BYTE:5 [ main::b2#0 ]
|
||||||
|
Allocated (was zp ZP_BYTE:7) zp ZP_BYTE:6 [ main::b3#0 ]
|
||||||
|
|
||||||
|
ASSEMBLER BEFORE OPTIMIZATION
|
||||||
|
//SEG0 Basic Upstart
|
||||||
|
.pc = $801 "Basic"
|
||||||
|
:BasicUpstart(main)
|
||||||
|
.pc = $80d "Program"
|
||||||
|
//SEG1 Global Constants & labels
|
||||||
|
//SEG2 @begin
|
||||||
|
bbegin:
|
||||||
|
//SEG3 [1] phi from @begin to @2 [phi:@begin->@2]
|
||||||
|
b2_from_bbegin:
|
||||||
|
jmp b2
|
||||||
|
//SEG4 @2
|
||||||
|
b2:
|
||||||
|
//SEG5 [2] call main param-assignment [ ] ( )
|
||||||
|
jsr main
|
||||||
|
//SEG6 [3] phi from @2 to @end [phi:@2->@end]
|
||||||
|
bend_from_b2:
|
||||||
|
jmp bend
|
||||||
|
//SEG7 @end
|
||||||
|
bend:
|
||||||
|
//SEG8 main
|
||||||
|
main: {
|
||||||
|
.label SCREEN = $400
|
||||||
|
.label b1 = 4
|
||||||
|
.label b2 = 5
|
||||||
|
.label b3 = 6
|
||||||
|
//SEG9 [4] (byte) main::b1#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 ] ( main:2 [ main::b1#0 ] ) -- vbuz1=vbuc1
|
||||||
|
lda #0
|
||||||
|
sta b1
|
||||||
|
//SEG10 [5] (byte) main::b2#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 main::b2#0 ] ( main:2 [ main::b1#0 main::b2#0 ] ) -- vbuz1=vbuc1
|
||||||
|
lda #0
|
||||||
|
sta b2
|
||||||
|
//SEG11 [6] (byte) main::b3#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] ) -- vbuz1=vbuc1
|
||||||
|
lda #0
|
||||||
|
sta b3
|
||||||
|
//SEG12 [7] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
//SEG13 [16] phi from main to setByte [phi:main->setByte]
|
||||||
|
setByte_from_main:
|
||||||
|
//SEG14 [16] phi (byte*) setByte::ptr#3 = &(byte) main::b1#0 [phi:main->setByte#0] -- pbuz1=pbuc1
|
||||||
|
lda #<b1
|
||||||
|
sta setByte.ptr
|
||||||
|
lda #>b1
|
||||||
|
sta setByte.ptr+1
|
||||||
|
//SEG15 [16] phi (byte) setByte::b#3 = (byte) 'c' [phi:main->setByte#1] -- vbuxx=vbuc1
|
||||||
|
ldx #'c'
|
||||||
|
jsr setByte
|
||||||
|
//SEG16 [8] phi from main to main::@1 [phi:main->main::@1]
|
||||||
|
b1_from_main:
|
||||||
|
jmp b1
|
||||||
|
//SEG17 main::@1
|
||||||
|
b1:
|
||||||
|
//SEG18 [9] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
//SEG19 [16] phi from main::@1 to setByte [phi:main::@1->setByte]
|
||||||
|
setByte_from_b1:
|
||||||
|
//SEG20 [16] phi (byte*) setByte::ptr#3 = &(byte) main::b2#0 [phi:main::@1->setByte#0] -- pbuz1=pbuc1
|
||||||
|
lda #<b2
|
||||||
|
sta setByte.ptr
|
||||||
|
lda #>b2
|
||||||
|
sta setByte.ptr+1
|
||||||
|
//SEG21 [16] phi (byte) setByte::b#3 = (byte) 'm' [phi:main::@1->setByte#1] -- vbuxx=vbuc1
|
||||||
|
ldx #'m'
|
||||||
|
jsr setByte
|
||||||
|
//SEG22 [10] phi from main::@1 to main::@2 [phi:main::@1->main::@2]
|
||||||
|
b2_from_b1:
|
||||||
|
jmp b2
|
||||||
|
//SEG23 main::@2
|
||||||
|
b2:
|
||||||
|
//SEG24 [11] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
//SEG25 [16] phi from main::@2 to setByte [phi:main::@2->setByte]
|
||||||
|
setByte_from_b2:
|
||||||
|
//SEG26 [16] phi (byte*) setByte::ptr#3 = &(byte) main::b3#0 [phi:main::@2->setByte#0] -- pbuz1=pbuc1
|
||||||
|
lda #<b3
|
||||||
|
sta setByte.ptr
|
||||||
|
lda #>b3
|
||||||
|
sta setByte.ptr+1
|
||||||
|
//SEG27 [16] phi (byte) setByte::b#3 = (byte) 'l' [phi:main::@2->setByte#1] -- vbuxx=vbuc1
|
||||||
|
ldx #'l'
|
||||||
|
jsr setByte
|
||||||
|
jmp b3
|
||||||
|
//SEG28 main::@3
|
||||||
|
b3:
|
||||||
|
//SEG29 [12] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 0) ← (byte) main::b1#0 [ main::b2#0 main::b3#0 ] ( main:2 [ main::b2#0 main::b3#0 ] ) -- _deref_pbuc1=vbuz1
|
||||||
|
lda b1
|
||||||
|
sta SCREEN+0
|
||||||
|
//SEG30 [13] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 1) ← (byte) main::b2#0 [ main::b3#0 ] ( main:2 [ main::b3#0 ] ) -- _deref_pbuc1=vbuz1
|
||||||
|
lda b2
|
||||||
|
sta SCREEN+1
|
||||||
|
//SEG31 [14] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 2) ← (byte) main::b3#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuz1
|
||||||
|
lda b3
|
||||||
|
sta SCREEN+2
|
||||||
|
jmp breturn
|
||||||
|
//SEG32 main::@return
|
||||||
|
breturn:
|
||||||
|
//SEG33 [15] return [ ] ( main:2 [ ] )
|
||||||
|
rts
|
||||||
|
}
|
||||||
|
//SEG34 setByte
|
||||||
|
setByte: {
|
||||||
|
.label ptr = 2
|
||||||
|
//SEG35 [17] *((byte*) setByte::ptr#3) ← (byte) setByte::b#3 [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 ] ) -- _deref_pbuz1=vbuxx
|
||||||
|
txa
|
||||||
|
ldy #0
|
||||||
|
sta (ptr),y
|
||||||
|
jmp breturn
|
||||||
|
//SEG36 setByte::@return
|
||||||
|
breturn:
|
||||||
|
//SEG37 [18] return [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
rts
|
||||||
|
}
|
||||||
|
|
||||||
|
ASSEMBLER OPTIMIZATIONS
|
||||||
|
Removing instruction jmp b2
|
||||||
|
Removing instruction jmp bend
|
||||||
|
Removing instruction jmp b1
|
||||||
|
Removing instruction jmp b2
|
||||||
|
Removing instruction jmp b3
|
||||||
|
Removing instruction jmp breturn
|
||||||
|
Removing instruction jmp breturn
|
||||||
|
Succesful ASM optimization Pass5NextJumpElimination
|
||||||
|
Removing instruction lda #0
|
||||||
|
Removing instruction lda #0
|
||||||
|
Succesful ASM optimization Pass5UnnecesaryLoadElimination
|
||||||
|
Removing instruction bbegin:
|
||||||
|
Removing instruction b2_from_bbegin:
|
||||||
|
Removing instruction bend_from_b2:
|
||||||
|
Removing instruction b1_from_main:
|
||||||
|
Removing instruction setByte_from_b1:
|
||||||
|
Removing instruction b2_from_b1:
|
||||||
|
Removing instruction setByte_from_b2:
|
||||||
|
Succesful ASM optimization Pass5RedundantLabelElimination
|
||||||
|
Removing instruction b2:
|
||||||
|
Removing instruction bend:
|
||||||
|
Removing instruction setByte_from_main:
|
||||||
|
Removing instruction b1:
|
||||||
|
Removing instruction b2:
|
||||||
|
Removing instruction b3:
|
||||||
|
Removing instruction breturn:
|
||||||
|
Removing instruction breturn:
|
||||||
|
Succesful ASM optimization Pass5UnusedLabelElimination
|
||||||
|
|
||||||
|
FINAL SYMBOL TABLE
|
||||||
|
(label) @2
|
||||||
|
(label) @begin
|
||||||
|
(label) @end
|
||||||
|
(void()) main()
|
||||||
|
(label) main::@1
|
||||||
|
(label) main::@2
|
||||||
|
(label) main::@3
|
||||||
|
(label) main::@return
|
||||||
|
(byte*) main::SCREEN
|
||||||
|
(const byte*) main::SCREEN#0 SCREEN = ((byte*))(word/signed word/dword/signed dword) 1024
|
||||||
|
(byte) main::b1
|
||||||
|
(byte) main::b1#0 b1 zp ZP_BYTE:4 0.36363636363636365
|
||||||
|
(byte) main::b2
|
||||||
|
(byte) main::b2#0 b2 zp ZP_BYTE:5 0.36363636363636365
|
||||||
|
(byte) main::b3
|
||||||
|
(byte) main::b3#0 b3 zp ZP_BYTE:6 0.36363636363636365
|
||||||
|
(void()) setByte((byte*) setByte::ptr , (byte) setByte::b)
|
||||||
|
(label) setByte::@return
|
||||||
|
(byte) setByte::b
|
||||||
|
(byte) setByte::b#3 reg byte x 2.0
|
||||||
|
(byte*) setByte::ptr
|
||||||
|
(byte*) setByte::ptr#3 ptr zp ZP_WORD:2 2.0
|
||||||
|
|
||||||
|
reg byte x [ setByte::b#3 ]
|
||||||
|
zp ZP_WORD:2 [ setByte::ptr#3 ]
|
||||||
|
zp ZP_BYTE:4 [ main::b1#0 ]
|
||||||
|
zp ZP_BYTE:5 [ main::b2#0 ]
|
||||||
|
zp ZP_BYTE:6 [ main::b3#0 ]
|
||||||
|
|
||||||
|
|
||||||
|
FINAL ASSEMBLER
|
||||||
|
Score: 114
|
||||||
|
|
||||||
|
//SEG0 Basic Upstart
|
||||||
|
.pc = $801 "Basic"
|
||||||
|
:BasicUpstart(main)
|
||||||
|
.pc = $80d "Program"
|
||||||
|
//SEG1 Global Constants & labels
|
||||||
|
//SEG2 @begin
|
||||||
|
//SEG3 [1] phi from @begin to @2 [phi:@begin->@2]
|
||||||
|
//SEG4 @2
|
||||||
|
//SEG5 [2] call main param-assignment [ ] ( )
|
||||||
|
jsr main
|
||||||
|
//SEG6 [3] phi from @2 to @end [phi:@2->@end]
|
||||||
|
//SEG7 @end
|
||||||
|
//SEG8 main
|
||||||
|
main: {
|
||||||
|
.label SCREEN = $400
|
||||||
|
.label b1 = 4
|
||||||
|
.label b2 = 5
|
||||||
|
.label b3 = 6
|
||||||
|
//SEG9 [4] (byte) main::b1#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 ] ( main:2 [ main::b1#0 ] ) -- vbuz1=vbuc1
|
||||||
|
lda #0
|
||||||
|
sta b1
|
||||||
|
//SEG10 [5] (byte) main::b2#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 main::b2#0 ] ( main:2 [ main::b1#0 main::b2#0 ] ) -- vbuz1=vbuc1
|
||||||
|
sta b2
|
||||||
|
//SEG11 [6] (byte) main::b3#0 ← (byte/signed byte/word/signed word/dword/signed dword) 0 [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] ) -- vbuz1=vbuc1
|
||||||
|
sta b3
|
||||||
|
//SEG12 [7] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
//SEG13 [16] phi from main to setByte [phi:main->setByte]
|
||||||
|
//SEG14 [16] phi (byte*) setByte::ptr#3 = &(byte) main::b1#0 [phi:main->setByte#0] -- pbuz1=pbuc1
|
||||||
|
lda #<b1
|
||||||
|
sta setByte.ptr
|
||||||
|
lda #>b1
|
||||||
|
sta setByte.ptr+1
|
||||||
|
//SEG15 [16] phi (byte) setByte::b#3 = (byte) 'c' [phi:main->setByte#1] -- vbuxx=vbuc1
|
||||||
|
ldx #'c'
|
||||||
|
jsr setByte
|
||||||
|
//SEG16 [8] phi from main to main::@1 [phi:main->main::@1]
|
||||||
|
//SEG17 main::@1
|
||||||
|
//SEG18 [9] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
//SEG19 [16] phi from main::@1 to setByte [phi:main::@1->setByte]
|
||||||
|
//SEG20 [16] phi (byte*) setByte::ptr#3 = &(byte) main::b2#0 [phi:main::@1->setByte#0] -- pbuz1=pbuc1
|
||||||
|
lda #<b2
|
||||||
|
sta setByte.ptr
|
||||||
|
lda #>b2
|
||||||
|
sta setByte.ptr+1
|
||||||
|
//SEG21 [16] phi (byte) setByte::b#3 = (byte) 'm' [phi:main::@1->setByte#1] -- vbuxx=vbuc1
|
||||||
|
ldx #'m'
|
||||||
|
jsr setByte
|
||||||
|
//SEG22 [10] phi from main::@1 to main::@2 [phi:main::@1->main::@2]
|
||||||
|
//SEG23 main::@2
|
||||||
|
//SEG24 [11] call setByte param-assignment [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
//SEG25 [16] phi from main::@2 to setByte [phi:main::@2->setByte]
|
||||||
|
//SEG26 [16] phi (byte*) setByte::ptr#3 = &(byte) main::b3#0 [phi:main::@2->setByte#0] -- pbuz1=pbuc1
|
||||||
|
lda #<b3
|
||||||
|
sta setByte.ptr
|
||||||
|
lda #>b3
|
||||||
|
sta setByte.ptr+1
|
||||||
|
//SEG27 [16] phi (byte) setByte::b#3 = (byte) 'l' [phi:main::@2->setByte#1] -- vbuxx=vbuc1
|
||||||
|
ldx #'l'
|
||||||
|
jsr setByte
|
||||||
|
//SEG28 main::@3
|
||||||
|
//SEG29 [12] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 0) ← (byte) main::b1#0 [ main::b2#0 main::b3#0 ] ( main:2 [ main::b2#0 main::b3#0 ] ) -- _deref_pbuc1=vbuz1
|
||||||
|
lda b1
|
||||||
|
sta SCREEN+0
|
||||||
|
//SEG30 [13] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 1) ← (byte) main::b2#0 [ main::b3#0 ] ( main:2 [ main::b3#0 ] ) -- _deref_pbuc1=vbuz1
|
||||||
|
lda b2
|
||||||
|
sta SCREEN+1
|
||||||
|
//SEG31 [14] *((const byte*) main::SCREEN#0+(byte/signed byte/word/signed word/dword/signed dword) 2) ← (byte) main::b3#0 [ ] ( main:2 [ ] ) -- _deref_pbuc1=vbuz1
|
||||||
|
lda b3
|
||||||
|
sta SCREEN+2
|
||||||
|
//SEG32 main::@return
|
||||||
|
//SEG33 [15] return [ ] ( main:2 [ ] )
|
||||||
|
rts
|
||||||
|
}
|
||||||
|
//SEG34 setByte
|
||||||
|
setByte: {
|
||||||
|
.label ptr = 2
|
||||||
|
//SEG35 [17] *((byte*) setByte::ptr#3) ← (byte) setByte::b#3 [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 ] ) -- _deref_pbuz1=vbuxx
|
||||||
|
txa
|
||||||
|
ldy #0
|
||||||
|
sta (ptr),y
|
||||||
|
//SEG36 setByte::@return
|
||||||
|
//SEG37 [18] return [ main::b1#0 main::b2#0 main::b3#0 ] ( main:2::setByte:7 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:9 [ main::b1#0 main::b2#0 main::b3#0 ] main:2::setByte:11 [ main::b1#0 main::b2#0 main::b3#0 ] )
|
||||||
|
rts
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,28 @@
|
|||||||
|
(label) @2
|
||||||
|
(label) @begin
|
||||||
|
(label) @end
|
||||||
|
(void()) main()
|
||||||
|
(label) main::@1
|
||||||
|
(label) main::@2
|
||||||
|
(label) main::@3
|
||||||
|
(label) main::@return
|
||||||
|
(byte*) main::SCREEN
|
||||||
|
(const byte*) main::SCREEN#0 SCREEN = ((byte*))(word/signed word/dword/signed dword) 1024
|
||||||
|
(byte) main::b1
|
||||||
|
(byte) main::b1#0 b1 zp ZP_BYTE:4 0.36363636363636365
|
||||||
|
(byte) main::b2
|
||||||
|
(byte) main::b2#0 b2 zp ZP_BYTE:5 0.36363636363636365
|
||||||
|
(byte) main::b3
|
||||||
|
(byte) main::b3#0 b3 zp ZP_BYTE:6 0.36363636363636365
|
||||||
|
(void()) setByte((byte*) setByte::ptr , (byte) setByte::b)
|
||||||
|
(label) setByte::@return
|
||||||
|
(byte) setByte::b
|
||||||
|
(byte) setByte::b#3 reg byte x 2.0
|
||||||
|
(byte*) setByte::ptr
|
||||||
|
(byte*) setByte::ptr#3 ptr zp ZP_WORD:2 2.0
|
||||||
|
|
||||||
|
reg byte x [ setByte::b#3 ]
|
||||||
|
zp ZP_WORD:2 [ setByte::ptr#3 ]
|
||||||
|
zp ZP_BYTE:4 [ main::b1#0 ]
|
||||||
|
zp ZP_BYTE:5 [ main::b2#0 ]
|
||||||
|
zp ZP_BYTE:6 [ main::b3#0 ]
|
Loading…
x
Reference in New Issue
Block a user