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

   1 ;; Load and Extend test cases
   2
   3 (module
   4   (memory 1)
   5   (data (i32.const 0) "\00\01\02\03\04\05\06\07\08\09\0A\0B\0C\0D\0E\0F\80\81\82\83\84\85\86\87\88\89")
   6   (data (i32.const 65520) "\0A\0B\0C\0D\0E\0F\80\81\82\83\84\85\86\87\88\89")
   7
   8   (func (export "v128.load8x8_s") (param $0 i32) (result v128)
   9     (v128.load8x8_s (local.get $0))
  10   )
  11   (func (export "v128.load8x8_u") (param $0 i32) (result v128)
  12     (v128.load8x8_u (local.get $0))
  13   )
  14   (func (export "v128.load16x4_s") (param $0 i32) (result v128)
  15     (v128.load16x4_s (local.get $0))
  16   )
  17   (func (export "v128.load16x4_u") (param $0 i32) (result v128)
  18     (v128.load16x4_u (local.get $0))
  19   )
  20   (func (export "v128.load32x2_s") (param $0 i32) (result v128)
  21     (v128.load32x2_s (local.get $0))
  22   )
  23   (func (export "v128.load32x2_u") (param $0 i32) (result v128)
  24     (v128.load32x2_u (local.get $0))
  25   )
  26
  27   ;; load by a constant amount
  28   (func (export "v128.load8x8_s_const0") (result v128)
  29     (v128.load8x8_s (i32.const 0))
  30   )
  31   (func (export "v128.load8x8_u_const8") (result v128)
  32     (v128.load8x8_u (i32.const 8))
  33   )
  34   (func (export "v128.load16x4_s_const10") (result v128)
  35     (v128.load16x4_s (i32.const 10))
  36   )
  37   (func (export "v128.load16x4_u_const20") (result v128)
  38     (v128.load16x4_u (i32.const 20))
  39   )
  40   (func (export "v128.load32x2_s_const65520") (result v128)
  41     (v128.load32x2_s (i32.const 65520))
  42   )
  43   (func (export "v128.load32x2_u_const65526") (result v128)
  44     (v128.load32x2_u (i32.const 65526))
  45   )
  46
  47   ;; load data with different offset/align arguments
  48   ;; i16x8
  49   (func (export "v128.load8x8_s_offset0") (param $0 i32) (result v128)
  50     (v128.load8x8_s offset=0 (local.get $0))
  51   )
  52   (func (export "v128.load8x8_s_align1") (param $0 i32) (result v128)
  53     (v128.load8x8_s align=1 (local.get $0))
  54   )
  55   (func (export "v128.load8x8_s_offset0_align1") (param $0 i32) (result v128)
  56     (v128.load8x8_s offset=0 align=1 (local.get $0))
  57   )
  58   (func (export "v128.load8x8_s_offset1_align1") (param $0 i32) (result v128)
  59     (v128.load8x8_s offset=1 align=1 (local.get $0))
  60   )
  61   (func (export "v128.load8x8_s_offset10_align4") (param $0 i32) (result v128)
  62     (v128.load8x8_s offset=10 align=4 (local.get $0))
  63   )
  64   (func (export "v128.load8x8_s_offset20_align8") (param $0 i32) (result v128)
  65     (v128.load8x8_s offset=20 align=8 (local.get $0))
  66   )
  67   (func (export "v128.load8x8_u_offset0") (param $0 i32) (result v128)
  68     (v128.load8x8_u offset=0 (local.get $0))
  69   )
  70   (func (export "v128.load8x8_u_align1") (param $0 i32) (result v128)
  71     (v128.load8x8_u align=1 (local.get $0))
  72   )
  73   (func (export "v128.load8x8_u_offset0_align1") (param $0 i32) (result v128)
  74     (v128.load8x8_u offset=0 align=1 (local.get $0))
  75   )
  76   (func (export "v128.load8x8_u_offset1_align1") (param $0 i32) (result v128)
  77     (v128.load8x8_u offset=1 align=1 (local.get $0))
  78   )
  79   (func (export "v128.load8x8_u_offset10_align4") (param $0 i32) (result v128)
  80     (v128.load8x8_u offset=10 align=4 (local.get $0))
  81   )
  82   (func (export "v128.load8x8_u_offset20_align8") (param $0 i32) (result v128)
  83     (v128.load8x8_u offset=20 align=8 (local.get $0))
  84   )
  85   ;; i32x4
  86   (func (export "v128.load16x4_s_offset0") (param $0 i32) (result v128)
  87     (v128.load16x4_s offset=0 (local.get $0))
  88   )
  89   (func (export "v128.load16x4_s_align1") (param $0 i32) (result v128)
  90     (v128.load16x4_s align=1 (local.get $0))
  91   )
  92   (func (export "v128.load16x4_s_offset0_align1") (param $0 i32) (result v128)
  93     (v128.load16x4_s offset=0 align=1 (local.get $0))
  94   )
  95   (func (export "v128.load16x4_s_offset1_align1") (param $0 i32) (result v128)
  96     (v128.load16x4_s offset=1 align=1 (local.get $0))
  97   )
  98   (func (export "v128.load16x4_s_offset10_align4") (param $0 i32) (result v128)
  99     (v128.load16x4_s offset=10 align=4 (local.get $0))
 100   )
 101   (func (export "v128.load16x4_s_offset20_align8") (param $0 i32) (result v128)
 102     (v128.load16x4_s offset=20 align=8 (local.get $0))
 103   )
 104   (func (export "v128.load16x4_u_offset0") (param $0 i32) (result v128)
 105     (v128.load16x4_u offset=0 (local.get $0))
 106   )
 107   (func (export "v128.load16x4_u_align1") (param $0 i32) (result v128)
 108     (v128.load16x4_u align=1 (local.get $0))
 109   )
 110   (func (export "v128.load16x4_u_offset0_align1") (param $0 i32) (result v128)
 111     (v128.load16x4_u offset=0 align=1 (local.get $0))
 112   )
 113   (func (export "v128.load16x4_u_offset1_align1") (param $0 i32) (result v128)
 114     (v128.load16x4_u offset=1 align=1 (local.get $0))
 115   )
 116   (func (export "v128.load16x4_u_offset10_align4") (param $0 i32) (result v128)
 117     (v128.load16x4_u offset=10 align=4 (local.get $0))
 118   )
 119   (func (export "v128.load16x4_u_offset20_align8") (param $0 i32) (result v128)
 120     (v128.load16x4_u offset=20 align=8 (local.get $0))
 121   )
 122   ;; i64x2
 123   (func (export "v128.load32x2_s_offset0") (param $0 i32) (result v128)
 124     (v128.load32x2_s offset=0 (local.get $0))
 125   )
 126   (func (export "v128.load32x2_s_align1") (param $0 i32) (result v128)
 127     (v128.load32x2_s align=1 (local.get $0))
 128   )
 129   (func (export "v128.load32x2_s_offset0_align1") (param $0 i32) (result v128)
 130     (v128.load32x2_s offset=0 align=1 (local.get $0))
 131   )
 132   (func (export "v128.load32x2_s_offset1_align1") (param $0 i32) (result v128)
 133     (v128.load32x2_s offset=1 align=1 (local.get $0))
 134   )
 135   (func (export "v128.load32x2_s_offset10_align4") (param $0 i32) (result v128)
 136     (v128.load32x2_s offset=10 align=4 (local.get $0))
 137   )
 138   (func (export "v128.load32x2_s_offset20_align8") (param $0 i32) (result v128)
 139     (v128.load32x2_s offset=20 align=8 (local.get $0))
 140   )
 141   (func (export "v128.load32x2_u_offset0") (param $0 i32) (result v128)
 142     (v128.load32x2_u offset=0 (local.get $0))
 143   )
 144   (func (export "v128.load32x2_u_align1") (param $0 i32) (result v128)
 145     (v128.load32x2_u align=1 (local.get $0))
 146   )
 147   (func (export "v128.load32x2_u_offset0_align1") (param $0 i32) (result v128)
 148     (v128.load32x2_u offset=0 align=1 (local.get $0))
 149   )
 150   (func (export "v128.load32x2_u_offset1_align1") (param $0 i32) (result v128)
 151     (v128.load32x2_u offset=1 align=1 (local.get $0))
 152   )
 153   (func (export "v128.load32x2_u_offset10_align4") (param $0 i32) (result v128)
 154     (v128.load32x2_u offset=10 align=4 (local.get $0))
 155   )
 156   (func (export "v128.load32x2_u_offset20_align8") (param $0 i32) (result v128)
 157     (v128.load32x2_u offset=20 align=8 (local.get $0))
 158   )
 159 )
 160
 161
 162 ;; normal
 163 (assert_return (invoke "v128.load8x8_s" (i32.const 0)) (v128.const i16x8 0x0000 0x0001 0x0002 0x0003 0x0004 0x0005 0x0006 0x0007))
 164 (assert_return (invoke "v128.load8x8_u" (i32.const 0)) (v128.const i16x8 0x0000 0x0001 0x0002 0x0003 0x0004 0x0005 0x0006 0x0007))
 165 (assert_return (invoke "v128.load16x4_s" (i32.const 0)) (v128.const i32x4 0x00000100 0x00000302 0x00000504 0x00000706))
 166 (assert_return (invoke "v128.load16x4_u" (i32.const 0)) (v128.const i32x4 0x00000100 0x00000302 0x00000504 0x00000706))
 167 (assert_return (invoke "v128.load32x2_s" (i32.const 0)) (v128.const i64x2 0x0000000003020100 0x0000000007060504))
 168 (assert_return (invoke "v128.load32x2_u" (i32.const 0)) (v128.const i64x2 0x0000000003020100 0x0000000007060504))
 169 (assert_return (invoke "v128.load8x8_s" (i32.const 10)) (v128.const i16x8 0x000A 0x000B 0x000C 0x000D 0x000E 0x000F 0xFF80 0xFF81))
 170 (assert_return (invoke "v128.load8x8_u" (i32.const 10)) (v128.const i16x8 0x000A 0x000B 0x000C 0x000D 0x000E 0x000F 0x0080 0x0081))
 171 (assert_return (invoke "v128.load16x4_s" (i32.const 10)) (v128.const i32x4 0x00000B0A 0x00000D0C 0x00000F0E 0xFFFF8180))
 172 (assert_return (invoke "v128.load16x4_u" (i32.const 10)) (v128.const i32x4 0x00000B0A 0x00000D0C 0x00000F0E 0x00008180))
 173 (assert_return (invoke "v128.load32x2_s" (i32.const 10)) (v128.const i64x2 0x000000000D0C0B0A 0xFFFFFFFF81800F0E))
 174 (assert_return (invoke "v128.load32x2_u" (i32.const 10)) (v128.const i64x2 0x000000000D0C0B0A 0x0000000081800F0E))
 175 (assert_return (invoke "v128.load8x8_s" (i32.const 20)) (v128.const i16x8 0xff84 0xff85 0xff86 0xff87 0xff88 0xff89 0x0000 0x0000))
 176 (assert_return (invoke "v128.load8x8_u" (i32.const 20)) (v128.const i16x8 0x0084 0x0085 0x0086 0x0087 0x0088 0x0089 0x0000 0x0000))
 177 (assert_return (invoke "v128.load16x4_s" (i32.const 20)) (v128.const i32x4 0xffff8584 0xffff8786 0xffff8988 0x00000000))
 178 (assert_return (invoke "v128.load16x4_u" (i32.const 20)) (v128.const i32x4 0x00008584 0x00008786 0x00008988 0x00000000))
 179 (assert_return (invoke "v128.load32x2_s" (i32.const 20)) (v128.const i64x2 0xFFFFFFFF87868584 0x0000000000008988))
 180 (assert_return (invoke "v128.load32x2_u" (i32.const 20)) (v128.const i64x2 0x0000000087868584 0x0000000000008988))
 181
 182 ;; load by a constant amount
 183 (assert_return (invoke "v128.load8x8_s_const0") (v128.const i16x8 0x0000 0x0001 0x0002 0x0003 0x0004 0x0005 0x0006 0x0007))
 184 (assert_return (invoke "v128.load8x8_u_const8") (v128.const i16x8 0x0008 0x0009 0x000A 0x000B 0x000C 0x000D 0x000E 0x000F))
 185 (assert_return (invoke "v128.load16x4_s_const10") (v128.const i32x4 0x00000B0A 0x00000D0C 0x00000F0E 0xFFFF8180))
 186 (assert_return (invoke "v128.load16x4_u_const20") (v128.const i32x4 0x00008584 0x00008786 0x00008988 0x00000000))
 187 (assert_return (invoke "v128.load32x2_s_const65520") (v128.const i64x2 0x000000000D0C0B0A 0xFFFFFFFF81800F0E))
 188 (assert_return (invoke "v128.load32x2_u_const65526") (v128.const i64x2 0x0000000083828180 0x0000000087868584))
 189
 190 ;; load data with different offset/align arguments
 191 ;; i16x8
 192 (assert_return (invoke "v128.load8x8_s_offset0" (i32.const 0)) (v128.const i16x8 0x0000 0x0001 0x0002 0x0003 0x0004 0x0005 0x0006 0x0007))
 193 (assert_return (invoke "v128.load8x8_s_align1" (i32.const 1)) (v128.const i16x8 0x0001 0x0002 0x0003 0x0004 0x0005 0x0006 0x0007 0x0008))
 194 (assert_return (invoke "v128.load8x8_s_offset0_align1" (i32.const 2)) (v128.const i16x8 0x0002 0x0003 0x0004 0x0005 0x0006 0x0007 0x0008 0x0009))
 195 (assert_return (invoke "v128.load8x8_s_offset10_align4" (i32.const 3)) (v128.const i16x8 0x000D 0x000E 0x000F 0xFF80 0xFF81 0xFF82 0xFF83 0xFF84))
 196 (assert_return (invoke "v128.load8x8_s_offset20_align8" (i32.const 4)) (v128.const i16x8 0xFF88 0xFF89 0x0000 0x0000 0x0000 0x0000 0x0000 0x0000))
 197 (assert_return (invoke "v128.load8x8_u_offset0" (i32.const 0)) (v128.const i16x8 0x0000 0x0001 0x0002 0x0003 0x0004 0x0005 0x0006 0x0007))
 198 (assert_return (invoke "v128.load8x8_u_align1" (i32.const 1)) (v128.const i16x8 0x0001 0x0002 0x0003 0x0004 0x0005 0x0006 0x0007 0x0008))
 199 (assert_return (invoke "v128.load8x8_u_offset0_align1" (i32.const 2)) (v128.const i16x8 0x0002 0x0003 0x0004 0x0005 0x0006 0x0007 0x0008 0x0009))
 200 (assert_return (invoke "v128.load8x8_u_offset10_align4" (i32.const 3)) (v128.const i16x8 0x000D 0x000E 0x000F 0x0080 0x0081 0x0082 0x0083 0x0084))
 201 (assert_return (invoke "v128.load8x8_u_offset20_align8" (i32.const 4)) (v128.const i16x8 0x0088 0x0089 0x0000 0x0000 0x0000 0x0000 0x0000 0x0000))
 202 ;; i32x4
 203 (assert_return (invoke "v128.load16x4_s_offset0" (i32.const 0)) (v128.const i32x4 0x00000100 0x00000302 0x00000504 0x00000706))
 204 (assert_return (invoke "v128.load16x4_s_align1" (i32.const 1)) (v128.const i32x4 0x00000201 0x00000403 0x00000605 0x00000807))
 205 (assert_return (invoke "v128.load16x4_s_offset0_align1" (i32.const 2)) (v128.const i32x4 0x00000302 0x00000504 0x00000706 0x00000908))
 206 (assert_return (invoke "v128.load16x4_s_offset10_align4" (i32.const 3)) (v128.const i32x4 0x00000E0D 0xFFFF800F 0xFFFF8281 0xFFFF8483))
 207 (assert_return (invoke "v128.load16x4_s_offset20_align8" (i32.const 4)) (v128.const i32x4 0xFFFF8988 0x00000000 0x00000000 0x00000000))
 208 (assert_return (invoke "v128.load16x4_u_offset0" (i32.const 0)) (v128.const i32x4 0x00000100 0x00000302 0x00000504 0x00000706))
 209 (assert_return (invoke "v128.load16x4_u_align1" (i32.const 1)) (v128.const i32x4 0x00000201 0x00000403 0x00000605 0x00000807))
 210 (assert_return (invoke "v128.load16x4_u_offset0_align1" (i32.const 2)) (v128.const i32x4 0x00000302 0x00000504 0x00000706 0x00000908))
 211 (assert_return (invoke "v128.load16x4_u_offset10_align4" (i32.const 3)) (v128.const i32x4 0x00000E0D 0x0000800F 0x00008281 0x00008483))
 212 (assert_return (invoke "v128.load16x4_u_offset20_align8" (i32.const 4)) (v128.const i32x4 0x00008988 0x00000000 0x00000000 0x00000000))
 213 ;; i64x2
 214 (assert_return (invoke "v128.load32x2_s_offset0" (i32.const 0)) (v128.const i64x2 0x0000000003020100 0x0000000007060504))
 215 (assert_return (invoke "v128.load32x2_s_align1" (i32.const 1)) (v128.const i64x2 0x0000000004030201 0x0000000008070605))
 216 (assert_return (invoke "v128.load32x2_s_offset0_align1" (i32.const 2)) (v128.const i64x2 0x0000000005040302 0x0000000009080706))
 217 (assert_return (invoke "v128.load32x2_s_offset10_align4" (i32.const 3)) (v128.const i64x2 0xFFFFFFFF800F0E0D 0xFFFFFFFF84838281))
 218 (assert_return (invoke "v128.load32x2_s_offset20_align8" (i32.const 4)) (v128.const i64x2 0x0000000000008988 0x0000000000000000))
 219 (assert_return (invoke "v128.load32x2_u_offset0" (i32.const 0)) (v128.const i64x2 0x0000000003020100 0x0000000007060504))
 220 (assert_return (invoke "v128.load32x2_u_align1" (i32.const 1)) (v128.const i64x2 0x0000000004030201 0x0000000008070605))
 221 (assert_return (invoke "v128.load32x2_u_offset0_align1" (i32.const 2)) (v128.const i64x2 0x0000000005040302 0x0000000009080706))
 222 (assert_return (invoke "v128.load32x2_u_offset10_align4" (i32.const 3)) (v128.const i64x2 0x00000000800F0E0D 0x0000000084838281))
 223 (assert_return (invoke "v128.load32x2_u_offset20_align8" (i32.const 4)) (v128.const i64x2 0x0000000000008988 0x0000000000000000))
 224
 225 ;; out of bounds memory access
 226 (assert_trap (invoke "v128.load8x8_s" (i32.const -1))  "out of bounds memory access")
 227 (assert_trap (invoke "v128.load8x8_u" (i32.const -1))  "out of bounds memory access")
 228 (assert_trap (invoke "v128.load16x4_s" (i32.const 65536))  "out of bounds memory access")
 229 (assert_trap (invoke "v128.load16x4_u" (i32.const 65536))  "out of bounds memory access")
 230 (assert_trap (invoke "v128.load32x2_s" (i32.const 65529))  "out of bounds memory access")
 231 (assert_trap (invoke "v128.load32x2_u" (i32.const 65529))  "out of bounds memory access")
 232
 233 (assert_trap (invoke "v128.load8x8_s_offset1_align1" (i32.const -1)) "out of bounds memory access")
 234 (assert_trap (invoke "v128.load8x8_u_offset1_align1" (i32.const -1)) "out of bounds memory access")
 235 (assert_trap (invoke "v128.load16x4_s_offset1_align1" (i32.const -1)) "out of bounds memory access")
 236 (assert_trap (invoke "v128.load16x4_u_offset1_align1" (i32.const -1)) "out of bounds memory access")
 237 (assert_trap (invoke "v128.load32x2_s_offset1_align1" (i32.const -1)) "out of bounds memory access")
 238 (assert_trap (invoke "v128.load32x2_u_offset1_align1" (i32.const -1)) "out of bounds memory access")
 239
 240 ;; type check
 241 (assert_invalid (module (memory 0) (func (result v128) (v128.load8x8_s (f32.const 0)))) "type mismatch")
 242 (assert_invalid (module (memory 0) (func (result v128) (v128.load8x8_u (f32.const 0)))) "type mismatch")
 243 (assert_invalid (module (memory 0) (func (result v128) (v128.load16x4_s (f64.const 0)))) "type mismatch")
 244 (assert_invalid (module (memory 0) (func (result v128) (v128.load16x4_u (f64.const 0)))) "type mismatch")
 245 (assert_invalid (module (memory 0) (func (result v128) (v128.load32x2_s (v128.const i32x4 0 0 0 0)))) "type mismatch")
 246 (assert_invalid (module (memory 0) (func (result v128) (v128.load32x2_u (v128.const i32x4 0 0 0 0)))) "type mismatch")
 247
 248 ;; Test operation with empty argument
 249
 250 (assert_invalid
 251   (module (memory 0)
 252     (func $v128.load8x8_s-arg-empty (result v128)
 253       (v128.load8x8_s)
 254     )
 255   )
 256   "type mismatch"
 257 )
 258 (assert_invalid
 259   (module (memory 0)
 260     (func $v128.load8x8_u-arg-empty (result v128)
 261       (v128.load8x8_u)
 262     )
 263   )
 264   "type mismatch"
 265 )
 266 (assert_invalid
 267   (module (memory 0)
 268     (func $v128.load16x4_s-arg-empty (result v128)
 269       (v128.load16x4_s)
 270     )
 271   )
 272   "type mismatch"
 273 )
 274 (assert_invalid
 275   (module (memory 0)
 276     (func $v128.load16x4_u-arg-empty (result v128)
 277       (v128.load16x4_u)
 278     )
 279   )
 280   "type mismatch"
 281 )
 282 (assert_invalid
 283   (module (memory 0)
 284     (func $v128.load32x2_s-arg-empty (result v128)
 285       (v128.load32x2_s)
 286     )
 287   )
 288   "type mismatch"
 289 )
 290 (assert_invalid
 291   (module (memory 0)
 292     (func $v128.load32x2_u-arg-empty (result v128)
 293       (v128.load32x2_u)
 294     )
 295   )
 296   "type mismatch"
 297 )
 298
 299 ;; Unknown operator
 300
 301 (assert_malformed (module quote "(memory 1) (func (drop (i16x8.load16x4_s (i32.const 0))))") "unknown operator")
 302 (assert_malformed (module quote "(memory 1) (func (drop (i16x8.load16x4_u (i32.const 0))))") "unknown operator")
 303 (assert_malformed (module quote "(memory 1) (func (drop (i32x4.load32x2_s (i32.const 0))))") "unknown operator")
 304 (assert_malformed (module quote "(memory 1) (func (drop (i32x4.load32x2_u (i32.const 0))))") "unknown operator")
 305 (assert_malformed (module quote "(memory 1) (func (drop (i64x2.load64x1_s (i32.const 0))))") "unknown operator")
 306 (assert_malformed (module quote "(memory 1) (func (drop (i64x2.load64x1_u (i32.const 0))))") "unknown operator")
 307
 308 ;; combination
 309 (module
 310   (memory 1)
 311   (data (i32.const 0) "\00\01\02\03\04\05\06\07\08\09\0A\0B\0C\0D\0E\0F\80\81\82\83\84\85\86\87\88\89")
 312   (func (export "v128.load8x8_s-in-block") (result v128)
 313     (block (result v128) (block (result v128) (v128.load8x8_s (i32.const 0))))
 314   )
 315   (func (export "v128.load8x8_u-in-block") (result v128)
 316     (block (result v128) (block (result v128) (v128.load8x8_u (i32.const 1))))
 317   )
 318   (func (export "v128.load16x4_s-in-block") (result v128)
 319     (block (result v128) (block (result v128) (v128.load16x4_s (i32.const 2))))
 320   )
 321   (func (export "v128.load16x4_u-in-block") (result v128)
 322     (block (result v128) (block (result v128) (v128.load16x4_u (i32.const 3))))
 323   )
 324   (func (export "v128.load32x2_s-in-block") (result v128)
 325     (block (result v128) (block (result v128) (v128.load32x2_s (i32.const 4))))
 326   )
 327   (func (export "v128.load32x2_u-in-block") (result v128)
 328     (block (result v128) (block (result v128) (v128.load32x2_u (i32.const 5))))
 329   )
 330   (func (export "v128.load8x8_s-as-br-value") (result v128)
 331     (block (result v128) (br 0 (v128.load8x8_s (i32.const 6))))
 332   )
 333   (func (export "v128.load8x8_u-as-br-value") (result v128)
 334     (block (result v128) (br 0 (v128.load8x8_u (i32.const 7))))
 335   )
 336   (func (export "v128.load16x4_s-as-br-value") (result v128)
 337     (block (result v128) (br 0 (v128.load16x4_s (i32.const 8))))
 338   )
 339   (func (export "v128.load16x4_u-as-br-value") (result v128)
 340     (block (result v128) (br 0 (v128.load16x4_u (i32.const 9))))
 341   )
 342   (func (export "v128.load32x2_s-as-br-value") (result v128)
 343     (block (result v128) (br 0 (v128.load32x2_s (i32.const 10))))
 344   )
 345   (func (export "v128.load32x2_u-as-br-value") (result v128)
 346     (block (result v128) (br 0 (v128.load32x2_u (i32.const 11))))
 347   )
 348   (func (export "v128.load8x8_s-extract_lane_s-operand") (result i32)
 349     (i8x16.extract_lane_s 0 (v128.load8x8_s (i32.const 12)))
 350   )
 351   (func (export "v128.load8x8_u-extract_lane_s-operand") (result i32)
 352     (i8x16.extract_lane_s 0 (v128.load8x8_u (i32.const 13)))
 353   )
 354   (func (export "v128.load16x4_s-extract_lane_s-operand") (result i32)
 355     (i8x16.extract_lane_s 0 (v128.load16x4_s (i32.const 14)))
 356   )
 357   (func (export "v128.load16x4_u-extract_lane_s-operand") (result i32)
 358     (i8x16.extract_lane_s 0 (v128.load16x4_u (i32.const 15)))
 359   )
 360   (func (export "v128.load32x2_s-extract_lane_s-operand") (result i32)
 361     (i8x16.extract_lane_s 0 (v128.load32x2_s (i32.const 16)))
 362   )
 363   (func (export "v128.load32x2_u-extract_lane_s-operand") (result i32)
 364     (i8x16.extract_lane_s 0 (v128.load32x2_u (i32.const 17)))
 365   )
 366 )
 367 (assert_return (invoke "v128.load8x8_s-in-block") (v128.const i16x8 0x0000 0x0001 0x0002 0x0003 0x0004 0x0005 0x0006 0x0007))
 368 (assert_return (invoke "v128.load8x8_u-in-block") (v128.const i16x8 0x0001 0x0002 0x0003 0x0004 0x0005 0x0006 0x0007 0x0008))
 369 (assert_return (invoke "v128.load16x4_s-in-block") (v128.const i32x4 0x00000302 0x00000504 0x00000706 0x00000908))
 370 (assert_return (invoke "v128.load16x4_u-in-block") (v128.const i32x4 0x00000403 0x00000605 0x00000807 0x00000A09))
 371 (assert_return (invoke "v128.load32x2_s-in-block") (v128.const i64x2 0x0000000007060504 0x000000000B0A0908))
 372 (assert_return (invoke "v128.load32x2_u-in-block") (v128.const i64x2 0x0000000008070605 0x000000000C0B0A09))
 373 (assert_return (invoke "v128.load8x8_s-as-br-value") (v128.const i16x8 0x0006 0x0007 0x0008 0x0009 0x000A 0x000B 0x000C 0x000D))
 374 (assert_return (invoke "v128.load8x8_u-as-br-value") (v128.const i16x8 0x0007 0x0008 0x0009 0x000A 0x000B 0x000C 0x000D 0x000E))
 375 (assert_return (invoke "v128.load16x4_s-as-br-value") (v128.const i32x4 0x00000908 0x00000B0A 0x00000D0C 0x00000F0E))
 376 (assert_return (invoke "v128.load16x4_u-as-br-value") (v128.const i32x4 0x00000A09 0x00000C0B 0x00000E0D 0x0000800F))
 377 (assert_return (invoke "v128.load32x2_s-as-br-value") (v128.const i64x2 0x000000000D0C0B0A 0xFFFFFFFF81800F0E))
 378 (assert_return (invoke "v128.load32x2_u-as-br-value") (v128.const i64x2 0x000000000E0D0C0B 0x000000008281800F))
 379 (assert_return (invoke "v128.load8x8_s-extract_lane_s-operand") (i32.const 12))
 380 (assert_return (invoke "v128.load8x8_u-extract_lane_s-operand") (i32.const 13))
 381 (assert_return (invoke "v128.load16x4_s-extract_lane_s-operand") (i32.const 14))
 382 (assert_return (invoke "v128.load16x4_u-extract_lane_s-operand") (i32.const 15))
 383 (assert_return (invoke "v128.load32x2_s-extract_lane_s-operand") (i32.const -128))
 384 (assert_return (invoke "v128.load32x2_u-extract_lane_s-operand") (i32.const -127))