5 files changed, 121 insertions, 0 deletions
diff --git a/test/simd.wast b/test/simd.wast
index 515268859..a171c5398 100644
--- a/test/simd.wast
+++ b/test/simd.wast
@@ -1406,4 +1406,34 @@
    (local.get $0)
   )
  )
+ (func $f64x2.convert_low_i32x4_s (param $0 v128) (result v128)
+  (f64x2.convert_low_i32x4_s
+   (local.get $0)
+  )
+ )
+ (func $f64x2.convert_low_i32x4_u (param $0 v128) (result v128)
+  (f64x2.convert_low_i32x4_u
+   (local.get $0)
+  )
+ )
+ (func $i32x4.trunc_sat_f64x2_zero_s (param $0 v128) (result v128)
+  (i32x4.trunc_sat_f64x2_zero_s
+   (local.get $0)
+  )
+ )
+ (func $i32x4.trunc_sat_f64x2_zero_u (param $0 v128) (result v128)
+  (i32x4.trunc_sat_f64x2_zero_u
+   (local.get $0)
+  )
+ )
+ (func $f32x4.demote_f64x2_zero (param $0 v128) (result v128)
+  (f32x4.demote_f64x2_zero
+   (local.get $0)
+  )
+ )
+ (func $f64x2.promote_low_f32x4 (param $0 v128) (result v128)
+  (f64x2.promote_low_f32x4
+   (local.get $0)
+  )
+ )
 )
diff --git a/test/simd.wast.from-wast b/test/simd.wast.from-wast
index 158de7664..223191c18 100644
--- a/test/simd.wast.from-wast
+++ b/test/simd.wast.from-wast
@@ -1424,4 +1424,34 @@
    (local.get $0)
   )
  )
+ (func $f64x2.convert_low_i32x4_s (param $0 v128) (result v128)
+  (f64x2.convert_low_i32x4_s
+   (local.get $0)
+  )
+ )
+ (func $f64x2.convert_low_i32x4_u (param $0 v128) (result v128)
+  (f64x2.convert_low_i32x4_u
+   (local.get $0)
+  )
+ )
+ (func $i32x4.trunc_sat_f64x2_zero_s (param $0 v128) (result v128)
+  (i32x4.trunc_sat_f64x2_zero_s
+   (local.get $0)
+  )
+ )
+ (func $i32x4.trunc_sat_f64x2_zero_u (param $0 v128) (result v128)
+  (i32x4.trunc_sat_f64x2_zero_u
+   (local.get $0)
+  )
+ )
+ (func $f32x4.demote_f64x2_zero (param $0 v128) (result v128)
+  (f32x4.demote_f64x2_zero
+   (local.get $0)
+  )
+ )
+ (func $f64x2.promote_low_f32x4 (param $0 v128) (result v128)
+  (f64x2.promote_low_f32x4
+   (local.get $0)
+  )
+ )
 )
diff --git a/test/simd.wast.fromBinary b/test/simd.wast.fromBinary
index c78c23572..1c0b12493 100644
--- a/test/simd.wast.fromBinary
+++ b/test/simd.wast.fromBinary
@@ -1424,5 +1424,35 @@
    (local.get $0)
   )
  )
+ (func $f64x2.convert_low_i32x4_s (param $0 v128) (result v128)
+  (f64x2.convert_low_i32x4_s
+   (local.get $0)
+  )
+ )
+ (func $f64x2.convert_low_i32x4_u (param $0 v128) (result v128)
+  (f64x2.convert_low_i32x4_u
+   (local.get $0)
+  )
+ )
+ (func $i32x4.trunc_sat_f64x2_zero_s (param $0 v128) (result v128)
+  (i32x4.trunc_sat_f64x2_zero_s
+   (local.get $0)
+  )
+ )
+ (func $i32x4.trunc_sat_f64x2_zero_u (param $0 v128) (result v128)
+  (i32x4.trunc_sat_f64x2_zero_u
+   (local.get $0)
+  )
+ )
+ (func $f32x4.demote_f64x2_zero (param $0 v128) (result v128)
+  (f32x4.demote_f64x2_zero
+   (local.get $0)
+  )
+ )
+ (func $f64x2.promote_low_f32x4 (param $0 v128) (result v128)
+  (f64x2.promote_low_f32x4
+   (local.get $0)
+  )
+ )
 )
 
diff --git a/test/simd.wast.fromBinary.noDebugInfo b/test/simd.wast.fromBinary.noDebugInfo
index 8655975db..3feb5a7b4 100644
--- a/test/simd.wast.fromBinary.noDebugInfo
+++ b/test/simd.wast.fromBinary.noDebugInfo
@@ -1424,5 +1424,35 @@
    (local.get $0)
   )
  )
+ (func $250 (param $0 v128) (result v128)
+  (f64x2.convert_low_i32x4_s
+   (local.get $0)
+  )
+ )
+ (func $251 (param $0 v128) (result v128)
+  (f64x2.convert_low_i32x4_u
+   (local.get $0)
+  )
+ )
+ (func $252 (param $0 v128) (result v128)
+  (i32x4.trunc_sat_f64x2_zero_s
+   (local.get $0)
+  )
+ )
+ (func $253 (param $0 v128) (result v128)
+  (i32x4.trunc_sat_f64x2_zero_u
+   (local.get $0)
+  )
+ )
+ (func $254 (param $0 v128) (result v128)
+  (f32x4.demote_f64x2_zero
+   (local.get $0)
+  )
+ )
+ (func $255 (param $0 v128) (result v128)
+  (f64x2.promote_low_f32x4
+   (local.get $0)
+  )
+ )
 )
 
diff --git a/test/spec/simd.wast b/test/spec/simd.wast
index 968a3e553..87bbb96cb 100644
--- a/test/spec/simd.wast
+++ b/test/spec/simd.wast
@@ -265,6 +265,7 @@
  (func (export "v128.load64_zero") (param $0 i32) (result v128) (v128.load64_zero (local.get $0)))
  (func (export "v8x16.swizzle") (param $0 v128) (param $1 v128) (result v128) (v8x16.swizzle (local.get $0) (local.get $1)))
 )
+;; TODO: Additional f64x2 conversions if specified
 
 ;; Basic v128 manipulation
 (assert_return (invoke "v128.load" (i32.const 128)) (v128.const i8x16 87 65 83 77 83 73 77 68 71 79 69 83 70 65 83 84))