[wast mode] Complete SIMD instructions

This finished the set of SIMD instructions 178 of them in total, also
sorted tests by their ordering in
https://github.com/WebAssembly/simd/blob/master/proposals/simd/BinarySIMD.md.

Author: ngzhian

mode/wast/test.js

@@ -141,6 +141,16 @@
 
   MT('simd-instructions',
      '[keyword v128.load] [keyword offset]=[number 32] [keyword align]=[number 4]',
+     '[keyword i16x8.load8x8_s] [keyword offset]=[number 64] [keyword align]=[number 0]',
+     '[keyword i16x8.load8x8_u] [keyword offset]=[number 64] [keyword align]=[number 0]',
+     '[keyword i32x4.load16x4_s] [keyword offset]=[number 64] [keyword align]=[number 0]',
+     '[keyword i32x4.load16x4_u] [keyword offset]=[number 64] [keyword align]=[number 0]',
+     '[keyword i64x2.load32x2_s] [keyword offset]=[number 64] [keyword align]=[number 0]',
+     '[keyword i64x2.load32x2_u] [keyword offset]=[number 64] [keyword align]=[number 0]',
+     '[keyword v8x16.load_splat] [keyword offset]=[number 64] [keyword align]=[number 0]',
+     '[keyword v16x8.load_splat] [keyword offset]=[number 64] [keyword align]=[number 0]',
+     '[keyword v32x4.load_splat] [keyword offset]=[number 64] [keyword align]=[number 0]',
+     '[keyword v64x2.load_splat] [keyword offset]=[number 64] [keyword align]=[number 0]',
      '[keyword v128.store] [keyword offset]=[number 32] [keyword align]=[number 4]',
      '[keyword v128.const] [number 0] [number 1] [number 2] [number 3] [number 4] [number 5] [number 6] [number 7] [number 8] [number 9] [number 10] [number 11] [number 12] [number 13] [number 14] [number 15]',
      '[keyword v8x16.shuffle] [number 0] [number 1] [number 2] [number 3] [number 4] [number 5] [number 6] [number 7] [number 8] [number 9] [number 10] [number 11] [number 12] [number 13] [number 14] [number 15]',
@@ -208,8 +218,8 @@
      '[keyword f64x2.le]',
      '[keyword f64x2.ge]',
      '[keyword v128.not]',
-     '[keyword v128.andnot]',
      '[keyword v128.and]',
+     '[keyword v128.andnot]',
      '[keyword v128.or]',
      '[keyword v128.xor]',
      '[keyword v128.bitselect]',
@@ -218,6 +228,8 @@
      '[keyword i8x16.any_true]',
      '[keyword i8x16.all_true]',
      '[keyword i8x16.bitmask]',
+     '[keyword i8x16.narrow_i16x8_s]',
+     '[keyword i8x16.narrow_i16x8_u]',
      '[keyword i8x16.shl]',
      '[keyword i8x16.shr_s]',
      '[keyword i8x16.shr_u]',
@@ -237,6 +249,12 @@
      '[keyword i16x8.any_true]',
      '[keyword i16x8.all_true]',
      '[keyword i16x8.bitmask]',
+     '[keyword i16x8.narrow_i32x4_s]',
+     '[keyword i16x8.narrow_i32x4_u]',
+     '[keyword i16x8.widen_low_i8x16_s]',
+     '[keyword i16x8.widen_high_i8x16_s]',
+     '[keyword i16x8.widen_low_i8x16_u]',
+     '[keyword i16x8.widen_high_i8x16_u]',
      '[keyword i16x8.shl]',
      '[keyword i16x8.shr_s]',
      '[keyword i16x8.shr_u]',
@@ -246,31 +264,38 @@
      '[keyword i16x8.sub]',
      '[keyword i16x8.sub_saturate_s]',
      '[keyword i16x8.sub_saturate_u]',
+     '[keyword i16x8.mul]',
      '[keyword i16x8.min_s]',
      '[keyword i16x8.min_u]',
      '[keyword i16x8.max_s]',
      '[keyword i16x8.max_u]',
      '[keyword i16x8.avgr_u]',
-     '[keyword i32x4.add]',
      '[keyword i32x4.abs]',
      '[keyword i32x4.neg]',
      '[keyword i32x4.any_true]',
      '[keyword i32x4.all_true]',
      '[keyword i32x4.bitmask]',
+     '[keyword i32x4.widen_low_i16x8_s]',
+     '[keyword i32x4.widen_high_i16x8_s]',
+     '[keyword i32x4.widen_low_i16x8_u]',
+     '[keyword i32x4.widen_high_i16x8_u]',
      '[keyword i32x4.shl]',
      '[keyword i32x4.shr_s]',
      '[keyword i32x4.shr_u]',
+     '[keyword i32x4.add]',
      '[keyword i32x4.sub]',
+     '[keyword i32x4.mul]',
      '[keyword i32x4.min_s]',
      '[keyword i32x4.min_u]',
      '[keyword i32x4.max_s]',
      '[keyword i32x4.max_u]',
-     '[keyword i64x2.add]',
      '[keyword i64x2.neg]',
      '[keyword i64x2.shl]',
      '[keyword i64x2.shr_s]',
      '[keyword i64x2.shr_u]',
+     '[keyword i64x2.add]',
      '[keyword i64x2.sub]',
+     '[keyword i64x2.mul]',
      '[keyword f32x4.abs]',
      '[keyword f32x4.neg]',
      '[keyword f32x4.sqrt]',
@@ -288,5 +313,9 @@
      '[keyword f64x2.mul]',
      '[keyword f64x2.div]',
      '[keyword f64x2.min]',
-     '[keyword f64x2.max]');
+     '[keyword f64x2.max]',
+     '[keyword i32x4.trunc_sat_f32x4_s]',
+     '[keyword i32x4.trunc_sat_f32x4_u]',
+     '[keyword f32x4.convert_i32x4_s]',
+     '[keyword f32x4.convert_i32x4_u]');
 })();

