diff options
| author | Thomas Lively <tlively@google.com> | 2022-11-22 23:41:49 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-23 05:41:49 +0000 |
| commit | 2c0fb8c513b3534576383d250c593a9bd28347e3 (patch) | |
| tree | 993b23de3e8e5007fd3a32242cda95e7172ad765 /src/passes/GUFA.cpp | |
| parent | 853b31ec89416bef0014e06f2defaef74f47b81e (diff) | |
| download | binaryen-2c0fb8c513b3534576383d250c593a9bd28347e3.tar.gz binaryen-2c0fb8c513b3534576383d250c593a9bd28347e3.tar.bz2 binaryen-2c0fb8c513b3534576383d250c593a9bd28347e3.zip | |
Remove equirecursive typing (#5240)
Equirecursive is no longer standards track and its implementation is extremely
complex. Remove it.
Diffstat (limited to 'src/passes/GUFA.cpp')
| -rw-r--r-- | src/passes/GUFA.cpp | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/passes/GUFA.cpp b/src/passes/GUFA.cpp index 9774c1bb7..4250c76e9 100644 --- a/src/passes/GUFA.cpp +++ b/src/passes/GUFA.cpp @@ -110,13 +110,6 @@ struct GUFAOptimizer return; } - if (type.isRef() && (getTypeSystem() != TypeSystem::Nominal && - getTypeSystem() != TypeSystem::Isorecursive)) { - // Without type info we can't analyze subtypes, so we cannot infer - // anything about refs. - return; - } - // Ok, this is an interesting location that we might optimize. See what the // oracle says is possible there. auto contents = getContents(curr); |