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"
|
|
|
|
|
2020-12-31 17:48:47 +00:00
|
|
|
|
|
|
|
#if defined(HCL_PROFILE_VM)
|
|
|
|
#include <sys/time.h>
|
|
|
|
#include <sys/resource.h> /* getrusage */
|
|
|
|
#endif
|
|
|
|
|
2016-09-28 14:40:37 +00:00
|
|
|
void* hcl_allocbytes (hcl_t* hcl, hcl_oow_t size)
|
|
|
|
{
|
2020-12-31 17:48:47 +00:00
|
|
|
hcl_gchdr_t* gch;
|
|
|
|
hcl_oow_t allocsize;
|
|
|
|
int gc_called = 0;
|
2020-12-31 18:15:27 +00:00
|
|
|
#if defined(HCL_PROFILE_VM)
|
|
|
|
struct rusage ru;
|
|
|
|
hcl_ntime_t rut;
|
|
|
|
#endif
|
2016-09-28 14:40:37 +00:00
|
|
|
|
2018-02-21 09:30:18 +00:00
|
|
|
#if defined(HCL_BUILD_DEBUG)
|
2020-12-31 17:48:47 +00:00
|
|
|
if ((hcl->option.trait & HCL_TRAIT_DEBUG_GC) && !(hcl->option.trait & HCL_TRAIT_NOGC)) hcl_gc (hcl, 1);
|
2016-09-28 14:40:37 +00:00
|
|
|
#endif
|
|
|
|
|
2020-12-31 17:48:47 +00:00
|
|
|
#if defined(HCL_PROFILE_VM)
|
|
|
|
getrusage(RUSAGE_SELF, &ru);
|
|
|
|
HCL_INIT_NTIME (&rut, ru.ru_utime.tv_sec, HCL_USEC_TO_NSEC(ru.ru_utime.tv_usec));
|
|
|
|
#endif
|
|
|
|
|
|
|
|
allocsize = HCL_SIZEOF(*gch) + size;
|
|
|
|
|
2021-03-27 10:32:23 +00:00
|
|
|
if (hcl->gci.bsz >= hcl->gci.threshold)
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
2020-12-31 17:48:47 +00:00
|
|
|
hcl_gc (hcl, 0);
|
|
|
|
hcl->gci.threshold = hcl->gci.bsz + 100000; /* TODO: change this fomula */
|
|
|
|
gc_called = 1;
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
2020-12-31 17:48:47 +00:00
|
|
|
if (hcl->gci.lazy_sweep) hcl_gc_ms_sweep_lazy (hcl, allocsize);
|
|
|
|
|
2021-03-27 10:32:23 +00:00
|
|
|
gch = (hcl_gchdr_t*)hcl_callocheapmem_noseterr(hcl, hcl->heap, allocsize);
|
2020-12-31 17:48:47 +00:00
|
|
|
if (!gch)
|
|
|
|
{
|
|
|
|
if (HCL_UNLIKELY(hcl->option.trait & HCL_TRAIT_NOGC)) goto calloc_heapmem_fail;
|
|
|
|
if (gc_called) goto sweep_the_rest;
|
|
|
|
|
|
|
|
hcl_gc (hcl, 0);
|
|
|
|
if (hcl->gci.lazy_sweep) hcl_gc_ms_sweep_lazy (hcl, allocsize);
|
|
|
|
|
2021-03-27 10:32:23 +00:00
|
|
|
gch = (hcl_gchdr_t*)hcl_callocheapmem_noseterr(hcl, hcl->heap, allocsize);
|
|
|
|
if (HCL_UNLIKELY(!gch))
|
2020-12-31 17:48:47 +00:00
|
|
|
{
|
|
|
|
sweep_the_rest:
|
|
|
|
if (hcl->gci.lazy_sweep)
|
|
|
|
{
|
|
|
|
hcl_gc_ms_sweep_lazy (hcl, HCL_TYPE_MAX(hcl_oow_t)); /* sweep the rest */
|
2021-03-27 10:32:23 +00:00
|
|
|
gch = (hcl_gchdr_t*)hcl_callocheapmem(hcl, hcl->heap, allocsize);
|
2020-12-31 17:48:47 +00:00
|
|
|
if (HCL_UNLIKELY(!gch)) return HCL_NULL;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
calloc_heapmem_fail:
|
|
|
|
hcl_seterrnum (hcl, HCL_EOOMEM);
|
|
|
|
return HCL_NULL;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-03-27 10:32:23 +00:00
|
|
|
if (hcl->gci.lazy_sweep && hcl->gci.ls.curr == hcl->gci.b)
|
2020-12-31 17:48:47 +00:00
|
|
|
{
|
|
|
|
/* if the lazy sweeping point is at the beginning of the allocation block,
|
|
|
|
* hcl->gc.ls.prev must get updated */
|
|
|
|
HCL_ASSERT (hcl, hcl->gci.ls.prev == HCL_NULL);
|
|
|
|
hcl->gci.ls.prev = gch;
|
|
|
|
}
|
|
|
|
|
|
|
|
gch->next = hcl->gci.b;
|
|
|
|
hcl->gci.b = gch;
|
|
|
|
hcl->gci.bsz += size;
|
|
|
|
|
|
|
|
|
|
|
|
#if defined(HCL_PROFILE_VM)
|
|
|
|
getrusage(RUSAGE_SELF, &ru);
|
|
|
|
HCL_SUB_NTIME_SNS (&rut, &rut, ru.ru_utime.tv_sec, HCL_USEC_TO_NSEC(ru.ru_utime.tv_usec));
|
|
|
|
HCL_SUB_NTIME (&hcl->gci.stat.alloc, &hcl->gci.stat.alloc, &rut); /* do subtraction because rut is negative */
|
|
|
|
#endif
|
|
|
|
return (hcl_uint8_t*)(gch + 1);
|
|
|
|
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
|
2018-02-22 07:41:03 +00:00
|
|
|
static HCL_INLINE hcl_oop_t alloc_oop_array (hcl_t* hcl, int brand, hcl_oow_t size, int ngc)
|
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);
|
|
|
|
|
2021-03-27 10:32:23 +00:00
|
|
|
/* this isn't really necessary since nbytes must be
|
2016-09-28 14:40:37 +00:00
|
|
|
* aligned already. */
|
2021-03-27 10:32:23 +00:00
|
|
|
nbytes_aligned = HCL_ALIGN(nbytes, HCL_SIZEOF(hcl_oop_t));
|
2016-09-28 14:40:37 +00:00
|
|
|
|
2018-02-22 07:41:03 +00:00
|
|
|
if (HCL_UNLIKELY(ngc))
|
|
|
|
{
|
2018-02-26 15:24:45 +00:00
|
|
|
hdr = (hcl_oop_oop_t)hcl_callocmem(hcl, HCL_SIZEOF(hcl_obj_t) + nbytes_aligned);
|
2018-02-22 07:41:03 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
/* making the number of bytes to allocate a multiple of
|
|
|
|
* HCL_SIZEOF(hcl_oop_t) will guarantee the starting address
|
2021-03-27 10:32:23 +00:00
|
|
|
* of the allocated space to be an even number.
|
2018-02-22 07:41:03 +00:00
|
|
|
* see HCL_OOP_IS_NUMERIC() and HCL_OOP_IS_POINTER() */
|
2018-02-26 15:24:45 +00:00
|
|
|
hdr = (hcl_oop_oop_t)hcl_allocbytes(hcl, HCL_SIZEOF(hcl_obj_t) + nbytes_aligned);
|
2018-02-22 07:41:03 +00:00
|
|
|
}
|
2016-09-28 14:40:37 +00:00
|
|
|
if (!hdr) return HCL_NULL;
|
|
|
|
|
2018-02-22 07:41:03 +00:00
|
|
|
hdr->_flags = HCL_OBJ_MAKE_FLAGS(HCL_OBJ_TYPE_OOP, HCL_SIZEOF(hcl_oop_t), 0, 0, 0, ngc, 0, 0);
|
2016-09-28 14:40:37 +00:00
|
|
|
HCL_OBJ_SET_SIZE (hdr, size);
|
2021-01-03 13:51:23 +00:00
|
|
|
/*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;
|
|
|
|
}
|
|
|
|
|
2018-02-22 07:41:03 +00:00
|
|
|
|
|
|
|
hcl_oop_t hcl_allocoopobj (hcl_t* hcl, int brand, hcl_oow_t size)
|
|
|
|
{
|
2020-10-04 18:21:05 +00:00
|
|
|
return alloc_oop_array(hcl, brand, size, 0);
|
2018-02-22 07:41:03 +00:00
|
|
|
}
|
|
|
|
|
2020-10-04 18:21:05 +00:00
|
|
|
hcl_oop_t hcl_allocoopobjwithtrailer (hcl_t* hcl, int brand, hcl_oow_t size, const hcl_oob_t* bptr, hcl_oow_t blen)
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
|
|
|
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;
|
2021-03-27 10:32:23 +00:00
|
|
|
nbytes_aligned = HCL_ALIGN(nbytes, HCL_SIZEOF(hcl_oop_t));
|
2016-09-28 14:40:37 +00:00
|
|
|
|
2018-02-26 15:24:45 +00:00
|
|
|
hdr = (hcl_oop_oop_t)hcl_allocbytes(hcl, HCL_SIZEOF(hcl_obj_t) + nbytes_aligned);
|
2020-10-04 19:07:21 +00:00
|
|
|
if (HCL_UNLIKELY(!hdr)) return HCL_NULL;
|
2016-09-28 14:40:37 +00:00
|
|
|
|
|
|
|
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);
|
2021-01-03 13:51:23 +00:00
|
|
|
/*HCL_OBJ_SET_CLASS (hdr, hcl->_nil);*/
|
2020-10-04 18:21:05 +00:00
|
|
|
HCL_OBJ_SET_FLAGS_BRAND (hdr, brand);
|
2016-09-28 14:40:37 +00:00
|
|
|
|
|
|
|
for (i = 0; i < size; i++) hdr->slot[i] = hcl->_nil;
|
|
|
|
|
|
|
|
/* [NOTE] this is not converted to a SMOOI object */
|
2021-03-27 10:32:23 +00:00
|
|
|
hdr->slot[size] = (hcl_oop_t)blen;
|
2016-09-28 14:40:37 +00:00
|
|
|
|
|
|
|
if (bptr)
|
|
|
|
{
|
|
|
|
HCL_MEMCPY (&hdr->slot[size + 1], bptr, blen);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
HCL_MEMSET (&hdr->slot[size + 1], 0, blen);
|
|
|
|
}
|
|
|
|
|
|
|
|
return (hcl_oop_t)hdr;
|
|
|
|
}
|
|
|
|
|
2018-02-22 07:41:03 +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;
|
|
|
|
|
2021-03-27 10:32:23 +00:00
|
|
|
xbytes = len * unit;
|
2016-09-28 14:40:37 +00:00
|
|
|
/* 'extra' indicates an extra unit to append at the end.
|
|
|
|
* it's useful to store a string with a terminating null */
|
2021-03-27 10:32:23 +00:00
|
|
|
nbytes = extra? xbytes + unit: xbytes;
|
2016-09-28 14:40:37 +00:00
|
|
|
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
|
2021-03-27 10:32:23 +00:00
|
|
|
* of the allocated space to be an even number.
|
2016-09-28 14:40:37 +00:00
|
|
|
* see HCL_OOP_IS_NUMERIC() and HCL_OOP_IS_POINTER() */
|
|
|
|
if (HCL_UNLIKELY(ngc))
|
2018-02-26 15:24:45 +00:00
|
|
|
hdr = (hcl_oop_t)hcl_callocmem(hcl, HCL_SIZEOF(hcl_obj_t) + nbytes_aligned);
|
2016-09-28 14:40:37 +00:00
|
|
|
else
|
2018-02-26 15:24:45 +00:00
|
|
|
hdr = (hcl_oop_t)hcl_allocbytes(hcl, HCL_SIZEOF(hcl_obj_t) + nbytes_aligned);
|
2020-12-31 17:48:47 +00:00
|
|
|
if (HCL_UNLIKELY(!hdr)) return HCL_NULL;
|
2016-09-28 14:40:37 +00:00
|
|
|
|
|
|
|
hdr->_flags = HCL_OBJ_MAKE_FLAGS(type, unit, extra, 0, 0, ngc, 0, 0);
|
|
|
|
hdr->_size = len;
|
|
|
|
HCL_OBJ_SET_SIZE (hdr, len);
|
2021-03-27 10:32:23 +00:00
|
|
|
/*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
|
|
|
{
|
2018-02-22 07:41:03 +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
|
|
|
{
|
2018-02-22 07:41:03 +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
|
|
|
{
|
2018-02-22 07:41:03 +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
|
|
|
{
|
2018-02-22 07:41:03 +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)
|
|
|
|
{
|
2018-02-22 07:41:03 +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)
|
|
|
|
{
|
2018-02-22 07:41:03 +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)
|
|
|
|
{
|
2018-02-22 07:41:03 +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)
|
2018-02-22 07:41:03 +00:00
|
|
|
oop = hcl_allocwordobj(hcl, brand, ptr, len);
|
2018-02-13 11:48:16 +00:00
|
|
|
#elif (HCL_LIW_BITS == HCL_OOHW_BITS)
|
2018-02-22 07:41:03 +00:00
|
|
|
oop = hcl_allochalfwordobj(hcl, brand, ptr, len);
|
2018-02-13 11:48:16 +00:00
|
|
|
#else
|
|
|
|
# error UNSUPPORTED LIW BIT SIZE
|
|
|
|
#endif
|
2021-05-21 09:59:35 +00:00
|
|
|
if (HCL_UNLIKELY(!oop)) return HCL_NULL;
|
2018-02-13 11:48:16 +00:00
|
|
|
|
|
|
|
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;
|
|
|
|
|
2020-12-31 17:48:47 +00:00
|
|
|
hcl_pushvolat (hcl, &car);
|
|
|
|
hcl_pushvolat (hcl, &cdr);
|
2016-09-28 14:40:37 +00:00
|
|
|
|
2018-02-22 07:41:03 +00:00
|
|
|
cons = (hcl_oop_cons_t)hcl_allocoopobj(hcl, HCL_BRAND_CONS, 2);
|
2021-05-21 09:59:35 +00:00
|
|
|
if (HCL_LIKELY(cons))
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
|
|
|
cons->car = car;
|
|
|
|
cons->cdr = cdr;
|
|
|
|
}
|
|
|
|
|
2020-12-31 17:48:47 +00:00
|
|
|
hcl_popvolats (hcl, 2);
|
2016-09-28 14:40:37 +00:00
|
|
|
|
|
|
|
return (hcl_oop_t)cons;
|
|
|
|
}
|
|
|
|
|
2018-02-22 07:41:03 +00:00
|
|
|
hcl_oop_t hcl_makearray (hcl_t* hcl, hcl_oow_t size, int ngc)
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
2018-02-22 07:41:03 +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)
|
|
|
|
{
|
2018-02-22 07:41:03 +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-22 07:41:03 +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
|
|
|
}
|
|
|
|
|
2018-03-28 16:40:42 +00:00
|
|
|
hcl_oop_t hcl_makefpdec (hcl_t* hcl, hcl_oop_t value, hcl_ooi_t scale)
|
|
|
|
{
|
|
|
|
hcl_oop_fpdec_t f;
|
|
|
|
|
2018-03-30 17:37:40 +00:00
|
|
|
HCL_ASSERT (hcl, hcl_isint(hcl, value));
|
|
|
|
|
|
|
|
if (scale <= 0) return value; /* if scale is 0 or less, return the value as it it */
|
|
|
|
|
|
|
|
if (scale > HCL_SMOOI_MAX)
|
2018-03-28 16:40:42 +00:00
|
|
|
{
|
|
|
|
hcl_seterrbfmt (hcl, HCL_EINVAL, "fpdec scale too large - %zd", scale);
|
|
|
|
return HCL_NULL;
|
|
|
|
}
|
2021-03-27 10:32:23 +00:00
|
|
|
|
2020-12-31 17:48:47 +00:00
|
|
|
hcl_pushvolat (hcl, &value);
|
2021-05-21 09:59:35 +00:00
|
|
|
f = (hcl_oop_fpdec_t)hcl_allocoopobj(hcl, HCL_BRAND_FPDEC, HCL_FPDEC_NAMED_INSTVARS);
|
2020-12-31 17:48:47 +00:00
|
|
|
hcl_popvolat (hcl);
|
2018-03-28 16:40:42 +00:00
|
|
|
|
2021-05-21 09:59:35 +00:00
|
|
|
if (HCL_UNLIKELY(!f)) return HCL_NULL;
|
2018-03-28 16:40:42 +00:00
|
|
|
|
|
|
|
f->value = value;
|
|
|
|
f->scale = HCL_SMOOI_TO_OOP(scale);
|
|
|
|
|
|
|
|
return (hcl_oop_t)f;
|
|
|
|
}
|
|
|
|
|
2021-06-27 17:47:51 +00:00
|
|
|
hcl_oop_t hcl_makeclass (hcl_t* hcl, hcl_oop_t superclass, hcl_ooi_t nivars, hcl_ooi_t ncvars, hcl_oop_t ivars_str, hcl_oop_t cvars_str)
|
2021-05-21 09:59:35 +00:00
|
|
|
{
|
|
|
|
hcl_oop_class_t c;
|
|
|
|
|
|
|
|
hcl_pushvolat (hcl, &superclass);
|
2021-06-27 17:47:51 +00:00
|
|
|
hcl_pushvolat (hcl, &ivars_str);
|
|
|
|
hcl_pushvolat (hcl, &cvars_str);
|
2021-05-21 09:59:35 +00:00
|
|
|
c = (hcl_oop_class_t)hcl_allocoopobj(hcl, HCL_BRAND_CLASS, HCL_CLASS_NAMED_INSTVARS);
|
2021-06-27 17:47:51 +00:00
|
|
|
hcl_popvolats (hcl, 3);
|
2021-05-21 09:59:35 +00:00
|
|
|
if (HCL_UNLIKELY(!c)) return HCL_NULL;
|
|
|
|
|
|
|
|
c->superclass = superclass;
|
|
|
|
c->nivars = HCL_SMOOI_TO_OOP(nivars);
|
|
|
|
c->ncvars = HCL_SMOOI_TO_OOP(ncvars);
|
|
|
|
|
|
|
|
return (hcl_oop_t)c;
|
|
|
|
}
|
|
|
|
|
2021-12-27 23:12:36 +00:00
|
|
|
static HCL_INLINE int decode_spec (hcl_t* hcl, hcl_oop_class_t _class, hcl_obj_type_t* type, hcl_oow_t* outlen)
|
2021-05-21 16:21:23 +00:00
|
|
|
{
|
|
|
|
/* TODO: */
|
2021-12-27 23:12:36 +00:00
|
|
|
|
|
|
|
*type = HCL_OBJ_TYPE_OOP;
|
|
|
|
*outlen = HCL_OOP_TO_SMOOI(_class->nivars);
|
2021-05-21 16:21:23 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2021-12-31 08:39:12 +00:00
|
|
|
hcl_oop_t hcl_instantiate (hcl_t* hcl, hcl_oop_class_t _class, const void* vptr, hcl_oow_t vlen)
|
2021-05-21 16:21:23 +00:00
|
|
|
{
|
|
|
|
hcl_oop_t oop;
|
|
|
|
hcl_obj_type_t type;
|
|
|
|
hcl_oow_t alloclen;
|
|
|
|
hcl_oow_t tmp_count = 0;
|
|
|
|
|
|
|
|
HCL_ASSERT (hcl, hcl->_nil != HCL_NULL);
|
|
|
|
|
2021-12-27 23:12:36 +00:00
|
|
|
if (decode_spec(hcl, _class, &type, &alloclen) <= -1) return HCL_NULL;
|
2021-05-21 16:21:23 +00:00
|
|
|
|
|
|
|
hcl_pushvolat (hcl, (hcl_oop_t*)&_class); tmp_count++;
|
|
|
|
|
|
|
|
switch (type)
|
|
|
|
{
|
|
|
|
case HCL_OBJ_TYPE_OOP:
|
|
|
|
/* both the fixed part(named instance variables) and
|
|
|
|
* the variable part(indexed instance variables) are allowed. */
|
|
|
|
oop = hcl_allocoopobj(hcl, HCL_BRAND_INSTANCE, alloclen);
|
|
|
|
if (HCL_LIKELY(oop))
|
|
|
|
{
|
|
|
|
#if 0
|
2021-12-31 08:39:12 +00:00
|
|
|
/* initialize named instance variables with default values */
|
|
|
|
if (_class->initv[0] != hcl->_nil)
|
|
|
|
{
|
|
|
|
hcl_oow_t i = HCL_OBJ_GET_SIZE(_class->initv[0]);
|
|
|
|
|
|
|
|
/* [NOTE] i don't deep-copy initial values.
|
|
|
|
* if you change the contents of compound values like arrays,
|
|
|
|
* it affects subsequent instantiation of the class.
|
|
|
|
* it's important that the compiler should mark compound initial
|
|
|
|
* values read-only. */
|
|
|
|
while (i > 0)
|
2021-05-21 16:21:23 +00:00
|
|
|
{
|
2021-12-31 08:39:12 +00:00
|
|
|
--i;
|
|
|
|
HCL_OBJ_SET_OOP_VAL (oop, i, HCL_OBJ_GET_OOP_VAL(_class->initv[0], i));
|
2021-05-21 16:21:23 +00:00
|
|
|
}
|
2021-12-31 08:39:12 +00:00
|
|
|
}
|
2021-05-21 16:21:23 +00:00
|
|
|
#endif
|
|
|
|
}
|
|
|
|
HCL_ASSERT (hcl, vptr == HCL_NULL);
|
|
|
|
/*
|
|
|
|
This function is not GC-safe. so i don't want to initialize
|
|
|
|
the payload of a pointer object. The caller can call this
|
|
|
|
function and initialize payloads then.
|
|
|
|
if (oop && vptr && vlen > 0)
|
|
|
|
{
|
|
|
|
hcl_oop_oop_t hdr = (hcl_oop_oop_t)oop;
|
|
|
|
HCL_MEMCPY (&hdr->slot[named_instvar], vptr, vlen * HCL_SIZEOF(hcl_oop_t));
|
|
|
|
}
|
|
|
|
|
|
|
|
For the above code to work, it should protect the elements of
|
|
|
|
the vptr array with hcl_pushvolat(). So it might be better
|
|
|
|
to disallow a non-NULL vptr when indexed_type is OOP. See
|
|
|
|
the assertion above this comment block.
|
|
|
|
*/
|
|
|
|
break;
|
|
|
|
|
|
|
|
case HCL_OBJ_TYPE_CHAR:
|
|
|
|
oop = hcl_alloccharobj(hcl, HCL_BRAND_INSTANCE, vptr, alloclen);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case HCL_OBJ_TYPE_BYTE:
|
|
|
|
oop = hcl_allocbyteobj(hcl, HCL_BRAND_INSTANCE, vptr, alloclen);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case HCL_OBJ_TYPE_HALFWORD:
|
|
|
|
oop = hcl_allochalfwordobj(hcl, HCL_BRAND_INSTANCE, vptr, alloclen);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case HCL_OBJ_TYPE_WORD:
|
|
|
|
oop = hcl_allocwordobj(hcl, HCL_BRAND_INSTANCE, vptr, alloclen);
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
hcl_seterrnum (hcl, HCL_EINTERN);
|
|
|
|
oop = HCL_NULL;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (HCL_LIKELY(oop))
|
|
|
|
{
|
2021-06-27 17:47:51 +00:00
|
|
|
#if 0
|
2021-05-21 16:21:23 +00:00
|
|
|
hcl_ooi_t spec;
|
2021-06-27 17:47:51 +00:00
|
|
|
#endif
|
2021-05-21 16:21:23 +00:00
|
|
|
HCL_OBJ_SET_CLASS (oop, (hcl_oop_t)_class);
|
|
|
|
#if 0
|
|
|
|
spec = HCL_OOP_TO_SMOOI(_class->spec);
|
|
|
|
if (HCL_CLASS_SPEC_IS_IMMUTABLE(spec)) HCL_OBJ_SET_FLAGS_RDONLY (oop, 1);
|
|
|
|
if (HCL_CLASS_SPEC_IS_UNCOPYABLE(spec)) HCL_OBJ_SET_FLAGS_UNCOPYABLE (oop, 1);
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
hcl_popvolats (hcl, tmp_count);
|
|
|
|
return oop;
|
|
|
|
}
|
|
|
|
|
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)
|
|
|
|
{
|
2018-02-22 07:41:03 +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
|
|
|
|
2020-12-31 17:48:47 +00:00
|
|
|
/* no hcl_pushvolat() is needed because 'obj' is a non-GC object. */
|
2016-09-28 14:40:37 +00:00
|
|
|
/* TODO: improve this by using realloc */
|
|
|
|
|
2021-05-21 09:59:35 +00:00
|
|
|
tmp = hcl_makengcbytearray(hcl, HCL_NULL, newsize);
|
|
|
|
if (HCL_LIKELY(tmp))
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
|
|
|
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)
|
|
|
|
{
|
2020-10-04 18:21:05 +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
|
|
|
|
2020-12-31 17:48:47 +00:00
|
|
|
/* no hcl_pushvolat() is needed because 'obj' is a non-GC object. */
|
2016-09-28 14:40:37 +00:00
|
|
|
/* TODO: improve this by using realloc */
|
|
|
|
|
2021-05-21 09:59:35 +00:00
|
|
|
tmp = hcl_makengcarray(hcl, newsize);
|
|
|
|
if (HCL_LIKELY(tmp))
|
2016-09-28 14:40:37 +00:00
|
|
|
{
|
|
|
|
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-23 07:17:23 +00:00
|
|
|
HCL_ASSERT (hcl, HCL_IS_CONS(hcl, cons));
|
2016-09-28 14:40:37 +00:00
|
|
|
do
|
|
|
|
{
|
|
|
|
cons = HCL_CONS_CDR(cons);
|
2018-02-23 07:17:23 +00:00
|
|
|
if (!HCL_IS_CONS(hcl, cons)) break;
|
2016-09-28 14:40:37 +00:00
|
|
|
count++;
|
|
|
|
}
|
|
|
|
while (1);
|
|
|
|
|
|
|
|
return count;
|
|
|
|
}
|
|
|
|
|
|
|
|
hcl_oop_t hcl_getlastconscdr (hcl_t* hcl, hcl_oop_t cons)
|
|
|
|
{
|
2018-02-23 07:17:23 +00:00
|
|
|
HCL_ASSERT (hcl, HCL_IS_CONS(hcl, cons));
|
2016-09-28 14:40:37 +00:00
|
|
|
do
|
|
|
|
{
|
|
|
|
cons = HCL_CONS_CDR(cons);
|
2018-02-23 07:17:23 +00:00
|
|
|
if (!HCL_IS_CONS(hcl, cons)) break;
|
2016-09-28 14:40:37 +00:00
|
|
|
}
|
|
|
|
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-23 07:17:23 +00:00
|
|
|
HCL_ASSERT (hcl, HCL_IS_CONS(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;
|
2018-02-23 07:17:23 +00:00
|
|
|
if (!HCL_IS_CONS(hcl, next)) break;
|
2016-09-28 14:40:37 +00:00
|
|
|
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;
|
|
|
|
|
2021-03-27 10:32:23 +00:00
|
|
|
if (obj == hcl->_nil)
|
2018-02-22 07:41:03 +00:00
|
|
|
{
|
|
|
|
*xhv = 0;
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
else if (obj == hcl->_true)
|
|
|
|
{
|
|
|
|
*xhv = 1;
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
else if (obj == hcl->_false)
|
|
|
|
{
|
|
|
|
*xhv = 2;
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2018-02-07 07:35:30 +00:00
|
|
|
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:
|
2018-04-07 15:54:16 +00:00
|
|
|
hv = hcl_hash_bytes(((hcl_oop_byte_t)obj)->slot, HCL_OBJ_GET_SIZE(obj));
|
2018-02-07 07:35:30 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case HCL_OBJ_TYPE_CHAR:
|
2021-01-22 14:43:47 +00:00
|
|
|
hv = hcl_hash_oochars(((hcl_oop_char_t)obj)->slot, HCL_OBJ_GET_SIZE(obj));
|
2018-02-07 07:35:30 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case HCL_OBJ_TYPE_HALFWORD:
|
2019-03-06 01:50:46 +00:00
|
|
|
hv = hcl_hash_halfwords(((hcl_oop_halfword_t)obj)->slot, HCL_OBJ_GET_SIZE(obj));
|
2018-02-07 07:35:30 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case HCL_OBJ_TYPE_WORD:
|
2019-03-06 01:50:46 +00:00
|
|
|
hv = hcl_hash_words(((hcl_oop_word_t)obj)->slot, HCL_OBJ_GET_SIZE(obj));
|
2018-02-07 07:35:30 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
2021-03-27 10:32:23 +00:00
|
|
|
/* HCL_OBJ_TYPE_OOP, ... */
|
2018-02-07 07:35:30 +00:00
|
|
|
hcl_seterrbfmt(hcl, HCL_ENOIMPL, "no builtin hash implemented for %O", obj); /* TODO: better error code? */
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-03-27 10:32:23 +00:00
|
|
|
/* i assume that hcl_hashxxx() functions limits the return value to fall
|
2018-02-07 07:35:30 +00:00
|
|
|
* 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))
|
|
|
|
{
|
2021-03-27 10:32:23 +00:00
|
|
|
/* the stack in a process object doesn't need to be
|
|
|
|
* scanned in full. the slots above the stack pointer
|
2018-02-07 07:35:30 +00:00
|
|
|
* 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 */
|
2021-03-27 10:32:23 +00:00
|
|
|
/* NOTE: even if the object implements the equality method,
|
2018-02-07 07:35:30 +00:00
|
|
|
* 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
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|