Skip to content
This repository was archived by the owner on Dec 22, 2021. It is now read-only.

Commit 194b993

Browse files
ngzhianngzhian
committed
Rename i8x16.any_true to v128.any_true and remove other variants
This was accepted in #416. The test code is manually modified (this is not generated code), to always call v128.any_true. The exported function names are unchanged, and no tests are removed, since it is useful to test v128 of different constants.
1 parent 723c967 commit 194b993

File tree

8 files changed

+56
-68
lines changed

8 files changed

+56
-68
lines changed

‎interpreter/binary/decode.ml‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -306,7 +306,7 @@ let simd_prefix s =
306306
| 0x52l -> v128_bitselect
307307
| 0x60l -> i8x16_abs
308308
| 0x61l -> i8x16_neg
309-
| 0x62l -> i8x16_any_true
309+
| 0x62l -> v128_any_true
310310
| 0x63l -> i8x16_all_true
311311
| 0x64l -> i8x16_bitmask
312312
| 0x6bl -> i8x16_shl
@@ -327,7 +327,6 @@ let simd_prefix s =
327327
| 0x7bl -> i8x16_avgr_u
328328
| 0x80l -> i16x8_abs
329329
| 0x81l -> i16x8_neg
330-
| 0x82l -> i16x8_any_true
331330
| 0x83l -> i16x8_all_true
332331
| 0x84l -> i16x8_bitmask
333332
| 0x85l -> i16x8_narrow_i32x4_s
@@ -353,7 +352,6 @@ let simd_prefix s =
353352
| 0x9bl -> i16x8_avgr_u
354353
| 0xa0l -> i32x4_abs
355354
| 0xa1l -> i32x4_neg
356-
| 0xa2l -> i32x4_any_true
357355
| 0xa3l -> i32x4_all_true
358356
| 0xa4l -> i32x4_bitmask
359357
| 0xa7l -> i32x4_widen_low_i16x8_s

‎interpreter/binary/encode.ml‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -252,11 +252,9 @@ let encode m =
252252
| Test (I64 I64Op.Eqz) -> op 0x50
253253
| Test (F32 _) -> assert false
254254
| Test (F64 _) -> assert false
255-
| Test (V128 V128Op.(I8x16 AnyTrue)) -> simd_op 0x62l
255+
| Test (V128 V128Op.(V128 AnyTrue)) -> simd_op 0x62l
256256
| Test (V128 V128Op.(I8x16 AllTrue)) -> simd_op 0x63l
257-
| Test (V128 V128Op.(I16x8 AnyTrue)) -> simd_op 0x82l
258257
| Test (V128 V128Op.(I16x8 AllTrue)) -> simd_op 0x83l
259-
| Test (V128 V128Op.(I32x4 AnyTrue)) -> simd_op 0xa2l
260258
| Test (V128 V128Op.(I32x4 AllTrue)) -> simd_op 0xa3l
261259
| Test (V128 _) -> assert false
262260

‎interpreter/exec/eval_simd.ml‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -159,11 +159,9 @@ module SimdOp (SXX : Simd.S) (Value : ValueType with type t = SXX.t) = struct
159159

160160
let testop (op : testop) =
161161
let f = match op with
162-
| I8x16 AnyTrue -> SXX.I8x16.any_true
162+
| V128 AnyTrue -> SXX.I8x16.any_true
163163
| I8x16 AllTrue -> SXX.I8x16.all_true
164-
| I16x8 AnyTrue -> SXX.I16x8.any_true
165164
| I16x8 AllTrue -> SXX.I16x8.all_true
166-
| I32x4 AnyTrue -> SXX.I32x4.any_true
167165
| I32x4 AllTrue -> SXX.I32x4.all_true
168166
| _ -> assert false
169167
in fun v -> f (of_value 1 v)

‎interpreter/syntax/operators.ml‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -252,6 +252,7 @@ let v128_andnot = Binary (V128 V128Op.(V128 AndNot))
252252
let v128_or = Binary (V128 V128Op.(V128 Or))
253253
let v128_xor = Binary (V128 V128Op.(V128 Xor))
254254
let v128_bitselect = SimdTernary (V128Op.Bitselect)
255+
let v128_any_true = Test (V128 V128Op.(V128 AnyTrue))
255256

