1 files changed, 13 insertions, 0 deletions
diff --git a/test/example/c-api-kitchen-sink.c b/test/example/c-api-kitchen-sink.c
index 3f97fee9d..da4eeccca 100644
--- a/test/example/c-api-kitchen-sink.c
+++ b/test/example/c-api-kitchen-sink.c
@@ -557,12 +557,21 @@ void test_core() {
     makeBinary(module, BinaryenMaxSVecI16x8(), v128),
     makeBinary(module, BinaryenMaxUVecI16x8(), v128),
     makeBinary(module, BinaryenAvgrUVecI16x8(), v128),
+    makeBinary(module, BinaryenQ15MulrSatSVecI16x8(), v128),
+    makeBinary(module, BinaryenExtMulLowSVecI16x8(), v128),
+    makeBinary(module, BinaryenExtMulHighSVecI16x8(), v128),
+    makeBinary(module, BinaryenExtMulLowUVecI16x8(), v128),
+    makeBinary(module, BinaryenExtMulHighUVecI16x8(), v128),
     makeBinary(module, BinaryenAddVecI32x4(), v128),
     makeBinary(module, BinaryenSubVecI32x4(), v128),
     makeBinary(module, BinaryenMulVecI32x4(), v128),
     makeBinary(module, BinaryenAddVecI64x2(), v128),
     makeBinary(module, BinaryenSubVecI64x2(), v128),
     makeBinary(module, BinaryenMulVecI64x2(), v128),
+    makeBinary(module, BinaryenExtMulLowSVecI64x2(), v128),
+    makeBinary(module, BinaryenExtMulHighSVecI64x2(), v128),
+    makeBinary(module, BinaryenExtMulLowUVecI64x2(), v128),
+    makeBinary(module, BinaryenExtMulHighUVecI64x2(), v128),
     makeBinary(module, BinaryenAddVecF32x4(), v128),
     makeBinary(module, BinaryenSubVecF32x4(), v128),
     makeBinary(module, BinaryenMulVecF32x4(), v128),
@@ -571,6 +580,10 @@ void test_core() {
     makeBinary(module, BinaryenMaxSVecI32x4(), v128),
     makeBinary(module, BinaryenMaxUVecI32x4(), v128),
     makeBinary(module, BinaryenDotSVecI16x8ToVecI32x4(), v128),
+    makeBinary(module, BinaryenExtMulLowSVecI32x4(), v128),
+    makeBinary(module, BinaryenExtMulHighSVecI32x4(), v128),
+    makeBinary(module, BinaryenExtMulLowUVecI32x4(), v128),
+    makeBinary(module, BinaryenExtMulHighUVecI32x4(), v128),
     makeBinary(module, BinaryenDivVecF32x4(), v128),
     makeBinary(module, BinaryenMinVecF32x4(), v128),
     makeBinary(module, BinaryenMaxVecF32x4(), v128),