github.com/bananabytelabs/wazero@v0.0.0-20240105073314-54b22a776da8/internal/integration_test/fuzzcases/testdata/717.wat (about)

     1  (module
     2    (func  (export "vectors")
     3      (result v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 i64 v128)
     4      v128.const i64x2 0 1
     5      v128.const i64x2 2 3
     6      v128.const i64x2 4 5
     7      v128.const i64x2 6 7
     8      v128.const i64x2 8 9
     9      v128.const i64x2 10 11
    10      v128.const i64x2 12 13
    11      v128.const i64x2 14 15
    12      v128.const i64x2 16 17
    13      v128.const i64x2 18 19
    14      v128.const i64x2 20 21
    15      v128.const i64x2 22 23
    16      v128.const i64x2 24 25
    17      v128.const i64x2 26 27
    18      v128.const i64x2 28 29
    19      v128.const i64x2 30 31
    20      ;; This makes the following vector(33,34) is not 16-bites aligned in the stack.
    21      ;; Also, the offset doesn't fit in 9-bit signed integer, therefore the store
    22      ;; instruction must be correctly encoded as multiple instructions in arm64.
    23      i64.const 32
    24      v128.const i64x2 33 34
    25    )
    26  )