wa-lang.org/wazero@v1.0.2/internal/integration_test/spectest/v2/testdata/simd_conversions.wast (about) 1 ;; Web Assembly SIMD-related type conversion tests 2 3 (module 4 ;; Integer to floating point 5 (func (export "f32x4.convert_i32x4_s") (param v128) (result v128) 6 (f32x4.convert_i32x4_s (local.get 0))) 7 (func (export "f32x4.convert_i32x4_u") (param v128) (result v128) 8 (f32x4.convert_i32x4_u (local.get 0))) 9 10 (func (export "f64x2.convert_low_i32x4_s") (param v128) (result v128) 11 (f64x2.convert_low_i32x4_s (local.get 0))) 12 (func (export "f64x2.convert_low_i32x4_u") (param v128) (result v128) 13 (f64x2.convert_low_i32x4_u (local.get 0))) 14 15 ;; Integer to integer narrowing 16 (func (export "i8x16.narrow_i16x8_s") (param v128 v128) (result v128) 17 (i8x16.narrow_i16x8_s (local.get 0) (local.get 1))) 18 (func (export "i8x16.narrow_i16x8_u") (param v128 v128) (result v128) 19 (i8x16.narrow_i16x8_u (local.get 0) (local.get 1))) 20 (func (export "i16x8.narrow_i32x4_s") (param v128 v128) (result v128) 21 (i16x8.narrow_i32x4_s (local.get 0) (local.get 1))) 22 (func (export "i16x8.narrow_i32x4_u") (param v128 v128) (result v128) 23 (i16x8.narrow_i32x4_u (local.get 0)(local.get 1))) 24 25 ;; Float to float promote/demote 26 (func (export "f64x2.promote_low_f32x4") (param v128) (result v128) 27 (f64x2.promote_low_f32x4 (local.get 0))) 28 (func (export "f32x4.demote_f64x2_zero") (param v128) (result v128) 29 (f32x4.demote_f64x2_zero (local.get 0))) 30 ) 31 32 ;; f64x2.promote_low_f32x4 33 ;; Float constants copied from test/core/conversions.wast. 34 35 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 0.0 0.0 0.0 0.0)) 36 (v128.const f64x2 0.0 0.0)) 37 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 -0.0 -0.0 -0.0 -0.0)) 38 (v128.const f64x2 -0.0 -0.0)) 39 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 0x1p-149 0x1p-149 0x1p-149 0x1p-149)) 40 (v128.const f64x2 0x1p-149 0x1p-149)) 41 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 -0x1p-149 -0x1p-149 -0x1p-149 -0x1p-149)) 42 (v128.const f64x2 -0x1p-149 -0x1p-149)) 43 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 1.0 1.0 1.0 1.0)) 44 (v128.const f64x2 1.0 1.0)) 45 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 -1.0 -1.0 -1.0 -1.0)) 46 (v128.const f64x2 -1.0 -1.0)) 47 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 -0x1.fffffep+127 -0x1.fffffep+127 -0x1.fffffep+127 -0x1.fffffep+127)) 48 (v128.const f64x2 -0x1.fffffep+127 -0x1.fffffep+127)) 49 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 0x1.fffffep+127 0x1.fffffep+127 0x1.fffffep+127 0x1.fffffep+127)) 50 (v128.const f64x2 0x1.fffffep+127 0x1.fffffep+127)) 51 ;; Generated randomly by picking a random int and reinterpret it to float. 52 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 0x1p-119 0x1p-119 0x1p-119 0x1p-119)) 53 (v128.const f64x2 0x1p-119 0x1p-119)) 54 ;; Generated randomly by picking a random float. 55 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 0x1.8f867ep+125 0x1.8f867ep+125 0x1.8f867ep+125 0x1.8f867ep+125)) 56 (v128.const f64x2 6.6382536710104395e+37 6.6382536710104395e+37)) 57 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 inf inf inf inf)) 58 (v128.const f64x2 inf inf)) 59 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 -inf -inf -inf -inf)) 60 (v128.const f64x2 -inf -inf)) 61 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 nan nan nan nan)) 62 (v128.const f64x2 nan:canonical nan:canonical)) 63 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 nan:0x200000 nan:0x200000 nan:0x200000 nan:0x200000)) 64 (v128.const f64x2 nan:arithmetic nan:arithmetic)) 65 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 -nan -nan -nan -nan)) 66 (v128.const f64x2 nan:canonical nan:canonical)) 67 (assert_return (invoke "f64x2.promote_low_f32x4" (v128.const f32x4 -nan:0x200000 -nan:0x200000 -nan:0x200000 -nan:0x200000)) 68 (v128.const f64x2 nan:arithmetic nan:arithmetic)) 69 70 ;; f32x4.demote_f64x2_zero 71 ;; Float constants copied from test/core/conversions.wast. 72 73 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0.0 0.0)) 74 (v128.const f32x4 0.0 0.0 0 0)) 75 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0.0 -0.0)) 76 (v128.const f32x4 -0.0 -0.0 0 0)) 77 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022)) 78 (v128.const f32x4 0.0 0.0 0 0)) 79 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022)) 80 (v128.const f32x4 -0.0 -0.0 0 0)) 81 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 1.0 1.0)) 82 (v128.const f32x4 1.0 1.0 0 0)) 83 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -1.0 -1.0)) 84 (v128.const f32x4 -1.0 -1.0 0 0)) 85 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.fffffe0000000p-127 0x1.fffffe0000000p-127)) 86 (v128.const f32x4 0x1p-126 0x1p-126 0 0)) 87 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x1.fffffe0000000p-127 -0x1.fffffe0000000p-127)) 88 (v128.const f32x4 -0x1p-126 -0x1p-126 0 0)) 89 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.fffffdfffffffp-127 0x1.fffffdfffffffp-127)) 90 (v128.const f32x4 0x1.fffffcp-127 0x1.fffffcp-127 0 0)) 91 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x1.fffffdfffffffp-127 -0x1.fffffdfffffffp-127)) 92 (v128.const f32x4 -0x1.fffffcp-127 -0x1.fffffcp-127 0 0)) 93 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1p-149 0x1p-149)) 94 (v128.const f32x4 0x1p-149 0x1p-149 0 0)) 95 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x1p-149 -0x1p-149)) 96 (v128.const f32x4 -0x1p-149 -0x1p-149 0 0)) 97 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.fffffd0000000p+127 0x1.fffffd0000000p+127)) 98 (v128.const f32x4 0x1.fffffcp+127 0x1.fffffcp+127 0 0)) 99 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x1.fffffd0000000p+127 -0x1.fffffd0000000p+127)) 100 (v128.const f32x4 -0x1.fffffcp+127 -0x1.fffffcp+127 0 0)) 101 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.fffffd0000001p+127 0x1.fffffd0000001p+127)) 102 (v128.const f32x4 0x1.fffffep+127 0x1.fffffep+127 0 0)) 103 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x1.fffffd0000001p+127 -0x1.fffffd0000001p+127)) 104 (v128.const f32x4 -0x1.fffffep+127 -0x1.fffffep+127 0 0)) 105 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.fffffep+127 0x1.fffffep+127)) 106 (v128.const f32x4 0x1.fffffep+127 0x1.fffffep+127 0 0)) 107 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x1.fffffep+127 -0x1.fffffep+127)) 108 (v128.const f32x4 -0x1.fffffep+127 -0x1.fffffep+127 0 0)) 109 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.fffffefffffffp+127 0x1.fffffefffffffp+127)) 110 (v128.const f32x4 0x1.fffffep+127 0x1.fffffep+127 0 0)) 111 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x1.fffffefffffffp+127 -0x1.fffffefffffffp+127)) 112 (v128.const f32x4 -0x1.fffffep+127 -0x1.fffffep+127 0 0)) 113 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.ffffffp+127 0x1.ffffffp+127)) 114 (v128.const f32x4 inf inf 0 0)) 115 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x1.ffffffp+127 -0x1.ffffffp+127)) 116 (v128.const f32x4 -inf -inf 0 0)) 117 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1p-119 0x1p-119)) 118 (v128.const f32x4 0x1p-119 0x1p-119 0 0)) 119 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.8f867ep+125 0x1.8f867ep+125)) 120 (v128.const f32x4 0x1.8f867ep+125 0x1.8f867ep+125 0 0)) 121 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 inf inf)) 122 (v128.const f32x4 inf inf 0 0)) 123 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -inf -inf)) 124 (v128.const f32x4 -inf -inf 0 0)) 125 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.0000000000001p+0 0x1.0000000000001p+0)) 126 (v128.const f32x4 1.0 1.0 0 0)) 127 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.fffffffffffffp-1 0x1.fffffffffffffp-1)) 128 (v128.const f32x4 1.0 1.0 0 0)) 129 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.0000010000000p+0 0x1.0000010000000p+0)) 130 (v128.const f32x4 0x1.000000p+0 0x1.000000p+0 0 0)) 131 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.0000010000001p+0 0x1.0000010000001p+0)) 132 (v128.const f32x4 0x1.000002p+0 0x1.000002p+0 0 0)) 133 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.000002fffffffp+0 0x1.000002fffffffp+0)) 134 (v128.const f32x4 0x1.000002p+0 0x1.000002p+0 0 0)) 135 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.0000030000000p+0 0x1.0000030000000p+0)) 136 (v128.const f32x4 0x1.000004p+0 0x1.000004p+0 0 0)) 137 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.0000050000000p+0 0x1.0000050000000p+0)) 138 (v128.const f32x4 0x1.000004p+0 0x1.000004p+0 0 0)) 139 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.0000010000000p+24 0x1.0000010000000p+24)) 140 (v128.const f32x4 0x1.0p+24 0x1.0p+24 0 0)) 141 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.0000010000001p+24 0x1.0000010000001p+24)) 142 (v128.const f32x4 0x1.000002p+24 0x1.000002p+24 0 0)) 143 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.000002fffffffp+24 0x1.000002fffffffp+24)) 144 (v128.const f32x4 0x1.000002p+24 0x1.000002p+24 0 0)) 145 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.0000030000000p+24 0x1.0000030000000p+24)) 146 (v128.const f32x4 0x1.000004p+24 0x1.000004p+24 0 0)) 147 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.4eae4f7024c7p+108 0x1.4eae4f7024c7p+108)) 148 (v128.const f32x4 0x1.4eae5p+108 0x1.4eae5p+108 0 0)) 149 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.a12e71e358685p-113 0x1.a12e71e358685p-113)) 150 (v128.const f32x4 0x1.a12e72p-113 0x1.a12e72p-113 0 0)) 151 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.cb98354d521ffp-127 0x1.cb98354d521ffp-127)) 152 (v128.const f32x4 0x1.cb9834p-127 0x1.cb9834p-127 0 0)) 153 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x1.6972b30cfb562p+1 -0x1.6972b30cfb562p+1)) 154 (v128.const f32x4 -0x1.6972b4p+1 -0x1.6972b4p+1 0 0)) 155 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x1.bedbe4819d4c4p+112 -0x1.bedbe4819d4c4p+112)) 156 (v128.const f32x4 -0x1.bedbe4p+112 -0x1.bedbe4p+112 0 0)) 157 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 nan nan)) 158 (v128.const f32x4 nan:canonical nan:canonical 0 0)) 159 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)) 160 (v128.const f32x4 nan:arithmetic nan:arithmetic 0 0)) 161 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -nan -nan)) 162 (v128.const f32x4 nan:canonical nan:canonical 0 0)) 163 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)) 164 (v128.const f32x4 nan:arithmetic nan:arithmetic 0 0)) 165 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1p-1022 0x1p-1022)) 166 (v128.const f32x4 0.0 0.0 0 0)) 167 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x1p-1022 -0x1p-1022)) 168 (v128.const f32x4 -0.0 -0.0 0 0)) 169 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.0p-150 0x1.0p-150)) 170 (v128.const f32x4 0.0 0.0 0 0)) 171 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x1.0p-150 -0x1.0p-150)) 172 (v128.const f32x4 -0.0 -0.0 0 0)) 173 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 0x1.0000000000001p-150 0x1.0000000000001p-150)) 174 (v128.const f32x4 0x1p-149 0x1p-149 0 0)) 175 (assert_return (invoke "f32x4.demote_f64x2_zero" (v128.const f64x2 -0x1.0000000000001p-150 -0x1.0000000000001p-150)) 176 (v128.const f32x4 -0x1p-149 -0x1p-149 0 0)) 177 178 179 ;; Integer to floating point 180 ;; f32x4.convert_i32x4_s 181 182 (assert_return (invoke "f32x4.convert_i32x4_s" (v128.const i32x4 0 0 0 0)) 183 (v128.const f32x4 0.0 0.0 0.0 0.0)) 184 (assert_return (invoke "f32x4.convert_i32x4_s" (v128.const i32x4 1 1 1 1)) 185 (v128.const f32x4 1.0 1.0 1.0 1.0)) 186 (assert_return (invoke "f32x4.convert_i32x4_s" (v128.const i32x4 -1 -1 -1 -1)) 187 (v128.const f32x4 -1.0 -1.0 -1.0 -1.0)) 188 (assert_return (invoke "f32x4.convert_i32x4_s" (v128.const i32x4 2147483647 2147483647 2147483647 2147483647)) 189 (v128.const f32x4 2147483647.0 2147483647.0 2147483647.0 2147483647.0)) 190 (assert_return (invoke "f32x4.convert_i32x4_s" (v128.const i32x4 -2147483648 -2147483648 -2147483648 -2147483648)) 191 (v128.const f32x4 -2147483648.0 -2147483648.0 -2147483648.0 -2147483648.0)) 192 (assert_return (invoke "f32x4.convert_i32x4_s" (v128.const i32x4 1234567890 1234567890 1234567890 1234567890)) 193 (v128.const f32x4 0x1.26580cp+30 0x1.26580cp+30 0x1.26580cp+30 0x1.26580cp+30)) 194 (assert_return (invoke "f32x4.convert_i32x4_s" (v128.const i32x4 0_123_456_792 0_123_456_792 0_123_456_792 0_123_456_792)) 195 (v128.const f32x4 123456792.0 123456792.0 123456792.0 123456792.0)) 196 (assert_return (invoke "f32x4.convert_i32x4_s" (v128.const i32x4 0x0_1234_5680 0x0_1234_5680 0x0_1234_5680 0x0_1234_5680)) 197 (v128.const f32x4 305419904.0 305419904.0 305419904.0 305419904.0)) 198 ;; Test rounding directions. 199 200 (assert_return (invoke "f32x4.convert_i32x4_s" (v128.const i32x4 16777217 16777217 16777217 16777217)) 201 (v128.const f32x4 16777216.0 16777216.0 16777216.0 16777216.0)) 202 (assert_return (invoke "f32x4.convert_i32x4_s" (v128.const i32x4 -16777217 -16777217 -16777217 -16777217)) 203 (v128.const f32x4 -16777216.0 -16777216.0 -16777216.0 -16777216.0)) 204 (assert_return (invoke "f32x4.convert_i32x4_s" (v128.const i32x4 16777219 16777219 16777219 16777219)) 205 (v128.const f32x4 16777220.0 16777220.0 16777220.0 16777220.0)) 206 (assert_return (invoke "f32x4.convert_i32x4_s" (v128.const i32x4 -16777219 -16777219 -16777219 -16777219)) 207 (v128.const f32x4 -16777220.0 -16777220.0 -16777220.0 -16777220.0)) 208 (assert_return (invoke "f32x4.convert_i32x4_s" (v128.const i32x4 0 -1 0x7fffffff 0x80000000)) 209 (v128.const f32x4 0.0 -1.0 2147483647.0 -2147483648.0)) 210 211 ;; f32x4.convert_i32x4_u 212 213 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 0 0 0 0)) 214 (v128.const f32x4 0.0 0.0 0.0 0.0)) 215 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 1 1 1 1)) 216 (v128.const f32x4 1.0 1.0 1.0 1.0)) 217 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 -1 -1 -1 -1)) 218 (v128.const f32x4 4294967295.0 4294967295.0 4294967295.0 4294967295.0)) 219 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 2147483647 2147483647 2147483647 2147483647)) 220 (v128.const f32x4 2147483648.0 2147483648.0 2147483648.0 2147483648.0)) 221 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 -2147483648 -2147483648 -2147483648 -2147483648)) 222 (v128.const f32x4 2147483648.0 2147483648.0 2147483648.0 2147483648.0)) 223 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 0x12345678 0x12345678 0x12345678 0x12345678)) 224 (v128.const f32x4 0x1.234568p+28 0x1.234568p+28 0x1.234568p+28 0x1.234568p+28)) 225 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 0x80000080 0x80000080 0x80000080 0x80000080)) 226 (v128.const f32x4 0x1.000000p+31 0x1.000000p+31 0x1.000000p+31 0x1.000000p+31)) 227 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 0x80000081 0x80000081 0x80000081 0x80000081)) 228 (v128.const f32x4 0x1.000002p+31 0x1.000002p+31 0x1.000002p+31 0x1.000002p+31)) 229 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 0x80000082 0x80000082 0x80000082 0x80000082)) 230 (v128.const f32x4 0x1.000002p+31 0x1.000002p+31 0x1.000002p+31 0x1.000002p+31)) 231 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 0xfffffe80 0xfffffe80 0xfffffe80 0xfffffe80)) 232 (v128.const f32x4 0x1.fffffcp+31 0x1.fffffcp+31 0x1.fffffcp+31 0x1.fffffcp+31)) 233 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 0xfffffe81 0xfffffe81 0xfffffe81 0xfffffe81)) 234 (v128.const f32x4 0x1.fffffep+31 0x1.fffffep+31 0x1.fffffep+31 0x1.fffffep+31)) 235 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 0xfffffe82 0xfffffe82 0xfffffe82 0xfffffe82)) 236 (v128.const f32x4 0x1.fffffep+31 0x1.fffffep+31 0x1.fffffep+31 0x1.fffffep+31)) 237 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 0_123_456_792 0_123_456_792 0_123_456_792 0_123_456_792)) 238 (v128.const f32x4 123456792.0 123456792.0 123456792.0 123456792.0)) 239 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 0x0_90AB_cdef 0x0_90AB_cdef 0x0_90AB_cdef 0x0_90AB_cdef)) 240 (v128.const f32x4 2427178496.0 2427178496.0 2427178496.0 2427178496.0)) 241 ;; Test rounding directions. 242 243 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 16777217 16777217 16777217 16777217)) 244 (v128.const f32x4 16777216.0 16777216.0 16777216.0 16777216.0)) 245 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 16777219 16777219 16777219 16777219)) 246 (v128.const f32x4 16777220.0 16777220.0 16777220.0 16777220.0)) 247 (assert_return (invoke "f32x4.convert_i32x4_u" (v128.const i32x4 0 -1 0x7fffffff 0x80000000)) 248 (v128.const f32x4 0.0 4294967295.0 2147483647.0 2147483648.0)) 249 250 ;; f64x2.convert_i32x4_s 251 ;; constants copied from test/core/conversions.wast. 252 253 (assert_return (invoke "f64x2.convert_low_i32x4_s" (v128.const i32x4 1 1 0 0)) 254 (v128.const f64x2 1.0 1.0)) 255 (assert_return (invoke "f64x2.convert_low_i32x4_s" (v128.const i32x4 -1 -1 0 0)) 256 (v128.const f64x2 -1.0 -1.0)) 257 (assert_return (invoke "f64x2.convert_low_i32x4_s" (v128.const i32x4 0 0 0 0)) 258 (v128.const f64x2 0.0 0.0)) 259 (assert_return (invoke "f64x2.convert_low_i32x4_s" (v128.const i32x4 2147483647 2147483647 0 0)) 260 (v128.const f64x2 2147483647 2147483647)) 261 (assert_return (invoke "f64x2.convert_low_i32x4_s" (v128.const i32x4 -2147483648 -2147483648 0 0)) 262 (v128.const f64x2 -2147483648 -2147483648)) 263 (assert_return (invoke "f64x2.convert_low_i32x4_s" (v128.const i32x4 987654321 987654321 0 0)) 264 (v128.const f64x2 987654321 987654321)) 265 266 ;; f64x2.convert_i32x4_u 267 ;; constants copied from test/core/conversions.wast. 268 269 (assert_return (invoke "f64x2.convert_low_i32x4_u" (v128.const i32x4 1 1 0 0)) 270 (v128.const f64x2 1.0 1.0)) 271 (assert_return (invoke "f64x2.convert_low_i32x4_u" (v128.const i32x4 0 0 0 0)) 272 (v128.const f64x2 0.0 0.0)) 273 (assert_return (invoke "f64x2.convert_low_i32x4_u" (v128.const i32x4 2147483647 2147483647 0 0)) 274 (v128.const f64x2 2147483647 2147483647)) 275 (assert_return (invoke "f64x2.convert_low_i32x4_u" (v128.const i32x4 -2147483648 -2147483648 0 0)) 276 (v128.const f64x2 2147483648 2147483648)) 277 (assert_return (invoke "f64x2.convert_low_i32x4_u" (v128.const i32x4 0xffffffff 0xffffffff 0 0)) 278 (v128.const f64x2 4294967295.0 4294967295.0)) 279 280 ;; Integer to integer narrowing 281 ;; i8x16.narrow_i16x8_s 282 283 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 0 0 0 0 0 0 0 0) 284 (v128.const i16x8 0 0 0 0 0 0 0 0)) 285 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)) 286 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 0 0 0 0 0 0 0 0) 287 (v128.const i16x8 1 1 1 1 1 1 1 1)) 288 (v128.const i8x16 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1)) 289 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 1 1 1 1 1 1 1 1) 290 (v128.const i16x8 0 0 0 0 0 0 0 0)) 291 (v128.const i8x16 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0)) 292 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 0 0 0 0 0 0 0 0) 293 (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1)) 294 (v128.const i8x16 0 0 0 0 0 0 0 0 -1 -1 -1 -1 -1 -1 -1 -1)) 295 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1) 296 (v128.const i16x8 0 0 0 0 0 0 0 0)) 297 (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0)) 298 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 1 1 1 1 1 1 1 1) 299 (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1)) 300 (v128.const i8x16 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1)) 301 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1) 302 (v128.const i16x8 1 1 1 1 1 1 1 1)) 303 (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1)) 304 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e) 305 (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 306 (v128.const i8x16 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 307 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f) 308 (v128.const i16x8 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e)) 309 (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e)) 310 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f) 311 (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 312 (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 313 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80) 314 (v128.const i16x8 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80)) 315 (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 316 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f) 317 (v128.const i16x8 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80)) 318 (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 319 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80) 320 (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 321 (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 322 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f) 323 (v128.const i16x8 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 324 (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 325 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff) 326 (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 327 (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 328 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -0x7f -0x7f -0x7f -0x7f -0x7f -0x7f -0x7f -0x7f) 329 (v128.const i16x8 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80)) 330 (v128.const i8x16 0x81 0x81 0x81 0x81 0x81 0x81 0x81 0x81 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80)) 331 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80) 332 (v128.const i16x8 -0x7f -0x7f -0x7f -0x7f -0x7f -0x7f -0x7f -0x7f)) 333 (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x81 0x81 0x81 0x81 0x81 0x81 0x81 0x81)) 334 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80) 335 (v128.const i16x8 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80)) 336 (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80)) 337 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81) 338 (v128.const i16x8 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81)) 339 (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80)) 340 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81) 341 (v128.const i16x8 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80)) 342 (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80)) 343 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80) 344 (v128.const i16x8 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81)) 345 (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80)) 346 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80) 347 (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 348 (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 349 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80) 350 (v128.const i16x8 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80)) 351 (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 352 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81) 353 (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 354 (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 355 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80 -0x80) 356 (v128.const i16x8 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 357 (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 358 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81 -0x81) 359 (v128.const i16x8 0x100 0x100 0x100 0x100 0x100 0x100 0x100 0x100)) 360 (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 361 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 -0x8000 -0x8000 -0x8000 -0x8000 -0x8000 -0x8000 -0x8000 -0x8000) 362 (v128.const i16x8 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff)) 363 (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 364 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 012_345 012_345 012_345 012_345 012_345 012_345 012_345 012_345) 365 (v128.const i16x8 056_789 056_789 056_789 056_789 056_789 056_789 056_789 056_789)) 366 (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80)) 367 (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234) 368 (v128.const i16x8 0x0_5678 0x0_5678 0x0_5678 0x0_5678 0x0_5678 0x0_5678 0x0_5678 0x0_5678)) 369 (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 370 ;; i8x16.narrow_i16x8_u 371 372 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0 0 0 0 0 0 0 0) 373 (v128.const i16x8 0 0 0 0 0 0 0 0)) 374 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)) 375 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0 0 0 0 0 0 0 0) 376 (v128.const i16x8 1 1 1 1 1 1 1 1)) 377 (v128.const i8x16 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1)) 378 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 1 1 1 1 1 1 1 1) 379 (v128.const i16x8 0 0 0 0 0 0 0 0)) 380 (v128.const i8x16 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0)) 381 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0 0 0 0 0 0 0 0) 382 (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1)) 383 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)) 384 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1) 385 (v128.const i16x8 0 0 0 0 0 0 0 0)) 386 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)) 387 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 1 1 1 1 1 1 1 1) 388 (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1)) 389 (v128.const i8x16 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0)) 390 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1) 391 (v128.const i16x8 1 1 1 1 1 1 1 1)) 392 (v128.const i8x16 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1)) 393 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e) 394 (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 395 (v128.const i8x16 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 396 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f) 397 (v128.const i16x8 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e)) 398 (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e 0x7e)) 399 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f) 400 (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 401 (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 402 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80) 403 (v128.const i16x8 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80)) 404 (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80)) 405 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f) 406 (v128.const i16x8 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80)) 407 (v128.const i8x16 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80)) 408 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80) 409 (v128.const i16x8 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 410 (v128.const i8x16 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x80 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f 0x7f)) 411 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0xfe 0xfe 0xfe 0xfe 0xfe 0xfe 0xfe 0xfe) 412 (v128.const i16x8 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 413 (v128.const i8x16 0xfe 0xfe 0xfe 0xfe 0xfe 0xfe 0xfe 0xfe 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 414 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff) 415 (v128.const i16x8 0xfe 0xfe 0xfe 0xfe 0xfe 0xfe 0xfe 0xfe)) 416 (v128.const i8x16 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xfe 0xfe 0xfe 0xfe 0xfe 0xfe 0xfe 0xfe)) 417 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff) 418 (v128.const i16x8 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 419 (v128.const i8x16 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 420 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0x100 0x100 0x100 0x100 0x100 0x100 0x100 0x100) 421 (v128.const i16x8 0x100 0x100 0x100 0x100 0x100 0x100 0x100 0x100)) 422 (v128.const i8x16 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 423 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff) 424 (v128.const i16x8 0x100 0x100 0x100 0x100 0x100 0x100 0x100 0x100)) 425 (v128.const i8x16 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 426 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0x100 0x100 0x100 0x100 0x100 0x100 0x100 0x100) 427 (v128.const i16x8 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 428 (v128.const i8x16 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 429 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0 0 0 0 0 0 0 0) 430 (v128.const i16x8 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 431 (v128.const i8x16 0 0 0 0 0 0 0 0 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 432 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0 0 0 0 0 0 0 0) 433 (v128.const i16x8 0x100 0x100 0x100 0x100 0x100 0x100 0x100 0x100)) 434 (v128.const i8x16 0 0 0 0 0 0 0 0 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 435 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1) 436 (v128.const i16x8 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 437 (v128.const i8x16 0 0 0 0 0 0 0 0 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 438 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1) 439 (v128.const i16x8 0x100 0x100 0x100 0x100 0x100 0x100 0x100 0x100)) 440 (v128.const i8x16 0 0 0 0 0 0 0 0 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 441 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 -0x8000 -0x8000 -0x8000 -0x8000 -0x8000 -0x8000 -0x8000 -0x8000) 442 (v128.const i16x8 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff)) 443 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)) 444 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 056_789 056_789 056_789 056_789 056_789 056_789 056_789 056_789) 445 (v128.const i16x8 012_345 012_345 012_345 012_345 012_345 012_345 012_345 012_345)) 446 (v128.const i8x16 0 0 0 0 0 0 0 0 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 447 (assert_return (invoke "i8x16.narrow_i16x8_u" (v128.const i16x8 0x0_90AB 0x0_90AB 0x0_90AB 0x0_90AB 0x0_90AB 0x0_90AB 0x0_90AB 0x0_90AB) 448 (v128.const i16x8 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234)) 449 (v128.const i8x16 0 0 0 0 0 0 0 0 0xff 0xff 0xff 0xff 0xff 0xff 0xff 0xff)) 450 ;; i16x8.narrow_i32x4_s 451 452 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 0 0 0 0) 453 (v128.const i32x4 0 0 0 0)) 454 (v128.const i16x8 0 0 0 0 0 0 0 0)) 455 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 0 0 0 0) 456 (v128.const i32x4 1 1 1 1)) 457 (v128.const i16x8 0 0 0 0 1 1 1 1)) 458 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 1 1 1 1) 459 (v128.const i32x4 0 0 0 0)) 460 (v128.const i16x8 1 1 1 1 0 0 0 0)) 461 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 0 0 0 0) 462 (v128.const i32x4 -1 -1 -1 -1)) 463 (v128.const i16x8 0 0 0 0 -1 -1 -1 -1)) 464 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -1 -1 -1 -1) 465 (v128.const i32x4 0 0 0 0)) 466 (v128.const i16x8 -1 -1 -1 -1 0 0 0 0)) 467 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 1 1 1 1) 468 (v128.const i32x4 -1 -1 -1 -1)) 469 (v128.const i16x8 1 1 1 1 -1 -1 -1 -1)) 470 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -1 -1 -1 -1) 471 (v128.const i32x4 1 1 1 1)) 472 (v128.const i16x8 -1 -1 -1 -1 1 1 1 1)) 473 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 0x7ffe 0x7ffe 0x7ffe 0x7ffe) 474 (v128.const i32x4 0x7fff 0x7fff 0x7fff 0x7fff)) 475 (v128.const i16x8 0x7ffe 0x7ffe 0x7ffe 0x7ffe 0x7fff 0x7fff 0x7fff 0x7fff)) 476 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 0x7fff 0x7fff 0x7fff 0x7fff) 477 (v128.const i32x4 0x7ffe 0x7ffe 0x7ffe 0x7ffe)) 478 (v128.const i16x8 0x7fff 0x7fff 0x7fff 0x7fff 0x7ffe 0x7ffe 0x7ffe 0x7ffe)) 479 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 0x7fff 0x7fff 0x7fff 0x7fff) 480 (v128.const i32x4 0x7fff 0x7fff 0x7fff 0x7fff)) 481 (v128.const i16x8 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff)) 482 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 0x8000 0x8000 0x8000 0x8000) 483 (v128.const i32x4 0x8000 0x8000 0x8000 0x8000)) 484 (v128.const i16x8 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff)) 485 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 0x7fff 0x7fff 0x7fff 0x7fff) 486 (v128.const i32x4 0x8000 0x8000 0x8000 0x8000)) 487 (v128.const i16x8 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff)) 488 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 0x8000 0x8000 0x8000 0x8000) 489 (v128.const i32x4 0x7fff 0x7fff 0x7fff 0x7fff)) 490 (v128.const i16x8 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff)) 491 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 0x7fff 0x7fff 0x7fff 0x7fff) 492 (v128.const i32x4 0xffff 0xffff 0xffff 0xffff)) 493 (v128.const i16x8 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff)) 494 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 0xffff 0xffff 0xffff 0xffff) 495 (v128.const i32x4 0x7fff 0x7fff 0x7fff 0x7fff)) 496 (v128.const i16x8 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff)) 497 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -0x7fff -0x7fff -0x7fff -0x7fff) 498 (v128.const i32x4 -0x8000 -0x8000 -0x8000 -0x8000)) 499 (v128.const i16x8 0x8001 0x8001 0x8001 0x8001 0x8000 0x8000 0x8000 0x8000)) 500 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -0x8000 -0x8000 -0x8000 -0x8000) 501 (v128.const i32x4 -0x7fff -0x7fff -0x7fff -0x7fff)) 502 (v128.const i16x8 0x8000 0x8000 0x8000 0x8000 0x8001 0x8001 0x8001 0x8001)) 503 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -0x8000 -0x8000 -0x8000 -0x8000) 504 (v128.const i32x4 -0x8000 -0x8000 -0x8000 -0x8000)) 505 (v128.const i16x8 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000)) 506 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -0x8001 -0x8001 -0x8001 -0x8001) 507 (v128.const i32x4 -0x8001 -0x8001 -0x8001 -0x8001)) 508 (v128.const i16x8 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000)) 509 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -0x8001 -0x8001 -0x8001 -0x8001) 510 (v128.const i32x4 -0x8000 -0x8000 -0x8000 -0x8000)) 511 (v128.const i16x8 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000)) 512 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -0x8000 -0x8000 -0x8000 -0x8000) 513 (v128.const i32x4 -0x8001 -0x8001 -0x8001 -0x8001)) 514 (v128.const i16x8 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000 0x8000)) 515 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -0x8000 -0x8000 -0x8000 -0x8000) 516 (v128.const i32x4 0x7fff 0x7fff 0x7fff 0x7fff)) 517 (v128.const i16x8 0x8000 0x8000 0x8000 0x8000 0x7fff 0x7fff 0x7fff 0x7fff)) 518 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -0x8000 -0x8000 -0x8000 -0x8000) 519 (v128.const i32x4 0x8000 0x8000 0x8000 0x8000)) 520 (v128.const i16x8 0x8000 0x8000 0x8000 0x8000 0x7fff 0x7fff 0x7fff 0x7fff)) 521 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -0x8001 -0x8001 -0x8001 -0x8001) 522 (v128.const i32x4 0x7fff 0x7fff 0x7fff 0x7fff)) 523 (v128.const i16x8 0x8000 0x8000 0x8000 0x8000 0x7fff 0x7fff 0x7fff 0x7fff)) 524 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -0x8000 -0x8000 -0x8000 -0x8000) 525 (v128.const i32x4 0xffff 0xffff 0xffff 0xffff)) 526 (v128.const i16x8 0x8000 0x8000 0x8000 0x8000 0x7fff 0x7fff 0x7fff 0x7fff)) 527 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -0x8001 -0x8001 -0x8001 -0x8001) 528 (v128.const i32x4 0x10000 0x10000 0x10000 0x10000)) 529 (v128.const i16x8 0x8000 0x8000 0x8000 0x8000 0x7fff 0x7fff 0x7fff 0x7fff)) 530 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 -0x8000000 -0x8000000 -0x8000000 -0x8000000) 531 (v128.const i32x4 0xffffffff 0xffffffff 0xffffffff 0xffffffff)) 532 (v128.const i16x8 0x8000 0x8000 0x8000 0x8000 0xffff 0xffff 0xffff 0xffff)) 533 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 0_123_456_789 0_123_456_789 0_123_456_789 0_123_456_789) 534 (v128.const i32x4 01_234_567_890 01_234_567_890 01_234_567_890 01_234_567_890)) 535 (v128.const i16x8 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff 0x7fff)) 536 (assert_return (invoke "i16x8.narrow_i32x4_s" (v128.const i32x4 0x0_90AB_cdef 0x0_90AB_cdef 0x0_90AB_cdef 0x0_90AB_cdef) 537 (v128.const i32x4 0x0_1234_5678 0x0_1234_5678 0x0_1234_5678 0x0_1234_5678)) 538 (v128.const i16x8 0x8000 0x8000 0x8000 0x8000 0x7fff 0x7fff 0x7fff 0x7fff)) 539 ;; i16x8.narrow_i32x4_u 540 541 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 0 0 0 0) 542 (v128.const i32x4 0 0 0 0)) 543 (v128.const i16x8 0 0 0 0 0 0 0 0)) 544 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 0 0 0 0) 545 (v128.const i32x4 1 1 1 1)) 546 (v128.const i16x8 0 0 0 0 1 1 1 1)) 547 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 1 1 1 1) 548 (v128.const i32x4 0 0 0 0)) 549 (v128.const i16x8 1 1 1 1 0 0 0 0)) 550 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 0 0 0 0) 551 (v128.const i32x4 -1 -1 -1 -1)) 552 (v128.const i16x8 0 0 0 0 0 0 0 0)) 553 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 -1 -1 -1 -1) 554 (v128.const i32x4 0 0 0 0)) 555 (v128.const i16x8 0 0 0 0 0 0 0 0)) 556 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 1 1 1 1) 557 (v128.const i32x4 -1 -1 -1 -1)) 558 (v128.const i16x8 1 1 1 1 0 0 0 0)) 559 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 -1 -1 -1 -1) 560 (v128.const i32x4 1 1 1 1)) 561 (v128.const i16x8 0 0 0 0 1 1 1 1)) 562 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 0xfffe 0xfffe 0xfffe 0xfffe) 563 (v128.const i32x4 0xffff 0xffff 0xffff 0xffff)) 564 (v128.const i16x8 0xfffe 0xfffe 0xfffe 0xfffe 0xffff 0xffff 0xffff 0xffff)) 565 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 0xffff 0xffff 0xffff 0xffff) 566 (v128.const i32x4 0xfffe 0xfffe 0xfffe 0xfffe)) 567 (v128.const i16x8 0xffff 0xffff 0xffff 0xffff 0xfffe 0xfffe 0xfffe 0xfffe)) 568 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 0xffff 0xffff 0xffff 0xffff) 569 (v128.const i32x4 0xffff 0xffff 0xffff 0xffff)) 570 (v128.const i16x8 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff)) 571 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 0x10000 0x10000 0x10000 0x10000) 572 (v128.const i32x4 0x10000 0x10000 0x10000 0x10000)) 573 (v128.const i16x8 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff)) 574 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 0xffff 0xffff 0xffff 0xffff) 575 (v128.const i32x4 0x10000 0x10000 0x10000 0x10000)) 576 (v128.const i16x8 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff)) 577 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 0x10000 0x10000 0x10000 0x10000) 578 (v128.const i32x4 0xffff 0xffff 0xffff 0xffff)) 579 (v128.const i16x8 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff)) 580 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 0 0 0 0) 581 (v128.const i32x4 0xffff 0xffff 0xffff 0xffff)) 582 (v128.const i16x8 0 0 0 0 0xffff 0xffff 0xffff 0xffff)) 583 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 0 0 0 0) 584 (v128.const i32x4 0x10000 0x10000 0x10000 0x10000)) 585 (v128.const i16x8 0 0 0 0 0xffff 0xffff 0xffff 0xffff)) 586 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 -1 -1 -1 -1) 587 (v128.const i32x4 0xffff 0xffff 0xffff 0xffff)) 588 (v128.const i16x8 0 0 0 0 0xffff 0xffff 0xffff 0xffff)) 589 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 -1 -1 -1 -1) 590 (v128.const i32x4 0x10000 0x10000 0x10000 0x10000)) 591 (v128.const i16x8 0 0 0 0 0xffff 0xffff 0xffff 0xffff)) 592 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 -0x80000000 -0x80000000 -0x80000000 -0x80000000) 593 (v128.const i32x4 0xffffffff 0xffffffff 0xffffffff 0xffffffff)) 594 (v128.const i16x8 0 0 0 0 0 0 0 0)) 595 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 0_123_456_789 0_123_456_789 0_123_456_789 0_123_456_789) 596 (v128.const i32x4 01_234_567_890 01_234_567_890 01_234_567_890 01_234_567_890)) 597 (v128.const i16x8 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff 0xffff)) 598 (assert_return (invoke "i16x8.narrow_i32x4_u" (v128.const i32x4 0x0_90AB_cdef 0x0_90AB_cdef 0x0_90AB_cdef 0x0_90AB_cdef) 599 (v128.const i32x4 0x0_1234_5678 0x0_1234_5678 0x0_1234_5678 0x0_1234_5678)) 600 (v128.const i16x8 0 0 0 0 0xffff 0xffff 0xffff 0xffff)) 601 602 603 ;; Unknown operator 604 605 (assert_malformed (module quote 606 "(func (result v128) (i32x4.trunc_sat_f32x4 (v128.const f32x4 0.0 0.0 0.0 0.0)))") 607 "unknown operator") 608 (assert_malformed (module quote 609 "(func (result v128) (i32x4.trunc_s_sat_f32x4 (v128.const f32x4 -2.0 -1.0 1.0 2.0)))") 610 "unknown operator") 611 (assert_malformed (module quote 612 "(func (result v128) (i32x4.trunc_u_sat_f32x4 (v128.const f32x4 -2.0 -1.0 1.0 2.0)))") 613 "unknown operator") 614 (assert_malformed (module quote 615 "(func (result v128) (i32x4.convert_f32x4 (v128.const f32x4 -1 0 1 2)))") 616 "unknown operator") 617 (assert_malformed (module quote 618 "(func (result v128) (i32x4.convert_s_f32x4 (v128.const f32x4 -1 0 1 2)))") 619 "unknown operator") 620 (assert_malformed (module quote 621 "(func (result v128) (i32x4.convert_u_f32x4 (v128.const f32x4 -1 0 1 2)))") 622 "unknown operator") 623 624 (assert_malformed (module quote 625 "(func (result v128) (i64x2.trunc_sat_f64x2_s (v128.const f64x2 0.0 0.0)))") 626 "unknown operator") 627 (assert_malformed (module quote 628 "(func (result v128) (i64x2.trunc_sat_f64x2_u (v128.const f64x2 -2.0 -1.0)))") 629 "unknown operator") 630 (assert_malformed (module quote 631 "(func (result v128) (f64x2.convert_i64x2_s (v128.const i64x2 1 2)))") 632 "unknown operator") 633 (assert_malformed (module quote 634 "(func (result v128) (f64x2.convert_i64x2_u (v128.const i64x2 1 2)))") 635 "unknown operator") 636 637 (assert_malformed (module quote 638 "(func (result v128) (i8x16.narrow_i16x8 (v128.const i16x8 0 0 0 0 0 0 0 0) (v128.const i16x8 0 0 0 0 0 0 0 0)))") 639 "unknown operator") 640 (assert_malformed (module quote 641 "(func (result v128) (i16x8.narrow_i8x16 (v128.const i16x8 0 0 0 0 0 0 0 0) (v128.const i16x8 0 0 0 0 0 0 0 0)))") 642 "unknown operator") 643 (assert_malformed (module quote 644 "(func (result v128) (i16x8.narrow_i8x16_s (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)))") 645 "unknown operator") 646 (assert_malformed (module quote 647 "(func (result v128) (i16x8.narrow_i8x16_u (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)))") 648 "unknown operator") 649 (assert_malformed (module quote 650 "(func (result v128) (i16x8.narrow_i32x4 (v128.const i16x8 0 0 0 0 0 0 0 0) (v128.const i16x8 0 0 0 0 0 0 0 0)))") 651 "unknown operator") 652 (assert_malformed (module quote 653 "(func (result v128) (i32x4.narrow_i16x8 (v128.const i16x8 0 0 0 0 0 0 0 0) (v128.const i16x8 0 0 0 0 0 0 0 0)))") 654 "unknown operator") 655 (assert_malformed (module quote 656 "(func (result v128) (i32x4.narrow_i16x8_s (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)))") 657 "unknown operator") 658 (assert_malformed (module quote 659 "(func (result v128) (i32x4.narrow_i16x8_u (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)))") 660 "unknown operator") 661 662 (assert_malformed (module quote 663 "(func (result v128) (i16x8.extend_low_i8x16 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)))") 664 "unknown operator") 665 (assert_malformed (module quote 666 "(func (result v128) (i8x16.extend_low_i16x8_s (v128.const i16x8 0 0 0 0 0 0 0 0)))") 667 "unknown operator") 668 (assert_malformed (module quote 669 "(func (result v128) (i8x16.extend_low_i16x8_u (v128.const i16x8 0 0 0 0 0 0 0 0)))") 670 "unknown operator") 671 (assert_malformed (module quote 672 "(func (result v128) (i16x8.extend_high_i8x16 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)))") 673 "unknown operator") 674 (assert_malformed (module quote 675 "(func (result v128) (i8x16.extend_high_i16x8_s (v128.const i16x8 0 0 0 0 0 0 0 0)))") 676 "unknown operator") 677 (assert_malformed (module quote 678 "(func (result v128) (i8x16.extend_high_i16x8_u (v128.const i16x8 0 0 0 0 0 0 0 0)))") 679 "unknown operator") 680 (assert_malformed (module quote 681 "(func (result v128) (i32x4.extend_low_i16x8 (v128.const i16x8 0 0 0 0 0 0 0 0)))") 682 "unknown operator") 683 (assert_malformed (module quote 684 "(func (result v128) (i16x8.extend_low_i32x4_s (v128.const i32x4 0 0 0 0)))") 685 "unknown operator") 686 (assert_malformed (module quote 687 "(func (result v128) (i16x8.extend_low_i32x4_u (v128.const i32x4 0 0 0 0)))") 688 "unknown operator") 689 (assert_malformed (module quote 690 "(func (result v128) (i32x4.extend_high_i16x8 (v128.const i16x8 0 0 0 0 0 0 0 0)))") 691 "unknown operator") 692 (assert_malformed (module quote 693 "(func (result v128) (i16x8.extend_high_i32x4_s (v128.const i32x4 0 0 0 0)))") 694 "unknown operator") 695 (assert_malformed (module quote 696 "(func (result v128) (i16x8.extend_high_i32x4_u (v128.const i32x4 0 0 0 0)))") 697 "unknown operator") 698 699 700 ;; Type mismatch 701 702 (assert_invalid (module (func (result v128) (f32x4.convert_i32x4_s (i32.const 0)))) "type mismatch") 703 (assert_invalid (module (func (result v128) (f32x4.convert_i32x4_s (i64.const 0)))) "type mismatch") 704 (assert_invalid (module (func (result v128) (f32x4.convert_i32x4_u (i32.const 0)))) "type mismatch") 705 (assert_invalid (module (func (result v128) (f32x4.convert_i32x4_u (i64.const 0)))) "type mismatch") 706 707 (assert_invalid (module (func (result v128) (i8x16.narrow_i16x8_s (i32.const 0) (i64.const 0)))) "type mismatch") 708 (assert_invalid (module (func (result v128) (i8x16.narrow_i16x8_u (i32.const 0) (i64.const 0)))) "type mismatch") 709 (assert_invalid (module (func (result v128) (i16x8.narrow_i32x4_s (f32.const 0.0) (f64.const 0.0)))) "type mismatch") 710 (assert_invalid (module (func (result v128) (i16x8.narrow_i32x4_s (f32.const 0.0) (f64.const 0.0)))) "type mismatch") 711 712 713 ;; Combinations 714 715 (module 716 (func (export "f32x4_convert_i32x4_s_add") (param v128 v128) (result v128) 717 (f32x4.convert_i32x4_s (i32x4.add (local.get 0) (local.get 1)))) 718 (func (export "f32x4_convert_i32x4_s_sub") (param v128 v128) (result v128) 719 (f32x4.convert_i32x4_s (i32x4.sub (local.get 0) (local.get 1)))) 720 (func (export "f32x4_convert_i32x4_u_mul") (param v128 v128) (result v128) 721 (f32x4.convert_i32x4_u (i32x4.mul (local.get 0) (local.get 1)))) 722 723 (func (export "i16x8_low_extend_narrow_ss") (param v128 v128) (result v128) 724 (i16x8.extend_low_i8x16_s (i8x16.narrow_i16x8_s (local.get 0) (local.get 1)))) 725 (func (export "i16x8_low_extend_narrow_su") (param v128 v128) (result v128) 726 (i16x8.extend_low_i8x16_s (i8x16.narrow_i16x8_u (local.get 0) (local.get 1)))) 727 (func (export "i16x8_high_extend_narrow_ss") (param v128 v128) (result v128) 728 (i16x8.extend_low_i8x16_s (i8x16.narrow_i16x8_s (local.get 0) (local.get 1)))) 729 (func (export "i16x8_high_extend_narrow_su") (param v128 v128) (result v128) 730 (i16x8.extend_low_i8x16_s (i8x16.narrow_i16x8_u (local.get 0) (local.get 1)))) 731 (func (export "i16x8_low_extend_narrow_uu") (param v128 v128) (result v128) 732 (i16x8.extend_low_i8x16_u (i8x16.narrow_i16x8_u (local.get 0) (local.get 1)))) 733 (func (export "i16x8_low_extend_narrow_us") (param v128 v128) (result v128) 734 (i16x8.extend_low_i8x16_u (i8x16.narrow_i16x8_s (local.get 0) (local.get 1)))) 735 (func (export "i16x8_high_extend_narrow_uu") (param v128 v128) (result v128) 736 (i16x8.extend_low_i8x16_u (i8x16.narrow_i16x8_u (local.get 0) (local.get 1)))) 737 (func (export "i16x8_high_extend_narrow_us") (param v128 v128) (result v128) 738 (i16x8.extend_low_i8x16_u (i8x16.narrow_i16x8_s (local.get 0) (local.get 1)))) 739 740 (func (export "i32x4_low_extend_narrow_ss") (param v128 v128) (result v128) 741 (i32x4.extend_low_i16x8_s (i16x8.narrow_i32x4_s (local.get 0) (local.get 1)))) 742 (func (export "i32x4_low_extend_narrow_su") (param v128 v128) (result v128) 743 (i32x4.extend_low_i16x8_s (i16x8.narrow_i32x4_u (local.get 0) (local.get 1)))) 744 (func (export "i32x4_high_extend_narrow_ss") (param v128 v128) (result v128) 745 (i32x4.extend_low_i16x8_s (i16x8.narrow_i32x4_s (local.get 0) (local.get 1)))) 746 (func (export "i32x4_high_extend_narrow_su") (param v128 v128) (result v128) 747 (i32x4.extend_low_i16x8_s (i16x8.narrow_i32x4_u (local.get 0) (local.get 1)))) 748 (func (export "i32x4_low_extend_narrow_uu") (param v128 v128) (result v128) 749 (i32x4.extend_low_i16x8_u (i16x8.narrow_i32x4_u (local.get 0) (local.get 1)))) 750 (func (export "i32x4_low_extend_narrow_us") (param v128 v128) (result v128) 751 (i32x4.extend_low_i16x8_u (i16x8.narrow_i32x4_s (local.get 0) (local.get 1)))) 752 (func (export "i32x4_high_extend_narrow_uu") (param v128 v128) (result v128) 753 (i32x4.extend_low_i16x8_u (i16x8.narrow_i32x4_u (local.get 0) (local.get 1)))) 754 (func (export "i32x4_high_extend_narrow_us") (param v128 v128) (result v128) 755 (i32x4.extend_low_i16x8_u (i16x8.narrow_i32x4_s (local.get 0) (local.get 1)))) 756 ) 757 758 (assert_return (invoke "f32x4_convert_i32x4_s_add" (v128.const i32x4 1 2 3 4) 759 (v128.const i32x4 2 3 4 5)) 760 (v128.const f32x4 3.0 5.0 7.0 9.0)) 761 (assert_return (invoke "f32x4_convert_i32x4_s_sub" (v128.const i32x4 0 1 2 3) 762 (v128.const i32x4 1 1 1 1)) 763 (v128.const f32x4 -1.0 0.0 1.0 2.0)) 764 (assert_return (invoke "f32x4_convert_i32x4_u_mul" (v128.const i32x4 1 2 3 4) 765 (v128.const i32x4 1 2 3 4)) 766 (v128.const f32x4 1.0 4.0 9.0 16.0)) 767 768 (assert_return (invoke "i16x8_low_extend_narrow_ss" (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0x8000 -0x8000 -0x7fff 0x7fff 0x8000) 769 (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0x8000 -0x8000 -0x7fff 0x7fff 0x8000)) 770 (v128.const i16x8 0xff80 0xff80 0x7f 0xff80 0xff80 0xff80 0x7f 0xff80)) 771 (assert_return (invoke "i16x8_low_extend_narrow_su" (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0xffff -0x8000 -0x7fff 0x7fff 0xffff) 772 (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0xffff -0x8000 -0x7fff 0x7fff 0xffff)) 773 (v128.const i16x8 0 0 0xffff 0 0 0 0xffff 0)) 774 (assert_return (invoke "i16x8_high_extend_narrow_ss" (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0x8000 -0x8000 -0x7fff 0x7fff 0x8000) 775 (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0x8000 -0x8000 -0x7fff 0x7fff 0x8000)) 776 (v128.const i16x8 0xff80 0xff80 0x7f 0xff80 0xff80 0xff80 0x7f 0xff80)) 777 (assert_return (invoke "i16x8_high_extend_narrow_su" (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0xffff -0x8000 -0x7fff 0x7fff 0xffff) 778 (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0xffff -0x8000 -0x7fff 0x7fff 0xffff)) 779 (v128.const i16x8 0 0 0xffff 0 0 0 0xffff 0)) 780 (assert_return (invoke "i16x8_low_extend_narrow_uu" (v128.const i16x8 -0x8000 -0x7fff 0x8000 0xffff -0x8000 -0x7fff 0x8000 0xffff) 781 (v128.const i16x8 -0x8000 -0x7fff 0x8000 0xffff -0x8000 -0x7fff 0x8000 0xffff)) 782 (v128.const i16x8 0 0 0 0 0 0 0 0)) 783 (assert_return (invoke "i16x8_low_extend_narrow_us" (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0x8000 -0x8000 -0x7fff 0x7fff 0x8000) 784 (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0x8000 -0x8000 -0x7fff 0x7fff 0x8000)) 785 (v128.const i16x8 0x80 0x80 0x7f 0x80 0x80 0x80 0x7f 0x80)) 786 (assert_return (invoke "i16x8_high_extend_narrow_uu" (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0xffff -0x8000 -0x7fff 0x7fff 0xffff) 787 (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0xffff -0x8000 -0x7fff 0x7fff 0xffff)) 788 (v128.const i16x8 0 0 0xff 0 0 0 0xff 0)) 789 (assert_return (invoke "i16x8_high_extend_narrow_us" (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0x8000 -0x8000 -0x7fff 0x7fff 0x8000) 790 (v128.const i16x8 -0x8000 -0x7fff 0x7fff 0x8000 -0x8000 -0x7fff 0x7fff 0x8000)) 791 (v128.const i16x8 0x80 0x80 0x7f 0x80 0x80 0x80 0x7f 0x80)) 792 793 (assert_return (invoke "i32x4_low_extend_narrow_ss" (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0x8000000) 794 (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0x8000000)) 795 (v128.const i32x4 0xffff8000 0xffff8000 0x7fff 0x7fff)) 796 (assert_return (invoke "i32x4_low_extend_narrow_su" (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0xffffffff) 797 (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0xffffffff)) 798 (v128.const i32x4 0 0 0xffffffff 0)) 799 (assert_return (invoke "i32x4_high_extend_narrow_ss" (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0x8000000) 800 (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0x8000000)) 801 (v128.const i32x4 0xffff8000 0xffff8000 0x7fff 0x7fff)) 802 (assert_return (invoke "i32x4_high_extend_narrow_su" (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0xffffffff) 803 (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0xffffffff)) 804 (v128.const i32x4 0 0 0xffffffff 0)) 805 (assert_return (invoke "i32x4_low_extend_narrow_uu" (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0xffffffff) 806 (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0xffffffff)) 807 (v128.const i32x4 0 0 0xffff 0)) 808 (assert_return (invoke "i32x4_low_extend_narrow_us" (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0x8000000) 809 (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0x8000000)) 810 (v128.const i32x4 0x8000 0x8000 0x7fff 0x7fff)) 811 (assert_return (invoke "i32x4_high_extend_narrow_uu" (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0xffffffff) 812 (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0xffffffff)) 813 (v128.const i32x4 0 0 0xffff 0)) 814 (assert_return (invoke "i32x4_high_extend_narrow_us" (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0x8000000) 815 (v128.const i32x4 -0x80000000 -0x7fffffff 0x7fffffff 0x8000000)) 816 (v128.const i32x4 0x8000 0x8000 0x7fff 0x7fff)) 817 818 ;; Test operation with empty argument 819 820 (assert_invalid 821 (module 822 (func $f32x4.convert_i32x4_s-arg-empty (result v128) 823 (f32x4.convert_i32x4_s) 824 ) 825 ) 826 "type mismatch" 827 ) 828 (assert_invalid 829 (module 830 (func $f32x4.convert_i32x4_u-arg-empty (result v128) 831 (f32x4.convert_i32x4_u) 832 ) 833 ) 834 "type mismatch" 835 ) 836 (assert_invalid 837 (module 838 (func $i8x16.narrow_i16x8_s-1st-arg-empty (result v128) 839 (i8x16.narrow_i16x8_s (v128.const i16x8 0 0 0 0 0 0 0 0)) 840 ) 841 ) 842 "type mismatch" 843 ) 844 (assert_invalid 845 (module 846 (func $i8x16.narrow_i16x8_s-arg-empty (result v128) 847 (i8x16.narrow_i16x8_s) 848 ) 849 ) 850 "type mismatch" 851 ) 852 (assert_invalid 853 (module 854 (func $i8x16.narrow_i16x8_u-1st-arg-empty (result v128) 855 (i8x16.narrow_i16x8_u (v128.const i16x8 0 0 0 0 0 0 0 0)) 856 ) 857 ) 858 "type mismatch" 859 ) 860 (assert_invalid 861 (module 862 (func $i8x16.narrow_i16x8_u-arg-empty (result v128) 863 (i8x16.narrow_i16x8_u) 864 ) 865 ) 866 "type mismatch" 867 ) 868 (assert_invalid 869 (module 870 (func $i16x8.narrow_i32x4_s-1st-arg-empty (result v128) 871 (i16x8.narrow_i32x4_s (v128.const i32x4 0 0 0 0)) 872 ) 873 ) 874 "type mismatch" 875 ) 876 (assert_invalid 877 (module 878 (func $i16x8.narrow_i32x4_s-arg-empty (result v128) 879 (i16x8.narrow_i32x4_s) 880 ) 881 ) 882 "type mismatch" 883 ) 884 (assert_invalid 885 (module 886 (func $i16x8.narrow_i32x4_u-1st-arg-empty (result v128) 887 (i16x8.narrow_i32x4_u (v128.const i32x4 0 0 0 0)) 888 ) 889 ) 890 "type mismatch" 891 ) 892 (assert_invalid 893 (module 894 (func $i16x8.narrow_i32x4_u-arg-empty (result v128) 895 (i16x8.narrow_i32x4_u) 896 ) 897 ) 898 "type mismatch" 899 )