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
104
105
106
107
108
109
110
111
|
#ifndef HAREC_GEN_H
#define HAREC_GEN_H
#include <stddef.h>
#include "identifier.h"
#include "qbe.h"
#include "types.h"
#include "scope.h"
struct gen_arch {
const struct qbe_type *ptr;
const struct qbe_type *sz;
};
enum gen_value_kind {
GV_CONST,
GV_GLOBAL,
GV_TEMP,
};
struct gen_value {
enum gen_value_kind kind;
bool threadlocal;
const struct type *type;
union {
const char *name;
uint32_t wval;
uint64_t lval;
float sval;
double dval;
};
};
struct gen_slice {
struct qbe_value base, len, cap;
};
struct gen_binding {
const struct scope_object *object;
struct gen_value value;
struct gen_binding *next;
};
struct gen_defer {
const struct expression *expr;
struct gen_defer *next;
};
struct gen_scope {
const char *label;
const struct scope *scope;
struct gen_value result;
struct gen_value *out;
struct qbe_value *after;
struct qbe_value *end;
struct gen_defer *defers;
struct gen_scope *parent;
};
struct rt {
struct qbe_value abort, ensure, fixedabort, free, malloc,
memcpy, memmove, memset, strcmp, unensure;
};
struct gen_context {
struct qbe_program *out;
struct gen_arch arch;
const struct ident *ns;
struct rt rt;
struct gen_value *sources;
int id;
struct qbe_func *current;
struct gen_binding *bindings;
struct gen_scope *scope;
struct intern_table *itbl;
};
struct unit;
void gen(const struct unit *unit, struct qbe_program *out,
struct intern_table *itbl);
// genutil.c
void rtfunc_init(struct gen_context *ctx);
struct gen_value mkgtemp(struct gen_context *ctx,
const struct type *type, const char *fmt);
struct qbe_value mkqval(struct gen_context *ctx, const struct gen_value *value);
struct qbe_value mklval(struct gen_context *ctx, const struct gen_value *value);
struct qbe_value mkcopy(struct gen_context *ctx,
const struct gen_value *value, const char *fmt);
struct qbe_value mkqtmp(struct gen_context *ctx,
const struct qbe_type *qtype, const char *fmt);
struct qbe_value mklabel(struct gen_context *ctx,
struct qbe_statement *stmt, const char *fmt);
struct qbe_value compute_tagged_memb_offset(const struct type *subtype);
// qinstr.c
enum qbe_instr alloc_for_align(size_t align);
enum qbe_instr store_for_type(struct gen_context *ctx, const struct type *type);
enum qbe_instr load_for_type(struct gen_context *ctx, const struct type *type);
enum qbe_instr binarithm_for_op(struct gen_context *ctx,
enum binarithm_operator op, const struct type *type);
// qtype.c
const struct qbe_type *qtype_lookup(struct gen_context *ctx,
const struct type *type, bool xtype);
bool type_is_aggregate(const struct type *type);
#endif
|
