@grain/binaryen.ml 0.21.0 → 0.22.0

binaryen-archive/src/op.js

@@ -1258,6 +1258,72 @@ function caml_binaryen_bitselect_vec128() {
   return Binaryen.Operations.BitselectVec128;
 }
 
+//Provides: caml_binaryen_relaxed_fma_vec_f32x4
+//Requires: Binaryen
+function caml_binaryen_relaxed_fma_vec_f32x4() {
+  return Binaryen.Operations.RelaxedFmaVecF32x4;
+}
+
+//Provides: caml_binaryen_relaxed_fms_vec_f32x4
+//Requires: Binaryen
+function caml_binaryen_relaxed_fms_vec_f32x4() {
+  return Binaryen.Operations.RelaxedFmsVecF32x4;
+}
+
+//Provides: caml_binaryen_relaxed_fma_vec_f64x4
+//Requires: Binaryen
+function caml_binaryen_relaxed_fma_vec_f64x4() {
+  return Binaryen.Operations.RelaxedFmaVecF64x2;
+}
+
+//Provides: caml_binaryen_relaxed_fms_vec_f64x4
+//Requires: Binaryen
+function caml_binaryen_relaxed_fms_vec_f64x4() {
+  return Binaryen.Operations.RelaxedFmsVecF64x2;
+}
+
+//Provides: caml_binaryen_laneselect_i8x16
+//Requires: Binaryen
+function caml_binaryen_laneselect_i8x16() {
+  return Binaryen.Operations.LaneselectI8x16;
+}
+
+//Provides: caml_binaryen_laneselect_i16x8
+//Requires: Binaryen
+function caml_binaryen_laneselect_i16x8() {
+  return Binaryen.Operations.LaneselectI16x8;
+}
+
+//Provides: caml_binaryen_laneselect_i32x4
+//Requires: Binaryen
+function caml_binaryen_laneselect_i32x4() {
+  return Binaryen.Operations.LaneselectI32x4;
+}
+
+//Provides: caml_binaryen_laneselect_i64x2
+//Requires: Binaryen
+function caml_binaryen_laneselect_i64x2() {
+  return Binaryen.Operations.LaneselectI64x2;
+}
+
+//Provides: caml_binaryen_dot_i8x16_i7x16_add_s_to_vec_i32x4
+//Requires: Binaryen
+function caml_binaryen_dot_i8x16_i7x16_add_s_to_vec_i32x4() {
+  return Binaryen.Operations.DotI8x16I7x16AddSToVecI32x4;
+}
+
+//Provides: caml_binaryen_any_true_vec128
+//Requires: Binaryen
+function caml_binaryen_any_true_vec128() {
+  return Binaryen.Operations.AnyTrueVec128;
+}
+
+//Provides: caml_binaryen_popcnt_vec_i8x16
+//Requires: Binaryen
+function caml_binaryen_popcnt_vec_i8x16() {
+  return Binaryen.Operations.PopcntVecI8x16;
+}
+
 //Provides: caml_binaryen_abs_vec_i8x16
 //Requires: Binaryen
 function caml_binaryen_abs_vec_i8x16() {
@@ -1846,54 +1912,12 @@ function caml_binaryen_swizzle_vec8x16() {
   return Binaryen.Operations.SwizzleVecI8x16;
 }
 
-//Provides: caml_binaryen_ref_is_null
-//Requires: Binaryen
-function caml_binaryen_ref_is_null() {
-  return Binaryen.Operations.RefIsNull;
-}
-
-//Provides: caml_binaryen_ref_is_func
-//Requires: Binaryen
-function caml_binaryen_ref_is_func() {
-  return Binaryen.Operations.RefIsFunc;
-}
-
-//Provides: caml_binaryen_ref_is_data
-//Requires: Binaryen
-function caml_binaryen_ref_is_data() {
-  return Binaryen.Operations.RefIsData;
-}
-
-//Provides: caml_binaryen_ref_is_i31
-//Requires: Binaryen
-function caml_binaryen_ref_is_i31() {
-  return Binaryen.Operations.RefIsI31;
-}
-
 //Provides: caml_binaryen_ref_as_non_null
 //Requires: Binaryen
 function caml_binaryen_ref_as_non_null() {
   return Binaryen.Operations.RefAsNonNull;
 }
 
-//Provides: caml_binaryen_ref_as_func
-//Requires: Binaryen
-function caml_binaryen_ref_as_func() {
-  return Binaryen.Operations.RefAsFunc;
-}
-
-//Provides: caml_binaryen_ref_as_data
-//Requires: Binaryen
-function caml_binaryen_ref_as_data() {
-  return Binaryen.Operations.RefAsData;
-}
-
-//Provides: caml_binaryen_ref_as_i31
-//Requires: Binaryen
-function caml_binaryen_ref_as_i31() {
-  return Binaryen.Operations.RefAsI31;
-}
-
 //Provides: caml_binaryen_ref_as_extern_internalize
 //Requires: Binaryen
 function caml_binaryen_ref_as_extern_internalize() {
@@ -1930,42 +1954,6 @@ function caml_binaryen_br_on_cast_fail() {
   return Binaryen.Operations.BrOnCastFail;
 }
 
-//Provides: caml_binaryen_br_on_func
-//Requires: Binaryen
-function caml_binaryen_br_on_func() {
-  return Binaryen.Operations.BrOnFunc;
-}
-
-//Provides: caml_binaryen_br_on_non_func
-//Requires: Binaryen
-function caml_binaryen_br_on_non_func() {
-  return Binaryen.Operations.BrOnNonFunc;
-}
-
-//Provides: caml_binaryen_br_on_data
-//Requires: Binaryen
-function caml_binaryen_br_on_data() {
-  return Binaryen.Operations.BrOnData;
-}
-
-//Provides: caml_binaryen_br_on_non_data
-//Requires: Binaryen
-function caml_binaryen_br_on_non_data() {
-  return Binaryen.Operations.BrOnNonData;
-}
-
-//Provides: caml_binaryen_br_on_i31
-//Requires: Binaryen
-function caml_binaryen_br_on_i31() {
-  return Binaryen.Operations.BrOnI31;
-}
-
-//Provides: caml_binaryen_br_on_non_i31
-//Requires: Binaryen
-function caml_binaryen_br_on_non_i31() {
-  return Binaryen.Operations.BrOnNonI31;
-}
-
 //Provides: caml_binaryen_string_new_utf8
 //Requires: Binaryen
 function caml_binaryen_string_new_utf8() {
@@ -2014,6 +2002,12 @@ function caml_binaryen_string_new_wtf16_array() {
   return Binaryen.Operations.StringNewWTF16Array;
 }
 
+//Provides: caml_binaryen_string_new_from_code_point
+//Requires: Binaryen
+function caml_binaryen_string_new_from_code_point() {
+  return Binaryen.Operations.StringNewFromCodePoint;
+}
+
 //Provides: caml_binaryen_string_measure_utf8
 //Requires: Binaryen
 function caml_binaryen_string_measure_utf8() {
@@ -2121,3 +2115,15 @@ function caml_binaryen_string_slice_wtf8() {
 function caml_binaryen_string_slice_wtf16() {
   return Binaryen.Operations.StringSliceWTF16;
 }
+
+//Provides: caml_binaryen_string_eq_equal
+//Requires: Binaryen
+function caml_binaryen_string_eq_equal() {
+  return Binaryen.Operations.StringEqEqual;
+}
+
+//Provides: caml_binaryen_string_eq_compare
+//Requires: Binaryen
+function caml_binaryen_string_eq_compare() {
+  return Binaryen.Operations.StringEqCompare;
+}

binaryen-archive/src/op.ml

@@ -878,6 +878,55 @@ external bitselect_vec128 : unit -> t = "caml_binaryen_bitselect_vec128"
 
 let bitselect_vec128 = bitselect_vec128 ()
 
+external relaxed_fma_vec_f32x4 : unit -> t
+  = "caml_binaryen_relaxed_fma_vec_f32x4"
+
+let relaxed_fma_vec_f32x4 = relaxed_fma_vec_f32x4 ()
+
+external relaxed_fms_vec_f32x4 : unit -> t
+  = "caml_binaryen_relaxed_fms_vec_f32x4"
+
+let relaxed_fms_vec_f32x4 = relaxed_fms_vec_f32x4 ()
+
+external relaxed_fma_vec_f64x4 : unit -> t
+  = "caml_binaryen_relaxed_fma_vec_f64x4"
+
+let relaxed_fma_vec_f64x4 = relaxed_fma_vec_f64x4 ()
+
+external relaxed_fms_vec_f64x4 : unit -> t
+  = "caml_binaryen_relaxed_fms_vec_f64x4"
+
+let relaxed_fms_vec_f64x4 = relaxed_fms_vec_f64x4 ()
+
+external laneselect_i8x16 : unit -> t = "caml_binaryen_laneselect_i8x16"
+
+let laneselect_i8x16 = laneselect_i8x16 ()
+
+external laneselect_i16x8 : unit -> t = "caml_binaryen_laneselect_i16x8"
+
+let laneselect_i16x8 = laneselect_i16x8 ()
+
+external laneselect_i32x4 : unit -> t = "caml_binaryen_laneselect_i32x4"
+
+let laneselect_i32x4 = laneselect_i32x4 ()
+
+external laneselect_i64x2 : unit -> t = "caml_binaryen_laneselect_i64x2"
+
+let laneselect_i64x2 = laneselect_i64x2 ()
+
+external dot_i8x16_i7x16_add_s_to_vec_i32x4 : unit -> t
+  = "caml_binaryen_dot_i8x16_i7x16_add_s_to_vec_i32x4"
+
+let dot_i8x16_i7x16_add_s_to_vec_i32x4 = dot_i8x16_i7x16_add_s_to_vec_i32x4 ()
+
+external any_true_vec128 : unit -> t = "caml_binaryen_any_true_vec128"
+
+let any_true_vec128 = any_true_vec128 ()
+
+external popcnt_vec_i8x16 : unit -> t = "caml_binaryen_popcnt_vec_i8x16"
+
+let popcnt_vec_i8x16 = popcnt_vec_i8x16 ()
+
 external abs_vec_i8x16 : unit -> t = "caml_binaryen_abs_vec_i8x16"
 
 let abs_vec_i8x16 = abs_vec_i8x16 ()
@@ -1279,103 +1328,160 @@ external swizzle_vec8x16 : unit -> t = "caml_binaryen_swizzle_vec8x16"
 
 let swizzle_vec8x16 = swizzle_vec8x16 ()
 
-external ref_is_null : unit -> t = "caml_binaryen_ref_is_null"
+external ref_as_non_null : unit -> t = "caml_binaryen_ref_as_non_null"
 
-let ref_is_null = ref_is_null ()
+let ref_as_non_null = ref_as_non_null ()
 
-external ref_is_func : unit -> t = "caml_binaryen_ref_is_func"
+external ref_as_extern_internalize : unit -> t
+  = "caml_binaryen_ref_as_extern_internalize"
 
-let ref_is_func = ref_is_func ()
+let ref_as_extern_internalize = ref_as_extern_internalize ()
 
-external ref_is_data : unit -> t = "caml_binaryen_ref_is_data"
+external ref_as_extern_externalize : unit -> t
+  = "caml_binaryen_ref_as_extern_externalize"
 
-let ref_is_data = ref_is_data ()
+let ref_as_extern_externalize = ref_as_extern_externalize ()
 
-external ref_is_i31 : unit -> t = "caml_binaryen_ref_is_i31"
+external br_on_null : unit -> t = "caml_binaryen_br_on_null"
 
-let ref_is_i31 = ref_is_i31 ()
+let br_on_null = br_on_null ()
 
-external ref_as_non_null : unit -> t = "caml_binaryen_ref_as_non_null"
+external br_on_non_null : unit -> t = "caml_binaryen_br_on_non_null"
 
-let ref_as_non_null = ref_as_non_null ()
+let br_on_non_null = br_on_non_null ()
 
-external ref_as_func : unit -> t = "caml_binaryen_ref_as_func"
+external br_on_cast : unit -> t = "caml_binaryen_br_on_cast"
 
-let ref_as_func = ref_as_func ()
+let br_on_cast = br_on_cast ()
 
-external ref_as_data : unit -> t = "caml_binaryen_ref_as_data"
+external br_on_cast_fail : unit -> t = "caml_binaryen_br_on_cast_fail"
 
-let ref_as_data = ref_as_data ()
+let br_on_cast_fail = br_on_cast_fail ()
 
-external ref_as_i31 : unit -> t = "caml_binaryen_ref_as_i31"
+external string_new_utf8 : unit -> t = "caml_binaryen_string_new_utf8"
 
-let ref_as_i31 = ref_as_i31 ()
+let string_new_utf8 = string_new_utf8 ()
 
-external ref_as_extern_internalize : unit -> t
-  = "caml_binaryen_ref_as_extern_internalize"
+external string_new_wtf8 : unit -> t = "caml_binaryen_string_new_wtf8"
 
-external ref_as_extern_externalize : unit -> t
-  = "caml_binaryen_ref_as_extern_externalize"
+let string_new_wtf8 = string_new_wtf8 ()
 
-external br_on_null : unit -> t = "caml_binaryen_br_on_null"
-external br_on_non_null : unit -> t = "caml_binaryen_br_on_non_null"
-external br_on_cast : unit -> t = "caml_binaryen_br_on_cast"
-external br_on_cast_fail : unit -> t = "caml_binaryen_br_on_cast_fail"
-external br_on_func : unit -> t = "caml_binaryen_br_on_func"
-external br_on_non_func : unit -> t = "caml_binaryen_br_on_non_func"
-external br_on_data : unit -> t = "caml_binaryen_br_on_data"
-external br_on_non_data : unit -> t = "caml_binaryen_br_on_non_data"
-external br_on_i31 : unit -> t = "caml_binaryen_br_on_i31"
-external br_on_non_i31 : unit -> t = "caml_binaryen_br_on_non_i31"
-external string_new_utf8 : unit -> t = "caml_binaryen_string_new_utf8"
-external string_new_wtf8 : unit -> t = "caml_binaryen_string_new_wtf8"
 external string_new_replace : unit -> t = "caml_binaryen_string_new_replace"
+
+let string_new_replace = string_new_replace ()
+
 external string_new_wtf16 : unit -> t = "caml_binaryen_string_new_wtf16"
 
+let string_new_wtf16 = string_new_wtf16 ()
+
 external string_new_utf8_array : unit -> t
   = "caml_binaryen_string_new_utf8_array"
 
+let string_new_utf8_array = string_new_utf8_array ()
+
 external string_new_wtf8_array : unit -> t
   = "caml_binaryen_string_new_wtf8_array"
 
+let string_new_wtf8_array = string_new_wtf8_array ()
+
 external string_new_replace_array : unit -> t
   = "caml_binaryen_string_new_replace_array"
 
+let string_new_replace_array = string_new_replace_array ()
+
 external string_new_wtf16_array : unit -> t
   = "caml_binaryen_string_new_wtf16_array"
 
+let string_new_wtf16_array = string_new_wtf16_array ()
+
+external string_new_from_code_point : unit -> t
+  = "caml_binaryen_string_new_from_code_point"
+
+let string_new_from_code_point = string_new_from_code_point ()
+
 external string_measure_utf8 : unit -> t = "caml_binaryen_string_measure_utf8"
+
+let string_measure_utf8 = string_measure_utf8 ()
+
 external string_measure_wtf8 : unit -> t = "caml_binaryen_string_measure_wtf8"
+
+let string_measure_wtf8 = string_measure_wtf8 ()
+
 external string_measure_wtf16 : unit -> t = "caml_binaryen_string_measure_wtf16"
 
+let string_measure_wtf16 = string_measure_wtf16 ()
+
 external string_measure_is_usv : unit -> t
   = "caml_binaryen_string_measure_is_usv"
 
+let string_measure_is_usv = string_measure_is_usv ()
+
 external string_measure_wtf16_view : unit -> t
   = "caml_binaryen_string_measure_wtf16_view"
 
+let string_measure_wtf16_view = string_measure_wtf16_view ()
+
 external string_encode_utf8 : unit -> t = "caml_binaryen_string_encode_utf8"
+
+let string_encode_utf8 = string_encode_utf8 ()
+
 external string_encode_wtf8 : unit -> t = "caml_binaryen_string_encode_wtf8"
+
+let string_encode_wtf8 = string_encode_wtf8 ()
+
 external string_encode_wtf16 : unit -> t = "caml_binaryen_string_encode_wtf16"
 
+let string_encode_wtf16 = string_encode_wtf16 ()
+
 external string_encode_utf8_array : unit -> t
   = "caml_binaryen_string_encode_utf8_array"
 
+let string_encode_utf8_array = string_encode_utf8_array ()
+
 external string_encode_wtf8_array : unit -> t
   = "caml_binaryen_string_encode_wtf8_array"
 
+let string_encode_wtf8_array = string_encode_wtf8_array ()
+
 external string_encode_wtf16_array : unit -> t
   = "caml_binaryen_string_encode_wtf16_array"
 
+let string_encode_wtf16_array = string_encode_wtf16_array ()
+
 external string_as_wtf8 : unit -> t = "caml_binaryen_string_as_wtf8"
+
+let string_as_wtf8 = string_as_wtf8 ()
+
 external string_as_wtf16 : unit -> t = "caml_binaryen_string_as_wtf16"
+
+let string_as_wtf16 = string_as_wtf16 ()
+
 external string_as_iter : unit -> t = "caml_binaryen_string_as_iter"
 
+let string_as_iter = string_as_iter ()
+
 external string_iter_move_advance : unit -> t
   = "caml_binaryen_string_iter_move_advance"
 
+let string_iter_move_advance = string_iter_move_advance ()
+
 external string_iter_move_rewind : unit -> t
   = "caml_binaryen_string_iter_move_rewind"
 
+let string_iter_move_rewind = string_iter_move_rewind ()
+
 external string_slice_wtf8 : unit -> t = "caml_binaryen_string_slice_wtf8"
+
+let string_slice_wtf8 = string_slice_wtf8 ()
+
 external string_slice_wtf16 : unit -> t = "caml_binaryen_string_slice_wtf16"
+
+let string_slice_wtf16 = string_slice_wtf16 ()
+
+external string_eq_equal : unit -> t = "caml_binaryen_string_eq_equal"
+
+let string_eq_equal = string_eq_equal ()
+
+external string_eq_compare : unit -> t = "caml_binaryen_string_eq_compare"
+
+let string_eq_compare = string_eq_compare ()

binaryen-archive/src/op.mli

@@ -210,6 +210,17 @@ val or_vec128 : t
 val xor_vec128 : t
 val and_not_vec128 : t
 val bitselect_vec128 : t
+val relaxed_fma_vec_f32x4 : t
+val relaxed_fms_vec_f32x4 : t
+val relaxed_fma_vec_f64x4 : t
+val relaxed_fms_vec_f64x4 : t
+val laneselect_i8x16 : t
+val laneselect_i16x8 : t
+val laneselect_i32x4 : t
+val laneselect_i64x2 : t
+val dot_i8x16_i7x16_add_s_to_vec_i32x4 : t
+val any_true_vec128 : t
+val popcnt_vec_i8x16 : t
 val abs_vec_i8x16 : t
 val neg_vec_i8x16 : t
 val all_true_vec_i8x16 : t
@@ -308,49 +319,39 @@ val narrow_u_vec_i16x8_to_vec_i8x16 : t
 val narrow_s_vec_i32x4_to_vec_i16x8 : t
 val narrow_u_vec_i32x4_to_vec_i16x8 : t
 val swizzle_vec8x16 : t
-val ref_is_null : t
-val ref_is_func : t
-val ref_is_data : t
-val ref_is_i31 : t
 val ref_as_non_null : t
-val ref_as_func : t
-val ref_as_data : t
-val ref_as_i31 : t
-val ref_as_extern_internalize : unit -> t
-val ref_as_extern_externalize : unit -> t
-val br_on_null : unit -> t
-val br_on_non_null : unit -> t
-val br_on_cast : unit -> t
-val br_on_cast_fail : unit -> t
-val br_on_func : unit -> t
-val br_on_non_func : unit -> t
-val br_on_data : unit -> t
-val br_on_non_data : unit -> t
-val br_on_i31 : unit -> t
-val br_on_non_i31 : unit -> t
-val string_new_utf8 : unit -> t
-val string_new_wtf8 : unit -> t
-val string_new_replace : unit -> t
-val string_new_wtf16 : unit -> t
-val string_new_utf8_array : unit -> t
-val string_new_wtf8_array : unit -> t
-val string_new_replace_array : unit -> t
-val string_new_wtf16_array : unit -> t
-val string_measure_utf8 : unit -> t
-val string_measure_wtf8 : unit -> t
-val string_measure_wtf16 : unit -> t
-val string_measure_is_usv : unit -> t
-val string_measure_wtf16_view : unit -> t
-val string_encode_utf8 : unit -> t
-val string_encode_wtf8 : unit -> t
-val string_encode_wtf16 : unit -> t
-val string_encode_utf8_array : unit -> t
-val string_encode_wtf8_array : unit -> t
-val string_encode_wtf16_array : unit -> t
-val string_as_wtf8 : unit -> t
-val string_as_wtf16 : unit -> t
-val string_as_iter : unit -> t
-val string_iter_move_advance : unit -> t
-val string_iter_move_rewind : unit -> t
-val string_slice_wtf8 : unit -> t
-val string_slice_wtf16 : unit -> t
+val ref_as_extern_internalize : t
+val ref_as_extern_externalize : t
+val br_on_null : t
+val br_on_non_null : t
+val br_on_cast : t
+val br_on_cast_fail : t
+val string_new_utf8 : t
+val string_new_wtf8 : t
+val string_new_replace : t
+val string_new_wtf16 : t
+val string_new_utf8_array : t
+val string_new_wtf8_array : t
+val string_new_replace_array : t
+val string_new_wtf16_array : t
+val string_new_from_code_point : t
+val string_measure_utf8 : t
+val string_measure_wtf8 : t
+val string_measure_wtf16 : t
+val string_measure_is_usv : t
+val string_measure_wtf16_view : t
+val string_encode_utf8 : t
+val string_encode_wtf8 : t
+val string_encode_wtf16 : t
+val string_encode_utf8_array : t
+val string_encode_wtf8_array : t
+val string_encode_wtf16_array : t
+val string_as_wtf8 : t
+val string_as_wtf16 : t
+val string_as_iter : t
+val string_iter_move_advance : t
+val string_iter_move_rewind : t
+val string_slice_wtf8 : t
+val string_slice_wtf16 : t
+val string_eq_equal : t
+val string_eq_compare : t

binaryen-archive/src/passes.ml

@@ -15,6 +15,9 @@ let dae = "dae"
 (** removes arguments to calls in an lto-like manner, and optimizes where we removed *)
 let dae_optimizing = "dae-optimizing"
 
+(** refine and merge abstract (never-created) types *)
+let abstract_type_refining = "abstract-type-refining"
+
 (** reduce # of locals by coalescing *)
 let coalesce_locals = "coalesce-locals"
 
@@ -199,6 +202,10 @@ let monomorphize_always = "monomorphize-always"
 (** combines multiple memories into a single memory *)
 let multi_memory_lowering = "multi-memory-lowering"
 
+(** combines multiple memories into a single memory, trapping if the read or write is larger than the length of the memory's data *)
+let multi_memory_lowering_with_bounds_checks =
+  "multi-memory-lowering-with-bounds-checks"
+
 (** name list *)
 let nm = "nm"
 
@@ -287,6 +294,9 @@ let remove_unused_nonfunction_module_elements =
 (** removes names from locations that are never branched to *)
 let remove_unused_names = "remove-unused-names"
 
+(** remove unused private GC types *)
+let remove_unused_types = "remove-unused-types"
+
 (** sorts functions by access frequency *)
 let reorder_functions = "reorder-functions"
 
@@ -386,6 +396,12 @@ let trap_mode_clamp = "trap-mode-clamp"
 (** replace trapping operations with js semantics *)
 let trap_mode_js = "trap-mode-js"
 
+(** merge types to their supertypes where possible *)
+let type_merging = "type-merging"
+
+(** create new nominal types to help other optimizations *)
+let type_ssa = "type-ssa"
+
 (** removes local.tees, replacing them with sets and gets *)
 let untee = "untee"
 

binaryen-archive/src/passes.mli

@@ -15,6 +15,9 @@ val dae : t
 val dae_optimizing : t
 (** removes arguments to calls in an lto-like manner, and optimizes where we removed *)
 
+val abstract_type_refining : t
+(** refine and merge abstract (never-created) types *)
+
 val coalesce_locals : t
 (** reduce # of locals by coalescing *)
 
@@ -198,6 +201,9 @@ val monomorphize_always : t
 val multi_memory_lowering : t
 (** combines multiple memories into a single memory *)
 
+val multi_memory_lowering_with_bounds_checks : t
+(** combines multiple memories into a single memory, trapping if the read or write is larger than the length of the memory's data *)
+
 val nm : t
 (** name list *)
 
@@ -285,6 +291,9 @@ val remove_unused_nonfunction_module_elements : t
 val remove_unused_names : t
 (** removes names from locations that are never branched to *)
 
+val remove_unused_types : t
+(** remove unused private GC types *)
+
 val reorder_functions : t
 (** sorts functions by access frequency *)
 
@@ -384,6 +393,12 @@ val trap_mode_clamp : t
 val trap_mode_js : t
 (** replace trapping operations with js semantics *)
 
+val type_merging : t
+(** merge types to their supertypes where possible *)
+
+val type_ssa : t
+(** create new nominal types to help other optimizations *)
+
 val untee : t
 (** removes local.tees, replacing them with sets and gets *)
 

binaryen-archive/src/type.c

@@ -77,9 +77,9 @@ caml_binaryen_type_i31ref(value unit) {
 }
 
 CAMLprim value
-caml_binaryen_type_dataref(value unit) {
+caml_binaryen_type_structref(value unit) {
   CAMLparam1(unit);
-  BinaryenType ty = BinaryenTypeDataref();
+  BinaryenType ty = BinaryenTypeStructref();
   CAMLreturn(alloc_BinaryenType(ty));
 }
 

binaryen-archive/src/type.js

@@ -58,10 +58,10 @@ function caml_binaryen_type_i31ref() {
   return Binaryen.i31ref;
 }
 
-//Provides: caml_binaryen_type_dataref
+//Provides: caml_binaryen_type_structref
 //Requires: Binaryen
-function caml_binaryen_type_dataref() {
-  return Binaryen.dataref;
+function caml_binaryen_type_structref() {
+  return Binaryen.structref;
 }
 
 //Provides: caml_binaryen_type_arrayref

binaryen-archive/src/type.ml

@@ -40,9 +40,9 @@ external i31ref : unit -> t = "caml_binaryen_type_i31ref"
 
 let i31ref = i31ref ()
 
-external dataref : unit -> t = "caml_binaryen_type_dataref"
+external structref : unit -> t = "caml_binaryen_type_structref"
 
-let dataref = dataref ()
+let structref = structref ()
 
 external arrayref : unit -> t = "caml_binaryen_type_arrayref"
 

binaryen-archive/src/type.mli

@@ -10,7 +10,7 @@ val funcref : t
 val anyref : t
 val eqref : t
 val i31ref : t
-val dataref : t
+val structref : t
 val arrayref : t
 val stringref : t
 val stringview_wtf8 : t