#include <stddef.h>
#include <stdint.h>
#include "llvm-c/Core.h"
#include "llvm-c/Types.h"
#include "serene/rt/impl/seq.h"

Include dependency graph for core.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	srn_src_location_t

struct	srn_metadata_t

struct	srn_syntax_t

struct	srn_value_t

Macros
#define	SIZE_OF_VALUE_PALYLOAD 8

#define	TYPE(value_ref)

#define	METADATA(value_ref)

#define	IS_A(value_ref, field)

#define	IS_TRUE(value_ref)

#define	IS_FALSE(value_ref)

#define	IS_NIL(value_ref)

#define	AS_I64(value_ref)

#define	AS_F64(value_ref)

#define	AS_CLOSURE(value_ref)

#define	AS_NS(value_ref)

#define	AS_STRING(value_ref)

#define	AS_SYMBOL(value_ref)

#define	AS_ERROR(value_ref)

#define	AS_LIST(value_ref)

#define	AS_KEYWORD(value_ref)

#define	AS_SEQ(value_ref)

#define	AS_MAP(value_ref)

Typedefs
typedef struct srn_expr_t	srn_expr_t

typedef struct srn_value_t	srn_value_t

typedef struct srn_error_t	srn_error_t

typedef struct srn_namespace_t	srn_namespace_t

typedef struct srn_string_t	srn_string_t

typedef struct srn_symbol_t	srn_symbol_t

typedef struct srn_list_t	srn_list_t

typedef struct srn_keyword_t	srn_keyword_t

typedef struct srn_seq_t	srn_seq_t

typedef struct srn_map_t	srn_map_t

typedef srn_value_t (	srn_fnptr_t) (srn_context_t ctx, srn_value_t argv, uint32_t argc)

typedef struct srn_src_location_t	srn_src_location_t

typedef struct srn_metadata_t	srn_metadata_t

typedef enum srn_syntax_tag_e	srn_syntax_tag_t

typedef struct srn_syntax_t	srn_syntax_t

typedef enum srn_value_tag_e	srn_value_tag_t

Enumerations
enum	srn_syntax_tag_e : size_t { SNil = 0 , STrue , SFalse , SSymbol , SNumber , SList , SSeq , SQuote , SString , SKeyword , SMap , SError }

enum	srn_value_tag_e : size_t { VNil = 0 , VTrue , VFalse , VI64 , VF64 , VList , VSeq , VQuote , VClosure , VNamespace , VString , VSymbol , VKeyword , VMap , VError }

Functions
srn_value_t *	srn_value_make (srn_context_t ctx, srn_value_tag_t tag, srn_metadata_t metadata, void *payload)
	Creates a new serene value.

static LLVMTypeRef	srn_llvm_value_t (LLVMContextRef llctx)
	LLVM type for srn_value_t in LLVM IR. { i64, ptr, i64 }.

Variables
static srn_metadata_t	absurd_metadata = {nullptr, nullptr}
	We use this for testing.

static srn_value_t	nil_v = {.type = VNil}

static srn_value_t	true_v = {.type = VTrue}

static srn_value_t	false_v = {.type = VFalse}

Macro Definition Documentation

◆ AS_CLOSURE

#define AS_CLOSURE ( value_ref )

Value:

((value_ref)->as.closure)

Definition at line 169 of file core.h.

◆ AS_ERROR

#define AS_ERROR ( value_ref )

Value:

((value_ref)->as.error)

Definition at line 173 of file core.h.

◆ AS_F64

#define AS_F64 ( value_ref )

Value:

((value_ref)->as.f64)

Definition at line 168 of file core.h.

◆ AS_I64

#define AS_I64 ( value_ref )

Value:

((value_ref)->as.i64)

Definition at line 167 of file core.h.

◆ AS_KEYWORD

#define AS_KEYWORD ( value_ref )

Value:

((value_ref)->as.keyword)

Definition at line 175 of file core.h.

◆ AS_LIST

#define AS_LIST ( value_ref )

Value:

((value_ref)->as.list)

Definition at line 174 of file core.h.

◆ AS_MAP

#define AS_MAP ( value_ref )

Value:

((value_ref)->as.map)

Definition at line 177 of file core.h.

◆ AS_NS

#define AS_NS ( value_ref )

Value:

((value_ref)->as.ns)

Definition at line 170 of file core.h.

◆ AS_SEQ

#define AS_SEQ ( value_ref )

Value:

((value_ref)->as.seq)

Definition at line 176 of file core.h.

◆ AS_STRING

#define AS_STRING ( value_ref )

Value:

((value_ref)->as.string)

Definition at line 171 of file core.h.

◆ AS_SYMBOL

