Regression test for optimizing that used to miscompile
shifts on ARM.