jseption 0.0.1 → 0.0.2

package/dist/jit.js

@@ -888,6 +888,9 @@ function P(code, kind, extra) {
     }
     return p;
 }
+/* the interrupt poll emitted at every function entry and loop head: the interpreter's
+   counter, decremented in place (`$C` is the context); the handler is asked when it runs out */
+const POLL = 'if (--$C.interrupt_counter <= 0) $RT.poll_handler();\n';
 const IDENT_RE = /^[A-Za-z_$][A-Za-z0-9_$]*$/;
 const RESERVED = new Set(['__proto__']);
 function fmt_number(n) {
@@ -2805,7 +2808,7 @@ class Relooper {
             const label = this.label('$L');
             const st = { kind: 'loop', label, entries: entrySet, nextEntries, nextIsMulti: nextEntries.size > 1 };
             const body = this.reloop(inner, entries, [...ctx, st], entrySet);
-            return `${label}: for (;;) {\n${body}\n}\n` + this.reloop(outer, [...nextEntries], ctx, loopEntries);
+            return `${label}: for (;;) {\n${POLL}${body}\n}\n` + this.reloop(outer, [...nextEntries], ctx, loopEntries);
         }
         /* multiple */
         return this.emit_multiple(nodes, entries.map(e => ({ cond: `$l === ${e}`, entry: e })), ctx, loopEntries, '');
@@ -2905,7 +2908,7 @@ class Relooper {
             else {
                 handler = `$RT.iterator_close_exc($s${r.slot - 2}); throw $e;`;
             }
-            const code = `${label}: try {\n${body}\n} catch ($e) {\n$e = $RT.to_guest_exception($e); ${handler}\n}\n`;
+            const code = `${label}: try {\n${body}\n} catch ($e) {\n$e = $RT.catchable($e); ${handler}\n}\n`;
             return code + this.reloop(rest, [...nextEntries], ctx, loopEntries);
         }
         const blk = node.block;
@@ -2976,14 +2979,14 @@ class Relooper {
                 else {
                     handler = `$RT.iterator_close_exc($s${c.slot - 2}); throw $e;`;
                 }
-                cases += `case ${id}: ${tl}: try {\n${body}\n} catch ($e) {\n$e = $RT.to_guest_exception($e); ${handler}\n}\ncontinue ${label};\n`;
+                cases += `case ${id}: ${tl}: try {\n${body}\n} catch ($e) {\n$e = $RT.catchable($e); ${handler}\n}\ncontinue ${label};\n`;
             }
             else {
                 const blk = node.block;
                 cases += `case ${blk.id}: {\n${blk.code}${this.emit_term(blk, innerCtx, null)}\n}\n`;
             }
         }
-        return `$l = ${r.entry_node ?? r.entry.id};\n${label}: for (;;) {\nswitch ($l) {\n${cases}default: $RT.throw_internal_error("jit: bad state " + $l);\n}\n}\n`;
+        return `$l = ${r.entry_node ?? r.entry.id};\n${label}: for (;;) {\n${POLL}switch ($l) {\n${cases}default: $RT.throw_internal_error("jit: bad state " + $l);\n}\n}\n`;
     }
 }
 /* used by the runtime adapter when compiled code creates a closure: the compiled form if the
@@ -3105,7 +3108,8 @@ export function jit_generate_source(ctx, b, id = 0, opts = {}) {
         params.push(`$a${i}`);
         fwparams.push(`$a${i}`);
     }
-    let prologue = '';
+    /* every entry polls, as every loop head does: recursion can run unbounded without a back edge */
+    let prologue = POLL;
     const natural = fi.natural;
     if (osr !== undefined) {
         /* replacement entry: the interpreter frame's state (cells for captured variables) */
@@ -3209,12 +3213,19 @@ ${prologue}${body}};
 };`;
     }
     /* the url names the function for host stack traces; its id leads to the position table */
-    source += `\n//# sourceURL=jseption:${id}:${jit_file_name(ctx, b)}:${name || '<anonymous>'}`;
+    source += `\n//# sourceURL=jseption:${id}:${url_part(jit_file_name(ctx, b))}:${url_part(name || '<anonymous>')}`;
     const res = { source, name };
     if (osr !== undefined)
         res.osr = { arg_cell: fi.argCell.slice(), var_cell: fi.varCell.slice(), depth: cfg.byPc.get(osr).stateIn.length };
     return res;
 }
+/* a file or function name as it goes into the generated code's `sourceURL` comment: the file
+   name is the embedder's and the function name the guest's, so a line terminator in either
+   would end the comment and make the rest host code (a function declaration there is hoisted
+   into the compiled code's scope). Control characters and line terminators become `_`. */
+function url_part(s) {
+    return s.replace(/[\u0000-\u001f\u007f\u2028\u2029]/g, '_');
+}
 function jit_file_name(ctx, b) {
     return (b.has_debug && JS_AtomGetStr(ctx, b.debug.filename)) || '<eval>';
 }