Compare commits
1 Commits
2025-predr
...
line-symbo
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
de2522c28c |
24
grammar.txt
24
grammar.txt
@@ -70,27 +70,3 @@ 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,13 +1,4 @@
|
|||||||
fun putstr(n)
|
fun putint(n)
|
||||||
fun putint(b)
|
|
||||||
|
|
||||||
fun a() = putstr("a called\n\00"), 40
|
|
||||||
fun b() = putstr("b called\n\00"), 7
|
|
||||||
|
|
||||||
fun main() =
|
fun main() =
|
||||||
putint(10 % 7),
|
putint(__LINE__)
|
||||||
putstr("\n\00"),
|
|
||||||
putint(30 % 25),
|
|
||||||
putstr("\n\00"),
|
|
||||||
putint(a() % b()),
|
|
||||||
putstr("\n\00")
|
|
||||||
@@ -148,7 +148,11 @@ public record Token(Report.Location location, Symbol symbol, String lexeme) impl
|
|||||||
/**
|
/**
|
||||||
* Simbol {@code )}.
|
* Simbol {@code )}.
|
||||||
*/
|
*/
|
||||||
RPAREN;
|
RPAREN,
|
||||||
|
/**
|
||||||
|
* Simbol {@code __LINE__}.
|
||||||
|
*/
|
||||||
|
LINE
|
||||||
}
|
}
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
|
|||||||
@@ -231,39 +231,6 @@ 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));
|
||||||
|
|
||||||
@@ -284,7 +251,6 @@ 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;
|
||||||
@@ -717,12 +683,6 @@ 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;
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -319,6 +319,7 @@ public class LexAn implements AutoCloseable {
|
|||||||
case "let" -> Token.Symbol.LET;
|
case "let" -> Token.Symbol.LET;
|
||||||
case "in" -> Token.Symbol.IN;
|
case "in" -> Token.Symbol.IN;
|
||||||
case "end" -> Token.Symbol.END;
|
case "end" -> Token.Symbol.END;
|
||||||
|
case "__LINE__" -> Token.Symbol.LINE;
|
||||||
default -> null;
|
default -> null;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
@@ -451,6 +452,15 @@ public class LexAn implements AutoCloseable {
|
|||||||
symbol = Token.Symbol.IDENTIFIER;
|
symbol = Token.Symbol.IDENTIFIER;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
if (symbol == Token.Symbol.LINE) {
|
||||||
|
buffToken = new Token(
|
||||||
|
new Report.Location(startLocation, endLocation),
|
||||||
|
Token.Symbol.INTCONST,
|
||||||
|
Integer.toString(startLocation.begLine())
|
||||||
|
);
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
buffToken = new Token(
|
buffToken = new Token(
|
||||||
new Report.Location(startLocation, endLocation),
|
new Report.Location(startLocation, endLocation),
|
||||||
symbol,
|
symbol,
|
||||||
|
|||||||
Reference in New Issue
Block a user