| commit | 6051e515179dcb0b7f24f2dcd34d0aaa9cec29b5 | |
| author | Mark Williams <mwilliams@fb.com> | |
| Fri, 15 Sep 2017 21:15:26 +0000 (15 14:15 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Fri, 15 Sep 2017 21:26:12 +0000 (15 14:26 -0700) | ||
| tree | 58ff24082704a442ee695c1ee6197a0e8ab55623 | treesnapshot (tar.gz zip) |
| parent | 047bc4afadc6160dffa4dee6484273da41d97ba1 | commitdiff |
Track when a stack element is a duplicate
Summary:
Similar to how we track equivalent locals, this lets us mark a stack
location as being a duplicate of the one below it. This allows us to
propagate assertions more uniformly (the special casing for IsTypeC vs
IsTypeL was inconsistent - IsTypeC handled Null better than IsTypeL,
but didn't handle any of the other types at all), and simplify some
more groups.
Reviewed By: ricklavoie
Differential Revision: D5838928
fbshipit-source-id: bd7873aa0ffd54a52cc58042f5cecee9419e5c7f
Summary:
Similar to how we track equivalent locals, this lets us mark a stack
location as being a duplicate of the one below it. This allows us to
propagate assertions more uniformly (the special casing for IsTypeC vs
IsTypeL was inconsistent - IsTypeC handled Null better than IsTypeL,
but didn't handle any of the other types at all), and simplify some
more groups.
Reviewed By: ricklavoie
Differential Revision: D5838928
fbshipit-source-id: bd7873aa0ffd54a52cc58042f5cecee9419e5c7f