/*
   This file is part of Fennix Kernel.

   Fennix Kernel 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.

   Fennix Kernel 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 Fennix Kernel. If not, see <https://www.gnu.org/licenses/>.
*/

#include <types.h>
#include <printf.h>
#include <uart.hpp>

#include "../kernel.h"

using namespace UniversalAsynchronousReceiverTransmitter;

#if BITS_PER_LONG >= 64
typedef long gcov_type;
#else
typedef long long gcov_type;
#endif

struct gcov_fn_info
{
    unsigned int ident;
    unsigned int checksum;
    unsigned int n_ctrs[0];
};

struct gcov_ctr_info
{
    unsigned int num;
    gcov_type *values;
    void (*merge)(gcov_type *, unsigned int);
};

struct gcov_info
{
    unsigned int version;
    struct gcov_info *next;
    unsigned int stamp;
    const char *filename;
    unsigned int n_functions;
    const struct gcov_fn_info *functions;
    unsigned int ctr_mask;
    struct gcov_ctr_info counts[0];
};

static inline SafeFunction NIF void gcov_uart_wrapper(char c, void *unused)
{
    UART(COM2).Write(c);
    UNUSED(unused);
}

// TODO: Implement

EXTERNC SafeFunction NIF void __gcov_init(gcov_info *p __unused)
{
}

EXTERNC SafeFunction NIF void __gcov_exit(void)
{
}

EXTERNC SafeFunction NIF void __gcov_flush(void)
{
}

EXTERNC SafeFunction NIF void __gcov_merge_add(gcov_type *counters, unsigned int n_counters)
{
    UNUSED(counters);
    UNUSED(n_counters);
}

EXTERNC SafeFunction NIF void __gcov_merge_single(gcov_type *counters, unsigned int n_counters)
{
    UNUSED(counters);
    UNUSED(n_counters);
}