wa-lang.org/wazero@v1.0.2/internal/integration_test/fuzzcases/testdata/696.wat (about)

     1  (module
     2    (func $dummy)
     3    (func (export "select with 0 / after calling dummy")
     4      v128.const i64x2 0xffffffffffffffff 0xffffffffffffffff
     5      v128.const i64x2 0xeeeeeeeeeeeeeeee 0xeeeeeeeeeeeeeeee
     6      i32.const 0 ;; choose 0xeeeeeeeeeeeeeeee lane.
     7      call 0  ;; calling dummy function before select to
     8      select
     9      ;; check the equality.
    10      i64x2.extract_lane 0
    11      i64.const 0xeeeeeeeeeeeeeeee
    12      i64.eq
    13      (if
    14        (then)
    15        (else unreachable)
    16      )
    17    )
    18  
    19    (func (export "select with 0")
    20      v128.const i64x2 0xffffffffffffffff 0xffffffffffffffff
    21      v128.const i64x2 0xeeeeeeeeeeeeeeee 0xeeeeeeeeeeeeeeee
    22      i32.const 0 ;; choose 0xeeeeeeeeeeeeeeee lane.
    23      select
    24      ;; check the equality.
    25      i64x2.extract_lane 0
    26      i64.const 0xeeeeeeeeeeeeeeee
    27      i64.eq
    28      (if
    29        (then)
    30        (else unreachable)
    31      )
    32    )
    33  
    34    (func (export "typed select with 1 / after calling dummy")
    35      v128.const i64x2 0xffffffffffffffff 0xffffffffffffffff
    36      v128.const i64x2 0xeeeeeeeeeeeeeeee 0xeeeeeeeeeeeeeeee
    37      i32.const 1 ;; choose 0xffffffffffffffff lane.
    38      call 0  ;; calling dummy function before select to
    39      select (result v128)
    40      ;; check the equality.
    41      i64x2.extract_lane 0
    42      i64.const 0xffffffffffffffff
    43      i64.eq
    44      (if
    45        (then)
    46        (else unreachable)
    47      )
    48    )
    49  
    50    (func (export "typed select with 1")
    51      v128.const i64x2 0xffffffffffffffff 0xffffffffffffffff
    52      v128.const i64x2 0xeeeeeeeeeeeeeeee 0xeeeeeeeeeeeeeeee
    53      i32.const 1 ;; choose 0xffffffffffffffff lane.
    54      select (result v128)
    55      ;; check the equality.
    56      i64x2.extract_lane 0
    57      i64.const 0xffffffffffffffff
    58      i64.eq
    59      (if
    60        (then)
    61        (else unreachable)
    62      )
    63    )
    64  )