Improve memory effects of DebugBacktrace and DbgTraceCall
Summary:
Remove AStackAny from DebugBacktrace's loads, as it does not inspect any stack
elements.
Use exact stack range for loads of DbgTraceCall that contains only stack cells
that actually exist.
Allows store elim to optimize away writes to stack cells that are no longer
valid at these instructions. Without this change store elim would sometimes
defer these writes, possibly beyond decref and release.
If a phi was created in the process, builds with HHIRGenerateAsserts enabled
would then emit assertions that the refcount is still valid.
Reviewed By: ricklavoie
Differential Revision:
D36361209
fbshipit-source-id:
1bb07dd85b4108bc32f4837325a462e08d27a754