From 04e859622ca2d91cc1a3adee1167a1b114b694b8 Mon Sep 17 00:00:00 2001
From: Ben Smith <binji@chromium.org>
Date: Thu, 16 Jul 2020 10:27:41 -0700
Subject: [PATCH] Fix folding for *.load_splat and table.fill (#1486)

Also remove default case from `ir-util.cc` so we get compile warnings in
the future.
---
 src/ir-util.cc                          |   7 +-
 test/roundtrip/fold-reference-types.txt |  41 +-
 test/roundtrip/fold-simd.txt            | 843 ++++++++++++++++++++++++
 3 files changed, 879 insertions(+), 12 deletions(-)
 create mode 100644 test/roundtrip/fold-simd.txt

diff --git a/src/ir-util.cc b/src/ir-util.cc
index 7e2bc583bc..e3d2305755 100644
--- a/src/ir-util.cc
+++ b/src/ir-util.cc
@@ -171,6 +171,7 @@ ModuleContext::Arities ModuleContext::GetExprArity(const Expr& expr) const {
     case ExprType::MemoryFill:
     case ExprType::MemoryCopy:
     case ExprType::TableCopy:
+    case ExprType::TableFill:
       return { 3, 0 };
 
     case ExprType::AtomicLoad:
@@ -181,6 +182,7 @@ ModuleContext::Arities ModuleContext::GetExprArity(const Expr& expr) const {
     case ExprType::Unary:
     case ExprType::TableGet:
     case ExprType::RefIsNull:
+    case ExprType::LoadSplat:
       return { 1, 1 };
 
     case ExprType::Drop:
@@ -257,10 +259,5 @@ ModuleContext::Arities ModuleContext::GetExprArity(const Expr& expr) const {
 
     case ExprType::SimdShuffleOp:
       return { 2, 1 };
-
-    default:
-      fprintf(stderr, "bad expr type: %s\n", GetExprTypeName(expr));
-      assert(0);
-      return { 0, 0 };
   }
 }
diff --git a/test/roundtrip/fold-reference-types.txt b/test/roundtrip/fold-reference-types.txt
index 54a6c15044..2277588a68 100644
--- a/test/roundtrip/fold-reference-types.txt
+++ b/test/roundtrip/fold-reference-types.txt
@@ -3,20 +3,47 @@
 
 (module
   (table $t 1 externref)
+  (elem declare func 0)
   (func
-    i32.const 0
-    i32.const 0
-    table.get $t
-    table.set $t
+    (local externref)
+
+    i32.const 0 table.get $t drop
+    i32.const 0 local.get 0 table.set $t
+    local.get 0 i32.const 0 table.grow $t drop
+    table.size $t drop
+    i32.const 0 local.get 0 i32.const 0 table.fill $t
+    ref.null extern drop
+    local.get 0 ref.is_null drop
+    ref.func 0 drop
   )
 )
 (;; STDOUT ;;;
 (module
   (type (;0;) (func))
   (func (;0;) (type 0)
+    (local externref)
+    (drop
+      (table.get 0
+        (i32.const 0)))
     (table.set 0
       (i32.const 0)
-      (table.get 0
-        (i32.const 0))))
-  (table (;0;) 1 externref))
+      (local.get 0))
+    (drop
+      (table.grow 0
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (table.size 0))
+    (table.fill 0
+      (i32.const 0)
+      (local.get 0)
+      (i32.const 0))
+    (drop
+      (ref.null extern))
+    (drop
+      (ref.is_null (local.get 0)))
+    (drop
+      (ref.func 0)))
+  (table (;0;) 1 externref)
+  (elem (;0;) declare func 0))
 ;;; STDOUT ;;)
