diff options
| author | Alon Zakai <azakai@google.com> | 2023-01-05 11:31:28 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-05 19:31:28 +0000 |
| commit | 0293c4649204e11f7db5724dc9477aa1ef6aef18 (patch) | |
| tree | 0159a76f9ec44d7836de8f5ed42666a448f4e993 /test | |
| parent | a090dcf453a701922ee6e5cfecdf5619ab6a023b (diff) | |
| download | binaryen-0293c4649204e11f7db5724dc9477aa1ef6aef18.tar.gz binaryen-0293c4649204e11f7db5724dc9477aa1ef6aef18.tar.bz2 binaryen-0293c4649204e11f7db5724dc9477aa1ef6aef18.zip | |
[Wasm GC] Turn casts non-nullable when they lead to a trap on null anyhow (#5395)
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/optimize-instructions-gc.wast | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/lit/passes/optimize-instructions-gc.wast b/test/lit/passes/optimize-instructions-gc.wast index 592ec80cd..9ca0c81e0 100644 --- a/test/lit/passes/optimize-instructions-gc.wast +++ b/test/lit/passes/optimize-instructions-gc.wast @@ -993,7 +993,7 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (struct.get_u $struct $i8 - ;; CHECK-NEXT: (ref.cast null $struct + ;; CHECK-NEXT: (ref.cast $struct ;; CHECK-NEXT: (local.get $x) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) @@ -1016,7 +1016,7 @@ ;; NOMNL-NEXT: ) ;; NOMNL-NEXT: (drop ;; NOMNL-NEXT: (struct.get_u $struct $i8 - ;; NOMNL-NEXT: (ref.cast null $struct + ;; NOMNL-NEXT: (ref.cast $struct ;; NOMNL-NEXT: (local.get $x) ;; NOMNL-NEXT: ) ;; NOMNL-NEXT: ) |