mode/wast/wast.js

@@ -14,7 +14,7 @@
 CodeMirror.defineSimpleMode('wast', {
   start: [
     {regex: /[+\-]?(?:nan(?::0x[0-9a-fA-F]+)?|infinity|inf|0x[0-9a-fA-F]+\.?[0-9a-fA-F]*p[+\/-]?\d+|\d+(?:\.\d*)?[eE][+\-]?\d*|\d+\.\d*|0x[0-9a-fA-F]+|\d+)/, token: "number"},
-    {regex: /mut|nop|block|if|then|else|loop|br_if|br_table|br|call(_indirect)?|drop|end|return(_call(_indirect)?)?|local\.(get|set|tee)|global\.(get|set)|i(32|64)\.(store(8|16)|(load(8|16)_[su]))|i64\.(load32_[su]|store32)|[fi](32|64)\.(const|load|store)|f(32|64)\.(abs|add|ceil|copysign|div|eq|floor|[gl][et]|max|min|mul|nearest|neg?|sqrt|sub|trunc)|i(32|64)\.(a[dn]d|c[lt]z|(div|rem)_[su]|eqz?|[gl][te]_[su]|mul|ne|popcnt|rot[lr]|sh(l|r_[su])|sub|x?or)|i64\.extend_[su]_i32|i32\.wrap_i64|i(32|64)\.trunc_f(32|64)_[su]|f(32|64)\.convert_i(32|64)_[su]|f64\.promote_f32|f32\.demote_f64|f32\.reinterpret_i32|i32\.reinterpret_f32|f64\.reinterpret_i64|i64\.reinterpret_f64|select|unreachable|current_memory|memory(\.((atomic\.(notify|wait(32|64)))|grow|size))?|type|func|param|result|local|global|module|table|start|elem|data|align|offset|import|export|i64\.atomic\.(load32_u|store32|rmw32\.(a[dn]d|sub|x?or|(cmp)?xchg)_u)|i(32|64)\.atomic\.(load((8|16)_u)?|store(8|16)?|rmw(\.(a[dn]d|sub|x?or|(cmp)?xchg)|(8|16)\.(a[dn]d|sub|x?or|(cmp)?xchg)_u))|v128\.(load|store|const|not|andnot|and|or|xor|bitselect)|i(8x16|16x8|32x4|64x2)\.(shl|shr_[su])|i(8x16|16x8)\.(extract_lane_[su]|((add|sub)_saturate_[su])|avgr_u)|(i(8x16|16x8|32x4|64x2)|f(32x4|64x2))\.(splat|replace_lane|neg|add|sub)|i(8x16|16x8|32x4)\.(eq|ne|([lg][te]_[su])|abs|any_true|all_true|bitmask|((min|max)_[su]))|f(32x4|64x2)\.(eq|ne|[lg][te]|abs|sqrt|mul|div|min|max)|[fi](32x4|64x2)\.extract_lane|v8x16\.(shuffle|swizzle)/, token: "keyword"},
+    {regex: /mut|nop|block|if|then|else|loop|br_if|br_table|br|call(_indirect)?|drop|end|return(_call(_indirect)?)?|local\.(get|set|tee)|global\.(get|set)|i(32|64)\.(store(8|16)|(load(8|16)_[su]))|i64\.(load32_[su]|store32)|[fi](32|64)\.(const|load|store)|f(32|64)\.(abs|add|ceil|copysign|div|eq|floor|[gl][et]|max|min|mul|nearest|neg?|sqrt|sub|trunc)|i(32|64)\.(a[dn]d|c[lt]z|(div|rem)_[su]|eqz?|[gl][te]_[su]|mul|ne|popcnt|rot[lr]|sh(l|r_[su])|sub|x?or)|i64\.extend_[su]_i32|i32\.wrap_i64|i(32|64)\.trunc_f(32|64)_[su]|f(32|64)\.convert_i(32|64)_[su]|f64\.promote_f32|f32\.demote_f64|f32\.reinterpret_i32|i32\.reinterpret_f32|f64\.reinterpret_i64|i64\.reinterpret_f64|select|unreachable|current_memory|memory(\.((atomic\.(notify|wait(32|64)))|grow|size))?|type|func|param|result|local|global|module|table|start|elem|data|align|offset|import|export|i64\.atomic\.(load32_u|store32|rmw32\.(a[dn]d|sub|x?or|(cmp)?xchg)_u)|i(32|64)\.atomic\.(load((8|16)_u)?|store(8|16)?|rmw(\.(a[dn]d|sub|x?or|(cmp)?xchg)|(8|16)\.(a[dn]d|sub|x?or|(cmp)?xchg)_u))|v128\.(load|store|const|not|andnot|and|or|xor|bitselect)|i(8x16|16x8|32x4|64x2)\.(shl|shr_[su])|i(8x16|16x8)\.(extract_lane_[su]|((add|sub)_saturate_[su])|avgr_u)|(i(8x16|16x8|32x4|64x2)|f(32x4|64x2))\.(splat|replace_lane|neg|add|sub)|i(8x16|16x8|32x4)\.(eq|ne|([lg][te]_[su])|abs|any_true|all_true|bitmask|((min|max)_[su]))|f(32x4|64x2)\.(eq|ne|[lg][te]|abs|sqrt|mul|div|min|max)|[fi](32x4|64x2)\.extract_lane|v8x16\.(shuffle|swizzle)|i16x8\.(load8x8_[su]|narrow_i32x4_[su]|widen_(low|high)_i8x16_[su]|mul)|i32x4\.(load16x4_[su]|widen_(low|high)_i16x8_[su]|mul|trunc_sat_f32x4_[su])|i64x2\.(load32x2_[su]|mul)|(v(8x16|16x8|32x4|64x2)\.load_splat)|i8x16\.narrow_i16x8_[su]|f32x4\.convert_i32x4_[su]/, token: "keyword"},
     {regex: /\b(anyfunc|[fi](32|64))\b/, token: "atom"},
     {regex: /\$([a-zA-Z0-9_`\+\-\*\/\\\^~=<>!\?@#$%&|:\.]+)/, token: "variable-2"},
     {regex: /"(?:[^"\\\x00-\x1f\x7f]|\\[nt\\'"]|\\[0-9a-fA-F][0-9a-fA-F])*"/, token: "string"},