tiger-c/env.c at master · glacjay/tiger-c · GitHub

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
#include <stdlib.h>

#include "env.h"

env_entry_t env_var_entry(tr_access_t access, type_t type, bool for_)
{
    env_entry_t p = checked_malloc(sizeof(*p));
    p->kind = ENV_VAR_ENTRY;
    p->u.var.access = access;
    p->u.var.type = type;
    p->u.var.for_ = for_;
    return p;
}

env_entry_t env_func_entry(tr_level_t level,
                           tmp_label_t label,
                           list_t formals,
                           type_t result)
{
    env_entry_t p = checked_malloc(sizeof(*p));
    p->kind = ENV_FUNC_ENTRY;
    p->u.func.level = level;
    p->u.func.label = label;
    p->u.func.formals = formals;
    p->u.func.result = result;
    return p;
}

table_t env_base_tenv(void)
{
    table_t tab = sym_empty();
    sym_enter(tab, symbol("int"), ty_int());
    sym_enter(tab, symbol("string"), ty_string());
    return tab;
}

table_t env_base_venv(void)
{
    table_t tab = sym_empty();
    sym_enter(tab, symbol("getchar"),
              env_func_entry(tr_outermost(), tmp_label(), NULL, ty_string()));
    sym_enter(tab, symbol("ord"),
              env_func_entry(tr_outermost(),
                             tmp_label(),
                             list(ty_string(), NULL),
                             ty_int()));
    sym_enter(tab, symbol("print"),
              env_func_entry(tr_outermost(),
                             tmp_label(),
                             list(ty_string(), NULL),
                             ty_void()));
    sym_enter(tab, symbol("chr"),
              env_func_entry(tr_outermost(),
                             tmp_label(),
                             list(ty_int(), NULL),
                             ty_string()));
    return tab;
}