zext and ashr