Merge "ART: Fix shift simplification, x >>> 64."