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

   1 ;; Test all the boolean operators on major boundary values and all special values.
   2
   3 (module
   4   (func (export "i8x16.any_true") (param $0 v128) (result i32) (v128.any_true (local.get $0)))
   5   (func (export "i8x16.all_true") (param $0 v128) (result i32) (i8x16.all_true (local.get $0)))
   6   (func (export "i8x16.bitmask") (param $0 v128) (result i32) (i8x16.bitmask (local.get $0)))
   7
   8   (func (export "i16x8.any_true") (param $0 v128) (result i32) (v128.any_true (local.get $0)))
   9   (func (export "i16x8.all_true") (param $0 v128) (result i32) (i16x8.all_true (local.get $0)))
  10   (func (export "i16x8.bitmask") (param $0 v128) (result i32) (i16x8.bitmask (local.get $0)))
  11
  12   (func (export "i32x4.any_true") (param $0 v128) (result i32) (v128.any_true (local.get $0)))
  13   (func (export "i32x4.all_true") (param $0 v128) (result i32) (i32x4.all_true (local.get $0)))
  14   (func (export "i32x4.bitmask") (param $0 v128) (result i32) (i32x4.bitmask (local.get $0)))
  15
  16   (func (export "i64x2.all_true") (param $0 v128) (result i32) (i64x2.all_true (local.get $0)))
  17   (func (export "i64x2.bitmask") (param $0 v128) (result i32) (i64x2.bitmask (local.get $0)))
  18 )
  19
  20 ;; i8x16
  21 (assert_return (invoke "i8x16.any_true" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
  22                                         (i32.const 0))
  23 (assert_return (invoke "i8x16.any_true" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0))
  24                                         (i32.const 1))
  25 (assert_return (invoke "i8x16.any_true" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1))
  26                                         (i32.const 1))
  27 (assert_return (invoke "i8x16.any_true" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1))
  28                                         (i32.const 1))
  29 (assert_return (invoke "i8x16.any_true" (v128.const i8x16 -1 0 1 2 3 4 5 6 7 8 9 0xA 0xB 0xC 0xD 0xF))
  30                                         (i32.const 1))
  31 (assert_return (invoke "i8x16.any_true" (v128.const i8x16 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00))
  32                                         (i32.const 0))
  33 (assert_return (invoke "i8x16.any_true" (v128.const i8x16 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF))
  34                                         (i32.const 1))
  35 (assert_return (invoke "i8x16.any_true" (v128.const i8x16 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB))
  36                                         (i32.const 1))
  37 (assert_return (invoke "i8x16.any_true" (v128.const i8x16 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55))
  38                                         (i32.const 1))
  39 (assert_return (invoke "i8x16.all_true" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
  40                                         (i32.const 0))
  41 (assert_return (invoke "i8x16.all_true" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0))
  42                                         (i32.const 0))
  43 (assert_return (invoke "i8x16.all_true" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1))
  44                                         (i32.const 0))
  45 (assert_return (invoke "i8x16.all_true" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1))
  46                                         (i32.const 1))
  47 (assert_return (invoke "i8x16.all_true" (v128.const i8x16 -1 0 1 2 3 4 5 6 7 8 9 0xA 0xB 0xC 0xD 0xF))
  48                                         (i32.const 0))
  49 (assert_return (invoke "i8x16.all_true" (v128.const i8x16 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00))
  50                                         (i32.const 0))
  51 (assert_return (invoke "i8x16.all_true" (v128.const i8x16 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF))
  52                                         (i32.const 1))
  53 (assert_return (invoke "i8x16.all_true" (v128.const i8x16 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB))
  54                                         (i32.const 1))
  55 (assert_return (invoke "i8x16.all_true" (v128.const i8x16 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55))
  56                                         (i32.const 1))
  57 (assert_return (invoke "i8x16.bitmask" (v128.const i8x16 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF))
  58                                         (i32.const 0x0000FFFF))
  59 (assert_return (invoke "i8x16.bitmask" (v128.const i8x16 -1 0 1 2 3 4 5 6 7 8 9 0xA 0xB 0xC 0xD 0xF))
  60                                         (i32.const 0x00000001))
  61
  62 ;; i16x8
  63 (assert_return (invoke "i16x8.any_true" (v128.const i16x8 0 0 0 0 0 0 0 0))
  64                                         (i32.const 0))
  65 (assert_return (invoke "i16x8.any_true" (v128.const i16x8 0 0 0 0 0 0 1 0))
  66                                         (i32.const 1))
  67 (assert_return (invoke "i16x8.any_true" (v128.const i16x8 1 1 1 1 1 1 0 1))
  68                                         (i32.const 1))
  69 (assert_return (invoke "i16x8.any_true" (v128.const i16x8 1 1 1 1 1 1 1 1))
  70                                         (i32.const 1))
  71 (assert_return (invoke "i16x8.any_true" (v128.const i16x8 -1 0 1 2 0xB 0xC 0xD 0xF))
  72                                         (i32.const 1))
  73 (assert_return (invoke "i16x8.any_true" (v128.const i16x8 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00))
  74                                         (i32.const 0))
  75 (assert_return (invoke "i16x8.any_true" (v128.const i16x8 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF))
  76                                         (i32.const 1))
  77 (assert_return (invoke "i16x8.any_true" (v128.const i16x8 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB))
  78                                         (i32.const 1))
  79 (assert_return (invoke "i16x8.any_true" (v128.const i16x8 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55))
  80                                         (i32.const 1))
  81 (assert_return (invoke "i16x8.any_true" (v128.const i16x8 012_345 012_345 012_345 012_345 012_345 012_345 012_345 012_345))
  82                                         (i32.const 1))
  83 (assert_return (invoke "i16x8.any_true" (v128.const i16x8 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234))
  84                                         (i32.const 1))
  85 (assert_return (invoke "i16x8.all_true" (v128.const i16x8 0 0 0 0 0 0 0 0))
  86                                         (i32.const 0))
  87 (assert_return (invoke "i16x8.all_true" (v128.const i16x8 0 0 0 0 0 0 1 0))
  88                                         (i32.const 0))
  89 (assert_return (invoke "i16x8.all_true" (v128.const i16x8 1 1 1 1 1 1 0 1))
  90                                         (i32.const 0))
  91 (assert_return (invoke "i16x8.all_true" (v128.const i16x8 1 1 1 1 1 1 1 1))
  92                                         (i32.const 1))
  93 (assert_return (invoke "i16x8.all_true" (v128.const i16x8 -1 0 1 2 0xB 0xC 0xD 0xF))
  94                                         (i32.const 0))
  95 (assert_return (invoke "i16x8.all_true" (v128.const i16x8 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00))
  96                                         (i32.const 0))
  97 (assert_return (invoke "i16x8.all_true" (v128.const i16x8 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF 0xFF))
  98                                         (i32.const 1))
  99 (assert_return (invoke "i16x8.all_true" (v128.const i16x8 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB 0xAB))
 100                                         (i32.const 1))
 101 (assert_return (invoke "i16x8.all_true" (v128.const i16x8 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55))
 102                                         (i32.const 1))
 103 (assert_return (invoke "i16x8.all_true" (v128.const i16x8 012_345 012_345 012_345 012_345 012_345 012_345 012_345 012_345))
 104                                         (i32.const 1))
 105 (assert_return (invoke "i16x8.all_true" (v128.const i16x8 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234 0x0_1234))
 106                                         (i32.const 1))
 107 (assert_return (invoke "i16x8.bitmask" (v128.const i16x8 0xFFFF 0xFFFF 0xFFFF 0xFFFF 0xFFFF 0xFFFF 0xFFFF 0xFFFF))
 108                                         (i32.const 0x000000FF))
 109 (assert_return (invoke "i16x8.bitmask" (v128.const i16x8 -1 0 1 2 0xB 0xC 0xD 0xF))
 110                                         (i32.const 0x00000001))
 111
 112 ;; i32x4
 113 (assert_return (invoke "i32x4.any_true" (v128.const i32x4 0 0 0 0))
 114                                         (i32.const 0))
 115 (assert_return (invoke "i32x4.any_true" (v128.const i32x4 0 0 1 0))
 116                                         (i32.const 1))
 117 (assert_return (invoke "i32x4.any_true" (v128.const i32x4 1 1 0 1))
 118                                         (i32.const 1))
 119 (assert_return (invoke "i32x4.any_true" (v128.const i32x4 1 1 1 1))
 120                                         (i32.const 1))
 121 (assert_return (invoke "i32x4.any_true" (v128.const i32x4 -1 0 1 0xF))
 122                                         (i32.const 1))
 123 (assert_return (invoke "i32x4.any_true" (v128.const i32x4 0x00 0x00 0x00 0x00))
 124                                         (i32.const 0))
 125 (assert_return (invoke "i32x4.any_true" (v128.const i32x4 0xFF 0xFF 0xFF 0xFF))
 126                                         (i32.const 1))
 127 (assert_return (invoke "i32x4.any_true" (v128.const i32x4 0xAB 0xAB 0xAB 0xAB))
 128                                         (i32.const 1))
 129 (assert_return (invoke "i32x4.any_true" (v128.const i32x4 0x55 0x55 0x55 0x55))
 130                                         (i32.const 1))
 131 (assert_return (invoke "i32x4.any_true" (v128.const i32x4 01_234_567_890 01_234_567_890 01_234_567_890 01_234_567_890))
 132                                         (i32.const 1))
 133 (assert_return (invoke "i32x4.any_true" (v128.const i32x4 0x0_1234_5678 0x0_1234_5678 0x0_1234_5678 0x0_1234_5678))
 134                                         (i32.const 1))
 135 (assert_return (invoke "i32x4.all_true" (v128.const i32x4 0 0 0 0))
 136                                         (i32.const 0))
 137 (assert_return (invoke "i32x4.all_true" (v128.const i32x4 0 0 1 0))
 138                                         (i32.const 0))
 139 (assert_return (invoke "i32x4.all_true" (v128.const i32x4 1 1 0 1))
 140                                         (i32.const 0))
 141 (assert_return (invoke "i32x4.all_true" (v128.const i32x4 1 1 1 1))
 142                                         (i32.const 1))
 143 (assert_return (invoke "i32x4.all_true" (v128.const i32x4 -1 0 1 0xF))
 144                                         (i32.const 0))
 145 (assert_return (invoke "i32x4.all_true" (v128.const i32x4 0x00 0x00 0x00 0x00))
 146                                         (i32.const 0))
 147 (assert_return (invoke "i32x4.all_true" (v128.const i32x4 0xFF 0xFF 0xFF 0xFF))
 148                                         (i32.const 1))
 149 (assert_return (invoke "i32x4.all_true" (v128.const i32x4 0xAB 0xAB 0xAB 0xAB))
 150                                         (i32.const 1))
 151 (assert_return (invoke "i32x4.all_true" (v128.const i32x4 0x55 0x55 0x55 0x55))
 152                                         (i32.const 1))
 153 (assert_return (invoke "i32x4.all_true" (v128.const i32x4 01_234_567_890 01_234_567_890 01_234_567_890 01_234_567_890))
 154                                         (i32.const 1))
 155 (assert_return (invoke "i32x4.all_true" (v128.const i32x4 0x0_1234_5678 0x0_1234_5678 0x0_1234_5678 0x0_1234_5678))
 156                                         (i32.const 1))
 157 (assert_return (invoke "i32x4.bitmask" (v128.const i32x4 0xFFFFFFFF 0xFFFFFFFF 0xFFFFFFFF 0xFFFFFFFF))
 158                                         (i32.const 0x0000000F))
 159 (assert_return (invoke "i32x4.bitmask" (v128.const i32x4 -1 0 1 0xF))
 160                                         (i32.const 0x00000001))
 161
 162 ;; i64x2
 163 (assert_return (invoke "i64x2.all_true" (v128.const i64x2 0 0))
 164                                         (i32.const 0))
 165 (assert_return (invoke "i64x2.all_true" (v128.const i64x2 0 1))
 166                                         (i32.const 0))
 167 (assert_return (invoke "i64x2.all_true" (v128.const i64x2 1 0))
 168                                         (i32.const 0))
 169 (assert_return (invoke "i64x2.all_true" (v128.const i64x2 1 1))
 170                                         (i32.const 1))
 171 (assert_return (invoke "i64x2.all_true" (v128.const i64x2 -1 0))
 172                                         (i32.const 0))
 173 (assert_return (invoke "i64x2.all_true" (v128.const i64x2 0x00 0x00))
 174                                         (i32.const 0))
 175 (assert_return (invoke "i64x2.all_true" (v128.const i64x2 0xFF 0xFF))
 176                                         (i32.const 1))
 177 (assert_return (invoke "i64x2.all_true" (v128.const i64x2 0xAB 0xAB))
 178                                         (i32.const 1))
 179 (assert_return (invoke "i64x2.all_true" (v128.const i64x2 0x55 0x55))
 180                                         (i32.const 1))
 181 (assert_return (invoke "i64x2.bitmask" (v128.const i64x2 0xFFFFFFFF_FFFFFFFF 0xFFFFFFFF_FFFFFFFF))
 182                                         (i32.const 0x00000003))
 183 (assert_return (invoke "i64x2.bitmask" (v128.const i64x2 -1 0xF))
 184                                         (i32.const 0x00000001))
 185
 186 ;; Combination
 187
 188 (module (memory 1)
 189     ;; as if condition
 190     (func (export "i8x16_any_true_as_if_cond") (param v128) (result i32)
 191         (if (result i32) (v128.any_true (local.get 0))
 192             (then (i32.const 1))
 193             (else (i32.const 0))
 194         )
 195     )
 196     (func (export "i16x8_any_true_as_if_cond") (param v128) (result i32)
 197         (if (result i32) (v128.any_true (local.get 0))
 198             (then (i32.const 1))
 199             (else (i32.const 0))
 200         )
 201     )
 202     (func (export "i32x4_any_true_as_if_cond") (param v128) (result i32)
 203         (if (result i32) (v128.any_true (local.get 0))
 204             (then (i32.const 1))
 205             (else (i32.const 0))
 206         )
 207     )
 208     (func (export "i8x16_all_true_as_if_cond") (param v128) (result i32)
 209         (if (result i32) (i8x16.all_true (local.get 0))
 210             (then (i32.const 1))
 211             (else (i32.const 0))
 212         )
 213     )
 214     (func (export "i16x8_all_true_as_if_cond") (param v128) (result i32)
 215         (if (result i32) (i16x8.all_true (local.get 0))
 216             (then (i32.const 1))
 217             (else (i32.const 0))
 218         )
 219     )
 220     (func (export "i32x4_all_true_as_if_cond") (param v128) (result i32)
 221         (if (result i32) (i32x4.all_true (local.get 0))
 222             (then (i32.const 1))
 223             (else (i32.const 0))
 224         )
 225     )
 226     ;; any_true as select condition
 227     (func (export "i8x16_any_true_as_select_cond") (param v128) (result i32)
 228      (select (i32.const 1) (i32.const 0) (v128.any_true (local.get 0)))
 229     )
 230     (func (export "i16x8_any_true_as_select_cond") (param v128) (result i32)
 231      (select (i32.const 1) (i32.const 0) (v128.any_true (local.get 0)))
 232     )
 233     (func (export "i32x4_any_true_as_select_cond") (param v128) (result i32)
 234      (select (i32.const 1) (i32.const 0) (v128.any_true (local.get 0)))
 235     )
 236     ;; all_true as select condition
 237     (func (export "i8x16_all_true_as_select_cond") (param v128) (result i32)
 238      (select (i32.const 1) (i32.const 0) (i8x16.all_true (local.get 0)))
 239     )
 240     (func (export "i16x8_all_true_as_select_cond") (param v128) (result i32)
 241      (select (i32.const 1) (i32.const 0) (i16x8.all_true (local.get 0)))
 242     )
 243     (func (export "i32x4_all_true_as_select_cond") (param v128) (result i32)
 244      (select (i32.const 1) (i32.const 0) (i32x4.all_true (local.get 0)))
 245     )
 246     ;; any_true as br_if condition
 247     (func (export "i8x16_any_true_as_br_if_cond") (param $0 v128) (result i32)
 248       (local $1 i32)
 249       (local.set $1 (i32.const 2))
 250       (block
 251         (local.set $1 (i32.const 1))
 252         (br_if 0 (v128.any_true (local.get $0)))
 253         (local.set $1 (i32.const 0))
 254       )
 255       (local.get $1)
 256     )
 257     (func (export "i16x8_any_true_as_br_if_cond") (param $0 v128) (result i32)
 258       (local $1 i32)
 259       (local.set $1 (i32.const 2))
 260       (block
 261         (local.set $1 (i32.const 1))
 262         (br_if 0 (v128.any_true (local.get $0)))
 263         (local.set $1 (i32.const 0))
 264       )
 265       (local.get $1)
 266     )
 267     (func (export "i32x4_any_true_as_br_if_cond") (param $0 v128) (result i32)
 268       (local $1 i32)
 269       (local.set $1 (i32.const 2))
 270       (block
 271         (local.set $1 (i32.const 1))
 272         (br_if 0 (v128.any_true (local.get $0)))
 273         (local.set $1 (i32.const 0))
 274       )
 275       (local.get $1)
 276     )
 277     ;; all_true as br_if condition
 278     (func (export "i8x16_all_true_as_br_if_cond") (param $0 v128) (result i32)
 279       (local $1 i32)
 280       (local.set $1 (i32.const 2))
 281       (block
 282         (local.set $1 (i32.const 1))
 283         (br_if 0 (i8x16.all_true (local.get $0)))
 284         (local.set $1 (i32.const 0))
 285       )
 286       (local.get $1)
 287     )
 288     (func (export "i16x8_all_true_as_br_if_cond") (param $0 v128) (result i32)
 289       (local $1 i32)
 290       (local.set $1 (i32.const 2))
 291       (block
 292         (local.set $1 (i32.const 1))
 293         (br_if 0 (i16x8.all_true (local.get $0)))
 294         (local.set $1 (i32.const 0))
 295       )
 296       (local.get $1)
 297     )
 298     (func (export "i32x4_all_true_as_br_if_cond") (param $0 v128) (result i32)
 299       (local $1 i32)
 300       (local.set $1 (i32.const 2))
 301       (block
 302         (local.set $1 (i32.const 1))
 303         (br_if 0 (i32x4.all_true (local.get $0)))
 304         (local.set $1 (i32.const 0))
 305       )
 306       (local.get $1)
 307     )
 308     ;; any_true as i32.and operand
 309     (func (export "i8x16_any_true_as_i32.and_operand") (param $0 v128) (param $1 v128) (result i32)
 310       (i32.and (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
 311     )
 312     (func (export "i16x8_any_true_as_i32.and_operand") (param $0 v128) (param $1 v128) (result i32)
 313       (i32.and (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
 314     )
 315     (func (export "i32x4_any_true_as_i32.and_operand") (param $0 v128) (param $1 v128) (result i32)
 316       (i32.and (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
 317     )
 318      ;; any_true as i32.or operand
 319     (func (export "i8x16_any_true_as_i32.or_operand") (param $0 v128) (param $1 v128) (result i32)
 320       (i32.or (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
 321     )
 322     (func (export "i16x8_any_true_as_i32.or_operand") (param $0 v128) (param $1 v128) (result i32)
 323       (i32.or (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
 324     )
 325     (func (export "i32x4_any_true_as_i32.or_operand") (param $0 v128) (param $1 v128) (result i32)
 326       (i32.or (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
 327     )
 328      ;; any_true as i32.xor operand
 329     (func (export "i8x16_any_true_as_i32.xor_operand") (param $0 v128) (param $1 v128) (result i32)
 330       (i32.xor (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
 331     )
 332     (func (export "i16x8_any_true_as_i32.xor_operand") (param $0 v128) (param $1 v128) (result i32)
 333       (i32.xor (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
 334     )
 335     (func (export "i32x4_any_true_as_i32.xor_operand") (param $0 v128) (param $1 v128) (result i32)
 336       (i32.xor (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
 337     )
 338      ;; all_true as i32.and operand
 339     (func (export "i8x16_all_true_as_i32.and_operand") (param $0 v128) (param $1 v128) (result i32)
 340       (i32.and (i8x16.all_true (local.get $0)) (i8x16.all_true (local.get $1)))
 341     )
 342     (func (export "i16x8_all_true_as_i32.and_operand") (param $0 v128) (param $1 v128) (result i32)
 343       (i32.and (i16x8.all_true (local.get $0)) (i16x8.all_true (local.get $1)))
 344     )
 345     (func (export "i32x4_all_true_as_i32.and_operand") (param $0 v128) (param $1 v128) (result i32)
 346       (i32.and (i32x4.all_true (local.get $0)) (i32x4.all_true (local.get $1)))
 347     )
 348      ;; all_true as i32.or operand
 349     (func (export "i8x16_all_true_as_i32.or_operand") (param $0 v128) (param $1 v128) (result i32)
 350       (i32.or (i8x16.all_true (local.get $0)) (i8x16.all_true (local.get $1)))
 351     )
 352     (func (export "i16x8_all_true_as_i32.or_operand") (param $0 v128) (param $1 v128) (result i32)
 353       (i32.or (i16x8.all_true (local.get $0)) (i16x8.all_true (local.get $1)))
 354     )
 355     (func (export "i32x4_all_true_as_i32.or_operand") (param $0 v128) (param $1 v128) (result i32)
 356       (i32.or (i32x4.all_true (local.get $0)) (i32x4.all_true (local.get $1)))
 357     )
 358      ;; all_true as i32.xor operand
 359     (func (export "i8x16_all_true_as_i32.xor_operand") (param $0 v128) (param $1 v128) (result i32)
 360       (i32.xor (i8x16.all_true (local.get $0)) (i8x16.all_true (local.get $1)))
 361     )
 362     (func (export "i16x8_all_true_as_i32.xor_operand") (param $0 v128) (param $1 v128) (result i32)
 363       (i32.xor (i16x8.all_true (local.get $0)) (i16x8.all_true (local.get $1)))
 364     )
 365     (func (export "i32x4_all_true_as_i32.xor_operand") (param $0 v128) (param $1 v128) (result i32)
 366       (i32.xor (i32x4.all_true (local.get $0)) (i32x4.all_true (local.get $1)))
 367     )
 368     ;; any_true with v128.not
 369     (func (export "i8x16_any_true_with_v128.not") (param $0 v128) (result i32)
 370        (v128.any_true (v128.not (local.get $0)))
 371     )
 372     (func (export "i16x8_any_true_with_v128.not") (param $0 v128) (result i32)
 373        (v128.any_true (v128.not (local.get $0)))
 374     )
 375     (func (export "i32x4_any_true_with_v128.not") (param $0 v128) (result i32)
 376        (v128.any_true (v128.not (local.get $0)))
 377     )
 378     ;; any_true with v128.and
 379     (func (export "i8x16_any_true_with_v128.and") (param $0 v128) (param $1 v128) (result i32)
 380        (v128.any_true (v128.and (local.get $0) (local.get $1)))
 381     )
 382     (func (export "i16x8_any_true_with_v128.and") (param $0 v128) (param $1 v128) (result i32)
 383        (v128.any_true (v128.and (local.get $0) (local.get $1)))
 384     )
 385     (func (export "i32x4_any_true_with_v128.and") (param $0 v128) (param $1 v128) (result i32)
 386        (v128.any_true (v128.and (local.get $0) (local.get $1)))
 387     )
 388     ;; any_true with v128.or
 389     (func (export "i8x16_any_true_with_v128.or") (param $0 v128) (param $1 v128) (result i32)
 390        (v128.any_true (v128.or (local.get $0) (local.get $1)))
 391     )
 392     (func (export "i16x8_any_true_with_v128.or") (param $0 v128) (param $1 v128) (result i32)
 393        (v128.any_true (v128.or (local.get $0) (local.get $1)))
 394     )
 395     (func (export "i32x4_any_true_with_v128.or") (param $0 v128) (param $1 v128) (result i32)
 396        (v128.any_true (v128.or (local.get $0) (local.get $1)))
 397     )
 398     ;; any_true with v128.xor
 399     (func (export "i8x16_any_true_with_v128.xor") (param $0 v128) (param $1 v128) (result i32)
 400        (v128.any_true (v128.xor (local.get $0) (local.get $1)))
 401     )
 402     (func (export "i16x8_any_true_with_v128.xor") (param $0 v128) (param $1 v128) (result i32)
 403        (v128.any_true (v128.xor (local.get $0) (local.get $1)))
 404     )
 405     (func (export "i32x4_any_true_with_v128.xor") (param $0 v128) (param $1 v128) (result i32)
 406        (v128.any_true (v128.xor (local.get $0) (local.get $1)))
 407     )
 408     ;; any_true with v128.bitselect
 409     (func (export "i8x16_any_true_with_v128.bitselect") (param $0 v128) (param $1 v128) (param $2 v128) (result i32)
 410        (v128.any_true (v128.bitselect (local.get $0) (local.get $1) (local.get $2)))
 411     )
 412     (func (export "i16x8_any_true_with_v128.bitselect") (param $0 v128) (param $1 v128) (param $2 v128) (result i32)
 413        (v128.any_true (v128.bitselect (local.get $0) (local.get $1) (local.get $2)))
 414     )
 415     (func (export "i32x4_any_true_with_v128.bitselect") (param $0 v128) (param $1 v128) (param $2 v128) (result i32)
 416        (v128.any_true (v128.bitselect (local.get $0) (local.get $1) (local.get $2)))
 417     )
 418     ;; all_true with v128.not
 419     (func (export "i8x16_all_true_with_v128.not") (param $0 v128) (result i32)
 420        (i8x16.all_true (v128.not (local.get $0)))
 421     )
 422     (func (export "i16x8_all_true_with_v128.not") (param $0 v128) (result i32)
 423        (i16x8.all_true (v128.not (local.get $0)))
 424     )
 425     (func (export "i32x4_all_true_with_v128.not") (param $0 v128) (result i32)
 426        (i32x4.all_true (v128.not (local.get $0)))
 427     )
 428     ;; all_true with v128.and
 429     (func (export "i8x16_all_true_with_v128.and") (param $0 v128) (param $1 v128) (result i32)
 430        (i8x16.all_true (v128.and (local.get $0) (local.get $1)))
 431     )
 432     (func (export "i16x8_all_true_with_v128.and") (param $0 v128) (param $1 v128) (result i32)
 433        (i16x8.all_true (v128.and (local.get $0) (local.get $1)))
 434     )
 435     (func (export "i32x4_all_true_with_v128.and") (param $0 v128) (param $1 v128) (result i32)
 436        (i32x4.all_true (v128.and (local.get $0) (local.get $1)))
 437     )
 438     ;; all_true with v128.or
 439     (func (export "i8x16_all_true_with_v128.or") (param $0 v128) (param $1 v128) (result i32)
 440        (i8x16.all_true (v128.or (local.get $0) (local.get $1)))
 441     )
 442     (func (export "i16x8_all_true_with_v128.or") (param $0 v128) (param $1 v128) (result i32)
 443        (i16x8.all_true (v128.or (local.get $0) (local.get $1)))
 444     )
 445     (func (export "i32x4_all_true_with_v128.or") (param $0 v128) (param $1 v128) (result i32)
 446        (i32x4.all_true (v128.or (local.get $0) (local.get $1)))
 447     )
 448     ;; all_true with v128.xor
 449     (func (export "i8x16_all_true_with_v128.xor") (param $0 v128) (param $1 v128) (result i32)
 450        (i8x16.all_true (v128.xor (local.get $0) (local.get $1)))
 451     )
 452     (func (export "i16x8_all_true_with_v128.xor") (param $0 v128) (param $1 v128) (result i32)
 453        (i16x8.all_true (v128.xor (local.get $0) (local.get $1)))
 454     )
 455     (func (export "i32x4_all_true_with_v128.xor") (param $0 v128) (param $1 v128) (result i32)
 456        (i32x4.all_true (v128.xor (local.get $0) (local.get $1)))
 457     )
 458     ;; all_true with v128.bitselect
 459     (func (export "i8x16_all_true_with_v128.bitselect") (param $0 v128) (param $1 v128) (param $2 v128) (result i32)
 460        (i8x16.all_true (v128.bitselect (local.get $0) (local.get $1) (local.get $2)))
 461     )
 462     (func (export "i16x8_all_true_with_v128.bitselect") (param $0 v128) (param $1 v128) (param $2 v128) (result i32)
 463        (i16x8.all_true (v128.bitselect (local.get $0) (local.get $1) (local.get $2)))
 464     )
 465     (func (export "i32x4_all_true_with_v128.bitselect") (param $0 v128) (param $1 v128) (param $2 v128) (result i32)
 466        (i32x4.all_true (v128.bitselect (local.get $0) (local.get $1) (local.get $2)))
 467     )
 468 )
 469
 470 ;; 'any_true' as 'if' condition
 471 ;; i8x16
 472 (assert_return (invoke "i8x16_any_true_as_if_cond" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 473                                                    (i32.const 0))
 474 (assert_return (invoke "i8x16_any_true_as_if_cond" (v128.const i8x16 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0))
 475                                                    (i32.const 1))
 476 (assert_return (invoke "i8x16_any_true_as_if_cond" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1))
 477                                                    (i32.const 1))
 478 ;; i16x8
 479 (assert_return (invoke "i16x8_any_true_as_if_cond" (v128.const i16x8 0 0 0 0 0 0 0 0))
 480                                                    (i32.const 0))
 481 (assert_return (invoke "i16x8_any_true_as_if_cond" (v128.const i16x8 0 0 1 0 0 0 1 0))
 482                                                    (i32.const 1))
 483 (assert_return (invoke "i16x8_any_true_as_if_cond" (v128.const i16x8 1 1 1 1 1 1 1 1))
 484                                                    (i32.const 1))
 485 ;; i32x4
 486 (assert_return (invoke "i32x4_any_true_as_if_cond" (v128.const i32x4 0 0 0 0))
 487                                                    (i32.const 0))
 488 (assert_return (invoke "i32x4_any_true_as_if_cond" (v128.const i32x4 0 0 1 0))
 489                                                    (i32.const 1))
 490 (assert_return (invoke "i32x4_any_true_as_if_cond" (v128.const i32x4 1 1 1 1))
 491                                                    (i32.const 1))
 492
 493 ;; 'all_true' as 'if' condition
 494 ;; i8x16
 495 (assert_return (invoke "i8x16_all_true_as_if_cond" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 496                                                    (i32.const 0))
 497 (assert_return (invoke "i8x16_all_true_as_if_cond" (v128.const i8x16 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0))
 498                                                    (i32.const 0))
 499 (assert_return (invoke "i8x16_all_true_as_if_cond" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1))
 500                                                    (i32.const 1))
 501 ;; i16x8
 502 (assert_return (invoke "i16x8_all_true_as_if_cond" (v128.const i16x8 0 0 0 0 0 0 0 0))
 503                                                    (i32.const 0))
 504 (assert_return (invoke "i16x8_all_true_as_if_cond" (v128.const i16x8 1 1 1 0 1 1 1 0))
 505                                                    (i32.const 0))
 506 (assert_return (invoke "i16x8_all_true_as_if_cond" (v128.const i16x8 1 1 1 1 1 1 1 1))
 507                                                    (i32.const 1))
 508 ;; i32x4
 509 (assert_return (invoke "i32x4_all_true_as_if_cond" (v128.const i32x4 0 0 0 0))
 510                                                    (i32.const 0))
 511 (assert_return (invoke "i32x4_all_true_as_if_cond" (v128.const i32x4 1 1 1 0))
 512                                                    (i32.const 0))
 513 (assert_return (invoke "i32x4_all_true_as_if_cond" (v128.const i32x4 1 1 1 1))
 514                                                    (i32.const 1))
 515
 516 ;; any_true as select condition
 517 (assert_return (invoke "i8x16_any_true_as_select_cond" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 518                                                        (i32.const 0))
 519 (assert_return (invoke "i8x16_any_true_as_select_cond" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0))
 520                                                        (i32.const 1))
 521 (assert_return (invoke "i16x8_any_true_as_select_cond" (v128.const i16x8 0 0 0 0 0 0 0 0))
 522                                                        (i32.const 0))
 523 (assert_return (invoke "i16x8_any_true_as_select_cond" (v128.const i16x8 0 0 0 0 0 0 1 0))
 524                                                        (i32.const 1))
 525 (assert_return (invoke "i32x4_any_true_as_select_cond" (v128.const i32x4 0 0 0 0))
 526                                                        (i32.const 0))
 527 (assert_return (invoke "i32x4_any_true_as_select_cond" (v128.const i32x4 0 0 1 0))
 528                                                        (i32.const 1))
 529 ;; all_true as select condition
 530 (assert_return (invoke "i8x16_all_true_as_select_cond" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1))
 531                                                        (i32.const 1))
 532 (assert_return (invoke "i8x16_all_true_as_select_cond" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1))
 533                                                        (i32.const 0))
 534 (assert_return (invoke "i16x8_all_true_as_select_cond" (v128.const i16x8 1 1 1 1 1 1 1 1))
 535                                                        (i32.const 1))
 536 (assert_return (invoke "i16x8_all_true_as_select_cond" (v128.const i16x8 1 1 1 1 1 1 0 1))
 537                                                        (i32.const 0))
 538 (assert_return (invoke "i32x4_all_true_as_select_cond" (v128.const i32x4 1 1 1 1))
 539                                                        (i32.const 1))
 540 (assert_return (invoke "i32x4_all_true_as_select_cond" (v128.const i32x4 1 1 0 1))
 541                                                        (i32.const 0))
 542 ;; any_true as br_if condition
 543 (assert_return (invoke "i8x16_any_true_as_br_if_cond" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 544                                                       (i32.const 0))
 545 (assert_return (invoke "i8x16_any_true_as_br_if_cond" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0))
 546                                                       (i32.const 1))
 547 (assert_return (invoke "i16x8_any_true_as_br_if_cond" (v128.const i16x8 0 0 0 0 0 0 0 0))
 548                                                       (i32.const 0))
 549 (assert_return (invoke "i16x8_any_true_as_br_if_cond" (v128.const i16x8 0 0 0 0 0 0 1 0))
 550                                                       (i32.const 1))
 551 (assert_return (invoke "i32x4_any_true_as_br_if_cond" (v128.const i32x4 0 0 0 0))
 552                                                       (i32.const 0))
 553 (assert_return (invoke "i32x4_any_true_as_br_if_cond" (v128.const i32x4 0 0 1 0))
 554                                                       (i32.const 1))
 555 ;; all_true as br_if condition
 556 (assert_return (invoke "i8x16_all_true_as_br_if_cond" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1))
 557                                                       (i32.const 1))
 558 (assert_return (invoke "i8x16_all_true_as_br_if_cond" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1))
 559                                                       (i32.const 0))
 560 (assert_return (invoke "i16x8_all_true_as_br_if_cond" (v128.const i16x8 1 1 1 1 1 1 1 1))
 561                                                       (i32.const 1))
 562 (assert_return (invoke "i16x8_all_true_as_br_if_cond" (v128.const i16x8 1 1 1 1 1 1 0 1))
 563                                                       (i32.const 0))
 564 (assert_return (invoke "i32x4_all_true_as_br_if_cond" (v128.const i32x4 1 1 1 1))
 565                                                       (i32.const 1))
 566 (assert_return (invoke "i32x4_all_true_as_br_if_cond" (v128.const i32x4 1 1 0 1))
 567                                                       (i32.const 0))
 568 ;; any_true as and operand
 569 (assert_return (invoke "i8x16_any_true_as_i32.and_operand" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 570                                                            (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 571                                                            (i32.const 0))
 572 (assert_return (invoke "i8x16_any_true_as_i32.and_operand" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 573                                                            (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0))
 574                                                            (i32.const 0))
 575 (assert_return (invoke "i8x16_any_true_as_i32.and_operand" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0)
 576                                                            (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0))
 577                                                            (i32.const 1))
 578 (assert_return (invoke "i16x8_any_true_as_i32.and_operand" (v128.const i16x8 0 0 0 0 0 0 0 0)
 579                                                            (v128.const i16x8 0 0 0 0 0 0 0 0))
 580                                                            (i32.const 0))
 581 (assert_return (invoke "i16x8_any_true_as_i32.and_operand" (v128.const i16x8 0 0 0 0 0 0 0 0)
 582                                                            (v128.const i16x8 0 0 0 0 0 0 1 0))
 583                                                            (i32.const 0))
 584 (assert_return (invoke "i16x8_any_true_as_i32.and_operand" (v128.const i16x8 0 0 0 0 0 0 1 0)
 585                                                            (v128.const i16x8 0 0 0 0 0 0 1 0))
 586                                                            (i32.const 1))
 587 (assert_return (invoke "i32x4_any_true_as_i32.and_operand" (v128.const i32x4 0 0 0 0)
 588                                                            (v128.const i32x4 0 0 0 0))
 589                                                            (i32.const 0))
 590 (assert_return (invoke "i32x4_any_true_as_i32.and_operand" (v128.const i32x4 0 0 0 0)
 591                                                            (v128.const i32x4 0 0 1 0))
 592                                                            (i32.const 0))
 593 (assert_return (invoke "i32x4_any_true_as_i32.and_operand" (v128.const i32x4 0 0 1 0)
 594                                                            (v128.const i32x4 0 0 1 0))
 595                                                            (i32.const 1))
 596 ;; any_true as or operand
 597 (assert_return (invoke "i8x16_any_true_as_i32.or_operand" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 598                                                           (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 599                                                           (i32.const 0))
 600 (assert_return (invoke "i8x16_any_true_as_i32.or_operand" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 601                                                           (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0))
 602                                                           (i32.const 1))
 603 (assert_return (invoke "i8x16_any_true_as_i32.or_operand" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0)
 604                                                           (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0))
 605                                                           (i32.const 1))
 606 (assert_return (invoke "i16x8_any_true_as_i32.or_operand" (v128.const i16x8 0 0 0 0 0 0 0 0)
 607                                                           (v128.const i16x8 0 0 0 0 0 0 0 0))
 608                                                           (i32.const 0))
 609 (assert_return (invoke "i16x8_any_true_as_i32.or_operand" (v128.const i16x8 0 0 0 0 0 0 0 0)
 610                                                           (v128.const i16x8 0 0 0 0 0 0 1 0))
 611                                                           (i32.const 1))
 612 (assert_return (invoke "i16x8_any_true_as_i32.or_operand" (v128.const i16x8 0 0 0 0 0 0 1 0)
 613                                                           (v128.const i16x8 0 0 0 0 0 0 1 0))
 614                                                           (i32.const 1))
 615 (assert_return (invoke "i32x4_any_true_as_i32.or_operand" (v128.const i32x4 0 0 0 0)
 616                                                           (v128.const i32x4 0 0 0 0))
 617                                                           (i32.const 0))
 618 (assert_return (invoke "i32x4_any_true_as_i32.or_operand" (v128.const i32x4 0 0 0 0)
 619                                                           (v128.const i32x4 0 0 1 0))
 620                                                           (i32.const 1))
 621 (assert_return (invoke "i32x4_any_true_as_i32.or_operand" (v128.const i32x4 0 0 1 0)
 622                                                           (v128.const i32x4 0 0 1 0))
 623                                                           (i32.const 1))
 624 ;; any_true as xor operand
 625 (assert_return (invoke "i8x16_any_true_as_i32.xor_operand" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 626                                                            (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 627                                                            (i32.const 0))
 628 (assert_return (invoke "i8x16_any_true_as_i32.xor_operand" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 629                                                            (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0))
 630                                                            (i32.const 1))
 631 (assert_return (invoke "i8x16_any_true_as_i32.xor_operand" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0)
 632                                                            (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0))
 633                                                            (i32.const 0))
 634 (assert_return (invoke "i16x8_any_true_as_i32.xor_operand" (v128.const i16x8 0 0 0 0 0 0 0 0)
 635                                                            (v128.const i16x8 0 0 0 0 0 0 0 0))
 636                                                            (i32.const 0))
 637 (assert_return (invoke "i16x8_any_true_as_i32.xor_operand" (v128.const i16x8 0 0 0 0 0 0 0 0)
 638                                                            (v128.const i16x8 0 0 0 0 0 0 1 0))
 639                                                            (i32.const 1))
 640 (assert_return (invoke "i16x8_any_true_as_i32.xor_operand" (v128.const i16x8 0 0 0 0 0 0 1 0)
 641                                                            (v128.const i16x8 0 0 0 0 0 0 1 0))
 642                                                            (i32.const 0))
 643 (assert_return (invoke "i32x4_any_true_as_i32.xor_operand" (v128.const i32x4 0 0 0 0)
 644                                                            (v128.const i32x4 0 0 0 0))
 645                                                            (i32.const 0))
 646 (assert_return (invoke "i32x4_any_true_as_i32.xor_operand" (v128.const i32x4 0 0 0 0)
 647                                                            (v128.const i32x4 0 0 1 0))
 648                                                            (i32.const 1))
 649 (assert_return (invoke "i32x4_any_true_as_i32.xor_operand" (v128.const i32x4 0 0 1 0)
 650                                                            (v128.const i32x4 0 0 1 0))
 651                                                            (i32.const 0))
 652 ;; all_true as and operand
 653 (assert_return (invoke "i8x16_all_true_as_i32.and_operand" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1)
 654                                                            (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1))
 655                                                            (i32.const 1))
 656 (assert_return (invoke "i8x16_all_true_as_i32.and_operand" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1)
 657                                                            (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1))
 658                                                            (i32.const 0))
 659 (assert_return (invoke "i8x16_all_true_as_i32.and_operand" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 660                                                            (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 661                                                            (i32.const 0))
 662 (assert_return (invoke "i16x8_all_true_as_i32.and_operand" (v128.const i16x8 1 1 1 1 1 1 1 1)
 663                                                            (v128.const i16x8 1 1 1 1 1 1 1 1))
 664                                                            (i32.const 1))
 665 (assert_return (invoke "i16x8_all_true_as_i32.and_operand" (v128.const i16x8 1 1 1 1 1 1 1 1)
 666                                                            (v128.const i16x8 1 1 1 1 1 1 0 1))
 667                                                            (i32.const 0))
 668 (assert_return (invoke "i16x8_all_true_as_i32.and_operand" (v128.const i16x8 0 0 0 0 0 0 0 0)
 669                                                            (v128.const i16x8 0 0 0 0 0 0 1 0))
 670                                                            (i32.const 0))
 671 (assert_return (invoke "i32x4_all_true_as_i32.and_operand" (v128.const i32x4 1 1 1 1)
 672                                                            (v128.const i32x4 1 1 1 1))
 673                                                            (i32.const 1))
 674 (assert_return (invoke "i32x4_all_true_as_i32.and_operand" (v128.const i32x4 1 1 1 1)
 675                                                            (v128.const i32x4 1 1 0 1))
 676                                                            (i32.const 0))
 677 (assert_return (invoke "i32x4_all_true_as_i32.and_operand" (v128.const i32x4 0 0 0 0)
 678                                                            (v128.const i32x4 0 0 1 0))
 679                                                            (i32.const 0))
 680 ;; all_true as or operand
 681 (assert_return (invoke "i8x16_all_true_as_i32.or_operand" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1)
 682                                                           (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1))
 683                                                           (i32.const 1))
 684 (assert_return (invoke "i8x16_all_true_as_i32.or_operand" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1)
 685                                                           (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1))
 686                                                           (i32.const 1))
 687 (assert_return (invoke "i8x16_all_true_as_i32.or_operand" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 688                                                           (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 689                                                           (i32.const 0))
 690 (assert_return (invoke "i16x8_all_true_as_i32.or_operand" (v128.const i16x8 1 1 1 1 1 1 1 1)
 691                                                           (v128.const i16x8 1 1 1 1 1 1 1 1))
 692                                                           (i32.const 1))
 693 (assert_return (invoke "i16x8_all_true_as_i32.or_operand" (v128.const i16x8 1 1 1 1 1 1 1 1)
 694                                                           (v128.const i16x8 1 1 1 1 1 1 0 1))
 695                                                           (i32.const 1))
 696 (assert_return (invoke "i16x8_all_true_as_i32.or_operand" (v128.const i16x8 0 0 0 0 0 0 0 0)
 697                                                           (v128.const i16x8 0 0 0 0 0 0 0 0))
 698                                                           (i32.const 0))
 699 (assert_return (invoke "i32x4_all_true_as_i32.or_operand" (v128.const i32x4 1 1 1 1)
 700                                                           (v128.const i32x4 1 1 1 1))
 701                                                           (i32.const 1))
 702 (assert_return (invoke "i32x4_all_true_as_i32.or_operand" (v128.const i32x4 1 1 1 1)
 703                                                           (v128.const i32x4 1 1 0 1))
 704                                                           (i32.const 1))
 705 (assert_return (invoke "i32x4_all_true_as_i32.or_operand" (v128.const i32x4 0 0 0 0)
 706                                                           (v128.const i32x4 0 0 0 0))
 707                                                           (i32.const 0))
 708 ;; all_true as xor operand
 709 (assert_return (invoke "i8x16_all_true_as_i32.xor_operand" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1)
 710                                                            (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1))
 711                                                            (i32.const 0))
 712 (assert_return (invoke "i8x16_all_true_as_i32.xor_operand" (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1)
 713                                                            (v128.const i8x16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1))
 714                                                            (i32.const 1))
 715 (assert_return (invoke "i8x16_all_true_as_i32.xor_operand" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 716                                                            (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 717                                                            (i32.const 0))
 718 (assert_return (invoke "i16x8_all_true_as_i32.xor_operand" (v128.const i16x8 1 1 1 1 1 1 1 1)
 719                                                            (v128.const i16x8 1 1 1 1 1 1 1 1))
 720                                                            (i32.const 0))
 721 (assert_return (invoke "i16x8_all_true_as_i32.xor_operand" (v128.const i16x8 1 1 1 1 1 1 1 1)
 722                                                            (v128.const i16x8 1 1 1 1 1 1 0 1))
 723                                                            (i32.const 1))
 724 (assert_return (invoke "i16x8_all_true_as_i32.xor_operand" (v128.const i16x8 0 0 0 0 0 0 0 0)
 725                                                            (v128.const i16x8 0 0 0 0 0 0 0 0))
 726                                                            (i32.const 0))
 727 (assert_return (invoke "i32x4_all_true_as_i32.xor_operand" (v128.const i32x4 1 1 1 1)
 728                                                            (v128.const i32x4 1 1 1 1))
 729                                                            (i32.const 0))
 730 (assert_return (invoke "i32x4_all_true_as_i32.xor_operand" (v128.const i32x4 1 1 1 1)
 731                                                            (v128.const i32x4 1 1 0 1))
 732                                                            (i32.const 1))
 733 (assert_return (invoke "i32x4_all_true_as_i32.xor_operand" (v128.const i32x4 0 0 0 0)
 734                                                            (v128.const i32x4 0 0 0 0))
 735                                                            (i32.const 0))
 736 ;; any_true with v128.not
 737 (assert_return (invoke "i8x16_any_true_with_v128.not" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 738                                                       (i32.const 1))
 739 (assert_return (invoke "i8x16_any_true_with_v128.not" (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1))
 740                                                       (i32.const 0))
 741 (assert_return (invoke "i8x16_any_true_with_v128.not" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0))
 742                                                       (i32.const 1))
 743 (assert_return (invoke "i16x8_any_true_with_v128.not" (v128.const i16x8 0 0 0 0 0 0 0 0))
 744                                                       (i32.const 1))
 745 (assert_return (invoke "i16x8_any_true_with_v128.not" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1))
 746                                                       (i32.const 0))
 747 (assert_return (invoke "i16x8_any_true_with_v128.not" (v128.const i16x8 0 0 0 0 0 0 -1 0))
 748                                                       (i32.const 1))
 749 (assert_return (invoke "i32x4_any_true_with_v128.not" (v128.const i32x4 0 0 0 0))
 750                                                       (i32.const 1))
 751 (assert_return (invoke "i32x4_any_true_with_v128.not" (v128.const i32x4 -1 -1 -1 -1))
 752                                                       (i32.const 0))
 753 (assert_return (invoke "i32x4_any_true_with_v128.not" (v128.const i32x4 0 0 -1 0))
 754                                                       (i32.const 1))
 755 ;; any_true with v128.and
 756 (assert_return (invoke "i8x16_any_true_with_v128.and" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 757                                                       (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 758                                                       (i32.const 0))
 759 (assert_return (invoke "i8x16_any_true_with_v128.and" (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1)
 760                                                       (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1))
 761                                                       (i32.const 1))
 762 (assert_return (invoke "i8x16_any_true_with_v128.and" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0)
 763                                                       (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0))
 764                                                       (i32.const 1))
 765 (assert_return (invoke "i16x8_any_true_with_v128.and" (v128.const i16x8 0 0 0 0 0 0 0 0)
 766                                                       (v128.const i16x8 0 0 0 0 0 0 0 0))
 767                                                       (i32.const 0))
 768 (assert_return (invoke "i16x8_any_true_with_v128.and" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1)
 769                                                       (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1))
 770                                                       (i32.const 1))
 771 (assert_return (invoke "i16x8_any_true_with_v128.and" (v128.const i16x8 0 0 0 0 0 0 -1 0)
 772                                                       (v128.const i16x8 0 0 0 0 0 0 -1 0))
 773                                                       (i32.const 1))
 774 (assert_return (invoke "i32x4_any_true_with_v128.and" (v128.const i32x4 0 0 0 0)
 775                                                       (v128.const i32x4 0 0 0 0))
 776                                                       (i32.const 0))
 777 (assert_return (invoke "i32x4_any_true_with_v128.and" (v128.const i32x4 -1 -1 -1 -1)
 778                                                       (v128.const i32x4 -1 -1 -1 -1))
 779                                                       (i32.const 1))
 780 (assert_return (invoke "i32x4_any_true_with_v128.and" (v128.const i32x4 0 0 -1 0)
 781                                                       (v128.const i32x4 0 0 -1 0))
 782                                                       (i32.const 1))
 783 ;; any_true with v128.or
 784 (assert_return (invoke "i8x16_any_true_with_v128.or" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 785                                                      (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 786                                                      (i32.const 0))
 787 (assert_return (invoke "i8x16_any_true_with_v128.or" (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1)
 788                                                      (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1))
 789                                                      (i32.const 1))
 790 (assert_return (invoke "i8x16_any_true_with_v128.or" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0)
 791                                                      (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0))
 792                                                      (i32.const 1))
 793 (assert_return (invoke "i16x8_any_true_with_v128.or" (v128.const i16x8 0 0 0 0 0 0 0 0)
 794                                                      (v128.const i16x8 0 0 0 0 0 0 0 0))
 795                                                      (i32.const 0))
 796 (assert_return (invoke "i16x8_any_true_with_v128.or" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1)
 797                                                      (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1))
 798                                                      (i32.const 1))
 799 (assert_return (invoke "i16x8_any_true_with_v128.or" (v128.const i16x8 0 0 0 0 0 0 -1 0)
 800                                                      (v128.const i16x8 0 0 0 0 0 0 -1 0))
 801                                                      (i32.const 1))
 802 (assert_return (invoke "i32x4_any_true_with_v128.or" (v128.const i32x4 0 0 0 0)
 803                                                      (v128.const i32x4 0 0 0 0))
 804                                                      (i32.const 0))
 805 (assert_return (invoke "i32x4_any_true_with_v128.or" (v128.const i32x4 -1 -1 -1 -1)
 806                                                      (v128.const i32x4 -1 -1 -1 -1))
 807                                                      (i32.const 1))
 808 (assert_return (invoke "i32x4_any_true_with_v128.or" (v128.const i32x4 0 0 -1 0)
 809                                                      (v128.const i32x4 0 0 -1 0))
 810                                                      (i32.const 1))
 811 ;; any_true with v128.xor
 812 (assert_return (invoke "i8x16_any_true_with_v128.xor" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 813                                                       (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 814                                                       (i32.const 0))
 815 (assert_return (invoke "i8x16_any_true_with_v128.xor" (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1)
 816                                                       (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1))
 817                                                       (i32.const 0))
 818 (assert_return (invoke "i8x16_any_true_with_v128.xor" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 819                                                       (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0))
 820                                                       (i32.const 1))
 821 (assert_return (invoke "i16x8_any_true_with_v128.xor" (v128.const i16x8 0 0 0 0 0 0 0 0)
 822                                                       (v128.const i16x8 0 0 0 0 0 0 0 0))
 823                                                       (i32.const 0))
 824 (assert_return (invoke "i16x8_any_true_with_v128.xor" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1)
 825                                                       (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1))
 826                                                       (i32.const 0))
 827 (assert_return (invoke "i16x8_any_true_with_v128.xor" (v128.const i16x8 0 0 0 0 0 0 0 0)
 828                                                       (v128.const i16x8 0 0 0 0 0 0 -1 0))
 829                                                       (i32.const 1))
 830 (assert_return (invoke "i32x4_any_true_with_v128.xor" (v128.const i32x4 0 0 0 0)
 831                                                       (v128.const i32x4 0 0 0 0))
 832                                                       (i32.const 0))
 833 (assert_return (invoke "i32x4_any_true_with_v128.xor" (v128.const i32x4 -1 -1 -1 -1)
 834                                                       (v128.const i32x4 -1 -1 -1 -1))
 835                                                       (i32.const 0))
 836 (assert_return (invoke "i32x4_any_true_with_v128.xor" (v128.const i32x4 0 0 0 0)
 837                                                       (v128.const i32x4 0 0 -1 0))
 838                                                       (i32.const 1))
 839 ;; any_true with v128.bitselect
 840 (assert_return (invoke "i8x16_any_true_with_v128.bitselect" (v128.const i8x16 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA)
 841                                                             (v128.const i8x16 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55)
 842                                                             (v128.const i8x16 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55))
 843                                                             (i32.const 0))
 844 (assert_return (invoke "i8x16_any_true_with_v128.bitselect" (v128.const i8x16 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA)
 845                                                             (v128.const i8x16 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55)
 846                                                             (v128.const i8x16 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0xFF 0x55))
 847                                                             (i32.const 1))
 848 (assert_return (invoke "i16x8_any_true_with_v128.bitselect" (v128.const i16x8 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA)
 849                                                             (v128.const i16x8 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55)
 850                                                             (v128.const i16x8 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55))
 851                                                             (i32.const 0))
 852 (assert_return (invoke "i16x8_any_true_with_v128.bitselect" (v128.const i16x8 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA)
 853                                                             (v128.const i16x8 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55)
 854                                                             (v128.const i16x8 0x55 0x55 0x55 0x55 0x55 0x55 0xFF 0x55))
 855                                                             (i32.const 1))
 856 (assert_return (invoke "i32x4_any_true_with_v128.bitselect" (v128.const i32x4 0xAA 0xAA 0xAA 0xAA)
 857                                                             (v128.const i32x4 0x55 0x55 0x55 0x55)
 858                                                             (v128.const i32x4 0x55 0x55 0x55 0x55))
 859                                                             (i32.const 0))
 860 (assert_return (invoke "i32x4_any_true_with_v128.bitselect" (v128.const i32x4 0xAA 0xAA 0xAA 0xAA)
 861                                                             (v128.const i32x4 0x55 0x55 0x55 0x55)
 862                                                             (v128.const i32x4 0x55 0x55 0xFF 0x55))
 863                                                             (i32.const 1))
 864 ;; all_true with v128.not
 865 (assert_return (invoke "i8x16_all_true_with_v128.not" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 866                                                       (i32.const 1))
 867 (assert_return (invoke "i8x16_all_true_with_v128.not" (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1))
 868                                                       (i32.const 0))
 869 (assert_return (invoke "i8x16_all_true_with_v128.not" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0))
 870                                                       (i32.const 0))
 871 (assert_return (invoke "i16x8_all_true_with_v128.not" (v128.const i16x8 0 0 0 0 0 0 0 0))
 872                                                       (i32.const 1))
 873 (assert_return (invoke "i16x8_all_true_with_v128.not" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1))
 874                                                       (i32.const 0))
 875 (assert_return (invoke "i16x8_all_true_with_v128.not" (v128.const i16x8 0 0 0 0 0 0 -1 0))
 876                                                       (i32.const 0))
 877 (assert_return (invoke "i32x4_all_true_with_v128.not" (v128.const i32x4 0 0 0 0))
 878                                                       (i32.const 1))
 879 (assert_return (invoke "i32x4_all_true_with_v128.not" (v128.const i32x4 -1 -1 -1 -1))
 880                                                       (i32.const 0))
 881 (assert_return (invoke "i32x4_all_true_with_v128.not" (v128.const i32x4 0 0 -1 0))
 882                                                       (i32.const 0))
 883 ;; all_true with v128.and
 884 (assert_return (invoke "i8x16_all_true_with_v128.and" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 885                                                       (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 886                                                       (i32.const 0))
 887 (assert_return (invoke "i8x16_all_true_with_v128.and" (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1)
 888                                                       (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1))
 889                                                       (i32.const 1))
 890 (assert_return (invoke "i8x16_all_true_with_v128.and" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0)
 891                                                       (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0))
 892                                                       (i32.const 0))
 893 (assert_return (invoke "i16x8_all_true_with_v128.and" (v128.const i16x8 0 0 0 0 0 0 0 0)
 894                                                       (v128.const i16x8 0 0 0 0 0 0 0 0))
 895                                                       (i32.const 0))
 896 (assert_return (invoke "i16x8_all_true_with_v128.and" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1)
 897                                                       (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1))
 898                                                       (i32.const 1))
 899 (assert_return (invoke "i16x8_all_true_with_v128.and" (v128.const i16x8 0 0 0 0 0 0 -1 0)
 900                                                       (v128.const i16x8 0 0 0 0 0 0 -1 0))
 901                                                       (i32.const 0))
 902 (assert_return (invoke "i32x4_all_true_with_v128.and" (v128.const i32x4 0 0 0 0)
 903                                                       (v128.const i32x4 0 0 0 0))
 904                                                       (i32.const 0))
 905 (assert_return (invoke "i32x4_all_true_with_v128.and" (v128.const i32x4 -1 -1 -1 -1)
 906                                                       (v128.const i32x4 -1 -1 -1 -1))
 907                                                       (i32.const 1))
 908 (assert_return (invoke "i32x4_all_true_with_v128.and" (v128.const i32x4 0 0 -1 0)
 909                                                       (v128.const i32x4 0 0 -1 0))
 910                                                       (i32.const 0))
 911 ;; all_true with v128.or
 912 (assert_return (invoke "i8x16_all_true_with_v128.or" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 913                                                      (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 914                                                      (i32.const 0))
 915 (assert_return (invoke "i8x16_all_true_with_v128.or" (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1)
 916                                                      (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1))
 917                                                      (i32.const 1))
 918 (assert_return (invoke "i8x16_all_true_with_v128.or" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0)
 919                                                      (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0))
 920                                                      (i32.const 0))
 921 (assert_return (invoke "i16x8_all_true_with_v128.or" (v128.const i16x8 0 0 0 0 0 0 0 0)
 922                                                      (v128.const i16x8 0 0 0 0 0 0 0 0))
 923                                                      (i32.const 0))
 924 (assert_return (invoke "i16x8_all_true_with_v128.or" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1)
 925                                                      (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1))
 926                                                      (i32.const 1))
 927 (assert_return (invoke "i16x8_all_true_with_v128.or" (v128.const i16x8 0 0 0 0 0 0 -1 0)
 928                                                      (v128.const i16x8 0 0 0 0 0 0 -1 0))
 929                                                      (i32.const 0))
 930 (assert_return (invoke "i32x4_all_true_with_v128.or" (v128.const i32x4 0 0 0 0)
 931                                                      (v128.const i32x4 0 0 0 0))
 932                                                      (i32.const 0))
 933 (assert_return (invoke "i32x4_all_true_with_v128.or" (v128.const i32x4 -1 -1 -1 -1)
 934                                                      (v128.const i32x4 -1 -1 -1 -1))
 935                                                      (i32.const 1))
 936 (assert_return (invoke "i32x4_all_true_with_v128.or" (v128.const i32x4 0 0 -1 0)
 937                                                      (v128.const i32x4 0 0 -1 0))
 938                                                      (i32.const 0))
 939 ;; all_true with v128.xor
 940 (assert_return (invoke "i8x16_all_true_with_v128.xor" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)
 941                                                       (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
 942                                                       (i32.const 0))
 943 (assert_return (invoke "i8x16_all_true_with_v128.xor" (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1)
 944                                                       (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1))
 945                                                       (i32.const 0))
 946 (assert_return (invoke "i8x16_all_true_with_v128.xor" (v128.const i8x16 0 -1 0 -1 0 -1 0 -1 0 -1 0 -1 0 -1 0 -1)
 947                                                       (v128.const i8x16 -1 0 -1 0 -1 0 -1 0 -1 0 -1 0 -1 0 -1 0))
 948                                                       (i32.const 1))
 949 (assert_return (invoke "i16x8_all_true_with_v128.xor" (v128.const i16x8 0 0 0 0 0 0 0 0)
 950                                                       (v128.const i16x8 0 0 0 0 0 0 0 0))
 951                                                       (i32.const 0))
 952 (assert_return (invoke "i16x8_all_true_with_v128.xor" (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1)
 953                                                       (v128.const i16x8 -1 -1 -1 -1 -1 -1 -1 -1))
 954                                                       (i32.const 0))
 955 (assert_return (invoke "i16x8_all_true_with_v128.xor" (v128.const i16x8 0 -1 0 -1 0 -1 0 -1)
 956                                                       (v128.const i16x8 -1 0 -1 0 -1 0 -1 0))
 957                                                       (i32.const 1))
 958 (assert_return (invoke "i32x4_all_true_with_v128.xor" (v128.const i32x4 0 0 0 0)
 959                                                       (v128.const i32x4 0 0 0 0))
 960                                                       (i32.const 0))
 961 (assert_return (invoke "i32x4_all_true_with_v128.xor" (v128.const i32x4 -1 -1 -1 -1)
 962                                                       (v128.const i32x4 -1 -1 -1 -1))
 963                                                       (i32.const 0))
 964 (assert_return (invoke "i32x4_all_true_with_v128.xor" (v128.const i32x4 0 -1 0 -1)
 965                                                       (v128.const i32x4 -1 0 -1 0))
 966                                                       (i32.const 1))
 967 ;; all_true with v128.bitselect
 968 (assert_return (invoke "i8x16_all_true_with_v128.bitselect" (v128.const i8x16 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA)
 969                                                             (v128.const i8x16 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55)
 970                                                             (v128.const i8x16 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55))
 971                                                             (i32.const 0))
 972 (assert_return (invoke "i8x16_all_true_with_v128.bitselect" (v128.const i8x16 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA)
 973                                                             (v128.const i8x16 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55)
 974                                                             (v128.const i8x16 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA))
 975                                                             (i32.const 1))
 976 (assert_return (invoke "i16x8_all_true_with_v128.bitselect" (v128.const i16x8 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA)
 977                                                             (v128.const i16x8 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55)
 978                                                             (v128.const i16x8 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55))
 979                                                             (i32.const 0))
 980 (assert_return (invoke "i16x8_all_true_with_v128.bitselect" (v128.const i16x8 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA)
 981                                                             (v128.const i16x8 0x55 0x55 0x55 0x55 0x55 0x55 0x55 0x55)
 982                                                             (v128.const i16x8 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA 0xAA))
 983                                                             (i32.const 1))
 984 (assert_return (invoke "i32x4_all_true_with_v128.bitselect" (v128.const i32x4 0xAA 0xAA 0xAA 0xAA)
 985                                                             (v128.const i32x4 0x55 0x55 0x55 0x55)
 986                                                             (v128.const i32x4 0x55 0x55 0x55 0x55))
 987                                                             (i32.const 0))
 988 (assert_return (invoke "i32x4_all_true_with_v128.bitselect" (v128.const i32x4 0xAA 0xAA 0xAA 0xAA)
 989                                                             (v128.const i32x4 0x55 0x55 0x55 0x55)
 990                                                             (v128.const i32x4 0xAA 0xAA 0xAA 0xAA))
 991                                                             (i32.const 1))
 992
 993 ;; Type check
 994
 995 (assert_invalid (module (func (result i32) (v128.any_true (i32.const 0)))) "type mismatch")
 996 (assert_invalid (module (func (result i32) (i8x16.all_true (i32.const 0)))) "type mismatch")
 997 (assert_invalid (module (func (result i32) (v128.any_true (i32.const 0)))) "type mismatch")
 998 (assert_invalid (module (func (result i32) (i16x8.all_true (i32.const 0)))) "type mismatch")
 999 (assert_invalid (module (func (result i32) (v128.any_true (i32.const 0)))) "type mismatch")
1000 (assert_invalid (module (func (result i32) (i32x4.all_true (i32.const 0)))) "type mismatch")
1001
1002 ;; Unknown operators
1003
1004 (assert_malformed (module quote "(memory 1) (func (result i32) (f32x4.any_true (v128.const i32x4 0 0 0 0)))") "unknown operator")
1005 (assert_malformed (module quote "(memory 1) (func (result i32) (f32x4.all_true (v128.const i32x4 0 0 0 0)))") "unknown operator")
1006 (assert_malformed (module quote "(memory 1) (func (result i32) (f64x2.any_true (v128.const i32x4 0 0 0 0)))") "unknown operator")
1007 (assert_malformed (module quote "(memory 1) (func (result i32) (f64x2.all_true (v128.const i32x4 0 0 0 0)))") "unknown operator")
1008
1009 ;; Test operation with empty argument
1010
1011 (assert_invalid
1012   (module
1013     (func $v128.any_true-arg-empty (result v128)
1014       (v128.any_true)
1015     )
1016   )
1017   "type mismatch"
1018 )
1019 (assert_invalid
1020   (module
1021     (func $i8x16.all_true-arg-empty (result v128)
1022       (i8x16.all_true)
1023     )
1024   )
1025   "type mismatch"
1026 )
1027 (assert_invalid
1028   (module
1029     (func $v128.any_true-arg-empty (result v128)
1030       (v128.any_true)
1031     )
1032   )
1033   "type mismatch"
1034 )
1035 (assert_invalid
1036   (module
1037     (func $i16x8.all_true-arg-empty (result v128)
1038       (i16x8.all_true)
1039     )
1040   )
1041   "type mismatch"
1042 )
1043 (assert_invalid
1044   (module
1045     (func $v128.any_true-arg-empty (result v128)
1046       (v128.any_true)
1047     )
1048   )
1049   "type mismatch"
1050 )
1051 (assert_invalid
1052   (module
1053     (func $i32x4.all_true-arg-empty (result v128)
1054       (i32x4.all_true)
1055     )
1056   )
1057   "type mismatch"
1058 )