diff --git a/test/roundtrip/fold-simd.txt b/test/roundtrip/fold-simd.txt
new file mode 100644
index 0000000000..1ca4a155f4
--- /dev/null
+++ b/test/roundtrip/fold-simd.txt
@@ -0,0 +1,843 @@
+;;; TOOL: run-roundtrip
+;;; ARGS: --stdout --fold-exprs --enable-simd
+
+(module
+  (memory 1)
+  (func
+    (local v128)
+    i32.const 0 v128.load drop
+    i32.const 0 i16x8.load8x8_s drop
+    i32.const 0 i16x8.load8x8_u drop
+    i32.const 0 i32x4.load16x4_s drop
+    i32.const 0 i32x4.load16x4_u drop
+    i32.const 0 i64x2.load32x2_s drop
+    i32.const 0 i64x2.load32x2_u drop
+    i32.const 0 v8x16.load_splat drop
+    i32.const 0 v16x8.load_splat drop
+    i32.const 0 v32x4.load_splat drop
+    i32.const 0 v64x2.load_splat drop
+    i32.const 0 local.get 0 v128.store
+    v128.const i32x4 0 0 0 0 drop
+
+    local.get 0 local.get 0 v8x16.shuffle 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 drop
+    local.get 0 local.get 0 v8x16.swizzle drop
+
+    i32.const 0 i8x16.splat drop
+    i32.const 0 i16x8.splat drop
+    i32.const 0 i32x4.splat drop
+    i64.const 0 i64x2.splat drop
+    f32.const 0 f32x4.splat drop
+    f64.const 0 f64x2.splat drop
+    local.get 0 i8x16.extract_lane_s 0 drop
+    local.get 0 i8x16.extract_lane_u 0 drop
+    local.get 0 i32.const 0 i8x16.replace_lane 0 drop
+    local.get 0 i16x8.extract_lane_s 0 drop
+    local.get 0 i16x8.extract_lane_u 0 drop
+    local.get 0 i32.const 0 i16x8.replace_lane 0 drop
+    local.get 0 i32x4.extract_lane 0 drop
+    local.get 0 i32.const 0 i32x4.replace_lane 0 drop
+    local.get 0 i64x2.extract_lane 0 drop
+    local.get 0 i64.const 0 i64x2.replace_lane 0 drop
+    local.get 0 f32x4.extract_lane 0 drop
+    local.get 0 f32.const 0 f32x4.replace_lane 0 drop
+    local.get 0 f64x2.extract_lane 0 drop
+    local.get 0 f64.const 0 f64x2.replace_lane 0 drop
+
+    local.get 0 local.get 0 i8x16.eq drop
+    local.get 0 local.get 0 i8x16.ne drop
+    local.get 0 local.get 0 i8x16.lt_s drop
+    local.get 0 local.get 0 i8x16.lt_u drop
+    local.get 0 local.get 0 i8x16.gt_s drop
+    local.get 0 local.get 0 i8x16.gt_u drop
+    local.get 0 local.get 0 i8x16.le_s drop
+    local.get 0 local.get 0 i8x16.le_u drop
+    local.get 0 local.get 0 i8x16.ge_s drop
+    local.get 0 local.get 0 i8x16.ge_u drop
+    local.get 0 local.get 0 i16x8.eq drop
+    local.get 0 local.get 0 i16x8.ne drop
+    local.get 0 local.get 0 i16x8.lt_s drop
+    local.get 0 local.get 0 i16x8.lt_u drop
+    local.get 0 local.get 0 i16x8.gt_s drop
+    local.get 0 local.get 0 i16x8.gt_u drop
+    local.get 0 local.get 0 i16x8.le_s drop
+    local.get 0 local.get 0 i16x8.le_u drop
+    local.get 0 local.get 0 i16x8.ge_s drop
+    local.get 0 local.get 0 i16x8.ge_u drop
+    local.get 0 local.get 0 i32x4.eq drop
+    local.get 0 local.get 0 i32x4.ne drop
+    local.get 0 local.get 0 i32x4.lt_s drop
+    local.get 0 local.get 0 i32x4.lt_u drop
+    local.get 0 local.get 0 i32x4.gt_s drop
+    local.get 0 local.get 0 i32x4.gt_u drop
+    local.get 0 local.get 0 i32x4.le_s drop
+    local.get 0 local.get 0 i32x4.le_u drop
+    local.get 0 local.get 0 i32x4.ge_s drop
+    local.get 0 local.get 0 i32x4.ge_u drop
+    local.get 0 local.get 0 f32x4.eq drop
+    local.get 0 local.get 0 f32x4.ne drop
+    local.get 0 local.get 0 f32x4.lt drop
+    local.get 0 local.get 0 f32x4.gt drop
+    local.get 0 local.get 0 f32x4.le drop
+    local.get 0 local.get 0 f32x4.ge drop
+    local.get 0 local.get 0 f64x2.eq drop
+    local.get 0 local.get 0 f64x2.ne drop
+    local.get 0 local.get 0 f64x2.lt drop
+    local.get 0 local.get 0 f64x2.gt drop
+    local.get 0 local.get 0 f64x2.le drop
+    local.get 0 local.get 0 f64x2.ge drop
+
+    local.get 0 v128.not drop
+    local.get 0 local.get 0 v128.and drop
+    local.get 0 local.get 0 v128.andnot drop
+    local.get 0 local.get 0 v128.or drop
+    local.get 0 local.get 0 v128.xor drop
+    local.get 0 local.get 0 local.get 0 v128.bitselect drop
+
+    local.get 0 i8x16.abs drop
+    local.get 0 i8x16.neg drop
+    local.get 0 i8x16.any_true drop
+    local.get 0 i8x16.all_true drop
+    local.get 0 local.get 0 i8x16.narrow_i16x8_s drop
+    local.get 0 local.get 0 i8x16.narrow_i16x8_u drop
+    local.get 0 i32.const 0 i8x16.shl drop
+    local.get 0 i32.const 0 i8x16.shr_s drop
+    local.get 0 i32.const 0 i8x16.shr_u drop
+    local.get 0 local.get 0 i8x16.add drop
+    local.get 0 local.get 0 i8x16.add_saturate_s drop
+    local.get 0 local.get 0 i8x16.add_saturate_u drop
+    local.get 0 local.get 0 i8x16.sub drop
+    local.get 0 local.get 0 i8x16.sub_saturate_s drop
+    local.get 0 local.get 0 i8x16.sub_saturate_u drop
+    local.get 0 local.get 0 i8x16.min_s drop
+    local.get 0 local.get 0 i8x16.min_u drop
+    local.get 0 local.get 0 i8x16.max_s drop
+    local.get 0 local.get 0 i8x16.max_u drop
+    local.get 0 local.get 0 i8x16.avgr_u drop
+
+    local.get 0 i16x8.abs drop
+    local.get 0 i16x8.neg drop
+    local.get 0 i16x8.any_true drop
+    local.get 0 i16x8.all_true drop
+    local.get 0 local.get 0 i16x8.narrow_i32x4_s drop
+    local.get 0 local.get 0 i16x8.narrow_i32x4_u drop
+    local.get 0 i16x8.widen_low_i8x16_s drop
+    local.get 0 i16x8.widen_high_i8x16_s drop
+    local.get 0 i16x8.widen_low_i8x16_u drop
+    local.get 0 i16x8.widen_high_i8x16_u drop
+    local.get 0 i32.const 0 i16x8.shl drop
+    local.get 0 i32.const 0 i16x8.shr_s drop
+    local.get 0 i32.const 0 i16x8.shr_u drop
+    local.get 0 local.get 0 i16x8.add drop
+    local.get 0 local.get 0 i16x8.add_saturate_s drop
+    local.get 0 local.get 0 i16x8.add_saturate_u drop
+    local.get 0 local.get 0 i16x8.sub drop
+    local.get 0 local.get 0 i16x8.sub_saturate_s drop
+    local.get 0 local.get 0 i16x8.sub_saturate_u drop
+    local.get 0 local.get 0 i16x8.mul drop
+    local.get 0 local.get 0 i16x8.min_s drop
+    local.get 0 local.get 0 i16x8.min_u drop
+    local.get 0 local.get 0 i16x8.max_s drop
+    local.get 0 local.get 0 i16x8.max_u drop
+    local.get 0 local.get 0 i16x8.avgr_u drop
+
+    local.get 0 i32x4.abs drop
+    local.get 0 i32x4.neg drop
+    local.get 0 i32x4.any_true drop
+    local.get 0 i32x4.all_true drop
+    local.get 0 i32x4.widen_low_i16x8_s drop
+    local.get 0 i32x4.widen_high_i16x8_s drop
+    local.get 0 i32x4.widen_low_i16x8_u drop
+    local.get 0 i32x4.widen_high_i16x8_u drop
+    local.get 0 i32.const 0 i32x4.shl drop
+    local.get 0 i32.const 0 i32x4.shr_s drop
+    local.get 0 i32.const 0 i32x4.shr_u drop
+    local.get 0 local.get 0 i32x4.add drop
+    local.get 0 local.get 0 i32x4.sub drop
+    local.get 0 local.get 0 i32x4.mul drop
+    local.get 0 local.get 0 i32x4.min_s drop
+    local.get 0 local.get 0 i32x4.min_u drop
+    local.get 0 local.get 0 i32x4.max_s drop
+    local.get 0 local.get 0 i32x4.max_u drop
+
+    local.get 0 i64x2.neg drop
+    local.get 0 i32.const 0 i64x2.shl drop
+    local.get 0 i32.const 0 i64x2.shr_s drop
+    local.get 0 i32.const 0 i64x2.shr_u drop
+    local.get 0 local.get 0 i64x2.add drop
+    local.get 0 local.get 0 i64x2.sub drop
+    local.get 0 local.get 0 i64x2.mul drop
+
+    local.get 0 f32x4.abs drop
+    local.get 0 f32x4.neg drop
+    local.get 0 f32x4.sqrt drop
+    local.get 0 local.get 0 f32x4.add drop
+    local.get 0 local.get 0 f32x4.sub drop
+    local.get 0 local.get 0 f32x4.mul drop
+    local.get 0 local.get 0 f32x4.div drop
+    local.get 0 local.get 0 f32x4.min drop
+    local.get 0 local.get 0 f32x4.max drop
+
+    local.get 0 f64x2.abs drop
+    local.get 0 f64x2.neg drop
+    local.get 0 f64x2.sqrt drop
+    local.get 0 local.get 0 f64x2.add drop
+    local.get 0 local.get 0 f64x2.sub drop
+    local.get 0 local.get 0 f64x2.mul drop
+    local.get 0 local.get 0 f64x2.div drop
+    local.get 0 local.get 0 f64x2.min drop
+    local.get 0 local.get 0 f64x2.max drop
+
+    local.get 0 i32x4.trunc_sat_f32x4_s drop
+    local.get 0 i32x4.trunc_sat_f32x4_u drop
+    local.get 0 f32x4.convert_i32x4_s drop
+    local.get 0 f32x4.convert_i32x4_u drop
+  )
+)
+(;; STDOUT ;;;
+(module
+  (type (;0;) (func))
+  (func (;0;) (type 0)
+    (local v128)
+    (drop
+      (v128.load
+        (i32.const 0)))
+    (drop
+      (i16x8.load8x8_s
+        (i32.const 0)))
+    (drop
+      (i16x8.load8x8_u
+        (i32.const 0)))
+    (drop
+      (i32x4.load16x4_s
+        (i32.const 0)))
+    (drop
+      (i32x4.load16x4_u
+        (i32.const 0)))
+    (drop
+      (i64x2.load32x2_s
+        (i32.const 0)))
+    (drop
+      (i64x2.load32x2_u
+        (i32.const 0)))
+    (drop
+      (v8x16.load_splat
+        (i32.const 0)))
+    (drop
+      (v16x8.load_splat
+        (i32.const 0)))
+    (drop
+      (v32x4.load_splat
+        (i32.const 0)))
+    (drop
+      (v64x2.load_splat
+        (i32.const 0)))
+    (v128.store
+      (i32.const 0)
+      (local.get 0))
+    (drop
+      (v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000))
+    (drop
+      (v8x16.shuffle 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (v8x16.swizzle
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.splat
+        (i32.const 0)))
+    (drop
+      (i16x8.splat
+        (i32.const 0)))
+    (drop
+      (i32x4.splat
+        (i32.const 0)))
+    (drop
+      (i64x2.splat
+        (i64.const 0)))
+    (drop
+      (f32x4.splat
+        (f32.const 0x0p+0 (;=0;))))
+    (drop
+      (f64x2.splat
+        (f64.const 0x0p+0 (;=0;))))
+    (drop
+      (i8x16.extract_lane_s 0
+        (local.get 0)))
+    (drop
+      (i8x16.extract_lane_u 0
+        (local.get 0)))
+    (drop
+      (i8x16.replace_lane 0
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i16x8.extract_lane_s 0
+        (local.get 0)))
+    (drop
+      (i16x8.extract_lane_u 0
+        (local.get 0)))
+    (drop
+      (i16x8.replace_lane 0
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i32x4.extract_lane 0
+        (local.get 0)))
+    (drop
+      (i32x4.replace_lane 0
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i64x2.extract_lane 0
+        (local.get 0)))
+    (drop
+      (i64x2.replace_lane 0
+        (local.get 0)
+        (i64.const 0)))
+    (drop
+      (f32x4.extract_lane 0
+        (local.get 0)))
+    (drop
+      (f32x4.replace_lane 0
+        (local.get 0)
+        (f32.const 0x0p+0 (;=0;))))
+    (drop
+      (f64x2.extract_lane 0
+        (local.get 0)))
+    (drop
+      (f64x2.replace_lane 0
+        (local.get 0)
+        (f64.const 0x0p+0 (;=0;))))
+    (drop
+      (i8x16.eq
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.ne
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.lt_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.lt_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.gt_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.gt_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.le_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.le_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.ge_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.ge_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.eq
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.ne
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.lt_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.lt_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.gt_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.gt_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.le_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.le_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.ge_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.ge_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.eq
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.ne
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.lt_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.lt_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.gt_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.gt_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.le_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.le_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.ge_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.ge_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f32x4.eq
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f32x4.ne
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f32x4.lt
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f32x4.gt
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f32x4.le
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f32x4.ge
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f64x2.eq
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f64x2.ne
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f64x2.lt
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f64x2.gt
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f64x2.le
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f64x2.ge
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (v128.not
+        (local.get 0)))
+    (drop
+      (v128.and
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (v128.andnot
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (v128.or
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (v128.xor
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (v128.bitselect
+        (local.get 0)
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.abs
+        (local.get 0)))
+    (drop
+      (i8x16.neg
+        (local.get 0)))
+    (drop
+      (i8x16.any_true
+        (local.get 0)))
+    (drop
+      (i8x16.all_true
+        (local.get 0)))
+    (drop
+      (i8x16.narrow_i16x8_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.narrow_i16x8_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.shl
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i8x16.shr_s
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i8x16.shr_u
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i8x16.add
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.add_saturate_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.add_saturate_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.sub
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.sub_saturate_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.sub_saturate_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.min_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.min_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.max_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.max_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i8x16.avgr_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.abs
+        (local.get 0)))
+    (drop
+      (i16x8.neg
+        (local.get 0)))
+    (drop
+      (i16x8.any_true
+        (local.get 0)))
+    (drop
+      (i16x8.all_true
+        (local.get 0)))
+    (drop
+      (i16x8.narrow_i32x4_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.narrow_i32x4_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.widen_low_i8x16_s
+        (local.get 0)))
+    (drop
+      (i16x8.widen_high_i8x16_s
+        (local.get 0)))
+    (drop
+      (i16x8.widen_low_i8x16_u
+        (local.get 0)))
+    (drop
+      (i16x8.widen_high_i8x16_u
+        (local.get 0)))
+    (drop
+      (i16x8.shl
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i16x8.shr_s
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i16x8.shr_u
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i16x8.add
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.add_saturate_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.add_saturate_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.sub
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.sub_saturate_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.sub_saturate_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.mul
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.min_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.min_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.max_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.max_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i16x8.avgr_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.abs
+        (local.get 0)))
+    (drop
+      (i32x4.neg
+        (local.get 0)))
+    (drop
+      (i32x4.any_true
+        (local.get 0)))
+    (drop
+      (i32x4.all_true
+        (local.get 0)))
+    (drop
+      (i32x4.widen_low_i16x8_s
+        (local.get 0)))
+    (drop
+      (i32x4.widen_high_i16x8_s
+        (local.get 0)))
+    (drop
+      (i32x4.widen_low_i16x8_u
+        (local.get 0)))
+    (drop
+      (i32x4.widen_high_i16x8_u
+        (local.get 0)))
+    (drop
+      (i32x4.shl
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i32x4.shr_s
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i32x4.shr_u
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i32x4.add
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.sub
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.mul
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.min_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.min_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.max_s
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.max_u
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i64x2.neg
+        (local.get 0)))
+    (drop
+      (i64x2.shl
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i64x2.shr_s
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i64x2.shr_u
+        (local.get 0)
+        (i32.const 0)))
+    (drop
+      (i64x2.add
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i64x2.sub
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i64x2.mul
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f32x4.abs
+        (local.get 0)))
+    (drop
+      (f32x4.neg
+        (local.get 0)))
+    (drop
+      (f32x4.sqrt
+        (local.get 0)))
+    (drop
+      (f32x4.add
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f32x4.sub
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f32x4.mul
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f32x4.div
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f32x4.min
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f32x4.max
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f64x2.abs
+        (local.get 0)))
+    (drop
+      (f64x2.neg
+        (local.get 0)))
+    (drop
+      (f64x2.sqrt
+        (local.get 0)))
+    (drop
+      (f64x2.add
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f64x2.sub
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f64x2.mul
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f64x2.div
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f64x2.min
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (f64x2.max
+        (local.get 0)
+        (local.get 0)))
+    (drop
+      (i32x4.trunc_sat_f32x4_s
+        (local.get 0)))
+    (drop
+      (i32x4.trunc_sat_f32x4_u
+        (local.get 0)))
+    (drop
+      (f32x4.convert_i32x4_s
+        (local.get 0)))
+    (drop
+      (f32x4.convert_i32x4_u
+        (local.get 0))))
+  (memory (;0;) 1))
+;;; STDOUT ;;)