diff options
| author | Alon Zakai <azakai@google.com> | 2021-07-27 08:21:08 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-27 08:21:08 -0700 |
| commit | e47dfd352bcf5ba71d18e402364be3e1c0df939f (patch) | |
| tree | de96a10cd761327419e8cbb7ad2dd42d7fd346c1 /test/lit/passes/dae-gc.wast | |
| parent | 8b606524401bf6fc9e0f46f51a66c5e37ec6e707 (diff) | |
| download | binaryen-e47dfd352bcf5ba71d18e402364be3e1c0df939f.tar.gz binaryen-e47dfd352bcf5ba71d18e402364be3e1c0df939f.tar.bz2 binaryen-e47dfd352bcf5ba71d18e402364be3e1c0df939f.zip | |
[Wasm GC] DeadArgumentElimination: Do not refine return types of tail callees (#4025)
If there is a tail call, we can't change the return type of the function, as it
must match in the functions doing a tail call of it.
Diffstat (limited to 'test/lit/passes/dae-gc.wast')
| -rw-r--r-- | test/lit/passes/dae-gc.wast | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/lit/passes/dae-gc.wast b/test/lit/passes/dae-gc.wast index f80673cf2..230f757fc 100644 --- a/test/lit/passes/dae-gc.wast +++ b/test/lit/passes/dae-gc.wast @@ -541,4 +541,21 @@ (i32.const 1) ) ) + + ;; This function does a return call of the one after it. The one after it + ;; returns a ref.func of this one. They both begin by returning a funcref; if + ;; we refine the return type of the latter (which ref.func allows us to do) + ;; then the return type would not match, and we would get a validation error. + ;; CHECK: (func $do-return-call (result funcref) + ;; CHECK-NEXT: (return_call $return-ref-func) + ;; CHECK-NEXT: ) + (func $do-return-call (result funcref) + (return_call $return-ref-func) + ) + ;; CHECK: (func $return-ref-func (result funcref) + ;; CHECK-NEXT: (ref.func $do-return-call) + ;; CHECK-NEXT: ) + (func $return-ref-func (result funcref) + (ref.func $do-return-call) + ) ) |