Merge "Optimizing: Improve shift simplification, x >>> 64."