aboutsummaryrefslogtreecommitdiff
path: root/include/ssa/ssa.h
blob: e1e2d01cef0f4a392866740e2613875bfec1f578 (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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
#ifndef AMALGAM_SSA_H
#define AMALGAM_SSA_H

#include "../std/buffer.h"
#include "../std/hash_map.h"
#include "../std/defs.h"
#include "../defs.h"

#include <setjmp.h>

typedef enum {
    SSA_ASSIGN_INTER,
    SSA_ASSIGN_STRING,
    SSA_ASSIGN_REG,
    SSA_ADD,
    SSA_SUB,
    SSA_MUL,
    SSA_DIV,
    SSA_FUNC_START,
    SSA_FUNC_END,
    SSA_PUSH,
    SSA_CALL
} SsaInstruction;

typedef enum {
    SSA_NUMBER_TYPE_INTEGER,
    SSA_NUMBER_TYPE_FLOAT
} SsaNumberType;

typedef struct {
    union {
        i64 integer;
        f64 floating;
    } value;
    SsaNumberType type;
} SsaNumber;

typedef u16 SsaRegister;
typedef u16 SsaIntermediateIndex;
typedef u16 SsaStringIndex;
typedef usize SsaFuncIndex;

typedef struct {
    Buffer/*instruction data*/ instructions;
    HashMap/*<SsaNumber, SsaIntermediateIndex>*/ intermediates_map;
    Buffer/*SsaNumber*/ intermediates;
    HashMap/*<BufferView, SsaStringIndex>*/ strings_map;
    Buffer/*BufferView*/ strings;
    SsaIntermediateIndex intermediate_counter;
    SsaStringIndex string_counter;
    SsaRegister reg_counter;
    SsaFuncIndex func_counter;
} Ssa;

typedef struct {
    SsaRegister lhs;
    u16 rhs;
} SsaInsForm1;

typedef struct {
    SsaRegister result;
    SsaRegister lhs;
    SsaRegister rhs;
} SsaInsForm2;

typedef struct {
    SsaFuncIndex func_index;
    u8 num_args;
} SsaInsFuncStart;

typedef struct {
    SsaRegister result;
    FunctionDecl *func_decl;
} SsaInsFuncCall;

/* None of these functions are thread-safe */
SsaNumber create_ssa_integer(i64 value);
SsaNumber create_ssa_float(f64 value);

SsaNumber ssa_get_intermediate(Ssa *self, SsaIntermediateIndex index);
BufferView ssa_get_string(Ssa *self, SsaStringIndex index);

CHECK_RESULT int ssa_init(Ssa *self, ScopedAllocator *allocator);
CHECK_RESULT int ssa_get_unique_reg(Ssa *self, SsaRegister *result);
CHECK_RESULT int ssa_ins_assign_inter(Ssa *self, SsaRegister dest, SsaNumber number);
CHECK_RESULT int ssa_ins_assign_string(Ssa *self, SsaRegister dest, BufferView str);
CHECK_RESULT int ssa_ins_assign_reg(Ssa *self, SsaRegister dest, SsaRegister src);
CHECK_RESULT int ssa_ins_binop(Ssa *self, SsaInstruction binop_type, SsaRegister lhs, SsaRegister rhs, SsaRegister *result);
CHECK_RESULT int ssa_ins_func_start(Ssa *self, u8 num_args, SsaFuncIndex *result);
CHECK_RESULT int ssa_ins_func_end(Ssa *self);
CHECK_RESULT int ssa_ins_push(Ssa *self, SsaRegister reg);
CHECK_RESULT int ssa_ins_call(Ssa *self, FunctionDecl *func_decl, SsaRegister *result);


typedef struct {
    jmp_buf env;
    Ssa *ssa;
} SsaCompilerContext;

/* longjump to context->env on failure */
void scope_generate_ssa(Scope *self, SsaCompilerContext *context);

#endif