256257
let i8x16_swizzle = Binary (V128 V128Op.(I8x16 Swizzle))
257258
let i8x16_shuffle imms = Binary (V128 V128Op.(I8x16 (Shuffle imms)))
@@ -271,7 +272,6 @@ let i8x16_gt_u = Binary (V128 V128Op.(I8x16 GtU))
271272
let i8x16_ge_s = Binary (V128 V128Op.(I8x16 GeS))
272273
let i8x16_ge_u = Binary (V128 V128Op.(I8x16 GeU))
273274
let i8x16_neg = Unary (V128 V128Op.(I8x16 Neg))
274-
let i8x16_any_true = Test (V128 V128Op.(I8x16 AnyTrue))
275275
let i8x16_bitmask = SimdBitmask Simd.I8x16
276276
let i8x16_all_true = Test (V128 V128Op.(I8x16 AllTrue))
277277
let i8x16_narrow_i16x8_s = Binary (V128 V128Op.(I8x16 NarrowS))
@@ -311,7 +311,6 @@ let i16x8_gt_u = Binary (V128 V128Op.(I16x8 GtU))
311311
let i16x8_ge_s = Binary (V128 V128Op.(I16x8 GeS))
312312
let i16x8_ge_u = Binary (V128 V128Op.(I16x8 GeU))
313313
let i16x8_neg = Unary (V128 V128Op.(I16x8 Neg))
314-
let i16x8_any_true = Test (V128 V128Op.(I16x8 AnyTrue))
315314
let i16x8_bitmask = SimdBitmask Simd.I16x8
316315
let i16x8_all_true = Test (V128 V128Op.(I16x8 AllTrue))
317316
let i16x8_narrow_i32x4_s = Binary (V128 V128Op.(I16x8 NarrowS))
@@ -348,7 +347,6 @@ let i32x4_ge_s = Binary (V128 V128Op.(I32x4 GeS))
348347
let i32x4_ge_u = Binary (V128 V128Op.(I32x4 GeU))
349348
let i32x4_abs = Unary (V128 V128Op.(I32x4 Abs))
350349
let i32x4_neg = Unary (V128 V128Op.(I32x4 Neg))
351-
let i32x4_any_true = Test (V128 V128Op.(I32x4 AnyTrue))
352350
let i32x4_bitmask = SimdBitmask Simd.I32x4
353351
let i32x4_all_true = Test (V128 V128Op.(I32x4 AllTrue))
354352
let i32x4_widen_low_i16x8_s = Unary (V128 V128Op.(I32x4 WidenLowS))

‎interpreter/text/arrange.ml‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -191,12 +191,10 @@ struct
191191
open Ast.SimdOp
192192

193193
let testop xx = function
194-
| I8x16 AnyTrue -> "i8x16.any_true"
195194
| I8x16 AllTrue -> "i8x16.all_true"
196-
| I16x8 AnyTrue -> "i16x8.any_true"
197195
| I16x8 AllTrue -> "i16x8.all_true"
198-
| I32x4 AnyTrue -> "i32x4.any_true"
199196
| I32x4 AllTrue -> "i32x4.all_true"
197+
| V128 AnyTrue -> "v128.any_true"
200198
| _ -> assert false
201199

202200
let relop xx = assert false

‎interpreter/text/lexer.mll‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -491,6 +491,7 @@ rule token = parse
491491
| vxxx".or" { UNARY v128_or }
492492
| vxxx".xor" { UNARY v128_xor }
493493
| vxxx".bitselect" { TERNARY v128_bitselect }
494+
| vxxx".any_true" { UNARY (v128_any_true) }
494495
| (simd_shape as s)".neg"
495496
{ UNARY (simdop s i8x16_neg i16x8_neg i32x4_neg i64x2_neg f32x4_neg f64x2_neg) }
496497
| (simd_float_shape as s)".sqrt" { UNARY (simd_float_op s f32x4_sqrt f64x2_sqrt) }
@@ -525,9 +526,6 @@ rule token = parse
525526
| (simd_shape as s)".abs"
526527
{ only ["i8x16"; "i16x8"; "i32x4"; "f32x4"; "f64x2"] s lexbuf;
527528
UNARY (simdop s i8x16_abs i16x8_abs i32x4_abs unreachable f32x4_abs f64x2_abs) }
528-
| (simd_int_shape as s)".any_true"
529-
{ only ["i8x16"; "i16x8"; "i32x4"] s lexbuf;
530-
UNARY (simd_int_op s i8x16_any_true i16x8_any_true i32x4_any_true unreachable) }
531529
| (simd_int_shape as s)".all_true"
532530
{ only ["i8x16"; "i16x8"; "i32x4"] s lexbuf;
533531
UNARY (simd_int_op s i8x16_all_true i16x8_all_true i32x4_all_true unreachable) }

