1Checker test for testing store/allocation elimination in presence of
2HDeoptimize.
3