Upgrade WebKit to 87fd0daba19a (module-loader rewrite)

scripts/build/deps/webkit.ts

@@ -3,7 +3,7 @@
  * for local mode. Override via `--webkit-version=<hash>` to test a branch.
  * From https://github.com/oven-sh/WebKit releases.
  */
-export const WEBKIT_VERSION = "4d5e75ebd84a14edbc7ae264245dcd77fe597c10";
+export const WEBKIT_VERSION = "autobuild-f5f6c3f654bd19baf14a849160c704b12d198f87";
 
 /**
  * WebKit (JavaScriptCore) — the JS engine.

scripts/verify-baseline-static/allowlist-x64-windows.txt

@@ -78,9 +78,12 @@ simdutf::haswell::implementation::utf16_length_from_utf8
 simdutf::haswell::implementation::utf32_length_from_utf16be                              [AVX, AVX2]
 simdutf::haswell::implementation::utf32_length_from_utf16le                              [AVX, AVX2]
 simdutf::haswell::implementation::utf32_length_from_utf8                                 [AVX, AVX2]
+simdutf::haswell::implementation::binary_length_from_base64                              [AVX, AVX2]
 simdutf::haswell::implementation::utf8_length_from_latin1                                [AVX, AVX2]
 simdutf::haswell::implementation::utf8_length_from_utf16be                               [AVX, AVX2]
+simdutf::haswell::implementation::utf8_length_from_utf16be_with_replacement              [AVX, AVX2]
 simdutf::haswell::implementation::utf8_length_from_utf16le                               [AVX, AVX2]
+simdutf::haswell::implementation::utf8_length_from_utf16le_with_replacement              [AVX, AVX2]
 simdutf::haswell::implementation::utf8_length_from_utf32                                 [AVX, AVX2]
 simdutf::haswell::implementation::validate_ascii                                         [AVX, AVX2]
 simdutf::haswell::implementation::validate_ascii_with_errors                             [AVX, AVX2]
@@ -165,9 +168,12 @@ simdutf::icelake::implementation::utf16_length_from_utf8
 simdutf::icelake::implementation::utf32_length_from_utf16be                              [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL]
 simdutf::icelake::implementation::utf32_length_from_utf16le                              [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL]
 simdutf::icelake::implementation::utf32_length_from_utf8                                 [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL, AVX512_VPOPCNTDQ]
+simdutf::icelake::implementation::binary_length_from_base64                              [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL]
 simdutf::icelake::implementation::utf8_length_from_latin1                                [AVX, AVX2, AVX512BW, AVX512F, AVX512VL]
-simdutf::icelake::implementation::utf8_length_from_utf16be                               [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL]
-simdutf::icelake::implementation::utf8_length_from_utf16le                               [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL]
+simdutf::icelake::implementation::utf8_length_from_utf16be                               [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL, BMI2]
+simdutf::icelake::implementation::utf8_length_from_utf16be_with_replacement              [AVX, AVX512BW, AVX512F, BMI2]
+simdutf::icelake::implementation::utf8_length_from_utf16le                               [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL, BMI2]
+simdutf::icelake::implementation::utf8_length_from_utf16le_with_replacement              [AVX, AVX512BW, AVX512F, BMI2]
 simdutf::icelake::implementation::utf8_length_from_utf32                                 [AVX, AVX2, AVX512DQ, AVX512F, AVX512VL]
 simdutf::icelake::implementation::validate_ascii                                         [AVX, AVX512BW, AVX512F, BMI2]
 simdutf::icelake::implementation::validate_ascii_with_errors                             [AVX, AVX512BW, BMI2]
@@ -385,6 +391,43 @@ ipint_simd_v128_or_validate                        [AVX]
 ipint_simd_v128_xor_validate                       [AVX]
 
 
+# ----------------------------------------------------------------------------
+# JSC IPInt relaxed Wasm SIMD (Windows offlineasm). Upstream 85da494b1c29
+# implements the relaxed-SIMD proposal in IPInt; gated behind
+# Options::useWasmSIMD() && Options::useWasmRelaxedSIMD().
+# (20 symbols)
+# ----------------------------------------------------------------------------
+ipint_simd_f32x4_relaxed_madd_validate                     [AVX]
+ipint_simd_f32x4_relaxed_max_validate                      [AVX]
+ipint_simd_f32x4_relaxed_min_validate                      [AVX]
+ipint_simd_f32x4_relaxed_nmadd_validate                    [AVX]
+ipint_simd_f64x2_relaxed_madd_validate                     [AVX]
+ipint_simd_f64x2_relaxed_max_validate                      [AVX]
+ipint_simd_f64x2_relaxed_min_validate                      [AVX]
+ipint_simd_f64x2_relaxed_nmadd_validate                    [AVX]
+ipint_simd_i16x8_relaxed_dot_i8x16_i7x16_s_validate        [AVX]
+ipint_simd_i16x8_relaxed_laneselect_validate               [AVX]
+ipint_simd_i16x8_relaxed_q15mulr_s_validate                [AVX]
+ipint_simd_i32x4_relaxed_dot_i8x16_i7x16_add_s_validate    [AVX]
+ipint_simd_i32x4_relaxed_laneselect_validate               [AVX]
+ipint_simd_i32x4_relaxed_trunc_f32x4_s_validate            [AVX]
+ipint_simd_i32x4_relaxed_trunc_f32x4_u_validate            [AVX]
+ipint_simd_i32x4_relaxed_trunc_f64x2_s_zero_validate       [AVX]
+ipint_simd_i32x4_relaxed_trunc_f64x2_u_zero_validate       [AVX]
+ipint_simd_i64x2_relaxed_laneselect_validate               [AVX]
+ipint_simd_i8x16_relaxed_laneselect_validate               [AVX]
+ipint_simd_i8x16_relaxed_swizzle_validate                  [AVX]
+
+
+# ----------------------------------------------------------------------------
+# JSC IPInt atomics (Windows offlineasm). The cmpxchg loop reloads the SIMD
+# accumulator with vmovdqu after the IPInt metadata removal in upstream
+# ef40cabc28d2; gated behind Options::useWasmSIMD().
+# (1 symbols)
+# ----------------------------------------------------------------------------
+ipint_i64_atomic_rmw32_cmpxchg_u_atomic_validate   [AVX]
+
+
 # ----------------------------------------------------------------------------
 # JSC MacroAssembler probe.
 # (1 symbols)

scripts/verify-baseline-static/allowlist-x64.txt

@@ -12,7 +12,7 @@
 
 # ----------------------------------------------------------------------------
 # simdutf AVX2 (Haswell). Gate: set_best() dispatcher — CPUID at first call, cached in atomic ptr.
-# (89 symbols)
+# (91 symbols)
 # ----------------------------------------------------------------------------
 _ZN7simdutf7haswell12_GLOBAL__N_128convert_masked_utf8_to_utf16ILNS_10endiannessE0EEEmPKcmRPDs                                                                   [AVX, AVX2]
 _ZN7simdutf7haswell12_GLOBAL__N_128convert_masked_utf8_to_utf16ILNS_10endiannessE1EEEmPKcmRPDs                                                                   [AVX, AVX2]
@@ -66,6 +66,10 @@ _ZNK7simdutf7haswell14implementation24convert_utf32_to_utf16beEPKDimPDs
 _ZNK7simdutf7haswell14implementation24convert_utf32_to_utf16leEPKDimPDs                                                                                          [AVX, AVX2]
 _ZNK7simdutf7haswell14implementation24utf8_length_from_utf16beEPKDsm                                                                                             [AVX, AVX2]
 _ZNK7simdutf7haswell14implementation24utf8_length_from_utf16leEPKDsm                                                                                             [AVX, AVX2]
+_ZNK7simdutf7haswell14implementation41utf8_length_from_utf16be_with_replacementEPKDsm                                                                            [AVX, AVX2]
+_ZNK7simdutf7haswell14implementation41utf8_length_from_utf16le_with_replacementEPKDsm                                                                            [AVX, AVX2]
+_ZNK7simdutf7haswell14implementation25binary_length_from_base64EPKDsm                                                                                            [AVX, AVX2]
+_ZNK7simdutf7haswell14implementation25binary_length_from_base64EPKcm                                                                                             [AVX, AVX2]
 _ZNK7simdutf7haswell14implementation25convert_latin1_to_utf16beEPKcmPDs                                                                                          [AVX, AVX2]
 _ZNK7simdutf7haswell14implementation25convert_latin1_to_utf16leEPKcmPDs                                                                                          [AVX, AVX2]
 _ZNK7simdutf7haswell14implementation25convert_utf16be_to_latin1EPKDsmPc                                                                                          [AVX, AVX2]
@@ -159,8 +163,12 @@ _ZNK7simdutf7icelake14implementation24convert_utf16be_to_utf32EPKDsmPDi
 _ZNK7simdutf7icelake14implementation24convert_utf16le_to_utf32EPKDsmPDi                                                                                   [AVX, AVX512BW, AVX512F, BMI2]
 _ZNK7simdutf7icelake14implementation24convert_utf32_to_utf16beEPKDimPDs                                                                                   [AVX, AVX2, AVX512BW, AVX512F, AVX512VL, AVX512_VBMI2, BMI2]
 _ZNK7simdutf7icelake14implementation24convert_utf32_to_utf16leEPKDimPDs                                                                                   [AVX, AVX512BW, AVX512F, AVX512_VBMI2, BMI2]
-_ZNK7simdutf7icelake14implementation24utf8_length_from_utf16beEPKDsm                                                                                      [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL]
-_ZNK7simdutf7icelake14implementation24utf8_length_from_utf16leEPKDsm                                                                                      [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL]
+_ZNK7simdutf7icelake14implementation24utf8_length_from_utf16beEPKDsm                                                                                      [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL, BMI2]
+_ZNK7simdutf7icelake14implementation24utf8_length_from_utf16leEPKDsm                                                                                      [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL, BMI2]
+_ZNK7simdutf7icelake14implementation25binary_length_from_base64EPKDsm                                                                                     [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL]
+_ZNK7simdutf7icelake14implementation25binary_length_from_base64EPKcm                                                                                      [AVX, AVX2, AVX512BW, AVX512DQ, AVX512F, AVX512VL]
+_ZNK7simdutf7icelake14implementation41utf8_length_from_utf16be_with_replacementEPKDsm                                                                     [AVX, AVX512BW, AVX512F, BMI2]
+_ZNK7simdutf7icelake14implementation41utf8_length_from_utf16le_with_replacementEPKDsm                                                                     [AVX, AVX512BW, AVX512F, BMI2]
 _ZNK7simdutf7icelake14implementation25convert_latin1_to_utf16beEPKcmPDs                                                                                   [AVX, AVX512BW, AVX512F, AVX512VL, BMI2]
 _ZNK7simdutf7icelake14implementation25convert_latin1_to_utf16leEPKcmPDs                                                                                   [AVX, AVX512BW, AVX512F, AVX512VL, BMI2]
 _ZNK7simdutf7icelake14implementation25convert_utf16be_to_latin1EPKDsmPc                                                                                   [AVX, AVX512BW, AVX512F, AVX512_VBMI, BMI2]
@@ -405,6 +413,43 @@ ipint_simd_v128_or                        [AVX]
 ipint_simd_v128_xor                       [AVX]
 
 
+# ----------------------------------------------------------------------------
+# JSC IPInt relaxed Wasm SIMD. Upstream 85da494b1c29 implements the
+# relaxed-SIMD proposal in IPInt; gated behind Options::useWasmSIMD() &&
+# Options::useWasmRelaxedSIMD().
+# (20 symbols)
+# ----------------------------------------------------------------------------
+ipint_simd_f32x4_relaxed_madd                     [AVX]
+ipint_simd_f32x4_relaxed_max                      [AVX]
+ipint_simd_f32x4_relaxed_min                      [AVX]
+ipint_simd_f32x4_relaxed_nmadd                    [AVX]
+ipint_simd_f64x2_relaxed_madd                     [AVX]
+ipint_simd_f64x2_relaxed_max                      [AVX]
+ipint_simd_f64x2_relaxed_min                      [AVX]
+ipint_simd_f64x2_relaxed_nmadd                    [AVX]
+ipint_simd_i16x8_relaxed_dot_i8x16_i7x16_s        [AVX]
+ipint_simd_i16x8_relaxed_laneselect               [AVX]
+ipint_simd_i16x8_relaxed_q15mulr_s                [AVX]
+ipint_simd_i32x4_relaxed_dot_i8x16_i7x16_add_s    [AVX]
+ipint_simd_i32x4_relaxed_laneselect               [AVX]
+ipint_simd_i32x4_relaxed_trunc_f32x4_s            [AVX]
+ipint_simd_i32x4_relaxed_trunc_f32x4_u            [AVX]
+ipint_simd_i32x4_relaxed_trunc_f64x2_s_zero       [AVX]
+ipint_simd_i32x4_relaxed_trunc_f64x2_u_zero       [AVX]
+ipint_simd_i64x2_relaxed_laneselect               [AVX]
+ipint_simd_i8x16_relaxed_laneselect               [AVX]
+ipint_simd_i8x16_relaxed_swizzle                  [AVX]
+
+
+# ----------------------------------------------------------------------------
+# JSC IPInt atomics. cmpxchg loop reloads the SIMD accumulator with vmovdqu
+# after the IPInt metadata removal in upstream ef40cabc28d2; gated behind
+# Options::useWasmSIMD().
+# (1 symbols)
+# ----------------------------------------------------------------------------
+ipint_i64_atomic_rmw32_cmpxchg_u          [AVX]
+
+
 # ----------------------------------------------------------------------------
 # JSC MacroAssembler probe trampoline.
 # (1 symbols)

src/analyze_transpiled_module.zig

@@ -37,7 +37,8 @@ pub const RecordKind = enum(u8) {
 pub const Flags = packed struct(u8) {
     contains_import_meta: bool = false,
     is_typescript: bool = false,
-    _padding: u6 = 0,
+    has_tla: bool = false,
+    _padding: u5 = 0,
 };
 
 pub const ModuleInfoDeserialized = struct {
@@ -422,7 +423,7 @@ export fn zig__ModuleInfoDeserialized__toJSModuleRecord(
         }
     }
 
-    const module_record = JSModuleRecord.create(globalObject, vm, module_key, source_code, declared_variables, lexical_variables, res.flags.contains_import_meta, res.flags.is_typescript);
+    const module_record = JSModuleRecord.create(globalObject, vm, module_key, source_code, declared_variables, lexical_variables, res.flags.contains_import_meta, res.flags.is_typescript, res.flags.has_tla);
 
     for (res.requested_modules_keys, res.requested_modules_values) |reqk, reqv| {
         switch (reqv) {
@@ -483,7 +484,7 @@ const IdentifierArray = opaque {
 };
 const SourceCode = opaque {};
 const JSModuleRecord = opaque {
-    extern fn JSC_JSModuleRecord__create(global_object: *bun.jsc.JSGlobalObject, vm: *bun.jsc.VM, module_key: *const IdentifierArray, source_code: *const SourceCode, declared_variables: *VariableEnvironment, lexical_variables: *VariableEnvironment, has_import_meta: bool, is_typescript: bool) *JSModuleRecord;
+    extern fn JSC_JSModuleRecord__create(global_object: *bun.jsc.JSGlobalObject, vm: *bun.jsc.VM, module_key: *const IdentifierArray, source_code: *const SourceCode, declared_variables: *VariableEnvironment, lexical_variables: *VariableEnvironment, has_import_meta: bool, is_typescript: bool, has_tla: bool) *JSModuleRecord;
     pub const create = JSC_JSModuleRecord__create;
 
     extern fn JSC_JSModuleRecord__declaredVariables(module_record: *JSModuleRecord) *VariableEnvironment;

src/ast/Macro.zig

@@ -200,7 +200,7 @@ pub fn init(
 
     switch (loaded_result.unwrap(vm.jsc_vm, .leave_unhandled)) {
         .rejected => |result| {
-            vm.unhandledRejection(vm.global, result, loaded_result.asValue());
+            vm.unhandledRejection(vm.global, result, loaded_result.toJS());
             vm.disableMacroMode();
             return error.MacroLoadError;
         },