6502/kickc
1
0
Fork 0
mirror of https://gitlab.com/camelot/kickc.git synced 2024-10-21 02:24:34 +00:00
Code Issues Projects Releases Wiki Activity

Rafactoring pass 2

Browse Source
This commit is contained in:
Jesper Gravgaard 2019-05-20 10:47:53 +02:00
parent 5d988dd859
commit 77d24eddc6
3 changed files with 2 additions and 35 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/main/java/dk/camelot64/kickc/Compiler.java
View File

@ -256,7 +256,6 @@ public class Compiler {
optimizations.add(new Pass2ConstantStringConsolidation(program)); optimizations.add(new Pass2ConstantStringConsolidation(program));
optimizations.add(new Pass2FixInlineConstructorsNew(program)); optimizations.add(new Pass2FixInlineConstructorsNew(program));
optimizations.add(new PassNAddTypeConversionAssignment(program)); optimizations.add(new PassNAddTypeConversionAssignment(program));
optimizations.add(new Pass2TypeInference(program));
optimizations.add(new Pass2EliminateRedundantCasts(program)); optimizations.add(new Pass2EliminateRedundantCasts(program));
optimizations.add(new Pass2RangeResolving(program)); optimizations.add(new Pass2RangeResolving(program));
optimizations.add(new Pass2ComparisonOptimization(program)); optimizations.add(new Pass2ComparisonOptimization(program));

33
src/main/java/dk/camelot64/kickc/passes/Pass2TypeInference.java
View File

@ -1,33 +0,0 @@
package dk.camelot64.kickc.passes;
import dk.camelot64.kickc.model.ControlFlowBlock;
import dk.camelot64.kickc.model.Program;
import dk.camelot64.kickc.model.statements.Statement;
import dk.camelot64.kickc.model.statements.StatementAssignment;
import dk.camelot64.kickc.model.statements.StatementCall;
import dk.camelot64.kickc.model.types.SymbolTypeInference;
/**
* Pass through the all statements (re-)inferring types of variables.
*/
public class Pass2TypeInference extends Pass2SsaOptimization {
public Pass2TypeInference(Program program) {
super(program);
}
@Override
public boolean step() {
for(ControlFlowBlock block : getProgram().getGraph().getAllBlocks()) {
for(Statement statement : block.getStatements()) {
if(statement instanceof StatementAssignment) {
SymbolTypeInference.inferAssignmentLValue(getProgram(), (StatementAssignment) statement, true);
} else if(statement instanceof StatementCall) {
SymbolTypeInference.inferCallLValue(getProgram(), (StatementCall) statement, true);
}
}
}
return false;
}
}

3
src/test/ref/inline-pointer-2.asm
View File

@ -3,7 +3,8 @@
:BasicUpstart(main) :BasicUpstart(main)
.pc = $80d "Program" .pc = $80d "Program"
main: { main: {
.label screen = 4*$100+$28
lda #'a' lda #'a'
sta 4*$100+$28 sta screen
rts rts
} }