scope.h


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

#ifndef SCOPE_H
#define SCOPE_H

#include "ccc.h"
#include "type.h"

struct storage_location {
    enum {
        STO_REG,
        STO_LABEL,
        STO_STACK,
        STO_IMM,
        /* I would like to solve functions using the type system
         * and kill STO_FN and STO_UNRESOLVED in favor of STO_LABEL. */
        STO_FN,
        STO_UNRESOLVED,
    } type;
    union {
        const struct reg* reg;
        const char* label;
        long long bp_offset;
        integral_t value;
        struct fn_decl_node* decl;
    };
};

struct type_alias {
    const char* name;
    struct type type;
};

struct var_def {
    const struct type* type;
    char* name;
    struct storage_location loc;
};

struct scope {
    struct type_alias** types;
    integral_t type_sz;
    integral_t type_cap;

    struct var_def** vars;
    integral_t var_sz;
    integral_t var_cap;

    struct scope* next_out;
    integral_t bp_offset;
};

void scope_push(struct scope** p_scope);
void scope_pop(struct scope** p_scope);
void scope_destroy(struct scope* scope);
bool scope_get_type(
    const struct scope* scope,
    const struct type_alias** p_entry,
    const char* name);
const struct type_alias* scope_define_type(
    struct scope* scope,
    struct type_alias type);
bool scope_get_var(
    const struct scope* scope,
    struct var_def** p_entry,
    const char* name);
struct var_def* scope_define_var(struct scope* scope, struct var_def var);

#endif