blob: a34a6827688690ede5a41de542204597cc9dabd2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
;; NOTE: Assertions have been generated by update_lit_checks.py --output=fuzz-exec and should not be edited.
;; RUN: wasm-opt %s -all --fuzz-exec -q -o /dev/null 2>&1 | filecheck %s
(module
(memory $0 i64 16 17 shared)
(data $0 (i64.const 0) "abcdefg")
;; CHECK: [fuzz-exec] calling load8x8_s
;; CHECK-NEXT: [fuzz-exec] note result: load8x8_s => i32x4 0x00620061 0x00640063 0x00660065 0x00000067
(func $load8x8_s (export "load8x8_s") (result v128)
(v128.load8x8_s align=2
(i64.const 0)
)
)
;; CHECK: [fuzz-exec] calling load32x2_u
;; CHECK-NEXT: [trap final > memory: 13835058055282163712 > 1048576]
(func $load32x2_u (export "load32x2_u") (result v128)
;; This large 64-bit address is out of bounds, and this should trap.
(v128.load32x2_u
(i64.const -4611686018427387904)
)
)
)
;; CHECK: [fuzz-exec] calling load8x8_s
;; CHECK-NEXT: [fuzz-exec] note result: load8x8_s => i32x4 0x00620061 0x00640063 0x00660065 0x00000067
;; CHECK: [fuzz-exec] calling load32x2_u
;; CHECK-NEXT: [trap final > memory: 13835058055282163712 > 1048576]
;; CHECK-NEXT: [fuzz-exec] comparing load32x2_u
;; CHECK-NEXT: [fuzz-exec] comparing load8x8_s
|
