diff options
| author | Thomas Lively <tlively@google.com> | 2023-04-05 06:10:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-05 08:10:23 -0500 |
| commit | 9ee557aa7fbb494b222c4692cbef1c2be983e532 (patch) | |
| tree | 45af4d3506ca6f259914e5a23d88f19bebbf62c6 /test/lit/passes/memory-packing_all-features.wast | |
| parent | d7c24bc6796616b821b6b0dfcd649dbf1c821cb3 (diff) | |
| download | binaryen-9ee557aa7fbb494b222c4692cbef1c2be983e532.tar.gz binaryen-9ee557aa7fbb494b222c4692cbef1c2be983e532.tar.bz2 binaryen-9ee557aa7fbb494b222c4692cbef1c2be983e532.zip | |
Fix a crash in MemoryPacking due to an unreachable pointer (#5623)
Previously, the pointer type for newly emitted instructions was determined by
the type of the destination pointer on a memory.init instruction, but that did
not take into account that the destination pointer may be unreachable. Properly
look up the pointer type on the memory instead to fix the problem.
Fixes #5620.
Diffstat (limited to 'test/lit/passes/memory-packing_all-features.wast')
| -rw-r--r-- | test/lit/passes/memory-packing_all-features.wast | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/test/lit/passes/memory-packing_all-features.wast b/test/lit/passes/memory-packing_all-features.wast index 66548d65c..bf07acd63 100644 --- a/test/lit/passes/memory-packing_all-features.wast +++ b/test/lit/passes/memory-packing_all-features.wast @@ -2347,3 +2347,45 @@ ) ) ) +(module + ;; CHECK: (type $none_=>_none (func)) + + ;; CHECK: (global $__mem_segment_drop_state (mut i32) (i32.const 0)) + + ;; CHECK: (memory $0 1 1) + (memory $0 i32 1 1) + (data "\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00test") + ;; CHECK: (data $0 "test") + + ;; CHECK: (func $0 (type $none_=>_none) + ;; CHECK-NEXT: (local $0 i32) + ;; CHECK-NEXT: (local.tee $0 + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (if + ;; CHECK-NEXT: (global.get $__mem_segment_drop_state) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (memory.fill + ;; CHECK-NEXT: (local.get $0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 57) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (memory.init $0 + ;; CHECK-NEXT: (i32.add + ;; CHECK-NEXT: (local.get $0) + ;; CHECK-NEXT: (i32.const 57) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 4) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $0 + ;; test that unreachable destinations are ok + (memory.init 0 + (unreachable) + (i32.const 0) + (i32.const 61) + ) + ) +) |