review.tizen.org Git - platform/framework/web/lwnode.git/blob

   1 ;; Tests for the *_splat instructions
   2
   3 (module
   4   (func (export "i8x16.splat") (param i32) (result v128) (i8x16.splat (local.get 0)))
   5   (func (export "i16x8.splat") (param i32) (result v128) (i16x8.splat (local.get 0)))
   6   (func (export "i32x4.splat") (param i32) (result v128) (i32x4.splat (local.get 0)))
   7   (func (export "f32x4.splat") (param f32) (result v128) (f32x4.splat (local.get 0)))
   8   (func (export "i64x2.splat") (param i64) (result v128) (i64x2.splat (local.get 0)))
   9   (func (export "f64x2.splat") (param f64) (result v128) (f64x2.splat (local.get 0)))
  10 )
  11
  12 (assert_return (invoke "i8x16.splat" (i32.const 0)) (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
  13 (assert_return (invoke "i8x16.splat" (i32.const 5)) (v128.const i8x16 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5))
  14 (assert_return (invoke "i8x16.splat" (i32.const -5)) (v128.const i8x16 -5 -5 -5 -5 -5 -5 -5 -5 -5 -5 -5 -5 -5 -5 -5 -5))
  15 (assert_return (invoke "i8x16.splat" (i32.const 257)) (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1))
  16 (assert_return (invoke "i8x16.splat" (i32.const 0xff)) (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1))
  17 (assert_return (invoke "i8x16.splat" (i32.const -128)) (v128.const i8x16 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128))
  18 (assert_return (invoke "i8x16.splat" (i32.const 127)) (v128.const i8x16 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127))
  19 (assert_return (invoke "i8x16.splat" (i32.const -129)) (v128.const i8x16 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127))
  20 (assert_return (invoke "i8x16.splat" (i32.const 128)) (v128.const i8x16 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128 -128))
  21 (assert_return (invoke "i8x16.splat" (i32.const 0xff7f)) (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f))
  22 (assert_return (invoke "i8x16.splat" (i32.const 0x80)) (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80))
  23 (assert_return (invoke "i8x16.splat" (i32.const 0xAB)) (v128.const i32x4 0xABABABAB 0xABABABAB 0xABABABAB 0xABABABAB))
  24
  25 (assert_return (invoke "i16x8.splat" (i32.const 0)) (v128.const i16x8 0 0 0 0 0 0 0 0))
  26 (assert_return (invoke "i16x8.splat" (i32.const 5)) (v128.const i16x8 5 5 5 5 5 5 5 5))
  27 (assert_return (invoke "i16x8.splat" (i32.const -5)) (v128.const i16x8 -5 -5 -5 -5 -5 -5 -5 -5))
  28 (assert_return (invoke "i16x8.splat" (i32.const 65537)) (v128.const i16x8 1 1 1 1 1 1 1 1))
  29 (assert_return (invoke "i16x8.splat" (i32.const 0xffff)) (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1))
  30 (assert_return (invoke "i16x8.splat" (i32.const -32768)) (v128.const i16x8 -32768 -32768 -32768 -32768 -32768 -32768 -32768 -32768))
  31 (assert_return (invoke "i16x8.splat" (i32.const 32767)) (v128.const i16x8 32767 32767 32767 32767 32767 32767 32767 32767))
  32 (assert_return (invoke "i16x8.splat" (i32.const -32769)) (v128.const i16x8 32767 32767 32767 32767 32767 32767 32767 32767))
  33 (assert_return (invoke "i16x8.splat" (i32.const 32768)) (v128.const i16x8 -32768 -32768 -32768 -32768 -32768 -32768 -32768 -32768))
  34 (assert_return (invoke "i16x8.splat" (i32.const 0xffff7fff)) (v128.const i16x8 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff))
  35 (assert_return (invoke "i16x8.splat" (i32.const 0x8000)) (v128.const i16x8 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000))
  36 (assert_return (invoke "i16x8.splat" (i32.const 0xABCD)) (v128.const i32x4 0xABCDABCD 0xABCDABCD 0xABCDABCD 0xABCDABCD))
  37 (assert_return (invoke "i16x8.splat" (i32.const 012345)) (v128.const i16x8 012_345 012_345 012_345 012_345 012_345 012_345 012_345 012_345))
  38 (assert_return (invoke "i16x8.splat" (i32.const 0x01234)) (v128.const i16x8 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234))
  39
  40 (assert_return (invoke "i32x4.splat" (i32.const 0)) (v128.const i32x4 0 0 0 0))
  41 (assert_return (invoke "i32x4.splat" (i32.const 5)) (v128.const i32x4 5 5 5 5))
  42 (assert_return (invoke "i32x4.splat" (i32.const -5)) (v128.const i32x4 -5 -5 -5 -5))
  43 (assert_return (invoke "i32x4.splat" (i32.const 0xffffffff)) (v128.const i32x4 -1 -1 -1 -1))
  44 (assert_return (invoke "i32x4.splat" (i32.const 4294967295)) (v128.const i32x4 -1 -1 -1 -1))
  45 (assert_return (invoke "i32x4.splat" (i32.const -2147483648)) (v128.const i32x4 0x80000000 0x80000000 0x80000000 0x80000000))
  46 (assert_return (invoke "i32x4.splat" (i32.const 2147483647)) (v128.const i32x4 0x7fffffff 0x7fffffff 0x7fffffff 0x7fffffff))
  47 (assert_return (invoke "i32x4.splat" (i32.const 2147483648)) (v128.const i32x4 0x80000000 0x80000000 0x80000000 0x80000000))
  48 (assert_return (invoke "i32x4.splat" (i32.const 01234567890)) (v128.const i32x4 012_3456_7890 012_3456_7890 012_3456_7890 012_3456_7890))
  49 (assert_return (invoke "i32x4.splat" (i32.const 0x012345678)) (v128.const i32x4 0x0_1234_5678 0x0_1234_5678 0x0_1234_5678 0x0_1234_5678))
  50
  51 (assert_return (invoke "f32x4.splat" (f32.const 0.0)) (v128.const f32x4 0.0 0.0 0.0 0.0))
  52 (assert_return (invoke "f32x4.splat" (f32.const 1.1)) (v128.const f32x4 1.1 1.1 1.1 1.1))
  53 (assert_return (invoke "f32x4.splat" (f32.const -1.1)) (v128.const f32x4 -1.1 -1.1 -1.1 -1.1))
  54 (assert_return (invoke "f32x4.splat" (f32.const 1e38)) (v128.const f32x4 1e38 1e38 1e38 1e38))
  55 (assert_return (invoke "f32x4.splat" (f32.const -1e38)) (v128.const f32x4 -1e38 -1e38 -1e38 -1e38))
  56 (assert_return (invoke "f32x4.splat" (f32.const 0x1.fffffep127)) (v128.const f32x4 0x1.fffffep127 0x1.fffffep127 0x1.fffffep127 0x1.fffffep127))
  57 (assert_return (invoke "f32x4.splat" (f32.const -0x1.fffffep127)) (v128.const f32x4 -0x1.fffffep127 -0x1.fffffep127 -0x1.fffffep127 -0x1.fffffep127))
  58 (assert_return (invoke "f32x4.splat" (f32.const 0x1p127)) (v128.const f32x4 0x1p127 0x1p127 0x1p127 0x1p127))
  59 (assert_return (invoke "f32x4.splat" (f32.const -0x1p127)) (v128.const f32x4 -0x1p127 -0x1p127 -0x1p127 -0x1p127))
  60 (assert_return (invoke "f32x4.splat" (f32.const inf)) (v128.const f32x4 inf inf inf inf))
  61 (assert_return (invoke "f32x4.splat" (f32.const -inf)) (v128.const f32x4 -inf -inf -inf -inf))
  62 (assert_return (invoke "f32x4.splat" (f32.const nan)) (v128.const f32x4 nan nan nan nan))
  63 (assert_return (invoke "f32x4.splat" (f32.const nan:0x1)) (v128.const f32x4 nan:0x1 nan:0x1 nan:0x1 nan:0x1))
  64 (assert_return (invoke "f32x4.splat" (f32.const nan:0x7f_ffff)) (v128.const f32x4 nan:0x7f_ffff nan:0x7f_ffff nan:0x7f_ffff nan:0x7f_ffff))
  65 (assert_return (invoke "f32x4.splat" (f32.const 0123456789)) (v128.const f32x4 0123456789 0123456789 0123456789 0123456789))
  66 (assert_return (invoke "f32x4.splat" (f32.const 0123456789.)) (v128.const f32x4 0123456789. 0123456789. 0123456789. 0123456789.))
  67 (assert_return (invoke "f32x4.splat" (f32.const 0x0123456789ABCDEF)) (v128.const f32x4 0x0123456789ABCDEF 0x0123456789ABCDEF 0x0123456789ABCDEF 0x0123456789ABCDEF))
  68 (assert_return (invoke "f32x4.splat" (f32.const 0x0123456789ABCDEF.)) (v128.const f32x4 0x0123456789ABCDEF. 0x0123456789ABCDEF. 0x0123456789ABCDEF. 0x0123456789ABCDEF.))
  69 (assert_return (invoke "f32x4.splat" (f32.const 0123456789e019)) (v128.const f32x4 0123456789e019 0123456789e019 0123456789e019 0123456789e019))
  70 (assert_return (invoke "f32x4.splat" (f32.const 0123456789.e+019)) (v128.const f32x4 0123456789.e+019 0123456789.e+019 0123456789.e+019 0123456789.e+019))
  71 (assert_return (invoke "f32x4.splat" (f32.const 0x0123456789ABCDEFp019)) (v128.const f32x4 0x0123456789ABCDEFp019 0x0123456789ABCDEFp019 0x0123456789ABCDEFp019 0x0123456789ABCDEFp019))
  72 (assert_return (invoke "f32x4.splat" (f32.const 0x0123456789ABCDEF.p-019)) (v128.const f32x4 0x0123456789ABCDEF.p-019 0x0123456789ABCDEF.p-019 0x0123456789ABCDEF.p-019 0x0123456789ABCDEF.p-019))
  73
  74 (assert_return (invoke "i64x2.splat" (i64.const 0)) (v128.const i64x2 0 0))
  75 (assert_return (invoke "i64x2.splat" (i64.const -0)) (v128.const i64x2 0 0))
  76 (assert_return (invoke "i64x2.splat" (i64.const 1)) (v128.const i64x2 1 1))
  77 (assert_return (invoke "i64x2.splat" (i64.const -1)) (v128.const i64x2 -1 -1))
  78 (assert_return (invoke "i64x2.splat" (i64.const -9223372036854775808)) (v128.const i64x2 -9223372036854775808 -9223372036854775808))
  79 (assert_return (invoke "i64x2.splat" (i64.const -9223372036854775808)) (v128.const i64x2 9223372036854775808 9223372036854775808))
  80 (assert_return (invoke "i64x2.splat" (i64.const 9223372036854775807)) (v128.const i64x2 9223372036854775807 9223372036854775807))
  81 (assert_return (invoke "i64x2.splat" (i64.const 18446744073709551615)) (v128.const i64x2 -1 -1))
  82 (assert_return (invoke "i64x2.splat" (i64.const 0x7fffffffffffffff)) (v128.const i64x2 0x7fffffffffffffff 0x7fffffffffffffff))
  83 (assert_return (invoke "i64x2.splat" (i64.const 0xffffffffffffffff)) (v128.const i64x2 -1 -1))
  84 (assert_return (invoke "i64x2.splat" (i64.const -0x8000000000000000)) (v128.const i64x2 -0x8000000000000000 -0x8000000000000000))
  85 (assert_return (invoke "i64x2.splat" (i64.const -0x8000000000000000)) (v128.const i64x2 0x8000000000000000 0x8000000000000000))
  86 (assert_return (invoke "i64x2.splat" (i64.const 01234567890123456789)) (v128.const i64x2 01_234_567_890_123_456_789 01_234_567_890_123_456_789))
  87 (assert_return (invoke "i64x2.splat" (i64.const 0x01234567890ABcdef)) (v128.const i64x2 0x0_1234_5678_90AB_cdef 0x0_1234_5678_90AB_cdef))
  88
  89 (assert_return (invoke "f64x2.splat" (f64.const 0.0)) (v128.const f64x2 0.0 0.0))
  90 (assert_return (invoke "f64x2.splat" (f64.const -0.0)) (v128.const f64x2 -0.0 -0.0))
  91 (assert_return (invoke "f64x2.splat" (f64.const 1.1)) (v128.const f64x2 1.1 1.1))
  92 (assert_return (invoke "f64x2.splat" (f64.const -1.1)) (v128.const f64x2 -1.1 -1.1))
  93 (assert_return (invoke "f64x2.splat" (f64.const 0x0.0000000000001p-1022)) (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
  94 (assert_return (invoke "f64x2.splat" (f64.const -0x0.0000000000001p-1022)) (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
  95 (assert_return (invoke "f64x2.splat" (f64.const 0x1p-1022)) (v128.const f64x2 0x1p-1022 0x1p-1022))
  96 (assert_return (invoke "f64x2.splat" (f64.const -0x1p-1022)) (v128.const f64x2 -0x1p-1022 -0x1p-1022))
  97 (assert_return (invoke "f64x2.splat" (f64.const 0x1p-1)) (v128.const f64x2 0x1p-1 0x1p-1))
  98 (assert_return (invoke "f64x2.splat" (f64.const -0x1p-1)) (v128.const f64x2 -0x1p-1 -0x1p-1))
  99 (assert_return (invoke "f64x2.splat" (f64.const 0x1p+0)) (v128.const f64x2 0x1p+0 0x1p+0))
 100 (assert_return (invoke "f64x2.splat" (f64.const -0x1p+0)) (v128.const f64x2 -0x1p+0 -0x1p+0))
 101 (assert_return (invoke "f64x2.splat" (f64.const 0x1.921fb54442d18p+2)) (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
 102 (assert_return (invoke "f64x2.splat" (f64.const -0x1.921fb54442d18p+2)) (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
 103 (assert_return (invoke "f64x2.splat" (f64.const 0x1.fffffffffffffp+1023)) (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
 104 (assert_return (invoke "f64x2.splat" (f64.const -0x1.fffffffffffffp+1023)) (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
 105 (assert_return (invoke "f64x2.splat" (f64.const inf)) (v128.const f64x2 inf inf))
 106 (assert_return (invoke "f64x2.splat" (f64.const -inf)) (v128.const f64x2 -inf -inf))
 107 (assert_return (invoke "f64x2.splat" (f64.const nan)) (v128.const f64x2 nan nan))
 108 (assert_return (invoke "f64x2.splat" (f64.const -nan)) (v128.const f64x2 -nan -nan))
 109 (assert_return (invoke "f64x2.splat" (f64.const nan:0x4000000000000)) (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000))
 110 (assert_return (invoke "f64x2.splat" (f64.const -nan:0x4000000000000)) (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000))
 111 (assert_return (invoke "f64x2.splat" (f64.const 0123456789)) (v128.const f64x2 0123456789 0123456789))
 112 (assert_return (invoke "f64x2.splat" (f64.const 0123456789.)) (v128.const f64x2 0123456789. 0123456789.))
 113 (assert_return (invoke "f64x2.splat" (f64.const 0x0123456789ABCDEFabcdef)) (v128.const f64x2 0x0123456789ABCDEFabcdef 0x0123456789ABCDEFabcdef))
 114 (assert_return (invoke "f64x2.splat" (f64.const 0x0123456789ABCDEFabcdef.)) (v128.const f64x2 0x0123456789ABCDEFabcdef. 0x0123456789ABCDEFabcdef.))
 115 (assert_return (invoke "f64x2.splat" (f64.const 0123456789e019)) (v128.const f64x2 0123456789e019 0123456789e019))
 116 (assert_return (invoke "f64x2.splat" (f64.const 0123456789e+019)) (v128.const f64x2 0123456789e+019 0123456789e+019))
 117 (assert_return (invoke "f64x2.splat" (f64.const 0x0123456789ABCDEFabcdef.p019)) (v128.const f64x2 0x0123456789ABCDEFabcdef.p019 0x0123456789ABCDEFabcdef.p019))
 118 (assert_return (invoke "f64x2.splat" (f64.const 0x0123456789ABCDEFabcdef.p-019)) (v128.const f64x2 0x0123456789ABCDEFabcdef.p-019 0x0123456789ABCDEFabcdef.p-019))
 119
 120 ;; Unknown operator
 121
 122 (assert_malformed (module quote "(func (result v128) (v128.splat (i32.const 0)))") "unknown operator")
 123
 124
 125 ;; Type mismatched
 126
 127 (assert_invalid (module (func (result v128) i8x16.splat (i64.const 0))) "type mismatch")
 128 (assert_invalid (module (func (result v128) i8x16.splat (f32.const 0.0))) "type mismatch")
 129 (assert_invalid (module (func (result v128) i8x16.splat (f64.const 0.0))) "type mismatch")
 130 (assert_invalid (module (func (result v128) i16x8.splat (i64.const 1))) "type mismatch")
 131 (assert_invalid (module (func (result v128) i16x8.splat (f32.const 1.0))) "type mismatch")
 132 (assert_invalid (module (func (result v128) i16x8.splat (f64.const 1.0))) "type mismatch")
 133 (assert_invalid (module (func (result v128) i32x4.splat (i64.const 2))) "type mismatch")
 134 (assert_invalid (module (func (result v128) i32x4.splat (f32.const 2.0))) "type mismatch")
 135 (assert_invalid (module (func (result v128) i32x4.splat (f64.const 2.0))) "type mismatch")
 136 (assert_invalid (module (func (result v128) f32x4.splat (i32.const 4))) "type mismatch")
 137 (assert_invalid (module (func (result v128) f32x4.splat (i64.const 4))) "type mismatch")
 138 (assert_invalid (module (func (result v128) f32x4.splat (f64.const 4.0))) "type mismatch")
 139 (assert_invalid (module (func (result v128) i64x2.splat (i32.const 0))) "type mismatch")
 140 (assert_invalid (module (func (result v128) i64x2.splat (f64.const 0.0))) "type mismatch")
 141 (assert_invalid (module (func (result v128) f64x2.splat (i32.const 0))) "type mismatch")
 142 (assert_invalid (module (func (result v128) f64x2.splat (f32.const 0.0))) "type mismatch")
 143
 144
 145 ;; V128 splat operators as the argument of other SIMD instructions
 146
 147 ;; v128.store and v128.load
 148 (module (memory 1)
 149   (func (export "as-v128_store-operand-1") (param i32) (result v128)
 150     (v128.store (i32.const 0) (i8x16.splat (local.get 0)))
 151     (v128.load (i32.const 0)))
 152   (func (export "as-v128_store-operand-2") (param i32) (result v128)
 153     (v128.store (i32.const 0) (i16x8.splat (local.get 0)))
 154     (v128.load (i32.const 0)))
 155   (func (export "as-v128_store-operand-3") (param i32) (result v128)
 156     (v128.store (i32.const 0) (i32x4.splat (local.get 0)))
 157     (v128.load (i32.const 0)))
 158   (func (export "as-v128_store-operand-4") (param i64) (result v128)
 159     (v128.store (i32.const 0) (i64x2.splat (local.get 0)))
 160     (v128.load (i32.const 0)))
 161   (func (export "as-v128_store-operand-5") (param f64) (result v128)
 162     (v128.store (i32.const 0) (f64x2.splat (local.get 0)))
 163     (v128.load (i32.const 0)))
 164 )
 165
 166 (assert_return (invoke "as-v128_store-operand-1" (i32.const 1)) (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1))
 167 (assert_return (invoke "as-v128_store-operand-2" (i32.const 256)) (v128.const i16x8 0x100 0x100 0x100 0x100 0x100 0x100 0x100 0x100))
 168 (assert_return (invoke "as-v128_store-operand-3" (i32.const 0xffffffff)) (v128.const i32x4 -1 -1 -1 -1))
 169 (assert_return (invoke "as-v128_store-operand-4" (i64.const 1)) (v128.const i64x2 1 1))
 170 (assert_return (invoke "as-v128_store-operand-5" (f64.const -0x1p+0)) (v128.const f64x2 -0x1p+0 -0x1p+0))
 171
 172 (module
 173   ;; Accessing lane
 174   (func (export "as-i8x16_extract_lane_s-operand-first") (param i32) (result i32)
 175     (i8x16.extract_lane_s 0 (i8x16.splat (local.get 0))))
 176   (func (export "as-i8x16_extract_lane_s-operand-last") (param i32) (result i32)
 177     (i8x16.extract_lane_s 15 (i8x16.splat (local.get 0))))
 178   (func (export "as-i16x8_extract_lane_s-operand-first") (param i32) (result i32)
 179     (i16x8.extract_lane_s 0 (i16x8.splat (local.get 0))))
 180   (func (export "as-i16x8_extract_lane_s-operand-last") (param i32) (result i32)
 181     (i16x8.extract_lane_s 7 (i16x8.splat (local.get 0))))
 182   (func (export "as-i32x4_extract_lane_s-operand-first") (param i32) (result i32)
 183     (i32x4.extract_lane 0 (i32x4.splat (local.get 0))))
 184   (func (export "as-i32x4_extract_lane_s-operand-last") (param i32) (result i32)
 185     (i32x4.extract_lane 3 (i32x4.splat (local.get 0))))
 186   (func (export "as-f32x4_extract_lane_s-operand-first") (param f32) (result f32)
 187     (f32x4.extract_lane 0 (f32x4.splat (local.get 0))))
 188   (func (export "as-f32x4_extract_lane_s-operand-last") (param f32) (result f32)
 189     (f32x4.extract_lane 3 (f32x4.splat (local.get 0))))
 190   (func (export "as-v8x16_swizzle-operands") (param i32) (param i32) (result v128)
 191     (i8x16.swizzle (i8x16.splat (local.get 0)) (i8x16.splat (local.get 1))))
 192   (func (export "as-i64x2_extract_lane-operand-first") (param i64) (result i64)
 193     (i64x2.extract_lane 0 (i64x2.splat (local.get 0))))
 194   (func (export "as-i64x2_extract_lane-operand-last") (param i64) (result i64)
 195     (i64x2.extract_lane 1 (i64x2.splat (local.get 0))))
 196   (func (export "as-f64x2_extract_lane-operand-first") (param f64) (result f64)
 197     (f64x2.extract_lane 0 (f64x2.splat (local.get 0))))
 198   (func (export "as-f64x2_extract_lane-operand-last") (param f64) (result f64)
 199     (f64x2.extract_lane 1 (f64x2.splat (local.get 0))))
 200
 201   ;; Integer arithmetic
 202   (func (export "as-i8x16_add_sub-operands") (param i32 i32 i32) (result v128)
 203     (i8x16.add (i8x16.splat (local.get 0))
 204       (i8x16.sub (i8x16.splat (local.get 1)) (i8x16.splat (local.get 2)))))
 205   (func (export "as-i16x8_add_sub_mul-operands") (param i32 i32 i32 i32) (result v128)
 206     (i16x8.add (i16x8.splat (local.get 0))
 207       (i16x8.sub (i16x8.splat (local.get 1))
 208         (i16x8.mul (i16x8.splat (local.get 2)) (i16x8.splat (local.get 3))))))
 209   (func (export "as-i32x4_add_sub_mul-operands") (param i32 i32 i32 i32) (result v128)
 210     (i32x4.add (i32x4.splat (local.get 0))
 211       (i32x4.sub (i32x4.splat (local.get 1))
 212         (i32x4.mul (i32x4.splat (local.get 2)) (i32x4.splat (local.get 3))))))
 213
 214   (func (export "as-i64x2_add_sub_mul-operands") (param i64 i64 i64 i64) (result v128)
 215     (i64x2.add (i64x2.splat (local.get 0))
 216       (i64x2.sub (i64x2.splat (local.get 1))
 217         (i64x2.mul (i64x2.splat (local.get 2)) (i64x2.splat (local.get 3))))))
 218   (func (export "as-f64x2_add_sub_mul-operands") (param f64 f64 f64 f64) (result v128)
 219     (f64x2.add (f64x2.splat (local.get 0))
 220       (f64x2.sub (f64x2.splat (local.get 1))
 221         (f64x2.mul (f64x2.splat (local.get 2)) (f64x2.splat (local.get 3))))))
 222
 223   ;; Saturating integer arithmetic
 224   (func (export "as-i8x16_add_sat_s-operands") (param i32 i32) (result v128)
 225     (i8x16.add_sat_s (i8x16.splat (local.get 0)) (i8x16.splat (local.get 1))))
 226   (func (export "as-i16x8_add_sat_s-operands") (param i32 i32) (result v128)
 227     (i16x8.add_sat_s (i16x8.splat (local.get 0)) (i16x8.splat (local.get 1))))
 228   (func (export "as-i8x16_sub_sat_u-operands") (param i32 i32) (result v128)
 229     (i8x16.sub_sat_u (i8x16.splat (local.get 0)) (i8x16.splat (local.get 1))))
 230   (func (export "as-i16x8_sub_sat_u-operands") (param i32 i32) (result v128)
 231     (i16x8.sub_sat_u (i16x8.splat (local.get 0)) (i16x8.splat (local.get 1))))
 232
 233   ;; Bit shifts
 234   (func (export "as-i8x16_shr_s-operand") (param i32 i32) (result v128)
 235     (i8x16.shr_s (i8x16.splat (local.get 0)) (local.get 1)))
 236   (func (export "as-i16x8_shr_s-operand") (param i32 i32) (result v128)
 237     (i16x8.shr_s (i16x8.splat (local.get 0)) (local.get 1)))
 238   (func (export "as-i32x4_shr_s-operand") (param i32 i32) (result v128)
 239     (i32x4.shr_s (i32x4.splat (local.get 0)) (local.get 1)))
 240
 241   ;; Bitwise operantions
 242   (func (export "as-v128_and-operands") (param i32 i32) (result v128)
 243     (v128.and (i8x16.splat (local.get 0)) (i8x16.splat (local.get 1))))
 244   (func (export "as-v128_or-operands") (param i32 i32) (result v128)
 245     (v128.or (i16x8.splat (local.get 0)) (i16x8.splat (local.get 1))))
 246   (func (export "as-v128_xor-operands") (param i32 i32) (result v128)
 247     (v128.xor (i32x4.splat (local.get 0)) (i32x4.splat (local.get 1))))
 248
 249   ;; Boolean horizontal reductions
 250   (func (export "as-i8x16_all_true-operand") (param i32) (result i32)
 251     (i8x16.all_true (i8x16.splat (local.get 0))))
 252   (func (export "as-i16x8_all_true-operand") (param i32) (result i32)
 253     (i16x8.all_true (i16x8.splat (local.get 0))))
 254   (func (export "as-i32x4_all_true-operand1") (param i32) (result i32)
 255     (i32x4.all_true (i32x4.splat (local.get 0))))
 256   (func (export "as-i32x4_all_true-operand2") (param i64) (result i32)
 257     (i32x4.all_true (i64x2.splat (local.get 0))))
 258
 259   ;; Comparisons
 260   (func (export "as-i8x16_eq-operands") (param i32 i32) (result v128)
 261     (i8x16.eq (i8x16.splat (local.get 0)) (i8x16.splat (local.get 1))))
 262   (func (export "as-i16x8_eq-operands") (param i32 i32) (result v128)
 263     (i16x8.eq (i16x8.splat (local.get 0)) (i16x8.splat (local.get 1))))
 264   (func (export "as-i32x4_eq-operands1") (param i32 i32) (result v128)
 265     (i32x4.eq (i32x4.splat (local.get 0)) (i32x4.splat (local.get 1))))
 266   (func (export "as-i32x4_eq-operands2") (param i64 i64) (result v128)
 267     (i32x4.eq (i64x2.splat (local.get 0)) (i64x2.splat (local.get 1))))
 268   (func (export "as-f32x4_eq-operands") (param f32 f32) (result v128)
 269     (f32x4.eq (f32x4.splat (local.get 0)) (f32x4.splat (local.get 1))))
 270   (func (export "as-f64x2_eq-operands") (param f64 f64) (result v128)
 271     (f64x2.eq (f64x2.splat (local.get 0)) (f64x2.splat (local.get 1))))
 272
 273   ;; Floating-point sign bit operations
 274   (func (export "as-f32x4_abs-operand") (param f32) (result v128)
 275     (f32x4.abs (f32x4.splat (local.get 0))))
 276
 277   ;; Floating-point min
 278   (func (export "as-f32x4_min-operands") (param f32 f32) (result v128)
 279     (f32x4.min (f32x4.splat (local.get 0)) (f32x4.splat (local.get 1))))
 280
 281   ;; Floating-point arithmetic
 282   (func (export "as-f32x4_div-operands") (param f32 f32) (result v128)
 283     (f32x4.div (f32x4.splat (local.get 0)) (f32x4.splat (local.get 1))))
 284
 285   ;; Conversions
 286   (func (export "as-f32x4_convert_s_i32x4-operand") (param i32) (result v128)
 287     (f32x4.convert_i32x4_s (i32x4.splat (local.get 0))))
 288   (func (export "as-i32x4_trunc_s_f32x4_sat-operand") (param f32) (result v128)
 289     (i32x4.trunc_sat_f32x4_s (f32x4.splat (local.get 0))))
 290 )
 291
 292 (assert_return (invoke "as-i8x16_extract_lane_s-operand-first" (i32.const 42)) (i32.const 42))
 293 (assert_return (invoke "as-i8x16_extract_lane_s-operand-last" (i32.const -42)) (i32.const -42))
 294 (assert_return (invoke "as-i16x8_extract_lane_s-operand-first" (i32.const 0xffff7fff)) (i32.const 32767))
 295 (assert_return (invoke "as-i16x8_extract_lane_s-operand-last" (i32.const 0x8000)) (i32.const -32768))
 296 (assert_return (invoke "as-i32x4_extract_lane_s-operand-first" (i32.const 0x7fffffff)) (i32.const 2147483647))
 297 (assert_return (invoke "as-i32x4_extract_lane_s-operand-last" (i32.const 0x80000000)) (i32.const -2147483648))
 298 (assert_return (invoke "as-f32x4_extract_lane_s-operand-first" (f32.const 1.5)) (f32.const 1.5))
 299 (assert_return (invoke "as-f32x4_extract_lane_s-operand-last" (f32.const -0.25)) (f32.const -0.25))
 300 (assert_return (invoke "as-v8x16_swizzle-operands" (i32.const 1) (i32.const -1)) (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 301 (assert_return (invoke "as-i64x2_extract_lane-operand-last" (i64.const -42)) (i64.const -42))
 302 (assert_return (invoke "as-i64x2_extract_lane-operand-first" (i64.const 42)) (i64.const 42))
 303 (assert_return (invoke "as-f64x2_extract_lane-operand-first" (f64.const 1.5)) (f64.const 1.5))
 304 (assert_return (invoke "as-f64x2_extract_lane-operand-last" (f64.const -0x1p+0)) (f64.const -0x1p+0))
 305
 306 (assert_return (invoke "as-i8x16_add_sub-operands" (i32.const 3) (i32.const 2) (i32.const 1)) (v128.const i8x16 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4))
 307 (assert_return (invoke "as-i16x8_add_sub_mul-operands" (i32.const 257) (i32.const 128) (i32.const 16) (i32.const 16)) (v128.const i16x8 129 129 129 129 129 129 129 129))
 308 (assert_return (invoke "as-i32x4_add_sub_mul-operands" (i32.const 65535) (i32.const 65537) (i32.const 256) (i32.const 256)) (v128.const i32x4 0x10000 0x10000 0x10000 0x10000))
 309 (assert_return (invoke "as-i64x2_add_sub_mul-operands" (i64.const 0x7fffffff) (i64.const 0x1_0000_0001) (i64.const 65536) (i64.const 65536)) (v128.const i64x2 0x8000_0000 0x8000_0000))
 310 (assert_return (invoke "as-f64x2_add_sub_mul-operands" (f64.const 0x1p-1) (f64.const 0.75) (f64.const 0x1p-1) (f64.const 0.5)) (v128.const f64x2 0x1p+0 0x1p+0))
 311
 312 (assert_return (invoke "as-i8x16_add_sat_s-operands" (i32.const 0x7f) (i32.const 1)) (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f))
 313 (assert_return (invoke "as-i16x8_add_sat_s-operands" (i32.const 0x7fff) (i32.const 1)) (v128.const i16x8 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff))
 314 (assert_return (invoke "as-i8x16_sub_sat_u-operands" (i32.const 0x7f) (i32.const 0xff)) (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 315 (assert_return (invoke "as-i16x8_sub_sat_u-operands" (i32.const 0x7fff) (i32.const 0xffff)) (v128.const i16x8 0 0 0 0 0 0 0 0))
 316
 317 (assert_return (invoke "as-i8x16_shr_s-operand" (i32.const 0xf0) (i32.const 3)) (v128.const i8x16 -2 -2 -2 -2 -2 -2 -2 -2 -2 -2 -2 -2 -2 -2 -2 -2))
 318 (assert_return (invoke "as-i16x8_shr_s-operand" (i32.const 0x100) (i32.const 4)) (v128.const i16x8 16 16 16 16 16 16 16 16))
 319 (assert_return (invoke "as-i32x4_shr_s-operand" (i32.const -1) (i32.const 16)) (v128.const i32x4 -1 -1 -1 -1))
 320
 321 (assert_return (invoke "as-v128_and-operands" (i32.const 0x11) (i32.const 0xff)) (v128.const i8x16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17))
 322 (assert_return (invoke "as-v128_or-operands" (i32.const 0) (i32.const 0xffff)) (v128.const i16x8 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff))
 323 (assert_return (invoke "as-v128_xor-operands" (i32.const 0xf0f0f0f0) (i32.const 0xffffffff)) (v128.const i32x4 0xf0f0f0f 0xf0f0f0f 0xf0f0f0f 0xf0f0f0f))
 324
 325 (assert_return (invoke "as-i8x16_all_true-operand" (i32.const 0)) (i32.const 0))
 326 (assert_return (invoke "as-i16x8_all_true-operand" (i32.const 0xffff)) (i32.const 1))
 327 (assert_return (invoke "as-i32x4_all_true-operand1" (i32.const 0xf0f0f0f0)) (i32.const 1))
 328 (assert_return (invoke "as-i32x4_all_true-operand2" (i64.const -1)) (i32.const 1))
 329
 330 (assert_return (invoke "as-i8x16_eq-operands" (i32.const 1) (i32.const 2)) (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 331 (assert_return (invoke "as-i16x8_eq-operands" (i32.const -1) (i32.const 65535)) (v128.const i16x8 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff))
 332 (assert_return (invoke "as-i32x4_eq-operands1" (i32.const -1) (i32.const 0xffffffff)) (v128.const i32x4 0xffffffff 0xffffffff 0xffffffff 0xffffffff))
 333 (assert_return (invoke "as-f32x4_eq-operands" (f32.const +0.0) (f32.const -0.0)) (v128.const i32x4 0xffffffff 0xffffffff 0xffffffff 0xffffffff))
 334 (assert_return (invoke "as-i32x4_eq-operands2" (i64.const 1) (i64.const 2)) (v128.const i64x2 0xffffffff00000000 0xffffffff00000000))
 335 (assert_return (invoke "as-f64x2_eq-operands" (f64.const +0.0) (f64.const -0.0)) (v128.const i64x2 -1 -1))
 336
 337 (assert_return (invoke "as-f32x4_abs-operand" (f32.const -1.125)) (v128.const f32x4 1.125 1.125 1.125 1.125))
 338 (assert_return (invoke "as-f32x4_min-operands" (f32.const 0.25) (f32.const 1e-38)) (v128.const f32x4 1e-38 1e-38 1e-38 1e-38))
 339 (assert_return (invoke "as-f32x4_div-operands" (f32.const 1.0) (f32.const 8.0)) (v128.const f32x4 0.125 0.125 0.125 0.125))
 340
 341 (assert_return (invoke "as-f32x4_convert_s_i32x4-operand" (i32.const 12345)) (v128.const f32x4 12345.0 12345.0 12345.0 12345.0))
 342 (assert_return (invoke "as-i32x4_trunc_s_f32x4_sat-operand" (f32.const 1.1)) (v128.const i32x4 1 1 1 1))
 343
 344
 345 ;; As the argument of control constructs and WASM instructions
 346
 347 (module
 348   (global $g (mut v128) (v128.const f32x4 0.0 0.0 0.0 0.0))
 349   (func (export "as-br-value1") (param i32) (result v128)
 350     (block (result v128) (br 0 (i8x16.splat (local.get 0)))))
 351   (func (export "as-return-value1") (param i32) (result v128)
 352     (return (i16x8.splat (local.get 0))))
 353   (func (export "as-local_set-value1") (param i32) (result v128) (local v128)
 354     (local.set 1 (i32x4.splat (local.get 0)))
 355     (return (local.get 1)))
 356   (func (export "as-global_set-value1") (param f32) (result v128)
 357     (global.set $g (f32x4.splat (local.get 0)))
 358     (return (global.get $g)))
 359   (func (export "as-br-value2") (param i64) (result v128)
 360     (block (result v128) (br 0 (i64x2.splat (local.get 0)))))
 361   (func (export "as-return-value2") (param i64) (result v128)
 362     (return (i64x2.splat (local.get 0))))
 363   (func (export "as-local_set-value2") (param i64) (result v128) (local v128)
 364     (local.set 1 (i64x2.splat (local.get 0)))
 365     (return (local.get 1)))
 366   (func (export "as-global_set-value2") (param f64) (result v128)
 367     (global.set $g (f64x2.splat (local.get 0)))
 368     (return (global.get $g)))
 369 )
 370
 371 (assert_return (invoke "as-br-value1" (i32.const 0xAB)) (v128.const i8x16 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB))
 372 (assert_return (invoke "as-return-value1" (i32.const 0xABCD)) (v128.const i16x8 0xABCD 0xABCD 0xABCD 0xABCD 0xABCD 0xABCD 0xABCD 0xABCD))
 373 (assert_return (invoke "as-local_set-value1" (i32.const 0x10000)) (v128.const i32x4 0x10000 0x10000 0x10000 0x10000))
 374 (assert_return (invoke "as-global_set-value1" (f32.const 1.0)) (v128.const f32x4 1.0 1.0 1.0 1.0))
 375 (assert_return (invoke "as-br-value2" (i64.const 0xABCD)) (v128.const i64x2 0xABCD 0xABCD))
 376 (assert_return (invoke "as-return-value2" (i64.const 0xABCD)) (v128.const i64x2 0xABCD 0xABCD))
 377 (assert_return (invoke "as-local_set-value2" (i64.const 0x10000)) (v128.const i64x2 0x10000 0x10000))
 378 (assert_return (invoke "as-global_set-value2" (f64.const 1.0)) (v128.const f64x2 1.0 1.0))
 379
 380
 381 ;; Test operation with empty argument
 382
 383 (assert_invalid
 384   (module
 385     (func $i8x16.splat-arg-empty (result v128)
 386       (i8x16.splat)
 387     )
 388   )
 389   "type mismatch"
 390 )
 391 (assert_invalid
 392   (module
 393     (func $i16x8.splat-arg-empty (result v128)
 394       (i16x8.splat)
 395     )
 396   )
 397   "type mismatch"
 398 )
 399 (assert_invalid
 400   (module
 401     (func $i32x4.splat-arg-empty (result v128)
 402       (i32x4.splat)
 403     )
 404   )
 405   "type mismatch"
 406 )
 407 (assert_invalid
 408   (module
 409     (func $f32x4.splat-arg-empty (result v128)
 410       (f32x4.splat)
 411     )
 412   )
 413   "type mismatch"
 414 )
 415 (assert_invalid
 416   (module
 417     (func $i64x2.splat-arg-empty (result v128)
 418       (i64x2.splat)
 419     )
 420   )
 421   "type mismatch"
 422 )
 423 (assert_invalid
 424   (module
 425     (func $f64x2.splat-arg-empty (result v128)
 426       (f64x2.splat)
 427     )
 428   )
 429   "type mismatch"
 430 )