| commit | ec376688e914c26bd2f4030f9563f288cdcf5c33 | |
| author | Mark Williams <mwilliams@fb.com> | |
| Mon, 10 Jul 2017 14:38:48 +0000 (10 07:38 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Mon, 10 Jul 2017 14:53:18 +0000 (10 07:53 -0700) | ||
| tree | 9481020021c3cd7d2c71aac8b36b8ffb0113dc30 | treesnapshot (tar.gz zip) |
| parent | 709ca03086ca75c99450b1b02138c64533ced34a | commitdiff |
Handle Assert{Loc,Stk} better in load-elim
Summary:
If we're tracking the value of a location at the point of an
AssertLoc/Stk, we'll convert it to an AssertType on the value. But if
we have a single-valued type (eg Uninit, or 42), we wouldn't.
Fix it to update in those cases too.
Reviewed By: mxw
Differential Revision: D5384914
fbshipit-source-id: d5df54be60f8625e7a734e3b1afb367606c51dc7
Summary:
If we're tracking the value of a location at the point of an
AssertLoc/Stk, we'll convert it to an AssertType on the value. But if
we have a single-valued type (eg Uninit, or 42), we wouldn't.
Fix it to update in those cases too.
Reviewed By: mxw
Differential Revision: D5384914
fbshipit-source-id: d5df54be60f8625e7a734e3b1afb367606c51dc7
| hphp/runtime/vm/jit/load-elim.cpp | diffblobblamehistory |