2016-09-28 14:40:37 +00:00
|
|
|
/*
|
|
|
|
* $Id$
|
|
|
|
*
|
2018-02-07 14:13:13 +00:00
|
|
|
Copyright (c) 2016-2018 Chung, Hyung-Hwan. All rights reserved.
|
2016-09-28 14:40:37 +00:00
|
|
|
|
|
|
|
Redistribution and use in source and binary forms, with or without
|
|
|
|
modification, are permitted provided that the following conditions
|
|
|
|
are met:
|
|
|
|
1. Redistributions of source code must retain the above copyright
|
|
|
|
notice, this list of conditions and the following disclaimer.
|
|
|
|
2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
notice, this list of conditions and the following disclaimer in the
|
|
|
|
documentation and/or other materials provided with the distribution.
|
|
|
|
|
|
|
|
THIS SOFTWARE IS PROVIDED BY THE AUTHOR "AS IS" AND ANY EXPRESS OR
|
|
|
|
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
|
|
|
OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
|
|
|
|
IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
|
|
INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
|
|
|
NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
|
|
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
|
|
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
|
|
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
|
|
|
|
THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "hcl-prv.h"
|
|
|
|
|
2018-02-05 10:43:25 +00:00
|
|
|
|
2016-09-28 14:40:37 +00:00
|
|
|
void* hcl_allocbytes (hcl_t* hcl, hcl_oow_t size)
|
|
|
|
{
|
|
|
|
hcl_uint8_t* ptr;
|
|
|
|
|
2018-02-05 10:43:25 +00:00
|
|
|
#if !defined(NDEBUG)
|
|
|
|
if ((hcl->option.trait & HCL_DEBUG_GC) && !(hcl->option.trait & HCL_NOGC)) hcl_gc (hcl);
|
2016-09-28 14:40:37 +00:00
|
|
|
#endif
|
|
|
|
|
|
|
|
ptr = hcl_allocheapmem (hcl, hcl->curheap, size);
|
2018-02-05 10:43:25 +00:00
|
|
|
if (!ptr && hcl->errnum == HCL_EOOMEM && !(hcl->option.trait & HCL_NOGC))
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
|
|
|
hcl_gc (hcl);
|
2018-02-09 16:10:29 +00:00
|
|
|
HCL_LOG4 (hcl, HCL_LOG_GC | HCL_LOG_INFO,
|
2018-02-05 10:43:25 +00:00
|
|
|
"GC completed - current heap ptr %p limit %p size %zd free %zd\n",
|
|
|
|
hcl->curheap->ptr, hcl->curheap->limit,
|
|
|
|
(hcl_oow_t)(hcl->curheap->limit - hcl->curheap->base),
|
|
|
|
(hcl_oow_t)(hcl->curheap->limit - hcl->curheap->ptr)
|
|
|
|
);
|
2016-09-28 14:40:37 +00:00
|
|
|
ptr = hcl_allocheapmem (hcl, hcl->curheap, size);
|
|
|
|
/* TODO: grow heap if ptr is still null. */
|
|
|
|
}
|
|
|
|
|
|
|
|
return ptr;
|
|
|
|
}
|
|
|
|
|
2016-10-04 17:56:28 +00:00
|
|
|
hcl_oop_t hcl_allocoopobj (hcl_t* hcl, int brand, hcl_oow_t size)
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
|
|
|
hcl_oop_oop_t hdr;
|
|
|
|
hcl_oow_t nbytes, nbytes_aligned;
|
|
|
|
|
|
|
|
nbytes = size * HCL_SIZEOF(hcl_oop_t);
|
|
|
|
|
|
|
|
/* this isn't really necessary since nbytes must be
|
|
|
|
* aligned already. */
|
|
|
|
nbytes_aligned = HCL_ALIGN(nbytes, HCL_SIZEOF(hcl_oop_t));
|
|
|
|
|
|
|
|
/* making the number of bytes to allocate a multiple of
|
|
|
|
* HCL_SIZEOF(hcl_oop_t) will guarantee the starting address
|
|
|
|
* of the allocated space to be an even number.
|
|
|
|
* see HCL_OOP_IS_NUMERIC() and HCL_OOP_IS_POINTER() */
|
|
|
|
hdr = hcl_allocbytes (hcl, HCL_SIZEOF(hcl_obj_t) + nbytes_aligned);
|
|
|
|
if (!hdr) return HCL_NULL;
|
|
|
|
|
|
|
|
hdr->_flags = HCL_OBJ_MAKE_FLAGS(HCL_OBJ_TYPE_OOP, HCL_SIZEOF(hcl_oop_t), 0, 0, 0, 0, 0, 0);
|
|
|
|
HCL_OBJ_SET_SIZE (hdr, size);
|
|
|
|
HCL_OBJ_SET_CLASS (hdr, hcl->_nil);
|
2016-10-04 17:56:28 +00:00
|
|
|
HCL_OBJ_SET_FLAGS_BRAND (hdr, brand);
|
2016-09-28 14:40:37 +00:00
|
|
|
|
|
|
|
while (size > 0) hdr->slot[--size] = hcl->_nil;
|
|
|
|
|
|
|
|
return (hcl_oop_t)hdr;
|
|
|
|
}
|
|
|
|
|
|
|
|
#if defined(HCL_USE_OBJECT_TRAILER)
|
|
|
|
hcl_oop_t hcl_allocoopobjwithtrailer (hcl_t* hcl, hcl_oow_t size, const hcl_oob_t* bptr, hcl_oow_t blen)
|
|
|
|
{
|
|
|
|
hcl_oop_oop_t hdr;
|
|
|
|
hcl_oow_t nbytes, nbytes_aligned;
|
|
|
|
hcl_oow_t i;
|
|
|
|
|
|
|
|
/* +1 for the trailer size of the hcl_oow_t type */
|
|
|
|
nbytes = (size + 1) * HCL_SIZEOF(hcl_oop_t) + blen;
|
|
|
|
nbytes_aligned = HCL_ALIGN(nbytes, HCL_SIZEOF(hcl_oop_t));
|
|
|
|
|
|
|
|
hdr = hcl_allocbytes (hcl, HCL_SIZEOF(hcl_obj_t) + nbytes_aligned);
|
|
|
|
if (!hdr) return HCL_NULL;
|
|
|
|
|
|
|
|
hdr->_flags = HCL_OBJ_MAKE_FLAGS(HCL_OBJ_TYPE_OOP, HCL_SIZEOF(hcl_oop_t), 0, 0, 0, 0, 1, 0);
|
|
|
|
HCL_OBJ_SET_SIZE (hdr, size);
|
|
|
|
HCL_OBJ_SET_CLASS (hdr, hcl->_nil);
|
|
|
|
|
|
|
|
for (i = 0; i < size; i++) hdr->slot[i] = hcl->_nil;
|
|
|
|
|
|
|
|
/* [NOTE] this is not converted to a SMOOI object */
|
|
|
|
hdr->slot[size] = (hcl_oop_t)blen;
|
|
|
|
|
|
|
|
if (bptr)
|
|
|
|
{
|
|
|
|
HCL_MEMCPY (&hdr->slot[size + 1], bptr, blen);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
HCL_MEMSET (&hdr->slot[size + 1], 0, blen);
|
|
|
|
}
|
|
|
|
|
|
|
|
return (hcl_oop_t)hdr;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2016-10-04 17:56:28 +00:00
|
|
|
static HCL_INLINE hcl_oop_t alloc_numeric_array (hcl_t* hcl, int brand, const void* ptr, hcl_oow_t len, hcl_obj_type_t type, hcl_oow_t unit, int extra, int ngc)
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
|
|
|
/* allocate a variable object */
|
|
|
|
|
|
|
|
hcl_oop_t hdr;
|
|
|
|
hcl_oow_t xbytes, nbytes, nbytes_aligned;
|
|
|
|
|
|
|
|
xbytes = len * unit;
|
|
|
|
/* 'extra' indicates an extra unit to append at the end.
|
|
|
|
* it's useful to store a string with a terminating null */
|
|
|
|
nbytes = extra? xbytes + len: xbytes;
|
|
|
|
nbytes_aligned = HCL_ALIGN(nbytes, HCL_SIZEOF(hcl_oop_t));
|
|
|
|
/* TODO: check overflow in size calculation*/
|
|
|
|
|
|
|
|
/* making the number of bytes to allocate a multiple of
|
|
|
|
* HCL_SIZEOF(hcl_oop_t) will guarantee the starting address
|
|
|
|
* of the allocated space to be an even number.
|
|
|
|
* see HCL_OOP_IS_NUMERIC() and HCL_OOP_IS_POINTER() */
|
|
|
|
if (HCL_UNLIKELY(ngc))
|
|
|
|
hdr = hcl_callocmem (hcl, HCL_SIZEOF(hcl_obj_t) + nbytes_aligned);
|
|
|
|
else
|
|
|
|
hdr = hcl_allocbytes (hcl, HCL_SIZEOF(hcl_obj_t) + nbytes_aligned);
|
|
|
|
if (!hdr) return HCL_NULL;
|
|
|
|
|
|
|
|
hdr->_flags = HCL_OBJ_MAKE_FLAGS(type, unit, extra, 0, 0, ngc, 0, 0);
|
|
|
|
hdr->_size = len;
|
|
|
|
HCL_OBJ_SET_SIZE (hdr, len);
|
|
|
|
HCL_OBJ_SET_CLASS (hdr, hcl->_nil);
|
2016-10-04 17:56:28 +00:00
|
|
|
HCL_OBJ_SET_FLAGS_BRAND (hdr, brand);
|
2016-09-28 14:40:37 +00:00
|
|
|
|
|
|
|
if (ptr)
|
|
|
|
{
|
|
|
|
/* copy data */
|
|
|
|
HCL_MEMCPY (hdr + 1, ptr, xbytes);
|
|
|
|
HCL_MEMSET ((hcl_uint8_t*)(hdr + 1) + xbytes, 0, nbytes_aligned - xbytes);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
/* initialize with zeros when the string pointer is not given */
|
|
|
|
HCL_MEMSET ((hdr + 1), 0, nbytes_aligned);
|
|
|
|
}
|
|
|
|
|
|
|
|
return hdr;
|
|
|
|
}
|
|
|
|
|
2016-10-04 17:56:28 +00:00
|
|
|
hcl_oop_t hcl_alloccharobj (hcl_t* hcl, int brand, const hcl_ooch_t* ptr, hcl_oow_t len)
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
2016-10-04 17:56:28 +00:00
|
|
|
return alloc_numeric_array (hcl, brand, ptr, len, HCL_OBJ_TYPE_CHAR, HCL_SIZEOF(hcl_ooch_t), 1, 0);
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
2016-10-04 17:56:28 +00:00
|
|
|
hcl_oop_t hcl_allocbyteobj (hcl_t* hcl, int brand, const hcl_oob_t* ptr, hcl_oow_t len)
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
2016-10-04 17:56:28 +00:00
|
|
|
return alloc_numeric_array (hcl, brand, ptr, len, HCL_OBJ_TYPE_BYTE, HCL_SIZEOF(hcl_oob_t), 0, 0);
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
2016-10-04 17:56:28 +00:00
|
|
|
hcl_oop_t hcl_allochalfwordobj (hcl_t* hcl, int brand, const hcl_oohw_t* ptr, hcl_oow_t len)
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
2016-10-04 17:56:28 +00:00
|
|
|
return alloc_numeric_array (hcl, brand, ptr, len, HCL_OBJ_TYPE_HALFWORD, HCL_SIZEOF(hcl_oohw_t), 0, 0);
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
2016-10-04 17:56:28 +00:00
|
|
|
hcl_oop_t hcl_allocwordobj (hcl_t* hcl, int brand, const hcl_oow_t* ptr, hcl_oow_t len)
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
2016-10-04 17:56:28 +00:00
|
|
|
return alloc_numeric_array (hcl, brand, ptr, len, HCL_OBJ_TYPE_WORD, HCL_SIZEOF(hcl_oow_t), 0, 0);
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* ------------------------------------------------------------------------ *
|
|
|
|
* COMMON OBJECTS
|
|
|
|
* ------------------------------------------------------------------------ */
|
|
|
|
|
|
|
|
|
|
|
|
hcl_oop_t hcl_makenil (hcl_t* hcl)
|
|
|
|
{
|
2016-10-04 17:56:28 +00:00
|
|
|
return hcl_allocoopobj (hcl, HCL_BRAND_NIL, 0);
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
hcl_oop_t hcl_maketrue (hcl_t* hcl)
|
|
|
|
{
|
2016-10-04 17:56:28 +00:00
|
|
|
return hcl_allocoopobj (hcl, HCL_BRAND_TRUE, 0);
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
hcl_oop_t hcl_makefalse (hcl_t* hcl)
|
|
|
|
{
|
2016-10-04 17:56:28 +00:00
|
|
|
return hcl_allocoopobj (hcl, HCL_BRAND_FALSE, 0);
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
2018-02-13 11:48:16 +00:00
|
|
|
hcl_oop_t hcl_makebigint (hcl_t* hcl, int brand, const hcl_liw_t* ptr, hcl_oow_t len)
|
|
|
|
{
|
|
|
|
hcl_oop_t oop;
|
|
|
|
|
|
|
|
HCL_ASSERT (hcl, brand == HCL_BRAND_PBIGINT || brand == HCL_BRAND_NBIGINT);
|
|
|
|
|
|
|
|
#if (HCL_LIW_BITS == HCL_OOW_BITS)
|
|
|
|
oop = hcl_allocwordobj (hcl, brand, ptr, len);
|
|
|
|
#elif (HCL_LIW_BITS == HCL_OOHW_BITS)
|
|
|
|
oop = hcl_allochalfwordobj (hcl, brand, ptr, len);
|
|
|
|
#else
|
|
|
|
# error UNSUPPORTED LIW BIT SIZE
|
|
|
|
#endif
|
|
|
|
if (!oop) return HCL_NULL;
|
|
|
|
|
|
|
|
HCL_OBJ_SET_FLAGS_BRAND (oop, brand);
|
|
|
|
return oop;
|
|
|
|
}
|
|
|
|
|
2016-09-28 14:40:37 +00:00
|
|
|
hcl_oop_t hcl_makecons (hcl_t* hcl, hcl_oop_t car, hcl_oop_t cdr)
|
|
|
|
{
|
|
|
|
hcl_oop_cons_t cons;
|
|
|
|
|
|
|
|
hcl_pushtmp (hcl, &car);
|
|
|
|
hcl_pushtmp (hcl, &cdr);
|
|
|
|
|
2016-10-04 17:56:28 +00:00
|
|
|
cons = (hcl_oop_cons_t)hcl_allocoopobj (hcl, HCL_BRAND_CONS, 2);
|
2016-09-28 14:40:37 +00:00
|
|
|
if (cons)
|
|
|
|
{
|
|
|
|
cons->car = car;
|
|
|
|
cons->cdr = cdr;
|
|
|
|
}
|
|
|
|
|
|
|
|
hcl_poptmps (hcl, 2);
|
|
|
|
|
|
|
|
return (hcl_oop_t)cons;
|
|
|
|
}
|
|
|
|
|
|
|
|
hcl_oop_t hcl_makearray (hcl_t* hcl, hcl_oow_t size)
|
|
|
|
{
|
2016-10-04 17:56:28 +00:00
|
|
|
return hcl_allocoopobj (hcl, HCL_BRAND_ARRAY, size);
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
hcl_oop_t hcl_makebytearray (hcl_t* hcl, const hcl_oob_t* ptr, hcl_oow_t size)
|
|
|
|
{
|
2016-10-04 17:56:28 +00:00
|
|
|
return hcl_allocbyteobj (hcl, HCL_BRAND_BYTE_ARRAY, ptr, size);
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
2018-02-13 16:10:41 +00:00
|
|
|
hcl_oop_t hcl_makestring (hcl_t* hcl, const hcl_ooch_t* ptr, hcl_oow_t len, int ngc)
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
2018-02-13 16:10:41 +00:00
|
|
|
/*return hcl_alloccharobj (hcl, HCL_BRAND_STRING, ptr, len);*/
|
|
|
|
return alloc_numeric_array (hcl, HCL_BRAND_STRING, ptr, len, HCL_OBJ_TYPE_CHAR, HCL_SIZEOF(hcl_ooch_t), 1, ngc);
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
2016-10-04 17:56:28 +00:00
|
|
|
|
|
|
|
/* ------------------------------------------------------------------------ *
|
|
|
|
* NGC HANDLING
|
|
|
|
* ------------------------------------------------------------------------ */
|
|
|
|
|
2016-09-28 14:40:37 +00:00
|
|
|
void hcl_freengcobj (hcl_t* hcl, hcl_oop_t obj)
|
|
|
|
{
|
|
|
|
if (HCL_OOP_IS_POINTER(obj) && HCL_OBJ_GET_FLAGS_NGC(obj)) hcl_freemem (hcl, obj);
|
|
|
|
}
|
|
|
|
|
|
|
|
hcl_oop_t hcl_makengcbytearray (hcl_t* hcl, const hcl_oob_t* ptr, hcl_oow_t len)
|
|
|
|
{
|
2016-10-04 17:56:28 +00:00
|
|
|
return alloc_numeric_array (hcl, HCL_BRAND_BYTE_ARRAY, ptr, len, HCL_OBJ_TYPE_BYTE, HCL_SIZEOF(hcl_oob_t), 0, 1);
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
hcl_oop_t hcl_remakengcbytearray (hcl_t* hcl, hcl_oop_t obj, hcl_oow_t newsize)
|
|
|
|
{
|
|
|
|
hcl_oop_t tmp;
|
|
|
|
|
2018-02-05 10:43:25 +00:00
|
|
|
HCL_ASSERT (hcl, !obj || (HCL_OOP_IS_POINTER(obj) && HCL_OBJ_GET_FLAGS_NGC(obj)));
|
2016-09-28 14:40:37 +00:00
|
|
|
|
|
|
|
/* no hcl_pushtmp() is needed because 'obj' is a non-GC object. */
|
|
|
|
/* TODO: improve this by using realloc */
|
|
|
|
|
|
|
|
tmp = hcl_makengcbytearray (hcl, HCL_NULL, newsize);
|
|
|
|
if (tmp)
|
|
|
|
{
|
|
|
|
if (obj)
|
|
|
|
{
|
|
|
|
hcl_oow_t cpsize;
|
|
|
|
cpsize = (newsize > HCL_OBJ_GET_SIZE(obj))? HCL_OBJ_GET_SIZE(obj): newsize;
|
|
|
|
HCL_MEMCPY (((hcl_oop_byte_t)tmp)->slot, ((hcl_oop_byte_t)obj)->slot, cpsize * HCL_SIZEOF(hcl_oob_t));
|
|
|
|
}
|
|
|
|
hcl_freengcobj (hcl, obj);
|
|
|
|
}
|
|
|
|
return tmp;
|
|
|
|
}
|
|
|
|
|
|
|
|
hcl_oop_t hcl_makengcarray (hcl_t* hcl, hcl_oow_t len)
|
|
|
|
{
|
2016-10-04 17:56:28 +00:00
|
|
|
return alloc_numeric_array (hcl, HCL_BRAND_ARRAY, HCL_NULL, len, HCL_OBJ_TYPE_OOP, HCL_SIZEOF(hcl_oop_t), 0, 1);
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
hcl_oop_t hcl_remakengcarray (hcl_t* hcl, hcl_oop_t obj, hcl_oow_t newsize)
|
|
|
|
{
|
|
|
|
hcl_oop_t tmp;
|
|
|
|
|
2018-02-05 10:43:25 +00:00
|
|
|
HCL_ASSERT (hcl, !obj || (HCL_OOP_IS_POINTER(obj) && HCL_OBJ_GET_FLAGS_NGC(obj)));
|
2016-09-28 14:40:37 +00:00
|
|
|
|
|
|
|
/* no hcl_pushtmp() is needed because 'obj' is a non-GC object. */
|
|
|
|
/* TODO: improve this by using realloc */
|
|
|
|
|
|
|
|
tmp = hcl_makengcarray (hcl, newsize);
|
|
|
|
if (tmp)
|
|
|
|
{
|
|
|
|
if (obj)
|
|
|
|
{
|
|
|
|
hcl_oow_t cpsize;
|
|
|
|
cpsize = (newsize > HCL_OBJ_GET_SIZE(obj))? HCL_OBJ_GET_SIZE(obj): newsize;
|
|
|
|
HCL_MEMCPY (((hcl_oop_oop_t)tmp)->slot, ((hcl_oop_oop_t)obj)->slot, cpsize * HCL_SIZEOF(hcl_oop_t));
|
|
|
|
}
|
|
|
|
hcl_freengcobj (hcl, obj);
|
|
|
|
}
|
|
|
|
return tmp;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* ------------------------------------------------------------------------ *
|
|
|
|
* CONS
|
|
|
|
* ------------------------------------------------------------------------ */
|
|
|
|
hcl_oow_t hcl_countcons (hcl_t* hcl, hcl_oop_t cons)
|
|
|
|
{
|
|
|
|
/* this function ignores the last cdr */
|
|
|
|
hcl_oow_t count = 1;
|
|
|
|
|
2018-02-05 10:43:25 +00:00
|
|
|
HCL_ASSERT (hcl, HCL_BRANDOF(hcl, cons));
|
2016-09-28 14:40:37 +00:00
|
|
|
do
|
|
|
|
{
|
|
|
|
cons = HCL_CONS_CDR(cons);
|
|
|
|
if (HCL_BRANDOF(hcl, cons) != HCL_BRAND_CONS) break;
|
|
|
|
count++;
|
|
|
|
}
|
|
|
|
while (1);
|
|
|
|
|
|
|
|
return count;
|
|
|
|
}
|
|
|
|
|
|
|
|
hcl_oop_t hcl_getlastconscdr (hcl_t* hcl, hcl_oop_t cons)
|
|
|
|
{
|
2018-02-05 10:43:25 +00:00
|
|
|
HCL_ASSERT (hcl, HCL_BRANDOF(hcl, cons));
|
2016-09-28 14:40:37 +00:00
|
|
|
do
|
|
|
|
{
|
|
|
|
cons = HCL_CONS_CDR(cons);
|
|
|
|
if (HCL_BRANDOF(hcl, cons) != HCL_BRAND_CONS) break;
|
|
|
|
}
|
|
|
|
while (1);
|
|
|
|
|
|
|
|
return cons;
|
|
|
|
}
|
|
|
|
|
|
|
|
hcl_oop_t hcl_reversecons (hcl_t* hcl, hcl_oop_t cons)
|
|
|
|
{
|
|
|
|
hcl_oop_t ptr, prev, next;
|
|
|
|
|
|
|
|
/* Note: The non-nil cdr in the last cons cell gets lost.
|
|
|
|
* e.g.) Reversing (1 2 3 . 4) results in (3 2 1) */
|
|
|
|
|
2018-02-05 10:43:25 +00:00
|
|
|
HCL_ASSERT (hcl, HCL_BRANDOF(hcl, cons));
|
2016-09-28 14:40:37 +00:00
|
|
|
|
|
|
|
prev = hcl->_nil;
|
|
|
|
ptr = cons;
|
|
|
|
|
|
|
|
do
|
|
|
|
{
|
|
|
|
next = HCL_CONS_CDR(ptr);
|
|
|
|
HCL_CONS_CDR(ptr) = prev;
|
|
|
|
prev = ptr;
|
|
|
|
if (HCL_BRANDOF(hcl,next) != HCL_BRAND_CONS) break;
|
|
|
|
ptr = next;
|
|
|
|
}
|
|
|
|
while (1);
|
|
|
|
|
|
|
|
return ptr;
|
|
|
|
}
|
2018-02-07 07:35:30 +00:00
|
|
|
|
|
|
|
|
|
|
|
/* ------------------------------------------------------------------------ *
|
|
|
|
* OBJECT HASHING
|
|
|
|
* ------------------------------------------------------------------------ */
|
|
|
|
int hcl_hashobj (hcl_t* hcl, hcl_oop_t obj, hcl_oow_t* xhv)
|
|
|
|
{
|
|
|
|
hcl_oow_t hv;
|
|
|
|
|
|
|
|
switch (HCL_OOP_GET_TAG(obj))
|
|
|
|
{
|
|
|
|
case HCL_OOP_TAG_SMOOI:
|
|
|
|
hv = HCL_OOP_TO_SMOOI(obj);
|
|
|
|
break;
|
|
|
|
|
|
|
|
/*
|
|
|
|
case HCL_OOP_TAG_SMPTR:
|
|
|
|
hv = (hcl_oow_t)HCL_OOP_TO_SMPTR(obj);
|
|
|
|
break;
|
|
|
|
*/
|
|
|
|
|
|
|
|
case HCL_OOP_TAG_CHAR:
|
|
|
|
hv = HCL_OOP_TO_CHAR(obj);
|
|
|
|
break;
|
|
|
|
|
|
|
|
/*
|
|
|
|
case HCL_OOP_TAG_ERROR:
|
|
|
|
hv = HCL_OOP_TO_ERROR(obj);
|
|
|
|
break;
|
|
|
|
*/
|
|
|
|
|
|
|
|
default:
|
|
|
|
{
|
|
|
|
int type;
|
|
|
|
|
|
|
|
HCL_ASSERT (hcl, HCL_OOP_IS_POINTER(obj));
|
|
|
|
type = HCL_OBJ_GET_FLAGS_TYPE(obj);
|
|
|
|
switch (type)
|
|
|
|
{
|
|
|
|
case HCL_OBJ_TYPE_BYTE:
|
|
|
|
hv = hcl_hashbytes(((hcl_oop_byte_t)obj)->slot, HCL_OBJ_GET_SIZE(obj));
|
|
|
|
break;
|
|
|
|
|
|
|
|
case HCL_OBJ_TYPE_CHAR:
|
|
|
|
hv = hcl_hashoochars (((hcl_oop_char_t)obj)->slot, HCL_OBJ_GET_SIZE(obj));
|
|
|
|
break;
|
|
|
|
|
|
|
|
case HCL_OBJ_TYPE_HALFWORD:
|
|
|
|
hv = hcl_hashhalfwords(((hcl_oop_halfword_t)obj)->slot, HCL_OBJ_GET_SIZE(obj));
|
|
|
|
break;
|
|
|
|
|
|
|
|
case HCL_OBJ_TYPE_WORD:
|
|
|
|
hv = hcl_hashwords(((hcl_oop_word_t)obj)->slot, HCL_OBJ_GET_SIZE(obj));
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
/* HCL_OBJ_TYPE_OOP, ... */
|
|
|
|
hcl_seterrbfmt(hcl, HCL_ENOIMPL, "no builtin hash implemented for %O", obj); /* TODO: better error code? */
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* i assume that hcl_hashxxx() functions limits the return value to fall
|
|
|
|
* between 0 and HCL_SMOOI_MAX inclusive */
|
|
|
|
HCL_ASSERT (hcl, hv >= 0 && hv <= HCL_SMOOI_MAX);
|
|
|
|
*xhv = hv;
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* ------------------------------------------------------------------------ *
|
|
|
|
* OBJECT EQUALITY
|
|
|
|
* ------------------------------------------------------------------------ */
|
|
|
|
int hcl_equalobjs (hcl_t* hcl, hcl_oop_t rcv, hcl_oop_t arg)
|
|
|
|
{
|
|
|
|
int rtag;
|
|
|
|
|
|
|
|
if (rcv == arg) return 1; /* identical. so equal */
|
|
|
|
|
|
|
|
rtag = HCL_OOP_GET_TAG(rcv);
|
|
|
|
if (rtag != HCL_OOP_GET_TAG(arg)) return 0;
|
|
|
|
|
|
|
|
switch (rtag)
|
|
|
|
{
|
|
|
|
case HCL_OOP_TAG_SMOOI:
|
|
|
|
return HCL_OOP_TO_SMOOI(rcv) == HCL_OOP_TO_SMOOI(arg)? 1: 0;
|
|
|
|
|
|
|
|
case HCL_OOP_TAG_SMPTR:
|
|
|
|
return HCL_OOP_TO_SMPTR(rcv) == HCL_OOP_TO_SMPTR(arg)? 1: 0;
|
|
|
|
|
|
|
|
case HCL_OOP_TAG_CHAR:
|
|
|
|
return HCL_OOP_TO_CHAR(rcv) == HCL_OOP_TO_CHAR(arg)? 1: 0;
|
|
|
|
|
|
|
|
case HCL_OOP_TAG_ERROR:
|
|
|
|
return HCL_OOP_TO_ERROR(rcv) == HCL_OOP_TO_ERROR(arg)? 1: 0;
|
|
|
|
|
|
|
|
default:
|
|
|
|
{
|
|
|
|
HCL_ASSERT (hcl, HCL_OOP_IS_POINTER(rcv));
|
|
|
|
|
2018-02-21 07:37:10 +00:00
|
|
|
if (HCL_OBJ_GET_FLAGS_BRAND(rcv) != HCL_OBJ_GET_FLAGS_BRAND(arg)) return 0; /* different class, not equal */
|
2018-02-07 07:35:30 +00:00
|
|
|
HCL_ASSERT (hcl, HCL_OBJ_GET_FLAGS_TYPE(rcv) == HCL_OBJ_GET_FLAGS_TYPE(arg));
|
|
|
|
|
|
|
|
if (HCL_OBJ_GET_SIZE(rcv) != HCL_OBJ_GET_SIZE(arg)) return 0; /* different size, not equal */
|
|
|
|
|
|
|
|
switch (HCL_OBJ_GET_FLAGS_TYPE(rcv))
|
|
|
|
{
|
|
|
|
case HCL_OBJ_TYPE_BYTE:
|
|
|
|
case HCL_OBJ_TYPE_CHAR:
|
|
|
|
case HCL_OBJ_TYPE_HALFWORD:
|
|
|
|
case HCL_OBJ_TYPE_WORD:
|
|
|
|
return (HCL_MEMCMP(HCL_OBJ_GET_BYTE_SLOT(rcv), HCL_OBJ_GET_BYTE_SLOT(arg), HCL_BYTESOF(hcl,rcv)) == 0)? 1: 0;
|
|
|
|
|
|
|
|
default:
|
|
|
|
{
|
|
|
|
hcl_oow_t i, size;
|
|
|
|
|
|
|
|
if (rcv == hcl->_nil) return arg == hcl->_nil? 1: 0;
|
|
|
|
if (rcv == hcl->_true) return arg == hcl->_true? 1: 0;
|
|
|
|
if (rcv == hcl->_false) return arg == hcl->_false? 1: 0;
|
|
|
|
|
|
|
|
/* HCL_OBJ_TYPE_OOP, ... */
|
|
|
|
HCL_ASSERT (hcl, HCL_OBJ_GET_FLAGS_TYPE(rcv) == HCL_OBJ_TYPE_OOP);
|
|
|
|
|
|
|
|
#if 0
|
|
|
|
hcl_seterrbfmt (hcl, HCL_ENOIMPL, "no builtin comparison implemented for %O and %O", rcv, arg); /* TODO: better error code */
|
|
|
|
return -1;
|
|
|
|
#else
|
|
|
|
|
|
|
|
if (HCL_IS_PROCESS(hcl,rcv))
|
|
|
|
{
|
|
|
|
/* the stack in a process object doesn't need to be
|
|
|
|
* scanned in full. the slots above the stack pointer
|
|
|
|
* are garbages. */
|
|
|
|
size = HCL_PROCESS_NAMED_INSTVARS +
|
|
|
|
HCL_OOP_TO_SMOOI(((hcl_oop_process_t)rcv)->sp) + 1;
|
|
|
|
HCL_ASSERT (hcl, size <= HCL_OBJ_GET_SIZE(rcv));
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
size = HCL_OBJ_GET_SIZE(rcv);
|
|
|
|
}
|
|
|
|
for (i = 0; i < size; i++)
|
|
|
|
{
|
|
|
|
int n;
|
|
|
|
/* TODO: remove recursion */
|
|
|
|
/* NOTE: even if the object implements the equality method,
|
|
|
|
* this primitive method doesn't honor it. */
|
|
|
|
n = hcl_equalobjs(hcl, ((hcl_oop_oop_t)rcv)->slot[i], ((hcl_oop_oop_t)arg)->slot[i]);
|
|
|
|
if (n <= 0) return n;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* the default implementation doesn't take the trailer space into account */
|
|
|
|
return 1;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|