#define AS_SYMBOL ( value_ref )

Value:

((value_ref)->as.symbol)

Definition at line 172 of file core.h.

◆ IS_A

#define IS_A	(		value_ref,
			field )

Value:

(TYPE(value_ref) == (field))

TYPE

#define TYPE(value_ref)

Definition core.h:160

Definition at line 162 of file core.h.

◆ IS_FALSE

#define IS_FALSE ( value_ref )

Value:

(TYPE(value_ref) == VFalse)

VFalse

@ VFalse

Definition core.h:115

Definition at line 164 of file core.h.

◆ IS_NIL

#define IS_NIL ( value_ref )

Value:

(TYPE(value_ref) == VNil)

VNil

@ VNil

Definition core.h:113

Definition at line 165 of file core.h.

◆ IS_TRUE

#define IS_TRUE ( value_ref )

Value:

(TYPE(value_ref) == VTrue)

VTrue

@ VTrue

Definition core.h:114

Definition at line 163 of file core.h.

◆ METADATA

#define METADATA ( value_ref )

Value:

((value_ref)->metadata)

Definition at line 161 of file core.h.

◆ SIZE_OF_VALUE_PALYLOAD

#define SIZE_OF_VALUE_PALYLOAD 8

Definition at line 152 of file core.h.

◆ TYPE

#define TYPE ( value_ref )

Value:

((value_ref)->type)

Definition at line 160 of file core.h.

Typedef Documentation

◆ srn_error_t

typedef struct srn_error_t srn_error_t

Definition at line 32 of file core.h.

◆ srn_expr_t

typedef struct srn_expr_t srn_expr_t

Definition at line 29 of file core.h.

◆ srn_fnptr_t

typedef srn_value_t *(* srn_fnptr_t) (srn_context_t *ctx, srn_value_t *argv, uint32_t argc)

Definition at line 46 of file core.h.

◆ srn_keyword_t

typedef struct srn_keyword_t srn_keyword_t

Definition at line 37 of file core.h.

◆ srn_list_t

typedef struct srn_list_t srn_list_t

Definition at line 36 of file core.h.

◆ srn_map_t

typedef struct srn_map_t srn_map_t

Definition at line 39 of file core.h.

◆ srn_metadata_t

typedef struct srn_metadata_t srn_metadata_t

◆ srn_namespace_t

typedef struct srn_namespace_t srn_namespace_t

Definition at line 33 of file core.h.

◆ srn_seq_t

typedef struct srn_seq_t srn_seq_t

Definition at line 38 of file core.h.

◆ srn_src_location_t

typedef struct srn_src_location_t srn_src_location_t

◆ srn_string_t

typedef struct srn_string_t srn_string_t

Definition at line 34 of file core.h.

◆ srn_symbol_t

typedef struct srn_symbol_t srn_symbol_t

Definition at line 35 of file core.h.

◆ srn_syntax_t

typedef struct srn_syntax_t srn_syntax_t

◆ srn_syntax_tag_t

typedef enum srn_syntax_tag_e srn_syntax_tag_t

◆ srn_value_t

typedef struct srn_value_t srn_value_t

Definition at line 30 of file core.h.

◆ srn_value_tag_t

typedef enum srn_value_tag_e srn_value_tag_t

Enumeration Type Documentation

◆ srn_syntax_tag_e

enum srn_syntax_tag_e : size_t

Enumerator
SNil
STrue
SFalse
SSymbol
SNumber
SList
SSeq
SQuote
SString
SKeyword
SMap
SError	SError should be last.

Definition at line 73 of file core.h.

                              : size_t {
  SNil = 0,
  STrue,
  SFalse,
  SSymbol,
  SNumber,
  SList,
  SSeq,
  SQuote,
  SString,
  SKeyword,
  SMap,
  /// SError should be last
  SError,
} srn_syntax_tag_t;

◆ srn_value_tag_e

enum srn_value_tag_e : size_t

Enumerator
VNil
VTrue
VFalse
VI64
VF64
VList
VSeq
VQuote
VClosure
VNamespace
VString
VSymbol
VKeyword
VMap
VError	VError should be last.

Definition at line 112 of file core.h.

                             : size_t {
  VNil = 0,
  VTrue,
  VFalse,
  VI64,
  VF64,
  VList,
  VSeq,
  VQuote,
  VClosure,
  VNamespace,
  VString,
  VSymbol,
  VKeyword,
  VMap,
  /// VError should be last
  VError,
} srn_value_tag_t;

Function Documentation

◆ srn_llvm_value_t()

static LLVMTypeRef srn_llvm_value_t ( LLVMContextRef llctx )

inlinestatic

