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

Finally eliminated copy visitor!

Browse Source 
Refactored CallPhiParameters to modify the current control flow graph.
This commit is contained in:
jespergravgaard 2020-03-07 22:38:40 +01:00
parent 61a6e29f4d
commit 1836a9bd92
157 changed files with 1072 additions and 579 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -261,11 +261,13 @@ public class Compiler {
getLog().append(program.getProcedureModifiedVars().toString(program));
}
new Pass1CallingConventionStack(program).execute();
new Pass1CallingConventionPhiParameters(program).execute();
new Pass1CallStack(program).execute();
new Pass1CallPhiParameters(program).execute();
//getLog().append("PROCEDURE PARAMETERS");
//getLog().append(program.getGraph().toString(program));
new PassNUnwindLValueLists(program).execute();
new Pass1GenerateSingleStaticAssignmentForm(program).execute();
new Pass1CallingConventionPhiReturnValue(program).execute();
new Pass1CallPhiReturn(program).execute();
new PassNUnwindLValueLists(program).execute();
getLog().append("\nCONTROL FLOW GRAPH SSA");

8
src/main/java/dk/camelot64/kickc/model/ControlFlowBlock.java
View File

@ -4,6 +4,7 @@ import dk.camelot64.kickc.model.statements.Statement;
import dk.camelot64.kickc.model.statements.StatementCalling;
import dk.camelot64.kickc.model.statements.StatementPhiBlock;
import dk.camelot64.kickc.model.symbols.Procedure;
import dk.camelot64.kickc.model.symbols.Scope;
import dk.camelot64.kickc.model.symbols.Symbol;
import dk.camelot64.kickc.model.values.LabelRef;
import dk.camelot64.kickc.model.values.ScopeRef;
@ -167,9 +168,10 @@ public class ControlFlowBlock implements Serializable {
* @return the procedure, that the block is part of
*/
public Procedure getProcedure(Program program) {
Symbol symbol = program.getScope().getSymbol(getLabel());
if(symbol instanceof Procedure) {
return (Procedure) symbol;
final ScopeRef scopeRef = getScope();
final Scope scope = program.getScope().getScope(scopeRef);
if(scope instanceof Procedure) {
return (Procedure) scope;
} else {
return null;
}

4
src/main/java/dk/camelot64/kickc/model/ControlFlowGraph.java
View File

@ -53,6 +53,10 @@ public class ControlFlowGraph implements Serializable {
return blocks;
}
public void setAllBlocks(List<ControlFlowBlock> blocks) {
this.blocks = blocks;
}
public void remove(LabelRef label) {
ListIterator<ControlFlowBlock> blocksIt = blocks.listIterator();
while(blocksIt.hasNext()) {

228
src/main/java/dk/camelot64/kickc/model/ControlFlowGraphCopyVisitor.java
View File

@ -1,228 +0,0 @@
package dk.camelot64.kickc.model;
import dk.camelot64.kickc.model.operators.Operator;
import dk.camelot64.kickc.model.statements.*;
import dk.camelot64.kickc.model.values.LValue;
import dk.camelot64.kickc.model.values.LabelRef;
import dk.camelot64.kickc.model.values.RValue;
import dk.camelot64.kickc.model.values.VariableRef;
import java.util.ArrayList;
import java.util.List;
/**
* A visitor that copies a complete control flow graph. contains visitor-methods usable for modifying the copy at any point
*/
public class ControlFlowGraphCopyVisitor extends ControlFlowGraphBaseVisitor<Object> {
/**
* The origGraph graph.
*/
private ControlFlowGraph origGraph;
/**
* The copied blocks.
*/
private List<ControlFlowBlock> copyBlockList;
/**
* The current block being copied.
*/
private ControlFlowBlock origBlock;
/**
* The current block where statements are generated into.
*/
private ControlFlowBlock copyBlock;
@Override
public ControlFlowGraph visitGraph(ControlFlowGraph origGraph) {
this.origGraph = origGraph;
// Copy all blocks
this.copyBlockList = new ArrayList<>();
for(ControlFlowBlock origBlock : origGraph.getAllBlocks()) {
ControlFlowBlock copyBlock = visitBlock(origBlock);
if(copyBlock != null) {
copyBlockList.add(copyBlock);
}
}
ControlFlowGraph copyGraph = new ControlFlowGraph(copyBlockList, origGraph.getFirstBlock().getLabel());
return copyGraph;
}
@Override
public ControlFlowBlock visitBlock(ControlFlowBlock origBlock) {
LabelRef label = origBlock.getLabel();
ControlFlowBlock copyBlock = new ControlFlowBlock(label, origBlock.getScope());
copyBlock.setComments(origBlock.getComments());
this.origBlock = origBlock;
this.copyBlock = copyBlock;
// Handle statements
List<Statement> origBlockStatements = origBlock.getStatements();
for(Statement origStatement : origBlockStatements) {
Statement copyStatement = visitStatement(origStatement);
if(copyStatement != null) {
this.copyBlock.addStatement(copyStatement);
}
}
// Handle successors
if(origBlock.getDefaultSuccessor() != null) {
this.copyBlock.setDefaultSuccessor(origBlock.getDefaultSuccessor());
}
if(origBlock.getConditionalSuccessor() != null) {
this.copyBlock.setConditionalSuccessor(origBlock.getConditionalSuccessor());
}
if(origBlock.getCallSuccessor() != null) {
this.copyBlock.setCallSuccessor(origBlock.getCallSuccessor());
}
ControlFlowBlock result = this.copyBlock;
this.origBlock = null;
this.copyBlock = null;
return result;
}
/**
* Adds an extra statement to the current block at the current generated position.
* The new statement is added beofre the copy currently being generated.
*
* @param statement The statement to add
*/
protected void addStatementToCurrentBlock(Statement statement) {
this.copyBlock.addStatement(statement);
}
/**
* Splits the current block into two blocks in the generated graph.
* The new block will have the current block as predecessor and current the block will have the new block as default successor.
*
* @param label The label to use for the new block
* @return The new block.
*/
protected ControlFlowBlock splitCurrentBlock(LabelRef label) {
ControlFlowBlock newBlock = new ControlFlowBlock(label, origBlock.getScope());
this.copyBlock.setDefaultSuccessor(newBlock.getLabel());
this.copyBlockList.add(this.copyBlock);
this.copyBlock = newBlock;
return newBlock;
}
/**
* Get the block currently being generated.
*
* @return The current block being generated into
*/
public ControlFlowBlock getCurrentBlock() {
return copyBlock;
}
public ControlFlowBlock getOrigBlock() {
return origBlock;
}
@Override
public Statement visitStatement(Statement statement) {
return (Statement) super.visitStatement(statement);
}
@Override
public StatementPhiBlock visitPhiBlock(StatementPhiBlock orig) {
StatementPhiBlock copyPhi = new StatementPhiBlock(orig.getComments());
for(StatementPhiBlock.PhiVariable phiVariable : orig.getPhiVariables()) {
VariableRef variable = phiVariable.getVariable();
StatementPhiBlock.PhiVariable copyVar = copyPhi.addPhiVariable(variable);
for(StatementPhiBlock.PhiRValue phiRValue : phiVariable.getValues()) {
copyVar.setrValue(phiRValue.getPredecessor(), phiRValue.getrValue());
}
}
return copyPhi;
}
@Override
public StatementAssignment visitAssignment(StatementAssignment orig) {
return new StatementAssignment(orig.getlValue(), orig.getrValue1(), orig.getOperator(), orig.getrValue2(), orig.isInitialAssignment(), orig.getSource(), orig.getComments());
}
@Override
public StatementConditionalJump visitConditionalJump(StatementConditionalJump orig) {
RValue rValue1 = orig.getrValue1();
Operator operator = orig.getOperator();
RValue rValue2 = orig.getrValue2();
LabelRef destination = orig.getDestination();
StatementConditionalJump conditionalJump = new StatementConditionalJump(rValue1, operator, rValue2, destination, orig.getSource(), orig.getComments());
conditionalJump.setDeclaredUnroll(orig.isDeclaredUnroll());
return conditionalJump;
}
@Override
public StatementJump visitJump(StatementJump orig) {
LabelRef destination = orig.getDestination();
return new StatementJump(destination, orig.getSource(), orig.getComments());
}
@Override
public StatementLabel visitJumpTarget(StatementLabel orig) {
LabelRef label = orig.getLabel();
return new StatementLabel(label, orig.getSource(), orig.getComments());
}
@Override
public StatementCall visitCall(StatementCall orig) {
LValue lValue = orig.getlValue();
String procedureName = orig.getProcedureName();
List<RValue> parameters = orig.getParameters();
return new StatementCall(lValue, procedureName, parameters, orig.getSource(), orig.getComments());
}
@Override
public Object visitCallPointer(StatementCallPointer orig) {
LValue lValue = orig.getlValue();
RValue procedure = orig.getProcedure();
List<RValue> parameters = orig.getParameters();
return new StatementCallPointer(lValue, procedure, parameters, orig.getSource(), orig.getComments());
}
@Override
public Object visitCallPrepare(StatementCallPrepare orig) {
return new StatementCallPrepare(orig.getProcedure(), orig.getParameters(), orig.getSource(), orig.getComments());
}
@Override
public Object visitCallExecute(StatementCallExecute orig) {
return new StatementCallExecute(orig.getProcedure(), orig.getSource(), orig.getComments());
}
@Override
public Object visitCallFinalize(StatementCallFinalize orig) {
return new StatementCallFinalize(orig.getlValue(), orig.getProcedure(), orig.getSource(), orig.getComments());
}
@Override
public StatementProcedureBegin visitProcedureBegin(StatementProcedureBegin orig) {
return new StatementProcedureBegin(orig.getProcedure(), orig.getSource(), orig.getComments());
}
@Override
public StatementProcedureEnd visitProcedureEnd(StatementProcedureEnd orig) {
return new StatementProcedureEnd(orig.getProcedure(), orig.getSource(), orig.getComments());
}
@Override
public StatementReturn visitReturn(StatementReturn orig) {
return new StatementReturn(orig.getValue(), orig.getSource(), orig.getComments());
}
@Override
public Object visitAsm(StatementAsm orig) {
return new StatementAsm(orig.getAsmBody(), orig.getReferenced(), orig.getDeclaredClobber(), orig.getSource(), orig.getComments());
}
@Override
public Object visitKickAsm(StatementKickAsm orig) {
return new StatementKickAsm(orig.getKickAsmCode(), orig.getLocation(), orig.getBytes(), orig.getCycles(), orig.getUses(), orig.getDeclaredClobber(), orig.getSource(), orig.getComments());
}
@Override
public Object visitStackPull(StatementExprSideEffect orig) {
return new StatementExprSideEffect(orig.getExpression(), orig.getSource(), orig.getComments());
}
}

179
src/main/java/dk/camelot64/kickc/passes/Pass1CallPhiParameters.java Normal file
View File

@ -0,0 +1,179 @@
package dk.camelot64.kickc.passes;
import dk.camelot64.kickc.model.*;
import dk.camelot64.kickc.model.statements.*;
import dk.camelot64.kickc.model.symbols.*;
import dk.camelot64.kickc.model.types.SymbolType;
import dk.camelot64.kickc.model.types.SymbolTypeStruct;
import dk.camelot64.kickc.model.values.*;
import java.util.*;
/** Handle calling convention {@link Procedure.CallingConvention#PHI_CALL} by passing parameters through variables */
public class Pass1CallPhiParameters {
private Program program;
public Pass1CallPhiParameters(Program program) {
this.program = program;
}
private Map<LabelRef, LabelRef> splitBlockMap = new LinkedHashMap<>();
public void execute() {
final List<ControlFlowBlock> todoBlocks = getGraph().getAllBlocks();
List<ControlFlowBlock> doneBlocks = new ArrayList<>();
while(!todoBlocks.isEmpty()) {
final ControlFlowBlock block = todoBlocks.get(0);
todoBlocks.remove(0);
doneBlocks.add(block);
final ListIterator<Statement> stmtIt = block.getStatements().listIterator();
while(stmtIt.hasNext()) {
Statement statement = stmtIt.next();
if(statement instanceof StatementCall) {
StatementCall call = (StatementCall) statement;
// Generate parameter passing assignments
ProcedureRef procedureRef = call.getProcedure();
Procedure procedure = getScope().getProcedure(procedureRef);
// Handle PHI-calls
if(Procedure.CallingConvention.PHI_CALL.equals(procedure.getCallingConvention())) {
final ControlFlowBlock newBlock = handleCall(call, procedure, stmtIt, block);
// The current block was split into two blocks - put the rest of the statements into the new block and add it at the front of the todoBlocks
while(stmtIt.hasNext()) {
newBlock.getStatements().add(stmtIt.next());
stmtIt.previous();
stmtIt.remove();
}
todoBlocks.add(0, newBlock);
}
}
if(statement instanceof StatementReturn) {
Procedure procedure = block.getProcedure(program);
// Handle PHI-calls
if(Procedure.CallingConvention.PHI_CALL.equals(procedure.getCallingConvention())) {
// Add self-assignments for all variables modified in the procedure
Set<VariableRef> modifiedVars = program.getProcedureModifiedVars().getModifiedVars(procedure.getRef());
stmtIt.previous();
for(VariableRef modifiedVar : modifiedVars) {
if(getScope().getVariable(modifiedVar).isKindLoadStore())
continue;
stmtIt.add(new StatementAssignment(modifiedVar, modifiedVar, false, ((StatementReturn) statement).getSource(), Comment.NO_COMMENTS));
}
stmtIt.next();
}
}
}
}
// Update graph blocks
program.getGraph().setAllBlocks(doneBlocks);
// Fix phi predecessors for any blocks has a split block as predecessor
for(ControlFlowBlock block : getGraph().getAllBlocks()) {
if(block.hasPhiBlock()) {
for(StatementPhiBlock.PhiVariable phiVariable : block.getPhiBlock().getPhiVariables()) {
for(StatementPhiBlock.PhiRValue phiRValue : phiVariable.getValues()) {
LabelRef splitBlockNew = splitBlockMap.get(phiRValue.getPredecessor());
if(splitBlockNew != null) {
phiRValue.setPredecessor(splitBlockNew);
}
}
}
}
}
}
private ProgramScope getScope() {
return program.getScope();
}
private ControlFlowGraph getGraph() {
return program.getGraph();
}
private ControlFlowBlock handleCall(StatementCall call, Procedure procedure, ListIterator<Statement> stmtIt, ControlFlowBlock block) {
List<Variable> parameterDefs = procedure.getParameters();
List<RValue> parameterValues = call.getParameters();
if(parameterDefs.size() != parameterValues.size()) {
throw new CompileError("Wrong number of parameters in call " + call.toString(program, false) + " expected " + procedure.toString(program), call);
}
// Add assignments for call parameters
if(parameterDefs.size() > 0) {
stmtIt.previous();
for(int i = 0; i < parameterDefs.size(); i++) {
Variable parameterDecl = parameterDefs.get(i);
RValue parameterValue = parameterValues.get(i);
stmtIt.add(new StatementAssignment((LValue) parameterDecl.getRef(), parameterValue, true, call.getSource(), Comment.NO_COMMENTS));
}
stmtIt.next();
}
Variable procReturnVar = procedure.getVariable("return");
LValue procReturnVarRef = null;
if(procReturnVar != null) {
procReturnVarRef = (LValue) procReturnVar.getRef();
// Special handing of struct value returns
if(procReturnVar.getType() instanceof SymbolTypeStruct) {
StructVariableMemberUnwinding.VariableUnwinding returnVarUnwinding = program.getStructVariableMemberUnwinding().getVariableUnwinding((VariableRef) procReturnVarRef);
if(returnVarUnwinding != null) {
ArrayList<RValue> unwoundReturnVars = new ArrayList<>();
for(String memberName : returnVarUnwinding.getMemberNames()) {
final SymbolVariableRef memberUnwound = returnVarUnwinding.getMemberUnwound(memberName);
unwoundReturnVars.add(memberUnwound);
}
procReturnVarRef = new ValueList(unwoundReturnVars);
}
}
}
call.setParameters(null);
final LValue origCallLValue = call.getlValue();
call.setlValue(procReturnVarRef);
Symbol currentBlockSymbol = getScope().getSymbol(block.getLabel());
Scope currentBlockScope;
if(currentBlockSymbol instanceof Procedure) {
currentBlockScope = (Scope) currentBlockSymbol;
} else {
currentBlockScope = currentBlockSymbol.getScope();
}
LabelRef splitBlockNewLabelRef = currentBlockScope.addLabelIntermediate().getRef();
ControlFlowBlock newBlock = new ControlFlowBlock(splitBlockNewLabelRef, block.getScope());
splitBlockMap.put(block.getLabel(), splitBlockNewLabelRef);
if(!SymbolType.VOID.equals(procedure.getReturnType()) && origCallLValue != null) {
newBlock.getStatements().add(new StatementAssignment(origCallLValue, procReturnVarRef, call.isInitialAssignment(), call.getSource(), Comment.NO_COMMENTS));
} else {
// No return type. Remove variable receiving the result.
if(origCallLValue instanceof VariableRef) {
VariableRef lValueRef = (VariableRef) origCallLValue;
Variable lValueVar = getScope().getVariable(lValueRef);
lValueVar.getScope().remove(lValueVar);
}
}
// Add self-assignments for all variables modified in the procedure
Set<VariableRef> modifiedVars = program.getProcedureModifiedVars().getModifiedVars(procedure.getRef());
for(VariableRef modifiedVar : modifiedVars) {
if(getScope().getVariable(modifiedVar).isKindLoadStore())
continue;
newBlock.getStatements().add(new StatementAssignment(modifiedVar, modifiedVar, false, call.getSource(), Comment.NO_COMMENTS));
}
// Set new block successors
newBlock.setDefaultSuccessor(block.getDefaultSuccessor());
newBlock.setConditionalSuccessor(block.getConditionalSuccessor());
newBlock.setCallSuccessor(block.getCallSuccessor());
// Set old block call successor
block.setCallSuccessor(procedure.getRef().getLabelRef());
// Set old block default successor to the new block
block.setDefaultSuccessor(newBlock.getLabel());
// Set old block conditional successor to null
block.setConditionalSuccessor(null);
return newBlock;
}
}

15
src/main/java/dk/camelot64/kickc/passes/Pass1CallingConventionPhiReturnValue.java → src/main/java/dk/camelot64/kickc/passes/Pass1CallPhiReturn.java
View File

@ -14,11 +14,11 @@ import java.util.Set;
/**
* Handles return values for {@link Procedure.CallingConvention#PHI_CALL} procedure calls by passing the return value through variable versions.
*/
public class Pass1CallingConventionPhiReturnValue {
public class Pass1CallPhiReturn {
private Program program;
public Pass1CallingConventionPhiReturnValue(Program program) {
public Pass1CallPhiReturn(Program program) {
this.program = program;
}
@ -42,7 +42,7 @@ public class Pass1CallingConventionPhiReturnValue {
for(Statement statement : block.getStatements()) {
if(statement instanceof StatementReturn) {
StatementReturn statementReturn = (StatementReturn) statement;
Procedure procedure = (Procedure) program.getScope().getScope(block.getScope());
Procedure procedure = block.getProcedure(program);
if(Procedure.CallingConvention.PHI_CALL.equals(procedure.getCallingConvention())) {
statementReturn.setValue(null);
}
@ -83,9 +83,11 @@ public class Pass1CallingConventionPhiReturnValue {
throw new RuntimeException("Error! Cannot find final return variable for " + procedure.getFullName());
}
// Add assignment of final return variable version to lValue
StatementAssignment returnAssignment = new StatementAssignment(call.getlValue(), returnVarFinal, call.isInitialAssignment(), call.getSource(), new ArrayList<>());
stmtIt.add(returnAssignment);
call.setlValue(null);
if(call.getlValue()!=null) {
StatementAssignment returnAssignment = new StatementAssignment(call.getlValue(), returnVarFinal, call.isInitialAssignment(), call.getSource(), new ArrayList<>());
stmtIt.add(returnAssignment);
call.setlValue(null);
}
}
// Patch versions of rValues in assignments for vars modified in the call
@ -109,7 +111,6 @@ public class Pass1CallingConventionPhiReturnValue {
}
}
}
}
private VariableRef findReturnVersion(Procedure procedure, VariableRef assignedVar) {

4
src/main/java/dk/camelot64/kickc/passes/Pass1CallingConventionStack.java → src/main/java/dk/camelot64/kickc/passes/Pass1CallStack.java
View File

@ -20,9 +20,9 @@ import dk.camelot64.kickc.passes.utils.SizeOfConstants;
import java.util.*;
/** Handle calling convention {@link Procedure.CallingConvention#STACK_CALL} by converting the making control flow graph and symbols calling convention specific. */
public class Pass1CallingConventionStack extends Pass2SsaOptimization {
public class Pass1CallStack extends Pass2SsaOptimization {
public Pass1CallingConventionStack(Program program) {
public Pass1CallStack(Program program) {
super(program);
}

146
src/main/java/dk/camelot64/kickc/passes/Pass1CallingConventionPhiParameters.java
View File

@ -1,146 +0,0 @@
package dk.camelot64.kickc.passes;
import dk.camelot64.kickc.model.*;
import dk.camelot64.kickc.model.statements.StatementAssignment;
import dk.camelot64.kickc.model.statements.StatementCall;
import dk.camelot64.kickc.model.statements.StatementPhiBlock;
import dk.camelot64.kickc.model.statements.StatementReturn;
import dk.camelot64.kickc.model.symbols.*;
import dk.camelot64.kickc.model.types.SymbolType;
import dk.camelot64.kickc.model.types.SymbolTypeStruct;
import dk.camelot64.kickc.model.values.*;
import java.util.*;
/** Handle calling convention {@link Procedure.CallingConvention#PHI_CALL} by passing parameters through variables */
public class Pass1CallingConventionPhiParameters extends ControlFlowGraphCopyVisitor {
private Program program;
public Pass1CallingConventionPhiParameters(Program program) {
this.program = program;
}
private Map<LabelRef, LabelRef> splitBlockMap = new LinkedHashMap<>();
public void execute() {
ControlFlowGraph generated = visitGraph(program.getGraph());
// Fix phi predecessors for any blocks has a split block as predecessor
for(ControlFlowBlock block : generated.getAllBlocks()) {
if(block.hasPhiBlock()) {
for(StatementPhiBlock.PhiVariable phiVariable : block.getPhiBlock().getPhiVariables()) {
for(StatementPhiBlock.PhiRValue phiRValue : phiVariable.getValues()) {
LabelRef splitBlockNew = splitBlockMap.get(phiRValue.getPredecessor());
if(splitBlockNew != null) {
phiRValue.setPredecessor(splitBlockNew);
}
}
}
}
}
program.setGraph(generated);
}
private ProgramScope getScope() {
return program.getScope();
}
@Override
public StatementCall visitCall(StatementCall origCall) {
// Generate parameter passing assignments
ProcedureRef procedureRef = origCall.getProcedure();
Procedure procedure = getScope().getProcedure(procedureRef);
// If not PHI-call - skip
if(!Procedure.CallingConvention.PHI_CALL.equals(procedure.getCallingConvention())) {
StatementCall copyCall = super.visitCall(origCall);
copyCall.setProcedure(procedureRef);
return copyCall;
}
List<Variable> parameterDecls = procedure.getParameters();
List<RValue> parameterValues = origCall.getParameters();
if(parameterDecls.size()!=parameterValues.size()) {
throw new CompileError("Wrong number of parameters in call "+origCall.toString(program, false)+" expected "+procedure.toString(program), origCall);
}
for(int i = 0; i < parameterDecls.size(); i++) {
Variable parameterDecl = parameterDecls.get(i);
RValue parameterValue = parameterValues.get(i);
addStatementToCurrentBlock(new StatementAssignment((LValue) parameterDecl.getRef(), parameterValue, true, origCall.getSource(), Comment.NO_COMMENTS));
}
String procedureName = origCall.getProcedureName();
Variable procReturnVar = procedure.getVariable("return");
LValue procReturnVarRef = null;
if(procReturnVar != null) {
procReturnVarRef = (LValue) procReturnVar.getRef();
// Special handing of struct value returns
if(procReturnVar.getType() instanceof SymbolTypeStruct) {
StructVariableMemberUnwinding.VariableUnwinding returnVarUnwinding = program.getStructVariableMemberUnwinding().getVariableUnwinding((VariableRef) procReturnVarRef);
if(returnVarUnwinding!=null) {
ArrayList<RValue> unwoundReturnVars = new ArrayList<>();
for(String memberName : returnVarUnwinding.getMemberNames()) {
final SymbolVariableRef memberUnwound = returnVarUnwinding.getMemberUnwound(memberName);
unwoundReturnVars.add(memberUnwound);
}
procReturnVarRef = new ValueList(unwoundReturnVars);
}
}
}
StatementCall copyCall = new StatementCall(procReturnVarRef, procedureName, null, origCall.getSource(), Comment.NO_COMMENTS);
copyCall.setProcedure(procedureRef);
addStatementToCurrentBlock(copyCall);
getCurrentBlock().setCallSuccessor(procedure.getLabel().getRef());
Symbol currentBlockSymbol = getScope().getSymbol(getCurrentBlock().getLabel());
Scope currentBlockScope;
if(currentBlockSymbol instanceof Procedure) {
currentBlockScope = (Scope) currentBlockSymbol;
} else {
currentBlockScope = currentBlockSymbol.getScope();
}
LabelRef splitBlockNewLabelRef = currentBlockScope.addLabelIntermediate().getRef();
splitCurrentBlock(splitBlockNewLabelRef);
splitBlockMap.put(this.getOrigBlock().getLabel(), splitBlockNewLabelRef);
if(!SymbolType.VOID.equals(procedure.getReturnType()) && origCall.getlValue() != null) {
addStatementToCurrentBlock(new StatementAssignment(origCall.getlValue(), procReturnVarRef, origCall.isInitialAssignment(), origCall.getSource(), Comment.NO_COMMENTS));
} else {
// No return type. Remove variable receiving the result.
LValue lValue = origCall.getlValue();
if(lValue instanceof VariableRef) {
VariableRef lValueRef = (VariableRef) lValue;
Variable lValueVar = getScope().getVariable(lValueRef);
lValueVar.getScope().remove(lValueVar);
}
}
// Add self-assignments for all variables modified in the procedure
Set<VariableRef> modifiedVars = program.getProcedureModifiedVars().getModifiedVars(procedure.getRef());
for(VariableRef modifiedVar : modifiedVars) {
if(getScope().getVariable(modifiedVar).isKindLoadStore())
continue;
addStatementToCurrentBlock(new StatementAssignment(modifiedVar, modifiedVar, false, origCall.getSource(), Comment.NO_COMMENTS));
}
return null;
}
@Override
public StatementReturn visitReturn(StatementReturn orig) {
ControlFlowBlock currentBlock = getCurrentBlock();
String currentProcName = currentBlock.getLabel().getScopeNames();
Procedure procedure = program.getScope().getProcedure(currentProcName);
// If not PHI-call - skip
if(!Procedure.CallingConvention.PHI_CALL.equals(procedure.getCallingConvention()))
return super.visitReturn(orig);
// Add self-assignments for all variables modified in the procedure
Set<VariableRef> modifiedVars = program.getProcedureModifiedVars().getModifiedVars(procedure.getRef());
for(VariableRef modifiedVar : modifiedVars) {
if(getScope().getVariable(modifiedVar).isKindLoadStore())
continue;
addStatementToCurrentBlock(new StatementAssignment(modifiedVar, modifiedVar, false, orig.getSource(), Comment.NO_COMMENTS));
}
return super.visitReturn(orig);
}
}

2
src/test/ref/address-of-2.asm
View File

@ -49,6 +49,7 @@ main: {
lda.z ptr
sta SCREEN2+3
// setv(4)
// Set value directly in a call
jsr setv
// SCREEN1[idx] = val
lda.z val
@ -57,6 +58,7 @@ main: {
lda.z ptr
sta SCREEN2+4
// setp(ptr, 5)
// Set value through pointer in a call
jsr setp
// SCREEN1[idx] = val
lda.z val

6
src/test/ref/address-of-2.log
View File

@ -372,6 +372,7 @@ main: {
lda.z ptr
sta SCREEN2+3
// [15] call setv
// Set value directly in a call
jsr setv
jmp __b1
// main::@1
@ -383,6 +384,7 @@ main: {
lda.z ptr
sta SCREEN2+4
// [18] call setp
// Set value through pointer in a call
jsr setp
jmp __b2
// main::@2
@ -528,6 +530,7 @@ main: {
lda.z ptr
sta SCREEN2+3
// [15] call setv
// Set value directly in a call
jsr setv
jmp __b1
// main::@1
@ -539,6 +542,7 @@ main: {
lda.z ptr
sta SCREEN2+4
// [18] call setp
// Set value through pointer in a call
jsr setp
jmp __b2
// main::@2
@ -710,6 +714,7 @@ main: {
sta SCREEN2+3
// setv(4)
// [15] call setv
// Set value directly in a call
jsr setv
// main::@1
// SCREEN1[idx] = val
@ -722,6 +727,7 @@ main: {
sta SCREEN2+4
// setp(ptr, 5)
// [18] call setp
// Set value through pointer in a call
jsr setp
// main::@2
// SCREEN1[idx] = val

11
src/test/ref/assignment-compound.asm
View File

@ -9,56 +9,67 @@
.label screen2 = screen1+$28
main: {
// test(i++, a)
//3
ldx #0
lda #3
sta.z test.a
jsr test
// test(i++, a)
//4
ldx #1
lda #3+1
sta.z test.a
jsr test
// test(i++, a)
//3
ldx #2
lda #3+1-1
sta.z test.a
jsr test
// test(i++, a)
//18
ldx #3
lda #(3+1-1)*6
sta.z test.a
jsr test
// test(i++, a)
//9
ldx #4
lda #(3+1-1)*6/2
sta.z test.a
jsr test
// test(i++, a)
//1
ldx #5
lda #(3+1-1)*6/2&2-1
sta.z test.a
jsr test
// test(i++, a)
//4
ldx #6
lda #((3+1-1)*6/2&2-1)<<2
sta.z test.a
jsr test
// test(i++, a)
//2
ldx #7
lda #((3+1-1)*6/2&2-1)<<2>>1
sta.z test.a
jsr test
// test(i++, a)
//4
ldx #8
lda #((3+1-1)*6/2&2-1)<<2>>1^6
sta.z test.a
jsr test
// test(i++, a)
//5
ldx #9
lda #((3+1-1)*6/2&2-1)<<2>>1^6|1
sta.z test.a
jsr test
// test(i++, a)
//1
ldx #$a
lda #(((3+1-1)*6/2&2-1)<<2>>1^6|1)&1
sta.z test.a

53
src/test/ref/assignment-compound.log
View File

@ -732,6 +732,7 @@ __bend:
// main
main: {
// [5] call test
//3
// [27] phi from main to test [phi:main->test]
test_from_main:
// [27] phi (byte) test::i#11 = (byte) 0 [phi:main->test#0] -- vbuz1=vbuc1
@ -747,6 +748,7 @@ main: {
// main::@1
__b1:
// [7] call test
//4
// [27] phi from main::@1 to test [phi:main::@1->test]
test_from___b1:
// [27] phi (byte) test::i#11 = (byte) 1 [phi:main::@1->test#0] -- vbuz1=vbuc1
@ -762,6 +764,7 @@ main: {
// main::@2
__b2:
// [9] call test
//3
// [27] phi from main::@2 to test [phi:main::@2->test]
test_from___b2:
// [27] phi (byte) test::i#11 = (byte) 2 [phi:main::@2->test#0] -- vbuz1=vbuc1
@ -777,6 +780,7 @@ main: {
// main::@3
__b3:
// [11] call test
//18
// [27] phi from main::@3 to test [phi:main::@3->test]
test_from___b3:
// [27] phi (byte) test::i#11 = (byte) 3 [phi:main::@3->test#0] -- vbuz1=vbuc1
@ -792,6 +796,7 @@ main: {
// main::@4
__b4:
// [13] call test
//9
// [27] phi from main::@4 to test [phi:main::@4->test]
test_from___b4:
// [27] phi (byte) test::i#11 = (byte) 4 [phi:main::@4->test#0] -- vbuz1=vbuc1
@ -807,6 +812,7 @@ main: {
// main::@5
__b5:
// [15] call test
//1
// [27] phi from main::@5 to test [phi:main::@5->test]
test_from___b5:
// [27] phi (byte) test::i#11 = (byte) 5 [phi:main::@5->test#0] -- vbuz1=vbuc1
@ -822,6 +828,7 @@ main: {
// main::@6
__b6:
// [17] call test
//4
// [27] phi from main::@6 to test [phi:main::@6->test]
test_from___b6:
// [27] phi (byte) test::i#11 = (byte) 6 [phi:main::@6->test#0] -- vbuz1=vbuc1
@ -837,6 +844,7 @@ main: {
// main::@7
__b7:
// [19] call test
//2
// [27] phi from main::@7 to test [phi:main::@7->test]
test_from___b7:
// [27] phi (byte) test::i#11 = (byte) 7 [phi:main::@7->test#0] -- vbuz1=vbuc1
@ -852,6 +860,7 @@ main: {
// main::@8
__b8:
// [21] call test
//4
// [27] phi from main::@8 to test [phi:main::@8->test]
test_from___b8:
// [27] phi (byte) test::i#11 = (byte) 8 [phi:main::@8->test#0] -- vbuz1=vbuc1
@ -867,6 +876,7 @@ main: {
// main::@9
__b9:
// [23] call test
//5
// [27] phi from main::@9 to test [phi:main::@9->test]
test_from___b9:
// [27] phi (byte) test::i#11 = (byte) 9 [phi:main::@9->test#0] -- vbuz1=vbuc1
@ -882,6 +892,7 @@ main: {
// main::@10
__b10:
// [25] call test
//1
// [27] phi from main::@10 to test [phi:main::@10->test]
test_from___b10:
// [27] phi (byte) test::i#11 = (byte) $a [phi:main::@10->test#0] -- vbuz1=vbuc1
@ -996,6 +1007,7 @@ __bend:
// main
main: {
// [5] call test
//3
// [27] phi from main to test [phi:main->test]
test_from_main:
// [27] phi (byte) test::i#11 = (byte) 0 [phi:main->test#0] -- vbuxx=vbuc1
@ -1010,6 +1022,7 @@ main: {
// main::@1
__b1:
// [7] call test
//4
// [27] phi from main::@1 to test [phi:main::@1->test]
test_from___b1:
// [27] phi (byte) test::i#11 = (byte) 1 [phi:main::@1->test#0] -- vbuxx=vbuc1
@ -1024,6 +1037,7 @@ main: {
// main::@2
__b2:
// [9] call test
//3
// [27] phi from main::@2 to test [phi:main::@2->test]
test_from___b2:
// [27] phi (byte) test::i#11 = (byte) 2 [phi:main::@2->test#0] -- vbuxx=vbuc1
@ -1038,6 +1052,7 @@ main: {
// main::@3
__b3:
// [11] call test
//18
// [27] phi from main::@3 to test [phi:main::@3->test]
test_from___b3:
// [27] phi (byte) test::i#11 = (byte) 3 [phi:main::@3->test#0] -- vbuxx=vbuc1
@ -1052,6 +1067,7 @@ main: {
// main::@4
__b4:
// [13] call test
//9
// [27] phi from main::@4 to test [phi:main::@4->test]
test_from___b4:
// [27] phi (byte) test::i#11 = (byte) 4 [phi:main::@4->test#0] -- vbuxx=vbuc1
@ -1066,6 +1082,7 @@ main: {
// main::@5
__b5:
// [15] call test
//1
// [27] phi from main::@5 to test [phi:main::@5->test]
test_from___b5:
// [27] phi (byte) test::i#11 = (byte) 5 [phi:main::@5->test#0] -- vbuxx=vbuc1
@ -1080,6 +1097,7 @@ main: {
// main::@6
__b6:
// [17] call test
//4
// [27] phi from main::@6 to test [phi:main::@6->test]
test_from___b6:
// [27] phi (byte) test::i#11 = (byte) 6 [phi:main::@6->test#0] -- vbuxx=vbuc1
@ -1094,6 +1112,7 @@ main: {
// main::@7
__b7:
// [19] call test
//2
// [27] phi from main::@7 to test [phi:main::@7->test]
test_from___b7:
// [27] phi (byte) test::i#11 = (byte) 7 [phi:main::@7->test#0] -- vbuxx=vbuc1
@ -1108,6 +1127,7 @@ main: {
// main::@8
__b8:
// [21] call test
//4
// [27] phi from main::@8 to test [phi:main::@8->test]
test_from___b8:
// [27] phi (byte) test::i#11 = (byte) 8 [phi:main::@8->test#0] -- vbuxx=vbuc1
@ -1122,6 +1142,7 @@ main: {
// main::@9
__b9:
// [23] call test
//5
// [27] phi from main::@9 to test [phi:main::@9->test]
test_from___b9:
// [27] phi (byte) test::i#11 = (byte) 9 [phi:main::@9->test#0] -- vbuxx=vbuc1
@ -1136,6 +1157,7 @@ main: {
// main::@10
__b10:
// [25] call test
//1
// [27] phi from main::@10 to test [phi:main::@10->test]
test_from___b10:
// [27] phi (byte) test::i#11 = (byte) $a [phi:main::@10->test#0] -- vbuxx=vbuc1
@ -1207,38 +1229,38 @@ Removing instruction __b1:
Removing instruction main_from___b1:
Removing instruction __bend_from___b1:
Removing instruction __b1_from_main:
Removing instruction test_from___b1:
Removing instruction __b2_from___b1:
Removing instruction test_from___b2:
Removing instruction __b3_from___b2:
Removing instruction test_from___b3:
Removing instruction __b4_from___b3:
Removing instruction test_from___b4:
Removing instruction __b5_from___b4:
Removing instruction test_from___b5:
Removing instruction __b6_from___b5:
Removing instruction test_from___b6:
Removing instruction __b7_from___b6:
Removing instruction test_from___b7:
Removing instruction __b8_from___b7:
Removing instruction test_from___b8:
Removing instruction __b9_from___b8:
Removing instruction test_from___b9:
Removing instruction __b10_from___b9:
Removing instruction test_from___b10:
Succesful ASM optimization Pass5RedundantLabelElimination
Removing instruction __bend:
Removing instruction test_from_main:
Removing instruction __b1:
Removing instruction test_from___b1:
Removing instruction __b2:
Removing instruction test_from___b2:
Removing instruction __b3:
Removing instruction test_from___b3:
Removing instruction __b4:
Removing instruction test_from___b4:
Removing instruction __b5:
Removing instruction test_from___b5:
Removing instruction __b6:
Removing instruction test_from___b6:
Removing instruction __b7:
Removing instruction test_from___b7:
Removing instruction __b8:
Removing instruction test_from___b8:
Removing instruction __b9:
Removing instruction test_from___b9:
Removing instruction __b10:
Removing instruction test_from___b10:
Removing instruction __breturn:
Removing instruction __b2:
Succesful ASM optimization Pass5UnusedLabelElimination
@ -1315,6 +1337,7 @@ Score: 202
main: {
// test(i++, a)
// [5] call test
//3
// [27] phi from main to test [phi:main->test]
// [27] phi (byte) test::i#11 = (byte) 0 [phi:main->test#0] -- vbuxx=vbuc1
ldx #0
@ -1326,6 +1349,7 @@ main: {
// main::@1
// test(i++, a)
// [7] call test
//4
// [27] phi from main::@1 to test [phi:main::@1->test]
// [27] phi (byte) test::i#11 = (byte) 1 [phi:main::@1->test#0] -- vbuxx=vbuc1
ldx #1
@ -1337,6 +1361,7 @@ main: {
// main::@2
// test(i++, a)
// [9] call test
//3
// [27] phi from main::@2 to test [phi:main::@2->test]
// [27] phi (byte) test::i#11 = (byte) 2 [phi:main::@2->test#0] -- vbuxx=vbuc1
ldx #2
@ -1348,6 +1373,7 @@ main: {
// main::@3
// test(i++, a)
// [11] call test
//18
// [27] phi from main::@3 to test [phi:main::@3->test]
// [27] phi (byte) test::i#11 = (byte) 3 [phi:main::@3->test#0] -- vbuxx=vbuc1
ldx #3
@ -1359,6 +1385,7 @@ main: {
// main::@4
// test(i++, a)
// [13] call test
//9
// [27] phi from main::@4 to test [phi:main::@4->test]
// [27] phi (byte) test::i#11 = (byte) 4 [phi:main::@4->test#0] -- vbuxx=vbuc1
ldx #4
@ -1370,6 +1397,7 @@ main: {
// main::@5
// test(i++, a)
// [15] call test
//1
// [27] phi from main::@5 to test [phi:main::@5->test]
// [27] phi (byte) test::i#11 = (byte) 5 [phi:main::@5->test#0] -- vbuxx=vbuc1
ldx #5
@ -1381,6 +1409,7 @@ main: {
// main::@6
// test(i++, a)
// [17] call test
//4
// [27] phi from main::@6 to test [phi:main::@6->test]
// [27] phi (byte) test::i#11 = (byte) 6 [phi:main::@6->test#0] -- vbuxx=vbuc1
ldx #6
@ -1392,6 +1421,7 @@ main: {
// main::@7
// test(i++, a)
// [19] call test
//2
// [27] phi from main::@7 to test [phi:main::@7->test]
// [27] phi (byte) test::i#11 = (byte) 7 [phi:main::@7->test#0] -- vbuxx=vbuc1
ldx #7
@ -1403,6 +1433,7 @@ main: {
// main::@8
// test(i++, a)
// [21] call test
//4
// [27] phi from main::@8 to test [phi:main::@8->test]
// [27] phi (byte) test::i#11 = (byte) 8 [phi:main::@8->test#0] -- vbuxx=vbuc1
ldx #8
@ -1414,6 +1445,7 @@ main: {
// main::@9
// test(i++, a)
// [23] call test
//5
// [27] phi from main::@9 to test [phi:main::@9->test]
// [27] phi (byte) test::i#11 = (byte) 9 [phi:main::@9->test#0] -- vbuxx=vbuc1
ldx #9
@ -1425,6 +1457,7 @@ main: {
// main::@10
// test(i++, a)
// [25] call test
//1
// [27] phi from main::@10 to test [phi:main::@10->test]
// [27] phi (byte) test::i#11 = (byte) $a [phi:main::@10->test#0] -- vbuxx=vbuc1
ldx #$a

1
src/test/ref/c-types.asm
View File

@ -197,6 +197,7 @@ print_byte: {
// print_char(print_hextab[b>>4])
tay
lda print_hextab,y
// Table of hexadecimal digits
jsr print_char
// b&$f
lda #$f

3
src/test/ref/c-types.log
View File

@ -2660,6 +2660,7 @@ print_byte: {
lda print_hextab,y
sta.z print_char.ch
// [65] call print_char
// Table of hexadecimal digits
// [46] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [46] phi (byte*) print_char_cursor#94 = (byte*) print_char_cursor#149 [phi:print_byte->print_char#0] -- register_copy
@ -3713,6 +3714,7 @@ print_byte: {
tay
lda print_hextab,y
// [65] call print_char
// Table of hexadecimal digits
// [46] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [46] phi (byte*) print_char_cursor#94 = (byte*) print_char_cursor#149 [phi:print_byte->print_char#0] -- register_copy
@ -4993,6 +4995,7 @@ print_byte: {
tay
lda print_hextab,y
// [65] call print_char
// Table of hexadecimal digits
// [46] phi from print_byte to print_char [phi:print_byte->print_char]
// [46] phi (byte*) print_char_cursor#94 = (byte*) print_char_cursor#149 [phi:print_byte->print_char#0] -- register_copy
// [46] phi (byte) print_char::ch#16 = (byte) print_char::ch#6 [phi:print_byte->print_char#1] -- register_copy

1
src/test/ref/c64dtv-8bppcharstretch.asm
View File

@ -339,6 +339,7 @@ gfx_init_plane_charset8: {
lda #PROCPORT_RAM_IO
sta PROCPORT
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// Reset CPU BANK segment to $4000
lda #$4000/$4000
jsr dtvSetCpuBankSegment1
// }

3
src/test/ref/c64dtv-8bppcharstretch.log
View File

@ -1653,6 +1653,7 @@ gfx_init_plane_charset8: {
lda #PROCPORT_RAM_IO
sta PROCPORT
// [72] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [74] phi from gfx_init_plane_charset8::@8 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_charset8::@8->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b8:
// [74] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#2 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_charset8::@8->dtvSetCpuBankSegment1#0] -- vbuz1=vbuc1
@ -2410,6 +2411,7 @@ gfx_init_plane_charset8: {
lda #PROCPORT_RAM_IO
sta PROCPORT
// [72] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [74] phi from gfx_init_plane_charset8::@8 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_charset8::@8->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b8:
// [74] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#2 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_charset8::@8->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
@ -3245,6 +3247,7 @@ gfx_init_plane_charset8: {
sta PROCPORT
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// [72] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [74] phi from gfx_init_plane_charset8::@8 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_charset8::@8->dtvSetCpuBankSegment1]
// [74] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#2 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_charset8::@8->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
lda #$4000/$4000

1
src/test/ref/c64dtv-8bppchunkystretch.asm
View File

@ -294,6 +294,7 @@ gfx_init_chunky: {
cmp.z y
bne __b1
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// Reset CPU BANK segment to $4000
lda #$4000/$4000
jsr dtvSetCpuBankSegment1
// }

5
src/test/ref/c64dtv-8bppchunkystretch.log
View File

@ -1167,6 +1167,7 @@ gfx_init_chunky: {
// gfx_init_chunky::@6
__b6:
// [56] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [58] phi from gfx_init_chunky::@6 to dtvSetCpuBankSegment1 [phi:gfx_init_chunky::@6->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b6:
// [58] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#3 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_chunky::@6->dtvSetCpuBankSegment1#0] -- vbuz1=vbuc1
@ -1699,6 +1700,7 @@ gfx_init_chunky: {
// gfx_init_chunky::@6
__b6:
// [56] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [58] phi from gfx_init_chunky::@6 to dtvSetCpuBankSegment1 [phi:gfx_init_chunky::@6->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b6:
// [58] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#3 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_chunky::@6->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
@ -1769,7 +1771,6 @@ Removing instruction __b2_from___b1:
Removing instruction __b2_from___b3:
Removing instruction __b3_from___b2:
Removing instruction __b6_from___b5:
Removing instruction dtvSetCpuBankSegment1_from___b6:
Succesful ASM optimization Pass5RedundantLabelElimination
Removing instruction __bend:
Removing instruction gfx_init_chunky_from_main:
@ -1784,6 +1785,7 @@ Removing instruction __b7:
Removing instruction __b3_from___b7:
Removing instruction __b5:
Removing instruction __b6:
Removing instruction dtvSetCpuBankSegment1_from___b6:
Removing instruction __breturn:
Removing instruction __breturn:
Succesful ASM optimization Pass5UnusedLabelElimination
@ -2301,6 +2303,7 @@ gfx_init_chunky: {
// gfx_init_chunky::@6
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// [56] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [58] phi from gfx_init_chunky::@6 to dtvSetCpuBankSegment1 [phi:gfx_init_chunky::@6->dtvSetCpuBankSegment1]
// [58] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#3 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_chunky::@6->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
lda #$4000/$4000

15
src/test/ref/c64dtv-gfxexplorer.asm
View File

@ -200,8 +200,10 @@ main: {
sta.z form_cursor_count
__b2:
// form_mode()
// Let the user change the GFX configuration
jsr form_mode
// gfx_mode()
// Show the GFX configuration
jsr gfx_mode
jmp __b2
}
@ -1118,6 +1120,7 @@ get_plane: {
form_mode: {
.label preset_current = $10
// print_set_screen(COLS)
// Form Colors
lda #<COLS
sta.z print_set_screen.screen
lda #>COLS
@ -1132,6 +1135,7 @@ form_mode: {
sta.z print_str_lines.str+1
jsr print_str_lines
// print_set_screen(FORM_SCREEN)
// Form Text
lda #<FORM_SCREEN
sta.z print_set_screen.screen
lda #>FORM_SCREEN
@ -1146,6 +1150,7 @@ form_mode: {
sta.z print_str_lines.str+1
jsr print_str_lines
// form_set_screen(FORM_SCREEN)
// Form Fields
jsr form_set_screen
// form_render_values()
jsr form_render_values
@ -1236,6 +1241,7 @@ form_mode: {
cmp.z preset_current
beq b1
// apply_preset(*form_preset)
// Preset changed - update field values and render
jsr apply_preset
// preset_current = *form_preset
lda form_fields_val
@ -1352,6 +1358,7 @@ render_preset_name: {
sta.z name+1
__b2:
// print_str_at(name, FORM_SCREEN+40*2+10)
// Render it
jsr print_str_at
// }
rts
@ -1614,6 +1621,7 @@ form_control: {
sta (field),y
__b3:
// keyboard_event_scan()
// Scan the keyboard
jsr keyboard_event_scan
// keyboard_event_get()
jsr keyboard_event_get
@ -2007,6 +2015,7 @@ gfx_init_plane_fill: {
cmp.z by
bne __b1
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// Reset CPU BANK segment to $4000
lda #$4000/$4000
jsr dtvSetCpuBankSegment1
// }
@ -2104,6 +2113,7 @@ gfx_init_plane_horisontal2: {
cmp.z ay
bne __b1
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// Reset CPU BANK segment to $4000
lda #$4000/$4000
jsr dtvSetCpuBankSegment1
// }
@ -2146,6 +2156,7 @@ gfx_init_plane_vertical: {
cmp.z by
bne __b1
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// Reset CPU BANK segment to $4000
lda #$4000/$4000
jsr dtvSetCpuBankSegment1
// }
@ -2194,6 +2205,7 @@ gfx_init_plane_horisontal: {
cmp.z ay
bne __b1
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// Reset CPU BANK segment to $4000
lda #$4000/$4000
jsr dtvSetCpuBankSegment1
// }
@ -2292,6 +2304,7 @@ gfx_init_plane_charset8: {
lda #PROCPORT_RAM_IO
sta PROCPORT
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// Reset CPU BANK segment to $4000
lda #$4000/$4000
jsr dtvSetCpuBankSegment1
// }
@ -2370,6 +2383,7 @@ gfx_init_plane_8bppchunky: {
cmp.z y
bne __b1
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// Reset CPU BANK segment to $4000
lda #$4000/$4000
jsr dtvSetCpuBankSegment1
// }
@ -2380,6 +2394,7 @@ gfx_init_vic_bitmap: {
.const lines_cnt = 9
.label l = $1e
// bitmap_init(VIC_BITMAP)
// Draw some lines on the bitmap
jsr bitmap_init
// bitmap_clear()
jsr bitmap_clear

83
src/test/ref/c64dtv-gfxexplorer.log
View File

@ -13418,6 +13418,7 @@ main: {
// main::@2
__b2:
// [13] call form_mode
// Let the user change the GFX configuration
// [252] phi from main::@2 to form_mode [phi:main::@2->form_mode]
form_mode_from___b2:
jsr form_mode
@ -13427,6 +13428,7 @@ main: {
// main::@4
__b4:
// [15] call gfx_mode
// Show the GFX configuration
jsr gfx_mode
// [11] phi from main::@4 to main::@1 [phi:main::@4->main::@1]
__b1_from___b4:
@ -15112,6 +15114,7 @@ form_mode: {
.label i = $1e
.label preset_current = $21
// [253] call print_set_screen
// Form Colors
// [447] phi from form_mode to print_set_screen [phi:form_mode->print_set_screen]
print_set_screen_from_form_mode:
// [447] phi (byte*) print_set_screen::screen#2 = (const byte*) COLS [phi:form_mode->print_set_screen#0] -- pbuz1=pbuc1
@ -15147,6 +15150,7 @@ form_mode: {
// form_mode::@10
__b10:
// [259] call print_set_screen
// Form Text
// [447] phi from form_mode::@10 to print_set_screen [phi:form_mode::@10->print_set_screen]
print_set_screen_from___b10:
// [447] phi (byte*) print_set_screen::screen#2 = (const byte*) FORM_SCREEN [phi:form_mode::@10->print_set_screen#0] -- pbuz1=pbuc1
@ -15182,6 +15186,7 @@ form_mode: {
// form_mode::@13
__b13:
// [265] call form_set_screen
// Form Fields
// [405] phi from form_mode::@13 to form_set_screen [phi:form_mode::@13->form_set_screen]
form_set_screen_from___b13:
jsr form_set_screen
@ -15346,6 +15351,7 @@ form_mode: {
lda form_fields_val
sta.z apply_preset.idx
// [299] call apply_preset
// Preset changed - update field values and render
jsr apply_preset
jmp __b18
// form_mode::@18
@ -15553,6 +15559,7 @@ render_preset_name: {
lda.z name+1
sta.z print_str_at.str+1
// [319] call print_str_at
// Render it
// [321] phi from render_preset_name::@2 to print_str_at [phi:render_preset_name::@2->print_str_at]
print_str_at_from___b2:
jsr print_str_at
@ -16015,6 +16022,7 @@ form_control: {
// form_control::@3
__b3:
// [372] call keyboard_event_scan
// Scan the keyboard
// [157] phi from form_control::@3 to keyboard_event_scan [phi:form_control::@3->keyboard_event_scan]
keyboard_event_scan_from___b3:
// [157] phi (byte) keyboard_events_size#97 = (byte) keyboard_events_size#47 [phi:form_control::@3->keyboard_event_scan#0] -- register_copy
@ -16795,6 +16803,7 @@ gfx_init_plane_fill: {
// gfx_init_plane_fill::@4
__b4:
// [502] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_fill::@4 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_fill::@4->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b4:
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_fill::@4->dtvSetCpuBankSegment1#0] -- vbuz1=vbuc1
@ -16966,6 +16975,7 @@ gfx_init_plane_horisontal2: {
// gfx_init_plane_horisontal2::@4
__b4:
// [527] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_horisontal2::@4 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_horisontal2::@4->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b4:
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_horisontal2::@4->dtvSetCpuBankSegment1#0] -- vbuz1=vbuc1
@ -17055,6 +17065,7 @@ gfx_init_plane_vertical: {
// gfx_init_plane_vertical::@4
__b4:
// [540] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_vertical::@4 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_vertical::@4->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b4:
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_vertical::@4->dtvSetCpuBankSegment1#0] -- vbuz1=vbuc1
@ -17162,6 +17173,7 @@ gfx_init_plane_horisontal: {
// gfx_init_plane_horisontal::@7
__b7:
// [556] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_horisontal::@7 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_horisontal::@7->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b7:
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_horisontal::@7->dtvSetCpuBankSegment1#0] -- vbuz1=vbuc1
@ -17356,6 +17368,7 @@ gfx_init_plane_charset8: {
lda #PROCPORT_RAM_IO
sta PROCPORT
// [583] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_charset8::@8 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_charset8::@8->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b8:
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_charset8::@8->dtvSetCpuBankSegment1#0] -- vbuz1=vbuc1
@ -17511,6 +17524,7 @@ gfx_init_plane_8bppchunky: {
// gfx_init_plane_8bppchunky::@6
__b6:
// [603] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_8bppchunky::@6 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_8bppchunky::@6->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b6:
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_8bppchunky::@6->dtvSetCpuBankSegment1#0] -- vbuz1=vbuc1
@ -17529,6 +17543,7 @@ gfx_init_vic_bitmap: {
.const lines_cnt = 9
.label l = $60
// [606] call bitmap_init
// Draw some lines on the bitmap
// [758] phi from gfx_init_vic_bitmap to bitmap_init [phi:gfx_init_vic_bitmap->bitmap_init]
bitmap_init_from_gfx_init_vic_bitmap:
jsr bitmap_init
@ -20708,6 +20723,7 @@ main: {
// main::@2
__b2:
// [13] call form_mode
// Let the user change the GFX configuration
// [252] phi from main::@2 to form_mode [phi:main::@2->form_mode]
form_mode_from___b2:
jsr form_mode
@ -20717,6 +20733,7 @@ main: {
// main::@4
__b4:
// [15] call gfx_mode
// Show the GFX configuration
jsr gfx_mode
// [11] phi from main::@4 to main::@1 [phi:main::@4->main::@1]
__b1_from___b4:
@ -22118,6 +22135,7 @@ get_plane: {
form_mode: {
.label preset_current = $10
// [253] call print_set_screen
// Form Colors
// [447] phi from form_mode to print_set_screen [phi:form_mode->print_set_screen]
print_set_screen_from_form_mode:
// [447] phi (byte*) print_set_screen::screen#2 = (const byte*) COLS [phi:form_mode->print_set_screen#0] -- pbuz1=pbuc1
@ -22153,6 +22171,7 @@ form_mode: {
// form_mode::@10
__b10:
// [259] call print_set_screen
// Form Text
// [447] phi from form_mode::@10 to print_set_screen [phi:form_mode::@10->print_set_screen]
print_set_screen_from___b10:
// [447] phi (byte*) print_set_screen::screen#2 = (const byte*) FORM_SCREEN [phi:form_mode::@10->print_set_screen#0] -- pbuz1=pbuc1
@ -22188,6 +22207,7 @@ form_mode: {
// form_mode::@13
__b13:
// [265] call form_set_screen
// Form Fields
// [405] phi from form_mode::@13 to form_set_screen [phi:form_mode::@13->form_set_screen]
form_set_screen_from___b13:
jsr form_set_screen
@ -22343,6 +22363,7 @@ form_mode: {
// [298] (byte) apply_preset::idx#0 ← *((const byte*) form_fields_val) -- vbuaa=_deref_pbuc1
lda form_fields_val
// [299] call apply_preset
// Preset changed - update field values and render
jsr apply_preset
jmp __b18
// form_mode::@18
@ -22533,6 +22554,7 @@ render_preset_name: {
__b2:
// [318] (byte*) print_str_at::str#1 ← (byte*) render_preset_name::name#13
// [319] call print_str_at
// Render it
// [321] phi from render_preset_name::@2 to print_str_at [phi:render_preset_name::@2->print_str_at]
print_str_at_from___b2:
jsr print_str_at
@ -22945,6 +22967,7 @@ form_control: {
// form_control::@3
__b3:
// [372] call keyboard_event_scan
// Scan the keyboard
// [157] phi from form_control::@3 to keyboard_event_scan [phi:form_control::@3->keyboard_event_scan]
keyboard_event_scan_from___b3:
// [157] phi (byte) keyboard_events_size#97 = (byte) keyboard_events_size#47 [phi:form_control::@3->keyboard_event_scan#0] -- register_copy
@ -23675,6 +23698,7 @@ gfx_init_plane_fill: {
// gfx_init_plane_fill::@4
__b4:
// [502] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_fill::@4 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_fill::@4->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b4:
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_fill::@4->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
@ -23834,6 +23858,7 @@ gfx_init_plane_horisontal2: {
// gfx_init_plane_horisontal2::@4
__b4:
// [527] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_horisontal2::@4 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_horisontal2::@4->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b4:
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_horisontal2::@4->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
@ -23918,6 +23943,7 @@ gfx_init_plane_vertical: {
// gfx_init_plane_vertical::@4
__b4:
// [540] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_vertical::@4 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_vertical::@4->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b4:
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_vertical::@4->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
@ -24017,6 +24043,7 @@ gfx_init_plane_horisontal: {
// gfx_init_plane_horisontal::@7
__b7:
// [556] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_horisontal::@7 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_horisontal::@7->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b7:
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_horisontal::@7->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
@ -24199,6 +24226,7 @@ gfx_init_plane_charset8: {
lda #PROCPORT_RAM_IO
sta PROCPORT
// [583] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_charset8::@8 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_charset8::@8->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b8:
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_charset8::@8->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
@ -24345,6 +24373,7 @@ gfx_init_plane_8bppchunky: {
// gfx_init_plane_8bppchunky::@6
__b6:
// [603] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_8bppchunky::@6 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_8bppchunky::@6->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b6:
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_8bppchunky::@6->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
@ -24362,6 +24391,7 @@ gfx_init_vic_bitmap: {
.const lines_cnt = 9
.label l = $1e
// [606] call bitmap_init
// Draw some lines on the bitmap
// [758] phi from gfx_init_vic_bitmap to bitmap_init [phi:gfx_init_vic_bitmap->bitmap_init]
bitmap_init_from_gfx_init_vic_bitmap:
jsr bitmap_init
@ -26174,7 +26204,6 @@ Removing instruction __b3_from_main:
Removing instruction gfx_init_from___b3:
Removing instruction __b1:
Removing instruction __b2_from___b1:
Removing instruction form_mode_from___b2:
Removing instruction __b4_from___b2:
Removing instruction __b10_from_gfx_mode:
Removing instruction __b1_from___b10:
@ -26235,12 +26264,10 @@ Removing instruction __b8_from_form_mode:
Removing instruction __b9_from___b8:
Removing instruction print_str_lines_from___b9:
Removing instruction __b10_from___b9:
Removing instruction print_set_screen_from___b10:
Removing instruction __b11_from___b10:
Removing instruction __b12_from___b11:
Removing instruction print_str_lines_from___b12:
Removing instruction __b13_from___b12:
Removing instruction form_set_screen_from___b13:
Removing instruction __b14_from___b13:
Removing instruction form_render_values_from___b14:
Removing instruction __b1_from___b1:
@ -26251,7 +26278,6 @@ Removing instruction __b5_from___b4:
Removing instruction __b2_from_render_preset_name:
Removing instruction __b1_from___b12:
Removing instruction __b2_from___b1:
Removing instruction print_str_at_from___b2:
Removing instruction form_field_ptr_from___b2:
Removing instruction __b2_from_apply_preset:
Removing instruction __b1_from___b12:
@ -26262,7 +26288,6 @@ Removing instruction __b21:
Removing instruction __b1_from___b21:
Removing instruction __b3_from___b2:
Removing instruction __b3_from___b7:
Removing instruction keyboard_event_scan_from___b3:
Removing instruction __b19_from___b3:
Removing instruction __b22_from___b9:
Removing instruction __b22:
@ -26316,24 +26341,20 @@ Removing instruction __b1_from___b3:
Removing instruction __b2_from___b1:
Removing instruction __b2_from___b2:
Removing instruction __b4_from___b3:
Removing instruction dtvSetCpuBankSegment1_from___b4:
Removing instruction __b1_from___b3:
Removing instruction __b2_from___b1:
Removing instruction __b2_from___b2:
Removing instruction __b4_from___b3:
Removing instruction dtvSetCpuBankSegment1_from___b4:
Removing instruction __b1_from___b3:
Removing instruction __b2_from___b1:
Removing instruction __b2_from___b2:
Removing instruction __b4_from___b3:
Removing instruction dtvSetCpuBankSegment1_from___b4:
Removing instruction __b1_from___b6:
Removing instruction __b2_from___b1:
Removing instruction __b2_from___b4:
Removing instruction __b4_from___b3:
Removing instruction __b4_from___b5:
Removing instruction __b7_from___b6:
Removing instruction dtvSetCpuBankSegment1_from___b7:
Removing instruction __b1_from___b7:
Removing instruction __b2_from___b1:
Removing instruction __b2_from___b6:
@ -26343,7 +26364,6 @@ Removing instruction __b2_from___b1:
Removing instruction __b2_from___b3:
Removing instruction __b3_from___b2:
Removing instruction __b6_from___b5:
Removing instruction dtvSetCpuBankSegment1_from___b6:
Removing instruction __b3_from_gfx_init_vic_bitmap:
Removing instruction __b1_from_bitmap_line_xdyi:
Removing instruction __b1_from___b2:
@ -26393,6 +26413,7 @@ Succesful ASM optimization Pass5RedundantLabelElimination
Removing instruction __bend:
Removing instruction __b3:
Removing instruction __b1_from___b3:
Removing instruction form_mode_from___b2:
Removing instruction __b4:
Removing instruction __b1_from___b4:
Removing instruction __b10:
@ -26464,9 +26485,11 @@ Removing instruction print_set_screen_from_form_mode:
Removing instruction __b8:
Removing instruction __b9:
Removing instruction __b10:
Removing instruction print_set_screen_from___b10:
Removing instruction __b11:
Removing instruction __b12:
Removing instruction __b13:
Removing instruction form_set_screen_from___b13:
Removing instruction __b14:
Removing instruction __b15:
Removing instruction render_preset_name_from___b15:
@ -26491,6 +26514,7 @@ Removing instruction __b9:
Removing instruction __b10:
Removing instruction __b11:
Removing instruction __b12:
Removing instruction print_str_at_from___b2:
Removing instruction __breturn:
Removing instruction __b1_from_print_str_at:
Removing instruction __breturn:
@ -26516,6 +26540,7 @@ Removing instruction form_field_ptr_from_form_control:
Removing instruction __b18:
Removing instruction __b1_from___b18:
Removing instruction __b7:
Removing instruction keyboard_event_scan_from___b3:
Removing instruction __b19:
Removing instruction __b20:
Removing instruction __b8:
@ -26562,6 +26587,7 @@ Removing instruction __b5:
Removing instruction __b1_from___b5:
Removing instruction __b3:
Removing instruction __b4:
Removing instruction dtvSetCpuBankSegment1_from___b4:
Removing instruction __breturn:
Removing instruction __breturn:
Removing instruction gfx_init_plane_fill_from_gfx_init_plane_blank:
@ -26572,17 +26598,20 @@ Removing instruction dtvSetCpuBankSegment1_from_gfx_init_plane_horisontal2:
Removing instruction __b1_from_gfx_init_plane_horisontal2:
Removing instruction __b3:
Removing instruction __b4:
Removing instruction dtvSetCpuBankSegment1_from___b4:
Removing instruction __breturn:
Removing instruction dtvSetCpuBankSegment1_from_gfx_init_plane_vertical:
Removing instruction __b1_from_gfx_init_plane_vertical:
Removing instruction __b3:
Removing instruction __b4:
Removing instruction dtvSetCpuBankSegment1_from___b4:
Removing instruction __breturn:
Removing instruction dtvSetCpuBankSegment1_from_gfx_init_plane_horisontal:
Removing instruction __b1_from_gfx_init_plane_horisontal:
Removing instruction __b5:
Removing instruction __b6:
Removing instruction __b7:
Removing instruction dtvSetCpuBankSegment1_from___b7:
Removing instruction __breturn:
Removing instruction dtvSetCpuBankSegment1_from_gfx_init_plane_charset8:
Removing instruction __b9:
@ -26603,6 +26632,7 @@ Removing instruction __b7:
Removing instruction __b3_from___b7:
Removing instruction __b5:
Removing instruction __b6:
Removing instruction dtvSetCpuBankSegment1_from___b6:
Removing instruction __breturn:
Removing instruction bitmap_init_from_gfx_init_vic_bitmap:
Removing instruction __b3:
@ -26818,15 +26848,15 @@ Removing unreachable instruction jmp __b9
Removing unreachable instruction jmp __b14
Removing unreachable instruction jmp b1
Succesful ASM optimization Pass5UnreachableCodeElimination
Fixing long branch [745] beq b6 to bne
Fixing long branch [749] beq b7 to bne
Fixing long branch [753] beq b8 to bne
Fixing long branch [757] beq b9 to bne
Fixing long branch [761] beq b10 to bne
Fixing long branch [765] beq b11 to bne
Fixing long branch [769] beq b12 to bne
Fixing long branch [773] beq b13 to bne
Fixing long branch [1343] bmi __b2 to bpl
Fixing long branch [747] beq b6 to bne
Fixing long branch [751] beq b7 to bne
Fixing long branch [755] beq b8 to bne
Fixing long branch [759] beq b9 to bne
Fixing long branch [763] beq b10 to bne
Fixing long branch [767] beq b11 to bne
Fixing long branch [771] beq b12 to bne
Fixing long branch [775] beq b13 to bne
Fixing long branch [1350] bmi __b2 to bpl
FINAL SYMBOL TABLE
(label) @1
@ -28453,12 +28483,14 @@ main: {
__b2:
// form_mode()
// [13] call form_mode
// Let the user change the GFX configuration
// [252] phi from main::@2 to form_mode [phi:main::@2->form_mode]
jsr form_mode
// [14] phi from main::@2 to main::@4 [phi:main::@2->main::@4]
// main::@4
// gfx_mode()
// [15] call gfx_mode
// Show the GFX configuration
jsr gfx_mode
// [11] phi from main::@4 to main::@1 [phi:main::@4->main::@1]
// [11] phi (byte) form_field_idx#1 = (byte) form_field_idx#18 [phi:main::@4->main::@1#0] -- register_copy
@ -29829,6 +29861,7 @@ form_mode: {
.label preset_current = $10
// print_set_screen(COLS)
// [253] call print_set_screen
// Form Colors
// [447] phi from form_mode to print_set_screen [phi:form_mode->print_set_screen]
// [447] phi (byte*) print_set_screen::screen#2 = (const byte*) COLS [phi:form_mode->print_set_screen#0] -- pbuz1=pbuc1
lda #<COLS
@ -29856,6 +29889,7 @@ form_mode: {
// form_mode::@10
// print_set_screen(FORM_SCREEN)
// [259] call print_set_screen
// Form Text
// [447] phi from form_mode::@10 to print_set_screen [phi:form_mode::@10->print_set_screen]
// [447] phi (byte*) print_set_screen::screen#2 = (const byte*) FORM_SCREEN [phi:form_mode::@10->print_set_screen#0] -- pbuz1=pbuc1
lda #<FORM_SCREEN
@ -29883,6 +29917,7 @@ form_mode: {
// form_mode::@13
// form_set_screen(FORM_SCREEN)
// [265] call form_set_screen
// Form Fields
// [405] phi from form_mode::@13 to form_set_screen [phi:form_mode::@13->form_set_screen]
jsr form_set_screen
// [266] phi from form_mode::@13 to form_mode::@14 [phi:form_mode::@13->form_mode::@14]
@ -30030,6 +30065,7 @@ form_mode: {
// apply_preset(*form_preset)
// [298] (byte) apply_preset::idx#0 ← *((const byte*) form_fields_val) -- vbuaa=_deref_pbuc1
// [299] call apply_preset
// Preset changed - update field values and render
jsr apply_preset
// form_mode::@18
// preset_current = *form_preset
@ -30204,6 +30240,7 @@ render_preset_name: {
// print_str_at(name, FORM_SCREEN+40*2+10)
// [318] (byte*) print_str_at::str#1 ← (byte*) render_preset_name::name#13
// [319] call print_str_at
// Render it
// [321] phi from render_preset_name::@2 to print_str_at [phi:render_preset_name::@2->print_str_at]
jsr print_str_at
// render_preset_name::@return
@ -30590,6 +30627,7 @@ form_control: {
__b3:
// keyboard_event_scan()
// [372] call keyboard_event_scan
// Scan the keyboard
// [157] phi from form_control::@3 to keyboard_event_scan [phi:form_control::@3->keyboard_event_scan]
// [157] phi (byte) keyboard_events_size#97 = (byte) keyboard_events_size#47 [phi:form_control::@3->keyboard_event_scan#0] -- register_copy
jsr keyboard_event_scan
@ -31233,6 +31271,7 @@ gfx_init_plane_fill: {
// gfx_init_plane_fill::@4
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// [502] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_fill::@4 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_fill::@4->dtvSetCpuBankSegment1]
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_fill::@4->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
lda #$4000/$4000
@ -31383,6 +31422,7 @@ gfx_init_plane_horisontal2: {
// gfx_init_plane_horisontal2::@4
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// [527] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_horisontal2::@4 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_horisontal2::@4->dtvSetCpuBankSegment1]
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_horisontal2::@4->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
lda #$4000/$4000
@ -31457,6 +31497,7 @@ gfx_init_plane_vertical: {
// gfx_init_plane_vertical::@4
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// [540] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_vertical::@4 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_vertical::@4->dtvSetCpuBankSegment1]
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_vertical::@4->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
lda #$4000/$4000
@ -31543,6 +31584,7 @@ gfx_init_plane_horisontal: {
// gfx_init_plane_horisontal::@7
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// [556] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_horisontal::@7 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_horisontal::@7->dtvSetCpuBankSegment1]
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_horisontal::@7->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
lda #$4000/$4000
@ -31713,6 +31755,7 @@ gfx_init_plane_charset8: {
sta PROCPORT
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// [583] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_charset8::@8 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_charset8::@8->dtvSetCpuBankSegment1]
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_charset8::@8->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
lda #$4000/$4000
@ -31844,6 +31887,7 @@ gfx_init_plane_8bppchunky: {
// gfx_init_plane_8bppchunky::@6
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// [603] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [504] phi from gfx_init_plane_8bppchunky::@6 to dtvSetCpuBankSegment1 [phi:gfx_init_plane_8bppchunky::@6->dtvSetCpuBankSegment1]
// [504] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#13 = (byte)(number) $4000/(number) $4000 [phi:gfx_init_plane_8bppchunky::@6->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
lda #$4000/$4000
@ -31860,6 +31904,7 @@ gfx_init_vic_bitmap: {
.label l = $1e
// bitmap_init(VIC_BITMAP)
// [606] call bitmap_init
// Draw some lines on the bitmap
// [758] phi from gfx_init_vic_bitmap to bitmap_init [phi:gfx_init_vic_bitmap->bitmap_init]
jsr bitmap_init
// [607] phi from gfx_init_vic_bitmap to gfx_init_vic_bitmap::@3 [phi:gfx_init_vic_bitmap->gfx_init_vic_bitmap::@3]

15
src/test/ref/c64dtv-gfxmodes.asm
View File

@ -205,6 +205,7 @@ menu: {
// *BORDERCOL = 0
sta BORDERCOL
// print_set_screen(SCREEN)
// Display menu Text
jsr print_set_screen
// print_cls()
jsr print_cls
@ -477,9 +478,11 @@ mode_8bppchunkybmm: {
cmp.z y
bne __b3
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// Reset CPU BANK segment to $4000
lda #$4000/$4000
jsr dtvSetCpuBankSegment1
// mode_ctrl()
// Leave control to the user until exit
lda #DTV_HIGHCOLOR|DTV_LINEAR|DTV_CHUNKY|DTV_COLORRAM_OFF
sta.z dtv_control
jsr mode_ctrl
@ -848,6 +851,7 @@ mode_8bpppixelcell: {
lda #PROCPORT_RAM_IO
sta PROCPORT
// mode_ctrl()
// Leave control to the user until exit
lda #DTV_HIGHCOLOR|DTV_LINEAR|DTV_CHUNKY
sta.z dtv_control
jsr mode_ctrl
@ -1032,6 +1036,7 @@ mode_sixsfred: {
cmp.z by
bne __b9
// mode_ctrl()
// Leave control to the user until exit
lda #DTV_HIGHCOLOR|DTV_LINEAR
sta.z dtv_control
jsr mode_ctrl
@ -1238,6 +1243,7 @@ mode_twoplanebitmap: {
cmp.z by
bne __b12
// mode_ctrl()
// Leave control to the user until exit
lda #DTV_HIGHCOLOR|DTV_LINEAR
sta.z dtv_control
jsr mode_ctrl
@ -1442,6 +1448,7 @@ mode_sixsfred2: {
cmp.z by
bne __b9
// mode_ctrl()
// Leave control to the user until exit
lda #DTV_LINEAR
sta.z dtv_control
jsr mode_ctrl
@ -1581,6 +1588,7 @@ mode_hicolmcchar: {
cmp.z cy
bne __b3
// mode_ctrl()
// Leave control to the user until exit
lda #DTV_HIGHCOLOR
sta.z dtv_control
jsr mode_ctrl
@ -1721,6 +1729,7 @@ mode_hicolecmchar: {
cmp.z cy
bne __b3
// mode_ctrl()
// Leave control to the user until exit
lda #DTV_HIGHCOLOR
sta.z dtv_control
jsr mode_ctrl
@ -1847,6 +1856,7 @@ mode_hicolstdchar: {
cmp.z cy
bne __b3
// mode_ctrl()
// Leave control to the user until exit
lda #DTV_HIGHCOLOR
sta.z dtv_control
jsr mode_ctrl
@ -1959,6 +1969,7 @@ mode_stdbitmap: {
cmp.z cy
bne __b3
// bitmap_init(BITMAP)
// Draw some lines on the bitmap
jsr bitmap_init
// bitmap_clear()
jsr bitmap_clear
@ -1970,6 +1981,7 @@ mode_stdbitmap: {
cmp #lines_cnt
bcc __b8
// mode_ctrl()
// Leave control to the user until exit
lda #0
sta.z dtv_control
jsr mode_ctrl
@ -2572,6 +2584,7 @@ mode_mcchar: {
cmp.z cy
bne __b3
// mode_ctrl()
// Leave control to the user until exit
lda #0
sta.z dtv_control
jsr mode_ctrl
@ -2716,6 +2729,7 @@ mode_ecmchar: {
cmp.z cy
bne __b3
// mode_ctrl()
// Leave control to the user until exit
lda #0
sta.z dtv_control
jsr mode_ctrl
@ -2847,6 +2861,7 @@ mode_stdchar: {
cmp.z cy
bne __b3
// mode_ctrl()
// Leave control to the user until exit
lda #0
sta.z dtv_control
jsr mode_ctrl

73
src/test/ref/c64dtv-gfxmodes.log
View File

@ -12219,6 +12219,7 @@ menu: {
lda #0
sta BORDERCOL
// [27] call print_set_screen
// Display menu Text
// [893] phi from menu::@4 to print_set_screen [phi:menu::@4->print_set_screen]
print_set_screen_from___b4:
jsr print_set_screen
@ -12869,6 +12870,7 @@ mode_8bppchunkybmm: {
// mode_8bppchunkybmm::@8
__b8:
// [151] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [223] phi from mode_8bppchunkybmm::@8 to dtvSetCpuBankSegment1 [phi:mode_8bppchunkybmm::@8->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b8:
// [223] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#3 = (byte)(number) $4000/(number) $4000 [phi:mode_8bppchunkybmm::@8->dtvSetCpuBankSegment1#0] -- vbuz1=vbuc1
@ -12881,6 +12883,7 @@ mode_8bppchunkybmm: {
// mode_8bppchunkybmm::@10
__b10:
// [153] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_8bppchunkybmm::@10 to mode_ctrl [phi:mode_8bppchunkybmm::@10->mode_ctrl]
mode_ctrl_from___b10:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR|(const byte) DTV_LINEAR|(const byte) DTV_CHUNKY|(const byte) DTV_COLORRAM_OFF [phi:mode_8bppchunkybmm::@10->mode_ctrl#0] -- vbuz1=vbuc1
@ -13665,6 +13668,7 @@ mode_8bpppixelcell: {
lda #PROCPORT_RAM_IO
sta PROCPORT
// [280] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_8bpppixelcell::@13 to mode_ctrl [phi:mode_8bpppixelcell::@13->mode_ctrl]
mode_ctrl_from___b13:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR|(const byte) DTV_LINEAR|(const byte) DTV_CHUNKY [phi:mode_8bpppixelcell::@13->mode_ctrl#0] -- vbuz1=vbuc1
@ -13982,6 +13986,7 @@ mode_sixsfred: {
// mode_sixsfred::@12
__b12:
// [333] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_sixsfred::@12 to mode_ctrl [phi:mode_sixsfred::@12->mode_ctrl]
mode_ctrl_from___b12:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR|(const byte) DTV_LINEAR [phi:mode_sixsfred::@12->mode_ctrl#0] -- vbuz1=vbuc1
@ -14331,6 +14336,7 @@ mode_twoplanebitmap: {
// mode_twoplanebitmap::@15
__b15:
// [391] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_twoplanebitmap::@15 to mode_ctrl [phi:mode_twoplanebitmap::@15->mode_ctrl]
mode_ctrl_from___b15:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR|(const byte) DTV_LINEAR [phi:mode_twoplanebitmap::@15->mode_ctrl#0] -- vbuz1=vbuc1
@ -14672,6 +14678,7 @@ mode_sixsfred2: {
// mode_sixsfred2::@12
__b12:
// [448] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_sixsfred2::@12 to mode_ctrl [phi:mode_sixsfred2::@12->mode_ctrl]
mode_ctrl_from___b12:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_LINEAR [phi:mode_sixsfred2::@12->mode_ctrl#0] -- vbuz1=vbuc1
@ -14884,6 +14891,7 @@ mode_hicolmcchar: {
// mode_hicolmcchar::@6
__b6:
// [482] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_hicolmcchar::@6 to mode_ctrl [phi:mode_hicolmcchar::@6->mode_ctrl]
mode_ctrl_from___b6:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR [phi:mode_hicolmcchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
@ -15097,6 +15105,7 @@ mode_hicolecmchar: {
// mode_hicolecmchar::@6
__b6:
// [517] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_hicolecmchar::@6 to mode_ctrl [phi:mode_hicolecmchar::@6->mode_ctrl]
mode_ctrl_from___b6:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR [phi:mode_hicolecmchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
@ -15297,6 +15306,7 @@ mode_hicolstdchar: {
// mode_hicolstdchar::@6
__b6:
// [549] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_hicolstdchar::@6 to mode_ctrl [phi:mode_hicolstdchar::@6->mode_ctrl]
mode_ctrl_from___b6:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR [phi:mode_hicolstdchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
@ -15479,6 +15489,7 @@ mode_stdbitmap: {
// mode_stdbitmap::@6
__b6:
// [578] call bitmap_init
// Draw some lines on the bitmap
// [732] phi from mode_stdbitmap::@6 to bitmap_init [phi:mode_stdbitmap::@6->bitmap_init]
bitmap_init_from___b6:
jsr bitmap_init
@ -15507,6 +15518,7 @@ mode_stdbitmap: {
// mode_stdbitmap::@9
__b9:
// [584] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_stdbitmap::@9 to mode_ctrl [phi:mode_stdbitmap::@9->mode_ctrl]
mode_ctrl_from___b9:
// [155] phi (byte) dtv_control#144 = (byte) 0 [phi:mode_stdbitmap::@9->mode_ctrl#0] -- vbuz1=vbuc1
@ -16663,6 +16675,7 @@ mode_mcchar: {
// mode_mcchar::@6
__b6:
// [791] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_mcchar::@6 to mode_ctrl [phi:mode_mcchar::@6->mode_ctrl]
mode_ctrl_from___b6:
// [155] phi (byte) dtv_control#144 = (byte) 0 [phi:mode_mcchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
@ -16887,6 +16900,7 @@ mode_ecmchar: {
// mode_ecmchar::@6
__b6:
// [828] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_ecmchar::@6 to mode_ctrl [phi:mode_ecmchar::@6->mode_ctrl]
mode_ctrl_from___b6:
// [155] phi (byte) dtv_control#144 = (byte) 0 [phi:mode_ecmchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
@ -17098,6 +17112,7 @@ mode_stdchar: {
// mode_stdchar::@6
__b6:
// [862] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_stdchar::@6 to mode_ctrl [phi:mode_stdchar::@6->mode_ctrl]
mode_ctrl_from___b6:
// [155] phi (byte) dtv_control#144 = (byte) 0 [phi:mode_stdchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
@ -19145,6 +19160,7 @@ menu: {
lda #0
sta BORDERCOL
// [27] call print_set_screen
// Display menu Text
// [893] phi from menu::@4 to print_set_screen [phi:menu::@4->print_set_screen]
print_set_screen_from___b4:
jsr print_set_screen
@ -19711,6 +19727,7 @@ mode_8bppchunkybmm: {
// mode_8bppchunkybmm::@8
__b8:
// [151] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [223] phi from mode_8bppchunkybmm::@8 to dtvSetCpuBankSegment1 [phi:mode_8bppchunkybmm::@8->dtvSetCpuBankSegment1]
dtvSetCpuBankSegment1_from___b8:
// [223] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#3 = (byte)(number) $4000/(number) $4000 [phi:mode_8bppchunkybmm::@8->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
@ -19722,6 +19739,7 @@ mode_8bppchunkybmm: {
// mode_8bppchunkybmm::@10
__b10:
// [153] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_8bppchunkybmm::@10 to mode_ctrl [phi:mode_8bppchunkybmm::@10->mode_ctrl]
mode_ctrl_from___b10:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR|(const byte) DTV_LINEAR|(const byte) DTV_CHUNKY|(const byte) DTV_COLORRAM_OFF [phi:mode_8bppchunkybmm::@10->mode_ctrl#0] -- vbuz1=vbuc1
@ -20377,6 +20395,7 @@ mode_8bpppixelcell: {
lda #PROCPORT_RAM_IO
sta PROCPORT
// [280] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_8bpppixelcell::@13 to mode_ctrl [phi:mode_8bpppixelcell::@13->mode_ctrl]
mode_ctrl_from___b13:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR|(const byte) DTV_LINEAR|(const byte) DTV_CHUNKY [phi:mode_8bpppixelcell::@13->mode_ctrl#0] -- vbuz1=vbuc1
@ -20670,6 +20689,7 @@ mode_sixsfred: {
// mode_sixsfred::@12
__b12:
// [333] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_sixsfred::@12 to mode_ctrl [phi:mode_sixsfred::@12->mode_ctrl]
mode_ctrl_from___b12:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR|(const byte) DTV_LINEAR [phi:mode_sixsfred::@12->mode_ctrl#0] -- vbuz1=vbuc1
@ -20994,6 +21014,7 @@ mode_twoplanebitmap: {
// mode_twoplanebitmap::@15
__b15:
// [391] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_twoplanebitmap::@15 to mode_ctrl [phi:mode_twoplanebitmap::@15->mode_ctrl]
mode_ctrl_from___b15:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR|(const byte) DTV_LINEAR [phi:mode_twoplanebitmap::@15->mode_ctrl#0] -- vbuz1=vbuc1
@ -21308,6 +21329,7 @@ mode_sixsfred2: {
// mode_sixsfred2::@12
__b12:
// [448] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_sixsfred2::@12 to mode_ctrl [phi:mode_sixsfred2::@12->mode_ctrl]
mode_ctrl_from___b12:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_LINEAR [phi:mode_sixsfred2::@12->mode_ctrl#0] -- vbuz1=vbuc1
@ -21503,6 +21525,7 @@ mode_hicolmcchar: {
// mode_hicolmcchar::@6
__b6:
// [482] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_hicolmcchar::@6 to mode_ctrl [phi:mode_hicolmcchar::@6->mode_ctrl]
mode_ctrl_from___b6:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR [phi:mode_hicolmcchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
@ -21699,6 +21722,7 @@ mode_hicolecmchar: {
// mode_hicolecmchar::@6
__b6:
// [517] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_hicolecmchar::@6 to mode_ctrl [phi:mode_hicolecmchar::@6->mode_ctrl]
mode_ctrl_from___b6:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR [phi:mode_hicolecmchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
@ -21882,6 +21906,7 @@ mode_hicolstdchar: {
// mode_hicolstdchar::@6
__b6:
// [549] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_hicolstdchar::@6 to mode_ctrl [phi:mode_hicolstdchar::@6->mode_ctrl]
mode_ctrl_from___b6:
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR [phi:mode_hicolstdchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
@ -22048,6 +22073,7 @@ mode_stdbitmap: {
// mode_stdbitmap::@6
__b6:
// [578] call bitmap_init
// Draw some lines on the bitmap
// [732] phi from mode_stdbitmap::@6 to bitmap_init [phi:mode_stdbitmap::@6->bitmap_init]
bitmap_init_from___b6:
jsr bitmap_init
@ -22076,6 +22102,7 @@ mode_stdbitmap: {
// mode_stdbitmap::@9
__b9:
// [584] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_stdbitmap::@9 to mode_ctrl [phi:mode_stdbitmap::@9->mode_ctrl]
mode_ctrl_from___b9:
// [155] phi (byte) dtv_control#144 = (byte) 0 [phi:mode_stdbitmap::@9->mode_ctrl#0] -- vbuz1=vbuc1
@ -23092,6 +23119,7 @@ mode_mcchar: {
// mode_mcchar::@6
__b6:
// [791] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_mcchar::@6 to mode_ctrl [phi:mode_mcchar::@6->mode_ctrl]
mode_ctrl_from___b6:
// [155] phi (byte) dtv_control#144 = (byte) 0 [phi:mode_mcchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
@ -23294,6 +23322,7 @@ mode_ecmchar: {
// mode_ecmchar::@6
__b6:
// [828] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_ecmchar::@6 to mode_ctrl [phi:mode_ecmchar::@6->mode_ctrl]
mode_ctrl_from___b6:
// [155] phi (byte) dtv_control#144 = (byte) 0 [phi:mode_ecmchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
@ -23483,6 +23512,7 @@ mode_stdchar: {
// mode_stdchar::@6
__b6:
// [862] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_stdchar::@6 to mode_ctrl [phi:mode_stdchar::@6->mode_ctrl]
mode_ctrl_from___b6:
// [155] phi (byte) dtv_control#144 = (byte) 0 [phi:mode_stdchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
@ -24153,9 +24183,7 @@ Removing instruction __b4_from___b3:
Removing instruction __b4_from___b5:
Removing instruction __b5_from___b4:
Removing instruction __b8_from___b7:
Removing instruction dtvSetCpuBankSegment1_from___b8:
Removing instruction __b10_from___b8:
Removing instruction mode_ctrl_from___b10:
Removing instruction __b1_from_mode_ctrl:
Removing instruction __b1_from___b11:
Removing instruction __b1_from___b18:
@ -24201,7 +24229,6 @@ Removing instruction __b9_from___b11:
Removing instruction __b10_from___b9:
Removing instruction __b10_from___b10:
Removing instruction __b12_from___b11:
Removing instruction mode_ctrl_from___b12:
Removing instruction __b1_from___b1:
Removing instruction __b3_from___b5:
Removing instruction __b4_from___b3:
@ -24215,7 +24242,6 @@ Removing instruction __b12_from___b14:
Removing instruction __b13_from___b12:
Removing instruction __b13_from___b13:
Removing instruction __b15_from___b14:
Removing instruction mode_ctrl_from___b15:
Removing instruction __b1_from___b1:
Removing instruction __b3_from___b5:
Removing instruction __b4_from___b3:
@ -24227,34 +24253,28 @@ Removing instruction __b9_from___b11:
Removing instruction __b10_from___b9:
Removing instruction __b10_from___b10:
Removing instruction __b12_from___b11:
Removing instruction mode_ctrl_from___b12:
Removing instruction __b1_from___b1:
Removing instruction __b3_from___b5:
Removing instruction __b4_from___b3:
Removing instruction __b4_from___b4:
Removing instruction __b6_from___b5:
Removing instruction mode_ctrl_from___b6:
Removing instruction __b1_from___b1:
Removing instruction __b3_from___b5:
Removing instruction __b4_from___b3:
Removing instruction __b4_from___b4:
Removing instruction __b6_from___b5:
Removing instruction mode_ctrl_from___b6:
Removing instruction __b1_from___b1:
Removing instruction __b3_from___b5:
Removing instruction __b4_from___b3:
Removing instruction __b4_from___b4:
Removing instruction __b6_from___b5:
Removing instruction mode_ctrl_from___b6:
Removing instruction __b1_from___b1:
Removing instruction __b3_from___b5:
Removing instruction __b4_from___b3:
Removing instruction __b4_from___b4:
Removing instruction __b6_from___b5:
Removing instruction bitmap_init_from___b6:
Removing instruction __b10_from___b6:
Removing instruction __b9_from___b7:
Removing instruction mode_ctrl_from___b9:
Removing instruction __b1_from_bitmap_line_xdyi:
Removing instruction __b1_from___b2:
Removing instruction __b2_from___b3:
@ -24286,19 +24306,16 @@ Removing instruction __b3_from___b5:
Removing instruction __b4_from___b3:
Removing instruction __b4_from___b4:
Removing instruction __b6_from___b5:
Removing instruction mode_ctrl_from___b6:
Removing instruction __b1_from___b1:
Removing instruction __b3_from___b5:
Removing instruction __b4_from___b3:
Removing instruction __b4_from___b4:
Removing instruction __b6_from___b5:
Removing instruction mode_ctrl_from___b6:
Removing instruction __b1_from___b1:
Removing instruction __b3_from___b5:
Removing instruction __b4_from___b3:
Removing instruction __b4_from___b4:
Removing instruction __b6_from___b5:
Removing instruction mode_ctrl_from___b6:
Removing instruction __b2_from___b1:
Removing instruction __b2_from___b3:
Removing instruction __b3_from___b2:
@ -24349,7 +24366,9 @@ Removing instruction __b9:
Removing instruction __b5_from___b9:
Removing instruction __b7:
Removing instruction __b8:
Removing instruction dtvSetCpuBankSegment1_from___b8:
Removing instruction __b10:
Removing instruction mode_ctrl_from___b10:
Removing instruction __breturn:
Removing instruction __b3:
Removing instruction __b19:
@ -24396,6 +24415,7 @@ Removing instruction __b8:
Removing instruction __b9_from___b8:
Removing instruction __b11:
Removing instruction __b12:
Removing instruction mode_ctrl_from___b12:
Removing instruction __breturn:
Removing instruction __b1_from_mode_twoplanebitmap:
Removing instruction __b2:
@ -24407,6 +24427,7 @@ Removing instruction __b11:
Removing instruction __b12_from___b11:
Removing instruction __b14:
Removing instruction __b15:
Removing instruction mode_ctrl_from___b15:
Removing instruction __breturn:
Removing instruction __b1_from_mode_sixsfred2:
Removing instruction __b2:
@ -24417,33 +24438,39 @@ Removing instruction __b8:
Removing instruction __b9_from___b8:
Removing instruction __b11:
Removing instruction __b12:
Removing instruction mode_ctrl_from___b12:
Removing instruction __breturn:
Removing instruction __b1_from_mode_hicolmcchar:
Removing instruction __b2:
Removing instruction __b3_from___b2:
Removing instruction __b5:
Removing instruction __b6:
Removing instruction mode_ctrl_from___b6:
Removing instruction __breturn:
Removing instruction __b1_from_mode_hicolecmchar:
Removing instruction __b2:
Removing instruction __b3_from___b2:
Removing instruction __b5:
Removing instruction __b6:
Removing instruction mode_ctrl_from___b6:
Removing instruction __breturn:
Removing instruction __b1_from_mode_hicolstdchar:
Removing instruction __b2:
Removing instruction __b3_from___b2:
Removing instruction __b5:
Removing instruction __b6:
Removing instruction mode_ctrl_from___b6:
Removing instruction __breturn:
Removing instruction __b1_from_mode_stdbitmap:
Removing instruction __b2:
Removing instruction __b3_from___b2:
Removing instruction __b5:
Removing instruction __b6:
Removing instruction bitmap_init_from___b6:
Removing instruction __b10:
Removing instruction __b7_from___b10:
Removing instruction __b9:
Removing instruction mode_ctrl_from___b9:
Removing instruction __breturn:
Removing instruction __b11:
Removing instruction __b7_from___b11:
@ -24492,18 +24519,21 @@ Removing instruction __b2:
Removing instruction __b3_from___b2:
Removing instruction __b5:
Removing instruction __b6:
Removing instruction mode_ctrl_from___b6:
Removing instruction __breturn:
Removing instruction __b1_from_mode_ecmchar:
Removing instruction __b2:
Removing instruction __b3_from___b2:
Removing instruction __b5:
Removing instruction __b6:
Removing instruction mode_ctrl_from___b6:
Removing instruction __breturn:
Removing instruction __b1_from_mode_stdchar:
Removing instruction __b2:
Removing instruction __b3_from___b2:
Removing instruction __b5:
Removing instruction __b6:
Removing instruction mode_ctrl_from___b6:
Removing instruction __breturn:
Removing instruction __b1_from_print_str_lines:
Removing instruction __breturn:
@ -24615,7 +24645,7 @@ Removing instruction __bbegin:
Removing instruction __breturn:
Removing instruction __breturn:
Succesful ASM optimization Pass5UnusedLabelElimination
Fixing long branch [267] beq __b5 to bne
Fixing long branch [268] beq __b5 to bne
Fixing long branch [175] bne __b3 to beq
Fixing long branch [180] bne __b3 to beq
@ -26111,6 +26141,7 @@ menu: {
sta BORDERCOL
// print_set_screen(SCREEN)
// [27] call print_set_screen
// Display menu Text
// [893] phi from menu::@4 to print_set_screen [phi:menu::@4->print_set_screen]
jsr print_set_screen
// [28] phi from menu::@4 to menu::@29 [phi:menu::@4->menu::@29]
@ -26612,6 +26643,7 @@ mode_8bppchunkybmm: {
// mode_8bppchunkybmm::@8
// dtvSetCpuBankSegment1((byte)($4000/$4000))
// [151] call dtvSetCpuBankSegment1
// Reset CPU BANK segment to $4000
// [223] phi from mode_8bppchunkybmm::@8 to dtvSetCpuBankSegment1 [phi:mode_8bppchunkybmm::@8->dtvSetCpuBankSegment1]
// [223] phi (byte) dtvSetCpuBankSegment1::cpuBankIdx#3 = (byte)(number) $4000/(number) $4000 [phi:mode_8bppchunkybmm::@8->dtvSetCpuBankSegment1#0] -- vbuaa=vbuc1
lda #$4000/$4000
@ -26620,6 +26652,7 @@ mode_8bppchunkybmm: {
// mode_8bppchunkybmm::@10
// mode_ctrl()
// [153] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_8bppchunkybmm::@10 to mode_ctrl [phi:mode_8bppchunkybmm::@10->mode_ctrl]
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR|(const byte) DTV_LINEAR|(const byte) DTV_CHUNKY|(const byte) DTV_COLORRAM_OFF [phi:mode_8bppchunkybmm::@10->mode_ctrl#0] -- vbuz1=vbuc1
lda #DTV_HIGHCOLOR|DTV_LINEAR|DTV_CHUNKY|DTV_COLORRAM_OFF
@ -27234,6 +27267,7 @@ mode_8bpppixelcell: {
sta PROCPORT
// mode_ctrl()
// [280] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_8bpppixelcell::@13 to mode_ctrl [phi:mode_8bpppixelcell::@13->mode_ctrl]
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR|(const byte) DTV_LINEAR|(const byte) DTV_CHUNKY [phi:mode_8bpppixelcell::@13->mode_ctrl#0] -- vbuz1=vbuc1
lda #DTV_HIGHCOLOR|DTV_LINEAR|DTV_CHUNKY
@ -27520,6 +27554,7 @@ mode_sixsfred: {
// mode_sixsfred::@12
// mode_ctrl()
// [333] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_sixsfred::@12 to mode_ctrl [phi:mode_sixsfred::@12->mode_ctrl]
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR|(const byte) DTV_LINEAR [phi:mode_sixsfred::@12->mode_ctrl#0] -- vbuz1=vbuc1
lda #DTV_HIGHCOLOR|DTV_LINEAR
@ -27836,6 +27871,7 @@ mode_twoplanebitmap: {
// mode_twoplanebitmap::@15
// mode_ctrl()
// [391] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_twoplanebitmap::@15 to mode_ctrl [phi:mode_twoplanebitmap::@15->mode_ctrl]
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR|(const byte) DTV_LINEAR [phi:mode_twoplanebitmap::@15->mode_ctrl#0] -- vbuz1=vbuc1
lda #DTV_HIGHCOLOR|DTV_LINEAR
@ -28147,6 +28183,7 @@ mode_sixsfred2: {
// mode_sixsfred2::@12
// mode_ctrl()
// [448] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_sixsfred2::@12 to mode_ctrl [phi:mode_sixsfred2::@12->mode_ctrl]
// [155] phi (byte) dtv_control#144 = (const byte) DTV_LINEAR [phi:mode_sixsfred2::@12->mode_ctrl#0] -- vbuz1=vbuc1
lda #DTV_LINEAR
@ -28347,6 +28384,7 @@ mode_hicolmcchar: {
// mode_hicolmcchar::@6
// mode_ctrl()
// [482] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_hicolmcchar::@6 to mode_ctrl [phi:mode_hicolmcchar::@6->mode_ctrl]
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR [phi:mode_hicolmcchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
lda #DTV_HIGHCOLOR
@ -28549,6 +28587,7 @@ mode_hicolecmchar: {
// mode_hicolecmchar::@6
// mode_ctrl()
// [517] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_hicolecmchar::@6 to mode_ctrl [phi:mode_hicolecmchar::@6->mode_ctrl]
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR [phi:mode_hicolecmchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
lda #DTV_HIGHCOLOR
@ -28734,6 +28773,7 @@ mode_hicolstdchar: {
// mode_hicolstdchar::@6
// mode_ctrl()
// [549] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_hicolstdchar::@6 to mode_ctrl [phi:mode_hicolstdchar::@6->mode_ctrl]
// [155] phi (byte) dtv_control#144 = (const byte) DTV_HIGHCOLOR [phi:mode_hicolstdchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
lda #DTV_HIGHCOLOR
@ -28898,6 +28938,7 @@ mode_stdbitmap: {
// mode_stdbitmap::@6
// bitmap_init(BITMAP)
// [578] call bitmap_init
// Draw some lines on the bitmap
// [732] phi from mode_stdbitmap::@6 to bitmap_init [phi:mode_stdbitmap::@6->bitmap_init]
jsr bitmap_init
// [579] phi from mode_stdbitmap::@6 to mode_stdbitmap::@10 [phi:mode_stdbitmap::@6->mode_stdbitmap::@10]
@ -28920,6 +28961,7 @@ mode_stdbitmap: {
// mode_stdbitmap::@9
// mode_ctrl()
// [584] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_stdbitmap::@9 to mode_ctrl [phi:mode_stdbitmap::@9->mode_ctrl]
// [155] phi (byte) dtv_control#144 = (byte) 0 [phi:mode_stdbitmap::@9->mode_ctrl#0] -- vbuz1=vbuc1
lda #0
@ -29913,6 +29955,7 @@ mode_mcchar: {
// mode_mcchar::@6
// mode_ctrl()
// [791] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_mcchar::@6 to mode_ctrl [phi:mode_mcchar::@6->mode_ctrl]
// [155] phi (byte) dtv_control#144 = (byte) 0 [phi:mode_mcchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
lda #0
@ -30121,6 +30164,7 @@ mode_ecmchar: {
// mode_ecmchar::@6
// mode_ctrl()
// [828] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_ecmchar::@6 to mode_ctrl [phi:mode_ecmchar::@6->mode_ctrl]
// [155] phi (byte) dtv_control#144 = (byte) 0 [phi:mode_ecmchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
lda #0
@ -30313,6 +30357,7 @@ mode_stdchar: {
// mode_stdchar::@6
// mode_ctrl()
// [862] call mode_ctrl
// Leave control to the user until exit
// [155] phi from mode_stdchar::@6 to mode_ctrl [phi:mode_stdchar::@6->mode_ctrl]
// [155] phi (byte) dtv_control#144 = (byte) 0 [phi:mode_stdchar::@6->mode_ctrl#0] -- vbuz1=vbuc1
lda #0

3
src/test/ref/cia-timer-cyclecount.asm
View File

@ -21,6 +21,7 @@ main: {
.label cyclecount = 9
__b1:
// clock_start()
// Reset & start the CIA#2 timer A+B
jsr clock_start
// asm
nop
@ -41,6 +42,7 @@ main: {
sbc #>CLOCKS_PER_INIT>>$10
sta.z cyclecount+3
// print_dword_at(cyclecount, SCREEN)
// Print cycle count
jsr print_dword_at
jmp __b1
}
@ -112,6 +114,7 @@ print_byte_at: {
sta.z print_char_at.at
lda.z at+1
sta.z print_char_at.at+1
// Table of hexadecimal digits
jsr print_char_at
// b&$f
lda #$f

9
src/test/ref/cia-timer-cyclecount.log
View File

@ -683,6 +683,7 @@ main: {
// main::@1
__b1:
// [6] call clock_start
// Reset & start the CIA#2 timer A+B
jsr clock_start
jmp __b2
// main::@2
@ -736,6 +737,7 @@ main: {
lda.z cyclecount+3
sta.z print_dword_at.dw+3
// [13] call print_dword_at
// Print cycle count
jsr print_dword_at
jmp __b1_from___b3
}
@ -854,6 +856,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [31] call print_char_at
// Table of hexadecimal digits
// [37] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
print_char_at_from_print_byte_at:
// [37] phi (byte*) print_char_at::at#2 = (byte*) print_char_at::at#0 [phi:print_byte_at->print_char_at#0] -- register_copy
@ -1107,6 +1110,7 @@ main: {
// main::@1
__b1:
// [6] call clock_start
// Reset & start the CIA#2 timer A+B
jsr clock_start
jmp __b2
// main::@2
@ -1136,6 +1140,7 @@ main: {
sta.z cyclecount+3
// [12] (dword) print_dword_at::dw#0 ← (dword) main::cyclecount#0
// [13] call print_dword_at
// Print cycle count
jsr print_dword_at
jmp __b1_from___b3
}
@ -1246,6 +1251,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [31] call print_char_at
// Table of hexadecimal digits
// [37] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
print_char_at_from_print_byte_at:
// [37] phi (byte*) print_char_at::at#2 = (byte*) print_char_at::at#0 [phi:print_byte_at->print_char_at#0] -- register_copy
@ -1523,6 +1529,7 @@ main: {
__b1:
// clock_start()
// [6] call clock_start
// Reset & start the CIA#2 timer A+B
jsr clock_start
// main::@2
// asm
@ -1552,6 +1559,7 @@ main: {
// print_dword_at(cyclecount, SCREEN)
// [12] (dword) print_dword_at::dw#0 ← (dword) main::cyclecount#0
// [13] call print_dword_at
// Print cycle count
jsr print_dword_at
jmp __b1
}
@ -1658,6 +1666,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [31] call print_char_at
// Table of hexadecimal digits
// [37] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
// [37] phi (byte*) print_char_at::at#2 = (byte*) print_char_at::at#0 [phi:print_byte_at->print_char_at#0] -- register_copy
// [37] phi (byte) print_char_at::ch#2 = (byte) print_char_at::ch#0 [phi:print_byte_at->print_char_at#1] -- register_copy

2
src/test/ref/cia-timer-simple.asm
View File

@ -15,6 +15,7 @@
.label SCREEN = $400
main: {
// clock_start()
// Reset & start the CIA#2 timer A+B
jsr clock_start
__b1:
// clock()
@ -91,6 +92,7 @@ print_byte_at: {
sta.z print_char_at.at
lda.z at+1
sta.z print_char_at.at+1
// Table of hexadecimal digits
jsr print_char_at
// b&$f
lda #$f

6
src/test/ref/cia-timer-simple.log
View File

@ -652,6 +652,7 @@ __bend:
// main
main: {
// [5] call clock_start
// Reset & start the CIA#2 timer A+B
jsr clock_start
// [6] phi from main main::@2 to main::@1 [phi:main/main::@2->main::@1]
__b1_from_main:
@ -801,6 +802,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [28] call print_char_at
// Table of hexadecimal digits
// [34] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
print_char_at_from_print_byte_at:
// [34] phi (byte*) print_char_at::at#2 = (byte*) print_char_at::at#0 [phi:print_byte_at->print_char_at#0] -- register_copy
@ -1035,6 +1037,7 @@ __bend:
// main
main: {
// [5] call clock_start
// Reset & start the CIA#2 timer A+B
jsr clock_start
// [6] phi from main main::@2 to main::@1 [phi:main/main::@2->main::@1]
__b1_from_main:
@ -1160,6 +1163,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [28] call print_char_at
// Table of hexadecimal digits
// [34] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
print_char_at_from_print_byte_at:
// [34] phi (byte*) print_char_at::at#2 = (byte*) print_char_at::at#0 [phi:print_byte_at->print_char_at#0] -- register_copy
@ -1422,6 +1426,7 @@ Score: 455
main: {
// clock_start()
// [5] call clock_start
// Reset & start the CIA#2 timer A+B
jsr clock_start
// [6] phi from main main::@2 to main::@1 [phi:main/main::@2->main::@1]
// main::@1
@ -1540,6 +1545,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [28] call print_char_at
// Table of hexadecimal digits
// [34] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
// [34] phi (byte*) print_char_at::at#2 = (byte*) print_char_at::at#0 [phi:print_byte_at->print_char_at#0] -- register_copy
// [34] phi (byte) print_char_at::ch#2 = (byte) print_char_at::ch#0 [phi:print_byte_at->print_char_at#1] -- register_copy

5
src/test/ref/complex/clearscreen/clearscreen.asm
View File

@ -106,6 +106,7 @@ main: {
sta.z init_angle_screen.screen
lda.z SCREEN_DIST+1
sta.z init_angle_screen.screen+1
// Initialize the screen containing distance to the center
jsr init_angle_screen
// dst=SCREEN_COPY
lda.z SCREEN_COPY
@ -153,8 +154,10 @@ main: {
cmp.z i
bne __b3
// initSprites()
// Init sprites
jsr initSprites
// setupRasterIrq(RASTER_IRQ_TOP, &irqTop)
// Set-up raster interrupts
jsr setupRasterIrq
b1:
// Main loop
@ -1064,12 +1067,14 @@ atan2_16: {
dey
jmp __b13
__b4:
// (x>=0)?x:-x
lda.z x
sta.z xi
lda.z x+1
sta.z xi+1
jmp __b6
__b1:
// (y>=0)?y:-y
lda.z y
sta.z yi
lda.z y+1

47
src/test/ref/complex/clearscreen/clearscreen.log
View File

@ -4723,6 +4723,7 @@ main: {
lda.z SCREEN_DIST+1
sta.z init_angle_screen.screen+1
// [10] call init_angle_screen
// Initialize the screen containing distance to the center
jsr init_angle_screen
jmp __b9
// main::@9
@ -4808,6 +4809,7 @@ main: {
// main::@4
__b4:
// [24] call initSprites
// Init sprites
// [148] phi from main::@4 to initSprites [phi:main::@4->initSprites]
initSprites_from___b4:
jsr initSprites
@ -4817,6 +4819,7 @@ main: {
// main::@10
__b10:
// [26] call setupRasterIrq
// Set-up raster interrupts
jsr setupRasterIrq
// [27] phi from main::@10 main::@6 to main::@5 [phi:main::@10/main::@6->main::@5]
__b5_from___b10:
@ -7718,6 +7721,7 @@ main: {
lda.z SCREEN_DIST+1
sta.z init_angle_screen.screen+1
// [10] call init_angle_screen
// Initialize the screen containing distance to the center
jsr init_angle_screen
jmp __b9
// main::@9
@ -7794,6 +7798,7 @@ main: {
// main::@4
__b4:
// [24] call initSprites
// Init sprites
// [148] phi from main::@4 to initSprites [phi:main::@4->initSprites]
initSprites_from___b4:
jsr initSprites
@ -7803,6 +7808,7 @@ main: {
// main::@10
__b10:
// [26] call setupRasterIrq
// Set-up raster interrupts
jsr setupRasterIrq
// [27] phi from main::@10 main::@6 to main::@5 [phi:main::@10/main::@6->main::@5]
__b5_from___b10:
@ -9694,7 +9700,6 @@ Removing instruction __b2_from___b4:
Removing instruction __bend_from___b2:
Removing instruction __b3_from___b3:
Removing instruction __b4_from___b3:
Removing instruction initSprites_from___b4:
Removing instruction __b10_from___b4:
Removing instruction __b5_from___b10:
Removing instruction __b2_from___b1:
@ -9743,6 +9748,7 @@ Removing instruction __b9:
Removing instruction __b1_from___b9:
Removing instruction __b3_from___b1:
Removing instruction __b4:
Removing instruction initSprites_from___b4:
Removing instruction __b10:
Removing instruction __b5:
Removing instruction __b11:
@ -9812,23 +9818,23 @@ Removing instruction jmp __b1
Succesful ASM optimization Pass5NextJumpElimination
Removing instruction ldy #OFFSET_STRUCT_PROCESSINGSPRITE_STATUS
Succesful ASM optimization Pass5UnnecesaryLoadElimination
Fixing long branch [452] bne __b2 to beq
Fixing long branch [867] beq __b12 to bne
Fixing long branch [1210] bne __b1 to beq
Fixing long branch [228] bne __b3 to beq
Fixing long branch [234] beq __b8 to bne
Fixing long branch [497] beq __b11 to bne
Fixing long branch [767] bpl __b1 to bmi
Fixing long branch [779] bpl __b4 to bmi
Fixing long branch [1024] beq __b2 to bne
Fixing long branch [1084] bne __b4 to beq
Fixing long branch [1118] bcc __b6 to bcs
Fixing long branch [1125] bcc __b6 to bcs
Fixing long branch [1132] bcc __b6 to bcs
Fixing long branch [1139] bcc __b6 to bcs
Fixing long branch [1147] bcc __b6 to bcs
Fixing long branch [1154] bcc __b6 to bcs
Fixing long branch [1162] bcc __b6 to bcs
Fixing long branch [455] bne __b2 to beq
Fixing long branch [870] beq __b12 to bne
Fixing long branch [1213] bne __b1 to beq
Fixing long branch [231] bne __b3 to beq
Fixing long branch [237] beq __b8 to bne
Fixing long branch [500] beq __b11 to bne
Fixing long branch [770] bpl __b1 to bmi
Fixing long branch [782] bpl __b4 to bmi
Fixing long branch [1027] beq __b2 to bne
Fixing long branch [1087] bne __b4 to beq
Fixing long branch [1121] bcc __b6 to bcs
Fixing long branch [1128] bcc __b6 to bcs
Fixing long branch [1135] bcc __b6 to bcs
Fixing long branch [1142] bcc __b6 to bcs
Fixing long branch [1150] bcc __b6 to bcs
Fixing long branch [1157] bcc __b6 to bcs
Fixing long branch [1165] bcc __b6 to bcs
FINAL SYMBOL TABLE
(const struct ProcessingSprite) $2 = { x: (word) 0, y: (word) 0, vx: (word) 0, vy: (word) 0, id: (byte) 0, ptr: (byte) 0, col: (byte) 0, status: (const byte) STATUS_FREE, screenPtr: (byte*) 0 }
@ -10516,6 +10522,7 @@ main: {
lda.z SCREEN_DIST+1
sta.z init_angle_screen.screen+1
// [10] call init_angle_screen
// Initialize the screen containing distance to the center
jsr init_angle_screen
// main::@9
// dst=SCREEN_COPY
@ -10586,12 +10593,14 @@ main: {
// main::@4
// initSprites()
// [24] call initSprites
// Init sprites
// [148] phi from main::@4 to initSprites [phi:main::@4->initSprites]
jsr initSprites
// [25] phi from main::@4 to main::@10 [phi:main::@4->main::@10]
// main::@10
// setupRasterIrq(RASTER_IRQ_TOP, &irqTop)
// [26] call setupRasterIrq
// Set-up raster interrupts
jsr setupRasterIrq
// [27] phi from main::@10 main::@6 to main::@5 [phi:main::@10/main::@6->main::@5]
b1:
@ -11858,6 +11867,7 @@ atan2_16: {
jmp __b13
// atan2_16::@4
__b4:
// (x>=0)?x:-x
// [233] (signed word) atan2_16::xi#13 ← (signed word) atan2_16::x#0 -- vwsz1=vwsz2
lda.z x
sta.z xi
@ -11866,6 +11876,7 @@ atan2_16: {
jmp __b6
// atan2_16::@1
__b1:
// (y>=0)?y:-y
// [234] (signed word) atan2_16::yi#16 ← (signed word) atan2_16::y#0 -- vwsz1=vwsz2
lda.z y
sta.z yi

5
src/test/ref/complex/prebob/grid-bobs.asm
View File

@ -76,6 +76,7 @@ main: {
lda #toD0181_return
sta D018
// memset(BOB_SCREEN, 0x00, 1000)
// Clear screen
jsr memset
lda #<$100
sta.z rowOffsetY
@ -531,6 +532,7 @@ prepareBobs: {
// progress_init(BASIC_SCREEN)
jsr progress_init
// charsetFindOrAddGlyph(PROTO_BOB+48, BOB_CHARSET)
// Ensure that glyph #0 is empty
lda #<PROTO_BOB+$30
sta.z charsetFindOrAddGlyph.glyph
lda #>PROTO_BOB+$30
@ -563,6 +565,7 @@ prepareBobs: {
cmp #BOB_SHIFTS_X
bcc __b3
// protoBobShiftDown()
// Shift PROTO_BOB down and 8px left
jsr protoBobShiftDown
// for(char shift_y=0;shift_y<BOB_SHIFTS_Y;shift_y++)
inc.z shift_y
@ -590,6 +593,7 @@ prepareBobs: {
// bob_table_idx++;
inc.z bob_table_idx
// protoBobShiftRight()
// Shift PROTO_BOB right twice
jsr protoBobShiftRight
// protoBobShiftRight()
jsr protoBobShiftRight
@ -753,6 +757,7 @@ protoBobShiftRight: {
sta.z carry
jmp __b4
__b3:
// (PROTO_BOB[j]&1)?0x80ub:0ub
lda #$80
sta.z carry
__b4:

17
src/test/ref/complex/prebob/grid-bobs.log
View File

@ -4725,6 +4725,7 @@ main: {
lda #toD0181_return
sta D018
// [15] call memset
// Clear screen
// [103] phi from main::@9 to memset [phi:main::@9->memset]
memset_from___b9:
jsr memset
@ -5434,6 +5435,7 @@ prepareBobs: {
// prepareBobs::@8
__b8:
// [128] call charsetFindOrAddGlyph
// Ensure that glyph #0 is empty
// [161] phi from prepareBobs::@8 to charsetFindOrAddGlyph [phi:prepareBobs::@8->charsetFindOrAddGlyph]
charsetFindOrAddGlyph_from___b8:
// [161] phi (byte*) charsetFindOrAddGlyph::glyph#10 = (const byte*) PROTO_BOB+(byte) $30 [phi:prepareBobs::@8->charsetFindOrAddGlyph#0] -- pbuz1=pbuc1
@ -5496,6 +5498,7 @@ prepareBobs: {
// prepareBobs::@4
__b4:
// [135] call protoBobShiftDown
// Shift PROTO_BOB down and 8px left
// [196] phi from prepareBobs::@4 to protoBobShiftDown [phi:prepareBobs::@4->protoBobShiftDown]
protoBobShiftDown_from___b4:
jsr protoBobShiftDown
@ -5549,6 +5552,7 @@ prepareBobs: {
// [140] (byte) prepareBobs::bob_table_idx#1 ← ++ (byte) prepareBobs::bob_table_idx#12 -- vbuz1=_inc_vbuz1
inc.z bob_table_idx
// [141] call protoBobShiftRight
// Shift PROTO_BOB right twice
// [179] phi from prepareBobs::@7 to protoBobShiftRight [phi:prepareBobs::@7->protoBobShiftRight]
protoBobShiftRight_from___b7:
jsr protoBobShiftRight
@ -6836,6 +6840,7 @@ main: {
lda #toD0181_return
sta D018
// [15] call memset
// Clear screen
// [103] phi from main::@9 to memset [phi:main::@9->memset]
memset_from___b9:
jsr memset
@ -7489,6 +7494,7 @@ prepareBobs: {
// prepareBobs::@8
__b8:
// [128] call charsetFindOrAddGlyph
// Ensure that glyph #0 is empty
// [161] phi from prepareBobs::@8 to charsetFindOrAddGlyph [phi:prepareBobs::@8->charsetFindOrAddGlyph]
charsetFindOrAddGlyph_from___b8:
// [161] phi (byte*) charsetFindOrAddGlyph::glyph#10 = (const byte*) PROTO_BOB+(byte) $30 [phi:prepareBobs::@8->charsetFindOrAddGlyph#0] -- pbuz1=pbuc1
@ -7551,6 +7557,7 @@ prepareBobs: {
// prepareBobs::@4
__b4:
// [135] call protoBobShiftDown
// Shift PROTO_BOB down and 8px left
// [196] phi from prepareBobs::@4 to protoBobShiftDown [phi:prepareBobs::@4->protoBobShiftDown]
protoBobShiftDown_from___b4:
jsr protoBobShiftDown
@ -7604,6 +7611,7 @@ prepareBobs: {
// [140] (byte) prepareBobs::bob_table_idx#1 ← ++ (byte) prepareBobs::bob_table_idx#12 -- vbuz1=_inc_vbuz1
inc.z bob_table_idx
// [141] call protoBobShiftRight
// Shift PROTO_BOB right twice
// [179] phi from prepareBobs::@7 to protoBobShiftRight [phi:prepareBobs::@7->protoBobShiftRight]
protoBobShiftRight_from___b7:
jsr protoBobShiftRight
@ -8383,9 +8391,7 @@ Removing instruction __b1_from___b1:
Removing instruction __b1_from___b1:
Removing instruction __b2_from___b2:
Removing instruction __b8_from_prepareBobs:
Removing instruction charsetFindOrAddGlyph_from___b8:
Removing instruction __b4_from___b2:
Removing instruction protoBobShiftDown_from___b4:
Removing instruction __b12_from___b7:
Removing instruction protoBobShiftRight_from___b12:
Removing instruction charsetFindOrAddGlyph_from___b6:
@ -8441,9 +8447,11 @@ Removing instruction __b2_from___b1:
Removing instruction __breturn:
Removing instruction progress_init_from_prepareBobs:
Removing instruction __b8:
Removing instruction charsetFindOrAddGlyph_from___b8:
Removing instruction __b1_from___b8:
Removing instruction __breturn:
Removing instruction __b4:
Removing instruction protoBobShiftDown_from___b4:
Removing instruction __b9:
Removing instruction __b1_from___b9:
Removing instruction __b5_from___b3:
@ -9043,6 +9051,7 @@ main: {
sta D018
// memset(BOB_SCREEN, 0x00, 1000)
// [15] call memset
// Clear screen
// [103] phi from main::@9 to memset [phi:main::@9->memset]
jsr memset
// [16] phi from main::@9 to main::@1 [phi:main::@9->main::@1]
@ -9684,6 +9693,7 @@ prepareBobs: {
// prepareBobs::@8
// charsetFindOrAddGlyph(PROTO_BOB+48, BOB_CHARSET)
// [128] call charsetFindOrAddGlyph
// Ensure that glyph #0 is empty
// [161] phi from prepareBobs::@8 to charsetFindOrAddGlyph [phi:prepareBobs::@8->charsetFindOrAddGlyph]
// [161] phi (byte*) charsetFindOrAddGlyph::glyph#10 = (const byte*) PROTO_BOB+(byte) $30 [phi:prepareBobs::@8->charsetFindOrAddGlyph#0] -- pbuz1=pbuc1
lda #<PROTO_BOB+$30
@ -9740,6 +9750,7 @@ prepareBobs: {
// prepareBobs::@4
// protoBobShiftDown()
// [135] call protoBobShiftDown
// Shift PROTO_BOB down and 8px left
// [196] phi from prepareBobs::@4 to protoBobShiftDown [phi:prepareBobs::@4->protoBobShiftDown]
jsr protoBobShiftDown
// prepareBobs::@9
@ -9790,6 +9801,7 @@ prepareBobs: {
inc.z bob_table_idx
// protoBobShiftRight()
// [141] call protoBobShiftRight
// Shift PROTO_BOB right twice
// [179] phi from prepareBobs::@7 to protoBobShiftRight [phi:prepareBobs::@7->protoBobShiftRight]
jsr protoBobShiftRight
// [142] phi from prepareBobs::@7 to prepareBobs::@12 [phi:prepareBobs::@7->prepareBobs::@12]
@ -10063,6 +10075,7 @@ protoBobShiftRight: {
// [185] phi from protoBobShiftRight::@2 to protoBobShiftRight::@3 [phi:protoBobShiftRight::@2->protoBobShiftRight::@3]
// protoBobShiftRight::@3
__b3:
// (PROTO_BOB[j]&1)?0x80ub:0ub
// [186] phi from protoBobShiftRight::@3 to protoBobShiftRight::@4 [phi:protoBobShiftRight::@3->protoBobShiftRight::@4]
// [186] phi (byte) protoBobShiftRight::carry#1 = (byte) $80 [phi:protoBobShiftRight::@3->protoBobShiftRight::@4#0] -- vbuz1=vbuc1
lda #$80

16
src/test/ref/complex/prebob/vogel-bobs.asm
View File

@ -72,6 +72,18 @@ main: {
lda #toD0181_return
sta D018
// memset(BOB_SCREEN, 0x00, 1000)
/*
// Clear screen
memset(BOB_SCREEN, 0x00, 1000);
// Display a BOB grid
for(char x: 0..7)
for(char y: 0..3)
renderBob(x*12+y, y*24+x);
// Wait for space
while(!keyboard_key_pressed(KEY_SPACE)) {}
while(keyboard_key_pressed(KEY_SPACE)) {}
*/
// Clear screen
jsr memset
lda #0
sta.z angle
@ -579,6 +591,7 @@ prepareBobs: {
// progress_init(SCREEN_BASIC)
jsr progress_init
// bobCharsetFindOrAddGlyph(PROTO_BOB+48)
// Ensure that glyph #0 is empty
lda #<PROTO_BOB+$30
sta.z bobCharsetFindOrAddGlyph.bob_glyph
lda #>PROTO_BOB+$30
@ -611,6 +624,7 @@ prepareBobs: {
cmp #BOB_SHIFTS_X
bcc __b3
// shiftProtoBobDown()
// Shift PROTO_BOB down and 8px left
jsr shiftProtoBobDown
// for(char shift_y=0;shift_y<BOB_SHIFTS_Y;shift_y++)
inc.z shift_y
@ -638,6 +652,7 @@ prepareBobs: {
// bob_table_idx++;
inc.z bob_table_idx
// shiftProtoBobRight()
// Shift PROTO_BOB right twice
jsr shiftProtoBobRight
// shiftProtoBobRight()
jsr shiftProtoBobRight
@ -802,6 +817,7 @@ shiftProtoBobRight: {
sta.z carry
jmp __b4
__b3:
// (PROTO_BOB[j]&1)?0x80ub:0ub
lda #$80
sta.z carry
__b4:

50
src/test/ref/complex/prebob/vogel-bobs.log
View File

@ -5085,6 +5085,18 @@ main: {
lda #toD0181_return
sta D018
// [15] call memset
/*
// Clear screen
memset(BOB_SCREEN, 0x00, 1000);
// Display a BOB grid
for(char x: 0..7)
for(char y: 0..3)
renderBob(x*12+y, y*24+x);
// Wait for space
while(!keyboard_key_pressed(KEY_SPACE)) {}
while(keyboard_key_pressed(KEY_SPACE)) {}
*/
// Clear screen
// [137] phi from main::@7 to memset [phi:main::@7->memset]
memset_from___b7:
jsr memset
@ -5968,6 +5980,7 @@ prepareBobs: {
// prepareBobs::@8
__b8:
// [162] call bobCharsetFindOrAddGlyph
// Ensure that glyph #0 is empty
// [195] phi from prepareBobs::@8 to bobCharsetFindOrAddGlyph [phi:prepareBobs::@8->bobCharsetFindOrAddGlyph]
bobCharsetFindOrAddGlyph_from___b8:
// [195] phi (byte*) bobCharsetFindOrAddGlyph::bob_glyph#10 = (const byte*) PROTO_BOB+(byte) $30 [phi:prepareBobs::@8->bobCharsetFindOrAddGlyph#0] -- pbuz1=pbuc1
@ -6030,6 +6043,7 @@ prepareBobs: {
// prepareBobs::@4
__b4:
// [169] call shiftProtoBobDown
// Shift PROTO_BOB down and 8px left
// [230] phi from prepareBobs::@4 to shiftProtoBobDown [phi:prepareBobs::@4->shiftProtoBobDown]
shiftProtoBobDown_from___b4:
jsr shiftProtoBobDown
@ -6083,6 +6097,7 @@ prepareBobs: {
// [174] (byte) prepareBobs::bob_table_idx#1 ← ++ (byte) prepareBobs::bob_table_idx#12 -- vbuz1=_inc_vbuz1
inc.z bob_table_idx
// [175] call shiftProtoBobRight
// Shift PROTO_BOB right twice
// [213] phi from prepareBobs::@7 to shiftProtoBobRight [phi:prepareBobs::@7->shiftProtoBobRight]
shiftProtoBobRight_from___b7:
jsr shiftProtoBobRight
@ -7568,6 +7583,18 @@ main: {
lda #toD0181_return
sta D018
// [15] call memset
/*
// Clear screen
memset(BOB_SCREEN, 0x00, 1000);
// Display a BOB grid
for(char x: 0..7)
for(char y: 0..3)
renderBob(x*12+y, y*24+x);
// Wait for space
while(!keyboard_key_pressed(KEY_SPACE)) {}
while(keyboard_key_pressed(KEY_SPACE)) {}
*/
// Clear screen
// [137] phi from main::@7 to memset [phi:main::@7->memset]
memset_from___b7:
jsr memset
@ -8324,6 +8351,7 @@ prepareBobs: {
// prepareBobs::@8
__b8:
// [162] call bobCharsetFindOrAddGlyph
// Ensure that glyph #0 is empty
// [195] phi from prepareBobs::@8 to bobCharsetFindOrAddGlyph [phi:prepareBobs::@8->bobCharsetFindOrAddGlyph]
bobCharsetFindOrAddGlyph_from___b8:
// [195] phi (byte*) bobCharsetFindOrAddGlyph::bob_glyph#10 = (const byte*) PROTO_BOB+(byte) $30 [phi:prepareBobs::@8->bobCharsetFindOrAddGlyph#0] -- pbuz1=pbuc1
@ -8386,6 +8414,7 @@ prepareBobs: {
// prepareBobs::@4
__b4:
// [169] call shiftProtoBobDown
// Shift PROTO_BOB down and 8px left
// [230] phi from prepareBobs::@4 to shiftProtoBobDown [phi:prepareBobs::@4->shiftProtoBobDown]
shiftProtoBobDown_from___b4:
jsr shiftProtoBobDown
@ -8439,6 +8468,7 @@ prepareBobs: {
// [174] (byte) prepareBobs::bob_table_idx#1 ← ++ (byte) prepareBobs::bob_table_idx#12 -- vbuz1=_inc_vbuz1
inc.z bob_table_idx
// [175] call shiftProtoBobRight
// Shift PROTO_BOB right twice
// [213] phi from prepareBobs::@7 to shiftProtoBobRight [phi:prepareBobs::@7->shiftProtoBobRight]
shiftProtoBobRight_from___b7:
jsr shiftProtoBobRight
@ -9247,9 +9277,7 @@ Removing instruction __b1_from___b1:
Removing instruction __b1_from___b1:
Removing instruction __b2_from___b2:
Removing instruction __b8_from_prepareBobs:
Removing instruction bobCharsetFindOrAddGlyph_from___b8:
Removing instruction __b4_from___b2:
Removing instruction shiftProtoBobDown_from___b4:
Removing instruction __b12_from___b7:
Removing instruction shiftProtoBobRight_from___b12:
Removing instruction bobCharsetFindOrAddGlyph_from___b6:
@ -9315,9 +9343,11 @@ Removing instruction __b2_from___b1:
Removing instruction __breturn:
Removing instruction progress_init_from_prepareBobs:
Removing instruction __b8:
Removing instruction bobCharsetFindOrAddGlyph_from___b8:
Removing instruction __b1_from___b8:
Removing instruction __breturn:
Removing instruction __b4:
Removing instruction shiftProtoBobDown_from___b4:
Removing instruction __b9:
Removing instruction __b1_from___b9:
Removing instruction __b5_from___b3:
@ -9962,6 +9992,18 @@ main: {
sta D018
// memset(BOB_SCREEN, 0x00, 1000)
// [15] call memset
/*
// Clear screen
memset(BOB_SCREEN, 0x00, 1000);
// Display a BOB grid
for(char x: 0..7)
for(char y: 0..3)
renderBob(x*12+y, y*24+x);
// Wait for space
while(!keyboard_key_pressed(KEY_SPACE)) {}
while(keyboard_key_pressed(KEY_SPACE)) {}
*/
// Clear screen
// [137] phi from main::@7 to memset [phi:main::@7->memset]
jsr memset
// [16] phi from main::@7 to main::@1 [phi:main::@7->main::@1]
@ -10701,6 +10743,7 @@ prepareBobs: {
// prepareBobs::@8
// bobCharsetFindOrAddGlyph(PROTO_BOB+48)
// [162] call bobCharsetFindOrAddGlyph
// Ensure that glyph #0 is empty
// [195] phi from prepareBobs::@8 to bobCharsetFindOrAddGlyph [phi:prepareBobs::@8->bobCharsetFindOrAddGlyph]
// [195] phi (byte*) bobCharsetFindOrAddGlyph::bob_glyph#10 = (const byte*) PROTO_BOB+(byte) $30 [phi:prepareBobs::@8->bobCharsetFindOrAddGlyph#0] -- pbuz1=pbuc1
lda #<PROTO_BOB+$30
@ -10757,6 +10800,7 @@ prepareBobs: {
// prepareBobs::@4
// shiftProtoBobDown()
// [169] call shiftProtoBobDown
// Shift PROTO_BOB down and 8px left
// [230] phi from prepareBobs::@4 to shiftProtoBobDown [phi:prepareBobs::@4->shiftProtoBobDown]
jsr shiftProtoBobDown
// prepareBobs::@9
@ -10807,6 +10851,7 @@ prepareBobs: {
inc.z bob_table_idx
// shiftProtoBobRight()
// [175] call shiftProtoBobRight
// Shift PROTO_BOB right twice
// [213] phi from prepareBobs::@7 to shiftProtoBobRight [phi:prepareBobs::@7->shiftProtoBobRight]
jsr shiftProtoBobRight
// [176] phi from prepareBobs::@7 to prepareBobs::@12 [phi:prepareBobs::@7->prepareBobs::@12]
@ -11081,6 +11126,7 @@ shiftProtoBobRight: {
// [219] phi from shiftProtoBobRight::@2 to shiftProtoBobRight::@3 [phi:shiftProtoBobRight::@2->shiftProtoBobRight::@3]
// shiftProtoBobRight::@3
__b3:
// (PROTO_BOB[j]&1)?0x80ub:0ub
// [220] phi from shiftProtoBobRight::@3 to shiftProtoBobRight::@4 [phi:shiftProtoBobRight::@3->shiftProtoBobRight::@4]
// [220] phi (byte) shiftProtoBobRight::carry#1 = (byte) $80 [phi:shiftProtoBobRight::@3->shiftProtoBobRight::@4#0] -- vbuz1=vbuc1
lda #$80

2
src/test/ref/complex/prebob/vogel-sprites.asm
View File

@ -503,6 +503,7 @@ init: {
lda #VIC_DEN|VIC_RSEL|3
sta D011
// plexInit(SCREEN)
// Initialize the multiplexer
jsr plexInit
lda #0
sta.z i
@ -559,6 +560,7 @@ init: {
// mulf_init()
jsr mulf_init
// memset(SCREEN, ' ', 1000)
// Clear screen
jsr memset
// }
rts

8
src/test/ref/complex/prebob/vogel-sprites.log
View File

@ -4651,6 +4651,7 @@ init: {
lda #VIC_DEN|VIC_RSEL|3
sta D011
// [154] call plexInit
// Initialize the multiplexer
// [212] phi from init to plexInit [phi:init->plexInit]
plexInit_from_init:
jsr plexInit
@ -4759,6 +4760,7 @@ init: {
// init::@5
__b5:
// [175] call memset
// Clear screen
// [177] phi from init::@5 to memset [phi:init::@5->memset]
memset_from___b5:
jsr memset
@ -6329,6 +6331,7 @@ init: {
lda #VIC_DEN|VIC_RSEL|3
sta D011
// [154] call plexInit
// Initialize the multiplexer
// [212] phi from init to plexInit [phi:init->plexInit]
plexInit_from_init:
jsr plexInit
@ -6424,6 +6427,7 @@ init: {
// init::@5
__b5:
// [175] call memset
// Clear screen
// [177] phi from init::@5 to memset [phi:init::@5->memset]
memset_from___b5:
jsr memset
@ -6902,7 +6906,6 @@ Removing instruction __b3_from___b3:
Removing instruction __b4_from___b3:
Removing instruction mulf_init_from___b4:
Removing instruction __b5_from___b4:
Removing instruction memset_from___b5:
Removing instruction __b9_from___b6:
Removing instruction __b9:
Removing instruction __b8_from___b9:
@ -6964,6 +6967,7 @@ Removing instruction __b2:
Removing instruction __b3_from___b2:
Removing instruction __b4:
Removing instruction __b5:
Removing instruction memset_from___b5:
Removing instruction __breturn:
Removing instruction __b1_from_memset:
Removing instruction __breturn:
@ -8160,6 +8164,7 @@ init: {
sta D011
// plexInit(SCREEN)
// [154] call plexInit
// Initialize the multiplexer
// [212] phi from init to plexInit [phi:init->plexInit]
jsr plexInit
// [155] phi from init to init::@1 [phi:init->init::@1]
@ -8250,6 +8255,7 @@ init: {
// init::@5
// memset(SCREEN, ' ', 1000)
// [175] call memset
// Clear screen
// [177] phi from init::@5 to memset [phi:init::@5->memset]
jsr memset
// init::@return

8
src/test/ref/complex/tetris/tetris.asm
View File

@ -209,6 +209,7 @@ main: {
// play_init()
jsr play_init
// play_spawn_current()
// Spawn twice to spawn both current & next
lda #0
sta.z game_over
sta.z next_piece_idx
@ -265,8 +266,11 @@ main: {
cmp RASTER
bne __b2
// render_show()
//*BORDERCOL = render_screen_show/0x10;
// Update D018 to show the selected screen
jsr render_show
// keyboard_event_scan()
// Scan keyboard events
jsr keyboard_event_scan
// keyboard_event_get()
jsr keyboard_event_get
@ -972,6 +976,7 @@ play_move_down: {
cmp #COLLISION_NONE
beq __b10
// play_lock_current()
// Lock current piece
jsr play_lock_current
// play_remove_lines()
jsr play_remove_lines
@ -980,8 +985,10 @@ play_move_down: {
// removed = play_remove_lines()
// play_update_score(removed)
tax
// Tally up the score
jsr play_update_score
// play_spawn_current()
// Spawn a new piece
jsr play_spawn_current
ldy.z play_spawn_current.__7
lda PIECES,y
@ -1718,6 +1725,7 @@ render_init: {
lda #GREY
sta BGCOL4
// render_screen_original(PLAYFIELD_SCREEN_1)
// Setup chars on the screens
lda #<PLAYFIELD_SCREEN_1
sta.z render_screen_original.screen
lda #>PLAYFIELD_SCREEN_1

30
src/test/ref/complex/tetris/tetris.log
View File

@ -11898,6 +11898,7 @@ main: {
// main::@12
__b12:
// [24] call play_spawn_current
// Spawn twice to spawn both current & next
// [285] phi from main::@12 to play_spawn_current [phi:main::@12->play_spawn_current]
play_spawn_current_from___b12:
// [285] phi (byte) game_over#65 = (byte) 0 [phi:main::@12->play_spawn_current#0] -- vbuz1=vbuc1
@ -12061,6 +12062,8 @@ main: {
// main::@3
__b3:
// [41] call render_show
//*BORDERCOL = render_screen_show/0x10;
// Update D018 to show the selected screen
jsr render_show
// [42] phi from main::@3 to main::@18 [phi:main::@3->main::@18]
__b18_from___b3:
@ -12068,6 +12071,7 @@ main: {
// main::@18
__b18:
// [43] call keyboard_event_scan
// Scan keyboard events
// [390] phi from main::@18 to keyboard_event_scan [phi:main::@18->keyboard_event_scan]
keyboard_event_scan_from___b18:
jsr keyboard_event_scan
@ -13534,6 +13538,7 @@ play_move_down: {
// play_move_down::@9
__b9:
// [270] call play_lock_current
// Lock current piece
jsr play_lock_current
// [271] phi from play_move_down::@9 to play_move_down::@14 [phi:play_move_down::@9->play_move_down::@14]
__b14_from___b9:
@ -13557,6 +13562,7 @@ play_move_down: {
lda.z removed
sta.z play_update_score.removed
// [276] call play_update_score
// Tally up the score
jsr play_update_score
// [277] phi from play_move_down::@15 to play_move_down::@16 [phi:play_move_down::@15->play_move_down::@16]
__b16_from___b15:
@ -13564,6 +13570,7 @@ play_move_down: {
// play_move_down::@16
__b16:
// [278] call play_spawn_current
// Spawn a new piece
// [285] phi from play_move_down::@16 to play_spawn_current [phi:play_move_down::@16->play_spawn_current]
play_spawn_current_from___b16:
// [285] phi (byte) game_over#65 = (byte) game_over#10 [phi:play_move_down::@16->play_spawn_current#0] -- register_copy
@ -14996,6 +15003,7 @@ render_init: {
lda #GREY
sta BGCOL4
// [506] call render_screen_original
// Setup chars on the screens
// [518] phi from render_init::@2 to render_screen_original [phi:render_init::@2->render_screen_original]
render_screen_original_from___b2:
// [518] phi (byte*) render_screen_original::screen#9 = (const byte*) PLAYFIELD_SCREEN_1 [phi:render_init::@2->render_screen_original#0] -- pbuz1=pbuc1
@ -17040,6 +17048,7 @@ main: {
// main::@12
__b12:
// [24] call play_spawn_current
// Spawn twice to spawn both current & next
// [285] phi from main::@12 to play_spawn_current [phi:main::@12->play_spawn_current]
play_spawn_current_from___b12:
// [285] phi (byte) game_over#65 = (byte) 0 [phi:main::@12->play_spawn_current#0] -- vbuz1=vbuc1
@ -17199,6 +17208,8 @@ main: {
// main::@3
__b3:
// [41] call render_show
//*BORDERCOL = render_screen_show/0x10;
// Update D018 to show the selected screen
jsr render_show
// [42] phi from main::@3 to main::@18 [phi:main::@3->main::@18]
__b18_from___b3:
@ -17206,6 +17217,7 @@ main: {
// main::@18
__b18:
// [43] call keyboard_event_scan
// Scan keyboard events
// [390] phi from main::@18 to keyboard_event_scan [phi:main::@18->keyboard_event_scan]
keyboard_event_scan_from___b18:
jsr keyboard_event_scan
@ -18459,6 +18471,7 @@ play_move_down: {
// play_move_down::@9
__b9:
// [270] call play_lock_current
// Lock current piece
jsr play_lock_current
// [271] phi from play_move_down::@9 to play_move_down::@14 [phi:play_move_down::@9->play_move_down::@14]
__b14_from___b9:
@ -18478,6 +18491,7 @@ play_move_down: {
// [275] (byte) play_update_score::removed#0 ← (byte) play_move_down::removed#0 -- vbuxx=vbuaa
tax
// [276] call play_update_score
// Tally up the score
jsr play_update_score
// [277] phi from play_move_down::@15 to play_move_down::@16 [phi:play_move_down::@15->play_move_down::@16]
__b16_from___b15:
@ -18485,6 +18499,7 @@ play_move_down: {
// play_move_down::@16
__b16:
// [278] call play_spawn_current
// Spawn a new piece
// [285] phi from play_move_down::@16 to play_spawn_current [phi:play_move_down::@16->play_spawn_current]
play_spawn_current_from___b16:
// [285] phi (byte) game_over#65 = (byte) game_over#10 [phi:play_move_down::@16->play_spawn_current#0] -- register_copy
@ -19773,6 +19788,7 @@ render_init: {
lda #GREY
sta BGCOL4
// [506] call render_screen_original
// Setup chars on the screens
// [518] phi from render_init::@2 to render_screen_original [phi:render_init::@2->render_screen_original]
render_screen_original_from___b2:
// [518] phi (byte*) render_screen_original::screen#9 = (const byte*) PLAYFIELD_SCREEN_1 [phi:render_init::@2->render_screen_original#0] -- pbuz1=pbuc1
@ -20600,7 +20616,6 @@ Removing instruction __b10_from___b9:
Removing instruction __b11_from___b10:
Removing instruction play_init_from___b11:
Removing instruction __b12_from___b11:
Removing instruction play_spawn_current_from___b12:
Removing instruction __b13_from___b12:
Removing instruction play_spawn_current_from___b13:
Removing instruction __b14_from___b13:
@ -20609,7 +20624,6 @@ Removing instruction __b1_from___b25:
Removing instruction __b1_from___b6:
Removing instruction __b3_from___b2:
Removing instruction __b18_from___b3:
Removing instruction keyboard_event_scan_from___b18:
Removing instruction __b19_from___b18:
Removing instruction __b21:
Removing instruction __b24_from___b23:
@ -20649,7 +20663,6 @@ Removing instruction __b9_from___b13:
Removing instruction __b14_from___b9:
Removing instruction play_remove_lines_from___b14:
Removing instruction __b16_from___b15:
Removing instruction play_spawn_current_from___b16:
Removing instruction __breturn_from___b11:
Removing instruction __b5_from___b4:
Removing instruction __b5:
@ -20730,6 +20743,7 @@ Removing instruction __b9:
Removing instruction __b10:
Removing instruction __b11:
Removing instruction __b12:
Removing instruction play_spawn_current_from___b12:
Removing instruction __b13:
Removing instruction __b14:
Removing instruction __b15:
@ -20740,6 +20754,7 @@ Removing instruction __b17:
Removing instruction __b1_from___b17:
Removing instruction __b3:
Removing instruction __b18:
Removing instruction keyboard_event_scan_from___b18:
Removing instruction __b19:
Removing instruction __b20:
Removing instruction __b6:
@ -20820,6 +20835,7 @@ Removing instruction __b9:
Removing instruction __b14:
Removing instruction __b15:
Removing instruction __b16:
Removing instruction play_spawn_current_from___b16:
Removing instruction __b17:
Removing instruction __b11_from___b17:
Removing instruction __b11_from___b10:
@ -22274,6 +22290,7 @@ main: {
// main::@12
// play_spawn_current()
// [24] call play_spawn_current
// Spawn twice to spawn both current & next
// [285] phi from main::@12 to play_spawn_current [phi:main::@12->play_spawn_current]
// [285] phi (byte) game_over#65 = (byte) 0 [phi:main::@12->play_spawn_current#0] -- vbuz1=vbuc1
lda #0
@ -22405,11 +22422,14 @@ main: {
// main::@3
// render_show()
// [41] call render_show
//*BORDERCOL = render_screen_show/0x10;
// Update D018 to show the selected screen
jsr render_show
// [42] phi from main::@3 to main::@18 [phi:main::@3->main::@18]
// main::@18
// keyboard_event_scan()
// [43] call keyboard_event_scan
// Scan keyboard events
// [390] phi from main::@18 to keyboard_event_scan [phi:main::@18->keyboard_event_scan]
jsr keyboard_event_scan
// [44] phi from main::@18 to main::@19 [phi:main::@18->main::@19]
@ -23591,6 +23611,7 @@ play_move_down: {
// play_move_down::@9
// play_lock_current()
// [270] call play_lock_current
// Lock current piece
jsr play_lock_current
// [271] phi from play_move_down::@9 to play_move_down::@14 [phi:play_move_down::@9->play_move_down::@14]
// play_move_down::@14
@ -23608,11 +23629,13 @@ play_move_down: {
// [275] (byte) play_update_score::removed#0 ← (byte) play_move_down::removed#0 -- vbuxx=vbuaa
tax
// [276] call play_update_score
// Tally up the score
jsr play_update_score
// [277] phi from play_move_down::@15 to play_move_down::@16 [phi:play_move_down::@15->play_move_down::@16]
// play_move_down::@16
// play_spawn_current()
// [278] call play_spawn_current
// Spawn a new piece
// [285] phi from play_move_down::@16 to play_spawn_current [phi:play_move_down::@16->play_spawn_current]
// [285] phi (byte) game_over#65 = (byte) game_over#10 [phi:play_move_down::@16->play_spawn_current#0] -- register_copy
// [285] phi (byte) next_piece_idx#17 = (byte) next_piece_idx#10 [phi:play_move_down::@16->play_spawn_current#1] -- register_copy
@ -24832,6 +24855,7 @@ render_init: {
sta BGCOL4
// render_screen_original(PLAYFIELD_SCREEN_1)
// [506] call render_screen_original
// Setup chars on the screens
// [518] phi from render_init::@2 to render_screen_original [phi:render_init::@2->render_screen_original]
// [518] phi (byte*) render_screen_original::screen#9 = (const byte*) PLAYFIELD_SCREEN_1 [phi:render_init::@2->render_screen_original#0] -- pbuz1=pbuc1
lda #<PLAYFIELD_SCREEN_1

1
src/test/ref/complex/xmega65/xmega65.asm
View File

@ -28,6 +28,7 @@ main: {
lda #$14
sta VIC_MEMORY
// memset(SCREEN, ' ', 40*25)
// Init screen/colors
ldx #' '
lda #<SCREEN
sta.z memset.str

3
src/test/ref/complex/xmega65/xmega65.log
View File

@ -569,6 +569,7 @@ main: {
lda #$14
sta VIC_MEMORY
// [5] call memset
// Init screen/colors
// [17] phi from main to memset [phi:main->memset]
memset_from_main:
// [17] phi (byte) memset::c#4 = (byte) ' ' [phi:main->memset#0] -- vbuz1=vbuc1
@ -885,6 +886,7 @@ main: {
lda #$14
sta VIC_MEMORY
// [5] call memset
// Init screen/colors
// [17] phi from main to memset [phi:main->memset]
memset_from_main:
// [17] phi (byte) memset::c#4 = (byte) ' ' [phi:main->memset#0] -- vbuxx=vbuc1
@ -1231,6 +1233,7 @@ main: {
sta VIC_MEMORY
// memset(SCREEN, ' ', 40*25)
// [5] call memset
// Init screen/colors
// [17] phi from main to memset [phi:main->memset]
// [17] phi (byte) memset::c#4 = (byte) ' ' [phi:main->memset#0] -- vbuxx=vbuc1
ldx #' '

1
src/test/ref/condition-integer-3.asm
View File

@ -14,6 +14,7 @@ main: {
lda #'0'
jmp __b3
__b2:
// i?'+':'0'
lda #'+'
__b3:
// SCREEN[idx++] = j

1
src/test/ref/condition-integer-3.log
View File

@ -482,6 +482,7 @@ main: {
// [7] phi from main::@1 to main::@2 [phi:main::@1->main::@2]
// main::@2
__b2:
// i?'+':'0'
// [8] phi from main::@2 to main::@3 [phi:main::@2->main::@3]
// [8] phi (byte) main::j#0 = (byte) '+' [phi:main::@2->main::@3#0] -- vbuaa=vbuc1
lda #'+'

3
src/test/ref/cordic-atan2-16-ref.asm
View File

@ -146,6 +146,7 @@ print_byte: {
// print_char(print_hextab[b>>4])
tay
lda print_hextab,y
// Table of hexadecimal digits
jsr print_char
// b&$f
lda #$f
@ -390,12 +391,14 @@ atan2_16: {
dey
jmp __b13
__b4:
// (x>=0)?x:-x
lda.z x
sta.z xi
lda.z x+1
sta.z xi+1
jmp __b6
__b1:
// (y>=0)?y:-y
lda.z y
sta.z yi
lda.z y+1

11
src/test/ref/cordic-atan2-16-ref.log
View File

@ -2529,6 +2529,7 @@ print_byte: {
lda print_hextab,y
sta.z print_char.ch
// [44] call print_char
// Table of hexadecimal digits
// [49] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [49] phi (byte*) print_char_cursor#18 = (byte*) print_char_cursor#24 [phi:print_byte->print_char#0] -- register_copy
@ -3633,6 +3634,7 @@ print_byte: {
tay
lda print_hextab,y
// [44] call print_char
// Table of hexadecimal digits
// [49] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [49] phi (byte*) print_char_cursor#18 = (byte*) print_char_cursor#24 [phi:print_byte->print_char#0] -- register_copy
@ -4347,9 +4349,9 @@ Succesful ASM optimization Pass5NextJumpElimination
Removing instruction __bbegin:
Removing instruction __b3:
Succesful ASM optimization Pass5UnusedLabelElimination
Fixing long branch [281] beq __b12 to bne
Fixing long branch [175] bpl __b1 to bmi
Fixing long branch [187] bpl __b4 to bmi
Fixing long branch [282] beq __b12 to bne
Fixing long branch [176] bpl __b1 to bmi
Fixing long branch [188] bpl __b4 to bmi
FINAL SYMBOL TABLE
(label) @1
@ -4842,6 +4844,7 @@ print_byte: {
tay
lda print_hextab,y
// [44] call print_char
// Table of hexadecimal digits
// [49] phi from print_byte to print_char [phi:print_byte->print_char]
// [49] phi (byte*) print_char_cursor#18 = (byte*) print_char_cursor#24 [phi:print_byte->print_char#0] -- register_copy
// [49] phi (byte) print_char::ch#2 = (byte) print_char::ch#0 [phi:print_byte->print_char#1] -- register_copy
@ -5199,6 +5202,7 @@ atan2_16: {
jmp __b13
// atan2_16::@4
__b4:
// (x>=0)?x:-x
// [99] (signed word) atan2_16::xi#13 ← (signed word) atan2_16::x#0 -- vwsz1=vwsz2
lda.z x
sta.z xi
@ -5207,6 +5211,7 @@ atan2_16: {
jmp __b6
// atan2_16::@1
__b1:
// (y>=0)?y:-y
// [100] (signed word) atan2_16::yi#16 ← (signed word) atan2_16::y#0 -- vwsz1=vwsz2
lda.z y
sta.z yi

2
src/test/ref/cordic-atan2-16.asm
View File

@ -281,12 +281,14 @@ atan2_16: {
dey
jmp __b13
__b4:
// (x>=0)?x:-x
lda.z x
sta.z xi
lda.z x+1
sta.z xi+1
jmp __b6
__b1:
// (y>=0)?y:-y
lda.z y
sta.z yi
lda.z y+1

2
src/test/ref/cordic-atan2-16.log
View File

@ -3869,6 +3869,7 @@ atan2_16: {
jmp __b13
// atan2_16::@4
__b4:
// (x>=0)?x:-x
// [67] (signed word) atan2_16::xi#13 ← (signed word) atan2_16::x#0 -- vwsz1=vwsz2
lda.z x
sta.z xi
@ -3877,6 +3878,7 @@ atan2_16: {
jmp __b6
// atan2_16::@1
__b1:
// (y>=0)?y:-y
// [68] (signed word) atan2_16::yi#16 ← (signed word) atan2_16::y#0 -- vwsz1=vwsz2
lda.z y
sta.z yi

2
src/test/ref/cordic-atan2-clear.asm
View File

@ -367,12 +367,14 @@ atan2_16: {
dey
jmp __b13
__b4:
// (x>=0)?x:-x
lda.z x
sta.z xi
lda.z x+1
sta.z xi+1
jmp __b6
__b1:
// (y>=0)?y:-y
lda.z y
sta.z yi
lda.z y+1

2
src/test/ref/cordic-atan2-clear.log
View File

@ -4570,6 +4570,7 @@ atan2_16: {
jmp __b13
// atan2_16::@4
__b4:
// (x>=0)?x:-x
// [85] (signed word) atan2_16::xi#13 ← (signed word) atan2_16::x#0 -- vwsz1=vwsz2
lda.z x
sta.z xi
@ -4578,6 +4579,7 @@ atan2_16: {
jmp __b6
// atan2_16::@1
__b1:
// (y>=0)?y:-y
// [86] (signed word) atan2_16::yi#16 ← (signed word) atan2_16::y#0 -- vwsz1=vwsz2
lda.z y
sta.z yi

2
src/test/ref/cordic-atan2.asm
View File

@ -207,10 +207,12 @@ atan2_8: {
sta.z angle
jmp __b14
__b4:
// (x>0)?x:-x
lda.z x
sta.z xi
jmp __b6
__b1:
// (y>0)?y:-y
ldx.z y
jmp __b3
}

2
src/test/ref/cordic-atan2.log
View File

@ -3150,12 +3150,14 @@ atan2_8: {
jmp __b14
// atan2_8::@4
__b4:
// (x>0)?x:-x
// [51] (signed byte) atan2_8::xi#8 ← (signed byte) atan2_8::x#0 -- vbsz1=vbsz2
lda.z x
sta.z xi
jmp __b6
// atan2_8::@1
__b1:
// (y>0)?y:-y
// [52] (signed byte) atan2_8::yi#11 ← (signed byte) atan2_8::y#0 -- vbsxx=vbsz1
ldx.z y
jmp __b3

73
src/test/ref/default-font.log
View File

@ -12,79 +12,6 @@ Culled Empty Block (label) @3
Culled Empty Block (label) @4
Culled Empty Block (label) @5
Culled Empty Block (label) main::@4
PROCEDURE PARAMETERS
@begin: scope:[] from
to:@6
(void*()) memset((void*) memset::str , (byte) memset::c , (word) memset::num)
memset: scope:[memset] from main
(bool~) memset::$0 ← (word) memset::num > (number) 0
(bool~) memset::$1 ← ! (bool~) memset::$0
if((bool~) memset::$1) goto memset::@1
to:memset::@2
memset::@1: scope:[memset] from memset memset::@4
(void*) memset::return ← (void*) memset::str
to:memset::@return
memset::@2: scope:[memset] from memset
(byte*~) memset::$2 ← ((byte*)) (void*) memset::str
(byte*~) memset::$3 ← (byte*~) memset::$2 + (word) memset::num
(byte*) memset::end ← (byte*~) memset::$3
(byte*) memset::dst ← ((byte*)) (void*) memset::str
to:memset::@4
memset::@4: scope:[memset] from memset::@2 memset::@5
(bool~) memset::$4 ← (byte*) memset::dst != (byte*) memset::end
if((bool~) memset::$4) goto memset::@5
to:memset::@1
memset::@5: scope:[memset] from memset::@4
*((byte*) memset::dst) ← (byte) memset::c
(byte*) memset::dst ← ++ (byte*) memset::dst
to:memset::@4
memset::@return: scope:[memset] from memset::@1
(void*) memset::return ← (void*) memset::return
return (void*) memset::return
to:@return
(void()) main()
main: scope:[main] from @6
(void*) memset::str ← (void*)(const byte*) SCREEN
(byte) memset::c ← (byte) ' '
(word) memset::num ← (number) $3e8
(void*) memset::return ← call memset
to:main::@5
main::@5: scope:[main] from main
(byte*~) main::$1 ← (const byte*) SCREEN + (number) $28
(byte*~) main::$2 ← (byte*~) main::$1 + (number) 1
(byte*) main::screen ← (byte*~) main::$2
(byte) main::ch ← (byte) 0
(byte) main::x ← (byte) 0
to:main::@1
main::@1: scope:[main] from main::@3 main::@5
(byte) main::y ← (byte) 0
to:main::@2
main::@2: scope:[main] from main::@1 main::@2
*((byte*) main::screen) ← (byte) main::ch
(byte*) main::screen ← ++ (byte*) main::screen
(byte) main::ch ← ++ (byte) main::ch
(byte) main::y ← (byte) main::y + rangenext(0,$f)
(bool~) main::$3 ← (byte) main::y != rangelast(0,$f)
if((bool~) main::$3) goto main::@2
to:main::@3
main::@3: scope:[main] from main::@2
(byte*) main::screen ← (byte*) main::screen + (number) $28-(number) $10
(byte) main::x ← (byte) main::x + rangenext(0,$f)
(bool~) main::$4 ← (byte) main::x != rangelast(0,$f)
if((bool~) main::$4) goto main::@1
to:main::@return
main::@return: scope:[main] from main::@3
return
to:@return
@6: scope:[] from @begin
call main
to:@7
@7: scope:[] from @6
to:@end
@end: scope:[] from @7
CONTROL FLOW GRAPH SSA
@begin: scope:[] from

1
src/test/ref/euclid-3.asm
View File

@ -142,6 +142,7 @@ print_byte: {
// print_char(print_hextab[b>>4])
tay
lda print_hextab,y
// Table of hexadecimal digits
jsr print_char
// b&$f
lda #$f

3
src/test/ref/euclid-3.log
View File

@ -1578,6 +1578,7 @@ print_byte: {
lda print_hextab,y
sta.z print_char.ch
// [45] call print_char
// Table of hexadecimal digits
// [50] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [50] phi (byte*) print_char_cursor#31 = (byte*) print_char_cursor#51 [phi:print_byte->print_char#0] -- register_copy
@ -2119,6 +2120,7 @@ print_byte: {
tay
lda print_hextab,y
// [45] call print_char
// Table of hexadecimal digits
// [50] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [50] phi (byte*) print_char_cursor#31 = (byte*) print_char_cursor#51 [phi:print_byte->print_char#0] -- register_copy
@ -2739,6 +2741,7 @@ print_byte: {
tay
lda print_hextab,y
// [45] call print_char
// Table of hexadecimal digits
// [50] phi from print_byte to print_char [phi:print_byte->print_char]
// [50] phi (byte*) print_char_cursor#31 = (byte*) print_char_cursor#51 [phi:print_byte->print_char#0] -- register_copy
// [50] phi (byte) print_char::ch#4 = (byte) print_char::ch#0 [phi:print_byte->print_char#1] -- register_copy

3
src/test/ref/examples/3d/3d.asm
View File

@ -54,6 +54,7 @@ main: {
// debug_print_init()
jsr debug_print_init
// anim()
//calculate_matrix(1,1,1);
jsr anim
// }
rts
@ -84,6 +85,7 @@ anim: {
inc BORDERCOL
// calculate_matrix(sx,sy,sz)
ldx.z sx
//calculate_matrix_16(sx,sy,sz);
jsr calculate_matrix
// store_matrix()
jsr store_matrix
@ -423,6 +425,7 @@ print_byte_at: {
// print_char_at(print_hextab[b>>4], at)
lda print_hextab,y
tay
// Table of hexadecimal digits
jsr print_char_at
// b&$f
lda #$f

17
src/test/ref/examples/3d/3d.log
View File

@ -4412,6 +4412,7 @@ main: {
// main::@2
__b2:
// [10] call anim
//calculate_matrix(1,1,1);
// [12] phi from main::@2 to anim [phi:main::@2->anim]
anim_from___b2:
jsr anim
@ -4473,6 +4474,7 @@ anim: {
lda.z sy
sta.z calculate_matrix.sy
// [20] call calculate_matrix
//calculate_matrix_16(sx,sy,sz);
jsr calculate_matrix
// [21] phi from anim::@5 to anim::@8 [phi:anim::@5->anim::@8]
__b8_from___b5:
@ -5164,6 +5166,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [123] call print_char_at
// Table of hexadecimal digits
// [117] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
print_char_at_from_print_byte_at:
// [117] phi (byte*) print_char_at::at#4 = (byte*) print_char_at::at#2 [phi:print_byte_at->print_char_at#0] -- register_copy
@ -7067,6 +7070,7 @@ main: {
// main::@2
__b2:
// [10] call anim
//calculate_matrix(1,1,1);
// [12] phi from main::@2 to anim [phi:main::@2->anim]
anim_from___b2:
jsr anim
@ -7122,6 +7126,7 @@ anim: {
ldx.z sx
// [19] (signed byte) calculate_matrix::sy#0 ← (signed byte) sy#10
// [20] call calculate_matrix
//calculate_matrix_16(sx,sy,sz);
jsr calculate_matrix
// [21] phi from anim::@5 to anim::@8 [phi:anim::@5->anim::@8]
__b8_from___b5:
@ -7730,6 +7735,7 @@ print_byte_at: {
tay
// [122] (byte*) print_char_at::at#2 ← (byte*) print_byte_at::at#0
// [123] call print_char_at
// Table of hexadecimal digits
// [117] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
print_char_at_from_print_byte_at:
// [117] phi (byte*) print_char_at::at#4 = (byte*) print_char_at::at#2 [phi:print_byte_at->print_char_at#0] -- register_copy
@ -8928,7 +8934,6 @@ Replacing label __b1_from___b1 with __b1
Removing instruction __b1:
Removing instruction __bend_from___b1:
Removing instruction __b2_from___b1:
Removing instruction anim_from___b2:
Removing instruction __b1:
Removing instruction __b8_from___b5:
Removing instruction __b6_from___b9:
@ -8984,6 +8989,7 @@ Removing instruction __bend:
Removing instruction __b1:
Removing instruction debug_print_init_from___b1:
Removing instruction __b2:
Removing instruction anim_from___b2:
Removing instruction __breturn:
Removing instruction __b1_from_anim:
Removing instruction __b5:
@ -9082,9 +9088,9 @@ Removing instruction jmp __b1
Succesful ASM optimization Pass5NextJumpElimination
Removing instruction __bbegin:
Succesful ASM optimization Pass5UnusedLabelElimination
Fixing long branch [299] bne __b1 to beq
Fixing long branch [899] bne __b2 to beq
Fixing long branch [908] bne __b1 to beq
Fixing long branch [301] bne __b1 to beq
Fixing long branch [902] bne __b2 to beq
Fixing long branch [911] bne __b1 to beq
FINAL SYMBOL TABLE
(label) @1
@ -9682,6 +9688,7 @@ main: {
// main::@2
// anim()
// [10] call anim
//calculate_matrix(1,1,1);
// [12] phi from main::@2 to anim [phi:main::@2->anim]
jsr anim
// main::@return
@ -9731,6 +9738,7 @@ anim: {
ldx.z sx
// [19] (signed byte) calculate_matrix::sy#0 ← (signed byte) sy#10
// [20] call calculate_matrix
//calculate_matrix_16(sx,sy,sz);
jsr calculate_matrix
// [21] phi from anim::@5 to anim::@8 [phi:anim::@5->anim::@8]
// anim::@8
@ -10288,6 +10296,7 @@ print_byte_at: {
tay
// [122] (byte*) print_char_at::at#2 ← (byte*) print_byte_at::at#0
// [123] call print_char_at
// Table of hexadecimal digits
// [117] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
// [117] phi (byte*) print_char_at::at#4 = (byte*) print_char_at::at#2 [phi:print_byte_at->print_char_at#0] -- register_copy
// [117] phi (byte) print_char_at::ch#4 = (byte) print_char_at::ch#2 [phi:print_byte_at->print_char_at#1] -- register_copy

1
src/test/ref/examples/3d/perspective.asm
View File

@ -177,6 +177,7 @@ print_byte: {
// print_char(print_hextab[b>>4])
tay
lda print_hextab,y
// Table of hexadecimal digits
jsr print_char
// b&$f
lda #$f

3
src/test/ref/examples/3d/perspective.log
View File

@ -2010,6 +2010,7 @@ print_byte: {
lda print_hextab,y
sta.z print_char.ch
// [54] call print_char
// Table of hexadecimal digits
// [59] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [59] phi (byte*) print_char_cursor#44 = (byte*) print_char_cursor#69 [phi:print_byte->print_char#0] -- register_copy
@ -2838,6 +2839,7 @@ print_byte: {
tay
lda print_hextab,y
// [54] call print_char
// Table of hexadecimal digits
// [59] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [59] phi (byte*) print_char_cursor#44 = (byte*) print_char_cursor#69 [phi:print_byte->print_char#0] -- register_copy
@ -3775,6 +3777,7 @@ print_byte: {
tay
lda print_hextab,y
// [54] call print_char
// Table of hexadecimal digits
// [59] phi from print_byte to print_char [phi:print_byte->print_char]
// [59] phi (byte*) print_char_cursor#44 = (byte*) print_char_cursor#69 [phi:print_byte->print_char#0] -- register_copy
// [59] phi (byte) print_char::ch#4 = (byte) print_char::ch#2 [phi:print_byte->print_char#1] -- register_copy

1
src/test/ref/examples/chargen/chargen-analysis.asm
View File

@ -94,6 +94,7 @@ main: {
!__b2:
!:
// print_str_at("f1", SCREEN+1)
// Plot 4 initial analysis chars
lda #<SCREEN+1
sta.z print_str_at.at
lda #>SCREEN+1

5
src/test/ref/examples/chargen/chargen-analysis.log
View File

@ -2180,6 +2180,7 @@ main: {
// main::@3
__b3:
// [8] call print_str_at
// Plot 4 initial analysis chars
// [127] phi from main::@3 to print_str_at [phi:main::@3->print_str_at]
print_str_at_from___b3:
// [127] phi (byte*) print_str_at::at#7 = (const byte*) SCREEN+(byte) 1 [phi:main::@3->print_str_at#0] -- pbuz1=pbuc1
@ -3345,6 +3346,7 @@ main: {
// main::@3
__b3:
// [8] call print_str_at
// Plot 4 initial analysis chars
// [127] phi from main::@3 to print_str_at [phi:main::@3->print_str_at]
print_str_at_from___b3:
// [127] phi (byte*) print_str_at::at#7 = (const byte*) SCREEN+(byte) 1 [phi:main::@3->print_str_at#0] -- pbuz1=pbuc1
@ -4163,7 +4165,6 @@ Removing instruction __b1:
Removing instruction main_from___b1:
Removing instruction __bend_from___b1:
Removing instruction __b3_from___b1:
Removing instruction print_str_at_from___b3:
Removing instruction __b17_from___b3:
Removing instruction print_str_at_from___b17:
Removing instruction __b18_from___b17:
@ -4207,6 +4208,7 @@ Succesful ASM optimization Pass5RedundantLabelElimination
Removing instruction __bend:
Removing instruction __b1_from_main:
Removing instruction __b3:
Removing instruction print_str_at_from___b3:
Removing instruction __b17:
Removing instruction __b18:
Removing instruction __b19:
@ -4677,6 +4679,7 @@ main: {
// main::@3
// print_str_at("f1", SCREEN+1)
// [8] call print_str_at
// Plot 4 initial analysis chars
// [127] phi from main::@3 to print_str_at [phi:main::@3->print_str_at]
// [127] phi (byte*) print_str_at::at#7 = (const byte*) SCREEN+(byte) 1 [phi:main::@3->print_str_at#0] -- pbuz1=pbuc1
lda #<SCREEN+1

1
src/test/ref/examples/fastmultiply/fastmultiply8.asm
View File

@ -174,6 +174,7 @@ print_byte_at: {
tay
lda print_hextab,y
sta.z print_char_at.ch
// Table of hexadecimal digits
jsr print_char_at
// b&$f
lda #$f

3
src/test/ref/examples/fastmultiply/fastmultiply8.log
View File

@ -1591,6 +1591,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [52] call print_char_at
// Table of hexadecimal digits
// [46] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
print_char_at_from_print_byte_at:
// [46] phi (byte*) print_char_at::at#4 = (byte*) print_char_at::at#2 [phi:print_byte_at->print_char_at#0] -- register_copy
@ -2316,6 +2317,7 @@ print_byte_at: {
sta.z print_char_at.ch
// [51] (byte*) print_char_at::at#2 ← (byte*) print_byte_at::at#0
// [52] call print_char_at
// Table of hexadecimal digits
// [46] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
print_char_at_from_print_byte_at:
// [46] phi (byte*) print_char_at::at#4 = (byte*) print_char_at::at#2 [phi:print_byte_at->print_char_at#0] -- register_copy
@ -3080,6 +3082,7 @@ print_byte_at: {
sta.z print_char_at.ch
// [51] (byte*) print_char_at::at#2 ← (byte*) print_byte_at::at#0
// [52] call print_char_at
// Table of hexadecimal digits
// [46] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
// [46] phi (byte*) print_char_at::at#4 = (byte*) print_char_at::at#2 [phi:print_byte_at->print_char_at#0] -- register_copy
// [46] phi (byte) print_char_at::ch#4 = (byte) print_char_at::ch#2 [phi:print_byte_at->print_char_at#1] -- register_copy

1
src/test/ref/examples/multiplexer/simple-multiplexer.asm
View File

@ -279,6 +279,7 @@ init: {
lda #VIC_DEN|VIC_RSEL|3
sta D011
// plexInit(SCREEN)
// Initialize the multiplexer
jsr plexInit
lda #<$20
sta.z xp

3
src/test/ref/examples/multiplexer/simple-multiplexer.log
View File

@ -2579,6 +2579,7 @@ init: {
lda #VIC_DEN|VIC_RSEL|3
sta D011
// [82] call plexInit
// Initialize the multiplexer
// [96] phi from init to plexInit [phi:init->plexInit]
plexInit_from_init:
jsr plexInit
@ -3368,6 +3369,7 @@ init: {
lda #VIC_DEN|VIC_RSEL|3
sta D011
// [82] call plexInit
// Initialize the multiplexer
// [96] phi from init to plexInit [phi:init->plexInit]
plexInit_from_init:
jsr plexInit
@ -4256,6 +4258,7 @@ init: {
sta D011
// plexInit(SCREEN)
// [82] call plexInit
// Initialize the multiplexer
// [96] phi from init to plexInit [phi:init->plexInit]
jsr plexInit
// [83] phi from init to init::@1 [phi:init->init::@1]

1
src/test/ref/examples/plasma/plasma-unroll.asm
View File

@ -72,6 +72,7 @@ main: {
sta.z c1A
__b4:
// doplasma(SCREEN1)
// Show single-buffered plasma
jsr doplasma
jmp __b4
}

7
src/test/ref/examples/plasma/plasma-unroll.log
View File

@ -3335,6 +3335,7 @@ main: {
// main::@4
__b4:
// [17] call doplasma
// Show single-buffered plasma
jsr doplasma
// [15] phi from main::@4 to main::@3 [phi:main::@4->main::@3]
__b3_from___b4:
@ -4641,6 +4642,7 @@ main: {
// main::@4
__b4:
// [17] call doplasma
// Show single-buffered plasma
jsr doplasma
// [15] phi from main::@4 to main::@3 [phi:main::@4->main::@3]
__b3_from___b4:
@ -5496,8 +5498,8 @@ Removing instruction jmp __b1
Succesful ASM optimization Pass5NextJumpElimination
Removing instruction __bbegin:
Succesful ASM optimization Pass5UnusedLabelElimination
Fixing long branch [89] bcc __b2 to bcs
Fixing long branch [107] bcc __b5 to bcs
Fixing long branch [90] bcc __b2 to bcs
Fixing long branch [108] bcc __b5 to bcs
FINAL SYMBOL TABLE
(label) @1
@ -5891,6 +5893,7 @@ main: {
__b4:
// doplasma(SCREEN1)
// [17] call doplasma
// Show single-buffered plasma
jsr doplasma
// [15] phi from main::@4 to main::@3 [phi:main::@4->main::@3]
// [15] phi (byte) c2B#1 = (byte) c2B#3 [phi:main::@4->main::@3#0] -- register_copy

2
src/test/ref/examples/rotate/rotate.asm
View File

@ -213,6 +213,7 @@ anim: {
sbc #>CLOCKS_PER_INIT>>$10
sta.z cyclecount+3
// print_dword_at(cyclecount, SCREEN)
// Print cycle count
jsr print_dword_at
// *BORDERCOL = LIGHT_BLUE
lda #LIGHT_BLUE
@ -287,6 +288,7 @@ print_byte_at: {
sta.z print_char_at.at
lda.z at+1
sta.z print_char_at.at+1
// Table of hexadecimal digits
jsr print_char_at
// b&$f
lda #$f

6
src/test/ref/examples/rotate/rotate.log
View File

@ -2751,6 +2751,7 @@ anim: {
lda.z cyclecount+3
sta.z print_dword_at.dw+3
// [61] call print_dword_at
// Print cycle count
jsr print_dword_at
jmp __b15
// anim::@15
@ -2878,6 +2879,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [80] call print_char_at
// Table of hexadecimal digits
// [86] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
print_char_at_from_print_byte_at:
// [86] phi (byte*) print_char_at::at#2 = (byte*) print_char_at::at#0 [phi:print_byte_at->print_char_at#0] -- register_copy
@ -4171,6 +4173,7 @@ anim: {
sta.z cyclecount+3
// [60] (dword) print_dword_at::dw#0 ← (dword) anim::cyclecount#0
// [61] call print_dword_at
// Print cycle count
jsr print_dword_at
jmp __b15
// anim::@15
@ -4290,6 +4293,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [80] call print_char_at
// Table of hexadecimal digits
// [86] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
print_char_at_from_print_byte_at:
// [86] phi (byte*) print_char_at::at#2 = (byte*) print_char_at::at#0 [phi:print_byte_at->print_char_at#0] -- register_copy
@ -5556,6 +5560,7 @@ anim: {
// print_dword_at(cyclecount, SCREEN)
// [60] (dword) print_dword_at::dw#0 ← (dword) anim::cyclecount#0
// [61] call print_dword_at
// Print cycle count
jsr print_dword_at
// anim::@15
// *BORDERCOL = LIGHT_BLUE
@ -5669,6 +5674,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [80] call print_char_at
// Table of hexadecimal digits
// [86] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
// [86] phi (byte*) print_char_at::at#2 = (byte*) print_char_at::at#0 [phi:print_byte_at->print_char_at#0] -- register_copy
// [86] phi (byte) print_char_at::ch#2 = (byte) print_char_at::ch#0 [phi:print_byte_at->print_char_at#1] -- register_copy

18
src/test/ref/examples/sinsprites/sinus-sprites.asm
View File

@ -257,50 +257,61 @@ gen_sintab: {
sta.z setFAC.w
lda #0
sta.z setFAC.w+1
// 2 * PI
jsr setFAC
// setARGtoFAC()
// fac = max
jsr setARGtoFAC
// setFAC((word)min)
lda.z min
sta.z setFAC.w
lda #0
sta.z setFAC.w+1
// arg = max
jsr setFAC
// setMEMtoFAC(f_min)
// fac = min
lda #<f_min
sta.z setMEMtoFAC.mem
lda #>f_min
sta.z setMEMtoFAC.mem+1
jsr setMEMtoFAC
// subFACfromARG()
// f_min = min
jsr subFACfromARG
// setMEMtoFAC(f_amp)
// fac = max - min
lda #<f_amp
sta.z setMEMtoFAC.mem
lda #>f_amp
sta.z setMEMtoFAC.mem+1
jsr setMEMtoFAC
// setFAC(2)
// f_amp = max - min
lda #<2
sta.z setFAC.prepareMEM1_mem
lda #>2
sta.z setFAC.prepareMEM1_mem+1
jsr setFAC
// divMEMbyFAC(f_amp)
// fac = 2
lda #<f_amp
sta.z divMEMbyFAC.mem
lda #>f_amp
sta.z divMEMbyFAC.mem+1
jsr divMEMbyFAC
// setMEMtoFAC(f_amp)
// fac = (max - min) / 2
lda #<f_amp
sta.z setMEMtoFAC.mem
lda #>f_amp
sta.z setMEMtoFAC.mem+1
jsr setMEMtoFAC
// addMEMtoFAC(f_min)
// f_amp = (max - min) / 2
jsr addMEMtoFAC
// setMEMtoFAC(f_min)
// fac = min + (max - min) / 2
lda #<f_min
sta.z setMEMtoFAC.mem
lda #>f_min
@ -325,12 +336,14 @@ gen_sintab: {
sta.z setFAC.w+1
jsr setFAC
// mulFACbyMEM(f_2pi)
// fac = i
lda #<f_2pi
sta.z mulFACbyMEM.mem
lda #>f_2pi
sta.z mulFACbyMEM.mem+1
jsr mulFACbyMEM
// setMEMtoFAC(f_i)
// fac = i * 2 * PI
lda #<f_i
sta.z setMEMtoFAC.mem
lda #>f_i
@ -341,22 +354,27 @@ gen_sintab: {
sta.z setFAC.w
lda #0
sta.z setFAC.w+1
// f_i = i * 2 * PI
jsr setFAC
// divMEMbyFAC(f_i)
// fac = length
lda #<f_i
sta.z divMEMbyFAC.mem
lda #>f_i
sta.z divMEMbyFAC.mem+1
jsr divMEMbyFAC
// sinFAC()
// fac = i * 2 * PI / length
jsr sinFAC
// mulFACbyMEM(f_amp)
// fac = sin( i * 2 * PI / length )
lda #<f_amp
sta.z mulFACbyMEM.mem
lda #>f_amp
sta.z mulFACbyMEM.mem+1
jsr mulFACbyMEM
// addMEMtoFAC(f_min)
// fac = sin( i * 2 * PI / length ) * (max - min) / 2
jsr addMEMtoFAC
// getFAC()
jsr getFAC

78
src/test/ref/examples/sinsprites/sinus-sprites.log
View File

@ -3962,6 +3962,7 @@ gen_sintab: {
lda #0
sta.z setFAC.w+1
// [73] call setFAC
// 2 * PI
// [152] phi from gen_sintab to setFAC [phi:gen_sintab->setFAC]
setFAC_from_gen_sintab:
// [152] phi (word) setFAC::prepareMEM1_mem#0 = (word) setFAC::w#0 [phi:gen_sintab->setFAC#0] -- register_copy
@ -3972,6 +3973,7 @@ gen_sintab: {
// gen_sintab::@3
__b3:
// [75] call setARGtoFAC
// fac = max
jsr setARGtoFAC
jmp __b4
// gen_sintab::@4
@ -3982,6 +3984,7 @@ gen_sintab: {
lda #0
sta.z setFAC.w+1
// [77] call setFAC
// arg = max
// [152] phi from gen_sintab::@4 to setFAC [phi:gen_sintab::@4->setFAC]
setFAC_from___b4:
// [152] phi (word) setFAC::prepareMEM1_mem#0 = (word) setFAC::w#1 [phi:gen_sintab::@4->setFAC#0] -- register_copy
@ -3992,6 +3995,7 @@ gen_sintab: {
// gen_sintab::@5
__b5:
// [79] call setMEMtoFAC
// fac = min
// [159] phi from gen_sintab::@5 to setMEMtoFAC [phi:gen_sintab::@5->setMEMtoFAC]
setMEMtoFAC_from___b5:
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_min [phi:gen_sintab::@5->setMEMtoFAC#0] -- pbuz1=pbuc1
@ -4006,6 +4010,7 @@ gen_sintab: {
// gen_sintab::@6
__b6:
// [81] call subFACfromARG
// f_min = min
jsr subFACfromARG
// [82] phi from gen_sintab::@6 to gen_sintab::@7 [phi:gen_sintab::@6->gen_sintab::@7]
__b7_from___b6:
@ -4013,6 +4018,7 @@ gen_sintab: {
// gen_sintab::@7
__b7:
// [83] call setMEMtoFAC
// fac = max - min
// [159] phi from gen_sintab::@7 to setMEMtoFAC [phi:gen_sintab::@7->setMEMtoFAC]
setMEMtoFAC_from___b7:
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_amp [phi:gen_sintab::@7->setMEMtoFAC#0] -- pbuz1=pbuc1
@ -4027,6 +4033,7 @@ gen_sintab: {
// gen_sintab::@8
__b8:
// [85] call setFAC
// f_amp = max - min
// [152] phi from gen_sintab::@8 to setFAC [phi:gen_sintab::@8->setFAC]
setFAC_from___b8:
// [152] phi (word) setFAC::prepareMEM1_mem#0 = (byte) 2 [phi:gen_sintab::@8->setFAC#0] -- vwuz1=vbuc1
@ -4041,6 +4048,7 @@ gen_sintab: {
// gen_sintab::@9
__b9:
// [87] call divMEMbyFAC
// fac = 2
// [145] phi from gen_sintab::@9 to divMEMbyFAC [phi:gen_sintab::@9->divMEMbyFAC]
divMEMbyFAC_from___b9:
// [145] phi (byte*) divMEMbyFAC::mem#2 = (const byte*) gen_sintab::f_amp [phi:gen_sintab::@9->divMEMbyFAC#0] -- pbuz1=pbuc1
@ -4055,6 +4063,7 @@ gen_sintab: {
// gen_sintab::@10
__b10:
// [89] call setMEMtoFAC
// fac = (max - min) / 2
// [159] phi from gen_sintab::@10 to setMEMtoFAC [phi:gen_sintab::@10->setMEMtoFAC]
setMEMtoFAC_from___b10:
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_amp [phi:gen_sintab::@10->setMEMtoFAC#0] -- pbuz1=pbuc1
@ -4069,6 +4078,7 @@ gen_sintab: {
// gen_sintab::@11
__b11:
// [91] call addMEMtoFAC
// f_amp = (max - min) / 2
// [131] phi from gen_sintab::@11 to addMEMtoFAC [phi:gen_sintab::@11->addMEMtoFAC]
addMEMtoFAC_from___b11:
jsr addMEMtoFAC
@ -4078,6 +4088,7 @@ gen_sintab: {
// gen_sintab::@12
__b12:
// [93] call setMEMtoFAC
// fac = min + (max - min) / 2
// [159] phi from gen_sintab::@12 to setMEMtoFAC [phi:gen_sintab::@12->setMEMtoFAC]
setMEMtoFAC_from___b12:
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_min [phi:gen_sintab::@12->setMEMtoFAC#0] -- pbuz1=pbuc1
@ -4126,6 +4137,7 @@ gen_sintab: {
// gen_sintab::@13
__b13:
// [100] call mulFACbyMEM
// fac = i
// [136] phi from gen_sintab::@13 to mulFACbyMEM [phi:gen_sintab::@13->mulFACbyMEM]
mulFACbyMEM_from___b13:
// [136] phi (byte*) mulFACbyMEM::mem#2 = (const byte*) gen_sintab::f_2pi [phi:gen_sintab::@13->mulFACbyMEM#0] -- pbuz1=pbuc1
@ -4140,6 +4152,7 @@ gen_sintab: {
// gen_sintab::@14
__b14:
// [102] call setMEMtoFAC
// fac = i * 2 * PI
// [159] phi from gen_sintab::@14 to setMEMtoFAC [phi:gen_sintab::@14->setMEMtoFAC]
setMEMtoFAC_from___b14:
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_i [phi:gen_sintab::@14->setMEMtoFAC#0] -- pbuz1=pbuc1
@ -4157,6 +4170,7 @@ gen_sintab: {
lda #0
sta.z setFAC.w+1
// [104] call setFAC
// f_i = i * 2 * PI
// [152] phi from gen_sintab::@15 to setFAC [phi:gen_sintab::@15->setFAC]
setFAC_from___b15:
// [152] phi (word) setFAC::prepareMEM1_mem#0 = (word) setFAC::w#4 [phi:gen_sintab::@15->setFAC#0] -- register_copy
@ -4167,6 +4181,7 @@ gen_sintab: {
// gen_sintab::@16
__b16:
// [106] call divMEMbyFAC
// fac = length
// [145] phi from gen_sintab::@16 to divMEMbyFAC [phi:gen_sintab::@16->divMEMbyFAC]
divMEMbyFAC_from___b16:
// [145] phi (byte*) divMEMbyFAC::mem#2 = (const byte*) gen_sintab::f_i [phi:gen_sintab::@16->divMEMbyFAC#0] -- pbuz1=pbuc1
@ -4181,6 +4196,7 @@ gen_sintab: {
// gen_sintab::@17
__b17:
// [108] call sinFAC
// fac = i * 2 * PI / length
jsr sinFAC
// [109] phi from gen_sintab::@17 to gen_sintab::@18 [phi:gen_sintab::@17->gen_sintab::@18]
__b18_from___b17:
@ -4188,6 +4204,7 @@ gen_sintab: {
// gen_sintab::@18
__b18:
// [110] call mulFACbyMEM
// fac = sin( i * 2 * PI / length )
// [136] phi from gen_sintab::@18 to mulFACbyMEM [phi:gen_sintab::@18->mulFACbyMEM]
mulFACbyMEM_from___b18:
// [136] phi (byte*) mulFACbyMEM::mem#2 = (const byte*) gen_sintab::f_amp [phi:gen_sintab::@18->mulFACbyMEM#0] -- pbuz1=pbuc1
@ -4202,6 +4219,7 @@ gen_sintab: {
// gen_sintab::@19
__b19:
// [112] call addMEMtoFAC
// fac = sin( i * 2 * PI / length ) * (max - min) / 2
// [131] phi from gen_sintab::@19 to addMEMtoFAC [phi:gen_sintab::@19->addMEMtoFAC]
addMEMtoFAC_from___b19:
jsr addMEMtoFAC
@ -5840,6 +5858,7 @@ gen_sintab: {
lda #0
sta.z setFAC.w+1
// [73] call setFAC
// 2 * PI
// [152] phi from gen_sintab to setFAC [phi:gen_sintab->setFAC]
setFAC_from_gen_sintab:
// [152] phi (word) setFAC::prepareMEM1_mem#0 = (word) setFAC::w#0 [phi:gen_sintab->setFAC#0] -- register_copy
@ -5850,6 +5869,7 @@ gen_sintab: {
// gen_sintab::@3
__b3:
// [75] call setARGtoFAC
// fac = max
jsr setARGtoFAC
jmp __b4
// gen_sintab::@4
@ -5860,6 +5880,7 @@ gen_sintab: {
lda #0
sta.z setFAC.w+1
// [77] call setFAC
// arg = max
// [152] phi from gen_sintab::@4 to setFAC [phi:gen_sintab::@4->setFAC]
setFAC_from___b4:
// [152] phi (word) setFAC::prepareMEM1_mem#0 = (word) setFAC::w#1 [phi:gen_sintab::@4->setFAC#0] -- register_copy
@ -5870,6 +5891,7 @@ gen_sintab: {
// gen_sintab::@5
__b5:
// [79] call setMEMtoFAC
// fac = min
// [159] phi from gen_sintab::@5 to setMEMtoFAC [phi:gen_sintab::@5->setMEMtoFAC]
setMEMtoFAC_from___b5:
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_min [phi:gen_sintab::@5->setMEMtoFAC#0] -- pbuz1=pbuc1
@ -5884,6 +5906,7 @@ gen_sintab: {
// gen_sintab::@6
__b6:
// [81] call subFACfromARG
// f_min = min
jsr subFACfromARG
// [82] phi from gen_sintab::@6 to gen_sintab::@7 [phi:gen_sintab::@6->gen_sintab::@7]
__b7_from___b6:
@ -5891,6 +5914,7 @@ gen_sintab: {
// gen_sintab::@7
__b7:
// [83] call setMEMtoFAC
// fac = max - min
// [159] phi from gen_sintab::@7 to setMEMtoFAC [phi:gen_sintab::@7->setMEMtoFAC]
setMEMtoFAC_from___b7:
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_amp [phi:gen_sintab::@7->setMEMtoFAC#0] -- pbuz1=pbuc1
@ -5905,6 +5929,7 @@ gen_sintab: {
// gen_sintab::@8
__b8:
// [85] call setFAC
// f_amp = max - min
// [152] phi from gen_sintab::@8 to setFAC [phi:gen_sintab::@8->setFAC]
setFAC_from___b8:
// [152] phi (word) setFAC::prepareMEM1_mem#0 = (byte) 2 [phi:gen_sintab::@8->setFAC#0] -- vwuz1=vbuc1
@ -5919,6 +5944,7 @@ gen_sintab: {
// gen_sintab::@9
__b9:
// [87] call divMEMbyFAC
// fac = 2
// [145] phi from gen_sintab::@9 to divMEMbyFAC [phi:gen_sintab::@9->divMEMbyFAC]
divMEMbyFAC_from___b9:
// [145] phi (byte*) divMEMbyFAC::mem#2 = (const byte*) gen_sintab::f_amp [phi:gen_sintab::@9->divMEMbyFAC#0] -- pbuz1=pbuc1
@ -5933,6 +5959,7 @@ gen_sintab: {
// gen_sintab::@10
__b10:
// [89] call setMEMtoFAC
// fac = (max - min) / 2
// [159] phi from gen_sintab::@10 to setMEMtoFAC [phi:gen_sintab::@10->setMEMtoFAC]
setMEMtoFAC_from___b10:
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_amp [phi:gen_sintab::@10->setMEMtoFAC#0] -- pbuz1=pbuc1
@ -5947,6 +5974,7 @@ gen_sintab: {
// gen_sintab::@11
__b11:
// [91] call addMEMtoFAC
// f_amp = (max - min) / 2
// [131] phi from gen_sintab::@11 to addMEMtoFAC [phi:gen_sintab::@11->addMEMtoFAC]
addMEMtoFAC_from___b11:
jsr addMEMtoFAC
@ -5956,6 +5984,7 @@ gen_sintab: {
// gen_sintab::@12
__b12:
// [93] call setMEMtoFAC
// fac = min + (max - min) / 2
// [159] phi from gen_sintab::@12 to setMEMtoFAC [phi:gen_sintab::@12->setMEMtoFAC]
setMEMtoFAC_from___b12:
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_min [phi:gen_sintab::@12->setMEMtoFAC#0] -- pbuz1=pbuc1
@ -6004,6 +6033,7 @@ gen_sintab: {
// gen_sintab::@13
__b13:
// [100] call mulFACbyMEM
// fac = i
// [136] phi from gen_sintab::@13 to mulFACbyMEM [phi:gen_sintab::@13->mulFACbyMEM]
mulFACbyMEM_from___b13:
// [136] phi (byte*) mulFACbyMEM::mem#2 = (const byte*) gen_sintab::f_2pi [phi:gen_sintab::@13->mulFACbyMEM#0] -- pbuz1=pbuc1
@ -6018,6 +6048,7 @@ gen_sintab: {
// gen_sintab::@14
__b14:
// [102] call setMEMtoFAC
// fac = i * 2 * PI
// [159] phi from gen_sintab::@14 to setMEMtoFAC [phi:gen_sintab::@14->setMEMtoFAC]
setMEMtoFAC_from___b14:
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_i [phi:gen_sintab::@14->setMEMtoFAC#0] -- pbuz1=pbuc1
@ -6035,6 +6066,7 @@ gen_sintab: {
lda #0
sta.z setFAC.w+1
// [104] call setFAC
// f_i = i * 2 * PI
// [152] phi from gen_sintab::@15 to setFAC [phi:gen_sintab::@15->setFAC]
setFAC_from___b15:
// [152] phi (word) setFAC::prepareMEM1_mem#0 = (word) setFAC::w#4 [phi:gen_sintab::@15->setFAC#0] -- register_copy
@ -6045,6 +6077,7 @@ gen_sintab: {
// gen_sintab::@16
__b16:
// [106] call divMEMbyFAC
// fac = length
// [145] phi from gen_sintab::@16 to divMEMbyFAC [phi:gen_sintab::@16->divMEMbyFAC]
divMEMbyFAC_from___b16:
// [145] phi (byte*) divMEMbyFAC::mem#2 = (const byte*) gen_sintab::f_i [phi:gen_sintab::@16->divMEMbyFAC#0] -- pbuz1=pbuc1
@ -6059,6 +6092,7 @@ gen_sintab: {
// gen_sintab::@17
__b17:
// [108] call sinFAC
// fac = i * 2 * PI / length
jsr sinFAC
// [109] phi from gen_sintab::@17 to gen_sintab::@18 [phi:gen_sintab::@17->gen_sintab::@18]
__b18_from___b17:
@ -6066,6 +6100,7 @@ gen_sintab: {
// gen_sintab::@18
__b18:
// [110] call mulFACbyMEM
// fac = sin( i * 2 * PI / length )
// [136] phi from gen_sintab::@18 to mulFACbyMEM [phi:gen_sintab::@18->mulFACbyMEM]
mulFACbyMEM_from___b18:
// [136] phi (byte*) mulFACbyMEM::mem#2 = (const byte*) gen_sintab::f_amp [phi:gen_sintab::@18->mulFACbyMEM#0] -- pbuz1=pbuc1
@ -6080,6 +6115,7 @@ gen_sintab: {
// gen_sintab::@19
__b19:
// [112] call addMEMtoFAC
// fac = sin( i * 2 * PI / length ) * (max - min) / 2
// [131] phi from gen_sintab::@19 to addMEMtoFAC [phi:gen_sintab::@19->addMEMtoFAC]
addMEMtoFAC_from___b19:
jsr addMEMtoFAC
@ -6916,31 +6952,19 @@ Removing instruction __b8_from___b7:
Removing instruction clear_screen_from___b8:
Removing instruction __b3_from_gen_sintab:
Removing instruction __b5_from___b4:
Removing instruction setMEMtoFAC_from___b5:
Removing instruction __b6_from___b5:
Removing instruction __b7_from___b6:
Removing instruction setMEMtoFAC_from___b7:
Removing instruction __b8_from___b7:
Removing instruction setFAC_from___b8:
Removing instruction __b9_from___b8:
Removing instruction divMEMbyFAC_from___b9:
Removing instruction __b10_from___b9:
Removing instruction setMEMtoFAC_from___b10:
Removing instruction __b11_from___b10:
Removing instruction addMEMtoFAC_from___b11:
Removing instruction __b12_from___b11:
Removing instruction setMEMtoFAC_from___b12:
Removing instruction __b13_from___b2:
Removing instruction mulFACbyMEM_from___b13:
Removing instruction __b14_from___b13:
Removing instruction setMEMtoFAC_from___b14:
Removing instruction __b16_from___b15:
Removing instruction divMEMbyFAC_from___b16:
Removing instruction __b17_from___b16:
Removing instruction __b18_from___b17:
Removing instruction mulFACbyMEM_from___b18:
Removing instruction __b19_from___b18:
Removing instruction addMEMtoFAC_from___b19:
Removing instruction __b20_from___b19:
Removing instruction __b1_from_progress_inc:
Removing instruction __b1_from___b2:
@ -6982,24 +7006,36 @@ Removing instruction __b3:
Removing instruction __b4:
Removing instruction setFAC_from___b4:
Removing instruction __b5:
Removing instruction setMEMtoFAC_from___b5:
Removing instruction __b6:
Removing instruction __b7:
Removing instruction setMEMtoFAC_from___b7:
Removing instruction __b8:
Removing instruction setFAC_from___b8:
Removing instruction __b9:
Removing instruction divMEMbyFAC_from___b9:
Removing instruction __b10:
Removing instruction setMEMtoFAC_from___b10:
Removing instruction __b11:
Removing instruction addMEMtoFAC_from___b11:
Removing instruction __b12:
Removing instruction setMEMtoFAC_from___b12:
Removing instruction __b1_from___b12:
Removing instruction __breturn:
Removing instruction setFAC_from___b2:
Removing instruction __b13:
Removing instruction mulFACbyMEM_from___b13:
Removing instruction __b14:
Removing instruction setMEMtoFAC_from___b14:
Removing instruction __b15:
Removing instruction setFAC_from___b15:
Removing instruction __b16:
Removing instruction divMEMbyFAC_from___b16:
Removing instruction __b17:
Removing instruction __b18:
Removing instruction mulFACbyMEM_from___b18:
Removing instruction __b19:
Removing instruction addMEMtoFAC_from___b19:
Removing instruction __b20:
Removing instruction __b21:
Removing instruction __b22:
@ -7812,6 +7848,7 @@ gen_sintab: {
lda #0
sta.z setFAC.w+1
// [73] call setFAC
// 2 * PI
// [152] phi from gen_sintab to setFAC [phi:gen_sintab->setFAC]
// [152] phi (word) setFAC::prepareMEM1_mem#0 = (word) setFAC::w#0 [phi:gen_sintab->setFAC#0] -- register_copy
jsr setFAC
@ -7819,6 +7856,7 @@ gen_sintab: {
// gen_sintab::@3
// setARGtoFAC()
// [75] call setARGtoFAC
// fac = max
jsr setARGtoFAC
// gen_sintab::@4
// setFAC((word)min)
@ -7828,6 +7866,7 @@ gen_sintab: {
lda #0
sta.z setFAC.w+1
// [77] call setFAC
// arg = max
// [152] phi from gen_sintab::@4 to setFAC [phi:gen_sintab::@4->setFAC]
// [152] phi (word) setFAC::prepareMEM1_mem#0 = (word) setFAC::w#1 [phi:gen_sintab::@4->setFAC#0] -- register_copy
jsr setFAC
@ -7835,6 +7874,7 @@ gen_sintab: {
// gen_sintab::@5
// setMEMtoFAC(f_min)
// [79] call setMEMtoFAC
// fac = min
// [159] phi from gen_sintab::@5 to setMEMtoFAC [phi:gen_sintab::@5->setMEMtoFAC]
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_min [phi:gen_sintab::@5->setMEMtoFAC#0] -- pbuz1=pbuc1
lda #<f_min
@ -7846,11 +7886,13 @@ gen_sintab: {
// gen_sintab::@6
// subFACfromARG()
// [81] call subFACfromARG
// f_min = min
jsr subFACfromARG
// [82] phi from gen_sintab::@6 to gen_sintab::@7 [phi:gen_sintab::@6->gen_sintab::@7]
// gen_sintab::@7
// setMEMtoFAC(f_amp)
// [83] call setMEMtoFAC
// fac = max - min
// [159] phi from gen_sintab::@7 to setMEMtoFAC [phi:gen_sintab::@7->setMEMtoFAC]
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_amp [phi:gen_sintab::@7->setMEMtoFAC#0] -- pbuz1=pbuc1
lda #<f_amp
@ -7862,6 +7904,7 @@ gen_sintab: {
// gen_sintab::@8
// setFAC(2)
// [85] call setFAC
// f_amp = max - min
// [152] phi from gen_sintab::@8 to setFAC [phi:gen_sintab::@8->setFAC]
// [152] phi (word) setFAC::prepareMEM1_mem#0 = (byte) 2 [phi:gen_sintab::@8->setFAC#0] -- vwuz1=vbuc1
lda #<2
@ -7873,6 +7916,7 @@ gen_sintab: {
// gen_sintab::@9
// divMEMbyFAC(f_amp)
// [87] call divMEMbyFAC
// fac = 2
// [145] phi from gen_sintab::@9 to divMEMbyFAC [phi:gen_sintab::@9->divMEMbyFAC]
// [145] phi (byte*) divMEMbyFAC::mem#2 = (const byte*) gen_sintab::f_amp [phi:gen_sintab::@9->divMEMbyFAC#0] -- pbuz1=pbuc1
lda #<f_amp
@ -7884,6 +7928,7 @@ gen_sintab: {
// gen_sintab::@10
// setMEMtoFAC(f_amp)
// [89] call setMEMtoFAC
// fac = (max - min) / 2
// [159] phi from gen_sintab::@10 to setMEMtoFAC [phi:gen_sintab::@10->setMEMtoFAC]
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_amp [phi:gen_sintab::@10->setMEMtoFAC#0] -- pbuz1=pbuc1
lda #<f_amp
@ -7895,12 +7940,14 @@ gen_sintab: {
// gen_sintab::@11
// addMEMtoFAC(f_min)
// [91] call addMEMtoFAC
// f_amp = (max - min) / 2
// [131] phi from gen_sintab::@11 to addMEMtoFAC [phi:gen_sintab::@11->addMEMtoFAC]
jsr addMEMtoFAC
// [92] phi from gen_sintab::@11 to gen_sintab::@12 [phi:gen_sintab::@11->gen_sintab::@12]
// gen_sintab::@12
// setMEMtoFAC(f_min)
// [93] call setMEMtoFAC
// fac = min + (max - min) / 2
// [159] phi from gen_sintab::@12 to setMEMtoFAC [phi:gen_sintab::@12->setMEMtoFAC]
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_min [phi:gen_sintab::@12->setMEMtoFAC#0] -- pbuz1=pbuc1
lda #<f_min
@ -7943,6 +7990,7 @@ gen_sintab: {
// gen_sintab::@13
// mulFACbyMEM(f_2pi)
// [100] call mulFACbyMEM
// fac = i
// [136] phi from gen_sintab::@13 to mulFACbyMEM [phi:gen_sintab::@13->mulFACbyMEM]
// [136] phi (byte*) mulFACbyMEM::mem#2 = (const byte*) gen_sintab::f_2pi [phi:gen_sintab::@13->mulFACbyMEM#0] -- pbuz1=pbuc1
lda #<f_2pi
@ -7954,6 +8002,7 @@ gen_sintab: {
// gen_sintab::@14
// setMEMtoFAC(f_i)
// [102] call setMEMtoFAC
// fac = i * 2 * PI
// [159] phi from gen_sintab::@14 to setMEMtoFAC [phi:gen_sintab::@14->setMEMtoFAC]
// [159] phi (byte*) setMEMtoFAC::mem#5 = (const byte*) gen_sintab::f_i [phi:gen_sintab::@14->setMEMtoFAC#0] -- pbuz1=pbuc1
lda #<f_i
@ -7969,6 +8018,7 @@ gen_sintab: {
lda #0
sta.z setFAC.w+1
// [104] call setFAC
// f_i = i * 2 * PI
// [152] phi from gen_sintab::@15 to setFAC [phi:gen_sintab::@15->setFAC]
// [152] phi (word) setFAC::prepareMEM1_mem#0 = (word) setFAC::w#4 [phi:gen_sintab::@15->setFAC#0] -- register_copy
jsr setFAC
@ -7976,6 +8026,7 @@ gen_sintab: {
// gen_sintab::@16
// divMEMbyFAC(f_i)
// [106] call divMEMbyFAC
// fac = length
// [145] phi from gen_sintab::@16 to divMEMbyFAC [phi:gen_sintab::@16->divMEMbyFAC]
// [145] phi (byte*) divMEMbyFAC::mem#2 = (const byte*) gen_sintab::f_i [phi:gen_sintab::@16->divMEMbyFAC#0] -- pbuz1=pbuc1
lda #<f_i
@ -7987,11 +8038,13 @@ gen_sintab: {
// gen_sintab::@17
// sinFAC()
// [108] call sinFAC
// fac = i * 2 * PI / length
jsr sinFAC
// [109] phi from gen_sintab::@17 to gen_sintab::@18 [phi:gen_sintab::@17->gen_sintab::@18]
// gen_sintab::@18
// mulFACbyMEM(f_amp)
// [110] call mulFACbyMEM
// fac = sin( i * 2 * PI / length )
// [136] phi from gen_sintab::@18 to mulFACbyMEM [phi:gen_sintab::@18->mulFACbyMEM]
// [136] phi (byte*) mulFACbyMEM::mem#2 = (const byte*) gen_sintab::f_amp [phi:gen_sintab::@18->mulFACbyMEM#0] -- pbuz1=pbuc1
lda #<f_amp
@ -8003,6 +8056,7 @@ gen_sintab: {
// gen_sintab::@19
// addMEMtoFAC(f_min)
// [112] call addMEMtoFAC
// fac = sin( i * 2 * PI / length ) * (max - min) / 2
// [131] phi from gen_sintab::@19 to addMEMtoFAC [phi:gen_sintab::@19->addMEMtoFAC]
jsr addMEMtoFAC
// [113] phi from gen_sintab::@19 to gen_sintab::@20 [phi:gen_sintab::@19->gen_sintab::@20]

2
src/test/ref/examples/zpcode/zpcode.asm
View File

@ -32,8 +32,10 @@ main: {
cmp RASTER
bne __b3
// loop()
// Call code in normal memory
jsr loop
// zpLoop()
// Call code on zeropage
jsr zpLoop
// *BGCOL = 0
lda #0

10
src/test/ref/examples/zpcode/zpcode.log
View File

@ -389,6 +389,7 @@ main: {
// main::@4
__b4:
// [9] call loop
// Call code in normal memory
// [21] phi from main::@4 to loop [phi:main::@4->loop]
loop_from___b4:
jsr loop
@ -398,6 +399,7 @@ main: {
// main::@5
__b5:
// [11] call zpLoop
// Call code on zeropage
// [15] phi from main::@5 to zpLoop [phi:main::@5->zpLoop]
zpLoop_from___b5:
jsr zpLoop
@ -576,6 +578,7 @@ main: {
// main::@4
__b4:
// [9] call loop
// Call code in normal memory
// [21] phi from main::@4 to loop [phi:main::@4->loop]
loop_from___b4:
jsr loop
@ -585,6 +588,7 @@ main: {
// main::@5
__b5:
// [11] call zpLoop
// Call code on zeropage
// [15] phi from main::@5 to zpLoop [phi:main::@5->zpLoop]
zpLoop_from___b5:
jsr zpLoop
@ -688,16 +692,16 @@ Removing instruction __b1_from___bbegin:
Removing instruction __b1:
Removing instruction __bend_from___b1:
Removing instruction __b4_from___b3:
Removing instruction loop_from___b4:
Removing instruction __b5_from___b4:
Removing instruction zpLoop_from___b5:
Removing instruction __b1_from___b1:
Removing instruction __b1_from___b1:
Succesful ASM optimization Pass5RedundantLabelElimination
Removing instruction __bend:
Removing instruction __b1_from_main:
Removing instruction __b4:
Removing instruction loop_from___b4:
Removing instruction __b5:
Removing instruction zpLoop_from___b5:
Removing instruction __b6:
Removing instruction __b1_from___b2:
Removing instruction __b1_from_zpLoop:
@ -805,12 +809,14 @@ main: {
// main::@4
// loop()
// [9] call loop
// Call code in normal memory
// [21] phi from main::@4 to loop [phi:main::@4->loop]
jsr loop
// [10] phi from main::@4 to main::@5 [phi:main::@4->main::@5]
// main::@5
// zpLoop()
// [11] call zpLoop
// Call code on zeropage
// [15] phi from main::@5 to zpLoop [phi:main::@5->zpLoop]
jsr zpLoop
// main::@6

1
src/test/ref/fastmultiply-127.asm
View File

@ -261,6 +261,7 @@ print_byte: {
// print_char(print_hextab[b>>4])
tay
lda print_hextab,y
// Table of hexadecimal digits
jsr print_char
// b&$f
lda #$f

3
src/test/ref/fastmultiply-127.log
View File

@ -3459,6 +3459,7 @@ print_byte: {
lda print_hextab,y
sta.z print_char.ch
// [99] call print_char
// Table of hexadecimal digits
// [86] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [86] phi (byte*) print_char_cursor#80 = (byte*) print_char_cursor#131 [phi:print_byte->print_char#0] -- register_copy
@ -4784,6 +4785,7 @@ print_byte: {
tay
lda print_hextab,y
// [99] call print_char
// Table of hexadecimal digits
// [86] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [86] phi (byte*) print_char_cursor#80 = (byte*) print_char_cursor#131 [phi:print_byte->print_char#0] -- register_copy
@ -6270,6 +6272,7 @@ print_byte: {
tay
lda print_hextab,y
// [99] call print_char
// Table of hexadecimal digits
// [86] phi from print_byte to print_char [phi:print_byte->print_char]
// [86] phi (byte*) print_char_cursor#80 = (byte*) print_char_cursor#131 [phi:print_byte->print_char#0] -- register_copy
// [86] phi (byte) print_char::ch#10 = (byte) print_char::ch#4 [phi:print_byte->print_char#1] -- register_copy

7
src/test/ref/int-conversion.asm
View File

@ -48,6 +48,7 @@ main: {
}
testBinaryOperator: {
// assertType(typeid(12ub+12ub), typeid(unsigned byte))
// Binary Operations between unsigned byte & other types
ldx #$28
lda #TYPEID_BYTE
sta.z assertType.t2
@ -81,6 +82,7 @@ testBinaryOperator: {
// idx++;
inx
// assertType(typeid(12sb+12ub), typeid(unsigned byte))
// Binary Operations between signed byte & other types
lda #TYPEID_BYTE
sta.z assertType.t2
tay
@ -113,6 +115,7 @@ testBinaryOperator: {
// idx++;
inx
// assertType(typeid(12uw+12ub), typeid(unsigned word))
// Binary Operations between unsigned word & other types
lda #TYPEID_WORD
sta.z assertType.t2
tay
@ -143,6 +146,7 @@ testBinaryOperator: {
tay
jsr assertType
// assertType(typeid(12sw+12ub), typeid(signed word))
// Binary Operations between signed word & other types
ldx #$50
lda #TYPEID_SIGNED_WORD
sta.z assertType.t2
@ -176,6 +180,7 @@ testBinaryOperator: {
// idx++;
inx
// assertType(typeid(12ud+12ub), typeid(unsigned dword))
// Binary Operations between unsigned dword & other types
lda #TYPEID_DWORD
sta.z assertType.t2
tay
@ -208,6 +213,7 @@ testBinaryOperator: {
// idx++;
inx
// assertType(typeid(12sd+12ub), typeid(signed dword))
// Binary Operations between signed dword & other types
lda #TYPEID_SIGNED_DWORD
sta.z assertType.t2
tay
@ -269,6 +275,7 @@ assertType: {
}
testUnaryOperator: {
// assertType(typeid(-12ub), typeid(unsigned byte))
// Unary Operations
ldx #0
lda #TYPEID_BYTE
sta.z assertType.t2

23
src/test/ref/int-conversion.log
View File

@ -1736,6 +1736,7 @@ main: {
// testBinaryOperator
testBinaryOperator: {
// [15] call assertType
// Binary Operations between unsigned byte & other types
// [87] phi from testBinaryOperator to assertType [phi:testBinaryOperator->assertType]
assertType_from_testBinaryOperator:
// [87] phi (byte) idx#105 = (byte) $28 [phi:testBinaryOperator->assertType#0] -- vbuz1=vbuc1
@ -1834,6 +1835,7 @@ testBinaryOperator: {
// [26] (byte) idx#19 ← ++ (byte) idx#108 -- vbuz1=_inc_vbuz1
inc.z idx
// [27] call assertType
// Binary Operations between signed byte & other types
// [87] phi from testBinaryOperator::@6 to assertType [phi:testBinaryOperator::@6->assertType]
assertType_from___b6:
// [87] phi (byte) idx#105 = (byte) idx#19 [phi:testBinaryOperator::@6->assertType#0] -- register_copy
@ -1930,6 +1932,7 @@ testBinaryOperator: {
// [38] (byte) idx#26 ← ++ (byte) idx#108 -- vbuz1=_inc_vbuz1
inc.z idx
// [39] call assertType
// Binary Operations between unsigned word & other types
// [87] phi from testBinaryOperator::@12 to assertType [phi:testBinaryOperator::@12->assertType]
assertType_from___b12:
// [87] phi (byte) idx#105 = (byte) idx#26 [phi:testBinaryOperator::@12->assertType#0] -- register_copy
@ -2026,6 +2029,7 @@ testBinaryOperator: {
// testBinaryOperator::@18
__b18:
// [51] call assertType
// Binary Operations between signed word & other types
// [87] phi from testBinaryOperator::@18 to assertType [phi:testBinaryOperator::@18->assertType]
assertType_from___b18:
// [87] phi (byte) idx#105 = (byte) $50 [phi:testBinaryOperator::@18->assertType#0] -- vbuz1=vbuc1
@ -2124,6 +2128,7 @@ testBinaryOperator: {
// [62] (byte) idx#40 ← ++ (byte) idx#108 -- vbuz1=_inc_vbuz1
inc.z idx
// [63] call assertType
// Binary Operations between unsigned dword & other types
// [87] phi from testBinaryOperator::@24 to assertType [phi:testBinaryOperator::@24->assertType]
assertType_from___b24:
// [87] phi (byte) idx#105 = (byte) idx#40 [phi:testBinaryOperator::@24->assertType#0] -- register_copy
@ -2220,6 +2225,7 @@ testBinaryOperator: {
// [74] (byte) idx#47 ← ++ (byte) idx#108 -- vbuz1=_inc_vbuz1
inc.z idx
// [75] call assertType
// Binary Operations between signed dword & other types
// [87] phi from testBinaryOperator::@30 to assertType [phi:testBinaryOperator::@30->assertType]
assertType_from___b30:
// [87] phi (byte) idx#105 = (byte) idx#47 [phi:testBinaryOperator::@30->assertType#0] -- register_copy
@ -2360,6 +2366,7 @@ assertType: {
// testUnaryOperator
testUnaryOperator: {
// [95] call assertType
// Unary Operations
// [87] phi from testUnaryOperator to assertType [phi:testUnaryOperator->assertType]
assertType_from_testUnaryOperator:
// [87] phi (byte) idx#105 = (byte) 0 [phi:testUnaryOperator->assertType#0] -- vbuz1=vbuc1
@ -2592,6 +2599,7 @@ main: {
// testBinaryOperator
testBinaryOperator: {
// [15] call assertType
// Binary Operations between unsigned byte & other types
// [87] phi from testBinaryOperator to assertType [phi:testBinaryOperator->assertType]
assertType_from_testBinaryOperator:
// [87] phi (byte) idx#105 = (byte) $28 [phi:testBinaryOperator->assertType#0] -- vbuxx=vbuc1
@ -2683,6 +2691,7 @@ testBinaryOperator: {
// [26] (byte) idx#19 ← ++ (byte) idx#108 -- vbuxx=_inc_vbuxx
inx
// [27] call assertType
// Binary Operations between signed byte & other types
// [87] phi from testBinaryOperator::@6 to assertType [phi:testBinaryOperator::@6->assertType]
assertType_from___b6:
// [87] phi (byte) idx#105 = (byte) idx#19 [phi:testBinaryOperator::@6->assertType#0] -- register_copy
@ -2773,6 +2782,7 @@ testBinaryOperator: {
// [38] (byte) idx#26 ← ++ (byte) idx#108 -- vbuxx=_inc_vbuxx
inx
// [39] call assertType
// Binary Operations between unsigned word & other types
// [87] phi from testBinaryOperator::@12 to assertType [phi:testBinaryOperator::@12->assertType]
assertType_from___b12:
// [87] phi (byte) idx#105 = (byte) idx#26 [phi:testBinaryOperator::@12->assertType#0] -- register_copy
@ -2863,6 +2873,7 @@ testBinaryOperator: {
// testBinaryOperator::@18
__b18:
// [51] call assertType
// Binary Operations between signed word & other types
// [87] phi from testBinaryOperator::@18 to assertType [phi:testBinaryOperator::@18->assertType]
assertType_from___b18:
// [87] phi (byte) idx#105 = (byte) $50 [phi:testBinaryOperator::@18->assertType#0] -- vbuxx=vbuc1
@ -2954,6 +2965,7 @@ testBinaryOperator: {
// [62] (byte) idx#40 ← ++ (byte) idx#108 -- vbuxx=_inc_vbuxx
inx
// [63] call assertType
// Binary Operations between unsigned dword & other types
// [87] phi from testBinaryOperator::@24 to assertType [phi:testBinaryOperator::@24->assertType]
assertType_from___b24:
// [87] phi (byte) idx#105 = (byte) idx#40 [phi:testBinaryOperator::@24->assertType#0] -- register_copy
@ -3044,6 +3056,7 @@ testBinaryOperator: {
// [74] (byte) idx#47 ← ++ (byte) idx#108 -- vbuxx=_inc_vbuxx
inx
// [75] call assertType
// Binary Operations between signed dword & other types
// [87] phi from testBinaryOperator::@30 to assertType [phi:testBinaryOperator::@30->assertType]
assertType_from___b30:
// [87] phi (byte) idx#105 = (byte) idx#47 [phi:testBinaryOperator::@30->assertType#0] -- register_copy
@ -3174,6 +3187,7 @@ assertType: {
// testUnaryOperator
testUnaryOperator: {
// [95] call assertType
// Unary Operations
// [87] phi from testUnaryOperator to assertType [phi:testUnaryOperator->assertType]
assertType_from_testUnaryOperator:
// [87] phi (byte) idx#105 = (byte) 0 [phi:testUnaryOperator->assertType#0] -- vbuxx=vbuc1
@ -3401,7 +3415,6 @@ Removing instruction assertType_from___b16:
Removing instruction __b17_from___b16:
Removing instruction assertType_from___b17:
Removing instruction __b18_from___b17:
Removing instruction assertType_from___b18:
Removing instruction __b19_from___b18:
Removing instruction assertType_from___b19:
Removing instruction __b20_from___b19:
@ -3470,6 +3483,7 @@ Removing instruction __b15:
Removing instruction __b16:
Removing instruction __b17:
Removing instruction __b18:
Removing instruction assertType_from___b18:
Removing instruction __b19:
Removing instruction __b20:
Removing instruction __b21:
@ -3681,6 +3695,7 @@ main: {
testBinaryOperator: {
// assertType(typeid(12ub+12ub), typeid(unsigned byte))
// [15] call assertType
// Binary Operations between unsigned byte & other types
// [87] phi from testBinaryOperator to assertType [phi:testBinaryOperator->assertType]
// [87] phi (byte) idx#105 = (byte) $28 [phi:testBinaryOperator->assertType#0] -- vbuxx=vbuc1
ldx #$28
@ -3756,6 +3771,7 @@ testBinaryOperator: {
inx
// assertType(typeid(12sb+12ub), typeid(unsigned byte))
// [27] call assertType
// Binary Operations between signed byte & other types
// [87] phi from testBinaryOperator::@6 to assertType [phi:testBinaryOperator::@6->assertType]
// [87] phi (byte) idx#105 = (byte) idx#19 [phi:testBinaryOperator::@6->assertType#0] -- register_copy
// [87] phi (byte) assertType::t2#42 = (const byte) TYPEID_BYTE [phi:testBinaryOperator::@6->assertType#1] -- vbuz1=vbuc1
@ -3830,6 +3846,7 @@ testBinaryOperator: {
inx
// assertType(typeid(12uw+12ub), typeid(unsigned word))
// [39] call assertType
// Binary Operations between unsigned word & other types
// [87] phi from testBinaryOperator::@12 to assertType [phi:testBinaryOperator::@12->assertType]
// [87] phi (byte) idx#105 = (byte) idx#26 [phi:testBinaryOperator::@12->assertType#0] -- register_copy
// [87] phi (byte) assertType::t2#42 = (const byte) TYPEID_WORD [phi:testBinaryOperator::@12->assertType#1] -- vbuz1=vbuc1
@ -3902,6 +3919,7 @@ testBinaryOperator: {
// testBinaryOperator::@18
// assertType(typeid(12sw+12ub), typeid(signed word))
// [51] call assertType
// Binary Operations between signed word & other types
// [87] phi from testBinaryOperator::@18 to assertType [phi:testBinaryOperator::@18->assertType]
// [87] phi (byte) idx#105 = (byte) $50 [phi:testBinaryOperator::@18->assertType#0] -- vbuxx=vbuc1
ldx #$50
@ -3977,6 +3995,7 @@ testBinaryOperator: {
inx
// assertType(typeid(12ud+12ub), typeid(unsigned dword))
// [63] call assertType
// Binary Operations between unsigned dword & other types
// [87] phi from testBinaryOperator::@24 to assertType [phi:testBinaryOperator::@24->assertType]
// [87] phi (byte) idx#105 = (byte) idx#40 [phi:testBinaryOperator::@24->assertType#0] -- register_copy
// [87] phi (byte) assertType::t2#42 = (const byte) TYPEID_DWORD [phi:testBinaryOperator::@24->assertType#1] -- vbuz1=vbuc1
@ -4051,6 +4070,7 @@ testBinaryOperator: {
inx
// assertType(typeid(12sd+12ub), typeid(signed dword))
// [75] call assertType
// Binary Operations between signed dword & other types
// [87] phi from testBinaryOperator::@30 to assertType [phi:testBinaryOperator::@30->assertType]
// [87] phi (byte) idx#105 = (byte) idx#47 [phi:testBinaryOperator::@30->assertType#0] -- register_copy
// [87] phi (byte) assertType::t2#42 = (const byte) TYPEID_SIGNED_DWORD [phi:testBinaryOperator::@30->assertType#1] -- vbuz1=vbuc1
@ -4166,6 +4186,7 @@ assertType: {
testUnaryOperator: {
// assertType(typeid(-12ub), typeid(unsigned byte))
// [95] call assertType
// Unary Operations
// [87] phi from testUnaryOperator to assertType [phi:testUnaryOperator->assertType]
// [87] phi (byte) idx#105 = (byte) 0 [phi:testUnaryOperator->assertType#0] -- vbuxx=vbuc1
ldx #0

1
src/test/ref/int-literals.asm
View File

@ -46,6 +46,7 @@ main: {
}
testSimpleTypes: {
// assertType(typeid(12ub), typeid(unsigned byte))
// Simple types
ldx #0
lda #TYPEID_BYTE
sta.z assertType.t2

3
src/test/ref/int-literals.log
View File

@ -842,6 +842,7 @@ main: {
// testSimpleTypes
testSimpleTypes: {
// [13] call assertType
// Simple types
// [43] phi from testSimpleTypes to assertType [phi:testSimpleTypes->assertType]
assertType_from_testSimpleTypes:
// [43] phi (byte) idx#41 = (byte) 0 [phi:testSimpleTypes->assertType#0] -- vbuz1=vbuc1
@ -1248,6 +1249,7 @@ main: {
// testSimpleTypes
testSimpleTypes: {
// [13] call assertType
// Simple types
// [43] phi from testSimpleTypes to assertType [phi:testSimpleTypes->assertType]
assertType_from_testSimpleTypes:
// [43] phi (byte) idx#41 = (byte) 0 [phi:testSimpleTypes->assertType#0] -- vbuxx=vbuc1
@ -1754,6 +1756,7 @@ main: {
testSimpleTypes: {
// assertType(typeid(12ub), typeid(unsigned byte))
// [13] call assertType
// Simple types
// [43] phi from testSimpleTypes to assertType [phi:testSimpleTypes->assertType]
// [43] phi (byte) idx#41 = (byte) 0 [phi:testSimpleTypes->assertType#0] -- vbuxx=vbuc1
ldx #0

1
src/test/ref/linegen.asm
View File

@ -264,6 +264,7 @@ print_byte: {
// print_char(print_hextab[b>>4])
tay
lda print_hextab,y
// Table of hexadecimal digits
jsr print_char
// b&$f
lda #$f

3
src/test/ref/linegen.log
View File

@ -2975,6 +2975,7 @@ print_byte: {
lda print_hextab,y
sta.z print_char.ch
// [78] call print_char
// Table of hexadecimal digits
// [83] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [83] phi (byte*) print_char_cursor#50 = (byte*) print_char_cursor#81 [phi:print_byte->print_char#0] -- register_copy
@ -4150,6 +4151,7 @@ print_byte: {
tay
lda print_hextab,y
// [78] call print_char
// Table of hexadecimal digits
// [83] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [83] phi (byte*) print_char_cursor#50 = (byte*) print_char_cursor#81 [phi:print_byte->print_char#0] -- register_copy
@ -5441,6 +5443,7 @@ print_byte: {
tay
lda print_hextab,y
// [78] call print_char
// Table of hexadecimal digits
// [83] phi from print_byte to print_char [phi:print_byte->print_char]
// [83] phi (byte*) print_char_cursor#50 = (byte*) print_char_cursor#81 [phi:print_byte->print_char#0] -- register_copy
// [83] phi (byte) print_char::ch#2 = (byte) print_char::ch#0 [phi:print_byte->print_char#1] -- register_copy

1
src/test/ref/millfork-benchmarks/linkedlist-kc.asm
View File

@ -146,6 +146,7 @@ print_byte: {
// print_char(print_hextab[b>>4])
tay
lda print_hextab,y
// Table of hexadecimal digits
jsr print_char
// b&$f
lda #$f

3
src/test/ref/millfork-benchmarks/linkedlist-kc.log
View File

@ -1753,6 +1753,7 @@ print_byte: {
lda print_hextab,y
sta.z print_char.ch
// [47] call print_char
// Table of hexadecimal digits
// [52] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [52] phi (byte*) print_char_cursor#26 = (byte*) print_char_cursor#10 [phi:print_byte->print_char#0] -- register_copy
@ -2380,6 +2381,7 @@ print_byte: {
tay
lda print_hextab,y
// [47] call print_char
// Table of hexadecimal digits
// [52] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [52] phi (byte*) print_char_cursor#26 = (byte*) print_char_cursor#10 [phi:print_byte->print_char#0] -- register_copy
@ -3042,6 +3044,7 @@ print_byte: {
tay
lda print_hextab,y
// [47] call print_char
// Table of hexadecimal digits
// [52] phi from print_byte to print_char [phi:print_byte->print_char]
// [52] phi (byte*) print_char_cursor#26 = (byte*) print_char_cursor#10 [phi:print_byte->print_char#0] -- register_copy
// [52] phi (byte) print_char::ch#3 = (byte) print_char::ch#0 [phi:print_byte->print_char#1] -- register_copy

4
src/test/ref/millfork-benchmarks/plasma-kc.asm
View File

@ -69,11 +69,13 @@ main: {
lda.z block
sta CIA2_PORT_A
// end()
/* Reset screen colors */
jsr end
// }
rts
__b2:
// doplasma ((char*)SCREEN1)
/* Build page 1, then make it visible */
lda #<SCREEN1
sta.z doplasma.scrn
lda #>SCREEN1
@ -83,6 +85,7 @@ main: {
lda #PAGE1
sta VIC_MEMORY
// doplasma ((char*)SCREEN2)
/* Build page 2, then make it visible */
lda #<SCREEN2
sta.z doplasma.scrn
lda #>SCREEN2
@ -293,6 +296,7 @@ print_byte: {
// print_char(print_hextab[b>>4])
tay
lda print_hextab,y
// Table of hexadecimal digits
jsr print_char
// b&$f
lda #$f

14
src/test/ref/millfork-benchmarks/plasma-kc.log
View File

@ -2138,6 +2138,7 @@ main: {
lda.z block
sta CIA2_PORT_A
// [18] call end
/* Reset screen colors */
jsr end
jmp __breturn
// main::@return
@ -2150,6 +2151,7 @@ main: {
// main::@2
__b2:
// [21] call doplasma
/* Build page 1, then make it visible */
// [26] phi from main::@2 to doplasma [phi:main::@2->doplasma]
doplasma_from___b2:
// [26] phi (byte*) doplasma::scrn#13 = (const byte*) SCREEN1 [phi:main::@2->doplasma#0] -- pbuz1=pbuc1
@ -2165,6 +2167,7 @@ main: {
lda #PAGE1
sta VIC_MEMORY
// [23] call doplasma
/* Build page 2, then make it visible */
// [26] phi from main::@6 to doplasma [phi:main::@6->doplasma]
doplasma_from___b6:
// [26] phi (byte*) doplasma::scrn#13 = (const byte*) SCREEN2 [phi:main::@6->doplasma#0] -- pbuz1=pbuc1
@ -2511,6 +2514,7 @@ print_byte: {
lda print_hextab,y
sta.z print_char.ch
// [73] call print_char
// Table of hexadecimal digits
// [78] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [78] phi (byte*) print_char_cursor#25 = (byte*) print_char_cursor#35 [phi:print_byte->print_char#0] -- register_copy
@ -3120,6 +3124,7 @@ main: {
lda.z block
sta CIA2_PORT_A
// [18] call end
/* Reset screen colors */
jsr end
jmp __breturn
// main::@return
@ -3132,6 +3137,7 @@ main: {
// main::@2
__b2:
// [21] call doplasma
/* Build page 1, then make it visible */
// [26] phi from main::@2 to doplasma [phi:main::@2->doplasma]
doplasma_from___b2:
// [26] phi (byte*) doplasma::scrn#13 = (const byte*) SCREEN1 [phi:main::@2->doplasma#0] -- pbuz1=pbuc1
@ -3147,6 +3153,7 @@ main: {
lda #PAGE1
sta VIC_MEMORY
// [23] call doplasma
/* Build page 2, then make it visible */
// [26] phi from main::@6 to doplasma [phi:main::@6->doplasma]
doplasma_from___b6:
// [26] phi (byte*) doplasma::scrn#13 = (const byte*) SCREEN2 [phi:main::@6->doplasma#0] -- pbuz1=pbuc1
@ -3466,6 +3473,7 @@ print_byte: {
tay
lda print_hextab,y
// [73] call print_char
// Table of hexadecimal digits
// [78] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [78] phi (byte*) print_char_cursor#25 = (byte*) print_char_cursor#35 [phi:print_byte->print_char#0] -- register_copy
@ -3778,7 +3786,6 @@ Removing instruction __b3_from___b2:
Removing instruction __bend_from___b3:
Removing instruction __b4_from_main:
Removing instruction __b2_from___b1:
Removing instruction doplasma_from___b2:
Removing instruction __b2_from___b1:
Removing instruction print_ln_from___b2:
Removing instruction __b1_from___b1:
@ -3795,6 +3802,7 @@ Removing instruction __b5:
Removing instruction __b1_from___b5:
Removing instruction __b3:
Removing instruction __breturn:
Removing instruction doplasma_from___b2:
Removing instruction __b6:
Removing instruction doplasma_from___b6:
Removing instruction __b7:
@ -4154,6 +4162,7 @@ main: {
sta CIA2_PORT_A
// end()
// [18] call end
/* Reset screen colors */
jsr end
// main::@return
// }
@ -4164,6 +4173,7 @@ main: {
__b2:
// doplasma ((char*)SCREEN1)
// [21] call doplasma
/* Build page 1, then make it visible */
// [26] phi from main::@2 to doplasma [phi:main::@2->doplasma]
// [26] phi (byte*) doplasma::scrn#13 = (const byte*) SCREEN1 [phi:main::@2->doplasma#0] -- pbuz1=pbuc1
lda #<SCREEN1
@ -4178,6 +4188,7 @@ main: {
sta VIC_MEMORY
// doplasma ((char*)SCREEN2)
// [23] call doplasma
/* Build page 2, then make it visible */
// [26] phi from main::@6 to doplasma [phi:main::@6->doplasma]
// [26] phi (byte*) doplasma::scrn#13 = (const byte*) SCREEN2 [phi:main::@6->doplasma#0] -- pbuz1=pbuc1
lda #<SCREEN2
@ -4493,6 +4504,7 @@ print_byte: {
tay
lda print_hextab,y
// [73] call print_char
// Table of hexadecimal digits
// [78] phi from print_byte to print_char [phi:print_byte->print_char]
// [78] phi (byte*) print_char_cursor#25 = (byte*) print_char_cursor#35 [phi:print_byte->print_char#0] -- register_copy
// [78] phi (byte) print_char::ch#2 = (byte) print_char::ch#0 [phi:print_byte->print_char#1] -- register_copy

1
src/test/ref/millfork-benchmarks/romsum-kc.asm
View File

@ -353,6 +353,7 @@ print_byte: {
// print_char(print_hextab[b>>4])
tay
lda DIGITS,y
// Table of hexadecimal digits
jsr print_char
// b&$f
lda #$f

3
src/test/ref/millfork-benchmarks/romsum-kc.log
View File

@ -2641,6 +2641,7 @@ print_byte: {
lda DIGITS,y
sta.z print_char.ch
// [94] call print_char
// Table of hexadecimal digits
// [99] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [99] phi (byte*) print_char_cursor#35 = (byte*) print_char_cursor#49 [phi:print_byte->print_char#0] -- register_copy
@ -3475,6 +3476,7 @@ print_byte: {
tay
lda DIGITS,y
// [94] call print_char
// Table of hexadecimal digits
// [99] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [99] phi (byte*) print_char_cursor#35 = (byte*) print_char_cursor#49 [phi:print_byte->print_char#0] -- register_copy
@ -4403,6 +4405,7 @@ print_byte: {
tay
lda DIGITS,y
// [94] call print_char
// Table of hexadecimal digits
// [99] phi from print_byte to print_char [phi:print_byte->print_char]
// [99] phi (byte*) print_char_cursor#35 = (byte*) print_char_cursor#49 [phi:print_byte->print_char#0] -- register_copy
// [99] phi (byte) print_char::ch#2 = (byte) print_char::ch#0 [phi:print_byte->print_char#1] -- register_copy

1
src/test/ref/millfork-benchmarks/sieve-kc.asm
View File

@ -129,6 +129,7 @@ print_byte: {
// print_char(print_hextab[b>>4])
tay
lda print_hextab,y
// Table of hexadecimal digits
jsr print_char
// b&$f
lda #$f

3
src/test/ref/millfork-benchmarks/sieve-kc.log
View File

@ -1419,6 +1419,7 @@ print_byte: {
lda print_hextab,y
sta.z print_char.ch
// [52] call print_char
// Table of hexadecimal digits
// [57] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [57] phi (byte*) print_char_cursor#25 = (byte*) print_char_cursor#35 [phi:print_byte->print_char#0] -- register_copy
@ -1976,6 +1977,7 @@ print_byte: {
tay
lda print_hextab,y
// [52] call print_char
// Table of hexadecimal digits
// [57] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [57] phi (byte*) print_char_cursor#25 = (byte*) print_char_cursor#35 [phi:print_byte->print_char#0] -- register_copy
@ -2601,6 +2603,7 @@ print_byte: {
tay
lda print_hextab,y
// [52] call print_char
// Table of hexadecimal digits
// [57] phi from print_byte to print_char [phi:print_byte->print_char]
// [57] phi (byte*) print_char_cursor#25 = (byte*) print_char_cursor#35 [phi:print_byte->print_char#0] -- register_copy
// [57] phi (byte) print_char::ch#2 = (byte) print_char::ch#0 [phi:print_byte->print_char#1] -- register_copy

1
src/test/ref/min-fmul-16.asm
View File

@ -90,6 +90,7 @@ print_byte: {
// print_char(print_hextab[b>>4])
tay
lda print_hextab,y
// Table of hexadecimal digits
jsr print_char
// b&$f
lda #$f

3
src/test/ref/min-fmul-16.log
View File

@ -1478,6 +1478,7 @@ print_byte: {
lda print_hextab,y
sta.z print_char.ch
// [34] call print_char
// Table of hexadecimal digits
// [39] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [39] phi (byte*) print_char_cursor#27 = (byte*) print_char_cursor#36 [phi:print_byte->print_char#0] -- register_copy
@ -2211,6 +2212,7 @@ print_byte: {
tay
lda print_hextab,y
// [34] call print_char
// Table of hexadecimal digits
// [39] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [39] phi (byte*) print_char_cursor#27 = (byte*) print_char_cursor#36 [phi:print_byte->print_char#0] -- register_copy
@ -2995,6 +2997,7 @@ print_byte: {
tay
lda print_hextab,y
// [34] call print_char
// Table of hexadecimal digits
// [39] phi from print_byte to print_char [phi:print_byte->print_char]
// [39] phi (byte*) print_char_cursor#27 = (byte*) print_char_cursor#36 [phi:print_byte->print_char#0] -- register_copy
// [39] phi (byte) print_char::ch#2 = (byte) print_char::ch#0 [phi:print_byte->print_char#1] -- register_copy

1
src/test/ref/multiplexer-irq/simple-multiplexer-irq.asm
View File

@ -203,6 +203,7 @@ init: {
lda #VIC_DEN|VIC_RSEL|3
sta D011
// plexInit(SCREEN)
// Initialize the multiplexer
jsr plexInit
lda #<$20
sta.z xp

3
src/test/ref/multiplexer-irq/simple-multiplexer-irq.log
View File

@ -1857,6 +1857,7 @@ init: {
lda #VIC_DEN|VIC_RSEL|3
sta D011
// [57] call plexInit
// Initialize the multiplexer
// [77] phi from init to plexInit [phi:init->plexInit]
plexInit_from_init:
jsr plexInit
@ -2862,6 +2863,7 @@ init: {
lda #VIC_DEN|VIC_RSEL|3
sta D011
// [57] call plexInit
// Initialize the multiplexer
// [77] phi from init to plexInit [phi:init->plexInit]
plexInit_from_init:
jsr plexInit
@ -3831,6 +3833,7 @@ init: {
sta D011
// plexInit(SCREEN)
// [57] call plexInit
// Initialize the multiplexer
// [77] phi from init to plexInit [phi:init->plexInit]
jsr plexInit
// [58] phi from init to init::@1 [phi:init->init::@1]

2
src/test/ref/plasma-center.asm
View File

@ -744,12 +744,14 @@ atan2_16: {
dey
jmp __b13
__b4:
// (x>=0)?x:-x
lda.z x
sta.z xi
lda.z x+1
sta.z xi+1
jmp __b6
__b1:
// (y>=0)?y:-y
lda.z y
sta.z yi
lda.z y+1

2
src/test/ref/plasma-center.log
View File

@ -11310,6 +11310,7 @@ atan2_16: {
jmp __b13
// atan2_16::@4
__b4:
// (x>=0)?x:-x
// [168] (signed word) atan2_16::xi#13 ← (signed word) atan2_16::x#0 -- vwsz1=vwsz2
lda.z x
sta.z xi
@ -11318,6 +11319,7 @@ atan2_16: {
jmp __b6
// atan2_16::@1
__b1:
// (y>=0)?y:-y
// [169] (signed word) atan2_16::yi#16 ← (signed word) atan2_16::y#0 -- vwsz1=vwsz2
lda.z y
sta.z yi

1
src/test/ref/processor-port-test.asm
View File

@ -383,6 +383,7 @@ print_byte: {
// print_char(print_hextab[b>>4])
tay
lda print_hextab,y
// Table of hexadecimal digits
jsr print_char
// b&$f
lda #$f

3
src/test/ref/processor-port-test.log
View File

@ -3306,6 +3306,7 @@ print_byte: {
lda print_hextab,y
sta.z print_char.ch
// [117] call print_char
// Table of hexadecimal digits
// [122] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [122] phi (byte*) print_char_cursor#65 = (byte*) print_char_cursor#114 [phi:print_byte->print_char#0] -- register_copy
@ -4372,6 +4373,7 @@ print_byte: {
tay
lda print_hextab,y
// [117] call print_char
// Table of hexadecimal digits
// [122] phi from print_byte to print_char [phi:print_byte->print_char]
print_char_from_print_byte:
// [122] phi (byte*) print_char_cursor#65 = (byte*) print_char_cursor#114 [phi:print_byte->print_char#0] -- register_copy
@ -5598,6 +5600,7 @@ print_byte: {
tay
lda print_hextab,y
// [117] call print_char
// Table of hexadecimal digits
// [122] phi from print_byte to print_char [phi:print_byte->print_char]
// [122] phi (byte*) print_char_cursor#65 = (byte*) print_char_cursor#114 [phi:print_byte->print_char#0] -- register_copy
// [122] phi (byte) print_char::ch#2 = (byte) print_char::ch#0 [phi:print_byte->print_char#1] -- register_copy

2
src/test/ref/sandbox-ternary-error.asm
View File

@ -15,7 +15,9 @@ main: {
lda #'c'
jmp __b3
__b4:
// (b == 1) ? 'b' : 'c'
lda #'b'
// (b == 0) ? 'a' : ((b == 1) ? 'b' : 'c')
jmp __b3
b1:
lda #'a'

2
src/test/ref/sandbox-ternary-error.log
View File

@ -526,10 +526,12 @@ main: {
// [8] phi from main::@2 to main::@4 [phi:main::@2->main::@4]
// main::@4
__b4:
// (b == 1) ? 'b' : 'c'
// [9] phi from main::@4 to main::@5 [phi:main::@4->main::@5]
// [9] phi (byte~) main::$5 = (byte) 'b' [phi:main::@4->main::@5#0] -- vbuaa=vbuc1
lda #'b'
// main::@5
// (b == 0) ? 'a' : ((b == 1) ? 'b' : 'c')
// [10] phi from main::@5 to main::@3 [phi:main::@5->main::@3]
// [10] phi (byte~) main::$7 = (byte~) main::$5 [phi:main::@5->main::@3#0] -- register_copy
jmp __b3

5
src/test/ref/sandbox.asm
View File

@ -146,6 +146,8 @@ main: {
lda.z myprintf.w3+1
adc.z __5+1
sta.z myprintf.w3+1
// lower case letters in string literal are placed in string as 0x01-0x1A, should be 0x61-0x7A
// -- as a side-effect of above issue, we can use "m" for carriage return. The normal way is the escape code "\r" but that is not supported --
lda #<str
sta.z myprintf.str
lda #>str
@ -389,6 +391,7 @@ myprintf: {
lda #$57
jmp __b11
__b10:
// b < 10 ? '0' : 0x57
lda #'0'
__b11:
// (b < 10 ? '0' : 0x57) + b
@ -411,6 +414,7 @@ myprintf: {
lda #$57
jmp __b13
__b12:
// b < 10 ? '0' : 0x57
lda #'0'
__b13:
// (b < 10 ? '0' : 0x57) + b
@ -499,6 +503,7 @@ myprintf: {
lda #'0'
jmp __b21
__b20:
// (bLeadZero == 0) ? ' ' : '0'
lda #' '
__b21:
// dst[bLen++] = (bLeadZero == 0) ? ' ' : '0'

23
src/test/ref/sandbox.log
View File

@ -4669,6 +4669,8 @@ main: {
lda.z v+1
sta.z myprintf.w2+1
// [44] call myprintf
// lower case letters in string literal are placed in string as 0x01-0x1A, should be 0x61-0x7A
// -- as a side-effect of above issue, we can use "m" for carriage return. The normal way is the escape code "\r" but that is not supported --
// [78] phi from main::@6 to myprintf [phi:main::@6->myprintf]
myprintf_from___b6:
// [78] phi (word) myprintf::w3#8 = (word) myprintf::w3#0 [phi:main::@6->myprintf#0] -- register_copy
@ -6635,6 +6637,8 @@ main: {
// [42] (word) myprintf::w1#0 ← (word) main::u#15
// [43] (word) myprintf::w2#0 ← (word) main::v#11
// [44] call myprintf
// lower case letters in string literal are placed in string as 0x01-0x1A, should be 0x61-0x7A
// -- as a side-effect of above issue, we can use "m" for carriage return. The normal way is the escape code "\r" but that is not supported --
// [78] phi from main::@6 to myprintf [phi:main::@6->myprintf]
myprintf_from___b6:
// [78] phi (word) myprintf::w3#8 = (word) myprintf::w3#0 [phi:main::@6->myprintf#0] -- register_copy
@ -8081,13 +8085,13 @@ Succesful ASM optimization Pass5RedundantLabelElimination
Removing instruction __bbegin:
Removing instruction b3:
Succesful ASM optimization Pass5UnusedLabelElimination
Fixing long branch [374] bcs b1 to bcc
Fixing long branch [267] beq __b4 to bne
Fixing long branch [284] bcc __b28 to bcs
Fixing long branch [287] beq __b28 to bne
Fixing long branch [298] beq __b8 to bne
Fixing long branch [494] bne __b5 to beq
Fixing long branch [499] bcs __b5 to bcc
Fixing long branch [376] bcs b1 to bcc
Fixing long branch [269] beq __b4 to bne
Fixing long branch [286] bcc __b28 to bcs
Fixing long branch [289] beq __b28 to bne
Fixing long branch [300] beq __b8 to bne
Fixing long branch [496] bne __b5 to beq
Fixing long branch [501] bcs __b5 to bcc
FINAL SYMBOL TABLE
(label) @1
@ -8665,6 +8669,8 @@ main: {
// [42] (word) myprintf::w1#0 ← (word) main::u#15
// [43] (word) myprintf::w2#0 ← (word) main::v#11
// [44] call myprintf
// lower case letters in string literal are placed in string as 0x01-0x1A, should be 0x61-0x7A
// -- as a side-effect of above issue, we can use "m" for carriage return. The normal way is the escape code "\r" but that is not supported --
// [78] phi from main::@6 to myprintf [phi:main::@6->myprintf]
// [78] phi (word) myprintf::w3#8 = (word) myprintf::w3#0 [phi:main::@6->myprintf#0] -- register_copy
// [78] phi (word) myprintf::w2#8 = (word) myprintf::w2#0 [phi:main::@6->myprintf#1] -- register_copy
@ -9061,6 +9067,7 @@ myprintf: {
// [100] phi from myprintf::@31 to myprintf::@10 [phi:myprintf::@31->myprintf::@10]
// myprintf::@10
__b10:
// b < 10 ? '0' : 0x57
// [101] phi from myprintf::@10 to myprintf::@11 [phi:myprintf::@10->myprintf::@11]
// [101] phi (byte~) myprintf::$24 = (byte) '0' [phi:myprintf::@10->myprintf::@11#0] -- vbuaa=vbuc1
lda #'0'
@ -9096,6 +9103,7 @@ myprintf: {
// [108] phi from myprintf::@11 to myprintf::@12 [phi:myprintf::@11->myprintf::@12]
// myprintf::@12
__b12:
// b < 10 ? '0' : 0x57
// [109] phi from myprintf::@12 to myprintf::@13 [phi:myprintf::@12->myprintf::@13]
// [109] phi (byte~) myprintf::$31 = (byte) '0' [phi:myprintf::@12->myprintf::@13#0] -- vbuaa=vbuc1
lda #'0'
@ -9243,6 +9251,7 @@ myprintf: {
// [135] phi from myprintf::@19 to myprintf::@20 [phi:myprintf::@19->myprintf::@20]
// myprintf::@20
__b20:
// (bLeadZero == 0) ? ' ' : '0'
// [136] phi from myprintf::@20 to myprintf::@21 [phi:myprintf::@20->myprintf::@21]
// [136] phi (byte~) myprintf::$43 = (byte) ' ' [phi:myprintf::@20->myprintf::@21#0] -- vbuaa=vbuc1
lda #' '

3
src/test/ref/screen-center-angle.asm
View File

@ -129,6 +129,7 @@ print_byte_at: {
sta.z print_char_at.at
lda.z at+1
sta.z print_char_at.at+1
// Table of hexadecimal digits
jsr print_char_at
// b&$f
lda #$f
@ -495,12 +496,14 @@ atan2_16: {
dey
jmp __b13
__b4:
// (x>=0)?x:-x
lda.z x
sta.z xi
lda.z x+1
sta.z xi+1
jmp __b6
__b1:
// (y>=0)?y:-y
lda.z y
sta.z yi
lda.z y+1

11
src/test/ref/screen-center-angle.log
View File

@ -2730,6 +2730,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [38] call print_char_at
// Table of hexadecimal digits
// [44] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
print_char_at_from_print_byte_at:
// [44] phi (byte*) print_char_at::at#2 = (byte*) print_char_at::at#0 [phi:print_byte_at->print_char_at#0] -- register_copy
@ -4094,6 +4095,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [38] call print_char_at
// Table of hexadecimal digits
// [44] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
print_char_at_from_print_byte_at:
// [44] phi (byte*) print_char_at::at#2 = (byte*) print_char_at::at#0 [phi:print_byte_at->print_char_at#0] -- register_copy
@ -5002,9 +5004,9 @@ Removing instruction jmp __b3
Succesful ASM optimization Pass5NextJumpElimination
Removing instruction __bbegin:
Succesful ASM optimization Pass5UnusedLabelElimination
Fixing long branch [372] beq __b12 to bne
Fixing long branch [266] bpl __b1 to bmi
Fixing long branch [278] bpl __b4 to bmi
Fixing long branch [373] beq __b12 to bne
Fixing long branch [267] bpl __b1 to bmi
Fixing long branch [279] bpl __b4 to bmi
FINAL SYMBOL TABLE
(label) @1
@ -5484,6 +5486,7 @@ print_byte_at: {
lda.z at+1
sta.z print_char_at.at+1
// [38] call print_char_at
// Table of hexadecimal digits
// [44] phi from print_byte_at to print_char_at [phi:print_byte_at->print_char_at]
// [44] phi (byte*) print_char_at::at#2 = (byte*) print_char_at::at#0 [phi:print_byte_at->print_char_at#0] -- register_copy
// [44] phi (byte) print_char_at::ch#2 = (byte) print_char_at::ch#0 [phi:print_byte_at->print_char_at#1] -- register_copy
@ -6004,6 +6007,7 @@ atan2_16: {
jmp __b13
// atan2_16::@4
__b4:
// (x>=0)?x:-x
// [120] (signed word) atan2_16::xi#13 ← (signed word) atan2_16::x#0 -- vwsz1=vwsz2
lda.z x
sta.z xi
@ -6012,6 +6016,7 @@ atan2_16: {
jmp __b6
// atan2_16::@1
__b1:
// (y>=0)?y:-y
// [121] (signed word) atan2_16::yi#16 ← (signed word) atan2_16::y#0 -- vwsz1=vwsz2
lda.z y
sta.z yi

1
src/test/ref/screen-center-distance.asm
View File

@ -134,6 +134,7 @@ print_byte_at: {
sta.z print_char_at.at
lda.z at+1
sta.z print_char_at.at+1
// Table of hexadecimal digits
jsr print_char_at
// b&$f
lda #$f

Some files were not shown because too many files have changed in this diff Show More