constantfolding.java

用Java实现的编译器。把源代码编译成SPARC汇编程序

/**
*This class is used for expressions using the AND operation.
*This class extends the Exp abstract class
**/
package CatDecaf.Optimizer;
import CatDecaf.IR.*;
import CatDecaf.Utilities.*;
import java6035.tools.ASM.*;
import java.io.*;
import java.util.*;
import CatDecaf.SymTable.*;
import parser.*;

public class ConstantFolding implements Visitor{

public static boolean newOptDone;

	
	public void visit(Ir n){        } //abstract class
	public void visit(IrProg n){
		newOptDone = false;
		if(n.fdDeclList_!=null)
			n.fdDeclList_.accept(this);
		
		if(n.mdDeclList_ != null)
			n.mdDeclList_.accept(this);  //this should never be empty

		
	}
	public void visit(FdDeclList n){ //not printing List classes
		while(n!= null)
		{	
			n.fdDecl_.accept(this);
			n = n.fdDeclList_;
		}
	}
	public void visit(FdDecl n){
		if(n.glbVarList_==null) System.out.println("ERROR!!!!!!!!!!!!!!!");
		n.typ_.accept(this);
		n.glbVarList_.accept(this);
	}
	public void visit(GlbVar n){ } //abstract class
	public void visit(GlbVarArray n){
		n.identifier_.accept(this);
		n.ltrInt_.accept(this);
	}	
	public void visit(GlbVarId n){
		n.identifier_.accept(this);
	}	
	public void visit(GlbVarList n){ //not printing List classes
		while(n!= null)
		{	
			n.glbVar_.accept(this);
			n = n.glbVarList_;
		}
	}	
	public void visit(Typ n){	}	//abstract class
	public void visit(TypInt n){
	}
	public void visit(TypBool n){
	}
	public void visit(TypVoid n){
	}
	public void visit(MdDeclList n){ //not printing List classes
		while(n!= null)
		{	
			n.mdDecl_.accept(this);
			n = n.mdDeclList_;
		}
	}	
	public void visit(MdDecl n){
		n.typ_.accept(this);
		n.identifier_.accept(this);
		if(n.mdParaList_ !=null){ //method parameter list could be NULL
			n.mdParaList_.accept(this);
		}
		n.block_.accept(this);
	}	
	public void visit(MdParaList n){ //not printing List classes
		while(n!= null)
		{	
			n.mdPara_.accept(this);
			n = n.mdParaList_;
		}
	}	
	public void visit(MdPara n){
		n.typ_.accept(this);
		n.identifier_.accept(this);
	}	
	public void visit(Block n){
		if(n.varDeclList_!=null) //var declaration list could be empty
			n.varDeclList_.accept(this);
		if(n.stmtList_!=null)//list can be empty
			n.stmtList_.accept(this);
	}
	public void visit(VarDecl n){
		n.typ_.accept(this);
		if(n.locVarList_==null) System.out.println("ERROR!!!!!!!!!!!!!!!");
		n.locVarList_.accept(this);
	}	
	public void visit(VarDeclList n){ //not printing List classes
		while(n!= null)
		{	
			n.varDecl_.accept(this);
			n = n.varDeclList_;
		}
	}
	public void visit(LocVar n){
		n.identifier_.accept(this);
	}	
	public void visit(LocVarList n){ //not printing List classes
		while(n!= null)
		{	
			n.locVar_.accept(this);
			n = n.locVarList_;
		}
	}
	public void visit(StmtList n){ //not printing List classes
		while(n!= null)
		{	
			n.stmt_.accept(this);
			n = n.stmtList_;
		}
	}
	public void visit(Stmt n){	}	 //abstract class
	public void visit(StmtLocation n){
		n.location_.accept(this);
				
		n.exp_.accept(this);
		if(n.exp_.compileResult != null) n.exp_ = n.exp_.compileResult;
		
	}	
	public void visit(StmtBlock n){
		n.block_.accept(this);
	}	
	public void visit(StmtMdCall n){
		n.mdCall_.accept(this);
	}	
	public void visit(Location n){	}	//abstract class
	public void visit(LocationId n){
		n.identifier_.accept(this);
	}
	public void visit(LocationArray n){
		n.identifier_.accept(this);
		n.exp_.accept(this);
		if(n.exp_.compileResult != null) n.exp_ = n.exp_.compileResult;
	}
	public void visit(CallOutArgList n){ //not printing List classes
		while(n!= null)
		{	
			n.callOutArg_.accept(this);
			n = n.callOutArgList_;
		}
	}
	public void visit(CallOutArg n){	}	//abstract class
	public void visit(CallOutArgExp n){
		n.exp_.accept(this);
		if(n.exp_.compileResult != null) n.exp_ = n.exp_.compileResult;
	}
	public void visit(CallOutArgStr n){
		n.ltrString_.accept(this);
	}
	public void visit(MdCall n){	}	//abstract class
	public void visit(MdCallOut n){
		n.ltrString_.accept(this);
		if(n.callOutArgList_!=null) //could be empty
			n.callOutArgList_.accept(this);
	}
	public void visit(MdCallIn n){
		n.identifier_.accept(this);
		if(n.expList_!=null) //could be empty
			n.expList_.accept(this);
	}	
	public void visit(ExpList n){ //not printing List classes
		while(n!= null)
		{	
			n.exp_.accept(this);
			if(n.exp_.compileResult != null) n.exp_ = n.exp_.compileResult;
			n = n.expList_;
		}
	}
	public void visit(StmtForLoop n){
		n.identifier1_.accept(this);
		n.exp1_.accept(this);
		if(n.exp1_.compileResult != null) n.exp1_ = n.exp1_.compileResult;
		n.exp2_.accept(this);
		if(n.exp2_.compileResult != null) n.exp2_ = n.exp2_.compileResult;
		n.identifier3_.accept(this);
		n.exp3_.accept(this);	
		if(n.exp3_.compileResult != null) n.exp3_ = n.exp3_.compileResult;
		n.block_.accept(this);
	}	
	public void visit(StmtIfElse n){
		n.exp_.accept(this);
		if(n.exp_.compileResult != null) n.exp_ = n.exp_.compileResult;
		n.ifBlock_.accept(this);
		if(n.elseBlock_!=null) {  //else block could be empty
			n.elseBlock_.accept(this);		
		}
	}	
	public void visit(StmtReturn n){
		if(n.exp_ != null){ //could return nothing
			n.exp_.accept(this);	
			if(n.exp_.compileResult != null) n.exp_ = n.exp_.compileResult;
		}
	}		
	public void visit(StmtWhileLoop n){
		
		n.exp_.accept(this);
		if(n.exp_.compileResult != null) n.exp_ = n.exp_.compileResult;
		
		n.block_.accept(this);		
	}			
   	public void visit(Literal n){}//abstract
	public void visit(Exp n){}//abstract
	public void visit(ExpPlus n){
				
		//if(n.exp1_.compileResult != null) n.exp1_ = n.exp1_.compileResult;
		//if(n.exp2_.compileResult != null) n.exp2_ = n.exp2_.compileResult;
		
		if(n.exp1_ instanceof LtrInt && n.exp2_ instanceof LtrInt){
			int i = ((LtrInt)n.exp1_).ltrInt_ + ((LtrInt)n.exp2_).ltrInt_;			
			if(i >= 0) n.compileResult = parser.convPos(new LtrInt(Integer.toString(i)), n.expLineNo);
			else n.compileResult = parser.convNeg(new LtrInt(((String)(Integer.toString(i))).substring(1)), n.expLineNo);	
			n.exp1_ = null; newOptDone=true; n.exp2_ = null; newOptDone=true;
		}else{
			n.exp1_.accept(this);  
			if(n.exp1_.compileResult != null) n.exp1_ = n.exp1_.compileResult;			
			n.exp2_.accept(this);
			if(n.exp2_.compileResult != null) n.exp2_ = n.exp2_.compileResult;			
		}
		if(n.exp1_ instanceof LtrInt && n.exp2_ instanceof LtrInt){
			int i = ((LtrInt)n.exp1_).ltrInt_ + ((LtrInt)n.exp2_).ltrInt_;			
			if(i >= 0) n.compileResult = parser.convPos(new LtrInt(Integer.toString(i)), n.expLineNo);
			else n.compileResult = parser.convNeg(new LtrInt(((String)(Integer.toString(i))).substring(1)), n.expLineNo);			
			n.exp1_ = null; newOptDone=true; n.exp2_ = null; newOptDone=true;
		}
        }
	public void visit(ExpMinus n){
		if(n.exp1_ instanceof LtrInt && n.exp2_ instanceof LtrInt){
			int i = ((LtrInt)n.exp1_).ltrInt_ - ((LtrInt)n.exp2_).ltrInt_;			
			if(i >= 0) n.compileResult = parser.convPos(new LtrInt(Integer.toString(i)), n.expLineNo);
			else n.compileResult = parser.convNeg(new LtrInt(((String)(Integer.toString(i))).substring(1)), n.expLineNo);			
			n.exp1_ = null; newOptDone=true; n.exp2_ = null; newOptDone=true;
		}else{
			n.exp1_.accept(this);  
			if(n.exp1_.compileResult != null) n.exp1_ = n.exp1_.compileResult;			
			n.exp2_.accept(this);
			if(n.exp2_.compileResult != null) n.exp2_ = n.exp2_.compileResult;			
		}
		if(n.exp1_ instanceof LtrInt && n.exp2_ instanceof LtrInt){
			int i = ((LtrInt)n.exp1_).ltrInt_ - ((LtrInt)n.exp2_).ltrInt_;			
			if(i >= 0) n.compileResult = parser.convPos(new LtrInt(Integer.toString(i)), n.expLineNo);
			else n.compileResult = parser.convNeg(new LtrInt(((String)(Integer.toString(i))).substring(1)), n.expLineNo);			
			n.exp1_ = null; newOptDone=true; n.exp2_ = null; newOptDone=true;
		}
	}
	public void visit(ExpTimes n){
		if(n.exp1_ instanceof LtrInt && n.exp2_ instanceof LtrInt){
			int i = ((LtrInt)n.exp1_).ltrInt_ * ((LtrInt)n.exp2_).ltrInt_;			
			if(i >= 0) n.compileResult = parser.convPos(new LtrInt(Integer.toString(i)), n.expLineNo);
			else n.compileResult = parser.convNeg(new LtrInt(((String)(Integer.toString(i))).substring(1)), n.expLineNo);			
			n.exp1_ = null; newOptDone=true; n.exp2_ = null; newOptDone=true;
		}else{
			n.exp1_.accept(this);  
			if(n.exp1_.compileResult != null) n.exp1_ = n.exp1_.compileResult;			
			n.exp2_.accept(this);
			if(n.exp2_.compileResult != null) n.exp2_ = n.exp2_.compileResult;			
		}
		if(n.exp1_ instanceof LtrInt && n.exp2_ instanceof LtrInt){
			int i = ((LtrInt)n.exp1_).ltrInt_ * ((LtrInt)n.exp2_).ltrInt_;			
			if(i >= 0) n.compileResult = parser.convPos(new LtrInt(Integer.toString(i)), n.expLineNo);
			else n.compileResult = parser.convNeg(new LtrInt(((String)(Integer.toString(i))).substring(1)), n.expLineNo);			
			n.exp1_ = null; newOptDone=true; n.exp2_ = null; newOptDone=true;
		}
	}
	public void visit(ExpDivide n){
		if(n.exp1_ instanceof LtrInt && n.exp2_ instanceof LtrInt){
			int i = ((LtrInt)n.exp1_).ltrInt_ / ((LtrInt)n.exp2_).ltrInt_;			
			if(i >= 0) n.compileResult = parser.convPos(new LtrInt(Integer.toString(i)), n.expLineNo);
			else n.compileResult = parser.convNeg(new LtrInt(((String)(Integer.toString(i))).substring(1)), n.expLineNo);			
			n.exp1_ = null; newOptDone=true; n.exp2_ = null; newOptDone=true;
		}else{
			n.exp1_.accept(this);  
			if(n.exp1_.compileResult != null) n.exp1_ = n.exp1_.compileResult;			
			n.exp2_.accept(this);
			if(n.exp2_.compileResult != null) n.exp2_ = n.exp2_.compileResult;			
		}
		if(n.exp1_ instanceof LtrInt && n.exp2_ instanceof LtrInt){
			int i = ((LtrInt)n.exp1_).ltrInt_ / ((LtrInt)n.exp2_).ltrInt_;			
			if(i >= 0) n.compileResult = parser.convPos(new LtrInt(Integer.toString(i)), n.expLineNo);
			else n.compileResult = parser.convNeg(new LtrInt(((String)(Integer.toString(i))).substring(1)), n.expLineNo);			
			n.exp1_ = null; newOptDone=true; n.exp2_ = null; newOptDone=true;
		}
	}
	public void visit(ExpMod n){
		if(n.exp1_ instanceof LtrInt && n.exp2_ instanceof LtrInt){
			int i = ((LtrInt)n.exp1_).ltrInt_ % ((LtrInt)n.exp2_).ltrInt_;			
			if(i >= 0) n.compileResult = parser.convPos(new LtrInt(Integer.toString(i)), n.expLineNo);
			else n.compileResult = parser.convNeg(new LtrInt(((String)(Integer.toString(i))).substring(1)), n.expLineNo);			
			n.exp1_ = null; newOptDone=true; n.exp2_ = null; newOptDone=true;
		}else{
			n.exp1_.accept(this);  
			if(n.exp1_.compileResult != null) n.exp1_ = n.exp1_.compileResult;			
			n.exp2_.accept(this);
			if(n.exp2_.compileResult != null) n.exp2_ = n.exp2_.compileResult;			
		}
		if(n.exp1_ instanceof LtrInt && n.exp2_ instanceof LtrInt){