Compare commits
1 Commits
add-right-
...
2025-predr
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
6a7ac2a6f8 |
29
grammar.txt
29
grammar.txt
@@ -39,9 +39,8 @@ restcmp -> EQU addexpr
|
|||||||
| .
|
| .
|
||||||
|
|
||||||
addexpr -> multexpr restadd .
|
addexpr -> multexpr restadd .
|
||||||
restadd -> ADD addexpr
|
restadd -> ADD multexpr restadd
|
||||||
| SUB addexpr
|
| SUB multexpr restadd | .
|
||||||
| .
|
|
||||||
|
|
||||||
multexpr -> prefixexpr restmult .
|
multexpr -> prefixexpr restmult .
|
||||||
restmult -> MUL prefixexpr restmult
|
restmult -> MUL prefixexpr restmult
|
||||||
@@ -71,3 +70,27 @@ initializer -> INTCONST intconstmult | CHARCONST | STRINGCONST .
|
|||||||
intconstmult -> MUL const | .
|
intconstmult -> MUL const | .
|
||||||
|
|
||||||
const -> INTCONST | CHARCONST | STRINGCONST .
|
const -> INTCONST | CHARCONST | STRINGCONST .
|
||||||
|
|
||||||
|
|
||||||
|
--------------------------------------------------------------------
|
||||||
|
|
||||||
|
//LEFT ASOC.
|
||||||
|
exp0 = exp0 op other | other
|
||||||
|
|
||||||
|
|
|
||||||
|
v
|
||||||
|
|
||||||
|
exp0 = other exp0'
|
||||||
|
exp0' = op other exp0' | .
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
//RIGHT ASOC.
|
||||||
|
exp0 = other op exp0 | other
|
||||||
|
|
||||||
|
|
|
||||||
|
v
|
||||||
|
|
||||||
|
exp0 = other exp0'
|
||||||
|
exp0' = op exp0 | .
|
||||||
@@ -1,3 +1,13 @@
|
|||||||
|
fun putstr(n)
|
||||||
|
fun putint(b)
|
||||||
|
|
||||||
|
fun a() = putstr("a called\n\00"), 40
|
||||||
|
fun b() = putstr("b called\n\00"), 7
|
||||||
|
|
||||||
fun main() =
|
fun main() =
|
||||||
3 - 2 - 1
|
putint(10 % 7),
|
||||||
|
putstr("\n\00"),
|
||||||
|
putint(30 % 25),
|
||||||
|
putstr("\n\00"),
|
||||||
|
putint(a() % b()),
|
||||||
|
putstr("\n\00")
|
||||||
@@ -231,6 +231,39 @@ public class CodeGen {
|
|||||||
|
|
||||||
List<PDM.CodeInstr> code = new ArrayList<>();
|
List<PDM.CodeInstr> code = new ArrayList<>();
|
||||||
|
|
||||||
|
if (binExpr.oper == AST.BinExpr.Oper.MOD) {
|
||||||
|
// a - a / b * b
|
||||||
|
|
||||||
|
String tmpLabel = "$tmp@" + loc.location().begLine() + ":" + loc.location().begColumn();
|
||||||
|
|
||||||
|
code.addAll(binExpr.fstExpr.accept(this, frame));
|
||||||
|
// dup a
|
||||||
|
code.add(new PDM.REGN(PDM.REGN.Reg.SP, loc));
|
||||||
|
code.add(new PDM.LOAD(loc));
|
||||||
|
|
||||||
|
code.addAll(binExpr.sndExpr.accept(this, frame));
|
||||||
|
// dup b
|
||||||
|
code.add(new PDM.REGN(PDM.REGN.Reg.SP, loc));
|
||||||
|
code.add(new PDM.LOAD(loc));
|
||||||
|
// save b
|
||||||
|
code.add(new PDM.NAME(tmpLabel, loc));
|
||||||
|
code.add(new PDM.SAVE(loc));
|
||||||
|
|
||||||
|
code.add(new PDM.OPER(PDM.OPER.Oper.DIV, loc));
|
||||||
|
|
||||||
|
// load second b
|
||||||
|
code.add(new PDM.NAME(tmpLabel, loc));
|
||||||
|
code.add(new PDM.LOAD(loc));
|
||||||
|
|
||||||
|
code.add(new PDM.OPER(PDM.OPER.Oper.MUL, loc));
|
||||||
|
|
||||||
|
code.add(new PDM.OPER(PDM.OPER.Oper.SUB, loc));
|
||||||
|
|
||||||
|
List<PDM.DataInstr> data = new ArrayList<>();
|
||||||
|
data.add(new PDM.LABEL(tmpLabel, loc));
|
||||||
|
data.add(new PDM.DATA(0, loc));
|
||||||
|
attrAST.attrData.put(binExpr, data);
|
||||||
|
} else {
|
||||||
code.addAll(binExpr.fstExpr.accept(this, frame));
|
code.addAll(binExpr.fstExpr.accept(this, frame));
|
||||||
code.addAll(binExpr.sndExpr.accept(this, frame));
|
code.addAll(binExpr.sndExpr.accept(this, frame));
|
||||||
|
|
||||||
@@ -251,6 +284,7 @@ public class CodeGen {
|
|||||||
};
|
};
|
||||||
|
|
||||||
code.add(new PDM.OPER(oper, loc));
|
code.add(new PDM.OPER(oper, loc));
|
||||||
|
}
|
||||||
|
|
||||||
attrAST.attrCode.put(binExpr, code);
|
attrAST.attrCode.put(binExpr, code);
|
||||||
return code;
|
return code;
|
||||||
@@ -683,6 +717,12 @@ public class CodeGen {
|
|||||||
return null;
|
return null;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Override
|
||||||
|
public Object visit(AST.BinExpr binExpr, Object arg) {
|
||||||
|
List<PDM.DataInstr> data = attrAST.attrData.get(binExpr);
|
||||||
|
if (data != null) dataSegment.addAll(data);
|
||||||
|
return null;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -540,20 +540,20 @@ public class SynAn implements AutoCloseable {
|
|||||||
Token token = lexAn.peekToken();
|
Token token = lexAn.peekToken();
|
||||||
switch (token.symbol()) {
|
switch (token.symbol()) {
|
||||||
case ADD: {
|
case ADD: {
|
||||||
// restadd -> ADD addexpr
|
// restadd -> ADD multexpr restadd
|
||||||
check(Token.Symbol.ADD);
|
check(Token.Symbol.ADD);
|
||||||
AST.Expr right = parseAdditionExpression();
|
AST.Expr right = parseMultiplicationExpression();
|
||||||
AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.ADD, left, right);
|
AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.ADD, left, right);
|
||||||
attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
|
attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
|
||||||
return binExpr;
|
return parseRestAdditionExpressions(binExpr);
|
||||||
}
|
}
|
||||||
case SUB: {
|
case SUB: {
|
||||||
// restadd -> ADD addexpr
|
// restadd -> SUB multexpr restadd
|
||||||
check(Token.Symbol.SUB);
|
check(Token.Symbol.SUB);
|
||||||
AST.Expr right = parseAdditionExpression();
|
AST.Expr right = parseMultiplicationExpression();
|
||||||
AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.SUB, left, right);
|
AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.SUB, left, right);
|
||||||
attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
|
attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
|
||||||
return binExpr;
|
return parseRestAdditionExpressions(binExpr);
|
||||||
}
|
}
|
||||||
|
|
||||||
default:
|
default:
|
||||||
|
|||||||
Reference in New Issue
Block a user