LLVM type for srn_value_t in LLVM IR. { i64, ptr, i64 }.

Definition at line 186 of file core.h.

                                                                 {
  LLVMTypeRef i64t = LLVMInt64TypeInContext(llctx);
 
  // opaque ptr
  LLVMTypeRef i8t  = LLVMInt8TypeInContext(llctx);
  LLVMTypeRef ptrt = LLVMPointerType(i8t, 0);
 
  LLVMTypeRef fields[3];
  fields[0] = i64t; // type tag (srn_value_tag_t as i64)
  fields[1] = ptrt; // loc pointer
  fields[2] = i64t; // payload (the union)
 
  LLVMTypeRef st = LLVMStructCreateNamed(llctx, "srn_value_t");
  LLVMStructSetBody(st, fields, 3, 0);
  return st;
}

◆ srn_value_make()

srn_value_t * srn_value_make	(	srn_context_t *	ctx,
		srn_value_tag_t	tag,
		srn_metadata_t *	metadata,
		void *	payload )

nodiscard

Creates a new serene value.

We always heap allocate the values. So, ANY value creation should go through this function

Definition at line 24 of file core.c.

                                           {
  PANIC_IF_NULL(ctx);
 
  switch (tag) {
  case VNil:
    return &nil_v;
  case VTrue:
    return &true_v;
  case VFalse:
    return &false_v;
  default:
    break;
  }
 
  srn_value_t *v = ALLOC(ctx, srn_value_t);
  v->type = tag;
  v->metadata = metadata;
 
  // At this point payload should not be null
  PANIC_IF_NULL(payload);
 
  switch (tag) {
  case VI64:
    v->as.i64 = *(int64_t *)payload;
    break;
  case VF64:
    v->as.f64 = *(double *)payload;
    break;
  case VList:
    v->as.list = (srn_list_t *)payload;
    break;
  case VSeq:
    v->as.seq = (srn_seq_t *)payload;
    break;
  case VQuote:
    PANIC("Not implemented");
  case VClosure:
    PANIC("Not implemented");
  case VNamespace:
    v->as.ns = (srn_namespace_t *)payload;
    break;
  case VString:
    v->as.string = (srn_string_t *)payload;
    break;
  case VSymbol:
    v->as.symbol = (srn_symbol_t *)payload;
    break;
  case VKeyword:
    v->as.keyword = (srn_keyword_t *)payload;
    break;
  case VMap:
    v->as.map = (srn_map_t *)payload;
    break;
  case VError:
    v->as.error = (srn_error_t *)payload;
    break;
  default:
    PANIC("Should never happen");
  }
  return v;
}

Here is the caller graph for this function:

Variable Documentation

◆ absurd_metadata

srn_metadata_t absurd_metadata = {nullptr, nullptr}

static

We use this for testing.

Definition at line 66 of file core.h.

66{nullptr, nullptr};

◆ false_v

srn_value_t false_v = {.type = VFalse}

static

Definition at line 158 of file core.h.

158{.type = VFalse};

◆ nil_v

srn_value_t nil_v = {.type = VNil}

static

Definition at line 156 of file core.h.

156{.type = VNil};

◆ true_v

srn_value_t true_v = {.type = VTrue}

static

Definition at line 157 of file core.h.

157{.type = VTrue};

Data Structures

Macros

Typedefs

Enumerations

Functions

Variables

Macro Definition Documentation

◆ AS_CLOSURE

◆ AS_ERROR

◆ AS_F64

◆ AS_I64

◆ AS_KEYWORD

◆ AS_LIST

◆ AS_MAP

◆ AS_NS

◆ AS_SEQ

◆ AS_STRING

◆ AS_SYMBOL

◆ IS_A

◆ IS_FALSE

◆ IS_NIL

◆ IS_TRUE

◆ METADATA

◆ SIZE_OF_VALUE_PALYLOAD

◆ TYPE

Typedef Documentation

◆ srn_error_t

◆ srn_expr_t

◆ srn_fnptr_t

◆ srn_keyword_t

◆ srn_list_t

◆ srn_map_t

◆ srn_metadata_t

◆ srn_namespace_t

◆ srn_seq_t

◆ srn_src_location_t

◆ srn_string_t

◆ srn_symbol_t

◆ srn_syntax_t

◆ srn_syntax_tag_t

◆ srn_value_t

◆ srn_value_tag_t

Enumeration Type Documentation

◆ srn_syntax_tag_e

◆ srn_value_tag_e

Function Documentation

◆ srn_llvm_value_t()

◆ srn_value_make()

Variable Documentation

◆ absurd_metadata

◆ false_v

◆ nil_v

◆ true_v