summaryrefslogtreecommitdiff
path: root/src/passes/LocalSubtyping.cpp
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2021-07-23 11:17:54 -0700
committerGitHub <noreply@github.com>2021-07-23 11:17:54 -0700
commit501259b4695ad6aaf42ce3f8875c3b8177ef756d (patch)
treed9abf92bfa3a53089c513cc302c08a5a58402215 /src/passes/LocalSubtyping.cpp
parent464ddbe5faf151b5ef50d56d00ad442ac76620a6 (diff)
downloadbinaryen-501259b4695ad6aaf42ce3f8875c3b8177ef756d.tar.gz
binaryen-501259b4695ad6aaf42ce3f8875c3b8177ef756d.tar.bz2
binaryen-501259b4695ad6aaf42ce3f8875c3b8177ef756d.zip
[Wasm GC] Refine function parameter types (#4014)
If a function is always called with a more specific type than it is declared, we can make the type more specific. DeadArgumentElimination's name is becoming increasingly misleading, and should maybe be renamed. But it is the right place for this as it already does an LTO scan of the call graph and builds up parameter data structures etc.
Diffstat (limited to 'src/passes/LocalSubtyping.cpp')
0 files changed, 0 insertions, 0 deletions