add value.c and value.h
This commit is contained in:
Yuichi Nishiwaki
@@ -36,7 +36,7 @@ extern "C" {
|
||||
|
||||
typedef struct pic_state pic_state;
|
||||
|
||||
typedef struct {
|
||||
typedef struct value {
|
||||
#if PIC_NAN_BOXING
|
||||
uint64_t v;
|
||||
#else
|
||||
@@ -51,9 +51,6 @@ typedef struct {
|
||||
} pic_value;
|
||||
|
||||
|
||||
#include "picrin/value.h" /* inline definitions */
|
||||
|
||||
|
||||
/*
|
||||
* state manipulation
|
||||
*/
|
||||
|
||||
@@ -1,265 +0,0 @@
|
||||
/**
|
||||
* See Copyright Notice in picrin.h
|
||||
*/
|
||||
|
||||
#ifndef PICRIN_VALUE_H
|
||||
#define PICRIN_VALUE_H
|
||||
|
||||
#if defined(__cplusplus)
|
||||
extern "C" {
|
||||
#endif
|
||||
|
||||
enum {
|
||||
PIC_TYPE_INVALID = 1,
|
||||
PIC_TYPE_FLOAT = 2,
|
||||
PIC_TYPE_INT = 3,
|
||||
PIC_TYPE_CHAR = 4,
|
||||
PIC_TYPE_EOF = 5,
|
||||
PIC_TYPE_UNDEF = 6,
|
||||
PIC_TYPE_TRUE = 8,
|
||||
PIC_TYPE_NIL = 7,
|
||||
PIC_TYPE_FALSE = 9,
|
||||
PIC_IVAL_END = 10,
|
||||
/* -------------------- */
|
||||
PIC_TYPE_SYMBOL = 16,
|
||||
PIC_TYPE_STRING = 17,
|
||||
PIC_TYPE_BLOB = 18,
|
||||
PIC_TYPE_DATA = 19,
|
||||
PIC_TYPE_PAIR = 20,
|
||||
PIC_TYPE_VECTOR = 21,
|
||||
PIC_TYPE_DICT = 22,
|
||||
PIC_TYPE_RECORD = 23,
|
||||
PIC_TYPE_ATTR = 24,
|
||||
PIC_TYPE_PORT = 25,
|
||||
PIC_TYPE_IREP = 27,
|
||||
PIC_TYPE_FRAME = 28,
|
||||
PIC_TYPE_PROC_FUNC = 29,
|
||||
PIC_TYPE_PROC_IREP = 30,
|
||||
PIC_TYPE_MAX = 63
|
||||
};
|
||||
|
||||
PIC_STATIC_INLINE bool pic_int_p(pic_state *, pic_value);
|
||||
PIC_STATIC_INLINE bool pic_float_p(pic_state *, pic_value);
|
||||
PIC_STATIC_INLINE bool pic_char_p(pic_state *, pic_value);
|
||||
|
||||
#if !PIC_NAN_BOXING
|
||||
|
||||
PIC_STATIC_INLINE pic_value
|
||||
pic_make_value(int type)
|
||||
{
|
||||
pic_value v;
|
||||
v.type = type;
|
||||
v.u.data = NULL;
|
||||
return v;
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE int
|
||||
pic_type(pic_state *PIC_UNUSED(pic), pic_value v)
|
||||
{
|
||||
return (int)(v.type);
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE int
|
||||
pic_int(pic_state *PIC_UNUSED(pic), pic_value v)
|
||||
{
|
||||
assert(pic_int_p(pic, v));
|
||||
return v.u.i;
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE double
|
||||
pic_float(pic_state *PIC_UNUSED(pic), pic_value v)
|
||||
{
|
||||
assert(pic_float_p(pic, v));
|
||||
return v.u.f;
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE char
|
||||
pic_char(pic_state *PIC_UNUSED(pic), pic_value v)
|
||||
{
|
||||
assert(pic_char_p(pic, v));
|
||||
return v.u.c;
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE pic_value
|
||||
pic_int_value(pic_state *PIC_UNUSED(pic), int i)
|
||||
{
|
||||
pic_value v = pic_make_value(PIC_TYPE_INT);
|
||||
v.u.i = i;
|
||||
return v;
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE pic_value
|
||||
pic_float_value(pic_state *PIC_UNUSED(pic), double f)
|
||||
{
|
||||
pic_value v = pic_make_value(PIC_TYPE_FLOAT);
|
||||
v.u.f = f;
|
||||
return v;
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE pic_value
|
||||
pic_char_value(pic_state *PIC_UNUSED(pic), char c)
|
||||
{
|
||||
pic_value v = pic_make_value(PIC_TYPE_CHAR);
|
||||
v.u.c = c;
|
||||
return v;
|
||||
}
|
||||
|
||||
#else /* NAN_BOXING */
|
||||
|
||||
/**
|
||||
* value representation by nan-boxing:
|
||||
* float : FFFFFFFFFFFFFFFF FFFFFFFFFFFFFFFF FFFFFFFFFFFFFFFF FFFFFFFFFFFFFFFF
|
||||
* ptr : 111111111111TTTT TTPPPPPPPPPPPPPP PPPPPPPPPPPPPPPP PPPPPPPPPPPPPPPP
|
||||
* int : 111111111111TTTT TT00000000000000 IIIIIIIIIIIIIIII IIIIIIIIIIIIIIII
|
||||
* char : 111111111111TTTT TT00000000000000 CCCCCCCCCCCCCCCC CCCCCCCCCCCCCCCC
|
||||
*/
|
||||
|
||||
PIC_STATIC_INLINE pic_value
|
||||
pic_make_value(int type)
|
||||
{
|
||||
pic_value v;
|
||||
v.v = 0xfff0000000000000ul | ((uint64_t)(type) << 46);
|
||||
return v;
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE int
|
||||
pic_type(pic_state *PIC_UNUSED(pic), pic_value v)
|
||||
{
|
||||
return 0xfff0000000000000ul >= v.v ? PIC_TYPE_FLOAT : ((v.v >> 46) & 0x3f);
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE int
|
||||
pic_int(pic_state *PIC_UNUSED(pic), pic_value v)
|
||||
{
|
||||
union { int i; unsigned u; } u;
|
||||
assert(pic_int_p(pic, v));
|
||||
u.u = v.v & 0xfffffffful;
|
||||
return u.i;
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE double
|
||||
pic_float(pic_state *PIC_UNUSED(pic), pic_value v)
|
||||
{
|
||||
union { double f; uint64_t i; } u;
|
||||
assert(pic_float_p(pic, v));
|
||||
u.i = v.v;
|
||||
return u.f;
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE char
|
||||
pic_char(pic_state *PIC_UNUSED(pic), pic_value v)
|
||||
{
|
||||
assert(pic_char_p(pic, v));
|
||||
return v.v & 0xfffffffful;
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE pic_value
|
||||
pic_int_value(pic_state *PIC_UNUSED(pic), int i)
|
||||
{
|
||||
pic_value v = pic_make_value(PIC_TYPE_INT);
|
||||
v.v |= (unsigned)i;
|
||||
return v;
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE pic_value
|
||||
pic_float_value(pic_state *PIC_UNUSED(pic), double f)
|
||||
{
|
||||
union { double f; uint64_t i; } u;
|
||||
pic_value v;
|
||||
|
||||
if (f != f) {
|
||||
v.v = 0x7ff8000000000000ul;
|
||||
} else {
|
||||
u.f = f;
|
||||
v.v = u.i;
|
||||
}
|
||||
return v;
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE pic_value
|
||||
pic_char_value(pic_state *PIC_UNUSED(pic), char c)
|
||||
{
|
||||
pic_value v = pic_make_value(PIC_TYPE_CHAR);
|
||||
v.v |= (unsigned char)c;
|
||||
return v;
|
||||
}
|
||||
|
||||
#endif /* NAN_BOXING end */
|
||||
|
||||
#define DEFVAL(name, type) \
|
||||
PIC_STATIC_INLINE pic_value name(pic_state *PIC_UNUSED(pic)) { \
|
||||
return pic_make_value(type); \
|
||||
}
|
||||
|
||||
DEFVAL(pic_nil_value, PIC_TYPE_NIL)
|
||||
DEFVAL(pic_eof_object, PIC_TYPE_EOF)
|
||||
DEFVAL(pic_true_value, PIC_TYPE_TRUE)
|
||||
DEFVAL(pic_false_value, PIC_TYPE_FALSE)
|
||||
DEFVAL(pic_undef_value, PIC_TYPE_UNDEF)
|
||||
DEFVAL(pic_invalid_value, PIC_TYPE_INVALID)
|
||||
|
||||
PIC_STATIC_INLINE pic_value
|
||||
pic_bool_value(pic_state *PIC_UNUSED(pic), bool b)
|
||||
{
|
||||
return pic_make_value(b ? PIC_TYPE_TRUE : PIC_TYPE_FALSE);
|
||||
}
|
||||
|
||||
#define DEFPRED(name, type) \
|
||||
PIC_STATIC_INLINE bool name(pic_state *pic, pic_value obj) { \
|
||||
return pic_type(pic, obj) == type; \
|
||||
}
|
||||
|
||||
DEFPRED(pic_invalid_p, PIC_TYPE_INVALID)
|
||||
DEFPRED(pic_float_p, PIC_TYPE_FLOAT)
|
||||
DEFPRED(pic_int_p, PIC_TYPE_INT)
|
||||
DEFPRED(pic_char_p, PIC_TYPE_CHAR)
|
||||
DEFPRED(pic_eof_p, PIC_TYPE_EOF)
|
||||
DEFPRED(pic_undef_p, PIC_TYPE_UNDEF)
|
||||
DEFPRED(pic_true_p, PIC_TYPE_TRUE)
|
||||
DEFPRED(pic_nil_p, PIC_TYPE_NIL)
|
||||
DEFPRED(pic_false_p, PIC_TYPE_FALSE)
|
||||
DEFPRED(pic_str_p, PIC_TYPE_STRING)
|
||||
DEFPRED(pic_vec_p, PIC_TYPE_VECTOR)
|
||||
DEFPRED(pic_blob_p, PIC_TYPE_BLOB)
|
||||
DEFPRED(pic_dict_p, PIC_TYPE_DICT)
|
||||
DEFPRED(pic_attr_p, PIC_TYPE_ATTR)
|
||||
DEFPRED(pic_rec_p, PIC_TYPE_RECORD)
|
||||
DEFPRED(pic_sym_p, PIC_TYPE_SYMBOL)
|
||||
DEFPRED(pic_pair_p, PIC_TYPE_PAIR)
|
||||
DEFPRED(pic_proc_func_p, PIC_TYPE_PROC_FUNC)
|
||||
DEFPRED(pic_proc_irep_p, PIC_TYPE_PROC_IREP)
|
||||
DEFPRED(pic_irep_p, PIC_TYPE_IREP)
|
||||
|
||||
PIC_STATIC_INLINE bool
|
||||
pic_bool_p(pic_state *pic, pic_value obj)
|
||||
{
|
||||
return pic_true_p(pic, obj) || pic_false_p(pic, obj);
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE bool
|
||||
pic_proc_p(pic_state *pic, pic_value o)
|
||||
{
|
||||
return pic_proc_func_p(pic, o) || pic_proc_irep_p(pic, o);
|
||||
}
|
||||
|
||||
#if PIC_NAN_BOXING
|
||||
|
||||
PIC_STATIC_INLINE bool
|
||||
pic_eq_p(pic_state *PIC_UNUSED(pic), pic_value x, pic_value y)
|
||||
{
|
||||
return x.v == y.v;
|
||||
}
|
||||
|
||||
PIC_STATIC_INLINE bool
|
||||
pic_eqv_p(pic_state *PIC_UNUSED(pic), pic_value x, pic_value y)
|
||||
{
|
||||
return x.v == y.v;
|
||||
}
|
||||
|
||||
#endif
|
||||
|
||||
#if defined(__cplusplus)
|
||||
}
|
||||
#endif
|
||||
|
||||
#endif
|
||||
Reference in New Issue
Block a user