Tweaks to the icmp+sext-to-shifts optimization to address Frits' comments: