#ifndef PCB_H
#define PCB_H

#include <stdbool.h>
#include <stdlib.h>
#include <stdint.h>

// Must be given back to pcb in some way
// Either with functions that take ownership or to a "pcb_destroy_*" function
typedef struct pcb_CtxtOpaque* pcb_Ctxt;
typedef struct pcb_FunctionTypeOpaque* pcb_FunctionType;

typedef struct pcb_FunctionOpaque* pcb_FunctionRef;
typedef struct pcb_BlockOpaque* pcb_BlockRef;
typedef struct pcb_TypeOpaqua* pcb_TypeRef;
typedef struct pcb_ValueOpaque* pcb_ValueRef;

#if __CPLUSPLUS
extern "C" {
#endif

// -- pcb_Ctxt --

pcb_Ctxt pcb_Ctxt_new(void);
void pcb_Ctxt_delete(pcb_Ctxt ctxt);
/// Takes ownership of ctxt
void pcb_Ctxt_build_and_write(pcb_Ctxt ctxt,
    char const* name, size_t name_len, bool print_llvm_ir);
void pcb_Ctxt_print(pcb_Ctxt const* ctxt);

// -- pcb_FunctionType --

pcb_FunctionType pcb_FunctionType_new(pcb_TypeRef const* inputs,
    size_t inputs_len, pcb_TypeRef output);
pcb_FunctionType pcb_FunctionType_clone(pcb_FunctionType const* ty);
void pcb_FunctionType_delete(pcb_FunctionType func);

// -- pcb_FunctionRef --

pcb_FunctionRef pcb_Function_create(pcb_Ctxt const* ctxt,
    char const* name, size_t name_len, pcb_FunctionType ty);

// -- pcb_BlockRef --

pcb_BlockRef pcb_Block_append(pcb_FunctionRef func);
pcb_ValueRef pcb_Block_build_const_int(pcb_BlockRef blk, pcb_TypeRef ty,
    uint64_t value);
pcb_ValueRef pcb_Block_build_call(pcb_BlockRef blk, pcb_FunctionRef func);
void pcb_Block_build_branch(pcb_BlockRef blk, pcb_BlockRef to);
void pcb_Block_build_return(pcb_BlockRef blk, pcb_ValueRef val);

// -- pcb_TypeRef --

pcb_TypeRef pcb_Type_int(pcb_Ctxt const* ctxt, uint32_t size);

#if __CPLUSPLUS
extern "C" {
#endif

#endif