/* * Left hand side of ADD */ public IRDest attach_ExprPrefix(SymbolTable scope, MicroParser.Expr_prefixContext expr_prefix) { if (expr_prefix.children == null) return null; if (expr_prefix.expr_prefix().children == null) { // has no more left recursion, so we go right return attach_Factor(scope, expr_prefix.factor()); } IRDest left = attach_ExprPrefix(scope, expr_prefix.expr_prefix()); IRDest right = attach_Factor(scope, expr_prefix.factor()); // TODO: handle case where right of expression is lambda IRNode irn = null; Instruction op = ISA.transform_type(ISA.ADDI, left.getDataTypePrecedence(), right.getDataTypePrecedence()); Register dest = TempRegisterFactory.create(op.supported_type); if (expr_prefix.expr_prefix().addop().getText().equals("-")) op = ISA.SUBI; if (left._id != null && right._id != null) { irn = new IRNode(op, left._id, right._id, dest); } else if (left._reg != null && right._reg != null) { irn = new IRNode(op, left._reg, right._reg, dest); } else if (left._id != null && right._reg != null) { irn = new IRNode(op, left._id, right._reg, dest); } else if (left._reg != null && right._id != null) { irn = new IRNode(op, left._reg, right._id, dest); } else { System.err.println("Something went wrong"); } _List.add(irn); return new IRDest(dest); }
private IRDest attach_Factor(SymbolTable scope, MicroParser.FactorContext factor) { if (factor == null) return null; // if left subtree is empty if (factor.factor_prefix().children == null) { // search right subtree // System.out.println("Searching postfix_expr"); IRDest d = attach_PostfixExpr(scope, factor.postfix_expr()); /// System.out.print("PostfixExpr returned: "); /// System.out.print(d); /// System.out.println(); return d; } // left subtree isn't empty, search it for IRDest fp = attach_FactorPrefix(scope, factor.factor_prefix()); // do the same for the right subtree IRDest postfix = attach_PostfixExpr(scope, factor.postfix_expr()); // join two subtrees into one IR node IRNode K = null; Instruction op = ISA.transform_type(ISA.MULTI, fp.getDataTypePrecedence(), postfix.getDataTypePrecedence()); if (factor.factor_prefix().mulop().getText().equals("/")) { op = ISA.transform_type(ISA.DIVI, fp.getDataTypePrecedence(), postfix.getDataTypePrecedence()); } Register dest = TempRegisterFactory.create(op.supported_type); if (fp._id != null && postfix._id != null) { K = new IRNode(op, fp._id, postfix._id, dest); } else if (fp._reg != null && postfix._reg != null) { K = new IRNode(op, fp._reg, postfix._reg, dest); } else if (fp._id != null && postfix._reg != null) { K = new IRNode(op, fp._id, postfix._reg, dest); } else if (fp._reg != null && postfix._id != null) { K = new IRNode(op, fp._reg, postfix._id, dest); } else { System.err.println("Something gone wrong"); } _List.add(K); return new IRDest(dest); }
/* * Generate expression IR nodes and add them to IR list * @param scope : the current scope * @param ctx: the expression parse subtree context * @return last node in the list */ public IRDest attach_Expressions(SymbolTable scope, MicroParser.ExprContext expr) { IRDest dleft = attach_ExprPrefix(scope, expr.expr_prefix()); IRDest dright = attach_Factor(scope, expr.factor()); if (dleft == null && dright == null) { return null; } if (dleft == null) { return dright; } if (dright == null) { return dleft; } IRNode N = null; Instruction op = ISA.transform_type(ISA.ADDI, dleft.getDataTypePrecedence(), dright.getDataTypePrecedence()); if (expr.expr_prefix().addop().getText().equals("-")) op = ISA.transform_type( ISA.SUBI, dleft.getDataTypePrecedence(), dright.getDataTypePrecedence()); Register dest = TempRegisterFactory.create(op.supported_type); if (dleft._reg != null && dright._reg != null) { N = new IRNode(op, dleft._reg, dright._reg, dest); } else if (dleft._id != null && dright._id != null) { N = new IRNode(op, dleft._id, dright._id, dest); } else if (dleft._id != null && dright._reg != null) { N = new IRNode(op, dleft._id, dright._reg, dest); } else if (dleft._reg != null && dright._id != null) { N = new IRNode(op, dleft._reg, dright._id, dest); } _List.add(N); return new IRDest(dest); }