@scriptc/compiler 0.2.5 → 0.2.7

package/dist/backend/executable-features.js

@@ -5,6 +5,7 @@ import { hasForeignFfiCallback } from "./ffi-callbacks.js";
 export function executableLinkFeatures(mod, dynamic) {
     const features = moduleRuntimeFeatures(mod);
     return {
+        ...(mod.workers ? { workers: true } : {}),
         dynamic,
         regex: features.regex,
         copying: features.copying,

package/dist/backend/executable-features.js.map

@@ -1 +1 @@
-{"version":3,"file":"executable-features.js","sourceRoot":"","sources":["../../src/backend/executable-features.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,OAAO,EAAiB,MAAM,aAAa,CAAC;AAC5C,OAAO,EACL,mBAAmB,EACnB,yBAAyB,EACzB,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAG3D,MAAM,UAAU,sBAAsB,CAAC,GAAa,EAAE,OAAgB;IACpE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;IAC5C,OAAO;QACL,OAAO;QACP,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;QAC7C,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,SAAS,EACP,mBAAmB,CAAC,GAAG,EAAE,WAAW,CAAC;YACrC,mBAAmB,CAAC,GAAG,EAAE,YAAY,CAAC;YACtC,mBAAmB,CAAC,GAAG,EAAE,UAAU,CAAC;YACpC,mBAAmB,CAAC,GAAG,EAAE,UAAU,CAAC;QACtC,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,yBAAyB,CAAC,GAAG,CAAC;QACrD,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,MAAM,EAAE,QAAQ,CAAC,aAAa;QAC9B,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,GAAG,EAAE,QAAQ,CAAC,GAAG;QACjB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,KAAK,EAAE,QAAQ,CAAC,OAAO;QACvB,UAAU,EAAE,qBAAqB,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;QACvD,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,GAAG,EAAE,QAAQ,CAAC,GAAG;QACjB,KAAK,EAAE,QAAQ,CAAC,KAAK;KACtB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"executable-features.js","sourceRoot":"","sources":["../../src/backend/executable-features.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,OAAO,EAAiB,MAAM,aAAa,CAAC;AAC5C,OAAO,EACL,mBAAmB,EACnB,yBAAyB,EACzB,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAG3D,MAAM,UAAU,sBAAsB,CAAC,GAAa,EAAE,OAAgB;IACpE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;IAC5C,OAAO;QACL,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,OAAO;QACP,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;QAC7C,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,SAAS,EACP,mBAAmB,CAAC,GAAG,EAAE,WAAW,CAAC;YACrC,mBAAmB,CAAC,GAAG,EAAE,YAAY,CAAC;YACtC,mBAAmB,CAAC,GAAG,EAAE,UAAU,CAAC;YACpC,mBAAmB,CAAC,GAAG,EAAE,UAAU,CAAC;QACtC,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,yBAAyB,CAAC,GAAG,CAAC;QACrD,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,MAAM,EAAE,QAAQ,CAAC,aAAa;QAC9B,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,GAAG,EAAE,QAAQ,CAAC,GAAG;QACjB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,KAAK,EAAE,QAAQ,CAAC,OAAO;QACvB,UAAU,EAAE,qBAAqB,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;QACvD,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,GAAG,EAAE,QAAQ,CAAC,GAAG;QACjB,KAAK,EAAE,QAAQ,CAAC,KAAK;KACtB,CAAC;AACJ,CAAC"}

package/dist/backend/link-plan-core.d.ts

@@ -1,4 +1,5 @@
 /** Ordered link inputs shared by synchronous native and asynchronous Node hosts. */
+import type { NativeOptimization } from "./optimization.js";
 import { type NativeTargetSpec, type WindowsSubsystem } from "./targets.js";
 export interface ExecutableLinkInputs {
     inputs: string[];
@@ -8,13 +9,15 @@ export interface ExecutableLinkInputs {
 export declare function executableLinkInputs(options: {
     target: NativeTargetSpec;
     programObject: string;
+    /** Further objects of the same partitioned program. */
+    programPartitions?: readonly string[];
     ffiLibraries: readonly string[];
     ffiSystemLibraries: readonly string[];
     ffiFrameworks: readonly string[];
     runtimeObjects: readonly string[];
     runtimeArchives: readonly string[];
     runtimeSystemLibraries: readonly string[];
-    optimization: "release" | "dev";
+    optimization: NativeOptimization;
     strip?: boolean;
     windowsSubsystem?: WindowsSubsystem;
 }): ExecutableLinkInputs;

package/dist/backend/link-plan-core.js

@@ -1,14 +1,27 @@
-/** Ordered link inputs shared by synchronous native and asynchronous Node hosts. */
 import { executableOptimizationLinkerArgs, executableStripLinkerArgs, windowsSubsystemLinkerArgs, } from "./targets.js";
 export function executableLinkInputs(options) {
     if (options.ffiFrameworks.length !== 0 && options.target.platform !== "darwin")
         throw new Error("FFI frameworks require a Darwin target");
     return {
+        // Linkers lay out code in input order. The precompiled runtime and its
+        // archives go first so their addresses do not depend on the size of the
+        // program object: otherwise any program edit shifts every runtime
+        // function, and hot interpreter loops (the regex engine's especially)
+        // swing by double-digit percentages with incidental cache-line
+        // placement. Program code never references archive members directly,
+        // so single-pass archive resolution (GNU ld) still sees every runtime
+        // reference first. FFI libraries stay after the program that uses them;
+        // single-pass linkers get the archives once more after them in case a
+        // foreign library depends on a vendored one.
         inputs: [
-            options.programObject,
-            ...options.ffiLibraries,
             ...options.runtimeObjects,
             ...options.runtimeArchives,
+            options.programObject,
+            ...(options.programPartitions ?? []),
+            ...options.ffiLibraries,
+            ...(options.ffiLibraries.length !== 0 && options.target.platform !== "darwin"
+                ? options.runtimeArchives
+                : []),
         ],
         systemLibraries: [
             ...new Set([...options.ffiSystemLibraries, ...options.runtimeSystemLibraries]),

package/dist/backend/link-plan-core.js.map

@@ -1 +1 @@
-{"version":3,"file":"link-plan-core.js","sourceRoot":"","sources":["../../src/backend/link-plan-core.ts"],"names":[],"mappings":"AAAA,oFAAoF;AACpF,OAAO,EACL,gCAAgC,EAChC,yBAAyB,EACzB,0BAA0B,GAG3B,MAAM,cAAc,CAAC;AAQtB,MAAM,UAAU,oBAAoB,CAAC,OAYpC;IACC,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QAC5E,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,OAAO;QACL,MAAM,EAAE;YACN,OAAO,CAAC,aAAa;YACrB,GAAG,OAAO,CAAC,YAAY;YACvB,GAAG,OAAO,CAAC,cAAc;YACzB,GAAG,OAAO,CAAC,eAAe;SAC3B;QACD,eAAe,EAAE;YACf,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,kBAAkB,EAAE,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;SAC/E;QACD,WAAW,EAAE;YACX,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YAChE,GAAG,OAAO,CAAC,MAAM,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAC9D,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,GAAG,CACrF;YACD,GAAG,gCAAgC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,YAAY,CAAC;YAClF,GAAG,yBAAyB,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC;YAC7E,GAAG,0BAA0B,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC;SACjF;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"link-plan-core.js","sourceRoot":"","sources":["../../src/backend/link-plan-core.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,gCAAgC,EAChC,yBAAyB,EACzB,0BAA0B,GAG3B,MAAM,cAAc,CAAC;AAQtB,MAAM,UAAU,oBAAoB,CAAC,OAcpC;IACC,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QAC5E,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,OAAO;QACL,uEAAuE;QACvE,wEAAwE;QACxE,kEAAkE;QAClE,sEAAsE;QACtE,+DAA+D;QAC/D,qEAAqE;QACrE,sEAAsE;QACtE,wEAAwE;QACxE,sEAAsE;QACtE,6CAA6C;QAC7C,MAAM,EAAE;YACN,GAAG,OAAO,CAAC,cAAc;YACzB,GAAG,OAAO,CAAC,eAAe;YAC1B,OAAO,CAAC,aAAa;YACrB,GAAG,CAAC,OAAO,CAAC,iBAAiB,IAAI,EAAE,CAAC;YACpC,GAAG,OAAO,CAAC,YAAY;YACvB,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;gBAC3E,CAAC,CAAC,OAAO,CAAC,eAAe;gBACzB,CAAC,CAAC,EAAE,CAAC;SACR;QACD,eAAe,EAAE;YACf,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,kBAAkB,EAAE,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;SAC/E;QACD,WAAW,EAAE;YACX,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YAChE,GAAG,OAAO,CAAC,MAAM,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAC9D,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,GAAG,CACrF;YACD,GAAG,gCAAgC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,YAAY,CAAC;YAClF,GAAG,yBAAyB,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC;YAC7E,GAAG,0BAA0B,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC;SACjF;KACF,CAAC;AACJ,CAAC"}

package/dist/backend/link-plan.d.ts

@@ -6,6 +6,7 @@
  * program, FFI inputs, runtime objects/archives, and system libraries meet
  * the platform linker.
  */
+import type { NativeOptimization } from "./optimization.js";
 import type { FfiProfile } from "../ffi/ffi-manifest.js";
 import type { NativeLinkFeatures } from "./native-link-info.js";
 import type { NativeArtifactDependency } from "./native/contracts.js";
@@ -28,10 +29,11 @@ export interface NativeLinkPlan {
 export declare function createNativeLinkPlan(options: {
     target: NativeTargetSpec;
     programObject: string;
+    programPartitions?: readonly string[];
     outPath: string;
     features: NativeLinkFeatures;
     ffi: FfiProfile | null;
-    optimization: "release" | "dev";
+    optimization: NativeOptimization;
     strip?: boolean;
     windowsSubsystem?: WindowsSubsystem;
     programObjectDependencies?: readonly NativeArtifactDependency[];

package/dist/backend/link-plan.js

@@ -12,6 +12,9 @@ export async function createNativeLinkPlan(options) {
         ...executableLinkInputs({
             target: options.target,
             programObject: options.programObject,
+            ...(options.programPartitions === undefined
+                ? {}
+                : { programPartitions: options.programPartitions }),
             ffiLibraries: options.ffi?.libraries ?? [],
             ffiSystemLibraries: options.ffi?.systemLibraries ?? [],
             ffiFrameworks: options.ffi?.frameworks ?? [],

package/dist/backend/link-plan.js.map

@@ -1 +1 @@
-{"version":3,"file":"link-plan.js","sourceRoot":"","sources":["../../src/backend/link-plan.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAA6B,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAkB3D,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,OAY1C;IACC,IAAI,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QACzE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,CAAC;IACnD,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,kBAAkB,EAAE,uBAAuB,CACzC,OAAO,CAAC,MAAM,CAAC,QAAQ,EACvB,OAAO,CAAC,YAAY,EACpB,OAAO,CAAC,KAAK,CACd;QACD,UAAU,EAAE,OAAO,CAAC,OAAO;QAC3B,GAAG,oBAAoB,CAAC;YACtB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,YAAY,EAAE,OAAO,CAAC,GAAG,EAAE,SAAS,IAAI,EAAE;YAC1C,kBAAkB,EAAE,OAAO,CAAC,GAAG,EAAE,eAAe,IAAI,EAAE;YACtD,aAAa,EAAE,OAAO,CAAC,GAAG,EAAE,UAAU,IAAI,EAAE;YAC5C,cAAc,EAAE,WAAW,CAAC,cAAc;YAC1C,eAAe,EAAE,WAAW,CAAC,QAAQ;YACrC,sBAAsB,EAAE,WAAW,CAAC,eAAe;YACnD,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;YAChE,GAAG,CAAC,OAAO,CAAC,gBAAgB,KAAK,SAAS;gBACxC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC;SACpD,CAAC;QACF,eAAe,EAAE,CAAC,GAAG,WAAW,CAAC,eAAe,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC;QACpF,yBAAyB,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,yBAAyB,IAAI,EAAE,CAAC,CAAC;QACzE,WAAW;KACZ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"link-plan.js","sourceRoot":"","sources":["../../src/backend/link-plan.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAA6B,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAkB3D,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,OAa1C;IACC,IAAI,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QACzE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,CAAC;IACnD,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,kBAAkB,EAAE,uBAAuB,CACzC,OAAO,CAAC,MAAM,CAAC,QAAQ,EACvB,OAAO,CAAC,YAAY,EACpB,OAAO,CAAC,KAAK,CACd;QACD,UAAU,EAAE,OAAO,CAAC,OAAO;QAC3B,GAAG,oBAAoB,CAAC;YACtB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,GAAG,CAAC,OAAO,CAAC,iBAAiB,KAAK,SAAS;gBACzC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,EAAE,CAAC;YACrD,YAAY,EAAE,OAAO,CAAC,GAAG,EAAE,SAAS,IAAI,EAAE;YAC1C,kBAAkB,EAAE,OAAO,CAAC,GAAG,EAAE,eAAe,IAAI,EAAE;YACtD,aAAa,EAAE,OAAO,CAAC,GAAG,EAAE,UAAU,IAAI,EAAE;YAC5C,cAAc,EAAE,WAAW,CAAC,cAAc;YAC1C,eAAe,EAAE,WAAW,CAAC,QAAQ;YACrC,sBAAsB,EAAE,WAAW,CAAC,eAAe;YACnD,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;YAChE,GAAG,CAAC,OAAO,CAAC,gBAAgB,KAAK,SAAS;gBACxC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC;SACpD,CAAC;QACF,eAAe,EAAE,CAAC,GAAG,WAAW,CAAC,eAAe,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC;QACpF,yBAAyB,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,yBAAyB,IAAI,EAAE,CAAC,CAAC;QACzE,WAAW;KACZ,CAAC;AACJ,CAAC"}

package/dist/backend/llvm/alloc.d.ts

@@ -0,0 +1,40 @@
+/** The emitter surface this module needs (a subset of ShapeHost). */
+export interface AllocHost {
+    declare(decl: string): void;
+    needOom(): void;
+    readonly sizeType: "i32" | "i64";
+    /** Inline the allocator fast paths (see the target rule above). */
+    readonly inlineAlloc?: boolean;
+    /** Emit the RC-audit object notes on the out-of-line paths (ShapeHost
+     * objectAudit: only --sanitize builds count them). Absent means emit. */
+    readonly objectAudit?: boolean;
+}
+/** Whether a target can use the inline allocation paths. */
+export declare function inlineAllocSupported(options: {
+    pointerBits?: 32 | 64 | undefined;
+    wasi?: boolean | undefined;
+    targetTriple?: string | undefined;
+    threadInstances?: boolean | undefined;
+}): boolean;
+/** A collector header to install: the object's trace and teardown. */
+export interface CycHeader {
+    trace: string;
+    free: string;
+}
+/**
+ * Lines that leave a zeroed object of `size` bytes (an integer constant
+ * expression) in `%o`, aborting on OOM, with the RC-audit allocation note
+ * on the out-of-line path. With `cyc`, the object carries a collector
+ * header (scr_cyc_alloc's contract). `stored` is the number of leading
+ * object bytes the caller stores unconditionally right after (at least the
+ * refcount word), which a recycled block need not clear. Labels use the
+ * `sa.` prefix; the lines end in an open block.
+ */
+export declare function emitObjectAlloc(host: AllocHost, size: string, cyc: CycHeader | null, stored?: number): string[];
+/**
+ * Lines that free the object `%o` after its members were released: the
+ * RC-audit free note, the weak-collection dispose hook, and the block —
+ * `scr_cyc_free` for collector-headered objects, `scr_rt_free` otherwise.
+ * Labels use the `sf.` prefix; the lines end in an open block.
+ */
+export declare function emitObjectFree(host: AllocHost, cyc: boolean): string[];

package/dist/backend/llvm/alloc.js

@@ -0,0 +1,205 @@
+/* Emitted object allocation and deallocation for records and class
+ * instances.
+ *
+ * Every constructor allocates a constant-size block. The runtime's
+ * small-object allocator (scr_alloc.c, contract in scr_runtime.h) serves it
+ * from a per-size-class free list or bump pointer, but through an
+ * out-of-line call the size class, the zeroing length, and the
+ * collector-header setup are recomputed for every object. Here the fast
+ * paths are inlined into the emitted `new`/release helpers instead, so they
+ * fold to a constant class, a constant-length clear of only the bytes the
+ * helper does not store itself, and a handful of loads and stores.
+ *
+ * Soundness does not depend on which runtime the program links against.
+ * The runtime defines `scr_sa` in every build; where its allocator is
+ * compiled out (AddressSanitizer, the RC audit) the state stays all-zero,
+ * so the inline paths find no free block, no bump room and an empty span,
+ * and always take the slow path: the same out-of-line calls as before
+ * (scr_rt_calloc / scr_cyc_alloc, scr_rt_free) plus the RC-audit object
+ * notes. The fast paths skip those notes, which are no-ops whenever the
+ * allocator is live (SCR_RC_AUDIT forces it off; scr_runtime.h #errors
+ * otherwise). Blocks outside the reservation (system fallbacks) go back
+ * through scr_rt_free.
+ *
+ * Inlining is limited to the targets where the allocator can be live and
+ * its state is a process global: 64-bit, not WASI, not Windows, and not
+ * thread-instanced libraries or worker programs (whose runtime state,
+ * including scr_cyc_live and scr_weak_dispose_hook, is thread-local and
+ * whose allocator is compiled out). Elsewhere the out-of-line calls
+ * remain. */
+const ALLOC_NOTE = `  call void @scr_obj_alloc_note()`;
+const FREE_NOTE = `  call void @scr_obj_free_note()`;
+/** Whether a target can use the inline allocation paths. */
+export function inlineAllocSupported(options) {
+    if (options.pointerBits === 32 || options.wasi === true || options.threadInstances === true) {
+        return false;
+    }
+    // An omitted triple means the host ABI. That stays sound even on a host
+    // whose runtime compiles the allocator out: scr_sa is defined there too
+    // and stays zero, so only the slow paths run.
+    const triple = (options.targetTriple ?? "").toLowerCase();
+    return !/windows|mingw|msvc|cygwin|wasm/.test(triple);
+}
+/* ScrSaState layout on 64-bit targets (asserted in scr_runtime.h). */
+const SA_TYPE = "{ i64, i64, i32, [32 x ptr], [32 x ptr], [32 x ptr] }";
+const SA_SPAN = 8;
+const SA_SHIFT = 16;
+const SA_FREE = 24;
+const SA_BUMP = 280;
+const SA_LIM = 536;
+const SA_STEP_SHIFT = 4; // 16-byte classes
+const SA_MAX = 512;
+/** sizeof(ScrCycHdr) on 64-bit targets; trace and free_fn are its first
+ * two words, and every other header word starts zero. */
+const CYC_HDR = 32;
+function declareState(host) {
+    host.declare(`@scr_sa = external global ${SA_TYPE}`);
+    host.declare(`declare i1 @llvm.expect.i1(i1, i1)`);
+}
+/**
+ * Lines that leave a zeroed object of `size` bytes (an integer constant
+ * expression) in `%o`, aborting on OOM, with the RC-audit allocation note
+ * on the out-of-line path. With `cyc`, the object carries a collector
+ * header (scr_cyc_alloc's contract). `stored` is the number of leading
+ * object bytes the caller stores unconditionally right after (at least the
+ * refcount word), which a recycled block need not clear. Labels use the
+ * `sa.` prefix; the lines end in an open block.
+ */
+export function emitObjectAlloc(host, size, cyc, stored = 8) {
+    const lines = allocLines(host, size, cyc, stored);
+    if (host.objectAudit === false)
+        return lines.filter((line) => line !== ALLOC_NOTE);
+    host.declare(`declare void @scr_obj_alloc_note()`);
+    return lines;
+}
+function allocLines(host, size, cyc, stored) {
+    const S = host.sizeType;
+    if (host.inlineAlloc !== true) {
+        if (cyc) {
+            host.declare(`declare ptr @scr_cyc_alloc(${S}, ptr, ptr)`);
+            return [
+                `  %o = call ptr @scr_cyc_alloc(${S} ${size}, ptr ${cyc.trace}, ptr ${cyc.free})`,
+                `  call void @scr_obj_alloc_note()`,
+            ];
+        }
+        host.declare(`declare ptr @scr_rt_calloc(${S})`);
+        host.needOom();
+        return [
+            `  %o = call ptr @scr_rt_calloc(${S} ${size})`,
+            `  %isnull = icmp eq ptr %o, null`,
+            `  br i1 %isnull, label %oom, label %ok`,
+            `oom:`,
+            `  call void @sc_oom()`,
+            `  unreachable`,
+            `ok:`,
+            `  call void @scr_obj_alloc_note()`,
+        ];
+    }
+    declareState(host);
+    // Bytes of the block that the fast path itself stores after the clear:
+    // the header's trace/free_fn words, or the object's leading words.
+    const keep = cyc ? 16 : stored;
+    const lines = [
+        `  %sa.n = add i64 ${size}, ${cyc ? CYC_HDR : 0}`,
+        `  %sa.small = icmp ule i64 %sa.n, ${SA_MAX}`,
+        `  br i1 %sa.small, label %sa.class, label %sa.slow`,
+        `sa.class:`,
+        `  %sa.nm1 = sub i64 %sa.n, 1`,
+        `  %sa.c = lshr i64 %sa.nm1, ${SA_STEP_SHIFT}`,
+        `  %sa.c8 = shl i64 %sa.c, 3`,
+        `  %sa.fo = add i64 %sa.c8, ${SA_FREE}`,
+        `  %sa.fp = getelementptr inbounds i8, ptr @scr_sa, i64 %sa.fo`,
+        `  %sa.b = load ptr, ptr %sa.fp`,
+        `  %sa.hit = icmp ne ptr %sa.b, null`,
+        `  %sa.hitx = call i1 @llvm.expect.i1(i1 %sa.hit, i1 true)`,
+        `  br i1 %sa.hitx, label %sa.pop, label %sa.bump`,
+        `sa.pop: ; recycled blocks are dirty`,
+        `  %sa.next = load ptr, ptr %sa.b`,
+        `  store ptr %sa.next, ptr %sa.fp`,
+        `  %sa.z = getelementptr inbounds i8, ptr %sa.b, i64 ${keep}`,
+        `  %sa.zn = sub i64 %sa.n, ${keep}`,
+        `  call void @llvm.memset.p0.i64(ptr align 8 %sa.z, i8 0, i64 %sa.zn, i1 false)`,
+        `  br label %sa.fast`,
+        `sa.bump: ; fresh reservation memory is already zero`,
+        `  %sa.c1 = add i64 %sa.c, 1`,
+        `  %sa.sz = shl i64 %sa.c1, ${SA_STEP_SHIFT}`,
+        `  %sa.bo = add i64 %sa.c8, ${SA_BUMP}`,
+        `  %sa.bp = getelementptr inbounds i8, ptr @scr_sa, i64 %sa.bo`,
+        `  %sa.lo = add i64 %sa.c8, ${SA_LIM}`,
+        `  %sa.lp = getelementptr inbounds i8, ptr @scr_sa, i64 %sa.lo`,
+        `  %sa.p = load ptr, ptr %sa.bp`,
+        `  %sa.l = load ptr, ptr %sa.lp`,
+        `  %sa.pi = ptrtoint ptr %sa.p to i64`,
+        `  %sa.li = ptrtoint ptr %sa.l to i64`,
+        `  %sa.room = sub i64 %sa.li, %sa.pi`,
+        `  %sa.fits = icmp uge i64 %sa.room, %sa.sz`,
+        `  %sa.fitsx = call i1 @llvm.expect.i1(i1 %sa.fits, i1 true)`,
+        `  br i1 %sa.fitsx, label %sa.carve, label %sa.slow`,
+        `sa.carve:`,
+        `  %sa.np = getelementptr inbounds i8, ptr %sa.p, i64 %sa.sz`,
+        `  store ptr %sa.np, ptr %sa.bp`,
+        `  br label %sa.fast`,
+    ];
+    host.declare(`declare void @llvm.memset.p0.i64(ptr, i8, i64, i1)`);
+    if (cyc) {
+        host.declare(`declare ptr @scr_cyc_alloc(${S}, ptr, ptr)`);
+        host.declare(`@scr_cyc_live = external global i64`);
+        lines.push(`sa.fast:`, `  %sa.blk = phi ptr [ %sa.b, %sa.pop ], [ %sa.p, %sa.carve ]`, `  store ptr ${cyc.trace}, ptr %sa.blk ; ScrCycHdr.trace`, `  %sa.ffp = getelementptr inbounds i8, ptr %sa.blk, i64 8`, `  store ptr ${cyc.free}, ptr %sa.ffp ; ScrCycHdr.free_fn`, `  %sa.live = load i64, ptr @scr_cyc_live`, `  %sa.live1 = add i64 %sa.live, 1`, `  store i64 %sa.live1, ptr @scr_cyc_live`, `  %sa.obj = getelementptr inbounds i8, ptr %sa.blk, i64 ${CYC_HDR}`, `  br label %sa.done`, `sa.slow:`, `  %sa.s = call ptr @scr_cyc_alloc(i64 ${size}, ptr ${cyc.trace}, ptr ${cyc.free})`, `  call void @scr_obj_alloc_note()`, `  br label %sa.done`, `sa.done:`, `  %o = phi ptr [ %sa.obj, %sa.fast ], [ %sa.s, %sa.slow ]`);
+    }
+    else {
+        host.declare(`declare ptr @scr_rt_calloc(${S})`);
+        host.needOom();
+        lines.push(`sa.fast:`, `  %sa.blk = phi ptr [ %sa.b, %sa.pop ], [ %sa.p, %sa.carve ]`, `  br label %sa.done`, `sa.slow:`, `  %sa.s = call ptr @scr_rt_calloc(i64 ${size})`, `  %sa.null = icmp eq ptr %sa.s, null`, `  br i1 %sa.null, label %oom, label %sa.noted`, `oom:`, `  call void @sc_oom()`, `  unreachable`, `sa.noted:`, `  call void @scr_obj_alloc_note()`, `  br label %sa.done`, `sa.done:`, `  %o = phi ptr [ %sa.blk, %sa.fast ], [ %sa.s, %sa.noted ]`);
+    }
+    return lines;
+}
+/**
+ * Lines that free the object `%o` after its members were released: the
+ * RC-audit free note, the weak-collection dispose hook, and the block —
+ * `scr_cyc_free` for collector-headered objects, `scr_rt_free` otherwise.
+ * Labels use the `sf.` prefix; the lines end in an open block.
+ */
+export function emitObjectFree(host, cyc) {
+    const lines = freeLines(host, cyc);
+    if (host.objectAudit === false)
+        return lines.filter((line) => line !== FREE_NOTE);
+    host.declare(`declare void @scr_obj_free_note()`);
+    return lines;
+}
+function freeLines(host, cyc) {
+    if (host.inlineAlloc !== true) {
+        if (cyc) {
+            host.declare(`declare void @scr_cyc_free(ptr)`);
+            return [`  call void @scr_obj_free_note()`, `  call void @scr_cyc_free(ptr %o)`];
+        }
+        host.declare(`declare void @scr_rt_free(ptr)`);
+        host.declare(`declare void @scr_weak_dispose(ptr)`);
+        return [
+            `  call void @scr_obj_free_note()`,
+            `  call void @scr_weak_dispose(ptr %o)`,
+            `  call void @scr_rt_free(ptr %o)`,
+        ];
+    }
+    declareState(host);
+    host.declare(`declare void @scr_rt_free(ptr)`);
+    host.declare(`@scr_weak_dispose_hook = external global ptr`);
+    const lines = [
+        `  %sf.hook = load ptr, ptr @scr_weak_dispose_hook`,
+        `  %sf.has = icmp ne ptr %sf.hook, null`,
+        `  %sf.hasx = call i1 @llvm.expect.i1(i1 %sf.has, i1 false)`,
+        `  br i1 %sf.hasx, label %sf.observe, label %sf.block`,
+        `sf.observe: ; weak collections observe the disposal`,
+        `  call void %sf.hook(ptr %o)`,
+        `  br label %sf.block`,
+        `sf.block:`,
+    ];
+    if (cyc) {
+        host.declare(`@scr_cyc_live = external global i64`);
+        host.declare(`@scr_cyc_old_freed = external global i64`);
+        lines.push(`  %sf.live = load i64, ptr @scr_cyc_live`, `  %sf.live1 = sub i64 %sf.live, 1`, `  store i64 %sf.live1, ptr @scr_cyc_live`, `  %sf.blk = getelementptr inbounds i8, ptr %o, i64 -${CYC_HDR}`, `  %sf.genp = getelementptr inbounds i8, ptr %sf.blk, i64 22`, `  %sf.gen = load i16, ptr %sf.genp`, `  %sf.old = icmp eq i16 %sf.gen, 2`, `  br i1 %sf.old, label %sf.oldcount, label %sf.accounted`, `sf.oldcount:`, `  %sf.freed = load i64, ptr @scr_cyc_old_freed`, `  %sf.freed1 = add i64 %sf.freed, 1`, `  store i64 %sf.freed1, ptr @scr_cyc_old_freed`, `  br label %sf.accounted`, `sf.accounted:`);
+    }
+    const blk = cyc ? "%sf.blk" : "%o";
+    lines.push(`  %sf.base = load i64, ptr @scr_sa`, `  %sf.spanp = getelementptr inbounds i8, ptr @scr_sa, i64 ${SA_SPAN}`, `  %sf.span = load i64, ptr %sf.spanp`, `  %sf.bi = ptrtoint ptr ${blk} to i64`, `  %sf.off = sub i64 %sf.bi, %sf.base`, `  %sf.in = icmp ult i64 %sf.off, %sf.span`, `  %sf.inx = call i1 @llvm.expect.i1(i1 %sf.in, i1 true)`, `  br i1 %sf.inx, label %sf.push, label %sf.sys`, `sf.push:`, `  %sf.shp = getelementptr inbounds i8, ptr @scr_sa, i64 ${SA_SHIFT}`, `  %sf.sh32 = load i32, ptr %sf.shp`, `  %sf.sh = zext i32 %sf.sh32 to i64`, `  %sf.c = lshr i64 %sf.off, %sf.sh`, `  %sf.c8 = shl i64 %sf.c, 3`, `  %sf.fo = add i64 %sf.c8, ${SA_FREE}`, `  %sf.fp = getelementptr inbounds i8, ptr @scr_sa, i64 %sf.fo`, `  %sf.head = load ptr, ptr %sf.fp`, `  store ptr %sf.head, ptr ${blk}`, `  store ptr ${blk}, ptr %sf.fp`, `  br label %sf.done`, `sf.sys: ; outside the reservation, or the allocator is compiled out`, `  call void @scr_obj_free_note()`, `  call void @scr_rt_free(ptr ${blk})`, `  br label %sf.done`, `sf.done:`);
+    return lines;
+}
+//# sourceMappingURL=alloc.js.map

package/dist/backend/llvm/alloc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"alloc.js","sourceRoot":"","sources":["../../../src/backend/llvm/alloc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;aA4Ba;AAcb,MAAM,UAAU,GAAG,mCAAmC,CAAC;AACvD,MAAM,SAAS,GAAG,kCAAkC,CAAC;AAErD,4DAA4D;AAC5D,MAAM,UAAU,oBAAoB,CAAC,OAKpC;IACC,IAAI,OAAO,CAAC,WAAW,KAAK,EAAE,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,wEAAwE;IACxE,wEAAwE;IACxE,8CAA8C;IAC9C,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1D,OAAO,CAAC,gCAAgC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACxD,CAAC;AAED,sEAAsE;AACtE,MAAM,OAAO,GAAG,uDAAuD,CAAC;AACxE,MAAM,OAAO,GAAG,CAAC,CAAC;AAClB,MAAM,QAAQ,GAAG,EAAE,CAAC;AACpB,MAAM,OAAO,GAAG,EAAE,CAAC;AACnB,MAAM,OAAO,GAAG,GAAG,CAAC;AACpB,MAAM,MAAM,GAAG,GAAG,CAAC;AACnB,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,kBAAkB;AAC3C,MAAM,MAAM,GAAG,GAAG,CAAC;AACnB;yDACyD;AACzD,MAAM,OAAO,GAAG,EAAE,CAAC;AAEnB,SAAS,YAAY,CAAC,IAAe;IACnC,IAAI,CAAC,OAAO,CAAC,6BAA6B,OAAO,EAAE,CAAC,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;AACrD,CAAC;AAQD;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAe,EACf,IAAY,EACZ,GAAqB,EACrB,MAAM,GAAG,CAAC;IAEV,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAClD,IAAI,IAAI,CAAC,WAAW,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IACnF,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IACnD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CACjB,IAAe,EACf,IAAY,EACZ,GAAqB,EACrB,MAAc;IAEd,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;IACxB,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,GAAG,EAAE,CAAC;YACR,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC,aAAa,CAAC,CAAC;YAC3D,OAAO;gBACL,kCAAkC,CAAC,IAAI,IAAI,SAAS,GAAG,CAAC,KAAK,SAAS,GAAG,CAAC,IAAI,GAAG;gBACjF,mCAAmC;aACpC,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO;YACL,kCAAkC,CAAC,IAAI,IAAI,GAAG;YAC9C,kCAAkC;YAClC,wCAAwC;YACxC,MAAM;YACN,uBAAuB;YACvB,eAAe;YACf,KAAK;YACL,mCAAmC;SACpC,CAAC;IACJ,CAAC;IACD,YAAY,CAAC,IAAI,CAAC,CAAC;IACnB,uEAAuE;IACvE,mEAAmE;IACnE,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/B,MAAM,KAAK,GAAG;QACZ,qBAAqB,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE;QACjD,qCAAqC,MAAM,EAAE;QAC7C,oDAAoD;QACpD,WAAW;QACX,8BAA8B;QAC9B,+BAA+B,aAAa,EAAE;QAC9C,6BAA6B;QAC7B,8BAA8B,OAAO,EAAE;QACvC,+DAA+D;QAC/D,gCAAgC;QAChC,qCAAqC;QACrC,2DAA2D;QAC3D,iDAAiD;QACjD,qCAAqC;QACrC,kCAAkC;QAClC,kCAAkC;QAClC,uDAAuD,IAAI,EAAE;QAC7D,6BAA6B,IAAI,EAAE;QACnC,gFAAgF;QAChF,qBAAqB;QACrB,qDAAqD;QACrD,6BAA6B;QAC7B,8BAA8B,aAAa,EAAE;QAC7C,8BAA8B,OAAO,EAAE;QACvC,+DAA+D;QAC/D,8BAA8B,MAAM,EAAE;QACtC,+DAA+D;QAC/D,gCAAgC;QAChC,gCAAgC;QAChC,sCAAsC;QACtC,sCAAsC;QACtC,qCAAqC;QACrC,4CAA4C;QAC5C,6DAA6D;QAC7D,oDAAoD;QACpD,WAAW;QACX,6DAA6D;QAC7D,gCAAgC;QAChC,qBAAqB;KACtB,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC;IACnE,IAAI,GAAG,EAAE,CAAC;QACR,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC,aAAa,CAAC,CAAC;QAC3D,IAAI,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;QACpD,KAAK,CAAC,IAAI,CACR,UAAU,EACV,8DAA8D,EAC9D,eAAe,GAAG,CAAC,KAAK,iCAAiC,EACzD,2DAA2D,EAC3D,eAAe,GAAG,CAAC,IAAI,mCAAmC,EAC1D,0CAA0C,EAC1C,mCAAmC,EACnC,0CAA0C,EAC1C,2DAA2D,OAAO,EAAE,EACpE,qBAAqB,EACrB,UAAU,EACV,yCAAyC,IAAI,SAAS,GAAG,CAAC,KAAK,SAAS,GAAG,CAAC,IAAI,GAAG,EACnF,mCAAmC,EACnC,qBAAqB,EACrB,UAAU,EACV,2DAA2D,CAC5D,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CACR,UAAU,EACV,8DAA8D,EAC9D,qBAAqB,EACrB,UAAU,EACV,yCAAyC,IAAI,GAAG,EAChD,sCAAsC,EACtC,+CAA+C,EAC/C,MAAM,EACN,uBAAuB,EACvB,eAAe,EACf,WAAW,EACX,mCAAmC,EACnC,qBAAqB,EACrB,UAAU,EACV,4DAA4D,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,IAAe,EAAE,GAAY;IAC1D,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnC,IAAI,IAAI,CAAC,WAAW,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAClF,IAAI,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;IAClD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,IAAe,EAAE,GAAY;IAC9C,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,GAAG,EAAE,CAAC;YACR,IAAI,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAC;YAChD,OAAO,CAAC,kCAAkC,EAAE,mCAAmC,CAAC,CAAC;QACnF,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;QAC/C,IAAI,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;QACpD,OAAO;YACL,kCAAkC;YAClC,uCAAuC;YACvC,kCAAkC;SACnC,CAAC;IACJ,CAAC;IACD,YAAY,CAAC,IAAI,CAAC,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;IAC/C,IAAI,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG;QACZ,mDAAmD;QACnD,wCAAwC;QACxC,4DAA4D;QAC5D,sDAAsD;QACtD,qDAAqD;QACrD,8BAA8B;QAC9B,sBAAsB;QACtB,WAAW;KACZ,CAAC;IACF,IAAI,GAAG,EAAE,CAAC;QACR,IAAI,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;QACpD,IAAI,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC;QACzD,KAAK,CAAC,IAAI,CACR,0CAA0C,EAC1C,mCAAmC,EACnC,0CAA0C,EAC1C,uDAAuD,OAAO,EAAE,EAChE,6DAA6D,EAC7D,oCAAoC,EACpC,oCAAoC,EACpC,0DAA0D,EAC1D,cAAc,EACd,gDAAgD,EAChD,qCAAqC,EACrC,gDAAgD,EAChD,0BAA0B,EAC1B,eAAe,CAChB,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACnC,KAAK,CAAC,IAAI,CACR,oCAAoC,EACpC,6DAA6D,OAAO,EAAE,EACtE,sCAAsC,EACtC,2BAA2B,GAAG,SAAS,EACvC,sCAAsC,EACtC,2CAA2C,EAC3C,yDAAyD,EACzD,gDAAgD,EAChD,UAAU,EACV,2DAA2D,QAAQ,EAAE,EACrE,oCAAoC,EACpC,qCAAqC,EACrC,oCAAoC,EACpC,6BAA6B,EAC7B,8BAA8B,OAAO,EAAE,EACvC,+DAA+D,EAC/D,mCAAmC,EACnC,6BAA6B,GAAG,EAAE,EAClC,eAAe,GAAG,cAAc,EAChC,qBAAqB,EACrB,qEAAqE,EACrE,kCAAkC,EAClC,gCAAgC,GAAG,GAAG,EACtC,qBAAqB,EACrB,UAAU,CACX,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/backend/llvm/alloc.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/backend/llvm/alloc.test.js

@@ -0,0 +1,102 @@
+import { describe, expect, test } from "vitest";
+import { emitObjectAlloc, emitObjectFree, inlineAllocSupported } from "./alloc.js";
+function host(inlineAlloc) {
+    const h = {
+        decls: new Set(),
+        oom: false,
+        sizeType: "i64",
+        inlineAlloc,
+        declare(decl) {
+            h.decls.add(decl);
+        },
+        needOom() {
+            h.oom = true;
+        },
+    };
+    return h;
+}
+/** Every SSA value and label is defined once (the lines are spliced into
+ * one function body). */
+function expectSingleDefinitions(lines) {
+    const defs = lines.flatMap((l) => {
+        const value = /^\s*(%[\w.]+) = /.exec(l);
+        const label = /^([\w.]+):/.exec(l);
+        return value ? [value[1]] : label ? [`%${label[1]}`] : [];
+    });
+    expect(new Set(defs).size).toBe(defs.length);
+}
+describe("emitted object allocation", () => {
+    test("inlines only where the runtime allocator state is a 64-bit process global", () => {
+        expect(inlineAllocSupported({ pointerBits: 64, targetTriple: "" })).toBe(true);
+        expect(inlineAllocSupported({ targetTriple: "x86_64-unknown-linux-gnu" })).toBe(true);
+        expect(inlineAllocSupported({ targetTriple: "arm64-apple-macosx14.0.0" })).toBe(true);
+        expect(inlineAllocSupported({ pointerBits: 32 })).toBe(false);
+        expect(inlineAllocSupported({ wasi: true })).toBe(false);
+        expect(inlineAllocSupported({ targetTriple: "wasm32-unknown-wasip1" })).toBe(false);
+        expect(inlineAllocSupported({ targetTriple: "x86_64-pc-windows-msvc" })).toBe(false);
+        expect(inlineAllocSupported({ targetTriple: "x86_64-w64-windows-gnu" })).toBe(false);
+        expect(inlineAllocSupported({ threadInstances: true })).toBe(false);
+    });
+    test("keeps the out-of-line calls when inlining is off", () => {
+        const h = host(false);
+        expect(emitObjectAlloc(h, "24", null)).toEqual([
+            "  %o = call ptr @scr_rt_calloc(i64 24)",
+            "  %isnull = icmp eq ptr %o, null",
+            "  br i1 %isnull, label %oom, label %ok",
+            "oom:",
+            "  call void @sc_oom()",
+            "  unreachable",
+            "ok:",
+            "  call void @scr_obj_alloc_note()",
+        ]);
+        expect(emitObjectAlloc(h, "24", { trace: "@t", free: "@f" })).toEqual([
+            "  %o = call ptr @scr_cyc_alloc(i64 24, ptr @t, ptr @f)",
+            "  call void @scr_obj_alloc_note()",
+        ]);
+        expect(emitObjectFree(h, true)).toEqual([
+            "  call void @scr_obj_free_note()",
+            "  call void @scr_cyc_free(ptr %o)",
+        ]);
+        expect(emitObjectFree(h, false)).toEqual([
+            "  call void @scr_obj_free_note()",
+            "  call void @scr_weak_dispose(ptr %o)",
+            "  call void @scr_rt_free(ptr %o)",
+        ]);
+        expect([...h.decls].some((d) => d.includes("@scr_sa"))).toBe(false);
+    });
+    test("inline allocation falls back to the audited out-of-line entry points", () => {
+        const h = host(true);
+        const plain = emitObjectAlloc(h, "40", null, 16);
+        expectSingleDefinitions(plain);
+        expect(h.oom).toBe(true);
+        // Recycled blocks clear everything past the bytes the caller stores.
+        expect(plain).toContain("  %sa.z = getelementptr inbounds i8, ptr %sa.b, i64 16");
+        // The slow path is the old sequence: allocate, OOM check, audit note.
+        const slow = plain.slice(plain.indexOf("sa.slow:"));
+        expect(slow).toContain("  %sa.s = call ptr @scr_rt_calloc(i64 40)");
+        expect(slow).toContain("  call void @scr_obj_alloc_note()");
+        expect(plain.filter((l) => l.includes("@scr_obj_alloc_note")).length).toBe(1);
+        expect(plain.at(-1)).toBe("  %o = phi ptr [ %sa.blk, %sa.fast ], [ %sa.s, %sa.noted ]");
+        const cyc = emitObjectAlloc(h, "40", { trace: "@t", free: "@f" });
+        expectSingleDefinitions(cyc);
+        expect(cyc).toContain("  %sa.n = add i64 40, 32");
+        expect(cyc).toContain("  %sa.s = call ptr @scr_cyc_alloc(i64 40, ptr @t, ptr @f)");
+        expect(cyc).toContain("  store i64 %sa.live1, ptr @scr_cyc_live");
+        expect(h.decls).toContain("@scr_sa = external global { i64, i64, i32, [32 x ptr], [32 x ptr], [32 x ptr] }");
+    });
+    test("inline frees route foreign blocks and the bypassed allocator to scr_rt_free", () => {
+        for (const cyc of [false, true]) {
+            const h = host(true);
+            const lines = emitObjectFree(h, cyc);
+            expectSingleDefinitions(lines);
+            const blk = cyc ? "%sf.blk" : "%o";
+            const sys = lines.slice(lines.indexOf(lines.find((l) => l.startsWith("sf.sys:"))));
+            expect(sys).toContain("  call void @scr_obj_free_note()");
+            expect(sys).toContain(`  call void @scr_rt_free(ptr ${blk})`);
+            expect(lines).toContain("  call void %sf.hook(ptr %o)");
+            expect(lines.some((l) => l.includes("@scr_cyc_live"))).toBe(cyc);
+            expect(lines.at(-1)).toBe("sf.done:");
+        }
+    });
+});
+//# sourceMappingURL=alloc.test.js.map

package/dist/backend/llvm/alloc.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"alloc.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/alloc.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAkB,eAAe,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEnG,SAAS,IAAI,CAAC,WAAoB;IAChC,MAAM,CAAC,GAAG;QACR,KAAK,EAAE,IAAI,GAAG,EAAU;QACxB,GAAG,EAAE,KAAK;QACV,QAAQ,EAAE,KAAc;QACxB,WAAW;QACX,OAAO,CAAC,IAAY;YAClB,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QACD,OAAO;YACL,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC;QACf,CAAC;KACF,CAAC;IACF,OAAO,CAAC,CAAC;AACX,CAAC;AAED;yBACyB;AACzB,SAAS,uBAAuB,CAAC,KAAe;IAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,oBAAoB,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/E,MAAM,CAAC,oBAAoB,CAAC,EAAE,YAAY,EAAE,0BAA0B,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtF,MAAM,CAAC,oBAAoB,CAAC,EAAE,YAAY,EAAE,0BAA0B,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtF,MAAM,CAAC,oBAAoB,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9D,MAAM,CAAC,oBAAoB,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,CAAC,oBAAoB,CAAC,EAAE,YAAY,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpF,MAAM,CAAC,oBAAoB,CAAC,EAAE,YAAY,EAAE,wBAAwB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrF,MAAM,CAAC,oBAAoB,CAAC,EAAE,YAAY,EAAE,wBAAwB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrF,MAAM,CAAC,oBAAoB,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YAC7C,wCAAwC;YACxC,kCAAkC;YAClC,wCAAwC;YACxC,MAAM;YACN,uBAAuB;YACvB,eAAe;YACf,KAAK;YACL,mCAAmC;SACpC,CAAC,CAAC;QACH,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YACpE,wDAAwD;YACxD,mCAAmC;SACpC,CAAC,CAAC;QACH,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACtC,kCAAkC;YAClC,mCAAmC;SACpC,CAAC,CAAC;QACH,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;YACvC,kCAAkC;YAClC,uCAAuC;YACvC,kCAAkC;SACnC,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACjD,uBAAuB,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,qEAAqE;QACrE,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,wDAAwD,CAAC,CAAC;QAClF,sEAAsE;QACtE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,2CAA2C,CAAC,CAAC;QACpE,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,mCAAmC,CAAC,CAAC;QAC5D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;QAExF,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,uBAAuB,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,2DAA2D,CAAC,CAAC;QACnF,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,0CAA0C,CAAC,CAAC;QAClE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,CACvB,iFAAiF,CAClF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACvF,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACrC,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;YACnC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAE,CAAC,CAAC,CAAC;YACpF,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC;YAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,gCAAgC,GAAG,GAAG,CAAC,CAAC;YAC9D,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,8BAA8B,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/byte-numbers.js

@@ -33,12 +33,20 @@ function endianBits(host, raw, width, little) {
  * DataView's ToIndex behavior, and exception cleanup through the host. All
  * operands have already been evaluated, exactly once and in source order. */
 export function emitByteNumber(host, e, spec, receiver, offset, value, little, fallback) {
+    if (host.mod.workers)
+        return fallback();
     const B = host.B, size = host.sizeType;
     const slow = B.newLabel("bytes.number.slow"), access = B.newLabel("bytes.number.access");
     const fastDone = B.newLabel("bytes.number.fast.done"), slowDone = B.newLabel("bytes.number.slow.done");
     const done = B.newLabel("bytes.number.done");
     const bits = spec.width * 8;
     const integer = exactInteger(host, offset, e.args[spec.offsetArg]);
+    const valueRange = spec.write && !spec.dataView && !spec.floating ? byteNumberRange(spec) : null;
+    const knownValue = valueRange ? host.integerRanges.get(e.args[spec.valueArg]) : null;
+    const checked = !(integer &&
+        host.bytesBounds.has(e) &&
+        (!valueRange ||
+            (knownValue && knownValue.min >= valueRange.min && knownValue.max <= valueRange.max)));
     let index, fits, room = "true";
     if (integer && host.bytesBounds.has(e)) {
         const wide = widenInteger(host, integer);
@@ -112,8 +120,11 @@ export function emitByteNumber(host, e, spec, receiver, offset, value, little, f
             }
         }
     }
-    let valid = B.tmp();
-    B.line(`${valid} = and i1 ${room}, ${fits}`);
+    let valid = "true";
+    if (checked) {
+        valid = B.tmp();
+        B.line(`${valid} = and i1 ${room}, ${fits}`);
+    }
     if (spec.write && !spec.dataView && !spec.floating) {
         const range = byteNumberRange(spec);
         const known = host.integerRanges.get(e.args[spec.valueArg]);
@@ -128,8 +139,10 @@ export function emitByteNumber(host, e, spec, receiver, offset, value, little, f
             valid = both;
         }
     }
-    B.condBr(valid, access, slow);
-    B.startBlock(access);
+    if (checked) {
+        B.condBr(valid, access, slow);
+        B.startBlock(access);
+    }
     const data = host.emitBytesData(receiver.name), pointer = B.tmp();
     B.line(`${pointer} = getelementptr inbounds i8, ptr ${data}, ${size} ${index}`);
     let fastResult = "", fastInteger = "";
@@ -204,6 +217,21 @@ export function emitByteNumber(host, e, spec, receiver, offset, value, little, f
             }
         }
     }
+    if (!checked) {
+        if (e.type.kind === "void")
+            return { name: "", type: e.type };
+        if (!readRange)
+            return { name: fastResult, type: e.type };
+        const uint32 = integerType === "i32" ? fastInteger : B.tmp();
+        if (integerType !== "i32")
+            B.line(`${uint32} = trunc i64 ${fastInteger} to i32`);
+        return {
+            name: fastResult,
+            type: e.type,
+            uint32,
+            integer: { name: fastInteger, type: integerType, signed: spec.signed, range: readRange },
+        };
+    }
     B.br(fastDone);
     B.startBlock(fastDone);
     B.br(done);