batch: land #8784, #8788, #8785, #8786 (#8803)

* fix(ffi): reject extension failures with Error objects

* perf(codegen): version packed loops over closure captures

* perf(codegen): specialize imported object literal methods

* docs(changelog): note imported object method specialization

* fix(codegen): address imported method review feedback

* perf(codegen): specialize short packed spread calls

* fix: address short packed spread review feedback

* fix(hir): compose imported methods with static literals

* fix(runtime): root native async error messages

* chore: batch-landing fixes (fmt, payload baseline, module_decl 2000-line split)

* fix(runtime): scope the native-async error message pointer (#7341)

---------

Co-authored-by: Ralph Küpper <ralph@skelpo.com>

Author: proggeramlug

Cargo.lock

@@ -2134,3 +2134,62 @@ name = "imported_registry_generic_fallback_retained"
 consumer = "proven_this_method_direct_call"
 notes_contains = "generic_dispatch_fallback=js_native_call_method_by_id"
 min = 2
+
+[workloads.issue_8775_imported_object]
+source = "test-files/fixtures/issue_8775_imported_object/main.js"
+kind = "imported_object_literal_method_specialization"
+allow_hot_loop_conversions = true
+allow_dynamic_property_runtime = true
+
+[workloads.issue_8775_imported_object.vectorization]
+min_vectorized_loops = 0
+scalar_baseline = "allowed: this fixture gates cross-module own-method dispatch"
+allowed_missed_reason_kinds = [
+  "call_instruction",
+  "control_flow",
+  "generic_not_vectorized",
+  "not_beneficial",
+  "uncountable_loop",
+  "unknown_trip_count",
+  "unsupported_instruction",
+  "unsupported_reduction",
+]
+
+[workloads.issue_8775_imported_object.runtime_budgets]
+
+[[workloads.issue_8775_imported_object.stdout_checks]]
+name = "imported_object_checksum"
+equals = "{\"checksum\":400000,\"remaining\":0}\n"
+detail = "stable imported object methods preserve the Node checksum"
+
+[[workloads.issue_8775_imported_object.ir_checks]]
+name = "direct_producer_closure_calls"
+section = "llvm_before"
+contains_all = [
+  "call double @perry_closure_adapter_js__6",
+  "call double @perry_closure_adapter_js__7",
+  "call double @perry_closure_adapter_js__8",
+  "call double @perry_closure_adapter_js__9",
+]
+detail = "stable arms directly call producer closure bodies"
+
+[[workloads.issue_8775_imported_object.ir_checks]]
+name = "generic_method_fallback_retained"
+section = "llvm_before"
+contains = "call double @js_native_call_method_by_id"
+detail = "guard failures retain the universal method dispatcher"
+
+[workloads.issue_8775_imported_object.native_rep_checks]
+allow_materialization_reasons = ["runtime_api"]
+
+[[workloads.issue_8775_imported_object.native_rep_checks.require_records]]
+name = "imported_object_direct_selection"
+consumer = "imported_object_literal_method_direct_call"
+notes_contains = "receiver_provenance=imported_object_literal_metadata"
+min = 5
+
+[[workloads.issue_8775_imported_object.native_rep_checks.require_records]]
+name = "imported_object_generic_fallback_retained"
+consumer = "imported_object_literal_method_direct_call"
+notes_contains = "generic_dispatch_fallback=js_native_call_method_by_id"
+min = 5

benchmarks/compiler_output/workloads.toml

@@ -0,0 +1 @@
+Reject native-extension failures with real JavaScript `Error` objects, including `.message`/`.stack`, and preserve mysql2-compatible `.code`/`.errno` metadata for common MySQL server errors.

changelog.d/8750-ext-error-objects.md

@@ -0,0 +1 @@
+Stable imported object-literal methods now use guarded direct calls to their defining closure bodies. The fast path validates the exported receiver identity, exact own-property shape, and live function identity, while replacements, deletions, accessors, proxies, receiver changes, and other dynamic cases retain the universal method-dispatch fallback.

changelog.d/8785-imported-object-method-specialization.md

@@ -0,0 +1 @@
+Optimize immutable closure-captured packed Array and Array-subclass loops, including nested arrays derived from guarded indexed reads, while retaining generic side exits for rebinding, layout changes, and moving GC.

changelog.d/8786-closure-captured-packed-loops.md

@@ -0,0 +1,3 @@
+## perf(codegen): direct-call stable methods with short packed spread tails
+
+`receiver.method(fixed, ...args)` now emits guarded direct-call arms when the final spread is an exact ordinary packed Array with zero through four present elements. The guard rejects holes, iterator/prototype overrides, proxies, Array subclasses, descriptors, and oversized tails; method class/shape/invalidation guards select the concrete body, and every miss retains the full iterator-aware apply dispatcher. This removes argument-array materialization and dynamic method lookup from the common empty/one-element ECS dispatch path while preserving source-order evaluation and moving-GC roots.

changelog.d/8788-short-packed-spread.md

@@ -1116,7 +1116,9 @@ pub(super) fn compile_closure(
         local_class_field_aliases: HashMap::new(),
         local_id_to_name: HashMap::new(),
         local_value_aliases: HashMap::new(),
+        local_imported_object_aliases: HashMap::new(),
         imported_vars: &cross_module.imported_vars,
+        imported_object_literals: &cross_module.imported_object_literals,
         compile_time_constants: native_facts.compile_time_constants(),
         target_triple: &cross_module.target_triple,
         app_metadata: &cross_module.app_metadata,

crates/perry-codegen/src/codegen/closure.rs

@@ -914,7 +914,9 @@ pub(super) fn compile_module_entry(
             local_class_field_aliases: HashMap::new(),
             local_id_to_name: HashMap::new(),
             local_value_aliases: HashMap::new(),
+            local_imported_object_aliases: HashMap::new(),
             imported_vars: &cross_module.imported_vars,
+            imported_object_literals: &cross_module.imported_object_literals,
             compile_time_constants: main_native_facts.compile_time_constants(),
             target_triple: &cross_module.target_triple,
             app_metadata: &cross_module.app_metadata,
@@ -1619,7 +1621,9 @@ pub(super) fn compile_module_entry(
             local_class_field_aliases: HashMap::new(),
             local_id_to_name: HashMap::new(),
             local_value_aliases: HashMap::new(),
+            local_imported_object_aliases: HashMap::new(),
             imported_vars: &cross_module.imported_vars,
+            imported_object_literals: &cross_module.imported_object_literals,
             compile_time_constants: init_native_facts.compile_time_constants(),
             target_triple: &cross_module.target_triple,
             app_metadata: &cross_module.app_metadata,

crates/perry-codegen/src/codegen/entry.rs

@@ -1166,7 +1166,9 @@ pub(super) fn compile_function(
         local_class_field_aliases: HashMap::new(),
         local_id_to_name: HashMap::new(),
         local_value_aliases: HashMap::new(),
+        local_imported_object_aliases: HashMap::new(),
         imported_vars: &cross_module.imported_vars,
+        imported_object_literals: &cross_module.imported_object_literals,
         compile_time_constants: native_facts.compile_time_constants(),
         target_triple: &cross_module.target_triple,
         app_metadata: &cross_module.app_metadata,

crates/perry-codegen/src/codegen/function.rs

@@ -498,7 +498,9 @@ pub(super) fn compile_method(
         local_class_field_aliases: HashMap::new(),
         local_id_to_name: HashMap::new(),
         local_value_aliases: HashMap::new(),
+        local_imported_object_aliases: HashMap::new(),
         imported_vars: &cross_module.imported_vars,
+        imported_object_literals: &cross_module.imported_object_literals,
         compile_time_constants: native_facts.compile_time_constants(),
         target_triple: &cross_module.target_triple,
         app_metadata: &cross_module.app_metadata,
@@ -1770,7 +1772,9 @@ pub(super) fn compile_static_method(
         local_class_field_aliases: HashMap::new(),
         local_id_to_name: HashMap::new(),
         local_value_aliases: HashMap::new(),
+        local_imported_object_aliases: HashMap::new(),
         imported_vars: &cross_module.imported_vars,
+        imported_object_literals: &cross_module.imported_object_literals,
         compile_time_constants: native_facts.compile_time_constants(),
         target_triple: &cross_module.target_triple,
         app_metadata: &cross_module.app_metadata,