chibicc/parse.c

884 lines
21 KiB
C
Raw Normal View History

2019-08-05 15:12:44 +03:00
// This file contains a recursive descent parser for C.
//
// Most functions in this file are named after the symbols they are
// supposed to read from an input token list. For example, stmt() is
// responsible for reading a statement from a token list. The function
// then construct an AST node representing a statement.
//
// Each function conceptually returns two values, an AST node and
// remaining part of the input tokens. Since C doesn't support
// multiple return values, the remaining tokens are returned to the
// caller via a pointer argument.
//
// Input tokens are represented by a linked list. Unlike many recursive
// descent parsers, we don't have the notion of the "input token stream".
// Most parsing functions don't change the global state of the parser.
// So it is very easy to lookahead arbitrary number of tokens in this
// parser.
2020-10-07 14:11:16 +03:00
#include "chibicc.h"
2020-09-04 12:00:26 +03:00
// Scope for local or global variables.
typedef struct VarScope VarScope;
struct VarScope {
VarScope *next;
char *name;
Obj *var;
};
2020-04-02 15:54:47 +03:00
// Scope for struct or union tags
2020-10-07 04:43:02 +03:00
typedef struct TagScope TagScope;
struct TagScope {
TagScope *next;
char *name;
Type *ty;
};
2020-09-04 12:00:26 +03:00
// Represents a block scope.
typedef struct Scope Scope;
struct Scope {
Scope *next;
2020-10-07 04:43:02 +03:00
// C has two block scopes; one is for variables and the other is
// for struct tags.
2020-09-04 12:00:26 +03:00
VarScope *vars;
2020-10-07 04:43:02 +03:00
TagScope *tags;
2020-09-04 12:00:26 +03:00
};
2020-10-07 14:12:19 +03:00
// All local variable instances created during parsing are
// accumulated to this list.
static Obj *locals;
2020-10-07 04:43:02 +03:00
// Likewise, global variables are accumulated to this list.
static Obj *globals;
2020-10-07 14:12:19 +03:00
2020-09-04 12:00:26 +03:00
static Scope *scope = &(Scope){};
2020-09-04 13:01:33 +03:00
static Type *declspec(Token **rest, Token *tok);
static Type *declarator(Token **rest, Token *tok, Type *ty);
static Node *declaration(Token **rest, Token *tok);
2020-09-04 07:38:41 +03:00
static Node *compound_stmt(Token **rest, Token *tok);
2020-09-04 07:39:06 +03:00
static Node *stmt(Token **rest, Token *tok);
static Node *expr_stmt(Token **rest, Token *tok);
static Node *expr(Token **rest, Token *tok);
2020-09-26 02:59:56 +03:00
static Node *assign(Token **rest, Token *tok);
2020-10-07 14:11:16 +03:00
static Node *equality(Token **rest, Token *tok);
static Node *relational(Token **rest, Token *tok);
static Node *add(Token **rest, Token *tok);
static Node *mul(Token **rest, Token *tok);
2019-08-08 16:43:58 +03:00
static Type *struct_decl(Token **rest, Token *tok);
2020-04-02 15:54:47 +03:00
static Type *union_decl(Token **rest, Token *tok);
2019-08-06 12:14:53 +03:00
static Node *postfix(Token **rest, Token *tok);
2020-10-07 14:11:16 +03:00
static Node *unary(Token **rest, Token *tok);
static Node *primary(Token **rest, Token *tok);
2020-09-04 12:00:26 +03:00
static void enter_scope(void) {
Scope *sc = calloc(1, sizeof(Scope));
sc->next = scope;
scope = sc;
}
2020-09-05 02:43:21 +03:00
2020-09-04 12:00:26 +03:00
static void leave_scope(void) {
scope = scope->next;
}
2020-09-05 02:43:21 +03:00
2020-09-04 12:00:26 +03:00
// Find a variable by name.
static Obj *find_var(Token *tok) {
for (Scope *sc = scope; sc; sc = sc->next)
for (VarScope *sc2 = sc->vars; sc2; sc2 = sc2->next)
if (equal(tok, sc2->name))
return sc2->var;
2020-10-07 14:12:19 +03:00
return NULL;
}
2020-10-07 04:43:02 +03:00
static Type *find_tag(Token *tok) {
for (Scope *sc = scope; sc; sc = sc->next)
for (TagScope *sc2 = sc->tags; sc2; sc2 = sc2->next)
if (equal(tok, sc2->name))
return sc2->ty;
return NULL;
}
static Node *new_node(NodeKind kind, Token *tok) {
2020-10-07 14:11:16 +03:00
Node *node = calloc(1, sizeof(Node));
node->kind = kind;
node->tok = tok;
2020-10-07 14:11:16 +03:00
return node;
}
static Node *new_binary(NodeKind kind, Node *lhs, Node *rhs, Token *tok) {
Node *node = new_node(kind, tok);
2020-10-07 14:11:16 +03:00
node->lhs = lhs;
node->rhs = rhs;
return node;
}
static Node *new_unary(NodeKind kind, Node *expr, Token *tok) {
Node *node = new_node(kind, tok);
2020-10-07 14:11:16 +03:00
node->lhs = expr;
return node;
}
static Node *new_num(int val, Token *tok) {
Node *node = new_node(ND_NUM, tok);
2020-10-07 14:11:16 +03:00
node->val = val;
return node;
}
static Node *new_var_node(Obj *var, Token *tok) {
Node *node = new_node(ND_VAR, tok);
2020-10-07 14:12:19 +03:00
node->var = var;
2020-09-26 02:59:56 +03:00
return node;
}
2020-09-04 12:00:26 +03:00
static VarScope *push_scope(char *name, Obj *var) {
VarScope *sc = calloc(1, sizeof(VarScope));
sc->name = name;
sc->var = var;
sc->next = scope->vars;
scope->vars = sc;
return sc;
}
static Obj *new_var(char *name, Type *ty) {
2020-10-07 14:12:19 +03:00
Obj *var = calloc(1, sizeof(Obj));
var->name = name;
var->ty = ty;
2020-09-04 12:00:26 +03:00
push_scope(name, var);
return var;
}
static Obj *new_lvar(char *name, Type *ty) {
Obj *var = new_var(name, ty);
var->is_local = true;
2020-10-07 14:12:19 +03:00
var->next = locals;
locals = var;
return var;
}
static Obj *new_gvar(char *name, Type *ty) {
Obj *var = new_var(name, ty);
var->next = globals;
globals = var;
return var;
}
2020-10-07 06:49:08 +03:00
static char *new_unique_name(void) {
static int id = 0;
2020-10-08 08:30:04 +03:00
return format(".L..%d", id++);
2020-10-07 06:49:08 +03:00
}
static Obj *new_anon_gvar(Type *ty) {
return new_gvar(new_unique_name(), ty);
}
static Obj *new_string_literal(char *p, Type *ty) {
Obj *var = new_anon_gvar(ty);
var->init_data = p;
return var;
}
static char *get_ident(Token *tok) {
if (tok->kind != TK_IDENT)
error_tok(tok, "expected an identifier");
return strndup(tok->loc, tok->len);
}
2020-09-26 04:15:32 +03:00
static int get_number(Token *tok) {
if (tok->kind != TK_NUM)
error_tok(tok, "expected a number");
return tok->val;
}
2020-10-07 04:43:02 +03:00
static void push_tag_scope(Token *tok, Type *ty) {
TagScope *sc = calloc(1, sizeof(TagScope));
sc->name = strndup(tok->loc, tok->len);
sc->ty = ty;
sc->next = scope->tags;
scope->tags = sc;
}
2019-08-08 16:43:58 +03:00
// declspec = "char" | "int" | struct-decl
static Type *declspec(Token **rest, Token *tok) {
2020-08-27 15:04:17 +03:00
if (equal(tok, "char")) {
*rest = tok->next;
return ty_char;
}
2019-08-08 16:43:58 +03:00
if (equal(tok, "int")) {
*rest = tok->next;
return ty_int;
}
if (equal(tok, "struct"))
return struct_decl(rest, tok->next);
2020-04-02 15:54:47 +03:00
if (equal(tok, "union"))
return union_decl(rest, tok->next);
2019-08-08 16:43:58 +03:00
error_tok(tok, "typename expected");
}
2020-09-26 04:15:32 +03:00
// func-params = (param ("," param)*)? ")"
// param = declspec declarator
2020-09-26 04:15:32 +03:00
static Type *func_params(Token **rest, Token *tok, Type *ty) {
Type head = {};
Type *cur = &head;
while (!equal(tok, ")")) {
if (cur != &head)
tok = skip(tok, ",");
Type *basety = declspec(&tok, tok);
Type *ty = declarator(&tok, tok, basety);
cur = cur->next = copy_type(ty);
}
ty = func_type(ty);
ty->params = head.next;
*rest = tok->next;
return ty;
}
// type-suffix = "(" func-params
2019-08-05 17:56:37 +03:00
// | "[" num "]" type-suffix
2020-09-26 04:15:32 +03:00
// | ε
2020-09-04 13:01:33 +03:00
static Type *type_suffix(Token **rest, Token *tok, Type *ty) {
2020-09-26 04:15:32 +03:00
if (equal(tok, "("))
return func_params(rest, tok->next, ty);
2020-09-26 04:15:32 +03:00
if (equal(tok, "[")) {
int sz = get_number(tok->next);
2019-08-05 17:56:37 +03:00
tok = skip(tok->next->next, "]");
ty = type_suffix(rest, tok, ty);
2020-09-26 04:15:32 +03:00
return array_of(ty, sz);
2020-09-04 13:01:33 +03:00
}
2020-09-04 13:01:33 +03:00
*rest = tok;
return ty;
}
// declarator = "*"* ident type-suffix
static Type *declarator(Token **rest, Token *tok, Type *ty) {
while (consume(&tok, tok, "*"))
ty = pointer_to(ty);
if (tok->kind != TK_IDENT)
error_tok(tok, "expected a variable name");
2020-09-04 13:01:33 +03:00
ty = type_suffix(rest, tok->next, ty);
ty->name = tok;
return ty;
}
// declaration = declspec (declarator ("=" expr)? ("," declarator ("=" expr)?)*)? ";"
static Node *declaration(Token **rest, Token *tok) {
Type *basety = declspec(&tok, tok);
Node head = {};
Node *cur = &head;
int i = 0;
while (!equal(tok, ";")) {
if (i++ > 0)
tok = skip(tok, ",");
Type *ty = declarator(&tok, tok, basety);
Obj *var = new_lvar(get_ident(ty->name), ty);
if (!equal(tok, "="))
continue;
Node *lhs = new_var_node(var, ty->name);
Node *rhs = assign(&tok, tok->next);
Node *node = new_binary(ND_ASSIGN, lhs, rhs, tok);
cur = cur->next = new_unary(ND_EXPR_STMT, node, tok);
}
Node *node = new_node(ND_BLOCK, tok);
node->body = head.next;
*rest = tok->next;
return node;
}
2020-08-27 15:04:17 +03:00
// Returns true if a given token represents a type.
static bool is_typename(Token *tok) {
2020-04-02 15:54:47 +03:00
return equal(tok, "char") || equal(tok, "int") || equal(tok, "struct") ||
equal(tok, "union");
2020-08-27 15:04:17 +03:00
}
2020-10-07 14:12:57 +03:00
// stmt = "return" expr ";"
2020-10-07 06:47:09 +03:00
// | "if" "(" expr ")" stmt ("else" stmt)?
2019-08-04 11:35:53 +03:00
// | "for" "(" expr-stmt expr? ";" expr? ")" stmt
2019-08-04 11:24:03 +03:00
// | "while" "(" expr ")" stmt
2020-09-04 07:38:41 +03:00
// | "{" compound-stmt
2020-10-07 14:12:57 +03:00
// | expr-stmt
static Node *stmt(Token **rest, Token *tok) {
2020-10-07 14:12:57 +03:00
if (equal(tok, "return")) {
Node *node = new_node(ND_RETURN, tok);
node->lhs = expr(&tok, tok->next);
2020-10-07 14:12:57 +03:00
*rest = skip(tok, ";");
return node;
}
2020-10-07 06:47:09 +03:00
if (equal(tok, "if")) {
Node *node = new_node(ND_IF, tok);
2020-10-07 06:47:09 +03:00
tok = skip(tok->next, "(");
node->cond = expr(&tok, tok);
tok = skip(tok, ")");
node->then = stmt(&tok, tok);
if (equal(tok, "else"))
node->els = stmt(&tok, tok->next);
*rest = tok;
return node;
}
2019-08-04 11:35:53 +03:00
if (equal(tok, "for")) {
Node *node = new_node(ND_FOR, tok);
2019-08-04 11:35:53 +03:00
tok = skip(tok->next, "(");
node->init = expr_stmt(&tok, tok);
if (!equal(tok, ";"))
node->cond = expr(&tok, tok);
tok = skip(tok, ";");
if (!equal(tok, ")"))
node->inc = expr(&tok, tok);
tok = skip(tok, ")");
node->then = stmt(rest, tok);
return node;
}
2019-08-04 11:24:03 +03:00
if (equal(tok, "while")) {
Node *node = new_node(ND_FOR, tok);
2019-08-04 11:24:03 +03:00
tok = skip(tok->next, "(");
node->cond = expr(&tok, tok);
tok = skip(tok, ")");
node->then = stmt(rest, tok);
return node;
}
2020-09-04 07:38:41 +03:00
if (equal(tok, "{"))
return compound_stmt(rest, tok->next);
return expr_stmt(rest, tok);
}
// compound-stmt = (declaration | stmt)* "}"
2020-09-04 07:38:41 +03:00
static Node *compound_stmt(Token **rest, Token *tok) {
Node *node = new_node(ND_BLOCK, tok);
2020-09-04 07:38:41 +03:00
Node head = {};
Node *cur = &head;
2020-09-04 12:00:26 +03:00
enter_scope();
2020-09-04 07:39:06 +03:00
while (!equal(tok, "}")) {
2020-08-27 15:04:17 +03:00
if (is_typename(tok))
cur = cur->next = declaration(&tok, tok);
else
cur = cur->next = stmt(&tok, tok);
2020-09-04 07:39:06 +03:00
add_type(cur);
}
2020-09-04 07:38:41 +03:00
2020-09-04 12:00:26 +03:00
leave_scope();
2020-09-04 07:38:41 +03:00
node->body = head.next;
*rest = tok->next;
return node;
}
2020-05-14 05:05:01 +03:00
// expr-stmt = expr? ";"
static Node *expr_stmt(Token **rest, Token *tok) {
2020-05-14 05:05:01 +03:00
if (equal(tok, ";")) {
*rest = tok->next;
return new_node(ND_BLOCK, tok);
2020-05-14 05:05:01 +03:00
}
Node *node = new_node(ND_EXPR_STMT, tok);
node->lhs = expr(&tok, tok);
*rest = skip(tok, ";");
return node;
}
// expr = assign ("," expr)?
2020-10-07 14:11:16 +03:00
static Node *expr(Token **rest, Token *tok) {
Node *node = assign(&tok, tok);
if (equal(tok, ","))
return new_binary(ND_COMMA, node, expr(rest, tok->next), tok);
*rest = tok;
return node;
2020-09-26 02:59:56 +03:00
}
// assign = equality ("=" assign)?
static Node *assign(Token **rest, Token *tok) {
Node *node = equality(&tok, tok);
2020-09-26 02:59:56 +03:00
if (equal(tok, "="))
return new_binary(ND_ASSIGN, node, assign(rest, tok->next), tok);
2020-09-26 02:59:56 +03:00
*rest = tok;
return node;
2020-10-07 14:11:16 +03:00
}
// equality = relational ("==" relational | "!=" relational)*
static Node *equality(Token **rest, Token *tok) {
Node *node = relational(&tok, tok);
for (;;) {
Token *start = tok;
2020-10-07 14:11:16 +03:00
if (equal(tok, "==")) {
node = new_binary(ND_EQ, node, relational(&tok, tok->next), start);
2020-10-07 14:11:16 +03:00
continue;
}
if (equal(tok, "!=")) {
node = new_binary(ND_NE, node, relational(&tok, tok->next), start);
2020-10-07 14:11:16 +03:00
continue;
}
*rest = tok;
return node;
}
}
// relational = add ("<" add | "<=" add | ">" add | ">=" add)*
static Node *relational(Token **rest, Token *tok) {
Node *node = add(&tok, tok);
for (;;) {
Token *start = tok;
2020-10-07 14:11:16 +03:00
if (equal(tok, "<")) {
node = new_binary(ND_LT, node, add(&tok, tok->next), start);
2020-10-07 14:11:16 +03:00
continue;
}
if (equal(tok, "<=")) {
node = new_binary(ND_LE, node, add(&tok, tok->next), start);
2020-10-07 14:11:16 +03:00
continue;
}
if (equal(tok, ">")) {
node = new_binary(ND_LT, add(&tok, tok->next), node, start);
2020-10-07 14:11:16 +03:00
continue;
}
if (equal(tok, ">=")) {
node = new_binary(ND_LE, add(&tok, tok->next), node, start);
2020-10-07 14:11:16 +03:00
continue;
}
*rest = tok;
return node;
}
}
2020-09-04 07:39:06 +03:00
// In C, `+` operator is overloaded to perform the pointer arithmetic.
// If p is a pointer, p+n adds not n but sizeof(*p)*n to the value of p,
// so that p+n points to the location n elements (not bytes) ahead of p.
// In other words, we need to scale an integer value before adding to a
// pointer value. This function takes care of the scaling.
static Node *new_add(Node *lhs, Node *rhs, Token *tok) {
add_type(lhs);
add_type(rhs);
// num + num
if (is_integer(lhs->ty) && is_integer(rhs->ty))
return new_binary(ND_ADD, lhs, rhs, tok);
if (lhs->ty->base && rhs->ty->base)
error_tok(tok, "invalid operands");
// Canonicalize `num + ptr` to `ptr + num`.
if (!lhs->ty->base && rhs->ty->base) {
Node *tmp = lhs;
lhs = rhs;
rhs = tmp;
}
// ptr + num
2020-09-26 04:15:32 +03:00
rhs = new_binary(ND_MUL, rhs, new_num(lhs->ty->base->size, tok), tok);
2020-09-04 07:39:06 +03:00
return new_binary(ND_ADD, lhs, rhs, tok);
}
// Like `+`, `-` is overloaded for the pointer type.
static Node *new_sub(Node *lhs, Node *rhs, Token *tok) {
add_type(lhs);
add_type(rhs);
// num - num
if (is_integer(lhs->ty) && is_integer(rhs->ty))
return new_binary(ND_SUB, lhs, rhs, tok);
// ptr - num
if (lhs->ty->base && is_integer(rhs->ty)) {
2020-09-26 04:15:32 +03:00
rhs = new_binary(ND_MUL, rhs, new_num(lhs->ty->base->size, tok), tok);
2020-09-04 07:39:06 +03:00
add_type(rhs);
Node *node = new_binary(ND_SUB, lhs, rhs, tok);
node->ty = lhs->ty;
return node;
}
// ptr - ptr, which returns how many elements are between the two.
if (lhs->ty->base && rhs->ty->base) {
Node *node = new_binary(ND_SUB, lhs, rhs, tok);
node->ty = ty_int;
2020-09-26 04:15:32 +03:00
return new_binary(ND_DIV, node, new_num(lhs->ty->base->size, tok), tok);
2020-09-04 07:39:06 +03:00
}
error_tok(tok, "invalid operands");
}
2020-10-07 14:11:16 +03:00
// add = mul ("+" mul | "-" mul)*
static Node *add(Token **rest, Token *tok) {
Node *node = mul(&tok, tok);
for (;;) {
Token *start = tok;
2020-10-07 14:11:16 +03:00
if (equal(tok, "+")) {
2020-09-04 07:39:06 +03:00
node = new_add(node, mul(&tok, tok->next), start);
2020-10-07 14:11:16 +03:00
continue;
}
if (equal(tok, "-")) {
2020-09-04 07:39:06 +03:00
node = new_sub(node, mul(&tok, tok->next), start);
2020-10-07 14:11:16 +03:00
continue;
}
*rest = tok;
return node;
}
}
// mul = unary ("*" unary | "/" unary)*
static Node *mul(Token **rest, Token *tok) {
Node *node = unary(&tok, tok);
for (;;) {
Token *start = tok;
2020-10-07 14:11:16 +03:00
if (equal(tok, "*")) {
node = new_binary(ND_MUL, node, unary(&tok, tok->next), start);
2020-10-07 14:11:16 +03:00
continue;
}
if (equal(tok, "/")) {
node = new_binary(ND_DIV, node, unary(&tok, tok->next), start);
2020-10-07 14:11:16 +03:00
continue;
}
*rest = tok;
return node;
}
}
2019-08-05 15:12:44 +03:00
// unary = ("+" | "-" | "*" | "&") unary
2019-08-06 12:14:53 +03:00
// | postfix
2020-10-07 14:11:16 +03:00
static Node *unary(Token **rest, Token *tok) {
if (equal(tok, "+"))
return unary(rest, tok->next);
if (equal(tok, "-"))
return new_unary(ND_NEG, unary(rest, tok->next), tok);
2020-10-07 14:11:16 +03:00
2019-08-05 15:12:44 +03:00
if (equal(tok, "&"))
return new_unary(ND_ADDR, unary(rest, tok->next), tok);
if (equal(tok, "*"))
return new_unary(ND_DEREF, unary(rest, tok->next), tok);
2019-08-06 12:14:53 +03:00
return postfix(rest, tok);
}
2019-08-08 16:43:58 +03:00
// struct-members = (declspec declarator ("," declarator)* ";")*
static void struct_members(Token **rest, Token *tok, Type *ty) {
Member head = {};
Member *cur = &head;
while (!equal(tok, "}")) {
Type *basety = declspec(&tok, tok);
int i = 0;
while (!consume(&tok, tok, ";")) {
if (i++)
tok = skip(tok, ",");
Member *mem = calloc(1, sizeof(Member));
mem->ty = declarator(&tok, tok, basety);
mem->name = mem->ty->name;
cur = cur->next = mem;
}
}
*rest = tok->next;
ty->members = head.next;
}
2020-04-02 15:54:47 +03:00
// struct-union-decl = ident? ("{" struct-members)?
static Type *struct_union_decl(Token **rest, Token *tok) {
// Read a tag.
2020-10-07 04:43:02 +03:00
Token *tag = NULL;
if (tok->kind == TK_IDENT) {
tag = tok;
tok = tok->next;
}
if (tag && !equal(tok, "{")) {
Type *ty = find_tag(tag);
if (!ty)
error_tok(tag, "unknown struct type");
*rest = tok;
return ty;
}
2019-08-08 16:43:58 +03:00
// Construct a struct object.
Type *ty = calloc(1, sizeof(Type));
ty->kind = TY_STRUCT;
2020-10-07 04:43:02 +03:00
struct_members(rest, tok->next, ty);
2020-08-30 11:21:54 +03:00
ty->align = 1;
2019-08-08 16:43:58 +03:00
2020-04-02 15:54:47 +03:00
// Register the struct type if a name was given.
if (tag)
push_tag_scope(tag, ty);
return ty;
}
// struct-decl = struct-union-decl
static Type *struct_decl(Token **rest, Token *tok) {
Type *ty = struct_union_decl(rest, tok);
ty->kind = TY_STRUCT;
2019-08-08 16:43:58 +03:00
// Assign offsets within the struct to members.
int offset = 0;
for (Member *mem = ty->members; mem; mem = mem->next) {
2020-08-30 11:21:54 +03:00
offset = align_to(offset, mem->ty->align);
2019-08-08 16:43:58 +03:00
mem->offset = offset;
offset += mem->ty->size;
2020-08-30 11:21:54 +03:00
if (ty->align < mem->ty->align)
ty->align = mem->ty->align;
2019-08-08 16:43:58 +03:00
}
2020-08-30 11:21:54 +03:00
ty->size = align_to(offset, ty->align);
2020-04-02 15:54:47 +03:00
return ty;
}
2019-08-08 16:43:58 +03:00
2020-04-02 15:54:47 +03:00
// union-decl = struct-union-decl
static Type *union_decl(Token **rest, Token *tok) {
Type *ty = struct_union_decl(rest, tok);
ty->kind = TY_UNION;
// If union, we don't have to assign offsets because they
// are already initialized to zero. We need to compute the
// alignment and the size though.
for (Member *mem = ty->members; mem; mem = mem->next) {
if (ty->align < mem->ty->align)
ty->align = mem->ty->align;
if (ty->size < mem->ty->size)
ty->size = mem->ty->size;
}
ty->size = align_to(ty->size, ty->align);
2019-08-08 16:43:58 +03:00
return ty;
}
static Member *get_struct_member(Type *ty, Token *tok) {
for (Member *mem = ty->members; mem; mem = mem->next)
if (mem->name->len == tok->len &&
!strncmp(mem->name->loc, tok->loc, tok->len))
return mem;
error_tok(tok, "no such member");
}
static Node *struct_ref(Node *lhs, Token *tok) {
add_type(lhs);
2020-04-02 15:54:47 +03:00
if (lhs->ty->kind != TY_STRUCT && lhs->ty->kind != TY_UNION)
error_tok(lhs->tok, "not a struct nor a union");
2019-08-08 16:43:58 +03:00
Node *node = new_unary(ND_MEMBER, lhs, tok);
node->member = get_struct_member(lhs->ty, tok);
return node;
}
2020-10-07 14:16:40 +03:00
// postfix = primary ("[" expr "]" | "." ident | "->" ident)*
2019-08-06 12:14:53 +03:00
static Node *postfix(Token **rest, Token *tok) {
Node *node = primary(&tok, tok);
2019-08-08 16:43:58 +03:00
for (;;) {
if (equal(tok, "[")) {
// x[y] is short for *(x+y)
Token *start = tok;
Node *idx = expr(&tok, tok->next);
tok = skip(tok, "]");
node = new_unary(ND_DEREF, new_add(node, idx, start), start);
continue;
}
if (equal(tok, ".")) {
node = struct_ref(node, tok->next);
tok = tok->next->next;
continue;
}
2020-10-07 14:16:40 +03:00
if (equal(tok, "->")) {
// x->y is short for (*x).y
node = new_unary(ND_DEREF, node, tok);
node = struct_ref(node, tok->next);
tok = tok->next->next;
continue;
}
2019-08-08 16:43:58 +03:00
*rest = tok;
return node;
2019-08-06 12:14:53 +03:00
}
2020-10-07 14:11:16 +03:00
}
// funcall = ident "(" (assign ("," assign)*)? ")"
static Node *funcall(Token **rest, Token *tok) {
Token *start = tok;
tok = tok->next->next;
Node head = {};
Node *cur = &head;
while (!equal(tok, ")")) {
if (cur != &head)
tok = skip(tok, ",");
cur = cur->next = assign(&tok, tok);
}
*rest = skip(tok, ")");
Node *node = new_node(ND_FUNCALL, start);
node->funcname = strndup(start->loc, start->len);
node->args = head.next;
return node;
}
// primary = "(" "{" stmt+ "}" ")"
// | "(" expr ")"
// | "sizeof" unary
// | ident func-args?
// | str
// | num
2020-10-07 14:11:16 +03:00
static Node *primary(Token **rest, Token *tok) {
if (equal(tok, "(") && equal(tok->next, "{")) {
// This is a GNU statement expresssion.
Node *node = new_node(ND_STMT_EXPR, tok);
node->body = compound_stmt(&tok, tok->next->next)->body;
*rest = skip(tok, ")");
return node;
}
2020-10-07 14:11:16 +03:00
if (equal(tok, "(")) {
Node *node = expr(&tok, tok->next);
*rest = skip(tok, ")");
return node;
}
2019-08-06 12:44:53 +03:00
if (equal(tok, "sizeof")) {
Node *node = unary(rest, tok->next);
add_type(node);
return new_num(node->ty->size, tok);
}
2020-09-26 02:59:56 +03:00
if (tok->kind == TK_IDENT) {
2019-08-04 12:25:20 +03:00
// Function call
if (equal(tok->next, "("))
return funcall(rest, tok);
2019-08-04 12:25:20 +03:00
// Variable
2020-10-07 14:12:19 +03:00
Obj *var = find_var(tok);
if (!var)
error_tok(tok, "undefined variable");
2020-09-26 02:59:56 +03:00
*rest = tok->next;
return new_var_node(var, tok);
2020-09-26 02:59:56 +03:00
}
2020-10-07 06:49:08 +03:00
if (tok->kind == TK_STR) {
Obj *var = new_string_literal(tok->str, tok->ty);
*rest = tok->next;
return new_var_node(var, tok);
}
2020-10-07 14:11:16 +03:00
if (tok->kind == TK_NUM) {
Node *node = new_num(tok->val, tok);
2020-10-07 14:11:16 +03:00
*rest = tok->next;
return node;
}
error_tok(tok, "expected an expression");
}
static void create_param_lvars(Type *param) {
if (param) {
create_param_lvars(param->next);
new_lvar(get_ident(param->name), param);
}
}
static Token *function(Token *tok, Type *basety) {
Type *ty = declarator(&tok, tok, basety);
2020-09-04 13:01:33 +03:00
Obj *fn = new_gvar(get_ident(ty->name), ty);
fn->is_function = true;
2020-09-04 13:01:33 +03:00
locals = NULL;
2020-09-04 12:00:26 +03:00
enter_scope();
create_param_lvars(ty->params);
fn->params = locals;
2020-09-04 13:01:33 +03:00
2020-09-04 07:38:41 +03:00
tok = skip(tok, "{");
fn->body = compound_stmt(&tok, tok);
2020-09-04 13:01:33 +03:00
fn->locals = locals;
2020-09-04 12:00:26 +03:00
leave_scope();
return tok;
2020-09-04 13:01:33 +03:00
}
2020-09-05 02:43:21 +03:00
static Token *global_variable(Token *tok, Type *basety) {
bool first = true;
while (!consume(&tok, tok, ";")) {
if (!first)
tok = skip(tok, ",");
first = false;
Type *ty = declarator(&tok, tok, basety);
new_gvar(get_ident(ty->name), ty);
}
return tok;
}
// Lookahead tokens and returns true if a given token is a start
// of a function definition or declaration.
static bool is_function(Token *tok) {
if (equal(tok, ";"))
return false;
Type dummy = {};
Type *ty = declarator(&tok, tok, &dummy);
return ty->kind == TY_FUNC;
}
// program = (function-definition | global-variable)*
Obj *parse(Token *tok) {
globals = NULL;
2020-10-07 14:12:19 +03:00
while (tok->kind != TK_EOF) {
Type *basety = declspec(&tok, tok);
2020-09-05 02:43:21 +03:00
// Function
if (is_function(tok)) {
tok = function(tok, basety);
continue;
}
// Global variable
tok = global_variable(tok, basety);
}
return globals;
2020-10-07 14:11:16 +03:00
}