chore: update Binaryen

Some new features are being added, although only relaxed SIMD is in a
usable state. stringref has been almost obliterated, and only
functionality compatible with JS string builtins is being kept.

Binaryen also seems to be generating more nops and blocks than usual.
Also, due to WebAssembly/binaryen#7135, dead arguments aren't being
eliminated when a function reference is made (ref.func), which affects
the optimized output of call-optional, function-call, and other tests.

Author: CountBleck

package-lock.json

@@ -25,7 +25,7 @@
   },
   "engineStrict": true,
   "dependencies": {
-    "binaryen": "116.0.0-nightly.20240114",
+    "binaryen": "123.0.0-nightly.20250530",
     "long": "^5.2.4"
   },
   "devDependencies": {

package.json

@@ -1654,8 +1654,7 @@ function builtin_max(ctx: BuiltinFunctionContext): ExpressionRef {
         module.binary(op,
           module.local_get(temp1.index, typeRef),
           module.local_get(temp2.index, typeRef)
-        ),
-        typeRef
+        )
       );
       return ret;
     }
@@ -1723,8 +1722,7 @@ function builtin_min(ctx: BuiltinFunctionContext): ExpressionRef {
         module.binary(op,
           module.local_get(temp1.index, typeRef),
           module.local_get(temp2.index, typeRef)
-        ),
-        typeRef
+        )
       );
       return ret;
     }
@@ -3133,7 +3131,7 @@ function builtin_select(ctx: BuiltinFunctionContext): ExpressionRef {
     operands[2]
   );
   compiler.currentType = type;
-  return module.select(arg0, arg1, arg2, type.toRef());
+  return module.select(arg0, arg1, arg2);
 }
 builtinFunctions.set(BuiltinNames.select, builtin_select);
 

src/builtins.ts

@@ -4975,8 +4975,7 @@ export class Compiler extends DiagnosticEmitter {
         return module.select(
           module.i32(1),
           module.binary(BinaryOp.EqI32, rightExpr, module.i32(0)),
-          leftExpr,
-          TypeRef.I32
+          leftExpr
         );
       }
       case TypeKind.I8:

src/compiler.ts