‎test/core/simd/simd_boolean.wast‎

Lines changed: 45 additions & 45 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,15 @@
11
;; Test all the boolean operators on major boundary values and all special values.
22

33
(module
4-
(func (export "i8x16.any_true") (param $0 v128) (result i32) (i8x16.any_true (local.get $0)))
4+
(func (export "i8x16.any_true") (param $0 v128) (result i32) (v128.any_true (local.get $0)))
55
(func (export "i8x16.all_true") (param $0 v128) (result i32) (i8x16.all_true (local.get $0)))
66
(func (export "i8x16.bitmask") (param $0 v128) (result i32) (i8x16.bitmask (local.get $0)))
77

8-
(func (export "i16x8.any_true") (param $0 v128) (result i32) (i16x8.any_true (local.get $0)))
8+
(func (export "i16x8.any_true") (param $0 v128) (result i32) (v128.any_true (local.get $0)))
99
(func (export "i16x8.all_true") (param $0 v128) (result i32) (i16x8.all_true (local.get $0)))
1010
(func (export "i16x8.bitmask") (param $0 v128) (result i32) (i16x8.bitmask (local.get $0)))
1111

12-
(func (export "i32x4.any_true") (param $0 v128) (result i32) (i32x4.any_true (local.get $0)))
12+
(func (export "i32x4.any_true") (param $0 v128) (result i32) (v128.any_true (local.get $0)))
1313
(func (export "i32x4.all_true") (param $0 v128) (result i32) (i32x4.all_true (local.get $0)))
1414
(func (export "i32x4.bitmask") (param $0 v128) (result i32) (i32x4.bitmask (local.get $0)))
1515
)
@@ -161,19 +161,19 @@
161161
(module (memory 1)
162162
;; as if condition
163163
(func (export "i8x16_any_true_as_if_cond") (param v128) (result i32)
164-
(if (result i32) (i8x16.any_true (local.get 0))
164+
(if (result i32) (v128.any_true (local.get 0))
165165
(then (i32.const 1))
166166
(else (i32.const 0))
167167
)
168168
)
169169
(func (export "i16x8_any_true_as_if_cond") (param v128) (result i32)
170-
(if (result i32) (i16x8.any_true (local.get 0))
170+
(if (result i32) (v128.any_true (local.get 0))
171171
(then (i32.const 1))
172172
(else (i32.const 0))
173173
)
174174
)
175175
(func (export "i32x4_any_true_as_if_cond") (param v128) (result i32)
176-
(if (result i32) (i32x4.any_true (local.get 0))
176+
(if (result i32) (v128.any_true (local.get 0))
177177
(then (i32.const 1))
178178
(else (i32.const 0))
179179
)
@@ -198,13 +198,13 @@
198198
)
199199
;; any_true as select condition
200200
(func (export "i8x16_any_true_as_select_cond") (param v128) (result i32)
201-
(select (i32.const 1) (i32.const 0) (i8x16.any_true (local.get 0)))
201+
(select (i32.const 1) (i32.const 0) (v128.any_true (local.get 0)))
202202
)
203203
(func (export "i16x8_any_true_as_select_cond") (param v128) (result i32)
204-
(select (i32.const 1) (i32.const 0) (i16x8.any_true (local.get 0)))
204+
(select (i32.const 1) (i32.const 0) (v128.any_true (local.get 0)))
205205
)
206206
(func (export "i32x4_any_true_as_select_cond") (param v128) (result i32)
207-
(select (i32.const 1) (i32.const 0) (i32x4.any_true (local.get 0)))
207+
(select (i32.const 1) (i32.const 0) (v128.any_true (local.get 0)))
208208
)
209209
;; all_true as select condition
210210
(func (export "i8x16_all_true_as_select_cond") (param v128) (result i32)
@@ -222,7 +222,7 @@
222222
(local.set $1 (i32.const 2))
223223
(block
224224
(local.set $1 (i32.const 1))
225-
(br_if 0 (i8x16.any_true (local.get $0)))
225+
(br_if 0 (v128.any_true (local.get $0)))
226226
(local.set $1 (i32.const 0))
227227
)
228228
(local.get $1)
@@ -232,7 +232,7 @@
232232
(local.set $1 (i32.const 2))
233233
(block
234234
(local.set $1 (i32.const 1))
235-
(br_if 0 (i16x8.any_true (local.get $0)))
235+
(br_if 0 (v128.any_true (local.get $0)))
236236
(local.set $1 (i32.const 0))
237237
)
238238
(local.get $1)
@@ -242,7 +242,7 @@
242242
(local.set $1 (i32.const 2))
243243
(block
244244
(local.set $1 (i32.const 1))
245-
(br_if 0 (i32x4.any_true (local.get $0)))
245+
(br_if 0 (v128.any_true (local.get $0)))
246246
(local.set $1 (i32.const 0))
247247
)
248248
(local.get $1)
@@ -280,33 +280,33 @@
280280
)
281281
;; any_true as i32.and operand
282282
(func (export "i8x16_any_true_as_i32.and_operand") (param $0 v128) (param $1 v128) (result i32)
283-
(i32.and (i8x16.any_true (local.get $0)) (i8x16.any_true (local.get $1)))
283+
(i32.and (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
284284
)
285285
(func (export "i16x8_any_true_as_i32.and_operand") (param $0 v128) (param $1 v128) (result i32)
286-
(i32.and (i16x8.any_true (local.get $0)) (i16x8.any_true (local.get $1)))
286+
(i32.and (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
287287
)
288288
(func (export "i32x4_any_true_as_i32.and_operand") (param $0 v128) (param $1 v128) (result i32)
289-
(i32.and (i32x4.any_true (local.get $0)) (i32x4.any_true (local.get $1)))
289+
(i32.and (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
290290
)
291291
;; any_true as i32.or operand
292292
(func (export "i8x16_any_true_as_i32.or_operand") (param $0 v128) (param $1 v128) (result i32)
293-
(i32.or (i8x16.any_true (local.get $0)) (i8x16.any_true (local.get $1)))
293+
(i32.or (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
294294
)
295295
(func (export "i16x8_any_true_as_i32.or_operand") (param $0 v128) (param $1 v128) (result i32)
296-
(i32.or (i16x8.any_true (local.get $0)) (i16x8.any_true (local.get $1)))
296+
(i32.or (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
297297
)
298298
(func (export "i32x4_any_true_as_i32.or_operand") (param $0 v128) (param $1 v128) (result i32)
299-
(i32.or (i32x4.any_true (local.get $0)) (i32x4.any_true (local.get $1)))
299+
(i32.or (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
300300
)
301301
;; any_true as i32.xor operand
302302
(func (export "i8x16_any_true_as_i32.xor_operand") (param $0 v128) (param $1 v128) (result i32)
303-
(i32.xor (i8x16.any_true (local.get $0)) (i8x16.any_true (local.get $1)))
303+
(i32.xor (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
304304
)
305305
(func (export "i16x8_any_true_as_i32.xor_operand") (param $0 v128) (param $1 v128) (result i32)
306-
(i32.xor (i16x8.any_true (local.get $0)) (i16x8.any_true (local.get $1)))
306+
(i32.xor (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
307307
)
308308
(func (export "i32x4_any_true_as_i32.xor_operand") (param $0 v128) (param $1 v128) (result i32)
309-
(i32.xor (i32x4.any_true (local.get $0)) (i32x4.any_true (local.get $1)))
309+
(i32.xor (v128.any_true (local.get $0)) (v128.any_true (local.get $1)))
310310
)
311311
;; all_true as i32.and operand
312312
(func (export "i8x16_all_true_as_i32.and_operand") (param $0 v128) (param $1 v128) (result i32)
@@ -340,53 +340,53 @@
340340
)
341341
;; any_true with v128.not
342342
(func (export "i8x16_any_true_with_v128.not") (param $0 v128) (result i32)
343-
(i8x16.any_true (v128.not (local.get $0)))
343+
(v128.any_true (v128.not (local.get $0)))
344344
)
345345
(func (export "i16x8_any_true_with_v128.not") (param $0 v128) (result i32)
346-
(i16x8.any_true (v128.not (local.get $0)))
346+
(v128.any_true (v128.not (local.get $0)))
347347
)
348348
(func (export "i32x4_any_true_with_v128.not") (param $0 v128) (result i32)
349-
(i32x4.any_true (v128.not (local.get $0)))
349+
(v128.any_true (v128.not (local.get $0)))
350350
)
351351
;; any_true with v128.and
352352
(func (export "i8x16_any_true_with_v128.and") (param $0 v128) (param $1 v128) (result i32)
353-
(i8x16.any_true (v128.and (local.get $0) (local.get $1)))
353+
(v128.any_true (v128.and (local.get $0) (local.get $1)))
354354
)
355355
(func (export "i16x8_any_true_with_v128.and") (param $0 v128) (param $1 v128) (result i32)
356-
(i16x8.any_true (v128.and (local.get $0) (local.get $1)))
356+
(v128.any_true (v128.and (local.get $0) (local.get $1)))
357357
)
358358
(func (export "i32x4_any_true_with_v128.and") (param $0 v128) (param $1 v128) (result i32)
359-
(i32x4.any_true (v128.and (local.get $0) (local.get $1)))
359+
(v128.any_true (v128.and (local.get $0) (local.get $1)))
360360
)
361361
;; any_true with v128.or
362362
(func (export "i8x16_any_true_with_v128.or") (param $0 v128) (param $1 v128) (result i32)
363-
(i8x16.any_true (v128.or (local.get $0) (local.get $1)))
363+
(v128.any_true (v128.or (local.get $0) (local.get $1)))
364364
)
365365
(func (export "i16x8_any_true_with_v128.or") (param $0 v128) (param $1 v128) (result i32)
366-
(i16x8.any_true (v128.or (local.get $0) (local.get $1)))
366+
(v128.any_true (v128.or (local.get $0) (local.get $1)))
367367
)
368368
(func (export "i32x4_any_true_with_v128.or") (param $0 v128) (param $1 v128) (result i32)
369-
(i32x4.any_true (v128.or (local.get $0) (local.get $1)))
369+
(v128.any_true (v128.or (local.get $0) (local.get $1)))
370370
)
371371
;; any_true with v128.xor
372372
(func (export "i8x16_any_true_with_v128.xor") (param $0 v128) (param $1 v128) (result i32)
373-
(i8x16.any_true (v128.xor (local.get $0) (local.get $1)))
373+
(v128.any_true (v128.xor (local.get $0) (local.get $1)))
374374
)
375375
(func (export "i16x8_any_true_with_v128.xor") (param $0 v128) (param $1 v128) (result i32)
376-
(i16x8.any_true (v128.xor (local.get $0) (local.get $1)))
376+
(v128.any_true (v128.xor (local.get $0) (local.get $1)))
377377
)
378378
(func (export "i32x4_any_true_with_v128.xor") (param $0 v128) (param $1 v128) (result i32)
379-
(i32x4.any_true (v128.xor (local.get $0) (local.get $1)))
379+
(v128.any_true (v128.xor (local.get $0) (local.get $1)))
380380
)
381381
;; any_true with v128.bitselect
382382
(func (export "i8x16_any_true_with_v128.bitselect") (param $0 v128) (param $1 v128) (param $2 v128) (result i32)
383-
(i8x16.any_true (v128.bitselect (local.get $0) (local.get $1) (local.get $2)))
383+
(v128.any_true (v128.bitselect (local.get $0) (local.get $1) (local.get $2)))
384384
)
385385
(func (export "i16x8_any_true_with_v128.bitselect") (param $0 v128) (param $1 v128) (param $2 v128) (result i32)
386-
(i16x8.any_true (v128.bitselect (local.get $0) (local.get $1) (local.get $2)))
386+
(v128.any_true (v128.bitselect (local.get $0) (local.get $1) (local.get $2)))
387387
)
388388
(func (export "i32x4_any_true_with_v128.bitselect") (param $0 v128) (param $1 v128) (param $2 v128) (result i32)
389-
(i32x4.any_true (v128.bitselect (local.get $0) (local.get $1) (local.get $2)))
389+
(v128.any_true (v128.bitselect (local.get $0) (local.get $1) (local.get $2)))
390390
)
391391
;; all_true with v128.not
392392
(func (export "i8x16_all_true_with_v128.not") (param $0 v128) (result i32)
@@ -965,11 +965,11 @@
965965

966966
;; Type check
967967

968-
(assert_invalid (module (func (result i32) (i8x16.any_true (i32.const 0)))) "type mismatch")
968+
(assert_invalid (module (func (result i32) (v128.any_true (i32.const 0)))) "type mismatch")
969969
(assert_invalid (module (func (result i32) (i8x16.all_true (i32.const 0)))) "type mismatch")
970-
(assert_invalid (module (func (result i32) (i16x8.any_true (i32.const 0)))) "type mismatch")
970+
(assert_invalid (module (func (result i32) (v128.any_true (i32.const 0)))) "type mismatch")
971971
(assert_invalid (module (func (result i32) (i16x8.all_true (i32.const 0)))) "type mismatch")
972-
(assert_invalid (module (func (result i32) (i32x4.any_true (i32.const 0)))) "type mismatch")
972+
(assert_invalid (module (func (result i32) (v128.any_true (i32.const 0)))) "type mismatch")
973973
(assert_invalid (module (func (result i32) (i32x4.all_true (i32.const 0)))) "type mismatch")
974974

975975
;; Unknown operators
@@ -983,8 +983,8 @@
983983

984984
(assert_invalid
985985
(module
986-
(func $i8x16.any_true-arg-empty (result v128)
987-
(i8x16.any_true)
986+
(func $v128.any_true-arg-empty (result v128)
987+
(v128.any_true)
988988
)
989989
)
990990
"type mismatch"
@@ -999,8 +999,8 @@
999999
)
10001000
(assert_invalid
10011001
(module
1002-
(func $i16x8.any_true-arg-empty (result v128)
1003-
(i16x8.any_true)
1002+
(func $v128.any_true-arg-empty (result v128)
1003+
(v128.any_true)
10041004
)
10051005
)
10061006
"type mismatch"
@@ -1015,8 +1015,8 @@
10151015
)
10161016
(assert_invalid
10171017
(module
1018-
(func $i32x4.any_true-arg-empty (result v128)
1019-
(i32x4.any_true)
1018+
(func $v128.any_true-arg-empty (result v128)
1019+
(v128.any_true)
10201020
)
10211021
)
10221022
"type mismatch"

‎test/core/simd/simd_lane.wast‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -733,18 +733,18 @@
733733

734734
;; Boolean horizontal reductions
735735
(func (export "as-i8x16_any_true-operand") (param v128 i32) (result i32)
736-
(i8x16.any_true (i8x16.replace_lane 0 (local.get 0) (local.get 1))))
736+
(v128.any_true (i8x16.replace_lane 0 (local.get 0) (local.get 1))))
737737
(func (export "as-i16x8_any_true-operand") (param v128 i32) (result i32)
738-
(i16x8.any_true (i16x8.replace_lane 0 (local.get 0) (local.get 1))))
738+
(v128.any_true (i16x8.replace_lane 0 (local.get 0) (local.get 1))))
739739
(func (export "as-i32x4_any_true-operand1") (param v128 i32) (result i32)
740-
(i32x4.any_true (i32x4.replace_lane 0 (local.get 0) (local.get 1))))
740+
(v128.any_true (i32x4.replace_lane 0 (local.get 0) (local.get 1))))
741741
(func (export "as-i32x4_any_true-operand2") (param v128 i64) (result i32)
742-
(i32x4.any_true (i64x2.replace_lane 0 (local.get 0) (local.get 1))))
742+
(v128.any_true (i64x2.replace_lane 0 (local.get 0) (local.get 1))))
743743

744744
(func (export "swizzle-as-i8x16_all_true-operands") (param v128 v128) (result i32)
745745
(i8x16.all_true (i8x16.swizzle (local.get 0) (local.get 1))))
746746
(func (export "shuffle-as-i8x16_any_true-operands") (param v128 v128) (result i32)
747-
(i8x16.any_true (i8x16.shuffle 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 (local.get 0) (local.get 1))))
747+
(v128.any_true (i8x16.shuffle 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 (local.get 0) (local.get 1))))
748748
)
749749

750750
(assert_return (invoke "as-i8x16_splat-operand" (v128.const i8x16 0xff 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)) (v128.const i8x16 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1))

0 commit comments

Comments
 (0)