/*
 * Copyright (C) 2024 olang maintainers
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */

#include <assert.h>
#include <stdint.h>

#include "arena.h"
#include "ast.h"
#include "string_view.h"

ast_node_t *
ast_new_translation_unit(arena_t *arena)
{
    ast_node_t *node = (ast_node_t *)arena_alloc(arena, sizeof(ast_node_t));
    assert(node);

    node->kind = AST_NODE_TRANSLATION_UNIT;
    ast_translation_unit_t *translation_unit = &node->as_translation_unit;

    translation_unit->decls = (list_t *)arena_alloc(arena, sizeof(list_t));
    assert(translation_unit->decls);

    list_init(translation_unit->decls, arena);

    return node;
}

ast_node_t *
ast_new_node_fn_def(arena_t *arena,
                    token_loc_t loc,
                    string_view_t id,
                    list_t *params,
                    type_t *return_type,
                    bool _extern,
                    ast_node_t *block)
{
    assert(arena);
    assert(params);

    ast_node_t *node_fn_def =
        (ast_node_t *)arena_alloc(arena, sizeof(ast_node_t));
    assert(node_fn_def);

    node_fn_def->kind = AST_NODE_FN_DEF;
    node_fn_def->loc = loc;
    ast_fn_definition_t *fn_def = &node_fn_def->as_fn_def;

    fn_def->id = id;
    fn_def->return_type = return_type;
    fn_def->_extern = _extern;
    fn_def->block = block;
    fn_def->params = params;

    return node_fn_def;
}

ast_node_t *
ast_new_node_fn_call(arena_t *arena,
                     token_loc_t loc,
                     string_view_t id,
                     list_t *args)
{
    assert(arena);
    assert(args);

    ast_node_t *node_fn_call =
        (ast_node_t *)arena_alloc(arena, sizeof(ast_node_t));
    assert(node_fn_call);

    node_fn_call->kind = AST_NODE_FN_CALL;
    node_fn_call->loc = loc;
    ast_fn_call_t *fn_call = &node_fn_call->as_fn_call;

    fn_call->id = id;
    fn_call->args = args;

    return node_fn_call;
}

ast_node_t *
ast_new_node_var_def(arena_t *arena,
                     token_loc_t loc,
                     string_view_t id,
                     type_t *type,
                     ast_node_t *value)
{
    ast_node_t *node_var_def =
        (ast_node_t *)arena_alloc(arena, sizeof(ast_node_t));
    assert(node_var_def);

    node_var_def->kind = AST_NODE_VAR_DEF;
    node_var_def->loc = loc;
    ast_var_definition_t *var_def = &node_var_def->as_var_def;

    var_def->ident.name = id;
    var_def->type = type;
    var_def->value = value;

    return node_var_def;
}

ast_node_t *
ast_new_node_bin_op(arena_t *arena,
                    token_loc_t loc,
                    ast_binary_op_kind_t kind,
                    ast_node_t *lhs,
                    ast_node_t *rhs)
{
    ast_node_t *node_bin_op =
        (ast_node_t *)arena_alloc(arena, sizeof(ast_node_t));
    assert(node_bin_op);

    node_bin_op->kind = AST_NODE_BINARY_OP;
    node_bin_op->loc = loc;
    node_bin_op->as_bin_op.kind = kind;
    node_bin_op->as_bin_op.lhs = lhs;
    node_bin_op->as_bin_op.rhs = rhs;

    return node_bin_op;
}

ast_node_t *
ast_new_node_unary_op(arena_t *arena,
                      token_loc_t loc,
                      ast_unary_op_kind_t kind,
                      ast_node_t *operand)
{
    ast_node_t *node_unary_op =
        (ast_node_t *)arena_alloc(arena, sizeof(ast_node_t));
    assert(node_unary_op);

    node_unary_op->kind = AST_NODE_UNARY_OP;
    node_unary_op->loc = loc;
    node_unary_op->as_unary_op.kind = kind;
    node_unary_op->as_unary_op.operand = operand;

    return node_unary_op;
}

ast_node_t *
ast_new_node_literal_u32(arena_t *arena, token_loc_t loc, uint32_t value)
{
    ast_node_t *node_literal =
        (ast_node_t *)arena_alloc(arena, sizeof(ast_node_t));
    assert(node_literal);

    node_literal->kind = AST_NODE_LITERAL;
    node_literal->loc = loc;
    node_literal->as_literal.kind = AST_LITERAL_U32;
    node_literal->as_literal.as_u32 = value;

    return node_literal;
}

ast_node_t *
ast_new_node_ref(arena_t *arena, token_loc_t loc, string_view_t ident_name)
{
    ast_node_t *node_ref = (ast_node_t *)arena_alloc(arena, sizeof(ast_node_t));
    assert(node_ref);

    node_ref->kind = AST_NODE_REF;
    node_ref->loc = loc;
    node_ref->as_ref.ident.name = ident_name;

    return node_ref;
}

ast_node_t *
ast_new_node_return_stmt(arena_t *arena, token_loc_t loc, ast_node_t *value)
{
    ast_node_t *node_return_stmt =
        (ast_node_t *)arena_alloc(arena, sizeof(ast_node_t));
    assert(node_return_stmt);

    node_return_stmt->kind = AST_NODE_RETURN_STMT;
    node_return_stmt->loc = loc;
    node_return_stmt->as_return_stmt.value = value;

    return node_return_stmt;
}

ast_node_t *
ast_new_node_if_stmt(arena_t *arena,
                     token_loc_t loc,
                     ast_node_t *cond,
                     ast_node_t *then,
                     ast_node_t *_else)
{
    ast_node_t *node_if_stmt = arena_alloc(arena, sizeof(ast_node_t));
    assert(node_if_stmt);

    node_if_stmt->kind = AST_NODE_IF_STMT;
    node_if_stmt->loc = loc;
    node_if_stmt->as_if_stmt.cond = cond;
    node_if_stmt->as_if_stmt.then = then;
    node_if_stmt->as_if_stmt._else = _else;

    return node_if_stmt;
}

ast_node_t *
ast_new_node_while_stmt(arena_t *arena,
                        token_loc_t loc,
                        ast_node_t *cond,
                        ast_node_t *then)
{
    ast_node_t *node_while_stmt = arena_alloc(arena, sizeof(ast_node_t));
    assert(node_while_stmt);

    node_while_stmt->kind = AST_NODE_WHILE_STMT;
    node_while_stmt->loc = loc;
    node_while_stmt->as_while_stmt.cond = cond;
    node_while_stmt->as_while_stmt.then = then;

    return node_while_stmt;
}

ast_node_t *
ast_new_node_block(arena_t *arena)
{
    ast_node_t *node_block =
        (ast_node_t *)arena_alloc(arena, sizeof(ast_node_t));
    assert(node_block);

    node_block->kind = AST_NODE_BLOCK;

    node_block->as_block.nodes = (list_t *)arena_alloc(arena, sizeof(list_t));
    assert(node_block->as_block.nodes);

    list_init(node_block->as_block.nodes, arena);

    return node_block;
}

ast_fn_param_t *
ast_new_fn_param(arena_t *arena, string_view_t id, type_t *type)
{
    ast_fn_param_t *fn_param =
        (ast_fn_param_t *)arena_alloc(arena, sizeof(ast_fn_param_t));
    assert(fn_param);

    fn_param->id = id;
    fn_param->type = type;

    return fn_param;
}