aboutsummaryrefslogtreecommitdiffstats
path: root/ast.hpp
blob: 380a38f7b6a942ee913fe6b3bbba5e11c55cee5b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
/**
 * forspll - LLVM-based Forsp compiler
 * Copyright (C) 2024  Clyne Sullivan <clyne@bitgloo.com>
 *
 * This program is free software: you can redistribute it and/or modify it
 * under the terms of the GNU General Public License as published by the Free
 * Software Foundation, either version 3 of the License, or (at your option)
 * any later version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
 * FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more
 * details.
 *
 * You should have received a copy of the GNU General Public License along with
 * this program.  If not, see <http://www.gnu.org/licenses/>.
 */
#ifndef FORSPLL_AST_HPP
#define FORSPLL_AST_HPP

#include "llvm.hpp"
#include "var.hpp"

#include <list>
#include <memory>
#include <string>

struct BaseAST
{
    std::string name;

    BaseAST(const std::string& n): name(n) {}

    virtual ~BaseAST() = default;
    virtual llvm::Value *codegen(LLVMState&) const = 0;
};

struct NumberAST : public BaseAST
{
    // push number onto stack
    explicit NumberAST(const std::string& n);
    llvm::Value *codegen(LLVMState& llvmState) const override;
};

struct PushAST : public BaseAST
{
    // push named value to stack
    explicit PushAST(const std::string& n);
    llvm::Value *codegen(LLVMState& llvmState) const override;
};

struct PopAST : public BaseAST
{
    // pop value on stack to named var
    explicit PopAST(const std::string& n);
    llvm::Value *codegen(LLVMState& llvmState) const override;
};

struct CallAST : public BaseAST
{
    // invoke named invocable
    explicit CallAST(const std::string& n);
    llvm::Value *codegen(LLVMState& llvmState) const override;
};

struct ThunkAST : public BaseAST
{
    static int tcount;
    static int envidx;

    std::list<std::unique_ptr<BaseAST>> ast;
    llvm::IRBuilderBase::InsertPoint parent;
    llvm::Function *func;
    llvm::BasicBlock *entry, *body;
    llvm::Value *env;

    explicit ThunkAST();
    llvm::Value *codegen(LLVMState& llvmState) const override;

    void beginGen(LLVMState& llvmState);
    void endGen(LLVMState& llvmState);
};

#endif // FORSPLL_AST_HPP