mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-10-31 07:23:06 +08:00
Chris Tate
2069684b40
* Expand static Effect support across common APIs * Preserve compiler parity across expanded Effect patterns * Fix compiler regressions exposed by Effect coverage * Bound shared type conversion traversal * Clarify conversion contracts and tidy fixtures * Run every Effect fixture in CI shards * Preserve inferred array assignments in concurrent Effect programs * Record inferred array fixture compiler ordering
92 lines
3.0 KiB
C
92 lines
3.0 KiB
C
/* Class instance layouts are emitted by the compiler. Class objects share
|
|
* one runtime layout, including captured bindings for local classes. */
|
|
#include "scr_runtime.h"
|
|
|
|
void scr_classobj_trace_v(void *object, ScrTraceVisit visit, void *ctx) {
|
|
ScrClassObj *c = object;
|
|
for (size_t i = 0; i < c->ncaps; i++) visit(c->caps[i], ctx);
|
|
visit(c->prototype_data, ctx);
|
|
visit(c->static_data, ctx);
|
|
}
|
|
|
|
static void scr_classobj_gcfree(void *object) {
|
|
scr_obj_free_note();
|
|
scr_cyc_free(object);
|
|
}
|
|
|
|
ScrClassObj *scr_classobj_new(const ScrClassObj *template, size_t ncaps) {
|
|
if (ncaps > (SIZE_MAX - sizeof(ScrClassObj)) / sizeof(ScrBox *))
|
|
scr_trap("scriptc: class capture allocation overflow\n");
|
|
ScrClassObj *c = scr_cyc_alloc(sizeof(ScrClassObj) + ncaps * sizeof(ScrBox *),
|
|
&scr_classobj_trace_v, &scr_classobj_gcfree);
|
|
c->rc = 1;
|
|
c->pre = template->pre;
|
|
c->post = template->post;
|
|
c->ctor = template->ctor;
|
|
c->name = template->name;
|
|
c->ncaps = ncaps;
|
|
c->length = template->length;
|
|
c->prototype_data = NULL;
|
|
c->static_data = NULL;
|
|
scr_obj_alloc_note();
|
|
return c;
|
|
}
|
|
|
|
void scr_classobj_release(ScrClassObj *c) {
|
|
if (!c || c->rc == SIZE_MAX) return;
|
|
if (--c->rc == 0) {
|
|
scr_cyc_on_dead(c);
|
|
for (size_t i = 0; i < c->ncaps; i++) scr_box_release(c->caps[i]);
|
|
scr_box_release(c->prototype_data);
|
|
scr_box_release(c->static_data);
|
|
scr_classobj_gcfree(c);
|
|
} else {
|
|
scr_cyc_on_release(c);
|
|
}
|
|
}
|
|
|
|
void *scr_classobj_retain_v(void *c) {
|
|
return scr_classobj_retain((ScrClassObj *)c);
|
|
}
|
|
|
|
void scr_classobj_clear_properties(ScrClassObj *c) {
|
|
ScrBox *prototype = c->prototype_data, *statics = c->static_data;
|
|
c->prototype_data = NULL;
|
|
c->static_data = NULL;
|
|
scr_box_release(prototype);
|
|
scr_box_release(statics);
|
|
}
|
|
void scr_classobj_release_v(void *c) { scr_classobj_release((ScrClassObj *)c); }
|
|
|
|
ScrStr *scr_classobj_name(ScrClassObj *c) {
|
|
return scr_str_retain((ScrStr *)c->name);
|
|
}
|
|
|
|
/* The keyed-write MISS on a fixed-shape (signature-free) record: JS would
|
|
* ADD the property, which a monomorphic struct cannot — the write throws
|
|
* the catchable TypeError naming the key instead (the documented
|
|
* divergence; the emitted per-shape keyed-write helpers call this after
|
|
* the declared-field chain misses). */
|
|
void scr_record_key_miss(ScrStr *k) {
|
|
const char *base = "Cannot add property '";
|
|
ScrStr *head = scr_str_new(base, strlen(base));
|
|
ScrStr *with_key = scr_str_concat(head, k);
|
|
scr_str_release(head);
|
|
const char *tail_c = "' to a fixed-shape object";
|
|
ScrStr *tail = scr_str_new(tail_c, strlen(tail_c));
|
|
ScrStr *msg = scr_str_concat(with_key, tail);
|
|
scr_str_release(with_key);
|
|
scr_str_release(tail);
|
|
scr_throw_error(SCR_ERR_TYPE, msg); /* takes ownership */
|
|
}
|
|
|
|
#ifdef SCR_RC_AUDIT
|
|
static SCR_TL long scr_live_objects = 0;
|
|
long scr_obj_live_count(void) { return scr_live_objects; }
|
|
void scr_obj_alloc_note(void) { scr_live_objects++; }
|
|
void scr_obj_free_note(void) { scr_live_objects--; }
|
|
#else
|
|
void scr_obj_alloc_note(void) {}
|
|
void scr_obj_free_note(void) {}
|
|
#endif
|