@@ -21,9 +21,6 @@ export const {
   _BinaryenTypeStructref,
   _BinaryenTypeArrayref,
   _BinaryenTypeStringref,
-  _BinaryenTypeStringviewWTF8,
-  _BinaryenTypeStringviewWTF16,
-  _BinaryenTypeStringviewIter,
   _BinaryenTypeNullref,
   _BinaryenTypeNullExternref,
   _BinaryenTypeNullFuncref,
@@ -37,9 +34,6 @@ export const {
   _BinaryenHeapTypeArray,
   // _BinaryenHeapTypeExn,
   _BinaryenHeapTypeString,
-  _BinaryenHeapTypeStringviewWTF8,
-  _BinaryenHeapTypeStringviewWTF16,
-  _BinaryenHeapTypeStringviewIter,
   _BinaryenHeapTypeNone,
   _BinaryenHeapTypeNoext,
   _BinaryenHeapTypeNofunc,
@@ -585,6 +579,22 @@ export const {
   _BinaryenArrayNewFixedInsertValueAt,
   _BinaryenArrayNewFixedRemoveValueAt,
 
+  _BinaryenArrayNewData,
+  _BinaryenArrayNewDataGetSegment,
+  _BinaryenArrayNewDataSetSegment,
+  _BinaryenArrayNewDataGetOffset,
+  _BinaryenArrayNewDataSetOffset,
+  _BinaryenArrayNewDataGetSize,
+  _BinaryenArrayNewDataSetSize,
+
+  _BinaryenArrayNewElem,
+  _BinaryenArrayNewElemGetSegment,
+  _BinaryenArrayNewElemSetSegment,
+  _BinaryenArrayNewElemGetOffset,
+  _BinaryenArrayNewElemSetOffset,
+  _BinaryenArrayNewElemGetSize,
+  _BinaryenArrayNewElemSetSize,
+
   _BinaryenArrayGet,
   _BinaryenArrayGetGetRef,
   _BinaryenArrayGetSetRef,
@@ -605,6 +615,16 @@ export const {
   _BinaryenArrayLenGetRef,
   _BinaryenArrayLenSetRef,
 
+  _BinaryenArrayFill,
+  _BinaryenArrayFillGetRef,
+  _BinaryenArrayFillSetRef,
+  _BinaryenArrayFillGetIndex,
+  _BinaryenArrayFillSetIndex,
+  _BinaryenArrayFillGetValue,
+  _BinaryenArrayFillSetValue,
+  _BinaryenArrayFillGetSize,
+  _BinaryenArrayFillSetSize,
+
   _BinaryenArrayCopy,
   _BinaryenArrayCopyGetDestRef,
   _BinaryenArrayCopySetDestRef,
@@ -617,19 +637,39 @@ export const {
   _BinaryenArrayCopyGetLength,
   _BinaryenArrayCopySetLength,
 
+  _BinaryenArrayInitData,
+  _BinaryenArrayInitDataGetSegment,
+  _BinaryenArrayInitDataSetSegment,
+  _BinaryenArrayInitDataGetRef,
+  _BinaryenArrayInitDataSetRef,
+  _BinaryenArrayInitDataGetIndex,
+  _BinaryenArrayInitDataSetIndex,
+  _BinaryenArrayInitDataGetOffset,
+  _BinaryenArrayInitDataSetOffset,
+  _BinaryenArrayInitDataGetSize,
+  _BinaryenArrayInitDataSetSize,
+
+  _BinaryenArrayInitElem,
+  _BinaryenArrayInitElemGetSegment,
+  _BinaryenArrayInitElemSetSegment,
+  _BinaryenArrayInitElemGetRef,
+  _BinaryenArrayInitElemSetRef,
+  _BinaryenArrayInitElemGetIndex,
+  _BinaryenArrayInitElemSetIndex,
+  _BinaryenArrayInitElemGetOffset,
+  _BinaryenArrayInitElemSetOffset,
+  _BinaryenArrayInitElemGetSize,
+  _BinaryenArrayInitElemSetSize,
+
   _BinaryenStringNew,
   _BinaryenStringNewGetOp,
   _BinaryenStringNewSetOp,
-  _BinaryenStringNewGetPtr,
-  _BinaryenStringNewSetPtr,
-  _BinaryenStringNewGetLength,
-  _BinaryenStringNewSetLength,
+  _BinaryenStringNewGetRef,
+  _BinaryenStringNewSetRef,
   _BinaryenStringNewGetStart,
   _BinaryenStringNewSetStart,
   _BinaryenStringNewGetEnd,
   _BinaryenStringNewSetEnd,
-  _BinaryenStringNewIsTry,
-  _BinaryenStringNewSetTry,
 
   _BinaryenStringConst,
   _BinaryenStringConstGetString,
@@ -644,10 +684,10 @@ export const {
   _BinaryenStringEncode,
   _BinaryenStringEncodeGetOp,
   _BinaryenStringEncodeSetOp,
-  _BinaryenStringEncodeGetRef,
-  _BinaryenStringEncodeSetRef,
-  _BinaryenStringEncodeGetPtr,
-  _BinaryenStringEncodeSetPtr,
+  _BinaryenStringEncodeGetStr,
+  _BinaryenStringEncodeSetStr,
+  _BinaryenStringEncodeGetArray,
+  _BinaryenStringEncodeSetArray,
   _BinaryenStringEncodeGetStart,
   _BinaryenStringEncodeSetStart,
 
@@ -665,54 +705,20 @@ export const {
   _BinaryenStringEqGetRight,
   _BinaryenStringEqSetRight,
 
-  _BinaryenStringAs,
-  _BinaryenStringAsGetOp,
-  _BinaryenStringAsSetOp,
-  _BinaryenStringAsGetRef,
-  _BinaryenStringAsSetRef,
-
-  _BinaryenStringWTF8Advance,
-  _BinaryenStringWTF8AdvanceGetRef,
-  _BinaryenStringWTF8AdvanceSetRef,
-  _BinaryenStringWTF8AdvanceGetPos,
-  _BinaryenStringWTF8AdvanceSetPos,
-  _BinaryenStringWTF8AdvanceGetBytes,
-  _BinaryenStringWTF8AdvanceSetBytes,
-
   _BinaryenStringWTF16Get,
   _BinaryenStringWTF16GetGetRef,
   _BinaryenStringWTF16GetSetRef,
   _BinaryenStringWTF16GetGetPos,
   _BinaryenStringWTF16GetSetPos,
 
-  _BinaryenStringIterNext,
-  _BinaryenStringIterNextGetRef,
-  _BinaryenStringIterNextSetRef,
-
-  _BinaryenStringIterMove,
-  _BinaryenStringIterMoveGetOp,
-  _BinaryenStringIterMoveSetOp,
-  _BinaryenStringIterMoveGetRef,
-  _BinaryenStringIterMoveSetRef,
-  _BinaryenStringIterMoveGetNum,
-  _BinaryenStringIterMoveSetNum,
-
   _BinaryenStringSliceWTF,
-  _BinaryenStringSliceWTFGetOp,
-  _BinaryenStringSliceWTFSetOp,
   _BinaryenStringSliceWTFGetRef,
   _BinaryenStringSliceWTFSetRef,
   _BinaryenStringSliceWTFGetStart,
   _BinaryenStringSliceWTFSetStart,
   _BinaryenStringSliceWTFGetEnd,
   _BinaryenStringSliceWTFSetEnd,
 
-  _BinaryenStringSliceIter,
-  _BinaryenStringSliceIterGetRef,
-  _BinaryenStringSliceIterSetRef,
-  _BinaryenStringSliceIterGetNum,
-  _BinaryenStringSliceIterSetNum,
-
   _BinaryenAddFunction,
   _BinaryenGetFunction,
   _BinaryenRemoveFunction,
@@ -724,12 +730,15 @@ export const {
   _BinaryenFunctionGetResults,
   _BinaryenFunctionGetNumVars,
   _BinaryenFunctionGetVar,
+  _BinaryenFunctionAddVar,
   _BinaryenFunctionGetNumLocals,
   _BinaryenFunctionHasLocalName,
   _BinaryenFunctionGetLocalName,
   _BinaryenFunctionSetLocalName,
   _BinaryenFunctionGetBody,
   _BinaryenFunctionSetBody,
+  _BinaryenFunctionGetType,
+  _BinaryenFunctionSetType,
   _BinaryenFunctionOptimize,
   _BinaryenFunctionRunPasses,
   _BinaryenFunctionSetDebugLocation,
@@ -785,6 +794,8 @@ export const {
   _BinaryenTableHasMax,
   _BinaryenTableGetMax,
   _BinaryenTableSetMax,
+  _BinaryenTableGetType,
+  _BinaryenTableSetType,
 
   _BinaryenAddActiveElementSegment,
   _BinaryenAddPassiveElementSegment,
@@ -798,21 +809,23 @@ export const {
   _BinaryenGetMemorySegmentByteOffset,
   _BinaryenGetMemorySegmentByteLength,
   _BinaryenCopyMemorySegmentData,
+  _BinaryenAddDataSegment,
 
   _BinaryenSetStart,
+  _BinaryenGetStart,
 
   _BinaryenModuleParse,
   _BinaryenModulePrint,
   _BinaryenModulePrintAsmjs,
   _BinaryenModuleValidate,
   _BinaryenModuleOptimize,
   _BinaryenModuleRunPasses,
-  _BinaryenModuleAutoDrop,
   _BinaryenSizeofAllocateAndWriteResult,
   _BinaryenModuleAllocateAndWrite,
   _BinaryenModuleAllocateAndWriteText,
   _BinaryenModuleAllocateAndWriteStackIR,
   _BinaryenModuleRead,
+  _BinaryenModuleReadWithFeatures,
   _BinaryenModuleInterpret,
   _BinaryenModuleAddDebugInfoFileName,
   _BinaryenModuleGetDebugInfoFileName,
@@ -857,15 +870,26 @@ export const {
   _BinaryenSetShrinkLevel,
   _BinaryenGetDebugInfo,
   _BinaryenSetDebugInfo,
+  _BinaryenGetTrapsNeverHappen,
+  _BinaryenSetTrapsNeverHappen,
+  _BinaryenGetClosedWorld,
+  _BinaryenSetClosedWorld,
   _BinaryenGetLowMemoryUnused,
   _BinaryenSetLowMemoryUnused,
   _BinaryenGetZeroFilledMemory,
   _BinaryenSetZeroFilledMemory,
   _BinaryenGetFastMath,
   _BinaryenSetFastMath,
+  _BinaryenGetGenerateStackIR,
+  _BinaryenSetGenerateStackIR,
+  _BinaryenGetOptimizeStackIR,
+  _BinaryenSetOptimizeStackIR,
   _BinaryenGetPassArgument,
   _BinaryenSetPassArgument,
   _BinaryenClearPassArguments,
+  _BinaryenHasPassToSkip,
+  _BinaryenAddPassToSkip,
+  _BinaryenClearPassesToSkip,
   _BinaryenGetAlwaysInlineMaxSize,
   _BinaryenSetAlwaysInlineMaxSize,
   _BinaryenGetFlexibleInlineMaxSize,