-
Notifications
You must be signed in to change notification settings - Fork 825
Closed
Description
(module
(table $0 3 3 (ref null (shared any)))
(elem $0 (table $0) (i32.const 0) (ref null (shared i31)) (item (ref.i31_shared (i32.const 999))))
(func $0 (export "get") (param $0 i32) (result (ref null (shared any)))
(ref.cast (ref null (shared i31))
(table.get $0
(i32.const 0)
)
)
)
)
Running wasm-opt -all -tnh --gufa-cast-all test.wast -S -o - optimizes the function body to just (ref.null (shared none)), which is not correct. I tried debugging this and I figured out that there is an intermediate state where the ref.cast type has been changed to (ref null (shared none)), but I haven't been able to figure out why it's doing that.
Metadata
Metadata
Assignees
Labels
No labels