repos/rhope: runtime/object.c annotate

annotate runtime/object.c @ 36:495dddadd058

User defined types work in the compiler now

author	Mike Pavone <pavone@retrodev.com>
date	Sat, 03 Oct 2009 03:18:15 -0400
parents	df038cef648b
children	640f541e9116

rev	line source
7 d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	1 #include "object.h"
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	2 #include "builtin.h"
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	3 #include <stdlib.h>
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	4 #include <string.h>
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	5 #include <stdio.h>
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	6
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	7 blueprint ** registered_types = NULL;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	8 uint32_t max_registered_type = 0;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	9 uint32_t type_storage = 0;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	10
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	11 returntype call_method(uint32_t methodid, calldata * params)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	12 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	13 int i;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	14 blueprint * bp = get_blueprint(params->params[0]);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	15 if(methodid >= bp->first_methodid && methodid < bp->last_methodid && bp->method_lookup[methodid - bp->first_methodid])
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	16 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	17 params->tail_func = bp->method_lookup[methodid - bp->first_methodid];
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	18 return TAIL_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	19 } else {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	20 if(METHOD_MISSING >= bp->first_methodid && METHOD_MISSING < bp->last_methodid && bp->method_lookup[METHOD_MISSING - bp->first_methodid])
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	21 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	22 params->tail_func = bp->method_lookup[METHOD_MISSING - bp->first_methodid];
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	23 return TAIL_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	24 } else {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	25 //TODO: Add useful info to exception
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	26 for(i = 0; i < params->num_params; ++i)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	27 release_ref(params->params[i]);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	28 params->params[0] = new_object(TYPE_METHODMISSINGEXCEPTION);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	29 return EXCEPTION_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	30 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	31 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	32 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	33
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	34 returntype set_field(uint32_t setfieldid, calldata * params)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	35 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	36 int i;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	37 blueprint * bp = get_blueprint(params->params[0]);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	38 if(setfieldid >= bp->first_setfieldid && setfieldid < bp->last_setfieldid && bp->setter_lookup[setfieldid - bp->first_setfieldid])
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	39 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	40 params->tail_func = bp->setter_lookup[setfieldid - bp->first_setfieldid];
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	41 return TAIL_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	42 } else {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	43 if(METHOD_SETFIELDMISSING >= bp->first_setfieldid && METHOD_SETFIELDMISSING < bp->last_setfieldid && bp->method_lookup[METHOD_SETFIELDMISSING - bp->first_methodid])
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	44 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	45 params->tail_func = bp->method_lookup[METHOD_SETFIELDMISSING - bp->first_methodid];
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	46 params->original_methodid = setfieldid;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	47 return TAIL_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	48 } else {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	49 //TODO: Add useful info to exception
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	50 for(i = 0; i < params->num_params; ++i)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	51 release_ref(params->params[i]);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	52 params->params[0] = new_object(TYPE_FIELDMISSINGEXCEPTION);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	53 return EXCEPTION_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	54 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	55 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	56 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	57
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	58
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	59 returntype get_field(uint32_t getfieldid, calldata * params)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	60 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	61 int i;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	62 blueprint * bp = get_blueprint(params->params[0]);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	63 if(getfieldid >= bp->first_getfieldid && getfieldid < bp->last_getfieldid && bp->getter_lookup[getfieldid - bp->first_getfieldid])
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	64 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	65 params->tail_func = bp->getter_lookup[getfieldid - bp->first_getfieldid];
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	66 return TAIL_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	67 } else {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	68 if(METHOD_GETFIELDMISSING >= bp->first_getfieldid && METHOD_GETFIELDMISSING < bp->last_getfieldid && bp->method_lookup[METHOD_GETFIELDMISSING - bp->first_methodid])
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	69 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	70 params->tail_func = bp->method_lookup[METHOD_GETFIELDMISSING - bp->first_methodid];
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	71 params->original_methodid = getfieldid;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	72 return TAIL_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	73 } else {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	74 //TODO: Add useful info to exception
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	75 for(i = 0; i < params->num_params; ++i)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	76 release_ref(params->params[i]);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	77 params->params[0] = new_object(TYPE_FIELDMISSINGEXCEPTION);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	78 return EXCEPTION_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	79 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	80 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	81 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	82
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	83 returntype convert_to(uint32_t convertto, calldata * params)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	84 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	85 int i;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	86 blueprint * bp = get_blueprint(params->params[0]);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	87 if(convertto >= bp->first_convertto && convertto < bp->last_convertto && bp->convert_to[convertto])
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	88 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	89 params->tail_func = bp->convert_to[convertto - bp->first_convertto];
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	90 return TAIL_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	91 } else {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	92 return NO_CONVERSION;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	93 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	94 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	95
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	96 returntype convert_from(uint32_t convertfrom, calldata * params)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	97 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	98 int i;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	99 blueprint * bp = registered_types[convertfrom];
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	100 if(convertfrom >= bp->first_convertfrom && convertfrom < bp->last_convertfrom && bp->convert_from[convertfrom])
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	101 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	102 params->tail_func = bp->convert_from[convertfrom - bp->first_convertfrom];
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	103 return TAIL_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	104 } else {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	105 return NO_CONVERSION;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	106 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	107 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	108
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	109 returntype coerce_value(uint32_t type, calldata * params)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	110 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	111 int i;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	112 blueprint * bp = get_blueprint(params->params[0]);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	113 if(bp == registered_types[type])
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	114 return NORMAL_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	115 if(convert_to(type, params) == TAIL_RETURN)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	116 return TAIL_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	117 if(convert_from(type, params) == TAIL_RETURN)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	118 return TAIL_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	119 //TODO: Add useful info to exception
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	120 for(i = 0; i < params->num_params; ++i)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	121 release_ref(params->params[i]);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	122 params->params[0] = new_object(TYPE_WRONGTYPEEXCEPTION);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	123 return EXCEPTION_RETURN;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	124 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	125
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	126 object * alloc_object(blueprint * bp)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	127 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	128 //TODO: Replace with something more performant
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	129 return malloc(bp->boxed_size);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	130 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	131
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	132 void * alloc_variable(uint32_t size)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	133 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	134 return malloc(size);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	135 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	136
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	137 void dealloc_object(blueprint * bp, object * obj)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	138 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	139 //TODO: Replace with something more performant
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	140 free(obj);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	141 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	142
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	143 object * new_object(uint32_t type)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	144 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	145 blueprint * bp;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	146 object * ret;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	147 if(type >= max_registered_type \|\| !registered_types[type])
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	148 return NULL;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	149 bp = registered_types[type];
36 495dddadd058 User defined types work in the compiler now Mike Pavone <pavone@retrodev.com> parents: 34 diff changeset	150 return new_object_bp(bp);
495dddadd058 User defined types work in the compiler now Mike Pavone <pavone@retrodev.com> parents: 34 diff changeset	151 }
495dddadd058 User defined types work in the compiler now Mike Pavone <pavone@retrodev.com> parents: 34 diff changeset	152
495dddadd058 User defined types work in the compiler now Mike Pavone <pavone@retrodev.com> parents: 34 diff changeset	153 object * new_object_bp(blueprint * bp)
495dddadd058 User defined types work in the compiler now Mike Pavone <pavone@retrodev.com> parents: 34 diff changeset	154 {
495dddadd058 User defined types work in the compiler now Mike Pavone <pavone@retrodev.com> parents: 34 diff changeset	155 object * ret;
7 d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	156 ret = alloc_object(bp);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	157 if(ret)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	158 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	159 ret->bprint = bp;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	160 rh_atomic_set(ret, refcount, 1);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	161 memset(((char *)ret) + sizeof(object), '\0', bp->size);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	162 bp->init(ret);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	163 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	164 return ret;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	165 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	166
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	167 multisize * new_multisize(uint32_t type, uint32_t size)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	168 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	169 blueprint *bp;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	170 multisize * ret;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	171 if(type >= max_registered_type \|\| !registered_types[type])
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	172 return NULL;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	173 ret = alloc_variable(sizeof(multisize) + type);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	174 if(ret)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	175 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	176 bp = registered_types[type];
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	177 ret->base.bprint = bp;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	178 ret->size = size;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	179 rh_atomic_set(&(ret->base), refcount, 1);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	180 memset(((char *)ret) + sizeof(multisize), '\0', size);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	181 bp->init((object *)ret);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	182 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	183 return ret;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	184 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	185
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	186 object * copy_object(object * tocopy)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	187 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	188 object * copy;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	189 multisize * mcopy, *mtocopy;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	190 blueprint * bp;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	191 if(rh_atomic_get(tocopy, refcount) == 1)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	192 return tocopy;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	193 bp = get_blueprint(tocopy);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	194 if(bp->size < 0) {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	195 mtocopy = (multisize *)tocopy;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	196 mcopy = alloc_variable(sizeof(multisize) + mtocopy->size);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	197 mcopy->size = mtocopy->size;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	198 memcpy(((char )mcopy)+sizeof(multisize), ((char )mtocopy)+sizeof(multisize), mtocopy->size);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	199 copy = (object *)mcopy;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	200 } else {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	201 copy = alloc_object(bp);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	202 memcpy(((char )copy) + sizeof(object), ((char )tocopy)+sizeof(object), bp->size);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	203 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	204 copy->bprint = bp;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	205 rh_atomic_set(copy, refcount, 1);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	206 bp->copy(copy);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	207 release_ref(tocopy);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	208 return copy;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	209 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	210
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	211 void free_object(object * obj)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	212 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	213 blueprint * bp = get_blueprint(obj);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	214 if(bp->cleanup)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	215 bp->cleanup(obj);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	216 dealloc_object(bp, obj);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	217 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	218
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	219 void release_ref(object * obj)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	220 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	221 if(rh_atomic_sub_testzero(obj, refcount, 1))
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	222 free_object(obj);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	223 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	224
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	225 void check_type_storage(type)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	226 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	227 uint32_t type_storage_temp;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	228 blueprint ** temp;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	229 if(type >= type_storage)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	230 if(type_storage)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	231 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	232 type_storage_temp = (type + (type_storage >> 1));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	233 temp = realloc(registered_types, type_storage_temp * sizeof(blueprint *));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	234 if(temp)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	235 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	236 registered_types = temp;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	237 memset(registered_types + type_storage, '\0', (type_storage_temp - type_storage) * sizeof(blueprint *));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	238 type_storage = type_storage_temp;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	239 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	240 else
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	241 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	242 free(registered_types);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	243 fprintf(stderr, "Couldn't allocate %d bytes for type storage array\n", type_storage_temp * sizeof(blueprint *));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	244 exit(-1);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	245 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	246 } else {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	247
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	248 if(type < INITIAL_TYPE_STORAGE)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	249 type_storage =INITIAL_TYPE_STORAGE;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	250 else
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	251 type_storage = type + 8;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	252 registered_types = malloc(type_storage * sizeof(blueprint *));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	253 if(registered_types)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	254 memset(registered_types, '\0', type_storage * sizeof(blueprint *));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	255 else
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	256 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	257 fprintf(stderr, "Couldn't allocate %d bytes for type storage array\n", type_storage * sizeof(blueprint *));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	258 exit(-1);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	259 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	260
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	261 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	262 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	263
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	264 void default_action(object * obj)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	265 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	266 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	267
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	268 blueprint * new_blueprint(uint32_t type, uint32_t size, special_func init, special_func copy, special_func cleanup)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	269 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	270 blueprint * bp = malloc(sizeof(blueprint));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	271 if(bp)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	272 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	273 bp->size = size;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	274 bp->boxed_size = size >= 0 ? size + sizeof(object) : size;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	275 bp->method_lookup = bp->getter_lookup = bp->setter_lookup = bp->convert_to = bp->convert_from = NULL;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	276 bp->init = init ? init : default_action;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	277 bp->copy = copy ? copy : default_action;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	278 bp->cleanup = cleanup ? cleanup : default_action;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	279 bp->first_methodid = bp->last_methodid = bp->first_getfieldid = bp->last_getfieldid = bp->first_setfieldid = bp->last_setfieldid = bp->first_convertto = bp->last_convertto = bp->first_convertfrom = bp->last_convertfrom = 0;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	280 //TODO: Handle names
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	281 bp->name = NULL;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	282 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	283 return bp;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	284 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	285
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	286 blueprint * register_type_byid(uint32_t type, uint32_t size, special_func init, special_func copy, special_func cleanup)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	287 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	288 check_type_storage(type);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	289 if(registered_types[type])
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	290 return registered_types[type];
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	291 registered_types[type] = new_blueprint(type, size, init, copy, cleanup);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	292 if(!registered_types[type])
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	293 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	294 fputs("Couldn't allocate new object blueprint\n", stderr);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	295 exit(-1);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	296 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	297 if(type >= max_registered_type)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	298 max_registered_type = type + 1;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	299 return registered_types[type];
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	300 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	301
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	302 void add_method(blueprint * bp, uint32_t methodid, rhope_func impl)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	303 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	304 rhope_func * temp;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	305 if(methodid < 1) {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	306 fputs("Attempt to add a method with an ID < 1\n", stderr);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	307 exit(-1);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	308 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	309 if (!bp->method_lookup)
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	310 {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	311 bp->method_lookup = malloc(sizeof(rhope_func) * INITIAL_METHOD_LOOKUP);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	312 if(!bp->method_lookup) {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	313 fprintf(stderr, "Couldn't allocate %d bytes for method lookup table\n", sizeof(rhope_func) * INITIAL_METHOD_LOOKUP);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	314 exit(-1);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	315 }
12 31f8182f3433 Finished fib test and did some small work on the c backend Mike Pavone <pavone@retrodev.com> parents: 7 diff changeset	316 if(BELOW_INITIAL_METHOD > methodid) {
7 d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	317 bp->first_methodid = 1;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	318 bp->last_methodid = 1+INITIAL_METHOD_LOOKUP;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	319 } else {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	320 bp->first_methodid = methodid - BELOW_INITIAL_METHOD;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	321 bp->last_methodid = bp->first_methodid + INITIAL_METHOD_LOOKUP;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	322 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	323 memset(bp->method_lookup, '\0', sizeof(rhope_func) * INITIAL_METHOD_LOOKUP);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	324 } else {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	325 if (methodid < bp->first_methodid) {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	326 temp = bp->method_lookup;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	327 //Note: if this gets changed to generating an exception on failure, we need to restore the original buffer
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	328 bp->method_lookup = malloc(sizeof(rhope_func) * (bp->last_methodid-methodid));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	329 if(!bp->method_lookup) {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	330 fprintf(stderr, "Couldn't allocate %d bytes for method lookup table\n", sizeof(rhope_func) * (bp->last_methodid-methodid));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	331 exit(-1);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	332 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	333 memset(bp->method_lookup, '\0', (bp->first_methodid-methodid) * sizeof(rhope_func));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	334 memcpy(bp->method_lookup + bp->first_methodid-methodid, temp, (bp->last_methodid-bp->first_methodid)*sizeof(rhope_func));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	335 free(temp);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	336 bp->first_methodid = methodid;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	337 } else if(methodid >= bp->last_methodid) {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	338 //Note: if this gets changed to generating an exception on failure, we need to restore the original buffer
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	339 bp->method_lookup = realloc(bp->method_lookup, (methodid+1-bp->first_methodid) * sizeof(rhope_func));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	340 if(!bp->method_lookup) {
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	341 fprintf(stderr, "Couldn't resize method lookup table to %d bytes\n", (methodid+1-bp->first_methodid) * sizeof(rhope_func));
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	342 exit(-1);
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	343 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	344 memset(bp->method_lookup+bp->last_methodid, '\0', (methodid+1)-bp->last_methodid);
12 31f8182f3433 Finished fib test and did some small work on the c backend Mike Pavone <pavone@retrodev.com> parents: 7 diff changeset	345 bp->last_methodid = methodid+1;
7 d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	346 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	347 }
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	348 bp->method_lookup[methodid-bp->first_methodid] = impl;
d61550e2c001 Added current work on new runtime Mike Pavone <pavone@retrodev.com> parents: diff changeset	349 }
30 914ad38f9b59 Compiler now works for some simple programs Mike Pavone <pavone@retrodev.com> parents: 12 diff changeset	350
34 df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	351 void add_getter(blueprint * bp, uint32_t getfieldid, rhope_func impl)
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	352 {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	353 rhope_func * temp;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	354 if(getfieldid < 1) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	355 fputs("Attempt to add a method with an ID < 1\n", stderr);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	356 exit(-1);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	357 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	358 if (!bp->getter_lookup)
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	359 {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	360 bp->getter_lookup = malloc(sizeof(rhope_func) * INITIAL_METHOD_LOOKUP);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	361 if(!bp->getter_lookup) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	362 fprintf(stderr, "Couldn't allocate %d bytes for getter lookup table\n", sizeof(rhope_func) * INITIAL_METHOD_LOOKUP);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	363 exit(-1);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	364 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	365 if(BELOW_INITIAL_METHOD > getfieldid) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	366 bp->first_getfieldid = 1;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	367 bp->last_getfieldid = 1+INITIAL_METHOD_LOOKUP;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	368 } else {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	369 bp->first_getfieldid = getfieldid - BELOW_INITIAL_METHOD;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	370 bp->last_getfieldid = bp->first_getfieldid + INITIAL_METHOD_LOOKUP;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	371 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	372 memset(bp->getter_lookup, '\0', sizeof(rhope_func) * INITIAL_METHOD_LOOKUP);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	373 } else {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	374 if (getfieldid < bp->first_getfieldid) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	375 temp = bp->getter_lookup;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	376 //Note: if this gets changed to generating an exception on failure, we need to restore the original buffer
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	377 bp->getter_lookup = malloc(sizeof(rhope_func) * (bp->last_getfieldid-getfieldid));
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	378 if(!bp->getter_lookup) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	379 fprintf(stderr, "Couldn't allocate %d bytes for getter lookup table\n", sizeof(rhope_func) * (bp->last_getfieldid-getfieldid));
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	380 exit(-1);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	381 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	382 memset(bp->getter_lookup, '\0', (bp->first_getfieldid-getfieldid) * sizeof(rhope_func));
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	383 memcpy(bp->getter_lookup + bp->first_getfieldid-getfieldid, temp, (bp->last_getfieldid-bp->first_getfieldid)*sizeof(rhope_func));
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	384 free(temp);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	385 bp->first_getfieldid = getfieldid;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	386 } else if(getfieldid >= bp->last_getfieldid) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	387 //Note: if this gets changed to generating an exception on failure, we need to restore the original buffer
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	388 bp->getter_lookup = realloc(bp->getter_lookup, (getfieldid+1-bp->first_getfieldid) * sizeof(rhope_func));
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	389 if(!bp->getter_lookup) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	390 fprintf(stderr, "Couldn't resize getter lookup table to %d bytes\n", (getfieldid+1-bp->first_getfieldid) * sizeof(rhope_func));
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	391 exit(-1);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	392 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	393 memset(bp->getter_lookup+bp->last_getfieldid, '\0', (getfieldid+1)-bp->last_getfieldid);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	394 bp->last_getfieldid = getfieldid+1;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	395 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	396 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	397 bp->getter_lookup[getfieldid-bp->first_getfieldid] = impl;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	398 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	399
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	400 void add_setter(blueprint * bp, uint32_t setfieldid, rhope_func impl)
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	401 {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	402 rhope_func * temp;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	403 if(setfieldid < 1) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	404 fputs("Attempt to add a method with an ID < 1\n", stderr);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	405 exit(-1);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	406 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	407 if (!bp->setter_lookup)
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	408 {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	409 bp->setter_lookup = malloc(sizeof(rhope_func) * INITIAL_METHOD_LOOKUP);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	410 if(!bp->setter_lookup) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	411 fprintf(stderr, "Couldn't allocate %d bytes for setter lookup table\n", sizeof(rhope_func) * INITIAL_METHOD_LOOKUP);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	412 exit(-1);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	413 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	414 if(BELOW_INITIAL_METHOD > setfieldid) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	415 bp->first_setfieldid = 1;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	416 bp->last_setfieldid = 1+INITIAL_METHOD_LOOKUP;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	417 } else {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	418 bp->first_setfieldid = setfieldid - BELOW_INITIAL_METHOD;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	419 bp->last_setfieldid = bp->first_setfieldid + INITIAL_METHOD_LOOKUP;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	420 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	421 memset(bp->setter_lookup, '\0', sizeof(rhope_func) * INITIAL_METHOD_LOOKUP);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	422 } else {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	423 if (setfieldid < bp->first_setfieldid) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	424 temp = bp->setter_lookup;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	425 //Note: if this sets changed to generating an exception on failure, we need to restore the original buffer
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	426 bp->setter_lookup = malloc(sizeof(rhope_func) * (bp->last_setfieldid-setfieldid));
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	427 if(!bp->setter_lookup) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	428 fprintf(stderr, "Couldn't allocate %d bytes for setter lookup table\n", sizeof(rhope_func) * (bp->last_setfieldid-setfieldid));
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	429 exit(-1);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	430 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	431 memset(bp->setter_lookup, '\0', (bp->first_setfieldid-setfieldid) * sizeof(rhope_func));
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	432 memcpy(bp->setter_lookup + bp->first_setfieldid-setfieldid, temp, (bp->last_setfieldid-bp->first_setfieldid)*sizeof(rhope_func));
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	433 free(temp);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	434 bp->first_setfieldid = setfieldid;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	435 } else if(setfieldid >= bp->last_setfieldid) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	436 //Note: if this sets changed to generating an exception on failure, we need to restore the original buffer
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	437 bp->setter_lookup = realloc(bp->setter_lookup, (setfieldid+1-bp->first_setfieldid) * sizeof(rhope_func));
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	438 if(!bp->setter_lookup) {
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	439 fprintf(stderr, "Couldn't resize setter lookup table to %d bytes\n", (setfieldid+1-bp->first_setfieldid) * sizeof(rhope_func));
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	440 exit(-1);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	441 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	442 memset(bp->setter_lookup+bp->last_setfieldid, '\0', (setfieldid+1)-bp->last_setfieldid);
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	443 bp->last_setfieldid = setfieldid+1;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	444 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	445 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	446 bp->setter_lookup[setfieldid-bp->first_setfieldid] = impl;
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	447 }
df038cef648b More work on supporting user defined types in the C backend Mike Pavone <pavone@retrodev.com> parents: 30 diff changeset	448
30 914ad38f9b59 Compiler now works for some simple programs Mike Pavone <pavone@retrodev.com> parents: 12 diff changeset	449 blueprint * get_blueprint_byid(uint32_t type)
914ad38f9b59 Compiler now works for some simple programs Mike Pavone <pavone@retrodev.com> parents: 12 diff changeset	450 {
914ad38f9b59 Compiler now works for some simple programs Mike Pavone <pavone@retrodev.com> parents: 12 diff changeset	451 if(type >= max_registered_type)
914ad38f9b59 Compiler now works for some simple programs Mike Pavone <pavone@retrodev.com> parents: 12 diff changeset	452 return NULL;
914ad38f9b59 Compiler now works for some simple programs Mike Pavone <pavone@retrodev.com> parents: 12 diff changeset	453 return registered_types[type];
914ad38f9b59 Compiler now works for some simple programs Mike Pavone <pavone@retrodev.com> parents: 12 diff changeset	454 }
914ad38f9b59 Compiler now works for some simple programs Mike Pavone <pavone@retrodev.com> parents: 12 diff changeset	455

Mercurial > repos > rhope

annotate runtime/object.c @ 36:495dddadd058