#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_value_t
struct	srn_term_t
struct	srn_graph_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_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 struct hmap_t	hmap_t
typedef struct srn_fiber_mutex_t	srn_fiber_mutex_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 enum srn_ir_type_t	srn_ir_type_t
typedef struct srn_metadata_t	srn_metadata_t
typedef enum srn_value_tag_e	srn_value_tag_t
typedef struct srn_value_t	srn_value_t
typedef size_t	srn_node_type_t
typedef struct srn_term_t	srn_term_t
typedef struct srn_graph_t	srn_graph_t

Enumerations
enum	srn_ir_type_t : size_t { IR_TYPE_IR_READER = 0 , IR_TYPE_KLEENE , IR_TYPE_Error }
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
srn_metadata_t	absurd_metadata
	We use this for testing. Defined once in core.c.
srn_value_t	nil_v
srn_value_t	true_v
srn_value_t	false_v

Macro Definition Documentation

◆ AS_CLOSURE

#define AS_CLOSURE ( value_ref )

Value:

((value_ref)->as.closure)

Definition at line 152 of file core.h.

◆ AS_ERROR

#define AS_ERROR ( value_ref )

Value:

((value_ref)->as.error)

Definition at line 156 of file core.h.

◆ AS_F64

#define AS_F64 ( value_ref )

Value:

((value_ref)->as.f64)

Definition at line 151 of file core.h.

◆ AS_I64

#define AS_I64 ( value_ref )

Value:

((value_ref)->as.i64)

Definition at line 150 of file core.h.

◆ AS_KEYWORD

#define AS_KEYWORD ( value_ref )

Value:

((value_ref)->as.keyword)

Definition at line 158 of file core.h.

◆ AS_LIST

#define AS_LIST ( value_ref )

Value:

((value_ref)->as.list)

Definition at line 157 of file core.h.

◆ AS_MAP

#define AS_MAP ( value_ref )

Value:

((value_ref)->as.map)

Definition at line 160 of file core.h.

◆ AS_NS

#define AS_NS ( value_ref )

Value:

((value_ref)->as.ns)

Definition at line 153 of file core.h.

◆ AS_SEQ

#define AS_SEQ ( value_ref )

Value:

((value_ref)->as.seq)

Definition at line 159 of file core.h.

◆ AS_STRING

#define AS_STRING ( value_ref )

Value:

((value_ref)->as.string)

Definition at line 154 of file core.h.

◆ AS_SYMBOL

#define AS_SYMBOL ( value_ref )

Value:

((value_ref)->as.symbol)

Definition at line 155 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:143

Definition at line 145 of file core.h.

◆ IS_FALSE

#define IS_FALSE ( value_ref )

Value:

(TYPE(value_ref) == VFalse)

VFalse

@ VFalse

Definition core.h:93

Definition at line 147 of file core.h.

◆ IS_NIL

#define IS_NIL ( value_ref )

Value:

(TYPE(value_ref) == VNil)

VNil

@ VNil

Definition core.h:91

Definition at line 148 of file core.h.

◆ IS_TRUE

#define IS_TRUE ( value_ref )

Value:

(TYPE(value_ref) == VTrue)

VTrue

@ VTrue

Definition core.h:92

Definition at line 146 of file core.h.

◆ METADATA

#define METADATA ( value_ref )

Value:

((value_ref)->metadata)

Definition at line 144 of file core.h.

◆ SIZE_OF_VALUE_PALYLOAD

#define SIZE_OF_VALUE_PALYLOAD 8

Definition at line 130 of file core.h.

◆ TYPE

#define TYPE ( value_ref )

Value:

((value_ref)->type)

Definition at line 143 of file core.h.

Typedef Documentation

◆ hmap_t

typedef struct hmap_t hmap_t

Definition at line 42 of file core.h.

◆ 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_fiber_mutex_t

typedef struct srn_fiber_mutex_t srn_fiber_mutex_t

Definition at line 43 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 51 of file core.h.

◆ srn_graph_t

typedef struct srn_graph_t srn_graph_t

◆ srn_ir_type_t

typedef enum srn_ir_type_t srn_ir_type_t

◆ 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_node_type_t

typedef size_t srn_node_type_t

Definition at line 190 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_term_t

typedef struct srn_term_t srn_term_t

◆ srn_value_t

typedef struct srn_value_t srn_value_t

◆ srn_value_tag_t

typedef enum srn_value_tag_e srn_value_tag_t

Enumeration Type Documentation

◆ srn_ir_type_t

enum srn_ir_type_t : size_t

Enumerator
IR_TYPE_IR_READER
IR_TYPE_KLEENE
IR_TYPE_Error	IR_TYPE_Error should be last.

Definition at line 65 of file core.h.

                           : size_t {
  IR_TYPE_IR_READER = 0,
  IR_TYPE_KLEENE,
  /// IR_TYPE_Error should be last
  IR_TYPE_Error,
} srn_ir_type_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 90 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()

LLVMTypeRef srn_llvm_value_t ( LLVMContextRef llctx )

inlinestatic

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

Definition at line 169 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 36 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

extern

We use this for testing. Defined once in core.c.

Definition at line 26 of file core.c.

26{nullptr, nullptr, IR_TYPE_IR_READER};

◆ false_v

srn_value_t false_v

extern

Definition at line 29 of file core.c.

29{.type = VFalse};

◆ nil_v

srn_value_t nil_v

extern

Definition at line 27 of file core.c.

27{.type = VNil};

◆ true_v

srn_value_t true_v

extern

Definition at line 28 of file core.c.

28{.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

◆ hmap_t

◆ srn_error_t

◆ srn_expr_t

◆ srn_fiber_mutex_t

◆ srn_fnptr_t

◆ srn_graph_t

◆ srn_ir_type_t

◆ srn_keyword_t

◆ srn_list_t

◆ srn_map_t

◆ srn_metadata_t

◆ srn_namespace_t

◆ srn_node_type_t

◆ srn_seq_t

◆ srn_src_location_t

◆ srn_string_t

◆ srn_symbol_t

◆ srn_term_t

◆ srn_value_t

◆ srn_value_tag_t

Enumeration Type Documentation

◆ srn_ir_type_t

◆ srn_value_tag_e

Function Documentation

◆ srn_llvm_value_t()

◆ srn_value_make()

Variable Documentation

◆ absurd_metadata

◆ false_v

◆ nil_v

◆ true_v