nitrix/klang
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

implement detection of tail calls

Browse Source
This commit is contained in:
nitrix
2020-03-09 15:55:23 +01:00
parent d1cf626934
commit acaa37b3b1
1 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/main/java/de/hsrm/compiler/Klang/ContextAnalysis.java
View File

@@ -18,6 +18,7 @@ public class ContextAnalysis extends KlangBaseVisitor<Node> {
Map<String, FunctionInformation> funcs; Map<String, FunctionInformation> funcs;
Map<String, StructDefinition> structs; Map<String, StructDefinition> structs;
Type currentDeclaredReturnType; Type currentDeclaredReturnType;
String currentFunctionDefinitionName;
private void checkNumeric(Node lhs, Node rhs, int line, int col) { private void checkNumeric(Node lhs, Node rhs, int line, int col) {
if (!lhs.type.isNumericType() || !rhs.type.isNumericType()) { if (!lhs.type.isNumericType() || !rhs.type.isNumericType()) {
@@ -246,6 +247,16 @@ public class ContextAnalysis extends KlangBaseVisitor<Node> {
public Node visitReturn_statement(KlangParser.Return_statementContext ctx) { public Node visitReturn_statement(KlangParser.Return_statementContext ctx) {
Expression expression = (Expression) this.visit(ctx.expression()); Expression expression = (Expression) this.visit(ctx.expression());
ReturnStatement result = new ReturnStatement(expression); ReturnStatement result = new ReturnStatement(expression);
// Check if this expression is a tail recursion
if (expression instanceof FunctionCall) {
var funCall = (FunctionCall) expression;
if (funCall.name.equals(this.currentFunctionDefinitionName)) {
// Flag this function call
funCall.isTailRecursive = true;
}
}
result.type = expression.type; result.type = expression.type;
result.line = ctx.start.getLine(); result.line = ctx.start.getLine();
result.col = ctx.start.getCharPositionInLine(); result.col = ctx.start.getCharPositionInLine();
@@ -720,6 +731,7 @@ public class ContextAnalysis extends KlangBaseVisitor<Node> {
int col = ctx.start.getCharPositionInLine(); int col = ctx.start.getCharPositionInLine();
Type returnType = Type.getByName(ctx.returnType.type().getText()); Type returnType = Type.getByName(ctx.returnType.type().getText());
this.currentDeclaredReturnType = returnType; this.currentDeclaredReturnType = returnType;
this.currentFunctionDefinitionName = name;
if (!returnType.isPrimitiveType() && this.structs.get(returnType.getName()) == null) { if (!returnType.isPrimitiveType() && this.structs.get(returnType.getName()) == null) {
String error = "Type " + returnType.getName() + " not defined."; String error = "Type " + returnType.getName() + " not defined.";